0.00/0.00	c 2016-06-07T03:45:50+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-4078957-1465263950.opb"]
0.00/0.01	c use --random-gen="3021977119 3228508573 121830751 1885228297 1015292119 2265424229 132762651 835573368 3445322520 1849042869 2376512824 432129708 3991805345 541997406 2766974858 331389547 1932786567 398703378 7801815 2188190491 3466965325 4138117341 3709073361 2967343541 2001561505 598792091 2018039172 2987961252 3215080087 2521242423 1873254224 3249707047 3181815651 1966091921 2078948882 3397398066 2673955960 2921624415 710355182 2605980471 2519714491 720708538 1452726778 3422118725 2529519303 3356501620 4177365151 659890723 783607862 3165903790 2711270399 4007117041 2480604591 2742576207 1685926674 488767498 4188721475 2999126179 2743989437 1248328432 481363122 3459671329 1337804117 1254568183 934728222 1802192088 16123068 3211795397 3785382131 3886940465 446719369 3392592611 2018895888 535738147 221277387 2445810453 3352384070 2261640313 3500456029 2057595314 2040457905 1124493865 3842998998 1130619030 1820244218 2358499990 1140414371 4235168322 1466421478 771009230 1383670179 2147096653 2887139251 2712753835 69465999 4211222282 2491153143 3764479722 3846672003 3155609080 3093277209 3158345475 3211844869 1104083056 1861552757 2927203646 3021918786 3017605357 4027049575 4095793367 2587321666 3608782177 2712931140 4137829529 661880337 1797031413 1938273417 2366805662 2187307762 1081177111 3060993398 2100296150 2209287657 2896825289 3369028792 2781495335 2945410448 3911352577 43085764 137520972 1618759587 3386171287 1743984337 3405593933 861388878 4016545289 1080360019 4006956087 1092057750 3481948443 272764757 900883846 2638426450 2069131147 1679854612 2703128718 3882049984 3685697144 1141565292 3691001848 836382339 4120906501 197346121 2882893387 1039687186 72674272 3156201263 4210626512 511808840 3177320225 2124914037 3026924375 3357000288 2521998469 76543515 4075859687 106481877 1254906463 2308902774 1698162454 848105794 3153364083 1097053494 1956344303 1957237467 3548962351 773780817 3235015733 2264895132 611736091 2768940872 152508690 4011974009 3902518325 1792020942 2904784410 1286283295 1126293798 1941561496 2533800434 3083885531 4243928633 479027369 833095953 196140892 959342134 4050096281 2777916654 3261256721 4048562069 2315290254 1779110243 3018004182 1150647262 3880664029 858694207 2628169868 493570372 498263002 3585807778 3985367229 3521999748 4022905053 4176379920 518482202 4212911427 1234255541 3123155757 3419410845 3352135356 1854401513 2156992094 254016085 1202860594 800355047 3545132264 1424015571 1916070638 3533968389 1863654161 1954774332 1624338568 2291641800 3784065989 3069573022 1636702832 550072235 2655528101 1683720696 2716001757 1823886272 714483692 3655841854 4194315360 2413949503 1396721598 3862349815 1028755868 4278185458 3794402701 1310144429 47902603 503738196 1436304118 1732134626 3702244789 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |     2209      0 |        0 |        0
0.08/0.14	c  0.0s |       1 |      237 |      100 |     2209      0 |        0 |        0
0.19/0.20	c  0.1s |       2 |     7266 |      250 |     2430      0 |        0 |        0
0.29/0.32	c  0.2s |       3 |     8850 |      475 |     2673      0 |        0 |        0
0.39/0.44	c  0.3s |       4 |    10682 |      813 |     2941      0 |        0 |        0
0.58/0.67	c  0.6s |       5 |    11374 |     1320 |     3236      0 |        0 |        0
0.98/1.00	c  0.9s |       6 |    12519 |     2081 |     3917      0 |        0 |        0
1.38/1.41	c  1.3s |       7 |    14278 |     3223 |     4309      0 |        0 |        0
1.88/1.99	c  1.9s |       8 |    16749 |     4936 |     4740      1 |        0 |        0
2.88/2.95	c  2.8s |       9 |    20180 |     7506 |     5214      2 |        0 |        0
4.18/4.24	c  4.1s |      10 |    24663 |    11361 |     5736      3 |        0 |        0
6.18/6.25	c  6.1s |      10 |    31148 |    16761 |     5736      5 |        0 |        0
6.28/6.36	c  6.3s |      11 |    31567 |    17144 |     6310      5 |        0 |        0
8.28/8.37	c  8.3s |      11 |    38492 |    22944 |     6310      7 |        0 |        0
9.39/9.45	c  9.4s |      12 |    42003 |    25819 |     6942      7 |        0 |        0
11.39/11.46	c 11.4s |      12 |    47372 |    30419 |     6942      9 |        0 |        0
13.39/13.49	c 13.4s |      12 |    54336 |    36219 |     6942     10 |        0 |        0
14.40/14.44	c 14.3s |      13 |    57198 |    38832 |     7637     11 |        0 |        0
16.39/16.47	c 16.4s |      13 |    62906 |    43532 |     7637     12 |        0 |        0
18.39/18.49	c 18.4s |      13 |    69588 |    49032 |     7637     13 |        0 |        0
20.49/20.51	c 20.4s |      13 |    76307 |    54732 |     7637     15 |        0 |        0
21.79/21.80	c 21.7s |      14 |    80913 |    58352 |     8401     16 |        0 |        0
23.79/23.82	c 23.7s |      14 |    86873 |    63052 |     8401     17 |        0 |        0
25.79/25.86	c 25.8s |      14 |    94081 |    68652 |     8401     18 |        0 |        0
27.88/27.95	c 27.8s |      14 |   101319 |    74452 |     8401     20 |        0 |        0
29.88/29.98	c 29.9s |      14 |   107211 |    79152 |     8401     21 |        0 |        0
31.89/31.99	c 31.9s |      14 |   114003 |    84552 |     8401     22 |        0 |        0
33.09/33.17	c 33.1s |      15 |   117627 |    87632 |     9242     22 |        0 |        0
35.19/35.21	c 35.1s |      15 |   123803 |    92432 |     9242     23 |        0 |        0
37.18/37.21	c 37.1s |      15 |   130504 |    97932 |     9242     25 |        0 |        0
39.18/39.21	c 39.1s |      15 |   137457 |   103532 |     9242     26 |        0 |        0
41.18/41.24	c 41.1s |      15 |   143380 |   107632 |     9242     27 |        0 |        0
43.18/43.27	c 43.2s |      15 |   150214 |   113032 |     9242     28 |        0 |        0
45.18/45.29	c 45.2s |      15 |   156246 |   117732 |     9242     29 |        0 |        0
47.28/47.35	c 47.3s |      15 |   162682 |   122532 |     9242     30 |        0 |        0
49.28/49.37	c 49.3s |      15 |   169610 |   128032 |     9242     31 |        0 |        0
50.58/50.64	c 50.5s |      16 |   173798 |   131552 |    10167     32 |        0 |        0
52.58/52.67	c 52.6s |      16 |   179317 |   135652 |    10167     32 |        0 |        0
54.68/54.70	c 54.6s |      16 |   185670 |   140752 |    10167     33 |        0 |        0
56.68/56.74	c 56.6s |      16 |   192459 |   146052 |    10167     35 |        0 |        0
58.68/58.79	c 58.7s |      16 |   198932 |   151152 |    10167     36 |        0 |        0
60.68/60.79	c 60.7s |      16 |   204892 |   156252 |    10167     37 |        0 |        0
62.69/62.79	c 62.7s |      16 |   211900 |   161752 |    10167     38 |        0 |        0
64.78/64.83	c 64.7s |      16 |   218971 |   166152 |    10167     38 |        0 |        0
66.78/66.84	c 66.7s |      16 |   225762 |   171452 |    10167     39 |        0 |        0
68.78/68.87	c 68.8s |      16 |   233058 |   176752 |    10167     40 |        0 |        0
70.78/70.89	c 70.8s |      16 |   240465 |   181252 |    10167     41 |        0 |        0
72.88/72.93	c 72.8s |      16 |   248705 |   186852 |    10167     42 |        0 |        0
74.88/74.95	c 74.9s |      16 |   256039 |   192052 |    10167     43 |        0 |        0
76.68/76.80	c 76.7s |      17 |   263836 |   197432 |    11184     44 |        0 |        0
78.78/78.81	c 78.7s |      17 |   270549 |   201832 |    11184     45 |        0 |        0
80.77/80.81	c 80.7s |      17 |   276410 |   206632 |    11184     46 |        0 |        0
82.87/82.90	c 82.8s |      17 |   281360 |   210632 |    11184     47 |        0 |        0
84.87/84.93	c 84.8s |      17 |   287041 |   215432 |    11184     48 |        0 |        0
86.88/86.94	c 86.8s |      17 |   294026 |   220532 |    11184     48 |        0 |        0
88.87/88.95	c 88.9s |      17 |   299317 |   224632 |    11184     49 |        0 |        0
90.87/90.96	c 90.9s |      17 |   305075 |   229332 |    11184     50 |        0 |        0
92.87/92.99	c 92.9s |      17 |   312435 |   233332 |    11184     51 |        0 |        0
94.97/95.04	c 94.9s |      17 |   321424 |   237932 |    11184     51 |        0 |        0
96.97/97.05	c 97.0s |      17 |   328939 |   243332 |    11184     52 |        0 |        0
99.08/99.16	c 99.1s |      17 |   336220 |   249232 |    11184     54 |        0 |        0
101.07/101.18	c  101s |      17 |   343471 |   255032 |    11184     55 |        0 |        0
103.17/103.21	c  103s |      17 |   353143 |   261332 |    11184     56 |        0 |        0
105.17/105.23	c  105s |      17 |   362429 |   267332 |    11184     57 |        0 |        0
107.17/107.23	c  107s |      17 |   371238 |   273332 |    11184     58 |        0 |        0
109.17/109.24	c  109s |      17 |   380472 |   279332 |    11184     59 |        0 |        0
111.17/111.25	c  111s |      17 |   389224 |   285232 |    11184     60 |        0 |        0
113.17/113.26	c  113s |      17 |   399685 |   292032 |    11184     61 |        0 |        0
114.48/114.58	c  114s |      18 |   405898 |   296252 |    12303     62 |        0 |        0
116.47/116.58	c  116s |      18 |   413035 |   300552 |    12303     62 |        0 |        0
118.57/118.60	c  118s |      18 |   418866 |   305052 |    12303     63 |        0 |        0
120.57/120.61	c  120s |      18 |   424756 |   309852 |    12303     64 |        0 |        0
122.77/122.90	c  122s |      18 |   429479 |   313752 |    12303     65 |        0 |        0
124.87/124.93	c  124s |      18 |   435967 |   318952 |    12303     65 |        0 |        0
126.87/126.97	c  126s |      18 |   444590 |   322652 |    12303     66 |        0 |        0
128.87/128.97	c  128s |      18 |   453714 |   327152 |    12303     67 |        0 |        0
130.88/130.97	c  130s |      18 |   461995 |   331852 |    12303     67 |        0 |        0
132.87/132.99	c  132s |      18 |   470262 |   336352 |    12303     68 |        0 |        0
134.97/135.01	c  134s |      18 |   478777 |   340552 |    12303     69 |        0 |        0
136.97/137.05	c  136s |      18 |   484569 |   343852 |    12303     69 |        0 |        0
138.97/139.07	c  138s |      18 |   491748 |   347852 |    12303     70 |        0 |        0
141.07/141.11	c  141s |      18 |   499197 |   353252 |    12303     71 |        0 |        0
143.07/143.14	c  143s |      18 |   505928 |   358452 |    12303     72 |        0 |        0
145.07/145.14	c  145s |      18 |   511479 |   363152 |    12303     73 |        0 |        0
147.06/147.14	c  147s |      18 |   518643 |   368552 |    12303     73 |        0 |        0
149.06/149.16	c  149s |      18 |   529160 |   373152 |    12303     74 |        0 |        0
151.16/151.20	c  151s |      18 |   537209 |   377152 |    12303     75 |        0 |        0
153.16/153.24	c  153s |      18 |   543270 |   380952 |    12303     75 |        0 |        0
155.17/155.27	c  155s |      18 |   550131 |   385852 |    12303     76 |        0 |        0
157.16/157.29	c  157s |      18 |   556342 |   391052 |    12303     77 |        0 |        0
159.16/159.29	c  159s |      18 |   565497 |   395752 |    12303     78 |        0 |        0
161.26/161.32	c  161s |      18 |   573528 |   400552 |    12303     79 |        0 |        0
163.26/163.34	c  163s |      18 |   582218 |   406152 |    12303     79 |        0 |        0
165.26/165.37	c  165s |      18 |   590674 |   411452 |    12303     80 |        0 |        0
167.36/167.40	c  167s |      18 |   601134 |   415952 |    12303     81 |        0 |        0
169.37/169.45	c  169s |      18 |   606529 |   419152 |    12303     82 |        0 |        0
171.36/171.49	c  171s |      18 |   617406 |   424252 |    12303     82 |        0 |        0
173.36/173.49	c  173s |      18 |   624134 |   428152 |    12303     83 |        0 |        0
175.46/175.53	c  175s |      18 |   630876 |   431752 |    12303     84 |        0 |        0
177.46/177.58	c  177s |      18 |   636961 |   435352 |    12303     84 |        0 |        0
179.56/179.63	c  179s |      18 |   641605 |   438652 |    12303     85 |        0 |        0
181.56/181.63	c  181s |      18 |   647934 |   442352 |    13534     85 |        0 |        0
182.76/182.84	c  182s |      19 |   651921 |   444482 |    13534     85 |        0 |        0
184.76/184.85	c  184s |      19 |   655450 |   446482 |    13534     86 |        0 |        0
186.76/186.89	c  186s |      19 |   662287 |   450482 |    13534     86 |        0 |        0
188.86/188.91	c  188s |      19 |   667406 |   453682 |    13534     87 |        0 |        0
190.86/190.95	c  190s |      19 |   675300 |   457582 |    13534     87 |        0 |        0
192.85/192.98	c  192s |      19 |   682711 |   461982 |    13534     88 |        0 |        0
194.95/195.01	c  194s |      19 |   688679 |   465582 |    13534     88 |        0 |        0
196.96/197.01	c  196s |      19 |   697110 |   469882 |    13534     89 |        0 |        0
198.95/199.04	c  198s |      19 |   704967 |   473682 |    13534     90 |        0 |        0
200.95/201.07	c  200s |      19 |   712378 |   477782 |    13534     90 |        0 |        0
202.96/203.08	c  202s |      19 |   719909 |   482282 |    13534     91 |        0 |        0
205.06/205.10	c  205s |      19 |   726759 |   486682 |    13534     92 |        0 |        0
207.06/207.15	c  207s |      19 |   736595 |   491782 |    13534     92 |        0 |        0
209.07/209.18	c  209s |      19 |   746379 |   496682 |    13534     93 |        0 |        0
211.06/211.18	c  211s |      19 |   753298 |   501282 |    13534     94 |        0 |        0
213.06/213.19	c  213s |      19 |   760057 |   505682 |    13534     94 |        0 |        0
215.16/215.25	c  215s |      19 |   766864 |   509482 |    13534     95 |        0 |        0
217.16/217.26	c  217s |      19 |   774176 |   513282 |    13534     95 |        0 |        0
219.16/219.29	c  219s |      19 |   782918 |   517982 |    13534     96 |        0 |        0
221.26/221.31	c  221s |      19 |   790313 |   522282 |    13534     97 |        0 |        0
223.27/223.31	c  223s |      19 |   797289 |   526482 |    13534     97 |        0 |        0
225.26/225.31	c  225s |      19 |   804075 |   530482 |    13534     98 |        0 |        0
227.26/227.34	c  227s |      19 |   812648 |   535882 |    13534     99 |        0 |        0
229.26/229.35	c  229s |      19 |   820194 |   539582 |    13534     99 |        0 |        0
231.26/231.39	c  231s |      19 |   826129 |   543082 |    13534    100 |        0 |        0
233.36/233.41	c  233s |      19 |   833950 |   547582 |    13534    100 |        0 |        0
235.36/235.44	c  235s |      19 |   839709 |   551682 |    13534    101 |        0 |        0
237.35/237.47	c  237s |      19 |   848082 |   556782 |    13534    102 |        0 |        0
239.35/239.50	c  239s |      19 |   855200 |   560582 |    13534    102 |        0 |        0
241.45/241.54	c  241s |      19 |   865866 |   565982 |    13534    103 |        0 |        0
243.45/243.58	c  243s |      19 |   874089 |   570482 |    13534    104 |        0 |        0
245.55/245.61	c  245s |      19 |   880839 |   574782 |    13534    104 |        0 |        0
247.56/247.64	c  247s |      19 |   888127 |   578882 |    13534    105 |        0 |        0
249.76/249.89	c  249s |      19 |   896666 |   582982 |    13534    106 |        0 |        0
251.86/251.92	c  251s |      19 |   905199 |   588082 |    13534    106 |        0 |        0
253.85/253.98	c  253s |      19 |   915245 |   594082 |    13534    107 |        0 |        0
255.85/255.99	c  255s |      19 |   923384 |   599582 |    13534    108 |        0 |        0
257.95/258.01	c  257s |      19 |   932896 |   605282 |    13534    109 |        0 |        0
259.95/260.03	c  259s |      19 |   941259 |   610482 |    13534    110 |        0 |        0
261.95/262.03	c  261s |      19 |   949244 |   615382 |    13534    110 |        0 |        0
263.95/264.05	c  263s |      19 |   957424 |   620482 |    13534    111 |        0 |        0
265.95/266.07	c  265s |      19 |   965748 |   625382 |    13534    112 |        0 |        0
267.95/268.08	c  267s |      19 |   974166 |   630282 |    13534    113 |        0 |        0
270.05/270.11	c  270s |      19 |   982032 |   635382 |    13534    113 |        0 |        0
272.04/272.12	c  272s |      19 |   989205 |   639582 |    13534    114 |        0 |        0
274.04/274.16	c  274s |      19 |   996452 |   644282 |    13534    115 |        0 |        0
276.05/276.18	c  276s |      19 |  1003520 |   648982 |    13534    115 |        0 |        0
278.04/278.19	c  278s |      19 |  1010284 |   652982 |    13534    116 |        0 |        0
280.14/280.21	c  280s |      19 |  1017836 |   658082 |    13534    117 |        0 |        0
282.14/282.24	c  282s |      19 |  1026554 |   662782 |    14888    117 |        0 |        0
283.94/284.06	c  283s |      20 |  1033776 |   666827 |    14888    118 |        0 |        0
285.95/286.09	c  285s |      20 |  1041077 |   671227 |    14888    118 |        0 |        0
288.04/288.12	c  288s |      20 |  1045238 |   674227 |    14888    119 |        0 |        0
290.04/290.18	c  290s |      20 |  1053066 |   679027 |    14888    119 |        0 |        0
292.14/292.23	c  292s |      20 |  1058708 |   682427 |    14888    120 |        0 |        0
294.14/294.23	c  294s |      20 |  1065806 |   686827 |    14888    120 |        0 |        0
296.13/296.23	c  296s |      20 |  1072329 |   691027 |    14888    121 |        0 |        0
298.14/298.23	c  298s |      20 |  1078510 |   695227 |    14888    121 |        0 |        0
300.13/300.25	c  300s |      20 |  1085074 |   699627 |    14888    122 |        0 |        0
302.13/302.29	c  302s |      20 |  1092298 |   703827 |    14888    123 |        0 |        0
304.23/304.32	c  304s |      20 |  1099419 |   708727 |    14888    123 |        0 |        0
306.24/306.33	c  306s |      20 |  1106439 |   713427 |    14888    124 |        0 |        0
308.24/308.34	c  308s |      20 |  1114115 |   718427 |    14888    125 |        0 |        0
310.24/310.36	c  310s |      20 |  1123366 |   723627 |    14888    125 |        0 |        0
312.24/312.37	c  312s |      20 |  1130220 |   727827 |    14888    126 |        0 |        0
314.24/314.38	c  314s |      20 |  1137408 |   732427 |    14888    126 |        0 |        0
316.34/316.41	c  316s |      20 |  1145612 |   737127 |    14888    127 |        0 |        0
318.34/318.41	c  318s |      20 |  1151771 |   740827 |    14888    128 |        0 |        0
320.33/320.43	c  320s |      20 |  1159196 |   745727 |    14888    128 |        0 |        0
322.34/322.50	c  322s |      20 |  1165157 |   749827 |    14888    129 |        0 |        0
324.44/324.51	c  324s |      20 |  1172321 |   754427 |    14888    129 |        0 |        0
326.43/326.52	c  326s |      20 |  1178998 |   758327 |    14888    130 |        0 |        0
328.53/328.63	c  328s |      20 |  1187355 |   763027 |    14888    131 |        0 |        0
330.53/330.67	c  330s |      20 |  1194845 |   767727 |    14888    131 |        0 |        0
332.53/332.69	c  332s |      20 |  1201358 |   772627 |    14888    132 |        0 |        0
334.63/334.71	c  334s |      20 |  1207864 |   777127 |    14888    132 |        0 |        0
336.64/336.75	c  336s |      20 |  1216017 |   782227 |    14888    133 |        0 |        0
338.63/338.78	c  338s |      20 |  1224065 |   787227 |    14888    134 |        0 |        0
340.72/340.80	c  340s |      20 |  1233355 |   792427 |    14888    134 |        0 |        0
342.72/342.83	c  342s |      20 |  1240622 |   796927 |    14888    135 |        0 |        0
344.72/344.88	c  344s |      20 |  1246873 |   800627 |    14888    136 |        0 |        0
346.82/346.90	c  346s |      20 |  1255369 |   805227 |    14888    136 |        0 |        0
348.82/348.92	c  348s |      20 |  1262380 |   809227 |    14888    137 |        0 |        0
350.83/350.94	c  350s |      20 |  1269772 |   813527 |    14888    137 |        0 |        0
352.82/352.94	c  352s |      20 |  1276362 |   817827 |    14888    138 |        0 |        0
354.82/354.97	c  354s |      20 |  1284978 |   822327 |    14888    138 |        0 |        0
356.92/357.01	c  356s |      20 |  1292254 |   826627 |    14888    139 |        0 |        0
358.92/359.08	c  358s |      20 |  1299429 |   830627 |    14888    140 |        0 |        0
361.02/361.11	c  361s |      20 |  1307401 |   835527 |    14888    140 |        0 |        0
363.02/363.11	c  363s |      20 |  1314142 |   840327 |    14888    141 |        0 |        0
365.01/365.15	c  365s |      20 |  1322032 |   844827 |    14888    141 |        0 |        0
367.01/367.19	c  367s |      20 |  1329186 |   849327 |    14888    142 |        0 |        0
369.11/369.21	c  369s |      20 |  1336528 |   853027 |    14888    142 |        0 |        0
371.11/371.22	c  371s |      20 |  1342861 |   857227 |    14888    143 |        0 |        0
373.11/373.25	c  373s |      20 |  1349085 |   861227 |    14888    144 |        0 |        0
375.21/375.30	c  375s |      20 |  1356504 |   865827 |    14888    144 |        0 |        0
377.22/377.31	c  377s |      20 |  1362079 |   869527 |    14888    145 |        0 |        0
379.20/379.33	c  379s |      20 |  1369129 |   874427 |    14888    145 |        0 |        0
381.20/381.34	c  381s |      20 |  1375559 |   879027 |    14888    146 |        0 |        0
383.20/383.36	c  383s |      20 |  1382088 |   883527 |    14888    147 |        0 |        0
385.20/385.38	c  385s |      20 |  1389638 |   888927 |    14888    147 |        0 |        0
387.30/387.40	c  387s |      20 |  1396209 |   893027 |    14888    148 |        0 |        0
389.30/389.44	c  389s |      20 |  1402580 |   897627 |    14888    148 |        0 |        0
391.30/391.47	c  391s |      20 |  1408706 |   901627 |    14888    149 |        0 |        0
393.40/393.50	c  393s |      20 |  1415160 |   906227 |    14888    150 |        0 |        0
395.39/395.51	c  395s |      20 |  1422618 |   910927 |    14888    150 |        0 |        0
397.39/397.54	c  397s |      20 |  1429647 |   915827 |    14888    151 |        0 |        0
399.39/399.54	c  399s |      20 |  1436754 |   921127 |    14888    152 |        0 |        0
401.40/401.56	c  401s |      20 |  1445424 |   926127 |    14888    152 |        0 |        0
403.39/403.58	c  403s |      20 |  1452340 |   930327 |    14888    153 |        0 |        0
405.39/405.59	c  405s |      20 |  1459544 |   934927 |    14888    153 |        0 |        0
407.49/407.60	c  407s |      20 |  1464840 |   938127 |    14888    154 |        0 |        0
409.48/409.65	c  409s |      20 |  1471245 |   941627 |    14888    154 |        0 |        0
411.48/411.67	c  411s |      20 |  1475972 |   944527 |    14888    155 |        0 |        0
413.49/413.69	c  413s |      20 |  1482662 |   948327 |    14888    155 |        0 |        0
415.79/415.93	c  415s |      20 |  1488676 |   951827 |    14888    156 |        0 |        0
417.78/417.94	c  417s |      20 |  1495136 |   955827 |    14888    156 |        0 |        0
419.78/419.94	c  419s |      20 |  1502570 |   958827 |    14888    157 |        0 |        0
421.79/421.99	c  421s |      20 |  1509500 |   962727 |    14888    157 |        0 |        0
423.89/424.07	c  423s |      20 |  1514696 |   966027 |    14888    158 |        0 |        0
425.98/426.10	c  425s |      20 |  1520512 |   969127 |    14888    158 |        0 |        0
427.98/428.12	c  428s |      20 |  1526775 |   972427 |    14888    158 |        0 |        0
429.99/430.16	c  430s |      20 |  1534655 |   977727 |    14888    159 |        0 |        0
433.18/433.32	c  433s |      20 |  1540470 |   981427 |    14888    160 |        0 |        0
435.18/435.33	c  435s |      20 |  1551581 |   985927 |    14888    160 |        0 |        0
437.18/437.38	c  437s |      20 |  1557279 |   989327 |    14888    161 |        0 |        0
439.28/439.43	c  439s |      20 |  1563000 |   992827 |    14888    161 |        0 |        0
441.28/441.46	c  441s |      20 |  1567358 |   995927 |    16377    161 |        0 |        0
443.28/443.47	c  443s |      20 |  1570781 |   998427 |    16377    162 |        0 |        0
444.28/444.42	c  444s |      21 |  1573237 |  1000345 |    16377    162 |        0 |        0
446.28/446.43	c  446s |      21 |  1592026 |  1004345 |    16377    162 |        0 |        0
448.27/448.44	c  448s |      21 |  1597641 |  1007845 |    16377    163 |        0 |        0
450.27/450.46	c  450s |      21 |  1604437 |  1012645 |    16377    163 |        0 |        0
452.37/452.51	c  452s |      21 |  1612803 |  1016645 |    16377    164 |        0 |        0
454.37/454.52	c  454s |      21 |  1620786 |  1020645 |    16377    164 |        0 |        0
456.38/456.55	c  456s |      21 |  1626067 |  1023945 |    16377    165 |        0 |        0
458.37/458.55	c  458s |      21 |  1634650 |  1027945 |    16377    165 |        0 |        0
460.37/460.57	c  460s |      21 |  1639840 |  1030745 |    16377    166 |        0 |        0
462.47/462.62	c  462s |      21 |  1650288 |  1035445 |    16377    166 |        0 |        0
464.47/464.63	c  464s |      21 |  1659894 |  1039445 |    16377    167 |        0 |        0
466.47/466.69	c  466s |      21 |  1668519 |  1043045 |    16377    167 |        0 |        0
468.57/468.71	c  468s |      21 |  1675213 |  1046545 |    16377    167 |        0 |        0
470.56/470.76	c  470s |      21 |  1684088 |  1050145 |    16377    168 |        0 |        0
472.56/472.77	c  472s |      21 |  1695582 |  1054045 |    16377    168 |        0 |        0
474.66/474.80	c  474s |      21 |  1701295 |  1057245 |    16377    169 |        0 |        0
476.66/476.83	c  476s |      21 |  1710751 |  1061345 |    16377    169 |        0 |        0
479.27/479.40	c  479s |      21 |  1714420 |  1064045 |    16377    170 |        0 |        0
481.27/481.41	c  481s |      21 |  1720180 |  1067745 |    16377    170 |        0 |        0
483.27/483.44	c  483s |      21 |  1727113 |  1071445 |    16377    170 |        0 |        0
485.37/485.50	c  485s |      21 |  1732996 |  1074845 |    16377    171 |        0 |        0
487.37/487.54	c  487s |      21 |  1737699 |  1078045 |    16377    171 |        0 |        0
489.47/489.61	c  489s |      21 |  1745870 |  1081145 |    16377    172 |        0 |        0
491.46/491.64	c  491s |      21 |  1751356 |  1084245 |    16377    172 |        0 |        0
493.46/493.68	c  493s |      21 |  1756055 |  1087145 |    16377    172 |        0 |        0
495.76/495.92	c  495s |      21 |  1758390 |  1089045 |    16377    173 |        0 |        0
497.76/497.93	c  497s |      21 |  1761939 |  1092045 |    16377    173 |        0 |        0
499.76/499.97	c  499s |      21 |  1765871 |  1094945 |    16377    173 |        0 |        0
501.76/501.98	c  501s |      21 |  1771588 |  1099645 |    16377    174 |        0 |        0
503.86/504.04	c  503s |      21 |  1776993 |  1103445 |    16377    174 |        0 |        0
505.86/506.05	c  505s |      21 |  1782049 |  1107045 |    16377    175 |        0 |        0
507.85/508.05	c  507s |      21 |  1788131 |  1111145 |    16377    175 |        0 |        0
510.26/510.40	c  510s |      21 |  1793311 |  1114745 |    16377    176 |        0 |        0
512.26/512.45	c  512s |      21 |  1801513 |  1120045 |    16377    176 |        0 |        0
514.25/514.47	c  514s |      21 |  1808550 |  1124345 |    16377    177 |        0 |        0
516.25/516.49	c  516s |      21 |  1816175 |  1128845 |    16377    177 |        0 |        0
518.35/518.50	c  518s |      21 |  1824056 |  1133345 |    16377    178 |        0 |        0
520.35/520.52	c  520s |      21 |  1832174 |  1138645 |    16377    179 |        0 |        0
522.36/522.52	c  522s |      21 |  1841171 |  1144545 |    16377    179 |        0 |        0
524.35/524.54	c  524s |      21 |  1848799 |  1149645 |    16377    180 |        0 |        0
526.45/526.69	c  526s |      21 |  1855380 |  1154345 |    16377    181 |        0 |        0
528.55/528.71	c  528s |      21 |  1862442 |  1159245 |    16377    181 |        0 |        0
530.54/530.73	c  530s |      21 |  1868148 |  1163245 |    16377    182 |        0 |        0
532.54/532.77	c  532s |      21 |  1875266 |  1167945 |    16377    182 |        0 |        0
534.64/534.80	c  534s |      21 |  1882067 |  1172345 |    16377    183 |        0 |        0
536.65/536.82	c  536s |      21 |  1888462 |  1176645 |    16377    183 |        0 |        0
538.64/538.85	c  538s |      21 |  1895443 |  1180945 |    16377    184 |        0 |        0
540.73/540.90	c  540s |      21 |  1901968 |  1185345 |    16377    184 |        0 |        0
542.74/542.92	c  542s |      21 |  1909930 |  1190045 |    16377    185 |        0 |        0
544.74/544.94	c  544s |      21 |  1917898 |  1195045 |    16377    185 |        0 |        0
546.74/546.97	c  546s |      21 |  1925513 |  1199845 |    16377    186 |        0 |        0
548.94/549.10	c  548s |      21 |  1931342 |  1203845 |    16377    187 |        0 |        0
550.94/551.11	c  551s |      21 |  1939165 |  1208745 |    16377    187 |        0 |        0
553.04/553.20	c  553s |      21 |  1945429 |  1212645 |    16377    188 |        0 |        0
555.03/555.22	c  555s |      21 |  1952598 |  1218045 |    16377    188 |        0 |        0
557.03/557.25	c  557s |      21 |  1959816 |  1223645 |    16377    189 |        0 |        0
559.13/559.32	c  559s |      21 |  1966788 |  1228545 |    16377    190 |        0 |        0
561.13/561.36	c  561s |      21 |  1973918 |  1233845 |    16377    190 |        0 |        0
563.43/563.69	c  563s |      21 |  1979795 |  1238045 |    16377    191 |        0 |        0
565.53/565.70	c  565s |      21 |  1987572 |  1243445 |    16377    191 |        0 |        0
567.53/567.73	c  567s |      21 |  1993358 |  1247545 |    16377    192 |        0 |        0
569.52/569.75	c  569s |      21 |  1999881 |  1252545 |    16377    192 |        0 |        0
571.83/572.07	c  571s |      21 |  2005631 |  1256545 |    16377    193 |        0 |        0
573.82/574.09	c  573s |      21 |  2012748 |  1261745 |    16377    194 |        0 |        0
575.92/576.10	c  576s |      21 |  2020339 |  1266945 |    16377    194 |        0 |        0
577.92/578.13	c  578s |      21 |  2025581 |  1270945 |    16377    195 |        0 |        0
579.91/580.15	c  580s |      21 |  2033565 |  1276245 |    16377    195 |        0 |        0
581.91/582.17	c  582s |      21 |  2040499 |  1280945 |    16377    196 |        0 |        0
583.92/584.19	c  584s |      21 |  2046843 |  1285545 |    16377    196 |        0 |        0
585.91/586.19	c  586s |      21 |  2052391 |  1289045 |    16377    197 |        0 |        0
588.01/588.23	c  588s |      21 |  2059423 |  1293845 |    16377    197 |        0 |        0
590.01/590.27	c  590s |      21 |  2065133 |  1298045 |    16377    198 |        0 |        0
592.01/592.29	c  592s |      21 |  2070988 |  1302045 |    16377    198 |        0 |        0
594.11/594.32	c  594s |      21 |  2076004 |  1305645 |    16377    199 |        0 |        0
596.12/596.33	c  596s |      21 |  2082439 |  1310745 |    16377    199 |        0 |        0
598.11/598.35	c  598s |      21 |  2089295 |  1315745 |    16377    200 |        0 |        0
600.10/600.36	c  600s |      21 |  2095674 |  1319745 |    16377    201 |        0 |        0
602.10/602.37	c  602s |      21 |  2101891 |  1323845 |    16377    201 |        0 |        0
604.20/604.41	c  604s |      21 |  2106920 |  1327645 |    16377    202 |        0 |        0
606.20/606.42	c  606s |      21 |  2114427 |  1331845 |    16377    202 |        0 |        0
608.21/608.45	c  608s |      21 |  2121763 |  1336245 |    16377    203 |        0 |        0
610.20/610.49	c  610s |      21 |  2128752 |  1341345 |    16377    203 |        0 |        0
612.29/612.53	c  612s |      21 |  2134777 |  1345645 |    16377    204 |        0 |        0
614.29/614.56	c  614s |      21 |  2140730 |  1349845 |    16377    204 |        0 |        0
616.29/616.59	c  616s |      21 |  2147552 |  1354445 |    16377    205 |        0 |        0
618.29/618.60	c  618s |      21 |  2155945 |  1359545 |    16377    205 |        0 |        0
620.39/620.62	c  620s |      21 |  2162276 |  1363545 |    16377    206 |        0 |        0
622.39/622.65	c  622s |      21 |  2169724 |  1368745 |    16377    206 |        0 |        0
624.39/624.66	c  624s |      21 |  2175724 |  1373145 |    16377    207 |        0 |        0
626.49/626.74	c  626s |      21 |  2181361 |  1377145 |    16377    208 |        0 |        0
628.49/628.79	c  628s |      21 |  2188317 |  1382445 |    16377    208 |        0 |        0
630.59/630.80	c  630s |      21 |  2194065 |  1386345 |    16377    209 |        0 |        0
632.59/632.82	c  632s |      21 |  2199869 |  1390545 |    16377    209 |        0 |        0
634.60/634.84	c  634s |      21 |  2204729 |  1393645 |    16377    210 |        0 |        0
636.59/636.84	c  636s |      21 |  2212471 |  1398545 |    16377    210 |        0 |        0
638.59/638.87	c  638s |      21 |  2219065 |  1403145 |    16377    211 |        0 |        0
640.58/640.89	c  640s |      21 |  2226338 |  1407845 |    16377    211 |        0 |        0
642.68/642.91	c  642s |      21 |  2231970 |  1411645 |    16377    212 |        0 |        0
644.68/644.91	c  644s |      21 |  2239504 |  1416645 |    16377    212 |        0 |        0
646.69/646.93	c  646s |      21 |  2245767 |  1421145 |    16377    213 |        0 |        0
648.68/648.98	c  648s |      21 |  2251529 |  1425345 |    16377    213 |        0 |        0
650.68/650.98	c  650s |      21 |  2257704 |  1429645 |    16377    214 |        0 |        0
652.68/652.99	c  652s |      21 |  2263711 |  1433945 |    16377    214 |        0 |        0
654.68/654.99	c  654s |      21 |  2269366 |  1438045 |    16377    215 |        0 |        0
656.78/657.03	c  656s |      21 |  2275994 |  1442445 |    16377    215 |        0 |        0
658.78/659.07	c  658s |      21 |  2283464 |  1447145 |    16377    216 |        0 |        0
661.07/661.36	c  661s |      21 |  2288773 |  1450845 |    16377    216 |        0 |        0
663.08/663.36	c  663s |      21 |  2297156 |  1456445 |    16377    217 |        0 |        0
665.07/665.38	c  665s |      21 |  2304815 |  1461045 |    16377    218 |        0 |        0
667.17/667.41	c  667s |      21 |  2311560 |  1465845 |    16377    218 |        0 |        0
669.17/669.43	c  669s |      21 |  2317426 |  1469845 |    16377    219 |        0 |        0
671.17/671.43	c  671s |      21 |  2324929 |  1475145 |    16377    219 |        0 |        0
673.16/673.43	c  673s |      21 |  2331540 |  1479845 |    16377    220 |        0 |        0
675.36/675.62	c  675s |      21 |  2338245 |  1484345 |    16377    221 |        0 |        0
677.37/677.62	c  677s |      21 |  2344749 |  1488745 |    16377    221 |        0 |        0
679.36/679.67	c  679s |      21 |  2350747 |  1492745 |    18015    221 |        0 |        0
681.36/681.69	c  681s |      21 |  2355703 |  1495845 |    18015    222 |        0 |        0
683.46/683.72	c  683s |      21 |  2362317 |  1500345 |    18015    222 |        0 |        0
683.56/683.84	c  683s |      22 |  2362662 |  1500622 |    18015    222 |        0 |        0
685.76/686.00	c  685s |      22 |  2368206 |  1503222 |    18015    223 |        0 |        0
687.76/688.01	c  687s |      22 |  2376444 |  1508022 |    18015    223 |        0 |        0
689.75/690.02	c  689s |      22 |  2384573 |  1512922 |    18015    224 |        0 |        0
691.76/692.06	c  691s |      22 |  2393475 |  1518022 |    18015    224 |        0 |        0
693.86/694.17	c  694s |      22 |  2400090 |  1522122 |    18015    225 |        0 |        0
695.85/696.17	c  696s |      22 |  2408310 |  1526822 |    18015    225 |        0 |        0
697.95/698.21	c  698s |      22 |  2414254 |  1530522 |    18015    226 |        0 |        0
699.95/700.25	c  700s |      22 |  2420512 |  1534822 |    18015    226 |        0 |        0
701.95/702.28	c  702s |      22 |  2426963 |  1538822 |    18015    226 |        0 |        0
704.05/704.31	c  704s |      22 |  2433610 |  1542422 |    18015    227 |        0 |        0
706.05/706.37	c  706s |      22 |  2439331 |  1546022 |    18015    227 |        0 |        0
708.05/708.37	c  708s |      22 |  2444754 |  1549522 |    18015    228 |        0 |        0
710.14/710.41	c  710s |      22 |  2451860 |  1554322 |    18015    228 |        0 |        0
712.14/712.49	c  712s |      22 |  2458219 |  1557922 |    18015    229 |        0 |        0
714.24/714.50	c  714s |      22 |  2468442 |  1562022 |    18015    229 |        0 |        0
716.24/716.51	c  716s |      22 |  2474734 |  1566022 |    18015    229 |        0 |        0
718.24/718.52	c  718s |      22 |  2484627 |  1570722 |    18015    230 |        0 |        0
720.24/720.54	c  720s |      22 |  2493757 |  1574922 |    18015    230 |        0 |        0
722.23/722.56	c  722s |      22 |  2502571 |  1579222 |    18015    231 |        0 |        0
724.33/724.60	c  724s |      22 |  2512071 |  1584122 |    18015    231 |        0 |        0
726.33/726.64	c  726s |      22 |  2519803 |  1588522 |    18015    232 |        0 |        0
728.33/728.65	c  728s |      22 |  2526752 |  1592622 |    18015    232 |        0 |        0
730.33/730.65	c  730s |      22 |  2532208 |  1595922 |    18015    233 |        0 |        0
732.33/732.67	c  732s |      22 |  2541077 |  1600322 |    18015    233 |        0 |        0
734.33/734.68	c  734s |      22 |  2546470 |  1603822 |    18015    234 |        0 |        0
736.33/736.70	c  736s |      22 |  2551718 |  1606822 |    18015    234 |        0 |        0
738.43/738.74	c  738s |      22 |  2558062 |  1610422 |    18015    234 |        0 |        0
740.42/740.75	c  740s |      22 |  2564683 |  1613522 |    18015    235 |        0 |        0
742.52/742.81	c  742s |      22 |  2573567 |  1618022 |    18015    235 |        0 |        0
745.43/745.77	c  745s |      22 |  2578379 |  1621222 |    18015    236 |        0 |        0
747.43/747.78	c  747s |      22 |  2585969 |  1625822 |    18015    236 |        0 |        0
749.53/749.80	c  749s |      22 |  2592415 |  1629622 |    18015    236 |        0 |        0
751.52/751.84	c  751s |      22 |  2597134 |  1632522 |    18015    237 |        0 |        0
753.62/753.90	c  753s |      22 |  2603760 |  1636722 |    18015    237 |        0 |        0
755.62/755.94	c  755s |      22 |  2609887 |  1640422 |    18015    238 |        0 |        0
757.63/757.97	c  757s |      22 |  2615530 |  1644222 |    18015    238 |        0 |        0
759.72/760.06	c  759s |      22 |  2622011 |  1648322 |    18015    239 |        0 |        0
762.42/762.76	c  762s |      22 |  2628269 |  1651622 |    18015    239 |        0 |        0
764.41/764.77	c  764s |      22 |  2633969 |  1655722 |    18015    239 |        0 |        0
766.42/766.77	c  766s |      22 |  2640578 |  1659422 |    18015    240 |        0 |        0
768.51/768.81	c  768s |      22 |  2646719 |  1662522 |    18015    240 |        0 |        0
770.51/770.82	c  770s |      22 |  2651572 |  1665322 |    18015    240 |        0 |        0
772.51/772.83	c  772s |      22 |  2656281 |  1667922 |    18015    241 |        0 |        0
774.51/774.85	c  774s |      22 |  2661786 |  1671222 |    18015    241 |        0 |        0
776.61/776.92	c  776s |      22 |  2665364 |  1673322 |    18015    241 |        0 |        0
778.61/778.97	c  778s |      22 |  2667789 |  1674722 |    18015    241 |        0 |        0
780.71/781.01	c  780s |      22 |  2675078 |  1679122 |    18015    242 |        0 |        0
782.70/783.04	c  782s |      22 |  2680514 |  1681822 |    18015    242 |        0 |        0
784.80/785.13	c  785s |      22 |  2685259 |  1684522 |    18015    243 |        0 |        0
787.61/787.92	c  787s |      22 |  2688128 |  1686222 |    18015    243 |        0 |        0
789.61/789.95	c  789s |      22 |  2695038 |  1690822 |    18015    243 |        0 |        0
791.60/792.00	c  791s |      22 |  2700408 |  1693822 |    18015    244 |        0 |        0
793.70/794.02	c  793s |      22 |  2704884 |  1696722 |    18015    244 |        0 |        0
795.70/796.05	c  795s |      22 |  2710904 |  1700622 |    18015    244 |        0 |        0
797.80/798.10	c  797s |      22 |  2717155 |  1704322 |    18015    245 |        0 |        0
799.80/800.12	c  800s |      22 |  2721698 |  1706722 |    18015    245 |        0 |        0
802.60/802.97	c  802s |      22 |  2725538 |  1709122 |    18015    245 |        0 |        0
804.69/805.00	c  804s |      22 |  2732553 |  1713222 |    18015    246 |        0 |        0
806.69/807.01	c  806s |      22 |  2739372 |  1717522 |    18015    246 |        0 |        0
808.79/809.15	c  809s |      22 |  2745066 |  1720622 |    18015    247 |        0 |        0
810.79/811.18	c  811s |      22 |  2750752 |  1723822 |    18015    247 |        0 |        0
812.79/813.18	c  813s |      22 |  2755826 |  1726822 |    18015    247 |        0 |        0
814.90/815.22	c  815s |      22 |  2759370 |  1728622 |    18015    247 |        0 |        0
816.89/817.24	c  817s |      22 |  2762721 |  1730522 |    18015    248 |        0 |        0
818.89/819.27	c  819s |      22 |  2765777 |  1732122 |    18015    248 |        0 |        0
820.89/821.28	c  821s |      22 |  2772464 |  1736322 |    18015    248 |        0 |        0
822.99/823.31	c  823s |      22 |  2779023 |  1739722 |    18015    249 |        0 |        0
824.99/825.33	c  825s |      22 |  2785836 |  1743422 |    18015    249 |        0 |        0
826.99/827.38	c  827s |      22 |  2791313 |  1746422 |    18015    249 |        0 |        0
829.09/829.44	c  829s |      22 |  2795343 |  1749022 |    18015    250 |        0 |        0
831.08/831.48	c  831s |      22 |  2800819 |  1751122 |    18015    250 |        0 |        0
833.08/833.49	c  833s |      22 |  2807247 |  1755022 |    18015    250 |        0 |        0
835.19/835.53	c  835s |      22 |  2814695 |  1757822 |    18015    251 |        0 |        0
837.19/837.54	c  837s |      22 |  2824019 |  1761922 |    18015    251 |        0 |        0
839.19/839.56	c  839s |      22 |  2829177 |  1765222 |    18015    251 |        0 |        0
841.49/841.86	c  841s |      22 |  2834979 |  1768322 |    18015    252 |        0 |        0
843.58/843.90	c  843s |      22 |  2843726 |  1772922 |    18015    252 |        0 |        0
845.59/845.91	c  845s |      22 |  2849948 |  1775722 |    18015    253 |        0 |        0
847.58/847.99	c  847s |      22 |  2854826 |  1778622 |    18015    253 |        0 |        0
849.68/850.00	c  849s |      22 |  2858444 |  1780922 |    18015    253 |        0 |        0
852.08/852.42	c  852s |      22 |  2862688 |  1782722 |    18015    253 |        0 |        0
854.08/854.44	c  854s |      22 |  2869919 |  1786922 |    18015    254 |        0 |        0
856.08/856.49	c  856s |      22 |  2877023 |  1790722 |    18015    254 |        0 |        0
858.18/858.51	c  858s |      22 |  2882045 |  1793322 |    18015    255 |        0 |        0
860.18/860.53	c  860s |      22 |  2888722 |  1796522 |    18015    255 |        0 |        0
862.18/862.54	c  862s |      22 |  2894045 |  1799222 |    18015    255 |        0 |        0
864.28/864.65	c  864s |      22 |  2898690 |  1801422 |    18015    255 |        0 |        0
866.27/866.69	c  866s |      22 |  2904118 |  1804122 |    18015    256 |        0 |        0
868.27/868.69	c  868s |      22 |  2909613 |  1807122 |    18015    256 |        0 |        0
870.27/870.69	c  870s |      22 |  2914404 |  1809522 |    18015    256 |        0 |        0
872.37/872.72	c  872s |      22 |  2919949 |  1812522 |    18015    257 |        0 |        0
874.37/874.76	c  874s |      22 |  2925811 |  1815622 |    18015    257 |        0 |        0
876.38/876.79	c  876s |      22 |  2929486 |  1818122 |    18015    257 |        0 |        0
878.47/878.89	c  878s |      22 |  2932632 |  1819922 |    18015    257 |        0 |        0
880.57/880.93	c  880s |      22 |  2939332 |  1823122 |    18015    258 |        0 |        0
882.57/882.97	c  882s |      22 |  2943245 |  1825122 |    18015    258 |        0 |        0
884.57/884.99	c  884s |      22 |  2951068 |  1828822 |    18015    258 |        0 |        0
886.57/886.99	c  886s |      22 |  2955537 |  1831722 |    18015    259 |        0 |        0
888.57/888.99	c  888s |      22 |  2963094 |  1837022 |    18015    259 |        0 |        0
890.56/891.00	c  890s |      22 |  2969200 |  1841322 |    18015    260 |        0 |        0
892.66/893.03	c  892s |      22 |  2975553 |  1845822 |    18015    260 |        0 |        0
894.66/895.06	c  894s |      22 |  2981112 |  1849322 |    18015    261 |        0 |        0
896.65/897.07	c  896s |      22 |  2989189 |  1853622 |    18015    261 |        0 |        0
898.65/899.08	c  898s |      22 |  2997776 |  1858322 |    18015    262 |        0 |        0
900.76/901.15	c  901s |      22 |  3005236 |  1862022 |    18015    262 |        0 |        0
902.77/903.18	c  903s |      22 |  3011299 |  1865022 |    18015    262 |        0 |        0
904.76/905.19	c  905s |      22 |  3016762 |  1868322 |    18015    263 |        0 |        0
906.86/907.23	c  907s |      22 |  3021929 |  1871122 |    18015    263 |        0 |        0
908.85/909.25	c  909s |      22 |  3026620 |  1873822 |    18015    263 |        0 |        0
910.95/911.30	c  911s |      22 |  3031862 |  1876722 |    18015    264 |        0 |        0
912.95/913.32	c  913s |      22 |  3037488 |  1880222 |    18015    264 |        0 |        0
914.96/915.39	c  915s |      22 |  3042708 |  1883222 |    18015    264 |        0 |        0
917.06/917.48	c  917s |      22 |  3047574 |  1886022 |    18015    265 |        0 |        0
919.15/919.52	c  919s |      22 |  3054341 |  1889522 |    18015    265 |        0 |        0
921.15/921.54	c  921s |      22 |  3060531 |  1892722 |    18015    266 |        0 |        0
923.14/923.58	c  923s |      22 |  3063746 |  1894422 |    18015    266 |        0 |        0
925.14/925.59	c  925s |      22 |  3070873 |  1898022 |    18015    266 |        0 |        0
927.24/927.63	c  927s |      22 |  3074747 |  1900422 |    18015    266 |        0 |        0
929.25/929.65	c  929s |      22 |  3080965 |  1903822 |    18015    267 |        0 |        0
931.24/931.65	c  931s |      22 |  3086832 |  1907022 |    18015    267 |        0 |        0
933.24/933.65	c  933s |      22 |  3090125 |  1909322 |    18015    267 |        0 |        0
935.44/935.85	c  935s |      22 |  3092124 |  1910522 |    18015    268 |        0 |        0
937.44/937.88	c  937s |      22 |  3103075 |  1914722 |    18015    268 |        0 |        0
940.04/940.43	c  940s |      22 |  3108416 |  1917122 |    18015    268 |        0 |        0
942.04/942.45	c  942s |      22 |  3114695 |  1920922 |    18015    269 |        0 |        0
944.14/944.51	c  944s |      22 |  3120845 |  1924622 |    18015    269 |        0 |        0
946.14/946.52	c  946s |      22 |  3125752 |  1927522 |    18015    269 |        0 |        0
948.14/948.54	c  948s |      22 |  3129333 |  1929722 |    18015    270 |        0 |        0
950.14/950.58	c  950s |      22 |  3135022 |  1932222 |    18015    270 |        0 |        0
952.24/952.69	c  952s |      22 |  3139476 |  1934522 |    18015    270 |        0 |        0
954.34/954.80	c  954s |      22 |  3142288 |  1936322 |    18015    270 |        0 |        0
956.43/956.82	c  956s |      22 |  3146821 |  1938322 |    18015    271 |        0 |        0
958.43/958.84	c  958s |      22 |  3154913 |  1942522 |    18015    271 |        0 |        0
961.63/962.05	c  961s |      22 |  3162102 |  1946522 |    18015    272 |        0 |        0
963.63/964.09	c  963s |      22 |  3169124 |  1950922 |    18015    272 |        0 |        0
965.73/966.13	c  966s |      22 |  3177542 |  1955122 |    18015    272 |        0 |        0
967.74/968.16	c  968s |      22 |  3193233 |  1959722 |    18015    273 |        0 |        0
969.73/970.19	c  970s |      22 |  3202230 |  1963422 |    18015    273 |        0 |        0
971.83/972.21	c  972s |      22 |  3206855 |  1966722 |    18015    274 |        0 |        0
973.83/974.22	c  974s |      22 |  3211781 |  1969822 |    18015    274 |        0 |        0
975.83/976.24	c  976s |      22 |  3217209 |  1972922 |    18015    274 |        0 |        0
977.83/978.25	c  978s |      22 |  3221622 |  1975422 |    18015    275 |        0 |        0
979.84/980.29	c  980s |      22 |  3226794 |  1978522 |    18015    275 |        0 |        0
981.94/982.34	c  982s |      22 |  3230722 |  1981422 |    18015    275 |        0 |        0
983.93/984.37	c  984s |      22 |  3234768 |  1984322 |    18015    276 |        0 |        0
986.04/986.44	c  986s |      22 |  3238070 |  1986622 |    18015    276 |        0 |        0
988.14/988.52	c  988s |      22 |  3242206 |  1989622 |    18015    276 |        0 |        0
990.14/990.57	c  990s |      22 |  3246312 |  1993122 |    18015    277 |        0 |        0
992.24/992.60	c  992s |      22 |  3250752 |  1996322 |    18015    277 |        0 |        0
994.24/994.64	c  994s |      22 |  3255770 |  1999522 |    18015    277 |        0 |        0
996.24/996.66	c  996s |      22 |  3261075 |  2002622 |    18015    278 |        0 |        0
998.24/998.68	c  998s |      22 |  3265451 |  2005722 |    18015    278 |        0 |        0
1000.34/1000.72	c 1000s |      22 |  3269955 |  2008622 |    18015    278 |        0 |        0
1002.43/1002.90	c 1002s |      22 |  3274677 |  2011322 |    18015    279 |        0 |        0
1004.53/1004.92	c 1004s |      22 |  3279127 |  2014222 |    18015    279 |        0 |        0
1006.53/1006.95	c 1006s |      22 |  3284584 |  2017122 |    18015    279 |        0 |        0
1008.53/1008.96	c 1008s |      22 |  3289630 |  2020022 |    18015    280 |        0 |        0
1010.64/1011.02	c 1010s |      22 |  3295252 |  2023422 |    18015    280 |        0 |        0
1012.63/1013.03	c 1012s |      22 |  3299188 |  2025922 |    18015    280 |        0 |        0
1014.63/1015.03	c 1014s |      22 |  3303227 |  2028622 |    18015    281 |        0 |        0
1016.63/1017.08	c 1016s |      22 |  3310293 |  2032322 |    18015    281 |        0 |        0
1018.73/1019.13	c 1019s |      22 |  3316460 |  2035822 |    18015    281 |        0 |        0
1020.73/1021.17	c 1021s |      22 |  3324314 |  2039622 |    18015    282 |        0 |        0
1022.74/1023.17	c 1023s |      22 |  3331140 |  2043622 |    18015    282 |        0 |        0
1024.84/1025.22	c 1025s |      22 |  3336875 |  2047122 |    18015    283 |        0 |        0
1026.83/1027.27	c 1027s |      22 |  3344106 |  2051022 |    18015    283 |        0 |        0
1028.83/1029.27	c 1029s |      22 |  3349537 |  2054422 |    18015    283 |        0 |        0
1030.83/1031.28	c 1031s |      22 |  3355280 |  2058122 |    18015    284 |        0 |        0
1032.93/1033.32	c 1033s |      22 |  3361909 |  2062022 |    18015    284 |        0 |        0
1034.93/1035.36	c 1035s |      22 |  3368158 |  2065822 |    18015    285 |        0 |        0
1036.93/1037.39	c 1037s |      22 |  3374471 |  2069922 |    18015    285 |        0 |        0
1039.03/1039.42	c 1039s |      22 |  3380142 |  2073322 |    18015    285 |        0 |        0
1041.03/1041.42	c 1041s |      22 |  3387035 |  2077522 |    18015    286 |        0 |        0
1043.03/1043.48	c 1043s |      22 |  3393514 |  2081422 |    18015    286 |        0 |        0
1045.13/1045.52	c 1045s |      22 |  3401256 |  2086222 |    18015    287 |        0 |        0
1047.12/1047.53	c 1047s |      22 |  3407957 |  2090322 |    18015    287 |        0 |        0
1049.13/1049.54	c 1049s |      22 |  3414513 |  2094222 |    18015    288 |        0 |        0
1051.12/1051.57	c 1051s |      22 |  3420400 |  2098122 |    18015    288 |        0 |        0
1053.12/1053.59	c 1053s |      22 |  3426020 |  2102122 |    18015    289 |        0 |        0
1055.22/1055.62	c 1055s |      22 |  3432090 |  2106422 |    18015    289 |        0 |        0
1057.22/1057.66	c 1057s |      22 |  3438199 |  2110422 |    18015    290 |        0 |        0
1059.22/1059.69	c 1059s |      22 |  3446493 |  2115222 |    18015    290 |        0 |        0
1061.23/1061.69	c 1061s |      22 |  3453397 |  2119222 |    18015    291 |        0 |        0
1063.33/1063.74	c 1063s |      22 |  3462018 |  2124822 |    18015    291 |        0 |        0
1065.32/1065.77	c 1065s |      22 |  3469945 |  2129522 |    18015    292 |        0 |        0
1067.42/1067.81	c 1067s |      22 |  3479176 |  2134522 |    18015    292 |        0 |        0
1069.42/1069.84	c 1069s |      22 |  3485636 |  2138622 |    18015    293 |        0 |        0
1071.42/1071.86	c 1071s |      22 |  3492220 |  2142522 |    18015    293 |        0 |        0
1073.52/1073.91	c 1073s |      22 |  3499153 |  2146422 |    18015    294 |        0 |        0
1075.53/1075.93	c 1075s |      22 |  3506644 |  2150822 |    18015    294 |        0 |        0
1077.52/1077.97	c 1077s |      22 |  3512543 |  2154822 |    18015    294 |        0 |        0
1079.62/1080.00	c 1079s |      22 |  3520203 |  2159922 |    18015    295 |        0 |        0
1081.62/1082.01	c 1081s |      22 |  3527245 |  2164222 |    18015    295 |        0 |        0
1083.62/1084.06	c 1083s |      22 |  3535048 |  2168722 |    18015    296 |        0 |        0
1085.62/1086.08	c 1085s |      22 |  3541564 |  2172522 |    18015    296 |        0 |        0
1087.62/1088.08	c 1087s |      22 |  3548201 |  2176522 |    18015    297 |        0 |        0
1089.61/1090.10	c 1089s |      22 |  3554361 |  2180322 |    18015    297 |        0 |        0
1091.71/1092.13	c 1092s |      22 |  3560580 |  2184422 |    18015    298 |        0 |        0
1093.71/1094.13	c 1094s |      22 |  3567342 |  2188522 |    18015    298 |        0 |        0
1095.81/1096.23	c 1096s |      22 |  3572860 |  2191922 |    18015    299 |        0 |        0
1097.81/1098.27	c 1098s |      22 |  3580110 |  2196322 |    18015    299 |        0 |        0
1099.91/1100.30	c 1100s |      22 |  3586516 |  2200122 |    18015    299 |        0 |        0
1101.92/1102.34	c 1102s |      22 |  3593021 |  2204322 |    18015    300 |        0 |        0
1103.91/1104.35	c 1104s |      22 |  3600460 |  2208522 |    18015    300 |        0 |        0
1105.91/1106.39	c 1106s |      22 |  3607829 |  2212522 |    18015    301 |        0 |        0
1108.01/1108.41	c 1108s |      22 |  3614505 |  2216822 |    18015    301 |        0 |        0
1110.01/1110.42	c 1110s |      22 |  3621790 |  2221122 |    18015    302 |        0 |        0
1112.01/1112.42	c 1112s |      22 |  3628431 |  2225722 |    18015    302 |        0 |        0
1114.02/1114.46	c 1114s |      22 |  3634589 |  2229122 |    18015    303 |        0 |        0
1116.01/1116.46	c 1116s |      22 |  3640781 |  2232422 |    18015    303 |        0 |        0
1118.01/1118.48	c 1118s |      22 |  3646442 |  2235822 |    19817    303 |        0 |        0
1120.11/1120.51	c 1120s |      22 |  3653083 |  2239322 |    19817    304 |        0 |        0
1122.11/1122.52	c 1122s |      22 |  3659246 |  2243722 |    19817    304 |        0 |        0
1124.11/1124.53	c 1124s |      22 |  3665999 |  2248422 |    19817    304 |        0 |        0
1125.21/1125.61	c 1125s |      23 |  3669371 |  2251038 |    19817    305 |        0 |        0
1127.21/1127.62	c 1127s |      23 |  3676331 |  2255038 |    19817    305 |        0 |        0
1129.21/1129.62	c 1129s |      23 |  3686090 |  2259138 |    19817    306 |        0 |        0
1131.21/1131.68	c 1131s |      23 |  3693005 |  2263138 |    19817    306 |        0 |        0
1133.30/1133.77	c 1133s |      23 |  3698468 |  2266338 |    19817    306 |        0 |        0
1135.40/1135.82	c 1135s |      23 |  3701882 |  2268838 |    19817    307 |        0 |        0
1137.40/1137.85	c 1137s |      23 |  3707377 |  2272738 |    19817    307 |        0 |        0
1139.40/1139.86	c 1139s |      23 |  3713285 |  2276138 |    19817    307 |        0 |        0
1141.51/1141.91	c 1141s |      23 |  3717653 |  2279438 |    19817    308 |        0 |        0
1143.50/1143.92	c 1143s |      23 |  3723703 |  2284338 |    19817    308 |        0 |        0
1145.50/1145.97	c 1145s |      23 |  3728517 |  2287638 |    19817    308 |        0 |        0
1147.80/1148.29	c 1148s |      23 |  3732003 |  2290538 |    19817    309 |        0 |        0
1149.90/1150.35	c 1150s |      23 |  3737830 |  2293938 |    19817    309 |        0 |        0
1151.90/1152.36	c 1152s |      23 |  3741574 |  2296838 |    19817    309 |        0 |        0
1154.00/1154.41	c 1154s |      23 |  3744995 |  2299438 |    19817    310 |        0 |        0
1156.00/1156.43	c 1156s |      23 |  3748801 |  2301838 |    19817    310 |        0 |        0
1158.01/1158.49	c 1158s |      23 |  3753436 |  2304838 |    19817    310 |        0 |        0
1160.11/1160.53	c 1160s |      23 |  3757071 |  2307238 |    19817    310 |        0 |        0
1162.10/1162.54	c 1162s |      23 |  3762984 |  2310038 |    19817    311 |        0 |        0
1164.10/1164.55	c 1164s |      23 |  3767422 |  2313238 |    19817    311 |        0 |        0
1166.10/1166.56	c 1166s |      23 |  3771631 |  2316038 |    19817    311 |        0 |        0
1168.20/1168.65	c 1168s |      23 |  3776371 |  2318338 |    19817    312 |        0 |        0
1170.20/1170.66	c 1170s |      23 |  3783112 |  2322038 |    19817    312 |        0 |        0
1172.30/1172.75	c 1172s |      23 |  3788655 |  2325138 |    19817    312 |        0 |        0
1174.40/1174.82	c 1174s |      23 |  3793649 |  2328238 |    19817    313 |        0 |        0
1176.40/1176.84	c 1176s |      23 |  3798798 |  2331538 |    19817    313 |        0 |        0
1178.39/1178.86	c 1178s |      23 |  3803366 |  2334538 |    19817    313 |        0 |        0
1180.49/1180.92	c 1180s |      23 |  3807117 |  2337238 |    19817    313 |        0 |        0
1182.49/1182.93	c 1182s |      23 |  3811177 |  2340238 |    19817    314 |        0 |        0
1184.49/1184.95	c 1184s |      23 |  3816341 |  2343338 |    19817    314 |        0 |        0
1186.51/1186.95	c 1186s |      23 |  3818016 |  2344538 |    19817    314 |        0 |        0
1188.50/1188.98	c 1188s |      23 |  3822536 |  2347838 |    19817    314 |        0 |        0
1190.60/1191.01	c 1190s |      23 |  3828429 |  2351438 |    19817    315 |        0 |        0
1192.60/1193.01	c 1192s |      23 |  3835556 |  2355438 |    19817    315 |        0 |        0
1194.60/1195.03	c 1194s |      23 |  3841377 |  2358738 |    19817    316 |        0 |        0
1196.60/1197.03	c 1196s |      23 |  3849845 |  2362838 |    19817    316 |        0 |        0
1198.61/1199.08	c 1198s |      23 |  3854911 |  2365938 |    19817    316 |        0 |        0
1200.81/1201.23	c 1201s |      23 |  3858242 |  2368238 |    19817    317 |        0 |        0
1203.11/1203.50	c 1203s |      23 |  3860849 |  2370038 |    19817    317 |        0 |        0
1205.10/1205.53	c 1205s |      23 |  3868443 |  2374538 |    19817    317 |        0 |        0
1207.10/1207.57	c 1207s |      23 |  3874562 |  2378038 |    19817    317 |        0 |        0
1209.10/1209.58	c 1209s |      23 |  3881316 |  2381938 |    19817    318 |        0 |        0
1211.20/1211.62	c 1211s |      23 |  3888110 |  2385738 |    19817    318 |        0 |        0
1213.20/1213.65	c 1213s |      23 |  3893105 |  2389038 |    19817    319 |        0 |        0
1215.20/1215.69	c 1215s |      23 |  3899788 |  2392838 |    19817    319 |        0 |        0
1217.30/1217.71	c 1217s |      23 |  3905505 |  2396138 |    19817    319 |        0 |        0
1219.29/1219.73	c 1219s |      23 |  3910535 |  2398538 |    19817    320 |        0 |        0
1221.29/1221.77	c 1221s |      23 |  3917019 |  2402038 |    19817    320 |        0 |        0
1223.39/1223.82	c 1223s |      23 |  3924010 |  2405438 |    19817    320 |        0 |        0
1225.49/1225.91	c 1225s |      23 |  3928006 |  2407938 |    19817    321 |        0 |        0
1227.49/1227.92	c 1227s |      23 |  3935346 |  2411538 |    19817    321 |        0 |        0
1229.50/1229.94	c 1229s |      23 |  3941435 |  2414938 |    19817    321 |        0 |        0
1231.49/1231.94	c 1231s |      23 |  3947194 |  2417838 |    19817    322 |        0 |        0
1233.49/1233.96	c 1233s |      23 |  3955501 |  2421838 |    19817    322 |        0 |        0
1235.49/1235.98	c 1235s |      23 |  3963434 |  2425638 |    19817    322 |        0 |        0
1237.49/1237.99	c 1237s |      23 |  3970061 |  2428938 |    19817    323 |        0 |        0
1239.69/1240.12	c 1240s |      23 |  3973793 |  2431238 |    19817    323 |        0 |        0
1241.69/1242.14	c 1242s |      23 |  3979863 |  2435038 |    19817    323 |        0 |        0
1243.69/1244.16	c 1244s |      23 |  3986037 |  2438238 |    19817    324 |        0 |        0
1245.79/1246.20	c 1246s |      23 |  3990539 |  2441138 |    19817    324 |        0 |        0
1247.79/1248.24	c 1248s |      23 |  3996542 |  2444538 |    19817    324 |        0 |        0
1249.79/1250.26	c 1250s |      23 |  4002215 |  2447738 |    19817    325 |        0 |        0
1251.88/1252.30	c 1252s |      23 |  4005652 |  2449838 |    19817    325 |        0 |        0
1253.88/1254.34	c 1254s |      23 |  4012370 |  2454238 |    19817    325 |        0 |        0
1255.89/1256.36	c 1256s |      23 |  4018323 |  2457738 |    19817    326 |        0 |        0
1257.99/1258.41	c 1258s |      23 |  4025139 |  2461638 |    19817    326 |        0 |        0
1259.98/1260.47	c 1260s |      23 |  4032725 |  2465338 |    19817    326 |        0 |        0
1261.98/1262.49	c 1262s |      23 |  4038733 |  2468538 |    19817    327 |        0 |        0
1263.98/1264.50	c 1264s |      23 |  4046697 |  2472138 |    19817    327 |        0 |        0
1266.28/1266.71	c 1266s |      23 |  4051180 |  2474238 |    19817    327 |        0 |        0
1268.28/1268.74	c 1268s |      23 |  4056818 |  2477438 |    19817    327 |        0 |        0
1270.58/1271.05	c 1270s |      23 |  4060661 |  2479838 |    19817    328 |        0 |        0
1272.68/1273.10	c 1273s |      23 |  4068142 |  2483938 |    19817    328 |        0 |        0
1274.68/1275.15	c 1275s |      23 |  4073779 |  2487338 |    19817    328 |        0 |        0
1276.78/1277.20	c 1277s |      23 |  4079174 |  2490538 |    19817    329 |        0 |        0
1278.79/1279.23	c 1279s |      23 |  4084016 |  2493138 |    19817    329 |        0 |        0
1280.79/1281.28	c 1281s |      23 |  4089817 |  2496438 |    19817    329 |        0 |        0
1282.78/1283.29	c 1283s |      23 |  4095861 |  2499438 |    19817    330 |        0 |        0
1284.88/1285.31	c 1285s |      23 |  4099389 |  2501238 |    19817    330 |        0 |        0
1286.88/1287.32	c 1287s |      23 |  4104843 |  2504438 |    19817    330 |        0 |        0
1288.89/1289.32	c 1289s |      23 |  4110069 |  2507238 |    19817    330 |        0 |        0
1290.88/1291.33	c 1291s |      23 |  4113961 |  2508838 |    19817    331 |        0 |        0
1292.88/1293.37	c 1293s |      23 |  4122403 |  2513338 |    19817    331 |        0 |        0
1294.98/1295.44	c 1295s |      23 |  4129016 |  2516538 |    19817    331 |        0 |        0
1297.18/1297.65	c 1297s |      23 |  4133881 |  2519038 |    19817    332 |        0 |        0
1299.18/1299.69	c 1299s |      23 |  4140955 |  2523238 |    19817    332 |        0 |        0
1301.28/1301.72	c 1301s |      23 |  4148143 |  2526838 |    19817    332 |        0 |        0
1303.27/1303.74	c 1303s |      23 |  4154968 |  2530138 |    19817    333 |        0 |        0
1305.28/1305.76	c 1305s |      23 |  4161181 |  2533238 |    19817    333 |        0 |        0
1307.37/1307.90	c 1307s |      23 |  4163907 |  2534738 |    19817    333 |        0 |        0
1309.47/1309.95	c 1309s |      23 |  4170836 |  2538338 |    19817    334 |        0 |        0
1311.47/1311.98	c 1311s |      23 |  4180345 |  2542438 |    19817    334 |        0 |        0
1313.57/1314.03	c 1313s |      23 |  4189763 |  2546338 |    19817    334 |        0 |        0
1315.57/1316.05	c 1315s |      23 |  4195037 |  2549438 |    19817    335 |        0 |        0
1318.07/1318.54	c 1318s |      23 |  4198318 |  2551638 |    19817    335 |        0 |        0
1320.07/1320.57	c 1320s |      23 |  4202651 |  2554338 |    19817    335 |        0 |        0
1322.07/1322.59	c 1322s |      23 |  4209342 |  2558538 |    19817    336 |        0 |        0
1324.17/1324.60	c 1324s |      23 |  4217454 |  2562738 |    19817    336 |        0 |        0
1326.18/1326.61	c 1326s |      23 |  4222056 |  2566138 |    19817    336 |        0 |        0
1328.17/1328.62	c 1328s |      23 |  4226828 |  2569138 |    19817    337 |        0 |        0
1330.17/1330.63	c 1330s |      23 |  4231212 |  2572038 |    19817    337 |        0 |        0
1332.17/1332.64	c 1332s |      23 |  4235655 |  2574638 |    19817    337 |        0 |        0
1334.17/1334.69	c 1334s |      23 |  4238811 |  2577238 |    19817    338 |        0 |        0
1336.28/1336.70	c 1336s |      23 |  4243013 |  2581238 |    19817    338 |        0 |        0
1338.28/1338.70	c 1338s |      23 |  4249579 |  2585238 |    19817    338 |        0 |        0
1340.28/1340.74	c 1340s |      23 |  4255481 |  2588738 |    19817    339 |        0 |        0
1342.27/1342.76	c 1342s |      23 |  4262806 |  2593238 |    19817    339 |        0 |        0
1344.27/1344.76	c 1344s |      23 |  4269123 |  2596638 |    19817    339 |        0 |        0
1346.27/1346.79	c 1346s |      23 |  4275567 |  2600338 |    19817    340 |        0 |        0
1348.37/1348.83	c 1348s |      23 |  4281549 |  2604038 |    19817    340 |        0 |        0
1350.48/1350.95	c 1350s |      23 |  4285908 |  2606938 |    19817    341 |        0 |        0
1352.47/1352.96	c 1352s |      23 |  4292508 |  2610238 |    19817    341 |        0 |        0
1354.47/1354.97	c 1354s |      23 |  4299422 |  2613738 |    19817    341 |        0 |        0
1356.57/1357.01	c 1356s |      23 |  4305333 |  2617138 |    19817    342 |        0 |        0
1358.57/1359.04	c 1358s |      23 |  4309485 |  2619738 |    19817    342 |        0 |        0
1360.67/1361.10	c 1361s |      23 |  4315392 |  2623738 |    19817    342 |        0 |        0
1362.77/1363.21	c 1363s |      23 |  4320617 |  2626838 |    19817    343 |        0 |        0
1364.78/1365.23	c 1365s |      23 |  4328333 |  2631238 |    19817    343 |        0 |        0
1366.77/1367.27	c 1367s |      23 |  4335426 |  2635238 |    19817    343 |        0 |        0
1368.77/1369.28	c 1369s |      23 |  4342627 |  2639038 |    19817    344 |        0 |        0
1370.87/1371.32	c 1371s |      23 |  4350229 |  2643338 |    19817    344 |        0 |        0
1372.97/1373.41	c 1373s |      23 |  4356980 |  2646738 |    19817    345 |        0 |        0
1374.97/1375.43	c 1375s |      23 |  4362943 |  2650738 |    19817    345 |        0 |        0
1377.07/1377.54	c 1377s |      23 |  4369414 |  2654438 |    19817    345 |        0 |        0
1379.07/1379.57	c 1379s |      23 |  4375759 |  2657738 |    19817    346 |        0 |        0
1381.17/1381.61	c 1381s |      23 |  4380790 |  2660638 |    19817    346 |        0 |        0
1383.16/1383.66	c 1383s |      23 |  4384987 |  2663138 |    19817    346 |        0 |        0
1385.16/1385.69	c 1385s |      23 |  4389724 |  2666338 |    19817    346 |        0 |        0
1387.26/1387.70	c 1387s |      23 |  4395292 |  2669938 |    19817    347 |        0 |        0
1389.26/1389.74	c 1389s |      23 |  4401282 |  2673638 |    19817    347 |        0 |        0
1391.26/1391.74	c 1391s |      23 |  4407454 |  2677138 |    19817    348 |        0 |        0
1393.27/1393.75	c 1393s |      23 |  4414331 |  2681438 |    19817    348 |        0 |        0
1395.26/1395.78	c 1395s |      23 |  4420058 |  2684938 |    19817    348 |        0 |        0
1397.36/1397.82	c 1397s |      23 |  4427113 |  2688538 |    19817    349 |        0 |        0
1399.36/1399.82	c 1399s |      23 |  4433392 |  2691838 |    19817    349 |        0 |        0
1402.16/1402.68	c 1402s |      23 |  4438101 |  2694238 |    19817    349 |        0 |        0
1404.16/1404.70	c 1404s |      23 |  4444001 |  2697638 |    19817    350 |        0 |        0
1406.26/1406.74	c 1406s |      23 |  4450327 |  2701338 |    19817    350 |        0 |        0
1408.26/1408.75	c 1408s |      23 |  4456695 |  2704738 |    19817    350 |        0 |        0
1410.26/1410.79	c 1410s |      23 |  4463457 |  2708038 |    19817    351 |        0 |        0
1412.26/1412.79	c 1412s |      23 |  4470382 |  2712138 |    19817    351 |        0 |        0
1414.26/1414.79	c 1414s |      23 |  4475986 |  2715038 |    19817    351 |        0 |        0
1416.36/1416.80	c 1416s |      23 |  4481871 |  2718038 |    19817    352 |        0 |        0
1418.35/1418.81	c 1418s |      23 |  4488514 |  2721638 |    19817    352 |        0 |        0
1420.35/1420.86	c 1420s |      23 |  4494663 |  2725138 |    19817    352 |        0 |        0
1422.35/1422.88	c 1422s |      23 |  4498227 |  2726938 |    19817    353 |        0 |        0
1424.45/1424.92	c 1424s |      23 |  4501510 |  2729138 |    19817    353 |        0 |        0
1426.45/1426.93	c 1426s |      23 |  4508804 |  2733138 |    19817    353 |        0 |        0
1428.46/1428.99	c 1428s |      23 |  4515244 |  2736438 |    19817    354 |        0 |        0
1430.55/1431.04	c 1430s |      23 |  4524785 |  2740938 |    19817    354 |        0 |        0
1432.55/1433.08	c 1432s |      23 |  4534113 |  2744738 |    19817    354 |        0 |        0
1434.65/1435.10	c 1435s |      23 |  4539920 |  2747838 |    19817    355 |        0 |        0
1436.66/1437.10	c 1437s |      23 |  4546848 |  2749838 |    19817    355 |        0 |        0
1438.66/1439.16	c 1439s |      23 |  4554318 |  2753738 |    19817    355 |        0 |        0
1441.76/1442.22	c 1442s |      23 |  4560582 |  2757138 |    19817    356 |        0 |        0
1443.76/1444.29	c 1444s |      23 |  4566424 |  2760838 |    19817    356 |        0 |        0
1445.86/1446.33	c 1446s |      23 |  4571267 |  2764038 |    19817    356 |        0 |        0
1447.85/1448.35	c 1448s |      23 |  4576838 |  2766938 |    19817    357 |        0 |        0
1449.85/1450.38	c 1450s |      23 |  4583835 |  2770638 |    19817    357 |        0 |        0
1451.95/1452.43	c 1452s |      23 |  4588466 |  2773238 |    19817    357 |        0 |        0
1453.95/1454.47	c 1454s |      23 |  4593953 |  2776338 |    19817    358 |        0 |        0
1455.96/1456.48	c 1456s |      23 |  4596780 |  2778138 |    19817    358 |        0 |        0
1458.05/1458.53	c 1458s |      23 |  4603287 |  2781938 |    19817    358 |        0 |        0
1460.05/1460.58	c 1460s |      23 |  4609814 |  2785638 |    19817    358 |        0 |        0
1462.15/1462.63	c 1462s |      23 |  4615821 |  2789038 |    19817    359 |        0 |        0
1464.15/1464.63	c 1464s |      23 |  4620266 |  2791638 |    19817    359 |        0 |        0
1466.25/1466.70	c 1466s |      23 |  4624869 |  2794438 |    19817    359 |        0 |        0
1468.45/1468.97	c 1468s |      23 |  4627792 |  2796338 |    19817    360 |        0 |        0
1470.45/1470.97	c 1470s |      23 |  4629813 |  2797738 |    19817    360 |        0 |        0
1472.45/1472.99	c 1472s |      23 |  4635822 |  2801638 |    19817    360 |        0 |        0
1474.54/1475.00	c 1474s |      23 |  4639671 |  2804738 |    19817    360 |        0 |        0
1476.54/1477.04	c 1476s |      23 |  4643892 |  2807838 |    19817    361 |        0 |        0
1478.64/1479.12	c 1479s |      23 |  4648534 |  2811138 |    19817    361 |        0 |        0
1480.64/1481.13	c 1481s |      23 |  4652757 |  2814338 |    19817    361 |        0 |        0
1482.65/1483.15	c 1483s |      23 |  4657136 |  2817538 |    19817    362 |        0 |        0
1484.95/1485.47	c 1485s |      23 |  4660991 |  2820238 |    19817    362 |        0 |        0
1487.05/1487.54	c 1487s |      23 |  4667743 |  2824438 |    19817    362 |        0 |        0
1489.06/1489.57	c 1489s |      23 |  4673980 |  2828338 |    19817    363 |        0 |        0
1491.16/1491.61	c 1491s |      23 |  4681387 |  2833138 |    19817    363 |        0 |        0
1493.15/1493.64	c 1493s |      23 |  4686807 |  2836638 |    19817    364 |        0 |        0
1495.15/1495.64	c 1495s |      23 |  4692889 |  2840338 |    19817    364 |        0 |        0
1497.14/1497.66	c 1497s |      23 |  4699510 |  2844038 |    19817    364 |        0 |        0
1499.14/1499.66	c 1499s |      23 |  4703660 |  2846538 |    19817    365 |        0 |        0
1501.24/1501.70	c 1501s |      23 |  4710684 |  2850838 |    19817    365 |        0 |        0
1503.25/1503.71	c 1503s |      23 |  4718232 |  2854838 |    19817    365 |        0 |        0
1505.24/1505.74	c 1505s |      23 |  4724649 |  2858938 |    19817    366 |        0 |        0
1507.24/1507.76	c 1507s |      23 |  4730812 |  2863138 |    19817    366 |        0 |        0
1509.44/1509.90	c 1509s |      23 |  4735457 |  2866038 |    19817    367 |        0 |        0
1511.44/1511.92	c 1511s |      23 |  4741531 |  2869738 |    19817    367 |        0 |        0
1513.44/1513.93	c 1513s |      23 |  4748490 |  2873838 |    19817    367 |        0 |        0
1515.44/1515.96	c 1515s |      23 |  4754292 |  2877838 |    19817    368 |        0 |        0
1517.44/1518.00	c 1517s |      23 |  4761511 |  2881938 |    19817    368 |        0 |        0
1519.54/1520.04	c 1519s |      23 |  4765389 |  2884338 |    19817    368 |        0 |        0
1521.53/1522.04	c 1521s |      23 |  4771297 |  2888238 |    19817    369 |        0 |        0
1523.63/1524.11	c 1524s |      23 |  4777328 |  2892638 |    19817    369 |        0 |        0
1525.63/1526.14	c 1526s |      23 |  4782759 |  2895938 |    19817    370 |        0 |        0
1527.63/1528.14	c 1528s |      23 |  4788163 |  2899838 |    19817    370 |        0 |        0
1529.64/1530.14	c 1530s |      23 |  4794175 |  2903238 |    19817    370 |        0 |        0
1531.63/1532.19	c 1532s |      23 |  4799489 |  2906538 |    19817    371 |        0 |        0
1533.73/1534.21	c 1534s |      23 |  4805491 |  2909838 |    19817    371 |        0 |        0
1535.73/1536.23	c 1536s |      23 |  4811171 |  2912738 |    19817    371 |        0 |        0
1537.73/1538.26	c 1538s |      23 |  4816849 |  2916138 |    19817    372 |        0 |        0
1539.73/1540.28	c 1540s |      23 |  4822669 |  2919938 |    19817    372 |        0 |        0
1541.73/1542.30	c 1542s |      23 |  4829725 |  2923938 |    19817    372 |        0 |        0
1543.83/1544.34	c 1544s |      23 |  4835094 |  2927238 |    19817    373 |        0 |        0
1545.84/1546.37	c 1546s |      23 |  4840835 |  2930638 |    19817    373 |        0 |        0
1548.23/1548.72	c 1548s |      23 |  4846886 |  2934238 |    19817    373 |        0 |        0
1550.23/1550.73	c 1550s |      23 |  4853451 |  2938438 |    19817    374 |        0 |        0
1552.23/1552.77	c 1552s |      23 |  4858606 |  2942838 |    19817    374 |        0 |        0
1554.23/1554.78	c 1554s |      23 |  4863181 |  2946838 |    19817    375 |        0 |        0
1556.33/1556.83	c 1556s |      23 |  4869083 |  2951538 |    19817    375 |        0 |        0
1558.34/1558.87	c 1558s |      23 |  4873901 |  2955638 |    19817    375 |        0 |        0
1560.33/1560.89	c 1560s |      23 |  4879087 |  2959638 |    19817    376 |        0 |        0
1562.33/1562.89	c 1562s |      23 |  4880820 |  2961138 |    19817    376 |        0 |        0
1564.43/1564.92	c 1564s |      23 |  4887295 |  2965638 |    19817    377 |        0 |        0
1566.62/1567.15	c 1567s |      23 |  4888968 |  2966738 |    19817    377 |        0 |        0
1568.62/1569.18	c 1569s |      23 |  4897197 |  2972738 |    19817    377 |        0 |        0
1570.62/1571.19	c 1571s |      23 |  4903435 |  2976938 |    19817    378 |        0 |        0
1572.73/1573.22	c 1573s |      23 |  4908150 |  2979738 |    19817    378 |        0 |        0
1574.73/1575.26	c 1575s |      23 |  4915994 |  2984738 |    19817    378 |        0 |        0
1576.73/1577.29	c 1577s |      23 |  4922236 |  2989138 |    19817    379 |        0 |        0
1578.82/1579.32	c 1579s |      23 |  4927872 |  2992538 |    19817    379 |        0 |        0
1580.82/1581.36	c 1581s |      23 |  4933720 |  2996538 |    19817    380 |        0 |        0
1582.82/1583.38	c 1583s |      23 |  4938005 |  2999838 |    19817    380 |        0 |        0
1584.92/1585.41	c 1585s |      23 |  4945015 |  3004938 |    19817    380 |        0 |        0
1586.93/1587.43	c 1587s |      23 |  4952956 |  3010038 |    19817    381 |        0 |        0
1588.92/1589.46	c 1589s |      23 |  4958363 |  3013938 |    19817    381 |        0 |        0
1591.23/1591.76	c 1591s |      23 |  4961519 |  3016038 |    19817    382 |        0 |        0
1593.32/1593.81	c 1593s |      23 |  4970019 |  3021538 |    19817    382 |        0 |        0
1595.32/1595.85	c 1595s |      23 |  4975296 |  3025438 |    19817    383 |        0 |        0
1597.42/1597.90	c 1597s |      23 |  4982506 |  3030238 |    19817    383 |        0 |        0
1599.52/1600.08	c 1599s |      23 |  4990507 |  3036138 |    19817    384 |        0 |        0
1601.62/1602.11	c 1602s |      23 |  4997473 |  3041138 |    19817    384 |        0 |        0
1603.82/1604.35	c 1604s |      23 |  5004235 |  3045338 |    19817    385 |        0 |        0
1605.82/1606.37	c 1606s |      23 |  5011621 |  3049838 |    19817    385 |        0 |        0
1607.82/1608.38	c 1608s |      23 |  5016712 |  3053538 |    19817    385 |        0 |        0
1609.92/1610.41	c 1610s |      23 |  5023115 |  3057738 |    19817    386 |        0 |        0
1611.92/1612.46	c 1612s |      23 |  5028883 |  3061838 |    19817    386 |        0 |        0
1614.12/1614.65	c 1614s |      23 |  5034006 |  3065238 |    19817    387 |        0 |        0
1616.12/1616.68	c 1616s |      23 |  5039228 |  3069238 |    19817    387 |        0 |        0
1618.22/1618.70	c 1618s |      23 |  5045345 |  3074338 |    19817    387 |        0 |        0
1620.22/1620.74	c 1620s |      23 |  5052199 |  3079338 |    19817    388 |        0 |        0
1622.22/1622.75	c 1622s |      23 |  5058573 |  3083938 |    19817    388 |        0 |        0
1624.22/1624.76	c 1624s |      23 |  5063368 |  3087238 |    19817    389 |        0 |        0
1626.21/1626.77	c 1626s |      23 |  5071605 |  3092338 |    19817    389 |        0 |        0
1628.31/1628.81	c 1628s |      23 |  5077310 |  3095838 |    19817    390 |        0 |        0
1630.31/1630.82	c 1630s |      23 |  5084189 |  3099938 |    19817    390 |        0 |        0
1632.31/1632.83	c 1632s |      23 |  5091039 |  3104538 |    19817    390 |        0 |        0
1634.32/1634.84	c 1634s |      23 |  5095996 |  3107838 |    19817    391 |        0 |        0
1636.33/1636.88	c 1636s |      23 |  5101189 |  3111838 |    19817    391 |        0 |        0
1638.42/1638.91	c 1638s |      23 |  5105990 |  3115238 |    19817    392 |        0 |        0
1640.42/1640.93	c 1640s |      23 |  5112980 |  3120938 |    19817    392 |        0 |        0
1642.42/1642.98	c 1642s |      23 |  5119700 |  3125338 |    19817    393 |        0 |        0
1644.52/1645.00	c 1644s |      23 |  5127981 |  3130838 |    19817    393 |        0 |        0
1646.52/1647.04	c 1646s |      23 |  5134691 |  3134838 |    19817    394 |        0 |        0
1648.53/1649.05	c 1648s |      23 |  5141665 |  3139338 |    19817    394 |        0 |        0
1650.52/1651.09	c 1650s |      23 |  5148260 |  3143738 |    19817    394 |        0 |        0
1652.62/1653.12	c 1653s |      23 |  5154099 |  3147438 |    19817    395 |        0 |        0
1654.62/1655.14	c 1655s |      23 |  5158937 |  3150638 |    19817    395 |        0 |        0
1656.62/1657.17	c 1657s |      23 |  5165732 |  3154938 |    19817    396 |        0 |        0
1658.62/1659.18	c 1659s |      23 |  5172589 |  3159538 |    19817    396 |        0 |        0
1660.62/1661.19	c 1661s |      23 |  5181393 |  3164038 |    19817    396 |        0 |        0
1662.62/1663.19	c 1663s |      23 |  5188890 |  3168338 |    19817    397 |        0 |        0
1664.72/1665.22	c 1665s |      23 |  5197387 |  3173638 |    19817    397 |        0 |        0
1666.71/1667.24	c 1667s |      23 |  5203258 |  3177738 |    19817    398 |        0 |        0
1668.71/1669.26	c 1669s |      23 |  5211585 |  3182538 |    19817    398 |        0 |        0
1670.71/1671.26	c 1671s |      23 |  5218853 |  3186738 |    19817    399 |        0 |        0
1672.72/1673.28	c 1673s |      23 |  5227245 |  3191838 |    19817    399 |        0 |        0
1674.71/1675.29	c 1675s |      23 |  5234002 |  3196038 |    19817    400 |        0 |        0
1676.81/1677.31	c 1677s |      23 |  5240491 |  3200638 |    19817    400 |        0 |        0
1678.81/1679.34	c 1679s |      23 |  5245047 |  3204238 |    19817    400 |        0 |        0
1680.81/1681.36	c 1681s |      23 |  5250841 |  3208138 |    19817    401 |        0 |        0
1682.81/1683.38	c 1683s |      23 |  5258293 |  3212738 |    19817    401 |        0 |        0
1685.01/1685.59	c 1685s |      23 |  5263471 |  3216238 |    19817    402 |        0 |        0
1687.11/1687.61	c 1687s |      23 |  5270736 |  3220238 |    19817    402 |        0 |        0
1689.11/1689.63	c 1689s |      23 |  5279827 |  3225238 |    19817    403 |        0 |        0
1691.11/1691.66	c 1691s |      23 |  5288610 |  3230338 |    19817    403 |        0 |        0
1693.21/1693.70	c 1693s |      23 |  5295474 |  3234238 |    19817    404 |        0 |        0
1695.21/1695.71	c 1695s |      23 |  5303147 |  3238538 |    19817    404 |        0 |        0
1697.21/1697.75	c 1697s |      23 |  5309290 |  3242338 |    19817    404 |        0 |        0
1699.30/1699.82	c 1699s |      23 |  5315397 |  3245538 |    19817    405 |        0 |        0
1701.31/1701.85	c 1701s |      23 |  5323222 |  3250838 |    19817    405 |        0 |        0
1703.30/1703.88	c 1703s |      23 |  5329199 |  3254438 |    19817    406 |        0 |        0
1705.30/1705.89	c 1705s |      23 |  5334952 |  3258138 |    19817    406 |        0 |        0
1707.40/1707.90	c 1707s |      23 |  5343035 |  3263238 |    19817    406 |        0 |        0
1709.40/1709.90	c 1709s |      23 |  5351308 |  3268238 |    19817    407 |        0 |        0
1711.40/1711.93	c 1711s |      23 |  5358799 |  3273138 |    19817    407 |        0 |        0
1713.41/1713.94	c 1713s |      23 |  5366179 |  3278038 |    19817    408 |        0 |        0
1715.40/1715.98	c 1715s |      23 |  5373959 |  3283238 |    19817    408 |        0 |        0
1717.50/1718.01	c 1717s |      23 |  5381459 |  3287638 |    19817    409 |        0 |        0
1719.50/1720.02	c 1719s |      23 |  5388250 |  3291838 |    19817    409 |        0 |        0
1721.50/1722.05	c 1721s |      23 |  5394147 |  3295538 |    19817    410 |        0 |        0
1723.60/1724.10	c 1724s |      23 |  5400949 |  3299838 |    19817    410 |        0 |        0
1725.60/1726.14	c 1726s |      23 |  5408126 |  3303938 |    19817    411 |        0 |        0
1727.60/1728.17	c 1728s |      23 |  5415971 |  3308838 |    19817    411 |        0 |        0
1729.60/1730.19	c 1730s |      23 |  5423158 |  3313138 |    19817    411 |        0 |        0
1731.70/1732.23	c 1732s |      23 |  5429221 |  3317338 |    19817    412 |        0 |        0
1733.70/1734.27	c 1734s |      23 |  5437473 |  3323238 |    19817    412 |        0 |        0
1735.90/1736.47	c 1736s |      23 |  5443183 |  3327538 |    19817    413 |        0 |        0
1737.90/1738.48	c 1738s |      23 |  5450246 |  3331938 |    19817    413 |        0 |        0
1740.00/1740.53	c 1740s |      23 |  5453962 |  3334138 |    19817    414 |        0 |        0
1742.01/1742.57	c 1742s |      23 |  5459719 |  3338438 |    19817    414 |        0 |        0
1744.11/1744.63	c 1744s |      23 |  5464601 |  3342138 |    19817    414 |        0 |        0
1746.10/1746.64	c 1746s |      23 |  5470227 |  3345338 |    19817    415 |        0 |        0
1748.10/1748.64	c 1748s |      23 |  5476904 |  3349838 |    19817    415 |        0 |        0
1750.10/1750.69	c 1750s |      23 |  5483864 |  3353938 |    21799    415 |        0 |        0
1752.20/1752.73	c 1752s |      23 |  5489358 |  3357538 |    21799    416 |        0 |        0
1754.20/1754.75	c 1754s |      23 |  5496405 |  3362238 |    21799    416 |        0 |        0
1756.21/1756.78	c 1756s |      23 |  5501109 |  3365138 |    21799    416 |        0 |        0
1758.20/1758.78	c 1758s |      23 |  5505312 |  3368738 |    21799    417 |        0 |        0
1760.30/1760.84	c 1760s |      23 |  5512905 |  3373338 |    21799    417 |        0 |        0
1761.90/1762.46	c 1762s |      24 |  5518206 |  3376662 |    21799    417 |        0 |        0
1763.90/1764.48	c 1764s |      24 |  5524700 |  3380962 |    21799    418 |        0 |        0
1766.00/1766.52	c 1766s |      24 |  5532131 |  3386162 |    21799    418 |        0 |        0
1768.10/1768.60	c 1768s |      24 |  5539106 |  3390962 |    21799    419 |        0 |        0
1770.10/1770.62	c 1770s |      24 |  5547370 |  3396162 |    21799    419 |        0 |        0
1772.10/1772.63	c 1772s |      24 |  5552269 |  3399462 |    21799    420 |        0 |        0
1774.10/1774.64	c 1774s |      24 |  5558567 |  3403562 |    21799    420 |        0 |        0
1776.10/1776.66	c 1776s |      24 |  5563824 |  3407362 |    21799    420 |        0 |        0
1778.09/1778.66	c 1778s |      24 |  5569059 |  3411062 |    21799    421 |        0 |        0
1780.09/1780.69	c 1780s |      24 |  5575182 |  3415162 |    21799    421 |        0 |        0
1782.19/1782.71	c 1782s |      24 |  5582149 |  3419062 |    21799    421 |        0 |        0
1784.29/1784.84	c 1784s |      24 |  5588487 |  3423162 |    21799    422 |        0 |        0
1786.29/1786.87	c 1786s |      24 |  5596578 |  3427662 |    21799    422 |        0 |        0
1788.39/1788.92	c 1788s |      24 |  5602437 |  3431462 |    21799    422 |        0 |        0
1790.40/1790.93	c 1790s |      24 |  5609024 |  3435162 |    21799    423 |        0 |        0
1792.39/1792.95	c 1792s |      24 |  5615636 |  3439262 |    21799    423 |        0 |        0
1794.59/1795.15	c 1795s |      24 |  5621598 |  3443162 |    21799    424 |        0 |        0
1796.59/1797.19	c 1797s |      24 |  5628602 |  3447562 |    21799    424 |        0 |        0
1798.69/1799.24	c 1799s |      24 |  5635757 |  3451862 |    21799    424 |        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-4078957-1465263950/watcher-4078957-1465263950 -o /tmp/evaluation-result-4078957-1465263950/solver-4078957-1465263950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078957-1465263950.opb 

pid=14747
running on 4 cores: 0,2,4,6

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.26 2.22 2.20 4/180 14750
/proc/meminfo: memFree=29161012/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=609860 CPUtime=0 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 2260 0 0 0 0 0 0 0 20 0 4 0 108326947 624496640 2110 33554432000 4194304 16246674 140735064138544 140735064137968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 152977 2118 442 2943 0 149871 0
[pid=14750/tid=14751] ppid=14747 vsize=627268 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 642322432 2178 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=631364 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 646516736 2194 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=636484 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108326947 651759616 2214 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.26 2.22 2.20 4/180 14750
/proc/meminfo: memFree=29161012/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1222212 CPUtime=0.08 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 22058 0 0 0 6 2 0 0 20 0 4 0 108326947 1251545088 21854 33554432000 4194304 16246674 140735064138544 140735064137856 6170936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 305553 21854 839 2943 0 302447 0
[pid=14750/tid=14751] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 21854 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 21854 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 21854 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.20048 s]
/proc/loadavg: 2.26 2.22 2.20 4/180 14750
/proc/meminfo: memFree=29161012/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 39657 0 0 0 14 5 0 0 20 0 4 0 108326947 1251545088 39453 33554432000 4194304 16246674 140735064138544 140735064137856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 305553 39459 877 2943 0 302447 0
[pid=14750/tid=14751] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 39470 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 39478 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 39485 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300428 s]
/proc/loadavg: 2.26 2.22 2.20 4/180 14750
/proc/meminfo: memFree=29161012/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 65372 0 0 0 21 8 0 0 20 0 4 0 108326947 1251545088 65168 33554432000 4194304 16246674 140735064138544 140735064120448 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 305553 65176 877 2943 0 302447 0
[pid=14750/tid=14751] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 65180 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 65183 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 65187 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700351 s]
/proc/loadavg: 2.26 2.22 2.20 4/180 14750
/proc/meminfo: memFree=29161012/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 163537 0 0 0 48 21 0 0 20 0 4 0 108326947 1251545088 163334 33554432000 4194304 16246674 140735064138544 140735064120448 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 305553 163357 877 2943 0 302447 0
[pid=14750/tid=14751] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 163368 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 163376 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1251545088 163381 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50036 s]
/proc/loadavg: 2.26 2.22 2.20 4/184 14754
/proc/meminfo: memFree=28154132/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1300036 CPUtime=1.48 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 266129 0 0 0 114 34 0 0 20 0 4 0 108326947 1331236864 265925 33554432000 4194304 16246674 140735064138544 140735064121544 12477905 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 325009 265925 880 2943 0 321903 0
[pid=14750/tid=14751] ppid=14747 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1331236864 265925 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1331236864 265925 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1331236864 265925 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.32 2.23 2.20 4/184 14754
/proc/meminfo: memFree=28089404/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 269475 0 0 0 274 34 0 0 20 0 4 0 108326947 1344868352 269271 33554432000 4194304 16246674 140735064138544 140735064120448 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 328337 269271 890 2943 0 325231 0
[pid=14750/tid=14751] ppid=14747 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1344868352 269271 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1344868352 269271 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1344868352 269271 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.32 2.23 2.20 3/184 14754
/proc/meminfo: memFree=28083880/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 269768 0 0 0 594 34 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140735064120448 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 328593 269564 890 2943 0 325487 0
[pid=14750/tid=14751] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.30 2.23 2.20 4/184 14766
/proc/meminfo: memFree=28082724/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 269768 0 0 0 1234 35 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140735064121544 5808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 328593 269564 890 2943 0 325487 0
[pid=14750/tid=14751] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1345916928 269564 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.23 2.21 2.19 3/184 14766
/proc/meminfo: memFree=28076816/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1321540 CPUtime=25.49 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 271560 0 0 0 2514 35 0 0 20 0 4 0 108326947 1353256960 271356 33554432000 4194304 16246674 140735064138544 140735064120448 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 330385 271356 890 2943 0 327279 0
[pid=14750/tid=14751] ppid=14747 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1353256960 271356 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1353256960 271356 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1353256960 271356 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.23 2.21 2.19 3/184 14766
/proc/meminfo: memFree=28068760/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1329732 CPUtime=51.08 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 273610 0 0 0 5072 36 0 0 20 0 4 0 108326947 1361645568 273406 33554432000 4194304 16246674 140735064138544 140735064120448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 332433 273406 892 2943 0 329327 0
[pid=14750/tid=14751] ppid=14747 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1361645568 273406 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1361645568 273406 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1361645568 273406 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.24 2.21 2.19 4/183 14768
/proc/meminfo: memFree=28050116/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1348164 CPUtime=102.27 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 278218 0 0 0 10190 37 0 0 20 0 4 0 108326947 1380519936 278014 33554432000 4194304 16246674 140735064138544 140735064120448 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14750/statm: 337041 278014 892 2943 0 333935 0
[pid=14750/tid=14751] ppid=14747 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1380519936 278014 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1380519936 278014 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1380519936 278014 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1348164


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

/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1353284

[startup+1302.3 s]
/proc/loadavg: 2.34 2.24 2.19 3/183 14918
/proc/meminfo: memFree=28053196/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1353284 CPUtime=1301.88 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 279900 0 0 0 130135 53 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140735064120448 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 338321 279551 893 2943 0 335215 0
[pid=14750/tid=14751] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 14919
/proc/meminfo: memFree=28049448/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1353284 CPUtime=1361.87 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 279900 0 0 0 136133 54 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140735064120448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 338321 279551 893 2943 0 335215 0
[pid=14750/tid=14751] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 14920
/proc/meminfo: memFree=28039652/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1353284 CPUtime=1421.86 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 279900 0 0 0 142132 54 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140735064136384 13950476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 338321 279551 893 2943 0 335215 0
[pid=14750/tid=14751] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/184 14924
/proc/meminfo: memFree=28039536/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1353284 CPUtime=1481.85 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 279900 0 0 0 148129 56 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140735064120448 12479221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 338321 279551 893 2943 0 335215 0
[pid=14750/tid=14751] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.35 2.25 2.19 3/183 14925
/proc/meminfo: memFree=28039524/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1353284 CPUtime=1541.83 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 279900 0 0 0 154127 56 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140735064121536 6011936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 338321 279551 893 2943 0 335215 0
[pid=14750/tid=14751] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1385762816 279551 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/182 14926
/proc/meminfo: memFree=28030332/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1362500 CPUtime=1601.82 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 282204 0 0 0 160123 59 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140735064120448 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 340625 281855 893 2943 0 337519 0
[pid=14750/tid=14751] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1362500

[startup+1662.3 s]
/proc/loadavg: 2.12 2.20 2.18 4/183 14928
/proc/meminfo: memFree=28031276/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1362500 CPUtime=1661.82 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 282204 0 0 0 166122 60 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140735064120448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 340625 281855 893 2943 0 337519 0
[pid=14750/tid=14751] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1362500

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 14929
/proc/meminfo: memFree=28031232/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1362500 CPUtime=1721.8 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 282204 0 0 0 172120 60 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140735064120448 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 340625 281855 893 2943 0 337519 0
[pid=14750/tid=14751] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1362500

[startup+1782.3 s]
/proc/loadavg: 2.32 2.23 2.19 4/183 14930
/proc/meminfo: memFree=28030992/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1362500 CPUtime=1781.79 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 282204 0 0 0 178118 61 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140735064120448 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 340625 281855 893 2943 0 337519 0
[pid=14750/tid=14751] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1395200000 281855 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1362500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.43 2.26 2.20 3/183 14930
/proc/meminfo: memFree=28027768/32872528 swapFree=17452/1581112
[pid=14750] ppid=14747 vsize=1365572 CPUtime=1800.09 cores=0,2,4,6
/proc/14750/stat : 14750 (toysat) R 14747 14750 13546 0 -1 4202496 282972 0 0 0 179948 61 0 0 20 0 4 0 108326947 1398345728 282623 33554432000 4194304 16246674 140735064138544 140735064120448 12875392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 341393 282623 893 2943 0 338287 0
[pid=14750/tid=14751] ppid=14747 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14751/stat : 14751 (toysat) S 14747 14750 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108326947 1398345728 282623 33554432000 4194304 16246674 140735064138544 140247670172912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14750/tid=14752] ppid=14747 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14752/stat : 14752 (toysat) S 14747 14750 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108326947 1398345728 282623 33554432000 4194304 16246674 140735064138544 140247659683056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14750/tid=14753] ppid=14747 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/14750/task/14753/stat : 14753 (toysat) S 14747 14750 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108326947 1398345728 282623 33554432000 4194304 16246674 140735064138544 140247649209520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1365572

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.49
CPU system time (s): 0.616906
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1365572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.616906
maximum resident set size= 1130492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282972
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= 416
involuntary context switches= 2316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5943 second user time and 6.92395 second system time

The end

Begin job on node139 at 2016-06-07 03:45:50
IDJOB=4078957
IDBENCH=48320
IDSOLVER=2542
FILE ID=node139/4078957-1465263950
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078957-1465263950/watcher-4078957-1465263950 -o /tmp/evaluation-result-4078957-1465263950/solver-4078957-1465263950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078957-1465263950.opb

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

MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3
RANDOM SEED=1346691796

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:        29161812 kB
Buffers:          115660 kB
Cached:           170364 kB
SwapCached:         1464 kB
Active:          1226220 kB
Inactive:         167692 kB
Active(anon):    1107916 kB
Inactive(anon):     2220 kB
Active(file):     118304 kB
Inactive(file):   165472 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2786148 kB
Mapped:            11008 kB
Shmem:                 0 kB
Slab:             599984 kB
SReclaimable:      44092 kB
SUnreclaim:       555892 kB
KernelStack:        1528 kB
PageTables:         9396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2830724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2152448 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= 71700 MiB
End job on node139 at 2016-06-07 04:15:51