0.00/0.00	c 2016-06-30T22:01:32+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-4122538-1467316892.opb"]
0.00/0.01	c use --random-gen="2928057880 1258949166 2327138378 850789410 1656086719 950189119 2190161696 4240574010 4105692515 846063960 2274734444 1929559337 3601075188 3949196684 973790305 1881285040 2826113046 3163422523 1270397409 2099275382 1633704141 776330051 3833563399 2134039319 1988628584 2983612898 1763538292 1804435391 1790718204 4081710 1001936455 428377832 3778180561 2159697526 1159580552 3699190489 1888985049 3029576900 2366125091 1898763931 2089941454 1434223103 1182433693 4045703125 2339315998 2809689984 1591290476 36016028 2399328580 3522764442 1444022348 1737022047 801821380 439978111 3922064982 3117712032 2763361123 3760914235 673561950 3493304407 1247864217 3872924873 1135009701 3803338543 2929037906 3861305029 325562379 1851662631 3625981961 951259484 1224889597 3204800310 2697821757 4210090147 1835528607 3627675664 1518495806 2189710199 2838423579 845041788 684156893 1281375684 3606848239 2727046491 286409932 141676974 909926166 2758508 2402444436 805066286 2295348823 3262226606 1178041604 4051351974 2709482594 3197051926 136661255 4255827729 2002962943 1724004655 1811569488 3503209652 1835368088 1648565560 1622892932 970343602 1515760863 1007522678 3276416056 3638646853 3465442672 1526307505 107905736 3599448685 593723177 1668181973 4241166624 1484252369 2246287468 3497072727 2722441398 2013093716 3593060785 1185824792 54508877 3729857041 2793820805 3955653481 1167125796 3682881653 3889107272 3554539294 4034707607 4177620324 1530030808 1609250924 3950168300 4209640011 3882019918 1492555351 1455095406 2813437743 2954262691 2487116199 3053953904 3526977611 3553848144 153294756 167479537 3642009687 2816047916 725782978 1012839148 2691095077 1040039733 2266429461 1928276806 2915530453 3659834707 1064008298 4002460574 2087381683 3994926778 3780900125 3187891613 360039334 3971290616 1308018597 2327231341 2685556234 868658349 464154671 2528410814 4182631637 25006035 2111459422 3643281675 706013688 1036466056 2666511489 1852900374 2729976385 1229991926 697909941 2743222106 2787838974 2242239930 2771418265 725056677 3496153399 1926250802 3914309916 3876242491 2568404778 1584329454 3843537296 2822061904 4207197149 214323704 3557870270 2205377068 3838308783 1526899770 3745595966 2601537332 1781456568 4253500688 1722980266 3636416472 1792565302 2095380022 2686220056 2631396411 1177699784 2197714906 671961823 2914367270 825288578 3008189824 2789298547 3728618804 503540043 3863696509 1422818637 98723230 838435512 1532512004 1283461114 241268943 2617394647 1524330845 1817659607 2739850461 4272877393 1138960718 3230687974 3726340750 518083347 658085536 732469651 2711829519 2691768457 2266880962 1494569993 3744610647 169080844 1877745212 1911424783 671010829 2960541046 3153282447 2462867205 3008563338 1646082484 3316538940 2767150427 255 362436" option to reproduce the execution
0.00/0.01	c #vars 144
0.00/0.01	c #constraints 384
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 |      176      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      184 |      100 |      176      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      423 |      250 |      194      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      863 |      475 |      214      2 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1364 |      813 |      236      5 |        0 |        0
0.08/0.15	c  0.1s |       5 |     1989 |     1320 |      260      8 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3111 |     2081 |      315     13 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4620 |     3223 |      347     19 |        0 |        0
0.49/0.56	c  0.5s |       8 |     6949 |     4936 |      382     28 |        0 |        0
0.79/0.85	c  0.8s |       9 |    10423 |     7506 |      421     41 |        0 |        0
1.10/1.18	c  1.2s |      10 |    14914 |    11361 |      464     58 |        0 |        0
1.59/1.60	c  1.6s |      11 |    23359 |    17144 |      511     82 |        0 |        0
2.29/2.35	c  2.3s |      12 |    33582 |    25819 |      563    114 |        0 |        0
3.49/3.57	c  3.6s |      13 |    47321 |    38832 |      620    159 |        0 |        0
5.18/5.20	c  5.2s |      14 |    70784 |    58352 |      682    220 |        0 |        0
7.18/7.20	c  7.2s |      14 |   104283 |    84252 |      682    294 |        0 |        0
7.38/7.49	c  7.5s |      15 |   108605 |    87632 |      751    303 |        0 |        0
9.38/9.49	c  9.5s |      15 |   140653 |   112332 |      751    367 |        0 |        0
10.99/11.03	c 11.0s |      16 |   164962 |   131552 |      827    417 |        0 |        0
12.98/13.03	c 13.0s |      16 |   198294 |   157852 |      827    479 |        0 |        0
14.98/15.03	c 15.0s |      16 |   234018 |   185152 |      827    544 |        0 |        0
15.88/15.92	c 15.9s |      17 |   250334 |   197432 |      910    573 |        0 |        0
17.88/17.93	c 17.9s |      17 |   287665 |   224832 |      910    632 |        0 |        0
19.89/19.93	c 19.9s |      17 |   324602 |   252632 |      910    693 |        0 |        0
21.88/21.94	c 21.9s |      17 |   361034 |   279832 |      910    751 |        0 |        0
23.09/23.13	c 23.1s |      18 |   383627 |   296252 |     1002    786 |        0 |        0
25.08/25.14	c 25.1s |      18 |   413534 |   319252 |     1002    832 |        0 |        0
27.09/27.14	c 27.1s |      18 |   443597 |   343052 |     1002    879 |        0 |        0
29.09/29.15	c 29.1s |      18 |   472083 |   366452 |     1002    925 |        0 |        0
31.09/31.16	c 31.1s |      18 |   504859 |   391652 |     1002    974 |        0 |        0
33.09/33.16	c 33.1s |      18 |   537920 |   417152 |     1002   1025 |        0 |        0
35.08/35.16	c 35.1s |      18 |   574038 |   443652 |     1103   1076 |        0 |        0
35.19/35.23	c 35.2s |      19 |   575085 |   444482 |     1103   1078 |        0 |        0
37.18/37.23	c 37.2s |      19 |   611428 |   471382 |     1103   1126 |        0 |        0
39.18/39.24	c 39.2s |      19 |   649065 |   499182 |     1103   1176 |        0 |        0
41.18/41.24	c 41.2s |      19 |   681053 |   524182 |     1103   1221 |        0 |        0
43.18/43.24	c 43.2s |      19 |   714139 |   549082 |     1103   1266 |        0 |        0
45.18/45.24	c 45.2s |      19 |   744972 |   572582 |     1103   1308 |        0 |        0
47.17/47.24	c 47.2s |      19 |   776061 |   596782 |     1103   1351 |        0 |        0
49.18/49.25	c 49.2s |      19 |   811065 |   622982 |     1103   1398 |        0 |        0
51.18/51.26	c 51.2s |      19 |   842883 |   647382 |     1103   1442 |        0 |        0
52.79/52.87	c 52.8s |      20 |   867935 |   666827 |     1214   1476 |        0 |        0
54.78/54.87	c 54.8s |      20 |   895891 |   689027 |     1214   1513 |        0 |        0
56.78/56.87	c 56.9s |      20 |   927047 |   712727 |     1214   1551 |        0 |        0
58.78/58.88	c 58.9s |      20 |   959280 |   737227 |     1214   1591 |        0 |        0
60.78/60.88	c 60.9s |      20 |   991450 |   760527 |     1214   1629 |        0 |        0
62.78/62.89	c 62.9s |      20 |  1019758 |   782427 |     1214   1665 |        0 |        0
64.78/64.90	c 64.9s |      20 |  1052840 |   806627 |     1214   1704 |        0 |        0
66.87/66.90	c 66.9s |      20 |  1082694 |   829427 |     1214   1742 |        0 |        0
68.87/68.91	c 68.9s |      20 |  1115522 |   854027 |     1214   1782 |        0 |        0
70.87/70.91	c 70.9s |      20 |  1147302 |   877327 |     1214   1820 |        0 |        0
72.87/72.91	c 72.9s |      20 |  1181442 |   902427 |     1214   1861 |        0 |        0
74.88/74.92	c 74.9s |      20 |  1212005 |   926627 |     1214   1900 |        0 |        0
76.87/76.93	c 76.9s |      20 |  1235996 |   946627 |     1214   1933 |        0 |        0
78.87/78.94	c 78.9s |      20 |  1263872 |   967827 |     1214   1967 |        0 |        0
80.87/80.94	c 80.9s |      20 |  1296152 |   990527 |     1214   2004 |        0 |        0
81.77/81.82	c 81.8s |      21 |  1309318 |  1000345 |     1336   2019 |        0 |        0
83.77/83.83	c 83.8s |      21 |  1344402 |  1025545 |     1336   2056 |        0 |        0
85.78/85.83	c 85.8s |      21 |  1375982 |  1049145 |     1336   2091 |        0 |        0
87.77/87.84	c 87.8s |      21 |  1406594 |  1072745 |     1336   2126 |        0 |        0
89.77/89.84	c 89.8s |      21 |  1439370 |  1096945 |     1336   2162 |        0 |        0
91.77/91.85	c 91.8s |      21 |  1470434 |  1120345 |     1336   2197 |        0 |        0
93.77/93.86	c 93.8s |      21 |  1503911 |  1144345 |     1336   2233 |        0 |        0
95.78/95.86	c 95.8s |      21 |  1535858 |  1167745 |     1336   2268 |        0 |        0
97.77/97.87	c 97.8s |      21 |  1567866 |  1191645 |     1336   2303 |        0 |        0
99.77/99.87	c 99.9s |      21 |  1593205 |  1212845 |     1336   2335 |        0 |        0
101.77/101.87	c  101s |      21 |  1619788 |  1234845 |     1336   2367 |        0 |        0
103.77/103.88	c  103s |      21 |  1649939 |  1257845 |     1336   2401 |        0 |        0
105.77/105.88	c  105s |      21 |  1680278 |  1281145 |     1336   2436 |        0 |        0
107.77/107.89	c  107s |      21 |  1710169 |  1305045 |     1336   2471 |        0 |        0
109.77/109.89	c  109s |      21 |  1737224 |  1326945 |     1336   2504 |        0 |        0
111.77/111.89	c  111s |      21 |  1766420 |  1349545 |     1336   2537 |        0 |        0
113.76/113.89	c  113s |      21 |  1800669 |  1374445 |     1336   2574 |        0 |        0
115.86/115.90	c  115s |      21 |  1835317 |  1398745 |     1336   2611 |        0 |        0
117.86/117.91	c  117s |      21 |  1868819 |  1421845 |     1336   2645 |        0 |        0
119.87/119.91	c  119s |      21 |  1902614 |  1445545 |     1336   2680 |        0 |        0
121.86/121.92	c  121s |      21 |  1934935 |  1469645 |     1336   2716 |        0 |        0
123.87/123.92	c  123s |      21 |  1965931 |  1493045 |     1470   2750 |        0 |        0
124.47/124.56	c  124s |      22 |  1975762 |  1500622 |     1470   2760 |        0 |        0
126.48/126.57	c  126s |      22 |  2005392 |  1523022 |     1470   2791 |        0 |        0
128.47/128.57	c  128s |      22 |  2032423 |  1544222 |     1470   2819 |        0 |        0
130.47/130.57	c  130s |      22 |  2060913 |  1565922 |     1470   2848 |        0 |        0
132.47/132.58	c  132s |      22 |  2088675 |  1587322 |     1470   2877 |        0 |        0
134.46/134.59	c  134s |      22 |  2114556 |  1608322 |     1470   2906 |        0 |        0
136.47/136.59	c  136s |      22 |  2142720 |  1629822 |     1470   2935 |        0 |        0
138.46/138.59	c  138s |      22 |  2170960 |  1651522 |     1470   2964 |        0 |        0
140.56/140.60	c  140s |      22 |  2200098 |  1673722 |     1470   2994 |        0 |        0
142.56/142.60	c  142s |      22 |  2227949 |  1695522 |     1470   3023 |        0 |        0
144.56/144.61	c  144s |      22 |  2255630 |  1717022 |     1470   3052 |        0 |        0
146.55/146.61	c  146s |      22 |  2282020 |  1737322 |     1470   3080 |        0 |        0
148.57/148.62	c  148s |      22 |  2307694 |  1758322 |     1470   3108 |        0 |        0
150.56/150.62	c  150s |      22 |  2337222 |  1781122 |     1470   3139 |        0 |        0
152.56/152.62	c  152s |      22 |  2364329 |  1802022 |     1470   3167 |        0 |        0
154.56/154.62	c  154s |      22 |  2392255 |  1823422 |     1470   3196 |        0 |        0
156.56/156.62	c  156s |      22 |  2420364 |  1845322 |     1470   3226 |        0 |        0
158.56/158.63	c  158s |      22 |  2449445 |  1867422 |     1470   3255 |        0 |        0
160.56/160.64	c  160s |      22 |  2480561 |  1890022 |     1470   3286 |        0 |        0
162.55/162.65	c  162s |      22 |  2512219 |  1913122 |     1470   3317 |        0 |        0
164.55/164.65	c  164s |      22 |  2540223 |  1934522 |     1470   3346 |        0 |        0
166.55/166.65	c  166s |      22 |  2566744 |  1954622 |     1470   3373 |        0 |        0
168.55/168.65	c  168s |      22 |  2596866 |  1977022 |     1470   3403 |        0 |        0
170.56/170.66	c  170s |      22 |  2628823 |  2000022 |     1470   3435 |        0 |        0
172.55/172.67	c  172s |      22 |  2660808 |  2022722 |     1470   3465 |        0 |        0
174.55/174.67	c  174s |      22 |  2693543 |  2046722 |     1470   3498 |        0 |        0
176.55/176.67	c  176s |      22 |  2725671 |  2070222 |     1470   3529 |        0 |        0
178.54/178.67	c  178s |      22 |  2759007 |  2094122 |     1470   3562 |        0 |        0
180.54/180.68	c  180s |      22 |  2790375 |  2117822 |     1470   3594 |        0 |        0
182.55/182.68	c  182s |      22 |  2820010 |  2140522 |     1470   3624 |        0 |        0
184.54/184.68	c  184s |      22 |  2847905 |  2162322 |     1470   3654 |        0 |        0
186.54/186.68	c  186s |      22 |  2877052 |  2184622 |     1470   3684 |        0 |        0
188.55/188.69	c  188s |      22 |  2905530 |  2207122 |     1470   3714 |        0 |        0
190.65/190.70	c  190s |      22 |  2935038 |  2229822 |     1470   3745 |        0 |        0
192.65/192.71	c  192s |      22 |  2961470 |  2250122 |     1618   3771 |        0 |        0
192.74/192.81	c  192s |      23 |  2962609 |  2251038 |     1618   3772 |        0 |        0
194.75/194.81	c  194s |      23 |  2991480 |  2272438 |     1618   3798 |        0 |        0
196.74/196.81	c  196s |      23 |  3021345 |  2294238 |     1618   3825 |        0 |        0
198.74/198.82	c  198s |      23 |  3050518 |  2316638 |     1618   3852 |        0 |        0
200.74/200.82	c  200s |      23 |  3080792 |  2338738 |     1618   3879 |        0 |        0
202.74/202.82	c  202s |      23 |  3113698 |  2362338 |     1618   3908 |        0 |        0
204.74/204.83	c  204s |      23 |  3143422 |  2384938 |     1618   3936 |        0 |        0
206.75/206.83	c  206s |      23 |  3174956 |  2407938 |     1618   3964 |        0 |        0
208.74/208.83	c  208s |      23 |  3207636 |  2431938 |     1618   3994 |        0 |        0
210.74/210.84	c  210s |      23 |  3238148 |  2455238 |     1618   4022 |        0 |        0
212.74/212.84	c  212s |      23 |  3269778 |  2478038 |     1618   4050 |        0 |        0
214.74/214.85	c  214s |      23 |  3302282 |  2501438 |     1618   4079 |        0 |        0
216.74/216.85	c  216s |      23 |  3334588 |  2524338 |     1618   4107 |        0 |        0
218.73/218.86	c  218s |      23 |  3366596 |  2547938 |     1618   4136 |        0 |        0
220.73/220.86	c  220s |      23 |  3398489 |  2571238 |     1618   4165 |        0 |        0
222.73/222.87	c  222s |      23 |  3430693 |  2594838 |     1618   4194 |        0 |        0
224.73/224.88	c  224s |      23 |  3461584 |  2616938 |     1618   4221 |        0 |        0
226.73/226.89	c  226s |      23 |  3492163 |  2639238 |     1618   4249 |        0 |        0
228.74/228.89	c  228s |      23 |  3524689 |  2662538 |     1618   4278 |        0 |        0
230.73/230.90	c  230s |      23 |  3553604 |  2684438 |     1618   4304 |        0 |        0
232.83/232.90	c  232s |      23 |  3576425 |  2703138 |     1618   4327 |        0 |        0
234.83/234.90	c  234s |      23 |  3597586 |  2720938 |     1618   4349 |        0 |        0
236.83/236.91	c  236s |      23 |  3618782 |  2738238 |     1618   4370 |        0 |        0
238.83/238.92	c  238s |      23 |  3645357 |  2758038 |     1618   4395 |        0 |        0
240.83/240.92	c  240s |      23 |  3673348 |  2779038 |     1618   4420 |        0 |        0
242.83/242.92	c  242s |      23 |  3701181 |  2799938 |     1618   4446 |        0 |        0
244.83/244.93	c  244s |      23 |  3727618 |  2821038 |     1618   4472 |        0 |        0
246.82/246.93	c  246s |      23 |  3752540 |  2840638 |     1618   4496 |        0 |        0
248.82/248.94	c  248s |      23 |  3781577 |  2862538 |     1618   4523 |        0 |        0
250.84/250.94	c  250s |      23 |  3806754 |  2882638 |     1618   4548 |        0 |        0
252.83/252.94	c  252s |      23 |  3830478 |  2901538 |     1618   4571 |        0 |        0
254.83/254.94	c  254s |      23 |  3859623 |  2923738 |     1618   4598 |        0 |        0
256.83/256.94	c  256s |      23 |  3888486 |  2945138 |     1618   4625 |        0 |        0
258.83/258.95	c  258s |      23 |  3915550 |  2965638 |     1618   4650 |        0 |        0
260.83/260.95	c  260s |      23 |  3948408 |  2989138 |     1618   4679 |        0 |        0
262.83/262.96	c  262s |      23 |  3980104 |  3012238 |     1618   4707 |        0 |        0
264.83/264.96	c  264s |      23 |  4008705 |  3033938 |     1618   4734 |        0 |        0
266.83/266.97	c  266s |      23 |  4035527 |  3055038 |     1618   4760 |        0 |        0
268.83/268.97	c  268s |      23 |  4056255 |  3073238 |     1618   4782 |        0 |        0
270.82/270.97	c  270s |      23 |  4084118 |  3094938 |     1618   4809 |        0 |        0
272.83/272.98	c  272s |      23 |  4114197 |  3118338 |     1618   4838 |        0 |        0
274.82/274.99	c  274s |      23 |  4143111 |  3140138 |     1618   4865 |        0 |        0
276.82/276.99	c  276s |      23 |  4174164 |  3162838 |     1618   4893 |        0 |        0
278.82/278.99	c  278s |      23 |  4202386 |  3184938 |     1618   4920 |        0 |        0
280.82/281.00	c  280s |      23 |  4230913 |  3207038 |     1618   4947 |        0 |        0
282.92/283.00	c  282s |      23 |  4257880 |  3228038 |     1618   4973 |        0 |        0
284.92/285.00	c  284s |      23 |  4286296 |  3250338 |     1618   5000 |        0 |        0
286.91/287.01	c  286s |      23 |  4315789 |  3273138 |     1618   5028 |        0 |        0
288.91/289.01	c  288s |      23 |  4343746 |  3295038 |     1618   5055 |        0 |        0
290.91/291.02	c  290s |      23 |  4375335 |  3318338 |     1618   5084 |        0 |        0
292.91/293.02	c  293s |      23 |  4407554 |  3342338 |     1618   5114 |        0 |        0
294.91/295.03	c  295s |      23 |  4436361 |  3364038 |     1780   5139 |        0 |        0
296.01/296.19	c  296s |      24 |  4452761 |  3376662 |     1780   5153 |        0 |        0
298.01/298.20	c  298s |      24 |  4481571 |  3398762 |     1780   5178 |        0 |        0
300.10/300.20	c  300s |      24 |  4506682 |  3418662 |     1780   5200 |        0 |        0
302.10/302.21	c  302s |      24 |  4532990 |  3439662 |     1780   5223 |        0 |        0
304.10/304.21	c  304s |      24 |  4561286 |  3461162 |     1780   5247 |        0 |        0
306.11/306.22	c  306s |      24 |  4586419 |  3481462 |     1780   5270 |        0 |        0
308.11/308.22	c  308s |      24 |  4613003 |  3501062 |     1780   5292 |        0 |        0
310.11/310.23	c  310s |      24 |  4640298 |  3520662 |     1780   5314 |        0 |        0
312.11/312.23	c  312s |      24 |  4667618 |  3541462 |     1780   5337 |        0 |        0
314.11/314.23	c  314s |      24 |  4696076 |  3562862 |     1780   5361 |        0 |        0
316.10/316.24	c  316s |      24 |  4724579 |  3584562 |     1780   5385 |        0 |        0
318.10/318.25	c  318s |      24 |  4751698 |  3605562 |     1780   5409 |        0 |        0
320.11/320.25	c  320s |      24 |  4778757 |  3625962 |     1780   5431 |        0 |        0
322.10/322.26	c  322s |      24 |  4808434 |  3647862 |     1780   5456 |        0 |        0
324.10/324.27	c  324s |      24 |  4837070 |  3668862 |     1780   5479 |        0 |        0
326.09/326.27	c  326s |      24 |  4864010 |  3689362 |     1780   5502 |        0 |        0
328.09/328.28	c  328s |      24 |  4891480 |  3709462 |     1780   5525 |        0 |        0
330.09/330.28	c  330s |      24 |  4921155 |  3731062 |     1780   5549 |        0 |        0
332.10/332.29	c  332s |      24 |  4945192 |  3749962 |     1780   5570 |        0 |        0
334.10/334.29	c  334s |      24 |  4970577 |  3768362 |     1780   5591 |        0 |        0
336.19/336.30	c  336s |      24 |  5000660 |  3790362 |     1780   5615 |        0 |        0
338.19/338.30	c  338s |      24 |  5029763 |  3811862 |     1780   5639 |        0 |        0
340.19/340.31	c  340s |      24 |  5059106 |  3833662 |     1780   5664 |        0 |        0
342.19/342.32	c  342s |      24 |  5088128 |  3855262 |     1780   5688 |        0 |        0
344.20/344.32	c  344s |      24 |  5116693 |  3877162 |     1780   5712 |        0 |        0
346.19/346.32	c  346s |      24 |  5144117 |  3897962 |     1780   5736 |        0 |        0
348.19/348.33	c  348s |      24 |  5169984 |  3917562 |     1780   5757 |        0 |        0
350.19/350.34	c  350s |      24 |  5198112 |  3938062 |     1780   5780 |        0 |        0
352.19/352.35	c  352s |      24 |  5225341 |  3958862 |     1780   5804 |        0 |        0
354.19/354.35	c  354s |      24 |  5255359 |  3980662 |     1780   5828 |        0 |        0
356.18/356.36	c  356s |      24 |  5284028 |  4002462 |     1780   5852 |        0 |        0
358.18/358.37	c  358s |      24 |  5312723 |  4024362 |     1780   5877 |        0 |        0
360.18/360.37	c  360s |      24 |  5341585 |  4046262 |     1780   5901 |        0 |        0
362.18/362.37	c  362s |      24 |  5366891 |  4066362 |     1780   5924 |        0 |        0
364.18/364.38	c  364s |      24 |  5394870 |  4087762 |     1780   5948 |        0 |        0
366.19/366.39	c  366s |      24 |  5418196 |  4106762 |     1780   5969 |        0 |        0
368.18/368.39	c  368s |      24 |  5446088 |  4126862 |     1780   5992 |        0 |        0
370.28/370.40	c  370s |      24 |  5472387 |  4147162 |     1780   6014 |        0 |        0
372.28/372.41	c  372s |      24 |  5499904 |  4167262 |     1780   6037 |        0 |        0
374.28/374.42	c  374s |      24 |  5526126 |  4187562 |     1780   6060 |        0 |        0
376.27/376.43	c  376s |      24 |  5552567 |  4207762 |     1780   6082 |        0 |        0
378.28/378.44	c  378s |      24 |  5578859 |  4228662 |     1780   6106 |        0 |        0
380.27/380.44	c  380s |      24 |  5606638 |  4250162 |     1780   6130 |        0 |        0
382.28/382.45	c  382s |      24 |  5636084 |  4270362 |     1780   6152 |        0 |        0
384.28/384.45	c  384s |      24 |  5663978 |  4290562 |     1780   6175 |        0 |        0
386.27/386.46	c  386s |      24 |  5694546 |  4312462 |     1780   6199 |        0 |        0
388.28/388.46	c  388s |      24 |  5724571 |  4334262 |     1780   6224 |        0 |        0
390.27/390.47	c  390s |      24 |  5750684 |  4354562 |     1780   6246 |        0 |        0
392.27/392.47	c  392s |      24 |  5782903 |  4377462 |     1780   6272 |        0 |        0
394.27/394.48	c  394s |      24 |  5815522 |  4401462 |     1780   6299 |        0 |        0
396.27/396.48	c  396s |      24 |  5846142 |  4423962 |     1780   6324 |        0 |        0
398.27/398.49	c  398s |      24 |  5874656 |  4445662 |     1780   6349 |        0 |        0
400.27/400.49	c  400s |      24 |  5905366 |  4468062 |     1780   6374 |        0 |        0
402.26/402.49	c  402s |      24 |  5936031 |  4490362 |     1780   6399 |        0 |        0
404.36/404.50	c  404s |      24 |  5966765 |  4512762 |     1780   6424 |        0 |        0
406.36/406.50	c  406s |      24 |  5997819 |  4535162 |     1780   6449 |        0 |        0
408.36/408.51	c  408s |      24 |  6028124 |  4557462 |     1780   6474 |        0 |        0
410.36/410.51	c  410s |      24 |  6054144 |  4576262 |     1780   6495 |        0 |        0
412.37/412.52	c  412s |      24 |  6082474 |  4596362 |     1780   6517 |        0 |        0
414.36/414.52	c  414s |      24 |  6110297 |  4617662 |     1780   6541 |        0 |        0
416.36/416.53	c  416s |      24 |  6134576 |  4636462 |     1780   6562 |        0 |        0
418.36/418.53	c  418s |      24 |  6159224 |  4655662 |     1780   6584 |        0 |        0
420.36/420.54	c  420s |      24 |  6188927 |  4677362 |     1780   6608 |        0 |        0
422.36/422.54	c  422s |      24 |  6219730 |  4699462 |     1780   6632 |        0 |        0
424.35/424.54	c  424s |      24 |  6249015 |  4720462 |     1780   6656 |        0 |        0
426.35/426.55	c  426s |      24 |  6277087 |  4740962 |     1780   6679 |        0 |        0
428.35/428.55	c  428s |      24 |  6305896 |  4762362 |     1780   6703 |        0 |        0
430.35/430.55	c  430s |      24 |  6334640 |  4783862 |     1780   6727 |        0 |        0
432.35/432.55	c  432s |      24 |  6365598 |  4805362 |     1780   6751 |        0 |        0
434.35/434.56	c  434s |      24 |  6394470 |  4826362 |     1780   6775 |        0 |        0
436.34/436.56	c  436s |      24 |  6423807 |  4847362 |     1780   6798 |        0 |        0
438.35/438.56	c  438s |      24 |  6455163 |  4869462 |     1780   6823 |        0 |        0
440.35/440.56	c  440s |      24 |  6485127 |  4891062 |     1780   6847 |        0 |        0
442.35/442.57	c  442s |      24 |  6517321 |  4913462 |     1780   6872 |        0 |        0
444.35/444.57	c  444s |      24 |  6547165 |  4934562 |     1780   6896 |        0 |        0
446.34/446.58	c  446s |      24 |  6578606 |  4955762 |     1780   6919 |        0 |        0
448.34/448.58	c  448s |      24 |  6608822 |  4977862 |     1780   6944 |        0 |        0
450.34/450.59	c  450s |      24 |  6639286 |  5000562 |     1780   6970 |        0 |        0
452.34/452.59	c  452s |      24 |  6669886 |  5023162 |     1780   6995 |        0 |        0
454.44/454.60	c  454s |      24 |  6698597 |  5044762 |     1959   7017 |        0 |        0
456.23/456.48	c  456s |      25 |  6726332 |  5065098 |     1959   7038 |        0 |        0
458.23/458.48	c  458s |      25 |  6754975 |  5085498 |     1959   7059 |        0 |        0
460.23/460.49	c  460s |      25 |  6785511 |  5106798 |     1959   7080 |        0 |        0
462.23/462.49	c  462s |      25 |  6816229 |  5127898 |     1959   7102 |        0 |        0
464.23/464.49	c  464s |      25 |  6845796 |  5149798 |     1959   7124 |        0 |        0
466.23/466.50	c  466s |      25 |  6873148 |  5169998 |     1959   7145 |        0 |        0
468.33/468.51	c  468s |      25 |  6902437 |  5191698 |     1959   7167 |        0 |        0
470.33/470.51	c  470s |      25 |  6927474 |  5211098 |     1959   7186 |        0 |        0
472.33/472.52	c  472s |      25 |  6954896 |  5231098 |     1959   7207 |        0 |        0
474.32/474.52	c  474s |      25 |  6976932 |  5249898 |     1959   7226 |        0 |        0
476.32/476.52	c  476s |      25 |  7005957 |  5271398 |     1959   7248 |        0 |        0
478.34/478.53	c  478s |      25 |  7034269 |  5292698 |     1959   7269 |        0 |        0
480.33/480.53	c  480s |      25 |  7062341 |  5313798 |     1959   7291 |        0 |        0
482.33/482.54	c  482s |      25 |  7091516 |  5335598 |     1959   7313 |        0 |        0
484.33/484.54	c  484s |      25 |  7117955 |  5356498 |     1959   7334 |        0 |        0
486.32/486.55	c  486s |      25 |  7146555 |  5377798 |     1959   7356 |        0 |        0
488.33/488.55	c  488s |      25 |  7175244 |  5398598 |     1959   7377 |        0 |        0
490.32/490.55	c  490s |      25 |  7204026 |  5420298 |     1959   7399 |        0 |        0
492.32/492.56	c  492s |      25 |  7230909 |  5440598 |     1959   7420 |        0 |        0
494.32/494.57	c  494s |      25 |  7258131 |  5461798 |     1959   7441 |        0 |        0
496.32/496.57	c  496s |      25 |  7287403 |  5483698 |     1959   7463 |        0 |        0
498.32/498.58	c  498s |      25 |  7314023 |  5504198 |     1959   7484 |        0 |        0
500.32/500.59	c  500s |      25 |  7340404 |  5524798 |     1959   7505 |        0 |        0
502.31/502.59	c  502s |      25 |  7368794 |  5546498 |     1959   7527 |        0 |        0
504.31/504.59	c  504s |      25 |  7396768 |  5567598 |     1959   7549 |        0 |        0
506.31/506.60	c  506s |      25 |  7426176 |  5589498 |     1959   7571 |        0 |        0
508.41/508.60	c  508s |      25 |  7454720 |  5611198 |     1959   7593 |        0 |        0
510.41/510.60	c  510s |      25 |  7482949 |  5632798 |     1959   7615 |        0 |        0
512.42/512.61	c  512s |      25 |  7511304 |  5654298 |     1959   7637 |        0 |        0
514.41/514.61	c  514s |      25 |  7540475 |  5675798 |     1959   7659 |        0 |        0
516.40/516.61	c  516s |      25 |  7571258 |  5697898 |     1959   7681 |        0 |        0
518.40/518.61	c  518s |      25 |  7599930 |  5719398 |     1959   7703 |        0 |        0
520.40/520.62	c  520s |      25 |  7629120 |  5741498 |     1959   7726 |        0 |        0
522.41/522.63	c  522s |      25 |  7657264 |  5762398 |     1959   7747 |        0 |        0
524.40/524.63	c  524s |      25 |  7681541 |  5781598 |     1959   7766 |        0 |        0
526.39/526.63	c  526s |      25 |  7707098 |  5799898 |     1959   7785 |        0 |        0
528.39/528.64	c  528s |      25 |  7737981 |  5821898 |     1959   7807 |        0 |        0
530.39/530.64	c  530s |      25 |  7765575 |  5842798 |     1959   7829 |        0 |        0
532.40/532.65	c  532s |      25 |  7794724 |  5863898 |     1959   7850 |        0 |        0
534.41/534.65	c  534s |      25 |  7821887 |  5884498 |     1959   7871 |        0 |        0
536.39/536.66	c  536s |      25 |  7847225 |  5903998 |     1959   7891 |        0 |        0
538.39/538.67	c  538s |      25 |  7872726 |  5923598 |     1959   7911 |        0 |        0
540.39/540.67	c  540s |      25 |  7898054 |  5943098 |     1959   7931 |        0 |        0
542.39/542.68	c  542s |      25 |  7924805 |  5963598 |     1959   7952 |        0 |        0
544.40/544.69	c  544s |      25 |  7945889 |  5980998 |     1959   7969 |        0 |        0
546.39/546.70	c  546s |      25 |  7972360 |  6001398 |     1959   7990 |        0 |        0
548.48/548.71	c  548s |      25 |  7996376 |  6020998 |     1959   8010 |        0 |        0
550.48/550.72	c  550s |      25 |  8016175 |  6037698 |     1959   8027 |        0 |        0
552.48/552.72	c  552s |      25 |  8041970 |  6057298 |     1959   8047 |        0 |        0
554.48/554.73	c  554s |      25 |  8071256 |  6079198 |     1959   8069 |        0 |        0
556.48/556.73	c  556s |      25 |  8101786 |  6101398 |     1959   8092 |        0 |        0
558.48/558.74	c  558s |      25 |  8132138 |  6123098 |     1959   8114 |        0 |        0
560.48/560.74	c  560s |      25 |  8158769 |  6144298 |     1959   8135 |        0 |        0
562.47/562.75	c  562s |      25 |  8185998 |  6165398 |     1959   8157 |        0 |        0
564.47/564.75	c  564s |      25 |  8217719 |  6188398 |     1959   8180 |        0 |        0
566.47/566.75	c  566s |      25 |  8246103 |  6210198 |     1959   8203 |        0 |        0
568.48/568.76	c  568s |      25 |  8275968 |  6232298 |     1959   8225 |        0 |        0
570.47/570.76	c  570s |      25 |  8308425 |  6255598 |     1959   8249 |        0 |        0
572.47/572.76	c  572s |      25 |  8336037 |  6276598 |     1959   8270 |        0 |        0
574.48/574.77	c  574s |      25 |  8365337 |  6298598 |     1959   8293 |        0 |        0
576.47/576.77	c  576s |      25 |  8395199 |  6320998 |     1959   8315 |        0 |        0
578.48/578.78	c  578s |      25 |  8423154 |  6342698 |     1959   8337 |        0 |        0
580.47/580.78	c  580s |      25 |  8452098 |  6364498 |     1959   8360 |        0 |        0
582.47/582.79	c  582s |      25 |  8482008 |  6387198 |     1959   8383 |        0 |        0
584.47/584.79	c  584s |      25 |  8513289 |  6410198 |     1959   8406 |        0 |        0
586.46/586.79	c  586s |      25 |  8540907 |  6431798 |     1959   8428 |        0 |        0
588.46/588.79	c  588s |      25 |  8569730 |  6452698 |     1959   8449 |        0 |        0
590.47/590.80	c  590s |      25 |  8600442 |  6475298 |     1959   8472 |        0 |        0
592.56/592.80	c  592s |      25 |  8628923 |  6496798 |     1959   8494 |        0 |        0
594.56/594.81	c  594s |      25 |  8659975 |  6519698 |     1959   8518 |        0 |        0
596.55/596.81	c  596s |      25 |  8691313 |  6542598 |     1959   8541 |        0 |        0
598.55/598.82	c  598s |      25 |  8723629 |  6565398 |     1959   8564 |        0 |        0
600.55/600.82	c  600s |      25 |  8756789 |  6588898 |     1959   8588 |        0 |        0
602.56/602.82	c  602s |      25 |  8789524 |  6612298 |     1959   8612 |        0 |        0
604.55/604.82	c  604s |      25 |  8819129 |  6634198 |     1959   8634 |        0 |        0
606.55/606.83	c  606s |      25 |  8850057 |  6656498 |     1959   8657 |        0 |        0
608.54/608.84	c  608s |      25 |  8878233 |  6678198 |     1959   8679 |        0 |        0
610.54/610.84	c  610s |      25 |  8908507 |  6700398 |     1959   8701 |        0 |        0
612.55/612.84	c  612s |      25 |  8939636 |  6723198 |     1959   8725 |        0 |        0
614.54/614.85	c  614s |      25 |  8970038 |  6745198 |     1959   8747 |        0 |        0
616.54/616.85	c  616s |      25 |  8997404 |  6765498 |     1959   8768 |        0 |        0
618.54/618.86	c  618s |      25 |  9021860 |  6784398 |     1959   8787 |        0 |        0
620.54/620.86	c  620s |      25 |  9050740 |  6806598 |     1959   8810 |        0 |        0
622.54/622.86	c  622s |      25 |  9077203 |  6826698 |     1959   8830 |        0 |        0
624.54/624.87	c  624s |      25 |  9105491 |  6847898 |     1959   8852 |        0 |        0
626.53/626.88	c  626s |      25 |  9137171 |  6870798 |     1959   8875 |        0 |        0
628.53/628.88	c  628s |      25 |  9166418 |  6892698 |     1959   8897 |        0 |        0
630.53/630.88	c  630s |      25 |  9193447 |  6913298 |     1959   8918 |        0 |        0
632.53/632.89	c  632s |      25 |  9220014 |  6933898 |     1959   8939 |        0 |        0
634.54/634.89	c  634s |      25 |  9244031 |  6952998 |     1959   8959 |        0 |        0
636.52/636.89	c  636s |      25 |  9270196 |  6972898 |     1959   8979 |        0 |        0
638.52/638.89	c  638s |      25 |  9296525 |  6992898 |     1959   8999 |        0 |        0
640.62/640.90	c  640s |      25 |  9323497 |  7013198 |     1959   9020 |        0 |        0
642.63/642.91	c  642s |      25 |  9350226 |  7033298 |     1959   9041 |        0 |        0
644.63/644.92	c  644s |      25 |  9377708 |  7053898 |     1959   9062 |        0 |        0
646.63/646.93	c  646s |      25 |  9402716 |  7073798 |     1959   9082 |        0 |        0
648.63/648.93	c  648s |      25 |  9426421 |  7093398 |     1959   9102 |        0 |        0
650.63/650.95	c  650s |      25 |  9449488 |  7111898 |     1959   9121 |        0 |        0
652.62/652.95	c  652s |      25 |  9475170 |  7131898 |     1959   9141 |        0 |        0
654.62/654.96	c  654s |      25 |  9503904 |  7153298 |     1959   9163 |        0 |        0
656.62/656.97	c  656s |      25 |  9530937 |  7173198 |     1959   9183 |        0 |        0
658.62/658.97	c  658s |      25 |  9554078 |  7191998 |     1959   9202 |        0 |        0
660.61/660.98	c  660s |      25 |  9576681 |  7210698 |     1959   9221 |        0 |        0
662.61/662.99	c  662s |      25 |  9601616 |  7230398 |     1959   9241 |        0 |        0
664.61/664.99	c  664s |      25 |  9632232 |  7252198 |     1959   9263 |        0 |        0
666.61/666.99	c  666s |      25 |  9660183 |  7273198 |     1959   9285 |        0 |        0
668.71/669.00	c  668s |      25 |  9689191 |  7294598 |     1959   9306 |        0 |        0
670.72/671.02	c  670s |      25 |  9717751 |  7316298 |     1959   9329 |        0 |        0
672.71/673.02	c  673s |      25 |  9745763 |  7337698 |     1959   9350 |        0 |        0
674.71/675.03	c  675s |      25 |  9769507 |  7356598 |     1959   9370 |        0 |        0
676.70/677.03	c  677s |      25 |  9793645 |  7375498 |     1959   9389 |        0 |        0
678.70/679.03	c  679s |      25 |  9821294 |  7396798 |     1959   9410 |        0 |        0
680.71/681.04	c  681s |      25 |  9849110 |  7417998 |     1959   9432 |        0 |        0
682.70/683.05	c  683s |      25 |  9875580 |  7437298 |     1959   9452 |        0 |        0
684.70/685.05	c  685s |      25 |  9901260 |  7457098 |     1959   9472 |        0 |        0
686.70/687.05	c  687s |      25 |  9926899 |  7476698 |     1959   9492 |        0 |        0
688.70/689.05	c  689s |      25 |  9952755 |  7496298 |     1959   9512 |        0 |        0
690.70/691.05	c  691s |      25 |  9979714 |  7516098 |     1959   9532 |        0 |        0
692.71/693.06	c  693s |      25 | 10004854 |  7535698 |     1959   9552 |        0 |        0
694.71/695.06	c  695s |      25 | 10028332 |  7554498 |     2155   9570 |        0 |        0
696.71/697.06	c  697s |      25 | 10054829 |  7574698 |     2155   9589 |        0 |        0
698.70/699.07	c  699s |      25 | 10079280 |  7593998 |     2155   9606 |        0 |        0
699.10/699.45	c  699s |      26 | 10084349 |  7597752 |     2155   9610 |        0 |        0
701.10/701.45	c  701s |      26 | 10114601 |  7618452 |     2155   9629 |        0 |        0
703.10/703.46	c  703s |      26 | 10142887 |  7639352 |     2155   9648 |        0 |        0
705.10/705.47	c  705s |      26 | 10171631 |  7660252 |     2155   9668 |        0 |        0
707.11/707.48	c  707s |      26 | 10198329 |  7680952 |     2155   9687 |        0 |        0
709.10/709.48	c  709s |      26 | 10225977 |  7701752 |     2155   9706 |        0 |        0
711.10/711.48	c  711s |      26 | 10252251 |  7722052 |     2155   9725 |        0 |        0
713.10/713.49	c  713s |      26 | 10276302 |  7740952 |     2155   9742 |        0 |        0
715.10/715.49	c  715s |      26 | 10300805 |  7759552 |     2155   9759 |        0 |        0
717.10/717.50	c  717s |      26 | 10327023 |  7779152 |     2155   9777 |        0 |        0
719.21/719.50	c  719s |      26 | 10353034 |  7798852 |     2155   9796 |        0 |        0
721.20/721.50	c  721s |      26 | 10380368 |  7819152 |     2155   9814 |        0 |        0
723.20/723.51	c  723s |      26 | 10404996 |  7838452 |     2155   9832 |        0 |        0
725.20/725.51	c  725s |      26 | 10429078 |  7857552 |     2155   9850 |        0 |        0
727.20/727.52	c  727s |      26 | 10452785 |  7875752 |     2155   9867 |        0 |        0
729.20/729.53	c  729s |      26 | 10475506 |  7893252 |     2155   9883 |        0 |        0
731.20/731.53	c  731s |      26 | 10495383 |  7909952 |     2155   9898 |        0 |        0
733.19/733.54	c  733s |      26 | 10516773 |  7927052 |     2155   9914 |        0 |        0
735.19/735.54	c  735s |      26 | 10541533 |  7944852 |     2155   9930 |        0 |        0
737.19/737.55	c  737s |      26 | 10566822 |  7964052 |     2155   9948 |        0 |        0
739.19/739.55	c  739s |      26 | 10589147 |  7981952 |     2155   9965 |        0 |        0
741.20/741.56	c  741s |      26 | 10615967 |  8001252 |     2155   9982 |        0 |        0
743.19/743.56	c  743s |      26 | 10642359 |  8020752 |     2155  10000 |        0 |        0
745.19/745.56	c  745s |      26 | 10666885 |  8039652 |     2155  10018 |        0 |        0
747.19/747.57	c  747s |      26 | 10689682 |  8057652 |     2155  10035 |        0 |        0
749.20/749.57	c  749s |      26 | 10713339 |  8076552 |     2155  10052 |        0 |        0
751.20/751.58	c  751s |      26 | 10740531 |  8096452 |     2155  10070 |        0 |        0
753.21/753.59	c  753s |      26 | 10766111 |  8115552 |     2155  10088 |        0 |        0
755.20/755.59	c  755s |      26 | 10792850 |  8135052 |     2155  10106 |        0 |        0
757.30/757.61	c  757s |      26 | 10822315 |  8156152 |     2155  10126 |        0 |        0
759.30/759.61	c  759s |      26 | 10849254 |  8176152 |     2155  10144 |        0 |        0
761.30/761.62	c  761s |      26 | 10875226 |  8196352 |     2155  10163 |        0 |        0
763.30/763.62	c  763s |      26 | 10899818 |  8215752 |     2155  10181 |        0 |        0
765.30/765.63	c  765s |      26 | 10923218 |  8233952 |     2155  10197 |        0 |        0
767.29/767.63	c  767s |      26 | 10946727 |  8252752 |     2155  10215 |        0 |        0
769.29/769.64	c  769s |      26 | 10973272 |  8272052 |     2155  10233 |        0 |        0
771.29/771.64	c  771s |      26 | 10999457 |  8291152 |     2155  10250 |        0 |        0
773.29/773.65	c  773s |      26 | 11025289 |  8310252 |     2155  10268 |        0 |        0
775.30/775.66	c  775s |      26 | 11050513 |  8329652 |     2155  10286 |        0 |        0
777.29/777.66	c  777s |      26 | 11077039 |  8348952 |     2155  10304 |        0 |        0
779.29/779.68	c  779s |      26 | 11102600 |  8368352 |     2155  10322 |        0 |        0
781.29/781.68	c  781s |      26 | 11129668 |  8387952 |     2155  10340 |        0 |        0
783.29/783.69	c  783s |      26 | 11157043 |  8407752 |     2155  10358 |        0 |        0
785.39/785.70	c  785s |      26 | 11179739 |  8424952 |     2155  10374 |        0 |        0
787.40/787.71	c  787s |      26 | 11204412 |  8443652 |     2155  10391 |        0 |        0
789.39/789.71	c  789s |      26 | 11232674 |  8463952 |     2155  10410 |        0 |        0
791.39/791.71	c  791s |      26 | 11258392 |  8484052 |     2155  10428 |        0 |        0
793.39/793.72	c  793s |      26 | 11283623 |  8502952 |     2155  10446 |        0 |        0
795.39/795.72	c  795s |      26 | 11310319 |  8523152 |     2155  10464 |        0 |        0
797.38/797.73	c  797s |      26 | 11334362 |  8541652 |     2155  10481 |        0 |        0
799.39/799.74	c  799s |      26 | 11357618 |  8559252 |     2155  10498 |        0 |        0
801.38/801.75	c  801s |      26 | 11381192 |  8577452 |     2155  10515 |        0 |        0
803.38/803.75	c  803s |      26 | 11403883 |  8595252 |     2155  10531 |        0 |        0
805.38/805.76	c  805s |      26 | 11427493 |  8613752 |     2155  10548 |        0 |        0
807.38/807.77	c  807s |      26 | 11451684 |  8632452 |     2155  10565 |        0 |        0
809.39/809.77	c  809s |      26 | 11477705 |  8652452 |     2155  10584 |        0 |        0
811.38/811.78	c  811s |      26 | 11502682 |  8671252 |     2155  10601 |        0 |        0
813.38/813.78	c  813s |      26 | 11529671 |  8691452 |     2155  10620 |        0 |        0
815.38/815.79	c  815s |      26 | 11558590 |  8712752 |     2155  10640 |        0 |        0
817.38/817.79	c  817s |      26 | 11584473 |  8731852 |     2155  10657 |        0 |        0
819.38/819.79	c  819s |      26 | 11607393 |  8750252 |     2155  10674 |        0 |        0
821.39/821.79	c  821s |      26 | 11630483 |  8769252 |     2155  10692 |        0 |        0
823.48/823.80	c  823s |      26 | 11652125 |  8786752 |     2155  10708 |        0 |        0
825.48/825.81	c  825s |      26 | 11673195 |  8803752 |     2155  10724 |        0 |        0
827.49/827.81	c  827s |      26 | 11695583 |  8821752 |     2155  10740 |        0 |        0
829.49/829.82	c  829s |      26 | 11717579 |  8839752 |     2155  10757 |        0 |        0
831.48/831.82	c  831s |      26 | 11741372 |  8857952 |     2155  10774 |        0 |        0
833.49/833.83	c  833s |      26 | 11766206 |  8876552 |     2155  10791 |        0 |        0
835.48/835.84	c  835s |      26 | 11790459 |  8894052 |     2155  10807 |        0 |        0
837.48/837.84	c  837s |      26 | 11816812 |  8913952 |     2155  10826 |        0 |        0
839.48/839.85	c  839s |      26 | 11843555 |  8933852 |     2155  10844 |        0 |        0
841.48/841.86	c  841s |      26 | 11872050 |  8954652 |     2155  10863 |        0 |        0
843.49/843.86	c  843s |      26 | 11898023 |  8974752 |     2155  10882 |        0 |        0
845.48/845.87	c  845s |      26 | 11926231 |  8995052 |     2155  10901 |        0 |        0
847.48/847.87	c  847s |      26 | 11952339 |  9015052 |     2155  10919 |        0 |        0
849.48/849.88	c  849s |      26 | 11980783 |  9035652 |     2155  10938 |        0 |        0
851.48/851.89	c  851s |      26 | 12006442 |  9054652 |     2155  10956 |        0 |        0
853.47/853.89	c  853s |      26 | 12032187 |  9074352 |     2155  10974 |        0 |        0
855.48/855.89	c  855s |      26 | 12056962 |  9093452 |     2155  10991 |        0 |        0
857.47/857.90	c  857s |      26 | 12082098 |  9112452 |     2155  11009 |        0 |        0
859.47/859.90	c  859s |      26 | 12107403 |  9130952 |     2155  11026 |        0 |        0
861.57/861.90	c  861s |      26 | 12133847 |  9150252 |     2155  11044 |        0 |        0
863.57/863.90	c  863s |      26 | 12159217 |  9170252 |     2155  11062 |        0 |        0
865.58/865.91	c  865s |      26 | 12186370 |  9190752 |     2155  11081 |        0 |        0
867.59/867.92	c  867s |      26 | 12213107 |  9210552 |     2155  11100 |        0 |        0
869.58/869.93	c  869s |      26 | 12239292 |  9230852 |     2155  11118 |        0 |        0
871.58/871.93	c  871s |      26 | 12265067 |  9250952 |     2155  11137 |        0 |        0
873.58/873.94	c  873s |      26 | 12289100 |  9270052 |     2155  11155 |        0 |        0
875.58/875.94	c  875s |      26 | 12311930 |  9288652 |     2155  11172 |        0 |        0
877.59/877.95	c  877s |      26 | 12336471 |  9308052 |     2155  11190 |        0 |        0
879.58/879.95	c  879s |      26 | 12362034 |  9327552 |     2155  11208 |        0 |        0
881.58/881.95	c  881s |      26 | 12387961 |  9346752 |     2155  11226 |        0 |        0
883.58/883.96	c  883s |      26 | 12413231 |  9366452 |     2155  11244 |        0 |        0
885.58/885.96	c  885s |      26 | 12437372 |  9385352 |     2155  11261 |        0 |        0
887.58/887.97	c  887s |      26 | 12464187 |  9405252 |     2155  11280 |        0 |        0
889.58/889.98	c  889s |      26 | 12490412 |  9424352 |     2155  11297 |        0 |        0
891.58/891.98	c  891s |      26 | 12515213 |  9443452 |     2155  11315 |        0 |        0
893.58/893.99	c  893s |      26 | 12540128 |  9463252 |     2155  11333 |        0 |        0
895.57/895.99	c  895s |      26 | 12567529 |  9483752 |     2155  11352 |        0 |        0
897.67/898.00	c  897s |      26 | 12592466 |  9503552 |     2155  11371 |        0 |        0
899.67/900.00	c  899s |      26 | 12618816 |  9523852 |     2155  11389 |        0 |        0
901.68/902.01	c  901s |      26 | 12643371 |  9543552 |     2155  11408 |        0 |        0
903.67/904.02	c  904s |      26 | 12670182 |  9563452 |     2155  11426 |        0 |        0
905.67/906.03	c  906s |      26 | 12699614 |  9584852 |     2155  11446 |        0 |        0
907.67/908.03	c  908s |      26 | 12727778 |  9606252 |     2155  11466 |        0 |        0
909.67/910.04	c  910s |      26 | 12756250 |  9627152 |     2155  11485 |        0 |        0
911.67/912.04	c  912s |      26 | 12778575 |  9645052 |     2155  11501 |        0 |        0
913.67/914.04	c  914s |      26 | 12805851 |  9664352 |     2155  11519 |        0 |        0
915.67/916.05	c  916s |      26 | 12831774 |  9683652 |     2155  11537 |        0 |        0
917.67/918.05	c  918s |      26 | 12852969 |  9700652 |     2155  11553 |        0 |        0
919.67/920.06	c  920s |      26 | 12878309 |  9720152 |     2155  11571 |        0 |        0
921.67/922.07	c  922s |      26 | 12905740 |  9740752 |     2155  11590 |        0 |        0
923.67/924.07	c  924s |      26 | 12931915 |  9761252 |     2155  11609 |        0 |        0
925.66/926.08	c  926s |      26 | 12954222 |  9779852 |     2155  11626 |        0 |        0
927.66/928.09	c  928s |      26 | 12977921 |  9798752 |     2155  11643 |        0 |        0
929.77/930.10	c  930s |      26 | 13003321 |  9818552 |     2155  11662 |        0 |        0
931.77/932.10	c  932s |      26 | 13029991 |  9837852 |     2155  11680 |        0 |        0
933.77/934.11	c  934s |      26 | 13052767 |  9855952 |     2155  11696 |        0 |        0
935.78/936.11	c  936s |      26 | 13080127 |  9875952 |     2155  11715 |        0 |        0
937.77/938.11	c  938s |      26 | 13109639 |  9897752 |     2155  11735 |        0 |        0
939.77/940.13	c  940s |      26 | 13138530 |  9918952 |     2155  11755 |        0 |        0
941.77/942.13	c  942s |      26 | 13166596 |  9940152 |     2155  11774 |        0 |        0
943.77/944.13	c  944s |      26 | 13194988 |  9960952 |     2155  11793 |        0 |        0
945.77/946.14	c  946s |      26 | 13222899 |  9982552 |     2155  11813 |        0 |        0
947.77/948.14	c  948s |      26 | 13253461 | 10004452 |     2155  11834 |        0 |        0
949.77/950.15	c  950s |      26 | 13282155 | 10025752 |     2155  11853 |        0 |        0
951.77/952.15	c  952s |      26 | 13307401 | 10045452 |     2155  11872 |        0 |        0
953.77/954.15	c  954s |      26 | 13336712 | 10066352 |     2155  11891 |        0 |        0
955.76/956.16	c  956s |      26 | 13363180 | 10086352 |     2155  11909 |        0 |        0
957.77/958.16	c  958s |      26 | 13389900 | 10106752 |     2155  11928 |        0 |        0
959.76/960.16	c  960s |      26 | 13417165 | 10126852 |     2155  11947 |        0 |        0
961.76/962.16	c  962s |      26 | 13442566 | 10145052 |     2155  11964 |        0 |        0
963.76/964.17	c  964s |      26 | 13463750 | 10162852 |     2155  11980 |        0 |        0
965.76/966.18	c  966s |      26 | 13487635 | 10181152 |     2155  11997 |        0 |        0
967.77/968.18	c  968s |      26 | 13514097 | 10200452 |     2155  12015 |        0 |        0
969.76/970.19	c  970s |      26 | 13540469 | 10219752 |     2155  12033 |        0 |        0
971.76/972.19	c  972s |      26 | 13568074 | 10239652 |     2155  12051 |        0 |        0
973.86/974.20	c  974s |      26 | 13590719 | 10258052 |     2155  12068 |        0 |        0
975.86/976.20	c  976s |      26 | 13614337 | 10277252 |     2155  12086 |        0 |        0
977.86/978.20	c  978s |      26 | 13637721 | 10296052 |     2155  12103 |        0 |        0
979.87/980.20	c  980s |      26 | 13661660 | 10313852 |     2155  12120 |        0 |        0
981.86/982.22	c  982s |      26 | 13686922 | 10332052 |     2155  12137 |        0 |        0
983.86/984.22	c  984s |      26 | 13712045 | 10350952 |     2155  12154 |        0 |        0
985.86/986.23	c  986s |      26 | 13737100 | 10369652 |     2155  12171 |        0 |        0
987.86/988.24	c  988s |      26 | 13761595 | 10387752 |     2155  12188 |        0 |        0
989.86/990.24	c  990s |      26 | 13786705 | 10406452 |     2155  12205 |        0 |        0
991.86/992.25	c  992s |      26 | 13806828 | 10423152 |     2155  12221 |        0 |        0
993.86/994.26	c  994s |      26 | 13830730 | 10441652 |     2155  12238 |        0 |        0
995.86/996.26	c  996s |      26 | 13854022 | 10459852 |     2155  12255 |        0 |        0
997.86/998.26	c  998s |      26 | 13879159 | 10478352 |     2155  12272 |        0 |        0
999.86/1000.27	c 1000s |      26 | 13901718 | 10495752 |     2155  12288 |        0 |        0
1001.86/1002.27	c 1002s |      26 | 13925143 | 10513952 |     2155  12305 |        0 |        0
1003.85/1004.27	c 1004s |      26 | 13949350 | 10532452 |     2155  12322 |        0 |        0
1005.85/1006.28	c 1006s |      26 | 13974619 | 10552252 |     2155  12340 |        0 |        0
1007.85/1008.29	c 1008s |      26 | 14002215 | 10572652 |     2155  12359 |        0 |        0
1009.85/1010.29	c 1010s |      26 | 14027757 | 10592352 |     2155  12377 |        0 |        0
1011.85/1012.29	c 1012s |      26 | 14055053 | 10612952 |     2155  12397 |        0 |        0
1013.96/1014.30	c 1014s |      26 | 14082097 | 10633352 |     2155  12415 |        0 |        0
1015.95/1016.31	c 1016s |      26 | 14108473 | 10653452 |     2155  12434 |        0 |        0
1017.95/1018.32	c 1018s |      26 | 14133162 | 10672452 |     2155  12452 |        0 |        0
1019.95/1020.32	c 1020s |      26 | 14158720 | 10691752 |     2155  12470 |        0 |        0
1021.95/1022.33	c 1022s |      26 | 14185516 | 10712152 |     2155  12488 |        0 |        0
1023.95/1024.33	c 1024s |      26 | 14214540 | 10733152 |     2155  12508 |        0 |        0
1025.96/1026.34	c 1026s |      26 | 14239650 | 10752452 |     2155  12526 |        0 |        0
1027.95/1028.34	c 1028s |      26 | 14264142 | 10770852 |     2155  12543 |        0 |        0
1029.95/1030.34	c 1030s |      26 | 14290737 | 10790552 |     2155  12561 |        0 |        0
1031.95/1032.35	c 1032s |      26 | 14316798 | 10809552 |     2155  12578 |        0 |        0
1033.96/1034.35	c 1034s |      26 | 14344244 | 10829152 |     2155  12597 |        0 |        0
1035.96/1036.35	c 1036s |      26 | 14369389 | 10848252 |     2155  12614 |        0 |        0
1037.95/1038.36	c 1038s |      26 | 14395475 | 10867752 |     2155  12632 |        0 |        0
1039.95/1040.37	c 1040s |      26 | 14421476 | 10886752 |     2155  12650 |        0 |        0
1041.95/1042.37	c 1042s |      26 | 14447833 | 10906252 |     2155  12668 |        0 |        0
1043.95/1044.38	c 1044s |      26 | 14472997 | 10925052 |     2155  12685 |        0 |        0
1045.95/1046.38	c 1046s |      26 | 14498022 | 10944452 |     2155  12703 |        0 |        0
1047.96/1048.39	c 1048s |      26 | 14522518 | 10962852 |     2155  12720 |        0 |        0
1050.05/1050.40	c 1050s |      26 | 14546657 | 10981652 |     2155  12738 |        0 |        0
1052.05/1052.41	c 1052s |      26 | 14570150 | 10999952 |     2155  12754 |        0 |        0
1054.05/1054.42	c 1054s |      26 | 14596025 | 11019152 |     2155  12772 |        0 |        0
1056.05/1056.44	c 1056s |      26 | 14620656 | 11037952 |     2155  12790 |        0 |        0
1058.05/1058.45	c 1058s |      26 | 14643645 | 11056052 |     2155  12806 |        0 |        0
1060.06/1060.46	c 1060s |      26 | 14666853 | 11074752 |     2155  12823 |        0 |        0
1062.05/1062.47	c 1062s |      26 | 14692338 | 11093752 |     2155  12841 |        0 |        0
1064.05/1064.47	c 1064s |      26 | 14718343 | 11112952 |     2155  12859 |        0 |        0
1066.05/1066.47	c 1066s |      26 | 14745111 | 11132452 |     2155  12877 |        0 |        0
1068.05/1068.48	c 1068s |      26 | 14771755 | 11151952 |     2155  12895 |        0 |        0
1070.05/1070.49	c 1070s |      26 | 14797878 | 11171252 |     2155  12913 |        0 |        0
1072.05/1072.49	c 1072s |      26 | 14824304 | 11190652 |     2155  12931 |        0 |        0
1074.15/1074.50	c 1074s |      26 | 14849712 | 11210352 |     2155  12949 |        0 |        0
1076.15/1076.51	c 1076s |      26 | 14876212 | 11230252 |     2155  12967 |        0 |        0
1078.15/1078.52	c 1078s |      26 | 14902245 | 11249352 |     2155  12985 |        0 |        0
1080.14/1080.52	c 1080s |      26 | 14927964 | 11268752 |     2155  13003 |        0 |        0
1082.15/1082.53	c 1082s |      26 | 14955424 | 11289052 |     2155  13022 |        0 |        0
1084.14/1084.54	c 1084s |      26 | 14982226 | 11309352 |     2155  13040 |        0 |        0
1086.14/1086.54	c 1086s |      26 | 15007612 | 11328152 |     2371  13056 |        0 |        0
1088.14/1088.54	c 1088s |      26 | 15031359 | 11346452 |     2371  13072 |        0 |        0
1090.14/1090.55	c 1090s |      26 | 15054178 | 11364452 |     2371  13087 |        0 |        0
1092.14/1092.56	c 1092s |      26 | 15079782 | 11383052 |     2371  13103 |        0 |        0
1093.74/1094.18	c 1094s |      27 | 15098644 | 11396733 |     2371  13114 |        0 |        0
1095.74/1096.19	c 1096s |      27 | 15124482 | 11415933 |     2371  13130 |        0 |        0
1097.74/1098.19	c 1098s |      27 | 15148978 | 11434633 |     2371  13146 |        0 |        0
1099.84/1100.20	c 1100s |      27 | 15174918 | 11454233 |     2371  13162 |        0 |        0
1101.74/1102.20	c 1102s |      27 | 15201096 | 11473533 |     2371  13179 |        0 |        0
1103.84/1104.21	c 1104s |      27 | 15225035 | 11492033 |     2371  13194 |        0 |        0
1105.84/1106.21	c 1106s |      27 | 15250255 | 11511033 |     2371  13210 |        0 |        0
1107.84/1108.22	c 1108s |      27 | 15275695 | 11530433 |     2371  13226 |        0 |        0
1109.84/1110.23	c 1110s |      27 | 15300006 | 11548833 |     2371  13242 |        0 |        0
1111.85/1112.24	c 1112s |      27 | 15325113 | 11568033 |     2371  13258 |        0 |        0
1113.84/1114.24	c 1114s |      27 | 15352376 | 11588533 |     2371  13275 |        0 |        0
1115.84/1116.25	c 1116s |      27 | 15378519 | 11609033 |     2371  13292 |        0 |        0
1117.84/1118.25	c 1118s |      27 | 15400698 | 11626933 |     2371  13307 |        0 |        0
1119.84/1120.25	c 1120s |      27 | 15424590 | 11646333 |     2371  13324 |        0 |        0
1121.84/1122.26	c 1122s |      27 | 15451823 | 11666233 |     2371  13340 |        0 |        0
1123.85/1124.27	c 1124s |      27 | 15480707 | 11687433 |     2371  13358 |        0 |        0
1125.84/1126.28	c 1126s |      27 | 15505823 | 11707133 |     2371  13375 |        0 |        0
1127.84/1128.28	c 1128s |      27 | 15530300 | 11725933 |     2371  13390 |        0 |        0
1129.84/1130.29	c 1130s |      27 | 15556102 | 11745733 |     2371  13407 |        0 |        0
1131.94/1132.30	c 1132s |      27 | 15581491 | 11765033 |     2371  13423 |        0 |        0
1133.94/1134.30	c 1134s |      27 | 15609558 | 11785433 |     2371  13440 |        0 |        0
1135.94/1136.31	c 1136s |      27 | 15638428 | 11805933 |     2371  13458 |        0 |        0
1137.94/1138.32	c 1138s |      27 | 15664007 | 11825933 |     2371  13474 |        0 |        0
1139.93/1140.32	c 1140s |      27 | 15689425 | 11844933 |     2371  13490 |        0 |        0
1141.93/1142.32	c 1142s |      27 | 15714749 | 11863833 |     2371  13506 |        0 |        0
1143.93/1144.33	c 1144s |      27 | 15740263 | 11883433 |     2371  13523 |        0 |        0
1145.94/1146.33	c 1146s |      27 | 15765530 | 11902933 |     2371  13539 |        0 |        0
1147.93/1148.33	c 1148s |      27 | 15788699 | 11921033 |     2371  13554 |        0 |        0
1149.93/1150.34	c 1150s |      27 | 15811317 | 11938433 |     2371  13569 |        0 |        0
1151.93/1152.34	c 1152s |      27 | 15833557 | 11955733 |     2371  13583 |        0 |        0
1153.93/1154.34	c 1154s |      27 | 15861918 | 11976433 |     2371  13601 |        0 |        0
1155.93/1156.35	c 1156s |      27 | 15889627 | 11996933 |     2371  13618 |        0 |        0
1157.94/1158.35	c 1158s |      27 | 15915820 | 12016933 |     2371  13635 |        0 |        0
1159.93/1160.36	c 1160s |      27 | 15943843 | 12037633 |     2371  13652 |        0 |        0
1161.93/1162.36	c 1162s |      27 | 15966161 | 12054733 |     2371  13667 |        0 |        0
1163.93/1164.37	c 1164s |      27 | 15991019 | 12072733 |     2371  13682 |        0 |        0
1165.93/1166.37	c 1166s |      27 | 16015435 | 12090933 |     2371  13697 |        0 |        0
1167.93/1168.38	c 1168s |      27 | 16039140 | 12108333 |     2371  13712 |        0 |        0
1169.93/1170.39	c 1170s |      27 | 16065261 | 12127733 |     2371  13728 |        0 |        0
1172.03/1172.40	c 1172s |      27 | 16090497 | 12147033 |     2371  13744 |        0 |        0
1174.03/1174.42	c 1174s |      27 | 16116555 | 12166633 |     2371  13761 |        0 |        0
1176.03/1176.43	c 1176s |      27 | 16140318 | 12184733 |     2371  13776 |        0 |        0
1178.03/1178.43	c 1178s |      27 | 16162673 | 12202333 |     2371  13791 |        0 |        0
1180.03/1180.43	c 1180s |      27 | 16184847 | 12220133 |     2371  13805 |        0 |        0
1182.03/1182.44	c 1182s |      27 | 16204049 | 12236633 |     2371  13819 |        0 |        0
1184.03/1184.44	c 1184s |      27 | 16223918 | 12252533 |     2371  13833 |        0 |        0
1186.03/1186.46	c 1186s |      27 | 16247049 | 12268533 |     2371  13846 |        0 |        0
1188.03/1188.47	c 1188s |      27 | 16268808 | 12285133 |     2371  13860 |        0 |        0
1190.03/1190.47	c 1190s |      27 | 16288552 | 12301433 |     2371  13874 |        0 |        0
1192.04/1192.48	c 1192s |      27 | 16311354 | 12317833 |     2371  13888 |        0 |        0
1194.03/1194.49	c 1194s |      27 | 16334674 | 12335633 |     2371  13902 |        0 |        0
1196.13/1196.50	c 1196s |      27 | 16355219 | 12352733 |     2371  13917 |        0 |        0
1198.13/1198.50	c 1198s |      27 | 16381473 | 12372233 |     2371  13933 |        0 |        0
1200.12/1200.50	c 1200s |      27 | 16405753 | 12390733 |     2371  13949 |        0 |        0
1202.12/1202.52	c 1202s |      27 | 16427528 | 12408333 |     2371  13964 |        0 |        0
1204.14/1204.53	c 1204s |      27 | 16451434 | 12426733 |     2371  13979 |        0 |        0
1206.13/1206.53	c 1206s |      27 | 16475155 | 12445133 |     2371  13995 |        0 |        0
1208.13/1208.54	c 1208s |      27 | 16500080 | 12465033 |     2371  14011 |        0 |        0
1210.13/1210.54	c 1210s |      27 | 16522811 | 12483533 |     2371  14027 |        0 |        0
1212.13/1212.55	c 1212s |      27 | 16547648 | 12502833 |     2371  14043 |        0 |        0
1214.13/1214.55	c 1214s |      27 | 16573735 | 12522833 |     2371  14060 |        0 |        0
1216.13/1216.56	c 1216s |      27 | 16603233 | 12543933 |     2371  14078 |        0 |        0
1218.12/1218.56	c 1218s |      27 | 16628404 | 12563733 |     2371  14094 |        0 |        0
1220.12/1220.56	c 1220s |      27 | 16653900 | 12582933 |     2371  14110 |        0 |        0
1222.12/1222.56	c 1222s |      27 | 16677795 | 12601533 |     2371  14126 |        0 |        0
1224.12/1224.57	c 1224s |      27 | 16706537 | 12622333 |     2371  14144 |        0 |        0
1226.13/1226.57	c 1226s |      27 | 16734602 | 12644033 |     2371  14162 |        0 |        0
1228.12/1228.57	c 1228s |      27 | 16757857 | 12662233 |     2371  14177 |        0 |        0
1230.12/1230.59	c 1230s |      27 | 16784197 | 12681733 |     2371  14194 |        0 |        0
1232.12/1232.59	c 1232s |      27 | 16810050 | 12700833 |     2371  14210 |        0 |        0
1234.12/1234.59	c 1234s |      27 | 16836759 | 12720133 |     2371  14226 |        0 |        0
1236.22/1236.60	c 1236s |      27 | 16863564 | 12740333 |     2371  14243 |        0 |        0
1238.22/1238.61	c 1238s |      27 | 16889854 | 12759533 |     2371  14259 |        0 |        0
1240.22/1240.61	c 1240s |      27 | 16914890 | 12778333 |     2371  14275 |        0 |        0
1242.22/1242.61	c 1242s |      27 | 16940720 | 12797533 |     2371  14291 |        0 |        0
1244.22/1244.61	c 1244s |      27 | 16967016 | 12816033 |     2371  14306 |        0 |        0
1246.21/1246.62	c 1246s |      27 | 16990809 | 12834333 |     2371  14322 |        0 |        0
1248.22/1248.63	c 1248s |      27 | 17019504 | 12854433 |     2371  14339 |        0 |        0
1250.21/1250.63	c 1250s |      27 | 17045273 | 12874033 |     2371  14355 |        0 |        0
1252.22/1252.63	c 1252s |      27 | 17069982 | 12892333 |     2371  14370 |        0 |        0
1254.22/1254.63	c 1254s |      27 | 17096617 | 12911333 |     2371  14386 |        0 |        0
1256.22/1256.64	c 1256s |      27 | 17122044 | 12930533 |     2371  14403 |        0 |        0
1258.22/1258.65	c 1258s |      27 | 17146980 | 12949433 |     2371  14419 |        0 |        0
1260.23/1260.65	c 1260s |      27 | 17173350 | 12969233 |     2371  14435 |        0 |        0
1262.22/1262.65	c 1262s |      27 | 17201039 | 12989433 |     2371  14452 |        0 |        0
1264.22/1264.66	c 1264s |      27 | 17228803 | 13009733 |     2371  14469 |        0 |        0
1266.22/1266.67	c 1266s |      27 | 17257024 | 13030333 |     2371  14487 |        0 |        0
1268.22/1268.68	c 1268s |      27 | 17284639 | 13050533 |     2371  14504 |        0 |        0
1270.23/1270.68	c 1270s |      27 | 17310191 | 13069433 |     2371  14519 |        0 |        0
1272.22/1272.69	c 1272s |      27 | 17331989 | 13087333 |     2371  14534 |        0 |        0
1274.22/1274.69	c 1274s |      27 | 17355855 | 13105033 |     2371  14549 |        0 |        0
1276.32/1276.71	c 1276s |      27 | 17382575 | 13124333 |     2371  14566 |        0 |        0
1278.32/1278.72	c 1278s |      27 | 17409406 | 13144433 |     2371  14582 |        0 |        0
1280.32/1280.72	c 1280s |      27 | 17436523 | 13164233 |     2371  14599 |        0 |        0
1282.32/1282.72	c 1282s |      27 | 17460591 | 13183533 |     2371  14615 |        0 |        0
1284.31/1284.72	c 1284s |      27 | 17486879 | 13203033 |     2371  14632 |        0 |        0
1286.31/1286.73	c 1286s |      27 | 17513052 | 13222533 |     2371  14648 |        0 |        0
1288.31/1288.73	c 1288s |      27 | 17540482 | 13242633 |     2371  14665 |        0 |        0
1290.31/1290.74	c 1290s |      27 | 17567992 | 13262533 |     2371  14682 |        0 |        0
1292.31/1292.75	c 1292s |      27 | 17594881 | 13283133 |     2371  14699 |        0 |        0
1294.32/1294.76	c 1294s |      27 | 17622185 | 13303233 |     2371  14716 |        0 |        0
1296.31/1296.76	c 1296s |      27 | 17648441 | 13323433 |     2371  14733 |        0 |        0
1298.31/1298.77	c 1298s |      27 | 17675989 | 13343333 |     2371  14750 |        0 |        0
1300.31/1300.77	c 1300s |      27 | 17701703 | 13362633 |     2371  14766 |        0 |        0
1302.31/1302.78	c 1302s |      27 | 17728209 | 13382833 |     2371  14783 |        0 |        0
1304.32/1304.78	c 1304s |      27 | 17755564 | 13403333 |     2371  14800 |        0 |        0
1306.31/1306.79	c 1306s |      27 | 17784278 | 13424233 |     2371  14818 |        0 |        0
1308.31/1308.79	c 1308s |      27 | 17809075 | 13443833 |     2371  14834 |        0 |        0
1310.31/1310.79	c 1310s |      27 | 17837871 | 13465133 |     2371  14852 |        0 |        0
1312.41/1312.81	c 1312s |      27 | 17865340 | 13485733 |     2371  14870 |        0 |        0
1314.40/1314.81	c 1314s |      27 | 17894321 | 13506733 |     2371  14887 |        0 |        0
1316.42/1316.81	c 1316s |      27 | 17919123 | 13526033 |     2371  14903 |        0 |        0
1318.41/1318.82	c 1318s |      27 | 17945525 | 13546233 |     2371  14920 |        0 |        0
1320.41/1320.82	c 1320s |      27 | 17972494 | 13566433 |     2371  14937 |        0 |        0
1322.41/1322.83	c 1322s |      27 | 17997731 | 13585833 |     2371  14954 |        0 |        0
1324.41/1324.84	c 1324s |      27 | 18025866 | 13606933 |     2371  14972 |        0 |        0
1326.41/1326.85	c 1326s |      27 | 18052952 | 13627033 |     2371  14988 |        0 |        0
1328.42/1328.85	c 1328s |      27 | 18080455 | 13647133 |     2371  15005 |        0 |        0
1330.41/1330.86	c 1330s |      27 | 18106478 | 13666933 |     2371  15022 |        0 |        0
1332.41/1332.86	c 1332s |      27 | 18132015 | 13686833 |     2371  15039 |        0 |        0
1334.41/1334.87	c 1334s |      27 | 18158721 | 13706833 |     2371  15056 |        0 |        0
1336.41/1336.88	c 1336s |      27 | 18181747 | 13724733 |     2371  15071 |        0 |        0
1338.41/1338.89	c 1338s |      27 | 18206399 | 13743633 |     2371  15086 |        0 |        0
1340.41/1340.89	c 1340s |      27 | 18230875 | 13762333 |     2371  15102 |        0 |        0
1342.51/1342.90	c 1342s |      27 | 18256949 | 13782133 |     2371  15119 |        0 |        0
1344.51/1344.91	c 1344s |      27 | 18284213 | 13802233 |     2371  15136 |        0 |        0
1346.50/1346.91	c 1346s |      27 | 18309446 | 13821333 |     2371  15152 |        0 |        0
1348.50/1348.91	c 1348s |      27 | 18335459 | 13840833 |     2371  15168 |        0 |        0
1350.51/1350.92	c 1350s |      27 | 18361605 | 13860233 |     2371  15184 |        0 |        0
1352.50/1352.94	c 1352s |      27 | 18388020 | 13879633 |     2371  15201 |        0 |        0
1354.50/1354.95	c 1354s |      27 | 18413526 | 13898733 |     2371  15217 |        0 |        0
1356.50/1356.95	c 1356s |      27 | 18440451 | 13918333 |     2371  15233 |        0 |        0
1358.50/1358.96	c 1358s |      27 | 18467044 | 13938033 |     2371  15250 |        0 |        0
1360.50/1360.96	c 1360s |      27 | 18493706 | 13956933 |     2371  15265 |        0 |        0
1362.51/1362.97	c 1362s |      27 | 18520725 | 13976233 |     2371  15282 |        0 |        0
1364.50/1364.97	c 1364s |      27 | 18546634 | 13995333 |     2371  15298 |        0 |        0
1366.50/1366.97	c 1366s |      27 | 18574614 | 14015833 |     2371  15315 |        0 |        0
1368.50/1368.97	c 1368s |      27 | 18601994 | 14036033 |     2371  15332 |        0 |        0
1370.50/1370.99	c 1370s |      27 | 18630500 | 14056833 |     2371  15350 |        0 |        0
1372.51/1372.99	c 1372s |      27 | 18657716 | 14077633 |     2371  15367 |        0 |        0
1374.50/1375.00	c 1374s |      27 | 18685064 | 14097933 |     2371  15384 |        0 |        0
1376.60/1377.00	c 1376s |      27 | 18712750 | 14118333 |     2371  15401 |        0 |        0
1378.60/1379.01	c 1378s |      27 | 18740528 | 14138733 |     2371  15418 |        0 |        0
1380.60/1381.02	c 1381s |      27 | 18767173 | 14159033 |     2371  15436 |        0 |        0
1382.60/1383.03	c 1383s |      27 | 18794082 | 14179033 |     2371  15452 |        0 |        0
1384.61/1385.04	c 1385s |      27 | 18819046 | 14198333 |     2371  15469 |        0 |        0
1386.60/1387.05	c 1387s |      27 | 18844708 | 14216133 |     2371  15483 |        0 |        0
1388.60/1389.05	c 1389s |      27 | 18867917 | 14233633 |     2371  15498 |        0 |        0
1390.60/1391.06	c 1391s |      27 | 18889860 | 14250933 |     2371  15513 |        0 |        0
1392.60/1393.06	c 1393s |      27 | 18917112 | 14270233 |     2371  15529 |        0 |        0
1394.60/1395.07	c 1395s |      27 | 18942831 | 14289333 |     2371  15545 |        0 |        0
1396.60/1397.07	c 1397s |      27 | 18970456 | 14309033 |     2371  15562 |        0 |        0
1398.59/1399.08	c 1399s |      27 | 18997639 | 14329133 |     2371  15578 |        0 |        0
1400.59/1401.08	c 1401s |      27 | 19022435 | 14347933 |     2371  15594 |        0 |        0
1402.59/1403.09	c 1403s |      27 | 19048198 | 14367133 |     2371  15610 |        0 |        0
1404.69/1405.10	c 1405s |      27 | 19072881 | 14386033 |     2371  15626 |        0 |        0
1406.69/1407.10	c 1407s |      27 | 19101677 | 14406833 |     2371  15644 |        0 |        0
1408.70/1409.11	c 1409s |      27 | 19129528 | 14427333 |     2371  15661 |        0 |        0
1410.70/1411.11	c 1411s |      27 | 19155137 | 14446433 |     2371  15677 |        0 |        0
1412.70/1413.12	c 1413s |      27 | 19180190 | 14465533 |     2371  15693 |        0 |        0
1414.70/1415.13	c 1415s |      27 | 19205392 | 14484233 |     2371  15709 |        0 |        0
1416.70/1417.13	c 1417s |      27 | 19230168 | 14503133 |     2371  15725 |        0 |        0
1418.70/1419.14	c 1419s |      27 | 19254793 | 14521333 |     2371  15740 |        0 |        0
1420.69/1421.15	c 1421s |      27 | 19277390 | 14539433 |     2371  15755 |        0 |        0
1422.69/1423.16	c 1423s |      27 | 19301312 | 14557333 |     2371  15770 |        0 |        0
1424.69/1425.16	c 1425s |      27 | 19326307 | 14576533 |     2371  15787 |        0 |        0
1426.69/1427.17	c 1427s |      27 | 19350941 | 14594933 |     2371  15802 |        0 |        0
1428.69/1429.17	c 1429s |      27 | 19376476 | 14614033 |     2371  15818 |        0 |        0
1430.70/1431.18	c 1431s |      27 | 19402799 | 14633833 |     2371  15835 |        0 |        0
1432.69/1433.18	c 1433s |      27 | 19429274 | 14654033 |     2371  15852 |        0 |        0
1434.69/1435.19	c 1435s |      27 | 19456839 | 14673833 |     2371  15868 |        0 |        0
1436.79/1437.20	c 1437s |      27 | 19485200 | 14694433 |     2371  15886 |        0 |        0
1438.79/1439.21	c 1439s |      27 | 19511510 | 14714233 |     2371  15902 |        0 |        0
1440.79/1441.21	c 1441s |      27 | 19538445 | 14734533 |     2371  15920 |        0 |        0
1442.79/1443.21	c 1443s |      27 | 19564756 | 14754733 |     2371  15937 |        0 |        0
1444.79/1445.23	c 1445s |      27 | 19588423 | 14772533 |     2371  15952 |        0 |        0
1446.79/1447.24	c 1447s |      27 | 19609712 | 14789533 |     2371  15966 |        0 |        0
1448.78/1449.24	c 1449s |      27 | 19633597 | 14807433 |     2371  15981 |        0 |        0
1450.78/1451.25	c 1451s |      27 | 19656825 | 14825533 |     2371  15996 |        0 |        0
1452.79/1453.26	c 1453s |      27 | 19681197 | 14843733 |     2371  16011 |        0 |        0
1454.78/1455.27	c 1455s |      27 | 19705937 | 14863133 |     2371  16028 |        0 |        0
1456.78/1457.28	c 1457s |      27 | 19731082 | 14882033 |     2371  16043 |        0 |        0
1458.78/1459.29	c 1459s |      27 | 19754908 | 14899833 |     2371  16058 |        0 |        0
1460.79/1461.29	c 1461s |      27 | 19780887 | 14919033 |     2371  16075 |        0 |        0
1462.79/1463.29	c 1463s |      27 | 19806057 | 14938433 |     2371  16091 |        0 |        0
1464.80/1465.29	c 1465s |      27 | 19830700 | 14957633 |     2371  16107 |        0 |        0
1466.89/1467.30	c 1467s |      27 | 19855868 | 14976833 |     2371  16123 |        0 |        0
1468.89/1469.30	c 1469s |      27 | 19880002 | 14995633 |     2371  16139 |        0 |        0
1470.89/1471.31	c 1471s |      27 | 19904290 | 15013733 |     2371  16154 |        0 |        0
1472.89/1473.31	c 1473s |      27 | 19930830 | 15033433 |     2371  16171 |        0 |        0
1474.89/1475.31	c 1475s |      27 | 19957457 | 15053033 |     2371  16187 |        0 |        0
1476.89/1477.31	c 1477s |      27 | 19986005 | 15073233 |     2371  16204 |        0 |        0
1478.88/1479.33	c 1479s |      27 | 20013826 | 15093733 |     2371  16222 |        0 |        0
1480.88/1481.33	c 1481s |      27 | 20041504 | 15114233 |     2371  16239 |        0 |        0
1482.88/1483.34	c 1483s |      27 | 20063438 | 15131933 |     2371  16254 |        0 |        0
1484.88/1485.34	c 1485s |      27 | 20088328 | 15150633 |     2371  16269 |        0 |        0
1486.89/1487.34	c 1487s |      27 | 20114532 | 15170233 |     2371  16286 |        0 |        0
1488.88/1489.35	c 1489s |      27 | 20141877 | 15190333 |     2371  16303 |        0 |        0
1490.88/1491.35	c 1491s |      27 | 20169779 | 15210933 |     2371  16320 |        0 |        0
1492.88/1493.35	c 1493s |      27 | 20193953 | 15229733 |     2371  16336 |        0 |        0
1494.88/1495.36	c 1495s |      27 | 20220139 | 15249433 |     2371  16352 |        0 |        0
1496.88/1497.36	c 1497s |      27 | 20245095 | 15268933 |     2371  16369 |        0 |        0
1498.88/1499.37	c 1499s |      27 | 20270462 | 15288933 |     2371  16386 |        0 |        0
1500.88/1501.38	c 1501s |      27 | 20294553 | 15307533 |     2371  16401 |        0 |        0
1502.88/1503.38	c 1503s |      27 | 20311028 | 15322533 |     2371  16414 |        0 |        0
1504.88/1505.39	c 1505s |      27 | 20332409 | 15339733 |     2371  16428 |        0 |        0
1506.88/1507.40	c 1507s |      27 | 20359627 | 15360033 |     2371  16446 |        0 |        0
1508.98/1509.40	c 1509s |      27 | 20382952 | 15377833 |     2371  16461 |        0 |        0
1510.99/1511.40	c 1511s |      27 | 20406529 | 15396033 |     2371  16476 |        0 |        0
1512.98/1513.41	c 1513s |      27 | 20427540 | 15413033 |     2371  16490 |        0 |        0
1514.98/1515.42	c 1515s |      27 | 20451616 | 15431633 |     2371  16506 |        0 |        0
1516.98/1517.42	c 1517s |      27 | 20475720 | 15450333 |     2371  16521 |        0 |        0
1518.98/1519.43	c 1519s |      27 | 20502409 | 15470733 |     2371  16539 |        0 |        0
1520.99/1521.44	c 1521s |      27 | 20527771 | 15490033 |     2371  16555 |        0 |        0
1522.98/1523.45	c 1523s |      27 | 20551598 | 15508433 |     2371  16570 |        0 |        0
1524.98/1525.45	c 1525s |      27 | 20577340 | 15527933 |     2371  16587 |        0 |        0
1526.98/1527.47	c 1527s |      27 | 20604104 | 15548033 |     2371  16604 |        0 |        0
1528.98/1529.47	c 1529s |      27 | 20631615 | 15568833 |     2371  16621 |        0 |        0
1530.98/1531.47	c 1531s |      27 | 20657359 | 15587733 |     2371  16637 |        0 |        0
1532.98/1533.47	c 1533s |      27 | 20680832 | 15606233 |     2371  16653 |        0 |        0
1534.97/1535.48	c 1535s |      27 | 20705063 | 15625333 |     2371  16669 |        0 |        0
1536.97/1537.48	c 1537s |      27 | 20731296 | 15644733 |     2371  16685 |        0 |        0
1538.97/1539.49	c 1539s |      27 | 20756790 | 15664333 |     2371  16702 |        0 |        0
1541.07/1541.50	c 1541s |      27 | 20781542 | 15683533 |     2371  16718 |        0 |        0
1543.07/1543.50	c 1543s |      27 | 20806355 | 15702433 |     2371  16734 |        0 |        0
1545.08/1545.50	c 1545s |      27 | 20833685 | 15721633 |     2371  16750 |        0 |        0
1547.07/1547.51	c 1547s |      27 | 20858941 | 15739933 |     2371  16765 |        0 |        0
1549.07/1549.52	c 1549s |      27 | 20883865 | 15758533 |     2371  16781 |        0 |        0
1551.07/1551.53	c 1551s |      27 | 20909569 | 15778033 |     2371  16797 |        0 |        0
1553.07/1553.53	c 1553s |      27 | 20931435 | 15795733 |     2371  16812 |        0 |        0
1555.08/1555.53	c 1555s |      27 | 20959011 | 15815133 |     2371  16828 |        0 |        0
1557.07/1557.54	c 1557s |      27 | 20983867 | 15834533 |     2371  16845 |        0 |        0
1559.07/1559.54	c 1559s |      27 | 21010581 | 15854433 |     2371  16861 |        0 |        0
1561.07/1561.54	c 1561s |      27 | 21034995 | 15873933 |     2371  16878 |        0 |        0
1563.07/1563.54	c 1563s |      27 | 21060884 | 15893633 |     2371  16895 |        0 |        0
1565.07/1565.54	c 1565s |      27 | 21086805 | 15913333 |     2371  16911 |        0 |        0
1567.07/1567.55	c 1567s |      27 | 21105376 | 15928333 |     2371  16924 |        0 |        0
1569.07/1569.56	c 1569s |      27 | 21125905 | 15945033 |     2371  16938 |        0 |        0
1571.07/1571.56	c 1571s |      27 | 21149191 | 15962733 |     2371  16952 |        0 |        0
1573.06/1573.57	c 1573s |      27 | 21173612 | 15981633 |     2371  16968 |        0 |        0
1575.06/1575.58	c 1575s |      27 | 21198280 | 16000333 |     2371  16984 |        0 |        0
1577.07/1577.58	c 1577s |      27 | 21219915 | 16017733 |     2371  16999 |        0 |        0
1579.06/1579.58	c 1579s |      27 | 21242585 | 16035433 |     2371  17013 |        0 |        0
1581.06/1581.58	c 1581s |      27 | 21264720 | 16053633 |     2371  17029 |        0 |        0
1583.06/1583.58	c 1583s |      27 | 21289276 | 16072833 |     2371  17045 |        0 |        0
1585.06/1585.59	c 1585s |      27 | 21313590 | 16091633 |     2371  17061 |        0 |        0
1587.16/1587.60	c 1587s |      27 | 21337282 | 16110633 |     2371  17077 |        0 |        0
1589.17/1589.60	c 1589s |      27 | 21361052 | 16129233 |     2371  17092 |        0 |        0
1591.16/1591.61	c 1591s |      27 | 21385418 | 16148333 |     2371  17108 |        0 |        0
1593.16/1593.62	c 1593s |      27 | 21408467 | 16166533 |     2371  17123 |        0 |        0
1595.16/1595.62	c 1595s |      27 | 21431692 | 16184533 |     2371  17139 |        0 |        0
1597.16/1597.63	c 1597s |      27 | 21454796 | 16202933 |     2371  17154 |        0 |        0
1599.16/1599.64	c 1599s |      27 | 21474427 | 16219633 |     2371  17168 |        0 |        0
1601.17/1601.64	c 1601s |      27 | 21499803 | 16238633 |     2371  17184 |        0 |        0
1603.16/1603.64	c 1603s |      27 | 21523104 | 16256033 |     2371  17199 |        0 |        0
1605.17/1605.64	c 1605s |      27 | 21546401 | 16273933 |     2371  17214 |        0 |        0
1607.17/1607.65	c 1607s |      27 | 21569265 | 16292133 |     2371  17229 |        0 |        0
1609.17/1609.66	c 1609s |      27 | 21594750 | 16311633 |     2371  17245 |        0 |        0
1611.18/1611.67	c 1611s |      27 | 21620378 | 16330833 |     2371  17261 |        0 |        0
1613.17/1613.68	c 1613s |      27 | 21644893 | 16349433 |     2371  17277 |        0 |        0
1615.16/1615.68	c 1615s |      27 | 21670193 | 16368733 |     2371  17293 |        0 |        0
1617.16/1617.69	c 1617s |      27 | 21695611 | 16388433 |     2371  17310 |        0 |        0
1619.26/1619.70	c 1619s |      27 | 21720298 | 16407233 |     2371  17326 |        0 |        0
1621.26/1621.70	c 1621s |      27 | 21747154 | 16427233 |     2371  17342 |        0 |        0
1623.27/1623.70	c 1623s |      27 | 21769953 | 16445333 |     2371  17358 |        0 |        0
1625.26/1625.70	c 1625s |      27 | 21793840 | 16463833 |     2371  17373 |        0 |        0
1627.26/1627.70	c 1627s |      27 | 21818050 | 16482933 |     2371  17389 |        0 |        0
1629.26/1629.71	c 1629s |      27 | 21844258 | 16502233 |     2371  17405 |        0 |        0
1631.26/1631.72	c 1631s |      27 | 21868549 | 16521033 |     2371  17421 |        0 |        0
1633.26/1633.72	c 1633s |      27 | 21892556 | 16539933 |     2371  17437 |        0 |        0
1635.27/1635.73	c 1635s |      27 | 21914767 | 16558333 |     2371  17452 |        0 |        0
1637.26/1637.74	c 1637s |      27 | 21935298 | 16575833 |     2371  17467 |        0 |        0
1639.26/1639.75	c 1639s |      27 | 21958946 | 16593533 |     2371  17482 |        0 |        0
1641.26/1641.76	c 1641s |      27 | 21983545 | 16612233 |     2371  17498 |        0 |        0
1643.26/1643.76	c 1643s |      27 | 22008743 | 16631233 |     2371  17514 |        0 |        0
1645.26/1645.78	c 1645s |      27 | 22034082 | 16650233 |     2371  17530 |        0 |        0
1647.26/1647.78	c 1647s |      27 | 22056456 | 16667733 |     2371  17544 |        0 |        0
1649.25/1649.79	c 1649s |      27 | 22080807 | 16685733 |     2371  17559 |        0 |        0
1651.26/1651.79	c 1651s |      27 | 22105122 | 16704133 |     2371  17575 |        0 |        0
1653.36/1653.80	c 1653s |      27 | 22129865 | 16722633 |     2371  17590 |        0 |        0
1655.36/1655.81	c 1655s |      27 | 22153967 | 16741233 |     2371  17606 |        0 |        0
1657.37/1657.82	c 1657s |      27 | 22179265 | 16760333 |     2371  17622 |        0 |        0
1659.36/1659.83	c 1659s |      27 | 22203651 | 16778433 |     2371  17637 |        0 |        0
1661.36/1661.84	c 1661s |      27 | 22229100 | 16797333 |     2371  17653 |        0 |        0
1663.36/1663.84	c 1663s |      27 | 22255300 | 16816633 |     2371  17669 |        0 |        0
1665.35/1665.84	c 1665s |      27 | 22281523 | 16835633 |     2371  17685 |        0 |        0
1667.35/1667.86	c 1667s |      27 | 22306835 | 16855033 |     2371  17702 |        0 |        0
1669.36/1669.86	c 1669s |      27 | 22333778 | 16874433 |     2371  17718 |        0 |        0
1671.35/1671.87	c 1671s |      27 | 22360800 | 16894233 |     2371  17734 |        0 |        0
1673.35/1673.87	c 1673s |      27 | 22385054 | 16912733 |     2371  17750 |        0 |        0
1675.35/1675.88	c 1675s |      27 | 22410808 | 16932133 |     2371  17766 |        0 |        0
1677.35/1677.89	c 1677s |      27 | 22433845 | 16950133 |     2371  17781 |        0 |        0
1679.36/1679.89	c 1679s |      27 | 22454999 | 16967433 |     2371  17796 |        0 |        0
1681.46/1681.90	c 1681s |      27 | 22479296 | 16985933 |     2609  17810 |        0 |        0
1683.46/1683.91	c 1683s |      27 | 22501618 | 17003833 |     2609  17824 |        0 |        0
1685.46/1685.91	c 1685s |      27 | 22526398 | 17022733 |     2609  17838 |        0 |        0
1687.46/1687.92	c 1687s |      27 | 22550762 | 17041033 |     2609  17852 |        0 |        0
1689.46/1689.93	c 1689s |      27 | 22576882 | 17061033 |     2609  17868 |        0 |        0
1691.46/1691.93	c 1691s |      27 | 22602630 | 17080933 |     2609  17883 |        0 |        0
1692.95/1693.48	c 1693s |      28 | 22621331 | 17095205 |     2609  17894 |        0 |        0
1694.95/1695.49	c 1695s |      28 | 22644346 | 17112205 |     2609  17907 |        0 |        0
1696.96/1697.49	c 1697s |      28 | 22667459 | 17130305 |     2609  17920 |        0 |        0
1698.95/1699.50	c 1699s |      28 | 22691341 | 17148705 |     2609  17935 |        0 |        0
1701.05/1701.50	c 1701s |      28 | 22716448 | 17167605 |     2609  17949 |        0 |        0
1703.05/1703.51	c 1703s |      28 | 22740518 | 17186405 |     2609  17963 |        0 |        0
1705.05/1705.51	c 1705s |      28 | 22764997 | 17205405 |     2609  17978 |        0 |        0
1707.05/1707.51	c 1707s |      28 | 22788844 | 17223905 |     2609  17992 |        0 |        0
1709.06/1709.52	c 1709s |      28 | 22813522 | 17242905 |     2609  18006 |        0 |        0
1711.05/1711.53	c 1711s |      28 | 22837968 | 17261305 |     2609  18020 |        0 |        0
1713.05/1713.53	c 1713s |      28 | 22859276 | 17278405 |     2609  18033 |        0 |        0
1715.05/1715.53	c 1715s |      28 | 22884436 | 17297505 |     2609  18048 |        0 |        0
1717.04/1717.53	c 1717s |      28 | 22907560 | 17315405 |     2609  18062 |        0 |        0
1719.04/1719.54	c 1719s |      28 | 22931433 | 17334205 |     2609  18076 |        0 |        0
1721.05/1721.54	c 1721s |      28 | 22955340 | 17352205 |     2609  18090 |        0 |        0
1723.04/1723.55	c 1723s |      28 | 22980213 | 17370805 |     2609  18104 |        0 |        0
1725.04/1725.55	c 1725s |      28 | 23007138 | 17390305 |     2609  18119 |        0 |        0
1727.04/1727.56	c 1727s |      28 | 23030610 | 17408705 |     2609  18133 |        0 |        0
1729.04/1729.57	c 1729s |      28 | 23054626 | 17427505 |     2609  18147 |        0 |        0
1731.05/1731.57	c 1731s |      28 | 23078406 | 17445805 |     2609  18161 |        0 |        0
1733.04/1733.57	c 1733s |      28 | 23102181 | 17464305 |     2609  18175 |        0 |        0
1735.04/1735.57	c 1735s |      28 | 23127200 | 17482605 |     2609  18189 |        0 |        0
1737.04/1737.58	c 1737s |      28 | 23148264 | 17499505 |     2609  18202 |        0 |        0
1739.05/1739.59	c 1739s |      28 | 23168571 | 17516405 |     2609  18215 |        0 |        0
1741.15/1741.60	c 1741s |      28 | 23191728 | 17533905 |     2609  18228 |        0 |        0
1743.15/1743.63	c 1743s |      28 | 23212918 | 17550505 |     2609  18241 |        0 |        0
1745.15/1745.65	c 1745s |      28 | 23233905 | 17566605 |     2609  18253 |        0 |        0
1747.15/1747.65	c 1747s |      28 | 23254561 | 17582405 |     2609  18265 |        0 |        0
1749.15/1749.66	c 1749s |      28 | 23276716 | 17599305 |     2609  18278 |        0 |        0
1751.15/1751.67	c 1751s |      28 | 23299405 | 17617505 |     2609  18292 |        0 |        0
1753.15/1753.68	c 1753s |      28 | 23320655 | 17634505 |     2609  18305 |        0 |        0
1755.15/1755.68	c 1755s |      28 | 23343908 | 17652805 |     2609  18319 |        0 |        0
1757.14/1757.69	c 1757s |      28 | 23366441 | 17669905 |     2609  18332 |        0 |        0
1759.14/1759.69	c 1759s |      28 | 23388526 | 17687405 |     2609  18345 |        0 |        0
1761.14/1761.69	c 1761s |      28 | 23411026 | 17705305 |     2609  18359 |        0 |        0
1763.24/1763.70	c 1763s |      28 | 23429849 | 17721305 |     2609  18371 |        0 |        0
1765.24/1765.70	c 1765s |      28 | 23452612 | 17738705 |     2609  18385 |        0 |        0
1767.25/1767.72	c 1767s |      28 | 23476292 | 17757005 |     2609  18399 |        0 |        0
1769.24/1769.72	c 1769s |      28 | 23501225 | 17775605 |     2609  18413 |        0 |        0
1771.24/1771.73	c 1771s |      28 | 23525063 | 17794205 |     2609  18427 |        0 |        0
1773.24/1773.73	c 1773s |      28 | 23546695 | 17811405 |     2609  18440 |        0 |        0
1775.24/1775.74	c 1775s |      28 | 23569967 | 17829605 |     2609  18454 |        0 |        0
1777.24/1777.74	c 1777s |      28 | 23593002 | 17847605 |     2609  18468 |        0 |        0
1779.23/1779.75	c 1779s |      28 | 23615767 | 17865305 |     2609  18481 |        0 |        0
1781.23/1781.75	c 1781s |      28 | 23637114 | 17882705 |     2609  18494 |        0 |        0
1783.23/1783.75	c 1783s |      28 | 23652974 | 17896705 |     2609  18505 |        0 |        0
1785.23/1785.76	c 1785s |      28 | 23667093 | 17909505 |     2609  18515 |        0 |        0
1787.23/1787.77	c 1787s |      28 | 23683682 | 17923505 |     2609  18526 |        0 |        0
1789.24/1789.78	c 1789s |      28 | 23705939 | 17941105 |     2609  18539 |        0 |        0
1791.23/1791.78	c 1791s |      28 | 23724916 | 17957005 |     2609  18551 |        0 |        0
1793.24/1793.79	c 1793s |      28 | 23749457 | 17975505 |     2609  18565 |        0 |        0
1795.24/1795.79	c 1795s |      28 | 23774678 | 17994505 |     2609  18580 |        0 |        0
1797.24/1797.79	c 1797s |      28 | 23799235 | 18013405 |     2609  18594 |        0 |        0
1799.34/1799.80	c 1799s |      28 | 23824648 | 18032905 |     2609  18609 |        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-4122538-1467316892/watcher-4122538-1467316892 -o /tmp/evaluation-result-4122538-1467316892/solver-4122538-1467316892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122538-1467316892.opb 

pid=19863
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.29 2.25 2.20 3/180 19866
/proc/meminfo: memFree=28498300/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 2352 0 0 0 0 0 0 0 20 0 4 0 12646014 649523200 2712 33554432000 4194304 16246674 140735146594480 140735146593904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 159343 2721 441 2943 0 156237 0
[pid=19866/tid=19867] ppid=19863 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 667348992 2780 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 672591872 2797 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12646015 676786176 2815 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.29 2.25 2.20 3/180 19866
/proc/meminfo: memFree=28498300/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 24920 0 0 0 5 3 0 0 20 0 4 0 12646014 1247350784 25270 33554432000 4194304 16246674 140735146594480 140735146593904 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 304529 25283 708 2943 0 301423 0
[pid=19866/tid=19867] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 25292 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 25301 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 25310 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 2.29 2.25 2.20 3/180 19866
/proc/meminfo: memFree=28498300/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 48421 0 0 0 13 6 0 0 20 0 4 0 12646014 1247350784 48771 33554432000 4194304 16246674 140735146594480 140735146593904 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 304529 48780 708 2943 0 301423 0
[pid=19866/tid=19867] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 48793 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 48799 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 48806 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300484 s]
/proc/loadavg: 2.29 2.25 2.20 3/180 19866
/proc/meminfo: memFree=28498300/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 71680 0 0 0 20 9 0 0 20 0 4 0 12646014 1247350784 72029 33554432000 4194304 16246674 140735146594480 140735146593904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 304529 72039 708 2943 0 301423 0
[pid=19866/tid=19867] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 72043 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 72051 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 72062 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.29 2.25 2.20 3/180 19866
/proc/meminfo: memFree=28498300/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 163914 0 0 0 47 22 0 0 20 0 4 0 12646014 1247350784 164263 33554432000 4194304 16246674 140735146594480 140735146577480 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 304529 164270 708 2943 0 301423 0
[pid=19866/tid=19867] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 164277 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 164283 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12646015 1247350784 164287 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 19870
/proc/meminfo: memFree=27516364/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 245583 0 0 0 116 33 0 0 20 0 4 0 12646014 1248399360 245912 33554432000 4194304 16246674 140735146594480 140735146593792 13962576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 304785 245912 786 2943 0 301679 0
[pid=19866/tid=19867] ppid=19863 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1248399360 245912 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1248399360 245912 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1248399360 245912 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 19870
/proc/meminfo: memFree=27428920/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267456 0 0 0 273 35 0 0 20 0 4 0 12646014 1337528320 267785 33554432000 4194304 16246674 140735146594480 140735146577480 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326545 267785 788 2943 0 323439 0
[pid=19866/tid=19867] ppid=19863 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1337528320 267785 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1337528320 267785 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1337528320 267785 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.25 2.25 2.19 4/184 19870
/proc/meminfo: memFree=27427200/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267591 0 0 0 593 35 0 0 20 0 4 0 12646014 1338576896 267920 33554432000 4194304 16246674 140735146594480 140735146577480 12460054 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326801 267920 788 2943 0 323695 0
[pid=19866/tid=19867] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267920 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267920 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267920 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.26 2.20 4/184 19870
/proc/meminfo: memFree=27427100/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267592 0 0 0 1233 35 0 0 20 0 4 0 12646014 1338576896 267921 33554432000 4194304 16246674 140735146594480 140735146577480 5677821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326801 267921 789 2943 0 323695 0
[pid=19866/tid=19867] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267921 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267921 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 267921 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.31 2.26 2.20 3/184 19870
/proc/meminfo: memFree=27426996/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267726 0 0 0 2513 35 0 0 20 0 4 0 12646014 1338576896 268055 33554432000 4194304 16246674 140735146594480 140735146577480 5827950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326801 268055 789 2943 0 323695 0
[pid=19866/tid=19867] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.27 2.25 2.20 3/183 19870
/proc/meminfo: memFree=27426232/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267728 0 0 0 5071 37 0 0 20 0 4 0 12646014 1338576896 268055 33554432000 4194304 16246674 140735146594480 140735146577480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326801 268055 789 2943 0 323695 0
[pid=19866/tid=19867] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 19871
/proc/meminfo: memFree=27426516/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 267730 0 0 0 10189 38 0 0 20 0 4 0 12646014 1338576896 268055 33554432000 4194304 16246674 140735146594480 140735146577480 5823496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 326801 268055 789 2943 0 323695 0
[pid=19866/tid=19867] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1338576896 268055 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 1.39 1.75 1.99 2/173 19982
/proc/meminfo: memFree=28509860/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1361.9 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 136129 61 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146577480 6072447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 1.33 1.65 1.94 2/173 19983
/proc/meminfo: memFree=28509992/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1421.9 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 142127 63 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146577480 12470896 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 1.27 1.58 1.89 2/173 19984
/proc/meminfo: memFree=28509680/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1481.88 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 148124 64 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146576384 13006805 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 1.37 1.55 1.86 2/173 19985
/proc/meminfo: memFree=28510064/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1541.88 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 154123 65 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146577480 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 1.36 1.51 1.83 3/173 19986
/proc/meminfo: memFree=28509872/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1601.86 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 160121 65 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146576384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 1.18 1.43 1.78 2/173 19988
/proc/meminfo: memFree=28510044/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1661.86 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 166119 67 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146577480 13198381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 1.27 1.41 1.75 3/174 19992
/proc/meminfo: memFree=28509428/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1315396 CPUtime=1721.84 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270216 0 0 0 172116 68 0 0 20 0 4 0 12646014 1346965504 270206 33554432000 4194304 16246674 140735146594480 140735146577472 13927366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 328849 270206 790 2943 0 325743 0
[pid=19866/tid=19867] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1346965504 270206 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 1.25 1.38 1.71 2/173 19993
/proc/meminfo: memFree=28506188/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1318468 CPUtime=1781.83 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270984 0 0 0 178114 69 0 0 20 0 4 0 12646014 1350111232 270974 33554432000 4194304 16246674 140735146594480 140735146577480 5827632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 329617 270974 790 2943 0 326511 0
[pid=19866/tid=19867] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.20 1.36 1.70 2/173 19994
/proc/meminfo: memFree=28505812/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1318468 CPUtime=1800.04 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270984 0 0 0 179934 70 0 0 20 0 4 0 12646014 1350111232 270974 33554432000 4194304 16246674 140735146594480 140735146577480 5672264 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 329617 270974 790 2943 0 326511 0
[pid=19866/tid=19867] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468

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

[startup+1800.5 s]
/proc/loadavg: 1.20 1.36 1.70 2/173 19994
/proc/meminfo: memFree=28505812/32872528 swapFree=1498612/1645780
[pid=19866] ppid=19863 vsize=1318468 CPUtime=1800.04 cores=0,2,4,6
/proc/19866/stat : 19866 (toysat) R 19863 19866 13393 0 -1 4202496 270984 0 0 0 179934 70 0 0 20 0 4 0 12646014 1350111232 270974 33554432000 4194304 16246674 140735146594480 140735146577480 5672264 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19866/statm: 329617 270974 790 2943 0 326511 0
[pid=19866/tid=19867] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19867/stat : 19867 (toysat) S 19863 19866 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909172014320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19866/tid=19868] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19868/stat : 19868 (toysat) S 19863 19866 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909161524464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19866/tid=19869] ppid=19863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19866/task/19869/stat : 19869 (toysat) S 19863 19866 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12646015 1350111232 270974 33554432000 4194304 16246674 140735146594480 139909151050928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.35
CPU system time (s): 0.702893
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.702893
maximum resident set size= 1083896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270984
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= 352
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1303 second user time and 10.4164 second system time

The end

Begin job on node124 at 2016-06-30 22:01:32
IDJOB=4122538
IDBENCH=111161
IDSOLVER=2542
FILE ID=node124/4122538-1467316892
RUNJOBID= node124-1467310918-18129
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i1-r2.cnf.gz-plain.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-4122538-1467316892/watcher-4122538-1467316892 -o /tmp/evaluation-result-4122538-1467316892/solver-4122538-1467316892 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122538-1467316892.opb

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

MD5SUM BENCH= e6e000df286901e72ff2174840676cac
RANDOM SEED=855997294

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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.062
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.062
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.062
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.56
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.062
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:        28498944 kB
Buffers:          153684 kB
Cached:           738536 kB
SwapCached:            0 kB
Active:          1346844 kB
Inactive:         634736 kB
Active(anon):    1080860 kB
Inactive(anon):    11336 kB
Active(file):     265984 kB
Inactive(file):   623400 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2769784 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             610780 kB
SReclaimable:      54784 kB
SUnreclaim:       555996 kB
KernelStack:        1528 kB
PageTables:         9400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2870756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1255424 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= 71708 MiB
End job on node124 at 2016-06-30 22:31:33