0.00/0.00	c 2016-06-16T02:19:33+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-4089981-1466036373.opb"]
0.00/0.01	c use --random-gen="3807093185 4219919365 278881916 2709037362 60538964 2132017074 2343247013 3696540930 2166953958 3425545936 2613621175 3377256147 3364246695 3888252067 3137492226 2480952618 474215770 1829754003 1844852309 3283336152 1100647563 2551108281 2137970086 723396369 3320264965 2937149428 2969576260 2264801724 599103088 3293888181 1660508472 609351762 2246314267 3574383533 318434807 4083386553 566756158 1849719838 3373392598 1822044559 3004114470 1556084287 179246672 89291290 3518929780 3411498680 1431430121 533733605 3386733352 1265382936 2514971736 2879027796 3130230520 1628841270 2806609371 1409850954 3628865510 3205259368 2548151075 501666875 3167732624 4248031150 4155535864 2997336041 1197821577 344847387 2403022733 3715769567 3442959214 2849233399 3071114504 4207333123 1969272839 652880819 1738492977 1118842821 1414377276 3299237066 53392732 2503384795 2214855292 3074186163 4123531213 3648582527 2095137632 1322139262 4269152475 252302912 3663343995 2628133155 2856215620 2200584260 3043269955 4180585488 1094264144 3095799104 3981504539 1266009152 925141701 3642824466 448090250 3848977510 3425620612 3245782696 164509491 3774189399 3494160902 3213224766 3830228391 2516086692 2146004471 49213455 783355066 2031162053 2232315514 125528192 3239729716 3739854586 2619822266 2056566539 3299251195 3022725065 1752730663 745184663 3822538226 3961927214 3463196070 2575634096 2634788403 3082165836 3404493349 3711362559 1646624852 2062915185 1014059148 818900465 630698991 2064578814 1677166854 3840231164 2656065677 487540614 4251440241 3425226261 2995733282 571294651 185466183 2733351869 1340029724 3682047413 3576314679 2736381884 2282966486 4285668673 311459947 769623808 3667755047 1282376780 479371122 146834153 503794973 1831691470 381976184 2778712213 3258207530 2043376056 3705934598 791545173 1833689387 1255583487 1308888938 325690045 3200086207 2334382391 1131435179 2352068323 1565388696 3190097370 2609470765 1591355266 3447973771 976321198 3614817476 976480497 1322864464 2720536477 3007386219 1989137780 895083790 1809633016 3029418070 1136495732 53307803 918865983 1665936743 4095089181 2514003253 3409979345 2858966624 1663066002 1094750839 1838431149 2671688063 1360344495 3356786166 307553474 2279766934 2799633741 3744918685 759683005 4025918741 3659749391 519950780 1207417001 2904134035 2746123224 664753446 1952828897 4102342869 4041241842 4065955000 3050746912 3081041756 799400134 3310133824 3332009155 3153319666 709128528 2257772218 1258779635 1869941913 935973545 2328130098 680680485 2312459297 215478766 2616499931 1145457771 3036815928 645514315 1552386239 392527047 2904289908 3508699602 2864919720 2981004533 2373506073 3305045362 1996370661 195595774 802756220 2314208643 1789773908 925072742 1044152049 1812937740 255 362436" option to reproduce the execution
0.00/0.01	c #vars 123
0.00/0.01	c #constraints 41
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       68      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      117 |      100 |       68      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      306 |      250 |       75      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      591 |      475 |       83      5 |        0 |        0
0.09/0.13	c  0.1s |       4 |      990 |      813 |       92      9 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1614 |     1320 |      102     15 |        0 |        0
0.19/0.40	c  0.3s |       6 |     2474 |     2081 |      125     23 |        0 |        0
0.19/0.52	c  0.5s |       7 |     3840 |     3223 |      138     34 |        0 |        0
0.78/0.81	c  0.8s |       8 |     5802 |     4936 |      152     50 |        0 |        0
1.09/1.12	c  1.1s |       9 |     8700 |     7506 |      168     73 |        0 |        0
1.48/1.58	c  1.6s |      10 |    13068 |    11361 |      185    105 |        0 |        0
2.18/2.22	c  2.2s |      11 |    19387 |    17144 |      204    149 |        0 |        0
3.18/3.23	c  3.2s |      12 |    28859 |    25819 |      225    212 |        0 |        0
4.69/4.73	c  4.7s |      13 |    43455 |    38832 |      248    298 |        0 |        0
6.68/6.73	c  6.7s |      13 |    60582 |    54432 |      248    397 |        0 |        0
7.18/7.25	c  7.2s |      14 |    64871 |    58352 |      273    421 |        0 |        0
9.19/9.25	c  9.2s |      14 |    83292 |    74852 |      273    519 |        0 |        0
10.79/10.86	c 10.8s |      15 |    97575 |    87632 |      301    593 |        0 |        0
12.79/12.87	c 12.9s |      15 |   116857 |   104632 |      301    686 |        0 |        0
14.79/14.88	c 14.9s |      15 |   135461 |   121332 |      301    779 |        0 |        0
16.09/16.15	c 16.1s |      16 |   146584 |   131552 |      332    834 |        0 |        0
18.09/18.16	c 18.1s |      16 |   164854 |   148052 |      332    917 |        0 |        0
20.09/20.16	c 20.2s |      16 |   181503 |   163252 |      332    992 |        0 |        0
22.09/22.18	c 22.2s |      16 |   198051 |   178052 |      332   1067 |        0 |        0
24.08/24.18	c 24.2s |      16 |   213555 |   192452 |      332   1139 |        0 |        0
24.78/24.87	c 24.9s |      17 |   218991 |   197432 |      366   1163 |        0 |        0
26.78/26.88	c 26.9s |      17 |   235439 |   212532 |      366   1232 |        0 |        0
28.79/28.89	c 28.9s |      17 |   250556 |   226432 |      366   1296 |        0 |        0
30.78/30.89	c 30.9s |      17 |   266300 |   240832 |      366   1362 |        0 |        0
32.88/32.90	c 32.9s |      17 |   281776 |   255032 |      366   1428 |        0 |        0
34.88/34.91	c 34.9s |      17 |   297073 |   269132 |      366   1492 |        0 |        0
36.88/36.92	c 36.9s |      17 |   311984 |   282832 |      366   1554 |        0 |        0
38.69/38.80	c 38.8s |      18 |   326795 |   296252 |      403   1615 |        0 |        0
40.78/40.81	c 40.8s |      18 |   343527 |   311552 |      403   1680 |        0 |        0
42.78/42.81	c 42.8s |      18 |   359526 |   326152 |      403   1741 |        0 |        0
44.78/44.82	c 44.8s |      18 |   375685 |   341052 |      403   1804 |        0 |        0
46.78/46.82	c 46.8s |      18 |   392225 |   356152 |      403   1869 |        0 |        0
48.78/48.83	c 48.8s |      18 |   407227 |   370052 |      403   1929 |        0 |        0
50.78/50.83	c 50.8s |      18 |   422726 |   384352 |      403   1990 |        0 |        0
52.78/52.84	c 52.8s |      18 |   438292 |   398552 |      403   2051 |        0 |        0
54.78/54.85	c 54.8s |      18 |   453559 |   412752 |      403   2112 |        0 |        0
56.77/56.86	c 56.8s |      18 |   468879 |   426852 |      403   2172 |        0 |        0
58.77/58.86	c 58.9s |      18 |   485811 |   441852 |      444   2235 |        0 |        0
59.17/59.24	c 59.2s |      19 |   488798 |   444482 |      444   2246 |        0 |        0
61.17/61.24	c 61.2s |      19 |   508972 |   461282 |      444   2313 |        0 |        0
63.17/63.25	c 63.2s |      19 |   527246 |   477182 |      444   2376 |        0 |        0
65.18/65.25	c 65.2s |      19 |   544419 |   492682 |      444   2437 |        0 |        0
67.17/67.25	c 67.2s |      19 |   561724 |   507982 |      444   2498 |        0 |        0
69.18/69.26	c 69.3s |      19 |   579664 |   523782 |      444   2560 |        0 |        0
71.18/71.27	c 71.3s |      19 |   597825 |   539682 |      444   2623 |        0 |        0
73.18/73.28	c 73.3s |      19 |   614987 |   554982 |      444   2684 |        0 |        0
75.18/75.28	c 75.3s |      19 |   632071 |   570182 |      444   2744 |        0 |        0
77.18/77.29	c 77.3s |      19 |   649769 |   585582 |      444   2804 |        0 |        0
79.18/79.29	c 79.3s |      19 |   666317 |   599982 |      444   2861 |        0 |        0
81.28/81.31	c 81.3s |      19 |   684289 |   615982 |      444   2924 |        0 |        0
83.28/83.31	c 83.3s |      19 |   702339 |   631782 |      444   2987 |        0 |        0
85.28/85.32	c 85.3s |      19 |   719615 |   647082 |      444   3047 |        0 |        0
87.27/87.32	c 87.3s |      19 |   737598 |   662882 |      489   3108 |        0 |        0
87.77/87.83	c 87.8s |      20 |   741981 |   666827 |      489   3123 |        0 |        0
89.77/89.83	c 89.8s |      20 |   758702 |   681927 |      489   3177 |        0 |        0
91.77/91.83	c 91.8s |      20 |   776134 |   697427 |      489   3233 |        0 |        0
93.78/93.83	c 93.8s |      20 |   791629 |   711527 |      489   3284 |        0 |        0
95.77/95.84	c 95.8s |      20 |   807168 |   725427 |      489   3334 |        0 |        0
97.77/97.85	c 97.8s |      20 |   823497 |   739827 |      489   3385 |        0 |        0
99.77/99.85	c 99.8s |      20 |   839437 |   754427 |      489   3438 |        0 |        0
101.77/101.85	c  101s |      20 |   855001 |   768527 |      489   3489 |        0 |        0
103.77/103.86	c  103s |      20 |   872461 |   783927 |      489   3545 |        0 |        0
105.78/105.87	c  105s |      20 |   888846 |   798627 |      489   3599 |        0 |        0
107.77/107.87	c  107s |      20 |   905099 |   813227 |      489   3652 |        0 |        0
109.77/109.88	c  109s |      20 |   921949 |   828327 |      489   3707 |        0 |        0
111.77/111.89	c  111s |      20 |   937491 |   842327 |      489   3758 |        0 |        0
113.87/113.90	c  113s |      20 |   952999 |   856527 |      489   3810 |        0 |        0
115.87/115.90	c  115s |      20 |   968738 |   870827 |      489   3861 |        0 |        0
117.87/117.91	c  117s |      20 |   985165 |   885627 |      489   3916 |        0 |        0
119.87/119.92	c  119s |      20 |  1000673 |   899727 |      489   3967 |        0 |        0
121.86/121.92	c  121s |      20 |  1016284 |   913927 |      489   4019 |        0 |        0
123.87/123.92	c  123s |      20 |  1033453 |   929227 |      489   4074 |        0 |        0
125.87/125.92	c  125s |      20 |  1050269 |   944127 |      489   4129 |        0 |        0
127.88/127.93	c  127s |      20 |  1066488 |   958827 |      489   4182 |        0 |        0
129.87/129.93	c  129s |      20 |  1082141 |   973227 |      489   4234 |        0 |        0
131.87/131.94	c  131s |      20 |  1098333 |   987727 |      489   4286 |        0 |        0
133.67/133.74	c  133s |      21 |  1112217 |  1000345 |      538   4330 |        0 |        0
135.67/135.75	c  135s |      21 |  1128321 |  1014845 |      538   4378 |        0 |        0
137.68/137.76	c  137s |      21 |  1143910 |  1028745 |      538   4424 |        0 |        0
139.67/139.77	c  139s |      21 |  1158632 |  1042045 |      538   4468 |        0 |        0
141.67/141.78	c  141s |      21 |  1173005 |  1055045 |      538   4511 |        0 |        0
143.67/143.78	c  143s |      21 |  1186727 |  1067745 |      538   4553 |        0 |        0
145.67/145.79	c  145s |      21 |  1199766 |  1079945 |      538   4593 |        0 |        0
147.77/147.80	c  147s |      21 |  1212966 |  1092145 |      538   4633 |        0 |        0
149.77/149.82	c  149s |      21 |  1227512 |  1105345 |      538   4677 |        0 |        0
151.77/151.83	c  151s |      21 |  1241414 |  1118245 |      538   4719 |        0 |        0
153.77/153.84	c  153s |      21 |  1254253 |  1130145 |      538   4758 |        0 |        0
155.77/155.84	c  155s |      21 |  1267240 |  1142245 |      538   4798 |        0 |        0
157.76/157.85	c  157s |      21 |  1281276 |  1155345 |      538   4842 |        0 |        0
159.77/159.86	c  159s |      21 |  1295290 |  1168245 |      538   4884 |        0 |        0
161.76/161.87	c  161s |      21 |  1310157 |  1181745 |      538   4929 |        0 |        0
163.76/163.88	c  163s |      21 |  1323069 |  1193845 |      538   4969 |        0 |        0
165.76/165.89	c  165s |      21 |  1336265 |  1206145 |      538   5009 |        0 |        0
167.86/167.90	c  167s |      21 |  1349925 |  1218645 |      538   5051 |        0 |        0
169.86/169.91	c  169s |      21 |  1363770 |  1231245 |      538   5092 |        0 |        0
171.87/171.92	c  171s |      21 |  1378025 |  1244245 |      538   5135 |        0 |        0
173.86/173.93	c  173s |      21 |  1392299 |  1257145 |      538   5178 |        0 |        0
175.86/175.93	c  175s |      21 |  1406242 |  1269845 |      538   5220 |        0 |        0
177.86/177.94	c  177s |      21 |  1419322 |  1281845 |      538   5259 |        0 |        0
179.86/179.95	c  179s |      21 |  1432213 |  1293745 |      538   5299 |        0 |        0
181.86/181.96	c  181s |      21 |  1444915 |  1305545 |      538   5338 |        0 |        0
183.86/183.97	c  183s |      21 |  1459077 |  1318645 |      538   5381 |        0 |        0
185.86/185.97	c  185s |      21 |  1473708 |  1331845 |      538   5425 |        0 |        0
187.86/187.97	c  187s |      21 |  1486196 |  1343545 |      538   5464 |        0 |        0
189.86/189.99	c  189s |      21 |  1498617 |  1355045 |      538   5501 |        0 |        0
191.85/191.99	c  191s |      21 |  1512090 |  1367445 |      538   5542 |        0 |        0
193.86/194.00	c  193s |      21 |  1526232 |  1380345 |      538   5585 |        0 |        0
195.96/196.01	c  195s |      21 |  1540627 |  1393245 |      538   5627 |        0 |        0
197.95/198.02	c  198s |      21 |  1554144 |  1405445 |      538   5667 |        0 |        0
199.96/200.03	c  200s |      21 |  1568092 |  1418145 |      538   5709 |        0 |        0
201.96/202.04	c  202s |      21 |  1581989 |  1430745 |      538   5751 |        0 |        0
203.96/204.05	c  204s |      21 |  1595931 |  1443345 |      538   5793 |        0 |        0
205.97/206.06	c  206s |      21 |  1608500 |  1455045 |      538   5831 |        0 |        0
207.96/208.06	c  208s |      21 |  1622284 |  1467645 |      538   5873 |        0 |        0
209.96/210.07	c  210s |      21 |  1635956 |  1480045 |      538   5913 |        0 |        0
211.96/212.08	c  212s |      21 |  1650192 |  1492745 |      592   5955 |        0 |        0
213.26/213.34	c  213s |      22 |  1658696 |  1500622 |      592   5978 |        0 |        0
215.26/215.34	c  215s |      22 |  1674923 |  1515422 |      592   6023 |        0 |        0
217.26/217.35	c  217s |      22 |  1691496 |  1530322 |      592   6069 |        0 |        0
219.26/219.36	c  219s |      22 |  1708712 |  1545522 |      592   6115 |        0 |        0
221.27/221.37	c  221s |      22 |  1724353 |  1559322 |      592   6157 |        0 |        0
223.26/223.37	c  223s |      22 |  1739568 |  1572822 |      592   6199 |        0 |        0
225.26/225.39	c  225s |      22 |  1753488 |  1585622 |      592   6237 |        0 |        0
227.26/227.40	c  227s |      22 |  1766606 |  1597722 |      592   6274 |        0 |        0
229.36/229.40	c  229s |      22 |  1779533 |  1609722 |      592   6310 |        0 |        0
231.36/231.41	c  231s |      22 |  1793212 |  1622222 |      592   6348 |        0 |        0
233.36/233.42	c  233s |      22 |  1805733 |  1633922 |      592   6383 |        0 |        0
235.36/235.42	c  235s |      22 |  1818910 |  1646122 |      592   6420 |        0 |        0
237.35/237.42	c  237s |      22 |  1832287 |  1658322 |      592   6457 |        0 |        0
239.35/239.43	c  239s |      22 |  1845888 |  1670922 |      592   6495 |        0 |        0
241.35/241.44	c  241s |      22 |  1860582 |  1684522 |      592   6536 |        0 |        0
243.36/243.45	c  243s |      22 |  1875305 |  1698122 |      592   6578 |        0 |        0
245.35/245.45	c  245s |      22 |  1888964 |  1710822 |      592   6616 |        0 |        0
247.35/247.45	c  247s |      22 |  1903509 |  1724022 |      592   6656 |        0 |        0
249.35/249.46	c  249s |      22 |  1918617 |  1737322 |      592   6698 |        0 |        0
251.35/251.47	c  251s |      22 |  1933945 |  1751022 |      592   6740 |        0 |        0
253.35/253.49	c  253s |      22 |  1948959 |  1764422 |      592   6780 |        0 |        0
255.35/255.49	c  255s |      22 |  1963022 |  1777322 |      592   6819 |        0 |        0
257.44/257.50	c  257s |      22 |  1976828 |  1790122 |      592   6859 |        0 |        0
259.44/259.51	c  259s |      22 |  1991383 |  1803522 |      592   6899 |        0 |        0
261.44/261.51	c  261s |      22 |  2006794 |  1817422 |      592   6942 |        0 |        0
263.45/263.52	c  263s |      22 |  2022343 |  1831422 |      592   6985 |        0 |        0
265.44/265.52	c  265s |      22 |  2037395 |  1845022 |      592   7027 |        0 |        0
267.45/267.52	c  267s |      22 |  2053105 |  1859122 |      592   7070 |        0 |        0
269.44/269.53	c  269s |      22 |  2068061 |  1872522 |      592   7112 |        0 |        0
271.44/271.54	c  271s |      22 |  2083754 |  1886522 |      592   7155 |        0 |        0
273.44/273.54	c  273s |      22 |  2099319 |  1900522 |      592   7198 |        0 |        0
275.44/275.55	c  275s |      22 |  2114954 |  1914622 |      592   7241 |        0 |        0
277.44/277.56	c  277s |      22 |  2129804 |  1928222 |      592   7283 |        0 |        0
279.44/279.57	c  279s |      22 |  2145100 |  1941922 |      592   7325 |        0 |        0
281.44/281.57	c  281s |      22 |  2158964 |  1954622 |      592   7364 |        0 |        0
283.44/283.58	c  283s |      22 |  2173595 |  1967822 |      592   7405 |        0 |        0
285.43/285.58	c  285s |      22 |  2189780 |  1981922 |      592   7448 |        0 |        0
287.43/287.59	c  287s |      22 |  2205959 |  1996222 |      592   7492 |        0 |        0
289.44/289.59	c  289s |      22 |  2221985 |  2010622 |      592   7537 |        0 |        0
291.53/291.60	c  291s |      22 |  2238432 |  2025322 |      592   7582 |        0 |        0
293.53/293.60	c  293s |      22 |  2253557 |  2039022 |      592   7624 |        0 |        0
295.53/295.60	c  295s |      22 |  2268784 |  2052922 |      592   7666 |        0 |        0
297.53/297.61	c  297s |      22 |  2284096 |  2066822 |      592   7709 |        0 |        0
299.53/299.61	c  299s |      22 |  2298988 |  2080522 |      592   7750 |        0 |        0
301.53/301.63	c  301s |      22 |  2313583 |  2093922 |      592   7791 |        0 |        0
303.53/303.63	c  303s |      22 |  2327222 |  2106522 |      592   7830 |        0 |        0
305.52/305.64	c  305s |      22 |  2342534 |  2120422 |      592   7873 |        0 |        0
307.52/307.65	c  307s |      22 |  2358157 |  2134422 |      592   7915 |        0 |        0
309.52/309.66	c  309s |      22 |  2374673 |  2149022 |      592   7960 |        0 |        0
311.52/311.66	c  311s |      22 |  2390900 |  2163622 |      592   8005 |        0 |        0
313.52/313.68	c  313s |      22 |  2407456 |  2178322 |      592   8051 |        0 |        0
315.51/315.68	c  315s |      22 |  2422345 |  2191522 |      592   8091 |        0 |        0
317.51/317.68	c  317s |      22 |  2438130 |  2205822 |      592   8135 |        0 |        0
319.52/319.68	c  319s |      22 |  2453535 |  2219922 |      592   8178 |        0 |        0
321.52/321.69	c  321s |      22 |  2469072 |  2233922 |      592   8222 |        0 |        0
323.52/323.69	c  323s |      22 |  2484117 |  2247522 |      652   8260 |        0 |        0
324.02/324.19	c  324s |      23 |  2488050 |  2251038 |      652   8270 |        0 |        0
326.11/326.20	c  326s |      23 |  2503751 |  2265038 |      652   8309 |        0 |        0
328.11/328.21	c  328s |      23 |  2518483 |  2278338 |      652   8345 |        0 |        0
330.12/330.21	c  330s |      23 |  2533517 |  2292038 |      652   8384 |        0 |        0
332.11/332.23	c  332s |      23 |  2549151 |  2305738 |      652   8423 |        0 |        0
334.11/334.23	c  334s |      23 |  2564370 |  2319338 |      652   8461 |        0 |        0
336.10/336.24	c  336s |      23 |  2579302 |  2332838 |      652   8498 |        0 |        0
338.10/338.26	c  338s |      23 |  2593462 |  2345638 |      652   8534 |        0 |        0
340.11/340.27	c  340s |      23 |  2607451 |  2358338 |      652   8570 |        0 |        0
342.10/342.27	c  342s |      23 |  2621996 |  2371538 |      652   8607 |        0 |        0
344.10/344.27	c  344s |      23 |  2635525 |  2383938 |      652   8641 |        0 |        0
346.10/346.29	c  346s |      23 |  2649680 |  2396938 |      652   8678 |        0 |        0
348.10/348.29	c  348s |      23 |  2663009 |  2409138 |      652   8711 |        0 |        0
350.20/350.31	c  350s |      23 |  2675878 |  2421038 |      652   8744 |        0 |        0
352.21/352.32	c  352s |      23 |  2688574 |  2432738 |      652   8777 |        0 |        0
354.20/354.32	c  354s |      23 |  2703260 |  2445938 |      652   8814 |        0 |        0
356.20/356.32	c  356s |      23 |  2718061 |  2459038 |      652   8850 |        0 |        0
358.20/358.34	c  358s |      23 |  2732921 |  2472238 |      652   8887 |        0 |        0
360.19/360.34	c  360s |      23 |  2748064 |  2485638 |      652   8924 |        0 |        0
362.19/362.35	c  362s |      23 |  2763780 |  2499838 |      652   8964 |        0 |        0
364.20/364.35	c  364s |      23 |  2778072 |  2513138 |      652   9002 |        0 |        0
366.19/366.36	c  366s |      23 |  2793272 |  2526938 |      652   9041 |        0 |        0
368.19/368.36	c  368s |      23 |  2808043 |  2540338 |      652   9078 |        0 |        0
370.19/370.37	c  370s |      23 |  2823185 |  2554238 |      652   9117 |        0 |        0
372.20/372.38	c  372s |      23 |  2837824 |  2567638 |      652   9155 |        0 |        0
374.20/374.39	c  374s |      23 |  2852036 |  2580738 |      652   9192 |        0 |        0
376.30/376.41	c  376s |      23 |  2866589 |  2594238 |      652   9229 |        0 |        0
378.29/378.42	c  378s |      23 |  2881369 |  2607538 |      652   9267 |        0 |        0
380.29/380.42	c  380s |      23 |  2897141 |  2621538 |      652   9306 |        0 |        0
382.29/382.42	c  382s |      23 |  2912083 |  2635138 |      652   9344 |        0 |        0
384.29/384.43	c  384s |      23 |  2927921 |  2649538 |      652   9384 |        0 |        0
386.30/386.44	c  386s |      23 |  2943912 |  2663838 |      652   9425 |        0 |        0
388.29/388.44	c  388s |      23 |  2959127 |  2677538 |      652   9463 |        0 |        0
390.29/390.45	c  390s |      23 |  2973163 |  2690438 |      652   9499 |        0 |        0
392.29/392.46	c  392s |      23 |  2987970 |  2704038 |      652   9537 |        0 |        0
394.29/394.47	c  394s |      23 |  3003882 |  2718238 |      652   9577 |        0 |        0
396.28/396.48	c  396s |      23 |  3018392 |  2731538 |      652   9614 |        0 |        0
398.29/398.49	c  398s |      23 |  3033933 |  2745638 |      652   9654 |        0 |        0
400.28/400.49	c  400s |      23 |  3049557 |  2759838 |      652   9694 |        0 |        0
402.38/402.50	c  402s |      23 |  3064109 |  2773138 |      652   9732 |        0 |        0
404.38/404.50	c  404s |      23 |  3078039 |  2786038 |      652   9768 |        0 |        0
406.38/406.51	c  406s |      23 |  3093042 |  2799838 |      652   9807 |        0 |        0
408.38/408.51	c  408s |      23 |  3107596 |  2813438 |      652   9845 |        0 |        0
410.39/410.53	c  410s |      23 |  3121764 |  2826638 |      652   9882 |        0 |        0
412.38/412.53	c  412s |      23 |  3135342 |  2839338 |      652   9918 |        0 |        0
414.38/414.54	c  414s |      23 |  3148175 |  2851238 |      652   9951 |        0 |        0
416.37/416.54	c  416s |      23 |  3161035 |  2863238 |      652   9985 |        0 |        0
418.37/418.55	c  418s |      23 |  3176368 |  2877338 |      652  10024 |        0 |        0
420.38/420.56	c  420s |      23 |  3192090 |  2891838 |      652  10065 |        0 |        0
422.37/422.57	c  422s |      23 |  3207672 |  2906038 |      652  10105 |        0 |        0
424.37/424.58	c  424s |      23 |  3222653 |  2919738 |      652  10143 |        0 |        0
426.37/426.59	c  426s |      23 |  3237843 |  2933538 |      652  10182 |        0 |        0
428.37/428.59	c  428s |      23 |  3252473 |  2947038 |      652  10220 |        0 |        0
430.47/430.60	c  430s |      23 |  3267167 |  2960738 |      652  10258 |        0 |        0
432.47/432.61	c  432s |      23 |  3282191 |  2974438 |      652  10297 |        0 |        0
434.46/434.62	c  434s |      23 |  3298229 |  2988738 |      652  10337 |        0 |        0
436.46/436.63	c  436s |      23 |  3312616 |  3002138 |      652  10375 |        0 |        0
438.46/438.64	c  438s |      23 |  3326868 |  3015338 |      652  10412 |        0 |        0
440.47/440.65	c  440s |      23 |  3342490 |  3029438 |      652  10451 |        0 |        0
442.47/442.67	c  442s |      23 |  3357618 |  3043138 |      652  10490 |        0 |        0
444.48/444.68	c  444s |      23 |  3372536 |  3056738 |      652  10528 |        0 |        0
446.47/446.69	c  446s |      23 |  3387285 |  3070438 |      652  10566 |        0 |        0
448.46/448.69	c  448s |      23 |  3401660 |  3083838 |      652  10604 |        0 |        0
450.56/450.70	c  450s |      23 |  3415507 |  3096638 |      652  10639 |        0 |        0
452.56/452.70	c  452s |      23 |  3429011 |  3109038 |      652  10674 |        0 |        0
454.56/454.72	c  454s |      23 |  3443587 |  3122338 |      652  10711 |        0 |        0
456.57/456.72	c  456s |      23 |  3458482 |  3135938 |      652  10749 |        0 |        0
458.56/458.73	c  458s |      23 |  3473557 |  3149738 |      652  10787 |        0 |        0
460.56/460.73	c  460s |      23 |  3487905 |  3162838 |      652  10824 |        0 |        0
462.56/462.74	c  462s |      23 |  3502045 |  3175738 |      652  10860 |        0 |        0
464.56/464.74	c  464s |      23 |  3516743 |  3189238 |      652  10898 |        0 |        0
466.56/466.74	c  466s |      23 |  3529784 |  3201338 |      652  10932 |        0 |        0
468.55/468.75	c  468s |      23 |  3544613 |  3214938 |      652  10971 |        0 |        0
470.55/470.75	c  470s |      23 |  3559738 |  3228738 |      652  11010 |        0 |        0
472.55/472.77	c  472s |      23 |  3573685 |  3241638 |      652  11046 |        0 |        0
474.55/474.77	c  474s |      23 |  3587289 |  3254038 |      652  11081 |        0 |        0
476.55/476.78	c  476s |      23 |  3601040 |  3266638 |      652  11116 |        0 |        0
478.55/478.80	c  478s |      23 |  3614147 |  3278738 |      652  11151 |        0 |        0
480.65/480.81	c  480s |      23 |  3626767 |  3290438 |      652  11184 |        0 |        0
482.65/482.82	c  482s |      23 |  3640977 |  3303438 |      652  11220 |        0 |        0
484.65/484.82	c  484s |      23 |  3656095 |  3317238 |      652  11259 |        0 |        0
486.64/486.83	c  486s |      23 |  3671585 |  3331238 |      652  11299 |        0 |        0
488.64/488.83	c  488s |      23 |  3685869 |  3344338 |      652  11336 |        0 |        0
490.66/490.85	c  490s |      23 |  3698702 |  3356138 |      718  11369 |        0 |        0
492.65/492.85	c  492s |      23 |  3711814 |  3368038 |      718  11399 |        0 |        0
494.25/494.40	c  494s |      24 |  3721240 |  3376662 |      718  11421 |        0 |        0
496.25/496.41	c  496s |      24 |  3735959 |  3389862 |      718  11455 |        0 |        0
498.24/498.42	c  498s |      24 |  3749773 |  3402462 |      718  11487 |        0 |        0
500.24/500.43	c  500s |      24 |  3763843 |  3415162 |      718  11520 |        0 |        0
502.24/502.43	c  502s |      24 |  3778549 |  3428462 |      718  11554 |        0 |        0
504.24/504.44	c  504s |      24 |  3793783 |  3442062 |      718  11588 |        0 |        0
506.24/506.46	c  506s |      24 |  3809710 |  3455762 |      718  11624 |        0 |        0
508.25/508.46	c  508s |      24 |  3825171 |  3469362 |      718  11659 |        0 |        0
510.24/510.46	c  510s |      24 |  3840315 |  3482962 |      718  11694 |        0 |        0
512.24/512.47	c  512s |      24 |  3854463 |  3495762 |      718  11727 |        0 |        0
514.24/514.48	c  514s |      24 |  3867759 |  3508062 |      718  11758 |        0 |        0
516.23/516.48	c  516s |      24 |  3881457 |  3520662 |      718  11791 |        0 |        0
518.24/518.49	c  518s |      24 |  3894307 |  3532662 |      718  11821 |        0 |        0
520.23/520.50	c  520s |      24 |  3908204 |  3545362 |      718  11854 |        0 |        0
522.33/522.50	c  522s |      24 |  3921851 |  3557562 |      718  11885 |        0 |        0
524.33/524.50	c  524s |      24 |  3936308 |  3570662 |      718  11918 |        0 |        0
526.33/526.51	c  526s |      24 |  3951249 |  3584062 |      718  11953 |        0 |        0
528.33/528.52	c  528s |      24 |  3966000 |  3597462 |      718  11987 |        0 |        0
530.33/530.52	c  530s |      24 |  3982007 |  3611762 |      718  12023 |        0 |        0
532.33/532.52	c  532s |      24 |  3998411 |  3626062 |      718  12060 |        0 |        0
534.32/534.52	c  534s |      24 |  4014161 |  3639962 |      718  12096 |        0 |        0
536.32/536.54	c  536s |      24 |  4030214 |  3653962 |      718  12132 |        0 |        0
538.32/538.55	c  538s |      24 |  4046247 |  3667862 |      718  12167 |        0 |        0
540.32/540.55	c  540s |      24 |  4060557 |  3680762 |      718  12200 |        0 |        0
542.33/542.55	c  542s |      24 |  4074748 |  3693662 |      718  12233 |        0 |        0
544.32/544.56	c  544s |      24 |  4090196 |  3707162 |      718  12268 |        0 |        0
546.32/546.56	c  546s |      24 |  4104825 |  3720262 |      718  12301 |        0 |        0
548.32/548.58	c  548s |      24 |  4119633 |  3733462 |      718  12335 |        0 |        0
550.32/550.58	c  550s |      24 |  4136922 |  3747962 |      718  12372 |        0 |        0
552.33/552.59	c  552s |      24 |  4153193 |  3762262 |      718  12409 |        0 |        0
554.32/554.59	c  554s |      24 |  4168822 |  3776062 |      718  12445 |        0 |        0
556.42/556.61	c  556s |      24 |  4184605 |  3789962 |      718  12480 |        0 |        0
558.42/558.61	c  558s |      24 |  4201661 |  3804362 |      718  12517 |        0 |        0
560.42/560.62	c  560s |      24 |  4216829 |  3817862 |      718  12551 |        0 |        0
562.42/562.63	c  562s |      24 |  4233871 |  3832762 |      718  12590 |        0 |        0
564.42/564.64	c  564s |      24 |  4251128 |  3847562 |      718  12628 |        0 |        0
566.41/566.65	c  566s |      24 |  4267960 |  3861862 |      718  12664 |        0 |        0
568.41/568.66	c  568s |      24 |  4284503 |  3875862 |      718  12700 |        0 |        0
570.41/570.68	c  570s |      24 |  4301637 |  3890462 |      718  12738 |        0 |        0
572.41/572.68	c  572s |      24 |  4317643 |  3904562 |      718  12774 |        0 |        0
574.41/574.69	c  574s |      24 |  4334084 |  3918862 |      718  12811 |        0 |        0
576.41/576.70	c  576s |      24 |  4350967 |  3933162 |      718  12848 |        0 |        0
578.50/578.70	c  578s |      24 |  4365973 |  3946662 |      718  12882 |        0 |        0
580.50/580.71	c  580s |      24 |  4382793 |  3961262 |      718  12920 |        0 |        0
582.50/582.73	c  582s |      24 |  4398780 |  3975462 |      718  12956 |        0 |        0
584.50/584.74	c  584s |      24 |  4414414 |  3989462 |      718  12992 |        0 |        0
586.50/586.74	c  586s |      24 |  4431726 |  4004462 |      718  13031 |        0 |        0
588.51/588.74	c  588s |      24 |  4447980 |  4018762 |      718  13067 |        0 |        0
590.50/590.75	c  590s |      24 |  4462344 |  4031762 |      718  13100 |        0 |        0
592.50/592.76	c  592s |      24 |  4476887 |  4044762 |      718  13134 |        0 |        0
594.50/594.76	c  594s |      24 |  4491809 |  4058162 |      718  13168 |        0 |        0
596.49/596.77	c  596s |      24 |  4505742 |  4071062 |      718  13201 |        0 |        0
598.50/598.77	c  598s |      24 |  4520816 |  4084662 |      718  13236 |        0 |        0
600.49/600.78	c  600s |      24 |  4535183 |  4097762 |      718  13270 |        0 |        0
602.49/602.78	c  602s |      24 |  4549932 |  4111062 |      718  13304 |        0 |        0
604.50/604.79	c  604s |      24 |  4564666 |  4124262 |      718  13338 |        0 |        0
606.59/606.80	c  606s |      24 |  4579307 |  4137562 |      718  13372 |        0 |        0
608.59/608.81	c  608s |      24 |  4594173 |  4150862 |      718  13406 |        0 |        0
610.60/610.82	c  610s |      24 |  4609292 |  4164362 |      718  13441 |        0 |        0
612.59/612.83	c  612s |      24 |  4624623 |  4177962 |      718  13476 |        0 |        0
614.59/614.83	c  614s |      24 |  4639809 |  4191462 |      718  13511 |        0 |        0
616.59/616.84	c  616s |      24 |  4654738 |  4205062 |      718  13545 |        0 |        0
618.59/618.85	c  618s |      24 |  4669925 |  4218662 |      718  13580 |        0 |        0
620.59/620.85	c  620s |      24 |  4683723 |  4231462 |      718  13613 |        0 |        0
622.59/622.86	c  622s |      24 |  4698852 |  4245162 |      718  13648 |        0 |        0
624.59/624.87	c  624s |      24 |  4712819 |  4257962 |      718  13680 |        0 |        0
626.58/626.87	c  626s |      24 |  4726759 |  4270562 |      718  13713 |        0 |        0
628.58/628.88	c  628s |      24 |  4742165 |  4284162 |      718  13748 |        0 |        0
630.58/630.89	c  630s |      24 |  4756343 |  4297162 |      718  13781 |        0 |        0
632.68/632.91	c  632s |      24 |  4771645 |  4310662 |      718  13815 |        0 |        0
634.68/634.91	c  634s |      24 |  4787144 |  4324462 |      718  13850 |        0 |        0
636.67/636.93	c  636s |      24 |  4802527 |  4338262 |      718  13885 |        0 |        0
638.67/638.93	c  638s |      24 |  4817840 |  4352062 |      718  13921 |        0 |        0
640.67/640.94	c  640s |      24 |  4832810 |  4365362 |      718  13955 |        0 |        0
642.67/642.95	c  642s |      24 |  4847318 |  4378562 |      718  13988 |        0 |        0
644.68/644.96	c  644s |      24 |  4861965 |  4391762 |      718  14022 |        0 |        0
646.66/646.96	c  646s |      24 |  4876026 |  4404462 |      718  14055 |        0 |        0
648.66/648.97	c  648s |      24 |  4889966 |  4417262 |      718  14087 |        0 |        0
650.66/650.98	c  650s |      24 |  4903981 |  4429962 |      718  14120 |        0 |        0
652.66/652.99	c  652s |      24 |  4917951 |  4442662 |      718  14152 |        0 |        0
654.76/655.00	c  654s |      24 |  4933132 |  4456362 |      718  14187 |        0 |        0
656.67/657.00	c  656s |      24 |  4948495 |  4469862 |      718  14222 |        0 |        0
658.76/659.01	c  658s |      24 |  4964885 |  4484062 |      718  14258 |        0 |        0
660.76/661.01	c  661s |      24 |  4980332 |  4497562 |      718  14293 |        0 |        0
662.76/663.02	c  663s |      24 |  4996018 |  4511262 |      718  14328 |        0 |        0
664.76/665.03	c  665s |      24 |  5011973 |  4524862 |      718  14364 |        0 |        0
666.75/667.04	c  667s |      24 |  5026465 |  4537462 |      718  14396 |        0 |        0
668.76/669.04	c  669s |      24 |  5039985 |  4549562 |      718  14427 |        0 |        0
670.75/671.05	c  671s |      24 |  5055224 |  4562862 |      718  14461 |        0 |        0
672.75/673.06	c  673s |      24 |  5070240 |  4576462 |      718  14496 |        0 |        0
674.75/675.07	c  675s |      24 |  5084871 |  4589762 |      718  14531 |        0 |        0
676.75/677.08	c  677s |      24 |  5098960 |  4602562 |      718  14564 |        0 |        0
678.75/679.08	c  679s |      24 |  5114354 |  4616362 |      718  14599 |        0 |        0
680.75/681.10	c  681s |      24 |  5129574 |  4629662 |      718  14633 |        0 |        0
682.85/683.11	c  683s |      24 |  5144735 |  4643462 |      718  14669 |        0 |        0
684.86/685.12	c  685s |      24 |  5159612 |  4656862 |      718  14703 |        0 |        0
686.85/687.12	c  687s |      24 |  5174792 |  4670162 |      718  14737 |        0 |        0
688.85/689.14	c  689s |      24 |  5189265 |  4683262 |      718  14771 |        0 |        0
690.86/691.15	c  691s |      24 |  5204337 |  4696862 |      718  14805 |        0 |        0
692.85/693.15	c  693s |      24 |  5221403 |  4711562 |      718  14843 |        0 |        0
694.85/695.16	c  695s |      24 |  5237438 |  4725462 |      718  14879 |        0 |        0
696.85/697.17	c  697s |      24 |  5252421 |  4738862 |      718  14914 |        0 |        0
698.85/699.18	c  699s |      24 |  5267538 |  4752362 |      718  14948 |        0 |        0
700.85/701.18	c  701s |      24 |  5281430 |  4765162 |      718  14981 |        0 |        0
702.85/703.19	c  703s |      24 |  5294868 |  4777262 |      718  15012 |        0 |        0
704.94/705.20	c  705s |      24 |  5308012 |  4789062 |      718  15042 |        0 |        0
706.94/707.20	c  707s |      24 |  5320635 |  4800562 |      718  15072 |        0 |        0
708.94/709.22	c  709s |      24 |  5332377 |  4811562 |      718  15100 |        0 |        0
710.94/711.23	c  711s |      24 |  5344580 |  4822962 |      718  15129 |        0 |        0
712.94/713.24	c  713s |      24 |  5357185 |  4834562 |      718  15158 |        0 |        0
714.95/715.24	c  715s |      24 |  5368946 |  4845362 |      718  15186 |        0 |        0
716.94/717.26	c  717s |      24 |  5381258 |  4856562 |      718  15214 |        0 |        0
718.94/719.27	c  719s |      24 |  5394144 |  4868262 |      718  15244 |        0 |        0
720.94/721.27	c  721s |      24 |  5408247 |  4880562 |      718  15276 |        0 |        0
722.94/723.28	c  723s |      24 |  5421319 |  4892462 |      718  15306 |        0 |        0
724.94/725.29	c  725s |      24 |  5434923 |  4904762 |      718  15338 |        0 |        0
726.93/727.30	c  727s |      24 |  5449224 |  4917962 |      718  15371 |        0 |        0
729.03/729.30	c  729s |      24 |  5463371 |  4930962 |      718  15404 |        0 |        0
731.03/731.31	c  731s |      24 |  5478920 |  4944862 |      718  15440 |        0 |        0
733.03/733.32	c  733s |      24 |  5493352 |  4958162 |      718  15474 |        0 |        0
735.03/735.32	c  735s |      24 |  5507223 |  4970862 |      718  15507 |        0 |        0
737.03/737.34	c  737s |      24 |  5520945 |  4983362 |      718  15538 |        0 |        0
739.02/739.34	c  739s |      24 |  5535977 |  4997062 |      718  15573 |        0 |        0
741.02/741.34	c  741s |      24 |  5550770 |  5010362 |      718  15608 |        0 |        0
743.02/743.35	c  743s |      24 |  5564934 |  5023462 |      718  15641 |        0 |        0
745.02/745.36	c  745s |      24 |  5578511 |  5036162 |      790  15672 |        0 |        0
747.02/747.37	c  747s |      24 |  5592154 |  5048862 |      790  15702 |        0 |        0
749.02/749.37	c  749s |      24 |  5606422 |  5061962 |      790  15732 |        0 |        0
749.52/749.84	c  749s |      25 |  5609861 |  5065098 |      790  15740 |        0 |        0
751.52/751.85	c  751s |      25 |  5624496 |  5078298 |      790  15770 |        0 |        0
753.52/753.86	c  753s |      25 |  5638644 |  5091298 |      790  15801 |        0 |        0
755.51/755.87	c  755s |      25 |  5651922 |  5103698 |      790  15830 |        0 |        0
757.51/757.88	c  757s |      25 |  5666045 |  5116798 |      790  15860 |        0 |        0
759.51/759.88	c  759s |      25 |  5679722 |  5129498 |      790  15890 |        0 |        0
761.51/761.89	c  761s |      25 |  5692856 |  5141498 |      790  15918 |        0 |        0
763.61/763.90	c  763s |      25 |  5706778 |  5154298 |      790  15948 |        0 |        0
765.62/765.91	c  765s |      25 |  5721253 |  5167398 |      790  15979 |        0 |        0
767.61/767.92	c  767s |      25 |  5734154 |  5179398 |      790  16007 |        0 |        0
769.61/769.93	c  769s |      25 |  5748047 |  5192298 |      790  16037 |        0 |        0
771.61/771.93	c  771s |      25 |  5761880 |  5204998 |      790  16067 |        0 |        0
773.61/773.93	c  773s |      25 |  5775616 |  5217598 |      790  16096 |        0 |        0
775.60/775.95	c  775s |      25 |  5789662 |  5230398 |      790  16127 |        0 |        0
777.61/777.95	c  777s |      25 |  5803597 |  5243198 |      790  16157 |        0 |        0
779.60/779.96	c  779s |      25 |  5816874 |  5255398 |      790  16185 |        0 |        0
781.60/781.97	c  781s |      25 |  5830631 |  5267898 |      790  16215 |        0 |        0
783.60/783.98	c  783s |      25 |  5845800 |  5281098 |      790  16246 |        0 |        0
785.60/786.00	c  785s |      25 |  5859548 |  5293598 |      790  16275 |        0 |        0
787.70/788.00	c  787s |      25 |  5872623 |  5305498 |      790  16303 |        0 |        0
789.60/790.00	c  789s |      25 |  5886262 |  5317998 |      790  16332 |        0 |        0
791.70/792.00	c  791s |      25 |  5899874 |  5330598 |      790  16362 |        0 |        0
793.70/794.02	c  794s |      25 |  5914299 |  5343698 |      790  16392 |        0 |        0
795.69/796.03	c  796s |      25 |  5927682 |  5356098 |      790  16421 |        0 |        0
797.69/798.03	c  798s |      25 |  5941631 |  5368798 |      790  16451 |        0 |        0
799.70/800.05	c  800s |      25 |  5957155 |  5382598 |      790  16484 |        0 |        0
801.69/802.06	c  802s |      25 |  5971441 |  5395598 |      790  16514 |        0 |        0
803.69/804.06	c  804s |      25 |  5986046 |  5408898 |      790  16545 |        0 |        0
805.68/806.07	c  806s |      25 |  6000526 |  5422098 |      790  16577 |        0 |        0
807.68/808.08	c  808s |      25 |  6014637 |  5434998 |      790  16607 |        0 |        0
809.68/810.09	c  810s |      25 |  6028939 |  5447798 |      790  16637 |        0 |        0
811.79/812.10	c  812s |      25 |  6042459 |  5460198 |      790  16666 |        0 |        0
813.78/814.11	c  814s |      25 |  6055911 |  5472598 |      790  16695 |        0 |        0
815.78/816.12	c  816s |      25 |  6069518 |  5484898 |      790  16724 |        0 |        0
817.77/818.13	c  818s |      25 |  6083163 |  5497498 |      790  16754 |        0 |        0
819.77/820.14	c  820s |      25 |  6097894 |  5510698 |      790  16785 |        0 |        0
821.77/822.15	c  822s |      25 |  6112918 |  5524198 |      790  16817 |        0 |        0
823.78/824.16	c  824s |      25 |  6127408 |  5537298 |      790  16847 |        0 |        0
825.77/826.18	c  826s |      25 |  6141456 |  5550198 |      790  16878 |        0 |        0
827.77/828.19	c  828s |      25 |  6155972 |  5563498 |      790  16909 |        0 |        0
829.78/830.19	c  830s |      25 |  6170231 |  5576698 |      790  16940 |        0 |        0
831.88/832.20	c  832s |      25 |  6184044 |  5589598 |      790  16970 |        0 |        0
833.88/834.20	c  834s |      25 |  6198180 |  5602698 |      790  17001 |        0 |        0
835.88/836.21	c  836s |      25 |  6211795 |  5615298 |      790  17031 |        0 |        0
837.87/838.21	c  838s |      25 |  6225083 |  5627698 |      790  17060 |        0 |        0
839.87/840.23	c  840s |      25 |  6239623 |  5640898 |      790  17091 |        0 |        0
841.87/842.24	c  842s |      25 |  6252920 |  5653298 |      790  17119 |        0 |        0
843.87/844.25	c  844s |      25 |  6266532 |  5665698 |      790  17148 |        0 |        0
845.87/846.25	c  846s |      25 |  6280848 |  5678798 |      790  17179 |        0 |        0
847.86/848.27	c  848s |      25 |  6294866 |  5691698 |      790  17209 |        0 |        0
849.86/850.27	c  850s |      25 |  6309762 |  5704998 |      790  17241 |        0 |        0
851.86/852.27	c  852s |      25 |  6324628 |  5718398 |      790  17272 |        0 |        0
853.86/854.28	c  854s |      25 |  6339504 |  5731898 |      790  17304 |        0 |        0
855.86/856.28	c  856s |      25 |  6353809 |  5744898 |      790  17334 |        0 |        0
857.87/858.29	c  858s |      25 |  6369541 |  5758898 |      790  17367 |        0 |        0
859.96/860.30	c  860s |      25 |  6383781 |  5771898 |      790  17398 |        0 |        0
861.96/862.30	c  862s |      25 |  6398569 |  5784998 |      790  17429 |        0 |        0
863.96/864.31	c  864s |      25 |  6413788 |  5798398 |      790  17460 |        0 |        0
865.96/866.32	c  866s |      25 |  6427395 |  5810898 |      790  17489 |        0 |        0
867.96/868.32	c  868s |      25 |  6441735 |  5823798 |      790  17520 |        0 |        0
869.96/870.33	c  870s |      25 |  6455770 |  5836598 |      790  17550 |        0 |        0
871.95/872.34	c  872s |      25 |  6469867 |  5849498 |      790  17580 |        0 |        0
873.95/874.35	c  874s |      25 |  6483452 |  5862098 |      790  17609 |        0 |        0
875.95/876.35	c  876s |      25 |  6496951 |  5874598 |      790  17639 |        0 |        0
877.95/878.36	c  878s |      25 |  6511824 |  5887998 |      790  17670 |        0 |        0
879.96/880.36	c  880s |      25 |  6525973 |  5900998 |      790  17701 |        0 |        0
881.95/882.37	c  882s |      25 |  6540243 |  5913898 |      790  17731 |        0 |        0
883.95/884.38	c  884s |      25 |  6554218 |  5926698 |      790  17761 |        0 |        0
885.95/886.38	c  886s |      25 |  6567647 |  5939098 |      790  17790 |        0 |        0
887.94/888.40	c  888s |      25 |  6581888 |  5951998 |      790  17820 |        0 |        0
890.04/890.40	c  890s |      25 |  6595680 |  5964398 |      790  17849 |        0 |        0
892.05/892.41	c  892s |      25 |  6608097 |  5975798 |      790  17876 |        0 |        0
894.04/894.42	c  894s |      25 |  6621604 |  5988198 |      790  17905 |        0 |        0
896.04/896.43	c  896s |      25 |  6634789 |  6000298 |      790  17933 |        0 |        0
898.04/898.44	c  898s |      25 |  6647485 |  6011898 |      790  17960 |        0 |        0
900.04/900.45	c  900s |      25 |  6660668 |  6023998 |      790  17988 |        0 |        0
902.04/902.45	c  902s |      25 |  6674273 |  6036498 |      790  18018 |        0 |        0
904.04/904.46	c  904s |      25 |  6688800 |  6049898 |      790  18049 |        0 |        0
906.04/906.46	c  906s |      25 |  6702800 |  6062898 |      790  18079 |        0 |        0
908.04/908.47	c  908s |      25 |  6716649 |  6075698 |      790  18109 |        0 |        0
910.03/910.48	c  910s |      25 |  6731042 |  6088798 |      790  18140 |        0 |        0
912.04/912.48	c  912s |      25 |  6745469 |  6102198 |      790  18171 |        0 |        0
914.05/914.48	c  914s |      25 |  6759887 |  6115398 |      790  18202 |        0 |        0
916.04/916.48	c  916s |      25 |  6774021 |  6128198 |      790  18232 |        0 |        0
918.04/918.49	c  918s |      25 |  6787026 |  6140198 |      790  18260 |        0 |        0
920.04/920.49	c  920s |      25 |  6800495 |  6152598 |      790  18289 |        0 |        0
922.14/922.50	c  922s |      25 |  6814089 |  6165098 |      790  18318 |        0 |        0
924.13/924.51	c  924s |      25 |  6828671 |  6178198 |      790  18349 |        0 |        0
926.14/926.52	c  926s |      25 |  6842567 |  6191098 |      790  18379 |        0 |        0
928.13/928.53	c  928s |      25 |  6856331 |  6203798 |      790  18409 |        0 |        0
930.13/930.54	c  930s |      25 |  6869526 |  6216098 |      790  18438 |        0 |        0
932.13/932.55	c  932s |      25 |  6882822 |  6228498 |      790  18467 |        0 |        0
934.13/934.56	c  934s |      25 |  6896480 |  6240998 |      790  18497 |        0 |        0
936.13/936.57	c  936s |      25 |  6910442 |  6253798 |      790  18526 |        0 |        0
938.14/938.59	c  938s |      25 |  6924536 |  6266598 |      790  18557 |        0 |        0
940.13/940.59	c  940s |      25 |  6937945 |  6279098 |      790  18586 |        0 |        0
942.13/942.59	c  942s |      25 |  6951473 |  6291698 |      790  18615 |        0 |        0
944.23/944.60	c  944s |      25 |  6964368 |  6303798 |      790  18643 |        0 |        0
946.23/946.60	c  946s |      25 |  6977586 |  6316098 |      790  18672 |        0 |        0
948.23/948.62	c  948s |      25 |  6991250 |  6328798 |      790  18702 |        0 |        0
950.23/950.63	c  950s |      25 |  7004545 |  6340998 |      790  18730 |        0 |        0
952.24/952.63	c  952s |      25 |  7017955 |  6353198 |      790  18759 |        0 |        0
954.24/954.65	c  954s |      25 |  7032000 |  6365898 |      790  18789 |        0 |        0
956.24/956.66	c  956s |      25 |  7045426 |  6378098 |      790  18817 |        0 |        0
958.24/958.68	c  958s |      25 |  7058139 |  6389798 |      790  18845 |        0 |        0
960.24/960.68	c  960s |      25 |  7071405 |  6402198 |      790  18874 |        0 |        0
962.23/962.69	c  962s |      25 |  7084858 |  6414698 |      790  18903 |        0 |        0
964.33/964.71	c  964s |      25 |  7098289 |  6427198 |      790  18932 |        0 |        0
966.33/966.71	c  966s |      25 |  7112411 |  6440298 |      790  18962 |        0 |        0
968.33/968.72	c  968s |      25 |  7126985 |  6453498 |      790  18993 |        0 |        0
970.33/970.73	c  970s |      25 |  7140274 |  6465798 |      790  19022 |        0 |        0
972.34/972.73	c  972s |      25 |  7153328 |  6477798 |      790  19050 |        0 |        0
974.33/974.75	c  974s |      25 |  7167263 |  6490398 |      790  19079 |        0 |        0
976.33/976.75	c  976s |      25 |  7181144 |  6502998 |      790  19108 |        0 |        0
978.33/978.76	c  978s |      25 |  7196549 |  6516598 |      790  19140 |        0 |        0
980.33/980.77	c  980s |      25 |  7211538 |  6530098 |      790  19172 |        0 |        0
982.33/982.77	c  982s |      25 |  7225890 |  6543198 |      790  19203 |        0 |        0
984.33/984.79	c  984s |      25 |  7239650 |  6555698 |      790  19232 |        0 |        0
986.32/986.80	c  986s |      25 |  7253227 |  6568098 |      790  19262 |        0 |        0
988.42/988.80	c  988s |      25 |  7267796 |  6581198 |      790  19292 |        0 |        0
990.43/990.81	c  990s |      25 |  7281168 |  6593598 |      790  19321 |        0 |        0
992.43/992.83	c  992s |      25 |  7293297 |  6604698 |      790  19347 |        0 |        0
994.43/994.84	c  994s |      25 |  7307869 |  6617998 |      790  19378 |        0 |        0
996.44/996.85	c  996s |      25 |  7321675 |  6630698 |      790  19408 |        0 |        0
998.43/998.85	c  998s |      25 |  7335342 |  6643398 |      790  19438 |        0 |        0
1000.43/1000.85	c 1000s |      25 |  7349023 |  6655998 |      790  19468 |        0 |        0
1002.43/1002.87	c 1002s |      25 |  7362514 |  6668398 |      790  19497 |        0 |        0
1004.43/1004.87	c 1004s |      25 |  7376422 |  6681298 |      790  19527 |        0 |        0
1006.43/1006.88	c 1006s |      25 |  7390644 |  6694498 |      790  19558 |        0 |        0
1008.42/1008.88	c 1008s |      25 |  7405795 |  6708198 |      790  19590 |        0 |        0
1010.42/1010.88	c 1010s |      25 |  7419494 |  6720698 |      790  19619 |        0 |        0
1012.42/1012.89	c 1012s |      25 |  7433601 |  6733298 |      790  19649 |        0 |        0
1014.52/1014.91	c 1014s |      25 |  7448868 |  6746898 |      790  19681 |        0 |        0
1016.52/1016.91	c 1016s |      25 |  7463085 |  6759798 |      790  19711 |        0 |        0
1018.53/1018.92	c 1018s |      25 |  7478938 |  6773798 |      790  19744 |        0 |        0
1020.52/1020.94	c 1020s |      25 |  7494351 |  6787498 |      790  19776 |        0 |        0
1022.52/1022.94	c 1022s |      25 |  7509167 |  6800998 |      790  19808 |        0 |        0
1024.52/1024.94	c 1024s |      25 |  7525439 |  6815498 |      790  19842 |        0 |        0
1026.52/1026.95	c 1026s |      25 |  7540074 |  6828598 |      790  19873 |        0 |        0
1028.52/1028.96	c 1028s |      25 |  7554014 |  6841398 |      790  19902 |        0 |        0
1030.53/1030.97	c 1030s |      25 |  7567361 |  6853798 |      790  19931 |        0 |        0
1032.52/1032.97	c 1032s |      25 |  7580358 |  6865998 |      790  19960 |        0 |        0
1034.52/1034.98	c 1034s |      25 |  7594620 |  6878998 |      790  19990 |        0 |        0
1036.52/1036.99	c 1036s |      25 |  7608074 |  6891398 |      790  20019 |        0 |        0
1038.62/1039.01	c 1038s |      25 |  7620333 |  6902798 |      790  20046 |        0 |        0
1040.62/1041.02	c 1041s |      25 |  7633173 |  6914698 |      790  20073 |        0 |        0
1042.62/1043.03	c 1043s |      25 |  7646810 |  6926998 |      790  20102 |        0 |        0
1044.62/1045.03	c 1045s |      25 |  7659873 |  6938998 |      790  20130 |        0 |        0
1046.61/1047.05	c 1047s |      25 |  7672571 |  6950798 |      790  20158 |        0 |        0
1048.61/1049.06	c 1049s |      25 |  7686390 |  6963398 |      790  20187 |        0 |        0
1050.62/1051.07	c 1051s |      25 |  7699178 |  6975198 |      790  20215 |        0 |        0
1052.63/1053.07	c 1053s |      25 |  7711966 |  6986998 |      790  20242 |        0 |        0
1054.62/1055.07	c 1055s |      25 |  7724778 |  6998898 |      790  20270 |        0 |        0
1056.62/1057.08	c 1057s |      25 |  7737176 |  7010398 |      790  20297 |        0 |        0
1058.62/1059.09	c 1059s |      25 |  7750826 |  7022898 |      790  20326 |        0 |        0
1060.62/1061.09	c 1061s |      25 |  7764242 |  7035298 |      790  20355 |        0 |        0
1062.72/1063.11	c 1063s |      25 |  7777474 |  7047498 |      790  20383 |        0 |        0
1064.73/1065.11	c 1065s |      25 |  7791038 |  7059798 |      790  20412 |        0 |        0
1066.72/1067.12	c 1067s |      25 |  7804667 |  7072298 |      790  20441 |        0 |        0
1068.72/1069.14	c 1069s |      25 |  7818033 |  7084598 |      790  20470 |        0 |        0
1070.72/1071.14	c 1071s |      25 |  7831275 |  7096898 |      790  20499 |        0 |        0
1072.72/1073.15	c 1073s |      25 |  7844921 |  7109498 |      790  20529 |        0 |        0
1074.72/1075.16	c 1075s |      25 |  7858268 |  7121998 |      790  20558 |        0 |        0
1076.72/1077.16	c 1077s |      25 |  7873097 |  7135398 |      790  20590 |        0 |        0
1078.72/1079.17	c 1079s |      25 |  7887822 |  7148498 |      790  20621 |        0 |        0
1080.72/1081.19	c 1081s |      25 |  7902014 |  7161498 |      790  20652 |        0 |        0
1082.72/1083.19	c 1083s |      25 |  7915619 |  7174098 |      790  20681 |        0 |        0
1084.82/1085.20	c 1085s |      25 |  7928833 |  7186298 |      790  20710 |        0 |        0
1086.82/1087.22	c 1087s |      25 |  7942031 |  7198598 |      790  20738 |        0 |        0
1088.82/1089.23	c 1089s |      25 |  7956274 |  7211798 |      790  20769 |        0 |        0
1090.81/1091.24	c 1091s |      25 |  7970648 |  7224998 |      790  20800 |        0 |        0
1092.81/1093.24	c 1093s |      25 |  7985093 |  7238098 |      790  20831 |        0 |        0
1094.81/1095.25	c 1095s |      25 |  7999871 |  7251398 |      790  20863 |        0 |        0
1096.81/1097.26	c 1097s |      25 |  8013025 |  7263198 |      790  20891 |        0 |        0
1098.82/1099.27	c 1099s |      25 |  8026276 |  7275298 |      790  20919 |        0 |        0
1100.81/1101.28	c 1101s |      25 |  8040728 |  7288598 |      790  20950 |        0 |        0
1102.81/1103.29	c 1103s |      25 |  8054471 |  7301398 |      790  20980 |        0 |        0
1104.91/1105.30	c 1105s |      25 |  8067711 |  7313798 |      790  21010 |        0 |        0
1106.91/1107.31	c 1107s |      25 |  8081258 |  7326398 |      790  21039 |        0 |        0
1108.91/1109.32	c 1109s |      25 |  8094157 |  7338398 |      790  21067 |        0 |        0
1110.92/1111.33	c 1111s |      25 |  8108141 |  7351298 |      790  21097 |        0 |        0
1112.91/1113.33	c 1113s |      25 |  8122111 |  7364298 |      790  21128 |        0 |        0
1114.91/1115.34	c 1115s |      25 |  8136064 |  7377298 |      790  21158 |        0 |        0
1116.91/1117.36	c 1117s |      25 |  8150628 |  7390598 |      790  21190 |        0 |        0
1118.90/1119.37	c 1119s |      25 |  8165730 |  7403998 |      790  21221 |        0 |        0
1120.90/1121.37	c 1121s |      25 |  8180243 |  7417198 |      790  21252 |        0 |        0
1122.91/1123.38	c 1123s |      25 |  8194489 |  7430198 |      790  21282 |        0 |        0
1124.90/1125.39	c 1125s |      25 |  8208724 |  7443098 |      790  21313 |        0 |        0
1126.90/1127.39	c 1127s |      25 |  8221995 |  7455298 |      790  21341 |        0 |        0
1128.90/1129.39	c 1129s |      25 |  8237062 |  7468898 |      790  21373 |        0 |        0
1131.00/1131.41	c 1131s |      25 |  8252742 |  7482898 |      790  21406 |        0 |        0
1133.00/1133.42	c 1133s |      25 |  8267700 |  7496598 |      790  21438 |        0 |        0
1135.01/1135.43	c 1135s |      25 |  8282739 |  7510398 |      790  21470 |        0 |        0
1137.00/1137.43	c 1137s |      25 |  8298139 |  7524198 |      790  21503 |        0 |        0
1139.00/1139.43	c 1139s |      25 |  8312991 |  7537698 |      790  21534 |        0 |        0
1141.00/1141.44	c 1141s |      25 |  8327376 |  7550898 |      870  21563 |        0 |        0
1143.00/1143.45	c 1143s |      25 |  8341188 |  7563698 |      870  21591 |        0 |        0
1145.01/1145.46	c 1145s |      25 |  8354754 |  7576298 |      870  21618 |        0 |        0
1147.00/1147.47	c 1147s |      25 |  8368558 |  7588898 |      870  21645 |        0 |        0
1148.40/1148.85	c 1148s |      26 |  8378291 |  7597752 |      870  21664 |        0 |        0
1150.40/1150.85	c 1150s |      26 |  8392859 |  7610952 |      870  21692 |        0 |        0
1152.40/1152.86	c 1152s |      26 |  8406974 |  7623652 |      870  21719 |        0 |        0
1154.40/1154.86	c 1154s |      26 |  8422776 |  7637152 |      870  21748 |        0 |        0
1156.40/1156.86	c 1156s |      26 |  8437538 |  7650352 |      870  21776 |        0 |        0
1158.40/1158.87	c 1158s |      26 |  8452340 |  7663652 |      870  21805 |        0 |        0
1160.40/1160.88	c 1160s |      26 |  8467436 |  7676852 |      870  21834 |        0 |        0
1162.40/1162.89	c 1162s |      26 |  8482191 |  7689952 |      870  21862 |        0 |        0
1164.50/1164.90	c 1164s |      26 |  8496868 |  7702952 |      870  21890 |        0 |        0
1166.50/1166.90	c 1166s |      26 |  8512837 |  7716452 |      870  21919 |        0 |        0
1168.50/1168.92	c 1168s |      26 |  8527464 |  7729352 |      870  21947 |        0 |        0
1170.50/1170.92	c 1170s |      26 |  8542377 |  7742352 |      870  21975 |        0 |        0
1172.51/1172.93	c 1172s |      26 |  8557144 |  7755552 |      870  22003 |        0 |        0
1174.50/1174.93	c 1174s |      26 |  8571446 |  7768452 |      870  22031 |        0 |        0
1176.50/1176.93	c 1176s |      26 |  8585456 |  7781152 |      870  22059 |        0 |        0
1178.50/1178.95	c 1178s |      26 |  8600068 |  7794252 |      870  22087 |        0 |        0
1180.50/1180.96	c 1180s |      26 |  8614908 |  7807752 |      870  22116 |        0 |        0
1182.50/1182.97	c 1182s |      26 |  8630044 |  7821152 |      870  22145 |        0 |        0
1184.50/1184.98	c 1184s |      26 |  8644470 |  7834152 |      870  22172 |        0 |        0
1186.50/1186.99	c 1186s |      26 |  8659186 |  7847352 |      870  22201 |        0 |        0
1188.50/1188.99	c 1188s |      26 |  8672695 |  7859752 |      870  22227 |        0 |        0
1190.59/1191.00	c 1190s |      26 |  8687116 |  7872752 |      870  22255 |        0 |        0
1192.59/1193.00	c 1192s |      26 |  8700804 |  7885152 |      870  22282 |        0 |        0
1194.59/1195.00	c 1194s |      26 |  8715499 |  7898252 |      870  22310 |        0 |        0
1196.49/1197.00	c 1196s |      26 |  8730247 |  7911352 |      870  22338 |        0 |        0
1198.59/1199.01	c 1198s |      26 |  8744033 |  7924052 |      870  22365 |        0 |        0
1200.59/1201.01	c 1200s |      26 |  8758077 |  7936952 |      870  22393 |        0 |        0
1202.59/1203.02	c 1203s |      26 |  8772389 |  7949852 |      870  22420 |        0 |        0
1204.59/1205.03	c 1205s |      26 |  8786759 |  7962852 |      870  22448 |        0 |        0
1206.60/1207.03	c 1207s |      26 |  8801123 |  7975452 |      870  22475 |        0 |        0
1208.59/1209.03	c 1209s |      26 |  8814905 |  7987752 |      870  22502 |        0 |        0
1210.59/1211.04	c 1211s |      26 |  8829642 |  8000652 |      870  22529 |        0 |        0
1212.59/1213.05	c 1213s |      26 |  8845516 |  8014252 |      870  22559 |        0 |        0
1214.59/1215.05	c 1215s |      26 |  8859613 |  8026552 |      870  22585 |        0 |        0
1216.59/1217.06	c 1217s |      26 |  8873277 |  8038952 |      870  22612 |        0 |        0
1218.60/1219.06	c 1219s |      26 |  8887202 |  8051552 |      870  22639 |        0 |        0
1220.60/1221.07	c 1221s |      26 |  8902144 |  8064752 |      870  22667 |        0 |        0
1222.59/1223.08	c 1223s |      26 |  8916138 |  8077352 |      870  22694 |        0 |        0
1224.59/1225.08	c 1225s |      26 |  8930137 |  8089952 |      870  22721 |        0 |        0
1226.59/1227.09	c 1227s |      26 |  8945661 |  8103552 |      870  22750 |        0 |        0
1228.60/1229.09	c 1229s |      26 |  8959896 |  8116552 |      870  22778 |        0 |        0
1230.70/1231.10	c 1231s |      26 |  8973229 |  8128852 |      870  22804 |        0 |        0
1232.69/1233.12	c 1233s |      26 |  8987668 |  8141852 |      870  22832 |        0 |        0
1234.69/1235.12	c 1235s |      26 |  9001675 |  8154352 |      870  22859 |        0 |        0
1236.69/1237.13	c 1237s |      26 |  9014902 |  8166452 |      870  22885 |        0 |        0
1238.69/1239.13	c 1239s |      26 |  9029226 |  8179252 |      870  22912 |        0 |        0
1240.70/1241.14	c 1241s |      26 |  9043821 |  8192252 |      870  22940 |        0 |        0
1242.69/1243.15	c 1243s |      26 |  9058084 |  8205052 |      870  22968 |        0 |        0
1244.69/1245.15	c 1245s |      26 |  9071983 |  8217652 |      870  22994 |        0 |        0
1246.69/1247.16	c 1247s |      26 |  9085206 |  8229752 |      870  23020 |        0 |        0
1248.69/1249.17	c 1249s |      26 |  9097956 |  8241352 |      870  23045 |        0 |        0
1250.69/1251.19	c 1251s |      26 |  9111515 |  8253752 |      870  23072 |        0 |        0
1252.69/1253.20	c 1253s |      26 |  9126374 |  8266852 |      870  23100 |        0 |        0
1254.78/1255.20	c 1255s |      26 |  9140831 |  8279852 |      870  23128 |        0 |        0
1256.78/1257.21	c 1257s |      26 |  9155250 |  8292852 |      870  23155 |        0 |        0
1258.78/1259.22	c 1259s |      26 |  9170057 |  8306052 |      870  23184 |        0 |        0
1260.78/1261.23	c 1261s |      26 |  9184878 |  8319352 |      870  23212 |        0 |        0
1262.78/1263.23	c 1263s |      26 |  9199276 |  8332152 |      870  23240 |        0 |        0
1264.79/1265.25	c 1265s |      26 |  9213627 |  8344952 |      870  23268 |        0 |        0
1266.78/1267.26	c 1267s |      26 |  9227066 |  8357352 |      870  23294 |        0 |        0
1268.78/1269.26	c 1269s |      26 |  9241276 |  8370052 |      870  23321 |        0 |        0
1270.79/1271.28	c 1271s |      26 |  9254202 |  8381852 |      870  23347 |        0 |        0
1272.79/1273.28	c 1273s |      26 |  9267462 |  8394052 |      870  23373 |        0 |        0
1274.79/1275.29	c 1275s |      26 |  9280496 |  8406052 |      870  23399 |        0 |        0
1276.79/1277.30	c 1277s |      26 |  9293581 |  8418152 |      870  23424 |        0 |        0
1278.89/1279.31	c 1279s |      26 |  9306197 |  8429952 |      870  23450 |        0 |        0
1280.89/1281.32	c 1281s |      26 |  9319578 |  8442452 |      870  23476 |        0 |        0
1282.89/1283.33	c 1283s |      26 |  9332853 |  8454852 |      870  23503 |        0 |        0
1284.88/1285.35	c 1285s |      26 |  9346267 |  8467252 |      870  23529 |        0 |        0
1286.89/1287.35	c 1287s |      26 |  9359518 |  8479352 |      870  23555 |        0 |        0
1288.88/1289.36	c 1289s |      26 |  9373313 |  8491952 |      870  23582 |        0 |        0
1290.88/1291.37	c 1291s |      26 |  9387683 |  8505052 |      870  23610 |        0 |        0
1292.88/1293.37	c 1293s |      26 |  9401785 |  8517952 |      870  23638 |        0 |        0
1294.88/1295.37	c 1295s |      26 |  9414963 |  8530152 |      870  23664 |        0 |        0
1296.88/1297.37	c 1297s |      26 |  9430080 |  8543452 |      870  23693 |        0 |        0
1298.89/1299.37	c 1299s |      26 |  9444241 |  8555952 |      870  23719 |        0 |        0
1300.88/1301.38	c 1301s |      26 |  9458327 |  8568552 |      870  23746 |        0 |        0
1302.88/1303.39	c 1303s |      26 |  9473771 |  8582252 |      870  23776 |        0 |        0
1304.98/1305.40	c 1305s |      26 |  9489052 |  8595952 |      870  23805 |        0 |        0
1306.98/1307.41	c 1307s |      26 |  9503765 |  8609152 |      870  23834 |        0 |        0
1308.98/1309.41	c 1309s |      26 |  9518252 |  8622252 |      870  23862 |        0 |        0
1310.98/1311.42	c 1311s |      26 |  9532235 |  8634952 |      870  23889 |        0 |        0
1312.98/1313.43	c 1313s |      26 |  9545919 |  8647352 |      870  23916 |        0 |        0
1314.98/1315.44	c 1315s |      26 |  9558609 |  8658952 |      870  23940 |        0 |        0
1316.98/1317.44	c 1317s |      26 |  9570135 |  8669752 |      870  23964 |        0 |        0
1318.98/1319.45	c 1319s |      26 |  9583118 |  8681752 |      870  23989 |        0 |        0
1320.98/1321.46	c 1321s |      26 |  9597892 |  8694952 |      870  24018 |        0 |        0
1322.97/1323.47	c 1323s |      26 |  9610900 |  8707052 |      870  24043 |        0 |        0
1324.97/1325.48	c 1325s |      26 |  9625288 |  8720152 |      870  24071 |        0 |        0
1326.97/1327.49	c 1327s |      26 |  9638999 |  8732852 |      870  24098 |        0 |        0
1328.97/1329.49	c 1329s |      26 |  9651838 |  8744652 |      870  24124 |        0 |        0
1331.07/1331.50	c 1331s |      26 |  9666336 |  8757852 |      870  24152 |        0 |        0
1333.08/1333.51	c 1333s |      26 |  9680638 |  8770752 |      870  24180 |        0 |        0
1335.07/1335.52	c 1335s |      26 |  9695467 |  8783952 |      870  24208 |        0 |        0
1337.07/1337.52	c 1337s |      26 |  9709242 |  8796652 |      870  24235 |        0 |        0
1339.07/1339.53	c 1339s |      26 |  9722999 |  8809152 |      870  24262 |        0 |        0
1341.07/1341.53	c 1341s |      26 |  9737397 |  8822352 |      870  24290 |        0 |        0
1343.07/1343.54	c 1343s |      26 |  9751296 |  8835152 |      870  24317 |        0 |        0
1345.08/1345.55	c 1345s |      26 |  9765822 |  8848152 |      870  24345 |        0 |        0
1347.07/1347.56	c 1347s |      26 |  9779499 |  8860652 |      870  24372 |        0 |        0
1349.07/1349.57	c 1349s |      26 |  9794536 |  8874152 |      870  24401 |        0 |        0
1351.07/1351.58	c 1351s |      26 |  9810572 |  8887952 |      870  24431 |        0 |        0
1353.07/1353.59	c 1353s |      26 |  9825873 |  8901452 |      870  24460 |        0 |        0
1355.17/1355.60	c 1355s |      26 |  9840799 |  8914852 |      870  24488 |        0 |        0
1357.17/1357.61	c 1357s |      26 |  9855834 |  8928152 |      870  24517 |        0 |        0
1359.17/1359.62	c 1359s |      26 |  9870204 |  8941352 |      870  24545 |        0 |        0
1361.17/1361.62	c 1361s |      26 |  9884455 |  8954152 |      870  24573 |        0 |        0
1363.17/1363.62	c 1363s |      26 |  9899224 |  8967352 |      870  24601 |        0 |        0
1365.17/1365.63	c 1365s |      26 |  9914505 |  8980952 |      870  24630 |        0 |        0
1367.18/1367.64	c 1367s |      26 |  9929050 |  8994052 |      870  24658 |        0 |        0
1369.17/1369.65	c 1369s |      26 |  9943109 |  9006752 |      870  24685 |        0 |        0
1371.17/1371.66	c 1371s |      26 |  9956153 |  9018752 |      870  24711 |        0 |        0
1373.17/1373.66	c 1373s |      26 |  9969908 |  9031152 |      870  24737 |        0 |        0
1375.17/1375.67	c 1375s |      26 |  9983603 |  9043452 |      870  24763 |        0 |        0
1377.17/1377.68	c 1377s |      26 |  9998790 |  9056552 |      870  24792 |        0 |        0
1379.18/1379.68	c 1379s |      26 | 10013086 |  9069352 |      870  24819 |        0 |        0
1381.27/1381.70	c 1381s |      26 | 10027642 |  9082752 |      870  24848 |        0 |        0
1383.27/1383.71	c 1383s |      26 | 10040574 |  9094652 |      870  24873 |        0 |        0
1385.27/1385.71	c 1385s |      26 | 10054936 |  9107752 |      870  24901 |        0 |        0
1387.27/1387.72	c 1387s |      26 | 10068750 |  9120352 |      870  24928 |        0 |        0
1389.27/1389.73	c 1389s |      26 | 10083592 |  9133652 |      870  24957 |        0 |        0
1391.27/1391.73	c 1391s |      26 | 10096941 |  9145852 |      870  24984 |        0 |        0
1393.26/1393.74	c 1393s |      26 | 10110533 |  9158352 |      870  25011 |        0 |        0
1395.26/1395.76	c 1395s |      26 | 10124282 |  9170852 |      870  25038 |        0 |        0
1397.26/1397.77	c 1397s |      26 | 10137910 |  9183352 |      870  25064 |        0 |        0
1399.26/1399.78	c 1399s |      26 | 10152003 |  9196352 |      870  25093 |        0 |        0
1401.27/1401.80	c 1401s |      26 | 10165610 |  9208752 |      870  25119 |        0 |        0
1403.37/1403.81	c 1403s |      26 | 10179915 |  9221652 |      870  25147 |        0 |        0
1405.36/1405.81	c 1405s |      26 | 10194542 |  9234752 |      870  25175 |        0 |        0
1407.36/1407.82	c 1407s |      26 | 10209525 |  9248352 |      870  25205 |        0 |        0
1409.36/1409.82	c 1409s |      26 | 10223552 |  9260952 |      870  25232 |        0 |        0
1411.36/1411.83	c 1411s |      26 | 10236396 |  9272852 |      870  25257 |        0 |        0
1413.37/1413.83	c 1413s |      26 | 10250442 |  9285852 |      870  25285 |        0 |        0
1415.36/1415.84	c 1415s |      26 | 10263647 |  9297852 |      870  25311 |        0 |        0
1417.36/1417.85	c 1417s |      26 | 10277918 |  9310652 |      870  25339 |        0 |        0
1419.36/1419.86	c 1419s |      26 | 10292002 |  9323052 |      870  25365 |        0 |        0
1421.36/1421.86	c 1421s |      26 | 10306435 |  9336052 |      870  25393 |        0 |        0
1423.36/1423.86	c 1423s |      26 | 10320305 |  9348752 |      870  25421 |        0 |        0
1425.36/1425.88	c 1425s |      26 | 10334969 |  9362052 |      870  25449 |        0 |        0
1427.36/1427.88	c 1427s |      26 | 10348630 |  9374652 |      870  25476 |        0 |        0
1429.36/1429.90	c 1429s |      26 | 10363251 |  9387752 |      870  25504 |        0 |        0
1431.46/1431.90	c 1431s |      26 | 10378018 |  9401152 |      870  25533 |        0 |        0
1433.46/1433.91	c 1433s |      26 | 10392360 |  9414452 |      870  25561 |        0 |        0
1435.46/1435.92	c 1435s |      26 | 10406073 |  9427152 |      870  25588 |        0 |        0
1437.47/1437.93	c 1437s |      26 | 10421137 |  9440552 |      870  25617 |        0 |        0
1439.46/1439.93	c 1439s |      26 | 10435234 |  9452852 |      870  25644 |        0 |        0
1441.46/1441.94	c 1441s |      26 | 10450343 |  9466452 |      870  25673 |        0 |        0
1443.46/1443.95	c 1443s |      26 | 10463010 |  9478152 |      870  25698 |        0 |        0
1445.46/1445.95	c 1445s |      26 | 10475186 |  9489152 |      870  25722 |        0 |        0
1447.47/1447.96	c 1447s |      26 | 10486702 |  9499752 |      870  25744 |        0 |        0
1449.46/1449.97	c 1449s |      26 | 10500790 |  9512652 |      870  25772 |        0 |        0
1451.46/1451.97	c 1451s |      26 | 10515266 |  9525652 |      870  25800 |        0 |        0
1453.46/1453.98	c 1453s |      26 | 10528419 |  9537652 |      870  25826 |        0 |        0
1455.46/1455.99	c 1455s |      26 | 10540687 |  9549052 |      870  25850 |        0 |        0
1457.55/1458.01	c 1458s |      26 | 10554794 |  9561752 |      870  25877 |        0 |        0
1459.56/1460.02	c 1460s |      26 | 10568466 |  9574252 |      870  25904 |        0 |        0
1461.55/1462.03	c 1462s |      26 | 10581922 |  9586652 |      870  25930 |        0 |        0
1463.55/1464.03	c 1464s |      26 | 10595765 |  9599252 |      870  25957 |        0 |        0
1465.55/1466.05	c 1466s |      26 | 10610250 |  9612452 |      870  25986 |        0 |        0
1467.55/1468.06	c 1468s |      26 | 10624679 |  9625452 |      870  26013 |        0 |        0
1469.55/1470.06	c 1470s |      26 | 10638421 |  9638052 |      870  26040 |        0 |        0
1471.56/1472.07	c 1472s |      26 | 10652300 |  9650752 |      870  26067 |        0 |        0
1473.55/1474.08	c 1474s |      26 | 10665782 |  9663252 |      870  26094 |        0 |        0
1475.55/1476.08	c 1476s |      26 | 10679150 |  9675652 |      870  26121 |        0 |        0
1477.55/1478.09	c 1478s |      26 | 10692506 |  9688152 |      870  26148 |        0 |        0
1479.65/1480.10	c 1480s |      26 | 10705441 |  9700052 |      870  26173 |        0 |        0
1481.65/1482.11	c 1482s |      26 | 10717827 |  9711552 |      870  26197 |        0 |        0
1483.66/1484.11	c 1484s |      26 | 10730665 |  9723552 |      870  26223 |        0 |        0
1485.65/1486.11	c 1486s |      26 | 10744407 |  9736352 |      870  26250 |        0 |        0
1487.65/1488.12	c 1488s |      26 | 10758212 |  9749052 |      870  26278 |        0 |        0
1489.65/1490.13	c 1490s |      26 | 10771563 |  9761452 |      870  26304 |        0 |        0
1491.65/1492.13	c 1492s |      26 | 10785206 |  9774052 |      870  26332 |        0 |        0
1493.66/1494.14	c 1494s |      26 | 10798986 |  9786652 |      870  26359 |        0 |        0
1495.65/1496.14	c 1496s |      26 | 10812984 |  9799352 |      870  26386 |        0 |        0
1497.65/1498.15	c 1498s |      26 | 10827122 |  9812152 |      870  26413 |        0 |        0
1499.65/1500.16	c 1500s |      26 | 10840622 |  9824452 |      870  26440 |        0 |        0
1501.65/1502.16	c 1502s |      26 | 10853291 |  9836152 |      870  26465 |        0 |        0
1503.65/1504.17	c 1504s |      26 | 10866104 |  9848052 |      870  26490 |        0 |        0
1505.66/1506.18	c 1506s |      26 | 10878283 |  9859352 |      870  26514 |        0 |        0
1507.65/1508.19	c 1508s |      26 | 10891638 |  9871752 |      870  26541 |        0 |        0
1509.65/1510.19	c 1510s |      26 | 10905117 |  9884152 |      870  26567 |        0 |        0
1511.75/1512.20	c 1512s |      26 | 10918701 |  9896652 |      870  26594 |        0 |        0
1513.75/1514.20	c 1514s |      26 | 10932319 |  9909152 |      870  26621 |        0 |        0
1515.75/1516.21	c 1516s |      26 | 10947322 |  9922452 |      870  26649 |        0 |        0
1517.75/1518.21	c 1518s |      26 | 10960347 |  9934552 |      870  26675 |        0 |        0
1519.75/1520.22	c 1520s |      26 | 10973437 |  9946552 |      870  26700 |        0 |        0
1521.74/1522.23	c 1522s |      26 | 10987519 |  9959352 |      870  26728 |        0 |        0
1523.74/1524.23	c 1524s |      26 | 11001518 |  9972152 |      870  26755 |        0 |        0
1525.74/1526.24	c 1526s |      26 | 11016069 |  9985452 |      870  26784 |        0 |        0
1527.75/1528.25	c 1528s |      26 | 11029178 |  9997652 |      870  26810 |        0 |        0
1529.74/1530.26	c 1530s |      26 | 11042613 | 10009952 |      870  26836 |        0 |        0
1531.74/1532.27	c 1532s |      26 | 11056143 | 10022452 |      870  26863 |        0 |        0
1533.74/1534.28	c 1534s |      26 | 11071310 | 10035952 |      870  26892 |        0 |        0
1535.74/1536.28	c 1536s |      26 | 11085096 | 10048552 |      870  26918 |        0 |        0
1537.74/1538.29	c 1538s |      26 | 11099961 | 10061952 |      870  26947 |        0 |        0
1539.75/1540.30	c 1540s |      26 | 11113421 | 10074352 |      870  26974 |        0 |        0
1541.84/1542.30	c 1542s |      26 | 11127596 | 10087152 |      870  27001 |        0 |        0
1543.85/1544.31	c 1544s |      26 | 11141882 | 10100052 |      870  27029 |        0 |        0
1545.85/1546.32	c 1546s |      26 | 11156466 | 10113252 |      870  27057 |        0 |        0
1547.85/1548.32	c 1548s |      26 | 11171545 | 10126652 |      870  27086 |        0 |        0
1549.84/1550.34	c 1550s |      26 | 11187029 | 10140452 |      870  27115 |        0 |        0
1551.85/1552.34	c 1552s |      26 | 11201677 | 10153752 |      870  27144 |        0 |        0
1553.84/1554.34	c 1554s |      26 | 11216696 | 10167352 |      870  27173 |        0 |        0
1555.84/1556.36	c 1556s |      26 | 11231676 | 10180652 |      870  27202 |        0 |        0
1557.84/1558.36	c 1558s |      26 | 11246367 | 10193852 |      870  27230 |        0 |        0
1559.84/1560.38	c 1560s |      26 | 11261056 | 10207252 |      870  27259 |        0 |        0
1561.84/1562.38	c 1562s |      26 | 11276431 | 10221052 |      870  27288 |        0 |        0
1563.84/1564.39	c 1564s |      26 | 11291427 | 10234652 |      870  27317 |        0 |        0
1565.84/1566.39	c 1566s |      26 | 11305200 | 10247152 |      870  27344 |        0 |        0
1567.94/1568.40	c 1568s |      26 | 11318349 | 10259252 |      870  27370 |        0 |        0
1569.94/1570.41	c 1570s |      26 | 11333084 | 10272452 |      870  27398 |        0 |        0
1571.94/1572.41	c 1572s |      26 | 11347774 | 10285552 |      870  27426 |        0 |        0
1573.94/1574.41	c 1574s |      26 | 11361970 | 10297852 |      870  27453 |        0 |        0
1575.93/1576.42	c 1576s |      26 | 11375137 | 10309652 |      870  27478 |        0 |        0
1577.93/1578.44	c 1578s |      26 | 11390529 | 10323052 |      870  27507 |        0 |        0
1579.93/1580.44	c 1580s |      26 | 11405966 | 10336552 |      870  27536 |        0 |        0
1581.93/1582.45	c 1582s |      26 | 11421422 | 10349952 |      870  27564 |        0 |        0
1583.94/1584.45	c 1584s |      26 | 11434447 | 10362052 |      870  27590 |        0 |        0
1585.95/1586.46	c 1586s |      26 | 11448998 | 10374952 |      870  27618 |        0 |        0
1587.94/1588.48	c 1588s |      26 | 11462658 | 10387452 |      870  27645 |        0 |        0
1589.94/1590.48	c 1590s |      26 | 11475364 | 10399252 |      870  27670 |        0 |        0
1591.94/1592.49	c 1592s |      26 | 11488115 | 10411152 |      870  27695 |        0 |        0
1594.04/1594.50	c 1594s |      26 | 11500778 | 10423052 |      870  27721 |        0 |        0
1596.04/1596.51	c 1596s |      26 | 11513780 | 10435152 |      870  27746 |        0 |        0
1598.04/1598.51	c 1598s |      26 | 11525876 | 10446552 |      870  27771 |        0 |        0
1600.04/1600.52	c 1600s |      26 | 11539268 | 10458952 |      870  27797 |        0 |        0
1602.04/1602.54	c 1602s |      26 | 11551941 | 10470852 |      870  27823 |        0 |        0
1604.04/1604.55	c 1604s |      26 | 11564500 | 10482752 |      870  27848 |        0 |        0
1606.03/1606.56	c 1606s |      26 | 11577338 | 10494752 |      870  27874 |        0 |        0
1608.04/1608.56	c 1608s |      26 | 11590293 | 10506852 |      870  27900 |        0 |        0
1610.03/1610.57	c 1610s |      26 | 11603040 | 10518752 |      870  27925 |        0 |        0
1612.03/1612.58	c 1612s |      26 | 11616614 | 10531152 |      870  27952 |        0 |        0
1614.13/1614.60	c 1614s |      26 | 11631727 | 10544652 |      870  27981 |        0 |        0
1616.13/1616.61	c 1616s |      26 | 11645552 | 10557252 |      870  28008 |        0 |        0
1618.13/1618.62	c 1618s |      26 | 11658028 | 10568852 |      870  28032 |        0 |        0
1620.14/1620.63	c 1620s |      26 | 11670607 | 10580552 |      870  28057 |        0 |        0
1622.13/1622.65	c 1622s |      26 | 11684300 | 10593252 |      870  28084 |        0 |        0
1624.13/1624.66	c 1624s |      26 | 11699639 | 10606852 |      870  28114 |        0 |        0
1626.13/1626.67	c 1626s |      26 | 11714430 | 10620052 |      870  28142 |        0 |        0
1628.13/1628.68	c 1628s |      26 | 11729750 | 10633652 |      870  28171 |        0 |        0
1630.13/1630.69	c 1630s |      26 | 11742516 | 10645152 |      870  28196 |        0 |        0
1632.23/1632.71	c 1632s |      26 | 11755877 | 10657652 |      870  28223 |        0 |        0
1634.23/1634.73	c 1634s |      26 | 11769294 | 10670152 |      870  28249 |        0 |        0
1636.22/1636.74	c 1636s |      26 | 11781839 | 10682052 |      870  28275 |        0 |        0
1638.22/1638.76	c 1638s |      26 | 11793900 | 10693252 |      870  28299 |        0 |        0
1640.22/1640.76	c 1640s |      26 | 11807026 | 10705552 |      870  28325 |        0 |        0
1642.22/1642.77	c 1642s |      26 | 11821175 | 10718652 |      870  28353 |        0 |        0
1644.23/1644.79	c 1644s |      26 | 11834404 | 10730952 |      870  28379 |        0 |        0
1646.33/1646.81	c 1646s |      26 | 11846870 | 10742552 |      870  28404 |        0 |        0
1648.33/1648.82	c 1648s |      26 | 11858473 | 10753352 |      870  28427 |        0 |        0
1650.33/1650.83	c 1650s |      26 | 11871254 | 10764952 |      870  28452 |        0 |        0
1652.33/1652.83	c 1652s |      26 | 11883646 | 10776152 |      870  28476 |        0 |        0
1654.33/1654.84	c 1654s |      26 | 11895870 | 10787552 |      870  28501 |        0 |        0
1656.33/1656.85	c 1656s |      26 | 11907864 | 10798752 |      870  28525 |        0 |        0
1658.33/1658.85	c 1658s |      26 | 11919292 | 10809352 |      870  28547 |        0 |        0
1660.33/1660.86	c 1660s |      26 | 11930958 | 10820052 |      870  28570 |        0 |        0
1662.33/1662.87	c 1662s |      26 | 11942407 | 10830752 |      870  28593 |        0 |        0
1664.33/1664.88	c 1664s |      26 | 11955533 | 10842652 |      870  28618 |        0 |        0
1666.33/1666.88	c 1666s |      26 | 11967079 | 10853352 |      870  28641 |        0 |        0
1668.32/1668.90	c 1668s |      26 | 11978895 | 10864152 |      870  28664 |        0 |        0
1670.42/1670.91	c 1670s |      26 | 11990540 | 10874952 |      870  28687 |        0 |        0
1672.42/1672.92	c 1672s |      26 | 12002273 | 10885652 |      870  28710 |        0 |        0
1674.42/1674.93	c 1674s |      26 | 12014111 | 10896452 |      870  28733 |        0 |        0
1676.42/1676.94	c 1676s |      26 | 12025155 | 10906552 |      870  28755 |        0 |        0
1678.43/1678.95	c 1678s |      26 | 12036551 | 10917052 |      870  28777 |        0 |        0
1680.42/1680.95	c 1680s |      26 | 12047875 | 10927552 |      870  28799 |        0 |        0
1682.42/1682.96	c 1682s |      26 | 12058978 | 10937952 |      870  28822 |        0 |        0
1684.42/1684.97	c 1684s |      26 | 12070384 | 10948652 |      870  28845 |        0 |        0
1686.42/1686.98	c 1686s |      26 | 12082269 | 10959552 |      870  28868 |        0 |        0
1688.52/1689.00	c 1688s |      26 | 12093176 | 10969752 |      870  28890 |        0 |        0
1690.53/1691.01	c 1690s |      26 | 12104127 | 10980052 |      870  28912 |        0 |        0
1692.52/1693.01	c 1692s |      26 | 12114990 | 10990152 |      870  28933 |        0 |        0
1694.52/1695.02	c 1695s |      26 | 12125289 | 10999752 |      870  28954 |        0 |        0
1696.52/1697.04	c 1697s |      26 | 12136060 | 11009852 |      870  28975 |        0 |        0
1698.52/1699.04	c 1699s |      26 | 12145938 | 11019152 |      870  28995 |        0 |        0
1700.52/1701.06	c 1701s |      26 | 12156584 | 11029152 |      870  29017 |        0 |        0
1702.52/1703.07	c 1703s |      26 | 12168351 | 11039952 |      870  29040 |        0 |        0
1704.51/1705.08	c 1705s |      26 | 12182608 | 11053052 |      870  29068 |        0 |        0
1706.51/1707.09	c 1707s |      26 | 12197416 | 11066552 |      870  29097 |        0 |        0
1708.51/1709.09	c 1709s |      26 | 12210959 | 11078752 |      870  29123 |        0 |        0
1710.61/1711.10	c 1711s |      26 | 12224534 | 11090552 |      870  29148 |        0 |        0
1712.61/1713.11	c 1713s |      26 | 12238033 | 11102852 |      870  29174 |        0 |        0
1714.62/1715.13	c 1715s |      26 | 12250951 | 11114652 |      870  29199 |        0 |        0
1716.61/1717.15	c 1717s |      26 | 12264857 | 11127352 |      870  29227 |        0 |        0
1718.61/1719.15	c 1719s |      26 | 12280057 | 11141052 |      870  29256 |        0 |        0
1720.61/1721.15	c 1721s |      26 | 12294310 | 11154052 |      870  29284 |        0 |        0
1722.61/1723.15	c 1723s |      26 | 12308851 | 11167352 |      870  29312 |        0 |        0
1724.62/1725.16	c 1725s |      26 | 12323235 | 11180552 |      870  29340 |        0 |        0
1726.61/1727.16	c 1727s |      26 | 12338042 | 11193652 |      870  29368 |        0 |        0
1728.62/1729.16	c 1729s |      26 | 12352279 | 11206352 |      870  29395 |        0 |        0
1730.62/1731.16	c 1731s |      26 | 12366833 | 11219152 |      870  29423 |        0 |        0
1732.62/1733.17	c 1733s |      26 | 12382655 | 11233152 |      870  29453 |        0 |        0
1734.62/1735.19	c 1735s |      26 | 12395883 | 11245052 |      870  29478 |        0 |        0
1736.62/1737.20	c 1737s |      26 | 12410320 | 11257852 |      870  29506 |        0 |        0
1738.72/1739.20	c 1739s |      26 | 12425690 | 11271552 |      870  29535 |        0 |        0
1740.72/1741.22	c 1741s |      26 | 12440700 | 11284752 |      870  29563 |        0 |        0
1742.72/1743.23	c 1743s |      26 | 12454726 | 11297352 |      870  29590 |        0 |        0
1744.71/1745.25	c 1745s |      26 | 12469264 | 11310052 |      870  29617 |        0 |        0
1746.71/1747.25	c 1747s |      26 | 12483401 | 11322352 |      958  29642 |        0 |        0
1748.72/1749.26	c 1749s |      26 | 12498091 | 11335152 |      958  29667 |        0 |        0
1750.71/1751.27	c 1751s |      26 | 12513469 | 11348352 |      958  29694 |        0 |        0
1752.71/1753.27	c 1753s |      26 | 12528711 | 11361752 |      958  29720 |        0 |        0
1754.71/1755.28	c 1755s |      26 | 12544161 | 11375052 |      958  29746 |        0 |        0
1756.71/1757.29	c 1757s |      26 | 12557973 | 11387552 |      958  29771 |        0 |        0
1758.11/1758.67	c 1758s |      27 | 12568155 | 11396733 |      958  29789 |        0 |        0
1760.11/1760.68	c 1760s |      27 | 12581440 | 11408933 |      958  29813 |        0 |        0
1762.11/1762.69	c 1762s |      27 | 12594380 | 11420933 |      958  29836 |        0 |        0
1764.21/1764.70	c 1764s |      27 | 12607110 | 11432633 |      958  29859 |        0 |        0
1766.21/1766.72	c 1766s |      27 | 12619875 | 11444233 |      958  29882 |        0 |        0
1768.21/1768.73	c 1768s |      27 | 12632234 | 11455533 |      958  29904 |        0 |        0
1770.21/1770.73	c 1770s |      27 | 12643482 | 11465933 |      958  29924 |        0 |        0
1772.20/1772.75	c 1772s |      27 | 12655940 | 11477333 |      958  29946 |        0 |        0
1774.20/1774.77	c 1774s |      27 | 12667712 | 11488233 |      958  29968 |        0 |        0
1776.21/1776.77	c 1776s |      27 | 12681175 | 11500433 |      958  29992 |        0 |        0
1778.20/1778.78	c 1778s |      27 | 12693663 | 11512033 |      958  30014 |        0 |        0
1780.20/1780.79	c 1780s |      27 | 12706331 | 11523733 |      958  30037 |        0 |        0
1782.30/1782.80	c 1782s |      27 | 12719513 | 11535633 |      958  30061 |        0 |        0
1784.30/1784.81	c 1784s |      27 | 12732526 | 11547633 |      958  30084 |        0 |        0
1786.30/1786.83	c 1786s |      27 | 12745433 | 11559433 |      958  30108 |        0 |        0
1788.31/1788.83	c 1788s |      27 | 12757786 | 11570933 |      958  30130 |        0 |        0
1790.30/1790.84	c 1790s |      27 | 12770671 | 11582933 |      958  30154 |        0 |        0
1792.30/1792.85	c 1792s |      27 | 12783442 | 11594733 |      958  30177 |        0 |        0
1794.30/1794.86	c 1794s |      27 | 12796241 | 11606533 |      958  30200 |        0 |        0
1796.30/1796.87	c 1796s |      27 | 12808746 | 11618033 |      958  30223 |        0 |        0
1798.31/1798.88	c 1798s |      27 | 12822559 | 11630433 |      958  30247 |        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-4089981-1466036373/watcher-4089981-1466036373 -o /tmp/evaluation-result-4089981-1466036373/solver-4089981-1466036373 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089981-1466036373.opb 

pid=8721
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.05 2.07 2.07 3/179 8724
/proc/meminfo: memFree=30402520/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=563644 CPUtime=0 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 2076 0 0 0 0 0 0 0 20 0 4 0 5687409 577171456 2436 33554432000 4194304 16246674 140736957712160 140736957711584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 141423 2444 441 2943 0 138317 0
[pid=8724/tid=8725] ppid=8721 vsize=581052 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 594997248 2503 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=585148 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 599191552 2520 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=589244 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 603385856 2536 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.05 2.07 2.07 3/179 8724
/proc/meminfo: memFree=30402520/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 28285 0 0 0 5 4 0 0 20 0 4 0 5687409 1247350784 28634 33554432000 4194304 16246674 140736957712160 140736957711584 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 304529 28646 716 2943 0 301423 0
[pid=8724/tid=8725] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 28654 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 28665 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 28674 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 2.05 2.07 2.07 3/179 8724
/proc/meminfo: memFree=30402520/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 55239 0 0 0 11 8 0 0 20 0 4 0 5687409 1247350784 55589 33554432000 4194304 16246674 140736957712160 140736957711584 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 304529 55605 717 2943 0 301423 0
[pid=8724/tid=8725] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 55611 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 55617 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 55629 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.53317 s]
/proc/loadavg: 2.05 2.07 2.07 3/179 8724
/proc/meminfo: memFree=30402520/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1218116 CPUtime=0.52 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 147031 0 0 0 30 22 0 0 20 0 4 0 5687409 1247350784 147380 33554432000 4194304 16246674 140736957712160 140736957711584 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 304529 147390 717 2943 0 301423 0
[pid=8724/tid=8725] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 147402 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 147408 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 147414 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 2.05 2.07 2.07 3/179 8724
/proc/meminfo: memFree=30402520/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 193787 0 0 0 41 28 0 0 20 0 4 0 5687409 1247350784 194136 33554432000 4194304 16246674 140736957712160 140736957694080 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 304529 194152 717 2943 0 301423 0
[pid=8724/tid=8725] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 194157 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 194167 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1247350784 194177 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50049 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 8728
/proc/meminfo: memFree=29420484/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=1.48 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 253288 0 0 0 112 36 0 0 20 0 4 0 5687409 1337528320 253617 33554432000 4194304 16246674 140736957712160 140736957711472 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 253628 791 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 253642 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 253656 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 253664 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1306180

[startup+3.10042 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 8728
/proc/meminfo: memFree=29332204/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267419 0 0 0 270 38 0 0 20 0 4 0 5687409 1337528320 267748 33554432000 4194304 16246674 140736957712160 140736957695160 5853773 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267748 791 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267748 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267748 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267748 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 8728
/proc/meminfo: memFree=29332112/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267426 0 0 0 590 38 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 140736957694080 5653088 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267755 793 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 8728
/proc/meminfo: memFree=29331900/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267426 0 0 0 1230 39 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 140736957695160 13927493 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267755 793 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267755 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.03 2.06 2.07 3/183 8728
/proc/meminfo: memFree=29332192/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267437 0 0 0 2510 39 0 0 20 0 4 0 5687409 1337528320 267766 33554432000 4194304 16246674 140736957712160 140736957695160 5667408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267766 793 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267766 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267766 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267766 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.02 2.05 2.07 3/184 8731
/proc/meminfo: memFree=29331940/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267439 0 0 0 5069 39 0 0 20 0 4 0 5687409 1337528320 267768 33554432000 4194304 16246674 140736957712160 140736957695160 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267768 794 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267768 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267768 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267768 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.07 3/183 8732
/proc/meminfo: memFree=29331760/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267445 0 0 0 10187 40 0 0 20 0 4 0 5687409 1337528320 267774 33554432000 4194304 16246674 140736957712160 140736957695160 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8724/statm: 326545 267774 795 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267774 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267774 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 267774 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 268165 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/183 8862
/proc/meminfo: memFree=29326572/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1306180 CPUtime=1361.87 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 267994 0 0 0 136127 60 0 0 20 0 4 0 5687409 1337528320 268165 33554432000 4194304 16246674 140736957712160 140736957694080 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326545 268165 797 2943 0 323439 0
[pid=8724/tid=8725] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 268165 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 268165 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1337528320 268165 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 2.06 4/183 8863
/proc/meminfo: memFree=29326860/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1421.86 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268022 0 0 0 142126 60 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 140736957694080 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268193 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/183 8864
/proc/meminfo: memFree=29326524/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1481.85 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268022 0 0 0 148124 61 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 140736957694080 5717784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268193 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.06 4/183 8865
/proc/meminfo: memFree=29325744/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1541.84 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268022 0 0 0 154122 62 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 140736957695160 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268193 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268193 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.20 2.10 2.07 3/183 8866
/proc/meminfo: memFree=29326624/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1601.84 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268023 0 0 0 160120 64 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 140736957694080 5717716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268194 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.16 2.11 2.08 3/183 8868
/proc/meminfo: memFree=29326636/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1661.83 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268023 0 0 0 166118 65 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 140736957694080 13006856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268194 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/183 8869
/proc/meminfo: memFree=29326380/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1721.81 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268023 0 0 0 172116 65 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 140736957694080 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268194 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268194 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1307204

[startup+1782.31 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 8870
/proc/meminfo: memFree=29326252/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1781.81 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268047 0 0 0 178115 66 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 140736957694080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268218 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 8870
/proc/meminfo: memFree=29326752/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268047 0 0 0 179934 67 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 140736957695160 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268218 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204

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

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 8870
/proc/meminfo: memFree=29326752/32872528 swapFree=524788/557492
[pid=8724] ppid=8721 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/8724/stat : 8724 (toysat) R 8721 8724 5756 0 -1 4202496 268047 0 0 0 179934 67 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 140736957695160 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8724/statm: 326801 268218 797 2943 0 323695 0
[pid=8724/tid=8725] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754736692464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754726202608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5687409 1338576896 268218 33554432000 4194304 16246674 140736957712160 139754611928240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.35
CPU system time (s): 0.670898
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.670898
maximum resident set size= 1072872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268047
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= 427
involuntary context switches= 1994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51631 second user time and 7.00993 second system time

The end

Begin job on node106 at 2016-06-16 02:19:33
IDJOB=4089981
IDBENCH=107484
IDSOLVER=2542
FILE ID=node106/4089981-1466036373
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 25caec41769df5f883c48edaaa9c7bfb
RANDOM SEED=1974023473

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30403064 kB
Buffers:           47312 kB
Cached:            79560 kB
SwapCached:         1476 kB
Active:          1144144 kB
Inactive:          56864 kB
Active(anon):    1074940 kB
Inactive(anon):     1188 kB
Active(file):      69204 kB
Inactive(file):    55676 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1630092 kB
Mapped:            10416 kB
Shmem:                 0 kB
Slab:             576620 kB
SReclaimable:      20812 kB
SUnreclaim:       555808 kB
KernelStack:        1480 kB
PageTables:         7088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 02:49:33