0.00/0.00	c 2016-06-16T00:18:32+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-4089568-1466029112.opb"]
0.00/0.01	c use --random-gen="50101182 1184324181 2660978432 1390552144 1147745663 3366536321 2359661 1950697842 4049550111 841783864 2193657691 2482488198 1705500109 2252319150 749329417 372398890 1728175942 3564865214 2773444747 95860620 3475037834 2237333184 2647948329 76989682 3086110511 2738109292 3905806142 1114561238 2497471485 3328581741 664109212 2822370200 1841221718 2154150416 1268592685 909193138 2051414677 3086472990 1932030988 1116908383 3155268355 1891354056 4115922542 3211864397 2308746116 1673183719 2390619917 4244937992 747993112 859733055 2214809190 495113344 112113356 3263604926 2845393897 4041821084 2295934404 298255743 1999589958 922684197 573088363 741628426 2791507241 1755263179 602088414 400126287 508806154 3841004656 247174384 3051824142 740055247 4286846147 4228933453 706240816 1151601328 2798018669 4237495381 1977639210 2966918409 3305351090 2238089668 2193921172 4183316534 4151897532 4209494714 732718630 3618721969 2597745712 239619835 2698575331 1255083304 2014759145 1540952995 3887411563 722494207 3112634545 3032627336 3504612909 985281780 3262387678 1640991598 3728030393 1056045705 3303128825 2250926837 4052633488 3492650964 1538992348 1295381281 301242325 3566206868 2546251839 3063451609 1724453741 455611558 825114115 1674951408 1066714021 795997691 793212662 1565786971 2726217180 623059341 1780384399 2798208805 1616597419 330942289 1349412889 933877306 3260501018 4266461458 115410849 2009740827 1433630164 3527656484 1652126404 1792839794 984000407 2499355427 1475966779 1494012284 2081226944 1431675689 1417059250 3478776970 2309033865 226770825 582646396 3144523826 1315843356 2881686512 3782889851 1290897739 673027574 1786432702 4050637695 401923385 1006478871 566227062 1158552593 2236794813 1294729472 2311835708 992171526 779542637 3802317995 772416435 3401468524 2850560120 840835342 2421561355 3151095255 1457767724 1486412113 269290289 4155981576 3473393267 2838156116 3147440244 4244518654 45600198 3349628377 3465828659 4102521211 228657220 4192461920 1916104379 2390440674 736640375 657433894 883460215 1342148854 1201851899 1996002996 363395212 3676460281 905688298 3589671521 2931204526 4009976014 2644268928 2187044711 834897841 3178467996 2802067506 3161664434 580441144 1915851015 2669724717 2785124381 2178517324 3950010003 445789834 3203210781 4205969570 905159230 932136459 2970542413 4004803638 2689883676 1601754085 546656740 3502111295 2815545468 638776159 2545726877 1887972825 1462285605 2242234728 3705771102 109218301 2582402533 555694019 2290781598 3340275748 1318195966 64969058 2677039752 1932317861 2016479274 2288325359 768925742 3979769820 3189263427 4182475862 1428394733 67066385 3349081145 2848415464 3963865125 2329842997 4247449680 1876486875 613302151 3132350564 2307785278 255 362436" option to reproduce the execution
0.00/0.01	c #vars 110
0.00/0.01	c #constraints 221
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 |      110      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      148 |      100 |      110      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      347 |      250 |      122      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      628 |      475 |      135      4 |        0 |        0
0.08/0.13	c  0.1s |       4 |     1006 |      813 |      149      7 |        0 |        0
0.19/0.20	c  0.2s |       5 |     1561 |     1320 |      164     12 |        0 |        0
0.29/0.32	c  0.3s |       6 |     2373 |     2081 |      200     18 |        0 |        0
0.39/0.49	c  0.5s |       7 |     3569 |     3223 |      221     28 |        0 |        0
0.69/0.76	c  0.7s |       8 |     5348 |     4936 |      244     40 |        0 |        0
0.99/1.05	c  1.0s |       9 |     7993 |     7506 |      269     58 |        0 |        0
1.39/1.47	c  1.5s |      10 |    11958 |    11361 |      296     82 |        0 |        0
1.99/2.06	c  2.0s |      11 |    17883 |    17144 |      326    116 |        0 |        0
2.89/2.95	c  2.9s |      12 |    26754 |    25819 |      359    163 |        0 |        0
4.29/4.32	c  4.3s |      13 |    39997 |    38832 |      395    227 |        0 |        0
6.28/6.32	c  6.3s |      13 |    59264 |    57732 |      395    313 |        0 |        0
6.28/6.38	c  6.4s |      14 |    59908 |    58352 |      435    316 |        0 |        0
8.28/8.39	c  8.4s |      14 |    79130 |    77152 |      435    395 |        0 |        0
9.48/9.51	c  9.5s |      15 |    89941 |    87632 |      479    438 |        0 |        0
11.48/11.52	c 11.5s |      15 |   108664 |   105932 |      479    508 |        0 |        0
13.48/13.53	c 13.5s |      15 |   127448 |   124232 |      479    579 |        0 |        0
14.28/14.35	c 14.3s |      16 |   134951 |   131552 |      527    606 |        0 |        0
16.27/16.35	c 16.3s |      16 |   153497 |   149552 |      527    669 |        0 |        0
18.27/18.36	c 18.3s |      16 |   171977 |   167452 |      527    732 |        0 |        0
20.27/20.37	c 20.4s |      16 |   190533 |   185452 |      527    795 |        0 |        0
21.67/21.70	c 21.7s |      17 |   202820 |   197432 |      580    837 |        0 |        0
23.67/23.70	c 23.7s |      17 |   221163 |   215332 |      580    895 |        0 |        0
25.67/25.71	c 25.7s |      17 |   239538 |   233232 |      580    952 |        0 |        0
27.67/27.72	c 27.7s |      17 |   257962 |   251132 |      580   1010 |        0 |        0
29.68/29.73	c 29.7s |      17 |   276428 |   268832 |      580   1067 |        0 |        0
31.67/31.73	c 31.7s |      17 |   294564 |   286332 |      580   1123 |        0 |        0
32.77/32.86	c 32.8s |      18 |   304655 |   296252 |      638   1154 |        0 |        0
34.77/34.86	c 34.8s |      18 |   322784 |   313752 |      638   1206 |        0 |        0
36.77/36.86	c 36.8s |      18 |   340761 |   331052 |      638   1256 |        0 |        0
38.77/38.86	c 38.9s |      18 |   358740 |   348452 |      638   1308 |        0 |        0
40.78/40.87	c 40.9s |      18 |   376685 |   365852 |      638   1359 |        0 |        0
42.77/42.87	c 42.9s |      18 |   394678 |   383352 |      638   1411 |        0 |        0
44.77/44.88	c 44.9s |      18 |   412627 |   400752 |      638   1462 |        0 |        0
46.77/46.89	c 46.9s |      18 |   430465 |   418152 |      638   1513 |        0 |        0
48.87/48.90	c 48.9s |      18 |   448274 |   435552 |      638   1564 |        0 |        0
49.87/49.93	c 49.9s |      19 |   457444 |   444482 |      702   1589 |        0 |        0
51.87/51.94	c 51.9s |      19 |   475533 |   461882 |      702   1636 |        0 |        0
53.88/53.95	c 53.9s |      19 |   493170 |   479082 |      702   1682 |        0 |        0
55.87/55.95	c 55.9s |      19 |   511160 |   496382 |      702   1729 |        0 |        0
57.87/57.95	c 57.9s |      19 |   528868 |   513582 |      702   1775 |        0 |        0
59.87/59.96	c 59.9s |      19 |   546403 |   530682 |      702   1821 |        0 |        0
61.87/61.97	c 62.0s |      19 |   564294 |   547882 |      702   1867 |        0 |        0
63.88/63.97	c 64.0s |      19 |   581848 |   564882 |      702   1913 |        0 |        0
65.87/65.98	c 66.0s |      19 |   599423 |   581882 |      702   1959 |        0 |        0
67.87/67.98	c 68.0s |      19 |   617303 |   598882 |      702   2005 |        0 |        0
69.87/69.99	c 70.0s |      19 |   635076 |   616082 |      702   2051 |        0 |        0
71.97/72.00	c 72.0s |      19 |   652827 |   633182 |      702   2097 |        0 |        0
73.97/74.00	c 74.0s |      19 |   670657 |   650382 |      702   2144 |        0 |        0
75.87/75.95	c 75.9s |      20 |   687796 |   666827 |      773   2187 |        0 |        0
77.87/77.96	c 77.9s |      20 |   705562 |   683727 |      773   2228 |        0 |        0
79.87/79.97	c 80.0s |      20 |   723107 |   700627 |      773   2270 |        0 |        0
81.86/81.98	c 82.0s |      20 |   740822 |   717627 |      773   2311 |        0 |        0
83.86/83.99	c 84.0s |      20 |   758191 |   734427 |      773   2353 |        0 |        0
85.88/85.99	c 86.0s |      20 |   775877 |   751427 |      773   2394 |        0 |        0
87.87/88.00	c 88.0s |      20 |   793394 |   768227 |      773   2436 |        0 |        0
89.97/90.01	c 90.0s |      20 |   810744 |   785027 |      773   2477 |        0 |        0
91.97/92.01	c 92.0s |      20 |   828107 |   801827 |      773   2518 |        0 |        0
93.97/94.02	c 94.0s |      20 |   845437 |   818627 |      773   2560 |        0 |        0
95.97/96.03	c 96.0s |      20 |   862726 |   835327 |      773   2601 |        0 |        0
97.97/98.03	c 98.0s |      20 |   880103 |   852227 |      773   2642 |        0 |        0
99.96/100.04	c  100s |      20 |   897856 |   869027 |      773   2683 |        0 |        0
101.96/102.04	c  102s |      20 |   915051 |   885727 |      773   2724 |        0 |        0
103.96/104.05	c  104s |      20 |   932450 |   902627 |      773   2766 |        0 |        0
105.96/106.05	c  106s |      20 |   949975 |   919427 |      773   2807 |        0 |        0
107.96/108.06	c  108s |      20 |   967436 |   936227 |      773   2849 |        0 |        0
109.97/110.07	c  110s |      20 |   985033 |   953127 |      773   2890 |        0 |        0
111.96/112.08	c  112s |      20 |  1002580 |   969927 |      773   2932 |        0 |        0
113.96/114.09	c  114s |      20 |  1019875 |   986527 |      773   2973 |        0 |        0
115.66/115.76	c  115s |      21 |  1034228 |  1000345 |      851   3005 |        0 |        0
117.66/117.76	c  117s |      21 |  1051939 |  1017145 |      851   3043 |        0 |        0
119.66/119.77	c  119s |      21 |  1069422 |  1033945 |      851   3080 |        0 |        0
121.66/121.77	c  121s |      21 |  1086821 |  1050545 |      851   3117 |        0 |        0
123.66/123.78	c  123s |      21 |  1104262 |  1067345 |      851   3155 |        0 |        0
125.66/125.79	c  125s |      21 |  1121690 |  1084145 |      851   3193 |        0 |        0
127.76/127.81	c  127s |      21 |  1139027 |  1100945 |      851   3230 |        0 |        0
129.77/129.81	c  129s |      21 |  1156277 |  1117445 |      851   3267 |        0 |        0
131.76/131.82	c  131s |      21 |  1173286 |  1133845 |      851   3304 |        0 |        0
133.76/133.82	c  133s |      21 |  1190486 |  1150445 |      851   3341 |        0 |        0
135.76/135.83	c  135s |      21 |  1207868 |  1167045 |      851   3379 |        0 |        0
137.76/137.83	c  137s |      21 |  1224945 |  1183645 |      851   3416 |        0 |        0
139.77/139.85	c  139s |      21 |  1242186 |  1200445 |      851   3454 |        0 |        0
141.76/141.86	c  141s |      21 |  1259296 |  1217045 |      851   3491 |        0 |        0
143.76/143.86	c  143s |      21 |  1276325 |  1233445 |      851   3528 |        0 |        0
145.76/145.86	c  145s |      21 |  1293334 |  1249745 |      851   3565 |        0 |        0
147.76/147.86	c  147s |      21 |  1310344 |  1266145 |      851   3602 |        0 |        0
149.76/149.86	c  149s |      21 |  1327865 |  1282745 |      851   3639 |        0 |        0
151.76/151.87	c  151s |      21 |  1345142 |  1299145 |      851   3676 |        0 |        0
153.75/153.87	c  153s |      21 |  1362357 |  1315545 |      851   3712 |        0 |        0
155.75/155.87	c  155s |      21 |  1379834 |  1331945 |      851   3749 |        0 |        0
157.75/157.88	c  157s |      21 |  1397229 |  1348445 |      851   3786 |        0 |        0
159.75/159.88	c  159s |      21 |  1414619 |  1364845 |      851   3823 |        0 |        0
161.76/161.89	c  161s |      21 |  1431775 |  1381245 |      851   3860 |        0 |        0
163.75/163.90	c  163s |      21 |  1449238 |  1397645 |      851   3897 |        0 |        0
165.85/165.91	c  165s |      21 |  1466441 |  1414045 |      851   3934 |        0 |        0
167.85/167.92	c  167s |      21 |  1483871 |  1430745 |      851   3971 |        0 |        0
169.85/169.93	c  169s |      21 |  1501244 |  1447345 |      851   4008 |        0 |        0
171.86/171.93	c  171s |      21 |  1518872 |  1463745 |      851   4045 |        0 |        0
173.86/173.94	c  173s |      21 |  1536338 |  1480145 |      851   4081 |        0 |        0
175.86/175.95	c  175s |      21 |  1553388 |  1496545 |      937   4117 |        0 |        0
176.36/176.46	c  176s |      22 |  1557598 |  1500622 |      937   4125 |        0 |        0
178.36/178.46	c  178s |      22 |  1574435 |  1516822 |      937   4158 |        0 |        0
180.36/180.47	c  180s |      22 |  1590925 |  1532722 |      937   4191 |        0 |        0
182.36/182.47	c  182s |      22 |  1607957 |  1549122 |      937   4224 |        0 |        0
184.35/184.47	c  184s |      22 |  1624793 |  1565122 |      937   4257 |        0 |        0
186.35/186.49	c  186s |      22 |  1641569 |  1581122 |      937   4290 |        0 |        0
188.45/188.50	c  188s |      22 |  1658614 |  1597222 |      937   4323 |        0 |        0
190.45/190.50	c  190s |      22 |  1675441 |  1613322 |      937   4356 |        0 |        0
192.46/192.51	c  192s |      22 |  1692663 |  1629522 |      937   4389 |        0 |        0
194.45/194.52	c  194s |      22 |  1709745 |  1645822 |      937   4422 |        0 |        0
196.45/196.53	c  196s |      22 |  1726301 |  1661822 |      937   4455 |        0 |        0
198.45/198.53	c  198s |      22 |  1742919 |  1677622 |      937   4487 |        0 |        0
200.45/200.54	c  200s |      22 |  1759490 |  1693722 |      937   4520 |        0 |        0
202.46/202.55	c  202s |      22 |  1776221 |  1709622 |      937   4553 |        0 |        0
204.45/204.56	c  204s |      22 |  1792862 |  1725422 |      937   4585 |        0 |        0
206.45/206.56	c  206s |      22 |  1809425 |  1741022 |      937   4617 |        0 |        0
208.45/208.57	c  208s |      22 |  1825658 |  1756622 |      937   4649 |        0 |        0
210.45/210.58	c  210s |      22 |  1842574 |  1772822 |      937   4682 |        0 |        0
212.45/212.59	c  212s |      22 |  1859597 |  1788922 |      937   4715 |        0 |        0
214.45/214.60	c  214s |      22 |  1876222 |  1804722 |      937   4747 |        0 |        0
216.55/216.60	c  216s |      22 |  1892688 |  1820622 |      937   4780 |        0 |        0
218.54/218.61	c  218s |      22 |  1909228 |  1836522 |      937   4813 |        0 |        0
220.54/220.62	c  220s |      22 |  1926014 |  1852722 |      937   4846 |        0 |        0
222.54/222.62	c  222s |      22 |  1942546 |  1868622 |      937   4879 |        0 |        0
224.54/224.62	c  224s |      22 |  1959204 |  1884622 |      937   4912 |        0 |        0
226.55/226.62	c  226s |      22 |  1975793 |  1900622 |      937   4944 |        0 |        0
228.54/228.63	c  228s |      22 |  1992595 |  1916722 |      937   4977 |        0 |        0
230.54/230.63	c  230s |      22 |  2009339 |  1932822 |      937   5010 |        0 |        0
232.54/232.64	c  232s |      22 |  2026010 |  1948922 |      937   5043 |        0 |        0
234.54/234.65	c  234s |      22 |  2042636 |  1964922 |      937   5076 |        0 |        0
236.55/236.66	c  236s |      22 |  2059546 |  1981022 |      937   5109 |        0 |        0
238.54/238.66	c  238s |      22 |  2076110 |  1996922 |      937   5142 |        0 |        0
240.54/240.67	c  240s |      22 |  2092765 |  2012822 |      937   5175 |        0 |        0
242.54/242.67	c  242s |      22 |  2109442 |  2028522 |      937   5207 |        0 |        0
244.54/244.67	c  244s |      22 |  2126031 |  2044322 |      937   5240 |        0 |        0
246.54/246.69	c  246s |      22 |  2142498 |  2060322 |      937   5273 |        0 |        0
248.54/248.69	c  248s |      22 |  2159023 |  2076322 |      937   5305 |        0 |        0
250.64/250.70	c  250s |      22 |  2175709 |  2092222 |      937   5338 |        0 |        0
252.65/252.70	c  252s |      22 |  2192345 |  2108122 |      937   5371 |        0 |        0
254.65/254.72	c  254s |      22 |  2209320 |  2124122 |      937   5404 |        0 |        0
256.64/256.73	c  256s |      22 |  2225868 |  2140022 |      937   5436 |        0 |        0
258.64/258.73	c  258s |      22 |  2242489 |  2155822 |      937   5469 |        0 |        0
260.65/260.73	c  260s |      22 |  2258827 |  2171422 |      937   5501 |        0 |        0
262.64/262.74	c  262s |      22 |  2275672 |  2187322 |      937   5534 |        0 |        0
264.64/264.75	c  264s |      22 |  2292439 |  2203422 |      937   5567 |        0 |        0
266.64/266.76	c  266s |      22 |  2309303 |  2219422 |      937   5600 |        0 |        0
268.64/268.76	c  268s |      22 |  2326032 |  2235322 |     1031   5632 |        0 |        0
270.64/270.77	c  270s |      22 |  2342670 |  2251022 |     1031   5662 |        0 |        0
270.64/270.77	c  270s |      23 |  2342687 |  2251038 |     1031   5662 |        0 |        0
272.64/272.77	c  272s |      23 |  2360319 |  2267138 |     1031   5692 |        0 |        0
274.64/274.78	c  274s |      23 |  2377779 |  2283038 |     1031   5721 |        0 |        0
276.64/276.78	c  276s |      23 |  2394843 |  2298738 |     1031   5751 |        0 |        0
278.63/278.78	c  278s |      23 |  2412155 |  2314738 |     1031   5781 |        0 |        0
280.63/280.79	c  280s |      23 |  2429009 |  2330638 |     1031   5810 |        0 |        0
282.64/282.80	c  282s |      23 |  2445538 |  2346338 |     1031   5840 |        0 |        0
284.73/284.81	c  284s |      23 |  2462500 |  2362038 |     1031   5869 |        0 |        0
286.73/286.81	c  286s |      23 |  2479051 |  2377538 |     1031   5898 |        0 |        0
288.73/288.82	c  288s |      23 |  2495752 |  2393338 |     1031   5928 |        0 |        0
290.73/290.83	c  290s |      23 |  2512202 |  2408938 |     1031   5957 |        0 |        0
292.74/292.83	c  292s |      23 |  2528449 |  2424438 |     1031   5986 |        0 |        0
294.74/294.84	c  294s |      23 |  2544813 |  2439938 |     1031   6015 |        0 |        0
296.73/296.85	c  296s |      23 |  2561042 |  2455538 |     1031   6044 |        0 |        0
298.73/298.85	c  298s |      23 |  2577072 |  2470938 |     1031   6072 |        0 |        0
300.73/300.85	c  300s |      23 |  2593077 |  2486338 |     1031   6101 |        0 |        0
302.73/302.85	c  302s |      23 |  2609284 |  2501838 |     1031   6130 |        0 |        0
304.74/304.86	c  304s |      23 |  2625536 |  2517538 |     1031   6160 |        0 |        0
306.73/306.86	c  306s |      23 |  2641914 |  2533238 |     1031   6189 |        0 |        0
308.73/308.87	c  308s |      23 |  2658378 |  2549038 |     1031   6218 |        0 |        0
310.74/310.88	c  310s |      23 |  2674774 |  2564738 |     1031   6248 |        0 |        0
312.74/312.89	c  312s |      23 |  2691101 |  2580438 |     1031   6277 |        0 |        0
314.84/314.90	c  314s |      23 |  2707155 |  2596138 |     1031   6307 |        0 |        0
316.84/316.90	c  316s |      23 |  2723764 |  2611738 |     1031   6336 |        0 |        0
318.84/318.91	c  318s |      23 |  2740140 |  2627238 |     1031   6365 |        0 |        0
320.83/320.92	c  320s |      23 |  2756423 |  2642738 |     1031   6394 |        0 |        0
322.83/322.93	c  322s |      23 |  2772717 |  2658338 |     1031   6423 |        0 |        0
324.83/324.93	c  324s |      23 |  2789064 |  2673938 |     1031   6452 |        0 |        0
326.83/326.94	c  326s |      23 |  2805199 |  2689438 |     1031   6481 |        0 |        0
328.84/328.94	c  328s |      23 |  2821334 |  2705038 |     1031   6510 |        0 |        0
330.83/330.95	c  330s |      23 |  2837593 |  2720738 |     1031   6540 |        0 |        0
332.83/332.96	c  332s |      23 |  2854282 |  2736438 |     1031   6569 |        0 |        0
334.83/334.97	c  334s |      23 |  2870705 |  2752238 |     1031   6599 |        0 |        0
336.83/336.98	c  336s |      23 |  2887169 |  2767838 |     1031   6628 |        0 |        0
338.83/338.98	c  338s |      23 |  2903148 |  2783338 |     1031   6657 |        0 |        0
340.83/340.98	c  340s |      23 |  2919509 |  2798938 |     1031   6686 |        0 |        0
342.83/342.98	c  342s |      23 |  2935573 |  2814438 |     1031   6715 |        0 |        0
344.82/344.99	c  344s |      23 |  2951728 |  2829938 |     1031   6744 |        0 |        0
346.92/347.00	c  346s |      23 |  2967912 |  2845538 |     1031   6773 |        0 |        0
348.92/349.01	c  348s |      23 |  2984115 |  2861138 |     1031   6802 |        0 |        0
350.94/351.02	c  351s |      23 |  3000188 |  2876638 |     1031   6831 |        0 |        0
352.93/353.03	c  353s |      23 |  3016401 |  2892338 |     1031   6860 |        0 |        0
354.93/355.04	c  355s |      23 |  3032387 |  2907838 |     1031   6889 |        0 |        0
356.93/357.05	c  357s |      23 |  3048659 |  2923238 |     1031   6918 |        0 |        0
358.93/359.06	c  359s |      23 |  3065225 |  2938838 |     1031   6947 |        0 |        0
360.93/361.06	c  361s |      23 |  3081316 |  2954438 |     1031   6976 |        0 |        0
362.93/363.07	c  363s |      23 |  3097497 |  2970038 |     1031   7005 |        0 |        0
364.93/365.08	c  365s |      23 |  3113962 |  2985838 |     1031   7035 |        0 |        0
366.93/367.08	c  367s |      23 |  3130287 |  3001638 |     1031   7065 |        0 |        0
368.93/369.09	c  369s |      23 |  3146569 |  3017338 |     1031   7094 |        0 |        0
371.03/371.10	c  371s |      23 |  3162829 |  3033038 |     1031   7123 |        0 |        0
373.03/373.11	c  373s |      23 |  3178900 |  3048638 |     1031   7153 |        0 |        0
375.03/375.12	c  375s |      23 |  3195693 |  3064438 |     1031   7182 |        0 |        0
377.02/377.12	c  377s |      23 |  3212146 |  3079838 |     1031   7211 |        0 |        0
379.02/379.13	c  379s |      23 |  3228525 |  3095238 |     1031   7239 |        0 |        0
381.02/381.14	c  381s |      23 |  3244708 |  3110638 |     1031   7268 |        0 |        0
383.02/383.14	c  383s |      23 |  3260928 |  3126038 |     1031   7297 |        0 |        0
385.03/385.16	c  385s |      23 |  3277730 |  3141838 |     1031   7326 |        0 |        0
387.02/387.16	c  387s |      23 |  3294846 |  3157538 |     1031   7356 |        0 |        0
389.02/389.16	c  389s |      23 |  3311695 |  3172938 |     1031   7385 |        0 |        0
391.02/391.17	c  391s |      23 |  3327697 |  3188538 |     1031   7414 |        0 |        0
393.02/393.18	c  393s |      23 |  3344025 |  3204038 |     1031   7443 |        0 |        0
395.02/395.19	c  395s |      23 |  3360576 |  3219738 |     1031   7472 |        0 |        0
397.03/397.20	c  397s |      23 |  3376926 |  3235438 |     1031   7501 |        0 |        0
399.12/399.21	c  399s |      23 |  3393034 |  3251038 |     1031   7531 |        0 |        0
401.12/401.21	c  401s |      23 |  3409488 |  3266638 |     1031   7560 |        0 |        0
403.11/403.23	c  403s |      23 |  3425872 |  3282138 |     1031   7589 |        0 |        0
405.11/405.24	c  405s |      23 |  3441943 |  3297338 |     1031   7617 |        0 |        0
407.12/407.24	c  407s |      23 |  3458122 |  3312438 |     1031   7646 |        0 |        0
409.13/409.24	c  409s |      23 |  3474711 |  3328038 |     1031   7675 |        0 |        0
411.12/411.24	c  411s |      23 |  3491198 |  3343738 |     1031   7704 |        0 |        0
413.12/413.24	c  413s |      23 |  3507067 |  3359138 |     1135   7732 |        0 |        0
415.12/415.25	c  415s |      23 |  3523075 |  3374538 |     1135   7758 |        0 |        0
415.42/415.54	c  415s |      24 |  3525254 |  3376662 |     1135   7761 |        0 |        0
417.42/417.55	c  417s |      24 |  3541559 |  3391962 |     1135   7787 |        0 |        0
419.42/419.55	c  419s |      24 |  3557625 |  3407162 |     1135   7813 |        0 |        0
421.42/421.55	c  421s |      24 |  3573589 |  3422062 |     1135   7839 |        0 |        0
423.42/423.57	c  423s |      24 |  3589233 |  3437162 |     1135   7864 |        0 |        0
425.42/425.57	c  425s |      24 |  3604893 |  3452262 |     1135   7890 |        0 |        0
427.41/427.59	c  427s |      24 |  3620590 |  3467362 |     1135   7916 |        0 |        0
429.41/429.60	c  429s |      24 |  3636227 |  3482562 |     1135   7941 |        0 |        0
431.51/431.60	c  431s |      24 |  3651666 |  3497362 |     1135   7967 |        0 |        0
433.51/433.60	c  433s |      24 |  3667200 |  3512262 |     1135   7992 |        0 |        0
435.52/435.61	c  435s |      24 |  3682755 |  3527162 |     1135   8017 |        0 |        0
437.51/437.61	c  437s |      24 |  3698321 |  3542062 |     1135   8043 |        0 |        0
439.51/439.61	c  439s |      24 |  3714380 |  3556962 |     1135   8068 |        0 |        0
441.52/441.62	c  441s |      24 |  3730297 |  3572162 |     1135   8094 |        0 |        0
443.52/443.63	c  443s |      24 |  3745911 |  3587062 |     1135   8119 |        0 |        0
445.52/445.64	c  445s |      24 |  3761867 |  3602362 |     1135   8145 |        0 |        0
447.51/447.64	c  447s |      24 |  3777598 |  3617462 |     1135   8171 |        0 |        0
449.51/449.64	c  449s |      24 |  3793506 |  3632462 |     1135   8197 |        0 |        0
451.51/451.65	c  451s |      24 |  3809337 |  3647562 |     1135   8222 |        0 |        0
453.51/453.66	c  453s |      24 |  3825145 |  3662562 |     1135   8248 |        0 |        0
455.51/455.67	c  455s |      24 |  3841344 |  3677562 |     1135   8274 |        0 |        0
457.52/457.67	c  457s |      24 |  3857146 |  3692362 |     1135   8299 |        0 |        0
459.51/459.67	c  459s |      24 |  3872964 |  3707362 |     1135   8324 |        0 |        0
461.51/461.67	c  461s |      24 |  3888772 |  3722362 |     1135   8350 |        0 |        0
463.51/463.67	c  463s |      24 |  3904539 |  3737262 |     1135   8375 |        0 |        0
465.51/465.68	c  465s |      24 |  3920238 |  3752262 |     1135   8401 |        0 |        0
467.51/467.68	c  467s |      24 |  3935801 |  3767262 |     1135   8426 |        0 |        0
469.51/469.69	c  469s |      24 |  3951524 |  3782462 |     1135   8452 |        0 |        0
471.51/471.70	c  471s |      24 |  3967532 |  3797662 |     1135   8478 |        0 |        0
473.61/473.71	c  473s |      24 |  3983188 |  3812862 |     1135   8504 |        0 |        0
475.61/475.71	c  475s |      24 |  3998937 |  3827862 |     1135   8530 |        0 |        0
477.61/477.72	c  477s |      24 |  4014879 |  3842862 |     1135   8555 |        0 |        0
479.62/479.73	c  479s |      24 |  4030707 |  3857862 |     1135   8581 |        0 |        0
481.61/481.74	c  481s |      24 |  4046532 |  3872962 |     1135   8607 |        0 |        0
483.61/483.75	c  483s |      24 |  4061915 |  3887862 |     1135   8632 |        0 |        0
485.60/485.75	c  485s |      24 |  4077058 |  3902462 |     1135   8657 |        0 |        0
487.60/487.76	c  487s |      24 |  4092843 |  3917562 |     1135   8682 |        0 |        0
489.60/489.77	c  489s |      24 |  4108577 |  3932562 |     1135   8708 |        0 |        0
491.61/491.77	c  491s |      24 |  4124397 |  3947662 |     1135   8734 |        0 |        0
493.60/493.78	c  493s |      24 |  4140039 |  3962662 |     1135   8759 |        0 |        0
495.60/495.79	c  495s |      24 |  4155861 |  3977862 |     1135   8785 |        0 |        0
497.70/497.80	c  497s |      24 |  4171667 |  3993162 |     1135   8811 |        0 |        0
499.70/499.80	c  499s |      24 |  4187069 |  4008162 |     1135   8837 |        0 |        0
501.70/501.82	c  501s |      24 |  4202706 |  4023362 |     1135   8863 |        0 |        0
503.71/503.82	c  503s |      24 |  4218619 |  4038562 |     1135   8889 |        0 |        0
505.70/505.83	c  505s |      24 |  4234130 |  4053562 |     1135   8914 |        0 |        0
507.71/507.84	c  507s |      24 |  4249836 |  4068562 |     1135   8940 |        0 |        0
509.71/509.85	c  509s |      24 |  4265399 |  4083462 |     1135   8965 |        0 |        0
511.71/511.86	c  511s |      24 |  4281147 |  4098462 |     1135   8991 |        0 |        0
513.71/513.87	c  513s |      24 |  4296858 |  4113462 |     1135   9016 |        0 |        0
515.70/515.87	c  515s |      24 |  4312810 |  4128562 |     1135   9042 |        0 |        0
517.70/517.88	c  517s |      24 |  4328758 |  4143662 |     1135   9068 |        0 |        0
519.70/519.89	c  519s |      24 |  4344791 |  4158762 |     1135   9094 |        0 |        0
521.80/521.90	c  521s |      24 |  4360519 |  4173762 |     1135   9119 |        0 |        0
523.80/523.91	c  523s |      24 |  4376586 |  4188962 |     1135   9145 |        0 |        0
525.81/525.93	c  525s |      24 |  4392872 |  4204162 |     1135   9171 |        0 |        0
527.80/527.93	c  527s |      24 |  4408566 |  4218962 |     1135   9196 |        0 |        0
529.80/529.94	c  529s |      24 |  4424314 |  4233862 |     1135   9221 |        0 |        0
531.80/531.94	c  531s |      24 |  4440091 |  4248662 |     1135   9247 |        0 |        0
533.80/533.94	c  533s |      24 |  4455459 |  4263462 |     1135   9272 |        0 |        0
535.80/535.95	c  535s |      24 |  4471451 |  4278362 |     1135   9297 |        0 |        0
537.80/537.97	c  537s |      24 |  4487162 |  4293362 |     1135   9323 |        0 |        0
539.80/539.98	c  539s |      24 |  4502898 |  4308462 |     1135   9348 |        0 |        0
541.80/541.98	c  541s |      24 |  4518669 |  4323362 |     1135   9374 |        0 |        0
543.80/543.99	c  543s |      24 |  4534358 |  4338362 |     1135   9399 |        0 |        0
545.80/545.99	c  545s |      24 |  4549781 |  4353362 |     1135   9425 |        0 |        0
547.80/547.99	c  547s |      24 |  4565353 |  4368262 |     1135   9450 |        0 |        0
549.79/550.00	c  549s |      24 |  4580956 |  4383062 |     1135   9476 |        0 |        0
551.89/552.01	c  551s |      24 |  4596503 |  4397862 |     1135   9501 |        0 |        0
553.89/554.01	c  554s |      24 |  4612377 |  4412962 |     1135   9527 |        0 |        0
555.89/556.02	c  556s |      24 |  4628072 |  4427962 |     1135   9552 |        0 |        0
557.89/558.03	c  558s |      24 |  4643651 |  4442862 |     1135   9578 |        0 |        0
559.90/560.04	c  560s |      24 |  4659254 |  4457662 |     1135   9603 |        0 |        0
561.89/562.04	c  562s |      24 |  4675076 |  4472762 |     1135   9629 |        0 |        0
563.89/564.05	c  564s |      24 |  4690664 |  4487762 |     1135   9654 |        0 |        0
565.89/566.06	c  566s |      24 |  4706525 |  4502962 |     1135   9680 |        0 |        0
567.90/568.06	c  568s |      24 |  4722203 |  4517862 |     1135   9705 |        0 |        0
569.90/570.07	c  570s |      24 |  4738005 |  4532762 |     1135   9731 |        0 |        0
571.90/572.07	c  572s |      24 |  4753560 |  4547562 |     1135   9756 |        0 |        0
573.89/574.08	c  574s |      24 |  4768989 |  4562362 |     1135   9781 |        0 |        0
575.89/576.09	c  576s |      24 |  4784646 |  4577262 |     1135   9807 |        0 |        0
577.99/578.10	c  578s |      24 |  4800333 |  4592162 |     1135   9832 |        0 |        0
579.99/580.12	c  580s |      24 |  4816068 |  4607162 |     1135   9858 |        0 |        0
581.99/582.13	c  582s |      24 |  4831827 |  4622062 |     1135   9883 |        0 |        0
584.00/584.14	c  584s |      24 |  4847270 |  4636862 |     1135   9908 |        0 |        0
585.99/586.15	c  586s |      24 |  4862724 |  4651562 |     1135   9933 |        0 |        0
587.99/588.15	c  588s |      24 |  4878651 |  4666362 |     1135   9958 |        0 |        0
589.99/590.16	c  590s |      24 |  4893957 |  4680962 |     1135   9983 |        0 |        0
591.99/592.17	c  592s |      24 |  4909703 |  4695662 |     1135  10008 |        0 |        0
593.99/594.18	c  594s |      24 |  4925650 |  4710662 |     1135  10034 |        0 |        0
595.99/596.18	c  596s |      24 |  4941379 |  4725762 |     1135  10060 |        0 |        0
597.99/598.18	c  598s |      24 |  4957396 |  4740862 |     1135  10085 |        0 |        0
599.99/600.19	c  600s |      24 |  4973150 |  4755962 |     1135  10111 |        0 |        0
602.08/602.21	c  602s |      24 |  4989065 |  4771062 |     1135  10137 |        0 |        0
604.08/604.22	c  604s |      24 |  5005193 |  4786162 |     1135  10163 |        0 |        0
606.09/606.23	c  606s |      24 |  5021124 |  4801162 |     1135  10188 |        0 |        0
608.08/608.23	c  608s |      24 |  5036970 |  4816362 |     1135  10214 |        0 |        0
610.08/610.23	c  610s |      24 |  5052668 |  4831462 |     1135  10240 |        0 |        0
612.08/612.23	c  612s |      24 |  5068439 |  4846662 |     1135  10266 |        0 |        0
614.08/614.23	c  614s |      24 |  5084089 |  4861862 |     1135  10292 |        0 |        0
616.08/616.25	c  616s |      24 |  5100058 |  4876962 |     1135  10318 |        0 |        0
618.09/618.26	c  618s |      24 |  5115817 |  4891962 |     1135  10343 |        0 |        0
620.08/620.27	c  620s |      24 |  5131246 |  4906862 |     1135  10369 |        0 |        0
622.08/622.27	c  622s |      24 |  5147178 |  4921862 |     1135  10394 |        0 |        0
624.08/624.28	c  624s |      24 |  5162656 |  4936662 |     1135  10420 |        0 |        0
626.08/626.29	c  626s |      24 |  5178687 |  4951762 |     1135  10445 |        0 |        0
628.10/628.29	c  628s |      24 |  5194731 |  4966762 |     1135  10471 |        0 |        0
630.09/630.30	c  630s |      24 |  5210212 |  4981462 |     1135  10496 |        0 |        0
632.19/632.31	c  632s |      24 |  5225807 |  4996462 |     1135  10522 |        0 |        0
634.19/634.32	c  634s |      24 |  5241926 |  5011562 |     1135  10547 |        0 |        0
636.19/636.32	c  636s |      24 |  5257517 |  5026462 |     1135  10573 |        0 |        0
638.19/638.32	c  638s |      24 |  5272951 |  5041062 |     1249  10596 |        0 |        0
640.19/640.33	c  640s |      24 |  5288392 |  5055762 |     1249  10619 |        0 |        0
641.49/641.62	c  641s |      25 |  5298090 |  5065098 |     1249  10633 |        0 |        0
643.49/643.63	c  643s |      25 |  5313431 |  5079698 |     1249  10656 |        0 |        0
645.48/645.64	c  645s |      25 |  5328823 |  5094098 |     1249  10678 |        0 |        0
647.48/647.65	c  647s |      25 |  5344042 |  5108598 |     1249  10700 |        0 |        0
649.48/649.66	c  649s |      25 |  5359103 |  5123098 |     1249  10723 |        0 |        0
651.48/651.67	c  651s |      25 |  5374698 |  5137798 |     1249  10746 |        0 |        0
653.48/653.68	c  653s |      25 |  5389921 |  5152298 |     1249  10768 |        0 |        0
655.49/655.69	c  655s |      25 |  5405095 |  5166798 |     1249  10791 |        0 |        0
657.58/657.70	c  657s |      25 |  5420273 |  5181098 |     1249  10813 |        0 |        0
659.58/659.71	c  659s |      25 |  5435739 |  5195798 |     1249  10836 |        0 |        0
661.58/661.72	c  661s |      25 |  5451010 |  5210398 |     1249  10858 |        0 |        0
663.58/663.73	c  663s |      25 |  5466378 |  5224998 |     1249  10881 |        0 |        0
665.58/665.74	c  665s |      25 |  5481794 |  5239598 |     1249  10903 |        0 |        0
667.58/667.74	c  667s |      25 |  5496857 |  5253798 |     1249  10925 |        0 |        0
669.58/669.75	c  669s |      25 |  5512263 |  5268398 |     1249  10948 |        0 |        0
671.57/671.76	c  671s |      25 |  5527610 |  5282898 |     1249  10971 |        0 |        0
673.57/673.76	c  673s |      25 |  5542745 |  5297398 |     1249  10993 |        0 |        0
675.57/675.78	c  675s |      25 |  5558036 |  5311898 |     1249  11016 |        0 |        0
677.58/677.78	c  677s |      25 |  5573097 |  5326298 |     1249  11038 |        0 |        0
679.57/679.78	c  679s |      25 |  5588063 |  5340598 |     1249  11060 |        0 |        0
681.57/681.79	c  681s |      25 |  5603375 |  5355098 |     1249  11083 |        0 |        0
683.67/683.80	c  683s |      25 |  5618535 |  5369498 |     1249  11105 |        0 |        0
685.67/685.81	c  685s |      25 |  5633992 |  5384298 |     1249  11128 |        0 |        0
687.67/687.82	c  687s |      25 |  5649278 |  5398898 |     1249  11151 |        0 |        0
689.69/689.82	c  689s |      25 |  5664305 |  5413098 |     1249  11173 |        0 |        0
691.68/691.83	c  691s |      25 |  5679563 |  5427398 |     1249  11195 |        0 |        0
693.68/693.85	c  693s |      25 |  5694908 |  5442098 |     1249  11218 |        0 |        0
695.68/695.85	c  695s |      25 |  5710213 |  5456598 |     1249  11240 |        0 |        0
697.68/697.86	c  697s |      25 |  5725805 |  5471298 |     1249  11263 |        0 |        0
699.67/699.86	c  699s |      25 |  5741193 |  5485798 |     1249  11286 |        0 |        0
701.68/701.86	c  701s |      25 |  5756206 |  5500298 |     1249  11308 |        0 |        0
703.67/703.87	c  703s |      25 |  5771480 |  5514698 |     1249  11331 |        0 |        0
705.67/705.88	c  705s |      25 |  5787041 |  5529498 |     1249  11353 |        0 |        0
707.67/707.89	c  707s |      25 |  5801643 |  5543598 |     1249  11375 |        0 |        0
709.66/709.89	c  709s |      25 |  5816464 |  5557898 |     1249  11397 |        0 |        0
711.76/711.90	c  711s |      25 |  5831565 |  5572498 |     1249  11420 |        0 |        0
713.66/713.90	c  713s |      25 |  5846564 |  5586898 |     1249  11443 |        0 |        0
715.76/715.90	c  715s |      25 |  5861531 |  5601298 |     1249  11465 |        0 |        0
717.77/717.92	c  717s |      25 |  5877013 |  5615898 |     1249  11488 |        0 |        0
719.77/719.92	c  719s |      25 |  5892090 |  5630498 |     1249  11510 |        0 |        0
721.77/721.93	c  721s |      25 |  5907310 |  5644998 |     1249  11533 |        0 |        0
723.77/723.94	c  723s |      25 |  5922821 |  5659698 |     1249  11556 |        0 |        0
725.76/725.95	c  725s |      25 |  5938131 |  5674398 |     1249  11578 |        0 |        0
727.76/727.95	c  727s |      25 |  5953623 |  5689098 |     1249  11601 |        0 |        0
729.76/729.96	c  729s |      25 |  5969084 |  5703698 |     1249  11624 |        0 |        0
731.76/731.96	c  731s |      25 |  5984419 |  5718298 |     1249  11647 |        0 |        0
733.76/733.97	c  733s |      25 |  5999981 |  5732798 |     1249  11669 |        0 |        0
735.76/735.98	c  735s |      25 |  6015155 |  5747398 |     1249  11692 |        0 |        0
737.75/737.98	c  737s |      25 |  6030386 |  5762098 |     1249  11715 |        0 |        0
739.75/739.99	c  739s |      25 |  6046324 |  5776498 |     1249  11737 |        0 |        0
741.85/742.00	c  741s |      25 |  6061766 |  5790998 |     1249  11760 |        0 |        0
743.85/744.00	c  743s |      25 |  6077455 |  5805898 |     1249  11783 |        0 |        0
745.85/746.01	c  745s |      25 |  6092908 |  5820698 |     1249  11806 |        0 |        0
747.85/748.02	c  748s |      25 |  6108552 |  5835498 |     1249  11829 |        0 |        0
749.84/750.02	c  750s |      25 |  6123988 |  5850298 |     1249  11852 |        0 |        0
751.84/752.03	c  752s |      25 |  6139479 |  5865198 |     1249  11875 |        0 |        0
753.84/754.04	c  754s |      25 |  6154827 |  5879998 |     1249  11898 |        0 |        0
755.84/756.05	c  756s |      25 |  6170090 |  5894798 |     1249  11921 |        0 |        0
757.86/758.05	c  758s |      25 |  6185598 |  5909698 |     1249  11944 |        0 |        0
759.85/760.06	c  760s |      25 |  6200866 |  5924398 |     1249  11967 |        0 |        0
761.85/762.06	c  762s |      25 |  6216126 |  5939098 |     1249  11990 |        0 |        0
763.85/764.07	c  764s |      25 |  6231527 |  5953898 |     1249  12013 |        0 |        0
765.85/766.08	c  766s |      25 |  6246916 |  5968598 |     1249  12036 |        0 |        0
767.85/768.09	c  768s |      25 |  6262329 |  5983198 |     1249  12058 |        0 |        0
769.85/770.10	c  770s |      25 |  6277997 |  5997898 |     1249  12081 |        0 |        0
771.95/772.10	c  772s |      25 |  6293567 |  6012698 |     1249  12104 |        0 |        0
773.95/774.11	c  774s |      25 |  6309215 |  6027498 |     1249  12127 |        0 |        0
775.94/776.12	c  776s |      25 |  6324510 |  6042198 |     1249  12150 |        0 |        0
777.94/778.13	c  778s |      25 |  6340168 |  6057198 |     1249  12173 |        0 |        0
779.94/780.14	c  780s |      25 |  6355943 |  6072098 |     1249  12196 |        0 |        0
781.95/782.15	c  782s |      25 |  6371522 |  6086898 |     1249  12219 |        0 |        0
783.94/784.17	c  784s |      25 |  6386880 |  6101498 |     1249  12242 |        0 |        0
785.94/786.18	c  786s |      25 |  6402387 |  6116198 |     1249  12265 |        0 |        0
787.94/788.19	c  788s |      25 |  6418145 |  6131098 |     1249  12288 |        0 |        0
789.94/790.19	c  790s |      25 |  6434008 |  6145898 |     1249  12311 |        0 |        0
792.04/792.20	c  792s |      25 |  6450070 |  6160898 |     1249  12334 |        0 |        0
794.04/794.20	c  794s |      25 |  6465694 |  6175698 |     1249  12357 |        0 |        0
796.03/796.21	c  796s |      25 |  6481788 |  6190698 |     1249  12380 |        0 |        0
798.03/798.21	c  798s |      25 |  6497436 |  6205498 |     1249  12403 |        0 |        0
800.03/800.21	c  800s |      25 |  6513261 |  6220298 |     1249  12426 |        0 |        0
802.03/802.22	c  802s |      25 |  6528794 |  6234798 |     1249  12449 |        0 |        0
804.04/804.22	c  804s |      25 |  6544087 |  6249498 |     1249  12472 |        0 |        0
806.03/806.23	c  806s |      25 |  6559591 |  6264298 |     1249  12495 |        0 |        0
808.03/808.23	c  808s |      25 |  6575290 |  6279098 |     1249  12518 |        0 |        0
810.03/810.25	c  810s |      25 |  6591191 |  6293898 |     1249  12541 |        0 |        0
812.03/812.25	c  812s |      25 |  6607240 |  6308798 |     1249  12564 |        0 |        0
814.03/814.26	c  814s |      25 |  6623006 |  6323598 |     1249  12587 |        0 |        0
816.04/816.27	c  816s |      25 |  6638659 |  6338398 |     1249  12610 |        0 |        0
818.03/818.28	c  818s |      25 |  6654226 |  6353098 |     1249  12632 |        0 |        0
820.03/820.28	c  820s |      25 |  6669875 |  6367898 |     1249  12655 |        0 |        0
822.03/822.29	c  822s |      25 |  6685165 |  6382598 |     1249  12678 |        0 |        0
824.03/824.29	c  824s |      25 |  6700724 |  6397598 |     1249  12701 |        0 |        0
826.12/826.30	c  826s |      25 |  6716182 |  6412398 |     1249  12724 |        0 |        0
828.13/828.31	c  828s |      25 |  6731635 |  6426998 |     1249  12747 |        0 |        0
830.12/830.31	c  830s |      25 |  6747548 |  6442098 |     1249  12771 |        0 |        0
832.12/832.32	c  832s |      25 |  6763427 |  6457098 |     1249  12794 |        0 |        0
834.12/834.32	c  834s |      25 |  6779230 |  6472098 |     1249  12817 |        0 |        0
836.11/836.34	c  836s |      25 |  6794864 |  6486998 |     1249  12840 |        0 |        0
838.12/838.34	c  838s |      25 |  6810688 |  6501998 |     1249  12863 |        0 |        0
840.11/840.34	c  840s |      25 |  6826278 |  6516898 |     1249  12887 |        0 |        0
842.11/842.34	c  842s |      25 |  6842165 |  6531898 |     1249  12910 |        0 |        0
844.11/844.35	c  844s |      25 |  6857860 |  6546798 |     1249  12933 |        0 |        0
846.11/846.37	c  846s |      25 |  6873765 |  6561998 |     1249  12957 |        0 |        0
848.11/848.37	c  848s |      25 |  6889483 |  6576998 |     1249  12980 |        0 |        0
850.11/850.38	c  850s |      25 |  6905208 |  6591898 |     1249  13003 |        0 |        0
852.11/852.39	c  852s |      25 |  6921204 |  6606898 |     1249  13026 |        0 |        0
854.21/854.40	c  854s |      25 |  6937229 |  6621998 |     1249  13050 |        0 |        0
856.21/856.41	c  856s |      25 |  6953284 |  6637098 |     1249  13073 |        0 |        0
858.21/858.42	c  858s |      25 |  6968950 |  6652098 |     1249  13097 |        0 |        0
860.21/860.43	c  860s |      25 |  6984943 |  6667198 |     1249  13120 |        0 |        0
862.22/862.44	c  862s |      25 |  7000639 |  6682298 |     1249  13143 |        0 |        0
864.21/864.45	c  864s |      25 |  7016526 |  6697498 |     1249  13167 |        0 |        0
866.21/866.46	c  866s |      25 |  7032245 |  6712498 |     1249  13190 |        0 |        0
868.21/868.46	c  868s |      25 |  7047647 |  6727298 |     1249  13213 |        0 |        0
870.21/870.47	c  870s |      25 |  7063389 |  6742298 |     1249  13237 |        0 |        0
872.21/872.48	c  872s |      25 |  7079534 |  6757398 |     1249  13260 |        0 |        0
874.21/874.49	c  874s |      25 |  7095363 |  6772398 |     1249  13283 |        0 |        0
876.20/876.49	c  876s |      25 |  7110966 |  6787298 |     1249  13306 |        0 |        0
878.20/878.50	c  878s |      25 |  7127135 |  6802498 |     1249  13330 |        0 |        0
880.30/880.50	c  880s |      25 |  7143024 |  6817598 |     1249  13354 |        0 |        0
882.30/882.52	c  882s |      25 |  7159075 |  6832998 |     1249  13378 |        0 |        0
884.31/884.52	c  884s |      25 |  7174933 |  6848098 |     1249  13401 |        0 |        0
886.30/886.54	c  886s |      25 |  7190678 |  6863198 |     1249  13425 |        0 |        0
888.30/888.55	c  888s |      25 |  7206711 |  6878598 |     1249  13449 |        0 |        0
890.30/890.56	c  890s |      25 |  7222742 |  6893798 |     1249  13472 |        0 |        0
892.30/892.56	c  892s |      25 |  7238575 |  6908898 |     1249  13496 |        0 |        0
894.30/894.57	c  894s |      25 |  7254516 |  6923998 |     1249  13519 |        0 |        0
896.30/896.58	c  896s |      25 |  7270527 |  6939298 |     1249  13543 |        0 |        0
898.29/898.59	c  898s |      25 |  7286501 |  6954598 |     1249  13567 |        0 |        0
900.29/900.60	c  900s |      25 |  7302379 |  6969698 |     1249  13590 |        0 |        0
902.39/902.60	c  902s |      25 |  7318594 |  6985098 |     1249  13614 |        0 |        0
904.39/904.61	c  904s |      25 |  7334348 |  7000098 |     1249  13638 |        0 |        0
906.39/906.63	c  906s |      25 |  7350220 |  7014898 |     1249  13660 |        0 |        0
908.39/908.63	c  908s |      25 |  7365622 |  7029398 |     1249  13683 |        0 |        0
910.39/910.64	c  910s |      25 |  7381100 |  7044098 |     1249  13706 |        0 |        0
912.39/912.64	c  912s |      25 |  7396799 |  7058898 |     1249  13729 |        0 |        0
914.39/914.65	c  914s |      25 |  7412379 |  7073798 |     1249  13752 |        0 |        0
916.38/916.66	c  916s |      25 |  7427764 |  7088598 |     1249  13775 |        0 |        0
918.39/918.66	c  918s |      25 |  7443322 |  7103498 |     1249  13798 |        0 |        0
920.38/920.66	c  920s |      25 |  7459158 |  7118498 |     1249  13821 |        0 |        0
922.38/922.67	c  922s |      25 |  7475015 |  7133398 |     1249  13844 |        0 |        0
924.39/924.68	c  924s |      25 |  7490479 |  7148198 |     1249  13867 |        0 |        0
926.39/926.68	c  926s |      25 |  7506149 |  7163098 |     1249  13890 |        0 |        0
928.38/928.69	c  928s |      25 |  7521745 |  7177998 |     1249  13914 |        0 |        0
930.39/930.70	c  930s |      25 |  7537223 |  7192898 |     1249  13937 |        0 |        0
932.48/932.71	c  932s |      25 |  7552368 |  7207598 |     1249  13959 |        0 |        0
934.48/934.72	c  934s |      25 |  7567899 |  7222398 |     1249  13982 |        0 |        0
936.48/936.73	c  936s |      25 |  7583163 |  7237198 |     1249  14005 |        0 |        0
938.48/938.74	c  938s |      25 |  7598799 |  7251998 |     1249  14028 |        0 |        0
940.48/940.75	c  940s |      25 |  7614561 |  7267198 |     1249  14052 |        0 |        0
942.48/942.76	c  942s |      25 |  7630792 |  7282698 |     1249  14076 |        0 |        0
944.48/944.76	c  944s |      25 |  7646879 |  7298098 |     1249  14100 |        0 |        0
946.47/946.77	c  946s |      25 |  7662728 |  7313398 |     1249  14124 |        0 |        0
948.47/948.78	c  948s |      25 |  7678836 |  7328698 |     1249  14148 |        0 |        0
950.47/950.78	c  950s |      25 |  7694759 |  7343898 |     1249  14171 |        0 |        0
952.48/952.78	c  952s |      25 |  7710437 |  7358998 |     1249  14195 |        0 |        0
954.47/954.79	c  954s |      25 |  7726839 |  7374198 |     1249  14218 |        0 |        0
956.57/956.80	c  956s |      25 |  7742820 |  7389398 |     1249  14242 |        0 |        0
958.57/958.80	c  958s |      25 |  7759128 |  7404798 |     1249  14266 |        0 |        0
960.57/960.81	c  960s |      25 |  7775502 |  7420198 |     1249  14290 |        0 |        0
962.56/962.81	c  962s |      25 |  7791716 |  7435298 |     1249  14313 |        0 |        0
964.57/964.82	c  964s |      25 |  7808197 |  7450698 |     1249  14337 |        0 |        0
966.56/966.82	c  966s |      25 |  7824277 |  7465898 |     1249  14361 |        0 |        0
968.56/968.82	c  968s |      25 |  7840023 |  7481098 |     1249  14385 |        0 |        0
970.56/970.83	c  970s |      25 |  7855907 |  7496298 |     1249  14408 |        0 |        0
972.56/972.85	c  972s |      25 |  7871788 |  7511398 |     1249  14432 |        0 |        0
974.56/974.86	c  974s |      25 |  7887880 |  7526598 |     1249  14456 |        0 |        0
976.57/976.87	c  976s |      25 |  7904162 |  7541898 |     1249  14479 |        0 |        0
978.56/978.87	c  978s |      25 |  7919910 |  7556898 |     1374  14501 |        0 |        0
980.56/980.88	c  980s |      25 |  7935686 |  7571798 |     1374  14522 |        0 |        0
982.56/982.89	c  982s |      25 |  7951542 |  7586998 |     1374  14543 |        0 |        0
984.06/984.32	c  984s |      26 |  7962892 |  7597752 |     1374  14558 |        0 |        0
986.06/986.33	c  986s |      26 |  7978678 |  7612852 |     1374  14580 |        0 |        0
988.06/988.34	c  988s |      26 |  7994454 |  7627752 |     1374  14601 |        0 |        0
990.05/990.34	c  990s |      26 |  8009998 |  7642652 |     1374  14622 |        0 |        0
992.06/992.35	c  992s |      26 |  8025668 |  7657452 |     1374  14643 |        0 |        0
994.05/994.35	c  994s |      26 |  8041794 |  7672352 |     1374  14664 |        0 |        0
996.05/996.35	c  996s |      26 |  8057280 |  7687152 |     1374  14685 |        0 |        0
998.05/998.35	c  998s |      26 |  8072888 |  7702052 |     1374  14706 |        0 |        0
1000.05/1000.37	c 1000s |      26 |  8088572 |  7716952 |     1374  14727 |        0 |        0
1002.05/1002.37	c 1002s |      26 |  8104471 |  7731952 |     1374  14748 |        0 |        0
1004.05/1004.37	c 1004s |      26 |  8119985 |  7746952 |     1374  14769 |        0 |        0
1006.04/1006.38	c 1006s |      26 |  8135406 |  7761852 |     1374  14790 |        0 |        0
1008.04/1008.38	c 1008s |      26 |  8151134 |  7776652 |     1374  14811 |        0 |        0
1010.04/1010.39	c 1010s |      26 |  8166899 |  7791552 |     1374  14832 |        0 |        0
1012.14/1012.40	c 1012s |      26 |  8182282 |  7806452 |     1374  14853 |        0 |        0
1014.14/1014.41	c 1014s |      26 |  8197700 |  7821352 |     1374  14874 |        0 |        0
1016.14/1016.41	c 1016s |      26 |  8213005 |  7836252 |     1374  14895 |        0 |        0
1018.14/1018.42	c 1018s |      26 |  8228796 |  7851352 |     1374  14917 |        0 |        0
1020.14/1020.42	c 1020s |      26 |  8244512 |  7866352 |     1374  14938 |        0 |        0
1022.13/1022.43	c 1022s |      26 |  8260268 |  7881252 |     1374  14959 |        0 |        0
1024.13/1024.44	c 1024s |      26 |  8275799 |  7896052 |     1374  14980 |        0 |        0
1026.14/1026.46	c 1026s |      26 |  8291255 |  7910852 |     1374  15001 |        0 |        0
1028.13/1028.46	c 1028s |      26 |  8306706 |  7925752 |     1374  15022 |        0 |        0
1030.13/1030.46	c 1030s |      26 |  8321998 |  7940552 |     1374  15043 |        0 |        0
1032.13/1032.47	c 1032s |      26 |  8337898 |  7955452 |     1374  15064 |        0 |        0
1034.13/1034.48	c 1034s |      26 |  8353291 |  7970252 |     1374  15085 |        0 |        0
1036.13/1036.48	c 1036s |      26 |  8368779 |  7985052 |     1374  15105 |        0 |        0
1038.14/1038.50	c 1038s |      26 |  8384300 |  8000052 |     1374  15127 |        0 |        0
1040.23/1040.51	c 1040s |      26 |  8399877 |  8015052 |     1374  15148 |        0 |        0
1042.23/1042.51	c 1042s |      26 |  8415251 |  8029952 |     1374  15169 |        0 |        0
1044.23/1044.52	c 1044s |      26 |  8430871 |  8044952 |     1374  15190 |        0 |        0
1046.23/1046.53	c 1046s |      26 |  8446492 |  8059952 |     1374  15211 |        0 |        0
1048.23/1048.54	c 1048s |      26 |  8462085 |  8074952 |     1374  15233 |        0 |        0
1050.23/1050.55	c 1050s |      26 |  8478085 |  8090152 |     1374  15254 |        0 |        0
1052.23/1052.55	c 1052s |      26 |  8493850 |  8105052 |     1374  15275 |        0 |        0
1054.22/1054.55	c 1054s |      26 |  8509764 |  8120252 |     1374  15297 |        0 |        0
1056.22/1056.56	c 1056s |      26 |  8525573 |  8135452 |     1374  15318 |        0 |        0
1058.22/1058.57	c 1058s |      26 |  8541156 |  8150352 |     1374  15339 |        0 |        0
1060.23/1060.58	c 1060s |      26 |  8557026 |  8165552 |     1374  15360 |        0 |        0
1062.22/1062.59	c 1062s |      26 |  8572671 |  8180452 |     1374  15381 |        0 |        0
1064.32/1064.60	c 1064s |      26 |  8588432 |  8195452 |     1374  15403 |        0 |        0
1066.31/1066.61	c 1066s |      26 |  8603927 |  8210452 |     1374  15424 |        0 |        0
1068.31/1068.62	c 1068s |      26 |  8619490 |  8225552 |     1374  15445 |        0 |        0
1070.31/1070.63	c 1070s |      26 |  8635287 |  8240552 |     1374  15466 |        0 |        0
1072.32/1072.63	c 1072s |      26 |  8651021 |  8255752 |     1374  15488 |        0 |        0
1074.31/1074.64	c 1074s |      26 |  8666712 |  8270652 |     1374  15509 |        0 |        0
1076.31/1076.64	c 1076s |      26 |  8682592 |  8285652 |     1374  15530 |        0 |        0
1078.31/1078.64	c 1078s |      26 |  8698219 |  8300652 |     1374  15551 |        0 |        0
1080.31/1080.65	c 1080s |      26 |  8713928 |  8315752 |     1374  15573 |        0 |        0
1082.31/1082.66	c 1082s |      26 |  8729692 |  8330852 |     1374  15594 |        0 |        0
1084.31/1084.67	c 1084s |      26 |  8745686 |  8346052 |     1374  15616 |        0 |        0
1086.30/1086.67	c 1086s |      26 |  8761428 |  8360952 |     1374  15637 |        0 |        0
1088.30/1088.67	c 1088s |      26 |  8777477 |  8376152 |     1374  15658 |        0 |        0
1090.30/1090.68	c 1090s |      26 |  8793026 |  8391152 |     1374  15680 |        0 |        0
1092.30/1092.69	c 1092s |      26 |  8809129 |  8406352 |     1374  15701 |        0 |        0
1094.41/1094.70	c 1094s |      26 |  8824957 |  8421452 |     1374  15723 |        0 |        0
1096.41/1096.71	c 1096s |      26 |  8840638 |  8436352 |     1374  15744 |        0 |        0
1098.40/1098.72	c 1098s |      26 |  8856255 |  8451252 |     1374  15765 |        0 |        0
1100.40/1100.73	c 1100s |      26 |  8871872 |  8466252 |     1374  15786 |        0 |        0
1102.40/1102.73	c 1102s |      26 |  8887517 |  8481452 |     1374  15807 |        0 |        0
1104.40/1104.73	c 1104s |      26 |  8903294 |  8496752 |     1374  15829 |        0 |        0
1106.40/1106.74	c 1106s |      26 |  8919166 |  8512152 |     1374  15851 |        0 |        0
1108.39/1108.75	c 1108s |      26 |  8935195 |  8527652 |     1374  15873 |        0 |        0
1110.39/1110.75	c 1110s |      26 |  8950990 |  8542952 |     1374  15894 |        0 |        0
1112.39/1112.76	c 1112s |      26 |  8966712 |  8558052 |     1374  15916 |        0 |        0
1114.39/1114.77	c 1114s |      26 |  8982445 |  8573252 |     1374  15937 |        0 |        0
1116.39/1116.78	c 1116s |      26 |  8998072 |  8588352 |     1374  15959 |        0 |        0
1118.39/1118.79	c 1118s |      26 |  9013724 |  8603352 |     1374  15980 |        0 |        0
1120.48/1120.81	c 1120s |      26 |  9029823 |  8618752 |     1374  16002 |        0 |        0
1122.48/1122.82	c 1122s |      26 |  9045967 |  8634252 |     1374  16023 |        0 |        0
1124.48/1124.84	c 1124s |      26 |  9061848 |  8649452 |     1374  16045 |        0 |        0
1126.48/1126.84	c 1126s |      26 |  9077607 |  8664652 |     1374  16067 |        0 |        0
1128.48/1128.85	c 1128s |      26 |  9093275 |  8679752 |     1374  16088 |        0 |        0
1130.49/1130.85	c 1130s |      26 |  9109451 |  8695152 |     1374  16110 |        0 |        0
1132.48/1132.85	c 1132s |      26 |  9125523 |  8710452 |     1374  16131 |        0 |        0
1134.48/1134.86	c 1134s |      26 |  9141683 |  8725852 |     1374  16153 |        0 |        0
1136.48/1136.86	c 1136s |      26 |  9157283 |  8740852 |     1374  16174 |        0 |        0
1138.48/1138.87	c 1138s |      26 |  9172606 |  8755552 |     1374  16195 |        0 |        0
1140.49/1140.87	c 1140s |      26 |  9187972 |  8770352 |     1374  16216 |        0 |        0
1142.48/1142.87	c 1142s |      26 |  9203363 |  8785352 |     1374  16237 |        0 |        0
1144.48/1144.88	c 1144s |      26 |  9219015 |  8800452 |     1374  16259 |        0 |        0
1146.48/1146.89	c 1146s |      26 |  9234476 |  8815252 |     1374  16280 |        0 |        0
1148.48/1148.89	c 1148s |      26 |  9250300 |  8830452 |     1374  16301 |        0 |        0
1150.48/1150.90	c 1150s |      26 |  9266142 |  8845752 |     1374  16323 |        0 |        0
1152.48/1152.90	c 1152s |      26 |  9282445 |  8861152 |     1374  16345 |        0 |        0
1154.57/1154.91	c 1154s |      26 |  9298112 |  8876352 |     1374  16366 |        0 |        0
1156.57/1156.91	c 1156s |      26 |  9314051 |  8891652 |     1374  16388 |        0 |        0
1158.57/1158.92	c 1158s |      26 |  9329891 |  8906752 |     1374  16409 |        0 |        0
1160.57/1160.93	c 1160s |      26 |  9345904 |  8921952 |     1374  16431 |        0 |        0
1162.57/1162.93	c 1162s |      26 |  9361846 |  8937052 |     1374  16452 |        0 |        0
1164.57/1164.95	c 1164s |      26 |  9378091 |  8952352 |     1374  16474 |        0 |        0
1166.56/1166.96	c 1166s |      26 |  9394059 |  8967552 |     1374  16495 |        0 |        0
1168.56/1168.97	c 1168s |      26 |  9410068 |  8982752 |     1374  16517 |        0 |        0
1170.57/1170.98	c 1170s |      26 |  9425808 |  8998052 |     1374  16538 |        0 |        0
1172.57/1172.99	c 1172s |      26 |  9441634 |  9013152 |     1374  16560 |        0 |        0
1174.58/1174.99	c 1174s |      26 |  9457459 |  9028252 |     1374  16581 |        0 |        0
1176.56/1177.00	c 1176s |      26 |  9473140 |  9043152 |     1374  16602 |        0 |        0
1178.66/1179.00	c 1178s |      26 |  9488872 |  9058252 |     1374  16623 |        0 |        0
1180.66/1181.01	c 1180s |      26 |  9504449 |  9073252 |     1374  16645 |        0 |        0
1182.66/1183.01	c 1182s |      26 |  9520275 |  9088552 |     1374  16666 |        0 |        0
1184.66/1185.02	c 1185s |      26 |  9536180 |  9103752 |     1374  16688 |        0 |        0
1186.66/1187.03	c 1187s |      26 |  9552338 |  9118952 |     1374  16709 |        0 |        0
1188.66/1189.03	c 1189s |      26 |  9568165 |  9134152 |     1374  16731 |        0 |        0
1190.66/1191.05	c 1191s |      26 |  9584236 |  9149452 |     1374  16753 |        0 |        0
1192.66/1193.05	c 1193s |      26 |  9600127 |  9164552 |     1374  16774 |        0 |        0
1194.66/1195.06	c 1195s |      26 |  9616601 |  9179852 |     1374  16796 |        0 |        0
1196.65/1197.07	c 1197s |      26 |  9632912 |  9195252 |     1374  16817 |        0 |        0
1198.66/1199.07	c 1199s |      26 |  9648542 |  9210252 |     1374  16839 |        0 |        0
1200.65/1201.08	c 1201s |      26 |  9664323 |  9225552 |     1374  16860 |        0 |        0
1202.65/1203.08	c 1203s |      26 |  9680292 |  9240652 |     1374  16881 |        0 |        0
1204.65/1205.09	c 1205s |      26 |  9695962 |  9255552 |     1374  16902 |        0 |        0
1206.75/1207.10	c 1207s |      26 |  9711911 |  9270552 |     1374  16924 |        0 |        0
1208.75/1209.10	c 1209s |      26 |  9727497 |  9285452 |     1374  16945 |        0 |        0
1210.75/1211.11	c 1211s |      26 |  9743269 |  9300452 |     1374  16966 |        0 |        0
1212.75/1213.12	c 1213s |      26 |  9759213 |  9315452 |     1374  16987 |        0 |        0
1214.74/1215.13	c 1215s |      26 |  9775484 |  9330852 |     1374  17009 |        0 |        0
1216.74/1217.14	c 1217s |      26 |  9792015 |  9346352 |     1374  17031 |        0 |        0
1218.74/1219.14	c 1219s |      26 |  9808245 |  9361752 |     1374  17052 |        0 |        0
1220.75/1221.15	c 1221s |      26 |  9824956 |  9377052 |     1374  17074 |        0 |        0
1222.75/1223.16	c 1223s |      26 |  9840928 |  9392452 |     1374  17096 |        0 |        0
1224.75/1225.16	c 1225s |      26 |  9857094 |  9407752 |     1374  17118 |        0 |        0
1226.75/1227.17	c 1227s |      26 |  9872917 |  9422952 |     1374  17139 |        0 |        0
1228.75/1229.17	c 1229s |      26 |  9889196 |  9438352 |     1374  17161 |        0 |        0
1230.74/1231.18	c 1231s |      26 |  9905999 |  9453852 |     1374  17183 |        0 |        0
1232.75/1233.18	c 1233s |      26 |  9922379 |  9469252 |     1374  17204 |        0 |        0
1234.74/1235.18	c 1235s |      26 |  9938443 |  9484552 |     1374  17226 |        0 |        0
1236.74/1237.18	c 1237s |      26 |  9954682 |  9499852 |     1374  17248 |        0 |        0
1238.84/1239.20	c 1239s |      26 |  9971187 |  9515152 |     1374  17270 |        0 |        0
1240.84/1241.20	c 1241s |      26 |  9987359 |  9530552 |     1374  17291 |        0 |        0
1242.84/1243.21	c 1243s |      26 | 10003508 |  9545852 |     1374  17313 |        0 |        0
1244.84/1245.22	c 1245s |      26 | 10020100 |  9561652 |     1374  17335 |        0 |        0
1246.83/1247.22	c 1247s |      26 | 10036476 |  9577252 |     1374  17357 |        0 |        0
1248.83/1249.23	c 1249s |      26 | 10052851 |  9592752 |     1374  17379 |        0 |        0
1250.83/1251.24	c 1251s |      26 | 10069597 |  9608252 |     1374  17401 |        0 |        0
1252.83/1253.25	c 1253s |      26 | 10085803 |  9623652 |     1374  17423 |        0 |        0
1254.84/1255.26	c 1255s |      26 | 10101900 |  9639052 |     1374  17445 |        0 |        0
1256.82/1257.26	c 1257s |      26 | 10117886 |  9654252 |     1374  17467 |        0 |        0
1258.82/1259.27	c 1259s |      26 | 10134023 |  9669552 |     1374  17488 |        0 |        0
1260.82/1261.27	c 1261s |      26 | 10150558 |  9684952 |     1374  17510 |        0 |        0
1262.83/1263.28	c 1263s |      26 | 10166410 |  9700252 |     1374  17532 |        0 |        0
1264.83/1265.29	c 1265s |      26 | 10182517 |  9715652 |     1374  17553 |        0 |        0
1266.83/1267.29	c 1267s |      26 | 10198707 |  9730952 |     1374  17575 |        0 |        0
1268.93/1269.31	c 1269s |      26 | 10215220 |  9746552 |     1374  17597 |        0 |        0
1270.92/1271.31	c 1271s |      26 | 10231475 |  9761752 |     1374  17619 |        0 |        0
1272.92/1273.31	c 1273s |      26 | 10247431 |  9776652 |     1374  17640 |        0 |        0
1274.92/1275.31	c 1275s |      26 | 10263252 |  9791452 |     1374  17660 |        0 |        0
1276.91/1277.32	c 1277s |      26 | 10279239 |  9806452 |     1374  17682 |        0 |        0
1278.92/1279.32	c 1279s |      26 | 10295218 |  9821852 |     1374  17703 |        0 |        0
1280.91/1281.32	c 1281s |      26 | 10311239 |  9837152 |     1374  17725 |        0 |        0
1282.91/1283.33	c 1283s |      26 | 10327123 |  9852252 |     1374  17746 |        0 |        0
1284.91/1285.33	c 1285s |      26 | 10343035 |  9867452 |     1374  17768 |        0 |        0
1286.91/1287.34	c 1287s |      26 | 10358735 |  9882452 |     1374  17789 |        0 |        0
1288.91/1289.34	c 1289s |      26 | 10374766 |  9897752 |     1374  17811 |        0 |        0
1290.91/1291.35	c 1291s |      26 | 10390396 |  9912752 |     1374  17832 |        0 |        0
1292.90/1293.36	c 1293s |      26 | 10406271 |  9927952 |     1374  17853 |        0 |        0
1294.90/1295.38	c 1295s |      26 | 10422063 |  9942952 |     1374  17875 |        0 |        0
1296.90/1297.39	c 1297s |      26 | 10437837 |  9958052 |     1374  17896 |        0 |        0
1298.91/1299.39	c 1299s |      26 | 10454064 |  9973552 |     1374  17918 |        0 |        0
1300.92/1301.39	c 1301s |      26 | 10469977 |  9988952 |     1374  17940 |        0 |        0
1303.01/1303.41	c 1303s |      26 | 10486085 | 10004452 |     1374  17962 |        0 |        0
1305.00/1305.41	c 1305s |      26 | 10502015 | 10019852 |     1374  17983 |        0 |        0
1307.00/1307.42	c 1307s |      26 | 10517866 | 10035252 |     1374  18005 |        0 |        0
1309.00/1309.43	c 1309s |      26 | 10534250 | 10050852 |     1374  18027 |        0 |        0
1311.00/1311.43	c 1311s |      26 | 10550508 | 10066652 |     1374  18049 |        0 |        0
1313.01/1313.44	c 1313s |      26 | 10566627 | 10082152 |     1374  18072 |        0 |        0
1315.00/1315.44	c 1315s |      26 | 10583139 | 10097952 |     1374  18094 |        0 |        0
1316.99/1317.44	c 1317s |      26 | 10599374 | 10113652 |     1374  18116 |        0 |        0
1318.99/1319.45	c 1319s |      26 | 10615451 | 10129152 |     1374  18138 |        0 |        0
1320.99/1321.46	c 1321s |      26 | 10631793 | 10144852 |     1374  18160 |        0 |        0
1323.00/1323.46	c 1323s |      26 | 10647850 | 10160352 |     1374  18182 |        0 |        0
1324.99/1325.46	c 1325s |      26 | 10663692 | 10175652 |     1374  18204 |        0 |        0
1326.99/1327.47	c 1327s |      26 | 10679864 | 10190952 |     1374  18225 |        0 |        0
1328.99/1329.48	c 1329s |      26 | 10696569 | 10206852 |     1374  18248 |        0 |        0
1330.99/1331.48	c 1331s |      26 | 10712979 | 10222552 |     1374  18270 |        0 |        0
1332.99/1333.49	c 1333s |      26 | 10730447 | 10238452 |     1374  18293 |        0 |        0
1334.99/1335.49	c 1335s |      26 | 10747111 | 10254052 |     1374  18315 |        0 |        0
1337.08/1337.50	c 1337s |      26 | 10763126 | 10269252 |     1374  18336 |        0 |        0
1339.08/1339.50	c 1339s |      26 | 10778946 | 10284352 |     1374  18358 |        0 |        0
1341.08/1341.50	c 1341s |      26 | 10794657 | 10299352 |     1374  18379 |        0 |        0
1343.09/1343.51	c 1343s |      26 | 10810990 | 10314852 |     1374  18401 |        0 |        0
1345.09/1345.51	c 1345s |      26 | 10827474 | 10330352 |     1374  18423 |        0 |        0
1347.09/1347.52	c 1347s |      26 | 10843989 | 10346052 |     1374  18445 |        0 |        0
1349.08/1349.52	c 1349s |      26 | 10860003 | 10361552 |     1374  18467 |        0 |        0
1351.08/1351.53	c 1351s |      26 | 10875810 | 10376752 |     1374  18488 |        0 |        0
1353.08/1353.53	c 1353s |      26 | 10892082 | 10391952 |     1374  18510 |        0 |        0
1355.08/1355.54	c 1355s |      26 | 10908253 | 10407252 |     1374  18532 |        0 |        0
1357.09/1357.55	c 1357s |      26 | 10924361 | 10422552 |     1374  18553 |        0 |        0
1359.08/1359.55	c 1359s |      26 | 10940148 | 10437752 |     1374  18575 |        0 |        0
1361.08/1361.56	c 1361s |      26 | 10955839 | 10452852 |     1374  18596 |        0 |        0
1363.07/1363.57	c 1363s |      26 | 10972018 | 10468152 |     1374  18618 |        0 |        0
1365.07/1365.58	c 1365s |      26 | 10988368 | 10483552 |     1374  18640 |        0 |        0
1367.07/1367.58	c 1367s |      26 | 11004550 | 10499252 |     1374  18662 |        0 |        0
1369.08/1369.58	c 1369s |      26 | 11020664 | 10514752 |     1374  18684 |        0 |        0
1371.07/1371.58	c 1371s |      26 | 11036870 | 10530052 |     1374  18706 |        0 |        0
1373.07/1373.59	c 1373s |      26 | 11052905 | 10545552 |     1374  18728 |        0 |        0
1375.07/1375.60	c 1375s |      26 | 11069370 | 10561352 |     1374  18750 |        0 |        0
1377.18/1377.60	c 1377s |      26 | 11085654 | 10577052 |     1374  18772 |        0 |        0
1379.18/1379.61	c 1379s |      26 | 11101902 | 10592652 |     1374  18794 |        0 |        0
1381.18/1381.61	c 1381s |      26 | 11118179 | 10608052 |     1374  18816 |        0 |        0
1383.18/1383.61	c 1383s |      26 | 11134847 | 10623552 |     1374  18838 |        0 |        0
1385.18/1385.62	c 1385s |      26 | 11150987 | 10638852 |     1374  18860 |        0 |        0
1387.18/1387.62	c 1387s |      26 | 11167354 | 10654252 |     1374  18882 |        0 |        0
1389.17/1389.63	c 1389s |      26 | 11183739 | 10669752 |     1374  18904 |        0 |        0
1391.18/1391.64	c 1391s |      26 | 11200391 | 10685452 |     1374  18926 |        0 |        0
1393.17/1393.64	c 1393s |      26 | 11216736 | 10701052 |     1374  18948 |        0 |        0
1395.17/1395.65	c 1395s |      26 | 11233317 | 10716552 |     1374  18970 |        0 |        0
1397.17/1397.66	c 1397s |      26 | 11249899 | 10731952 |     1374  18992 |        0 |        0
1399.17/1399.67	c 1399s |      26 | 11266512 | 10747552 |     1374  19014 |        0 |        0
1401.17/1401.68	c 1401s |      26 | 11282764 | 10762952 |     1374  19036 |        0 |        0
1403.18/1403.69	c 1403s |      26 | 11299141 | 10778452 |     1374  19058 |        0 |        0
1405.17/1405.69	c 1405s |      26 | 11314809 | 10793452 |     1374  19079 |        0 |        0
1407.27/1407.70	c 1407s |      26 | 11331093 | 10809152 |     1374  19101 |        0 |        0
1409.27/1409.71	c 1409s |      26 | 11347547 | 10824452 |     1374  19123 |        0 |        0
1411.27/1411.71	c 1411s |      26 | 11363836 | 10839952 |     1374  19145 |        0 |        0
1413.27/1413.71	c 1413s |      26 | 11379831 | 10855252 |     1374  19167 |        0 |        0
1415.27/1415.73	c 1415s |      26 | 11396169 | 10870752 |     1374  19189 |        0 |        0
1417.27/1417.74	c 1417s |      26 | 11412708 | 10886352 |     1374  19211 |        0 |        0
1419.26/1419.74	c 1419s |      26 | 11428329 | 10901252 |     1374  19232 |        0 |        0
1421.27/1421.75	c 1421s |      26 | 11444405 | 10916452 |     1374  19253 |        0 |        0
1423.27/1423.75	c 1423s |      26 | 11460810 | 10931852 |     1374  19275 |        0 |        0
1425.28/1425.76	c 1425s |      26 | 11476740 | 10946952 |     1374  19297 |        0 |        0
1427.27/1427.77	c 1427s |      26 | 11492732 | 10962152 |     1374  19318 |        0 |        0
1429.27/1429.77	c 1429s |      26 | 11508479 | 10977052 |     1374  19339 |        0 |        0
1431.27/1431.77	c 1431s |      26 | 11524137 | 10992052 |     1374  19360 |        0 |        0
1433.27/1433.79	c 1433s |      26 | 11539930 | 11007152 |     1374  19381 |        0 |        0
1435.27/1435.79	c 1435s |      26 | 11555616 | 11022152 |     1374  19403 |        0 |        0
1437.27/1437.80	c 1437s |      26 | 11571327 | 11037252 |     1374  19424 |        0 |        0
1439.37/1439.80	c 1439s |      26 | 11587061 | 11052352 |     1374  19445 |        0 |        0
1441.37/1441.81	c 1441s |      26 | 11603017 | 11067452 |     1374  19466 |        0 |        0
1443.37/1443.82	c 1443s |      26 | 11618642 | 11082652 |     1374  19488 |        0 |        0
1445.36/1445.83	c 1445s |      26 | 11634404 | 11097752 |     1374  19509 |        0 |        0
1447.36/1447.83	c 1447s |      26 | 11650112 | 11112952 |     1374  19531 |        0 |        0
1449.37/1449.84	c 1449s |      26 | 11665797 | 11127952 |     1374  19552 |        0 |        0
1451.36/1451.85	c 1451s |      26 | 11681883 | 11143252 |     1374  19573 |        0 |        0
1453.36/1453.86	c 1453s |      26 | 11698040 | 11158352 |     1374  19595 |        0 |        0
1455.36/1455.87	c 1455s |      26 | 11713726 | 11173552 |     1374  19616 |        0 |        0
1457.36/1457.88	c 1457s |      26 | 11729679 | 11188852 |     1374  19638 |        0 |        0
1459.37/1459.89	c 1459s |      26 | 11746172 | 11204052 |     1374  19659 |        0 |        0
1461.36/1461.89	c 1461s |      26 | 11761932 | 11219152 |     1374  19681 |        0 |        0
1463.46/1463.90	c 1463s |      26 | 11777687 | 11234352 |     1374  19702 |        0 |        0
1465.46/1465.90	c 1465s |      26 | 11793382 | 11249452 |     1374  19723 |        0 |        0
1467.46/1467.91	c 1467s |      26 | 11809382 | 11264652 |     1374  19745 |        0 |        0
1469.47/1469.91	c 1469s |      26 | 11825276 | 11279952 |     1374  19766 |        0 |        0
1471.47/1471.92	c 1471s |      26 | 11841040 | 11295052 |     1374  19788 |        0 |        0
1473.46/1473.92	c 1473s |      26 | 11856641 | 11310252 |     1374  19809 |        0 |        0
1475.46/1475.93	c 1475s |      26 | 11872226 | 11325352 |     1512  19829 |        0 |        0
1477.46/1477.94	c 1477s |      26 | 11887745 | 11340452 |     1512  19848 |        0 |        0
1479.46/1479.95	c 1479s |      26 | 11903398 | 11355652 |     1512  19868 |        0 |        0
1481.46/1481.96	c 1481s |      26 | 11919279 | 11370952 |     1512  19888 |        0 |        0
1483.47/1483.96	c 1483s |      26 | 11934966 | 11385952 |     1512  19907 |        0 |        0
1484.96/1485.41	c 1485s |      27 | 11946267 | 11396733 |     1512  19921 |        0 |        0
1486.96/1487.42	c 1487s |      27 | 11962064 | 11411833 |     1512  19940 |        0 |        0
1488.96/1489.43	c 1489s |      27 | 11977840 | 11426933 |     1512  19960 |        0 |        0
1490.96/1491.45	c 1491s |      27 | 11993835 | 11441733 |     1512  19979 |        0 |        0
1492.96/1493.46	c 1493s |      27 | 12010543 | 11456933 |     1512  19998 |        0 |        0
1494.95/1495.47	c 1495s |      27 | 12026722 | 11472033 |     1512  20017 |        0 |        0
1496.95/1497.47	c 1497s |      27 | 12043066 | 11487133 |     1512  20037 |        0 |        0
1498.96/1499.47	c 1499s |      27 | 12059002 | 11502233 |     1512  20056 |        0 |        0
1500.95/1501.48	c 1501s |      27 | 12074853 | 11517233 |     1512  20075 |        0 |        0
1502.95/1503.49	c 1503s |      27 | 12090450 | 11532033 |     1512  20094 |        0 |        0
1504.95/1505.49	c 1505s |      27 | 12106530 | 11547233 |     1512  20114 |        0 |        0
1507.06/1507.51	c 1507s |      27 | 12122601 | 11562433 |     1512  20133 |        0 |        0
1509.06/1509.52	c 1509s |      27 | 12138441 | 11577433 |     1512  20153 |        0 |        0
1511.07/1511.53	c 1511s |      27 | 12154232 | 11592433 |     1512  20172 |        0 |        0
1513.06/1513.53	c 1513s |      27 | 12170009 | 11607133 |     1512  20191 |        0 |        0
1515.06/1515.54	c 1515s |      27 | 12185694 | 11622133 |     1512  20210 |        0 |        0
1517.06/1517.55	c 1517s |      27 | 12201154 | 11636833 |     1512  20229 |        0 |        0
1519.05/1519.55	c 1519s |      27 | 12217143 | 11651733 |     1512  20248 |        0 |        0
1521.05/1521.57	c 1521s |      27 | 12233187 | 11666333 |     1512  20267 |        0 |        0
1523.06/1523.57	c 1523s |      27 | 12249172 | 11681433 |     1512  20286 |        0 |        0
1525.05/1525.58	c 1525s |      27 | 12264736 | 11696333 |     1512  20305 |        0 |        0
1527.05/1527.58	c 1527s |      27 | 12280748 | 11711533 |     1512  20325 |        0 |        0
1529.05/1529.58	c 1529s |      27 | 12297088 | 11726533 |     1512  20344 |        0 |        0
1531.05/1531.59	c 1531s |      27 | 12312833 | 11741333 |     1512  20363 |        0 |        0
1533.06/1533.59	c 1533s |      27 | 12328303 | 11755833 |     1512  20382 |        0 |        0
1535.05/1535.59	c 1535s |      27 | 12344029 | 11770833 |     1512  20401 |        0 |        0
1537.15/1537.60	c 1537s |      27 | 12359717 | 11785833 |     1512  20420 |        0 |        0
1539.15/1539.60	c 1539s |      27 | 12375292 | 11800633 |     1512  20439 |        0 |        0
1541.15/1541.61	c 1541s |      27 | 12391207 | 11815633 |     1512  20459 |        0 |        0
1543.15/1543.61	c 1543s |      27 | 12407035 | 11830733 |     1512  20478 |        0 |        0
1545.15/1545.62	c 1545s |      27 | 12423282 | 11846033 |     1512  20498 |        0 |        0
1547.15/1547.63	c 1547s |      27 | 12439448 | 11861333 |     1512  20517 |        0 |        0
1549.15/1549.63	c 1549s |      27 | 12455415 | 11876433 |     1512  20537 |        0 |        0
1551.15/1551.64	c 1551s |      27 | 12471774 | 11891633 |     1512  20556 |        0 |        0
1553.15/1553.65	c 1553s |      27 | 12487976 | 11906933 |     1512  20576 |        0 |        0
1555.15/1555.66	c 1555s |      27 | 12504415 | 11922233 |     1512  20596 |        0 |        0
1557.16/1557.67	c 1557s |      27 | 12520677 | 11937633 |     1512  20615 |        0 |        0
1559.15/1559.67	c 1559s |      27 | 12536756 | 11952833 |     1512  20635 |        0 |        0
1561.15/1561.68	c 1561s |      27 | 12553008 | 11968133 |     1512  20655 |        0 |        0
1563.15/1563.69	c 1563s |      27 | 12569057 | 11983333 |     1512  20674 |        0 |        0
1565.25/1565.70	c 1565s |      27 | 12585037 | 11998333 |     1512  20693 |        0 |        0
1567.25/1567.71	c 1567s |      27 | 12600864 | 12013433 |     1512  20713 |        0 |        0
1569.25/1569.71	c 1569s |      27 | 12617310 | 12028633 |     1512  20732 |        0 |        0
1571.25/1571.72	c 1571s |      27 | 12633363 | 12043833 |     1512  20752 |        0 |        0
1573.25/1573.73	c 1573s |      27 | 12649661 | 12059033 |     1512  20771 |        0 |        0
1575.25/1575.73	c 1575s |      27 | 12666104 | 12074333 |     1512  20791 |        0 |        0
1577.25/1577.74	c 1577s |      27 | 12682997 | 12089833 |     1512  20811 |        0 |        0
1579.25/1579.75	c 1579s |      27 | 12699293 | 12105033 |     1512  20830 |        0 |        0
1581.24/1581.76	c 1581s |      27 | 12715536 | 12120433 |     1512  20850 |        0 |        0
1583.24/1583.76	c 1583s |      27 | 12731150 | 12135333 |     1512  20869 |        0 |        0
1585.24/1585.78	c 1585s |      27 | 12746846 | 12150333 |     1512  20889 |        0 |        0
1587.24/1587.78	c 1587s |      27 | 12762980 | 12165633 |     1512  20908 |        0 |        0
1589.24/1589.79	c 1589s |      27 | 12778899 | 12180833 |     1512  20928 |        0 |        0
1591.25/1591.80	c 1591s |      27 | 12795222 | 12196133 |     1512  20947 |        0 |        0
1593.34/1593.80	c 1593s |      27 | 12811255 | 12211133 |     1512  20967 |        0 |        0
1595.34/1595.80	c 1595s |      27 | 12827458 | 12226233 |     1512  20986 |        0 |        0
1597.34/1597.81	c 1597s |      27 | 12843562 | 12241433 |     1512  21006 |        0 |        0
1599.34/1599.82	c 1599s |      27 | 12859690 | 12256733 |     1512  21025 |        0 |        0
1601.34/1601.82	c 1601s |      27 | 12875706 | 12272133 |     1512  21045 |        0 |        0
1603.35/1603.83	c 1603s |      27 | 12891696 | 12287333 |     1512  21065 |        0 |        0
1605.34/1605.84	c 1605s |      27 | 12907491 | 12302033 |     1512  21083 |        0 |        0
1607.34/1607.85	c 1607s |      27 | 12923359 | 12317033 |     1512  21103 |        0 |        0
1609.34/1609.86	c 1609s |      27 | 12939149 | 12331833 |     1512  21122 |        0 |        0
1611.34/1611.87	c 1611s |      27 | 12954924 | 12346833 |     1512  21141 |        0 |        0
1613.34/1613.88	c 1613s |      27 | 12970755 | 12361933 |     1512  21160 |        0 |        0
1615.33/1615.88	c 1615s |      27 | 12986539 | 12377233 |     1512  21180 |        0 |        0
1617.34/1617.88	c 1617s |      27 | 13002400 | 12392433 |     1512  21200 |        0 |        0
1619.34/1619.89	c 1619s |      27 | 13018194 | 12407733 |     1512  21219 |        0 |        0
1621.34/1621.89	c 1621s |      27 | 13034241 | 12422933 |     1512  21239 |        0 |        0
1623.34/1623.90	c 1623s |      27 | 13050191 | 12438133 |     1512  21258 |        0 |        0
1625.45/1625.91	c 1625s |      27 | 13066131 | 12453133 |     1512  21278 |        0 |        0
1627.44/1627.92	c 1627s |      27 | 13081918 | 12468133 |     1512  21297 |        0 |        0
1629.44/1629.93	c 1629s |      27 | 13097955 | 12483633 |     1512  21317 |        0 |        0
1631.44/1631.93	c 1631s |      27 | 13113954 | 12498933 |     1512  21337 |        0 |        0
1633.44/1633.93	c 1633s |      27 | 13129662 | 12514133 |     1512  21356 |        0 |        0
1635.44/1635.94	c 1635s |      27 | 13145684 | 12529233 |     1512  21376 |        0 |        0
1637.44/1637.95	c 1637s |      27 | 13161713 | 12544633 |     1512  21395 |        0 |        0
1639.44/1639.95	c 1639s |      27 | 13177662 | 12559933 |     1512  21415 |        0 |        0
1641.44/1641.95	c 1641s |      27 | 13193470 | 12575133 |     1512  21435 |        0 |        0
1643.44/1643.96	c 1643s |      27 | 13209126 | 12590033 |     1512  21454 |        0 |        0
1645.43/1645.96	c 1645s |      27 | 13224919 | 12605233 |     1512  21473 |        0 |        0
1647.44/1647.96	c 1647s |      27 | 13240931 | 12620433 |     1512  21493 |        0 |        0
1649.43/1649.97	c 1649s |      27 | 13256844 | 12635433 |     1512  21512 |        0 |        0
1651.43/1651.98	c 1651s |      27 | 13272629 | 12650533 |     1512  21532 |        0 |        0
1653.43/1653.98	c 1653s |      27 | 13288356 | 12665433 |     1512  21551 |        0 |        0
1655.43/1655.99	c 1655s |      27 | 13304426 | 12680833 |     1512  21570 |        0 |        0
1657.53/1658.00	c 1657s |      27 | 13320414 | 12695933 |     1512  21590 |        0 |        0
1659.54/1660.00	c 1659s |      27 | 13336166 | 12710933 |     1512  21609 |        0 |        0
1661.53/1662.01	c 1661s |      27 | 13352319 | 12726333 |     1512  21629 |        0 |        0
1663.53/1664.02	c 1664s |      27 | 13368526 | 12741633 |     1512  21648 |        0 |        0
1665.53/1666.03	c 1666s |      27 | 13385062 | 12756733 |     1512  21668 |        0 |        0
1667.53/1668.03	c 1668s |      27 | 13401719 | 12772233 |     1512  21688 |        0 |        0
1669.53/1670.04	c 1670s |      27 | 13418788 | 12787633 |     1512  21707 |        0 |        0
1671.53/1672.05	c 1672s |      27 | 13435430 | 12802933 |     1512  21727 |        0 |        0
1673.53/1674.06	c 1674s |      27 | 13451592 | 12818133 |     1512  21747 |        0 |        0
1675.53/1676.08	c 1676s |      27 | 13468335 | 12833733 |     1512  21767 |        0 |        0
1677.53/1678.08	c 1678s |      27 | 13485622 | 12849433 |     1512  21787 |        0 |        0
1679.52/1680.09	c 1680s |      27 | 13501629 | 12864633 |     1512  21806 |        0 |        0
1681.62/1682.10	c 1682s |      27 | 13517885 | 12879933 |     1512  21826 |        0 |        0
1683.53/1684.10	c 1684s |      27 | 13534191 | 12895233 |     1512  21846 |        0 |        0
1685.63/1686.11	c 1686s |      27 | 13550710 | 12910833 |     1512  21866 |        0 |        0
1687.63/1688.12	c 1688s |      27 | 13567497 | 12926633 |     1512  21886 |        0 |        0
1689.63/1690.12	c 1690s |      27 | 13583734 | 12942133 |     1512  21906 |        0 |        0
1691.63/1692.13	c 1692s |      27 | 13600158 | 12957433 |     1512  21926 |        0 |        0
1693.64/1694.13	c 1694s |      27 | 13616573 | 12972733 |     1512  21945 |        0 |        0
1695.63/1696.14	c 1696s |      27 | 13632569 | 12988033 |     1512  21965 |        0 |        0
1697.63/1698.15	c 1698s |      27 | 13648861 | 13003533 |     1512  21985 |        0 |        0
1699.63/1700.16	c 1700s |      27 | 13664777 | 13018633 |     1512  22004 |        0 |        0
1701.63/1702.17	c 1702s |      27 | 13680630 | 13033733 |     1512  22024 |        0 |        0
1703.62/1704.19	c 1704s |      27 | 13696991 | 13049133 |     1512  22044 |        0 |        0
1705.63/1706.19	c 1706s |      27 | 13712918 | 13064133 |     1512  22063 |        0 |        0
1707.72/1708.20	c 1708s |      27 | 13728594 | 13079033 |     1512  22082 |        0 |        0
1709.72/1710.22	c 1710s |      27 | 13744838 | 13094233 |     1512  22102 |        0 |        0
1711.72/1712.23	c 1712s |      27 | 13761111 | 13109433 |     1512  22121 |        0 |        0
1713.72/1714.23	c 1714s |      27 | 13777151 | 13124733 |     1512  22141 |        0 |        0
1715.73/1716.25	c 1716s |      27 | 13793089 | 13139933 |     1512  22160 |        0 |        0
1717.73/1718.25	c 1718s |      27 | 13808904 | 13154933 |     1512  22180 |        0 |        0
1719.73/1720.27	c 1720s |      27 | 13825120 | 13170133 |     1512  22199 |        0 |        0
1721.73/1722.27	c 1722s |      27 | 13840932 | 13185233 |     1512  22219 |        0 |        0
1723.73/1724.28	c 1724s |      27 | 13856994 | 13200633 |     1512  22238 |        0 |        0
1725.73/1726.29	c 1726s |      27 | 13873114 | 13215833 |     1512  22258 |        0 |        0
1727.83/1728.30	c 1728s |      27 | 13889129 | 13231033 |     1512  22278 |        0 |        0
1729.83/1730.30	c 1730s |      27 | 13905066 | 13246033 |     1512  22297 |        0 |        0
1731.82/1732.31	c 1732s |      27 | 13921369 | 13261533 |     1512  22317 |        0 |        0
1733.82/1734.32	c 1734s |      27 | 13937516 | 13276933 |     1512  22337 |        0 |        0
1735.82/1736.32	c 1736s |      27 | 13953676 | 13292233 |     1512  22357 |        0 |        0
1737.82/1738.33	c 1738s |      27 | 13970149 | 13307533 |     1512  22376 |        0 |        0
1739.83/1740.33	c 1740s |      27 | 13986113 | 13322433 |     1512  22395 |        0 |        0
1741.82/1742.34	c 1742s |      27 | 14003091 | 13337833 |     1512  22415 |        0 |        0
1743.82/1744.34	c 1744s |      27 | 14019155 | 13352833 |     1512  22434 |        0 |        0
1745.82/1746.35	c 1746s |      27 | 14035224 | 13368133 |     1512  22454 |        0 |        0
1747.82/1748.35	c 1748s |      27 | 14051209 | 13383133 |     1512  22473 |        0 |        0
1749.82/1750.36	c 1750s |      27 | 14067284 | 13398033 |     1512  22492 |        0 |        0
1751.82/1752.36	c 1752s |      27 | 14082972 | 13412933 |     1512  22511 |        0 |        0
1753.82/1754.36	c 1754s |      27 | 14098719 | 13427933 |     1512  22531 |        0 |        0
1755.82/1756.37	c 1756s |      27 | 14114253 | 13442733 |     1512  22549 |        0 |        0
1757.82/1758.37	c 1758s |      27 | 14129902 | 13457333 |     1512  22568 |        0 |        0
1759.82/1760.37	c 1760s |      27 | 14145854 | 13472333 |     1512  22587 |        0 |        0
1761.82/1762.39	c 1762s |      27 | 14161924 | 13487233 |     1512  22607 |        0 |        0
1763.81/1764.39	c 1764s |      27 | 14177846 | 13502033 |     1512  22626 |        0 |        0
1765.91/1766.40	c 1766s |      27 | 14194552 | 13517333 |     1512  22645 |        0 |        0
1767.91/1768.41	c 1768s |      27 | 14210927 | 13532733 |     1512  22665 |        0 |        0
1769.92/1770.41	c 1770s |      27 | 14227157 | 13547933 |     1512  22685 |        0 |        0
1771.92/1772.42	c 1772s |      27 | 14243574 | 13563633 |     1512  22705 |        0 |        0
1773.92/1774.42	c 1774s |      27 | 14259563 | 13578633 |     1512  22724 |        0 |        0
1775.92/1776.43	c 1776s |      27 | 14275675 | 13593833 |     1512  22744 |        0 |        0
1777.92/1778.44	c 1778s |      27 | 14291297 | 13608633 |     1512  22763 |        0 |        0
1779.92/1780.44	c 1780s |      27 | 14307708 | 13623933 |     1512  22782 |        0 |        0
1781.92/1782.44	c 1782s |      27 | 14324081 | 13639133 |     1512  22802 |        0 |        0
1783.91/1784.45	c 1784s |      27 | 14340584 | 13654333 |     1512  22821 |        0 |        0
1785.92/1786.46	c 1786s |      27 | 14356597 | 13669533 |     1512  22841 |        0 |        0
1787.91/1788.46	c 1788s |      27 | 14372572 | 13684633 |     1512  22860 |        0 |        0
1789.91/1790.47	c 1790s |      27 | 14388698 | 13699633 |     1512  22880 |        0 |        0
1791.91/1792.48	c 1792s |      27 | 14404859 | 13714833 |     1512  22899 |        0 |        0
1793.91/1794.48	c 1794s |      27 | 14421321 | 13730233 |     1512  22919 |        0 |        0
1795.92/1796.49	c 1796s |      27 | 14437917 | 13745833 |     1512  22939 |        0 |        0
1797.91/1798.49	c 1798s |      27 | 14454959 | 13761333 |     1512  22959 |        0 |        0
1799.91/1800.49	c 1800s |      27 | 14471838 | 13776733 |     1512  22979 |        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-4089568-1466029112/watcher-4089568-1466029112 -o /tmp/evaluation-result-4089568-1466029112/solver-4089568-1466029112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089568-1466029112.opb 

pid=11206
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.34 2.30 2.27 4/181 11209
/proc/meminfo: memFree=29309568/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=657988 CPUtime=0 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 2444 0 0 0 0 0 0 0 20 0 4 0 4957642 673779712 2805 33554432000 4194304 16246674 140736856702160 140736856701584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 165009 2815 442 2943 0 161903 0
[pid=11209/tid=11210] ppid=11206 vsize=676420 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 692654080 2878 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=680516 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 696848384 2895 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=685636 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 702091264 2912 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.34 2.30 2.27 4/181 11209
/proc/meminfo: memFree=29309568/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 28913 0 0 0 5 3 0 0 20 0 4 0 4957642 1247350784 29263 33554432000 4194304 16246674 140736856702160 140736856701584 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 304529 29276 712 2943 0 301423 0
[pid=11209/tid=11210] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 29285 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 29294 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 29299 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.34 2.30 2.27 4/181 11209
/proc/meminfo: memFree=29309568/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 57603 0 0 0 12 7 0 0 20 0 4 0 4957642 1247350784 57954 33554432000 4194304 16246674 140736856702160 140736856701584 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 304529 57972 713 2943 0 301423 0
[pid=11209/tid=11210] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 57984 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 57995 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 58005 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300458 s]
/proc/loadavg: 2.34 2.30 2.27 4/181 11209
/proc/meminfo: memFree=29309568/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 86486 0 0 0 18 11 0 0 20 0 4 0 4957642 1247350784 86836 33554432000 4194304 16246674 140736856702160 140736856684032 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 304529 86852 713 2943 0 301423 0
[pid=11209/tid=11210] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 86857 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 86866 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 86877 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70046 s]
/proc/loadavg: 2.34 2.30 2.27 4/181 11209
/proc/meminfo: memFree=29309568/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 202204 0 0 0 44 25 0 0 20 0 4 0 4957642 1247350784 202554 33554432000 4194304 16246674 140736856702160 140736856684032 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 304529 202572 713 2943 0 301423 0
[pid=11209/tid=11210] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 202580 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 202587 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1247350784 202598 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50046 s]
/proc/loadavg: 2.34 2.30 2.27 4/185 11213
/proc/meminfo: memFree=28327392/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267264 0 0 0 115 34 0 0 20 0 4 0 4957642 1336479744 267594 33554432000 4194304 16246674 140736856702160 140736856685160 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326289 267594 790 2943 0 323183 0
[pid=11209/tid=11210] ppid=11206 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1336479744 267594 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1336479744 267594 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1336479744 267594 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.34 2.30 2.27 3/185 11213
/proc/meminfo: memFree=28239840/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267445 0 0 0 275 34 0 0 20 0 4 0 4957642 1337528320 267775 33554432000 4194304 16246674 140736856702160 140736856685160 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326545 267775 790 2943 0 323439 0
[pid=11209/tid=11210] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267775 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267775 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267775 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30046 s]
/proc/loadavg: 2.31 2.29 2.27 3/185 11213
/proc/meminfo: memFree=28239060/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267448 0 0 0 593 35 0 0 20 0 4 0 4957642 1337528320 267778 33554432000 4194304 16246674 140736856702160 140736856684032 6836029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326545 267778 792 2943 0 323439 0
[pid=11209/tid=11210] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267778 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267778 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267778 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.29 2.29 2.27 3/185 11213
/proc/meminfo: memFree=28238588/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267464 0 0 0 1233 35 0 0 20 0 4 0 4957642 1337528320 267794 33554432000 4194304 16246674 140736856702160 140736856685160 5572251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326545 267794 792 2943 0 323439 0
[pid=11209/tid=11210] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267794 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267794 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1337528320 267794 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.22 2.27 2.26 3/185 11213
/proc/meminfo: memFree=28237460/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1307204 CPUtime=25.47 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267643 0 0 0 2512 35 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140736856685160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326801 267973 792 2943 0 323695 0
[pid=11209/tid=11210] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.39 2.31 2.27 3/185 11213
/proc/meminfo: memFree=28237308/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1307204 CPUtime=51.07 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267643 0 0 0 5072 35 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140736856684032 6022005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326801 267973 792 2943 0 323695 0
[pid=11209/tid=11210] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 267973 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.40 2.32 2.28 3/186 11217
/proc/meminfo: memFree=28236480/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 267688 0 0 0 10190 37 0 0 20 0 4 0 4957642 1338576896 268018 33554432000 4194304 16246674 140736856702160 140736856684032 5840044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 326801 268018 792 2943 0 323695 0
[pid=11209/tid=11210] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 268018 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 268018 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1338576896 268018 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.24 3/185 11248
/proc/meminfo: memFree=28223252/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1312324 CPUtime=1361.88 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269524 0 0 0 136124 64 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140736856684032 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328081 269698 794 2943 0 324975 0
[pid=11209/tid=11210] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.24 3/185 11250
/proc/meminfo: memFree=28223472/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1312324 CPUtime=1421.88 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269524 0 0 0 142122 66 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140736856684032 4220815 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328081 269698 794 2943 0 324975 0
[pid=11209/tid=11210] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.33 2.27 2.25 4/185 11251
/proc/meminfo: memFree=28223580/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1312324 CPUtime=1481.86 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269524 0 0 0 148119 67 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140736856684032 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328081 269698 794 2943 0 324975 0
[pid=11209/tid=11210] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.24 2/177 11260
/proc/meminfo: memFree=29301680/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1312324 CPUtime=1541.85 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269524 0 0 0 154117 68 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140736856685160 5706971 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328081 269698 794 2943 0 324975 0
[pid=11209/tid=11210] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.20 2.23 2.23 3/185 11301
/proc/meminfo: memFree=28231884/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1312324 CPUtime=1601.84 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269524 0 0 0 160115 69 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140736856685160 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328081 269698 794 2943 0 324975 0
[pid=11209/tid=11210] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1343819776 269698 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.23 3/185 11302
/proc/meminfo: memFree=28230704/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1313348 CPUtime=1661.83 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269669 0 0 0 166113 70 0 0 20 0 4 0 4957642 1344868352 269843 33554432000 4194304 16246674 140736856702160 140736856684032 12875603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328337 269843 794 2943 0 325231 0
[pid=11209/tid=11210] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269843 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269843 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269843 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.23 3/185 11304
/proc/meminfo: memFree=28229772/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1313348 CPUtime=1721.83 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269780 0 0 0 172111 72 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140736856684032 13949889 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328337 269954 794 2943 0 325231 0
[pid=11209/tid=11210] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.12 2.19 2.21 4/185 11305
/proc/meminfo: memFree=28228268/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1313348 CPUtime=1781.82 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269780 0 0 0 178109 73 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140736856684032 7249798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328337 269954 794 2943 0 325231 0
[pid=11209/tid=11210] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.22 2.21 2.22 3/185 11306
/proc/meminfo: memFree=28228492/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1313348 CPUtime=1800.01 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269780 0 0 0 179928 73 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140736856685160 12875409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328337 269954 794 2943 0 325231 0
[pid=11209/tid=11210] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.22 2.21 2.22 3/185 11306
/proc/meminfo: memFree=28228492/32872528 swapFree=1481856/1661728
[pid=11209] ppid=11206 vsize=1313348 CPUtime=1800.01 cores=1,3,5,7
/proc/11209/stat : 11209 (toysat) R 11206 11209 6232 0 -1 4202496 269780 0 0 0 179928 73 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140736856685160 12875409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 328337 269954 794 2943 0 325231 0
[pid=11209/tid=11210] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11210/stat : 11210 (toysat) S 11206 11209 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548162694384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11209/tid=11211] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11211/stat : 11211 (toysat) S 11206 11209 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548152204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11209/tid=11212] ppid=11206 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11209/task/11212/stat : 11212 (toysat) S 11206 11209 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4957642 1344868352 269954 33554432000 4194304 16246674 140736856702160 140548040027312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.29
CPU system time (s): 0.735888
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.735888
maximum resident set size= 1079816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269780
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= 429
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43133 second user time and 7.43787 second system time

The end

Begin job on node134 at 2016-06-16 00:18:32
IDJOB=4089568
IDBENCH=107425
IDSOLVER=2542
FILE ID=node134/4089568-1466029112
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 84cfce3c652ea609a7874d3075f6c817
RANDOM SEED=1302449829

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29310104 kB
Buffers:           27908 kB
Cached:            80728 kB
SwapCached:        17352 kB
Active:          1140880 kB
Inactive:          58580 kB
Active(anon):    1075048 kB
Inactive(anon):    18004 kB
Active(file):      65832 kB
Inactive(file):    40576 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2823628 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             567088 kB
SReclaimable:      11288 kB
SUnreclaim:       555800 kB
KernelStack:        1536 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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= 71704 MiB
End job on node134 at 2016-06-16 00:48:33