0.00/0.00	c 2016-06-15T18:56:58+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-4088623-1466009818.opb"]
0.00/0.01	c use --random-gen="2604561689 434865731 534986078 1888630898 3100773550 423819933 2096056001 1721898403 3011263810 129519179 351297596 1467659021 328721728 653068328 2489695249 2906581018 3983960070 3345322402 1288905804 840740979 1314511940 2215613134 553097441 733750883 963666862 2681228133 292449980 2623880712 111503587 3464211354 3064069154 3022050996 1913798179 2878823619 3535780172 3231812936 821287396 3794066094 1989232614 3616413713 153348967 1981599790 3765261536 570180930 2460103447 2870775063 1922411650 1150521994 887087524 1447080025 3200270637 2485409108 1918026514 1235860040 113457421 3132464391 2336620589 3906497045 1358042430 1066768665 3966912426 960012897 2052481848 3440382509 1795224141 2148220431 3885012707 4117758509 1635217314 2892660366 4208958207 1229968596 3150156992 3859986231 2737727995 2094066100 2307664682 3691346823 2429417594 715037765 1245725217 2054838057 66745155 1952634729 778769469 1004175797 2989313756 2693332536 143198612 2621951524 4262374 3606539361 4271533819 2130062609 1401394485 9070150 522938411 2440026844 3514217699 931144920 2369854773 1859040667 2786299714 548111359 1614793261 3569964512 4247109868 3105856408 956850073 3188448044 3101862712 2325907185 45110804 996433803 878599287 2823054148 2338446852 4029487092 2058195075 1357431407 944323901 2272342091 1728919375 3564233836 2092031956 3079998956 1350328930 3402515307 3415799955 2320831912 1715389690 1962588175 3599130536 1492621368 2614082230 3996141705 1945289906 3041751202 1611943731 3986668113 1932464865 665248203 3014216965 610288629 137156989 2885686002 2669210517 3812065823 2737309472 921022370 4077742426 143651640 3600381436 2394024626 3030728412 2360798203 4180181726 650500948 650145589 3907737845 1406460445 3005049276 1695597192 4038218508 453917925 2268030453 377455509 3710049227 400042419 396686425 114701962 210575651 3750022675 3721768792 111835218 3934847044 1447041479 3808981492 2242331388 3707166425 3954882433 1538723458 2311084220 135726181 3985292409 4191933503 937781101 353173244 694315357 3485289221 2374724956 1629181912 1215951162 3250308684 335068816 1388289232 1398755143 3847524467 1184492600 225179292 1049517717 2820505153 3427084616 2612746303 1402623221 647809198 2934963547 1898915382 4270111530 52352432 4009270681 1872657386 2612815349 2348082223 3924766564 3282189856 1083165501 456586606 3906578844 570356844 2980137911 573723887 808740509 453548206 3358316886 1171957843 3888472067 2669592195 524071995 3750651287 122418400 1412394950 4107800664 539459376 134461562 3254270405 3827936591 3326011210 2472701268 3842746480 3846652783 3482058024 2882482671 3658525256 1296004139 3216245065 2244219696 1311308220 2010127297 2191908896 2797264157 2848640310 1452491330 254906881 1363699817 3095208519 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1001
0.00/0.02	c #constraints 501
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      667      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      599 |      100 |      667      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |     1225 |      250 |      734      0 |        0 |        0
0.00/0.08	c  0.0s |       3 |     2082 |      475 |      808      0 |        0 |        0
0.08/0.11	c  0.1s |       4 |     2865 |      813 |      889      0 |        0 |        0
0.08/0.16	c  0.1s |       5 |     3935 |     1320 |      978      0 |        0 |        0
0.19/0.23	c  0.2s |       6 |     5189 |     2081 |     1184      1 |        0 |        0
0.28/0.35	c  0.3s |       7 |     7134 |     3223 |     1303      3 |        0 |        0
0.48/0.54	c  0.5s |       8 |     9392 |     4936 |     1434      5 |        0 |        0
0.78/0.85	c  0.8s |       9 |    13759 |     7506 |     1578      7 |        0 |        0
1.19/1.24	c  1.2s |      10 |    19491 |    11361 |     1736     11 |        0 |        0
1.79/1.88	c  1.8s |      11 |    26651 |    17144 |     1910     17 |        0 |        0
2.98/3.02	c  3.0s |      12 |    37903 |    25819 |     2101     23 |        0 |        0
4.48/4.53	c  4.5s |      13 |    54650 |    38832 |     2312     33 |        0 |        0
6.48/6.53	c  6.5s |      13 |    76389 |    54932 |     2312     44 |        0 |        0
6.78/6.87	c  6.8s |      14 |    81036 |    58352 |     2544     46 |        0 |        0
8.78/8.87	c  8.8s |      14 |   103545 |    73952 |     2544     56 |        0 |        0
10.58/10.64	c 10.6s |      15 |   121911 |    87632 |     2799     65 |        0 |        0
12.58/12.65	c 12.6s |      15 |   144199 |   103832 |     2799     75 |        0 |        0
14.58/14.66	c 14.6s |      15 |   166368 |   118632 |     2799     84 |        0 |        0
16.58/16.63	c 16.6s |      16 |   183093 |   131552 |     3079     91 |        0 |        0
18.58/18.64	c 18.6s |      16 |   206201 |   148052 |     3079    100 |        0 |        0
20.58/20.65	c 20.6s |      16 |   226462 |   163952 |     3079    109 |        0 |        0
22.59/22.66	c 22.6s |      16 |   245030 |   178452 |     3079    118 |        0 |        0
24.58/24.69	c 24.7s |      16 |   265064 |   194252 |     3079    127 |        0 |        0
25.08/25.14	c 25.1s |      17 |   268906 |   197432 |     3387    128 |        0 |        0
27.08/27.15	c 27.1s |      17 |   289264 |   212032 |     3387    135 |        0 |        0
29.09/29.16	c 29.1s |      17 |   308594 |   226132 |     3387    142 |        0 |        0
31.08/31.17	c 31.1s |      17 |   329842 |   241032 |     3387    150 |        0 |        0
33.08/33.17	c 33.1s |      17 |   350504 |   255832 |     3387    157 |        0 |        0
35.08/35.18	c 35.1s |      17 |   368893 |   269632 |     3387    164 |        0 |        0
37.07/37.19	c 37.2s |      17 |   388164 |   284232 |     3387    171 |        0 |        0
38.77/38.88	c 38.8s |      18 |   404244 |   296252 |     3726    176 |        0 |        0
40.77/40.88	c 40.8s |      18 |   421140 |   309452 |     3726    183 |        0 |        0
42.77/42.88	c 42.8s |      18 |   438715 |   323152 |     3726    190 |        0 |        0
44.77/44.89	c 44.9s |      18 |   459422 |   338452 |     3726    197 |        0 |        0
46.87/46.91	c 46.9s |      18 |   477828 |   351752 |     3726    204 |        0 |        0
48.88/48.92	c 48.9s |      18 |   493842 |   363952 |     3726    209 |        0 |        0
50.88/50.92	c 50.9s |      18 |   509187 |   375652 |     3726    214 |        0 |        0
52.88/52.93	c 52.9s |      18 |   525298 |   387952 |     3726    220 |        0 |        0
54.88/54.95	c 54.9s |      18 |   540745 |   399852 |     3726    226 |        0 |        0
56.88/56.95	c 56.9s |      18 |   557315 |   412552 |     3726    231 |        0 |        0
58.88/58.96	c 58.9s |      18 |   575769 |   426452 |     3726    238 |        0 |        0
60.88/60.97	c 60.9s |      18 |   594228 |   440052 |     3726    244 |        0 |        0
61.58/61.64	c 61.6s |      19 |   600092 |   444482 |     4099    246 |        0 |        0
63.58/63.65	c 63.6s |      19 |   615009 |   456182 |     4099    251 |        0 |        0
65.58/65.65	c 65.6s |      19 |   632305 |   469182 |     4099    257 |        0 |        0
67.58/67.66	c 67.6s |      19 |   651266 |   484382 |     4099    264 |        0 |        0
69.58/69.66	c 69.6s |      19 |   671906 |   500482 |     4099    271 |        0 |        0
71.58/71.67	c 71.6s |      19 |   691514 |   515482 |     4099    278 |        0 |        0
73.57/73.68	c 73.6s |      19 |   712271 |   529582 |     4099    284 |        0 |        0
75.57/75.68	c 75.6s |      19 |   733636 |   544282 |     4099    290 |        0 |        0
77.67/77.70	c 77.7s |      19 |   752506 |   558082 |     4099    296 |        0 |        0
79.68/79.71	c 79.7s |      19 |   770341 |   571082 |     4099    302 |        0 |        0
81.67/81.72	c 81.7s |      19 |   786604 |   583482 |     4099    307 |        0 |        0
83.67/83.73	c 83.7s |      19 |   808457 |   599082 |     4099    314 |        0 |        0
85.67/85.73	c 85.7s |      19 |   830917 |   615382 |     4099    321 |        0 |        0
87.67/87.75	c 87.7s |      19 |   847431 |   628582 |     4099    327 |        0 |        0
89.67/89.77	c 89.7s |      19 |   863346 |   640582 |     4099    332 |        0 |        0
91.67/91.77	c 91.7s |      19 |   878024 |   652282 |     4099    337 |        0 |        0
93.57/93.66	c 93.6s |      20 |   897965 |   666827 |     4509    343 |        0 |        0
95.57/95.66	c 95.6s |      20 |   921088 |   682427 |     4509    349 |        0 |        0
97.57/97.67	c 97.6s |      20 |   942817 |   697627 |     4509    355 |        0 |        0
99.57/99.67	c 99.6s |      20 |   967030 |   714327 |     4509    362 |        0 |        0
101.56/101.68	c  101s |      20 |   989354 |   730427 |     4509    368 |        0 |        0
103.56/103.69	c  103s |      20 |  1014030 |   748127 |     4509    375 |        0 |        0
105.67/105.70	c  105s |      20 |  1037002 |   764827 |     4509    382 |        0 |        0
107.67/107.70	c  107s |      20 |  1060198 |   781227 |     4509    388 |        0 |        0
109.67/109.72	c  109s |      20 |  1078972 |   795227 |     4509    394 |        0 |        0
111.68/111.73	c  111s |      20 |  1099959 |   810727 |     4509    400 |        0 |        0
113.67/113.75	c  113s |      20 |  1121911 |   827027 |     4509    406 |        0 |        0
115.67/115.76	c  115s |      20 |  1141843 |   842027 |     4509    412 |        0 |        0
117.67/117.77	c  117s |      20 |  1157105 |   854327 |     4509    417 |        0 |        0
119.67/119.77	c  119s |      20 |  1173126 |   866727 |     4509    422 |        0 |        0
121.67/121.77	c  121s |      20 |  1190906 |   880427 |     4509    427 |        0 |        0
123.67/123.78	c  123s |      20 |  1206074 |   892427 |     4509    432 |        0 |        0
125.67/125.79	c  125s |      20 |  1225969 |   907427 |     4509    438 |        0 |        0
127.77/127.80	c  127s |      20 |  1247219 |   923427 |     4509    444 |        0 |        0
129.77/129.81	c  129s |      20 |  1268769 |   939327 |     4509    451 |        0 |        0
131.77/131.82	c  131s |      20 |  1290595 |   955127 |     4509    457 |        0 |        0
133.76/133.82	c  133s |      20 |  1308813 |   969227 |     4509    463 |        0 |        0
135.77/135.82	c  135s |      20 |  1329725 |   985327 |     4509    469 |        0 |        0
137.76/137.84	c  137s |      20 |  1347644 |   999327 |     4960    474 |        0 |        0
137.86/137.97	c  137s |      21 |  1349001 |  1000345 |     4960    475 |        0 |        0
139.86/139.97	c  139s |      21 |  1367008 |  1013845 |     4960    480 |        0 |        0
141.86/141.98	c  141s |      21 |  1384784 |  1027045 |     4960    484 |        0 |        0
143.86/143.98	c  143s |      21 |  1398518 |  1037945 |     4960    488 |        0 |        0
145.96/146.00	c  145s |      21 |  1419256 |  1053645 |     4960    494 |        0 |        0
147.97/148.02	c  147s |      21 |  1437691 |  1067845 |     4960    500 |        0 |        0
149.96/150.04	c  150s |      21 |  1459496 |  1083845 |     4960    506 |        0 |        0
151.96/152.06	c  152s |      21 |  1482071 |  1101145 |     4960    512 |        0 |        0
153.96/154.06	c  154s |      21 |  1503002 |  1117045 |     4960    518 |        0 |        0
155.96/156.06	c  156s |      21 |  1520609 |  1130445 |     4960    523 |        0 |        0
157.96/158.06	c  158s |      21 |  1539700 |  1145245 |     4960    529 |        0 |        0
159.96/160.07	c  160s |      21 |  1560488 |  1160845 |     4960    534 |        0 |        0
161.95/162.09	c  162s |      21 |  1578996 |  1175045 |     4960    540 |        0 |        0
163.95/164.09	c  164s |      21 |  1598164 |  1189345 |     4960    545 |        0 |        0
165.96/166.09	c  166s |      21 |  1618130 |  1204845 |     4960    551 |        0 |        0
168.06/168.10	c  168s |      21 |  1640977 |  1221545 |     4960    557 |        0 |        0
170.06/170.10	c  170s |      21 |  1662470 |  1237245 |     4960    563 |        0 |        0
172.06/172.12	c  172s |      21 |  1680323 |  1250945 |     4960    568 |        0 |        0
174.06/174.13	c  174s |      21 |  1697873 |  1264545 |     4960    574 |        0 |        0
176.06/176.13	c  176s |      21 |  1717936 |  1279745 |     4960    579 |        0 |        0
178.06/178.15	c  178s |      21 |  1739791 |  1296345 |     4960    586 |        0 |        0
180.06/180.16	c  180s |      21 |  1761754 |  1312745 |     4960    592 |        0 |        0
182.06/182.17	c  182s |      21 |  1780566 |  1326945 |     4960    597 |        0 |        0
184.06/184.18	c  184s |      21 |  1804126 |  1344145 |     4960    603 |        0 |        0
186.05/186.19	c  186s |      21 |  1821824 |  1358045 |     4960    609 |        0 |        0
188.15/188.22	c  188s |      21 |  1838653 |  1371045 |     4960    614 |        0 |        0
190.15/190.22	c  190s |      21 |  1852339 |  1382045 |     4960    617 |        0 |        0
192.15/192.24	c  192s |      21 |  1865355 |  1392445 |     4960    621 |        0 |        0
194.16/194.24	c  194s |      21 |  1878949 |  1403045 |     4960    625 |        0 |        0
196.15/196.26	c  196s |      21 |  1898247 |  1416845 |     4960    630 |        0 |        0
198.15/198.26	c  198s |      21 |  1912933 |  1428145 |     4960    634 |        0 |        0
200.15/200.27	c  200s |      21 |  1933148 |  1442745 |     4960    639 |        0 |        0
202.15/202.28	c  202s |      21 |  1946499 |  1453145 |     4960    643 |        0 |        0
204.15/204.29	c  204s |      21 |  1964230 |  1466245 |     4960    648 |        0 |        0
206.25/206.30	c  206s |      21 |  1981894 |  1479745 |     4960    652 |        0 |        0
208.26/208.31	c  208s |      21 |  2000515 |  1493545 |     5456    657 |        0 |        0
209.25/209.39	c  209s |      22 |  2010241 |  1500622 |     5456    660 |        0 |        0
211.25/211.39	c  211s |      22 |  2026107 |  1512422 |     5456    663 |        0 |        0
213.35/213.41	c  213s |      22 |  2037803 |  1522322 |     5456    667 |        0 |        0
215.35/215.42	c  215s |      22 |  2049535 |  1532222 |     5456    670 |        0 |        0
217.35/217.43	c  217s |      22 |  2065971 |  1544122 |     5456    674 |        0 |        0
219.36/219.44	c  219s |      22 |  2080634 |  1555322 |     5456    678 |        0 |        0
221.35/221.45	c  221s |      22 |  2097150 |  1567822 |     5456    682 |        0 |        0
223.35/223.46	c  223s |      22 |  2110636 |  1578722 |     5456    685 |        0 |        0
225.35/225.46	c  225s |      22 |  2125203 |  1589722 |     5456    689 |        0 |        0
227.35/227.47	c  227s |      22 |  2138497 |  1599822 |     5456    692 |        0 |        0
229.35/229.48	c  229s |      22 |  2151788 |  1610522 |     5456    696 |        0 |        0
231.34/231.49	c  231s |      22 |  2162318 |  1619222 |     5456    698 |        0 |        0
233.44/233.51	c  233s |      22 |  2176581 |  1629722 |     5456    702 |        0 |        0
235.45/235.51	c  235s |      22 |  2194690 |  1643122 |     5456    706 |        0 |        0
237.45/237.52	c  237s |      22 |  2211092 |  1655222 |     5456    710 |        0 |        0
239.45/239.53	c  239s |      22 |  2229440 |  1669322 |     5456    715 |        0 |        0
241.46/241.55	c  241s |      22 |  2239434 |  1678022 |     5456    718 |        0 |        0
243.45/243.55	c  243s |      22 |  2250942 |  1687322 |     5456    721 |        0 |        0
245.45/245.57	c  245s |      22 |  2264385 |  1698122 |     5456    724 |        0 |        0
247.45/247.58	c  247s |      22 |  2278778 |  1709422 |     5456    728 |        0 |        0
249.55/249.60	c  249s |      22 |  2294795 |  1721722 |     5456    732 |        0 |        0
251.55/251.62	c  251s |      22 |  2309140 |  1732722 |     5456    736 |        0 |        0
253.55/253.62	c  253s |      22 |  2326273 |  1745622 |     5456    740 |        0 |        0
255.55/255.62	c  255s |      22 |  2338473 |  1755822 |     5456    743 |        0 |        0
257.54/257.65	c  257s |      22 |  2350582 |  1765722 |     5456    746 |        0 |        0
259.54/259.65	c  259s |      22 |  2362621 |  1775322 |     5456    750 |        0 |        0
261.54/261.65	c  261s |      22 |  2380100 |  1788922 |     5456    754 |        0 |        0
263.54/263.67	c  263s |      22 |  2397932 |  1801522 |     5456    758 |        0 |        0
265.55/265.68	c  265s |      22 |  2414380 |  1813722 |     5456    762 |        0 |        0
267.54/267.69	c  267s |      22 |  2427991 |  1824422 |     5456    766 |        0 |        0
269.54/269.69	c  269s |      22 |  2445068 |  1837222 |     5456    770 |        0 |        0
271.64/271.71	c  271s |      22 |  2464611 |  1851822 |     5456    775 |        0 |        0
273.64/273.72	c  273s |      22 |  2484168 |  1866122 |     5456    779 |        0 |        0
275.64/275.72	c  275s |      22 |  2500209 |  1878522 |     5456    783 |        0 |        0
277.65/277.73	c  277s |      22 |  2515873 |  1890222 |     5456    787 |        0 |        0
279.64/279.74	c  279s |      22 |  2531587 |  1902522 |     5456    791 |        0 |        0
281.64/281.74	c  281s |      22 |  2542857 |  1911822 |     5456    794 |        0 |        0
283.64/283.75	c  283s |      22 |  2559684 |  1924722 |     5456    799 |        0 |        0
285.64/285.76	c  285s |      22 |  2569805 |  1933122 |     5456    801 |        0 |        0
287.64/287.78	c  287s |      22 |  2579753 |  1941022 |     5456    804 |        0 |        0
289.64/289.78	c  289s |      22 |  2592551 |  1951022 |     5456    807 |        0 |        0
291.63/291.79	c  291s |      22 |  2608269 |  1963022 |     5456    811 |        0 |        0
293.73/293.80	c  293s |      22 |  2624591 |  1975722 |     5456    815 |        0 |        0
295.73/295.82	c  295s |      22 |  2638154 |  1986322 |     5456    819 |        0 |        0
297.73/297.83	c  297s |      22 |  2652823 |  1998122 |     5456    823 |        0 |        0
299.74/299.84	c  299s |      22 |  2668433 |  2010022 |     5456    827 |        0 |        0
301.73/301.85	c  301s |      22 |  2684641 |  2022722 |     5456    831 |        0 |        0
303.73/303.85	c  303s |      22 |  2697160 |  2032522 |     5456    834 |        0 |        0
305.74/305.86	c  305s |      22 |  2715859 |  2046222 |     5456    839 |        0 |        0
307.74/307.87	c  307s |      22 |  2735025 |  2059622 |     5456    843 |        0 |        0
309.74/309.88	c  309s |      22 |  2752054 |  2071922 |     5456    847 |        0 |        0
311.75/311.89	c  311s |      22 |  2771819 |  2086522 |     5456    852 |        0 |        0
313.84/313.91	c  313s |      22 |  2787077 |  2097922 |     5456    856 |        0 |        0
315.84/315.91	c  315s |      22 |  2801745 |  2109822 |     5456    860 |        0 |        0
317.84/317.92	c  317s |      22 |  2820116 |  2123122 |     5456    864 |        0 |        0
319.84/319.92	c  319s |      22 |  2837623 |  2136322 |     5456    868 |        0 |        0
321.84/321.93	c  321s |      22 |  2853492 |  2148622 |     5456    872 |        0 |        0
323.84/323.94	c  323s |      22 |  2871636 |  2162122 |     5456    877 |        0 |        0
325.84/325.96	c  325s |      22 |  2884792 |  2172522 |     5456    880 |        0 |        0
327.84/327.97	c  327s |      22 |  2901321 |  2185122 |     5456    884 |        0 |        0
329.84/329.97	c  329s |      22 |  2917210 |  2197022 |     5456    888 |        0 |        0
331.83/331.98	c  331s |      22 |  2940169 |  2213922 |     5456    894 |        0 |        0
333.84/333.99	c  333s |      22 |  2957580 |  2226522 |     5456    898 |        0 |        0
335.83/336.00	c  335s |      22 |  2977431 |  2241422 |     6002    903 |        0 |        0
337.53/337.61	c  337s |      23 |  2990846 |  2251038 |     6002    906 |        0 |        0
339.53/339.63	c  339s |      23 |  3008757 |  2264638 |     6002    910 |        0 |        0
341.54/341.64	c  341s |      23 |  3026907 |  2278338 |     6002    914 |        0 |        0
343.53/343.65	c  343s |      23 |  3042602 |  2290438 |     6002    918 |        0 |        0
345.53/345.65	c  345s |      23 |  3063235 |  2305438 |     6002    923 |        0 |        0
347.53/347.65	c  347s |      23 |  3081262 |  2319538 |     6002    927 |        0 |        0
349.53/349.66	c  349s |      23 |  3096614 |  2331338 |     6002    931 |        0 |        0
351.53/351.66	c  351s |      23 |  3114455 |  2344738 |     6002    935 |        0 |        0
353.54/353.66	c  353s |      23 |  3124782 |  2353438 |     6002    938 |        0 |        0
355.53/355.67	c  355s |      23 |  3135698 |  2362238 |     6002    941 |        0 |        0
357.53/357.67	c  357s |      23 |  3155313 |  2376438 |     6002    945 |        0 |        0
359.53/359.69	c  359s |      23 |  3171551 |  2389438 |     6002    949 |        0 |        0
361.63/361.70	c  361s |      23 |  3183189 |  2398838 |     6002    952 |        0 |        0
363.63/363.71	c  363s |      23 |  3199394 |  2411638 |     6002    956 |        0 |        0
365.63/365.72	c  365s |      23 |  3214346 |  2423538 |     6002    960 |        0 |        0
367.63/367.72	c  367s |      23 |  3229206 |  2435138 |     6002    963 |        0 |        0
369.63/369.73	c  369s |      23 |  3245606 |  2447638 |     6002    967 |        0 |        0
371.63/371.75	c  371s |      23 |  3265174 |  2462438 |     6002    972 |        0 |        0
373.63/373.76	c  373s |      23 |  3279222 |  2473738 |     6002    976 |        0 |        0
375.63/375.79	c  375s |      23 |  3294781 |  2484838 |     6002    979 |        0 |        0
377.63/377.79	c  377s |      23 |  3309513 |  2496338 |     6002    983 |        0 |        0
379.73/379.80	c  379s |      23 |  3326019 |  2508038 |     6002    986 |        0 |        0
381.73/381.80	c  381s |      23 |  3343913 |  2521538 |     6002    990 |        0 |        0
383.72/383.86	c  383s |      23 |  3361883 |  2535138 |     6002    995 |        0 |        0
385.72/385.86	c  385s |      23 |  3380284 |  2549438 |     6002    999 |        0 |        0
387.73/387.87	c  387s |      23 |  3397115 |  2562138 |     6002   1003 |        0 |        0
389.72/389.88	c  389s |      23 |  3417573 |  2577038 |     6002   1007 |        0 |        0
391.72/391.90	c  391s |      23 |  3435435 |  2590538 |     6002   1011 |        0 |        0
393.82/393.90	c  393s |      23 |  3454362 |  2604638 |     6002   1016 |        0 |        0
395.82/395.92	c  395s |      23 |  3473764 |  2618838 |     6002   1020 |        0 |        0
397.82/397.92	c  397s |      23 |  3492799 |  2632838 |     6002   1024 |        0 |        0
399.83/399.93	c  399s |      23 |  3510340 |  2645838 |     6002   1028 |        0 |        0
401.82/401.94	c  401s |      23 |  3520899 |  2654538 |     6002   1031 |        0 |        0
403.82/403.94	c  403s |      23 |  3532672 |  2663838 |     6002   1034 |        0 |        0
405.82/405.95	c  405s |      23 |  3548119 |  2675638 |     6002   1038 |        0 |        0
407.82/407.95	c  407s |      23 |  3564674 |  2688138 |     6002   1041 |        0 |        0
409.82/409.96	c  409s |      23 |  3581037 |  2700638 |     6002   1045 |        0 |        0
411.83/411.97	c  411s |      23 |  3598954 |  2714038 |     6002   1049 |        0 |        0
413.82/413.97	c  413s |      23 |  3618859 |  2728938 |     6002   1054 |        0 |        0
415.82/415.98	c  415s |      23 |  3632669 |  2739838 |     6002   1057 |        0 |        0
417.92/418.01	c  417s |      23 |  3647185 |  2751038 |     6002   1061 |        0 |        0
419.92/420.01	c  419s |      23 |  3659131 |  2760438 |     6002   1063 |        0 |        0
421.92/422.02	c  421s |      23 |  3677395 |  2774538 |     6002   1068 |        0 |        0
423.93/424.04	c  424s |      23 |  3692480 |  2786538 |     6002   1072 |        0 |        0
425.92/426.05	c  426s |      23 |  3700820 |  2793838 |     6002   1074 |        0 |        0
427.92/428.05	c  428s |      23 |  3714743 |  2804438 |     6002   1077 |        0 |        0
430.02/430.13	c  430s |      23 |  3729974 |  2815738 |     6002   1081 |        0 |        0
432.02/432.14	c  432s |      23 |  3748663 |  2829638 |     6002   1085 |        0 |        0
434.02/434.14	c  434s |      23 |  3762811 |  2841138 |     6002   1088 |        0 |        0
436.03/436.15	c  436s |      23 |  3778769 |  2853638 |     6002   1092 |        0 |        0
438.02/438.17	c  438s |      23 |  3789469 |  2862338 |     6002   1095 |        0 |        0
440.02/440.18	c  440s |      23 |  3805106 |  2873938 |     6002   1098 |        0 |        0
442.02/442.18	c  442s |      23 |  3819390 |  2885038 |     6002   1102 |        0 |        0
444.02/444.18	c  444s |      23 |  3835345 |  2896438 |     6002   1105 |        0 |        0
446.03/446.18	c  446s |      23 |  3855492 |  2911438 |     6002   1110 |        0 |        0
448.02/448.20	c  448s |      23 |  3874045 |  2925138 |     6002   1114 |        0 |        0
450.12/450.21	c  450s |      23 |  3889184 |  2936838 |     6002   1118 |        0 |        0
452.12/452.21	c  452s |      23 |  3908203 |  2950638 |     6002   1122 |        0 |        0
454.11/454.22	c  454s |      23 |  3925679 |  2964038 |     6002   1126 |        0 |        0
456.11/456.23	c  456s |      23 |  3938915 |  2974438 |     6002   1129 |        0 |        0
458.12/458.26	c  458s |      23 |  3953723 |  2986138 |     6002   1133 |        0 |        0
460.11/460.26	c  460s |      23 |  3963957 |  2994738 |     6002   1135 |        0 |        0
462.11/462.27	c  462s |      23 |  3982217 |  3008138 |     6002   1139 |        0 |        0
464.11/464.27	c  464s |      23 |  3993777 |  3017838 |     6002   1142 |        0 |        0
466.11/466.28	c  466s |      23 |  4008171 |  3028838 |     6002   1146 |        0 |        0
468.11/468.29	c  468s |      23 |  4025822 |  3041638 |     6002   1150 |        0 |        0
470.22/470.31	c  470s |      23 |  4041005 |  3052938 |     6002   1153 |        0 |        0
472.21/472.32	c  472s |      23 |  4061652 |  3068238 |     6002   1158 |        0 |        0
474.21/474.33	c  474s |      23 |  4081344 |  3082438 |     6002   1162 |        0 |        0
476.21/476.34	c  476s |      23 |  4102221 |  3096738 |     6002   1167 |        0 |        0
478.21/478.34	c  478s |      23 |  4118433 |  3108938 |     6002   1170 |        0 |        0
480.21/480.36	c  480s |      23 |  4138977 |  3124138 |     6002   1175 |        0 |        0
482.21/482.38	c  482s |      23 |  4153353 |  3135438 |     6002   1179 |        0 |        0
484.20/484.39	c  484s |      23 |  4172915 |  3149638 |     6002   1183 |        0 |        0
486.21/486.39	c  486s |      23 |  4192676 |  3164038 |     6002   1187 |        0 |        0
488.21/488.39	c  488s |      23 |  4210192 |  3176938 |     6002   1191 |        0 |        0
490.31/490.41	c  490s |      23 |  4228507 |  3190038 |     6002   1195 |        0 |        0
492.31/492.42	c  492s |      23 |  4246116 |  3202838 |     6002   1199 |        0 |        0
494.32/494.43	c  494s |      23 |  4265903 |  3217538 |     6002   1204 |        0 |        0
496.31/496.44	c  496s |      23 |  4282674 |  3230138 |     6002   1208 |        0 |        0
498.31/498.45	c  498s |      23 |  4300911 |  3243638 |     6002   1212 |        0 |        0
500.31/500.45	c  500s |      23 |  4319028 |  3257338 |     6002   1216 |        0 |        0
502.31/502.45	c  502s |      23 |  4338799 |  3271538 |     6002   1220 |        0 |        0
504.31/504.48	c  504s |      23 |  4356556 |  3284738 |     6002   1225 |        0 |        0
506.31/506.49	c  506s |      23 |  4376087 |  3299038 |     6002   1229 |        0 |        0
508.41/508.50	c  508s |      23 |  4399209 |  3315838 |     6002   1234 |        0 |        0
510.41/510.51	c  510s |      23 |  4421006 |  3331838 |     6002   1239 |        0 |        0
512.41/512.52	c  512s |      23 |  4442110 |  3347238 |     6002   1244 |        0 |        0
514.40/514.53	c  514s |      23 |  4459093 |  3359738 |     6603   1247 |        0 |        0
516.41/516.53	c  516s |      23 |  4476741 |  3372938 |     6603   1251 |        0 |        0
516.90/517.09	c  517s |      24 |  4481785 |  3376662 |     6603   1252 |        0 |        0
518.90/519.09	c  519s |      24 |  4502741 |  3391662 |     6603   1256 |        0 |        0
520.90/521.09	c  521s |      24 |  4518236 |  3403162 |     6603   1259 |        0 |        0
522.91/523.10	c  523s |      24 |  4536668 |  3416362 |     6603   1263 |        0 |        0
525.00/525.12	c  525s |      24 |  4558336 |  3431962 |     6603   1267 |        0 |        0
527.00/527.13	c  527s |      24 |  4578591 |  3446762 |     6603   1272 |        0 |        0
529.00/529.14	c  529s |      24 |  4601635 |  3463862 |     6603   1276 |        0 |        0
531.00/531.14	c  531s |      24 |  4619093 |  3477362 |     6603   1280 |        0 |        0
533.00/533.14	c  533s |      24 |  4638646 |  3491762 |     6603   1284 |        0 |        0
535.01/535.15	c  535s |      24 |  4656664 |  3504962 |     6603   1288 |        0 |        0
537.00/537.16	c  537s |      24 |  4671392 |  3516262 |     6603   1291 |        0 |        0
539.00/539.17	c  539s |      24 |  4688505 |  3529462 |     6603   1295 |        0 |        0
541.00/541.18	c  541s |      24 |  4703245 |  3540862 |     6603   1298 |        0 |        0
543.00/543.19	c  543s |      24 |  4720882 |  3553862 |     6603   1302 |        0 |        0
545.10/545.20	c  545s |      24 |  4737303 |  3566662 |     6603   1305 |        0 |        0
547.10/547.21	c  547s |      24 |  4753649 |  3579362 |     6603   1309 |        0 |        0
549.10/549.22	c  549s |      24 |  4768973 |  3591562 |     6603   1312 |        0 |        0
551.10/551.23	c  551s |      24 |  4784635 |  3603862 |     6603   1316 |        0 |        0
553.10/553.24	c  553s |      24 |  4800570 |  3616162 |     6603   1319 |        0 |        0
555.10/555.24	c  555s |      24 |  4812002 |  3624962 |     6603   1322 |        0 |        0
557.10/557.25	c  557s |      24 |  4827322 |  3636762 |     6603   1325 |        0 |        0
559.10/559.25	c  559s |      24 |  4842591 |  3648962 |     6603   1328 |        0 |        0
561.10/561.27	c  561s |      24 |  4858866 |  3661562 |     6603   1332 |        0 |        0
563.10/563.28	c  563s |      24 |  4875406 |  3674262 |     6603   1335 |        0 |        0
565.10/565.29	c  565s |      24 |  4889686 |  3685462 |     6603   1339 |        0 |        0
567.19/567.30	c  567s |      24 |  4899645 |  3693862 |     6603   1341 |        0 |        0
569.20/569.30	c  569s |      24 |  4912502 |  3704062 |     6603   1344 |        0 |        0
571.19/571.31	c  571s |      24 |  4929056 |  3716862 |     6603   1347 |        0 |        0
573.19/573.31	c  573s |      24 |  4945464 |  3729662 |     6603   1351 |        0 |        0
575.19/575.33	c  575s |      24 |  4962440 |  3742962 |     6603   1355 |        0 |        0
577.19/577.34	c  577s |      24 |  4981364 |  3757462 |     6603   1359 |        0 |        0
579.19/579.34	c  579s |      24 |  4998958 |  3770962 |     6603   1363 |        0 |        0
581.20/581.35	c  581s |      24 |  5019402 |  3785962 |     6603   1367 |        0 |        0
583.19/583.35	c  583s |      24 |  5040615 |  3801762 |     6603   1371 |        0 |        0
585.20/585.36	c  585s |      24 |  5059981 |  3816362 |     6603   1375 |        0 |        0
587.20/587.37	c  587s |      24 |  5079470 |  3831162 |     6603   1379 |        0 |        0
589.20/589.39	c  589s |      24 |  5097556 |  3845062 |     6603   1383 |        0 |        0
591.20/591.39	c  591s |      24 |  5111609 |  3856262 |     6603   1386 |        0 |        0
593.30/593.43	c  593s |      24 |  5120725 |  3864062 |     6603   1389 |        0 |        0
595.30/595.45	c  595s |      24 |  5133986 |  3874862 |     6603   1392 |        0 |        0
597.30/597.45	c  597s |      24 |  5149798 |  3887062 |     6603   1395 |        0 |        0
599.29/599.47	c  599s |      24 |  5164859 |  3898762 |     6603   1398 |        0 |        0
601.29/601.47	c  601s |      24 |  5178943 |  3910062 |     6603   1401 |        0 |        0
603.30/603.49	c  603s |      24 |  5194287 |  3922362 |     6603   1405 |        0 |        0
605.29/605.50	c  605s |      24 |  5213109 |  3936762 |     6603   1409 |        0 |        0
607.39/607.50	c  607s |      24 |  5228229 |  3948562 |     6603   1412 |        0 |        0
609.39/609.50	c  609s |      24 |  5243773 |  3961262 |     6603   1416 |        0 |        0
611.39/611.51	c  611s |      24 |  5255448 |  3970762 |     6603   1418 |        0 |        0
613.39/613.53	c  613s |      24 |  5271772 |  3983462 |     6603   1422 |        0 |        0
615.40/615.53	c  615s |      24 |  5288112 |  3995862 |     6603   1426 |        0 |        0
617.39/617.54	c  617s |      24 |  5305434 |  4009062 |     6603   1429 |        0 |        0
619.39/619.55	c  619s |      24 |  5321864 |  4021662 |     6603   1433 |        0 |        0
621.39/621.57	c  621s |      24 |  5334267 |  4031862 |     6603   1436 |        0 |        0
623.49/623.61	c  623s |      24 |  5349997 |  4044062 |     6603   1439 |        0 |        0
625.48/625.62	c  625s |      24 |  5364092 |  4055362 |     6603   1442 |        0 |        0
627.49/627.62	c  627s |      24 |  5381213 |  4067862 |     6603   1446 |        0 |        0
629.48/629.63	c  629s |      24 |  5394767 |  4078862 |     6603   1449 |        0 |        0
631.48/631.64	c  631s |      24 |  5408114 |  4089362 |     6603   1452 |        0 |        0
633.48/633.65	c  633s |      24 |  5424261 |  4101562 |     6603   1455 |        0 |        0
635.48/635.65	c  635s |      24 |  5438930 |  4113062 |     6603   1458 |        0 |        0
637.48/637.67	c  637s |      24 |  5457617 |  4126762 |     6603   1462 |        0 |        0
639.49/639.70	c  639s |      24 |  5473846 |  4139062 |     6603   1466 |        0 |        0
641.59/641.71	c  641s |      24 |  5484142 |  4147562 |     6603   1468 |        0 |        0
643.59/643.72	c  643s |      24 |  5494638 |  4155862 |     6603   1470 |        0 |        0
645.59/645.74	c  645s |      24 |  5507733 |  4166362 |     6603   1473 |        0 |        0
647.59/647.75	c  647s |      24 |  5523518 |  4178062 |     6603   1476 |        0 |        0
649.59/649.75	c  649s |      24 |  5534375 |  4187362 |     6603   1479 |        0 |        0
651.59/651.76	c  651s |      24 |  5550615 |  4200162 |     6603   1483 |        0 |        0
653.59/653.78	c  653s |      24 |  5563266 |  4210262 |     6603   1485 |        0 |        0
655.59/655.80	c  655s |      24 |  5576718 |  4220862 |     6603   1489 |        0 |        0
657.69/657.80	c  657s |      24 |  5594073 |  4234462 |     6603   1492 |        0 |        0
659.69/659.80	c  659s |      24 |  5607797 |  4245262 |     6603   1495 |        0 |        0
661.69/661.81	c  661s |      24 |  5623441 |  4257562 |     6603   1499 |        0 |        0
663.69/663.82	c  663s |      24 |  5636359 |  4267762 |     6603   1502 |        0 |        0
665.68/665.83	c  665s |      24 |  5653772 |  4281162 |     6603   1506 |        0 |        0
667.68/667.83	c  667s |      24 |  5667686 |  4292262 |     6603   1509 |        0 |        0
669.68/669.85	c  669s |      24 |  5681282 |  4302962 |     6603   1512 |        0 |        0
671.68/671.85	c  671s |      24 |  5690909 |  4311262 |     6603   1514 |        0 |        0
673.69/673.87	c  673s |      24 |  5702057 |  4320262 |     6603   1517 |        0 |        0
675.68/675.88	c  675s |      24 |  5715881 |  4331262 |     6603   1520 |        0 |        0
677.68/677.90	c  677s |      24 |  5731211 |  4342562 |     6603   1523 |        0 |        0
679.78/679.91	c  679s |      24 |  5746132 |  4354362 |     6603   1526 |        0 |        0
681.78/681.92	c  681s |      24 |  5755699 |  4362462 |     6603   1529 |        0 |        0
683.78/683.94	c  683s |      24 |  5770993 |  4373962 |     6603   1532 |        0 |        0
685.78/685.94	c  685s |      24 |  5787259 |  4386162 |     6603   1535 |        0 |        0
687.77/687.94	c  687s |      24 |  5805085 |  4399162 |     6603   1539 |        0 |        0
689.77/689.95	c  689s |      24 |  5822060 |  4411662 |     6603   1542 |        0 |        0
691.77/691.98	c  691s |      24 |  5839318 |  4424562 |     6603   1546 |        0 |        0
693.77/693.99	c  693s |      24 |  5854223 |  4436162 |     6603   1549 |        0 |        0
695.87/696.00	c  695s |      24 |  5872975 |  4450162 |     6603   1553 |        0 |        0
697.88/698.01	c  697s |      24 |  5888630 |  4462362 |     6603   1556 |        0 |        0
699.88/700.01	c  699s |      24 |  5907946 |  4476562 |     6603   1560 |        0 |        0
701.88/702.02	c  701s |      24 |  5923911 |  4488562 |     6603   1564 |        0 |        0
703.88/704.02	c  703s |      24 |  5940403 |  4501462 |     6603   1567 |        0 |        0
705.88/706.02	c  705s |      24 |  5955925 |  4513362 |     6603   1571 |        0 |        0
707.88/708.04	c  708s |      24 |  5972105 |  4525562 |     6603   1574 |        0 |        0
709.88/710.04	c  710s |      24 |  5987834 |  4537162 |     6603   1577 |        0 |        0
711.88/712.05	c  712s |      24 |  5998052 |  4545762 |     6603   1580 |        0 |        0
713.87/714.07	c  714s |      24 |  6012072 |  4556662 |     6603   1583 |        0 |        0
715.87/716.07	c  716s |      24 |  6020357 |  4563662 |     6603   1585 |        0 |        0
717.87/718.07	c  718s |      24 |  6028388 |  4570462 |     6603   1587 |        0 |        0
719.88/720.08	c  720s |      24 |  6044232 |  4583062 |     6603   1590 |        0 |        0
721.87/722.08	c  722s |      24 |  6059562 |  4594562 |     6603   1594 |        0 |        0
723.97/724.10	c  724s |      24 |  6072718 |  4604862 |     6603   1597 |        0 |        0
725.97/726.10	c  726s |      24 |  6086609 |  4615662 |     6603   1600 |        0 |        0
727.97/728.11	c  728s |      24 |  6107551 |  4631062 |     6603   1604 |        0 |        0
729.97/730.13	c  730s |      24 |  6120873 |  4641662 |     6603   1607 |        0 |        0
731.98/732.13	c  732s |      24 |  6135181 |  4652962 |     6603   1610 |        0 |        0
733.97/734.14	c  734s |      24 |  6150405 |  4664962 |     6603   1613 |        0 |        0
735.97/736.15	c  736s |      24 |  6166559 |  4677062 |     6603   1617 |        0 |        0
737.97/738.16	c  738s |      24 |  6181344 |  4688862 |     6603   1620 |        0 |        0
739.97/740.16	c  740s |      24 |  6197767 |  4701262 |     6603   1623 |        0 |        0
741.97/742.18	c  742s |      24 |  6212352 |  4713062 |     6603   1627 |        0 |        0
743.97/744.20	c  744s |      24 |  6226592 |  4724362 |     6603   1630 |        0 |        0
746.06/746.20	c  746s |      24 |  6243520 |  4736762 |     6603   1633 |        0 |        0
748.06/748.21	c  748s |      24 |  6257017 |  4747062 |     6603   1636 |        0 |        0
750.06/750.22	c  750s |      24 |  6272837 |  4759362 |     6603   1640 |        0 |        0
752.06/752.23	c  752s |      24 |  6288613 |  4771562 |     6603   1643 |        0 |        0
754.06/754.25	c  754s |      24 |  6302370 |  4782162 |     6603   1646 |        0 |        0
756.07/756.26	c  756s |      24 |  6316959 |  4793562 |     6603   1649 |        0 |        0
758.06/758.27	c  758s |      24 |  6329916 |  4803962 |     6603   1652 |        0 |        0
760.06/760.28	c  760s |      24 |  6343781 |  4814662 |     6603   1655 |        0 |        0
762.06/762.28	c  762s |      24 |  6359781 |  4826762 |     6603   1659 |        0 |        0
764.16/764.30	c  764s |      24 |  6372262 |  4836962 |     6603   1662 |        0 |        0
766.17/766.30	c  766s |      24 |  6387863 |  4848662 |     6603   1665 |        0 |        0
768.18/768.31	c  768s |      24 |  6400771 |  4858862 |     6603   1668 |        0 |        0
770.17/770.32	c  770s |      24 |  6418220 |  4871662 |     6603   1672 |        0 |        0
772.17/772.32	c  772s |      24 |  6434545 |  4883562 |     6603   1675 |        0 |        0
774.17/774.33	c  774s |      24 |  6454221 |  4898362 |     6603   1679 |        0 |        0
776.17/776.34	c  776s |      24 |  6469022 |  4909862 |     6603   1682 |        0 |        0
778.17/778.35	c  778s |      24 |  6485529 |  4922462 |     6603   1686 |        0 |        0
780.17/780.35	c  780s |      24 |  6505370 |  4937162 |     6603   1690 |        0 |        0
782.16/782.36	c  782s |      24 |  6520767 |  4949062 |     6603   1694 |        0 |        0
784.16/784.38	c  784s |      24 |  6532311 |  4957862 |     6603   1696 |        0 |        0
786.26/786.40	c  786s |      24 |  6546863 |  4969462 |     6603   1699 |        0 |        0
788.26/788.43	c  788s |      24 |  6561158 |  4980662 |     6603   1703 |        0 |        0
790.27/790.43	c  790s |      24 |  6573886 |  4990862 |     6603   1705 |        0 |        0
792.26/792.44	c  792s |      24 |  6585952 |  5000962 |     6603   1708 |        0 |        0
794.26/794.45	c  794s |      24 |  6601097 |  5012562 |     6603   1712 |        0 |        0
796.26/796.45	c  796s |      24 |  6617273 |  5024662 |     6603   1715 |        0 |        0
798.26/798.46	c  798s |      24 |  6635835 |  5038462 |     7264   1718 |        0 |        0
800.26/800.47	c  800s |      24 |  6651990 |  5051062 |     7264   1722 |        0 |        0
802.27/802.47	c  802s |      24 |  6669506 |  5064062 |     7264   1725 |        0 |        0
802.46/802.63	c  802s |      25 |  6670867 |  5065098 |     7264   1725 |        0 |        0
804.46/804.65	c  804s |      25 |  6688106 |  5077798 |     7264   1729 |        0 |        0
806.46/806.65	c  806s |      25 |  6706852 |  5091298 |     7264   1732 |        0 |        0
808.46/808.67	c  808s |      25 |  6724024 |  5104698 |     7264   1736 |        0 |        0
810.46/810.68	c  810s |      25 |  6744799 |  5119898 |     7264   1740 |        0 |        0
812.46/812.68	c  812s |      25 |  6762742 |  5133098 |     7264   1743 |        0 |        0
814.46/814.69	c  814s |      25 |  6781164 |  5147098 |     7264   1747 |        0 |        0
816.46/816.70	c  816s |      25 |  6796454 |  5158898 |     7264   1750 |        0 |        0
818.56/818.78	c  818s |      25 |  6806909 |  5167698 |     7264   1752 |        0 |        0
820.55/820.78	c  820s |      25 |  6816427 |  5175498 |     7264   1754 |        0 |        0
822.65/822.82	c  822s |      25 |  6827010 |  5183998 |     7264   1757 |        0 |        0
824.65/824.83	c  824s |      25 |  6838639 |  5193298 |     7264   1759 |        0 |        0
826.66/826.85	c  826s |      25 |  6850685 |  5202898 |     7264   1761 |        0 |        0
828.67/828.86	c  828s |      25 |  6861736 |  5211698 |     7264   1764 |        0 |        0
830.66/830.87	c  830s |      25 |  6871210 |  5219698 |     7264   1766 |        0 |        0
832.66/832.88	c  832s |      25 |  6883061 |  5228698 |     7264   1768 |        0 |        0
834.76/834.90	c  834s |      25 |  6899136 |  5239998 |     7264   1771 |        0 |        0
836.76/836.91	c  836s |      25 |  6912793 |  5250198 |     7264   1774 |        0 |        0
838.76/838.92	c  838s |      25 |  6929269 |  5261698 |     7264   1777 |        0 |        0
840.77/840.93	c  840s |      25 |  6949309 |  5276298 |     7264   1780 |        0 |        0
842.76/842.95	c  842s |      25 |  6966166 |  5288498 |     7264   1784 |        0 |        0
844.76/844.95	c  844s |      25 |  6987651 |  5303598 |     7264   1787 |        0 |        0
846.76/846.96	c  846s |      25 |  7005924 |  5316998 |     7264   1791 |        0 |        0
848.76/848.97	c  848s |      25 |  7028128 |  5332598 |     7264   1795 |        0 |        0
850.76/850.99	c  850s |      25 |  7047819 |  5346898 |     7264   1799 |        0 |        0
852.76/853.00	c  852s |      25 |  7066642 |  5360398 |     7264   1802 |        0 |        0
854.86/855.00	c  854s |      25 |  7080694 |  5371198 |     7264   1805 |        0 |        0
856.86/857.01	c  856s |      25 |  7098909 |  5384598 |     7264   1808 |        0 |        0
858.85/859.02	c  858s |      25 |  7116078 |  5397398 |     7264   1811 |        0 |        0
860.85/861.05	c  861s |      25 |  7127687 |  5406698 |     7264   1814 |        0 |        0
862.86/863.05	c  863s |      25 |  7141183 |  5416898 |     7264   1816 |        0 |        0
864.85/865.06	c  865s |      25 |  7156739 |  5428998 |     7264   1819 |        0 |        0
866.85/867.08	c  867s |      25 |  7170703 |  5439698 |     7264   1822 |        0 |        0
868.85/869.08	c  869s |      25 |  7184981 |  5450798 |     7264   1825 |        0 |        0
870.95/871.10	c  871s |      25 |  7201198 |  5463198 |     7264   1828 |        0 |        0
872.95/873.10	c  873s |      25 |  7215686 |  5474298 |     7264   1831 |        0 |        0
874.96/875.11	c  875s |      25 |  7227527 |  5483598 |     7264   1833 |        0 |        0
876.95/877.12	c  877s |      25 |  7244123 |  5495898 |     7264   1837 |        0 |        0
878.95/879.14	c  879s |      25 |  7265445 |  5511598 |     7264   1840 |        0 |        0
880.95/881.14	c  881s |      25 |  7280991 |  5523298 |     7264   1843 |        0 |        0
882.95/883.17	c  883s |      25 |  7296334 |  5534998 |     7264   1846 |        0 |        0
884.95/885.18	c  885s |      25 |  7311705 |  5545698 |     7264   1849 |        0 |        0
886.95/887.19	c  887s |      25 |  7323929 |  5555298 |     7264   1852 |        0 |        0
889.05/889.20	c  889s |      25 |  7341312 |  5568298 |     7264   1855 |        0 |        0
891.04/891.21	c  891s |      25 |  7356604 |  5579498 |     7264   1858 |        0 |        0
893.04/893.22	c  893s |      25 |  7368904 |  5589198 |     7264   1860 |        0 |        0
895.04/895.23	c  895s |      25 |  7384367 |  5600798 |     7264   1863 |        0 |        0
897.04/897.23	c  897s |      25 |  7400198 |  5612498 |     7264   1866 |        0 |        0
899.05/899.24	c  899s |      25 |  7412872 |  5622098 |     7264   1869 |        0 |        0
901.04/901.25	c  901s |      25 |  7430844 |  5635798 |     7264   1872 |        0 |        0
903.04/903.26	c  903s |      25 |  7445489 |  5646598 |     7264   1875 |        0 |        0
905.04/905.26	c  905s |      25 |  7463452 |  5659498 |     7264   1878 |        0 |        0
907.04/907.27	c  907s |      25 |  7481423 |  5672698 |     7264   1881 |        0 |        0
909.05/909.27	c  909s |      25 |  7499573 |  5686198 |     7264   1885 |        0 |        0
911.04/911.28	c  911s |      25 |  7513421 |  5697398 |     7264   1888 |        0 |        0
913.14/913.30	c  913s |      25 |  7527793 |  5708098 |     7264   1890 |        0 |        0
915.14/915.32	c  915s |      25 |  7540651 |  5718198 |     7264   1893 |        0 |        0
917.14/917.33	c  917s |      25 |  7557212 |  5731298 |     7264   1896 |        0 |        0
919.14/919.35	c  919s |      25 |  7574646 |  5744498 |     7264   1900 |        0 |        0
921.14/921.36	c  921s |      25 |  7591865 |  5756998 |     7264   1903 |        0 |        0
923.13/923.37	c  923s |      25 |  7610428 |  5770598 |     7264   1906 |        0 |        0
925.13/925.37	c  925s |      25 |  7627082 |  5782798 |     7264   1909 |        0 |        0
927.23/927.41	c  927s |      25 |  7645654 |  5796298 |     7264   1913 |        0 |        0
929.23/929.44	c  929s |      25 |  7658730 |  5806898 |     7264   1916 |        0 |        0
931.22/931.45	c  931s |      25 |  7673881 |  5818598 |     7264   1919 |        0 |        0
933.23/933.45	c  933s |      25 |  7689661 |  5830798 |     7264   1922 |        0 |        0
935.22/935.45	c  935s |      25 |  7703451 |  5841298 |     7264   1924 |        0 |        0
937.22/937.46	c  937s |      25 |  7723062 |  5855098 |     7264   1928 |        0 |        0
939.22/939.46	c  939s |      25 |  7738710 |  5866998 |     7264   1931 |        0 |        0
941.22/941.46	c  941s |      25 |  7752085 |  5877798 |     7264   1934 |        0 |        0
943.22/943.47	c  943s |      25 |  7760543 |  5884898 |     7264   1936 |        0 |        0
945.23/945.48	c  945s |      25 |  7771327 |  5893698 |     7264   1938 |        0 |        0
947.22/947.49	c  947s |      25 |  7788050 |  5905698 |     7264   1941 |        0 |        0
949.22/949.49	c  949s |      25 |  7805928 |  5918998 |     7264   1944 |        0 |        0
951.33/951.53	c  951s |      25 |  7823737 |  5932198 |     7264   1948 |        0 |        0
953.33/953.54	c  953s |      25 |  7841811 |  5945698 |     7264   1951 |        0 |        0
955.33/955.55	c  955s |      25 |  7861114 |  5960098 |     7264   1955 |        0 |        0
957.33/957.55	c  957s |      25 |  7879635 |  5973998 |     7264   1958 |        0 |        0
959.33/959.56	c  959s |      25 |  7898780 |  5988098 |     7264   1962 |        0 |        0
961.32/961.57	c  961s |      25 |  7915150 |  6000598 |     7264   1965 |        0 |        0
963.32/963.57	c  963s |      25 |  7931112 |  6012398 |     7264   1968 |        0 |        0
965.32/965.57	c  965s |      25 |  7948574 |  6025598 |     7264   1971 |        0 |        0
967.33/967.59	c  967s |      25 |  7963293 |  6036598 |     7264   1974 |        0 |        0
969.42/969.61	c  969s |      25 |  7979499 |  6048998 |     7264   1977 |        0 |        0
971.41/971.62	c  971s |      25 |  7991987 |  6058798 |     7264   1980 |        0 |        0
973.41/973.63	c  973s |      25 |  8006652 |  6069598 |     7264   1983 |        0 |        0
975.41/975.67	c  975s |      25 |  8021047 |  6080898 |     7264   1986 |        0 |        0
977.41/977.67	c  977s |      25 |  8034704 |  6091398 |     7264   1988 |        0 |        0
979.51/979.72	c  979s |      25 |  8052097 |  6104098 |     7264   1992 |        0 |        0
981.52/981.72	c  981s |      25 |  8069674 |  6117398 |     7264   1995 |        0 |        0
983.51/983.73	c  983s |      25 |  8084929 |  6129198 |     7264   1998 |        0 |        0
985.51/985.74	c  985s |      25 |  8098015 |  6139398 |     7264   2000 |        0 |        0
987.51/987.75	c  987s |      25 |  8110298 |  6148998 |     7264   2003 |        0 |        0
989.51/989.76	c  989s |      25 |  8124361 |  6159698 |     7264   2006 |        0 |        0
991.51/991.78	c  991s |      25 |  8134710 |  6168098 |     7264   2008 |        0 |        0
993.50/993.79	c  993s |      25 |  8152231 |  6181498 |     7264   2011 |        0 |        0
995.50/995.79	c  995s |      25 |  8166326 |  6192398 |     7264   2014 |        0 |        0
997.60/997.81	c  997s |      25 |  8176180 |  6200698 |     7264   2016 |        0 |        0
999.60/999.82	c  999s |      25 |  8187509 |  6209898 |     7264   2018 |        0 |        0
1001.60/1001.82	c 1001s |      25 |  8201224 |  6220898 |     7264   2021 |        0 |        0
1003.61/1003.82	c 1003s |      25 |  8215334 |  6232098 |     7264   2024 |        0 |        0
1005.60/1005.82	c 1005s |      25 |  8231840 |  6244398 |     7264   2027 |        0 |        0
1007.60/1007.83	c 1007s |      25 |  8242181 |  6252798 |     7264   2029 |        0 |        0
1009.60/1009.84	c 1009s |      25 |  8256571 |  6263198 |     7264   2032 |        0 |        0
1011.59/1011.86	c 1011s |      25 |  8270301 |  6273398 |     7264   2035 |        0 |        0
1013.59/1013.87	c 1013s |      25 |  8286206 |  6285198 |     7264   2038 |        0 |        0
1015.60/1015.88	c 1015s |      25 |  8302882 |  6297898 |     7264   2041 |        0 |        0
1017.60/1017.89	c 1017s |      25 |  8320841 |  6311398 |     7264   2044 |        0 |        0
1019.70/1019.91	c 1019s |      25 |  8339186 |  6324598 |     7264   2048 |        0 |        0
1021.69/1021.91	c 1021s |      25 |  8358979 |  6339398 |     7264   2052 |        0 |        0
1023.79/1024.00	c 1023s |      25 |  8374828 |  6351098 |     7264   2055 |        0 |        0
1025.79/1026.00	c 1025s |      25 |  8393046 |  6364598 |     7264   2058 |        0 |        0
1027.80/1028.02	c 1027s |      25 |  8405997 |  6374798 |     7264   2061 |        0 |        0
1029.79/1030.03	c 1029s |      25 |  8419326 |  6384898 |     7264   2063 |        0 |        0
1031.79/1032.05	c 1032s |      25 |  8434728 |  6396798 |     7264   2066 |        0 |        0
1033.79/1034.06	c 1034s |      25 |  8449960 |  6408398 |     7264   2069 |        0 |        0
1035.78/1036.06	c 1036s |      25 |  8466388 |  6420798 |     7264   2072 |        0 |        0
1037.78/1038.07	c 1038s |      25 |  8482526 |  6432998 |     7264   2076 |        0 |        0
1039.79/1040.07	c 1040s |      25 |  8499499 |  6446098 |     7264   2079 |        0 |        0
1041.78/1042.08	c 1042s |      25 |  8515286 |  6458298 |     7264   2082 |        0 |        0
1043.78/1044.08	c 1044s |      25 |  8532434 |  6471098 |     7264   2085 |        0 |        0
1045.88/1046.11	c 1046s |      25 |  8542714 |  6479998 |     7264   2087 |        0 |        0
1047.88/1048.14	c 1048s |      25 |  8558968 |  6491998 |     7264   2091 |        0 |        0
1049.88/1050.15	c 1050s |      25 |  8578449 |  6506798 |     7264   2094 |        0 |        0
1051.88/1052.15	c 1052s |      25 |  8594467 |  6518998 |     7264   2097 |        0 |        0
1053.87/1054.16	c 1054s |      25 |  8611755 |  6531498 |     7264   2101 |        0 |        0
1055.87/1056.18	c 1056s |      25 |  8626481 |  6542998 |     7264   2104 |        0 |        0
1057.97/1058.20	c 1058s |      25 |  8640530 |  6553898 |     7264   2106 |        0 |        0
1059.97/1060.21	c 1060s |      25 |  8656883 |  6565598 |     7264   2109 |        0 |        0
1061.97/1062.22	c 1062s |      25 |  8674188 |  6578898 |     7264   2113 |        0 |        0
1063.98/1064.24	c 1064s |      25 |  8685152 |  6588098 |     7264   2115 |        0 |        0
1065.97/1066.27	c 1066s |      25 |  8697037 |  6597298 |     7264   2118 |        0 |        0
1067.97/1068.27	c 1068s |      25 |  8717226 |  6611798 |     7264   2121 |        0 |        0
1069.97/1070.28	c 1070s |      25 |  8729521 |  6621698 |     7264   2124 |        0 |        0
1072.06/1072.30	c 1072s |      25 |  8743678 |  6632598 |     7264   2127 |        0 |        0
1074.06/1074.30	c 1074s |      25 |  8759788 |  6644998 |     7264   2130 |        0 |        0
1076.07/1076.30	c 1076s |      25 |  8773554 |  6656098 |     7264   2132 |        0 |        0
1078.06/1078.32	c 1078s |      25 |  8785705 |  6666098 |     7264   2135 |        0 |        0
1080.06/1080.35	c 1080s |      25 |  8794622 |  6673998 |     7264   2137 |        0 |        0
1082.06/1082.36	c 1082s |      25 |  8803962 |  6681698 |     7264   2139 |        0 |        0
1084.06/1084.37	c 1084s |      25 |  8812575 |  6688998 |     7264   2141 |        0 |        0
1086.06/1086.38	c 1086s |      25 |  8823431 |  6697898 |     7264   2143 |        0 |        0
1088.05/1088.39	c 1088s |      25 |  8835386 |  6707498 |     7264   2146 |        0 |        0
1090.05/1090.39	c 1090s |      25 |  8849946 |  6718898 |     7264   2148 |        0 |        0
1092.15/1092.41	c 1092s |      25 |  8865427 |  6730498 |     7264   2151 |        0 |        0
1094.15/1094.42	c 1094s |      25 |  8884747 |  6744798 |     7264   2155 |        0 |        0
1096.15/1096.43	c 1096s |      25 |  8901595 |  6757298 |     7264   2158 |        0 |        0
1098.15/1098.44	c 1098s |      25 |  8916724 |  6768698 |     7264   2161 |        0 |        0
1100.15/1100.45	c 1100s |      25 |  8927859 |  6776998 |     7264   2163 |        0 |        0
1102.14/1102.45	c 1102s |      25 |  8947822 |  6791498 |     7264   2167 |        0 |        0
1104.14/1104.46	c 1104s |      25 |  8964047 |  6803998 |     7264   2170 |        0 |        0
1106.14/1106.47	c 1106s |      25 |  8986215 |  6820198 |     7264   2174 |        0 |        0
1108.14/1108.47	c 1108s |      25 |  9005126 |  6833798 |     7264   2178 |        0 |        0
1110.15/1110.48	c 1110s |      25 |  9021675 |  6845998 |     7264   2181 |        0 |        0
1112.14/1112.49	c 1112s |      25 |  9040488 |  6860098 |     7264   2185 |        0 |        0
1114.14/1114.49	c 1114s |      25 |  9056426 |  6872098 |     7264   2188 |        0 |        0
1116.24/1116.51	c 1116s |      25 |  9075001 |  6885998 |     7264   2191 |        0 |        0
1118.24/1118.54	c 1118s |      25 |  9092799 |  6899198 |     7264   2195 |        0 |        0
1120.24/1120.55	c 1120s |      25 |  9109448 |  6912298 |     7264   2198 |        0 |        0
1122.24/1122.56	c 1122s |      25 |  9126364 |  6925198 |     7264   2201 |        0 |        0
1124.23/1124.57	c 1124s |      25 |  9140840 |  6936098 |     7264   2204 |        0 |        0
1126.23/1126.57	c 1126s |      25 |  9158388 |  6949198 |     7264   2207 |        0 |        0
1128.23/1128.58	c 1128s |      25 |  9177635 |  6963398 |     7264   2211 |        0 |        0
1130.33/1130.60	c 1130s |      25 |  9195764 |  6976798 |     7264   2214 |        0 |        0
1132.33/1132.62	c 1132s |      25 |  9210913 |  6988198 |     7264   2217 |        0 |        0
1134.33/1134.63	c 1134s |      25 |  9231664 |  7002998 |     7264   2221 |        0 |        0
1136.33/1136.64	c 1136s |      25 |  9250954 |  7017298 |     7264   2225 |        0 |        0
1138.33/1138.65	c 1138s |      25 |  9266558 |  7029798 |     7264   2228 |        0 |        0
1140.33/1140.66	c 1140s |      25 |  9279562 |  7039798 |     7264   2230 |        0 |        0
1142.33/1142.66	c 1142s |      25 |  9296388 |  7052498 |     7264   2234 |        0 |        0
1144.33/1144.67	c 1144s |      25 |  9313058 |  7065098 |     7264   2237 |        0 |        0
1146.32/1146.68	c 1146s |      25 |  9331864 |  7079198 |     7264   2240 |        0 |        0
1148.43/1148.70	c 1148s |      25 |  9350998 |  7093198 |     7264   2244 |        0 |        0
1150.43/1150.70	c 1150s |      25 |  9368350 |  7106398 |     7264   2247 |        0 |        0
1152.43/1152.72	c 1152s |      25 |  9382986 |  7117798 |     7264   2250 |        0 |        0
1154.43/1154.73	c 1154s |      25 |  9395454 |  7127598 |     7264   2253 |        0 |        0
1156.43/1156.74	c 1156s |      25 |  9406869 |  7136998 |     7264   2255 |        0 |        0
1158.43/1158.76	c 1158s |      25 |  9423552 |  7149298 |     7264   2259 |        0 |        0
1160.43/1160.77	c 1160s |      25 |  9435795 |  7158798 |     7264   2261 |        0 |        0
1162.42/1162.77	c 1162s |      25 |  9453378 |  7172298 |     7264   2264 |        0 |        0
1164.42/1164.78	c 1164s |      25 |  9467172 |  7183498 |     7264   2267 |        0 |        0
1166.52/1166.81	c 1166s |      25 |  9483460 |  7195998 |     7264   2271 |        0 |        0
1168.53/1168.82	c 1168s |      25 |  9499428 |  7208398 |     7264   2274 |        0 |        0
1170.52/1170.83	c 1170s |      25 |  9514568 |  7219998 |     7264   2277 |        0 |        0
1172.51/1172.87	c 1172s |      25 |  9534828 |  7234998 |     7264   2281 |        0 |        0
1174.51/1174.89	c 1174s |      25 |  9555685 |  7250098 |     7264   2284 |        0 |        0
1176.61/1176.91	c 1176s |      25 |  9572020 |  7262398 |     7264   2288 |        0 |        0
1178.61/1178.92	c 1178s |      25 |  9587269 |  7274098 |     7264   2291 |        0 |        0
1180.62/1180.93	c 1180s |      25 |  9605665 |  7287898 |     7264   2294 |        0 |        0
1182.61/1182.94	c 1182s |      25 |  9620289 |  7299698 |     7264   2297 |        0 |        0
1184.61/1184.95	c 1184s |      25 |  9633064 |  7309798 |     7264   2300 |        0 |        0
1186.61/1186.96	c 1186s |      25 |  9652319 |  7324398 |     7264   2303 |        0 |        0
1188.61/1188.96	c 1188s |      25 |  9666968 |  7335398 |     7264   2306 |        0 |        0
1190.61/1190.97	c 1190s |      25 |  9687862 |  7350598 |     7264   2310 |        0 |        0
1192.61/1192.98	c 1192s |      25 |  9702750 |  7362298 |     7264   2313 |        0 |        0
1194.60/1194.99	c 1194s |      25 |  9718233 |  7373498 |     7264   2316 |        0 |        0
1196.70/1197.00	c 1196s |      25 |  9734780 |  7385998 |     7264   2319 |        0 |        0
1198.70/1199.00	c 1198s |      25 |  9750149 |  7397598 |     7264   2322 |        0 |        0
1200.71/1201.00	c 1200s |      25 |  9766562 |  7409998 |     7264   2325 |        0 |        0
1202.70/1203.00	c 1202s |      25 |  9785043 |  7424098 |     7264   2329 |        0 |        0
1204.71/1205.04	c 1205s |      25 |  9797368 |  7433998 |     7264   2332 |        0 |        0
1206.70/1207.07	c 1207s |      25 |  9812709 |  7445798 |     7264   2334 |        0 |        0
1208.70/1209.07	c 1209s |      25 |  9827686 |  7456998 |     7264   2337 |        0 |        0
1210.70/1211.07	c 1211s |      25 |  9838829 |  7465998 |     7264   2340 |        0 |        0
1212.70/1213.08	c 1213s |      25 |  9851767 |  7476798 |     7264   2342 |        0 |        0
1214.71/1215.09	c 1215s |      25 |  9866825 |  7488098 |     7264   2345 |        0 |        0
1216.70/1217.09	c 1217s |      25 |  9882347 |  7499998 |     7264   2348 |        0 |        0
1218.80/1219.10	c 1219s |      25 |  9897835 |  7512198 |     7264   2352 |        0 |        0
1220.80/1221.10	c 1221s |      25 |  9917325 |  7526898 |     7264   2355 |        0 |        0
1222.79/1223.10	c 1223s |      25 |  9937057 |  7541098 |     7264   2359 |        0 |        0
1224.79/1225.12	c 1225s |      25 |  9955796 |  7555698 |     7991   2362 |        0 |        0
1226.80/1227.13	c 1227s |      25 |  9972570 |  7568098 |     7991   2365 |        0 |        0
1228.79/1229.13	c 1229s |      25 |  9984059 |  7577098 |     7991   2367 |        0 |        0
1230.79/1231.15	c 1231s |      25 |  9996489 |  7586698 |     7991   2370 |        0 |        0
1232.79/1233.17	c 1233s |      25 | 10006869 |  7594898 |     7991   2372 |        0 |        0
1233.39/1233.79	c 1233s |      26 | 10010306 |  7597752 |     7991   2372 |        0 |        0
1235.39/1235.80	c 1235s |      26 | 10024820 |  7608952 |     7991   2375 |        0 |        0
1237.48/1237.81	c 1237s |      26 | 10037840 |  7619652 |     7991   2377 |        0 |        0
1239.48/1239.81	c 1239s |      26 | 10048669 |  7628452 |     7991   2379 |        0 |        0
1241.48/1241.81	c 1241s |      26 | 10063979 |  7640152 |     7991   2382 |        0 |        0
1243.48/1243.84	c 1243s |      26 | 10080362 |  7652852 |     7991   2385 |        0 |        0
1245.48/1245.84	c 1245s |      26 | 10095826 |  7664952 |     7991   2388 |        0 |        0
1247.48/1247.86	c 1247s |      26 | 10108810 |  7674952 |     7991   2391 |        0 |        0
1249.58/1249.91	c 1249s |      26 | 10125721 |  7686952 |     7991   2394 |        0 |        0
1251.57/1251.92	c 1251s |      26 | 10142400 |  7699252 |     7991   2396 |        0 |        0
1253.57/1253.93	c 1253s |      26 | 10158656 |  7711552 |     7991   2399 |        0 |        0
1255.57/1255.95	c 1255s |      26 | 10169831 |  7720452 |     7991   2401 |        0 |        0
1257.58/1257.95	c 1257s |      26 | 10185074 |  7731752 |     7991   2404 |        0 |        0
1259.57/1259.96	c 1259s |      26 | 10201600 |  7744352 |     7991   2407 |        0 |        0
1261.57/1261.97	c 1261s |      26 | 10212971 |  7753152 |     7991   2409 |        0 |        0
1263.57/1263.98	c 1263s |      26 | 10226596 |  7763252 |     7991   2411 |        0 |        0
1265.57/1265.99	c 1265s |      26 | 10236030 |  7771252 |     7991   2413 |        0 |        0
1267.67/1268.00	c 1267s |      26 | 10247627 |  7780252 |     7991   2415 |        0 |        0
1269.67/1270.01	c 1269s |      26 | 10261121 |  7790652 |     7991   2418 |        0 |        0
1271.66/1272.01	c 1271s |      26 | 10279075 |  7803452 |     7991   2421 |        0 |        0
1273.66/1274.02	c 1273s |      26 | 10296245 |  7816252 |     7991   2424 |        0 |        0
1275.66/1276.04	c 1276s |      26 | 10311092 |  7827652 |     7991   2427 |        0 |        0
1277.66/1278.05	c 1278s |      26 | 10328785 |  7840952 |     7991   2430 |        0 |        0
1279.66/1280.06	c 1280s |      26 | 10345784 |  7853652 |     7991   2433 |        0 |        0
1281.66/1282.08	c 1282s |      26 | 10361171 |  7865652 |     7991   2435 |        0 |        0
1283.65/1284.08	c 1284s |      26 | 10380448 |  7879552 |     7991   2439 |        0 |        0
1285.65/1286.09	c 1286s |      26 | 10393818 |  7889652 |     7991   2441 |        0 |        0
1287.65/1288.09	c 1288s |      26 | 10412009 |  7902552 |     7991   2444 |        0 |        0
1289.75/1290.10	c 1290s |      26 | 10430378 |  7916452 |     7991   2447 |        0 |        0
1291.76/1292.12	c 1292s |      26 | 10446375 |  7928652 |     7991   2450 |        0 |        0
1293.76/1294.14	c 1294s |      26 | 10462743 |  7941252 |     7991   2453 |        0 |        0
1295.76/1296.15	c 1296s |      26 | 10476850 |  7952052 |     7991   2456 |        0 |        0
1297.75/1298.18	c 1298s |      26 | 10489756 |  7962352 |     7991   2458 |        0 |        0
1299.75/1300.18	c 1300s |      26 | 10506472 |  7974252 |     7991   2461 |        0 |        0
1301.75/1302.20	c 1302s |      26 | 10523598 |  7987052 |     7991   2464 |        0 |        0
1303.85/1304.21	c 1304s |      26 | 10535390 |  7996352 |     7991   2466 |        0 |        0
1305.86/1306.22	c 1306s |      26 | 10551654 |  8008452 |     7991   2469 |        0 |        0
1307.85/1308.23	c 1308s |      26 | 10566353 |  8019552 |     7991   2472 |        0 |        0
1309.85/1310.24	c 1310s |      26 | 10581715 |  8031052 |     7991   2474 |        0 |        0
1311.84/1312.25	c 1312s |      26 | 10599078 |  8043652 |     7991   2477 |        0 |        0
1313.84/1314.25	c 1314s |      26 | 10616084 |  8056652 |     7991   2480 |        0 |        0
1315.85/1316.26	c 1316s |      26 | 10632951 |  8069452 |     7991   2483 |        0 |        0
1317.84/1318.26	c 1318s |      26 | 10648307 |  8081052 |     7991   2486 |        0 |        0
1319.84/1320.27	c 1320s |      26 | 10666903 |  8095152 |     7991   2489 |        0 |        0
1321.84/1322.28	c 1322s |      26 | 10685647 |  8108952 |     7991   2492 |        0 |        0
1323.84/1324.28	c 1324s |      26 | 10703985 |  8122452 |     7991   2495 |        0 |        0
1325.84/1326.28	c 1326s |      26 | 10721298 |  8135252 |     7991   2498 |        0 |        0
1327.84/1328.29	c 1328s |      26 | 10740058 |  8148852 |     7991   2502 |        0 |        0
1329.94/1330.30	c 1330s |      26 | 10760778 |  8163952 |     7991   2505 |        0 |        0
1331.93/1332.30	c 1332s |      26 | 10778164 |  8177152 |     7991   2508 |        0 |        0
1333.93/1334.31	c 1334s |      26 | 10796849 |  8190752 |     7991   2511 |        0 |        0
1335.93/1336.32	c 1336s |      26 | 10814753 |  8203752 |     7991   2514 |        0 |        0
1337.93/1338.32	c 1338s |      26 | 10836301 |  8219052 |     7991   2518 |        0 |        0
1339.93/1340.33	c 1340s |      26 | 10852116 |  8230652 |     7991   2521 |        0 |        0
1341.92/1342.34	c 1342s |      26 | 10870318 |  8243952 |     7991   2524 |        0 |        0
1343.92/1344.34	c 1344s |      26 | 10889931 |  8257552 |     7991   2527 |        0 |        0
1345.92/1346.34	c 1346s |      26 | 10909155 |  8271452 |     7991   2530 |        0 |        0
1347.92/1348.35	c 1348s |      26 | 10925927 |  8283752 |     7991   2533 |        0 |        0
1349.94/1350.37	c 1350s |      26 | 10941623 |  8295752 |     7991   2536 |        0 |        0
1351.92/1352.37	c 1352s |      26 | 10961129 |  8309452 |     7991   2539 |        0 |        0
1353.92/1354.38	c 1354s |      26 | 10972360 |  8318452 |     7991   2541 |        0 |        0
1355.92/1356.38	c 1356s |      26 | 10980672 |  8325552 |     7991   2543 |        0 |        0
1357.92/1358.39	c 1358s |      26 | 10993149 |  8335352 |     7991   2545 |        0 |        0
1360.02/1360.42	c 1360s |      26 | 11005807 |  8345152 |     7991   2547 |        0 |        0
1362.02/1362.42	c 1362s |      26 | 11012859 |  8351552 |     7991   2549 |        0 |        0
1364.01/1364.43	c 1364s |      26 | 11021612 |  8358652 |     7991   2551 |        0 |        0
1366.01/1366.45	c 1366s |      26 | 11033259 |  8367852 |     7991   2553 |        0 |        0
1368.01/1368.46	c 1368s |      26 | 11044768 |  8377352 |     7991   2555 |        0 |        0
1370.01/1370.46	c 1370s |      26 | 11054858 |  8385052 |     7991   2557 |        0 |        0
1372.01/1372.46	c 1372s |      26 | 11070804 |  8396652 |     7991   2560 |        0 |        0
1374.02/1374.47	c 1374s |      26 | 11088549 |  8409152 |     7991   2563 |        0 |        0
1376.11/1376.50	c 1376s |      26 | 11107257 |  8421752 |     7991   2566 |        0 |        0
1378.11/1378.53	c 1378s |      26 | 11125116 |  8434752 |     7991   2569 |        0 |        0
1380.11/1380.55	c 1380s |      26 | 11137830 |  8444752 |     7991   2571 |        0 |        0
1382.10/1382.56	c 1382s |      26 | 11148379 |  8452952 |     7991   2573 |        0 |        0
1384.10/1384.57	c 1384s |      26 | 11162298 |  8463352 |     7991   2575 |        0 |        0
1386.11/1386.58	c 1386s |      26 | 11183313 |  8477952 |     7991   2579 |        0 |        0
1388.10/1388.58	c 1388s |      26 | 11194924 |  8487252 |     7991   2581 |        0 |        0
1390.10/1390.59	c 1390s |      26 | 11203854 |  8494852 |     7991   2583 |        0 |        0
1392.20/1392.60	c 1392s |      26 | 11217674 |  8505652 |     7991   2585 |        0 |        0
1394.20/1394.61	c 1394s |      26 | 11227055 |  8513652 |     7991   2587 |        0 |        0
1396.20/1396.64	c 1396s |      26 | 11237135 |  8521752 |     7991   2589 |        0 |        0
1398.20/1398.65	c 1398s |      26 | 11250819 |  8532552 |     7991   2591 |        0 |        0
1400.20/1400.66	c 1400s |      26 | 11264712 |  8543252 |     7991   2594 |        0 |        0
1402.19/1402.67	c 1402s |      26 | 11276475 |  8552652 |     7991   2596 |        0 |        0
1404.19/1404.69	c 1404s |      26 | 11289530 |  8562652 |     7991   2598 |        0 |        0
1406.29/1406.71	c 1406s |      26 | 11304541 |  8573752 |     7991   2601 |        0 |        0
1408.29/1408.71	c 1408s |      26 | 11318374 |  8584152 |     7991   2603 |        0 |        0
1410.30/1410.77	c 1410s |      26 | 11329335 |  8592852 |     7991   2606 |        0 |        0
1412.29/1412.77	c 1412s |      26 | 11342684 |  8602752 |     7991   2608 |        0 |        0
1414.29/1414.78	c 1414s |      26 | 11357488 |  8613752 |     7991   2610 |        0 |        0
1416.28/1416.79	c 1416s |      26 | 11372737 |  8624952 |     7991   2613 |        0 |        0
1418.38/1418.80	c 1418s |      26 | 11391047 |  8638552 |     7991   2616 |        0 |        0
1420.38/1420.81	c 1420s |      26 | 11401052 |  8646452 |     7991   2618 |        0 |        0
1422.40/1422.82	c 1422s |      26 | 11414278 |  8656852 |     7991   2621 |        0 |        0
1424.39/1424.82	c 1424s |      26 | 11426077 |  8666052 |     7991   2623 |        0 |        0
1426.39/1426.83	c 1426s |      26 | 11440532 |  8676652 |     7991   2625 |        0 |        0
1428.39/1428.84	c 1428s |      26 | 11458838 |  8689752 |     7991   2628 |        0 |        0
1430.39/1430.85	c 1430s |      26 | 11473281 |  8700552 |     7991   2631 |        0 |        0
1432.39/1432.87	c 1432s |      26 | 11488864 |  8711652 |     7991   2634 |        0 |        0
1434.49/1434.91	c 1434s |      26 | 11505483 |  8724152 |     7991   2637 |        0 |        0
1436.48/1436.91	c 1436s |      26 | 11525808 |  8738952 |     7991   2640 |        0 |        0
1438.48/1438.91	c 1438s |      26 | 11545235 |  8752952 |     7991   2643 |        0 |        0
1440.48/1440.92	c 1440s |      26 | 11563486 |  8766552 |     7991   2646 |        0 |        0
1442.48/1442.92	c 1442s |      26 | 11581190 |  8778552 |     7991   2649 |        0 |        0
1444.48/1444.93	c 1444s |      26 | 11602167 |  8793552 |     7991   2653 |        0 |        0
1446.48/1446.94	c 1446s |      26 | 11620301 |  8806852 |     7991   2656 |        0 |        0
1448.47/1448.94	c 1448s |      26 | 11639065 |  8820152 |     7991   2659 |        0 |        0
1450.47/1450.96	c 1450s |      26 | 11657045 |  8833252 |     7991   2662 |        0 |        0
1452.47/1452.96	c 1452s |      26 | 11670370 |  8843652 |     7991   2665 |        0 |        0
1454.47/1454.96	c 1454s |      26 | 11685015 |  8854452 |     7991   2667 |        0 |        0
1456.47/1456.97	c 1456s |      26 | 11698686 |  8865052 |     7991   2670 |        0 |        0
1458.47/1458.99	c 1458s |      26 | 11715327 |  8877152 |     7991   2673 |        0 |        0
1460.57/1461.01	c 1460s |      26 | 11729614 |  8888352 |     7991   2675 |        0 |        0
1462.56/1463.01	c 1462s |      26 | 11748151 |  8901452 |     7991   2678 |        0 |        0
1464.56/1465.01	c 1464s |      26 | 11769865 |  8916852 |     7991   2682 |        0 |        0
1466.56/1467.02	c 1466s |      26 | 11789042 |  8930752 |     7991   2685 |        0 |        0
1468.57/1469.02	c 1468s |      26 | 11803960 |  8941652 |     7991   2688 |        0 |        0
1470.56/1471.02	c 1470s |      26 | 11820594 |  8953952 |     7991   2691 |        0 |        0
1472.55/1473.04	c 1472s |      26 | 11838189 |  8966452 |     7991   2694 |        0 |        0
1474.55/1475.04	c 1475s |      26 | 11861116 |  8982952 |     7991   2698 |        0 |        0
1476.55/1477.05	c 1477s |      26 | 11878492 |  8995552 |     7991   2701 |        0 |        0
1478.56/1479.05	c 1479s |      26 | 11900252 |  9010952 |     7991   2704 |        0 |        0
1480.55/1481.06	c 1481s |      26 | 11922037 |  9026052 |     7991   2708 |        0 |        0
1482.55/1483.08	c 1483s |      26 | 11942545 |  9040252 |     7991   2711 |        0 |        0
1484.55/1485.09	c 1485s |      26 | 11964124 |  9054352 |     7991   2714 |        0 |        0
1486.55/1487.09	c 1487s |      26 | 11984452 |  9068752 |     7991   2718 |        0 |        0
1488.65/1489.10	c 1489s |      26 | 12000054 |  9080552 |     7991   2721 |        0 |        0
1490.66/1491.11	c 1491s |      26 | 12018750 |  9093952 |     7991   2724 |        0 |        0
1492.65/1493.12	c 1493s |      26 | 12035898 |  9106452 |     7991   2727 |        0 |        0
1494.65/1495.14	c 1495s |      26 | 12045908 |  9114652 |     7991   2729 |        0 |        0
1496.65/1497.14	c 1497s |      26 | 12062242 |  9126852 |     7991   2732 |        0 |        0
1498.65/1499.15	c 1499s |      26 | 12080345 |  9140252 |     7991   2735 |        0 |        0
1500.65/1501.16	c 1501s |      26 | 12095341 |  9151752 |     7991   2738 |        0 |        0
1502.65/1503.17	c 1503s |      26 | 12116230 |  9166552 |     7991   2741 |        0 |        0
1504.65/1505.18	c 1505s |      26 | 12136003 |  9180652 |     7991   2744 |        0 |        0
1506.65/1507.19	c 1507s |      26 | 12151261 |  9192152 |     7991   2747 |        0 |        0
1508.75/1509.22	c 1509s |      26 | 12170654 |  9206452 |     7991   2751 |        0 |        0
1510.75/1511.23	c 1511s |      26 | 12190027 |  9220452 |     7991   2754 |        0 |        0
1512.74/1513.25	c 1513s |      26 | 12207866 |  9233352 |     7991   2757 |        0 |        0
1514.75/1515.25	c 1515s |      26 | 12229685 |  9248452 |     7991   2760 |        0 |        0
1516.74/1517.26	c 1517s |      26 | 12239964 |  9257052 |     7991   2762 |        0 |        0
1518.74/1519.28	c 1519s |      26 | 12256624 |  9269252 |     7991   2765 |        0 |        0
1520.74/1521.28	c 1521s |      26 | 12269169 |  9279252 |     7991   2768 |        0 |        0
1522.83/1523.30	c 1523s |      26 | 12288444 |  9293252 |     7991   2771 |        0 |        0
1524.83/1525.32	c 1525s |      26 | 12299258 |  9301952 |     7991   2773 |        0 |        0
1526.84/1527.33	c 1527s |      26 | 12316024 |  9314552 |     7991   2776 |        0 |        0
1528.83/1529.34	c 1529s |      26 | 12331915 |  9326752 |     7991   2779 |        0 |        0
1530.83/1531.34	c 1531s |      26 | 12349073 |  9339452 |     7991   2782 |        0 |        0
1532.83/1533.35	c 1533s |      26 | 12365830 |  9352052 |     7991   2785 |        0 |        0
1534.83/1535.36	c 1535s |      26 | 12382428 |  9364452 |     7991   2788 |        0 |        0
1536.83/1537.36	c 1537s |      26 | 12395410 |  9374152 |     7991   2790 |        0 |        0
1538.83/1539.38	c 1539s |      26 | 12405359 |  9382552 |     7991   2792 |        0 |        0
1540.83/1541.38	c 1541s |      26 | 12420322 |  9392852 |     7991   2795 |        0 |        0
1542.83/1543.39	c 1543s |      26 | 12431728 |  9402152 |     7991   2797 |        0 |        0
1544.92/1545.40	c 1545s |      26 | 12446753 |  9413252 |     7991   2799 |        0 |        0
1546.92/1547.41	c 1547s |      26 | 12465757 |  9426652 |     7991   2803 |        0 |        0
1548.93/1549.42	c 1549s |      26 | 12480963 |  9438252 |     7991   2805 |        0 |        0
1550.92/1551.43	c 1551s |      26 | 12494600 |  9448452 |     7991   2808 |        0 |        0
1552.92/1553.45	c 1553s |      26 | 12510519 |  9459852 |     7991   2811 |        0 |        0
1554.92/1555.45	c 1555s |      26 | 12524567 |  9470452 |     7991   2813 |        0 |        0
1556.92/1557.46	c 1557s |      26 | 12535372 |  9479052 |     7991   2815 |        0 |        0
1558.92/1559.47	c 1559s |      26 | 12549367 |  9489652 |     7991   2817 |        0 |        0
1560.92/1561.48	c 1561s |      26 | 12565073 |  9501252 |     7991   2820 |        0 |        0
1562.92/1563.48	c 1563s |      26 | 12578324 |  9511452 |     7991   2823 |        0 |        0
1564.92/1565.49	c 1565s |      26 | 12592990 |  9522752 |     7991   2825 |        0 |        0
1567.02/1567.50	c 1567s |      26 | 12604744 |  9531852 |     7991   2827 |        0 |        0
1569.02/1569.51	c 1569s |      26 | 12618292 |  9542352 |     7991   2830 |        0 |        0
1571.02/1571.52	c 1571s |      26 | 12633708 |  9554152 |     7991   2833 |        0 |        0
1573.02/1573.55	c 1573s |      26 | 12646625 |  9564852 |     7991   2835 |        0 |        0
1575.02/1575.58	c 1575s |      26 | 12659833 |  9575452 |     7991   2838 |        0 |        0
1577.02/1577.59	c 1577s |      26 | 12672579 |  9585252 |     7991   2840 |        0 |        0
1579.12/1579.60	c 1579s |      26 | 12684555 |  9594552 |     7991   2842 |        0 |        0
1581.12/1581.69	c 1581s |      26 | 12698232 |  9605252 |     7991   2845 |        0 |        0
1583.12/1583.69	c 1583s |      26 | 12709755 |  9614752 |     7991   2847 |        0 |        0
1585.13/1585.70	c 1585s |      26 | 12722656 |  9624852 |     7991   2849 |        0 |        0
1587.22/1587.71	c 1587s |      26 | 12733919 |  9633752 |     7991   2851 |        0 |        0
1589.22/1589.73	c 1589s |      26 | 12743891 |  9641852 |     7991   2853 |        0 |        0
1591.22/1591.75	c 1591s |      26 | 12754737 |  9650152 |     7991   2855 |        0 |        0
1593.22/1593.76	c 1593s |      26 | 12769850 |  9661152 |     7991   2858 |        0 |        0
1595.22/1595.77	c 1595s |      26 | 12784616 |  9672152 |     7991   2860 |        0 |        0
1597.23/1597.78	c 1597s |      26 | 12798427 |  9682652 |     7991   2863 |        0 |        0
1599.32/1599.81	c 1599s |      26 | 12809256 |  9691352 |     7991   2865 |        0 |        0
1601.32/1601.82	c 1601s |      26 | 12822044 |  9701152 |     7991   2867 |        0 |        0
1603.32/1603.84	c 1603s |      26 | 12835738 |  9711552 |     7991   2869 |        0 |        0
1605.32/1605.84	c 1605s |      26 | 12847754 |  9721052 |     7991   2872 |        0 |        0
1607.32/1607.86	c 1607s |      26 | 12860507 |  9731552 |     7991   2874 |        0 |        0
1609.32/1609.86	c 1609s |      26 | 12874526 |  9742052 |     7991   2877 |        0 |        0
1611.32/1611.89	c 1611s |      26 | 12884889 |  9750352 |     7991   2879 |        0 |        0
1613.42/1613.91	c 1613s |      26 | 12893111 |  9757152 |     7991   2880 |        0 |        0
1615.42/1615.92	c 1615s |      26 | 12905853 |  9766652 |     7991   2882 |        0 |        0
1617.42/1617.93	c 1617s |      26 | 12923320 |  9779352 |     7991   2885 |        0 |        0
1619.42/1619.94	c 1619s |      26 | 12941971 |  9792752 |     7991   2889 |        0 |        0
1621.42/1621.94	c 1621s |      26 | 12957604 |  9804252 |     7991   2891 |        0 |        0
1623.42/1623.97	c 1623s |      26 | 12970871 |  9814252 |     7991   2894 |        0 |        0
1625.41/1625.98	c 1625s |      26 | 12984585 |  9824352 |     7991   2896 |        0 |        0
1627.41/1628.00	c 1627s |      26 | 12998530 |  9834952 |     7991   2898 |        0 |        0
1629.51/1630.03	c 1629s |      26 | 13008941 |  9843552 |     7991   2901 |        0 |        0
1631.51/1632.04	c 1632s |      26 | 13021626 |  9853052 |     7991   2903 |        0 |        0
1633.52/1634.05	c 1634s |      26 | 13040233 |  9866552 |     7991   2906 |        0 |        0
1635.51/1636.06	c 1636s |      26 | 13052924 |  9876252 |     7991   2908 |        0 |        0
1637.51/1638.07	c 1638s |      26 | 13065390 |  9886152 |     7991   2911 |        0 |        0
1639.51/1640.08	c 1640s |      26 | 13075959 |  9894552 |     7991   2913 |        0 |        0
1641.51/1642.08	c 1642s |      26 | 13089646 |  9905452 |     7991   2915 |        0 |        0
1643.52/1644.09	c 1644s |      26 | 13107176 |  9918452 |     7991   2918 |        0 |        0
1645.51/1646.10	c 1646s |      26 | 13123673 |  9930852 |     7991   2921 |        0 |        0
1647.61/1648.10	c 1648s |      26 | 13141134 |  9944252 |     7991   2924 |        0 |        0
1649.61/1650.12	c 1650s |      26 | 13156152 |  9955352 |     7991   2927 |        0 |        0
1651.61/1652.13	c 1652s |      26 | 13177271 |  9970252 |     7991   2931 |        0 |        0
1653.61/1654.14	c 1654s |      26 | 13190146 |  9980652 |     7991   2933 |        0 |        0
1655.62/1656.14	c 1656s |      26 | 13205716 |  9992152 |     7991   2936 |        0 |        0
1657.61/1658.16	c 1658s |      26 | 13219719 | 10003352 |     7991   2938 |        0 |        0
1659.61/1660.18	c 1660s |      26 | 13227638 | 10010152 |     7991   2940 |        0 |        0
1661.61/1662.18	c 1662s |      26 | 13236956 | 10017852 |     7991   2942 |        0 |        0
1663.61/1664.19	c 1664s |      26 | 13248709 | 10027052 |     7991   2944 |        0 |        0
1665.70/1666.22	c 1666s |      26 | 13263790 | 10038152 |     7991   2947 |        0 |        0
1667.71/1668.24	c 1668s |      26 | 13274613 | 10046852 |     7991   2949 |        0 |        0
1669.70/1670.25	c 1670s |      26 | 13288899 | 10058052 |     7991   2951 |        0 |        0
1671.70/1672.26	c 1672s |      26 | 13298620 | 10065952 |     7991   2953 |        0 |        0
1673.70/1674.27	c 1674s |      26 | 13314125 | 10077052 |     7991   2956 |        0 |        0
1675.70/1676.27	c 1676s |      26 | 13334674 | 10092152 |     7991   2959 |        0 |        0
1677.70/1678.28	c 1678s |      26 | 13348934 | 10103052 |     7991   2962 |        0 |        0
1679.81/1680.32	c 1680s |      26 | 13364511 | 10114452 |     7991   2965 |        0 |        0
1681.80/1682.33	c 1682s |      26 | 13384207 | 10129252 |     7991   2968 |        0 |        0
1683.80/1684.37	c 1684s |      26 | 13399415 | 10140852 |     7991   2971 |        0 |        0
1685.80/1686.39	c 1686s |      26 | 13413110 | 10152152 |     7991   2973 |        0 |        0
1687.80/1688.39	c 1688s |      26 | 13428178 | 10164152 |     7991   2976 |        0 |        0
1689.90/1690.42	c 1690s |      26 | 13441107 | 10174252 |     7991   2979 |        0 |        0
1691.90/1692.44	c 1692s |      26 | 13456540 | 10186652 |     7991   2982 |        0 |        0
1693.90/1694.44	c 1694s |      26 | 13474683 | 10199652 |     7991   2985 |        0 |        0
1695.90/1696.45	c 1696s |      26 | 13487840 | 10210152 |     7991   2987 |        0 |        0
1697.90/1698.47	c 1698s |      26 | 13501881 | 10221152 |     7991   2990 |        0 |        0
1699.91/1700.48	c 1700s |      26 | 13520672 | 10235552 |     7991   2993 |        0 |        0
1701.91/1702.48	c 1702s |      26 | 13537774 | 10247952 |     7991   2996 |        0 |        0
1703.91/1704.50	c 1704s |      26 | 13551167 | 10258652 |     7991   2998 |        0 |        0
1706.00/1706.51	c 1706s |      26 | 13565463 | 10269652 |     7991   3001 |        0 |        0
1708.00/1708.51	c 1708s |      26 | 13581487 | 10282052 |     7991   3004 |        0 |        0
1710.00/1710.52	c 1710s |      26 | 13597670 | 10294252 |     7991   3007 |        0 |        0
1712.00/1712.53	c 1712s |      26 | 13609293 | 10303652 |     7991   3009 |        0 |        0
1714.00/1714.54	c 1714s |      26 | 13626410 | 10316352 |     7991   3012 |        0 |        0
1716.01/1716.56	c 1716s |      26 | 13639828 | 10326852 |     7991   3014 |        0 |        0
1718.00/1718.57	c 1718s |      26 | 13658896 | 10340852 |     7991   3018 |        0 |        0
1720.00/1720.58	c 1720s |      26 | 13678618 | 10355352 |     7991   3021 |        0 |        0
1722.00/1722.59	c 1722s |      26 | 13695137 | 10367852 |     7991   3024 |        0 |        0
1724.00/1724.60	c 1724s |      26 | 13710107 | 10378952 |     7991   3027 |        0 |        0
1726.10/1726.61	c 1726s |      26 | 13725004 | 10390652 |     7991   3030 |        0 |        0
1728.10/1728.62	c 1728s |      26 | 13740891 | 10402752 |     7991   3032 |        0 |        0
1730.10/1730.63	c 1730s |      26 | 13756122 | 10414152 |     7991   3035 |        0 |        0
1732.10/1732.63	c 1732s |      26 | 13765977 | 10422052 |     7991   3037 |        0 |        0
1734.10/1734.64	c 1734s |      26 | 13781645 | 10433952 |     7991   3040 |        0 |        0
1736.10/1736.64	c 1736s |      26 | 13793664 | 10443852 |     7991   3042 |        0 |        0
1738.10/1738.64	c 1738s |      26 | 13802214 | 10451152 |     7991   3044 |        0 |        0
1740.10/1740.67	c 1740s |      26 | 13812565 | 10459252 |     7991   3046 |        0 |        0
1742.09/1742.68	c 1742s |      26 | 13821288 | 10466452 |     7991   3048 |        0 |        0
1744.09/1744.68	c 1744s |      26 | 13831314 | 10474052 |     7991   3049 |        0 |        0
1746.09/1746.69	c 1746s |      26 | 13846854 | 10484852 |     7991   3052 |        0 |        0
1748.19/1748.71	c 1748s |      26 | 13856902 | 10493052 |     7991   3054 |        0 |        0
1750.20/1750.72	c 1750s |      26 | 13871818 | 10504452 |     7991   3057 |        0 |        0
1752.19/1752.74	c 1752s |      26 | 13884183 | 10514352 |     7991   3059 |        0 |        0
1754.19/1754.74	c 1754s |      26 | 13899259 | 10525752 |     7991   3062 |        0 |        0
1756.19/1756.74	c 1756s |      26 | 13912226 | 10536152 |     7991   3064 |        0 |        0
1758.29/1758.81	c 1758s |      26 | 13924944 | 10546052 |     7991   3067 |        0 |        0
1760.29/1760.82	c 1760s |      26 | 13939194 | 10557052 |     7991   3069 |        0 |        0
1762.29/1762.82	c 1762s |      26 | 13954898 | 10568452 |     7991   3072 |        0 |        0
1764.29/1764.84	c 1764s |      26 | 13967083 | 10577852 |     7991   3074 |        0 |        0
1766.29/1766.86	c 1766s |      26 | 13978116 | 10586552 |     7991   3076 |        0 |        0
1768.29/1768.87	c 1768s |      26 | 13990963 | 10596152 |     7991   3078 |        0 |        0
1770.29/1770.88	c 1770s |      26 | 14006801 | 10608352 |     7991   3081 |        0 |        0
1772.29/1772.89	c 1772s |      26 | 14018516 | 10617952 |     7991   3083 |        0 |        0
1774.29/1774.89	c 1774s |      26 | 14029507 | 10626552 |     7991   3085 |        0 |        0
1776.39/1776.90	c 1776s |      26 | 14041862 | 10635652 |     7991   3088 |        0 |        0
1778.39/1778.91	c 1778s |      26 | 14055651 | 10646352 |     7991   3090 |        0 |        0
1780.39/1780.96	c 1780s |      26 | 14072038 | 10658452 |     7991   3093 |        0 |        0
1782.39/1782.98	c 1782s |      26 | 14089665 | 10671652 |     7991   3096 |        0 |        0
1784.39/1784.98	c 1784s |      26 | 14109773 | 10685652 |     7991   3100 |        0 |        0
1786.40/1786.99	c 1786s |      26 | 14128683 | 10698752 |     7991   3103 |        0 |        0
1788.49/1789.01	c 1788s |      26 | 14141643 | 10708752 |     7991   3105 |        0 |        0
1790.49/1791.02	c 1790s |      26 | 14158742 | 10721352 |     7991   3108 |        0 |        0
1792.49/1793.07	c 1793s |      26 | 14172843 | 10732152 |     7991   3111 |        0 |        0
1794.49/1795.07	c 1795s |      26 | 14187565 | 10742852 |     7991   3113 |        0 |        0
1796.49/1797.09	c 1797s |      26 | 14202034 | 10753852 |     7991   3116 |        0 |        0
1798.60/1799.11	c 1799s |      26 | 14217561 | 10765652 |     7991   3118 |        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-4088623-1466009818/watcher-4088623-1466009818 -o /tmp/evaluation-result-4088623-1466009818/solver-4088623-1466009818 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088623-1466009818.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6198
/proc/meminfo: memFree=31021848/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/6198/stat : 6198 (runsolver) D 6195 6198 5955 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 3027264 24911872 151 33554432000 4194304 4338465 140736530813296 140736530810936 211458804919 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/6198/statm: 6082 151 105 36 0 2655 0

[startup+0.100168 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6198
/proc/meminfo: memFree=31021848/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 23122 0 0 0 6 2 0 0 20 0 4 0 3027264 1247350784 23473 33554432000 4194304 16246674 140735574983648 140735574966640 5725352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 304529 23485 709 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200426 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6198
/proc/meminfo: memFree=31021848/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 44684 0 0 0 13 6 0 0 20 0 4 0 3027264 1247350784 45034 33554432000 4194304 16246674 140735574983648 140735574966640 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 304529 45044 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300382 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6198
/proc/meminfo: memFree=31021848/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 65970 0 0 0 20 8 0 0 20 0 4 0 3027264 1247350784 66320 33554432000 4194304 16246674 140735574983648 140735574966640 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 304529 66332 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700338 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6198
/proc/meminfo: memFree=31021848/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 148582 0 0 0 50 19 0 0 20 0 4 0 3027264 1247350784 148933 33554432000 4194304 16246674 140735574983648 140735574966640 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 304529 148939 716 2943 0 301423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.20 2.09 2.20 4/183 6202
/proc/meminfo: memFree=29915920/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1222212 CPUtime=1.48 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 211519 0 0 0 121 27 0 0 20 0 4 0 3027264 1251545088 211849 33554432000 4194304 16246674 140735574983648 140735574965568 5672222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 305553 211849 790 2943 0 302447 0
[pid=6198/tid=6200] ppid=6195 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1251545088 211849 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1251545088 211849 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1251545088 211849 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.20 2.09 2.20 3/183 6202
/proc/meminfo: memFree=29696688/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 267657 0 0 0 275 33 0 0 20 0 4 0 3027264 1338576896 267987 33554432000 4194304 16246674 140735574983648 140735574966648 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 326801 267987 794 2943 0 323695 0
[pid=6198/tid=6200] ppid=6195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1338576896 267987 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1338576896 267987 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1338576896 267987 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.35 2.12 2.21 3/183 6202
/proc/meminfo: memFree=29583344/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 268087 0 0 0 595 33 0 0 20 0 4 0 3027264 1339625472 268417 33554432000 4194304 16246674 140735574983648 140735574965568 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 327057 268417 794 2943 0 323951 0
[pid=6198/tid=6200] ppid=6195 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1339625472 268417 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1339625472 268417 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1339625472 268417 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7074 s]
/proc/loadavg: 2.40 2.13 2.21 3/183 6202
/proc/meminfo: memFree=29578532/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 269111 0 0 0 1235 33 0 0 20 0 4 0 3027264 1343819776 269441 33554432000 4194304 16246674 140735574983648 140735574965568 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 328081 269441 794 2943 0 324975 0
[pid=6198/tid=6200] ppid=6195 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1343819776 269441 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1343819776 269441 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1343819776 269441 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.31 2.13 2.21 3/183 6202
/proc/meminfo: memFree=29574384/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 270135 0 0 0 2514 34 0 0 20 0 4 0 3027264 1348014080 270465 33554432000 4194304 16246674 140735574983648 140735574965568 5546036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 329105 270465 794 2943 0 325999 0
[pid=6198/tid=6200] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.20 2.12 2.20 3/183 6202
/proc/meminfo: memFree=29573776/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1316420 CPUtime=51.09 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 270135 0 0 0 5074 35 0 0 20 0 4 0 3027264 1348014080 270465 33554432000 4194304 16246674 140735574983648 140735574965568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 329105 270465 794 2943 0 325999 0
[pid=6198/tid=6200] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1348014080 270465 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.12 2.11 2.19 3/183 6203
/proc/meminfo: memFree=29568052/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1321540 CPUtime=102.26 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 271416 0 0 0 10191 35 0 0 20 0 4 0 3027264 1353256960 271746 33554432000 4194304 16246674 140735574983648 140735574966648 5754723 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 330385 271746 795 2943 0 327279 0
[pid=6198/tid=6200] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1321540

[startup+162.307 s]
/proc/loadavg: 2.10 2.10 2.18 3/183 6205
/proc/meminfo: memFree=29544096/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1321540 CPUtime=162.26 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 271416 0 0 0 16190 36 0 0 20 0 4 0 3027264 1353256960 271746 33554432000 4194304 16246674 140735574983648 140735574965568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 330385 271746 795 2943 0 327279 0
[pid=6198/tid=6200] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1353256960 271746 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1321540

[startup+222.3 s]
/proc/loadavg: 2.07 2.10 2.17 3/184 6209
/proc/meminfo: memFree=29495672/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1332804 CPUtime=222.25 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 274232 0 0 0 22187 38 0 0 20 0 4 0 3027264 1364791296 274562 33554432000 4194304 16246674 140735574983648 140735574965568 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 333201 274562 795 2943 0 330095 0
[pid=6198/tid=6200] ppid=6195 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1364791296 274562 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1364791296 274562 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1364791296 274562 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1332804


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

/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1348164

[startup+1362.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 6258
/proc/meminfo: memFree=29362544/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1361.92 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278385 0 0 0 136136 56 0 0 20 0 4 0 3027264 1380519936 278659 33554432000 4194304 16246674 140735574983648 140735574965568 5808585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278659 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.08 3/184 6262
/proc/meminfo: memFree=29361700/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1421.89 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278427 0 0 0 142132 57 0 0 20 0 4 0 3027264 1380519936 278659 33554432000 4194304 16246674 140735574983648 140735574965568 6012071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278659 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1348164

[startup+1482.31 s]
/proc/loadavg: 2.14 2.09 2.09 3/183 6312
/proc/meminfo: memFree=29365868/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1481.85 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278465 0 0 0 148128 57 0 0 20 0 4 0 3027264 1380519936 278659 33554432000 4194304 16246674 140735574983648 140735574982744 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278659 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278659 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1348164

[startup+1542.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 6313
/proc/meminfo: memFree=29367572/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1541.83 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278496 0 0 0 154125 58 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574981440 5662756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 6363
/proc/meminfo: memFree=29360560/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1601.82 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 160123 59 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574965568 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/182 6364
/proc/meminfo: memFree=29352996/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1661.81 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 166122 59 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574966648 5822848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 2.09 4/183 6366
/proc/meminfo: memFree=29351812/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1721.8 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 172120 60 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574965568 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.09 2.09 2.09 4/183 6367
/proc/meminfo: memFree=29352092/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1781.79 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 178118 61 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574966648 4221031 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 6367
/proc/meminfo: memFree=29352656/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1800.09 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 179948 61 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574982744 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1348164

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

[startup+1800.6 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 6367
/proc/meminfo: memFree=29352656/32872528 swapFree=496356/529060
[pid=6198] ppid=6195 vsize=1348164 CPUtime=1800.09 cores=0,2,4,6
/proc/6198/stat : 6198 (toysat) R 6195 6198 5955 0 -1 4202496 278498 0 0 0 179948 61 0 0 20 0 4 0 3027264 1380519936 278660 33554432000 4194304 16246674 140735574983648 140735574982744 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6198/statm: 337041 278660 796 2943 0 333935 0
[pid=6198/tid=6200] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6200/stat : 6200 (toysat) S 6195 6198 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845407059184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6198/tid=6201] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6201/stat : 6201 (toysat) S 6195 6198 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845396569328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=6198/tid=6202] ppid=6195 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6198/task/6202/stat : 6202 (toysat) S 6195 6198 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027265 1380519936 278660 33554432000 4194304 16246674 140735574983648 139845276003504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1348164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.49
CPU system time (s): 0.612906
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.612906
maximum resident set size= 1114640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278498
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= 436
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01324 second user time and 6.98894 second system time

The end

Begin job on node141 at 2016-06-15 18:56:58
IDJOB=4088623
IDBENCH=107290
IDSOLVER=2542
FILE ID=node141/4088623-1466009818
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 65d2183b4c574fa2cf65445fcf73174a
RANDOM SEED=1471132176

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:        31022136 kB
Buffers:            4332 kB
Cached:            69432 kB
SwapCached:        13080 kB
Active:           593028 kB
Inactive:          27932 kB
Active(anon):     537704 kB
Inactive(anon):    12008 kB
Active(file):      55324 kB
Inactive(file):    15924 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088048 kB
Dirty:             32752 kB
Writeback:             0 kB
AnonPages:       1064904 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             566808 kB
SReclaimable:      10292 kB
SUnreclaim:       556516 kB
KernelStack:        1448 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1659772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 19:26:59