0.00/0.00	c 2016-06-16T20:59:48+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-4096183-1466103587.opb"]
0.00/0.01	c use --random-gen="3985035464 3585186758 3193882774 4122093379 1303325395 1266527478 2185241707 3436829953 2896010719 685505230 448411181 1538303585 758628958 3216968694 1650249179 4197956924 2511941029 3328130853 3843559743 2116990300 1797539928 668953866 3529282884 3635894729 2875019206 698478814 205780993 3388852944 3291808199 3720939370 1567950031 2109253879 373603937 1330280480 157284036 3384728266 1671500616 537495613 1095192974 3946486478 2409153091 1405744607 1763621064 2874632366 291251543 1496103783 2817811455 3390802554 3603243812 2399043089 3757198031 1333425005 3440304 3350121295 1020887520 2446381313 230983781 1572125344 3245519141 229921576 2663645323 3001577970 3843570509 3667029987 1194891321 592610266 1866470319 3554467066 2849831095 326482076 559450296 2774050377 4155461421 2847102412 1281212083 3283517421 2109245062 3488682993 3477496287 2792616420 1864846886 1268783653 3776526214 3990644110 1200053082 3836477164 2013215856 3393418795 3083234009 2542686004 634758116 656257829 3796282677 3610935678 3327842884 1343876226 3260451674 394508696 2472326998 992777801 634733376 2947161404 3145044905 841008876 1175719449 2722397078 1627041145 3456316871 4155886636 1211236675 2694676125 2622942461 2545671001 811859487 980347676 1279711476 3033412912 2717897146 2372222028 2295219875 121141008 4002962690 2226199296 3128155683 3137831111 1406535403 2409311087 3026849322 1360193542 1758784058 319232627 4135298373 3645114101 3869152726 967533407 213643867 541100218 3851409448 1461292762 3441984666 171412520 792639746 4004626228 2113991783 1443907796 312755845 718372096 3349371822 3875662651 2727041845 2206986375 204727069 2291874423 2302246351 618500063 2484751191 2240564357 1053987668 2739752024 3921067987 3744111865 41156062 1305925750 1970701650 3613551545 363618113 3857691310 1793981579 1117261746 1934141319 1738788200 595761127 35311126 2377253261 3409523000 4019343083 2180638041 2707366762 1969185665 106669475 2449011267 3609872521 2752018257 691133408 1126716852 1583064527 3765748527 964772681 2442373214 3496325994 1350173797 123841621 770921903 302823351 422936373 109400550 1409775674 2271040519 387277671 148077470 17339254 2979163780 2875234320 2191628282 1255548809 615301367 2374228112 270397788 4082868258 3356186647 2510212147 1364105106 2568618503 3149372565 2813780178 1030575698 4198155681 372071990 1685728142 3367772908 247040067 90594455 3320677817 288540124 1014407381 3698775371 3624860490 230216708 1998954891 1360743533 2894768427 3035252310 1737117621 3193412950 3083782455 3252118616 2774800469 3232804919 260977345 1213408096 40074995 4254610359 2706912229 2851751679 2580893755 1094243567 328330820 200852215 3494750191 658500651 61979785 2240718344 2042496393 10793758 2067876490 670811757 255 362436" option to reproduce the execution
0.00/0.01	c #vars 121
0.00/0.01	c #constraints 60
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 |       60      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      163 |      100 |       60      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      348 |      250 |       66      4 |        0 |        0
0.00/0.06	c  0.0s |       3 |      654 |      475 |       73      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1177 |      813 |       81     12 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1937 |     1320 |       90     20 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2988 |     2081 |      111     33 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4423 |     3223 |      123     49 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7194 |     4936 |      136     72 |        0 |        0
0.69/0.77	c  0.8s |       9 |    10773 |     7506 |      150    102 |        0 |        0
1.09/1.11	c  1.1s |      10 |    16118 |    11361 |      165    145 |        0 |        0
1.39/1.48	c  1.5s |      11 |    25047 |    17144 |      182    205 |        0 |        0
2.09/2.11	c  2.1s |      12 |    36738 |    25819 |      201    286 |        0 |        0
2.99/3.02	c  3.0s |      13 |    55321 |    38832 |      222    401 |        0 |        0
4.29/4.35	c  4.3s |      14 |    85395 |    58352 |      245    558 |        0 |        0
6.29/6.36	c  6.3s |      14 |   125579 |    86152 |      245    764 |        0 |        0
6.39/6.47	c  6.5s |      15 |   127470 |    87632 |      270    775 |        0 |        0
8.39/8.48	c  8.5s |      15 |   161593 |   113532 |      270    949 |        0 |        0
9.79/9.89	c  9.9s |      16 |   185166 |   131552 |      297   1071 |        0 |        0
11.89/11.90	c 11.9s |      16 |   218082 |   157152 |      297   1231 |        0 |        0
13.89/13.91	c 13.9s |      16 |   249616 |   181652 |      297   1383 |        0 |        0
15.09/15.15	c 15.1s |      17 |   270424 |   197432 |      327   1480 |        0 |        0
17.09/17.16	c 17.1s |      17 |   303567 |   222332 |      327   1621 |        0 |        0
19.09/19.16	c 19.2s |      17 |   339883 |   248332 |      327   1770 |        0 |        0
21.09/21.16	c 21.2s |      17 |   372200 |   273632 |      327   1915 |        0 |        0
22.79/22.87	c 22.9s |      18 |   402730 |   296252 |      360   2044 |        0 |        0
24.79/24.87	c 24.9s |      18 |   433181 |   320252 |      360   2167 |        0 |        0
26.78/26.88	c 26.9s |      18 |   463659 |   344552 |      360   2292 |        0 |        0
28.78/28.88	c 28.9s |      18 |   499418 |   370252 |      360   2427 |        0 |        0
30.79/30.88	c 30.9s |      18 |   534454 |   396252 |      360   2562 |        0 |        0
32.78/32.89	c 32.9s |      18 |   570134 |   422452 |      360   2698 |        0 |        0
34.58/34.61	c 34.6s |      19 |   599896 |   444482 |      397   2812 |        0 |        0
36.58/36.61	c 36.6s |      19 |   636733 |   469682 |      397   2931 |        0 |        0
38.59/38.62	c 38.6s |      19 |   668352 |   493782 |      397   3043 |        0 |        0
40.59/40.62	c 40.6s |      19 |   703410 |   518682 |      397   3162 |        0 |        0
42.59/42.62	c 42.6s |      19 |   740088 |   543582 |      397   3280 |        0 |        0
44.59/44.63	c 44.6s |      19 |   773913 |   568882 |      397   3400 |        0 |        0
46.58/46.63	c 46.6s |      19 |   805714 |   592582 |      397   3511 |        0 |        0
48.58/48.63	c 48.6s |      19 |   838321 |   616882 |      397   3626 |        0 |        0
50.59/50.64	c 50.6s |      19 |   868557 |   640182 |      397   3735 |        0 |        0
52.58/52.64	c 52.6s |      19 |   901291 |   664482 |      437   3851 |        0 |        0
52.79/52.84	c 52.8s |      20 |   904381 |   666827 |      437   3861 |        0 |        0
54.78/54.84	c 54.8s |      20 |   937946 |   690827 |      437   3965 |        0 |        0
56.78/56.84	c 56.8s |      20 |   971413 |   715027 |      437   4069 |        0 |        0
58.78/58.84	c 58.8s |      20 |  1007738 |   740127 |      437   4179 |        0 |        0
60.78/60.85	c 60.8s |      20 |  1040473 |   764027 |      437   4284 |        0 |        0
62.79/62.86	c 62.8s |      20 |  1065242 |   784927 |      437   4373 |        0 |        0
64.78/64.86	c 64.9s |      20 |  1090298 |   806027 |      437   4464 |        0 |        0
66.77/66.87	c 66.9s |      20 |  1118053 |   828427 |      437   4561 |        0 |        0
68.77/68.87	c 68.9s |      20 |  1146267 |   850627 |      437   4657 |        0 |        0
70.77/70.88	c 70.9s |      20 |  1175295 |   872927 |      437   4753 |        0 |        0
72.77/72.88	c 72.9s |      20 |  1207681 |   895727 |      437   4853 |        0 |        0
74.78/74.88	c 74.9s |      20 |  1235413 |   917627 |      437   4947 |        0 |        0
76.78/76.89	c 76.9s |      20 |  1263214 |   939627 |      437   5043 |        0 |        0
78.78/78.89	c 78.9s |      20 |  1293141 |   962527 |      437   5143 |        0 |        0
80.78/80.89	c 80.9s |      20 |  1325343 |   986027 |      437   5246 |        0 |        0
81.98/82.09	c 82.1s |      21 |  1344269 |  1000345 |      481   5306 |        0 |        0
83.98/84.10	c 84.1s |      21 |  1370116 |  1020845 |      481   5387 |        0 |        0
86.08/86.10	c 86.1s |      21 |  1395037 |  1041845 |      481   5470 |        0 |        0
88.08/88.10	c 88.1s |      21 |  1418587 |  1062145 |      481   5550 |        0 |        0
90.08/90.11	c 90.1s |      21 |  1442389 |  1082445 |      481   5630 |        0 |        0
92.08/92.11	c 92.1s |      21 |  1466467 |  1102845 |      481   5710 |        0 |        0
94.07/94.12	c 94.1s |      21 |  1493269 |  1124245 |      481   5795 |        0 |        0
96.07/96.12	c 96.1s |      21 |  1517169 |  1144045 |      481   5871 |        0 |        0
98.07/98.12	c 98.1s |      21 |  1541623 |  1164545 |      481   5952 |        0 |        0
100.08/100.13	c  100s |      21 |  1568168 |  1186145 |      481   6037 |        0 |        0
102.07/102.13	c  102s |      21 |  1597054 |  1208845 |      481   6127 |        0 |        0
104.07/104.13	c  104s |      21 |  1624289 |  1230945 |      481   6214 |        0 |        0
106.07/106.14	c  106s |      21 |  1652576 |  1252945 |      481   6300 |        0 |        0
108.07/108.14	c  108s |      21 |  1677319 |  1273645 |      481   6381 |        0 |        0
110.08/110.15	c  110s |      21 |  1700798 |  1293445 |      481   6458 |        0 |        0
112.07/112.15	c  112s |      21 |  1726311 |  1314645 |      481   6543 |        0 |        0
114.07/114.16	c  114s |      21 |  1750163 |  1335045 |      481   6623 |        0 |        0
116.07/116.16	c  116s |      21 |  1774673 |  1356045 |      481   6705 |        0 |        0
118.07/118.16	c  118s |      21 |  1799889 |  1377245 |      481   6790 |        0 |        0
120.07/120.17	c  120s |      21 |  1823824 |  1397745 |      481   6870 |        0 |        0
122.07/122.17	c  122s |      21 |  1846108 |  1417645 |      481   6948 |        0 |        0
124.07/124.18	c  124s |      21 |  1870782 |  1438745 |      481   7032 |        0 |        0
126.07/126.19	c  126s |      21 |  1894741 |  1459045 |      481   7111 |        0 |        0
128.17/128.20	c  128s |      21 |  1919045 |  1479445 |      481   7191 |        0 |        0
130.17/130.20	c  130s |      22 |  1944167 |  1500622 |      530   7270 |        0 |        0
132.16/132.21	c  132s |      22 |  1970666 |  1521722 |      530   7346 |        0 |        0
134.17/134.22	c  134s |      22 |  1996538 |  1543022 |      530   7422 |        0 |        0
136.17/136.22	c  136s |      22 |  2021691 |  1563622 |      530   7495 |        0 |        0
138.17/138.23	c  138s |      22 |  2047041 |  1584122 |      530   7568 |        0 |        0
140.17/140.24	c  140s |      22 |  2071632 |  1604622 |      530   7641 |        0 |        0
142.17/142.25	c  142s |      22 |  2095451 |  1624922 |      530   7713 |        0 |        0
144.17/144.25	c  144s |      22 |  2119005 |  1644722 |      530   7784 |        0 |        0
146.16/146.25	c  146s |      22 |  2142610 |  1665022 |      530   7857 |        0 |        0
148.16/148.26	c  148s |      22 |  2167757 |  1685522 |      530   7930 |        0 |        0
150.16/150.27	c  150s |      22 |  2192242 |  1705822 |      530   8003 |        0 |        0
152.16/152.27	c  152s |      22 |  2215013 |  1725322 |      530   8073 |        0 |        0
154.16/154.27	c  154s |      22 |  2239070 |  1745322 |      530   8144 |        0 |        0
156.17/156.27	c  156s |      22 |  2261425 |  1764822 |      530   8215 |        0 |        0
158.16/158.28	c  158s |      22 |  2284756 |  1784922 |      530   8287 |        0 |        0
160.16/160.29	c  160s |      22 |  2308359 |  1804822 |      530   8359 |        0 |        0
162.26/162.30	c  162s |      22 |  2329290 |  1822922 |      530   8423 |        0 |        0
164.26/164.31	c  164s |      22 |  2355884 |  1844022 |      530   8499 |        0 |        0
166.26/166.31	c  166s |      22 |  2380013 |  1864122 |      530   8571 |        0 |        0
168.27/168.32	c  168s |      22 |  2403689 |  1884222 |      530   8643 |        0 |        0
170.26/170.32	c  170s |      22 |  2427804 |  1904622 |      530   8717 |        0 |        0
172.26/172.32	c  172s |      22 |  2451562 |  1924822 |      530   8789 |        0 |        0
174.26/174.33	c  174s |      22 |  2475263 |  1945322 |      530   8863 |        0 |        0
176.26/176.33	c  176s |      22 |  2499155 |  1965322 |      530   8935 |        0 |        0
178.26/178.33	c  178s |      22 |  2525710 |  1986222 |      530   9011 |        0 |        0
180.27/180.34	c  180s |      22 |  2550082 |  2006722 |      530   9085 |        0 |        0
182.27/182.35	c  182s |      22 |  2573656 |  2026822 |      530   9158 |        0 |        0
184.26/184.36	c  184s |      22 |  2595735 |  2045922 |      530   9226 |        0 |        0
186.26/186.36	c  186s |      22 |  2620985 |  2066622 |      530   9301 |        0 |        0
188.26/188.37	c  188s |      22 |  2644601 |  2086722 |      530   9373 |        0 |        0
190.27/190.37	c  190s |      22 |  2668387 |  2106522 |      530   9445 |        0 |        0
192.26/192.38	c  192s |      22 |  2694070 |  2127222 |      530   9520 |        0 |        0
194.26/194.38	c  194s |      22 |  2720781 |  2148022 |      530   9595 |        0 |        0
196.26/196.39	c  196s |      22 |  2746535 |  2168322 |      530   9668 |        0 |        0
198.26/198.39	c  198s |      22 |  2771653 |  2189222 |      530   9744 |        0 |        0
200.36/200.40	c  200s |      22 |  2796771 |  2209722 |      530   9818 |        0 |        0
202.36/202.40	c  202s |      22 |  2820443 |  2230022 |      530   9892 |        0 |        0
204.36/204.41	c  204s |      22 |  2845446 |  2250422 |      583   9960 |        0 |        0
204.36/204.47	c  204s |      23 |  2846224 |  2251038 |      583   9963 |        0 |        0
206.36/206.47	c  206s |      23 |  2869000 |  2270538 |      583  10026 |        0 |        0
208.36/208.47	c  208s |      23 |  2891793 |  2289938 |      583  10089 |        0 |        0
210.36/210.48	c  210s |      23 |  2914870 |  2309638 |      583  10154 |        0 |        0
212.36/212.49	c  212s |      23 |  2940784 |  2330638 |      583  10223 |        0 |        0
214.36/214.49	c  214s |      23 |  2965199 |  2350838 |      583  10289 |        0 |        0
216.35/216.49	c  216s |      23 |  2990498 |  2371338 |      583  10357 |        0 |        0
218.45/218.50	c  218s |      23 |  3014971 |  2391238 |      583  10422 |        0 |        0
220.45/220.50	c  220s |      23 |  3041160 |  2412438 |      583  10492 |        0 |        0
222.46/222.50	c  222s |      23 |  3066976 |  2433038 |      583  10559 |        0 |        0
224.47/224.51	c  224s |      23 |  3092471 |  2454238 |      583  10629 |        0 |        0
226.46/226.51	c  226s |      23 |  3115158 |  2473438 |      583  10692 |        0 |        0
228.46/228.51	c  228s |      23 |  3136833 |  2492038 |      583  10752 |        0 |        0
230.46/230.52	c  230s |      23 |  3161503 |  2512138 |      583  10818 |        0 |        0
232.46/232.52	c  232s |      23 |  3184125 |  2531638 |      583  10882 |        0 |        0
234.46/234.52	c  234s |      23 |  3207034 |  2551038 |      583  10945 |        0 |        0
236.46/236.52	c  236s |      23 |  3229735 |  2570038 |      583  11007 |        0 |        0
238.45/238.52	c  238s |      23 |  3251522 |  2588838 |      583  11070 |        0 |        0
240.45/240.53	c  240s |      23 |  3273528 |  2607438 |      583  11131 |        0 |        0
242.45/242.53	c  242s |      23 |  3292848 |  2624738 |      583  11188 |        0 |        0
244.45/244.53	c  244s |      23 |  3313480 |  2642638 |      583  11246 |        0 |        0
246.46/246.54	c  246s |      23 |  3334950 |  2661438 |      583  11308 |        0 |        0
248.45/248.54	c  248s |      23 |  3357584 |  2680738 |      583  11372 |        0 |        0
250.45/250.54	c  250s |      23 |  3384833 |  2702238 |      583  11443 |        0 |        0
252.45/252.54	c  252s |      23 |  3411199 |  2723438 |      583  11512 |        0 |        0
254.45/254.54	c  254s |      23 |  3437256 |  2744538 |      583  11582 |        0 |        0
256.45/256.55	c  256s |      23 |  3462670 |  2765238 |      583  11651 |        0 |        0
258.45/258.55	c  258s |      23 |  3486671 |  2785238 |      583  11717 |        0 |        0
260.45/260.56	c  260s |      23 |  3510941 |  2805438 |      583  11784 |        0 |        0
262.45/262.56	c  262s |      23 |  3535402 |  2825538 |      583  11850 |        0 |        0
264.44/264.57	c  264s |      23 |  3562048 |  2846638 |      583  11920 |        0 |        0
266.44/266.58	c  266s |      23 |  3587341 |  2867338 |      583  11988 |        0 |        0
268.45/268.58	c  268s |      23 |  3611671 |  2887138 |      583  12053 |        0 |        0
270.44/270.59	c  270s |      23 |  3637049 |  2907938 |      583  12121 |        0 |        0
272.44/272.59	c  272s |      23 |  3664632 |  2929138 |      583  12192 |        0 |        0
274.54/274.60	c  274s |      23 |  3689371 |  2949338 |      583  12258 |        0 |        0
276.55/276.61	c  276s |      23 |  3713693 |  2969438 |      583  12325 |        0 |        0
278.55/278.61	c  278s |      23 |  3737355 |  2989038 |      583  12390 |        0 |        0
280.56/280.61	c  280s |      23 |  3761563 |  3009038 |      583  12457 |        0 |        0
282.55/282.61	c  282s |      23 |  3784683 |  3028938 |      583  12522 |        0 |        0
284.55/284.62	c  284s |      23 |  3808693 |  3049238 |      583  12589 |        0 |        0
286.55/286.62	c  286s |      23 |  3832944 |  3068938 |      583  12654 |        0 |        0
288.55/288.62	c  288s |      23 |  3856034 |  3088338 |      583  12718 |        0 |        0
290.55/290.63	c  290s |      23 |  3882136 |  3109238 |      583  12788 |        0 |        0
292.55/292.64	c  292s |      23 |  3906042 |  3129038 |      583  12853 |        0 |        0
294.55/294.65	c  294s |      23 |  3931558 |  3149438 |      583  12920 |        0 |        0
296.55/296.65	c  296s |      23 |  3957594 |  3170138 |      583  12988 |        0 |        0
298.54/298.65	c  298s |      23 |  3983774 |  3190238 |      583  13055 |        0 |        0
300.54/300.66	c  300s |      23 |  4010744 |  3210838 |      583  13123 |        0 |        0
302.55/302.66	c  302s |      23 |  4034966 |  3230638 |      583  13188 |        0 |        0
304.54/304.67	c  304s |      23 |  4059515 |  3250938 |      583  13255 |        0 |        0
306.54/306.67	c  306s |      23 |  4084731 |  3271338 |      583  13322 |        0 |        0
308.54/308.68	c  308s |      23 |  4110095 |  3291638 |      583  13389 |        0 |        0
310.54/310.69	c  310s |      23 |  4136571 |  3312038 |      583  13456 |        0 |        0
312.54/312.69	c  312s |      23 |  4163794 |  3332938 |      583  13526 |        0 |        0
314.55/314.70	c  314s |      23 |  4189338 |  3352938 |      642  13591 |        0 |        0
316.64/316.70	c  316s |      23 |  4213512 |  3372438 |      642  13650 |        0 |        0
317.04/317.12	c  317s |      24 |  4219005 |  3376662 |      642  13662 |        0 |        0
319.05/319.12	c  319s |      24 |  4241618 |  3395362 |      642  13718 |        0 |        0
321.04/321.12	c  321s |      24 |  4269518 |  3416462 |      642  13782 |        0 |        0
323.03/323.13	c  323s |      24 |  4296538 |  3437562 |      642  13845 |        0 |        0
325.03/325.13	c  325s |      24 |  4323181 |  3458262 |      642  13908 |        0 |        0
327.03/327.13	c  327s |      24 |  4347196 |  3478062 |      642  13968 |        0 |        0
329.04/329.14	c  329s |      24 |  4371283 |  3497762 |      642  14027 |        0 |        0
331.05/331.14	c  331s |      24 |  4396885 |  3517962 |      642  14089 |        0 |        0
333.04/333.15	c  333s |      24 |  4423962 |  3539462 |      642  14154 |        0 |        0
335.04/335.15	c  335s |      24 |  4449187 |  3560162 |      642  14216 |        0 |        0
337.04/337.15	c  337s |      24 |  4473623 |  3580762 |      642  14278 |        0 |        0
339.04/339.16	c  339s |      24 |  4499454 |  3602162 |      642  14343 |        0 |        0
341.05/341.16	c  341s |      24 |  4522886 |  3622062 |      642  14403 |        0 |        0
343.04/343.17	c  343s |      24 |  4548179 |  3642962 |      642  14467 |        0 |        0
345.04/345.18	c  345s |      24 |  4571932 |  3662962 |      642  14527 |        0 |        0
347.04/347.19	c  347s |      24 |  4594393 |  3681962 |      642  14585 |        0 |        0
349.13/349.20	c  349s |      24 |  4618708 |  3702462 |      642  14647 |        0 |        0
351.13/351.20	c  351s |      24 |  4642557 |  3722562 |      642  14709 |        0 |        0
353.14/353.21	c  353s |      24 |  4666263 |  3742762 |      642  14769 |        0 |        0
355.13/355.21	c  355s |      24 |  4690240 |  3762362 |      642  14827 |        0 |        0
357.13/357.21	c  357s |      24 |  4713339 |  3781662 |      642  14885 |        0 |        0
359.13/359.22	c  359s |      24 |  4737468 |  3801562 |      642  14945 |        0 |        0
361.13/361.23	c  361s |      24 |  4760393 |  3821062 |      642  15004 |        0 |        0
363.13/363.23	c  363s |      24 |  4782708 |  3840362 |      642  15062 |        0 |        0
365.14/365.23	c  365s |      24 |  4805277 |  3859162 |      642  15119 |        0 |        0
367.13/367.24	c  367s |      24 |  4828940 |  3878562 |      642  15177 |        0 |        0
369.13/369.24	c  369s |      24 |  4850748 |  3897262 |      642  15234 |        0 |        0
371.13/371.24	c  371s |      24 |  4875110 |  3916962 |      642  15293 |        0 |        0
373.13/373.25	c  373s |      24 |  4899909 |  3937062 |      642  15354 |        0 |        0
375.13/375.26	c  375s |      24 |  4923958 |  3956862 |      642  15413 |        0 |        0
377.14/377.26	c  377s |      24 |  4947139 |  3976562 |      642  15473 |        0 |        0
379.14/379.27	c  379s |      24 |  4969130 |  3995362 |      642  15529 |        0 |        0
381.14/381.27	c  381s |      24 |  4992888 |  4015262 |      642  15589 |        0 |        0
383.13/383.27	c  383s |      24 |  5017275 |  4035062 |      642  15649 |        0 |        0
385.13/385.28	c  385s |      24 |  5042546 |  4055062 |      642  15709 |        0 |        0
387.14/387.29	c  387s |      24 |  5064736 |  4073962 |      642  15767 |        0 |        0
389.23/389.30	c  389s |      24 |  5087989 |  4093262 |      642  15826 |        0 |        0
391.23/391.30	c  391s |      24 |  5113683 |  4113562 |      642  15887 |        0 |        0
393.23/393.31	c  393s |      24 |  5135630 |  4132062 |      642  15944 |        0 |        0
395.23/395.32	c  395s |      24 |  5159885 |  4151362 |      642  16003 |        0 |        0
397.23/397.33	c  397s |      24 |  5187230 |  4172162 |      642  16065 |        0 |        0
399.24/399.33	c  399s |      24 |  5209494 |  4191262 |      642  16123 |        0 |        0
401.23/401.33	c  401s |      24 |  5231724 |  4210062 |      642  16179 |        0 |        0
403.23/403.34	c  403s |      24 |  5258209 |  4230762 |      642  16242 |        0 |        0
405.23/405.34	c  405s |      24 |  5282044 |  4250362 |      642  16301 |        0 |        0
407.23/407.34	c  407s |      24 |  5308970 |  4271162 |      642  16364 |        0 |        0
409.23/409.35	c  409s |      24 |  5330403 |  4289462 |      642  16420 |        0 |        0
411.23/411.35	c  411s |      24 |  5354282 |  4308862 |      642  16478 |        0 |        0
413.23/413.36	c  413s |      24 |  5376783 |  4327462 |      642  16534 |        0 |        0
415.23/415.36	c  415s |      24 |  5400802 |  4347162 |      642  16594 |        0 |        0
417.23/417.36	c  417s |      24 |  5426490 |  4367562 |      642  16655 |        0 |        0
419.23/419.37	c  419s |      24 |  5455365 |  4389462 |      642  16721 |        0 |        0
421.24/421.37	c  421s |      24 |  5483989 |  4411362 |      642  16787 |        0 |        0
423.23/423.38	c  423s |      24 |  5514680 |  4433462 |      642  16854 |        0 |        0
425.23/425.39	c  425s |      24 |  5546274 |  4456262 |      642  16923 |        0 |        0
427.32/427.40	c  427s |      24 |  5573390 |  4477762 |      642  16987 |        0 |        0
429.32/429.40	c  429s |      24 |  5600374 |  4498762 |      642  17050 |        0 |        0
431.32/431.40	c  431s |      24 |  5631511 |  4521162 |      642  17118 |        0 |        0
433.33/433.40	c  433s |      24 |  5659906 |  4542962 |      642  17184 |        0 |        0
435.32/435.41	c  435s |      24 |  5691737 |  4565562 |      642  17253 |        0 |        0
437.32/437.41	c  437s |      24 |  5719993 |  4586362 |      642  17315 |        0 |        0
439.32/439.42	c  439s |      24 |  5749644 |  4607862 |      642  17381 |        0 |        0
441.32/441.42	c  441s |      24 |  5779216 |  4629762 |      642  17447 |        0 |        0
443.33/443.43	c  443s |      24 |  5804294 |  4649562 |      642  17507 |        0 |        0
445.33/445.43	c  445s |      24 |  5832647 |  4670862 |      642  17571 |        0 |        0
447.33/447.43	c  447s |      24 |  5858729 |  4691562 |      642  17634 |        0 |        0
449.32/449.44	c  449s |      24 |  5886788 |  4713062 |      642  17699 |        0 |        0
451.32/451.44	c  451s |      24 |  5915693 |  4734762 |      642  17765 |        0 |        0
453.32/453.45	c  453s |      24 |  5945859 |  4756862 |      642  17832 |        0 |        0
455.33/455.45	c  455s |      24 |  5976959 |  4779262 |      642  17900 |        0 |        0
457.32/457.45	c  457s |      24 |  6004537 |  4800562 |      642  17964 |        0 |        0
459.32/459.45	c  459s |      24 |  6032168 |  4821362 |      642  18027 |        0 |        0
461.32/461.45	c  461s |      24 |  6059638 |  4842862 |      642  18092 |        0 |        0
463.32/463.46	c  463s |      24 |  6083822 |  4862562 |      642  18152 |        0 |        0
465.32/465.46	c  465s |      24 |  6111441 |  4883562 |      642  18216 |        0 |        0
467.31/467.47	c  467s |      24 |  6137911 |  4904462 |      642  18279 |        0 |        0
469.32/469.47	c  469s |      24 |  6161850 |  4924462 |      642  18340 |        0 |        0
471.32/471.48	c  471s |      24 |  6186072 |  4944562 |      642  18401 |        0 |        0
473.32/473.49	c  473s |      24 |  6213455 |  4965262 |      642  18464 |        0 |        0
475.32/475.49	c  475s |      24 |  6236520 |  4984162 |      642  18521 |        0 |        0
477.32/477.50	c  477s |      24 |  6258879 |  5003062 |      642  18579 |        0 |        0
479.42/479.50	c  479s |      24 |  6284468 |  5023862 |      642  18642 |        0 |        0
481.42/481.51	c  481s |      24 |  6312783 |  5044962 |      707  18702 |        0 |        0
483.22/483.39	c  483s |      25 |  6339447 |  5065098 |      707  18758 |        0 |        0
485.22/485.40	c  485s |      25 |  6363536 |  5084498 |      707  18810 |        0 |        0
487.22/487.40	c  487s |      25 |  6390451 |  5104798 |      707  18866 |        0 |        0
489.31/489.41	c  489s |      25 |  6417915 |  5125698 |      707  18923 |        0 |        0
491.31/491.41	c  491s |      25 |  6438625 |  5142898 |      707  18969 |        0 |        0
493.31/493.42	c  493s |      25 |  6463027 |  5162098 |      707  19022 |        0 |        0
495.31/495.42	c  495s |      25 |  6485719 |  5180798 |      707  19073 |        0 |        0
497.31/497.43	c  497s |      25 |  6507249 |  5198998 |      707  19123 |        0 |        0
499.32/499.44	c  499s |      25 |  6528258 |  5216898 |      707  19172 |        0 |        0
501.32/501.45	c  501s |      25 |  6550840 |  5235098 |      707  19222 |        0 |        0
503.32/503.46	c  503s |      25 |  6571980 |  5252898 |      707  19270 |        0 |        0
505.31/505.47	c  505s |      25 |  6597186 |  5272598 |      707  19324 |        0 |        0
507.31/507.47	c  507s |      25 |  6620518 |  5291598 |      707  19377 |        0 |        0
509.32/509.47	c  509s |      25 |  6644435 |  5310598 |      707  19429 |        0 |        0
511.31/511.48	c  511s |      25 |  6668157 |  5329398 |      707  19480 |        0 |        0
513.31/513.48	c  513s |      25 |  6690377 |  5347598 |      707  19530 |        0 |        0
515.31/515.49	c  515s |      25 |  6713454 |  5366298 |      707  19581 |        0 |        0
517.31/517.49	c  517s |      25 |  6737923 |  5385798 |      707  19635 |        0 |        0
519.41/519.50	c  519s |      25 |  6762220 |  5405198 |      707  19688 |        0 |        0
521.32/521.50	c  521s |      25 |  6787280 |  5424798 |      707  19742 |        0 |        0
523.41/523.51	c  523s |      25 |  6813037 |  5444498 |      707  19797 |        0 |        0
525.41/525.52	c  525s |      25 |  6838078 |  5463998 |      707  19850 |        0 |        0
527.41/527.52	c  527s |      25 |  6862330 |  5483098 |      707  19902 |        0 |        0
529.41/529.52	c  529s |      25 |  6894215 |  5505298 |      707  19963 |        0 |        0
531.41/531.52	c  531s |      25 |  6924612 |  5526498 |      707  20021 |        0 |        0
533.41/533.53	c  533s |      25 |  6951629 |  5546298 |      707  20075 |        0 |        0
535.41/535.53	c  535s |      25 |  6973516 |  5564598 |      707  20126 |        0 |        0
537.41/537.54	c  537s |      25 |  6999101 |  5584798 |      707  20181 |        0 |        0
539.41/539.54	c  539s |      25 |  7024018 |  5604598 |      707  20236 |        0 |        0
541.40/541.55	c  541s |      25 |  7050348 |  5624698 |      707  20292 |        0 |        0
543.41/543.55	c  543s |      25 |  7073289 |  5643498 |      707  20343 |        0 |        0
545.40/545.56	c  545s |      25 |  7096640 |  5662098 |      707  20394 |        0 |        0
547.40/547.56	c  547s |      25 |  7121218 |  5681598 |      707  20447 |        0 |        0
549.40/549.57	c  549s |      25 |  7148426 |  5702498 |      707  20505 |        0 |        0
551.40/551.58	c  551s |      25 |  7173179 |  5722298 |      707  20559 |        0 |        0
553.40/553.59	c  553s |      25 |  7198317 |  5741898 |      707  20613 |        0 |        0
555.41/555.59	c  555s |      25 |  7225127 |  5762298 |      707  20670 |        0 |        0
557.50/557.60	c  557s |      25 |  7250159 |  5782098 |      707  20725 |        0 |        0
559.50/559.60	c  559s |      25 |  7275649 |  5802098 |      707  20781 |        0 |        0
561.50/561.61	c  561s |      25 |  7304730 |  5823298 |      707  20839 |        0 |        0
563.50/563.61	c  563s |      25 |  7330009 |  5843398 |      707  20895 |        0 |        0
565.50/565.61	c  565s |      25 |  7354573 |  5863398 |      707  20950 |        0 |        0
567.50/567.62	c  567s |      25 |  7379235 |  5883198 |      707  21004 |        0 |        0
569.49/569.62	c  569s |      25 |  7405755 |  5903398 |      707  21060 |        0 |        0
571.49/571.63	c  571s |      25 |  7429167 |  5922498 |      707  21112 |        0 |        0
573.49/573.64	c  573s |      25 |  7455617 |  5942798 |      707  21168 |        0 |        0
575.49/575.64	c  575s |      25 |  7479722 |  5961998 |      707  21221 |        0 |        0
577.50/577.65	c  577s |      25 |  7504661 |  5981898 |      707  21275 |        0 |        0
579.49/579.66	c  579s |      25 |  7529781 |  6001598 |      707  21329 |        0 |        0
581.49/581.66	c  581s |      25 |  7553384 |  6020998 |      707  21383 |        0 |        0
583.49/583.66	c  583s |      25 |  7582120 |  6042498 |      707  21443 |        0 |        0
585.49/585.67	c  585s |      25 |  7605119 |  6061298 |      707  21494 |        0 |        0
587.48/587.67	c  587s |      25 |  7635482 |  6082698 |      707  21554 |        0 |        0
589.49/589.67	c  589s |      25 |  7662405 |  6103798 |      707  21612 |        0 |        0
591.48/591.67	c  591s |      25 |  7687566 |  6123898 |      707  21668 |        0 |        0
593.48/593.68	c  593s |      25 |  7712719 |  6144298 |      707  21724 |        0 |        0
595.48/595.68	c  595s |      25 |  7739609 |  6165498 |      707  21783 |        0 |        0
597.48/597.69	c  597s |      25 |  7768701 |  6187198 |      707  21844 |        0 |        0
599.58/599.70	c  599s |      25 |  7796286 |  6208798 |      707  21904 |        0 |        0
601.47/601.70	c  601s |      25 |  7823925 |  6230098 |      707  21963 |        0 |        0
603.57/603.70	c  603s |      25 |  7848275 |  6250098 |      707  22019 |        0 |        0
605.57/605.70	c  605s |      25 |  7871602 |  6269798 |      707  22073 |        0 |        0
607.57/607.71	c  607s |      25 |  7897062 |  6289998 |      707  22129 |        0 |        0
609.57/609.71	c  609s |      25 |  7922211 |  6310098 |      707  22184 |        0 |        0
611.58/611.72	c  611s |      25 |  7946112 |  6329798 |      707  22239 |        0 |        0
613.58/613.73	c  613s |      25 |  7972704 |  6350498 |      707  22296 |        0 |        0
615.58/615.73	c  615s |      25 |  7998594 |  6370498 |      707  22351 |        0 |        0
617.57/617.74	c  617s |      25 |  8022891 |  6389998 |      707  22404 |        0 |        0
619.57/619.74	c  619s |      25 |  8048765 |  6410198 |      707  22460 |        0 |        0
621.57/621.75	c  621s |      25 |  8073745 |  6429798 |      707  22513 |        0 |        0
623.58/623.76	c  623s |      25 |  8097686 |  6448998 |      707  22566 |        0 |        0
625.57/625.77	c  625s |      25 |  8122697 |  6468798 |      707  22621 |        0 |        0
627.56/627.78	c  627s |      25 |  8147110 |  6488598 |      707  22675 |        0 |        0
629.57/629.78	c  629s |      25 |  8171524 |  6508398 |      707  22729 |        0 |        0
631.57/631.78	c  631s |      25 |  8193904 |  6526498 |      707  22779 |        0 |        0
633.57/633.79	c  633s |      25 |  8217173 |  6545298 |      707  22831 |        0 |        0
635.56/635.80	c  635s |      25 |  8241767 |  6565098 |      707  22886 |        0 |        0
637.66/637.80	c  637s |      25 |  8264655 |  6584098 |      707  22939 |        0 |        0
639.66/639.81	c  639s |      25 |  8287933 |  6603298 |      707  22992 |        0 |        0
641.66/641.81	c  641s |      25 |  8312552 |  6623098 |      707  23046 |        0 |        0
643.66/643.81	c  643s |      25 |  8338027 |  6642898 |      707  23101 |        0 |        0
645.66/645.82	c  645s |      25 |  8365418 |  6663798 |      707  23159 |        0 |        0
647.65/647.82	c  647s |      25 |  8389721 |  6683398 |      707  23213 |        0 |        0
649.65/649.83	c  649s |      25 |  8414775 |  6703098 |      707  23268 |        0 |        0
651.65/651.84	c  651s |      25 |  8439842 |  6723398 |      707  23324 |        0 |        0
653.65/653.85	c  653s |      25 |  8464325 |  6743198 |      707  23379 |        0 |        0
655.65/655.86	c  655s |      25 |  8491016 |  6763998 |      707  23437 |        0 |        0
657.65/657.86	c  657s |      25 |  8517648 |  6784398 |      707  23493 |        0 |        0
659.65/659.87	c  659s |      25 |  8545250 |  6805698 |      707  23552 |        0 |        0
661.65/661.87	c  661s |      25 |  8574658 |  6827498 |      707  23612 |        0 |        0
663.65/663.88	c  663s |      25 |  8603677 |  6849198 |      707  23672 |        0 |        0
665.64/665.89	c  665s |      25 |  8628308 |  6869098 |      707  23727 |        0 |        0
667.74/667.90	c  667s |      25 |  8654036 |  6889498 |      707  23784 |        0 |        0
669.75/669.90	c  669s |      25 |  8682070 |  6910698 |      707  23842 |        0 |        0
671.74/671.91	c  671s |      25 |  8709288 |  6931298 |      707  23899 |        0 |        0
673.74/673.92	c  673s |      25 |  8733658 |  6951298 |      707  23955 |        0 |        0
675.74/675.92	c  675s |      25 |  8762030 |  6972498 |      707  24013 |        0 |        0
677.74/677.93	c  677s |      25 |  8789380 |  6993398 |      707  24071 |        0 |        0
679.74/679.93	c  679s |      25 |  8816902 |  7014498 |      707  24130 |        0 |        0
681.74/681.94	c  681s |      25 |  8846030 |  7036398 |      707  24190 |        0 |        0
683.73/683.94	c  683s |      25 |  8873542 |  7057098 |      707  24247 |        0 |        0
685.73/685.95	c  685s |      25 |  8900226 |  7077398 |      707  24304 |        0 |        0
687.73/687.96	c  687s |      25 |  8925727 |  7096898 |      707  24358 |        0 |        0
689.73/689.96	c  689s |      25 |  8953536 |  7117998 |      707  24416 |        0 |        0
691.74/691.97	c  691s |      25 |  8981653 |  7139398 |      707  24475 |        0 |        0
693.73/693.97	c  693s |      25 |  9008976 |  7160098 |      707  24533 |        0 |        0
695.73/695.98	c  695s |      25 |  9034490 |  7180298 |      707  24588 |        0 |        0
697.74/697.98	c  697s |      25 |  9063039 |  7201498 |      707  24647 |        0 |        0
699.73/699.98	c  699s |      25 |  9088383 |  7221198 |      707  24701 |        0 |        0
701.74/701.98	c  701s |      25 |  9112880 |  7240898 |      707  24756 |        0 |        0
703.73/703.99	c  703s |      25 |  9141888 |  7261698 |      707  24814 |        0 |        0
705.73/705.99	c  705s |      25 |  9169158 |  7281898 |      707  24870 |        0 |        0
707.83/708.00	c  707s |      25 |  9193890 |  7301298 |      707  24924 |        0 |        0
709.83/710.00	c  709s |      25 |  9222755 |  7321698 |      707  24981 |        0 |        0
711.83/712.00	c  711s |      25 |  9247223 |  7341598 |      707  25035 |        0 |        0
713.83/714.01	c  714s |      25 |  9270581 |  7361098 |      707  25088 |        0 |        0
715.83/716.01	c  716s |      25 |  9299307 |  7382798 |      707  25148 |        0 |        0
717.82/718.02	c  718s |      25 |  9326058 |  7403498 |      707  25206 |        0 |        0
719.82/720.02	c  720s |      25 |  9352427 |  7424098 |      707  25263 |        0 |        0
721.82/722.02	c  722s |      25 |  9378024 |  7444698 |      707  25320 |        0 |        0
723.82/724.02	c  724s |      25 |  9403531 |  7464998 |      707  25377 |        0 |        0
725.82/726.03	c  726s |      25 |  9427045 |  7484398 |      707  25431 |        0 |        0
727.82/728.03	c  728s |      25 |  9450129 |  7503498 |      707  25484 |        0 |        0
729.82/730.03	c  730s |      25 |  9476595 |  7523798 |      707  25540 |        0 |        0
731.82/732.04	c  732s |      25 |  9503213 |  7544698 |      778  25598 |        0 |        0
733.82/734.04	c  734s |      25 |  9528008 |  7564498 |      778  25648 |        0 |        0
735.82/736.05	c  736s |      25 |  9551876 |  7583698 |      778  25696 |        0 |        0
737.21/737.42	c  737s |      26 |  9571429 |  7597752 |      778  25731 |        0 |        0
739.21/739.43	c  739s |      26 |  9599726 |  7618052 |      778  25782 |        0 |        0
741.22/741.43	c  741s |      26 |  9625426 |  7638652 |      778  25834 |        0 |        0
743.21/743.43	c  743s |      26 |  9650061 |  7658452 |      778  25884 |        0 |        0
745.21/745.43	c  745s |      26 |  9676491 |  7678852 |      778  25935 |        0 |        0
747.21/747.44	c  747s |      26 |  9700109 |  7697852 |      778  25983 |        0 |        0
749.21/749.45	c  749s |      26 |  9723902 |  7716852 |      778  26031 |        0 |        0
751.21/751.46	c  751s |      26 |  9745982 |  7735652 |      778  26078 |        0 |        0
753.20/753.46	c  753s |      26 |  9768053 |  7753752 |      778  26124 |        0 |        0
755.20/755.47	c  755s |      26 |  9793034 |  7773152 |      778  26173 |        0 |        0
757.20/757.48	c  757s |      26 |  9817097 |  7792552 |      778  26221 |        0 |        0
759.20/759.49	c  759s |      26 |  9842290 |  7812052 |      778  26270 |        0 |        0
761.21/761.49	c  761s |      26 |  9867421 |  7831352 |      778  26319 |        0 |        0
763.21/763.49	c  763s |      26 |  9891398 |  7850552 |      778  26367 |        0 |        0
765.20/765.49	c  765s |      26 |  9918163 |  7870752 |      778  26418 |        0 |        0
767.20/767.49	c  767s |      26 |  9941235 |  7889452 |      778  26465 |        0 |        0
769.20/769.49	c  769s |      26 |  9967141 |  7909152 |      778  26514 |        0 |        0
771.30/771.50	c  771s |      26 |  9990202 |  7928152 |      778  26562 |        0 |        0
773.30/773.51	c  773s |      26 | 10012202 |  7946552 |      778  26609 |        0 |        0
775.30/775.51	c  775s |      26 | 10035108 |  7964752 |      778  26655 |        0 |        0
777.29/777.52	c  777s |      26 | 10057474 |  7982952 |      778  26700 |        0 |        0
779.29/779.53	c  779s |      26 | 10082866 |  8002952 |      778  26751 |        0 |        0
781.29/781.53	c  781s |      26 | 10108861 |  8022852 |      778  26801 |        0 |        0
783.29/783.54	c  783s |      26 | 10136673 |  8043452 |      778  26853 |        0 |        0
785.30/785.54	c  785s |      26 | 10157401 |  8061352 |      778  26897 |        0 |        0
787.28/787.54	c  787s |      26 | 10179673 |  8079552 |      778  26943 |        0 |        0
789.28/789.55	c  789s |      26 | 10202316 |  8098352 |      778  26990 |        0 |        0
791.28/791.55	c  791s |      26 | 10225271 |  8117752 |      778  27039 |        0 |        0
793.28/793.56	c  793s |      26 | 10250446 |  8137952 |      778  27089 |        0 |        0
795.29/795.57	c  795s |      26 | 10273595 |  8157152 |      778  27138 |        0 |        0
797.29/797.57	c  797s |      26 | 10296643 |  8176052 |      778  27185 |        0 |        0
799.28/799.58	c  799s |      26 | 10321029 |  8195252 |      778  27233 |        0 |        0
801.28/801.58	c  801s |      26 | 10346439 |  8214752 |      778  27282 |        0 |        0
803.28/803.59	c  803s |      26 | 10374309 |  8236152 |      778  27336 |        0 |        0
805.28/805.59	c  805s |      26 | 10400932 |  8256552 |      778  27388 |        0 |        0
807.38/807.60	c  807s |      26 | 10425902 |  8276052 |      778  27437 |        0 |        0
809.28/809.60	c  809s |      26 | 10447753 |  8294352 |      778  27483 |        0 |        0
811.37/811.61	c  811s |      26 | 10470964 |  8313452 |      778  27531 |        0 |        0
813.37/813.61	c  813s |      26 | 10499324 |  8334052 |      778  27583 |        0 |        0
815.37/815.61	c  815s |      26 | 10528461 |  8355552 |      778  27637 |        0 |        0
817.37/817.61	c  817s |      26 | 10555260 |  8376152 |      778  27689 |        0 |        0
819.37/819.62	c  819s |      26 | 10579938 |  8396052 |      778  27739 |        0 |        0
821.37/821.62	c  821s |      26 | 10604822 |  8415952 |      778  27789 |        0 |        0
823.37/823.62	c  823s |      26 | 10628350 |  8434852 |      778  27836 |        0 |        0
825.37/825.63	c  825s |      26 | 10652193 |  8454052 |      778  27885 |        0 |        0
827.36/827.63	c  827s |      26 | 10676850 |  8473652 |      778  27934 |        0 |        0
829.36/829.64	c  829s |      26 | 10699311 |  8492652 |      778  27982 |        0 |        0
831.37/831.64	c  831s |      26 | 10724143 |  8512652 |      778  28033 |        0 |        0
833.36/833.65	c  833s |      26 | 10750053 |  8533152 |      778  28085 |        0 |        0
835.36/835.66	c  835s |      26 | 10773953 |  8552652 |      778  28134 |        0 |        0
837.35/837.66	c  837s |      26 | 10796391 |  8571352 |      778  28181 |        0 |        0
839.36/839.66	c  839s |      26 | 10817153 |  8589452 |      778  28226 |        0 |        0
841.37/841.67	c  841s |      26 | 10839158 |  8607752 |      778  28272 |        0 |        0
843.36/843.67	c  843s |      26 | 10860400 |  8625852 |      778  28318 |        0 |        0
845.36/845.68	c  845s |      26 | 10882625 |  8644352 |      778  28364 |        0 |        0
847.35/847.69	c  847s |      26 | 10906857 |  8663752 |      778  28413 |        0 |        0
849.45/849.70	c  849s |      26 | 10934803 |  8684752 |      778  28466 |        0 |        0
851.45/851.70	c  851s |      26 | 10959401 |  8704852 |      778  28517 |        0 |        0
853.46/853.71	c  853s |      26 | 10986313 |  8725752 |      778  28570 |        0 |        0
855.45/855.71	c  855s |      26 | 11012479 |  8746352 |      778  28622 |        0 |        0
857.45/857.72	c  857s |      26 | 11034487 |  8765352 |      778  28669 |        0 |        0
859.45/859.72	c  859s |      26 | 11058064 |  8785152 |      778  28719 |        0 |        0
861.45/861.74	c  861s |      26 | 11080949 |  8804652 |      778  28769 |        0 |        0
863.45/863.74	c  863s |      26 | 11104342 |  8823852 |      778  28817 |        0 |        0
865.45/865.75	c  865s |      26 | 11127651 |  8843052 |      778  28866 |        0 |        0
867.44/867.76	c  867s |      26 | 11152400 |  8863252 |      778  28917 |        0 |        0
869.44/869.76	c  869s |      26 | 11178905 |  8883352 |      778  28967 |        0 |        0
871.44/871.77	c  871s |      26 | 11202108 |  8902652 |      778  29016 |        0 |        0
873.45/873.77	c  873s |      26 | 11226278 |  8922352 |      778  29065 |        0 |        0
875.45/875.77	c  875s |      26 | 11252729 |  8943052 |      778  29118 |        0 |        0
877.44/877.77	c  877s |      26 | 11280974 |  8964552 |      778  29172 |        0 |        0
879.44/879.78	c  879s |      26 | 11305944 |  8984952 |      778  29224 |        0 |        0
881.44/881.79	c  881s |      26 | 11331547 |  9005252 |      778  29275 |        0 |        0
883.43/883.79	c  883s |      26 | 11356456 |  9025452 |      778  29326 |        0 |        0
885.43/885.79	c  885s |      26 | 11383738 |  9047152 |      778  29381 |        0 |        0
887.44/887.80	c  887s |      26 | 11409349 |  9067752 |      778  29433 |        0 |        0
889.53/889.80	c  889s |      26 | 11434637 |  9088152 |      778  29485 |        0 |        0
891.53/891.80	c  891s |      26 | 11458200 |  9107252 |      778  29534 |        0 |        0
893.53/893.80	c  893s |      26 | 11485063 |  9128152 |      778  29586 |        0 |        0
895.52/895.81	c  895s |      26 | 11513519 |  9150352 |      778  29643 |        0 |        0
897.52/897.81	c  897s |      26 | 11539105 |  9170552 |      778  29694 |        0 |        0
899.53/899.82	c  899s |      26 | 11566349 |  9191152 |      778  29746 |        0 |        0
901.52/901.83	c  901s |      26 | 11591077 |  9211152 |      778  29796 |        0 |        0
903.52/903.83	c  903s |      26 | 11612326 |  9229552 |      778  29842 |        0 |        0
905.52/905.84	c  905s |      26 | 11636485 |  9249452 |      778  29892 |        0 |        0
907.52/907.84	c  907s |      26 | 11659191 |  9268352 |      778  29939 |        0 |        0
909.52/909.85	c  909s |      26 | 11681705 |  9287152 |      778  29987 |        0 |        0
911.52/911.85	c  911s |      26 | 11704920 |  9305952 |      778  30034 |        0 |        0
913.52/913.86	c  913s |      26 | 11729542 |  9325552 |      778  30083 |        0 |        0
915.52/915.86	c  915s |      26 | 11753091 |  9344552 |      778  30131 |        0 |        0
917.52/917.87	c  917s |      26 | 11776410 |  9363452 |      778  30178 |        0 |        0
919.51/919.88	c  919s |      26 | 11800641 |  9382752 |      778  30227 |        0 |        0
921.52/921.88	c  921s |      26 | 11824565 |  9402152 |      778  30276 |        0 |        0
923.51/923.88	c  923s |      26 | 11849671 |  9422052 |      778  30326 |        0 |        0
925.51/925.89	c  925s |      26 | 11873718 |  9441652 |      778  30375 |        0 |        0
927.51/927.89	c  927s |      26 | 11897601 |  9460852 |      778  30423 |        0 |        0
929.51/929.89	c  929s |      26 | 11922423 |  9480352 |      778  30472 |        0 |        0
931.61/931.90	c  931s |      26 | 11945072 |  9498652 |      778  30518 |        0 |        0
933.51/933.90	c  933s |      26 | 11964065 |  9514952 |      778  30559 |        0 |        0
935.61/935.91	c  935s |      26 | 11984584 |  9531952 |      778  30601 |        0 |        0
937.60/937.91	c  937s |      26 | 12006660 |  9549552 |      778  30645 |        0 |        0
939.60/939.92	c  939s |      26 | 12028637 |  9567352 |      778  30690 |        0 |        0
941.60/941.93	c  941s |      26 | 12050265 |  9585152 |      778  30735 |        0 |        0
943.61/943.94	c  943s |      26 | 12071939 |  9602652 |      778  30778 |        0 |        0
945.60/945.94	c  945s |      26 | 12092372 |  9619752 |      778  30821 |        0 |        0
947.59/947.95	c  947s |      26 | 12112298 |  9636552 |      778  30863 |        0 |        0
949.59/949.96	c  949s |      26 | 12134437 |  9654352 |      778  30907 |        0 |        0
951.60/951.96	c  951s |      26 | 12157028 |  9672852 |      778  30954 |        0 |        0
953.60/953.97	c  953s |      26 | 12179064 |  9691252 |      778  31000 |        0 |        0
955.61/955.97	c  955s |      26 | 12201416 |  9709652 |      778  31046 |        0 |        0
957.59/957.97	c  957s |      26 | 12224726 |  9728352 |      778  31093 |        0 |        0
959.59/959.98	c  959s |      26 | 12249272 |  9747552 |      778  31142 |        0 |        0
961.59/961.99	c  961s |      26 | 12275039 |  9766952 |      778  31191 |        0 |        0
963.59/963.99	c  963s |      26 | 12298168 |  9784952 |      778  31236 |        0 |        0
965.59/965.99	c  965s |      26 | 12320160 |  9802752 |      778  31280 |        0 |        0
967.58/967.99	c  967s |      26 | 12342989 |  9820652 |      778  31325 |        0 |        0
969.68/970.00	c  969s |      26 | 12364573 |  9838652 |      778  31371 |        0 |        0
971.69/972.00	c  971s |      26 | 12385083 |  9855952 |      778  31414 |        0 |        0
973.69/974.01	c  973s |      26 | 12407161 |  9874052 |      778  31460 |        0 |        0
975.69/976.02	c  976s |      26 | 12429193 |  9892252 |      778  31505 |        0 |        0
977.69/978.02	c  978s |      26 | 12452152 |  9910652 |      778  31552 |        0 |        0
979.68/980.03	c  980s |      26 | 12473913 |  9928552 |      778  31596 |        0 |        0
981.68/982.03	c  982s |      26 | 12495605 |  9946452 |      778  31641 |        0 |        0
983.68/984.03	c  984s |      26 | 12516320 |  9963652 |      778  31684 |        0 |        0
985.68/986.04	c  986s |      26 | 12541157 |  9982452 |      778  31731 |        0 |        0
987.68/988.05	c  988s |      26 | 12564589 | 10000952 |      778  31778 |        0 |        0
989.68/990.05	c  990s |      26 | 12587320 | 10019252 |      778  31823 |        0 |        0
991.67/992.05	c  992s |      26 | 12608849 | 10036852 |      778  31867 |        0 |        0
993.67/994.06	c  994s |      26 | 12630123 | 10053652 |      778  31909 |        0 |        0
995.67/996.06	c  996s |      26 | 12651448 | 10071152 |      778  31953 |        0 |        0
997.67/998.07	c  998s |      26 | 12673426 | 10088852 |      778  31997 |        0 |        0
999.67/1000.07	c 1000s |      26 | 12697276 | 10107552 |      778  32044 |        0 |        0
1001.67/1002.07	c 1002s |      26 | 12719646 | 10125452 |      778  32089 |        0 |        0
1003.67/1004.07	c 1004s |      26 | 12743183 | 10143852 |      778  32136 |        0 |        0
1005.67/1006.07	c 1006s |      26 | 12764102 | 10161252 |      778  32179 |        0 |        0
1007.66/1008.08	c 1008s |      26 | 12787974 | 10180352 |      778  32227 |        0 |        0
1009.66/1010.08	c 1010s |      26 | 12808603 | 10197752 |      778  32270 |        0 |        0
1011.67/1012.08	c 1012s |      26 | 12830191 | 10215252 |      778  32314 |        0 |        0
1013.66/1014.09	c 1014s |      26 | 12851976 | 10232552 |      778  32358 |        0 |        0
1015.66/1016.09	c 1016s |      26 | 12873423 | 10249552 |      778  32400 |        0 |        0
1017.76/1018.10	c 1018s |      26 | 12895441 | 10266852 |      778  32444 |        0 |        0
1019.76/1020.11	c 1020s |      26 | 12920757 | 10286452 |      778  32493 |        0 |        0
1021.76/1022.12	c 1022s |      26 | 12945317 | 10305952 |      778  32542 |        0 |        0
1023.76/1024.12	c 1024s |      26 | 12969793 | 10325552 |      778  32592 |        0 |        0
1025.75/1026.12	c 1026s |      26 | 12994434 | 10345152 |      778  32641 |        0 |        0
1027.75/1028.12	c 1028s |      26 | 13019105 | 10364152 |      778  32689 |        0 |        0
1029.76/1030.13	c 1030s |      26 | 13039174 | 10381252 |      778  32732 |        0 |        0
1031.76/1032.14	c 1032s |      26 | 13063313 | 10399852 |      778  32778 |        0 |        0
1033.76/1034.14	c 1034s |      26 | 13085715 | 10417952 |      778  32824 |        0 |        0
1035.76/1036.14	c 1036s |      26 | 13106035 | 10435252 |      778  32867 |        0 |        0
1037.75/1038.15	c 1038s |      26 | 13127468 | 10452852 |      778  32911 |        0 |        0
1039.75/1040.16	c 1040s |      26 | 13149676 | 10471052 |      778  32957 |        0 |        0
1041.75/1042.17	c 1042s |      26 | 13171322 | 10488852 |      778  33002 |        0 |        0
1043.75/1044.17	c 1044s |      26 | 13192149 | 10506352 |      778  33046 |        0 |        0
1045.76/1046.18	c 1046s |      26 | 13217157 | 10525552 |      778  33095 |        0 |        0
1047.75/1048.18	c 1048s |      26 | 13238785 | 10543352 |      778  33140 |        0 |        0
1049.74/1050.19	c 1050s |      26 | 13259286 | 10560452 |      778  33183 |        0 |        0
1051.74/1052.19	c 1052s |      26 | 13281955 | 10578652 |      778  33229 |        0 |        0
1053.74/1054.20	c 1054s |      26 | 13305708 | 10597252 |      778  33276 |        0 |        0
1055.84/1056.20	c 1056s |      26 | 13330238 | 10616752 |      778  33325 |        0 |        0
1057.84/1058.21	c 1058s |      26 | 13354829 | 10636152 |      778  33374 |        0 |        0
1059.83/1060.21	c 1060s |      26 | 13378497 | 10654752 |      778  33421 |        0 |        0
1061.84/1062.22	c 1062s |      26 | 13402010 | 10673352 |      778  33468 |        0 |        0
1063.84/1064.23	c 1064s |      26 | 13424405 | 10691452 |      778  33514 |        0 |        0
1065.84/1066.23	c 1066s |      26 | 13445449 | 10709252 |      778  33559 |        0 |        0
1067.84/1068.24	c 1068s |      26 | 13467035 | 10726852 |      778  33603 |        0 |        0
1069.83/1070.25	c 1070s |      26 | 13489322 | 10744752 |      778  33649 |        0 |        0
1071.83/1072.25	c 1072s |      26 | 13510614 | 10762252 |      778  33693 |        0 |        0
1073.83/1074.26	c 1074s |      26 | 13534256 | 10781052 |      778  33740 |        0 |        0
1075.83/1076.27	c 1076s |      26 | 13559219 | 10800252 |      778  33789 |        0 |        0
1077.83/1078.27	c 1078s |      26 | 13584276 | 10819552 |      778  33837 |        0 |        0
1079.83/1080.28	c 1080s |      26 | 13606431 | 10837652 |      778  33883 |        0 |        0
1081.82/1082.29	c 1082s |      26 | 13625451 | 10854052 |      778  33924 |        0 |        0
1083.82/1084.29	c 1084s |      26 | 13645142 | 10870852 |      778  33967 |        0 |        0
1085.92/1086.30	c 1086s |      26 | 13667941 | 10889152 |      778  34013 |        0 |        0
1087.92/1088.31	c 1088s |      26 | 13696754 | 10909952 |      778  34065 |        0 |        0
1089.92/1090.31	c 1090s |      26 | 13720261 | 10928552 |      778  34112 |        0 |        0
1091.93/1092.31	c 1092s |      26 | 13743587 | 10947652 |      778  34160 |        0 |        0
1093.92/1094.33	c 1094s |      26 | 13769492 | 10967752 |      778  34211 |        0 |        0
1095.92/1096.33	c 1096s |      26 | 13794871 | 10987752 |      778  34261 |        0 |        0
1097.91/1098.34	c 1098s |      26 | 13817334 | 11006352 |      778  34308 |        0 |        0
1099.91/1100.35	c 1100s |      26 | 13843665 | 11026552 |      778  34359 |        0 |        0
1101.92/1102.35	c 1102s |      26 | 13868477 | 11046052 |      778  34408 |        0 |        0
1103.91/1104.35	c 1104s |      26 | 13893642 | 11065852 |      778  34458 |        0 |        0
1105.91/1106.35	c 1106s |      26 | 13918547 | 11085552 |      778  34507 |        0 |        0
1107.90/1108.36	c 1108s |      26 | 13945773 | 11106652 |      778  34561 |        0 |        0
1109.90/1110.36	c 1110s |      26 | 13970691 | 11126552 |      778  34611 |        0 |        0
1111.90/1112.36	c 1112s |      26 | 13996740 | 11146852 |      778  34662 |        0 |        0
1113.91/1114.37	c 1114s |      26 | 14021131 | 11166252 |      778  34711 |        0 |        0
1115.90/1116.37	c 1116s |      26 | 14046045 | 11185852 |      778  34760 |        0 |        0
1117.90/1118.38	c 1118s |      26 | 14070134 | 11204752 |      778  34808 |        0 |        0
1119.90/1120.39	c 1120s |      26 | 14095717 | 11224152 |      778  34857 |        0 |        0
1122.00/1122.40	c 1122s |      26 | 14118024 | 11241952 |      778  34901 |        0 |        0
1124.00/1124.40	c 1124s |      26 | 14139716 | 11259552 |      778  34946 |        0 |        0
1126.01/1126.41	c 1126s |      26 | 14163394 | 11278452 |      778  34993 |        0 |        0
1128.00/1128.41	c 1128s |      26 | 14187943 | 11297752 |      778  35042 |        0 |        0
1130.00/1130.42	c 1130s |      26 | 14210984 | 11316452 |      856  35088 |        0 |        0
1132.00/1132.42	c 1132s |      26 | 14233809 | 11334652 |      856  35130 |        0 |        0
1133.99/1134.43	c 1134s |      26 | 14256516 | 11352652 |      856  35171 |        0 |        0
1136.00/1136.44	c 1136s |      26 | 14278590 | 11370452 |      856  35212 |        0 |        0
1137.99/1138.44	c 1138s |      26 | 14303625 | 11389152 |      856  35255 |        0 |        0
1138.69/1139.19	c 1139s |      27 | 14314483 | 11396733 |      856  35273 |        0 |        0
1140.69/1141.19	c 1141s |      27 | 14333641 | 11413333 |      856  35310 |        0 |        0
1142.69/1143.19	c 1143s |      27 | 14352884 | 11429533 |      856  35347 |        0 |        0
1144.69/1145.20	c 1145s |      27 | 14373341 | 11446633 |      856  35386 |        0 |        0
1146.78/1147.20	c 1147s |      27 | 14394217 | 11463633 |      856  35425 |        0 |        0
1148.78/1149.21	c 1149s |      27 | 14413998 | 11480333 |      856  35463 |        0 |        0
1150.78/1151.22	c 1151s |      27 | 14431635 | 11495933 |      856  35498 |        0 |        0
1152.78/1153.22	c 1153s |      27 | 14449251 | 11511433 |      856  35534 |        0 |        0
1154.79/1155.23	c 1155s |      27 | 14468049 | 11527733 |      856  35571 |        0 |        0
1156.79/1157.25	c 1157s |      27 | 14489501 | 11545233 |      856  35611 |        0 |        0
1158.78/1159.25	c 1159s |      27 | 14509949 | 11562433 |      856  35650 |        0 |        0
1160.78/1161.25	c 1161s |      27 | 14533610 | 11580733 |      856  35692 |        0 |        0
1162.78/1163.25	c 1163s |      27 | 14555816 | 11598633 |      856  35732 |        0 |        0
1164.78/1165.26	c 1165s |      27 | 14575553 | 11615633 |      856  35771 |        0 |        0
1166.78/1167.27	c 1167s |      27 | 14597943 | 11633233 |      856  35812 |        0 |        0
1168.78/1169.28	c 1169s |      27 | 14619551 | 11650833 |      856  35852 |        0 |        0
1170.78/1171.29	c 1171s |      27 | 14639357 | 11667333 |      856  35890 |        0 |        0
1172.88/1173.30	c 1173s |      27 | 14658166 | 11683433 |      856  35926 |        0 |        0
1174.88/1175.31	c 1175s |      27 | 14675818 | 11698833 |      856  35961 |        0 |        0
1176.87/1177.32	c 1177s |      27 | 14694707 | 11714933 |      856  35998 |        0 |        0
1178.88/1179.33	c 1179s |      27 | 14713529 | 11731033 |      856  36035 |        0 |        0
1180.87/1181.33	c 1181s |      27 | 14731776 | 11746733 |      856  36071 |        0 |        0
1182.87/1183.33	c 1183s |      27 | 14752186 | 11763633 |      856  36109 |        0 |        0
1184.87/1185.34	c 1185s |      27 | 14771502 | 11779933 |      856  36146 |        0 |        0
1186.87/1187.35	c 1187s |      27 | 14790452 | 11796033 |      856  36183 |        0 |        0
1188.87/1189.36	c 1189s |      27 | 14811416 | 11813133 |      856  36222 |        0 |        0
1190.87/1191.36	c 1191s |      27 | 14830584 | 11829233 |      856  36259 |        0 |        0
1192.86/1193.37	c 1193s |      27 | 14849102 | 11845233 |      856  36296 |        0 |        0
1194.86/1195.38	c 1195s |      27 | 14868961 | 11861633 |      856  36333 |        0 |        0
1196.86/1197.38	c 1197s |      27 | 14891124 | 11879033 |      856  36373 |        0 |        0
1198.86/1199.39	c 1199s |      27 | 14910201 | 11895133 |      856  36410 |        0 |        0
1200.87/1201.39	c 1201s |      27 | 14927030 | 11910233 |      856  36444 |        0 |        0
1202.86/1203.40	c 1203s |      27 | 14945222 | 11926033 |      856  36480 |        0 |        0
1204.96/1205.40	c 1205s |      27 | 14966420 | 11943233 |      856  36519 |        0 |        0
1206.96/1207.40	c 1207s |      27 | 14985728 | 11959933 |      856  36557 |        0 |        0
1208.96/1209.40	c 1209s |      27 | 15005638 | 11976733 |      856  36596 |        0 |        0
1210.96/1211.41	c 1211s |      27 | 15024745 | 11993033 |      856  36633 |        0 |        0
1212.96/1213.41	c 1213s |      27 | 15042479 | 12008533 |      856  36668 |        0 |        0
1214.96/1215.42	c 1215s |      27 | 15062410 | 12025333 |      856  36707 |        0 |        0
1216.97/1217.42	c 1217s |      27 | 15082549 | 12042233 |      856  36745 |        0 |        0
1218.96/1219.42	c 1219s |      27 | 15101135 | 12058233 |      856  36782 |        0 |        0
1220.96/1221.42	c 1221s |      27 | 15121083 | 12074933 |      856  36820 |        0 |        0
1222.96/1223.43	c 1223s |      27 | 15141999 | 12092133 |      856  36859 |        0 |        0
1224.97/1225.44	c 1225s |      27 | 15163697 | 12109733 |      856  36899 |        0 |        0
1226.96/1227.45	c 1227s |      27 | 15182982 | 12126133 |      856  36937 |        0 |        0
1228.96/1229.45	c 1229s |      27 | 15203904 | 12143533 |      856  36977 |        0 |        0
1230.96/1231.46	c 1231s |      27 | 15225089 | 12160833 |      856  37016 |        0 |        0
1232.96/1233.47	c 1233s |      27 | 15246201 | 12178233 |      856  37056 |        0 |        0
1234.97/1235.47	c 1235s |      27 | 15269573 | 12196633 |      856  37098 |        0 |        0
1236.96/1237.48	c 1237s |      27 | 15295518 | 12215933 |      856  37143 |        0 |        0
1238.96/1239.49	c 1239s |      27 | 15319272 | 12234433 |      856  37185 |        0 |        0
1240.96/1241.49	c 1241s |      27 | 15341992 | 12252933 |      856  37227 |        0 |        0
1243.06/1243.50	c 1243s |      27 | 15362754 | 12270033 |      856  37267 |        0 |        0
1245.06/1245.51	c 1245s |      27 | 15382336 | 12287033 |      856  37306 |        0 |        0
1247.06/1247.51	c 1247s |      27 | 15405525 | 12305233 |      856  37347 |        0 |        0
1249.05/1249.52	c 1249s |      27 | 15426616 | 12322433 |      856  37387 |        0 |        0
1251.05/1251.53	c 1251s |      27 | 15447016 | 12339033 |      856  37425 |        0 |        0
1253.05/1253.53	c 1253s |      27 | 15467926 | 12355933 |      856  37463 |        0 |        0
1255.05/1255.54	c 1255s |      27 | 15486490 | 12371933 |      856  37500 |        0 |        0
1257.05/1257.55	c 1257s |      27 | 15508060 | 12389233 |      856  37540 |        0 |        0
1259.07/1259.56	c 1259s |      27 | 15529432 | 12406233 |      856  37578 |        0 |        0
1261.06/1261.56	c 1261s |      27 | 15552190 | 12423933 |      856  37619 |        0 |        0
1263.06/1263.56	c 1263s |      27 | 15571676 | 12440333 |      856  37656 |        0 |        0
1265.06/1265.56	c 1265s |      27 | 15591453 | 12457133 |      856  37695 |        0 |        0
1267.06/1267.57	c 1267s |      27 | 15613359 | 12474633 |      856  37735 |        0 |        0
1269.06/1269.57	c 1269s |      27 | 15633886 | 12491433 |      856  37773 |        0 |        0
1271.05/1271.57	c 1271s |      27 | 15654635 | 12508733 |      856  37813 |        0 |        0
1273.05/1273.57	c 1273s |      27 | 15678874 | 12526733 |      856  37854 |        0 |        0
1275.05/1275.57	c 1275s |      27 | 15698569 | 12543133 |      856  37891 |        0 |        0
1277.05/1277.58	c 1277s |      27 | 15716639 | 12558933 |      856  37927 |        0 |        0
1279.05/1279.58	c 1279s |      27 | 15736303 | 12575733 |      856  37965 |        0 |        0
1281.06/1281.59	c 1281s |      27 | 15759458 | 12593733 |      856  38007 |        0 |        0
1283.05/1283.59	c 1283s |      27 | 15778505 | 12609833 |      856  38043 |        0 |        0
1285.05/1285.59	c 1285s |      27 | 15799805 | 12626733 |      856  38082 |        0 |        0
1287.05/1287.59	c 1287s |      27 | 15821648 | 12644433 |      856  38123 |        0 |        0
1289.15/1289.60	c 1289s |      27 | 15843904 | 12662333 |      856  38164 |        0 |        0
1291.15/1291.60	c 1291s |      27 | 15868227 | 12680933 |      856  38206 |        0 |        0
1293.15/1293.61	c 1293s |      27 | 15890091 | 12698933 |      856  38248 |        0 |        0
1295.15/1295.61	c 1295s |      27 | 15911758 | 12716533 |      856  38288 |        0 |        0
1297.15/1297.62	c 1297s |      27 | 15933352 | 12734333 |      856  38329 |        0 |        0
1299.14/1299.62	c 1299s |      27 | 15954866 | 12752133 |      856  38370 |        0 |        0
1301.14/1301.63	c 1301s |      27 | 15975985 | 12769633 |      856  38410 |        0 |        0
1303.16/1303.63	c 1303s |      27 | 15998056 | 12787633 |      856  38451 |        0 |        0
1305.15/1305.64	c 1305s |      27 | 16020935 | 12806033 |      856  38493 |        0 |        0
1307.15/1307.64	c 1307s |      27 | 16044185 | 12824133 |      856  38535 |        0 |        0
1309.15/1309.66	c 1309s |      27 | 16068491 | 12842833 |      856  38578 |        0 |        0
1311.15/1311.66	c 1311s |      27 | 16089665 | 12860533 |      856  38619 |        0 |        0
1313.15/1313.66	c 1313s |      27 | 16113403 | 12879433 |      856  38662 |        0 |        0
1315.16/1315.67	c 1315s |      27 | 16136169 | 12898033 |      856  38705 |        0 |        0
1317.15/1317.68	c 1317s |      27 | 16160092 | 12916533 |      856  38747 |        0 |        0
1319.15/1319.68	c 1319s |      27 | 16183088 | 12934733 |      856  38789 |        0 |        0
1321.15/1321.69	c 1321s |      27 | 16204324 | 12952133 |      856  38829 |        0 |        0
1323.14/1323.69	c 1323s |      27 | 16227122 | 12970233 |      856  38870 |        0 |        0
1325.24/1325.70	c 1325s |      27 | 16250258 | 12988433 |      856  38912 |        0 |        0
1327.25/1327.71	c 1327s |      27 | 16272942 | 13006233 |      856  38953 |        0 |        0
1329.24/1329.72	c 1329s |      27 | 16297660 | 13024833 |      856  38995 |        0 |        0
1331.24/1331.72	c 1331s |      27 | 16320180 | 13042833 |      856  39036 |        0 |        0
1333.24/1333.73	c 1333s |      27 | 16342381 | 13060633 |      856  39077 |        0 |        0
1335.24/1335.73	c 1335s |      27 | 16365045 | 13078633 |      856  39118 |        0 |        0
1337.24/1337.74	c 1337s |      27 | 16387199 | 13096133 |      856  39158 |        0 |        0
1339.25/1339.75	c 1339s |      27 | 16405966 | 13112333 |      856  39195 |        0 |        0
1341.24/1341.76	c 1341s |      27 | 16424405 | 13128033 |      856  39231 |        0 |        0
1343.24/1343.76	c 1343s |      27 | 16447503 | 13145833 |      856  39272 |        0 |        0
1345.24/1345.77	c 1345s |      27 | 16467322 | 13162233 |      856  39309 |        0 |        0
1347.24/1347.78	c 1347s |      27 | 16485619 | 13177933 |      856  39345 |        0 |        0
1349.25/1349.78	c 1349s |      27 | 16503652 | 13193733 |      856  39381 |        0 |        0
1351.24/1351.79	c 1351s |      27 | 16524869 | 13211133 |      856  39421 |        0 |        0
1353.24/1353.79	c 1353s |      27 | 16548266 | 13229733 |      856  39464 |        0 |        0
1355.34/1355.80	c 1355s |      27 | 16571429 | 13247933 |      856  39506 |        0 |        0
1357.34/1357.81	c 1357s |      27 | 16593658 | 13265733 |      856  39546 |        0 |        0
1359.34/1359.82	c 1359s |      27 | 16616403 | 13283933 |      856  39588 |        0 |        0
1361.34/1361.82	c 1361s |      27 | 16641769 | 13302833 |      856  39631 |        0 |        0
1363.33/1363.83	c 1363s |      27 | 16662732 | 13320033 |      856  39671 |        0 |        0
1365.33/1365.83	c 1365s |      27 | 16684777 | 13337433 |      856  39711 |        0 |        0
1367.33/1367.84	c 1367s |      27 | 16707898 | 13355233 |      856  39751 |        0 |        0
1369.33/1369.84	c 1369s |      27 | 16727944 | 13371933 |      856  39789 |        0 |        0
1371.34/1371.85	c 1371s |      27 | 16748584 | 13389233 |      856  39829 |        0 |        0
1373.33/1373.85	c 1373s |      27 | 16768698 | 13406233 |      856  39867 |        0 |        0
1375.33/1375.86	c 1375s |      27 | 16790004 | 13423433 |      856  39907 |        0 |        0
1377.33/1377.86	c 1377s |      27 | 16811306 | 13440433 |      856  39945 |        0 |        0
1379.33/1379.86	c 1379s |      27 | 16831483 | 13457133 |      856  39983 |        0 |        0
1381.33/1381.87	c 1381s |      27 | 16853180 | 13474633 |      856  40023 |        0 |        0
1383.35/1383.88	c 1383s |      27 | 16873005 | 13491233 |      856  40061 |        0 |        0
1385.34/1385.88	c 1385s |      27 | 16895199 | 13509033 |      856  40102 |        0 |        0
1387.34/1387.89	c 1387s |      27 | 16916760 | 13526333 |      856  40141 |        0 |        0
1389.34/1389.89	c 1389s |      27 | 16938645 | 13543933 |      856  40181 |        0 |        0
1391.44/1391.90	c 1391s |      27 | 16960258 | 13561033 |      856  40220 |        0 |        0
1393.44/1393.91	c 1393s |      27 | 16982450 | 13578633 |      856  40260 |        0 |        0
1395.44/1395.92	c 1395s |      27 | 17004505 | 13596133 |      856  40300 |        0 |        0
1397.44/1397.92	c 1397s |      27 | 17026596 | 13613333 |      856  40339 |        0 |        0
1399.44/1399.93	c 1399s |      27 | 17049039 | 13631033 |      856  40380 |        0 |        0
1401.44/1401.93	c 1401s |      27 | 17070786 | 13648333 |      856  40419 |        0 |        0
1403.43/1403.93	c 1403s |      27 | 17090669 | 13665033 |      856  40457 |        0 |        0
1405.44/1405.93	c 1405s |      27 | 17112505 | 13682333 |      856  40497 |        0 |        0
1407.43/1407.94	c 1407s |      27 | 17131985 | 13699233 |      856  40535 |        0 |        0
1409.43/1409.95	c 1409s |      27 | 17151465 | 13715833 |      856  40573 |        0 |        0
1411.43/1411.95	c 1411s |      27 | 17173788 | 13733533 |      856  40614 |        0 |        0
1413.43/1413.95	c 1413s |      27 | 17195455 | 13750833 |      856  40653 |        0 |        0
1415.43/1415.96	c 1415s |      27 | 17217219 | 13768533 |      856  40694 |        0 |        0
1417.44/1417.96	c 1417s |      27 | 17237140 | 13785133 |      856  40732 |        0 |        0
1419.43/1419.97	c 1419s |      27 | 17256695 | 13801633 |      856  40770 |        0 |        0
1421.43/1421.97	c 1421s |      27 | 17275729 | 13818033 |      856  40807 |        0 |        0
1423.43/1423.98	c 1423s |      27 | 17296054 | 13835033 |      856  40846 |        0 |        0
1425.43/1425.99	c 1425s |      27 | 17316976 | 13852233 |      856  40885 |        0 |        0
1427.43/1427.99	c 1427s |      27 | 17338004 | 13869533 |      856  40924 |        0 |        0
1429.42/1429.99	c 1429s |      27 | 17358979 | 13886733 |      856  40964 |        0 |        0
1431.52/1432.00	c 1431s |      27 | 17378795 | 13903133 |      856  41001 |        0 |        0
1433.52/1434.01	c 1433s |      27 | 17400211 | 13919933 |      856  41040 |        0 |        0
1435.53/1436.02	c 1436s |      27 | 17421691 | 13937233 |      856  41079 |        0 |        0
1437.53/1438.02	c 1438s |      27 | 17442311 | 13954033 |      856  41118 |        0 |        0
1439.54/1440.03	c 1440s |      27 | 17463364 | 13971133 |      856  41157 |        0 |        0
1441.53/1442.03	c 1442s |      27 | 17483868 | 13988233 |      856  41196 |        0 |        0
1443.53/1444.04	c 1444s |      27 | 17504153 | 14005133 |      856  41235 |        0 |        0
1445.53/1446.04	c 1446s |      27 | 17525924 | 14022533 |      856  41274 |        0 |        0
1447.53/1448.05	c 1448s |      27 | 17547936 | 14040633 |      856  41316 |        0 |        0
1449.52/1450.06	c 1450s |      27 | 17568794 | 14057933 |      856  41356 |        0 |        0
1451.53/1452.06	c 1452s |      27 | 17588926 | 14074833 |      856  41394 |        0 |        0
1453.52/1454.07	c 1454s |      27 | 17609533 | 14092433 |      856  41435 |        0 |        0
1455.52/1456.08	c 1456s |      27 | 17630226 | 14109833 |      856  41475 |        0 |        0
1457.52/1458.08	c 1458s |      27 | 17650682 | 14126833 |      856  41514 |        0 |        0
1459.52/1460.09	c 1460s |      27 | 17671997 | 14143933 |      856  41553 |        0 |        0
1461.62/1462.10	c 1462s |      27 | 17693546 | 14161433 |      856  41593 |        0 |        0
1463.63/1464.11	c 1464s |      27 | 17713893 | 14178433 |      856  41632 |        0 |        0
1465.62/1466.11	c 1466s |      27 | 17733646 | 14195233 |      856  41670 |        0 |        0
1467.62/1468.12	c 1468s |      27 | 17755910 | 14213233 |      856  41712 |        0 |        0
1469.62/1470.12	c 1470s |      27 | 17777806 | 14230633 |      856  41752 |        0 |        0
1471.62/1472.13	c 1472s |      27 | 17798657 | 14247833 |      856  41791 |        0 |        0
1473.62/1474.14	c 1474s |      27 | 17819736 | 14265333 |      856  41831 |        0 |        0
1475.62/1476.14	c 1476s |      27 | 17840780 | 14282933 |      856  41871 |        0 |        0
1477.63/1478.15	c 1478s |      27 | 17861751 | 14300133 |      856  41911 |        0 |        0
1479.63/1480.15	c 1480s |      27 | 17882053 | 14316933 |      856  41950 |        0 |        0
1481.62/1482.16	c 1482s |      27 | 17905640 | 14335133 |      856  41992 |        0 |        0
1483.62/1484.17	c 1484s |      27 | 17929472 | 14353033 |      856  42032 |        0 |        0
1485.63/1486.18	c 1486s |      27 | 17951369 | 14370133 |      856  42071 |        0 |        0
1487.62/1488.18	c 1488s |      27 | 17973857 | 14387433 |      856  42111 |        0 |        0
1489.62/1490.18	c 1490s |      27 | 17993991 | 14404033 |      856  42149 |        0 |        0
1491.62/1492.18	c 1492s |      27 | 18015883 | 14421233 |      856  42188 |        0 |        0
1493.62/1494.18	c 1494s |      27 | 18036894 | 14437933 |      856  42226 |        0 |        0
1495.63/1496.19	c 1496s |      27 | 18056434 | 14454133 |      856  42263 |        0 |        0
1497.62/1498.19	c 1498s |      27 | 18078377 | 14471633 |      856  42303 |        0 |        0
1499.72/1500.20	c 1500s |      27 | 18100143 | 14488933 |      856  42342 |        0 |        0
1501.72/1502.21	c 1502s |      27 | 18120972 | 14505733 |      856  42381 |        0 |        0
1503.72/1504.22	c 1504s |      27 | 18141781 | 14522833 |      856  42420 |        0 |        0
1505.72/1506.22	c 1506s |      27 | 18162757 | 14539833 |      856  42459 |        0 |        0
1507.72/1508.23	c 1508s |      27 | 18183554 | 14556833 |      856  42497 |        0 |        0
1509.72/1510.24	c 1510s |      27 | 18204193 | 14573633 |      856  42536 |        0 |        0
1511.72/1512.25	c 1512s |      27 | 18228032 | 14592233 |      856  42578 |        0 |        0
1513.72/1514.26	c 1514s |      27 | 18254239 | 14611833 |      856  42623 |        0 |        0
1515.72/1516.26	c 1516s |      27 | 18275309 | 14629433 |      856  42663 |        0 |        0
1517.72/1518.27	c 1518s |      27 | 18298870 | 14648133 |      856  42706 |        0 |        0
1519.72/1520.27	c 1520s |      27 | 18321554 | 14666233 |      856  42747 |        0 |        0
1521.71/1522.27	c 1522s |      27 | 18342088 | 14683033 |      856  42785 |        0 |        0
1523.71/1524.27	c 1524s |      27 | 18366612 | 14701733 |      856  42828 |        0 |        0
1525.71/1526.28	c 1526s |      27 | 18390612 | 14720533 |      856  42871 |        0 |        0
1527.71/1528.28	c 1528s |      27 | 18413724 | 14738533 |      856  42913 |        0 |        0
1529.72/1530.29	c 1530s |      27 | 18438376 | 14757533 |      856  42956 |        0 |        0
1531.72/1532.29	c 1532s |      27 | 18462975 | 14776133 |      856  42999 |        0 |        0
1533.72/1534.30	c 1534s |      27 | 18485956 | 14794333 |      856  43040 |        0 |        0
1535.82/1536.30	c 1536s |      27 | 18508047 | 14812233 |      856  43081 |        0 |        0
1537.82/1538.30	c 1538s |      27 | 18529275 | 14829333 |      856  43120 |        0 |        0
1539.82/1540.30	c 1540s |      27 | 18550617 | 14846333 |      856  43159 |        0 |        0
1541.82/1542.31	c 1542s |      27 | 18569761 | 14862433 |      856  43196 |        0 |        0
1543.82/1544.31	c 1544s |      27 | 18591340 | 14879833 |      856  43235 |        0 |        0
1545.82/1546.32	c 1546s |      27 | 18611942 | 14896933 |      856  43274 |        0 |        0
1547.81/1548.33	c 1548s |      27 | 18633261 | 14914233 |      856  43314 |        0 |        0
1549.81/1550.33	c 1550s |      27 | 18655568 | 14931933 |      856  43354 |        0 |        0
1551.82/1552.34	c 1552s |      27 | 18677915 | 14949433 |      856  43394 |        0 |        0
1553.82/1554.35	c 1554s |      27 | 18700012 | 14966733 |      856  43434 |        0 |        0
1555.81/1556.36	c 1556s |      27 | 18723936 | 14984933 |      856  43475 |        0 |        0
1557.81/1558.36	c 1558s |      27 | 18744509 | 15002033 |      856  43514 |        0 |        0
1559.81/1560.36	c 1560s |      27 | 18764470 | 15018433 |      856  43552 |        0 |        0
1561.81/1562.37	c 1562s |      27 | 18782871 | 15034033 |      856  43588 |        0 |        0
1563.82/1564.37	c 1564s |      27 | 18801644 | 15050033 |      856  43624 |        0 |        0
1565.81/1566.38	c 1566s |      27 | 18822337 | 15067033 |      856  43663 |        0 |        0
1567.81/1568.39	c 1568s |      27 | 18843857 | 15084233 |      856  43702 |        0 |        0
1569.81/1570.39	c 1570s |      27 | 18868452 | 15103033 |      856  43745 |        0 |        0
1571.81/1572.39	c 1572s |      27 | 18893803 | 15121933 |      856  43788 |        0 |        0
1573.90/1574.40	c 1574s |      27 | 18919505 | 15140933 |      856  43832 |        0 |        0
1575.81/1576.40	c 1576s |      27 | 18941747 | 15158833 |      856  43872 |        0 |        0
1577.90/1578.40	c 1578s |      27 | 18967284 | 15177833 |      856  43916 |        0 |        0
1579.90/1580.41	c 1580s |      27 | 18990015 | 15195433 |      856  43956 |        0 |        0
1581.90/1582.41	c 1582s |      27 | 19013683 | 15213433 |      856  43997 |        0 |        0
1583.90/1584.42	c 1584s |      27 | 19034941 | 15230533 |      856  44036 |        0 |        0
1585.90/1586.42	c 1586s |      27 | 19055766 | 15247433 |      856  44075 |        0 |        0
1587.91/1588.43	c 1588s |      27 | 19075931 | 15264333 |      856  44113 |        0 |        0
1589.91/1590.44	c 1590s |      27 | 19095425 | 15280733 |      856  44151 |        0 |        0
1591.91/1592.45	c 1592s |      27 | 19117051 | 15298333 |      856  44191 |        0 |        0
1593.91/1594.45	c 1594s |      27 | 19138183 | 15315333 |      856  44229 |        0 |        0
1595.91/1596.46	c 1596s |      27 | 19158999 | 15332533 |      856  44269 |        0 |        0
1597.91/1598.47	c 1598s |      27 | 19180597 | 15349933 |      856  44309 |        0 |        0
1599.90/1600.48	c 1600s |      27 | 19202023 | 15367333 |      856  44349 |        0 |        0
1601.90/1602.48	c 1602s |      27 | 19225737 | 15385633 |      856  44391 |        0 |        0
1603.90/1604.48	c 1604s |      27 | 19248703 | 15403433 |      856  44431 |        0 |        0
1605.90/1606.49	c 1606s |      27 | 19269895 | 15420433 |      856  44470 |        0 |        0
1607.90/1608.49	c 1608s |      27 | 19289290 | 15436833 |      856  44507 |        0 |        0
1609.91/1610.49	c 1610s |      27 | 19311225 | 15454633 |      856  44548 |        0 |        0
1612.00/1612.50	c 1612s |      27 | 19334989 | 15473133 |      856  44590 |        0 |        0
1614.00/1614.50	c 1614s |      27 | 19358849 | 15491633 |      856  44632 |        0 |        0
1616.00/1616.52	c 1616s |      27 | 19379502 | 15508633 |      856  44671 |        0 |        0
1618.00/1618.52	c 1618s |      27 | 19399785 | 15524933 |      856  44709 |        0 |        0
1620.00/1620.53	c 1620s |      27 | 19421491 | 15542333 |      856  44748 |        0 |        0
1622.00/1622.54	c 1622s |      27 | 19441915 | 15559333 |      856  44787 |        0 |        0
1624.00/1624.54	c 1624s |      27 | 19462625 | 15576033 |      856  44825 |        0 |        0
1625.99/1626.55	c 1626s |      27 | 19482942 | 15592433 |      856  44863 |        0 |        0
1627.99/1628.56	c 1628s |      27 | 19502821 | 15608933 |      856  44901 |        0 |        0
1630.00/1630.56	c 1630s |      27 | 19524194 | 15625833 |      856  44939 |        0 |        0
1632.01/1632.57	c 1632s |      27 | 19548425 | 15644133 |      856  44981 |        0 |        0
1634.00/1634.58	c 1634s |      27 | 19569263 | 15661033 |      856  45020 |        0 |        0
1636.00/1636.58	c 1636s |      27 | 19589440 | 15677633 |      856  45058 |        0 |        0
1638.00/1638.59	c 1638s |      27 | 19611729 | 15695033 |      856  45097 |        0 |        0
1640.10/1640.60	c 1640s |      27 | 19634021 | 15712633 |      856  45138 |        0 |        0
1642.10/1642.60	c 1642s |      27 | 19654309 | 15729333 |      856  45176 |        0 |        0
1644.01/1644.60	c 1644s |      27 | 19677338 | 15747333 |      856  45217 |        0 |        0
1646.10/1646.60	c 1646s |      27 | 19700598 | 15765433 |      856  45259 |        0 |        0
1648.10/1648.60	c 1648s |      27 | 19721397 | 15782533 |      856  45298 |        0 |        0
1650.10/1650.61	c 1650s |      27 | 19741462 | 15799433 |      856  45337 |        0 |        0
1652.09/1652.62	c 1652s |      27 | 19761453 | 15816133 |      856  45375 |        0 |        0
1654.09/1654.63	c 1654s |      27 | 19781681 | 15833033 |      856  45414 |        0 |        0
1656.10/1656.64	c 1656s |      27 | 19800914 | 15849333 |      856  45451 |        0 |        0
1658.09/1658.65	c 1658s |      27 | 19821724 | 15866533 |      856  45490 |        0 |        0
1660.09/1660.65	c 1660s |      27 | 19843061 | 15884133 |      856  45531 |        0 |        0
1662.09/1662.65	c 1662s |      27 | 19864475 | 15901533 |      856  45570 |        0 |        0
1664.09/1664.66	c 1664s |      27 | 19884238 | 15918333 |      856  45609 |        0 |        0
1666.10/1666.66	c 1666s |      27 | 19902795 | 15934333 |      856  45646 |        0 |        0
1668.09/1668.67	c 1668s |      27 | 19922000 | 15950633 |      856  45683 |        0 |        0
1670.09/1670.68	c 1670s |      27 | 19943891 | 15968233 |      856  45723 |        0 |        0
1672.09/1672.68	c 1672s |      27 | 19963226 | 15984433 |      856  45760 |        0 |        0
1674.09/1674.69	c 1674s |      27 | 19985151 | 16002133 |      856  45801 |        0 |        0
1676.09/1676.70	c 1676s |      27 | 20005663 | 16018833 |      856  45840 |        0 |        0
1678.19/1678.70	c 1678s |      27 | 20026928 | 16036333 |      856  45880 |        0 |        0
1680.19/1680.71	c 1680s |      27 | 20048458 | 16054033 |      856  45920 |        0 |        0
1682.19/1682.72	c 1682s |      27 | 20068971 | 16071033 |      856  45960 |        0 |        0
1684.19/1684.73	c 1684s |      27 | 20089243 | 16087633 |      856  45998 |        0 |        0
1686.19/1686.73	c 1686s |      27 | 20110641 | 16104833 |      856  46037 |        0 |        0
1688.19/1688.74	c 1688s |      27 | 20131490 | 16122033 |      856  46076 |        0 |        0
1690.20/1690.75	c 1690s |      27 | 20150192 | 16138033 |      856  46113 |        0 |        0
1692.19/1692.75	c 1692s |      27 | 20171490 | 16155233 |      856  46152 |        0 |        0
1694.19/1694.76	c 1694s |      27 | 20192760 | 16172233 |      856  46191 |        0 |        0
1696.19/1696.77	c 1696s |      27 | 20214226 | 16189233 |      856  46230 |        0 |        0
1698.19/1698.77	c 1698s |      27 | 20233837 | 16205633 |      856  46268 |        0 |        0
1700.20/1700.78	c 1700s |      27 | 20254881 | 16222433 |      856  46307 |        0 |        0
1702.19/1702.78	c 1702s |      27 | 20276260 | 16239733 |      856  46346 |        0 |        0
1704.19/1704.79	c 1704s |      27 | 20296062 | 16256433 |      856  46384 |        0 |        0
1706.19/1706.79	c 1706s |      27 | 20314636 | 16272333 |      856  46420 |        0 |        0
1708.29/1708.80	c 1708s |      27 | 20333799 | 16288533 |      856  46458 |        0 |        0
1710.28/1710.80	c 1710s |      27 | 20354557 | 16305733 |      856  46497 |        0 |        0
1712.29/1712.80	c 1712s |      27 | 20377471 | 16323633 |      856  46538 |        0 |        0
1714.28/1714.81	c 1714s |      27 | 20397978 | 16340833 |      856  46578 |        0 |        0
1716.28/1716.81	c 1716s |      27 | 20419756 | 16358333 |      856  46618 |        0 |        0
1718.28/1718.81	c 1718s |      27 | 20443796 | 16376933 |      856  46661 |        0 |        0
1720.28/1720.82	c 1720s |      27 | 20466884 | 16395133 |      856  46703 |        0 |        0
1722.28/1722.83	c 1722s |      27 | 20486875 | 16411833 |      856  46741 |        0 |        0
1724.29/1724.84	c 1724s |      27 | 20508503 | 16429433 |      856  46781 |        0 |        0
1726.28/1726.85	c 1726s |      27 | 20528134 | 16445733 |      856  46819 |        0 |        0
1728.28/1728.86	c 1728s |      27 | 20545841 | 16461033 |      856  46854 |        0 |        0
1730.28/1730.87	c 1730s |      27 | 20568774 | 16478733 |      856  46894 |        0 |        0
1732.28/1732.87	c 1732s |      27 | 20590925 | 16496733 |      856  46935 |        0 |        0
1734.29/1734.88	c 1734s |      27 | 20613357 | 16514733 |      856  46977 |        0 |        0
1736.28/1736.88	c 1736s |      27 | 20636108 | 16532733 |      856  47018 |        0 |        0
1738.28/1738.89	c 1738s |      27 | 20658713 | 16550833 |      856  47060 |        0 |        0
1740.28/1740.89	c 1740s |      27 | 20680181 | 16568033 |      856  47099 |        0 |        0
1742.28/1742.89	c 1742s |      27 | 20699171 | 16583933 |      856  47136 |        0 |        0
1744.38/1744.90	c 1744s |      27 | 20719532 | 16601133 |      856  47175 |        0 |        0
1746.39/1746.91	c 1746s |      27 | 20740432 | 16618333 |      856  47214 |        0 |        0
1748.38/1748.92	c 1748s |      27 | 20761634 | 16635633 |      856  47254 |        0 |        0
1750.38/1750.92	c 1750s |      27 | 20782217 | 16652233 |      856  47292 |        0 |        0
1752.38/1752.93	c 1752s |      27 | 20801599 | 16667833 |      856  47327 |        0 |        0
1754.38/1754.93	c 1754s |      27 | 20821054 | 16683933 |      856  47364 |        0 |        0
1756.38/1756.94	c 1756s |      27 | 20841851 | 16701033 |      856  47403 |        0 |        0
1758.39/1758.94	c 1758s |      27 | 20861786 | 16717733 |      856  47441 |        0 |        0
1760.38/1760.94	c 1760s |      27 | 20882163 | 16734433 |      856  47479 |        0 |        0
1762.38/1762.95	c 1762s |      27 | 20902359 | 16751233 |      856  47518 |        0 |        0
1764.38/1764.96	c 1764s |      27 | 20922020 | 16767933 |      856  47556 |        0 |        0
1766.38/1766.96	c 1766s |      27 | 20943717 | 16785533 |      856  47597 |        0 |        0
1768.39/1768.97	c 1768s |      27 | 20962982 | 16801633 |      856  47634 |        0 |        0
1770.38/1770.97	c 1770s |      27 | 20983827 | 16818733 |      856  47673 |        0 |        0
1772.38/1772.98	c 1772s |      27 | 21006147 | 16836333 |      856  47714 |        0 |        0
1774.38/1774.98	c 1774s |      27 | 21026643 | 16853333 |      856  47753 |        0 |        0
1776.38/1776.99	c 1776s |      27 | 21047718 | 16870333 |      856  47792 |        0 |        0
1778.47/1779.01	c 1778s |      27 | 21068980 | 16887133 |      856  47831 |        0 |        0
1780.48/1781.01	c 1780s |      27 | 21086385 | 16902133 |      856  47865 |        0 |        0
1782.47/1783.01	c 1783s |      27 | 21109144 | 16919233 |      856  47904 |        0 |        0
1784.47/1785.02	c 1785s |      27 | 21130405 | 16936033 |      856  47943 |        0 |        0
1786.47/1787.02	c 1787s |      27 | 21151908 | 16953233 |      856  47982 |        0 |        0
1788.47/1789.03	c 1789s |      27 | 21172830 | 16969933 |      856  48021 |        0 |        0
1790.47/1791.03	c 1791s |      27 | 21193397 | 16986333 |      942  48055 |        0 |        0
1792.48/1793.04	c 1793s |      27 | 21212945 | 17002533 |      942  48089 |        0 |        0
1794.47/1795.04	c 1795s |      27 | 21233148 | 17019233 |      942  48124 |        0 |        0
1796.47/1797.05	c 1797s |      27 | 21254818 | 17036433 |      942  48160 |        0 |        0
1798.47/1799.06	c 1799s |      27 | 21273766 | 17052433 |      942  48193 |        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-4096183-1466103587/watcher-4096183-1466103587 -o /tmp/evaluation-result-4096183-1466103587/solver-4096183-1466103587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096183-1466103587.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.08 2.06 3/179 29307
/proc/meminfo: memFree=30361452/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=650684 CPUtime=0 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 2416 0 0 0 0 0 0 0 20 0 4 0 12404183 666300416 2777 33554432000 4194304 16246674 140736393713776 140736393713200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 163439 2786 441 2943 0 160333 0
[pid=29307/tid=29308] ppid=29304 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 685174784 2846 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 689369088 2862 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12404183 693563392 2880 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.05 2.08 2.06 3/179 29307
/proc/meminfo: memFree=30361452/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 24655 0 0 0 6 3 0 0 20 0 4 0 12404183 1247350784 25004 33554432000 4194304 16246674 140736393713776 140736393713200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 304529 25014 708 2943 0 301423 0
[pid=29307/tid=29308] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 25020 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 25026 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 25031 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200489 s]
/proc/loadavg: 2.05 2.08 2.06 3/179 29307
/proc/meminfo: memFree=30361452/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 47926 0 0 0 12 7 0 0 20 0 4 0 12404183 1247350784 48276 33554432000 4194304 16246674 140736393713776 140736393713200 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 304529 48290 708 2943 0 301423 0
[pid=29307/tid=29308] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 48297 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 48304 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 48309 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300504 s]
/proc/loadavg: 2.05 2.08 2.06 3/179 29307
/proc/meminfo: memFree=30361452/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 70805 0 0 0 19 10 0 0 20 0 4 0 12404183 1247350784 71155 33554432000 4194304 16246674 140736393713776 140736393713200 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 304529 71168 708 2943 0 301423 0
[pid=29307/tid=29308] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 71176 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 71181 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 71190 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700358 s]
/proc/loadavg: 2.05 2.08 2.06 3/179 29307
/proc/meminfo: memFree=30361452/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 163914 0 0 0 46 23 0 0 20 0 4 0 12404183 1247350784 164263 33554432000 4194304 16246674 140736393713776 140736393713200 5707858 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 304529 164279 708 2943 0 301423 0
[pid=29307/tid=29308] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 164284 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 164292 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 164299 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.05 2.08 2.06 4/183 29311
/proc/meminfo: memFree=29378640/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 245468 0 0 0 115 34 0 0 20 0 4 0 12404183 1247350784 245797 33554432000 4194304 16246674 140736393713776 140736393713088 5829770 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 304529 245797 783 2943 0 301423 0
[pid=29307/tid=29308] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 245797 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 245797 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1247350784 245797 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 2.05 2.08 2.06 3/183 29311
/proc/meminfo: memFree=29290840/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267377 0 0 0 272 37 0 0 20 0 4 0 12404183 1337528320 267706 33554432000 4194304 16246674 140736393713776 140736393696776 5667689 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267706 783 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267706 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267706 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267706 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.04 2.08 2.06 3/183 29311
/proc/meminfo: memFree=29290896/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267392 0 0 0 592 37 0 0 20 0 4 0 12404183 1337528320 267721 33554432000 4194304 16246674 140736393713776 140736393696776 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267721 783 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267721 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267721 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267721 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.04 2.08 2.06 3/183 29311
/proc/meminfo: memFree=29290840/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267412 0 0 0 1232 37 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 140736393695680 5545704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267741 785 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.07 2.06 3/184 29314
/proc/meminfo: memFree=29291276/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267412 0 0 0 2512 37 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 140736393696776 5670536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267741 785 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267741 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.37 2.14 2.09 3/184 29314
/proc/meminfo: memFree=29290608/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267415 0 0 0 5070 38 0 0 20 0 4 0 12404183 1337528320 267744 33554432000 4194304 16246674 140736393713776 140736393696776 5673405 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267744 785 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267744 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267744 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267744 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.16 2.12 2.08 3/183 29338
/proc/meminfo: memFree=29289540/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267468 0 0 0 10189 39 0 0 20 0 4 0 12404183 1337528320 267797 33554432000 4194304 16246674 140736393713776 140736393696776 6862302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267797 786 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267797 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267797 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267797 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 1.01 1.12 1.48 2/173 29399
/proc/meminfo: memFree=30375160/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1301.84 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267894 0 0 0 130116 68 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 140736393696776 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267832 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/173 29401
/proc/meminfo: memFree=30375036/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1361.84 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267894 0 0 0 136114 70 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 140736393696776 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267832 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267832 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 1.05 1.09 1.42 2/173 29402
/proc/meminfo: memFree=30374912/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1421.83 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267898 0 0 0 142112 71 0 0 20 0 4 0 12404183 1337528320 267836 33554432000 4194304 16246674 140736393713776 140736393696776 6843314 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267836 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267836 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267836 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267836 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 1.10 1.09 1.40 2/173 29403
/proc/meminfo: memFree=30375160/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1481.82 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267899 0 0 0 148109 73 0 0 20 0 4 0 12404183 1337528320 267837 33554432000 4194304 16246674 140736393713776 140736393696776 5822275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267837 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267837 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267837 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267837 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 1.09 1.08 1.38 2/173 29404
/proc/meminfo: memFree=30374416/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1541.82 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267957 0 0 0 154108 74 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 140736393696776 13194090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267895 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 1.03 1.07 1.35 2/173 29405
/proc/meminfo: memFree=30374664/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1601.8 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267957 0 0 0 160105 75 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 140736393695680 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267895 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 1.13 1.08 1.34 2/173 29407
/proc/meminfo: memFree=30374416/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1661.79 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267957 0 0 0 166103 76 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 140736393696776 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267895 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 1.04 1.06 1.31 2/173 29408
/proc/meminfo: memFree=30374168/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1721.78 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267957 0 0 0 172101 77 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 140736393696776 13191590 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267895 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 1.09 1.07 1.30 2/173 29409
/proc/meminfo: memFree=30373920/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1306180 CPUtime=1781.77 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267957 0 0 0 178099 78 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 140736393696776 13198624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326545 267895 788 2943 0 323439 0
[pid=29307/tid=29308] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1337528320 267895 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.15 1.08 1.29 2/173 29409
/proc/meminfo: memFree=30374044/32872528 swapFree=496356/529060
[pid=29307] ppid=29304 vsize=1307204 CPUtime=1800.08 cores=1,3,5,7
/proc/29307/stat : 29307 (toysat) R 29304 29307 28709 0 -1 4202496 267980 0 0 0 179929 79 0 0 20 0 4 0 12404183 1338576896 267918 33554432000 4194304 16246674 140736393713776 140736393696776 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29307/statm: 326801 267918 788 2943 0 323695 0
[pid=29307/tid=29308] ppid=29304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29308/stat : 29308 (toysat) S 29304 29307 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12404183 1338576896 267918 33554432000 4194304 16246674 140736393713776 139896259849456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29307/tid=29309] ppid=29304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29309/stat : 29309 (toysat) S 29304 29307 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12404183 1338576896 267918 33554432000 4194304 16246674 140736393713776 139896249359600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29307/tid=29310] ppid=29304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29307/task/29310/stat : 29310 (toysat) S 29304 29307 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12404183 1338576896 267918 33554432000 4194304 16246674 140736393713776 139896238886064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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 29307 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.3
CPU system time (s): 0.790879
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.790879
maximum resident set size= 1071672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267980
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= 408
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6704 second user time and 15.9236 second system time

The end

Begin job on node141 at 2016-06-16 20:59:47
IDJOB=4096183
IDBENCH=107578
IDSOLVER=2542
FILE ID=node141/4096183-1466103587
RUNJOBID= node141-1466098167-28726
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096183-1466103587/watcher-4096183-1466103587 -o /tmp/evaluation-result-4096183-1466103587/solver-4096183-1466103587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28726 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096183-1466103587.opb

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

MD5SUM BENCH= be2173e9db18d2d2a17ba4023385c458
RANDOM SEED=1116517890

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:        30362072 kB
Buffers:           53112 kB
Cached:           152704 kB
SwapCached:         2880 kB
Active:          1192424 kB
Inactive:          84464 kB
Active(anon):    1071208 kB
Inactive(anon):     2156 kB
Active(file):     121216 kB
Inactive(file):    82308 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             33236 kB
Writeback:             0 kB
AnonPages:       1598448 kB
Mapped:            10260 kB
Shmem:                 0 kB
Slab:             570780 kB
SReclaimable:      14292 kB
SUnreclaim:       556488 kB
KernelStack:        1520 kB
PageTables:         7284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71712 MiB
End job on node141 at 2016-06-16 21:29:48