0.00/0.00	c 2016-06-15T20:52:12+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-4088840-1466016732.opb"]
0.00/0.01	c use --random-gen="3061262849 77939785 3964103403 2110195159 1598851498 1721705847 2708307315 3525172008 3834090376 3094297574 2121466482 3488796830 2339256066 2947762401 43813913 403791905 1190697808 3844743066 3610407496 455708314 1697338644 1364075362 2825441651 1117901578 3033377007 2013312451 1912581815 314427912 912566399 999075686 375558721 3555570144 1921151143 55912046 399877309 1245796407 3167213211 2573235686 2908353446 2796681985 2807026017 1645738296 2397896131 431828616 4099040428 2978808934 3240025535 1903726441 2969433157 2133701308 356682345 3958610559 3248675088 1874748070 843503114 2721409152 2129470495 1484435202 1937713651 3978395358 3695835058 1343948268 1560065898 2349293187 2587680509 2813667586 4195171895 2562414043 475451948 4065360443 1886185983 1233545865 4051763719 2202176447 731120315 4086869241 2856381605 2349966680 2392750570 325555594 1415254533 2072339314 2725070370 1206082728 3019437767 1232826698 1553205352 69021934 2575779692 3006027188 1528596781 1046711769 662036652 3020806555 82452000 363532600 600482202 2574590906 2502930948 887722121 81442250 3600381112 3596428165 907619396 3475559872 515854665 2235021032 3198994123 3817532696 958734593 4141062983 1139887889 2788411461 24484276 464400327 2304633969 3317421087 1546429605 7507136 2515021371 271009754 3227291193 2149866749 727779749 1276621486 2986635287 1615432868 1363497377 343977979 2200416719 1957429027 119026922 1786878135 438174673 4224742368 1375129663 1631656370 4137038614 4123979327 1466349971 1974019002 1098012421 1094080424 1361448419 3147770826 2135273987 2254023422 1260953527 1989059507 2193805792 3722786671 3311403640 3975650926 2883609695 123977352 1668457571 352360235 2344736027 3064534454 1452666684 599707578 3546177182 3567546903 2032055128 3226002181 538387604 199417698 1395924199 3139007698 4176267911 425369976 998623122 3396225570 922979512 1510186563 1463023453 1187214317 957806889 27174590 2777786794 2118911912 4217416432 74476899 2879450198 411537520 2294184144 1331384301 3311064012 20536785 972441962 9735217 3529949612 3821807971 4269964369 2204323287 1891532561 3053291017 1930480400 246616200 2810250724 1609433664 102131818 2881056896 3124664041 4049594399 641529786 3575831542 3253438256 3056249390 87437180 3314206234 2317530609 1038970163 493106310 3610770210 1359717095 3684652507 3666776176 174002499 2896622234 3898968364 3370354511 1620569347 3776050233 717165442 3839336593 721458062 1962824893 3302142104 4196010551 3487702836 1648595796 3570823676 3423111591 2149362639 96634285 2556009009 2990318662 3660938924 1670660928 3703064899 2136045159 93492428 3251284437 649274608 1886041463 1022839097 956781221 2007882114 2667893793 1110205067 2770910797 2128783384 538358765 3853643798 1138160447 255 362436" option to reproduce the execution
0.00/0.07	c #vars 10725
0.00/0.07	c #constraints 2146
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     4290      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |      610 |      100 |     4290      0 |        0 |        0
0.19/0.24	c  0.1s |       2 |      937 |      250 |     4719      0 |        0 |        0
0.19/0.26	c  0.1s |       3 |     1238 |      475 |     5191      0 |        0 |        0
0.19/0.29	c  0.1s |       4 |     1933 |      813 |     5711      0 |        0 |        0
0.29/0.32	c  0.1s |       5 |     2773 |     1320 |     6283      0 |        0 |        0
0.29/0.36	c  0.2s |       6 |     3914 |     2081 |     7604      0 |        0 |        0
0.39/0.44	c  0.2s |       7 |     5452 |     3223 |     8365      0 |        0 |        0
0.49/0.58	c  0.4s |       8 |     8042 |     4936 |     9202      0 |        0 |        0
0.79/0.82	c  0.6s |       9 |    11832 |     7506 |    10123      0 |        0 |        0
1.29/1.31	c  1.1s |      10 |    17025 |    11361 |    11136      1 |        0 |        0
1.79/1.86	c  1.7s |      11 |    25456 |    17144 |    12250      2 |        0 |        0
2.39/2.46	c  2.3s |      12 |    37799 |    25819 |    13476      3 |        0 |        0
3.59/3.62	c  3.4s |      13 |    56230 |    38832 |    14824      5 |        0 |        0
4.89/4.99	c  4.8s |      14 |    83697 |    58352 |    16307      7 |        0 |        0
6.99/7.01	c  6.8s |      14 |   111183 |    76952 |    16307      9 |        0 |        0
8.99/9.03	c  8.8s |      14 |   124413 |    86552 |    16307     10 |        0 |        0
9.19/9.23	c  9.0s |      15 |   125884 |    87632 |    17938     10 |        0 |        0
11.19/11.23	c 11.0s |      15 |   159630 |   110832 |    17938     13 |        0 |        0
13.20/13.24	c 13.0s |      15 |   178599 |   125932 |    17938     14 |        0 |        0
13.79/13.83	c 13.6s |      16 |   188489 |   131552 |    19732     15 |        0 |        0
15.79/15.86	c 15.7s |      16 |   216828 |   148552 |    19732     17 |        0 |        0
17.79/17.86	c 17.7s |      16 |   243225 |   168052 |    19732     18 |        0 |        0
19.80/19.89	c 19.7s |      16 |   271505 |   189252 |    19732     21 |        0 |        0
20.59/20.63	c 20.4s |      17 |   283378 |   197432 |    21706     21 |        0 |        0
22.59/22.63	c 22.4s |      17 |   310142 |   214632 |    21706     23 |        0 |        0
24.59/24.65	c 24.5s |      17 |   343714 |   233932 |    21706     24 |        0 |        0
26.59/26.65	c 26.5s |      17 |   357691 |   244432 |    21706     25 |        0 |        0
28.59/28.66	c 28.5s |      17 |   368911 |   252932 |    21706     26 |        0 |        0
30.69/30.74	c 30.5s |      17 |   374744 |   257732 |    21706     26 |        0 |        0
32.79/32.80	c 32.6s |      17 |   378327 |   260532 |    21706     27 |        0 |        0
34.79/34.81	c 34.6s |      17 |   388407 |   268032 |    21706     27 |        0 |        0
36.78/36.83	c 36.6s |      17 |   394111 |   272232 |    21706     28 |        0 |        0
38.78/38.83	c 38.6s |      17 |   402566 |   278732 |    21706     28 |        0 |        0
40.79/40.84	c 40.7s |      17 |   409948 |   284332 |    21706     29 |        0 |        0
42.78/42.86	c 42.7s |      17 |   418092 |   290532 |    21706     29 |        0 |        0
44.58/44.62	c 44.4s |      18 |   428404 |   296252 |    23877     29 |        0 |        0
46.59/46.63	c 46.4s |      18 |   455250 |   312752 |    23877     31 |        0 |        0
48.59/48.63	c 48.4s |      18 |   466770 |   322252 |    23877     32 |        0 |        0
50.59/50.64	c 50.5s |      18 |   475160 |   329052 |    23877     32 |        0 |        0
52.59/52.64	c 52.5s |      18 |   487423 |   337052 |    23877     33 |        0 |        0
54.59/54.66	c 54.5s |      18 |   507376 |   350152 |    23877     34 |        0 |        0
56.58/56.66	c 56.5s |      18 |   523336 |   361352 |    23877     35 |        0 |        0
58.58/58.66	c 58.5s |      18 |   544772 |   374852 |    23877     36 |        0 |        0
60.88/60.92	c 60.7s |      18 |   566452 |   386152 |    23877     37 |        0 |        0
62.88/62.92	c 62.7s |      18 |   583278 |   398552 |    23877     38 |        0 |        0
64.89/64.94	c 64.7s |      18 |   596903 |   409352 |    23877     39 |        0 |        0
66.88/66.95	c 66.8s |      18 |   617483 |   422252 |    23877     40 |        0 |        0
68.78/68.80	c 68.6s |      19 |   654797 |   444482 |    26265     41 |        0 |        0
70.78/70.80	c 70.6s |      19 |   677065 |   460382 |    26265     43 |        0 |        0
72.78/72.80	c 72.6s |      19 |   719448 |   476182 |    26265     44 |        0 |        0
74.78/74.81	c 74.6s |      19 |   747330 |   491582 |    26265     45 |        0 |        0
76.78/76.83	c 76.6s |      19 |   759424 |   500482 |    26265     45 |        0 |        0
78.78/78.83	c 78.6s |      19 |   768409 |   506782 |    26265     46 |        0 |        0
80.78/80.84	c 80.7s |      19 |   781723 |   516582 |    26265     47 |        0 |        0
82.78/82.87	c 82.7s |      19 |   790425 |   523482 |    26265     47 |        0 |        0
84.78/84.89	c 84.7s |      19 |   797396 |   528682 |    26265     47 |        0 |        0
87.48/87.59	c 87.4s |      19 |   802920 |   533082 |    26265     48 |        0 |        0
89.58/89.61	c 89.4s |      19 |   810814 |   538982 |    26265     48 |        0 |        0
91.58/91.62	c 91.4s |      19 |   816899 |   543682 |    26265     48 |        0 |        0
93.58/93.64	c 93.5s |      19 |   819419 |   545682 |    26265     49 |        0 |        0
95.57/95.64	c 95.5s |      19 |   823838 |   549182 |    26265     49 |        0 |        0
97.57/97.68	c 97.5s |      19 |   827989 |   552682 |    26265     49 |        0 |        0
99.67/99.70	c 99.5s |      19 |   833162 |   556582 |    26265     49 |        0 |        0
101.67/101.72	c  101s |      19 |   837046 |   559582 |    26265     50 |        0 |        0
103.67/103.74	c  103s |      19 |   839526 |   561382 |    26265     50 |        0 |        0
105.68/105.77	c  105s |      19 |   846602 |   566682 |    26265     50 |        0 |        0
107.67/107.77	c  107s |      19 |   852486 |   571382 |    26265     50 |        0 |        0
109.68/109.77	c  109s |      19 |   855151 |   573482 |    26265     51 |        0 |        0
111.68/111.78	c  111s |      19 |   857920 |   575582 |    26265     51 |        0 |        0
113.77/113.82	c  113s |      19 |   860915 |   577882 |    26265     51 |        0 |        0
115.77/115.86	c  115s |      19 |   866414 |   582382 |    26265     51 |        0 |        0
117.87/117.91	c  117s |      19 |   870733 |   585782 |    26265     51 |        0 |        0
120.07/120.17	c  119s |      19 |   874023 |   588082 |    26265     52 |        0 |        0
122.08/122.20	c  122s |      19 |   879981 |   592582 |    26265     52 |        0 |        0
124.17/124.23	c  124s |      19 |   887624 |   598382 |    26265     52 |        0 |        0
126.17/126.27	c  126s |      19 |   890919 |   600882 |    26265     53 |        0 |        0
128.27/128.30	c  128s |      19 |   895388 |   604382 |    26265     53 |        0 |        0
130.27/130.34	c  130s |      19 |   901437 |   608982 |    26265     53 |        0 |        0
132.27/132.37	c  132s |      19 |   906328 |   612682 |    26265     53 |        0 |        0
134.27/134.37	c  134s |      19 |   909836 |   615182 |    26265     54 |        0 |        0
136.48/136.53	c  136s |      19 |   913411 |   617982 |    26265     54 |        0 |        0
138.47/138.55	c  138s |      19 |   920141 |   623182 |    26265     54 |        0 |        0
140.47/140.57	c  140s |      19 |   925791 |   627782 |    26265     54 |        0 |        0
142.98/143.07	c  142s |      19 |   928001 |   629482 |    26265     55 |        0 |        0
144.97/145.09	c  144s |      19 |   934748 |   634582 |    26265     55 |        0 |        0
147.07/147.15	c  146s |      19 |   940529 |   639182 |    26265     55 |        0 |        0
149.07/149.18	c  148s |      19 |   979923 |   658182 |    26265     57 |        0 |        0
151.07/151.19	c  150s |      19 |   992077 |   665282 |    28892     57 |        0 |        0
151.27/151.37	c  151s |      20 |   993955 |   666827 |    28892     57 |        0 |        0
153.27/153.38	c  153s |      20 |  1044556 |   677127 |    28892     58 |        0 |        0
155.27/155.38	c  155s |      20 |  1071267 |   689027 |    28892     58 |        0 |        0
157.28/157.39	c  157s |      20 |  1081749 |   697027 |    28892     59 |        0 |        0
159.37/159.40	c  159s |      20 |  1091855 |   704227 |    28892     59 |        0 |        0
161.37/161.43	c  161s |      20 |  1099411 |   709727 |    28892     60 |        0 |        0
163.37/163.44	c  163s |      20 |  1108656 |   717127 |    28892     60 |        0 |        0
165.37/165.45	c  165s |      20 |  1114166 |   721927 |    28892     61 |        0 |        0
167.37/167.45	c  167s |      20 |  1122241 |   727527 |    28892     61 |        0 |        0
169.37/169.46	c  169s |      20 |  1127286 |   731127 |    28892     61 |        0 |        0
171.37/171.49	c  171s |      20 |  1132453 |   735127 |    28892     61 |        0 |        0
173.47/173.51	c  173s |      20 |  1140403 |   739927 |    28892     62 |        0 |        0
177.07/177.18	c  176s |      20 |  1141092 |   740427 |    28892     62 |        0 |        0
179.06/179.18	c  178s |      20 |  1144565 |   743127 |    28892     62 |        0 |        0
181.16/181.20	c  181s |      20 |  1149818 |   747327 |    28892     62 |        0 |        0
183.16/183.26	c  183s |      20 |  1155094 |   751327 |    28892     62 |        0 |        0
185.26/185.33	c  185s |      20 |  1157001 |   753027 |    28892     63 |        0 |        0
187.26/187.37	c  187s |      20 |  1161963 |   757027 |    28892     63 |        0 |        0
189.36/189.48	c  189s |      20 |  1166312 |   760827 |    28892     63 |        0 |        0
191.47/191.51	c  191s |      20 |  1167996 |   762327 |    28892     63 |        0 |        0
193.67/193.71	c  193s |      20 |  1176442 |   768227 |    28892     64 |        0 |        0
195.96/196.09	c  195s |      20 |  1196322 |   776427 |    28892     64 |        0 |        0
197.97/198.10	c  197s |      20 |  1233780 |   796327 |    28892     66 |        0 |        0
200.06/200.14	c  199s |      20 |  1287232 |   812127 |    28892     67 |        0 |        0
202.06/202.14	c  201s |      20 |  1302489 |   823427 |    28892     67 |        0 |        0
204.06/204.16	c  203s |      20 |  1310852 |   830027 |    28892     68 |        0 |        0
206.06/206.17	c  205s |      20 |  1318473 |   836127 |    28892     68 |        0 |        0
208.06/208.17	c  207s |      20 |  1324783 |   840927 |    28892     68 |        0 |        0
210.16/210.22	c  210s |      20 |  1329464 |   844227 |    28892     69 |        0 |        0
212.16/212.22	c  212s |      20 |  1332647 |   846327 |    28892     69 |        0 |        0
214.16/214.24	c  214s |      20 |  1338010 |   849827 |    28892     69 |        0 |        0
216.16/216.26	c  216s |      20 |  1345044 |   855027 |    28892     69 |        0 |        0
218.16/218.27	c  218s |      20 |  1351027 |   859427 |    28892     69 |        0 |        0
220.26/220.31	c  220s |      20 |  1355089 |   862527 |    28892     70 |        0 |        0
222.26/222.33	c  222s |      20 |  1357759 |   864627 |    28892     70 |        0 |        0
224.25/224.33	c  224s |      20 |  1362620 |   868127 |    28892     70 |        0 |        0
226.35/226.42	c  226s |      20 |  1366890 |   871127 |    28892     70 |        0 |        0
228.35/228.44	c  228s |      20 |  1370969 |   873927 |    28892     70 |        0 |        0
230.65/230.75	c  230s |      20 |  1374628 |   876127 |    28892     71 |        0 |        0
234.75/234.80	c  234s |      20 |  1378478 |   878527 |    28892     71 |        0 |        0
236.75/236.83	c  236s |      20 |  1385015 |   883027 |    28892     71 |        0 |        0
238.76/238.84	c  238s |      20 |  1390485 |   886927 |    28892     71 |        0 |        0
240.75/240.90	c  240s |      20 |  1396323 |   891427 |    28892     71 |        0 |        0
243.46/243.50	c  243s |      20 |  1397554 |   892327 |    28892     72 |        0 |        0
245.46/245.52	c  245s |      20 |  1404066 |   897027 |    28892     72 |        0 |        0
247.46/247.53	c  247s |      20 |  1409196 |   900927 |    28892     72 |        0 |        0
250.16/250.26	c  250s |      20 |  1414932 |   904927 |    28892     72 |        0 |        0
252.15/252.28	c  252s |      20 |  1418714 |   907527 |    28892     72 |        0 |        0
255.16/255.23	c  255s |      20 |  1419952 |   908427 |    28892     73 |        0 |        0
257.15/257.28	c  257s |      20 |  1425585 |   912827 |    28892     73 |        0 |        0
259.25/259.31	c  259s |      20 |  1430599 |   916727 |    28892     73 |        0 |        0
261.25/261.32	c  261s |      20 |  1435347 |   920427 |    28892     73 |        0 |        0
263.25/263.35	c  263s |      20 |  1440427 |   923727 |    28892     73 |        0 |        0
265.35/265.46	c  265s |      20 |  1441235 |   924327 |    28892     74 |        0 |        0
267.35/267.48	c  267s |      20 |  1446700 |   928427 |    28892     74 |        0 |        0
269.45/269.53	c  269s |      20 |  1450926 |   931427 |    28892     74 |        0 |        0
271.45/271.54	c  271s |      20 |  1455127 |   934627 |    28892     74 |        0 |        0
273.45/273.57	c  273s |      20 |  1458710 |   937427 |    28892     74 |        0 |        0
276.55/276.63	c  276s |      20 |  1462323 |   940127 |    28892     75 |        0 |        0
278.65/278.76	c  278s |      20 |  1464619 |   941727 |    28892     75 |        0 |        0
280.65/280.77	c  280s |      20 |  1469159 |   945027 |    28892     75 |        0 |        0
282.76/282.81	c  282s |      20 |  1481714 |   951127 |    28892     75 |        0 |        0
284.75/284.81	c  284s |      20 |  1484984 |   952127 |    28892     75 |        0 |        0
286.75/286.83	c  286s |      20 |  1531912 |   970427 |    28892     77 |        0 |        0
288.75/288.84	c  288s |      20 |  1560538 |   989127 |    28892     78 |        0 |        0
289.85/289.93	c  289s |      21 |  1584899 |  1000345 |    31782     78 |        0 |        0
291.84/291.95	c  291s |      21 |  1632696 |  1012945 |    31782     79 |        0 |        0
293.84/293.96	c  293s |      21 |  1645545 |  1022145 |    31782     80 |        0 |        0
295.85/295.98	c  295s |      21 |  1653933 |  1028545 |    31782     80 |        0 |        0
297.94/298.04	c  297s |      21 |  1660583 |  1033845 |    31782     80 |        0 |        0
299.94/300.07	c  299s |      21 |  1664681 |  1037045 |    31782     81 |        0 |        0
301.95/302.09	c  301s |      21 |  1671449 |  1042145 |    31782     81 |        0 |        0
303.95/304.09	c  303s |      21 |  1678955 |  1047945 |    31782     81 |        0 |        0
307.55/307.60	c  307s |      21 |  1684719 |  1052145 |    31782     82 |        0 |        0
309.54/309.62	c  309s |      21 |  1701239 |  1061145 |    31782     82 |        0 |        0
311.54/311.62	c  311s |      21 |  1712515 |  1070045 |    31782     83 |        0 |        0
313.55/313.62	c  313s |      21 |  1746779 |  1085545 |    31782     84 |        0 |        0
315.54/315.62	c  315s |      21 |  1788418 |  1098745 |    31782     84 |        0 |        0
317.54/317.65	c  317s |      21 |  1799886 |  1107745 |    31782     85 |        0 |        0
319.54/319.66	c  319s |      21 |  1808099 |  1114045 |    31782     85 |        0 |        0
321.74/321.83	c  321s |      21 |  1814303 |  1118845 |    31782     86 |        0 |        0
323.75/323.83	c  323s |      21 |  1819895 |  1123145 |    31782     86 |        0 |        0
325.75/325.83	c  325s |      21 |  1827007 |  1128545 |    31782     86 |        0 |        0
327.75/327.83	c  327s |      21 |  1831542 |  1131945 |    31782     86 |        0 |        0
330.14/330.23	c  330s |      21 |  1836464 |  1135445 |    31782     87 |        0 |        0
332.25/332.33	c  332s |      21 |  1841474 |  1139345 |    31782     87 |        0 |        0
334.24/334.38	c  334s |      21 |  1847124 |  1143545 |    31782     87 |        0 |        0
336.34/336.43	c  336s |      21 |  1851862 |  1147245 |    31782     87 |        0 |        0
338.34/338.46	c  338s |      21 |  1857313 |  1151345 |    31782     87 |        0 |        0
340.44/340.52	c  340s |      21 |  1859102 |  1152745 |    31782     88 |        0 |        0
342.44/342.53	c  342s |      21 |  1864910 |  1156845 |    31782     88 |        0 |        0
344.44/344.55	c  344s |      21 |  1872625 |  1162545 |    31782     88 |        0 |        0
346.45/346.58	c  346s |      21 |  1880218 |  1167945 |    31782     88 |        0 |        0
349.44/349.51	c  349s |      21 |  1881918 |  1169045 |    31782     89 |        0 |        0
351.44/351.52	c  351s |      21 |  1890270 |  1175145 |    31782     89 |        0 |        0
353.44/353.54	c  353s |      21 |  1896233 |  1179845 |    31782     89 |        0 |        0
355.44/355.56	c  355s |      21 |  1902045 |  1184645 |    31782     89 |        0 |        0
358.54/358.70	c  358s |      21 |  1903935 |  1186245 |    31782     90 |        0 |        0
360.63/360.71	c  360s |      21 |  1910131 |  1191145 |    31782     90 |        0 |        0
362.63/362.74	c  362s |      21 |  1917837 |  1197245 |    31782     90 |        0 |        0
364.63/364.77	c  364s |      21 |  1924042 |  1201945 |    31782     90 |        0 |        0
366.73/366.82	c  366s |      21 |  1924615 |  1202445 |    31782     91 |        0 |        0
368.74/368.83	c  368s |      21 |  1934700 |  1206645 |    31782     91 |        0 |        0
370.84/370.93	c  370s |      21 |  1956383 |  1218745 |    31782     92 |        0 |        0
373.04/373.18	c  372s |      21 |  1969192 |  1225245 |    31782     92 |        0 |        0
375.05/375.19	c  374s |      21 |  1988950 |  1239445 |    31782     93 |        0 |        0
377.04/377.19	c  376s |      21 |  2004523 |  1251345 |    31782     94 |        0 |        0
379.14/379.20	c  379s |      21 |  2035246 |  1263645 |    31782     94 |        0 |        0
381.14/381.21	c  381s |      21 |  2053366 |  1277345 |    31782     95 |        0 |        0
383.13/383.22	c  383s |      21 |  2065073 |  1286545 |    31782     96 |        0 |        0
385.13/385.25	c  385s |      21 |  2074892 |  1293545 |    31782     96 |        0 |        0
387.14/387.26	c  387s |      21 |  2096515 |  1304745 |    31782     97 |        0 |        0
389.13/389.27	c  389s |      21 |  2107666 |  1313245 |    31782     97 |        0 |        0
391.13/391.28	c  391s |      21 |  2114790 |  1318845 |    31782     98 |        0 |        0
393.23/393.30	c  393s |      21 |  2120481 |  1323245 |    31782     98 |        0 |        0
395.23/395.32	c  395s |      21 |  2125197 |  1326745 |    31782     98 |        0 |        0
397.33/397.42	c  397s |      21 |  2130393 |  1330645 |    31782     98 |        0 |        0
399.34/399.47	c  399s |      21 |  2134103 |  1333345 |    31782     98 |        0 |        0
402.23/402.36	c  402s |      21 |  2136104 |  1334645 |    31782     99 |        0 |        0
404.23/404.39	c  404s |      21 |  2147079 |  1342145 |    31782     99 |        0 |        0
406.23/406.39	c  406s |      21 |  2157642 |  1350045 |    31782     99 |        0 |        0
408.23/408.40	c  408s |      21 |  2169879 |  1353545 |    31782    100 |        0 |        0
410.23/410.40	c  410s |      21 |  2180291 |  1362445 |    31782    100 |        0 |        0
412.33/412.43	c  412s |      21 |  2186587 |  1366945 |    31782    101 |        0 |        0
414.52/414.63	c  414s |      21 |  2204985 |  1380545 |    31782    101 |        0 |        0
416.52/416.64	c  416s |      21 |  2226991 |  1396845 |    31782    102 |        0 |        0
418.52/418.64	c  418s |      21 |  2238237 |  1405245 |    31782    103 |        0 |        0
420.52/420.68	c  420s |      21 |  2245595 |  1410745 |    31782    103 |        0 |        0
422.52/422.69	c  422s |      21 |  2251233 |  1414745 |    31782    104 |        0 |        0
424.53/424.70	c  424s |      21 |  2257738 |  1419845 |    31782    104 |        0 |        0
426.62/426.70	c  426s |      21 |  2265238 |  1425745 |    31782    104 |        0 |        0
428.62/428.70	c  428s |      21 |  2270416 |  1429745 |    31782    104 |        0 |        0
430.63/430.72	c  430s |      21 |  2272339 |  1431245 |    31782    105 |        0 |        0
432.63/432.74	c  432s |      21 |  2278781 |  1436245 |    31782    105 |        0 |        0
434.63/434.74	c  434s |      21 |  2281285 |  1438045 |    31782    105 |        0 |        0
436.63/436.77	c  436s |      21 |  2287319 |  1442645 |    31782    105 |        0 |        0
438.63/438.77	c  438s |      21 |  2293004 |  1446645 |    31782    106 |        0 |        0
441.03/441.13	c  440s |      21 |  2296298 |  1449145 |    31782    106 |        0 |        0
443.02/443.13	c  442s |      21 |  2299293 |  1451245 |    31782    106 |        0 |        0
445.02/445.16	c  444s |      21 |  2305051 |  1455545 |    31782    106 |        0 |        0
447.02/447.19	c  447s |      21 |  2311208 |  1460245 |    31782    106 |        0 |        0
449.22/449.32	c  449s |      21 |  2315733 |  1462845 |    31782    107 |        0 |        0
451.52/451.67	c  451s |      21 |  2320805 |  1464945 |    31782    107 |        0 |        0
453.52/453.69	c  453s |      21 |  2340105 |  1477745 |    31782    107 |        0 |        0
455.62/455.75	c  455s |      21 |  2344799 |  1480645 |    31782    108 |        0 |        0
457.63/457.76	c  457s |      21 |  2370579 |  1498845 |    34961    109 |        0 |        0
457.73/457.89	c  457s |      22 |  2373141 |  1500622 |    34961    109 |        0 |        0
459.73/459.90	c  459s |      22 |  2388888 |  1512022 |    34961    109 |        0 |        0
461.82/461.92	c  461s |      22 |  2398790 |  1519922 |    34961    110 |        0 |        0
463.82/463.94	c  463s |      22 |  2405141 |  1524922 |    34961    110 |        0 |        0
465.82/465.96	c  465s |      22 |  2411572 |  1530022 |    34961    110 |        0 |        0
467.92/468.02	c  467s |      22 |  2415651 |  1533222 |    34961    111 |        0 |        0
469.92/470.06	c  469s |      22 |  2420624 |  1537122 |    34961    111 |        0 |        0
472.12/472.20	c  472s |      22 |  2462967 |  1542822 |    34961    111 |        0 |        0
474.13/474.22	c  474s |      22 |  2485370 |  1557722 |    34961    112 |        0 |        0
476.12/476.23	c  476s |      22 |  2530197 |  1573322 |    34961    113 |        0 |        0
478.12/478.23	c  478s |      22 |  2541516 |  1582122 |    34961    113 |        0 |        0
480.12/480.23	c  480s |      22 |  2549249 |  1587922 |    34961    113 |        0 |        0
482.32/482.43	c  482s |      22 |  2555594 |  1592622 |    34961    114 |        0 |        0
484.32/484.47	c  484s |      22 |  2564103 |  1598422 |    34961    114 |        0 |        0
486.32/486.49	c  486s |      22 |  2574929 |  1606122 |    34961    114 |        0 |        0
488.32/488.49	c  488s |      22 |  2581397 |  1610622 |    34961    115 |        0 |        0
490.41/490.51	c  490s |      22 |  2592598 |  1618622 |    34961    115 |        0 |        0
492.41/492.51	c  492s |      22 |  2599800 |  1624522 |    34961    115 |        0 |        0
494.41/494.52	c  494s |      22 |  2608289 |  1631022 |    34961    116 |        0 |        0
496.41/496.55	c  496s |      22 |  2616354 |  1637122 |    34961    116 |        0 |        0
498.41/498.58	c  498s |      22 |  2625854 |  1644822 |    34961    116 |        0 |        0
500.61/500.71	c  500s |      22 |  2628747 |  1646922 |    34961    117 |        0 |        0
502.62/502.72	c  502s |      22 |  2666667 |  1665322 |    34961    118 |        0 |        0
504.61/504.72	c  504s |      22 |  2704607 |  1686222 |    34961    119 |        0 |        0
506.61/506.73	c  506s |      22 |  2748465 |  1699122 |    34961    119 |        0 |        0
508.61/508.75	c  508s |      22 |  2760031 |  1707822 |    34961    120 |        0 |        0
510.62/510.79	c  510s |      22 |  2769539 |  1714822 |    34961    120 |        0 |        0
512.72/512.80	c  512s |      22 |  2776454 |  1719922 |    34961    121 |        0 |        0
514.72/514.82	c  514s |      22 |  2785034 |  1726122 |    34961    121 |        0 |        0
516.71/516.84	c  516s |      22 |  2795202 |  1733422 |    34961    121 |        0 |        0
518.71/518.86	c  518s |      22 |  2803126 |  1739922 |    34961    122 |        0 |        0
520.81/520.90	c  520s |      22 |  2807786 |  1744122 |    34961    122 |        0 |        0
523.41/523.52	c  523s |      22 |  2813248 |  1748222 |    34961    122 |        0 |        0
525.81/525.93	c  525s |      22 |  2818107 |  1750122 |    34961    122 |        0 |        0
527.81/527.94	c  527s |      22 |  2867245 |  1764722 |    34961    123 |        0 |        0
530.51/530.63	c  530s |      22 |  2889260 |  1781022 |    34961    124 |        0 |        0
532.51/532.63	c  532s |      22 |  2908325 |  1794622 |    34961    125 |        0 |        0
534.51/534.66	c  534s |      22 |  2968953 |  1808522 |    34961    126 |        0 |        0
536.51/536.66	c  536s |      22 |  3009370 |  1826522 |    34961    127 |        0 |        0
538.51/538.67	c  538s |      22 |  3057475 |  1842422 |    34961    127 |        0 |        0
540.51/540.68	c  540s |      22 |  3080365 |  1859422 |    34961    128 |        0 |        0
542.61/542.77	c  542s |      22 |  3108648 |  1871322 |    34961    129 |        0 |        0
544.61/544.77	c  544s |      22 |  3138657 |  1891222 |    34961    130 |        0 |        0
546.61/546.78	c  546s |      22 |  3194698 |  1903422 |    34961    131 |        0 |        0
548.60/548.79	c  548s |      22 |  3221951 |  1924222 |    34961    132 |        0 |        0
550.61/550.79	c  550s |      22 |  3250544 |  1936622 |    34961    133 |        0 |        0
552.71/552.80	c  552s |      22 |  3271252 |  1952422 |    34961    134 |        0 |        0
554.71/554.80	c  554s |      22 |  3282261 |  1960522 |    34961    134 |        0 |        0
556.71/556.81	c  556s |      22 |  3304106 |  1974222 |    34961    135 |        0 |        0
558.71/558.85	c  558s |      22 |  3325103 |  1987122 |    34961    136 |        0 |        0
560.70/560.86	c  560s |      22 |  3345321 |  2002322 |    34961    136 |        0 |        0
562.70/562.87	c  562s |      22 |  3354764 |  2009422 |    34961    137 |        0 |        0
564.80/564.92	c  564s |      22 |  3362191 |  2014922 |    34961    137 |        0 |        0
566.80/566.94	c  566s |      22 |  3368263 |  2020022 |    34961    137 |        0 |        0
569.00/569.15	c  568s |      22 |  3373703 |  2024422 |    34961    138 |        0 |        0
571.00/571.15	c  570s |      22 |  3380934 |  2030322 |    34961    138 |        0 |        0
573.01/573.16	c  572s |      22 |  3395387 |  2041222 |    34961    139 |        0 |        0
575.00/575.17	c  574s |      22 |  3401518 |  2045622 |    34961    139 |        0 |        0
577.00/577.18	c  576s |      22 |  3425037 |  2058522 |    34961    140 |        0 |        0
579.00/579.19	c  578s |      22 |  3471434 |  2079922 |    34961    141 |        0 |        0
581.00/581.19	c  580s |      22 |  3491716 |  2090622 |    34961    141 |        0 |        0
583.10/583.21	c  583s |      22 |  3512187 |  2105522 |    34961    142 |        0 |        0
585.11/585.21	c  585s |      22 |  3521073 |  2112122 |    34961    143 |        0 |        0
587.10/587.23	c  587s |      22 |  3528345 |  2118022 |    34961    143 |        0 |        0
589.10/589.24	c  589s |      22 |  3555644 |  2129522 |    34961    144 |        0 |        0
591.10/591.24	c  591s |      22 |  3593146 |  2146522 |    34961    144 |        0 |        0
593.20/593.33	c  593s |      22 |  3621896 |  2156422 |    34961    145 |        0 |        0
595.30/595.42	c  595s |      22 |  3667382 |  2170022 |    34961    146 |        0 |        0
597.30/597.42	c  597s |      22 |  3690658 |  2186522 |    34961    147 |        0 |        0
599.29/599.43	c  599s |      22 |  3708447 |  2197422 |    34961    147 |        0 |        0
601.30/601.43	c  601s |      22 |  3719905 |  2205122 |    34961    148 |        0 |        0
603.30/603.44	c  603s |      22 |  3729144 |  2211922 |    34961    148 |        0 |        0
605.30/605.48	c  605s |      22 |  3736742 |  2217622 |    34961    148 |        0 |        0
607.80/607.92	c  607s |      22 |  3737348 |  2218122 |    34961    149 |        0 |        0
609.80/609.95	c  609s |      22 |  3742955 |  2222322 |    34961    149 |        0 |        0
611.80/611.98	c  611s |      22 |  3749756 |  2227022 |    34961    149 |        0 |        0
613.81/613.99	c  613s |      22 |  3755447 |  2230922 |    34961    149 |        0 |        0
615.91/616.06	c  615s |      22 |  3760878 |  2234322 |    34961    149 |        0 |        0
618.00/618.11	c  617s |      22 |  3765675 |  2237722 |    38458    149 |        0 |        0
620.00/620.14	c  619s |      22 |  3767668 |  2239222 |    38458    150 |        0 |        0
622.00/622.16	c  621s |      22 |  3774062 |  2244122 |    38458    150 |        0 |        0
624.00/624.19	c  623s |      22 |  3776612 |  2246022 |    38458    150 |        0 |        0
626.10/626.20	c  626s |      22 |  3782442 |  2250222 |    38458    150 |        0 |        0
626.60/626.72	c  626s |      23 |  3783598 |  2251038 |    38458    150 |        0 |        0
628.59/628.72	c  628s |      23 |  3826402 |  2265838 |    38458    151 |        0 |        0
630.59/630.74	c  630s |      23 |  3855293 |  2285538 |    38458    152 |        0 |        0
632.59/632.74	c  632s |      23 |  3929415 |  2298938 |    38458    153 |        0 |        0
634.60/634.74	c  634s |      23 |  3954667 |  2316938 |    38458    153 |        0 |        0
636.59/636.75	c  636s |      23 |  3963300 |  2323938 |    38458    154 |        0 |        0
638.69/638.80	c  638s |      23 |  3970380 |  2329238 |    38458    154 |        0 |        0
640.69/640.81	c  640s |      23 |  3979061 |  2335738 |    38458    154 |        0 |        0
642.69/642.84	c  642s |      23 |  3984878 |  2339838 |    38458    155 |        0 |        0
644.69/644.84	c  644s |      23 |  3993976 |  2346738 |    38458    155 |        0 |        0
646.69/646.86	c  646s |      23 |  4003617 |  2353438 |    38458    155 |        0 |        0
648.79/648.90	c  648s |      23 |  4009098 |  2357438 |    38458    155 |        0 |        0
651.10/651.21	c  651s |      23 |  4010739 |  2358738 |    38458    156 |        0 |        0
653.09/653.21	c  653s |      23 |  4016852 |  2363338 |    38458    156 |        0 |        0
655.09/655.22	c  655s |      23 |  4024285 |  2368538 |    38458    156 |        0 |        0
657.09/657.26	c  657s |      23 |  4030649 |  2372838 |    38458    156 |        0 |        0
659.19/659.32	c  659s |      23 |  4036054 |  2377038 |    38458    156 |        0 |        0
661.19/661.33	c  661s |      23 |  4039542 |  2380038 |    38458    157 |        0 |        0
663.69/663.87	c  663s |      23 |  4042231 |  2382038 |    38458    157 |        0 |        0
665.69/665.89	c  665s |      23 |  4048331 |  2386938 |    38458    157 |        0 |        0
667.70/667.89	c  667s |      23 |  4054502 |  2391638 |    38458    157 |        0 |        0
669.69/669.90	c  669s |      23 |  4058921 |  2395138 |    38458    157 |        0 |        0
672.00/672.19	c  671s |      23 |  4062312 |  2397838 |    38458    158 |        0 |        0
673.99/674.19	c  674s |      23 |  4062973 |  2398338 |    38458    158 |        0 |        0
675.99/676.19	c  676s |      23 |  4066817 |  2401438 |    38458    158 |        0 |        0
678.09/678.22	c  678s |      23 |  4074628 |  2407338 |    38458    158 |        0 |        0
680.09/680.23	c  680s |      23 |  4081361 |  2412638 |    38458    158 |        0 |        0
682.09/682.28	c  682s |      23 |  4088515 |  2418038 |    38458    159 |        0 |        0
684.09/684.29	c  684s |      23 |  4094198 |  2421938 |    38458    159 |        0 |        0
686.18/686.30	c  686s |      23 |  4102837 |  2427938 |    38458    159 |        0 |        0
688.49/688.65	c  688s |      23 |  4111528 |  2434238 |    38458    159 |        0 |        0
690.80/690.91	c  690s |      23 |  4119519 |  2440438 |    38458    160 |        0 |        0
692.78/692.92	c  692s |      23 |  4128241 |  2446738 |    38458    160 |        0 |        0
694.78/694.92	c  694s |      23 |  4136639 |  2452538 |    38458    160 |        0 |        0
696.78/696.93	c  696s |      23 |  4144112 |  2458338 |    38458    161 |        0 |        0
698.78/698.94	c  698s |      23 |  4151558 |  2464438 |    38458    161 |        0 |        0
700.78/700.97	c  700s |      23 |  4157970 |  2469438 |    38458    161 |        0 |        0
702.79/702.97	c  702s |      23 |  4163308 |  2473738 |    38458    161 |        0 |        0
704.99/705.10	c  704s |      23 |  4167843 |  2477538 |    38458    162 |        0 |        0
706.98/707.11	c  706s |      23 |  4178199 |  2484838 |    38458    162 |        0 |        0
708.98/709.13	c  708s |      23 |  4203691 |  2498638 |    38458    163 |        0 |        0
710.98/711.14	c  710s |      23 |  4239164 |  2504338 |    38458    163 |        0 |        0
712.98/713.15	c  712s |      23 |  4259197 |  2519138 |    38458    164 |        0 |        0
714.99/715.15	c  714s |      23 |  4285359 |  2532838 |    38458    164 |        0 |        0
716.98/717.17	c  716s |      23 |  4305301 |  2546038 |    38458    165 |        0 |        0
718.98/719.18	c  718s |      23 |  4315867 |  2554338 |    38458    165 |        0 |        0
721.08/721.20	c  721s |      23 |  4328644 |  2564538 |    38458    166 |        0 |        0
723.08/723.21	c  723s |      23 |  4357986 |  2576238 |    38458    166 |        0 |        0
725.08/725.22	c  725s |      23 |  4376204 |  2589338 |    38458    167 |        0 |        0
727.09/727.23	c  727s |      23 |  4388705 |  2597938 |    38458    168 |        0 |        0
729.08/729.25	c  729s |      23 |  4400358 |  2606438 |    38458    168 |        0 |        0
731.08/731.26	c  731s |      23 |  4408593 |  2612138 |    38458    168 |        0 |        0
733.08/733.28	c  733s |      23 |  4416034 |  2617438 |    38458    169 |        0 |        0
735.17/735.30	c  735s |      23 |  4419912 |  2620138 |    38458    169 |        0 |        0
737.17/737.38	c  737s |      23 |  4427596 |  2625638 |    38458    169 |        0 |        0
739.18/739.39	c  739s |      23 |  4432873 |  2629438 |    38458    169 |        0 |        0
741.87/742.02	c  741s |      23 |  4438298 |  2633238 |    38458    169 |        0 |        0
743.87/744.02	c  743s |      23 |  4444288 |  2637838 |    38458    170 |        0 |        0
745.88/746.02	c  745s |      23 |  4447137 |  2639838 |    38458    170 |        0 |        0
747.88/748.03	c  747s |      23 |  4464161 |  2652338 |    38458    170 |        0 |        0
749.88/750.04	c  749s |      23 |  4491501 |  2670038 |    38458    171 |        0 |        0
751.87/752.04	c  751s |      23 |  4537380 |  2684638 |    38458    172 |        0 |        0
753.87/754.04	c  753s |      23 |  4618177 |  2697338 |    38458    173 |        0 |        0
755.87/756.05	c  755s |      23 |  4639665 |  2712738 |    38458    173 |        0 |        0
757.88/758.07	c  757s |      23 |  4654530 |  2724038 |    38458    174 |        0 |        0
759.98/760.11	c  759s |      23 |  4667973 |  2734538 |    38458    175 |        0 |        0
761.97/762.11	c  761s |      23 |  4690754 |  2750838 |    38458    175 |        0 |        0
763.97/764.12	c  763s |      23 |  4723955 |  2765238 |    38458    176 |        0 |        0
766.27/766.44	c  766s |      23 |  4747083 |  2777538 |    38458    177 |        0 |        0
768.28/768.45	c  768s |      23 |  4826187 |  2793338 |    38458    177 |        0 |        0
770.28/770.47	c  770s |      23 |  4848238 |  2807538 |    38458    178 |        0 |        0
772.28/772.47	c  772s |      23 |  4908077 |  2826338 |    38458    179 |        0 |        0
774.28/774.48	c  774s |      23 |  4931461 |  2843538 |    38458    180 |        0 |        0
776.27/776.48	c  776s |      23 |  4957520 |  2860438 |    38458    181 |        0 |        0
778.37/778.51	c  778s |      23 |  4993067 |  2871738 |    38458    181 |        0 |        0
780.37/780.54	c  780s |      23 |  5004946 |  2880938 |    38458    182 |        0 |        0
782.37/782.56	c  782s |      23 |  5021763 |  2892938 |    38458    182 |        0 |        0
784.37/784.56	c  784s |      23 |  5032187 |  2900638 |    38458    183 |        0 |        0
786.38/786.57	c  786s |      23 |  5040612 |  2906338 |    38458    183 |        0 |        0
788.37/788.57	c  788s |      23 |  5050845 |  2913738 |    38458    184 |        0 |        0
790.37/790.58	c  790s |      23 |  5063658 |  2920838 |    38458    184 |        0 |        0
792.87/793.05	c  792s |      23 |  5095287 |  2933538 |    38458    185 |        0 |        0
795.07/795.20	c  795s |      23 |  5136265 |  2946938 |    38458    185 |        0 |        0
797.07/797.20	c  797s |      23 |  5176484 |  2964638 |    38458    186 |        0 |        0
799.07/799.21	c  799s |      23 |  5200368 |  2982238 |    38458    187 |        0 |        0
801.27/801.46	c  801s |      23 |  5231434 |  2999438 |    38458    188 |        0 |        0
803.26/803.46	c  803s |      23 |  5279006 |  3009938 |    38458    188 |        0 |        0
805.36/805.54	c  805s |      23 |  5310027 |  3030738 |    38458    190 |        0 |        0
807.67/807.85	c  807s |      23 |  5354287 |  3049938 |    38458    190 |        0 |        0
809.67/809.87	c  809s |      23 |  5373891 |  3061838 |    38458    191 |        0 |        0
811.68/811.88	c  811s |      23 |  5389974 |  3073738 |    38458    192 |        0 |        0
813.67/813.89	c  813s |      23 |  5403759 |  3082538 |    38458    192 |        0 |        0
815.77/815.90	c  815s |      23 |  5428866 |  3101038 |    38458    193 |        0 |        0
817.77/817.90	c  817s |      23 |  5441116 |  3111238 |    38458    194 |        0 |        0
819.77/819.92	c  819s |      23 |  5453959 |  3120938 |    38458    194 |        0 |        0
821.77/821.92	c  821s |      23 |  5465103 |  3129238 |    38458    195 |        0 |        0
823.78/823.94	c  823s |      23 |  5487421 |  3136538 |    38458    195 |        0 |        0
825.77/825.96	c  825s |      23 |  5501165 |  3147038 |    38458    195 |        0 |        0
828.07/828.29	c  828s |      23 |  5539815 |  3162538 |    38458    196 |        0 |        0
830.16/830.30	c  830s |      23 |  5598579 |  3180438 |    38458    197 |        0 |        0
832.36/832.56	c  832s |      23 |  5660963 |  3199738 |    38458    198 |        0 |        0
834.36/834.57	c  834s |      23 |  5698360 |  3218738 |    38458    199 |        0 |        0
836.36/836.59	c  836s |      23 |  5753553 |  3233738 |    38458    200 |        0 |        0
838.36/838.59	c  838s |      23 |  5784731 |  3253238 |    38458    201 |        0 |        0
840.46/840.60	c  840s |      23 |  5809611 |  3266838 |    38458    201 |        0 |        0
842.36/842.60	c  842s |      23 |  5839714 |  3283138 |    38458    202 |        0 |        0
844.46/844.62	c  844s |      23 |  5856343 |  3296138 |    38458    203 |        0 |        0
846.56/846.70	c  846s |      23 |  5871186 |  3305238 |    38458    203 |        0 |        0
848.56/848.71	c  848s |      23 |  5922233 |  3322038 |    38458    204 |        0 |        0
850.56/850.72	c  850s |      23 |  5966084 |  3338738 |    38458    205 |        0 |        0
852.56/852.77	c  852s |      23 |  5977612 |  3347138 |    38458    206 |        0 |        0
854.56/854.79	c  854s |      23 |  5986251 |  3353838 |    42304    206 |        0 |        0
856.66/856.80	c  856s |      23 |  5993360 |  3358938 |    42304    206 |        0 |        0
858.66/858.82	c  858s |      23 |  5999251 |  3363338 |    42304    206 |        0 |        0
860.66/860.83	c  860s |      23 |  6003866 |  3366838 |    42304    206 |        0 |        0
862.66/862.87	c  862s |      23 |  6009017 |  3370538 |    42304    206 |        0 |        0
864.76/864.96	c  864s |      23 |  6009630 |  3371038 |    42304    207 |        0 |        0
866.86/867.09	c  866s |      23 |  6014014 |  3374038 |    42304    207 |        0 |        0
867.36/867.52	c  867s |      24 |  6017320 |  3376662 |    42304    207 |        0 |        0
869.36/869.52	c  869s |      24 |  6038954 |  3390662 |    42304    207 |        0 |        0
871.36/871.55	c  871s |      24 |  6063256 |  3401062 |    42304    208 |        0 |        0
873.36/873.56	c  873s |      24 |  6075989 |  3409462 |    42304    208 |        0 |        0
875.66/875.86	c  875s |      24 |  6091516 |  3421162 |    42304    209 |        0 |        0
877.66/877.86	c  877s |      24 |  6120411 |  3440762 |    42304    210 |        0 |        0
879.86/880.01	c  879s |      24 |  6136390 |  3452262 |    42304    210 |        0 |        0
881.86/882.01	c  881s |      24 |  6170385 |  3468162 |    42304    211 |        0 |        0
883.85/884.03	c  883s |      24 |  6181553 |  3476462 |    42304    211 |        0 |        0
885.85/886.03	c  885s |      24 |  6194709 |  3485662 |    42304    212 |        0 |        0
887.85/888.05	c  887s |      24 |  6223475 |  3500562 |    42304    213 |        0 |        0
889.86/890.06	c  889s |      24 |  6244040 |  3516062 |    42304    213 |        0 |        0
891.85/892.07	c  891s |      24 |  6256826 |  3525462 |    42304    214 |        0 |        0
893.85/894.09	c  893s |      24 |  6263616 |  3531062 |    42304    214 |        0 |        0
895.95/896.12	c  895s |      24 |  6282572 |  3543862 |    42304    214 |        0 |        0
897.95/898.13	c  897s |      24 |  6296405 |  3554062 |    42304    215 |        0 |        0
899.95/900.14	c  899s |      24 |  6333279 |  3563962 |    42304    215 |        0 |        0
901.96/902.14	c  901s |      24 |  6352097 |  3573562 |    42304    216 |        0 |        0
903.96/904.20	c  904s |      24 |  6395612 |  3588262 |    42304    217 |        0 |        0
906.06/906.20	c  906s |      24 |  6439826 |  3609662 |    42304    217 |        0 |        0
908.06/908.20	c  908s |      24 |  6462891 |  3625562 |    42304    218 |        0 |        0
910.05/910.21	c  910s |      24 |  6520176 |  3645162 |    42304    219 |        0 |        0
912.05/912.22	c  912s |      24 |  6545068 |  3655762 |    42304    220 |        0 |        0
914.06/914.23	c  914s |      24 |  6580444 |  3675562 |    42304    221 |        0 |        0
916.05/916.24	c  916s |      24 |  6607287 |  3695262 |    42304    221 |        0 |        0
918.05/918.24	c  918s |      24 |  6625375 |  3706962 |    42304    222 |        0 |        0
920.56/920.72	c  920s |      24 |  6687442 |  3725362 |    42304    223 |        0 |        0
922.55/922.73	c  922s |      24 |  6721472 |  3739462 |    42304    224 |        0 |        0
924.55/924.75	c  924s |      24 |  6731603 |  3746462 |    42304    224 |        0 |        0
926.95/927.14	c  926s |      24 |  6760092 |  3761862 |    42304    225 |        0 |        0
928.95/929.15	c  928s |      24 |  6802626 |  3776962 |    42304    225 |        0 |        0
930.95/931.15	c  930s |      24 |  6830842 |  3793262 |    42304    226 |        0 |        0
932.95/933.16	c  932s |      24 |  6848151 |  3805662 |    42304    227 |        0 |        0
934.95/935.17	c  934s |      24 |  6860594 |  3815062 |    42304    227 |        0 |        0
936.95/937.18	c  936s |      24 |  6884261 |  3829962 |    42304    228 |        0 |        0
938.95/939.18	c  938s |      24 |  6917162 |  3851462 |    42304    229 |        0 |        0
940.95/941.19	c  940s |      24 |  6948429 |  3866962 |    42304    229 |        0 |        0
942.94/943.19	c  943s |      24 |  6969675 |  3882862 |    42304    230 |        0 |        0
945.14/945.39	c  945s |      24 |  7007183 |  3892962 |    42304    231 |        0 |        0
947.24/947.40	c  947s |      24 |  7054950 |  3908162 |    42304    231 |        0 |        0
949.16/949.40	c  949s |      24 |  7109165 |  3927162 |    42304    232 |        0 |        0
951.25/951.41	c  951s |      24 |  7137175 |  3948462 |    42304    233 |        0 |        0
953.25/953.41	c  953s |      24 |  7167495 |  3952862 |    42304    233 |        0 |        0
955.25/955.42	c  955s |      24 |  7214945 |  3971162 |    42304    234 |        0 |        0
957.25/957.42	c  957s |      24 |  7234652 |  3985762 |    42304    235 |        0 |        0
959.24/959.45	c  959s |      24 |  7255156 |  4000962 |    42304    236 |        0 |        0
961.25/961.47	c  961s |      24 |  7293717 |  4015662 |    42304    236 |        0 |        0
963.24/963.48	c  963s |      24 |  7307568 |  4026362 |    42304    237 |        0 |        0
965.24/965.48	c  965s |      24 |  7326592 |  4038762 |    42304    237 |        0 |        0
967.24/967.49	c  967s |      24 |  7348403 |  4054462 |    42304    238 |        0 |        0
969.54/969.71	c  969s |      24 |  7372755 |  4069162 |    42304    239 |        0 |        0
971.54/971.71	c  971s |      24 |  7404300 |  4088162 |    42304    240 |        0 |        0
973.54/973.72	c  973s |      24 |  7445997 |  4105962 |    42304    240 |        0 |        0
975.64/975.83	c  975s |      24 |  7498099 |  4121662 |    42304    241 |        0 |        0
977.65/977.83	c  977s |      24 |  7531760 |  4142662 |    42304    242 |        0 |        0
979.65/979.86	c  979s |      24 |  7560180 |  4157162 |    42304    243 |        0 |        0
981.65/981.86	c  981s |      24 |  7596287 |  4175562 |    42304    244 |        0 |        0
983.65/983.86	c  983s |      24 |  7657727 |  4191562 |    42304    244 |        0 |        0
985.64/985.87	c  985s |      24 |  7695907 |  4209362 |    42304    245 |        0 |        0
987.65/987.87	c  987s |      24 |  7715293 |  4223662 |    42304    246 |        0 |        0
989.74/989.93	c  989s |      24 |  7757616 |  4240062 |    42304    247 |        0 |        0
991.74/991.94	c  991s |      24 |  7784553 |  4257262 |    42304    247 |        0 |        0
993.74/993.94	c  993s |      24 |  7804460 |  4272262 |    42304    248 |        0 |        0
995.74/995.95	c  995s |      24 |  7847165 |  4289262 |    42304    249 |        0 |        0
997.74/997.97	c  997s |      24 |  7881682 |  4306362 |    42304    250 |        0 |        0
999.75/999.98	c  999s |      24 |  7895902 |  4316962 |    42304    250 |        0 |        0
1001.74/1001.98	c 1001s |      24 |  7904653 |  4323462 |    42304    250 |        0 |        0
1003.84/1004.00	c 1003s |      24 |  7910378 |  4327562 |    42304    250 |        0 |        0
1005.84/1006.03	c 1005s |      24 |  7916544 |  4332262 |    42304    251 |        0 |        0
1007.84/1008.06	c 1007s |      24 |  7923042 |  4336862 |    42304    251 |        0 |        0
1009.94/1010.11	c 1009s |      24 |  7934382 |  4345462 |    42304    251 |        0 |        0
1011.95/1012.11	c 1011s |      24 |  7980721 |  4361162 |    42304    252 |        0 |        0
1013.94/1014.11	c 1013s |      24 |  8000862 |  4374862 |    42304    253 |        0 |        0
1015.94/1016.13	c 1015s |      24 |  8011805 |  4382962 |    42304    253 |        0 |        0
1017.94/1018.15	c 1017s |      24 |  8020039 |  4389562 |    42304    253 |        0 |        0
1019.94/1020.17	c 1019s |      24 |  8026693 |  4394862 |    42304    254 |        0 |        0
1022.04/1022.20	c 1022s |      24 |  8034647 |  4400762 |    42304    254 |        0 |        0
1024.04/1024.22	c 1024s |      24 |  8041036 |  4405762 |    42304    254 |        0 |        0
1026.04/1026.29	c 1026s |      24 |  8045213 |  4409162 |    42304    254 |        0 |        0
1028.14/1028.30	c 1028s |      24 |  8048584 |  4411862 |    42304    254 |        0 |        0
1030.14/1030.32	c 1030s |      24 |  8052815 |  4414962 |    42304    255 |        0 |        0
1032.23/1032.42	c 1032s |      24 |  8052944 |  4415062 |    42304    255 |        0 |        0
1034.23/1034.43	c 1034s |      24 |  8058140 |  4419362 |    42304    255 |        0 |        0
1038.24/1038.50	c 1038s |      24 |  8061957 |  4421862 |    42304    255 |        0 |        0
1040.34/1040.54	c 1040s |      24 |  8067657 |  4426362 |    42304    255 |        0 |        0
1042.34/1042.59	c 1042s |      24 |  8072289 |  4430062 |    42304    255 |        0 |        0
1044.44/1044.61	c 1044s |      24 |  8076622 |  4433562 |    42304    255 |        0 |        0
1047.33/1047.59	c 1047s |      24 |  8080562 |  4436662 |    42304    256 |        0 |        0
1049.73/1049.94	c 1049s |      24 |  8082444 |  4438062 |    42304    256 |        0 |        0
1051.73/1051.97	c 1051s |      24 |  8088170 |  4442762 |    42304    256 |        0 |        0
1054.53/1054.73	c 1054s |      24 |  8091675 |  4445262 |    42304    256 |        0 |        0
1056.53/1056.76	c 1056s |      24 |  8095649 |  4448362 |    42304    256 |        0 |        0
1058.53/1058.78	c 1058s |      24 |  8101312 |  4452262 |    42304    256 |        0 |        0
1060.63/1060.85	c 1060s |      24 |  8106792 |  4456162 |    42304    256 |        0 |        0
1062.93/1063.17	c 1062s |      24 |  8110841 |  4458862 |    42304    257 |        0 |        0
1066.32/1066.50	c 1066s |      24 |  8115922 |  4462462 |    42304    257 |        0 |        0
1069.93/1070.11	c 1069s |      24 |  8120823 |  4466262 |    42304    257 |        0 |        0
1071.93/1072.15	c 1071s |      24 |  8125509 |  4469562 |    42304    257 |        0 |        0
1073.93/1074.15	c 1073s |      24 |  8129206 |  4472562 |    42304    257 |        0 |        0
1076.03/1076.21	c 1076s |      24 |  8132905 |  4475562 |    42304    257 |        0 |        0
1078.03/1078.26	c 1078s |      24 |  8135310 |  4477662 |    42304    257 |        0 |        0
1080.04/1080.29	c 1080s |      24 |  8137456 |  4479462 |    42304    257 |        0 |        0
1082.43/1082.62	c 1082s |      24 |  8138728 |  4480562 |    42304    258 |        0 |        0
1084.44/1084.65	c 1084s |      24 |  8140961 |  4482362 |    42304    258 |        0 |        0
1086.93/1087.16	c 1086s |      24 |  8146075 |  4484462 |    42304    258 |        0 |        0
1090.23/1090.40	c 1090s |      24 |  8146266 |  4484562 |    42304    258 |        0 |        0
1092.23/1092.41	c 1092s |      24 |  8182516 |  4506462 |    42304    259 |        0 |        0
1094.23/1094.41	c 1094s |      24 |  8217672 |  4513562 |    42304    259 |        0 |        0
1096.23/1096.42	c 1096s |      24 |  8251658 |  4529062 |    42304    260 |        0 |        0
1098.23/1098.42	c 1098s |      24 |  8272647 |  4545462 |    42304    261 |        0 |        0
1100.22/1100.44	c 1100s |      24 |  8312194 |  4560862 |    42304    261 |        0 |        0
1102.22/1102.45	c 1102s |      24 |  8343903 |  4572462 |    42304    262 |        0 |        0
1104.92/1105.14	c 1104s |      24 |  8409818 |  4591262 |    42304    263 |        0 |        0
1106.92/1107.15	c 1106s |      24 |  8430007 |  4604862 |    42304    263 |        0 |        0
1108.92/1109.16	c 1108s |      24 |  8446790 |  4616662 |    42304    264 |        0 |        0
1110.93/1111.17	c 1110s |      24 |  8465108 |  4630362 |    42304    264 |        0 |        0
1112.92/1113.17	c 1112s |      24 |  8500571 |  4649062 |    42304    265 |        0 |        0
1115.23/1115.47	c 1115s |      24 |  8523978 |  4655862 |    42304    266 |        0 |        0
1117.22/1117.48	c 1117s |      24 |  8560407 |  4672962 |    42304    266 |        0 |        0
1119.32/1119.50	c 1119s |      24 |  8574953 |  4683262 |    42304    267 |        0 |        0
1121.32/1121.51	c 1121s |      24 |  8603925 |  4689262 |    42304    267 |        0 |        0
1123.32/1123.51	c 1123s |      24 |  8631537 |  4707762 |    42304    268 |        0 |        0
1125.32/1125.51	c 1125s |      24 |  8648606 |  4720262 |    42304    269 |        0 |        0
1127.33/1127.53	c 1127s |      24 |  8657769 |  4726662 |    42304    269 |        0 |        0
1129.32/1129.54	c 1129s |      24 |  8666606 |  4732962 |    42304    269 |        0 |        0
1131.32/1131.57	c 1131s |      24 |  8673980 |  4738462 |    42304    269 |        0 |        0
1133.32/1133.57	c 1133s |      24 |  8678790 |  4742362 |    42304    270 |        0 |        0
1135.52/1135.79	c 1135s |      24 |  8692671 |  4748062 |    42304    270 |        0 |        0
1137.52/1137.79	c 1137s |      24 |  8735787 |  4766262 |    42304    271 |        0 |        0
1139.62/1139.80	c 1139s |      24 |  8764362 |  4782562 |    42304    271 |        0 |        0
1141.63/1141.81	c 1141s |      24 |  8778786 |  4792862 |    42304    272 |        0 |        0
1143.62/1143.82	c 1143s |      24 |  8792056 |  4802062 |    42304    272 |        0 |        0
1145.62/1145.82	c 1145s |      24 |  8802758 |  4809362 |    42304    273 |        0 |        0
1147.62/1147.84	c 1147s |      24 |  8805729 |  4811262 |    42304    273 |        0 |        0
1149.62/1149.84	c 1149s |      24 |  8836876 |  4822362 |    42304    273 |        0 |        0
1151.63/1151.85	c 1151s |      24 |  8888116 |  4839762 |    42304    274 |        0 |        0
1155.32/1155.53	c 1155s |      24 |  8918342 |  4851062 |    42304    275 |        0 |        0
1157.32/1157.57	c 1157s |      24 |  8947666 |  4868862 |    42304    275 |        0 |        0
1159.42/1159.63	c 1159s |      24 |  8997489 |  4884662 |    42304    276 |        0 |        0
1161.42/1161.63	c 1161s |      24 |  9018194 |  4900462 |    42304    277 |        0 |        0
1163.42/1163.64	c 1163s |      24 |  9034459 |  4912662 |    42304    277 |        0 |        0
1165.41/1165.67	c 1165s |      24 |  9045215 |  4920362 |    42304    278 |        0 |        0
1167.41/1167.67	c 1167s |      24 |  9070496 |  4931462 |    42304    278 |        0 |        0
1170.01/1170.23	c 1170s |      24 |  9092134 |  4943362 |    42304    279 |        0 |        0
1172.01/1172.24	c 1172s |      24 |  9141986 |  4955062 |    42304    279 |        0 |        0
1174.01/1174.24	c 1174s |      24 |  9189428 |  4969862 |    42304    280 |        0 |        0
1176.01/1176.25	c 1176s |      24 |  9213922 |  4984862 |    42304    281 |        0 |        0
1178.02/1178.26	c 1178s |      24 |  9223391 |  4992262 |    42304    281 |        0 |        0
1180.12/1180.36	c 1180s |      24 |  9252248 |  5001462 |    42304    282 |        0 |        0
1182.11/1182.37	c 1182s |      24 |  9305716 |  5018062 |    42304    282 |        0 |        0
1184.11/1184.38	c 1184s |      24 |  9317438 |  5026262 |    42304    283 |        0 |        0
1186.11/1186.39	c 1186s |      24 |  9329819 |  5034962 |    46535    283 |        0 |        0
1188.21/1188.41	c 1188s |      24 |  9342716 |  5045162 |    46535    283 |        0 |        0
1190.21/1190.43	c 1190s |      24 |  9355211 |  5054662 |    46535    284 |        0 |        0
1192.22/1192.44	c 1192s |      24 |  9365437 |  5062862 |    46535    284 |        0 |        0
1192.81/1193.04	c 1192s |      25 |  9386269 |  5065098 |    46535    284 |        0 |        0
1194.81/1195.07	c 1194s |      25 |  9398245 |  5071798 |    46535    285 |        0 |        0
1196.81/1197.09	c 1196s |      25 |  9416769 |  5083898 |    46535    285 |        0 |        0
1198.81/1199.10	c 1198s |      25 |  9429131 |  5093698 |    46535    285 |        0 |        0
1200.90/1201.10	c 1200s |      25 |  9438013 |  5100098 |    46535    286 |        0 |        0
1202.90/1203.16	c 1202s |      25 |  9457191 |  5111498 |    46535    286 |        0 |        0
1204.90/1205.16	c 1204s |      25 |  9479295 |  5126598 |    46535    287 |        0 |        0
1206.90/1207.16	c 1206s |      25 |  9502997 |  5140798 |    46535    287 |        0 |        0
1208.90/1209.17	c 1208s |      25 |  9526412 |  5153498 |    46535    288 |        0 |        0
1210.91/1211.18	c 1210s |      25 |  9542320 |  5165298 |    46535    288 |        0 |        0
1212.90/1213.18	c 1212s |      25 |  9551195 |  5172098 |    46535    289 |        0 |        0
1215.20/1215.48	c 1215s |      25 |  9588369 |  5188398 |    46535    289 |        0 |        0
1217.89/1218.12	c 1217s |      25 |  9630114 |  5197298 |    46535    290 |        0 |        0
1219.89/1220.13	c 1219s |      25 |  9660196 |  5212098 |    46535    290 |        0 |        0
1221.90/1222.13	c 1221s |      25 |  9677265 |  5224998 |    46535    291 |        0 |        0
1223.89/1224.14	c 1223s |      25 |  9686181 |  5231898 |    46535    291 |        0 |        0
1225.89/1226.15	c 1225s |      25 |  9692886 |  5237098 |    46535    291 |        0 |        0
1227.89/1228.15	c 1227s |      25 |  9700476 |  5242598 |    46535    292 |        0 |        0
1229.89/1230.19	c 1229s |      25 |  9713110 |  5251898 |    46535    292 |        0 |        0
1231.99/1232.20	c 1232s |      25 |  9720637 |  5257298 |    46535    292 |        0 |        0
1233.99/1234.26	c 1234s |      25 |  9725910 |  5261598 |    46535    292 |        0 |        0
1236.19/1236.46	c 1236s |      25 |  9727280 |  5262598 |    46535    293 |        0 |        0
1238.18/1238.47	c 1238s |      25 |  9742445 |  5273998 |    46535    293 |        0 |        0
1240.19/1240.47	c 1240s |      25 |  9764830 |  5286898 |    46535    294 |        0 |        0
1242.19/1242.47	c 1242s |      25 |  9786445 |  5302598 |    46535    294 |        0 |        0
1244.19/1244.48	c 1244s |      25 |  9837075 |  5314798 |    46535    295 |        0 |        0
1246.19/1246.48	c 1246s |      25 |  9893766 |  5327598 |    46535    295 |        0 |        0
1248.18/1248.49	c 1248s |      25 |  9926400 |  5345598 |    46535    296 |        0 |        0
1250.18/1250.50	c 1250s |      25 |  9973626 |  5356598 |    46535    296 |        0 |        0
1252.28/1252.50	c 1252s |      25 |  9994865 |  5367598 |    46535    297 |        0 |        0
1254.28/1254.50	c 1254s |      25 | 10013937 |  5381098 |    46535    298 |        0 |        0
1256.28/1256.53	c 1256s |      25 | 10080447 |  5394298 |    46535    298 |        0 |        0
1258.28/1258.53	c 1258s |      25 | 10104980 |  5411498 |    46535    299 |        0 |        0
1260.27/1260.55	c 1260s |      25 | 10136808 |  5427298 |    46535    300 |        0 |        0
1262.27/1262.56	c 1262s |      25 | 10156297 |  5439598 |    46535    300 |        0 |        0
1264.27/1264.58	c 1264s |      25 | 10172958 |  5450398 |    46535    300 |        0 |        0
1266.37/1266.61	c 1266s |      25 | 10181438 |  5456098 |    46535    301 |        0 |        0
1268.37/1268.63	c 1268s |      25 | 10190293 |  5461898 |    46535    301 |        0 |        0
1270.38/1270.65	c 1270s |      25 | 10201226 |  5468698 |    46535    301 |        0 |        0
1272.37/1272.70	c 1272s |      25 | 10209638 |  5474098 |    46535    302 |        0 |        0
1274.47/1274.73	c 1274s |      25 | 10221150 |  5481898 |    46535    302 |        0 |        0
1276.47/1276.76	c 1276s |      25 | 10232727 |  5489498 |    46535    302 |        0 |        0
1278.56/1278.82	c 1278s |      25 | 10245107 |  5498198 |    46535    303 |        0 |        0
1280.56/1280.89	c 1280s |      25 | 10273073 |  5510998 |    46535    303 |        0 |        0
1282.67/1282.91	c 1282s |      25 | 10306671 |  5520798 |    46535    304 |        0 |        0
1284.68/1284.93	c 1284s |      25 | 10322655 |  5532398 |    46535    304 |        0 |        0
1286.67/1286.94	c 1286s |      25 | 10331962 |  5539098 |    46535    304 |        0 |        0
1288.77/1289.02	c 1288s |      25 | 10337940 |  5544198 |    46535    305 |        0 |        0
1290.77/1291.05	c 1290s |      25 | 10342632 |  5548398 |    46535    305 |        0 |        0
1292.77/1293.07	c 1292s |      25 | 10351184 |  5554498 |    46535    305 |        0 |        0
1294.97/1295.21	c 1295s |      25 | 10369557 |  5561198 |    46535    305 |        0 |        0
1297.07/1297.37	c 1297s |      25 | 10378751 |  5568298 |    46535    306 |        0 |        0
1299.06/1299.37	c 1299s |      25 | 10388155 |  5575498 |    46535    306 |        0 |        0
1301.07/1301.38	c 1301s |      25 | 10397817 |  5583398 |    46535    306 |        0 |        0
1303.06/1303.39	c 1303s |      25 | 10406375 |  5589898 |    46535    306 |        0 |        0
1305.26/1305.53	c 1305s |      25 | 10431782 |  5594298 |    46535    307 |        0 |        0
1307.26/1307.54	c 1307s |      25 | 10484673 |  5611598 |    46535    307 |        0 |        0
1309.26/1309.55	c 1309s |      25 | 10519669 |  5624498 |    46535    308 |        0 |        0
1311.26/1311.56	c 1311s |      25 | 10535102 |  5635598 |    46535    308 |        0 |        0
1313.26/1313.56	c 1313s |      25 | 10552433 |  5648598 |    46535    309 |        0 |        0
1315.26/1315.57	c 1315s |      25 | 10594034 |  5666098 |    46535    310 |        0 |        0
1317.25/1317.58	c 1317s |      25 | 10608355 |  5677298 |    46535    310 |        0 |        0
1319.35/1319.60	c 1319s |      25 | 10619306 |  5685598 |    46535    310 |        0 |        0
1321.35/1321.61	c 1321s |      25 | 10634590 |  5693798 |    46535    311 |        0 |        0
1323.45/1323.75	c 1323s |      25 | 10668012 |  5709998 |    46535    312 |        0 |        0
1325.45/1325.76	c 1325s |      25 | 10692701 |  5726798 |    46535    312 |        0 |        0
1327.46/1327.76	c 1327s |      25 | 10717389 |  5741598 |    46535    313 |        0 |        0
1329.56/1329.88	c 1329s |      25 | 10734173 |  5742798 |    46535    313 |        0 |        0
1331.65/1331.90	c 1331s |      25 | 10748402 |  5752298 |    46535    313 |        0 |        0
1333.65/1333.90	c 1333s |      25 | 10757528 |  5759098 |    46535    314 |        0 |        0
1335.65/1335.92	c 1335s |      25 | 10764268 |  5764298 |    46535    314 |        0 |        0
1337.65/1337.94	c 1337s |      25 | 10773427 |  5770898 |    46535    314 |        0 |        0
1339.65/1339.96	c 1339s |      25 | 10786747 |  5779398 |    46535    314 |        0 |        0
1341.65/1341.97	c 1341s |      25 | 10798796 |  5788498 |    46535    315 |        0 |        0
1343.64/1343.98	c 1343s |      25 | 10819715 |  5801298 |    46535    315 |        0 |        0
1345.64/1345.98	c 1345s |      25 | 10848351 |  5817298 |    46535    316 |        0 |        0
1347.64/1347.99	c 1347s |      25 | 10861760 |  5826798 |    46535    316 |        0 |        0
1349.74/1350.00	c 1349s |      25 | 10876710 |  5836898 |    46535    317 |        0 |        0
1351.74/1352.00	c 1351s |      25 | 10894444 |  5849798 |    46535    317 |        0 |        0
1353.74/1354.04	c 1353s |      25 | 10912039 |  5854798 |    46535    318 |        0 |        0
1355.74/1356.08	c 1355s |      25 | 10949991 |  5867998 |    46535    318 |        0 |        0
1357.84/1358.14	c 1357s |      25 | 10962817 |  5876798 |    46535    319 |        0 |        0
1359.84/1360.18	c 1359s |      25 | 10972822 |  5884498 |    46535    319 |        0 |        0
1361.84/1362.19	c 1362s |      25 | 10981109 |  5890598 |    46535    319 |        0 |        0
1363.94/1364.20	c 1364s |      25 | 10988546 |  5895898 |    46535    319 |        0 |        0
1365.95/1366.23	c 1366s |      25 | 10995515 |  5901498 |    46535    320 |        0 |        0
1367.94/1368.26	c 1368s |      25 | 11006581 |  5909798 |    46535    320 |        0 |        0
1370.34/1370.66	c 1370s |      25 | 11021089 |  5919798 |    46535    320 |        0 |        0
1372.33/1372.68	c 1372s |      25 | 11032171 |  5928098 |    46535    321 |        0 |        0
1374.33/1374.69	c 1374s |      25 | 11047197 |  5939098 |    46535    321 |        0 |        0
1376.53/1376.81	c 1376s |      25 | 11079466 |  5949998 |    46535    322 |        0 |        0
1378.53/1378.81	c 1378s |      25 | 11107994 |  5968198 |    46535    322 |        0 |        0
1380.53/1380.82	c 1380s |      25 | 11137458 |  5985198 |    46535    323 |        0 |        0
1382.53/1382.83	c 1382s |      25 | 11174620 |  5998598 |    46535    324 |        0 |        0
1384.53/1384.90	c 1384s |      25 | 11204406 |  6019098 |    46535    325 |        0 |        0
1386.63/1386.96	c 1386s |      25 | 11232135 |  6032898 |    46535    325 |        0 |        0
1388.63/1388.98	c 1388s |      25 | 11250467 |  6046498 |    46535    326 |        0 |        0
1390.63/1390.98	c 1390s |      25 | 11270447 |  6054998 |    46535    326 |        0 |        0
1392.73/1393.00	c 1392s |      25 | 11306379 |  6065098 |    46535    326 |        0 |        0
1394.83/1395.15	c 1394s |      25 | 11327527 |  6080998 |    46535    327 |        0 |        0
1396.84/1397.16	c 1396s |      25 | 11347875 |  6091698 |    46535    328 |        0 |        0
1398.83/1399.18	c 1398s |      25 | 11359601 |  6100098 |    46535    328 |        0 |        0
1400.93/1401.20	c 1401s |      25 | 11367384 |  6105898 |    46535    328 |        0 |        0
1402.92/1403.22	c 1403s |      25 | 11374739 |  6111798 |    46535    328 |        0 |        0
1404.92/1405.26	c 1405s |      25 | 11379246 |  6115398 |    46535    329 |        0 |        0
1407.02/1407.32	c 1407s |      25 | 11385177 |  6119498 |    46535    329 |        0 |        0
1409.02/1409.38	c 1409s |      25 | 11389362 |  6122698 |    46535    329 |        0 |        0
1411.12/1411.45	c 1411s |      25 | 11394518 |  6126198 |    46535    329 |        0 |        0
1413.12/1413.45	c 1413s |      25 | 11403066 |  6132498 |    46535    329 |        0 |        0
1415.11/1415.47	c 1415s |      25 | 11410212 |  6137698 |    46535    330 |        0 |        0
1417.31/1417.61	c 1417s |      25 | 11413099 |  6139698 |    46535    330 |        0 |        0
1419.31/1419.62	c 1419s |      25 | 11419823 |  6144498 |    46535    330 |        0 |        0
1421.31/1421.63	c 1421s |      25 | 11427562 |  6150298 |    46535    330 |        0 |        0
1423.31/1423.67	c 1423s |      25 | 11434222 |  6155698 |    46535    330 |        0 |        0
1425.32/1425.68	c 1425s |      25 | 11439142 |  6159898 |    46535    330 |        0 |        0
1427.41/1427.72	c 1427s |      25 | 11442582 |  6162598 |    46535    331 |        0 |        0
1429.41/1429.72	c 1429s |      25 | 11449636 |  6167998 |    46535    331 |        0 |        0
1431.41/1431.72	c 1431s |      25 | 11456730 |  6173198 |    46535    331 |        0 |        0
1433.41/1433.73	c 1433s |      25 | 11460555 |  6176098 |    46535    331 |        0 |        0
1435.41/1435.76	c 1435s |      25 | 11468569 |  6181998 |    46535    331 |        0 |        0
1440.21/1440.53	c 1440s |      25 | 11471148 |  6183998 |    46535    332 |        0 |        0
1442.21/1442.53	c 1442s |      25 | 11471914 |  6184598 |    46535    332 |        0 |        0
1444.21/1444.55	c 1444s |      25 | 11479843 |  6190398 |    46535    332 |        0 |        0
1446.22/1446.56	c 1446s |      25 | 11485116 |  6194598 |    46535    332 |        0 |        0
1448.21/1448.59	c 1448s |      25 | 11490028 |  6198498 |    46535    332 |        0 |        0
1450.31/1450.62	c 1450s |      25 | 11493516 |  6201498 |    46535    332 |        0 |        0
1452.31/1452.67	c 1452s |      25 | 11499219 |  6205998 |    46535    332 |        0 |        0
1455.81/1456.15	c 1455s |      25 | 11501999 |  6207998 |    46535    333 |        0 |        0
1458.21/1458.54	c 1458s |      25 | 11503856 |  6209398 |    46535    333 |        0 |        0
1460.21/1460.58	c 1460s |      25 | 11510369 |  6214298 |    46535    333 |        0 |        0
1462.21/1462.59	c 1462s |      25 | 11515541 |  6218198 |    46535    333 |        0 |        0
1464.31/1464.62	c 1464s |      25 | 11519682 |  6221498 |    46535    333 |        0 |        0
1466.31/1466.66	c 1466s |      25 | 11523619 |  6224398 |    46535    333 |        0 |        0
1468.32/1468.68	c 1468s |      25 | 11527561 |  6227698 |    46535    333 |        0 |        0
1471.62/1471.98	c 1471s |      25 | 11535773 |  6231998 |    46535    334 |        0 |        0
1474.00/1474.33	c 1474s |      25 | 11558579 |  6238298 |    46535    334 |        0 |        0
1476.60/1476.93	c 1476s |      25 | 11578210 |  6252298 |    46535    334 |        0 |        0
1478.60/1478.95	c 1478s |      25 | 11612668 |  6265298 |    46535    335 |        0 |        0
1480.70/1481.07	c 1480s |      25 | 11633967 |  6280098 |    46535    336 |        0 |        0
1482.70/1483.08	c 1482s |      25 | 11673672 |  6300498 |    46535    336 |        0 |        0
1484.71/1485.08	c 1484s |      25 | 11715530 |  6323298 |    46535    337 |        0 |        0
1486.71/1487.08	c 1486s |      25 | 11748018 |  6340298 |    46535    338 |        0 |        0
1488.70/1489.08	c 1488s |      25 | 11771083 |  6356598 |    46535    339 |        0 |        0
1490.70/1491.08	c 1490s |      25 | 11797134 |  6373098 |    46535    340 |        0 |        0
1492.70/1493.08	c 1492s |      25 | 11816577 |  6385898 |    46535    340 |        0 |        0
1494.80/1495.16	c 1494s |      25 | 11829802 |  6394998 |    46535    341 |        0 |        0
1496.80/1497.16	c 1496s |      25 | 11853518 |  6413398 |    46535    341 |        0 |        0
1498.79/1499.16	c 1498s |      25 | 11898538 |  6424198 |    46535    342 |        0 |        0
1500.79/1501.19	c 1501s |      25 | 11929488 |  6445898 |    46535    343 |        0 |        0
1503.49/1503.89	c 1503s |      25 | 11981109 |  6450398 |    46535    343 |        0 |        0
1505.49/1505.89	c 1505s |      25 | 11999559 |  6460598 |    46535    343 |        0 |        0
1507.48/1507.89	c 1507s |      25 | 12037529 |  6476998 |    46535    344 |        0 |        0
1509.48/1509.89	c 1509s |      25 | 12062556 |  6494398 |    46535    345 |        0 |        0
1511.59/1511.90	c 1511s |      25 | 12110258 |  6506198 |    46535    345 |        0 |        0
1513.59/1513.90	c 1513s |      25 | 12129293 |  6519098 |    46535    346 |        0 |        0
1515.59/1515.91	c 1515s |      25 | 12155094 |  6538798 |    46535    347 |        0 |        0
1517.58/1517.92	c 1517s |      25 | 12182417 |  6559098 |    46535    347 |        0 |        0
1519.58/1519.92	c 1519s |      25 | 12221061 |  6574198 |    46535    348 |        0 |        0
1521.58/1521.93	c 1521s |      25 | 12235113 |  6584598 |    46535    348 |        0 |        0
1523.78/1524.13	c 1523s |      25 | 12255538 |  6592698 |    46535    349 |        0 |        0
1525.78/1526.14	c 1525s |      25 | 12291548 |  6610198 |    46535    350 |        0 |        0
1527.78/1528.14	c 1527s |      25 | 12311812 |  6625098 |    46535    350 |        0 |        0
1529.79/1530.16	c 1529s |      25 | 12326681 |  6637098 |    46535    351 |        0 |        0
1531.78/1532.17	c 1531s |      25 | 12335609 |  6644298 |    46535    351 |        0 |        0
1533.78/1534.17	c 1533s |      25 | 12360906 |  6659098 |    46535    352 |        0 |        0
1535.78/1536.18	c 1535s |      25 | 12392697 |  6673498 |    46535    352 |        0 |        0
1537.78/1538.19	c 1538s |      25 | 12411451 |  6686098 |    46535    353 |        0 |        0
1539.78/1540.19	c 1540s |      25 | 12444781 |  6700898 |    46535    353 |        0 |        0
1541.78/1542.20	c 1542s |      25 | 12463792 |  6714898 |    46535    354 |        0 |        0
1543.87/1544.25	c 1544s |      25 | 12479333 |  6726498 |    46535    355 |        0 |        0
1545.87/1546.27	c 1546s |      25 | 12491543 |  6735198 |    46535    355 |        0 |        0
1547.97/1548.30	c 1548s |      25 | 12499957 |  6741698 |    46535    355 |        0 |        0
1549.97/1550.33	c 1550s |      25 | 12506803 |  6746898 |    46535    355 |        0 |        0
1552.07/1552.40	c 1552s |      25 | 12513239 |  6751698 |    46535    356 |        0 |        0
1554.07/1554.42	c 1554s |      25 | 12518508 |  6755598 |    46535    356 |        0 |        0
1556.07/1556.44	c 1556s |      25 | 12524120 |  6759898 |    46535    356 |        0 |        0
1558.06/1558.47	c 1558s |      25 | 12530087 |  6764698 |    46535    356 |        0 |        0
1560.06/1560.48	c 1560s |      25 | 12535373 |  6768598 |    46535    356 |        0 |        0
1562.17/1562.52	c 1562s |      25 | 12541176 |  6772698 |    46535    356 |        0 |        0
1564.17/1564.52	c 1564s |      25 | 12546975 |  6776598 |    46535    357 |        0 |        0
1566.37/1566.76	c 1566s |      25 | 12550933 |  6779298 |    46535    357 |        0 |        0
1568.46/1568.84	c 1568s |      25 | 12554437 |  6781998 |    46535    357 |        0 |        0
1570.47/1570.84	c 1570s |      25 | 12560465 |  6786598 |    46535    357 |        0 |        0
1572.46/1572.85	c 1572s |      25 | 12566984 |  6791698 |    46535    357 |        0 |        0
1574.46/1574.86	c 1574s |      25 | 12597501 |  6806198 |    46535    358 |        0 |        0
1576.86/1577.28	c 1577s |      25 | 12614213 |  6816998 |    46535    358 |        0 |        0
1578.86/1579.28	c 1579s |      25 | 12637676 |  6832998 |    46535    359 |        0 |        0
1580.96/1581.32	c 1581s |      25 | 12652031 |  6843698 |    46535    360 |        0 |        0
1582.96/1583.36	c 1583s |      25 | 12681885 |  6859598 |    46535    360 |        0 |        0
1584.96/1585.36	c 1585s |      25 | 12697559 |  6869898 |    46535    361 |        0 |        0
1586.96/1587.39	c 1587s |      25 | 12711817 |  6879798 |    46535    361 |        0 |        0
1589.05/1589.40	c 1589s |      25 | 12721359 |  6886498 |    46535    361 |        0 |        0
1591.05/1591.44	c 1591s |      25 | 12729362 |  6891898 |    46535    361 |        0 |        0
1593.05/1593.46	c 1593s |      25 | 12735044 |  6895898 |    46535    362 |        0 |        0
1595.05/1595.48	c 1595s |      25 | 12742012 |  6901098 |    46535    362 |        0 |        0
1597.16/1597.50	c 1597s |      25 | 12747595 |  6904798 |    46535    362 |        0 |        0
1599.16/1599.51	c 1599s |      25 | 12753249 |  6908598 |    46535    362 |        0 |        0
1601.15/1601.53	c 1601s |      25 | 12758166 |  6912198 |    46535    362 |        0 |        0
1603.15/1603.53	c 1603s |      25 | 12762103 |  6915098 |    46535    362 |        0 |        0
1606.25/1606.62	c 1606s |      25 | 12764351 |  6916598 |    46535    363 |        0 |        0
1608.25/1608.63	c 1608s |      25 | 12769823 |  6920598 |    46535    363 |        0 |        0
1610.25/1610.65	c 1610s |      25 | 12774251 |  6923798 |    46535    363 |        0 |        0
1612.35/1612.72	c 1612s |      25 | 12779070 |  6927098 |    46535    363 |        0 |        0
1614.35/1614.72	c 1614s |      25 | 12782391 |  6929698 |    46535    363 |        0 |        0
1616.34/1616.77	c 1616s |      25 | 12787008 |  6932798 |    46535    363 |        0 |        0
1618.34/1618.79	c 1618s |      25 | 12790711 |  6935498 |    46535    363 |        0 |        0
1620.44/1620.88	c 1620s |      25 | 12792789 |  6937098 |    46535    363 |        0 |        0
1622.44/1622.89	c 1622s |      25 | 12795958 |  6939398 |    46535    363 |        0 |        0
1624.94/1625.35	c 1625s |      25 | 12796795 |  6940098 |    46535    364 |        0 |        0
1627.04/1627.48	c 1627s |      25 | 12798714 |  6941598 |    46535    364 |        0 |        0
1629.14/1629.52	c 1629s |      25 | 12803228 |  6944698 |    46535    364 |        0 |        0
1631.14/1631.57	c 1631s |      25 | 12808255 |  6947698 |    46535    364 |        0 |        0
1633.14/1633.57	c 1633s |      25 | 12812632 |  6950698 |    46535    364 |        0 |        0
1635.14/1635.59	c 1635s |      25 | 12816265 |  6953598 |    46535    364 |        0 |        0
1637.24/1637.60	c 1637s |      25 | 12819598 |  6955998 |    46535    364 |        0 |        0
1639.23/1639.65	c 1639s |      25 | 12823679 |  6958798 |    46535    364 |        0 |        0
1641.23/1641.68	c 1641s |      25 | 12827910 |  6961898 |    46535    364 |        0 |        0
1645.43/1645.83	c 1645s |      25 | 12831038 |  6963998 |    46535    365 |        0 |        0
1647.54/1647.91	c 1647s |      25 | 12831347 |  6964198 |    46535    365 |        0 |        0
1649.53/1649.93	c 1649s |      25 | 12837869 |  6968698 |    46535    365 |        0 |        0
1651.53/1651.94	c 1651s |      25 | 12846955 |  6974798 |    46535    365 |        0 |        0
1653.53/1653.94	c 1653s |      25 | 12853849 |  6979598 |    46535    365 |        0 |        0
1655.53/1655.94	c 1655s |      25 | 12859688 |  6983698 |    46535    365 |        0 |        0
1657.53/1657.98	c 1657s |      25 | 12864647 |  6987298 |    46535    365 |        0 |        0
1659.73/1660.10	c 1659s |      25 | 12897977 |  6997598 |    46535    366 |        0 |        0
1661.63/1662.10	c 1661s |      25 | 12909694 |  7005598 |    46535    366 |        0 |        0
1663.73/1664.11	c 1663s |      25 | 12960411 |  7022898 |    46535    367 |        0 |        0
1665.72/1666.11	c 1665s |      25 | 12993247 |  7033598 |    46535    367 |        0 |        0
1667.72/1668.14	c 1667s |      25 | 13006775 |  7044098 |    46535    368 |        0 |        0
1669.72/1670.15	c 1669s |      25 | 13016864 |  7051598 |    46535    368 |        0 |        0
1671.82/1672.23	c 1672s |      25 | 13026615 |  7059098 |    46535    369 |        0 |        0
1673.83/1674.24	c 1674s |      25 | 13035183 |  7065898 |    46535    369 |        0 |        0
1675.82/1676.24	c 1676s |      25 | 13053478 |  7074298 |    46535    369 |        0 |        0
1678.22/1678.68	c 1678s |      25 | 13076742 |  7075698 |    46535    369 |        0 |        0
1680.22/1680.68	c 1680s |      25 | 13096177 |  7086398 |    46535    370 |        0 |        0
1682.22/1682.68	c 1682s |      25 | 13107020 |  7094498 |    46535    370 |        0 |        0
1684.32/1684.71	c 1684s |      25 | 13114443 |  7100198 |    46535    370 |        0 |        0
1686.32/1686.75	c 1686s |      25 | 13121914 |  7105998 |    46535    370 |        0 |        0
1688.31/1688.75	c 1688s |      25 | 13131079 |  7110398 |    46535    371 |        0 |        0
1690.33/1690.75	c 1690s |      25 | 13146033 |  7120998 |    46535    371 |        0 |        0
1692.32/1692.77	c 1692s |      25 | 13157332 |  7129698 |    46535    371 |        0 |        0
1694.32/1694.79	c 1694s |      25 | 13167583 |  7137298 |    46535    372 |        0 |        0
1696.42/1696.82	c 1696s |      25 | 13175841 |  7143398 |    46535    372 |        0 |        0
1698.41/1698.84	c 1698s |      25 | 13201023 |  7148198 |    46535    372 |        0 |        0
1700.41/1700.85	c 1700s |      25 | 13223014 |  7157698 |    46535    373 |        0 |        0
1702.42/1702.85	c 1702s |      25 | 13246687 |  7173898 |    46535    373 |        0 |        0
1704.41/1704.86	c 1704s |      25 | 13263227 |  7185698 |    46535    374 |        0 |        0
1706.41/1706.86	c 1706s |      25 | 13277703 |  7195898 |    46535    374 |        0 |        0
1708.41/1708.86	c 1708s |      25 | 13290684 |  7204998 |    46535    375 |        0 |        0
1710.41/1710.88	c 1710s |      25 | 13303573 |  7214398 |    46535    375 |        0 |        0
1712.71/1713.13	c 1712s |      25 | 13319399 |  7225898 |    46535    376 |        0 |        0
1714.70/1715.15	c 1714s |      25 | 13335901 |  7233298 |    46535    376 |        0 |        0
1716.71/1717.16	c 1716s |      25 | 13353037 |  7245398 |    46535    376 |        0 |        0
1718.91/1719.33	c 1719s |      25 | 13366064 |  7252298 |    46535    377 |        0 |        0
1720.90/1721.39	c 1721s |      25 | 13397226 |  7273698 |    46535    378 |        0 |        0
1723.00/1723.40	c 1723s |      25 | 13441977 |  7288198 |    46535    378 |        0 |        0
1725.00/1725.41	c 1725s |      25 | 13456191 |  7298498 |    46535    379 |        0 |        0
1727.00/1727.41	c 1727s |      25 | 13466595 |  7306098 |    46535    379 |        0 |        0
1728.99/1729.45	c 1729s |      25 | 13476609 |  7313398 |    46535    379 |        0 |        0
1731.00/1731.49	c 1731s |      25 | 13485604 |  7320298 |    46535    380 |        0 |        0
1733.09/1733.50	c 1733s |      25 | 13491523 |  7324498 |    46535    380 |        0 |        0
1735.09/1735.52	c 1735s |      25 | 13505453 |  7334498 |    46535    380 |        0 |        0
1737.19/1737.61	c 1737s |      25 | 13546552 |  7344498 |    46535    381 |        0 |        0
1739.20/1739.63	c 1739s |      25 | 13557710 |  7352698 |    46535    381 |        0 |        0
1741.20/1741.63	c 1741s |      25 | 13588892 |  7361598 |    46535    381 |        0 |        0
1743.20/1743.64	c 1743s |      25 | 13604148 |  7371598 |    46535    382 |        0 |        0
1745.19/1745.70	c 1745s |      25 | 13630629 |  7390498 |    46535    383 |        0 |        0
1747.29/1747.79	c 1747s |      25 | 13664395 |  7404498 |    46535    383 |        0 |        0
1749.40/1749.80	c 1749s |      25 | 13696060 |  7420098 |    46535    384 |        0 |        0
1751.40/1751.81	c 1751s |      25 | 13706587 |  7428598 |    46535    384 |        0 |        0
1753.50/1753.91	c 1753s |      25 | 13718720 |  7437698 |    46535    385 |        0 |        0
1755.50/1755.92	c 1755s |      25 | 13728328 |  7444998 |    46535    385 |        0 |        0
1757.89/1758.36	c 1758s |      25 | 13750856 |  7450098 |    46535    385 |        0 |        0
1759.89/1760.37	c 1760s |      25 | 13774591 |  7464298 |    46535    386 |        0 |        0
1761.90/1762.37	c 1762s |      25 | 13790162 |  7474898 |    46535    386 |        0 |        0
1763.89/1764.37	c 1764s |      25 | 13802981 |  7484698 |    46535    386 |        0 |        0
1765.89/1766.37	c 1766s |      25 | 13819935 |  7493098 |    46535    387 |        0 |        0
1767.89/1768.39	c 1768s |      25 | 13842422 |  7510298 |    46535    388 |        0 |        0
1769.89/1770.39	c 1770s |      25 | 13854324 |  7519298 |    46535    388 |        0 |        0
1772.39/1772.87	c 1772s |      25 | 13889158 |  7532998 |    46535    389 |        0 |        0
1774.38/1774.87	c 1774s |      25 | 13910116 |  7545398 |    51189    389 |        0 |        0
1776.38/1776.88	c 1776s |      25 | 13931178 |  7559298 |    51189    389 |        0 |        0
1778.48/1778.90	c 1778s |      25 | 13956856 |  7567398 |    51189    390 |        0 |        0
1780.39/1780.90	c 1780s |      25 | 13977280 |  7582898 |    51189    390 |        0 |        0
1782.49/1782.95	c 1782s |      25 | 13989036 |  7591198 |    51189    391 |        0 |        0
1784.99/1785.42	c 1785s |      25 | 14002526 |  7594098 |    51189    391 |        0 |        0
1786.98/1787.44	c 1787s |      25 | 14004138 |  7594398 |    51189    391 |        0 |        0
1789.19/1789.70	c 1789s |      25 | 14004884 |  7594898 |    51189    391 |        0 |        0
1789.59/1790.08	c 1789s |      26 | 14009190 |  7597752 |    51189    391 |        0 |        0
1793.48/1793.90	c 1793s |      26 | 14026876 |  7608352 |    51189    391 |        0 |        0
1795.99/1796.44	c 1796s |      26 | 14027584 |  7608752 |    51189    391 |        0 |        0
1797.97/1798.44	c 1798s |      26 | 14051477 |  7621652 |    51189    392 |        0 |        0
1799.97/1800.44	c 1800s |      26 | 14070612 |  7635952 |    51189    392 |        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-4088840-1466016732/watcher-4088840-1466016732 -o /tmp/evaluation-result-4088840-1466016732/solver-4088840-1466016732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088840-1466016732.opb 

pid=6382
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.07 2.08 2.07 4/179 6385
/proc/meminfo: memFree=29686476/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 3723300 715583488 2965 33554432000 4194304 16246674 140736270526544 140736270525968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 175215 2974 441 2943 0 172109 0
[pid=6385/tid=6386] ppid=6382 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 734457856 3038 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 739700736 3056 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3723300 743895040 3072 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10015 s]
/proc/loadavg: 2.07 2.08 2.07 4/179 6385
/proc/meminfo: memFree=29686476/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 28389 0 0 0 6 3 0 0 20 0 4 0 3723300 1249447936 28687 33554432000 4194304 16246674 140736270526544 140736270525856 6760209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 305041 28696 832 2943 0 301935 0
[pid=6385/tid=6386] ppid=6382 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1249447936 28703 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1249447936 28710 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3723300 1249447936 28716 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200483 s]
/proc/loadavg: 2.07 2.08 2.07 4/179 6385
/proc/meminfo: memFree=29686476/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1283652 CPUtime=0.19 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 45297 0 0 0 13 6 0 0 20 0 4 0 3723300 1314459648 45595 33554432000 4194304 16246674 140736270526544 140736270525856 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 320913 45600 854 2943 0 317807 0
[pid=6385/tid=6386] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 45603 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 45607 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 45610 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1283652

[startup+0.300475 s]
/proc/loadavg: 2.07 2.08 2.07 4/179 6385
/proc/meminfo: memFree=29686476/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1283652 CPUtime=0.29 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 58135 0 0 0 22 7 0 0 20 0 4 0 3723300 1314459648 58433 33554432000 4194304 16246674 140736270526544 140736270525856 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 320913 58433 870 2943 0 317807 0
[pid=6385/tid=6386] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 58433 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 58433 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 58433 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1283652

[startup+0.7004 s]
/proc/loadavg: 2.07 2.08 2.07 4/179 6385
/proc/meminfo: memFree=29686476/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1283652 CPUtime=0.69 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 103394 0 0 0 54 15 0 0 20 0 4 0 3723300 1314459648 103692 33554432000 4194304 16246674 140736270526544 140736270509544 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 320913 103701 870 2943 0 317807 0
[pid=6385/tid=6386] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 103708 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 103713 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 103719 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1283652

[startup+1.50034 s]
/proc/loadavg: 2.07 2.08 2.07 4/183 6389
/proc/meminfo: memFree=28980432/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1283652 CPUtime=1.49 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 248025 0 0 0 113 36 0 0 20 0 4 0 3723300 1314459648 248324 33554432000 4194304 16246674 140736270526544 140736270509544 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 320913 248337 876 2943 0 317807 0
[pid=6385/tid=6386] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 248343 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 248346 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1314459648 248351 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1283652

[startup+3.10041 s]
/proc/loadavg: 2.07 2.08 2.07 4/183 6389
/proc/meminfo: memFree=28620088/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 266779 0 0 0 270 39 0 0 20 0 4 0 3723300 1334382592 267077 33554432000 4194304 16246674 140736270526544 140736270509544 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 325777 267077 882 2943 0 322671 0
[pid=6385/tid=6386] ppid=6382 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1334382592 267077 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1334382592 267077 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1334382592 267077 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.3004 s]
/proc/loadavg: 2.06 2.07 2.07 4/183 6389
/proc/meminfo: memFree=28608680/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 269520 0 0 0 590 39 0 0 20 0 4 0 3723300 1344868352 269818 33554432000 4194304 16246674 140736270526544 140736270509544 5824211 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 328337 269818 883 2943 0 325231 0
[pid=6385/tid=6386] ppid=6382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1344868352 269818 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1344868352 269818 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1344868352 269818 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.06 2.07 2.07 4/183 6389
/proc/meminfo: memFree=28598972/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 271568 0 0 0 1229 40 0 0 20 0 4 0 3723300 1353256960 271866 33554432000 4194304 16246674 140736270526544 140736270508416 5672796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 330385 271866 883 2943 0 327279 0
[pid=6385/tid=6386] ppid=6382 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1353256960 271866 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1353256960 271866 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1353256960 271866 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.04 2.07 2.07 4/183 6389
/proc/meminfo: memFree=28592672/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1328708 CPUtime=25.49 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 273360 0 0 0 2509 40 0 0 20 0 4 0 3723300 1360596992 273658 33554432000 4194304 16246674 140736270526544 140736270509544 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 332177 273658 883 2943 0 329071 0
[pid=6385/tid=6386] ppid=6382 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1360596992 273658 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1360596992 273658 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1360596992 273658 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.03 2.06 2.07 4/183 6389
/proc/meminfo: memFree=28470484/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1356356 CPUtime=51.09 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 280272 0 0 0 5067 42 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 140736270508416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 339089 280570 883 2943 0 335983 0
[pid=6385/tid=6386] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1356356

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.06 4/183 6390
/proc/meminfo: memFree=28470532/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1356356 CPUtime=102.28 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 280272 0 0 0 10185 43 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 140736270508416 4222249 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 339089 280570 883 2943 0 335983 0
[pid=6385/tid=6386] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1388908544 280570 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1356356


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

/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1386052

[startup+1362.3 s]
/proc/loadavg: 2.29 2.11 2.05 3/183 6541
/proc/meminfo: memFree=29226112/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1362.04 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287767 0 0 0 136127 77 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270508416 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1386052

[startup+1422.3 s]
/proc/loadavg: 2.15 2.10 2.05 3/183 6542
/proc/meminfo: memFree=29226404/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1422.02 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287785 0 0 0 142124 78 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270508416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1386052

[startup+1482.3 s]
/proc/loadavg: 2.18 2.12 2.06 4/183 6544
/proc/meminfo: memFree=29226456/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1482 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287794 0 0 0 148120 80 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270509544 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1386052

[startup+1542.31 s]
/proc/loadavg: 2.10 2.11 2.06 3/183 6545
/proc/meminfo: memFree=29226584/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1541.98 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287817 0 0 0 154116 82 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270508416 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1386052

[startup+1602.3 s]
/proc/loadavg: 2.15 2.12 2.06 3/183 6595
/proc/meminfo: memFree=29673312/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1601.95 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287853 0 0 0 160111 84 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270509544 5823643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1386052

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.06 4/183 6596
/proc/meminfo: memFree=29247908/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1661.93 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287869 0 0 0 166108 85 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270525640 6057349 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1386052

[startup+1722.3 s]
/proc/loadavg: 2.22 2.14 2.07 3/184 6600
/proc/meminfo: memFree=29243532/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1721.9 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287887 0 0 0 172104 86 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270509544 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1386052

[startup+1782.3 s]
/proc/loadavg: 2.16 2.12 2.07 3/183 6602
/proc/meminfo: memFree=29243192/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1781.89 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287901 0 0 0 178100 89 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270525640 5675719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1386052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.07 3/183 6602
/proc/meminfo: memFree=29243656/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1800.07 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287906 0 0 0 179917 90 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270508416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1386052

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.07 3/183 6602
/proc/meminfo: memFree=29243656/32872528 swapFree=524788/557492
[pid=6385] ppid=6382 vsize=1386052 CPUtime=1800.07 cores=1,3,5,7
/proc/6385/stat : 6385 (toysat) R 6382 6385 5756 0 -1 4202496 287906 0 0 0 179917 90 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 140736270508416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6385/statm: 346513 288252 885 2943 0 343407 0
[pid=6385/tid=6386] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6386/stat : 6386 (toysat) S 6382 6385 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724913093872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6385/tid=6387] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6387/stat : 6387 (toysat) S 6382 6385 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724902604016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6385/tid=6388] ppid=6382 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/6385/task/6388/stat : 6388 (toysat) S 6382 6385 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3723300 1419317248 288252 33554432000 4194304 16246674 140736270526544 139724815592624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1386052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1799.18
CPU system time (s): 0.91686
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 1386052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.91686
maximum resident set size= 1153008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287906
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= 415
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46832 second user time and 7.05993 second system time

The end

Begin job on node106 at 2016-06-15 20:52:12
IDJOB=4088840
IDBENCH=107321
IDSOLVER=2542
FILE ID=node106/4088840-1466016732
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 901149921f7945f9ee6395d2e6971c54
RANDOM SEED=1213958327

node106.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.073
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.14
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.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.073
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.56
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.073
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.073
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.56
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.073
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.38
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.073
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:        29686648 kB
Buffers:           15700 kB
Cached:            74652 kB
SwapCached:         1484 kB
Active:          1893448 kB
Inactive:          22436 kB
Active(anon):    1826840 kB
Inactive(anon):     1192 kB
Active(file):      66608 kB
Inactive(file):    21244 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099840 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:       2381976 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             576584 kB
SReclaimable:      20588 kB
SUnreclaim:       555996 kB
KernelStack:        1480 kB
PageTables:         8916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2524268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 21:22:12