0.00/0.00	c 2016-06-15T21:48:54+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-4089008-1466020134.opb"]
0.00/0.01	c use --random-gen="3626252295 559107516 794964715 3331954139 378968609 1039224699 1588691981 557312579 43422907 4030931345 1419329475 2151280519 3481511090 1005060050 2275607195 3980399468 3202291886 1664446022 3497118774 1281273437 297712897 1731017284 1123445692 1438377533 4007700068 2765363571 3976319407 2769123246 1303851562 1769257795 1072504883 4228190891 2245224445 3506541693 649156336 3503132352 3652742562 2226388943 2642003720 3887021284 2625532192 646519021 2422152212 3419932669 362246774 3826465396 1976290453 159442750 2712006993 495814403 4045875244 305548265 3320596713 422584171 2295537769 1937911698 3687511688 656324155 440909602 2802223531 2249741032 717494688 490557165 1948035474 3320949338 4289250834 3985910512 4039154080 2383551588 3560570079 819106954 137470406 863145492 2961953416 2891467664 4177677512 1143912751 3632427498 992715651 2610933701 360706592 4201046680 2064123845 4081613271 2918426040 4192964120 2049840217 460626310 3097370730 45485366 743532633 2397998343 1222228702 2096590044 4127911573 446390953 1573443436 1835523949 3530357830 1133343417 1554370734 731756432 3123155787 2702915456 15210107 3779277852 3163412347 37587916 68946715 50602475 1219387052 881945470 2633457792 463823387 2656305859 2775790894 2848050657 413366617 2006972631 1584907960 659042607 3289985669 1439034299 493059203 240599511 4003491022 1534523786 518458599 2619722000 2061011434 415058259 1231926976 3288973853 2427957013 3457458094 3472927406 446680660 904827148 482898229 3263343736 2336068203 2197335 2329270949 4004680932 2214915702 966961742 2592479216 4237909609 1866601960 2348184049 3408646352 1875540965 2349290215 1742896710 3404668181 3359825847 3720235785 3361533774 4006270576 2239998279 3231072038 362071695 12416339 137716618 527145458 2241408787 1708891275 2507948160 2536219491 4025034796 1671024002 2854138908 3557644358 1275469862 4163046000 2797479651 3557499998 2232493187 1624128557 992516191 385238862 2413608735 1481755909 398343307 2144104814 449393832 3703322150 3159323967 689582180 1915056691 548877514 91180831 3348188984 1310980410 2527262574 1508862361 230983483 1854139594 1908361881 2693100125 2545024002 1569672534 3272682916 3991119860 3377014387 2687688201 501858181 3086125044 2046951708 3716905210 2706125927 1748669821 3536639934 4152394287 3442322139 1444057762 2447957959 990541052 3497759540 539805386 2925863396 845798212 958230110 2231651911 511719992 876288862 3280909730 2936264651 2055159700 955139350 2703309115 345097263 696703644 2064767595 2139187396 1284231521 4002286827 419730343 2857651751 2791869348 3769782459 2986815411 2902661577 428978884 4066082220 165260809 3609796358 2880261998 2991737203 1078281757 1696167089 4091615811 3026152586 1150803050 988413894 2902775506 255 362436" option to reproduce the execution
0.00/0.01	c #vars 102
0.00/0.01	c #constraints 205
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 |      102      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      150 |      100 |      102      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      341 |      250 |      113      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      610 |      475 |      125      4 |        0 |        0
0.08/0.12	c  0.1s |       4 |      990 |      813 |      138      8 |        0 |        0
0.08/0.19	c  0.2s |       5 |     1541 |     1320 |      152     13 |        0 |        0
0.18/0.30	c  0.3s |       6 |     2347 |     2081 |      185     20 |        0 |        0
0.39/0.46	c  0.4s |       7 |     3543 |     3223 |      204     30 |        0 |        0
0.69/0.70	c  0.7s |       8 |     5308 |     4936 |      225     44 |        0 |        0
0.99/1.00	c  1.0s |       9 |     7969 |     7506 |      248     64 |        0 |        0
1.29/1.36	c  1.3s |      10 |    11930 |    11361 |      273     90 |        0 |        0
1.89/1.93	c  1.9s |      11 |    17828 |    17144 |      301    127 |        0 |        0
2.69/2.78	c  2.8s |      12 |    26737 |    25819 |      332    177 |        0 |        0
3.99/4.06	c  4.0s |      13 |    40167 |    38832 |      366    247 |        0 |        0
5.99/6.00	c  6.0s |      14 |    60311 |    58352 |      403    343 |        0 |        0
7.99/8.00	c  8.0s |      14 |    80968 |    78252 |      403    433 |        0 |        0
8.90/8.94	c  8.9s |      15 |    90782 |    87632 |      444    475 |        0 |        0
10.89/10.95	c 10.9s |      15 |   111678 |   107432 |      444    557 |        0 |        0
12.89/12.95	c 12.9s |      15 |   132007 |   126932 |      444    638 |        0 |        0
13.39/13.43	c 13.4s |      16 |   136748 |   131552 |      489    657 |        0 |        0
15.39/15.44	c 15.4s |      16 |   156595 |   150852 |      489    730 |        0 |        0
17.39/17.44	c 17.4s |      16 |   176487 |   169952 |      489    802 |        0 |        0
19.39/19.44	c 19.4s |      16 |   196349 |   189052 |      489    874 |        0 |        0
20.28/20.32	c 20.3s |      17 |   205029 |   197432 |      538    906 |        0 |        0
22.28/22.33	c 22.3s |      17 |   224675 |   216432 |      538    972 |        0 |        0
24.29/24.33	c 24.3s |      17 |   244519 |   235332 |      538   1037 |        0 |        0
26.28/26.33	c 26.3s |      17 |   264509 |   254432 |      538   1104 |        0 |        0
28.28/28.34	c 28.3s |      17 |   284298 |   273432 |      538   1170 |        0 |        0
30.29/30.34	c 30.3s |      17 |   303828 |   292132 |      538   1234 |        0 |        0
30.69/30.78	c 30.8s |      18 |   308096 |   296252 |      592   1248 |        0 |        0
32.69/32.79	c 32.8s |      18 |   327910 |   315052 |      592   1307 |        0 |        0
34.79/34.80	c 34.8s |      18 |   347334 |   333752 |      592   1367 |        0 |        0
36.79/36.81	c 36.8s |      18 |   366760 |   352552 |      592   1426 |        0 |        0
38.79/38.81	c 38.8s |      18 |   386455 |   371452 |      592   1487 |        0 |        0
40.79/40.82	c 40.8s |      18 |   406243 |   390452 |      592   1547 |        0 |        0
42.78/42.82	c 42.8s |      18 |   425822 |   409052 |      592   1607 |        0 |        0
44.78/44.82	c 44.8s |      18 |   445920 |   427752 |      592   1666 |        0 |        0
46.58/46.61	c 46.6s |      19 |   463900 |   444482 |      652   1718 |        0 |        0
48.58/48.62	c 48.6s |      19 |   483101 |   462982 |      652   1772 |        0 |        0
50.59/50.63	c 50.6s |      19 |   502850 |   481382 |      652   1825 |        0 |        0
52.58/52.63	c 52.6s |      19 |   522891 |   499782 |      652   1878 |        0 |        0
54.58/54.64	c 54.6s |      19 |   542739 |   518282 |      652   1932 |        0 |        0
56.58/56.64	c 56.6s |      19 |   562119 |   536682 |      652   1985 |        0 |        0
58.58/58.65	c 58.6s |      19 |   581152 |   555082 |      652   2039 |        0 |        0
60.59/60.66	c 60.6s |      19 |   600642 |   573282 |      652   2092 |        0 |        0
62.58/62.66	c 62.6s |      19 |   620017 |   591682 |      652   2145 |        0 |        0
64.58/64.67	c 64.7s |      19 |   639653 |   610182 |      652   2199 |        0 |        0
66.58/66.67	c 66.7s |      19 |   658992 |   628582 |      652   2252 |        0 |        0
68.58/68.68	c 68.7s |      19 |   678137 |   647082 |      652   2306 |        0 |        0
70.58/70.68	c 70.7s |      19 |   697217 |   665282 |      718   2357 |        0 |        0
70.78/70.85	c 70.8s |      20 |   698798 |   666827 |      718   2361 |        0 |        0
72.77/72.86	c 72.8s |      20 |   718356 |   685127 |      718   2410 |        0 |        0
74.79/74.86	c 74.9s |      20 |   737420 |   703227 |      718   2458 |        0 |        0
76.78/76.87	c 76.9s |      20 |   756349 |   721427 |      718   2506 |        0 |        0
78.78/78.88	c 78.9s |      20 |   775734 |   739827 |      718   2555 |        0 |        0
80.78/80.89	c 80.9s |      20 |   794607 |   757827 |      718   2603 |        0 |        0
82.88/82.90	c 82.9s |      20 |   813588 |   775827 |      718   2650 |        0 |        0
84.88/84.91	c 84.9s |      20 |   833083 |   793927 |      718   2698 |        0 |        0
86.89/86.91	c 86.9s |      20 |   852421 |   812127 |      718   2746 |        0 |        0
88.88/88.92	c 88.9s |      20 |   871449 |   830327 |      718   2795 |        0 |        0
90.88/90.93	c 90.9s |      20 |   890213 |   848527 |      718   2843 |        0 |        0
92.88/92.93	c 92.9s |      20 |   909016 |   866527 |      718   2891 |        0 |        0
94.88/94.94	c 94.9s |      20 |   927770 |   884527 |      718   2939 |        0 |        0
96.88/96.94	c 96.9s |      20 |   946277 |   902327 |      718   2986 |        0 |        0
98.88/98.96	c 98.9s |      20 |   964966 |   920427 |      718   3033 |        0 |        0
100.87/100.97	c  100s |      20 |   983762 |   938427 |      718   3081 |        0 |        0
102.87/102.97	c  102s |      20 |  1002452 |   956427 |      718   3129 |        0 |        0
104.87/104.98	c  104s |      20 |  1021696 |   974627 |      718   3177 |        0 |        0
106.87/106.98	c  106s |      20 |  1040818 |   992827 |      718   3225 |        0 |        0
107.78/107.81	c  107s |      21 |  1048804 |  1000345 |      790   3243 |        0 |        0
109.77/109.81	c  109s |      21 |  1067920 |  1018645 |      790   3288 |        0 |        0
111.77/111.82	c  111s |      21 |  1086952 |  1036845 |      790   3332 |        0 |        0
113.77/113.83	c  113s |      21 |  1105629 |  1054845 |      790   3375 |        0 |        0
115.77/115.84	c  115s |      21 |  1124501 |  1072845 |      790   3419 |        0 |        0
117.78/117.84	c  117s |      21 |  1143227 |  1090745 |      790   3462 |        0 |        0
119.77/119.84	c  119s |      21 |  1161846 |  1108745 |      790   3505 |        0 |        0
121.77/121.85	c  121s |      21 |  1180421 |  1126645 |      790   3549 |        0 |        0
123.77/123.86	c  123s |      21 |  1199246 |  1144545 |      790   3592 |        0 |        0
125.76/125.86	c  125s |      21 |  1218029 |  1162445 |      790   3635 |        0 |        0
127.76/127.87	c  127s |      21 |  1237041 |  1180345 |      790   3678 |        0 |        0
129.77/129.87	c  129s |      21 |  1255864 |  1198345 |      790   3722 |        0 |        0
131.76/131.88	c  131s |      21 |  1275039 |  1216345 |      790   3766 |        0 |        0
133.77/133.89	c  133s |      21 |  1293978 |  1234245 |      790   3809 |        0 |        0
135.87/135.90	c  135s |      21 |  1313322 |  1252145 |      790   3852 |        0 |        0
137.87/137.90	c  137s |      21 |  1332558 |  1270145 |      790   3896 |        0 |        0
139.87/139.91	c  139s |      21 |  1351372 |  1288145 |      790   3939 |        0 |        0
141.87/141.92	c  141s |      21 |  1369933 |  1306045 |      790   3983 |        0 |        0
143.87/143.92	c  143s |      21 |  1388804 |  1323945 |      790   4026 |        0 |        0
145.87/145.93	c  145s |      21 |  1407762 |  1341945 |      790   4069 |        0 |        0
147.87/147.95	c  147s |      21 |  1426242 |  1359845 |      790   4113 |        0 |        0
149.87/149.95	c  149s |      21 |  1444892 |  1377745 |      790   4156 |        0 |        0
151.87/151.95	c  151s |      21 |  1463756 |  1395445 |      790   4199 |        0 |        0
153.86/153.96	c  153s |      21 |  1482915 |  1413345 |      790   4242 |        0 |        0
155.86/155.97	c  155s |      21 |  1502730 |  1431445 |      790   4286 |        0 |        0
157.86/157.97	c  157s |      21 |  1521512 |  1449445 |      790   4330 |        0 |        0
159.86/159.98	c  159s |      21 |  1540660 |  1467445 |      790   4374 |        0 |        0
161.86/161.99	c  161s |      21 |  1559708 |  1485445 |      790   4417 |        0 |        0
163.66/163.71	c  163s |      22 |  1575629 |  1500622 |      870   4451 |        0 |        0
165.66/165.71	c  165s |      22 |  1594194 |  1518322 |      870   4490 |        0 |        0
167.66/167.71	c  167s |      22 |  1612237 |  1535422 |      870   4528 |        0 |        0
169.66/169.72	c  169s |      22 |  1630198 |  1552722 |      870   4566 |        0 |        0
171.67/171.72	c  171s |      22 |  1648385 |  1570122 |      870   4604 |        0 |        0
173.67/173.73	c  173s |      22 |  1666431 |  1587322 |      870   4642 |        0 |        0
175.67/175.74	c  175s |      22 |  1685202 |  1604722 |      870   4681 |        0 |        0
177.67/177.75	c  177s |      22 |  1703426 |  1622122 |      870   4719 |        0 |        0
179.67/179.76	c  179s |      22 |  1721695 |  1639522 |      870   4757 |        0 |        0
181.67/181.76	c  181s |      22 |  1739697 |  1656722 |      870   4795 |        0 |        0
183.67/183.76	c  183s |      22 |  1757980 |  1674222 |      870   4834 |        0 |        0
185.66/185.77	c  185s |      22 |  1776280 |  1691622 |      870   4872 |        0 |        0
187.66/187.78	c  187s |      22 |  1794145 |  1708922 |      870   4910 |        0 |        0
189.66/189.79	c  189s |      22 |  1812446 |  1726222 |      870   4948 |        0 |        0
191.66/191.79	c  191s |      22 |  1830926 |  1743222 |      870   4986 |        0 |        0
193.76/193.80	c  193s |      22 |  1849058 |  1760522 |      870   5024 |        0 |        0
195.66/195.80	c  195s |      22 |  1866849 |  1777622 |      870   5062 |        0 |        0
197.76/197.80	c  197s |      22 |  1884519 |  1794622 |      870   5099 |        0 |        0
199.76/199.80	c  199s |      22 |  1903068 |  1812022 |      870   5138 |        0 |        0
201.75/201.81	c  201s |      22 |  1921510 |  1829522 |      870   5176 |        0 |        0
203.75/203.81	c  203s |      22 |  1940056 |  1846922 |      870   5215 |        0 |        0
205.76/205.81	c  205s |      22 |  1958665 |  1864322 |      870   5253 |        0 |        0
207.75/207.81	c  207s |      22 |  1977286 |  1881822 |      870   5292 |        0 |        0
209.75/209.82	c  209s |      22 |  1995826 |  1899222 |      870   5330 |        0 |        0
211.75/211.82	c  211s |      22 |  2014288 |  1916622 |      870   5368 |        0 |        0
213.75/213.83	c  213s |      22 |  2032866 |  1934022 |      870   5407 |        0 |        0
215.75/215.84	c  215s |      22 |  2051619 |  1951722 |      870   5446 |        0 |        0
217.76/217.85	c  217s |      22 |  2069858 |  1969322 |      870   5485 |        0 |        0
219.75/219.85	c  219s |      22 |  2088185 |  1986922 |      870   5524 |        0 |        0
221.75/221.86	c  221s |      22 |  2106976 |  2004522 |      870   5562 |        0 |        0
223.76/223.86	c  223s |      22 |  2125183 |  2022022 |      870   5601 |        0 |        0
225.76/225.87	c  225s |      22 |  2143830 |  2039722 |      870   5640 |        0 |        0
227.77/227.88	c  227s |      22 |  2162476 |  2057322 |      870   5679 |        0 |        0
229.76/229.88	c  229s |      22 |  2180711 |  2074822 |      870   5718 |        0 |        0
231.76/231.89	c  231s |      22 |  2199261 |  2092322 |      870   5757 |        0 |        0
233.76/233.89	c  233s |      22 |  2218108 |  2109722 |      870   5795 |        0 |        0
235.76/235.90	c  235s |      22 |  2236623 |  2127522 |      870   5834 |        0 |        0
237.85/237.91	c  237s |      22 |  2255532 |  2145322 |      870   5874 |        0 |        0
239.86/239.92	c  239s |      22 |  2274033 |  2162922 |      870   5912 |        0 |        0
241.85/241.92	c  241s |      22 |  2292869 |  2180522 |      870   5951 |        0 |        0
243.85/243.93	c  243s |      22 |  2311455 |  2197822 |      870   5990 |        0 |        0
245.85/245.93	c  245s |      22 |  2330481 |  2215222 |      870   6028 |        0 |        0
247.85/247.94	c  247s |      22 |  2349191 |  2232722 |      870   6067 |        0 |        0
249.85/249.95	c  249s |      22 |  2367593 |  2250022 |      958   6102 |        0 |        0
249.95/250.07	c  250s |      23 |  2368696 |  2251038 |      958   6104 |        0 |        0
251.95/252.08	c  252s |      23 |  2387013 |  2268338 |      958   6139 |        0 |        0
253.95/254.09	c  254s |      23 |  2404740 |  2285338 |      958   6173 |        0 |        0
255.95/256.09	c  256s |      23 |  2422711 |  2302438 |      958   6207 |        0 |        0
257.94/258.09	c  258s |      23 |  2440923 |  2319638 |      958   6242 |        0 |        0
259.95/260.09	c  260s |      23 |  2459147 |  2336738 |      958   6276 |        0 |        0
262.05/262.10	c  262s |      23 |  2477321 |  2353838 |      958   6310 |        0 |        0
264.06/264.11	c  264s |      23 |  2495670 |  2370938 |      958   6345 |        0 |        0
266.05/266.11	c  266s |      23 |  2513947 |  2388138 |      958   6379 |        0 |        0
268.05/268.12	c  268s |      23 |  2532699 |  2405538 |      958   6414 |        0 |        0
270.05/270.12	c  270s |      23 |  2551326 |  2422938 |      958   6449 |        0 |        0
272.05/272.13	c  272s |      23 |  2570174 |  2440338 |      958   6484 |        0 |        0
274.05/274.13	c  274s |      23 |  2588623 |  2457738 |      958   6519 |        0 |        0
276.06/276.14	c  276s |      23 |  2606982 |  2475238 |      958   6555 |        0 |        0
278.04/278.15	c  278s |      23 |  2625537 |  2492538 |      958   6589 |        0 |        0
280.04/280.15	c  280s |      23 |  2643336 |  2509638 |      958   6624 |        0 |        0
282.04/282.16	c  282s |      23 |  2661672 |  2527038 |      958   6659 |        0 |        0
284.04/284.17	c  284s |      23 |  2679581 |  2544338 |      958   6694 |        0 |        0
286.05/286.18	c  286s |      23 |  2698252 |  2561838 |      958   6729 |        0 |        0
288.04/288.19	c  288s |      23 |  2716291 |  2579138 |      958   6764 |        0 |        0
290.14/290.20	c  290s |      23 |  2734469 |  2596638 |      958   6799 |        0 |        0
292.14/292.20	c  292s |      23 |  2752700 |  2614038 |      958   6834 |        0 |        0
294.14/294.20	c  294s |      23 |  2771011 |  2631238 |      958   6869 |        0 |        0
296.14/296.20	c  296s |      23 |  2789257 |  2648238 |      958   6903 |        0 |        0
298.04/298.20	c  298s |      23 |  2807879 |  2665338 |      958   6937 |        0 |        0
300.13/300.20	c  300s |      23 |  2825870 |  2682438 |      958   6972 |        0 |        0
302.13/302.21	c  302s |      23 |  2844424 |  2699538 |      958   7006 |        0 |        0
304.13/304.22	c  304s |      23 |  2863840 |  2717138 |      958   7042 |        0 |        0
306.13/306.23	c  306s |      23 |  2882918 |  2734738 |      958   7077 |        0 |        0
308.12/308.23	c  308s |      23 |  2901841 |  2752038 |      958   7112 |        0 |        0
310.13/310.23	c  310s |      23 |  2921027 |  2769438 |      958   7147 |        0 |        0
312.13/312.24	c  312s |      23 |  2939166 |  2786838 |      958   7182 |        0 |        0
314.13/314.24	c  314s |      23 |  2957079 |  2804238 |      958   7217 |        0 |        0
316.13/316.25	c  316s |      23 |  2975073 |  2821538 |      958   7252 |        0 |        0
318.12/318.25	c  318s |      23 |  2993513 |  2839238 |      958   7288 |        0 |        0
320.13/320.26	c  320s |      23 |  3011740 |  2856838 |      958   7323 |        0 |        0
322.12/322.27	c  322s |      23 |  3030181 |  2874438 |      958   7359 |        0 |        0
324.12/324.27	c  324s |      23 |  3048875 |  2892038 |      958   7394 |        0 |        0
326.12/326.27	c  326s |      23 |  3067876 |  2909538 |      958   7429 |        0 |        0
328.12/328.28	c  328s |      23 |  3086284 |  2927138 |      958   7465 |        0 |        0
330.12/330.29	c  330s |      23 |  3104567 |  2944538 |      958   7500 |        0 |        0
332.12/332.29	c  332s |      23 |  3122556 |  2961638 |      958   7534 |        0 |        0
334.12/334.29	c  334s |      23 |  3140327 |  2978538 |      958   7568 |        0 |        0
336.22/336.30	c  336s |      23 |  3158294 |  2995738 |      958   7603 |        0 |        0
338.22/338.31	c  338s |      23 |  3176801 |  3013038 |      958   7637 |        0 |        0
340.22/340.31	c  340s |      23 |  3195643 |  3030438 |      958   7673 |        0 |        0
342.22/342.32	c  342s |      23 |  3213829 |  3047838 |      958   7708 |        0 |        0
344.22/344.33	c  344s |      23 |  3232400 |  3065238 |      958   7743 |        0 |        0
346.22/346.33	c  346s |      23 |  3251080 |  3082538 |      958   7778 |        0 |        0
348.21/348.34	c  348s |      23 |  3269449 |  3099838 |      958   7812 |        0 |        0
350.21/350.35	c  350s |      23 |  3287956 |  3117238 |      958   7847 |        0 |        0
352.21/352.36	c  352s |      23 |  3306587 |  3134838 |      958   7883 |        0 |        0
354.22/354.37	c  354s |      23 |  3325678 |  3152438 |      958   7918 |        0 |        0
356.21/356.37	c  356s |      23 |  3344662 |  3170038 |      958   7954 |        0 |        0
358.21/358.38	c  358s |      23 |  3364478 |  3187838 |      958   7990 |        0 |        0
360.21/360.39	c  360s |      23 |  3383763 |  3205538 |      958   8026 |        0 |        0
362.21/362.39	c  362s |      23 |  3401748 |  3222638 |      958   8060 |        0 |        0
364.21/364.39	c  364s |      23 |  3420136 |  3240038 |      958   8095 |        0 |        0
366.21/366.40	c  366s |      23 |  3438739 |  3257438 |      958   8130 |        0 |        0
368.30/368.41	c  368s |      23 |  3457667 |  3274838 |      958   8166 |        0 |        0
370.31/370.42	c  370s |      23 |  3476049 |  3292438 |      958   8201 |        0 |        0
372.31/372.43	c  372s |      23 |  3495038 |  3309938 |      958   8236 |        0 |        0
374.31/374.43	c  374s |      23 |  3513468 |  3327138 |      958   8271 |        0 |        0
376.30/376.43	c  376s |      23 |  3532132 |  3344238 |      958   8305 |        0 |        0
378.31/378.44	c  378s |      23 |  3550627 |  3361438 |     1054   8338 |        0 |        0
380.10/380.24	c  380s |      24 |  3566976 |  3376662 |     1054   8366 |        0 |        0
382.10/382.24	c  382s |      24 |  3585184 |  3393862 |     1054   8397 |        0 |        0
384.10/384.24	c  384s |      24 |  3603101 |  3411162 |     1054   8429 |        0 |        0
386.11/386.25	c  386s |      24 |  3621419 |  3428462 |     1054   8461 |        0 |        0
388.10/388.26	c  388s |      24 |  3639662 |  3445662 |     1054   8492 |        0 |        0
390.10/390.27	c  390s |      24 |  3657810 |  3462762 |     1054   8524 |        0 |        0
392.10/392.27	c  392s |      24 |  3675816 |  3479562 |     1054   8554 |        0 |        0
394.10/394.27	c  394s |      24 |  3693887 |  3496762 |     1054   8586 |        0 |        0
396.09/396.28	c  396s |      24 |  3712508 |  3514262 |     1054   8618 |        0 |        0
398.09/398.29	c  398s |      24 |  3730722 |  3531762 |     1054   8650 |        0 |        0
400.09/400.29	c  400s |      24 |  3749061 |  3548962 |     1054   8682 |        0 |        0
402.09/402.29	c  402s |      24 |  3767122 |  3566062 |     1054   8713 |        0 |        0
404.18/404.30	c  404s |      24 |  3785108 |  3583162 |     1054   8744 |        0 |        0
406.18/406.30	c  406s |      24 |  3803049 |  3600262 |     1054   8776 |        0 |        0
408.18/408.30	c  408s |      24 |  3821136 |  3617462 |     1054   8807 |        0 |        0
410.20/410.31	c  410s |      24 |  3839462 |  3634662 |     1054   8839 |        0 |        0
412.19/412.32	c  412s |      24 |  3857373 |  3651762 |     1054   8870 |        0 |        0
414.19/414.33	c  414s |      24 |  3875531 |  3669062 |     1054   8902 |        0 |        0
416.19/416.33	c  416s |      24 |  3893730 |  3686462 |     1054   8934 |        0 |        0
418.18/418.33	c  418s |      24 |  3911800 |  3703462 |     1054   8965 |        0 |        0
420.19/420.33	c  420s |      24 |  3929750 |  3720562 |     1054   8996 |        0 |        0
422.18/422.34	c  422s |      24 |  3947369 |  3737562 |     1054   9028 |        0 |        0
424.18/424.35	c  424s |      24 |  3965388 |  3754662 |     1054   9059 |        0 |        0
426.18/426.35	c  426s |      24 |  3983474 |  3771962 |     1054   9091 |        0 |        0
428.17/428.37	c  428s |      24 |  4001703 |  3789162 |     1054   9122 |        0 |        0
430.17/430.38	c  430s |      24 |  4019563 |  3806162 |     1054   9154 |        0 |        0
432.18/432.38	c  432s |      24 |  4037756 |  3823462 |     1054   9185 |        0 |        0
434.17/434.38	c  434s |      24 |  4056159 |  3840862 |     1054   9217 |        0 |        0
436.17/436.38	c  436s |      24 |  4074271 |  3858162 |     1054   9249 |        0 |        0
438.17/438.39	c  438s |      24 |  4092047 |  3874962 |     1054   9280 |        0 |        0
440.17/440.39	c  440s |      24 |  4110338 |  3892162 |     1054   9312 |        0 |        0
442.26/442.40	c  442s |      24 |  4128396 |  3909462 |     1054   9343 |        0 |        0
444.27/444.41	c  444s |      24 |  4146945 |  3926862 |     1054   9376 |        0 |        0
446.26/446.42	c  446s |      24 |  4165694 |  3944262 |     1054   9408 |        0 |        0
448.26/448.42	c  448s |      24 |  4184754 |  3961862 |     1054   9440 |        0 |        0
450.26/450.43	c  450s |      24 |  4203099 |  3978962 |     1054   9472 |        0 |        0
452.26/452.43	c  452s |      24 |  4220854 |  3996062 |     1054   9503 |        0 |        0
454.27/454.44	c  454s |      24 |  4238957 |  4013262 |     1054   9534 |        0 |        0
456.27/456.45	c  456s |      24 |  4257011 |  4030562 |     1054   9566 |        0 |        0
458.26/458.46	c  458s |      24 |  4275711 |  4047862 |     1054   9598 |        0 |        0
460.26/460.46	c  460s |      24 |  4294180 |  4064962 |     1054   9630 |        0 |        0
462.26/462.46	c  462s |      24 |  4312302 |  4081862 |     1054   9661 |        0 |        0
464.26/464.47	c  464s |      24 |  4330475 |  4098962 |     1054   9692 |        0 |        0
466.27/466.48	c  466s |      24 |  4348546 |  4116162 |     1054   9723 |        0 |        0
468.25/468.49	c  468s |      24 |  4366699 |  4133462 |     1054   9755 |        0 |        0
470.25/470.49	c  470s |      24 |  4384681 |  4150662 |     1054   9787 |        0 |        0
472.25/472.50	c  472s |      24 |  4403255 |  4168062 |     1054   9819 |        0 |        0
474.35/474.50	c  474s |      24 |  4421513 |  4185362 |     1054   9850 |        0 |        0
476.35/476.50	c  476s |      24 |  4439541 |  4202562 |     1054   9882 |        0 |        0
478.36/478.50	c  478s |      24 |  4457733 |  4219962 |     1054   9914 |        0 |        0
480.35/480.51	c  480s |      24 |  4476160 |  4237262 |     1054   9946 |        0 |        0
482.35/482.52	c  482s |      24 |  4494478 |  4254662 |     1054   9978 |        0 |        0
484.35/484.52	c  484s |      24 |  4512789 |  4272162 |     1054  10010 |        0 |        0
486.35/486.53	c  486s |      24 |  4531196 |  4289662 |     1054  10042 |        0 |        0
488.35/488.53	c  488s |      24 |  4549698 |  4306962 |     1054  10074 |        0 |        0
490.34/490.53	c  490s |      24 |  4567982 |  4323962 |     1054  10105 |        0 |        0
492.34/492.55	c  492s |      24 |  4586004 |  4341162 |     1054  10137 |        0 |        0
494.34/494.55	c  494s |      24 |  4604916 |  4358462 |     1054  10168 |        0 |        0
496.34/496.56	c  496s |      24 |  4623280 |  4375862 |     1054  10200 |        0 |        0
498.34/498.57	c  498s |      24 |  4641973 |  4393362 |     1054  10232 |        0 |        0
500.35/500.58	c  500s |      24 |  4660380 |  4410762 |     1054  10264 |        0 |        0
502.34/502.58	c  502s |      24 |  4678226 |  4427962 |     1054  10296 |        0 |        0
504.35/504.59	c  504s |      24 |  4696688 |  4445362 |     1054  10328 |        0 |        0
506.44/506.60	c  506s |      24 |  4715741 |  4462762 |     1054  10359 |        0 |        0
508.44/508.60	c  508s |      24 |  4733731 |  4480162 |     1054  10391 |        0 |        0
510.44/510.61	c  510s |      24 |  4751778 |  4497462 |     1054  10423 |        0 |        0
512.45/512.62	c  512s |      24 |  4770148 |  4514562 |     1054  10454 |        0 |        0
514.44/514.62	c  514s |      24 |  4788558 |  4531762 |     1054  10486 |        0 |        0
516.44/516.63	c  516s |      24 |  4806993 |  4549062 |     1054  10518 |        0 |        0
518.44/518.64	c  518s |      24 |  4825149 |  4566362 |     1054  10549 |        0 |        0
520.44/520.65	c  520s |      24 |  4843611 |  4583762 |     1054  10581 |        0 |        0
522.44/522.65	c  522s |      24 |  4861662 |  4601162 |     1054  10613 |        0 |        0
524.44/524.66	c  524s |      24 |  4879687 |  4618562 |     1054  10645 |        0 |        0
526.44/526.67	c  526s |      24 |  4898109 |  4635962 |     1054  10677 |        0 |        0
528.44/528.68	c  528s |      24 |  4916216 |  4653262 |     1054  10709 |        0 |        0
530.44/530.68	c  530s |      24 |  4934617 |  4670862 |     1054  10742 |        0 |        0
532.44/532.69	c  532s |      24 |  4952950 |  4688562 |     1054  10774 |        0 |        0
534.44/534.69	c  534s |      24 |  4971585 |  4706062 |     1054  10807 |        0 |        0
536.53/536.70	c  536s |      24 |  4990299 |  4723662 |     1054  10839 |        0 |        0
538.53/538.70	c  538s |      24 |  5008897 |  4741062 |     1054  10871 |        0 |        0
540.52/540.71	c  540s |      24 |  5027444 |  4758562 |     1054  10903 |        0 |        0
542.52/542.72	c  542s |      24 |  5045898 |  4776062 |     1054  10936 |        0 |        0
544.52/544.73	c  544s |      24 |  5064723 |  4793562 |     1054  10968 |        0 |        0
546.52/546.73	c  546s |      24 |  5083230 |  4810962 |     1054  11000 |        0 |        0
548.52/548.75	c  548s |      24 |  5101284 |  4828262 |     1054  11032 |        0 |        0
550.52/550.75	c  550s |      24 |  5119670 |  4845762 |     1054  11064 |        0 |        0
552.52/552.75	c  552s |      24 |  5138257 |  4863262 |     1054  11096 |        0 |        0
554.53/554.75	c  554s |      24 |  5156887 |  4880962 |     1054  11129 |        0 |        0
556.53/556.76	c  556s |      24 |  5175959 |  4898662 |     1054  11161 |        0 |        0
558.52/558.76	c  558s |      24 |  5195437 |  4916262 |     1054  11194 |        0 |        0
560.52/560.77	c  560s |      24 |  5214640 |  4934062 |     1054  11227 |        0 |        0
562.52/562.77	c  562s |      24 |  5233673 |  4951662 |     1054  11259 |        0 |        0
564.52/564.77	c  564s |      24 |  5251708 |  4968962 |     1054  11291 |        0 |        0
566.51/566.78	c  566s |      24 |  5270041 |  4986462 |     1054  11323 |        0 |        0
568.52/568.79	c  568s |      24 |  5288547 |  5004062 |     1054  11356 |        0 |        0
570.61/570.80	c  570s |      24 |  5306953 |  5021362 |     1054  11387 |        0 |        0
572.61/572.81	c  572s |      24 |  5324972 |  5038662 |     1160  11417 |        0 |        0
574.61/574.82	c  574s |      24 |  5343134 |  5055962 |     1160  11446 |        0 |        0
575.61/575.89	c  575s |      25 |  5352941 |  5065098 |     1160  11462 |        0 |        0
577.71/577.90	c  577s |      25 |  5370392 |  5081798 |     1160  11489 |        0 |        0
579.71/579.90	c  579s |      25 |  5388175 |  5098498 |     1160  11517 |        0 |        0
581.72/581.92	c  581s |      25 |  5406181 |  5115398 |     1160  11546 |        0 |        0
583.71/583.93	c  583s |      25 |  5424387 |  5132298 |     1160  11574 |        0 |        0
585.71/585.94	c  585s |      25 |  5442468 |  5149198 |     1160  11602 |        0 |        0
587.70/587.95	c  587s |      25 |  5460506 |  5166198 |     1160  11630 |        0 |        0
589.70/589.95	c  589s |      25 |  5478389 |  5182898 |     1160  11658 |        0 |        0
591.71/591.95	c  591s |      25 |  5496721 |  5199898 |     1160  11687 |        0 |        0
593.70/593.96	c  593s |      25 |  5514762 |  5216998 |     1160  11715 |        0 |        0
595.70/595.97	c  595s |      25 |  5533575 |  5234098 |     1160  11744 |        0 |        0
597.71/597.98	c  597s |      25 |  5551951 |  5250898 |     1160  11772 |        0 |        0
599.70/599.98	c  599s |      25 |  5569972 |  5267698 |     1160  11800 |        0 |        0
601.70/601.98	c  601s |      25 |  5587794 |  5284398 |     1160  11828 |        0 |        0
603.71/603.99	c  603s |      25 |  5605628 |  5301198 |     1160  11856 |        0 |        0
605.80/606.00	c  605s |      25 |  5623611 |  5317998 |     1160  11884 |        0 |        0
607.80/608.00	c  607s |      25 |  5641609 |  5334898 |     1160  11913 |        0 |        0
609.80/610.01	c  609s |      25 |  5659624 |  5351698 |     1160  11941 |        0 |        0
611.80/612.01	c  612s |      25 |  5677827 |  5368898 |     1160  11969 |        0 |        0
613.80/614.03	c  614s |      25 |  5695835 |  5385798 |     1160  11998 |        0 |        0
615.80/616.03	c  616s |      25 |  5713716 |  5402698 |     1160  12026 |        0 |        0
617.79/618.04	c  618s |      25 |  5731368 |  5419598 |     1160  12054 |        0 |        0
619.79/620.05	c  620s |      25 |  5748881 |  5436498 |     1160  12082 |        0 |        0
621.79/622.05	c  622s |      25 |  5767028 |  5453598 |     1160  12111 |        0 |        0
623.79/624.06	c  624s |      25 |  5784931 |  5470598 |     1160  12139 |        0 |        0
625.80/626.06	c  626s |      25 |  5802547 |  5487598 |     1160  12168 |        0 |        0
627.79/628.07	c  628s |      25 |  5820425 |  5504598 |     1160  12196 |        0 |        0
629.79/630.07	c  630s |      25 |  5838334 |  5521698 |     1160  12225 |        0 |        0
631.79/632.08	c  632s |      25 |  5855969 |  5538598 |     1160  12253 |        0 |        0
633.79/634.09	c  634s |      25 |  5873896 |  5555598 |     1160  12282 |        0 |        0
635.79/636.09	c  636s |      25 |  5892065 |  5572398 |     1160  12310 |        0 |        0
637.79/638.10	c  638s |      25 |  5910066 |  5589198 |     1160  12338 |        0 |        0
639.88/640.11	c  640s |      25 |  5928685 |  5606498 |     1160  12367 |        0 |        0
641.88/642.12	c  642s |      25 |  5946699 |  5623598 |     1160  12396 |        0 |        0
643.88/644.13	c  644s |      25 |  5964778 |  5640798 |     1160  12424 |        0 |        0
645.88/646.14	c  646s |      25 |  5982498 |  5657798 |     1160  12453 |        0 |        0
647.88/648.15	c  648s |      25 |  6000399 |  5674898 |     1160  12481 |        0 |        0
649.88/650.15	c  650s |      25 |  6018502 |  5692098 |     1160  12510 |        0 |        0
651.87/652.16	c  652s |      25 |  6037182 |  5709398 |     1160  12539 |        0 |        0
653.87/654.17	c  654s |      25 |  6055174 |  5726598 |     1160  12568 |        0 |        0
655.87/656.17	c  656s |      25 |  6073216 |  5743698 |     1160  12596 |        0 |        0
657.88/658.18	c  658s |      25 |  6091073 |  5760798 |     1160  12625 |        0 |        0
659.88/660.18	c  660s |      25 |  6109233 |  5777998 |     1160  12654 |        0 |        0
661.88/662.18	c  662s |      25 |  6127851 |  5795498 |     1160  12683 |        0 |        0
663.88/664.19	c  664s |      25 |  6146187 |  5812798 |     1160  12712 |        0 |        0
665.88/666.19	c  666s |      25 |  6164863 |  5830298 |     1160  12741 |        0 |        0
667.97/668.20	c  668s |      25 |  6182800 |  5847398 |     1160  12770 |        0 |        0
669.97/670.20	c  670s |      25 |  6200809 |  5864498 |     1160  12798 |        0 |        0
671.98/672.20	c  672s |      25 |  6218622 |  5881398 |     1160  12827 |        0 |        0
673.97/674.21	c  674s |      25 |  6236354 |  5898398 |     1160  12855 |        0 |        0
675.97/676.21	c  676s |      25 |  6254157 |  5915298 |     1160  12883 |        0 |        0
677.97/678.22	c  678s |      25 |  6272179 |  5932598 |     1160  12912 |        0 |        0
679.96/680.23	c  680s |      25 |  6290585 |  5950098 |     1160  12941 |        0 |        0
681.96/682.23	c  682s |      25 |  6308958 |  5967398 |     1160  12970 |        0 |        0
683.97/684.24	c  684s |      25 |  6327304 |  5984898 |     1160  13000 |        0 |        0
685.96/686.24	c  686s |      25 |  6345642 |  6002198 |     1160  13029 |        0 |        0
687.96/688.25	c  688s |      25 |  6363643 |  6019498 |     1160  13058 |        0 |        0
689.96/690.26	c  690s |      25 |  6381711 |  6036998 |     1160  13087 |        0 |        0
691.96/692.26	c  692s |      25 |  6399679 |  6054298 |     1160  13116 |        0 |        0
693.97/694.27	c  694s |      25 |  6417692 |  6071598 |     1160  13145 |        0 |        0
695.96/696.28	c  696s |      25 |  6435933 |  6089098 |     1160  13174 |        0 |        0
697.95/698.29	c  698s |      25 |  6454159 |  6106498 |     1160  13203 |        0 |        0
699.95/700.29	c  700s |      25 |  6472804 |  6124098 |     1160  13233 |        0 |        0
702.05/702.30	c  702s |      25 |  6491507 |  6141498 |     1160  13262 |        0 |        0
704.05/704.31	c  704s |      25 |  6510183 |  6158898 |     1160  13291 |        0 |        0
706.06/706.31	c  706s |      25 |  6528538 |  6176298 |     1160  13320 |        0 |        0
708.05/708.31	c  708s |      25 |  6546656 |  6193498 |     1160  13349 |        0 |        0
710.05/710.31	c  710s |      25 |  6564728 |  6210998 |     1160  13378 |        0 |        0
712.05/712.31	c  712s |      25 |  6582458 |  6227898 |     1160  13406 |        0 |        0
714.05/714.32	c  714s |      25 |  6600668 |  6245098 |     1160  13435 |        0 |        0
716.05/716.33	c  716s |      25 |  6618684 |  6262398 |     1160  13464 |        0 |        0
718.05/718.34	c  718s |      25 |  6637079 |  6279998 |     1160  13493 |        0 |        0
720.04/720.34	c  720s |      25 |  6655164 |  6297298 |     1160  13522 |        0 |        0
722.04/722.35	c  722s |      25 |  6673718 |  6314898 |     1160  13552 |        0 |        0
724.04/724.35	c  724s |      25 |  6692183 |  6332398 |     1160  13581 |        0 |        0
726.04/726.36	c  726s |      25 |  6710766 |  6349998 |     1160  13611 |        0 |        0
728.05/728.36	c  728s |      25 |  6729599 |  6367598 |     1160  13640 |        0 |        0
730.05/730.37	c  730s |      25 |  6748145 |  6385298 |     1160  13670 |        0 |        0
732.04/732.37	c  732s |      25 |  6766431 |  6402698 |     1160  13699 |        0 |        0
734.04/734.37	c  734s |      25 |  6784634 |  6420298 |     1160  13728 |        0 |        0
736.04/736.38	c  736s |      25 |  6803039 |  6437698 |     1160  13758 |        0 |        0
738.04/738.38	c  738s |      25 |  6821332 |  6455298 |     1160  13787 |        0 |        0
740.05/740.39	c  740s |      25 |  6839918 |  6472898 |     1160  13817 |        0 |        0
742.04/742.40	c  742s |      25 |  6858343 |  6490398 |     1160  13846 |        0 |        0
744.14/744.40	c  744s |      25 |  6876755 |  6507898 |     1160  13875 |        0 |        0
746.14/746.41	c  746s |      25 |  6895844 |  6525798 |     1160  13905 |        0 |        0
748.13/748.42	c  748s |      25 |  6914719 |  6543798 |     1160  13936 |        0 |        0
750.13/750.42	c  750s |      25 |  6933795 |  6561598 |     1160  13966 |        0 |        0
752.14/752.43	c  752s |      25 |  6951553 |  6578698 |     1160  13994 |        0 |        0
754.13/754.44	c  754s |      25 |  6969558 |  6595798 |     1160  14023 |        0 |        0
756.13/756.45	c  756s |      25 |  6987675 |  6612998 |     1160  14051 |        0 |        0
758.13/758.45	c  758s |      25 |  7005483 |  6630098 |     1160  14080 |        0 |        0
760.13/760.46	c  760s |      25 |  7023587 |  6647398 |     1160  14109 |        0 |        0
762.13/762.46	c  762s |      25 |  7041831 |  6664698 |     1160  14138 |        0 |        0
764.13/764.47	c  764s |      25 |  7060659 |  6682598 |     1160  14168 |        0 |        0
766.13/766.47	c  766s |      25 |  7079146 |  6699998 |     1160  14197 |        0 |        0
768.12/768.48	c  768s |      25 |  7097741 |  6717498 |     1160  14226 |        0 |        0
770.12/770.48	c  770s |      25 |  7115868 |  6734498 |     1160  14255 |        0 |        0
772.12/772.49	c  772s |      25 |  7134150 |  6751298 |     1160  14283 |        0 |        0
774.13/774.50	c  774s |      25 |  7152497 |  6768698 |     1160  14312 |        0 |        0
776.22/776.50	c  776s |      25 |  7170918 |  6786298 |     1160  14341 |        0 |        0
778.21/778.51	c  778s |      25 |  7189688 |  6803998 |     1160  14371 |        0 |        0
780.21/780.51	c  780s |      25 |  7208218 |  6821498 |     1160  14400 |        0 |        0
782.21/782.51	c  782s |      25 |  7226888 |  6839198 |     1160  14430 |        0 |        0
784.21/784.52	c  784s |      25 |  7245211 |  6856798 |     1160  14460 |        0 |        0
786.23/786.53	c  786s |      25 |  7263647 |  6873998 |     1160  14488 |        0 |        0
788.22/788.53	c  788s |      25 |  7282552 |  6891598 |     1160  14518 |        0 |        0
790.22/790.53	c  790s |      25 |  7301454 |  6909098 |     1160  14547 |        0 |        0
792.22/792.54	c  792s |      25 |  7319868 |  6926198 |     1160  14576 |        0 |        0
794.21/794.55	c  794s |      25 |  7338508 |  6943498 |     1160  14605 |        0 |        0
796.22/796.56	c  796s |      25 |  7357163 |  6961098 |     1160  14634 |        0 |        0
798.21/798.56	c  798s |      25 |  7376049 |  6978598 |     1160  14664 |        0 |        0
800.21/800.57	c  800s |      25 |  7395181 |  6996398 |     1160  14693 |        0 |        0
802.21/802.57	c  802s |      25 |  7413876 |  7013898 |     1160  14723 |        0 |        0
804.20/804.58	c  804s |      25 |  7432928 |  7031798 |     1160  14753 |        0 |        0
806.21/806.58	c  806s |      25 |  7451668 |  7049398 |     1160  14782 |        0 |        0
808.22/808.59	c  808s |      25 |  7469702 |  7066598 |     1160  14811 |        0 |        0
810.21/810.59	c  810s |      25 |  7487617 |  7083598 |     1160  14839 |        0 |        0
812.21/812.59	c  812s |      25 |  7505537 |  7100798 |     1160  14868 |        0 |        0
814.21/814.60	c  814s |      25 |  7523674 |  7118298 |     1160  14897 |        0 |        0
816.31/816.60	c  816s |      25 |  7541699 |  7135498 |     1160  14926 |        0 |        0
818.31/818.60	c  818s |      25 |  7559790 |  7152898 |     1160  14955 |        0 |        0
820.21/820.60	c  820s |      25 |  7578228 |  7169998 |     1160  14984 |        0 |        0
822.31/822.61	c  822s |      25 |  7596972 |  7187398 |     1160  15013 |        0 |        0
824.30/824.62	c  824s |      25 |  7615202 |  7204898 |     1160  15042 |        0 |        0
826.30/826.62	c  826s |      25 |  7633222 |  7222198 |     1160  15071 |        0 |        0
828.30/828.62	c  828s |      25 |  7651331 |  7239598 |     1160  15100 |        0 |        0
830.31/830.63	c  830s |      25 |  7669799 |  7257098 |     1160  15129 |        0 |        0
832.30/832.64	c  832s |      25 |  7688356 |  7274798 |     1160  15159 |        0 |        0
834.30/834.64	c  834s |      25 |  7706444 |  7292198 |     1160  15188 |        0 |        0
836.30/836.65	c  836s |      25 |  7724702 |  7309798 |     1160  15218 |        0 |        0
838.29/838.65	c  838s |      25 |  7742740 |  7327098 |     1160  15247 |        0 |        0
840.29/840.66	c  840s |      25 |  7761177 |  7344698 |     1160  15276 |        0 |        0
842.30/842.66	c  842s |      25 |  7779434 |  7362098 |     1160  15305 |        0 |        0
844.29/844.67	c  844s |      25 |  7798172 |  7379798 |     1160  15335 |        0 |        0
846.29/846.67	c  846s |      25 |  7816327 |  7397098 |     1160  15364 |        0 |        0
848.29/848.68	c  848s |      25 |  7834740 |  7414698 |     1160  15394 |        0 |        0
850.29/850.68	c  850s |      25 |  7853547 |  7432198 |     1160  15423 |        0 |        0
852.29/852.69	c  852s |      25 |  7871887 |  7449798 |     1160  15453 |        0 |        0
854.29/854.70	c  854s |      25 |  7890129 |  7467498 |     1160  15482 |        0 |        0
856.38/856.70	c  856s |      25 |  7908723 |  7485098 |     1160  15512 |        0 |        0
858.38/858.71	c  858s |      25 |  7927014 |  7502698 |     1160  15541 |        0 |        0
860.38/860.72	c  860s |      25 |  7945931 |  7520498 |     1160  15571 |        0 |        0
862.38/862.72	c  862s |      25 |  7965059 |  7538298 |     1160  15601 |        0 |        0
864.38/864.73	c  864s |      25 |  7983505 |  7555998 |     1276  15629 |        0 |        0
866.37/866.73	c  866s |      25 |  8002244 |  7573598 |     1276  15655 |        0 |        0
868.37/868.73	c  868s |      25 |  8020423 |  7590798 |     1276  15682 |        0 |        0
869.17/869.53	c  869s |      26 |  8027758 |  7597752 |     1276  15692 |        0 |        0
871.17/871.54	c  871s |      26 |  8045932 |  7614652 |     1276  15718 |        0 |        0
873.18/873.54	c  873s |      26 |  8063837 |  7631552 |     1276  15744 |        0 |        0
875.17/875.55	c  875s |      26 |  8081627 |  7648352 |     1276  15769 |        0 |        0
877.17/877.55	c  877s |      26 |  8099299 |  7665352 |     1276  15795 |        0 |        0
879.17/879.56	c  879s |      26 |  8117339 |  7682552 |     1276  15821 |        0 |        0
881.17/881.56	c  881s |      26 |  8135478 |  7699652 |     1276  15847 |        0 |        0
883.17/883.56	c  883s |      26 |  8153717 |  7716652 |     1276  15873 |        0 |        0
885.17/885.57	c  885s |      26 |  8171984 |  7733552 |     1276  15899 |        0 |        0
887.17/887.57	c  887s |      26 |  8189587 |  7750252 |     1276  15924 |        0 |        0
889.17/889.58	c  889s |      26 |  8207531 |  7766952 |     1276  15950 |        0 |        0
891.17/891.59	c  891s |      26 |  8225427 |  7783752 |     1276  15975 |        0 |        0
893.27/893.60	c  893s |      26 |  8243256 |  7800852 |     1276  16002 |        0 |        0
895.27/895.61	c  895s |      26 |  8261419 |  7817852 |     1276  16027 |        0 |        0
897.28/897.61	c  897s |      26 |  8279434 |  7834952 |     1276  16053 |        0 |        0
899.27/899.61	c  899s |      26 |  8297195 |  7852052 |     1276  16079 |        0 |        0
901.27/901.62	c  901s |      26 |  8315586 |  7869252 |     1276  16106 |        0 |        0
903.27/903.62	c  903s |      26 |  8333566 |  7886252 |     1276  16132 |        0 |        0
905.27/905.62	c  905s |      26 |  8351385 |  7903152 |     1276  16157 |        0 |        0
907.28/907.63	c  907s |      26 |  8369494 |  7920252 |     1276  16183 |        0 |        0
909.27/909.64	c  909s |      26 |  8387389 |  7937152 |     1276  16209 |        0 |        0
911.27/911.64	c  911s |      26 |  8405053 |  7953852 |     1276  16235 |        0 |        0
913.27/913.65	c  913s |      26 |  8423201 |  7970552 |     1276  16260 |        0 |        0
915.27/915.66	c  915s |      26 |  8441624 |  7987752 |     1276  16286 |        0 |        0
917.27/917.66	c  917s |      26 |  8459554 |  8004752 |     1276  16312 |        0 |        0
919.27/919.67	c  919s |      26 |  8477498 |  8021652 |     1276  16338 |        0 |        0
921.27/921.68	c  921s |      26 |  8495455 |  8038852 |     1276  16364 |        0 |        0
923.26/923.68	c  923s |      26 |  8513441 |  8055852 |     1276  16390 |        0 |        0
925.26/925.68	c  925s |      26 |  8531936 |  8072852 |     1276  16416 |        0 |        0
927.26/927.69	c  927s |      26 |  8549846 |  8089752 |     1276  16442 |        0 |        0
929.36/929.70	c  929s |      26 |  8567705 |  8106652 |     1276  16468 |        0 |        0
931.37/931.71	c  931s |      26 |  8585422 |  8123452 |     1276  16494 |        0 |        0
933.36/933.71	c  933s |      26 |  8602764 |  8140152 |     1276  16519 |        0 |        0
935.36/935.72	c  935s |      26 |  8620882 |  8156852 |     1276  16545 |        0 |        0
937.36/937.73	c  937s |      26 |  8638846 |  8173552 |     1276  16570 |        0 |        0
939.36/939.74	c  939s |      26 |  8656841 |  8190452 |     1276  16596 |        0 |        0
941.37/941.75	c  941s |      26 |  8674611 |  8207252 |     1276  16622 |        0 |        0
943.36/943.75	c  943s |      26 |  8692347 |  8223752 |     1276  16647 |        0 |        0
945.36/945.75	c  945s |      26 |  8710108 |  8240452 |     1276  16672 |        0 |        0
947.36/947.76	c  947s |      26 |  8727405 |  8257252 |     1276  16698 |        0 |        0
949.36/949.76	c  949s |      26 |  8744950 |  8273952 |     1276  16723 |        0 |        0
951.36/951.77	c  951s |      26 |  8763019 |  8291052 |     1276  16749 |        0 |        0
953.36/953.78	c  953s |      26 |  8781168 |  8308252 |     1276  16776 |        0 |        0
955.36/955.79	c  955s |      26 |  8799515 |  8325352 |     1276  16802 |        0 |        0
957.46/957.80	c  957s |      26 |  8817851 |  8342552 |     1276  16828 |        0 |        0
959.46/959.81	c  959s |      26 |  8835801 |  8359552 |     1276  16854 |        0 |        0
961.46/961.82	c  961s |      26 |  8853876 |  8376452 |     1276  16880 |        0 |        0
963.46/963.82	c  963s |      26 |  8871584 |  8393552 |     1276  16906 |        0 |        0
965.47/965.82	c  965s |      26 |  8889428 |  8410652 |     1276  16932 |        0 |        0
967.46/967.83	c  967s |      26 |  8907371 |  8427952 |     1276  16958 |        0 |        0
969.46/969.84	c  969s |      26 |  8925565 |  8445052 |     1276  16984 |        0 |        0
971.46/971.84	c  971s |      26 |  8943777 |  8462152 |     1276  17010 |        0 |        0
973.46/973.86	c  973s |      26 |  8962035 |  8479352 |     1276  17036 |        0 |        0
975.46/975.86	c  975s |      26 |  8980143 |  8496452 |     1276  17062 |        0 |        0
977.46/977.86	c  977s |      26 |  8998241 |  8513452 |     1276  17088 |        0 |        0
979.46/979.87	c  979s |      26 |  9016092 |  8530552 |     1276  17114 |        0 |        0
981.45/981.87	c  981s |      26 |  9033990 |  8547752 |     1276  17141 |        0 |        0
983.45/983.87	c  983s |      26 |  9051772 |  8564652 |     1276  17166 |        0 |        0
985.45/985.88	c  985s |      26 |  9069394 |  8581352 |     1276  17192 |        0 |        0
987.46/987.89	c  987s |      26 |  9087155 |  8598552 |     1276  17218 |        0 |        0
989.45/989.89	c  989s |      26 |  9104701 |  8615452 |     1276  17244 |        0 |        0
991.55/991.90	c  991s |      26 |  9122255 |  8632452 |     1276  17270 |        0 |        0
993.55/993.91	c  993s |      26 |  9140184 |  8649352 |     1276  17296 |        0 |        0
995.55/995.92	c  995s |      26 |  9158277 |  8666652 |     1276  17322 |        0 |        0
997.55/997.93	c  997s |      26 |  9176595 |  8683852 |     1276  17348 |        0 |        0
999.56/999.94	c  999s |      26 |  9194617 |  8700952 |     1276  17375 |        0 |        0
1001.55/1001.94	c 1001s |      26 |  9212738 |  8718052 |     1276  17401 |        0 |        0
1003.55/1003.95	c 1003s |      26 |  9230523 |  8735052 |     1276  17426 |        0 |        0
1005.55/1005.95	c 1005s |      26 |  9247999 |  8751652 |     1276  17452 |        0 |        0
1007.55/1007.96	c 1007s |      26 |  9265667 |  8768152 |     1276  17477 |        0 |        0
1009.56/1009.97	c 1009s |      26 |  9283373 |  8784552 |     1276  17502 |        0 |        0
1011.55/1011.97	c 1011s |      26 |  9300872 |  8801152 |     1276  17527 |        0 |        0
1013.55/1013.97	c 1013s |      26 |  9318332 |  8817852 |     1276  17552 |        0 |        0
1015.55/1015.98	c 1015s |      26 |  9336112 |  8834552 |     1276  17578 |        0 |        0
1017.55/1017.98	c 1017s |      26 |  9354087 |  8851452 |     1276  17604 |        0 |        0
1019.65/1020.00	c 1019s |      26 |  9371769 |  8868452 |     1276  17630 |        0 |        0
1021.65/1022.01	c 1021s |      26 |  9389328 |  8885252 |     1276  17655 |        0 |        0
1023.65/1024.01	c 1023s |      26 |  9406961 |  8902052 |     1276  17681 |        0 |        0
1025.65/1026.02	c 1026s |      26 |  9424812 |  8919052 |     1276  17707 |        0 |        0
1027.65/1028.04	c 1028s |      26 |  9442987 |  8935952 |     1276  17733 |        0 |        0
1029.65/1030.04	c 1030s |      26 |  9461225 |  8952852 |     1276  17758 |        0 |        0
1031.65/1032.05	c 1032s |      26 |  9479557 |  8969852 |     1276  17784 |        0 |        0
1033.66/1034.07	c 1034s |      26 |  9497916 |  8986952 |     1276  17811 |        0 |        0
1035.65/1036.07	c 1036s |      26 |  9516844 |  9003852 |     1276  17836 |        0 |        0
1037.65/1038.08	c 1038s |      26 |  9535346 |  9020652 |     1276  17862 |        0 |        0
1039.65/1040.08	c 1040s |      26 |  9553555 |  9037452 |     1276  17888 |        0 |        0
1041.65/1042.09	c 1042s |      26 |  9571847 |  9054452 |     1276  17914 |        0 |        0
1043.66/1044.09	c 1044s |      26 |  9590333 |  9071752 |     1276  17940 |        0 |        0
1045.65/1046.10	c 1046s |      26 |  9608930 |  9088952 |     1276  17966 |        0 |        0
1047.75/1048.10	c 1048s |      26 |  9626806 |  9105852 |     1276  17992 |        0 |        0
1049.75/1050.10	c 1050s |      26 |  9644353 |  9122852 |     1276  18018 |        0 |        0
1051.75/1052.11	c 1052s |      26 |  9662135 |  9139852 |     1276  18044 |        0 |        0
1053.75/1054.11	c 1054s |      26 |  9679951 |  9156652 |     1276  18070 |        0 |        0
1055.75/1056.12	c 1056s |      26 |  9698415 |  9173852 |     1276  18096 |        0 |        0
1057.75/1058.12	c 1058s |      26 |  9716355 |  9190752 |     1276  18122 |        0 |        0
1059.75/1060.13	c 1060s |      26 |  9734372 |  9207852 |     1276  18148 |        0 |        0
1061.75/1062.14	c 1062s |      26 |  9752595 |  9225052 |     1276  18174 |        0 |        0
1063.75/1064.14	c 1064s |      26 |  9770627 |  9242452 |     1276  18201 |        0 |        0
1065.75/1066.15	c 1066s |      26 |  9788594 |  9259852 |     1276  18227 |        0 |        0
1067.75/1068.16	c 1068s |      26 |  9806627 |  9276952 |     1276  18254 |        0 |        0
1069.74/1070.17	c 1070s |      26 |  9824570 |  9294352 |     1276  18280 |        0 |        0
1071.74/1072.18	c 1072s |      26 |  9842697 |  9311352 |     1276  18306 |        0 |        0
1073.74/1074.19	c 1074s |      26 |  9860550 |  9327952 |     1276  18331 |        0 |        0
1075.74/1076.19	c 1076s |      26 |  9878027 |  9344752 |     1276  18357 |        0 |        0
1077.84/1078.20	c 1078s |      26 |  9895869 |  9361552 |     1276  18383 |        0 |        0
1079.84/1080.20	c 1080s |      26 |  9913831 |  9378752 |     1276  18409 |        0 |        0
1081.84/1082.20	c 1082s |      26 |  9931865 |  9395952 |     1276  18435 |        0 |        0
1083.84/1084.22	c 1084s |      26 |  9949861 |  9413252 |     1276  18462 |        0 |        0
1085.84/1086.22	c 1086s |      26 |  9967539 |  9430252 |     1276  18488 |        0 |        0
1087.84/1088.22	c 1088s |      26 |  9985315 |  9447252 |     1276  18514 |        0 |        0
1089.85/1090.23	c 1090s |      26 | 10003801 |  9464352 |     1276  18540 |        0 |        0
1091.84/1092.24	c 1092s |      26 | 10022904 |  9481352 |     1276  18566 |        0 |        0
1093.84/1094.24	c 1094s |      26 | 10041843 |  9498252 |     1276  18591 |        0 |        0
1095.84/1096.25	c 1096s |      26 | 10060262 |  9515152 |     1276  18617 |        0 |        0
1097.84/1098.26	c 1098s |      26 | 10079642 |  9532252 |     1276  18643 |        0 |        0
1099.84/1100.26	c 1100s |      26 | 10097938 |  9548952 |     1276  18668 |        0 |        0
1101.84/1102.26	c 1102s |      26 | 10116276 |  9565952 |     1276  18694 |        0 |        0
1103.84/1104.27	c 1104s |      26 | 10134539 |  9582952 |     1276  18720 |        0 |        0
1105.84/1106.28	c 1106s |      26 | 10152614 |  9600152 |     1276  18747 |        0 |        0
1107.84/1108.29	c 1108s |      26 | 10170820 |  9617252 |     1276  18773 |        0 |        0
1109.84/1110.29	c 1110s |      26 | 10188978 |  9634052 |     1276  18798 |        0 |        0
1111.84/1112.29	c 1112s |      26 | 10207246 |  9650952 |     1276  18824 |        0 |        0
1113.83/1114.30	c 1114s |      26 | 10225966 |  9668452 |     1276  18851 |        0 |        0
1115.93/1116.30	c 1116s |      26 | 10244729 |  9685752 |     1276  18877 |        0 |        0
1117.93/1118.30	c 1118s |      26 | 10263005 |  9702952 |     1276  18904 |        0 |        0
1119.93/1120.30	c 1120s |      26 | 10281539 |  9720252 |     1276  18930 |        0 |        0
1121.93/1122.31	c 1122s |      26 | 10300049 |  9737752 |     1276  18957 |        0 |        0
1123.94/1124.31	c 1124s |      26 | 10318766 |  9755352 |     1276  18984 |        0 |        0
1125.94/1126.32	c 1126s |      26 | 10337367 |  9772852 |     1276  19011 |        0 |        0
1127.94/1128.33	c 1128s |      26 | 10356287 |  9790452 |     1276  19037 |        0 |        0
1129.94/1130.34	c 1130s |      26 | 10374857 |  9807552 |     1276  19064 |        0 |        0
1131.94/1132.35	c 1132s |      26 | 10394136 |  9824452 |     1276  19089 |        0 |        0
1133.94/1134.36	c 1134s |      26 | 10413188 |  9841652 |     1276  19116 |        0 |        0
1135.94/1136.36	c 1136s |      26 | 10431294 |  9858752 |     1276  19142 |        0 |        0
1137.94/1138.36	c 1138s |      26 | 10449901 |  9876152 |     1276  19168 |        0 |        0
1139.93/1140.37	c 1140s |      26 | 10469157 |  9893852 |     1276  19196 |        0 |        0
1141.93/1142.37	c 1142s |      26 | 10487084 |  9911052 |     1276  19222 |        0 |        0
1143.93/1144.37	c 1144s |      26 | 10505118 |  9928252 |     1276  19248 |        0 |        0
1145.94/1146.38	c 1146s |      26 | 10523433 |  9945452 |     1276  19274 |        0 |        0
1147.93/1148.39	c 1148s |      26 | 10541641 |  9962852 |     1276  19301 |        0 |        0
1149.93/1150.39	c 1150s |      26 | 10559653 |  9979852 |     1276  19327 |        0 |        0
1151.93/1152.39	c 1152s |      26 | 10577861 |  9996952 |     1276  19353 |        0 |        0
1154.03/1154.40	c 1154s |      26 | 10596188 | 10014352 |     1276  19380 |        0 |        0
1156.03/1156.41	c 1156s |      26 | 10615388 | 10031852 |     1276  19407 |        0 |        0
1158.03/1158.42	c 1158s |      26 | 10634232 | 10049552 |     1276  19434 |        0 |        0
1160.02/1160.43	c 1160s |      26 | 10653225 | 10067252 |     1276  19461 |        0 |        0
1162.02/1162.44	c 1162s |      26 | 10672491 | 10084952 |     1276  19488 |        0 |        0
1164.03/1164.45	c 1164s |      26 | 10691381 | 10102652 |     1276  19515 |        0 |        0
1166.03/1166.45	c 1166s |      26 | 10710798 | 10120052 |     1276  19541 |        0 |        0
1168.03/1168.45	c 1168s |      26 | 10728492 | 10136752 |     1276  19567 |        0 |        0
1170.04/1170.46	c 1170s |      26 | 10746458 | 10153852 |     1276  19593 |        0 |        0
1172.03/1172.46	c 1172s |      26 | 10764879 | 10171052 |     1276  19619 |        0 |        0
1174.03/1174.47	c 1174s |      26 | 10783009 | 10188052 |     1276  19645 |        0 |        0
1176.03/1176.48	c 1176s |      26 | 10800744 | 10204952 |     1276  19671 |        0 |        0
1178.03/1178.48	c 1178s |      26 | 10818792 | 10222152 |     1276  19697 |        0 |        0
1180.03/1180.48	c 1180s |      26 | 10836869 | 10239352 |     1276  19723 |        0 |        0
1182.03/1182.49	c 1182s |      26 | 10855122 | 10256452 |     1276  19749 |        0 |        0
1184.13/1184.50	c 1184s |      26 | 10873359 | 10273752 |     1276  19775 |        0 |        0
1186.12/1186.51	c 1186s |      26 | 10891162 | 10290752 |     1276  19801 |        0 |        0
1188.12/1188.51	c 1188s |      26 | 10908473 | 10307452 |     1276  19827 |        0 |        0
1190.12/1190.52	c 1190s |      26 | 10926170 | 10324552 |     1276  19853 |        0 |        0
1192.13/1192.52	c 1192s |      26 | 10944203 | 10341952 |     1276  19880 |        0 |        0
1194.12/1194.53	c 1194s |      26 | 10962478 | 10359252 |     1276  19906 |        0 |        0
1196.12/1196.53	c 1196s |      26 | 10980662 | 10376652 |     1276  19932 |        0 |        0
1198.12/1198.54	c 1198s |      26 | 10999074 | 10394152 |     1276  19959 |        0 |        0
1200.12/1200.55	c 1200s |      26 | 11017289 | 10411652 |     1276  19986 |        0 |        0
1202.12/1202.56	c 1202s |      26 | 11035858 | 10428852 |     1276  20012 |        0 |        0
1204.13/1204.57	c 1204s |      26 | 11053981 | 10445952 |     1276  20038 |        0 |        0
1206.12/1206.58	c 1206s |      26 | 11072153 | 10463452 |     1276  20065 |        0 |        0
1208.12/1208.58	c 1208s |      26 | 11090195 | 10480752 |     1276  20092 |        0 |        0
1210.12/1210.59	c 1210s |      26 | 11108821 | 10498552 |     1276  20119 |        0 |        0
1212.22/1212.60	c 1212s |      26 | 11127317 | 10516252 |     1276  20146 |        0 |        0
1214.22/1214.60	c 1214s |      26 | 11145668 | 10533752 |     1276  20173 |        0 |        0
1216.22/1216.60	c 1216s |      26 | 11164281 | 10551352 |     1276  20200 |        0 |        0
1218.22/1218.61	c 1218s |      26 | 11182935 | 10568852 |     1276  20226 |        0 |        0
1220.22/1220.61	c 1220s |      26 | 11201275 | 10586352 |     1276  20253 |        0 |        0
1222.22/1222.61	c 1222s |      26 | 11220104 | 10604052 |     1276  20280 |        0 |        0
1224.22/1224.62	c 1224s |      26 | 11238555 | 10621452 |     1276  20307 |        0 |        0
1226.22/1226.62	c 1226s |      26 | 11257181 | 10638852 |     1276  20333 |        0 |        0
1228.22/1228.62	c 1228s |      26 | 11275785 | 10656452 |     1276  20360 |        0 |        0
1230.22/1230.63	c 1230s |      26 | 11294537 | 10674352 |     1276  20388 |        0 |        0
1232.21/1232.64	c 1232s |      26 | 11313177 | 10692052 |     1276  20415 |        0 |        0
1234.21/1234.65	c 1234s |      26 | 11332221 | 10709852 |     1276  20442 |        0 |        0
1236.21/1236.65	c 1236s |      26 | 11350780 | 10727552 |     1276  20469 |        0 |        0
1238.22/1238.65	c 1238s |      26 | 11369338 | 10745252 |     1276  20496 |        0 |        0
1240.21/1240.65	c 1240s |      26 | 11387437 | 10762252 |     1276  20522 |        0 |        0
1242.21/1242.66	c 1242s |      26 | 11405272 | 10779052 |     1276  20548 |        0 |        0
1244.21/1244.67	c 1244s |      26 | 11423227 | 10796052 |     1276  20573 |        0 |        0
1246.21/1246.67	c 1246s |      26 | 11441769 | 10813352 |     1276  20600 |        0 |        0
1248.22/1248.68	c 1248s |      26 | 11459599 | 10830252 |     1276  20625 |        0 |        0
1250.21/1250.68	c 1250s |      26 | 11477521 | 10847252 |     1276  20651 |        0 |        0
1252.21/1252.69	c 1252s |      26 | 11495333 | 10864552 |     1276  20678 |        0 |        0
1254.31/1254.70	c 1254s |      26 | 11513100 | 10881752 |     1276  20704 |        0 |        0
1256.31/1256.71	c 1256s |      26 | 11531099 | 10899052 |     1276  20730 |        0 |        0
1258.31/1258.72	c 1258s |      26 | 11549604 | 10916452 |     1276  20757 |        0 |        0
1260.32/1260.72	c 1260s |      26 | 11567512 | 10933352 |     1276  20782 |        0 |        0
1262.31/1262.73	c 1262s |      26 | 11585485 | 10950552 |     1276  20808 |        0 |        0
1264.31/1264.73	c 1264s |      26 | 11603404 | 10967752 |     1276  20835 |        0 |        0
1266.32/1266.74	c 1266s |      26 | 11621776 | 10984752 |     1276  20861 |        0 |        0
1268.32/1268.74	c 1268s |      26 | 11639802 | 11001652 |     1276  20886 |        0 |        0
1270.31/1270.75	c 1270s |      26 | 11657763 | 11018352 |     1276  20912 |        0 |        0
1272.32/1272.75	c 1272s |      26 | 11676402 | 11035252 |     1276  20938 |        0 |        0
1274.31/1274.76	c 1274s |      26 | 11694633 | 11052552 |     1276  20964 |        0 |        0
1276.31/1276.78	c 1276s |      26 | 11713330 | 11069952 |     1276  20991 |        0 |        0
1278.31/1278.78	c 1278s |      26 | 11731905 | 11087252 |     1276  21017 |        0 |        0
1280.31/1280.78	c 1280s |      26 | 11750565 | 11104552 |     1276  21044 |        0 |        0
1282.32/1282.79	c 1282s |      26 | 11769058 | 11121952 |     1276  21070 |        0 |        0
1284.31/1284.80	c 1284s |      26 | 11787565 | 11139252 |     1276  21097 |        0 |        0
1286.41/1286.81	c 1286s |      26 | 11806294 | 11156952 |     1276  21124 |        0 |        0
1288.41/1288.81	c 1288s |      26 | 11824598 | 11174352 |     1276  21150 |        0 |        0
1290.41/1290.82	c 1290s |      26 | 11842611 | 11191752 |     1276  21177 |        0 |        0
1292.41/1292.82	c 1292s |      26 | 11860735 | 11209252 |     1276  21204 |        0 |        0
1294.41/1294.83	c 1294s |      26 | 11879076 | 11226952 |     1276  21231 |        0 |        0
1296.41/1296.84	c 1296s |      26 | 11897808 | 11244852 |     1276  21258 |        0 |        0
1298.40/1298.84	c 1298s |      26 | 11916460 | 11262352 |     1276  21285 |        0 |        0
1300.40/1300.85	c 1300s |      26 | 11934815 | 11279652 |     1276  21311 |        0 |        0
1302.40/1302.86	c 1302s |      26 | 11952754 | 11297152 |     1276  21338 |        0 |        0
1304.41/1304.86	c 1304s |      26 | 11970961 | 11314652 |     1276  21365 |        0 |        0
1306.42/1306.86	c 1306s |      26 | 11989185 | 11332152 |     1404  21389 |        0 |        0
1308.41/1308.87	c 1308s |      26 | 12007313 | 11349752 |     1404  21414 |        0 |        0
1310.41/1310.88	c 1310s |      26 | 12025334 | 11367152 |     1404  21438 |        0 |        0
1312.41/1312.88	c 1312s |      26 | 12043264 | 11384452 |     1404  21462 |        0 |        0
1313.91/1314.31	c 1314s |      27 | 12056020 | 11396733 |     1404  21479 |        0 |        0
1315.91/1316.31	c 1316s |      27 | 12074239 | 11413633 |     1404  21502 |        0 |        0
1317.91/1318.32	c 1318s |      27 | 12091851 | 11430033 |     1404  21525 |        0 |        0
1319.91/1320.33	c 1320s |      27 | 12109230 | 11446333 |     1404  21547 |        0 |        0
1321.92/1322.34	c 1322s |      27 | 12126751 | 11462733 |     1404  21570 |        0 |        0
1323.91/1324.34	c 1324s |      27 | 12144279 | 11479533 |     1404  21593 |        0 |        0
1325.91/1326.35	c 1326s |      27 | 12161858 | 11496433 |     1404  21617 |        0 |        0
1327.91/1328.35	c 1328s |      27 | 12179587 | 11513333 |     1404  21640 |        0 |        0
1329.91/1330.36	c 1330s |      27 | 12197411 | 11530333 |     1404  21664 |        0 |        0
1331.91/1332.37	c 1332s |      27 | 12215393 | 11547433 |     1404  21687 |        0 |        0
1333.91/1334.38	c 1334s |      27 | 12233262 | 11564533 |     1404  21711 |        0 |        0
1335.91/1336.38	c 1336s |      27 | 12251496 | 11581533 |     1404  21735 |        0 |        0
1337.90/1338.39	c 1338s |      27 | 12269823 | 11598733 |     1404  21759 |        0 |        0
1340.00/1340.41	c 1340s |      27 | 12288080 | 11615933 |     1404  21783 |        0 |        0
1342.00/1342.42	c 1342s |      27 | 12306711 | 11632833 |     1404  21806 |        0 |        0
1344.00/1344.42	c 1344s |      27 | 12324755 | 11649733 |     1404  21829 |        0 |        0
1346.01/1346.42	c 1346s |      27 | 12342682 | 11666633 |     1404  21853 |        0 |        0
1348.00/1348.43	c 1348s |      27 | 12361049 | 11684033 |     1404  21877 |        0 |        0
1350.00/1350.44	c 1350s |      27 | 12379000 | 11700633 |     1404  21900 |        0 |        0
1352.00/1352.44	c 1352s |      27 | 12396419 | 11716933 |     1404  21923 |        0 |        0
1354.00/1354.46	c 1354s |      27 | 12414000 | 11733533 |     1404  21946 |        0 |        0
1356.01/1356.46	c 1356s |      27 | 12431967 | 11750333 |     1404  21969 |        0 |        0
1358.00/1358.47	c 1358s |      27 | 12450384 | 11767333 |     1404  21993 |        0 |        0
1360.00/1360.47	c 1360s |      27 | 12468268 | 11784533 |     1404  22016 |        0 |        0
1362.00/1362.48	c 1362s |      27 | 12486697 | 11801733 |     1404  22040 |        0 |        0
1364.00/1364.48	c 1364s |      27 | 12504359 | 11818333 |     1404  22063 |        0 |        0
1366.00/1366.48	c 1366s |      27 | 12522444 | 11835233 |     1404  22087 |        0 |        0
1368.00/1368.49	c 1368s |      27 | 12539876 | 11851933 |     1404  22110 |        0 |        0
1370.00/1370.49	c 1370s |      27 | 12557141 | 11868633 |     1404  22133 |        0 |        0
1372.10/1372.50	c 1372s |      27 | 12574938 | 11885633 |     1404  22157 |        0 |        0
1374.10/1374.50	c 1374s |      27 | 12592572 | 11902533 |     1404  22180 |        0 |        0
1376.09/1376.50	c 1376s |      27 | 12610150 | 11919333 |     1404  22203 |        0 |        0
1378.09/1378.51	c 1378s |      27 | 12628036 | 11936433 |     1404  22227 |        0 |        0
1380.10/1380.51	c 1380s |      27 | 12645960 | 11953633 |     1404  22251 |        0 |        0
1382.09/1382.52	c 1382s |      27 | 12663428 | 11970233 |     1404  22274 |        0 |        0
1384.09/1384.53	c 1384s |      27 | 12681278 | 11987133 |     1404  22297 |        0 |        0
1386.09/1386.53	c 1386s |      27 | 12699154 | 12004133 |     1404  22321 |        0 |        0
1388.09/1388.53	c 1388s |      27 | 12717348 | 12021233 |     1404  22345 |        0 |        0
1390.10/1390.54	c 1390s |      27 | 12735261 | 12038233 |     1404  22368 |        0 |        0
1392.09/1392.54	c 1392s |      27 | 12752330 | 12054433 |     1404  22391 |        0 |        0
1394.09/1394.55	c 1394s |      27 | 12770073 | 12071033 |     1404  22414 |        0 |        0
1396.09/1396.56	c 1396s |      27 | 12788419 | 12088033 |     1404  22437 |        0 |        0
1398.09/1398.57	c 1398s |      27 | 12806321 | 12105033 |     1404  22461 |        0 |        0
1400.09/1400.57	c 1400s |      27 | 12823996 | 12121733 |     1404  22484 |        0 |        0
1402.09/1402.58	c 1402s |      27 | 12841620 | 12138433 |     1404  22507 |        0 |        0
1404.09/1404.59	c 1404s |      27 | 12859606 | 12155133 |     1404  22530 |        0 |        0
1406.20/1406.60	c 1406s |      27 | 12877237 | 12171533 |     1404  22553 |        0 |        0
1408.20/1408.61	c 1408s |      27 | 12895460 | 12188333 |     1404  22576 |        0 |        0
1410.19/1410.62	c 1410s |      27 | 12913519 | 12205133 |     1404  22599 |        0 |        0
1412.19/1412.63	c 1412s |      27 | 12931820 | 12222233 |     1404  22623 |        0 |        0
1414.20/1414.64	c 1414s |      27 | 12949873 | 12239033 |     1404  22647 |        0 |        0
1416.19/1416.66	c 1416s |      27 | 12967427 | 12255633 |     1404  22669 |        0 |        0
1418.19/1418.67	c 1418s |      27 | 12985234 | 12272333 |     1404  22693 |        0 |        0
1420.19/1420.67	c 1420s |      27 | 13002898 | 12289033 |     1404  22716 |        0 |        0
1422.19/1422.68	c 1422s |      27 | 13020590 | 12305933 |     1404  22739 |        0 |        0
1424.20/1424.68	c 1424s |      27 | 13038436 | 12322633 |     1404  22762 |        0 |        0
1426.19/1426.69	c 1426s |      27 | 13055914 | 12339133 |     1404  22785 |        0 |        0
1428.19/1428.69	c 1428s |      27 | 13073900 | 12356233 |     1404  22809 |        0 |        0
1430.29/1430.70	c 1430s |      27 | 13091894 | 12373133 |     1404  22832 |        0 |        0
1432.29/1432.70	c 1432s |      27 | 13109427 | 12389533 |     1404  22855 |        0 |        0
1434.29/1434.71	c 1434s |      27 | 13127729 | 12406633 |     1404  22879 |        0 |        0
1436.29/1436.71	c 1436s |      27 | 13145700 | 12423533 |     1404  22902 |        0 |        0
1438.29/1438.71	c 1438s |      27 | 13164101 | 12440533 |     1404  22926 |        0 |        0
1440.29/1440.72	c 1440s |      27 | 13181631 | 12457033 |     1404  22949 |        0 |        0
1442.28/1442.73	c 1442s |      27 | 13199398 | 12473633 |     1404  22972 |        0 |        0
1444.28/1444.73	c 1444s |      27 | 13216656 | 12490233 |     1404  22995 |        0 |        0
1446.28/1446.74	c 1446s |      27 | 13234947 | 12507233 |     1404  23018 |        0 |        0
1448.29/1448.75	c 1448s |      27 | 13252788 | 12523833 |     1404  23041 |        0 |        0
1450.28/1450.76	c 1450s |      27 | 13269832 | 12539833 |     1404  23063 |        0 |        0
1452.28/1452.77	c 1452s |      27 | 13287569 | 12556533 |     1404  23086 |        0 |        0
1454.28/1454.78	c 1454s |      27 | 13305359 | 12573233 |     1404  23109 |        0 |        0
1456.28/1456.78	c 1456s |      27 | 13322317 | 12589433 |     1404  23132 |        0 |        0
1458.30/1458.79	c 1458s |      27 | 13339530 | 12606033 |     1404  23155 |        0 |        0
1460.29/1460.79	c 1460s |      27 | 13356764 | 12622333 |     1404  23177 |        0 |        0
1462.39/1462.80	c 1462s |      27 | 13374065 | 12638933 |     1404  23200 |        0 |        0
1464.39/1464.81	c 1464s |      27 | 13391370 | 12655033 |     1404  23223 |        0 |        0
1466.39/1466.81	c 1466s |      27 | 13408305 | 12671133 |     1404  23245 |        0 |        0
1468.39/1468.82	c 1468s |      27 | 13425813 | 12687533 |     1404  23268 |        0 |        0
1470.39/1470.83	c 1470s |      27 | 13443222 | 12703733 |     1404  23290 |        0 |        0
1472.39/1472.84	c 1472s |      27 | 13460291 | 12720133 |     1404  23313 |        0 |        0
1474.38/1474.85	c 1474s |      27 | 13478166 | 12736633 |     1404  23336 |        0 |        0
1476.38/1476.85	c 1476s |      27 | 13495401 | 12753133 |     1404  23359 |        0 |        0
1478.38/1478.86	c 1478s |      27 | 13513885 | 12770333 |     1404  23382 |        0 |        0
1480.38/1480.87	c 1480s |      27 | 13531913 | 12786733 |     1404  23405 |        0 |        0
1482.39/1482.88	c 1482s |      27 | 13549668 | 12803333 |     1404  23428 |        0 |        0
1484.48/1484.90	c 1484s |      27 | 13567606 | 12819933 |     1404  23451 |        0 |        0
1486.48/1486.90	c 1486s |      27 | 13585504 | 12836133 |     1404  23474 |        0 |        0
1488.48/1488.90	c 1488s |      27 | 13603206 | 12852733 |     1404  23497 |        0 |        0
1490.48/1490.91	c 1490s |      27 | 13621167 | 12869733 |     1404  23520 |        0 |        0
1492.48/1492.92	c 1492s |      27 | 13639200 | 12886633 |     1404  23544 |        0 |        0
1494.48/1494.92	c 1494s |      27 | 13657035 | 12903733 |     1404  23567 |        0 |        0
1496.48/1496.93	c 1496s |      27 | 13674954 | 12920833 |     1404  23591 |        0 |        0
1498.48/1498.94	c 1498s |      27 | 13692992 | 12937833 |     1404  23615 |        0 |        0
1500.48/1500.95	c 1500s |      27 | 13710753 | 12954633 |     1404  23638 |        0 |        0
1502.47/1502.95	c 1502s |      27 | 13728963 | 12971433 |     1404  23662 |        0 |        0
1504.48/1504.96	c 1504s |      27 | 13746415 | 12987933 |     1404  23684 |        0 |        0
1506.47/1506.96	c 1506s |      27 | 13763842 | 13004233 |     1404  23707 |        0 |        0
1508.47/1508.97	c 1508s |      27 | 13782552 | 13020633 |     1404  23730 |        0 |        0
1510.47/1510.98	c 1510s |      27 | 13800380 | 13037333 |     1404  23753 |        0 |        0
1512.47/1512.99	c 1512s |      27 | 13818691 | 13054333 |     1404  23777 |        0 |        0
1514.57/1515.00	c 1514s |      27 | 13837056 | 13071333 |     1404  23800 |        0 |        0
1516.48/1517.00	c 1516s |      27 | 13855686 | 13088233 |     1404  23824 |        0 |        0
1518.57/1519.00	c 1518s |      27 | 13874243 | 13105733 |     1404  23848 |        0 |        0
1520.57/1521.00	c 1520s |      27 | 13892604 | 13122733 |     1404  23872 |        0 |        0
1522.57/1523.00	c 1522s |      27 | 13910061 | 13139333 |     1404  23894 |        0 |        0
1524.57/1525.01	c 1524s |      27 | 13927373 | 13155933 |     1404  23917 |        0 |        0
1526.57/1527.02	c 1527s |      27 | 13945018 | 13172833 |     1404  23941 |        0 |        0
1528.57/1529.02	c 1529s |      27 | 13962962 | 13189833 |     1404  23964 |        0 |        0
1530.58/1531.02	c 1531s |      27 | 13981241 | 13207033 |     1404  23988 |        0 |        0
1532.58/1533.04	c 1533s |      27 | 13999168 | 13224133 |     1404  24012 |        0 |        0
1534.58/1535.05	c 1535s |      27 | 14017324 | 13241533 |     1404  24036 |        0 |        0
1536.58/1537.05	c 1537s |      27 | 14035167 | 13258633 |     1404  24060 |        0 |        0
1538.58/1539.06	c 1539s |      27 | 14053107 | 13275733 |     1404  24084 |        0 |        0
1540.57/1541.07	c 1541s |      27 | 14071068 | 13292933 |     1404  24108 |        0 |        0
1542.57/1543.07	c 1543s |      27 | 14088973 | 13309833 |     1404  24131 |        0 |        0
1544.57/1545.08	c 1545s |      27 | 14106676 | 13326633 |     1404  24155 |        0 |        0
1546.57/1547.08	c 1547s |      27 | 14124308 | 13343433 |     1404  24178 |        0 |        0
1548.57/1549.09	c 1549s |      27 | 14142423 | 13360033 |     1404  24201 |        0 |        0
1550.58/1551.09	c 1551s |      27 | 14160442 | 13376933 |     1404  24225 |        0 |        0
1552.57/1553.10	c 1553s |      27 | 14178968 | 13393433 |     1404  24248 |        0 |        0
1554.67/1555.10	c 1555s |      27 | 14197458 | 13410433 |     1404  24271 |        0 |        0
1556.67/1557.11	c 1557s |      27 | 14215890 | 13427733 |     1404  24295 |        0 |        0
1558.67/1559.11	c 1559s |      27 | 14234095 | 13444733 |     1404  24319 |        0 |        0
1560.67/1561.11	c 1561s |      27 | 14252394 | 13461833 |     1404  24343 |        0 |        0
1562.67/1563.13	c 1563s |      27 | 14270807 | 13479133 |     1404  24367 |        0 |        0
1564.67/1565.13	c 1565s |      27 | 14289193 | 13496333 |     1404  24391 |        0 |        0
1566.66/1567.13	c 1567s |      27 | 14307392 | 13513533 |     1404  24415 |        0 |        0
1568.66/1569.13	c 1569s |      27 | 14325926 | 13531133 |     1404  24440 |        0 |        0
1570.66/1571.14	c 1571s |      27 | 14344456 | 13548433 |     1404  24464 |        0 |        0
1572.67/1573.15	c 1573s |      27 | 14362598 | 13565233 |     1404  24487 |        0 |        0
1574.67/1575.15	c 1575s |      27 | 14380726 | 13582033 |     1404  24510 |        0 |        0
1576.67/1577.17	c 1577s |      27 | 14398592 | 13598733 |     1404  24533 |        0 |        0
1578.67/1579.17	c 1579s |      27 | 14416181 | 13615433 |     1404  24556 |        0 |        0
1580.67/1581.17	c 1581s |      27 | 14434495 | 13632633 |     1404  24580 |        0 |        0
1582.67/1583.18	c 1583s |      27 | 14452285 | 13649733 |     1404  24604 |        0 |        0
1584.67/1585.18	c 1585s |      27 | 14470594 | 13666733 |     1404  24628 |        0 |        0
1586.67/1587.19	c 1587s |      27 | 14488563 | 13683833 |     1404  24652 |        0 |        0
1588.77/1589.20	c 1589s |      27 | 14507479 | 13701633 |     1404  24676 |        0 |        0
1590.77/1591.21	c 1591s |      27 | 14526803 | 13719333 |     1404  24701 |        0 |        0
1592.77/1593.22	c 1593s |      27 | 14545232 | 13736333 |     1404  24725 |        0 |        0
1594.77/1595.23	c 1595s |      27 | 14563582 | 13753433 |     1404  24748 |        0 |        0
1596.77/1597.24	c 1597s |      27 | 14582163 | 13770833 |     1404  24772 |        0 |        0
1598.77/1599.24	c 1599s |      27 | 14600775 | 13788133 |     1404  24797 |        0 |        0
1600.76/1601.24	c 1601s |      27 | 14618726 | 13805133 |     1404  24820 |        0 |        0
1602.76/1603.24	c 1603s |      27 | 14636382 | 13821333 |     1404  24843 |        0 |        0
1604.76/1605.25	c 1605s |      27 | 14654301 | 13837933 |     1404  24866 |        0 |        0
1606.77/1607.26	c 1607s |      27 | 14672222 | 13854533 |     1404  24889 |        0 |        0
1608.76/1609.26	c 1609s |      27 | 14689723 | 13871133 |     1404  24911 |        0 |        0
1610.76/1611.26	c 1611s |      27 | 14707599 | 13887733 |     1404  24934 |        0 |        0
1612.76/1613.26	c 1613s |      27 | 14725351 | 13904233 |     1404  24957 |        0 |        0
1614.76/1615.27	c 1615s |      27 | 14743307 | 13921033 |     1404  24981 |        0 |        0
1616.76/1617.27	c 1617s |      27 | 14760961 | 13937733 |     1404  25004 |        0 |        0
1618.76/1619.28	c 1619s |      27 | 14778708 | 13954333 |     1404  25027 |        0 |        0
1620.76/1621.29	c 1621s |      27 | 14796071 | 13970833 |     1404  25050 |        0 |        0
1622.76/1623.29	c 1623s |      27 | 14813626 | 13987433 |     1404  25073 |        0 |        0
1624.86/1625.30	c 1625s |      27 | 14831927 | 14004133 |     1404  25096 |        0 |        0
1626.86/1627.30	c 1627s |      27 | 14850293 | 14020833 |     1404  25119 |        0 |        0
1628.86/1629.30	c 1629s |      27 | 14868067 | 14037533 |     1404  25142 |        0 |        0
1630.86/1631.31	c 1631s |      27 | 14886074 | 14054533 |     1404  25166 |        0 |        0
1632.85/1633.31	c 1633s |      27 | 14904196 | 14071233 |     1404  25189 |        0 |        0
1634.85/1635.31	c 1635s |      27 | 14921811 | 14087833 |     1404  25212 |        0 |        0
1636.85/1637.32	c 1637s |      27 | 14939638 | 14104333 |     1404  25235 |        0 |        0
1638.85/1639.32	c 1639s |      27 | 14957421 | 14121133 |     1404  25258 |        0 |        0
1640.86/1641.33	c 1641s |      27 | 14975447 | 14138033 |     1404  25281 |        0 |        0
1642.85/1643.33	c 1643s |      27 | 14993444 | 14155133 |     1404  25305 |        0 |        0
1644.85/1645.34	c 1645s |      27 | 15011654 | 14172233 |     1404  25329 |        0 |        0
1646.85/1647.35	c 1647s |      27 | 15030013 | 14189533 |     1404  25353 |        0 |        0
1648.85/1649.36	c 1649s |      27 | 15047916 | 14206733 |     1404  25377 |        0 |        0
1650.86/1651.37	c 1651s |      27 | 15065839 | 14223733 |     1404  25400 |        0 |        0
1652.86/1653.37	c 1653s |      27 | 15083728 | 14240833 |     1404  25424 |        0 |        0
1654.86/1655.38	c 1655s |      27 | 15101778 | 14258133 |     1404  25448 |        0 |        0
1656.96/1657.40	c 1657s |      27 | 15120290 | 14275533 |     1404  25472 |        0 |        0
1658.96/1659.41	c 1659s |      27 | 15138240 | 14292333 |     1404  25496 |        0 |        0
1660.96/1661.41	c 1661s |      27 | 15156636 | 14309633 |     1404  25520 |        0 |        0
1662.96/1663.42	c 1663s |      27 | 15174549 | 14326933 |     1404  25544 |        0 |        0
1664.96/1665.43	c 1665s |      27 | 15192373 | 14344133 |     1404  25567 |        0 |        0
1666.96/1667.44	c 1667s |      27 | 15210343 | 14361433 |     1404  25591 |        0 |        0
1668.96/1669.45	c 1669s |      27 | 15228558 | 14378833 |     1404  25616 |        0 |        0
1670.96/1671.45	c 1671s |      27 | 15246929 | 14396333 |     1404  25640 |        0 |        0
1672.96/1673.45	c 1673s |      27 | 15265421 | 14413933 |     1404  25664 |        0 |        0
1674.96/1675.46	c 1675s |      27 | 15283442 | 14431033 |     1404  25688 |        0 |        0
1676.95/1677.46	c 1677s |      27 | 15301549 | 14448033 |     1404  25712 |        0 |        0
1678.95/1679.46	c 1679s |      27 | 15319927 | 14465433 |     1404  25736 |        0 |        0
1680.95/1681.47	c 1681s |      27 | 15338637 | 14482933 |     1404  25760 |        0 |        0
1682.95/1683.47	c 1683s |      27 | 15357013 | 14500333 |     1404  25784 |        0 |        0
1684.95/1685.48	c 1685s |      27 | 15375345 | 14517533 |     1404  25808 |        0 |        0
1686.96/1687.48	c 1687s |      27 | 15393290 | 14534633 |     1404  25832 |        0 |        0
1688.95/1689.49	c 1689s |      27 | 15411650 | 14551333 |     1404  25855 |        0 |        0
1691.05/1691.51	c 1691s |      27 | 15430048 | 14568233 |     1404  25879 |        0 |        0
1693.05/1693.51	c 1693s |      27 | 15448077 | 14585233 |     1404  25902 |        0 |        0
1695.05/1695.51	c 1695s |      27 | 15466101 | 14602033 |     1404  25925 |        0 |        0
1697.05/1697.51	c 1697s |      27 | 15484063 | 14619033 |     1404  25949 |        0 |        0
1699.06/1699.52	c 1699s |      27 | 15502276 | 14636233 |     1404  25973 |        0 |        0
1701.05/1701.52	c 1701s |      27 | 15520486 | 14653433 |     1404  25997 |        0 |        0
1703.05/1703.53	c 1703s |      27 | 15538625 | 14670633 |     1404  26021 |        0 |        0
1705.05/1705.54	c 1705s |      27 | 15556982 | 14687933 |     1404  26045 |        0 |        0
1707.05/1707.54	c 1707s |      27 | 15575952 | 14705733 |     1404  26070 |        0 |        0
1709.05/1709.55	c 1709s |      27 | 15595363 | 14723433 |     1404  26094 |        0 |        0
1711.04/1711.55	c 1711s |      27 | 15613866 | 14740733 |     1404  26118 |        0 |        0
1713.04/1713.56	c 1713s |      27 | 15632266 | 14758133 |     1404  26142 |        0 |        0
1715.04/1715.57	c 1715s |      27 | 15650846 | 14775633 |     1404  26167 |        0 |        0
1717.04/1717.57	c 1717s |      27 | 15668930 | 14792833 |     1404  26191 |        0 |        0
1719.04/1719.58	c 1719s |      27 | 15687493 | 14810433 |     1404  26215 |        0 |        0
1721.05/1721.58	c 1721s |      27 | 15706268 | 14827733 |     1404  26239 |        0 |        0
1723.04/1723.58	c 1723s |      27 | 15725162 | 14845833 |     1404  26265 |        0 |        0
1725.05/1725.59	c 1725s |      27 | 15744350 | 14864033 |     1404  26290 |        0 |        0
1727.15/1727.61	c 1727s |      27 | 15762527 | 14881333 |     1404  26314 |        0 |        0
1729.15/1729.61	c 1729s |      27 | 15780431 | 14898233 |     1404  26337 |        0 |        0
1731.15/1731.61	c 1731s |      27 | 15797622 | 14914733 |     1404  26360 |        0 |        0
1733.15/1733.62	c 1733s |      27 | 15815314 | 14931433 |     1404  26383 |        0 |        0
1735.15/1735.62	c 1735s |      27 | 15833067 | 14947933 |     1404  26406 |        0 |        0
1737.15/1737.63	c 1737s |      27 | 15851085 | 14964733 |     1404  26429 |        0 |        0
1739.15/1739.64	c 1739s |      27 | 15868676 | 14981433 |     1404  26453 |        0 |        0
1741.15/1741.65	c 1741s |      27 | 15886485 | 14998433 |     1404  26476 |        0 |        0
1743.15/1743.67	c 1743s |      27 | 15903644 | 15014733 |     1404  26499 |        0 |        0
1745.14/1745.67	c 1745s |      27 | 15920479 | 15030733 |     1404  26521 |        0 |        0
1747.14/1747.68	c 1747s |      27 | 15938172 | 15047333 |     1404  26544 |        0 |        0
1749.14/1749.68	c 1749s |      27 | 15956042 | 15063833 |     1404  26567 |        0 |        0
1751.14/1751.69	c 1751s |      27 | 15974357 | 15080733 |     1404  26590 |        0 |        0
1753.14/1753.69	c 1753s |      27 | 15991889 | 15097533 |     1404  26613 |        0 |        0
1755.25/1755.70	c 1755s |      27 | 16009505 | 15114333 |     1404  26637 |        0 |        0
1757.24/1757.70	c 1757s |      27 | 16026807 | 15130933 |     1404  26660 |        0 |        0
1759.24/1759.71	c 1759s |      27 | 16044134 | 15147633 |     1404  26683 |        0 |        0
1761.24/1761.72	c 1761s |      27 | 16061954 | 15164633 |     1404  26706 |        0 |        0
1763.24/1763.72	c 1763s |      27 | 16078952 | 15180533 |     1404  26728 |        0 |        0
1765.24/1765.72	c 1765s |      27 | 16096327 | 15196733 |     1404  26751 |        0 |        0
1767.24/1767.72	c 1767s |      27 | 16113513 | 15212733 |     1404  26773 |        0 |        0
1769.24/1769.73	c 1769s |      27 | 16131176 | 15229233 |     1404  26796 |        0 |        0
1771.24/1771.73	c 1771s |      27 | 16149226 | 15245933 |     1404  26819 |        0 |        0
1773.24/1773.74	c 1773s |      27 | 16167363 | 15262833 |     1404  26842 |        0 |        0
1775.24/1775.74	c 1775s |      27 | 16185590 | 15279733 |     1404  26866 |        0 |        0
1777.24/1777.75	c 1777s |      27 | 16204015 | 15296933 |     1404  26890 |        0 |        0
1779.23/1779.76	c 1779s |      27 | 16221797 | 15313633 |     1404  26913 |        0 |        0
1781.23/1781.76	c 1781s |      27 | 16239389 | 15330433 |     1404  26936 |        0 |        0
1783.23/1783.77	c 1783s |      27 | 16257384 | 15347533 |     1404  26960 |        0 |        0
1785.23/1785.77	c 1785s |      27 | 16275478 | 15364533 |     1404  26984 |        0 |        0
1787.23/1787.78	c 1787s |      27 | 16293808 | 15381733 |     1404  27008 |        0 |        0
1789.24/1789.78	c 1789s |      27 | 16311676 | 15398933 |     1404  27031 |        0 |        0
1791.23/1791.78	c 1791s |      27 | 16329537 | 15415933 |     1404  27055 |        0 |        0
1793.33/1793.80	c 1793s |      27 | 16346733 | 15432133 |     1404  27077 |        0 |        0
1795.33/1795.80	c 1795s |      27 | 16364285 | 15449033 |     1404  27101 |        0 |        0
1797.33/1797.80	c 1797s |      27 | 16382243 | 15465933 |     1404  27124 |        0 |        0
1799.33/1799.81	c 1799s |      27 | 16400150 | 15482733 |     1404  27148 |        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-4089008-1466020134/watcher-4089008-1466020134 -o /tmp/evaluation-result-4089008-1466020134/solver-4089008-1466020134 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089008-1466020134.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 6782
/proc/meminfo: memFree=30355712/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=564668 CPUtime=0 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 2074 0 0 0 0 0 0 0 20 0 4 0 4063534 578220032 2946 33554432000 4194304 16246674 140736486627152 140736486626576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 141679 2954 441 2943 0 138573 0
[pid=6782/tid=6783] ppid=6779 vsize=581052 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 594997248 3014 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=586172 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 600240128 3031 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=589244 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4063534 603385856 3046 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 6782
/proc/meminfo: memFree=30355712/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 28707 0 0 0 4 4 0 0 20 0 4 0 4063534 1247350784 29568 33554432000 4194304 16246674 140736486627152 140736486626576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 304529 29580 711 2943 0 301423 0
[pid=6782/tid=6783] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 29585 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 29595 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 29606 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200515 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 6782
/proc/meminfo: memFree=30355712/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 57109 0 0 0 9 9 0 0 20 0 4 0 4063534 1247350784 57971 33554432000 4194304 16246674 140736486627152 140736486626576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 304529 57984 711 2943 0 301423 0
[pid=6782/tid=6783] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 57992 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 58001 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 58007 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 6782
/proc/meminfo: memFree=30355712/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 85486 0 0 0 16 13 0 0 20 0 4 0 4063534 1247350784 86348 33554432000 4194304 16246674 140736486627152 140736486626576 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 304529 86364 711 2943 0 301423 0
[pid=6782/tid=6783] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 86375 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 86384 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 86395 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700378 s]
/proc/loadavg: 2.06 2.11 2.09 3/179 6782
/proc/meminfo: memFree=30355712/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 199530 0 0 0 42 27 0 0 20 0 4 0 4063534 1247350784 200392 33554432000 4194304 16246674 140736486627152 140736486609024 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 304529 200408 711 2943 0 301423 0
[pid=6782/tid=6783] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 200420 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 200427 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4063534 1247350784 200432 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6786
/proc/meminfo: memFree=29371636/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267281 0 0 0 112 37 0 0 20 0 4 0 4063534 1336479744 268122 33554432000 4194304 16246674 140736486627152 140736486609024 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326289 268122 788 2943 0 323183 0
[pid=6782/tid=6783] ppid=6779 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1336479744 268122 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1336479744 268122 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1336479744 268122 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10039 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6786
/proc/meminfo: memFree=29283720/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267400 0 0 0 272 37 0 0 20 0 4 0 4063534 1337528320 268241 33554432000 4194304 16246674 140736486627152 140736486610152 5722559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326545 268241 788 2943 0 323439 0
[pid=6782/tid=6783] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268241 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268241 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268241 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6786
/proc/meminfo: memFree=29283304/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267421 0 0 0 592 37 0 0 20 0 4 0 4063534 1337528320 268262 33554432000 4194304 16246674 140736486627152 140736486609024 13194513 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326545 268262 788 2943 0 323439 0
[pid=6782/tid=6783] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268262 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268262 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268262 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 6786
/proc/meminfo: memFree=29283112/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267456 0 0 0 1232 37 0 0 20 0 4 0 4063534 1337528320 268297 33554432000 4194304 16246674 140736486627152 140736486609024 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326545 268297 788 2943 0 323439 0
[pid=6782/tid=6783] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268297 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268297 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268297 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 6786
/proc/meminfo: memFree=29283776/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267507 0 0 0 2511 37 0 0 20 0 4 0 4063534 1337528320 268348 33554432000 4194304 16246674 140736486627152 140736486610152 5546005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326545 268348 789 2943 0 323439 0
[pid=6782/tid=6783] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268348 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268348 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268348 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.02 2.09 2.08 3/183 6786
/proc/meminfo: memFree=29283752/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267552 0 0 0 5070 38 0 0 20 0 4 0 4063534 1337528320 268393 33554432000 4194304 16246674 140736486627152 140736486610152 5721776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326545 268393 789 2943 0 323439 0
[pid=6782/tid=6783] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268393 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268393 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1337528320 268393 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.05 2.09 2.08 3/184 6790
/proc/meminfo: memFree=29282088/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 267827 0 0 0 10189 39 0 0 20 0 4 0 4063534 1338576896 268668 33554432000 4194304 16246674 140736486627152 140736486610152 5722377 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 326801 268668 791 2943 0 323695 0
[pid=6782/tid=6783] ppid=6779 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1338576896 268668 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1338576896 268668 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1338576896 268668 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/182 7040
/proc/meminfo: memFree=29351064/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1311300 CPUtime=1361.9 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269222 0 0 0 136127 63 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140736486610152 5672222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 327825 269697 793 2943 0 324719 0
[pid=6782/tid=6783] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/183 7043
/proc/meminfo: memFree=29349356/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1311300 CPUtime=1421.9 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269222 0 0 0 142126 64 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140736486609024 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 327825 269697 793 2943 0 324719 0
[pid=6782/tid=6783] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1342771200 269697 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/183 7044
/proc/meminfo: memFree=29348740/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1481.88 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269372 0 0 0 148123 65 0 0 20 0 4 0 4063534 1343819776 269847 33554432000 4194304 16246674 140736486627152 140736486610152 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269847 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269847 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269847 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269847 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 7045
/proc/meminfo: memFree=29346132/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1541.88 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 154122 66 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 5546045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/183 7046
/proc/meminfo: memFree=29346904/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1601.86 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 160119 67 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486610152 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/183 7047
/proc/meminfo: memFree=29346664/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1661.86 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 166118 68 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 5669509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/183 7049
/proc/meminfo: memFree=29346132/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1721.84 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 172116 68 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 5722652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/183 7050
/proc/meminfo: memFree=29345548/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1781.83 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 178114 69 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 5721388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.06 2.04 3/183 7050
/proc/meminfo: memFree=29345676/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1800.03 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 179934 69 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 6020664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.06 2.04 3/183 7050
/proc/meminfo: memFree=29345676/32872528 swapFree=524788/557492
[pid=6782] ppid=6779 vsize=1312324 CPUtime=1800.03 cores=0,2,4,6
/proc/6782/stat : 6782 (toysat) R 6779 6782 5756 0 -1 4202496 269478 0 0 0 179934 69 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140736486609024 6020664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6782/statm: 328081 269953 793 2943 0 324975 0
[pid=6782/tid=6783] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6783/stat : 6783 (toysat) S 6779 6782 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596710714608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6782/tid=6784] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6784/stat : 6784 (toysat) S 6779 6782 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596626828528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6782/tid=6785] ppid=6779 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6782/task/6785/stat : 6785 (toysat) S 6779 6782 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4063534 1343819776 269953 33554432000 4194304 16246674 140736486627152 140596616354992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1312324

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.699893
maximum resident set size= 1079812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269478
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= 383
involuntary context switches= 2153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32534 second user time and 7.1989 second system time

The end

Begin job on node106 at 2016-06-15 21:48:54
IDJOB=4089008
IDBENCH=107345
IDSOLVER=2542
FILE ID=node106/4089008-1466020134
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 30d12a1a3fff9b153f01a9180eb6bd43
RANDOM SEED=1411770140

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30356364 kB
Buffers:           21208 kB
Cached:            73328 kB
SwapCached:         1480 kB
Active:          1218884 kB
Inactive:          28752 kB
Active(anon):    1154188 kB
Inactive(anon):     1192 kB
Active(file):      64696 kB
Inactive(file):    27560 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1709416 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             576608 kB
SReclaimable:      20604 kB
SUnreclaim:       556004 kB
KernelStack:        1464 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1852524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1177600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 22:18:55