0.00/0.00	c 2016-06-30T21:41:45+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-4121826-1467315705.opb"]
0.00/0.01	c use --random-gen="2835139837 1126493203 2846970651 2470030661 838879028 866609296 719308148 785834655 593713813 3435573704 3536984832 2550526539 2979056796 534281784 760520326 2445013458 2350227942 2619984973 3942090750 1418991029 1331540145 2006901881 2001729633 2384951595 542868484 3219160665 1111898476 2154261471 2629157182 3239181845 2508969943 1491112173 2537048311 123323504 3861598215 3612740668 2339829468 1304396007 3581727080 3903129884 2391686656 531957117 631746160 2404914401 739770900 3640943088 2945269158 3808268547 3117961583 2208694420 579843507 1293130856 993036409 3411256773 4040040484 4204542747 1010354803 3561517213 1921427867 1277585915 1887906387 2359287353 2923149868 1578643114 2796805842 1409622748 2202564711 552252604 2174911706 3039417314 4145030841 714231565 2157582724 1423052927 3667387543 2654972882 4020346467 2957665952 1712786813 2790448035 230644309 606346429 1852588502 2855682696 4207506997 3244990162 4097201519 1755602467 3564628509 1626523686 2941269034 774291320 210637647 326381895 3689900651 3555705954 3887661911 573054286 1917551384 2525834410 371946832 1686108118 3574049020 20613427 2773022039 3481282497 885571178 2057582638 1652838440 1576000200 461298792 1497324653 1390775395 711200522 468942642 2549833092 1501508435 811917364 2481561997 369158725 2302345048 2112348822 405681381 3575118979 2390307755 3512694481 3787872458 1805881383 922803875 173019400 3460967792 1390427750 610492435 2168882951 1805384349 3334995110 1675505274 2260473884 621969774 766319850 2284971676 3941682186 100075203 956440699 2714317487 2568262939 2150708247 1158389812 2002271530 2464234422 3228084076 167399096 97846680 3425901103 997591250 3644936271 1650739881 834855140 2379267073 3211121630 1825610794 18890895 4002099082 153734323 2374794667 2639001863 2710395038 3663407302 1934871476 3708907554 2413024091 1426613585 3196945504 3754307395 574127238 2704778405 2533898717 2856849081 2876659720 3820575525 3653765862 385737527 418426696 501455825 2425366206 1992051883 3962103082 3131032921 3918261795 1964981705 239067061 1891007662 3074505162 2200143982 1237370406 2104469700 1217666064 3834901943 2111273881 2286028049 873801746 3339537732 1161614302 19286388 1883895547 1803093085 1756992400 3319750029 2406414052 429171316 2478169192 3637705673 3891868784 3017799765 2621241679 3002529301 714313399 1860030353 1955639326 1571216243 1487608570 3191407497 4264128100 3475968988 402000122 2911994068 2616721679 1307619569 241780001 3436983272 541848122 4292558882 1888216248 1047026336 2199175254 996303995 3478592857 123207971 3389998403 3419918322 1173860539 1326407248 2981404429 1943763973 799140859 3854226391 172915779 1182708154 2897806690 791611644 2744117684 4109232465 3143090025 1631307065 3684235299 2664278365 255 362436" option to reproduce the execution
0.00/0.02	c #vars 269
0.00/0.02	c #constraints 268
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 |      179      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      190 |      100 |      179      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      449 |      250 |      197      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      783 |      475 |      217      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1270 |      813 |      239      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2114 |     1320 |      263      5 |        0 |        0
0.18/0.23	c  0.2s |       6 |     3350 |     2081 |      319      9 |        0 |        0
0.28/0.35	c  0.3s |       7 |     4951 |     3223 |      351     14 |        0 |        0
0.49/0.53	c  0.5s |       8 |     7380 |     4936 |      387     20 |        0 |        0
0.78/0.80	c  0.8s |       9 |    10913 |     7506 |      426     30 |        0 |        0
1.20/1.23	c  1.2s |      10 |    15768 |    11361 |      469     43 |        0 |        0
1.59/1.68	c  1.7s |      11 |    23583 |    17144 |      516     62 |        0 |        0
2.48/2.55	c  2.5s |      12 |    34521 |    25819 |      568     87 |        0 |        0
3.58/3.68	c  3.7s |      13 |    52049 |    38832 |      625    124 |        0 |        0
5.38/5.48	c  5.5s |      14 |    77713 |    58352 |      688    173 |        0 |        0
7.38/7.48	c  7.5s |      14 |   101190 |    76952 |      688    218 |        0 |        0
8.58/8.63	c  8.6s |      15 |   115099 |    87632 |      757    243 |        0 |        0
10.58/10.63	c 10.6s |      15 |   142072 |   108532 |      757    293 |        0 |        0
12.58/12.64	c 12.6s |      15 |   168489 |   128932 |      757    338 |        0 |        0
12.78/12.88	c 12.9s |      16 |   172107 |   131552 |      833    343 |        0 |        0
14.78/14.89	c 14.9s |      16 |   199369 |   152052 |      833    384 |        0 |        0
16.78/16.89	c 16.9s |      16 |   224939 |   171152 |      833    424 |        0 |        0
18.88/18.90	c 18.9s |      16 |   252444 |   191352 |      833    467 |        0 |        0
19.48/19.51	c 19.5s |      17 |   260884 |   197432 |      917    479 |        0 |        0
21.48/21.52	c 21.5s |      17 |   285534 |   216932 |      917    516 |        0 |        0
23.48/23.52	c 23.5s |      17 |   314031 |   238132 |      917    556 |        0 |        0
25.48/25.52	c 25.5s |      17 |   341357 |   258232 |      917    595 |        0 |        0
27.49/27.53	c 27.5s |      17 |   366787 |   276932 |      917    632 |        0 |        0
29.38/29.48	c 29.5s |      18 |   392827 |   296252 |     1009    669 |        0 |        0
31.38/31.48	c 31.5s |      18 |   417556 |   315152 |     1009    701 |        0 |        0
33.38/33.48	c 33.5s |      18 |   441173 |   333852 |     1009    733 |        0 |        0
35.38/35.49	c 35.5s |      18 |   465572 |   352552 |     1009    765 |        0 |        0
37.39/37.50	c 37.5s |      18 |   489530 |   371152 |     1009    797 |        0 |        0
39.48/39.51	c 39.5s |      18 |   516507 |   391252 |     1009    832 |        0 |        0
41.48/41.52	c 41.5s |      18 |   544469 |   411752 |     1009    869 |        0 |        0
43.48/43.52	c 43.5s |      18 |   571118 |   431852 |     1009    904 |        0 |        0
44.78/44.84	c 44.8s |      19 |   588010 |   444482 |     1110    925 |        0 |        0
46.78/46.85	c 46.8s |      19 |   614546 |   463982 |     1110    957 |        0 |        0
48.78/48.86	c 48.8s |      19 |   640830 |   483082 |     1110    988 |        0 |        0
50.77/50.87	c 50.8s |      19 |   666701 |   502882 |     1110   1020 |        0 |        0
52.78/52.87	c 52.9s |      19 |   695882 |   523182 |     1110   1053 |        0 |        0
54.77/54.88	c 54.9s |      19 |   722036 |   542382 |     1110   1084 |        0 |        0
56.77/56.88	c 56.9s |      19 |   747302 |   561582 |     1110   1115 |        0 |        0
58.77/58.89	c 58.9s |      19 |   773246 |   580582 |     1110   1146 |        0 |        0
60.77/60.89	c 60.9s |      19 |   799169 |   599382 |     1110   1176 |        0 |        0
62.87/62.91	c 62.9s |      19 |   822571 |   617582 |     1110   1205 |        0 |        0
64.88/64.92	c 64.9s |      19 |   849337 |   637282 |     1110   1237 |        0 |        0
66.88/66.93	c 66.9s |      19 |   873779 |   655682 |     1110   1267 |        0 |        0
68.08/68.15	c 68.1s |      20 |   888092 |   666827 |     1221   1284 |        0 |        0
70.08/70.16	c 70.1s |      20 |   912904 |   685527 |     1221   1311 |        0 |        0
72.08/72.17	c 72.1s |      20 |   936052 |   703327 |     1221   1338 |        0 |        0
74.08/74.17	c 74.2s |      20 |   960704 |   722327 |     1221   1366 |        0 |        0
76.08/76.18	c 76.2s |      20 |   987836 |   742427 |     1221   1396 |        0 |        0
78.08/78.18	c 78.2s |      20 |  1013466 |   761627 |     1221   1424 |        0 |        0
80.07/80.19	c 80.2s |      20 |  1039651 |   781327 |     1221   1453 |        0 |        0
82.17/82.20	c 82.2s |      20 |  1064534 |   800327 |     1221   1482 |        0 |        0
84.17/84.21	c 84.2s |      20 |  1087840 |   818327 |     1221   1510 |        0 |        0
86.17/86.21	c 86.2s |      20 |  1112508 |   837027 |     1221   1538 |        0 |        0
88.17/88.21	c 88.2s |      20 |  1136957 |   855627 |     1221   1567 |        0 |        0
90.18/90.21	c 90.2s |      20 |  1162602 |   875027 |     1221   1596 |        0 |        0
92.17/92.21	c 92.2s |      20 |  1185931 |   892927 |     1221   1622 |        0 |        0
94.17/94.21	c 94.2s |      20 |  1205895 |   909127 |     1221   1646 |        0 |        0
96.17/96.22	c 96.2s |      20 |  1230619 |   928127 |     1221   1674 |        0 |        0
98.17/98.23	c 98.2s |      20 |  1252779 |   945827 |     1221   1700 |        0 |        0
100.17/100.24	c  100s |      20 |  1273358 |   962427 |     1221   1724 |        0 |        0
102.16/102.24	c  102s |      20 |  1296794 |   980427 |     1221   1750 |        0 |        0
104.17/104.24	c  104s |      20 |  1321347 |   999327 |     1344   1777 |        0 |        0
104.27/104.38	c  104s |      21 |  1322488 |  1000345 |     1344   1779 |        0 |        0
106.27/106.39	c  106s |      21 |  1341859 |  1015845 |     1344   1800 |        0 |        0
108.27/108.39	c  108s |      21 |  1362110 |  1031945 |     1344   1821 |        0 |        0
110.37/110.40	c  110s |      21 |  1384291 |  1048745 |     1344   1844 |        0 |        0
112.37/112.40	c  112s |      21 |  1404539 |  1064645 |     1344   1866 |        0 |        0
114.38/114.41	c  114s |      21 |  1426857 |  1081645 |     1344   1889 |        0 |        0
116.37/116.41	c  116s |      21 |  1447856 |  1097645 |     1344   1911 |        0 |        0
118.37/118.42	c  118s |      21 |  1470426 |  1114945 |     1344   1934 |        0 |        0
120.37/120.42	c  120s |      21 |  1491858 |  1131545 |     1344   1957 |        0 |        0
122.37/122.42	c  122s |      21 |  1511631 |  1147345 |     1344   1978 |        0 |        0
124.37/124.43	c  124s |      21 |  1534387 |  1164945 |     1344   2002 |        0 |        0
126.37/126.43	c  126s |      21 |  1556162 |  1181745 |     1344   2025 |        0 |        0
128.37/128.44	c  128s |      21 |  1578998 |  1199245 |     1344   2049 |        0 |        0
130.37/130.45	c  130s |      21 |  1601161 |  1216545 |     1344   2072 |        0 |        0
132.36/132.45	c  132s |      21 |  1624196 |  1233945 |     1344   2096 |        0 |        0
134.36/134.46	c  134s |      21 |  1645492 |  1249945 |     1344   2118 |        0 |        0
136.37/136.47	c  136s |      21 |  1667207 |  1266045 |     1344   2140 |        0 |        0
138.36/138.47	c  138s |      21 |  1689904 |  1282945 |     1344   2163 |        0 |        0
140.36/140.48	c  140s |      21 |  1712507 |  1300445 |     1344   2187 |        0 |        0
142.36/142.48	c  142s |      21 |  1733608 |  1316545 |     1344   2209 |        0 |        0
144.37/144.49	c  144s |      21 |  1757525 |  1333945 |     1344   2232 |        0 |        0
146.37/146.49	c  146s |      21 |  1778501 |  1350145 |     1344   2255 |        0 |        0
148.37/148.49	c  148s |      21 |  1800045 |  1366145 |     1344   2277 |        0 |        0
150.37/150.49	c  150s |      21 |  1822308 |  1383145 |     1344   2300 |        0 |        0
152.46/152.50	c  152s |      21 |  1844879 |  1400245 |     1344   2323 |        0 |        0
154.46/154.51	c  154s |      21 |  1866139 |  1417245 |     1344   2347 |        0 |        0
156.46/156.52	c  156s |      21 |  1890377 |  1435245 |     1344   2371 |        0 |        0
158.47/158.53	c  158s |      21 |  1911823 |  1452245 |     1344   2394 |        0 |        0
160.46/160.53	c  160s |      21 |  1935096 |  1470245 |     1344   2419 |        0 |        0
162.46/162.54	c  162s |      21 |  1958798 |  1488145 |     1344   2444 |        0 |        0
163.97/164.05	c  164s |      22 |  1974644 |  1500622 |     1479   2460 |        0 |        0
165.96/166.07	c  166s |      22 |  1998026 |  1518322 |     1479   2482 |        0 |        0
167.96/168.07	c  168s |      22 |  2021389 |  1535722 |     1479   2503 |        0 |        0
169.96/170.08	c  170s |      22 |  2044513 |  1552922 |     1479   2524 |        0 |        0
171.96/172.09	c  172s |      22 |  2066900 |  1570122 |     1479   2545 |        0 |        0
173.96/174.09	c  174s |      22 |  2089725 |  1587122 |     1479   2566 |        0 |        0
175.97/176.10	c  176s |      22 |  2112088 |  1604322 |     1479   2587 |        0 |        0
178.06/178.10	c  178s |      22 |  2132728 |  1620422 |     1479   2607 |        0 |        0
180.06/180.11	c  180s |      22 |  2154728 |  1637322 |     1479   2628 |        0 |        0
182.06/182.11	c  182s |      22 |  2176038 |  1653922 |     1479   2649 |        0 |        0
184.06/184.11	c  184s |      22 |  2198965 |  1671422 |     1479   2670 |        0 |        0
186.06/186.13	c  186s |      22 |  2221527 |  1688622 |     1479   2692 |        0 |        0
188.06/188.14	c  188s |      22 |  2243331 |  1705522 |     1479   2713 |        0 |        0
190.06/190.15	c  190s |      22 |  2263778 |  1721722 |     1479   2733 |        0 |        0
192.05/192.15	c  192s |      22 |  2286416 |  1739322 |     1479   2754 |        0 |        0
194.05/194.15	c  194s |      22 |  2306608 |  1755522 |     1479   2774 |        0 |        0
196.05/196.16	c  196s |      22 |  2327209 |  1771522 |     1479   2794 |        0 |        0
198.06/198.17	c  198s |      22 |  2348402 |  1787822 |     1479   2814 |        0 |        0
200.05/200.17	c  200s |      22 |  2370355 |  1804522 |     1479   2835 |        0 |        0
202.05/202.17	c  202s |      22 |  2393338 |  1821622 |     1479   2856 |        0 |        0
204.05/204.18	c  204s |      22 |  2415618 |  1838722 |     1479   2878 |        0 |        0
206.05/206.19	c  206s |      22 |  2436961 |  1855522 |     1479   2898 |        0 |        0
208.05/208.19	c  208s |      22 |  2459090 |  1872522 |     1479   2919 |        0 |        0
210.06/210.19	c  210s |      22 |  2480463 |  1889022 |     1479   2940 |        0 |        0
212.06/212.19	c  212s |      22 |  2500755 |  1905122 |     1479   2960 |        0 |        0
214.06/214.19	c  214s |      22 |  2522226 |  1921522 |     1479   2980 |        0 |        0
216.15/216.21	c  216s |      22 |  2544796 |  1938222 |     1479   3001 |        0 |        0
218.15/218.22	c  218s |      22 |  2566463 |  1954822 |     1479   3021 |        0 |        0
220.15/220.23	c  220s |      22 |  2586976 |  1971022 |     1479   3041 |        0 |        0
222.16/222.24	c  222s |      22 |  2607390 |  1986922 |     1479   3061 |        0 |        0
224.15/224.25	c  224s |      22 |  2628191 |  2002922 |     1479   3081 |        0 |        0
226.15/226.26	c  226s |      22 |  2648322 |  2018522 |     1479   3100 |        0 |        0
228.15/228.27	c  228s |      22 |  2670366 |  2035222 |     1479   3121 |        0 |        0
230.15/230.28	c  230s |      22 |  2692212 |  2051822 |     1479   3142 |        0 |        0
232.15/232.28	c  232s |      22 |  2713008 |  2068022 |     1479   3162 |        0 |        0
234.15/234.29	c  234s |      22 |  2733344 |  2084122 |     1479   3182 |        0 |        0
236.15/236.29	c  236s |      22 |  2755400 |  2100922 |     1479   3203 |        0 |        0
238.25/238.30	c  238s |      22 |  2778611 |  2118622 |     1479   3225 |        0 |        0
240.25/240.31	c  240s |      22 |  2802315 |  2136022 |     1479   3247 |        0 |        0
242.25/242.31	c  242s |      22 |  2823966 |  2152722 |     1479   3268 |        0 |        0
244.25/244.32	c  244s |      22 |  2845958 |  2169522 |     1479   3289 |        0 |        0
246.24/246.32	c  246s |      22 |  2868426 |  2186622 |     1479   3311 |        0 |        0
248.24/248.32	c  248s |      22 |  2889699 |  2203622 |     1479   3332 |        0 |        0
250.24/250.33	c  250s |      22 |  2912805 |  2221122 |     1479   3355 |        0 |        0
252.24/252.33	c  252s |      22 |  2935072 |  2238222 |     1627   3376 |        0 |        0
253.84/253.97	c  253s |      23 |  2951180 |  2251038 |     1627   3391 |        0 |        0
255.84/255.98	c  255s |      23 |  2972351 |  2267038 |     1627   3409 |        0 |        0
257.84/257.98	c  257s |      23 |  2994534 |  2283638 |     1627   3427 |        0 |        0
259.85/259.99	c  259s |      23 |  3017791 |  2300538 |     1627   3447 |        0 |        0
261.86/262.00	c  261s |      23 |  3038299 |  2316538 |     1627   3465 |        0 |        0
263.85/264.00	c  263s |      23 |  3060252 |  2333438 |     1627   3484 |        0 |        0
265.95/266.01	c  265s |      23 |  3082106 |  2350338 |     1627   3503 |        0 |        0
267.95/268.01	c  267s |      23 |  3106082 |  2368038 |     1627   3523 |        0 |        0
269.95/270.02	c  269s |      23 |  3126747 |  2383938 |     1627   3541 |        0 |        0
271.95/272.02	c  272s |      23 |  3149931 |  2400638 |     1627   3560 |        0 |        0
273.95/274.02	c  274s |      23 |  3170584 |  2416538 |     1627   3578 |        0 |        0
275.94/276.03	c  276s |      23 |  3194564 |  2434438 |     1627   3598 |        0 |        0
277.94/278.03	c  278s |      23 |  3217880 |  2452338 |     1627   3618 |        0 |        0
279.94/280.03	c  280s |      23 |  3240943 |  2469738 |     1627   3638 |        0 |        0
281.94/282.03	c  282s |      23 |  3263971 |  2486838 |     1627   3657 |        0 |        0
283.94/284.04	c  284s |      23 |  3285778 |  2502938 |     1627   3675 |        0 |        0
285.95/286.05	c  286s |      23 |  3307059 |  2518738 |     1627   3693 |        0 |        0
287.94/288.06	c  288s |      23 |  3327666 |  2535438 |     1627   3712 |        0 |        0
289.94/290.06	c  290s |      23 |  3348450 |  2551138 |     1627   3730 |        0 |        0
291.94/292.07	c  292s |      23 |  3368983 |  2566938 |     1627   3748 |        0 |        0
293.94/294.07	c  294s |      23 |  3390629 |  2583238 |     1627   3766 |        0 |        0
295.95/296.07	c  296s |      23 |  3413817 |  2600038 |     1627   3785 |        0 |        0
297.94/298.07	c  298s |      23 |  3435529 |  2616638 |     1627   3804 |        0 |        0
299.94/300.08	c  300s |      23 |  3458494 |  2633238 |     1627   3823 |        0 |        0
301.94/302.09	c  302s |      23 |  3481155 |  2650038 |     1627   3842 |        0 |        0
303.94/304.09	c  304s |      23 |  3504173 |  2667638 |     1627   3862 |        0 |        0
305.93/306.09	c  306s |      23 |  3525008 |  2683838 |     1627   3880 |        0 |        0
307.94/308.09	c  308s |      23 |  3548140 |  2701238 |     1627   3900 |        0 |        0
310.04/310.10	c  310s |      23 |  3571554 |  2718538 |     1627   3920 |        0 |        0
312.04/312.10	c  312s |      23 |  3594473 |  2736038 |     1627   3940 |        0 |        0
314.04/314.11	c  314s |      23 |  3618427 |  2753638 |     1627   3959 |        0 |        0
316.04/316.11	c  316s |      23 |  3639590 |  2769738 |     1627   3978 |        0 |        0
318.04/318.13	c  318s |      23 |  3661974 |  2786838 |     1627   3997 |        0 |        0
320.05/320.13	c  320s |      23 |  3684797 |  2803838 |     1627   4016 |        0 |        0
322.04/322.14	c  322s |      23 |  3708339 |  2821038 |     1627   4036 |        0 |        0
324.04/324.14	c  324s |      23 |  3732123 |  2838538 |     1627   4056 |        0 |        0
326.04/326.15	c  326s |      23 |  3754499 |  2855838 |     1627   4076 |        0 |        0
328.04/328.15	c  328s |      23 |  3776572 |  2873238 |     1627   4095 |        0 |        0
330.04/330.15	c  330s |      23 |  3800413 |  2890938 |     1627   4115 |        0 |        0
332.04/332.15	c  332s |      23 |  3823260 |  2908138 |     1627   4135 |        0 |        0
334.04/334.16	c  334s |      23 |  3845148 |  2924338 |     1627   4153 |        0 |        0
336.04/336.18	c  336s |      23 |  3867563 |  2941338 |     1627   4173 |        0 |        0
338.04/338.18	c  338s |      23 |  3891362 |  2958838 |     1627   4192 |        0 |        0
340.03/340.18	c  340s |      23 |  3914116 |  2976138 |     1627   4212 |        0 |        0
342.04/342.19	c  342s |      23 |  3935804 |  2993038 |     1627   4231 |        0 |        0
344.13/344.21	c  344s |      23 |  3959868 |  3010638 |     1627   4252 |        0 |        0
346.13/346.21	c  346s |      23 |  3982601 |  3027538 |     1627   4271 |        0 |        0
348.13/348.21	c  348s |      23 |  4005201 |  3044738 |     1627   4291 |        0 |        0
350.13/350.22	c  350s |      23 |  4027480 |  3061538 |     1627   4310 |        0 |        0
352.13/352.22	c  352s |      23 |  4049493 |  3077938 |     1627   4329 |        0 |        0
354.14/354.23	c  354s |      23 |  4069542 |  3093538 |     1627   4346 |        0 |        0
356.13/356.24	c  356s |      23 |  4090921 |  3109538 |     1627   4365 |        0 |        0
358.13/358.24	c  358s |      23 |  4113785 |  3126538 |     1627   4384 |        0 |        0
360.13/360.25	c  360s |      23 |  4135656 |  3142738 |     1627   4403 |        0 |        0
362.13/362.25	c  362s |      23 |  4156740 |  3158838 |     1627   4421 |        0 |        0
364.13/364.26	c  364s |      23 |  4179432 |  3175638 |     1627   4440 |        0 |        0
366.13/366.26	c  366s |      23 |  4202864 |  3192938 |     1627   4460 |        0 |        0
368.13/368.26	c  368s |      23 |  4224248 |  3209138 |     1627   4479 |        0 |        0
370.13/370.26	c  370s |      23 |  4245519 |  3225238 |     1627   4497 |        0 |        0
372.13/372.27	c  372s |      23 |  4268701 |  3241838 |     1627   4516 |        0 |        0
374.13/374.28	c  374s |      23 |  4291611 |  3258738 |     1627   4535 |        0 |        0
376.13/376.29	c  376s |      23 |  4315906 |  3276438 |     1627   4555 |        0 |        0
378.22/378.30	c  378s |      23 |  4336544 |  3292138 |     1627   4573 |        0 |        0
380.22/380.31	c  380s |      23 |  4357811 |  3308238 |     1627   4591 |        0 |        0
382.22/382.32	c  382s |      23 |  4379898 |  3324838 |     1627   4610 |        0 |        0
384.23/384.33	c  384s |      23 |  4402396 |  3341738 |     1627   4630 |        0 |        0
386.23/386.33	c  386s |      23 |  4424662 |  3358538 |     1790   4648 |        0 |        0
388.24/388.34	c  388s |      23 |  4447330 |  3375338 |     1790   4666 |        0 |        0
388.34/388.48	c  388s |      24 |  4449180 |  3376662 |     1790   4667 |        0 |        0
390.33/390.49	c  390s |      24 |  4468148 |  3391462 |     1790   4683 |        0 |        0
392.33/392.49	c  392s |      24 |  4488199 |  3406962 |     1790   4699 |        0 |        0
394.33/394.50	c  394s |      24 |  4508607 |  3422262 |     1790   4714 |        0 |        0
396.43/396.50	c  396s |      24 |  4528191 |  3437162 |     1790   4730 |        0 |        0
398.43/398.51	c  398s |      24 |  4547521 |  3452062 |     1790   4745 |        0 |        0
400.43/400.51	c  400s |      24 |  4566919 |  3466962 |     1790   4761 |        0 |        0
402.42/402.52	c  402s |      24 |  4586485 |  3481962 |     1790   4776 |        0 |        0
404.42/404.54	c  404s |      24 |  4607275 |  3497862 |     1790   4793 |        0 |        0
406.42/406.55	c  406s |      24 |  4626519 |  3512662 |     1790   4808 |        0 |        0
408.42/408.56	c  408s |      24 |  4646743 |  3528062 |     1790   4824 |        0 |        0
410.42/410.57	c  410s |      24 |  4667191 |  3543662 |     1790   4841 |        0 |        0
412.43/412.58	c  412s |      24 |  4687259 |  3558862 |     1790   4856 |        0 |        0
414.42/414.59	c  414s |      24 |  4708688 |  3575262 |     1790   4874 |        0 |        0
416.52/416.60	c  416s |      24 |  4729686 |  3591762 |     1790   4891 |        0 |        0
418.52/418.61	c  418s |      24 |  4749671 |  3606762 |     1790   4907 |        0 |        0
420.52/420.61	c  420s |      24 |  4770171 |  3622562 |     1790   4923 |        0 |        0
422.52/422.61	c  422s |      24 |  4791203 |  3638762 |     1790   4940 |        0 |        0
424.53/424.63	c  424s |      24 |  4811081 |  3654262 |     1790   4956 |        0 |        0
426.52/426.64	c  426s |      24 |  4830820 |  3669362 |     1790   4972 |        0 |        0
428.52/428.65	c  428s |      24 |  4851848 |  3685562 |     1790   4989 |        0 |        0
430.52/430.66	c  430s |      24 |  4872719 |  3701762 |     1790   5006 |        0 |        0
432.52/432.66	c  432s |      24 |  4892882 |  3717662 |     1790   5023 |        0 |        0
434.52/434.67	c  434s |      24 |  4915342 |  3734762 |     1790   5041 |        0 |        0
436.52/436.67	c  436s |      24 |  4936276 |  3750762 |     1790   5057 |        0 |        0
438.52/438.67	c  438s |      24 |  4954834 |  3765262 |     1790   5072 |        0 |        0
440.52/440.67	c  440s |      24 |  4974219 |  3780262 |     1790   5088 |        0 |        0
442.51/442.68	c  442s |      24 |  4992866 |  3794762 |     1790   5103 |        0 |        0
444.51/444.69	c  444s |      24 |  5011448 |  3809062 |     1790   5118 |        0 |        0
446.52/446.69	c  446s |      24 |  5028900 |  3822562 |     1790   5132 |        0 |        0
448.51/448.69	c  448s |      24 |  5046661 |  3836662 |     1790   5147 |        0 |        0
450.61/450.70	c  450s |      24 |  5064878 |  3850862 |     1790   5162 |        0 |        0
452.61/452.71	c  452s |      24 |  5084128 |  3865762 |     1790   5177 |        0 |        0
454.61/454.71	c  454s |      24 |  5103342 |  3880762 |     1790   5193 |        0 |        0
456.61/456.72	c  456s |      24 |  5121777 |  3895062 |     1790   5208 |        0 |        0
458.63/458.73	c  458s |      24 |  5141596 |  3910062 |     1790   5223 |        0 |        0
460.62/460.74	c  460s |      24 |  5160503 |  3924862 |     1790   5239 |        0 |        0
462.62/462.74	c  462s |      24 |  5179102 |  3939462 |     1790   5254 |        0 |        0
464.61/464.75	c  464s |      24 |  5198456 |  3954162 |     1790   5269 |        0 |        0
466.61/466.75	c  466s |      24 |  5215951 |  3968262 |     1790   5284 |        0 |        0
468.62/468.76	c  468s |      24 |  5233475 |  3982862 |     1790   5299 |        0 |        0
470.61/470.78	c  470s |      24 |  5251141 |  3997162 |     1790   5314 |        0 |        0
472.61/472.79	c  472s |      24 |  5268064 |  4010962 |     1790   5329 |        0 |        0
474.71/474.81	c  474s |      24 |  5284279 |  4024262 |     1790   5343 |        0 |        0
476.71/476.82	c  476s |      24 |  5302211 |  4038262 |     1790   5357 |        0 |        0
478.70/478.82	c  478s |      24 |  5320403 |  4052562 |     1790   5372 |        0 |        0
480.71/480.83	c  480s |      24 |  5338201 |  4066362 |     1790   5387 |        0 |        0
482.70/482.83	c  482s |      24 |  5357383 |  4081262 |     1790   5402 |        0 |        0
484.70/484.84	c  484s |      24 |  5375054 |  4095162 |     1790   5417 |        0 |        0
486.70/486.85	c  486s |      24 |  5392642 |  4109062 |     1790   5431 |        0 |        0
488.70/488.85	c  488s |      24 |  5411427 |  4123462 |     1790   5446 |        0 |        0
490.70/490.86	c  490s |      24 |  5431541 |  4138662 |     1790   5462 |        0 |        0
492.70/492.88	c  492s |      24 |  5451721 |  4154062 |     1790   5478 |        0 |        0
494.70/494.89	c  494s |      24 |  5469887 |  4168662 |     1790   5494 |        0 |        0
496.70/496.89	c  496s |      24 |  5489483 |  4183862 |     1790   5510 |        0 |        0
498.79/498.90	c  498s |      24 |  5507523 |  4198162 |     1790   5525 |        0 |        0
500.79/500.91	c  500s |      24 |  5525387 |  4212362 |     1790   5540 |        0 |        0
502.79/502.92	c  502s |      24 |  5544306 |  4226962 |     1790   5555 |        0 |        0
504.80/504.93	c  504s |      24 |  5562487 |  4241062 |     1790   5570 |        0 |        0
506.79/506.95	c  506s |      24 |  5582078 |  4256362 |     1790   5587 |        0 |        0
508.78/508.95	c  508s |      24 |  5601083 |  4271162 |     1790   5602 |        0 |        0
510.78/510.96	c  510s |      24 |  5621879 |  4286962 |     1790   5619 |        0 |        0
512.78/512.96	c  512s |      24 |  5643815 |  4303362 |     1790   5637 |        0 |        0
514.80/514.97	c  514s |      24 |  5664219 |  4319262 |     1790   5653 |        0 |        0
516.79/516.97	c  516s |      24 |  5685198 |  4335162 |     1790   5670 |        0 |        0
518.79/518.97	c  518s |      24 |  5706611 |  4350662 |     1790   5687 |        0 |        0
520.78/520.98	c  520s |      24 |  5728049 |  4366762 |     1790   5704 |        0 |        0
522.78/522.99	c  522s |      24 |  5749119 |  4382762 |     1790   5720 |        0 |        0
524.78/524.99	c  524s |      24 |  5770028 |  4398562 |     1790   5737 |        0 |        0
526.79/526.99	c  526s |      24 |  5788061 |  4412962 |     1790   5752 |        0 |        0
528.78/528.99	c  528s |      24 |  5807248 |  4427962 |     1790   5768 |        0 |        0
530.88/531.00	c  530s |      24 |  5826763 |  4443362 |     1790   5784 |        0 |        0
532.88/533.00	c  532s |      24 |  5845675 |  4458562 |     1790   5801 |        0 |        0
534.88/535.01	c  534s |      24 |  5865279 |  4472962 |     1790   5816 |        0 |        0
536.88/537.02	c  536s |      24 |  5884571 |  4487462 |     1790   5831 |        0 |        0
538.88/539.02	c  539s |      24 |  5904733 |  4502662 |     1790   5848 |        0 |        0
540.87/541.03	c  541s |      24 |  5924442 |  4517462 |     1790   5863 |        0 |        0
542.87/543.04	c  543s |      24 |  5942628 |  4531462 |     1790   5878 |        0 |        0
544.87/545.05	c  545s |      24 |  5962206 |  4546362 |     1790   5894 |        0 |        0
546.87/547.05	c  547s |      24 |  5982377 |  4561562 |     1790   5910 |        0 |        0
548.88/549.06	c  549s |      24 |  6002380 |  4576762 |     1790   5927 |        0 |        0
550.87/551.07	c  551s |      24 |  6022402 |  4592362 |     1790   5943 |        0 |        0
552.87/553.08	c  553s |      24 |  6043437 |  4608062 |     1790   5960 |        0 |        0
554.87/555.09	c  555s |      24 |  6063446 |  4623462 |     1790   5976 |        0 |        0
556.87/557.09	c  557s |      24 |  6083903 |  4639362 |     1790   5994 |        0 |        0
558.86/559.09	c  559s |      24 |  6104405 |  4654962 |     1790   6010 |        0 |        0
560.87/561.09	c  561s |      24 |  6123915 |  4669862 |     1790   6026 |        0 |        0
562.96/563.11	c  563s |      24 |  6143890 |  4685262 |     1790   6043 |        0 |        0
564.96/565.11	c  565s |      24 |  6163817 |  4700662 |     1790   6059 |        0 |        0
566.96/567.12	c  567s |      24 |  6184509 |  4716562 |     1790   6076 |        0 |        0
568.96/569.13	c  569s |      24 |  6202744 |  4731362 |     1790   6092 |        0 |        0
570.96/571.13	c  571s |      24 |  6218412 |  4744662 |     1790   6106 |        0 |        0
572.96/573.14	c  573s |      24 |  6237103 |  4759062 |     1790   6122 |        0 |        0
574.95/575.15	c  575s |      24 |  6258029 |  4774962 |     1790   6139 |        0 |        0
576.95/577.16	c  577s |      24 |  6277578 |  4790062 |     1790   6155 |        0 |        0
578.95/579.16	c  579s |      24 |  6298720 |  4806062 |     1790   6172 |        0 |        0
580.95/581.17	c  581s |      24 |  6318238 |  4821462 |     1790   6188 |        0 |        0
582.96/583.18	c  583s |      24 |  6339149 |  4837462 |     1790   6205 |        0 |        0
584.95/585.19	c  585s |      24 |  6359671 |  4853262 |     1790   6222 |        0 |        0
586.95/587.19	c  587s |      24 |  6380283 |  4868562 |     1790   6238 |        0 |        0
588.95/589.20	c  589s |      24 |  6400704 |  4883962 |     1790   6254 |        0 |        0
591.04/591.20	c  591s |      24 |  6419272 |  4898562 |     1790   6270 |        0 |        0
593.04/593.21	c  593s |      24 |  6436601 |  4912462 |     1790   6285 |        0 |        0
595.05/595.21	c  595s |      24 |  6453831 |  4925762 |     1790   6299 |        0 |        0
597.04/597.22	c  597s |      24 |  6470673 |  4938562 |     1790   6313 |        0 |        0
599.04/599.23	c  599s |      24 |  6489058 |  4952662 |     1790   6328 |        0 |        0
601.04/601.24	c  601s |      24 |  6507446 |  4966462 |     1790   6343 |        0 |        0
603.04/603.24	c  603s |      24 |  6526757 |  4980962 |     1790   6358 |        0 |        0
605.04/605.24	c  605s |      24 |  6545870 |  4995662 |     1790   6374 |        0 |        0
607.05/607.24	c  607s |      24 |  6563613 |  5009162 |     1790   6388 |        0 |        0
609.04/609.24	c  609s |      24 |  6581658 |  5022662 |     1790   6402 |        0 |        0
611.04/611.25	c  611s |      24 |  6599302 |  5036262 |     1970   6416 |        0 |        0
613.04/613.25	c  613s |      24 |  6617261 |  5049762 |     1970   6429 |        0 |        0
615.04/615.26	c  615s |      24 |  6633994 |  5062762 |     1970   6442 |        0 |        0
615.44/615.64	c  615s |      25 |  6636793 |  5065098 |     1970   6444 |        0 |        0
617.44/617.64	c  617s |      25 |  6654794 |  5078998 |     1970   6458 |        0 |        0
619.43/619.64	c  619s |      25 |  6671088 |  5091498 |     1970   6469 |        0 |        0
621.44/621.65	c  621s |      25 |  6691708 |  5106498 |     1970   6484 |        0 |        0
623.43/623.66	c  623s |      25 |  6710297 |  5120998 |     1970   6497 |        0 |        0
625.43/625.66	c  625s |      25 |  6729719 |  5135898 |     1970   6512 |        0 |        0
627.43/627.68	c  627s |      25 |  6748832 |  5150598 |     1970   6526 |        0 |        0
629.43/629.68	c  629s |      25 |  6768304 |  5165498 |     1970   6541 |        0 |        0
631.53/631.70	c  631s |      25 |  6787749 |  5179698 |     1970   6554 |        0 |        0
633.54/633.71	c  633s |      25 |  6804787 |  5192698 |     1970   6567 |        0 |        0
635.53/635.72	c  635s |      25 |  6822532 |  5206098 |     1970   6580 |        0 |        0
637.53/637.72	c  637s |      25 |  6840369 |  5219498 |     1970   6593 |        0 |        0
639.52/639.73	c  639s |      25 |  6858182 |  5233198 |     1970   6607 |        0 |        0
641.52/641.73	c  641s |      25 |  6876495 |  5247298 |     1970   6620 |        0 |        0
643.52/643.74	c  643s |      25 |  6894336 |  5260898 |     1970   6634 |        0 |        0
645.53/645.75	c  645s |      25 |  6913115 |  5274798 |     1970   6647 |        0 |        0
647.52/647.76	c  647s |      25 |  6932318 |  5289198 |     1970   6661 |        0 |        0
649.52/649.77	c  649s |      25 |  6952259 |  5303998 |     1970   6675 |        0 |        0
651.51/651.79	c  651s |      25 |  6971652 |  5318598 |     1970   6690 |        0 |        0
653.51/653.79	c  653s |      25 |  6991395 |  5333698 |     1970   6704 |        0 |        0
655.61/655.80	c  655s |      25 |  7011053 |  5348698 |     1970   6719 |        0 |        0
657.62/657.81	c  657s |      25 |  7028376 |  5362398 |     1970   6732 |        0 |        0
659.61/659.81	c  659s |      25 |  7048162 |  5377198 |     1970   6746 |        0 |        0
661.61/661.81	c  661s |      25 |  7067149 |  5391798 |     1970   6760 |        0 |        0
663.61/663.82	c  663s |      25 |  7091187 |  5408898 |     1970   6777 |        0 |        0
665.61/665.83	c  665s |      25 |  7112791 |  5425098 |     1970   6792 |        0 |        0
667.61/667.83	c  667s |      25 |  7133579 |  5440998 |     1970   6808 |        0 |        0
669.61/669.84	c  669s |      25 |  7151313 |  5454898 |     1970   6821 |        0 |        0
671.61/671.84	c  671s |      25 |  7169064 |  5468498 |     1970   6834 |        0 |        0
673.61/673.85	c  673s |      25 |  7189638 |  5484198 |     1970   6850 |        0 |        0
675.61/675.85	c  675s |      25 |  7209734 |  5499098 |     1970   6864 |        0 |        0
677.61/677.86	c  677s |      25 |  7230199 |  5514798 |     1970   6879 |        0 |        0
679.61/679.88	c  679s |      25 |  7250748 |  5530398 |     1970   6894 |        0 |        0
681.60/681.88	c  681s |      25 |  7271994 |  5546198 |     1970   6910 |        0 |        0
683.60/683.89	c  683s |      25 |  7291592 |  5561198 |     1970   6924 |        0 |        0
685.60/685.89	c  685s |      25 |  7310671 |  5575798 |     1970   6938 |        0 |        0
687.70/687.90	c  687s |      25 |  7330684 |  5590998 |     1970   6953 |        0 |        0
689.70/689.91	c  689s |      25 |  7352219 |  5606798 |     1970   6969 |        0 |        0
691.71/691.92	c  691s |      25 |  7372065 |  5621898 |     1970   6983 |        0 |        0
693.70/693.93	c  693s |      25 |  7391724 |  5636498 |     1970   6997 |        0 |        0
695.70/695.94	c  695s |      25 |  7410706 |  5650798 |     1970   7011 |        0 |        0
697.70/697.94	c  697s |      25 |  7429882 |  5665398 |     1970   7025 |        0 |        0
699.71/699.95	c  699s |      25 |  7450382 |  5680598 |     1970   7040 |        0 |        0
701.71/701.95	c  701s |      25 |  7470672 |  5695998 |     1970   7055 |        0 |        0
703.71/703.96	c  703s |      25 |  7492369 |  5711798 |     1970   7070 |        0 |        0
705.70/705.96	c  705s |      25 |  7514635 |  5728298 |     1970   7087 |        0 |        0
707.70/707.97	c  707s |      25 |  7535368 |  5743698 |     1970   7101 |        0 |        0
709.70/709.98	c  709s |      25 |  7553734 |  5757498 |     1970   7115 |        0 |        0
711.80/712.00	c  711s |      25 |  7573862 |  5772498 |     1970   7129 |        0 |        0
713.71/714.00	c  713s |      25 |  7592162 |  5786598 |     1970   7143 |        0 |        0
715.80/716.00	c  715s |      25 |  7611092 |  5800998 |     1970   7157 |        0 |        0
717.80/718.01	c  717s |      25 |  7629239 |  5815198 |     1970   7170 |        0 |        0
719.79/720.02	c  719s |      25 |  7646894 |  5828698 |     1970   7183 |        0 |        0
721.79/722.03	c  722s |      25 |  7664675 |  5842198 |     1970   7197 |        0 |        0
723.79/724.03	c  724s |      25 |  7682410 |  5855998 |     1970   7210 |        0 |        0
725.80/726.05	c  726s |      25 |  7700660 |  5869898 |     1970   7224 |        0 |        0
727.79/728.06	c  728s |      25 |  7720926 |  5885198 |     1970   7238 |        0 |        0
729.79/730.08	c  730s |      25 |  7738340 |  5898898 |     1970   7251 |        0 |        0
731.79/732.08	c  732s |      25 |  7756689 |  5913098 |     1970   7265 |        0 |        0
733.78/734.09	c  734s |      25 |  7774289 |  5926598 |     1970   7278 |        0 |        0
735.79/736.09	c  736s |      25 |  7792262 |  5940398 |     1970   7291 |        0 |        0
737.89/738.11	c  738s |      25 |  7808751 |  5953198 |     1970   7304 |        0 |        0
739.88/740.11	c  740s |      25 |  7825527 |  5966798 |     1970   7317 |        0 |        0
741.88/742.12	c  742s |      25 |  7844018 |  5980498 |     1970   7330 |        0 |        0
743.88/744.13	c  744s |      25 |  7862453 |  5994098 |     1970   7343 |        0 |        0
745.87/746.14	c  746s |      25 |  7879168 |  6007298 |     1970   7356 |        0 |        0
747.89/748.15	c  748s |      25 |  7897060 |  6021198 |     1970   7370 |        0 |        0
749.88/750.16	c  750s |      25 |  7915225 |  6035498 |     1970   7383 |        0 |        0
751.88/752.17	c  752s |      25 |  7933844 |  6049698 |     1970   7397 |        0 |        0
753.88/754.17	c  754s |      25 |  7952659 |  6063598 |     1970   7411 |        0 |        0
755.88/756.17	c  756s |      25 |  7970618 |  6077398 |     1970   7424 |        0 |        0
757.88/758.17	c  758s |      25 |  7988226 |  6090298 |     1970   7437 |        0 |        0
759.88/760.17	c  760s |      25 |  8005615 |  6103798 |     1970   7450 |        0 |        0
761.87/762.18	c  762s |      25 |  8023747 |  6117498 |     1970   7463 |        0 |        0
763.97/764.20	c  764s |      25 |  8042228 |  6131698 |     1970   7477 |        0 |        0
765.97/766.21	c  766s |      25 |  8059839 |  6145198 |     1970   7490 |        0 |        0
767.97/768.22	c  768s |      25 |  8078865 |  6159098 |     1970   7503 |        0 |        0
769.97/770.22	c  770s |      25 |  8097417 |  6173398 |     1970   7517 |        0 |        0
771.97/772.23	c  772s |      25 |  8115757 |  6187798 |     1970   7531 |        0 |        0
773.96/774.25	c  774s |      25 |  8134078 |  6202198 |     1970   7545 |        0 |        0
775.96/776.25	c  776s |      25 |  8153063 |  6216498 |     1970   7559 |        0 |        0
777.96/778.26	c  778s |      25 |  8172452 |  6230798 |     1970   7573 |        0 |        0
779.96/780.27	c  780s |      25 |  8191695 |  6245298 |     1970   7587 |        0 |        0
781.96/782.28	c  782s |      25 |  8211085 |  6259898 |     1970   7601 |        0 |        0
783.95/784.28	c  784s |      25 |  8231580 |  6274798 |     1970   7616 |        0 |        0
785.95/786.29	c  786s |      25 |  8251187 |  6289398 |     1970   7630 |        0 |        0
788.05/788.30	c  788s |      25 |  8270731 |  6304098 |     1970   7644 |        0 |        0
790.05/790.30	c  790s |      25 |  8290487 |  6319098 |     1970   7659 |        0 |        0
792.05/792.32	c  792s |      25 |  8310212 |  6333798 |     1970   7673 |        0 |        0
794.05/794.32	c  794s |      25 |  8330966 |  6348798 |     1970   7688 |        0 |        0
796.05/796.33	c  796s |      25 |  8351269 |  6364198 |     1970   7703 |        0 |        0
798.04/798.33	c  798s |      25 |  8370860 |  6378998 |     1970   7717 |        0 |        0
800.05/800.33	c  800s |      25 |  8390251 |  6393298 |     1970   7731 |        0 |        0
802.05/802.34	c  802s |      25 |  8410937 |  6408198 |     1970   7745 |        0 |        0
804.04/804.34	c  804s |      25 |  8430180 |  6422798 |     1970   7759 |        0 |        0
806.05/806.34	c  806s |      25 |  8448967 |  6436898 |     1970   7773 |        0 |        0
808.04/808.35	c  808s |      25 |  8466424 |  6450198 |     1970   7786 |        0 |        0
810.04/810.35	c  810s |      25 |  8484842 |  6463698 |     1970   7799 |        0 |        0
812.04/812.36	c  812s |      25 |  8503535 |  6477598 |     1970   7813 |        0 |        0
814.04/814.36	c  814s |      25 |  8521403 |  6491198 |     1970   7826 |        0 |        0
816.04/816.37	c  816s |      25 |  8540701 |  6505598 |     1970   7840 |        0 |        0
818.04/818.38	c  818s |      25 |  8559879 |  6520198 |     1970   7854 |        0 |        0
820.03/820.38	c  820s |      25 |  8578913 |  6534398 |     1970   7868 |        0 |        0
822.03/822.38	c  822s |      25 |  8596061 |  6547498 |     1970   7881 |        0 |        0
824.03/824.39	c  824s |      25 |  8614642 |  6561698 |     1970   7894 |        0 |        0
826.13/826.40	c  826s |      25 |  8631893 |  6575098 |     1970   7907 |        0 |        0
828.04/828.40	c  828s |      25 |  8651817 |  6589998 |     1970   7922 |        0 |        0
830.12/830.41	c  830s |      25 |  8672078 |  6605198 |     1970   7936 |        0 |        0
832.12/832.42	c  832s |      25 |  8691546 |  6619698 |     1970   7950 |        0 |        0
834.13/834.44	c  834s |      25 |  8709328 |  6633298 |     1970   7964 |        0 |        0
836.13/836.44	c  836s |      25 |  8729505 |  6648298 |     1970   7978 |        0 |        0
838.13/838.44	c  838s |      25 |  8748284 |  6662798 |     1970   7992 |        0 |        0
840.13/840.45	c  840s |      25 |  8765854 |  6676898 |     1970   8006 |        0 |        0
842.12/842.45	c  842s |      25 |  8787625 |  6692898 |     1970   8021 |        0 |        0
844.12/844.46	c  844s |      25 |  8808347 |  6708098 |     1970   8036 |        0 |        0
846.12/846.47	c  846s |      25 |  8829478 |  6723598 |     1970   8051 |        0 |        0
848.12/848.47	c  848s |      25 |  8848499 |  6737998 |     1970   8065 |        0 |        0
850.12/850.48	c  850s |      25 |  8866324 |  6751998 |     1970   8079 |        0 |        0
852.12/852.49	c  852s |      25 |  8885443 |  6766798 |     1970   8093 |        0 |        0
854.22/854.50	c  854s |      25 |  8904576 |  6780898 |     1970   8107 |        0 |        0
856.21/856.50	c  856s |      25 |  8923631 |  6795098 |     1970   8121 |        0 |        0
858.21/858.51	c  858s |      25 |  8941762 |  6809098 |     1970   8134 |        0 |        0
860.21/860.52	c  860s |      25 |  8961625 |  6823598 |     1970   8149 |        0 |        0
862.22/862.53	c  862s |      25 |  8983038 |  6839198 |     1970   8163 |        0 |        0
864.21/864.54	c  864s |      25 |  9002305 |  6854198 |     1970   8178 |        0 |        0
866.21/866.54	c  866s |      25 |  9020311 |  6868098 |     1970   8191 |        0 |        0
868.21/868.56	c  868s |      25 |  9039926 |  6882598 |     1970   8205 |        0 |        0
870.20/870.57	c  870s |      25 |  9059517 |  6897698 |     1970   8220 |        0 |        0
872.20/872.57	c  872s |      25 |  9078853 |  6912498 |     1970   8234 |        0 |        0
874.21/874.58	c  874s |      25 |  9097770 |  6926798 |     1970   8248 |        0 |        0
876.20/876.59	c  876s |      25 |  9117678 |  6941198 |     1970   8262 |        0 |        0
878.30/878.60	c  878s |      25 |  9135409 |  6954798 |     1970   8275 |        0 |        0
880.30/880.60	c  880s |      25 |  9154253 |  6968698 |     1970   8289 |        0 |        0
882.30/882.60	c  882s |      25 |  9174508 |  6983198 |     1970   8303 |        0 |        0
884.30/884.61	c  884s |      25 |  9193366 |  6997198 |     1970   8316 |        0 |        0
886.30/886.63	c  886s |      25 |  9213537 |  7011998 |     1970   8331 |        0 |        0
888.29/888.64	c  888s |      25 |  9233638 |  7027098 |     1970   8346 |        0 |        0
890.29/890.66	c  890s |      25 |  9253493 |  7042098 |     1970   8360 |        0 |        0
892.30/892.67	c  892s |      25 |  9273377 |  7057098 |     1970   8375 |        0 |        0
894.30/894.67	c  894s |      25 |  9293377 |  7072198 |     1970   8389 |        0 |        0
896.30/896.67	c  896s |      25 |  9312598 |  7086798 |     1970   8404 |        0 |        0
898.30/898.68	c  898s |      25 |  9332109 |  7101498 |     1970   8418 |        0 |        0
900.29/900.69	c  900s |      25 |  9352024 |  7116598 |     1970   8432 |        0 |        0
902.39/902.70	c  902s |      25 |  9370763 |  7130898 |     1970   8446 |        0 |        0
904.39/904.70	c  904s |      25 |  9390726 |  7146098 |     1970   8461 |        0 |        0
906.39/906.71	c  906s |      25 |  9410857 |  7160798 |     1970   8476 |        0 |        0
908.40/908.72	c  908s |      25 |  9430765 |  7175598 |     1970   8490 |        0 |        0
910.39/910.73	c  910s |      25 |  9449219 |  7189598 |     1970   8504 |        0 |        0
912.39/912.73	c  912s |      25 |  9468936 |  7204498 |     1970   8518 |        0 |        0
914.39/914.74	c  914s |      25 |  9488929 |  7219198 |     1970   8532 |        0 |        0
916.39/916.74	c  916s |      25 |  9508851 |  7234098 |     1970   8547 |        0 |        0
918.39/918.75	c  918s |      25 |  9528630 |  7248998 |     1970   8561 |        0 |        0
920.39/920.76	c  920s |      25 |  9544890 |  7262098 |     1970   8574 |        0 |        0
922.38/922.78	c  922s |      25 |  9561131 |  7274998 |     1970   8587 |        0 |        0
924.38/924.79	c  924s |      25 |  9580906 |  7289798 |     1970   8601 |        0 |        0
926.38/926.79	c  926s |      25 |  9599286 |  7303898 |     1970   8614 |        0 |        0
928.38/928.79	c  928s |      25 |  9617453 |  7317898 |     1970   8628 |        0 |        0
930.38/930.79	c  930s |      25 |  9635357 |  7331998 |     1970   8642 |        0 |        0
932.37/932.80	c  932s |      25 |  9654694 |  7346498 |     1970   8656 |        0 |        0
934.47/934.80	c  934s |      25 |  9671899 |  7360298 |     1970   8669 |        0 |        0
936.47/936.82	c  936s |      25 |  9691195 |  7375198 |     1970   8684 |        0 |        0
938.47/938.83	c  938s |      25 |  9710730 |  7390298 |     1970   8698 |        0 |        0
940.47/940.83	c  940s |      25 |  9732253 |  7405898 |     1970   8713 |        0 |        0
942.47/942.84	c  942s |      25 |  9751932 |  7421298 |     1970   8728 |        0 |        0
944.47/944.84	c  944s |      25 |  9771096 |  7435998 |     1970   8743 |        0 |        0
946.46/946.84	c  946s |      25 |  9790552 |  7450798 |     1970   8757 |        0 |        0
948.46/948.85	c  948s |      25 |  9809409 |  7465398 |     1970   8771 |        0 |        0
950.46/950.86	c  950s |      25 |  9827033 |  7478898 |     1970   8784 |        0 |        0
952.46/952.86	c  952s |      25 |  9847200 |  7493798 |     1970   8799 |        0 |        0
954.46/954.87	c  954s |      25 |  9866852 |  7508998 |     1970   8814 |        0 |        0
956.46/956.88	c  956s |      25 |  9887033 |  7524198 |     1970   8828 |        0 |        0
958.46/958.89	c  958s |      25 |  9908236 |  7539598 |     1970   8843 |        0 |        0
960.55/960.90	c  960s |      25 |  9927128 |  7553498 |     2167   8856 |        0 |        0
962.55/962.92	c  962s |      25 |  9945772 |  7567498 |     2167   8868 |        0 |        0
964.55/964.93	c  964s |      25 |  9962967 |  7580598 |     2167   8880 |        0 |        0
966.56/966.93	c  966s |      25 |  9981109 |  7594298 |     2167   8892 |        0 |        0
967.05/967.44	c  967s |      26 |  9985695 |  7597752 |     2167   8895 |        0 |        0
969.05/969.45	c  969s |      26 | 10006833 |  7613452 |     2167   8909 |        0 |        0
971.05/971.46	c  971s |      26 | 10024534 |  7626652 |     2167   8921 |        0 |        0
973.05/973.47	c  973s |      26 | 10042978 |  7640352 |     2167   8933 |        0 |        0
975.04/975.48	c  975s |      26 | 10062291 |  7654552 |     2167   8945 |        0 |        0
977.04/977.50	c  977s |      26 | 10081307 |  7668352 |     2167   8958 |        0 |        0
979.14/979.52	c  979s |      26 | 10100192 |  7681452 |     2167   8969 |        0 |        0
981.14/981.52	c  981s |      26 | 10114617 |  7692152 |     2167   8979 |        0 |        0
983.15/983.53	c  983s |      26 | 10132445 |  7705652 |     2167   8991 |        0 |        0
985.14/985.54	c  985s |      26 | 10149887 |  7718952 |     2167   9002 |        0 |        0
987.14/987.55	c  987s |      26 | 10169244 |  7733052 |     2167   9015 |        0 |        0
989.14/989.56	c  989s |      26 | 10186796 |  7745552 |     2167   9026 |        0 |        0
991.14/991.58	c  991s |      26 | 10204050 |  7757752 |     2167   9037 |        0 |        0
993.14/993.59	c  993s |      26 | 10221864 |  7770652 |     2167   9049 |        0 |        0
995.14/995.59	c  995s |      26 | 10241001 |  7784552 |     2167   9061 |        0 |        0
997.13/997.60	c  997s |      26 | 10258096 |  7797252 |     2167   9072 |        0 |        0
999.23/999.61	c  999s |      26 | 10276848 |  7811052 |     2167   9085 |        0 |        0
1001.23/1001.62	c 1001s |      26 | 10292921 |  7823252 |     2167   9096 |        0 |        0
1003.23/1003.63	c 1003s |      26 | 10311152 |  7836952 |     2167   9108 |        0 |        0
1005.23/1005.64	c 1005s |      26 | 10330851 |  7851152 |     2167   9120 |        0 |        0
1007.24/1007.64	c 1007s |      26 | 10350813 |  7865552 |     2167   9133 |        0 |        0
1009.22/1009.65	c 1009s |      26 | 10366769 |  7877652 |     2167   9144 |        0 |        0
1011.22/1011.66	c 1011s |      26 | 10384071 |  7890052 |     2167   9155 |        0 |        0
1013.22/1013.66	c 1013s |      26 | 10402557 |  7903052 |     2167   9167 |        0 |        0
1015.22/1015.67	c 1015s |      26 | 10424026 |  7917852 |     2167   9180 |        0 |        0
1017.23/1017.67	c 1017s |      26 | 10442293 |  7931152 |     2167   9192 |        0 |        0
1019.22/1019.69	c 1019s |      26 | 10458952 |  7944052 |     2167   9203 |        0 |        0
1021.32/1021.70	c 1021s |      26 | 10476348 |  7956652 |     2167   9215 |        0 |        0
1023.32/1023.71	c 1023s |      26 | 10494358 |  7969952 |     2167   9227 |        0 |        0
1025.32/1025.72	c 1025s |      26 | 10513650 |  7983852 |     2167   9239 |        0 |        0
1027.32/1027.72	c 1027s |      26 | 10533017 |  7997852 |     2167   9252 |        0 |        0
1029.32/1029.73	c 1029s |      26 | 10551493 |  8011452 |     2167   9264 |        0 |        0
1031.32/1031.74	c 1031s |      26 | 10571925 |  8026152 |     2167   9277 |        0 |        0
1033.32/1033.74	c 1033s |      26 | 10589214 |  8039252 |     2167   9288 |        0 |        0
1035.32/1035.76	c 1035s |      26 | 10606443 |  8052452 |     2167   9300 |        0 |        0
1037.31/1037.76	c 1037s |      26 | 10622535 |  8064852 |     2167   9311 |        0 |        0
1039.31/1039.76	c 1039s |      26 | 10639449 |  8077952 |     2167   9323 |        0 |        0
1041.32/1041.77	c 1041s |      26 | 10657737 |  8091852 |     2167   9335 |        0 |        0
1043.31/1043.78	c 1043s |      26 | 10676281 |  8105852 |     2167   9347 |        0 |        0
1045.31/1045.79	c 1045s |      26 | 10693143 |  8119052 |     2167   9359 |        0 |        0
1047.41/1047.80	c 1047s |      26 | 10710386 |  8132052 |     2167   9371 |        0 |        0
1049.40/1049.81	c 1049s |      26 | 10728405 |  8145252 |     2167   9383 |        0 |        0
1051.40/1051.81	c 1051s |      26 | 10746298 |  8158352 |     2167   9394 |        0 |        0
1053.41/1053.83	c 1053s |      26 | 10763652 |  8171652 |     2167   9406 |        0 |        0
1055.40/1055.84	c 1055s |      26 | 10780196 |  8184852 |     2167   9417 |        0 |        0
1057.40/1057.84	c 1057s |      26 | 10796870 |  8198252 |     2167   9429 |        0 |        0
1059.40/1059.85	c 1059s |      26 | 10814495 |  8212252 |     2167   9442 |        0 |        0
1061.40/1061.86	c 1061s |      26 | 10835571 |  8227252 |     2167   9455 |        0 |        0
1063.41/1063.87	c 1063s |      26 | 10855671 |  8241952 |     2167   9468 |        0 |        0
1065.40/1065.88	c 1065s |      26 | 10874559 |  8256452 |     2167   9481 |        0 |        0
1067.40/1067.89	c 1067s |      26 | 10891795 |  8269652 |     2167   9493 |        0 |        0
1069.49/1069.90	c 1069s |      26 | 10910503 |  8283152 |     2167   9505 |        0 |        0
1071.49/1071.91	c 1071s |      26 | 10928732 |  8296652 |     2167   9517 |        0 |        0
1073.49/1073.93	c 1073s |      26 | 10946078 |  8309652 |     2167   9528 |        0 |        0
1075.50/1075.93	c 1075s |      26 | 10962950 |  8322452 |     2167   9540 |        0 |        0
1077.49/1077.93	c 1077s |      26 | 10984088 |  8337252 |     2167   9553 |        0 |        0
1079.49/1079.93	c 1079s |      26 | 11003850 |  8351952 |     2167   9566 |        0 |        0
1081.49/1081.95	c 1081s |      26 | 11022721 |  8365752 |     2167   9578 |        0 |        0
1083.49/1083.97	c 1083s |      26 | 11040119 |  8378352 |     2167   9590 |        0 |        0
1085.49/1085.97	c 1085s |      26 | 11058483 |  8392452 |     2167   9602 |        0 |        0
1087.49/1087.99	c 1087s |      26 | 11079589 |  8407652 |     2167   9616 |        0 |        0
1089.58/1090.00	c 1089s |      26 | 11097331 |  8421252 |     2167   9628 |        0 |        0
1091.58/1092.01	c 1091s |      26 | 11114469 |  8434552 |     2167   9640 |        0 |        0
1093.59/1094.01	c 1093s |      26 | 11133370 |  8448752 |     2167   9652 |        0 |        0
1095.59/1096.01	c 1095s |      26 | 11153456 |  8463352 |     2167   9665 |        0 |        0
1097.59/1098.02	c 1097s |      26 | 11173245 |  8477852 |     2167   9678 |        0 |        0
1099.59/1100.02	c 1100s |      26 | 11191454 |  8491652 |     2167   9690 |        0 |        0
1101.58/1102.03	c 1102s |      26 | 11209197 |  8504952 |     2167   9702 |        0 |        0
1103.58/1104.04	c 1104s |      26 | 11227055 |  8518552 |     2167   9714 |        0 |        0
1105.58/1106.05	c 1106s |      26 | 11244765 |  8532152 |     2167   9726 |        0 |        0
1107.58/1108.06	c 1108s |      26 | 11262809 |  8545952 |     2167   9739 |        0 |        0
1109.59/1110.07	c 1110s |      26 | 11279204 |  8558852 |     2167   9750 |        0 |        0
1111.58/1112.08	c 1112s |      26 | 11296290 |  8572152 |     2167   9762 |        0 |        0
1113.58/1114.08	c 1114s |      26 | 11314353 |  8585752 |     2167   9774 |        0 |        0
1115.58/1116.09	c 1116s |      26 | 11329979 |  8597152 |     2167   9784 |        0 |        0
1117.68/1118.10	c 1118s |      26 | 11346291 |  8609052 |     2167   9795 |        0 |        0
1119.68/1120.11	c 1120s |      26 | 11363157 |  8622152 |     2167   9807 |        0 |        0
1121.68/1122.12	c 1122s |      26 | 11378415 |  8634252 |     2167   9817 |        0 |        0
1123.67/1124.13	c 1124s |      26 | 11396893 |  8647952 |     2167   9830 |        0 |        0
1125.67/1126.13	c 1126s |      26 | 11413854 |  8660352 |     2167   9841 |        0 |        0
1127.67/1128.14	c 1128s |      26 | 11431252 |  8673552 |     2167   9852 |        0 |        0
1129.67/1130.16	c 1130s |      26 | 11448243 |  8685952 |     2167   9864 |        0 |        0
1131.67/1132.16	c 1132s |      26 | 11467753 |  8699852 |     2167   9876 |        0 |        0
1133.68/1134.16	c 1134s |      26 | 11487117 |  8713852 |     2167   9888 |        0 |        0
1135.67/1136.17	c 1136s |      26 | 11502254 |  8725652 |     2167   9899 |        0 |        0
1137.67/1138.18	c 1138s |      26 | 11518220 |  8737552 |     2167   9910 |        0 |        0
1139.67/1140.18	c 1140s |      26 | 11531768 |  8748352 |     2167   9919 |        0 |        0
1141.67/1142.19	c 1142s |      26 | 11547905 |  8760552 |     2167   9930 |        0 |        0
1143.77/1144.20	c 1144s |      26 | 11565587 |  8773752 |     2167   9942 |        0 |        0
1145.78/1146.21	c 1146s |      26 | 11583479 |  8787352 |     2167   9954 |        0 |        0
1147.78/1148.22	c 1148s |      26 | 11601867 |  8801452 |     2167   9967 |        0 |        0
1149.78/1150.22	c 1150s |      26 | 11619504 |  8814852 |     2167   9979 |        0 |        0
1151.77/1152.23	c 1152s |      26 | 11638635 |  8829252 |     2167   9992 |        0 |        0
1153.77/1154.24	c 1154s |      26 | 11656428 |  8843052 |     2167  10004 |        0 |        0
1155.78/1156.26	c 1156s |      26 | 11676566 |  8857852 |     2167  10017 |        0 |        0
1157.77/1158.26	c 1158s |      26 | 11695705 |  8871752 |     2167  10029 |        0 |        0
1159.77/1160.26	c 1160s |      26 | 11713616 |  8884552 |     2167  10041 |        0 |        0
1161.77/1162.26	c 1162s |      26 | 11732400 |  8898452 |     2167  10053 |        0 |        0
1163.77/1164.27	c 1164s |      26 | 11746627 |  8909652 |     2167  10063 |        0 |        0
1165.77/1166.28	c 1166s |      26 | 11762720 |  8922452 |     2167  10074 |        0 |        0
1167.78/1168.29	c 1168s |      26 | 11778642 |  8934952 |     2167  10085 |        0 |        0
1169.87/1170.30	c 1170s |      26 | 11794475 |  8947352 |     2167  10096 |        0 |        0
1171.87/1172.30	c 1172s |      26 | 11811286 |  8960052 |     2167  10108 |        0 |        0
1173.87/1174.31	c 1174s |      26 | 11827685 |  8972552 |     2167  10119 |        0 |        0
1175.87/1176.32	c 1176s |      26 | 11844340 |  8985452 |     2167  10131 |        0 |        0
1177.87/1178.33	c 1178s |      26 | 11863123 |  8999652 |     2167  10143 |        0 |        0
1179.87/1180.33	c 1180s |      26 | 11881326 |  9013352 |     2167  10155 |        0 |        0
1181.87/1182.34	c 1182s |      26 | 11896875 |  9025452 |     2167  10166 |        0 |        0
1183.87/1184.35	c 1184s |      26 | 11911492 |  9037152 |     2167  10176 |        0 |        0
1185.87/1186.36	c 1186s |      26 | 11927673 |  9049252 |     2167  10187 |        0 |        0
1187.86/1188.37	c 1188s |      26 | 11943353 |  9061052 |     2167  10198 |        0 |        0
1189.87/1190.37	c 1190s |      26 | 11960076 |  9073752 |     2167  10209 |        0 |        0
1191.86/1192.37	c 1192s |      26 | 11978454 |  9087652 |     2167  10221 |        0 |        0
1193.86/1194.39	c 1194s |      26 | 11996178 |  9101052 |     2167  10233 |        0 |        0
1195.86/1196.39	c 1196s |      26 | 12015992 |  9115252 |     2167  10246 |        0 |        0
1197.96/1198.40	c 1198s |      26 | 12035023 |  9129652 |     2167  10259 |        0 |        0
1199.96/1200.42	c 1200s |      26 | 12052529 |  9142452 |     2167  10270 |        0 |        0
1201.97/1202.42	c 1202s |      26 | 12069636 |  9155452 |     2167  10282 |        0 |        0
1203.96/1204.42	c 1204s |      26 | 12088625 |  9169552 |     2167  10294 |        0 |        0
1205.96/1206.43	c 1206s |      26 | 12104667 |  9181752 |     2167  10305 |        0 |        0
1207.96/1208.43	c 1208s |      26 | 12117741 |  9192052 |     2167  10314 |        0 |        0
1209.96/1210.44	c 1210s |      26 | 12132629 |  9203552 |     2167  10324 |        0 |        0
1211.96/1212.44	c 1212s |      26 | 12148130 |  9215652 |     2167  10335 |        0 |        0
1213.97/1214.45	c 1214s |      26 | 12161270 |  9226052 |     2167  10344 |        0 |        0
1215.97/1216.46	c 1216s |      26 | 12177341 |  9238452 |     2167  10355 |        0 |        0
1217.97/1218.46	c 1218s |      26 | 12192819 |  9250452 |     2167  10366 |        0 |        0
1219.97/1220.47	c 1220s |      26 | 12210566 |  9263752 |     2167  10378 |        0 |        0
1221.97/1222.48	c 1222s |      26 | 12228997 |  9277252 |     2167  10390 |        0 |        0
1223.97/1224.48	c 1224s |      26 | 12243063 |  9288052 |     2167  10400 |        0 |        0
1225.96/1226.49	c 1226s |      26 | 12260696 |  9300752 |     2167  10411 |        0 |        0
1228.06/1228.50	c 1228s |      26 | 12278676 |  9313852 |     2167  10423 |        0 |        0
1230.06/1230.52	c 1230s |      26 | 12297405 |  9327152 |     2167  10434 |        0 |        0
1232.06/1232.52	c 1232s |      26 | 12316880 |  9340852 |     2167  10447 |        0 |        0
1234.06/1234.52	c 1234s |      26 | 12336517 |  9354852 |     2167  10459 |        0 |        0
1236.07/1236.53	c 1236s |      26 | 12353727 |  9367552 |     2167  10470 |        0 |        0
1238.06/1238.53	c 1238s |      26 | 12370306 |  9380352 |     2167  10482 |        0 |        0
1240.06/1240.53	c 1240s |      26 | 12385759 |  9391952 |     2167  10492 |        0 |        0
1242.06/1242.55	c 1242s |      26 | 12402670 |  9404252 |     2167  10503 |        0 |        0
1244.06/1244.55	c 1244s |      26 | 12421768 |  9418752 |     2167  10516 |        0 |        0
1246.06/1246.56	c 1246s |      26 | 12443164 |  9434852 |     2167  10530 |        0 |        0
1248.06/1248.57	c 1248s |      26 | 12463677 |  9449752 |     2167  10544 |        0 |        0
1250.06/1250.57	c 1250s |      26 | 12483935 |  9464552 |     2167  10556 |        0 |        0
1252.06/1252.57	c 1252s |      26 | 12502790 |  9478852 |     2167  10569 |        0 |        0
1254.06/1254.58	c 1254s |      26 | 12522209 |  9493452 |     2167  10582 |        0 |        0
1256.06/1256.58	c 1256s |      26 | 12542535 |  9508352 |     2167  10596 |        0 |        0
1258.16/1258.60	c 1258s |      26 | 12561800 |  9522752 |     2167  10608 |        0 |        0
1260.06/1260.60	c 1260s |      26 | 12579190 |  9535552 |     2167  10620 |        0 |        0
1262.15/1262.61	c 1262s |      26 | 12594439 |  9547352 |     2167  10630 |        0 |        0
1264.15/1264.61	c 1264s |      26 | 12609922 |  9559352 |     2167  10641 |        0 |        0
1266.15/1266.62	c 1266s |      26 | 12627137 |  9572052 |     2167  10653 |        0 |        0
1268.15/1268.62	c 1268s |      26 | 12645986 |  9586352 |     2167  10665 |        0 |        0
1270.16/1270.62	c 1270s |      26 | 12664157 |  9600252 |     2167  10678 |        0 |        0
1272.15/1272.63	c 1272s |      26 | 12682720 |  9614352 |     2167  10690 |        0 |        0
1274.15/1274.64	c 1274s |      26 | 12701696 |  9628852 |     2167  10703 |        0 |        0
1276.15/1276.65	c 1276s |      26 | 12720688 |  9642952 |     2167  10715 |        0 |        0
1278.15/1278.66	c 1278s |      26 | 12738166 |  9656352 |     2167  10727 |        0 |        0
1280.15/1280.66	c 1280s |      26 | 12756170 |  9669852 |     2167  10739 |        0 |        0
1282.16/1282.68	c 1282s |      26 | 12771294 |  9681252 |     2167  10749 |        0 |        0
1284.15/1284.69	c 1284s |      26 | 12787445 |  9693552 |     2167  10760 |        0 |        0
1286.15/1286.69	c 1286s |      26 | 12803527 |  9705552 |     2167  10771 |        0 |        0
1288.15/1288.69	c 1288s |      26 | 12820346 |  9718052 |     2167  10782 |        0 |        0
1290.25/1290.70	c 1290s |      26 | 12838261 |  9731152 |     2167  10794 |        0 |        0
1292.25/1292.71	c 1292s |      26 | 12855943 |  9744852 |     2167  10806 |        0 |        0
1294.26/1294.72	c 1294s |      26 | 12875061 |  9758852 |     2167  10819 |        0 |        0
1296.25/1296.73	c 1296s |      26 | 12890028 |  9770652 |     2167  10829 |        0 |        0
1298.25/1298.74	c 1298s |      26 | 12907499 |  9783252 |     2167  10841 |        0 |        0
1300.25/1300.76	c 1300s |      26 | 12926023 |  9797052 |     2167  10853 |        0 |        0
1302.25/1302.77	c 1302s |      26 | 12943715 |  9811152 |     2167  10865 |        0 |        0
1304.25/1304.78	c 1304s |      26 | 12963083 |  9826252 |     2167  10879 |        0 |        0
1306.24/1306.78	c 1306s |      26 | 12981552 |  9840852 |     2167  10891 |        0 |        0
1308.24/1308.78	c 1308s |      26 | 13001268 |  9856052 |     2167  10905 |        0 |        0
1310.25/1310.79	c 1310s |      26 | 13018844 |  9870252 |     2167  10918 |        0 |        0
1312.35/1312.80	c 1312s |      26 | 13037377 |  9884952 |     2167  10931 |        0 |        0
1314.35/1314.81	c 1314s |      26 | 13058190 |  9900752 |     2167  10945 |        0 |        0
1316.36/1316.81	c 1316s |      26 | 13078880 |  9916052 |     2167  10958 |        0 |        0
1318.35/1318.82	c 1318s |      26 | 13096634 |  9929452 |     2167  10970 |        0 |        0
1320.35/1320.83	c 1320s |      26 | 13112198 |  9941452 |     2167  10981 |        0 |        0
1322.35/1322.84	c 1322s |      26 | 13130939 |  9955352 |     2167  10993 |        0 |        0
1324.35/1324.84	c 1324s |      26 | 13150078 |  9969952 |     2167  11006 |        0 |        0
1326.35/1326.86	c 1326s |      26 | 13168967 |  9984252 |     2167  11019 |        0 |        0
1328.35/1328.86	c 1328s |      26 | 13187075 |  9998152 |     2167  11031 |        0 |        0
1330.34/1330.87	c 1330s |      26 | 13206567 | 10012552 |     2167  11044 |        0 |        0
1332.34/1332.88	c 1332s |      26 | 13225013 | 10026552 |     2167  11057 |        0 |        0
1334.34/1334.89	c 1334s |      26 | 13243426 | 10040652 |     2167  11069 |        0 |        0
1336.44/1336.90	c 1336s |      26 | 13261645 | 10054252 |     2167  11081 |        0 |        0
1338.44/1338.90	c 1338s |      26 | 13277476 | 10066852 |     2167  11092 |        0 |        0
1340.45/1340.91	c 1340s |      26 | 13295912 | 10080652 |     2167  11105 |        0 |        0
1342.44/1342.91	c 1342s |      26 | 13314594 | 10094552 |     2167  11117 |        0 |        0
1344.44/1344.92	c 1344s |      26 | 13333406 | 10109052 |     2167  11130 |        0 |        0
1346.44/1346.93	c 1346s |      26 | 13353504 | 10123752 |     2167  11143 |        0 |        0
1348.44/1348.93	c 1348s |      26 | 13371130 | 10137752 |     2167  11155 |        0 |        0
1350.45/1350.94	c 1350s |      26 | 13389558 | 10151652 |     2167  11168 |        0 |        0
1352.44/1352.94	c 1352s |      26 | 13410560 | 10167252 |     2167  11181 |        0 |        0
1354.44/1354.94	c 1354s |      26 | 13428887 | 10181152 |     2167  11194 |        0 |        0
1356.44/1356.96	c 1356s |      26 | 13445677 | 10193852 |     2167  11205 |        0 |        0
1358.44/1358.96	c 1358s |      26 | 13459814 | 10205252 |     2167  11215 |        0 |        0
1360.44/1360.98	c 1360s |      26 | 13474788 | 10217152 |     2167  11225 |        0 |        0
1362.44/1362.98	c 1362s |      26 | 13489906 | 10228952 |     2167  11236 |        0 |        0
1364.54/1365.00	c 1364s |      26 | 13504309 | 10240352 |     2167  11246 |        0 |        0
1366.54/1367.01	c 1366s |      26 | 13518397 | 10251652 |     2167  11256 |        0 |        0
1368.54/1369.02	c 1369s |      26 | 13534949 | 10263952 |     2167  11267 |        0 |        0
1370.53/1371.03	c 1371s |      26 | 13550533 | 10276052 |     2167  11278 |        0 |        0
1372.53/1373.03	c 1373s |      26 | 13566278 | 10287852 |     2167  11288 |        0 |        0
1374.54/1375.04	c 1375s |      26 | 13580348 | 10299052 |     2167  11298 |        0 |        0
1376.53/1377.05	c 1377s |      26 | 13598354 | 10312852 |     2167  11311 |        0 |        0
1378.53/1379.06	c 1379s |      26 | 13617267 | 10327252 |     2167  11323 |        0 |        0
1380.53/1381.07	c 1381s |      26 | 13634459 | 10340652 |     2167  11335 |        0 |        0
1382.53/1383.08	c 1383s |      26 | 13651893 | 10354152 |     2167  11347 |        0 |        0
1384.54/1385.09	c 1385s |      26 | 13669846 | 10367552 |     2167  11359 |        0 |        0
1386.54/1387.09	c 1387s |      26 | 13688514 | 10381652 |     2167  11372 |        0 |        0
1388.64/1389.10	c 1389s |      26 | 13707312 | 10396252 |     2167  11385 |        0 |        0
1390.64/1391.11	c 1391s |      26 | 13723672 | 10409352 |     2167  11396 |        0 |        0
1392.64/1393.12	c 1393s |      26 | 13742163 | 10423452 |     2167  11409 |        0 |        0
1394.64/1395.12	c 1395s |      26 | 13759103 | 10436452 |     2167  11420 |        0 |        0
1396.64/1397.13	c 1397s |      26 | 13778497 | 10450752 |     2167  11433 |        0 |        0
1398.64/1399.14	c 1399s |      26 | 13795767 | 10463852 |     2167  11445 |        0 |        0
1400.64/1401.16	c 1401s |      26 | 13814016 | 10477252 |     2167  11457 |        0 |        0
1402.63/1403.16	c 1403s |      26 | 13833254 | 10491252 |     2167  11469 |        0 |        0
1404.63/1405.17	c 1405s |      26 | 13853879 | 10506852 |     2167  11483 |        0 |        0
1406.63/1407.17	c 1407s |      26 | 13873377 | 10521252 |     2167  11496 |        0 |        0
1408.64/1409.17	c 1409s |      26 | 13887894 | 10532852 |     2167  11506 |        0 |        0
1410.63/1411.18	c 1411s |      26 | 13904294 | 10545152 |     2167  11517 |        0 |        0
1412.63/1413.18	c 1413s |      26 | 13920735 | 10557352 |     2167  11528 |        0 |        0
1414.73/1415.20	c 1415s |      26 | 13939106 | 10570952 |     2167  11540 |        0 |        0
1416.73/1417.20	c 1417s |      26 | 13957128 | 10583752 |     2167  11552 |        0 |        0
1418.73/1419.20	c 1419s |      26 | 13976152 | 10597752 |     2167  11564 |        0 |        0
1420.74/1421.21	c 1421s |      26 | 13996748 | 10612752 |     2167  11578 |        0 |        0
1422.73/1423.21	c 1423s |      26 | 14015054 | 10626452 |     2167  11590 |        0 |        0
1424.73/1425.22	c 1425s |      26 | 14033668 | 10640852 |     2167  11603 |        0 |        0
1426.73/1427.23	c 1427s |      26 | 14054201 | 10656452 |     2167  11617 |        0 |        0
1428.73/1429.23	c 1429s |      26 | 14074413 | 10671652 |     2167  11630 |        0 |        0
1430.74/1431.24	c 1431s |      26 | 14094046 | 10686852 |     2167  11643 |        0 |        0
1432.73/1433.24	c 1433s |      26 | 14112348 | 10701052 |     2167  11656 |        0 |        0
1434.73/1435.25	c 1435s |      26 | 14129735 | 10714352 |     2167  11667 |        0 |        0
1436.73/1437.26	c 1437s |      26 | 14146779 | 10727652 |     2167  11679 |        0 |        0
1438.73/1439.26	c 1439s |      26 | 14164838 | 10741452 |     2167  11691 |        0 |        0
1440.73/1441.26	c 1441s |      26 | 14185054 | 10756752 |     2167  11705 |        0 |        0
1442.73/1443.27	c 1443s |      26 | 14204634 | 10772152 |     2167  11718 |        0 |        0
1444.72/1445.28	c 1445s |      26 | 14224646 | 10786852 |     2167  11731 |        0 |        0
1446.72/1447.29	c 1447s |      26 | 14240884 | 10798352 |     2167  11742 |        0 |        0
1448.72/1449.29	c 1449s |      26 | 14259160 | 10810952 |     2167  11753 |        0 |        0
1450.82/1451.30	c 1451s |      26 | 14278537 | 10824752 |     2167  11765 |        0 |        0
1452.82/1453.30	c 1453s |      26 | 14297589 | 10838652 |     2167  11777 |        0 |        0
1454.83/1455.31	c 1455s |      26 | 14316610 | 10852352 |     2167  11790 |        0 |        0
1456.83/1457.32	c 1457s |      26 | 14336162 | 10866452 |     2167  11802 |        0 |        0
1458.83/1459.33	c 1459s |      26 | 14355573 | 10880452 |     2167  11815 |        0 |        0
1460.83/1461.33	c 1461s |      26 | 14375617 | 10895352 |     2167  11828 |        0 |        0
1462.83/1463.34	c 1463s |      26 | 14394264 | 10909552 |     2167  11841 |        0 |        0
1464.83/1465.35	c 1465s |      26 | 14413768 | 10924052 |     2167  11853 |        0 |        0
1466.83/1467.36	c 1467s |      26 | 14431896 | 10937952 |     2167  11866 |        0 |        0
1468.83/1469.37	c 1469s |      26 | 14450493 | 10952152 |     2167  11878 |        0 |        0
1470.83/1471.38	c 1471s |      26 | 14467130 | 10965452 |     2167  11890 |        0 |        0
1472.83/1473.38	c 1473s |      26 | 14484144 | 10979052 |     2167  11902 |        0 |        0
1474.82/1475.38	c 1475s |      26 | 14502033 | 10993352 |     2167  11915 |        0 |        0
1476.83/1477.39	c 1477s |      26 | 14520628 | 11007152 |     2167  11927 |        0 |        0
1478.82/1479.39	c 1479s |      26 | 14540415 | 11022052 |     2167  11940 |        0 |        0
1480.92/1481.40	c 1481s |      26 | 14559645 | 11036352 |     2167  11953 |        0 |        0
1482.92/1483.41	c 1483s |      26 | 14578609 | 11050552 |     2167  11965 |        0 |        0
1484.92/1485.42	c 1485s |      26 | 14597906 | 11065152 |     2167  11978 |        0 |        0
1486.92/1487.43	c 1487s |      26 | 14614617 | 11077652 |     2167  11990 |        0 |        0
1488.93/1489.43	c 1489s |      26 | 14634972 | 11092552 |     2167  12003 |        0 |        0
1490.92/1491.43	c 1491s |      26 | 14657894 | 11108652 |     2167  12017 |        0 |        0
1492.92/1493.46	c 1493s |      26 | 14677353 | 11122952 |     2167  12030 |        0 |        0
1494.92/1495.46	c 1495s |      26 | 14696278 | 11137152 |     2167  12042 |        0 |        0
1496.92/1497.46	c 1497s |      26 | 14713740 | 11150752 |     2167  12054 |        0 |        0
1498.93/1499.47	c 1499s |      26 | 14730621 | 11163852 |     2167  12066 |        0 |        0
1500.92/1501.47	c 1501s |      26 | 14748073 | 11177552 |     2167  12078 |        0 |        0
1502.92/1503.48	c 1503s |      26 | 14765812 | 11191052 |     2167  12090 |        0 |        0
1505.02/1505.50	c 1505s |      26 | 14783303 | 11204252 |     2167  12101 |        0 |        0
1507.02/1507.50	c 1507s |      26 | 14799730 | 11217052 |     2167  12113 |        0 |        0
1509.02/1509.52	c 1509s |      26 | 14818277 | 11231152 |     2167  12125 |        0 |        0
1511.02/1511.52	c 1511s |      26 | 14835800 | 11244852 |     2167  12137 |        0 |        0
1513.02/1513.53	c 1513s |      26 | 14853473 | 11258352 |     2167  12149 |        0 |        0
1515.01/1515.53	c 1515s |      26 | 14872368 | 11273052 |     2167  12162 |        0 |        0
1517.01/1517.53	c 1517s |      26 | 14890935 | 11287352 |     2167  12175 |        0 |        0
1519.01/1519.55	c 1519s |      26 | 14909610 | 11301552 |     2167  12187 |        0 |        0
1521.01/1521.55	c 1521s |      26 | 14929454 | 11316452 |     2384  12200 |        0 |        0
1523.02/1523.55	c 1523s |      26 | 14946390 | 11329452 |     2384  12211 |        0 |        0
1525.01/1525.56	c 1525s |      26 | 14965954 | 11344152 |     2384  12222 |        0 |        0
1527.02/1527.56	c 1527s |      26 | 14983043 | 11357352 |     2384  12233 |        0 |        0
1529.02/1529.57	c 1529s |      26 | 14998563 | 11369452 |     2384  12243 |        0 |        0
1531.02/1531.57	c 1531s |      26 | 15015146 | 11382152 |     2384  12253 |        0 |        0
1533.02/1533.57	c 1533s |      26 | 15033628 | 11396252 |     2384  12264 |        0 |        0
1533.12/1533.64	c 1533s |      27 | 15034273 | 11396733 |     2384  12265 |        0 |        0
1535.12/1535.66	c 1535s |      27 | 15055688 | 11412333 |     2384  12277 |        0 |        0
1537.11/1537.67	c 1537s |      27 | 15074468 | 11426533 |     2384  12289 |        0 |        0
1539.11/1539.69	c 1539s |      27 | 15094040 | 11441633 |     2384  12301 |        0 |        0
1541.21/1541.70	c 1541s |      27 | 15113551 | 11456833 |     2384  12313 |        0 |        0
1543.21/1543.71	c 1543s |      27 | 15134803 | 11472233 |     2384  12325 |        0 |        0
1545.21/1545.72	c 1545s |      27 | 15153932 | 11487033 |     2384  12337 |        0 |        0
1547.22/1547.72	c 1547s |      27 | 15173977 | 11502033 |     2384  12349 |        0 |        0
1549.21/1549.72	c 1549s |      27 | 15192407 | 11516033 |     2384  12360 |        0 |        0
1551.21/1551.73	c 1551s |      27 | 15211469 | 11530733 |     2384  12372 |        0 |        0
1553.21/1553.73	c 1553s |      27 | 15230062 | 11544933 |     2384  12383 |        0 |        0
1555.21/1555.74	c 1555s |      27 | 15249666 | 11559233 |     2384  12394 |        0 |        0
1557.22/1557.74	c 1557s |      27 | 15266024 | 11572333 |     2384  12405 |        0 |        0
1559.21/1559.75	c 1559s |      27 | 15285610 | 11587033 |     2384  12416 |        0 |        0
1561.21/1561.76	c 1561s |      27 | 15305700 | 11601833 |     2384  12428 |        0 |        0
1563.21/1563.78	c 1563s |      27 | 15324523 | 11615633 |     2384  12439 |        0 |        0
1565.21/1565.79	c 1565s |      27 | 15344755 | 11630633 |     2384  12451 |        0 |        0
1567.21/1567.79	c 1567s |      27 | 15365037 | 11646033 |     2384  12464 |        0 |        0
1569.32/1569.80	c 1569s |      27 | 15383451 | 11660133 |     2384  12475 |        0 |        0
1571.31/1571.81	c 1571s |      27 | 15403265 | 11674633 |     2384  12486 |        0 |        0
1573.31/1573.81	c 1573s |      27 | 15421833 | 11688833 |     2384  12498 |        0 |        0
1575.31/1575.82	c 1575s |      27 | 15441343 | 11703333 |     2384  12509 |        0 |        0
1577.31/1577.83	c 1577s |      27 | 15460877 | 11717633 |     2384  12521 |        0 |        0
1579.31/1579.83	c 1579s |      27 | 15481452 | 11732733 |     2384  12533 |        0 |        0
1581.31/1581.84	c 1581s |      27 | 15500827 | 11747133 |     2384  12544 |        0 |        0
1583.31/1583.85	c 1583s |      27 | 15520402 | 11762133 |     2384  12556 |        0 |        0
1585.31/1585.85	c 1585s |      27 | 15539314 | 11776433 |     2384  12568 |        0 |        0
1587.30/1587.86	c 1587s |      27 | 15556469 | 11789533 |     2384  12578 |        0 |        0
1589.30/1589.87	c 1589s |      27 | 15574754 | 11803533 |     2384  12589 |        0 |        0
1591.31/1591.88	c 1591s |      27 | 15594196 | 11817833 |     2384  12601 |        0 |        0
1593.30/1593.89	c 1593s |      27 | 15613263 | 11832433 |     2384  12612 |        0 |        0
1595.40/1595.91	c 1595s |      27 | 15632471 | 11846533 |     2384  12624 |        0 |        0
1597.41/1597.91	c 1597s |      27 | 15650707 | 11860233 |     2384  12634 |        0 |        0
1599.41/1599.91	c 1599s |      27 | 15671608 | 11874633 |     2384  12646 |        0 |        0
1601.41/1601.92	c 1601s |      27 | 15691136 | 11888933 |     2384  12657 |        0 |        0
1603.41/1603.92	c 1603s |      27 | 15709426 | 11902333 |     2384  12668 |        0 |        0
1605.41/1605.93	c 1605s |      27 | 15727826 | 11916333 |     2384  12679 |        0 |        0
1607.41/1607.93	c 1607s |      27 | 15746337 | 11930533 |     2384  12690 |        0 |        0
1609.41/1609.93	c 1609s |      27 | 15763455 | 11943433 |     2384  12701 |        0 |        0
1611.40/1611.94	c 1611s |      27 | 15780990 | 11956533 |     2384  12711 |        0 |        0
1613.40/1613.95	c 1613s |      27 | 15801883 | 11971133 |     2384  12723 |        0 |        0
1615.41/1615.97	c 1615s |      27 | 15823191 | 11985633 |     2384  12735 |        0 |        0
1617.40/1617.97	c 1617s |      27 | 15844241 | 12000033 |     2384  12746 |        0 |        0
1619.40/1619.98	c 1619s |      27 | 15862853 | 12013733 |     2384  12757 |        0 |        0
1621.40/1621.98	c 1621s |      27 | 15882703 | 12028533 |     2384  12769 |        0 |        0
1623.40/1624.00	c 1623s |      27 | 15903323 | 12043233 |     2384  12781 |        0 |        0
1625.50/1626.01	c 1625s |      27 | 15923055 | 12057833 |     2384  12792 |        0 |        0
1627.50/1628.02	c 1627s |      27 | 15940732 | 12071433 |     2384  12803 |        0 |        0
1629.50/1630.02	c 1630s |      27 | 15958824 | 12084933 |     2384  12814 |        0 |        0
1631.50/1632.03	c 1632s |      27 | 15979740 | 12100233 |     2384  12826 |        0 |        0
1633.50/1634.04	c 1634s |      27 | 15999558 | 12114633 |     2384  12838 |        0 |        0
1635.49/1636.04	c 1636s |      27 | 16020249 | 12129433 |     2384  12849 |        0 |        0
1637.50/1638.04	c 1638s |      27 | 16038693 | 12143533 |     2384  12861 |        0 |        0
1639.49/1640.04	c 1640s |      27 | 16059382 | 12158533 |     2384  12873 |        0 |        0
1641.49/1642.05	c 1642s |      27 | 16079132 | 12172733 |     2384  12884 |        0 |        0
1643.49/1644.05	c 1644s |      27 | 16097842 | 12186633 |     2384  12895 |        0 |        0
1645.49/1646.05	c 1646s |      27 | 16116481 | 12200633 |     2384  12906 |        0 |        0
1647.49/1648.06	c 1648s |      27 | 16134231 | 12214433 |     2384  12917 |        0 |        0
1649.50/1650.07	c 1650s |      27 | 16154872 | 12229133 |     2384  12929 |        0 |        0
1651.49/1652.07	c 1652s |      27 | 16174599 | 12244033 |     2384  12941 |        0 |        0
1653.49/1654.08	c 1654s |      27 | 16194115 | 12258433 |     2384  12952 |        0 |        0
1655.49/1656.08	c 1656s |      27 | 16212424 | 12271633 |     2384  12963 |        0 |        0
1657.49/1658.09	c 1658s |      27 | 16230264 | 12285033 |     2384  12974 |        0 |        0
1659.51/1660.09	c 1660s |      27 | 16248019 | 12298433 |     2384  12984 |        0 |        0
1661.50/1662.10	c 1662s |      27 | 16264925 | 12311733 |     2384  12995 |        0 |        0
1663.60/1664.10	c 1664s |      27 | 16282645 | 12325233 |     2384  13006 |        0 |        0
1665.60/1666.11	c 1666s |      27 | 16301474 | 12339333 |     2384  13017 |        0 |        0
1667.60/1668.11	c 1668s |      27 | 16320422 | 12353133 |     2384  13028 |        0 |        0
1669.60/1670.11	c 1670s |      27 | 16340803 | 12367633 |     2384  13039 |        0 |        0
1671.60/1672.13	c 1672s |      27 | 16361551 | 12382533 |     2384  13051 |        0 |        0
1673.59/1674.14	c 1674s |      27 | 16380204 | 12397033 |     2384  13063 |        0 |        0
1675.59/1676.15	c 1676s |      27 | 16397872 | 12410833 |     2384  13074 |        0 |        0
1677.59/1678.16	c 1678s |      27 | 16415715 | 12424433 |     2384  13085 |        0 |        0
1679.59/1680.17	c 1680s |      27 | 16434522 | 12438733 |     2384  13096 |        0 |        0
1681.59/1682.17	c 1682s |      27 | 16453874 | 12453033 |     2384  13107 |        0 |        0
1683.60/1684.18	c 1684s |      27 | 16473685 | 12467833 |     2384  13119 |        0 |        0
1685.59/1686.19	c 1686s |      27 | 16492016 | 12481633 |     2384  13130 |        0 |        0
1687.59/1688.19	c 1688s |      27 | 16511867 | 12496533 |     2384  13142 |        0 |        0
1689.69/1690.20	c 1690s |      27 | 16529233 | 12510033 |     2384  13153 |        0 |        0
1691.69/1692.21	c 1692s |      27 | 16547679 | 12524233 |     2384  13164 |        0 |        0
1693.69/1694.21	c 1694s |      27 | 16566292 | 12538333 |     2384  13176 |        0 |        0
1695.70/1696.22	c 1696s |      27 | 16586395 | 12553333 |     2384  13188 |        0 |        0
1697.69/1698.23	c 1698s |      27 | 16605508 | 12567633 |     2384  13199 |        0 |        0
1699.69/1700.25	c 1700s |      27 | 16624238 | 12582033 |     2384  13211 |        0 |        0
1701.69/1702.26	c 1702s |      27 | 16644081 | 12597033 |     2384  13223 |        0 |        0
1703.69/1704.28	c 1704s |      27 | 16663360 | 12611433 |     2384  13234 |        0 |        0
1705.70/1706.28	c 1706s |      27 | 16683197 | 12626233 |     2384  13246 |        0 |        0
1707.69/1708.29	c 1708s |      27 | 16701845 | 12640233 |     2384  13257 |        0 |        0
1709.79/1710.30	c 1710s |      27 | 16721321 | 12655133 |     2384  13269 |        0 |        0
1711.79/1712.32	c 1712s |      27 | 16740515 | 12669433 |     2384  13280 |        0 |        0
1713.79/1714.33	c 1714s |      27 | 16759840 | 12683833 |     2384  13292 |        0 |        0
1715.79/1716.34	c 1716s |      27 | 16775906 | 12697133 |     2384  13302 |        0 |        0
1717.79/1718.35	c 1718s |      27 | 16792277 | 12709933 |     2384  13313 |        0 |        0
1719.79/1720.36	c 1720s |      27 | 16809100 | 12722833 |     2384  13323 |        0 |        0
1721.79/1722.36	c 1722s |      27 | 16827885 | 12736533 |     2384  13334 |        0 |        0
1723.79/1724.36	c 1724s |      27 | 16844440 | 12749633 |     2384  13344 |        0 |        0
1725.78/1726.36	c 1726s |      27 | 16862737 | 12763433 |     2384  13355 |        0 |        0
1727.78/1728.36	c 1728s |      27 | 16881896 | 12777533 |     2384  13367 |        0 |        0
1729.79/1730.38	c 1730s |      27 | 16901610 | 12792633 |     2384  13379 |        0 |        0
1731.78/1732.39	c 1732s |      27 | 16921813 | 12807933 |     2384  13391 |        0 |        0
1733.78/1734.39	c 1734s |      27 | 16940842 | 12822833 |     2384  13403 |        0 |        0
1735.78/1736.39	c 1736s |      27 | 16959869 | 12837633 |     2384  13414 |        0 |        0
1737.78/1738.40	c 1738s |      27 | 16979455 | 12852833 |     2384  13427 |        0 |        0
1739.88/1740.41	c 1740s |      27 | 16999019 | 12867433 |     2384  13438 |        0 |        0
1741.88/1742.42	c 1742s |      27 | 17016604 | 12881433 |     2384  13449 |        0 |        0
1743.88/1744.42	c 1744s |      27 | 17036373 | 12895833 |     2384  13461 |        0 |        0
1745.88/1746.43	c 1746s |      27 | 17055105 | 12910433 |     2384  13472 |        0 |        0
1747.88/1748.44	c 1748s |      27 | 17072503 | 12923633 |     2384  13483 |        0 |        0
1749.88/1750.45	c 1750s |      27 | 17089262 | 12937233 |     2384  13494 |        0 |        0
1751.88/1752.46	c 1752s |      27 | 17108753 | 12951933 |     2384  13505 |        0 |        0
1753.88/1754.47	c 1754s |      27 | 17129335 | 12967333 |     2384  13517 |        0 |        0
1755.88/1756.47	c 1756s |      27 | 17148770 | 12981933 |     2384  13529 |        0 |        0
1757.88/1758.48	c 1758s |      27 | 17169457 | 12997733 |     2384  13542 |        0 |        0
1759.88/1760.49	c 1760s |      27 | 17189958 | 13012733 |     2384  13554 |        0 |        0
1761.87/1762.50	c 1762s |      27 | 17209736 | 13027633 |     2384  13566 |        0 |        0
1763.98/1764.51	c 1764s |      27 | 17231270 | 13043433 |     2384  13578 |        0 |        0
1765.97/1766.52	c 1766s |      27 | 17249912 | 13057533 |     2384  13589 |        0 |        0
1767.98/1768.52	c 1768s |      27 | 17269112 | 13072333 |     2384  13601 |        0 |        0
1769.98/1770.53	c 1770s |      27 | 17289410 | 13087333 |     2384  13613 |        0 |        0
1771.98/1772.54	c 1772s |      27 | 17306566 | 13100633 |     2384  13624 |        0 |        0
1773.98/1774.54	c 1774s |      27 | 17325439 | 13115133 |     2384  13635 |        0 |        0
1775.98/1776.55	c 1776s |      27 | 17345227 | 13130333 |     2384  13648 |        0 |        0
1777.98/1778.56	c 1778s |      27 | 17364837 | 13145633 |     2384  13660 |        0 |        0
1779.97/1780.56	c 1780s |      27 | 17386018 | 13161333 |     2384  13672 |        0 |        0
1781.97/1782.56	c 1782s |      27 | 17406456 | 13176633 |     2384  13685 |        0 |        0
1783.97/1784.57	c 1784s |      27 | 17427520 | 13192733 |     2384  13697 |        0 |        0
1785.98/1786.57	c 1786s |      27 | 17447697 | 13207933 |     2384  13709 |        0 |        0
1787.97/1788.57	c 1788s |      27 | 17469284 | 13223833 |     2384  13722 |        0 |        0
1789.97/1790.58	c 1790s |      27 | 17489265 | 13239433 |     2384  13735 |        0 |        0
1791.97/1792.58	c 1792s |      27 | 17508080 | 13254233 |     2384  13746 |        0 |        0
1793.97/1794.59	c 1794s |      27 | 17526979 | 13268633 |     2384  13758 |        0 |        0
1796.07/1796.60	c 1796s |      27 | 17547560 | 13284133 |     2384  13770 |        0 |        0
1797.98/1798.60	c 1798s |      27 | 17567404 | 13299233 |     2384  13782 |        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-4121826-1467315705/watcher-4121826-1467315705 -o /tmp/evaluation-result-4121826-1467315705/solver-4121826-1467315705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121826-1467315705.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 13078
/proc/meminfo: memFree=29345908/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 4 0 10599686 246870016 1682 33554432000 4194304 16246674 140734584842112 140734584841536 14017687 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 60271 1686 441 2943 0 57165 0
[pid=13078/tid=13079] ppid=13075 vsize=253372 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 259452928 1734 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=257468 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 263647232 1751 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=261564 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 267841536 1767 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 13078
/proc/meminfo: memFree=29345908/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 23806 0 0 0 6 3 0 0 20 0 4 0 10599686 1247350784 24667 33554432000 4194304 16246674 140734584842112 140734584841536 13192110 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 304529 24675 707 2943 0 301423 0
[pid=13078/tid=13079] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 24680 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 24685 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 24693 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 13078
/proc/meminfo: memFree=29345908/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 45845 0 0 0 12 6 0 0 20 0 4 0 10599686 1247350784 46706 33554432000 4194304 16246674 140734584842112 140734584841536 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 304529 46716 707 2943 0 301423 0
[pid=13078/tid=13079] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 46724 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 46730 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 46735 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 13078
/proc/meminfo: memFree=29345908/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 68254 0 0 0 19 9 0 0 20 0 4 0 10599686 1247350784 69115 33554432000 4194304 16246674 140734584842112 140734584841536 6023439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 304529 69126 707 2943 0 301423 0
[pid=13078/tid=13079] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 69128 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 69128 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 69128 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.20 2.12 2.09 3/179 13078
/proc/meminfo: memFree=29345908/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 156129 0 0 0 48 21 0 0 20 0 4 0 10599686 1247350784 156990 33554432000 4194304 16246674 140734584842112 140734584841536 5707858 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 304529 156998 708 2943 0 301423 0
[pid=13078/tid=13079] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 157002 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 157008 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1247350784 157012 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 13082
/proc/meminfo: memFree=28362560/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 245699 0 0 0 114 35 0 0 20 0 4 0 10599686 1248399360 246539 33554432000 4194304 16246674 140734584842112 140734584841424 12483348 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 304785 246539 784 2943 0 301679 0
[pid=13078/tid=13079] ppid=13075 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1248399360 246539 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1248399360 246539 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1248399360 246539 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 13082
/proc/meminfo: memFree=28274272/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 267411 0 0 0 271 37 0 0 20 0 4 0 10599686 1337528320 268251 33554432000 4194304 16246674 140734584842112 140734584825112 5545832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 326545 268251 784 2943 0 323439 0
[pid=13078/tid=13079] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268251 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268251 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268251 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 13082
/proc/meminfo: memFree=28272920/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 267501 0 0 0 591 37 0 0 20 0 4 0 10599686 1337528320 268341 33554432000 4194304 16246674 140734584842112 140734584825112 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 326545 268341 784 2943 0 323439 0
[pid=13078/tid=13079] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268341 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268341 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1337528320 268341 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.25 2.13 2.10 3/183 13083
/proc/meminfo: memFree=28271696/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 267779 0 0 0 1231 37 0 0 20 0 4 0 10599686 1338576896 268619 33554432000 4194304 16246674 140734584842112 140734584825112 5754924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 326801 268619 784 2943 0 323695 0
[pid=13078/tid=13079] ppid=13075 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1338576896 268619 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1338576896 268619 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1338576896 268619 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.19 2.12 2.10 3/183 13083
/proc/meminfo: memFree=28271880/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 267872 0 0 0 2511 37 0 0 20 0 4 0 10599686 1339625472 268712 33554432000 4194304 16246674 140734584842112 140734584825112 12659336 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327057 268712 784 2943 0 323951 0
[pid=13078/tid=13079] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268712 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268712 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268712 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 13083
/proc/meminfo: memFree=28270976/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1308228 CPUtime=51.07 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 268079 0 0 0 5069 38 0 0 20 0 4 0 10599686 1339625472 268919 33554432000 4194304 16246674 140734584842112 140734584825112 12477993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327057 268919 786 2943 0 323951 0
[pid=13078/tid=13079] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 13084
/proc/meminfo: memFree=28271004/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 268079 0 0 0 10188 39 0 0 20 0 4 0 10599686 1339625472 268919 33554432000 4194304 16246674 140734584842112 140734584824000 5677228 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327057 268919 786 2943 0 323951 0
[pid=13078/tid=13079] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1339625472 268919 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1340674048 269180 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.23 2.18 2.12 3/183 13234
/proc/meminfo: memFree=28275032/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1310276 CPUtime=1301.85 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 268789 0 0 0 130128 57 0 0 20 0 4 0 10599686 1341722624 269206 33554432000 4194304 16246674 140734584842112 140734584825112 5707706 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327569 269206 788 2943 0 324463 0
[pid=13078/tid=13079] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.13 3/183 13332
/proc/meminfo: memFree=28277200/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1310276 CPUtime=1361.84 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 268789 0 0 0 136126 58 0 0 20 0 4 0 10599686 1341722624 269206 33554432000 4194304 16246674 140734584842112 140734584825112 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327569 269206 788 2943 0 324463 0
[pid=13078/tid=13079] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269206 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.13 2.17 2.12 3/183 13333
/proc/meminfo: memFree=28275684/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1310276 CPUtime=1421.84 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 269019 0 0 0 142125 59 0 0 20 0 4 0 10599686 1341722624 269436 33554432000 4194304 16246674 140734584842112 140734584824000 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327569 269436 788 2943 0 324463 0
[pid=13078/tid=13079] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269436 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269436 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1341722624 269436 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.09 2.15 2.11 3/183 13334
/proc/meminfo: memFree=28275740/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1311300 CPUtime=1481.82 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 269076 0 0 0 148122 60 0 0 20 0 4 0 10599686 1342771200 269493 33554432000 4194304 16246674 140734584842112 140734584824000 6842508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 327825 269493 788 2943 0 324719 0
[pid=13078/tid=13079] ppid=13075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1342771200 269493 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1342771200 269493 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1342771200 269493 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.21 2.16 2.12 3/183 13336
/proc/meminfo: memFree=28271532/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1541.82 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270070 0 0 0 154121 61 0 0 20 0 4 0 10599686 1346965504 270487 33554432000 4194304 16246674 140734584842112 140734584825112 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270487 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270487 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270487 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270487 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.17 2.16 2.12 3/183 13337
/proc/meminfo: memFree=28270432/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1601.81 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270299 0 0 0 160119 62 0 0 20 0 4 0 10599686 1346965504 270716 33554432000 4194304 16246674 140734584842112 140734584825112 13818354 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270716 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.26 2.19 2.13 3/183 13338
/proc/meminfo: memFree=28270812/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1661.8 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270299 0 0 0 166117 63 0 0 20 0 4 0 10599686 1346965504 270716 33554432000 4194304 16246674 140734584842112 140734584825112 5675732 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270716 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.34 2.23 2.14 3/184 13391
/proc/meminfo: memFree=28271808/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1721.79 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270299 0 0 0 172116 63 0 0 20 0 4 0 10599686 1346965504 270716 33554432000 4194304 16246674 140734584842112 140734584824000 5722368 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270716 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.14 3/183 13392
/proc/meminfo: memFree=28270844/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1781.77 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270299 0 0 0 178113 64 0 0 20 0 4 0 10599686 1346965504 270716 33554432000 4194304 16246674 140734584842112 140734584825112 6024496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270716 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.20 2.14 3/183 13392
/proc/meminfo: memFree=28270828/32872528 swapFree=1102192/1183952
[pid=13078] ppid=13075 vsize=1315396 CPUtime=1800.08 cores=0,2,4,6
/proc/13078/stat : 13078 (toysat) R 13075 13078 11495 0 -1 4202496 270299 0 0 0 179943 65 0 0 20 0 4 0 10599686 1346965504 270716 33554432000 4194304 16246674 140734584842112 140734584824000 6842672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 328849 270716 788 2943 0 325743 0
[pid=13078/tid=13079] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13079/stat : 13079 (toysat) S 13075 13078 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107667451120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13078/tid=13080] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13080/stat : 13080 (toysat) S 13075 13078 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107656961264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13078/tid=13081] ppid=13075 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13078/task/13081/stat : 13081 (toysat) S 13075 13078 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10599687 1346965504 270716 33554432000 4194304 16246674 140734584842112 140107537444016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.44
CPU system time (s): 0.650901
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.650901
maximum resident set size= 1082864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270299
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= 440
involuntary context switches= 1901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67629 second user time and 6.85196 second system time

The end

Begin job on node115 at 2016-06-30 21:41:45
IDJOB=4121826
IDBENCH=110695
IDSOLVER=2542
FILE ID=node115/4121826-1467315705
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
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-67.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-4121826-1467315705/watcher-4121826-1467315705 -o /tmp/evaluation-result-4121826-1467315705/solver-4121826-1467315705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121826-1467315705.opb

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

MD5SUM BENCH= 4c20504d6c6ffcff265e3c598c633234
RANDOM SEED=1472227570

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29346544 kB
Buffers:          159780 kB
Cached:           344280 kB
SwapCached:            0 kB
Active:          1379156 kB
Inactive:         220608 kB
Active(anon):    1091724 kB
Inactive(anon):     6556 kB
Active(file):     287432 kB
Inactive(file):   214052 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       2279460 kB
Mapped:            17128 kB
Shmem:               204 kB
Slab:             607656 kB
SReclaimable:      51852 kB
SUnreclaim:       555804 kB
KernelStack:        1488 kB
PageTables:         8328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2413844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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= 71632 MiB
End job on node115 at 2016-06-30 22:11:45