0.00/0.00	c 2016-06-15T23:29:58+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089358-1466026198.opb"]
0.00/0.01	c use --random-gen="322845411 2399301950 3065205634 164645850 3630499211 146701463 3235195481 2030833857 1561613116 642890621 1041983869 1603797638 3093608353 1473342541 2879833438 688797699 4074931495 1751790359 2557091376 3057111320 3038390402 189260973 1984967373 2246863018 1749546326 2338013419 2360805864 2066323320 3751337091 2979223493 955634128 4002807962 2519118424 3785269570 992797628 1849452302 2716251587 682017792 1617545331 3476088946 2377429508 3472187751 3048516204 1016500413 4250463774 1549318960 2802271347 943437011 4277485931 1499435483 2561763551 1935140810 2120092683 4084722209 2681297957 3561485696 1324665666 3696243020 3748277507 1501592372 4158723883 1362068983 4204831022 3974939739 3856277463 3282530801 366095796 637985342 3218545707 3536439945 2201195867 594897491 530667520 939677058 585499472 2884598455 257403713 1691469746 351412260 1035332214 1316829239 4199739654 1933119888 317597048 934826833 2776578198 3309296430 1631488594 220107415 3348660123 2340350648 2765811277 310980778 3206651287 1877168545 2459316597 1385751944 2568522562 130282497 1428317572 4105175876 1513707805 1875235302 2683655294 3707377442 2835484793 3896303403 959738026 513582418 1765173106 3699361232 3983461119 2377051051 1734624363 2867352848 3966599188 2364842755 3262864141 4239399011 3106610220 2523357876 2342406232 3562598768 2080665177 3607384608 1532014801 1377636924 263903281 1007390845 1458087274 187763990 2192488954 916245052 714158246 1959609152 1716526049 4102050682 1760650488 2833844226 1341788989 2366257517 1143898449 547507149 198840942 3705137879 227120070 3445484475 2784949557 2057718499 314520268 2582010759 333721960 611823629 2530730854 2413659975 4127127575 489555855 3451662870 2667362578 3610366634 1925825372 1275436408 931737815 974044284 2599608746 993256343 541968884 2164516438 2419310964 1346540041 2557093453 1550578247 901556787 726717810 4155041507 3283939952 955856417 247140720 2019371005 3957879626 239999434 3281467982 3729426773 4067157103 280156688 770995847 738571212 4036157031 3504640814 591746477 3905528001 2768343675 3115696702 2004137832 625594728 2544258162 3921541965 3813934967 2620453256 2255958618 2740939022 1098082360 2608694188 2399501204 1905899849 2543279595 133108623 414982555 1570944557 2521824339 3490256910 3654388230 3755967113 3087838780 2934269268 3784391178 4097115421 3026151868 3210960376 742435442 510245292 4147464717 3079504043 1573912822 3188930674 2103903388 201361890 1137424791 2916490076 2606423226 4124772877 558593914 838650815 2111366670 2548572025 1775820228 3139007462 1167769288 429529137 3191972563 1597986243 3085498889 2556935718 759418286 1054703119 3189944546 2542638346 1040845231 798425117 3025626165 3725060702 3362540796 4247857250 2357383588 1783892711 3486555310 255 362436" option to reproduce the execution
0.00/0.01	c #vars 102
0.00/0.01	c #constraints 205
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      102      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      145 |      100 |      102      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      343 |      250 |      113      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      620 |      475 |      125      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1008 |      813 |      138      8 |        0 |        0
0.09/0.20	c  0.2s |       5 |     1556 |     1320 |      152     13 |        0 |        0
0.29/0.31	c  0.3s |       6 |     2366 |     2081 |      185     20 |        0 |        0
0.39/0.48	c  0.5s |       7 |     3562 |     3223 |      204     30 |        0 |        0
0.69/0.73	c  0.7s |       8 |     5329 |     4936 |      225     43 |        0 |        0
0.99/1.02	c  1.0s |       9 |     7961 |     7506 |      248     62 |        0 |        0
1.39/1.41	c  1.4s |      10 |    11945 |    11361 |      273     89 |        0 |        0
1.89/1.98	c  2.0s |      11 |    17845 |    17144 |      301    125 |        0 |        0
2.79/2.83	c  2.8s |      12 |    26725 |    25819 |      332    175 |        0 |        0
4.09/4.13	c  4.1s |      13 |    40051 |    38832 |      366    245 |        0 |        0
6.09/6.11	c  6.1s |      14 |    60012 |    58352 |      403    340 |        0 |        0
8.09/8.12	c  8.1s |      14 |    80461 |    78252 |      403    430 |        0 |        0
8.99/9.08	c  9.1s |      15 |    90079 |    87632 |      444    472 |        0 |        0
10.99/11.08	c 11.1s |      15 |   110089 |   107232 |      444    553 |        0 |        0
12.99/13.09	c 13.1s |      15 |   130099 |   126732 |      444    633 |        0 |        0
13.49/13.59	c 13.6s |      16 |   135044 |   131552 |      489    653 |        0 |        0
15.49/15.59	c 15.6s |      16 |   154643 |   150452 |      489    724 |        0 |        0
17.48/17.60	c 17.6s |      16 |   174157 |   169452 |      489    796 |        0 |        0
19.58/19.60	c 19.6s |      16 |   193739 |   188452 |      489    867 |        0 |        0
20.48/20.55	c 20.5s |      17 |   202998 |   197432 |      538    901 |        0 |        0
22.48/22.55	c 22.5s |      17 |   222300 |   216232 |      538    966 |        0 |        0
24.48/24.56	c 24.5s |      17 |   241699 |   235032 |      538   1031 |        0 |        0
26.49/26.56	c 26.5s |      17 |   261054 |   253832 |      538   1096 |        0 |        0
28.48/28.57	c 28.6s |      17 |   280592 |   272432 |      538   1160 |        0 |        0
30.48/30.58	c 30.6s |      17 |   300160 |   291332 |      538   1226 |        0 |        0
31.08/31.11	c 31.1s |      18 |   305201 |   296252 |      592   1242 |        0 |        0
33.09/33.12	c 33.1s |      18 |   324626 |   314852 |      592   1301 |        0 |        0
35.08/35.13	c 35.1s |      18 |   343714 |   333152 |      592   1359 |        0 |        0
37.09/37.14	c 37.1s |      18 |   362868 |   351752 |      592   1418 |        0 |        0
39.09/39.14	c 39.1s |      18 |   382126 |   370152 |      592   1476 |        0 |        0
41.09/41.15	c 41.1s |      18 |   401370 |   388552 |      592   1534 |        0 |        0
43.09/43.15	c 43.1s |      18 |   420582 |   406752 |      592   1592 |        0 |        0
45.09/45.16	c 45.2s |      18 |   439501 |   424952 |      592   1650 |        0 |        0
47.09/47.17	c 47.2s |      18 |   458328 |   443252 |      652   1707 |        0 |        0
47.29/47.31	c 47.3s |      19 |   459647 |   444482 |      652   1711 |        0 |        0
49.28/49.31	c 49.3s |      19 |   478595 |   462582 |      652   1763 |        0 |        0
51.28/51.32	c 51.3s |      19 |   497719 |   480982 |      652   1816 |        0 |        0
53.28/53.32	c 53.3s |      19 |   516857 |   499282 |      652   1869 |        0 |        0
55.28/55.33	c 55.3s |      19 |   535652 |   517482 |      652   1922 |        0 |        0
57.29/57.34	c 57.3s |      19 |   554423 |   535682 |      652   1974 |        0 |        0
59.28/59.34	c 59.3s |      19 |   573145 |   553782 |      652   2027 |        0 |        0
61.28/61.35	c 61.3s |      19 |   592083 |   572082 |      652   2080 |        0 |        0
63.28/63.36	c 63.3s |      19 |   611229 |   590382 |      652   2133 |        0 |        0
65.28/65.36	c 65.3s |      19 |   630367 |   608682 |      652   2186 |        0 |        0
67.28/67.36	c 67.3s |      19 |   649336 |   627082 |      652   2239 |        0 |        0
69.28/69.36	c 69.3s |      19 |   668110 |   645382 |      652   2292 |        0 |        0
71.27/71.36	c 71.3s |      19 |   686747 |   663582 |      718   2344 |        0 |        0
71.67/71.72	c 71.7s |      20 |   690064 |   666827 |      718   2353 |        0 |        0
73.69/73.72	c 73.7s |      20 |   708893 |   685127 |      718   2401 |        0 |        0
75.68/75.73	c 75.7s |      20 |   727614 |   703327 |      718   2449 |        0 |        0
77.68/77.74	c 77.7s |      20 |   746515 |   721627 |      718   2498 |        0 |        0
79.68/79.75	c 79.7s |      20 |   765192 |   739727 |      718   2546 |        0 |        0
81.68/81.75	c 81.7s |      20 |   783858 |   757827 |      718   2593 |        0 |        0
83.68/83.76	c 83.7s |      20 |   802503 |   775927 |      718   2641 |        0 |        0
85.68/85.76	c 85.7s |      20 |   821274 |   794027 |      718   2689 |        0 |        0
87.68/87.76	c 87.7s |      20 |   839873 |   812127 |      718   2737 |        0 |        0
89.68/89.76	c 89.8s |      20 |   858662 |   830327 |      718   2785 |        0 |        0
91.68/91.77	c 91.8s |      20 |   877633 |   848527 |      718   2833 |        0 |        0
93.67/93.77	c 93.8s |      20 |   896353 |   866727 |      718   2881 |        0 |        0
95.68/95.78	c 95.8s |      20 |   914822 |   884627 |      718   2928 |        0 |        0
97.67/97.78	c 97.8s |      20 |   933263 |   902427 |      718   2975 |        0 |        0
99.67/99.79	c 99.8s |      20 |   951734 |   920227 |      718   3022 |        0 |        0
101.77/101.80	c  101s |      20 |   970622 |   938027 |      718   3069 |        0 |        0
103.77/103.81	c  103s |      20 |   989300 |   955727 |      718   3116 |        0 |        0
105.77/105.81	c  105s |      20 |  1007970 |   973827 |      718   3164 |        0 |        0
107.78/107.82	c  107s |      20 |  1026704 |   992027 |      718   3212 |        0 |        0
108.68/108.77	c  108s |      21 |  1035327 |  1000345 |      790   3233 |        0 |        0
110.68/110.77	c  110s |      21 |  1053739 |  1017845 |      790   3275 |        0 |        0
112.68/112.77	c  112s |      21 |  1071861 |  1035245 |      790   3317 |        0 |        0
114.67/114.78	c  114s |      21 |  1090410 |  1052845 |      790   3359 |        0 |        0
116.68/116.79	c  116s |      21 |  1109204 |  1070345 |      790   3402 |        0 |        0
118.67/118.79	c  118s |      21 |  1127432 |  1087945 |      790   3444 |        0 |        0
120.77/120.80	c  120s |      21 |  1145596 |  1105445 |      790   3486 |        0 |        0
122.77/122.81	c  122s |      21 |  1164156 |  1123045 |      790   3529 |        0 |        0
124.77/124.81	c  124s |      21 |  1182471 |  1140545 |      790   3571 |        0 |        0
126.77/126.82	c  126s |      21 |  1201341 |  1158345 |      790   3614 |        0 |        0
128.78/128.83	c  128s |      21 |  1220273 |  1176245 |      790   3657 |        0 |        0
130.77/130.83	c  130s |      21 |  1239225 |  1193945 |      790   3700 |        0 |        0
132.77/132.83	c  132s |      21 |  1257831 |  1211445 |      790   3742 |        0 |        0
134.77/134.84	c  134s |      21 |  1276585 |  1228845 |      790   3784 |        0 |        0
136.77/136.85	c  136s |      21 |  1294945 |  1245945 |      790   3825 |        0 |        0
138.76/138.85	c  138s |      21 |  1312830 |  1263045 |      790   3866 |        0 |        0
140.77/140.86	c  140s |      21 |  1331203 |  1280545 |      790   3909 |        0 |        0
142.77/142.87	c  142s |      21 |  1349845 |  1297945 |      790   3951 |        0 |        0
144.77/144.87	c  144s |      21 |  1368517 |  1315545 |      790   3993 |        0 |        0
146.77/146.89	c  146s |      21 |  1386688 |  1333145 |      790   4036 |        0 |        0
148.77/148.89	c  148s |      21 |  1405067 |  1350645 |      790   4078 |        0 |        0
150.87/150.90	c  150s |      21 |  1423333 |  1368145 |      790   4121 |        0 |        0
152.88/152.91	c  152s |      21 |  1441596 |  1385545 |      790   4163 |        0 |        0
154.87/154.92	c  154s |      21 |  1459952 |  1402945 |      790   4205 |        0 |        0
156.87/156.93	c  156s |      21 |  1478797 |  1420545 |      790   4248 |        0 |        0
158.87/158.94	c  158s |      21 |  1497213 |  1437945 |      790   4290 |        0 |        0
160.87/160.96	c  160s |      21 |  1515244 |  1455345 |      790   4332 |        0 |        0
162.87/162.96	c  162s |      21 |  1533357 |  1472845 |      790   4374 |        0 |        0
164.86/164.97	c  164s |      21 |  1551467 |  1490245 |      870   4416 |        0 |        0
166.07/166.16	c  166s |      22 |  1562218 |  1500622 |      870   4438 |        0 |        0
168.06/168.17	c  168s |      22 |  1580248 |  1517722 |      870   4476 |        0 |        0
170.06/170.18	c  170s |      22 |  1597957 |  1535022 |      870   4514 |        0 |        0
172.06/172.18	c  172s |      22 |  1615862 |  1552222 |      870   4552 |        0 |        0
174.06/174.19	c  174s |      22 |  1633594 |  1569222 |      870   4589 |        0 |        0
176.16/176.21	c  176s |      22 |  1651528 |  1586222 |      870   4627 |        0 |        0
178.17/178.22	c  178s |      22 |  1669258 |  1603322 |      870   4664 |        0 |        0
180.16/180.22	c  180s |      22 |  1687125 |  1620722 |      870   4702 |        0 |        0
182.16/182.23	c  182s |      22 |  1705039 |  1638022 |      870   4741 |        0 |        0
184.16/184.23	c  184s |      22 |  1722728 |  1654922 |      870   4778 |        0 |        0
186.16/186.24	c  186s |      22 |  1740247 |  1671722 |      870   4815 |        0 |        0
188.17/188.25	c  188s |      22 |  1758095 |  1688722 |      870   4852 |        0 |        0
190.15/190.25	c  190s |      22 |  1775763 |  1705922 |      870   4890 |        0 |        0
192.15/192.26	c  192s |      22 |  1793279 |  1722822 |      870   4927 |        0 |        0
194.15/194.26	c  194s |      22 |  1810536 |  1739622 |      870   4964 |        0 |        0
196.15/196.26	c  196s |      22 |  1828426 |  1756722 |      870   5002 |        0 |        0
198.15/198.26	c  198s |      22 |  1846340 |  1774022 |      870   5040 |        0 |        0
200.15/200.27	c  200s |      22 |  1864095 |  1791222 |      870   5078 |        0 |        0
202.15/202.28	c  202s |      22 |  1882251 |  1808422 |      870   5116 |        0 |        0
204.16/204.28	c  204s |      22 |  1900862 |  1824822 |      870   5152 |        0 |        0
206.15/206.29	c  206s |      22 |  1918683 |  1841522 |      870   5189 |        0 |        0
208.15/208.29	c  208s |      22 |  1936771 |  1858522 |      870   5226 |        0 |        0
210.25/210.30	c  210s |      22 |  1954825 |  1875522 |      870   5264 |        0 |        0
212.26/212.30	c  212s |      22 |  1972990 |  1892722 |      870   5302 |        0 |        0
214.25/214.30	c  214s |      22 |  1990994 |  1910022 |      870   5340 |        0 |        0
216.25/216.31	c  216s |      22 |  2009432 |  1927322 |      870   5378 |        0 |        0
218.25/218.31	c  218s |      22 |  2027549 |  1944522 |      870   5416 |        0 |        0
220.24/220.32	c  220s |      22 |  2045377 |  1961522 |      870   5453 |        0 |        0
222.25/222.33	c  222s |      22 |  2062990 |  1978622 |      870   5491 |        0 |        0
224.24/224.34	c  224s |      22 |  2080824 |  1995522 |      870   5528 |        0 |        0
226.24/226.35	c  226s |      22 |  2098802 |  2012522 |      870   5566 |        0 |        0
228.24/228.35	c  228s |      22 |  2116803 |  2029922 |      870   5604 |        0 |        0
230.24/230.36	c  230s |      22 |  2134741 |  2047122 |      870   5642 |        0 |        0
232.24/232.36	c  232s |      22 |  2152155 |  2063822 |      870   5678 |        0 |        0
234.24/234.36	c  234s |      22 |  2169818 |  2080922 |      870   5716 |        0 |        0
236.24/236.37	c  236s |      22 |  2187328 |  2097822 |      870   5753 |        0 |        0
238.24/238.38	c  238s |      22 |  2204983 |  2114522 |      870   5790 |        0 |        0
240.24/240.38	c  240s |      22 |  2222328 |  2130922 |      870   5826 |        0 |        0
242.24/242.38	c  242s |      22 |  2239749 |  2147622 |      870   5863 |        0 |        0
244.24/244.38	c  244s |      22 |  2257300 |  2164722 |      870   5901 |        0 |        0
246.24/246.39	c  246s |      22 |  2275171 |  2181922 |      870   5939 |        0 |        0
248.23/248.39	c  248s |      22 |  2293016 |  2199022 |      870   5976 |        0 |        0
250.33/250.40	c  250s |      22 |  2311043 |  2216122 |      870   6014 |        0 |        0
252.33/252.41	c  252s |      22 |  2328843 |  2232922 |      870   6051 |        0 |        0
254.33/254.42	c  254s |      22 |  2346482 |  2249722 |      958   6085 |        0 |        0
254.43/254.57	c  254s |      23 |  2347829 |  2251038 |      958   6088 |        0 |        0
256.43/256.58	c  256s |      23 |  2365330 |  2267638 |      958   6121 |        0 |        0
258.43/258.58	c  258s |      23 |  2382638 |  2284338 |      958   6155 |        0 |        0
260.43/260.59	c  260s |      23 |  2399998 |  2300938 |      958   6188 |        0 |        0
262.43/262.59	c  262s |      23 |  2417137 |  2317338 |      958   6221 |        0 |        0
264.43/264.59	c  264s |      23 |  2434280 |  2333738 |      958   6254 |        0 |        0
266.53/266.60	c  266s |      23 |  2451399 |  2350238 |      958   6287 |        0 |        0
268.53/268.60	c  268s |      23 |  2468478 |  2366438 |      958   6320 |        0 |        0
270.43/270.60	c  270s |      23 |  2485658 |  2382838 |      958   6352 |        0 |        0
272.53/272.61	c  272s |      23 |  2503055 |  2399638 |      958   6386 |        0 |        0
274.53/274.62	c  274s |      23 |  2520655 |  2416438 |      958   6420 |        0 |        0
276.53/276.63	c  276s |      23 |  2538231 |  2433038 |      958   6453 |        0 |        0
278.53/278.64	c  278s |      23 |  2555671 |  2449738 |      958   6487 |        0 |        0
280.53/280.64	c  280s |      23 |  2573334 |  2466338 |      958   6520 |        0 |        0
282.52/282.65	c  282s |      23 |  2590923 |  2483038 |      958   6554 |        0 |        0
284.52/284.65	c  284s |      23 |  2608232 |  2499738 |      958   6587 |        0 |        0
286.52/286.66	c  286s |      23 |  2625548 |  2516338 |      958   6621 |        0 |        0
288.52/288.66	c  288s |      23 |  2643042 |  2532838 |      958   6654 |        0 |        0
290.52/290.66	c  290s |      23 |  2660059 |  2549138 |      958   6686 |        0 |        0
292.52/292.67	c  292s |      23 |  2677268 |  2565538 |      958   6719 |        0 |        0
294.52/294.68	c  294s |      23 |  2694594 |  2582038 |      958   6752 |        0 |        0
296.51/296.68	c  296s |      23 |  2711980 |  2598738 |      958   6786 |        0 |        0
298.51/298.69	c  298s |      23 |  2729181 |  2615238 |      958   6819 |        0 |        0
300.61/300.70	c  300s |      23 |  2746545 |  2631638 |      958   6852 |        0 |        0
302.61/302.71	c  302s |      23 |  2764001 |  2648238 |      958   6885 |        0 |        0
304.62/304.72	c  304s |      23 |  2781407 |  2664938 |      958   6919 |        0 |        0
306.61/306.72	c  306s |      23 |  2798762 |  2681338 |      958   6952 |        0 |        0
308.61/308.73	c  308s |      23 |  2815915 |  2697638 |      958   6985 |        0 |        0
310.61/310.73	c  310s |      23 |  2833296 |  2714338 |      958   7018 |        0 |        0
312.61/312.74	c  312s |      23 |  2850484 |  2730638 |      958   7051 |        0 |        0
314.61/314.74	c  314s |      23 |  2867769 |  2746938 |      958   7084 |        0 |        0
316.60/316.75	c  316s |      23 |  2885667 |  2763538 |      958   7118 |        0 |        0
318.60/318.75	c  318s |      23 |  2903518 |  2780438 |      958   7152 |        0 |        0
320.60/320.76	c  320s |      23 |  2920846 |  2797138 |      958   7185 |        0 |        0
322.60/322.76	c  322s |      23 |  2937916 |  2813638 |      958   7218 |        0 |        0
324.61/324.77	c  324s |      23 |  2954844 |  2830038 |      958   7251 |        0 |        0
326.61/326.77	c  326s |      23 |  2971903 |  2846338 |      958   7284 |        0 |        0
328.61/328.77	c  328s |      23 |  2989100 |  2862738 |      958   7317 |        0 |        0
330.60/330.78	c  330s |      23 |  3005854 |  2879038 |      958   7350 |        0 |        0
332.60/332.79	c  332s |      23 |  3023116 |  2895538 |      958   7383 |        0 |        0
334.60/334.79	c  334s |      23 |  3040224 |  2912138 |      958   7416 |        0 |        0
336.70/336.80	c  336s |      23 |  3057553 |  2928838 |      958   7450 |        0 |        0
338.71/338.80	c  338s |      23 |  3074741 |  2945438 |      958   7483 |        0 |        0
340.70/340.81	c  340s |      23 |  3091791 |  2961838 |      958   7516 |        0 |        0
342.70/342.82	c  342s |      23 |  3109454 |  2978238 |      958   7549 |        0 |        0
344.70/344.82	c  344s |      23 |  3126661 |  2994438 |      958   7582 |        0 |        0
346.70/346.83	c  346s |      23 |  3143749 |  3010838 |      958   7615 |        0 |        0
348.70/348.83	c  348s |      23 |  3160899 |  3027338 |      958   7648 |        0 |        0
350.69/350.84	c  350s |      23 |  3177991 |  3043538 |      958   7680 |        0 |        0
352.69/352.84	c  352s |      23 |  3196033 |  3060138 |      958   7714 |        0 |        0
354.69/354.85	c  354s |      23 |  3213953 |  3077038 |      958   7748 |        0 |        0
356.69/356.85	c  356s |      23 |  3231789 |  3093738 |      958   7781 |        0 |        0
358.69/358.85	c  358s |      23 |  3249118 |  3110438 |      958   7815 |        0 |        0
360.69/360.85	c  360s |      23 |  3266106 |  3126638 |      958   7847 |        0 |        0
362.68/362.86	c  362s |      23 |  3283177 |  3142738 |      958   7880 |        0 |        0
364.68/364.86	c  364s |      23 |  3300324 |  3159238 |      958   7913 |        0 |        0
366.68/366.87	c  366s |      23 |  3317464 |  3175738 |      958   7946 |        0 |        0
368.68/368.87	c  368s |      23 |  3334273 |  3192138 |      958   7979 |        0 |        0
370.69/370.88	c  370s |      23 |  3351444 |  3208738 |      958   8012 |        0 |        0
372.69/372.88	c  372s |      23 |  3368405 |  3225238 |      958   8046 |        0 |        0
374.69/374.89	c  374s |      23 |  3385798 |  3241838 |      958   8079 |        0 |        0
376.68/376.89	c  376s |      23 |  3402952 |  3258338 |      958   8112 |        0 |        0
378.68/378.89	c  378s |      23 |  3419817 |  3274538 |      958   8145 |        0 |        0
380.68/380.89	c  380s |      23 |  3436834 |  3290938 |      958   8178 |        0 |        0
382.69/382.90	c  382s |      23 |  3453822 |  3307138 |      958   8210 |        0 |        0
384.78/384.90	c  384s |      23 |  3470607 |  3323338 |      958   8243 |        0 |        0
386.78/386.91	c  386s |      23 |  3487974 |  3339738 |      958   8276 |        0 |        0
388.78/388.93	c  388s |      23 |  3505506 |  3355938 |     1054   8308 |        0 |        0
390.77/390.93	c  390s |      23 |  3522285 |  3371838 |     1054   8337 |        0 |        0
391.37/391.52	c  391s |      24 |  3527398 |  3376662 |     1054   8346 |        0 |        0
393.37/393.52	c  393s |      24 |  3545150 |  3393062 |     1054   8376 |        0 |        0
395.37/395.53	c  395s |      24 |  3562243 |  3408962 |     1054   8405 |        0 |        0
397.37/397.54	c  397s |      24 |  3579088 |  3424862 |     1054   8434 |        0 |        0
399.37/399.55	c  399s |      24 |  3595917 |  3440562 |     1054   8462 |        0 |        0
401.38/401.55	c  401s |      24 |  3612563 |  3456362 |     1054   8491 |        0 |        0
403.37/403.57	c  403s |      24 |  3629065 |  3472362 |     1054   8521 |        0 |        0
405.37/405.58	c  405s |      24 |  3645588 |  3488162 |     1054   8550 |        0 |        0
407.37/407.59	c  407s |      24 |  3662437 |  3504062 |     1054   8579 |        0 |        0
409.47/409.60	c  409s |      24 |  3678855 |  3519762 |     1054   8607 |        0 |        0
411.47/411.60	c  411s |      24 |  3695611 |  3535362 |     1054   8636 |        0 |        0
413.47/413.61	c  413s |      24 |  3712185 |  3551062 |     1054   8665 |        0 |        0
415.46/415.62	c  415s |      24 |  3728921 |  3566962 |     1054   8694 |        0 |        0
417.46/417.62	c  417s |      24 |  3746081 |  3582962 |     1054   8723 |        0 |        0
419.46/419.63	c  419s |      24 |  3762677 |  3598662 |     1054   8752 |        0 |        0
421.46/421.63	c  421s |      24 |  3779409 |  3614462 |     1054   8781 |        0 |        0
423.46/423.65	c  423s |      24 |  3796295 |  3630162 |     1054   8810 |        0 |        0
425.46/425.66	c  425s |      24 |  3813347 |  3646262 |     1054   8839 |        0 |        0
427.45/427.67	c  427s |      24 |  3830161 |  3662262 |     1054   8868 |        0 |        0
429.45/429.68	c  429s |      24 |  3847371 |  3678262 |     1054   8898 |        0 |        0
431.45/431.69	c  431s |      24 |  3864187 |  3693962 |     1054   8926 |        0 |        0
433.45/433.69	c  433s |      24 |  3881204 |  3709562 |     1054   8955 |        0 |        0
435.45/435.69	c  435s |      24 |  3897934 |  3725262 |     1054   8984 |        0 |        0
437.55/437.70	c  437s |      24 |  3914799 |  3740962 |     1054   9012 |        0 |        0
439.54/439.71	c  439s |      24 |  3931731 |  3756462 |     1054   9041 |        0 |        0
441.54/441.72	c  441s |      24 |  3948219 |  3772162 |     1054   9069 |        0 |        0
443.54/443.73	c  443s |      24 |  3964882 |  3788162 |     1054   9099 |        0 |        0
445.54/445.74	c  445s |      24 |  3981196 |  3803862 |     1054   9128 |        0 |        0
447.55/447.75	c  447s |      24 |  3997663 |  3819662 |     1054   9157 |        0 |        0
449.54/449.75	c  449s |      24 |  4014143 |  3835462 |     1054   9186 |        0 |        0
451.54/451.76	c  451s |      24 |  4030939 |  3851462 |     1054   9215 |        0 |        0
453.54/453.76	c  453s |      24 |  4047720 |  3867462 |     1054   9244 |        0 |        0
455.54/455.77	c  455s |      24 |  4064409 |  3883162 |     1054   9273 |        0 |        0
457.54/457.77	c  457s |      24 |  4080895 |  3898862 |     1054   9302 |        0 |        0
459.53/459.78	c  459s |      24 |  4097502 |  3914762 |     1054   9331 |        0 |        0
461.53/461.78	c  461s |      24 |  4113798 |  3930462 |     1054   9360 |        0 |        0
463.53/463.79	c  463s |      24 |  4130473 |  3946162 |     1054   9389 |        0 |        0
465.63/465.81	c  465s |      24 |  4147000 |  3961762 |     1054   9418 |        0 |        0
467.63/467.82	c  467s |      24 |  4163111 |  3977262 |     1054   9446 |        0 |        0
469.63/469.82	c  469s |      24 |  4179535 |  3992662 |     1054   9474 |        0 |        0
471.63/471.83	c  471s |      24 |  4196062 |  4008162 |     1054   9503 |        0 |        0
473.63/473.84	c  473s |      24 |  4212779 |  4023962 |     1054   9532 |        0 |        0
475.63/475.85	c  475s |      24 |  4229723 |  4039762 |     1054   9561 |        0 |        0
477.63/477.85	c  477s |      24 |  4246360 |  4055462 |     1054   9590 |        0 |        0
479.62/479.86	c  479s |      24 |  4263489 |  4071362 |     1054   9619 |        0 |        0
481.63/481.88	c  481s |      24 |  4280556 |  4087362 |     1054   9648 |        0 |        0
483.62/483.88	c  483s |      24 |  4297481 |  4102962 |     1054   9677 |        0 |        0
485.62/485.88	c  485s |      24 |  4314215 |  4118462 |     1054   9705 |        0 |        0
487.62/487.89	c  487s |      24 |  4330954 |  4134362 |     1054   9734 |        0 |        0
489.71/489.90	c  489s |      24 |  4347617 |  4149962 |     1054   9763 |        0 |        0
491.71/491.91	c  491s |      24 |  4363712 |  4165362 |     1054   9791 |        0 |        0
493.72/493.91	c  493s |      24 |  4380076 |  4180962 |     1054   9819 |        0 |        0
495.71/495.92	c  495s |      24 |  4396340 |  4196562 |     1054   9848 |        0 |        0
497.71/497.92	c  497s |      24 |  4412895 |  4212162 |     1054   9877 |        0 |        0
499.71/499.92	c  499s |      24 |  4429504 |  4227562 |     1054   9905 |        0 |        0
501.71/501.94	c  501s |      24 |  4446556 |  4243062 |     1054   9933 |        0 |        0
503.71/503.94	c  503s |      24 |  4463304 |  4258662 |     1054   9962 |        0 |        0
505.71/505.95	c  505s |      24 |  4480052 |  4274462 |     1054   9991 |        0 |        0
507.72/507.96	c  507s |      24 |  4496594 |  4290062 |     1054  10019 |        0 |        0
509.71/509.96	c  509s |      24 |  4512939 |  4305262 |     1054  10047 |        0 |        0
511.71/511.96	c  511s |      24 |  4529543 |  4320662 |     1054  10076 |        0 |        0
513.71/513.98	c  513s |      24 |  4546437 |  4336262 |     1054  10104 |        0 |        0
515.72/515.99	c  515s |      24 |  4563510 |  4352162 |     1054  10133 |        0 |        0
517.71/517.99	c  517s |      24 |  4580573 |  4367762 |     1054  10162 |        0 |        0
519.80/520.00	c  519s |      24 |  4598025 |  4383362 |     1054  10191 |        0 |        0
521.80/522.01	c  521s |      24 |  4615132 |  4398962 |     1054  10219 |        0 |        0
523.80/524.02	c  524s |      24 |  4631462 |  4414362 |     1054  10247 |        0 |        0
525.80/526.02	c  526s |      24 |  4647712 |  4429862 |     1054  10276 |        0 |        0
527.80/528.03	c  528s |      24 |  4664015 |  4445262 |     1054  10304 |        0 |        0
529.79/530.03	c  530s |      24 |  4680025 |  4460762 |     1054  10333 |        0 |        0
531.79/532.03	c  532s |      24 |  4696397 |  4476362 |     1054  10361 |        0 |        0
533.80/534.03	c  534s |      24 |  4712677 |  4492062 |     1054  10390 |        0 |        0
535.80/536.04	c  536s |      24 |  4729204 |  4507662 |     1054  10419 |        0 |        0
537.81/538.04	c  538s |      24 |  4745622 |  4523362 |     1054  10447 |        0 |        0
539.80/540.06	c  540s |      24 |  4762574 |  4539062 |     1054  10476 |        0 |        0
541.80/542.07	c  542s |      24 |  4778970 |  4554362 |     1054  10504 |        0 |        0
543.80/544.08	c  544s |      24 |  4795298 |  4569762 |     1054  10533 |        0 |        0
545.80/546.08	c  546s |      24 |  4811998 |  4585162 |     1054  10561 |        0 |        0
547.79/548.09	c  548s |      24 |  4829169 |  4600862 |     1054  10590 |        0 |        0
549.80/550.10	c  550s |      24 |  4845927 |  4616562 |     1054  10618 |        0 |        0
551.89/552.11	c  552s |      24 |  4862358 |  4631962 |     1054  10647 |        0 |        0
553.89/554.11	c  554s |      24 |  4878577 |  4647362 |     1054  10675 |        0 |        0
555.89/556.12	c  556s |      24 |  4894679 |  4662762 |     1054  10703 |        0 |        0
557.89/558.12	c  558s |      24 |  4910719 |  4677862 |     1054  10731 |        0 |        0
559.88/560.13	c  560s |      24 |  4926825 |  4693362 |     1054  10759 |        0 |        0
561.89/562.15	c  562s |      24 |  4943134 |  4709062 |     1054  10788 |        0 |        0
563.88/564.15	c  564s |      24 |  4959557 |  4724762 |     1054  10817 |        0 |        0
565.88/566.16	c  566s |      24 |  4975650 |  4740062 |     1054  10845 |        0 |        0
567.88/568.16	c  568s |      24 |  4991989 |  4755662 |     1054  10873 |        0 |        0
569.88/570.16	c  570s |      24 |  5008250 |  4771362 |     1054  10902 |        0 |        0
571.89/572.16	c  572s |      24 |  5024773 |  4787162 |     1054  10931 |        0 |        0
573.88/574.17	c  574s |      24 |  5041268 |  4802962 |     1054  10960 |        0 |        0
575.88/576.18	c  576s |      24 |  5057924 |  4818862 |     1054  10989 |        0 |        0
577.88/578.18	c  578s |      24 |  5074448 |  4834662 |     1054  11018 |        0 |        0
579.97/580.20	c  580s |      24 |  5091293 |  4850462 |     1054  11048 |        0 |        0
581.97/582.21	c  582s |      24 |  5107403 |  4865862 |     1054  11076 |        0 |        0
583.99/584.21	c  584s |      24 |  5123352 |  4881162 |     1054  11104 |        0 |        0
585.98/586.22	c  586s |      24 |  5139863 |  4896762 |     1054  11132 |        0 |        0
587.98/588.24	c  588s |      24 |  5156220 |  4912262 |     1054  11161 |        0 |        0
589.97/590.25	c  590s |      24 |  5172655 |  4927962 |     1054  11190 |        0 |        0
591.97/592.25	c  592s |      24 |  5189134 |  4943662 |     1054  11219 |        0 |        0
593.97/594.26	c  594s |      24 |  5205942 |  4959562 |     1054  11248 |        0 |        0
595.98/596.27	c  596s |      24 |  5222706 |  4975362 |     1054  11277 |        0 |        0
597.97/598.28	c  598s |      24 |  5239620 |  4991162 |     1054  11306 |        0 |        0
599.96/600.29	c  600s |      24 |  5256200 |  5006662 |     1054  11334 |        0 |        0
601.96/602.29	c  602s |      24 |  5272490 |  5022062 |     1054  11363 |        0 |        0
603.96/604.29	c  604s |      24 |  5288722 |  5037262 |     1160  11389 |        0 |        0
605.97/606.29	c  606s |      24 |  5304511 |  5052162 |     1160  11414 |        0 |        0
607.66/607.99	c  607s |      25 |  5318222 |  5065098 |     1160  11436 |        0 |        0
609.76/610.00	c  609s |      25 |  5335428 |  5080598 |     1160  11461 |        0 |        0
611.76/612.01	c  611s |      25 |  5352193 |  5095798 |     1160  11487 |        0 |        0
613.76/614.02	c  614s |      25 |  5369276 |  5111298 |     1160  11513 |        0 |        0
615.76/616.03	c  616s |      25 |  5387348 |  5126598 |     1160  11538 |        0 |        0
617.75/618.04	c  618s |      25 |  5404568 |  5141998 |     1160  11564 |        0 |        0
619.75/620.04	c  620s |      25 |  5421303 |  5157098 |     1160  11589 |        0 |        0
621.75/622.05	c  622s |      25 |  5437129 |  5172298 |     1160  11614 |        0 |        0
623.75/624.05	c  624s |      25 |  5452958 |  5187398 |     1160  11640 |        0 |        0
625.76/626.06	c  626s |      25 |  5468842 |  5202498 |     1160  11665 |        0 |        0
627.75/628.07	c  628s |      25 |  5485349 |  5217698 |     1160  11690 |        0 |        0
629.75/630.07	c  630s |      25 |  5501479 |  5232698 |     1160  11715 |        0 |        0
631.76/632.08	c  632s |      25 |  5517682 |  5247998 |     1160  11741 |        0 |        0
633.75/634.08	c  634s |      25 |  5533777 |  5262998 |     1160  11766 |        0 |        0
635.75/636.08	c  636s |      25 |  5550152 |  5277998 |     1160  11791 |        0 |        0
637.76/638.09	c  638s |      25 |  5566443 |  5292998 |     1160  11816 |        0 |        0
639.85/640.10	c  640s |      25 |  5582867 |  5307898 |     1160  11841 |        0 |        0
641.85/642.11	c  642s |      25 |  5598786 |  5322898 |     1160  11866 |        0 |        0
643.85/644.12	c  644s |      25 |  5614860 |  5337798 |     1160  11891 |        0 |        0
645.85/646.12	c  646s |      25 |  5630372 |  5352698 |     1160  11916 |        0 |        0
647.85/648.13	c  648s |      25 |  5646375 |  5367698 |     1160  11941 |        0 |        0
649.85/650.14	c  650s |      25 |  5662650 |  5382898 |     1160  11966 |        0 |        0
651.84/652.15	c  652s |      25 |  5678545 |  5397998 |     1160  11991 |        0 |        0
653.84/654.16	c  654s |      25 |  5694575 |  5413198 |     1160  12016 |        0 |        0
655.84/656.17	c  656s |      25 |  5710173 |  5428298 |     1160  12042 |        0 |        0
657.84/658.17	c  658s |      25 |  5726499 |  5443398 |     1160  12067 |        0 |        0
659.84/660.17	c  660s |      25 |  5742360 |  5458298 |     1160  12092 |        0 |        0
661.83/662.17	c  662s |      25 |  5759190 |  5473498 |     1160  12117 |        0 |        0
663.84/664.17	c  664s |      25 |  5776562 |  5488698 |     1160  12142 |        0 |        0
665.83/666.18	c  666s |      25 |  5793262 |  5503798 |     1160  12167 |        0 |        0
667.83/668.18	c  668s |      25 |  5810672 |  5518898 |     1160  12193 |        0 |        0
669.83/670.19	c  670s |      25 |  5826803 |  5534098 |     1160  12218 |        0 |        0
671.83/672.20	c  672s |      25 |  5843264 |  5549398 |     1160  12244 |        0 |        0
673.92/674.21	c  674s |      25 |  5860076 |  5564798 |     1160  12269 |        0 |        0
675.92/676.21	c  676s |      25 |  5876474 |  5579898 |     1160  12295 |        0 |        0
677.92/678.22	c  678s |      25 |  5892142 |  5594798 |     1160  12319 |        0 |        0
679.92/680.24	c  680s |      25 |  5908515 |  5609898 |     1160  12345 |        0 |        0
681.92/682.24	c  682s |      25 |  5925487 |  5625198 |     1160  12370 |        0 |        0
683.92/684.25	c  684s |      25 |  5941230 |  5640398 |     1160  12395 |        0 |        0
685.92/686.26	c  686s |      25 |  5957293 |  5655598 |     1160  12421 |        0 |        0
687.92/688.26	c  688s |      25 |  5973049 |  5670698 |     1160  12446 |        0 |        0
689.91/690.27	c  690s |      25 |  5988660 |  5685698 |     1160  12471 |        0 |        0
691.91/692.27	c  692s |      25 |  6004561 |  5700998 |     1160  12497 |        0 |        0
693.92/694.28	c  694s |      25 |  6020316 |  5716198 |     1160  12522 |        0 |        0
695.91/696.29	c  696s |      25 |  6036168 |  5731298 |     1160  12547 |        0 |        0
697.92/698.29	c  698s |      25 |  6051946 |  5746298 |     1160  12572 |        0 |        0
699.91/700.30	c  700s |      25 |  6068094 |  5761598 |     1160  12598 |        0 |        0
702.01/702.30	c  702s |      25 |  6084150 |  5776598 |     1160  12623 |        0 |        0
704.01/704.30	c  704s |      25 |  6100332 |  5791598 |     1160  12648 |        0 |        0
706.02/706.31	c  706s |      25 |  6116237 |  5806798 |     1160  12674 |        0 |        0
708.01/708.32	c  708s |      25 |  6132388 |  5821998 |     1160  12699 |        0 |        0
710.01/710.32	c  710s |      25 |  6148514 |  5837198 |     1160  12724 |        0 |        0
712.01/712.33	c  712s |      25 |  6164496 |  5852298 |     1160  12750 |        0 |        0
714.01/714.33	c  714s |      25 |  6180688 |  5867598 |     1160  12775 |        0 |        0
716.01/716.34	c  716s |      25 |  6196838 |  5882598 |     1160  12801 |        0 |        0
718.01/718.34	c  718s |      25 |  6212826 |  5897698 |     1160  12826 |        0 |        0
720.00/720.36	c  720s |      25 |  6229364 |  5912598 |     1160  12851 |        0 |        0
722.00/722.37	c  722s |      25 |  6244954 |  5927498 |     1160  12876 |        0 |        0
724.00/724.38	c  724s |      25 |  6260483 |  5942498 |     1160  12901 |        0 |        0
726.00/726.39	c  726s |      25 |  6276058 |  5957198 |     1160  12925 |        0 |        0
728.10/728.40	c  728s |      25 |  6291995 |  5972098 |     1160  12950 |        0 |        0
730.10/730.42	c  730s |      25 |  6307969 |  5986898 |     1160  12975 |        0 |        0
732.09/732.42	c  732s |      25 |  6323577 |  6001498 |     1160  12999 |        0 |        0
734.09/734.42	c  734s |      25 |  6339953 |  6016598 |     1160  13024 |        0 |        0
736.10/736.43	c  736s |      25 |  6355421 |  6031198 |     1160  13049 |        0 |        0
738.10/738.44	c  738s |      25 |  6371277 |  6046198 |     1160  13074 |        0 |        0
740.10/740.45	c  740s |      25 |  6387125 |  6061298 |     1160  13099 |        0 |        0
742.10/742.45	c  742s |      25 |  6403103 |  6076398 |     1160  13124 |        0 |        0
744.09/744.47	c  744s |      25 |  6419428 |  6091498 |     1160  13150 |        0 |        0
746.09/746.47	c  746s |      25 |  6435117 |  6106498 |     1160  13175 |        0 |        0
748.09/748.47	c  748s |      25 |  6451046 |  6121698 |     1160  13200 |        0 |        0
750.09/750.48	c  750s |      25 |  6467082 |  6136698 |     1160  13225 |        0 |        0
752.10/752.48	c  752s |      25 |  6482517 |  6151398 |     1160  13250 |        0 |        0
754.09/754.49	c  754s |      25 |  6498631 |  6166198 |     1160  13275 |        0 |        0
756.19/756.50	c  756s |      25 |  6514207 |  6180998 |     1160  13299 |        0 |        0
758.19/758.51	c  758s |      25 |  6530195 |  6195998 |     1160  13325 |        0 |        0
760.18/760.53	c  760s |      25 |  6546177 |  6210998 |     1160  13350 |        0 |        0
762.18/762.54	c  762s |      25 |  6562275 |  6225898 |     1160  13375 |        0 |        0
764.19/764.55	c  764s |      25 |  6578587 |  6240998 |     1160  13400 |        0 |        0
766.18/766.55	c  766s |      25 |  6594879 |  6255898 |     1160  13425 |        0 |        0
768.18/768.56	c  768s |      25 |  6610444 |  6270698 |     1160  13450 |        0 |        0
770.17/770.57	c  770s |      25 |  6626434 |  6285598 |     1160  13475 |        0 |        0
772.17/772.58	c  772s |      25 |  6641924 |  6300198 |     1160  13499 |        0 |        0
774.18/774.58	c  774s |      25 |  6657603 |  6314898 |     1160  13524 |        0 |        0
776.17/776.58	c  776s |      25 |  6673538 |  6329698 |     1160  13548 |        0 |        0
778.17/778.59	c  778s |      25 |  6689823 |  6344798 |     1160  13574 |        0 |        0
780.27/780.61	c  780s |      25 |  6705936 |  6359898 |     1160  13599 |        0 |        0
782.27/782.61	c  782s |      25 |  6722280 |  6374698 |     1160  13624 |        0 |        0
784.27/784.62	c  784s |      25 |  6738297 |  6389498 |     1160  13649 |        0 |        0
786.27/786.62	c  786s |      25 |  6753830 |  6404398 |     1160  13674 |        0 |        0
788.27/788.63	c  788s |      25 |  6769815 |  6419298 |     1160  13699 |        0 |        0
790.26/790.64	c  790s |      25 |  6785589 |  6434098 |     1160  13723 |        0 |        0
792.26/792.64	c  792s |      25 |  6801432 |  6448998 |     1160  13748 |        0 |        0
794.26/794.65	c  794s |      25 |  6817741 |  6463998 |     1160  13774 |        0 |        0
796.26/796.66	c  796s |      25 |  6834362 |  6479098 |     1160  13799 |        0 |        0
798.26/798.66	c  798s |      25 |  6851192 |  6494198 |     1160  13824 |        0 |        0
800.25/800.67	c  800s |      25 |  6867355 |  6508998 |     1160  13849 |        0 |        0
802.25/802.68	c  802s |      25 |  6883822 |  6523898 |     1160  13874 |        0 |        0
804.25/804.69	c  804s |      25 |  6899875 |  6538898 |     1160  13899 |        0 |        0
806.25/806.69	c  806s |      25 |  6915275 |  6553398 |     1160  13923 |        0 |        0
808.26/808.69	c  808s |      25 |  6931145 |  6567698 |     1160  13947 |        0 |        0
810.35/810.70	c  810s |      25 |  6946617 |  6582298 |     1160  13971 |        0 |        0
812.35/812.71	c  812s |      25 |  6962021 |  6596898 |     1160  13996 |        0 |        0
814.35/814.72	c  814s |      25 |  6977513 |  6611598 |     1160  14020 |        0 |        0
816.35/816.73	c  816s |      25 |  6993062 |  6626198 |     1160  14045 |        0 |        0
818.35/818.74	c  818s |      25 |  7008471 |  6640598 |     1160  14069 |        0 |        0
820.35/820.74	c  820s |      25 |  7024277 |  6655098 |     1160  14093 |        0 |        0
822.34/822.75	c  822s |      25 |  7040781 |  6669698 |     1160  14117 |        0 |        0
824.35/824.76	c  824s |      25 |  7057364 |  6684398 |     1160  14142 |        0 |        0
826.35/826.77	c  826s |      25 |  7073530 |  6698998 |     1160  14166 |        0 |        0
828.35/828.78	c  828s |      25 |  7088950 |  6713298 |     1160  14190 |        0 |        0
830.35/830.79	c  830s |      25 |  7104463 |  6727498 |     1160  14214 |        0 |        0
832.36/832.79	c  832s |      25 |  7119979 |  6741998 |     1160  14238 |        0 |        0
834.45/834.80	c  834s |      25 |  7135423 |  6756398 |     1160  14262 |        0 |        0
836.45/836.81	c  836s |      25 |  7150399 |  6770698 |     1160  14286 |        0 |        0
838.45/838.81	c  838s |      25 |  7165789 |  6784998 |     1160  14310 |        0 |        0
840.44/840.82	c  840s |      25 |  7181289 |  6799498 |     1160  14334 |        0 |        0
842.44/842.82	c  842s |      25 |  7197001 |  6814398 |     1160  14359 |        0 |        0
844.45/844.83	c  844s |      25 |  7212935 |  6829398 |     1160  14384 |        0 |        0
846.44/846.84	c  846s |      25 |  7229109 |  6844298 |     1160  14409 |        0 |        0
848.44/848.85	c  848s |      25 |  7245128 |  6858798 |     1160  14433 |        0 |        0
850.44/850.86	c  850s |      25 |  7261081 |  6873398 |     1160  14458 |        0 |        0
852.44/852.87	c  852s |      25 |  7276953 |  6887898 |     1160  14482 |        0 |        0
854.45/854.87	c  854s |      25 |  7292581 |  6902298 |     1160  14506 |        0 |        0
856.44/856.90	c  856s |      25 |  7308008 |  6916598 |     1160  14530 |        0 |        0
858.54/858.90	c  858s |      25 |  7324079 |  6931098 |     1160  14554 |        0 |        0
860.54/860.91	c  860s |      25 |  7340198 |  6945798 |     1160  14579 |        0 |        0
862.54/862.91	c  862s |      25 |  7355759 |  6960298 |     1160  14603 |        0 |        0
864.54/864.91	c  864s |      25 |  7371664 |  6974698 |     1160  14627 |        0 |        0
866.54/866.92	c  866s |      25 |  7388120 |  6989798 |     1160  14653 |        0 |        0
868.54/868.92	c  868s |      25 |  7403670 |  7004498 |     1160  14677 |        0 |        0
870.54/870.94	c  870s |      25 |  7419387 |  7019298 |     1160  14702 |        0 |        0
872.54/872.94	c  872s |      25 |  7434876 |  7033898 |     1160  14726 |        0 |        0
874.53/874.96	c  874s |      25 |  7450340 |  7048498 |     1160  14751 |        0 |        0
876.53/876.97	c  876s |      25 |  7466058 |  7063398 |     1160  14775 |        0 |        0
878.54/878.97	c  878s |      25 |  7481458 |  7078098 |     1160  14800 |        0 |        0
880.53/880.97	c  880s |      25 |  7496888 |  7092798 |     1160  14825 |        0 |        0
882.54/882.98	c  882s |      25 |  7512352 |  7107298 |     1160  14849 |        0 |        0
884.54/884.99	c  884s |      25 |  7528353 |  7122098 |     1160  14874 |        0 |        0
886.64/887.01	c  886s |      25 |  7544629 |  7136898 |     1160  14899 |        0 |        0
888.64/889.01	c  888s |      25 |  7560710 |  7151698 |     1160  14923 |        0 |        0
890.64/891.02	c  891s |      25 |  7576793 |  7166498 |     1160  14948 |        0 |        0
892.64/893.02	c  893s |      25 |  7592618 |  7181098 |     1160  14973 |        0 |        0
894.64/895.04	c  895s |      25 |  7608077 |  7195298 |     1160  14997 |        0 |        0
896.63/897.04	c  897s |      25 |  7624136 |  7209698 |     1160  15021 |        0 |        0
898.63/899.04	c  899s |      25 |  7639755 |  7224198 |     1160  15045 |        0 |        0
900.64/901.06	c  901s |      25 |  7655772 |  7238798 |     1160  15070 |        0 |        0
902.63/903.07	c  903s |      25 |  7672223 |  7253498 |     1160  15094 |        0 |        0
904.63/905.09	c  905s |      25 |  7688101 |  7268098 |     1160  15119 |        0 |        0
906.63/907.10	c  907s |      25 |  7703464 |  7282698 |     1160  15143 |        0 |        0
908.73/909.10	c  909s |      25 |  7718959 |  7297298 |     1160  15167 |        0 |        0
910.73/911.11	c  911s |      25 |  7734308 |  7311698 |     1160  15191 |        0 |        0
912.74/913.12	c  913s |      25 |  7750123 |  7326598 |     1160  15216 |        0 |        0
914.73/915.13	c  915s |      25 |  7766216 |  7341398 |     1160  15241 |        0 |        0
916.73/917.13	c  917s |      25 |  7781797 |  7355998 |     1160  15266 |        0 |        0
918.73/919.15	c  919s |      25 |  7797207 |  7370498 |     1160  15290 |        0 |        0
920.73/921.15	c  921s |      25 |  7812737 |  7385098 |     1160  15314 |        0 |        0
922.73/923.16	c  923s |      25 |  7828312 |  7399798 |     1160  15339 |        0 |        0
924.73/925.16	c  925s |      25 |  7844019 |  7414498 |     1160  15364 |        0 |        0
926.73/927.16	c  927s |      25 |  7860398 |  7429298 |     1160  15389 |        0 |        0
928.73/929.17	c  929s |      25 |  7876098 |  7443898 |     1160  15413 |        0 |        0
930.73/931.18	c  931s |      25 |  7891643 |  7458398 |     1160  15437 |        0 |        0
932.73/933.18	c  933s |      25 |  7907464 |  7473198 |     1160  15462 |        0 |        0
934.73/935.18	c  935s |      25 |  7923443 |  7488098 |     1160  15487 |        0 |        0
936.72/937.19	c  937s |      25 |  7939228 |  7502898 |     1160  15512 |        0 |        0
938.72/939.19	c  939s |      25 |  7955023 |  7517698 |     1160  15537 |        0 |        0
940.72/941.19	c  941s |      25 |  7972079 |  7532698 |     1160  15562 |        0 |        0
942.72/943.19	c  943s |      25 |  7989167 |  7547798 |     1276  15587 |        0 |        0
944.82/945.21	c  945s |      25 |  8005744 |  7562698 |     1276  15610 |        0 |        0
946.83/947.22	c  947s |      25 |  8020671 |  7577098 |     1276  15631 |        0 |        0
948.82/949.22	c  949s |      25 |  8035720 |  7590998 |     1276  15652 |        0 |        0
949.72/950.19	c  950s |      26 |  8043226 |  7597752 |     1276  15663 |        0 |        0
951.82/952.20	c  952s |      26 |  8058255 |  7611952 |     1276  15684 |        0 |        0
953.82/954.21	c  954s |      26 |  8074106 |  7626552 |     1276  15707 |        0 |        0
955.82/956.21	c  956s |      26 |  8089429 |  7640752 |     1276  15728 |        0 |        0
957.83/958.23	c  958s |      26 |  8104140 |  7654552 |     1276  15749 |        0 |        0
959.82/960.23	c  960s |      26 |  8119023 |  7668552 |     1276  15770 |        0 |        0
961.83/962.24	c  962s |      26 |  8133519 |  7682352 |     1276  15791 |        0 |        0
963.83/964.24	c  964s |      26 |  8148375 |  7696252 |     1276  15813 |        0 |        0
965.83/966.24	c  966s |      26 |  8163153 |  7710152 |     1276  15834 |        0 |        0
967.83/968.26	c  968s |      26 |  8177592 |  7723852 |     1276  15855 |        0 |        0
969.83/970.26	c  970s |      26 |  8192123 |  7737552 |     1276  15875 |        0 |        0
971.83/972.27	c  972s |      26 |  8207045 |  7751252 |     1276  15896 |        0 |        0
973.83/974.28	c  974s |      26 |  8221869 |  7765252 |     1276  15918 |        0 |        0
975.82/976.28	c  976s |      26 |  8237184 |  7779252 |     1276  15939 |        0 |        0
977.82/978.29	c  978s |      26 |  8252831 |  7793252 |     1276  15960 |        0 |        0
979.83/980.29	c  980s |      26 |  8267639 |  7807052 |     1276  15981 |        0 |        0
981.93/982.31	c  982s |      26 |  8283119 |  7821152 |     1276  16003 |        0 |        0
983.92/984.31	c  984s |      26 |  8299160 |  7835352 |     1276  16024 |        0 |        0
985.92/986.32	c  986s |      26 |  8314936 |  7849552 |     1276  16046 |        0 |        0
987.92/988.33	c  988s |      26 |  8329980 |  7863752 |     1276  16067 |        0 |        0
989.92/990.33	c  990s |      26 |  8344761 |  7877952 |     1276  16089 |        0 |        0
991.93/992.33	c  992s |      26 |  8359817 |  7892052 |     1276  16110 |        0 |        0
993.92/994.34	c  994s |      26 |  8374771 |  7906152 |     1276  16132 |        0 |        0
995.92/996.35	c  996s |      26 |  8389508 |  7920352 |     1276  16154 |        0 |        0
997.92/998.36	c  998s |      26 |  8404477 |  7934652 |     1276  16175 |        0 |        0
999.91/1000.36	c 1000s |      26 |  8419532 |  7948752 |     1276  16197 |        0 |        0
1001.92/1002.38	c 1002s |      26 |  8434409 |  7962652 |     1276  16218 |        0 |        0
1003.93/1004.38	c 1004s |      26 |  8449489 |  7976752 |     1276  16239 |        0 |        0
1005.92/1006.38	c 1006s |      26 |  8464704 |  7991052 |     1276  16261 |        0 |        0
1007.92/1008.38	c 1008s |      26 |  8479626 |  8005052 |     1276  16282 |        0 |        0
1009.92/1010.40	c 1010s |      26 |  8494682 |  8018952 |     1276  16303 |        0 |        0
1012.02/1012.40	c 1012s |      26 |  8509261 |  8032952 |     1276  16325 |        0 |        0
1014.01/1014.41	c 1014s |      26 |  8524351 |  8047252 |     1276  16346 |        0 |        0
1016.02/1016.42	c 1016s |      26 |  8539235 |  8061452 |     1276  16368 |        0 |        0
1018.01/1018.44	c 1018s |      26 |  8554261 |  8075552 |     1276  16390 |        0 |        0
1020.01/1020.45	c 1020s |      26 |  8569570 |  8089652 |     1276  16411 |        0 |        0
1022.01/1022.46	c 1022s |      26 |  8584811 |  8103752 |     1276  16433 |        0 |        0
1024.01/1024.46	c 1024s |      26 |  8599990 |  8117952 |     1276  16454 |        0 |        0
1026.02/1026.48	c 1026s |      26 |  8615262 |  8132252 |     1276  16476 |        0 |        0
1028.01/1028.48	c 1028s |      26 |  8630739 |  8146652 |     1276  16498 |        0 |        0
1030.01/1030.48	c 1030s |      26 |  8646155 |  8161152 |     1276  16520 |        0 |        0
1032.01/1032.49	c 1032s |      26 |  8661476 |  8175452 |     1276  16542 |        0 |        0
1034.11/1034.50	c 1034s |      26 |  8677134 |  8189652 |     1276  16563 |        0 |        0
1036.11/1036.50	c 1036s |      26 |  8692626 |  8204052 |     1276  16585 |        0 |        0
1038.12/1038.51	c 1038s |      26 |  8708375 |  8218552 |     1276  16607 |        0 |        0
1040.11/1040.51	c 1040s |      26 |  8724120 |  8232852 |     1276  16629 |        0 |        0
1042.11/1042.52	c 1042s |      26 |  8739010 |  8246952 |     1276  16651 |        0 |        0
1044.11/1044.53	c 1044s |      26 |  8754338 |  8261252 |     1276  16672 |        0 |        0
1046.11/1046.53	c 1046s |      26 |  8769674 |  8275652 |     1276  16694 |        0 |        0
1048.11/1048.54	c 1048s |      26 |  8784930 |  8289752 |     1276  16716 |        0 |        0
1050.11/1050.55	c 1050s |      26 |  8800203 |  8304052 |     1276  16738 |        0 |        0
1052.11/1052.56	c 1052s |      26 |  8815284 |  8318352 |     1276  16759 |        0 |        0
1054.11/1054.56	c 1054s |      26 |  8830595 |  8332652 |     1276  16781 |        0 |        0
1056.11/1056.57	c 1056s |      26 |  8845736 |  8346952 |     1276  16803 |        0 |        0
1058.11/1058.59	c 1058s |      26 |  8860716 |  8361152 |     1276  16825 |        0 |        0
1060.12/1060.59	c 1060s |      26 |  8875983 |  8375352 |     1276  16846 |        0 |        0
1062.11/1062.60	c 1062s |      26 |  8891403 |  8389452 |     1276  16868 |        0 |        0
1064.21/1064.61	c 1064s |      26 |  8906579 |  8403852 |     1276  16890 |        0 |        0
1066.21/1066.63	c 1066s |      26 |  8921766 |  8418352 |     1276  16912 |        0 |        0
1068.21/1068.63	c 1068s |      26 |  8936972 |  8432852 |     1276  16934 |        0 |        0
1070.21/1070.64	c 1070s |      26 |  8951972 |  8446752 |     1276  16955 |        0 |        0
1072.22/1072.65	c 1072s |      26 |  8967118 |  8460652 |     1276  16976 |        0 |        0
1074.21/1074.67	c 1074s |      26 |  8982178 |  8474452 |     1276  16997 |        0 |        0
1076.21/1076.67	c 1076s |      26 |  8997717 |  8488852 |     1276  17019 |        0 |        0
1078.21/1078.68	c 1078s |      26 |  9013287 |  8503152 |     1276  17041 |        0 |        0
1080.21/1080.69	c 1080s |      26 |  9028971 |  8517552 |     1276  17063 |        0 |        0
1082.31/1082.70	c 1082s |      26 |  9044310 |  8531952 |     1276  17085 |        0 |        0
1084.31/1084.71	c 1084s |      26 |  9059772 |  8546452 |     1276  17107 |        0 |        0
1086.31/1086.72	c 1086s |      26 |  9076095 |  8560552 |     1276  17129 |        0 |        0
1088.30/1088.72	c 1088s |      26 |  9091932 |  8574652 |     1276  17151 |        0 |        0
1090.30/1090.73	c 1090s |      26 |  9108744 |  8589052 |     1276  17173 |        0 |        0
1092.30/1092.73	c 1092s |      26 |  9125029 |  8603152 |     1276  17194 |        0 |        0
1094.30/1094.73	c 1094s |      26 |  9141031 |  8617452 |     1276  17216 |        0 |        0
1096.31/1096.74	c 1096s |      26 |  9156844 |  8631852 |     1276  17238 |        0 |        0
1098.30/1098.75	c 1098s |      26 |  9173209 |  8646452 |     1276  17260 |        0 |        0
1100.30/1100.75	c 1100s |      26 |  9189835 |  8660752 |     1276  17282 |        0 |        0
1102.30/1102.76	c 1102s |      26 |  9205943 |  8674952 |     1276  17303 |        0 |        0
1104.30/1104.77	c 1104s |      26 |  9221133 |  8689152 |     1276  17325 |        0 |        0
1106.30/1106.77	c 1106s |      26 |  9236469 |  8703452 |     1276  17347 |        0 |        0
1108.30/1108.77	c 1108s |      26 |  9252102 |  8717652 |     1276  17368 |        0 |        0
1110.30/1110.78	c 1110s |      26 |  9267266 |  8731752 |     1276  17390 |        0 |        0
1112.30/1112.78	c 1112s |      26 |  9282531 |  8746052 |     1276  17411 |        0 |        0
1114.31/1114.79	c 1114s |      26 |  9297880 |  8760352 |     1276  17433 |        0 |        0
1116.40/1116.80	c 1116s |      26 |  9313203 |  8774852 |     1276  17455 |        0 |        0
1118.41/1118.81	c 1118s |      26 |  9327816 |  8788852 |     1276  17477 |        0 |        0
1120.40/1120.81	c 1120s |      26 |  9342919 |  8802952 |     1276  17498 |        0 |        0
1122.40/1122.82	c 1122s |      26 |  9357836 |  8817152 |     1276  17520 |        0 |        0
1124.40/1124.83	c 1124s |      26 |  9373040 |  8831552 |     1276  17542 |        0 |        0
1126.40/1126.84	c 1126s |      26 |  9388175 |  8845952 |     1276  17564 |        0 |        0
1128.40/1128.85	c 1128s |      26 |  9403553 |  8860252 |     1276  17585 |        0 |        0
1130.41/1130.87	c 1130s |      26 |  9418658 |  8874652 |     1276  17607 |        0 |        0
1132.40/1132.87	c 1132s |      26 |  9433718 |  8889052 |     1276  17629 |        0 |        0
1134.40/1134.87	c 1134s |      26 |  9449105 |  8903552 |     1276  17651 |        0 |        0
1136.40/1136.88	c 1136s |      26 |  9464226 |  8917652 |     1276  17673 |        0 |        0
1138.40/1138.89	c 1138s |      26 |  9479142 |  8931852 |     1276  17694 |        0 |        0
1140.40/1140.89	c 1140s |      26 |  9494034 |  8945952 |     1276  17716 |        0 |        0
1142.40/1142.90	c 1142s |      26 |  9508791 |  8960052 |     1276  17737 |        0 |        0
1144.50/1144.91	c 1144s |      26 |  9524145 |  8974352 |     1276  17759 |        0 |        0
1146.50/1146.91	c 1146s |      26 |  9538853 |  8988352 |     1276  17780 |        0 |        0
1148.50/1148.92	c 1148s |      26 |  9553532 |  9002252 |     1276  17801 |        0 |        0
1150.50/1150.93	c 1150s |      26 |  9568744 |  9016752 |     1276  17823 |        0 |        0
1152.50/1152.94	c 1152s |      26 |  9583804 |  9031052 |     1276  17845 |        0 |        0
1154.50/1154.95	c 1154s |      26 |  9598852 |  9045252 |     1276  17867 |        0 |        0
1156.49/1156.95	c 1156s |      26 |  9614485 |  9059952 |     1276  17889 |        0 |        0
1158.49/1158.96	c 1158s |      26 |  9629928 |  9074452 |     1276  17911 |        0 |        0
1160.49/1160.96	c 1160s |      26 |  9645266 |  9088852 |     1276  17933 |        0 |        0
1162.49/1162.97	c 1162s |      26 |  9660030 |  9103052 |     1276  17955 |        0 |        0
1164.50/1164.97	c 1164s |      26 |  9675377 |  9117752 |     1276  17977 |        0 |        0
1166.49/1166.98	c 1166s |      26 |  9690649 |  9132052 |     1276  17999 |        0 |        0
1168.49/1168.98	c 1168s |      26 |  9706131 |  9146552 |     1276  18021 |        0 |        0
1170.49/1170.98	c 1170s |      26 |  9721544 |  9160952 |     1276  18043 |        0 |        0
1172.49/1172.99	c 1172s |      26 |  9736813 |  9175452 |     1276  18065 |        0 |        0
1174.50/1174.99	c 1174s |      26 |  9752021 |  9189952 |     1276  18087 |        0 |        0
1176.60/1177.00	c 1176s |      26 |  9767571 |  9204552 |     1276  18110 |        0 |        0
1178.59/1179.01	c 1178s |      26 |  9783116 |  9219252 |     1276  18132 |        0 |        0
1180.59/1181.02	c 1181s |      26 |  9798923 |  9233952 |     1276  18155 |        0 |        0
1182.59/1183.02	c 1183s |      26 |  9814285 |  9248552 |     1276  18177 |        0 |        0
1184.59/1185.02	c 1185s |      26 |  9830377 |  9263252 |     1276  18199 |        0 |        0
1186.60/1187.04	c 1187s |      26 |  9845901 |  9277652 |     1276  18221 |        0 |        0
1188.59/1189.05	c 1189s |      26 |  9861053 |  9291952 |     1276  18243 |        0 |        0
1190.59/1191.06	c 1191s |      26 |  9876550 |  9306552 |     1276  18265 |        0 |        0
1192.59/1193.06	c 1193s |      26 |  9892027 |  9321152 |     1276  18288 |        0 |        0
1194.59/1195.07	c 1195s |      26 |  9907554 |  9335752 |     1276  18310 |        0 |        0
1196.59/1197.08	c 1197s |      26 |  9923167 |  9350152 |     1276  18332 |        0 |        0
1198.60/1199.09	c 1199s |      26 |  9939108 |  9364852 |     1276  18354 |        0 |        0
1200.59/1201.09	c 1201s |      26 |  9955082 |  9379552 |     1276  18377 |        0 |        0
1202.59/1203.09	c 1203s |      26 |  9969957 |  9393552 |     1276  18398 |        0 |        0
1204.69/1205.10	c 1205s |      26 |  9984721 |  9407452 |     1276  18419 |        0 |        0
1206.69/1207.11	c 1207s |      26 |  9999993 |  9421252 |     1276  18440 |        0 |        0
1208.69/1209.12	c 1209s |      26 | 10015102 |  9435352 |     1276  18462 |        0 |        0
1210.70/1211.12	c 1211s |      26 | 10030064 |  9449452 |     1276  18483 |        0 |        0
1212.69/1213.13	c 1213s |      26 | 10044738 |  9463652 |     1276  18505 |        0 |        0
1214.69/1215.14	c 1215s |      26 | 10059943 |  9478052 |     1276  18527 |        0 |        0
1216.69/1217.15	c 1217s |      26 | 10075557 |  9492752 |     1276  18549 |        0 |        0
1218.69/1219.16	c 1219s |      26 | 10091336 |  9507352 |     1276  18571 |        0 |        0
1220.69/1221.16	c 1221s |      26 | 10106129 |  9521452 |     1276  18593 |        0 |        0
1222.69/1223.17	c 1223s |      26 | 10121360 |  9535852 |     1276  18615 |        0 |        0
1224.69/1225.17	c 1225s |      26 | 10137085 |  9550652 |     1276  18637 |        0 |        0
1226.69/1227.19	c 1227s |      26 | 10152266 |  9565052 |     1276  18659 |        0 |        0
1228.69/1229.19	c 1229s |      26 | 10167500 |  9579452 |     1276  18681 |        0 |        0
1230.78/1231.20	c 1231s |      26 | 10182886 |  9593952 |     1276  18703 |        0 |        0
1232.79/1233.21	c 1233s |      26 | 10198919 |  9608452 |     1276  18725 |        0 |        0
1234.78/1235.22	c 1235s |      26 | 10215313 |  9622952 |     1276  18748 |        0 |        0
1236.78/1237.23	c 1237s |      26 | 10230755 |  9637252 |     1276  18769 |        0 |        0
1238.78/1239.23	c 1239s |      26 | 10245867 |  9651752 |     1276  18791 |        0 |        0
1240.78/1241.24	c 1241s |      26 | 10261026 |  9666252 |     1276  18814 |        0 |        0
1242.78/1243.26	c 1243s |      26 | 10276235 |  9680652 |     1276  18836 |        0 |        0
1244.78/1245.26	c 1245s |      26 | 10291547 |  9694752 |     1276  18857 |        0 |        0
1246.78/1247.27	c 1247s |      26 | 10306805 |  9709052 |     1276  18879 |        0 |        0
1248.78/1249.27	c 1249s |      26 | 10322097 |  9723552 |     1276  18901 |        0 |        0
1250.78/1251.28	c 1251s |      26 | 10337715 |  9738252 |     1276  18923 |        0 |        0
1252.78/1253.29	c 1253s |      26 | 10353034 |  9752752 |     1276  18946 |        0 |        0
1254.78/1255.29	c 1255s |      26 | 10368500 |  9767152 |     1276  18968 |        0 |        0
1256.78/1257.30	c 1257s |      26 | 10383510 |  9781452 |     1276  18989 |        0 |        0
1258.87/1259.31	c 1259s |      26 | 10399143 |  9796252 |     1276  19012 |        0 |        0
1260.87/1261.31	c 1261s |      26 | 10415051 |  9810752 |     1276  19034 |        0 |        0
1262.87/1263.33	c 1263s |      26 | 10430229 |  9825052 |     1276  19056 |        0 |        0
1264.87/1265.33	c 1265s |      26 | 10445260 |  9839452 |     1276  19078 |        0 |        0
1266.88/1267.33	c 1267s |      26 | 10460044 |  9853552 |     1276  19099 |        0 |        0
1268.87/1269.34	c 1269s |      26 | 10475001 |  9867752 |     1276  19121 |        0 |        0
1270.87/1271.35	c 1271s |      26 | 10490331 |  9881852 |     1276  19142 |        0 |        0
1272.87/1273.35	c 1273s |      26 | 10505538 |  9895952 |     1276  19164 |        0 |        0
1274.87/1275.36	c 1275s |      26 | 10520835 |  9910352 |     1276  19186 |        0 |        0
1276.87/1277.36	c 1277s |      26 | 10535839 |  9924652 |     1276  19208 |        0 |        0
1278.88/1279.37	c 1279s |      26 | 10550896 |  9938952 |     1276  19229 |        0 |        0
1280.88/1281.38	c 1281s |      26 | 10565708 |  9953152 |     1276  19251 |        0 |        0
1282.88/1283.39	c 1283s |      26 | 10581094 |  9967852 |     1276  19273 |        0 |        0
1284.98/1285.40	c 1285s |      26 | 10596024 |  9981852 |     1276  19295 |        0 |        0
1286.98/1287.41	c 1287s |      26 | 10611138 |  9995952 |     1276  19316 |        0 |        0
1288.98/1289.41	c 1289s |      26 | 10626345 | 10009952 |     1276  19337 |        0 |        0
1290.98/1291.41	c 1291s |      26 | 10641653 | 10024152 |     1276  19359 |        0 |        0
1292.98/1293.42	c 1293s |      26 | 10656541 | 10038152 |     1276  19380 |        0 |        0
1294.97/1295.44	c 1295s |      26 | 10671464 | 10052052 |     1276  19401 |        0 |        0
1296.97/1297.45	c 1297s |      26 | 10686136 | 10065952 |     1276  19423 |        0 |        0
1298.97/1299.46	c 1299s |      26 | 10701230 | 10080052 |     1276  19444 |        0 |        0
1300.98/1301.47	c 1301s |      26 | 10716346 | 10093852 |     1276  19465 |        0 |        0
1302.97/1303.48	c 1303s |      26 | 10731566 | 10107552 |     1276  19486 |        0 |        0
1304.97/1305.49	c 1305s |      26 | 10746351 | 10121552 |     1276  19507 |        0 |        0
1307.07/1307.50	c 1307s |      26 | 10761465 | 10135652 |     1276  19529 |        0 |        0
1309.08/1309.51	c 1309s |      26 | 10776575 | 10149952 |     1276  19550 |        0 |        0
1311.07/1311.52	c 1311s |      26 | 10791412 | 10164252 |     1276  19572 |        0 |        0
1313.08/1313.53	c 1313s |      26 | 10806308 | 10178652 |     1276  19594 |        0 |        0
1315.07/1315.54	c 1315s |      26 | 10821074 | 10192752 |     1276  19616 |        0 |        0
1317.07/1317.55	c 1317s |      26 | 10835923 | 10206552 |     1276  19637 |        0 |        0
1319.07/1319.56	c 1319s |      26 | 10850978 | 10220752 |     1276  19658 |        0 |        0
1321.07/1321.57	c 1321s |      26 | 10865992 | 10234852 |     1276  19680 |        0 |        0
1323.07/1323.57	c 1323s |      26 | 10881698 | 10249352 |     1276  19702 |        0 |        0
1325.07/1325.58	c 1325s |      26 | 10897096 | 10263852 |     1276  19724 |        0 |        0
1327.07/1327.59	c 1327s |      26 | 10912140 | 10278052 |     1276  19745 |        0 |        0
1329.17/1329.60	c 1329s |      26 | 10927059 | 10292252 |     1276  19767 |        0 |        0
1331.17/1331.60	c 1331s |      26 | 10942154 | 10306752 |     1276  19789 |        0 |        0
1333.17/1333.62	c 1333s |      26 | 10957421 | 10321252 |     1276  19811 |        0 |        0
1335.17/1335.62	c 1335s |      26 | 10972681 | 10335652 |     1276  19833 |        0 |        0
1337.17/1337.62	c 1337s |      26 | 10987819 | 10350052 |     1276  19855 |        0 |        0
1339.16/1339.63	c 1339s |      26 | 11003074 | 10364552 |     1276  19877 |        0 |        0
1341.16/1341.64	c 1341s |      26 | 11018336 | 10378852 |     1276  19899 |        0 |        0
1343.16/1343.65	c 1343s |      26 | 11033715 | 10393352 |     1276  19921 |        0 |        0
1345.17/1345.65	c 1345s |      26 | 11048975 | 10407752 |     1276  19943 |        0 |        0
1347.18/1347.66	c 1347s |      26 | 11064279 | 10422152 |     1276  19965 |        0 |        0
1349.17/1349.66	c 1349s |      26 | 11079572 | 10436752 |     1276  19988 |        0 |        0
1351.17/1351.66	c 1351s |      26 | 11094340 | 10450952 |     1276  20009 |        0 |        0
1353.17/1353.67	c 1353s |      26 | 11108864 | 10464752 |     1276  20030 |        0 |        0
1355.17/1355.69	c 1355s |      26 | 11123818 | 10478652 |     1276  20052 |        0 |        0
1357.27/1357.71	c 1357s |      26 | 11138970 | 10492652 |     1276  20073 |        0 |        0
1359.27/1359.72	c 1359s |      26 | 11154161 | 10506852 |     1276  20095 |        0 |        0
1361.27/1361.72	c 1361s |      26 | 11169373 | 10521252 |     1276  20117 |        0 |        0
1363.26/1363.73	c 1363s |      26 | 11184559 | 10535652 |     1276  20138 |        0 |        0
1365.26/1365.74	c 1365s |      26 | 11200306 | 10549952 |     1276  20160 |        0 |        0
1367.26/1367.74	c 1367s |      26 | 11215358 | 10563952 |     1276  20182 |        0 |        0
1369.26/1369.76	c 1369s |      26 | 11231534 | 10578252 |     1276  20203 |        0 |        0
1371.27/1371.76	c 1371s |      26 | 11247258 | 10592552 |     1276  20225 |        0 |        0
1373.26/1373.77	c 1373s |      26 | 11262452 | 10606752 |     1276  20247 |        0 |        0
1375.26/1375.78	c 1375s |      26 | 11277673 | 10620952 |     1276  20269 |        0 |        0
1377.26/1377.79	c 1377s |      26 | 11293073 | 10635452 |     1276  20291 |        0 |        0
1379.26/1379.79	c 1379s |      26 | 11307960 | 10649452 |     1276  20312 |        0 |        0
1381.26/1381.80	c 1381s |      26 | 11323227 | 10663652 |     1276  20334 |        0 |        0
1383.37/1383.80	c 1383s |      26 | 11339229 | 10678152 |     1276  20356 |        0 |        0
1385.36/1385.81	c 1385s |      26 | 11354291 | 10692352 |     1276  20378 |        0 |        0
1387.36/1387.82	c 1387s |      26 | 11369640 | 10706752 |     1276  20400 |        0 |        0
1389.36/1389.83	c 1389s |      26 | 11384834 | 10721152 |     1276  20421 |        0 |        0
1391.36/1391.83	c 1391s |      26 | 11400104 | 10735552 |     1276  20443 |        0 |        0
1393.37/1393.84	c 1393s |      26 | 11414881 | 10749652 |     1276  20465 |        0 |        0
1395.36/1395.84	c 1395s |      26 | 11429815 | 10763552 |     1276  20486 |        0 |        0
1397.36/1397.85	c 1397s |      26 | 11444432 | 10777452 |     1276  20507 |        0 |        0
1399.36/1399.86	c 1399s |      26 | 11459426 | 10791452 |     1276  20529 |        0 |        0
1401.36/1401.87	c 1401s |      26 | 11474525 | 10805652 |     1276  20550 |        0 |        0
1403.36/1403.87	c 1403s |      26 | 11489660 | 10819952 |     1276  20572 |        0 |        0
1405.37/1405.88	c 1405s |      26 | 11505213 | 10834552 |     1276  20594 |        0 |        0
1407.36/1407.89	c 1407s |      26 | 11520814 | 10849052 |     1276  20616 |        0 |        0
1409.46/1409.90	c 1409s |      26 | 11535799 | 10863352 |     1276  20638 |        0 |        0
1411.46/1411.90	c 1411s |      26 | 11551555 | 10877652 |     1276  20660 |        0 |        0
1413.46/1413.91	c 1413s |      26 | 11567627 | 10891952 |     1276  20682 |        0 |        0
1415.46/1415.92	c 1415s |      26 | 11583501 | 10906152 |     1276  20704 |        0 |        0
1417.46/1417.92	c 1417s |      26 | 11599271 | 10920652 |     1276  20726 |        0 |        0
1419.45/1419.92	c 1419s |      26 | 11614880 | 10935152 |     1276  20748 |        0 |        0
1421.45/1421.93	c 1421s |      26 | 11630520 | 10949552 |     1276  20770 |        0 |        0
1423.45/1423.93	c 1423s |      26 | 11646318 | 10964352 |     1276  20793 |        0 |        0
1425.45/1425.94	c 1425s |      26 | 11662622 | 10978952 |     1276  20815 |        0 |        0
1427.46/1427.95	c 1427s |      26 | 11677738 | 10993252 |     1276  20837 |        0 |        0
1429.45/1429.95	c 1429s |      26 | 11693530 | 11007752 |     1276  20859 |        0 |        0
1431.45/1431.96	c 1431s |      26 | 11709102 | 11022352 |     1276  20881 |        0 |        0
1433.45/1433.97	c 1433s |      26 | 11724980 | 11037252 |     1276  20904 |        0 |        0
1435.45/1435.98	c 1435s |      26 | 11741797 | 11052152 |     1276  20927 |        0 |        0
1437.45/1437.99	c 1437s |      26 | 11758334 | 11067152 |     1276  20950 |        0 |        0
1439.45/1440.00	c 1439s |      26 | 11775365 | 11082152 |     1276  20973 |        0 |        0
1441.55/1442.00	c 1441s |      26 | 11792660 | 11096852 |     1276  20995 |        0 |        0
1443.55/1444.01	c 1443s |      26 | 11809458 | 11111652 |     1276  21018 |        0 |        0
1445.55/1446.02	c 1446s |      26 | 11824534 | 11125752 |     1276  21039 |        0 |        0
1447.56/1448.02	c 1448s |      26 | 11839212 | 11139952 |     1276  21061 |        0 |        0
1449.55/1450.02	c 1450s |      26 | 11854212 | 11154152 |     1276  21083 |        0 |        0
1451.56/1452.04	c 1452s |      26 | 11869404 | 11168552 |     1276  21105 |        0 |        0
1453.55/1454.04	c 1454s |      26 | 11885026 | 11182952 |     1276  21127 |        0 |        0
1455.55/1456.06	c 1456s |      26 | 11900731 | 11197352 |     1276  21149 |        0 |        0
1457.55/1458.07	c 1458s |      26 | 11915530 | 11211752 |     1276  21171 |        0 |        0
1459.55/1460.08	c 1460s |      26 | 11930868 | 11226152 |     1276  21193 |        0 |        0
1461.56/1462.08	c 1462s |      26 | 11946095 | 11240652 |     1276  21215 |        0 |        0
1463.55/1464.08	c 1464s |      26 | 11961831 | 11255452 |     1276  21237 |        0 |        0
1465.55/1466.09	c 1466s |      26 | 11977518 | 11269952 |     1276  21260 |        0 |        0
1467.55/1468.09	c 1468s |      26 | 11992680 | 11284352 |     1276  21282 |        0 |        0
1469.65/1470.10	c 1470s |      26 | 12008019 | 11299052 |     1276  21304 |        0 |        0
1471.65/1472.11	c 1472s |      26 | 12024142 | 11313552 |     1276  21326 |        0 |        0
1473.65/1474.12	c 1474s |      26 | 12039090 | 11327852 |     1404  21346 |        0 |        0
1475.64/1476.12	c 1476s |      26 | 12054003 | 11342152 |     1404  21366 |        0 |        0
1477.64/1478.12	c 1478s |      26 | 12069515 | 11356452 |     1404  21386 |        0 |        0
1479.64/1480.14	c 1480s |      26 | 12084659 | 11370652 |     1404  21405 |        0 |        0
1481.64/1482.14	c 1482s |      26 | 12099617 | 11384952 |     1404  21425 |        0 |        0
1483.24/1483.78	c 1483s |      27 | 12112050 | 11396733 |     1404  21442 |        0 |        0
1485.24/1485.79	c 1485s |      27 | 12127342 | 11410833 |     1404  21461 |        0 |        0
1487.34/1487.80	c 1487s |      27 | 12142638 | 11424933 |     1404  21481 |        0 |        0
1489.34/1489.80	c 1489s |      27 | 12157818 | 11439233 |     1404  21500 |        0 |        0
1491.34/1491.82	c 1491s |      27 | 12172991 | 11453733 |     1404  21521 |        0 |        0
1493.35/1493.83	c 1493s |      27 | 12188046 | 11468033 |     1404  21540 |        0 |        0
1495.35/1495.83	c 1495s |      27 | 12203134 | 11482133 |     1404  21560 |        0 |        0
1497.35/1497.84	c 1497s |      27 | 12217917 | 11495933 |     1404  21579 |        0 |        0
1499.35/1499.85	c 1499s |      27 | 12232747 | 11509833 |     1404  21598 |        0 |        0
1501.34/1501.86	c 1501s |      27 | 12247579 | 11523733 |     1404  21617 |        0 |        0
1503.35/1503.87	c 1503s |      27 | 12262653 | 11537633 |     1404  21637 |        0 |        0
1505.34/1505.88	c 1505s |      27 | 12277778 | 11551133 |     1404  21655 |        0 |        0
1507.34/1507.88	c 1507s |      27 | 12292298 | 11564333 |     1404  21673 |        0 |        0
1509.34/1509.88	c 1509s |      27 | 12307381 | 11578133 |     1404  21693 |        0 |        0
1511.34/1511.88	c 1511s |      27 | 12322353 | 11592033 |     1404  21712 |        0 |        0
1513.34/1513.88	c 1513s |      27 | 12337150 | 11606033 |     1404  21731 |        0 |        0
1515.34/1515.89	c 1515s |      27 | 12352042 | 11619833 |     1404  21750 |        0 |        0
1517.34/1517.89	c 1517s |      27 | 12367117 | 11633733 |     1404  21769 |        0 |        0
1519.34/1519.89	c 1519s |      27 | 12382072 | 11647733 |     1404  21789 |        0 |        0
1521.44/1521.90	c 1521s |      27 | 12397044 | 11661933 |     1404  21808 |        0 |        0
1523.44/1523.91	c 1523s |      27 | 12411676 | 11675833 |     1404  21828 |        0 |        0
1525.44/1525.91	c 1525s |      27 | 12426285 | 11689633 |     1404  21847 |        0 |        0
1527.44/1527.93	c 1527s |      27 | 12440840 | 11703533 |     1404  21866 |        0 |        0
1529.43/1529.93	c 1529s |      27 | 12455439 | 11717633 |     1404  21885 |        0 |        0
1531.43/1531.93	c 1531s |      27 | 12470051 | 11731633 |     1404  21905 |        0 |        0
1533.43/1533.93	c 1533s |      27 | 12484824 | 11745533 |     1404  21924 |        0 |        0
1535.44/1535.95	c 1535s |      27 | 12499707 | 11759633 |     1404  21944 |        0 |        0
1537.45/1537.96	c 1537s |      27 | 12514423 | 11773733 |     1404  21963 |        0 |        0
1539.44/1539.98	c 1539s |      27 | 12529099 | 11787733 |     1404  21983 |        0 |        0
1541.44/1541.99	c 1541s |      27 | 12544115 | 11801933 |     1404  22002 |        0 |        0
1543.44/1543.99	c 1543s |      27 | 12559287 | 11816233 |     1404  22022 |        0 |        0
1545.54/1546.00	c 1545s |      27 | 12573975 | 11830433 |     1404  22042 |        0 |        0
1547.54/1548.00	c 1547s |      27 | 12588853 | 11844733 |     1404  22062 |        0 |        0
1549.54/1550.02	c 1550s |      27 | 12603544 | 11858733 |     1404  22081 |        0 |        0
1551.54/1552.02	c 1552s |      27 | 12618283 | 11872833 |     1404  22101 |        0 |        0
1553.54/1554.02	c 1554s |      27 | 12633379 | 11886833 |     1404  22120 |        0 |        0
1555.54/1556.02	c 1556s |      27 | 12647695 | 11900433 |     1404  22139 |        0 |        0
1557.54/1558.03	c 1558s |      27 | 12662195 | 11914033 |     1404  22158 |        0 |        0
1559.54/1560.04	c 1560s |      27 | 12677291 | 11927833 |     1404  22177 |        0 |        0
1561.54/1562.04	c 1562s |      27 | 12691771 | 11941633 |     1404  22196 |        0 |        0
1563.53/1564.05	c 1564s |      27 | 12706218 | 11955533 |     1404  22215 |        0 |        0
1565.53/1566.06	c 1566s |      27 | 12721081 | 11969533 |     1404  22234 |        0 |        0
1567.53/1568.07	c 1568s |      27 | 12735918 | 11983733 |     1404  22254 |        0 |        0
1569.53/1570.09	c 1570s |      27 | 12750781 | 11997833 |     1404  22274 |        0 |        0
1571.54/1572.09	c 1572s |      27 | 12765527 | 12011533 |     1404  22293 |        0 |        0
1573.64/1574.10	c 1574s |      27 | 12780598 | 12025233 |     1404  22311 |        0 |        0
1575.63/1576.11	c 1576s |      27 | 12795337 | 12039133 |     1404  22331 |        0 |        0
1577.63/1578.12	c 1578s |      27 | 12810281 | 12053433 |     1404  22351 |        0 |        0
1579.63/1580.12	c 1580s |      27 | 12825330 | 12067733 |     1404  22370 |        0 |        0
1581.63/1582.13	c 1582s |      27 | 12840257 | 12081833 |     1404  22390 |        0 |        0
1583.63/1584.13	c 1584s |      27 | 12855095 | 12095833 |     1404  22409 |        0 |        0
1585.63/1586.14	c 1586s |      27 | 12869700 | 12109933 |     1404  22429 |        0 |        0
1587.63/1588.15	c 1588s |      27 | 12884807 | 12124133 |     1404  22448 |        0 |        0
1589.63/1590.16	c 1590s |      27 | 12899673 | 12138233 |     1404  22468 |        0 |        0
1591.63/1592.17	c 1592s |      27 | 12914640 | 12152333 |     1404  22488 |        0 |        0
1593.62/1594.18	c 1594s |      27 | 12930063 | 12166933 |     1404  22508 |        0 |        0
1595.63/1596.18	c 1596s |      27 | 12945653 | 12181233 |     1404  22528 |        0 |        0
1597.62/1598.18	c 1598s |      27 | 12961784 | 12195333 |     1404  22547 |        0 |        0
1599.62/1600.19	c 1600s |      27 | 12976321 | 12208933 |     1404  22566 |        0 |        0
1601.72/1602.20	c 1602s |      27 | 12990883 | 12222733 |     1404  22585 |        0 |        0
1603.72/1604.21	c 1604s |      27 | 13005438 | 12236533 |     1404  22604 |        0 |        0
1605.73/1606.21	c 1606s |      27 | 13020935 | 12250633 |     1404  22624 |        0 |        0
1607.74/1608.21	c 1608s |      27 | 13036025 | 12264633 |     1404  22643 |        0 |        0
1609.73/1610.23	c 1610s |      27 | 13051381 | 12278633 |     1404  22663 |        0 |        0
1611.73/1612.24	c 1612s |      27 | 13066570 | 12292833 |     1404  22682 |        0 |        0
1613.73/1614.25	c 1614s |      27 | 13081647 | 12306933 |     1404  22702 |        0 |        0
1615.73/1616.25	c 1616s |      27 | 13096924 | 12320833 |     1404  22721 |        0 |        0
1617.73/1618.26	c 1618s |      27 | 13112208 | 12334333 |     1404  22740 |        0 |        0
1619.72/1620.27	c 1620s |      27 | 13127272 | 12348033 |     1404  22759 |        0 |        0
1621.72/1622.28	c 1622s |      27 | 13141741 | 12361933 |     1404  22778 |        0 |        0
1623.72/1624.30	c 1624s |      27 | 13156893 | 12376233 |     1404  22798 |        0 |        0
1625.82/1626.30	c 1626s |      27 | 13172151 | 12390433 |     1404  22817 |        0 |        0
1627.82/1628.30	c 1628s |      27 | 13187173 | 12404333 |     1404  22837 |        0 |        0
1629.83/1630.31	c 1630s |      27 | 13202176 | 12418233 |     1404  22856 |        0 |        0
1631.82/1632.31	c 1632s |      27 | 13217476 | 12432233 |     1404  22875 |        0 |        0
1633.82/1634.32	c 1634s |      27 | 13232488 | 12446133 |     1404  22894 |        0 |        0
1635.82/1636.33	c 1636s |      27 | 13248118 | 12460333 |     1404  22914 |        0 |        0
1637.82/1638.33	c 1638s |      27 | 13263067 | 12474333 |     1404  22933 |        0 |        0
1639.82/1640.34	c 1640s |      27 | 13278059 | 12488433 |     1404  22953 |        0 |        0
1641.82/1642.35	c 1642s |      27 | 13293193 | 12502433 |     1404  22972 |        0 |        0
1643.82/1644.36	c 1644s |      27 | 13307722 | 12515833 |     1404  22991 |        0 |        0
1645.82/1646.37	c 1646s |      27 | 13322325 | 12529333 |     1404  23010 |        0 |        0
1647.82/1648.38	c 1648s |      27 | 13337199 | 12543033 |     1404  23029 |        0 |        0
1649.82/1650.38	c 1650s |      27 | 13351979 | 12556933 |     1404  23048 |        0 |        0
1651.83/1652.39	c 1652s |      27 | 13367057 | 12570933 |     1404  23067 |        0 |        0
1653.82/1654.39	c 1654s |      27 | 13382583 | 12585033 |     1404  23087 |        0 |        0
1655.92/1656.40	c 1656s |      27 | 13397670 | 12598733 |     1404  23106 |        0 |        0
1657.92/1658.40	c 1658s |      27 | 13412757 | 12612533 |     1404  23125 |        0 |        0
1659.92/1660.41	c 1660s |      27 | 13427967 | 12626133 |     1404  23144 |        0 |        0
1661.92/1662.41	c 1662s |      27 | 13443587 | 12640233 |     1404  23163 |        0 |        0
1663.92/1664.41	c 1664s |      27 | 13459372 | 12654533 |     1404  23183 |        0 |        0
1665.91/1666.42	c 1666s |      27 | 13475432 | 12668633 |     1404  23203 |        0 |        0
1667.91/1668.43	c 1668s |      27 | 13492015 | 12682833 |     1404  23222 |        0 |        0
1669.91/1670.44	c 1670s |      27 | 13507176 | 12696833 |     1404  23242 |        0 |        0
1671.91/1672.44	c 1672s |      27 | 13522386 | 12710933 |     1404  23261 |        0 |        0
1673.91/1674.45	c 1674s |      27 | 13537861 | 12725233 |     1404  23281 |        0 |        0
1675.92/1676.46	c 1676s |      27 | 13552868 | 12739433 |     1404  23301 |        0 |        0
1677.92/1678.47	c 1678s |      27 | 13568325 | 12753733 |     1404  23321 |        0 |        0
1679.92/1680.47	c 1680s |      27 | 13583090 | 12767433 |     1404  23339 |        0 |        0
1681.92/1682.48	c 1682s |      27 | 13597491 | 12780733 |     1404  23358 |        0 |        0
1683.92/1684.49	c 1684s |      27 | 13612266 | 12794533 |     1404  23377 |        0 |        0
1685.92/1686.49	c 1686s |      27 | 13627672 | 12808633 |     1404  23396 |        0 |        0
1687.92/1688.49	c 1688s |      27 | 13642908 | 12822533 |     1404  23416 |        0 |        0
1690.02/1690.50	c 1690s |      27 | 13657985 | 12836733 |     1404  23435 |        0 |        0
1692.02/1692.52	c 1692s |      27 | 13673380 | 12850733 |     1404  23455 |        0 |        0
1694.02/1694.53	c 1694s |      27 | 13689253 | 12864733 |     1404  23474 |        0 |        0
1696.02/1696.54	c 1696s |      27 | 13704549 | 12878733 |     1404  23493 |        0 |        0
1698.02/1698.55	c 1698s |      27 | 13719825 | 12892933 |     1404  23513 |        0 |        0
1700.01/1700.56	c 1700s |      27 | 13734647 | 12906933 |     1404  23532 |        0 |        0
1702.01/1702.56	c 1702s |      27 | 13749784 | 12920933 |     1404  23552 |        0 |        0
1704.01/1704.58	c 1704s |      27 | 13765011 | 12935233 |     1404  23572 |        0 |        0
1706.01/1706.59	c 1706s |      27 | 13780346 | 12949233 |     1404  23591 |        0 |        0
1708.01/1708.59	c 1708s |      27 | 13795417 | 12963233 |     1404  23610 |        0 |        0
1710.12/1710.61	c 1710s |      27 | 13810686 | 12977333 |     1404  23630 |        0 |        0
1712.11/1712.62	c 1712s |      27 | 13825787 | 12991533 |     1404  23650 |        0 |        0
1714.11/1714.62	c 1714s |      27 | 13840978 | 13005533 |     1404  23669 |        0 |        0
1716.11/1716.62	c 1716s |      27 | 13856060 | 13019533 |     1404  23688 |        0 |        0
1718.11/1718.63	c 1718s |      27 | 13871389 | 13033633 |     1404  23708 |        0 |        0
1720.11/1720.63	c 1720s |      27 | 13886246 | 13047833 |     1404  23728 |        0 |        0
1722.11/1722.65	c 1722s |      27 | 13901392 | 13061933 |     1404  23747 |        0 |        0
1724.11/1724.67	c 1724s |      27 | 13916712 | 13075833 |     1404  23766 |        0 |        0
1726.11/1726.68	c 1726s |      27 | 13932119 | 13090333 |     1404  23786 |        0 |        0
1728.11/1728.68	c 1728s |      27 | 13946944 | 13104033 |     1404  23805 |        0 |        0
1730.11/1730.68	c 1730s |      27 | 13961986 | 13118133 |     1404  23825 |        0 |        0
1732.20/1732.70	c 1732s |      27 | 13977271 | 13132133 |     1404  23845 |        0 |        0
1734.21/1734.72	c 1734s |      27 | 13992667 | 13146533 |     1404  23865 |        0 |        0
1736.20/1736.72	c 1736s |      27 | 14008065 | 13160633 |     1404  23884 |        0 |        0
1738.21/1738.73	c 1738s |      27 | 14023914 | 13174933 |     1404  23904 |        0 |        0
1740.21/1740.75	c 1740s |      27 | 14040313 | 13189133 |     1404  23924 |        0 |        0
1742.21/1742.75	c 1742s |      27 | 14054936 | 13202633 |     1404  23942 |        0 |        0
1744.22/1744.75	c 1744s |      27 | 14070650 | 13216933 |     1404  23962 |        0 |        0
1746.21/1746.76	c 1746s |      27 | 14086025 | 13231233 |     1404  23982 |        0 |        0
1748.21/1748.76	c 1748s |      27 | 14101979 | 13245433 |     1404  24002 |        0 |        0
1750.21/1750.78	c 1750s |      27 | 14117483 | 13259633 |     1404  24021 |        0 |        0
1752.21/1752.78	c 1752s |      27 | 14132564 | 13273833 |     1404  24041 |        0 |        0
1754.21/1754.79	c 1754s |      27 | 14147769 | 13288033 |     1404  24061 |        0 |        0
1756.21/1756.80	c 1756s |      27 | 14163381 | 13302433 |     1404  24080 |        0 |        0
1758.31/1758.81	c 1758s |      27 | 14179397 | 13317033 |     1404  24101 |        0 |        0
1760.31/1760.81	c 1760s |      27 | 14195301 | 13331633 |     1404  24121 |        0 |        0
1762.31/1762.83	c 1762s |      27 | 14211036 | 13345833 |     1404  24141 |        0 |        0
1764.31/1764.83	c 1764s |      27 | 14226434 | 13359833 |     1404  24160 |        0 |        0
1766.31/1766.84	c 1766s |      27 | 14241802 | 13373933 |     1404  24179 |        0 |        0
1768.31/1768.84	c 1768s |      27 | 14256718 | 13387933 |     1404  24199 |        0 |        0
1770.30/1770.84	c 1770s |      27 | 14271788 | 13402033 |     1404  24218 |        0 |        0
1772.30/1772.86	c 1772s |      27 | 14287114 | 13416033 |     1404  24238 |        0 |        0
1774.30/1774.86	c 1774s |      27 | 14301890 | 13430033 |     1404  24257 |        0 |        0
1776.30/1776.87	c 1776s |      27 | 14316709 | 13443833 |     1404  24276 |        0 |        0
1778.31/1778.88	c 1778s |      27 | 14332249 | 13457633 |     1404  24295 |        0 |        0
1780.30/1780.88	c 1780s |      27 | 14348009 | 13471833 |     1404  24315 |        0 |        0
1782.30/1782.89	c 1782s |      27 | 14363672 | 13486033 |     1404  24334 |        0 |        0
1784.30/1784.89	c 1784s |      27 | 14378964 | 13500033 |     1404  24354 |        0 |        0
1786.40/1786.90	c 1786s |      27 | 14394533 | 13514433 |     1404  24374 |        0 |        0
1788.39/1788.91	c 1788s |      27 | 14410268 | 13528533 |     1404  24393 |        0 |        0
1790.40/1790.91	c 1790s |      27 | 14425213 | 13542533 |     1404  24412 |        0 |        0
1792.39/1792.92	c 1792s |      27 | 14440373 | 13556633 |     1404  24432 |        0 |        0
1794.39/1794.92	c 1794s |      27 | 14455786 | 13571033 |     1404  24452 |        0 |        0
1796.40/1796.94	c 1796s |      27 | 14470915 | 13585333 |     1404  24472 |        0 |        0
1798.40/1798.95	c 1798s |      27 | 14486525 | 13599433 |     1404  24491 |        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-4089358-1466026198/watcher-4089358-1466026198 -o /tmp/evaluation-result-4089358-1466026198/solver-4089358-1466026198 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089358-1466026198.opb 

pid=8131
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.12 2.11 2.09 3/179 8134
/proc/meminfo: memFree=30438864/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 2709 0 0 0 0 0 0 0 20 0 4 0 4665217 743895040 2559 33554432000 4194304 16246674 140736719023584 140736719023008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 182127 2569 441 2943 0 179021 0
[pid=8134/tid=8135] ppid=8131 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 760672256 2626 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 764866560 2643 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4665217 769060864 2659 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 8134
/proc/meminfo: memFree=30438864/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 29342 0 0 0 6 3 0 0 20 0 4 0 4665217 1247350784 29181 33554432000 4194304 16246674 140736719023584 140736719023008 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 304529 29191 712 2943 0 301423 0
[pid=8134/tid=8135] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 29202 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 29211 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 29218 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 8134
/proc/meminfo: memFree=30438864/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 57551 0 0 0 12 6 0 0 20 0 4 0 4665217 1247350784 57390 33554432000 4194304 16246674 140736719023584 140736719023008 5531437 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 304529 57407 712 2943 0 301423 0
[pid=8134/tid=8135] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 57414 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 57421 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 57427 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300452 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 8134
/proc/meminfo: memFree=30438864/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 85963 0 0 0 19 10 0 0 20 0 4 0 4665217 1247350784 85803 33554432000 4194304 16246674 140736719023584 140736719023008 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 304529 85814 712 2943 0 301423 0
[pid=8134/tid=8135] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 85821 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 85831 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 85842 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700427 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 8134
/proc/meminfo: memFree=30438864/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 200628 0 0 0 43 26 0 0 20 0 4 0 4665217 1247350784 200468 33554432000 4194304 16246674 140736719023584 140736719005504 6010073 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 304529 200479 713 2943 0 301423 0
[pid=8134/tid=8135] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 200489 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 200500 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4665217 1247350784 200509 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 8138
/proc/meminfo: memFree=29458620/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267284 0 0 0 115 34 0 0 20 0 4 0 4665217 1336479744 267103 33554432000 4194304 16246674 140736719023584 140736719022896 5572103 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326289 267103 789 2943 0 323183 0
[pid=8134/tid=8135] ppid=8131 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1336479744 267103 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1336479744 267103 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1336479744 267103 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 8138
/proc/meminfo: memFree=29370828/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267420 0 0 0 275 34 0 0 20 0 4 0 4665217 1337528320 267239 33554432000 4194304 16246674 140736719023584 140736719005504 5546005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326545 267239 789 2943 0 323439 0
[pid=8134/tid=8135] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267239 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267239 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267239 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.11 2.10 2.09 3/184 8141
/proc/meminfo: memFree=29369540/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267451 0 0 0 595 34 0 0 20 0 4 0 4665217 1337528320 267270 33554432000 4194304 16246674 140736719023584 140736719005504 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326545 267270 789 2943 0 323439 0
[pid=8134/tid=8135] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267270 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267270 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267270 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.10 2.10 2.09 3/184 8141
/proc/meminfo: memFree=29369880/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267452 0 0 0 1235 34 0 0 20 0 4 0 4665217 1337528320 267271 33554432000 4194304 16246674 140736719023584 140736719005504 5589699 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326545 267271 789 2943 0 323439 0
[pid=8134/tid=8135] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267271 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267271 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267271 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.15 2.11 2.09 3/184 8141
/proc/meminfo: memFree=29369912/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267487 0 0 0 2514 34 0 0 20 0 4 0 4665217 1337528320 267306 33554432000 4194304 16246674 140736719023584 140736719005504 5546041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326545 267306 790 2943 0 323439 0
[pid=8134/tid=8135] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267306 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267306 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267306 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.10 2.10 2.09 3/184 8141
/proc/meminfo: memFree=29369796/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267517 0 0 0 5073 35 0 0 20 0 4 0 4665217 1337528320 267336 33554432000 4194304 16246674 140736719023584 140736719005504 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326545 267336 790 2943 0 323439 0
[pid=8134/tid=8135] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267336 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267336 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1337528320 267336 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 8142
/proc/meminfo: memFree=29369108/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 267617 0 0 0 10192 36 0 0 20 0 4 0 4665217 1338576896 267436 33554432000 4194304 16246674 140736719023584 140736719005504 6021376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 326801 267436 793 2943 0 323695 0
[pid=8134/tid=8135] ppid=8131 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1338576896 267436 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1338576896 267436 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1338576896 267436 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.04 3/182 8321
/proc/meminfo: memFree=29361948/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1311300 CPUtime=1361.87 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 269237 0 0 0 136125 62 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140736719006584 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 327825 268933 794 2943 0 324719 0
[pid=8134/tid=8135] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/184 8334
/proc/meminfo: memFree=29359676/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1311300 CPUtime=1421.86 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 269237 0 0 0 142122 64 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140736719021376 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 327825 268933 794 2943 0 324719 0
[pid=8134/tid=8135] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/183 8336
/proc/meminfo: memFree=29359952/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1311300 CPUtime=1481.84 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 269237 0 0 0 148119 65 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140736719005504 13928624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 327825 268933 794 2943 0 324719 0
[pid=8134/tid=8135] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1342771200 268933 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.02 3/183 8337
/proc/meminfo: memFree=29356364/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1315396 CPUtime=1541.85 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270261 0 0 0 154118 67 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140736719005504 12482840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 328849 269957 794 2943 0 325743 0
[pid=8134/tid=8135] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/183 8338
/proc/meminfo: memFree=29356132/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1315396 CPUtime=1601.82 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270261 0 0 0 160115 67 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140736719005504 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 328849 269957 794 2943 0 325743 0
[pid=8134/tid=8135] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1346965504 269957 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/183 8339
/proc/meminfo: memFree=29354260/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1317444 CPUtime=1661.82 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270773 0 0 0 166113 69 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140736719021376 5827980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 329361 270469 794 2943 0 326255 0
[pid=8134/tid=8135] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/183 8340
/proc/meminfo: memFree=29353868/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1317444 CPUtime=1721.81 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270773 0 0 0 172111 70 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140736719005504 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 329361 270469 794 2943 0 326255 0
[pid=8134/tid=8135] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/182 8341
/proc/meminfo: memFree=29353860/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1317444 CPUtime=1781.8 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270773 0 0 0 178109 71 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140736719005504 5546015 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 329361 270469 794 2943 0 326255 0
[pid=8134/tid=8135] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.07 2.03 3/183 8342
/proc/meminfo: memFree=29354208/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1317444 CPUtime=1800 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270773 0 0 0 179928 72 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140736719005504 7249934 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 329361 270469 794 2943 0 326255 0
[pid=8134/tid=8135] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.07 2.03 3/183 8342
/proc/meminfo: memFree=29354208/32872528 swapFree=496356/529060
[pid=8134] ppid=8131 vsize=1317444 CPUtime=1800 cores=1,3,5,7
/proc/8134/stat : 8134 (toysat) R 8131 8134 5955 0 -1 4202496 270773 0 0 0 179928 72 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140736719005504 7249934 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 329361 270469 794 2943 0 326255 0
[pid=8134/tid=8135] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8135/stat : 8135 (toysat) S 8131 8134 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036468092144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8134/tid=8136] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8136/stat : 8136 (toysat) S 8131 8134 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036457602288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8134/tid=8137] ppid=8131 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/8134/task/8137/stat : 8137 (toysat) S 8131 8134 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4665217 1349062656 270469 33554432000 4194304 16246674 140736719023584 140036447128752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.29
CPU system time (s): 0.72089
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.72089
maximum resident set size= 1081876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270773
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= 393
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8879 second user time and 12.4431 second system time

The end

Begin job on node141 at 2016-06-15 23:29:58
IDJOB=4089358
IDBENCH=107395
IDSOLVER=2542
FILE ID=node141/4089358-1466026198
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 22fd08957be37e2925ef099a727a323f
RANDOM SEED=1714836439

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30440028 kB
Buffers:           31036 kB
Cached:            76008 kB
SwapCached:        13072 kB
Active:          1147104 kB
Inactive:          56988 kB
Active(anon):    1087520 kB
Inactive(anon):    12008 kB
Active(file):      59584 kB
Inactive(file):    44980 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1613840 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             566684 kB
SReclaimable:      10704 kB
SUnreclaim:       555980 kB
KernelStack:        1520 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1757048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1112064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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