0.00/0.00	c 2016-06-15T23:18:31+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-4089330-1466025510.opb"]
0.00/0.01	c use --random-gen="616345281 19331014 30192499 1145871734 3432179382 2392595873 296567727 1190432421 3881788152 2544363114 593638590 1587325637 3861976328 2327626938 1231540903 2440372422 3954127567 3975664087 2201796472 399415105 2118920716 2354973899 283568854 2755671067 1248869545 3830157474 2665612945 3246422470 3519509781 1704903861 1947269343 2291370060 2811414446 3708427750 2645945714 843454974 909533293 2754512836 801389097 1832586310 1271885808 3122337062 1471686773 2264102017 3495847287 1384424047 1030731465 2451031524 3062943023 2674587971 4260251864 2489278546 2178767560 1269966243 86180468 1496394303 3346463154 3989102061 3291054131 58020432 2053466048 1094650569 938801263 2786748219 2068253966 1376416085 3830573463 448696750 4040078868 111903649 3692304360 3132495625 3770227561 108770148 783793351 3365685100 1292120174 4098660086 3456590229 2931627454 3292824580 2119038597 1418135900 1855998093 3094636905 1479784914 1638058447 3726825943 1622423573 739375078 4145532857 1153948452 1619119967 2422084992 1918138954 1585225944 4030658707 1984801072 3986402496 2430947602 4089305762 320683370 441525660 2024216282 4093033646 3637554975 1592859221 248864491 3442525133 4148668744 3977582357 3821075298 2044370363 1962280759 1642352896 1984950793 1839814474 1153114368 3753137697 1436561716 2634025471 2381494418 3807293071 3825835567 966047728 1464942319 1064501897 2245268474 20989156 161590783 3285454252 3022590947 2148019410 1866676601 3141769439 1044166121 1779606306 2512245785 3573244659 3535121457 1664432194 1183587411 493462541 1921337483 2404564796 2238126379 3992030068 3142726789 1155682132 302887370 3328225182 956037496 164820429 1461637517 2870016474 1958230693 73866981 2926241002 457880039 1223035038 425443633 3098382309 3152588684 1985637303 1045288311 1900053519 737765629 3542259256 2038121832 1784617665 1445869436 395676614 225032129 449640438 3965928238 2560534557 3076683830 321534219 2059567315 1432997426 1758173429 3057130345 2143663571 3822079650 1691923376 3677374610 2899651943 3514897606 3470268729 247584103 1170782420 3324539007 499502195 3677747765 534127851 3325773671 3327143491 2109444367 1116918532 1640994597 4158178543 3224884447 240149787 2216924644 816954727 2602999422 1363133674 2503531429 4249373701 461692482 2164715643 3552991500 972702326 2895846517 3789784501 3248640138 3563162957 82910322 3964947405 2779559647 3767536700 3898982980 1530798695 2284826389 909144945 2917737792 3273503450 3645713362 3594221669 1890203320 3177352590 793167676 2024115477 3648509043 2253169805 1593061438 4115133748 3042217168 3067254290 1964308573 60000072 881048940 1214765856 2033202431 3651803518 2966112158 1735224750 2533948551 2463401959 802048854 3410946040 2217079638 2798300931 3652298952 1015221783 3591586569 255 362436" option to reproduce the execution
0.00/0.01	c #vars 210
0.00/0.01	c #constraints 421
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      210      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      200 |      100 |      210      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      447 |      250 |      232      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      771 |      475 |      256      1 |        0 |        0
0.18/0.24	c  0.2s |       4 |     1207 |      813 |      282      3 |        0 |        0
0.39/0.40	c  0.4s |       5 |     1815 |     1320 |      311      6 |        0 |        0
0.58/0.63	c  0.6s |       6 |     2677 |     2081 |      378      9 |        0 |        0
0.88/0.93	c  0.9s |       7 |     3924 |     3223 |      416     14 |        0 |        0
1.19/1.27	c  1.3s |       8 |     5738 |     4936 |      458     20 |        0 |        0
1.79/1.82	c  1.8s |       9 |     8434 |     7506 |      504     29 |        0 |        0
2.59/2.62	c  2.6s |      10 |    12421 |    11361 |      555     42 |        0 |        0
3.79/3.88	c  3.9s |      11 |    18329 |    17144 |      611     60 |        0 |        0
5.69/5.77	c  5.8s |      12 |    27151 |    25819 |      673     84 |        0 |        0
7.69/7.78	c  7.8s |      12 |    36538 |    35019 |      673    108 |        0 |        0
8.59/8.62	c  8.6s |      13 |    40395 |    38832 |      741    118 |        0 |        0
10.58/10.64	c 10.6s |      13 |    49278 |    47532 |      741    138 |        0 |        0
12.58/12.64	c 12.6s |      13 |    58197 |    56332 |      741    159 |        0 |        0
13.08/13.13	c 13.1s |      14 |    60244 |    58352 |      816    164 |        0 |        0
15.08/15.14	c 15.1s |      14 |    69244 |    67152 |      816    183 |        0 |        0
17.08/17.15	c 17.1s |      14 |    78113 |    75952 |      816    202 |        0 |        0
19.08/19.17	c 19.2s |      14 |    86896 |    84652 |      816    222 |        0 |        0
19.79/19.87	c 19.9s |      15 |    89887 |    87632 |      898    228 |        0 |        0
21.78/21.89	c 21.9s |      15 |    98973 |    96532 |      898    246 |        0 |        0
23.78/23.90	c 23.9s |      15 |   107871 |   105332 |      898    263 |        0 |        0
25.88/25.91	c 25.9s |      15 |   116364 |   113732 |      898    280 |        0 |        0
27.88/27.93	c 27.9s |      15 |   125642 |   122932 |      898    299 |        0 |        0
29.88/29.94	c 29.9s |      15 |   134410 |   131532 |      988    316 |        0 |        0
29.88/29.95	c 29.9s |      16 |   134432 |   131552 |      988    316 |        0 |        0
31.89/31.95	c 31.9s |      16 |   143160 |   140052 |      988    332 |        0 |        0
33.88/33.95	c 33.9s |      16 |   151639 |   148452 |      988    347 |        0 |        0
35.88/35.97	c 36.0s |      16 |   160460 |   157152 |      988    363 |        0 |        0
37.88/37.98	c 38.0s |      16 |   168959 |   165552 |      988    379 |        0 |        0
39.98/40.00	c 40.0s |      16 |   177399 |   173852 |      988    394 |        0 |        0
41.98/42.01	c 42.0s |      16 |   185757 |   182052 |      988    409 |        0 |        0
43.99/44.03	c 44.0s |      16 |   194392 |   190552 |      988    425 |        0 |        0
45.68/45.70	c 45.7s |      17 |   201346 |   197432 |     1087    437 |        0 |        0
47.68/47.71	c 47.7s |      17 |   209740 |   205632 |     1087    451 |        0 |        0
49.68/49.73	c 49.7s |      17 |   218158 |   213932 |     1087    465 |        0 |        0
51.69/51.74	c 51.7s |      17 |   226495 |   222132 |     1087    479 |        0 |        0
53.68/53.74	c 53.7s |      17 |   235007 |   230532 |     1087    493 |        0 |        0
55.68/55.74	c 55.7s |      17 |   243414 |   238832 |     1087    507 |        0 |        0
57.68/57.74	c 57.7s |      17 |   251607 |   246932 |     1087    521 |        0 |        0
59.68/59.76	c 59.7s |      17 |   259812 |   255032 |     1087    535 |        0 |        0
61.69/61.78	c 61.8s |      17 |   267995 |   263132 |     1087    548 |        0 |        0
63.68/63.78	c 63.8s |      17 |   276236 |   271232 |     1087    562 |        0 |        0
65.78/65.80	c 65.8s |      17 |   284156 |   279032 |     1087    575 |        0 |        0
67.78/67.83	c 67.8s |      17 |   292791 |   287532 |     1087    590 |        0 |        0
69.78/69.83	c 69.8s |      17 |   301198 |   295832 |     1196    603 |        0 |        0
69.88/69.95	c 69.9s |      18 |   301618 |   296252 |     1196    604 |        0 |        0
71.88/71.96	c 71.9s |      18 |   310101 |   304552 |     1196    617 |        0 |        0
73.88/73.97	c 74.0s |      18 |   318647 |   312952 |     1196    630 |        0 |        0
75.88/75.98	c 76.0s |      18 |   327075 |   321252 |     1196    643 |        0 |        0
77.87/77.99	c 78.0s |      18 |   335526 |   329552 |     1196    655 |        0 |        0
79.97/80.00	c 80.0s |      18 |   343760 |   337652 |     1196    668 |        0 |        0
81.97/82.00	c 82.0s |      18 |   351904 |   345552 |     1196    680 |        0 |        0
83.97/84.01	c 84.0s |      18 |   360494 |   353952 |     1196    693 |        0 |        0
85.97/86.02	c 86.0s |      18 |   368696 |   362052 |     1196    706 |        0 |        0
87.98/88.03	c 88.0s |      18 |   376750 |   369952 |     1196    718 |        0 |        0
89.97/90.04	c 90.0s |      18 |   384529 |   377652 |     1196    730 |        0 |        0
91.97/92.05	c 92.0s |      18 |   393275 |   386252 |     1196    743 |        0 |        0
93.97/94.07	c 94.1s |      18 |   401698 |   394552 |     1196    756 |        0 |        0
95.97/96.09	c 96.1s |      18 |   409798 |   402552 |     1196    768 |        0 |        0
98.07/98.11	c 98.1s |      18 |   418027 |   410652 |     1196    781 |        0 |        0
100.08/100.12	c  100s |      18 |   426208 |   418752 |     1196    794 |        0 |        0
102.07/102.13	c  102s |      18 |   434015 |   426452 |     1196    805 |        0 |        0
104.07/104.14	c  104s |      18 |   442162 |   434452 |     1196    818 |        0 |        0
106.07/106.14	c  106s |      18 |   449937 |   442152 |     1316    829 |        0 |        0
106.67/106.77	c  106s |      19 |   452316 |   444482 |     1316    833 |        0 |        0
108.77/108.80	c  108s |      19 |   460498 |   452482 |     1316    844 |        0 |        0
110.77/110.82	c  110s |      19 |   468326 |   460182 |     1316    855 |        0 |        0
112.77/112.84	c  112s |      19 |   476151 |   467882 |     1316    866 |        0 |        0
114.77/114.85	c  114s |      19 |   483753 |   475382 |     1316    877 |        0 |        0
116.77/116.86	c  116s |      19 |   491627 |   483182 |     1316    888 |        0 |        0
118.77/118.87	c  118s |      19 |   499717 |   491182 |     1316    899 |        0 |        0
120.76/120.88	c  120s |      19 |   507496 |   498882 |     1316    910 |        0 |        0
122.76/122.89	c  122s |      19 |   515192 |   506482 |     1316    921 |        0 |        0
124.86/124.91	c  124s |      19 |   522805 |   513982 |     1316    931 |        0 |        0
126.86/126.92	c  126s |      19 |   530182 |   521282 |     1316    941 |        0 |        0
128.86/128.92	c  128s |      19 |   537671 |   528682 |     1316    952 |        0 |        0
130.87/130.94	c  130s |      19 |   545615 |   536482 |     1316    963 |        0 |        0
132.86/132.96	c  132s |      19 |   553542 |   544282 |     1316    974 |        0 |        0
134.87/134.98	c  134s |      19 |   561460 |   552082 |     1316    985 |        0 |        0
136.87/136.98	c  136s |      19 |   569077 |   559582 |     1316    996 |        0 |        0
138.97/139.00	c  138s |      19 |   576785 |   567182 |     1316   1006 |        0 |        0
140.97/141.01	c  140s |      19 |   584386 |   574682 |     1316   1017 |        0 |        0
142.98/143.02	c  143s |      19 |   591947 |   582082 |     1316   1028 |        0 |        0
144.97/145.04	c  145s |      19 |   599493 |   589482 |     1316   1038 |        0 |        0
146.97/147.06	c  147s |      19 |   607048 |   596882 |     1316   1049 |        0 |        0
148.97/149.09	c  149s |      19 |   614789 |   604482 |     1316   1059 |        0 |        0
150.97/151.09	c  151s |      19 |   622385 |   611982 |     1316   1070 |        0 |        0
153.07/153.11	c  153s |      19 |   629940 |   619382 |     1316   1080 |        0 |        0
155.07/155.11	c  155s |      19 |   637331 |   626682 |     1316   1091 |        0 |        0
157.07/157.13	c  157s |      19 |   644675 |   633982 |     1316   1101 |        0 |        0
159.07/159.13	c  159s |      19 |   652089 |   641282 |     1316   1111 |        0 |        0
161.07/161.14	c  161s |      19 |   659774 |   648882 |     1316   1122 |        0 |        0
163.07/163.14	c  163s |      19 |   667809 |   656782 |     1316   1133 |        0 |        0
165.07/165.17	c  165s |      19 |   675479 |   664282 |     1448   1144 |        0 |        0
165.76/165.84	c  165s |      20 |   678089 |   666827 |     1448   1147 |        0 |        0
167.76/167.87	c  167s |      20 |   686381 |   674927 |     1448   1157 |        0 |        0
169.76/169.89	c  169s |      20 |   694206 |   682627 |     1448   1167 |        0 |        0
171.86/171.90	c  171s |      20 |   702024 |   690327 |     1448   1177 |        0 |        0
173.87/173.91	c  173s |      20 |   709945 |   698127 |     1448   1187 |        0 |        0
175.86/175.93	c  175s |      20 |   718125 |   706127 |     1448   1198 |        0 |        0
177.86/177.93	c  177s |      20 |   725970 |   713827 |     1448   1208 |        0 |        0
179.86/179.93	c  179s |      20 |   733808 |   721527 |     1448   1218 |        0 |        0
181.86/181.95	c  181s |      20 |   741573 |   729127 |     1448   1227 |        0 |        0
183.86/183.96	c  183s |      20 |   749498 |   736927 |     1448   1237 |        0 |        0
185.86/185.98	c  185s |      20 |   757325 |   744627 |     1448   1247 |        0 |        0
187.96/188.01	c  187s |      20 |   765141 |   752227 |     1448   1257 |        0 |        0
189.96/190.01	c  189s |      20 |   773213 |   760127 |     1448   1267 |        0 |        0
191.95/192.02	c  192s |      20 |   780937 |   767727 |     1448   1277 |        0 |        0
193.95/194.04	c  194s |      20 |   788609 |   775227 |     1448   1287 |        0 |        0
195.95/196.04	c  196s |      20 |   796150 |   782627 |     1448   1296 |        0 |        0
197.96/198.04	c  198s |      20 |   804178 |   790427 |     1448   1307 |        0 |        0
199.95/200.05	c  200s |      20 |   812433 |   798427 |     1448   1317 |        0 |        0
201.95/202.06	c  202s |      20 |   820215 |   806027 |     1448   1327 |        0 |        0
203.95/204.07	c  204s |      20 |   827984 |   813627 |     1448   1336 |        0 |        0
205.95/206.08	c  206s |      20 |   835665 |   821127 |     1448   1346 |        0 |        0
208.06/208.10	c  208s |      20 |   843370 |   828727 |     1448   1356 |        0 |        0
210.07/210.13	c  210s |      20 |   851123 |   836327 |     1448   1366 |        0 |        0
212.06/212.14	c  212s |      20 |   858709 |   843727 |     1448   1375 |        0 |        0
214.06/214.16	c  214s |      20 |   866405 |   851227 |     1448   1385 |        0 |        0
216.06/216.16	c  216s |      20 |   873857 |   858527 |     1448   1395 |        0 |        0
218.06/218.17	c  218s |      20 |   881304 |   865827 |     1448   1404 |        0 |        0
220.06/220.19	c  220s |      20 |   888658 |   873027 |     1448   1413 |        0 |        0
222.16/222.21	c  222s |      20 |   896843 |   881027 |     1448   1424 |        0 |        0
224.15/224.24	c  224s |      20 |   904660 |   888727 |     1448   1434 |        0 |        0
226.15/226.24	c  226s |      20 |   912341 |   896227 |     1448   1443 |        0 |        0
228.15/228.25	c  228s |      20 |   920203 |   903927 |     1448   1453 |        0 |        0
230.15/230.27	c  230s |      20 |   927714 |   911327 |     1448   1463 |        0 |        0
232.25/232.30	c  232s |      20 |   935483 |   918927 |     1448   1473 |        0 |        0
234.26/234.31	c  234s |      20 |   942862 |   926127 |     1448   1482 |        0 |        0
236.25/236.32	c  236s |      20 |   950357 |   933527 |     1448   1491 |        0 |        0
238.25/238.33	c  238s |      20 |   957895 |   940927 |     1448   1501 |        0 |        0
240.25/240.35	c  240s |      20 |   965203 |   948127 |     1448   1510 |        0 |        0
242.25/242.35	c  242s |      20 |   972434 |   955227 |     1448   1520 |        0 |        0
244.26/244.37	c  244s |      20 |   980101 |   962727 |     1448   1529 |        0 |        0
246.25/246.37	c  246s |      20 |   987639 |   970127 |     1448   1539 |        0 |        0
248.35/248.40	c  248s |      20 |   995070 |   977427 |     1448   1548 |        0 |        0
250.35/250.40	c  250s |      20 |  1002296 |   984527 |     1448   1557 |        0 |        0
252.35/252.43	c  252s |      20 |  1009533 |   991627 |     1448   1567 |        0 |        0
254.35/254.44	c  254s |      20 |  1017506 |   999327 |     1593   1576 |        0 |        0
254.65/254.73	c  254s |      21 |  1018591 |  1000345 |     1593   1577 |        0 |        0
256.65/256.74	c  256s |      21 |  1026865 |  1008345 |     1593   1586 |        0 |        0
258.65/258.77	c  258s |      21 |  1034875 |  1016145 |     1593   1596 |        0 |        0
260.66/260.78	c  260s |      21 |  1042737 |  1023845 |     1593   1605 |        0 |        0
262.75/262.81	c  262s |      21 |  1050469 |  1031445 |     1593   1614 |        0 |        0
264.74/264.81	c  264s |      21 |  1058192 |  1039045 |     1593   1622 |        0 |        0
266.74/266.82	c  266s |      21 |  1065878 |  1046545 |     1593   1631 |        0 |        0
268.74/268.82	c  268s |      21 |  1073565 |  1054045 |     1593   1640 |        0 |        0
270.74/270.84	c  270s |      21 |  1081091 |  1061245 |     1593   1649 |        0 |        0
272.75/272.86	c  272s |      21 |  1089124 |  1068945 |     1593   1658 |        0 |        0
274.74/274.88	c  274s |      21 |  1096706 |  1076345 |     1593   1666 |        0 |        0
276.74/276.89	c  276s |      21 |  1104071 |  1083545 |     1593   1675 |        0 |        0
278.84/278.91	c  278s |      21 |  1111695 |  1090945 |     1593   1684 |        0 |        0
280.84/280.92	c  280s |      21 |  1119596 |  1098645 |     1593   1693 |        0 |        0
282.84/282.93	c  282s |      21 |  1127463 |  1106345 |     1593   1702 |        0 |        0
284.85/284.96	c  284s |      21 |  1135115 |  1113845 |     1593   1711 |        0 |        0
286.84/286.98	c  286s |      21 |  1142816 |  1121345 |     1593   1720 |        0 |        0
288.84/289.00	c  288s |      21 |  1150234 |  1128645 |     1593   1728 |        0 |        0
290.94/291.02	c  291s |      21 |  1158172 |  1136445 |     1593   1737 |        0 |        0
292.95/293.05	c  293s |      21 |  1166009 |  1143945 |     1593   1746 |        0 |        0
294.95/295.06	c  295s |      21 |  1173742 |  1151345 |     1593   1755 |        0 |        0
296.95/297.07	c  297s |      21 |  1181036 |  1158445 |     1593   1763 |        0 |        0
298.95/299.08	c  299s |      21 |  1188347 |  1165545 |     1593   1772 |        0 |        0
300.95/301.08	c  301s |      21 |  1196556 |  1173345 |     1593   1781 |        0 |        0
303.04/303.10	c  303s |      21 |  1204558 |  1181145 |     1593   1790 |        0 |        0
305.04/305.11	c  305s |      21 |  1212493 |  1188745 |     1593   1799 |        0 |        0
307.04/307.12	c  307s |      21 |  1220069 |  1196145 |     1593   1808 |        0 |        0
309.05/309.13	c  309s |      21 |  1227932 |  1203745 |     1593   1817 |        0 |        0
311.04/311.13	c  311s |      21 |  1235538 |  1211145 |     1593   1826 |        0 |        0
313.04/313.16	c  313s |      21 |  1243524 |  1218845 |     1593   1835 |        0 |        0
315.04/315.17	c  315s |      21 |  1251185 |  1226245 |     1593   1843 |        0 |        0
317.04/317.18	c  317s |      21 |  1258985 |  1233745 |     1593   1852 |        0 |        0
319.14/319.20	c  319s |      21 |  1266676 |  1241245 |     1593   1861 |        0 |        0
321.15/321.22	c  321s |      21 |  1274373 |  1248645 |     1593   1870 |        0 |        0
323.14/323.23	c  323s |      21 |  1281786 |  1255745 |     1593   1878 |        0 |        0
325.14/325.23	c  325s |      21 |  1289463 |  1263145 |     1593   1887 |        0 |        0
327.14/327.25	c  327s |      21 |  1296822 |  1270345 |     1593   1895 |        0 |        0
329.14/329.26	c  329s |      21 |  1304027 |  1277345 |     1593   1904 |        0 |        0
331.14/331.28	c  331s |      21 |  1312142 |  1285145 |     1593   1913 |        0 |        0
333.24/333.31	c  333s |      21 |  1319823 |  1292645 |     1593   1922 |        0 |        0
335.24/335.33	c  335s |      21 |  1327558 |  1300145 |     1593   1931 |        0 |        0
337.23/337.34	c  337s |      21 |  1335240 |  1307445 |     1593   1939 |        0 |        0
339.23/339.35	c  339s |      21 |  1343025 |  1314745 |     1593   1948 |        0 |        0
341.23/341.36	c  341s |      21 |  1350495 |  1321945 |     1593   1956 |        0 |        0
343.24/343.38	c  343s |      21 |  1357812 |  1329045 |     1593   1965 |        0 |        0
345.23/345.39	c  345s |      21 |  1365021 |  1336045 |     1593   1973 |        0 |        0
347.33/347.41	c  347s |      21 |  1372268 |  1343145 |     1593   1981 |        0 |        0
349.33/349.42	c  349s |      21 |  1379406 |  1350045 |     1593   1990 |        0 |        0
351.33/351.44	c  351s |      21 |  1386555 |  1356945 |     1593   1998 |        0 |        0
353.33/353.44	c  353s |      21 |  1394144 |  1364345 |     1593   2006 |        0 |        0
355.34/355.47	c  355s |      21 |  1401802 |  1371745 |     1593   2015 |        0 |        0
357.33/357.48	c  357s |      21 |  1409252 |  1378945 |     1593   2024 |        0 |        0
359.43/359.50	c  359s |      21 |  1416858 |  1386245 |     1593   2032 |        0 |        0
361.43/361.52	c  361s |      21 |  1424333 |  1393445 |     1593   2041 |        0 |        0
363.43/363.52	c  363s |      21 |  1431476 |  1400445 |     1593   2049 |        0 |        0
365.43/365.55	c  365s |      21 |  1438694 |  1407445 |     1593   2057 |        0 |        0
367.43/367.57	c  367s |      21 |  1446052 |  1414545 |     1593   2066 |        0 |        0
369.43/369.59	c  369s |      21 |  1453497 |  1421645 |     1593   2074 |        0 |        0
371.53/371.62	c  371s |      21 |  1460868 |  1428845 |     1593   2083 |        0 |        0
373.53/373.63	c  373s |      21 |  1467779 |  1435445 |     1593   2090 |        0 |        0
375.52/375.64	c  375s |      21 |  1475274 |  1442645 |     1593   2099 |        0 |        0
377.52/377.64	c  377s |      21 |  1482788 |  1449945 |     1593   2107 |        0 |        0
379.54/379.66	c  379s |      21 |  1490313 |  1457145 |     1593   2116 |        0 |        0
381.53/381.67	c  381s |      21 |  1497648 |  1464345 |     1593   2124 |        0 |        0
383.53/383.70	c  383s |      21 |  1504855 |  1471445 |     1593   2133 |        0 |        0
385.63/385.71	c  385s |      21 |  1512149 |  1478545 |     1593   2141 |        0 |        0
387.63/387.72	c  387s |      21 |  1519704 |  1485945 |     1593   2150 |        0 |        0
389.63/389.73	c  389s |      21 |  1527158 |  1493245 |     1753   2158 |        0 |        0
391.64/391.73	c  391s |      21 |  1534439 |  1500345 |     1753   2166 |        0 |        0
391.73/391.81	c  391s |      22 |  1534725 |  1500622 |     1753   2166 |        0 |        0
393.74/393.82	c  393s |      22 |  1542429 |  1507922 |     1753   2174 |        0 |        0
395.73/395.85	c  395s |      22 |  1550017 |  1515222 |     1753   2182 |        0 |        0
397.73/397.85	c  397s |      22 |  1557197 |  1522222 |     1753   2189 |        0 |        0
399.73/399.85	c  399s |      22 |  1564547 |  1529322 |     1753   2197 |        0 |        0
401.73/401.87	c  401s |      22 |  1571843 |  1536322 |     1753   2205 |        0 |        0
403.73/403.89	c  403s |      22 |  1579485 |  1543722 |     1753   2212 |        0 |        0
405.83/405.92	c  405s |      22 |  1587403 |  1551222 |     1753   2221 |        0 |        0
407.83/407.94	c  407s |      22 |  1594923 |  1558522 |     1753   2228 |        0 |        0
409.82/409.96	c  409s |      22 |  1602486 |  1565722 |     1753   2236 |        0 |        0
411.82/411.96	c  411s |      22 |  1610140 |  1572922 |     1753   2244 |        0 |        0
413.82/413.99	c  413s |      22 |  1617461 |  1580022 |     1753   2252 |        0 |        0
415.92/416.01	c  415s |      22 |  1624894 |  1587122 |     1753   2259 |        0 |        0
417.93/418.03	c  418s |      22 |  1632058 |  1594022 |     1753   2267 |        0 |        0
419.92/420.05	c  420s |      22 |  1639519 |  1601222 |     1753   2274 |        0 |        0
421.92/422.05	c  422s |      22 |  1646475 |  1608022 |     1753   2282 |        0 |        0
423.92/424.06	c  424s |      22 |  1653943 |  1615222 |     1753   2290 |        0 |        0
425.92/426.07	c  426s |      22 |  1661544 |  1622722 |     1753   2298 |        0 |        0
427.93/428.09	c  428s |      22 |  1669202 |  1630222 |     1753   2306 |        0 |        0
430.03/430.12	c  430s |      22 |  1676707 |  1637522 |     1753   2314 |        0 |        0
432.02/432.13	c  432s |      22 |  1684070 |  1644522 |     1753   2321 |        0 |        0
434.02/434.15	c  434s |      22 |  1691452 |  1651522 |     1753   2329 |        0 |        0
436.02/436.16	c  436s |      22 |  1698767 |  1658522 |     1753   2336 |        0 |        0
438.02/438.18	c  438s |      22 |  1705999 |  1665622 |     1753   2344 |        0 |        0
440.02/440.19	c  440s |      22 |  1713128 |  1672522 |     1753   2351 |        0 |        0
442.12/442.21	c  442s |      22 |  1720691 |  1679822 |     1753   2359 |        0 |        0
444.12/444.22	c  444s |      22 |  1727716 |  1686722 |     1753   2367 |        0 |        0
446.11/446.22	c  446s |      22 |  1734693 |  1693522 |     1753   2374 |        0 |        0
448.11/448.25	c  448s |      22 |  1742388 |  1701022 |     1753   2382 |        0 |        0
450.11/450.28	c  450s |      22 |  1749902 |  1708322 |     1753   2390 |        0 |        0
452.21/452.30	c  452s |      22 |  1757186 |  1715422 |     1753   2398 |        0 |        0
454.22/454.32	c  454s |      22 |  1764456 |  1722522 |     1753   2405 |        0 |        0
456.22/456.33	c  456s |      22 |  1771604 |  1729422 |     1753   2413 |        0 |        0
458.22/458.34	c  458s |      22 |  1778674 |  1736322 |     1753   2420 |        0 |        0
460.22/460.36	c  460s |      22 |  1785752 |  1743222 |     1753   2428 |        0 |        0
462.22/462.36	c  462s |      22 |  1792641 |  1749922 |     1753   2435 |        0 |        0
464.23/464.37	c  464s |      22 |  1800152 |  1757222 |     1753   2443 |        0 |        0
466.22/466.38	c  466s |      22 |  1807643 |  1764522 |     1753   2451 |        0 |        0
468.32/468.40	c  468s |      22 |  1815053 |  1771722 |     1753   2458 |        0 |        0
470.32/470.42	c  470s |      22 |  1822325 |  1778722 |     1753   2466 |        0 |        0
472.32/472.46	c  472s |      22 |  1829631 |  1785822 |     1753   2474 |        0 |        0
474.32/474.47	c  474s |      22 |  1836944 |  1792922 |     1753   2481 |        0 |        0
476.32/476.49	c  476s |      22 |  1844236 |  1799922 |     1753   2489 |        0 |        0
478.32/478.50	c  478s |      22 |  1851745 |  1806922 |     1753   2496 |        0 |        0
480.42/480.52	c  480s |      22 |  1858689 |  1813622 |     1753   2504 |        0 |        0
482.42/482.52	c  482s |      22 |  1865886 |  1820422 |     1753   2511 |        0 |        0
484.42/484.54	c  484s |      22 |  1872896 |  1827222 |     1753   2518 |        0 |        0
486.42/486.56	c  486s |      22 |  1879983 |  1834122 |     1753   2526 |        0 |        0
488.42/488.58	c  488s |      22 |  1886987 |  1840822 |     1753   2533 |        0 |        0
490.41/490.58	c  490s |      22 |  1894159 |  1847722 |     1753   2540 |        0 |        0
492.51/492.61	c  492s |      22 |  1901127 |  1854522 |     1753   2548 |        0 |        0
494.51/494.61	c  494s |      22 |  1907960 |  1861122 |     1753   2555 |        0 |        0
496.51/496.63	c  496s |      22 |  1914643 |  1867522 |     1753   2562 |        0 |        0
498.51/498.63	c  498s |      22 |  1921973 |  1874522 |     1753   2569 |        0 |        0
500.52/500.64	c  500s |      22 |  1929527 |  1881722 |     1753   2577 |        0 |        0
502.51/502.65	c  502s |      22 |  1936740 |  1888722 |     1753   2584 |        0 |        0
504.51/504.65	c  504s |      22 |  1944041 |  1895722 |     1753   2592 |        0 |        0
506.51/506.67	c  506s |      22 |  1951194 |  1902622 |     1753   2599 |        0 |        0
508.51/508.68	c  508s |      22 |  1958287 |  1909522 |     1753   2607 |        0 |        0
510.61/510.70	c  510s |      22 |  1965539 |  1916522 |     1753   2614 |        0 |        0
512.62/512.72	c  512s |      22 |  1972555 |  1923222 |     1753   2622 |        0 |        0
514.61/514.72	c  514s |      22 |  1980020 |  1930322 |     1753   2629 |        0 |        0
516.61/516.74	c  516s |      22 |  1987054 |  1937122 |     1753   2637 |        0 |        0
518.61/518.76	c  518s |      22 |  1993974 |  1943822 |     1753   2644 |        0 |        0
520.61/520.78	c  520s |      22 |  2000800 |  1950422 |     1753   2651 |        0 |        0
522.61/522.78	c  522s |      22 |  2007738 |  1956922 |     1753   2658 |        0 |        0
524.61/524.80	c  524s |      22 |  2014801 |  1963822 |     1753   2665 |        0 |        0
526.71/526.82	c  526s |      22 |  2021700 |  1970522 |     1753   2673 |        0 |        0
528.71/528.82	c  528s |      22 |  2028580 |  1977122 |     1753   2680 |        0 |        0
530.71/530.84	c  530s |      22 |  2035405 |  1983622 |     1753   2687 |        0 |        0
532.71/532.85	c  532s |      22 |  2042499 |  1990522 |     1753   2694 |        0 |        0
534.70/534.85	c  534s |      22 |  2049700 |  1997422 |     1753   2702 |        0 |        0
536.71/536.86	c  536s |      22 |  2056838 |  2004322 |     1753   2709 |        0 |        0
538.70/538.88	c  538s |      22 |  2064063 |  2011222 |     1753   2717 |        0 |        0
540.80/540.90	c  540s |      22 |  2071213 |  2018122 |     1753   2724 |        0 |        0
542.80/542.90	c  542s |      22 |  2078167 |  2024822 |     1753   2731 |        0 |        0
544.80/544.92	c  544s |      22 |  2085182 |  2031422 |     1753   2739 |        0 |        0
546.80/546.92	c  546s |      22 |  2092100 |  2038122 |     1753   2746 |        0 |        0
548.81/548.95	c  548s |      22 |  2099233 |  2044922 |     1753   2753 |        0 |        0
550.80/550.95	c  550s |      22 |  2106092 |  2051622 |     1753   2760 |        0 |        0
552.80/552.96	c  552s |      22 |  2112883 |  2058222 |     1753   2768 |        0 |        0
554.80/554.98	c  554s |      22 |  2120160 |  2065322 |     1753   2775 |        0 |        0
556.90/557.00	c  556s |      22 |  2127636 |  2072522 |     1753   2783 |        0 |        0
558.90/559.02	c  559s |      22 |  2134823 |  2079622 |     1753   2791 |        0 |        0
560.91/561.03	c  561s |      22 |  2142057 |  2086722 |     1753   2798 |        0 |        0
562.90/563.05	c  563s |      22 |  2149347 |  2093922 |     1753   2806 |        0 |        0
564.90/565.05	c  565s |      22 |  2156780 |  2101222 |     1753   2814 |        0 |        0
566.90/567.05	c  567s |      22 |  2164181 |  2108322 |     1753   2822 |        0 |        0
568.90/569.08	c  569s |      22 |  2171273 |  2115222 |     1753   2829 |        0 |        0
570.90/571.09	c  571s |      22 |  2178669 |  2122322 |     1753   2837 |        0 |        0
573.00/573.11	c  573s |      22 |  2185813 |  2129322 |     1753   2844 |        0 |        0
575.00/575.12	c  575s |      22 |  2193660 |  2136922 |     1753   2852 |        0 |        0
577.00/577.13	c  577s |      22 |  2201213 |  2144222 |     1753   2860 |        0 |        0
579.00/579.16	c  579s |      22 |  2208679 |  2151522 |     1753   2868 |        0 |        0
581.00/581.18	c  581s |      22 |  2216069 |  2158622 |     1753   2876 |        0 |        0
583.10/583.21	c  583s |      22 |  2223266 |  2165622 |     1753   2883 |        0 |        0
585.10/585.23	c  585s |      22 |  2230384 |  2172622 |     1753   2891 |        0 |        0
587.09/587.24	c  587s |      22 |  2237440 |  2179522 |     1753   2898 |        0 |        0
589.09/589.24	c  589s |      22 |  2244761 |  2186622 |     1753   2906 |        0 |        0
591.09/591.27	c  591s |      22 |  2251828 |  2193522 |     1753   2913 |        0 |        0
593.09/593.29	c  593s |      22 |  2258766 |  2200322 |     1753   2921 |        0 |        0
595.10/595.29	c  595s |      22 |  2265545 |  2206922 |     1753   2928 |        0 |        0
597.20/597.31	c  597s |      22 |  2273014 |  2214222 |     1753   2936 |        0 |        0
599.19/599.32	c  599s |      22 |  2280203 |  2221222 |     1753   2943 |        0 |        0
601.19/601.33	c  601s |      22 |  2287333 |  2228222 |     1753   2951 |        0 |        0
603.20/603.35	c  603s |      22 |  2294297 |  2235022 |     1929   2958 |        0 |        0
605.20/605.37	c  605s |      22 |  2301140 |  2241722 |     1929   2965 |        0 |        0
607.21/607.38	c  607s |      22 |  2308016 |  2248422 |     1929   2971 |        0 |        0
608.00/608.10	c  608s |      23 |  2310774 |  2251038 |     1929   2974 |        0 |        0
610.00/610.13	c  610s |      23 |  2318041 |  2257938 |     1929   2981 |        0 |        0
612.00/612.16	c  612s |      23 |  2325142 |  2264938 |     1929   2988 |        0 |        0
614.00/614.16	c  614s |      23 |  2332292 |  2271938 |     1929   2994 |        0 |        0
616.00/616.19	c  616s |      23 |  2339773 |  2279238 |     1929   3002 |        0 |        0
618.00/618.19	c  618s |      23 |  2347079 |  2286338 |     1929   3009 |        0 |        0
620.10/620.20	c  620s |      23 |  2354274 |  2293338 |     1929   3015 |        0 |        0
622.10/622.21	c  622s |      23 |  2361292 |  2300238 |     1929   3022 |        0 |        0
624.10/624.22	c  624s |      23 |  2368259 |  2306938 |     1929   3029 |        0 |        0
626.09/626.25	c  626s |      23 |  2375213 |  2313738 |     1929   3036 |        0 |        0
628.10/628.28	c  628s |      23 |  2382149 |  2320538 |     1929   3042 |        0 |        0
630.09/630.29	c  630s |      23 |  2388817 |  2327038 |     1929   3049 |        0 |        0
632.19/632.30	c  632s |      23 |  2396564 |  2334538 |     1929   3056 |        0 |        0
634.19/634.30	c  634s |      23 |  2403738 |  2341438 |     1929   3063 |        0 |        0
636.19/636.32	c  636s |      23 |  2411053 |  2348438 |     1929   3070 |        0 |        0
638.19/638.34	c  638s |      23 |  2418301 |  2355338 |     1929   3076 |        0 |        0
640.20/640.36	c  640s |      23 |  2425379 |  2362238 |     1929   3083 |        0 |        0
642.19/642.37	c  642s |      23 |  2432630 |  2369338 |     1929   3090 |        0 |        0
644.19/644.40	c  644s |      23 |  2439855 |  2376438 |     1929   3097 |        0 |        0
646.29/646.40	c  646s |      23 |  2447017 |  2383438 |     1929   3104 |        0 |        0
648.29/648.40	c  648s |      23 |  2453896 |  2390138 |     1929   3111 |        0 |        0
650.29/650.43	c  650s |      23 |  2461023 |  2397038 |     1929   3118 |        0 |        0
652.29/652.46	c  652s |      23 |  2467870 |  2403638 |     1929   3124 |        0 |        0
654.29/654.46	c  654s |      23 |  2474654 |  2410238 |     1929   3131 |        0 |        0
656.29/656.46	c  656s |      23 |  2481901 |  2417238 |     1929   3137 |        0 |        0
658.28/658.47	c  658s |      23 |  2488711 |  2423938 |     1929   3144 |        0 |        0
660.28/660.49	c  660s |      23 |  2495536 |  2430538 |     1929   3151 |        0 |        0
662.38/662.50	c  662s |      23 |  2502404 |  2437238 |     1929   3157 |        0 |        0
664.39/664.53	c  664s |      23 |  2509892 |  2444538 |     1929   3164 |        0 |        0
666.38/666.53	c  666s |      23 |  2516991 |  2451438 |     1929   3171 |        0 |        0
668.38/668.56	c  668s |      23 |  2524242 |  2458438 |     1929   3178 |        0 |        0
670.38/670.57	c  670s |      23 |  2531346 |  2465338 |     1929   3185 |        0 |        0
672.38/672.59	c  672s |      23 |  2538530 |  2472238 |     1929   3192 |        0 |        0
674.48/674.61	c  674s |      23 |  2545724 |  2479238 |     1929   3198 |        0 |        0
676.49/676.63	c  676s |      23 |  2552627 |  2485938 |     1929   3205 |        0 |        0
678.48/678.65	c  678s |      23 |  2559795 |  2492838 |     1929   3212 |        0 |        0
680.48/680.67	c  680s |      23 |  2566665 |  2499538 |     1929   3218 |        0 |        0
682.59/682.70	c  682s |      23 |  2573776 |  2506438 |     1929   3225 |        0 |        0
684.59/684.72	c  684s |      23 |  2580649 |  2513138 |     1929   3232 |        0 |        0
686.59/686.72	c  686s |      23 |  2587452 |  2519738 |     1929   3238 |        0 |        0
688.59/688.74	c  688s |      23 |  2594572 |  2526638 |     1929   3245 |        0 |        0
690.58/690.75	c  690s |      23 |  2601942 |  2533838 |     1929   3252 |        0 |        0
692.58/692.75	c  692s |      23 |  2608990 |  2540738 |     1929   3259 |        0 |        0
694.58/694.77	c  694s |      23 |  2615945 |  2547538 |     1929   3266 |        0 |        0
696.58/696.79	c  696s |      23 |  2622950 |  2554338 |     1929   3272 |        0 |        0
698.68/698.81	c  698s |      23 |  2629825 |  2560938 |     1929   3279 |        0 |        0
700.69/700.81	c  700s |      23 |  2636846 |  2567838 |     1929   3286 |        0 |        0
702.68/702.82	c  702s |      23 |  2643661 |  2574538 |     1929   3292 |        0 |        0
704.68/704.83	c  704s |      23 |  2650286 |  2581038 |     1929   3299 |        0 |        0
706.68/706.85	c  706s |      23 |  2657458 |  2587838 |     1929   3306 |        0 |        0
708.68/708.85	c  708s |      23 |  2664304 |  2594538 |     1929   3312 |        0 |        0
710.68/710.87	c  710s |      23 |  2671093 |  2601138 |     1929   3319 |        0 |        0
712.68/712.88	c  712s |      23 |  2677743 |  2607638 |     1929   3325 |        0 |        0
714.78/714.91	c  714s |      23 |  2684621 |  2614338 |     1929   3332 |        0 |        0
716.78/716.93	c  716s |      23 |  2692075 |  2621638 |     1929   3339 |        0 |        0
718.78/718.93	c  718s |      23 |  2699489 |  2628738 |     1929   3346 |        0 |        0
720.78/720.96	c  720s |      23 |  2706922 |  2635938 |     1929   3353 |        0 |        0
722.78/722.97	c  722s |      23 |  2714220 |  2642938 |     1929   3360 |        0 |        0
724.78/724.98	c  724s |      23 |  2721446 |  2649738 |     1929   3366 |        0 |        0
726.87/727.01	c  726s |      23 |  2728462 |  2656638 |     1929   3373 |        0 |        0
728.87/729.01	c  728s |      23 |  2735497 |  2663538 |     1929   3380 |        0 |        0
730.87/731.02	c  731s |      23 |  2742530 |  2670338 |     1929   3387 |        0 |        0
732.87/733.02	c  733s |      23 |  2749760 |  2677238 |     1929   3394 |        0 |        0
734.87/735.03	c  735s |      23 |  2756872 |  2684138 |     1929   3400 |        0 |        0
736.88/737.04	c  737s |      23 |  2763521 |  2690638 |     1929   3407 |        0 |        0
738.87/739.07	c  739s |      23 |  2770644 |  2697538 |     1929   3414 |        0 |        0
740.97/741.10	c  741s |      23 |  2777801 |  2704438 |     1929   3420 |        0 |        0
742.97/743.12	c  743s |      23 |  2784790 |  2711238 |     1929   3427 |        0 |        0
744.97/745.15	c  745s |      23 |  2791624 |  2717838 |     1929   3434 |        0 |        0
746.97/747.18	c  747s |      23 |  2798396 |  2724438 |     1929   3440 |        0 |        0
749.08/749.20	c  749s |      23 |  2805626 |  2731338 |     1929   3447 |        0 |        0
751.08/751.21	c  751s |      23 |  2812605 |  2738038 |     1929   3453 |        0 |        0
753.08/753.22	c  753s |      23 |  2819245 |  2744438 |     1929   3460 |        0 |        0
755.08/755.23	c  755s |      23 |  2825964 |  2750738 |     1929   3466 |        0 |        0
757.08/757.25	c  757s |      23 |  2832701 |  2757338 |     1929   3472 |        0 |        0
759.08/759.27	c  759s |      23 |  2839136 |  2763638 |     1929   3479 |        0 |        0
761.08/761.28	c  761s |      23 |  2845889 |  2770238 |     1929   3485 |        0 |        0
763.18/763.30	c  763s |      23 |  2852690 |  2776838 |     1929   3492 |        0 |        0
765.17/765.30	c  765s |      23 |  2859516 |  2783338 |     1929   3498 |        0 |        0
767.17/767.31	c  767s |      23 |  2866214 |  2789838 |     1929   3504 |        0 |        0
769.17/769.33	c  769s |      23 |  2872828 |  2796238 |     1929   3511 |        0 |        0
771.17/771.35	c  771s |      23 |  2879664 |  2802838 |     1929   3517 |        0 |        0
773.18/773.39	c  773s |      23 |  2886253 |  2809238 |     1929   3524 |        0 |        0
775.27/775.41	c  775s |      23 |  2892916 |  2815738 |     1929   3530 |        0 |        0
777.27/777.43	c  777s |      23 |  2900266 |  2822938 |     1929   3537 |        0 |        0
779.27/779.45	c  779s |      23 |  2907431 |  2829938 |     1929   3544 |        0 |        0
781.27/781.46	c  781s |      23 |  2914656 |  2837038 |     1929   3551 |        0 |        0
783.27/783.49	c  783s |      23 |  2921590 |  2843838 |     1929   3558 |        0 |        0
785.27/785.50	c  785s |      23 |  2928614 |  2850738 |     1929   3564 |        0 |        0
787.36/787.50	c  787s |      23 |  2935507 |  2857538 |     1929   3571 |        0 |        0
789.36/789.50	c  789s |      23 |  2942312 |  2864138 |     1929   3578 |        0 |        0
791.36/791.52	c  791s |      23 |  2949192 |  2870838 |     1929   3584 |        0 |        0
793.36/793.53	c  793s |      23 |  2956002 |  2877538 |     1929   3591 |        0 |        0
795.36/795.56	c  795s |      23 |  2962954 |  2884338 |     1929   3597 |        0 |        0
797.37/797.57	c  797s |      23 |  2969779 |  2890938 |     1929   3604 |        0 |        0
799.36/799.59	c  799s |      23 |  2976417 |  2897438 |     1929   3610 |        0 |        0
801.36/801.59	c  801s |      23 |  2983276 |  2904138 |     1929   3617 |        0 |        0
803.46/803.60	c  803s |      23 |  2990138 |  2910738 |     1929   3623 |        0 |        0
805.46/805.61	c  805s |      23 |  2996732 |  2917138 |     1929   3630 |        0 |        0
807.47/807.62	c  807s |      23 |  3003479 |  2923738 |     1929   3636 |        0 |        0
809.47/809.63	c  809s |      23 |  3010141 |  2930238 |     1929   3643 |        0 |        0
811.47/811.65	c  811s |      23 |  3017023 |  2936938 |     1929   3649 |        0 |        0
813.47/813.67	c  813s |      23 |  3023859 |  2943638 |     1929   3656 |        0 |        0
815.56/815.70	c  815s |      23 |  3030608 |  2950238 |     1929   3662 |        0 |        0
817.56/817.72	c  817s |      23 |  3037200 |  2956738 |     1929   3669 |        0 |        0
819.56/819.74	c  819s |      23 |  3043881 |  2963238 |     1929   3675 |        0 |        0
821.57/821.75	c  821s |      23 |  3050544 |  2969738 |     1929   3682 |        0 |        0
823.56/823.77	c  823s |      23 |  3057460 |  2976438 |     1929   3688 |        0 |        0
825.56/825.78	c  825s |      23 |  3064098 |  2982938 |     1929   3695 |        0 |        0
827.56/827.79	c  827s |      23 |  3070792 |  2989438 |     1929   3701 |        0 |        0
829.65/829.81	c  829s |      23 |  3077570 |  2996038 |     1929   3707 |        0 |        0
831.65/831.82	c  831s |      23 |  3084082 |  3002438 |     1929   3714 |        0 |        0
833.66/833.84	c  833s |      23 |  3090877 |  3008938 |     1929   3720 |        0 |        0
835.65/835.85	c  835s |      23 |  3097511 |  3015338 |     1929   3726 |        0 |        0
837.65/837.87	c  837s |      23 |  3103960 |  3021638 |     1929   3733 |        0 |        0
839.65/839.88	c  839s |      23 |  3111757 |  3029138 |     1929   3740 |        0 |        0
841.65/841.89	c  841s |      23 |  3119324 |  3036338 |     1929   3747 |        0 |        0
843.75/843.91	c  843s |      23 |  3126643 |  3043438 |     1929   3754 |        0 |        0
845.75/845.94	c  845s |      23 |  3133935 |  3050538 |     1929   3761 |        0 |        0
847.75/847.96	c  847s |      23 |  3141151 |  3057538 |     1929   3768 |        0 |        0
849.75/849.97	c  849s |      23 |  3148433 |  3064538 |     1929   3775 |        0 |        0
851.75/851.99	c  851s |      23 |  3155467 |  3071238 |     1929   3781 |        0 |        0
853.85/854.01	c  853s |      23 |  3162612 |  3078238 |     1929   3788 |        0 |        0
855.84/856.02	c  856s |      23 |  3169757 |  3085238 |     1929   3795 |        0 |        0
857.85/858.03	c  858s |      23 |  3176790 |  3092038 |     1929   3802 |        0 |        0
859.84/860.04	c  860s |      23 |  3184038 |  3099038 |     1929   3809 |        0 |        0
861.84/862.07	c  862s |      23 |  3191093 |  3105938 |     1929   3816 |        0 |        0
863.84/864.08	c  864s |      23 |  3197935 |  3112638 |     1929   3822 |        0 |        0
865.95/866.10	c  866s |      23 |  3205013 |  3119538 |     1929   3829 |        0 |        0
867.95/868.13	c  868s |      23 |  3212420 |  3126738 |     1929   3836 |        0 |        0
869.95/870.15	c  870s |      23 |  3219416 |  3133638 |     1929   3843 |        0 |        0
871.94/872.18	c  872s |      23 |  3226454 |  3140538 |     1929   3850 |        0 |        0
874.04/874.20	c  874s |      23 |  3233365 |  3147338 |     1929   3856 |        0 |        0
876.04/876.21	c  876s |      23 |  3240083 |  3153838 |     1929   3863 |        0 |        0
878.04/878.24	c  878s |      23 |  3247061 |  3160538 |     1929   3869 |        0 |        0
880.04/880.25	c  880s |      23 |  3253778 |  3166938 |     1929   3876 |        0 |        0
882.04/882.27	c  882s |      23 |  3260797 |  3173838 |     1929   3882 |        0 |        0
884.04/884.29	c  884s |      23 |  3267711 |  3180638 |     1929   3889 |        0 |        0
886.13/886.32	c  886s |      23 |  3274697 |  3187438 |     1929   3896 |        0 |        0
888.13/888.34	c  888s |      23 |  3281615 |  3194038 |     1929   3902 |        0 |        0
890.13/890.36	c  890s |      23 |  3288313 |  3200538 |     1929   3909 |        0 |        0
892.13/892.37	c  892s |      23 |  3295213 |  3207238 |     1929   3915 |        0 |        0
894.14/894.37	c  894s |      23 |  3301929 |  3213838 |     1929   3922 |        0 |        0
896.13/896.38	c  896s |      23 |  3309189 |  3220938 |     1929   3929 |        0 |        0
898.13/898.38	c  898s |      23 |  3316304 |  3227738 |     1929   3935 |        0 |        0
900.23/900.41	c  900s |      23 |  3323364 |  3234638 |     1929   3942 |        0 |        0
902.23/902.42	c  902s |      23 |  3330200 |  3241138 |     1929   3949 |        0 |        0
904.22/904.44	c  904s |      23 |  3337143 |  3247938 |     1929   3955 |        0 |        0
906.23/906.45	c  906s |      23 |  3343848 |  3254538 |     1929   3962 |        0 |        0
908.23/908.46	c  908s |      23 |  3350977 |  3261338 |     1929   3969 |        0 |        0
910.23/910.48	c  910s |      23 |  3357942 |  3268138 |     1929   3975 |        0 |        0
912.23/912.48	c  912s |      23 |  3364694 |  3274738 |     1929   3982 |        0 |        0
914.23/914.49	c  914s |      23 |  3371522 |  3281438 |     1929   3988 |        0 |        0
916.23/916.49	c  916s |      23 |  3378266 |  3287738 |     1929   3995 |        0 |        0
918.33/918.52	c  918s |      23 |  3385035 |  3294338 |     1929   4001 |        0 |        0
920.32/920.54	c  920s |      23 |  3391788 |  3300838 |     1929   4008 |        0 |        0
922.32/922.55	c  922s |      23 |  3399213 |  3308038 |     1929   4015 |        0 |        0
924.32/924.58	c  924s |      23 |  3406424 |  3315038 |     1929   4022 |        0 |        0
926.32/926.58	c  926s |      23 |  3413509 |  3321838 |     1929   4028 |        0 |        0
928.41/928.60	c  928s |      23 |  3420635 |  3328738 |     1929   4035 |        0 |        0
930.42/930.62	c  930s |      23 |  3427706 |  3335638 |     1929   4042 |        0 |        0
932.41/932.65	c  932s |      23 |  3434712 |  3342438 |     1929   4049 |        0 |        0
934.41/934.66	c  934s |      23 |  3441566 |  3349138 |     1929   4055 |        0 |        0
936.41/936.69	c  936s |      23 |  3448297 |  3355738 |     2122   4061 |        0 |        0
938.51/938.70	c  938s |      23 |  3455010 |  3362338 |     2122   4067 |        0 |        0
940.51/940.73	c  940s |      23 |  3461897 |  3369138 |     2122   4073 |        0 |        0
942.51/942.74	c  942s |      23 |  3468481 |  3375638 |     2122   4079 |        0 |        0
942.81/943.06	c  943s |      24 |  3469538 |  3376662 |     2122   4080 |        0 |        0
944.81/945.08	c  945s |      24 |  3476276 |  3383162 |     2122   4086 |        0 |        0
946.80/947.08	c  947s |      24 |  3483603 |  3390262 |     2122   4092 |        0 |        0
948.90/949.10	c  949s |      24 |  3491193 |  3397462 |     2122   4099 |        0 |        0
950.90/951.11	c  951s |      24 |  3498339 |  3404262 |     2122   4105 |        0 |        0
952.90/953.12	c  953s |      24 |  3505462 |  3411162 |     2122   4111 |        0 |        0
954.90/955.12	c  955s |      24 |  3512233 |  3417662 |     2122   4117 |        0 |        0
956.90/957.14	c  957s |      24 |  3519143 |  3424362 |     2122   4123 |        0 |        0
958.90/959.16	c  959s |      24 |  3526169 |  3431162 |     2122   4129 |        0 |        0
960.89/961.18	c  961s |      24 |  3533242 |  3438062 |     2122   4135 |        0 |        0
962.89/963.18	c  963s |      24 |  3540157 |  3444662 |     2122   4141 |        0 |        0
964.89/965.18	c  965s |      24 |  3547266 |  3451562 |     2122   4147 |        0 |        0
966.99/967.21	c  967s |      24 |  3554410 |  3458562 |     2122   4154 |        0 |        0
969.00/969.22	c  969s |      24 |  3561433 |  3465362 |     2122   4160 |        0 |        0
970.99/971.23	c  971s |      24 |  3568441 |  3472062 |     2122   4166 |        0 |        0
972.99/973.25	c  973s |      24 |  3575368 |  3478762 |     2122   4172 |        0 |        0
974.99/975.25	c  975s |      24 |  3582250 |  3485362 |     2122   4178 |        0 |        0
976.99/977.25	c  977s |      24 |  3589297 |  3492262 |     2122   4184 |        0 |        0
978.99/979.27	c  979s |      24 |  3596200 |  3499062 |     2122   4190 |        0 |        0
980.99/981.29	c  981s |      24 |  3602939 |  3505662 |     2122   4196 |        0 |        0
983.09/983.31	c  983s |      24 |  3609915 |  3512462 |     2122   4202 |        0 |        0
985.09/985.34	c  985s |      24 |  3616933 |  3519362 |     2122   4208 |        0 |        0
987.08/987.36	c  987s |      24 |  3623773 |  3526062 |     2122   4214 |        0 |        0
989.08/989.38	c  989s |      24 |  3630539 |  3532662 |     2122   4220 |        0 |        0
991.08/991.38	c  991s |      24 |  3637579 |  3539562 |     2122   4227 |        0 |        0
993.09/993.39	c  993s |      24 |  3644537 |  3546362 |     2122   4233 |        0 |        0
995.18/995.42	c  995s |      24 |  3651728 |  3553162 |     2122   4239 |        0 |        0
997.19/997.45	c  997s |      24 |  3658633 |  3559662 |     2122   4245 |        0 |        0
999.19/999.47	c  999s |      24 |  3665498 |  3566162 |     2122   4250 |        0 |        0
1001.18/1001.48	c 1001s |      24 |  3672258 |  3572762 |     2122   4256 |        0 |        0
1003.18/1003.49	c 1003s |      24 |  3679052 |  3579362 |     2122   4262 |        0 |        0
1005.29/1005.52	c 1005s |      24 |  3685921 |  3586062 |     2122   4268 |        0 |        0
1007.28/1007.54	c 1007s |      24 |  3692617 |  3592562 |     2122   4274 |        0 |        0
1009.28/1009.56	c 1009s |      24 |  3699594 |  3599362 |     2122   4280 |        0 |        0
1011.28/1011.58	c 1011s |      24 |  3706714 |  3606262 |     2122   4287 |        0 |        0
1013.38/1013.61	c 1013s |      24 |  3713749 |  3613062 |     2122   4293 |        0 |        0
1015.38/1015.62	c 1015s |      24 |  3720579 |  3619762 |     2122   4299 |        0 |        0
1017.39/1017.63	c 1017s |      24 |  3727248 |  3626262 |     2122   4305 |        0 |        0
1019.38/1019.65	c 1019s |      24 |  3734016 |  3632862 |     2122   4311 |        0 |        0
1021.38/1021.67	c 1021s |      24 |  3740802 |  3639462 |     2122   4316 |        0 |        0
1023.48/1023.70	c 1023s |      24 |  3747804 |  3646162 |     2122   4323 |        0 |        0
1025.48/1025.72	c 1025s |      24 |  3754635 |  3652762 |     2122   4328 |        0 |        0
1027.47/1027.74	c 1027s |      24 |  3761341 |  3659262 |     2122   4334 |        0 |        0
1029.48/1029.76	c 1029s |      24 |  3768193 |  3665962 |     2122   4340 |        0 |        0
1031.47/1031.77	c 1031s |      24 |  3775540 |  3673162 |     2122   4347 |        0 |        0
1033.47/1033.77	c 1033s |      24 |  3782793 |  3680162 |     2122   4353 |        0 |        0
1035.47/1035.77	c 1035s |      24 |  3790030 |  3687162 |     2122   4359 |        0 |        0
1037.47/1037.79	c 1037s |      24 |  3797080 |  3694062 |     2122   4366 |        0 |        0
1039.57/1039.82	c 1039s |      24 |  3804023 |  3700862 |     2122   4372 |        0 |        0
1041.57/1041.83	c 1041s |      24 |  3810997 |  3707762 |     2122   4378 |        0 |        0
1043.56/1043.83	c 1043s |      24 |  3818156 |  3714762 |     2122   4384 |        0 |        0
1045.56/1045.86	c 1045s |      24 |  3825306 |  3721762 |     2122   4390 |        0 |        0
1047.56/1047.89	c 1047s |      24 |  3832393 |  3728662 |     2122   4397 |        0 |        0
1049.66/1049.90	c 1049s |      24 |  3839344 |  3735462 |     2122   4403 |        0 |        0
1051.66/1051.91	c 1051s |      24 |  3846256 |  3742262 |     2122   4409 |        0 |        0
1053.67/1053.92	c 1053s |      24 |  3853441 |  3749262 |     2122   4415 |        0 |        0
1055.66/1055.93	c 1055s |      24 |  3860624 |  3756162 |     2122   4421 |        0 |        0
1057.66/1057.94	c 1057s |      24 |  3867691 |  3762962 |     2122   4428 |        0 |        0
1059.66/1059.95	c 1059s |      24 |  3874594 |  3769662 |     2122   4434 |        0 |        0
1061.66/1061.98	c 1061s |      24 |  3881813 |  3776662 |     2122   4440 |        0 |        0
1063.66/1064.00	c 1063s |      24 |  3888910 |  3783462 |     2122   4446 |        0 |        0
1065.76/1066.02	c 1066s |      24 |  3895805 |  3790162 |     2122   4452 |        0 |        0
1067.75/1068.02	c 1068s |      24 |  3902551 |  3796762 |     2122   4458 |        0 |        0
1069.75/1070.04	c 1070s |      24 |  3909614 |  3803462 |     2122   4464 |        0 |        0
1071.75/1072.06	c 1072s |      24 |  3916407 |  3810062 |     2122   4470 |        0 |        0
1073.75/1074.06	c 1074s |      24 |  3923223 |  3816662 |     2122   4476 |        0 |        0
1075.75/1076.06	c 1076s |      24 |  3929927 |  3823162 |     2122   4482 |        0 |        0
1077.76/1078.07	c 1078s |      24 |  3936619 |  3829662 |     2122   4488 |        0 |        0
1079.75/1080.09	c 1080s |      24 |  3943412 |  3836362 |     2122   4494 |        0 |        0
1081.85/1082.11	c 1082s |      24 |  3950431 |  3843262 |     2122   4500 |        0 |        0
1083.85/1084.14	c 1084s |      24 |  3957301 |  3849962 |     2122   4506 |        0 |        0
1085.85/1086.16	c 1086s |      24 |  3964148 |  3856662 |     2122   4512 |        0 |        0
1087.85/1088.18	c 1088s |      24 |  3971077 |  3863262 |     2122   4518 |        0 |        0
1089.85/1090.19	c 1090s |      24 |  3977877 |  3869862 |     2122   4524 |        0 |        0
1091.95/1092.21	c 1092s |      24 |  3984943 |  3876762 |     2122   4530 |        0 |        0
1093.94/1094.24	c 1094s |      24 |  3991718 |  3883362 |     2122   4536 |        0 |        0
1095.94/1096.26	c 1096s |      24 |  3998222 |  3889762 |     2122   4542 |        0 |        0
1097.94/1098.27	c 1098s |      24 |  4005430 |  3896762 |     2122   4548 |        0 |        0
1099.94/1100.29	c 1100s |      24 |  4012614 |  3903662 |     2122   4554 |        0 |        0
1102.05/1102.31	c 1102s |      24 |  4019616 |  3910362 |     2122   4560 |        0 |        0
1104.04/1104.31	c 1104s |      24 |  4026538 |  3917162 |     2122   4566 |        0 |        0
1106.03/1106.33	c 1106s |      24 |  4033443 |  3923962 |     2122   4572 |        0 |        0
1108.03/1108.34	c 1108s |      24 |  4040391 |  3930762 |     2122   4578 |        0 |        0
1110.03/1110.37	c 1110s |      24 |  4047428 |  3937562 |     2122   4585 |        0 |        0
1112.03/1112.38	c 1112s |      24 |  4054305 |  3944262 |     2122   4591 |        0 |        0
1114.03/1114.39	c 1114s |      24 |  4060987 |  3950762 |     2122   4596 |        0 |        0
1116.13/1116.40	c 1116s |      24 |  4067640 |  3957262 |     2122   4602 |        0 |        0
1118.13/1118.42	c 1118s |      24 |  4074418 |  3963862 |     2122   4608 |        0 |        0
1120.12/1120.42	c 1120s |      24 |  4081262 |  3970562 |     2122   4614 |        0 |        0
1122.12/1122.45	c 1122s |      24 |  4088147 |  3977262 |     2122   4620 |        0 |        0
1124.12/1124.45	c 1124s |      24 |  4094882 |  3983762 |     2122   4626 |        0 |        0
1126.13/1126.47	c 1126s |      24 |  4101480 |  3990262 |     2122   4632 |        0 |        0
1128.12/1128.49	c 1128s |      24 |  4108164 |  3996762 |     2122   4638 |        0 |        0
1130.22/1130.51	c 1130s |      24 |  4116188 |  4004362 |     2122   4645 |        0 |        0
1132.22/1132.52	c 1132s |      24 |  4124107 |  4011962 |     2122   4652 |        0 |        0
1134.22/1134.54	c 1134s |      24 |  4131806 |  4019362 |     2122   4658 |        0 |        0
1136.22/1136.55	c 1136s |      24 |  4139501 |  4026662 |     2122   4665 |        0 |        0
1138.22/1138.56	c 1138s |      24 |  4146951 |  4033962 |     2122   4671 |        0 |        0
1140.22/1140.56	c 1140s |      24 |  4154407 |  4041062 |     2122   4678 |        0 |        0
1142.21/1142.57	c 1142s |      24 |  4161773 |  4048162 |     2122   4684 |        0 |        0
1144.31/1144.60	c 1144s |      24 |  4169120 |  4055262 |     2122   4690 |        0 |        0
1146.31/1146.60	c 1146s |      24 |  4176384 |  4062362 |     2122   4697 |        0 |        0
1148.31/1148.61	c 1148s |      24 |  4183515 |  4069362 |     2122   4703 |        0 |        0
1150.32/1150.61	c 1150s |      24 |  4190756 |  4076362 |     2122   4709 |        0 |        0
1152.31/1152.62	c 1152s |      24 |  4198089 |  4083562 |     2122   4716 |        0 |        0
1154.31/1154.62	c 1154s |      24 |  4205331 |  4090562 |     2122   4722 |        0 |        0
1156.31/1156.63	c 1156s |      24 |  4212462 |  4097462 |     2122   4728 |        0 |        0
1158.31/1158.64	c 1158s |      24 |  4219618 |  4104362 |     2122   4735 |        0 |        0
1160.31/1160.66	c 1160s |      24 |  4226761 |  4111362 |     2122   4741 |        0 |        0
1162.31/1162.68	c 1162s |      24 |  4233786 |  4118162 |     2122   4747 |        0 |        0
1164.41/1164.72	c 1164s |      24 |  4241318 |  4125462 |     2122   4754 |        0 |        0
1166.41/1166.73	c 1166s |      24 |  4248562 |  4132462 |     2122   4760 |        0 |        0
1168.41/1168.75	c 1168s |      24 |  4256054 |  4139362 |     2122   4766 |        0 |        0
1170.41/1170.75	c 1170s |      24 |  4263346 |  4146162 |     2122   4772 |        0 |        0
1172.41/1172.77	c 1172s |      24 |  4270444 |  4152862 |     2122   4778 |        0 |        0
1174.41/1174.78	c 1174s |      24 |  4277434 |  4159662 |     2122   4784 |        0 |        0
1176.50/1176.81	c 1176s |      24 |  4284712 |  4166762 |     2122   4791 |        0 |        0
1178.50/1178.83	c 1178s |      24 |  4292082 |  4173862 |     2122   4797 |        0 |        0
1180.50/1180.83	c 1180s |      24 |  4299161 |  4180762 |     2122   4803 |        0 |        0
1182.50/1182.86	c 1182s |      24 |  4306254 |  4187662 |     2122   4809 |        0 |        0
1184.51/1184.87	c 1184s |      24 |  4313268 |  4194462 |     2122   4816 |        0 |        0
1186.50/1186.89	c 1186s |      24 |  4320172 |  4201262 |     2122   4822 |        0 |        0
1188.60/1188.92	c 1188s |      24 |  4327335 |  4208062 |     2122   4828 |        0 |        0
1190.60/1190.93	c 1190s |      24 |  4334338 |  4214862 |     2122   4834 |        0 |        0
1192.60/1192.94	c 1192s |      24 |  4341833 |  4222162 |     2122   4840 |        0 |        0
1194.60/1194.94	c 1194s |      24 |  4349079 |  4229262 |     2122   4847 |        0 |        0
1196.60/1196.96	c 1196s |      24 |  4356351 |  4236362 |     2122   4853 |        0 |        0
1198.59/1198.97	c 1198s |      24 |  4363465 |  4243362 |     2122   4860 |        0 |        0
1200.59/1200.98	c 1200s |      24 |  4370607 |  4250362 |     2122   4866 |        0 |        0
1202.69/1203.00	c 1202s |      24 |  4377859 |  4257462 |     2122   4872 |        0 |        0
1204.69/1205.01	c 1204s |      24 |  4384798 |  4264262 |     2122   4878 |        0 |        0
1206.69/1207.05	c 1207s |      24 |  4391845 |  4271162 |     2122   4885 |        0 |        0
1208.69/1209.08	c 1209s |      24 |  4398796 |  4277962 |     2122   4891 |        0 |        0
1210.69/1211.08	c 1211s |      24 |  4405578 |  4284562 |     2122   4897 |        0 |        0
1212.78/1213.11	c 1213s |      24 |  4412774 |  4291562 |     2122   4903 |        0 |        0
1214.78/1215.13	c 1215s |      24 |  4419841 |  4298362 |     2122   4909 |        0 |        0
1216.78/1217.13	c 1217s |      24 |  4426901 |  4305162 |     2122   4915 |        0 |        0
1218.78/1219.16	c 1219s |      24 |  4433940 |  4311962 |     2122   4921 |        0 |        0
1220.88/1221.20	c 1221s |      24 |  4441111 |  4318862 |     2122   4928 |        0 |        0
1222.89/1223.22	c 1223s |      24 |  4448651 |  4326162 |     2122   4934 |        0 |        0
1224.88/1225.24	c 1225s |      24 |  4455811 |  4333162 |     2122   4940 |        0 |        0
1226.87/1227.25	c 1227s |      24 |  4462741 |  4339962 |     2122   4947 |        0 |        0
1228.87/1229.25	c 1229s |      24 |  4469744 |  4346862 |     2122   4953 |        0 |        0
1230.87/1231.28	c 1231s |      24 |  4476707 |  4353662 |     2122   4959 |        0 |        0
1232.97/1233.30	c 1233s |      24 |  4483672 |  4360462 |     2122   4965 |        0 |        0
1234.98/1235.31	c 1235s |      24 |  4490636 |  4367262 |     2122   4971 |        0 |        0
1236.97/1237.31	c 1237s |      24 |  4497368 |  4373862 |     2122   4977 |        0 |        0
1238.97/1239.34	c 1239s |      24 |  4504192 |  4380562 |     2122   4983 |        0 |        0
1240.97/1241.36	c 1241s |      24 |  4511230 |  4387462 |     2122   4989 |        0 |        0
1242.97/1243.37	c 1243s |      24 |  4517974 |  4394062 |     2122   4995 |        0 |        0
1244.97/1245.37	c 1245s |      24 |  4524852 |  4400662 |     2122   5001 |        0 |        0
1246.96/1247.37	c 1247s |      24 |  4531464 |  4407162 |     2122   5007 |        0 |        0
1249.06/1249.40	c 1249s |      24 |  4538959 |  4414462 |     2122   5014 |        0 |        0
1251.06/1251.42	c 1251s |      24 |  4546187 |  4421462 |     2122   5020 |        0 |        0
1253.06/1253.44	c 1253s |      24 |  4553430 |  4428462 |     2122   5026 |        0 |        0
1255.06/1255.45	c 1255s |      24 |  4560456 |  4435362 |     2122   5032 |        0 |        0
1257.07/1257.46	c 1257s |      24 |  4567474 |  4442162 |     2122   5038 |        0 |        0
1259.06/1259.48	c 1259s |      24 |  4574526 |  4449062 |     2122   5045 |        0 |        0
1261.06/1261.48	c 1261s |      24 |  4581635 |  4455962 |     2122   5051 |        0 |        0
1263.16/1263.50	c 1263s |      24 |  4588700 |  4462862 |     2122   5057 |        0 |        0
1265.16/1265.53	c 1265s |      24 |  4595682 |  4469662 |     2122   5063 |        0 |        0
1267.16/1267.54	c 1267s |      24 |  4602572 |  4476262 |     2122   5069 |        0 |        0
1269.17/1269.56	c 1269s |      24 |  4609347 |  4482762 |     2122   5075 |        0 |        0
1271.16/1271.56	c 1271s |      24 |  4616191 |  4489362 |     2122   5081 |        0 |        0
1273.16/1273.57	c 1273s |      24 |  4623187 |  4496062 |     2122   5087 |        0 |        0
1275.26/1275.60	c 1275s |      24 |  4630189 |  4502862 |     2122   5093 |        0 |        0
1277.25/1277.60	c 1277s |      24 |  4636984 |  4509462 |     2122   5099 |        0 |        0
1279.25/1279.62	c 1279s |      24 |  4643740 |  4516062 |     2122   5105 |        0 |        0
1281.26/1281.65	c 1281s |      24 |  4650741 |  4522862 |     2122   5111 |        0 |        0
1283.25/1283.66	c 1283s |      24 |  4657805 |  4529762 |     2122   5117 |        0 |        0
1285.35/1285.70	c 1285s |      24 |  4664759 |  4536562 |     2122   5124 |        0 |        0
1287.35/1287.72	c 1287s |      24 |  4671617 |  4543162 |     2122   5129 |        0 |        0
1289.35/1289.73	c 1289s |      24 |  4678349 |  4549762 |     2122   5135 |        0 |        0
1291.36/1291.75	c 1291s |      24 |  4685416 |  4556562 |     2122   5142 |        0 |        0
1293.37/1293.75	c 1293s |      24 |  4692960 |  4563862 |     2122   5148 |        0 |        0
1295.36/1295.79	c 1295s |      24 |  4700315 |  4571062 |     2122   5155 |        0 |        0
1297.46/1297.80	c 1297s |      24 |  4707638 |  4578162 |     2122   5161 |        0 |        0
1299.46/1299.83	c 1299s |      24 |  4714690 |  4585062 |     2122   5167 |        0 |        0
1301.46/1301.84	c 1301s |      24 |  4721772 |  4591962 |     2122   5173 |        0 |        0
1303.46/1303.86	c 1303s |      24 |  4728886 |  4598862 |     2122   5180 |        0 |        0
1305.46/1305.86	c 1305s |      24 |  4735903 |  4605662 |     2122   5186 |        0 |        0
1307.45/1307.88	c 1307s |      24 |  4742856 |  4612462 |     2122   5192 |        0 |        0
1309.55/1309.90	c 1309s |      24 |  4749751 |  4619062 |     2122   5198 |        0 |        0
1311.55/1311.92	c 1311s |      24 |  4756922 |  4626062 |     2122   5204 |        0 |        0
1313.55/1313.94	c 1313s |      24 |  4763790 |  4632762 |     2122   5210 |        0 |        0
1315.55/1315.95	c 1315s |      24 |  4770247 |  4638962 |     2122   5216 |        0 |        0
1317.55/1317.96	c 1317s |      24 |  4777182 |  4645662 |     2122   5222 |        0 |        0
1319.55/1319.97	c 1319s |      24 |  4784641 |  4652862 |     2122   5228 |        0 |        0
1321.55/1321.99	c 1321s |      24 |  4791742 |  4659862 |     2122   5234 |        0 |        0
1323.64/1324.02	c 1323s |      24 |  4798738 |  4666762 |     2122   5241 |        0 |        0
1325.64/1326.02	c 1326s |      24 |  4805681 |  4673562 |     2122   5247 |        0 |        0
1327.64/1328.05	c 1328s |      24 |  4812612 |  4680362 |     2122   5253 |        0 |        0
1329.65/1330.06	c 1330s |      24 |  4819440 |  4687062 |     2122   5259 |        0 |        0
1331.64/1332.08	c 1332s |      24 |  4826605 |  4694062 |     2122   5265 |        0 |        0
1333.74/1334.11	c 1334s |      24 |  4833784 |  4701062 |     2122   5272 |        0 |        0
1335.74/1336.14	c 1336s |      24 |  4840854 |  4707962 |     2122   5278 |        0 |        0
1337.74/1338.16	c 1338s |      24 |  4847654 |  4714562 |     2122   5284 |        0 |        0
1339.74/1340.18	c 1340s |      24 |  4854636 |  4721362 |     2122   5290 |        0 |        0
1341.74/1342.19	c 1342s |      24 |  4861486 |  4728062 |     2122   5296 |        0 |        0
1343.84/1344.21	c 1344s |      24 |  4868246 |  4734662 |     2122   5302 |        0 |        0
1345.83/1346.23	c 1346s |      24 |  4875143 |  4741462 |     2122   5308 |        0 |        0
1347.83/1348.24	c 1348s |      24 |  4881896 |  4748062 |     2122   5314 |        0 |        0
1349.83/1350.24	c 1350s |      24 |  4888798 |  4754762 |     2122   5320 |        0 |        0
1351.83/1352.26	c 1352s |      24 |  4895767 |  4761562 |     2122   5326 |        0 |        0
1353.84/1354.27	c 1354s |      24 |  4902951 |  4768662 |     2122   5332 |        0 |        0
1355.83/1356.28	c 1356s |      24 |  4909957 |  4775562 |     2122   5339 |        0 |        0
1357.83/1358.29	c 1358s |      24 |  4916886 |  4782362 |     2122   5345 |        0 |        0
1359.83/1360.29	c 1360s |      24 |  4923966 |  4789262 |     2122   5351 |        0 |        0
1361.93/1362.30	c 1362s |      24 |  4930703 |  4795862 |     2122   5357 |        0 |        0
1363.93/1364.31	c 1364s |      24 |  4937432 |  4802462 |     2122   5363 |        0 |        0
1365.93/1366.34	c 1366s |      24 |  4944308 |  4809162 |     2122   5369 |        0 |        0
1367.92/1368.37	c 1368s |      24 |  4951175 |  4815962 |     2122   5375 |        0 |        0
1369.92/1370.37	c 1370s |      24 |  4958031 |  4822662 |     2122   5381 |        0 |        0
1371.92/1372.39	c 1372s |      24 |  4964771 |  4829262 |     2122   5387 |        0 |        0
1373.92/1374.39	c 1374s |      24 |  4971468 |  4835762 |     2122   5393 |        0 |        0
1376.02/1376.41	c 1376s |      24 |  4978404 |  4842462 |     2122   5399 |        0 |        0
1378.02/1378.42	c 1378s |      24 |  4985174 |  4849062 |     2122   5405 |        0 |        0
1380.02/1380.45	c 1380s |      24 |  4992119 |  4855562 |     2122   5411 |        0 |        0
1382.01/1382.48	c 1382s |      24 |  4999910 |  4863062 |     2122   5418 |        0 |        0
1384.11/1384.51	c 1384s |      24 |  5007603 |  4870462 |     2122   5424 |        0 |        0
1386.11/1386.52	c 1386s |      24 |  5014935 |  4877462 |     2122   5430 |        0 |        0
1388.11/1388.53	c 1388s |      24 |  5022194 |  4884462 |     2122   5437 |        0 |        0
1390.12/1390.53	c 1390s |      24 |  5029610 |  4891562 |     2122   5443 |        0 |        0
1392.11/1392.54	c 1392s |      24 |  5036790 |  4898562 |     2122   5449 |        0 |        0
1394.11/1394.56	c 1394s |      24 |  5044030 |  4905562 |     2122   5456 |        0 |        0
1396.11/1396.58	c 1396s |      24 |  5051183 |  4912362 |     2122   5462 |        0 |        0
1398.11/1398.58	c 1398s |      24 |  5058199 |  4919262 |     2122   5468 |        0 |        0
1400.11/1400.59	c 1400s |      24 |  5065089 |  4926062 |     2122   5474 |        0 |        0
1402.21/1402.61	c 1402s |      24 |  5072380 |  4933162 |     2122   5480 |        0 |        0
1404.20/1404.62	c 1404s |      24 |  5079357 |  4939962 |     2122   5487 |        0 |        0
1406.20/1406.64	c 1406s |      24 |  5086099 |  4946462 |     2122   5492 |        0 |        0
1408.20/1408.66	c 1408s |      24 |  5093314 |  4953562 |     2122   5499 |        0 |        0
1410.20/1410.69	c 1410s |      24 |  5100422 |  4960562 |     2122   5505 |        0 |        0
1412.30/1412.71	c 1412s |      24 |  5107512 |  4967462 |     2122   5511 |        0 |        0
1414.31/1414.74	c 1414s |      24 |  5114518 |  4974362 |     2122   5518 |        0 |        0
1416.31/1416.74	c 1416s |      24 |  5121445 |  4981062 |     2122   5524 |        0 |        0
1418.31/1418.76	c 1418s |      24 |  5128849 |  4988162 |     2122   5530 |        0 |        0
1420.31/1420.78	c 1420s |      24 |  5135805 |  4994962 |     2122   5536 |        0 |        0
1422.41/1422.80	c 1422s |      24 |  5142925 |  5001762 |     2122   5542 |        0 |        0
1424.41/1424.80	c 1424s |      24 |  5149749 |  5008362 |     2122   5548 |        0 |        0
1426.41/1426.82	c 1426s |      24 |  5156638 |  5015062 |     2122   5554 |        0 |        0
1428.40/1428.84	c 1428s |      24 |  5163493 |  5021662 |     2122   5560 |        0 |        0
1430.40/1430.86	c 1430s |      24 |  5170697 |  5028662 |     2122   5566 |        0 |        0
1432.40/1432.86	c 1432s |      24 |  5177625 |  5035462 |     2335   5572 |        0 |        0
1434.40/1434.87	c 1434s |      24 |  5184485 |  5042162 |     2335   5577 |        0 |        0
1436.40/1436.89	c 1436s |      24 |  5191423 |  5048862 |     2335   5583 |        0 |        0
1438.50/1438.91	c 1438s |      24 |  5198206 |  5055462 |     2335   5588 |        0 |        0
1440.50/1440.91	c 1440s |      24 |  5204852 |  5061862 |     2335   5594 |        0 |        0
1441.39/1441.88	c 1441s |      25 |  5208180 |  5065098 |     2335   5596 |        0 |        0
1443.49/1443.91	c 1443s |      25 |  5216156 |  5072698 |     2335   5602 |        0 |        0
1445.49/1445.92	c 1445s |      25 |  5223784 |  5079998 |     2335   5608 |        0 |        0
1447.49/1447.95	c 1447s |      25 |  5231170 |  5087198 |     2335   5614 |        0 |        0
1449.50/1449.97	c 1449s |      25 |  5238487 |  5094298 |     2335   5620 |        0 |        0
1451.49/1451.97	c 1451s |      25 |  5245731 |  5101298 |     2335   5626 |        0 |        0
1453.49/1453.97	c 1453s |      25 |  5252884 |  5108198 |     2335   5632 |        0 |        0
1455.49/1455.99	c 1455s |      25 |  5260032 |  5115198 |     2335   5637 |        0 |        0
1457.59/1458.00	c 1457s |      25 |  5267201 |  5122198 |     2335   5643 |        0 |        0
1459.59/1460.01	c 1459s |      25 |  5274206 |  5129098 |     2335   5649 |        0 |        0
1461.59/1462.02	c 1462s |      25 |  5281476 |  5136198 |     2335   5655 |        0 |        0
1463.59/1464.02	c 1464s |      25 |  5288595 |  5143098 |     2335   5660 |        0 |        0
1465.59/1466.05	c 1466s |      25 |  5295606 |  5149898 |     2335   5666 |        0 |        0
1467.59/1468.07	c 1468s |      25 |  5302912 |  5156998 |     2335   5672 |        0 |        0
1469.59/1470.07	c 1470s |      25 |  5310028 |  5163898 |     2335   5677 |        0 |        0
1471.59/1472.07	c 1472s |      25 |  5316805 |  5170498 |     2335   5683 |        0 |        0
1473.59/1474.08	c 1474s |      25 |  5323995 |  5177498 |     2335   5688 |        0 |        0
1475.58/1476.08	c 1476s |      25 |  5331244 |  5184598 |     2335   5694 |        0 |        0
1477.58/1478.08	c 1478s |      25 |  5338461 |  5191598 |     2335   5700 |        0 |        0
1479.68/1480.10	c 1480s |      25 |  5345581 |  5198598 |     2335   5706 |        0 |        0
1481.68/1482.12	c 1482s |      25 |  5352625 |  5205498 |     2335   5711 |        0 |        0
1483.68/1484.12	c 1484s |      25 |  5359687 |  5212398 |     2335   5717 |        0 |        0
1485.70/1486.13	c 1486s |      25 |  5366639 |  5219198 |     2335   5723 |        0 |        0
1487.69/1488.15	c 1488s |      25 |  5373675 |  5226098 |     2335   5728 |        0 |        0
1489.69/1490.17	c 1490s |      25 |  5380703 |  5232898 |     2335   5734 |        0 |        0
1491.69/1492.18	c 1492s |      25 |  5387831 |  5239798 |     2335   5740 |        0 |        0
1493.79/1494.20	c 1494s |      25 |  5394998 |  5246698 |     2335   5745 |        0 |        0
1495.79/1496.21	c 1496s |      25 |  5401975 |  5253298 |     2335   5751 |        0 |        0
1497.79/1498.22	c 1498s |      25 |  5408892 |  5259998 |     2335   5756 |        0 |        0
1499.79/1500.23	c 1500s |      25 |  5416442 |  5267298 |     2335   5762 |        0 |        0
1501.78/1502.24	c 1502s |      25 |  5424059 |  5274498 |     2335   5768 |        0 |        0
1503.78/1504.26	c 1504s |      25 |  5431255 |  5281398 |     2335   5774 |        0 |        0
1505.78/1506.28	c 1506s |      25 |  5438422 |  5288398 |     2335   5779 |        0 |        0
1507.79/1508.28	c 1508s |      25 |  5445614 |  5295398 |     2335   5785 |        0 |        0
1509.78/1510.29	c 1510s |      25 |  5452832 |  5302398 |     2335   5791 |        0 |        0
1511.88/1512.33	c 1512s |      25 |  5460043 |  5309398 |     2335   5797 |        0 |        0
1513.88/1514.34	c 1514s |      25 |  5467029 |  5316198 |     2335   5802 |        0 |        0
1515.88/1516.36	c 1516s |      25 |  5473949 |  5322898 |     2335   5808 |        0 |        0
1517.88/1518.37	c 1518s |      25 |  5481232 |  5329798 |     2335   5813 |        0 |        0
1519.89/1520.39	c 1520s |      25 |  5488594 |  5336798 |     2335   5819 |        0 |        0
1521.99/1522.41	c 1522s |      25 |  5495501 |  5343498 |     2335   5825 |        0 |        0
1523.98/1524.42	c 1524s |      25 |  5502673 |  5350398 |     2335   5830 |        0 |        0
1525.98/1526.44	c 1526s |      25 |  5510020 |  5357498 |     2335   5836 |        0 |        0
1527.98/1528.46	c 1528s |      25 |  5517334 |  5364598 |     2335   5842 |        0 |        0
1529.98/1530.48	c 1530s |      25 |  5524485 |  5371498 |     2335   5848 |        0 |        0
1531.99/1532.49	c 1532s |      25 |  5531642 |  5378398 |     2335   5853 |        0 |        0
1534.08/1534.51	c 1534s |      25 |  5538958 |  5385398 |     2335   5859 |        0 |        0
1536.08/1536.52	c 1536s |      25 |  5546198 |  5392398 |     2335   5865 |        0 |        0
1538.08/1538.54	c 1538s |      25 |  5553362 |  5399298 |     2335   5870 |        0 |        0
1540.08/1540.55	c 1540s |      25 |  5560336 |  5405998 |     2335   5876 |        0 |        0
1542.08/1542.58	c 1542s |      25 |  5567030 |  5412498 |     2335   5881 |        0 |        0
1544.08/1544.59	c 1544s |      25 |  5574557 |  5419698 |     2335   5887 |        0 |        0
1546.18/1546.61	c 1546s |      25 |  5581971 |  5426798 |     2335   5893 |        0 |        0
1548.18/1548.63	c 1548s |      25 |  5589255 |  5433898 |     2335   5899 |        0 |        0
1550.18/1550.65	c 1550s |      25 |  5596629 |  5440998 |     2335   5905 |        0 |        0
1552.18/1552.66	c 1552s |      25 |  5603716 |  5447798 |     2335   5910 |        0 |        0
1554.17/1554.66	c 1554s |      25 |  5610933 |  5454798 |     2335   5916 |        0 |        0
1556.18/1556.68	c 1556s |      25 |  5618116 |  5461698 |     2335   5922 |        0 |        0
1558.17/1558.70	c 1558s |      25 |  5625250 |  5468598 |     2335   5927 |        0 |        0
1560.27/1560.71	c 1560s |      25 |  5632714 |  5475798 |     2335   5933 |        0 |        0
1562.27/1562.71	c 1562s |      25 |  5640063 |  5482798 |     2335   5939 |        0 |        0
1564.27/1564.73	c 1564s |      25 |  5647342 |  5489798 |     2335   5945 |        0 |        0
1566.27/1566.76	c 1566s |      25 |  5654506 |  5496698 |     2335   5951 |        0 |        0
1568.28/1568.76	c 1568s |      25 |  5661850 |  5503598 |     2335   5956 |        0 |        0
1570.27/1570.77	c 1570s |      25 |  5669042 |  5510498 |     2335   5962 |        0 |        0
1572.27/1572.78	c 1572s |      25 |  5676107 |  5517298 |     2335   5967 |        0 |        0
1574.37/1574.81	c 1574s |      25 |  5683403 |  5524398 |     2335   5973 |        0 |        0
1576.37/1576.84	c 1576s |      25 |  5690719 |  5531398 |     2335   5979 |        0 |        0
1578.37/1578.85	c 1578s |      25 |  5697837 |  5538198 |     2335   5985 |        0 |        0
1580.38/1580.87	c 1580s |      25 |  5704879 |  5544998 |     2335   5990 |        0 |        0
1582.37/1582.88	c 1582s |      25 |  5711863 |  5551698 |     2335   5996 |        0 |        0
1584.47/1584.90	c 1584s |      25 |  5718809 |  5558498 |     2335   6001 |        0 |        0
1586.47/1586.91	c 1586s |      25 |  5725756 |  5565198 |     2335   6007 |        0 |        0
1588.46/1588.92	c 1588s |      25 |  5732628 |  5571798 |     2335   6012 |        0 |        0
1590.46/1590.92	c 1590s |      25 |  5739342 |  5578298 |     2335   6018 |        0 |        0
1592.47/1592.94	c 1592s |      25 |  5746983 |  5585598 |     2335   6024 |        0 |        0
1594.47/1594.94	c 1594s |      25 |  5754463 |  5592698 |     2335   6029 |        0 |        0
1596.47/1596.95	c 1596s |      25 |  5761760 |  5599698 |     2335   6035 |        0 |        0
1598.47/1598.95	c 1598s |      25 |  5769081 |  5606798 |     2335   6041 |        0 |        0
1600.47/1600.96	c 1600s |      25 |  5776215 |  5613798 |     2335   6047 |        0 |        0
1602.47/1602.98	c 1602s |      25 |  5783722 |  5621098 |     2335   6053 |        0 |        0
1604.47/1605.00	c 1604s |      25 |  5790993 |  5628198 |     2335   6058 |        0 |        0
1606.56/1607.02	c 1607s |      25 |  5798687 |  5635298 |     2335   6064 |        0 |        0
1608.56/1609.04	c 1609s |      25 |  5806007 |  5642398 |     2335   6070 |        0 |        0
1610.56/1611.05	c 1611s |      25 |  5813288 |  5649398 |     2335   6076 |        0 |        0
1612.56/1613.06	c 1613s |      25 |  5820497 |  5656298 |     2335   6082 |        0 |        0
1614.56/1615.09	c 1615s |      25 |  5827824 |  5663198 |     2335   6087 |        0 |        0
1616.67/1617.11	c 1617s |      25 |  5834828 |  5669998 |     2335   6093 |        0 |        0
1618.66/1619.12	c 1619s |      25 |  5842192 |  5677198 |     2335   6099 |        0 |        0
1620.66/1621.13	c 1621s |      25 |  5849416 |  5684298 |     2335   6104 |        0 |        0
1622.66/1623.15	c 1623s |      25 |  5856625 |  5691298 |     2335   6110 |        0 |        0
1624.66/1625.16	c 1625s |      25 |  5863525 |  5698098 |     2335   6116 |        0 |        0
1626.66/1627.19	c 1627s |      25 |  5870809 |  5705198 |     2335   6122 |        0 |        0
1628.67/1629.19	c 1629s |      25 |  5877738 |  5711998 |     2335   6127 |        0 |        0
1630.66/1631.19	c 1631s |      25 |  5884642 |  5718698 |     2335   6133 |        0 |        0
1632.76/1633.20	c 1633s |      25 |  5891660 |  5725498 |     2335   6138 |        0 |        0
1634.76/1635.21	c 1635s |      25 |  5898450 |  5732098 |     2335   6144 |        0 |        0
1636.76/1637.21	c 1637s |      25 |  5905913 |  5739298 |     2335   6150 |        0 |        0
1638.76/1639.23	c 1639s |      25 |  5913186 |  5746398 |     2335   6155 |        0 |        0
1640.76/1641.24	c 1641s |      25 |  5920332 |  5753398 |     2335   6161 |        0 |        0
1642.77/1643.26	c 1643s |      25 |  5927520 |  5760298 |     2335   6167 |        0 |        0
1644.77/1645.28	c 1645s |      25 |  5934699 |  5767198 |     2335   6173 |        0 |        0
1646.76/1647.29	c 1647s |      25 |  5941762 |  5773998 |     2335   6178 |        0 |        0
1648.86/1649.32	c 1649s |      25 |  5948988 |  5780898 |     2335   6184 |        0 |        0
1650.86/1651.34	c 1651s |      25 |  5955798 |  5787398 |     2335   6189 |        0 |        0
1652.87/1653.35	c 1653s |      25 |  5963279 |  5794598 |     2335   6195 |        0 |        0
1654.86/1655.38	c 1655s |      25 |  5970280 |  5801298 |     2335   6201 |        0 |        0
1656.86/1657.38	c 1657s |      25 |  5977073 |  5807898 |     2335   6206 |        0 |        0
1658.96/1659.40	c 1659s |      25 |  5984136 |  5814698 |     2335   6212 |        0 |        0
1660.96/1661.42	c 1661s |      25 |  5991336 |  5821698 |     2335   6217 |        0 |        0
1662.96/1663.42	c 1663s |      25 |  5998019 |  5828198 |     2335   6223 |        0 |        0
1664.97/1665.43	c 1665s |      25 |  6004626 |  5834398 |     2335   6228 |        0 |        0
1666.96/1667.46	c 1667s |      25 |  6011606 |  5841098 |     2335   6233 |        0 |        0
1668.96/1669.47	c 1669s |      25 |  6018413 |  5847598 |     2335   6239 |        0 |        0
1670.96/1671.48	c 1671s |      25 |  6025307 |  5854198 |     2335   6244 |        0 |        0
1673.06/1673.51	c 1673s |      25 |  6032198 |  5860898 |     2335   6249 |        0 |        0
1675.06/1675.51	c 1675s |      25 |  6039135 |  5867698 |     2335   6255 |        0 |        0
1677.07/1677.51	c 1677s |      25 |  6047168 |  5875498 |     2335   6261 |        0 |        0
1679.06/1679.52	c 1679s |      25 |  6054846 |  5882998 |     2335   6268 |        0 |        0
1681.06/1681.54	c 1681s |      25 |  6062694 |  5890398 |     2335   6274 |        0 |        0
1683.06/1683.58	c 1683s |      25 |  6070416 |  5897698 |     2335   6280 |        0 |        0
1685.06/1685.59	c 1685s |      25 |  6077956 |  5904998 |     2335   6286 |        0 |        0
1687.15/1687.63	c 1687s |      25 |  6085434 |  5912298 |     2335   6292 |        0 |        0
1689.16/1689.64	c 1689s |      25 |  6092863 |  5919598 |     2335   6298 |        0 |        0
1691.15/1691.65	c 1691s |      25 |  6100185 |  5926698 |     2335   6303 |        0 |        0
1693.15/1693.65	c 1693s |      25 |  6107670 |  5933898 |     2335   6309 |        0 |        0
1695.15/1695.67	c 1695s |      25 |  6115269 |  5941298 |     2335   6315 |        0 |        0
1697.15/1697.69	c 1697s |      25 |  6122714 |  5948498 |     2335   6321 |        0 |        0
1699.25/1699.70	c 1699s |      25 |  6130114 |  5955698 |     2335   6327 |        0 |        0
1701.26/1701.70	c 1701s |      25 |  6137569 |  5962798 |     2335   6333 |        0 |        0
1703.25/1703.71	c 1703s |      25 |  6145192 |  5970198 |     2335   6339 |        0 |        0
1705.25/1705.73	c 1705s |      25 |  6152607 |  5977398 |     2335   6345 |        0 |        0
1707.25/1707.73	c 1707s |      25 |  6159718 |  5984198 |     2335   6351 |        0 |        0
1709.25/1709.75	c 1709s |      25 |  6167189 |  5991298 |     2335   6356 |        0 |        0
1711.25/1711.76	c 1711s |      25 |  6174427 |  5998298 |     2335   6362 |        0 |        0
1713.25/1713.77	c 1713s |      25 |  6181819 |  6005498 |     2335   6368 |        0 |        0
1715.35/1715.80	c 1715s |      25 |  6189270 |  6012798 |     2335   6374 |        0 |        0
1717.35/1717.80	c 1717s |      25 |  6196436 |  6019798 |     2335   6380 |        0 |        0
1719.34/1719.82	c 1719s |      25 |  6203942 |  6027098 |     2335   6386 |        0 |        0
1721.34/1721.84	c 1721s |      25 |  6211240 |  6034098 |     2335   6391 |        0 |        0
1723.35/1723.86	c 1723s |      25 |  6218541 |  6041198 |     2335   6397 |        0 |        0
1725.34/1725.87	c 1725s |      25 |  6225506 |  6047998 |     2335   6403 |        0 |        0
1727.34/1727.88	c 1727s |      25 |  6232775 |  6054998 |     2335   6409 |        0 |        0
1729.44/1729.91	c 1729s |      25 |  6239859 |  6061898 |     2335   6414 |        0 |        0
1731.44/1731.94	c 1731s |      25 |  6248004 |  6069498 |     2335   6421 |        0 |        0
1733.44/1733.99	c 1733s |      25 |  6255811 |  6076798 |     2335   6427 |        0 |        0
1735.55/1736.00	c 1735s |      25 |  6263346 |  6084098 |     2335   6433 |        0 |        0
1737.56/1738.03	c 1738s |      25 |  6270800 |  6091298 |     2335   6438 |        0 |        0
1739.55/1740.03	c 1740s |      25 |  6278049 |  6098298 |     2335   6444 |        0 |        0
1741.55/1742.05	c 1742s |      25 |  6285540 |  6105398 |     2335   6450 |        0 |        0
1743.55/1744.08	c 1744s |      25 |  6293198 |  6112498 |     2335   6456 |        0 |        0
1745.65/1746.11	c 1746s |      25 |  6300420 |  6119398 |     2335   6462 |        0 |        0
1747.65/1748.12	c 1748s |      25 |  6307617 |  6126298 |     2335   6467 |        0 |        0
1749.66/1750.13	c 1750s |      25 |  6314593 |  6132998 |     2335   6473 |        0 |        0
1751.65/1752.15	c 1752s |      25 |  6322018 |  6140098 |     2335   6479 |        0 |        0
1753.65/1754.17	c 1754s |      25 |  6329296 |  6147098 |     2335   6484 |        0 |        0
1755.65/1756.19	c 1756s |      25 |  6336329 |  6153898 |     2335   6490 |        0 |        0
1757.75/1758.20	c 1758s |      25 |  6343526 |  6160698 |     2335   6495 |        0 |        0
1759.75/1760.21	c 1760s |      25 |  6350718 |  6167498 |     2335   6501 |        0 |        0
1761.75/1762.22	c 1762s |      25 |  6358381 |  6174898 |     2335   6507 |        0 |        0
1763.75/1764.24	c 1764s |      25 |  6365848 |  6182198 |     2335   6513 |        0 |        0
1765.75/1766.26	c 1766s |      25 |  6373271 |  6189398 |     2335   6519 |        0 |        0
1767.75/1768.27	c 1768s |      25 |  6380508 |  6196398 |     2335   6525 |        0 |        0
1769.75/1770.29	c 1770s |      25 |  6387770 |  6203498 |     2335   6531 |        0 |        0
1771.75/1772.29	c 1772s |      25 |  6395020 |  6210598 |     2335   6536 |        0 |        0
1773.85/1774.31	c 1774s |      25 |  6402500 |  6217898 |     2335   6542 |        0 |        0
1775.84/1776.33	c 1776s |      25 |  6409644 |  6224898 |     2335   6548 |        0 |        0
1777.84/1778.36	c 1778s |      25 |  6416507 |  6231598 |     2335   6554 |        0 |        0
1779.84/1780.39	c 1780s |      25 |  6423621 |  6238498 |     2335   6559 |        0 |        0
1781.94/1782.40	c 1782s |      25 |  6430855 |  6245598 |     2335   6565 |        0 |        0
1783.94/1784.43	c 1784s |      25 |  6438039 |  6252598 |     2335   6571 |        0 |        0
1785.95/1786.45	c 1786s |      25 |  6445410 |  6259698 |     2335   6577 |        0 |        0
1787.94/1788.45	c 1788s |      25 |  6452465 |  6266598 |     2335   6582 |        0 |        0
1789.94/1790.45	c 1790s |      25 |  6459951 |  6273798 |     2335   6588 |        0 |        0
1791.94/1792.48	c 1792s |      25 |  6467014 |  6280698 |     2335   6594 |        0 |        0
1793.94/1794.49	c 1794s |      25 |  6474503 |  6287998 |     2335   6600 |        0 |        0
1796.04/1796.50	c 1796s |      25 |  6481743 |  6294998 |     2335   6606 |        0 |        0
1798.05/1798.51	c 1798s |      25 |  6488875 |  6301798 |     2335   6611 |        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-4089330-1466025510/watcher-4089330-1466025510 -o /tmp/evaluation-result-4089330-1466025510/solver-4089330-1466025510 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089330-1466025510.opb 

pid=10887
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.24 2.22 2.25 4/181 10890
/proc/meminfo: memFree=29317656/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=548284 CPUtime=0 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 2014 0 0 0 0 0 0 0 20 0 4 0 4597463 561442816 2375 33554432000 4194304 16246674 140733240241312 140733240240736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 137583 2384 441 2943 0 134477 0
[pid=10890/tid=10891] ppid=10887 vsize=565692 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 579268608 2444 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=569788 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 583462912 2461 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=574908 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 588705792 2479 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.24 2.22 2.25 4/181 10890
/proc/meminfo: memFree=29317656/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 30087 0 0 0 5 4 0 0 20 0 4 0 4597463 1247350784 30437 33554432000 4194304 16246674 140733240241312 140733240223232 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 304529 30450 711 2943 0 301423 0
[pid=10890/tid=10891] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 30459 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 30469 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 30478 33554432000 4194304 16246674 140733240241312 140374563613872 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.200501 s]
/proc/loadavg: 2.24 2.22 2.25 4/181 10890
/proc/meminfo: memFree=29317656/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 60110 0 0 0 10 8 0 0 20 0 4 0 4597463 1247350784 60459 33554432000 4194304 16246674 140733240241312 140733240223232 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 304529 60473 711 2943 0 301423 0
[pid=10890/tid=10891] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 60483 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 60493 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 60502 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.24 2.22 2.25 4/181 10890
/proc/meminfo: memFree=29317656/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 90363 0 0 0 17 12 0 0 20 0 4 0 4597463 1247350784 90712 33554432000 4194304 16246674 140733240241312 140733240223232 13192509 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 304529 90724 711 2943 0 301423 0
[pid=10890/tid=10891] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 90730 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 90734 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 90742 33554432000 4194304 16246674 140733240241312 140374563613872 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.700391 s]
/proc/loadavg: 2.24 2.22 2.25 4/181 10890
/proc/meminfo: memFree=29317656/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 210949 0 0 0 41 27 0 0 20 0 4 0 4597463 1247350784 211299 33554432000 4194304 16246674 140733240241312 140733240223232 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 304529 211305 712 2943 0 301423 0
[pid=10890/tid=10891] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 211314 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 211325 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1247350784 211336 33554432000 4194304 16246674 140733240241312 140374563613872 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.50037 s]
/proc/loadavg: 2.24 2.22 2.25 4/185 10894
/proc/meminfo: memFree=28334124/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 267096 0 0 0 115 34 0 0 20 0 4 0 4597463 1336479744 267425 33554432000 4194304 16246674 140733240241312 140733240223232 5721725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 326289 267425 789 2943 0 323183 0
[pid=10890/tid=10891] ppid=10887 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1336479744 267425 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1336479744 267425 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1336479744 267425 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.24 2.22 2.25 4/185 10894
/proc/meminfo: memFree=28246580/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 267569 0 0 0 275 34 0 0 20 0 4 0 4597463 1337528320 267898 33554432000 4194304 16246674 140733240241312 140733240224312 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 326545 267898 789 2943 0 323439 0
[pid=10890/tid=10891] ppid=10887 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1337528320 267898 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1337528320 267898 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1337528320 267898 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.30 2.24 2.25 3/185 10894
/proc/meminfo: memFree=28246364/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 267599 0 0 0 595 34 0 0 20 0 4 0 4597463 1338576896 267928 33554432000 4194304 16246674 140733240241312 140733240223232 12875485 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 326801 267928 789 2943 0 323695 0
[pid=10890/tid=10891] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267928 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267928 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267928 33554432000 4194304 16246674 140733240241312 140374563613872 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.28 2.23 2.25 3/185 10894
/proc/meminfo: memFree=28246164/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 267631 0 0 0 1234 34 0 0 20 0 4 0 4597463 1338576896 267960 33554432000 4194304 16246674 140733240241312 140733240223232 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 326801 267960 791 2943 0 323695 0
[pid=10890/tid=10891] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267960 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267960 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1338576896 267960 33554432000 4194304 16246674 140733240241312 140374563613872 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.24 3/185 10894
/proc/meminfo: memFree=28245676/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 267947 0 0 0 2514 34 0 0 20 0 4 0 4597463 1339625472 268276 33554432000 4194304 16246674 140733240241312 140733240223232 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 327057 268276 791 2943 0 323951 0
[pid=10890/tid=10891] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268276 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268276 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268276 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.33 2.25 2.25 3/185 10894
/proc/meminfo: memFree=28245064/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 268085 0 0 0 5073 35 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140733240223232 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 327057 268414 791 2943 0 323951 0
[pid=10890/tid=10891] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374563613872 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) 1308228

[startup+102.3 s]
/proc/loadavg: 2.18 2.22 2.24 3/186 10898
/proc/meminfo: memFree=28243288/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 268085 0 0 0 10193 35 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140733240223232 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 327057 268414 791 2943 0 323951 0
[pid=10890/tid=10891] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1339625472 268414 33554432000 4194304 16246674 140733240241312 140374563613872 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) 1308228


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

/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.31 2.28 2.23 3/185 10930
/proc/meminfo: memFree=28220628/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1361.93 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271488 0 0 0 136142 51 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 5827980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.26 2.27 2.23 3/185 10931
/proc/meminfo: memFree=28220460/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1421.91 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271523 0 0 0 142139 52 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240224312 13006780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.33 2.29 2.24 3/185 10932
/proc/meminfo: memFree=28220500/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1481.88 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 148136 52 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 6021072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.18 2.25 2.22 3/176 10969
/proc/meminfo: memFree=29301244/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1541.88 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 154135 53 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240224312 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 2.22 3/185 10982
/proc/meminfo: memFree=28231692/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1601.87 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 160133 54 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 13192360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.31 2.26 2.23 3/185 10984
/proc/meminfo: memFree=28230800/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1661.86 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 166131 55 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 5721768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.22 4/185 10985
/proc/meminfo: memFree=28230092/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1721.84 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 172129 55 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240224312 6022658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.26 2.25 2.22 3/185 10986
/proc/meminfo: memFree=28228340/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1781.84 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 178128 56 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 13191431 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.27 2.23 3/185 10987
/proc/meminfo: memFree=28228572/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1800.04 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 179948 56 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.27 2.23 3/185 10987
/proc/meminfo: memFree=28228572/32872528 swapFree=1481856/1661728
[pid=10890] ppid=10887 vsize=1320516 CPUtime=1800.04 cores=1,3,5,7
/proc/10890/stat : 10890 (toysat) R 10887 10890 6232 0 -1 4202496 271546 0 0 0 179948 56 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140733240223232 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 330129 271744 793 2943 0 327023 0
[pid=10890/tid=10891] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10891/stat : 10891 (toysat) S 10887 10890 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374652726512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10892] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (toysat) S 10887 10890 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374642236656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10887 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (toysat) S 10887 10890 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4597463 1352208384 271744 33554432000 4194304 16246674 140733240241312 140374563613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.49
CPU system time (s): 0.563914
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.563914
maximum resident set size= 1086976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271546
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= 399
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48501 second user time and 8.60869 second system time

The end

Begin job on node134 at 2016-06-15 23:18:30
IDJOB=4089330
IDBENCH=107391
IDSOLVER=2542
FILE ID=node134/4089330-1466025510
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 1515fa5a8ad87de533536ce53401b7dc
RANDOM SEED=1565804654

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29318812 kB
Buffers:           22112 kB
Cached:            78340 kB
SwapCached:        17324 kB
Active:          1139432 kB
Inactive:          52116 kB
Active(anon):    1075376 kB
Inactive(anon):    17972 kB
Active(file):      64056 kB
Inactive(file):    34144 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083700 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2735616 kB
Mapped:            10440 kB
Shmem:                 0 kB
Slab:             566612 kB
SReclaimable:      10764 kB
SUnreclaim:       555848 kB
KernelStack:        1528 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-15 23:48:31