0.00/0.00	c 2016-06-16T01:02:46+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-4089701-1466031766.opb"]
0.00/0.01	c use --random-gen="2932594602 3396794821 1803266449 1059389277 2793134204 749918064 2478342604 3816121534 3135715172 1692063927 1925657785 3923877303 3990392671 3990807005 742911989 2596848409 4039136393 3710203607 2109651047 461446375 2757296865 3286942461 1234049411 1703885305 2338776284 4142609973 366820459 649554625 2790822022 3175671927 1724171890 2536286055 1001822284 4204640450 2818094530 2804067942 617654315 2516674214 2524086104 2843843813 42630830 339977571 3111115472 683872258 2600708421 2270732758 1645193222 3623878732 1684255895 3200506634 2645153883 1407067221 1215867663 3397736960 568357618 3330780424 631796320 3152159958 3987583205 3311937990 3197223066 3796509155 1243522551 779419884 4222095572 1068955321 3209499415 1025060707 65366398 2830169086 2070574877 4094167591 3142851878 1550564091 1446509330 4287028050 1714492517 2286076304 2555436396 2694904104 14146405 2118626016 3326255747 1611564583 3910899302 3324365953 2187923807 3076498323 3527381187 414628175 1617292956 596417765 2860486467 2770135098 1685033429 38157648 3148807518 2104052382 3735013844 3312987478 1086265703 3876302523 2672086358 2235707944 3241045526 3858803405 3279309768 1730475018 3990330448 1508706766 1367621983 1572815832 1643907644 3657608408 1828273779 3335582245 371660418 1592165036 3193697878 4066019506 3271462416 1151926182 1940175776 3802872928 2132757253 2970971833 4027343753 1748925589 985347683 1370785873 2558010551 429315672 2825661609 496212811 749369705 2969937332 161133395 62736890 3581779921 919553882 2270987341 1747561873 2226678088 3963153933 3838897335 3863491668 2130265619 917446896 118714449 2530284095 139805710 353363077 2848998787 3490547890 1271888610 3393964960 4006602250 503469817 1895671647 242249100 915018038 472024852 3255363359 4134226939 1406657192 3346283039 1383833020 1841727082 463818661 3532317515 2125810985 327694821 113494059 575789575 2426157339 3671712589 916893358 2698670438 4197143847 1857091083 712426148 953852092 3200545624 448794513 4208422199 3857035856 3436486090 3456333976 1124746260 2226463684 632000394 4191008718 2093969364 3911506930 3613020878 2305846624 564900443 4046872848 751673441 715051742 3491604402 3170343896 1444202097 1964564830 2556602675 3059020593 2113051079 642660917 2136536050 2031057302 3484835793 1346070823 2575849821 2410461515 1717882723 2098527252 3244229925 568467329 110298655 1435879609 4063247367 4211843399 3669929954 3806567777 3264614054 2899862249 2218079609 1663512554 409494140 2505644010 3140552188 1965913753 2952872312 998736481 63065580 1796980870 2153011095 1121272553 1550750196 444468269 560080893 1927808874 981082209 1335894575 249275586 1194264937 936210617 1406240214 1520302395 3342039814 2802906625 656251212 3655134454 3877993545 1292328079 2800508803 255 362436" option to reproduce the execution
0.00/0.01	c #vars 139
0.00/0.01	c #constraints 70
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 |       93      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      145 |      100 |       93      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      342 |      250 |      103      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      712 |      475 |      114      5 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1199 |      813 |      126      8 |        0 |        0
0.09/0.19	c  0.2s |       5 |     1892 |     1320 |      139     13 |        0 |        0
0.19/0.29	c  0.3s |       6 |     2879 |     2081 |      169     20 |        0 |        0
0.39/0.45	c  0.4s |       7 |     4229 |     3223 |      186     30 |        0 |        0
0.59/0.70	c  0.7s |       8 |     6438 |     4936 |      205     44 |        0 |        0
0.99/1.06	c  1.0s |       9 |     9823 |     7506 |      226     64 |        0 |        0
1.39/1.43	c  1.4s |      10 |    14564 |    11361 |      249     94 |        0 |        0
1.99/2.01	c  2.0s |      11 |    22396 |    17144 |      274    134 |        0 |        0
2.79/2.87	c  2.9s |      12 |    34058 |    25819 |      302    189 |        0 |        0
4.29/4.35	c  4.3s |      13 |    48859 |    38832 |      333    264 |        0 |        0
6.28/6.36	c  6.3s |      13 |    69242 |    56632 |      333    358 |        0 |        0
6.48/6.55	c  6.5s |      14 |    71254 |    58352 |      367    367 |        0 |        0
8.49/8.56	c  8.5s |      14 |    93408 |    76852 |      367    458 |        0 |        0
9.69/9.72	c  9.7s |      15 |   106451 |    87632 |      404    511 |        0 |        0
11.69/11.72	c 11.7s |      15 |   129918 |   106932 |      404    598 |        0 |        0
13.69/13.73	c 13.7s |      15 |   153374 |   126232 |      404    687 |        0 |        0
14.29/14.30	c 14.3s |      16 |   159652 |   131552 |      445    710 |        0 |        0
16.29/16.31	c 16.3s |      16 |   181828 |   150452 |      445    789 |        0 |        0
18.29/18.31	c 18.3s |      16 |   204885 |   169552 |      445    869 |        0 |        0
20.29/20.33	c 20.3s |      16 |   227930 |   188752 |      445    950 |        0 |        0
21.19/21.24	c 21.2s |      17 |   238297 |   197432 |      490    985 |        0 |        0
23.19/23.25	c 23.2s |      17 |   260391 |   215832 |      490   1056 |        0 |        0
25.19/25.25	c 25.2s |      17 |   281086 |   233732 |      490   1124 |        0 |        0
27.19/27.25	c 27.2s |      17 |   302971 |   252232 |      490   1195 |        0 |        0
29.19/29.26	c 29.2s |      17 |   324109 |   270532 |      490   1265 |        0 |        0
31.19/31.27	c 31.3s |      17 |   344737 |   288532 |      490   1334 |        0 |        0
32.09/32.13	c 32.1s |      18 |   353560 |   296252 |      539   1363 |        0 |        0
34.08/34.14	c 34.1s |      18 |   373315 |   313552 |      539   1422 |        0 |        0
36.08/36.14	c 36.1s |      18 |   392791 |   330852 |      539   1483 |        0 |        0
38.08/38.14	c 38.1s |      18 |   412814 |   348052 |      539   1544 |        0 |        0
40.08/40.15	c 40.1s |      18 |   432707 |   365152 |      539   1604 |        0 |        0
42.09/42.15	c 42.1s |      18 |   453540 |   382852 |      539   1666 |        0 |        0
44.08/44.16	c 44.1s |      18 |   476659 |   401752 |      539   1732 |        0 |        0
46.08/46.16	c 46.1s |      18 |   497893 |   419752 |      539   1795 |        0 |        0
48.09/48.17	c 48.2s |      18 |   520324 |   438352 |      539   1861 |        0 |        0
48.79/48.82	c 48.8s |      19 |   527685 |   444482 |      593   1882 |        0 |        0
50.79/50.83	c 50.8s |      19 |   548483 |   461982 |      593   1937 |        0 |        0
52.79/52.83	c 52.8s |      19 |   568832 |   479082 |      593   1992 |        0 |        0
54.78/54.84	c 54.8s |      19 |   589200 |   496282 |      593   2047 |        0 |        0
56.78/56.85	c 56.8s |      19 |   610417 |   513682 |      593   2103 |        0 |        0
58.78/58.86	c 58.8s |      19 |   631434 |   530982 |      593   2158 |        0 |        0
60.79/60.86	c 60.8s |      19 |   652316 |   548282 |      593   2213 |        0 |        0
62.78/62.87	c 62.9s |      19 |   673218 |   565782 |      593   2269 |        0 |        0
64.78/64.87	c 64.9s |      19 |   693578 |   583082 |      593   2324 |        0 |        0
66.78/66.88	c 66.9s |      19 |   713206 |   599982 |      593   2378 |        0 |        0
68.78/68.89	c 68.9s |      19 |   733835 |   617382 |      593   2434 |        0 |        0
70.88/70.90	c 70.9s |      19 |   755316 |   635082 |      593   2491 |        0 |        0
72.88/72.90	c 72.9s |      19 |   776900 |   652782 |      593   2547 |        0 |        0
74.48/74.54	c 74.5s |      20 |   793720 |   666827 |      653   2591 |        0 |        0
76.48/76.55	c 76.5s |      20 |   813499 |   683827 |      653   2640 |        0 |        0
78.48/78.56	c 78.5s |      20 |   833118 |   700827 |      653   2690 |        0 |        0
80.48/80.57	c 80.6s |      20 |   855843 |   719027 |      653   2743 |        0 |        0
82.48/82.57	c 82.6s |      20 |   881473 |   738527 |      653   2800 |        0 |        0
84.48/84.58	c 84.6s |      20 |   908256 |   758227 |      653   2858 |        0 |        0
86.47/86.59	c 86.6s |      20 |   936159 |   778627 |      653   2918 |        0 |        0
88.57/88.60	c 88.6s |      20 |   959109 |   797127 |      653   2972 |        0 |        0
90.58/90.61	c 90.6s |      20 |   981875 |   815427 |      653   3025 |        0 |        0
92.58/92.61	c 92.6s |      20 |  1003846 |   833527 |      653   3078 |        0 |        0
94.58/94.61	c 94.6s |      20 |  1029947 |   853227 |      653   3136 |        0 |        0
96.58/96.61	c 96.6s |      20 |  1055625 |   872627 |      653   3192 |        0 |        0
98.58/98.62	c 98.6s |      20 |  1080365 |   891927 |      653   3248 |        0 |        0
100.58/100.62	c  100s |      20 |  1106794 |   911427 |      653   3305 |        0 |        0
102.58/102.62	c  102s |      20 |  1132639 |   930727 |      653   3362 |        0 |        0
104.57/104.63	c  104s |      20 |  1160430 |   950627 |      653   3420 |        0 |        0
106.57/106.64	c  106s |      20 |  1186721 |   970127 |      653   3477 |        0 |        0
108.57/108.65	c  108s |      20 |  1212002 |   989727 |      653   3535 |        0 |        0
109.67/109.72	c  109s |      21 |  1225712 |  1000345 |      719   3564 |        0 |        0
111.67/111.73	c  111s |      21 |  1249935 |  1018845 |      719   3613 |        0 |        0
113.67/113.73	c  113s |      21 |  1274055 |  1037345 |      719   3662 |        0 |        0
115.68/115.73	c  115s |      21 |  1299713 |  1056245 |      719   3713 |        0 |        0
117.67/117.73	c  117s |      21 |  1324002 |  1074945 |      719   3763 |        0 |        0
119.67/119.74	c  119s |      21 |  1348416 |  1093745 |      719   3813 |        0 |        0
121.67/121.74	c  121s |      21 |  1372922 |  1112745 |      719   3863 |        0 |        0
123.67/123.75	c  123s |      21 |  1398527 |  1132045 |      719   3915 |        0 |        0
125.67/125.75	c  125s |      21 |  1421914 |  1150345 |      719   3964 |        0 |        0
127.67/127.76	c  127s |      21 |  1447278 |  1169645 |      719   4015 |        0 |        0
129.67/129.76	c  129s |      21 |  1471619 |  1188145 |      719   4065 |        0 |        0
131.67/131.77	c  131s |      21 |  1495737 |  1206945 |      719   4115 |        0 |        0
133.67/133.77	c  133s |      21 |  1520047 |  1225645 |      719   4164 |        0 |        0
135.67/135.77	c  135s |      21 |  1544983 |  1244845 |      719   4216 |        0 |        0
137.68/137.78	c  137s |      21 |  1567862 |  1263045 |      719   4265 |        0 |        0
139.67/139.78	c  139s |      21 |  1591353 |  1281645 |      719   4315 |        0 |        0
141.67/141.78	c  141s |      21 |  1615630 |  1300645 |      719   4365 |        0 |        0
143.67/143.79	c  143s |      21 |  1639008 |  1319345 |      719   4415 |        0 |        0
145.67/145.79	c  145s |      21 |  1664827 |  1338745 |      719   4468 |        0 |        0
147.68/147.79	c  147s |      21 |  1691260 |  1358445 |      719   4521 |        0 |        0
149.67/149.80	c  149s |      21 |  1718290 |  1378345 |      719   4574 |        0 |        0
151.77/151.81	c  151s |      21 |  1744409 |  1397545 |      719   4625 |        0 |        0
153.77/153.82	c  153s |      21 |  1771080 |  1416945 |      719   4677 |        0 |        0
155.77/155.82	c  155s |      21 |  1796073 |  1435845 |      719   4728 |        0 |        0
157.77/157.83	c  157s |      21 |  1819324 |  1454345 |      719   4778 |        0 |        0
159.77/159.83	c  159s |      21 |  1846800 |  1474245 |      719   4831 |        0 |        0
161.77/161.83	c  161s |      21 |  1872023 |  1493845 |      791   4882 |        0 |        0
162.47/162.51	c  162s |      22 |  1881565 |  1500622 |      791   4899 |        0 |        0
164.46/164.51	c  164s |      22 |  1902608 |  1517822 |      791   4941 |        0 |        0
166.46/166.51	c  166s |      22 |  1922650 |  1534922 |      791   4982 |        0 |        0
168.47/168.52	c  168s |      22 |  1944145 |  1552422 |      791   5025 |        0 |        0
170.46/170.53	c  170s |      22 |  1967069 |  1570622 |      791   5069 |        0 |        0
172.46/172.54	c  172s |      22 |  1987354 |  1587622 |      791   5111 |        0 |        0
174.46/174.55	c  174s |      22 |  2005315 |  1603322 |      791   5149 |        0 |        0
176.46/176.55	c  176s |      22 |  2024398 |  1619722 |      791   5189 |        0 |        0
178.46/178.56	c  178s |      22 |  2044499 |  1636622 |      791   5230 |        0 |        0
180.47/180.56	c  180s |      22 |  2063998 |  1653122 |      791   5270 |        0 |        0
182.47/182.57	c  182s |      22 |  2084107 |  1670022 |      791   5311 |        0 |        0
184.47/184.58	c  184s |      22 |  2106000 |  1687822 |      791   5355 |        0 |        0
186.47/186.58	c  186s |      22 |  2127652 |  1705522 |      791   5398 |        0 |        0
188.47/188.58	c  188s |      22 |  2150036 |  1723422 |      791   5442 |        0 |        0
190.47/190.58	c  190s |      22 |  2171184 |  1740922 |      791   5485 |        0 |        0
192.46/192.58	c  192s |      22 |  2190876 |  1757322 |      791   5525 |        0 |        0
194.46/194.59	c  194s |      22 |  2210503 |  1773522 |      791   5564 |        0 |        0
196.56/196.60	c  196s |      22 |  2233150 |  1791122 |      791   5607 |        0 |        0
198.56/198.60	c  198s |      22 |  2254713 |  1808722 |      791   5650 |        0 |        0
200.56/200.61	c  200s |      22 |  2276456 |  1826122 |      791   5693 |        0 |        0
202.57/202.62	c  202s |      22 |  2298278 |  1843622 |      791   5736 |        0 |        0
204.56/204.62	c  204s |      22 |  2320029 |  1861222 |      791   5779 |        0 |        0
206.56/206.63	c  206s |      22 |  2341795 |  1878722 |      791   5821 |        0 |        0
208.56/208.63	c  208s |      22 |  2364409 |  1896622 |      791   5865 |        0 |        0
210.56/210.63	c  210s |      22 |  2386884 |  1914222 |      791   5908 |        0 |        0
212.56/212.64	c  212s |      22 |  2408125 |  1931622 |      791   5951 |        0 |        0
214.56/214.64	c  214s |      22 |  2428335 |  1948322 |      791   5992 |        0 |        0
216.56/216.64	c  216s |      22 |  2448980 |  1965522 |      791   6034 |        0 |        0
218.56/218.65	c  218s |      22 |  2472079 |  1983522 |      791   6078 |        0 |        0
220.55/220.65	c  220s |      22 |  2492820 |  2000422 |      791   6119 |        0 |        0
222.55/222.66	c  222s |      22 |  2514114 |  2017622 |      791   6161 |        0 |        0
224.56/224.66	c  224s |      22 |  2537466 |  2035622 |      791   6205 |        0 |        0
226.55/226.66	c  226s |      22 |  2560101 |  2053522 |      791   6249 |        0 |        0
228.55/228.67	c  228s |      22 |  2582919 |  2071522 |      791   6294 |        0 |        0
230.55/230.68	c  230s |      22 |  2603941 |  2088722 |      791   6336 |        0 |        0
232.55/232.68	c  232s |      22 |  2625576 |  2106322 |      791   6379 |        0 |        0
234.56/234.69	c  234s |      22 |  2646465 |  2123622 |      791   6421 |        0 |        0
236.55/236.70	c  236s |      22 |  2666191 |  2140322 |      791   6462 |        0 |        0
238.65/238.70	c  238s |      22 |  2686901 |  2157222 |      791   6503 |        0 |        0
240.65/240.71	c  240s |      22 |  2707382 |  2174422 |      791   6546 |        0 |        0
242.65/242.72	c  242s |      22 |  2726178 |  2190922 |      791   6586 |        0 |        0
244.65/244.72	c  244s |      22 |  2746718 |  2207922 |      791   6627 |        0 |        0
246.65/246.73	c  246s |      22 |  2766817 |  2224822 |      791   6669 |        0 |        0
248.65/248.74	c  248s |      22 |  2787506 |  2241822 |      871   6709 |        0 |        0
249.85/249.91	c  249s |      23 |  2798234 |  2251038 |      871   6730 |        0 |        0
251.85/251.91	c  251s |      23 |  2816706 |  2266938 |      871   6765 |        0 |        0
253.86/253.92	c  253s |      23 |  2835908 |  2283138 |      871   6801 |        0 |        0
255.86/255.93	c  255s |      23 |  2854901 |  2299038 |      871   6836 |        0 |        0
257.85/257.93	c  257s |      23 |  2874393 |  2315138 |      871   6871 |        0 |        0
259.86/259.93	c  259s |      23 |  2892637 |  2330838 |      871   6906 |        0 |        0
261.85/261.94	c  261s |      23 |  2912412 |  2347238 |      871   6943 |        0 |        0
263.85/263.95	c  263s |      23 |  2931291 |  2363138 |      871   6978 |        0 |        0
265.85/265.95	c  265s |      23 |  2950008 |  2378938 |      871   7013 |        0 |        0
267.85/267.96	c  267s |      23 |  2969016 |  2394838 |      871   7049 |        0 |        0
269.85/269.97	c  269s |      23 |  2987983 |  2410838 |      871   7084 |        0 |        0
271.86/271.98	c  271s |      23 |  3005489 |  2426038 |      871   7117 |        0 |        0
273.85/273.99	c  273s |      23 |  3024371 |  2442038 |      871   7153 |        0 |        0
275.85/275.99	c  275s |      23 |  3043073 |  2457938 |      871   7188 |        0 |        0
277.85/277.99	c  277s |      23 |  3062418 |  2474338 |      871   7225 |        0 |        0
279.85/279.99	c  279s |      23 |  3080615 |  2489938 |      871   7260 |        0 |        0
281.95/282.00	c  281s |      23 |  3099853 |  2506138 |      871   7296 |        0 |        0
283.95/284.01	c  283s |      23 |  3119885 |  2522638 |      871   7332 |        0 |        0
285.95/286.02	c  286s |      23 |  3139204 |  2538938 |      871   7368 |        0 |        0
287.95/288.03	c  288s |      23 |  3157519 |  2554338 |      871   7403 |        0 |        0
289.94/290.04	c  290s |      23 |  3177039 |  2570538 |      871   7438 |        0 |        0
291.94/292.04	c  292s |      23 |  3197697 |  2587238 |      871   7476 |        0 |        0
293.95/294.05	c  294s |      23 |  3217549 |  2603738 |      871   7512 |        0 |        0
295.94/296.06	c  296s |      23 |  3237279 |  2620038 |      871   7549 |        0 |        0
297.94/298.06	c  298s |      23 |  3254892 |  2635438 |      871   7583 |        0 |        0
299.94/300.07	c  300s |      23 |  3274557 |  2651738 |      871   7619 |        0 |        0
301.94/302.07	c  302s |      23 |  3295441 |  2668638 |      871   7657 |        0 |        0
303.94/304.08	c  304s |      23 |  3317883 |  2686338 |      871   7696 |        0 |        0
305.95/306.09	c  306s |      23 |  3338648 |  2703238 |      871   7734 |        0 |        0
307.94/308.09	c  308s |      23 |  3358982 |  2719938 |      871   7771 |        0 |        0
310.04/310.10	c  310s |      23 |  3378491 |  2736138 |      871   7807 |        0 |        0
312.05/312.11	c  312s |      23 |  3398439 |  2752738 |      871   7844 |        0 |        0
314.05/314.11	c  314s |      23 |  3419367 |  2769838 |      871   7882 |        0 |        0
316.05/316.12	c  316s |      23 |  3440151 |  2786538 |      871   7919 |        0 |        0
318.05/318.13	c  318s |      23 |  3459836 |  2803038 |      871   7956 |        0 |        0
320.04/320.13	c  320s |      23 |  3481758 |  2820538 |      871   7995 |        0 |        0
322.04/322.14	c  322s |      23 |  3501789 |  2837038 |      871   8032 |        0 |        0
324.04/324.15	c  324s |      23 |  3522468 |  2853838 |      871   8070 |        0 |        0
326.04/326.15	c  326s |      23 |  3543842 |  2870938 |      871   8108 |        0 |        0
328.05/328.16	c  328s |      23 |  3564120 |  2887738 |      871   8145 |        0 |        0
330.04/330.16	c  330s |      23 |  3583344 |  2903738 |      871   8180 |        0 |        0
332.04/332.17	c  332s |      23 |  3604221 |  2920638 |      871   8218 |        0 |        0
334.04/334.17	c  334s |      23 |  3625211 |  2937638 |      871   8256 |        0 |        0
336.04/336.18	c  336s |      23 |  3646392 |  2954538 |      871   8293 |        0 |        0
338.04/338.18	c  338s |      23 |  3667649 |  2971538 |      871   8331 |        0 |        0
340.04/340.18	c  340s |      23 |  3685912 |  2987038 |      871   8366 |        0 |        0
342.03/342.18	c  342s |      23 |  3704176 |  3002638 |      871   8400 |        0 |        0
344.04/344.19	c  344s |      23 |  3724636 |  3019238 |      871   8437 |        0 |        0
346.14/346.20	c  346s |      23 |  3746224 |  3036438 |      871   8476 |        0 |        0
348.14/348.21	c  348s |      23 |  3767269 |  3053238 |      871   8513 |        0 |        0
350.14/350.22	c  350s |      23 |  3787215 |  3069538 |      871   8549 |        0 |        0
352.14/352.23	c  352s |      23 |  3807857 |  3086238 |      871   8586 |        0 |        0
354.14/354.23	c  354s |      23 |  3828757 |  3103138 |      871   8624 |        0 |        0
356.14/356.23	c  356s |      23 |  3848426 |  3119238 |      871   8660 |        0 |        0
358.14/358.24	c  358s |      23 |  3870669 |  3136738 |      871   8698 |        0 |        0
360.14/360.25	c  360s |      23 |  3892589 |  3154238 |      871   8737 |        0 |        0
362.14/362.25	c  362s |      23 |  3915597 |  3171838 |      871   8777 |        0 |        0
364.13/364.25	c  364s |      23 |  3936960 |  3188938 |      871   8815 |        0 |        0
366.13/366.26	c  366s |      23 |  3958684 |  3206338 |      871   8853 |        0 |        0
368.13/368.27	c  368s |      23 |  3980579 |  3223738 |      871   8892 |        0 |        0
370.13/370.28	c  370s |      23 |  4001737 |  3240738 |      871   8930 |        0 |        0
372.13/372.29	c  372s |      23 |  4021642 |  3257138 |      871   8967 |        0 |        0
374.14/374.29	c  374s |      23 |  4040976 |  3273138 |      871   9003 |        0 |        0
376.13/376.29	c  376s |      23 |  4060859 |  3289438 |      871   9039 |        0 |        0
378.13/378.29	c  378s |      23 |  4080737 |  3305838 |      871   9076 |        0 |        0
380.23/380.30	c  380s |      23 |  4099873 |  3321838 |      871   9111 |        0 |        0
382.23/382.31	c  382s |      23 |  4118284 |  3337538 |      871   9146 |        0 |        0
384.23/384.31	c  384s |      23 |  4137501 |  3353738 |      959   9182 |        0 |        0
386.23/386.32	c  386s |      23 |  4157230 |  3369738 |      959   9215 |        0 |        0
387.03/387.16	c  387s |      24 |  4166026 |  3376662 |      959   9229 |        0 |        0
389.03/389.16	c  389s |      24 |  4187341 |  3393862 |      959   9264 |        0 |        0
391.03/391.17	c  391s |      24 |  4207171 |  3410462 |      959   9297 |        0 |        0
393.03/393.18	c  393s |      24 |  4227294 |  3427062 |      959   9331 |        0 |        0
395.03/395.18	c  395s |      24 |  4248855 |  3444062 |      959   9365 |        0 |        0
397.02/397.19	c  397s |      24 |  4268687 |  3460362 |      959   9398 |        0 |        0
399.13/399.20	c  399s |      24 |  4285917 |  3475262 |      959   9428 |        0 |        0
401.13/401.20	c  401s |      24 |  4305079 |  3491062 |      959   9460 |        0 |        0
403.13/403.21	c  403s |      24 |  4324237 |  3506862 |      959   9492 |        0 |        0
405.13/405.21	c  405s |      24 |  4344763 |  3523062 |      959   9525 |        0 |        0
407.14/407.22	c  407s |      24 |  4364113 |  3538962 |      959   9557 |        0 |        0
409.13/409.22	c  409s |      24 |  4380387 |  3553462 |      959   9585 |        0 |        0
411.13/411.23	c  411s |      24 |  4398979 |  3568862 |      959   9616 |        0 |        0
413.13/413.24	c  413s |      24 |  4421058 |  3585662 |      959   9650 |        0 |        0
415.13/415.25	c  415s |      24 |  4443443 |  3602562 |      959   9685 |        0 |        0
417.14/417.25	c  417s |      24 |  4465195 |  3619362 |      959   9718 |        0 |        0
419.13/419.25	c  419s |      24 |  4487511 |  3636462 |      959   9753 |        0 |        0
421.13/421.27	c  421s |      24 |  4510394 |  3653862 |      959   9789 |        0 |        0
423.12/423.27	c  423s |      24 |  4532214 |  3670662 |      959   9822 |        0 |        0
425.12/425.28	c  425s |      24 |  4552220 |  3686662 |      959   9855 |        0 |        0
427.12/427.28	c  427s |      24 |  4573465 |  3703262 |      959   9889 |        0 |        0
429.13/429.29	c  429s |      24 |  4593765 |  3719462 |      959   9921 |        0 |        0
431.22/431.30	c  431s |      24 |  4614691 |  3735962 |      959   9955 |        0 |        0
433.22/433.31	c  433s |      24 |  4635234 |  3752362 |      959   9988 |        0 |        0
435.22/435.31	c  435s |      24 |  4657136 |  3769162 |      959  10022 |        0 |        0
437.22/437.32	c  437s |      24 |  4677887 |  3785462 |      959  10055 |        0 |        0
439.23/439.32	c  439s |      24 |  4697559 |  3801562 |      959  10088 |        0 |        0
441.23/441.33	c  441s |      24 |  4716608 |  3817062 |      959  10119 |        0 |        0
443.23/443.34	c  443s |      24 |  4735863 |  3832862 |      959  10151 |        0 |        0
445.23/445.34	c  445s |      24 |  4754165 |  3847962 |      959  10182 |        0 |        0
447.23/447.35	c  447s |      24 |  4774213 |  3864062 |      959  10214 |        0 |        0
449.22/449.37	c  449s |      24 |  4793988 |  3880062 |      959  10247 |        0 |        0
451.23/451.37	c  451s |      24 |  4814409 |  3896262 |      959  10280 |        0 |        0
453.22/453.37	c  453s |      24 |  4833179 |  3911862 |      959  10312 |        0 |        0
455.22/455.38	c  455s |      24 |  4853187 |  3927862 |      959  10344 |        0 |        0
457.22/457.38	c  457s |      24 |  4874540 |  3944662 |      959  10378 |        0 |        0
459.22/459.38	c  459s |      24 |  4896067 |  3961562 |      959  10412 |        0 |        0
461.22/461.39	c  461s |      24 |  4915579 |  3977762 |      959  10445 |        0 |        0
463.23/463.40	c  463s |      24 |  4935714 |  3993962 |      959  10478 |        0 |        0
465.32/465.40	c  465s |      24 |  4955517 |  4010062 |      959  10510 |        0 |        0
467.32/467.41	c  467s |      24 |  4976696 |  4026762 |      959  10544 |        0 |        0
469.32/469.41	c  469s |      24 |  4997902 |  4043862 |      959  10579 |        0 |        0
471.32/471.42	c  471s |      24 |  5018817 |  4060462 |      959  10613 |        0 |        0
473.32/473.42	c  473s |      24 |  5038733 |  4076762 |      959  10646 |        0 |        0
475.32/475.43	c  475s |      24 |  5057433 |  4092262 |      959  10678 |        0 |        0
477.32/477.43	c  477s |      24 |  5078348 |  4108862 |      959  10711 |        0 |        0
479.32/479.43	c  479s |      24 |  5100648 |  4126062 |      959  10746 |        0 |        0
481.31/481.44	c  481s |      24 |  5122333 |  4143162 |      959  10781 |        0 |        0
483.31/483.45	c  483s |      24 |  5142598 |  4159662 |      959  10814 |        0 |        0
485.32/485.46	c  485s |      24 |  5164082 |  4176562 |      959  10849 |        0 |        0
487.31/487.47	c  487s |      24 |  5184895 |  4193062 |      959  10882 |        0 |        0
489.31/489.47	c  489s |      24 |  5206912 |  4209962 |      959  10917 |        0 |        0
491.31/491.47	c  491s |      24 |  5227689 |  4226662 |      959  10951 |        0 |        0
493.31/493.48	c  493s |      24 |  5247735 |  4242662 |      959  10983 |        0 |        0
495.31/495.49	c  495s |      24 |  5266870 |  4258362 |      959  11015 |        0 |        0
497.32/497.50	c  497s |      24 |  5284907 |  4273662 |      959  11046 |        0 |        0
499.41/499.50	c  499s |      24 |  5305571 |  4289962 |      959  11079 |        0 |        0
501.41/501.51	c  501s |      24 |  5326648 |  4306862 |      959  11113 |        0 |        0
503.42/503.51	c  503s |      24 |  5349500 |  4324162 |      959  11148 |        0 |        0
505.42/505.52	c  505s |      24 |  5371791 |  4341162 |      959  11183 |        0 |        0
507.42/507.53	c  507s |      24 |  5392507 |  4357462 |      959  11216 |        0 |        0
509.42/509.54	c  509s |      24 |  5413263 |  4374062 |      959  11250 |        0 |        0
511.42/511.54	c  511s |      24 |  5434835 |  4391262 |      959  11285 |        0 |        0
513.42/513.55	c  513s |      24 |  5456691 |  4408062 |      959  11319 |        0 |        0
515.41/515.55	c  515s |      24 |  5476198 |  4423862 |      959  11351 |        0 |        0
517.41/517.55	c  517s |      24 |  5495435 |  4439462 |      959  11382 |        0 |        0
519.42/519.56	c  519s |      24 |  5516266 |  4455962 |      959  11416 |        0 |        0
521.41/521.57	c  521s |      24 |  5537696 |  4472862 |      959  11450 |        0 |        0
523.41/523.58	c  523s |      24 |  5558327 |  4489462 |      959  11484 |        0 |        0
525.41/525.59	c  525s |      24 |  5579228 |  4505962 |      959  11518 |        0 |        0
527.51/527.60	c  527s |      24 |  5600245 |  4522562 |      959  11551 |        0 |        0
529.51/529.61	c  529s |      24 |  5620829 |  4538862 |      959  11584 |        0 |        0
531.51/531.61	c  531s |      24 |  5641029 |  4555162 |      959  11617 |        0 |        0
533.51/533.62	c  533s |      24 |  5660341 |  4571162 |      959  11650 |        0 |        0
535.51/535.62	c  535s |      24 |  5678718 |  4586762 |      959  11681 |        0 |        0
537.51/537.62	c  537s |      24 |  5701712 |  4603962 |      959  11716 |        0 |        0
539.50/539.63	c  539s |      24 |  5723422 |  4620962 |      959  11751 |        0 |        0
541.50/541.64	c  541s |      24 |  5744610 |  4637662 |      959  11785 |        0 |        0
543.51/543.65	c  543s |      24 |  5763750 |  4653462 |      959  11817 |        0 |        0
545.50/545.65	c  545s |      24 |  5782042 |  4668862 |      959  11848 |        0 |        0
547.50/547.66	c  547s |      24 |  5802162 |  4684962 |      959  11881 |        0 |        0
549.50/549.67	c  549s |      24 |  5820933 |  4700662 |      959  11913 |        0 |        0
551.50/551.68	c  551s |      24 |  5840206 |  4716462 |      959  11945 |        0 |        0
553.51/553.68	c  553s |      24 |  5859451 |  4732062 |      959  11976 |        0 |        0
555.50/555.69	c  555s |      24 |  5879328 |  4747662 |      959  12008 |        0 |        0
557.51/557.69	c  557s |      24 |  5898982 |  4763562 |      959  12040 |        0 |        0
559.51/559.69	c  559s |      24 |  5918219 |  4779262 |      959  12073 |        0 |        0
561.61/561.70	c  561s |      24 |  5937481 |  4794862 |      959  12104 |        0 |        0
563.61/563.71	c  563s |      24 |  5958014 |  4811062 |      959  12137 |        0 |        0
565.62/565.71	c  565s |      24 |  5978099 |  4826862 |      959  12169 |        0 |        0
567.61/567.72	c  567s |      24 |  5995588 |  4841762 |      959  12200 |        0 |        0
569.61/569.72	c  569s |      24 |  6012826 |  4856662 |      959  12230 |        0 |        0
571.61/571.73	c  571s |      24 |  6029955 |  4871462 |      959  12260 |        0 |        0
573.60/573.74	c  573s |      24 |  6050182 |  4887462 |      959  12293 |        0 |        0
575.60/575.74	c  575s |      24 |  6069909 |  4903362 |      959  12325 |        0 |        0
577.61/577.75	c  577s |      24 |  6089310 |  4919062 |      959  12357 |        0 |        0
579.60/579.75	c  579s |      24 |  6109106 |  4934662 |      959  12389 |        0 |        0
581.60/581.76	c  581s |      24 |  6129478 |  4950862 |      959  12422 |        0 |        0
583.60/583.77	c  583s |      24 |  6151383 |  4967862 |      959  12457 |        0 |        0
585.60/585.78	c  585s |      24 |  6172779 |  4984762 |      959  12491 |        0 |        0
587.61/587.79	c  587s |      24 |  6192983 |  5001062 |      959  12524 |        0 |        0
589.60/589.80	c  589s |      24 |  6213270 |  5017062 |      959  12557 |        0 |        0
591.70/591.81	c  591s |      24 |  6233279 |  5032962 |     1055  12588 |        0 |        0
593.70/593.81	c  593s |      24 |  6251422 |  5047862 |     1055  12616 |        0 |        0
595.70/595.82	c  595s |      24 |  6269708 |  5062962 |     1055  12644 |        0 |        0
596.00/596.10	c  596s |      25 |  6272192 |  5065098 |     1055  12648 |        0 |        0
598.00/598.12	c  598s |      25 |  6289909 |  5079998 |     1055  12676 |        0 |        0
600.00/600.12	c  600s |      25 |  6308554 |  5095498 |     1055  12704 |        0 |        0
602.00/602.12	c  602s |      25 |  6326204 |  5110398 |     1055  12731 |        0 |        0
604.00/604.13	c  604s |      25 |  6344022 |  5125498 |     1055  12759 |        0 |        0
605.99/606.14	c  606s |      25 |  6361816 |  5140498 |     1055  12787 |        0 |        0
607.99/608.15	c  608s |      25 |  6380412 |  5155898 |     1055  12815 |        0 |        0
609.99/610.15	c  610s |      25 |  6398413 |  5171098 |     1055  12843 |        0 |        0
612.00/612.16	c  612s |      25 |  6418594 |  5187198 |     1055  12873 |        0 |        0
614.01/614.17	c  614s |      25 |  6437828 |  5202998 |     1055  12902 |        0 |        0
616.00/616.17	c  616s |      25 |  6457366 |  5218698 |     1055  12931 |        0 |        0
618.00/618.17	c  618s |      25 |  6477534 |  5234498 |     1055  12961 |        0 |        0
620.00/620.18	c  620s |      25 |  6496343 |  5250098 |     1055  12990 |        0 |        0
622.00/622.19	c  622s |      25 |  6516359 |  5266098 |     1055  13019 |        0 |        0
624.10/624.20	c  624s |      25 |  6534746 |  5281198 |     1055  13047 |        0 |        0
626.11/626.20	c  626s |      25 |  6552295 |  5296098 |     1055  13075 |        0 |        0
628.10/628.20	c  628s |      25 |  6570862 |  5311598 |     1055  13103 |        0 |        0
630.10/630.21	c  630s |      25 |  6589304 |  5326898 |     1055  13132 |        0 |        0
632.10/632.22	c  632s |      25 |  6607926 |  5342198 |     1055  13160 |        0 |        0
634.10/634.22	c  634s |      25 |  6627416 |  5357998 |     1055  13189 |        0 |        0
636.10/636.24	c  636s |      25 |  6644456 |  5372598 |     1055  13216 |        0 |        0
638.10/638.24	c  638s |      25 |  6661324 |  5387098 |     1055  13243 |        0 |        0
640.10/640.25	c  640s |      25 |  6677490 |  5401298 |     1055  13269 |        0 |        0
642.10/642.26	c  642s |      25 |  6695446 |  5416398 |     1055  13296 |        0 |        0
644.10/644.26	c  644s |      25 |  6713830 |  5431498 |     1055  13324 |        0 |        0
646.10/646.27	c  646s |      25 |  6731978 |  5446498 |     1055  13352 |        0 |        0
648.10/648.28	c  648s |      25 |  6749898 |  5461698 |     1055  13380 |        0 |        0
650.09/650.29	c  650s |      25 |  6768963 |  5477198 |     1055  13409 |        0 |        0
652.19/652.30	c  652s |      25 |  6787449 |  5492598 |     1055  13437 |        0 |        0
654.19/654.31	c  654s |      25 |  6804951 |  5507598 |     1055  13465 |        0 |        0
656.19/656.31	c  656s |      25 |  6825084 |  5523498 |     1055  13494 |        0 |        0
658.19/658.32	c  658s |      25 |  6845620 |  5539698 |     1055  13524 |        0 |        0
660.20/660.33	c  660s |      25 |  6864170 |  5555198 |     1055  13553 |        0 |        0
662.19/662.34	c  662s |      25 |  6882011 |  5570098 |     1055  13580 |        0 |        0
664.19/664.34	c  664s |      25 |  6900226 |  5585198 |     1055  13608 |        0 |        0
666.19/666.34	c  666s |      25 |  6919375 |  5600498 |     1055  13636 |        0 |        0
668.19/668.35	c  668s |      25 |  6939028 |  5616098 |     1055  13665 |        0 |        0
670.19/670.35	c  670s |      25 |  6957568 |  5631198 |     1055  13693 |        0 |        0
672.19/672.36	c  672s |      25 |  6975224 |  5645698 |     1055  13720 |        0 |        0
674.18/674.37	c  674s |      25 |  6993170 |  5660498 |     1055  13747 |        0 |        0
676.18/676.37	c  676s |      25 |  7012172 |  5675698 |     1055  13775 |        0 |        0
678.18/678.38	c  678s |      25 |  7030939 |  5691098 |     1055  13804 |        0 |        0
680.18/680.39	c  680s |      25 |  7050035 |  5706598 |     1055  13833 |        0 |        0
682.19/682.39	c  682s |      25 |  7068887 |  5721898 |     1055  13861 |        0 |        0
684.18/684.40	c  684s |      25 |  7087606 |  5737398 |     1055  13890 |        0 |        0
686.28/686.41	c  686s |      25 |  7105012 |  5752498 |     1055  13918 |        0 |        0
688.29/688.42	c  688s |      25 |  7123002 |  5767698 |     1055  13946 |        0 |        0
690.29/690.43	c  690s |      25 |  7141675 |  5782998 |     1055  13974 |        0 |        0
692.29/692.44	c  692s |      25 |  7159917 |  5798198 |     1055  14002 |        0 |        0
694.29/694.44	c  694s |      25 |  7177013 |  5812598 |     1055  14029 |        0 |        0
696.29/696.44	c  696s |      25 |  7196242 |  5827898 |     1055  14057 |        0 |        0
698.28/698.45	c  698s |      25 |  7213850 |  5842698 |     1055  14085 |        0 |        0
700.28/700.47	c  700s |      25 |  7231212 |  5857498 |     1055  14112 |        0 |        0
702.28/702.47	c  702s |      25 |  7248044 |  5871998 |     1055  14139 |        0 |        0
704.28/704.47	c  704s |      25 |  7266189 |  5886998 |     1055  14167 |        0 |        0
706.28/706.47	c  706s |      25 |  7285233 |  5902598 |     1055  14196 |        0 |        0
708.28/708.48	c  708s |      25 |  7304807 |  5918498 |     1055  14225 |        0 |        0
710.28/710.49	c  710s |      25 |  7324385 |  5934298 |     1055  14254 |        0 |        0
712.38/712.50	c  712s |      25 |  7343300 |  5949798 |     1055  14283 |        0 |        0
714.37/714.51	c  714s |      25 |  7361061 |  5964698 |     1055  14311 |        0 |        0
716.37/716.51	c  716s |      25 |  7378323 |  5979298 |     1055  14338 |        0 |        0
718.38/718.52	c  718s |      25 |  7396421 |  5994198 |     1055  14365 |        0 |        0
720.37/720.52	c  720s |      25 |  7413473 |  6008698 |     1055  14392 |        0 |        0
722.37/722.53	c  722s |      25 |  7429949 |  6023198 |     1055  14419 |        0 |        0
724.37/724.54	c  724s |      25 |  7447789 |  6037998 |     1055  14446 |        0 |        0
726.37/726.55	c  726s |      25 |  7465154 |  6052598 |     1055  14473 |        0 |        0
728.37/728.56	c  728s |      25 |  7481524 |  6066898 |     1055  14499 |        0 |        0
730.38/730.56	c  730s |      25 |  7498602 |  6081398 |     1055  14526 |        0 |        0
732.37/732.56	c  732s |      25 |  7515983 |  6095898 |     1055  14553 |        0 |        0
734.37/734.57	c  734s |      25 |  7533367 |  6110498 |     1055  14580 |        0 |        0
736.37/736.57	c  736s |      25 |  7550276 |  6125098 |     1055  14607 |        0 |        0
738.37/738.57	c  738s |      25 |  7567140 |  6139398 |     1055  14633 |        0 |        0
740.38/740.57	c  740s |      25 |  7586005 |  6154698 |     1055  14662 |        0 |        0
742.37/742.58	c  742s |      25 |  7603717 |  6169498 |     1055  14689 |        0 |        0
744.36/744.59	c  744s |      25 |  7621647 |  6184398 |     1055  14717 |        0 |        0
746.46/746.60	c  746s |      25 |  7639935 |  6199598 |     1055  14745 |        0 |        0
748.46/748.61	c  748s |      25 |  7658724 |  6214998 |     1055  14773 |        0 |        0
750.46/750.61	c  750s |      25 |  7676640 |  6229898 |     1055  14801 |        0 |        0
752.47/752.62	c  752s |      25 |  7694484 |  6244798 |     1055  14828 |        0 |        0
754.45/754.62	c  754s |      25 |  7712909 |  6259998 |     1055  14857 |        0 |        0
756.45/756.62	c  756s |      25 |  7731643 |  6275098 |     1055  14885 |        0 |        0
758.45/758.64	c  758s |      25 |  7749873 |  6290198 |     1055  14913 |        0 |        0
760.45/760.64	c  760s |      25 |  7769121 |  6305698 |     1055  14942 |        0 |        0
762.46/762.64	c  762s |      25 |  7787672 |  6320698 |     1055  14969 |        0 |        0
764.45/764.65	c  764s |      25 |  7806520 |  6335898 |     1055  14998 |        0 |        0
766.45/766.66	c  766s |      25 |  7825065 |  6350998 |     1055  15026 |        0 |        0
768.44/768.67	c  768s |      25 |  7844509 |  6366498 |     1055  15054 |        0 |        0
770.44/770.68	c  770s |      25 |  7861874 |  6381298 |     1055  15082 |        0 |        0
772.44/772.69	c  772s |      25 |  7879884 |  6396398 |     1055  15110 |        0 |        0
774.45/774.69	c  774s |      25 |  7897204 |  6411198 |     1055  15137 |        0 |        0
776.54/776.70	c  776s |      25 |  7914149 |  6425798 |     1055  15164 |        0 |        0
778.54/778.71	c  778s |      25 |  7932460 |  6441098 |     1055  15193 |        0 |        0
780.55/780.72	c  780s |      25 |  7950811 |  6456198 |     1055  15220 |        0 |        0
782.55/782.73	c  782s |      25 |  7967601 |  6470598 |     1055  15247 |        0 |        0
784.54/784.74	c  784s |      25 |  7985545 |  6485698 |     1055  15275 |        0 |        0
786.55/786.74	c  786s |      25 |  8002598 |  6500198 |     1055  15302 |        0 |        0
788.54/788.75	c  788s |      25 |  8019587 |  6514698 |     1055  15329 |        0 |        0
790.54/790.75	c  790s |      25 |  8037981 |  6529898 |     1055  15357 |        0 |        0
792.54/792.76	c  792s |      25 |  8055599 |  6544798 |     1055  15385 |        0 |        0
794.54/794.76	c  794s |      25 |  8072414 |  6559198 |     1055  15411 |        0 |        0
796.54/796.77	c  796s |      25 |  8088960 |  6573598 |     1055  15438 |        0 |        0
798.53/798.77	c  798s |      25 |  8104774 |  6587798 |     1055  15464 |        0 |        0
800.53/800.79	c  800s |      25 |  8121347 |  6602298 |     1055  15491 |        0 |        0
802.53/802.79	c  802s |      25 |  8138302 |  6616898 |     1055  15518 |        0 |        0
804.63/804.80	c  804s |      25 |  8156432 |  6632198 |     1055  15547 |        0 |        0
806.63/806.81	c  806s |      25 |  8174865 |  6647598 |     1055  15575 |        0 |        0
808.63/808.81	c  808s |      25 |  8192954 |  6662698 |     1055  15603 |        0 |        0
810.63/810.81	c  810s |      25 |  8211137 |  6677698 |     1055  15631 |        0 |        0
812.63/812.82	c  812s |      25 |  8230263 |  6693098 |     1055  15660 |        0 |        0
814.63/814.83	c  814s |      25 |  8248055 |  6708198 |     1055  15688 |        0 |        0
816.62/816.84	c  816s |      25 |  8265882 |  6722998 |     1055  15715 |        0 |        0
818.62/818.84	c  818s |      25 |  8284878 |  6738598 |     1055  15744 |        0 |        0
820.63/820.85	c  820s |      25 |  8302918 |  6753698 |     1055  15772 |        0 |        0
822.62/822.86	c  822s |      25 |  8321410 |  6768998 |     1055  15801 |        0 |        0
824.62/824.87	c  824s |      25 |  8339447 |  6783998 |     1055  15829 |        0 |        0
826.62/826.87	c  826s |      25 |  8356809 |  6798598 |     1055  15856 |        0 |        0
828.62/828.88	c  828s |      25 |  8374958 |  6813698 |     1055  15884 |        0 |        0
830.63/830.88	c  830s |      25 |  8393796 |  6828998 |     1055  15912 |        0 |        0
832.62/832.89	c  832s |      25 |  8412872 |  6844398 |     1055  15941 |        0 |        0
834.61/834.90	c  834s |      25 |  8433373 |  6860298 |     1055  15970 |        0 |        0
836.71/836.91	c  836s |      25 |  8451244 |  6875198 |     1055  15998 |        0 |        0
838.71/838.92	c  838s |      25 |  8467303 |  6889298 |     1055  16024 |        0 |        0
840.71/840.93	c  840s |      25 |  8482365 |  6902698 |     1055  16049 |        0 |        0
842.72/842.94	c  842s |      25 |  8498782 |  6916898 |     1055  16075 |        0 |        0
844.71/844.94	c  844s |      25 |  8516001 |  6931598 |     1055  16103 |        0 |        0
846.71/846.95	c  846s |      25 |  8533814 |  6946298 |     1055  16130 |        0 |        0
848.71/848.96	c  848s |      25 |  8551746 |  6960998 |     1055  16157 |        0 |        0
850.71/850.97	c  850s |      25 |  8570593 |  6976398 |     1055  16186 |        0 |        0
852.71/852.98	c  852s |      25 |  8588684 |  6991198 |     1055  16214 |        0 |        0
854.72/854.98	c  854s |      25 |  8608145 |  7006698 |     1055  16243 |        0 |        0
856.71/856.98	c  856s |      25 |  8625206 |  7021398 |     1055  16270 |        0 |        0
858.71/858.99	c  858s |      25 |  8643031 |  7036398 |     1055  16297 |        0 |        0
860.71/860.99	c  860s |      25 |  8661806 |  7051698 |     1055  16325 |        0 |        0
862.81/863.00	c  862s |      25 |  8680428 |  7066898 |     1055  16354 |        0 |        0
864.80/865.00	c  864s |      25 |  8698090 |  7081798 |     1055  16381 |        0 |        0
866.81/867.01	c  866s |      25 |  8716113 |  7096998 |     1055  16409 |        0 |        0
868.80/869.02	c  869s |      25 |  8733611 |  7111898 |     1055  16437 |        0 |        0
870.80/871.03	c  871s |      25 |  8751816 |  7127198 |     1055  16465 |        0 |        0
872.80/873.04	c  873s |      25 |  8769298 |  7141898 |     1055  16492 |        0 |        0
874.80/875.05	c  875s |      25 |  8786663 |  7156598 |     1055  16519 |        0 |        0
876.80/877.06	c  877s |      25 |  8804022 |  7171398 |     1055  16547 |        0 |        0
878.79/879.06	c  879s |      25 |  8820802 |  7185998 |     1055  16574 |        0 |        0
880.79/881.07	c  881s |      25 |  8838585 |  7200998 |     1055  16602 |        0 |        0
882.79/883.07	c  883s |      25 |  8855884 |  7215698 |     1055  16629 |        0 |        0
884.79/885.08	c  885s |      25 |  8872916 |  7230298 |     1055  16656 |        0 |        0
886.79/887.09	c  887s |      25 |  8889971 |  7244998 |     1055  16683 |        0 |        0
888.80/889.10	c  889s |      25 |  8905579 |  7258798 |     1055  16709 |        0 |        0
890.89/891.11	c  891s |      25 |  8921946 |  7272898 |     1055  16735 |        0 |        0
892.89/893.12	c  893s |      25 |  8938154 |  7287198 |     1055  16761 |        0 |        0
894.89/895.13	c  895s |      25 |  8955301 |  7301898 |     1055  16789 |        0 |        0
896.88/897.13	c  897s |      25 |  8971472 |  7316098 |     1055  16815 |        0 |        0
898.88/899.14	c  899s |      25 |  8988631 |  7330798 |     1055  16842 |        0 |        0
900.89/901.15	c  901s |      25 |  9008704 |  7346698 |     1055  16872 |        0 |        0
902.88/903.15	c  903s |      25 |  9027565 |  7362198 |     1055  16900 |        0 |        0
904.88/905.16	c  905s |      25 |  9047042 |  7377698 |     1055  16929 |        0 |        0
906.88/907.16	c  907s |      25 |  9066124 |  7393198 |     1055  16958 |        0 |        0
908.88/909.17	c  909s |      25 |  9084179 |  7408298 |     1055  16986 |        0 |        0
910.89/911.17	c  911s |      25 |  9102263 |  7423298 |     1055  17014 |        0 |        0
912.88/913.18	c  913s |      25 |  9120498 |  7438498 |     1055  17042 |        0 |        0
914.98/915.20	c  915s |      25 |  9137595 |  7453098 |     1055  17069 |        0 |        0
916.98/917.21	c  917s |      25 |  9155184 |  7467898 |     1055  17096 |        0 |        0
918.98/919.22	c  919s |      25 |  9172424 |  7482498 |     1055  17123 |        0 |        0
920.98/921.23	c  921s |      25 |  9190191 |  7497398 |     1055  17151 |        0 |        0
922.98/923.23	c  923s |      25 |  9208505 |  7512398 |     1055  17179 |        0 |        0
924.97/925.24	c  925s |      25 |  9227017 |  7527498 |     1055  17207 |        0 |        0
926.97/927.24	c  927s |      25 |  9245353 |  7542598 |     1055  17235 |        0 |        0
928.96/929.25	c  929s |      25 |  9263145 |  7557298 |     1161  17260 |        0 |        0
930.96/931.25	c  931s |      25 |  9281550 |  7572098 |     1161  17285 |        0 |        0
932.96/933.26	c  933s |      25 |  9300030 |  7586998 |     1161  17310 |        0 |        0
934.36/934.68	c  934s |      26 |  9313532 |  7597752 |     1161  17329 |        0 |        0
936.36/936.69	c  936s |      26 |  9332553 |  7613152 |     1161  17354 |        0 |        0
938.46/938.70	c  938s |      26 |  9352172 |  7628752 |     1161  17381 |        0 |        0
940.36/940.70	c  940s |      26 |  9371911 |  7644152 |     1161  17406 |        0 |        0
942.45/942.71	c  942s |      26 |  9391800 |  7659652 |     1161  17433 |        0 |        0
944.45/944.71	c  944s |      26 |  9411445 |  7675052 |     1161  17458 |        0 |        0
946.45/946.71	c  946s |      26 |  9429979 |  7690152 |     1161  17484 |        0 |        0
948.45/948.72	c  948s |      26 |  9449760 |  7705752 |     1161  17510 |        0 |        0
950.46/950.73	c  950s |      26 |  9469735 |  7721452 |     1161  17536 |        0 |        0
952.45/952.74	c  952s |      26 |  9488976 |  7736852 |     1161  17563 |        0 |        0
954.45/954.74	c  954s |      26 |  9508617 |  7752452 |     1161  17589 |        0 |        0
956.45/956.74	c  956s |      26 |  9528786 |  7768252 |     1161  17615 |        0 |        0
958.45/958.76	c  958s |      26 |  9548087 |  7783752 |     1161  17641 |        0 |        0
960.45/960.76	c  960s |      26 |  9566187 |  7798652 |     1161  17666 |        0 |        0
962.46/962.77	c  962s |      26 |  9584171 |  7813552 |     1161  17691 |        0 |        0
964.45/964.77	c  964s |      26 |  9602622 |  7828452 |     1161  17716 |        0 |        0
966.45/966.78	c  966s |      26 |  9622622 |  7844252 |     1161  17743 |        0 |        0
968.45/968.79	c  968s |      26 |  9641602 |  7859352 |     1161  17768 |        0 |        0
970.45/970.80	c  970s |      26 |  9661677 |  7874952 |     1161  17795 |        0 |        0
972.55/972.80	c  972s |      26 |  9680043 |  7889752 |     1161  17820 |        0 |        0
974.55/974.80	c  974s |      26 |  9697023 |  7904152 |     1161  17844 |        0 |        0
976.54/976.81	c  976s |      26 |  9716043 |  7919652 |     1161  17870 |        0 |        0
978.54/978.82	c  978s |      26 |  9735657 |  7935352 |     1161  17896 |        0 |        0
980.54/980.83	c  980s |      26 |  9754752 |  7950752 |     1161  17922 |        0 |        0
982.54/982.84	c  982s |      26 |  9774830 |  7966552 |     1161  17949 |        0 |        0
984.55/984.85	c  984s |      26 |  9793283 |  7981652 |     1161  17974 |        0 |        0
986.54/986.86	c  986s |      26 |  9811190 |  7996552 |     1161  17999 |        0 |        0
988.54/988.86	c  988s |      26 |  9830416 |  8011952 |     1161  18025 |        0 |        0
990.54/990.86	c  990s |      26 |  9848928 |  8027052 |     1161  18051 |        0 |        0
992.54/992.87	c  992s |      26 |  9868257 |  8042252 |     1161  18076 |        0 |        0
994.53/994.87	c  994s |      26 |  9886163 |  8056652 |     1161  18100 |        0 |        0
996.54/996.87	c  996s |      26 |  9905714 |  8071952 |     1161  18126 |        0 |        0
998.53/998.88	c  998s |      26 |  9924592 |  8087252 |     1161  18152 |        0 |        0
1000.53/1000.88	c 1000s |      26 |  9944151 |  8102552 |     1161  18178 |        0 |        0
1002.53/1002.88	c 1002s |      26 |  9963360 |  8117552 |     1161  18203 |        0 |        0
1004.53/1004.89	c 1004s |      26 |  9982445 |  8132952 |     1161  18229 |        0 |        0
1006.53/1006.89	c 1006s |      26 | 10001604 |  8148452 |     1161  18255 |        0 |        0
1008.63/1008.90	c 1008s |      26 | 10019782 |  8163552 |     1161  18280 |        0 |        0
1010.62/1010.92	c 1010s |      26 | 10036909 |  8178052 |     1161  18304 |        0 |        0
1012.63/1012.92	c 1012s |      26 | 10053204 |  8192052 |     1161  18328 |        0 |        0
1014.63/1014.93	c 1014s |      26 | 10069050 |  8205652 |     1161  18351 |        0 |        0
1016.63/1016.94	c 1016s |      26 | 10086576 |  8220252 |     1161  18375 |        0 |        0
1018.63/1018.95	c 1018s |      26 | 10103604 |  8234652 |     1161  18400 |        0 |        0
1020.63/1020.97	c 1020s |      26 | 10119904 |  8248752 |     1161  18423 |        0 |        0
1022.63/1022.97	c 1022s |      26 | 10137071 |  8263252 |     1161  18448 |        0 |        0
1024.62/1024.98	c 1024s |      26 | 10154085 |  8277452 |     1161  18471 |        0 |        0
1026.62/1026.98	c 1026s |      26 | 10171900 |  8292352 |     1161  18496 |        0 |        0
1028.62/1028.99	c 1028s |      26 | 10189328 |  8307052 |     1161  18521 |        0 |        0
1030.63/1030.99	c 1030s |      26 | 10205369 |  8320952 |     1161  18544 |        0 |        0
1032.72/1033.00	c 1032s |      26 | 10222119 |  8335252 |     1161  18569 |        0 |        0
1034.72/1035.00	c 1034s |      26 | 10240433 |  8350152 |     1161  18594 |        0 |        0
1036.72/1037.01	c 1037s |      26 | 10258131 |  8364852 |     1161  18618 |        0 |        0
1038.72/1039.02	c 1039s |      26 | 10274577 |  8378652 |     1161  18641 |        0 |        0
1040.72/1041.03	c 1041s |      26 | 10292690 |  8393352 |     1161  18666 |        0 |        0
1042.72/1043.03	c 1043s |      26 | 10310271 |  8408052 |     1161  18691 |        0 |        0
1044.71/1045.03	c 1045s |      26 | 10327153 |  8422352 |     1161  18715 |        0 |        0
1046.71/1047.04	c 1047s |      26 | 10345354 |  8437352 |     1161  18740 |        0 |        0
1048.71/1049.05	c 1049s |      26 | 10362669 |  8451852 |     1161  18765 |        0 |        0
1050.71/1051.05	c 1051s |      26 | 10378955 |  8465852 |     1161  18788 |        0 |        0
1052.72/1053.06	c 1053s |      26 | 10395184 |  8479652 |     1161  18812 |        0 |        0
1054.70/1055.08	c 1055s |      26 | 10413782 |  8494352 |     1161  18836 |        0 |        0
1056.70/1057.08	c 1057s |      26 | 10430460 |  8508252 |     1161  18860 |        0 |        0
1058.70/1059.08	c 1059s |      26 | 10447474 |  8522252 |     1161  18884 |        0 |        0
1060.70/1061.09	c 1061s |      26 | 10464949 |  8536452 |     1161  18908 |        0 |        0
1062.70/1063.09	c 1063s |      26 | 10481359 |  8550452 |     1161  18931 |        0 |        0
1064.71/1065.10	c 1065s |      26 | 10498428 |  8564652 |     1161  18955 |        0 |        0
1066.80/1067.10	c 1067s |      26 | 10515590 |  8578952 |     1161  18979 |        0 |        0
1068.80/1069.11	c 1069s |      26 | 10532546 |  8592952 |     1161  19003 |        0 |        0
1070.80/1071.12	c 1071s |      26 | 10549904 |  8607252 |     1161  19027 |        0 |        0
1072.80/1073.12	c 1073s |      26 | 10565919 |  8621052 |     1161  19050 |        0 |        0
1074.79/1075.13	c 1075s |      26 | 10583853 |  8635552 |     1161  19075 |        0 |        0
1076.80/1077.15	c 1077s |      26 | 10601921 |  8650052 |     1161  19099 |        0 |        0
1078.79/1079.15	c 1079s |      26 | 10619240 |  8664152 |     1161  19123 |        0 |        0
1080.79/1081.16	c 1081s |      26 | 10635895 |  8678152 |     1161  19146 |        0 |        0
1082.79/1083.17	c 1083s |      26 | 10652805 |  8692452 |     1161  19170 |        0 |        0
1084.79/1085.18	c 1085s |      26 | 10670692 |  8706752 |     1161  19194 |        0 |        0
1086.79/1087.19	c 1087s |      26 | 10689424 |  8721252 |     1161  19219 |        0 |        0
1088.89/1089.20	c 1089s |      26 | 10705577 |  8734952 |     1161  19242 |        0 |        0
1090.89/1091.22	c 1091s |      26 | 10722258 |  8748952 |     1161  19265 |        0 |        0
1092.89/1093.22	c 1093s |      26 | 10739393 |  8763152 |     1161  19289 |        0 |        0
1094.88/1095.22	c 1095s |      26 | 10755784 |  8776852 |     1161  19312 |        0 |        0
1096.88/1097.23	c 1097s |      26 | 10773160 |  8791252 |     1161  19336 |        0 |        0
1098.89/1099.24	c 1099s |      26 | 10790720 |  8805652 |     1161  19360 |        0 |        0
1100.88/1101.25	c 1101s |      26 | 10807913 |  8819952 |     1161  19385 |        0 |        0
1102.88/1103.25	c 1103s |      26 | 10824987 |  8833952 |     1161  19408 |        0 |        0
1104.87/1105.25	c 1105s |      26 | 10841275 |  8847752 |     1161  19431 |        0 |        0
1106.87/1107.25	c 1107s |      26 | 10858015 |  8862152 |     1161  19456 |        0 |        0
1108.87/1109.26	c 1109s |      26 | 10875010 |  8876352 |     1161  19480 |        0 |        0
1110.88/1111.26	c 1111s |      26 | 10895069 |  8892052 |     1161  19506 |        0 |        0
1112.87/1113.27	c 1113s |      26 | 10914849 |  8907752 |     1161  19532 |        0 |        0
1114.88/1115.27	c 1115s |      26 | 10933765 |  8923052 |     1161  19558 |        0 |        0
1116.87/1117.28	c 1117s |      26 | 10953448 |  8938752 |     1161  19584 |        0 |        0
1118.87/1119.29	c 1119s |      26 | 10974271 |  8954752 |     1161  19612 |        0 |        0
1120.97/1121.30	c 1121s |      26 | 10995154 |  8970952 |     1161  19639 |        0 |        0
1122.98/1123.31	c 1123s |      26 | 11014044 |  8986152 |     1161  19665 |        0 |        0
1124.97/1125.31	c 1125s |      26 | 11032446 |  9001052 |     1161  19690 |        0 |        0
1126.97/1127.32	c 1127s |      26 | 11051969 |  9016452 |     1161  19716 |        0 |        0
1128.97/1129.33	c 1129s |      26 | 11071210 |  9031852 |     1161  19742 |        0 |        0
1130.97/1131.34	c 1131s |      26 | 11090376 |  9047152 |     1161  19767 |        0 |        0
1132.98/1133.34	c 1133s |      26 | 11109479 |  9062452 |     1161  19793 |        0 |        0
1134.96/1135.34	c 1135s |      26 | 11127560 |  9077152 |     1161  19818 |        0 |        0
1136.96/1137.35	c 1137s |      26 | 11143255 |  9090952 |     1161  19841 |        0 |        0
1138.96/1139.36	c 1139s |      26 | 11160414 |  9105352 |     1161  19866 |        0 |        0
1140.96/1141.36	c 1141s |      26 | 11179871 |  9120752 |     1161  19892 |        0 |        0
1142.96/1143.37	c 1143s |      26 | 11199979 |  9136552 |     1161  19918 |        0 |        0
1144.96/1145.37	c 1145s |      26 | 11219913 |  9152452 |     1161  19945 |        0 |        0
1146.95/1147.37	c 1147s |      26 | 11240209 |  9168052 |     1161  19972 |        0 |        0
1148.95/1149.37	c 1149s |      26 | 11259811 |  9183252 |     1161  19997 |        0 |        0
1150.95/1151.37	c 1151s |      26 | 11281014 |  9199152 |     1161  20024 |        0 |        0
1152.95/1153.38	c 1153s |      26 | 11301664 |  9215152 |     1161  20051 |        0 |        0
1154.95/1155.39	c 1155s |      26 | 11321598 |  9230852 |     1161  20078 |        0 |        0
1156.95/1157.40	c 1157s |      26 | 11341974 |  9246652 |     1161  20105 |        0 |        0
1159.05/1159.41	c 1159s |      26 | 11363372 |  9262852 |     1161  20132 |        0 |        0
1161.05/1161.41	c 1161s |      26 | 11382825 |  9278452 |     1161  20158 |        0 |        0
1163.05/1163.41	c 1163s |      26 | 11403236 |  9294252 |     1161  20185 |        0 |        0
1165.04/1165.42	c 1165s |      26 | 11422365 |  9309552 |     1161  20211 |        0 |        0
1167.05/1167.42	c 1167s |      26 | 11442125 |  9325052 |     1161  20237 |        0 |        0
1169.04/1169.43	c 1169s |      26 | 11461407 |  9340452 |     1161  20263 |        0 |        0
1171.04/1171.44	c 1171s |      26 | 11480713 |  9355852 |     1161  20289 |        0 |        0
1173.04/1173.44	c 1173s |      26 | 11498514 |  9370652 |     1161  20314 |        0 |        0
1175.04/1175.45	c 1175s |      26 | 11516655 |  9385452 |     1161  20339 |        0 |        0
1177.04/1177.45	c 1177s |      26 | 11535183 |  9400552 |     1161  20364 |        0 |        0
1179.04/1179.46	c 1179s |      26 | 11554668 |  9415952 |     1161  20390 |        0 |        0
1181.04/1181.47	c 1181s |      26 | 11574944 |  9431652 |     1161  20417 |        0 |        0
1183.03/1183.47	c 1183s |      26 | 11595399 |  9447252 |     1161  20443 |        0 |        0
1185.03/1185.49	c 1185s |      26 | 11614278 |  9462252 |     1161  20468 |        0 |        0
1187.03/1187.49	c 1187s |      26 | 11633897 |  9477752 |     1161  20494 |        0 |        0
1189.13/1189.50	c 1189s |      26 | 11654173 |  9493352 |     1161  20521 |        0 |        0
1191.14/1191.51	c 1191s |      26 | 11672463 |  9508352 |     1161  20546 |        0 |        0
1193.13/1193.51	c 1193s |      26 | 11690287 |  9523052 |     1161  20571 |        0 |        0
1195.12/1195.52	c 1195s |      26 | 11708210 |  9537752 |     1161  20595 |        0 |        0
1197.12/1197.53	c 1197s |      26 | 11726583 |  9552552 |     1161  20620 |        0 |        0
1199.12/1199.55	c 1199s |      26 | 11747478 |  9568552 |     1161  20647 |        0 |        0
1201.13/1201.55	c 1201s |      26 | 11764735 |  9582952 |     1161  20671 |        0 |        0
1203.12/1203.56	c 1203s |      26 | 11781627 |  9597152 |     1161  20695 |        0 |        0
1205.12/1205.56	c 1205s |      26 | 11799815 |  9611952 |     1161  20720 |        0 |        0
1207.12/1207.57	c 1207s |      26 | 11819745 |  9627452 |     1161  20746 |        0 |        0
1209.12/1209.58	c 1209s |      26 | 11840124 |  9643252 |     1161  20773 |        0 |        0
1211.12/1211.58	c 1211s |      26 | 11860139 |  9658952 |     1161  20799 |        0 |        0
1213.12/1213.59	c 1213s |      26 | 11880552 |  9674652 |     1161  20826 |        0 |        0
1215.21/1215.60	c 1215s |      26 | 11900791 |  9690152 |     1161  20852 |        0 |        0
1217.21/1217.61	c 1217s |      26 | 11920216 |  9705452 |     1161  20878 |        0 |        0
1219.21/1219.61	c 1219s |      26 | 11939600 |  9720752 |     1161  20903 |        0 |        0
1221.21/1221.62	c 1221s |      26 | 11959819 |  9736252 |     1161  20930 |        0 |        0
1223.21/1223.63	c 1223s |      26 | 11979178 |  9751352 |     1161  20955 |        0 |        0
1225.21/1225.64	c 1225s |      26 | 11998072 |  9766352 |     1161  20981 |        0 |        0
1227.21/1227.65	c 1227s |      26 | 12017064 |  9781452 |     1161  21006 |        0 |        0
1229.21/1229.66	c 1229s |      26 | 12037147 |  9796952 |     1161  21032 |        0 |        0
1231.21/1231.66	c 1231s |      26 | 12057570 |  9812552 |     1161  21059 |        0 |        0
1233.21/1233.66	c 1233s |      26 | 12076351 |  9827552 |     1161  21084 |        0 |        0
1235.22/1235.66	c 1235s |      26 | 12095145 |  9842452 |     1161  21109 |        0 |        0
1237.21/1237.68	c 1237s |      26 | 12113644 |  9857552 |     1161  21135 |        0 |        0
1239.21/1239.68	c 1239s |      26 | 12133579 |  9873252 |     1161  21161 |        0 |        0
1241.21/1241.68	c 1241s |      26 | 12152070 |  9888152 |     1161  21186 |        0 |        0
1243.21/1243.69	c 1243s |      26 | 12171017 |  9903452 |     1161  21212 |        0 |        0
1245.20/1245.69	c 1245s |      26 | 12190346 |  9918752 |     1161  21238 |        0 |        0
1247.21/1247.69	c 1247s |      26 | 12211208 |  9934652 |     1161  21265 |        0 |        0
1249.20/1249.69	c 1249s |      26 | 12230827 |  9950152 |     1161  21291 |        0 |        0
1251.30/1251.70	c 1251s |      26 | 12249567 |  9964952 |     1161  21316 |        0 |        0
1253.30/1253.71	c 1253s |      26 | 12268481 |  9979952 |     1161  21342 |        0 |        0
1255.30/1255.72	c 1255s |      26 | 12287961 |  9995152 |     1161  21367 |        0 |        0
1257.30/1257.72	c 1257s |      26 | 12306576 | 10009852 |     1161  21392 |        0 |        0
1259.30/1259.73	c 1259s |      26 | 12323324 | 10023752 |     1161  21415 |        0 |        0
1261.30/1261.74	c 1261s |      26 | 12340257 | 10038052 |     1161  21439 |        0 |        0
1263.30/1263.74	c 1263s |      26 | 12356731 | 10052252 |     1161  21463 |        0 |        0
1265.29/1265.75	c 1265s |      26 | 12372781 | 10066252 |     1161  21487 |        0 |        0
1267.29/1267.77	c 1267s |      26 | 12389435 | 10080552 |     1161  21511 |        0 |        0
1269.30/1269.77	c 1269s |      26 | 12406999 | 10094952 |     1161  21535 |        0 |        0
1271.29/1271.78	c 1271s |      26 | 12424720 | 10109452 |     1161  21559 |        0 |        0
1273.29/1273.78	c 1273s |      26 | 12442457 | 10123752 |     1161  21583 |        0 |        0
1275.29/1275.79	c 1275s |      26 | 12460493 | 10138252 |     1161  21607 |        0 |        0
1277.38/1277.80	c 1277s |      26 | 12478957 | 10153052 |     1161  21632 |        0 |        0
1279.38/1279.81	c 1279s |      26 | 12497042 | 10167752 |     1161  21657 |        0 |        0
1281.39/1281.82	c 1281s |      26 | 12515769 | 10182552 |     1161  21682 |        0 |        0
1283.38/1283.82	c 1283s |      26 | 12534437 | 10197352 |     1161  21707 |        0 |        0
1285.39/1285.83	c 1285s |      26 | 12553026 | 10211852 |     1161  21731 |        0 |        0
1287.39/1287.84	c 1287s |      26 | 12571958 | 10226652 |     1161  21756 |        0 |        0
1289.39/1289.84	c 1289s |      26 | 12590855 | 10241352 |     1161  21781 |        0 |        0
1291.39/1291.85	c 1291s |      26 | 12609726 | 10256252 |     1161  21805 |        0 |        0
1293.39/1293.85	c 1293s |      26 | 12628103 | 10270852 |     1161  21830 |        0 |        0
1295.38/1295.86	c 1295s |      26 | 12646427 | 10285252 |     1161  21854 |        0 |        0
1297.38/1297.86	c 1297s |      26 | 12664627 | 10299752 |     1161  21879 |        0 |        0
1299.38/1299.86	c 1299s |      26 | 12683679 | 10314652 |     1161  21904 |        0 |        0
1301.38/1301.86	c 1301s |      26 | 12702263 | 10329452 |     1161  21928 |        0 |        0
1303.39/1303.87	c 1303s |      26 | 12720737 | 10344052 |     1161  21953 |        0 |        0
1305.37/1305.88	c 1305s |      26 | 12739476 | 10358852 |     1161  21978 |        0 |        0
1307.47/1307.90	c 1307s |      26 | 12758445 | 10373752 |     1161  22003 |        0 |        0
1309.47/1309.90	c 1309s |      26 | 12776270 | 10388052 |     1161  22027 |        0 |        0
1311.47/1311.91	c 1311s |      26 | 12795242 | 10402952 |     1161  22052 |        0 |        0
1313.47/1313.91	c 1313s |      26 | 12813823 | 10417652 |     1161  22077 |        0 |        0
1315.47/1315.92	c 1315s |      26 | 12831562 | 10432152 |     1161  22101 |        0 |        0
1317.47/1317.93	c 1317s |      26 | 12847537 | 10445652 |     1161  22124 |        0 |        0
1319.47/1319.94	c 1319s |      26 | 12864925 | 10459852 |     1161  22148 |        0 |        0
1321.47/1321.95	c 1321s |      26 | 12883799 | 10474752 |     1161  22173 |        0 |        0
1323.46/1323.95	c 1323s |      26 | 12902896 | 10489752 |     1161  22198 |        0 |        0
1325.46/1325.97	c 1325s |      26 | 12922431 | 10504952 |     1161  22224 |        0 |        0
1327.47/1327.97	c 1327s |      26 | 12941104 | 10520152 |     1161  22250 |        0 |        0
1329.46/1329.98	c 1329s |      26 | 12960148 | 10535252 |     1161  22275 |        0 |        0
1331.46/1331.98	c 1331s |      26 | 12980688 | 10550952 |     1161  22301 |        0 |        0
1333.46/1333.98	c 1333s |      26 | 13000714 | 10566252 |     1161  22327 |        0 |        0
1335.46/1335.99	c 1335s |      26 | 13021271 | 10581852 |     1161  22353 |        0 |        0
1337.46/1337.99	c 1337s |      26 | 13041177 | 10596952 |     1161  22379 |        0 |        0
1339.46/1340.00	c 1339s |      26 | 13061435 | 10612552 |     1161  22405 |        0 |        0
1341.56/1342.00	c 1341s |      26 | 13080758 | 10627552 |     1161  22430 |        0 |        0
1343.56/1344.01	c 1343s |      26 | 13101575 | 10643152 |     1161  22457 |        0 |        0
1345.55/1346.01	c 1346s |      26 | 13121256 | 10658152 |     1161  22482 |        0 |        0
1347.55/1348.02	c 1348s |      26 | 13141017 | 10673352 |     1161  22507 |        0 |        0
1349.56/1350.02	c 1350s |      26 | 13161262 | 10689052 |     1161  22534 |        0 |        0
1351.55/1352.03	c 1352s |      26 | 13179742 | 10703852 |     1161  22558 |        0 |        0
1353.55/1354.05	c 1354s |      26 | 13196115 | 10717852 |     1161  22582 |        0 |        0
1355.55/1356.06	c 1356s |      26 | 13211284 | 10731252 |     1161  22605 |        0 |        0
1357.54/1358.07	c 1358s |      26 | 13226885 | 10744752 |     1161  22627 |        0 |        0
1359.54/1360.08	c 1360s |      26 | 13245921 | 10759852 |     1161  22653 |        0 |        0
1361.56/1362.09	c 1362s |      26 | 13264610 | 10774652 |     1161  22678 |        0 |        0
1363.65/1364.10	c 1364s |      26 | 13283889 | 10789652 |     1161  22703 |        0 |        0
1365.65/1366.11	c 1366s |      26 | 13302885 | 10804552 |     1161  22728 |        0 |        0
1367.65/1368.11	c 1368s |      26 | 13321452 | 10819452 |     1161  22753 |        0 |        0
1369.65/1370.12	c 1370s |      26 | 13343044 | 10835752 |     1161  22781 |        0 |        0
1371.65/1372.13	c 1372s |      26 | 13364360 | 10851852 |     1161  22808 |        0 |        0
1373.65/1374.13	c 1374s |      26 | 13384396 | 10867252 |     1161  22834 |        0 |        0
1375.65/1376.14	c 1376s |      26 | 13402300 | 10881952 |     1161  22859 |        0 |        0
1377.65/1378.14	c 1378s |      26 | 13421135 | 10897252 |     1161  22885 |        0 |        0
1379.65/1380.14	c 1380s |      26 | 13439728 | 10912252 |     1161  22910 |        0 |        0
1381.65/1382.15	c 1382s |      26 | 13458399 | 10927352 |     1161  22936 |        0 |        0
1383.65/1384.15	c 1384s |      26 | 13476559 | 10942052 |     1161  22960 |        0 |        0
1385.65/1386.16	c 1386s |      26 | 13495594 | 10957052 |     1161  22986 |        0 |        0
1387.64/1388.16	c 1388s |      26 | 13514766 | 10972152 |     1161  23011 |        0 |        0
1389.64/1390.16	c 1390s |      26 | 13534247 | 10987252 |     1161  23037 |        0 |        0
1391.64/1392.17	c 1392s |      26 | 13552867 | 11002152 |     1161  23062 |        0 |        0
1393.64/1394.17	c 1394s |      26 | 13572725 | 11017552 |     1161  23088 |        0 |        0
1395.65/1396.18	c 1396s |      26 | 13591669 | 11032652 |     1161  23113 |        0 |        0
1397.64/1398.18	c 1398s |      26 | 13611490 | 11047852 |     1161  23139 |        0 |        0
1399.64/1400.18	c 1400s |      26 | 13631739 | 11063352 |     1161  23165 |        0 |        0
1401.64/1402.19	c 1402s |      26 | 13651968 | 11078952 |     1161  23191 |        0 |        0
1403.64/1404.19	c 1404s |      26 | 13670196 | 11093652 |     1161  23216 |        0 |        0
1405.74/1406.20	c 1406s |      26 | 13690680 | 11109252 |     1161  23242 |        0 |        0
1407.75/1408.21	c 1408s |      26 | 13709668 | 11124352 |     1161  23268 |        0 |        0
1409.74/1410.21	c 1410s |      26 | 13729374 | 11139652 |     1161  23294 |        0 |        0
1411.74/1412.22	c 1412s |      26 | 13748144 | 11154652 |     1161  23319 |        0 |        0
1413.74/1414.22	c 1414s |      26 | 13765467 | 11168752 |     1161  23343 |        0 |        0
1415.74/1416.23	c 1416s |      26 | 13784897 | 11184052 |     1161  23369 |        0 |        0
1417.74/1418.23	c 1418s |      26 | 13804399 | 11198952 |     1161  23394 |        0 |        0
1419.74/1420.24	c 1420s |      26 | 13825716 | 11214652 |     1161  23420 |        0 |        0
1421.73/1422.25	c 1422s |      26 | 13845290 | 11229752 |     1161  23446 |        0 |        0
1423.73/1424.26	c 1424s |      26 | 13863831 | 11244752 |     1161  23471 |        0 |        0
1425.73/1426.27	c 1426s |      26 | 13883375 | 11259852 |     1161  23497 |        0 |        0
1427.73/1428.28	c 1428s |      26 | 13902380 | 11274852 |     1161  23522 |        0 |        0
1429.74/1430.28	c 1430s |      26 | 13921467 | 11289752 |     1161  23547 |        0 |        0
1431.74/1432.30	c 1432s |      26 | 13940230 | 11304352 |     1161  23572 |        0 |        0
1433.84/1434.30	c 1434s |      26 | 13958499 | 11318852 |     1278  23596 |        0 |        0
1435.84/1436.31	c 1436s |      26 | 13975753 | 11333152 |     1278  23618 |        0 |        0
1437.84/1438.31	c 1438s |      26 | 13993724 | 11347652 |     1278  23640 |        0 |        0
1439.84/1440.31	c 1440s |      26 | 14012315 | 11362252 |     1278  23662 |        0 |        0
1441.85/1442.32	c 1442s |      26 | 14032130 | 11377052 |     1278  23685 |        0 |        0
1443.84/1444.33	c 1444s |      26 | 14051220 | 11391852 |     1278  23708 |        0 |        0
1444.54/1445.01	c 1444s |      27 | 14057046 | 11396733 |     1278  23715 |        0 |        0
1446.54/1447.01	c 1446s |      27 | 14073475 | 11410633 |     1278  23736 |        0 |        0
1448.54/1449.02	c 1449s |      27 | 14089134 | 11424233 |     1278  23757 |        0 |        0
1450.54/1451.02	c 1451s |      27 | 14105894 | 11438333 |     1278  23779 |        0 |        0
1452.54/1453.02	c 1453s |      27 | 14123594 | 11452633 |     1278  23801 |        0 |        0
1454.54/1455.03	c 1455s |      27 | 14140720 | 11466833 |     1278  23822 |        0 |        0
1456.54/1457.03	c 1457s |      27 | 14157642 | 11481033 |     1278  23844 |        0 |        0
1458.54/1459.04	c 1459s |      27 | 14174427 | 11494933 |     1278  23865 |        0 |        0
1460.54/1461.05	c 1461s |      27 | 14191392 | 11509133 |     1278  23887 |        0 |        0
1462.53/1463.06	c 1463s |      27 | 14208166 | 11523033 |     1278  23909 |        0 |        0
1464.53/1465.06	c 1465s |      27 | 14224751 | 11537033 |     1278  23930 |        0 |        0
1466.53/1467.08	c 1467s |      27 | 14242268 | 11551433 |     1278  23952 |        0 |        0
1468.53/1469.09	c 1469s |      27 | 14259423 | 11565733 |     1278  23974 |        0 |        0
1470.63/1471.10	c 1471s |      27 | 14276435 | 11580033 |     1278  23996 |        0 |        0
1472.53/1473.10	c 1473s |      27 | 14291960 | 11593633 |     1278  24017 |        0 |        0
1474.63/1475.11	c 1475s |      27 | 14309100 | 11607933 |     1278  24039 |        0 |        0
1476.63/1477.12	c 1477s |      27 | 14326332 | 11622233 |     1278  24061 |        0 |        0
1478.63/1479.13	c 1479s |      27 | 14343847 | 11636633 |     1278  24083 |        0 |        0
1480.63/1481.13	c 1481s |      27 | 14361477 | 11651033 |     1278  24105 |        0 |        0
1482.64/1483.15	c 1483s |      27 | 14380581 | 11666033 |     1278  24128 |        0 |        0
1484.63/1485.15	c 1485s |      27 | 14398539 | 11680533 |     1278  24150 |        0 |        0
1486.63/1487.16	c 1487s |      27 | 14416567 | 11695133 |     1278  24173 |        0 |        0
1488.63/1489.16	c 1489s |      27 | 14434204 | 11709333 |     1278  24194 |        0 |        0
1490.63/1491.16	c 1491s |      27 | 14451629 | 11723433 |     1278  24216 |        0 |        0
1492.63/1493.16	c 1493s |      27 | 14466384 | 11736133 |     1278  24236 |        0 |        0
1494.63/1495.17	c 1495s |      27 | 14482291 | 11749633 |     1278  24256 |        0 |        0
1496.63/1497.18	c 1497s |      27 | 14498512 | 11763233 |     1278  24277 |        0 |        0
1498.63/1499.18	c 1499s |      27 | 14514850 | 11776633 |     1278  24298 |        0 |        0
1500.63/1501.19	c 1501s |      27 | 14531026 | 11790133 |     1278  24319 |        0 |        0
1502.63/1503.19	c 1503s |      27 | 14548887 | 11804733 |     1278  24341 |        0 |        0
1504.73/1505.20	c 1505s |      27 | 14565710 | 11818533 |     1278  24362 |        0 |        0
1506.73/1507.21	c 1507s |      27 | 14583352 | 11832733 |     1278  24384 |        0 |        0
1508.72/1509.22	c 1509s |      27 | 14601447 | 11847333 |     1278  24406 |        0 |        0
1510.72/1511.22	c 1511s |      27 | 14619202 | 11861633 |     1278  24429 |        0 |        0
1512.72/1513.23	c 1513s |      27 | 14638590 | 11876833 |     1278  24452 |        0 |        0
1514.72/1515.23	c 1515s |      27 | 14658626 | 11892333 |     1278  24476 |        0 |        0
1516.73/1517.23	c 1517s |      27 | 14677889 | 11907633 |     1278  24499 |        0 |        0
1518.72/1519.24	c 1519s |      27 | 14697630 | 11923233 |     1278  24523 |        0 |        0
1520.72/1521.26	c 1521s |      27 | 14716985 | 11938633 |     1278  24546 |        0 |        0
1522.72/1523.26	c 1523s |      27 | 14734255 | 11952933 |     1278  24568 |        0 |        0
1524.72/1525.26	c 1525s |      27 | 14751164 | 11967133 |     1278  24590 |        0 |        0
1526.72/1527.27	c 1527s |      27 | 14770442 | 11982133 |     1278  24613 |        0 |        0
1528.73/1529.27	c 1529s |      27 | 14789310 | 11997033 |     1278  24636 |        0 |        0
1530.72/1531.27	c 1531s |      27 | 14809041 | 12012033 |     1278  24659 |        0 |        0
1532.72/1533.28	c 1533s |      27 | 14826573 | 12026433 |     1278  24681 |        0 |        0
1534.72/1535.30	c 1535s |      27 | 14844053 | 12041133 |     1278  24704 |        0 |        0
1536.82/1537.30	c 1537s |      27 | 14862305 | 12055833 |     1278  24726 |        0 |        0
1538.82/1539.32	c 1539s |      27 | 14878010 | 12069533 |     1278  24748 |        0 |        0
1540.82/1541.33	c 1541s |      27 | 14895720 | 12084033 |     1278  24770 |        0 |        0
1542.82/1543.34	c 1543s |      27 | 14914087 | 12098233 |     1278  24792 |        0 |        0
1544.82/1545.34	c 1545s |      27 | 14932569 | 12112633 |     1278  24814 |        0 |        0
1546.82/1547.35	c 1547s |      27 | 14949799 | 12126533 |     1278  24835 |        0 |        0
1548.82/1549.36	c 1549s |      27 | 14969024 | 12141333 |     1278  24858 |        0 |        0
1550.83/1551.36	c 1551s |      27 | 14988124 | 12156033 |     1278  24880 |        0 |        0
1552.82/1553.37	c 1553s |      27 | 15006009 | 12170433 |     1278  24902 |        0 |        0
1554.82/1555.37	c 1555s |      27 | 15025365 | 12185033 |     1278  24925 |        0 |        0
1556.82/1557.38	c 1557s |      27 | 15044992 | 12200133 |     1278  24948 |        0 |        0
1558.82/1559.39	c 1559s |      27 | 15063440 | 12214633 |     1278  24970 |        0 |        0
1560.92/1561.40	c 1561s |      27 | 15079862 | 12228533 |     1278  24992 |        0 |        0
1562.93/1563.41	c 1563s |      27 | 15095810 | 12242233 |     1278  25013 |        0 |        0
1564.92/1565.42	c 1565s |      27 | 15112695 | 12256033 |     1278  25034 |        0 |        0
1566.92/1567.42	c 1567s |      27 | 15130943 | 12270633 |     1278  25056 |        0 |        0
1568.92/1569.43	c 1569s |      27 | 15149516 | 12285233 |     1278  25079 |        0 |        0
1570.92/1571.45	c 1571s |      27 | 15166725 | 12299433 |     1278  25100 |        0 |        0
1572.92/1573.45	c 1573s |      27 | 15184734 | 12314033 |     1278  25123 |        0 |        0
1574.93/1575.46	c 1575s |      27 | 15204737 | 12329233 |     1278  25146 |        0 |        0
1576.92/1577.47	c 1577s |      27 | 15224506 | 12344533 |     1278  25170 |        0 |        0
1578.92/1579.47	c 1579s |      27 | 15243349 | 12359333 |     1278  25192 |        0 |        0
1580.92/1581.48	c 1581s |      27 | 15263628 | 12374633 |     1278  25216 |        0 |        0
1582.92/1583.49	c 1583s |      27 | 15282069 | 12389333 |     1278  25239 |        0 |        0
1584.92/1585.50	c 1585s |      27 | 15300380 | 12403833 |     1278  25261 |        0 |        0
1587.02/1587.50	c 1587s |      27 | 15318441 | 12418333 |     1278  25283 |        0 |        0
1589.01/1589.52	c 1589s |      27 | 15335765 | 12432533 |     1278  25305 |        0 |        0
1591.01/1591.53	c 1591s |      27 | 15351452 | 12445933 |     1278  25326 |        0 |        0
1593.01/1593.53	c 1593s |      27 | 15368570 | 12459933 |     1278  25347 |        0 |        0
1595.01/1595.53	c 1595s |      27 | 15385197 | 12473733 |     1278  25368 |        0 |        0
1597.02/1597.53	c 1597s |      27 | 15402471 | 12487933 |     1278  25390 |        0 |        0
1599.01/1599.54	c 1599s |      27 | 15421816 | 12502833 |     1278  25413 |        0 |        0
1601.01/1601.55	c 1601s |      27 | 15440773 | 12517533 |     1278  25435 |        0 |        0
1603.01/1603.56	c 1603s |      27 | 15458573 | 12531833 |     1278  25457 |        0 |        0
1605.01/1605.57	c 1605s |      27 | 15477804 | 12546633 |     1278  25480 |        0 |        0
1607.01/1607.58	c 1607s |      27 | 15497395 | 12561733 |     1278  25503 |        0 |        0
1609.02/1609.59	c 1609s |      27 | 15516099 | 12576533 |     1278  25526 |        0 |        0
1611.01/1611.59	c 1611s |      27 | 15535285 | 12591333 |     1278  25549 |        0 |        0
1613.11/1613.60	c 1613s |      27 | 15555289 | 12606233 |     1278  25572 |        0 |        0
1615.11/1615.61	c 1615s |      27 | 15575856 | 12621433 |     1278  25595 |        0 |        0
1617.11/1617.62	c 1617s |      27 | 15595923 | 12636533 |     1278  25618 |        0 |        0
1619.11/1619.64	c 1619s |      27 | 15615186 | 12651333 |     1278  25641 |        0 |        0
1621.11/1621.64	c 1621s |      27 | 15635368 | 12666533 |     1278  25664 |        0 |        0
1623.11/1623.65	c 1623s |      27 | 15654573 | 12681333 |     1278  25687 |        0 |        0
1625.11/1625.67	c 1625s |      27 | 15674250 | 12696533 |     1278  25710 |        0 |        0
1627.10/1627.67	c 1627s |      27 | 15693215 | 12711533 |     1278  25733 |        0 |        0
1629.10/1629.67	c 1629s |      27 | 15712678 | 12726533 |     1278  25756 |        0 |        0
1631.11/1631.68	c 1631s |      27 | 15732325 | 12741733 |     1278  25780 |        0 |        0
1633.10/1633.68	c 1633s |      27 | 15751815 | 12756633 |     1278  25803 |        0 |        0
1635.10/1635.69	c 1635s |      27 | 15771233 | 12771633 |     1278  25826 |        0 |        0
1637.10/1637.69	c 1637s |      27 | 15789656 | 12786233 |     1278  25848 |        0 |        0
1639.10/1639.70	c 1639s |      27 | 15809412 | 12801433 |     1278  25871 |        0 |        0
1641.20/1641.70	c 1641s |      27 | 15829512 | 12816733 |     1278  25895 |        0 |        0
1643.21/1643.70	c 1643s |      27 | 15848971 | 12831933 |     1278  25918 |        0 |        0
1645.20/1645.71	c 1645s |      27 | 15868777 | 12847433 |     1278  25942 |        0 |        0
1647.20/1647.71	c 1647s |      27 | 15888821 | 12862733 |     1278  25966 |        0 |        0
1649.20/1649.72	c 1649s |      27 | 15908715 | 12877733 |     1278  25989 |        0 |        0
1651.20/1651.73	c 1651s |      27 | 15928664 | 12893233 |     1278  26013 |        0 |        0
1653.20/1653.73	c 1653s |      27 | 15945875 | 12907333 |     1278  26034 |        0 |        0
1655.21/1655.75	c 1655s |      27 | 15964913 | 12922333 |     1278  26057 |        0 |        0
1657.20/1657.75	c 1657s |      27 | 15983228 | 12937133 |     1278  26080 |        0 |        0
1659.20/1659.75	c 1659s |      27 | 16001770 | 12952033 |     1278  26103 |        0 |        0
1661.21/1661.76	c 1661s |      27 | 16018944 | 12966333 |     1278  26125 |        0 |        0
1663.21/1663.76	c 1663s |      27 | 16035726 | 12980533 |     1278  26146 |        0 |        0
1665.21/1665.76	c 1665s |      27 | 16053535 | 12995033 |     1278  26169 |        0 |        0
1667.20/1667.77	c 1667s |      27 | 16071694 | 13009733 |     1278  26191 |        0 |        0
1669.20/1669.78	c 1669s |      27 | 16090521 | 13024833 |     1278  26214 |        0 |        0
1671.20/1671.78	c 1671s |      27 | 16108952 | 13039733 |     1278  26237 |        0 |        0
1673.20/1673.79	c 1673s |      27 | 16127631 | 13054533 |     1278  26260 |        0 |        0
1675.20/1675.79	c 1675s |      27 | 16146342 | 13069433 |     1278  26283 |        0 |        0
1677.21/1677.80	c 1677s |      27 | 16164364 | 13084133 |     1278  26305 |        0 |        0
1679.30/1679.81	c 1679s |      27 | 16183173 | 13099133 |     1278  26328 |        0 |        0
1681.30/1681.81	c 1681s |      27 | 16201759 | 13113933 |     1278  26351 |        0 |        0
1683.30/1683.82	c 1683s |      27 | 16221048 | 13129133 |     1278  26374 |        0 |        0
1685.30/1685.82	c 1685s |      27 | 16240100 | 13144233 |     1278  26397 |        0 |        0
1687.30/1687.82	c 1687s |      27 | 16259703 | 13159633 |     1278  26421 |        0 |        0
1689.31/1689.82	c 1689s |      27 | 16279684 | 13175133 |     1278  26445 |        0 |        0
1691.30/1691.83	c 1691s |      27 | 16300017 | 13190933 |     1278  26469 |        0 |        0
1693.30/1693.83	c 1693s |      27 | 16319495 | 13206233 |     1278  26493 |        0 |        0
1695.30/1695.83	c 1695s |      27 | 16339108 | 13221533 |     1278  26516 |        0 |        0
1697.30/1697.84	c 1697s |      27 | 16356383 | 13235733 |     1278  26538 |        0 |        0
1699.31/1699.84	c 1699s |      27 | 16374223 | 13250133 |     1278  26560 |        0 |        0
1701.30/1701.85	c 1701s |      27 | 16391628 | 13264233 |     1278  26582 |        0 |        0
1703.30/1703.86	c 1703s |      27 | 16408871 | 13278433 |     1278  26603 |        0 |        0
1705.30/1705.87	c 1705s |      27 | 16427832 | 13293033 |     1278  26626 |        0 |        0
1707.30/1707.88	c 1707s |      27 | 16445277 | 13307333 |     1278  26648 |        0 |        0
1709.29/1709.89	c 1709s |      27 | 16464719 | 13322433 |     1278  26671 |        0 |        0
1711.30/1711.89	c 1711s |      27 | 16482946 | 13337133 |     1278  26694 |        0 |        0
1713.39/1713.90	c 1713s |      27 | 16501355 | 13351733 |     1278  26716 |        0 |        0
1715.39/1715.91	c 1715s |      27 | 16519555 | 13366233 |     1278  26738 |        0 |        0
1717.39/1717.92	c 1717s |      27 | 16537924 | 13380633 |     1278  26760 |        0 |        0
1719.39/1719.92	c 1719s |      27 | 16555258 | 13394933 |     1278  26782 |        0 |        0
1721.39/1721.92	c 1721s |      27 | 16573221 | 13409233 |     1278  26804 |        0 |        0
1723.40/1723.94	c 1723s |      27 | 16590351 | 13423333 |     1278  26826 |        0 |        0
1725.39/1725.94	c 1725s |      27 | 16607205 | 13437433 |     1278  26848 |        0 |        0
1727.39/1727.95	c 1727s |      27 | 16624020 | 13451333 |     1278  26869 |        0 |        0
1729.39/1729.96	c 1729s |      27 | 16642112 | 13466033 |     1278  26891 |        0 |        0
1731.39/1731.97	c 1731s |      27 | 16659175 | 13480033 |     1278  26913 |        0 |        0
1733.39/1733.97	c 1733s |      27 | 16676661 | 13494133 |     1278  26935 |        0 |        0
1735.39/1735.98	c 1735s |      27 | 16695280 | 13508733 |     1278  26957 |        0 |        0
1737.39/1737.99	c 1737s |      27 | 16715938 | 13524233 |     1278  26981 |        0 |        0
1739.39/1739.99	c 1739s |      27 | 16734079 | 13538733 |     1278  27003 |        0 |        0
1741.49/1742.00	c 1741s |      27 | 16751613 | 13553133 |     1278  27025 |        0 |        0
1743.49/1744.01	c 1744s |      27 | 16768619 | 13567433 |     1278  27047 |        0 |        0
1745.50/1746.02	c 1746s |      27 | 16786142 | 13581833 |     1278  27069 |        0 |        0
1747.49/1748.03	c 1748s |      27 | 16803383 | 13596033 |     1278  27091 |        0 |        0
1749.49/1750.04	c 1750s |      27 | 16820236 | 13609933 |     1278  27113 |        0 |        0
1751.49/1752.06	c 1752s |      27 | 16837619 | 13624333 |     1278  27135 |        0 |        0
1753.49/1754.06	c 1754s |      27 | 16855030 | 13638733 |     1278  27157 |        0 |        0
1755.49/1756.06	c 1756s |      27 | 16872845 | 13653533 |     1278  27179 |        0 |        0
1757.50/1758.06	c 1758s |      27 | 16890678 | 13668133 |     1278  27202 |        0 |        0
1759.49/1760.07	c 1760s |      27 | 16908858 | 13682533 |     1278  27224 |        0 |        0
1761.49/1762.08	c 1762s |      27 | 16926099 | 13696633 |     1278  27246 |        0 |        0
1763.49/1764.09	c 1764s |      27 | 16946442 | 13712033 |     1278  27269 |        0 |        0
1765.49/1766.09	c 1766s |      27 | 16965864 | 13727033 |     1278  27292 |        0 |        0
1767.59/1768.10	c 1768s |      27 | 16984562 | 13741633 |     1278  27314 |        0 |        0
1769.59/1770.11	c 1770s |      27 | 17002955 | 13756133 |     1278  27337 |        0 |        0
1771.58/1772.11	c 1772s |      27 | 17020983 | 13770533 |     1278  27359 |        0 |        0
1773.58/1774.12	c 1774s |      27 | 17038184 | 13784633 |     1278  27381 |        0 |        0
1775.58/1776.13	c 1776s |      27 | 17054964 | 13798433 |     1278  27402 |        0 |        0
1777.58/1778.15	c 1778s |      27 | 17071361 | 13812033 |     1278  27422 |        0 |        0
1779.59/1780.15	c 1780s |      27 | 17088379 | 13826033 |     1278  27444 |        0 |        0
1781.58/1782.15	c 1782s |      27 | 17105662 | 13840233 |     1278  27466 |        0 |        0
1783.58/1784.15	c 1784s |      27 | 17122853 | 13854333 |     1278  27487 |        0 |        0
1785.58/1786.16	c 1786s |      27 | 17139585 | 13868433 |     1278  27509 |        0 |        0
1787.58/1788.17	c 1788s |      27 | 17156167 | 13882433 |     1278  27530 |        0 |        0
1789.58/1790.18	c 1790s |      27 | 17174017 | 13896633 |     1278  27552 |        0 |        0
1791.59/1792.19	c 1792s |      27 | 17192131 | 13911133 |     1278  27575 |        0 |        0
1793.68/1794.20	c 1794s |      27 | 17210676 | 13925833 |     1278  27597 |        0 |        0
1795.68/1796.22	c 1796s |      27 | 17228748 | 13940333 |     1278  27620 |        0 |        0
1797.68/1798.22	c 1798s |      27 | 17245912 | 13954233 |     1278  27641 |        0 |        0
1799.68/1800.23	c 1800s |      27 | 17263818 | 13968433 |     1278  27663 |        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-4089701-1466031766/watcher-4089701-1466031766 -o /tmp/evaluation-result-4089701-1466031766/solver-4089701-1466031766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089701-1466031766.opb 

pid=8965
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.07 2.06 2.07 3/179 8968
/proc/meminfo: memFree=30440464/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 2728 0 0 0 0 0 0 0 20 0 4 0 5222039 748089344 3088 33554432000 4194304 16246674 140733621284272 140733621283696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 183407 3097 441 2943 0 180301 0
[pid=8968/tid=8969] ppid=8965 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 766963712 3156 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 771158016 3173 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5222039 775352320 3190 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 8968
/proc/meminfo: memFree=30440464/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 25318 0 0 0 6 3 0 0 20 0 4 0 5222039 1247350784 25667 33554432000 4194304 16246674 140733621284272 140733621283696 6022547 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 25679 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 25683 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 25689 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 25695 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20051 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 8968
/proc/meminfo: memFree=30440464/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 48407 0 0 0 13 6 0 0 20 0 4 0 5222039 1247350784 48756 33554432000 4194304 16246674 140733621284272 140733621283696 5707858 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 48766 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 48772 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 48777 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 48782 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300452 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 8968
/proc/meminfo: memFree=30440464/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 71202 0 0 0 20 9 0 0 20 0 4 0 5222039 1247350784 71551 33554432000 4194304 16246674 140733621284272 140733621283696 12474613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 71562 716 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 71567 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 71573 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 71579 33554432000 4194304 16246674 140733621284272 140294085397680 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.700376 s]
/proc/loadavg: 2.07 2.06 2.07 3/179 8968
/proc/meminfo: memFree=30440464/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 165283 0 0 0 47 22 0 0 20 0 4 0 5222039 1247350784 165632 33554432000 4194304 16246674 140733621284272 140733621266176 12978325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 165637 717 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 165643 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 165650 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 165657 33554432000 4194304 16246674 140733621284272 140294085397680 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.5004 s]
/proc/loadavg: 2.07 2.06 2.07 3/183 8972
/proc/meminfo: memFree=29458304/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 245528 0 0 0 116 33 0 0 20 0 4 0 5222039 1247350784 245857 33554432000 4194304 16246674 140733621284272 140733621267272 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 304529 245857 792 2943 0 301423 0
[pid=8968/tid=8969] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 245857 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 245857 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1247350784 245857 33554432000 4194304 16246674 140733621284272 140294085397680 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) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.07 2.06 2.07 3/183 8972
/proc/meminfo: memFree=29370148/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267404 0 0 0 274 35 0 0 20 0 4 0 5222039 1337528320 267733 33554432000 4194304 16246674 140733621284272 140733621266176 13949748 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267733 792 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267733 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267733 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267733 33554432000 4194304 16246674 140733621284272 140294085397680 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.30039 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 8972
/proc/meminfo: memFree=29369680/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267445 0 0 0 593 35 0 0 20 0 4 0 5222039 1337528320 267774 33554432000 4194304 16246674 140733621284272 140733621267272 5669985 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267774 792 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267774 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267774 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267774 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 8972
/proc/meminfo: memFree=29369460/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267447 0 0 0 1233 36 0 0 20 0 4 0 5222039 1337528320 267776 33554432000 4194304 16246674 140733621284272 140733621266176 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267776 792 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267776 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267776 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267776 33554432000 4194304 16246674 140733621284272 140294085397680 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.5004 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 8972
/proc/meminfo: memFree=29369124/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267450 0 0 0 2513 36 0 0 20 0 4 0 5222039 1337528320 267779 33554432000 4194304 16246674 140733621284272 140733621267272 5717908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267779 794 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267779 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267779 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267779 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 8972
/proc/meminfo: memFree=29368980/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267478 0 0 0 5072 37 0 0 20 0 4 0 5222039 1337528320 267807 33554432000 4194304 16246674 140733621284272 140733621267272 6026044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267807 794 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267807 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267807 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267807 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/183 8973
/proc/meminfo: memFree=29367628/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 267479 0 0 0 10189 38 0 0 20 0 4 0 5222039 1337528320 267808 33554432000 4194304 16246674 140733621284272 140733621266176 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326545 267808 794 2943 0 323439 0
[pid=8968/tid=8969] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267808 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267808 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1337528320 267808 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268075 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 9003
/proc/meminfo: memFree=29363108/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1301.88 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268153 0 0 0 130129 59 0 0 20 0 4 0 5222039 1338576896 268075 33554432000 4194304 16246674 140733621284272 140733621267272 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268075 794 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268075 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268075 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268075 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/183 9004
/proc/meminfo: memFree=29362696/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1361.85 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268226 0 0 0 136125 60 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140733621267272 6836345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268166 795 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/183 9006
/proc/meminfo: memFree=29362680/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1421.83 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268226 0 0 0 142123 60 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140733621267272 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268166 795 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268166 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 9007
/proc/meminfo: memFree=29362708/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1481.83 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 148122 61 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621267272 5674036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/183 9008
/proc/meminfo: memFree=29362824/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1541.82 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 154121 61 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621267272 5994320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 9009
/proc/meminfo: memFree=29362940/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1601.81 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 160119 62 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621266176 5672818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/184 9062
/proc/meminfo: memFree=29365596/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1661.81 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 166118 63 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621267272 13821000 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 9064
/proc/meminfo: memFree=29365528/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1721.79 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 172116 63 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621267272 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1307204

[startup+1782.31 s]
/proc/loadavg: 2.17 2.11 2.09 3/182 9065
/proc/meminfo: memFree=29365776/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1781.79 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 178115 64 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621267272 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.12 2.10 3/182 9065
/proc/meminfo: memFree=29364548/32872528 swapFree=496356/529060
[pid=8968] ppid=8965 vsize=1307204 CPUtime=1800.08 cores=0,2,4,6
/proc/8968/stat : 8968 (toysat) R 8965 8968 5955 0 -1 4202496 268227 0 0 0 179944 64 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140733621266176 5666933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8968/statm: 326801 268167 796 2943 0 323695 0
[pid=8968/tid=8969] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8969/stat : 8969 (toysat) S 8965 8968 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294106361072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8970] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (toysat) S 8965 8968 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294095871216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8971] ppid=8965 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (toysat) S 8965 8968 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5222039 1338576896 268167 33554432000 4194304 16246674 140733621284272 140294085397680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8968 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.45
CPU system time (s): 0.648901
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.648901
maximum resident set size= 1072668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268227
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= 459
involuntary context switches= 2608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83726 second user time and 6.68398 second system time

The end

Begin job on node141 at 2016-06-16 01:02:46
IDJOB=4089701
IDBENCH=107444
IDSOLVER=2542
FILE ID=node141/4089701-1466031766
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 16b3cd964682d0f33e953e00de1a52d3
RANDOM SEED=302391855

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30441148 kB
Buffers:           40320 kB
Cached:            78868 kB
SwapCached:        13088 kB
Active:          1134868 kB
Inactive:          67688 kB
Active(anon):    1073548 kB
Inactive(anon):    12044 kB
Active(file):      61320 kB
Inactive(file):    55644 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1684192 kB
Mapped:            10364 kB
Shmem:                 0 kB
Slab:             567180 kB
SReclaimable:      11068 kB
SUnreclaim:       556112 kB
KernelStack:        1520 kB
PageTables:         7188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 01:32:47