0.00/0.00	c 2016-06-18T21:59:10+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-4106883-1466279950.opb"]
0.00/0.01	c use --random-gen="374544869 1191880249 3130732500 1807622930 2385119876 2687086181 1590446094 2468577341 2051489188 2232785463 495161111 1916035555 320668394 3828082339 1358572878 2199162495 3708792154 3006353108 4084310032 4070970573 1670319533 1343700065 2490804175 2997834034 3283091937 706376325 556621432 4207976750 1846775759 4124206557 1490752227 2199375603 3582880710 1408662170 1566022107 4284476435 1245416820 1875996392 939088735 1597156180 2651529749 102287630 811382095 1041952735 4156055450 4101240401 1341575179 2561193927 1381187202 1722587212 473870081 3497851610 787056516 4196864406 3412948530 1700678750 1668035783 3910586568 3449925877 280478984 165706672 19462690 973652710 543679079 3072283319 2258969705 2752234541 3890333702 3307570636 109751450 1589974703 3817713731 2164143488 3975180431 3823611640 2109536655 1056552278 2398333517 3018621895 3316928938 3785528316 2052609715 464990311 500293412 1117160759 3616003855 1976618285 826350477 623598728 4234657863 532413647 3549583003 1570927539 3789111814 3185155672 243343314 3296870516 1022987703 3949553454 1294393772 3315964753 2184629447 2087028636 1946096244 2006658153 4116617610 1608563389 3176003882 802156911 120554892 4273448356 729805449 1806978314 2031297283 2742204065 3825507512 4221183507 733099324 1921946899 3669344694 1468816881 2292435249 696958529 654051849 212879020 4165370620 2630970074 1591521265 2729329180 2682795689 542235080 1888495185 2288977088 3346363999 3375264840 4275984528 3015867479 1159279793 2935080952 12207166 2214653786 2414558125 1277128516 791635748 2108632383 2992739945 419848575 8634310 1498930787 1548485420 2355034345 621743031 1763050747 1475838770 1602695788 112994316 733729034 623516007 1920590280 4014204738 2949873441 1497075918 1841124109 3770986291 1868663815 871213884 1497693709 1724063305 923522318 852694916 1455534658 2815694765 521160227 2308583262 3745666059 3691146292 4174198295 470678335 3080579425 3283621488 496861523 3316848629 434273112 3265998943 761451053 520296446 2886336862 3565653443 2008821427 506212972 172741334 3196657553 2064642296 846158921 2618704930 4022341901 554960975 2418839739 2477283541 2597982990 405154503 2030883388 1325008669 1731575340 1904887260 1643430731 1328123872 955017681 1243656494 1321199032 1033165165 524629730 2893968375 4096217881 3366256730 938732215 2239692461 2633495243 3781873717 2951493034 637297661 3313361908 3022555050 937158634 2818231482 833587547 558950198 2941427879 4078565620 426327511 2815101084 4289642523 1195073719 936355641 1895128056 3962280469 3739368154 600455125 965557071 2007507526 1116489098 3211334148 2519315576 2814862905 2411772506 3540311082 4055241279 34595810 3734534917 3101379512 1862889477 2211633135 927566032 1466601443 138536636 717815412 255 362436" option to reproduce the execution
0.00/0.02	c #vars 200
0.00/0.02	c #constraints 302
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1007      0 |        0 |        0
0.09/0.10	c  0.1s |       1 |      284 |      100 |     1007      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |     2536 |      250 |     1108      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     2850 |      475 |     1219      0 |        0 |        0
0.38/0.40	c  0.4s |       4 |     3349 |      813 |     1341      0 |        0 |        0
0.59/0.65	c  0.6s |       5 |     3961 |     1320 |     1476      0 |        0 |        0
0.68/1.05	c  1.0s |       6 |     4901 |     2081 |     1787      1 |        0 |        0
1.39/1.46	c  1.4s |       7 |     6426 |     3223 |     1966      2 |        0 |        0
1.99/2.07	c  2.0s |       8 |     8550 |     4936 |     2163      3 |        0 |        0
2.89/2.96	c  2.9s |       9 |    11740 |     7506 |     2380      6 |        0 |        0
4.39/4.40	c  4.3s |      10 |    16036 |    11361 |     2618      9 |        0 |        0
6.39/6.41	c  6.4s |      10 |    21918 |    16561 |     2618     12 |        0 |        0
6.59/6.64	c  6.6s |      11 |    22532 |    17144 |     2880     13 |        0 |        0
8.59/8.64	c  8.6s |      11 |    28587 |    22444 |     2880     16 |        0 |        0
9.79/9.81	c  9.8s |      12 |    32254 |    25819 |     3169     18 |        0 |        0
11.79/11.82	c 11.8s |      12 |    37886 |    31019 |     3169     21 |        0 |        0
13.79/13.83	c 13.8s |      12 |    44115 |    36719 |     3169     25 |        0 |        0
14.49/14.51	c 14.5s |      13 |    46496 |    38832 |     3486     26 |        0 |        0
16.49/16.53	c 16.5s |      13 |    52916 |    44332 |     3486     29 |        0 |        0
18.49/18.55	c 18.5s |      13 |    59288 |    49932 |     3486     32 |        0 |        0
20.48/20.56	c 20.5s |      13 |    65690 |    55732 |     3486     35 |        0 |        0
21.38/21.49	c 21.4s |      14 |    68655 |    58352 |     3835     37 |        0 |        0
23.48/23.53	c 23.5s |      14 |    74159 |    63352 |     3835     39 |        0 |        0
25.49/25.55	c 25.5s |      14 |    80253 |    68852 |     3835     42 |        0 |        0
27.48/27.57	c 27.5s |      14 |    86875 |    74552 |     3835     45 |        0 |        0
29.48/29.58	c 29.5s |      14 |    92994 |    80052 |     3835     48 |        0 |        0
31.48/31.59	c 31.5s |      14 |    99418 |    85852 |     3835     51 |        0 |        0
32.19/32.21	c 32.2s |      15 |   101400 |    87632 |     4219     51 |        0 |        0
34.18/34.26	c 34.2s |      15 |   106387 |    92232 |     4219     54 |        0 |        0
36.18/36.27	c 36.2s |      15 |   112210 |    97532 |     4219     56 |        0 |        0
38.18/38.28	c 38.2s |      15 |   118898 |   103232 |     4219     59 |        0 |        0
40.18/40.29	c 40.2s |      15 |   125540 |   108932 |     4219     61 |        0 |        0
42.28/42.30	c 42.2s |      15 |   131445 |   114132 |     4219     64 |        0 |        0
44.19/44.30	c 44.3s |      15 |   137347 |   119432 |     4219     66 |        0 |        0
46.28/46.32	c 46.3s |      15 |   143705 |   125132 |     4219     69 |        0 |        0
48.28/48.33	c 48.3s |      15 |   150058 |   130832 |     4641     71 |        0 |        0
48.58/48.61	c 48.6s |      16 |   150846 |   131552 |     4641     72 |        0 |        0
50.58/50.64	c 50.6s |      16 |   156386 |   136552 |     4641     74 |        0 |        0
52.58/52.67	c 52.6s |      16 |   161710 |   141452 |     4641     76 |        0 |        0
54.58/54.68	c 54.6s |      16 |   166922 |   146352 |     4641     78 |        0 |        0
56.68/56.70	c 56.7s |      16 |   172308 |   151352 |     4641     80 |        0 |        0
58.68/58.71	c 58.7s |      16 |   177996 |   156552 |     4641     82 |        0 |        0
60.68/60.72	c 60.7s |      16 |   183503 |   161652 |     4641     84 |        0 |        0
62.68/62.72	c 62.7s |      16 |   189340 |   166952 |     4641     86 |        0 |        0
64.68/64.76	c 64.7s |      16 |   195136 |   172252 |     4641     89 |        0 |        0
66.67/66.79	c 66.7s |      16 |   201114 |   177652 |     4641     91 |        0 |        0
68.77/68.81	c 68.8s |      16 |   207372 |   183352 |     4641     93 |        0 |        0
70.77/70.87	c 70.8s |      16 |   214437 |   189552 |     4641     96 |        0 |        0
72.79/72.90	c 72.9s |      16 |   220201 |   194552 |     4641     98 |        0 |        0
73.89/74.00	c 73.9s |      17 |   223432 |   197432 |     5106     99 |        0 |        0
75.98/76.02	c 76.0s |      17 |   228378 |   201932 |     5106    101 |        0 |        0
77.98/78.04	c 78.0s |      17 |   233702 |   206732 |     5106    103 |        0 |        0
79.98/80.07	c 80.0s |      17 |   239938 |   212232 |     5106    105 |        0 |        0
81.98/82.09	c 82.0s |      17 |   245945 |   217632 |     5106    107 |        0 |        0
84.08/84.10	c 84.1s |      17 |   251461 |   222632 |     5106    109 |        0 |        0
86.08/86.12	c 86.1s |      17 |   257383 |   227932 |     5106    111 |        0 |        0
88.07/88.13	c 88.1s |      17 |   263562 |   233532 |     5106    113 |        0 |        0
90.07/90.14	c 90.1s |      17 |   270439 |   239632 |     5106    115 |        0 |        0
92.07/92.17	c 92.1s |      17 |   277782 |   245932 |     5106    118 |        0 |        0
94.07/94.19	c 94.1s |      17 |   282303 |   249932 |     5106    119 |        0 |        0
96.17/96.20	c 96.2s |      17 |   287864 |   254932 |     5106    121 |        0 |        0
98.18/98.21	c 98.2s |      17 |   293616 |   259932 |     5106    123 |        0 |        0
100.17/100.22	c  100s |      17 |   299594 |   265232 |     5106    125 |        0 |        0
102.17/102.23	c  102s |      17 |   305662 |   270432 |     5106    127 |        0 |        0
104.17/104.26	c  104s |      17 |   312654 |   276332 |     5106    129 |        0 |        0
106.17/106.26	c  106s |      17 |   319145 |   281932 |     5106    132 |        0 |        0
108.17/108.28	c  108s |      17 |   326490 |   288132 |     5106    134 |        0 |        0
110.18/110.28	c  110s |      17 |   331289 |   292332 |     5106    136 |        0 |        0
111.77/111.82	c  111s |      18 |   335718 |   296252 |     5617    137 |        0 |        0
113.77/113.85	c  113s |      18 |   341352 |   301152 |     5617    139 |        0 |        0
115.77/115.85	c  115s |      18 |   346732 |   306052 |     5617    140 |        0 |        0
117.77/117.87	c  117s |      18 |   352526 |   311052 |     5617    142 |        0 |        0
119.77/119.88	c  119s |      18 |   358410 |   316252 |     5617    144 |        0 |        0
121.77/121.88	c  121s |      18 |   365045 |   322052 |     5617    146 |        0 |        0
123.77/123.89	c  123s |      18 |   372436 |   328352 |     5617    148 |        0 |        0
125.87/125.93	c  125s |      18 |   377607 |   332652 |     5617    150 |        0 |        0
127.88/127.94	c  127s |      18 |   383228 |   337452 |     5617    151 |        0 |        0
129.87/129.96	c  129s |      18 |   388376 |   342052 |     5617    153 |        0 |        0
131.87/131.98	c  131s |      18 |   393986 |   346952 |     5617    155 |        0 |        0
133.97/134.00	c  133s |      18 |   398761 |   351352 |     5617    156 |        0 |        0
135.97/136.03	c  135s |      18 |   404302 |   356352 |     5617    158 |        0 |        0
137.97/138.04	c  137s |      18 |   410058 |   361252 |     5617    160 |        0 |        0
139.97/140.06	c  140s |      18 |   415413 |   366152 |     5617    161 |        0 |        0
142.07/142.11	c  142s |      18 |   421448 |   371552 |     5617    163 |        0 |        0
144.07/144.14	c  144s |      18 |   427965 |   377152 |     5617    165 |        0 |        0
146.07/146.14	c  146s |      18 |   435618 |   383452 |     5617    167 |        0 |        0
148.07/148.16	c  148s |      18 |   440410 |   387652 |     5617    169 |        0 |        0
150.06/150.18	c  150s |      18 |   446186 |   392852 |     5617    171 |        0 |        0
152.07/152.19	c  152s |      18 |   450579 |   396752 |     5617    172 |        0 |        0
154.17/154.21	c  154s |      18 |   455926 |   401652 |     5617    174 |        0 |        0
156.16/156.26	c  156s |      18 |   461188 |   406352 |     5617    175 |        0 |        0
158.16/158.28	c  158s |      18 |   467416 |   411652 |     5617    177 |        0 |        0
160.16/160.29	c  160s |      18 |   473214 |   416952 |     5617    179 |        0 |        0
162.26/162.32	c  162s |      18 |   480255 |   423052 |     5617    181 |        0 |        0
164.26/164.34	c  164s |      18 |   486993 |   428852 |     5617    183 |        0 |        0
166.27/166.37	c  166s |      18 |   492945 |   433652 |     5617    185 |        0 |        0
168.27/168.38	c  168s |      18 |   498237 |   438252 |     5617    186 |        0 |        0
170.37/170.41	c  170s |      18 |   503979 |   443152 |     6179    188 |        0 |        0
170.97/171.02	c  170s |      19 |   505526 |   444482 |     6179    188 |        0 |        0
172.97/173.04	c  172s |      19 |   509669 |   448182 |     6179    190 |        0 |        0
174.97/175.07	c  175s |      19 |   514783 |   452982 |     6179    191 |        0 |        0
176.97/177.08	c  177s |      19 |   519869 |   457682 |     6179    193 |        0 |        0
179.07/179.13	c  179s |      19 |   525705 |   462882 |     6179    194 |        0 |        0
181.07/181.17	c  181s |      19 |   530724 |   467582 |     6179    196 |        0 |        0
183.07/183.17	c  183s |      19 |   537062 |   473082 |     6179    197 |        0 |        0
185.16/185.20	c  185s |      19 |   542008 |   477382 |     6179    199 |        0 |        0
187.17/187.21	c  187s |      19 |   547682 |   482582 |     6179    201 |        0 |        0
189.16/189.24	c  189s |      19 |   553366 |   487582 |     6179    202 |        0 |        0
191.16/191.26	c  191s |      19 |   558717 |   492282 |     6179    204 |        0 |        0
193.16/193.26	c  193s |      19 |   564363 |   497182 |     6179    205 |        0 |        0
195.16/195.28	c  195s |      19 |   569914 |   502182 |     6179    207 |        0 |        0
197.26/197.33	c  197s |      19 |   576434 |   507782 |     6179    209 |        0 |        0
199.46/199.55	c  199s |      19 |   582518 |   513182 |     6179    210 |        0 |        0
201.47/201.56	c  201s |      19 |   588566 |   518382 |     6179    212 |        0 |        0
203.46/203.56	c  203s |      19 |   594595 |   523782 |     6179    214 |        0 |        0
205.46/205.58	c  205s |      19 |   600403 |   528882 |     6179    215 |        0 |        0
207.46/207.58	c  207s |      19 |   606775 |   534382 |     6179    217 |        0 |        0
209.46/209.59	c  209s |      19 |   613315 |   539782 |     6179    219 |        0 |        0
211.55/211.60	c  211s |      19 |   620223 |   545582 |     6179    221 |        0 |        0
213.56/213.62	c  213s |      19 |   627506 |   551382 |     6179    222 |        0 |        0
215.55/215.64	c  215s |      19 |   634814 |   557282 |     6179    224 |        0 |        0
217.55/217.65	c  217s |      19 |   642158 |   563482 |     6179    226 |        0 |        0
219.55/219.68	c  219s |      19 |   647290 |   567682 |     6179    228 |        0 |        0
221.55/221.69	c  221s |      19 |   652623 |   572282 |     6179    229 |        0 |        0
223.56/223.69	c  223s |      19 |   658162 |   577082 |     6179    231 |        0 |        0
225.56/225.69	c  225s |      19 |   663604 |   581782 |     6179    232 |        0 |        0
227.66/227.71	c  227s |      19 |   669433 |   586682 |     6179    234 |        0 |        0
229.66/229.75	c  229s |      19 |   674480 |   591282 |     6179    235 |        0 |        0
231.66/231.78	c  231s |      19 |   679732 |   595782 |     6179    237 |        0 |        0
233.76/233.80	c  233s |      19 |   685748 |   600982 |     6179    238 |        0 |        0
235.75/235.81	c  235s |      19 |   691575 |   605882 |     6179    240 |        0 |        0
237.76/237.82	c  237s |      19 |   698116 |   611382 |     6179    241 |        0 |        0
240.06/240.19	c  240s |      19 |   705129 |   617082 |     6179    243 |        0 |        0
242.16/242.22	c  242s |      19 |   710426 |   621682 |     6179    245 |        0 |        0
244.15/244.23	c  244s |      19 |   715217 |   626182 |     6179    246 |        0 |        0
246.15/246.26	c  246s |      19 |   720470 |   630682 |     6179    248 |        0 |        0
248.15/248.26	c  248s |      19 |   725927 |   635582 |     6179    249 |        0 |        0
250.15/250.28	c  250s |      19 |   730827 |   639982 |     6179    251 |        0 |        0
252.25/252.32	c  252s |      19 |   736257 |   644682 |     6179    252 |        0 |        0
254.25/254.32	c  254s |      19 |   741345 |   649082 |     6179    253 |        0 |        0
256.25/256.35	c  256s |      19 |   748183 |   654782 |     6179    255 |        0 |        0
258.25/258.38	c  258s |      19 |   754654 |   660182 |     6179    257 |        0 |        0
260.34/260.49	c  260s |      19 |   760966 |   665282 |     6797    258 |        0 |        0
261.04/261.10	c  261s |      20 |   762694 |   666827 |     6797    259 |        0 |        0
263.05/263.12	c  263s |      20 |   767508 |   671127 |     6797    260 |        0 |        0
265.05/265.13	c  265s |      20 |   772432 |   675527 |     6797    261 |        0 |        0
267.05/267.14	c  267s |      20 |   777460 |   680127 |     6797    263 |        0 |        0
269.05/269.17	c  269s |      20 |   782616 |   684727 |     6797    264 |        0 |        0
271.15/271.26	c  271s |      20 |   788341 |   689727 |     6797    266 |        0 |        0
273.15/273.29	c  273s |      20 |   794144 |   694727 |     6797    267 |        0 |        0
275.26/275.31	c  275s |      20 |   799949 |   699727 |     6797    268 |        0 |        0
277.25/277.33	c  277s |      20 |   806496 |   705227 |     6797    270 |        0 |        0
279.25/279.36	c  279s |      20 |   812423 |   709727 |     6797    271 |        0 |        0
281.25/281.36	c  281s |      20 |   817651 |   714127 |     6797    273 |        0 |        0
283.25/283.36	c  283s |      20 |   822823 |   718627 |     6797    274 |        0 |        0
285.25/285.38	c  285s |      20 |   827777 |   723027 |     6797    275 |        0 |        0
287.35/287.42	c  287s |      20 |   832155 |   727127 |     6797    276 |        0 |        0
289.35/289.43	c  289s |      20 |   837044 |   731627 |     6797    278 |        0 |        0
291.34/291.47	c  291s |      20 |   841545 |   735727 |     6797    279 |        0 |        0
293.34/293.48	c  293s |      20 |   847119 |   740627 |     6797    280 |        0 |        0
295.44/295.54	c  295s |      20 |   852067 |   744927 |     6797    282 |        0 |        0
297.44/297.54	c  297s |      20 |   857384 |   749627 |     6797    283 |        0 |        0
299.45/299.58	c  299s |      20 |   862934 |   754627 |     6797    284 |        0 |        0
301.44/301.60	c  301s |      20 |   869001 |   760027 |     6797    286 |        0 |        0
304.34/304.49	c  304s |      20 |   874862 |   765127 |     6797    287 |        0 |        0
306.44/306.52	c  306s |      20 |   880046 |   769727 |     6797    289 |        0 |        0
308.44/308.56	c  308s |      20 |   885126 |   774427 |     6797    290 |        0 |        0
310.45/310.58	c  310s |      20 |   890752 |   779227 |     6797    291 |        0 |        0
312.54/312.62	c  312s |      20 |   895678 |   783727 |     6797    293 |        0 |        0
314.54/314.64	c  314s |      20 |   900962 |   788627 |     6797    294 |        0 |        0
316.54/316.66	c  316s |      20 |   906585 |   793527 |     6797    296 |        0 |        0
318.54/318.68	c  318s |      20 |   913142 |   799227 |     6797    297 |        0 |        0
320.64/320.71	c  320s |      20 |   917168 |   802627 |     6797    298 |        0 |        0
322.64/322.73	c  322s |      20 |   922655 |   807427 |     6797    300 |        0 |        0
324.64/324.74	c  324s |      20 |   928573 |   812627 |     6797    301 |        0 |        0
326.63/326.77	c  326s |      20 |   934821 |   817827 |     6797    303 |        0 |        0
328.64/328.77	c  328s |      20 |   939628 |   822127 |     6797    304 |        0 |        0
330.74/330.81	c  330s |      20 |   945137 |   827127 |     6797    305 |        0 |        0
332.74/332.83	c  332s |      20 |   951550 |   832727 |     6797    307 |        0 |        0
334.84/334.90	c  334s |      20 |   956509 |   837127 |     6797    308 |        0 |        0
336.85/336.92	c  336s |      20 |   962079 |   842127 |     6797    310 |        0 |        0
338.84/338.93	c  338s |      20 |   967783 |   847027 |     6797    311 |        0 |        0
340.84/340.95	c  340s |      20 |   973291 |   852027 |     6797    313 |        0 |        0
342.84/342.96	c  342s |      20 |   979359 |   857327 |     6797    314 |        0 |        0
344.84/344.96	c  344s |      20 |   985034 |   862227 |     6797    316 |        0 |        0
346.84/346.99	c  346s |      20 |   992296 |   868227 |     6797    317 |        0 |        0
348.95/349.03	c  348s |      20 |   999936 |   874527 |     6797    319 |        0 |        0
350.93/351.04	c  350s |      20 |  1003353 |   877427 |     6797    320 |        0 |        0
352.93/353.05	c  353s |      20 |  1008450 |   882027 |     6797    321 |        0 |        0
355.03/355.10	c  355s |      20 |  1012896 |   886127 |     6797    322 |        0 |        0
357.03/357.14	c  357s |      20 |  1017829 |   890727 |     6797    324 |        0 |        0
359.03/359.15	c  359s |      20 |  1022777 |   895327 |     6797    325 |        0 |        0
361.04/361.18	c  361s |      20 |  1028034 |   900027 |     6797    326 |        0 |        0
363.03/363.18	c  363s |      20 |  1033750 |   905027 |     6797    328 |        0 |        0
365.03/365.19	c  365s |      20 |  1039955 |   910227 |     6797    329 |        0 |        0
367.13/367.22	c  367s |      20 |  1044441 |   914027 |     6797    331 |        0 |        0
369.13/369.25	c  369s |      20 |  1049780 |   918727 |     6797    332 |        0 |        0
371.13/371.29	c  371s |      20 |  1055069 |   923527 |     6797    333 |        0 |        0
373.23/373.31	c  373s |      20 |  1059720 |   927727 |     6797    335 |        0 |        0
375.24/375.31	c  375s |      20 |  1065611 |   932827 |     6797    336 |        0 |        0
377.23/377.36	c  377s |      20 |  1071075 |   937627 |     6797    337 |        0 |        0
379.23/379.37	c  379s |      20 |  1076529 |   942327 |     6797    339 |        0 |        0
381.43/381.55	c  381s |      20 |  1082154 |   947127 |     6797    340 |        0 |        0
383.53/383.63	c  383s |      20 |  1087639 |   951927 |     6797    342 |        0 |        0
385.53/385.66	c  385s |      20 |  1093682 |   957227 |     6797    343 |        0 |        0
387.63/387.70	c  387s |      20 |  1098993 |   961927 |     6797    344 |        0 |        0
389.63/389.71	c  389s |      20 |  1104603 |   966927 |     6797    346 |        0 |        0
391.62/391.77	c  391s |      20 |  1109894 |   971627 |     6797    347 |        0 |        0
393.62/393.79	c  393s |      20 |  1115396 |   976427 |     6797    349 |        0 |        0
395.72/395.81	c  395s |      20 |  1121803 |   981927 |     6797    350 |        0 |        0
397.73/397.82	c  397s |      20 |  1128674 |   987527 |     6797    352 |        0 |        0
399.73/399.86	c  399s |      20 |  1133791 |   991927 |     6797    353 |        0 |        0
401.74/401.86	c  401s |      20 |  1139522 |   997027 |     7477    354 |        0 |        0
402.93/403.05	c  402s |      21 |  1143434 |  1000345 |     7477    355 |        0 |        0
404.94/405.06	c  405s |      21 |  1147014 |  1003445 |     7477    356 |        0 |        0
407.03/407.10	c  407s |      21 |  1152364 |  1008145 |     7477    357 |        0 |        0
409.03/409.14	c  409s |      21 |  1157336 |  1012545 |     7477    358 |        0 |        0
411.03/411.14	c  411s |      21 |  1162316 |  1016945 |     7477    360 |        0 |        0
413.03/413.18	c  413s |      21 |  1168260 |  1022145 |     7477    361 |        0 |        0
415.13/415.21	c  415s |      21 |  1174975 |  1027845 |     7477    362 |        0 |        0
417.13/417.24	c  417s |      21 |  1179338 |  1031545 |     7477    363 |        0 |        0
419.13/419.26	c  419s |      21 |  1183254 |  1035045 |     7477    364 |        0 |        0
421.23/421.33	c  421s |      21 |  1188182 |  1039545 |     7477    366 |        0 |        0
423.23/423.33	c  423s |      21 |  1193091 |  1043845 |     7477    367 |        0 |        0
425.23/425.34	c  425s |      21 |  1198533 |  1048645 |     7477    368 |        0 |        0
427.23/427.38	c  427s |      21 |  1203181 |  1052945 |     7477    369 |        0 |        0
429.32/429.41	c  429s |      21 |  1208702 |  1057645 |     7477    370 |        0 |        0
431.33/431.42	c  431s |      21 |  1213385 |  1062045 |     7477    371 |        0 |        0
433.32/433.42	c  433s |      21 |  1218405 |  1066545 |     7477    373 |        0 |        0
435.32/435.42	c  435s |      21 |  1224406 |  1071945 |     7477    374 |        0 |        0
437.32/437.46	c  437s |      21 |  1227941 |  1075145 |     7477    375 |        0 |        0
439.32/439.48	c  439s |      21 |  1231883 |  1078645 |     7477    376 |        0 |        0
441.42/441.50	c  441s |      21 |  1237501 |  1083645 |     7477    377 |        0 |        0
443.32/443.50	c  443s |      21 |  1242781 |  1088445 |     7477    378 |        0 |        0
445.42/445.53	c  445s |      21 |  1249298 |  1094045 |     7477    380 |        0 |        0
447.62/447.71	c  447s |      21 |  1255164 |  1099145 |     7477    381 |        0 |        0
449.92/450.04	c  449s |      21 |  1259037 |  1102645 |     7477    382 |        0 |        0
451.92/452.06	c  452s |      21 |  1264150 |  1107245 |     7477    383 |        0 |        0
453.92/454.06	c  454s |      21 |  1268478 |  1111045 |     7477    384 |        0 |        0
456.02/456.10	c  456s |      21 |  1273816 |  1115745 |     7477    386 |        0 |        0
458.02/458.10	c  458s |      21 |  1278912 |  1120145 |     7477    387 |        0 |        0
460.02/460.13	c  460s |      21 |  1285327 |  1125545 |     7477    388 |        0 |        0
462.02/462.13	c  462s |      21 |  1291924 |  1130845 |     7477    390 |        0 |        0
464.02/464.16	c  464s |      21 |  1297990 |  1135945 |     7477    391 |        0 |        0
466.02/466.19	c  466s |      21 |  1303808 |  1140945 |     7477    392 |        0 |        0
468.11/468.20	c  468s |      21 |  1307493 |  1144145 |     7477    393 |        0 |        0
470.12/470.24	c  470s |      21 |  1313260 |  1149045 |     7477    394 |        0 |        0
472.13/472.24	c  472s |      21 |  1317818 |  1153245 |     7477    396 |        0 |        0
474.12/474.27	c  474s |      21 |  1323041 |  1157945 |     7477    397 |        0 |        0
476.12/476.29	c  476s |      21 |  1329788 |  1163645 |     7477    398 |        0 |        0
478.42/478.50	c  478s |      21 |  1335698 |  1168745 |     7477    400 |        0 |        0
480.42/480.53	c  480s |      21 |  1340571 |  1173045 |     7477    401 |        0 |        0
482.42/482.58	c  482s |      21 |  1346721 |  1178445 |     7477    402 |        0 |        0
484.42/484.59	c  484s |      21 |  1353411 |  1183945 |     7477    404 |        0 |        0
486.51/486.60	c  486s |      21 |  1358735 |  1188345 |     7477    405 |        0 |        0
488.52/488.62	c  488s |      21 |  1364212 |  1193245 |     7477    406 |        0 |        0
490.61/490.78	c  490s |      21 |  1371172 |  1198945 |     7477    408 |        0 |        0
492.71/492.82	c  492s |      21 |  1377478 |  1204445 |     7477    409 |        0 |        0
494.72/494.88	c  494s |      21 |  1383281 |  1209545 |     7477    410 |        0 |        0
496.72/496.89	c  496s |      21 |  1390196 |  1215245 |     7477    412 |        0 |        0
498.82/498.92	c  498s |      21 |  1398543 |  1221745 |     7477    414 |        0 |        0
500.81/500.96	c  500s |      21 |  1402403 |  1224745 |     7477    414 |        0 |        0
502.82/502.99	c  502s |      21 |  1407399 |  1229145 |     7477    416 |        0 |        0
504.91/505.01	c  504s |      21 |  1412586 |  1233745 |     7477    417 |        0 |        0
506.91/507.02	c  506s |      21 |  1416892 |  1237745 |     7477    418 |        0 |        0
508.91/509.05	c  508s |      21 |  1420313 |  1240945 |     7477    419 |        0 |        0
511.01/511.18	c  511s |      21 |  1425771 |  1245745 |     7477    420 |        0 |        0
513.11/513.20	c  513s |      21 |  1430725 |  1250245 |     7477    421 |        0 |        0
515.11/515.22	c  515s |      21 |  1435826 |  1254845 |     7477    422 |        0 |        0
517.12/517.24	c  517s |      21 |  1440545 |  1259045 |     7477    423 |        0 |        0
519.11/519.28	c  519s |      21 |  1445938 |  1263845 |     7477    425 |        0 |        0
521.11/521.29	c  521s |      21 |  1451439 |  1268845 |     7477    426 |        0 |        0
523.11/523.29	c  523s |      21 |  1457219 |  1273945 |     7477    427 |        0 |        0
525.21/525.31	c  525s |      21 |  1463308 |  1279145 |     7477    429 |        0 |        0
527.51/527.68	c  527s |      21 |  1467324 |  1282545 |     7477    430 |        0 |        0
529.51/529.69	c  529s |      21 |  1471588 |  1286345 |     7477    431 |        0 |        0
531.61/531.70	c  531s |      21 |  1475987 |  1290345 |     7477    432 |        0 |        0
533.61/533.72	c  533s |      21 |  1480499 |  1294345 |     7477    433 |        0 |        0
535.61/535.74	c  535s |      21 |  1485277 |  1298745 |     7477    434 |        0 |        0
537.61/537.76	c  537s |      21 |  1490623 |  1303445 |     7477    435 |        0 |        0
539.61/539.77	c  539s |      21 |  1494835 |  1307445 |     7477    436 |        0 |        0
541.60/541.78	c  541s |      21 |  1499891 |  1311945 |     7477    437 |        0 |        0
543.61/543.79	c  543s |      21 |  1504892 |  1316445 |     7477    439 |        0 |        0
545.60/545.79	c  545s |      21 |  1510508 |  1321445 |     7477    440 |        0 |        0
547.70/547.81	c  547s |      21 |  1516260 |  1326545 |     7477    441 |        0 |        0
550.21/550.39	c  550s |      21 |  1522441 |  1331645 |     7477    443 |        0 |        0
552.31/552.41	c  552s |      21 |  1525915 |  1334645 |     7477    443 |        0 |        0
554.30/554.43	c  554s |      21 |  1530459 |  1338745 |     7477    444 |        0 |        0
556.30/556.43	c  556s |      21 |  1535041 |  1342845 |     7477    446 |        0 |        0
558.30/558.44	c  558s |      21 |  1540353 |  1347445 |     7477    447 |        0 |        0
560.30/560.45	c  560s |      21 |  1545931 |  1352445 |     7477    448 |        0 |        0
562.31/562.47	c  562s |      21 |  1551126 |  1357045 |     7477    449 |        0 |        0
564.30/564.48	c  564s |      21 |  1556290 |  1361645 |     7477    451 |        0 |        0
566.30/566.48	c  566s |      21 |  1561873 |  1366645 |     7477    452 |        0 |        0
568.30/568.49	c  568s |      21 |  1567945 |  1371945 |     7477    453 |        0 |        0
570.40/570.52	c  570s |      21 |  1571611 |  1375045 |     7477    454 |        0 |        0
572.40/572.56	c  572s |      21 |  1577010 |  1379845 |     7477    455 |        0 |        0
574.50/574.60	c  574s |      21 |  1582422 |  1384545 |     7477    457 |        0 |        0
576.51/576.64	c  576s |      21 |  1587987 |  1389445 |     7477    458 |        0 |        0
578.50/578.67	c  578s |      21 |  1594156 |  1394745 |     7477    459 |        0 |        0
580.50/580.68	c  580s |      21 |  1600506 |  1400045 |     7477    461 |        0 |        0
582.59/582.71	c  582s |      21 |  1604429 |  1403445 |     7477    462 |        0 |        0
584.59/584.72	c  584s |      21 |  1610287 |  1408745 |     7477    463 |        0 |        0
586.59/586.74	c  586s |      21 |  1614846 |  1412945 |     7477    464 |        0 |        0
588.60/588.76	c  588s |      21 |  1619780 |  1417545 |     7477    465 |        0 |        0
590.59/590.77	c  590s |      21 |  1625271 |  1422345 |     7477    467 |        0 |        0
592.99/593.19	c  593s |      21 |  1631705 |  1427845 |     7477    468 |        0 |        0
595.08/595.28	c  595s |      21 |  1636954 |  1432645 |     7477    469 |        0 |        0
597.08/597.29	c  597s |      21 |  1642322 |  1437445 |     7477    470 |        0 |        0
599.18/599.35	c  599s |      21 |  1647720 |  1442045 |     7477    472 |        0 |        0
601.18/601.36	c  601s |      21 |  1653993 |  1447345 |     7477    473 |        0 |        0
603.17/603.37	c  603s |      21 |  1660394 |  1452745 |     7477    475 |        0 |        0
605.27/605.40	c  605s |      21 |  1665734 |  1457145 |     7477    476 |        0 |        0
607.28/607.41	c  607s |      21 |  1672072 |  1462545 |     7477    477 |        0 |        0
609.28/609.42	c  609s |      21 |  1678089 |  1467445 |     7477    478 |        0 |        0
611.28/611.42	c  611s |      21 |  1684473 |  1472745 |     7477    480 |        0 |        0
613.28/613.42	c  613s |      21 |  1691274 |  1478345 |     7477    481 |        0 |        0
615.28/615.43	c  615s |      21 |  1699385 |  1484545 |     7477    483 |        0 |        0
617.28/617.43	c  617s |      21 |  1702393 |  1486845 |     7477    484 |        0 |        0
619.27/619.46	c  619s |      21 |  1707611 |  1491245 |     8225    485 |        0 |        0
621.27/621.47	c  621s |      21 |  1713003 |  1495845 |     8225    486 |        0 |        0
623.37/623.51	c  623s |      21 |  1716979 |  1499445 |     8225    486 |        0 |        0
623.97/624.17	c  624s |      22 |  1718297 |  1500622 |     8225    487 |        0 |        0
625.97/626.18	c  626s |      22 |  1723006 |  1504722 |     8225    488 |        0 |        0
628.07/628.22	c  628s |      22 |  1728621 |  1509622 |     8225    489 |        0 |        0
630.07/630.24	c  630s |      22 |  1734703 |  1514822 |     8225    490 |        0 |        0
632.06/632.26	c  632s |      22 |  1740530 |  1519922 |     8225    491 |        0 |        0
634.06/634.29	c  634s |      22 |  1744243 |  1523122 |     8225    492 |        0 |        0
636.26/636.42	c  636s |      22 |  1748643 |  1527022 |     8225    493 |        0 |        0
638.26/638.42	c  638s |      22 |  1752806 |  1530722 |     8225    494 |        0 |        0
640.27/640.46	c  640s |      22 |  1757430 |  1534822 |     8225    495 |        0 |        0
642.26/642.49	c  642s |      22 |  1762046 |  1539022 |     8225    496 |        0 |        0
644.26/644.50	c  644s |      22 |  1767235 |  1543522 |     8225    497 |        0 |        0
646.36/646.52	c  646s |      22 |  1772379 |  1548222 |     8225    498 |        0 |        0
648.36/648.56	c  648s |      22 |  1777926 |  1553022 |     8225    499 |        0 |        0
650.36/650.57	c  650s |      22 |  1783788 |  1558222 |     8225    501 |        0 |        0
652.35/652.59	c  652s |      22 |  1786692 |  1560822 |     8225    501 |        0 |        0
654.45/654.60	c  654s |      22 |  1791722 |  1565322 |     8225    502 |        0 |        0
656.45/656.61	c  656s |      22 |  1796646 |  1569822 |     8225    503 |        0 |        0
658.45/658.64	c  658s |      22 |  1802299 |  1574622 |     8225    505 |        0 |        0
660.45/660.65	c  660s |      22 |  1807968 |  1579522 |     8225    506 |        0 |        0
662.45/662.67	c  662s |      22 |  1811674 |  1582822 |     8225    507 |        0 |        0
664.46/664.68	c  664s |      22 |  1817179 |  1587622 |     8225    508 |        0 |        0
666.76/666.99	c  666s |      22 |  1822351 |  1591922 |     8225    509 |        0 |        0
668.86/669.01	c  668s |      22 |  1827996 |  1596822 |     8225    510 |        0 |        0
670.85/671.02	c  670s |      22 |  1835275 |  1602622 |     8225    511 |        0 |        0
672.85/673.04	c  672s |      22 |  1839413 |  1606322 |     8225    512 |        0 |        0
674.85/675.05	c  675s |      22 |  1844809 |  1610722 |     8225    513 |        0 |        0
676.85/677.08	c  677s |      22 |  1851180 |  1616022 |     8225    514 |        0 |        0
678.85/679.09	c  679s |      22 |  1856002 |  1620022 |     8225    515 |        0 |        0
680.85/681.10	c  681s |      22 |  1861235 |  1624822 |     8225    517 |        0 |        0
682.95/683.13	c  683s |      22 |  1866134 |  1629122 |     8225    518 |        0 |        0
684.94/685.14	c  685s |      22 |  1872182 |  1634122 |     8225    519 |        0 |        0
686.94/687.14	c  687s |      22 |  1878664 |  1639522 |     8225    520 |        0 |        0
688.94/689.17	c  689s |      22 |  1885663 |  1645422 |     8225    522 |        0 |        0
691.04/691.20	c  691s |      22 |  1890288 |  1649322 |     8225    522 |        0 |        0
693.04/693.24	c  693s |      22 |  1894350 |  1652922 |     8225    523 |        0 |        0
695.04/695.25	c  695s |      22 |  1899164 |  1657322 |     8225    524 |        0 |        0
697.14/697.30	c  697s |      22 |  1903617 |  1661522 |     8225    525 |        0 |        0
699.14/699.34	c  699s |      22 |  1908857 |  1666122 |     8225    527 |        0 |        0
701.14/701.39	c  701s |      22 |  1913476 |  1670322 |     8225    528 |        0 |        0
703.14/703.39	c  703s |      22 |  1918231 |  1674722 |     8225    529 |        0 |        0
705.25/705.43	c  705s |      22 |  1922720 |  1678622 |     8225    530 |        0 |        0
707.24/707.45	c  707s |      22 |  1927353 |  1682822 |     8225    531 |        0 |        0
709.54/709.75	c  709s |      22 |  1932006 |  1687022 |     8225    532 |        0 |        0
711.53/711.76	c  711s |      22 |  1935817 |  1690422 |     8225    532 |        0 |        0
713.63/713.83	c  713s |      22 |  1940450 |  1694622 |     8225    533 |        0 |        0
715.63/715.85	c  715s |      22 |  1945042 |  1698722 |     8225    534 |        0 |        0
717.63/717.86	c  717s |      22 |  1949721 |  1702922 |     8225    535 |        0 |        0
719.63/719.89	c  719s |      22 |  1954412 |  1707022 |     8225    536 |        0 |        0
721.64/721.90	c  721s |      22 |  1959554 |  1711722 |     8225    537 |        0 |        0
723.73/723.92	c  723s |      22 |  1964486 |  1716122 |     8225    539 |        0 |        0
725.73/725.94	c  725s |      22 |  1969819 |  1720822 |     8225    540 |        0 |        0
727.73/727.98	c  727s |      22 |  1975581 |  1725922 |     8225    541 |        0 |        0
730.12/730.33	c  730s |      22 |  1978748 |  1728622 |     8225    542 |        0 |        0
732.12/732.39	c  732s |      22 |  1983559 |  1733022 |     8225    543 |        0 |        0
734.22/734.42	c  734s |      22 |  1988648 |  1737522 |     8225    544 |        0 |        0
736.22/736.45	c  736s |      22 |  1993752 |  1742022 |     8225    545 |        0 |        0
738.23/738.46	c  738s |      22 |  1998592 |  1746422 |     8225    546 |        0 |        0
740.22/740.49	c  740s |      22 |  2004086 |  1751222 |     8225    547 |        0 |        0
742.32/742.52	c  742s |      22 |  2010287 |  1756522 |     8225    548 |        0 |        0
744.32/744.56	c  744s |      22 |  2013622 |  1759222 |     8225    549 |        0 |        0
746.42/746.61	c  746s |      22 |  2019197 |  1763922 |     8225    550 |        0 |        0
748.42/748.64	c  748s |      22 |  2024443 |  1768622 |     8225    551 |        0 |        0
750.41/750.66	c  750s |      22 |  2029648 |  1773422 |     8225    552 |        0 |        0
752.52/752.75	c  752s |      22 |  2035672 |  1778622 |     8225    554 |        0 |        0
754.52/754.76	c  754s |      22 |  2039122 |  1781722 |     8225    554 |        0 |        0
756.52/756.79	c  756s |      22 |  2044574 |  1786522 |     8225    555 |        0 |        0
758.62/758.80	c  758s |      22 |  2049731 |  1791122 |     8225    557 |        0 |        0
760.61/760.81	c  760s |      22 |  2053801 |  1794722 |     8225    557 |        0 |        0
762.61/762.89	c  762s |      22 |  2059085 |  1799422 |     8225    559 |        0 |        0
764.71/764.90	c  764s |      22 |  2064092 |  1803822 |     8225    560 |        0 |        0
766.71/766.93	c  766s |      22 |  2069131 |  1808222 |     8225    561 |        0 |        0
768.71/768.95	c  768s |      22 |  2075020 |  1813422 |     8225    562 |        0 |        0
770.70/770.97	c  770s |      22 |  2080187 |  1818122 |     8225    563 |        0 |        0
772.80/773.00	c  772s |      22 |  2084665 |  1822122 |     8225    564 |        0 |        0
774.80/775.03	c  774s |      22 |  2091667 |  1827622 |     8225    565 |        0 |        0
776.80/777.04	c  776s |      22 |  2096425 |  1831822 |     8225    566 |        0 |        0
778.81/779.06	c  779s |      22 |  2101976 |  1836722 |     8225    567 |        0 |        0
780.80/781.09	c  781s |      22 |  2107191 |  1841422 |     8225    569 |        0 |        0
782.90/783.11	c  783s |      22 |  2113969 |  1847222 |     8225    570 |        0 |        0
784.90/785.13	c  785s |      22 |  2119748 |  1851922 |     8225    571 |        0 |        0
786.90/787.16	c  787s |      22 |  2126440 |  1857622 |     8225    573 |        0 |        0
788.89/789.18	c  789s |      22 |  2133806 |  1863722 |     8225    574 |        0 |        0
791.00/791.21	c  791s |      22 |  2136250 |  1865622 |     8225    574 |        0 |        0
792.99/793.21	c  793s |      22 |  2140868 |  1869622 |     8225    575 |        0 |        0
794.99/795.22	c  795s |      22 |  2145219 |  1873622 |     8225    576 |        0 |        0
796.99/797.25	c  797s |      22 |  2150037 |  1877922 |     8225    577 |        0 |        0
798.99/799.28	c  799s |      22 |  2154539 |  1882022 |     8225    578 |        0 |        0
801.09/801.30	c  801s |      22 |  2159472 |  1886422 |     8225    579 |        0 |        0
803.09/803.32	c  803s |      22 |  2164166 |  1890622 |     8225    580 |        0 |        0
805.08/805.36	c  805s |      22 |  2169749 |  1895222 |     8225    582 |        0 |        0
807.08/807.39	c  807s |      22 |  2175876 |  1900522 |     8225    583 |        0 |        0
809.99/810.20	c  810s |      22 |  2182267 |  1905822 |     8225    584 |        0 |        0
811.98/812.22	c  812s |      22 |  2187127 |  1910222 |     8225    585 |        0 |        0
813.99/814.22	c  814s |      22 |  2192388 |  1914722 |     8225    586 |        0 |        0
815.98/816.25	c  816s |      22 |  2197826 |  1919522 |     8225    587 |        0 |        0
817.98/818.25	c  818s |      22 |  2203426 |  1924322 |     8225    589 |        0 |        0
819.98/820.26	c  820s |      22 |  2209751 |  1929722 |     8225    590 |        0 |        0
822.08/822.30	c  822s |      22 |  2213391 |  1932722 |     8225    591 |        0 |        0
824.08/824.33	c  824s |      22 |  2218428 |  1937322 |     8225    592 |        0 |        0
826.08/826.36	c  826s |      22 |  2223761 |  1942222 |     8225    593 |        0 |        0
828.08/828.39	c  828s |      22 |  2229382 |  1947322 |     8225    594 |        0 |        0
830.07/830.40	c  830s |      22 |  2233812 |  1951222 |     8225    595 |        0 |        0
832.17/832.41	c  832s |      22 |  2238973 |  1955922 |     8225    596 |        0 |        0
834.17/834.43	c  834s |      22 |  2243853 |  1960322 |     8225    597 |        0 |        0
836.17/836.47	c  836s |      22 |  2249421 |  1965122 |     8225    598 |        0 |        0
838.17/838.50	c  838s |      22 |  2254682 |  1969922 |     8225    599 |        0 |        0
840.27/840.54	c  840s |      22 |  2261538 |  1975622 |     8225    601 |        0 |        0
842.27/842.57	c  842s |      22 |  2265281 |  1979022 |     8225    602 |        0 |        0
844.27/844.57	c  844s |      22 |  2270796 |  1983922 |     8225    603 |        0 |        0
846.27/846.59	c  846s |      22 |  2276467 |  1988722 |     8225    604 |        0 |        0
848.27/848.59	c  848s |      22 |  2282677 |  1994022 |     8225    605 |        0 |        0
850.37/850.61	c  850s |      22 |  2289117 |  1999322 |     8225    607 |        0 |        0
853.46/853.80	c  853s |      22 |  2296160 |  2005022 |     8225    608 |        0 |        0
855.56/855.80	c  855s |      22 |  2300581 |  2008922 |     8225    609 |        0 |        0
857.56/857.84	c  857s |      22 |  2305148 |  2013022 |     8225    610 |        0 |        0
859.56/859.85	c  859s |      22 |  2310408 |  2017522 |     8225    611 |        0 |        0
861.56/861.87	c  861s |      22 |  2315584 |  2022122 |     8225    612 |        0 |        0
863.56/863.88	c  863s |      22 |  2321182 |  2027022 |     8225    613 |        0 |        0
865.66/866.00	c  865s |      22 |  2326584 |  2031322 |     8225    614 |        0 |        0
867.75/868.04	c  867s |      22 |  2331971 |  2035922 |     8225    615 |        0 |        0
869.75/870.06	c  870s |      22 |  2336737 |  2040322 |     8225    616 |        0 |        0
871.75/872.08	c  872s |      22 |  2342652 |  2045322 |     8225    618 |        0 |        0
873.84/874.12	c  874s |      22 |  2347464 |  2049222 |     8225    619 |        0 |        0
875.84/876.12	c  876s |      22 |  2353018 |  2054022 |     8225    620 |        0 |        0
877.85/878.12	c  878s |      22 |  2358811 |  2058922 |     8225    621 |        0 |        0
879.84/880.16	c  880s |      22 |  2363573 |  2063022 |     8225    622 |        0 |        0
881.84/882.17	c  882s |      22 |  2369435 |  2068122 |     8225    623 |        0 |        0
883.93/884.20	c  884s |      22 |  2373322 |  2071322 |     8225    624 |        0 |        0
885.94/886.23	c  886s |      22 |  2378319 |  2075822 |     8225    625 |        0 |        0
887.94/888.24	c  888s |      22 |  2384137 |  2080822 |     8225    626 |        0 |        0
890.04/890.31	c  890s |      22 |  2390230 |  2085822 |     8225    627 |        0 |        0
892.04/892.33	c  892s |      22 |  2394836 |  2089922 |     8225    628 |        0 |        0
894.04/894.36	c  894s |      22 |  2400153 |  2094722 |     8225    629 |        0 |        0
896.13/896.43	c  896s |      22 |  2405335 |  2099222 |     8225    631 |        0 |        0
898.13/898.45	c  898s |      22 |  2410818 |  2104022 |     8225    632 |        0 |        0
900.33/900.61	c  900s |      22 |  2416570 |  2109022 |     8225    633 |        0 |        0
902.33/902.63	c  902s |      22 |  2422125 |  2114022 |     8225    634 |        0 |        0
904.33/904.64	c  904s |      22 |  2427706 |  2118722 |     8225    635 |        0 |        0
906.43/906.75	c  906s |      22 |  2434576 |  2124122 |     8225    637 |        0 |        0
908.43/908.76	c  908s |      22 |  2441196 |  2129622 |     8225    638 |        0 |        0
911.02/911.33	c  911s |      22 |  2445787 |  2133422 |     8225    639 |        0 |        0
913.03/913.33	c  913s |      22 |  2451275 |  2138022 |     8225    640 |        0 |        0
915.02/915.33	c  915s |      22 |  2456595 |  2142722 |     8225    641 |        0 |        0
917.02/917.34	c  917s |      22 |  2462330 |  2147622 |     8225    642 |        0 |        0
919.02/919.34	c  919s |      22 |  2466681 |  2151322 |     8225    643 |        0 |        0
921.02/921.38	c  921s |      22 |  2471719 |  2155822 |     8225    644 |        0 |        0
923.01/923.39	c  923s |      22 |  2477638 |  2160922 |     8225    645 |        0 |        0
925.13/925.45	c  925s |      22 |  2482931 |  2165322 |     8225    646 |        0 |        0
927.12/927.47	c  927s |      22 |  2488507 |  2170222 |     8225    648 |        0 |        0
929.22/929.50	c  929s |      22 |  2494573 |  2175322 |     8225    649 |        0 |        0
931.22/931.51	c  931s |      22 |  2499929 |  2179822 |     8225    650 |        0 |        0
933.21/933.53	c  933s |      22 |  2506043 |  2184922 |     8225    651 |        0 |        0
935.21/935.56	c  935s |      22 |  2512560 |  2190322 |     8225    652 |        0 |        0
937.22/937.59	c  937s |      22 |  2519689 |  2196322 |     8225    654 |        0 |        0
939.32/939.62	c  939s |      22 |  2522776 |  2198922 |     8225    655 |        0 |        0
941.31/941.66	c  941s |      22 |  2528714 |  2204022 |     8225    656 |        0 |        0
943.30/943.67	c  943s |      22 |  2535097 |  2209422 |     8225    657 |        0 |        0
945.40/945.71	c  945s |      22 |  2539233 |  2213222 |     8225    658 |        0 |        0
947.40/947.74	c  947s |      22 |  2545447 |  2218622 |     8225    659 |        0 |        0
949.40/949.77	c  949s |      22 |  2550793 |  2223322 |     8225    660 |        0 |        0
951.41/951.77	c  951s |      22 |  2556238 |  2228022 |     8225    662 |        0 |        0
953.39/953.80	c  953s |      22 |  2562753 |  2233522 |     8225    663 |        0 |        0
956.19/956.52	c  956s |      22 |  2569227 |  2238722 |     9048    664 |        0 |        0
958.19/958.55	c  958s |      22 |  2574637 |  2243422 |     9048    665 |        0 |        0
960.20/960.58	c  960s |      22 |  2580258 |  2248522 |     9048    666 |        0 |        0
961.40/961.79	c  961s |      23 |  2583274 |  2251038 |     9048    667 |        0 |        0
963.39/963.80	c  963s |      23 |  2589094 |  2256038 |     9048    668 |        0 |        0
965.49/965.82	c  965s |      23 |  2595404 |  2261238 |     9048    669 |        0 |        0
967.49/967.83	c  967s |      23 |  2602042 |  2266838 |     9048    670 |        0 |        0
970.29/970.68	c  970s |      23 |  2608048 |  2271738 |     9048    671 |        0 |        0
972.39/972.73	c  972s |      23 |  2611790 |  2274938 |     9048    672 |        0 |        0
974.38/974.75	c  974s |      23 |  2615748 |  2278538 |     9048    673 |        0 |        0
976.38/976.77	c  976s |      23 |  2620235 |  2282538 |     9048    673 |        0 |        0
978.48/978.80	c  978s |      23 |  2624345 |  2286238 |     9048    674 |        0 |        0
980.48/980.80	c  980s |      23 |  2628902 |  2290338 |     9048    675 |        0 |        0
982.47/982.80	c  982s |      23 |  2633327 |  2294138 |     9048    676 |        0 |        0
984.38/984.80	c  984s |      23 |  2637744 |  2298038 |     9048    677 |        0 |        0
986.47/986.81	c  986s |      23 |  2642429 |  2302338 |     9048    678 |        0 |        0
988.47/988.84	c  988s |      23 |  2647900 |  2307238 |     9048    679 |        0 |        0
990.47/990.84	c  990s |      23 |  2653494 |  2312038 |     9048    680 |        0 |        0
992.47/992.87	c  992s |      23 |  2656041 |  2314238 |     9048    680 |        0 |        0
994.57/994.90	c  994s |      23 |  2661140 |  2318738 |     9048    681 |        0 |        0
996.58/996.95	c  996s |      23 |  2666094 |  2323238 |     9048    682 |        0 |        0
998.57/998.99	c  998s |      23 |  2671215 |  2327638 |     9048    683 |        0 |        0
1000.67/1001.02	c 1000s |      23 |  2676335 |  2332338 |     9048    684 |        0 |        0
1002.66/1003.05	c 1002s |      23 |  2681568 |  2337038 |     9048    685 |        0 |        0
1004.66/1005.06	c 1005s |      23 |  2685592 |  2340538 |     9048    686 |        0 |        0
1006.66/1007.09	c 1007s |      23 |  2690593 |  2344938 |     9048    687 |        0 |        0
1008.77/1009.11	c 1009s |      23 |  2695382 |  2348938 |     9048    688 |        0 |        0
1010.77/1011.14	c 1011s |      23 |  2699220 |  2352338 |     9048    689 |        0 |        0
1012.76/1013.17	c 1013s |      23 |  2704567 |  2356938 |     9048    690 |        0 |        0
1014.76/1015.19	c 1015s |      23 |  2710147 |  2361638 |     9048    691 |        0 |        0
1016.86/1017.21	c 1017s |      23 |  2713840 |  2364738 |     9048    691 |        0 |        0
1018.86/1019.22	c 1019s |      23 |  2718687 |  2369138 |     9048    692 |        0 |        0
1020.86/1021.24	c 1021s |      23 |  2723253 |  2373238 |     9048    693 |        0 |        0
1022.86/1023.26	c 1023s |      23 |  2727404 |  2376938 |     9048    694 |        0 |        0
1024.85/1025.29	c 1025s |      23 |  2733175 |  2382038 |     9048    695 |        0 |        0
1026.85/1027.29	c 1027s |      23 |  2738320 |  2386538 |     9048    696 |        0 |        0
1028.96/1029.32	c 1029s |      23 |  2742435 |  2390238 |     9048    697 |        0 |        0
1030.96/1031.36	c 1031s |      23 |  2746529 |  2393838 |     9048    698 |        0 |        0
1032.95/1033.37	c 1033s |      23 |  2751235 |  2398038 |     9048    699 |        0 |        0
1034.96/1035.37	c 1035s |      23 |  2754497 |  2400938 |     9048    699 |        0 |        0
1036.95/1037.38	c 1037s |      23 |  2759251 |  2405238 |     9048    700 |        0 |        0
1039.05/1039.42	c 1039s |      23 |  2764381 |  2409838 |     9048    701 |        0 |        0
1041.05/1041.46	c 1041s |      23 |  2768965 |  2414038 |     9048    702 |        0 |        0
1043.04/1043.48	c 1043s |      23 |  2773999 |  2418538 |     9048    703 |        0 |        0
1045.14/1045.52	c 1045s |      23 |  2779116 |  2423138 |     9048    704 |        0 |        0
1047.15/1047.53	c 1047s |      23 |  2785158 |  2428338 |     9048    705 |        0 |        0
1049.14/1049.53	c 1049s |      23 |  2787306 |  2430338 |     9048    706 |        0 |        0
1051.14/1051.54	c 1051s |      23 |  2792569 |  2435038 |     9048    707 |        0 |        0
1053.14/1053.56	c 1053s |      23 |  2798047 |  2439838 |     9048    708 |        0 |        0
1055.23/1055.64	c 1055s |      23 |  2802948 |  2444038 |     9048    709 |        0 |        0
1057.23/1057.64	c 1057s |      23 |  2808187 |  2448738 |     9048    710 |        0 |        0
1059.24/1059.65	c 1059s |      23 |  2814150 |  2453738 |     9048    711 |        0 |        0
1061.23/1061.67	c 1061s |      23 |  2819409 |  2458038 |     9048    712 |        0 |        0
1063.33/1063.70	c 1063s |      23 |  2825271 |  2463038 |     9048    713 |        0 |        0
1065.33/1065.73	c 1065s |      23 |  2831345 |  2468038 |     9048    714 |        0 |        0
1067.33/1067.76	c 1067s |      23 |  2836216 |  2472138 |     9048    715 |        0 |        0
1069.33/1069.77	c 1069s |      23 |  2842176 |  2477038 |     9048    716 |        0 |        0
1071.43/1071.81	c 1071s |      23 |  2848216 |  2482238 |     9048    717 |        0 |        0
1073.92/1074.30	c 1074s |      23 |  2853198 |  2486238 |     9048    718 |        0 |        0
1075.93/1076.31	c 1076s |      23 |  2857162 |  2489638 |     9048    719 |        0 |        0
1077.94/1078.33	c 1078s |      23 |  2862034 |  2493938 |     9048    720 |        0 |        0
1079.93/1080.40	c 1080s |      23 |  2866383 |  2497838 |     9048    721 |        0 |        0
1082.02/1082.42	c 1082s |      23 |  2871203 |  2502138 |     9048    721 |        0 |        0
1084.02/1084.45	c 1084s |      23 |  2875960 |  2506338 |     9048    722 |        0 |        0
1086.02/1086.45	c 1086s |      23 |  2881728 |  2511138 |     9048    723 |        0 |        0
1088.02/1088.49	c 1088s |      23 |  2886276 |  2515038 |     9048    724 |        0 |        0
1090.03/1090.49	c 1090s |      23 |  2891221 |  2519538 |     9048    725 |        0 |        0
1092.12/1092.53	c 1092s |      23 |  2894077 |  2522138 |     9048    726 |        0 |        0
1094.11/1094.58	c 1094s |      23 |  2898859 |  2526538 |     9048    727 |        0 |        0
1096.21/1096.63	c 1096s |      23 |  2902950 |  2529938 |     9048    728 |        0 |        0
1098.21/1098.66	c 1098s |      23 |  2907781 |  2534238 |     9048    728 |        0 |        0
1100.31/1100.71	c 1100s |      23 |  2913134 |  2538938 |     9048    729 |        0 |        0
1102.31/1102.73	c 1102s |      23 |  2919218 |  2544038 |     9048    731 |        0 |        0
1104.31/1104.77	c 1104s |      23 |  2921985 |  2546438 |     9048    731 |        0 |        0
1106.30/1106.78	c 1106s |      23 |  2927332 |  2550938 |     9048    732 |        0 |        0
1108.30/1108.79	c 1108s |      23 |  2932287 |  2555338 |     9048    733 |        0 |        0
1110.40/1110.80	c 1110s |      23 |  2938346 |  2560538 |     9048    734 |        0 |        0
1112.40/1112.80	c 1112s |      23 |  2942079 |  2563738 |     9048    735 |        0 |        0
1114.40/1114.82	c 1114s |      23 |  2947192 |  2568238 |     9048    736 |        0 |        0
1116.41/1116.83	c 1116s |      23 |  2952321 |  2572738 |     9048    737 |        0 |        0
1118.40/1118.86	c 1118s |      23 |  2958506 |  2577838 |     9048    738 |        0 |        0
1120.41/1120.88	c 1120s |      23 |  2962068 |  2580938 |     9048    739 |        0 |        0
1122.40/1122.89	c 1122s |      23 |  2967322 |  2585438 |     9048    740 |        0 |        0
1124.50/1124.97	c 1124s |      23 |  2972402 |  2589738 |     9048    741 |        0 |        0
1126.50/1126.98	c 1126s |      23 |  2977981 |  2594638 |     9048    742 |        0 |        0
1128.50/1128.99	c 1128s |      23 |  2984039 |  2599638 |     9048    743 |        0 |        0
1130.60/1131.01	c 1130s |      23 |  2989478 |  2604238 |     9048    744 |        0 |        0
1132.59/1133.01	c 1132s |      23 |  2996494 |  2609838 |     9048    745 |        0 |        0
1134.59/1135.07	c 1135s |      23 |  2999510 |  2612138 |     9048    746 |        0 |        0
1136.59/1137.08	c 1137s |      23 |  3004501 |  2616438 |     9048    746 |        0 |        0
1138.69/1139.12	c 1139s |      23 |  3009267 |  2620638 |     9048    747 |        0 |        0
1140.69/1141.14	c 1141s |      23 |  3013793 |  2624638 |     9048    748 |        0 |        0
1142.69/1143.17	c 1143s |      23 |  3018927 |  2628938 |     9048    749 |        0 |        0
1144.68/1145.18	c 1145s |      23 |  3024620 |  2633638 |     9048    750 |        0 |        0
1146.78/1147.20	c 1147s |      23 |  3030850 |  2638838 |     9048    751 |        0 |        0
1148.78/1149.22	c 1149s |      23 |  3033249 |  2640938 |     9048    752 |        0 |        0
1150.78/1151.22	c 1151s |      23 |  3037890 |  2645038 |     9048    753 |        0 |        0
1152.77/1153.22	c 1153s |      23 |  3042632 |  2649238 |     9048    754 |        0 |        0
1154.78/1155.23	c 1155s |      23 |  3049395 |  2654738 |     9048    755 |        0 |        0
1156.78/1157.29	c 1157s |      23 |  3053072 |  2657938 |     9048    756 |        0 |        0
1158.88/1159.39	c 1159s |      23 |  3058332 |  2662538 |     9048    757 |        0 |        0
1160.98/1161.41	c 1161s |      23 |  3064429 |  2667738 |     9048    758 |        0 |        0
1162.97/1163.42	c 1163s |      23 |  3068979 |  2671738 |     9048    759 |        0 |        0
1164.97/1165.43	c 1165s |      23 |  3075321 |  2676938 |     9048    760 |        0 |        0
1166.98/1167.44	c 1167s |      23 |  3080313 |  2681338 |     9048    761 |        0 |        0
1168.97/1169.45	c 1169s |      23 |  3086060 |  2686438 |     9048    762 |        0 |        0
1170.97/1171.46	c 1171s |      23 |  3091910 |  2691338 |     9048    763 |        0 |        0
1172.96/1173.48	c 1173s |      23 |  3098442 |  2696838 |     9048    764 |        0 |        0
1175.16/1175.68	c 1175s |      23 |  3101426 |  2699138 |     9048    765 |        0 |        0
1177.16/1177.69	c 1177s |      23 |  3105024 |  2702138 |     9048    765 |        0 |        0
1179.26/1179.73	c 1179s |      23 |  3109987 |  2706538 |     9048    766 |        0 |        0
1181.27/1181.76	c 1181s |      23 |  3114947 |  2710938 |     9048    767 |        0 |        0
1183.26/1183.79	c 1183s |      23 |  3119950 |  2715438 |     9048    768 |        0 |        0
1185.35/1185.81	c 1185s |      23 |  3126080 |  2720438 |     9048    769 |        0 |        0
1187.35/1187.82	c 1187s |      23 |  3129212 |  2723338 |     9048    770 |        0 |        0
1189.35/1189.82	c 1189s |      23 |  3134793 |  2728138 |     9048    771 |        0 |        0
1191.35/1191.84	c 1191s |      23 |  3140674 |  2733238 |     9048    772 |        0 |        0
1193.36/1193.87	c 1193s |      23 |  3144631 |  2736638 |     9048    773 |        0 |        0
1195.46/1195.92	c 1195s |      23 |  3150861 |  2741838 |     9048    774 |        0 |        0
1197.45/1197.92	c 1197s |      23 |  3156163 |  2746638 |     9048    775 |        0 |        0
1199.46/1199.95	c 1199s |      23 |  3162457 |  2752038 |     9048    776 |        0 |        0
1201.45/1201.98	c 1201s |      23 |  3168722 |  2757238 |     9048    777 |        0 |        0
1203.65/1204.10	c 1204s |      23 |  3173846 |  2761438 |     9048    778 |        0 |        0
1205.65/1206.11	c 1206s |      23 |  3176585 |  2763638 |     9048    779 |        0 |        0
1207.66/1208.16	c 1208s |      23 |  3181749 |  2768038 |     9048    780 |        0 |        0
1209.65/1210.19	c 1210s |      23 |  3186493 |  2772238 |     9048    781 |        0 |        0
1211.75/1212.23	c 1212s |      23 |  3191338 |  2776438 |     9048    781 |        0 |        0
1213.74/1214.26	c 1214s |      23 |  3196384 |  2780838 |     9048    782 |        0 |        0
1215.74/1216.28	c 1216s |      23 |  3201180 |  2785038 |     9048    783 |        0 |        0
1217.74/1218.29	c 1218s |      23 |  3206216 |  2789238 |     9048    784 |        0 |        0
1219.75/1220.29	c 1220s |      23 |  3211837 |  2793938 |     9048    785 |        0 |        0
1221.85/1222.33	c 1222s |      23 |  3216627 |  2797938 |     9048    786 |        0 |        0
1223.84/1224.36	c 1224s |      23 |  3222597 |  2803038 |     9048    787 |        0 |        0
1226.25/1226.72	c 1226s |      23 |  3226515 |  2806338 |     9048    788 |        0 |        0
1228.25/1228.76	c 1228s |      23 |  3232273 |  2811138 |     9048    789 |        0 |        0
1230.45/1230.91	c 1230s |      23 |  3238265 |  2816138 |     9048    790 |        0 |        0
1232.45/1232.93	c 1232s |      23 |  3243356 |  2820738 |     9048    791 |        0 |        0
1234.45/1234.97	c 1234s |      23 |  3247912 |  2824838 |     9048    792 |        0 |        0
1236.45/1236.99	c 1236s |      23 |  3253633 |  2829838 |     9048    793 |        0 |        0
1238.45/1238.99	c 1238s |      23 |  3259245 |  2834638 |     9048    794 |        0 |        0
1240.55/1241.02	c 1240s |      23 |  3264915 |  2839438 |     9048    795 |        0 |        0
1242.54/1243.04	c 1242s |      23 |  3271550 |  2844938 |     9048    796 |        0 |        0
1244.54/1245.05	c 1245s |      23 |  3274278 |  2847238 |     9048    797 |        0 |        0
1246.64/1247.12	c 1247s |      23 |  3280811 |  2852638 |     9048    798 |        0 |        0
1248.64/1249.13	c 1249s |      23 |  3286954 |  2857538 |     9048    799 |        0 |        0
1250.64/1251.15	c 1251s |      23 |  3293811 |  2863138 |     9048    800 |        0 |        0
1252.65/1253.18	c 1253s |      23 |  3298736 |  2867238 |     9048    801 |        0 |        0
1254.74/1255.24	c 1255s |      23 |  3304993 |  2872538 |     9048    803 |        0 |        0
1256.74/1257.26	c 1257s |      23 |  3311517 |  2877938 |     9048    804 |        0 |        0
1258.74/1259.27	c 1259s |      23 |  3317726 |  2883038 |     9048    805 |        0 |        0
1260.74/1261.29	c 1261s |      23 |  3324759 |  2888938 |     9048    806 |        0 |        0
1262.84/1263.33	c 1263s |      23 |  3327263 |  2890938 |     9048    807 |        0 |        0
1264.84/1265.37	c 1265s |      23 |  3333429 |  2896138 |     9048    808 |        0 |        0
1266.83/1267.37	c 1267s |      23 |  3339045 |  2900838 |     9048    809 |        0 |        0
1268.83/1269.39	c 1269s |      23 |  3345791 |  2906238 |     9048    810 |        0 |        0
1270.93/1271.42	c 1271s |      23 |  3353714 |  2912138 |     9048    811 |        0 |        0
1272.93/1273.42	c 1273s |      23 |  3357696 |  2915538 |     9048    812 |        0 |        0
1274.93/1275.44	c 1275s |      23 |  3363512 |  2920438 |     9048    813 |        0 |        0
1277.33/1277.86	c 1277s |      23 |  3367608 |  2923738 |     9048    814 |        0 |        0
1279.33/1279.88	c 1279s |      23 |  3371669 |  2927238 |     9048    815 |        0 |        0
1281.43/1281.92	c 1281s |      23 |  3375963 |  2931038 |     9048    815 |        0 |        0
1283.44/1283.95	c 1283s |      23 |  3379448 |  2934238 |     9048    816 |        0 |        0
1285.43/1285.98	c 1285s |      23 |  3383363 |  2937638 |     9048    817 |        0 |        0
1287.53/1288.00	c 1287s |      23 |  3387339 |  2941238 |     9048    818 |        0 |        0
1289.53/1290.05	c 1290s |      23 |  3391191 |  2944638 |     9048    818 |        0 |        0
1291.53/1292.07	c 1292s |      23 |  3396107 |  2948738 |     9048    819 |        0 |        0
1293.63/1294.12	c 1294s |      23 |  3400215 |  2952238 |     9048    820 |        0 |        0
1295.64/1296.12	c 1296s |      23 |  3405053 |  2956238 |     9048    821 |        0 |        0
1297.63/1298.13	c 1298s |      23 |  3409968 |  2960538 |     9048    822 |        0 |        0
1299.63/1300.15	c 1300s |      23 |  3414115 |  2964338 |     9048    823 |        0 |        0
1301.63/1302.16	c 1302s |      23 |  3420091 |  2969338 |     9048    824 |        0 |        0
1303.73/1304.20	c 1304s |      23 |  3423550 |  2972338 |     9048    824 |        0 |        0
1305.73/1306.22	c 1306s |      23 |  3428405 |  2976538 |     9048    825 |        0 |        0
1307.74/1308.25	c 1308s |      23 |  3431581 |  2979538 |     9048    826 |        0 |        0
1309.73/1310.26	c 1310s |      23 |  3436483 |  2983838 |     9048    827 |        0 |        0
1311.83/1312.30	c 1312s |      23 |  3440034 |  2986838 |     9048    828 |        0 |        0
1313.83/1314.36	c 1314s |      23 |  3444852 |  2991138 |     9048    828 |        0 |        0
1315.83/1316.37	c 1316s |      23 |  3450084 |  2995638 |     9048    829 |        0 |        0
1317.93/1318.41	c 1318s |      23 |  3455177 |  3000338 |     9048    830 |        0 |        0
1319.93/1320.46	c 1320s |      23 |  3458615 |  3003338 |     9048    831 |        0 |        0
1321.94/1322.49	c 1322s |      23 |  3463037 |  3007338 |     9048    832 |        0 |        0
1324.03/1324.50	c 1324s |      23 |  3467250 |  3011138 |     9048    833 |        0 |        0
1326.03/1326.50	c 1326s |      23 |  3471769 |  3015038 |     9048    834 |        0 |        0
1328.03/1328.52	c 1328s |      23 |  3477021 |  3019538 |     9048    835 |        0 |        0
1330.02/1330.56	c 1330s |      23 |  3482953 |  3024538 |     9048    836 |        0 |        0
1332.33/1332.82	c 1332s |      23 |  3487418 |  3028338 |     9048    837 |        0 |        0
1334.33/1334.84	c 1334s |      23 |  3492078 |  3032538 |     9048    838 |        0 |        0
1336.43/1336.90	c 1336s |      23 |  3497048 |  3036938 |     9048    839 |        0 |        0
1338.44/1338.91	c 1338s |      23 |  3502143 |  3041438 |     9048    839 |        0 |        0
1340.43/1340.93	c 1340s |      23 |  3508028 |  3046438 |     9048    841 |        0 |        0
1342.43/1342.96	c 1342s |      23 |  3512348 |  3050338 |     9048    841 |        0 |        0
1344.43/1344.97	c 1344s |      23 |  3518336 |  3055338 |     9048    843 |        0 |        0
1346.53/1347.02	c 1346s |      23 |  3523045 |  3059238 |     9048    843 |        0 |        0
1348.53/1349.05	c 1348s |      23 |  3529193 |  3064338 |     9048    845 |        0 |        0
1350.53/1351.08	c 1351s |      23 |  3533978 |  3068338 |     9048    845 |        0 |        0
1352.53/1353.08	c 1353s |      23 |  3539479 |  3072838 |     9048    846 |        0 |        0
1354.52/1355.09	c 1355s |      23 |  3545388 |  3077638 |     9048    847 |        0 |        0
1357.02/1357.58	c 1357s |      23 |  3550549 |  3081838 |     9048    848 |        0 |        0
1359.12/1359.60	c 1359s |      23 |  3554970 |  3085638 |     9048    849 |        0 |        0
1361.12/1361.65	c 1361s |      23 |  3559657 |  3089738 |     9048    850 |        0 |        0
1363.12/1363.70	c 1363s |      23 |  3564237 |  3093738 |     9048    851 |        0 |        0
1365.22/1365.70	c 1365s |      23 |  3568221 |  3097438 |     9048    852 |        0 |        0
1367.22/1367.71	c 1367s |      23 |  3573419 |  3101838 |     9048    853 |        0 |        0
1369.23/1369.72	c 1369s |      23 |  3578270 |  3106038 |     9048    854 |        0 |        0
1371.22/1371.75	c 1371s |      23 |  3581450 |  3108938 |     9048    854 |        0 |        0
1373.22/1373.78	c 1373s |      23 |  3586129 |  3113138 |     9048    855 |        0 |        0
1375.32/1375.82	c 1375s |      23 |  3590562 |  3117238 |     9048    856 |        0 |        0
1377.32/1377.84	c 1377s |      23 |  3594692 |  3120938 |     9048    857 |        0 |        0
1379.32/1379.85	c 1379s |      23 |  3599610 |  3125138 |     9048    858 |        0 |        0
1381.32/1381.86	c 1381s |      23 |  3604568 |  3129638 |     9048    859 |        0 |        0
1383.42/1383.97	c 1383s |      23 |  3608535 |  3133038 |     9048    860 |        0 |        0
1385.52/1386.01	c 1385s |      23 |  3613866 |  3137638 |     9048    861 |        0 |        0
1387.52/1388.05	c 1388s |      23 |  3618756 |  3142138 |     9048    861 |        0 |        0
1389.51/1390.08	c 1390s |      23 |  3624823 |  3147238 |     9048    863 |        0 |        0
1391.62/1392.10	c 1392s |      23 |  3628728 |  3150438 |     9048    863 |        0 |        0
1393.62/1394.11	c 1394s |      23 |  3634149 |  3155038 |     9048    864 |        0 |        0
1395.63/1396.12	c 1396s |      23 |  3638987 |  3159138 |     9048    865 |        0 |        0
1397.62/1398.14	c 1398s |      23 |  3644961 |  3164238 |     9048    866 |        0 |        0
1399.62/1400.15	c 1400s |      23 |  3650870 |  3169138 |     9048    867 |        0 |        0
1401.92/1402.46	c 1402s |      23 |  3656361 |  3173538 |     9048    868 |        0 |        0
1403.92/1404.48	c 1404s |      23 |  3661999 |  3178538 |     9048    869 |        0 |        0
1406.12/1406.60	c 1406s |      23 |  3667574 |  3183338 |     9048    871 |        0 |        0
1408.11/1408.64	c 1408s |      23 |  3671185 |  3186538 |     9048    871 |        0 |        0
1410.11/1410.68	c 1410s |      23 |  3675484 |  3190438 |     9048    872 |        0 |        0
1412.12/1412.69	c 1412s |      23 |  3679836 |  3194438 |     9048    873 |        0 |        0
1414.21/1414.73	c 1414s |      23 |  3683101 |  3197338 |     9048    874 |        0 |        0
1416.31/1416.80	c 1416s |      23 |  3687961 |  3201638 |     9048    875 |        0 |        0
1418.31/1418.82	c 1418s |      23 |  3692675 |  3206038 |     9048    875 |        0 |        0
1420.31/1420.85	c 1420s |      23 |  3697973 |  3210738 |     9048    876 |        0 |        0
1422.31/1422.87	c 1422s |      23 |  3701072 |  3213438 |     9048    877 |        0 |        0
1424.32/1424.88	c 1424s |      23 |  3705911 |  3217738 |     9048    878 |        0 |        0
1426.42/1426.92	c 1426s |      23 |  3710960 |  3222238 |     9048    879 |        0 |        0
1428.41/1428.92	c 1428s |      23 |  3716484 |  3226938 |     9048    880 |        0 |        0
1430.41/1430.93	c 1430s |      23 |  3720654 |  3230638 |     9048    881 |        0 |        0
1432.41/1432.94	c 1432s |      23 |  3725886 |  3235338 |     9048    882 |        0 |        0
1434.51/1435.02	c 1434s |      23 |  3730529 |  3239438 |     9048    883 |        0 |        0
1436.51/1437.04	c 1436s |      23 |  3736234 |  3244438 |     9048    884 |        0 |        0
1438.62/1439.16	c 1439s |      23 |  3741177 |  3248738 |     9048    885 |        0 |        0
1440.61/1441.19	c 1441s |      23 |  3747180 |  3253738 |     9048    886 |        0 |        0
1442.71/1443.22	c 1443s |      23 |  3753683 |  3259238 |     9048    887 |        0 |        0
1444.71/1445.25	c 1445s |      23 |  3755707 |  3260938 |     9048    887 |        0 |        0
1446.81/1447.30	c 1447s |      23 |  3760672 |  3265338 |     9048    888 |        0 |        0
1448.81/1449.32	c 1449s |      23 |  3765733 |  3269938 |     9048    889 |        0 |        0
1450.81/1451.37	c 1451s |      23 |  3771004 |  3274638 |     9048    890 |        0 |        0
1452.81/1453.39	c 1453s |      23 |  3775009 |  3278138 |     9048    891 |        0 |        0
1454.91/1455.40	c 1455s |      23 |  3780278 |  3282738 |     9048    892 |        0 |        0
1456.90/1457.41	c 1457s |      23 |  3783552 |  3285638 |     9048    893 |        0 |        0
1458.90/1459.45	c 1459s |      23 |  3789077 |  3290438 |     9048    894 |        0 |        0
1461.50/1462.04	c 1461s |      23 |  3794758 |  3295438 |     9048    895 |        0 |        0
1463.50/1464.05	c 1464s |      23 |  3799995 |  3300038 |     9048    896 |        0 |        0
1465.51/1466.08	c 1466s |      23 |  3804856 |  3304338 |     9048    897 |        0 |        0
1467.61/1468.11	c 1468s |      23 |  3810458 |  3309138 |     9048    898 |        0 |        0
1469.61/1470.14	c 1470s |      23 |  3814886 |  3312738 |     9048    899 |        0 |        0
1471.62/1472.18	c 1472s |      23 |  3820385 |  3317438 |     9048    900 |        0 |        0
1473.72/1474.20	c 1474s |      23 |  3826135 |  3322438 |     9048    901 |        0 |        0
1475.71/1476.21	c 1476s |      23 |  3830948 |  3326538 |     9048    902 |        0 |        0
1477.71/1478.27	c 1478s |      23 |  3837248 |  3331538 |     9048    903 |        0 |        0
1479.71/1480.29	c 1480s |      23 |  3843012 |  3336438 |     9048    904 |        0 |        0
1481.81/1482.31	c 1482s |      23 |  3850449 |  3342138 |     9048    905 |        0 |        0
1483.80/1484.34	c 1484s |      23 |  3853573 |  3344638 |     9048    906 |        0 |        0
1485.81/1486.35	c 1486s |      23 |  3858989 |  3349138 |     9048    907 |        0 |        0
1487.80/1488.36	c 1488s |      23 |  3865250 |  3354238 |     9953    908 |        0 |        0
1489.80/1490.37	c 1490s |      23 |  3870260 |  3358338 |     9953    909 |        0 |        0
1491.80/1492.38	c 1492s |      23 |  3875999 |  3363038 |     9953    910 |        0 |        0
1493.80/1494.38	c 1494s |      23 |  3880960 |  3367138 |     9953    910 |        0 |        0
1495.90/1496.40	c 1496s |      23 |  3887608 |  3372438 |     9953    911 |        0 |        0
1498.40/1498.94	c 1498s |      23 |  3892599 |  3376538 |     9953    912 |        0 |        0
1498.50/1499.00	c 1498s |      24 |  3892776 |  3376662 |     9953    912 |        0 |        0
1500.50/1501.01	c 1500s |      24 |  3896530 |  3379762 |     9953    913 |        0 |        0
1502.50/1503.02	c 1502s |      24 |  3901044 |  3383562 |     9953    914 |        0 |        0
1504.50/1505.08	c 1505s |      24 |  3905805 |  3387662 |     9953    914 |        0 |        0
1506.60/1507.12	c 1507s |      24 |  3910990 |  3392062 |     9953    915 |        0 |        0
1508.60/1509.13	c 1509s |      24 |  3913783 |  3394662 |     9953    916 |        0 |        0
1510.60/1511.14	c 1511s |      24 |  3918213 |  3398662 |     9953    917 |        0 |        0
1512.60/1513.19	c 1513s |      24 |  3922828 |  3402762 |     9953    917 |        0 |        0
1514.70/1515.23	c 1515s |      24 |  3926947 |  3406262 |     9953    918 |        0 |        0
1516.71/1517.25	c 1517s |      24 |  3931693 |  3410362 |     9953    919 |        0 |        0
1518.70/1519.28	c 1519s |      24 |  3935633 |  3413962 |     9953    920 |        0 |        0
1520.70/1521.28	c 1521s |      24 |  3939465 |  3417262 |     9953    920 |        0 |        0
1522.70/1523.29	c 1523s |      24 |  3944015 |  3421362 |     9953    921 |        0 |        0
1524.80/1525.32	c 1525s |      24 |  3949093 |  3425862 |     9953    922 |        0 |        0
1526.80/1527.33	c 1527s |      24 |  3955847 |  3430762 |     9953    923 |        0 |        0
1528.80/1529.34	c 1529s |      24 |  3958224 |  3432762 |     9953    923 |        0 |        0
1530.80/1531.38	c 1531s |      24 |  3962443 |  3436762 |     9953    924 |        0 |        0
1532.90/1533.40	c 1533s |      24 |  3966882 |  3440762 |     9953    925 |        0 |        0
1534.90/1535.45	c 1535s |      24 |  3971567 |  3444962 |     9953    926 |        0 |        0
1536.90/1537.46	c 1537s |      24 |  3977295 |  3449662 |     9953    927 |        0 |        0
1539.00/1539.50	c 1539s |      24 |  3981503 |  3453362 |     9953    927 |        0 |        0
1541.19/1541.71	c 1541s |      24 |  3985233 |  3456662 |     9953    928 |        0 |        0
1543.19/1543.75	c 1543s |      24 |  3989907 |  3460762 |     9953    929 |        0 |        0
1545.21/1545.80	c 1545s |      24 |  3992989 |  3463462 |     9953    929 |        0 |        0
1547.30/1547.80	c 1547s |      24 |  3997405 |  3467262 |     9953    930 |        0 |        0
1549.30/1549.84	c 1549s |      24 |  4002031 |  3471362 |     9953    931 |        0 |        0
1551.30/1551.87	c 1551s |      24 |  4007477 |  3476062 |     9953    932 |        0 |        0
1553.39/1553.90	c 1553s |      24 |  4010570 |  3478762 |     9953    933 |        0 |        0
1555.39/1555.92	c 1555s |      24 |  4016838 |  3483962 |     9953    934 |        0 |        0
1557.40/1557.96	c 1557s |      24 |  4021158 |  3487562 |     9953    934 |        0 |        0
1559.50/1560.00	c 1559s |      24 |  4025604 |  3491562 |     9953    935 |        0 |        0
1561.49/1562.03	c 1561s |      24 |  4031266 |  3496162 |     9953    936 |        0 |        0
1563.80/1564.37	c 1564s |      24 |  4037209 |  3500862 |     9953    937 |        0 |        0
1565.80/1566.37	c 1566s |      24 |  4042679 |  3505462 |     9953    938 |        0 |        0
1567.90/1568.40	c 1568s |      24 |  4048284 |  3509962 |     9953    939 |        0 |        0
1569.90/1570.46	c 1570s |      24 |  4053776 |  3514662 |     9953    940 |        0 |        0
1572.00/1572.50	c 1572s |      24 |  4060155 |  3519962 |     9953    941 |        0 |        0
1573.99/1574.51	c 1574s |      24 |  4066016 |  3524962 |     9953    942 |        0 |        0
1576.10/1576.64	c 1576s |      24 |  4068355 |  3526862 |     9953    942 |        0 |        0
1578.20/1578.72	c 1578s |      24 |  4073587 |  3531162 |     9953    943 |        0 |        0
1580.19/1580.75	c 1580s |      24 |  4078891 |  3535662 |     9953    944 |        0 |        0
1582.19/1582.78	c 1582s |      24 |  4083774 |  3539962 |     9953    945 |        0 |        0
1584.29/1584.84	c 1584s |      24 |  4088478 |  3543762 |     9953    945 |        0 |        0
1586.49/1587.05	c 1587s |      24 |  4093224 |  3547562 |     9953    946 |        0 |        0
1588.49/1589.08	c 1589s |      24 |  4096818 |  3550662 |     9953    947 |        0 |        0
1590.59/1591.12	c 1591s |      24 |  4100962 |  3554362 |     9953    948 |        0 |        0
1592.69/1593.25	c 1593s |      24 |  4104978 |  3557662 |     9953    948 |        0 |        0
1594.69/1595.28	c 1595s |      24 |  4108925 |  3561362 |     9953    949 |        0 |        0
1596.78/1597.37	c 1597s |      24 |  4113454 |  3565162 |     9953    950 |        0 |        0
1598.78/1599.39	c 1599s |      24 |  4118084 |  3569162 |     9953    951 |        0 |        0
1600.78/1601.40	c 1601s |      24 |  4122259 |  3572962 |     9953    951 |        0 |        0
1602.78/1603.40	c 1603s |      24 |  4126363 |  3576662 |     9953    952 |        0 |        0
1604.88/1605.41	c 1605s |      24 |  4131434 |  3580962 |     9953    953 |        0 |        0
1606.89/1607.44	c 1607s |      24 |  4137012 |  3585562 |     9953    954 |        0 |        0
1608.88/1609.46	c 1609s |      24 |  4138308 |  3586662 |     9953    954 |        0 |        0
1610.98/1611.51	c 1611s |      24 |  4142837 |  3590562 |     9953    955 |        0 |        0
1613.08/1613.61	c 1613s |      24 |  4147197 |  3594362 |     9953    956 |        0 |        0
1615.08/1615.61	c 1615s |      24 |  4152026 |  3598662 |     9953    956 |        0 |        0
1617.08/1617.65	c 1617s |      24 |  4156790 |  3602862 |     9953    957 |        0 |        0
1619.08/1619.65	c 1619s |      24 |  4162008 |  3607262 |     9953    958 |        0 |        0
1621.09/1621.67	c 1621s |      24 |  4166783 |  3611362 |     9953    959 |        0 |        0
1623.08/1623.68	c 1623s |      24 |  4169637 |  3613662 |     9953    959 |        0 |        0
1625.08/1625.68	c 1625s |      24 |  4174434 |  3617762 |     9953    960 |        0 |        0
1627.18/1627.72	c 1627s |      24 |  4179337 |  3622062 |     9953    961 |        0 |        0
1629.19/1629.73	c 1629s |      24 |  4185368 |  3626862 |     9953    962 |        0 |        0
1631.59/1632.13	c 1632s |      24 |  4190608 |  3630962 |     9953    963 |        0 |        0
1633.59/1634.17	c 1634s |      24 |  4195026 |  3634762 |     9953    964 |        0 |        0
1635.69/1636.20	c 1636s |      24 |  4200390 |  3639162 |     9953    964 |        0 |        0
1637.69/1638.22	c 1638s |      24 |  4206608 |  3644162 |     9953    965 |        0 |        0
1639.68/1640.23	c 1640s |      24 |  4210745 |  3647662 |     9953    966 |        0 |        0
1641.68/1642.24	c 1642s |      24 |  4215922 |  3652162 |     9953    967 |        0 |        0
1643.68/1644.27	c 1644s |      24 |  4221901 |  3656562 |     9953    968 |        0 |        0
1645.68/1646.28	c 1646s |      24 |  4226929 |  3661062 |     9953    969 |        0 |        0
1647.78/1648.30	c 1648s |      24 |  4232784 |  3665862 |     9953    970 |        0 |        0
1649.79/1650.31	c 1650s |      24 |  4239512 |  3670962 |     9953    971 |        0 |        0
1651.78/1652.32	c 1652s |      24 |  4246007 |  3676162 |     9953    972 |        0 |        0
1655.18/1655.72	c 1655s |      24 |  4251674 |  3680562 |     9953    973 |        0 |        0
1657.18/1657.76	c 1657s |      24 |  4255821 |  3684062 |     9953    973 |        0 |        0
1659.18/1659.79	c 1659s |      24 |  4260729 |  3688162 |     9953    974 |        0 |        0
1661.28/1661.81	c 1661s |      24 |  4266074 |  3692562 |     9953    975 |        0 |        0
1663.27/1663.85	c 1663s |      24 |  4271779 |  3697262 |     9953    976 |        0 |        0
1665.27/1665.85	c 1665s |      24 |  4275592 |  3700362 |     9953    977 |        0 |        0
1667.28/1667.88	c 1667s |      24 |  4281618 |  3705362 |     9953    978 |        0 |        0
1669.37/1670.00	c 1669s |      24 |  4287079 |  3709962 |     9953    979 |        0 |        0
1671.47/1672.01	c 1671s |      24 |  4291171 |  3713462 |     9953    979 |        0 |        0
1673.47/1674.03	c 1673s |      24 |  4296199 |  3717862 |     9953    980 |        0 |        0
1675.47/1676.04	c 1675s |      24 |  4301892 |  3722562 |     9953    981 |        0 |        0
1678.39/1678.91	c 1678s |      24 |  4306354 |  3726162 |     9953    982 |        0 |        0
1680.59/1681.13	c 1681s |      24 |  4310926 |  3730062 |     9953    983 |        0 |        0
1682.58/1683.14	c 1683s |      24 |  4315785 |  3734462 |     9953    983 |        0 |        0
1684.58/1685.15	c 1685s |      24 |  4321579 |  3739362 |     9953    984 |        0 |        0
1686.58/1687.16	c 1687s |      24 |  4326145 |  3743362 |     9953    985 |        0 |        0
1689.18/1689.73	c 1689s |      24 |  4329286 |  3745962 |     9953    986 |        0 |        0
1691.18/1691.73	c 1691s |      24 |  4334126 |  3750262 |     9953    987 |        0 |        0
1693.17/1693.73	c 1693s |      24 |  4339761 |  3755062 |     9953    987 |        0 |        0
1695.17/1695.78	c 1695s |      24 |  4344394 |  3758962 |     9953    988 |        0 |        0
1697.27/1697.80	c 1697s |      24 |  4349924 |  3763562 |     9953    989 |        0 |        0
1699.28/1699.83	c 1699s |      24 |  4355853 |  3768262 |     9953    990 |        0 |        0
1701.27/1701.84	c 1701s |      24 |  4361490 |  3773162 |     9953    991 |        0 |        0
1703.37/1703.90	c 1703s |      24 |  4363967 |  3775362 |     9953    992 |        0 |        0
1705.37/1705.94	c 1705s |      24 |  4369612 |  3780062 |     9953    992 |        0 |        0
1707.37/1707.96	c 1707s |      24 |  4374989 |  3784462 |     9953    993 |        0 |        0
1709.37/1709.99	c 1709s |      24 |  4381161 |  3789162 |     9953    994 |        0 |        0
1711.47/1712.00	c 1711s |      24 |  4386841 |  3793662 |     9953    995 |        0 |        0
1713.48/1714.03	c 1713s |      24 |  4392800 |  3798162 |     9953    996 |        0 |        0
1715.47/1716.06	c 1716s |      24 |  4399773 |  3803462 |     9953    997 |        0 |        0
1717.67/1718.21	c 1718s |      24 |  4404557 |  3806962 |     9953    998 |        0 |        0
1719.67/1720.25	c 1720s |      24 |  4410367 |  3811762 |     9953    999 |        0 |        0
1721.67/1722.28	c 1722s |      24 |  4415597 |  3816162 |     9953   1000 |        0 |        0
1723.67/1724.28	c 1724s |      24 |  4422258 |  3821062 |     9953   1001 |        0 |        0
1725.77/1726.34	c 1726s |      24 |  4428210 |  3825662 |     9953   1002 |        0 |        0
1727.77/1728.38	c 1728s |      24 |  4434604 |  3830662 |     9953   1003 |        0 |        0
1731.07/1731.65	c 1731s |      24 |  4441455 |  3835862 |     9953   1004 |        0 |        0
1733.16/1733.70	c 1733s |      24 |  4446918 |  3840562 |     9953   1004 |        0 |        0
1735.16/1735.74	c 1735s |      24 |  4453333 |  3845362 |     9953   1005 |        0 |        0
1737.16/1737.75	c 1737s |      24 |  4459423 |  3850162 |     9953   1006 |        0 |        0
1739.16/1739.77	c 1739s |      24 |  4465206 |  3854862 |     9953   1007 |        0 |        0
1741.16/1741.78	c 1741s |      24 |  4471973 |  3860162 |     9953   1008 |        0 |        0
1743.17/1743.79	c 1743s |      24 |  4474676 |  3862562 |     9953   1009 |        0 |        0
1745.26/1745.81	c 1745s |      24 |  4480317 |  3867262 |     9953   1010 |        0 |        0
1747.26/1747.81	c 1747s |      24 |  4485849 |  3871962 |     9953   1011 |        0 |        0
1749.26/1749.82	c 1749s |      24 |  4490227 |  3875562 |     9953   1011 |        0 |        0
1751.26/1751.84	c 1751s |      24 |  4495402 |  3880162 |     9953   1012 |        0 |        0
1753.26/1753.86	c 1753s |      24 |  4501045 |  3884862 |     9953   1013 |        0 |        0
1755.27/1755.88	c 1755s |      24 |  4506866 |  3889862 |     9953   1014 |        0 |        0
1757.36/1757.90	c 1757s |      24 |  4512823 |  3894962 |     9953   1015 |        0 |        0
1760.77/1761.37	c 1761s |      24 |  4519889 |  3900462 |     9953   1016 |        0 |        0
1762.87/1763.41	c 1763s |      24 |  4524512 |  3904462 |     9953   1017 |        0 |        0
1764.87/1765.42	c 1765s |      24 |  4528884 |  3908362 |     9953   1018 |        0 |        0
1766.87/1767.46	c 1767s |      24 |  4533158 |  3912262 |     9953   1019 |        0 |        0
1768.87/1769.48	c 1769s |      24 |  4537694 |  3916262 |     9953   1020 |        0 |        0
1770.96/1771.50	c 1771s |      24 |  4542968 |  3920662 |     9953   1020 |        0 |        0
1773.16/1773.76	c 1773s |      24 |  4546981 |  3923762 |     9953   1021 |        0 |        0
1775.17/1775.77	c 1775s |      24 |  4552145 |  3928062 |     9953   1022 |        0 |        0
1777.16/1777.80	c 1777s |      24 |  4556239 |  3931662 |     9953   1023 |        0 |        0
1779.47/1780.01	c 1779s |      24 |  4561194 |  3936062 |     9953   1024 |        0 |        0
1781.46/1782.02	c 1781s |      24 |  4566229 |  3940562 |     9953   1024 |        0 |        0
1783.46/1784.05	c 1783s |      24 |  4572466 |  3945462 |     9953   1025 |        0 |        0
1785.46/1786.08	c 1786s |      24 |  4575970 |  3948462 |     9953   1026 |        0 |        0
1787.46/1788.09	c 1788s |      24 |  4580761 |  3952662 |     9953   1027 |        0 |        0
1789.47/1790.09	c 1790s |      24 |  4585180 |  3956462 |     9953   1028 |        0 |        0
1791.46/1792.09	c 1792s |      24 |  4590973 |  3961262 |     9953   1029 |        0 |        0
1793.56/1794.12	c 1794s |      24 |  4595859 |  3965362 |     9953   1029 |        0 |        0
1795.56/1796.15	c 1796s |      24 |  4601810 |  3970562 |     9953   1030 |        0 |        0
1797.56/1798.17	c 1798s |      24 |  4608060 |  3975662 |     9953   1031 |        0 |        0
1799.56/1800.19	c 1800s |      24 |  4613863 |  3980262 |     9953   1032 |        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-4106883-1466279950/watcher-4106883-1466279950 -o /tmp/evaluation-result-4106883-1466279950/solver-4106883-1466279950 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106883-1466279950.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.44 2.35 2.28 3/179 28672
/proc/meminfo: memFree=29073304/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 30040712 729214976 2507 33554432000 4194304 16246674 140736411298032 140736411297456 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 178799 2517 441 2943 0 175693 0
[pid=28672/tid=28673] ppid=28669 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 749137920 2580 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 753332224 2595 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30040712 757526528 2613 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.44 2.35 2.28 3/179 28672
/proc/meminfo: memFree=29073304/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 27364 0 0 0 6 3 0 0 20 0 4 0 30040712 1247350784 27203 33554432000 4194304 16246674 140736411298032 140736411297456 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 304529 27215 720 2943 0 301423 0
[pid=28672/tid=28673] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 27223 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 27232 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 27242 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.44 2.35 2.28 3/179 28672
/proc/meminfo: memFree=29073304/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 51576 0 0 0 12 7 0 0 20 0 4 0 30040712 1247350784 51414 33554432000 4194304 16246674 140736411298032 140736411297456 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 304529 51423 720 2943 0 301423 0
[pid=28672/tid=28673] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 51428 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 51434 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 51441 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.44 2.35 2.28 3/179 28672
/proc/meminfo: memFree=29073304/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 76487 0 0 0 18 11 0 0 20 0 4 0 30040712 1247350784 76326 33554432000 4194304 16246674 140736411298032 140736411297456 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 304529 76339 720 2943 0 301423 0
[pid=28672/tid=28673] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 76342 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 76348 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 76354 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700405 s]
/proc/loadavg: 2.44 2.35 2.28 3/179 28672
/proc/meminfo: memFree=29073304/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 169459 0 0 0 45 23 0 0 20 0 4 0 30040712 1247350784 169297 33554432000 4194304 16246674 140736411298032 140736411279936 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 304529 169312 720 2943 0 301423 0
[pid=28672/tid=28673] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 169323 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 169332 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30040712 1247350784 169342 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50047 s]
/proc/loadavg: 2.44 2.35 2.28 4/174 28761
/proc/meminfo: memFree=29181940/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1222212 CPUtime=1.48 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 246323 0 0 0 116 32 0 0 20 0 4 0 30040712 1251545088 246141 33554432000 4194304 16246674 140736411298032 140736411297344 5723304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 305553 246141 797 2943 0 302447 0
[pid=28672/tid=28673] ppid=28669 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1251545088 246141 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1251545088 246141 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1251545088 246141 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.44 2.35 2.28 3/183 28872
/proc/meminfo: memFree=29080892/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 267684 0 0 0 274 35 0 0 20 0 4 0 30040712 1338576896 267502 33554432000 4194304 16246674 140736411298032 140736411281032 13927373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 326801 267502 799 2943 0 323695 0
[pid=28672/tid=28673] ppid=28669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1338576896 267502 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1338576896 267502 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1338576896 267502 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.41 2.34 2.28 3/183 28872
/proc/meminfo: memFree=28636124/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 268749 0 0 0 594 35 0 0 20 0 4 0 30040712 1342771200 268567 33554432000 4194304 16246674 140736411298032 140736411279936 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 327825 268567 799 2943 0 324719 0
[pid=28672/tid=28673] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268567 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268567 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268567 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.37 2.33 2.28 3/183 28872
/proc/meminfo: memFree=28636496/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 268863 0 0 0 1234 35 0 0 20 0 4 0 30040712 1342771200 268681 33554432000 4194304 16246674 140736411298032 140736411279936 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 327825 268681 799 2943 0 324719 0
[pid=28672/tid=28673] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268681 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268681 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1342771200 268681 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 28872
/proc/meminfo: memFree=28440948/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 270401 0 0 0 2514 35 0 0 20 0 4 0 30040712 1349062656 270219 33554432000 4194304 16246674 140736411298032 140736411279936 5676592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 329361 270219 801 2943 0 326255 0
[pid=28672/tid=28673] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270219 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270219 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270219 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1004 s]
/proc/loadavg: 2.52 2.37 2.29 3/183 28872
/proc/meminfo: memFree=28120232/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 270402 0 0 0 5073 35 0 0 20 0 4 0 30040712 1349062656 270220 33554432000 4194304 16246674 140736411298032 140736411279936 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 329361 270220 802 2943 0 326255 0
[pid=28672/tid=28673] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270220 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270220 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1349062656 270220 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.40 2.36 2.29 3/184 28876
/proc/meminfo: memFree=27997300/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 272706 0 0 0 10191 36 0 0 20 0 4 0 30040712 1358499840 272524 33554432000 4194304 16246674 140736411298032 140736411281032 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 331665 272524 802 2943 0 328559 0
[pid=28672/tid=28673] ppid=28669 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1358499840 272524 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1358499840 272524 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1358499840 272524 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/184 28929
/proc/meminfo: memFree=27594200/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1301.83 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 130122 61 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411279936 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/183 28930
/proc/meminfo: memFree=27593984/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1361.82 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 136119 63 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411279936 5672890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 28932
/proc/meminfo: memFree=27593892/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1421.81 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 142116 65 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411297128 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.38 2.31 2.28 4/183 28933
/proc/meminfo: memFree=27593676/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1481.81 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 148115 66 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411279936 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.48 2.35 2.29 3/183 28934
/proc/meminfo: memFree=27594024/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1541.79 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 154112 67 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411297208 5672869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.32 2.33 2.28 3/183 28935
/proc/meminfo: memFree=27593932/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1601.78 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 160109 69 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411279936 6011014 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.36 2.35 2.29 4/183 28936
/proc/meminfo: memFree=27593584/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1661.78 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 166108 70 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411281032 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.39 2.36 2.29 3/183 28938
/proc/meminfo: memFree=27593796/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1721.77 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 172106 71 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411279936 5823765 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1340996

[startup+1782.31 s]
/proc/loadavg: 2.34 2.35 2.29 3/183 28939
/proc/meminfo: memFree=27593636/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1781.77 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 178105 72 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411281032 5852056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1340996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.34 2.29 4/183 28939
/proc/meminfo: memFree=27593852/32872528 swapFree=1402776/1580604
[pid=28672] ppid=28669 vsize=1340996 CPUtime=1800.06 cores=1,3,5,7
/proc/28672/stat : 28672 (toysat) R 28669 28672 28125 0 -1 4202496 276718 0 0 0 179934 72 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140736411297128 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28672/statm: 335249 276365 803 2943 0 332143 0
[pid=28672/tid=28673] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28673/stat : 28673 (toysat) S 28669 28672 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000776662256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28672/tid=28674] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28674/stat : 28674 (toysat) S 28669 28672 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000766172400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28672/tid=28675] ppid=28669 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/28672/task/28675/stat : 28675 (toysat) S 28669 28672 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30040712 1373179904 276365 33554432000 4194304 16246674 140736411298032 140000755698864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1340996

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 28672 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.07
CPU user time (s): 1799.35
CPU system time (s): 0.723889
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1340996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.723889
maximum resident set size= 1105460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276718
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= 440
involuntary context switches= 1865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16521 second user time and 7.00493 second system time

The end

Begin job on node139 at 2016-06-18 21:59:10
IDJOB=4106883
IDBENCH=48305
IDSOLVER=2542
FILE ID=node139/4106883-1466279950
RUNJOBID= node139-1466274546-28142
PBS_JOBID= 19918239
Free space on /tmp= 71580 MiB

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

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

MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626
RANDOM SEED=925232890

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        29074104 kB
Buffers:          175860 kB
Cached:           202836 kB
SwapCached:         1904 kB
Active:          1230628 kB
Inactive:         242760 kB
Active(anon):    1095456 kB
Inactive(anon):     1476 kB
Active(file):     135172 kB
Inactive(file):   241284 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       2674284 kB
Mapped:            10560 kB
Shmem:                 0 kB
Slab:             609732 kB
SReclaimable:      53872 kB
SUnreclaim:       555860 kB
KernelStack:        1512 kB
PageTables:         9496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2817184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1263616 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= 71564 MiB
End job on node139 at 2016-06-18 22:29:11