0.00/0.00	c 2016-06-16T19:59:10+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-4095945-1466099950.opb"]
0.00/0.01	c use --random-gen="1999898905 86549396 986020585 2977697267 3622600750 3477777929 953415318 1845476825 2619279993 996602791 3340447197 2725094788 2867909607 3283324233 1761370299 2025633073 2126650639 352077900 946598043 1113880941 1773376371 3516808551 1149362924 3205544321 243328273 9685539 411023480 2118567489 1962735139 1328351869 1128796021 1856335990 484298701 534491610 1970076508 2043292580 1506230572 429536817 1785750435 277407041 1150985571 213355574 2512825091 58451330 375665103 80498830 647286931 2247697989 3980572519 391536109 3125329436 1478445442 3531230480 2182549404 2235564895 1871109388 4051876589 810705338 2306535600 1967501889 3439389029 3537829885 3268058995 2108837037 699487896 1094887552 350626749 598758218 236543132 3176916437 676499753 308016656 3484664530 2638649148 1442696024 3948860697 958353974 317653004 3871341553 756452851 1258023978 1988805742 3851045120 1495813979 3773886863 3096133116 4144038596 2196371837 1337019221 468003835 861890594 2781145110 1778859356 1164770177 3064218989 1105197750 2242007637 3912176071 2952181235 611511853 1521098865 3488132757 151747181 1063085310 1650954001 1411986955 2091831266 3228414258 3013409785 1209375116 2005569215 3533853238 2386261849 26931542 4204605443 766601075 586054189 2542712263 3908555449 4177788860 3973453417 1357775209 2086701733 706597586 1695559964 244387942 1705930751 637831941 4115001959 2164313509 412270131 2224703068 3658341944 719008507 1639513705 4235199990 841835979 3103983873 1109546897 1638377252 3966037863 1018589942 4076398485 1035569868 3902526772 3857133794 3882790101 26729539 1383503778 3859527966 815128470 845902106 2928753172 1658279719 2069285737 1756731180 901491046 744499040 1906173357 2138052744 2908595818 353540024 4133537549 2235291312 2613860111 2843903889 2980291212 4150138103 1234561548 1415122323 3251756723 4293669993 3288279905 1964435580 3775741246 3107983613 4291258800 317573515 339443224 508143212 622385197 2279394036 870919035 4049283306 3522080001 3943123162 1352968872 595059263 2288039942 621154800 3330161835 1294084408 308231208 1297596048 1217307281 2536058620 2370902377 445803188 3886890539 6954073 1776732135 2526281574 3421653841 3019131534 789811209 1976738975 918057312 816206322 2812259129 3063024916 1555663689 3401681694 2882764976 4096916828 3442124033 2956613573 1958006351 3898458608 3345023936 3388502817 378296781 3342691850 3103035342 2784113535 1463046403 1461251 3658866934 705340057 1874551936 1140501723 403215474 1932219566 4269206895 2660297714 2558363200 961417971 1184377276 1324820948 4192507600 4173911601 3251941693 3829768009 3600171971 1713107555 407601853 4293361679 3233145606 683140263 336672472 2677726934 1033722319 2434814820 3830306402 1817676473 357009209 1765905964 255 362436" option to reproduce the execution
0.00/0.01	c #vars 121
0.00/0.01	c #constraints 60
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      151 |      100 |       80      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      398 |      250 |       88      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      804 |      475 |       97      6 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1406 |      813 |      107     10 |        0 |        0
0.08/0.14	c  0.1s |       5 |     2101 |     1320 |      118     16 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3469 |     2081 |      143     25 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4962 |     3223 |      158     36 |        0 |        0
0.49/0.50	c  0.5s |       8 |     7397 |     4936 |      174     55 |        0 |        0
0.68/0.75	c  0.7s |       9 |    10684 |     7506 |      192     76 |        0 |        0
1.09/1.13	c  1.1s |      10 |    16435 |    11361 |      212    109 |        0 |        0
1.48/1.57	c  1.6s |      11 |    25339 |    17144 |      234    155 |        0 |        0
2.19/2.21	c  2.2s |      12 |    39160 |    25819 |      258    218 |        0 |        0
3.08/3.15	c  3.1s |      13 |    59167 |    38832 |      284    307 |        0 |        0
4.58/4.67	c  4.6s |      14 |    88708 |    58352 |      313    429 |        0 |        0
6.57/6.67	c  6.7s |      14 |   122330 |    84352 |      313    583 |        0 |        0
6.87/6.96	c  6.9s |      15 |   126134 |    87632 |      345    603 |        0 |        0
8.88/8.96	c  8.9s |      15 |   161713 |   113832 |      345    741 |        0 |        0
10.28/10.35	c 10.3s |      16 |   185491 |   131552 |      380    834 |        0 |        0
12.29/12.35	c 12.3s |      16 |   219830 |   156652 |      380    954 |        0 |        0
14.28/14.36	c 14.3s |      16 |   252568 |   180852 |      380   1073 |        0 |        0
15.58/15.66	c 15.6s |      17 |   275564 |   197432 |      419   1153 |        0 |        0
17.58/17.66	c 17.6s |      17 |   310953 |   223632 |      419   1271 |        0 |        0
19.57/19.67	c 19.7s |      17 |   347925 |   249932 |      419   1389 |        0 |        0
21.57/21.67	c 21.7s |      17 |   382925 |   276032 |      419   1509 |        0 |        0
23.18/23.21	c 23.2s |      18 |   409221 |   296252 |      461   1600 |        0 |        0
25.17/25.21	c 25.2s |      18 |   441766 |   321152 |      461   1703 |        0 |        0
27.17/27.22	c 27.2s |      18 |   477836 |   346752 |      461   1809 |        0 |        0
29.17/29.22	c 29.2s |      18 |   510831 |   370552 |      461   1906 |        0 |        0
31.17/31.22	c 31.2s |      18 |   543845 |   394552 |      461   2005 |        0 |        0
33.18/33.23	c 33.2s |      18 |   575696 |   418052 |      461   2102 |        0 |        0
35.17/35.23	c 35.2s |      18 |   611060 |   442752 |      508   2203 |        0 |        0
35.28/35.38	c 35.4s |      19 |   613400 |   444482 |      508   2209 |        0 |        0
37.27/37.39	c 37.4s |      19 |   642804 |   466782 |      508   2292 |        0 |        0
39.26/39.39	c 39.4s |      19 |   676235 |   490282 |      508   2380 |        0 |        0
41.26/41.40	c 41.4s |      19 |   708345 |   513782 |      508   2467 |        0 |        0
43.36/43.40	c 43.4s |      19 |   741641 |   538282 |      508   2559 |        0 |        0
45.36/45.40	c 45.4s |      19 |   772490 |   561382 |      508   2645 |        0 |        0
47.26/47.40	c 47.4s |      19 |   802183 |   583482 |      508   2726 |        0 |        0
49.36/49.40	c 49.4s |      19 |   829777 |   604482 |      508   2803 |        0 |        0
51.36/51.41	c 51.4s |      19 |   858972 |   626282 |      508   2885 |        0 |        0
53.36/53.42	c 53.4s |      19 |   887651 |   648082 |      508   2967 |        0 |        0
55.18/55.24	c 55.2s |      20 |   912361 |   666827 |      559   3034 |        0 |        0
57.17/57.25	c 57.2s |      20 |   941916 |   689327 |      559   3110 |        0 |        0
59.17/59.25	c 59.2s |      20 |   972105 |   712227 |      559   3187 |        0 |        0
61.17/61.25	c 61.2s |      20 |  1004402 |   736227 |      559   3269 |        0 |        0
63.17/63.25	c 63.2s |      20 |  1036658 |   760227 |      559   3351 |        0 |        0
65.16/65.25	c 65.2s |      20 |  1066659 |   783227 |      559   3429 |        0 |        0
67.17/67.26	c 67.2s |      20 |  1099535 |   807227 |      559   3512 |        0 |        0
69.16/69.26	c 69.2s |      20 |  1134846 |   831727 |      559   3596 |        0 |        0
71.16/71.27	c 71.3s |      20 |  1168575 |   856327 |      559   3681 |        0 |        0
73.16/73.28	c 73.3s |      20 |  1202431 |   880027 |      559   3762 |        0 |        0
75.16/75.28	c 75.3s |      20 |  1236565 |   903427 |      559   3841 |        0 |        0
77.17/77.28	c 77.3s |      20 |  1266242 |   925527 |      559   3917 |        0 |        0
79.15/79.29	c 79.3s |      20 |  1294620 |   947127 |      559   3990 |        0 |        0
81.15/81.29	c 81.3s |      20 |  1324079 |   968527 |      559   4062 |        0 |        0
83.15/83.29	c 83.3s |      20 |  1357339 |   991627 |      559   4141 |        0 |        0
83.95/84.09	c 84.1s |      21 |  1369507 |  1000345 |      615   4169 |        0 |        0
85.96/86.09	c 86.1s |      21 |  1405801 |  1024345 |      615   4243 |        0 |        0
87.95/88.10	c 88.1s |      21 |  1442131 |  1047945 |      615   4317 |        0 |        0
90.05/90.10	c 90.1s |      21 |  1474954 |  1070245 |      615   4386 |        0 |        0
92.05/92.11	c 92.1s |      21 |  1504848 |  1091645 |      615   4453 |        0 |        0
94.05/94.12	c 94.1s |      21 |  1534285 |  1113045 |      615   4519 |        0 |        0
96.05/96.12	c 96.1s |      21 |  1565229 |  1134545 |      615   4586 |        0 |        0
98.05/98.12	c 98.1s |      21 |  1596006 |  1156245 |      615   4654 |        0 |        0
100.04/100.13	c  100s |      21 |  1630486 |  1179245 |      615   4725 |        0 |        0
102.04/102.13	c  102s |      21 |  1665735 |  1202445 |      615   4798 |        0 |        0
104.04/104.13	c  104s |      21 |  1701303 |  1226045 |      615   4872 |        0 |        0
106.04/106.13	c  106s |      21 |  1732289 |  1248645 |      615   4942 |        0 |        0
108.04/108.14	c  108s |      21 |  1765053 |  1271545 |      615   5014 |        0 |        0
110.04/110.14	c  110s |      21 |  1795592 |  1293545 |      615   5083 |        0 |        0
112.04/112.15	c  112s |      21 |  1825894 |  1315445 |      615   5152 |        0 |        0
114.04/114.15	c  114s |      21 |  1856888 |  1337745 |      615   5221 |        0 |        0
116.04/116.16	c  116s |      21 |  1885991 |  1359345 |      615   5288 |        0 |        0
118.04/118.16	c  118s |      21 |  1916075 |  1381145 |      615   5356 |        0 |        0
120.04/120.16	c  120s |      21 |  1945824 |  1402845 |      615   5424 |        0 |        0
122.04/122.16	c  122s |      21 |  1974301 |  1424145 |      615   5490 |        0 |        0
124.03/124.17	c  124s |      21 |  2001953 |  1445045 |      615   5555 |        0 |        0
126.03/126.18	c  126s |      21 |  2031730 |  1467245 |      615   5624 |        0 |        0
128.03/128.18	c  128s |      21 |  2063494 |  1489645 |      615   5695 |        0 |        0
129.13/129.20	c  129s |      22 |  2079079 |  1500622 |      677   5726 |        0 |        0
131.13/131.21	c  131s |      22 |  2112125 |  1523722 |      677   5792 |        0 |        0
133.13/133.21	c  133s |      22 |  2141956 |  1545422 |      677   5854 |        0 |        0
135.12/135.22	c  135s |      22 |  2172966 |  1567822 |      677   5918 |        0 |        0
137.12/137.23	c  137s |      22 |  2203548 |  1589922 |      677   5981 |        0 |        0
139.12/139.23	c  139s |      22 |  2235160 |  1612322 |      677   6045 |        0 |        0
141.12/141.23	c  141s |      22 |  2266092 |  1634222 |      677   6108 |        0 |        0
143.13/143.23	c  143s |      22 |  2293594 |  1654822 |      677   6166 |        0 |        0
145.12/145.24	c  145s |      22 |  2321384 |  1675422 |      677   6225 |        0 |        0
147.12/147.24	c  147s |      22 |  2347600 |  1696022 |      677   6284 |        0 |        0
149.12/149.25	c  149s |      22 |  2376486 |  1717222 |      677   6344 |        0 |        0
151.12/151.26	c  151s |      22 |  2405405 |  1738722 |      677   6406 |        0 |        0
153.12/153.26	c  153s |      22 |  2435130 |  1760422 |      677   6468 |        0 |        0
155.12/155.27	c  155s |      22 |  2462698 |  1780722 |      677   6526 |        0 |        0
157.12/157.27	c  157s |      22 |  2492699 |  1802222 |      677   6587 |        0 |        0
159.11/159.27	c  159s |      22 |  2520955 |  1822622 |      677   6645 |        0 |        0
161.11/161.28	c  161s |      22 |  2549294 |  1843722 |      677   6705 |        0 |        0
163.11/163.28	c  163s |      22 |  2581108 |  1865622 |      677   6768 |        0 |        0
165.11/165.29	c  165s |      22 |  2610413 |  1886122 |      677   6828 |        0 |        0
167.11/167.30	c  167s |      22 |  2636254 |  1905722 |      677   6885 |        0 |        0
169.21/169.30	c  169s |      22 |  2664419 |  1926422 |      677   6944 |        0 |        0
171.21/171.30	c  171s |      22 |  2692831 |  1947322 |      677   7003 |        0 |        0
173.21/173.30	c  173s |      22 |  2718769 |  1966822 |      677   7059 |        0 |        0
175.20/175.31	c  175s |      22 |  2744385 |  1986422 |      677   7115 |        0 |        0
177.21/177.31	c  177s |      22 |  2770597 |  2006522 |      677   7172 |        0 |        0
179.20/179.32	c  179s |      22 |  2794529 |  2025622 |      677   7227 |        0 |        0
181.20/181.32	c  181s |      22 |  2820379 |  2045022 |      677   7281 |        0 |        0
183.20/183.33	c  183s |      22 |  2845921 |  2064422 |      677   7337 |        0 |        0
185.20/185.34	c  185s |      22 |  2873486 |  2084222 |      677   7393 |        0 |        0
187.21/187.34	c  187s |      22 |  2896851 |  2102722 |      677   7446 |        0 |        0
189.21/189.34	c  189s |      22 |  2923588 |  2122622 |      677   7502 |        0 |        0
191.20/191.35	c  191s |      22 |  2947979 |  2141622 |      677   7556 |        0 |        0
193.20/193.36	c  193s |      22 |  2969957 |  2159322 |      677   7606 |        0 |        0
195.20/195.36	c  195s |      22 |  2994936 |  2178322 |      677   7661 |        0 |        0
197.20/197.37	c  197s |      22 |  3026155 |  2200622 |      677   7725 |        0 |        0
199.21/199.37	c  199s |      22 |  3058787 |  2223622 |      677   7790 |        0 |        0
201.20/201.38	c  201s |      22 |  3089311 |  2245222 |      745   7850 |        0 |        0
201.80/201.92	c  201s |      23 |  3097513 |  2251038 |      745   7865 |        0 |        0
203.80/203.92	c  203s |      23 |  3123418 |  2270938 |      745   7916 |        0 |        0
205.80/205.92	c  205s |      23 |  3152566 |  2291838 |      745   7971 |        0 |        0
207.79/207.93	c  207s |      23 |  3182658 |  2313438 |      745   8027 |        0 |        0
209.79/209.94	c  209s |      23 |  3212137 |  2334638 |      745   8082 |        0 |        0
211.79/211.94	c  211s |      23 |  3241091 |  2355738 |      745   8136 |        0 |        0
213.79/213.95	c  213s |      23 |  3271370 |  2377638 |      745   8193 |        0 |        0
215.79/215.95	c  215s |      23 |  3301375 |  2398338 |      745   8247 |        0 |        0
217.80/217.96	c  217s |      23 |  3335317 |  2420538 |      745   8305 |        0 |        0
219.79/219.97	c  219s |      23 |  3364117 |  2441838 |      745   8361 |        0 |        0
221.79/221.97	c  221s |      23 |  3392208 |  2463138 |      745   8416 |        0 |        0
223.79/223.98	c  223s |      23 |  3421188 |  2483938 |      745   8471 |        0 |        0
225.79/225.98	c  225s |      23 |  3451594 |  2505538 |      745   8527 |        0 |        0
227.79/227.99	c  227s |      23 |  3479736 |  2526238 |      745   8581 |        0 |        0
229.78/230.00	c  229s |      23 |  3508099 |  2547038 |      745   8635 |        0 |        0
231.89/232.00	c  231s |      23 |  3535132 |  2567438 |      745   8688 |        0 |        0
233.89/234.01	c  233s |      23 |  3565040 |  2587838 |      745   8742 |        0 |        0
235.89/236.01	c  235s |      23 |  3592152 |  2607838 |      745   8794 |        0 |        0
237.89/238.01	c  237s |      23 |  3617210 |  2627138 |      745   8844 |        0 |        0
239.89/240.02	c  240s |      23 |  3646269 |  2647438 |      745   8897 |        0 |        0
241.88/242.02	c  242s |      23 |  3678210 |  2668738 |      745   8952 |        0 |        0
243.88/244.02	c  244s |      23 |  3706764 |  2689638 |      745   9007 |        0 |        0
245.88/246.03	c  246s |      23 |  3734772 |  2710538 |      745   9061 |        0 |        0
247.88/248.03	c  248s |      23 |  3762986 |  2731738 |      745   9117 |        0 |        0
249.87/250.04	c  250s |      23 |  3792120 |  2753038 |      745   9173 |        0 |        0
251.88/252.04	c  252s |      23 |  3819654 |  2773838 |      745   9227 |        0 |        0
253.87/254.04	c  254s |      23 |  3849240 |  2794938 |      745   9282 |        0 |        0
255.87/256.05	c  256s |      23 |  3876962 |  2815338 |      745   9336 |        0 |        0
257.87/258.06	c  258s |      23 |  3905722 |  2835838 |      745   9389 |        0 |        0
259.87/260.07	c  260s |      23 |  3931598 |  2855338 |      745   9440 |        0 |        0
261.87/262.07	c  262s |      23 |  3962081 |  2876438 |      745   9495 |        0 |        0
263.87/264.08	c  264s |      23 |  3992294 |  2896838 |      745   9548 |        0 |        0
265.86/266.09	c  266s |      23 |  4022670 |  2918238 |      745   9604 |        0 |        0
267.96/268.10	c  268s |      23 |  4052366 |  2939238 |      745   9659 |        0 |        0
269.96/270.11	c  270s |      23 |  4085157 |  2961238 |      745   9716 |        0 |        0
271.96/272.11	c  272s |      23 |  4112493 |  2981838 |      745   9770 |        0 |        0
273.97/274.12	c  274s |      23 |  4138128 |  3001938 |      745   9822 |        0 |        0
275.96/276.12	c  276s |      23 |  4165188 |  3022338 |      745   9875 |        0 |        0
277.96/278.13	c  278s |      23 |  4193962 |  3043838 |      745   9932 |        0 |        0
279.95/280.13	c  280s |      23 |  4222421 |  3065038 |      745   9987 |        0 |        0
281.95/282.14	c  282s |      23 |  4251347 |  3085938 |      745  10041 |        0 |        0
283.95/284.14	c  284s |      23 |  4278856 |  3106338 |      745  10094 |        0 |        0
285.97/286.15	c  286s |      23 |  4304512 |  3125838 |      745  10144 |        0 |        0
287.96/288.15	c  288s |      23 |  4328300 |  3144438 |      745  10192 |        0 |        0
289.96/290.16	c  290s |      23 |  4353345 |  3163738 |      745  10242 |        0 |        0
291.96/292.17	c  292s |      23 |  4377177 |  3182538 |      745  10291 |        0 |        0
293.96/294.17	c  294s |      23 |  4398054 |  3199738 |      745  10336 |        0 |        0
295.97/296.17	c  296s |      23 |  4424463 |  3219938 |      745  10388 |        0 |        0
297.96/298.18	c  298s |      23 |  4452218 |  3240638 |      745  10441 |        0 |        0
299.96/300.18	c  300s |      23 |  4478395 |  3260938 |      745  10494 |        0 |        0
301.96/302.19	c  302s |      23 |  4504705 |  3281138 |      745  10547 |        0 |        0
303.95/304.19	c  304s |      23 |  4529172 |  3300338 |      745  10597 |        0 |        0
305.95/306.20	c  306s |      23 |  4555833 |  3320238 |      745  10649 |        0 |        0
308.06/308.20	c  308s |      23 |  4581924 |  3340538 |      745  10702 |        0 |        0
310.05/310.21	c  310s |      23 |  4604242 |  3358838 |      820  10748 |        0 |        0
312.05/312.20	c  312s |      24 |  4625611 |  3376662 |      820  10790 |        0 |        0
314.05/314.20	c  314s |      24 |  4655352 |  3397762 |      820  10840 |        0 |        0
316.05/316.21	c  316s |      24 |  4686762 |  3419362 |      820  10891 |        0 |        0
318.05/318.21	c  318s |      24 |  4716145 |  3440762 |      820  10942 |        0 |        0
320.05/320.22	c  320s |      24 |  4744819 |  3461662 |      820  10991 |        0 |        0
322.04/322.22	c  322s |      24 |  4769630 |  3480762 |      820  11036 |        0 |        0
324.04/324.23	c  324s |      24 |  4796732 |  3501262 |      820  11085 |        0 |        0
326.04/326.24	c  326s |      24 |  4825798 |  3522562 |      820  11136 |        0 |        0
328.04/328.24	c  328s |      24 |  4853606 |  3543762 |      820  11186 |        0 |        0
330.04/330.25	c  330s |      24 |  4880599 |  3563862 |      820  11234 |        0 |        0
332.03/332.26	c  332s |      24 |  4907543 |  3583962 |      820  11281 |        0 |        0
334.03/334.26	c  334s |      24 |  4932989 |  3603662 |      820  11328 |        0 |        0
336.03/336.26	c  336s |      24 |  4960871 |  3624262 |      820  11376 |        0 |        0
338.03/338.27	c  338s |      24 |  4991630 |  3646362 |      820  11429 |        0 |        0
340.03/340.27	c  340s |      24 |  5019820 |  3667462 |      820  11479 |        0 |        0
342.04/342.28	c  342s |      24 |  5047802 |  3688162 |      820  11528 |        0 |        0
344.03/344.29	c  344s |      24 |  5075868 |  3709162 |      820  11578 |        0 |        0
346.03/346.29	c  346s |      24 |  5102859 |  3729862 |      820  11627 |        0 |        0
348.03/348.29	c  348s |      24 |  5128118 |  3749462 |      820  11673 |        0 |        0
350.02/350.30	c  350s |      24 |  5157945 |  3770662 |      820  11723 |        0 |        0
352.12/352.30	c  352s |      24 |  5187929 |  3792162 |      820  11774 |        0 |        0
354.13/354.30	c  354s |      24 |  5220152 |  3814462 |      820  11827 |        0 |        0
356.12/356.31	c  356s |      24 |  5249374 |  3835562 |      820  11877 |        0 |        0
358.12/358.31	c  358s |      24 |  5279396 |  3857362 |      820  11929 |        0 |        0
360.12/360.32	c  360s |      24 |  5307942 |  3878462 |      820  11979 |        0 |        0
362.12/362.32	c  362s |      24 |  5334949 |  3899062 |      820  12028 |        0 |        0
364.13/364.33	c  364s |      24 |  5365311 |  3920862 |      820  12080 |        0 |        0
366.12/366.33	c  366s |      24 |  5394866 |  3943062 |      820  12133 |        0 |        0
368.12/368.34	c  368s |      24 |  5422072 |  3963562 |      820  12181 |        0 |        0
370.11/370.34	c  370s |      24 |  5450445 |  3984662 |      820  12231 |        0 |        0
372.11/372.35	c  372s |      24 |  5480493 |  4005762 |      820  12281 |        0 |        0
374.11/374.35	c  374s |      24 |  5510318 |  4026762 |      820  12331 |        0 |        0
376.12/376.36	c  376s |      24 |  5539443 |  4047662 |      820  12381 |        0 |        0
378.11/378.36	c  378s |      24 |  5566884 |  4067862 |      820  12429 |        0 |        0
380.10/380.37	c  380s |      24 |  5593227 |  4087762 |      820  12476 |        0 |        0
382.10/382.38	c  382s |      24 |  5619166 |  4107462 |      820  12523 |        0 |        0
384.10/384.39	c  384s |      24 |  5643285 |  4126462 |      820  12569 |        0 |        0
386.20/386.40	c  386s |      24 |  5671640 |  4147162 |      820  12618 |        0 |        0
388.21/388.41	c  388s |      24 |  5700704 |  4168062 |      820  12668 |        0 |        0
390.20/390.42	c  390s |      24 |  5729870 |  4189362 |      820  12718 |        0 |        0
392.20/392.43	c  392s |      24 |  5757639 |  4209762 |      820  12767 |        0 |        0
394.20/394.43	c  394s |      24 |  5784155 |  4229162 |      820  12813 |        0 |        0
396.19/396.44	c  396s |      24 |  5814051 |  4249962 |      820  12862 |        0 |        0
398.21/398.44	c  398s |      24 |  5845606 |  4272062 |      820  12915 |        0 |        0
400.20/400.45	c  400s |      24 |  5869896 |  4291062 |      820  12960 |        0 |        0
402.19/402.46	c  402s |      24 |  5897195 |  4311262 |      820  13008 |        0 |        0
404.19/404.46	c  404s |      24 |  5925193 |  4331362 |      820  13056 |        0 |        0
406.19/406.46	c  406s |      24 |  5952445 |  4351762 |      820  13104 |        0 |        0
408.19/408.47	c  408s |      24 |  5980303 |  4372862 |      820  13154 |        0 |        0
410.19/410.48	c  410s |      24 |  6007708 |  4393762 |      820  13204 |        0 |        0
412.18/412.48	c  412s |      24 |  6036232 |  4414462 |      820  13253 |        0 |        0
414.18/414.49	c  414s |      24 |  6062507 |  4434762 |      820  13302 |        0 |        0
416.18/416.49	c  416s |      24 |  6090523 |  4455762 |      820  13352 |        0 |        0
418.27/418.50	c  418s |      24 |  6114428 |  4474662 |      820  13396 |        0 |        0
420.27/420.51	c  420s |      24 |  6136570 |  4492662 |      820  13439 |        0 |        0
422.28/422.51	c  422s |      24 |  6162222 |  4512362 |      820  13485 |        0 |        0
424.27/424.52	c  424s |      24 |  6188066 |  4531462 |      820  13531 |        0 |        0
426.27/426.52	c  426s |      24 |  6213421 |  4551262 |      820  13577 |        0 |        0
428.26/428.53	c  428s |      24 |  6239471 |  4570962 |      820  13624 |        0 |        0
430.27/430.53	c  430s |      24 |  6266105 |  4590662 |      820  13671 |        0 |        0
432.28/432.53	c  432s |      24 |  6292515 |  4609962 |      820  13717 |        0 |        0
434.27/434.53	c  434s |      24 |  6318396 |  4629162 |      820  13763 |        0 |        0
436.27/436.54	c  436s |      24 |  6345289 |  4648862 |      820  13810 |        0 |        0
438.26/438.54	c  438s |      24 |  6370275 |  4667662 |      820  13855 |        0 |        0
440.26/440.55	c  440s |      24 |  6396567 |  4686762 |      820  13900 |        0 |        0
442.26/442.55	c  442s |      24 |  6422840 |  4706862 |      820  13948 |        0 |        0
444.27/444.56	c  444s |      24 |  6446351 |  4725162 |      820  13992 |        0 |        0
446.26/446.57	c  446s |      24 |  6470489 |  4743762 |      820  14036 |        0 |        0
448.26/448.57	c  448s |      24 |  6496117 |  4762762 |      820  14081 |        0 |        0
450.26/450.58	c  450s |      24 |  6519551 |  4781262 |      820  14125 |        0 |        0
452.26/452.58	c  452s |      24 |  6542426 |  4798762 |      820  14167 |        0 |        0
454.27/454.58	c  454s |      24 |  6565630 |  4817062 |      820  14211 |        0 |        0
456.26/456.58	c  456s |      24 |  6595283 |  4837162 |      820  14259 |        0 |        0
458.25/458.59	c  458s |      24 |  6622344 |  4857362 |      820  14307 |        0 |        0
460.35/460.60	c  460s |      24 |  6648285 |  4876662 |      820  14353 |        0 |        0
462.35/462.61	c  462s |      24 |  6675094 |  4896262 |      820  14400 |        0 |        0
464.35/464.61	c  464s |      24 |  6702694 |  4916162 |      820  14448 |        0 |        0
466.36/466.62	c  466s |      24 |  6730966 |  4936062 |      820  14496 |        0 |        0
468.35/468.63	c  468s |      24 |  6758940 |  4956062 |      820  14543 |        0 |        0
470.36/470.63	c  470s |      24 |  6784821 |  4975762 |      820  14590 |        0 |        0
472.36/472.64	c  472s |      24 |  6807795 |  4994162 |      820  14633 |        0 |        0
474.36/474.64	c  474s |      24 |  6834381 |  5013862 |      820  14680 |        0 |        0
476.36/476.64	c  476s |      24 |  6861198 |  5033562 |      903  14726 |        0 |        0
478.36/478.65	c  478s |      24 |  6886357 |  5052762 |      903  14768 |        0 |        0
479.65/479.95	c  479s |      25 |  6902638 |  5065098 |      903  14794 |        0 |        0
481.66/481.96	c  481s |      25 |  6928828 |  5084498 |      903  14836 |        0 |        0
483.65/483.97	c  483s |      25 |  6953907 |  5103298 |      903  14876 |        0 |        0
485.65/485.97	c  485s |      25 |  6978433 |  5121798 |      903  14916 |        0 |        0
487.65/487.98	c  487s |      25 |  7001248 |  5139598 |      903  14954 |        0 |        0
489.64/489.99	c  489s |      25 |  7024672 |  5157598 |      903  14993 |        0 |        0
491.65/492.00	c  491s |      25 |  7050862 |  5176998 |      903  15034 |        0 |        0
493.64/494.00	c  493s |      25 |  7079000 |  5196898 |      903  15077 |        0 |        0
495.74/496.01	c  495s |      25 |  7104763 |  5215898 |      903  15118 |        0 |        0
497.74/498.01	c  497s |      25 |  7131086 |  5235698 |      903  15161 |        0 |        0
499.73/500.02	c  500s |      25 |  7158606 |  5255498 |      903  15204 |        0 |        0
501.73/502.03	c  502s |      25 |  7186285 |  5275498 |      903  15247 |        0 |        0
503.74/504.03	c  504s |      25 |  7213996 |  5295598 |      903  15290 |        0 |        0
505.73/506.04	c  506s |      25 |  7242434 |  5315398 |      903  15333 |        0 |        0
507.73/508.05	c  508s |      25 |  7271686 |  5334698 |      903  15375 |        0 |        0
509.73/510.06	c  510s |      25 |  7298920 |  5353798 |      903  15416 |        0 |        0
511.73/512.06	c  512s |      25 |  7323039 |  5371898 |      903  15455 |        0 |        0
513.73/514.07	c  514s |      25 |  7349742 |  5391198 |      903  15497 |        0 |        0
515.74/516.08	c  516s |      25 |  7376576 |  5410498 |      903  15538 |        0 |        0
517.73/518.08	c  518s |      25 |  7402003 |  5429598 |      903  15580 |        0 |        0
519.73/520.09	c  520s |      25 |  7428837 |  5448998 |      903  15622 |        0 |        0
521.73/522.09	c  522s |      25 |  7456128 |  5468098 |      903  15663 |        0 |        0
523.83/524.10	c  524s |      25 |  7481995 |  5487098 |      903  15705 |        0 |        0
525.83/526.10	c  526s |      25 |  7506579 |  5505298 |      903  15744 |        0 |        0
527.83/528.11	c  528s |      25 |  7531870 |  5523798 |      903  15784 |        0 |        0
529.82/530.11	c  530s |      25 |  7556604 |  5541698 |      903  15823 |        0 |        0
531.82/532.12	c  532s |      25 |  7582045 |  5560398 |      903  15863 |        0 |        0
533.82/534.13	c  534s |      25 |  7605232 |  5578098 |      903  15901 |        0 |        0
535.82/536.13	c  536s |      25 |  7630660 |  5596298 |      903  15941 |        0 |        0
537.83/538.14	c  538s |      25 |  7654456 |  5614298 |      903  15980 |        0 |        0
539.81/540.15	c  540s |      25 |  7678933 |  5632598 |      903  16019 |        0 |        0
541.81/542.15	c  542s |      25 |  7703116 |  5650198 |      903  16057 |        0 |        0
543.81/544.15	c  544s |      25 |  7728060 |  5668398 |      903  16096 |        0 |        0
545.81/546.16	c  546s |      25 |  7753445 |  5686898 |      903  16136 |        0 |        0
547.81/548.17	c  548s |      25 |  7778822 |  5705098 |      903  16175 |        0 |        0
549.81/550.17	c  550s |      25 |  7803460 |  5722998 |      903  16214 |        0 |        0
551.80/552.18	c  552s |      25 |  7829153 |  5741298 |      903  16254 |        0 |        0
553.80/554.18	c  554s |      25 |  7855120 |  5759698 |      903  16293 |        0 |        0
555.80/556.19	c  556s |      25 |  7881591 |  5778398 |      903  16334 |        0 |        0
557.90/558.20	c  558s |      25 |  7906837 |  5797098 |      903  16374 |        0 |        0
559.90/560.20	c  560s |      25 |  7931308 |  5815298 |      903  16413 |        0 |        0
561.90/562.21	c  562s |      25 |  7957232 |  5834098 |      903  16454 |        0 |        0
563.90/564.22	c  564s |      25 |  7983060 |  5852898 |      903  16495 |        0 |        0
565.90/566.23	c  566s |      25 |  8006344 |  5870398 |      903  16532 |        0 |        0
567.90/568.23	c  568s |      25 |  8027300 |  5887198 |      903  16569 |        0 |        0
569.89/570.24	c  570s |      25 |  8047155 |  5903598 |      903  16604 |        0 |        0
571.90/572.25	c  572s |      25 |  8068230 |  5920398 |      903  16640 |        0 |        0
573.89/574.26	c  574s |      25 |  8092153 |  5938198 |      903  16679 |        0 |        0
575.89/576.27	c  576s |      25 |  8116669 |  5956198 |      903  16718 |        0 |        0
577.89/578.27	c  578s |      25 |  8140559 |  5973998 |      903  16756 |        0 |        0
579.88/580.27	c  580s |      25 |  8166275 |  5992298 |      903  16796 |        0 |        0
581.88/582.28	c  582s |      25 |  8191684 |  6011498 |      903  16837 |        0 |        0
583.89/584.28	c  584s |      25 |  8215508 |  6029598 |      903  16876 |        0 |        0
585.88/586.28	c  586s |      25 |  8238321 |  6046998 |      903  16914 |        0 |        0
587.88/588.29	c  588s |      25 |  8261018 |  6064298 |      903  16951 |        0 |        0
589.98/590.30	c  590s |      25 |  8284724 |  6081898 |      903  16989 |        0 |        0
591.98/592.30	c  592s |      25 |  8311877 |  6100898 |      903  17030 |        0 |        0
593.98/594.30	c  594s |      25 |  8336613 |  6119198 |      903  17070 |        0 |        0
595.98/596.31	c  596s |      25 |  8360861 |  6136898 |      903  17108 |        0 |        0
597.98/598.31	c  598s |      25 |  8384456 |  6154598 |      903  17146 |        0 |        0
599.98/600.31	c  600s |      25 |  8409014 |  6172798 |      903  17185 |        0 |        0
601.98/602.32	c  602s |      25 |  8433928 |  6190998 |      903  17224 |        0 |        0
603.98/604.33	c  604s |      25 |  8458643 |  6208998 |      903  17263 |        0 |        0
605.99/606.34	c  606s |      25 |  8483678 |  6227298 |      903  17302 |        0 |        0
607.98/608.34	c  608s |      25 |  8506358 |  6244598 |      903  17340 |        0 |        0
609.98/610.34	c  610s |      25 |  8531427 |  6262498 |      903  17378 |        0 |        0
611.98/612.35	c  612s |      25 |  8556108 |  6280598 |      903  17417 |        0 |        0
613.98/614.35	c  614s |      25 |  8580156 |  6298398 |      903  17455 |        0 |        0
615.98/616.35	c  616s |      25 |  8604140 |  6316498 |      903  17494 |        0 |        0
617.98/618.36	c  618s |      25 |  8627780 |  6334598 |      903  17533 |        0 |        0
619.97/620.36	c  620s |      25 |  8649089 |  6351598 |      903  17570 |        0 |        0
621.97/622.37	c  622s |      25 |  8673421 |  6370098 |      903  17610 |        0 |        0
623.97/624.37	c  624s |      25 |  8697405 |  6388398 |      903  17649 |        0 |        0
625.97/626.38	c  626s |      25 |  8721495 |  6406698 |      903  17689 |        0 |        0
627.98/628.39	c  628s |      25 |  8743886 |  6424298 |      903  17726 |        0 |        0
629.96/630.39	c  630s |      25 |  8767005 |  6442298 |      903  17765 |        0 |        0
631.96/632.39	c  632s |      25 |  8789986 |  6459698 |      903  17803 |        0 |        0
634.06/634.40	c  634s |      25 |  8812192 |  6476798 |      903  17839 |        0 |        0
636.06/636.40	c  636s |      25 |  8832992 |  6493598 |      903  17876 |        0 |        0
638.06/638.40	c  638s |      25 |  8853650 |  6509798 |      903  17910 |        0 |        0
640.06/640.41	c  640s |      25 |  8873742 |  6525898 |      903  17945 |        0 |        0
642.06/642.42	c  642s |      25 |  8894535 |  6542298 |      903  17980 |        0 |        0
644.05/644.42	c  644s |      25 |  8915317 |  6558698 |      903  18016 |        0 |        0
646.06/646.43	c  646s |      25 |  8935954 |  6574898 |      903  18051 |        0 |        0
648.06/648.44	c  648s |      25 |  8956868 |  6591898 |      903  18087 |        0 |        0
650.05/650.45	c  650s |      25 |  8979830 |  6609398 |      903  18125 |        0 |        0
652.06/652.45	c  652s |      25 |  9002046 |  6626698 |      903  18162 |        0 |        0
654.05/654.46	c  654s |      25 |  9024361 |  6643898 |      903  18199 |        0 |        0
656.05/656.46	c  656s |      25 |  9045244 |  6660398 |      903  18234 |        0 |        0
658.05/658.47	c  658s |      25 |  9066224 |  6676898 |      903  18269 |        0 |        0
660.05/660.47	c  660s |      25 |  9085775 |  6692998 |      903  18304 |        0 |        0
662.05/662.48	c  662s |      25 |  9105315 |  6708598 |      903  18337 |        0 |        0
664.05/664.48	c  664s |      25 |  9124326 |  6723998 |      903  18370 |        0 |        0
666.04/666.49	c  666s |      25 |  9144403 |  6740198 |      903  18405 |        0 |        0
668.14/668.50	c  668s |      25 |  9166925 |  6757498 |      903  18442 |        0 |        0
670.14/670.51	c  670s |      25 |  9189755 |  6774798 |      903  18480 |        0 |        0
672.14/672.52	c  672s |      25 |  9213144 |  6792498 |      903  18517 |        0 |        0
674.14/674.53	c  674s |      25 |  9235688 |  6809798 |      903  18555 |        0 |        0
676.14/676.54	c  676s |      25 |  9258700 |  6827298 |      903  18593 |        0 |        0
678.14/678.55	c  678s |      25 |  9279775 |  6844098 |      903  18629 |        0 |        0
680.13/680.56	c  680s |      25 |  9300348 |  6860498 |      903  18664 |        0 |        0
682.13/682.57	c  682s |      25 |  9321529 |  6877098 |      903  18700 |        0 |        0
684.13/684.58	c  684s |      25 |  9340728 |  6892798 |      903  18733 |        0 |        0
686.14/686.59	c  686s |      25 |  9360966 |  6909098 |      903  18768 |        0 |        0
688.23/688.60	c  688s |      25 |  9382366 |  6925498 |      903  18804 |        0 |        0
690.23/690.61	c  690s |      25 |  9401944 |  6941198 |      903  18837 |        0 |        0
692.23/692.62	c  692s |      25 |  9426093 |  6959098 |      903  18876 |        0 |        0
694.23/694.62	c  694s |      25 |  9450390 |  6977298 |      903  18915 |        0 |        0
696.23/696.63	c  696s |      25 |  9472575 |  6994198 |      903  18951 |        0 |        0
698.24/698.63	c  698s |      25 |  9498628 |  7012198 |      903  18990 |        0 |        0
700.23/700.64	c  700s |      25 |  9523275 |  7029798 |      903  19028 |        0 |        0
702.23/702.64	c  702s |      25 |  9547392 |  7047298 |      903  19065 |        0 |        0
704.23/704.65	c  704s |      25 |  9565569 |  7062298 |      903  19098 |        0 |        0
706.23/706.66	c  706s |      25 |  9586188 |  7078098 |      903  19131 |        0 |        0
708.24/708.66	c  708s |      25 |  9609199 |  7095098 |      903  19168 |        0 |        0
710.23/710.66	c  710s |      25 |  9632916 |  7112598 |      903  19206 |        0 |        0
712.23/712.66	c  712s |      25 |  9654008 |  7128998 |      903  19241 |        0 |        0
714.23/714.67	c  714s |      25 |  9675362 |  7145998 |      903  19278 |        0 |        0
716.23/716.67	c  716s |      25 |  9697919 |  7162998 |      903  19314 |        0 |        0
718.23/718.67	c  718s |      25 |  9720644 |  7180098 |      903  19351 |        0 |        0
720.23/720.68	c  720s |      25 |  9742086 |  7196698 |      903  19387 |        0 |        0
722.22/722.68	c  722s |      25 |  9766779 |  7214698 |      903  19426 |        0 |        0
724.32/724.70	c  724s |      25 |  9787929 |  7231298 |      903  19462 |        0 |        0
726.32/726.70	c  726s |      25 |  9809244 |  7247598 |      903  19497 |        0 |        0
728.33/728.71	c  728s |      25 |  9832854 |  7264998 |      903  19535 |        0 |        0
730.33/730.71	c  730s |      25 |  9854678 |  7281398 |      903  19570 |        0 |        0
732.34/732.71	c  732s |      25 |  9874876 |  7297298 |      903  19604 |        0 |        0
734.33/734.71	c  734s |      25 |  9895521 |  7313298 |      903  19639 |        0 |        0
736.33/736.73	c  736s |      25 |  9913664 |  7328498 |      903  19671 |        0 |        0
738.33/738.73	c  738s |      25 |  9933354 |  7343998 |      903  19705 |        0 |        0
740.33/740.73	c  740s |      25 |  9953018 |  7359498 |      903  19738 |        0 |        0
742.33/742.75	c  742s |      25 |  9972484 |  7374798 |      903  19771 |        0 |        0
744.32/744.76	c  744s |      25 |  9992717 |  7390398 |      903  19805 |        0 |        0
746.32/746.76	c  746s |      25 | 10012591 |  7405698 |      903  19838 |        0 |        0
748.32/748.77	c  748s |      25 | 10031824 |  7420998 |      903  19871 |        0 |        0
750.32/750.78	c  750s |      25 | 10053926 |  7437398 |      903  19906 |        0 |        0
752.32/752.79	c  752s |      25 | 10077409 |  7454998 |      903  19945 |        0 |        0
754.33/754.80	c  754s |      25 | 10095407 |  7469998 |      903  19977 |        0 |        0
756.42/756.80	c  756s |      25 | 10118432 |  7486898 |      903  20014 |        0 |        0
758.42/758.81	c  758s |      25 | 10140772 |  7503798 |      903  20051 |        0 |        0
760.42/760.82	c  760s |      25 | 10164005 |  7521098 |      903  20088 |        0 |        0
762.42/762.82	c  762s |      25 | 10187728 |  7538098 |      903  20125 |        0 |        0
764.42/764.83	c  764s |      25 | 10210377 |  7555198 |      994  20159 |        0 |        0
766.43/766.84	c  766s |      25 | 10231508 |  7571798 |      994  20192 |        0 |        0
768.42/768.85	c  768s |      25 | 10254221 |  7588998 |      994  20226 |        0 |        0
769.42/769.87	c  769s |      26 | 10266664 |  7597752 |      994  20243 |        0 |        0
771.42/771.87	c  771s |      26 | 10288239 |  7614252 |      994  20276 |        0 |        0
773.42/773.87	c  773s |      26 | 10313854 |  7632352 |      994  20311 |        0 |        0
775.42/775.88	c  775s |      26 | 10338552 |  7649652 |      994  20345 |        0 |        0
777.42/777.88	c  777s |      26 | 10361586 |  7666852 |      994  20379 |        0 |        0
779.41/779.89	c  779s |      26 | 10383657 |  7683452 |      994  20411 |        0 |        0
781.51/781.90	c  781s |      26 | 10406870 |  7700552 |      994  20445 |        0 |        0
783.52/783.90	c  783s |      26 | 10429949 |  7716652 |      994  20476 |        0 |        0
785.52/785.90	c  785s |      26 | 10454540 |  7734852 |      994  20512 |        0 |        0
787.52/787.91	c  787s |      26 | 10478892 |  7752752 |      994  20547 |        0 |        0
789.53/789.91	c  789s |      26 | 10502109 |  7770252 |      994  20581 |        0 |        0
791.52/791.93	c  791s |      26 | 10524874 |  7787452 |      994  20615 |        0 |        0
793.52/793.93	c  793s |      26 | 10544866 |  7803352 |      994  20646 |        0 |        0
795.52/795.94	c  795s |      26 | 10568302 |  7820852 |      994  20680 |        0 |        0
797.52/797.95	c  797s |      26 | 10592208 |  7838652 |      994  20715 |        0 |        0
799.52/799.96	c  799s |      26 | 10616814 |  7856852 |      994  20750 |        0 |        0
801.52/801.97	c  801s |      26 | 10640027 |  7874552 |      994  20785 |        0 |        0
803.52/803.97	c  803s |      26 | 10662362 |  7891152 |      994  20818 |        0 |        0
805.52/805.98	c  805s |      26 | 10687485 |  7908752 |      994  20852 |        0 |        0
807.52/807.99	c  807s |      26 | 10715154 |  7927152 |      994  20889 |        0 |        0
809.51/809.99	c  809s |      26 | 10739109 |  7944552 |      994  20923 |        0 |        0
811.52/812.00	c  811s |      26 | 10762430 |  7962252 |      994  20957 |        0 |        0
813.61/814.00	c  813s |      26 | 10786522 |  7980152 |      994  20992 |        0 |        0
815.61/816.01	c  815s |      26 | 10808647 |  7997552 |      994  21026 |        0 |        0
817.61/818.02	c  817s |      26 | 10831757 |  8015252 |      994  21061 |        0 |        0
819.61/820.02	c  820s |      26 | 10854659 |  8032852 |      994  21095 |        0 |        0
821.61/822.03	c  822s |      26 | 10876999 |  8049852 |      994  21129 |        0 |        0
823.62/824.03	c  824s |      26 | 10899938 |  8067452 |      994  21163 |        0 |        0
825.61/826.04	c  826s |      26 | 10922460 |  8084552 |      994  21197 |        0 |        0
827.61/828.05	c  828s |      26 | 10946935 |  8102252 |      994  21232 |        0 |        0
829.61/830.05	c  830s |      26 | 10970826 |  8119752 |      994  21266 |        0 |        0
831.61/832.06	c  832s |      26 | 10992217 |  8136452 |      994  21299 |        0 |        0
833.61/834.07	c  834s |      26 | 11015956 |  8153652 |      994  21332 |        0 |        0
835.61/836.07	c  836s |      26 | 11039431 |  8170752 |      994  21366 |        0 |        0
837.61/838.08	c  838s |      26 | 11063037 |  8187952 |      994  21400 |        0 |        0
839.61/840.08	c  840s |      26 | 11085560 |  8204452 |      994  21432 |        0 |        0
841.61/842.09	c  842s |      26 | 11106247 |  8220352 |      994  21463 |        0 |        0
843.61/844.09	c  844s |      26 | 11127001 |  8236852 |      994  21496 |        0 |        0
845.62/846.09	c  846s |      26 | 11150511 |  8254652 |      994  21531 |        0 |        0
847.71/848.10	c  848s |      26 | 11175460 |  8272952 |      994  21567 |        0 |        0
849.71/850.10	c  850s |      26 | 11200759 |  8290552 |      994  21601 |        0 |        0
851.71/852.10	c  852s |      26 | 11224350 |  8308452 |      994  21636 |        0 |        0
853.71/854.11	c  854s |      26 | 11247105 |  8325752 |      994  21670 |        0 |        0
855.71/856.11	c  856s |      26 | 11271473 |  8343452 |      994  21705 |        0 |        0
857.71/858.12	c  858s |      26 | 11296052 |  8360552 |      994  21739 |        0 |        0
859.71/860.12	c  860s |      26 | 11320387 |  8377952 |      994  21773 |        0 |        0
861.70/862.14	c  862s |      26 | 11343558 |  8395052 |      994  21807 |        0 |        0
863.70/864.15	c  864s |      26 | 11369240 |  8412752 |      994  21841 |        0 |        0
865.71/866.15	c  866s |      26 | 11394840 |  8431052 |      994  21877 |        0 |        0
867.72/868.16	c  868s |      26 | 11422302 |  8449852 |      994  21914 |        0 |        0
869.71/870.17	c  870s |      26 | 11448594 |  8468552 |      994  21951 |        0 |        0
871.71/872.18	c  872s |      26 | 11476069 |  8488152 |      994  21990 |        0 |        0
873.71/874.18	c  874s |      26 | 11501803 |  8506852 |      994  22027 |        0 |        0
875.71/876.18	c  876s |      26 | 11527636 |  8525152 |      994  22063 |        0 |        0
877.71/878.19	c  878s |      26 | 11550665 |  8542152 |      994  22096 |        0 |        0
879.72/880.20	c  880s |      26 | 11576432 |  8560852 |      994  22133 |        0 |        0
881.81/882.21	c  882s |      26 | 11602507 |  8579352 |      994  22170 |        0 |        0
883.81/884.21	c  884s |      26 | 11626559 |  8596652 |      994  22204 |        0 |        0
885.81/886.21	c  886s |      26 | 11651600 |  8614352 |      994  22239 |        0 |        0
887.80/888.22	c  888s |      26 | 11677821 |  8633352 |      994  22276 |        0 |        0
889.80/890.22	c  890s |      26 | 11702872 |  8651452 |      994  22312 |        0 |        0
891.81/892.22	c  892s |      26 | 11727155 |  8668852 |      994  22346 |        0 |        0
893.80/894.23	c  894s |      26 | 11751916 |  8686452 |      994  22381 |        0 |        0
895.80/896.24	c  896s |      26 | 11776284 |  8704152 |      994  22415 |        0 |        0
897.80/898.24	c  898s |      26 | 11801722 |  8722552 |      994  22452 |        0 |        0
899.80/900.25	c  900s |      26 | 11827031 |  8740452 |      994  22487 |        0 |        0
901.81/902.26	c  902s |      26 | 11850763 |  8757552 |      994  22521 |        0 |        0
903.80/904.27	c  904s |      26 | 11874893 |  8774652 |      994  22554 |        0 |        0
905.80/906.27	c  906s |      26 | 11902811 |  8793052 |      994  22591 |        0 |        0
907.80/908.27	c  908s |      26 | 11927732 |  8810952 |      994  22626 |        0 |        0
909.80/910.27	c  910s |      26 | 11953690 |  8828852 |      994  22661 |        0 |        0
911.80/912.28	c  912s |      26 | 11978997 |  8847252 |      994  22697 |        0 |        0
913.80/914.29	c  914s |      26 | 12004736 |  8865452 |      994  22734 |        0 |        0
915.90/916.30	c  916s |      26 | 12029262 |  8883452 |      994  22769 |        0 |        0
917.90/918.30	c  918s |      26 | 12055771 |  8902352 |      994  22806 |        0 |        0
919.90/920.31	c  920s |      26 | 12080430 |  8919852 |      994  22840 |        0 |        0
921.89/922.32	c  922s |      26 | 12105635 |  8937452 |      994  22875 |        0 |        0
923.89/924.33	c  924s |      26 | 12130674 |  8955152 |      994  22910 |        0 |        0
925.90/926.33	c  926s |      26 | 12155759 |  8972852 |      994  22945 |        0 |        0
927.90/928.34	c  928s |      26 | 12180282 |  8990652 |      994  22980 |        0 |        0
929.90/930.36	c  930s |      26 | 12204886 |  9007752 |      994  23014 |        0 |        0
931.90/932.36	c  932s |      26 | 12229064 |  9025052 |      994  23048 |        0 |        0
933.90/934.36	c  934s |      26 | 12253315 |  9042452 |      994  23082 |        0 |        0
935.91/936.37	c  936s |      26 | 12280199 |  9061052 |      994  23119 |        0 |        0
937.90/938.37	c  938s |      26 | 12306757 |  9079052 |      994  23154 |        0 |        0
939.90/940.38	c  940s |      26 | 12330234 |  9096252 |      994  23188 |        0 |        0
941.90/942.38	c  942s |      26 | 12357193 |  9114352 |      994  23224 |        0 |        0
943.90/944.39	c  944s |      26 | 12379878 |  9130952 |      994  23256 |        0 |        0
945.90/946.39	c  946s |      26 | 12403198 |  9148252 |      994  23290 |        0 |        0
947.90/948.40	c  948s |      26 | 12427645 |  9166252 |      994  23325 |        0 |        0
949.99/950.40	c  950s |      26 | 12453633 |  9183852 |      994  23360 |        0 |        0
951.99/952.40	c  952s |      26 | 12476152 |  9200852 |      994  23393 |        0 |        0
953.99/954.41	c  954s |      26 | 12500997 |  9219052 |      994  23429 |        0 |        0
955.99/956.41	c  956s |      26 | 12523384 |  9236152 |      994  23463 |        0 |        0
957.99/958.41	c  958s |      26 | 12547050 |  9254352 |      994  23499 |        0 |        0
960.00/960.42	c  960s |      26 | 12570015 |  9271552 |      994  23533 |        0 |        0
961.99/962.42	c  962s |      26 | 12593050 |  9288752 |      994  23567 |        0 |        0
963.99/964.43	c  964s |      26 | 12616555 |  9306052 |      994  23601 |        0 |        0
965.99/966.44	c  966s |      26 | 12640072 |  9323252 |      994  23635 |        0 |        0
967.99/968.45	c  968s |      26 | 12669740 |  9343052 |      994  23674 |        0 |        0
969.99/970.45	c  970s |      26 | 12699883 |  9362652 |      994  23712 |        0 |        0
971.99/972.46	c  972s |      26 | 12728428 |  9381752 |      994  23750 |        0 |        0
973.99/974.46	c  974s |      26 | 12754120 |  9400452 |      994  23787 |        0 |        0
975.98/976.46	c  976s |      26 | 12782748 |  9419952 |      994  23826 |        0 |        0
977.99/978.46	c  978s |      26 | 12810256 |  9438552 |      994  23863 |        0 |        0
979.99/980.47	c  980s |      26 | 12837367 |  9457052 |      994  23899 |        0 |        0
982.00/982.47	c  982s |      26 | 12862512 |  9475052 |      994  23935 |        0 |        0
983.99/984.47	c  984s |      26 | 12887236 |  9492652 |      994  23970 |        0 |        0
985.99/986.48	c  986s |      26 | 12912734 |  9510352 |      994  24005 |        0 |        0
987.99/988.48	c  988s |      26 | 12937684 |  9528552 |      994  24041 |        0 |        0
989.99/990.48	c  990s |      26 | 12962940 |  9546652 |      994  24076 |        0 |        0
992.00/992.49	c  992s |      26 | 12988199 |  9564452 |      994  24112 |        0 |        0
993.99/994.49	c  994s |      26 | 13012972 |  9582152 |      994  24147 |        0 |        0
995.99/996.49	c  996s |      26 | 13038098 |  9599952 |      994  24182 |        0 |        0
998.09/998.50	c  998s |      26 | 13063777 |  9618052 |      994  24218 |        0 |        0
1000.09/1000.50	c 1000s |      26 | 13089403 |  9635752 |      994  24253 |        0 |        0
1002.09/1002.51	c 1002s |      26 | 13115808 |  9654352 |      994  24290 |        0 |        0
1004.10/1004.52	c 1004s |      26 | 13141071 |  9672752 |      994  24326 |        0 |        0
1006.09/1006.52	c 1006s |      26 | 13168214 |  9691352 |      994  24363 |        0 |        0
1008.09/1008.52	c 1008s |      26 | 13195663 |  9710552 |      994  24401 |        0 |        0
1010.09/1010.53	c 1010s |      26 | 13223088 |  9729552 |      994  24438 |        0 |        0
1012.09/1012.53	c 1012s |      26 | 13249927 |  9748352 |      994  24476 |        0 |        0
1014.09/1014.54	c 1014s |      26 | 13275825 |  9766452 |      994  24511 |        0 |        0
1016.09/1016.54	c 1016s |      26 | 13302975 |  9784252 |      994  24546 |        0 |        0
1018.09/1018.55	c 1018s |      26 | 13330902 |  9803252 |      994  24584 |        0 |        0
1020.09/1020.55	c 1020s |      26 | 13358033 |  9821952 |      994  24621 |        0 |        0
1022.08/1022.55	c 1022s |      26 | 13384803 |  9840352 |      994  24657 |        0 |        0
1024.08/1024.56	c 1024s |      26 | 13411235 |  9858852 |      994  24694 |        0 |        0
1026.09/1026.56	c 1026s |      26 | 13439273 |  9878452 |      994  24732 |        0 |        0
1028.08/1028.57	c 1028s |      26 | 13467840 |  9897652 |      994  24770 |        0 |        0
1030.08/1030.58	c 1030s |      26 | 13496456 |  9917152 |      994  24809 |        0 |        0
1032.08/1032.58	c 1032s |      26 | 13522834 |  9935752 |      994  24846 |        0 |        0
1034.08/1034.59	c 1034s |      26 | 13548186 |  9954252 |      994  24882 |        0 |        0
1036.18/1036.60	c 1036s |      26 | 13574799 |  9973052 |      994  24919 |        0 |        0
1038.09/1038.60	c 1038s |      26 | 13603656 |  9992152 |      994  24957 |        0 |        0
1040.18/1040.61	c 1040s |      26 | 13631530 | 10011352 |      994  24995 |        0 |        0
1042.18/1042.62	c 1042s |      26 | 13660683 | 10030652 |      994  25034 |        0 |        0
1044.18/1044.62	c 1044s |      26 | 13688197 | 10049452 |      994  25071 |        0 |        0
1046.18/1046.62	c 1046s |      26 | 13716081 | 10068252 |      994  25108 |        0 |        0
1048.18/1048.63	c 1048s |      26 | 13744922 | 10087352 |      994  25146 |        0 |        0
1050.18/1050.64	c 1050s |      26 | 13775337 | 10106952 |      994  25185 |        0 |        0
1052.18/1052.64	c 1052s |      26 | 13802211 | 10125952 |      994  25223 |        0 |        0
1054.17/1054.65	c 1054s |      26 | 13828347 | 10144352 |      994  25259 |        0 |        0
1056.17/1056.65	c 1056s |      26 | 13854950 | 10163252 |      994  25296 |        0 |        0
1058.17/1058.66	c 1058s |      26 | 13881170 | 10181952 |      994  25333 |        0 |        0
1060.18/1060.66	c 1060s |      26 | 13905674 | 10199952 |      994  25368 |        0 |        0
1062.17/1062.66	c 1062s |      26 | 13925773 | 10215852 |      994  25399 |        0 |        0
1064.17/1064.67	c 1064s |      26 | 13948031 | 10232452 |      994  25431 |        0 |        0
1066.17/1066.67	c 1066s |      26 | 13969413 | 10248452 |      994  25462 |        0 |        0
1068.18/1068.67	c 1068s |      26 | 13993052 | 10265652 |      994  25496 |        0 |        0
1070.18/1070.67	c 1070s |      26 | 14017791 | 10283352 |      994  25531 |        0 |        0
1072.19/1072.68	c 1072s |      26 | 14042777 | 10301552 |      994  25567 |        0 |        0
1074.18/1074.69	c 1074s |      26 | 14067418 | 10319652 |      994  25602 |        0 |        0
1076.28/1076.70	c 1076s |      26 | 14091935 | 10337052 |      994  25636 |        0 |        0
1078.28/1078.71	c 1078s |      26 | 14116202 | 10354152 |      994  25669 |        0 |        0
1080.28/1080.71	c 1080s |      26 | 14137764 | 10370552 |      994  25702 |        0 |        0
1082.28/1082.73	c 1082s |      26 | 14161751 | 10387952 |      994  25736 |        0 |        0
1084.28/1084.73	c 1084s |      26 | 14182980 | 10405352 |      994  25770 |        0 |        0
1086.28/1086.74	c 1086s |      26 | 14207353 | 10423352 |      994  25805 |        0 |        0
1088.28/1088.74	c 1088s |      26 | 14230006 | 10440752 |      994  25840 |        0 |        0
1090.28/1090.75	c 1090s |      26 | 14252125 | 10457652 |      994  25873 |        0 |        0
1092.28/1092.75	c 1092s |      26 | 14275296 | 10474752 |      994  25906 |        0 |        0
1094.28/1094.75	c 1094s |      26 | 14297649 | 10491452 |      994  25939 |        0 |        0
1096.27/1096.76	c 1096s |      26 | 14318946 | 10507752 |      994  25972 |        0 |        0
1098.27/1098.76	c 1098s |      26 | 14340046 | 10523952 |      994  26003 |        0 |        0
1100.27/1100.76	c 1100s |      26 | 14361918 | 10540652 |      994  26036 |        0 |        0
1102.27/1102.77	c 1102s |      26 | 14381848 | 10556252 |      994  26067 |        0 |        0
1104.27/1104.78	c 1104s |      26 | 14401889 | 10572052 |      994  26098 |        0 |        0
1106.28/1106.78	c 1106s |      26 | 14424864 | 10589052 |      994  26131 |        0 |        0
1108.27/1108.78	c 1108s |      26 | 14451368 | 10607852 |      994  26168 |        0 |        0
1110.27/1110.78	c 1110s |      26 | 14476530 | 10625852 |      994  26203 |        0 |        0
1112.26/1112.79	c 1112s |      26 | 14500013 | 10643052 |      994  26237 |        0 |        0
1114.36/1114.80	c 1114s |      26 | 14524464 | 10661052 |      994  26273 |        0 |        0
1116.36/1116.81	c 1116s |      26 | 14549043 | 10679452 |      994  26309 |        0 |        0
1118.37/1118.81	c 1118s |      26 | 14575850 | 10698552 |      994  26347 |        0 |        0
1120.36/1120.82	c 1120s |      26 | 14601288 | 10717152 |      994  26383 |        0 |        0
1122.36/1122.82	c 1122s |      26 | 14626124 | 10735552 |      994  26420 |        0 |        0
1124.37/1124.83	c 1124s |      26 | 14649812 | 10753452 |      994  26455 |        0 |        0
1126.37/1126.84	c 1126s |      26 | 14674165 | 10771052 |      994  26490 |        0 |        0
1128.38/1128.84	c 1128s |      26 | 14701413 | 10790052 |      994  26528 |        0 |        0
1130.37/1130.84	c 1130s |      26 | 14727063 | 10808652 |      994  26564 |        0 |        0
1132.37/1132.85	c 1132s |      26 | 14752402 | 10827052 |      994  26601 |        0 |        0
1134.37/1134.85	c 1134s |      26 | 14778518 | 10845552 |      994  26638 |        0 |        0
1136.37/1136.85	c 1136s |      26 | 14802333 | 10862852 |      994  26672 |        0 |        0
1138.36/1138.85	c 1138s |      26 | 14825197 | 10879752 |      994  26705 |        0 |        0
1140.37/1140.86	c 1140s |      26 | 14847149 | 10896352 |      994  26738 |        0 |        0
1142.36/1142.86	c 1142s |      26 | 14869424 | 10913152 |      994  26771 |        0 |        0
1144.36/1144.87	c 1144s |      26 | 14889919 | 10929452 |      994  26803 |        0 |        0
1146.36/1146.87	c 1146s |      26 | 14910247 | 10945352 |      994  26834 |        0 |        0
1148.37/1148.87	c 1148s |      26 | 14932239 | 10961952 |      994  26867 |        0 |        0
1150.37/1150.88	c 1150s |      26 | 14955049 | 10978752 |      994  26900 |        0 |        0
1152.37/1152.88	c 1152s |      26 | 14977451 | 10995552 |      994  26933 |        0 |        0
1154.37/1154.89	c 1154s |      26 | 14999095 | 11012052 |      994  26965 |        0 |        0
1156.37/1156.89	c 1156s |      26 | 15019482 | 11027752 |      994  26996 |        0 |        0
1158.46/1158.90	c 1158s |      26 | 15041057 | 11044252 |      994  27028 |        0 |        0
1160.46/1160.90	c 1160s |      26 | 15065271 | 11062152 |      994  27064 |        0 |        0
1162.47/1162.91	c 1162s |      26 | 15089583 | 11080252 |      994  27100 |        0 |        0
1164.46/1164.91	c 1164s |      26 | 15114691 | 11098452 |      994  27136 |        0 |        0
1166.46/1166.91	c 1166s |      26 | 15138590 | 11115852 |      994  27170 |        0 |        0
1168.46/1168.91	c 1168s |      26 | 15163208 | 11133552 |      994  27205 |        0 |        0
1170.46/1170.92	c 1170s |      26 | 15186785 | 11151352 |      994  27240 |        0 |        0
1172.46/1172.93	c 1172s |      26 | 15210596 | 11168952 |      994  27275 |        0 |        0
1174.47/1174.94	c 1174s |      26 | 15232167 | 11186052 |      994  27309 |        0 |        0
1176.46/1176.95	c 1176s |      26 | 15256067 | 11203752 |      994  27344 |        0 |        0
1178.46/1178.96	c 1178s |      26 | 15277186 | 11220552 |      994  27377 |        0 |        0
1180.46/1180.97	c 1180s |      26 | 15298663 | 11237252 |      994  27410 |        0 |        0
1182.46/1182.97	c 1182s |      26 | 15323948 | 11255752 |      994  27446 |        0 |        0
1184.47/1184.98	c 1184s |      26 | 15347618 | 11273952 |      994  27482 |        0 |        0
1186.46/1186.98	c 1186s |      26 | 15372420 | 11292352 |      994  27519 |        0 |        0
1188.46/1188.99	c 1188s |      26 | 15397227 | 11310652 |      994  27555 |        0 |        0
1190.46/1190.99	c 1190s |      26 | 15419526 | 11327852 |     1094  27587 |        0 |        0
1192.56/1193.00	c 1192s |      26 | 15442717 | 11345152 |     1094  27618 |        0 |        0
1194.56/1195.01	c 1194s |      26 | 15467843 | 11362852 |     1094  27650 |        0 |        0
1196.56/1197.02	c 1197s |      26 | 15493518 | 11380852 |     1094  27682 |        0 |        0
1198.35/1198.81	c 1198s |      27 | 15516620 | 11396733 |     1094  27711 |        0 |        0
1200.35/1200.82	c 1200s |      27 | 15542237 | 11414433 |     1094  27742 |        0 |        0
1202.36/1202.83	c 1202s |      27 | 15567578 | 11432033 |     1094  27774 |        0 |        0
1204.36/1204.84	c 1204s |      27 | 15590192 | 11448833 |     1094  27804 |        0 |        0
1206.37/1206.84	c 1206s |      27 | 15614755 | 11466233 |     1094  27835 |        0 |        0
1208.36/1208.85	c 1208s |      27 | 15639576 | 11483833 |     1094  27867 |        0 |        0
1210.36/1210.86	c 1210s |      27 | 15663701 | 11501333 |     1094  27898 |        0 |        0
1212.36/1212.86	c 1212s |      27 | 15688657 | 11518833 |     1094  27930 |        0 |        0
1214.36/1214.86	c 1214s |      27 | 15711216 | 11535733 |     1094  27960 |        0 |        0
1216.36/1216.86	c 1216s |      27 | 15734291 | 11552733 |     1094  27990 |        0 |        0
1218.35/1218.87	c 1218s |      27 | 15756604 | 11569433 |     1094  28020 |        0 |        0
1220.35/1220.87	c 1220s |      27 | 15779018 | 11586033 |     1094  28050 |        0 |        0
1222.35/1222.89	c 1222s |      27 | 15805244 | 11604133 |     1094  28083 |        0 |        0
1224.35/1224.89	c 1224s |      27 | 15831416 | 11622533 |     1094  28116 |        0 |        0
1226.45/1226.90	c 1226s |      27 | 15857123 | 11640733 |     1094  28148 |        0 |        0
1228.46/1228.91	c 1228s |      27 | 15882551 | 11658633 |     1094  28181 |        0 |        0
1230.45/1230.91	c 1230s |      27 | 15905725 | 11675633 |     1094  28211 |        0 |        0
1232.45/1232.92	c 1232s |      27 | 15929809 | 11692633 |     1094  28242 |        0 |        0
1234.45/1234.93	c 1234s |      27 | 15953316 | 11709433 |     1094  28272 |        0 |        0
1236.45/1236.94	c 1236s |      27 | 15977692 | 11726733 |     1094  28303 |        0 |        0
1238.45/1238.94	c 1238s |      27 | 16001074 | 11743933 |     1094  28333 |        0 |        0
1240.45/1240.95	c 1240s |      27 | 16024482 | 11761133 |     1094  28364 |        0 |        0
1242.45/1242.96	c 1242s |      27 | 16049355 | 11779033 |     1094  28396 |        0 |        0
1244.44/1244.97	c 1244s |      27 | 16074583 | 11796733 |     1094  28428 |        0 |        0
1246.44/1246.97	c 1246s |      27 | 16097817 | 11813933 |     1094  28459 |        0 |        0
1248.44/1248.98	c 1248s |      27 | 16121908 | 11831133 |     1094  28490 |        0 |        0
1250.45/1250.99	c 1250s |      27 | 16144832 | 11848233 |     1094  28521 |        0 |        0
1252.44/1253.00	c 1252s |      27 | 16169604 | 11866133 |     1094  28553 |        0 |        0
1254.54/1255.00	c 1254s |      27 | 16195251 | 11884033 |     1094  28585 |        0 |        0
1256.54/1257.01	c 1256s |      27 | 16219768 | 11901633 |     1094  28617 |        0 |        0
1258.54/1259.02	c 1259s |      27 | 16243358 | 11919033 |     1094  28648 |        0 |        0
1260.55/1261.02	c 1261s |      27 | 16267868 | 11936233 |     1094  28679 |        0 |        0
1262.56/1263.03	c 1263s |      27 | 16292394 | 11953033 |     1094  28710 |        0 |        0
1264.55/1265.04	c 1265s |      27 | 16317163 | 11969533 |     1094  28739 |        0 |        0
1266.55/1267.04	c 1267s |      27 | 16341764 | 11986733 |     1094  28770 |        0 |        0
1268.55/1269.05	c 1269s |      27 | 16365047 | 12003933 |     1094  28801 |        0 |        0
1270.55/1271.06	c 1271s |      27 | 16389431 | 12021233 |     1094  28832 |        0 |        0
1272.55/1273.07	c 1273s |      27 | 16412475 | 12038233 |     1094  28862 |        0 |        0
1274.56/1275.08	c 1275s |      27 | 16436302 | 12055833 |     1094  28894 |        0 |        0
1276.55/1277.09	c 1277s |      27 | 16457783 | 12072633 |     1094  28924 |        0 |        0
1278.55/1279.09	c 1279s |      27 | 16481849 | 12090733 |     1094  28957 |        0 |        0
1280.65/1281.10	c 1281s |      27 | 16503570 | 12107833 |     1094  28987 |        0 |        0
1282.65/1283.11	c 1283s |      27 | 16526739 | 12125233 |     1094  29019 |        0 |        0
1284.65/1285.12	c 1285s |      27 | 16550384 | 12142633 |     1094  29050 |        0 |        0
1286.65/1287.12	c 1287s |      27 | 16573390 | 12159933 |     1094  29081 |        0 |        0
1288.65/1289.12	c 1289s |      27 | 16596300 | 12177033 |     1094  29112 |        0 |        0
1290.64/1291.13	c 1291s |      27 | 16619124 | 12194133 |     1094  29142 |        0 |        0
1292.64/1293.14	c 1293s |      27 | 16640450 | 12210833 |     1094  29172 |        0 |        0
1294.64/1295.15	c 1295s |      27 | 16664583 | 12228233 |     1094  29204 |        0 |        0
1296.65/1297.15	c 1297s |      27 | 16690255 | 12246333 |     1094  29236 |        0 |        0
1298.64/1299.16	c 1299s |      27 | 16712812 | 12263133 |     1094  29266 |        0 |        0
1300.64/1301.16	c 1301s |      27 | 16736553 | 12280333 |     1094  29297 |        0 |        0
1302.64/1303.17	c 1303s |      27 | 16760440 | 12297633 |     1094  29328 |        0 |        0
1304.64/1305.17	c 1305s |      27 | 16782571 | 12314133 |     1094  29357 |        0 |        0
1306.64/1307.18	c 1307s |      27 | 16802832 | 12329933 |     1094  29386 |        0 |        0
1308.65/1309.19	c 1309s |      27 | 16823570 | 12346133 |     1094  29415 |        0 |        0
1310.64/1311.19	c 1311s |      27 | 16843157 | 12361633 |     1094  29442 |        0 |        0
1312.74/1313.20	c 1313s |      27 | 16864675 | 12378333 |     1094  29472 |        0 |        0
1314.74/1315.20	c 1315s |      27 | 16884259 | 12394133 |     1094  29501 |        0 |        0
1316.74/1317.20	c 1317s |      27 | 16905843 | 12410433 |     1094  29530 |        0 |        0
1318.74/1319.21	c 1319s |      27 | 16929331 | 12427833 |     1094  29561 |        0 |        0
1320.75/1321.22	c 1321s |      27 | 16953508 | 12445333 |     1094  29592 |        0 |        0
1322.74/1323.23	c 1323s |      27 | 16977051 | 12462633 |     1094  29624 |        0 |        0
1324.74/1325.24	c 1325s |      27 | 17000495 | 12480133 |     1094  29655 |        0 |        0
1326.74/1327.24	c 1327s |      27 | 17024897 | 12497733 |     1094  29687 |        0 |        0
1328.74/1329.25	c 1329s |      27 | 17049975 | 12515733 |     1094  29719 |        0 |        0
1330.74/1331.25	c 1331s |      27 | 17074999 | 12533533 |     1094  29752 |        0 |        0
1332.74/1333.25	c 1333s |      27 | 17099746 | 12551133 |     1094  29783 |        0 |        0
1334.73/1335.26	c 1335s |      27 | 17121417 | 12567833 |     1094  29813 |        0 |        0
1336.73/1337.27	c 1337s |      27 | 17145326 | 12585333 |     1094  29845 |        0 |        0
1338.73/1339.27	c 1339s |      27 | 17169360 | 12602833 |     1094  29876 |        0 |        0
1340.73/1341.28	c 1341s |      27 | 17191857 | 12619433 |     1094  29906 |        0 |        0
1342.74/1343.29	c 1343s |      27 | 17214792 | 12636133 |     1094  29936 |        0 |        0
1344.73/1345.29	c 1345s |      27 | 17239679 | 12653833 |     1094  29968 |        0 |        0
1346.83/1347.30	c 1347s |      27 | 17262457 | 12670733 |     1094  29999 |        0 |        0
1348.83/1349.30	c 1349s |      27 | 17286066 | 12688433 |     1094  30030 |        0 |        0
1350.83/1351.31	c 1351s |      27 | 17310209 | 12705633 |     1094  30061 |        0 |        0
1352.84/1353.31	c 1353s |      27 | 17336316 | 12724033 |     1094  30095 |        0 |        0
1354.84/1355.31	c 1355s |      27 | 17359413 | 12741233 |     1094  30126 |        0 |        0
1356.84/1357.32	c 1357s |      27 | 17384221 | 12759033 |     1094  30158 |        0 |        0
1358.84/1359.32	c 1359s |      27 | 17406965 | 12776033 |     1094  30188 |        0 |        0
1360.83/1361.33	c 1361s |      27 | 17431430 | 12793933 |     1094  30220 |        0 |        0
1362.83/1363.34	c 1363s |      27 | 17455453 | 12811733 |     1094  30252 |        0 |        0
1364.84/1365.35	c 1365s |      27 | 17482274 | 12830433 |     1094  30285 |        0 |        0
1366.83/1367.36	c 1367s |      27 | 17510409 | 12850133 |     1094  30320 |        0 |        0
1368.83/1369.36	c 1369s |      27 | 17534248 | 12868133 |     1094  30353 |        0 |        0
1370.83/1371.38	c 1371s |      27 | 17560313 | 12886533 |     1094  30386 |        0 |        0
1372.83/1373.38	c 1373s |      27 | 17583961 | 12904233 |     1094  30417 |        0 |        0
1374.83/1375.39	c 1375s |      27 | 17608300 | 12922333 |     1094  30450 |        0 |        0
1376.84/1377.39	c 1377s |      27 | 17633602 | 12940533 |     1094  30482 |        0 |        0
1378.93/1379.40	c 1379s |      27 | 17657647 | 12958333 |     1094  30514 |        0 |        0
1380.93/1381.41	c 1381s |      27 | 17679824 | 12975433 |     1094  30545 |        0 |        0
1382.93/1383.42	c 1383s |      27 | 17700900 | 12991933 |     1094  30575 |        0 |        0
1384.93/1385.44	c 1385s |      27 | 17722267 | 13008533 |     1094  30605 |        0 |        0
1386.93/1387.44	c 1387s |      27 | 17745880 | 13026233 |     1094  30636 |        0 |        0
1388.93/1389.45	c 1389s |      27 | 17767633 | 13043133 |     1094  30667 |        0 |        0
1390.92/1391.45	c 1391s |      27 | 17790589 | 13060233 |     1094  30697 |        0 |        0
1392.92/1393.45	c 1393s |      27 | 17811407 | 13076633 |     1094  30727 |        0 |        0
1394.92/1395.45	c 1395s |      27 | 17835245 | 13094933 |     1094  30760 |        0 |        0
1396.92/1397.46	c 1397s |      27 | 17857445 | 13112133 |     1094  30791 |        0 |        0
1398.93/1399.46	c 1399s |      27 | 17883030 | 13130533 |     1094  30824 |        0 |        0
1400.93/1401.47	c 1401s |      27 | 17906939 | 13148133 |     1094  30855 |        0 |        0
1402.93/1403.48	c 1403s |      27 | 17929794 | 13165333 |     1094  30887 |        0 |        0
1404.93/1405.48	c 1405s |      27 | 17954150 | 13183033 |     1094  30918 |        0 |        0
1406.93/1407.49	c 1407s |      27 | 17977861 | 13200133 |     1094  30949 |        0 |        0
1408.92/1409.49	c 1409s |      27 | 18002067 | 13217433 |     1094  30980 |        0 |        0
1410.93/1411.50	c 1411s |      27 | 18025269 | 13234933 |     1094  31011 |        0 |        0
1413.02/1413.51	c 1413s |      27 | 18047888 | 13252233 |     1094  31043 |        0 |        0
1415.02/1415.52	c 1415s |      27 | 18072174 | 13270133 |     1094  31075 |        0 |        0
1417.02/1417.53	c 1417s |      27 | 18096848 | 13287833 |     1094  31107 |        0 |        0
1419.02/1419.54	c 1419s |      27 | 18122711 | 13306133 |     1094  31140 |        0 |        0
1421.02/1421.54	c 1421s |      27 | 18147611 | 13324033 |     1094  31172 |        0 |        0
1423.03/1423.55	c 1423s |      27 | 18172339 | 13341633 |     1094  31204 |        0 |        0
1425.02/1425.55	c 1425s |      27 | 18198960 | 13359633 |     1094  31236 |        0 |        0
1427.02/1427.56	c 1427s |      27 | 18222204 | 13376833 |     1094  31267 |        0 |        0
1429.02/1429.57	c 1429s |      27 | 18246110 | 13394233 |     1094  31299 |        0 |        0
1431.02/1431.57	c 1431s |      27 | 18269145 | 13411533 |     1094  31330 |        0 |        0
1433.03/1433.57	c 1433s |      27 | 18294172 | 13429033 |     1094  31361 |        0 |        0
1435.02/1435.57	c 1435s |      27 | 18316312 | 13445333 |     1094  31390 |        0 |        0
1437.02/1437.58	c 1437s |      27 | 18338759 | 13461733 |     1094  31420 |        0 |        0
1439.02/1439.59	c 1439s |      27 | 18361090 | 13478933 |     1094  31451 |        0 |        0
1441.02/1441.59	c 1441s |      27 | 18386296 | 13497633 |     1094  31484 |        0 |        0
1443.12/1443.60	c 1443s |      27 | 18410827 | 13515533 |     1094  31516 |        0 |        0
1445.02/1445.60	c 1445s |      27 | 18434455 | 13532633 |     1094  31547 |        0 |        0
1447.12/1447.61	c 1447s |      27 | 18459735 | 13551033 |     1094  31580 |        0 |        0
1449.11/1449.61	c 1449s |      27 | 18484173 | 13568533 |     1094  31611 |        0 |        0
1451.11/1451.61	c 1451s |      27 | 18505027 | 13584533 |     1094  31640 |        0 |        0
1453.11/1453.63	c 1453s |      27 | 18529054 | 13602533 |     1094  31673 |        0 |        0
1455.11/1455.63	c 1455s |      27 | 18554462 | 13620533 |     1094  31705 |        0 |        0
1457.12/1457.63	c 1457s |      27 | 18578107 | 13638333 |     1094  31737 |        0 |        0
1459.11/1459.65	c 1459s |      27 | 18602310 | 13656133 |     1094  31769 |        0 |        0
1461.11/1461.65	c 1461s |      27 | 18627775 | 13674433 |     1094  31803 |        0 |        0
1463.11/1463.65	c 1463s |      27 | 18651347 | 13692033 |     1094  31834 |        0 |        0
1465.11/1465.66	c 1465s |      27 | 18675190 | 13709533 |     1094  31866 |        0 |        0
1467.12/1467.67	c 1467s |      27 | 18698155 | 13726533 |     1094  31897 |        0 |        0
1469.11/1469.68	c 1469s |      27 | 18718387 | 13742733 |     1094  31926 |        0 |        0
1471.11/1471.68	c 1471s |      27 | 18738265 | 13758933 |     1094  31955 |        0 |        0
1473.12/1473.69	c 1473s |      27 | 18759661 | 13775733 |     1094  31986 |        0 |        0
1475.22/1475.71	c 1475s |      27 | 18780524 | 13792133 |     1094  32015 |        0 |        0
1477.22/1477.72	c 1477s |      27 | 18802509 | 13808333 |     1094  32044 |        0 |        0
1479.22/1479.72	c 1479s |      27 | 18823228 | 13824333 |     1094  32073 |        0 |        0
1481.21/1481.73	c 1481s |      27 | 18843469 | 13841033 |     1094  32103 |        0 |        0
1483.21/1483.74	c 1483s |      27 | 18866956 | 13858933 |     1094  32135 |        0 |        0
1485.21/1485.74	c 1485s |      27 | 18889910 | 13876133 |     1094  32166 |        0 |        0
1487.21/1487.75	c 1487s |      27 | 18912005 | 13893033 |     1094  32196 |        0 |        0
1489.21/1489.75	c 1489s |      27 | 18934304 | 13909733 |     1094  32226 |        0 |        0
1491.22/1491.76	c 1491s |      27 | 18957020 | 13926333 |     1094  32255 |        0 |        0
1493.21/1493.77	c 1493s |      27 | 18978157 | 13942333 |     1094  32284 |        0 |        0
1495.21/1495.78	c 1495s |      27 | 18999588 | 13958733 |     1094  32313 |        0 |        0
1497.21/1497.78	c 1497s |      27 | 19020449 | 13974933 |     1094  32342 |        0 |        0
1499.21/1499.79	c 1499s |      27 | 19042288 | 13991733 |     1094  32372 |        0 |        0
1501.21/1501.79	c 1501s |      27 | 19065449 | 14008333 |     1094  32402 |        0 |        0
1503.21/1503.80	c 1503s |      27 | 19087988 | 14025233 |     1094  32432 |        0 |        0
1505.31/1505.80	c 1505s |      27 | 19109718 | 14041833 |     1094  32462 |        0 |        0
1507.31/1507.80	c 1507s |      27 | 19132842 | 14058433 |     1094  32492 |        0 |        0
1509.31/1509.81	c 1509s |      27 | 19154101 | 14074433 |     1094  32520 |        0 |        0
1511.31/1511.81	c 1511s |      27 | 19175179 | 14090733 |     1094  32549 |        0 |        0
1513.32/1513.82	c 1513s |      27 | 19198715 | 14108533 |     1094  32581 |        0 |        0
1515.31/1515.82	c 1515s |      27 | 19222584 | 14126033 |     1094  32613 |        0 |        0
1517.31/1517.82	c 1517s |      27 | 19242016 | 14141933 |     1094  32641 |        0 |        0
1519.31/1519.83	c 1519s |      27 | 19260539 | 14157433 |     1094  32669 |        0 |        0
1521.31/1521.84	c 1521s |      27 | 19280046 | 14172933 |     1094  32697 |        0 |        0
1523.30/1523.84	c 1523s |      27 | 19303416 | 14190233 |     1094  32728 |        0 |        0
1525.31/1525.85	c 1525s |      27 | 19325861 | 14207233 |     1094  32759 |        0 |        0
1527.30/1527.87	c 1527s |      27 | 19349629 | 14224333 |     1094  32790 |        0 |        0
1529.30/1529.88	c 1529s |      27 | 19372141 | 14241133 |     1094  32820 |        0 |        0
1531.30/1531.88	c 1531s |      27 | 19394429 | 14258433 |     1094  32851 |        0 |        0
1533.30/1533.88	c 1533s |      27 | 19416394 | 14274933 |     1094  32881 |        0 |        0
1535.31/1535.89	c 1535s |      27 | 19439135 | 14291633 |     1094  32911 |        0 |        0
1537.30/1537.89	c 1537s |      27 | 19463462 | 14309433 |     1094  32943 |        0 |        0
1539.40/1539.90	c 1539s |      27 | 19487672 | 14326733 |     1094  32974 |        0 |        0
1541.40/1541.90	c 1541s |      27 | 19509912 | 14343333 |     1094  33004 |        0 |        0
1543.41/1543.91	c 1543s |      27 | 19533585 | 14360533 |     1094  33035 |        0 |        0
1545.41/1545.92	c 1545s |      27 | 19556375 | 14377233 |     1094  33065 |        0 |        0
1547.41/1547.93	c 1547s |      27 | 19578822 | 14393633 |     1094  33095 |        0 |        0
1549.41/1549.94	c 1549s |      27 | 19602687 | 14411333 |     1094  33127 |        0 |        0
1551.41/1551.95	c 1551s |      27 | 19626091 | 14428933 |     1094  33158 |        0 |        0
1553.40/1553.96	c 1553s |      27 | 19650411 | 14446533 |     1094  33190 |        0 |        0
1555.40/1555.97	c 1555s |      27 | 19675646 | 14464733 |     1094  33223 |        0 |        0
1557.40/1557.97	c 1557s |      27 | 19700941 | 14482533 |     1094  33255 |        0 |        0
1559.41/1559.98	c 1559s |      27 | 19724916 | 14500033 |     1094  33287 |        0 |        0
1561.40/1561.98	c 1561s |      27 | 19747900 | 14517133 |     1094  33318 |        0 |        0
1563.40/1563.99	c 1563s |      27 | 19772841 | 14534833 |     1094  33350 |        0 |        0
1565.50/1566.00	c 1565s |      27 | 19796726 | 14552033 |     1094  33381 |        0 |        0
1567.50/1568.01	c 1567s |      27 | 19819249 | 14569033 |     1094  33411 |        0 |        0
1569.50/1570.01	c 1569s |      27 | 19842454 | 14585933 |     1094  33442 |        0 |        0
1571.51/1572.02	c 1571s |      27 | 19865548 | 14603133 |     1094  33473 |        0 |        0
1573.50/1574.02	c 1574s |      27 | 19890332 | 14620933 |     1094  33505 |        0 |        0
1575.50/1576.02	c 1576s |      27 | 19913107 | 14638033 |     1094  33536 |        0 |        0
1577.50/1578.03	c 1578s |      27 | 19938407 | 14655833 |     1094  33568 |        0 |        0
1579.50/1580.04	c 1580s |      27 | 19963930 | 14674033 |     1094  33601 |        0 |        0
1581.50/1582.05	c 1582s |      27 | 19989185 | 14692233 |     1094  33634 |        0 |        0
1583.50/1584.06	c 1584s |      27 | 20011344 | 14709333 |     1094  33665 |        0 |        0
1585.50/1586.06	c 1586s |      27 | 20034235 | 14726633 |     1094  33696 |        0 |        0
1587.49/1588.07	c 1588s |      27 | 20057792 | 14744133 |     1094  33728 |        0 |        0
1589.49/1590.08	c 1590s |      27 | 20082475 | 14761933 |     1094  33760 |        0 |        0
1591.49/1592.08	c 1592s |      27 | 20107336 | 14779833 |     1094  33793 |        0 |        0
1593.50/1594.09	c 1594s |      27 | 20132337 | 14797633 |     1094  33825 |        0 |        0
1595.59/1596.10	c 1596s |      27 | 20155794 | 14814333 |     1094  33855 |        0 |        0
1597.59/1598.11	c 1598s |      27 | 20178246 | 14830933 |     1094  33885 |        0 |        0
1599.59/1600.12	c 1600s |      27 | 20200554 | 14847733 |     1094  33915 |        0 |        0
1601.59/1602.12	c 1602s |      27 | 20221919 | 14864133 |     1094  33945 |        0 |        0
1603.59/1604.13	c 1604s |      27 | 20243165 | 14880633 |     1094  33974 |        0 |        0
1605.60/1606.13	c 1606s |      27 | 20266538 | 14897833 |     1094  34005 |        0 |        0
1607.59/1608.14	c 1608s |      27 | 20285962 | 14913333 |     1094  34033 |        0 |        0
1609.59/1610.15	c 1610s |      27 | 20303709 | 14928133 |     1094  34059 |        0 |        0
1611.59/1612.15	c 1612s |      27 | 20324707 | 14944433 |     1094  34088 |        0 |        0
1613.59/1614.16	c 1614s |      27 | 20346132 | 14960933 |     1094  34118 |        0 |        0
1615.60/1616.17	c 1616s |      27 | 20366939 | 14977333 |     1094  34147 |        0 |        0
1617.59/1618.17	c 1618s |      27 | 20385957 | 14992933 |     1094  34175 |        0 |        0
1619.59/1620.18	c 1620s |      27 | 20406273 | 15008833 |     1094  34204 |        0 |        0
1621.60/1622.18	c 1622s |      27 | 20427797 | 15025733 |     1094  34234 |        0 |        0
1623.59/1624.19	c 1624s |      27 | 20450037 | 15043133 |     1094  34266 |        0 |        0
1625.69/1626.20	c 1626s |      27 | 20470985 | 15058933 |     1094  34294 |        0 |        0
1627.70/1628.21	c 1628s |      27 | 20493651 | 15075733 |     1094  34324 |        0 |        0
1629.69/1630.21	c 1630s |      27 | 20515606 | 15092233 |     1094  34353 |        0 |        0
1631.69/1632.22	c 1632s |      27 | 20539154 | 15109033 |     1094  34383 |        0 |        0
1633.69/1634.22	c 1634s |      27 | 20561744 | 15125633 |     1094  34413 |        0 |        0
1635.69/1636.22	c 1636s |      27 | 20585139 | 15142833 |     1094  34444 |        0 |        0
1637.69/1638.23	c 1638s |      27 | 20609712 | 15160633 |     1094  34476 |        0 |        0
1639.69/1640.23	c 1640s |      27 | 20633769 | 15177933 |     1094  34507 |        0 |        0
1641.69/1642.24	c 1642s |      27 | 20656423 | 15194333 |     1094  34537 |        0 |        0
1643.69/1644.24	c 1644s |      27 | 20679356 | 15211533 |     1094  34568 |        0 |        0
1645.68/1646.24	c 1646s |      27 | 20702858 | 15228733 |     1094  34598 |        0 |        0
1647.68/1648.25	c 1648s |      27 | 20725165 | 15245433 |     1094  34628 |        0 |        0
1649.69/1650.26	c 1650s |      27 | 20745991 | 15261533 |     1094  34657 |        0 |        0
1651.68/1652.26	c 1652s |      27 | 20767967 | 15278133 |     1094  34687 |        0 |        0
1653.68/1654.27	c 1654s |      27 | 20791449 | 15295333 |     1094  34718 |        0 |        0
1655.68/1656.27	c 1656s |      27 | 20814378 | 15312533 |     1094  34749 |        0 |        0
1657.69/1658.28	c 1658s |      27 | 20838387 | 15330333 |     1094  34781 |        0 |        0
1659.69/1660.28	c 1660s |      27 | 20859946 | 15347033 |     1094  34811 |        0 |        0
1661.70/1662.28	c 1662s |      27 | 20881811 | 15363833 |     1094  34841 |        0 |        0
1663.69/1664.29	c 1664s |      27 | 20903760 | 15380533 |     1094  34871 |        0 |        0
1665.79/1666.30	c 1666s |      27 | 20925541 | 15397333 |     1094  34901 |        0 |        0
1667.79/1668.31	c 1668s |      27 | 20948096 | 15414233 |     1094  34931 |        0 |        0
1669.79/1670.31	c 1670s |      27 | 20970299 | 15431033 |     1094  34961 |        0 |        0
1671.79/1672.31	c 1672s |      27 | 20988507 | 15446233 |     1094  34988 |        0 |        0
1673.79/1674.32	c 1674s |      27 | 21009840 | 15462633 |     1094  35017 |        0 |        0
1675.79/1676.33	c 1676s |      27 | 21030686 | 15479133 |     1094  35047 |        0 |        0
1677.79/1678.33	c 1678s |      27 | 21051249 | 15495133 |     1094  35076 |        0 |        0
1679.78/1680.33	c 1680s |      27 | 21072517 | 15511533 |     1094  35105 |        0 |        0
1681.78/1682.34	c 1682s |      27 | 21098746 | 15530233 |     1094  35139 |        0 |        0
1683.79/1684.34	c 1684s |      27 | 21122894 | 15547833 |     1094  35170 |        0 |        0
1685.78/1686.35	c 1686s |      27 | 21146910 | 15565333 |     1094  35202 |        0 |        0
1687.78/1688.36	c 1688s |      27 | 21167706 | 15581433 |     1094  35230 |        0 |        0
1689.78/1690.36	c 1690s |      27 | 21187758 | 15597233 |     1094  35259 |        0 |        0
1691.78/1692.37	c 1692s |      27 | 21211556 | 15614633 |     1094  35290 |        0 |        0
1693.78/1694.37	c 1694s |      27 | 21232636 | 15631133 |     1094  35319 |        0 |        0
1695.79/1696.38	c 1696s |      27 | 21253450 | 15647033 |     1094  35348 |        0 |        0
1697.78/1698.40	c 1698s |      27 | 21277297 | 15664733 |     1094  35379 |        0 |        0
1699.88/1700.40	c 1700s |      27 | 21299547 | 15681433 |     1094  35409 |        0 |        0
1701.88/1702.41	c 1702s |      27 | 21320152 | 15697233 |     1094  35437 |        0 |        0
1703.88/1704.42	c 1704s |      27 | 21342903 | 15713833 |     1094  35467 |        0 |        0
1705.87/1706.43	c 1706s |      27 | 21367482 | 15730833 |     1094  35497 |        0 |        0
1707.89/1708.44	c 1708s |      27 | 21386993 | 15746233 |     1094  35524 |        0 |        0
1709.88/1710.44	c 1710s |      27 | 21407684 | 15762133 |     1094  35553 |        0 |        0
1711.88/1712.45	c 1712s |      27 | 21427541 | 15777233 |     1094  35580 |        0 |        0
1713.88/1714.46	c 1714s |      27 | 21448047 | 15792433 |     1094  35607 |        0 |        0
1715.88/1716.47	c 1716s |      27 | 21467940 | 15807133 |     1094  35633 |        0 |        0
1717.89/1718.48	c 1718s |      27 | 21485498 | 15821133 |     1094  35658 |        0 |        0
1719.88/1720.48	c 1720s |      27 | 21503463 | 15835633 |     1094  35684 |        0 |        0
1721.88/1722.48	c 1722s |      27 | 21524689 | 15851733 |     1094  35713 |        0 |        0
1723.88/1724.49	c 1724s |      27 | 21544616 | 15867233 |     1094  35741 |        0 |        0
1725.98/1726.50	c 1726s |      27 | 21564556 | 15882733 |     1094  35768 |        0 |        0
1727.98/1728.50	c 1728s |      27 | 21583142 | 15897533 |     1094  35795 |        0 |        0
1729.99/1730.51	c 1730s |      27 | 21600042 | 15911433 |     1094  35820 |        0 |        0
1731.98/1732.53	c 1732s |      27 | 21617784 | 15925833 |     1094  35845 |        0 |        0
1733.97/1734.53	c 1734s |      27 | 21635067 | 15940133 |     1094  35871 |        0 |        0
1735.97/1736.54	c 1736s |      27 | 21654718 | 15955533 |     1094  35899 |        0 |        0
1737.97/1738.55	c 1738s |      27 | 21674174 | 15970533 |     1094  35926 |        0 |        0
1739.97/1740.56	c 1740s |      27 | 21692772 | 15985133 |     1094  35952 |        0 |        0
1741.98/1742.56	c 1742s |      27 | 21711539 | 15999733 |     1094  35978 |        0 |        0
1743.97/1744.57	c 1744s |      27 | 21730240 | 16014633 |     1094  36004 |        0 |        0
1745.97/1746.57	c 1746s |      27 | 21750787 | 16030033 |     1094  36032 |        0 |        0
1747.97/1748.57	c 1748s |      27 | 21770773 | 16045333 |     1094  36059 |        0 |        0
1749.97/1750.58	c 1750s |      27 | 21793315 | 16061733 |     1094  36089 |        0 |        0
1751.98/1752.58	c 1752s |      27 | 21815506 | 16078033 |     1094  36118 |        0 |        0
1753.97/1754.59	c 1754s |      27 | 21835353 | 16093133 |     1094  36145 |        0 |        0
1756.07/1756.60	c 1756s |      27 | 21857477 | 16109633 |     1094  36174 |        0 |        0
1758.07/1758.61	c 1758s |      27 | 21879153 | 16125733 |     1094  36203 |        0 |        0
1760.07/1760.61	c 1760s |      27 | 21899831 | 16141333 |     1094  36231 |        0 |        0
1762.07/1762.62	c 1762s |      27 | 21922209 | 16157533 |     1094  36261 |        0 |        0
1764.07/1764.63	c 1764s |      27 | 21943589 | 16173733 |     1094  36290 |        0 |        0
1766.06/1766.64	c 1766s |      27 | 21965012 | 16190233 |     1094  36319 |        0 |        0
1768.06/1768.64	c 1768s |      27 | 21986671 | 16206633 |     1094  36349 |        0 |        0
1770.06/1770.65	c 1770s |      27 | 22005197 | 16221533 |     1094  36375 |        0 |        0
1772.06/1772.65	c 1772s |      27 | 22026302 | 16237533 |     1094  36404 |        0 |        0
1774.07/1774.66	c 1774s |      27 | 22046790 | 16253233 |     1094  36432 |        0 |        0
1776.08/1776.67	c 1776s |      27 | 22066949 | 16268733 |     1094  36460 |        0 |        0
1778.07/1778.67	c 1778s |      27 | 22087300 | 16284133 |     1094  36487 |        0 |        0
1780.07/1780.68	c 1780s |      27 | 22108807 | 16300533 |     1094  36517 |        0 |        0
1782.07/1782.68	c 1782s |      27 | 22129427 | 16316433 |     1094  36545 |        0 |        0
1784.07/1784.68	c 1784s |      27 | 22150557 | 16332633 |     1094  36574 |        0 |        0
1786.08/1786.69	c 1786s |      27 | 22171996 | 16349133 |     1094  36604 |        0 |        0
1788.07/1788.69	c 1788s |      27 | 22196011 | 16366633 |     1094  36635 |        0 |        0
1790.07/1790.69	c 1790s |      27 | 22218186 | 16383333 |     1094  36665 |        0 |        0
1792.07/1792.69	c 1792s |      27 | 22240850 | 16400433 |     1094  36695 |        0 |        0
1794.17/1794.70	c 1794s |      27 | 22265072 | 16418233 |     1094  36727 |        0 |        0
1796.17/1796.71	c 1796s |      27 | 22288310 | 16436033 |     1094  36759 |        0 |        0
1798.17/1798.72	c 1798s |      27 | 22308479 | 16451733 |     1094  36787 |        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-4095945-1466099950/watcher-4095945-1466099950 -o /tmp/evaluation-result-4095945-1466099950/solver-4095945-1466099950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16013 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095945-1466099950.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.38 2.29 2.20 3/171 16175
/proc/meminfo: memFree=30219176/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 686 0 0 0 0 0 0 0 20 0 4 0 12042115 246870016 1562 33554432000 4194304 16246674 140734771928832 140734771928256 14475440 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 60271 1568 423 2943 0 57165 0
[pid=16175/tid=16176] ppid=16172 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 246870016 1593 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 246870016 1602 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 246870016 1609 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 2.38 2.29 2.20 3/171 16175
/proc/meminfo: memFree=30219176/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 23968 0 0 0 6 2 0 0 20 0 4 0 12042115 1247350784 24830 33554432000 4194304 16246674 140734771928832 140734771928256 6836249 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 304529 24840 714 2943 0 301423 0
[pid=16175/tid=16176] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 24847 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 24853 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 24860 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.38 2.29 2.20 3/171 16175
/proc/meminfo: memFree=30219176/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 46685 0 0 0 13 6 0 0 20 0 4 0 12042115 1247350784 47547 33554432000 4194304 16246674 140734771928832 140734771911832 5667979 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 304529 47556 714 2943 0 301423 0
[pid=16175/tid=16176] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 47564 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 47569 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 47576 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.38 2.29 2.20 3/171 16175
/proc/meminfo: memFree=30219176/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 68959 0 0 0 20 9 0 0 20 0 4 0 12042115 1247350784 69820 33554432000 4194304 16246674 140734771928832 140734771911832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 304529 69828 714 2943 0 301423 0
[pid=16175/tid=16176] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 69835 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 69845 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 69850 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700442 s]
/proc/loadavg: 2.38 2.29 2.20 3/171 16175
/proc/meminfo: memFree=30219176/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 158229 0 0 0 47 21 0 0 20 0 4 0 12042115 1247350784 159090 33554432000 4194304 16246674 140734771928832 140734771910720 5667714 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 304529 159099 714 2943 0 301423 0
[pid=16175/tid=16176] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 159106 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 159112 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 159119 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 2.38 2.29 2.20 3/183 16192
/proc/meminfo: memFree=28315804/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 245483 0 0 0 115 33 0 0 20 0 4 0 12042115 1247350784 246324 33554432000 4194304 16246674 140734771928832 140734771928144 6012051 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 304529 246324 788 2943 0 301423 0
[pid=16175/tid=16176] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 246324 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 246324 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1247350784 246324 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10044 s]
/proc/loadavg: 2.38 2.29 2.20 3/183 16192
/proc/meminfo: memFree=28060644/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267390 0 0 0 273 35 0 0 20 0 4 0 12042115 1337528320 268231 33554432000 4194304 16246674 140734771928832 140734771911832 5754525 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 326545 268231 788 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268231 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268231 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268231 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.43 2.30 2.21 3/183 16192
/proc/meminfo: memFree=28058784/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=6.27 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267435 0 0 0 591 36 0 0 20 0 4 0 12042115 1337528320 268276 33554432000 4194304 16246674 140734771928832 140734771911832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16175/statm: 326545 268276 788 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268276 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268276 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268276 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.39 2.29 2.21 3/183 16192
/proc/meminfo: memFree=28058932/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267436 0 0 0 1231 37 0 0 20 0 4 0 12042115 1337528320 268277 33554432000 4194304 16246674 140734771928832 140734771910720 13193357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326545 268277 788 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268277 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268277 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268277 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5076 s]
/proc/loadavg: 2.38 2.29 2.21 3/183 16192
/proc/meminfo: memFree=28060864/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267440 0 0 0 2511 37 0 0 20 0 4 0 12042115 1337528320 268281 33554432000 4194304 16246674 140734771928832 140734771911824 5653148 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326545 268281 791 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268281 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268281 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268281 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.31 2.29 2.21 3/183 16192
/proc/meminfo: memFree=28059476/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=51.06 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267457 0 0 0 5069 37 0 0 20 0 4 0 12042115 1337528320 268297 33554432000 4194304 16246674 140734771928832 140734771910720 13927352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326545 268297 791 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268297 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268297 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268297 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.24 2.27 2.20 3/184 16196
/proc/meminfo: memFree=28058880/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1306180 CPUtime=102.24 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 267516 0 0 0 10186 38 0 0 20 0 4 0 12042115 1337528320 268343 33554432000 4194304 16246674 140734771928832 140734771911824 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326545 268343 791 2943 0 323439 0
[pid=16175/tid=16176] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268343 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268343 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1337528320 268343 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1306180


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

/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268610 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 16251
/proc/meminfo: memFree=28051620/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1361.83 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268108 0 0 0 136121 62 0 0 20 0 4 0 12042115 1338576896 268610 33554432000 4194304 16246674 140734771928832 140734771911832 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268610 791 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268610 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268610 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268610 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.17 4/183 16252
/proc/meminfo: memFree=28051612/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1421.82 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 142119 63 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 12474947 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 16253
/proc/meminfo: memFree=28051480/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1481.81 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 148117 64 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771911832 13950704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 16254
/proc/meminfo: memFree=28051468/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1541.81 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 154116 65 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 16255
/proc/meminfo: memFree=28051488/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1601.79 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 160113 66 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 5672209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1307204

[startup+1662.31 s]
/proc/loadavg: 2.27 2.19 2.18 3/182 16256
/proc/meminfo: memFree=28051252/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1661.8 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 166112 68 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 13927305 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.39 2.23 2.19 4/183 16258
/proc/meminfo: memFree=28051124/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 172109 69 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 178107 70 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 5516342 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1800.07 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 179937 70 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 5827671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 16175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 16259
/proc/meminfo: memFree=28051004/32872528 swapFree=17100/1797424
[pid=16175] ppid=16172 vsize=1307204 CPUtime=1800.07 cores=1,3,5,7
/proc/16175/stat : 16175 (toysat) R 16172 16175 15996 0 -1 4202496 268109 0 0 0 179937 70 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 140734771910720 5827671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16175/statm: 326801 268611 792 2943 0 323695 0
[pid=16175/tid=16176] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16176/stat : 16176 (toysat) S 16172 16175 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981194505456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16175/tid=16177] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16177/stat : 16177 (toysat) S 16172 16175 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981184015600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16175/tid=16178] ppid=16172 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16175/task/16178/stat : 16178 (toysat) S 16172 16175 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042115 1338576896 268611 33554432000 4194304 16246674 140734771928832 139981104344240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.702893
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.702893
maximum resident set size= 1074444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268109
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= 359
involuntary context switches= 2201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4451 second user time and 15.4746 second system time

The end

Begin job on node123 at 2016-06-16 19:59:10
IDJOB=4095945
IDBENCH=107544
IDSOLVER=2542
FILE ID=node123/4095945-1466099950
RUNJOBID= node123-1466098149-16013
PBS_JOBID= 19904045
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= e1b8eb5cda9d3424f776c0a2eaadc438
RANDOM SEED=1625957464

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        30223408 kB
Buffers:           39120 kB
Cached:           105028 kB
SwapCached:         2184 kB
Active:            73736 kB
Inactive:          73768 kB
Active(anon):       4284 kB
Inactive(anon):     1392 kB
Active(file):      69452 kB
Inactive(file):    72376 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       1875156 kB
Mapped:             7076 kB
Shmem:                 0 kB
Slab:             567980 kB
SReclaimable:      12372 kB
SUnreclaim:       555608 kB
KernelStack:        1472 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1893680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1859584 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= 71604 MiB
End job on node123 at 2016-06-16 20:29:11