0.00/0.00	c 2016-06-06T15:00:29+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-4078707-1465218029.opb"]
0.00/0.01	c use --random-gen="2074218589 717558331 619373865 1760210750 3238287645 2050102171 2595613797 1464800599 3880526345 1127297402 1006131193 2415807134 2003960758 3214035878 3808272503 2588112734 2387519902 753936750 2952791428 14948586 1104834419 3616065298 482626115 3340304284 2321494309 1582204308 4224842039 1760120421 3581354839 4052404660 375200826 3840769330 4119323946 2013744146 1302461428 1174546402 317390700 3034288570 1842063376 1949449395 246880729 668965288 1762417646 417247649 2994079478 2213715673 126393656 1261902997 2177790264 3228552999 3128249884 1236387874 2129863579 4001802549 4237363301 1357421704 1391259738 3968807891 1042906090 2244951521 1362068169 477061436 2207680322 174718659 2127727672 1142937278 115098430 3154403847 1659100880 3446202187 1574861044 3488788213 2749937703 1083526202 3892724324 4248922995 3551326148 3811229554 2022519360 3875426392 1094918192 1605157127 335737809 3831916776 1463729877 2677326834 1712521 1623425330 765935274 1888700509 3169871115 1164477789 2761792935 4224560576 1324390104 29683517 1287470665 1844755754 3587131253 203447788 1115306225 2722349478 2807436183 1457778087 2590751526 3233508605 736465111 2462177470 3680751428 3583956315 4100376170 4251670177 265892189 2245516308 1539566518 3095210762 1560150074 53306009 2445267368 1901723884 1022015993 2404517690 4032551199 2122180024 2307276873 195868131 3480655423 557974780 442355517 3140510460 3154147579 2936528864 3588016154 2918371698 4095722890 4051833128 1653753116 2410878839 610382902 439806831 4094130208 2722697906 3853804145 361163401 2015217973 943069458 856670298 1216942927 1252792677 3286618705 2078937889 4034707289 1003289207 383294749 1799386250 446770457 1798512644 1370366687 4133887034 2215028987 1238182499 2575667014 3295548078 4180076388 4191498522 3287768090 3618600964 3012164151 3558988794 1615699128 3564373157 1226635112 3640014706 3513696590 3189807381 1460188266 2316378624 2327846854 96958288 1886965911 2559555586 3695773924 3598230326 3867312808 4217855864 839819502 2151452728 4077338300 2129126336 3699178262 402122302 2443015422 185368494 1902247416 2350286067 3640329225 3383156640 468790253 2602403554 3791176073 3434298910 1458519208 3770607018 2364631414 4191960694 297144374 3632204589 881842688 771892152 3055181565 1864282888 2460582728 4158644088 3403594827 2474783238 2025727228 874526665 2310207893 2622074936 560331110 1232662651 3307151480 2401258731 610918994 2474666837 2175279115 3672895648 3950489915 363252206 3097209059 1468037603 2988836445 3274030019 1531359504 2743344823 2833969848 2179440902 2105632200 356816389 2939259767 3771003586 3297251626 762063190 3223046220 302732946 1255849380 1662150897 1551508628 1330692613 669979611 2749381764 3081885459 1549278800 1275025805 1790256156 313300111 255 362436" option to reproduce the execution
0.00/0.01	c #vars 316
0.00/0.01	c #constraints 476
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      264      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      127 |      100 |      264      0 |        0 |        0
0.09/0.14	c  0.1s |       2 |      488 |      250 |      291      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1310 |      475 |      321      0 |        0 |        0
0.39/0.42	c  0.4s |       4 |     2968 |      813 |      354      2 |        0 |        0
0.69/0.77	c  0.7s |       5 |     4182 |     1320 |      390      3 |        0 |        0
1.09/1.15	c  1.1s |       6 |     5495 |     2081 |      474      6 |        0 |        0
1.59/1.65	c  1.6s |       7 |     7775 |     3223 |      522      9 |        0 |        0
2.39/2.43	c  2.4s |       8 |    10721 |     4936 |      575     14 |        0 |        0
3.59/3.63	c  3.6s |       9 |    14647 |     7506 |      633     21 |        0 |        0
5.29/5.39	c  5.4s |      10 |    20790 |    11361 |      697     30 |        0 |        0
7.39/7.42	c  7.4s |      10 |    27320 |    15461 |      697     39 |        0 |        0
8.19/8.25	c  8.2s |      11 |    29724 |    17144 |      767     42 |        0 |        0
10.19/10.30	c 10.3s |      11 |    37587 |    21544 |      767     52 |        0 |        0
12.28/12.31	c 12.3s |      11 |    43766 |    25544 |      767     60 |        0 |        0
12.38/12.45	c 12.4s |      12 |    44089 |    25819 |      844     60 |        0 |        0
14.39/14.49	c 14.5s |      12 |    50251 |    30019 |      844     69 |        0 |        0
16.39/16.50	c 16.5s |      12 |    56988 |    34219 |      844     77 |        0 |        0
18.49/18.52	c 18.5s |      12 |    62320 |    38019 |      844     84 |        0 |        0
18.89/18.99	c 19.0s |      13 |    63362 |    38832 |      929     85 |        0 |        0
20.99/21.03	c 21.0s |      13 |    71472 |    43232 |      929     93 |        0 |        0
22.99/23.06	c 23.0s |      13 |    76791 |    47132 |      929    100 |        0 |        0
24.98/25.08	c 25.1s |      13 |    82219 |    51032 |      929    107 |        0 |        0
26.98/27.09	c 27.1s |      13 |    88327 |    55132 |      929    114 |        0 |        0
28.69/28.77	c 28.8s |      14 |    92816 |    58352 |     1022    120 |        0 |        0
30.68/30.78	c 30.8s |      14 |    98228 |    62152 |     1022    126 |        0 |        0
32.79/32.80	c 32.8s |      14 |   104134 |    66052 |     1022    132 |        0 |        0
34.79/34.81	c 34.8s |      14 |   111530 |    70152 |     1022    139 |        0 |        0
36.78/36.84	c 36.8s |      14 |   116881 |    73952 |     1022    145 |        0 |        0
38.78/38.89	c 38.9s |      14 |   121878 |    77852 |     1022    152 |        0 |        0
40.88/40.91	c 40.9s |      14 |   127519 |    81752 |     1022    158 |        0 |        0
42.89/42.96	c 42.9s |      14 |   133267 |    85752 |     1022    165 |        0 |        0
43.88/43.96	c 43.9s |      15 |   135768 |    87632 |     1125    167 |        0 |        0
45.88/45.98	c 46.0s |      15 |   140815 |    91232 |     1125    173 |        0 |        0
47.88/47.99	c 48.0s |      15 |   146184 |    95032 |     1125    179 |        0 |        0
49.99/50.03	c 50.0s |      15 |   152084 |    98932 |     1125    185 |        0 |        0
51.99/52.05	c 52.0s |      15 |   157136 |   102732 |     1125    190 |        0 |        0
53.99/54.07	c 54.0s |      15 |   161809 |   106332 |     1125    196 |        0 |        0
55.98/56.09	c 56.1s |      15 |   166768 |   110032 |     1125    201 |        0 |        0
58.08/58.11	c 58.1s |      15 |   171970 |   113732 |     1125    207 |        0 |        0
60.08/60.12	c 60.1s |      15 |   176677 |   117332 |     1125    212 |        0 |        0
62.08/62.17	c 62.2s |      15 |   181462 |   121032 |     1125    218 |        0 |        0
64.18/64.21	c 64.2s |      15 |   187679 |   125032 |     1125    224 |        0 |        0
66.17/66.25	c 66.2s |      15 |   192489 |   128732 |     1125    229 |        0 |        0
67.67/67.78	c 67.8s |      16 |   196229 |   131552 |     1238    233 |        0 |        0
69.68/69.79	c 69.8s |      16 |   202860 |   135352 |     1238    239 |        0 |        0
71.68/71.79	c 71.8s |      16 |   207876 |   139152 |     1238    244 |        0 |        0
73.79/73.83	c 73.8s |      16 |   213948 |   143352 |     1238    250 |        0 |        0
75.78/75.88	c 75.9s |      16 |   219855 |   147252 |     1238    255 |        0 |        0
77.78/77.90	c 77.9s |      16 |   224856 |   150952 |     1238    260 |        0 |        0
79.88/79.90	c 79.9s |      16 |   231739 |   154952 |     1238    266 |        0 |        0
81.87/81.92	c 81.9s |      16 |   238549 |   158952 |     1238    272 |        0 |        0
83.87/83.93	c 83.9s |      16 |   245342 |   163152 |     1238    277 |        0 |        0
85.89/85.99	c 86.0s |      16 |   250330 |   166752 |     1238    283 |        0 |        0
87.98/88.02	c 88.0s |      16 |   255727 |   170752 |     1238    288 |        0 |        0
89.98/90.04	c 90.0s |      16 |   261614 |   174752 |     1238    294 |        0 |        0
91.97/92.09	c 92.1s |      16 |   267423 |   178652 |     1238    299 |        0 |        0
94.07/94.12	c 94.1s |      16 |   273666 |   182552 |     1238    304 |        0 |        0
96.07/96.13	c 96.1s |      16 |   280389 |   186352 |     1238    310 |        0 |        0
98.07/98.18	c 98.2s |      16 |   286258 |   190052 |     1238    315 |        0 |        0
100.18/100.21	c  100s |      16 |   292746 |   193952 |     1238    320 |        0 |        0
102.07/102.11	c  102s |      17 |   297296 |   197432 |     1362    325 |        0 |        0
104.07/104.11	c  104s |      17 |   302769 |   201032 |     1362    329 |        0 |        0
106.07/106.16	c  106s |      17 |   307428 |   204532 |     1362    334 |        0 |        0
108.17/108.21	c  108s |      17 |   311786 |   207932 |     1362    338 |        0 |        0
110.17/110.21	c  110s |      17 |   316543 |   211532 |     1362    343 |        0 |        0
112.18/112.22	c  112s |      17 |   322312 |   215332 |     1362    348 |        0 |        0
114.17/114.24	c  114s |      17 |   328649 |   219332 |     1362    353 |        0 |        0
116.17/116.29	c  116s |      17 |   335408 |   223432 |     1362    358 |        0 |        0
118.27/118.34	c  118s |      17 |   341537 |   227232 |     1362    363 |        0 |        0
120.27/120.37	c  120s |      17 |   347707 |   231032 |     1362    368 |        0 |        0
122.27/122.37	c  122s |      17 |   353700 |   234732 |     1362    372 |        0 |        0
124.38/124.41	c  124s |      17 |   359677 |   238632 |     1362    377 |        0 |        0
126.37/126.45	c  126s |      17 |   365473 |   242532 |     1362    382 |        0 |        0
128.37/128.45	c  128s |      17 |   372093 |   246332 |     1362    387 |        0 |        0
130.36/130.49	c  130s |      17 |   376998 |   249732 |     1362    392 |        0 |        0
132.46/132.53	c  132s |      17 |   381615 |   253232 |     1362    396 |        0 |        0
134.46/134.57	c  134s |      17 |   386871 |   256932 |     1362    401 |        0 |        0
136.57/136.61	c  136s |      17 |   391606 |   260432 |     1362    405 |        0 |        0
138.58/138.65	c  138s |      17 |   395878 |   263732 |     1362    410 |        0 |        0
140.57/140.68	c  140s |      17 |   401579 |   267732 |     1362    415 |        0 |        0
142.67/142.70	c  142s |      17 |   407816 |   271632 |     1362    420 |        0 |        0
144.67/144.74	c  144s |      17 |   414046 |   275532 |     1362    425 |        0 |        0
146.67/146.74	c  146s |      17 |   421356 |   279532 |     1362    430 |        0 |        0
148.67/148.77	c  148s |      17 |   427150 |   283132 |     1362    434 |        0 |        0
150.67/150.79	c  150s |      17 |   432893 |   286832 |     1362    439 |        0 |        0
152.77/152.83	c  152s |      17 |   437996 |   290332 |     1362    444 |        0 |        0
154.76/154.86	c  154s |      17 |   442246 |   293632 |     1362    448 |        0 |        0
156.27/156.37	c  156s |      18 |   445897 |   296252 |     1499    451 |        0 |        0
158.26/158.38	c  158s |      18 |   450911 |   299752 |     1499    455 |        0 |        0
160.36/160.45	c  160s |      18 |   455212 |   302952 |     1499    459 |        0 |        0
162.36/162.46	c  162s |      18 |   459686 |   306152 |     1499    462 |        0 |        0
164.36/164.48	c  164s |      18 |   463346 |   309052 |     1499    466 |        0 |        0
166.46/166.54	c  166s |      18 |   467974 |   312452 |     1499    470 |        0 |        0
168.46/168.58	c  168s |      18 |   472311 |   315752 |     1499    473 |        0 |        0
170.57/170.60	c  170s |      18 |   476438 |   318752 |     1499    477 |        0 |        0
172.57/172.68	c  172s |      18 |   480223 |   321752 |     1499    480 |        0 |        0
174.67/174.72	c  174s |      18 |   484116 |   324752 |     1499    484 |        0 |        0
176.67/176.73	c  176s |      18 |   487539 |   327552 |     1499    487 |        0 |        0
178.67/178.74	c  178s |      18 |   491635 |   330752 |     1499    491 |        0 |        0
180.66/180.74	c  180s |      18 |   495807 |   333952 |     1499    495 |        0 |        0
182.67/182.76	c  182s |      18 |   499961 |   337152 |     1499    498 |        0 |        0
184.77/184.82	c  184s |      18 |   504320 |   340452 |     1499    502 |        0 |        0
186.76/186.83	c  186s |      18 |   508205 |   343352 |     1499    506 |        0 |        0
188.76/188.87	c  188s |      18 |   512118 |   346352 |     1499    509 |        0 |        0
190.86/190.92	c  190s |      18 |   516322 |   349652 |     1499    513 |        0 |        0
192.86/192.92	c  192s |      18 |   520157 |   352752 |     1499    516 |        0 |        0
194.86/194.97	c  194s |      18 |   524394 |   356052 |     1499    520 |        0 |        0
196.97/197.03	c  197s |      18 |   528302 |   359252 |     1499    524 |        0 |        0
198.96/199.03	c  199s |      18 |   532291 |   362452 |     1499    528 |        0 |        0
200.96/201.04	c  201s |      18 |   536628 |   365752 |     1499    532 |        0 |        0
202.96/203.07	c  203s |      18 |   541048 |   369052 |     1499    535 |        0 |        0
204.96/205.09	c  205s |      18 |   545176 |   372252 |     1499    539 |        0 |        0
207.06/207.11	c  207s |      18 |   549396 |   375352 |     1499    543 |        0 |        0
209.07/209.16	c  209s |      18 |   552967 |   378252 |     1499    546 |        0 |        0
211.16/211.22	c  211s |      18 |   556721 |   381052 |     1499    549 |        0 |        0
213.16/213.24	c  213s |      18 |   560368 |   383852 |     1499    553 |        0 |        0
215.16/215.30	c  215s |      18 |   564508 |   386852 |     1499    556 |        0 |        0
217.26/217.36	c  217s |      18 |   570116 |   390352 |     1499    560 |        0 |        0
219.26/219.39	c  219s |      18 |   574049 |   393152 |     1499    564 |        0 |        0
221.36/221.40	c  221s |      18 |   578808 |   396352 |     1499    567 |        0 |        0
223.36/223.43	c  223s |      18 |   582636 |   399252 |     1499    571 |        0 |        0
225.36/225.46	c  225s |      18 |   587787 |   402552 |     1499    575 |        0 |        0
227.36/227.47	c  227s |      18 |   592465 |   405652 |     1499    578 |        0 |        0
229.46/229.50	c  229s |      18 |   597099 |   408752 |     1499    582 |        0 |        0
231.45/231.54	c  231s |      18 |   602573 |   412152 |     1499    586 |        0 |        0
233.45/233.58	c  233s |      18 |   607325 |   415552 |     1499    590 |        0 |        0
235.46/235.59	c  235s |      18 |   612371 |   418952 |     1499    594 |        0 |        0
237.56/237.65	c  237s |      18 |   616590 |   422252 |     1499    598 |        0 |        0
239.55/239.69	c  239s |      18 |   623106 |   425852 |     1499    602 |        0 |        0
241.55/241.69	c  241s |      18 |   629596 |   429452 |     1499    606 |        0 |        0
243.55/243.69	c  243s |      18 |   634417 |   432952 |     1499    610 |        0 |        0
245.65/245.70	c  245s |      18 |   639179 |   436352 |     1499    614 |        0 |        0
247.65/247.74	c  247s |      18 |   643827 |   439752 |     1499    618 |        0 |        0
249.66/249.79	c  249s |      18 |   647928 |   442952 |     1649    622 |        0 |        0
250.65/250.72	c  250s |      19 |   650054 |   444482 |     1649    623 |        0 |        0
252.65/252.74	c  252s |      19 |   657430 |   448582 |     1649    628 |        0 |        0
254.65/254.76	c  254s |      19 |   664723 |   452582 |     1649    632 |        0 |        0
256.65/256.79	c  256s |      19 |   670977 |   456382 |     1649    636 |        0 |        0
258.65/258.79	c  258s |      19 |   678201 |   460382 |     1649    641 |        0 |        0
260.75/260.82	c  260s |      19 |   683141 |   463982 |     1649    645 |        0 |        0
262.75/262.85	c  262s |      19 |   688333 |   467582 |     1649    648 |        0 |        0
264.85/264.90	c  264s |      19 |   694652 |   471582 |     1649    653 |        0 |        0
266.85/266.93	c  266s |      19 |   700799 |   475382 |     1649    657 |        0 |        0
268.85/268.94	c  268s |      19 |   705486 |   478882 |     1649    661 |        0 |        0
270.85/270.98	c  270s |      19 |   713705 |   482982 |     1649    665 |        0 |        0
272.85/272.99	c  272s |      19 |   719956 |   486882 |     1649    669 |        0 |        0
274.95/275.04	c  275s |      19 |   726884 |   490782 |     1649    674 |        0 |        0
276.95/277.09	c  277s |      19 |   733122 |   494582 |     1649    678 |        0 |        0
279.05/279.11	c  279s |      19 |   740941 |   498482 |     1649    682 |        0 |        0
281.05/281.15	c  281s |      19 |   751042 |   502782 |     1649    687 |        0 |        0
283.05/283.16	c  283s |      19 |   760346 |   506882 |     1649    691 |        0 |        0
285.04/285.17	c  285s |      19 |   765952 |   510582 |     1649    695 |        0 |        0
287.05/287.17	c  287s |      19 |   775062 |   514682 |     1649    699 |        0 |        0
289.04/289.18	c  289s |      19 |   783813 |   518482 |     1649    704 |        0 |        0
291.14/291.21	c  291s |      19 |   793178 |   522682 |     1649    708 |        0 |        0
293.14/293.21	c  293s |      19 |   797440 |   526082 |     1649    712 |        0 |        0
295.14/295.22	c  295s |      19 |   804162 |   529882 |     1649    716 |        0 |        0
297.14/297.24	c  297s |      19 |   810505 |   533482 |     1649    720 |        0 |        0
299.15/299.30	c  299s |      19 |   814791 |   536782 |     1649    723 |        0 |        0
301.24/301.33	c  301s |      19 |   819444 |   540182 |     1649    727 |        0 |        0
303.24/303.34	c  303s |      19 |   826897 |   544082 |     1649    731 |        0 |        0
305.24/305.35	c  305s |      19 |   835663 |   548182 |     1649    736 |        0 |        0
307.24/307.39	c  307s |      19 |   841399 |   551782 |     1649    740 |        0 |        0
309.34/309.44	c  309s |      19 |   846151 |   555282 |     1649    743 |        0 |        0
311.35/311.46	c  311s |      19 |   851022 |   558782 |     1649    747 |        0 |        0
313.34/313.48	c  313s |      19 |   855971 |   562182 |     1649    751 |        0 |        0
315.44/315.52	c  315s |      19 |   860150 |   565482 |     1649    754 |        0 |        0
317.44/317.53	c  317s |      19 |   864825 |   568982 |     1649    758 |        0 |        0
319.44/319.59	c  319s |      19 |   869990 |   572682 |     1649    762 |        0 |        0
321.54/321.62	c  321s |      19 |   875032 |   576282 |     1649    766 |        0 |        0
323.54/323.62	c  323s |      19 |   881200 |   580082 |     1649    770 |        0 |        0
325.55/325.64	c  325s |      19 |   885771 |   583582 |     1649    774 |        0 |        0
327.54/327.65	c  327s |      19 |   891427 |   587282 |     1649    778 |        0 |        0
329.54/329.67	c  329s |      19 |   897702 |   591082 |     1649    782 |        0 |        0
331.63/331.70	c  331s |      19 |   902383 |   594682 |     1649    786 |        0 |        0
333.63/333.71	c  333s |      19 |   907337 |   598182 |     1649    789 |        0 |        0
335.64/335.72	c  335s |      19 |   913771 |   601982 |     1649    794 |        0 |        0
337.65/337.74	c  337s |      19 |   919613 |   605682 |     1649    798 |        0 |        0
339.64/339.77	c  339s |      19 |   925830 |   609482 |     1649    802 |        0 |        0
341.74/341.83	c  341s |      19 |   930590 |   612982 |     1649    805 |        0 |        0
343.74/343.87	c  343s |      19 |   935435 |   616482 |     1649    809 |        0 |        0
345.74/345.88	c  345s |      19 |   941200 |   620082 |     1649    813 |        0 |        0
347.83/347.93	c  347s |      19 |   947577 |   623882 |     1649    817 |        0 |        0
349.84/349.98	c  349s |      19 |   953091 |   627482 |     1649    821 |        0 |        0
351.95/352.01	c  351s |      19 |   958203 |   630982 |     1649    825 |        0 |        0
353.94/354.05	c  354s |      19 |   963242 |   634582 |     1649    829 |        0 |        0
355.94/356.08	c  356s |      19 |   967616 |   638082 |     1649    832 |        0 |        0
357.93/358.08	c  358s |      19 |   972742 |   641782 |     1649    836 |        0 |        0
359.93/360.08	c  360s |      19 |   977834 |   645382 |     1649    840 |        0 |        0
362.03/362.15	c  362s |      19 |   982645 |   648982 |     1649    844 |        0 |        0
364.04/364.19	c  364s |      19 |   988191 |   652682 |     1649    848 |        0 |        0
366.03/366.19	c  366s |      19 |   993338 |   656182 |     1649    852 |        0 |        0
368.13/368.20	c  368s |      19 |   997982 |   659582 |     1649    856 |        0 |        0
370.13/370.22	c  370s |      19 |  1002805 |   662982 |     1814    859 |        0 |        0
372.13/372.26	c  372s |      19 |  1008882 |   666582 |     1814    863 |        0 |        0
372.23/372.39	c  372s |      20 |  1009217 |   666827 |     1814    863 |        0 |        0
374.33/374.45	c  374s |      20 |  1014750 |   670427 |     1814    866 |        0 |        0
376.33/376.48	c  376s |      20 |  1022410 |   674227 |     1814    870 |        0 |        0
378.34/378.50	c  378s |      20 |  1026828 |   677527 |     1814    873 |        0 |        0
380.43/380.52	c  380s |      20 |  1031030 |   680727 |     1814    876 |        0 |        0
382.43/382.59	c  382s |      20 |  1036881 |   684227 |     1814    880 |        0 |        0
384.43/384.59	c  384s |      20 |  1041628 |   687527 |     1814    883 |        0 |        0
386.53/386.62	c  386s |      20 |  1045563 |   690627 |     1814    886 |        0 |        0
388.53/388.63	c  388s |      20 |  1049619 |   693827 |     1814    889 |        0 |        0
390.54/390.65	c  390s |      20 |  1053442 |   696727 |     1814    892 |        0 |        0
392.53/392.70	c  392s |      20 |  1058695 |   700327 |     1814    896 |        0 |        0
394.63/394.71	c  394s |      20 |  1063007 |   703627 |     1814    899 |        0 |        0
396.63/396.71	c  396s |      20 |  1067218 |   706727 |     1814    902 |        0 |        0
398.63/398.76	c  398s |      20 |  1071726 |   710127 |     1814    906 |        0 |        0
400.63/400.79	c  400s |      20 |  1075681 |   713327 |     1814    909 |        0 |        0
402.73/402.84	c  402s |      20 |  1082192 |   716827 |     1814    912 |        0 |        0
404.73/404.87	c  404s |      20 |  1089751 |   720427 |     1814    916 |        0 |        0
406.83/406.93	c  406s |      20 |  1095660 |   724027 |     1814    919 |        0 |        0
408.82/408.94	c  408s |      20 |  1099870 |   727227 |     1814    923 |        0 |        0
410.82/410.96	c  410s |      20 |  1104084 |   730327 |     1814    926 |        0 |        0
412.82/412.99	c  412s |      20 |  1107840 |   733327 |     1814    929 |        0 |        0
414.82/414.99	c  414s |      20 |  1112067 |   736327 |     1814    931 |        0 |        0
416.93/417.01	c  416s |      20 |  1115617 |   739227 |     1814    934 |        0 |        0
418.92/419.09	c  419s |      20 |  1120156 |   742527 |     1814    938 |        0 |        0
420.92/421.09	c  421s |      20 |  1125941 |   745727 |     1814    941 |        0 |        0
423.02/423.12	c  423s |      20 |  1130090 |   748927 |     1814    944 |        0 |        0
425.02/425.14	c  425s |      20 |  1133922 |   751927 |     1814    947 |        0 |        0
427.02/427.15	c  427s |      20 |  1137898 |   754927 |     1814    950 |        0 |        0
429.03/429.15	c  429s |      20 |  1141603 |   757927 |     1814    953 |        0 |        0
431.03/431.19	c  431s |      20 |  1145422 |   761027 |     1814    956 |        0 |        0
433.13/433.23	c  433s |      20 |  1149574 |   764127 |     1814    959 |        0 |        0
435.13/435.23	c  435s |      20 |  1153166 |   767027 |     1814    962 |        0 |        0
437.13/437.26	c  437s |      20 |  1157823 |   770227 |     1814    965 |        0 |        0
439.13/439.27	c  439s |      20 |  1162138 |   773627 |     1814    968 |        0 |        0
441.13/441.28	c  441s |      20 |  1166393 |   777027 |     1814    972 |        0 |        0
443.12/443.30	c  443s |      20 |  1170860 |   780427 |     1814    975 |        0 |        0
445.22/445.34	c  445s |      20 |  1176060 |   783827 |     1814    978 |        0 |        0
447.22/447.38	c  447s |      20 |  1180643 |   787127 |     1814    982 |        0 |        0
449.32/449.43	c  449s |      20 |  1186591 |   790527 |     1814    985 |        0 |        0
451.32/451.48	c  451s |      20 |  1193541 |   794127 |     1814    988 |        0 |        0
453.42/453.51	c  453s |      20 |  1198975 |   797627 |     1814    992 |        0 |        0
455.43/455.51	c  455s |      20 |  1203363 |   800927 |     1814    995 |        0 |        0
457.42/457.52	c  457s |      20 |  1208292 |   804127 |     1814    998 |        0 |        0
459.42/459.59	c  459s |      20 |  1212183 |   807327 |     1814   1002 |        0 |        0
461.42/461.59	c  461s |      20 |  1216388 |   810527 |     1814   1005 |        0 |        0
463.52/463.64	c  463s |      20 |  1221870 |   814027 |     1814   1008 |        0 |        0
465.52/465.65	c  465s |      20 |  1226085 |   817227 |     1814   1011 |        0 |        0
467.52/467.66	c  467s |      20 |  1230034 |   820327 |     1814   1014 |        0 |        0
469.52/469.70	c  469s |      20 |  1234272 |   823427 |     1814   1017 |        0 |        0
471.62/471.74	c  471s |      20 |  1238406 |   826627 |     1814   1020 |        0 |        0
473.62/473.79	c  473s |      20 |  1242179 |   829727 |     1814   1024 |        0 |        0
475.72/475.80	c  475s |      20 |  1246151 |   832827 |     1814   1027 |        0 |        0
477.71/477.82	c  477s |      20 |  1249917 |   835827 |     1814   1030 |        0 |        0
479.71/479.86	c  479s |      20 |  1254027 |   838927 |     1814   1033 |        0 |        0
481.82/481.93	c  481s |      20 |  1257690 |   841927 |     1814   1036 |        0 |        0
483.81/483.98	c  483s |      20 |  1261485 |   844927 |     1814   1039 |        0 |        0
485.91/486.01	c  485s |      20 |  1265303 |   847927 |     1814   1041 |        0 |        0
487.91/488.02	c  487s |      20 |  1269081 |   850927 |     1814   1044 |        0 |        0
489.91/490.07	c  490s |      20 |  1273559 |   854627 |     1814   1048 |        0 |        0
491.92/492.08	c  492s |      20 |  1278230 |   858127 |     1814   1052 |        0 |        0
494.02/494.10	c  494s |      20 |  1282777 |   861627 |     1814   1055 |        0 |        0
496.02/496.18	c  496s |      20 |  1288536 |   865227 |     1814   1059 |        0 |        0
498.02/498.18	c  498s |      20 |  1292584 |   868427 |     1814   1062 |        0 |        0
500.12/500.23	c  500s |      20 |  1297128 |   871827 |     1814   1065 |        0 |        0
502.12/502.27	c  502s |      20 |  1301516 |   875127 |     1814   1068 |        0 |        0
504.12/504.28	c  504s |      20 |  1306054 |   878427 |     1814   1072 |        0 |        0
506.22/506.31	c  506s |      20 |  1310785 |   881727 |     1814   1075 |        0 |        0
508.22/508.34	c  508s |      20 |  1315744 |   885127 |     1814   1078 |        0 |        0
510.32/510.41	c  510s |      20 |  1320786 |   888527 |     1814   1082 |        0 |        0
512.31/512.41	c  512s |      20 |  1325631 |   891827 |     1814   1085 |        0 |        0
514.31/514.46	c  514s |      20 |  1331580 |   895227 |     1814   1088 |        0 |        0
516.41/516.50	c  516s |      20 |  1336751 |   898627 |     1814   1091 |        0 |        0
518.41/518.53	c  518s |      20 |  1341524 |   901827 |     1814   1095 |        0 |        0
520.41/520.59	c  520s |      20 |  1347044 |   905227 |     1814   1098 |        0 |        0
522.52/522.61	c  522s |      20 |  1353018 |   908527 |     1814   1101 |        0 |        0
524.51/524.62	c  524s |      20 |  1357930 |   911827 |     1814   1105 |        0 |        0
526.51/526.63	c  526s |      20 |  1362194 |   915027 |     1814   1108 |        0 |        0
528.51/528.66	c  528s |      20 |  1368127 |   918427 |     1814   1111 |        0 |        0
530.51/530.67	c  530s |      20 |  1373950 |   921727 |     1814   1114 |        0 |        0
532.61/532.70	c  532s |      20 |  1379483 |   925127 |     1814   1118 |        0 |        0
534.61/534.73	c  534s |      20 |  1384137 |   928227 |     1814   1121 |        0 |        0
536.61/536.74	c  536s |      20 |  1390361 |   931627 |     1814   1124 |        0 |        0
538.61/538.78	c  538s |      20 |  1394885 |   934927 |     1814   1127 |        0 |        0
540.71/540.81	c  540s |      20 |  1399245 |   938327 |     1814   1131 |        0 |        0
542.71/542.86	c  542s |      20 |  1403800 |   941727 |     1814   1134 |        0 |        0
544.71/544.87	c  544s |      20 |  1408423 |   945027 |     1814   1137 |        0 |        0
546.80/546.93	c  546s |      20 |  1413587 |   948427 |     1814   1141 |        0 |        0
548.81/548.94	c  548s |      20 |  1417831 |   951727 |     1814   1144 |        0 |        0
550.80/550.97	c  550s |      20 |  1421679 |   954827 |     1814   1147 |        0 |        0
552.90/553.03	c  553s |      20 |  1425802 |   957927 |     1814   1150 |        0 |        0
554.90/555.05	c  555s |      20 |  1429914 |   961027 |     1814   1153 |        0 |        0
556.90/557.07	c  557s |      20 |  1434082 |   964127 |     1814   1156 |        0 |        0
558.90/559.08	c  559s |      20 |  1438302 |   967127 |     1814   1159 |        0 |        0
561.01/561.12	c  561s |      20 |  1442957 |   970427 |     1814   1162 |        0 |        0
563.00/563.15	c  563s |      20 |  1446860 |   973527 |     1814   1165 |        0 |        0
565.10/565.23	c  565s |      20 |  1451370 |   976727 |     1814   1169 |        0 |        0
567.10/567.27	c  567s |      20 |  1455559 |   979927 |     1814   1172 |        0 |        0
569.10/569.28	c  569s |      20 |  1459492 |   983027 |     1814   1175 |        0 |        0
571.21/571.32	c  571s |      20 |  1463775 |   986227 |     1814   1178 |        0 |        0
573.20/573.33	c  573s |      20 |  1467646 |   989227 |     1814   1181 |        0 |        0
575.21/575.39	c  575s |      20 |  1471226 |   992227 |     1814   1184 |        0 |        0
577.30/577.42	c  577s |      20 |  1475432 |   995427 |     1996   1187 |        0 |        0
579.30/579.44	c  579s |      20 |  1479890 |   998627 |     1996   1190 |        0 |        0
580.30/580.48	c  580s |      21 |  1482065 |  1000345 |     1996   1191 |        0 |        0
582.30/582.48	c  582s |      21 |  1489619 |  1004445 |     1996   1195 |        0 |        0
584.40/584.55	c  584s |      21 |  1497460 |  1008345 |     1996   1199 |        0 |        0
586.40/586.56	c  586s |      21 |  1503390 |  1011945 |     1996   1202 |        0 |        0
588.50/588.61	c  588s |      21 |  1508507 |  1015445 |     1996   1205 |        0 |        0
590.50/590.66	c  590s |      21 |  1513515 |  1018945 |     1996   1208 |        0 |        0
592.50/592.69	c  592s |      21 |  1518664 |  1022545 |     1996   1211 |        0 |        0
594.60/594.71	c  594s |      21 |  1523352 |  1025945 |     1996   1215 |        0 |        0
596.60/596.72	c  596s |      21 |  1527987 |  1029345 |     1996   1218 |        0 |        0
598.60/598.75	c  598s |      21 |  1532030 |  1032545 |     1996   1221 |        0 |        0
600.60/600.78	c  600s |      21 |  1536316 |  1035945 |     1996   1224 |        0 |        0
602.70/602.82	c  602s |      21 |  1542799 |  1039645 |     1996   1227 |        0 |        0
604.69/604.86	c  604s |      21 |  1549865 |  1043445 |     1996   1230 |        0 |        0
606.79/606.92	c  606s |      21 |  1557764 |  1047345 |     1996   1234 |        0 |        0
608.79/608.96	c  608s |      21 |  1562301 |  1050745 |     1996   1237 |        0 |        0
610.79/611.00	c  610s |      21 |  1568263 |  1054245 |     1996   1240 |        0 |        0
612.89/613.02	c  612s |      21 |  1572709 |  1057445 |     1996   1243 |        0 |        0
614.91/615.08	c  615s |      21 |  1577723 |  1061045 |     1996   1246 |        0 |        0
617.01/617.14	c  617s |      21 |  1582252 |  1064445 |     1996   1249 |        0 |        0
619.00/619.15	c  619s |      21 |  1587182 |  1067845 |     1996   1253 |        0 |        0
621.00/621.16	c  621s |      21 |  1591801 |  1071145 |     1996   1255 |        0 |        0
623.10/623.22	c  623s |      21 |  1597093 |  1074545 |     1996   1259 |        0 |        0
625.10/625.27	c  625s |      21 |  1601376 |  1077845 |     1996   1262 |        0 |        0
627.20/627.31	c  627s |      21 |  1607095 |  1081445 |     1996   1265 |        0 |        0
629.20/629.36	c  629s |      21 |  1613744 |  1085245 |     1996   1268 |        0 |        0
631.30/631.41	c  631s |      21 |  1619427 |  1088845 |     1996   1272 |        0 |        0
633.30/633.43	c  633s |      21 |  1625224 |  1092545 |     1996   1275 |        0 |        0
635.30/635.46	c  635s |      21 |  1630807 |  1096045 |     1996   1278 |        0 |        0
637.30/637.48	c  637s |      21 |  1637083 |  1099645 |     1996   1281 |        0 |        0
639.39/639.53	c  639s |      21 |  1643035 |  1103245 |     1996   1285 |        0 |        0
641.39/641.58	c  641s |      21 |  1647787 |  1106745 |     1996   1288 |        0 |        0
643.40/643.59	c  643s |      21 |  1651841 |  1109945 |     1996   1291 |        0 |        0
645.49/645.61	c  645s |      21 |  1655873 |  1113145 |     1996   1294 |        0 |        0
647.49/647.63	c  647s |      21 |  1661718 |  1116745 |     1996   1297 |        0 |        0
649.49/649.67	c  649s |      21 |  1667496 |  1120345 |     1996   1300 |        0 |        0
651.59/651.70	c  651s |      21 |  1674210 |  1123945 |     1996   1303 |        0 |        0
653.59/653.74	c  653s |      21 |  1681095 |  1127745 |     1996   1307 |        0 |        0
655.60/655.77	c  655s |      21 |  1687718 |  1131445 |     1996   1310 |        0 |        0
657.70/657.81	c  657s |      21 |  1692162 |  1134745 |     1996   1313 |        0 |        0
659.69/659.82	c  659s |      21 |  1696037 |  1137845 |     1996   1316 |        0 |        0
661.69/661.87	c  661s |      21 |  1700416 |  1141145 |     1996   1319 |        0 |        0
663.69/663.89	c  663s |      21 |  1704774 |  1144445 |     1996   1322 |        0 |        0
665.79/665.93	c  665s |      21 |  1709871 |  1147945 |     1996   1325 |        0 |        0
667.79/667.98	c  667s |      21 |  1714231 |  1151245 |     1996   1328 |        0 |        0
669.79/669.99	c  669s |      21 |  1719135 |  1154545 |     1996   1331 |        0 |        0
671.88/672.03	c  672s |      21 |  1723571 |  1157945 |     1996   1334 |        0 |        0
673.88/674.06	c  674s |      21 |  1727796 |  1161245 |     1996   1337 |        0 |        0
675.88/676.07	c  676s |      21 |  1732007 |  1164545 |     1996   1340 |        0 |        0
677.89/678.10	c  678s |      21 |  1737149 |  1168045 |     1996   1343 |        0 |        0
679.98/680.11	c  680s |      21 |  1742992 |  1171645 |     1996   1347 |        0 |        0
681.99/682.15	c  682s |      21 |  1750275 |  1175345 |     1996   1350 |        0 |        0
683.98/684.15	c  684s |      21 |  1755483 |  1178845 |     1996   1353 |        0 |        0
685.98/686.16	c  686s |      21 |  1761618 |  1182445 |     1996   1357 |        0 |        0
688.08/688.21	c  688s |      21 |  1769354 |  1186245 |     1996   1360 |        0 |        0
690.09/690.26	c  690s |      21 |  1774168 |  1189545 |     1996   1363 |        0 |        0
692.09/692.26	c  692s |      21 |  1778681 |  1192845 |     1996   1366 |        0 |        0
694.19/694.31	c  694s |      21 |  1784045 |  1196445 |     1996   1369 |        0 |        0
696.19/696.38	c  696s |      21 |  1789489 |  1199945 |     1996   1372 |        0 |        0
698.28/698.40	c  698s |      21 |  1793766 |  1203145 |     1996   1375 |        0 |        0
700.28/700.42	c  700s |      21 |  1798058 |  1206245 |     1996   1378 |        0 |        0
702.28/702.43	c  702s |      21 |  1802281 |  1209545 |     1996   1381 |        0 |        0
704.28/704.43	c  704s |      21 |  1806716 |  1212745 |     1996   1384 |        0 |        0
706.28/706.44	c  706s |      21 |  1812030 |  1216345 |     1996   1387 |        0 |        0
708.29/708.48	c  708s |      21 |  1817329 |  1219845 |     1996   1391 |        0 |        0
710.38/710.51	c  710s |      21 |  1821611 |  1223045 |     1996   1393 |        0 |        0
712.38/712.56	c  712s |      21 |  1826367 |  1226345 |     1996   1396 |        0 |        0
714.48/714.60	c  714s |      21 |  1831177 |  1229645 |     1996   1399 |        0 |        0
716.48/716.60	c  716s |      21 |  1834890 |  1232645 |     1996   1402 |        0 |        0
718.48/718.62	c  718s |      21 |  1838997 |  1235745 |     1996   1405 |        0 |        0
720.49/720.62	c  720s |      21 |  1843557 |  1238945 |     1996   1408 |        0 |        0
722.48/722.67	c  722s |      21 |  1847579 |  1242045 |     1996   1411 |        0 |        0
724.48/724.69	c  724s |      21 |  1851734 |  1245145 |     1996   1413 |        0 |        0
726.58/726.71	c  726s |      21 |  1856133 |  1248445 |     1996   1416 |        0 |        0
728.58/728.75	c  728s |      21 |  1861340 |  1252045 |     1996   1420 |        0 |        0
730.68/730.80	c  730s |      21 |  1866260 |  1255645 |     1996   1423 |        0 |        0
732.68/732.81	c  732s |      21 |  1871165 |  1259045 |     1996   1426 |        0 |        0
734.69/734.86	c  734s |      21 |  1875882 |  1262445 |     1996   1429 |        0 |        0
736.68/736.88	c  736s |      21 |  1881682 |  1265945 |     1996   1432 |        0 |        0
738.78/738.92	c  738s |      21 |  1886882 |  1269345 |     1996   1435 |        0 |        0
740.77/740.97	c  740s |      21 |  1891902 |  1272745 |     1996   1438 |        0 |        0
742.87/743.02	c  743s |      21 |  1897988 |  1276245 |     1996   1442 |        0 |        0
744.87/745.03	c  745s |      21 |  1902604 |  1279545 |     1996   1445 |        0 |        0
746.88/747.06	c  747s |      21 |  1908154 |  1282945 |     1996   1448 |        0 |        0
748.87/749.07	c  749s |      21 |  1914982 |  1286545 |     1996   1451 |        0 |        0
750.97/751.11	c  751s |      21 |  1920062 |  1290045 |     1996   1454 |        0 |        0
752.97/753.13	c  753s |      21 |  1924329 |  1293245 |     1996   1457 |        0 |        0
754.97/755.15	c  755s |      21 |  1929624 |  1296545 |     1996   1460 |        0 |        0
756.97/757.17	c  757s |      21 |  1934227 |  1299945 |     1996   1463 |        0 |        0
759.08/759.22	c  759s |      21 |  1939059 |  1303345 |     1996   1466 |        0 |        0
761.08/761.25	c  761s |      21 |  1943132 |  1306545 |     1996   1469 |        0 |        0
763.08/763.29	c  763s |      21 |  1947249 |  1309745 |     1996   1472 |        0 |        0
765.17/765.30	c  765s |      21 |  1951743 |  1313045 |     1996   1475 |        0 |        0
767.17/767.32	c  767s |      21 |  1956157 |  1316245 |     1996   1478 |        0 |        0
769.17/769.36	c  769s |      21 |  1963031 |  1319845 |     1996   1481 |        0 |        0
771.27/771.41	c  771s |      21 |  1967530 |  1323145 |     1996   1484 |        0 |        0
773.27/773.41	c  773s |      21 |  1971981 |  1326345 |     1996   1487 |        0 |        0
775.27/775.43	c  775s |      21 |  1977106 |  1329745 |     1996   1490 |        0 |        0
777.27/777.48	c  777s |      21 |  1981502 |  1332945 |     1996   1493 |        0 |        0
779.37/779.50	c  779s |      21 |  1986070 |  1336145 |     1996   1496 |        0 |        0
781.37/781.52	c  781s |      21 |  1990178 |  1339445 |     1996   1499 |        0 |        0
783.37/783.56	c  783s |      21 |  1994127 |  1342545 |     1996   1502 |        0 |        0
785.38/785.57	c  785s |      21 |  1997999 |  1345545 |     1996   1504 |        0 |        0
787.48/787.60	c  787s |      21 |  2001905 |  1348645 |     1996   1507 |        0 |        0
789.47/789.63	c  789s |      21 |  2005559 |  1351545 |     1996   1510 |        0 |        0
791.47/791.64	c  791s |      21 |  2009954 |  1354545 |     1996   1513 |        0 |        0
793.47/793.64	c  793s |      21 |  2014640 |  1357945 |     1996   1516 |        0 |        0
795.46/795.67	c  795s |      21 |  2019349 |  1361245 |     1996   1519 |        0 |        0
797.56/797.73	c  797s |      21 |  2023350 |  1364445 |     1996   1522 |        0 |        0
799.57/799.75	c  799s |      21 |  2027484 |  1367645 |     1996   1524 |        0 |        0
801.56/801.77	c  801s |      21 |  2031551 |  1370745 |     1996   1527 |        0 |        0
803.57/803.79	c  803s |      21 |  2035824 |  1373945 |     1996   1530 |        0 |        0
805.67/805.83	c  805s |      21 |  2040173 |  1377145 |     1996   1533 |        0 |        0
807.67/807.85	c  807s |      21 |  2043874 |  1380145 |     1996   1536 |        0 |        0
809.77/809.90	c  809s |      21 |  2047990 |  1383245 |     1996   1539 |        0 |        0
811.78/811.93	c  811s |      21 |  2051836 |  1386345 |     1996   1541 |        0 |        0
813.77/813.97	c  813s |      21 |  2055698 |  1389445 |     1996   1544 |        0 |        0
815.87/816.03	c  816s |      21 |  2059660 |  1392545 |     1996   1547 |        0 |        0
817.87/818.06	c  818s |      21 |  2063635 |  1395645 |     1996   1550 |        0 |        0
819.97/820.12	c  820s |      21 |  2067799 |  1398745 |     1996   1553 |        0 |        0
821.96/822.12	c  822s |      21 |  2071484 |  1401745 |     1996   1555 |        0 |        0
823.96/824.15	c  824s |      21 |  2075623 |  1404945 |     1996   1558 |        0 |        0
825.97/826.18	c  826s |      21 |  2079520 |  1408045 |     1996   1561 |        0 |        0
828.06/828.24	c  828s |      21 |  2083359 |  1411145 |     1996   1564 |        0 |        0
830.06/830.27	c  830s |      21 |  2087144 |  1414245 |     1996   1567 |        0 |        0
832.16/832.30	c  832s |      21 |  2091178 |  1417245 |     1996   1569 |        0 |        0
834.17/834.33	c  834s |      21 |  2095734 |  1420645 |     1996   1572 |        0 |        0
836.16/836.36	c  836s |      21 |  2100056 |  1424045 |     1996   1576 |        0 |        0
838.26/838.44	c  838s |      21 |  2104251 |  1427345 |     1996   1579 |        0 |        0
840.27/840.48	c  840s |      21 |  2108822 |  1430745 |     1996   1582 |        0 |        0
842.26/842.48	c  842s |      21 |  2113727 |  1434145 |     1996   1585 |        0 |        0
844.36/844.53	c  844s |      21 |  2119057 |  1437645 |     1996   1588 |        0 |        0
846.36/846.56	c  846s |      21 |  2124367 |  1441045 |     1996   1591 |        0 |        0
848.36/848.58	c  848s |      21 |  2129318 |  1444445 |     1996   1594 |        0 |        0
850.46/850.61	c  850s |      21 |  2134485 |  1447845 |     1996   1597 |        0 |        0
852.46/852.64	c  852s |      21 |  2139423 |  1451245 |     1996   1600 |        0 |        0
854.45/854.68	c  854s |      21 |  2145938 |  1454645 |     1996   1603 |        0 |        0
856.55/856.71	c  856s |      21 |  2150891 |  1457945 |     1996   1606 |        0 |        0
858.56/858.75	c  858s |      21 |  2155170 |  1461145 |     1996   1609 |        0 |        0
860.56/860.79	c  860s |      21 |  2159729 |  1464245 |     1996   1612 |        0 |        0
862.56/862.79	c  862s |      21 |  2163993 |  1467245 |     1996   1615 |        0 |        0
864.66/864.84	c  864s |      21 |  2169123 |  1470545 |     1996   1618 |        0 |        0
866.76/866.91	c  866s |      21 |  2172829 |  1473445 |     1996   1620 |        0 |        0
868.76/868.93	c  868s |      21 |  2177706 |  1476645 |     1996   1623 |        0 |        0
870.75/870.96	c  870s |      21 |  2182075 |  1479945 |     1996   1626 |        0 |        0
872.86/873.00	c  872s |      21 |  2186314 |  1483145 |     1996   1629 |        0 |        0
874.86/875.05	c  875s |      21 |  2190509 |  1486345 |     1996   1632 |        0 |        0
876.96/877.10	c  877s |      21 |  2195162 |  1489645 |     1996   1635 |        0 |        0
878.96/879.15	c  879s |      21 |  2199910 |  1493045 |     2196   1638 |        0 |        0
880.96/881.19	c  881s |      21 |  2204593 |  1496345 |     2196   1640 |        0 |        0
883.05/883.22	c  883s |      21 |  2209989 |  1499845 |     2196   1643 |        0 |        0
883.45/883.69	c  883s |      22 |  2210936 |  1500622 |     2196   1644 |        0 |        0
885.55/885.74	c  885s |      22 |  2215402 |  1503922 |     2196   1647 |        0 |        0
887.56/887.77	c  887s |      22 |  2219709 |  1507122 |     2196   1649 |        0 |        0
889.65/889.82	c  889s |      22 |  2223850 |  1510322 |     2196   1652 |        0 |        0
891.65/891.87	c  891s |      22 |  2228279 |  1513522 |     2196   1655 |        0 |        0
893.75/893.95	c  893s |      22 |  2233291 |  1516922 |     2196   1658 |        0 |        0
895.85/896.02	c  895s |      22 |  2238134 |  1520322 |     2196   1660 |        0 |        0
897.85/898.02	c  897s |      22 |  2242135 |  1523422 |     2196   1663 |        0 |        0
899.85/900.07	c  900s |      22 |  2246230 |  1526622 |     2196   1666 |        0 |        0
901.95/902.12	c  902s |      22 |  2250386 |  1529822 |     2196   1668 |        0 |        0
903.95/904.12	c  904s |      22 |  2254647 |  1533022 |     2196   1671 |        0 |        0
905.95/906.15	c  906s |      22 |  2260277 |  1536522 |     2196   1674 |        0 |        0
908.05/908.20	c  908s |      22 |  2264892 |  1539822 |     2196   1677 |        0 |        0
910.05/910.22	c  910s |      22 |  2269049 |  1543022 |     2196   1679 |        0 |        0
912.05/912.28	c  912s |      22 |  2272859 |  1546122 |     2196   1682 |        0 |        0
914.05/914.28	c  914s |      22 |  2277016 |  1549222 |     2196   1684 |        0 |        0
916.15/916.31	c  916s |      22 |  2280709 |  1552222 |     2196   1687 |        0 |        0
918.15/918.35	c  918s |      22 |  2285077 |  1555422 |     2196   1690 |        0 |        0
920.15/920.39	c  920s |      22 |  2288836 |  1558422 |     2196   1692 |        0 |        0
922.24/922.43	c  922s |      22 |  2293148 |  1561622 |     2196   1695 |        0 |        0
924.24/924.49	c  924s |      22 |  2297915 |  1564922 |     2196   1697 |        0 |        0
926.34/926.53	c  926s |      22 |  2302680 |  1568222 |     2196   1700 |        0 |        0
928.35/928.56	c  928s |      22 |  2307051 |  1571522 |     2196   1703 |        0 |        0
930.45/930.64	c  930s |      22 |  2311038 |  1574622 |     2196   1706 |        0 |        0
932.43/932.64	c  932s |      22 |  2314805 |  1577622 |     2196   1708 |        0 |        0
934.53/934.72	c  934s |      22 |  2318762 |  1580722 |     2196   1711 |        0 |        0
936.53/936.73	c  936s |      22 |  2322993 |  1583722 |     2196   1713 |        0 |        0
938.54/938.77	c  938s |      22 |  2326867 |  1586722 |     2196   1716 |        0 |        0
940.54/940.79	c  940s |      22 |  2330486 |  1589622 |     2196   1718 |        0 |        0
942.64/942.80	c  942s |      22 |  2334390 |  1592722 |     2196   1721 |        0 |        0
944.63/944.83	c  944s |      22 |  2338108 |  1595722 |     2196   1723 |        0 |        0
946.63/946.89	c  946s |      22 |  2342307 |  1598822 |     2196   1726 |        0 |        0
948.73/948.94	c  948s |      22 |  2346372 |  1602022 |     2196   1728 |        0 |        0
950.73/950.96	c  950s |      22 |  2350092 |  1605022 |     2196   1731 |        0 |        0
952.73/953.00	c  952s |      22 |  2353972 |  1608022 |     2196   1733 |        0 |        0
954.82/955.01	c  954s |      22 |  2357822 |  1611022 |     2196   1736 |        0 |        0
956.83/957.04	c  957s |      22 |  2361513 |  1614022 |     2196   1738 |        0 |        0
958.82/959.08	c  959s |      22 |  2365302 |  1617022 |     2196   1741 |        0 |        0
960.92/961.10	c  961s |      22 |  2369264 |  1620022 |     2196   1743 |        0 |        0
962.91/963.16	c  963s |      22 |  2373229 |  1623022 |     2196   1746 |        0 |        0
965.01/965.23	c  965s |      22 |  2378134 |  1626422 |     2196   1748 |        0 |        0
967.01/967.24	c  967s |      22 |  2382084 |  1629522 |     2196   1751 |        0 |        0
969.02/969.28	c  969s |      22 |  2386423 |  1632622 |     2196   1754 |        0 |        0
971.12/971.33	c  971s |      22 |  2390634 |  1635822 |     2196   1756 |        0 |        0
973.12/973.37	c  973s |      22 |  2394540 |  1638822 |     2196   1759 |        0 |        0
975.21/975.40	c  975s |      22 |  2398587 |  1641922 |     2196   1761 |        0 |        0
977.21/977.43	c  977s |      22 |  2402655 |  1645022 |     2196   1764 |        0 |        0
979.21/979.43	c  979s |      22 |  2407141 |  1648322 |     2196   1767 |        0 |        0
981.21/981.48	c  981s |      22 |  2412510 |  1651822 |     2196   1770 |        0 |        0
983.22/983.48	c  983s |      22 |  2417743 |  1655222 |     2196   1772 |        0 |        0
985.31/985.51	c  985s |      22 |  2422452 |  1658522 |     2196   1775 |        0 |        0
987.31/987.52	c  987s |      22 |  2427841 |  1661922 |     2196   1778 |        0 |        0
989.31/989.55	c  989s |      22 |  2433954 |  1665522 |     2196   1781 |        0 |        0
991.30/991.57	c  991s |      22 |  2439654 |  1669022 |     2196   1784 |        0 |        0
993.30/993.59	c  993s |      22 |  2444104 |  1672222 |     2196   1787 |        0 |        0
995.41/995.60	c  995s |      22 |  2450558 |  1675822 |     2196   1790 |        0 |        0
997.40/997.64	c  997s |      22 |  2455191 |  1679122 |     2196   1792 |        0 |        0
999.40/999.64	c  999s |      22 |  2459177 |  1682222 |     2196   1795 |        0 |        0
1001.40/1001.64	c 1001s |      22 |  2463755 |  1685422 |     2196   1798 |        0 |        0
1003.50/1003.70	c 1003s |      22 |  2468253 |  1688722 |     2196   1800 |        0 |        0
1005.49/1005.71	c 1005s |      22 |  2472765 |  1691922 |     2196   1803 |        0 |        0
1007.51/1007.78	c 1007s |      22 |  2477026 |  1695122 |     2196   1806 |        0 |        0
1009.61/1009.83	c 1009s |      22 |  2481056 |  1698222 |     2196   1808 |        0 |        0
1011.70/1011.90	c 1011s |      22 |  2485411 |  1701422 |     2196   1811 |        0 |        0
1013.69/1013.97	c 1013s |      22 |  2489959 |  1704722 |     2196   1814 |        0 |        0
1015.80/1016.04	c 1016s |      22 |  2494361 |  1708022 |     2196   1816 |        0 |        0
1017.80/1018.05	c 1018s |      22 |  2498830 |  1711122 |     2196   1819 |        0 |        0
1019.89/1020.10	c 1020s |      22 |  2503340 |  1714322 |     2196   1822 |        0 |        0
1021.89/1022.10	c 1022s |      22 |  2507482 |  1717422 |     2196   1824 |        0 |        0
1023.90/1024.14	c 1024s |      22 |  2511846 |  1720722 |     2196   1827 |        0 |        0
1025.89/1026.16	c 1026s |      22 |  2516107 |  1723922 |     2196   1829 |        0 |        0
1027.99/1028.20	c 1028s |      22 |  2520457 |  1727122 |     2196   1832 |        0 |        0
1029.99/1030.25	c 1030s |      22 |  2525067 |  1730422 |     2196   1835 |        0 |        0
1032.08/1032.31	c 1032s |      22 |  2529507 |  1733622 |     2196   1837 |        0 |        0
1034.08/1034.34	c 1034s |      22 |  2534757 |  1737122 |     2196   1840 |        0 |        0
1036.09/1036.37	c 1036s |      22 |  2539461 |  1740522 |     2196   1843 |        0 |        0
1038.08/1038.39	c 1038s |      22 |  2543942 |  1743822 |     2196   1846 |        0 |        0
1040.08/1040.39	c 1040s |      22 |  2548470 |  1747022 |     2196   1849 |        0 |        0
1042.18/1042.43	c 1042s |      22 |  2553119 |  1750422 |     2196   1851 |        0 |        0
1044.18/1044.45	c 1044s |      22 |  2557395 |  1753522 |     2196   1854 |        0 |        0
1046.18/1046.45	c 1046s |      22 |  2561897 |  1756722 |     2196   1857 |        0 |        0
1048.28/1048.50	c 1048s |      22 |  2566232 |  1759922 |     2196   1859 |        0 |        0
1050.28/1050.56	c 1050s |      22 |  2570660 |  1763122 |     2196   1862 |        0 |        0
1052.38/1052.62	c 1052s |      22 |  2574526 |  1766122 |     2196   1865 |        0 |        0
1054.38/1054.67	c 1054s |      22 |  2578982 |  1769322 |     2196   1867 |        0 |        0
1056.48/1056.71	c 1056s |      22 |  2583164 |  1772522 |     2196   1870 |        0 |        0
1058.48/1058.74	c 1058s |      22 |  2587570 |  1775822 |     2196   1873 |        0 |        0
1060.48/1060.78	c 1060s |      22 |  2592295 |  1779122 |     2196   1875 |        0 |        0
1062.57/1062.83	c 1062s |      22 |  2597505 |  1782522 |     2196   1878 |        0 |        0
1064.58/1064.86	c 1064s |      22 |  2601359 |  1785522 |     2196   1881 |        0 |        0
1066.57/1066.86	c 1066s |      22 |  2605344 |  1788522 |     2196   1883 |        0 |        0
1068.67/1068.91	c 1068s |      22 |  2609220 |  1791522 |     2196   1886 |        0 |        0
1070.67/1070.97	c 1070s |      22 |  2613834 |  1794922 |     2196   1888 |        0 |        0
1072.67/1072.98	c 1072s |      22 |  2618365 |  1798122 |     2196   1891 |        0 |        0
1074.67/1074.99	c 1074s |      22 |  2622875 |  1801422 |     2196   1894 |        0 |        0
1076.78/1077.01	c 1076s |      22 |  2627175 |  1804522 |     2196   1896 |        0 |        0
1078.77/1079.05	c 1079s |      22 |  2631626 |  1807822 |     2196   1899 |        0 |        0
1080.87/1081.11	c 1081s |      22 |  2636333 |  1811122 |     2196   1902 |        0 |        0
1082.86/1083.12	c 1083s |      22 |  2640824 |  1814322 |     2196   1904 |        0 |        0
1084.86/1085.15	c 1085s |      22 |  2645272 |  1817522 |     2196   1907 |        0 |        0
1086.86/1087.20	c 1087s |      22 |  2649559 |  1820822 |     2196   1910 |        0 |        0
1088.96/1089.24	c 1089s |      22 |  2653916 |  1824122 |     2196   1913 |        0 |        0
1090.96/1091.30	c 1091s |      22 |  2658424 |  1827422 |     2196   1915 |        0 |        0
1093.06/1093.31	c 1093s |      22 |  2662801 |  1830722 |     2196   1918 |        0 |        0
1095.06/1095.33	c 1095s |      22 |  2667008 |  1833822 |     2196   1921 |        0 |        0
1097.06/1097.34	c 1097s |      22 |  2671551 |  1837022 |     2196   1923 |        0 |        0
1099.06/1099.38	c 1099s |      22 |  2676578 |  1840322 |     2196   1926 |        0 |        0
1101.05/1101.39	c 1101s |      22 |  2680960 |  1843422 |     2196   1929 |        0 |        0
1103.06/1103.40	c 1103s |      22 |  2685491 |  1846722 |     2196   1931 |        0 |        0
1105.15/1105.42	c 1105s |      22 |  2689344 |  1849822 |     2196   1934 |        0 |        0
1107.15/1107.44	c 1107s |      22 |  2693382 |  1852822 |     2196   1936 |        0 |        0
1109.15/1109.45	c 1109s |      22 |  2697998 |  1856022 |     2196   1939 |        0 |        0
1111.15/1111.47	c 1111s |      22 |  2702119 |  1859022 |     2196   1942 |        0 |        0
1113.14/1113.49	c 1113s |      22 |  2705962 |  1862122 |     2196   1944 |        0 |        0
1115.25/1115.53	c 1115s |      22 |  2709793 |  1865122 |     2196   1947 |        0 |        0
1117.24/1117.59	c 1117s |      22 |  2713601 |  1868222 |     2196   1949 |        0 |        0
1119.34/1119.61	c 1119s |      22 |  2717852 |  1871322 |     2196   1952 |        0 |        0
1121.34/1121.67	c 1121s |      22 |  2722145 |  1874522 |     2196   1954 |        0 |        0
1123.44/1123.71	c 1123s |      22 |  2725908 |  1877522 |     2196   1957 |        0 |        0
1125.44/1125.78	c 1125s |      22 |  2729918 |  1880522 |     2196   1959 |        0 |        0
1127.54/1127.81	c 1127s |      22 |  2733678 |  1883522 |     2196   1962 |        0 |        0
1129.55/1129.84	c 1129s |      22 |  2737447 |  1886522 |     2196   1964 |        0 |        0
1131.53/1131.89	c 1131s |      22 |  2742144 |  1889822 |     2196   1967 |        0 |        0
1133.63/1133.91	c 1133s |      22 |  2745864 |  1892822 |     2196   1970 |        0 |        0
1135.63/1135.95	c 1135s |      22 |  2750496 |  1896022 |     2196   1972 |        0 |        0
1137.63/1137.99	c 1137s |      22 |  2754958 |  1899222 |     2196   1975 |        0 |        0
1139.73/1140.02	c 1140s |      22 |  2758779 |  1902222 |     2196   1977 |        0 |        0
1141.73/1142.08	c 1142s |      22 |  2762757 |  1905222 |     2196   1980 |        0 |        0
1143.83/1144.12	c 1144s |      22 |  2766881 |  1908222 |     2196   1982 |        0 |        0
1145.83/1146.15	c 1146s |      22 |  2770985 |  1911322 |     2196   1985 |        0 |        0
1147.93/1148.23	c 1148s |      22 |  2774843 |  1914322 |     2196   1988 |        0 |        0
1149.94/1150.24	c 1150s |      22 |  2778926 |  1917422 |     2196   1990 |        0 |        0
1151.93/1152.27	c 1152s |      22 |  2783442 |  1920722 |     2196   1993 |        0 |        0
1154.03/1154.32	c 1154s |      22 |  2788215 |  1923922 |     2196   1996 |        0 |        0
1156.03/1156.37	c 1156s |      22 |  2792058 |  1926922 |     2196   1998 |        0 |        0
1158.14/1158.43	c 1158s |      22 |  2796099 |  1930022 |     2196   2001 |        0 |        0
1160.13/1160.46	c 1160s |      22 |  2800426 |  1933222 |     2196   2003 |        0 |        0
1162.12/1162.49	c 1162s |      22 |  2805176 |  1936422 |     2196   2006 |        0 |        0
1164.22/1164.56	c 1164s |      22 |  2809509 |  1939522 |     2196   2008 |        0 |        0
1166.22/1166.58	c 1166s |      22 |  2813426 |  1942522 |     2196   2011 |        0 |        0
1168.22/1168.59	c 1168s |      22 |  2817174 |  1945422 |     2196   2013 |        0 |        0
1170.32/1170.61	c 1170s |      22 |  2821009 |  1948422 |     2196   2016 |        0 |        0
1172.32/1172.62	c 1172s |      22 |  2825042 |  1951522 |     2196   2018 |        0 |        0
1174.32/1174.67	c 1174s |      22 |  2828801 |  1954522 |     2196   2021 |        0 |        0
1176.41/1176.70	c 1176s |      22 |  2832580 |  1957522 |     2196   2023 |        0 |        0
1178.41/1178.71	c 1178s |      22 |  2836352 |  1960522 |     2196   2026 |        0 |        0
1180.42/1180.76	c 1180s |      22 |  2840362 |  1963622 |     2196   2029 |        0 |        0
1182.41/1182.77	c 1182s |      22 |  2844423 |  1966722 |     2196   2031 |        0 |        0
1184.42/1184.77	c 1184s |      22 |  2849038 |  1969922 |     2196   2034 |        0 |        0
1186.51/1186.83	c 1186s |      22 |  2853307 |  1973022 |     2196   2036 |        0 |        0
1188.51/1188.88	c 1188s |      22 |  2857848 |  1976122 |     2196   2039 |        0 |        0
1190.61/1190.92	c 1190s |      22 |  2861510 |  1979022 |     2196   2041 |        0 |        0
1192.60/1192.97	c 1192s |      22 |  2865117 |  1981822 |     2196   2044 |        0 |        0
1194.70/1195.01	c 1194s |      22 |  2869204 |  1984922 |     2196   2046 |        0 |        0
1196.70/1197.04	c 1197s |      22 |  2873066 |  1987822 |     2196   2049 |        0 |        0
1198.71/1199.09	c 1199s |      22 |  2877269 |  1990922 |     2196   2051 |        0 |        0
1200.80/1201.13	c 1201s |      22 |  2881886 |  1994222 |     2196   2054 |        0 |        0
1202.80/1203.18	c 1203s |      22 |  2886041 |  1997422 |     2196   2057 |        0 |        0
1204.90/1205.24	c 1205s |      22 |  2890373 |  2000822 |     2196   2059 |        0 |        0
1206.90/1207.27	c 1207s |      22 |  2894798 |  2004122 |     2196   2062 |        0 |        0
1208.90/1209.28	c 1209s |      22 |  2899096 |  2007322 |     2196   2065 |        0 |        0
1211.00/1211.35	c 1211s |      22 |  2903356 |  2010522 |     2196   2068 |        0 |        0
1213.00/1213.40	c 1213s |      22 |  2908444 |  2013822 |     2196   2070 |        0 |        0
1215.10/1215.42	c 1215s |      22 |  2913040 |  2017022 |     2196   2073 |        0 |        0
1217.10/1217.47	c 1217s |      22 |  2916982 |  2020122 |     2196   2076 |        0 |        0
1219.20/1219.51	c 1219s |      22 |  2921628 |  2023322 |     2196   2078 |        0 |        0
1221.19/1221.51	c 1221s |      22 |  2925832 |  2026422 |     2196   2081 |        0 |        0
1223.19/1223.57	c 1223s |      22 |  2930273 |  2029622 |     2196   2083 |        0 |        0
1225.20/1225.59	c 1225s |      22 |  2934121 |  2032622 |     2196   2086 |        0 |        0
1227.30/1227.64	c 1227s |      22 |  2938931 |  2035822 |     2196   2089 |        0 |        0
1229.39/1229.70	c 1229s |      22 |  2942986 |  2038922 |     2196   2091 |        0 |        0
1231.38/1231.71	c 1231s |      22 |  2947551 |  2042022 |     2196   2094 |        0 |        0
1233.38/1233.77	c 1233s |      22 |  2951476 |  2045022 |     2196   2096 |        0 |        0
1235.48/1235.83	c 1235s |      22 |  2956831 |  2048422 |     2196   2099 |        0 |        0
1237.48/1237.85	c 1237s |      22 |  2960779 |  2051422 |     2196   2102 |        0 |        0
1239.58/1239.91	c 1239s |      22 |  2965468 |  2054622 |     2196   2104 |        0 |        0
1241.59/1241.95	c 1241s |      22 |  2969925 |  2057822 |     2196   2107 |        0 |        0
1243.58/1243.97	c 1243s |      22 |  2974083 |  2060922 |     2196   2110 |        0 |        0
1245.68/1246.01	c 1245s |      22 |  2979125 |  2064222 |     2196   2112 |        0 |        0
1247.68/1248.05	c 1248s |      22 |  2983134 |  2067222 |     2196   2115 |        0 |        0
1249.78/1250.12	c 1250s |      22 |  2988360 |  2070522 |     2196   2118 |        0 |        0
1251.77/1252.17	c 1252s |      22 |  2992553 |  2073622 |     2196   2120 |        0 |        0
1253.78/1254.18	c 1254s |      22 |  2996657 |  2076622 |     2196   2123 |        0 |        0
1255.88/1256.21	c 1256s |      22 |  3001643 |  2079922 |     2196   2125 |        0 |        0
1257.87/1258.21	c 1258s |      22 |  3005515 |  2082822 |     2196   2128 |        0 |        0
1259.87/1260.26	c 1260s |      22 |  3010606 |  2086122 |     2196   2130 |        0 |        0
1261.97/1262.32	c 1262s |      22 |  3014914 |  2089222 |     2196   2133 |        0 |        0
1263.96/1264.34	c 1264s |      22 |  3018936 |  2092222 |     2196   2135 |        0 |        0
1265.96/1266.37	c 1266s |      22 |  3024749 |  2095522 |     2196   2138 |        0 |        0
1268.07/1268.40	c 1268s |      22 |  3030790 |  2098922 |     2196   2141 |        0 |        0
1270.06/1270.45	c 1270s |      22 |  3034591 |  2101922 |     2196   2144 |        0 |        0
1272.07/1272.48	c 1272s |      22 |  3041153 |  2105422 |     2196   2146 |        0 |        0
1274.06/1274.49	c 1274s |      22 |  3047258 |  2108722 |     2196   2149 |        0 |        0
1276.16/1276.51	c 1276s |      22 |  3053302 |  2111922 |     2196   2152 |        0 |        0
1278.16/1278.53	c 1278s |      22 |  3057384 |  2114922 |     2196   2154 |        0 |        0
1280.17/1280.54	c 1280s |      22 |  3060971 |  2117722 |     2196   2157 |        0 |        0
1282.15/1282.54	c 1282s |      22 |  3065294 |  2120722 |     2196   2159 |        0 |        0
1284.15/1284.58	c 1284s |      22 |  3069739 |  2123822 |     2196   2162 |        0 |        0
1286.25/1286.64	c 1286s |      22 |  3074028 |  2127122 |     2196   2164 |        0 |        0
1288.25/1288.67	c 1288s |      22 |  3078064 |  2130222 |     2196   2167 |        0 |        0
1290.25/1290.68	c 1290s |      22 |  3082258 |  2133322 |     2196   2170 |        0 |        0
1292.35/1292.74	c 1292s |      22 |  3086953 |  2136622 |     2196   2172 |        0 |        0
1294.35/1294.78	c 1294s |      22 |  3091122 |  2139722 |     2196   2175 |        0 |        0
1296.45/1296.80	c 1296s |      22 |  3095347 |  2142822 |     2196   2177 |        0 |        0
1298.45/1298.85	c 1298s |      22 |  3099989 |  2146022 |     2196   2180 |        0 |        0
1300.55/1300.90	c 1300s |      22 |  3103800 |  2149022 |     2196   2183 |        0 |        0
1302.54/1302.96	c 1302s |      22 |  3107767 |  2152022 |     2196   2185 |        0 |        0
1304.64/1305.01	c 1304s |      22 |  3111888 |  2155122 |     2196   2188 |        0 |        0
1306.64/1307.07	c 1307s |      22 |  3115574 |  2158122 |     2196   2190 |        0 |        0
1308.65/1309.09	c 1309s |      22 |  3119288 |  2161022 |     2196   2193 |        0 |        0
1310.74/1311.13	c 1311s |      22 |  3123368 |  2164022 |     2196   2195 |        0 |        0
1312.74/1313.18	c 1313s |      22 |  3127611 |  2167022 |     2196   2198 |        0 |        0
1314.84/1315.23	c 1315s |      22 |  3131944 |  2170122 |     2196   2200 |        0 |        0
1316.84/1317.24	c 1317s |      22 |  3135862 |  2173122 |     2196   2203 |        0 |        0
1318.84/1319.24	c 1319s |      22 |  3139669 |  2176022 |     2196   2205 |        0 |        0
1320.84/1321.27	c 1321s |      22 |  3143526 |  2178922 |     2196   2207 |        0 |        0
1322.84/1323.28	c 1323s |      22 |  3147269 |  2181822 |     2196   2210 |        0 |        0
1324.83/1325.29	c 1325s |      22 |  3151610 |  2185022 |     2196   2212 |        0 |        0
1326.93/1327.31	c 1327s |      22 |  3157148 |  2188322 |     2196   2215 |        0 |        0
1328.93/1329.33	c 1329s |      22 |  3162280 |  2191522 |     2196   2218 |        0 |        0
1330.93/1331.37	c 1331s |      22 |  3166608 |  2194622 |     2196   2220 |        0 |        0
1333.03/1333.44	c 1333s |      22 |  3170691 |  2197622 |     2196   2223 |        0 |        0
1335.13/1335.52	c 1335s |      22 |  3174863 |  2200722 |     2196   2226 |        0 |        0
1337.12/1337.53	c 1337s |      22 |  3179357 |  2203822 |     2196   2228 |        0 |        0
1339.12/1339.56	c 1339s |      22 |  3183058 |  2206722 |     2196   2230 |        0 |        0
1341.22/1341.60	c 1341s |      22 |  3187169 |  2209722 |     2196   2233 |        0 |        0
1343.23/1343.63	c 1343s |      22 |  3191973 |  2212822 |     2196   2236 |        0 |        0
1345.23/1345.65	c 1345s |      22 |  3197175 |  2216122 |     2196   2238 |        0 |        0
1347.23/1347.68	c 1347s |      22 |  3201230 |  2219122 |     2196   2241 |        0 |        0
1349.33/1349.74	c 1349s |      22 |  3204832 |  2222022 |     2196   2243 |        0 |        0
1351.32/1351.78	c 1351s |      22 |  3208743 |  2224922 |     2196   2246 |        0 |        0
1353.32/1353.79	c 1353s |      22 |  3213323 |  2227922 |     2196   2248 |        0 |        0
1355.42/1355.81	c 1355s |      22 |  3217674 |  2230922 |     2196   2251 |        0 |        0
1357.42/1357.83	c 1357s |      22 |  3221775 |  2233922 |     2196   2253 |        0 |        0
1359.52/1359.90	c 1359s |      22 |  3225782 |  2236922 |     2416   2255 |        0 |        0
1361.52/1361.99	c 1361s |      22 |  3229976 |  2239822 |     2416   2258 |        0 |        0
1363.62/1364.02	c 1363s |      22 |  3234116 |  2242822 |     2416   2260 |        0 |        0
1365.61/1366.04	c 1366s |      22 |  3238975 |  2245922 |     2416   2262 |        0 |        0
1367.71/1368.10	c 1368s |      22 |  3244656 |  2249022 |     2416   2265 |        0 |        0
1368.91/1369.37	c 1369s |      23 |  3248707 |  2251038 |     2416   2266 |        0 |        0
1370.90/1371.39	c 1371s |      23 |  3253278 |  2254038 |     2416   2268 |        0 |        0
1373.00/1373.45	c 1373s |      23 |  3257028 |  2256938 |     2416   2271 |        0 |        0
1375.01/1375.49	c 1375s |      23 |  3260704 |  2259838 |     2416   2273 |        0 |        0
1377.11/1377.56	c 1377s |      23 |  3264396 |  2262738 |     2416   2275 |        0 |        0
1379.21/1379.60	c 1379s |      23 |  3267931 |  2265638 |     2416   2277 |        0 |        0
1381.21/1381.63	c 1381s |      23 |  3272177 |  2268538 |     2416   2280 |        0 |        0
1383.20/1383.65	c 1383s |      23 |  3276604 |  2271638 |     2416   2282 |        0 |        0
1385.20/1385.69	c 1385s |      23 |  3280117 |  2274438 |     2416   2284 |        0 |        0
1387.30/1387.75	c 1387s |      23 |  3284171 |  2277438 |     2416   2286 |        0 |        0
1389.30/1389.78	c 1389s |      23 |  3287993 |  2280338 |     2416   2288 |        0 |        0
1391.29/1391.79	c 1391s |      23 |  3291659 |  2283138 |     2416   2291 |        0 |        0
1393.30/1393.79	c 1393s |      23 |  3295675 |  2286138 |     2416   2293 |        0 |        0
1395.39/1395.83	c 1395s |      23 |  3299302 |  2289038 |     2416   2295 |        0 |        0
1397.39/1397.84	c 1397s |      23 |  3302849 |  2291838 |     2416   2297 |        0 |        0
1399.49/1399.90	c 1399s |      23 |  3306683 |  2294738 |     2416   2299 |        0 |        0
1401.49/1401.94	c 1401s |      23 |  3310119 |  2297538 |     2416   2302 |        0 |        0
1403.49/1403.96	c 1403s |      23 |  3313631 |  2300338 |     2416   2304 |        0 |        0
1405.59/1406.00	c 1405s |      23 |  3317421 |  2303238 |     2416   2306 |        0 |        0
1407.59/1408.04	c 1408s |      23 |  3321151 |  2306138 |     2416   2308 |        0 |        0
1409.69/1410.11	c 1410s |      23 |  3324703 |  2309038 |     2416   2310 |        0 |        0
1411.68/1412.13	c 1412s |      23 |  3328231 |  2311838 |     2416   2312 |        0 |        0
1413.68/1414.13	c 1414s |      23 |  3332248 |  2314738 |     2416   2315 |        0 |        0
1415.68/1416.18	c 1416s |      23 |  3336077 |  2317738 |     2416   2317 |        0 |        0
1417.78/1418.23	c 1418s |      23 |  3340269 |  2320838 |     2416   2319 |        0 |        0
1419.88/1420.30	c 1420s |      23 |  3343939 |  2323838 |     2416   2322 |        0 |        0
1421.88/1422.36	c 1422s |      23 |  3347804 |  2326838 |     2416   2324 |        0 |        0
1423.97/1424.42	c 1424s |      23 |  3351738 |  2329838 |     2416   2326 |        0 |        0
1425.97/1426.49	c 1426s |      23 |  3355351 |  2332738 |     2416   2328 |        0 |        0
1428.07/1428.51	c 1428s |      23 |  3359151 |  2335638 |     2416   2330 |        0 |        0
1430.07/1430.53	c 1430s |      23 |  3363131 |  2338538 |     2416   2333 |        0 |        0
1432.07/1432.58	c 1432s |      23 |  3366949 |  2341438 |     2416   2335 |        0 |        0
1434.17/1434.64	c 1434s |      23 |  3371132 |  2344438 |     2416   2337 |        0 |        0
1436.17/1436.68	c 1436s |      23 |  3375665 |  2347438 |     2416   2339 |        0 |        0
1438.26/1438.70	c 1438s |      23 |  3379340 |  2350338 |     2416   2342 |        0 |        0
1440.26/1440.72	c 1440s |      23 |  3383554 |  2353338 |     2416   2344 |        0 |        0
1442.26/1442.78	c 1442s |      23 |  3387070 |  2356138 |     2416   2346 |        0 |        0
1444.37/1444.83	c 1444s |      23 |  3390868 |  2359038 |     2416   2348 |        0 |        0
1446.37/1446.85	c 1446s |      23 |  3394926 |  2361938 |     2416   2351 |        0 |        0
1448.38/1448.85	c 1448s |      23 |  3398730 |  2364838 |     2416   2353 |        0 |        0
1450.37/1450.85	c 1450s |      23 |  3402557 |  2367738 |     2416   2355 |        0 |        0
1452.36/1452.89	c 1452s |      23 |  3406331 |  2370638 |     2416   2357 |        0 |        0
1454.46/1454.91	c 1454s |      23 |  3410612 |  2373738 |     2416   2359 |        0 |        0
1456.46/1456.96	c 1456s |      23 |  3414954 |  2376938 |     2416   2362 |        0 |        0
1458.46/1458.97	c 1458s |      23 |  3418835 |  2379938 |     2416   2364 |        0 |        0
1460.47/1460.98	c 1460s |      23 |  3422856 |  2383038 |     2416   2367 |        0 |        0
1462.57/1463.03	c 1463s |      23 |  3427391 |  2386238 |     2416   2369 |        0 |        0
1464.56/1465.07	c 1465s |      23 |  3431710 |  2389338 |     2416   2371 |        0 |        0
1466.56/1467.09	c 1467s |      23 |  3436249 |  2392438 |     2416   2374 |        0 |        0
1468.66/1469.11	c 1469s |      23 |  3440405 |  2395538 |     2416   2376 |        0 |        0
1470.65/1471.16	c 1471s |      23 |  3445839 |  2398738 |     2416   2379 |        0 |        0
1472.75/1473.22	c 1473s |      23 |  3451303 |  2402038 |     2416   2381 |        0 |        0
1474.76/1475.28	c 1475s |      23 |  3455865 |  2405238 |     2416   2383 |        0 |        0
1476.86/1477.31	c 1477s |      23 |  3461121 |  2408438 |     2416   2386 |        0 |        0
1478.85/1479.35	c 1479s |      23 |  3466120 |  2411638 |     2416   2388 |        0 |        0
1480.84/1481.39	c 1481s |      23 |  3470036 |  2414538 |     2416   2391 |        0 |        0
1482.84/1483.39	c 1483s |      23 |  3475048 |  2417638 |     2416   2393 |        0 |        0
1484.94/1485.47	c 1485s |      23 |  3480056 |  2420838 |     2416   2395 |        0 |        0
1486.94/1487.47	c 1487s |      23 |  3483900 |  2423638 |     2416   2397 |        0 |        0
1489.05/1489.51	c 1489s |      23 |  3487968 |  2426538 |     2416   2400 |        0 |        0
1491.04/1491.56	c 1491s |      23 |  3491570 |  2429338 |     2416   2402 |        0 |        0
1493.04/1493.57	c 1493s |      23 |  3495391 |  2432038 |     2416   2404 |        0 |        0
1495.14/1495.62	c 1495s |      23 |  3499230 |  2434838 |     2416   2406 |        0 |        0
1497.14/1497.64	c 1497s |      23 |  3502780 |  2437538 |     2416   2408 |        0 |        0
1499.14/1499.69	c 1499s |      23 |  3506309 |  2440338 |     2416   2410 |        0 |        0
1501.24/1501.76	c 1501s |      23 |  3509917 |  2443138 |     2416   2412 |        0 |        0
1503.25/1503.76	c 1503s |      23 |  3513292 |  2445738 |     2416   2414 |        0 |        0
1505.34/1505.83	c 1505s |      23 |  3517229 |  2448438 |     2416   2416 |        0 |        0
1507.34/1507.84	c 1507s |      23 |  3521039 |  2451238 |     2416   2418 |        0 |        0
1509.44/1509.91	c 1509s |      23 |  3524838 |  2454138 |     2416   2421 |        0 |        0
1511.43/1511.92	c 1511s |      23 |  3528667 |  2456938 |     2416   2423 |        0 |        0
1513.43/1513.94	c 1513s |      23 |  3532398 |  2459738 |     2416   2425 |        0 |        0
1515.44/1515.95	c 1515s |      23 |  3536065 |  2462538 |     2416   2427 |        0 |        0
1517.43/1517.97	c 1517s |      23 |  3539613 |  2465238 |     2416   2429 |        0 |        0
1519.53/1520.01	c 1519s |      23 |  3543248 |  2467938 |     2416   2431 |        0 |        0
1521.53/1522.06	c 1522s |      23 |  3546735 |  2470638 |     2416   2433 |        0 |        0
1523.53/1524.09	c 1524s |      23 |  3550470 |  2473238 |     2416   2435 |        0 |        0
1525.63/1526.11	c 1526s |      23 |  3553955 |  2475938 |     2416   2437 |        0 |        0
1527.63/1528.17	c 1528s |      23 |  3557433 |  2478638 |     2416   2439 |        0 |        0
1529.73/1530.21	c 1530s |      23 |  3561018 |  2481438 |     2416   2441 |        0 |        0
1531.72/1532.27	c 1532s |      23 |  3564785 |  2484138 |     2416   2443 |        0 |        0
1533.82/1534.34	c 1534s |      23 |  3568402 |  2486838 |     2416   2446 |        0 |        0
1535.82/1536.37	c 1536s |      23 |  3571936 |  2489538 |     2416   2448 |        0 |        0
1537.92/1538.44	c 1538s |      23 |  3575612 |  2492338 |     2416   2450 |        0 |        0
1539.92/1540.44	c 1540s |      23 |  3579221 |  2494938 |     2416   2452 |        0 |        0
1541.91/1542.48	c 1542s |      23 |  3582692 |  2497638 |     2416   2454 |        0 |        0
1544.02/1544.53	c 1544s |      23 |  3586773 |  2500438 |     2416   2456 |        0 |        0
1546.01/1546.54	c 1546s |      23 |  3590224 |  2503238 |     2416   2458 |        0 |        0
1548.01/1548.57	c 1548s |      23 |  3593753 |  2506038 |     2416   2460 |        0 |        0
1550.11/1550.62	c 1550s |      23 |  3597250 |  2508838 |     2416   2462 |        0 |        0
1552.11/1552.66	c 1552s |      23 |  3601024 |  2511638 |     2416   2464 |        0 |        0
1554.21/1554.74	c 1554s |      23 |  3604452 |  2514338 |     2416   2466 |        0 |        0
1556.21/1556.76	c 1556s |      23 |  3608252 |  2517138 |     2416   2469 |        0 |        0
1558.32/1558.81	c 1558s |      23 |  3611782 |  2519838 |     2416   2471 |        0 |        0
1560.31/1560.82	c 1560s |      23 |  3615112 |  2522438 |     2416   2473 |        0 |        0
1562.31/1562.85	c 1562s |      23 |  3618990 |  2525138 |     2416   2475 |        0 |        0
1564.31/1564.87	c 1564s |      23 |  3623626 |  2528138 |     2416   2477 |        0 |        0
1566.41/1566.93	c 1566s |      23 |  3627248 |  2530838 |     2416   2479 |        0 |        0
1568.41/1568.94	c 1568s |      23 |  3630884 |  2533638 |     2416   2481 |        0 |        0
1570.41/1570.95	c 1570s |      23 |  3634609 |  2536438 |     2416   2483 |        0 |        0
1572.40/1572.96	c 1572s |      23 |  3638846 |  2539338 |     2416   2485 |        0 |        0
1574.41/1574.99	c 1574s |      23 |  3642719 |  2542138 |     2416   2488 |        0 |        0
1576.51/1577.03	c 1577s |      23 |  3646334 |  2544938 |     2416   2490 |        0 |        0
1578.50/1579.04	c 1579s |      23 |  3649844 |  2547638 |     2416   2492 |        0 |        0
1580.51/1581.05	c 1581s |      23 |  3653456 |  2550338 |     2416   2494 |        0 |        0
1582.61/1583.12	c 1583s |      23 |  3657526 |  2553138 |     2416   2496 |        0 |        0
1584.62/1585.15	c 1585s |      23 |  3661043 |  2555838 |     2416   2498 |        0 |        0
1586.61/1587.18	c 1587s |      23 |  3664936 |  2558638 |     2416   2500 |        0 |        0
1588.71/1589.24	c 1589s |      23 |  3668881 |  2561438 |     2416   2502 |        0 |        0
1590.71/1591.27	c 1591s |      23 |  3672650 |  2564138 |     2416   2504 |        0 |        0
1592.71/1593.28	c 1593s |      23 |  3676357 |  2566838 |     2416   2506 |        0 |        0
1594.80/1595.31	c 1595s |      23 |  3679876 |  2569538 |     2416   2508 |        0 |        0
1596.81/1597.35	c 1597s |      23 |  3683796 |  2572338 |     2416   2511 |        0 |        0
1598.80/1599.37	c 1599s |      23 |  3687670 |  2575238 |     2416   2513 |        0 |        0
1600.90/1601.40	c 1601s |      23 |  3691575 |  2578138 |     2416   2515 |        0 |        0
1602.90/1603.44	c 1603s |      23 |  3695691 |  2581038 |     2416   2517 |        0 |        0
1604.90/1605.47	c 1605s |      23 |  3699539 |  2583938 |     2416   2519 |        0 |        0
1607.01/1607.53	c 1607s |      23 |  3703693 |  2586938 |     2416   2522 |        0 |        0
1609.01/1609.53	c 1609s |      23 |  3708232 |  2589938 |     2416   2524 |        0 |        0
1611.01/1611.58	c 1611s |      23 |  3712597 |  2592938 |     2416   2526 |        0 |        0
1613.10/1613.63	c 1613s |      23 |  3716862 |  2595838 |     2416   2528 |        0 |        0
1615.10/1615.66	c 1615s |      23 |  3720896 |  2598738 |     2416   2531 |        0 |        0
1617.10/1617.66	c 1617s |      23 |  3725607 |  2601738 |     2416   2533 |        0 |        0
1619.10/1619.67	c 1619s |      23 |  3730055 |  2604638 |     2416   2535 |        0 |        0
1621.20/1621.71	c 1621s |      23 |  3734392 |  2607538 |     2416   2537 |        0 |        0
1623.21/1623.71	c 1623s |      23 |  3738910 |  2610438 |     2416   2540 |        0 |        0
1625.20/1625.72	c 1625s |      23 |  3742831 |  2613238 |     2416   2542 |        0 |        0
1627.20/1627.75	c 1627s |      23 |  3746987 |  2616138 |     2416   2544 |        0 |        0
1629.30/1629.81	c 1629s |      23 |  3751551 |  2619138 |     2416   2546 |        0 |        0
1631.30/1631.84	c 1631s |      23 |  3755371 |  2621938 |     2416   2548 |        0 |        0
1633.39/1633.94	c 1633s |      23 |  3758957 |  2624738 |     2416   2551 |        0 |        0
1635.39/1635.94	c 1635s |      23 |  3762654 |  2627438 |     2416   2553 |        0 |        0
1637.41/1637.95	c 1637s |      23 |  3766084 |  2630038 |     2416   2555 |        0 |        0
1639.50/1640.02	c 1639s |      23 |  3769842 |  2632738 |     2416   2557 |        0 |        0
1641.50/1642.06	c 1642s |      23 |  3773796 |  2635638 |     2416   2559 |        0 |        0
1643.50/1644.06	c 1644s |      23 |  3778244 |  2638438 |     2416   2561 |        0 |        0
1645.50/1646.08	c 1646s |      23 |  3781650 |  2641138 |     2416   2563 |        0 |        0
1647.60/1648.14	c 1648s |      23 |  3785468 |  2643938 |     2416   2565 |        0 |        0
1649.60/1650.15	c 1650s |      23 |  3788868 |  2646538 |     2416   2567 |        0 |        0
1651.60/1652.19	c 1652s |      23 |  3792516 |  2649238 |     2416   2569 |        0 |        0
1653.69/1654.26	c 1654s |      23 |  3797462 |  2652238 |     2416   2571 |        0 |        0
1655.69/1656.29	c 1656s |      23 |  3801347 |  2655038 |     2416   2574 |        0 |        0
1657.79/1658.33	c 1658s |      23 |  3807691 |  2658138 |     2416   2576 |        0 |        0
1659.80/1660.35	c 1660s |      23 |  3812027 |  2661038 |     2416   2578 |        0 |        0
1661.90/1662.40	c 1662s |      23 |  3815907 |  2663838 |     2416   2580 |        0 |        0
1663.90/1664.45	c 1664s |      23 |  3820068 |  2666638 |     2416   2582 |        0 |        0
1666.00/1666.52	c 1666s |      23 |  3824280 |  2669538 |     2416   2585 |        0 |        0
1667.99/1668.57	c 1668s |      23 |  3827644 |  2672138 |     2416   2587 |        0 |        0
1669.99/1670.59	c 1670s |      23 |  3831244 |  2674838 |     2416   2589 |        0 |        0
1672.09/1672.62	c 1672s |      23 |  3834922 |  2677538 |     2416   2591 |        0 |        0
1674.09/1674.65	c 1674s |      23 |  3838817 |  2680238 |     2416   2593 |        0 |        0
1676.19/1676.72	c 1676s |      23 |  3842530 |  2683038 |     2416   2595 |        0 |        0
1678.29/1678.80	c 1678s |      23 |  3846055 |  2685738 |     2416   2597 |        0 |        0
1680.30/1680.84	c 1680s |      23 |  3850030 |  2688438 |     2416   2599 |        0 |        0
1682.29/1682.87	c 1682s |      23 |  3853722 |  2691138 |     2416   2601 |        0 |        0
1684.39/1684.90	c 1684s |      23 |  3857726 |  2693938 |     2416   2603 |        0 |        0
1686.39/1686.96	c 1686s |      23 |  3863457 |  2696938 |     2416   2606 |        0 |        0
1688.49/1689.00	c 1688s |      23 |  3869322 |  2699938 |     2416   2608 |        0 |        0
1690.49/1691.05	c 1691s |      23 |  3873254 |  2702738 |     2416   2610 |        0 |        0
1692.50/1693.07	c 1693s |      23 |  3877363 |  2705538 |     2416   2612 |        0 |        0
1694.49/1695.09	c 1695s |      23 |  3882809 |  2708538 |     2416   2614 |        0 |        0
1696.59/1697.15	c 1697s |      23 |  3887209 |  2711438 |     2416   2617 |        0 |        0
1698.69/1699.20	c 1699s |      23 |  3890871 |  2714238 |     2416   2619 |        0 |        0
1700.69/1701.27	c 1701s |      23 |  3895116 |  2717038 |     2416   2621 |        0 |        0
1702.79/1703.31	c 1703s |      23 |  3899198 |  2719938 |     2416   2623 |        0 |        0
1704.79/1705.33	c 1705s |      23 |  3903006 |  2722638 |     2416   2625 |        0 |        0
1706.89/1707.40	c 1707s |      23 |  3907439 |  2725738 |     2416   2627 |        0 |        0
1708.89/1709.45	c 1709s |      23 |  3911119 |  2728538 |     2416   2630 |        0 |        0
1710.89/1711.47	c 1711s |      23 |  3914854 |  2731338 |     2416   2632 |        0 |        0
1712.99/1713.53	c 1713s |      23 |  3918775 |  2734238 |     2416   2634 |        0 |        0
1714.99/1715.55	c 1715s |      23 |  3923012 |  2737038 |     2416   2636 |        0 |        0
1716.99/1717.56	c 1717s |      23 |  3926927 |  2739838 |     2416   2638 |        0 |        0
1719.08/1719.64	c 1719s |      23 |  3930861 |  2742738 |     2416   2640 |        0 |        0
1721.18/1721.70	c 1721s |      23 |  3934778 |  2745538 |     2416   2643 |        0 |        0
1723.19/1723.74	c 1723s |      23 |  3938416 |  2748238 |     2416   2645 |        0 |        0
1725.28/1725.80	c 1725s |      23 |  3942041 |  2751038 |     2416   2647 |        0 |        0
1727.28/1727.84	c 1727s |      23 |  3945534 |  2753638 |     2416   2649 |        0 |        0
1729.38/1729.90	c 1729s |      23 |  3948854 |  2756238 |     2416   2651 |        0 |        0
1731.38/1731.94	c 1731s |      23 |  3953719 |  2759138 |     2416   2653 |        0 |        0
1733.38/1733.95	c 1733s |      23 |  3960290 |  2762138 |     2416   2655 |        0 |        0
1735.48/1736.02	c 1735s |      23 |  3964811 |  2765038 |     2416   2657 |        0 |        0
1737.49/1738.05	c 1738s |      23 |  3968496 |  2767838 |     2416   2660 |        0 |        0
1739.48/1740.09	c 1740s |      23 |  3971912 |  2770538 |     2416   2662 |        0 |        0
1741.58/1742.14	c 1742s |      23 |  3975645 |  2773238 |     2416   2664 |        0 |        0
1743.68/1744.21	c 1744s |      23 |  3980648 |  2776238 |     2416   2666 |        0 |        0
1745.68/1746.28	c 1746s |      23 |  3984350 |  2779038 |     2416   2668 |        0 |        0
1747.78/1748.32	c 1748s |      23 |  3988726 |  2781938 |     2416   2670 |        0 |        0
1749.78/1750.37	c 1750s |      23 |  3993663 |  2784838 |     2416   2673 |        0 |        0
1751.78/1752.40	c 1752s |      23 |  3997280 |  2787538 |     2416   2675 |        0 |        0
1753.88/1754.42	c 1754s |      23 |  4000874 |  2790338 |     2416   2677 |        0 |        0
1755.88/1756.45	c 1756s |      23 |  4005267 |  2793238 |     2416   2679 |        0 |        0
1757.88/1758.47	c 1758s |      23 |  4009657 |  2796138 |     2416   2681 |        0 |        0
1759.98/1760.53	c 1760s |      23 |  4014154 |  2799238 |     2416   2683 |        0 |        0
1761.98/1762.58	c 1762s |      23 |  4018053 |  2802038 |     2416   2686 |        0 |        0
1763.98/1764.59	c 1764s |      23 |  4021637 |  2804738 |     2416   2688 |        0 |        0
1765.97/1766.60	c 1766s |      23 |  4025397 |  2807538 |     2416   2690 |        0 |        0
1768.07/1768.64	c 1768s |      23 |  4029849 |  2810438 |     2416   2692 |        0 |        0
1770.07/1770.64	c 1770s |      23 |  4033900 |  2813238 |     2416   2694 |        0 |        0
1772.18/1772.71	c 1772s |      23 |  4037611 |  2816038 |     2416   2696 |        0 |        0
1774.18/1774.79	c 1774s |      23 |  4042986 |  2819038 |     2416   2699 |        0 |        0
1776.18/1776.79	c 1776s |      23 |  4048052 |  2822038 |     2416   2701 |        0 |        0
1778.29/1778.81	c 1778s |      23 |  4052259 |  2824838 |     2416   2703 |        0 |        0
1780.28/1780.85	c 1780s |      23 |  4056225 |  2827638 |     2416   2705 |        0 |        0
1782.28/1782.87	c 1782s |      23 |  4060136 |  2830438 |     2416   2707 |        0 |        0
1784.38/1784.91	c 1784s |      23 |  4064391 |  2833338 |     2416   2709 |        0 |        0
1786.38/1786.98	c 1786s |      23 |  4068547 |  2836238 |     2416   2712 |        0 |        0
1788.48/1789.03	c 1789s |      23 |  4072622 |  2839038 |     2416   2714 |        0 |        0
1790.47/1791.07	c 1791s |      23 |  4075812 |  2841538 |     2416   2716 |        0 |        0
1792.48/1793.09	c 1793s |      23 |  4079265 |  2844038 |     2416   2718 |        0 |        0
1794.57/1795.10	c 1795s |      23 |  4082533 |  2846638 |     2416   2720 |        0 |        0
1796.57/1797.12	c 1797s |      23 |  4086245 |  2849438 |     2416   2722 |        0 |        0
1798.57/1799.17	c 1799s |      23 |  4090549 |  2852338 |     2416   2724 |        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-4078707-1465218029/watcher-4078707-1465218029 -o /tmp/evaluation-result-4078707-1465218029/solver-4078707-1465218029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078707-1465218029.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.45 1.79 1.84 3/180 8527
/proc/meminfo: memFree=30653556/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 2791 0 0 0 0 0 0 0 20 0 4 0 103736345 764866560 3152 33554432000 4194304 16246674 140734593072704 140734593072128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 187503 3161 441 2943 0 184397 0
[pid=8527/tid=8528] ppid=8524 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 783740928 3222 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 787935232 3239 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 793178112 3259 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10023 s]
/proc/loadavg: 1.45 1.79 1.84 3/180 8527
/proc/meminfo: memFree=30653556/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 25370 0 0 0 6 3 0 0 20 0 4 0 103736345 1247350784 25720 33554432000 4194304 16246674 140734593072704 140734593072128 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 304529 25731 716 2943 0 301423 0
[pid=8527/tid=8528] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 25740 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 25748 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 25756 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 1.45 1.79 1.84 3/180 8527
/proc/meminfo: memFree=30653556/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 50228 0 0 0 13 6 0 0 20 0 4 0 103736345 1247350784 50578 33554432000 4194304 16246674 140734593072704 140734593072128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 304529 50588 716 2943 0 301423 0
[pid=8527/tid=8528] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 50592 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 50597 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 50600 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 1.45 1.79 1.84 3/180 8527
/proc/meminfo: memFree=30653556/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 75802 0 0 0 20 9 0 0 20 0 4 0 103736345 1247350784 76152 33554432000 4194304 16246674 140734593072704 140734593054592 5721660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 304529 76167 723 2943 0 301423 0
[pid=8527/tid=8528] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 76175 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 76181 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 76186 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 1.45 1.79 1.84 3/180 8527
/proc/meminfo: memFree=30653556/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 184493 0 0 0 46 23 0 0 20 0 4 0 103736345 1247350784 184843 33554432000 4194304 16246674 140734593072704 140734593054592 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 304529 184855 723 2943 0 301423 0
[pid=8527/tid=8528] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 184866 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 184878 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1247350784 184890 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.45 1.79 1.84 3/184 8531
/proc/meminfo: memFree=29669668/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 245749 0 0 0 118 30 0 0 20 0 4 0 103736345 1248399360 246079 33554432000 4194304 16246674 140734593072704 140734593054592 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 304785 246079 790 2943 0 301679 0
[pid=8527/tid=8528] ppid=8524 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1248399360 246079 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1248399360 246079 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1248399360 246079 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 1.45 1.79 1.84 3/184 8531
/proc/meminfo: memFree=29581504/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 267455 0 0 0 276 33 0 0 20 0 4 0 103736345 1337528320 267785 33554432000 4194304 16246674 140734593072704 140734593054592 5861684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 326545 267785 790 2943 0 323439 0
[pid=8527/tid=8528] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267785 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267785 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267785 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.49 1.80 1.84 3/184 8531
/proc/meminfo: memFree=29581568/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 267462 0 0 0 596 33 0 0 20 0 4 0 103736345 1337528320 267792 33554432000 4194304 16246674 140734593072704 140734593054592 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 326545 267792 790 2943 0 323439 0
[pid=8527/tid=8528] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267792 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267792 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1337528320 267792 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.53 1.80 1.84 3/184 8531
/proc/meminfo: memFree=29581528/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 267828 0 0 0 1235 33 0 0 20 0 4 0 103736345 1338576896 268158 33554432000 4194304 16246674 140734593072704 140734593054592 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 326801 268158 791 2943 0 323695 0
[pid=8527/tid=8528] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268158 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268158 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268158 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.63 1.81 1.84 3/184 8531
/proc/meminfo: memFree=29583180/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 267829 0 0 0 2514 34 0 0 20 0 4 0 103736345 1338576896 268159 33554432000 4194304 16246674 140734593072704 140734593054592 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 326801 268159 792 2943 0 323695 0
[pid=8527/tid=8528] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268159 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268159 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1338576896 268159 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.76 1.82 1.85 3/184 8554
/proc/meminfo: memFree=29578140/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1308228 CPUtime=51.09 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 267887 0 0 0 5073 36 0 0 20 0 4 0 103736345 1339625472 268217 33554432000 4194304 16246674 140734593072704 140734593054592 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 327057 268217 792 2943 0 323951 0
[pid=8527/tid=8528] ppid=8524 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1339625472 268217 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1339625472 268217 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1339625472 268217 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 1.93 1.86 1.86 3/183 8556
/proc/meminfo: memFree=29572656/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 268338 0 0 0 10190 38 0 0 20 0 4 0 103736345 1340674048 268668 33554432000 4194304 16246674 140734593072704 140734593054592 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 327313 268668 792 2943 0 324207 0
[pid=8527/tid=8528] ppid=8524 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1340674048 268668 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1340674048 268668 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1340674048 268668 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 1.98 3/183 8586
/proc/meminfo: memFree=29559268/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1301.94 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270395 0 0 0 130120 74 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.24 2.11 2.01 3/183 8587
/proc/meminfo: memFree=29559168/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1361.91 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270434 0 0 0 136115 76 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 6046082 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.21 2.12 2.01 4/183 8588
/proc/meminfo: memFree=29559192/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1421.88 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270477 0 0 0 142111 77 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.24 2.14 2.02 3/183 8589
/proc/meminfo: memFree=29559096/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1481.84 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270515 0 0 0 148106 78 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.28 2.16 2.03 3/183 8590
/proc/meminfo: memFree=29558992/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1541.82 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270554 0 0 0 154103 79 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593055704 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.27 2.17 2.04 3/183 8591
/proc/meminfo: memFree=29557632/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1601.8 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270559 0 0 0 160099 81 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.15 2.15 2.04 3/183 8593
/proc/meminfo: memFree=29557832/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1661.8 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270559 0 0 0 166095 85 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.05 2.12 2.03 3/183 8594
/proc/meminfo: memFree=29557832/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1721.78 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270559 0 0 0 172092 86 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.05 2.11 2.03 3/184 8598
/proc/meminfo: memFree=29557128/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1781.78 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270559 0 0 0 178091 87 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.12 2.04 3/184 8647
/proc/meminfo: memFree=30007316/32872528 swapFree=11196/354588
[pid=8527] ppid=8524 vsize=1316420 CPUtime=1800.07 cores=0,2,4,6
/proc/8527/stat : 8527 (toysat) R 8524 8527 8429 0 -1 4202496 270559 0 0 0 179920 87 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140734593054592 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8527/statm: 329105 270723 796 2943 0 325999 0
[pid=8527/tid=8528] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8528/stat : 8528 (toysat) S 8524 8527 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323320737008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8527/tid=8529] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8529/stat : 8529 (toysat) S 8524 8527 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323310247152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8527/tid=8530] ppid=8524 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/8527/task/8530/stat : 8530 (toysat) S 8524 8527 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103736345 1348014080 270723 33554432000 4194304 16246674 140734593072704 140323225332912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1316420

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 8527 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.09
CPU user time (s): 1799.21
CPU system time (s): 0.879866
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.879866
maximum resident set size= 1082892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270559
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= 435
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66729 second user time and 6.86196 second system time

The end

Begin job on node126 at 2016-06-06 15:00:29
IDJOB=4078707
IDBENCH=1163
IDSOLVER=2542
FILE ID=node126/4078707-1465218029
RUNJOBID= node126-1465218023-8445
PBS_JOBID= 19843210
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078707-1465218029/watcher-4078707-1465218029 -o /tmp/evaluation-result-4078707-1465218029/solver-4078707-1465218029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078707-1465218029.opb

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

MD5SUM BENCH= 8999d4ddd4825a5d620fe0a3c798bc24
RANDOM SEED=170537917

node126.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:        30654084 kB
Buffers:            3212 kB
Cached:            87776 kB
SwapCached:         1820 kB
Active:          1143636 kB
Inactive:          18652 kB
Active(anon):    1072372 kB
Inactive(anon):     1672 kB
Active(file):      71264 kB
Inactive(file):    16980 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098260 kB
Dirty:             33324 kB
Writeback:             0 kB
AnonPages:       1425692 kB
Mapped:             9480 kB
Shmem:                 0 kB
Slab:             567248 kB
SReclaimable:      10584 kB
SUnreclaim:       556664 kB
KernelStack:        1488 kB
PageTables:         6640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1571396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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= 71688 MiB
End job on node126 at 2016-06-06 15:30:30