0.00/0.00	c 2016-06-30T19:56:41+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-4120074-1467309401.opb"]
0.00/0.01	c use --random-gen="2983102924 1732812302 4054962452 848137896 3744136547 4212105053 3257760981 1827652242 3649786201 2595017714 84731548 168180404 2374643843 1431369644 2884019579 1405265633 1158367773 1668607680 2173218375 1252884409 1500056161 3275315359 2234588507 3963341746 2278177394 3912821313 2830087580 1173474360 1110289740 2472615935 1634627771 2303513438 212230595 2448863880 3490798418 2626388098 2969663709 3925988358 1495148277 3988954338 916413088 627251052 1500905038 2219997271 1928865101 2722442259 2870738565 3805443718 890372732 722226789 4101095474 3018045889 1442072204 2555657291 1643142589 3760604069 2037081096 3183059225 3438227775 770851008 36563865 213590890 3742054995 2576788816 2268646162 3259469738 3898928194 4138109970 1735592418 2774862330 2803459038 694940250 1954069267 266537469 3484921669 165344344 3043214767 332064468 1458627931 2925936196 2342884183 710538071 2627188920 2638216695 4135353865 567891942 2905987175 2644300798 948875570 2140333432 933378847 1506649255 1873339451 207171978 60814479 526651068 2362344824 3308414921 841661123 776497163 1043453043 1639012229 2199834676 1867361288 462471788 3845707232 3922794673 4024345495 2037796798 2227490354 3222898240 3382728324 3415771425 1326372238 886150236 137355429 286880882 258569230 3327722628 4293280404 658335842 1634001178 1920867132 2603750291 4208153812 3608328236 2152038907 192481769 520525698 2995373086 4266253643 4177734898 3258482968 1879244891 249834860 3085954613 4144696889 1855323104 1948755134 162297394 402400706 2410486726 3180860174 1666799910 1080431431 2277764661 2847011409 3690767375 3443462762 853356386 17780616 2049672020 628211416 1135653030 3063180745 66960880 2040567932 2307886558 2227015232 3308909914 3917836730 2196710956 847579780 356076205 3754746078 3323337375 2516346837 1175468276 2317290845 3093142022 2454882247 2234192111 2044640381 1057618553 1099205126 1924694719 66227390 264312777 2931104595 650151487 3752921683 2524887973 1963325403 3435608791 2730818264 706406975 588557303 4208114508 621182845 1124718847 1774583622 1110651717 3001993689 528213345 2946803119 2437996782 2394568329 3723041615 1550165616 895570475 3442242146 3685888150 2440564393 3367548813 2489412623 4012379333 1645372134 3224943879 2431500150 200027384 1193842191 191519175 4284789695 2994017172 2565053773 3550898065 1342122225 1224409013 3522112037 1753059230 2825780214 2954959731 1326452793 2629684891 2040498519 248421487 3945049168 2846235744 2023621759 2886090358 3497740609 4168978617 3178328300 3581117901 2776726748 2596751396 3586836621 1231817133 3670302586 278245085 3297964489 648470056 4280895268 1036357948 3216623476 2347451527 2093858109 1485231916 3751778947 2106272589 3105397035 2482231590 918968570 3747481618 2970702303 1281032726 255 362436" option to reproduce the execution
0.00/0.01	c #vars 381
0.00/0.01	c #constraints 380
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 |      253      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      194 |      100 |      253      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      441 |      250 |      279      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      888 |      475 |      307      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1430 |      813 |      338      1 |        0 |        0
0.09/0.19	c  0.2s |       5 |     2558 |     1320 |      372      4 |        0 |        0
0.29/0.30	c  0.3s |       6 |     3814 |     2081 |      452      7 |        0 |        0
0.39/0.46	c  0.4s |       7 |     6155 |     3223 |      498     10 |        0 |        0
0.58/0.68	c  0.7s |       8 |     8795 |     4936 |      548     14 |        0 |        0
0.99/1.00	c  1.0s |       9 |    12689 |     7506 |      603     22 |        0 |        0
1.39/1.40	c  1.4s |      10 |    18119 |    11361 |      664     31 |        0 |        0
1.89/1.94	c  1.9s |      11 |    25901 |    17144 |      731     44 |        0 |        0
2.79/2.83	c  2.8s |      12 |    38539 |    25819 |      805     61 |        0 |        0
3.99/4.09	c  4.1s |      13 |    56845 |    38832 |      886     87 |        0 |        0
6.09/6.10	c  6.1s |      13 |    83338 |    56732 |      886    121 |        0 |        0
6.29/6.30	c  6.3s |      14 |    85944 |    58352 |      975    124 |        0 |        0
8.29/8.31	c  8.3s |      14 |   112614 |    76952 |      975    155 |        0 |        0
9.49/9.57	c  9.6s |      15 |   127673 |    87632 |     1073    173 |        0 |        0
11.49/11.57	c 11.6s |      15 |   153024 |   105632 |     1073    201 |        0 |        0
13.49/13.58	c 13.6s |      15 |   179085 |   123532 |     1073    230 |        0 |        0
14.39/14.49	c 14.5s |      16 |   191303 |   131552 |     1181    242 |        0 |        0
16.39/16.49	c 16.5s |      16 |   213510 |   148152 |     1181    265 |        0 |        0
18.39/18.49	c 18.5s |      16 |   235798 |   164952 |     1181    288 |        0 |        0
20.49/20.50	c 20.5s |      16 |   257355 |   181452 |     1181    311 |        0 |        0
22.49/22.51	c 22.5s |      16 |   277958 |   197052 |     1300    333 |        0 |        0
22.49/22.56	c 22.5s |      17 |   278450 |   197432 |     1300    334 |        0 |        0
24.49/24.57	c 24.5s |      17 |   298570 |   212332 |     1300    353 |        0 |        0
26.49/26.58	c 26.6s |      17 |   321238 |   228232 |     1300    375 |        0 |        0
28.48/28.58	c 28.6s |      17 |   345450 |   244632 |     1300    396 |        0 |        0
30.48/30.59	c 30.6s |      17 |   369530 |   261432 |     1300    419 |        0 |        0
32.48/32.60	c 32.6s |      17 |   391290 |   277332 |     1300    440 |        0 |        0
34.58/34.60	c 34.6s |      17 |   416683 |   295432 |     1431    464 |        0 |        0
34.68/34.70	c 34.7s |      18 |   417871 |   296252 |     1431    465 |        0 |        0
36.68/36.71	c 36.7s |      18 |   440119 |   311752 |     1431    484 |        0 |        0
38.68/38.71	c 38.7s |      18 |   460571 |   327052 |     1431    503 |        0 |        0
40.69/40.72	c 40.7s |      18 |   480933 |   341952 |     1431    521 |        0 |        0
42.69/42.73	c 42.7s |      18 |   502835 |   357752 |     1431    540 |        0 |        0
44.69/44.73	c 44.7s |      18 |   525678 |   374152 |     1431    561 |        0 |        0
46.69/46.75	c 46.7s |      18 |   547299 |   389752 |     1431    580 |        0 |        0
48.68/48.76	c 48.7s |      18 |   567810 |   404552 |     1431    598 |        0 |        0
50.69/50.76	c 50.7s |      18 |   592758 |   420652 |     1431    617 |        0 |        0
52.68/52.76	c 52.7s |      18 |   614933 |   436652 |     1431    637 |        0 |        0
53.68/53.79	c 53.8s |      19 |   626328 |   444482 |     1575    646 |        0 |        0
55.68/55.79	c 55.8s |      19 |   646463 |   459082 |     1575    663 |        0 |        0
57.78/57.80	c 57.8s |      19 |   668545 |   474582 |     1575    680 |        0 |        0
59.78/59.81	c 59.8s |      19 |   690794 |   490082 |     1575    697 |        0 |        0
61.78/61.83	c 61.8s |      19 |   711083 |   503482 |     1575    713 |        0 |        0
63.79/63.83	c 63.8s |      19 |   730358 |   517082 |     1575    728 |        0 |        0
65.78/65.85	c 65.8s |      19 |   750586 |   531282 |     1575    744 |        0 |        0
67.78/67.85	c 67.8s |      19 |   772875 |   546282 |     1575    761 |        0 |        0
69.78/69.86	c 69.8s |      19 |   794528 |   561382 |     1575    778 |        0 |        0
71.78/71.87	c 71.8s |      19 |   815424 |   576182 |     1575    794 |        0 |        0
73.78/73.88	c 73.9s |      19 |   837045 |   590882 |     1575    811 |        0 |        0
75.77/75.89	c 75.9s |      19 |   859432 |   606482 |     1575    829 |        0 |        0
77.87/77.90	c 77.9s |      19 |   881472 |   621982 |     1575    846 |        0 |        0
79.88/79.90	c 79.9s |      19 |   902057 |   636982 |     1575    863 |        0 |        0
81.88/81.91	c 81.9s |      19 |   923913 |   652182 |     1575    880 |        0 |        0
83.69/83.79	c 83.8s |      20 |   945301 |   666827 |     1733    897 |        0 |        0
85.68/85.80	c 85.8s |      20 |   969896 |   684027 |     1733    914 |        0 |        0
87.78/87.81	c 87.8s |      20 |   993113 |   699927 |     1733    931 |        0 |        0
89.78/89.81	c 89.8s |      20 |  1013404 |   715127 |     1733    946 |        0 |        0
91.78/91.82	c 91.8s |      20 |  1033124 |   729627 |     1733    961 |        0 |        0
93.78/93.83	c 93.8s |      20 |  1053077 |   744227 |     1733    976 |        0 |        0
95.78/95.84	c 95.8s |      20 |  1075365 |   759027 |     1733    991 |        0 |        0
97.78/97.85	c 97.8s |      20 |  1095387 |   773727 |     1733   1006 |        0 |        0
99.77/99.87	c 99.8s |      20 |  1115695 |   788627 |     1733   1022 |        0 |        0
101.77/101.87	c  101s |      20 |  1140181 |   804927 |     1733   1038 |        0 |        0
103.77/103.88	c  103s |      20 |  1162027 |   820827 |     1733   1055 |        0 |        0
105.77/105.88	c  105s |      20 |  1183009 |   836027 |     1733   1070 |        0 |        0
107.78/107.88	c  107s |      20 |  1203042 |   849627 |     1733   1085 |        0 |        0
109.77/109.89	c  109s |      20 |  1222999 |   864227 |     1733   1100 |        0 |        0
111.87/111.90	c  111s |      20 |  1245206 |   880027 |     1733   1116 |        0 |        0
113.87/113.90	c  113s |      20 |  1264986 |   895027 |     1733   1131 |        0 |        0
115.87/115.91	c  115s |      20 |  1285178 |   910427 |     1733   1147 |        0 |        0
117.87/117.91	c  117s |      20 |  1306656 |   925727 |     1733   1163 |        0 |        0
119.88/119.92	c  119s |      20 |  1327628 |   941427 |     1733   1179 |        0 |        0
121.87/121.92	c  121s |      20 |  1349780 |   957227 |     1733   1195 |        0 |        0
123.87/123.92	c  123s |      20 |  1371502 |   973227 |     1733   1212 |        0 |        0
125.87/125.93	c  125s |      20 |  1394002 |   989327 |     1733   1229 |        0 |        0
127.37/127.42	c  127s |      21 |  1408660 |  1000345 |     1907   1240 |        0 |        0
129.37/129.42	c  129s |      21 |  1427849 |  1014945 |     1907   1254 |        0 |        0
131.37/131.43	c  131s |      21 |  1445457 |  1028245 |     1907   1267 |        0 |        0
133.36/133.45	c  133s |      21 |  1464652 |  1042645 |     1907   1280 |        0 |        0
135.38/135.45	c  135s |      21 |  1485014 |  1057245 |     1907   1294 |        0 |        0
137.37/137.45	c  137s |      21 |  1504204 |  1071445 |     1907   1308 |        0 |        0
139.37/139.46	c  139s |      21 |  1523762 |  1086245 |     1907   1322 |        0 |        0
141.37/141.46	c  141s |      21 |  1543114 |  1100445 |     1907   1335 |        0 |        0
143.37/143.47	c  143s |      21 |  1563918 |  1115445 |     1907   1349 |        0 |        0
145.37/145.48	c  145s |      21 |  1583171 |  1129745 |     1907   1363 |        0 |        0
147.38/147.48	c  147s |      21 |  1601290 |  1143745 |     1907   1376 |        0 |        0
149.37/149.48	c  149s |      21 |  1620406 |  1158145 |     1907   1390 |        0 |        0
151.37/151.49	c  151s |      21 |  1639611 |  1172645 |     1907   1403 |        0 |        0
153.47/153.50	c  153s |      21 |  1657314 |  1186245 |     1907   1416 |        0 |        0
155.47/155.51	c  155s |      21 |  1677674 |  1201345 |     1907   1430 |        0 |        0
157.47/157.52	c  157s |      21 |  1696391 |  1215545 |     1907   1443 |        0 |        0
159.47/159.53	c  159s |      21 |  1716488 |  1230045 |     1907   1457 |        0 |        0
161.46/161.53	c  161s |      21 |  1736270 |  1244845 |     1907   1471 |        0 |        0
163.46/163.54	c  163s |      21 |  1755108 |  1258745 |     1907   1484 |        0 |        0
165.46/165.55	c  165s |      21 |  1775450 |  1273645 |     1907   1498 |        0 |        0
167.46/167.55	c  167s |      21 |  1795062 |  1288345 |     1907   1512 |        0 |        0
169.47/169.56	c  169s |      21 |  1814888 |  1303245 |     1907   1526 |        0 |        0
171.46/171.56	c  171s |      21 |  1834659 |  1317645 |     1907   1539 |        0 |        0
173.46/173.57	c  173s |      21 |  1852198 |  1331445 |     1907   1552 |        0 |        0
175.46/175.57	c  175s |      21 |  1869698 |  1344845 |     1907   1565 |        0 |        0
177.46/177.57	c  177s |      21 |  1888522 |  1359045 |     1907   1578 |        0 |        0
179.46/179.57	c  179s |      21 |  1905140 |  1371845 |     1907   1591 |        0 |        0
181.47/181.58	c  181s |      21 |  1924871 |  1386145 |     1907   1604 |        0 |        0
183.47/183.58	c  183s |      21 |  1943488 |  1400445 |     1907   1618 |        0 |        0
185.47/185.59	c  185s |      21 |  1960936 |  1413745 |     1907   1630 |        0 |        0
187.56/187.60	c  187s |      21 |  1978914 |  1427245 |     1907   1643 |        0 |        0
189.56/189.61	c  189s |      21 |  1997446 |  1441345 |     1907   1657 |        0 |        0
191.56/191.62	c  191s |      21 |  2017920 |  1456545 |     1907   1671 |        0 |        0
193.57/193.63	c  193s |      21 |  2036554 |  1470045 |     1907   1684 |        0 |        0
195.56/195.63	c  195s |      21 |  2055960 |  1484345 |     1907   1698 |        0 |        0
197.56/197.63	c  197s |      21 |  2074207 |  1498345 |     2098   1710 |        0 |        0
197.86/197.94	c  197s |      22 |  2077329 |  1500622 |     2098   1712 |        0 |        0
199.86/199.95	c  199s |      22 |  2092701 |  1513022 |     2098   1723 |        0 |        0
201.86/201.96	c  201s |      22 |  2109970 |  1525922 |     2098   1735 |        0 |        0
203.86/203.96	c  203s |      22 |  2128686 |  1539822 |     2098   1747 |        0 |        0
205.86/205.96	c  205s |      22 |  2144845 |  1552522 |     2098   1758 |        0 |        0
207.87/207.97	c  207s |      22 |  2163150 |  1565922 |     2098   1770 |        0 |        0
209.86/209.97	c  209s |      22 |  2180730 |  1578822 |     2098   1782 |        0 |        0
211.86/211.98	c  211s |      22 |  2199365 |  1592622 |     2098   1794 |        0 |        0
213.86/213.98	c  213s |      22 |  2218554 |  1605822 |     2098   1806 |        0 |        0
215.86/215.98	c  215s |      22 |  2239248 |  1620322 |     2098   1818 |        0 |        0
217.86/217.99	c  217s |      22 |  2258444 |  1633822 |     2098   1830 |        0 |        0
219.86/220.00	c  219s |      22 |  2276544 |  1646922 |     2098   1842 |        0 |        0
221.96/222.00	c  221s |      22 |  2295567 |  1659822 |     2098   1853 |        0 |        0
223.96/224.01	c  223s |      22 |  2314061 |  1673022 |     2098   1865 |        0 |        0
225.95/226.01	c  225s |      22 |  2331693 |  1685722 |     2098   1876 |        0 |        0
227.95/228.03	c  228s |      22 |  2350101 |  1699122 |     2098   1888 |        0 |        0
229.96/230.03	c  230s |      22 |  2367086 |  1711522 |     2098   1899 |        0 |        0
231.95/232.04	c  232s |      22 |  2386399 |  1725022 |     2098   1911 |        0 |        0
233.95/234.04	c  234s |      22 |  2403761 |  1737322 |     2098   1922 |        0 |        0
235.95/236.05	c  236s |      22 |  2422751 |  1751022 |     2098   1934 |        0 |        0
237.95/238.06	c  238s |      22 |  2443036 |  1765022 |     2098   1946 |        0 |        0
239.95/240.07	c  240s |      22 |  2461840 |  1778122 |     2098   1958 |        0 |        0
241.96/242.07	c  242s |      22 |  2480440 |  1792122 |     2098   1971 |        0 |        0
243.95/244.07	c  244s |      22 |  2500417 |  1806922 |     2098   1984 |        0 |        0
245.95/246.08	c  246s |      22 |  2521032 |  1821522 |     2098   1997 |        0 |        0
247.95/248.08	c  248s |      22 |  2540568 |  1835422 |     2098   2009 |        0 |        0
249.95/250.09	c  250s |      22 |  2560713 |  1849922 |     2098   2022 |        0 |        0
252.05/252.10	c  252s |      22 |  2580202 |  1863222 |     2098   2033 |        0 |        0
254.06/254.10	c  254s |      22 |  2599552 |  1876922 |     2098   2045 |        0 |        0
256.05/256.10	c  256s |      22 |  2616726 |  1889522 |     2098   2057 |        0 |        0
258.05/258.12	c  258s |      22 |  2635944 |  1902922 |     2098   2069 |        0 |        0
260.04/260.13	c  260s |      22 |  2656139 |  1917522 |     2098   2081 |        0 |        0
262.04/262.15	c  262s |      22 |  2676000 |  1931122 |     2098   2094 |        0 |        0
264.05/264.17	c  264s |      22 |  2696555 |  1945822 |     2098   2107 |        0 |        0
266.04/266.17	c  266s |      22 |  2714092 |  1959322 |     2098   2118 |        0 |        0
268.04/268.18	c  268s |      22 |  2733525 |  1972922 |     2098   2131 |        0 |        0
270.04/270.19	c  270s |      22 |  2753448 |  1987122 |     2098   2143 |        0 |        0
272.14/272.20	c  272s |      22 |  2771997 |  2000222 |     2098   2155 |        0 |        0
274.14/274.21	c  274s |      22 |  2791345 |  2014122 |     2098   2167 |        0 |        0
276.15/276.21	c  276s |      22 |  2810573 |  2027622 |     2098   2179 |        0 |        0
278.14/278.22	c  278s |      22 |  2829032 |  2040922 |     2098   2191 |        0 |        0
280.15/280.23	c  280s |      22 |  2848907 |  2055022 |     2098   2203 |        0 |        0
282.15/282.24	c  282s |      22 |  2871265 |  2069822 |     2098   2217 |        0 |        0
284.15/284.25	c  284s |      22 |  2890516 |  2083622 |     2098   2229 |        0 |        0
286.15/286.26	c  286s |      22 |  2909496 |  2096922 |     2098   2240 |        0 |        0
288.15/288.26	c  288s |      22 |  2928048 |  2110322 |     2098   2252 |        0 |        0
290.15/290.27	c  290s |      22 |  2946123 |  2123422 |     2098   2264 |        0 |        0
292.15/292.29	c  292s |      22 |  2963003 |  2136322 |     2098   2275 |        0 |        0
294.15/294.29	c  294s |      22 |  2986085 |  2151422 |     2098   2289 |        0 |        0
296.25/296.30	c  296s |      22 |  3004954 |  2164922 |     2098   2301 |        0 |        0
298.24/298.31	c  298s |      22 |  3022649 |  2177922 |     2098   2312 |        0 |        0
300.25/300.32	c  300s |      22 |  3041678 |  2191722 |     2098   2325 |        0 |        0
302.24/302.33	c  302s |      22 |  3059414 |  2204922 |     2098   2336 |        0 |        0
304.24/304.34	c  304s |      22 |  3079407 |  2219422 |     2098   2349 |        0 |        0
306.24/306.35	c  306s |      22 |  3097973 |  2232722 |     2098   2361 |        0 |        0
308.25/308.36	c  308s |      22 |  3120425 |  2247622 |     2308   2373 |        0 |        0
308.65/308.79	c  308s |      23 |  3125626 |  2251038 |     2308   2376 |        0 |        0
310.74/310.80	c  310s |      23 |  3141989 |  2263138 |     2308   2386 |        0 |        0
312.74/312.81	c  312s |      23 |  3157727 |  2275438 |     2308   2395 |        0 |        0
314.74/314.82	c  314s |      23 |  3174307 |  2287938 |     2308   2405 |        0 |        0
316.75/316.84	c  316s |      23 |  3191660 |  2300838 |     2308   2416 |        0 |        0
318.74/318.85	c  318s |      23 |  3210436 |  2314838 |     2308   2427 |        0 |        0
320.74/320.86	c  320s |      23 |  3228346 |  2329338 |     2308   2438 |        0 |        0
322.74/322.86	c  322s |      23 |  3246881 |  2343238 |     2308   2449 |        0 |        0
324.74/324.86	c  324s |      23 |  3264441 |  2356438 |     2308   2460 |        0 |        0
326.74/326.88	c  326s |      23 |  3283067 |  2370138 |     2308   2471 |        0 |        0
328.74/328.89	c  328s |      23 |  3303194 |  2384438 |     2308   2482 |        0 |        0
330.84/330.90	c  330s |      23 |  3322223 |  2398238 |     2308   2493 |        0 |        0
332.84/332.91	c  332s |      23 |  3339279 |  2411338 |     2308   2504 |        0 |        0
334.84/334.91	c  334s |      23 |  3354802 |  2423738 |     2308   2514 |        0 |        0
336.83/336.91	c  336s |      23 |  3371510 |  2436438 |     2308   2524 |        0 |        0
338.84/338.91	c  338s |      23 |  3389663 |  2450238 |     2308   2535 |        0 |        0
340.83/340.93	c  340s |      23 |  3407161 |  2463438 |     2308   2546 |        0 |        0
342.83/342.93	c  342s |      23 |  3424013 |  2476038 |     2308   2556 |        0 |        0
344.83/344.94	c  344s |      23 |  3442496 |  2489638 |     2308   2567 |        0 |        0
346.83/346.94	c  346s |      23 |  3461387 |  2503438 |     2308   2578 |        0 |        0
348.83/348.94	c  348s |      23 |  3479809 |  2516738 |     2308   2588 |        0 |        0
350.84/350.95	c  350s |      23 |  3497166 |  2529438 |     2308   2598 |        0 |        0
352.83/352.95	c  352s |      23 |  3514521 |  2542538 |     2308   2609 |        0 |        0
354.83/354.95	c  354s |      23 |  3531303 |  2555138 |     2308   2619 |        0 |        0
356.83/356.96	c  356s |      23 |  3549842 |  2568738 |     2308   2630 |        0 |        0
358.83/358.96	c  358s |      23 |  3567182 |  2581538 |     2308   2640 |        0 |        0
360.84/360.97	c  360s |      23 |  3584532 |  2594238 |     2308   2650 |        0 |        0
362.83/362.97	c  362s |      23 |  3602017 |  2606838 |     2308   2660 |        0 |        0
364.83/364.97	c  364s |      23 |  3618042 |  2618938 |     2308   2670 |        0 |        0
366.84/366.97	c  366s |      23 |  3635602 |  2631638 |     2308   2680 |        0 |        0
368.84/368.98	c  368s |      23 |  3654745 |  2645438 |     2308   2691 |        0 |        0
370.84/370.99	c  370s |      23 |  3670717 |  2657938 |     2308   2701 |        0 |        0
372.84/373.00	c  372s |      23 |  3687376 |  2670938 |     2308   2712 |        0 |        0
374.94/375.01	c  374s |      23 |  3703238 |  2683438 |     2308   2722 |        0 |        0
376.93/377.01	c  376s |      23 |  3723472 |  2697538 |     2308   2733 |        0 |        0
378.93/379.02	c  378s |      23 |  3742835 |  2711238 |     2308   2744 |        0 |        0
380.93/381.02	c  381s |      23 |  3759996 |  2724538 |     2308   2755 |        0 |        0
382.93/383.03	c  383s |      23 |  3779499 |  2738838 |     2308   2766 |        0 |        0
384.94/385.04	c  385s |      23 |  3796401 |  2751538 |     2308   2776 |        0 |        0
386.93/387.05	c  387s |      23 |  3814403 |  2764738 |     2308   2787 |        0 |        0
388.93/389.05	c  389s |      23 |  3832148 |  2778038 |     2308   2797 |        0 |        0
390.93/391.06	c  391s |      23 |  3849069 |  2790638 |     2308   2807 |        0 |        0
392.93/393.06	c  393s |      23 |  3866181 |  2803938 |     2308   2818 |        0 |        0
394.94/395.08	c  395s |      23 |  3884564 |  2817138 |     2308   2829 |        0 |        0
396.93/397.08	c  397s |      23 |  3903458 |  2830538 |     2308   2839 |        0 |        0
398.93/399.09	c  399s |      23 |  3921264 |  2844038 |     2308   2850 |        0 |        0
401.03/401.10	c  401s |      23 |  3938629 |  2857238 |     2308   2861 |        0 |        0
403.03/403.11	c  403s |      23 |  3956225 |  2871038 |     2308   2872 |        0 |        0
405.03/405.11	c  405s |      23 |  3972378 |  2883638 |     2308   2882 |        0 |        0
407.03/407.12	c  407s |      23 |  3989136 |  2896538 |     2308   2892 |        0 |        0
409.02/409.13	c  409s |      23 |  4008841 |  2910638 |     2308   2903 |        0 |        0
411.02/411.13	c  411s |      23 |  4027629 |  2924338 |     2308   2914 |        0 |        0
413.02/413.14	c  413s |      23 |  4044056 |  2936838 |     2308   2924 |        0 |        0
415.02/415.15	c  415s |      23 |  4061427 |  2949338 |     2308   2934 |        0 |        0
417.02/417.16	c  417s |      23 |  4078551 |  2962038 |     2308   2944 |        0 |        0
419.03/419.17	c  419s |      23 |  4094957 |  2974338 |     2308   2954 |        0 |        0
421.02/421.17	c  421s |      23 |  4110546 |  2986638 |     2308   2964 |        0 |        0
423.02/423.18	c  423s |      23 |  4127873 |  2999538 |     2308   2974 |        0 |        0
425.12/425.20	c  425s |      23 |  4144059 |  3011738 |     2308   2984 |        0 |        0
427.12/427.22	c  427s |      23 |  4158353 |  3022738 |     2308   2992 |        0 |        0
429.12/429.23	c  429s |      23 |  4173509 |  3034638 |     2308   3002 |        0 |        0
431.12/431.23	c  431s |      23 |  4188603 |  3046138 |     2308   3011 |        0 |        0
433.13/433.23	c  433s |      23 |  4204619 |  3058138 |     2308   3020 |        0 |        0
435.13/435.23	c  435s |      23 |  4221960 |  3071038 |     2308   3031 |        0 |        0
437.13/437.24	c  437s |      23 |  4237982 |  3083238 |     2308   3041 |        0 |        0
439.12/439.25	c  439s |      23 |  4254847 |  3095738 |     2308   3051 |        0 |        0
441.13/441.25	c  441s |      23 |  4271868 |  3108338 |     2308   3061 |        0 |        0
443.12/443.25	c  443s |      23 |  4287640 |  3120538 |     2308   3071 |        0 |        0
445.12/445.27	c  445s |      23 |  4304760 |  3132938 |     2308   3080 |        0 |        0
447.12/447.27	c  447s |      23 |  4321299 |  3145038 |     2308   3090 |        0 |        0
449.12/449.28	c  449s |      23 |  4339345 |  3157738 |     2308   3100 |        0 |        0
451.12/451.29	c  451s |      23 |  4356639 |  3170638 |     2308   3110 |        0 |        0
453.23/453.31	c  453s |      23 |  4373475 |  3183138 |     2308   3120 |        0 |        0
455.22/455.32	c  455s |      23 |  4389140 |  3195038 |     2308   3130 |        0 |        0
457.22/457.32	c  457s |      23 |  4404566 |  3206738 |     2308   3139 |        0 |        0
459.22/459.34	c  459s |      23 |  4420023 |  3218338 |     2308   3149 |        0 |        0
461.22/461.34	c  461s |      23 |  4435884 |  3230438 |     2308   3158 |        0 |        0
463.22/463.35	c  463s |      23 |  4450889 |  3242138 |     2308   3167 |        0 |        0
465.22/465.37	c  465s |      23 |  4468161 |  3254738 |     2308   3177 |        0 |        0
467.22/467.38	c  467s |      23 |  4483623 |  3266738 |     2308   3187 |        0 |        0
469.22/469.39	c  469s |      23 |  4499771 |  3278638 |     2308   3197 |        0 |        0
471.32/471.40	c  471s |      23 |  4516187 |  3291138 |     2308   3206 |        0 |        0
473.31/473.42	c  473s |      23 |  4534089 |  3303738 |     2308   3217 |        0 |        0
475.31/475.42	c  475s |      23 |  4551920 |  3316838 |     2308   3227 |        0 |        0
477.32/477.43	c  477s |      23 |  4568842 |  3329838 |     2308   3237 |        0 |        0
479.31/479.45	c  479s |      23 |  4585485 |  3342238 |     2308   3247 |        0 |        0
481.31/481.45	c  481s |      23 |  4599582 |  3353638 |     2539   3256 |        0 |        0
483.31/483.46	c  483s |      23 |  4613342 |  3364738 |     2539   3264 |        0 |        0
485.31/485.48	c  485s |      23 |  4628324 |  3376238 |     2539   3273 |        0 |        0
485.41/485.54	c  485s |      24 |  4628894 |  3376662 |     2539   3273 |        0 |        0
487.41/487.56	c  487s |      24 |  4644204 |  3388362 |     2539   3281 |        0 |        0
489.42/489.56	c  489s |      24 |  4660066 |  3400662 |     2539   3290 |        0 |        0
491.42/491.57	c  491s |      24 |  4677043 |  3413262 |     2539   3299 |        0 |        0
493.42/493.57	c  493s |      24 |  4693847 |  3425762 |     2539   3308 |        0 |        0
495.42/495.58	c  495s |      24 |  4710269 |  3438262 |     2539   3318 |        0 |        0
497.41/497.59	c  497s |      24 |  4727782 |  3450962 |     2539   3327 |        0 |        0
499.42/499.59	c  499s |      24 |  4744747 |  3463962 |     2539   3336 |        0 |        0
501.41/501.59	c  501s |      24 |  4761040 |  3476162 |     2539   3345 |        0 |        0
503.41/503.59	c  503s |      24 |  4778181 |  3488562 |     2539   3354 |        0 |        0
505.51/505.60	c  505s |      24 |  4794008 |  3501062 |     2539   3363 |        0 |        0
507.51/507.61	c  507s |      24 |  4810031 |  3513062 |     2539   3372 |        0 |        0
509.51/509.62	c  509s |      24 |  4825625 |  3524962 |     2539   3381 |        0 |        0
511.52/511.63	c  511s |      24 |  4841777 |  3537062 |     2539   3390 |        0 |        0
513.51/513.63	c  513s |      24 |  4858129 |  3549362 |     2539   3399 |        0 |        0
515.51/515.64	c  515s |      24 |  4875906 |  3562062 |     2539   3408 |        0 |        0
517.51/517.64	c  517s |      24 |  4892247 |  3574362 |     2539   3417 |        0 |        0
519.51/519.65	c  519s |      24 |  4908988 |  3587262 |     2539   3426 |        0 |        0
521.51/521.65	c  521s |      24 |  4926951 |  3599662 |     2539   3435 |        0 |        0
523.51/523.66	c  523s |      24 |  4943838 |  3612462 |     2539   3445 |        0 |        0
525.51/525.68	c  525s |      24 |  4958936 |  3624662 |     2539   3454 |        0 |        0
527.50/527.69	c  527s |      24 |  4975597 |  3637262 |     2539   3463 |        0 |        0
529.60/529.70	c  529s |      24 |  4992731 |  3650062 |     2539   3472 |        0 |        0
531.60/531.71	c  531s |      24 |  5009857 |  3662662 |     2539   3481 |        0 |        0
533.60/533.72	c  533s |      24 |  5026777 |  3675462 |     2539   3491 |        0 |        0
535.61/535.73	c  535s |      24 |  5042415 |  3687462 |     2539   3499 |        0 |        0
537.60/537.74	c  537s |      24 |  5057230 |  3698962 |     2539   3508 |        0 |        0
539.60/539.75	c  539s |      24 |  5072244 |  3710462 |     2539   3516 |        0 |        0
541.61/541.77	c  541s |      24 |  5089825 |  3722962 |     2539   3525 |        0 |        0
543.61/543.77	c  543s |      24 |  5107321 |  3736162 |     2539   3535 |        0 |        0
545.61/545.78	c  545s |      24 |  5123321 |  3748262 |     2539   3544 |        0 |        0
547.61/547.79	c  547s |      24 |  5140814 |  3761462 |     2539   3553 |        0 |        0
549.71/549.80	c  549s |      24 |  5157516 |  3774062 |     2539   3562 |        0 |        0
551.71/551.80	c  551s |      24 |  5173445 |  3786262 |     2539   3571 |        0 |        0
553.70/553.81	c  553s |      24 |  5190877 |  3799162 |     2539   3581 |        0 |        0
555.70/555.82	c  555s |      24 |  5208525 |  3811862 |     2539   3590 |        0 |        0
557.71/557.82	c  557s |      24 |  5224684 |  3823662 |     2539   3599 |        0 |        0
559.70/559.82	c  559s |      24 |  5241201 |  3835762 |     2539   3607 |        0 |        0
561.70/561.83	c  561s |      24 |  5258663 |  3848362 |     2539   3616 |        0 |        0
563.70/563.85	c  563s |      24 |  5275661 |  3860762 |     2539   3625 |        0 |        0
565.70/565.85	c  565s |      24 |  5291675 |  3873162 |     2539   3634 |        0 |        0
567.70/567.86	c  567s |      24 |  5308999 |  3886362 |     2539   3644 |        0 |        0
569.71/569.87	c  569s |      24 |  5326325 |  3898662 |     2539   3653 |        0 |        0
571.70/571.88	c  571s |      24 |  5344943 |  3911862 |     2539   3663 |        0 |        0
573.70/573.89	c  573s |      24 |  5362967 |  3925062 |     2539   3673 |        0 |        0
575.80/575.90	c  575s |      24 |  5381959 |  3938762 |     2539   3683 |        0 |        0
577.80/577.91	c  577s |      24 |  5398967 |  3951462 |     2539   3692 |        0 |        0
579.80/579.92	c  579s |      24 |  5417381 |  3964762 |     2539   3701 |        0 |        0
581.80/581.93	c  581s |      24 |  5435673 |  3978162 |     2539   3711 |        0 |        0
583.80/583.95	c  583s |      24 |  5452196 |  3990762 |     2539   3720 |        0 |        0
585.79/585.96	c  585s |      24 |  5469012 |  4003562 |     2539   3730 |        0 |        0
587.79/587.97	c  587s |      24 |  5484619 |  4016062 |     2539   3739 |        0 |        0
589.79/589.98	c  589s |      24 |  5502285 |  4029362 |     2539   3748 |        0 |        0
591.81/591.99	c  591s |      24 |  5521486 |  4043462 |     2539   3759 |        0 |        0
593.91/594.01	c  593s |      24 |  5536088 |  4054762 |     2539   3767 |        0 |        0
595.90/596.02	c  595s |      24 |  5552461 |  4066562 |     2539   3776 |        0 |        0
597.90/598.02	c  598s |      24 |  5569911 |  4079262 |     2539   3785 |        0 |        0
599.90/600.02	c  600s |      24 |  5589387 |  4093162 |     2539   3795 |        0 |        0
601.89/602.04	c  602s |      24 |  5607040 |  4106062 |     2539   3804 |        0 |        0
603.90/604.04	c  604s |      24 |  5625008 |  4119162 |     2539   3814 |        0 |        0
605.89/606.05	c  606s |      24 |  5641216 |  4131462 |     2539   3823 |        0 |        0
607.89/608.07	c  608s |      24 |  5659063 |  4144262 |     2539   3832 |        0 |        0
609.89/610.08	c  610s |      24 |  5676156 |  4157162 |     2539   3842 |        0 |        0
611.89/612.09	c  612s |      24 |  5692767 |  4169162 |     2539   3851 |        0 |        0
613.89/614.10	c  614s |      24 |  5710398 |  4182062 |     2539   3860 |        0 |        0
615.90/616.10	c  616s |      24 |  5725865 |  4194262 |     2539   3869 |        0 |        0
617.99/618.10	c  618s |      24 |  5740499 |  4205962 |     2539   3877 |        0 |        0
619.99/620.10	c  620s |      24 |  5756891 |  4218562 |     2539   3887 |        0 |        0
621.99/622.12	c  622s |      24 |  5774030 |  4231462 |     2539   3896 |        0 |        0
623.99/624.12	c  624s |      24 |  5790061 |  4244062 |     2539   3905 |        0 |        0
625.99/626.12	c  626s |      24 |  5807462 |  4257062 |     2539   3915 |        0 |        0
627.99/628.13	c  628s |      24 |  5825080 |  4269862 |     2539   3924 |        0 |        0
629.99/630.13	c  630s |      24 |  5841280 |  4282562 |     2539   3933 |        0 |        0
631.99/632.15	c  632s |      24 |  5856809 |  4294562 |     2539   3942 |        0 |        0
633.99/634.15	c  634s |      24 |  5874067 |  4307262 |     2539   3952 |        0 |        0
635.99/636.16	c  636s |      24 |  5891853 |  4320462 |     2539   3961 |        0 |        0
637.99/638.16	c  638s |      24 |  5909631 |  4333262 |     2539   3970 |        0 |        0
639.98/640.17	c  640s |      24 |  5927938 |  4346862 |     2539   3980 |        0 |        0
641.98/642.18	c  642s |      24 |  5944517 |  4359662 |     2539   3990 |        0 |        0
643.98/644.20	c  644s |      24 |  5961355 |  4371762 |     2539   3999 |        0 |        0
646.08/646.21	c  646s |      24 |  5979488 |  4385162 |     2539   4008 |        0 |        0
648.09/648.21	c  648s |      24 |  5996072 |  4397462 |     2539   4017 |        0 |        0
650.10/650.22	c  650s |      24 |  6013349 |  4410662 |     2539   4027 |        0 |        0
652.09/652.22	c  652s |      24 |  6032218 |  4424462 |     2539   4037 |        0 |        0
654.09/654.22	c  654s |      24 |  6047978 |  4436862 |     2539   4046 |        0 |        0
656.09/656.23	c  656s |      24 |  6066988 |  4450462 |     2539   4056 |        0 |        0
658.09/658.25	c  658s |      24 |  6085805 |  4464262 |     2539   4066 |        0 |        0
660.09/660.25	c  660s |      24 |  6104093 |  4477562 |     2539   4076 |        0 |        0
662.09/662.26	c  662s |      24 |  6120620 |  4489962 |     2539   4085 |        0 |        0
664.08/664.26	c  664s |      24 |  6138975 |  4503362 |     2539   4095 |        0 |        0
666.08/666.27	c  666s |      24 |  6156628 |  4516362 |     2539   4105 |        0 |        0
668.08/668.29	c  668s |      24 |  6171679 |  4528462 |     2539   4114 |        0 |        0
670.08/670.29	c  670s |      24 |  6188986 |  4541362 |     2539   4123 |        0 |        0
672.18/672.30	c  672s |      24 |  6204825 |  4553562 |     2539   4132 |        0 |        0
674.19/674.31	c  674s |      24 |  6220745 |  4566062 |     2539   4141 |        0 |        0
676.18/676.31	c  676s |      24 |  6237163 |  4578562 |     2539   4150 |        0 |        0
678.18/678.32	c  678s |      24 |  6253784 |  4591362 |     2539   4160 |        0 |        0
680.18/680.33	c  680s |      24 |  6272347 |  4605362 |     2539   4170 |        0 |        0
682.19/682.33	c  682s |      24 |  6288841 |  4617962 |     2539   4180 |        0 |        0
684.19/684.33	c  684s |      24 |  6305328 |  4630562 |     2539   4189 |        0 |        0
686.18/686.33	c  686s |      24 |  6321688 |  4642762 |     2539   4198 |        0 |        0
688.18/688.35	c  688s |      24 |  6339722 |  4655862 |     2539   4208 |        0 |        0
690.18/690.36	c  690s |      24 |  6357888 |  4669362 |     2539   4217 |        0 |        0
692.18/692.38	c  692s |      24 |  6374164 |  4681662 |     2539   4227 |        0 |        0
694.18/694.39	c  694s |      24 |  6389469 |  4693862 |     2539   4236 |        0 |        0
696.19/696.40	c  696s |      24 |  6406075 |  4706462 |     2539   4245 |        0 |        0
698.28/698.41	c  698s |      24 |  6420827 |  4717862 |     2539   4253 |        0 |        0
700.28/700.41	c  700s |      24 |  6436776 |  4729662 |     2539   4262 |        0 |        0
702.28/702.42	c  702s |      24 |  6453288 |  4741962 |     2539   4271 |        0 |        0
704.28/704.42	c  704s |      24 |  6469495 |  4754562 |     2539   4280 |        0 |        0
706.28/706.42	c  706s |      24 |  6486171 |  4767062 |     2539   4290 |        0 |        0
708.29/708.43	c  708s |      24 |  6502491 |  4779362 |     2539   4299 |        0 |        0
710.28/710.44	c  710s |      24 |  6520173 |  4792262 |     2539   4308 |        0 |        0
712.28/712.45	c  712s |      24 |  6538420 |  4805562 |     2539   4318 |        0 |        0
714.28/714.46	c  714s |      24 |  6554688 |  4818062 |     2539   4327 |        0 |        0
716.28/716.47	c  716s |      24 |  6571338 |  4830862 |     2539   4337 |        0 |        0
718.29/718.47	c  718s |      24 |  6589300 |  4844462 |     2539   4347 |        0 |        0
720.28/720.48	c  720s |      24 |  6605908 |  4857162 |     2539   4356 |        0 |        0
722.28/722.48	c  722s |      24 |  6624153 |  4870962 |     2539   4366 |        0 |        0
724.28/724.49	c  724s |      24 |  6641535 |  4884062 |     2539   4375 |        0 |        0
726.38/726.50	c  726s |      24 |  6659724 |  4897562 |     2539   4385 |        0 |        0
728.38/728.51	c  728s |      24 |  6677429 |  4911262 |     2539   4395 |        0 |        0
730.38/730.51	c  730s |      24 |  6695639 |  4924662 |     2539   4405 |        0 |        0
732.37/732.51	c  732s |      24 |  6712064 |  4937562 |     2539   4414 |        0 |        0
734.37/734.51	c  734s |      24 |  6727925 |  4950062 |     2539   4423 |        0 |        0
736.37/736.53	c  736s |      24 |  6744737 |  4962462 |     2539   4433 |        0 |        0
738.37/738.53	c  738s |      24 |  6760463 |  4974762 |     2539   4441 |        0 |        0
740.37/740.54	c  740s |      24 |  6775813 |  4986062 |     2539   4450 |        0 |        0
742.38/742.55	c  742s |      24 |  6792201 |  4998062 |     2539   4459 |        0 |        0
744.37/744.56	c  744s |      24 |  6807576 |  5009862 |     2539   4467 |        0 |        0
746.37/746.57	c  746s |      24 |  6823868 |  5021662 |     2539   4476 |        0 |        0
748.37/748.59	c  748s |      24 |  6838510 |  5033062 |     2793   4484 |        0 |        0
750.47/750.60	c  750s |      24 |  6855465 |  5045462 |     2793   4492 |        0 |        0
752.47/752.61	c  752s |      24 |  6870331 |  5056862 |     2793   4500 |        0 |        0
753.77/753.94	c  753s |      25 |  6881147 |  5065098 |     2793   4505 |        0 |        0
755.77/755.95	c  755s |      25 |  6898064 |  5077998 |     2793   4514 |        0 |        0
757.77/757.96	c  757s |      25 |  6913343 |  5090098 |     2793   4521 |        0 |        0
759.77/759.96	c  759s |      25 |  6928867 |  5102298 |     2793   4530 |        0 |        0
761.77/761.97	c  761s |      25 |  6944678 |  5114598 |     2793   4538 |        0 |        0
763.77/763.99	c  763s |      25 |  6959031 |  5126398 |     2793   4545 |        0 |        0
765.87/766.01	c  765s |      25 |  6973973 |  5137998 |     2793   4553 |        0 |        0
767.87/768.02	c  768s |      25 |  6987780 |  5149098 |     2793   4560 |        0 |        0
769.88/770.04	c  770s |      25 |  7003842 |  5161398 |     2793   4569 |        0 |        0
771.87/772.04	c  772s |      25 |  7019218 |  5173298 |     2793   4577 |        0 |        0
773.87/774.05	c  774s |      25 |  7034368 |  5184998 |     2793   4584 |        0 |        0
775.87/776.06	c  776s |      25 |  7052451 |  5198698 |     2793   4593 |        0 |        0
777.87/778.06	c  778s |      25 |  7069349 |  5211798 |     2793   4602 |        0 |        0
779.87/780.09	c  780s |      25 |  7085911 |  5224598 |     2793   4611 |        0 |        0
781.87/782.10	c  782s |      25 |  7102254 |  5237198 |     2793   4619 |        0 |        0
783.97/784.11	c  784s |      25 |  7118025 |  5249498 |     2793   4627 |        0 |        0
785.97/786.12	c  786s |      25 |  7134658 |  5262398 |     2793   4636 |        0 |        0
787.97/788.15	c  788s |      25 |  7151228 |  5275298 |     2793   4644 |        0 |        0
789.96/790.16	c  790s |      25 |  7166489 |  5286798 |     2793   4652 |        0 |        0
791.97/792.16	c  792s |      25 |  7181458 |  5298698 |     2793   4660 |        0 |        0
793.96/794.17	c  794s |      25 |  7196152 |  5309998 |     2793   4667 |        0 |        0
795.96/796.17	c  796s |      25 |  7210079 |  5320798 |     2793   4674 |        0 |        0
797.96/798.18	c  798s |      25 |  7226330 |  5332998 |     2793   4682 |        0 |        0
799.96/800.19	c  800s |      25 |  7239038 |  5343598 |     2793   4690 |        0 |        0
802.06/802.20	c  802s |      25 |  7253717 |  5355098 |     2793   4697 |        0 |        0
804.07/804.21	c  804s |      25 |  7269241 |  5366898 |     2793   4705 |        0 |        0
806.06/806.22	c  806s |      25 |  7283550 |  5378098 |     2793   4713 |        0 |        0
808.06/808.22	c  808s |      25 |  7298585 |  5389898 |     2793   4721 |        0 |        0
810.06/810.23	c  810s |      25 |  7311849 |  5400398 |     2793   4728 |        0 |        0
812.06/812.25	c  812s |      25 |  7326686 |  5411998 |     2793   4735 |        0 |        0
814.06/814.27	c  814s |      25 |  7342032 |  5423898 |     2793   4743 |        0 |        0
816.06/816.27	c  816s |      25 |  7357484 |  5435698 |     2793   4751 |        0 |        0
818.06/818.29	c  818s |      25 |  7373904 |  5448098 |     2793   4760 |        0 |        0
820.16/820.30	c  820s |      25 |  7390520 |  5460898 |     2793   4768 |        0 |        0
822.16/822.32	c  822s |      25 |  7405925 |  5473098 |     2793   4776 |        0 |        0
824.15/824.33	c  824s |      25 |  7420803 |  5484698 |     2793   4784 |        0 |        0
826.15/826.33	c  826s |      25 |  7436339 |  5496698 |     2793   4792 |        0 |        0
828.16/828.33	c  828s |      25 |  7452417 |  5508498 |     2793   4800 |        0 |        0
830.16/830.33	c  830s |      25 |  7467722 |  5520298 |     2793   4808 |        0 |        0
832.16/832.34	c  832s |      25 |  7481799 |  5531498 |     2793   4815 |        0 |        0
834.16/834.35	c  834s |      25 |  7495755 |  5542698 |     2793   4823 |        0 |        0
836.16/836.35	c  836s |      25 |  7509181 |  5553598 |     2793   4830 |        0 |        0
838.17/838.36	c  838s |      25 |  7525181 |  5565898 |     2793   4838 |        0 |        0
840.16/840.37	c  840s |      25 |  7540496 |  5577798 |     2793   4846 |        0 |        0
842.16/842.39	c  842s |      25 |  7555630 |  5589898 |     2793   4855 |        0 |        0
844.26/844.41	c  844s |      25 |  7571024 |  5601998 |     2793   4863 |        0 |        0
846.26/846.41	c  846s |      25 |  7588311 |  5615298 |     2793   4872 |        0 |        0
848.26/848.42	c  848s |      25 |  7604111 |  5627598 |     2793   4880 |        0 |        0
850.26/850.43	c  850s |      25 |  7620959 |  5640098 |     2793   4888 |        0 |        0
852.26/852.43	c  852s |      25 |  7637185 |  5652798 |     2793   4897 |        0 |        0
854.26/854.44	c  854s |      25 |  7654883 |  5666498 |     2793   4906 |        0 |        0
856.25/856.45	c  856s |      25 |  7670969 |  5678598 |     2793   4914 |        0 |        0
858.25/858.45	c  858s |      25 |  7684553 |  5689898 |     2793   4922 |        0 |        0
860.25/860.46	c  860s |      25 |  7700236 |  5702198 |     2793   4930 |        0 |        0
862.26/862.46	c  862s |      25 |  7716756 |  5714798 |     2793   4939 |        0 |        0
864.25/864.47	c  864s |      25 |  7732843 |  5727298 |     2793   4947 |        0 |        0
866.25/866.48	c  866s |      25 |  7748775 |  5739698 |     2793   4955 |        0 |        0
868.35/868.50	c  868s |      25 |  7764849 |  5751898 |     2793   4964 |        0 |        0
870.35/870.51	c  870s |      25 |  7779624 |  5763298 |     2793   4971 |        0 |        0
872.35/872.52	c  872s |      25 |  7794318 |  5774898 |     2793   4979 |        0 |        0
874.36/874.52	c  874s |      25 |  7808680 |  5786098 |     2793   4987 |        0 |        0
876.35/876.53	c  876s |      25 |  7823775 |  5797798 |     2793   4995 |        0 |        0
878.35/878.54	c  878s |      25 |  7839518 |  5809898 |     2793   5003 |        0 |        0
880.34/880.55	c  880s |      25 |  7854868 |  5821698 |     2793   5011 |        0 |        0
882.34/882.56	c  882s |      25 |  7869666 |  5833298 |     2793   5018 |        0 |        0
884.35/884.57	c  884s |      25 |  7885129 |  5845498 |     2793   5027 |        0 |        0
886.35/886.58	c  886s |      25 |  7900245 |  5857298 |     2793   5035 |        0 |        0
888.35/888.58	c  888s |      25 |  7915594 |  5869398 |     2793   5043 |        0 |        0
890.35/890.59	c  890s |      25 |  7931274 |  5881698 |     2793   5051 |        0 |        0
892.45/892.60	c  892s |      25 |  7947054 |  5893998 |     2793   5059 |        0 |        0
894.45/894.61	c  894s |      25 |  7963924 |  5906898 |     2793   5068 |        0 |        0
896.45/896.62	c  896s |      25 |  7980028 |  5919298 |     2793   5076 |        0 |        0
898.45/898.63	c  898s |      25 |  7995149 |  5930798 |     2793   5084 |        0 |        0
900.45/900.64	c  900s |      25 |  8009593 |  5942298 |     2793   5092 |        0 |        0
902.44/902.65	c  902s |      25 |  8023401 |  5953498 |     2793   5099 |        0 |        0
904.44/904.66	c  904s |      25 |  8037749 |  5964698 |     2793   5107 |        0 |        0
906.44/906.67	c  906s |      25 |  8052929 |  5976498 |     2793   5115 |        0 |        0
908.45/908.68	c  908s |      25 |  8067959 |  5988098 |     2793   5123 |        0 |        0
910.44/910.69	c  910s |      25 |  8083998 |  6000598 |     2793   5131 |        0 |        0
912.54/912.70	c  912s |      25 |  8095880 |  6010798 |     2793   5138 |        0 |        0
914.54/914.72	c  914s |      25 |  8109391 |  6021698 |     2793   5145 |        0 |        0
916.54/916.72	c  916s |      25 |  8123608 |  6032698 |     2793   5153 |        0 |        0
918.54/918.74	c  918s |      25 |  8138147 |  6044398 |     2793   5161 |        0 |        0
920.55/920.75	c  920s |      25 |  8152122 |  6055598 |     2793   5168 |        0 |        0
922.54/922.76	c  922s |      25 |  8166718 |  6067198 |     2793   5176 |        0 |        0
924.54/924.77	c  924s |      25 |  8181325 |  6078598 |     2793   5184 |        0 |        0
926.54/926.78	c  926s |      25 |  8196302 |  6090298 |     2793   5191 |        0 |        0
928.53/928.79	c  928s |      25 |  8211346 |  6101898 |     2793   5199 |        0 |        0
930.63/930.80	c  930s |      25 |  8226730 |  6114098 |     2793   5207 |        0 |        0
932.54/932.80	c  932s |      25 |  8242465 |  6126298 |     2793   5216 |        0 |        0
934.64/934.82	c  934s |      25 |  8258091 |  6138698 |     2793   5224 |        0 |        0
936.64/936.82	c  936s |      25 |  8273325 |  6150698 |     2793   5232 |        0 |        0
938.64/938.83	c  938s |      25 |  8288337 |  6162298 |     2793   5240 |        0 |        0
940.64/940.85	c  940s |      25 |  8303796 |  6174398 |     2793   5248 |        0 |        0
942.65/942.85	c  942s |      25 |  8319961 |  6186798 |     2793   5256 |        0 |        0
944.64/944.86	c  944s |      25 |  8334986 |  6198298 |     2793   5264 |        0 |        0
946.64/946.86	c  946s |      25 |  8350801 |  6210698 |     2793   5272 |        0 |        0
948.64/948.87	c  948s |      25 |  8366420 |  6222798 |     2793   5281 |        0 |        0
950.64/950.88	c  950s |      25 |  8384044 |  6235998 |     2793   5289 |        0 |        0
952.64/952.88	c  952s |      25 |  8398598 |  6247798 |     2793   5297 |        0 |        0
954.64/954.89	c  954s |      25 |  8414107 |  6260098 |     2793   5306 |        0 |        0
956.64/956.90	c  956s |      25 |  8428016 |  6271498 |     2793   5313 |        0 |        0
958.74/958.90	c  958s |      25 |  8442346 |  6282998 |     2793   5321 |        0 |        0
960.74/960.90	c  960s |      25 |  8454749 |  6293698 |     2793   5328 |        0 |        0
962.74/962.90	c  962s |      25 |  8467375 |  6303598 |     2793   5335 |        0 |        0
964.74/964.91	c  964s |      25 |  8480328 |  6314198 |     2793   5342 |        0 |        0
966.74/966.92	c  966s |      25 |  8494908 |  6325598 |     2793   5350 |        0 |        0
968.73/968.92	c  968s |      25 |  8510632 |  6337998 |     2793   5358 |        0 |        0
970.73/970.93	c  970s |      25 |  8525772 |  6350198 |     2793   5366 |        0 |        0
972.73/972.95	c  972s |      25 |  8540368 |  6362098 |     2793   5374 |        0 |        0
974.73/974.97	c  974s |      25 |  8556111 |  6374098 |     2793   5382 |        0 |        0
976.74/976.97	c  976s |      25 |  8570759 |  6385398 |     2793   5390 |        0 |        0
978.73/978.98	c  978s |      25 |  8585079 |  6396398 |     2793   5397 |        0 |        0
980.83/981.00	c  980s |      25 |  8600395 |  6407798 |     2793   5405 |        0 |        0
982.83/983.02	c  982s |      25 |  8615482 |  6419398 |     2793   5413 |        0 |        0
984.83/985.02	c  985s |      25 |  8630158 |  6430898 |     2793   5420 |        0 |        0
986.83/987.03	c  987s |      25 |  8644598 |  6442798 |     2793   5428 |        0 |        0
988.83/989.04	c  989s |      25 |  8659376 |  6454498 |     2793   5436 |        0 |        0
990.82/991.05	c  991s |      25 |  8673102 |  6465398 |     2793   5444 |        0 |        0
992.82/993.06	c  993s |      25 |  8687443 |  6476598 |     2793   5451 |        0 |        0
994.82/995.07	c  995s |      25 |  8700209 |  6486598 |     2793   5458 |        0 |        0
996.82/997.08	c  997s |      25 |  8713571 |  6496898 |     2793   5465 |        0 |        0
998.82/999.09	c  999s |      25 |  8728163 |  6508198 |     2793   5472 |        0 |        0
1000.82/1001.09	c 1001s |      25 |  8741956 |  6519298 |     2793   5480 |        0 |        0
1002.92/1003.10	c 1003s |      25 |  8756601 |  6530498 |     2793   5487 |        0 |        0
1004.92/1005.11	c 1005s |      25 |  8772768 |  6542698 |     2793   5495 |        0 |        0
1006.92/1007.12	c 1007s |      25 |  8787435 |  6554298 |     2793   5503 |        0 |        0
1008.92/1009.13	c 1009s |      25 |  8803776 |  6566598 |     2793   5511 |        0 |        0
1010.91/1011.14	c 1011s |      25 |  8819968 |  6578798 |     2793   5520 |        0 |        0
1012.92/1013.16	c 1013s |      25 |  8835156 |  6590498 |     2793   5527 |        0 |        0
1014.91/1015.17	c 1015s |      25 |  8850330 |  6602398 |     2793   5536 |        0 |        0
1016.91/1017.17	c 1017s |      25 |  8866943 |  6615098 |     2793   5544 |        0 |        0
1018.92/1019.18	c 1019s |      25 |  8882723 |  6627298 |     2793   5552 |        0 |        0
1020.92/1021.20	c 1021s |      25 |  8897733 |  6639198 |     2793   5560 |        0 |        0
1023.01/1023.21	c 1023s |      25 |  8913321 |  6650898 |     2793   5568 |        0 |        0
1025.02/1025.21	c 1025s |      25 |  8927047 |  6661698 |     2793   5576 |        0 |        0
1027.01/1027.21	c 1027s |      25 |  8942943 |  6674198 |     2793   5584 |        0 |        0
1029.01/1029.22	c 1029s |      25 |  8960243 |  6686898 |     2793   5593 |        0 |        0
1031.01/1031.25	c 1031s |      25 |  8975379 |  6698798 |     2793   5601 |        0 |        0
1033.01/1033.26	c 1033s |      25 |  8990980 |  6710598 |     2793   5608 |        0 |        0
1035.01/1035.27	c 1035s |      25 |  9006533 |  6722898 |     2793   5617 |        0 |        0
1037.00/1037.28	c 1037s |      25 |  9020411 |  6733998 |     2793   5624 |        0 |        0
1039.00/1039.28	c 1039s |      25 |  9034918 |  6745498 |     2793   5632 |        0 |        0
1041.00/1041.29	c 1041s |      25 |  9050553 |  6757798 |     2793   5640 |        0 |        0
1043.10/1043.30	c 1043s |      25 |  9063941 |  6768898 |     2793   5647 |        0 |        0
1045.10/1045.31	c 1045s |      25 |  9078900 |  6780698 |     2793   5655 |        0 |        0
1047.10/1047.32	c 1047s |      25 |  9095773 |  6793598 |     2793   5664 |        0 |        0
1049.10/1049.32	c 1049s |      25 |  9113697 |  6806798 |     2793   5672 |        0 |        0
1051.09/1051.34	c 1051s |      25 |  9128826 |  6818398 |     2793   5680 |        0 |        0
1053.09/1053.34	c 1053s |      25 |  9144867 |  6830798 |     2793   5688 |        0 |        0
1055.09/1055.35	c 1055s |      25 |  9160460 |  6842798 |     2793   5696 |        0 |        0
1057.10/1057.35	c 1057s |      25 |  9174610 |  6854098 |     2793   5704 |        0 |        0
1059.10/1059.37	c 1059s |      25 |  9190325 |  6865898 |     2793   5712 |        0 |        0
1061.09/1061.38	c 1061s |      25 |  9205982 |  6877798 |     2793   5719 |        0 |        0
1063.09/1063.39	c 1063s |      25 |  9220070 |  6889098 |     2793   5727 |        0 |        0
1065.19/1065.40	c 1065s |      25 |  9235610 |  6900898 |     2793   5735 |        0 |        0
1067.18/1067.40	c 1067s |      25 |  9251209 |  6912898 |     2793   5743 |        0 |        0
1069.18/1069.41	c 1069s |      25 |  9267847 |  6925698 |     2793   5752 |        0 |        0
1071.19/1071.41	c 1071s |      25 |  9282547 |  6937198 |     2793   5759 |        0 |        0
1073.18/1073.41	c 1073s |      25 |  9296945 |  6948498 |     2793   5767 |        0 |        0
1075.19/1075.42	c 1075s |      25 |  9310161 |  6959298 |     2793   5774 |        0 |        0
1077.19/1077.43	c 1077s |      25 |  9324716 |  6970598 |     2793   5782 |        0 |        0
1079.18/1079.44	c 1079s |      25 |  9339353 |  6981998 |     2793   5790 |        0 |        0
1081.19/1081.44	c 1081s |      25 |  9354644 |  6993698 |     2793   5798 |        0 |        0
1083.18/1083.45	c 1083s |      25 |  9370659 |  7005998 |     2793   5806 |        0 |        0
1085.18/1085.46	c 1085s |      25 |  9387481 |  7018498 |     2793   5814 |        0 |        0
1087.18/1087.46	c 1087s |      25 |  9402349 |  7030298 |     2793   5822 |        0 |        0
1089.18/1089.48	c 1089s |      25 |  9418397 |  7042698 |     2793   5830 |        0 |        0
1091.18/1091.48	c 1091s |      25 |  9435469 |  7055498 |     2793   5839 |        0 |        0
1093.18/1093.50	c 1093s |      25 |  9449984 |  7066798 |     2793   5847 |        0 |        0
1095.27/1095.51	c 1095s |      25 |  9465126 |  7078598 |     2793   5855 |        0 |        0
1097.27/1097.52	c 1097s |      25 |  9479840 |  7090398 |     2793   5862 |        0 |        0
1099.27/1099.53	c 1099s |      25 |  9497141 |  7103098 |     2793   5871 |        0 |        0
1101.27/1101.53	c 1101s |      25 |  9513599 |  7115598 |     2793   5879 |        0 |        0
1103.27/1103.55	c 1103s |      25 |  9528421 |  7127198 |     2793   5887 |        0 |        0
1105.27/1105.55	c 1105s |      25 |  9544917 |  7139998 |     2793   5896 |        0 |        0
1107.27/1107.55	c 1107s |      25 |  9559634 |  7151798 |     2793   5904 |        0 |        0
1109.26/1109.56	c 1109s |      25 |  9577174 |  7165098 |     2793   5913 |        0 |        0
1111.26/1111.56	c 1111s |      25 |  9595280 |  7178698 |     2793   5922 |        0 |        0
1113.27/1113.57	c 1113s |      25 |  9611710 |  7191198 |     2793   5930 |        0 |        0
1115.28/1115.57	c 1115s |      25 |  9630391 |  7205298 |     2793   5940 |        0 |        0
1117.27/1117.57	c 1117s |      25 |  9645027 |  7216398 |     2793   5947 |        0 |        0
1119.27/1119.58	c 1119s |      25 |  9662371 |  7229998 |     2793   5957 |        0 |        0
1121.26/1121.59	c 1121s |      25 |  9679421 |  7242998 |     2793   5965 |        0 |        0
1123.26/1123.59	c 1123s |      25 |  9695358 |  7255598 |     2793   5974 |        0 |        0
1125.36/1125.60	c 1125s |      25 |  9710523 |  7267398 |     2793   5982 |        0 |        0
1127.27/1127.60	c 1127s |      25 |  9725800 |  7279298 |     2793   5990 |        0 |        0
1129.36/1129.60	c 1129s |      25 |  9742060 |  7291598 |     2793   5998 |        0 |        0
1131.36/1131.62	c 1131s |      25 |  9758556 |  7304698 |     2793   6007 |        0 |        0
1133.36/1133.62	c 1133s |      25 |  9774084 |  7316598 |     2793   6015 |        0 |        0
1135.36/1135.63	c 1135s |      25 |  9791291 |  7329498 |     2793   6023 |        0 |        0
1137.36/1137.64	c 1137s |      25 |  9807701 |  7341798 |     2793   6032 |        0 |        0
1139.36/1139.64	c 1139s |      25 |  9825595 |  7354898 |     2793   6041 |        0 |        0
1141.35/1141.64	c 1141s |      25 |  9841926 |  7367398 |     2793   6049 |        0 |        0
1143.35/1143.65	c 1143s |      25 |  9860098 |  7380998 |     2793   6058 |        0 |        0
1145.35/1145.65	c 1145s |      25 |  9877633 |  7394398 |     2793   6067 |        0 |        0
1147.35/1147.66	c 1147s |      25 |  9894722 |  7407398 |     2793   6076 |        0 |        0
1149.36/1149.67	c 1149s |      25 |  9912367 |  7420398 |     2793   6085 |        0 |        0
1151.34/1151.69	c 1151s |      25 |  9929647 |  7433398 |     2793   6093 |        0 |        0
1153.34/1153.69	c 1153s |      25 |  9946025 |  7445998 |     2793   6102 |        0 |        0
1155.34/1155.70	c 1155s |      25 |  9962636 |  7458498 |     2793   6110 |        0 |        0
1157.44/1157.70	c 1157s |      25 |  9981204 |  7471698 |     2793   6119 |        0 |        0
1159.44/1159.70	c 1159s |      25 |  9999569 |  7484998 |     2793   6128 |        0 |        0
1161.45/1161.71	c 1161s |      25 | 10018300 |  7499298 |     2793   6138 |        0 |        0
1163.44/1163.72	c 1163s |      25 | 10033059 |  7510798 |     2793   6145 |        0 |        0
1165.44/1165.73	c 1165s |      25 | 10050988 |  7524198 |     2793   6154 |        0 |        0
1167.44/1167.74	c 1167s |      25 | 10067714 |  7536998 |     2793   6163 |        0 |        0
1169.44/1169.75	c 1169s |      25 | 10085031 |  7549998 |     3073   6171 |        0 |        0
1171.43/1171.75	c 1171s |      25 | 10101895 |  7562698 |     3073   6179 |        0 |        0
1173.44/1173.76	c 1173s |      25 | 10117650 |  7574998 |     3073   6187 |        0 |        0
1175.43/1175.78	c 1175s |      25 | 10134028 |  7587698 |     3073   6195 |        0 |        0
1177.23/1177.51	c 1177s |      26 | 10147165 |  7597752 |     3073   6201 |        0 |        0
1179.23/1179.53	c 1179s |      26 | 10163484 |  7610252 |     3073   6208 |        0 |        0
1181.23/1181.53	c 1181s |      26 | 10178702 |  7622052 |     3073   6215 |        0 |        0
1183.22/1183.54	c 1183s |      26 | 10195504 |  7634552 |     3073   6223 |        0 |        0
1185.22/1185.54	c 1185s |      26 | 10212476 |  7647152 |     3073   6231 |        0 |        0
1187.22/1187.54	c 1187s |      26 | 10229754 |  7659952 |     3073   6239 |        0 |        0
1189.22/1189.56	c 1189s |      26 | 10249405 |  7674452 |     3073   6248 |        0 |        0
1191.22/1191.57	c 1191s |      26 | 10265981 |  7686952 |     3073   6255 |        0 |        0
1193.22/1193.58	c 1193s |      26 | 10280324 |  7698252 |     3073   6262 |        0 |        0
1195.23/1195.58	c 1195s |      26 | 10297981 |  7712152 |     3073   6271 |        0 |        0
1197.32/1197.60	c 1197s |      26 | 10318512 |  7727452 |     3073   6280 |        0 |        0
1199.32/1199.61	c 1199s |      26 | 10336659 |  7740652 |     3073   6288 |        0 |        0
1201.32/1201.61	c 1201s |      26 | 10351399 |  7751852 |     3073   6295 |        0 |        0
1203.32/1203.63	c 1203s |      26 | 10367387 |  7764352 |     3073   6302 |        0 |        0
1205.32/1205.65	c 1205s |      26 | 10384901 |  7777452 |     3073   6310 |        0 |        0
1207.31/1207.65	c 1207s |      26 | 10396657 |  7787852 |     3073   6317 |        0 |        0
1209.31/1209.66	c 1209s |      26 | 10409909 |  7798452 |     3073   6323 |        0 |        0
1211.31/1211.67	c 1211s |      26 | 10425933 |  7810652 |     3073   6330 |        0 |        0
1213.31/1213.67	c 1213s |      26 | 10439012 |  7821052 |     3073   6337 |        0 |        0
1215.32/1215.68	c 1215s |      26 | 10454185 |  7832452 |     3073   6344 |        0 |        0
1217.31/1217.69	c 1217s |      26 | 10470684 |  7845452 |     3073   6352 |        0 |        0
1219.31/1219.69	c 1219s |      26 | 10485757 |  7857152 |     3073   6359 |        0 |        0
1221.30/1221.69	c 1221s |      26 | 10502703 |  7870052 |     3073   6367 |        0 |        0
1223.30/1223.70	c 1223s |      26 | 10519538 |  7882652 |     3073   6375 |        0 |        0
1225.41/1225.71	c 1225s |      26 | 10532448 |  7893152 |     3073   6381 |        0 |        0
1227.41/1227.71	c 1227s |      26 | 10548491 |  7905752 |     3073   6389 |        0 |        0
1229.40/1229.72	c 1229s |      26 | 10563390 |  7917752 |     3073   6396 |        0 |        0
1231.40/1231.73	c 1231s |      26 | 10579811 |  7930352 |     3073   6404 |        0 |        0
1233.40/1233.75	c 1233s |      26 | 10596022 |  7942952 |     3073   6411 |        0 |        0
1235.40/1235.75	c 1235s |      26 | 10610588 |  7954452 |     3073   6418 |        0 |        0
1237.40/1237.75	c 1237s |      26 | 10626597 |  7966852 |     3073   6426 |        0 |        0
1239.41/1239.76	c 1239s |      26 | 10642825 |  7979352 |     3073   6433 |        0 |        0
1241.40/1241.77	c 1241s |      26 | 10658906 |  7991752 |     3073   6441 |        0 |        0
1243.40/1243.77	c 1243s |      26 | 10674811 |  8004152 |     3073   6449 |        0 |        0
1245.39/1245.77	c 1245s |      26 | 10692216 |  8017452 |     3073   6457 |        0 |        0
1247.39/1247.78	c 1247s |      26 | 10710301 |  8031552 |     3073   6465 |        0 |        0
1249.40/1249.78	c 1249s |      26 | 10727238 |  8044352 |     3073   6473 |        0 |        0
1251.39/1251.79	c 1251s |      26 | 10743102 |  8056852 |     3073   6481 |        0 |        0
1253.39/1253.79	c 1253s |      26 | 10760569 |  8069752 |     3073   6489 |        0 |        0
1255.49/1255.80	c 1255s |      26 | 10778104 |  8083752 |     3073   6497 |        0 |        0
1257.48/1257.80	c 1257s |      26 | 10794793 |  8097152 |     3073   6506 |        0 |        0
1259.48/1259.81	c 1259s |      26 | 10810436 |  8109752 |     3073   6513 |        0 |        0
1261.49/1261.81	c 1261s |      26 | 10827964 |  8122852 |     3073   6521 |        0 |        0
1263.48/1263.82	c 1263s |      26 | 10843206 |  8134852 |     3073   6529 |        0 |        0
1265.48/1265.83	c 1265s |      26 | 10857251 |  8146152 |     3073   6535 |        0 |        0
1267.48/1267.83	c 1267s |      26 | 10874675 |  8159252 |     3073   6543 |        0 |        0
1269.48/1269.85	c 1269s |      26 | 10890508 |  8171952 |     3073   6551 |        0 |        0
1271.47/1271.85	c 1271s |      26 | 10907004 |  8184452 |     3073   6559 |        0 |        0
1273.48/1273.85	c 1273s |      26 | 10924299 |  8197652 |     3073   6567 |        0 |        0
1275.47/1275.87	c 1275s |      26 | 10939323 |  8209752 |     3073   6574 |        0 |        0
1277.47/1277.88	c 1277s |      26 | 10954339 |  8221452 |     3073   6581 |        0 |        0
1279.48/1279.89	c 1279s |      26 | 10970001 |  8233652 |     3073   6589 |        0 |        0
1281.58/1281.90	c 1281s |      26 | 10985863 |  8246052 |     3073   6596 |        0 |        0
1283.58/1283.90	c 1283s |      26 | 11003899 |  8259652 |     3073   6605 |        0 |        0
1285.58/1285.91	c 1285s |      26 | 11018610 |  8271652 |     3073   6612 |        0 |        0
1287.58/1287.92	c 1287s |      26 | 11033882 |  8283752 |     3073   6619 |        0 |        0
1289.58/1289.93	c 1289s |      26 | 11048726 |  8295752 |     3073   6627 |        0 |        0
1291.57/1291.93	c 1291s |      26 | 11063861 |  8307752 |     3073   6634 |        0 |        0
1293.57/1293.94	c 1293s |      26 | 11080221 |  8320352 |     3073   6642 |        0 |        0
1295.58/1295.95	c 1295s |      26 | 11093417 |  8330952 |     3073   6648 |        0 |        0
1297.57/1297.96	c 1297s |      26 | 11108356 |  8343052 |     3073   6656 |        0 |        0
1299.57/1299.97	c 1299s |      26 | 11125162 |  8356052 |     3073   6664 |        0 |        0
1301.56/1301.98	c 1301s |      26 | 11142213 |  8369252 |     3073   6672 |        0 |        0
1303.56/1303.98	c 1303s |      26 | 11160511 |  8382452 |     3073   6680 |        0 |        0
1305.66/1306.00	c 1305s |      26 | 11176900 |  8394952 |     3073   6687 |        0 |        0
1307.67/1308.01	c 1307s |      26 | 11192825 |  8407052 |     3073   6695 |        0 |        0
1309.66/1310.01	c 1309s |      26 | 11208301 |  8419052 |     3073   6702 |        0 |        0
1311.65/1312.02	c 1312s |      26 | 11224490 |  8431452 |     3073   6710 |        0 |        0
1313.65/1314.02	c 1314s |      26 | 11241400 |  8444352 |     3073   6718 |        0 |        0
1315.65/1316.03	c 1316s |      26 | 11256983 |  8456552 |     3073   6725 |        0 |        0
1317.65/1318.05	c 1318s |      26 | 11272571 |  8469052 |     3073   6732 |        0 |        0
1319.66/1320.06	c 1320s |      26 | 11288554 |  8481552 |     3073   6740 |        0 |        0
1321.65/1322.07	c 1322s |      26 | 11303625 |  8493452 |     3073   6747 |        0 |        0
1323.65/1324.08	c 1324s |      26 | 11318944 |  8505652 |     3073   6755 |        0 |        0
1325.65/1326.09	c 1326s |      26 | 11333706 |  8517252 |     3073   6762 |        0 |        0
1327.75/1328.10	c 1328s |      26 | 11350014 |  8530152 |     3073   6770 |        0 |        0
1329.75/1330.10	c 1330s |      26 | 11367252 |  8542952 |     3073   6777 |        0 |        0
1331.75/1332.10	c 1332s |      26 | 11383164 |  8555052 |     3073   6785 |        0 |        0
1333.74/1334.12	c 1334s |      26 | 11398243 |  8566852 |     3073   6792 |        0 |        0
1335.74/1336.12	c 1336s |      26 | 11413942 |  8578852 |     3073   6799 |        0 |        0
1337.75/1338.13	c 1338s |      26 | 11428921 |  8590552 |     3073   6806 |        0 |        0
1339.75/1340.13	c 1340s |      26 | 11444220 |  8602352 |     3073   6814 |        0 |        0
1341.75/1342.14	c 1342s |      26 | 11461138 |  8614852 |     3073   6821 |        0 |        0
1343.75/1344.15	c 1344s |      26 | 11477873 |  8627152 |     3073   6829 |        0 |        0
1345.74/1346.16	c 1346s |      26 | 11494458 |  8639552 |     3073   6836 |        0 |        0
1347.74/1348.17	c 1348s |      26 | 11512469 |  8652752 |     3073   6845 |        0 |        0
1349.74/1350.18	c 1350s |      26 | 11529380 |  8665452 |     3073   6852 |        0 |        0
1351.74/1352.18	c 1352s |      26 | 11545307 |  8677952 |     3073   6860 |        0 |        0
1353.74/1354.18	c 1354s |      26 | 11561541 |  8690652 |     3073   6868 |        0 |        0
1355.74/1356.19	c 1356s |      26 | 11577803 |  8703352 |     3073   6876 |        0 |        0
1357.74/1358.20	c 1358s |      26 | 11596007 |  8716952 |     3073   6884 |        0 |        0
1359.84/1360.21	c 1360s |      26 | 11613007 |  8730152 |     3073   6892 |        0 |        0
1361.83/1362.21	c 1362s |      26 | 11627051 |  8741552 |     3073   6899 |        0 |        0
1363.83/1364.23	c 1364s |      26 | 11640813 |  8752852 |     3073   6906 |        0 |        0
1365.84/1366.23	c 1366s |      26 | 11657499 |  8765552 |     3073   6914 |        0 |        0
1367.83/1368.23	c 1368s |      26 | 11673680 |  8778052 |     3073   6921 |        0 |        0
1369.84/1370.24	c 1370s |      26 | 11690738 |  8790852 |     3073   6929 |        0 |        0
1371.83/1372.24	c 1372s |      26 | 11708328 |  8804352 |     3073   6937 |        0 |        0
1373.83/1374.25	c 1374s |      26 | 11726243 |  8818052 |     3073   6946 |        0 |        0
1375.84/1376.26	c 1376s |      26 | 11742709 |  8830952 |     3073   6954 |        0 |        0
1377.83/1378.26	c 1378s |      26 | 11758222 |  8843252 |     3073   6961 |        0 |        0
1379.83/1380.27	c 1380s |      26 | 11775248 |  8856452 |     3073   6969 |        0 |        0
1381.83/1382.27	c 1382s |      26 | 11793249 |  8870352 |     3073   6978 |        0 |        0
1383.83/1384.28	c 1384s |      26 | 11810688 |  8884152 |     3073   6986 |        0 |        0
1385.82/1386.28	c 1386s |      26 | 11826807 |  8896552 |     3073   6994 |        0 |        0
1387.83/1388.29	c 1388s |      26 | 11839020 |  8907152 |     3073   7000 |        0 |        0
1389.92/1390.30	c 1390s |      26 | 11853049 |  8918352 |     3073   7007 |        0 |        0
1391.92/1392.31	c 1392s |      26 | 11868541 |  8930852 |     3073   7015 |        0 |        0
1393.92/1394.32	c 1394s |      26 | 11887200 |  8945352 |     3073   7023 |        0 |        0
1395.92/1396.33	c 1396s |      26 | 11903870 |  8958252 |     3073   7031 |        0 |        0
1397.92/1398.34	c 1398s |      26 | 11919203 |  8970652 |     3073   7039 |        0 |        0
1399.92/1400.35	c 1400s |      26 | 11934874 |  8983052 |     3073   7046 |        0 |        0
1401.91/1402.36	c 1402s |      26 | 11951650 |  8995752 |     3073   7054 |        0 |        0
1403.91/1404.37	c 1404s |      26 | 11966754 |  9007552 |     3073   7061 |        0 |        0
1405.91/1406.37	c 1406s |      26 | 11984194 |  9020452 |     3073   7069 |        0 |        0
1407.91/1408.38	c 1408s |      26 | 11999633 |  9032552 |     3073   7077 |        0 |        0
1409.92/1410.38	c 1410s |      26 | 12016077 |  9044852 |     3073   7084 |        0 |        0
1411.91/1412.39	c 1412s |      26 | 12033107 |  9057452 |     3073   7092 |        0 |        0
1414.01/1414.40	c 1414s |      26 | 12048599 |  9069452 |     3073   7099 |        0 |        0
1416.00/1416.41	c 1416s |      26 | 12064044 |  9081552 |     3073   7107 |        0 |        0
1418.00/1418.42	c 1418s |      26 | 12079701 |  9093652 |     3073   7114 |        0 |        0
1420.00/1420.43	c 1420s |      26 | 12093778 |  9104952 |     3073   7121 |        0 |        0
1422.00/1422.44	c 1422s |      26 | 12109501 |  9116952 |     3073   7128 |        0 |        0
1424.00/1424.45	c 1424s |      26 | 12126507 |  9129952 |     3073   7136 |        0 |        0
1426.00/1426.45	c 1426s |      26 | 12142476 |  9141852 |     3073   7144 |        0 |        0
1428.00/1428.46	c 1428s |      26 | 12157449 |  9153552 |     3073   7151 |        0 |        0
1430.00/1430.47	c 1430s |      26 | 12173150 |  9165552 |     3073   7158 |        0 |        0
1431.99/1432.48	c 1432s |      26 | 12189271 |  9177952 |     3073   7166 |        0 |        0
1434.00/1434.49	c 1434s |      26 | 12205486 |  9190752 |     3073   7174 |        0 |        0
1435.99/1436.49	c 1436s |      26 | 12222757 |  9204152 |     3073   7182 |        0 |        0
1438.00/1438.50	c 1438s |      26 | 12241125 |  9217752 |     3073   7190 |        0 |        0
1440.10/1440.50	c 1440s |      26 | 12260468 |  9231752 |     3073   7199 |        0 |        0
1442.09/1442.51	c 1442s |      26 | 12279795 |  9246452 |     3073   7208 |        0 |        0
1444.09/1444.52	c 1444s |      26 | 12299151 |  9260652 |     3073   7216 |        0 |        0
1446.10/1446.53	c 1446s |      26 | 12317199 |  9274252 |     3073   7225 |        0 |        0
1448.09/1448.53	c 1448s |      26 | 12334692 |  9287852 |     3073   7233 |        0 |        0
1450.09/1450.54	c 1450s |      26 | 12351278 |  9300452 |     3073   7241 |        0 |        0
1452.08/1452.54	c 1452s |      26 | 12368016 |  9313352 |     3073   7249 |        0 |        0
1454.08/1454.55	c 1454s |      26 | 12384698 |  9326152 |     3073   7256 |        0 |        0
1456.09/1456.56	c 1456s |      26 | 12402371 |  9339552 |     3073   7264 |        0 |        0
1458.08/1458.57	c 1458s |      26 | 12419056 |  9352452 |     3073   7272 |        0 |        0
1460.08/1460.58	c 1460s |      26 | 12435940 |  9365852 |     3073   7280 |        0 |        0
1462.08/1462.59	c 1462s |      26 | 12454361 |  9380052 |     3073   7289 |        0 |        0
1464.18/1464.60	c 1464s |      26 | 12472879 |  9393752 |     3073   7298 |        0 |        0
1466.18/1466.61	c 1466s |      26 | 12491268 |  9408052 |     3073   7306 |        0 |        0
1468.18/1468.62	c 1468s |      26 | 12509631 |  9421652 |     3073   7315 |        0 |        0
1470.18/1470.62	c 1470s |      26 | 12526463 |  9435152 |     3073   7323 |        0 |        0
1472.18/1472.64	c 1472s |      26 | 12544466 |  9448952 |     3073   7331 |        0 |        0
1474.18/1474.65	c 1474s |      26 | 12562881 |  9462552 |     3073   7340 |        0 |        0
1476.18/1476.65	c 1476s |      26 | 12579059 |  9475352 |     3073   7347 |        0 |        0
1478.18/1478.67	c 1478s |      26 | 12596891 |  9488752 |     3073   7355 |        0 |        0
1480.18/1480.67	c 1480s |      26 | 12614836 |  9502352 |     3073   7364 |        0 |        0
1482.17/1482.68	c 1482s |      26 | 12629385 |  9514052 |     3073   7371 |        0 |        0
1484.17/1484.69	c 1484s |      26 | 12644712 |  9526152 |     3073   7378 |        0 |        0
1486.27/1486.70	c 1486s |      26 | 12661317 |  9538752 |     3073   7386 |        0 |        0
1488.27/1488.72	c 1488s |      26 | 12675186 |  9550152 |     3073   7393 |        0 |        0
1490.27/1490.72	c 1490s |      26 | 12687736 |  9560352 |     3073   7399 |        0 |        0
1492.27/1492.73	c 1492s |      26 | 12703170 |  9572652 |     3073   7407 |        0 |        0
1494.27/1494.74	c 1494s |      26 | 12719262 |  9585052 |     3073   7414 |        0 |        0
1496.27/1496.75	c 1496s |      26 | 12734919 |  9597152 |     3073   7422 |        0 |        0
1498.27/1498.77	c 1498s |      26 | 12750937 |  9609752 |     3073   7430 |        0 |        0
1500.27/1500.79	c 1500s |      26 | 12769326 |  9623752 |     3073   7438 |        0 |        0
1502.36/1502.80	c 1502s |      26 | 12785931 |  9636452 |     3073   7446 |        0 |        0
1504.26/1504.80	c 1504s |      26 | 12805011 |  9650352 |     3073   7454 |        0 |        0
1506.36/1506.80	c 1506s |      26 | 12822403 |  9663452 |     3073   7462 |        0 |        0
1508.36/1508.80	c 1508s |      26 | 12839944 |  9676652 |     3073   7470 |        0 |        0
1510.36/1510.81	c 1510s |      26 | 12857417 |  9690052 |     3073   7479 |        0 |        0
1512.35/1512.83	c 1512s |      26 | 12873117 |  9702352 |     3073   7486 |        0 |        0
1514.36/1514.84	c 1514s |      26 | 12889325 |  9714752 |     3073   7494 |        0 |        0
1516.35/1516.84	c 1516s |      26 | 12903560 |  9726052 |     3073   7501 |        0 |        0
1518.35/1518.85	c 1518s |      26 | 12918945 |  9737952 |     3073   7508 |        0 |        0
1520.35/1520.86	c 1520s |      26 | 12934973 |  9750052 |     3073   7515 |        0 |        0
1522.35/1522.86	c 1522s |      26 | 12949619 |  9761552 |     3073   7522 |        0 |        0
1524.35/1524.87	c 1524s |      26 | 12964366 |  9773052 |     3073   7529 |        0 |        0
1526.35/1526.88	c 1526s |      26 | 12978346 |  9783952 |     3073   7536 |        0 |        0
1528.46/1528.90	c 1528s |      26 | 12992879 |  9795352 |     3073   7543 |        0 |        0
1530.46/1530.92	c 1530s |      26 | 13007945 |  9807052 |     3073   7550 |        0 |        0
1532.45/1532.92	c 1532s |      26 | 13021923 |  9818252 |     3073   7557 |        0 |        0
1534.45/1534.93	c 1534s |      26 | 13037540 |  9829852 |     3073   7564 |        0 |        0
1536.45/1536.94	c 1536s |      26 | 13056355 |  9843552 |     3073   7573 |        0 |        0
1538.46/1538.96	c 1538s |      26 | 13073698 |  9856352 |     3073   7581 |        0 |        0
1540.45/1540.98	c 1540s |      26 | 13090704 |  9869452 |     3073   7589 |        0 |        0
1542.44/1542.99	c 1542s |      26 | 13105747 |  9880752 |     3073   7595 |        0 |        0
1544.54/1545.00	c 1544s |      26 | 13122819 |  9893552 |     3073   7603 |        0 |        0
1546.54/1547.01	c 1546s |      26 | 13138176 |  9905752 |     3073   7611 |        0 |        0
1548.54/1549.02	c 1548s |      26 | 13153943 |  9917952 |     3073   7618 |        0 |        0
1550.55/1551.04	c 1551s |      26 | 13172061 |  9931452 |     3073   7626 |        0 |        0
1552.54/1553.05	c 1553s |      26 | 13188007 |  9943952 |     3073   7634 |        0 |        0
1554.54/1555.05	c 1555s |      26 | 13202093 |  9955052 |     3073   7641 |        0 |        0
1556.54/1557.06	c 1557s |      26 | 13218246 |  9966752 |     3073   7648 |        0 |        0
1558.54/1559.06	c 1559s |      26 | 13234277 |  9979352 |     3073   7656 |        0 |        0
1560.54/1561.06	c 1561s |      26 | 13250825 |  9991852 |     3073   7663 |        0 |        0
1562.53/1563.08	c 1563s |      26 | 13268777 | 10005152 |     3073   7672 |        0 |        0
1564.53/1565.09	c 1565s |      26 | 13284967 | 10017752 |     3073   7679 |        0 |        0
1566.53/1567.09	c 1567s |      26 | 13301019 | 10030152 |     3073   7687 |        0 |        0
1568.63/1569.11	c 1569s |      26 | 13315254 | 10040852 |     3073   7694 |        0 |        0
1570.63/1571.11	c 1571s |      26 | 13331587 | 10053152 |     3073   7701 |        0 |        0
1572.63/1573.13	c 1573s |      26 | 13347896 | 10066052 |     3073   7709 |        0 |        0
1574.62/1575.13	c 1575s |      26 | 13365581 | 10078752 |     3073   7717 |        0 |        0
1576.62/1577.15	c 1577s |      26 | 13382177 | 10091352 |     3073   7725 |        0 |        0
1578.62/1579.15	c 1579s |      26 | 13398607 | 10103552 |     3073   7732 |        0 |        0
1580.61/1581.15	c 1581s |      26 | 13416068 | 10116852 |     3073   7740 |        0 |        0
1582.61/1583.17	c 1583s |      26 | 13435078 | 10131052 |     3073   7749 |        0 |        0
1584.62/1585.17	c 1585s |      26 | 13451553 | 10143552 |     3073   7757 |        0 |        0
1586.61/1587.18	c 1587s |      26 | 13470020 | 10157452 |     3073   7765 |        0 |        0
1588.61/1589.19	c 1589s |      26 | 13484120 | 10168852 |     3073   7772 |        0 |        0
1590.61/1591.19	c 1591s |      26 | 13500586 | 10181852 |     3073   7780 |        0 |        0
1592.71/1593.21	c 1593s |      26 | 13517354 | 10194852 |     3073   7788 |        0 |        0
1594.71/1595.22	c 1595s |      26 | 13534215 | 10207652 |     3073   7796 |        0 |        0
1596.72/1597.24	c 1597s |      26 | 13551669 | 10221152 |     3073   7804 |        0 |        0
1598.71/1599.25	c 1599s |      26 | 13565650 | 10232552 |     3073   7811 |        0 |        0
1600.70/1601.26	c 1601s |      26 | 13583707 | 10245952 |     3073   7819 |        0 |        0
1602.70/1603.26	c 1603s |      26 | 13599989 | 10258652 |     3073   7827 |        0 |        0
1604.70/1605.27	c 1605s |      26 | 13615753 | 10270652 |     3073   7834 |        0 |        0
1606.72/1607.27	c 1607s |      26 | 13632089 | 10283452 |     3073   7842 |        0 |        0
1608.71/1609.28	c 1609s |      26 | 13644218 | 10293552 |     3073   7848 |        0 |        0
1610.70/1611.29	c 1611s |      26 | 13657771 | 10304252 |     3073   7855 |        0 |        0
1612.80/1613.30	c 1613s |      26 | 13673102 | 10316152 |     3073   7862 |        0 |        0
1614.80/1615.31	c 1615s |      26 | 13687900 | 10327552 |     3073   7869 |        0 |        0
1616.80/1617.32	c 1617s |      26 | 13705065 | 10340552 |     3073   7877 |        0 |        0
1618.81/1619.33	c 1619s |      26 | 13722192 | 10353652 |     3073   7885 |        0 |        0
1620.80/1621.33	c 1621s |      26 | 13738796 | 10366252 |     3073   7893 |        0 |        0
1622.80/1623.33	c 1623s |      26 | 13755453 | 10378852 |     3073   7901 |        0 |        0
1624.80/1625.35	c 1625s |      26 | 13771150 | 10391152 |     3073   7908 |        0 |        0
1626.80/1627.36	c 1627s |      26 | 13787018 | 10403752 |     3073   7916 |        0 |        0
1628.80/1629.36	c 1629s |      26 | 13804875 | 10417352 |     3073   7924 |        0 |        0
1630.80/1631.38	c 1631s |      26 | 13823494 | 10431652 |     3073   7933 |        0 |        0
1632.80/1633.38	c 1633s |      26 | 13841434 | 10445552 |     3073   7942 |        0 |        0
1634.80/1635.39	c 1635s |      26 | 13858869 | 10459052 |     3073   7950 |        0 |        0
1636.80/1637.39	c 1637s |      26 | 13873645 | 10470652 |     3073   7957 |        0 |        0
1638.89/1639.40	c 1639s |      26 | 13889276 | 10482152 |     3073   7964 |        0 |        0
1640.89/1641.41	c 1641s |      26 | 13907238 | 10495752 |     3073   7972 |        0 |        0
1642.90/1643.41	c 1643s |      26 | 13924407 | 10508852 |     3073   7980 |        0 |        0
1644.89/1645.42	c 1645s |      26 | 13941688 | 10522452 |     3073   7988 |        0 |        0
1646.89/1647.42	c 1647s |      26 | 13957939 | 10535452 |     3073   7996 |        0 |        0
1648.90/1649.44	c 1649s |      26 | 13975723 | 10548752 |     3073   8005 |        0 |        0
1650.90/1651.45	c 1651s |      26 | 13990666 | 10560552 |     3073   8012 |        0 |        0
1652.90/1653.45	c 1653s |      26 | 14003672 | 10570752 |     3073   8018 |        0 |        0
1654.89/1655.46	c 1655s |      26 | 14016074 | 10580252 |     3073   8024 |        0 |        0
1656.89/1657.47	c 1657s |      26 | 14030968 | 10590852 |     3073   8030 |        0 |        0
1658.89/1659.48	c 1659s |      26 | 14047581 | 10603552 |     3073   8038 |        0 |        0
1660.89/1661.48	c 1661s |      26 | 14065842 | 10617452 |     3073   8046 |        0 |        0
1662.89/1663.49	c 1663s |      26 | 14081572 | 10629652 |     3073   8054 |        0 |        0
1664.90/1665.50	c 1665s |      26 | 14095265 | 10640852 |     3073   8061 |        0 |        0
1666.99/1667.51	c 1667s |      26 | 14109328 | 10652152 |     3073   8068 |        0 |        0
1668.99/1669.52	c 1669s |      26 | 14125722 | 10664952 |     3073   8075 |        0 |        0
1670.99/1671.53	c 1671s |      26 | 14142476 | 10677452 |     3073   8083 |        0 |        0
1672.99/1673.54	c 1673s |      26 | 14161081 | 10691452 |     3073   8091 |        0 |        0
1674.99/1675.55	c 1675s |      26 | 14181739 | 10706852 |     3073   8101 |        0 |        0
1676.99/1677.56	c 1677s |      26 | 14201636 | 10721752 |     3073   8110 |        0 |        0
1678.98/1679.58	c 1679s |      26 | 14218788 | 10734852 |     3073   8118 |        0 |        0
1680.98/1681.59	c 1681s |      26 | 14239042 | 10750552 |     3073   8127 |        0 |        0
1683.08/1683.60	c 1683s |      26 | 14258434 | 10765352 |     3073   8136 |        0 |        0
1685.08/1685.60	c 1685s |      26 | 14278001 | 10780352 |     3073   8145 |        0 |        0
1687.08/1687.61	c 1687s |      26 | 14295193 | 10793752 |     3073   8154 |        0 |        0
1689.09/1689.63	c 1689s |      26 | 14312016 | 10806752 |     3073   8161 |        0 |        0
1691.08/1691.64	c 1691s |      26 | 14329795 | 10819952 |     3073   8169 |        0 |        0
1693.08/1693.66	c 1693s |      26 | 14344935 | 10831652 |     3073   8176 |        0 |        0
1695.08/1695.66	c 1695s |      26 | 14361011 | 10844052 |     3073   8184 |        0 |        0
1697.08/1697.68	c 1697s |      26 | 14376592 | 10855852 |     3073   8191 |        0 |        0
1699.10/1699.69	c 1699s |      26 | 14390793 | 10866752 |     3073   8198 |        0 |        0
1701.09/1701.70	c 1701s |      26 | 14405204 | 10877952 |     3073   8205 |        0 |        0
1703.19/1703.71	c 1703s |      26 | 14419842 | 10889252 |     3073   8212 |        0 |        0
1705.19/1705.72	c 1705s |      26 | 14435277 | 10900652 |     3073   8219 |        0 |        0
1707.19/1707.73	c 1707s |      26 | 14448664 | 10911252 |     3073   8225 |        0 |        0
1709.19/1709.74	c 1709s |      26 | 14463612 | 10922652 |     3073   8232 |        0 |        0
1711.19/1711.74	c 1711s |      26 | 14478475 | 10934152 |     3073   8239 |        0 |        0
1713.19/1713.75	c 1713s |      26 | 14493162 | 10945152 |     3073   8246 |        0 |        0
1715.18/1715.76	c 1715s |      26 | 14508260 | 10956852 |     3073   8253 |        0 |        0
1717.18/1717.78	c 1717s |      26 | 14522601 | 10967752 |     3073   8259 |        0 |        0
1719.18/1719.78	c 1719s |      26 | 14537300 | 10978952 |     3073   8266 |        0 |        0
1721.18/1721.78	c 1721s |      26 | 14550443 | 10989252 |     3073   8273 |        0 |        0
1723.19/1723.79	c 1723s |      26 | 14565489 | 11000352 |     3073   8279 |        0 |        0
1725.28/1725.81	c 1725s |      26 | 14579849 | 11011352 |     3073   8286 |        0 |        0
1727.28/1727.82	c 1727s |      26 | 14595050 | 11022652 |     3073   8293 |        0 |        0
1729.28/1729.82	c 1729s |      26 | 14610420 | 11034452 |     3073   8300 |        0 |        0
1731.28/1731.84	c 1731s |      26 | 14624914 | 11045852 |     3073   8307 |        0 |        0
1733.28/1733.85	c 1733s |      26 | 14640672 | 11057552 |     3073   8315 |        0 |        0
1735.28/1735.87	c 1735s |      26 | 14658394 | 11070952 |     3073   8323 |        0 |        0
1737.28/1737.88	c 1737s |      26 | 14674369 | 11083152 |     3073   8330 |        0 |        0
1739.28/1739.88	c 1739s |      26 | 14689674 | 11095152 |     3073   8338 |        0 |        0
1741.28/1741.89	c 1741s |      26 | 14704431 | 11106452 |     3073   8345 |        0 |        0
1743.28/1743.89	c 1743s |      26 | 14721480 | 11119452 |     3073   8353 |        0 |        0
1745.37/1745.92	c 1745s |      26 | 14738615 | 11132752 |     3073   8361 |        0 |        0
1747.38/1747.93	c 1747s |      26 | 14752289 | 11143952 |     3073   8367 |        0 |        0
1749.38/1749.94	c 1749s |      26 | 14768743 | 11156552 |     3073   8375 |        0 |        0
1751.38/1751.94	c 1751s |      26 | 14784975 | 11169052 |     3073   8383 |        0 |        0
1753.38/1753.96	c 1753s |      26 | 14801603 | 11181752 |     3073   8391 |        0 |        0
1755.38/1755.96	c 1755s |      26 | 14817536 | 11193852 |     3073   8398 |        0 |        0
1757.38/1757.97	c 1757s |      26 | 14835265 | 11207152 |     3073   8406 |        0 |        0
1759.37/1759.97	c 1759s |      26 | 14852806 | 11220552 |     3073   8414 |        0 |        0
1761.37/1761.99	c 1761s |      26 | 14872368 | 11235152 |     3073   8423 |        0 |        0
1763.47/1764.00	c 1763s |      26 | 14890218 | 11248452 |     3073   8431 |        0 |        0
1765.47/1766.02	c 1765s |      26 | 14908379 | 11261652 |     3073   8440 |        0 |        0
1767.47/1768.02	c 1767s |      26 | 14927273 | 11275652 |     3073   8448 |        0 |        0
1769.48/1770.03	c 1770s |      26 | 14945560 | 11289052 |     3073   8456 |        0 |        0
1771.47/1772.03	c 1772s |      26 | 14962670 | 11301952 |     3073   8464 |        0 |        0
1773.47/1774.03	c 1774s |      26 | 14981061 | 11315652 |     3381   8472 |        0 |        0
1775.47/1776.04	c 1776s |      26 | 14998701 | 11328752 |     3381   8480 |        0 |        0
1777.47/1778.05	c 1778s |      26 | 15013494 | 11340352 |     3381   8486 |        0 |        0
1779.47/1780.06	c 1780s |      26 | 15031917 | 11354152 |     3381   8494 |        0 |        0
1781.47/1782.07	c 1782s |      26 | 15048968 | 11367552 |     3381   8501 |        0 |        0
1783.48/1784.08	c 1784s |      26 | 15065665 | 11380552 |     3381   8509 |        0 |        0
1785.48/1786.08	c 1786s |      26 | 15080678 | 11392052 |     3381   8515 |        0 |        0
1786.18/1786.75	c 1786s |      27 | 15087215 | 11396733 |     3381   8518 |        0 |        0
1788.18/1788.75	c 1788s |      27 | 15104071 | 11409833 |     3381   8525 |        0 |        0
1790.17/1790.76	c 1790s |      27 | 15121423 | 11422733 |     3381   8532 |        0 |        0
1792.17/1792.77	c 1792s |      27 | 15136735 | 11434633 |     3381   8539 |        0 |        0
1794.17/1794.79	c 1794s |      27 | 15152252 | 11446533 |     3381   8545 |        0 |        0
1796.27/1796.80	c 1796s |      27 | 15167830 | 11458733 |     3381   8552 |        0 |        0
1798.27/1798.81	c 1798s |      27 | 15183650 | 11470333 |     3381   8559 |        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-4120074-1467309401/watcher-4120074-1467309401 -o /tmp/evaluation-result-4120074-1467309401/solver-4120074-1467309401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120074-1467309401.opb 

pid=22709
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.02 1.19 1.41 3/170 22712
/proc/meminfo: memFree=28342004/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 2634 0 0 0 0 0 0 0 20 0 4 0 11891298 725020672 3506 33554432000 4194304 16246674 140735155948288 140735155947712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 177519 3516 441 2943 0 174413 0
[pid=22712/tid=22713] ppid=22709 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 742846464 3577 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 747040768 3593 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 751235072 3609 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 1.02 1.19 1.41 3/170 22712
/proc/meminfo: memFree=28342004/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 23837 0 0 0 6 3 0 0 20 0 4 0 11891298 1247350784 24699 33554432000 4194304 16246674 140735155948288 140735155930176 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 304529 24710 707 2943 0 301423 0
[pid=22712/tid=22713] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 24715 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 24722 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 24730 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200442 s]
/proc/loadavg: 1.02 1.19 1.41 3/170 22712
/proc/meminfo: memFree=28342004/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 44277 0 0 0 13 6 0 0 20 0 4 0 11891298 1247350784 45139 33554432000 4194304 16246674 140735155948288 140735155930176 5708022 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 304529 45147 707 2943 0 301423 0
[pid=22712/tid=22713] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 45155 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 45161 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 45168 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30039 s]
/proc/loadavg: 1.02 1.19 1.41 3/170 22712
/proc/meminfo: memFree=28342004/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 64512 0 0 0 20 9 0 0 20 0 4 0 11891298 1247350784 65374 33554432000 4194304 16246674 140735155948288 140735155930176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 304529 65383 707 2943 0 301423 0
[pid=22712/tid=22713] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 65389 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 65397 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 65405 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700282 s]
/proc/loadavg: 1.02 1.19 1.41 3/170 22712
/proc/meminfo: memFree=28342004/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 148704 0 0 0 47 22 0 0 20 0 4 0 11891298 1247350784 149566 33554432000 4194304 16246674 140735155948288 140735155930176 5676365 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 304529 149576 707 2943 0 301423 0
[pid=22712/tid=22713] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 149583 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 149589 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1247350784 149595 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 1.10 1.20 1.41 3/183 22734
/proc/meminfo: memFree=26572616/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 245735 0 0 0 113 36 0 0 20 0 4 0 11891298 1248399360 246576 33554432000 4194304 16246674 140735155948288 140735155947600 12476636 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 304785 246576 782 2943 0 301679 0
[pid=22712/tid=22713] ppid=22709 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1248399360 246576 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1248399360 246576 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1248399360 246576 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10035 s]
/proc/loadavg: 1.10 1.20 1.41 3/183 22734
/proc/meminfo: memFree=26182968/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 267549 0 0 0 270 39 0 0 20 0 4 0 11891298 1338576896 268390 33554432000 4194304 16246674 140735155948288 140735155931288 5754966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 326801 268390 782 2943 0 323695 0
[pid=22712/tid=22713] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268390 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268390 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268390 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30035 s]
/proc/loadavg: 1.10 1.20 1.41 3/183 22734
/proc/meminfo: memFree=26179876/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 267792 0 0 0 590 39 0 0 20 0 4 0 11891298 1338576896 268633 33554432000 4194304 16246674 140735155948288 140735155931288 12478241 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 326801 268633 784 2943 0 323695 0
[pid=22712/tid=22713] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268633 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268633 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1338576896 268633 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.24 1.23 1.41 3/183 22734
/proc/meminfo: memFree=26179312/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 268074 0 0 0 1230 39 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140735155931288 5667556 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 327057 268915 784 2943 0 323951 0
[pid=22712/tid=22713] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 1.43 1.27 1.43 3/183 22734
/proc/meminfo: memFree=26181264/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 268074 0 0 0 2510 39 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140735155931288 6010704 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 327057 268915 784 2943 0 323951 0
[pid=22712/tid=22713] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1339625472 268915 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 1.75 1.36 1.45 3/183 22734
/proc/meminfo: memFree=26179952/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 268432 0 0 0 5068 40 0 0 20 0 4 0 11891298 1341722624 269273 33554432000 4194304 16246674 140735155948288 140735155931288 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 327569 269273 786 2943 0 324463 0
[pid=22712/tid=22713] ppid=22709 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1341722624 269273 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1341722624 269273 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1341722624 269273 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.09 1.52 1.50 3/183 22736
/proc/meminfo: memFree=26178836/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 268681 0 0 0 10187 41 0 0 20 0 4 0 11891298 1342771200 269522 33554432000 4194304 16246674 140735155948288 140735155930176 5726459 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 327825 269522 786 2943 0 324719 0
[pid=22712/tid=22713] ppid=22709 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1342771200 269522 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1342771200 269522 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1342771200 269522 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1346965504 270714 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.22 2.21 2.01 3/183 22887
/proc/meminfo: memFree=26165392/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1315396 CPUtime=1301.96 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 270106 0 0 0 130132 64 0 0 20 0 4 0 11891298 1346965504 270715 33554432000 4194304 16246674 140735155948288 140735155931288 5823631 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 328849 270715 789 2943 0 325743 0
[pid=22712/tid=22713] ppid=22709 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1346965504 270715 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1346965504 270715 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1346965504 270715 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.28 2.23 2.02 3/183 22889
/proc/meminfo: memFree=26164768/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1316420 CPUtime=1361.93 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 270399 0 0 0 136128 65 0 0 20 0 4 0 11891298 1348014080 270971 33554432000 4194304 16246674 140735155948288 140735155930176 5677572 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 329105 270971 789 2943 0 325999 0
[pid=22712/tid=22713] ppid=22709 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1348014080 270971 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1348014080 270971 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1348014080 270971 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.35 2.26 2.04 3/184 22893
/proc/meminfo: memFree=26160456/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1421.9 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271483 0 0 0 142124 66 0 0 20 0 4 0 11891298 1353256960 272014 33554432000 4194304 16246674 140735155948288 140735155931288 5661428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272014 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272014 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272014 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272014 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.39 2.29 2.07 3/183 22894
/proc/meminfo: memFree=26159164/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1481.87 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271766 0 0 0 148119 68 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155931288 5822848 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.26 2.26 2.07 3/183 22895
/proc/meminfo: memFree=26159156/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1541.85 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271809 0 0 0 154116 69 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155931288 6021268 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.28 2.27 2.09 3/183 22896
/proc/meminfo: memFree=26158968/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1601.8 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271854 0 0 0 160111 69 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155930176 5828829 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.09 4/183 22898
/proc/meminfo: memFree=26158388/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1661.79 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271864 0 0 0 166108 71 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155931288 5840044 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.16 2.23 2.09 3/183 22899
/proc/meminfo: memFree=26158256/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1721.78 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271864 0 0 0 172106 72 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155931288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.30 2.25 2.10 3/183 22900
/proc/meminfo: memFree=26157780/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1781.77 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271864 0 0 0 178104 73 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155930176 5822492 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.30 2.25 2.10 3/183 22900
/proc/meminfo: memFree=26158384/32872528 swapFree=1459604/1655828
[pid=22712] ppid=22709 vsize=1321540 CPUtime=1800.07 cores=0,2,4,6
/proc/22712/stat : 22712 (toysat) R 22709 22712 22681 0 -1 4202496 271864 0 0 0 179933 74 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140735155931288 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22712/statm: 330385 272251 789 2943 0 327279 0
[pid=22712/tid=22713] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22713/stat : 22713 (toysat) S 22709 22712 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043410713840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22712/tid=22714] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22714/stat : 22714 (toysat) S 22709 22712 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043400223984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22712/tid=22715] ppid=22709 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22712/task/22715/stat : 22715 (toysat) S 22709 22712 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11891298 1353256960 272251 33554432000 4194304 16246674 140735155948288 140043314261168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1321540

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 22712 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.08
CPU user time (s): 1799.34
CPU system time (s): 0.744886
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.744886
maximum resident set size= 1089004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271864
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= 474
involuntary context switches= 3017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50931 second user time and 6.99993 second system time

The end

Begin job on node136 at 2016-06-30 19:56:41
IDJOB=4120074
IDBENCH=109688
IDSOLVER=2542
FILE ID=node136/4120074-1467309401
RUNJOBID= node136-1467309401-22697
PBS_JOBID= 20005289
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-95.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120074-1467309401/watcher-4120074-1467309401 -o /tmp/evaluation-result-4120074-1467309401/solver-4120074-1467309401 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120074-1467309401.opb

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

MD5SUM BENCH= 86c241b1c732605b0c67d43641506fa6
RANDOM SEED=819670124

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.182
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.182
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.182
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:        28342796 kB
Buffers:          188716 kB
Cached:          1912792 kB
SwapCached:            0 kB
Active:           393100 kB
Inactive:        1734388 kB
Active(anon):      28440 kB
Inactive(anon):        0 kB
Active(file):     364660 kB
Inactive(file):  1734388 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1681904 kB
Mapped:            13640 kB
Shmem:               204 kB
Slab:             613572 kB
SReclaimable:      58056 kB
SUnreclaim:       555516 kB
KernelStack:        1360 kB
PageTables:         6572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1767444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71612 MiB
End job on node136 at 2016-06-30 20:26:42