0.00/0.00	c 2016-06-15T19:53:35+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-4088693-1466013215.opb"]
0.00/0.01	c use --random-gen="2378083145 2455363100 3180292867 674393364 362729947 1652803952 1048445275 1578142561 629066293 3014345288 1372385868 3371721181 1695502129 2821878179 3480745268 1982365925 1968624766 3774343491 3135049788 2920219371 1915757089 3183667546 2433873536 2252147970 80121938 4271807028 3049542884 3324049742 2251036576 746641155 2378832417 3351853559 3551390960 3741003120 637439114 2929077845 723664116 1262369532 1937061904 2417572181 449420522 3708078548 25264682 179592773 1834899424 1512196447 3904102590 335775843 3845206673 2162925486 3720786766 1557132672 3278070602 2403015320 275761185 4288289487 714731936 1030979554 776599205 2085789966 1954693716 765881140 2921636315 3560974222 2406854543 3492683743 3904444447 415095344 2427120180 143744595 1555358580 4226302538 3364130944 1156198840 1911397240 470187702 950343018 3170584532 2386360408 3434707083 502410544 2369061602 2321352257 2423481632 1194482634 2447267092 1035519046 1125375824 3967043339 2390173809 2530708316 2856859808 2733288159 1674757986 2716250652 1474882063 1365587653 2089157810 1563818306 10268110 2310938343 941539127 2356793397 1165076349 3922365158 2125178095 888469717 989906102 2427436013 1249465668 1359629235 933401440 4037256545 1666316463 3871861167 308546980 3973819109 676925639 4268287959 4110105891 3831392396 1445678360 2014094570 3853010061 3418889416 387622662 3821375002 769244190 2479785922 2493845389 290845904 3626378366 2791486256 134469679 2955645719 2327826699 3190026610 1314971427 2203487690 338174817 2398933374 1220805307 4270765865 644296743 459272159 3346991615 3031858353 1570452629 1649571573 3502146286 3719817720 2907068178 2229408977 837538130 2192811348 1199014745 2167400948 2841290491 2463297965 1998977053 1550259867 3681209308 4252764158 2530635755 3850176547 3096076655 4217362517 498766910 4034360167 1268329280 782893681 2091309277 1437259746 4060865270 2518239228 801911625 1700682675 3227377504 3043383009 1112880914 3566815787 1704554969 306296626 2408964926 2879135764 3583291428 432786454 618881425 4048820326 595453157 4177550248 4021076245 690716495 4223927550 2638032639 599330250 4035092418 3604220343 2068438536 174354836 263111040 4221809120 2359494992 3549792214 219631238 3957880212 581083042 3785617118 3528869916 1722372732 1706856581 2592334148 4176040091 1332231676 1912527398 1288384786 41590646 2444314648 3732468755 2185511186 2896654919 3213999731 1565179869 2466261384 3720501749 3855977186 1511511313 1962802972 1428214760 3872923181 329359763 2306780767 3257182569 1979697060 3196263544 1179174301 2175859210 604638787 2920953775 394866915 1144474878 1963092115 3867215804 300732152 3516532967 435697959 1600860269 117303869 872547453 3939389039 2154133252 1823004807 3790281802 574463477 1101680330 3924976606 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1401
0.00/0.02	c #constraints 701
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      934      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      785 |      100 |      934      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |     1608 |      250 |     1028      0 |        0 |        0
0.00/0.09	c  0.0s |       3 |     2775 |      475 |     1131      0 |        0 |        0
0.09/0.12	c  0.1s |       4 |     3802 |      813 |     1245      0 |        0 |        0
0.09/0.17	c  0.1s |       5 |     4471 |     1320 |     1370      0 |        0 |        0
0.19/0.24	c  0.2s |       6 |     6179 |     2081 |     1659      0 |        0 |        0
0.29/0.36	c  0.3s |       7 |     8353 |     3223 |     1825      1 |        0 |        0
0.48/0.58	c  0.5s |       8 |    10848 |     4936 |     2008      2 |        0 |        0
0.89/0.97	c  0.9s |       9 |    14627 |     7506 |     2209      4 |        0 |        0
1.29/1.35	c  1.3s |      10 |    21419 |    11361 |     2430      7 |        0 |        0
2.08/2.10	c  2.1s |      11 |    29097 |    17144 |     2673     11 |        0 |        0
3.09/3.19	c  3.1s |      12 |    42264 |    25819 |     2941     15 |        0 |        0
4.89/4.94	c  4.9s |      13 |    60209 |    38832 |     3236     23 |        0 |        0
6.89/6.95	c  6.9s |      13 |    85759 |    55632 |     3236     31 |        0 |        0
7.39/7.40	c  7.4s |      14 |    88988 |    58352 |     3560     32 |        0 |        0
9.38/9.43	c  9.4s |      14 |   104912 |    71152 |     3560     39 |        0 |        0
11.38/11.44	c 11.4s |      14 |   121526 |    84252 |     3560     45 |        0 |        0
11.88/11.99	c 11.9s |      15 |   125711 |    87632 |     3917     47 |        0 |        0
13.88/13.99	c 13.9s |      15 |   148305 |   102632 |     3917     53 |        0 |        0
15.88/15.99	c 16.0s |      15 |   164980 |   114632 |     3917     58 |        0 |        0
17.98/18.00	c 18.0s |      15 |   178131 |   125132 |     3917     62 |        0 |        0
19.18/19.26	c 19.2s |      16 |   186066 |   131552 |     4309     65 |        0 |        0
21.18/21.27	c 21.2s |      16 |   206857 |   146452 |     4309     71 |        0 |        0
23.20/23.28	c 23.2s |      16 |   224445 |   160052 |     4309     77 |        0 |        0
25.19/25.29	c 25.3s |      16 |   241551 |   173752 |     4309     82 |        0 |        0
27.29/27.31	c 27.3s |      16 |   253122 |   183652 |     4309     86 |        0 |        0
29.29/29.31	c 29.3s |      16 |   267538 |   195352 |     4309     91 |        0 |        0
29.59/29.65	c 29.6s |      17 |   269992 |   197432 |     4740     92 |        0 |        0
31.59/31.65	c 31.6s |      17 |   292989 |   212132 |     4740     97 |        0 |        0
33.59/33.66	c 33.6s |      17 |   316532 |   226832 |     4740    103 |        0 |        0
35.59/35.66	c 35.6s |      17 |   330892 |   237932 |     4740    107 |        0 |        0
37.58/37.67	c 37.6s |      17 |   346255 |   249032 |     4740    110 |        0 |        0
39.59/39.68	c 39.6s |      17 |   364511 |   261632 |     4740    115 |        0 |        0
41.58/41.68	c 41.6s |      17 |   385610 |   276432 |     4740    121 |        0 |        0
43.58/43.68	c 43.6s |      17 |   402909 |   288932 |     4740    125 |        0 |        0
44.48/44.56	c 44.5s |      18 |   413487 |   296252 |     5214    127 |        0 |        0
46.48/46.58	c 46.5s |      18 |   435136 |   312252 |     5214    133 |        0 |        0
48.49/48.58	c 48.5s |      18 |   450726 |   324452 |     5214    137 |        0 |        0
50.48/50.60	c 50.6s |      18 |   465006 |   335252 |     5214    141 |        0 |        0
52.58/52.60	c 52.6s |      18 |   478688 |   345552 |     5214    144 |        0 |        0
54.58/54.61	c 54.6s |      18 |   494624 |   357552 |     5214    148 |        0 |        0
56.58/56.62	c 56.6s |      18 |   509100 |   368552 |     5214    152 |        0 |        0
58.58/58.64	c 58.6s |      18 |   522844 |   379352 |     5214    155 |        0 |        0
60.58/60.65	c 60.6s |      18 |   536688 |   390252 |     5214    159 |        0 |        0
62.58/62.66	c 62.6s |      18 |   550408 |   400752 |     5214    162 |        0 |        0
64.57/64.66	c 64.6s |      18 |   568041 |   413752 |     5214    167 |        0 |        0
66.57/66.68	c 66.6s |      18 |   587968 |   427652 |     5214    171 |        0 |        0
68.57/68.69	c 68.6s |      18 |   611628 |   444152 |     5736    176 |        0 |        0
68.67/68.74	c 68.7s |      19 |   612239 |   444482 |     5736    176 |        0 |        0
70.68/70.76	c 70.7s |      19 |   632511 |   458382 |     5736    181 |        0 |        0
72.69/72.77	c 72.7s |      19 |   651183 |   472382 |     5736    185 |        0 |        0
74.68/74.77	c 74.7s |      19 |   668159 |   485382 |     5736    188 |        0 |        0
76.68/76.77	c 76.7s |      19 |   683296 |   497182 |     5736    192 |        0 |        0
78.78/78.83	c 78.8s |      19 |   700137 |   509482 |     5736    196 |        0 |        0
80.78/80.84	c 80.8s |      19 |   718544 |   523482 |     5736    200 |        0 |        0
82.78/82.84	c 82.8s |      19 |   737391 |   537282 |     5736    204 |        0 |        0
84.78/84.85	c 84.8s |      19 |   753557 |   549882 |     5736    207 |        0 |        0
86.78/86.85	c 86.8s |      19 |   771294 |   562682 |     5736    211 |        0 |        0
88.78/88.85	c 88.8s |      19 |   789632 |   576282 |     5736    215 |        0 |        0
90.78/90.86	c 90.8s |      19 |   807379 |   589082 |     5736    219 |        0 |        0
92.77/92.86	c 92.8s |      19 |   826140 |   602982 |     5736    223 |        0 |        0
94.77/94.86	c 94.8s |      19 |   843345 |   615782 |     5736    227 |        0 |        0
96.78/96.87	c 96.8s |      19 |   861566 |   629482 |     5736    231 |        0 |        0
98.77/98.88	c 98.8s |      19 |   882542 |   644982 |     5736    236 |        0 |        0
100.77/100.90	c  100s |      19 |   901808 |   659482 |     5736    240 |        0 |        0
101.77/101.89	c  101s |      20 |   911890 |   666827 |     6310    242 |        0 |        0
103.77/103.89	c  103s |      20 |   933611 |   680927 |     6310    246 |        0 |        0
105.77/105.89	c  105s |      20 |   955224 |   695427 |     6310    250 |        0 |        0
107.78/107.90	c  107s |      20 |   978904 |   711127 |     6310    255 |        0 |        0
109.87/109.91	c  109s |      20 |   993919 |   722227 |     6310    258 |        0 |        0
111.87/111.92	c  111s |      20 |  1013347 |   735927 |     6310    261 |        0 |        0
113.87/113.92	c  113s |      20 |  1029853 |   747727 |     6310    265 |        0 |        0
115.87/115.93	c  115s |      20 |  1046669 |   760427 |     6310    268 |        0 |        0
117.87/117.93	c  117s |      20 |  1066238 |   773827 |     6310    272 |        0 |        0
119.87/119.95	c  119s |      20 |  1084303 |   786927 |     6310    275 |        0 |        0
121.87/121.96	c  121s |      20 |  1098972 |   797827 |     6310    279 |        0 |        0
123.87/123.96	c  123s |      20 |  1121036 |   813227 |     6310    283 |        0 |        0
125.86/125.96	c  125s |      20 |  1139793 |   826427 |     6310    286 |        0 |        0
127.86/127.96	c  127s |      20 |  1158809 |   839727 |     6310    290 |        0 |        0
129.87/129.97	c  129s |      20 |  1176102 |   852027 |     6310    294 |        0 |        0
131.97/132.02	c  131s |      20 |  1194540 |   865027 |     6310    297 |        0 |        0
133.97/134.03	c  133s |      20 |  1211400 |   877827 |     6310    301 |        0 |        0
135.97/136.03	c  135s |      20 |  1231114 |   892327 |     6310    305 |        0 |        0
137.97/138.05	c  138s |      20 |  1249424 |   905927 |     6310    308 |        0 |        0
139.97/140.06	c  140s |      20 |  1265207 |   917927 |     6310    312 |        0 |        0
141.98/142.06	c  142s |      20 |  1279484 |   928727 |     6310    315 |        0 |        0
143.97/144.08	c  144s |      20 |  1292622 |   938427 |     6310    317 |        0 |        0
145.97/146.09	c  146s |      20 |  1311170 |   951727 |     6310    321 |        0 |        0
148.07/148.10	c  148s |      20 |  1328074 |   964827 |     6310    325 |        0 |        0
150.07/150.11	c  150s |      20 |  1344721 |   977327 |     6310    328 |        0 |        0
152.06/152.12	c  152s |      20 |  1362396 |   990727 |     6310    332 |        0 |        0
153.86/153.92	c  153s |      21 |  1374858 |  1000345 |     6942    334 |        0 |        0
155.86/155.93	c  155s |      21 |  1394553 |  1014145 |     6942    338 |        0 |        0
157.86/157.93	c  157s |      21 |  1411740 |  1026745 |     6942    341 |        0 |        0
159.86/159.93	c  159s |      21 |  1428728 |  1039545 |     6942    344 |        0 |        0
161.86/161.97	c  161s |      21 |  1444226 |  1051745 |     6942    347 |        0 |        0
163.87/163.98	c  163s |      21 |  1458578 |  1062245 |     6942    350 |        0 |        0
165.86/166.00	c  165s |      21 |  1472042 |  1073245 |     6942    353 |        0 |        0
167.96/168.01	c  167s |      21 |  1488754 |  1085845 |     6942    356 |        0 |        0
169.96/170.03	c  169s |      21 |  1503728 |  1097545 |     6942    359 |        0 |        0
171.96/172.03	c  171s |      21 |  1520340 |  1110645 |     6942    363 |        0 |        0
173.96/174.04	c  173s |      21 |  1540353 |  1125145 |     6942    367 |        0 |        0
175.96/176.06	c  176s |      21 |  1555563 |  1136545 |     6942    370 |        0 |        0
177.97/178.07	c  178s |      21 |  1572912 |  1149745 |     6942    373 |        0 |        0
179.96/180.07	c  180s |      21 |  1586809 |  1160445 |     6942    376 |        0 |        0
181.96/182.08	c  182s |      21 |  1601838 |  1171645 |     6942    379 |        0 |        0
183.96/184.09	c  184s |      21 |  1620467 |  1185345 |     6942    383 |        0 |        0
185.97/186.09	c  186s |      21 |  1632986 |  1195245 |     6942    385 |        0 |        0
187.96/188.10	c  188s |      21 |  1651337 |  1207445 |     6942    388 |        0 |        0
190.06/190.10	c  190s |      21 |  1668175 |  1218845 |     6942    391 |        0 |        0
192.06/192.14	c  192s |      21 |  1679287 |  1227045 |     6942    393 |        0 |        0
194.06/194.17	c  194s |      21 |  1686468 |  1233145 |     6942    395 |        0 |        0
196.06/196.18	c  196s |      21 |  1699943 |  1243045 |     6942    398 |        0 |        0
198.06/198.18	c  198s |      21 |  1712577 |  1252545 |     6942    400 |        0 |        0
200.05/200.20	c  200s |      21 |  1729721 |  1264545 |     6942    403 |        0 |        0
202.15/202.20	c  202s |      21 |  1743630 |  1274445 |     6942    406 |        0 |        0
204.15/204.21	c  204s |      21 |  1761255 |  1286945 |     6942    409 |        0 |        0
206.15/206.21	c  206s |      21 |  1781194 |  1299745 |     6942    412 |        0 |        0
208.15/208.23	c  208s |      21 |  1800608 |  1312845 |     6942    415 |        0 |        0
210.16/210.24	c  210s |      21 |  1820874 |  1326645 |     6942    419 |        0 |        0
212.16/212.25	c  212s |      21 |  1841148 |  1340145 |     6942    423 |        0 |        0
214.16/214.26	c  214s |      21 |  1857770 |  1351545 |     6942    425 |        0 |        0
216.16/216.27	c  216s |      21 |  1878780 |  1365945 |     6942    429 |        0 |        0
218.16/218.27	c  218s |      21 |  1892709 |  1376845 |     6942    432 |        0 |        0
220.16/220.28	c  220s |      21 |  1908128 |  1387845 |     6942    435 |        0 |        0
222.16/222.30	c  222s |      21 |  1919066 |  1396645 |     6942    437 |        0 |        0
224.25/224.31	c  224s |      21 |  1938690 |  1410545 |     6942    440 |        0 |        0
226.25/226.31	c  226s |      21 |  1955952 |  1422745 |     6942    444 |        0 |        0
228.25/228.32	c  228s |      21 |  1973189 |  1435345 |     6942    447 |        0 |        0
230.25/230.33	c  230s |      21 |  1990387 |  1447345 |     6942    450 |        0 |        0
232.25/232.35	c  232s |      21 |  2003611 |  1457345 |     6942    453 |        0 |        0
234.26/234.36	c  234s |      21 |  2017506 |  1467845 |     6942    455 |        0 |        0
236.25/236.37	c  236s |      21 |  2032382 |  1478845 |     6942    458 |        0 |        0
238.25/238.38	c  238s |      21 |  2051905 |  1493045 |     7637    461 |        0 |        0
239.45/239.57	c  239s |      22 |  2062468 |  1500622 |     7637    463 |        0 |        0
241.45/241.58	c  241s |      22 |  2078792 |  1512522 |     7637    466 |        0 |        0
243.45/243.59	c  243s |      22 |  2094693 |  1524622 |     7637    470 |        0 |        0
245.45/245.59	c  245s |      22 |  2112974 |  1537622 |     7637    473 |        0 |        0
247.55/247.63	c  247s |      22 |  2128355 |  1549122 |     7637    476 |        0 |        0
249.55/249.64	c  249s |      22 |  2137565 |  1557022 |     7637    477 |        0 |        0
251.55/251.65	c  251s |      22 |  2147954 |  1565522 |     7637    479 |        0 |        0
253.55/253.69	c  253s |      22 |  2158584 |  1574322 |     7637    482 |        0 |        0
255.65/255.70	c  255s |      22 |  2171854 |  1584822 |     7637    484 |        0 |        0
257.65/257.70	c  257s |      22 |  2187165 |  1596422 |     7637    487 |        0 |        0
259.65/259.72	c  259s |      22 |  2202432 |  1607922 |     7637    489 |        0 |        0
261.65/261.73	c  261s |      22 |  2214246 |  1617622 |     7637    492 |        0 |        0
263.64/263.75	c  263s |      22 |  2222963 |  1625122 |     7637    493 |        0 |        0
265.64/265.76	c  265s |      22 |  2231699 |  1632022 |     7637    495 |        0 |        0
267.64/267.78	c  267s |      22 |  2241497 |  1640022 |     7637    497 |        0 |        0
269.65/269.79	c  269s |      22 |  2253909 |  1649322 |     7637    499 |        0 |        0
271.66/271.79	c  271s |      22 |  2269439 |  1660922 |     7637    502 |        0 |        0
273.75/273.80	c  273s |      22 |  2283838 |  1672322 |     7637    505 |        0 |        0
275.75/275.81	c  275s |      22 |  2293641 |  1680222 |     7637    507 |        0 |        0
277.75/277.82	c  277s |      22 |  2307255 |  1690822 |     7637    509 |        0 |        0
279.75/279.84	c  279s |      22 |  2316515 |  1698722 |     7637    511 |        0 |        0
281.75/281.84	c  281s |      22 |  2324859 |  1705622 |     7637    513 |        0 |        0
283.76/283.84	c  283s |      22 |  2340363 |  1716722 |     7637    515 |        0 |        0
285.75/285.89	c  285s |      22 |  2352685 |  1726322 |     7637    518 |        0 |        0
287.85/287.91	c  287s |      22 |  2365698 |  1736722 |     7637    520 |        0 |        0
289.85/289.91	c  289s |      22 |  2376922 |  1745122 |     7637    522 |        0 |        0
291.85/291.92	c  291s |      22 |  2390668 |  1755722 |     7637    524 |        0 |        0
293.85/293.92	c  293s |      22 |  2407422 |  1768422 |     7637    527 |        0 |        0
295.85/295.94	c  295s |      22 |  2418799 |  1777122 |     7637    530 |        0 |        0
297.85/297.95	c  297s |      22 |  2434136 |  1789122 |     7637    532 |        0 |        0
299.85/299.96	c  299s |      22 |  2449064 |  1800222 |     7637    535 |        0 |        0
301.85/301.97	c  301s |      22 |  2462975 |  1811222 |     7637    538 |        0 |        0
303.95/304.00	c  303s |      22 |  2478059 |  1822922 |     7637    540 |        0 |        0
305.95/306.01	c  305s |      22 |  2494275 |  1834722 |     7637    543 |        0 |        0
307.95/308.01	c  307s |      22 |  2509537 |  1846022 |     7637    546 |        0 |        0
309.94/310.01	c  309s |      22 |  2525473 |  1858222 |     7637    549 |        0 |        0
311.94/312.02	c  311s |      22 |  2538614 |  1867922 |     7637    551 |        0 |        0
313.94/314.03	c  313s |      22 |  2551305 |  1877422 |     7637    553 |        0 |        0
315.94/316.04	c  315s |      22 |  2566932 |  1889322 |     7637    556 |        0 |        0
317.95/318.04	c  317s |      22 |  2581438 |  1900022 |     7637    559 |        0 |        0
319.94/320.06	c  320s |      22 |  2596859 |  1911922 |     7637    562 |        0 |        0
321.94/322.07	c  322s |      22 |  2609880 |  1922422 |     7637    564 |        0 |        0
323.94/324.08	c  324s |      22 |  2624550 |  1933722 |     7637    567 |        0 |        0
325.94/326.08	c  326s |      22 |  2640210 |  1945522 |     7637    569 |        0 |        0
328.04/328.10	c  328s |      22 |  2651546 |  1954322 |     7637    572 |        0 |        0
330.05/330.13	c  330s |      22 |  2667706 |  1966622 |     7637    575 |        0 |        0
332.04/332.14	c  332s |      22 |  2680710 |  1976722 |     7637    577 |        0 |        0
334.04/334.14	c  334s |      22 |  2690404 |  1984722 |     7637    579 |        0 |        0
336.04/336.16	c  336s |      22 |  2700861 |  1993322 |     7637    581 |        0 |        0
338.14/338.20	c  338s |      22 |  2715922 |  2004122 |     7637    584 |        0 |        0
340.14/340.20	c  340s |      22 |  2729426 |  2014522 |     7637    586 |        0 |        0
342.14/342.27	c  342s |      22 |  2743178 |  2025022 |     7637    589 |        0 |        0
344.14/344.27	c  344s |      22 |  2759344 |  2037422 |     7637    591 |        0 |        0
346.24/346.30	c  346s |      22 |  2776552 |  2049922 |     7637    595 |        0 |        0
348.24/348.30	c  348s |      22 |  2797014 |  2065222 |     7637    598 |        0 |        0
350.23/350.30	c  350s |      22 |  2809443 |  2075522 |     7637    600 |        0 |        0
352.23/352.31	c  352s |      22 |  2820277 |  2084222 |     7637    602 |        0 |        0
354.24/354.33	c  354s |      22 |  2832690 |  2094322 |     7637    605 |        0 |        0
356.23/356.35	c  356s |      22 |  2843028 |  2102622 |     7637    607 |        0 |        0
358.23/358.36	c  358s |      22 |  2854995 |  2112122 |     7637    609 |        0 |        0
360.23/360.37	c  360s |      22 |  2870265 |  2123322 |     7637    611 |        0 |        0
362.33/362.43	c  362s |      22 |  2886630 |  2136222 |     7637    615 |        0 |        0
364.33/364.45	c  364s |      22 |  2902171 |  2148522 |     7637    617 |        0 |        0
366.34/366.45	c  366s |      22 |  2916398 |  2159322 |     7637    620 |        0 |        0
368.33/368.46	c  368s |      22 |  2929962 |  2170022 |     7637    622 |        0 |        0
370.33/370.47	c  370s |      22 |  2943825 |  2180722 |     7637    625 |        0 |        0
372.33/372.48	c  372s |      22 |  2955416 |  2190022 |     7637    627 |        0 |        0
374.33/374.49	c  374s |      22 |  2971296 |  2201822 |     7637    630 |        0 |        0
376.43/376.50	c  376s |      22 |  2985858 |  2212922 |     7637    632 |        0 |        0
378.43/378.50	c  378s |      22 |  2998437 |  2222222 |     7637    635 |        0 |        0
380.43/380.52	c  380s |      22 |  3015184 |  2234622 |     7637    637 |        0 |        0
382.43/382.54	c  382s |      22 |  3027677 |  2244322 |     8401    640 |        0 |        0
383.53/383.66	c  383s |      23 |  3036789 |  2251038 |     8401    641 |        0 |        0
385.53/385.67	c  385s |      23 |  3053490 |  2263038 |     8401    644 |        0 |        0
387.53/387.68	c  387s |      23 |  3067696 |  2274038 |     8401    646 |        0 |        0
389.52/389.68	c  389s |      23 |  3078655 |  2283338 |     8401    648 |        0 |        0
391.53/391.70	c  391s |      23 |  3092631 |  2294538 |     8401    650 |        0 |        0
393.62/393.71	c  393s |      23 |  3105124 |  2304238 |     8401    653 |        0 |        0
395.62/395.72	c  395s |      23 |  3119022 |  2315538 |     8401    655 |        0 |        0
397.63/397.72	c  397s |      23 |  3133204 |  2326438 |     8401    657 |        0 |        0
399.63/399.73	c  399s |      23 |  3145647 |  2336538 |     8401    660 |        0 |        0
401.63/401.74	c  401s |      23 |  3163567 |  2348738 |     8401    662 |        0 |        0
403.64/403.75	c  403s |      23 |  3175861 |  2358338 |     8401    664 |        0 |        0
405.63/405.78	c  405s |      23 |  3189627 |  2368738 |     8401    667 |        0 |        0
407.73/407.82	c  407s |      23 |  3206501 |  2380938 |     8401    669 |        0 |        0
409.73/409.82	c  409s |      23 |  3223177 |  2393538 |     8401    672 |        0 |        0
411.73/411.84	c  411s |      23 |  3240641 |  2406638 |     8401    675 |        0 |        0
413.73/413.85	c  413s |      23 |  3259194 |  2420438 |     8401    678 |        0 |        0
415.73/415.85	c  415s |      23 |  3274493 |  2431738 |     8401    680 |        0 |        0
417.73/417.87	c  417s |      23 |  3287272 |  2441738 |     8401    682 |        0 |        0
419.73/419.88	c  419s |      23 |  3297305 |  2449538 |     8401    684 |        0 |        0
421.82/421.90	c  421s |      23 |  3306261 |  2457138 |     8401    686 |        0 |        0
423.82/423.91	c  423s |      23 |  3318339 |  2466538 |     8401    688 |        0 |        0
425.82/425.91	c  425s |      23 |  3330770 |  2475738 |     8401    689 |        0 |        0
427.83/427.93	c  427s |      23 |  3341717 |  2484338 |     8401    691 |        0 |        0
429.82/429.94	c  429s |      23 |  3356080 |  2495238 |     8401    694 |        0 |        0
431.82/431.97	c  431s |      23 |  3366826 |  2503838 |     8401    696 |        0 |        0
433.92/434.03	c  433s |      23 |  3378452 |  2513438 |     8401    698 |        0 |        0
435.92/436.04	c  436s |      23 |  3389426 |  2522038 |     8401    699 |        0 |        0
437.92/438.05	c  438s |      23 |  3400849 |  2531038 |     8401    701 |        0 |        0
439.93/440.05	c  440s |      23 |  3412561 |  2540138 |     8401    703 |        0 |        0
441.92/442.06	c  442s |      23 |  3421499 |  2547738 |     8401    705 |        0 |        0
444.02/444.12	c  444s |      23 |  3437153 |  2559938 |     8401    708 |        0 |        0
446.02/446.14	c  446s |      23 |  3452106 |  2571838 |     8401    710 |        0 |        0
448.02/448.15	c  448s |      23 |  3466745 |  2582938 |     8401    712 |        0 |        0
450.02/450.16	c  450s |      23 |  3479812 |  2592938 |     8401    715 |        0 |        0
452.02/452.18	c  452s |      23 |  3492409 |  2602738 |     8401    717 |        0 |        0
454.02/454.19	c  454s |      23 |  3508556 |  2614738 |     8401    719 |        0 |        0
456.02/456.19	c  456s |      23 |  3522267 |  2625138 |     8401    721 |        0 |        0
458.12/458.20	c  458s |      23 |  3540399 |  2638738 |     8401    724 |        0 |        0
460.12/460.21	c  460s |      23 |  3557277 |  2651238 |     8401    727 |        0 |        0
462.12/462.21	c  462s |      23 |  3572051 |  2662738 |     8401    730 |        0 |        0
464.13/464.21	c  464s |      23 |  3585477 |  2672838 |     8401    732 |        0 |        0
466.12/466.23	c  466s |      23 |  3601516 |  2684638 |     8401    734 |        0 |        0
468.12/468.23	c  468s |      23 |  3611384 |  2692538 |     8401    736 |        0 |        0
470.12/470.24	c  470s |      23 |  3623941 |  2702138 |     8401    738 |        0 |        0
472.12/472.25	c  472s |      23 |  3633869 |  2709938 |     8401    740 |        0 |        0
474.12/474.26	c  474s |      23 |  3648625 |  2720838 |     8401    742 |        0 |        0
476.12/476.28	c  476s |      23 |  3658802 |  2728738 |     8401    744 |        0 |        0
478.11/478.29	c  478s |      23 |  3669496 |  2737238 |     8401    746 |        0 |        0
480.11/480.29	c  480s |      23 |  3682709 |  2747938 |     8401    748 |        0 |        0
482.21/482.31	c  482s |      23 |  3691648 |  2755138 |     8401    750 |        0 |        0
484.21/484.31	c  484s |      23 |  3704325 |  2765338 |     8401    752 |        0 |        0
486.22/486.31	c  486s |      23 |  3718366 |  2775738 |     8401    754 |        0 |        0
488.21/488.32	c  488s |      23 |  3728989 |  2784238 |     8401    756 |        0 |        0
490.21/490.33	c  490s |      23 |  3745550 |  2796438 |     8401    759 |        0 |        0
492.21/492.34	c  492s |      23 |  3762012 |  2808838 |     8401    761 |        0 |        0
494.22/494.34	c  494s |      23 |  3779857 |  2821738 |     8401    764 |        0 |        0
496.21/496.36	c  496s |      23 |  3791137 |  2830738 |     8401    766 |        0 |        0
498.22/498.37	c  498s |      23 |  3806168 |  2842338 |     8401    769 |        0 |        0
500.21/500.37	c  500s |      23 |  3819155 |  2852138 |     8401    771 |        0 |        0
502.21/502.38	c  502s |      23 |  3833583 |  2863138 |     8401    773 |        0 |        0
504.21/504.38	c  504s |      23 |  3849643 |  2874738 |     8401    776 |        0 |        0
506.21/506.39	c  506s |      23 |  3865122 |  2886538 |     8401    778 |        0 |        0
508.31/508.40	c  508s |      23 |  3877967 |  2897138 |     8401    780 |        0 |        0
510.32/510.41	c  510s |      23 |  3890357 |  2906938 |     8401    783 |        0 |        0
512.31/512.41	c  512s |      23 |  3901796 |  2915838 |     8401    784 |        0 |        0
514.31/514.42	c  514s |      23 |  3918360 |  2928138 |     8401    787 |        0 |        0
516.31/516.44	c  516s |      23 |  3932329 |  2938938 |     8401    789 |        0 |        0
518.31/518.45	c  518s |      23 |  3946743 |  2949138 |     8401    792 |        0 |        0
520.32/520.45	c  520s |      23 |  3959289 |  2958738 |     8401    794 |        0 |        0
522.31/522.45	c  522s |      23 |  3970215 |  2967738 |     8401    796 |        0 |        0
524.31/524.45	c  524s |      23 |  3980573 |  2975938 |     8401    797 |        0 |        0
526.31/526.46	c  526s |      23 |  3991595 |  2984438 |     8401    799 |        0 |        0
528.31/528.47	c  528s |      23 |  4004537 |  2994238 |     8401    801 |        0 |        0
530.31/530.48	c  530s |      23 |  4019227 |  3005738 |     8401    804 |        0 |        0
532.31/532.50	c  532s |      23 |  4031207 |  3015538 |     8401    806 |        0 |        0
534.40/534.51	c  534s |      23 |  4044230 |  3025438 |     8401    808 |        0 |        0
536.40/536.53	c  536s |      23 |  4058867 |  3036438 |     8401    810 |        0 |        0
538.40/538.58	c  538s |      23 |  4074801 |  3048338 |     8401    813 |        0 |        0
540.40/540.59	c  540s |      23 |  4089189 |  3059438 |     8401    815 |        0 |        0
542.40/542.60	c  542s |      23 |  4105408 |  3071538 |     8401    818 |        0 |        0
544.40/544.60	c  544s |      23 |  4120088 |  3082938 |     8401    820 |        0 |        0
546.49/546.60	c  546s |      23 |  4134163 |  3093838 |     8401    823 |        0 |        0
548.49/548.61	c  548s |      23 |  4154442 |  3108638 |     8401    826 |        0 |        0
550.49/550.62	c  550s |      23 |  4170643 |  3121038 |     8401    828 |        0 |        0
552.49/552.62	c  552s |      23 |  4188686 |  3134438 |     8401    831 |        0 |        0
554.49/554.63	c  554s |      23 |  4206959 |  3147838 |     8401    834 |        0 |        0
556.49/556.64	c  556s |      23 |  4222289 |  3159338 |     8401    837 |        0 |        0
558.49/558.65	c  558s |      23 |  4233399 |  3168238 |     8401    839 |        0 |        0
560.49/560.66	c  560s |      23 |  4243878 |  3176738 |     8401    840 |        0 |        0
562.49/562.68	c  562s |      23 |  4256135 |  3186238 |     8401    842 |        0 |        0
564.50/564.69	c  564s |      23 |  4270094 |  3197238 |     8401    845 |        0 |        0
566.59/566.71	c  566s |      23 |  4279696 |  3205238 |     8401    847 |        0 |        0
568.60/568.77	c  568s |      23 |  4292584 |  3215438 |     8401    849 |        0 |        0
570.59/570.77	c  570s |      23 |  4306607 |  3225938 |     8401    851 |        0 |        0
572.59/572.77	c  572s |      23 |  4321309 |  3237038 |     8401    853 |        0 |        0
574.69/574.85	c  574s |      23 |  4333087 |  3246638 |     8401    856 |        0 |        0
576.69/576.87	c  576s |      23 |  4341938 |  3254138 |     8401    857 |        0 |        0
578.69/578.87	c  578s |      23 |  4354259 |  3263738 |     8401    859 |        0 |        0
580.69/580.89	c  580s |      23 |  4367169 |  3273738 |     8401    861 |        0 |        0
582.68/582.89	c  582s |      23 |  4380110 |  3283838 |     8401    864 |        0 |        0
584.78/584.90	c  584s |      23 |  4395169 |  3295138 |     8401    866 |        0 |        0
586.78/586.90	c  586s |      23 |  4407199 |  3304538 |     8401    868 |        0 |        0
588.78/588.91	c  588s |      23 |  4424628 |  3316438 |     8401    870 |        0 |        0
590.78/590.93	c  590s |      23 |  4437114 |  3326538 |     8401    873 |        0 |        0
592.78/592.94	c  592s |      23 |  4450984 |  3337038 |     8401    875 |        0 |        0
594.78/594.94	c  594s |      23 |  4459952 |  3344438 |     8401    876 |        0 |        0
596.78/596.94	c  596s |      23 |  4472043 |  3354138 |     9242    878 |        0 |        0
598.78/598.95	c  598s |      23 |  4481946 |  3362138 |     9242    880 |        0 |        0
600.77/600.95	c  600s |      23 |  4494434 |  3371138 |     9242    882 |        0 |        0
601.58/601.80	c  601s |      24 |  4501693 |  3376662 |     9242    883 |        0 |        0
603.67/603.81	c  603s |      24 |  4516068 |  3387562 |     9242    885 |        0 |        0
605.67/605.82	c  605s |      24 |  4532758 |  3399962 |     9242    888 |        0 |        0
607.68/607.84	c  607s |      24 |  4544375 |  3408762 |     9242    890 |        0 |        0
609.78/609.95	c  609s |      24 |  4556833 |  3417862 |     9242    892 |        0 |        0
611.78/611.95	c  611s |      24 |  4570249 |  3428362 |     9242    894 |        0 |        0
613.88/614.02	c  613s |      24 |  4583851 |  3438462 |     9242    896 |        0 |        0
615.88/616.03	c  615s |      24 |  4601199 |  3451062 |     9242    898 |        0 |        0
617.87/618.04	c  617s |      24 |  4614253 |  3461662 |     9242    901 |        0 |        0
619.87/620.04	c  619s |      24 |  4628011 |  3471762 |     9242    903 |        0 |        0
621.87/622.04	c  622s |      24 |  4643587 |  3483462 |     9242    905 |        0 |        0
623.87/624.06	c  624s |      24 |  4660743 |  3496062 |     9242    908 |        0 |        0
625.87/626.07	c  626s |      24 |  4676039 |  3506962 |     9242    910 |        0 |        0
627.87/628.08	c  628s |      24 |  4687774 |  3516362 |     9242    912 |        0 |        0
629.87/630.08	c  630s |      24 |  4703811 |  3527462 |     9242    914 |        0 |        0
631.87/632.08	c  632s |      24 |  4716149 |  3537262 |     9242    917 |        0 |        0
633.87/634.09	c  634s |      24 |  4731290 |  3548062 |     9242    919 |        0 |        0
635.96/636.12	c  636s |      24 |  4749120 |  3560862 |     9242    922 |        0 |        0
637.97/638.12	c  638s |      24 |  4770647 |  3576062 |     9242    925 |        0 |        0
639.96/640.13	c  640s |      24 |  4793316 |  3592362 |     9242    928 |        0 |        0
641.96/642.13	c  642s |      24 |  4813816 |  3607062 |     9242    931 |        0 |        0
643.96/644.14	c  644s |      24 |  4829663 |  3618362 |     9242    933 |        0 |        0
645.95/646.15	c  646s |      24 |  4844693 |  3630162 |     9242    936 |        0 |        0
647.95/648.15	c  648s |      24 |  4858509 |  3640362 |     9242    938 |        0 |        0
649.96/650.17	c  650s |      24 |  4876091 |  3653262 |     9242    940 |        0 |        0
651.95/652.17	c  652s |      24 |  4889886 |  3663362 |     9242    942 |        0 |        0
653.95/654.18	c  654s |      24 |  4905788 |  3674862 |     9242    945 |        0 |        0
655.95/656.19	c  656s |      24 |  4921541 |  3686562 |     9242    947 |        0 |        0
658.05/658.21	c  658s |      24 |  4937492 |  3698462 |     9242    949 |        0 |        0
660.04/660.23	c  660s |      24 |  4954864 |  3711062 |     9242    952 |        0 |        0
662.05/662.23	c  662s |      24 |  4975187 |  3724862 |     9242    955 |        0 |        0
664.04/664.24	c  664s |      24 |  4991594 |  3737462 |     9242    957 |        0 |        0
666.04/666.25	c  666s |      24 |  5006690 |  3748362 |     9242    959 |        0 |        0
668.04/668.26	c  668s |      24 |  5025009 |  3761462 |     9242    962 |        0 |        0
670.04/670.28	c  670s |      24 |  5040608 |  3772762 |     9242    964 |        0 |        0
672.14/672.31	c  672s |      24 |  5047733 |  3778962 |     9242    965 |        0 |        0
674.15/674.31	c  674s |      24 |  5056144 |  3785062 |     9242    967 |        0 |        0
676.14/676.33	c  676s |      24 |  5071691 |  3796662 |     9242    969 |        0 |        0
678.14/678.35	c  678s |      24 |  5080737 |  3803862 |     9242    970 |        0 |        0
680.14/680.35	c  680s |      24 |  5090821 |  3811462 |     9242    972 |        0 |        0
682.14/682.36	c  682s |      24 |  5105759 |  3822162 |     9242    974 |        0 |        0
684.15/684.38	c  684s |      24 |  5120944 |  3833162 |     9242    976 |        0 |        0
686.14/686.38	c  686s |      24 |  5134238 |  3843462 |     9242    978 |        0 |        0
688.24/688.40	c  688s |      24 |  5147849 |  3853862 |     9242    980 |        0 |        0
690.24/690.41	c  690s |      24 |  5160912 |  3863762 |     9242    982 |        0 |        0
692.24/692.41	c  692s |      24 |  5175992 |  3875462 |     9242    984 |        0 |        0
694.24/694.41	c  694s |      24 |  5194777 |  3889262 |     9242    987 |        0 |        0
696.24/696.41	c  696s |      24 |  5210012 |  3900662 |     9242    989 |        0 |        0
698.23/698.42	c  698s |      24 |  5224578 |  3911262 |     9242    992 |        0 |        0
700.23/700.44	c  700s |      24 |  5242934 |  3924062 |     9242    994 |        0 |        0
702.23/702.44	c  702s |      24 |  5256698 |  3934562 |     9242    996 |        0 |        0
704.23/704.44	c  704s |      24 |  5271899 |  3945662 |     9242    998 |        0 |        0
706.23/706.45	c  706s |      24 |  5289838 |  3958362 |     9242   1001 |        0 |        0
708.23/708.47	c  708s |      24 |  5301877 |  3967162 |     9242   1003 |        0 |        0
710.23/710.49	c  710s |      24 |  5308384 |  3972462 |     9242   1004 |        0 |        0
712.32/712.52	c  712s |      24 |  5324661 |  3984062 |     9242   1006 |        0 |        0
714.32/714.52	c  714s |      24 |  5340595 |  3995662 |     9242   1008 |        0 |        0
716.32/716.54	c  716s |      24 |  5352320 |  4004762 |     9242   1010 |        0 |        0
718.33/718.55	c  718s |      24 |  5361357 |  4011962 |     9242   1012 |        0 |        0
720.34/720.56	c  720s |      24 |  5378366 |  4023462 |     9242   1014 |        0 |        0
722.33/722.58	c  722s |      24 |  5392503 |  4033962 |     9242   1016 |        0 |        0
724.33/724.59	c  724s |      24 |  5407782 |  4044962 |     9242   1018 |        0 |        0
726.42/726.61	c  726s |      24 |  5422838 |  4055662 |     9242   1021 |        0 |        0
728.42/728.61	c  728s |      24 |  5434617 |  4064462 |     9242   1022 |        0 |        0
730.42/730.62	c  730s |      24 |  5449647 |  4075662 |     9242   1025 |        0 |        0
732.43/732.64	c  732s |      24 |  5462774 |  4086162 |     9242   1027 |        0 |        0
734.42/734.65	c  734s |      24 |  5470400 |  4092662 |     9242   1028 |        0 |        0
736.42/736.66	c  736s |      24 |  5480912 |  4100262 |     9242   1029 |        0 |        0
738.41/738.66	c  738s |      24 |  5489677 |  4107462 |     9242   1031 |        0 |        0
740.41/740.68	c  740s |      24 |  5499500 |  4114762 |     9242   1032 |        0 |        0
742.51/742.70	c  742s |      24 |  5508958 |  4122162 |     9242   1034 |        0 |        0
744.52/744.72	c  744s |      24 |  5517646 |  4128962 |     9242   1035 |        0 |        0
746.51/746.73	c  746s |      24 |  5531323 |  4138962 |     9242   1037 |        0 |        0
748.51/748.75	c  748s |      24 |  5543035 |  4148162 |     9242   1039 |        0 |        0
750.51/750.75	c  750s |      24 |  5551798 |  4155262 |     9242   1040 |        0 |        0
752.51/752.76	c  752s |      24 |  5562235 |  4162962 |     9242   1042 |        0 |        0
754.51/754.76	c  754s |      24 |  5577746 |  4174662 |     9242   1044 |        0 |        0
756.50/756.77	c  756s |      24 |  5587464 |  4182062 |     9242   1046 |        0 |        0
758.50/758.78	c  758s |      24 |  5604175 |  4194662 |     9242   1048 |        0 |        0
760.50/760.78	c  760s |      24 |  5620032 |  4206362 |     9242   1051 |        0 |        0
762.50/762.79	c  762s |      24 |  5636288 |  4218462 |     9242   1053 |        0 |        0
764.60/764.80	c  764s |      24 |  5655562 |  4232462 |     9242   1056 |        0 |        0
766.61/766.81	c  766s |      24 |  5672939 |  4244862 |     9242   1058 |        0 |        0
768.61/768.81	c  768s |      24 |  5686188 |  4254962 |     9242   1060 |        0 |        0
770.60/770.82	c  770s |      24 |  5704736 |  4268562 |     9242   1063 |        0 |        0
772.60/772.86	c  772s |      24 |  5722435 |  4281262 |     9242   1066 |        0 |        0
774.60/774.88	c  774s |      24 |  5739663 |  4294162 |     9242   1068 |        0 |        0
776.60/776.88	c  776s |      24 |  5754204 |  4305362 |     9242   1070 |        0 |        0
778.60/778.89	c  778s |      24 |  5769696 |  4316362 |     9242   1073 |        0 |        0
780.70/780.90	c  780s |      24 |  5782069 |  4325462 |     9242   1074 |        0 |        0
782.70/782.92	c  782s |      24 |  5798516 |  4337362 |     9242   1077 |        0 |        0
784.70/784.94	c  784s |      24 |  5812823 |  4348262 |     9242   1079 |        0 |        0
786.69/786.95	c  786s |      24 |  5825364 |  4357662 |     9242   1081 |        0 |        0
788.69/788.96	c  788s |      24 |  5840536 |  4368562 |     9242   1083 |        0 |        0
790.70/790.98	c  790s |      24 |  5856945 |  4380762 |     9242   1085 |        0 |        0
792.69/792.99	c  792s |      24 |  5875278 |  4393962 |     9242   1088 |        0 |        0
794.79/795.01	c  794s |      24 |  5888937 |  4404062 |     9242   1090 |        0 |        0
796.78/797.02	c  796s |      24 |  5906796 |  4417262 |     9242   1093 |        0 |        0
798.78/799.03	c  798s |      24 |  5922194 |  4428362 |     9242   1095 |        0 |        0
800.78/801.03	c  800s |      24 |  5938022 |  4439762 |     9242   1097 |        0 |        0
802.79/803.03	c  802s |      24 |  5951215 |  4449762 |     9242   1099 |        0 |        0
804.78/805.04	c  805s |      24 |  5969023 |  4462562 |     9242   1102 |        0 |        0
806.78/807.04	c  807s |      24 |  5984617 |  4472962 |     9242   1104 |        0 |        0
808.78/809.07	c  809s |      24 |  5999578 |  4483962 |     9242   1106 |        0 |        0
810.78/811.08	c  811s |      24 |  6015640 |  4495262 |     9242   1108 |        0 |        0
812.88/813.10	c  813s |      24 |  6029129 |  4505362 |     9242   1110 |        0 |        0
814.88/815.10	c  815s |      24 |  6046969 |  4517962 |     9242   1113 |        0 |        0
816.87/817.12	c  817s |      24 |  6059556 |  4527962 |     9242   1115 |        0 |        0
818.87/819.12	c  819s |      24 |  6074655 |  4538962 |     9242   1117 |        0 |        0
820.87/821.13	c  821s |      24 |  6089470 |  4549562 |     9242   1119 |        0 |        0
822.87/823.16	c  823s |      24 |  6097962 |  4556362 |     9242   1121 |        0 |        0
824.88/825.17	c  825s |      24 |  6104738 |  4562162 |     9242   1122 |        0 |        0
826.87/827.18	c  827s |      24 |  6117594 |  4571762 |     9242   1124 |        0 |        0
828.87/829.18	c  829s |      24 |  6132781 |  4582962 |     9242   1126 |        0 |        0
830.97/831.21	c  831s |      24 |  6144746 |  4591962 |     9242   1128 |        0 |        0
832.98/833.23	c  833s |      24 |  6158439 |  4602262 |     9242   1130 |        0 |        0
834.98/835.24	c  835s |      24 |  6167140 |  4609462 |     9242   1131 |        0 |        0
836.98/837.29	c  837s |      24 |  6182588 |  4620662 |     9242   1134 |        0 |        0
839.08/839.31	c  839s |      24 |  6191997 |  4628462 |     9242   1135 |        0 |        0
841.07/841.31	c  841s |      24 |  6205044 |  4637862 |     9242   1137 |        0 |        0
843.07/843.35	c  843s |      24 |  6220977 |  4649462 |     9242   1139 |        0 |        0
845.07/845.36	c  845s |      24 |  6231459 |  4656962 |     9242   1141 |        0 |        0
847.06/847.38	c  847s |      24 |  6241650 |  4664862 |     9242   1142 |        0 |        0
849.07/849.39	c  849s |      24 |  6251684 |  4672462 |     9242   1144 |        0 |        0
851.06/851.40	c  851s |      24 |  6263080 |  4680762 |     9242   1145 |        0 |        0
853.16/853.40	c  853s |      24 |  6273319 |  4688662 |     9242   1147 |        0 |        0
855.16/855.40	c  855s |      24 |  6284174 |  4697062 |     9242   1149 |        0 |        0
857.16/857.41	c  857s |      24 |  6295851 |  4705762 |     9242   1150 |        0 |        0
859.16/859.42	c  859s |      24 |  6307026 |  4714162 |     9242   1152 |        0 |        0
861.16/861.42	c  861s |      24 |  6319921 |  4724262 |     9242   1154 |        0 |        0
863.15/863.43	c  863s |      24 |  6337511 |  4736362 |     9242   1156 |        0 |        0
865.15/865.45	c  865s |      24 |  6345811 |  4742962 |     9242   1158 |        0 |        0
867.15/867.45	c  867s |      24 |  6354988 |  4750262 |     9242   1159 |        0 |        0
869.15/869.46	c  869s |      24 |  6365436 |  4758162 |     9242   1161 |        0 |        0
871.15/871.48	c  871s |      24 |  6377533 |  4767462 |     9242   1163 |        0 |        0
873.16/873.48	c  873s |      24 |  6392959 |  4778962 |     9242   1165 |        0 |        0
875.15/875.49	c  875s |      24 |  6406588 |  4789262 |     9242   1167 |        0 |        0
877.24/877.57	c  877s |      24 |  6416711 |  4797162 |     9242   1169 |        0 |        0
879.24/879.57	c  879s |      24 |  6429676 |  4806662 |     9242   1171 |        0 |        0
881.24/881.60	c  881s |      24 |  6444141 |  4817362 |     9242   1173 |        0 |        0
883.35/883.60	c  883s |      24 |  6456975 |  4827462 |     9242   1175 |        0 |        0
885.35/885.61	c  885s |      24 |  6474269 |  4839762 |     9242   1177 |        0 |        0
887.34/887.62	c  887s |      24 |  6486426 |  4849362 |     9242   1179 |        0 |        0
889.34/889.63	c  889s |      24 |  6499687 |  4859062 |     9242   1181 |        0 |        0
891.34/891.64	c  891s |      24 |  6510228 |  4867162 |     9242   1183 |        0 |        0
893.34/893.65	c  893s |      24 |  6525755 |  4878562 |     9242   1185 |        0 |        0
895.34/895.67	c  895s |      24 |  6540093 |  4889762 |     9242   1187 |        0 |        0
897.34/897.67	c  897s |      24 |  6554168 |  4900662 |     9242   1189 |        0 |        0
899.34/899.68	c  899s |      24 |  6564024 |  4908862 |     9242   1191 |        0 |        0
901.34/901.68	c  901s |      24 |  6573632 |  4916662 |     9242   1192 |        0 |        0
903.34/903.69	c  903s |      24 |  6588419 |  4927862 |     9242   1195 |        0 |        0
905.43/905.70	c  905s |      24 |  6603230 |  4938962 |     9242   1197 |        0 |        0
907.43/907.71	c  907s |      24 |  6618510 |  4950562 |     9242   1199 |        0 |        0
909.44/909.73	c  909s |      24 |  6629582 |  4959762 |     9242   1201 |        0 |        0
911.43/911.78	c  911s |      24 |  6639285 |  4967562 |     9242   1203 |        0 |        0
913.43/913.78	c  913s |      24 |  6653416 |  4978562 |     9242   1205 |        0 |        0
915.42/915.79	c  915s |      24 |  6671857 |  4991362 |     9242   1207 |        0 |        0
917.42/917.79	c  917s |      24 |  6689092 |  5004062 |     9242   1210 |        0 |        0
919.52/919.83	c  919s |      24 |  6704077 |  5014862 |     9242   1212 |        0 |        0
921.53/921.84	c  921s |      24 |  6720553 |  5027062 |     9242   1214 |        0 |        0
923.52/923.84	c  923s |      24 |  6736541 |  5038262 |    10167   1216 |        0 |        0
925.52/925.85	c  925s |      24 |  6749982 |  5048162 |    10167   1218 |        0 |        0
927.52/927.86	c  927s |      24 |  6762581 |  5058362 |    10167   1220 |        0 |        0
929.12/929.40	c  929s |      25 |  6770856 |  5065098 |    10167   1221 |        0 |        0
931.12/931.41	c  931s |      25 |  6784559 |  5075698 |    10167   1223 |        0 |        0
933.12/933.41	c  933s |      25 |  6797968 |  5085698 |    10167   1225 |        0 |        0
935.11/935.42	c  935s |      25 |  6810837 |  5096098 |    10167   1227 |        0 |        0
937.12/937.43	c  937s |      25 |  6829083 |  5108898 |    10167   1230 |        0 |        0
939.12/939.43	c  939s |      25 |  6842042 |  5119398 |    10167   1232 |        0 |        0
941.12/941.45	c  941s |      25 |  6853738 |  5128598 |    10167   1233 |        0 |        0
943.11/943.48	c  943s |      25 |  6860504 |  5134598 |    10167   1234 |        0 |        0
945.21/945.55	c  945s |      25 |  6867767 |  5140398 |    10167   1236 |        0 |        0
947.21/947.55	c  947s |      25 |  6884003 |  5152098 |    10167   1238 |        0 |        0
949.21/949.56	c  949s |      25 |  6899363 |  5163898 |    10167   1240 |        0 |        0
951.21/951.56	c  951s |      25 |  6911446 |  5173398 |    10167   1242 |        0 |        0
953.21/953.57	c  953s |      25 |  6920505 |  5180898 |    10167   1243 |        0 |        0
955.21/955.58	c  955s |      25 |  6933812 |  5190998 |    10167   1245 |        0 |        0
957.20/957.59	c  957s |      25 |  6944455 |  5199998 |    10167   1247 |        0 |        0
959.30/959.61	c  959s |      25 |  6954358 |  5208398 |    10167   1248 |        0 |        0
961.30/961.62	c  961s |      25 |  6965904 |  5216798 |    10167   1250 |        0 |        0
963.31/963.67	c  963s |      25 |  6981389 |  5227298 |    10167   1252 |        0 |        0
965.30/965.69	c  965s |      25 |  6996093 |  5237798 |    10167   1253 |        0 |        0
967.40/967.70	c  967s |      25 |  7014269 |  5251298 |    10167   1256 |        0 |        0
969.40/969.71	c  969s |      25 |  7029753 |  5262998 |    10167   1258 |        0 |        0
971.40/971.79	c  971s |      25 |  7041391 |  5271798 |    10167   1260 |        0 |        0
973.50/973.80	c  973s |      25 |  7055754 |  5282398 |    10167   1262 |        0 |        0
975.50/975.81	c  975s |      25 |  7069170 |  5292498 |    10167   1263 |        0 |        0
977.49/977.82	c  977s |      25 |  7080234 |  5301098 |    10167   1265 |        0 |        0
979.49/979.83	c  979s |      25 |  7090018 |  5308798 |    10167   1266 |        0 |        0
981.49/981.86	c  981s |      25 |  7105394 |  5320298 |    10167   1268 |        0 |        0
983.49/983.89	c  983s |      25 |  7119648 |  5331398 |    10167   1271 |        0 |        0
985.49/985.90	c  985s |      25 |  7132886 |  5341098 |    10167   1272 |        0 |        0
987.59/987.92	c  987s |      25 |  7142295 |  5349198 |    10167   1274 |        0 |        0
989.59/989.93	c  989s |      25 |  7150892 |  5356098 |    10167   1275 |        0 |        0
991.59/991.93	c  991s |      25 |  7158344 |  5362398 |    10167   1276 |        0 |        0
993.69/994.03	c  993s |      25 |  7165640 |  5368598 |    10167   1277 |        0 |        0
995.68/996.03	c  995s |      25 |  7174995 |  5376098 |    10167   1279 |        0 |        0
997.68/998.04	c  997s |      25 |  7185705 |  5384298 |    10167   1280 |        0 |        0
999.68/1000.06	c 1000s |      25 |  7199683 |  5395598 |    10167   1282 |        0 |        0
1001.68/1002.07	c 1002s |      25 |  7207046 |  5401998 |    10167   1284 |        0 |        0
1003.67/1004.07	c 1004s |      25 |  7219844 |  5411698 |    10167   1285 |        0 |        0
1005.67/1006.09	c 1006s |      25 |  7230757 |  5420398 |    10167   1287 |        0 |        0
1007.77/1008.11	c 1008s |      25 |  7238912 |  5427598 |    10167   1288 |        0 |        0
1009.77/1010.13	c 1010s |      25 |  7248862 |  5435298 |    10167   1290 |        0 |        0
1011.78/1012.15	c 1012s |      25 |  7258811 |  5443398 |    10167   1291 |        0 |        0
1013.77/1014.15	c 1014s |      25 |  7273745 |  5454598 |    10167   1293 |        0 |        0
1015.77/1016.15	c 1016s |      25 |  7287623 |  5464698 |    10167   1295 |        0 |        0
1017.77/1018.16	c 1018s |      25 |  7302756 |  5475898 |    10167   1297 |        0 |        0
1019.77/1020.17	c 1020s |      25 |  7317537 |  5487398 |    10167   1299 |        0 |        0
1021.77/1022.17	c 1022s |      25 |  7333661 |  5499298 |    10167   1301 |        0 |        0
1023.78/1024.19	c 1024s |      25 |  7349223 |  5511198 |    10167   1304 |        0 |        0
1025.77/1026.19	c 1026s |      25 |  7366186 |  5524098 |    10167   1306 |        0 |        0
1027.86/1028.20	c 1028s |      25 |  7382198 |  5535898 |    10167   1308 |        0 |        0
1029.86/1030.22	c 1030s |      25 |  7394396 |  5546098 |    10167   1310 |        0 |        0
1031.86/1032.26	c 1032s |      25 |  7403481 |  5553398 |    10167   1311 |        0 |        0
1033.86/1034.27	c 1034s |      25 |  7420169 |  5564798 |    10167   1314 |        0 |        0
1035.87/1036.27	c 1036s |      25 |  7438423 |  5578298 |    10167   1316 |        0 |        0
1037.86/1038.27	c 1038s |      25 |  7449033 |  5587298 |    10167   1318 |        0 |        0
1039.96/1040.32	c 1040s |      25 |  7455005 |  5592198 |    10167   1319 |        0 |        0
1041.96/1042.32	c 1042s |      25 |  7468569 |  5602198 |    10167   1320 |        0 |        0
1043.96/1044.32	c 1044s |      25 |  7480641 |  5611898 |    10167   1322 |        0 |        0
1045.95/1046.33	c 1046s |      25 |  7489194 |  5618698 |    10167   1323 |        0 |        0
1047.96/1048.33	c 1048s |      25 |  7506488 |  5631198 |    10167   1326 |        0 |        0
1050.05/1050.43	c 1050s |      25 |  7519703 |  5641698 |    10167   1328 |        0 |        0
1052.05/1052.44	c 1052s |      25 |  7529768 |  5649398 |    10167   1329 |        0 |        0
1054.05/1054.46	c 1054s |      25 |  7539611 |  5657398 |    10167   1330 |        0 |        0
1056.04/1056.47	c 1056s |      25 |  7550730 |  5665998 |    10167   1332 |        0 |        0
1058.04/1058.47	c 1058s |      25 |  7562604 |  5674398 |    10167   1334 |        0 |        0
1060.05/1060.47	c 1060s |      25 |  7574626 |  5683398 |    10167   1335 |        0 |        0
1062.04/1062.48	c 1062s |      25 |  7588410 |  5693698 |    10167   1337 |        0 |        0
1064.04/1064.49	c 1064s |      25 |  7598164 |  5701398 |    10167   1339 |        0 |        0
1066.04/1066.50	c 1066s |      25 |  7610329 |  5710698 |    10167   1340 |        0 |        0
1068.14/1068.51	c 1068s |      25 |  7619289 |  5718198 |    10167   1342 |        0 |        0
1070.14/1070.51	c 1070s |      25 |  7630099 |  5726898 |    10167   1343 |        0 |        0
1072.14/1072.52	c 1072s |      25 |  7641421 |  5736098 |    10167   1345 |        0 |        0
1074.14/1074.53	c 1074s |      25 |  7651755 |  5744498 |    10167   1346 |        0 |        0
1076.13/1076.55	c 1076s |      25 |  7667783 |  5756198 |    10167   1348 |        0 |        0
1078.14/1078.56	c 1078s |      25 |  7679948 |  5765898 |    10167   1350 |        0 |        0
1080.14/1080.56	c 1080s |      25 |  7693101 |  5775798 |    10167   1352 |        0 |        0
1082.15/1082.56	c 1082s |      25 |  7706435 |  5785898 |    10167   1354 |        0 |        0
1084.14/1084.57	c 1084s |      25 |  7721179 |  5796598 |    10167   1356 |        0 |        0
1086.13/1086.58	c 1086s |      25 |  7733086 |  5806298 |    10167   1358 |        0 |        0
1088.13/1088.60	c 1088s |      25 |  7743944 |  5814998 |    10167   1359 |        0 |        0
1090.23/1090.61	c 1090s |      25 |  7758130 |  5825798 |    10167   1361 |        0 |        0
1092.23/1092.62	c 1092s |      25 |  7768043 |  5833998 |    10167   1363 |        0 |        0
1094.24/1094.62	c 1094s |      25 |  7778831 |  5841998 |    10167   1364 |        0 |        0
1096.22/1096.64	c 1096s |      25 |  7794670 |  5853398 |    10167   1366 |        0 |        0
1098.22/1098.66	c 1098s |      25 |  7803313 |  5860398 |    10167   1368 |        0 |        0
1100.22/1100.67	c 1100s |      25 |  7815245 |  5869398 |    10167   1369 |        0 |        0
1102.32/1102.70	c 1102s |      25 |  7825746 |  5877398 |    10167   1371 |        0 |        0
1104.32/1104.70	c 1104s |      25 |  7840179 |  5888398 |    10167   1373 |        0 |        0
1106.32/1106.71	c 1106s |      25 |  7854018 |  5899098 |    10167   1375 |        0 |        0
1108.32/1108.77	c 1108s |      25 |  7867256 |  5909098 |    10167   1377 |        0 |        0
1110.32/1110.77	c 1110s |      25 |  7880028 |  5918998 |    10167   1378 |        0 |        0
1112.31/1112.78	c 1112s |      25 |  7893616 |  5928698 |    10167   1380 |        0 |        0
1114.32/1114.79	c 1114s |      25 |  7907003 |  5938598 |    10167   1382 |        0 |        0
1116.41/1116.81	c 1116s |      25 |  7923850 |  5950698 |    10167   1384 |        0 |        0
1118.42/1118.81	c 1118s |      25 |  7935754 |  5959498 |    10167   1386 |        0 |        0
1120.41/1120.83	c 1120s |      25 |  7947239 |  5968498 |    10167   1387 |        0 |        0
1122.41/1122.84	c 1122s |      25 |  7960993 |  5978498 |    10167   1389 |        0 |        0
1124.41/1124.87	c 1124s |      25 |  7969353 |  5985198 |    10167   1390 |        0 |        0
1126.41/1126.88	c 1126s |      25 |  7980942 |  5993998 |    10167   1392 |        0 |        0
1128.41/1128.89	c 1128s |      25 |  7997633 |  6005698 |    10167   1394 |        0 |        0
1130.51/1130.90	c 1130s |      25 |  8007632 |  6013598 |    10167   1396 |        0 |        0
1132.50/1132.91	c 1132s |      25 |  8014953 |  6019798 |    10167   1397 |        0 |        0
1134.50/1134.92	c 1134s |      25 |  8025746 |  6027998 |    10167   1398 |        0 |        0
1136.50/1136.93	c 1136s |      25 |  8034813 |  6035298 |    10167   1400 |        0 |        0
1138.50/1138.95	c 1138s |      25 |  8042244 |  6041298 |    10167   1401 |        0 |        0
1140.50/1140.97	c 1140s |      25 |  8056560 |  6051698 |    10167   1403 |        0 |        0
1142.51/1142.99	c 1142s |      25 |  8068823 |  6061198 |    10167   1404 |        0 |        0
1144.60/1145.00	c 1144s |      25 |  8082130 |  6071498 |    10167   1406 |        0 |        0
1146.60/1147.01	c 1146s |      25 |  8097403 |  6082398 |    10167   1408 |        0 |        0
1148.60/1149.02	c 1148s |      25 |  8111753 |  6093398 |    10167   1410 |        0 |        0
1150.60/1151.02	c 1150s |      25 |  8129697 |  6106798 |    10167   1413 |        0 |        0
1152.60/1153.04	c 1152s |      25 |  8144114 |  6117398 |    10167   1415 |        0 |        0
1154.60/1155.05	c 1155s |      25 |  8154351 |  6125598 |    10167   1416 |        0 |        0
1156.59/1157.06	c 1157s |      25 |  8166190 |  6134398 |    10167   1418 |        0 |        0
1158.60/1159.07	c 1159s |      25 |  8179921 |  6144898 |    10167   1419 |        0 |        0
1160.60/1161.08	c 1161s |      25 |  8192792 |  6154598 |    10167   1421 |        0 |        0
1162.70/1163.10	c 1163s |      25 |  8207612 |  6165898 |    10167   1423 |        0 |        0
1164.70/1165.11	c 1165s |      25 |  8222760 |  6177198 |    10167   1425 |        0 |        0
1166.70/1167.12	c 1167s |      25 |  8233235 |  6185798 |    10167   1427 |        0 |        0
1168.69/1169.12	c 1169s |      25 |  8245329 |  6195598 |    10167   1429 |        0 |        0
1170.69/1171.12	c 1171s |      25 |  8263150 |  6208398 |    10167   1431 |        0 |        0
1172.69/1173.12	c 1173s |      25 |  8273103 |  6216898 |    10167   1433 |        0 |        0
1174.69/1175.13	c 1175s |      25 |  8285485 |  6225998 |    10167   1434 |        0 |        0
1176.70/1177.14	c 1177s |      25 |  8301631 |  6238098 |    10167   1436 |        0 |        0
1178.69/1179.15	c 1179s |      25 |  8316232 |  6249398 |    10167   1438 |        0 |        0
1180.69/1181.17	c 1181s |      25 |  8325645 |  6257298 |    10167   1440 |        0 |        0
1182.79/1183.26	c 1183s |      25 |  8338257 |  6266498 |    10167   1442 |        0 |        0
1184.79/1185.27	c 1185s |      25 |  8352011 |  6277198 |    10167   1443 |        0 |        0
1186.79/1187.29	c 1187s |      25 |  8363330 |  6286198 |    10167   1445 |        0 |        0
1188.79/1189.29	c 1189s |      25 |  8377805 |  6297298 |    10167   1447 |        0 |        0
1190.79/1191.30	c 1191s |      25 |  8392724 |  6308898 |    10167   1449 |        0 |        0
1192.88/1193.32	c 1193s |      25 |  8407375 |  6320098 |    10167   1451 |        0 |        0
1194.88/1195.33	c 1195s |      25 |  8420684 |  6330498 |    10167   1453 |        0 |        0
1196.88/1197.34	c 1197s |      25 |  8437912 |  6343298 |    10167   1455 |        0 |        0
1198.89/1199.35	c 1199s |      25 |  8455202 |  6355998 |    10167   1458 |        0 |        0
1200.89/1201.36	c 1201s |      25 |  8468307 |  6366398 |    10167   1460 |        0 |        0
1202.89/1203.37	c 1203s |      25 |  8485098 |  6379198 |    10167   1462 |        0 |        0
1204.88/1205.38	c 1205s |      25 |  8501502 |  6390998 |    10167   1464 |        0 |        0
1206.88/1207.39	c 1207s |      25 |  8514390 |  6400998 |    10167   1466 |        0 |        0
1208.98/1209.43	c 1209s |      25 |  8525085 |  6409498 |    10167   1467 |        0 |        0
1210.98/1211.44	c 1211s |      25 |  8536659 |  6418798 |    10167   1469 |        0 |        0
1212.99/1213.45	c 1213s |      25 |  8546655 |  6426598 |    10167   1471 |        0 |        0
1214.98/1215.47	c 1215s |      25 |  8561430 |  6438198 |    10167   1473 |        0 |        0
1217.08/1217.51	c 1217s |      25 |  8572323 |  6446998 |    10167   1474 |        0 |        0
1219.08/1219.51	c 1219s |      25 |  8589390 |  6460098 |    10167   1477 |        0 |        0
1221.08/1221.53	c 1221s |      25 |  8600426 |  6469098 |    10167   1478 |        0 |        0
1223.08/1223.54	c 1223s |      25 |  8613289 |  6478598 |    10167   1480 |        0 |        0
1225.08/1225.55	c 1225s |      25 |  8629240 |  6490098 |    10167   1482 |        0 |        0
1227.08/1227.55	c 1227s |      25 |  8647725 |  6503298 |    10167   1485 |        0 |        0
1229.08/1229.56	c 1229s |      25 |  8663036 |  6514798 |    10167   1487 |        0 |        0
1231.08/1231.56	c 1231s |      25 |  8679280 |  6527498 |    10167   1489 |        0 |        0
1233.07/1233.57	c 1233s |      25 |  8694592 |  6539398 |    10167   1491 |        0 |        0
1235.07/1235.58	c 1235s |      25 |  8707110 |  6549398 |    10167   1493 |        0 |        0
1237.08/1237.59	c 1237s |      25 |  8715033 |  6556498 |    10167   1494 |        0 |        0
1239.17/1239.68	c 1239s |      25 |  8724470 |  6564098 |    10167   1496 |        0 |        0
1241.17/1241.69	c 1241s |      25 |  8737645 |  6574298 |    10167   1497 |        0 |        0
1243.17/1243.69	c 1243s |      25 |  8749047 |  6583298 |    10167   1499 |        0 |        0
1245.17/1245.69	c 1245s |      25 |  8763199 |  6594598 |    10167   1501 |        0 |        0
1247.28/1247.70	c 1247s |      25 |  8778671 |  6607298 |    10167   1503 |        0 |        0
1249.29/1249.71	c 1249s |      25 |  8794115 |  6618898 |    10167   1505 |        0 |        0
1251.28/1251.73	c 1251s |      25 |  8807899 |  6629898 |    10167   1507 |        0 |        0
1253.28/1253.74	c 1253s |      25 |  8819144 |  6639098 |    10167   1509 |        0 |        0
1255.28/1255.75	c 1255s |      25 |  8831473 |  6648898 |    10167   1511 |        0 |        0
1257.28/1257.78	c 1257s |      25 |  8843454 |  6658198 |    10167   1513 |        0 |        0
1259.28/1259.79	c 1259s |      25 |  8858466 |  6669298 |    10167   1515 |        0 |        0
1261.28/1261.80	c 1261s |      25 |  8874486 |  6680698 |    10167   1517 |        0 |        0
1263.37/1263.81	c 1263s |      25 |  8890477 |  6692198 |    10167   1519 |        0 |        0
1265.37/1265.85	c 1265s |      25 |  8904626 |  6702598 |    10167   1521 |        0 |        0
1267.37/1267.85	c 1267s |      25 |  8920912 |  6715098 |    10167   1523 |        0 |        0
1269.37/1269.86	c 1269s |      25 |  8937036 |  6727898 |    10167   1525 |        0 |        0
1271.37/1271.87	c 1271s |      25 |  8950259 |  6738598 |    10167   1527 |        0 |        0
1273.38/1273.90	c 1273s |      25 |  8966137 |  6750098 |    10167   1529 |        0 |        0
1275.47/1275.92	c 1275s |      25 |  8981035 |  6761798 |    10167   1531 |        0 |        0
1277.47/1277.95	c 1277s |      25 |  8991211 |  6769698 |    10167   1533 |        0 |        0
1279.47/1279.96	c 1279s |      25 |  9005887 |  6780698 |    10167   1535 |        0 |        0
1281.47/1281.99	c 1281s |      25 |  9020943 |  6792198 |    10167   1537 |        0 |        0
1283.47/1283.99	c 1283s |      25 |  9033444 |  6801998 |    10167   1538 |        0 |        0
1285.47/1285.99	c 1285s |      25 |  9048057 |  6813198 |    10167   1541 |        0 |        0
1287.57/1288.08	c 1288s |      25 |  9064220 |  6825298 |    10167   1543 |        0 |        0
1289.57/1290.08	c 1290s |      25 |  9078005 |  6835698 |    10167   1545 |        0 |        0
1291.57/1292.09	c 1292s |      25 |  9096206 |  6849098 |    10167   1547 |        0 |        0
1293.67/1294.10	c 1294s |      25 |  9108393 |  6858598 |    10167   1549 |        0 |        0
1295.67/1296.11	c 1296s |      25 |  9124435 |  6870998 |    10167   1551 |        0 |        0
1297.68/1298.13	c 1298s |      25 |  9133907 |  6878998 |    10167   1552 |        0 |        0
1299.67/1300.14	c 1300s |      25 |  9149209 |  6890598 |    10167   1555 |        0 |        0
1301.67/1302.15	c 1302s |      25 |  9162838 |  6900798 |    10167   1556 |        0 |        0
1303.66/1304.15	c 1304s |      25 |  9177885 |  6911598 |    10167   1558 |        0 |        0
1305.66/1306.17	c 1306s |      25 |  9189055 |  6920398 |    10167   1560 |        0 |        0
1307.76/1308.23	c 1308s |      25 |  9203522 |  6930798 |    10167   1562 |        0 |        0
1309.77/1310.23	c 1310s |      25 |  9218510 |  6942398 |    10167   1564 |        0 |        0
1311.76/1312.24	c 1312s |      25 |  9229288 |  6950598 |    10167   1565 |        0 |        0
1313.76/1314.26	c 1314s |      25 |  9238864 |  6958398 |    10167   1567 |        0 |        0
1315.77/1316.27	c 1316s |      25 |  9254953 |  6970598 |    10167   1569 |        0 |        0
1317.87/1318.30	c 1318s |      25 |  9266739 |  6980098 |    10167   1571 |        0 |        0
1319.87/1320.31	c 1320s |      25 |  9285722 |  6994298 |    10167   1573 |        0 |        0
1321.88/1322.32	c 1322s |      25 |  9300128 |  7005598 |    10167   1575 |        0 |        0
1323.87/1324.33	c 1324s |      25 |  9311603 |  7014798 |    10167   1577 |        0 |        0
1325.87/1326.34	c 1326s |      25 |  9325852 |  7025498 |    10167   1579 |        0 |        0
1327.87/1328.34	c 1328s |      25 |  9344349 |  7039298 |    10167   1581 |        0 |        0
1329.87/1330.36	c 1330s |      25 |  9362800 |  7052598 |    10167   1584 |        0 |        0
1331.87/1332.36	c 1332s |      25 |  9378658 |  7064998 |    10167   1586 |        0 |        0
1333.87/1334.39	c 1334s |      25 |  9389079 |  7073098 |    10167   1588 |        0 |        0
1335.87/1336.39	c 1336s |      25 |  9400686 |  7082798 |    10167   1589 |        0 |        0
1337.86/1338.39	c 1338s |      25 |  9407697 |  7088598 |    10167   1590 |        0 |        0
1339.96/1340.42	c 1340s |      25 |  9420237 |  7097798 |    10167   1592 |        0 |        0
1341.96/1342.43	c 1342s |      25 |  9432554 |  7107198 |    10167   1594 |        0 |        0
1343.96/1344.44	c 1344s |      25 |  9446133 |  7117598 |    10167   1596 |        0 |        0
1345.97/1346.45	c 1346s |      25 |  9456840 |  7126598 |    10167   1597 |        0 |        0
1347.96/1348.49	c 1348s |      25 |  9467512 |  7134798 |    10167   1599 |        0 |        0
1349.96/1350.49	c 1350s |      25 |  9477382 |  7142298 |    10167   1600 |        0 |        0
1352.06/1352.50	c 1352s |      25 |  9492243 |  7153298 |    10167   1602 |        0 |        0
1354.06/1354.51	c 1354s |      25 |  9502792 |  7161698 |    10167   1604 |        0 |        0
1356.06/1356.52	c 1356s |      25 |  9515475 |  7171198 |    10167   1605 |        0 |        0
1358.06/1358.53	c 1358s |      25 |  9526761 |  7179898 |    10167   1607 |        0 |        0
1360.06/1360.54	c 1360s |      25 |  9537230 |  7188298 |    10167   1608 |        0 |        0
1362.06/1362.57	c 1362s |      25 |  9548426 |  7197098 |    10167   1610 |        0 |        0
1364.05/1364.59	c 1364s |      25 |  9559001 |  7205298 |    10167   1611 |        0 |        0
1366.15/1366.61	c 1366s |      25 |  9569881 |  7213698 |    10167   1613 |        0 |        0
1368.15/1368.63	c 1368s |      25 |  9579200 |  7221198 |    10167   1614 |        0 |        0
1370.16/1370.64	c 1370s |      25 |  9589051 |  7229198 |    10167   1616 |        0 |        0
1372.15/1372.64	c 1372s |      25 |  9604365 |  7240398 |    10167   1618 |        0 |        0
1374.15/1374.65	c 1374s |      25 |  9615479 |  7249398 |    10167   1619 |        0 |        0
1376.15/1376.66	c 1376s |      25 |  9628890 |  7259698 |    10167   1621 |        0 |        0
1378.15/1378.67	c 1378s |      25 |  9641596 |  7269298 |    10167   1623 |        0 |        0
1380.16/1380.67	c 1380s |      25 |  9654871 |  7279398 |    10167   1625 |        0 |        0
1382.15/1382.68	c 1382s |      25 |  9664676 |  7287298 |    10167   1626 |        0 |        0
1384.15/1384.68	c 1384s |      25 |  9676894 |  7296398 |    10167   1628 |        0 |        0
1386.15/1386.69	c 1386s |      25 |  9691650 |  7307498 |    10167   1630 |        0 |        0
1388.15/1388.69	c 1388s |      25 |  9705681 |  7317698 |    10167   1632 |        0 |        0
1390.15/1390.69	c 1390s |      25 |  9723747 |  7330998 |    10167   1634 |        0 |        0
1392.17/1392.70	c 1392s |      25 |  9738335 |  7341998 |    10167   1636 |        0 |        0
1394.26/1394.70	c 1394s |      25 |  9752880 |  7353198 |    10167   1638 |        0 |        0
1396.26/1396.70	c 1396s |      25 |  9766072 |  7363998 |    10167   1640 |        0 |        0
1398.26/1398.74	c 1398s |      25 |  9782878 |  7376398 |    10167   1643 |        0 |        0
1400.26/1400.76	c 1400s |      25 |  9793852 |  7385398 |    10167   1644 |        0 |        0
1402.35/1402.81	c 1402s |      25 |  9802072 |  7392398 |    10167   1645 |        0 |        0
1404.36/1404.81	c 1404s |      25 |  9812551 |  7400298 |    10167   1647 |        0 |        0
1406.35/1406.81	c 1406s |      25 |  9825494 |  7410498 |    10167   1649 |        0 |        0
1408.35/1408.83	c 1408s |      25 |  9833456 |  7416998 |    10167   1650 |        0 |        0
1410.35/1410.89	c 1410s |      25 |  9849214 |  7428798 |    10167   1652 |        0 |        0
1412.35/1412.89	c 1412s |      25 |  9861667 |  7438298 |    10167   1654 |        0 |        0
1414.45/1414.91	c 1414s |      25 |  9876409 |  7449198 |    10167   1656 |        0 |        0
1416.46/1416.99	c 1416s |      25 |  9888235 |  7458998 |    10167   1658 |        0 |        0
1418.45/1419.00	c 1418s |      25 |  9902952 |  7469798 |    10167   1659 |        0 |        0
1420.55/1421.02	c 1420s |      25 |  9917631 |  7480998 |    10167   1661 |        0 |        0
1422.55/1423.04	c 1422s |      25 |  9929311 |  7489898 |    10167   1663 |        0 |        0
1424.55/1425.04	c 1425s |      25 |  9943776 |  7500598 |    10167   1665 |        0 |        0
1426.65/1427.10	c 1427s |      25 |  9962188 |  7514198 |    10167   1668 |        0 |        0
1428.65/1429.10	c 1429s |      25 |  9974714 |  7523798 |    10167   1669 |        0 |        0
1430.66/1431.12	c 1431s |      25 |  9989632 |  7535098 |    10167   1671 |        0 |        0
1432.65/1433.13	c 1433s |      25 | 10002573 |  7545298 |    11184   1673 |        0 |        0
1434.65/1435.14	c 1435s |      25 | 10017449 |  7556298 |    11184   1675 |        0 |        0
1436.65/1437.16	c 1437s |      25 | 10030062 |  7566498 |    11184   1677 |        0 |        0
1438.65/1439.17	c 1439s |      25 | 10043142 |  7577098 |    11184   1678 |        0 |        0
1440.66/1441.19	c 1441s |      25 | 10055142 |  7586498 |    11184   1680 |        0 |        0
1442.76/1443.23	c 1443s |      25 | 10061978 |  7592398 |    11184   1681 |        0 |        0
1443.75/1444.28	c 1444s |      26 | 10069153 |  7597752 |    11184   1682 |        0 |        0
1445.75/1446.28	c 1446s |      26 | 10079246 |  7605752 |    11184   1683 |        0 |        0
1447.84/1448.31	c 1448s |      26 | 10090374 |  7614952 |    11184   1685 |        0 |        0
1449.84/1450.31	c 1450s |      26 | 10104781 |  7625552 |    11184   1686 |        0 |        0
1451.84/1452.32	c 1452s |      26 | 10120274 |  7636352 |    11184   1688 |        0 |        0
1453.85/1454.33	c 1454s |      26 | 10138605 |  7649652 |    11184   1690 |        0 |        0
1455.84/1456.33	c 1456s |      26 | 10154191 |  7661352 |    11184   1692 |        0 |        0
1457.84/1458.35	c 1458s |      26 | 10165909 |  7670752 |    11184   1694 |        0 |        0
1459.84/1460.36	c 1460s |      26 | 10174582 |  7678052 |    11184   1695 |        0 |        0
1461.84/1462.39	c 1462s |      26 | 10185293 |  7686252 |    11184   1697 |        0 |        0
1463.94/1464.40	c 1464s |      26 | 10197775 |  7696152 |    11184   1698 |        0 |        0
1465.95/1466.42	c 1466s |      26 | 10208769 |  7704852 |    11184   1700 |        0 |        0
1467.94/1468.43	c 1468s |      26 | 10219496 |  7713352 |    11184   1701 |        0 |        0
1469.94/1470.48	c 1470s |      26 | 10230777 |  7722252 |    11184   1702 |        0 |        0
1471.94/1472.48	c 1472s |      26 | 10239605 |  7729652 |    11184   1704 |        0 |        0
1474.05/1474.55	c 1474s |      26 | 10253713 |  7740652 |    11184   1705 |        0 |        0
1476.05/1476.58	c 1476s |      26 | 10261739 |  7747152 |    11184   1707 |        0 |        0
1478.05/1478.58	c 1478s |      26 | 10274371 |  7756952 |    11184   1708 |        0 |        0
1480.04/1480.59	c 1480s |      26 | 10286355 |  7766252 |    11184   1710 |        0 |        0
1482.14/1482.60	c 1482s |      26 | 10299600 |  7776052 |    11184   1711 |        0 |        0
1484.14/1484.60	c 1484s |      26 | 10312249 |  7785752 |    11184   1713 |        0 |        0
1486.14/1486.65	c 1486s |      26 | 10325608 |  7795952 |    11184   1715 |        0 |        0
1488.14/1488.67	c 1488s |      26 | 10338328 |  7805852 |    11184   1716 |        0 |        0
1490.15/1490.69	c 1490s |      26 | 10352488 |  7816552 |    11184   1718 |        0 |        0
1492.14/1492.69	c 1492s |      26 | 10368308 |  7828352 |    11184   1720 |        0 |        0
1494.24/1494.71	c 1494s |      26 | 10384084 |  7840352 |    11184   1722 |        0 |        0
1496.24/1496.71	c 1496s |      26 | 10398095 |  7850052 |    11184   1723 |        0 |        0
1498.24/1498.73	c 1498s |      26 | 10408964 |  7858052 |    11184   1725 |        0 |        0
1500.24/1500.74	c 1500s |      26 | 10427346 |  7871552 |    11184   1727 |        0 |        0
1502.24/1502.74	c 1502s |      26 | 10442993 |  7882652 |    11184   1729 |        0 |        0
1504.24/1504.76	c 1504s |      26 | 10454595 |  7891652 |    11184   1731 |        0 |        0
1506.24/1506.76	c 1506s |      26 | 10464868 |  7899152 |    11184   1732 |        0 |        0
1508.24/1508.78	c 1508s |      26 | 10478177 |  7909352 |    11184   1733 |        0 |        0
1510.24/1510.78	c 1510s |      26 | 10488672 |  7917252 |    11184   1735 |        0 |        0
1512.34/1512.83	c 1512s |      26 | 10500083 |  7925852 |    11184   1736 |        0 |        0
1514.34/1514.85	c 1514s |      26 | 10510095 |  7934352 |    11184   1738 |        0 |        0
1516.33/1516.86	c 1516s |      26 | 10517860 |  7940752 |    11184   1739 |        0 |        0
1518.33/1518.87	c 1518s |      26 | 10529302 |  7949352 |    11184   1740 |        0 |        0
1520.33/1520.89	c 1520s |      26 | 10539142 |  7957052 |    11184   1741 |        0 |        0
1522.43/1522.91	c 1522s |      26 | 10548124 |  7963452 |    11184   1743 |        0 |        0
1524.43/1524.92	c 1524s |      26 | 10562712 |  7973952 |    11184   1744 |        0 |        0
1526.44/1526.93	c 1526s |      26 | 10579085 |  7985452 |    11184   1746 |        0 |        0
1528.43/1528.94	c 1528s |      26 | 10593308 |  7995852 |    11184   1748 |        0 |        0
1530.43/1530.96	c 1530s |      26 | 10608407 |  8007452 |    11184   1750 |        0 |        0
1532.43/1532.96	c 1532s |      26 | 10619534 |  8015752 |    11184   1751 |        0 |        0
1534.43/1534.97	c 1534s |      26 | 10634133 |  8026352 |    11184   1753 |        0 |        0
1536.43/1536.98	c 1536s |      26 | 10651723 |  8038952 |    11184   1755 |        0 |        0
1538.43/1538.99	c 1538s |      26 | 10668391 |  8051152 |    11184   1757 |        0 |        0
1540.53/1541.00	c 1540s |      26 | 10677385 |  8058552 |    11184   1759 |        0 |        0
1542.53/1543.00	c 1542s |      26 | 10692751 |  8069752 |    11184   1760 |        0 |        0
1544.54/1545.08	c 1545s |      26 | 10704828 |  8078652 |    11184   1762 |        0 |        0
1546.53/1547.08	c 1547s |      26 | 10718565 |  8088952 |    11184   1764 |        0 |        0
1548.63/1549.15	c 1549s |      26 | 10733126 |  8099952 |    11184   1766 |        0 |        0
1550.64/1551.16	c 1551s |      26 | 10747552 |  8110852 |    11184   1767 |        0 |        0
1552.63/1553.17	c 1553s |      26 | 10759731 |  8120652 |    11184   1769 |        0 |        0
1554.63/1555.18	c 1555s |      26 | 10768853 |  8128252 |    11184   1770 |        0 |        0
1556.63/1557.19	c 1557s |      26 | 10778040 |  8135652 |    11184   1771 |        0 |        0
1558.73/1559.20	c 1559s |      26 | 10786439 |  8142452 |    11184   1773 |        0 |        0
1560.83/1561.34	c 1561s |      26 | 10794721 |  8149152 |    11184   1774 |        0 |        0
1562.83/1563.34	c 1563s |      26 | 10803944 |  8156552 |    11184   1775 |        0 |        0
1564.84/1565.34	c 1565s |      26 | 10812473 |  8163552 |    11184   1776 |        0 |        0
1566.83/1567.35	c 1567s |      26 | 10820789 |  8170252 |    11184   1777 |        0 |        0
1568.93/1569.40	c 1569s |      26 | 10829618 |  8177152 |    11184   1779 |        0 |        0
1570.93/1571.42	c 1571s |      26 | 10840277 |  8185552 |    11184   1780 |        0 |        0
1572.93/1573.43	c 1573s |      26 | 10848366 |  8192352 |    11184   1781 |        0 |        0
1574.93/1575.43	c 1575s |      26 | 10860260 |  8201352 |    11184   1783 |        0 |        0
1576.94/1577.43	c 1577s |      26 | 10872858 |  8211152 |    11184   1784 |        0 |        0
1578.93/1579.44	c 1579s |      26 | 10885617 |  8221152 |    11184   1786 |        0 |        0
1580.93/1581.44	c 1581s |      26 | 10897879 |  8230452 |    11184   1788 |        0 |        0
1582.93/1583.46	c 1583s |      26 | 10910157 |  8240352 |    11184   1789 |        0 |        0
1584.93/1585.48	c 1585s |      26 | 10921765 |  8249852 |    11184   1791 |        0 |        0
1587.03/1587.50	c 1587s |      26 | 10932793 |  8258152 |    11184   1792 |        0 |        0
1589.03/1589.55	c 1589s |      26 | 10943663 |  8265752 |    11184   1794 |        0 |        0
1591.02/1591.58	c 1591s |      26 | 10957873 |  8275952 |    11184   1795 |        0 |        0
1593.12/1593.61	c 1593s |      26 | 10968694 |  8284452 |    11184   1797 |        0 |        0
1595.12/1595.62	c 1595s |      26 | 10977544 |  8291952 |    11184   1798 |        0 |        0
1597.12/1597.62	c 1597s |      26 | 10986954 |  8299052 |    11184   1799 |        0 |        0
1599.12/1599.64	c 1599s |      26 | 10996317 |  8306052 |    11184   1800 |        0 |        0
1601.13/1601.65	c 1601s |      26 | 11009847 |  8316452 |    11184   1802 |        0 |        0
1603.12/1603.67	c 1603s |      26 | 11023221 |  8326252 |    11184   1804 |        0 |        0
1605.12/1605.69	c 1605s |      26 | 11033876 |  8334452 |    11184   1805 |        0 |        0
1607.12/1607.69	c 1607s |      26 | 11046547 |  8344152 |    11184   1807 |        0 |        0
1609.23/1609.70	c 1609s |      26 | 11062215 |  8355652 |    11184   1809 |        0 |        0
1611.23/1611.72	c 1611s |      26 | 11072261 |  8363652 |    11184   1810 |        0 |        0
1613.23/1613.72	c 1613s |      26 | 11085108 |  8373452 |    11184   1812 |        0 |        0
1615.22/1615.74	c 1615s |      26 | 11102218 |  8385752 |    11184   1814 |        0 |        0
1617.22/1617.75	c 1617s |      26 | 11115858 |  8395552 |    11184   1815 |        0 |        0
1619.22/1619.76	c 1619s |      26 | 11130095 |  8406052 |    11184   1817 |        0 |        0
1621.22/1621.78	c 1621s |      26 | 11145967 |  8417752 |    11184   1819 |        0 |        0
1623.22/1623.78	c 1623s |      26 | 11162965 |  8430352 |    11184   1821 |        0 |        0
1625.22/1625.80	c 1625s |      26 | 11180704 |  8443152 |    11184   1823 |        0 |        0
1627.32/1627.80	c 1627s |      26 | 11196528 |  8455052 |    11184   1825 |        0 |        0
1629.32/1629.81	c 1629s |      26 | 11214690 |  8467452 |    11184   1828 |        0 |        0
1631.32/1631.82	c 1631s |      26 | 11230104 |  8479052 |    11184   1830 |        0 |        0
1633.31/1633.82	c 1633s |      26 | 11246963 |  8491052 |    11184   1832 |        0 |        0
1635.32/1635.84	c 1635s |      26 | 11260285 |  8501552 |    11184   1833 |        0 |        0
1637.31/1637.85	c 1637s |      26 | 11274985 |  8512952 |    11184   1835 |        0 |        0
1639.31/1639.88	c 1639s |      26 | 11289198 |  8523752 |    11184   1837 |        0 |        0
1641.41/1641.94	c 1641s |      26 | 11299659 |  8532152 |    11184   1839 |        0 |        0
1643.41/1643.95	c 1643s |      26 | 11309940 |  8539952 |    11184   1840 |        0 |        0
1645.41/1645.98	c 1645s |      26 | 11317952 |  8546752 |    11184   1841 |        0 |        0
1647.42/1647.99	c 1647s |      26 | 11334224 |  8558152 |    11184   1843 |        0 |        0
1649.53/1650.03	c 1649s |      26 | 11345524 |  8567552 |    11184   1845 |        0 |        0
1651.52/1652.03	c 1651s |      26 | 11351835 |  8573052 |    11184   1845 |        0 |        0
1653.52/1654.05	c 1654s |      26 | 11358748 |  8578752 |    11184   1846 |        0 |        0
1655.52/1656.07	c 1656s |      26 | 11366380 |  8584852 |    11184   1847 |        0 |        0
1657.62/1658.18	c 1658s |      26 | 11374299 |  8591352 |    11184   1849 |        0 |        0
1659.72/1660.21	c 1660s |      26 | 11382321 |  8598052 |    11184   1850 |        0 |        0
1661.72/1662.23	c 1662s |      26 | 11389950 |  8604552 |    11184   1851 |        0 |        0
1663.72/1664.23	c 1664s |      26 | 11408411 |  8617852 |    11184   1853 |        0 |        0
1665.72/1666.24	c 1666s |      26 | 11419259 |  8626652 |    11184   1854 |        0 |        0
1667.72/1668.26	c 1668s |      26 | 11428198 |  8634452 |    11184   1856 |        0 |        0
1669.72/1670.26	c 1670s |      26 | 11436406 |  8641452 |    11184   1857 |        0 |        0
1671.71/1672.27	c 1672s |      26 | 11445781 |  8648852 |    11184   1858 |        0 |        0
1673.72/1674.27	c 1674s |      26 | 11460303 |  8659352 |    11184   1860 |        0 |        0
1675.71/1676.28	c 1676s |      26 | 11476620 |  8671652 |    11184   1862 |        0 |        0
1677.81/1678.33	c 1678s |      26 | 11487963 |  8680052 |    11184   1864 |        0 |        0
1679.81/1680.39	c 1680s |      26 | 11503279 |  8691752 |    11184   1866 |        0 |        0
1681.91/1682.45	c 1682s |      26 | 11511034 |  8697952 |    11184   1867 |        0 |        0
1683.91/1684.49	c 1684s |      26 | 11523699 |  8708252 |    11184   1868 |        0 |        0
1685.92/1686.49	c 1686s |      26 | 11531719 |  8714952 |    11184   1869 |        0 |        0
1687.91/1688.50	c 1688s |      26 | 11541573 |  8722552 |    11184   1871 |        0 |        0
1690.01/1690.51	c 1690s |      26 | 11558691 |  8734652 |    11184   1873 |        0 |        0
1692.01/1692.52	c 1692s |      26 | 11572257 |  8745352 |    11184   1875 |        0 |        0
1694.01/1694.53	c 1694s |      26 | 11588447 |  8757752 |    11184   1877 |        0 |        0
1696.01/1696.53	c 1696s |      26 | 11606608 |  8770052 |    11184   1879 |        0 |        0
1698.01/1698.55	c 1698s |      26 | 11617807 |  8779552 |    11184   1880 |        0 |        0
1700.01/1700.55	c 1700s |      26 | 11632807 |  8790752 |    11184   1882 |        0 |        0
1702.01/1702.55	c 1702s |      26 | 11648380 |  8802052 |    11184   1884 |        0 |        0
1704.01/1704.57	c 1704s |      26 | 11660425 |  8811652 |    11184   1886 |        0 |        0
1706.00/1706.58	c 1706s |      26 | 11670259 |  8819752 |    11184   1887 |        0 |        0
1708.00/1708.58	c 1708s |      26 | 11683657 |  8829252 |    11184   1889 |        0 |        0
1710.01/1710.60	c 1710s |      26 | 11701995 |  8842452 |    11184   1891 |        0 |        0
1712.10/1712.61	c 1712s |      26 | 11713078 |  8851452 |    11184   1893 |        0 |        0
1714.10/1714.63	c 1714s |      26 | 11725314 |  8860952 |    11184   1894 |        0 |        0
1716.10/1716.65	c 1716s |      26 | 11734168 |  8868252 |    11184   1895 |        0 |        0
1718.10/1718.66	c 1718s |      26 | 11749646 |  8879852 |    11184   1897 |        0 |        0
1720.20/1720.70	c 1720s |      26 | 11756968 |  8886452 |    11184   1898 |        0 |        0
1722.21/1722.77	c 1722s |      26 | 11765874 |  8892852 |    11184   1900 |        0 |        0
1724.20/1724.77	c 1724s |      26 | 11778223 |  8902252 |    11184   1901 |        0 |        0
1726.20/1726.78	c 1726s |      26 | 11791746 |  8912952 |    11184   1903 |        0 |        0
1728.30/1728.81	c 1728s |      26 | 11804236 |  8922652 |    11184   1905 |        0 |        0
1730.30/1730.82	c 1730s |      26 | 11818977 |  8933552 |    11184   1906 |        0 |        0
1732.30/1732.83	c 1732s |      26 | 11832941 |  8944152 |    11184   1908 |        0 |        0
1734.30/1734.85	c 1734s |      26 | 11849332 |  8956452 |    11184   1910 |        0 |        0
1736.30/1736.87	c 1736s |      26 | 11862792 |  8966652 |    11184   1912 |        0 |        0
1738.31/1738.88	c 1738s |      26 | 11875129 |  8976152 |    11184   1914 |        0 |        0
1740.31/1740.88	c 1740s |      26 | 11895076 |  8990152 |    11184   1916 |        0 |        0
1742.31/1742.89	c 1742s |      26 | 11911208 |  9001952 |    11184   1918 |        0 |        0
1744.40/1744.90	c 1744s |      26 | 11924704 |  9012052 |    11184   1920 |        0 |        0
1746.41/1746.91	c 1746s |      26 | 11939331 |  9022852 |    11184   1922 |        0 |        0
1748.40/1748.91	c 1748s |      26 | 11955445 |  9035352 |    11184   1924 |        0 |        0
1750.40/1750.93	c 1750s |      26 | 11968961 |  9045952 |    11184   1925 |        0 |        0
1752.40/1752.93	c 1752s |      26 | 11982858 |  9056652 |    11184   1927 |        0 |        0
1754.40/1754.94	c 1754s |      26 | 11996105 |  9066552 |    11184   1929 |        0 |        0
1756.40/1756.95	c 1756s |      26 | 12010419 |  9077652 |    11184   1931 |        0 |        0
1758.41/1758.96	c 1758s |      26 | 12024914 |  9088752 |    11184   1933 |        0 |        0
1760.40/1760.96	c 1760s |      26 | 12036406 |  9097852 |    11184   1934 |        0 |        0
1762.40/1762.96	c 1762s |      26 | 12050768 |  9109052 |    11184   1936 |        0 |        0
1764.40/1764.96	c 1764s |      26 | 12066860 |  9121052 |    11184   1938 |        0 |        0
1766.40/1766.97	c 1766s |      26 | 12082007 |  9132452 |    11184   1940 |        0 |        0
1768.40/1768.98	c 1768s |      26 | 12092888 |  9141052 |    11184   1941 |        0 |        0
1770.39/1770.99	c 1770s |      26 | 12103079 |  9148952 |    11184   1943 |        0 |        0
1772.49/1773.01	c 1772s |      26 | 12118654 |  9160352 |    11184   1945 |        0 |        0
1774.49/1775.03	c 1774s |      26 | 12129615 |  9169052 |    11184   1946 |        0 |        0
1776.49/1777.03	c 1776s |      26 | 12143335 |  9179252 |    11184   1948 |        0 |        0
1778.49/1779.04	c 1778s |      26 | 12159546 |  9191652 |    11184   1950 |        0 |        0
1780.50/1781.06	c 1781s |      26 | 12169936 |  9199952 |    11184   1951 |        0 |        0
1782.49/1783.08	c 1783s |      26 | 12181809 |  9209352 |    11184   1953 |        0 |        0
1784.59/1785.12	c 1785s |      26 | 12193419 |  9218552 |    11184   1955 |        0 |        0
1786.59/1787.15	c 1787s |      26 | 12203780 |  9226952 |    11184   1956 |        0 |        0
1788.59/1789.18	c 1789s |      26 | 12212555 |  9234252 |    11184   1957 |        0 |        0
1790.59/1791.18	c 1791s |      26 | 12224256 |  9243152 |    11184   1959 |        0 |        0
1792.60/1793.19	c 1793s |      26 | 12238796 |  9255052 |    11184   1961 |        0 |        0
1794.59/1795.19	c 1795s |      26 | 12251939 |  9265052 |    11184   1962 |        0 |        0
1796.59/1797.19	c 1797s |      26 | 12264481 |  9274952 |    11184   1964 |        0 |        0
1798.70/1799.21	c 1799s |      26 | 12278640 |  9285752 |    11184   1966 |        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-4088693-1466013215/watcher-4088693-1466013215 -o /tmp/evaluation-result-4088693-1466013215/solver-4088693-1466013215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088693-1466013215.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.16 2.07 3/179 6599
/proc/meminfo: memFree=30477120/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=614844 CPUtime=0 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 2277 0 0 0 0 0 0 0 20 0 4 0 3366967 629600256 2637 33554432000 4194304 16246674 140736058685424 140736058684848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 154223 2645 441 2943 0 151117 0
[pid=6599/tid=6600] ppid=6596 vsize=633276 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 648474624 2706 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=637372 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 652668928 2722 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=641468 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3366968 656863232 2737 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.28 2.16 2.07 3/179 6599
/proc/meminfo: memFree=30477120/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 24013 0 0 0 6 3 0 0 20 0 4 0 3366967 1247350784 24362 33554432000 4194304 16246674 140736058685424 140736058684360 5668190 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 304529 24370 709 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 24378 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 24384 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 24390 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20053 s]
/proc/loadavg: 2.28 2.16 2.07 3/179 6599
/proc/meminfo: memFree=30477120/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 43933 0 0 0 13 6 0 0 20 0 4 0 3366967 1247350784 44282 33554432000 4194304 16246674 140736058685424 140736058684360 13193554 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 304529 44293 709 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 44301 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 44307 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 44314 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.28 2.16 2.07 3/179 6599
/proc/meminfo: memFree=30477120/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 65304 0 0 0 21 8 0 0 20 0 4 0 3366967 1247350784 65653 33554432000 4194304 16246674 140736058685424 140736058684360 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 304529 65662 716 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 65670 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 65679 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 65683 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700364 s]
/proc/loadavg: 2.28 2.16 2.07 3/179 6599
/proc/meminfo: memFree=30477120/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 148566 0 0 0 48 20 0 0 20 0 4 0 3366967 1247350784 148915 33554432000 4194304 16246674 140736058685424 140736058684360 13195171 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 304529 148929 716 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 148934 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 148938 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3366968 1247350784 148942 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.28 2.16 2.07 4/183 6603
/proc/meminfo: memFree=29649548/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1223236 CPUtime=1.49 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 206647 0 0 0 120 29 0 0 20 0 4 0 3366967 1252593664 206976 33554432000 4194304 16246674 140736058685424 140736058667328 5723448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 305809 206976 790 2943 0 302703 0
[pid=6599/tid=6600] ppid=6596 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1252593664 206976 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1252593664 206976 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1252593664 206976 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.10042 s]
/proc/loadavg: 2.26 2.16 2.07 3/183 6603
/proc/meminfo: memFree=29413576/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 267730 0 0 0 272 37 0 0 20 0 4 0 3366967 1338576896 268059 33554432000 4194304 16246674 140736058685424 140736058668424 5822908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 326801 268059 794 2943 0 323695 0
[pid=6599/tid=6600] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1338576896 268059 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1338576896 268059 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1338576896 268059 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.26 2.16 2.07 3/183 6603
/proc/meminfo: memFree=29401712/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 268700 0 0 0 592 37 0 0 20 0 4 0 3366967 1342771200 269029 33554432000 4194304 16246674 140736058685424 140736058668424 5829917 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 327825 269029 794 2943 0 324719 0
[pid=6599/tid=6600] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269029 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269029 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269029 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.22 2.15 2.07 3/183 6603
/proc/meminfo: memFree=29401248/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 268858 0 0 0 1231 37 0 0 20 0 4 0 3366967 1342771200 269187 33554432000 4194304 16246674 140736058685424 140736058668424 5823905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 327825 269187 794 2943 0 324719 0
[pid=6599/tid=6600] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269187 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269187 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1342771200 269187 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.19 2.14 2.07 3/183 6603
/proc/meminfo: memFree=29396392/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 270167 0 0 0 2511 38 0 0 20 0 4 0 3366967 1349062656 270496 33554432000 4194304 16246674 140736058685424 140736058667328 12479225 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 329361 270496 795 2943 0 326255 0
[pid=6599/tid=6600] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1349062656 270496 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1349062656 270496 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1349062656 270496 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.12 2.13 2.07 3/183 6603
/proc/meminfo: memFree=29389332/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1323588 CPUtime=51.08 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 271932 0 0 0 5070 38 0 0 20 0 4 0 3366967 1355354112 272261 33554432000 4194304 16246674 140736058685424 140736058668424 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 330897 272261 796 2943 0 327791 0
[pid=6599/tid=6600] ppid=6596 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1355354112 272261 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1355354112 272261 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1355354112 272261 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.301 s]
/proc/loadavg: 2.11 2.12 2.07 3/183 6605
/proc/meminfo: memFree=29383420/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1329732 CPUtime=102.28 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 273237 0 0 0 10189 39 0 0 20 0 4 0 3366967 1361645568 273566 33554432000 4194304 16246674 140736058685424 140736058668424 5666045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 332433 273566 796 2943 0 329327 0
[pid=6599/tid=6600] ppid=6596 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1361645568 273566 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1361645568 273566 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1361645568 273566 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1329732


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

/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.08 3/183 6707
/proc/meminfo: memFree=29301344/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1361.86 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 136123 63 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 5822536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.15 2.09 2.08 3/183 6708
/proc/meminfo: memFree=29301328/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1421.85 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 142121 64 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 6709
/proc/meminfo: memFree=29301472/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1481.84 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 148118 66 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058667328 5823355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.11 2.08 2.08 3/183 6710
/proc/meminfo: memFree=29301368/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1541.83 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 154117 66 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058683264 5523307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/184 6714
/proc/meminfo: memFree=29300932/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1601.82 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 160115 67 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058667328 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 6716
/proc/meminfo: memFree=29301332/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1661.82 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 166113 69 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058684520 5523208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 6717
/proc/meminfo: memFree=29301212/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1721.8 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 172111 69 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 6718
/proc/meminfo: memFree=29301104/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1781.79 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 178109 70 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 5827950 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 6718
/proc/meminfo: memFree=29300824/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1800 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 179929 71 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 5677678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 6718
/proc/meminfo: memFree=29300824/32872528 swapFree=496356/529060
[pid=6599] ppid=6596 vsize=1353284 CPUtime=1800 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5955 0 -1 4202496 279778 0 0 0 179929 71 0 0 20 0 4 0 3366967 1385762816 279688 33554432000 4194304 16246674 140736058685424 140736058668424 5677678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 338321 279688 796 2943 0 335215 0
[pid=6599/tid=6600] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053523180784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053512690928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3366968 1385762816 279688 33554432000 4194304 16246674 140736058685424 140053502217392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1353284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.3
CPU system time (s): 0.710891
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.710891
maximum resident set size= 1118752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279778
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= 434
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36103 second user time and 9.05762 second system time

The end

Begin job on node141 at 2016-06-15 19:53:35
IDJOB=4088693
IDBENCH=107300
IDSOLVER=2542
FILE ID=node141/4088693-1466013215
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= d1a89ad9a1754234599f01f14b2863db
RANDOM SEED=2059053587

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30477392 kB
Buffers:            9912 kB
Cached:            70944 kB
SwapCached:        13076 kB
Active:          1131992 kB
Inactive:          34340 kB
Active(anon):    1075696 kB
Inactive(anon):    12008 kB
Active(file):      56296 kB
Inactive(file):    22332 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088052 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1696456 kB
Mapped:            10412 kB
Shmem:                 0 kB
Slab:             565980 kB
SReclaimable:       9960 kB
SUnreclaim:       556020 kB
KernelStack:        1520 kB
PageTables:         7592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1747836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1193984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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