0.00/0.00	c 2016-06-15T18:26:56+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-4088595-1466008015.opb"]
0.00/0.01	c use --random-gen="3533962852 1784498485 3804615296 3795446722 2549506582 3178747265 3376897018 2885098711 554521032 3899976835 45093521 2837348193 1894319774 1844933660 1946848444 947446900 1045134461 969320443 2605301974 2853156804 1899804439 3991962596 3354144657 706650167 2625182568 4092898005 2609847863 3464125599 3831363658 531076477 525084118 2595366324 1311270832 1570682206 37296482 3433642156 3059281791 4270935333 2943149403 643434620 866299158 3840901622 1523096001 3311947688 359020555 2000845732 372085517 4285380759 4179016500 1896561025 3393337391 1188100029 4163576008 2675422094 2295554374 1964266153 559593289 1412129320 3131324044 936328822 958679810 1351661700 446788880 2375614122 1761759985 3357981747 2568844620 3476677147 32190153 3771173592 2093416880 2833179723 430647758 4175472635 1477527241 2753984383 1157446886 2542426734 3822088026 1834863106 3549291151 1619177803 2161832708 1794695538 980681755 479388802 1500859142 2839009723 3350430491 2655361392 3821656837 754119201 2847864040 3994079009 3612423885 859724790 3806061939 3661309505 4187824569 646484739 3505187433 297882373 321328468 4082064107 3775244397 2855521188 1688842974 1671051765 4114266299 4049151207 809893725 2603602772 1632062855 3035322460 844936736 1690312741 1858037551 303311277 2695212005 1685090466 346784225 3987592614 3068918571 358531188 3709542317 2646149077 2849438765 1080358520 2939825502 3908835371 14316080 3380713734 2674270556 1796963436 1488031112 1406805832 813086220 344939215 4014825326 1339673228 295590507 3476058728 2232590737 4001884659 2340517402 1455517551 492822310 2909694786 2500306774 951741217 3872403600 1186722959 2818685891 3581561508 4047739084 3543208285 197328771 1583219601 781698425 773609417 3200088522 457681482 1351950379 78506047 1415988063 3069549728 458488814 3184170547 1354106214 1501572379 1012726802 3926828814 3085844764 1091861685 3864154207 2515393683 1819743253 3386976235 2044135704 3495411485 3952421214 9104617 1534724797 2746288322 2658232952 2109158858 3120901081 2604265871 709785541 1798900191 4105000151 521627385 3550357107 2443626793 1829478886 3547474036 1275376343 792031470 2293340495 1262249492 1323316000 1229797282 2066100040 4172134031 3715070922 161561616 847446892 4186040646 966534500 362444456 3764110944 3125222400 84513628 2763164095 2683734279 1871445017 1125915369 3664997814 824081510 575364657 3652940691 347942236 3550529822 4098524619 2697188519 3685271923 610294724 1501759256 1867547310 2782719809 1209742538 2062849631 3847117584 3336726864 1546256389 3623281319 164742649 3390745402 646897056 4294700808 300640017 3976935103 3228944592 22178065 1223655273 2566432139 334229819 1690113182 1334075227 2865304690 2415622806 3367782407 4243756604 1296771652 2298357358 3566665741 255 362436" option to reproduce the execution
0.00/0.01	c #vars 601
0.00/0.01	c #constraints 301
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      401      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      392 |      100 |      401      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      843 |      250 |      442      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |     1414 |      475 |      487      0 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1994 |      813 |      536      0 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2918 |     1320 |      590      1 |        0 |        0
0.19/0.20	c  0.2s |       6 |     4212 |     2081 |      714      3 |        0 |        0
0.29/0.34	c  0.3s |       7 |     5872 |     3223 |      786      5 |        0 |        0
0.49/0.52	c  0.5s |       8 |     8565 |     4936 |      865      8 |        0 |        0
0.69/0.79	c  0.8s |       9 |    11946 |     7506 |      952     12 |        0 |        0
1.10/1.16	c  1.1s |      10 |    17598 |    11361 |     1048     17 |        0 |        0
1.59/1.67	c  1.6s |      11 |    25288 |    17144 |     1153     25 |        0 |        0
2.39/2.43	c  2.4s |      12 |    37342 |    25819 |     1269     37 |        0 |        0
3.58/3.66	c  3.6s |      13 |    54510 |    38832 |     1396     54 |        0 |        0
5.49/5.52	c  5.5s |      14 |    80370 |    58352 |     1536     77 |        0 |        0
7.48/7.53	c  7.5s |      14 |   105100 |    77052 |     1536     96 |        0 |        0
8.38/8.44	c  8.4s |      15 |   120148 |    87632 |     1690    108 |        0 |        0
10.39/10.45	c 10.4s |      15 |   146286 |   106532 |     1690    126 |        0 |        0
12.39/12.45	c 12.4s |      15 |   171312 |   125232 |     1690    144 |        0 |        0
13.09/13.19	c 13.2s |      16 |   179323 |   131552 |     1860    150 |        0 |        0
15.19/15.20	c 15.2s |      16 |   205167 |   149352 |     1860    166 |        0 |        0
17.19/17.20	c 17.2s |      16 |   234560 |   169752 |     1860    185 |        0 |        0
19.19/19.22	c 19.2s |      16 |   263233 |   189652 |     1860    203 |        0 |        0
19.89/19.96	c 19.9s |      17 |   274641 |   197432 |     2047    210 |        0 |        0
21.89/21.96	c 21.9s |      17 |   303814 |   217932 |     2047    227 |        0 |        0
23.89/23.97	c 23.9s |      17 |   327242 |   235932 |     2047    241 |        0 |        0
25.89/25.98	c 26.0s |      17 |   349655 |   252932 |     2047    256 |        0 |        0
27.88/27.98	c 28.0s |      17 |   370941 |   268932 |     2047    269 |        0 |        0
29.98/30.00	c 30.0s |      17 |   395855 |   287132 |     2047    284 |        0 |        0
30.89/30.92	c 30.9s |      18 |   408834 |   296252 |     2252    291 |        0 |        0
32.88/32.93	c 32.9s |      18 |   432746 |   313452 |     2252    305 |        0 |        0
34.88/34.94	c 34.9s |      18 |   452769 |   328752 |     2252    316 |        0 |        0
36.88/36.94	c 36.9s |      18 |   474115 |   344852 |     2252    329 |        0 |        0
38.88/38.96	c 38.9s |      18 |   493534 |   360152 |     2252    341 |        0 |        0
40.88/40.96	c 40.9s |      18 |   517757 |   377852 |     2252    354 |        0 |        0
42.89/42.97	c 42.9s |      18 |   541887 |   395652 |     2252    368 |        0 |        0
44.88/44.98	c 45.0s |      18 |   566413 |   413252 |     2252    382 |        0 |        0
46.88/46.98	c 47.0s |      18 |   590545 |   431252 |     2252    396 |        0 |        0
48.68/48.79	c 48.8s |      19 |   607821 |   444482 |     2478    406 |        0 |        0
50.78/50.80	c 50.8s |      19 |   632019 |   461582 |     2478    418 |        0 |        0
52.68/52.80	c 52.8s |      19 |   656739 |   479582 |     2478    431 |        0 |        0
54.78/54.81	c 54.8s |      19 |   683850 |   498882 |     2478    444 |        0 |        0
56.78/56.81	c 56.8s |      19 |   710956 |   518282 |     2478    458 |        0 |        0
58.78/58.82	c 58.8s |      19 |   734331 |   535282 |     2478    470 |        0 |        0
60.77/60.84	c 60.8s |      19 |   754988 |   550682 |     2478    481 |        0 |        0
62.78/62.85	c 62.8s |      19 |   772365 |   564582 |     2478    491 |        0 |        0
64.77/64.86	c 64.8s |      19 |   793495 |   580582 |     2478    502 |        0 |        0
66.77/66.86	c 66.8s |      19 |   812953 |   595282 |     2478    513 |        0 |        0
68.77/68.87	c 68.8s |      19 |   837243 |   613082 |     2478    525 |        0 |        0
70.77/70.88	c 70.9s |      19 |   860589 |   630182 |     2478    538 |        0 |        0
72.78/72.89	c 72.9s |      19 |   881667 |   646082 |     2478    549 |        0 |        0
74.79/74.89	c 74.9s |      19 |   902598 |   661782 |     2478    560 |        0 |        0
75.38/75.43	c 75.4s |      20 |   909467 |   666827 |     2726    563 |        0 |        0
77.38/77.44	c 77.4s |      20 |   929450 |   681727 |     2726    573 |        0 |        0
79.38/79.45	c 79.4s |      20 |   949189 |   697027 |     2726    583 |        0 |        0
81.39/81.45	c 81.4s |      20 |   974918 |   715527 |     2726    595 |        0 |        0
83.38/83.46	c 83.4s |      20 |  1003041 |   735127 |     2726    608 |        0 |        0
85.38/85.47	c 85.4s |      20 |  1021247 |   749727 |     2726    617 |        0 |        0
87.38/87.48	c 87.5s |      20 |  1045659 |   767827 |     2726    629 |        0 |        0
89.38/89.48	c 89.5s |      20 |  1070886 |   786027 |     2726    641 |        0 |        0
91.38/91.48	c 91.5s |      20 |  1088324 |   800127 |     2726    650 |        0 |        0
93.37/93.49	c 93.5s |      20 |  1112425 |   818027 |     2726    662 |        0 |        0
95.47/95.50	c 95.5s |      20 |  1137324 |   836727 |     2726    674 |        0 |        0
97.47/97.50	c 97.5s |      20 |  1160344 |   853927 |     2726    685 |        0 |        0
99.47/99.51	c 99.5s |      20 |  1182892 |   870827 |     2726    696 |        0 |        0
101.47/101.52	c  101s |      20 |  1206198 |   887927 |     2726    707 |        0 |        0
103.48/103.52	c  103s |      20 |  1229085 |   904927 |     2726    718 |        0 |        0
105.47/105.52	c  105s |      20 |  1254410 |   923527 |     2726    731 |        0 |        0
107.47/107.52	c  107s |      20 |  1279885 |   942227 |     2726    743 |        0 |        0
109.47/109.53	c  109s |      20 |  1305794 |   961227 |     2726    755 |        0 |        0
111.47/111.53	c  111s |      20 |  1328850 |   978427 |     2726    767 |        0 |        0
113.47/113.53	c  113s |      20 |  1352782 |   996327 |     2999    778 |        0 |        0
113.87/113.99	c  113s |      21 |  1358297 |  1000345 |     2999    780 |        0 |        0
115.97/116.01	c  115s |      21 |  1379285 |  1015645 |     2999    789 |        0 |        0
117.97/118.01	c  117s |      21 |  1397195 |  1029945 |     2999    798 |        0 |        0
119.97/120.02	c  119s |      21 |  1413939 |  1043145 |     2999    806 |        0 |        0
121.97/122.02	c  121s |      21 |  1432433 |  1057745 |     2999    814 |        0 |        0
123.97/124.02	c  123s |      21 |  1454151 |  1074245 |     2999    824 |        0 |        0
125.96/126.03	c  126s |      21 |  1471195 |  1088045 |     2999    832 |        0 |        0
127.96/128.04	c  128s |      21 |  1493976 |  1105045 |     2999    843 |        0 |        0
129.96/130.04	c  130s |      21 |  1518600 |  1123445 |     2999    854 |        0 |        0
131.97/132.04	c  132s |      21 |  1542616 |  1141345 |     2999    865 |        0 |        0
133.96/134.06	c  134s |      21 |  1566055 |  1158945 |     2999    875 |        0 |        0
135.97/136.07	c  136s |      21 |  1582916 |  1172345 |     2999    883 |        0 |        0
137.97/138.08	c  138s |      21 |  1599390 |  1185745 |     2999    891 |        0 |        0
139.97/140.09	c  140s |      21 |  1620007 |  1201745 |     2999    901 |        0 |        0
141.98/142.09	c  142s |      21 |  1640359 |  1217345 |     2999    910 |        0 |        0
143.97/144.10	c  144s |      21 |  1661999 |  1233845 |     2999    920 |        0 |        0
146.07/146.10	c  146s |      21 |  1681615 |  1249045 |     2999    929 |        0 |        0
148.07/148.11	c  148s |      21 |  1701600 |  1264445 |     2999    938 |        0 |        0
150.07/150.13	c  150s |      21 |  1721009 |  1279245 |     2999    947 |        0 |        0
152.07/152.13	c  152s |      21 |  1742167 |  1295645 |     2999    957 |        0 |        0
154.07/154.14	c  154s |      21 |  1763193 |  1311845 |     2999    967 |        0 |        0
156.07/156.15	c  156s |      21 |  1785198 |  1329145 |     2999    977 |        0 |        0
158.07/158.15	c  158s |      21 |  1805514 |  1344945 |     2999    987 |        0 |        0
160.06/160.15	c  160s |      21 |  1828628 |  1362445 |     2999    997 |        0 |        0
162.06/162.15	c  162s |      21 |  1851762 |  1379645 |     2999   1008 |        0 |        0
164.06/164.15	c  164s |      21 |  1876714 |  1397945 |     2999   1019 |        0 |        0
166.07/166.16	c  166s |      21 |  1903616 |  1417345 |     2999   1031 |        0 |        0
168.06/168.16	c  168s |      21 |  1924092 |  1433245 |     2999   1040 |        0 |        0
170.06/170.16	c  170s |      21 |  1952097 |  1453545 |     2999   1053 |        0 |        0
172.06/172.17	c  172s |      21 |  1975392 |  1470645 |     2999   1063 |        0 |        0
174.06/174.18	c  174s |      21 |  1997898 |  1487445 |     2999   1073 |        0 |        0
176.06/176.11	c  176s |      22 |  2015004 |  1500622 |     3299   1081 |        0 |        0
178.06/178.11	c  178s |      22 |  2039794 |  1519122 |     3299   1091 |        0 |        0
180.06/180.12	c  180s |      22 |  2060354 |  1535222 |     3299   1100 |        0 |        0
182.06/182.13	c  182s |      22 |  2079262 |  1550122 |     3299   1109 |        0 |        0
184.06/184.13	c  184s |      22 |  2101568 |  1566922 |     3299   1118 |        0 |        0
186.06/186.14	c  186s |      22 |  2121789 |  1582422 |     3299   1127 |        0 |        0
188.07/188.15	c  188s |      22 |  2144188 |  1599222 |     3299   1136 |        0 |        0
190.06/190.16	c  190s |      22 |  2166892 |  1616622 |     3299   1146 |        0 |        0
192.06/192.16	c  192s |      22 |  2195410 |  1636122 |     3299   1157 |        0 |        0
194.06/194.17	c  194s |      22 |  2223456 |  1656022 |     3299   1169 |        0 |        0
196.06/196.17	c  196s |      22 |  2246975 |  1672922 |     3299   1178 |        0 |        0
198.06/198.18	c  198s |      22 |  2270853 |  1690122 |     3299   1188 |        0 |        0
200.05/200.19	c  200s |      22 |  2291324 |  1705622 |     3299   1197 |        0 |        0
202.15/202.20	c  202s |      22 |  2309767 |  1720122 |     3299   1204 |        0 |        0
204.15/204.20	c  204s |      22 |  2330623 |  1735922 |     3299   1213 |        0 |        0
206.15/206.21	c  206s |      22 |  2350625 |  1751322 |     3299   1222 |        0 |        0
208.15/208.21	c  208s |      22 |  2372567 |  1768122 |     3299   1231 |        0 |        0
210.16/210.21	c  210s |      22 |  2392818 |  1783322 |     3299   1240 |        0 |        0
212.15/212.22	c  212s |      22 |  2414556 |  1799722 |     3299   1249 |        0 |        0
214.15/214.22	c  214s |      22 |  2431717 |  1813322 |     3299   1256 |        0 |        0
216.15/216.23	c  216s |      22 |  2450763 |  1828022 |     3299   1264 |        0 |        0
218.15/218.23	c  218s |      22 |  2467818 |  1841322 |     3299   1271 |        0 |        0
220.15/220.25	c  220s |      22 |  2488439 |  1857022 |     3299   1280 |        0 |        0
222.17/222.25	c  222s |      22 |  2508815 |  1871922 |     3299   1288 |        0 |        0
224.16/224.25	c  224s |      22 |  2525459 |  1884822 |     3299   1295 |        0 |        0
226.16/226.25	c  226s |      22 |  2540148 |  1896722 |     3299   1302 |        0 |        0
228.16/228.26	c  228s |      22 |  2558424 |  1910722 |     3299   1309 |        0 |        0
230.16/230.26	c  230s |      22 |  2572878 |  1922422 |     3299   1316 |        0 |        0
232.16/232.28	c  232s |      22 |  2587524 |  1934622 |     3299   1323 |        0 |        0
234.26/234.31	c  234s |      22 |  2606426 |  1949022 |     3299   1331 |        0 |        0
236.25/236.32	c  236s |      22 |  2625109 |  1963622 |     3299   1339 |        0 |        0
238.25/238.32	c  238s |      22 |  2644723 |  1978622 |     3299   1347 |        0 |        0
240.25/240.32	c  240s |      22 |  2667383 |  1994822 |     3299   1356 |        0 |        0
242.25/242.34	c  242s |      22 |  2690390 |  2012022 |     3299   1366 |        0 |        0
244.26/244.34	c  244s |      22 |  2713429 |  2029722 |     3299   1375 |        0 |        0
246.25/246.34	c  246s |      22 |  2738279 |  2047922 |     3299   1386 |        0 |        0
248.25/248.35	c  248s |      22 |  2763442 |  2066122 |     3299   1396 |        0 |        0
250.25/250.36	c  250s |      22 |  2785399 |  2082222 |     3299   1405 |        0 |        0
252.25/252.36	c  252s |      22 |  2806703 |  2098022 |     3299   1414 |        0 |        0
254.25/254.38	c  254s |      22 |  2827611 |  2114322 |     3299   1423 |        0 |        0
256.25/256.39	c  256s |      22 |  2847910 |  2129522 |     3299   1431 |        0 |        0
258.25/258.39	c  258s |      22 |  2868900 |  2145122 |     3299   1440 |        0 |        0
260.34/260.40	c  260s |      22 |  2889401 |  2160822 |     3299   1449 |        0 |        0
262.34/262.40	c  262s |      22 |  2908995 |  2175822 |     3299   1457 |        0 |        0
264.34/264.40	c  264s |      22 |  2931033 |  2192222 |     3299   1466 |        0 |        0
266.34/266.41	c  266s |      22 |  2952540 |  2208322 |     3299   1475 |        0 |        0
268.35/268.42	c  268s |      22 |  2973510 |  2224322 |     3299   1484 |        0 |        0
270.34/270.43	c  270s |      22 |  2994640 |  2239922 |     3629   1492 |        0 |        0
271.76/271.83	c  271s |      23 |  3009527 |  2251038 |     3629   1498 |        0 |        0
273.75/273.83	c  273s |      23 |  3025419 |  2263438 |     3629   1504 |        0 |        0
275.75/275.83	c  275s |      23 |  3044733 |  2278138 |     3629   1512 |        0 |        0
277.75/277.84	c  277s |      23 |  3063731 |  2292438 |     3629   1519 |        0 |        0
279.75/279.85	c  279s |      23 |  3079701 |  2304938 |     3629   1525 |        0 |        0
281.75/281.86	c  281s |      23 |  3095517 |  2317038 |     3629   1531 |        0 |        0
283.75/283.87	c  283s |      23 |  3112985 |  2330538 |     3629   1538 |        0 |        0
285.75/285.88	c  285s |      23 |  3127070 |  2341638 |     3629   1543 |        0 |        0
287.85/287.91	c  287s |      23 |  3140344 |  2352138 |     3629   1549 |        0 |        0
289.84/289.91	c  289s |      23 |  3155899 |  2364238 |     3629   1555 |        0 |        0
291.84/291.92	c  291s |      23 |  3169852 |  2375438 |     3629   1560 |        0 |        0
293.84/293.92	c  293s |      23 |  3186032 |  2387638 |     3629   1566 |        0 |        0
295.85/295.95	c  295s |      23 |  3204128 |  2401338 |     3629   1573 |        0 |        0
297.84/297.95	c  297s |      23 |  3224943 |  2416238 |     3629   1581 |        0 |        0
299.84/299.96	c  299s |      23 |  3245211 |  2430938 |     3629   1588 |        0 |        0
301.84/301.97	c  301s |      23 |  3268253 |  2447538 |     3629   1597 |        0 |        0
303.84/303.97	c  303s |      23 |  3291168 |  2464838 |     3629   1606 |        0 |        0
305.84/305.98	c  305s |      23 |  3311251 |  2479538 |     3629   1613 |        0 |        0
307.84/307.99	c  307s |      23 |  3329732 |  2493738 |     3629   1620 |        0 |        0
309.84/309.99	c  309s |      23 |  3347291 |  2507638 |     3629   1627 |        0 |        0
311.94/312.01	c  311s |      23 |  3365143 |  2521438 |     3629   1634 |        0 |        0
313.94/314.03	c  314s |      23 |  3387229 |  2538138 |     3629   1643 |        0 |        0
315.94/316.04	c  316s |      23 |  3407168 |  2553038 |     3629   1650 |        0 |        0
317.95/318.05	c  318s |      23 |  3431832 |  2570638 |     3629   1659 |        0 |        0
319.94/320.06	c  320s |      23 |  3454991 |  2588038 |     3629   1668 |        0 |        0
321.94/322.06	c  322s |      23 |  3478217 |  2605638 |     3629   1677 |        0 |        0
323.94/324.07	c  324s |      23 |  3500400 |  2622238 |     3629   1685 |        0 |        0
325.94/326.08	c  326s |      23 |  3525621 |  2640838 |     3629   1695 |        0 |        0
327.94/328.08	c  328s |      23 |  3547018 |  2656638 |     3629   1703 |        0 |        0
329.95/330.08	c  330s |      23 |  3573431 |  2675338 |     3629   1712 |        0 |        0
331.94/332.10	c  332s |      23 |  3596980 |  2692938 |     3629   1721 |        0 |        0
334.04/334.10	c  334s |      23 |  3621425 |  2711038 |     3629   1730 |        0 |        0
336.04/336.11	c  336s |      23 |  3644590 |  2727538 |     3629   1739 |        0 |        0
338.04/338.13	c  338s |      23 |  3661498 |  2741238 |     3629   1746 |        0 |        0
340.04/340.14	c  340s |      23 |  3679422 |  2755538 |     3629   1753 |        0 |        0
342.04/342.15	c  342s |      23 |  3695419 |  2768438 |     3629   1760 |        0 |        0
344.04/344.16	c  344s |      23 |  3716004 |  2784438 |     3629   1768 |        0 |        0
346.04/346.16	c  346s |      23 |  3736342 |  2800338 |     3629   1777 |        0 |        0
348.03/348.17	c  348s |      23 |  3753746 |  2814338 |     3629   1784 |        0 |        0
350.03/350.17	c  350s |      23 |  3770501 |  2827838 |     3629   1791 |        0 |        0
352.04/352.19	c  352s |      23 |  3792512 |  2844638 |     3629   1800 |        0 |        0
354.03/354.20	c  354s |      23 |  3814894 |  2861538 |     3629   1809 |        0 |        0
356.13/356.21	c  356s |      23 |  3836729 |  2878138 |     3629   1817 |        0 |        0
358.13/358.21	c  358s |      23 |  3857298 |  2893938 |     3629   1826 |        0 |        0
360.13/360.22	c  360s |      23 |  3879707 |  2910638 |     3629   1834 |        0 |        0
362.13/362.23	c  362s |      23 |  3899410 |  2925738 |     3629   1842 |        0 |        0
364.14/364.24	c  364s |      23 |  3921685 |  2942238 |     3629   1851 |        0 |        0
366.13/366.25	c  366s |      23 |  3943206 |  2958338 |     3629   1859 |        0 |        0
368.13/368.26	c  368s |      23 |  3965659 |  2974938 |     3629   1868 |        0 |        0
370.13/370.26	c  370s |      23 |  3986304 |  2990538 |     3629   1876 |        0 |        0
372.13/372.26	c  372s |      23 |  4009662 |  3007638 |     3629   1885 |        0 |        0
374.13/374.27	c  374s |      23 |  4032473 |  3024538 |     3629   1894 |        0 |        0
376.13/376.27	c  376s |      23 |  4050727 |  3038438 |     3629   1901 |        0 |        0
378.13/378.29	c  378s |      23 |  4072657 |  3054738 |     3629   1910 |        0 |        0
380.13/380.29	c  380s |      23 |  4094634 |  3070938 |     3629   1918 |        0 |        0
382.13/382.29	c  382s |      23 |  4119494 |  3089038 |     3629   1928 |        0 |        0
384.13/384.30	c  384s |      23 |  4141250 |  3105538 |     3629   1937 |        0 |        0
386.23/386.30	c  386s |      23 |  4162322 |  3121438 |     3629   1945 |        0 |        0
388.24/388.31	c  388s |      23 |  4180585 |  3135638 |     3629   1952 |        0 |        0
390.23/390.32	c  390s |      23 |  4202751 |  3152338 |     3629   1961 |        0 |        0
392.23/392.34	c  392s |      23 |  4223801 |  3168238 |     3629   1970 |        0 |        0
394.23/394.35	c  394s |      23 |  4246512 |  3185138 |     3629   1978 |        0 |        0
396.23/396.37	c  396s |      23 |  4266474 |  3200338 |     3629   1986 |        0 |        0
398.23/398.37	c  398s |      23 |  4286079 |  3215238 |     3629   1994 |        0 |        0
400.23/400.38	c  400s |      23 |  4301770 |  3227738 |     3629   2001 |        0 |        0
402.22/402.39	c  402s |      23 |  4317418 |  3240538 |     3629   2007 |        0 |        0
404.32/404.40	c  404s |      23 |  4334835 |  3254338 |     3629   2015 |        0 |        0
406.32/406.42	c  406s |      23 |  4355056 |  3269438 |     3629   2023 |        0 |        0
408.32/408.43	c  408s |      23 |  4378351 |  3286638 |     3629   2032 |        0 |        0
410.33/410.44	c  410s |      23 |  4394174 |  3299338 |     3629   2038 |        0 |        0
412.32/412.46	c  412s |      23 |  4412737 |  3313038 |     3629   2046 |        0 |        0
414.32/414.47	c  414s |      23 |  4430232 |  3327038 |     3629   2053 |        0 |        0
416.32/416.49	c  416s |      23 |  4447426 |  3339938 |     3629   2060 |        0 |        0
418.32/418.49	c  418s |      23 |  4468435 |  3355738 |     3992   2068 |        0 |        0
420.42/420.50	c  420s |      23 |  4490186 |  3372138 |     3992   2075 |        0 |        0
420.92/421.02	c  421s |      24 |  4496452 |  3376662 |     3992   2078 |        0 |        0
422.93/423.03	c  423s |      24 |  4516768 |  3391762 |     3992   2084 |        0 |        0
424.93/425.04	c  425s |      24 |  4541033 |  3409362 |     3992   2093 |        0 |        0
426.93/427.04	c  427s |      24 |  4565159 |  3426662 |     3992   2101 |        0 |        0
428.93/429.05	c  429s |      24 |  4585208 |  3442262 |     3992   2108 |        0 |        0
430.93/431.06	c  431s |      24 |  4606216 |  3457862 |     3992   2115 |        0 |        0
432.93/433.07	c  433s |      24 |  4629681 |  3475162 |     3992   2123 |        0 |        0
434.92/435.07	c  435s |      24 |  4647347 |  3489062 |     3992   2129 |        0 |        0
436.92/437.07	c  437s |      24 |  4667180 |  3504362 |     3992   2136 |        0 |        0
438.93/439.08	c  439s |      24 |  4690805 |  3521462 |     3992   2144 |        0 |        0
440.92/441.08	c  441s |      24 |  4713267 |  3538062 |     3992   2152 |        0 |        0
442.92/443.09	c  443s |      24 |  4734650 |  3553962 |     3992   2159 |        0 |        0
445.02/445.10	c  445s |      24 |  4756817 |  3570262 |     3992   2167 |        0 |        0
447.02/447.10	c  447s |      24 |  4782271 |  3588862 |     3992   2175 |        0 |        0
449.02/449.10	c  449s |      24 |  4802505 |  3603962 |     3992   2182 |        0 |        0
451.03/451.12	c  451s |      24 |  4827302 |  3621462 |     3992   2191 |        0 |        0
453.02/453.12	c  453s |      24 |  4845761 |  3635862 |     3992   2197 |        0 |        0
455.02/455.14	c  455s |      24 |  4868160 |  3652562 |     3992   2205 |        0 |        0
457.02/457.14	c  457s |      24 |  4888724 |  3668262 |     3992   2212 |        0 |        0
459.02/459.14	c  459s |      24 |  4906015 |  3681562 |     3992   2218 |        0 |        0
461.02/461.15	c  461s |      24 |  4926937 |  3696662 |     3992   2225 |        0 |        0
463.03/463.16	c  463s |      24 |  4949366 |  3713062 |     3992   2233 |        0 |        0
465.02/465.16	c  465s |      24 |  4970376 |  3728762 |     3992   2240 |        0 |        0
467.02/467.16	c  467s |      24 |  4993258 |  3745162 |     3992   2248 |        0 |        0
469.02/469.17	c  469s |      24 |  5012711 |  3760162 |     3992   2255 |        0 |        0
471.02/471.18	c  471s |      24 |  5035898 |  3777862 |     3992   2263 |        0 |        0
473.12/473.20	c  473s |      24 |  5055731 |  3792762 |     3992   2270 |        0 |        0
475.12/475.21	c  475s |      24 |  5076022 |  3807762 |     3992   2277 |        0 |        0
477.12/477.22	c  477s |      24 |  5095620 |  3822562 |     3992   2284 |        0 |        0
479.12/479.23	c  479s |      24 |  5118166 |  3839562 |     3992   2292 |        0 |        0
481.11/481.24	c  481s |      24 |  5136951 |  3854062 |     3992   2298 |        0 |        0
483.11/483.26	c  483s |      24 |  5151155 |  3865662 |     3992   2304 |        0 |        0
485.12/485.27	c  485s |      24 |  5168317 |  3878962 |     3992   2310 |        0 |        0
487.11/487.27	c  487s |      24 |  5186474 |  3892762 |     3992   2316 |        0 |        0
489.11/489.28	c  489s |      24 |  5204856 |  3907262 |     3992   2323 |        0 |        0
491.11/491.29	c  491s |      24 |  5224691 |  3922162 |     3992   2330 |        0 |        0
493.11/493.29	c  493s |      24 |  5244543 |  3936762 |     3992   2337 |        0 |        0
495.11/495.29	c  495s |      24 |  5264933 |  3952262 |     3992   2344 |        0 |        0
497.12/497.29	c  497s |      24 |  5285173 |  3966962 |     3992   2351 |        0 |        0
499.21/499.30	c  499s |      24 |  5304075 |  3981662 |     3992   2358 |        0 |        0
501.21/501.31	c  501s |      24 |  5320255 |  3994762 |     3992   2364 |        0 |        0
503.21/503.32	c  503s |      24 |  5338487 |  4008862 |     3992   2370 |        0 |        0
505.21/505.32	c  505s |      24 |  5359516 |  4024062 |     3992   2377 |        0 |        0
507.21/507.32	c  507s |      24 |  5380807 |  4039862 |     3992   2385 |        0 |        0
509.22/509.33	c  509s |      24 |  5403330 |  4056262 |     3992   2392 |        0 |        0
511.21/511.34	c  511s |      24 |  5428337 |  4073962 |     3992   2400 |        0 |        0
513.21/513.35	c  513s |      24 |  5452985 |  4091762 |     3992   2409 |        0 |        0
515.21/515.36	c  515s |      24 |  5471829 |  4106262 |     3992   2415 |        0 |        0
517.21/517.39	c  517s |      24 |  5492952 |  4121762 |     3992   2423 |        0 |        0
519.31/519.40	c  519s |      24 |  5512273 |  4136662 |     3992   2429 |        0 |        0
521.21/521.40	c  521s |      24 |  5532175 |  4151662 |     3992   2436 |        0 |        0
523.31/523.42	c  523s |      24 |  5546570 |  4163562 |     3992   2442 |        0 |        0
525.30/525.42	c  525s |      24 |  5563258 |  4177062 |     3992   2448 |        0 |        0
527.30/527.43	c  527s |      24 |  5579142 |  4189562 |     3992   2454 |        0 |        0
529.30/529.44	c  529s |      24 |  5596524 |  4203162 |     3992   2460 |        0 |        0
531.31/531.45	c  531s |      24 |  5617203 |  4218762 |     3992   2468 |        0 |        0
533.30/533.46	c  533s |      24 |  5639563 |  4235562 |     3992   2475 |        0 |        0
535.30/535.48	c  535s |      24 |  5658809 |  4249862 |     3992   2482 |        0 |        0
537.31/537.48	c  537s |      24 |  5676138 |  4263062 |     3992   2488 |        0 |        0
539.31/539.49	c  539s |      24 |  5697551 |  4279162 |     3992   2496 |        0 |        0
541.31/541.49	c  541s |      24 |  5719957 |  4295562 |     3992   2503 |        0 |        0
543.32/543.50	c  543s |      24 |  5742883 |  4311862 |     3992   2511 |        0 |        0
545.41/545.50	c  545s |      24 |  5762769 |  4327162 |     3992   2518 |        0 |        0
547.41/547.51	c  547s |      24 |  5781244 |  4341262 |     3992   2525 |        0 |        0
549.41/549.53	c  549s |      24 |  5802270 |  4357162 |     3992   2532 |        0 |        0
551.41/551.53	c  551s |      24 |  5823221 |  4373362 |     3992   2539 |        0 |        0
553.41/553.54	c  553s |      24 |  5848565 |  4391562 |     3992   2548 |        0 |        0
555.41/555.54	c  555s |      24 |  5872618 |  4408962 |     3992   2556 |        0 |        0
557.40/557.56	c  557s |      24 |  5897852 |  4427762 |     3992   2565 |        0 |        0
559.40/559.57	c  559s |      24 |  5917893 |  4442962 |     3992   2571 |        0 |        0
561.40/561.58	c  561s |      24 |  5936864 |  4457662 |     3992   2578 |        0 |        0
563.40/563.59	c  563s |      24 |  5960464 |  4475262 |     3992   2586 |        0 |        0
565.50/565.60	c  565s |      24 |  5982639 |  4491662 |     3992   2594 |        0 |        0
567.51/567.60	c  567s |      24 |  6007345 |  4509362 |     3992   2602 |        0 |        0
569.50/569.61	c  569s |      24 |  6028715 |  4525562 |     3992   2610 |        0 |        0
571.50/571.61	c  571s |      24 |  6051118 |  4542262 |     3992   2617 |        0 |        0
573.50/573.61	c  573s |      24 |  6072717 |  4559062 |     3992   2625 |        0 |        0
575.50/575.62	c  575s |      24 |  6094834 |  4575462 |     3992   2633 |        0 |        0
577.50/577.62	c  577s |      24 |  6116925 |  4592162 |     3992   2641 |        0 |        0
579.50/579.63	c  579s |      24 |  6138003 |  4607662 |     3992   2648 |        0 |        0
581.49/581.63	c  581s |      24 |  6159333 |  4623562 |     3992   2655 |        0 |        0
583.50/583.65	c  583s |      24 |  6179325 |  4638962 |     3992   2662 |        0 |        0
585.50/585.66	c  585s |      24 |  6202168 |  4655962 |     3992   2670 |        0 |        0
587.50/587.66	c  587s |      24 |  6221747 |  4670962 |     3992   2677 |        0 |        0
589.51/589.68	c  589s |      24 |  6243136 |  4686962 |     3992   2684 |        0 |        0
591.50/591.68	c  591s |      24 |  6266356 |  4704262 |     3992   2692 |        0 |        0
593.50/593.69	c  593s |      24 |  6286906 |  4719862 |     3992   2700 |        0 |        0
595.60/595.70	c  595s |      24 |  6308487 |  4736062 |     3992   2707 |        0 |        0
597.60/597.70	c  597s |      24 |  6329593 |  4751762 |     3992   2715 |        0 |        0
599.60/599.71	c  599s |      24 |  6351035 |  4767862 |     3992   2722 |        0 |        0
601.60/601.72	c  601s |      24 |  6371627 |  4783462 |     3992   2729 |        0 |        0
603.60/603.73	c  603s |      24 |  6389529 |  4796962 |     3992   2736 |        0 |        0
605.60/605.74	c  605s |      24 |  6409066 |  4811862 |     3992   2742 |        0 |        0
607.60/607.74	c  607s |      24 |  6425461 |  4824562 |     3992   2748 |        0 |        0
609.60/609.75	c  609s |      24 |  6445516 |  4839862 |     3992   2756 |        0 |        0
611.60/611.76	c  611s |      24 |  6462438 |  4853062 |     3992   2762 |        0 |        0
613.59/613.77	c  613s |      24 |  6477328 |  4865162 |     3992   2767 |        0 |        0
615.59/615.78	c  615s |      24 |  6497431 |  4880062 |     3992   2774 |        0 |        0
617.59/617.78	c  617s |      24 |  6514421 |  4893162 |     3992   2780 |        0 |        0
619.59/619.79	c  619s |      24 |  6533866 |  4908362 |     3992   2787 |        0 |        0
621.69/621.80	c  621s |      24 |  6554183 |  4923662 |     3992   2794 |        0 |        0
623.70/623.81	c  623s |      24 |  6575246 |  4939762 |     3992   2802 |        0 |        0
625.69/625.82	c  625s |      24 |  6595447 |  4954962 |     3992   2809 |        0 |        0
627.69/627.84	c  627s |      24 |  6614335 |  4968962 |     3992   2815 |        0 |        0
629.69/629.84	c  629s |      24 |  6630242 |  4981962 |     3992   2821 |        0 |        0
631.69/631.85	c  631s |      24 |  6648314 |  4995862 |     3992   2828 |        0 |        0
633.70/633.86	c  633s |      24 |  6668180 |  5011562 |     3992   2835 |        0 |        0
635.70/635.87	c  635s |      24 |  6690152 |  5028162 |     3992   2843 |        0 |        0
637.70/637.88	c  637s |      24 |  6706943 |  5041362 |     4392   2848 |        0 |        0
639.69/639.89	c  639s |      24 |  6722375 |  5053362 |     4392   2853 |        0 |        0
641.59/641.73	c  641s |      25 |  6736779 |  5065098 |     4392   2858 |        0 |        0
643.59/643.74	c  643s |      25 |  6758654 |  5081198 |     4392   2865 |        0 |        0
645.60/645.75	c  645s |      25 |  6775783 |  5094698 |     4392   2871 |        0 |        0
647.59/647.76	c  647s |      25 |  6795080 |  5109898 |     4392   2877 |        0 |        0
649.59/649.77	c  649s |      25 |  6810920 |  5122398 |     4392   2882 |        0 |        0
651.59/651.78	c  651s |      25 |  6830068 |  5136498 |     4392   2888 |        0 |        0
653.59/653.79	c  653s |      25 |  6847516 |  5149698 |     4392   2894 |        0 |        0
655.69/655.81	c  655s |      25 |  6861828 |  5161098 |     4392   2899 |        0 |        0
657.70/657.82	c  657s |      25 |  6882825 |  5176998 |     4392   2905 |        0 |        0
659.69/659.83	c  659s |      25 |  6898748 |  5190098 |     4392   2911 |        0 |        0
661.69/661.85	c  661s |      25 |  6918407 |  5205398 |     4392   2917 |        0 |        0
663.69/663.85	c  663s |      25 |  6938736 |  5220998 |     4392   2924 |        0 |        0
665.69/665.85	c  665s |      25 |  6961069 |  5237598 |     4392   2931 |        0 |        0
667.69/667.86	c  667s |      25 |  6980367 |  5251998 |     4392   2937 |        0 |        0
669.69/669.86	c  669s |      25 |  6999594 |  5266498 |     4392   2943 |        0 |        0
671.69/671.88	c  671s |      25 |  7021521 |  5283098 |     4392   2950 |        0 |        0
673.69/673.89	c  673s |      25 |  7043603 |  5299098 |     4392   2957 |        0 |        0
675.69/675.90	c  675s |      25 |  7062589 |  5313298 |     4392   2963 |        0 |        0
677.79/677.90	c  677s |      25 |  7080437 |  5327298 |     4392   2969 |        0 |        0
679.79/679.91	c  679s |      25 |  7099326 |  5341698 |     4392   2975 |        0 |        0
681.78/681.92	c  681s |      25 |  7119794 |  5357098 |     4392   2982 |        0 |        0
683.78/683.93	c  683s |      25 |  7138442 |  5371398 |     4392   2988 |        0 |        0
685.78/685.94	c  685s |      25 |  7160468 |  5387498 |     4392   2994 |        0 |        0
687.78/687.95	c  687s |      25 |  7180812 |  5403098 |     4392   3001 |        0 |        0
689.78/689.96	c  689s |      25 |  7200250 |  5417598 |     4392   3007 |        0 |        0
691.79/691.96	c  691s |      25 |  7220215 |  5432898 |     4392   3013 |        0 |        0
693.78/693.98	c  693s |      25 |  7239813 |  5447798 |     4392   3020 |        0 |        0
695.78/695.98	c  695s |      25 |  7257682 |  5461898 |     4392   3026 |        0 |        0
697.78/697.99	c  697s |      25 |  7276064 |  5476398 |     4392   3032 |        0 |        0
699.88/700.00	c  699s |      25 |  7292710 |  5489598 |     4392   3037 |        0 |        0
701.88/702.00	c  701s |      25 |  7309375 |  5502798 |     4392   3043 |        0 |        0
703.89/704.00	c  703s |      25 |  7322746 |  5513798 |     4392   3047 |        0 |        0
705.88/706.02	c  705s |      25 |  7339723 |  5527098 |     4392   3053 |        0 |        0
707.88/708.02	c  707s |      25 |  7358140 |  5541098 |     4392   3059 |        0 |        0
709.88/710.03	c  710s |      25 |  7377723 |  5556098 |     4392   3065 |        0 |        0
711.88/712.05	c  712s |      25 |  7389769 |  5566398 |     4392   3070 |        0 |        0
713.89/714.06	c  714s |      25 |  7409406 |  5581298 |     4392   3076 |        0 |        0
715.88/716.06	c  716s |      25 |  7429067 |  5596198 |     4392   3082 |        0 |        0
717.88/718.07	c  718s |      25 |  7447072 |  5610098 |     4392   3088 |        0 |        0
719.88/720.07	c  720s |      25 |  7465748 |  5624598 |     4392   3094 |        0 |        0
721.88/722.09	c  722s |      25 |  7484880 |  5638998 |     4392   3100 |        0 |        0
723.98/724.10	c  724s |      25 |  7498161 |  5649698 |     4392   3105 |        0 |        0
725.98/726.11	c  726s |      25 |  7514438 |  5662598 |     4392   3110 |        0 |        0
727.98/728.11	c  728s |      25 |  7533591 |  5677098 |     4392   3116 |        0 |        0
729.97/730.11	c  730s |      25 |  7557729 |  5694498 |     4392   3124 |        0 |        0
731.97/732.12	c  732s |      25 |  7576845 |  5709598 |     4392   3130 |        0 |        0
733.97/734.12	c  734s |      25 |  7591948 |  5721998 |     4392   3135 |        0 |        0
735.97/736.13	c  736s |      25 |  7605994 |  5733498 |     4392   3140 |        0 |        0
737.98/738.13	c  738s |      25 |  7623329 |  5747098 |     4392   3146 |        0 |        0
739.97/740.15	c  740s |      25 |  7644401 |  5762898 |     4392   3152 |        0 |        0
741.97/742.17	c  742s |      25 |  7667438 |  5779798 |     4392   3160 |        0 |        0
743.97/744.18	c  744s |      25 |  7691256 |  5797398 |     4392   3167 |        0 |        0
746.08/746.22	c  746s |      25 |  7711934 |  5812798 |     4392   3174 |        0 |        0
748.08/748.23	c  748s |      25 |  7730791 |  5827298 |     4392   3180 |        0 |        0
750.09/750.24	c  750s |      25 |  7746598 |  5839298 |     4392   3185 |        0 |        0
752.08/752.25	c  752s |      25 |  7761617 |  5851298 |     4392   3190 |        0 |        0
754.08/754.25	c  754s |      25 |  7778110 |  5864198 |     4392   3195 |        0 |        0
756.08/756.25	c  756s |      25 |  7795542 |  5877698 |     4392   3201 |        0 |        0
758.08/758.26	c  758s |      25 |  7815979 |  5893198 |     4392   3208 |        0 |        0
760.08/760.27	c  760s |      25 |  7837833 |  5909398 |     4392   3214 |        0 |        0
762.08/762.27	c  762s |      25 |  7858353 |  5924498 |     4392   3221 |        0 |        0
764.07/764.28	c  764s |      25 |  7877158 |  5938898 |     4392   3227 |        0 |        0
766.07/766.29	c  766s |      25 |  7898232 |  5954598 |     4392   3233 |        0 |        0
768.07/768.29	c  768s |      25 |  7917102 |  5969198 |     4392   3240 |        0 |        0
770.07/770.30	c  770s |      25 |  7936673 |  5983998 |     4392   3246 |        0 |        0
772.08/772.30	c  772s |      25 |  7948923 |  5994398 |     4392   3250 |        0 |        0
774.17/774.30	c  774s |      25 |  7966514 |  6007798 |     4392   3256 |        0 |        0
776.17/776.31	c  776s |      25 |  7987997 |  6023498 |     4392   3262 |        0 |        0
778.17/778.32	c  778s |      25 |  8008542 |  6038398 |     4392   3269 |        0 |        0
780.17/780.33	c  780s |      25 |  8025898 |  6052098 |     4392   3274 |        0 |        0
782.17/782.34	c  782s |      25 |  8046426 |  6067298 |     4392   3281 |        0 |        0
784.17/784.35	c  784s |      25 |  8061851 |  6079698 |     4392   3286 |        0 |        0
786.17/786.36	c  786s |      25 |  8077674 |  6092098 |     4392   3291 |        0 |        0
788.17/788.37	c  788s |      25 |  8092447 |  6103598 |     4392   3296 |        0 |        0
790.17/790.38	c  790s |      25 |  8111593 |  6117998 |     4392   3302 |        0 |        0
792.17/792.38	c  792s |      25 |  8131830 |  6132998 |     4392   3308 |        0 |        0
794.17/794.38	c  794s |      25 |  8148166 |  6145698 |     4392   3314 |        0 |        0
796.17/796.38	c  796s |      25 |  8166058 |  6159198 |     4392   3319 |        0 |        0
798.16/798.38	c  798s |      25 |  8185726 |  6173298 |     4392   3326 |        0 |        0
800.16/800.39	c  800s |      25 |  8208335 |  6189698 |     4392   3333 |        0 |        0
802.26/802.40	c  802s |      25 |  8230049 |  6205998 |     4392   3339 |        0 |        0
804.26/804.41	c  804s |      25 |  8247885 |  6219898 |     4392   3345 |        0 |        0
806.27/806.42	c  806s |      25 |  8265048 |  6233098 |     4392   3351 |        0 |        0
808.26/808.43	c  808s |      25 |  8283093 |  6246898 |     4392   3357 |        0 |        0
810.26/810.43	c  810s |      25 |  8298886 |  6259298 |     4392   3362 |        0 |        0
812.26/812.47	c  812s |      25 |  8310493 |  6269298 |     4392   3366 |        0 |        0
814.26/814.48	c  814s |      25 |  8326011 |  6281598 |     4392   3372 |        0 |        0
816.36/816.51	c  816s |      25 |  8344428 |  6295698 |     4392   3378 |        0 |        0
818.37/818.52	c  818s |      25 |  8360974 |  6308898 |     4392   3383 |        0 |        0
820.37/820.52	c  820s |      25 |  8374839 |  6320298 |     4392   3388 |        0 |        0
822.37/822.52	c  822s |      25 |  8392296 |  6333898 |     4392   3394 |        0 |        0
824.37/824.53	c  824s |      25 |  8410651 |  6347598 |     4392   3400 |        0 |        0
826.36/826.55	c  826s |      25 |  8426934 |  6360298 |     4392   3405 |        0 |        0
828.36/828.55	c  828s |      25 |  8444619 |  6373898 |     4392   3411 |        0 |        0
830.37/830.57	c  830s |      25 |  8459163 |  6385498 |     4392   3416 |        0 |        0
832.36/832.58	c  832s |      25 |  8472801 |  6396298 |     4392   3420 |        0 |        0
834.36/834.59	c  834s |      25 |  8487221 |  6407298 |     4392   3425 |        0 |        0
836.46/836.60	c  836s |      25 |  8502311 |  6419198 |     4392   3430 |        0 |        0
838.46/838.62	c  838s |      25 |  8522346 |  6434398 |     4392   3437 |        0 |        0
840.46/840.63	c  840s |      25 |  8541625 |  6449298 |     4392   3443 |        0 |        0
842.47/842.64	c  842s |      25 |  8564882 |  6466398 |     4392   3450 |        0 |        0
844.46/844.64	c  844s |      25 |  8583023 |  6479898 |     4392   3456 |        0 |        0
846.46/846.64	c  846s |      25 |  8599940 |  6493198 |     4392   3462 |        0 |        0
848.46/848.65	c  848s |      25 |  8615438 |  6505898 |     4392   3467 |        0 |        0
850.45/850.65	c  850s |      25 |  8635155 |  6520998 |     4392   3473 |        0 |        0
852.46/852.66	c  852s |      25 |  8653608 |  6535198 |     4392   3479 |        0 |        0
854.45/854.67	c  854s |      25 |  8672549 |  6549698 |     4392   3485 |        0 |        0
856.45/856.68	c  856s |      25 |  8688821 |  6562398 |     4392   3491 |        0 |        0
858.55/858.72	c  858s |      25 |  8708535 |  6576998 |     4392   3497 |        0 |        0
860.56/860.72	c  860s |      25 |  8730441 |  6593198 |     4392   3504 |        0 |        0
862.56/862.73	c  862s |      25 |  8750037 |  6608398 |     4392   3510 |        0 |        0
864.57/864.73	c  864s |      25 |  8770937 |  6623698 |     4392   3517 |        0 |        0
866.56/866.73	c  866s |      25 |  8791871 |  6639298 |     4392   3523 |        0 |        0
868.56/868.75	c  868s |      25 |  8812923 |  6655098 |     4392   3530 |        0 |        0
870.56/870.75	c  870s |      25 |  8834747 |  6670998 |     4392   3537 |        0 |        0
872.56/872.76	c  872s |      25 |  8854396 |  6685498 |     4392   3543 |        0 |        0
874.56/874.76	c  874s |      25 |  8875173 |  6700798 |     4392   3549 |        0 |        0
876.57/876.76	c  876s |      25 |  8896810 |  6716798 |     4392   3556 |        0 |        0
878.56/878.77	c  878s |      25 |  8917383 |  6732898 |     4392   3563 |        0 |        0
880.56/880.79	c  880s |      25 |  8936690 |  6747298 |     4392   3569 |        0 |        0
882.56/882.79	c  882s |      25 |  8955798 |  6761398 |     4392   3575 |        0 |        0
884.56/884.79	c  884s |      25 |  8977339 |  6777098 |     4392   3582 |        0 |        0
886.66/886.81	c  886s |      25 |  8997144 |  6791698 |     4392   3588 |        0 |        0
888.66/888.81	c  888s |      25 |  9016250 |  6805098 |     4392   3594 |        0 |        0
890.66/890.81	c  890s |      25 |  9036634 |  6819998 |     4392   3600 |        0 |        0
892.66/892.81	c  892s |      25 |  9056598 |  6834798 |     4392   3606 |        0 |        0
894.65/894.83	c  894s |      25 |  9074931 |  6848198 |     4392   3612 |        0 |        0
896.65/896.85	c  896s |      25 |  9096486 |  6863998 |     4392   3619 |        0 |        0
898.66/898.85	c  898s |      25 |  9115997 |  6878098 |     4392   3625 |        0 |        0
900.65/900.87	c  900s |      25 |  9134549 |  6892698 |     4392   3631 |        0 |        0
902.65/902.87	c  902s |      25 |  9156501 |  6908698 |     4392   3638 |        0 |        0
904.65/904.88	c  904s |      25 |  9177880 |  6924698 |     4392   3644 |        0 |        0
906.65/906.89	c  906s |      25 |  9196672 |  6939298 |     4392   3650 |        0 |        0
908.65/908.89	c  908s |      25 |  9214700 |  6952698 |     4392   3656 |        0 |        0
910.66/910.90	c  910s |      25 |  9228839 |  6964398 |     4392   3661 |        0 |        0
912.75/912.90	c  912s |      25 |  9245672 |  6977398 |     4392   3666 |        0 |        0
914.75/914.91	c  914s |      25 |  9266013 |  6992298 |     4392   3673 |        0 |        0
916.75/916.92	c  916s |      25 |  9288768 |  7008698 |     4392   3680 |        0 |        0
918.75/918.93	c  918s |      25 |  9311605 |  7024898 |     4392   3687 |        0 |        0
920.75/920.93	c  920s |      25 |  9333291 |  7040798 |     4392   3694 |        0 |        0
922.75/922.93	c  922s |      25 |  9357153 |  7058498 |     4392   3701 |        0 |        0
924.75/924.94	c  924s |      25 |  9373830 |  7071598 |     4392   3707 |        0 |        0
926.75/926.95	c  926s |      25 |  9385039 |  7081298 |     4392   3711 |        0 |        0
928.75/928.96	c  928s |      25 |  9403153 |  7095098 |     4392   3716 |        0 |        0
930.75/930.98	c  930s |      25 |  9421650 |  7109298 |     4392   3723 |        0 |        0
932.75/932.99	c  932s |      25 |  9439343 |  7122898 |     4392   3728 |        0 |        0
934.74/934.99	c  934s |      25 |  9457469 |  7136298 |     4392   3734 |        0 |        0
936.84/937.00	c  936s |      25 |  9474383 |  7149198 |     4392   3740 |        0 |        0
938.84/939.01	c  938s |      25 |  9490173 |  7161898 |     4392   3745 |        0 |        0
940.84/941.01	c  940s |      25 |  9507397 |  7174998 |     4392   3750 |        0 |        0
942.84/943.02	c  942s |      25 |  9523232 |  7187198 |     4392   3756 |        0 |        0
944.85/945.03	c  945s |      25 |  9538681 |  7199598 |     4392   3761 |        0 |        0
946.84/947.05	c  947s |      25 |  9558572 |  7214698 |     4392   3767 |        0 |        0
948.84/949.05	c  949s |      25 |  9574424 |  7226898 |     4392   3773 |        0 |        0
950.84/951.05	c  951s |      25 |  9591136 |  7239598 |     4392   3778 |        0 |        0
952.84/953.06	c  953s |      25 |  9611434 |  7254798 |     4392   3784 |        0 |        0
954.84/955.07	c  955s |      25 |  9629524 |  7268598 |     4392   3790 |        0 |        0
956.84/957.09	c  957s |      25 |  9642841 |  7279598 |     4392   3795 |        0 |        0
958.85/959.09	c  959s |      25 |  9655556 |  7290098 |     4392   3799 |        0 |        0
960.85/961.09	c  961s |      25 |  9670879 |  7302398 |     4392   3805 |        0 |        0
962.95/963.10	c  963s |      25 |  9689024 |  7315898 |     4392   3810 |        0 |        0
964.95/965.11	c  965s |      25 |  9705287 |  7328398 |     4392   3816 |        0 |        0
966.94/967.11	c  967s |      25 |  9722608 |  7341898 |     4392   3821 |        0 |        0
968.95/969.13	c  969s |      25 |  9740812 |  7355998 |     4392   3827 |        0 |        0
970.94/971.13	c  971s |      25 |  9758939 |  7369598 |     4392   3833 |        0 |        0
972.94/973.15	c  973s |      25 |  9775832 |  7382498 |     4392   3839 |        0 |        0
974.94/975.15	c  975s |      25 |  9788235 |  7392998 |     4392   3843 |        0 |        0
976.94/977.16	c  977s |      25 |  9802687 |  7405098 |     4392   3848 |        0 |        0
978.95/979.16	c  979s |      25 |  9818623 |  7417798 |     4392   3854 |        0 |        0
980.94/981.17	c  981s |      25 |  9837298 |  7431298 |     4392   3860 |        0 |        0
982.94/983.18	c  983s |      25 |  9855334 |  7445398 |     4392   3866 |        0 |        0
985.04/985.20	c  985s |      25 |  9871158 |  7458098 |     4392   3871 |        0 |        0
987.04/987.20	c  987s |      25 |  9891150 |  7472298 |     4392   3877 |        0 |        0
989.04/989.21	c  989s |      25 |  9911111 |  7487598 |     4392   3883 |        0 |        0
991.05/991.22	c  991s |      25 |  9932876 |  7503298 |     4392   3890 |        0 |        0
993.04/993.23	c  993s |      25 |  9946406 |  7514298 |     4392   3895 |        0 |        0
995.04/995.24	c  995s |      25 |  9958745 |  7524598 |     4392   3899 |        0 |        0
997.04/997.25	c  997s |      25 |  9971226 |  7535098 |     4392   3903 |        0 |        0
999.04/999.25	c  999s |      25 |  9984894 |  7546198 |     4832   3908 |        0 |        0
1001.04/1001.26	c 1001s |      25 | 10003355 |  7560498 |     4832   3914 |        0 |        0
1003.04/1003.27	c 1003s |      25 | 10021829 |  7574798 |     4832   3919 |        0 |        0
1005.03/1005.28	c 1005s |      25 | 10038610 |  7587898 |     4832   3924 |        0 |        0
1006.53/1006.71	c 1006s |      26 | 10051929 |  7597752 |     4832   3928 |        0 |        0
1008.54/1008.73	c 1008s |      26 | 10071923 |  7612952 |     4832   3934 |        0 |        0
1010.53/1010.73	c 1010s |      26 | 10091207 |  7627952 |     4832   3940 |        0 |        0
1012.53/1012.74	c 1012s |      26 | 10109585 |  7641752 |     4832   3945 |        0 |        0
1014.53/1014.75	c 1014s |      26 | 10124693 |  7653552 |     4832   3950 |        0 |        0
1016.53/1016.76	c 1016s |      26 | 10144401 |  7668852 |     4832   3956 |        0 |        0
1018.53/1018.76	c 1018s |      26 | 10162431 |  7682752 |     4832   3962 |        0 |        0
1020.52/1020.77	c 1020s |      26 | 10180608 |  7696852 |     4832   3967 |        0 |        0
1022.52/1022.80	c 1022s |      26 | 10199364 |  7710652 |     4832   3973 |        0 |        0
1024.62/1024.80	c 1024s |      26 | 10218368 |  7724652 |     4832   3978 |        0 |        0
1026.62/1026.80	c 1026s |      26 | 10234823 |  7737052 |     4832   3983 |        0 |        0
1028.62/1028.81	c 1028s |      26 | 10250473 |  7749752 |     4832   3988 |        0 |        0
1030.63/1030.81	c 1030s |      26 | 10269836 |  7763852 |     4832   3993 |        0 |        0
1032.62/1032.82	c 1032s |      26 | 10288088 |  7777952 |     4832   3999 |        0 |        0
1034.62/1034.82	c 1034s |      26 | 10308040 |  7793252 |     4832   4004 |        0 |        0
1036.62/1036.83	c 1036s |      26 | 10325636 |  7807052 |     4832   4010 |        0 |        0
1038.62/1038.83	c 1038s |      26 | 10346232 |  7822552 |     4832   4016 |        0 |        0
1040.62/1040.84	c 1040s |      26 | 10367874 |  7837952 |     4832   4022 |        0 |        0
1042.62/1042.85	c 1042s |      26 | 10384975 |  7850852 |     4832   4027 |        0 |        0
1044.62/1044.88	c 1044s |      26 | 10400765 |  7862752 |     4832   4031 |        0 |        0
1046.61/1046.88	c 1046s |      26 | 10417065 |  7875352 |     4832   4036 |        0 |        0
1048.61/1048.89	c 1048s |      26 | 10438368 |  7890952 |     4832   4042 |        0 |        0
1050.71/1050.91	c 1050s |      26 | 10457695 |  7905852 |     4832   4048 |        0 |        0
1052.71/1052.91	c 1052s |      26 | 10474945 |  7919452 |     4832   4054 |        0 |        0
1054.72/1054.92	c 1054s |      26 | 10488453 |  7930252 |     4832   4058 |        0 |        0
1056.71/1056.92	c 1056s |      26 | 10504301 |  7942252 |     4832   4063 |        0 |        0
1058.71/1058.93	c 1058s |      26 | 10519846 |  7954352 |     4832   4067 |        0 |        0
1060.71/1060.95	c 1060s |      26 | 10537501 |  7968152 |     4832   4073 |        0 |        0
1062.70/1062.96	c 1062s |      26 | 10550625 |  7979452 |     4832   4077 |        0 |        0
1064.71/1064.98	c 1064s |      26 | 10565025 |  7990952 |     4832   4081 |        0 |        0
1066.70/1066.99	c 1066s |      26 | 10580107 |  8002752 |     4832   4086 |        0 |        0
1068.80/1069.00	c 1068s |      26 | 10594467 |  8014452 |     4832   4090 |        0 |        0
1070.80/1071.02	c 1070s |      26 | 10608618 |  8025852 |     4832   4095 |        0 |        0
1072.80/1073.04	c 1073s |      26 | 10623010 |  8037352 |     4832   4099 |        0 |        0
1074.80/1075.04	c 1075s |      26 | 10637319 |  8048552 |     4832   4104 |        0 |        0
1076.81/1077.06	c 1077s |      26 | 10651438 |  8060152 |     4832   4108 |        0 |        0
1078.80/1079.06	c 1079s |      26 | 10668185 |  8073052 |     4832   4113 |        0 |        0
1080.80/1081.08	c 1081s |      26 | 10683192 |  8084952 |     4832   4118 |        0 |        0
1082.79/1083.09	c 1083s |      26 | 10697374 |  8096552 |     4832   4122 |        0 |        0
1084.89/1085.10	c 1085s |      26 | 10710690 |  8107552 |     4832   4127 |        0 |        0
1086.89/1087.11	c 1087s |      26 | 10724258 |  8118152 |     4832   4131 |        0 |        0
1088.90/1089.12	c 1089s |      26 | 10740099 |  8130552 |     4832   4136 |        0 |        0
1090.89/1091.13	c 1091s |      26 | 10752669 |  8141052 |     4832   4140 |        0 |        0
1092.89/1093.14	c 1093s |      26 | 10768284 |  8153352 |     4832   4145 |        0 |        0
1094.89/1095.16	c 1095s |      26 | 10786933 |  8167452 |     4832   4150 |        0 |        0
1096.89/1097.16	c 1097s |      26 | 10802539 |  8179652 |     4832   4155 |        0 |        0
1098.89/1099.17	c 1099s |      26 | 10818688 |  8192152 |     4832   4160 |        0 |        0
1100.89/1101.17	c 1101s |      26 | 10833633 |  8204052 |     4832   4165 |        0 |        0
1102.88/1103.18	c 1103s |      26 | 10849653 |  8216152 |     4832   4169 |        0 |        0
1104.98/1105.20	c 1105s |      26 | 10865458 |  8228852 |     4832   4174 |        0 |        0
1106.98/1107.20	c 1107s |      26 | 10877996 |  8238752 |     4832   4178 |        0 |        0
1108.99/1109.21	c 1109s |      26 | 10891993 |  8249652 |     4832   4183 |        0 |        0
1110.99/1111.21	c 1111s |      26 | 10906047 |  8261052 |     4832   4187 |        0 |        0
1112.99/1113.22	c 1113s |      26 | 10920661 |  8272652 |     4832   4192 |        0 |        0
1114.99/1115.23	c 1115s |      26 | 10935232 |  8283752 |     4832   4196 |        0 |        0
1116.99/1117.24	c 1117s |      26 | 10951330 |  8295752 |     4832   4200 |        0 |        0
1118.98/1119.25	c 1119s |      26 | 10967574 |  8308052 |     4832   4205 |        0 |        0
1120.98/1121.26	c 1121s |      26 | 10985429 |  8321552 |     4832   4210 |        0 |        0
1122.99/1123.27	c 1123s |      26 | 11001171 |  8333652 |     4832   4215 |        0 |        0
1124.98/1125.28	c 1125s |      26 | 11016776 |  8346052 |     4832   4220 |        0 |        0
1126.98/1127.28	c 1127s |      26 | 11032416 |  8358152 |     4832   4225 |        0 |        0
1128.98/1129.29	c 1129s |      26 | 11050118 |  8371752 |     4832   4230 |        0 |        0
1131.08/1131.32	c 1131s |      26 | 11063011 |  8382452 |     4832   4234 |        0 |        0
1133.07/1133.32	c 1133s |      26 | 11075860 |  8393052 |     4832   4238 |        0 |        0
1135.08/1135.34	c 1135s |      26 | 11091005 |  8405252 |     4832   4243 |        0 |        0
1137.07/1137.35	c 1137s |      26 | 11105191 |  8416252 |     4832   4247 |        0 |        0
1139.07/1139.36	c 1139s |      26 | 11120732 |  8428952 |     4832   4252 |        0 |        0
1141.07/1141.38	c 1141s |      26 | 11135236 |  8440652 |     4832   4257 |        0 |        0
1143.07/1143.38	c 1143s |      26 | 11154295 |  8454852 |     4832   4263 |        0 |        0
1145.07/1145.39	c 1145s |      26 | 11172002 |  8468652 |     4832   4268 |        0 |        0
1147.07/1147.39	c 1147s |      26 | 11187977 |  8481452 |     4832   4273 |        0 |        0
1149.17/1149.40	c 1149s |      26 | 11205045 |  8494452 |     4832   4278 |        0 |        0
1151.17/1151.43	c 1151s |      26 | 11220180 |  8506152 |     4832   4283 |        0 |        0
1153.16/1153.44	c 1153s |      26 | 11237228 |  8519152 |     4832   4288 |        0 |        0
1155.16/1155.45	c 1155s |      26 | 11255559 |  8533052 |     4832   4293 |        0 |        0
1157.16/1157.46	c 1157s |      26 | 11270684 |  8545352 |     4832   4298 |        0 |        0
1159.17/1159.46	c 1159s |      26 | 11293058 |  8561752 |     4832   4304 |        0 |        0
1161.16/1161.47	c 1161s |      26 | 11318562 |  8580152 |     4832   4311 |        0 |        0
1163.16/1163.47	c 1163s |      26 | 11341865 |  8597452 |     4832   4318 |        0 |        0
1165.16/1165.47	c 1165s |      26 | 11360855 |  8611552 |     4832   4324 |        0 |        0
1167.26/1167.50	c 1167s |      26 | 11377095 |  8624252 |     4832   4329 |        0 |        0
1169.26/1169.51	c 1169s |      26 | 11395558 |  8637852 |     4832   4334 |        0 |        0
1171.26/1171.52	c 1171s |      26 | 11413632 |  8651252 |     4832   4339 |        0 |        0
1173.25/1173.53	c 1173s |      26 | 11433799 |  8666352 |     4832   4345 |        0 |        0
1175.25/1175.54	c 1175s |      26 | 11456371 |  8682852 |     4832   4351 |        0 |        0
1177.26/1177.54	c 1177s |      26 | 11478652 |  8699052 |     4832   4358 |        0 |        0
1179.26/1179.55	c 1179s |      26 | 11499172 |  8713952 |     4832   4363 |        0 |        0
1181.26/1181.56	c 1181s |      26 | 11518391 |  8728252 |     4832   4369 |        0 |        0
1183.36/1183.61	c 1183s |      26 | 11537804 |  8742752 |     4832   4375 |        0 |        0
1185.35/1185.62	c 1185s |      26 | 11552316 |  8754352 |     4832   4379 |        0 |        0
1187.35/1187.64	c 1187s |      26 | 11566738 |  8765452 |     4832   4383 |        0 |        0
1189.35/1189.65	c 1189s |      26 | 11580174 |  8776052 |     4832   4387 |        0 |        0
1191.35/1191.67	c 1191s |      26 | 11592816 |  8786752 |     4832   4391 |        0 |        0
1193.35/1193.68	c 1193s |      26 | 11607089 |  8798352 |     4832   4396 |        0 |        0
1195.35/1195.69	c 1195s |      26 | 11623331 |  8810752 |     4832   4401 |        0 |        0
1197.45/1197.70	c 1197s |      26 | 11640285 |  8824052 |     4832   4406 |        0 |        0
1199.44/1199.71	c 1199s |      26 | 11658554 |  8838352 |     4832   4411 |        0 |        0
1201.44/1201.72	c 1201s |      26 | 11677446 |  8852952 |     4832   4417 |        0 |        0
1203.44/1203.73	c 1203s |      26 | 11693878 |  8865452 |     4832   4422 |        0 |        0
1205.45/1205.74	c 1205s |      26 | 11715512 |  8881952 |     4832   4428 |        0 |        0
1207.44/1207.75	c 1207s |      26 | 11732306 |  8895252 |     4832   4433 |        0 |        0
1209.44/1209.75	c 1209s |      26 | 11748983 |  8907952 |     4832   4438 |        0 |        0
1211.44/1211.76	c 1211s |      26 | 11761805 |  8918352 |     4832   4442 |        0 |        0
1213.44/1213.76	c 1213s |      26 | 11776055 |  8929752 |     4832   4447 |        0 |        0
1215.43/1215.76	c 1215s |      26 | 11790537 |  8941252 |     4832   4451 |        0 |        0
1217.44/1217.77	c 1217s |      26 | 11804200 |  8952452 |     4832   4456 |        0 |        0
1219.43/1219.79	c 1219s |      26 | 11817719 |  8963852 |     4832   4460 |        0 |        0
1221.53/1221.80	c 1221s |      26 | 11831126 |  8974752 |     4832   4464 |        0 |        0
1223.53/1223.82	c 1223s |      26 | 11844509 |  8985852 |     4832   4468 |        0 |        0
1225.53/1225.82	c 1225s |      26 | 11855024 |  8994952 |     4832   4472 |        0 |        0
1227.53/1227.83	c 1227s |      26 | 11865837 |  9004152 |     4832   4476 |        0 |        0
1229.54/1229.84	c 1229s |      26 | 11883458 |  9017852 |     4832   4481 |        0 |        0
1231.53/1231.85	c 1231s |      26 | 11903135 |  9032652 |     4832   4487 |        0 |        0
1233.52/1233.85	c 1233s |      26 | 11918240 |  9044752 |     4832   4492 |        0 |        0
1235.52/1235.86	c 1235s |      26 | 11931697 |  9055852 |     4832   4496 |        0 |        0
1237.52/1237.86	c 1237s |      26 | 11947749 |  9068252 |     4832   4500 |        0 |        0
1239.53/1239.87	c 1239s |      26 | 11962935 |  9080452 |     4832   4505 |        0 |        0
1241.52/1241.88	c 1241s |      26 | 11979010 |  9093152 |     4832   4510 |        0 |        0
1243.52/1243.89	c 1243s |      26 | 11997320 |  9107152 |     4832   4515 |        0 |        0
1245.62/1245.90	c 1245s |      26 | 12016864 |  9121752 |     4832   4521 |        0 |        0
1247.62/1247.91	c 1247s |      26 | 12034541 |  9135152 |     4832   4526 |        0 |        0
1249.62/1249.93	c 1249s |      26 | 12047790 |  9146152 |     4832   4530 |        0 |        0
1251.62/1251.96	c 1251s |      26 | 12060498 |  9156752 |     4832   4535 |        0 |        0
1253.62/1253.98	c 1253s |      26 | 12078622 |  9170952 |     4832   4540 |        0 |        0
1255.62/1255.99	c 1255s |      26 | 12099489 |  9186652 |     4832   4546 |        0 |        0
1257.61/1257.99	c 1257s |      26 | 12118923 |  9201052 |     4832   4552 |        0 |        0
1259.71/1260.00	c 1259s |      26 | 12136235 |  9215052 |     4832   4557 |        0 |        0
1261.71/1262.02	c 1261s |      26 | 12155621 |  9229652 |     4832   4563 |        0 |        0
1263.72/1264.02	c 1263s |      26 | 12169552 |  9240752 |     4832   4567 |        0 |        0
1265.71/1266.03	c 1266s |      26 | 12187021 |  9253952 |     4832   4573 |        0 |        0
1267.71/1268.03	c 1268s |      26 | 12209277 |  9269952 |     4832   4579 |        0 |        0
1269.71/1270.04	c 1270s |      26 | 12226555 |  9282852 |     4832   4584 |        0 |        0
1271.71/1272.05	c 1272s |      26 | 12243408 |  9295852 |     4832   4589 |        0 |        0
1273.70/1274.06	c 1274s |      26 | 12258794 |  9308052 |     4832   4594 |        0 |        0
1275.71/1276.07	c 1276s |      26 | 12277018 |  9321252 |     4832   4599 |        0 |        0
1277.70/1278.09	c 1278s |      26 | 12295072 |  9334952 |     4832   4604 |        0 |        0
1279.70/1280.09	c 1280s |      26 | 12312710 |  9348052 |     4832   4609 |        0 |        0
1281.80/1282.10	c 1282s |      26 | 12332490 |  9362752 |     4832   4615 |        0 |        0
1283.80/1284.10	c 1284s |      26 | 12354279 |  9378652 |     4832   4621 |        0 |        0
1285.81/1286.11	c 1286s |      26 | 12376700 |  9395052 |     4832   4628 |        0 |        0
1287.82/1288.12	c 1288s |      26 | 12398479 |  9410352 |     4832   4634 |        0 |        0
1289.81/1290.15	c 1290s |      26 | 12415446 |  9422852 |     4832   4639 |        0 |        0
1291.81/1292.15	c 1292s |      26 | 12436201 |  9437552 |     4832   4644 |        0 |        0
1293.80/1294.17	c 1294s |      26 | 12456369 |  9452152 |     4832   4650 |        0 |        0
1295.80/1296.18	c 1296s |      26 | 12475133 |  9466152 |     4832   4656 |        0 |        0
1297.81/1298.19	c 1298s |      26 | 12499479 |  9483052 |     4832   4662 |        0 |        0
1299.80/1300.19	c 1300s |      26 | 12519514 |  9497252 |     4832   4668 |        0 |        0
1301.90/1302.21	c 1302s |      26 | 12541068 |  9512452 |     4832   4674 |        0 |        0
1303.90/1304.22	c 1304s |      26 | 12561927 |  9527652 |     4832   4680 |        0 |        0
1305.90/1306.23	c 1306s |      26 | 12581871 |  9542252 |     4832   4685 |        0 |        0
1307.90/1308.24	c 1308s |      26 | 12600332 |  9556052 |     4832   4691 |        0 |        0
1309.90/1310.24	c 1310s |      26 | 12617030 |  9568752 |     4832   4696 |        0 |        0
1311.90/1312.25	c 1312s |      26 | 12639174 |  9583952 |     4832   4702 |        0 |        0
1313.89/1314.29	c 1314s |      26 | 12655500 |  9595952 |     4832   4707 |        0 |        0
1315.89/1316.29	c 1316s |      26 | 12675903 |  9611452 |     4832   4713 |        0 |        0
1317.99/1318.30	c 1318s |      26 | 12685991 |  9620152 |     4832   4716 |        0 |        0
1319.99/1320.31	c 1320s |      26 | 12704879 |  9634152 |     4832   4721 |        0 |        0
1322.00/1322.31	c 1322s |      26 | 12718065 |  9644452 |     4832   4725 |        0 |        0
1323.99/1324.32	c 1324s |      26 | 12738867 |  9659752 |     4832   4731 |        0 |        0
1325.98/1326.33	c 1326s |      26 | 12758031 |  9674252 |     4832   4737 |        0 |        0
1327.98/1328.34	c 1328s |      26 | 12779713 |  9690152 |     4832   4743 |        0 |        0
1329.98/1330.34	c 1330s |      26 | 12800459 |  9705352 |     4832   4749 |        0 |        0
1331.98/1332.35	c 1332s |      26 | 12825026 |  9722752 |     4832   4756 |        0 |        0
1333.99/1334.35	c 1334s |      26 | 12853040 |  9741652 |     4832   4764 |        0 |        0
1335.98/1336.36	c 1336s |      26 | 12879318 |  9760452 |     4832   4771 |        0 |        0
1337.98/1338.36	c 1338s |      26 | 12902893 |  9777152 |     4832   4777 |        0 |        0
1339.98/1340.36	c 1340s |      26 | 12924653 |  9792552 |     4832   4783 |        0 |        0
1341.98/1342.37	c 1342s |      26 | 12950468 |  9810952 |     4832   4790 |        0 |        0
1343.98/1344.38	c 1344s |      26 | 12965640 |  9823152 |     4832   4795 |        0 |        0
1345.97/1346.40	c 1346s |      26 | 12984654 |  9837452 |     4832   4801 |        0 |        0
1348.07/1348.40	c 1348s |      26 | 13004570 |  9851952 |     4832   4806 |        0 |        0
1350.07/1350.40	c 1350s |      26 | 13020700 |  9864352 |     4832   4811 |        0 |        0
1352.07/1352.41	c 1352s |      26 | 13037675 |  9877452 |     4832   4816 |        0 |        0
1354.06/1354.42	c 1354s |      26 | 13056122 |  9891552 |     4832   4822 |        0 |        0
1356.08/1356.42	c 1356s |      26 | 13076657 |  9907052 |     4832   4828 |        0 |        0
1358.07/1358.42	c 1358s |      26 | 13091849 |  9919152 |     4832   4832 |        0 |        0
1360.07/1360.44	c 1360s |      26 | 13111970 |  9933652 |     4832   4838 |        0 |        0
1362.07/1362.45	c 1362s |      26 | 13133816 |  9949552 |     4832   4844 |        0 |        0
1364.06/1364.46	c 1364s |      26 | 13157662 |  9966552 |     4832   4851 |        0 |        0
1366.06/1366.46	c 1366s |      26 | 13178836 |  9981752 |     4832   4857 |        0 |        0
1368.07/1368.46	c 1368s |      26 | 13202671 |  9998652 |     4832   4863 |        0 |        0
1370.06/1370.47	c 1370s |      26 | 13225143 | 10014852 |     4832   4870 |        0 |        0
1372.06/1372.47	c 1372s |      26 | 13247614 | 10030652 |     4832   4876 |        0 |        0
1374.06/1374.48	c 1374s |      26 | 13264547 | 10043252 |     4832   4881 |        0 |        0
1376.06/1376.49	c 1376s |      26 | 13287623 | 10060052 |     4832   4887 |        0 |        0
1378.15/1378.50	c 1378s |      26 | 13310950 | 10077052 |     4832   4894 |        0 |        0
1380.16/1380.51	c 1380s |      26 | 13331693 | 10092352 |     4832   4900 |        0 |        0
1382.15/1382.52	c 1382s |      26 | 13354929 | 10108752 |     4832   4906 |        0 |        0
1384.15/1384.53	c 1384s |      26 | 13371968 | 10122352 |     4832   4911 |        0 |        0
1386.15/1386.56	c 1386s |      26 | 13389402 | 10135252 |     4832   4917 |        0 |        0
1388.14/1388.57	c 1388s |      26 | 13404172 | 10147452 |     4832   4921 |        0 |        0
1390.15/1390.58	c 1390s |      26 | 13423664 | 10161552 |     4832   4927 |        0 |        0
1392.14/1392.58	c 1392s |      26 | 13447557 | 10178452 |     4832   4933 |        0 |        0
1394.14/1394.59	c 1394s |      26 | 13469700 | 10194152 |     4832   4940 |        0 |        0
1396.24/1396.60	c 1396s |      26 | 13490052 | 10209052 |     4832   4946 |        0 |        0
1398.24/1398.61	c 1398s |      26 | 13509838 | 10223752 |     4832   4951 |        0 |        0
1400.24/1400.62	c 1400s |      26 | 13530172 | 10239052 |     4832   4957 |        0 |        0
1402.24/1402.63	c 1402s |      26 | 13549554 | 10253352 |     4832   4963 |        0 |        0
1404.23/1404.64	c 1404s |      26 | 13565106 | 10264952 |     4832   4967 |        0 |        0
1406.24/1406.64	c 1406s |      26 | 13585157 | 10278552 |     4832   4973 |        0 |        0
1408.24/1408.66	c 1408s |      26 | 13604689 | 10292152 |     4832   4978 |        0 |        0
1410.24/1410.67	c 1410s |      26 | 13624982 | 10306552 |     4832   4984 |        0 |        0
1412.23/1412.68	c 1412s |      26 | 13645066 | 10320752 |     4832   4989 |        0 |        0
1414.24/1414.69	c 1414s |      26 | 13664507 | 10335052 |     4832   4995 |        0 |        0
1416.33/1416.70	c 1416s |      26 | 13683548 | 10348852 |     4832   5000 |        0 |        0
1418.33/1418.71	c 1418s |      26 | 13699558 | 10360752 |     4832   5005 |        0 |        0
1420.33/1420.71	c 1420s |      26 | 13718007 | 10373952 |     4832   5010 |        0 |        0
1422.32/1422.72	c 1422s |      26 | 13734148 | 10385952 |     4832   5015 |        0 |        0
1424.32/1424.73	c 1424s |      26 | 13747710 | 10396452 |     4832   5019 |        0 |        0
1426.33/1426.74	c 1426s |      26 | 13762987 | 10407652 |     4832   5023 |        0 |        0
1428.32/1428.74	c 1428s |      26 | 13776385 | 10418252 |     4832   5028 |        0 |        0
1430.32/1430.75	c 1430s |      26 | 13796355 | 10432452 |     4832   5033 |        0 |        0
1432.32/1432.75	c 1432s |      26 | 13816950 | 10447152 |     4832   5039 |        0 |        0
1434.31/1434.75	c 1434s |      26 | 13834872 | 10460452 |     4832   5044 |        0 |        0
1436.32/1436.76	c 1436s |      26 | 13850805 | 10472352 |     4832   5049 |        0 |        0
1438.31/1438.77	c 1438s |      26 | 13865826 | 10483852 |     4832   5053 |        0 |        0
1440.31/1440.78	c 1440s |      26 | 13882722 | 10495952 |     4832   5058 |        0 |        0
1442.31/1442.79	c 1442s |      26 | 13903098 | 10510052 |     4832   5064 |        0 |        0
1444.41/1444.80	c 1444s |      26 | 13924671 | 10525552 |     4832   5070 |        0 |        0
1446.41/1446.80	c 1446s |      26 | 13947582 | 10542052 |     4832   5076 |        0 |        0
1448.41/1448.81	c 1448s |      26 | 13967578 | 10556452 |     4832   5082 |        0 |        0
1450.41/1450.82	c 1450s |      26 | 13982717 | 10567652 |     4832   5086 |        0 |        0
1452.41/1452.84	c 1452s |      26 | 14001598 | 10581752 |     4832   5092 |        0 |        0
1454.40/1454.84	c 1454s |      26 | 14022945 | 10596752 |     4832   5098 |        0 |        0
1456.40/1456.84	c 1456s |      26 | 14044250 | 10611852 |     4832   5104 |        0 |        0
1458.40/1458.84	c 1458s |      26 | 14061121 | 10624152 |     4832   5109 |        0 |        0
1460.41/1460.85	c 1460s |      26 | 14082403 | 10639652 |     4832   5115 |        0 |        0
1462.41/1462.86	c 1462s |      26 | 14103043 | 10654552 |     4832   5120 |        0 |        0
1464.41/1464.88	c 1464s |      26 | 14125605 | 10670252 |     4832   5127 |        0 |        0
1466.41/1466.89	c 1466s |      26 | 14143933 | 10684152 |     4832   5132 |        0 |        0
1468.51/1468.90	c 1468s |      26 | 14160072 | 10696052 |     4832   5137 |        0 |        0
1470.51/1470.91	c 1470s |      26 | 14178047 | 10709652 |     4832   5142 |        0 |        0
1472.51/1472.91	c 1472s |      26 | 14198637 | 10724852 |     4832   5148 |        0 |        0
1474.50/1474.93	c 1474s |      26 | 14220243 | 10739452 |     4832   5154 |        0 |        0
1476.50/1476.93	c 1476s |      26 | 14238299 | 10752152 |     4832   5159 |        0 |        0
1478.50/1478.93	c 1478s |      26 | 14257093 | 10766252 |     4832   5164 |        0 |        0
1480.50/1480.93	c 1480s |      26 | 14274046 | 10779252 |     4832   5169 |        0 |        0
1482.51/1482.94	c 1482s |      26 | 14290003 | 10791452 |     4832   5174 |        0 |        0
1484.50/1484.95	c 1484s |      26 | 14303348 | 10801852 |     4832   5178 |        0 |        0
1486.49/1486.96	c 1486s |      26 | 14323644 | 10816052 |     4832   5184 |        0 |        0
1488.49/1488.97	c 1488s |      26 | 14343101 | 10830752 |     4832   5190 |        0 |        0
1490.49/1490.97	c 1490s |      26 | 14363212 | 10845152 |     4832   5195 |        0 |        0
1492.49/1492.99	c 1492s |      26 | 14384373 | 10860352 |     4832   5201 |        0 |        0
1494.50/1495.00	c 1494s |      26 | 14405989 | 10875752 |     4832   5207 |        0 |        0
1496.59/1497.01	c 1496s |      26 | 14427379 | 10891052 |     4832   5213 |        0 |        0
1498.59/1499.02	c 1498s |      26 | 14447100 | 10905352 |     4832   5219 |        0 |        0
1500.59/1501.03	c 1501s |      26 | 14470367 | 10922052 |     4832   5226 |        0 |        0
1502.59/1503.03	c 1503s |      26 | 14489100 | 10935452 |     4832   5231 |        0 |        0
1504.59/1505.04	c 1505s |      26 | 14511244 | 10951552 |     4832   5237 |        0 |        0
1506.60/1507.04	c 1507s |      26 | 14530359 | 10966152 |     4832   5243 |        0 |        0
1508.59/1509.04	c 1509s |      26 | 14550270 | 10981052 |     4832   5249 |        0 |        0
1510.59/1511.05	c 1511s |      26 | 14574918 | 10998652 |     4832   5255 |        0 |        0
1512.58/1513.06	c 1513s |      26 | 14594788 | 11013752 |     4832   5261 |        0 |        0
1514.58/1515.06	c 1515s |      26 | 14614487 | 11027952 |     4832   5267 |        0 |        0
1516.59/1517.07	c 1517s |      26 | 14634002 | 11042452 |     4832   5272 |        0 |        0
1518.58/1519.07	c 1519s |      26 | 14653744 | 11057552 |     4832   5278 |        0 |        0
1520.58/1521.09	c 1521s |      26 | 14672418 | 11072152 |     4832   5284 |        0 |        0
1522.57/1523.09	c 1523s |      26 | 14690011 | 11085852 |     4832   5289 |        0 |        0
1524.57/1525.09	c 1525s |      26 | 14710536 | 11101152 |     4832   5295 |        0 |        0
1526.67/1527.10	c 1527s |      26 | 14729339 | 11115152 |     4832   5301 |        0 |        0
1528.68/1529.11	c 1529s |      26 | 14751619 | 11131852 |     4832   5307 |        0 |        0
1530.67/1531.13	c 1531s |      26 | 14769617 | 11145652 |     4832   5313 |        0 |        0
1532.67/1533.14	c 1533s |      26 | 14784203 | 11157252 |     4832   5317 |        0 |        0
1534.66/1535.14	c 1535s |      26 | 14805110 | 11172752 |     4832   5323 |        0 |        0
1536.66/1537.16	c 1537s |      26 | 14825888 | 11187952 |     4832   5329 |        0 |        0
1538.66/1539.16	c 1539s |      26 | 14845194 | 11201852 |     4832   5335 |        0 |        0
1540.67/1541.17	c 1541s |      26 | 14863261 | 11216152 |     4832   5340 |        0 |        0
1542.66/1543.18	c 1543s |      26 | 14881740 | 11230752 |     4832   5346 |        0 |        0
1544.66/1545.18	c 1545s |      26 | 14896068 | 11242152 |     4832   5350 |        0 |        0
1546.66/1547.19	c 1547s |      26 | 14908322 | 11252052 |     4832   5354 |        0 |        0
1548.66/1549.19	c 1549s |      26 | 14928488 | 11267152 |     4832   5360 |        0 |        0
1550.76/1551.21	c 1551s |      26 | 14942616 | 11278152 |     4832   5365 |        0 |        0
1552.76/1553.22	c 1553s |      26 | 14960352 | 11292052 |     4832   5370 |        0 |        0
1554.75/1555.23	c 1555s |      26 | 14980215 | 11306952 |     4832   5376 |        0 |        0
1556.75/1557.25	c 1557s |      26 | 14995636 | 11319352 |     5316   5380 |        0 |        0
1558.75/1559.26	c 1559s |      26 | 15010356 | 11331052 |     5316   5385 |        0 |        0
1560.76/1561.26	c 1561s |      26 | 15027710 | 11344552 |     5316   5389 |        0 |        0
1562.76/1563.28	c 1563s |      26 | 15042117 | 11355652 |     5316   5393 |        0 |        0
1564.76/1565.29	c 1565s |      26 | 15061292 | 11370052 |     5316   5398 |        0 |        0
1566.85/1567.30	c 1567s |      26 | 15077376 | 11382452 |     5316   5403 |        0 |        0
1568.85/1569.31	c 1569s |      26 | 15095834 | 11396452 |     5316   5408 |        0 |        0
1568.85/1569.35	c 1569s |      27 | 15096347 | 11396733 |     5316   5408 |        0 |        0
1570.85/1571.35	c 1571s |      27 | 15115517 | 11410933 |     5316   5413 |        0 |        0
1572.85/1573.35	c 1573s |      27 | 15134781 | 11425033 |     5316   5418 |        0 |        0
1574.85/1575.36	c 1575s |      27 | 15151406 | 11437833 |     5316   5423 |        0 |        0
1576.85/1577.37	c 1577s |      27 | 15169652 | 11451333 |     5316   5427 |        0 |        0
1578.85/1579.38	c 1579s |      27 | 15191750 | 11467733 |     5316   5433 |        0 |        0
1580.95/1581.41	c 1581s |      27 | 15211517 | 11482533 |     5316   5439 |        0 |        0
1582.94/1583.42	c 1583s |      27 | 15232550 | 11498433 |     5316   5444 |        0 |        0
1584.94/1585.42	c 1585s |      27 | 15253513 | 11514133 |     5316   5450 |        0 |        0
1586.95/1587.44	c 1587s |      27 | 15273524 | 11529433 |     5316   5455 |        0 |        0
1588.94/1589.44	c 1589s |      27 | 15289531 | 11542433 |     5316   5460 |        0 |        0
1590.94/1591.45	c 1591s |      27 | 15304156 | 11553933 |     5316   5464 |        0 |        0
1592.93/1593.46	c 1593s |      27 | 15322622 | 11568533 |     5316   5469 |        0 |        0
1594.93/1595.46	c 1595s |      27 | 15341254 | 11583433 |     5316   5474 |        0 |        0
1596.93/1597.46	c 1597s |      27 | 15358329 | 11596733 |     5316   5479 |        0 |        0
1598.94/1599.47	c 1599s |      27 | 15377316 | 11611033 |     5316   5484 |        0 |        0
1600.93/1601.47	c 1601s |      27 | 15398276 | 11626833 |     5316   5490 |        0 |        0
1602.93/1603.48	c 1603s |      27 | 15418646 | 11642733 |     5316   5495 |        0 |        0
1604.93/1605.49	c 1605s |      27 | 15434782 | 11655233 |     5316   5500 |        0 |        0
1607.02/1607.52	c 1607s |      27 | 15453813 | 11669433 |     5316   5505 |        0 |        0
1609.02/1609.53	c 1609s |      27 | 15473243 | 11684333 |     5316   5510 |        0 |        0
1611.03/1611.54	c 1611s |      27 | 15491019 | 11697533 |     5316   5515 |        0 |        0
1613.02/1613.54	c 1613s |      27 | 15509418 | 11711433 |     5316   5520 |        0 |        0
1615.02/1615.55	c 1615s |      27 | 15527330 | 11725233 |     5316   5525 |        0 |        0
1617.02/1617.55	c 1617s |      27 | 15546277 | 11739933 |     5316   5530 |        0 |        0
1619.02/1619.56	c 1619s |      27 | 15561233 | 11751333 |     5316   5534 |        0 |        0
1621.02/1621.57	c 1621s |      27 | 15573591 | 11761433 |     5316   5538 |        0 |        0
1623.01/1623.58	c 1623s |      27 | 15592197 | 11775333 |     5316   5543 |        0 |        0
1625.11/1625.61	c 1625s |      27 | 15606889 | 11786633 |     5316   5547 |        0 |        0
1627.11/1627.61	c 1627s |      27 | 15622412 | 11798233 |     5316   5551 |        0 |        0
1629.11/1629.61	c 1629s |      27 | 15636663 | 11809533 |     5316   5555 |        0 |        0
1631.11/1631.62	c 1631s |      27 | 15652756 | 11821933 |     5316   5559 |        0 |        0
1633.11/1633.63	c 1633s |      27 | 15674218 | 11837833 |     5316   5565 |        0 |        0
1635.10/1635.64	c 1635s |      27 | 15691413 | 11851233 |     5316   5570 |        0 |        0
1637.10/1637.67	c 1637s |      27 | 15708950 | 11865233 |     5316   5575 |        0 |        0
1639.10/1639.68	c 1639s |      27 | 15721849 | 11875733 |     5316   5578 |        0 |        0
1641.10/1641.69	c 1641s |      27 | 15737989 | 11888733 |     5316   5583 |        0 |        0
1643.21/1643.70	c 1643s |      27 | 15753893 | 11901333 |     5316   5588 |        0 |        0
1645.21/1645.70	c 1645s |      27 | 15770943 | 11914833 |     5316   5592 |        0 |        0
1647.21/1647.71	c 1647s |      27 | 15789680 | 11929033 |     5316   5597 |        0 |        0
1649.21/1649.72	c 1649s |      27 | 15806624 | 11942333 |     5316   5602 |        0 |        0
1651.21/1651.72	c 1651s |      27 | 15819570 | 11952733 |     5316   5606 |        0 |        0
1653.20/1653.73	c 1653s |      27 | 15834031 | 11964133 |     5316   5610 |        0 |        0
1655.20/1655.75	c 1655s |      27 | 15845933 | 11973633 |     5316   5613 |        0 |        0
1657.21/1657.75	c 1657s |      27 | 15859292 | 11984133 |     5316   5617 |        0 |        0
1659.20/1659.78	c 1659s |      27 | 15876335 | 11997233 |     5316   5622 |        0 |        0
1661.20/1661.78	c 1661s |      27 | 15896350 | 12011933 |     5316   5627 |        0 |        0
1663.20/1663.79	c 1663s |      27 | 15917371 | 12027733 |     5316   5632 |        0 |        0
1665.20/1665.79	c 1665s |      27 | 15933007 | 12040133 |     5316   5637 |        0 |        0
1667.30/1667.80	c 1667s |      27 | 15952872 | 12054833 |     5316   5642 |        0 |        0
1669.31/1669.81	c 1669s |      27 | 15972885 | 12069733 |     5316   5647 |        0 |        0
1671.30/1671.83	c 1671s |      27 | 15988182 | 12081933 |     5316   5652 |        0 |        0
1673.30/1673.84	c 1673s |      27 | 16004925 | 12094833 |     5316   5656 |        0 |        0
1675.30/1675.85	c 1675s |      27 | 16021345 | 12107533 |     5316   5661 |        0 |        0
1677.30/1677.86	c 1677s |      27 | 16040087 | 12121733 |     5316   5666 |        0 |        0
1679.30/1679.86	c 1679s |      27 | 16057436 | 12135133 |     5316   5670 |        0 |        0
1681.29/1681.87	c 1681s |      27 | 16075385 | 12148333 |     5316   5675 |        0 |        0
1683.29/1683.87	c 1683s |      27 | 16093570 | 12162333 |     5316   5680 |        0 |        0
1685.29/1685.88	c 1685s |      27 | 16109871 | 12174933 |     5316   5684 |        0 |        0
1687.29/1687.89	c 1687s |      27 | 16131658 | 12191133 |     5316   5690 |        0 |        0
1689.39/1689.90	c 1689s |      27 | 16152682 | 12207233 |     5316   5696 |        0 |        0
1691.40/1691.90	c 1691s |      27 | 16169179 | 12220233 |     5316   5700 |        0 |        0
1693.39/1693.91	c 1693s |      27 | 16185507 | 12232833 |     5316   5705 |        0 |        0
1695.39/1695.91	c 1695s |      27 | 16197627 | 12243333 |     5316   5709 |        0 |        0
1697.39/1697.92	c 1697s |      27 | 16214999 | 12256533 |     5316   5713 |        0 |        0
1699.40/1699.94	c 1699s |      27 | 16229717 | 12268533 |     5316   5718 |        0 |        0
1701.40/1701.95	c 1701s |      27 | 16240991 | 12278033 |     5316   5721 |        0 |        0
1703.40/1703.96	c 1703s |      27 | 16253389 | 12288033 |     5316   5725 |        0 |        0
1705.40/1705.96	c 1705s |      27 | 16270699 | 12301633 |     5316   5729 |        0 |        0
1707.40/1707.98	c 1707s |      27 | 16288881 | 12315533 |     5316   5734 |        0 |        0
1709.40/1709.99	c 1709s |      27 | 16300297 | 12325033 |     5316   5738 |        0 |        0
1711.49/1712.01	c 1711s |      27 | 16318230 | 12339233 |     5316   5743 |        0 |        0
1713.49/1714.01	c 1713s |      27 | 16337347 | 12353633 |     5316   5748 |        0 |        0
1715.50/1716.02	c 1715s |      27 | 16355382 | 12367633 |     5316   5753 |        0 |        0
1717.49/1718.03	c 1718s |      27 | 16373609 | 12381933 |     5316   5758 |        0 |        0
1719.49/1720.04	c 1720s |      27 | 16395141 | 12397933 |     5316   5764 |        0 |        0
1721.49/1722.05	c 1722s |      27 | 16416350 | 12413733 |     5316   5769 |        0 |        0
1723.49/1724.05	c 1724s |      27 | 16439157 | 12430133 |     5316   5775 |        0 |        0
1725.50/1726.06	c 1726s |      27 | 16462207 | 12446633 |     5316   5781 |        0 |        0
1727.49/1728.07	c 1728s |      27 | 16482381 | 12461533 |     5316   5786 |        0 |        0
1729.49/1730.07	c 1730s |      27 | 16505196 | 12478233 |     5316   5792 |        0 |        0
1731.49/1732.08	c 1732s |      27 | 16523765 | 12492733 |     5316   5797 |        0 |        0
1733.49/1734.09	c 1734s |      27 | 16546292 | 12509233 |     5316   5803 |        0 |        0
1735.59/1736.11	c 1736s |      27 | 16565824 | 12524033 |     5316   5809 |        0 |        0
1737.59/1738.11	c 1738s |      27 | 16584406 | 12538233 |     5316   5814 |        0 |        0
1739.59/1740.12	c 1740s |      27 | 16604854 | 12553733 |     5316   5819 |        0 |        0
1741.59/1742.12	c 1742s |      27 | 16620642 | 12566133 |     5316   5824 |        0 |        0
1743.59/1744.13	c 1744s |      27 | 16644142 | 12583033 |     5316   5830 |        0 |        0
1745.58/1746.14	c 1746s |      27 | 16665569 | 12599033 |     5316   5835 |        0 |        0
1747.58/1748.15	c 1748s |      27 | 16688603 | 12616133 |     5316   5841 |        0 |        0
1749.59/1750.15	c 1750s |      27 | 16705520 | 12629933 |     5316   5846 |        0 |        0
1751.58/1752.16	c 1752s |      27 | 16725697 | 12644733 |     5316   5852 |        0 |        0
1753.58/1754.18	c 1754s |      27 | 16746809 | 12660533 |     5316   5857 |        0 |        0
1755.58/1756.18	c 1756s |      27 | 16763255 | 12673133 |     5316   5862 |        0 |        0
1757.58/1758.19	c 1758s |      27 | 16781895 | 12687133 |     5316   5867 |        0 |        0
1759.68/1760.21	c 1760s |      27 | 16797889 | 12699733 |     5316   5871 |        0 |        0
1761.69/1762.22	c 1762s |      27 | 16816308 | 12713933 |     5316   5876 |        0 |        0
1763.68/1764.23	c 1764s |      27 | 16835376 | 12728133 |     5316   5881 |        0 |        0
1765.68/1766.24	c 1766s |      27 | 16846913 | 12738033 |     5316   5885 |        0 |        0
1767.68/1768.25	c 1768s |      27 | 16860471 | 12749333 |     5316   5889 |        0 |        0
1769.68/1770.27	c 1770s |      27 | 16870642 | 12758433 |     5316   5892 |        0 |        0
1771.69/1772.27	c 1772s |      27 | 16882267 | 12768433 |     5316   5895 |        0 |        0
1773.68/1774.28	c 1774s |      27 | 16897596 | 12780533 |     5316   5900 |        0 |        0
1775.68/1776.29	c 1776s |      27 | 16909922 | 12790933 |     5316   5903 |        0 |        0
1777.78/1778.30	c 1778s |      27 | 16923369 | 12801933 |     5316   5907 |        0 |        0
1779.78/1780.33	c 1780s |      27 | 16939109 | 12813933 |     5316   5912 |        0 |        0
1781.78/1782.34	c 1782s |      27 | 16955665 | 12827233 |     5316   5916 |        0 |        0
1783.78/1784.35	c 1784s |      27 | 16970346 | 12838633 |     5316   5920 |        0 |        0
1785.78/1786.36	c 1786s |      27 | 16987679 | 12851633 |     5316   5925 |        0 |        0
1787.78/1788.37	c 1788s |      27 | 17003752 | 12864033 |     5316   5929 |        0 |        0
1789.78/1790.37	c 1790s |      27 | 17020137 | 12876533 |     5316   5934 |        0 |        0
1791.77/1792.39	c 1792s |      27 | 17040599 | 12891933 |     5316   5939 |        0 |        0
1793.77/1794.39	c 1794s |      27 | 17058156 | 12905033 |     5316   5944 |        0 |        0
1795.78/1796.40	c 1796s |      27 | 17076336 | 12918833 |     5316   5949 |        0 |        0
1797.88/1798.40	c 1798s |      27 | 17093442 | 12932333 |     5316   5954 |        0 |        0
1799.88/1800.41	c 1800s |      27 | 17112845 | 12947133 |     5316   5959 |        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-4088595-1466008015/watcher-4088595-1466008015 -o /tmp/evaluation-result-4088595-1466008015/solver-4088595-1466008015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088595-1466008015.opb 

pid=5994
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: 1.83 2.87 3.10 3/175 6000
/proc/meminfo: memFree=31565620/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=598460 CPUtime=0 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 2212 0 0 0 0 0 0 0 20 0 4 0 2847031 612823040 2572 33554432000 4194304 16246674 140733652163600 140733652163024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 150383 2581 441 2943 0 147277 0
[pid=6000/tid=6004] ppid=5994 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 631697408 2640 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 635891712 2659 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=625084 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 640086016 2676 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.83 2.87 3.10 3/175 6000
/proc/meminfo: memFree=31565620/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 23654 0 0 0 6 3 0 0 20 0 4 0 2847031 1247350784 24003 33554432000 4194304 16246674 140733652163600 140733652163024 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 304529 24011 716 2943 0 301423 0
[pid=6000/tid=6004] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24016 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24023 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24028 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200476 s]
/proc/loadavg: 1.83 2.87 3.10 3/175 6000
/proc/meminfo: memFree=31565620/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 44977 0 0 0 13 6 0 0 20 0 4 0 2847031 1247350784 45326 33554432000 4194304 16246674 140733652163600 140733652163024 12476925 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 304529 45334 716 2943 0 301423 0
[pid=6000/tid=6004] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45339 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45344 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45349 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300405 s]
/proc/loadavg: 1.83 2.87 3.10 3/175 6000
/proc/meminfo: memFree=31565620/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 65847 0 0 0 20 9 0 0 20 0 4 0 2847031 1247350784 66197 33554432000 4194304 16246674 140733652163600 140733652163024 5589389 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 304529 66206 716 2943 0 301423 0
[pid=6000/tid=6004] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 66213 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 66220 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 66228 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700379 s]
/proc/loadavg: 1.83 2.87 3.10 3/175 6000
/proc/meminfo: memFree=31565620/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 148971 0 0 0 49 20 0 0 20 0 4 0 2847031 1247350784 149320 33554432000 4194304 16246674 140733652163600 140733652145472 5708022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 304529 149329 719 2943 0 301423 0
[pid=6000/tid=6004] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 149332 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 149337 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 149345 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 1.85 2.86 3.09 4/183 6008
/proc/meminfo: memFree=29739264/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 218840 0 0 0 120 29 0 0 20 0 4 0 2847031 1250496512 219169 33554432000 4194304 16246674 140733652163600 140733652145472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 305297 219169 793 2943 0 302191 0
[pid=6000/tid=6004] ppid=5994 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1250496512 219169 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1250496512 219169 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1250496512 219169 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 1.85 2.86 3.09 4/183 6008
/proc/meminfo: memFree=29428776/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 267578 0 0 0 272 36 0 0 20 0 4 0 2847031 1338576896 267907 33554432000 4194304 16246674 140733652163600 140733652146600 6018770 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 326801 267907 794 2943 0 323695 0
[pid=6000/tid=6004] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267907 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267907 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267907 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30034 s]
/proc/loadavg: 1.86 2.84 3.08 4/183 6008
/proc/meminfo: memFree=29423336/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 267646 0 0 0 592 36 0 0 20 0 4 0 2847031 1338576896 267975 33554432000 4194304 16246674 140733652163600 140733652145472 6021055 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 326801 267975 794 2943 0 323695 0
[pid=6000/tid=6004] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267975 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267975 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267975 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.87 2.83 3.08 4/183 6008
/proc/meminfo: memFree=29418660/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 268599 0 0 0 1232 37 0 0 20 0 4 0 2847031 1341722624 268928 33554432000 4194304 16246674 140733652163600 140733652145472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 327569 268928 794 2943 0 324463 0
[pid=6000/tid=6004] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5004 s]
/proc/loadavg: 1.97 2.82 3.07 4/183 6008
/proc/meminfo: memFree=29420080/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 268599 0 0 0 2512 37 0 0 20 0 4 0 2847031 1341722624 268928 33554432000 4194304 16246674 140733652163600 140733652145472 13923665 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 327569 268928 794 2943 0 324463 0
[pid=6000/tid=6004] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1341722624 268928 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.06 2.75 3.04 4/183 6008
/proc/meminfo: memFree=29419220/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 268855 0 0 0 5071 37 0 0 20 0 4 0 2847031 1342771200 269184 33554432000 4194304 16246674 140733652163600 140733652145472 5523208 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 327825 269184 794 2943 0 324719 0
[pid=6000/tid=6004] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.06 2.65 2.99 4/183 6009
/proc/meminfo: memFree=29417608/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 268855 0 0 0 10190 38 0 0 20 0 4 0 2847031 1342771200 269184 33554432000 4194304 16246674 140733652163600 140733652145472 5675881 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 327825 269184 794 2943 0 324719 0
[pid=6000/tid=6004] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1342771200 269184 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1356402688 272770 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.30 4/183 6040
/proc/meminfo: memFree=29393288/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1324612 CPUtime=1302 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 272382 0 0 0 130144 56 0 0 20 0 4 0 2847031 1356402688 272770 33554432000 4194304 16246674 140733652163600 140733652145472 5672205 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331153 272770 796 2943 0 328047 0
[pid=6000/tid=6004] ppid=5994 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1356402688 272770 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1356402688 272770 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1356402688 272770 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.27 4/183 6042
/proc/meminfo: memFree=29390716/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1361.97 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 272937 0 0 0 136140 57 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5822744 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.14 2.08 2.27 4/184 6046
/proc/meminfo: memFree=29390576/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1421.93 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 272984 0 0 0 142135 58 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5997393 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.16 2.09 2.26 4/183 6047
/proc/meminfo: memFree=29390744/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1481.9 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273025 0 0 0 148131 59 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.23 2.12 2.26 4/182 6048
/proc/meminfo: memFree=29389768/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1541.87 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273071 0 0 0 154127 60 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5523785 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.24 4/183 6050
/proc/meminfo: memFree=29387340/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1601.83 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273117 0 0 0 160122 61 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.22 4/183 6052
/proc/meminfo: memFree=29387632/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1661.8 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273162 0 0 0 166118 62 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 5673980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.20 4/183 6053
/proc/meminfo: memFree=29387856/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1721.79 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273162 0 0 0 172116 63 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.19 4/183 6054
/proc/meminfo: memFree=29387492/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1326660 CPUtime=1781.78 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273162 0 0 0 178115 63 0 0 20 0 4 0 2847031 1358499840 273282 33554432000 4194304 16246674 140733652163600 140733652145472 6011884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331665 273282 796 2943 0 328559 0
[pid=6000/tid=6004] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1358499840 273282 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.06 2.19 4/183 6054
/proc/meminfo: memFree=29386628/32872528 swapFree=496356/529060
[pid=6000] ppid=5994 vsize=1327684 CPUtime=1800.08 cores=0,2,4,6
/proc/6000/stat : 6000 (toysat) R 5994 6000 5955 0 -1 4202496 273418 0 0 0 179944 64 0 0 20 0 4 0 2847031 1359548416 273538 33554432000 4194304 16246674 140733652163600 140733652145472 5823266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6000/statm: 331921 273538 796 2943 0 328815 0
[pid=6000/tid=6004] ppid=5994 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6004/stat : 6004 (toysat) S 5994 6000 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2847032 1359548416 273538 33554432000 4194304 16246674 140733652163600 140606088129776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6000/tid=6005] ppid=5994 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6005/stat : 6005 (toysat) S 5994 6000 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1359548416 273538 33554432000 4194304 16246674 140733652163600 140606077639920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6000/tid=6006] ppid=5994 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6006/stat : 6006 (toysat) S 5994 6000 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1359548416 273538 33554432000 4194304 16246674 140733652163600 140605954976944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.45
CPU system time (s): 0.639902
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.639902
maximum resident set size= 1094152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273418
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= 477
involuntary context switches= 1924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53016 second user time and 7.31189 second system time

The end

Begin job on node141 at 2016-06-15 18:26:55
IDJOB=4088595
IDBENCH=107286
IDSOLVER=2542
FILE ID=node141/4088595-1466008015
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088595-1466008015/watcher-4088595-1466008015 -o /tmp/evaluation-result-4088595-1466008015/solver-4088595-1466008015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088595-1466008015.opb

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

MD5SUM BENCH= 5a24b026980bba596e5d6414e45c7c7f
RANDOM SEED=1169410586

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
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:        31568280 kB
Buffers:            1224 kB
Cached:            62316 kB
SwapCached:        12340 kB
Active:            55976 kB
Inactive:          19632 kB
Active(anon):       3616 kB
Inactive(anon):    11064 kB
Active(file):      52360 kB
Inactive(file):     8568 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67087196 kB
Dirty:             33204 kB
Writeback:             0 kB
AnonPages:        530580 kB
Mapped:             6268 kB
Shmem:                 0 kB
Slab:             566488 kB
SReclaimable:       9960 kB
SUnreclaim:       556528 kB
KernelStack:        1392 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     626536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71716 MiB
End job on node141 at 2016-06-15 18:56:57