0.00/0.00	c 2016-06-16T02:00:04+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-4089897-1466035204.opb"]
0.00/0.01	c use --random-gen="186860671 695852755 3843775449 4198167930 4270244940 4059201870 427811977 3938619793 485747772 1929272965 2471533727 3035294859 957068905 1354418876 518669148 2789606308 3204933084 444984735 3628104810 440026832 573067628 1959977351 1071584150 617216239 2248079740 161894758 907460843 366907085 67896380 1345185543 3600252443 1798621581 3815095326 3838005560 3720879935 3812947889 3229890698 3993750253 3654903385 3109600399 1320987830 3643155307 967238928 3794276622 694582967 2381608961 2978605258 2543689176 964127293 1412178060 3537059038 3379976321 2839556919 1719038538 3619541322 2152223615 2454374313 3667482413 1769423051 1708239895 3628618429 1969923834 1050811519 3815572311 1754729454 1202474898 2390176905 2326111159 3838555247 2514320252 2127294032 2001906943 686935065 161170215 767640823 547184427 3867064178 1376605212 2581430267 1529432374 2523565952 3314398058 1288113392 3491371367 4236433457 3185448581 1008999628 3809717349 2257333079 1374936843 3945639848 763208370 3836793269 2863435783 4290071453 940240878 4278069469 3040329056 1508563153 1338516500 256916992 1150959858 1217295483 3268575724 4073236131 511312888 1321656116 2732192062 3717342422 2544134206 830882527 379610145 1994614874 2815074539 1485241380 1978526364 771045722 598954109 598595307 3549737627 2628578168 3658646744 3048778138 349999918 1017576218 3873211212 57826468 655660498 1410079201 501172990 2680527850 944989049 4280455396 3696173111 1560252773 1263525598 3109277807 11225240 1701714323 2380138138 3264977180 2499253407 2947336856 1962955710 2186157579 1472619784 4252844099 3138044256 2517714406 1270081399 260009082 1860164856 3159973042 544625630 3280576601 3019831188 2808590362 3946647168 1271208930 3983249269 789938190 1268219210 707475135 1075711603 2167451456 4140187499 3025220949 1943232934 2871987336 3810132964 3462304665 3313061722 1482877037 3958085926 1117811721 3121278574 2645176296 2560465027 832607107 3575412264 808173915 2158090873 2723626968 1939400239 880453880 2848497001 937010682 1859980542 1032235720 977802802 3900877498 356123533 874319606 1229586460 1047314726 3744660052 898939380 222349741 1270228962 890668764 588490609 1840580591 910635949 1756772633 3720050282 1950041001 1841594482 1599678411 3383353189 444063955 2742978759 4228753168 1581046333 2249086331 591056180 688650920 480458947 4103929180 1952895763 260633017 2753671768 2721501702 2455289451 981606880 3000756886 4260589818 3533065070 1816175827 3154368914 1168125607 2850465448 993540039 1940404794 1164558027 4063486482 782630706 4158762247 629555134 2898892384 2415334584 2824821631 4247466436 3482828730 1723768748 2654747035 427626977 1634010177 2073051607 2904277383 2179372061 662525171 2789211395 3677252637 3379330940 1000496189 3969026880 255 362436" option to reproduce the execution
0.00/0.01	c #vars 183
0.00/0.01	c #constraints 61
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      101      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      126 |      100 |      101      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      392 |      250 |      112      0 |        0 |        0
0.08/0.10	c  0.1s |       3 |      697 |      475 |      124      3 |        0 |        0
0.08/0.16	c  0.1s |       4 |     1117 |      813 |      137      5 |        0 |        0
0.19/0.27	c  0.3s |       5 |     1731 |     1320 |      151      9 |        0 |        0
0.39/0.41	c  0.4s |       6 |     2664 |     2081 |      184     15 |        0 |        0
0.59/0.64	c  0.6s |       7 |     4094 |     3223 |      203     22 |        0 |        0
0.88/0.95	c  0.9s |       8 |     6109 |     4936 |      224     32 |        0 |        0
1.28/1.33	c  1.3s |       9 |     9282 |     7506 |      247     48 |        0 |        0
1.89/1.96	c  1.9s |      10 |    13568 |    11361 |      272     69 |        0 |        0
2.89/2.90	c  2.9s |      11 |    19862 |    17144 |      300     97 |        0 |        0
4.28/4.35	c  4.3s |      12 |    29665 |    25819 |      330    139 |        0 |        0
6.28/6.36	c  6.3s |      12 |    42896 |    37619 |      330    193 |        0 |        0
6.49/6.58	c  6.6s |      13 |    44240 |    38832 |      364    199 |        0 |        0
8.49/8.58	c  8.6s |      13 |    56981 |    50232 |      364    247 |        0 |        0
10.09/10.15	c 10.1s |      14 |    66082 |    58352 |      401    281 |        0 |        0
12.10/12.16	c 12.1s |      14 |    78066 |    69152 |      401    325 |        0 |        0
14.09/14.18	c 14.2s |      14 |    89806 |    79852 |      401    368 |        0 |        0
15.50/15.59	c 15.6s |      15 |    98464 |    87632 |      442    398 |        0 |        0
17.60/17.60	c 17.6s |      15 |   111750 |    99132 |      442    441 |        0 |        0
19.59/19.62	c 19.6s |      15 |   123542 |   109732 |      442    480 |        0 |        0
21.59/21.63	c 21.6s |      15 |   135822 |   120432 |      442    519 |        0 |        0
23.59/23.63	c 23.6s |      15 |   147999 |   131132 |      487    559 |        0 |        0
23.69/23.72	c 23.7s |      16 |   148466 |   131552 |      487    560 |        0 |        0
25.69/25.73	c 25.7s |      16 |   161974 |   143252 |      487    600 |        0 |        0
27.69/27.74	c 27.7s |      16 |   174491 |   154352 |      487    638 |        0 |        0
29.69/29.74	c 29.7s |      16 |   187699 |   165952 |      487    678 |        0 |        0
31.68/31.76	c 31.7s |      16 |   200901 |   177352 |      487    718 |        0 |        0
33.68/33.77	c 33.8s |      16 |   214432 |   188952 |      487    758 |        0 |        0
35.19/35.22	c 35.2s |      17 |   224174 |   197432 |      536    787 |        0 |        0
37.18/37.22	c 37.2s |      17 |   237109 |   209132 |      536    824 |        0 |        0
39.18/39.24	c 39.2s |      17 |   250616 |   221032 |      536    862 |        0 |        0
41.18/41.25	c 41.2s |      17 |   263186 |   232232 |      536    898 |        0 |        0
43.18/43.26	c 43.2s |      17 |   275791 |   243332 |      536    934 |        0 |        0
45.19/45.26	c 45.3s |      17 |   287688 |   254132 |      536    968 |        0 |        0
47.18/47.28	c 47.3s |      17 |   300739 |   265532 |      536   1005 |        0 |        0
49.28/49.30	c 49.3s |      17 |   313833 |   277032 |      536   1041 |        0 |        0
51.28/51.32	c 51.3s |      17 |   327013 |   288532 |      536   1078 |        0 |        0
52.68/52.77	c 52.8s |      18 |   335597 |   296252 |      590   1102 |        0 |        0
54.68/54.78	c 54.8s |      18 |   347948 |   307252 |      590   1134 |        0 |        0
56.78/56.80	c 56.8s |      18 |   360812 |   318452 |      590   1167 |        0 |        0
58.78/58.80	c 58.8s |      18 |   373546 |   329752 |      590   1200 |        0 |        0
60.78/60.81	c 60.8s |      18 |   386803 |   341152 |      590   1233 |        0 |        0
62.79/62.82	c 62.8s |      18 |   399272 |   352052 |      590   1265 |        0 |        0
64.78/64.82	c 64.8s |      18 |   411123 |   362552 |      590   1297 |        0 |        0
66.78/66.84	c 66.8s |      18 |   423190 |   373152 |      590   1328 |        0 |        0
68.78/68.85	c 68.8s |      18 |   435430 |   384052 |      590   1359 |        0 |        0
70.78/70.86	c 70.8s |      18 |   447615 |   394852 |      590   1391 |        0 |        0
72.78/72.87	c 72.9s |      18 |   458780 |   404952 |      590   1421 |        0 |        0
74.79/74.88	c 74.9s |      18 |   469500 |   414852 |      590   1449 |        0 |        0
76.78/76.88	c 76.9s |      18 |   480446 |   424752 |      590   1478 |        0 |        0
78.78/78.89	c 78.9s |      18 |   493865 |   436152 |      590   1512 |        0 |        0
80.39/80.45	c 80.4s |      19 |   503403 |   444482 |      649   1535 |        0 |        0
82.38/82.45	c 82.4s |      19 |   515112 |   455082 |      649   1564 |        0 |        0
84.38/84.46	c 84.4s |      19 |   526136 |   465082 |      649   1591 |        0 |        0
86.38/86.48	c 86.5s |      19 |   536905 |   474882 |      649   1617 |        0 |        0
88.38/88.48	c 88.5s |      19 |   549026 |   485782 |      649   1646 |        0 |        0
90.38/90.49	c 90.5s |      19 |   560885 |   496582 |      649   1675 |        0 |        0
92.38/92.49	c 92.5s |      19 |   572703 |   507082 |      649   1704 |        0 |        0
94.47/94.50	c 94.5s |      19 |   583928 |   517282 |      649   1731 |        0 |        0
96.47/96.51	c 96.5s |      19 |   594887 |   527182 |      649   1758 |        0 |        0
98.47/98.52	c 98.5s |      19 |   606005 |   537382 |      649   1786 |        0 |        0
100.47/100.54	c  100s |      19 |   616863 |   547382 |      649   1813 |        0 |        0
102.47/102.54	c  102s |      19 |   628003 |   557482 |      649   1840 |        0 |        0
104.48/104.56	c  104s |      19 |   639467 |   567782 |      649   1868 |        0 |        0
106.47/106.57	c  106s |      19 |   649931 |   577382 |      649   1893 |        0 |        0
108.47/108.57	c  108s |      19 |   660998 |   587382 |      649   1920 |        0 |        0
110.48/110.57	c  110s |      19 |   672125 |   597482 |      649   1948 |        0 |        0
112.48/112.57	c  112s |      19 |   682584 |   607082 |      649   1973 |        0 |        0
114.48/114.59	c  114s |      19 |   693303 |   616882 |      649   2000 |        0 |        0
116.58/116.61	c  116s |      19 |   703763 |   626382 |      649   2025 |        0 |        0
118.57/118.62	c  118s |      19 |   714651 |   636082 |      649   2051 |        0 |        0
120.57/120.64	c  120s |      19 |   725344 |   645782 |      649   2078 |        0 |        0
122.57/122.65	c  122s |      19 |   736200 |   655682 |      649   2104 |        0 |        0
124.57/124.66	c  124s |      19 |   746799 |   665382 |      714   2130 |        0 |        0
124.87/124.98	c  124s |      20 |   748403 |   666827 |      714   2134 |        0 |        0
126.87/126.99	c  126s |      20 |   760282 |   677627 |      714   2160 |        0 |        0
128.97/129.01	c  129s |      20 |   771026 |   687427 |      714   2184 |        0 |        0
130.98/131.03	c  131s |      20 |   780926 |   696527 |      714   2206 |        0 |        0
132.97/133.06	c  133s |      20 |   791066 |   705827 |      714   2229 |        0 |        0
134.97/135.07	c  135s |      20 |   800691 |   714727 |      714   2250 |        0 |        0
136.97/137.08	c  137s |      20 |   810618 |   723827 |      714   2272 |        0 |        0
138.97/139.08	c  139s |      20 |   820872 |   733027 |      714   2295 |        0 |        0
140.97/141.09	c  141s |      20 |   831530 |   742527 |      714   2318 |        0 |        0
142.98/143.09	c  143s |      20 |   841371 |   751427 |      714   2340 |        0 |        0
145.07/145.10	c  145s |      20 |   851899 |   760927 |      714   2363 |        0 |        0
147.07/147.11	c  147s |      20 |   861628 |   769727 |      714   2385 |        0 |        0
149.07/149.12	c  149s |      20 |   871202 |   778527 |      714   2406 |        0 |        0
151.07/151.13	c  151s |      20 |   880774 |   787327 |      714   2428 |        0 |        0
153.07/153.16	c  153s |      20 |   890072 |   795827 |      714   2448 |        0 |        0
155.07/155.16	c  155s |      20 |   899002 |   804027 |      714   2468 |        0 |        0
157.07/157.16	c  157s |      20 |   907920 |   812327 |      714   2488 |        0 |        0
159.06/159.18	c  159s |      20 |   917523 |   821127 |      714   2510 |        0 |        0
161.06/161.19	c  161s |      20 |   928453 |   830827 |      714   2534 |        0 |        0
163.16/163.20	c  163s |      20 |   938401 |   839827 |      714   2556 |        0 |        0
165.16/165.22	c  165s |      20 |   948463 |   849227 |      714   2579 |        0 |        0
167.17/167.22	c  167s |      20 |   957479 |   857627 |      714   2599 |        0 |        0
169.16/169.23	c  169s |      20 |   966490 |   866027 |      714   2620 |        0 |        0
171.16/171.25	c  171s |      20 |   974872 |   873827 |      714   2639 |        0 |        0
173.16/173.26	c  173s |      20 |   984965 |   883027 |      714   2661 |        0 |        0
175.16/175.28	c  175s |      20 |   995195 |   892527 |      714   2685 |        0 |        0
177.17/177.28	c  177s |      20 |  1004459 |   901227 |      714   2706 |        0 |        0
179.16/179.29	c  179s |      20 |  1014050 |   910027 |      714   2727 |        0 |        0
181.16/181.29	c  181s |      20 |  1023471 |   918727 |      714   2749 |        0 |        0
183.26/183.30	c  183s |      20 |  1033593 |   928027 |      714   2771 |        0 |        0
185.26/185.32	c  185s |      20 |  1043551 |   937127 |      714   2794 |        0 |        0
187.26/187.33	c  187s |      20 |  1053249 |   946027 |      714   2815 |        0 |        0
189.26/189.35	c  189s |      20 |  1063155 |   954927 |      714   2837 |        0 |        0
191.26/191.36	c  191s |      20 |  1073451 |   964227 |      714   2860 |        0 |        0
193.26/193.36	c  193s |      20 |  1082941 |   972727 |      714   2881 |        0 |        0
195.25/195.38	c  195s |      20 |  1093063 |   981827 |      714   2903 |        0 |        0
197.26/197.38	c  197s |      20 |  1104030 |   991627 |      714   2927 |        0 |        0
199.17/199.25	c  199s |      21 |  1113454 |  1000345 |      786   2947 |        0 |        0
201.16/201.26	c  201s |      21 |  1124574 |  1010045 |      786   2969 |        0 |        0
203.16/203.27	c  203s |      21 |  1134463 |  1018945 |      786   2989 |        0 |        0
205.16/205.28	c  205s |      21 |  1144550 |  1028045 |      786   3010 |        0 |        0
207.25/207.30	c  207s |      21 |  1156006 |  1037845 |      786   3033 |        0 |        0
209.25/209.30	c  209s |      21 |  1166629 |  1047245 |      786   3054 |        0 |        0
211.26/211.32	c  211s |      21 |  1176554 |  1056245 |      786   3074 |        0 |        0
213.25/213.32	c  213s |      21 |  1187331 |  1065845 |      786   3096 |        0 |        0
215.25/215.33	c  215s |      21 |  1197769 |  1075245 |      786   3117 |        0 |        0
217.25/217.34	c  217s |      21 |  1208449 |  1084745 |      786   3139 |        0 |        0
219.25/219.36	c  219s |      21 |  1219161 |  1094245 |      786   3161 |        0 |        0
221.25/221.37	c  221s |      21 |  1230086 |  1103745 |      786   3182 |        0 |        0
223.25/223.38	c  223s |      21 |  1240653 |  1113245 |      786   3204 |        0 |        0
225.24/225.39	c  225s |      21 |  1251426 |  1122945 |      786   3226 |        0 |        0
227.34/227.40	c  227s |      21 |  1261129 |  1131845 |      786   3246 |        0 |        0
229.34/229.41	c  229s |      21 |  1271022 |  1140745 |      786   3267 |        0 |        0
231.34/231.42	c  231s |      21 |  1280732 |  1149445 |      786   3287 |        0 |        0
233.34/233.44	c  233s |      21 |  1291563 |  1159045 |      786   3309 |        0 |        0
235.35/235.45	c  235s |      21 |  1301905 |  1168245 |      786   3330 |        0 |        0
237.34/237.45	c  237s |      21 |  1312281 |  1177445 |      786   3351 |        0 |        0
239.34/239.48	c  239s |      21 |  1322502 |  1186645 |      786   3372 |        0 |        0
241.43/241.50	c  241s |      21 |  1333894 |  1196645 |      786   3394 |        0 |        0
243.43/243.52	c  243s |      21 |  1344673 |  1206145 |      786   3416 |        0 |        0
245.43/245.53	c  245s |      21 |  1355649 |  1215845 |      786   3438 |        0 |        0
247.43/247.54	c  247s |      21 |  1366545 |  1225445 |      786   3460 |        0 |        0
249.43/249.55	c  249s |      21 |  1377202 |  1234945 |      786   3482 |        0 |        0
251.43/251.58	c  251s |      21 |  1387591 |  1244245 |      786   3503 |        0 |        0
253.43/253.59	c  253s |      21 |  1398273 |  1253545 |      786   3524 |        0 |        0
255.43/255.59	c  255s |      21 |  1408080 |  1262345 |      786   3544 |        0 |        0
257.52/257.60	c  257s |      21 |  1417642 |  1271045 |      786   3564 |        0 |        0
259.53/259.61	c  259s |      21 |  1427185 |  1279845 |      786   3584 |        0 |        0
261.52/261.62	c  261s |      21 |  1437912 |  1289445 |      786   3605 |        0 |        0
263.52/263.63	c  263s |      21 |  1447990 |  1298445 |      786   3626 |        0 |        0
265.52/265.64	c  265s |      21 |  1457329 |  1306945 |      786   3645 |        0 |        0
267.51/267.65	c  267s |      21 |  1468018 |  1316545 |      786   3667 |        0 |        0
269.52/269.67	c  269s |      21 |  1478942 |  1326145 |      786   3689 |        0 |        0
271.51/271.67	c  271s |      21 |  1489436 |  1335345 |      786   3709 |        0 |        0
273.51/273.69	c  273s |      21 |  1499925 |  1344645 |      786   3731 |        0 |        0
275.62/275.70	c  275s |      21 |  1510951 |  1354245 |      786   3752 |        0 |        0
277.62/277.71	c  277s |      21 |  1521965 |  1363945 |      786   3774 |        0 |        0
279.61/279.71	c  279s |      21 |  1532452 |  1373245 |      786   3796 |        0 |        0
281.62/281.74	c  281s |      21 |  1542688 |  1382345 |      786   3816 |        0 |        0
283.61/283.75	c  283s |      21 |  1552141 |  1391045 |      786   3836 |        0 |        0
285.61/285.76	c  285s |      21 |  1562858 |  1400245 |      786   3857 |        0 |        0
287.61/287.77	c  287s |      21 |  1573322 |  1409445 |      786   3878 |        0 |        0
289.61/289.78	c  289s |      21 |  1583234 |  1418445 |      786   3899 |        0 |        0
291.61/291.79	c  291s |      21 |  1593551 |  1427845 |      786   3921 |        0 |        0
293.61/293.80	c  293s |      21 |  1603774 |  1437145 |      786   3942 |        0 |        0
295.71/295.81	c  295s |      21 |  1613999 |  1446445 |      786   3964 |        0 |        0
297.70/297.82	c  297s |      21 |  1624824 |  1456045 |      786   3986 |        0 |        0
299.70/299.83	c  299s |      21 |  1635386 |  1465645 |      786   4007 |        0 |        0
301.70/301.85	c  301s |      21 |  1645978 |  1475245 |      786   4029 |        0 |        0
303.70/303.86	c  303s |      21 |  1657010 |  1484845 |      786   4051 |        0 |        0
305.70/305.86	c  305s |      21 |  1666985 |  1493745 |      865   4070 |        0 |        0
307.30/307.41	c  307s |      22 |  1674552 |  1500622 |      865   4085 |        0 |        0
309.30/309.41	c  309s |      22 |  1685600 |  1510322 |      865   4105 |        0 |        0
311.30/311.42	c  311s |      22 |  1696120 |  1519822 |      865   4125 |        0 |        0
313.29/313.42	c  313s |      22 |  1706337 |  1529122 |      865   4145 |        0 |        0
315.29/315.43	c  315s |      22 |  1716328 |  1538322 |      865   4165 |        0 |        0
317.29/317.44	c  317s |      22 |  1726635 |  1547722 |      865   4184 |        0 |        0
319.29/319.45	c  319s |      22 |  1736886 |  1557122 |      865   4204 |        0 |        0
321.29/321.47	c  321s |      22 |  1747194 |  1566622 |      865   4224 |        0 |        0
323.30/323.49	c  323s |      22 |  1757858 |  1576222 |      865   4245 |        0 |        0
325.29/325.49	c  325s |      22 |  1767930 |  1585422 |      865   4264 |        0 |        0
327.39/327.51	c  327s |      22 |  1778151 |  1594622 |      865   4284 |        0 |        0
329.38/329.52	c  329s |      22 |  1788268 |  1603922 |      865   4303 |        0 |        0
331.38/331.53	c  331s |      22 |  1798874 |  1613522 |      865   4324 |        0 |        0
333.38/333.55	c  333s |      22 |  1809907 |  1623422 |      865   4345 |        0 |        0
335.39/335.57	c  335s |      22 |  1819463 |  1632322 |      865   4363 |        0 |        0
337.38/337.58	c  337s |      22 |  1829036 |  1641122 |      865   4382 |        0 |        0
339.38/339.59	c  339s |      22 |  1838475 |  1649722 |      865   4400 |        0 |        0
341.48/341.60	c  341s |      22 |  1848669 |  1658922 |      865   4419 |        0 |        0
343.48/343.62	c  343s |      22 |  1858327 |  1667622 |      865   4438 |        0 |        0
345.48/345.63	c  345s |      22 |  1867830 |  1676422 |      865   4456 |        0 |        0
347.48/347.65	c  347s |      22 |  1877045 |  1684822 |      865   4474 |        0 |        0
349.48/349.67	c  349s |      22 |  1887065 |  1693722 |      865   4493 |        0 |        0
351.48/351.68	c  351s |      22 |  1897361 |  1702922 |      865   4512 |        0 |        0
353.48/353.68	c  353s |      22 |  1906818 |  1711522 |      865   4530 |        0 |        0
355.48/355.69	c  355s |      22 |  1916586 |  1720222 |      865   4549 |        0 |        0
357.57/357.70	c  357s |      22 |  1926099 |  1728722 |      865   4567 |        0 |        0
359.58/359.71	c  359s |      22 |  1935751 |  1737222 |      865   4585 |        0 |        0
361.57/361.73	c  361s |      22 |  1945791 |  1746222 |      865   4604 |        0 |        0
363.57/363.73	c  363s |      22 |  1956287 |  1755422 |      865   4623 |        0 |        0
365.57/365.74	c  365s |      22 |  1966782 |  1764722 |      865   4643 |        0 |        0
367.57/367.76	c  367s |      22 |  1976903 |  1773722 |      865   4662 |        0 |        0
369.58/369.78	c  369s |      22 |  1986685 |  1782622 |      865   4681 |        0 |        0
371.57/371.79	c  371s |      22 |  1996903 |  1791722 |      865   4701 |        0 |        0
373.67/373.82	c  373s |      22 |  2006077 |  1800222 |      865   4718 |        0 |        0
375.67/375.83	c  375s |      22 |  2015335 |  1808622 |      865   4736 |        0 |        0
377.66/377.84	c  377s |      22 |  2024115 |  1816822 |      865   4754 |        0 |        0
379.66/379.84	c  379s |      22 |  2033095 |  1825022 |      865   4771 |        0 |        0
381.67/381.85	c  381s |      22 |  2042315 |  1833422 |      865   4789 |        0 |        0
383.66/383.87	c  383s |      22 |  2050971 |  1841422 |      865   4806 |        0 |        0
385.66/385.89	c  385s |      22 |  2060229 |  1849922 |      865   4824 |        0 |        0
387.66/387.89	c  387s |      22 |  2069458 |  1858422 |      865   4842 |        0 |        0
389.75/389.91	c  389s |      22 |  2078923 |  1867022 |      865   4860 |        0 |        0
391.75/391.92	c  391s |      22 |  2089763 |  1876522 |      865   4880 |        0 |        0
393.76/393.93	c  393s |      22 |  2099934 |  1885622 |      865   4899 |        0 |        0
395.75/395.95	c  395s |      22 |  2109564 |  1894422 |      865   4918 |        0 |        0
397.75/397.96	c  397s |      22 |  2118472 |  1902422 |      865   4935 |        0 |        0
399.75/399.98	c  399s |      22 |  2128545 |  1911522 |      865   4954 |        0 |        0
401.75/401.99	c  401s |      22 |  2137399 |  1919522 |      865   4971 |        0 |        0
403.85/404.00	c  403s |      22 |  2146692 |  1927922 |      865   4989 |        0 |        0
405.86/406.01	c  405s |      22 |  2156282 |  1936422 |      865   5007 |        0 |        0
407.84/408.02	c  408s |      22 |  2166505 |  1945422 |      865   5026 |        0 |        0
409.84/410.04	c  410s |      22 |  2176742 |  1954522 |      865   5045 |        0 |        0
411.84/412.06	c  412s |      22 |  2186021 |  1962922 |      865   5063 |        0 |        0
413.84/414.08	c  414s |      22 |  2195279 |  1971422 |      865   5081 |        0 |        0
415.84/416.08	c  416s |      22 |  2203851 |  1979322 |      865   5098 |        0 |        0
417.94/418.10	c  418s |      22 |  2212653 |  1987422 |      865   5115 |        0 |        0
419.94/420.11	c  420s |      22 |  2221228 |  1995322 |      865   5131 |        0 |        0
421.94/422.12	c  422s |      22 |  2229487 |  2002822 |      865   5147 |        0 |        0
423.94/424.14	c  424s |      22 |  2237306 |  2010122 |      865   5163 |        0 |        0
425.94/426.16	c  426s |      22 |  2246391 |  2018622 |      865   5180 |        0 |        0
427.93/428.17	c  428s |      22 |  2255368 |  2027022 |      865   5198 |        0 |        0
429.94/430.17	c  430s |      22 |  2265017 |  2035822 |      865   5217 |        0 |        0
431.93/432.18	c  432s |      22 |  2274007 |  2044122 |      865   5234 |        0 |        0
433.93/434.18	c  434s |      22 |  2283873 |  2053022 |      865   5253 |        0 |        0
436.03/436.20	c  436s |      22 |  2293090 |  2061522 |      865   5271 |        0 |        0
438.02/438.22	c  438s |      22 |  2302932 |  2070422 |      865   5290 |        0 |        0
440.02/440.22	c  440s |      22 |  2312600 |  2079122 |      865   5308 |        0 |        0
442.03/442.24	c  442s |      22 |  2322166 |  2087822 |      865   5326 |        0 |        0
444.02/444.27	c  444s |      22 |  2331640 |  2096322 |      865   5344 |        0 |        0
446.02/446.29	c  446s |      22 |  2341187 |  2104922 |      865   5362 |        0 |        0
448.02/448.29	c  448s |      22 |  2349665 |  2112722 |      865   5379 |        0 |        0
450.02/450.29	c  450s |      22 |  2359210 |  2121322 |      865   5397 |        0 |        0
452.02/452.29	c  452s |      22 |  2368837 |  2129922 |      865   5415 |        0 |        0
454.02/454.30	c  454s |      22 |  2378405 |  2138622 |      865   5434 |        0 |        0
456.11/456.31	c  456s |      22 |  2387879 |  2147222 |      865   5452 |        0 |        0
458.11/458.33	c  458s |      22 |  2397381 |  2155822 |      865   5470 |        0 |        0
460.11/460.34	c  460s |      22 |  2406215 |  2163922 |      865   5487 |        0 |        0
462.11/462.36	c  462s |      22 |  2415431 |  2172322 |      865   5505 |        0 |        0
464.12/464.37	c  464s |      22 |  2423909 |  2180122 |      865   5522 |        0 |        0
466.11/466.37	c  466s |      22 |  2433425 |  2188722 |      865   5540 |        0 |        0
468.10/468.37	c  468s |      22 |  2443183 |  2197822 |      865   5558 |        0 |        0
470.10/470.39	c  470s |      22 |  2453238 |  2207022 |      865   5577 |        0 |        0
472.21/472.40	c  472s |      22 |  2463036 |  2216022 |      865   5596 |        0 |        0
474.21/474.41	c  474s |      22 |  2472766 |  2225022 |      865   5615 |        0 |        0
476.21/476.42	c  476s |      22 |  2482583 |  2233922 |      865   5633 |        0 |        0
478.20/478.42	c  478s |      22 |  2491699 |  2242322 |      952   5649 |        0 |        0
480.20/480.44	c  480s |      22 |  2500626 |  2250522 |      952   5664 |        0 |        0
480.30/480.58	c  480s |      23 |  2501178 |  2251038 |      952   5665 |        0 |        0
482.40/482.60	c  482s |      23 |  2510677 |  2259738 |      952   5682 |        0 |        0
484.40/484.61	c  484s |      23 |  2519187 |  2267738 |      952   5697 |        0 |        0
486.40/486.63	c  486s |      23 |  2527569 |  2275438 |      952   5711 |        0 |        0
488.39/488.63	c  488s |      23 |  2536422 |  2283638 |      952   5727 |        0 |        0
490.40/490.64	c  490s |      23 |  2545200 |  2291838 |      952   5742 |        0 |        0
492.39/492.66	c  492s |      23 |  2553591 |  2299638 |      952   5757 |        0 |        0
494.39/494.66	c  494s |      23 |  2562750 |  2307938 |      952   5773 |        0 |        0
496.39/496.68	c  496s |      23 |  2570887 |  2315438 |      952   5787 |        0 |        0
498.39/498.68	c  498s |      23 |  2579790 |  2323538 |      952   5802 |        0 |        0
500.40/500.69	c  500s |      23 |  2588652 |  2331638 |      952   5818 |        0 |        0
502.50/502.71	c  502s |      23 |  2598091 |  2340238 |      952   5834 |        0 |        0
504.49/504.72	c  504s |      23 |  2607512 |  2348838 |      952   5850 |        0 |        0
506.49/506.73	c  506s |      23 |  2616945 |  2357338 |      952   5866 |        0 |        0
508.49/508.73	c  508s |      23 |  2625957 |  2365438 |      952   5881 |        0 |        0
510.49/510.74	c  510s |      23 |  2635133 |  2373738 |      952   5897 |        0 |        0
512.49/512.75	c  512s |      23 |  2643757 |  2381638 |      952   5912 |        0 |        0
514.49/514.76	c  514s |      23 |  2652947 |  2390038 |      952   5928 |        0 |        0
516.48/516.79	c  516s |      23 |  2662077 |  2398338 |      952   5944 |        0 |        0
518.58/518.81	c  518s |      23 |  2670670 |  2406238 |      952   5958 |        0 |        0
520.58/520.81	c  520s |      23 |  2680585 |  2415038 |      952   5975 |        0 |        0
522.58/522.82	c  522s |      23 |  2689181 |  2422938 |      952   5990 |        0 |        0
524.59/524.84	c  524s |      23 |  2697814 |  2430738 |      952   6005 |        0 |        0
526.58/526.86	c  526s |      23 |  2705573 |  2437838 |      952   6018 |        0 |        0
528.58/528.87	c  528s |      23 |  2712764 |  2444538 |      952   6031 |        0 |        0
530.58/530.88	c  530s |      23 |  2721024 |  2452038 |      952   6045 |        0 |        0
532.68/532.90	c  532s |      23 |  2729354 |  2459638 |      952   6059 |        0 |        0
534.68/534.92	c  534s |      23 |  2738074 |  2467638 |      952   6075 |        0 |        0
536.69/536.93	c  536s |      23 |  2746293 |  2475138 |      952   6089 |        0 |        0
538.68/538.93	c  538s |      23 |  2754787 |  2482938 |      952   6104 |        0 |        0
540.68/540.94	c  540s |      23 |  2763932 |  2491438 |      952   6120 |        0 |        0
542.68/542.94	c  542s |      23 |  2773257 |  2499838 |      952   6136 |        0 |        0
544.68/544.95	c  544s |      23 |  2781942 |  2507838 |      952   6151 |        0 |        0
546.67/546.97	c  546s |      23 |  2790777 |  2515738 |      952   6166 |        0 |        0
548.68/548.99	c  548s |      23 |  2799282 |  2523738 |      952   6181 |        0 |        0
550.77/551.00	c  550s |      23 |  2809201 |  2532438 |      952   6197 |        0 |        0
552.77/553.01	c  552s |      23 |  2818212 |  2540738 |      952   6213 |        0 |        0
554.77/555.03	c  555s |      23 |  2826949 |  2548938 |      952   6229 |        0 |        0
556.77/557.03	c  557s |      23 |  2835506 |  2556838 |      952   6244 |        0 |        0
558.76/559.06	c  559s |      23 |  2843284 |  2564138 |      952   6258 |        0 |        0
560.77/561.08	c  561s |      23 |  2852385 |  2572538 |      952   6273 |        0 |        0
562.76/563.09	c  563s |      23 |  2859794 |  2579538 |      952   6286 |        0 |        0
564.86/565.11	c  565s |      23 |  2867367 |  2586638 |      952   6300 |        0 |        0
566.86/567.13	c  567s |      23 |  2876131 |  2594638 |      952   6315 |        0 |        0
568.86/569.13	c  569s |      23 |  2885111 |  2602838 |      952   6330 |        0 |        0
570.86/571.15	c  571s |      23 |  2893076 |  2610338 |      952   6344 |        0 |        0
572.86/573.17	c  573s |      23 |  2901155 |  2617838 |      952   6358 |        0 |        0
574.85/575.18	c  575s |      23 |  2909857 |  2625638 |      952   6373 |        0 |        0
576.85/577.18	c  577s |      23 |  2918074 |  2633138 |      952   6387 |        0 |        0
578.95/579.20	c  579s |      23 |  2926379 |  2640638 |      952   6401 |        0 |        0
580.95/581.22	c  581s |      23 |  2934024 |  2647738 |      952   6415 |        0 |        0
582.95/583.22	c  583s |      23 |  2943388 |  2656238 |      952   6431 |        0 |        0
584.95/585.24	c  585s |      23 |  2953188 |  2665138 |      952   6448 |        0 |        0
586.95/587.27	c  587s |      23 |  2962010 |  2673138 |      952   6463 |        0 |        0
588.94/589.29	c  589s |      23 |  2971165 |  2681438 |      952   6478 |        0 |        0
591.04/591.31	c  591s |      23 |  2980428 |  2689838 |      952   6494 |        0 |        0
593.04/593.33	c  593s |      23 |  2988649 |  2697338 |      952   6509 |        0 |        0
595.04/595.34	c  595s |      23 |  2997709 |  2705538 |      952   6524 |        0 |        0
597.05/597.35	c  597s |      23 |  3006252 |  2713338 |      952   6539 |        0 |        0
599.03/599.36	c  599s |      23 |  3014688 |  2721138 |      952   6554 |        0 |        0
601.03/601.39	c  601s |      23 |  3023074 |  2728838 |      952   6569 |        0 |        0
603.13/603.42	c  603s |      23 |  3031625 |  2736538 |      952   6583 |        0 |        0
605.13/605.42	c  605s |      23 |  3040101 |  2744238 |      952   6598 |        0 |        0
607.13/607.43	c  607s |      23 |  3048389 |  2751838 |      952   6612 |        0 |        0
609.15/609.43	c  609s |      23 |  3056561 |  2759338 |      952   6626 |        0 |        0
611.14/611.45	c  611s |      23 |  3065747 |  2767638 |      952   6642 |        0 |        0
613.14/613.45	c  613s |      23 |  3074189 |  2775338 |      952   6657 |        0 |        0
615.14/615.46	c  615s |      23 |  3082105 |  2782638 |      952   6671 |        0 |        0
617.14/617.47	c  617s |      23 |  3090168 |  2790138 |      952   6685 |        0 |        0
619.14/619.47	c  619s |      23 |  3098602 |  2797938 |      952   6700 |        0 |        0
621.13/621.48	c  621s |      23 |  3106923 |  2805738 |      952   6714 |        0 |        0
623.23/623.50	c  623s |      23 |  3114782 |  2813138 |      952   6728 |        0 |        0
625.23/625.50	c  625s |      23 |  3122851 |  2820638 |      952   6743 |        0 |        0
627.23/627.52	c  627s |      23 |  3131620 |  2828738 |      952   6758 |        0 |        0
629.23/629.55	c  629s |      23 |  3139556 |  2836138 |      952   6772 |        0 |        0
631.23/631.56	c  631s |      23 |  3146915 |  2843038 |      952   6785 |        0 |        0
633.22/633.56	c  633s |      23 |  3154874 |  2850438 |      952   6799 |        0 |        0
635.22/635.58	c  635s |      23 |  3162648 |  2857738 |      952   6813 |        0 |        0
637.22/637.59	c  637s |      23 |  3169838 |  2864438 |      952   6826 |        0 |        0
639.32/639.62	c  639s |      23 |  3178145 |  2872138 |      952   6840 |        0 |        0
641.32/641.62	c  641s |      23 |  3186604 |  2879838 |      952   6855 |        0 |        0
643.33/643.62	c  643s |      23 |  3194779 |  2887338 |      952   6869 |        0 |        0
645.32/645.64	c  645s |      23 |  3202897 |  2894938 |      952   6884 |        0 |        0
647.31/647.66	c  647s |      23 |  3210922 |  2902438 |      952   6898 |        0 |        0
649.31/649.67	c  649s |      23 |  3218838 |  2909838 |      952   6912 |        0 |        0
651.31/651.67	c  651s |      23 |  3226621 |  2917038 |      952   6925 |        0 |        0
653.31/653.69	c  653s |      23 |  3234556 |  2924438 |      952   6939 |        0 |        0
655.32/655.70	c  655s |      23 |  3241926 |  2931338 |      952   6952 |        0 |        0
657.40/657.71	c  657s |      23 |  3249751 |  2938538 |      952   6966 |        0 |        0
659.40/659.73	c  659s |      23 |  3257075 |  2945238 |      952   6979 |        0 |        0
661.40/661.74	c  661s |      23 |  3264667 |  2952238 |      952   6992 |        0 |        0
663.40/663.76	c  663s |      23 |  3273554 |  2960438 |      952   7007 |        0 |        0
665.40/665.77	c  665s |      23 |  3282701 |  2968738 |      952   7023 |        0 |        0
667.41/667.79	c  667s |      23 |  3290702 |  2976038 |      952   7037 |        0 |        0
669.50/669.82	c  669s |      23 |  3298380 |  2983038 |      952   7050 |        0 |        0
671.50/671.84	c  671s |      23 |  3306343 |  2990138 |      952   7064 |        0 |        0
673.50/673.86	c  673s |      23 |  3313744 |  2996838 |      952   7077 |        0 |        0
675.50/675.86	c  675s |      23 |  3321513 |  3003838 |      952   7090 |        0 |        0
677.50/677.87	c  677s |      23 |  3328821 |  3010638 |      952   7103 |        0 |        0
679.50/679.89	c  679s |      23 |  3336595 |  3017838 |      952   7116 |        0 |        0
681.50/681.89	c  681s |      23 |  3344673 |  3025238 |      952   7130 |        0 |        0
683.60/683.92	c  683s |      23 |  3353491 |  3033038 |      952   7145 |        0 |        0
685.60/685.94	c  685s |      23 |  3361447 |  3040238 |      952   7159 |        0 |        0
687.59/687.95	c  687s |      23 |  3368815 |  3047138 |      952   7172 |        0 |        0
689.59/689.97	c  689s |      23 |  3376250 |  3053938 |      952   7185 |        0 |        0
691.60/691.99	c  691s |      23 |  3384688 |  3061438 |      952   7199 |        0 |        0
693.69/694.01	c  693s |      23 |  3392284 |  3068338 |      952   7212 |        0 |        0
695.69/696.02	c  696s |      23 |  3400576 |  3075838 |      952   7227 |        0 |        0
697.69/698.03	c  698s |      23 |  3409030 |  3083538 |      952   7241 |        0 |        0
699.69/700.05	c  700s |      23 |  3417774 |  3091438 |      952   7256 |        0 |        0
701.69/702.05	c  702s |      23 |  3425782 |  3098638 |      952   7270 |        0 |        0
703.69/704.06	c  704s |      23 |  3433414 |  3105638 |      952   7283 |        0 |        0
705.68/706.07	c  706s |      23 |  3441373 |  3112838 |      952   7297 |        0 |        0
707.68/708.09	c  708s |      23 |  3448614 |  3119538 |      952   7309 |        0 |        0
709.78/710.12	c  710s |      23 |  3455823 |  3126138 |      952   7322 |        0 |        0
711.78/712.12	c  712s |      23 |  3463231 |  3133038 |      952   7335 |        0 |        0
713.78/714.14	c  714s |      23 |  3471787 |  3140938 |      952   7350 |        0 |        0
715.78/716.16	c  716s |      23 |  3479773 |  3148238 |      952   7363 |        0 |        0
717.77/718.17	c  718s |      23 |  3487082 |  3154838 |      952   7376 |        0 |        0
719.77/720.19	c  720s |      23 |  3494110 |  3161238 |      952   7388 |        0 |        0
721.87/722.20	c  722s |      23 |  3501127 |  3167738 |      952   7400 |        0 |        0
723.87/724.23	c  724s |      23 |  3508745 |  3174938 |      952   7414 |        0 |        0
725.87/726.23	c  726s |      23 |  3516930 |  3182438 |      952   7428 |        0 |        0
727.88/728.26	c  728s |      23 |  3525505 |  3190438 |      952   7443 |        0 |        0
729.87/730.28	c  730s |      23 |  3533568 |  3197938 |      952   7457 |        0 |        0
731.96/732.30	c  732s |      23 |  3542429 |  3205938 |      952   7473 |        0 |        0
733.96/734.31	c  734s |      23 |  3551250 |  3213938 |      952   7488 |        0 |        0
735.96/736.33	c  736s |      23 |  3559676 |  3221638 |      952   7503 |        0 |        0
737.97/738.34	c  738s |      23 |  3567630 |  3229038 |      952   7517 |        0 |        0
739.97/740.35	c  740s |      23 |  3575445 |  3236238 |      952   7531 |        0 |        0
741.97/742.37	c  742s |      23 |  3583486 |  3243638 |      952   7545 |        0 |        0
743.96/744.38	c  744s |      23 |  3591561 |  3251038 |      952   7559 |        0 |        0
745.96/746.39	c  746s |      23 |  3599488 |  3258438 |      952   7573 |        0 |        0
748.06/748.41	c  748s |      23 |  3608012 |  3266338 |      952   7588 |        0 |        0
750.06/750.44	c  750s |      23 |  3616409 |  3274038 |      952   7602 |        0 |        0
752.06/752.46	c  752s |      23 |  3624931 |  3281838 |      952   7617 |        0 |        0
754.06/754.47	c  754s |      23 |  3633314 |  3289538 |      952   7631 |        0 |        0
756.05/756.48	c  756s |      23 |  3641830 |  3297438 |      952   7646 |        0 |        0
758.15/758.50	c  758s |      23 |  3650138 |  3305038 |      952   7661 |        0 |        0
760.15/760.52	c  760s |      23 |  3658408 |  3312538 |      952   7675 |        0 |        0
762.15/762.55	c  762s |      23 |  3667048 |  3320338 |      952   7690 |        0 |        0
764.16/764.55	c  764s |      23 |  3675601 |  3328038 |      952   7704 |        0 |        0
766.15/766.55	c  766s |      23 |  3683598 |  3335338 |      952   7718 |        0 |        0
768.14/768.57	c  768s |      23 |  3691088 |  3342138 |      952   7731 |        0 |        0
770.24/770.60	c  770s |      23 |  3698928 |  3349238 |      952   7745 |        0 |        0
772.24/772.61	c  772s |      23 |  3706139 |  3355838 |     1048   7756 |        0 |        0
774.24/774.63	c  774s |      23 |  3713384 |  3362538 |     1048   7768 |        0 |        0
776.25/776.65	c  776s |      23 |  3720708 |  3369338 |     1048   7780 |        0 |        0
778.24/778.67	c  778s |      23 |  3727882 |  3375738 |     1048   7791 |        0 |        0
778.55/778.94	c  778s |      24 |  3728896 |  3376662 |     1048   7793 |        0 |        0
780.54/780.96	c  780s |      24 |  3737329 |  3384362 |     1048   7806 |        0 |        0
782.54/782.99	c  782s |      24 |  3745732 |  3392062 |     1048   7819 |        0 |        0
784.64/785.00	c  784s |      24 |  3753225 |  3398962 |     1048   7831 |        0 |        0
786.64/787.01	c  787s |      24 |  3761505 |  3406562 |     1048   7845 |        0 |        0
788.63/789.03	c  789s |      24 |  3770005 |  3414162 |     1048   7858 |        0 |        0
790.64/791.03	c  791s |      24 |  3778131 |  3421562 |     1048   7871 |        0 |        0
792.63/793.03	c  793s |      24 |  3786322 |  3428962 |     1048   7884 |        0 |        0
794.63/795.05	c  795s |      24 |  3794483 |  3436262 |     1048   7896 |        0 |        0
796.63/797.05	c  797s |      24 |  3802405 |  3443562 |     1048   7909 |        0 |        0
798.63/799.07	c  799s |      24 |  3809881 |  3450562 |     1048   7921 |        0 |        0
800.73/801.10	c  801s |      24 |  3817470 |  3457662 |     1048   7933 |        0 |        0
802.73/803.10	c  803s |      24 |  3824676 |  3464262 |     1048   7945 |        0 |        0
804.73/805.12	c  805s |      24 |  3833112 |  3471862 |     1048   7958 |        0 |        0
806.73/807.14	c  807s |      24 |  3840805 |  3478862 |     1048   7970 |        0 |        0
808.72/809.17	c  809s |      24 |  3848814 |  3486162 |     1048   7983 |        0 |        0
810.72/811.19	c  811s |      24 |  3856480 |  3493162 |     1048   7995 |        0 |        0
812.82/813.20	c  813s |      24 |  3864058 |  3500062 |     1048   8007 |        0 |        0
814.83/815.22	c  815s |      24 |  3871322 |  3506662 |     1048   8018 |        0 |        0
816.82/817.23	c  817s |      24 |  3879001 |  3513562 |     1048   8030 |        0 |        0
818.82/819.24	c  819s |      24 |  3886365 |  3520362 |     1048   8042 |        0 |        0
820.82/821.24	c  821s |      24 |  3893470 |  3526962 |     1048   8054 |        0 |        0
822.82/823.26	c  823s |      24 |  3901097 |  3534162 |     1048   8066 |        0 |        0
824.82/825.28	c  825s |      24 |  3908777 |  3541362 |     1048   8079 |        0 |        0
826.82/827.30	c  827s |      24 |  3916343 |  3548562 |     1048   8091 |        0 |        0
828.91/829.33	c  829s |      24 |  3924073 |  3555762 |     1048   8104 |        0 |        0
830.91/831.33	c  831s |      24 |  3931069 |  3562262 |     1048   8115 |        0 |        0
832.91/833.36	c  833s |      24 |  3937721 |  3568462 |     1048   8126 |        0 |        0
834.92/835.36	c  835s |      24 |  3945613 |  3575662 |     1048   8138 |        0 |        0
836.92/837.38	c  837s |      24 |  3953300 |  3582762 |     1048   8150 |        0 |        0
838.92/839.40	c  839s |      24 |  3961033 |  3589762 |     1048   8163 |        0 |        0
841.01/841.43	c  841s |      24 |  3969114 |  3597262 |     1048   8176 |        0 |        0
843.01/843.45	c  843s |      24 |  3976902 |  3604462 |     1048   8188 |        0 |        0
845.01/845.46	c  845s |      24 |  3984149 |  3611162 |     1048   8200 |        0 |        0
847.01/847.46	c  847s |      24 |  3991392 |  3617962 |     1048   8212 |        0 |        0
849.01/849.49	c  849s |      24 |  3999077 |  3624962 |     1048   8224 |        0 |        0
851.02/851.49	c  851s |      24 |  4006271 |  3631562 |     1048   8235 |        0 |        0
853.11/853.51	c  853s |      24 |  4013794 |  3638362 |     1048   8247 |        0 |        0
855.11/855.53	c  855s |      24 |  4020065 |  3644262 |     1048   8258 |        0 |        0
857.11/857.54	c  857s |      24 |  4027264 |  3650662 |     1048   8269 |        0 |        0
859.11/859.55	c  859s |      24 |  4034631 |  3657262 |     1048   8280 |        0 |        0
861.11/861.57	c  861s |      24 |  4041720 |  3663762 |     1048   8291 |        0 |        0
863.12/863.59	c  863s |      24 |  4049408 |  3670762 |     1048   8303 |        0 |        0
865.21/865.60	c  865s |      24 |  4057314 |  3678062 |     1048   8316 |        0 |        0
867.21/867.61	c  867s |      24 |  4064927 |  3685062 |     1048   8328 |        0 |        0
869.21/869.62	c  869s |      24 |  4073000 |  3692262 |     1048   8341 |        0 |        0
871.21/871.63	c  871s |      24 |  4081389 |  3699762 |     1048   8354 |        0 |        0
873.21/873.65	c  873s |      24 |  4089240 |  3706962 |     1048   8366 |        0 |        0
875.21/875.66	c  875s |      24 |  4097637 |  3714562 |     1048   8380 |        0 |        0
877.20/877.68	c  877s |      24 |  4105912 |  3722162 |     1048   8393 |        0 |        0
879.20/879.68	c  879s |      24 |  4114030 |  3729662 |     1048   8406 |        0 |        0
881.30/881.70	c  881s |      24 |  4122242 |  3737162 |     1048   8419 |        0 |        0
883.30/883.70	c  883s |      24 |  4130490 |  3744662 |     1048   8432 |        0 |        0
885.30/885.72	c  885s |      24 |  4138413 |  3751762 |     1048   8444 |        0 |        0
887.31/887.72	c  887s |      24 |  4147172 |  3759562 |     1048   8458 |        0 |        0
889.30/889.73	c  889s |      24 |  4155405 |  3766962 |     1048   8471 |        0 |        0
891.30/891.74	c  891s |      24 |  4163407 |  3774062 |     1048   8483 |        0 |        0
893.31/893.76	c  893s |      24 |  4171297 |  3781162 |     1048   8496 |        0 |        0
895.31/895.79	c  895s |      24 |  4179573 |  3788562 |     1048   8509 |        0 |        0
897.41/897.80	c  897s |      24 |  4187556 |  3795862 |     1048   8521 |        0 |        0
899.41/899.81	c  899s |      24 |  4195361 |  3802962 |     1048   8534 |        0 |        0
901.41/901.83	c  901s |      24 |  4203332 |  3810262 |     1048   8546 |        0 |        0
903.40/903.85	c  903s |      24 |  4211265 |  3817462 |     1048   8559 |        0 |        0
905.40/905.88	c  905s |      24 |  4219221 |  3824662 |     1048   8571 |        0 |        0
907.40/907.89	c  907s |      24 |  4227053 |  3831762 |     1048   8584 |        0 |        0
909.41/909.90	c  909s |      24 |  4235247 |  3839162 |     1048   8597 |        0 |        0
911.51/911.92	c  911s |      24 |  4243138 |  3846462 |     1048   8609 |        0 |        0
913.50/913.94	c  913s |      24 |  4251159 |  3853662 |     1048   8622 |        0 |        0
915.50/915.97	c  915s |      24 |  4258485 |  3860362 |     1048   8634 |        0 |        0
917.60/918.00	c  917s |      24 |  4265941 |  3867162 |     1048   8645 |        0 |        0
919.60/920.01	c  919s |      24 |  4272838 |  3873462 |     1048   8656 |        0 |        0
921.60/922.01	c  921s |      24 |  4280207 |  3880262 |     1048   8668 |        0 |        0
923.61/924.01	c  923s |      24 |  4287554 |  3887062 |     1048   8680 |        0 |        0
925.60/926.03	c  926s |      24 |  4294542 |  3893562 |     1048   8691 |        0 |        0
927.60/928.04	c  928s |      24 |  4301802 |  3900162 |     1048   8703 |        0 |        0
929.60/930.04	c  930s |      24 |  4309274 |  3906962 |     1048   8715 |        0 |        0
931.59/932.06	c  932s |      24 |  4317325 |  3914162 |     1048   8727 |        0 |        0
933.60/934.08	c  934s |      24 |  4325282 |  3921362 |     1048   8740 |        0 |        0
935.59/936.09	c  936s |      24 |  4332881 |  3928362 |     1048   8752 |        0 |        0
937.69/938.11	c  938s |      24 |  4340469 |  3935362 |     1048   8764 |        0 |        0
939.69/940.12	c  940s |      24 |  4348653 |  3942862 |     1048   8777 |        0 |        0
941.69/942.13	c  942s |      24 |  4356108 |  3949662 |     1048   8789 |        0 |        0
943.69/944.15	c  944s |      24 |  4364086 |  3956962 |     1048   8802 |        0 |        0
945.70/946.16	c  946s |      24 |  4371359 |  3963762 |     1048   8813 |        0 |        0
947.69/948.18	c  948s |      24 |  4378796 |  3970562 |     1048   8825 |        0 |        0
949.79/950.21	c  950s |      24 |  4385982 |  3977162 |     1048   8837 |        0 |        0
951.79/952.22	c  952s |      24 |  4393190 |  3983762 |     1048   8848 |        0 |        0
953.79/954.23	c  954s |      24 |  4400339 |  3990262 |     1048   8860 |        0 |        0
955.79/956.24	c  956s |      24 |  4407510 |  3996762 |     1048   8871 |        0 |        0
957.80/958.26	c  958s |      24 |  4414591 |  4003262 |     1048   8882 |        0 |        0
959.79/960.28	c  960s |      24 |  4422802 |  4010462 |     1048   8895 |        0 |        0
961.79/962.28	c  962s |      24 |  4429927 |  4016962 |     1048   8906 |        0 |        0
963.79/964.29	c  964s |      24 |  4437022 |  4023462 |     1048   8917 |        0 |        0
965.89/966.31	c  966s |      24 |  4444243 |  4030062 |     1048   8929 |        0 |        0
967.89/968.33	c  968s |      24 |  4451275 |  4036362 |     1048   8940 |        0 |        0
969.89/970.34	c  970s |      24 |  4458047 |  4042562 |     1048   8951 |        0 |        0
971.89/972.35	c  972s |      24 |  4466188 |  4049962 |     1048   8964 |        0 |        0
973.89/974.35	c  974s |      24 |  4474190 |  4057362 |     1048   8976 |        0 |        0
975.88/976.38	c  976s |      24 |  4482384 |  4064862 |     1048   8990 |        0 |        0
977.98/978.41	c  978s |      24 |  4489629 |  4071562 |     1048   9001 |        0 |        0
979.98/980.41	c  980s |      24 |  4497489 |  4078762 |     1048   9014 |        0 |        0
981.99/982.42	c  982s |      24 |  4505496 |  4085962 |     1048   9026 |        0 |        0
983.98/984.44	c  984s |      24 |  4513319 |  4093162 |     1048   9039 |        0 |        0
985.98/986.46	c  986s |      24 |  4520866 |  4100062 |     1048   9051 |        0 |        0
987.98/988.46	c  988s |      24 |  4527944 |  4106662 |     1048   9062 |        0 |        0
989.98/990.46	c  990s |      24 |  4535676 |  4113762 |     1048   9075 |        0 |        0
991.99/992.47	c  992s |      24 |  4543635 |  4121062 |     1048   9087 |        0 |        0
994.00/994.47	c  994s |      24 |  4551702 |  4128362 |     1048   9100 |        0 |        0
995.99/996.49	c  996s |      24 |  4558945 |  4134962 |     1048   9112 |        0 |        0
998.09/998.50	c  998s |      24 |  4566500 |  4141862 |     1048   9124 |        0 |        0
1000.09/1000.51	c 1000s |      24 |  4573918 |  4148662 |     1048   9135 |        0 |        0
1002.09/1002.53	c 1002s |      24 |  4581537 |  4155662 |     1048   9148 |        0 |        0
1004.09/1004.55	c 1004s |      24 |  4588814 |  4162462 |     1048   9159 |        0 |        0
1006.09/1006.58	c 1006s |      24 |  4596432 |  4169362 |     1048   9172 |        0 |        0
1008.09/1008.59	c 1008s |      24 |  4604461 |  4176562 |     1048   9184 |        0 |        0
1010.19/1010.62	c 1010s |      24 |  4612310 |  4183762 |     1048   9197 |        0 |        0
1012.19/1012.64	c 1012s |      24 |  4619678 |  4190462 |     1048   9208 |        0 |        0
1014.19/1014.66	c 1014s |      24 |  4627328 |  4197362 |     1048   9220 |        0 |        0
1016.19/1016.68	c 1016s |      24 |  4635083 |  4204362 |     1048   9232 |        0 |        0
1018.19/1018.69	c 1018s |      24 |  4642364 |  4211062 |     1048   9244 |        0 |        0
1020.18/1020.69	c 1020s |      24 |  4649411 |  4217562 |     1048   9255 |        0 |        0
1022.28/1022.70	c 1022s |      24 |  4656752 |  4224262 |     1048   9267 |        0 |        0
1024.28/1024.72	c 1024s |      24 |  4664501 |  4231362 |     1048   9279 |        0 |        0
1026.28/1026.75	c 1026s |      24 |  4672029 |  4238262 |     1048   9291 |        0 |        0
1028.28/1028.78	c 1028s |      24 |  4678895 |  4244562 |     1048   9302 |        0 |        0
1030.29/1030.80	c 1030s |      24 |  4686488 |  4251562 |     1048   9314 |        0 |        0
1032.38/1032.82	c 1032s |      24 |  4693487 |  4258062 |     1048   9326 |        0 |        0
1034.38/1034.82	c 1034s |      24 |  4700846 |  4264862 |     1048   9337 |        0 |        0
1036.38/1036.85	c 1036s |      24 |  4708292 |  4271662 |     1048   9349 |        0 |        0
1038.38/1038.87	c 1038s |      24 |  4716340 |  4278962 |     1048   9362 |        0 |        0
1040.38/1040.89	c 1040s |      24 |  4724134 |  4285962 |     1048   9374 |        0 |        0
1042.39/1042.90	c 1042s |      24 |  4731765 |  4292862 |     1048   9386 |        0 |        0
1044.48/1044.90	c 1044s |      24 |  4739082 |  4299562 |     1048   9398 |        0 |        0
1046.48/1046.91	c 1046s |      24 |  4746227 |  4306062 |     1048   9409 |        0 |        0
1048.48/1048.93	c 1048s |      24 |  4753184 |  4312362 |     1048   9420 |        0 |        0
1050.48/1050.95	c 1050s |      24 |  4759506 |  4318262 |     1048   9430 |        0 |        0
1052.48/1052.96	c 1052s |      24 |  4767210 |  4325362 |     1048   9443 |        0 |        0
1054.48/1054.98	c 1054s |      24 |  4774239 |  4331862 |     1048   9454 |        0 |        0
1056.47/1056.99	c 1056s |      24 |  4781069 |  4338262 |     1048   9465 |        0 |        0
1058.57/1059.01	c 1058s |      24 |  4788434 |  4344962 |     1048   9477 |        0 |        0
1060.57/1061.03	c 1061s |      24 |  4795660 |  4351662 |     1048   9488 |        0 |        0
1062.57/1063.05	c 1063s |      24 |  4803060 |  4358462 |     1048   9500 |        0 |        0
1064.57/1065.05	c 1065s |      24 |  4810499 |  4365262 |     1048   9512 |        0 |        0
1066.58/1067.06	c 1067s |      24 |  4818478 |  4372462 |     1048   9525 |        0 |        0
1068.57/1069.07	c 1069s |      24 |  4826528 |  4379862 |     1048   9537 |        0 |        0
1070.57/1071.08	c 1071s |      24 |  4834005 |  4386662 |     1048   9549 |        0 |        0
1072.57/1073.09	c 1073s |      24 |  4840769 |  4392962 |     1048   9560 |        0 |        0
1074.67/1075.10	c 1075s |      24 |  4847837 |  4399562 |     1048   9572 |        0 |        0
1076.67/1077.12	c 1077s |      24 |  4855137 |  4406262 |     1048   9583 |        0 |        0
1078.68/1079.14	c 1079s |      24 |  4862181 |  4412762 |     1048   9595 |        0 |        0
1080.67/1081.16	c 1081s |      24 |  4868842 |  4418962 |     1048   9606 |        0 |        0
1082.67/1083.19	c 1083s |      24 |  4874932 |  4424662 |     1048   9615 |        0 |        0
1084.77/1085.22	c 1085s |      24 |  4881177 |  4430462 |     1048   9626 |        0 |        0
1086.77/1087.23	c 1087s |      24 |  4887524 |  4436262 |     1048   9636 |        0 |        0
1088.77/1089.25	c 1089s |      24 |  4895299 |  4443362 |     1048   9648 |        0 |        0
1090.78/1091.28	c 1091s |      24 |  4902288 |  4449862 |     1048   9659 |        0 |        0
1092.77/1093.29	c 1093s |      24 |  4909384 |  4456362 |     1048   9671 |        0 |        0
1094.87/1095.31	c 1095s |      24 |  4916874 |  4463262 |     1048   9683 |        0 |        0
1096.87/1097.34	c 1097s |      24 |  4923978 |  4469862 |     1048   9694 |        0 |        0
1098.87/1099.36	c 1099s |      24 |  4930881 |  4476262 |     1048   9705 |        0 |        0
1100.87/1101.38	c 1101s |      24 |  4937337 |  4482162 |     1048   9715 |        0 |        0
1102.87/1103.39	c 1103s |      24 |  4944528 |  4488862 |     1048   9727 |        0 |        0
1104.97/1105.41	c 1105s |      24 |  4952123 |  4495862 |     1048   9739 |        0 |        0
1106.96/1107.42	c 1107s |      24 |  4959009 |  4502262 |     1048   9750 |        0 |        0
1108.97/1109.45	c 1109s |      24 |  4965903 |  4508662 |     1048   9762 |        0 |        0
1110.97/1111.48	c 1111s |      24 |  4972435 |  4514762 |     1048   9772 |        0 |        0
1113.07/1113.51	c 1113s |      24 |  4979470 |  4521262 |     1048   9783 |        0 |        0
1115.08/1115.54	c 1115s |      24 |  4987204 |  4528262 |     1048   9796 |        0 |        0
1117.07/1117.56	c 1117s |      24 |  4994334 |  4534762 |     1048   9807 |        0 |        0
1119.07/1119.58	c 1119s |      24 |  5000743 |  4540662 |     1048   9817 |        0 |        0
1121.17/1121.62	c 1121s |      24 |  5007643 |  4546962 |     1048   9828 |        0 |        0
1123.17/1123.63	c 1123s |      24 |  5014010 |  4552862 |     1048   9839 |        0 |        0
1125.17/1125.63	c 1125s |      24 |  5021821 |  4559862 |     1048   9851 |        0 |        0
1127.17/1127.66	c 1127s |      24 |  5029300 |  4566762 |     1048   9863 |        0 |        0
1129.17/1129.67	c 1129s |      24 |  5036594 |  4573462 |     1048   9874 |        0 |        0
1131.17/1131.68	c 1131s |      24 |  5044605 |  4580762 |     1048   9887 |        0 |        0
1133.27/1133.70	c 1133s |      24 |  5052393 |  4587862 |     1048   9899 |        0 |        0
1135.27/1135.71	c 1135s |      24 |  5059563 |  4594462 |     1048   9911 |        0 |        0
1137.27/1137.73	c 1137s |      24 |  5067141 |  4601462 |     1048   9923 |        0 |        0
1139.27/1139.75	c 1139s |      24 |  5074451 |  4608262 |     1048   9935 |        0 |        0
1141.26/1141.77	c 1141s |      24 |  5081859 |  4615162 |     1048   9947 |        0 |        0
1143.26/1143.79	c 1143s |      24 |  5088994 |  4621862 |     1048   9959 |        0 |        0
1145.36/1145.81	c 1145s |      24 |  5096186 |  4628562 |     1048   9971 |        0 |        0
1147.36/1147.82	c 1147s |      24 |  5103570 |  4635362 |     1048   9982 |        0 |        0
1149.36/1149.84	c 1149s |      24 |  5110481 |  4641862 |     1048   9994 |        0 |        0
1151.37/1151.87	c 1151s |      24 |  5116989 |  4647962 |     1048  10005 |        0 |        0
1153.36/1153.90	c 1153s |      24 |  5123637 |  4654162 |     1048  10015 |        0 |        0
1155.46/1155.92	c 1155s |      24 |  5130222 |  4660362 |     1048  10026 |        0 |        0
1157.46/1157.93	c 1157s |      24 |  5136520 |  4666262 |     1048  10036 |        0 |        0
1159.46/1159.94	c 1159s |      24 |  5142715 |  4672062 |     1048  10047 |        0 |        0
1161.46/1161.96	c 1161s |      24 |  5148891 |  4677862 |     1048  10057 |        0 |        0
1163.47/1163.99	c 1163s |      24 |  5156173 |  4684462 |     1048  10068 |        0 |        0
1165.46/1165.99	c 1165s |      24 |  5163616 |  4691262 |     1048  10080 |        0 |        0
1167.56/1168.01	c 1167s |      24 |  5171296 |  4698162 |     1048  10092 |        0 |        0
1169.56/1170.02	c 1170s |      24 |  5178014 |  4704362 |     1048  10103 |        0 |        0
1171.56/1172.05	c 1172s |      24 |  5185048 |  4710762 |     1048  10114 |        0 |        0
1173.56/1174.08	c 1174s |      24 |  5191808 |  4717062 |     1048  10125 |        0 |        0
1175.56/1176.10	c 1176s |      24 |  5198640 |  4723262 |     1048  10136 |        0 |        0
1177.56/1178.10	c 1178s |      24 |  5204919 |  4729062 |     1048  10146 |        0 |        0
1179.66/1180.11	c 1180s |      24 |  5211488 |  4735062 |     1048  10156 |        0 |        0
1181.66/1182.13	c 1182s |      24 |  5218306 |  4741262 |     1048  10167 |        0 |        0
1183.66/1184.15	c 1184s |      24 |  5224834 |  4747262 |     1048  10177 |        0 |        0
1185.65/1186.16	c 1186s |      24 |  5232991 |  4754862 |     1048  10191 |        0 |        0
1187.66/1188.19	c 1188s |      24 |  5241540 |  4762662 |     1048  10204 |        0 |        0
1189.65/1190.19	c 1190s |      24 |  5249519 |  4770062 |     1048  10217 |        0 |        0
1191.75/1192.20	c 1192s |      24 |  5257158 |  4777162 |     1048  10229 |        0 |        0
1193.75/1194.22	c 1194s |      24 |  5264990 |  4784462 |     1048  10242 |        0 |        0
1195.75/1196.25	c 1196s |      24 |  5272439 |  4791362 |     1048  10254 |        0 |        0
1197.75/1198.27	c 1198s |      24 |  5280503 |  4798762 |     1048  10267 |        0 |        0
1199.76/1200.29	c 1200s |      24 |  5288470 |  4806162 |     1048  10280 |        0 |        0
1201.86/1202.32	c 1202s |      24 |  5296513 |  4813562 |     1048  10293 |        0 |        0
1203.85/1204.33	c 1204s |      24 |  5304390 |  4820762 |     1048  10305 |        0 |        0
1205.85/1206.36	c 1206s |      24 |  5312352 |  4828062 |     1048  10318 |        0 |        0
1207.85/1208.38	c 1208s |      24 |  5320059 |  4835162 |     1048  10330 |        0 |        0
1209.85/1210.38	c 1210s |      24 |  5328141 |  4842662 |     1048  10343 |        0 |        0
1211.86/1212.39	c 1212s |      24 |  5336627 |  4850362 |     1048  10357 |        0 |        0
1213.85/1214.40	c 1214s |      24 |  5344244 |  4857462 |     1048  10369 |        0 |        0
1215.95/1216.42	c 1216s |      24 |  5352393 |  4864862 |     1048  10382 |        0 |        0
1217.95/1218.43	c 1218s |      24 |  5360487 |  4872262 |     1048  10395 |        0 |        0
1219.95/1220.44	c 1220s |      24 |  5367653 |  4878862 |     1048  10406 |        0 |        0
1221.95/1222.46	c 1222s |      24 |  5374762 |  4885462 |     1048  10418 |        0 |        0
1223.96/1224.47	c 1224s |      24 |  5382013 |  4892062 |     1048  10429 |        0 |        0
1225.95/1226.48	c 1226s |      24 |  5389812 |  4898962 |     1048  10442 |        0 |        0
1228.05/1228.50	c 1228s |      24 |  5397118 |  4905562 |     1048  10453 |        0 |        0
1230.05/1230.50	c 1230s |      24 |  5404329 |  4912362 |     1048  10465 |        0 |        0
1232.05/1232.52	c 1232s |      24 |  5411413 |  4918862 |     1048  10476 |        0 |        0
1234.05/1234.56	c 1234s |      24 |  5418309 |  4925062 |     1048  10487 |        0 |        0
1236.05/1236.57	c 1236s |      24 |  5424237 |  4930562 |     1048  10497 |        0 |        0
1238.05/1238.58	c 1238s |      24 |  5431717 |  4937362 |     1048  10509 |        0 |        0
1240.15/1240.60	c 1240s |      24 |  5438261 |  4943562 |     1048  10519 |        0 |        0
1242.15/1242.60	c 1242s |      24 |  5445409 |  4950062 |     1048  10531 |        0 |        0
1244.14/1244.62	c 1244s |      24 |  5453347 |  4957162 |     1048  10543 |        0 |        0
1246.14/1246.63	c 1246s |      24 |  5460857 |  4963962 |     1048  10555 |        0 |        0
1248.15/1248.66	c 1248s |      24 |  5468021 |  4970562 |     1048  10566 |        0 |        0
1250.14/1250.69	c 1250s |      24 |  5475165 |  4977062 |     1048  10578 |        0 |        0
1252.24/1252.71	c 1252s |      24 |  5482238 |  4983462 |     1048  10589 |        0 |        0
1254.25/1254.71	c 1254s |      24 |  5490466 |  4990862 |     1048  10602 |        0 |        0
1256.25/1256.73	c 1256s |      24 |  5498556 |  4998062 |     1048  10614 |        0 |        0
1258.25/1258.75	c 1258s |      24 |  5506038 |  5004762 |     1048  10626 |        0 |        0
1260.26/1260.77	c 1260s |      24 |  5512899 |  5011062 |     1048  10637 |        0 |        0
1262.25/1262.78	c 1262s |      24 |  5519465 |  5017162 |     1048  10648 |        0 |        0
1264.35/1264.80	c 1264s |      24 |  5525547 |  5022862 |     1048  10657 |        0 |        0
1266.35/1266.81	c 1266s |      24 |  5531773 |  5028662 |     1048  10668 |        0 |        0
1268.35/1268.82	c 1268s |      24 |  5537622 |  5034062 |     1153  10676 |        0 |        0
1270.35/1270.84	c 1270s |      24 |  5545791 |  5041462 |     1153  10688 |        0 |        0
1272.35/1272.85	c 1272s |      24 |  5554099 |  5048962 |     1153  10700 |        0 |        0
1274.35/1274.86	c 1274s |      24 |  5562896 |  5056662 |     1153  10712 |        0 |        0
1276.35/1276.89	c 1276s |      24 |  5570636 |  5063762 |     1153  10723 |        0 |        0
1276.75/1277.29	c 1277s |      25 |  5572051 |  5065098 |     1153  10726 |        0 |        0
1278.85/1279.32	c 1279s |      25 |  5580858 |  5073198 |     1153  10739 |        0 |        0
1280.85/1281.32	c 1281s |      25 |  5590046 |  5081498 |     1153  10752 |        0 |        0
1282.84/1283.35	c 1283s |      25 |  5599778 |  5089998 |     1153  10765 |        0 |        0
1284.84/1285.37	c 1285s |      25 |  5608692 |  5098098 |     1153  10778 |        0 |        0
1286.94/1287.40	c 1287s |      25 |  5617012 |  5105598 |     1153  10790 |        0 |        0
1288.94/1289.43	c 1289s |      25 |  5624793 |  5112698 |     1153  10802 |        0 |        0
1290.95/1291.45	c 1291s |      25 |  5632253 |  5119498 |     1153  10813 |        0 |        0
1292.94/1293.46	c 1293s |      25 |  5639461 |  5126098 |     1153  10824 |        0 |        0
1294.94/1295.47	c 1295s |      25 |  5646173 |  5132298 |     1153  10834 |        0 |        0
1296.94/1297.48	c 1297s |      25 |  5654175 |  5139498 |     1153  10845 |        0 |        0
1298.94/1299.49	c 1299s |      25 |  5661433 |  5146198 |     1153  10856 |        0 |        0
1301.04/1301.50	c 1301s |      25 |  5668563 |  5152598 |     1153  10866 |        0 |        0
1303.05/1303.51	c 1303s |      25 |  5676124 |  5159498 |     1153  10877 |        0 |        0
1305.04/1305.53	c 1305s |      25 |  5684644 |  5167198 |     1153  10890 |        0 |        0
1307.04/1307.54	c 1307s |      25 |  5692948 |  5174698 |     1153  10902 |        0 |        0
1309.04/1309.57	c 1309s |      25 |  5700662 |  5181698 |     1153  10913 |        0 |        0
1311.04/1311.57	c 1311s |      25 |  5708641 |  5188798 |     1153  10924 |        0 |        0
1313.04/1313.57	c 1313s |      25 |  5716470 |  5195898 |     1153  10936 |        0 |        0
1315.04/1315.59	c 1315s |      25 |  5724022 |  5202798 |     1153  10947 |        0 |        0
1317.14/1317.61	c 1317s |      25 |  5731729 |  5209698 |     1153  10958 |        0 |        0
1319.14/1319.61	c 1319s |      25 |  5738667 |  5215998 |     1153  10968 |        0 |        0
1321.14/1321.62	c 1321s |      25 |  5746120 |  5222798 |     1153  10979 |        0 |        0
1323.13/1323.65	c 1323s |      25 |  5753599 |  5229598 |     1153  10990 |        0 |        0
1325.14/1325.66	c 1325s |      25 |  5760355 |  5235898 |     1153  11000 |        0 |        0
1327.13/1327.66	c 1327s |      25 |  5766886 |  5241898 |     1153  11009 |        0 |        0
1329.13/1329.67	c 1329s |      25 |  5774098 |  5248498 |     1153  11020 |        0 |        0
1331.13/1331.68	c 1331s |      25 |  5782386 |  5255998 |     1153  11032 |        0 |        0
1333.13/1333.69	c 1333s |      25 |  5790037 |  5262898 |     1153  11043 |        0 |        0
1335.13/1335.69	c 1335s |      25 |  5797864 |  5269998 |     1153  11054 |        0 |        0
1337.24/1337.72	c 1337s |      25 |  5805214 |  5276598 |     1153  11065 |        0 |        0
1339.23/1339.74	c 1339s |      25 |  5812344 |  5282998 |     1153  11075 |        0 |        0
1341.23/1341.74	c 1341s |      25 |  5819864 |  5289698 |     1153  11086 |        0 |        0
1343.23/1343.74	c 1343s |      25 |  5826912 |  5295998 |     1153  11096 |        0 |        0
1345.23/1345.76	c 1345s |      25 |  5834701 |  5302798 |     1153  11107 |        0 |        0
1347.23/1347.77	c 1347s |      25 |  5842343 |  5309598 |     1153  11118 |        0 |        0
1349.23/1349.78	c 1349s |      25 |  5849021 |  5315698 |     1153  11127 |        0 |        0
1351.23/1351.79	c 1351s |      25 |  5856964 |  5322998 |     1153  11139 |        0 |        0
1353.33/1353.83	c 1353s |      25 |  5864766 |  5330098 |     1153  11150 |        0 |        0
1355.33/1355.84	c 1355s |      25 |  5872296 |  5336898 |     1153  11161 |        0 |        0
1357.33/1357.85	c 1357s |      25 |  5879318 |  5343398 |     1153  11172 |        0 |        0
1359.33/1359.87	c 1359s |      25 |  5887179 |  5350598 |     1153  11183 |        0 |        0
1361.33/1361.88	c 1361s |      25 |  5894605 |  5357398 |     1153  11194 |        0 |        0
1363.43/1363.90	c 1363s |      25 |  5902165 |  5364398 |     1153  11205 |        0 |        0
1365.43/1365.90	c 1365s |      25 |  5909047 |  5370798 |     1153  11215 |        0 |        0
1367.43/1367.92	c 1367s |      25 |  5916729 |  5377798 |     1153  11226 |        0 |        0
1369.43/1369.95	c 1369s |      25 |  5924426 |  5384798 |     1153  11238 |        0 |        0
1371.43/1371.97	c 1371s |      25 |  5931555 |  5391398 |     1153  11248 |        0 |        0
1373.44/1373.99	c 1373s |      25 |  5937998 |  5397398 |     1153  11258 |        0 |        0
1375.43/1375.99	c 1375s |      25 |  5944963 |  5403798 |     1153  11268 |        0 |        0
1377.53/1378.01	c 1378s |      25 |  5952800 |  5410898 |     1153  11279 |        0 |        0
1379.53/1380.05	c 1380s |      25 |  5960458 |  5417898 |     1153  11291 |        0 |        0
1381.53/1382.06	c 1382s |      25 |  5967957 |  5424698 |     1153  11301 |        0 |        0
1383.53/1384.09	c 1384s |      25 |  5975632 |  5431598 |     1153  11312 |        0 |        0
1385.64/1386.11	c 1386s |      25 |  5983562 |  5438698 |     1153  11324 |        0 |        0
1387.63/1388.13	c 1388s |      25 |  5991673 |  5446098 |     1153  11336 |        0 |        0
1389.63/1390.14	c 1390s |      25 |  5999183 |  5452898 |     1153  11347 |        0 |        0
1391.63/1392.15	c 1392s |      25 |  6005788 |  5458998 |     1153  11356 |        0 |        0
1393.63/1394.15	c 1394s |      25 |  6013005 |  5465698 |     1153  11367 |        0 |        0
1395.63/1396.16	c 1396s |      25 |  6020542 |  5472698 |     1153  11378 |        0 |        0
1397.63/1398.17	c 1398s |      25 |  6027519 |  5479198 |     1153  11389 |        0 |        0
1399.63/1400.18	c 1400s |      25 |  6034467 |  5485698 |     1153  11399 |        0 |        0
1401.73/1402.20	c 1402s |      25 |  6041214 |  5491998 |     1153  11409 |        0 |        0
1403.73/1404.21	c 1404s |      25 |  6048896 |  5498998 |     1153  11420 |        0 |        0
1405.72/1406.22	c 1406s |      25 |  6056975 |  5506298 |     1153  11432 |        0 |        0
1407.72/1408.22	c 1408s |      25 |  6065083 |  5513598 |     1153  11444 |        0 |        0
1409.73/1410.23	c 1410s |      25 |  6073567 |  5521198 |     1153  11456 |        0 |        0
1411.72/1412.25	c 1412s |      25 |  6082103 |  5528798 |     1153  11468 |        0 |        0
1413.72/1414.25	c 1414s |      25 |  6090539 |  5536498 |     1153  11480 |        0 |        0
1415.72/1416.27	c 1416s |      25 |  6098879 |  5543998 |     1153  11492 |        0 |        0
1417.72/1418.28	c 1418s |      25 |  6107119 |  5551498 |     1153  11504 |        0 |        0
1419.82/1420.30	c 1420s |      25 |  6114802 |  5558498 |     1153  11515 |        0 |        0
1421.72/1422.30	c 1422s |      25 |  6122212 |  5565298 |     1153  11526 |        0 |        0
1423.82/1424.31	c 1424s |      25 |  6130145 |  5572598 |     1153  11538 |        0 |        0
1425.82/1426.31	c 1426s |      25 |  6138434 |  5580198 |     1153  11550 |        0 |        0
1427.82/1428.33	c 1428s |      25 |  6146604 |  5587698 |     1153  11562 |        0 |        0
1429.82/1430.35	c 1430s |      25 |  6154178 |  5594798 |     1153  11573 |        0 |        0
1431.82/1432.37	c 1432s |      25 |  6161761 |  5601898 |     1153  11585 |        0 |        0
1433.82/1434.37	c 1434s |      25 |  6169253 |  5608898 |     1153  11596 |        0 |        0
1435.82/1436.37	c 1436s |      25 |  6176427 |  5615598 |     1153  11607 |        0 |        0
1437.92/1438.40	c 1438s |      25 |  6183671 |  5622298 |     1153  11617 |        0 |        0
1439.92/1440.42	c 1440s |      25 |  6190945 |  5629098 |     1153  11628 |        0 |        0
1441.92/1442.44	c 1442s |      25 |  6197617 |  5635298 |     1153  11638 |        0 |        0
1443.92/1444.45	c 1444s |      25 |  6204779 |  5641898 |     1153  11648 |        0 |        0
1445.91/1446.46	c 1446s |      25 |  6212535 |  5649098 |     1153  11660 |        0 |        0
1447.91/1448.49	c 1448s |      25 |  6220094 |  5656098 |     1153  11671 |        0 |        0
1449.91/1450.49	c 1450s |      25 |  6227610 |  5662998 |     1153  11682 |        0 |        0
1452.01/1452.50	c 1452s |      25 |  6235620 |  5670198 |     1153  11694 |        0 |        0
1454.01/1454.50	c 1454s |      25 |  6243345 |  5677198 |     1153  11705 |        0 |        0
1456.02/1456.52	c 1456s |      25 |  6250950 |  5684098 |     1153  11716 |        0 |        0
1458.02/1458.53	c 1458s |      25 |  6257850 |  5690498 |     1153  11726 |        0 |        0
1460.02/1460.55	c 1460s |      25 |  6265060 |  5697198 |     1153  11737 |        0 |        0
1462.02/1462.55	c 1462s |      25 |  6271548 |  5703198 |     1153  11746 |        0 |        0
1464.02/1464.57	c 1464s |      25 |  6278715 |  5709898 |     1153  11757 |        0 |        0
1466.02/1466.57	c 1466s |      25 |  6286089 |  5716698 |     1153  11768 |        0 |        0
1468.12/1468.61	c 1468s |      25 |  6293336 |  5723398 |     1153  11779 |        0 |        0
1470.12/1470.64	c 1470s |      25 |  6299847 |  5729498 |     1153  11788 |        0 |        0
1472.12/1472.66	c 1472s |      25 |  6306615 |  5735698 |     1153  11798 |        0 |        0
1474.12/1474.67	c 1474s |      25 |  6313229 |  5741898 |     1153  11808 |        0 |        0
1476.11/1476.69	c 1476s |      25 |  6320214 |  5748498 |     1153  11818 |        0 |        0
1478.21/1478.72	c 1478s |      25 |  6326853 |  5754698 |     1153  11828 |        0 |        0
1480.22/1480.73	c 1480s |      25 |  6333908 |  5761198 |     1153  11839 |        0 |        0
1482.21/1482.75	c 1482s |      25 |  6341878 |  5768598 |     1153  11850 |        0 |        0
1484.21/1484.76	c 1484s |      25 |  6349536 |  5775798 |     1153  11862 |        0 |        0
1486.21/1486.77	c 1486s |      25 |  6357261 |  5782998 |     1153  11873 |        0 |        0
1488.21/1488.77	c 1488s |      25 |  6364729 |  5789998 |     1153  11884 |        0 |        0
1490.21/1490.79	c 1490s |      25 |  6372438 |  5797098 |     1153  11896 |        0 |        0
1492.32/1492.81	c 1492s |      25 |  6380432 |  5804398 |     1153  11907 |        0 |        0
1494.31/1494.83	c 1494s |      25 |  6388242 |  5811598 |     1153  11919 |        0 |        0
1496.31/1496.83	c 1496s |      25 |  6395767 |  5818498 |     1153  11930 |        0 |        0
1498.31/1498.85	c 1498s |      25 |  6403327 |  5825398 |     1153  11941 |        0 |        0
1500.31/1500.88	c 1500s |      25 |  6410789 |  5832298 |     1153  11952 |        0 |        0
1502.31/1502.88	c 1502s |      25 |  6417378 |  5838398 |     1153  11962 |        0 |        0
1504.31/1504.89	c 1504s |      25 |  6424691 |  5845198 |     1153  11973 |        0 |        0
1506.41/1506.91	c 1506s |      25 |  6432346 |  5852298 |     1153  11984 |        0 |        0
1508.41/1508.93	c 1508s |      25 |  6439373 |  5858798 |     1153  11994 |        0 |        0
1510.41/1510.94	c 1510s |      25 |  6446579 |  5865398 |     1153  12005 |        0 |        0
1512.41/1512.94	c 1512s |      25 |  6453671 |  5871898 |     1153  12015 |        0 |        0
1514.40/1514.95	c 1514s |      25 |  6460890 |  5878398 |     1153  12026 |        0 |        0
1516.41/1516.96	c 1516s |      25 |  6468278 |  5884998 |     1153  12036 |        0 |        0
1518.40/1518.97	c 1518s |      25 |  6475915 |  5891798 |     1153  12047 |        0 |        0
1520.40/1520.99	c 1520s |      25 |  6482708 |  5898098 |     1153  12057 |        0 |        0
1522.41/1522.99	c 1522s |      25 |  6490039 |  5904798 |     1153  12068 |        0 |        0
1524.51/1525.02	c 1525s |      25 |  6497056 |  5911298 |     1153  12078 |        0 |        0
1526.51/1527.03	c 1527s |      25 |  6504137 |  5917898 |     1153  12089 |        0 |        0
1528.52/1529.05	c 1529s |      25 |  6510987 |  5924198 |     1153  12099 |        0 |        0
1530.51/1531.06	c 1531s |      25 |  6517558 |  5930198 |     1153  12109 |        0 |        0
1532.51/1533.06	c 1533s |      25 |  6524387 |  5936398 |     1153  12119 |        0 |        0
1534.51/1535.07	c 1535s |      25 |  6531563 |  5942998 |     1153  12129 |        0 |        0
1536.61/1537.10	c 1537s |      25 |  6538520 |  5949398 |     1153  12139 |        0 |        0
1538.61/1539.10	c 1539s |      25 |  6545158 |  5955398 |     1153  12149 |        0 |        0
1540.61/1541.12	c 1541s |      25 |  6551779 |  5961598 |     1153  12159 |        0 |        0
1542.61/1543.12	c 1543s |      25 |  6558896 |  5968198 |     1153  12169 |        0 |        0
1544.60/1545.15	c 1545s |      25 |  6565363 |  5974198 |     1153  12179 |        0 |        0
1546.60/1547.17	c 1547s |      25 |  6571830 |  5980198 |     1153  12189 |        0 |        0
1548.70/1549.20	c 1549s |      25 |  6578109 |  5986098 |     1153  12198 |        0 |        0
1550.70/1551.22	c 1551s |      25 |  6585803 |  5993198 |     1153  12209 |        0 |        0
1552.71/1553.23	c 1553s |      25 |  6593461 |  6000198 |     1153  12220 |        0 |        0
1554.70/1555.26	c 1555s |      25 |  6600997 |  6007098 |     1153  12231 |        0 |        0
1556.70/1557.27	c 1557s |      25 |  6608969 |  6014198 |     1153  12243 |        0 |        0
1558.70/1559.28	c 1559s |      25 |  6615792 |  6020398 |     1153  12253 |        0 |        0
1560.70/1561.29	c 1561s |      25 |  6622059 |  6026198 |     1153  12262 |        0 |        0
1562.71/1563.29	c 1563s |      25 |  6629440 |  6032998 |     1153  12273 |        0 |        0
1564.70/1565.30	c 1565s |      25 |  6637157 |  6040098 |     1153  12284 |        0 |        0
1566.80/1567.32	c 1567s |      25 |  6645320 |  6047598 |     1153  12296 |        0 |        0
1568.80/1569.34	c 1569s |      25 |  6652922 |  6054598 |     1153  12307 |        0 |        0
1570.80/1571.36	c 1571s |      25 |  6660914 |  6061798 |     1153  12319 |        0 |        0
1572.79/1573.38	c 1573s |      25 |  6668578 |  6068798 |     1153  12330 |        0 |        0
1574.80/1575.39	c 1575s |      25 |  6675667 |  6075298 |     1153  12341 |        0 |        0
1576.90/1577.40	c 1577s |      25 |  6682551 |  6081598 |     1153  12351 |        0 |        0
1578.90/1579.41	c 1579s |      25 |  6689709 |  6088298 |     1153  12361 |        0 |        0
1580.90/1581.44	c 1581s |      25 |  6696705 |  6094798 |     1153  12372 |        0 |        0
1582.90/1583.47	c 1583s |      25 |  6704125 |  6101698 |     1153  12383 |        0 |        0
1584.90/1585.47	c 1585s |      25 |  6711871 |  6108898 |     1153  12394 |        0 |        0
1587.00/1587.50	c 1587s |      25 |  6719119 |  6115698 |     1153  12405 |        0 |        0
1589.01/1589.53	c 1589s |      25 |  6726130 |  6122198 |     1153  12415 |        0 |        0
1591.00/1591.54	c 1591s |      25 |  6732730 |  6128298 |     1153  12425 |        0 |        0
1593.00/1593.55	c 1593s |      25 |  6739618 |  6134598 |     1153  12435 |        0 |        0
1595.00/1595.57	c 1595s |      25 |  6747050 |  6141398 |     1153  12446 |        0 |        0
1597.00/1597.57	c 1597s |      25 |  6754105 |  6147798 |     1153  12456 |        0 |        0
1599.10/1599.60	c 1599s |      25 |  6761595 |  6154598 |     1153  12467 |        0 |        0
1601.00/1601.60	c 1601s |      25 |  6768484 |  6160898 |     1153  12477 |        0 |        0
1603.10/1603.62	c 1603s |      25 |  6775653 |  6167498 |     1153  12488 |        0 |        0
1605.09/1605.63	c 1605s |      25 |  6782772 |  6174098 |     1153  12498 |        0 |        0
1607.09/1607.66	c 1607s |      25 |  6789362 |  6180098 |     1153  12508 |        0 |        0
1609.09/1609.67	c 1609s |      25 |  6796402 |  6186598 |     1153  12518 |        0 |        0
1611.10/1611.68	c 1611s |      25 |  6803457 |  6193098 |     1153  12529 |        0 |        0
1613.09/1613.70	c 1613s |      25 |  6810119 |  6199298 |     1153  12538 |        0 |        0
1615.19/1615.72	c 1615s |      25 |  6817205 |  6205798 |     1153  12549 |        0 |        0
1617.19/1617.72	c 1617s |      25 |  6825581 |  6213398 |     1153  12561 |        0 |        0
1619.19/1619.73	c 1619s |      25 |  6833537 |  6220698 |     1153  12573 |        0 |        0
1621.19/1621.73	c 1621s |      25 |  6841308 |  6227798 |     1153  12584 |        0 |        0
1623.20/1623.73	c 1623s |      25 |  6848399 |  6234398 |     1153  12595 |        0 |        0
1625.19/1625.73	c 1625s |      25 |  6855913 |  6241398 |     1153  12606 |        0 |        0
1627.19/1627.78	c 1627s |      25 |  6863155 |  6248098 |     1153  12617 |        0 |        0
1629.29/1629.80	c 1629s |      25 |  6870938 |  6255198 |     1153  12628 |        0 |        0
1631.29/1631.81	c 1631s |      25 |  6878918 |  6262498 |     1153  12640 |        0 |        0
1633.29/1633.82	c 1633s |      25 |  6885548 |  6268698 |     1153  12649 |        0 |        0
1635.30/1635.82	c 1635s |      25 |  6891996 |  6274698 |     1153  12659 |        0 |        0
1637.29/1637.85	c 1637s |      25 |  6898570 |  6280798 |     1153  12669 |        0 |        0
1639.29/1639.88	c 1639s |      25 |  6905559 |  6287298 |     1153  12679 |        0 |        0
1641.29/1641.88	c 1641s |      25 |  6911625 |  6292998 |     1153  12688 |        0 |        0
1643.29/1643.89	c 1643s |      25 |  6919041 |  6299798 |     1153  12699 |        0 |        0
1645.29/1645.89	c 1645s |      25 |  6926881 |  6306998 |     1153  12710 |        0 |        0
1647.30/1647.89	c 1647s |      25 |  6933787 |  6313298 |     1153  12721 |        0 |        0
1649.39/1649.90	c 1649s |      25 |  6940490 |  6319498 |     1153  12730 |        0 |        0
1651.39/1651.90	c 1651s |      25 |  6947948 |  6326298 |     1153  12741 |        0 |        0
1653.39/1653.93	c 1653s |      25 |  6954890 |  6332898 |     1153  12752 |        0 |        0
1655.39/1655.95	c 1655s |      25 |  6961790 |  6339398 |     1153  12762 |        0 |        0
1657.39/1657.97	c 1657s |      25 |  6968744 |  6345898 |     1153  12773 |        0 |        0
1659.40/1659.99	c 1659s |      25 |  6975309 |  6351998 |     1153  12782 |        0 |        0
1661.49/1662.01	c 1661s |      25 |  6982137 |  6358398 |     1153  12793 |        0 |        0
1663.49/1664.02	c 1664s |      25 |  6988751 |  6364598 |     1153  12803 |        0 |        0
1665.49/1666.06	c 1666s |      25 |  6995802 |  6370898 |     1153  12813 |        0 |        0
1667.49/1668.07	c 1668s |      25 |  7002954 |  6377398 |     1153  12823 |        0 |        0
1669.59/1670.10	c 1670s |      25 |  7009823 |  6383698 |     1153  12833 |        0 |        0
1671.59/1672.11	c 1672s |      25 |  7016451 |  6389898 |     1153  12843 |        0 |        0
1673.59/1674.13	c 1674s |      25 |  7023465 |  6396398 |     1153  12853 |        0 |        0
1675.59/1676.14	c 1676s |      25 |  7030329 |  6402798 |     1153  12863 |        0 |        0
1677.59/1678.15	c 1678s |      25 |  7037177 |  6409198 |     1153  12874 |        0 |        0
1679.59/1680.16	c 1680s |      25 |  7044988 |  6416398 |     1153  12885 |        0 |        0
1681.59/1682.17	c 1682s |      25 |  7052449 |  6423398 |     1153  12896 |        0 |        0
1683.59/1684.19	c 1684s |      25 |  7059423 |  6429898 |     1153  12907 |        0 |        0
1685.68/1686.21	c 1686s |      25 |  7066620 |  6436598 |     1153  12918 |        0 |        0
1687.68/1688.22	c 1688s |      25 |  7073041 |  6442598 |     1153  12927 |        0 |        0
1689.68/1690.24	c 1690s |      25 |  7079581 |  6448698 |     1153  12937 |        0 |        0
1691.68/1692.26	c 1692s |      25 |  7086010 |  6454698 |     1153  12946 |        0 |        0
1693.68/1694.29	c 1694s |      25 |  7092444 |  6460698 |     1153  12956 |        0 |        0
1695.79/1696.32	c 1696s |      25 |  7099100 |  6466898 |     1153  12966 |        0 |        0
1697.78/1698.34	c 1698s |      25 |  7105620 |  6472998 |     1153  12975 |        0 |        0
1699.78/1700.35	c 1700s |      25 |  7111776 |  6478798 |     1153  12985 |        0 |        0
1701.78/1702.37	c 1702s |      25 |  7119631 |  6486098 |     1153  12996 |        0 |        0
1703.78/1704.39	c 1704s |      25 |  7127131 |  6493098 |     1153  13007 |        0 |        0
1705.88/1706.42	c 1706s |      25 |  7134565 |  6499898 |     1153  13018 |        0 |        0
1707.89/1708.43	c 1708s |      25 |  7142305 |  6506998 |     1153  13029 |        0 |        0
1709.88/1710.44	c 1710s |      25 |  7149800 |  6513898 |     1153  13040 |        0 |        0
1711.88/1712.45	c 1712s |      25 |  7156842 |  6520298 |     1153  13051 |        0 |        0
1713.88/1714.45	c 1714s |      25 |  7163813 |  6526698 |     1153  13061 |        0 |        0
1715.88/1716.47	c 1716s |      25 |  7170858 |  6533098 |     1153  13071 |        0 |        0
1717.98/1718.50	c 1718s |      25 |  7177817 |  6539398 |     1153  13081 |        0 |        0
1719.99/1720.51	c 1720s |      25 |  7184485 |  6545498 |     1153  13091 |        0 |        0
1721.98/1722.52	c 1722s |      25 |  7191765 |  6551898 |     1153  13101 |        0 |        0
1723.98/1724.53	c 1724s |      25 |  7199379 |  6558798 |     1153  13112 |        0 |        0
1725.98/1726.53	c 1726s |      25 |  7206520 |  6565398 |     1153  13123 |        0 |        0
1727.98/1728.56	c 1728s |      25 |  7213356 |  6571798 |     1153  13133 |        0 |        0
1729.98/1730.57	c 1730s |      25 |  7220529 |  6578398 |     1153  13143 |        0 |        0
1731.98/1732.59	c 1732s |      25 |  7227921 |  6585198 |     1153  13154 |        0 |        0
1733.97/1734.60	c 1734s |      25 |  7235422 |  6591898 |     1153  13165 |        0 |        0
1736.07/1736.62	c 1736s |      25 |  7242833 |  6598498 |     1153  13176 |        0 |        0
1738.07/1738.63	c 1738s |      25 |  7250371 |  6605398 |     1153  13186 |        0 |        0
1740.07/1740.64	c 1740s |      25 |  7257539 |  6611898 |     1153  13197 |        0 |        0
1742.07/1742.65	c 1742s |      25 |  7264426 |  6618098 |     1153  13207 |        0 |        0
1744.08/1744.65	c 1744s |      25 |  7271090 |  6624098 |     1153  13217 |        0 |        0
1746.07/1746.67	c 1746s |      25 |  7277778 |  6630298 |     1153  13226 |        0 |        0
1748.07/1748.67	c 1748s |      25 |  7283874 |  6635998 |     1153  13236 |        0 |        0
1750.07/1750.69	c 1750s |      25 |  7290686 |  6642298 |     1153  13245 |        0 |        0
1752.17/1752.71	c 1752s |      25 |  7297886 |  6648998 |     1153  13256 |        0 |        0
1754.17/1754.73	c 1754s |      25 |  7304823 |  6655398 |     1153  13266 |        0 |        0
1756.17/1756.75	c 1756s |      25 |  7311881 |  6661898 |     1153  13276 |        0 |        0
1758.17/1758.76	c 1758s |      25 |  7318873 |  6668298 |     1153  13286 |        0 |        0
1760.17/1760.79	c 1760s |      25 |  7325553 |  6674398 |     1153  13296 |        0 |        0
1762.17/1762.79	c 1762s |      25 |  7332622 |  6680798 |     1153  13306 |        0 |        0
1764.26/1764.82	c 1764s |      25 |  7338683 |  6686398 |     1153  13315 |        0 |        0
1766.26/1766.84	c 1766s |      25 |  7345016 |  6692298 |     1153  13325 |        0 |        0
1768.27/1768.86	c 1768s |      25 |  7352026 |  6698898 |     1153  13335 |        0 |        0
1770.26/1770.87	c 1770s |      25 |  7358962 |  6705398 |     1153  13345 |        0 |        0
1772.26/1772.88	c 1772s |      25 |  7366047 |  6711998 |     1153  13356 |        0 |        0
1774.37/1774.91	c 1774s |      25 |  7373309 |  6718798 |     1153  13367 |        0 |        0
1776.37/1776.92	c 1776s |      25 |  7380646 |  6725498 |     1153  13377 |        0 |        0
1778.37/1778.92	c 1778s |      25 |  7387560 |  6731798 |     1153  13387 |        0 |        0
1780.38/1780.95	c 1780s |      25 |  7394564 |  6738398 |     1153  13398 |        0 |        0
1782.37/1782.95	c 1782s |      25 |  7401443 |  6744798 |     1153  13408 |        0 |        0
1784.37/1784.97	c 1784s |      25 |  7408533 |  6751398 |     1153  13418 |        0 |        0
1786.37/1786.98	c 1786s |      25 |  7415671 |  6757998 |     1153  13429 |        0 |        0
1788.37/1788.99	c 1788s |      25 |  7422444 |  6764198 |     1153  13439 |        0 |        0
1790.38/1790.99	c 1790s |      25 |  7429136 |  6770298 |     1153  13448 |        0 |        0
1792.48/1793.01	c 1793s |      25 |  7436433 |  6777098 |     1153  13459 |        0 |        0
1794.47/1795.02	c 1795s |      25 |  7444602 |  6784598 |     1153  13471 |        0 |        0
1796.47/1797.03	c 1797s |      25 |  7452907 |  6792198 |     1153  13483 |        0 |        0
1798.47/1799.04	c 1799s |      25 |  7460657 |  6799398 |     1153  13495 |        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-4089897-1466035204/watcher-4089897-1466035204 -o /tmp/evaluation-result-4089897-1466035204/solver-4089897-1466035204 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089897-1466035204.opb 

pid=9199
running on 4 cores: 1,3,5,7

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.13 2.18 2.13 3/180 9202
/proc/meminfo: memFree=30428360/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=656828 CPUtime=0 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 2436 0 0 0 0 0 0 0 20 0 4 0 5565820 672591872 3308 33554432000 4194304 16246674 140737197075440 140737197074864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 164975 3317 441 2943 0 161869 0
[pid=9202/tid=9203] ppid=9199 vsize=675260 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 691466240 3377 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=679356 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 695660544 3395 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 699854848 3411 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.13 2.18 2.13 3/180 9202
/proc/meminfo: memFree=30428360/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 28616 0 0 0 5 3 0 0 20 0 4 0 5565820 1247350784 29476 33554432000 4194304 16246674 140737197075440 140737197074864 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 304529 29487 717 2943 0 301423 0
[pid=9202/tid=9203] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 29501 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 29514 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 29526 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200538 s]
/proc/loadavg: 2.13 2.18 2.13 3/180 9202
/proc/meminfo: memFree=30428360/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 57237 0 0 0 12 7 0 0 20 0 4 0 5565820 1247350784 58098 33554432000 4194304 16246674 140737197075440 140737197074864 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 304529 58108 717 2943 0 301423 0
[pid=9202/tid=9203] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 58113 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 58118 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 58124 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.13 2.18 2.13 3/180 9202
/proc/meminfo: memFree=30428360/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 86232 0 0 0 18 11 0 0 20 0 4 0 5565820 1247350784 87092 33554432000 4194304 16246674 140737197075440 140737197074864 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 304529 87106 717 2943 0 301423 0
[pid=9202/tid=9203] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 87118 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 87131 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 87145 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.13 2.18 2.13 3/180 9202
/proc/meminfo: memFree=30428360/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 198468 0 0 0 43 26 0 0 20 0 4 0 5565820 1247350784 199329 33554432000 4194304 16246674 140737197075440 140737197057344 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 304529 199350 717 2943 0 301423 0
[pid=9202/tid=9203] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 199362 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 199370 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1247350784 199376 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.13 2.18 2.13 3/184 9206
/proc/meminfo: memFree=29444024/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267311 0 0 0 114 35 0 0 20 0 4 0 5565820 1336479744 268151 33554432000 4194304 16246674 140737197075440 140737197057344 5512840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326289 268151 791 2943 0 323183 0
[pid=9202/tid=9203] ppid=9199 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1336479744 268151 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1336479744 268151 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1336479744 268151 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.13 2.18 2.13 3/184 9206
/proc/meminfo: memFree=29356124/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267427 0 0 0 274 35 0 0 20 0 4 0 5565820 1337528320 268267 33554432000 4194304 16246674 140737197075440 140737197057344 5706608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268267 793 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268267 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268267 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268267 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.12 2.18 2.13 3/184 9206
/proc/meminfo: memFree=29356216/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267430 0 0 0 593 35 0 0 20 0 4 0 5565820 1337528320 268270 33554432000 4194304 16246674 140737197075440 140737197057344 6842354 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268270 794 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268270 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268270 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268270 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.11 2.17 2.12 3/184 9206
/proc/meminfo: memFree=29355780/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267439 0 0 0 1233 36 0 0 20 0 4 0 5565820 1337528320 268279 33554432000 4194304 16246674 140737197075440 140737197057344 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268279 795 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268279 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268279 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268279 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.08 2.16 2.12 3/184 9206
/proc/meminfo: memFree=29356432/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267477 0 0 0 2513 36 0 0 20 0 4 0 5565820 1337528320 268317 33554432000 4194304 16246674 140737197075440 140737197057344 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268317 795 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268317 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268317 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268317 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.12 2.17 2.12 4/184 9206
/proc/meminfo: memFree=29356632/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267480 0 0 0 5072 36 0 0 20 0 4 0 5565820 1337528320 268320 33554432000 4194304 16246674 140737197075440 140737197057344 5722668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268320 795 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268320 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268320 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268320 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.19 2.18 2.13 3/184 9231
/proc/meminfo: memFree=29356992/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 267492 0 0 0 10191 37 0 0 20 0 4 0 5565820 1337528320 268332 33554432000 4194304 16246674 140737197075440 140737197057344 6012293 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326545 268332 795 2943 0 323439 0
[pid=9202/tid=9203] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268332 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268332 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1337528320 268332 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268540 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 9308
/proc/meminfo: memFree=29355388/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1301.84 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268128 0 0 0 130133 51 0 0 20 0 4 0 5565820 1338576896 268540 33554432000 4194304 16246674 140737197075440 140737197057344 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268540 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268540 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268540 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268540 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.13 2.16 2.15 3/183 9310
/proc/meminfo: memFree=29354516/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1361.83 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 136132 51 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.13 2.16 2.14 3/183 9311
/proc/meminfo: memFree=29354648/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1421.83 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 142131 52 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197058440 13192016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.15 2.16 2.14 3/183 9312
/proc/meminfo: memFree=29353908/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1481.81 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 148128 53 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.12 2.14 2.14 3/183 9313
/proc/meminfo: memFree=29353708/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1541.81 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 154127 54 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197058440 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.11 2.13 2.13 3/183 9314
/proc/meminfo: memFree=29353928/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1601.8 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 160125 55 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 12477869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.15 2.13 2.13 3/183 9316
/proc/meminfo: memFree=29353912/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1661.79 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 166123 56 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.12 2.12 3/183 9317
/proc/meminfo: memFree=29354136/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 172122 56 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 6020488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.04 2.10 2.11 3/183 9318
/proc/meminfo: memFree=29354124/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 178120 57 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197057344 5717780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.09 2.11 3/184 9322
/proc/meminfo: memFree=29353336/32872528 swapFree=496356/529060
[pid=9202] ppid=9199 vsize=1307204 CPUtime=1800.07 cores=1,3,5,7
/proc/9202/stat : 9202 (toysat) R 9199 9202 5955 0 -1 4202496 268216 0 0 0 179950 57 0 0 20 0 4 0 5565820 1338576896 268628 33554432000 4194304 16246674 140737197075440 140737197058440 5553672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9202/statm: 326801 268628 797 2943 0 323695 0
[pid=9202/tid=9203] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9203/stat : 9203 (toysat) S 9199 9202 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886237560048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9202/tid=9204] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9204/stat : 9204 (toysat) S 9199 9202 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886227070192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9202/tid=9205] ppid=9199 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9202/task/9205/stat : 9205 (toysat) S 9199 9202 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5565821 1338576896 268628 33554432000 4194304 16246674 140737197075440 139886145301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.51
CPU system time (s): 0.571913
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.571913
maximum resident set size= 1074512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268216
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= 442
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46932 second user time and 7.07092 second system time

The end

Begin job on node141 at 2016-06-16 02:00:04
IDJOB=4089897
IDBENCH=107472
IDSOLVER=2542
FILE ID=node141/4089897-1466035204
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 60094e490291d00dfc3d1432e031262f
RANDOM SEED=605693920

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30429004 kB
Buffers:           45764 kB
Cached:            80040 kB
SwapCached:        13088 kB
Active:          1139484 kB
Inactive:          73788 kB
Active(anon):    1077392 kB
Inactive(anon):    12044 kB
Active(file):      62092 kB
Inactive(file):    61744 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       1604340 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             567740 kB
SReclaimable:      11516 kB
SUnreclaim:       556224 kB
KernelStack:        1496 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 02:30:05