0.00/0.00	c 2016-06-16T01:43:16+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-4089806-1466034195.opb"]
0.00/0.01	c use --random-gen="674594621 1675235935 2995459294 1380602667 740083774 3211757559 622668680 1268528802 1508306269 444768395 3508206618 1253146792 2958788140 3225925580 1352237281 3628496928 2114097170 3639263865 3350351341 577342876 1979162718 2764560456 2874582176 349684149 3060848589 385010817 2246276468 1798367993 3264401014 1231797579 1238183167 3650967302 3581596530 2174839159 3927727564 584318857 4064852397 2780762872 3059105721 3313441538 3874974186 48541930 3441706865 3627152253 73751791 793204674 877491554 189236167 2786269805 1248890634 3708503790 3045192204 2347445014 3365930717 4266648062 469022621 4100312159 1072314462 296578151 2574171714 50392733 3434094451 789911489 1633833893 1202132880 1764292843 4177162059 3420441785 3724364959 3607609670 10627524 274572099 3616443109 3120998420 4032621155 1485011366 1604472032 2566670133 4092154898 1805776257 471000236 4093123725 1629046857 3464831245 2409360822 4210520998 639405156 780665503 4176386841 1801545852 3780960622 3977307644 2153720088 3970132394 1712387421 1118831692 3802534413 424806307 3540448684 2684116264 298151257 941600378 2418511645 1097550533 811140377 1150047886 837898410 1516634707 888466406 1000855695 4223967296 3509594168 2062434628 2804491487 1736821010 2339263555 2758191582 3400444324 3400914905 1314149239 1698194072 777084458 3414572861 1416564987 1802127229 2432408251 2002434068 1065248129 4002445213 3483497637 1810532864 772892704 218274501 3143435004 429306179 2912884604 3977905845 2296346343 3717133742 3939257740 778897383 1274069616 133198636 181039297 4132549595 1756728789 128100806 3715562187 1185783966 1762016750 3532373267 2711505437 615096292 4018764120 1405047019 2632191678 3126524297 2543626973 1717873524 2978663355 1536142145 646624967 2563174701 2568881652 1670970420 2311506060 2112146979 3688060401 3183719512 760174858 1448007941 3595345408 930854520 1782567162 2714627319 3846096795 2853710873 3987923200 2116977939 2653264557 1816665955 2762470343 3500959416 769618595 2959756195 1127082512 2720102119 4075711674 2301806746 3505649630 3353626065 138301854 363438936 466823359 2134908430 1741358759 614099779 1837814603 3394330593 1100024292 1446127574 161462126 1374464031 829669097 4225450386 3988616061 1580444783 1857199852 2588745913 426450324 1323756999 1303178440 2972285939 520141017 3221869608 1803673484 202340774 1536340349 3051577609 2350670568 2640577054 798188503 2684864472 845601354 1145825116 2392525667 3270879167 1484205416 3201208776 2072927939 1741511509 3949558988 3997754367 2219792502 236592258 502776403 1669850540 4286940683 2914758576 1730218015 3033209636 2348416902 4242160989 3356185424 1741949639 3377838377 776707463 4025941891 3517784205 183701286 705860996 2768123056 2314668572 2787723791 3213948714 39201257 255 362436" option to reproduce the execution
0.00/0.01	c #vars 273
0.00/0.01	c #constraints 91
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 |      151      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      167 |      100 |      151      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      445 |      250 |      167      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      851 |      475 |      184      1 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1449 |      813 |      203      3 |        0 |        0
0.19/0.22	c  0.2s |       5 |     2196 |     1320 |      224      5 |        0 |        0
0.28/0.37	c  0.4s |       6 |     3208 |     2081 |      272      9 |        0 |        0
0.59/0.60	c  0.6s |       7 |     4649 |     3223 |      300     14 |        0 |        0
0.89/0.97	c  1.0s |       8 |     6724 |     4936 |      330     21 |        0 |        0
1.29/1.39	c  1.4s |       9 |     9857 |     7506 |      364     30 |        0 |        0
1.99/2.06	c  2.0s |      10 |    14362 |    11361 |      401     44 |        0 |        0
2.99/3.06	c  3.0s |      11 |    21012 |    17144 |      442     63 |        0 |        0
4.49/4.54	c  4.5s |      12 |    30692 |    25819 |      487     90 |        0 |        0
6.49/6.55	c  6.5s |      12 |    44537 |    37119 |      487    124 |        0 |        0
6.79/6.87	c  6.9s |      13 |    46538 |    38832 |      536    129 |        0 |        0
8.79/8.87	c  8.9s |      13 |    60471 |    51032 |      536    162 |        0 |        0
10.08/10.19	c 10.2s |      14 |    68400 |    58352 |      590    182 |        0 |        0
12.19/12.21	c 12.2s |      14 |    80941 |    69452 |      590    210 |        0 |        0
14.18/14.23	c 14.2s |      14 |    92881 |    80152 |      590    238 |        0 |        0
15.58/15.67	c 15.7s |      15 |   101039 |    87632 |      649    256 |        0 |        0
17.59/17.68	c 17.7s |      15 |   114806 |    99532 |      649    284 |        0 |        0
19.58/19.70	c 19.7s |      15 |   127067 |   110532 |      649    310 |        0 |        0
21.68/21.71	c 21.7s |      15 |   138922 |   121232 |      649    336 |        0 |        0
23.58/23.60	c 23.6s |      16 |   150439 |   131552 |      714    360 |        0 |        0
25.59/25.62	c 25.6s |      16 |   163124 |   142352 |      714    384 |        0 |        0
27.60/27.64	c 27.6s |      16 |   175629 |   153052 |      714    407 |        0 |        0
29.59/29.65	c 29.6s |      16 |   188084 |   163952 |      714    432 |        0 |        0
31.59/31.67	c 31.7s |      16 |   200113 |   174552 |      714    455 |        0 |        0
33.58/33.67	c 33.7s |      16 |   211831 |   184752 |      714    478 |        0 |        0
35.58/35.67	c 35.7s |      16 |   222786 |   194452 |      714    499 |        0 |        0
36.18/36.25	c 36.2s |      17 |   226269 |   197432 |      786    506 |        0 |        0
38.18/38.26	c 38.2s |      17 |   238507 |   208332 |      786    528 |        0 |        0
40.18/40.27	c 40.3s |      17 |   250785 |   218932 |      786    549 |        0 |        0
42.18/42.28	c 42.3s |      17 |   262489 |   229132 |      786    570 |        0 |        0
44.28/44.30	c 44.3s |      17 |   274449 |   239532 |      786    592 |        0 |        0
46.29/46.32	c 46.3s |      17 |   285493 |   249432 |      786    612 |        0 |        0
48.28/48.33	c 48.3s |      17 |   295989 |   259032 |      786    632 |        0 |        0
50.28/50.34	c 50.3s |      17 |   307705 |   269332 |      786    653 |        0 |        0
52.28/52.35	c 52.3s |      17 |   319864 |   279732 |      786    674 |        0 |        0
54.28/54.37	c 54.4s |      17 |   330944 |   289532 |      786    695 |        0 |        0
55.78/55.80	c 55.8s |      18 |   338322 |   296252 |      865    708 |        0 |        0
57.78/57.81	c 57.8s |      18 |   350416 |   307152 |      865    728 |        0 |        0
59.78/59.82	c 59.8s |      18 |   362340 |   317752 |      865    748 |        0 |        0
61.78/61.82	c 61.8s |      18 |   374729 |   328452 |      865    768 |        0 |        0
63.79/63.82	c 63.8s |      18 |   387114 |   339352 |      865    789 |        0 |        0
65.78/65.83	c 65.8s |      18 |   399388 |   350152 |      865    809 |        0 |        0
67.78/67.84	c 67.8s |      18 |   410841 |   360352 |      865    828 |        0 |        0
69.78/69.84	c 69.8s |      18 |   422221 |   370452 |      865    847 |        0 |        0
71.78/71.86	c 71.8s |      18 |   433427 |   380452 |      865    866 |        0 |        0
73.79/73.87	c 73.9s |      18 |   444931 |   390552 |      865    886 |        0 |        0
75.78/75.89	c 75.9s |      18 |   456692 |   400652 |      865    905 |        0 |        0
77.88/77.91	c 77.9s |      18 |   468753 |   410952 |      865    924 |        0 |        0
79.88/79.92	c 79.9s |      18 |   480441 |   421052 |      865    943 |        0 |        0
81.88/81.92	c 81.9s |      18 |   490426 |   430052 |      865    960 |        0 |        0
83.88/83.93	c 83.9s |      18 |   501140 |   439452 |      865    978 |        0 |        0
84.98/85.09	c 85.1s |      19 |   506759 |   444482 |      952    987 |        0 |        0
87.07/87.10	c 87.1s |      19 |   520531 |   455982 |      952   1008 |        0 |        0
89.08/89.12	c 89.1s |      19 |   531995 |   465682 |      952   1026 |        0 |        0
91.07/91.14	c 91.1s |      19 |   542460 |   474382 |      952   1042 |        0 |        0
93.07/93.15	c 93.1s |      19 |   553561 |   483182 |      952   1058 |        0 |        0
95.07/95.17	c 95.2s |      19 |   564604 |   491982 |      952   1074 |        0 |        0
97.07/97.19	c 97.2s |      19 |   574699 |   500282 |      952   1089 |        0 |        0
99.17/99.20	c 99.2s |      19 |   584768 |   508682 |      952   1105 |        0 |        0
101.18/101.22	c  101s |      19 |   594453 |   516782 |      952   1120 |        0 |        0
103.17/103.23	c  103s |      19 |   604218 |   524882 |      952   1135 |        0 |        0
105.17/105.25	c  105s |      19 |   614421 |   533282 |      952   1150 |        0 |        0
107.17/107.27	c  107s |      19 |   624230 |   541482 |      952   1165 |        0 |        0
109.17/109.28	c  109s |      19 |   633080 |   549082 |      952   1180 |        0 |        0
111.18/111.29	c  111s |      19 |   641862 |   556682 |      952   1194 |        0 |        0
113.17/113.30	c  113s |      19 |   651880 |   564782 |      952   1209 |        0 |        0
115.27/115.30	c  115s |      19 |   662347 |   573182 |      952   1224 |        0 |        0
117.27/117.31	c  117s |      19 |   672422 |   581282 |      952   1240 |        0 |        0
119.27/119.33	c  119s |      19 |   684059 |   590482 |      952   1257 |        0 |        0
121.27/121.35	c  121s |      19 |   695283 |   599182 |      952   1273 |        0 |        0
123.27/123.36	c  123s |      19 |   705044 |   607482 |      952   1289 |        0 |        0
125.27/125.37	c  125s |      19 |   715645 |   616082 |      952   1305 |        0 |        0
127.37/127.40	c  127s |      19 |   725964 |   624482 |      952   1321 |        0 |        0
129.37/129.42	c  129s |      19 |   735897 |   632782 |      952   1337 |        0 |        0
131.37/131.44	c  131s |      19 |   746216 |   641282 |      952   1353 |        0 |        0
133.37/133.45	c  133s |      19 |   756073 |   649382 |      952   1368 |        0 |        0
135.38/135.48	c  135s |      19 |   766176 |   657582 |      952   1384 |        0 |        0
137.37/137.48	c  137s |      19 |   776090 |   665582 |     1048   1398 |        0 |        0
137.77/137.81	c  137s |      20 |   777638 |   666827 |     1048   1400 |        0 |        0
139.78/139.83	c  139s |      20 |   787194 |   674727 |     1048   1413 |        0 |        0
141.77/141.85	c  141s |      20 |   797468 |   682927 |     1048   1427 |        0 |        0
143.77/143.85	c  143s |      20 |   807078 |   690827 |     1048   1440 |        0 |        0
145.77/145.88	c  145s |      20 |   816856 |   698827 |     1048   1454 |        0 |        0
147.77/147.89	c  147s |      20 |   826005 |   706327 |     1048   1466 |        0 |        0
149.87/149.90	c  149s |      20 |   835121 |   713927 |     1048   1479 |        0 |        0
151.88/151.90	c  151s |      20 |   844064 |   721427 |     1048   1492 |        0 |        0
153.87/153.91	c  153s |      20 |   852519 |   728527 |     1048   1504 |        0 |        0
155.87/155.92	c  155s |      20 |   861801 |   735927 |     1048   1516 |        0 |        0
157.87/157.92	c  157s |      20 |   870359 |   743027 |     1048   1529 |        0 |        0
159.87/159.92	c  159s |      20 |   878925 |   750127 |     1048   1541 |        0 |        0
161.87/161.94	c  161s |      20 |   887390 |   757127 |     1048   1552 |        0 |        0
163.87/163.95	c  163s |      20 |   896681 |   764827 |     1048   1565 |        0 |        0
165.86/165.96	c  165s |      20 |   905312 |   772027 |     1048   1578 |        0 |        0
167.86/167.97	c  167s |      20 |   914524 |   779827 |     1048   1591 |        0 |        0
169.96/170.00	c  169s |      20 |   923323 |   787227 |     1048   1603 |        0 |        0
171.96/172.00	c  171s |      20 |   932615 |   794427 |     1048   1615 |        0 |        0
173.96/174.03	c  174s |      20 |   941503 |   801427 |     1048   1627 |        0 |        0
175.97/176.04	c  176s |      20 |   949253 |   808127 |     1048   1639 |        0 |        0
177.96/178.05	c  178s |      20 |   958056 |   815427 |     1048   1651 |        0 |        0
179.96/180.07	c  180s |      20 |   966384 |   822527 |     1048   1663 |        0 |        0
181.96/182.08	c  182s |      20 |   975164 |   829727 |     1048   1675 |        0 |        0
183.96/184.09	c  184s |      20 |   983733 |   836827 |     1048   1687 |        0 |        0
186.06/186.12	c  186s |      20 |   992688 |   844127 |     1048   1700 |        0 |        0
188.07/188.12	c  188s |      20 |  1002974 |   851927 |     1048   1713 |        0 |        0
190.06/190.13	c  190s |      20 |  1012568 |   859527 |     1048   1726 |        0 |        0
192.06/192.15	c  192s |      20 |  1021637 |   866827 |     1048   1738 |        0 |        0
194.06/194.16	c  194s |      20 |  1030803 |   874027 |     1048   1750 |        0 |        0
196.06/196.17	c  196s |      20 |  1039255 |   881027 |     1048   1762 |        0 |        0
198.06/198.18	c  198s |      20 |  1048418 |   888327 |     1048   1775 |        0 |        0
200.06/200.19	c  200s |      20 |  1057846 |   895827 |     1048   1787 |        0 |        0
202.16/202.20	c  202s |      20 |  1067520 |   903327 |     1048   1800 |        0 |        0
204.16/204.21	c  204s |      20 |  1076735 |   910627 |     1048   1812 |        0 |        0
206.15/206.22	c  206s |      20 |  1086100 |   918027 |     1048   1825 |        0 |        0
208.16/208.23	c  208s |      20 |  1095535 |   925327 |     1048   1837 |        0 |        0
210.17/210.25	c  210s |      20 |  1104667 |   932327 |     1048   1849 |        0 |        0
212.16/212.25	c  212s |      20 |  1113245 |   939327 |     1048   1861 |        0 |        0
214.16/214.28	c  214s |      20 |  1122487 |   946627 |     1048   1874 |        0 |        0
216.16/216.29	c  216s |      20 |  1131629 |   953627 |     1048   1886 |        0 |        0
218.26/218.30	c  218s |      20 |  1141185 |   960927 |     1048   1898 |        0 |        0
220.26/220.31	c  220s |      20 |  1150600 |   968027 |     1048   1910 |        0 |        0
222.26/222.31	c  222s |      20 |  1159515 |   975027 |     1048   1922 |        0 |        0
224.26/224.32	c  224s |      20 |  1167941 |   982027 |     1048   1934 |        0 |        0
226.26/226.32	c  226s |      20 |  1176855 |   989127 |     1048   1946 |        0 |        0
228.26/228.34	c  228s |      20 |  1185384 |   996227 |     1153   1957 |        0 |        0
229.46/229.54	c  229s |      21 |  1190572 |  1000345 |     1153   1964 |        0 |        0
231.45/231.56	c  231s |      21 |  1200136 |  1008445 |     1153   1976 |        0 |        0
233.45/233.57	c  233s |      21 |  1207959 |  1015545 |     1153   1988 |        0 |        0
235.46/235.57	c  235s |      21 |  1216108 |  1022845 |     1153   1999 |        0 |        0
237.45/237.59	c  237s |      21 |  1223978 |  1029945 |     1153   2010 |        0 |        0
239.45/239.59	c  239s |      21 |  1232130 |  1037145 |     1153   2021 |        0 |        0
241.55/241.61	c  241s |      21 |  1240512 |  1044545 |     1153   2033 |        0 |        0
243.55/243.62	c  243s |      21 |  1248321 |  1051445 |     1153   2043 |        0 |        0
245.55/245.64	c  245s |      21 |  1256055 |  1058545 |     1153   2055 |        0 |        0
247.56/247.65	c  247s |      21 |  1264356 |  1065945 |     1153   2066 |        0 |        0
249.55/249.66	c  249s |      21 |  1272931 |  1073345 |     1153   2078 |        0 |        0
251.55/251.68	c  251s |      21 |  1281802 |  1080945 |     1153   2089 |        0 |        0
253.65/253.71	c  253s |      21 |  1290291 |  1088445 |     1153   2101 |        0 |        0
255.65/255.72	c  255s |      21 |  1298547 |  1095845 |     1153   2113 |        0 |        0
257.65/257.73	c  257s |      21 |  1306680 |  1103045 |     1153   2124 |        0 |        0
259.65/259.73	c  259s |      21 |  1314646 |  1110145 |     1153   2135 |        0 |        0
261.65/261.74	c  261s |      21 |  1322418 |  1117045 |     1153   2146 |        0 |        0
263.65/263.75	c  263s |      21 |  1330611 |  1124045 |     1153   2157 |        0 |        0
265.64/265.76	c  265s |      21 |  1338937 |  1131245 |     1153   2168 |        0 |        0
267.64/267.78	c  267s |      21 |  1346973 |  1138345 |     1153   2179 |        0 |        0
269.74/269.81	c  269s |      21 |  1354807 |  1145445 |     1153   2190 |        0 |        0
271.75/271.82	c  271s |      21 |  1362566 |  1152445 |     1153   2201 |        0 |        0
273.74/273.82	c  273s |      21 |  1370978 |  1159545 |     1153   2212 |        0 |        0
275.74/275.83	c  275s |      21 |  1379508 |  1166745 |     1153   2223 |        0 |        0
277.74/277.85	c  277s |      21 |  1387980 |  1174045 |     1153   2235 |        0 |        0
279.74/279.87	c  279s |      21 |  1396486 |  1181345 |     1153   2246 |        0 |        0
281.75/281.88	c  281s |      21 |  1405302 |  1188745 |     1153   2258 |        0 |        0
283.76/283.90	c  283s |      21 |  1413137 |  1195745 |     1153   2269 |        0 |        0
285.85/285.92	c  285s |      21 |  1420446 |  1202345 |     1153   2279 |        0 |        0
287.85/287.93	c  287s |      21 |  1428580 |  1209445 |     1153   2290 |        0 |        0
289.85/289.95	c  289s |      21 |  1436749 |  1216645 |     1153   2301 |        0 |        0
291.85/291.96	c  291s |      21 |  1444563 |  1223645 |     1153   2312 |        0 |        0
293.85/293.99	c  293s |      21 |  1452513 |  1230745 |     1153   2324 |        0 |        0
295.95/296.01	c  295s |      21 |  1460411 |  1237745 |     1153   2334 |        0 |        0
297.95/298.02	c  298s |      21 |  1468081 |  1244445 |     1153   2345 |        0 |        0
299.95/300.02	c  300s |      21 |  1475851 |  1251245 |     1153   2356 |        0 |        0
301.95/302.04	c  302s |      21 |  1483814 |  1258345 |     1153   2367 |        0 |        0
303.94/304.07	c  304s |      21 |  1491336 |  1265145 |     1153   2377 |        0 |        0
305.94/306.08	c  306s |      21 |  1498977 |  1271945 |     1153   2388 |        0 |        0
307.95/308.09	c  308s |      21 |  1506434 |  1278545 |     1153   2399 |        0 |        0
310.04/310.10	c  310s |      21 |  1514162 |  1285445 |     1153   2409 |        0 |        0
312.04/312.12	c  312s |      21 |  1521792 |  1292245 |     1153   2420 |        0 |        0
314.04/314.15	c  314s |      21 |  1529594 |  1299045 |     1153   2431 |        0 |        0
316.04/316.17	c  316s |      21 |  1537170 |  1305545 |     1153   2441 |        0 |        0
318.04/318.17	c  318s |      21 |  1544862 |  1312345 |     1153   2452 |        0 |        0
320.05/320.18	c  320s |      21 |  1552521 |  1319245 |     1153   2463 |        0 |        0
322.14/322.20	c  322s |      21 |  1560325 |  1326245 |     1153   2474 |        0 |        0
324.14/324.23	c  324s |      21 |  1568115 |  1333245 |     1153   2484 |        0 |        0
326.14/326.26	c  326s |      21 |  1575998 |  1340045 |     1153   2495 |        0 |        0
328.14/328.28	c  328s |      21 |  1584052 |  1346945 |     1153   2506 |        0 |        0
330.24/330.30	c  330s |      21 |  1591880 |  1353845 |     1153   2517 |        0 |        0
332.24/332.31	c  332s |      21 |  1599442 |  1360445 |     1153   2527 |        0 |        0
334.24/334.33	c  334s |      21 |  1607184 |  1367245 |     1153   2538 |        0 |        0
336.23/336.34	c  336s |      21 |  1614989 |  1374045 |     1153   2549 |        0 |        0
338.23/338.35	c  338s |      21 |  1622861 |  1380745 |     1153   2560 |        0 |        0
340.24/340.37	c  340s |      21 |  1630791 |  1387545 |     1153   2570 |        0 |        0
342.24/342.39	c  342s |      21 |  1638776 |  1394345 |     1153   2581 |        0 |        0
344.25/344.40	c  344s |      21 |  1646433 |  1401045 |     1153   2592 |        0 |        0
346.34/346.42	c  346s |      21 |  1654139 |  1407745 |     1153   2603 |        0 |        0
348.34/348.45	c  348s |      21 |  1661408 |  1414245 |     1153   2613 |        0 |        0
350.34/350.45	c  350s |      21 |  1668597 |  1420645 |     1153   2623 |        0 |        0
352.34/352.49	c  352s |      21 |  1675523 |  1426945 |     1153   2633 |        0 |        0
354.44/354.50	c  354s |      21 |  1682468 |  1433145 |     1153   2642 |        0 |        0
356.35/356.50	c  356s |      21 |  1689703 |  1439545 |     1153   2652 |        0 |        0
358.44/358.53	c  358s |      21 |  1697828 |  1446545 |     1153   2663 |        0 |        0
360.44/360.55	c  360s |      21 |  1705669 |  1453245 |     1153   2674 |        0 |        0
362.44/362.57	c  362s |      21 |  1713490 |  1459845 |     1153   2684 |        0 |        0
364.44/364.57	c  364s |      21 |  1721655 |  1466845 |     1153   2695 |        0 |        0
366.44/366.58	c  366s |      21 |  1729446 |  1473645 |     1153   2706 |        0 |        0
368.44/368.59	c  368s |      21 |  1736888 |  1480245 |     1153   2716 |        0 |        0
370.54/370.62	c  370s |      21 |  1744368 |  1486845 |     1153   2727 |        0 |        0
372.53/372.64	c  372s |      21 |  1752006 |  1493545 |     1269   2736 |        0 |        0
374.53/374.66	c  374s |      21 |  1759369 |  1500045 |     1269   2746 |        0 |        0
374.73/374.85	c  374s |      22 |  1760019 |  1500622 |     1269   2747 |        0 |        0
376.73/376.86	c  376s |      22 |  1768545 |  1507422 |     1269   2756 |        0 |        0
378.73/378.86	c  378s |      22 |  1776780 |  1514222 |     1269   2766 |        0 |        0
380.73/380.87	c  380s |      22 |  1785085 |  1521222 |     1269   2776 |        0 |        0
382.73/382.87	c  382s |      22 |  1793190 |  1528222 |     1269   2786 |        0 |        0
384.72/384.88	c  384s |      22 |  1800869 |  1534922 |     1269   2796 |        0 |        0
386.72/386.88	c  386s |      22 |  1808782 |  1541822 |     1269   2806 |        0 |        0
388.82/388.90	c  388s |      22 |  1817033 |  1548822 |     1269   2816 |        0 |        0
390.82/390.90	c  390s |      22 |  1825024 |  1555822 |     1269   2826 |        0 |        0
392.82/392.91	c  392s |      22 |  1832907 |  1562722 |     1269   2836 |        0 |        0
394.82/394.94	c  394s |      22 |  1840701 |  1569522 |     1269   2846 |        0 |        0
396.82/396.94	c  396s |      22 |  1848009 |  1576022 |     1269   2856 |        0 |        0
398.81/398.95	c  398s |      22 |  1855555 |  1582622 |     1269   2866 |        0 |        0
400.81/400.96	c  400s |      22 |  1862747 |  1589022 |     1269   2875 |        0 |        0
402.81/402.97	c  402s |      22 |  1869962 |  1595422 |     1269   2884 |        0 |        0
404.82/405.00	c  404s |      22 |  1877086 |  1601822 |     1269   2894 |        0 |        0
406.92/407.01	c  406s |      22 |  1885014 |  1608522 |     1269   2903 |        0 |        0
408.91/409.03	c  409s |      22 |  1892617 |  1615122 |     1269   2913 |        0 |        0
410.91/411.04	c  411s |      22 |  1900169 |  1621622 |     1269   2922 |        0 |        0
412.91/413.07	c  413s |      22 |  1907539 |  1627922 |     1269   2931 |        0 |        0
414.91/415.07	c  415s |      22 |  1915858 |  1635022 |     1269   2941 |        0 |        0
416.91/417.07	c  417s |      22 |  1924863 |  1642322 |     1269   2952 |        0 |        0
418.91/419.08	c  419s |      22 |  1933488 |  1649622 |     1269   2962 |        0 |        0
420.91/421.08	c  421s |      22 |  1942067 |  1656822 |     1269   2973 |        0 |        0
422.90/423.08	c  423s |      22 |  1950442 |  1663822 |     1269   2983 |        0 |        0
424.90/425.09	c  425s |      22 |  1959444 |  1671122 |     1269   2994 |        0 |        0
427.00/427.12	c  427s |      22 |  1967867 |  1678122 |     1269   3004 |        0 |        0
429.00/429.15	c  429s |      22 |  1975733 |  1684722 |     1269   3013 |        0 |        0
431.00/431.15	c  431s |      22 |  1983690 |  1691522 |     1269   3023 |        0 |        0
432.99/433.17	c  433s |      22 |  1991920 |  1698122 |     1269   3033 |        0 |        0
435.09/435.21	c  435s |      22 |  1999992 |  1705022 |     1269   3043 |        0 |        0
437.09/437.21	c  437s |      22 |  2008410 |  1712022 |     1269   3053 |        0 |        0
439.09/439.23	c  439s |      22 |  2016559 |  1718922 |     1269   3063 |        0 |        0
441.10/441.25	c  441s |      22 |  2024391 |  1725622 |     1269   3072 |        0 |        0
443.09/443.26	c  443s |      22 |  2032158 |  1732222 |     1269   3082 |        0 |        0
445.08/445.26	c  445s |      22 |  2040331 |  1739122 |     1269   3092 |        0 |        0
447.08/447.28	c  447s |      22 |  2048546 |  1746022 |     1269   3102 |        0 |        0
449.18/449.30	c  449s |      22 |  2056085 |  1752522 |     1269   3111 |        0 |        0
451.18/451.31	c  451s |      22 |  2064815 |  1759522 |     1269   3121 |        0 |        0
453.19/453.32	c  453s |      22 |  2072721 |  1766322 |     1269   3131 |        0 |        0
455.18/455.32	c  455s |      22 |  2081057 |  1773222 |     1269   3141 |        0 |        0
457.18/457.33	c  457s |      22 |  2089344 |  1780122 |     1269   3151 |        0 |        0
459.18/459.34	c  459s |      22 |  2097265 |  1786622 |     1269   3160 |        0 |        0
461.19/461.34	c  461s |      22 |  2105207 |  1793122 |     1269   3170 |        0 |        0
463.18/463.35	c  463s |      22 |  2113409 |  1799722 |     1269   3179 |        0 |        0
465.19/465.37	c  465s |      22 |  2121215 |  1806322 |     1269   3189 |        0 |        0
467.18/467.39	c  467s |      22 |  2129228 |  1813022 |     1269   3199 |        0 |        0
469.28/469.40	c  469s |      22 |  2137294 |  1819822 |     1269   3209 |        0 |        0
471.28/471.40	c  471s |      22 |  2144979 |  1826522 |     1269   3218 |        0 |        0
473.27/473.42	c  473s |      22 |  2152149 |  1832722 |     1269   3227 |        0 |        0
475.27/475.43	c  475s |      22 |  2158904 |  1838622 |     1269   3236 |        0 |        0
477.28/477.46	c  477s |      22 |  2165976 |  1844822 |     1269   3245 |        0 |        0
479.27/479.49	c  479s |      22 |  2172887 |  1850922 |     1269   3254 |        0 |        0
481.37/481.51	c  481s |      22 |  2180107 |  1857222 |     1269   3263 |        0 |        0
483.37/483.52	c  483s |      22 |  2187741 |  1863622 |     1269   3272 |        0 |        0
485.37/485.55	c  485s |      22 |  2194813 |  1869922 |     1269   3281 |        0 |        0
487.36/487.55	c  487s |      22 |  2201910 |  1876122 |     1269   3290 |        0 |        0
489.37/489.57	c  489s |      22 |  2209046 |  1882322 |     1269   3299 |        0 |        0
491.36/491.59	c  491s |      22 |  2215665 |  1888122 |     1269   3307 |        0 |        0
493.46/493.62	c  493s |      22 |  2223007 |  1894422 |     1269   3317 |        0 |        0
495.46/495.62	c  495s |      22 |  2231538 |  1901322 |     1269   3327 |        0 |        0
497.46/497.64	c  497s |      22 |  2240151 |  1908222 |     1269   3337 |        0 |        0
499.46/499.66	c  499s |      22 |  2248313 |  1915022 |     1269   3346 |        0 |        0
501.47/501.66	c  501s |      22 |  2256521 |  1921622 |     1269   3356 |        0 |        0
503.45/503.66	c  503s |      22 |  2264576 |  1928422 |     1269   3366 |        0 |        0
505.45/505.66	c  505s |      22 |  2273031 |  1935222 |     1269   3376 |        0 |        0
507.45/507.66	c  507s |      22 |  2280410 |  1941622 |     1269   3385 |        0 |        0
509.55/509.70	c  509s |      22 |  2288607 |  1948522 |     1269   3395 |        0 |        0
511.55/511.73	c  511s |      22 |  2296401 |  1955122 |     1269   3404 |        0 |        0
513.55/513.76	c  513s |      22 |  2304229 |  1961622 |     1269   3414 |        0 |        0
515.55/515.77	c  515s |      22 |  2311460 |  1967922 |     1269   3423 |        0 |        0
517.55/517.78	c  517s |      22 |  2319756 |  1974722 |     1269   3433 |        0 |        0
519.65/519.80	c  519s |      22 |  2328645 |  1981922 |     1269   3443 |        0 |        0
521.64/521.81	c  521s |      22 |  2336510 |  1988822 |     1269   3453 |        0 |        0
523.64/523.83	c  523s |      22 |  2343820 |  1995222 |     1269   3462 |        0 |        0
525.64/525.85	c  525s |      22 |  2351282 |  2001422 |     1269   3471 |        0 |        0
527.64/527.86	c  527s |      22 |  2359662 |  2008422 |     1269   3481 |        0 |        0
529.64/529.87	c  529s |      22 |  2367725 |  2015122 |     1269   3490 |        0 |        0
531.73/531.90	c  531s |      22 |  2376014 |  2022122 |     1269   3500 |        0 |        0
533.73/533.90	c  533s |      22 |  2384755 |  2029222 |     1269   3511 |        0 |        0
535.73/535.94	c  535s |      22 |  2393063 |  2036122 |     1269   3521 |        0 |        0
537.73/537.97	c  537s |      22 |  2400588 |  2042522 |     1269   3530 |        0 |        0
539.73/539.97	c  539s |      22 |  2407890 |  2048722 |     1269   3539 |        0 |        0
541.72/541.99	c  541s |      22 |  2415196 |  2054822 |     1269   3547 |        0 |        0
543.82/544.02	c  544s |      22 |  2422853 |  2061322 |     1269   3557 |        0 |        0
545.82/546.03	c  546s |      22 |  2430609 |  2067722 |     1269   3566 |        0 |        0
547.83/548.03	c  548s |      22 |  2438154 |  2073922 |     1269   3575 |        0 |        0
549.84/550.04	c  550s |      22 |  2446930 |  2081122 |     1269   3585 |        0 |        0
551.83/552.06	c  552s |      22 |  2455812 |  2088322 |     1269   3595 |        0 |        0
553.83/554.09	c  554s |      22 |  2464445 |  2095422 |     1269   3606 |        0 |        0
555.93/556.12	c  556s |      22 |  2472961 |  2102422 |     1269   3616 |        0 |        0
557.93/558.14	c  558s |      22 |  2481185 |  2109322 |     1269   3626 |        0 |        0
559.92/560.15	c  560s |      22 |  2488895 |  2115722 |     1269   3635 |        0 |        0
561.93/562.16	c  562s |      22 |  2496687 |  2122222 |     1269   3644 |        0 |        0
563.92/564.17	c  564s |      22 |  2504812 |  2128922 |     1269   3654 |        0 |        0
565.92/566.17	c  566s |      22 |  2512343 |  2135222 |     1269   3663 |        0 |        0
568.02/568.20	c  568s |      22 |  2519671 |  2141622 |     1269   3672 |        0 |        0
570.02/570.21	c  570s |      22 |  2528102 |  2148122 |     1269   3681 |        0 |        0
572.02/572.23	c  572s |      22 |  2536361 |  2154922 |     1269   3691 |        0 |        0
574.02/574.26	c  574s |      22 |  2543996 |  2161422 |     1269   3701 |        0 |        0
576.01/576.26	c  576s |      22 |  2551503 |  2167622 |     1269   3710 |        0 |        0
578.01/578.28	c  578s |      22 |  2559527 |  2174122 |     1269   3719 |        0 |        0
580.11/580.31	c  580s |      22 |  2567312 |  2180722 |     1269   3729 |        0 |        0
582.11/582.33	c  582s |      22 |  2575096 |  2186822 |     1269   3737 |        0 |        0
584.11/584.35	c  584s |      22 |  2582212 |  2192822 |     1269   3746 |        0 |        0
586.11/586.35	c  586s |      22 |  2589648 |  2199022 |     1269   3755 |        0 |        0
588.11/588.37	c  588s |      22 |  2598394 |  2205922 |     1269   3765 |        0 |        0
590.11/590.38	c  590s |      22 |  2606865 |  2213122 |     1269   3775 |        0 |        0
592.20/592.41	c  592s |      22 |  2615166 |  2220122 |     1269   3786 |        0 |        0
594.20/594.43	c  594s |      22 |  2624008 |  2227422 |     1269   3796 |        0 |        0
596.20/596.44	c  596s |      22 |  2632161 |  2234322 |     1269   3806 |        0 |        0
598.21/598.47	c  598s |      22 |  2640042 |  2240922 |     1396   3815 |        0 |        0
600.20/600.48	c  600s |      22 |  2648023 |  2247522 |     1396   3823 |        0 |        0
601.30/601.51	c  601s |      23 |  2652423 |  2251038 |     1396   3828 |        0 |        0
603.29/603.54	c  603s |      23 |  2661241 |  2258538 |     1396   3838 |        0 |        0
605.29/605.55	c  605s |      23 |  2668883 |  2265538 |     1396   3847 |        0 |        0
607.29/607.57	c  607s |      23 |  2676953 |  2272538 |     1396   3856 |        0 |        0
609.39/609.60	c  609s |      23 |  2683543 |  2278438 |     1396   3864 |        0 |        0
611.40/611.61	c  611s |      23 |  2691559 |  2285038 |     1396   3872 |        0 |        0
613.39/613.63	c  613s |      23 |  2700044 |  2292438 |     1396   3882 |        0 |        0
615.39/615.65	c  615s |      23 |  2708566 |  2299938 |     1396   3892 |        0 |        0
617.39/617.68	c  617s |      23 |  2716770 |  2307238 |     1396   3902 |        0 |        0
619.38/619.69	c  619s |      23 |  2724767 |  2314338 |     1396   3911 |        0 |        0
621.48/621.71	c  621s |      23 |  2733065 |  2321238 |     1396   3920 |        0 |        0
623.48/623.73	c  623s |      23 |  2740300 |  2327638 |     1396   3929 |        0 |        0
625.48/625.75	c  625s |      23 |  2747403 |  2334038 |     1396   3937 |        0 |        0
627.48/627.76	c  627s |      23 |  2754567 |  2340338 |     1396   3945 |        0 |        0
629.48/629.77	c  629s |      23 |  2762012 |  2346638 |     1396   3954 |        0 |        0
631.48/631.78	c  631s |      23 |  2768835 |  2352538 |     1396   3961 |        0 |        0
633.58/633.80	c  633s |      23 |  2775690 |  2358438 |     1396   3969 |        0 |        0
635.59/635.83	c  635s |      23 |  2782436 |  2364338 |     1396   3977 |        0 |        0
637.58/637.84	c  637s |      23 |  2788298 |  2369638 |     1396   3983 |        0 |        0
639.58/639.86	c  639s |      23 |  2794814 |  2375438 |     1396   3991 |        0 |        0
641.58/641.86	c  641s |      23 |  2801147 |  2381038 |     1396   3998 |        0 |        0
643.57/643.89	c  643s |      23 |  2807538 |  2386738 |     1396   4006 |        0 |        0
645.67/645.90	c  645s |      23 |  2814080 |  2392438 |     1396   4013 |        0 |        0
647.68/647.91	c  647s |      23 |  2822087 |  2399038 |     1396   4022 |        0 |        0
649.67/649.92	c  649s |      23 |  2831496 |  2407038 |     1396   4032 |        0 |        0
651.67/651.94	c  651s |      23 |  2840142 |  2414438 |     1396   4041 |        0 |        0
653.67/653.96	c  653s |      23 |  2848181 |  2421538 |     1396   4051 |        0 |        0
655.66/655.99	c  655s |      23 |  2856044 |  2428538 |     1396   4060 |        0 |        0
657.76/658.01	c  657s |      23 |  2864652 |  2436138 |     1396   4069 |        0 |        0
659.77/660.02	c  660s |      23 |  2872765 |  2443338 |     1396   4079 |        0 |        0
661.76/662.03	c  662s |      23 |  2881562 |  2450938 |     1396   4088 |        0 |        0
663.76/664.04	c  664s |      23 |  2890371 |  2458438 |     1396   4098 |        0 |        0
665.76/666.04	c  666s |      23 |  2898749 |  2465738 |     1396   4107 |        0 |        0
667.76/668.06	c  668s |      23 |  2906737 |  2472838 |     1396   4117 |        0 |        0
669.77/670.06	c  670s |      23 |  2915459 |  2480238 |     1396   4126 |        0 |        0
671.76/672.06	c  672s |      23 |  2923862 |  2487438 |     1396   4135 |        0 |        0
673.76/674.06	c  674s |      23 |  2931691 |  2494238 |     1396   4144 |        0 |        0
675.75/676.08	c  676s |      23 |  2940010 |  2501538 |     1396   4153 |        0 |        0
677.85/678.11	c  678s |      23 |  2949331 |  2509438 |     1396   4164 |        0 |        0
679.85/680.12	c  680s |      23 |  2957957 |  2516838 |     1396   4173 |        0 |        0
681.87/682.15	c  682s |      23 |  2966455 |  2524238 |     1396   4183 |        0 |        0
683.86/684.15	c  684s |      23 |  2974733 |  2531338 |     1396   4192 |        0 |        0
685.85/686.17	c  686s |      23 |  2982907 |  2538438 |     1396   4201 |        0 |        0
687.85/688.19	c  688s |      23 |  2991908 |  2546038 |     1396   4211 |        0 |        0
689.95/690.21	c  690s |      23 |  2999917 |  2553038 |     1396   4220 |        0 |        0
691.95/692.21	c  692s |      23 |  3007552 |  2559738 |     1396   4228 |        0 |        0
693.95/694.24	c  694s |      23 |  3014755 |  2566238 |     1396   4237 |        0 |        0
695.95/696.26	c  696s |      23 |  3022395 |  2573038 |     1396   4246 |        0 |        0
697.95/698.26	c  698s |      23 |  3029751 |  2579638 |     1396   4254 |        0 |        0
699.94/700.29	c  700s |      23 |  3037249 |  2586338 |     1396   4263 |        0 |        0
702.04/702.32	c  702s |      23 |  3045146 |  2593138 |     1396   4272 |        0 |        0
704.04/704.32	c  704s |      23 |  3054668 |  2600838 |     1396   4281 |        0 |        0
706.05/706.32	c  706s |      23 |  3064056 |  2608538 |     1396   4291 |        0 |        0
708.04/708.34	c  708s |      23 |  3073588 |  2616438 |     1396   4302 |        0 |        0
710.04/710.35	c  710s |      23 |  3082818 |  2624238 |     1396   4312 |        0 |        0
712.04/712.35	c  712s |      23 |  3090991 |  2631338 |     1396   4321 |        0 |        0
714.03/714.37	c  714s |      23 |  3099362 |  2638638 |     1396   4330 |        0 |        0
716.03/716.38	c  716s |      23 |  3106903 |  2645338 |     1396   4339 |        0 |        0
718.04/718.40	c  718s |      23 |  3116369 |  2653138 |     1396   4349 |        0 |        0
720.13/720.42	c  720s |      23 |  3125106 |  2660538 |     1396   4358 |        0 |        0
722.13/722.45	c  722s |      23 |  3134492 |  2668238 |     1396   4368 |        0 |        0
724.12/724.48	c  724s |      23 |  3143260 |  2675738 |     1396   4378 |        0 |        0
726.12/726.49	c  726s |      23 |  3152000 |  2683038 |     1396   4387 |        0 |        0
728.22/728.51	c  728s |      23 |  3160487 |  2690338 |     1396   4397 |        0 |        0
730.23/730.52	c  730s |      23 |  3169795 |  2698038 |     1396   4407 |        0 |        0
732.22/732.54	c  732s |      23 |  3179205 |  2705838 |     1396   4417 |        0 |        0
734.22/734.56	c  734s |      23 |  3188096 |  2713438 |     1396   4427 |        0 |        0
736.22/736.58	c  736s |      23 |  3197531 |  2721138 |     1396   4436 |        0 |        0
738.32/738.60	c  738s |      23 |  3206249 |  2728438 |     1396   4446 |        0 |        0
740.32/740.62	c  740s |      23 |  3214801 |  2735738 |     1396   4455 |        0 |        0
742.32/742.63	c  742s |      23 |  3223492 |  2743038 |     1396   4465 |        0 |        0
744.31/744.64	c  744s |      23 |  3232251 |  2750438 |     1396   4474 |        0 |        0
746.31/746.65	c  746s |      23 |  3240926 |  2757738 |     1396   4484 |        0 |        0
748.31/748.65	c  748s |      23 |  3249187 |  2764738 |     1396   4493 |        0 |        0
750.31/750.67	c  750s |      23 |  3258070 |  2772138 |     1396   4502 |        0 |        0
752.41/752.70	c  752s |      23 |  3266475 |  2779338 |     1396   4512 |        0 |        0
754.42/754.73	c  754s |      23 |  3275086 |  2786538 |     1396   4521 |        0 |        0
756.41/756.74	c  756s |      23 |  3283222 |  2793538 |     1396   4530 |        0 |        0
758.41/758.76	c  758s |      23 |  3292190 |  2800938 |     1396   4539 |        0 |        0
760.41/760.79	c  760s |      23 |  3300624 |  2808038 |     1396   4549 |        0 |        0
762.50/762.81	c  762s |      23 |  3309154 |  2815338 |     1396   4558 |        0 |        0
764.50/764.83	c  764s |      23 |  3317495 |  2822538 |     1396   4567 |        0 |        0
766.51/766.84	c  766s |      23 |  3325292 |  2829338 |     1396   4576 |        0 |        0
768.50/768.86	c  768s |      23 |  3333102 |  2836138 |     1396   4585 |        0 |        0
770.50/770.88	c  770s |      23 |  3341113 |  2843038 |     1396   4594 |        0 |        0
772.50/772.89	c  772s |      23 |  3349106 |  2849938 |     1396   4603 |        0 |        0
774.60/774.91	c  774s |      23 |  3356808 |  2856638 |     1396   4611 |        0 |        0
776.60/776.94	c  776s |      23 |  3365196 |  2863738 |     1396   4620 |        0 |        0
778.60/778.96	c  778s |      23 |  3373865 |  2871138 |     1396   4630 |        0 |        0
780.59/780.99	c  780s |      23 |  3382246 |  2878338 |     1396   4639 |        0 |        0
782.69/783.01	c  782s |      23 |  3390229 |  2885138 |     1396   4648 |        0 |        0
784.69/785.02	c  785s |      23 |  3398139 |  2892038 |     1396   4657 |        0 |        0
786.69/787.04	c  787s |      23 |  3406253 |  2898938 |     1396   4666 |        0 |        0
788.69/789.07	c  789s |      23 |  3414423 |  2905938 |     1396   4675 |        0 |        0
790.69/791.07	c  791s |      23 |  3422591 |  2912938 |     1396   4684 |        0 |        0
792.68/793.09	c  793s |      23 |  3431828 |  2920338 |     1396   4694 |        0 |        0
794.68/795.09	c  795s |      23 |  3440095 |  2927338 |     1396   4703 |        0 |        0
796.79/797.10	c  797s |      23 |  3448229 |  2934238 |     1396   4712 |        0 |        0
798.79/799.12	c  799s |      23 |  3457307 |  2941538 |     1396   4721 |        0 |        0
800.79/801.14	c  801s |      23 |  3466931 |  2949938 |     1396   4732 |        0 |        0
802.79/803.15	c  803s |      23 |  3476391 |  2958038 |     1396   4742 |        0 |        0
804.79/805.16	c  805s |      23 |  3485019 |  2965538 |     1396   4752 |        0 |        0
806.78/807.17	c  807s |      23 |  3493881 |  2973338 |     1396   4762 |        0 |        0
808.78/809.18	c  809s |      23 |  3502953 |  2981138 |     1396   4772 |        0 |        0
810.88/811.20	c  811s |      23 |  3511196 |  2988438 |     1396   4781 |        0 |        0
812.88/813.21	c  813s |      23 |  3520012 |  2996238 |     1396   4791 |        0 |        0
814.89/815.23	c  815s |      23 |  3528885 |  3003838 |     1396   4801 |        0 |        0
816.88/817.23	c  817s |      23 |  3537621 |  3011538 |     1396   4811 |        0 |        0
818.88/819.23	c  819s |      23 |  3546391 |  3019238 |     1396   4821 |        0 |        0
820.88/821.24	c  821s |      23 |  3555172 |  3026838 |     1396   4831 |        0 |        0
822.87/823.25	c  823s |      23 |  3563315 |  3034038 |     1396   4840 |        0 |        0
824.87/825.26	c  825s |      23 |  3573076 |  3041938 |     1396   4850 |        0 |        0
826.88/827.27	c  827s |      23 |  3582739 |  3049938 |     1396   4860 |        0 |        0
828.87/829.27	c  829s |      23 |  3591074 |  3057238 |     1396   4870 |        0 |        0
830.87/831.28	c  831s |      23 |  3600451 |  3065038 |     1396   4880 |        0 |        0
832.98/833.32	c  833s |      23 |  3608835 |  3072538 |     1396   4889 |        0 |        0
834.97/835.32	c  835s |      23 |  3617469 |  3079938 |     1396   4899 |        0 |        0
836.97/837.34	c  837s |      23 |  3626393 |  3087438 |     1396   4909 |        0 |        0
838.98/839.37	c  839s |      23 |  3635204 |  3094938 |     1396   4918 |        0 |        0
840.97/841.38	c  841s |      23 |  3644085 |  3102638 |     1396   4928 |        0 |        0
842.97/843.38	c  843s |      23 |  3653488 |  3110438 |     1396   4938 |        0 |        0
844.97/845.40	c  845s |      23 |  3662257 |  3118038 |     1396   4948 |        0 |        0
847.07/847.41	c  847s |      23 |  3670691 |  3125438 |     1396   4958 |        0 |        0
849.07/849.42	c  849s |      23 |  3679777 |  3133038 |     1396   4967 |        0 |        0
851.08/851.43	c  851s |      23 |  3688707 |  3140738 |     1396   4977 |        0 |        0
853.06/853.46	c  853s |      23 |  3697799 |  3148338 |     1396   4987 |        0 |        0
855.06/855.48	c  855s |      23 |  3707039 |  3156038 |     1396   4997 |        0 |        0
857.06/857.48	c  857s |      23 |  3715900 |  3163438 |     1396   5006 |        0 |        0
859.16/859.50	c  859s |      23 |  3725064 |  3171138 |     1396   5016 |        0 |        0
861.16/861.52	c  861s |      23 |  3733698 |  3178638 |     1396   5026 |        0 |        0
863.16/863.53	c  863s |      23 |  3742255 |  3186038 |     1396   5036 |        0 |        0
865.15/865.55	c  865s |      23 |  3751394 |  3193638 |     1396   5046 |        0 |        0
867.15/867.57	c  867s |      23 |  3759530 |  3200638 |     1396   5055 |        0 |        0
869.15/869.58	c  869s |      23 |  3767429 |  3207738 |     1396   5064 |        0 |        0
871.25/871.61	c  871s |      23 |  3775602 |  3214638 |     1396   5073 |        0 |        0
873.25/873.62	c  873s |      23 |  3783791 |  3221738 |     1396   5083 |        0 |        0
875.25/875.63	c  875s |      23 |  3791624 |  3228638 |     1396   5092 |        0 |        0
877.24/877.64	c  877s |      23 |  3799341 |  3235338 |     1396   5101 |        0 |        0
879.24/879.64	c  879s |      23 |  3806294 |  3241638 |     1396   5109 |        0 |        0
881.24/881.67	c  881s |      23 |  3814168 |  3248538 |     1396   5119 |        0 |        0
883.24/883.69	c  883s |      23 |  3822116 |  3255438 |     1396   5128 |        0 |        0
885.25/885.69	c  885s |      23 |  3830131 |  3262238 |     1396   5137 |        0 |        0
887.25/887.69	c  887s |      23 |  3838191 |  3269138 |     1396   5146 |        0 |        0
889.35/889.70	c  889s |      23 |  3845558 |  3275638 |     1396   5155 |        0 |        0
891.34/891.70	c  891s |      23 |  3852821 |  3282038 |     1396   5163 |        0 |        0
893.34/893.71	c  893s |      23 |  3860408 |  3288638 |     1396   5172 |        0 |        0
895.34/895.73	c  895s |      23 |  3868938 |  3295838 |     1396   5181 |        0 |        0
897.35/897.73	c  897s |      23 |  3876490 |  3302538 |     1396   5190 |        0 |        0
899.34/899.73	c  899s |      23 |  3884248 |  3309338 |     1396   5199 |        0 |        0
901.34/901.74	c  901s |      23 |  3892275 |  3316238 |     1396   5208 |        0 |        0
903.33/903.75	c  903s |      23 |  3899933 |  3322838 |     1396   5217 |        0 |        0
905.33/905.77	c  905s |      23 |  3907929 |  3329838 |     1396   5226 |        0 |        0
907.33/907.77	c  907s |      23 |  3915318 |  3336438 |     1396   5235 |        0 |        0
909.34/909.79	c  909s |      23 |  3922286 |  3342738 |     1396   5244 |        0 |        0
911.43/911.81	c  911s |      23 |  3929951 |  3349438 |     1396   5252 |        0 |        0
913.42/913.83	c  913s |      23 |  3937057 |  3355738 |     1536   5260 |        0 |        0
915.42/915.87	c  915s |      23 |  3944373 |  3362138 |     1536   5268 |        0 |        0
917.42/917.87	c  917s |      23 |  3951215 |  3368238 |     1536   5276 |        0 |        0
919.42/919.89	c  919s |      23 |  3958024 |  3374338 |     1536   5283 |        0 |        0
920.22/920.60	c  920s |      24 |  3960702 |  3376662 |     1536   5286 |        0 |        0
922.22/922.61	c  922s |      24 |  3970054 |  3385062 |     1536   5296 |        0 |        0
924.22/924.63	c  924s |      24 |  3979304 |  3393462 |     1536   5305 |        0 |        0
926.22/926.63	c  926s |      24 |  3988619 |  3401862 |     1536   5315 |        0 |        0
928.22/928.63	c  928s |      24 |  3997494 |  3409862 |     1536   5324 |        0 |        0
930.22/930.65	c  930s |      24 |  4006673 |  3418062 |     1536   5334 |        0 |        0
932.21/932.67	c  932s |      24 |  4016153 |  3426462 |     1536   5344 |        0 |        0
934.21/934.67	c  934s |      24 |  4025115 |  3434662 |     1536   5353 |        0 |        0
936.22/936.68	c  936s |      24 |  4034170 |  3442862 |     1536   5363 |        0 |        0
938.22/938.69	c  938s |      24 |  4043111 |  3450962 |     1536   5373 |        0 |        0
940.32/940.71	c  940s |      24 |  4051675 |  3458862 |     1536   5382 |        0 |        0
942.32/942.72	c  942s |      24 |  4060265 |  3466662 |     1536   5391 |        0 |        0
944.31/944.74	c  944s |      24 |  4069357 |  3474862 |     1536   5400 |        0 |        0
946.31/946.75	c  946s |      24 |  4078735 |  3483062 |     1536   5410 |        0 |        0
948.31/948.77	c  948s |      24 |  4088102 |  3491362 |     1536   5420 |        0 |        0
950.31/950.78	c  950s |      24 |  4097615 |  3499762 |     1536   5429 |        0 |        0
952.31/952.79	c  952s |      24 |  4107050 |  3508262 |     1536   5439 |        0 |        0
954.30/954.80	c  954s |      24 |  4116471 |  3516662 |     1536   5449 |        0 |        0
956.40/956.81	c  956s |      24 |  4125556 |  3524762 |     1536   5459 |        0 |        0
958.40/958.82	c  958s |      24 |  4134797 |  3532962 |     1536   5468 |        0 |        0
960.40/960.83	c  960s |      24 |  4144129 |  3541162 |     1536   5478 |        0 |        0
962.40/962.83	c  962s |      24 |  4153759 |  3549662 |     1536   5488 |        0 |        0
964.41/964.86	c  964s |      24 |  4162994 |  3557962 |     1536   5498 |        0 |        0
966.40/966.86	c  966s |      24 |  4172016 |  3566062 |     1536   5507 |        0 |        0
968.40/968.87	c  968s |      24 |  4180766 |  3573962 |     1536   5516 |        0 |        0
970.40/970.89	c  970s |      24 |  4189687 |  3581862 |     1536   5526 |        0 |        0
972.49/972.90	c  972s |      24 |  4198780 |  3589962 |     1536   5535 |        0 |        0
974.49/974.91	c  974s |      24 |  4207848 |  3597962 |     1536   5544 |        0 |        0
976.50/976.93	c  976s |      24 |  4217052 |  3606162 |     1536   5554 |        0 |        0
978.49/978.94	c  978s |      24 |  4226070 |  3614162 |     1536   5563 |        0 |        0
980.49/980.96	c  980s |      24 |  4235667 |  3622462 |     1536   5573 |        0 |        0
982.48/982.96	c  982s |      24 |  4244559 |  3630462 |     1536   5582 |        0 |        0
984.48/984.98	c  984s |      24 |  4253995 |  3638762 |     1536   5592 |        0 |        0
986.58/987.00	c  986s |      24 |  4263106 |  3646862 |     1536   5602 |        0 |        0
988.59/989.01	c  989s |      24 |  4272239 |  3655062 |     1536   5611 |        0 |        0
990.58/991.04	c  991s |      24 |  4280959 |  3662962 |     1536   5621 |        0 |        0
992.58/993.04	c  993s |      24 |  4289855 |  3671062 |     1536   5630 |        0 |        0
994.58/995.05	c  995s |      24 |  4298637 |  3678962 |     1536   5639 |        0 |        0
996.58/997.05	c  997s |      24 |  4307590 |  3686962 |     1536   5649 |        0 |        0
998.58/999.07	c  999s |      24 |  4317350 |  3695462 |     1536   5659 |        0 |        0
1000.58/1001.07	c 1001s |      24 |  4326917 |  3703862 |     1536   5669 |        0 |        0
1002.57/1003.07	c 1003s |      24 |  4336224 |  3712162 |     1536   5678 |        0 |        0
1004.57/1005.08	c 1005s |      24 |  4345797 |  3720562 |     1536   5688 |        0 |        0
1006.67/1007.11	c 1007s |      24 |  4355866 |  3729162 |     1536   5698 |        0 |        0
1008.68/1009.12	c 1009s |      24 |  4364867 |  3737362 |     1536   5708 |        0 |        0
1010.68/1011.14	c 1011s |      24 |  4373727 |  3745362 |     1536   5717 |        0 |        0
1012.68/1013.14	c 1013s |      24 |  4382896 |  3753562 |     1536   5727 |        0 |        0
1014.67/1015.15	c 1015s |      24 |  4391435 |  3761362 |     1536   5736 |        0 |        0
1016.67/1017.16	c 1017s |      24 |  4400387 |  3769562 |     1536   5746 |        0 |        0
1018.67/1019.18	c 1019s |      24 |  4409529 |  3777862 |     1536   5756 |        0 |        0
1020.67/1021.19	c 1021s |      24 |  4418586 |  3785962 |     1536   5765 |        0 |        0
1022.77/1023.21	c 1023s |      24 |  4427547 |  3793962 |     1536   5775 |        0 |        0
1024.78/1025.22	c 1025s |      24 |  4436067 |  3801662 |     1536   5784 |        0 |        0
1026.77/1027.24	c 1027s |      24 |  4445160 |  3809662 |     1536   5793 |        0 |        0
1028.77/1029.25	c 1029s |      24 |  4453507 |  3817062 |     1536   5802 |        0 |        0
1030.77/1031.28	c 1031s |      24 |  4462144 |  3824662 |     1536   5811 |        0 |        0
1032.77/1033.28	c 1033s |      24 |  4470580 |  3832162 |     1536   5820 |        0 |        0
1034.87/1035.30	c 1035s |      24 |  4479209 |  3839862 |     1536   5829 |        0 |        0
1036.87/1037.32	c 1037s |      24 |  4488427 |  3847962 |     1536   5839 |        0 |        0
1038.87/1039.33	c 1039s |      24 |  4496804 |  3855562 |     1536   5848 |        0 |        0
1040.86/1041.34	c 1041s |      24 |  4505252 |  3863162 |     1536   5857 |        0 |        0
1042.86/1043.35	c 1043s |      24 |  4513690 |  3870662 |     1536   5865 |        0 |        0
1044.86/1045.36	c 1045s |      24 |  4522382 |  3878362 |     1536   5875 |        0 |        0
1046.87/1047.38	c 1047s |      24 |  4531197 |  3886162 |     1536   5884 |        0 |        0
1048.86/1049.38	c 1049s |      24 |  4539462 |  3893662 |     1536   5893 |        0 |        0
1050.86/1051.38	c 1051s |      24 |  4547836 |  3901262 |     1536   5902 |        0 |        0
1052.86/1053.38	c 1053s |      24 |  4556798 |  3909062 |     1536   5911 |        0 |        0
1054.86/1055.39	c 1055s |      24 |  4565827 |  3917062 |     1536   5920 |        0 |        0
1056.96/1057.41	c 1057s |      24 |  4575249 |  3925162 |     1536   5930 |        0 |        0
1058.97/1059.43	c 1059s |      24 |  4583869 |  3932862 |     1536   5939 |        0 |        0
1060.96/1061.44	c 1061s |      24 |  4593326 |  3941162 |     1536   5949 |        0 |        0
1062.96/1063.46	c 1063s |      24 |  4602802 |  3949262 |     1536   5958 |        0 |        0
1064.96/1065.47	c 1065s |      24 |  4612033 |  3957262 |     1536   5968 |        0 |        0
1066.96/1067.48	c 1067s |      24 |  4621145 |  3965162 |     1536   5977 |        0 |        0
1068.96/1069.48	c 1069s |      24 |  4630010 |  3973062 |     1536   5986 |        0 |        0
1070.97/1071.50	c 1071s |      24 |  4638756 |  3980862 |     1536   5996 |        0 |        0
1073.06/1073.51	c 1073s |      24 |  4647666 |  3988562 |     1536   6005 |        0 |        0
1075.06/1075.53	c 1075s |      24 |  4656048 |  3995962 |     1536   6013 |        0 |        0
1077.06/1077.53	c 1077s |      24 |  4664923 |  4003462 |     1536   6022 |        0 |        0
1079.06/1079.54	c 1079s |      24 |  4673536 |  4011062 |     1536   6031 |        0 |        0
1081.06/1081.57	c 1081s |      24 |  4682081 |  4018562 |     1536   6040 |        0 |        0
1083.06/1083.57	c 1083s |      24 |  4689966 |  4025762 |     1536   6049 |        0 |        0
1085.06/1085.58	c 1085s |      24 |  4697843 |  4032962 |     1536   6057 |        0 |        0
1087.16/1087.61	c 1087s |      24 |  4705748 |  4040062 |     1536   6066 |        0 |        0
1089.16/1089.63	c 1089s |      24 |  4713076 |  4046862 |     1536   6074 |        0 |        0
1091.16/1091.64	c 1091s |      24 |  4722120 |  4054962 |     1536   6083 |        0 |        0
1093.15/1093.66	c 1093s |      24 |  4731168 |  4062962 |     1536   6093 |        0 |        0
1095.16/1095.67	c 1095s |      24 |  4740026 |  4070862 |     1536   6102 |        0 |        0
1097.15/1097.69	c 1097s |      24 |  4748451 |  4078462 |     1536   6111 |        0 |        0
1099.25/1099.70	c 1099s |      24 |  4756670 |  4085862 |     1536   6120 |        0 |        0
1101.25/1101.73	c 1101s |      24 |  4765290 |  4093562 |     1536   6129 |        0 |        0
1103.25/1103.74	c 1103s |      24 |  4773755 |  4101162 |     1536   6138 |        0 |        0
1105.25/1105.75	c 1105s |      24 |  4782377 |  4108762 |     1536   6147 |        0 |        0
1107.26/1107.75	c 1107s |      24 |  4790814 |  4116262 |     1536   6156 |        0 |        0
1109.25/1109.76	c 1109s |      24 |  4799019 |  4123562 |     1536   6164 |        0 |        0
1111.25/1111.77	c 1111s |      24 |  4807524 |  4131062 |     1536   6173 |        0 |        0
1113.25/1113.78	c 1113s |      24 |  4815452 |  4138162 |     1536   6182 |        0 |        0
1115.25/1115.79	c 1115s |      24 |  4823758 |  4145562 |     1536   6190 |        0 |        0
1117.35/1117.82	c 1117s |      24 |  4831545 |  4152662 |     1536   6199 |        0 |        0
1119.36/1119.83	c 1119s |      24 |  4839344 |  4159662 |     1536   6207 |        0 |        0
1121.35/1121.85	c 1121s |      24 |  4846971 |  4166562 |     1536   6215 |        0 |        0
1123.35/1123.87	c 1123s |      24 |  4855048 |  4173862 |     1536   6224 |        0 |        0
1125.35/1125.89	c 1125s |      24 |  4863728 |  4181562 |     1536   6233 |        0 |        0
1127.45/1127.90	c 1127s |      24 |  4872482 |  4189162 |     1536   6242 |        0 |        0
1129.45/1129.91	c 1129s |      24 |  4881242 |  4196662 |     1536   6251 |        0 |        0
1131.45/1131.92	c 1131s |      24 |  4889626 |  4204062 |     1536   6260 |        0 |        0
1133.45/1133.94	c 1133s |      24 |  4898000 |  4211462 |     1536   6268 |        0 |        0
1135.45/1135.94	c 1135s |      24 |  4905892 |  4218562 |     1536   6277 |        0 |        0
1137.45/1137.94	c 1137s |      24 |  4913826 |  4225562 |     1536   6285 |        0 |        0
1139.44/1139.96	c 1139s |      24 |  4922265 |  4233062 |     1536   6294 |        0 |        0
1141.45/1141.97	c 1141s |      24 |  4931019 |  4240762 |     1536   6303 |        0 |        0
1143.44/1143.97	c 1143s |      24 |  4939300 |  4248162 |     1536   6312 |        0 |        0
1145.44/1145.98	c 1145s |      24 |  4947805 |  4255662 |     1536   6321 |        0 |        0
1147.54/1148.00	c 1147s |      24 |  4955818 |  4262862 |     1536   6329 |        0 |        0
1149.54/1150.02	c 1150s |      24 |  4963699 |  4269962 |     1536   6338 |        0 |        0
1151.54/1152.04	c 1152s |      24 |  4971075 |  4276762 |     1536   6346 |        0 |        0
1153.55/1154.04	c 1154s |      24 |  4979021 |  4283962 |     1536   6354 |        0 |        0
1155.54/1156.06	c 1156s |      24 |  4987559 |  4291462 |     1536   6363 |        0 |        0
1157.54/1158.08	c 1158s |      24 |  4995601 |  4298562 |     1536   6372 |        0 |        0
1159.55/1160.09	c 1160s |      24 |  5004513 |  4306462 |     1536   6381 |        0 |        0
1161.65/1162.11	c 1162s |      24 |  5013824 |  4314562 |     1536   6391 |        0 |        0
1163.65/1164.12	c 1164s |      24 |  5023208 |  4322662 |     1536   6400 |        0 |        0
1165.65/1166.13	c 1166s |      24 |  5032050 |  4330562 |     1536   6409 |        0 |        0
1167.65/1168.14	c 1168s |      24 |  5040463 |  4338062 |     1536   6418 |        0 |        0
1169.65/1170.14	c 1170s |      24 |  5049720 |  4346062 |     1536   6428 |        0 |        0
1171.64/1172.14	c 1172s |      24 |  5058929 |  4354062 |     1536   6437 |        0 |        0
1173.64/1174.16	c 1174s |      24 |  5068549 |  4362362 |     1536   6447 |        0 |        0
1175.64/1176.16	c 1176s |      24 |  5077156 |  4369862 |     1536   6456 |        0 |        0
1177.65/1178.17	c 1178s |      24 |  5085923 |  4377562 |     1536   6465 |        0 |        0
1179.64/1180.18	c 1180s |      24 |  5094484 |  4385062 |     1536   6474 |        0 |        0
1181.64/1182.18	c 1182s |      24 |  5102834 |  4392462 |     1536   6483 |        0 |        0
1183.64/1184.19	c 1184s |      24 |  5110601 |  4399362 |     1536   6491 |        0 |        0
1185.74/1186.20	c 1186s |      24 |  5118499 |  4406562 |     1536   6499 |        0 |        0
1187.74/1188.22	c 1188s |      24 |  5126674 |  4413862 |     1536   6508 |        0 |        0
1189.75/1190.24	c 1190s |      24 |  5134386 |  4420862 |     1536   6516 |        0 |        0
1191.74/1192.26	c 1192s |      24 |  5142692 |  4428262 |     1536   6525 |        0 |        0
1193.74/1194.27	c 1194s |      24 |  5151590 |  4435862 |     1536   6534 |        0 |        0
1195.74/1196.28	c 1196s |      24 |  5159657 |  4443062 |     1536   6543 |        0 |        0
1197.83/1198.30	c 1198s |      24 |  5167852 |  4450262 |     1536   6551 |        0 |        0
1199.83/1200.30	c 1200s |      24 |  5175052 |  4456762 |     1536   6559 |        0 |        0
1201.84/1202.32	c 1202s |      24 |  5182935 |  4463862 |     1536   6567 |        0 |        0
1203.83/1204.34	c 1204s |      24 |  5190453 |  4470662 |     1536   6575 |        0 |        0
1205.83/1206.35	c 1206s |      24 |  5197922 |  4477462 |     1536   6583 |        0 |        0
1207.83/1208.36	c 1208s |      24 |  5205169 |  4484162 |     1536   6591 |        0 |        0
1209.84/1210.37	c 1210s |      24 |  5214502 |  4491962 |     1536   6601 |        0 |        0
1211.85/1212.39	c 1212s |      24 |  5223113 |  4499462 |     1536   6609 |        0 |        0
1213.95/1214.41	c 1214s |      24 |  5231326 |  4506862 |     1536   6618 |        0 |        0
1215.94/1216.43	c 1216s |      24 |  5239472 |  4514262 |     1536   6627 |        0 |        0
1217.94/1218.44	c 1218s |      24 |  5247606 |  4521562 |     1536   6636 |        0 |        0
1219.94/1220.46	c 1220s |      24 |  5255977 |  4528962 |     1536   6644 |        0 |        0
1221.94/1222.48	c 1222s |      24 |  5263972 |  4536162 |     1536   6653 |        0 |        0
1223.94/1224.50	c 1224s |      24 |  5271902 |  4543262 |     1536   6661 |        0 |        0
1225.94/1226.50	c 1226s |      24 |  5279423 |  4550062 |     1536   6669 |        0 |        0
1228.03/1228.51	c 1228s |      24 |  5287419 |  4557162 |     1536   6678 |        0 |        0
1230.03/1230.52	c 1230s |      24 |  5295489 |  4564262 |     1536   6686 |        0 |        0
1232.03/1232.55	c 1232s |      24 |  5303160 |  4571162 |     1536   6694 |        0 |        0
1234.03/1234.55	c 1234s |      24 |  5311581 |  4578462 |     1536   6703 |        0 |        0
1236.04/1236.58	c 1236s |      24 |  5319678 |  4585662 |     1536   6711 |        0 |        0
1238.03/1238.60	c 1238s |      24 |  5327739 |  4592862 |     1536   6720 |        0 |        0
1240.13/1240.61	c 1240s |      24 |  5336054 |  4600162 |     1536   6728 |        0 |        0
1242.13/1242.62	c 1242s |      24 |  5343740 |  4606962 |     1536   6737 |        0 |        0
1244.13/1244.63	c 1244s |      24 |  5351918 |  4614062 |     1536   6745 |        0 |        0
1246.13/1246.66	c 1246s |      24 |  5360050 |  4621262 |     1536   6754 |        0 |        0
1248.14/1248.67	c 1248s |      24 |  5368698 |  4628762 |     1536   6762 |        0 |        0
1250.13/1250.70	c 1250s |      24 |  5376949 |  4636062 |     1536   6771 |        0 |        0
1252.23/1252.71	c 1252s |      24 |  5385211 |  4643162 |     1536   6780 |        0 |        0
1254.23/1254.73	c 1254s |      24 |  5393727 |  4650462 |     1536   6788 |        0 |        0
1256.23/1256.74	c 1256s |      24 |  5401485 |  4657362 |     1536   6796 |        0 |        0
1258.23/1258.76	c 1258s |      24 |  5409951 |  4664562 |     1536   6805 |        0 |        0
1260.24/1260.78	c 1260s |      24 |  5417795 |  4671462 |     1536   6813 |        0 |        0
1262.23/1262.80	c 1262s |      24 |  5426902 |  4678362 |     1536   6822 |        0 |        0
1264.33/1264.80	c 1264s |      24 |  5433823 |  4684362 |     1536   6829 |        0 |        0
1266.33/1266.82	c 1266s |      24 |  5441093 |  4690562 |     1536   6836 |        0 |        0
1268.33/1268.82	c 1268s |      24 |  5447628 |  4696262 |     1536   6843 |        0 |        0
1270.33/1270.85	c 1270s |      24 |  5454163 |  4701862 |     1536   6850 |        0 |        0
1272.33/1272.87	c 1272s |      24 |  5461341 |  4707962 |     1536   6857 |        0 |        0
1274.33/1274.89	c 1274s |      24 |  5467730 |  4713662 |     1536   6864 |        0 |        0
1276.43/1276.93	c 1276s |      24 |  5474473 |  4719662 |     1536   6871 |        0 |        0
1278.43/1278.93	c 1278s |      24 |  5481485 |  4725862 |     1536   6879 |        0 |        0
1280.43/1280.94	c 1280s |      24 |  5488744 |  4731962 |     1536   6886 |        0 |        0
1282.43/1282.98	c 1282s |      24 |  5496310 |  4738062 |     1536   6894 |        0 |        0
1284.52/1285.00	c 1284s |      24 |  5503457 |  4744162 |     1536   6901 |        0 |        0
1286.53/1287.01	c 1287s |      24 |  5510867 |  4750462 |     1536   6909 |        0 |        0
1288.52/1289.02	c 1289s |      24 |  5517643 |  4756362 |     1536   6916 |        0 |        0
1290.52/1291.03	c 1291s |      24 |  5524298 |  4762162 |     1536   6923 |        0 |        0
1292.52/1293.05	c 1293s |      24 |  5531103 |  4767962 |     1536   6930 |        0 |        0
1294.52/1295.08	c 1295s |      24 |  5538244 |  4774162 |     1536   6937 |        0 |        0
1296.53/1297.09	c 1297s |      24 |  5544914 |  4780062 |     1536   6945 |        0 |        0
1298.52/1299.10	c 1299s |      24 |  5551942 |  4786162 |     1536   6952 |        0 |        0
1300.62/1301.12	c 1301s |      24 |  5558640 |  4791962 |     1536   6959 |        0 |        0
1302.62/1303.14	c 1303s |      24 |  5565613 |  4797962 |     1536   6966 |        0 |        0
1304.62/1305.15	c 1305s |      24 |  5572571 |  4803962 |     1536   6973 |        0 |        0
1306.62/1307.18	c 1307s |      24 |  5578972 |  4809662 |     1536   6980 |        0 |        0
1308.72/1309.22	c 1309s |      24 |  5586194 |  4815662 |     1536   6988 |        0 |        0
1310.73/1311.23	c 1311s |      24 |  5593694 |  4821862 |     1536   6995 |        0 |        0
1312.72/1313.24	c 1313s |      24 |  5600438 |  4827662 |     1536   7002 |        0 |        0
1314.72/1315.25	c 1315s |      24 |  5607871 |  4833662 |     1536   7009 |        0 |        0
1316.72/1317.27	c 1317s |      24 |  5615681 |  4839762 |     1536   7017 |        0 |        0
1318.72/1319.27	c 1319s |      24 |  5622564 |  4845562 |     1536   7024 |        0 |        0
1320.72/1321.27	c 1321s |      24 |  5629640 |  4851462 |     1536   7031 |        0 |        0
1322.72/1323.30	c 1323s |      24 |  5636835 |  4857462 |     1536   7038 |        0 |        0
1324.82/1325.30	c 1325s |      24 |  5643859 |  4863462 |     1536   7046 |        0 |        0
1326.82/1327.31	c 1327s |      24 |  5650584 |  4869362 |     1536   7053 |        0 |        0
1328.82/1329.34	c 1329s |      24 |  5658390 |  4875662 |     1536   7060 |        0 |        0
1330.82/1331.34	c 1331s |      24 |  5665344 |  4881662 |     1536   7068 |        0 |        0
1332.82/1333.37	c 1333s |      24 |  5672113 |  4887562 |     1536   7075 |        0 |        0
1334.82/1335.40	c 1335s |      24 |  5679086 |  4893562 |     1536   7082 |        0 |        0
1336.91/1337.42	c 1337s |      24 |  5686223 |  4899562 |     1536   7089 |        0 |        0
1338.91/1339.43	c 1339s |      24 |  5693158 |  4905562 |     1536   7097 |        0 |        0
1340.91/1341.46	c 1341s |      24 |  5699750 |  4911262 |     1536   7103 |        0 |        0
1342.91/1343.49	c 1343s |      24 |  5706589 |  4917162 |     1536   7111 |        0 |        0
1345.01/1345.51	c 1345s |      24 |  5713952 |  4923462 |     1536   7118 |        0 |        0
1347.02/1347.54	c 1347s |      24 |  5720984 |  4929662 |     1536   7126 |        0 |        0
1349.01/1349.55	c 1349s |      24 |  5727787 |  4935662 |     1536   7133 |        0 |        0
1351.02/1351.58	c 1351s |      24 |  5735170 |  4941962 |     1536   7141 |        0 |        0
1353.12/1353.60	c 1353s |      24 |  5742517 |  4948362 |     1536   7148 |        0 |        0
1355.12/1355.63	c 1355s |      24 |  5749357 |  4954362 |     1536   7156 |        0 |        0
1357.12/1357.65	c 1357s |      24 |  5756549 |  4960462 |     1536   7163 |        0 |        0
1359.13/1359.65	c 1359s |      24 |  5762925 |  4966162 |     1536   7170 |        0 |        0
1361.12/1361.67	c 1361s |      24 |  5769567 |  4971962 |     1536   7177 |        0 |        0
1363.12/1363.68	c 1363s |      24 |  5776412 |  4978062 |     1536   7184 |        0 |        0
1365.22/1365.71	c 1365s |      24 |  5783960 |  4984262 |     1536   7192 |        0 |        0
1367.22/1367.71	c 1367s |      24 |  5791037 |  4990162 |     1536   7199 |        0 |        0
1369.22/1369.71	c 1369s |      24 |  5798136 |  4996262 |     1536   7206 |        0 |        0
1371.22/1371.74	c 1371s |      24 |  5805165 |  5002262 |     1536   7214 |        0 |        0
1373.22/1373.74	c 1373s |      24 |  5812111 |  5008162 |     1536   7221 |        0 |        0
1375.22/1375.76	c 1375s |      24 |  5819153 |  5013962 |     1536   7228 |        0 |        0
1377.22/1377.77	c 1377s |      24 |  5825938 |  5019862 |     1536   7235 |        0 |        0
1379.22/1379.79	c 1379s |      24 |  5832639 |  5025662 |     1536   7242 |        0 |        0
1381.31/1381.82	c 1381s |      24 |  5839292 |  5031562 |     1690   7249 |        0 |        0
1383.32/1383.85	c 1383s |      24 |  5846319 |  5037662 |     1690   7256 |        0 |        0
1385.31/1385.88	c 1385s |      24 |  5853075 |  5043662 |     1690   7262 |        0 |        0
1387.31/1387.88	c 1387s |      24 |  5859431 |  5049162 |     1690   7268 |        0 |        0
1389.41/1389.90	c 1389s |      24 |  5866339 |  5055162 |     1690   7275 |        0 |        0
1391.41/1391.91	c 1391s |      24 |  5872682 |  5060762 |     1690   7281 |        0 |        0
1392.91/1393.48	c 1393s |      25 |  5877648 |  5065098 |     1690   7286 |        0 |        0
1394.91/1395.49	c 1395s |      25 |  5885326 |  5071598 |     1690   7293 |        0 |        0
1397.01/1397.52	c 1397s |      25 |  5892099 |  5077698 |     1690   7300 |        0 |        0
1399.01/1399.54	c 1399s |      25 |  5898593 |  5083598 |     1690   7306 |        0 |        0
1401.02/1401.54	c 1401s |      25 |  5905686 |  5089798 |     1690   7313 |        0 |        0
1403.01/1403.54	c 1403s |      25 |  5912460 |  5095598 |     1690   7319 |        0 |        0
1405.01/1405.56	c 1405s |      25 |  5918843 |  5101398 |     1690   7325 |        0 |        0
1407.01/1407.57	c 1407s |      25 |  5925355 |  5107098 |     1690   7332 |        0 |        0
1409.01/1409.57	c 1409s |      25 |  5931909 |  5112898 |     1690   7338 |        0 |        0
1411.01/1411.59	c 1411s |      25 |  5938139 |  5118498 |     1690   7344 |        0 |        0
1413.12/1413.62	c 1413s |      25 |  5944934 |  5124298 |     1690   7350 |        0 |        0
1415.11/1415.63	c 1415s |      25 |  5951311 |  5129798 |     1690   7356 |        0 |        0
1417.11/1417.66	c 1417s |      25 |  5958127 |  5135498 |     1690   7363 |        0 |        0
1419.11/1419.68	c 1419s |      25 |  5964751 |  5141198 |     1690   7369 |        0 |        0
1421.21/1421.70	c 1421s |      25 |  5971836 |  5147198 |     1690   7376 |        0 |        0
1423.20/1423.73	c 1423s |      25 |  5979337 |  5153398 |     1690   7382 |        0 |        0
1425.21/1425.75	c 1425s |      25 |  5986179 |  5159198 |     1690   7389 |        0 |        0
1427.20/1427.77	c 1427s |      25 |  5993212 |  5165098 |     1690   7395 |        0 |        0
1429.20/1429.78	c 1429s |      25 |  6000095 |  5170898 |     1690   7401 |        0 |        0
1431.30/1431.81	c 1431s |      25 |  6007009 |  5176798 |     1690   7408 |        0 |        0
1433.30/1433.82	c 1433s |      25 |  6013052 |  5182098 |     1690   7414 |        0 |        0
1435.30/1435.84	c 1435s |      25 |  6020299 |  5188198 |     1690   7420 |        0 |        0
1437.31/1437.87	c 1437s |      25 |  6026857 |  5193998 |     1690   7427 |        0 |        0
1439.30/1439.88	c 1439s |      25 |  6033428 |  5199798 |     1690   7433 |        0 |        0
1441.30/1441.88	c 1441s |      25 |  6039916 |  5205498 |     1690   7439 |        0 |        0
1443.30/1443.89	c 1443s |      25 |  6046984 |  5211498 |     1690   7446 |        0 |        0
1445.40/1445.90	c 1445s |      25 |  6054161 |  5217598 |     1690   7452 |        0 |        0
1447.40/1447.91	c 1447s |      25 |  6061089 |  5223598 |     1690   7459 |        0 |        0
1449.41/1449.91	c 1449s |      25 |  6067758 |  5229598 |     1690   7465 |        0 |        0
1451.40/1451.93	c 1451s |      25 |  6074767 |  5235898 |     1690   7472 |        0 |        0
1453.40/1453.94	c 1453s |      25 |  6082009 |  5242298 |     1690   7479 |        0 |        0
1455.40/1455.97	c 1455s |      25 |  6089189 |  5248698 |     1690   7486 |        0 |        0
1457.40/1457.97	c 1457s |      25 |  6096122 |  5254798 |     1690   7492 |        0 |        0
1459.50/1460.00	c 1459s |      25 |  6103226 |  5260998 |     1690   7499 |        0 |        0
1461.50/1462.02	c 1462s |      25 |  6110731 |  5267398 |     1690   7506 |        0 |        0
1463.49/1464.05	c 1464s |      25 |  6118163 |  5273698 |     1690   7513 |        0 |        0
1465.49/1466.07	c 1466s |      25 |  6125005 |  5279698 |     1690   7519 |        0 |        0
1467.49/1468.08	c 1468s |      25 |  6131448 |  5285398 |     1690   7525 |        0 |        0
1469.49/1470.10	c 1470s |      25 |  6138852 |  5291698 |     1690   7532 |        0 |        0
1471.60/1472.12	c 1472s |      25 |  6145627 |  5297598 |     1690   7539 |        0 |        0
1473.61/1474.12	c 1474s |      25 |  6152419 |  5303598 |     1690   7545 |        0 |        0
1475.60/1476.15	c 1476s |      25 |  6158927 |  5309398 |     1690   7551 |        0 |        0
1477.60/1478.15	c 1478s |      25 |  6165651 |  5315198 |     1690   7558 |        0 |        0
1479.60/1480.18	c 1480s |      25 |  6172428 |  5321098 |     1690   7564 |        0 |        0
1481.70/1482.20	c 1482s |      25 |  6178812 |  5326798 |     1690   7570 |        0 |        0
1483.70/1484.22	c 1484s |      25 |  6185666 |  5332698 |     1690   7577 |        0 |        0
1485.71/1486.23	c 1486s |      25 |  6192658 |  5338798 |     1690   7583 |        0 |        0
1487.70/1488.25	c 1488s |      25 |  6199382 |  5344698 |     1690   7590 |        0 |        0
1489.70/1490.25	c 1490s |      25 |  6205788 |  5350398 |     1690   7596 |        0 |        0
1491.70/1492.26	c 1492s |      25 |  6211926 |  5355998 |     1690   7602 |        0 |        0
1493.70/1494.26	c 1494s |      25 |  6218126 |  5361498 |     1690   7608 |        0 |        0
1495.69/1496.27	c 1496s |      25 |  6224466 |  5367098 |     1690   7614 |        0 |        0
1497.70/1498.30	c 1498s |      25 |  6231119 |  5372898 |     1690   7620 |        0 |        0
1499.79/1500.33	c 1500s |      25 |  6237626 |  5378698 |     1690   7627 |        0 |        0
1501.79/1502.33	c 1502s |      25 |  6244021 |  5384298 |     1690   7633 |        0 |        0
1503.79/1504.35	c 1504s |      25 |  6251376 |  5390498 |     1690   7640 |        0 |        0
1505.79/1506.36	c 1506s |      25 |  6258674 |  5396798 |     1690   7646 |        0 |        0
1507.79/1508.37	c 1508s |      25 |  6265465 |  5402698 |     1690   7653 |        0 |        0
1509.80/1510.40	c 1510s |      25 |  6272035 |  5408598 |     1690   7659 |        0 |        0
1511.89/1512.42	c 1512s |      25 |  6279240 |  5414798 |     1690   7666 |        0 |        0
1513.89/1514.43	c 1514s |      25 |  6286388 |  5420998 |     1690   7673 |        0 |        0
1515.89/1516.44	c 1516s |      25 |  6293166 |  5426898 |     1690   7679 |        0 |        0
1517.89/1518.44	c 1518s |      25 |  6299527 |  5432598 |     1690   7685 |        0 |        0
1519.89/1520.45	c 1520s |      25 |  6305997 |  5438498 |     1690   7692 |        0 |        0
1521.90/1522.46	c 1522s |      25 |  6313006 |  5444698 |     1690   7698 |        0 |        0
1523.89/1524.48	c 1524s |      25 |  6319575 |  5450498 |     1690   7705 |        0 |        0
1525.99/1526.52	c 1526s |      25 |  6326464 |  5456598 |     1690   7711 |        0 |        0
1527.99/1528.54	c 1528s |      25 |  6333190 |  5462398 |     1690   7718 |        0 |        0
1529.99/1530.56	c 1530s |      25 |  6340061 |  5468298 |     1690   7724 |        0 |        0
1531.99/1532.58	c 1532s |      25 |  6346822 |  5474198 |     1690   7730 |        0 |        0
1534.09/1534.61	c 1534s |      25 |  6353763 |  5480198 |     1690   7737 |        0 |        0
1536.09/1536.63	c 1536s |      25 |  6360754 |  5486298 |     1690   7744 |        0 |        0
1538.09/1538.65	c 1538s |      25 |  6367143 |  5491998 |     1690   7750 |        0 |        0
1540.08/1540.65	c 1540s |      25 |  6373615 |  5497798 |     1690   7756 |        0 |        0
1542.08/1542.67	c 1542s |      25 |  6380339 |  5503798 |     1690   7762 |        0 |        0
1544.18/1544.70	c 1544s |      25 |  6386622 |  5509498 |     1690   7769 |        0 |        0
1546.19/1546.72	c 1546s |      25 |  6393105 |  5515298 |     1690   7775 |        0 |        0
1548.18/1548.75	c 1548s |      25 |  6399743 |  5521198 |     1690   7781 |        0 |        0
1550.18/1550.76	c 1550s |      25 |  6406102 |  5526798 |     1690   7787 |        0 |        0
1552.18/1552.77	c 1552s |      25 |  6412654 |  5532498 |     1690   7794 |        0 |        0
1554.18/1554.77	c 1554s |      25 |  6419442 |  5538398 |     1690   7800 |        0 |        0
1556.18/1556.77	c 1556s |      25 |  6426728 |  5544898 |     1690   7807 |        0 |        0
1558.20/1558.78	c 1558s |      25 |  6433721 |  5550998 |     1690   7814 |        0 |        0
1560.29/1560.80	c 1560s |      25 |  6440905 |  5557298 |     1690   7821 |        0 |        0
1562.29/1562.81	c 1562s |      25 |  6448149 |  5563698 |     1690   7827 |        0 |        0
1564.29/1564.82	c 1564s |      25 |  6455421 |  5569998 |     1690   7834 |        0 |        0
1566.29/1566.85	c 1566s |      25 |  6462514 |  5576198 |     1690   7841 |        0 |        0
1568.29/1568.88	c 1568s |      25 |  6468986 |  5581998 |     1690   7847 |        0 |        0
1570.29/1570.90	c 1570s |      25 |  6475823 |  5587998 |     1690   7854 |        0 |        0
1572.39/1572.93	c 1572s |      25 |  6482913 |  5593998 |     1690   7860 |        0 |        0
1574.38/1574.95	c 1574s |      25 |  6489730 |  5599898 |     1690   7867 |        0 |        0
1576.38/1576.96	c 1576s |      25 |  6496502 |  5605898 |     1690   7873 |        0 |        0
1578.38/1578.98	c 1578s |      25 |  6503356 |  5611898 |     1690   7880 |        0 |        0
1580.38/1580.99	c 1580s |      25 |  6510593 |  5618098 |     1690   7886 |        0 |        0
1582.39/1583.00	c 1582s |      25 |  6517507 |  5623998 |     1690   7893 |        0 |        0
1584.48/1585.01	c 1584s |      25 |  6524443 |  5629998 |     1690   7899 |        0 |        0
1586.48/1587.04	c 1587s |      25 |  6531146 |  5635798 |     1690   7905 |        0 |        0
1588.48/1589.05	c 1589s |      25 |  6538026 |  5641998 |     1690   7912 |        0 |        0
1590.48/1591.07	c 1591s |      25 |  6545598 |  5648598 |     1690   7919 |        0 |        0
1592.48/1593.07	c 1593s |      25 |  6552610 |  5654798 |     1690   7926 |        0 |        0
1594.49/1595.08	c 1595s |      25 |  6559518 |  5660998 |     1690   7933 |        0 |        0
1596.58/1597.13	c 1597s |      25 |  6566401 |  5667198 |     1690   7940 |        0 |        0
1598.58/1599.14	c 1599s |      25 |  6572800 |  5673098 |     1690   7946 |        0 |        0
1600.58/1601.19	c 1601s |      25 |  6579391 |  5679098 |     1690   7953 |        0 |        0
1602.58/1603.19	c 1603s |      25 |  6585642 |  5684798 |     1690   7959 |        0 |        0
1604.68/1605.21	c 1605s |      25 |  6592071 |  5690598 |     1690   7965 |        0 |        0
1606.68/1607.22	c 1607s |      25 |  6598597 |  5696398 |     1690   7971 |        0 |        0
1608.68/1609.24	c 1609s |      25 |  6605110 |  5702198 |     1690   7978 |        0 |        0
1610.68/1611.24	c 1611s |      25 |  6611902 |  5708298 |     1690   7984 |        0 |        0
1612.67/1613.27	c 1613s |      25 |  6618227 |  5713998 |     1690   7991 |        0 |        0
1614.67/1615.28	c 1615s |      25 |  6625469 |  5720298 |     1690   7997 |        0 |        0
1616.77/1617.31	c 1617s |      25 |  6632878 |  5726698 |     1690   8004 |        0 |        0
1618.78/1619.34	c 1619s |      25 |  6640203 |  5732998 |     1690   8011 |        0 |        0
1620.77/1621.35	c 1621s |      25 |  6647246 |  5739098 |     1690   8018 |        0 |        0
1622.77/1623.37	c 1623s |      25 |  6653986 |  5744998 |     1690   8024 |        0 |        0
1624.77/1625.37	c 1625s |      25 |  6661204 |  5751098 |     1690   8031 |        0 |        0
1626.77/1627.39	c 1627s |      25 |  6668280 |  5757098 |     1690   8037 |        0 |        0
1628.87/1629.41	c 1629s |      25 |  6675617 |  5763298 |     1690   8044 |        0 |        0
1630.88/1631.44	c 1631s |      25 |  6682398 |  5769298 |     1690   8051 |        0 |        0
1632.87/1633.46	c 1633s |      25 |  6689299 |  5775398 |     1690   8057 |        0 |        0
1634.87/1635.48	c 1635s |      25 |  6695774 |  5781298 |     1690   8064 |        0 |        0
1636.87/1637.49	c 1637s |      25 |  6702394 |  5787098 |     1690   8070 |        0 |        0
1638.87/1639.49	c 1639s |      25 |  6709131 |  5792898 |     1690   8076 |        0 |        0
1640.98/1641.51	c 1641s |      25 |  6715846 |  5798898 |     1690   8083 |        0 |        0
1642.98/1643.52	c 1643s |      25 |  6722901 |  5805098 |     1690   8089 |        0 |        0
1644.97/1645.54	c 1645s |      25 |  6730682 |  5811698 |     1690   8097 |        0 |        0
1646.97/1647.56	c 1647s |      25 |  6737617 |  5817798 |     1690   8103 |        0 |        0
1648.97/1649.57	c 1649s |      25 |  6744235 |  5823698 |     1690   8109 |        0 |        0
1650.97/1651.57	c 1651s |      25 |  6751916 |  5830098 |     1690   8116 |        0 |        0
1652.97/1653.59	c 1653s |      25 |  6759798 |  5836598 |     1690   8123 |        0 |        0
1655.08/1655.63	c 1655s |      25 |  6767600 |  5843198 |     1690   8131 |        0 |        0
1657.07/1657.64	c 1657s |      25 |  6775514 |  5849798 |     1690   8138 |        0 |        0
1659.07/1659.64	c 1659s |      25 |  6783358 |  5856298 |     1690   8145 |        0 |        0
1661.07/1661.65	c 1661s |      25 |  6791251 |  5862798 |     1690   8152 |        0 |        0
1663.07/1663.67	c 1663s |      25 |  6799079 |  5869298 |     1690   8159 |        0 |        0
1665.17/1665.70	c 1665s |      25 |  6806653 |  5875698 |     1690   8166 |        0 |        0
1667.18/1667.71	c 1667s |      25 |  6813851 |  5881998 |     1690   8173 |        0 |        0
1669.17/1669.72	c 1669s |      25 |  6821210 |  5888198 |     1690   8179 |        0 |        0
1671.17/1671.75	c 1671s |      25 |  6829255 |  5894998 |     1690   8187 |        0 |        0
1673.17/1673.77	c 1673s |      25 |  6837046 |  5901598 |     1690   8194 |        0 |        0
1675.17/1675.79	c 1675s |      25 |  6844467 |  5907898 |     1690   8201 |        0 |        0
1677.27/1677.81	c 1677s |      25 |  6851709 |  5913998 |     1690   8207 |        0 |        0
1679.27/1679.82	c 1679s |      25 |  6858933 |  5920198 |     1690   8214 |        0 |        0
1681.26/1681.85	c 1681s |      25 |  6866024 |  5926298 |     1690   8221 |        0 |        0
1683.26/1683.88	c 1683s |      25 |  6872094 |  5931798 |     1690   8227 |        0 |        0
1685.36/1685.91	c 1685s |      25 |  6879803 |  5938098 |     1690   8234 |        0 |        0
1687.36/1687.93	c 1687s |      25 |  6887473 |  5944498 |     1690   8241 |        0 |        0
1689.36/1689.95	c 1689s |      25 |  6894649 |  5950698 |     1690   8247 |        0 |        0
1691.37/1691.98	c 1691s |      25 |  6901357 |  5956498 |     1690   8254 |        0 |        0
1693.36/1693.98	c 1693s |      25 |  6908529 |  5962598 |     1690   8260 |        0 |        0
1695.46/1696.02	c 1696s |      25 |  6914926 |  5968198 |     1690   8266 |        0 |        0
1697.46/1698.05	c 1698s |      25 |  6921945 |  5974198 |     1690   8273 |        0 |        0
1699.46/1700.07	c 1700s |      25 |  6928842 |  5980198 |     1690   8279 |        0 |        0
1701.46/1702.07	c 1702s |      25 |  6935723 |  5986198 |     1690   8286 |        0 |        0
1703.56/1704.10	c 1704s |      25 |  6942591 |  5992198 |     1690   8292 |        0 |        0
1705.56/1706.11	c 1706s |      25 |  6949115 |  5997998 |     1690   8299 |        0 |        0
1707.56/1708.15	c 1708s |      25 |  6956167 |  6004198 |     1690   8305 |        0 |        0
1709.56/1710.16	c 1710s |      25 |  6963482 |  6010298 |     1690   8312 |        0 |        0
1711.56/1712.18	c 1712s |      25 |  6970094 |  6016098 |     1690   8318 |        0 |        0
1713.56/1714.19	c 1714s |      25 |  6976996 |  6022198 |     1690   8325 |        0 |        0
1715.66/1716.23	c 1716s |      25 |  6984262 |  6028298 |     1690   8332 |        0 |        0
1717.66/1718.26	c 1718s |      25 |  6991356 |  6034498 |     1690   8338 |        0 |        0
1719.66/1720.27	c 1720s |      25 |  6997928 |  6040298 |     1690   8345 |        0 |        0
1721.65/1722.28	c 1722s |      25 |  7004885 |  6046398 |     1690   8351 |        0 |        0
1723.75/1724.31	c 1724s |      25 |  7012448 |  6052698 |     1690   8358 |        0 |        0
1725.75/1726.32	c 1726s |      25 |  7019888 |  6058898 |     1690   8365 |        0 |        0
1727.75/1728.32	c 1728s |      25 |  7026909 |  6064898 |     1690   8371 |        0 |        0
1729.76/1730.34	c 1730s |      25 |  7033570 |  6070698 |     1690   8378 |        0 |        0
1731.75/1732.35	c 1732s |      25 |  7040066 |  6076498 |     1690   8384 |        0 |        0
1733.75/1734.37	c 1734s |      25 |  7047524 |  6082898 |     1690   8391 |        0 |        0
1735.75/1736.38	c 1736s |      25 |  7055614 |  6089398 |     1690   8398 |        0 |        0
1737.86/1738.40	c 1738s |      25 |  7062784 |  6095498 |     1690   8405 |        0 |        0
1739.86/1740.41	c 1740s |      25 |  7070288 |  6101798 |     1690   8411 |        0 |        0
1741.87/1742.44	c 1742s |      25 |  7077607 |  6107998 |     1690   8418 |        0 |        0
1743.86/1744.45	c 1744s |      25 |  7084999 |  6114398 |     1690   8425 |        0 |        0
1745.86/1746.46	c 1746s |      25 |  7091469 |  6120098 |     1690   8431 |        0 |        0
1747.86/1748.48	c 1748s |      25 |  7097788 |  6125698 |     1690   8437 |        0 |        0
1749.96/1750.50	c 1750s |      25 |  7103668 |  6131098 |     1690   8443 |        0 |        0
1751.96/1752.53	c 1752s |      25 |  7110631 |  6136998 |     1690   8449 |        0 |        0
1753.96/1754.53	c 1754s |      25 |  7117228 |  6142798 |     1690   8456 |        0 |        0
1755.96/1756.53	c 1756s |      25 |  7123526 |  6148298 |     1690   8462 |        0 |        0
1757.95/1758.55	c 1758s |      25 |  7130101 |  6154098 |     1690   8468 |        0 |        0
1759.95/1760.58	c 1760s |      25 |  7136123 |  6159498 |     1690   8474 |        0 |        0
1762.05/1762.61	c 1762s |      25 |  7142510 |  6165198 |     1690   8480 |        0 |        0
1764.05/1764.63	c 1764s |      25 |  7148462 |  6170398 |     1690   8486 |        0 |        0
1766.06/1766.67	c 1766s |      25 |  7154788 |  6175898 |     1690   8491 |        0 |        0
1768.05/1768.69	c 1768s |      25 |  7161088 |  6181498 |     1690   8498 |        0 |        0
1770.05/1770.69	c 1770s |      25 |  7167490 |  6187098 |     1690   8504 |        0 |        0
1772.15/1772.71	c 1772s |      25 |  7173795 |  6192798 |     1690   8510 |        0 |        0
1774.15/1774.74	c 1774s |      25 |  7180158 |  6198498 |     1690   8516 |        0 |        0
1776.15/1776.76	c 1776s |      25 |  7186504 |  6204098 |     1690   8522 |        0 |        0
1778.26/1778.81	c 1778s |      25 |  7192146 |  6209298 |     1690   8528 |        0 |        0
1780.25/1780.84	c 1780s |      25 |  7197410 |  6214198 |     1690   8533 |        0 |        0
1782.25/1782.85	c 1782s |      25 |  7203570 |  6219698 |     1690   8539 |        0 |        0
1784.25/1784.86	c 1784s |      25 |  7209413 |  6225098 |     1690   8545 |        0 |        0
1786.25/1786.87	c 1786s |      25 |  7215371 |  6230498 |     1690   8551 |        0 |        0
1788.25/1788.87	c 1788s |      25 |  7221243 |  6235798 |     1690   8556 |        0 |        0
1790.25/1790.89	c 1790s |      25 |  7227158 |  6241098 |     1690   8562 |        0 |        0
1792.35/1792.92	c 1792s |      25 |  7233408 |  6246698 |     1690   8568 |        0 |        0
1794.35/1794.94	c 1794s |      25 |  7239647 |  6252198 |     1690   8574 |        0 |        0
1796.35/1796.95	c 1796s |      25 |  7245832 |  6257698 |     1690   8580 |        0 |        0
1798.35/1798.97	c 1798s |      25 |  7251752 |  6263098 |     1690   8586 |        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-4089806-1466034195/watcher-4089806-1466034195 -o /tmp/evaluation-result-4089806-1466034195/solver-4089806-1466034195 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089806-1466034195.opb 

pid=15747
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: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=738884 CPUtime=0 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 2760 0 0 0 0 0 0 0 20 0 4 0 5465280 756617216 2610 33554432000 4194304 16246674 140736966241584 140736966241008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 185233 2620 442 2943 0 182127 0
[pid=15752/tid=15754] ppid=15747 vsize=762436 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 780734464 2702 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=766532 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 784928768 2717 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=770628 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 789123072 2735 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 25995 0 0 0 5 4 0 0 20 0 4 0 5465280 1247350784 25833 33554432000 4194304 16246674 140736966241584 140736966241008 5725352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 304529 25841 712 2943 0 301423 0
[pid=15752/tid=15754] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 25847 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 25853 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 25862 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200581 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 50782 0 0 0 12 7 0 0 20 0 4 0 5465280 1247350784 50621 33554432000 4194304 16246674 140736966241584 140736966241008 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 304529 50635 712 2943 0 301423 0
[pid=15752/tid=15754] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 50643 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 50648 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 50655 33554432000 4194304 16246674 140736966241584 140264732609712 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.300577 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 75902 0 0 0 18 10 0 0 20 0 4 0 5465280 1247350784 75740 33554432000 4194304 16246674 140736966241584 140736966241008 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 304529 75747 712 2943 0 301423 0
[pid=15752/tid=15754] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 75753 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 75762 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 75772 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70049 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 177608 0 0 0 46 23 0 0 20 0 4 0 5465280 1247350784 177447 33554432000 4194304 16246674 140736966241584 140736966241008 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 304529 177456 713 2943 0 301423 0
[pid=15752/tid=15754] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 177469 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 177483 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 177497 33554432000 4194304 16246674 140736966241584 140264732609712 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.50049 s]
/proc/loadavg: 1.26 1.36 1.68 4/183 15761
/proc/meminfo: memFree=28392816/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 245733 0 0 0 115 34 0 0 20 0 4 0 5465280 1248399360 245551 33554432000 4194304 16246674 140736966241584 140736966240896 5665407 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 304785 245551 790 2943 0 301679 0
[pid=15752/tid=15754] ppid=15747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 245551 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 245551 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 245551 33554432000 4194304 16246674 140736966241584 140264732609712 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) 1219140

[startup+3.10052 s]
/proc/loadavg: 1.26 1.36 1.68 4/183 15761
/proc/meminfo: memFree=28220208/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267438 0 0 0 273 36 0 0 20 0 4 0 5465280 1337528320 267256 33554432000 4194304 16246674 140736966241584 140736966224584 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 326545 267256 791 2943 0 323439 0
[pid=15752/tid=15754] ppid=15747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267256 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267256 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267256 33554432000 4194304 16246674 140736966241584 140264732609712 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.30051 s]
/proc/loadavg: 1.32 1.37 1.68 4/183 15761
/proc/meminfo: memFree=28217380/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267621 0 0 0 593 36 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140736966224584 6020465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 326801 267439 791 2943 0 323695 0
[pid=15752/tid=15754] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 1.37 1.38 1.68 4/183 15761
/proc/meminfo: memFree=28216688/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267621 0 0 0 1232 36 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140736966224584 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 326801 267439 791 2943 0 323695 0
[pid=15752/tid=15754] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267439 33554432000 4194304 16246674 140736966241584 140264732609712 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) 1307204

[startup+25.5004 s]
/proc/loadavg: 1.51 1.41 1.68 4/183 15761
/proc/meminfo: memFree=28217128/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267703 0 0 0 2512 37 0 0 20 0 4 0 5465280 1338576896 267521 33554432000 4194304 16246674 140736966241584 140736966224584 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 326801 267521 791 2943 0 323695 0
[pid=15752/tid=15754] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267521 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267521 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267521 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1006 s]
/proc/loadavg: 1.81 1.49 1.70 4/183 15761
/proc/meminfo: memFree=28216880/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267742 0 0 0 5071 37 0 0 20 0 4 0 5465280 1338576896 267560 33554432000 4194304 16246674 140736966241584 140736966223488 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 326801 267560 791 2943 0 323695 0
[pid=15752/tid=15754] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267560 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267560 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267560 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.07 1.61 1.73 4/183 15762
/proc/meminfo: memFree=28216388/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 267849 0 0 0 10190 38 0 0 20 0 4 0 5465280 1339625472 267667 33554432000 4194304 16246674 140736966241584 140736966240680 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327057 267667 791 2943 0 323951 0
[pid=15752/tid=15754] ppid=15747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 267667 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 267667 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 267667 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268162 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.07 5/183 15815
/proc/meminfo: memFree=28204176/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1301.82 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 130128 54 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966224584 5724062 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.29 2.22 2.09 5/183 15816
/proc/meminfo: memFree=28204196/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1361.82 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 136127 55 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966224584 12874957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.37 2.26 2.11 5/183 15817
/proc/meminfo: memFree=28203720/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1421.81 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 142126 55 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966224584 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.11 5/183 15819
/proc/meminfo: memFree=28203500/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1481.8 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 148124 56 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966223488 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.24 2.24 2.11 4/183 15820
/proc/meminfo: memFree=28203408/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1541.79 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 154123 56 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966223488 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.12 4/183 15821
/proc/meminfo: memFree=28203808/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1601.78 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 160121 57 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966223488 5707706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.12 5/184 15825
/proc/meminfo: memFree=28203628/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1661.77 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268978 0 0 0 166119 58 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140736966224584 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268587 792 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268587 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.34 2.27 2.14 4/183 15826
/proc/meminfo: memFree=28203580/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1721.75 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268979 0 0 0 172117 58 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140736966223488 5523044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268588 793 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.14 4/183 15828
/proc/meminfo: memFree=28202600/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1781.75 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268979 0 0 0 178116 59 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140736966223488 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268588 793 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.34 2.26 2.14 5/183 15828
/proc/meminfo: memFree=28202600/32872528 swapFree=1498860/1695084
[pid=15752] ppid=15747 vsize=1310276 CPUtime=1800.05 cores=1,3,5,7
/proc/15752/stat : 15752 (toysat) R 15747 15752 6119 0 -1 4202496 268979 0 0 0 179946 59 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140736966224584 6020452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15752/statm: 327569 268588 793 2943 0 324463 0
[pid=15752/tid=15754] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15754/stat : 15754 (toysat) S 15747 15752 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264753573104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15752/tid=15755] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15755/stat : 15755 (toysat) S 15747 15752 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264743083248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15752/tid=15756] ppid=15747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15752/task/15756/stat : 15756 (toysat) S 15747 15752 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5465280 1341722624 268588 33554432000 4194304 16246674 140736966241584 140264732609712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1310276

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.47
CPU system time (s): 0.595909
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.595909
maximum resident set size= 1074352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268979
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= 479
involuntary context switches= 1943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74428 second user time and 7.67183 second system time

The end

Begin job on node137 at 2016-06-16 01:43:15
IDJOB=4089806
IDBENCH=107459
IDSOLVER=2542
FILE ID=node137/4089806-1466034195
RUNJOBID= node137-1466034195-15725
PBS_JOBID= 19902808
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 77541726351a65da00ecc6f55f14fcf0
RANDOM SEED=914565919

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        30358416 kB
Buffers:           20648 kB
Cached:            90888 kB
SwapCached:         2460 kB
Active:            76724 kB
Inactive:          38272 kB
Active(anon):       4568 kB
Inactive(anon):     1372 kB
Active(file):      72156 kB
Inactive(file):    36900 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099532 kB
Dirty:             32696 kB
Writeback:             0 kB
AnonPages:       1777440 kB
Mapped:             7312 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12460 kB
SUnreclaim:       556008 kB
KernelStack:        1440 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 02:13:16