0.00/0.00	c 2016-06-16T00:48:33+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-4089652-1466030913.opb"]
0.00/0.01	c use --random-gen="133575246 1330459711 4127578964 1677488500 690889326 504300454 2937313657 167625304 2074747377 670617090 2627250091 831346710 209633783 2187765127 3321795494 1003044618 2460916703 2679156212 611650122 2253067889 3611924061 2637037095 2242651918 2318930721 1174709779 3492265996 1506259253 2767696704 4034523598 1177571123 4011926948 826571578 518700199 1121797463 2814339595 4117905711 151863468 2592750723 3706512241 1065388769 2416480318 1826331159 910565522 3227651735 3697041882 1611508905 364903260 1408340351 3897637966 3830402990 4198770681 956514156 302871792 3902329715 2577433417 2007810124 1755971374 2749732302 27085302 2245336670 13771036 1905728285 1322889822 418968770 3290970782 3297580446 2281124985 4153767446 2660028141 1765705840 2862772605 3465871865 1124876620 2429722016 1820844506 3557554072 1021626706 3889380282 605164056 1469017057 1494843293 4120902281 4221267477 1952085148 3141395463 4275012729 4194431581 3776800977 455763783 1466719289 1136454673 3342936396 3598884200 659797658 583235818 3212933961 3521212980 798573889 913220225 3299769793 2917193472 2584637375 2747615883 3461053755 2887198134 2110527828 215921248 3496840603 4217898330 3609608718 741995466 2492144099 1507833612 3886278843 1684888738 552877943 504429931 4193825481 611917018 3873390903 2700319492 533068686 2870886290 286634729 2869586986 1146554315 3236217130 2537644710 958865991 1952243495 3510282590 3439399831 4076140694 3111457689 1284615679 469205464 29476952 1902346347 3674366073 2610195670 677867378 4028724617 3154668374 1003471205 4147340842 412659164 3263328364 1419254729 303492012 956767546 82893858 3230232378 2234377467 3695549316 2101015982 326146553 2705626533 2598054994 1154066742 799444521 9043071 1146723287 100191894 1630641423 1125768355 379495569 3205409076 595208877 1266477936 732102487 1073953166 1804347877 1373961344 898881636 3361883304 1338896456 1265147689 2743960406 2837555808 3912385229 653927320 1066363486 501826898 3520185218 1545335566 2499274555 4108724333 2710124271 3575364943 4247115015 3213267696 1513614448 5541693 3157606176 1372060096 4002806555 500096321 1893808394 366480123 3771196282 2022550824 3627815346 3287646264 3961855543 2054832360 2439388336 3009167453 2348420952 2134208663 233594125 2541606057 2261092953 537305814 749810422 313095419 1375419907 2453121511 1211950203 665310756 2774115570 2487936969 260338499 2541839498 429968779 3706321908 1565956742 590509852 1956873540 2237827226 3731544580 4192367038 2319045956 2849142054 2870844252 3154213170 1977421094 2452960630 4086171184 3401971692 468386954 1421002725 4058072091 2788342691 3726143858 3816861429 2591517971 2258426644 2610398030 2084812514 1255434248 4275716449 3610893268 2466941443 2008856039 2721163670 53436287 255 362436" option to reproduce the execution
0.00/0.01	c #vars 250
0.00/0.01	c #constraints 501
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 |      250      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      219 |      100 |      250      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      483 |      250 |      275      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |      817 |      475 |      303      1 |        0 |        0
0.18/0.27	c  0.2s |       4 |     1268 |      813 |      334      2 |        0 |        0
0.38/0.45	c  0.4s |       5 |     1890 |     1320 |      368      4 |        0 |        0
0.69/0.73	c  0.7s |       6 |     2772 |     2081 |      446      7 |        0 |        0
0.99/1.03	c  1.0s |       7 |     4038 |     3223 |      491     11 |        0 |        0
1.38/1.44	c  1.4s |       8 |     5879 |     4936 |      541     17 |        0 |        0
1.98/2.08	c  2.1s |       9 |     8577 |     7506 |      596     25 |        0 |        0
2.88/2.97	c  2.9s |      10 |    12601 |    11361 |      656     35 |        0 |        0
4.40/4.41	c  4.4s |      11 |    18567 |    17144 |      722     50 |        0 |        0
6.39/6.44	c  6.4s |      11 |    26860 |    25244 |      722     70 |        0 |        0
6.49/6.58	c  6.6s |      12 |    27445 |    25819 |      795     71 |        0 |        0
8.59/8.60	c  8.6s |      12 |    35077 |    33219 |      795     87 |        0 |        0
10.00/10.06	c 10.0s |      13 |    40780 |    38832 |      875     99 |        0 |        0
11.99/12.08	c 12.1s |      13 |    48885 |    46632 |      875    115 |        0 |        0
14.09/14.10	c 14.1s |      13 |    56425 |    54032 |      875    130 |        0 |        0
15.19/15.29	c 15.3s |      14 |    60824 |    58352 |      963    139 |        0 |        0
17.29/17.30	c 17.3s |      14 |    68139 |    65452 |      963    152 |        0 |        0
19.29/19.31	c 19.3s |      14 |    75235 |    72452 |      963    165 |        0 |        0
21.29/21.33	c 21.3s |      14 |    82382 |    79452 |      963    178 |        0 |        0
23.29/23.34	c 23.3s |      14 |    89324 |    86252 |      963    191 |        0 |        0
23.69/23.73	c 23.7s |      15 |    90709 |    87632 |     1060    193 |        0 |        0
25.69/25.74	c 25.7s |      15 |    98198 |    94932 |     1060    205 |        0 |        0
27.69/27.77	c 27.7s |      15 |   105749 |   102332 |     1060    218 |        0 |        0
29.69/29.77	c 29.8s |      15 |   112970 |   109432 |     1060    230 |        0 |        0
31.69/31.78	c 31.8s |      15 |   120133 |   116432 |     1060    242 |        0 |        0
33.69/33.78	c 33.8s |      15 |   127173 |   123332 |     1060    254 |        0 |        0
35.69/35.79	c 35.8s |      15 |   134338 |   130432 |     1060    266 |        0 |        0
36.09/36.11	c 36.1s |      16 |   135506 |   131552 |     1166    267 |        0 |        0
38.08/38.11	c 38.1s |      16 |   142754 |   138552 |     1166    278 |        0 |        0
40.08/40.11	c 40.1s |      16 |   149872 |   145552 |     1166    289 |        0 |        0
42.08/42.14	c 42.1s |      16 |   157233 |   152852 |     1166    301 |        0 |        0
44.09/44.16	c 44.1s |      16 |   164527 |   160052 |     1166    312 |        0 |        0
46.08/46.18	c 46.2s |      16 |   171610 |   167052 |     1166    323 |        0 |        0
48.08/48.19	c 48.2s |      16 |   178678 |   174052 |     1166    334 |        0 |        0
50.18/50.21	c 50.2s |      16 |   185832 |   181052 |     1166    345 |        0 |        0
52.18/52.22	c 52.2s |      16 |   192733 |   187852 |     1166    356 |        0 |        0
54.18/54.23	c 54.2s |      16 |   199745 |   194752 |     1166    366 |        0 |        0
54.99/55.01	c 55.0s |      17 |   202471 |   197432 |     1283    370 |        0 |        0
56.98/57.01	c 57.0s |      17 |   209486 |   204232 |     1283    380 |        0 |        0
58.98/59.03	c 59.0s |      17 |   216364 |   211032 |     1283    390 |        0 |        0
60.98/61.05	c 61.0s |      17 |   223562 |   218132 |     1283    400 |        0 |        0
62.98/63.05	c 63.0s |      17 |   230446 |   224932 |     1283    410 |        0 |        0
64.98/65.08	c 65.1s |      17 |   237311 |   231732 |     1283    420 |        0 |        0
67.08/67.11	c 67.1s |      17 |   244385 |   238632 |     1283    429 |        0 |        0
69.08/69.12	c 69.1s |      17 |   251083 |   245232 |     1283    439 |        0 |        0
71.07/71.13	c 71.1s |      17 |   257879 |   251932 |     1283    449 |        0 |        0
73.07/73.15	c 73.1s |      17 |   264860 |   258832 |     1283    458 |        0 |        0
75.07/75.16	c 75.1s |      17 |   271534 |   265432 |     1283    468 |        0 |        0
77.08/77.19	c 77.2s |      17 |   278259 |   272032 |     1283    477 |        0 |        0
79.07/79.20	c 79.2s |      17 |   284844 |   278532 |     1283    487 |        0 |        0
81.17/81.21	c 81.2s |      17 |   291269 |   284832 |     1283    496 |        0 |        0
83.17/83.23	c 83.2s |      17 |   298511 |   291932 |     1283    506 |        0 |        0
84.47/84.54	c 84.5s |      18 |   302899 |   296252 |     1412    512 |        0 |        0
86.47/86.55	c 86.5s |      18 |   310182 |   303352 |     1412    521 |        0 |        0
88.48/88.56	c 88.5s |      18 |   317368 |   310352 |     1412    530 |        0 |        0
90.48/90.58	c 90.6s |      18 |   324368 |   317252 |     1412    539 |        0 |        0
92.48/92.59	c 92.6s |      18 |   331383 |   324152 |     1412    548 |        0 |        0
94.48/94.60	c 94.6s |      18 |   338426 |   331052 |     1412    557 |        0 |        0
96.58/96.62	c 96.6s |      18 |   345004 |   337552 |     1412    566 |        0 |        0
98.58/98.64	c 98.6s |      18 |   352459 |   344752 |     1412    575 |        0 |        0
100.58/100.65	c  100s |      18 |   359389 |   351452 |     1412    584 |        0 |        0
102.58/102.67	c  102s |      18 |   366342 |   358252 |     1412    593 |        0 |        0
104.58/104.68	c  104s |      18 |   372970 |   364752 |     1412    601 |        0 |        0
106.57/106.70	c  106s |      18 |   379675 |   371352 |     1412    610 |        0 |        0
108.67/108.72	c  108s |      18 |   386497 |   378052 |     1412    619 |        0 |        0
110.67/110.75	c  110s |      18 |   393231 |   384652 |     1412    627 |        0 |        0
112.67/112.76	c  112s |      18 |   399806 |   391152 |     1412    636 |        0 |        0
114.67/114.77	c  114s |      18 |   406258 |   397452 |     1412    644 |        0 |        0
116.77/116.80	c  116s |      18 |   413216 |   404352 |     1412    653 |        0 |        0
118.78/118.82	c  118s |      18 |   419986 |   411052 |     1412    662 |        0 |        0
120.77/120.82	c  120s |      18 |   426570 |   417552 |     1412    670 |        0 |        0
122.77/122.83	c  122s |      18 |   432902 |   423752 |     1412    678 |        0 |        0
124.77/124.85	c  124s |      18 |   439523 |   430252 |     1412    687 |        0 |        0
126.77/126.86	c  126s |      18 |   445902 |   436452 |     1412    695 |        0 |        0
128.78/128.88	c  128s |      18 |   453016 |   443352 |     1554    704 |        0 |        0
129.17/129.22	c  129s |      19 |   454184 |   444482 |     1554    705 |        0 |        0
131.17/131.24	c  131s |      19 |   461507 |   451482 |     1554    713 |        0 |        0
133.17/133.26	c  133s |      19 |   468424 |   458282 |     1554    722 |        0 |        0
135.17/135.29	c  135s |      19 |   475341 |   465082 |     1554    730 |        0 |        0
137.27/137.31	c  137s |      19 |   482347 |   471982 |     1554    738 |        0 |        0
139.26/139.32	c  139s |      19 |   489349 |   478882 |     1554    746 |        0 |        0
141.26/141.33	c  141s |      19 |   496164 |   485582 |     1554    754 |        0 |        0
143.26/143.33	c  143s |      19 |   503007 |   492282 |     1554    762 |        0 |        0
145.27/145.34	c  145s |      19 |   509649 |   498782 |     1554    770 |        0 |        0
147.26/147.34	c  147s |      19 |   516325 |   505282 |     1554    778 |        0 |        0
149.26/149.36	c  149s |      19 |   523257 |   512082 |     1554    786 |        0 |        0
151.26/151.38	c  151s |      19 |   530142 |   518782 |     1554    794 |        0 |        0
153.26/153.39	c  153s |      19 |   536673 |   525182 |     1554    802 |        0 |        0
155.37/155.40	c  155s |      19 |   543308 |   531682 |     1554    809 |        0 |        0
157.38/157.43	c  157s |      19 |   549914 |   538182 |     1554    817 |        0 |        0
159.37/159.43	c  159s |      19 |   556324 |   544482 |     1554    825 |        0 |        0
161.37/161.46	c  161s |      19 |   562916 |   550982 |     1554    833 |        0 |        0
163.37/163.48	c  163s |      19 |   569626 |   557582 |     1554    840 |        0 |        0
165.37/165.49	c  165s |      19 |   576105 |   563882 |     1554    848 |        0 |        0
167.37/167.50	c  167s |      19 |   582450 |   570082 |     1554    855 |        0 |        0
169.47/169.53	c  169s |      19 |   588674 |   576182 |     1554    863 |        0 |        0
171.47/171.54	c  171s |      19 |   595705 |   583082 |     1554    871 |        0 |        0
173.47/173.54	c  173s |      19 |   602432 |   589682 |     1554    879 |        0 |        0
175.46/175.56	c  175s |      19 |   609253 |   596282 |     1554    887 |        0 |        0
177.46/177.58	c  177s |      19 |   615828 |   602682 |     1554    894 |        0 |        0
179.56/179.60	c  179s |      19 |   622468 |   609182 |     1554    902 |        0 |        0
181.57/181.63	c  181s |      19 |   629008 |   615582 |     1554    910 |        0 |        0
183.56/183.66	c  183s |      19 |   635644 |   622082 |     1554    918 |        0 |        0
185.56/185.68	c  185s |      19 |   642196 |   628482 |     1554    925 |        0 |        0
187.56/187.69	c  187s |      19 |   648485 |   634682 |     1554    933 |        0 |        0
189.66/189.71	c  189s |      19 |   654947 |   640982 |     1554    940 |        0 |        0
191.66/191.74	c  191s |      19 |   661215 |   647182 |     1554    948 |        0 |        0
193.67/193.76	c  193s |      19 |   667550 |   653382 |     1554    955 |        0 |        0
195.66/195.77	c  195s |      19 |   674201 |   659882 |     1554    963 |        0 |        0
197.66/197.79	c  197s |      19 |   680721 |   666282 |     1710    970 |        0 |        0
197.86/197.98	c  197s |      20 |   681267 |   666827 |     1710    971 |        0 |        0
199.96/200.01	c  199s |      20 |   687993 |   673327 |     1710    978 |        0 |        0
201.96/202.02	c  202s |      20 |   694616 |   679827 |     1710    985 |        0 |        0
203.96/204.04	c  204s |      20 |   701007 |   686127 |     1710    992 |        0 |        0
205.96/206.04	c  206s |      20 |   707702 |   692727 |     1710    999 |        0 |        0
207.96/208.05	c  208s |      20 |   714220 |   699127 |     1710   1006 |        0 |        0
209.96/210.06	c  210s |      20 |   720645 |   705427 |     1710   1013 |        0 |        0
211.95/212.07	c  212s |      20 |   726968 |   711627 |     1710   1020 |        0 |        0
214.05/214.10	c  214s |      20 |   733447 |   717927 |     1710   1026 |        0 |        0
216.05/216.13	c  216s |      20 |   739651 |   724027 |     1710   1033 |        0 |        0
218.05/218.16	c  218s |      20 |   745807 |   730027 |     1710   1040 |        0 |        0
220.06/220.18	c  220s |      20 |   752435 |   736527 |     1710   1047 |        0 |        0
222.05/222.20	c  222s |      20 |   758854 |   742827 |     1710   1054 |        0 |        0
224.15/224.20	c  224s |      20 |   765067 |   748927 |     1710   1060 |        0 |        0
226.15/226.22	c  226s |      20 |   771272 |   755027 |     1710   1067 |        0 |        0
228.15/228.24	c  228s |      20 |   777768 |   761427 |     1710   1074 |        0 |        0
230.15/230.24	c  230s |      20 |   784424 |   767927 |     1710   1081 |        0 |        0
232.16/232.26	c  232s |      20 |   790965 |   774327 |     1710   1088 |        0 |        0
234.15/234.29	c  234s |      20 |   797335 |   780627 |     1710   1095 |        0 |        0
236.25/236.31	c  236s |      20 |   803904 |   787027 |     1710   1102 |        0 |        0
238.25/238.35	c  238s |      20 |   810302 |   793127 |     1710   1109 |        0 |        0
240.25/240.38	c  240s |      20 |   816754 |   799327 |     1710   1116 |        0 |        0
242.25/242.39	c  242s |      20 |   822914 |   805327 |     1710   1122 |        0 |        0
244.36/244.42	c  244s |      20 |   829262 |   811427 |     1710   1129 |        0 |        0
246.36/246.42	c  246s |      20 |   835255 |   817127 |     1710   1135 |        0 |        0
248.36/248.42	c  248s |      20 |   841667 |   823427 |     1710   1142 |        0 |        0
250.35/250.45	c  250s |      20 |   848152 |   829827 |     1710   1149 |        0 |        0
252.35/252.45	c  252s |      20 |   854379 |   835927 |     1710   1156 |        0 |        0
254.35/254.45	c  254s |      20 |   860581 |   842027 |     1710   1162 |        0 |        0
256.36/256.47	c  256s |      20 |   866718 |   848027 |     1710   1169 |        0 |        0
258.35/258.48	c  258s |      20 |   872926 |   854027 |     1710   1175 |        0 |        0
260.45/260.50	c  260s |      20 |   879030 |   859927 |     1710   1182 |        0 |        0
262.45/262.53	c  262s |      20 |   885090 |   865827 |     1710   1188 |        0 |        0
264.45/264.53	c  264s |      20 |   891136 |   871727 |     1710   1195 |        0 |        0
266.45/266.54	c  266s |      20 |   897148 |   877627 |     1710   1201 |        0 |        0
268.46/268.57	c  268s |      20 |   903851 |   884227 |     1710   1208 |        0 |        0
270.45/270.57	c  270s |      20 |   910098 |   890327 |     1710   1215 |        0 |        0
272.45/272.59	c  272s |      20 |   916507 |   896627 |     1710   1222 |        0 |        0
274.55/274.62	c  274s |      20 |   922663 |   902727 |     1710   1229 |        0 |        0
276.55/276.62	c  276s |      20 |   928898 |   908827 |     1710   1235 |        0 |        0
278.55/278.66	c  278s |      20 |   934977 |   914827 |     1710   1242 |        0 |        0
280.55/280.66	c  280s |      20 |   941087 |   920827 |     1710   1248 |        0 |        0
282.55/282.67	c  282s |      20 |   947157 |   926827 |     1710   1255 |        0 |        0
284.55/284.68	c  284s |      20 |   953147 |   932727 |     1710   1261 |        0 |        0
286.55/286.69	c  286s |      20 |   959339 |   938727 |     1710   1268 |        0 |        0
288.65/288.70	c  288s |      20 |   965251 |   944527 |     1710   1274 |        0 |        0
290.64/290.74	c  290s |      20 |   971049 |   950227 |     1710   1281 |        0 |        0
292.65/292.78	c  292s |      20 |   977662 |   956727 |     1710   1288 |        0 |        0
294.75/294.82	c  294s |      20 |   984169 |   963127 |     1710   1295 |        0 |        0
296.74/296.82	c  296s |      20 |   990572 |   969327 |     1710   1301 |        0 |        0
298.74/298.85	c  298s |      20 |   996779 |   975427 |     1710   1308 |        0 |        0
300.74/300.88	c  300s |      20 |  1003099 |   981627 |     1710   1315 |        0 |        0
302.74/302.88	c  302s |      20 |  1009224 |   987627 |     1710   1321 |        0 |        0
304.84/304.91	c  304s |      20 |  1015225 |   993527 |     1882   1328 |        0 |        0
306.85/306.94	c  306s |      20 |  1021507 |   999627 |     1882   1334 |        0 |        0
307.04/307.17	c  307s |      21 |  1022251 |  1000345 |     1882   1334 |        0 |        0
309.05/309.19	c  309s |      21 |  1028565 |  1006445 |     1882   1341 |        0 |        0
311.14/311.21	c  311s |      21 |  1035147 |  1012845 |     1882   1347 |        0 |        0
313.14/313.23	c  313s |      21 |  1041467 |  1019045 |     1882   1353 |        0 |        0
315.14/315.24	c  315s |      21 |  1047547 |  1025045 |     1882   1359 |        0 |        0
317.14/317.26	c  317s |      21 |  1054058 |  1031445 |     1882   1366 |        0 |        0
319.14/319.26	c  319s |      21 |  1060391 |  1037645 |     1882   1372 |        0 |        0
321.14/321.28	c  321s |      21 |  1066693 |  1043845 |     1882   1378 |        0 |        0
323.24/323.30	c  323s |      21 |  1072928 |  1049945 |     1882   1384 |        0 |        0
325.24/325.32	c  325s |      21 |  1079537 |  1056345 |     1882   1390 |        0 |        0
327.23/327.34	c  327s |      21 |  1085747 |  1062345 |     1882   1396 |        0 |        0
329.23/329.34	c  329s |      21 |  1092063 |  1068545 |     1882   1403 |        0 |        0
331.24/331.36	c  331s |      21 |  1098689 |  1075045 |     1882   1409 |        0 |        0
333.25/333.38	c  333s |      21 |  1105183 |  1081345 |     1882   1415 |        0 |        0
335.34/335.40	c  335s |      21 |  1111511 |  1087545 |     1882   1422 |        0 |        0
337.34/337.40	c  337s |      21 |  1117743 |  1093645 |     1882   1428 |        0 |        0
339.34/339.41	c  339s |      21 |  1123890 |  1099645 |     1882   1434 |        0 |        0
341.34/341.42	c  341s |      21 |  1129992 |  1105645 |     1882   1440 |        0 |        0
343.34/343.43	c  343s |      21 |  1136224 |  1111745 |     1882   1446 |        0 |        0
345.35/345.44	c  345s |      21 |  1142105 |  1117545 |     1882   1452 |        0 |        0
347.34/347.46	c  347s |      21 |  1148426 |  1123645 |     1882   1458 |        0 |        0
349.34/349.46	c  349s |      21 |  1154718 |  1129845 |     1882   1464 |        0 |        0
351.34/351.49	c  351s |      21 |  1160897 |  1135945 |     1882   1470 |        0 |        0
353.44/353.50	c  353s |      21 |  1167037 |  1141945 |     1882   1476 |        0 |        0
355.44/355.53	c  355s |      21 |  1173212 |  1148045 |     1882   1482 |        0 |        0
357.44/357.55	c  357s |      21 |  1179220 |  1153945 |     1882   1488 |        0 |        0
359.43/359.58	c  359s |      21 |  1185274 |  1159845 |     1882   1494 |        0 |        0
361.53/361.60	c  361s |      21 |  1191470 |  1165945 |     1882   1500 |        0 |        0
363.53/363.63	c  363s |      21 |  1197655 |  1172045 |     1882   1506 |        0 |        0
365.53/365.65	c  365s |      21 |  1203742 |  1178045 |     1882   1512 |        0 |        0
367.53/367.68	c  367s |      21 |  1209959 |  1184045 |     1882   1518 |        0 |        0
369.54/369.68	c  369s |      21 |  1215804 |  1189745 |     1882   1524 |        0 |        0
371.63/371.70	c  371s |      21 |  1221897 |  1195645 |     1882   1530 |        0 |        0
373.63/373.71	c  373s |      21 |  1227907 |  1201445 |     1882   1536 |        0 |        0
375.63/375.74	c  375s |      21 |  1234043 |  1207445 |     1882   1542 |        0 |        0
377.63/377.76	c  377s |      21 |  1240836 |  1213945 |     1882   1548 |        0 |        0
379.63/379.78	c  379s |      21 |  1247139 |  1220145 |     1882   1554 |        0 |        0
381.64/381.80	c  381s |      21 |  1253389 |  1226245 |     1882   1560 |        0 |        0
383.73/383.81	c  383s |      21 |  1259607 |  1232345 |     1882   1566 |        0 |        0
385.73/385.81	c  385s |      21 |  1265784 |  1238345 |     1882   1572 |        0 |        0
387.73/387.84	c  387s |      21 |  1272041 |  1244445 |     1882   1579 |        0 |        0
389.73/389.86	c  389s |      21 |  1278193 |  1250445 |     1882   1585 |        0 |        0
391.73/391.87	c  391s |      21 |  1284505 |  1256645 |     1882   1591 |        0 |        0
393.73/393.87	c  393s |      21 |  1290696 |  1262645 |     1882   1597 |        0 |        0
395.72/395.88	c  395s |      21 |  1296751 |  1268545 |     1882   1603 |        0 |        0
397.72/397.90	c  397s |      21 |  1302774 |  1274445 |     1882   1609 |        0 |        0
399.82/399.92	c  399s |      21 |  1308992 |  1280545 |     1882   1615 |        0 |        0
401.82/401.92	c  401s |      21 |  1314988 |  1286445 |     1882   1621 |        0 |        0
403.82/403.93	c  403s |      21 |  1320969 |  1292345 |     1882   1626 |        0 |        0
405.83/405.96	c  405s |      21 |  1326788 |  1298045 |     1882   1632 |        0 |        0
407.82/407.98	c  407s |      21 |  1333041 |  1304145 |     1882   1638 |        0 |        0
409.92/410.00	c  409s |      21 |  1338980 |  1309945 |     1882   1644 |        0 |        0
411.92/412.02	c  412s |      21 |  1345031 |  1315745 |     1882   1650 |        0 |        0
413.92/414.06	c  414s |      21 |  1350894 |  1321445 |     1882   1656 |        0 |        0
415.92/416.08	c  416s |      21 |  1357232 |  1327645 |     1882   1662 |        0 |        0
418.03/418.10	c  418s |      21 |  1363885 |  1334145 |     1882   1668 |        0 |        0
420.02/420.13	c  420s |      21 |  1370431 |  1340445 |     1882   1675 |        0 |        0
422.02/422.13	c  422s |      21 |  1377032 |  1346845 |     1882   1681 |        0 |        0
424.02/424.13	c  424s |      21 |  1383545 |  1353045 |     1882   1687 |        0 |        0
426.02/426.15	c  426s |      21 |  1389792 |  1359145 |     1882   1693 |        0 |        0
428.02/428.15	c  428s |      21 |  1396198 |  1365345 |     1882   1699 |        0 |        0
430.03/430.17	c  430s |      21 |  1402488 |  1371445 |     1882   1705 |        0 |        0
432.02/432.18	c  432s |      21 |  1408803 |  1377545 |     1882   1712 |        0 |        0
434.12/434.20	c  434s |      21 |  1414846 |  1383445 |     1882   1717 |        0 |        0
436.13/436.23	c  436s |      21 |  1421314 |  1389745 |     1882   1724 |        0 |        0
438.13/438.25	c  438s |      21 |  1427498 |  1395845 |     1882   1730 |        0 |        0
440.13/440.28	c  440s |      21 |  1433491 |  1401745 |     1882   1736 |        0 |        0
442.23/442.31	c  442s |      21 |  1439551 |  1407745 |     1882   1742 |        0 |        0
444.23/444.33	c  444s |      21 |  1445893 |  1413945 |     1882   1748 |        0 |        0
446.23/446.34	c  446s |      21 |  1452122 |  1420045 |     1882   1754 |        0 |        0
448.22/448.36	c  448s |      21 |  1458388 |  1426145 |     1882   1760 |        0 |        0
450.22/450.36	c  450s |      21 |  1464456 |  1432045 |     1882   1766 |        0 |        0
452.22/452.38	c  452s |      21 |  1470390 |  1437845 |     1882   1772 |        0 |        0
454.23/454.40	c  454s |      21 |  1476228 |  1443545 |     1882   1778 |        0 |        0
456.32/456.41	c  456s |      21 |  1482447 |  1449645 |     1882   1784 |        0 |        0
458.32/458.44	c  458s |      21 |  1488563 |  1455645 |     1882   1790 |        0 |        0
460.32/460.45	c  460s |      21 |  1494580 |  1461545 |     1882   1796 |        0 |        0
462.32/462.45	c  462s |      21 |  1500509 |  1467345 |     1882   1801 |        0 |        0
464.32/464.45	c  464s |      21 |  1506326 |  1473045 |     1882   1807 |        0 |        0
466.33/466.47	c  466s |      21 |  1512288 |  1478945 |     1882   1813 |        0 |        0
468.32/468.47	c  468s |      21 |  1518297 |  1484845 |     1882   1819 |        0 |        0
470.42/470.51	c  470s |      21 |  1524203 |  1490645 |     2071   1825 |        0 |        0
472.42/472.52	c  472s |      21 |  1530032 |  1496345 |     2071   1830 |        0 |        0
473.92/474.09	c  474s |      22 |  1534493 |  1500622 |     2071   1834 |        0 |        0
476.02/476.10	c  476s |      22 |  1540857 |  1506722 |     2071   1839 |        0 |        0
478.02/478.11	c  478s |      22 |  1546991 |  1512722 |     2071   1845 |        0 |        0
480.02/480.12	c  480s |      22 |  1553090 |  1518722 |     2071   1850 |        0 |        0
482.02/482.15	c  482s |      22 |  1559361 |  1524822 |     2071   1856 |        0 |        0
484.02/484.16	c  484s |      22 |  1565262 |  1530622 |     2071   1861 |        0 |        0
486.02/486.18	c  486s |      22 |  1571014 |  1536222 |     2071   1866 |        0 |        0
488.01/488.18	c  488s |      22 |  1577196 |  1542322 |     2071   1872 |        0 |        0
490.01/490.19	c  490s |      22 |  1583485 |  1548522 |     2071   1877 |        0 |        0
492.11/492.22	c  492s |      22 |  1589578 |  1554522 |     2071   1883 |        0 |        0
494.11/494.25	c  494s |      22 |  1595616 |  1560422 |     2071   1888 |        0 |        0
496.12/496.29	c  496s |      22 |  1601533 |  1566222 |     2071   1894 |        0 |        0
498.22/498.32	c  498s |      22 |  1607302 |  1571922 |     2071   1899 |        0 |        0
500.21/500.32	c  500s |      22 |  1613690 |  1578222 |     2071   1905 |        0 |        0
502.21/502.33	c  502s |      22 |  1619875 |  1584322 |     2071   1910 |        0 |        0
504.21/504.38	c  504s |      22 |  1625934 |  1590322 |     2071   1916 |        0 |        0
506.21/506.38	c  506s |      22 |  1631926 |  1596222 |     2071   1921 |        0 |        0
508.31/508.40	c  508s |      22 |  1637837 |  1602022 |     2071   1926 |        0 |        0
510.31/510.42	c  510s |      22 |  1643563 |  1607622 |     2071   1931 |        0 |        0
512.32/512.44	c  512s |      22 |  1649357 |  1613322 |     2071   1937 |        0 |        0
514.31/514.46	c  514s |      22 |  1655113 |  1619022 |     2071   1942 |        0 |        0
516.31/516.48	c  516s |      22 |  1660892 |  1624722 |     2071   1947 |        0 |        0
518.31/518.49	c  518s |      22 |  1667070 |  1630822 |     2071   1953 |        0 |        0
520.41/520.51	c  520s |      22 |  1673369 |  1637022 |     2071   1958 |        0 |        0
522.42/522.52	c  522s |      22 |  1679425 |  1642922 |     2071   1964 |        0 |        0
524.41/524.54	c  524s |      22 |  1685401 |  1648822 |     2071   1969 |        0 |        0
526.41/526.57	c  526s |      22 |  1691461 |  1654722 |     2071   1974 |        0 |        0
528.51/528.60	c  528s |      22 |  1697465 |  1660622 |     2071   1980 |        0 |        0
530.51/530.62	c  530s |      22 |  1703335 |  1666422 |     2071   1985 |        0 |        0
532.51/532.63	c  532s |      22 |  1709163 |  1672122 |     2071   1990 |        0 |        0
534.51/534.66	c  534s |      22 |  1714902 |  1677722 |     2071   1995 |        0 |        0
536.51/536.69	c  536s |      22 |  1720877 |  1683522 |     2071   2001 |        0 |        0
538.61/538.72	c  538s |      22 |  1726794 |  1689322 |     2071   2006 |        0 |        0
540.60/540.75	c  540s |      22 |  1732600 |  1695022 |     2071   2011 |        0 |        0
542.60/542.75	c  542s |      22 |  1738228 |  1700522 |     2071   2016 |        0 |        0
544.60/544.77	c  544s |      22 |  1744271 |  1706422 |     2071   2022 |        0 |        0
546.61/546.80	c  546s |      22 |  1750682 |  1712622 |     2071   2027 |        0 |        0
548.71/548.83	c  548s |      22 |  1756799 |  1718522 |     2071   2033 |        0 |        0
550.71/550.84	c  550s |      22 |  1762881 |  1724422 |     2071   2038 |        0 |        0
552.71/552.85	c  552s |      22 |  1768766 |  1730122 |     2071   2043 |        0 |        0
554.71/554.85	c  554s |      22 |  1774709 |  1735922 |     2071   2048 |        0 |        0
556.71/556.86	c  556s |      22 |  1780702 |  1741822 |     2071   2054 |        0 |        0
558.72/558.88	c  558s |      22 |  1786676 |  1747622 |     2071   2059 |        0 |        0
560.81/560.91	c  560s |      22 |  1792768 |  1753522 |     2071   2065 |        0 |        0
562.81/562.92	c  562s |      22 |  1798713 |  1759322 |     2071   2070 |        0 |        0
564.81/564.93	c  564s |      22 |  1804590 |  1765022 |     2071   2075 |        0 |        0
566.80/566.94	c  566s |      22 |  1810670 |  1771022 |     2071   2081 |        0 |        0
568.80/568.97	c  568s |      22 |  1816639 |  1776922 |     2071   2086 |        0 |        0
570.91/571.01	c  570s |      22 |  1822328 |  1782522 |     2071   2091 |        0 |        0
572.90/573.01	c  572s |      22 |  1828220 |  1788322 |     2071   2096 |        0 |        0
574.90/575.04	c  575s |      22 |  1834125 |  1794122 |     2071   2102 |        0 |        0
576.90/577.06	c  577s |      22 |  1840169 |  1800022 |     2071   2107 |        0 |        0
578.90/579.08	c  579s |      22 |  1845984 |  1805722 |     2071   2112 |        0 |        0
580.90/581.09	c  581s |      22 |  1851728 |  1811322 |     2071   2117 |        0 |        0
583.01/583.13	c  583s |      22 |  1857457 |  1816922 |     2071   2122 |        0 |        0
585.00/585.14	c  585s |      22 |  1863375 |  1822722 |     2071   2128 |        0 |        0
587.00/587.15	c  587s |      22 |  1869389 |  1828622 |     2071   2133 |        0 |        0
589.00/589.17	c  589s |      22 |  1875339 |  1834422 |     2071   2138 |        0 |        0
591.00/591.18	c  591s |      22 |  1881168 |  1840122 |     2071   2144 |        0 |        0
593.10/593.21	c  593s |      22 |  1886938 |  1845722 |     2071   2149 |        0 |        0
595.11/595.21	c  595s |      22 |  1892615 |  1851322 |     2071   2154 |        0 |        0
597.10/597.22	c  597s |      22 |  1898420 |  1857022 |     2071   2159 |        0 |        0
599.10/599.25	c  599s |      22 |  1904151 |  1862622 |     2071   2164 |        0 |        0
601.10/601.27	c  601s |      22 |  1909562 |  1867922 |     2071   2169 |        0 |        0
603.10/603.27	c  603s |      22 |  1915881 |  1874122 |     2071   2175 |        0 |        0
605.10/605.28	c  605s |      22 |  1922370 |  1880422 |     2071   2180 |        0 |        0
607.20/607.31	c  607s |      22 |  1928810 |  1886622 |     2071   2186 |        0 |        0
609.20/609.34	c  609s |      22 |  1935070 |  1892722 |     2071   2192 |        0 |        0
611.20/611.37	c  611s |      22 |  1941285 |  1898822 |     2071   2197 |        0 |        0
613.19/613.38	c  613s |      22 |  1947300 |  1904722 |     2071   2203 |        0 |        0
615.19/615.39	c  615s |      22 |  1953226 |  1910522 |     2071   2208 |        0 |        0
617.29/617.42	c  617s |      22 |  1959062 |  1916222 |     2071   2213 |        0 |        0
619.30/619.44	c  619s |      22 |  1965214 |  1922222 |     2071   2219 |        0 |        0
621.29/621.46	c  621s |      22 |  1971095 |  1927922 |     2071   2224 |        0 |        0
623.29/623.48	c  623s |      22 |  1977232 |  1933922 |     2071   2229 |        0 |        0
625.39/625.50	c  625s |      22 |  1983241 |  1939822 |     2071   2235 |        0 |        0
627.39/627.50	c  627s |      22 |  1989037 |  1945522 |     2071   2240 |        0 |        0
629.39/629.51	c  629s |      22 |  1994780 |  1951122 |     2071   2245 |        0 |        0
631.40/631.53	c  631s |      22 |  2000784 |  1957022 |     2071   2250 |        0 |        0
633.39/633.53	c  633s |      22 |  2006708 |  1962822 |     2071   2256 |        0 |        0
635.39/635.54	c  635s |      22 |  2012506 |  1968522 |     2071   2261 |        0 |        0
637.39/637.55	c  637s |      22 |  2018280 |  1974222 |     2071   2266 |        0 |        0
639.39/639.58	c  639s |      22 |  2024090 |  1979922 |     2071   2271 |        0 |        0
641.39/641.59	c  641s |      22 |  2029788 |  1985522 |     2071   2276 |        0 |        0
643.40/643.60	c  643s |      22 |  2035893 |  1991522 |     2071   2282 |        0 |        0
645.49/645.61	c  645s |      22 |  2041788 |  1997322 |     2071   2287 |        0 |        0
647.49/647.65	c  647s |      22 |  2047671 |  2003122 |     2071   2292 |        0 |        0
649.49/649.67	c  649s |      22 |  2053428 |  2008722 |     2071   2298 |        0 |        0
651.59/651.70	c  651s |      22 |  2059039 |  2014222 |     2071   2303 |        0 |        0
653.58/653.73	c  653s |      22 |  2064796 |  2019922 |     2071   2308 |        0 |        0
655.59/655.74	c  655s |      22 |  2070399 |  2025422 |     2071   2313 |        0 |        0
657.58/657.77	c  657s |      22 |  2076597 |  2031522 |     2071   2318 |        0 |        0
659.58/659.79	c  659s |      22 |  2082507 |  2037322 |     2071   2324 |        0 |        0
661.69/661.82	c  661s |      22 |  2088510 |  2043222 |     2071   2329 |        0 |        0
663.69/663.83	c  663s |      22 |  2094538 |  2049122 |     2071   2334 |        0 |        0
665.69/665.84	c  665s |      22 |  2100322 |  2054822 |     2071   2340 |        0 |        0
667.70/667.87	c  667s |      22 |  2106129 |  2060522 |     2071   2345 |        0 |        0
669.69/669.90	c  669s |      22 |  2111899 |  2066222 |     2071   2350 |        0 |        0
671.79/671.93	c  671s |      22 |  2117701 |  2071922 |     2071   2355 |        0 |        0
673.79/673.96	c  673s |      22 |  2123509 |  2077622 |     2071   2361 |        0 |        0
675.79/675.99	c  675s |      22 |  2129211 |  2083222 |     2071   2366 |        0 |        0
677.89/678.02	c  678s |      22 |  2134902 |  2088822 |     2071   2371 |        0 |        0
679.89/680.04	c  680s |      22 |  2140588 |  2094422 |     2071   2376 |        0 |        0
681.89/682.05	c  682s |      22 |  2146223 |  2099922 |     2071   2381 |        0 |        0
683.89/684.07	c  684s |      22 |  2151808 |  2105322 |     2071   2386 |        0 |        0
685.89/686.07	c  686s |      22 |  2157481 |  2110822 |     2071   2391 |        0 |        0
687.88/688.09	c  688s |      22 |  2163865 |  2117022 |     2071   2397 |        0 |        0
689.88/690.09	c  690s |      22 |  2170087 |  2123122 |     2071   2402 |        0 |        0
691.98/692.10	c  692s |      22 |  2176117 |  2129022 |     2071   2407 |        0 |        0
693.99/694.12	c  694s |      22 |  2182206 |  2135022 |     2071   2413 |        0 |        0
695.98/696.12	c  696s |      22 |  2188335 |  2140922 |     2071   2418 |        0 |        0
697.98/698.15	c  698s |      22 |  2194426 |  2146822 |     2071   2424 |        0 |        0
699.98/700.16	c  700s |      22 |  2200311 |  2152622 |     2071   2429 |        0 |        0
701.98/702.18	c  702s |      22 |  2206281 |  2158522 |     2071   2434 |        0 |        0
704.08/704.21	c  704s |      22 |  2212053 |  2164222 |     2071   2440 |        0 |        0
706.09/706.24	c  706s |      22 |  2218183 |  2170222 |     2071   2445 |        0 |        0
708.08/708.27	c  708s |      22 |  2224187 |  2176122 |     2071   2450 |        0 |        0
710.18/710.31	c  710s |      22 |  2229879 |  2181722 |     2071   2456 |        0 |        0
712.18/712.33	c  712s |      22 |  2235580 |  2187322 |     2071   2461 |        0 |        0
714.18/714.34	c  714s |      22 |  2241608 |  2193222 |     2071   2466 |        0 |        0
716.18/716.36	c  716s |      22 |  2247582 |  2199122 |     2071   2471 |        0 |        0
718.18/718.37	c  718s |      22 |  2253364 |  2204822 |     2071   2477 |        0 |        0
720.18/720.37	c  720s |      22 |  2259326 |  2210622 |     2071   2482 |        0 |        0
722.18/722.38	c  722s |      22 |  2265111 |  2216322 |     2071   2487 |        0 |        0
724.28/724.41	c  724s |      22 |  2271008 |  2222122 |     2071   2492 |        0 |        0
726.28/726.43	c  726s |      22 |  2276739 |  2227722 |     2071   2498 |        0 |        0
728.28/728.43	c  728s |      22 |  2282757 |  2233622 |     2071   2503 |        0 |        0
730.28/730.43	c  730s |      22 |  2288561 |  2239322 |     2279   2508 |        0 |        0
732.28/732.44	c  732s |      22 |  2294326 |  2245022 |     2279   2512 |        0 |        0
734.28/734.46	c  734s |      22 |  2299981 |  2250522 |     2279   2517 |        0 |        0
734.48/734.65	c  734s |      23 |  2300501 |  2251038 |     2279   2517 |        0 |        0
736.48/736.67	c  736s |      23 |  2306872 |  2257238 |     2279   2523 |        0 |        0
738.47/738.68	c  738s |      23 |  2312980 |  2263238 |     2279   2528 |        0 |        0
740.57/740.71	c  740s |      23 |  2319312 |  2269438 |     2279   2533 |        0 |        0
742.57/742.73	c  742s |      23 |  2325632 |  2275638 |     2279   2538 |        0 |        0
744.58/744.74	c  744s |      23 |  2331590 |  2281538 |     2279   2543 |        0 |        0
746.57/746.76	c  746s |      23 |  2337859 |  2287638 |     2279   2548 |        0 |        0
748.57/748.79	c  748s |      23 |  2344464 |  2294138 |     2279   2553 |        0 |        0
750.67/750.82	c  750s |      23 |  2351064 |  2300638 |     2279   2559 |        0 |        0
752.67/752.83	c  752s |      23 |  2357236 |  2306738 |     2279   2564 |        0 |        0
754.67/754.85	c  754s |      23 |  2363420 |  2312838 |     2279   2569 |        0 |        0
756.68/756.86	c  756s |      23 |  2369499 |  2318838 |     2279   2574 |        0 |        0
758.67/758.88	c  758s |      23 |  2375628 |  2324838 |     2279   2579 |        0 |        0
760.67/760.88	c  760s |      23 |  2381627 |  2330738 |     2279   2584 |        0 |        0
762.77/762.90	c  762s |      23 |  2387810 |  2336838 |     2279   2589 |        0 |        0
764.77/764.90	c  764s |      23 |  2393859 |  2342738 |     2279   2594 |        0 |        0
766.77/766.91	c  766s |      23 |  2399668 |  2348438 |     2279   2599 |        0 |        0
768.77/768.93	c  768s |      23 |  2405633 |  2354238 |     2279   2603 |        0 |        0
770.77/770.98	c  770s |      23 |  2411840 |  2360338 |     2279   2609 |        0 |        0
772.88/773.00	c  772s |      23 |  2417834 |  2366238 |     2279   2613 |        0 |        0
774.88/775.03	c  775s |      23 |  2423665 |  2371938 |     2279   2618 |        0 |        0
776.87/777.04	c  777s |      23 |  2429338 |  2377538 |     2279   2623 |        0 |        0
778.87/779.07	c  779s |      23 |  2436083 |  2384138 |     2279   2628 |        0 |        0
780.88/781.09	c  781s |      23 |  2442594 |  2390538 |     2279   2634 |        0 |        0
782.87/783.09	c  783s |      23 |  2448858 |  2396638 |     2279   2639 |        0 |        0
784.97/785.13	c  785s |      23 |  2455165 |  2402838 |     2279   2644 |        0 |        0
786.97/787.13	c  787s |      23 |  2461510 |  2409038 |     2279   2649 |        0 |        0
788.97/789.15	c  789s |      23 |  2467719 |  2415138 |     2279   2654 |        0 |        0
790.97/791.15	c  791s |      23 |  2473849 |  2421138 |     2279   2659 |        0 |        0
792.98/793.19	c  793s |      23 |  2480359 |  2427538 |     2279   2665 |        0 |        0
794.97/795.19	c  795s |      23 |  2486408 |  2433438 |     2279   2669 |        0 |        0
797.07/797.21	c  797s |      23 |  2492506 |  2439438 |     2279   2674 |        0 |        0
799.07/799.23	c  799s |      23 |  2498585 |  2445438 |     2279   2679 |        0 |        0
801.07/801.24	c  801s |      23 |  2504723 |  2451538 |     2279   2685 |        0 |        0
803.07/803.28	c  803s |      23 |  2510815 |  2457538 |     2279   2690 |        0 |        0
805.17/805.32	c  805s |      23 |  2516774 |  2463438 |     2279   2695 |        0 |        0
807.17/807.32	c  807s |      23 |  2522989 |  2469538 |     2279   2700 |        0 |        0
809.17/809.37	c  809s |      23 |  2528997 |  2475438 |     2279   2705 |        0 |        0
811.17/811.39	c  811s |      23 |  2534825 |  2481138 |     2279   2709 |        0 |        0
813.27/813.42	c  813s |      23 |  2540663 |  2486838 |     2279   2714 |        0 |        0
815.27/815.43	c  815s |      23 |  2546888 |  2492938 |     2279   2719 |        0 |        0
817.27/817.43	c  817s |      23 |  2552929 |  2498838 |     2279   2724 |        0 |        0
819.26/819.44	c  819s |      23 |  2558735 |  2504538 |     2279   2729 |        0 |        0
821.26/821.45	c  821s |      23 |  2564682 |  2510338 |     2279   2734 |        0 |        0
823.26/823.46	c  823s |      23 |  2570615 |  2516138 |     2279   2738 |        0 |        0
825.26/825.46	c  825s |      23 |  2576255 |  2521738 |     2279   2743 |        0 |        0
827.26/827.47	c  827s |      23 |  2582289 |  2527638 |     2279   2748 |        0 |        0
829.27/829.49	c  829s |      23 |  2588307 |  2533538 |     2279   2753 |        0 |        0
831.36/831.50	c  831s |      23 |  2593994 |  2539138 |     2279   2758 |        0 |        0
833.36/833.51	c  833s |      23 |  2599946 |  2544938 |     2279   2763 |        0 |        0
835.36/835.54	c  835s |      23 |  2606493 |  2551338 |     2279   2768 |        0 |        0
837.36/837.57	c  837s |      23 |  2612492 |  2557238 |     2279   2773 |        0 |        0
839.46/839.60	c  839s |      23 |  2618440 |  2563038 |     2279   2778 |        0 |        0
841.47/841.62	c  841s |      23 |  2624289 |  2568738 |     2279   2782 |        0 |        0
843.46/843.65	c  843s |      23 |  2630255 |  2574638 |     2279   2787 |        0 |        0
845.46/845.68	c  845s |      23 |  2635930 |  2580238 |     2279   2792 |        0 |        0
847.56/847.70	c  847s |      23 |  2641833 |  2586038 |     2279   2797 |        0 |        0
849.56/849.72	c  849s |      23 |  2647448 |  2591538 |     2279   2801 |        0 |        0
851.56/851.75	c  851s |      23 |  2653234 |  2597238 |     2279   2806 |        0 |        0
853.57/853.76	c  853s |      23 |  2658976 |  2602938 |     2279   2811 |        0 |        0
855.56/855.76	c  855s |      23 |  2664633 |  2608538 |     2279   2816 |        0 |        0
857.56/857.77	c  857s |      23 |  2670244 |  2614038 |     2279   2820 |        0 |        0
859.66/859.80	c  859s |      23 |  2676244 |  2619938 |     2279   2825 |        0 |        0
861.66/861.82	c  861s |      23 |  2682272 |  2625838 |     2279   2830 |        0 |        0
863.65/863.82	c  863s |      23 |  2688222 |  2631738 |     2279   2835 |        0 |        0
865.66/865.83	c  865s |      23 |  2694092 |  2637538 |     2279   2840 |        0 |        0
867.65/867.84	c  867s |      23 |  2699953 |  2643338 |     2279   2845 |        0 |        0
869.65/869.84	c  869s |      23 |  2705618 |  2648938 |     2279   2849 |        0 |        0
871.65/871.86	c  871s |      23 |  2711594 |  2654838 |     2279   2854 |        0 |        0
873.65/873.88	c  873s |      23 |  2717281 |  2660438 |     2279   2859 |        0 |        0
875.75/875.90	c  875s |      23 |  2723194 |  2666238 |     2279   2864 |        0 |        0
877.76/877.91	c  877s |      23 |  2728905 |  2671838 |     2279   2868 |        0 |        0
879.75/879.94	c  879s |      23 |  2734639 |  2677438 |     2279   2873 |        0 |        0
881.76/881.96	c  881s |      23 |  2740359 |  2683038 |     2279   2878 |        0 |        0
883.76/883.99	c  883s |      23 |  2746158 |  2688738 |     2279   2882 |        0 |        0
885.76/885.99	c  885s |      23 |  2751722 |  2694238 |     2279   2887 |        0 |        0
887.86/888.02	c  887s |      23 |  2757226 |  2699638 |     2279   2891 |        0 |        0
889.86/890.04	c  890s |      23 |  2763733 |  2706038 |     2279   2897 |        0 |        0
891.86/892.05	c  892s |      23 |  2770008 |  2712238 |     2279   2902 |        0 |        0
893.86/894.07	c  894s |      23 |  2776417 |  2718538 |     2279   2907 |        0 |        0
895.85/896.08	c  896s |      23 |  2782535 |  2724538 |     2279   2912 |        0 |        0
897.85/898.08	c  898s |      23 |  2788925 |  2730838 |     2279   2917 |        0 |        0
899.85/900.09	c  900s |      23 |  2794994 |  2736838 |     2279   2922 |        0 |        0
901.96/902.12	c  902s |      23 |  2801185 |  2742938 |     2279   2928 |        0 |        0
903.95/904.14	c  904s |      23 |  2807279 |  2748938 |     2279   2933 |        0 |        0
905.95/906.17	c  906s |      23 |  2813388 |  2754938 |     2279   2938 |        0 |        0
908.05/908.20	c  908s |      23 |  2819493 |  2760938 |     2279   2943 |        0 |        0
910.05/910.21	c  910s |      23 |  2825358 |  2766738 |     2279   2947 |        0 |        0
912.05/912.21	c  912s |      23 |  2831129 |  2772438 |     2279   2952 |        0 |        0
914.06/914.24	c  914s |      23 |  2836990 |  2778238 |     2279   2957 |        0 |        0
916.05/916.25	c  916s |      23 |  2842704 |  2783838 |     2279   2962 |        0 |        0
918.05/918.25	c  918s |      23 |  2848432 |  2789438 |     2279   2966 |        0 |        0
920.05/920.28	c  920s |      23 |  2854555 |  2795438 |     2279   2971 |        0 |        0
922.05/922.30	c  922s |      23 |  2860349 |  2801138 |     2279   2976 |        0 |        0
924.15/924.32	c  924s |      23 |  2866100 |  2806838 |     2279   2981 |        0 |        0
926.16/926.32	c  926s |      23 |  2871829 |  2812438 |     2279   2985 |        0 |        0
928.15/928.34	c  928s |      23 |  2877917 |  2818438 |     2279   2990 |        0 |        0
930.15/930.37	c  930s |      23 |  2883861 |  2824238 |     2279   2995 |        0 |        0
932.25/932.40	c  932s |      23 |  2889644 |  2829938 |     2279   3000 |        0 |        0
934.25/934.44	c  934s |      23 |  2895328 |  2835538 |     2279   3005 |        0 |        0
936.25/936.47	c  936s |      23 |  2901029 |  2841138 |     2279   3009 |        0 |        0
938.25/938.47	c  938s |      23 |  2906446 |  2846438 |     2279   3014 |        0 |        0
940.25/940.47	c  940s |      23 |  2912654 |  2852538 |     2279   3019 |        0 |        0
942.25/942.47	c  942s |      23 |  2918774 |  2858538 |     2279   3024 |        0 |        0
944.25/944.49	c  944s |      23 |  2924740 |  2864438 |     2279   3029 |        0 |        0
946.35/946.51	c  946s |      23 |  2930695 |  2870238 |     2279   3034 |        0 |        0
948.34/948.53	c  948s |      23 |  2936689 |  2876138 |     2279   3039 |        0 |        0
950.35/950.53	c  950s |      23 |  2942399 |  2881738 |     2279   3043 |        0 |        0
952.34/952.54	c  952s |      23 |  2948254 |  2887538 |     2279   3048 |        0 |        0
954.34/954.54	c  954s |      23 |  2953861 |  2893038 |     2279   3053 |        0 |        0
956.34/956.57	c  956s |      23 |  2959789 |  2898838 |     2279   3058 |        0 |        0
958.34/958.58	c  958s |      23 |  2965459 |  2904438 |     2279   3062 |        0 |        0
960.44/960.60	c  960s |      23 |  2971136 |  2910038 |     2279   3067 |        0 |        0
962.45/962.61	c  962s |      23 |  2976732 |  2915538 |     2279   3072 |        0 |        0
964.44/964.62	c  964s |      23 |  2982610 |  2921338 |     2279   3076 |        0 |        0
966.44/966.63	c  966s |      23 |  2988327 |  2926938 |     2279   3081 |        0 |        0
968.44/968.63	c  968s |      23 |  2993838 |  2932338 |     2279   3086 |        0 |        0
970.44/970.66	c  970s |      23 |  2999302 |  2937738 |     2279   3090 |        0 |        0
972.44/972.69	c  972s |      23 |  3005167 |  2943538 |     2279   3095 |        0 |        0
974.55/974.71	c  974s |      23 |  3011152 |  2949438 |     2279   3100 |        0 |        0
976.54/976.72	c  976s |      23 |  3017130 |  2955338 |     2279   3105 |        0 |        0
978.54/978.73	c  978s |      23 |  3022938 |  2961038 |     2279   3109 |        0 |        0
980.54/980.73	c  980s |      23 |  3028691 |  2966738 |     2279   3114 |        0 |        0
982.54/982.76	c  982s |      23 |  3034676 |  2972638 |     2279   3119 |        0 |        0
984.54/984.77	c  984s |      23 |  3040360 |  2978238 |     2279   3124 |        0 |        0
986.55/986.79	c  986s |      23 |  3045972 |  2983738 |     2279   3128 |        0 |        0
988.64/988.81	c  988s |      23 |  3051701 |  2989338 |     2279   3133 |        0 |        0
990.64/990.81	c  990s |      23 |  3057207 |  2994738 |     2279   3138 |        0 |        0
992.64/992.81	c  992s |      23 |  3062897 |  3000338 |     2279   3142 |        0 |        0
994.64/994.82	c  994s |      23 |  3068696 |  3006038 |     2279   3147 |        0 |        0
996.64/996.83	c  996s |      23 |  3074143 |  3011438 |     2279   3152 |        0 |        0
998.64/998.84	c  998s |      23 |  3079756 |  3016838 |     2279   3156 |        0 |        0
1000.63/1000.87	c 1000s |      23 |  3085228 |  3022238 |     2279   3161 |        0 |        0
1002.63/1002.89	c 1002s |      23 |  3091210 |  3028038 |     2279   3165 |        0 |        0
1004.73/1004.91	c 1004s |      23 |  3096847 |  3033538 |     2279   3170 |        0 |        0
1006.73/1006.93	c 1006s |      23 |  3102292 |  3038838 |     2279   3174 |        0 |        0
1008.73/1008.94	c 1008s |      23 |  3107784 |  3044238 |     2279   3179 |        0 |        0
1010.74/1010.96	c 1010s |      23 |  3113404 |  3049738 |     2279   3184 |        0 |        0
1012.73/1012.98	c 1012s |      23 |  3118912 |  3055138 |     2279   3188 |        0 |        0
1014.73/1014.99	c 1014s |      23 |  3124567 |  3060638 |     2279   3193 |        0 |        0
1016.83/1017.00	c 1016s |      23 |  3130658 |  3066638 |     2279   3198 |        0 |        0
1018.83/1019.02	c 1019s |      23 |  3136895 |  3072738 |     2279   3203 |        0 |        0
1020.83/1021.04	c 1021s |      23 |  3142899 |  3078638 |     2279   3208 |        0 |        0
1022.84/1023.07	c 1023s |      23 |  3148799 |  3084438 |     2279   3212 |        0 |        0
1024.94/1025.10	c 1025s |      23 |  3154694 |  3090238 |     2279   3217 |        0 |        0
1026.94/1027.11	c 1027s |      23 |  3160384 |  3095838 |     2279   3222 |        0 |        0
1028.94/1029.13	c 1029s |      23 |  3166087 |  3101438 |     2279   3227 |        0 |        0
1030.94/1031.18	c 1031s |      23 |  3172104 |  3107338 |     2279   3232 |        0 |        0
1032.94/1033.18	c 1033s |      23 |  3177694 |  3112838 |     2279   3236 |        0 |        0
1035.04/1035.21	c 1035s |      23 |  3183533 |  3118538 |     2279   3241 |        0 |        0
1037.04/1037.22	c 1037s |      23 |  3189220 |  3124038 |     2279   3245 |        0 |        0
1039.04/1039.24	c 1039s |      23 |  3194993 |  3129638 |     2279   3250 |        0 |        0
1041.03/1041.28	c 1041s |      23 |  3200856 |  3135338 |     2279   3255 |        0 |        0
1043.13/1043.32	c 1043s |      23 |  3206656 |  3140938 |     2279   3260 |        0 |        0
1045.13/1045.34	c 1045s |      23 |  3212391 |  3146538 |     2279   3264 |        0 |        0
1047.14/1047.35	c 1047s |      23 |  3218297 |  3152338 |     2279   3269 |        0 |        0
1049.13/1049.36	c 1049s |      23 |  3224019 |  3157938 |     2279   3274 |        0 |        0
1051.13/1051.39	c 1051s |      23 |  3229645 |  3163438 |     2279   3278 |        0 |        0
1053.23/1053.40	c 1053s |      23 |  3235133 |  3168838 |     2279   3283 |        0 |        0
1055.23/1055.42	c 1055s |      23 |  3241228 |  3174738 |     2279   3288 |        0 |        0
1057.23/1057.43	c 1057s |      23 |  3246952 |  3180338 |     2279   3292 |        0 |        0
1059.24/1059.43	c 1059s |      23 |  3252534 |  3185838 |     2279   3297 |        0 |        0
1061.23/1061.45	c 1061s |      23 |  3258299 |  3191438 |     2279   3302 |        0 |        0
1063.23/1063.46	c 1063s |      23 |  3263843 |  3196838 |     2279   3306 |        0 |        0
1065.23/1065.49	c 1065s |      23 |  3269225 |  3202138 |     2279   3311 |        0 |        0
1067.33/1067.50	c 1067s |      23 |  3275154 |  3207938 |     2279   3315 |        0 |        0
1069.33/1069.51	c 1069s |      23 |  3280860 |  3213538 |     2279   3320 |        0 |        0
1071.34/1071.54	c 1071s |      23 |  3286478 |  3219038 |     2279   3325 |        0 |        0
1073.33/1073.56	c 1073s |      23 |  3291992 |  3224438 |     2279   3329 |        0 |        0
1075.33/1075.58	c 1075s |      23 |  3297598 |  3229938 |     2279   3334 |        0 |        0
1077.33/1077.59	c 1077s |      23 |  3302981 |  3235238 |     2279   3338 |        0 |        0
1079.43/1079.61	c 1079s |      23 |  3308522 |  3240638 |     2279   3343 |        0 |        0
1081.43/1081.62	c 1081s |      23 |  3314230 |  3246238 |     2279   3347 |        0 |        0
1083.43/1083.66	c 1083s |      23 |  3320040 |  3251938 |     2279   3352 |        0 |        0
1085.43/1085.66	c 1085s |      23 |  3325537 |  3257338 |     2279   3357 |        0 |        0
1087.43/1087.68	c 1087s |      23 |  3331134 |  3262738 |     2279   3361 |        0 |        0
1089.43/1089.69	c 1089s |      23 |  3336514 |  3268038 |     2279   3366 |        0 |        0
1091.53/1091.70	c 1091s |      23 |  3342353 |  3273738 |     2279   3370 |        0 |        0
1093.52/1093.72	c 1093s |      23 |  3348078 |  3279338 |     2279   3375 |        0 |        0
1095.53/1095.75	c 1095s |      23 |  3353794 |  3284938 |     2279   3380 |        0 |        0
1097.52/1097.78	c 1097s |      23 |  3359498 |  3290438 |     2279   3384 |        0 |        0
1099.52/1099.79	c 1099s |      23 |  3365092 |  3295938 |     2279   3389 |        0 |        0
1101.62/1101.82	c 1101s |      23 |  3370570 |  3301338 |     2279   3393 |        0 |        0
1103.62/1103.85	c 1103s |      23 |  3376238 |  3306938 |     2279   3398 |        0 |        0
1105.62/1105.88	c 1105s |      23 |  3381611 |  3312238 |     2279   3402 |        0 |        0
1107.72/1107.90	c 1107s |      23 |  3387241 |  3317738 |     2279   3407 |        0 |        0
1109.73/1109.94	c 1109s |      23 |  3392728 |  3323138 |     2279   3412 |        0 |        0
1111.72/1111.95	c 1111s |      23 |  3398005 |  3328338 |     2279   3416 |        0 |        0
1113.72/1113.97	c 1113s |      23 |  3404015 |  3334238 |     2279   3421 |        0 |        0
1115.72/1115.98	c 1115s |      23 |  3410329 |  3340438 |     2279   3426 |        0 |        0
1117.82/1118.00	c 1117s |      23 |  3416438 |  3346438 |     2279   3431 |        0 |        0
1119.82/1120.00	c 1119s |      23 |  3422437 |  3352338 |     2279   3436 |        0 |        0
1121.83/1122.04	c 1122s |      23 |  3428686 |  3358438 |     2507   3440 |        0 |        0
1123.82/1124.06	c 1124s |      23 |  3434712 |  3364338 |     2507   3445 |        0 |        0
1125.82/1126.09	c 1126s |      23 |  3440741 |  3370238 |     2507   3449 |        0 |        0
1127.92/1128.11	c 1128s |      23 |  3446553 |  3375938 |     2507   3454 |        0 |        0
1128.12/1128.35	c 1128s |      24 |  3447301 |  3376662 |     2507   3454 |        0 |        0
1130.12/1130.39	c 1130s |      24 |  3453746 |  3382862 |     2507   3459 |        0 |        0
1132.22/1132.41	c 1132s |      24 |  3460121 |  3389062 |     2507   3464 |        0 |        0
1134.22/1134.45	c 1134s |      24 |  3466506 |  3395362 |     2507   3469 |        0 |        0
1136.22/1136.48	c 1136s |      24 |  3472810 |  3401462 |     2507   3473 |        0 |        0
1138.22/1138.50	c 1138s |      24 |  3478803 |  3407362 |     2507   3478 |        0 |        0
1140.32/1140.53	c 1140s |      24 |  3485208 |  3413562 |     2507   3482 |        0 |        0
1142.32/1142.56	c 1142s |      24 |  3491527 |  3419762 |     2507   3487 |        0 |        0
1144.32/1144.57	c 1144s |      24 |  3497770 |  3425862 |     2507   3492 |        0 |        0
1146.31/1146.58	c 1146s |      24 |  3503834 |  3431862 |     2507   3496 |        0 |        0
1148.32/1148.58	c 1148s |      24 |  3509855 |  3437762 |     2507   3501 |        0 |        0
1150.31/1150.59	c 1150s |      24 |  3515816 |  3443662 |     2507   3505 |        0 |        0
1152.31/1152.59	c 1152s |      24 |  3521617 |  3449362 |     2507   3510 |        0 |        0
1154.41/1154.61	c 1154s |      24 |  3527755 |  3455362 |     2507   3514 |        0 |        0
1156.41/1156.64	c 1156s |      24 |  3533562 |  3461062 |     2507   3519 |        0 |        0
1158.41/1158.68	c 1158s |      24 |  3539475 |  3466862 |     2507   3523 |        0 |        0
1160.42/1160.69	c 1160s |      24 |  3545745 |  3472962 |     2507   3528 |        0 |        0
1162.41/1162.70	c 1162s |      24 |  3552237 |  3479262 |     2507   3532 |        0 |        0
1164.51/1164.70	c 1164s |      24 |  3558419 |  3485262 |     2507   3537 |        0 |        0
1166.51/1166.70	c 1166s |      24 |  3564492 |  3491162 |     2507   3541 |        0 |        0
1168.51/1168.73	c 1168s |      24 |  3570506 |  3497062 |     2507   3546 |        0 |        0
1170.51/1170.75	c 1170s |      24 |  3576558 |  3502962 |     2507   3550 |        0 |        0
1172.51/1172.76	c 1172s |      24 |  3582617 |  3508862 |     2507   3555 |        0 |        0
1174.51/1174.79	c 1174s |      24 |  3588614 |  3514762 |     2507   3559 |        0 |        0
1176.61/1176.82	c 1176s |      24 |  3594605 |  3520662 |     2507   3564 |        0 |        0
1178.61/1178.85	c 1178s |      24 |  3600468 |  3526462 |     2507   3568 |        0 |        0
1180.61/1180.86	c 1180s |      24 |  3606614 |  3532462 |     2507   3573 |        0 |        0
1182.71/1182.90	c 1182s |      24 |  3612692 |  3538262 |     2507   3577 |        0 |        0
1184.71/1184.91	c 1184s |      24 |  3618468 |  3543862 |     2507   3582 |        0 |        0
1186.72/1186.94	c 1186s |      24 |  3624367 |  3549662 |     2507   3586 |        0 |        0
1188.71/1188.94	c 1188s |      24 |  3630425 |  3555562 |     2507   3590 |        0 |        0
1190.71/1190.96	c 1190s |      24 |  3636469 |  3561462 |     2507   3595 |        0 |        0
1192.71/1192.98	c 1192s |      24 |  3642399 |  3567262 |     2507   3599 |        0 |        0
1194.81/1195.00	c 1194s |      24 |  3648360 |  3573062 |     2507   3604 |        0 |        0
1196.81/1197.01	c 1196s |      24 |  3654172 |  3578762 |     2507   3608 |        0 |        0
1198.81/1199.03	c 1199s |      24 |  3660017 |  3584462 |     2507   3612 |        0 |        0
1200.81/1201.05	c 1201s |      24 |  3665786 |  3590062 |     2507   3617 |        0 |        0
1202.81/1203.07	c 1203s |      24 |  3671551 |  3595662 |     2507   3621 |        0 |        0
1204.81/1205.08	c 1205s |      24 |  3677139 |  3601062 |     2507   3625 |        0 |        0
1206.91/1207.12	c 1207s |      24 |  3682639 |  3606462 |     2507   3629 |        0 |        0
1208.91/1209.13	c 1209s |      24 |  3689053 |  3612662 |     2507   3634 |        0 |        0
1210.91/1211.13	c 1211s |      24 |  3695277 |  3618762 |     2507   3639 |        0 |        0
1212.91/1213.16	c 1213s |      24 |  3701369 |  3624762 |     2507   3643 |        0 |        0
1214.91/1215.18	c 1215s |      24 |  3707484 |  3630762 |     2507   3648 |        0 |        0
1217.01/1217.20	c 1217s |      24 |  3713718 |  3636862 |     2507   3652 |        0 |        0
1219.00/1219.24	c 1219s |      24 |  3719806 |  3642862 |     2507   3657 |        0 |        0
1221.00/1221.25	c 1221s |      24 |  3725864 |  3648762 |     2507   3661 |        0 |        0
1223.01/1223.28	c 1223s |      24 |  3731956 |  3654762 |     2507   3666 |        0 |        0
1225.10/1225.32	c 1225s |      24 |  3738031 |  3660762 |     2507   3671 |        0 |        0
1227.10/1227.35	c 1227s |      24 |  3744037 |  3666662 |     2507   3675 |        0 |        0
1229.10/1229.36	c 1229s |      24 |  3750016 |  3672562 |     2507   3680 |        0 |        0
1231.10/1231.39	c 1231s |      24 |  3756467 |  3678862 |     2507   3684 |        0 |        0
1233.20/1233.42	c 1233s |      24 |  3762469 |  3684762 |     2507   3689 |        0 |        0
1235.21/1235.45	c 1235s |      24 |  3768416 |  3690562 |     2507   3693 |        0 |        0
1237.20/1237.48	c 1237s |      24 |  3774201 |  3696162 |     2507   3698 |        0 |        0
1239.20/1239.50	c 1239s |      24 |  3779794 |  3701662 |     2507   3702 |        0 |        0
1241.30/1241.50	c 1241s |      24 |  3785475 |  3707262 |     2507   3706 |        0 |        0
1243.30/1243.51	c 1243s |      24 |  3791279 |  3712962 |     2507   3710 |        0 |        0
1245.30/1245.52	c 1245s |      24 |  3797117 |  3718662 |     2507   3715 |        0 |        0
1247.30/1247.54	c 1247s |      24 |  3802893 |  3724262 |     2507   3719 |        0 |        0
1249.30/1249.57	c 1249s |      24 |  3808676 |  3729862 |     2507   3723 |        0 |        0
1251.40/1251.60	c 1251s |      24 |  3814287 |  3735362 |     2507   3727 |        0 |        0
1253.40/1253.61	c 1253s |      24 |  3819985 |  3740962 |     2507   3732 |        0 |        0
1255.40/1255.64	c 1255s |      24 |  3826074 |  3746962 |     2507   3736 |        0 |        0
1257.39/1257.66	c 1257s |      24 |  3831875 |  3752662 |     2507   3741 |        0 |        0
1259.40/1259.68	c 1259s |      24 |  3837566 |  3758262 |     2507   3745 |        0 |        0
1261.39/1261.68	c 1261s |      24 |  3843176 |  3763762 |     2507   3749 |        0 |        0
1263.39/1263.69	c 1263s |      24 |  3848485 |  3768962 |     2507   3753 |        0 |        0
1265.49/1265.71	c 1265s |      24 |  3854222 |  3774562 |     2507   3757 |        0 |        0
1267.49/1267.72	c 1267s |      24 |  3859724 |  3779962 |     2507   3761 |        0 |        0
1269.49/1269.72	c 1269s |      24 |  3865449 |  3785562 |     2507   3766 |        0 |        0
1271.50/1271.74	c 1271s |      24 |  3871685 |  3791662 |     2507   3770 |        0 |        0
1273.49/1273.75	c 1273s |      24 |  3877526 |  3797362 |     2507   3775 |        0 |        0
1275.49/1275.77	c 1275s |      24 |  3883430 |  3803062 |     2507   3779 |        0 |        0
1277.49/1277.78	c 1277s |      24 |  3889185 |  3808662 |     2507   3783 |        0 |        0
1279.59/1279.80	c 1279s |      24 |  3894921 |  3814262 |     2507   3787 |        0 |        0
1281.59/1281.81	c 1281s |      24 |  3900696 |  3819962 |     2507   3792 |        0 |        0
1283.60/1283.83	c 1283s |      24 |  3906338 |  3825462 |     2507   3796 |        0 |        0
1285.59/1285.83	c 1285s |      24 |  3911799 |  3830862 |     2507   3800 |        0 |        0
1287.59/1287.86	c 1287s |      24 |  3917445 |  3836362 |     2507   3804 |        0 |        0
1289.69/1289.90	c 1289s |      24 |  3923158 |  3841962 |     2507   3809 |        0 |        0
1291.68/1291.90	c 1291s |      24 |  3928930 |  3847662 |     2507   3813 |        0 |        0
1293.69/1293.93	c 1293s |      24 |  3934624 |  3853262 |     2507   3817 |        0 |        0
1295.70/1295.95	c 1295s |      24 |  3940245 |  3858762 |     2507   3821 |        0 |        0
1297.69/1297.99	c 1297s |      24 |  3945845 |  3864262 |     2507   3826 |        0 |        0
1299.79/1300.00	c 1299s |      24 |  3951861 |  3870162 |     2507   3830 |        0 |        0
1301.79/1302.00	c 1301s |      24 |  3958061 |  3876262 |     2507   3835 |        0 |        0
1303.79/1304.02	c 1303s |      24 |  3964271 |  3882362 |     2507   3839 |        0 |        0
1305.78/1306.02	c 1306s |      24 |  3970083 |  3887962 |     2507   3844 |        0 |        0
1307.79/1308.04	c 1308s |      24 |  3975947 |  3893662 |     2507   3848 |        0 |        0
1309.78/1310.05	c 1310s |      24 |  3981807 |  3899362 |     2507   3852 |        0 |        0
1311.78/1312.08	c 1312s |      24 |  3987569 |  3904962 |     2507   3857 |        0 |        0
1313.78/1314.09	c 1314s |      24 |  3993339 |  3910562 |     2507   3861 |        0 |        0
1315.88/1316.11	c 1316s |      24 |  3999100 |  3916162 |     2507   3865 |        0 |        0
1317.88/1318.13	c 1318s |      24 |  4004925 |  3921862 |     2507   3869 |        0 |        0
1319.88/1320.16	c 1320s |      24 |  4011016 |  3927762 |     2507   3874 |        0 |        0
1321.88/1322.18	c 1322s |      24 |  4016959 |  3933562 |     2507   3878 |        0 |        0
1323.98/1324.21	c 1324s |      24 |  4022848 |  3939362 |     2507   3883 |        0 |        0
1325.97/1326.21	c 1326s |      24 |  4028688 |  3945062 |     2507   3887 |        0 |        0
1327.97/1328.25	c 1328s |      24 |  4034475 |  3950762 |     2507   3891 |        0 |        0
1329.97/1330.28	c 1330s |      24 |  4040212 |  3956362 |     2507   3896 |        0 |        0
1331.98/1332.28	c 1332s |      24 |  4045959 |  3961962 |     2507   3900 |        0 |        0
1333.97/1334.29	c 1334s |      24 |  4051523 |  3967362 |     2507   3904 |        0 |        0
1336.07/1336.31	c 1336s |      24 |  4057485 |  3973062 |     2507   3908 |        0 |        0
1338.07/1338.34	c 1338s |      24 |  4063171 |  3978562 |     2507   3913 |        0 |        0
1340.07/1340.36	c 1340s |      24 |  4068778 |  3984062 |     2507   3917 |        0 |        0
1342.07/1342.37	c 1342s |      24 |  4074121 |  3989262 |     2507   3921 |        0 |        0
1344.07/1344.38	c 1344s |      24 |  4079924 |  3994962 |     2507   3925 |        0 |        0
1346.06/1346.38	c 1346s |      24 |  4085588 |  4000562 |     2507   3929 |        0 |        0
1348.06/1348.39	c 1348s |      24 |  4091163 |  4006062 |     2507   3934 |        0 |        0
1350.16/1350.41	c 1350s |      24 |  4096965 |  4011762 |     2507   3938 |        0 |        0
1352.16/1352.43	c 1352s |      24 |  4102557 |  4017262 |     2507   3942 |        0 |        0
1354.16/1354.44	c 1354s |      24 |  4108093 |  4022662 |     2507   3946 |        0 |        0
1356.17/1356.46	c 1356s |      24 |  4113841 |  4028262 |     2507   3950 |        0 |        0
1358.16/1358.46	c 1358s |      24 |  4119442 |  4033762 |     2507   3955 |        0 |        0
1360.16/1360.48	c 1360s |      24 |  4125021 |  4039262 |     2507   3959 |        0 |        0
1362.17/1362.49	c 1362s |      24 |  4130464 |  4044562 |     2507   3963 |        0 |        0
1364.27/1364.51	c 1364s |      24 |  4136015 |  4049962 |     2507   3967 |        0 |        0
1366.26/1366.54	c 1366s |      24 |  4142757 |  4056562 |     2507   3972 |        0 |        0
1368.27/1368.54	c 1368s |      24 |  4149052 |  4062762 |     2507   3977 |        0 |        0
1370.26/1370.56	c 1370s |      24 |  4155619 |  4069162 |     2507   3982 |        0 |        0
1372.26/1372.58	c 1372s |      24 |  4161904 |  4075362 |     2507   3986 |        0 |        0
1374.26/1374.58	c 1374s |      24 |  4168005 |  4081362 |     2507   3991 |        0 |        0
1376.36/1376.61	c 1376s |      24 |  4174104 |  4087362 |     2507   3995 |        0 |        0
1378.36/1378.61	c 1378s |      24 |  4180319 |  4093462 |     2507   4000 |        0 |        0
1380.37/1380.63	c 1380s |      24 |  4186219 |  4099262 |     2507   4005 |        0 |        0
1382.36/1382.65	c 1382s |      24 |  4192460 |  4105362 |     2507   4009 |        0 |        0
1384.36/1384.66	c 1384s |      24 |  4198590 |  4111362 |     2507   4014 |        0 |        0
1386.35/1386.68	c 1386s |      24 |  4204600 |  4117262 |     2507   4018 |        0 |        0
1388.45/1388.70	c 1388s |      24 |  4210538 |  4123062 |     2507   4023 |        0 |        0
1390.45/1390.70	c 1390s |      24 |  4216476 |  4128862 |     2507   4027 |        0 |        0
1392.46/1392.73	c 1392s |      24 |  4222402 |  4134662 |     2507   4032 |        0 |        0
1394.45/1394.75	c 1394s |      24 |  4228692 |  4140662 |     2507   4036 |        0 |        0
1396.45/1396.76	c 1396s |      24 |  4234692 |  4146462 |     2507   4041 |        0 |        0
1398.45/1398.78	c 1398s |      24 |  4240546 |  4152162 |     2507   4045 |        0 |        0
1400.45/1400.79	c 1400s |      24 |  4246458 |  4157962 |     2507   4049 |        0 |        0
1402.55/1402.86	c 1402s |      24 |  4252161 |  4163562 |     2507   4054 |        0 |        0
1404.55/1404.89	c 1404s |      24 |  4258390 |  4169662 |     2507   4058 |        0 |        0
1406.64/1406.92	c 1406s |      24 |  4264298 |  4175462 |     2507   4063 |        0 |        0
1408.64/1408.96	c 1408s |      24 |  4270301 |  4181262 |     2507   4067 |        0 |        0
1410.64/1410.96	c 1410s |      24 |  4276002 |  4186862 |     2507   4071 |        0 |        0
1412.64/1412.99	c 1412s |      24 |  4281752 |  4192462 |     2507   4076 |        0 |        0
1414.64/1415.00	c 1414s |      24 |  4287598 |  4198162 |     2507   4080 |        0 |        0
1416.73/1417.01	c 1416s |      24 |  4293700 |  4204162 |     2507   4084 |        0 |        0
1418.74/1419.03	c 1419s |      24 |  4299843 |  4210162 |     2507   4089 |        0 |        0
1420.73/1421.06	c 1421s |      24 |  4305710 |  4215862 |     2507   4093 |        0 |        0
1422.73/1423.08	c 1423s |      24 |  4311625 |  4221662 |     2507   4098 |        0 |        0
1424.83/1425.10	c 1425s |      24 |  4317380 |  4227262 |     2507   4102 |        0 |        0
1426.83/1427.14	c 1427s |      24 |  4323409 |  4233162 |     2507   4107 |        0 |        0
1428.83/1429.16	c 1429s |      24 |  4329595 |  4239162 |     2507   4111 |        0 |        0
1430.83/1431.16	c 1431s |      24 |  4335591 |  4244962 |     2507   4116 |        0 |        0
1432.93/1433.20	c 1433s |      24 |  4341375 |  4250662 |     2507   4120 |        0 |        0
1434.93/1435.21	c 1435s |      24 |  4346980 |  4256162 |     2507   4124 |        0 |        0
1436.92/1437.24	c 1437s |      24 |  4352907 |  4261962 |     2507   4129 |        0 |        0
1438.92/1439.27	c 1439s |      24 |  4359149 |  4268062 |     2507   4133 |        0 |        0
1440.92/1441.30	c 1441s |      24 |  4365231 |  4274062 |     2507   4138 |        0 |        0
1442.93/1443.30	c 1443s |      24 |  4371207 |  4279862 |     2507   4142 |        0 |        0
1445.02/1445.31	c 1445s |      24 |  4377215 |  4285762 |     2507   4147 |        0 |        0
1447.02/1447.34	c 1447s |      24 |  4383151 |  4291562 |     2507   4151 |        0 |        0
1449.02/1449.35	c 1449s |      24 |  4389060 |  4297362 |     2507   4156 |        0 |        0
1451.02/1451.36	c 1451s |      24 |  4394888 |  4303062 |     2507   4160 |        0 |        0
1453.01/1453.36	c 1453s |      24 |  4400709 |  4308762 |     2507   4164 |        0 |        0
1455.02/1455.36	c 1455s |      24 |  4406676 |  4314562 |     2507   4169 |        0 |        0
1457.01/1457.39	c 1457s |      24 |  4412724 |  4320462 |     2507   4173 |        0 |        0
1459.01/1459.39	c 1459s |      24 |  4418427 |  4326062 |     2507   4177 |        0 |        0
1461.11/1461.40	c 1461s |      24 |  4424345 |  4331862 |     2507   4182 |        0 |        0
1463.11/1463.42	c 1463s |      24 |  4430052 |  4337462 |     2507   4186 |        0 |        0
1465.11/1465.44	c 1465s |      24 |  4435840 |  4343162 |     2507   4190 |        0 |        0
1467.11/1467.47	c 1467s |      24 |  4441670 |  4348862 |     2507   4195 |        0 |        0
1469.21/1469.50	c 1469s |      24 |  4447357 |  4354462 |     2507   4199 |        0 |        0
1471.21/1471.52	c 1471s |      24 |  4452924 |  4359962 |     2507   4203 |        0 |        0
1473.21/1473.54	c 1473s |      24 |  4458782 |  4365662 |     2507   4208 |        0 |        0
1475.20/1475.55	c 1475s |      24 |  4464935 |  4371662 |     2507   4212 |        0 |        0
1477.20/1477.55	c 1477s |      24 |  4470769 |  4377362 |     2507   4217 |        0 |        0
1479.21/1479.58	c 1479s |      24 |  4476810 |  4383262 |     2507   4221 |        0 |        0
1481.30/1481.61	c 1481s |      24 |  4482786 |  4389162 |     2507   4225 |        0 |        0
1483.30/1483.64	c 1483s |      24 |  4488723 |  4394962 |     2507   4230 |        0 |        0
1485.30/1485.67	c 1485s |      24 |  4494681 |  4400762 |     2507   4234 |        0 |        0
1487.29/1487.68	c 1487s |      24 |  4500530 |  4406462 |     2507   4239 |        0 |        0
1489.39/1489.71	c 1489s |      24 |  4506374 |  4412162 |     2507   4243 |        0 |        0
1491.40/1491.74	c 1491s |      24 |  4512284 |  4417962 |     2507   4247 |        0 |        0
1493.39/1493.75	c 1493s |      24 |  4517996 |  4423562 |     2507   4252 |        0 |        0
1495.39/1495.75	c 1495s |      24 |  4523602 |  4429062 |     2507   4256 |        0 |        0
1497.39/1497.76	c 1497s |      24 |  4529029 |  4434362 |     2507   4260 |        0 |        0
1499.40/1499.76	c 1499s |      24 |  4535175 |  4440162 |     2507   4264 |        0 |        0
1501.40/1501.76	c 1501s |      24 |  4541178 |  4445862 |     2507   4269 |        0 |        0
1503.41/1503.80	c 1503s |      24 |  4547121 |  4451462 |     2507   4273 |        0 |        0
1505.50/1505.81	c 1505s |      24 |  4552540 |  4456762 |     2507   4277 |        0 |        0
1507.49/1507.83	c 1507s |      24 |  4558222 |  4462262 |     2507   4281 |        0 |        0
1509.49/1509.86	c 1509s |      24 |  4563858 |  4467562 |     2507   4285 |        0 |        0
1511.49/1511.86	c 1511s |      24 |  4569324 |  4472862 |     2507   4289 |        0 |        0
1513.49/1513.89	c 1513s |      24 |  4574876 |  4478262 |     2507   4293 |        0 |        0
1515.60/1515.92	c 1515s |      24 |  4580994 |  4484262 |     2507   4298 |        0 |        0
1517.59/1517.94	c 1517s |      24 |  4587070 |  4490262 |     2507   4303 |        0 |        0
1519.59/1519.96	c 1519s |      24 |  4593169 |  4496262 |     2507   4307 |        0 |        0
1521.59/1521.96	c 1521s |      24 |  4599046 |  4501962 |     2507   4312 |        0 |        0
1523.59/1523.99	c 1523s |      24 |  4604912 |  4507662 |     2507   4316 |        0 |        0
1525.68/1526.00	c 1525s |      24 |  4610748 |  4513262 |     2507   4320 |        0 |        0
1527.69/1528.01	c 1527s |      24 |  4616889 |  4519262 |     2507   4325 |        0 |        0
1529.68/1530.02	c 1530s |      24 |  4622769 |  4525062 |     2507   4329 |        0 |        0
1531.68/1532.04	c 1532s |      24 |  4628570 |  4530762 |     2507   4334 |        0 |        0
1533.68/1534.06	c 1534s |      24 |  4634584 |  4536662 |     2507   4338 |        0 |        0
1535.68/1536.08	c 1536s |      24 |  4640280 |  4542162 |     2507   4342 |        0 |        0
1537.68/1538.08	c 1538s |      24 |  4645969 |  4547762 |     2507   4346 |        0 |        0
1539.68/1540.09	c 1540s |      24 |  4651943 |  4553562 |     2507   4351 |        0 |        0
1541.68/1542.09	c 1542s |      24 |  4657736 |  4559262 |     2507   4355 |        0 |        0
1543.77/1544.12	c 1544s |      24 |  4663662 |  4565062 |     2507   4360 |        0 |        0
1545.77/1546.12	c 1546s |      24 |  4669471 |  4570762 |     2507   4364 |        0 |        0
1547.77/1548.14	c 1548s |      24 |  4675321 |  4576462 |     2507   4368 |        0 |        0
1549.77/1550.15	c 1550s |      24 |  4681469 |  4582462 |     2507   4373 |        0 |        0
1551.78/1552.16	c 1552s |      24 |  4687516 |  4588362 |     2507   4377 |        0 |        0
1553.77/1554.17	c 1554s |      24 |  4693361 |  4594062 |     2507   4382 |        0 |        0
1555.77/1556.18	c 1556s |      24 |  4699176 |  4599762 |     2507   4386 |        0 |        0
1557.87/1558.21	c 1558s |      24 |  4705044 |  4605462 |     2507   4390 |        0 |        0
1559.87/1560.22	c 1560s |      24 |  4710823 |  4611162 |     2507   4395 |        0 |        0
1561.87/1562.23	c 1562s |      24 |  4716532 |  4616662 |     2507   4399 |        0 |        0
1563.87/1564.26	c 1564s |      24 |  4722544 |  4622562 |     2507   4404 |        0 |        0
1565.87/1566.29	c 1566s |      24 |  4728474 |  4628262 |     2507   4408 |        0 |        0
1567.96/1568.30	c 1568s |      24 |  4734085 |  4633762 |     2507   4412 |        0 |        0
1569.96/1570.32	c 1570s |      24 |  4739798 |  4639362 |     2507   4416 |        0 |        0
1571.96/1572.34	c 1572s |      24 |  4745375 |  4644762 |     2507   4420 |        0 |        0
1573.96/1574.35	c 1574s |      24 |  4752741 |  4651762 |     2507   4426 |        0 |        0
1575.97/1576.36	c 1576s |      24 |  4759858 |  4658662 |     2507   4431 |        0 |        0
1577.97/1578.38	c 1578s |      24 |  4766743 |  4665362 |     2507   4436 |        0 |        0
1579.97/1580.39	c 1580s |      24 |  4773263 |  4671662 |     2507   4441 |        0 |        0
1582.07/1582.42	c 1582s |      24 |  4779806 |  4677962 |     2507   4446 |        0 |        0
1584.07/1584.44	c 1584s |      24 |  4786272 |  4684262 |     2507   4451 |        0 |        0
1586.06/1586.47	c 1586s |      24 |  4792778 |  4690562 |     2507   4455 |        0 |        0
1588.07/1588.49	c 1588s |      24 |  4799187 |  4696762 |     2507   4460 |        0 |        0
1590.16/1590.52	c 1590s |      24 |  4805610 |  4702862 |     2507   4465 |        0 |        0
1592.16/1592.54	c 1592s |      24 |  4812140 |  4708962 |     2507   4469 |        0 |        0
1594.16/1594.56	c 1594s |      24 |  4818330 |  4714962 |     2507   4474 |        0 |        0
1596.16/1596.56	c 1596s |      24 |  4824806 |  4721262 |     2507   4479 |        0 |        0
1598.16/1598.58	c 1598s |      24 |  4831139 |  4727462 |     2507   4483 |        0 |        0
1600.16/1600.59	c 1600s |      24 |  4837431 |  4733462 |     2507   4488 |        0 |        0
1602.26/1602.61	c 1602s |      24 |  4844030 |  4739762 |     2507   4493 |        0 |        0
1604.26/1604.62	c 1604s |      24 |  4850259 |  4745762 |     2507   4497 |        0 |        0
1606.25/1606.64	c 1606s |      24 |  4856254 |  4751562 |     2507   4502 |        0 |        0
1608.25/1608.68	c 1608s |      24 |  4862800 |  4757862 |     2507   4507 |        0 |        0
1610.25/1610.68	c 1610s |      24 |  4868983 |  4763862 |     2507   4511 |        0 |        0
1612.36/1612.72	c 1612s |      24 |  4875311 |  4769962 |     2507   4516 |        0 |        0
1614.35/1614.73	c 1614s |      24 |  4881402 |  4775862 |     2507   4520 |        0 |        0
1616.35/1616.78	c 1616s |      24 |  4887408 |  4781462 |     2507   4525 |        0 |        0
1618.45/1618.81	c 1618s |      24 |  4893464 |  4787262 |     2507   4529 |        0 |        0
1620.44/1620.83	c 1620s |      24 |  4899607 |  4793262 |     2507   4533 |        0 |        0
1622.44/1622.84	c 1622s |      24 |  4906087 |  4799462 |     2507   4538 |        0 |        0
1624.45/1624.85	c 1624s |      24 |  4912157 |  4805362 |     2507   4543 |        0 |        0
1626.44/1626.86	c 1626s |      24 |  4918334 |  4811362 |     2507   4547 |        0 |        0
1628.44/1628.89	c 1628s |      24 |  4924474 |  4817262 |     2507   4552 |        0 |        0
1630.44/1630.89	c 1630s |      24 |  4930476 |  4823062 |     2507   4556 |        0 |        0
1632.54/1632.91	c 1632s |      24 |  4936454 |  4828862 |     2507   4561 |        0 |        0
1634.54/1634.91	c 1634s |      24 |  4942478 |  4834762 |     2507   4565 |        0 |        0
1636.54/1636.93	c 1636s |      24 |  4948558 |  4840662 |     2507   4570 |        0 |        0
1638.53/1638.94	c 1638s |      24 |  4955164 |  4847062 |     2507   4574 |        0 |        0
1640.53/1640.94	c 1640s |      24 |  4961570 |  4853262 |     2507   4579 |        0 |        0
1642.54/1642.96	c 1642s |      24 |  4967828 |  4859362 |     2507   4584 |        0 |        0
1644.54/1644.99	c 1644s |      24 |  4974086 |  4865462 |     2507   4588 |        0 |        0
1646.54/1647.00	c 1646s |      24 |  4980182 |  4871362 |     2507   4593 |        0 |        0
1648.64/1649.02	c 1649s |      24 |  4986247 |  4877262 |     2507   4597 |        0 |        0
1650.64/1651.03	c 1651s |      24 |  4992527 |  4883262 |     2507   4602 |        0 |        0
1652.64/1653.03	c 1653s |      24 |  4998649 |  4889162 |     2507   4607 |        0 |        0
1654.64/1655.07	c 1655s |      24 |  5004965 |  4895262 |     2507   4611 |        0 |        0
1656.63/1657.09	c 1657s |      24 |  5011013 |  4901162 |     2507   4616 |        0 |        0
1658.73/1659.10	c 1659s |      24 |  5017043 |  4907062 |     2507   4620 |        0 |        0
1660.74/1661.11	c 1661s |      24 |  5022952 |  4912762 |     2507   4625 |        0 |        0
1662.73/1663.12	c 1663s |      24 |  5028991 |  4918662 |     2507   4629 |        0 |        0
1664.73/1665.14	c 1665s |      24 |  5035918 |  4925362 |     2507   4634 |        0 |        0
1666.72/1667.16	c 1667s |      24 |  5042461 |  4931762 |     2507   4639 |        0 |        0
1668.72/1669.18	c 1669s |      24 |  5048894 |  4938062 |     2507   4644 |        0 |        0
1670.72/1671.19	c 1671s |      24 |  5055213 |  4944262 |     2507   4649 |        0 |        0
1672.73/1673.20	c 1673s |      24 |  5061331 |  4950262 |     2507   4653 |        0 |        0
1674.82/1675.22	c 1675s |      24 |  5067500 |  4956162 |     2507   4658 |        0 |        0
1676.82/1677.24	c 1677s |      24 |  5073699 |  4962062 |     2507   4662 |        0 |        0
1678.82/1679.26	c 1679s |      24 |  5079976 |  4968162 |     2507   4667 |        0 |        0
1680.82/1681.29	c 1681s |      24 |  5086008 |  4974062 |     2507   4671 |        0 |        0
1682.92/1683.31	c 1683s |      24 |  5092136 |  4980062 |     2507   4676 |        0 |        0
1684.92/1685.31	c 1685s |      24 |  5098106 |  4985862 |     2507   4680 |        0 |        0
1686.91/1687.34	c 1687s |      24 |  5104249 |  4991862 |     2507   4685 |        0 |        0
1688.91/1689.34	c 1689s |      24 |  5110281 |  4997762 |     2507   4689 |        0 |        0
1690.91/1691.37	c 1691s |      24 |  5116515 |  5003762 |     2507   4694 |        0 |        0
1692.91/1693.38	c 1693s |      24 |  5122405 |  5009562 |     2507   4698 |        0 |        0
1694.91/1695.38	c 1695s |      24 |  5128394 |  5015262 |     2507   4703 |        0 |        0
1697.02/1697.41	c 1697s |      24 |  5134422 |  5021062 |     2507   4707 |        0 |        0
1699.01/1699.45	c 1699s |      24 |  5140858 |  5027162 |     2507   4712 |        0 |        0
1701.01/1701.48	c 1701s |      24 |  5147102 |  5033162 |     2758   4716 |        0 |        0
1703.01/1703.48	c 1703s |      24 |  5152988 |  5038862 |     2758   4720 |        0 |        0
1705.11/1705.50	c 1705s |      24 |  5158806 |  5044562 |     2758   4724 |        0 |        0
1707.10/1707.51	c 1707s |      24 |  5164547 |  5050162 |     2758   4728 |        0 |        0
1709.11/1709.52	c 1709s |      24 |  5170199 |  5055662 |     2758   4732 |        0 |        0
1711.10/1711.54	c 1711s |      24 |  5175937 |  5061262 |     2758   4735 |        0 |        0
1712.31/1712.78	c 1712s |      25 |  5179855 |  5065098 |     2758   4738 |        0 |        0
1714.41/1714.80	c 1714s |      25 |  5186706 |  5071698 |     2758   4743 |        0 |        0
1716.41/1716.80	c 1716s |      25 |  5193266 |  5078098 |     2758   4747 |        0 |        0
1718.41/1718.84	c 1718s |      25 |  5199764 |  5084498 |     2758   4752 |        0 |        0
1720.41/1720.85	c 1720s |      25 |  5206345 |  5090998 |     2758   4756 |        0 |        0
1722.41/1722.87	c 1722s |      25 |  5212788 |  5097298 |     2758   4760 |        0 |        0
1724.41/1724.89	c 1724s |      25 |  5219005 |  5103398 |     2758   4765 |        0 |        0
1726.50/1726.90	c 1726s |      25 |  5225368 |  5109698 |     2758   4769 |        0 |        0
1728.50/1728.92	c 1728s |      25 |  5231643 |  5115798 |     2758   4773 |        0 |        0
1730.50/1730.93	c 1730s |      25 |  5238092 |  5122098 |     2758   4778 |        0 |        0
1732.50/1732.95	c 1732s |      25 |  5244390 |  5128298 |     2758   4782 |        0 |        0
1734.50/1734.95	c 1734s |      25 |  5250642 |  5134398 |     2758   4786 |        0 |        0
1736.51/1736.96	c 1736s |      25 |  5257098 |  5140698 |     2758   4791 |        0 |        0
1738.50/1738.98	c 1738s |      25 |  5263531 |  5146998 |     2758   4795 |        0 |        0
1740.60/1741.00	c 1740s |      25 |  5269758 |  5153098 |     2758   4799 |        0 |        0
1742.60/1743.03	c 1743s |      25 |  5275932 |  5159098 |     2758   4803 |        0 |        0
1744.59/1745.05	c 1745s |      25 |  5282242 |  5165198 |     2758   4808 |        0 |        0
1746.59/1747.06	c 1747s |      25 |  5288534 |  5171298 |     2758   4812 |        0 |        0
1748.60/1749.06	c 1749s |      25 |  5294534 |  5177198 |     2758   4816 |        0 |        0
1750.59/1751.09	c 1751s |      25 |  5301414 |  5183898 |     2758   4821 |        0 |        0
1752.59/1753.10	c 1753s |      25 |  5308021 |  5190398 |     2758   4825 |        0 |        0
1754.69/1755.14	c 1755s |      25 |  5314532 |  5196798 |     2758   4830 |        0 |        0
1756.69/1757.16	c 1757s |      25 |  5320987 |  5203098 |     2758   4834 |        0 |        0
1758.69/1759.18	c 1759s |      25 |  5327308 |  5209298 |     2758   4838 |        0 |        0
1760.70/1761.20	c 1761s |      25 |  5333657 |  5215498 |     2758   4843 |        0 |        0
1762.79/1763.21	c 1763s |      25 |  5339966 |  5221698 |     2758   4847 |        0 |        0
1764.79/1765.21	c 1765s |      25 |  5345964 |  5227598 |     2758   4851 |        0 |        0
1766.79/1767.25	c 1767s |      25 |  5352208 |  5233698 |     2758   4855 |        0 |        0
1768.79/1769.29	c 1769s |      25 |  5358683 |  5239998 |     2758   4860 |        0 |        0
1770.89/1771.30	c 1771s |      25 |  5364853 |  5245998 |     2758   4864 |        0 |        0
1772.89/1773.32	c 1773s |      25 |  5371046 |  5251998 |     2758   4868 |        0 |        0
1774.89/1775.35	c 1775s |      25 |  5377022 |  5257798 |     2758   4872 |        0 |        0
1776.88/1777.36	c 1777s |      25 |  5383212 |  5263898 |     2758   4876 |        0 |        0
1778.88/1779.38	c 1779s |      25 |  5389305 |  5269898 |     2758   4880 |        0 |        0
1780.88/1781.39	c 1781s |      25 |  5395403 |  5275898 |     2758   4884 |        0 |        0
1782.98/1783.41	c 1783s |      25 |  5401222 |  5281598 |     2758   4888 |        0 |        0
1784.99/1785.41	c 1785s |      25 |  5407974 |  5288198 |     2758   4893 |        0 |        0
1786.97/1787.44	c 1787s |      25 |  5414655 |  5294698 |     2758   4898 |        0 |        0
1788.97/1789.44	c 1789s |      25 |  5421070 |  5300998 |     2758   4902 |        0 |        0
1790.97/1791.46	c 1791s |      25 |  5427402 |  5307198 |     2758   4906 |        0 |        0
1792.97/1793.49	c 1793s |      25 |  5433571 |  5313098 |     2758   4910 |        0 |        0
1795.07/1795.50	c 1795s |      25 |  5439841 |  5319198 |     2758   4915 |        0 |        0
1797.07/1797.52	c 1797s |      25 |  5446300 |  5325398 |     2758   4919 |        0 |        0
1799.07/1799.55	c 1799s |      25 |  5452733 |  5331698 |     2758   4923 |        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-4089652-1466030913/watcher-4089652-1466030913 -o /tmp/evaluation-result-4089652-1466030913/solver-4089652-1466030913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089652-1466030913.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.22 2/181 11351
/proc/meminfo: memFree=29307192/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 5137744 734457856 3033 33554432000 4194304 16246674 140736565615792 140736565615216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 179823 3043 441 2943 0 176717 0
[pid=11351/tid=11352] ppid=11348 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 752283648 3104 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 756477952 3120 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5137745 761720832 3139 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.22 2.21 2.22 2/181 11351
/proc/meminfo: memFree=29307192/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 30068 0 0 0 5 4 0 0 20 0 4 0 5137744 1247350784 30418 33554432000 4194304 16246674 140736565615792 140736565615216 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 304529 30433 704 2943 0 301423 0
[pid=11351/tid=11352] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 30442 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 30452 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 30462 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.22 2.21 2.22 2/181 11351
/proc/meminfo: memFree=29307192/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 59459 0 0 0 12 6 0 0 20 0 4 0 5137744 1247350784 59809 33554432000 4194304 16246674 140736565615792 140736565615216 5721708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 304529 59826 711 2943 0 301423 0
[pid=11351/tid=11352] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 59835 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 59845 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 59854 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.22 2.21 2.22 2/181 11351
/proc/meminfo: memFree=29307192/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 89769 0 0 0 18 10 0 0 20 0 4 0 5137744 1247350784 90118 33554432000 4194304 16246674 140736565615792 140736565597696 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 304529 90135 711 2943 0 301423 0
[pid=11351/tid=11352] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 90145 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 90156 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 90167 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700367 s]
/proc/loadavg: 2.22 2.21 2.22 2/181 11351
/proc/meminfo: memFree=29307192/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 208809 0 0 0 43 26 0 0 20 0 4 0 5137744 1247350784 209158 33554432000 4194304 16246674 140736565615792 140736565597696 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 304529 209178 711 2943 0 301423 0
[pid=11351/tid=11352] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 209190 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 209200 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5137745 1247350784 209210 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.22 2.21 2.22 3/185 11355
/proc/meminfo: memFree=28324140/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1304132 CPUtime=1.48 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 266807 0 0 0 115 33 0 0 20 0 4 0 5137744 1335431168 267136 33554432000 4194304 16246674 140736565615792 140736565598792 5822240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 326033 267136 789 2943 0 322927 0
[pid=11351/tid=11352] ppid=11348 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1335431168 267136 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1335431168 267136 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1335431168 267136 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1304132

[startup+3.10043 s]
/proc/loadavg: 2.22 2.21 2.22 3/185 11355
/proc/meminfo: memFree=28237092/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 267571 0 0 0 275 34 0 0 20 0 4 0 5137744 1337528320 267900 33554432000 4194304 16246674 140736565615792 140736565597696 5546111 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 326545 267900 789 2943 0 323439 0
[pid=11351/tid=11352] ppid=11348 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1337528320 267900 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1337528320 267900 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1337528320 267900 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.20 2.21 2.22 3/185 11355
/proc/meminfo: memFree=28235436/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 267827 0 0 0 595 34 0 0 20 0 4 0 5137744 1338576896 268156 33554432000 4194304 16246674 140736565615792 140736565598792 6010104 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 326801 268156 789 2943 0 323695 0
[pid=11351/tid=11352] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.22 3/185 11355
/proc/meminfo: memFree=28235476/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 267827 0 0 0 1235 34 0 0 20 0 4 0 5137744 1338576896 268156 33554432000 4194304 16246674 140736565615792 140736565597696 5546190 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 326801 268156 789 2943 0 323695 0
[pid=11351/tid=11352] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1338576896 268156 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.14 2.19 2.21 4/185 11355
/proc/meminfo: memFree=28235344/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 268085 0 0 0 2515 34 0 0 20 0 4 0 5137744 1339625472 268414 33554432000 4194304 16246674 140736565615792 140736565597696 5721725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 327057 268414 791 2943 0 323951 0
[pid=11351/tid=11352] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.15 2.19 2.21 3/185 11355
/proc/meminfo: memFree=28235228/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 268085 0 0 0 5074 34 0 0 20 0 4 0 5137744 1339625472 268414 33554432000 4194304 16246674 140736565615792 140736565598792 6842434 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 327057 268414 791 2943 0 323951 0
[pid=11351/tid=11352] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1339625472 268414 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.17 2.19 2.20 3/186 11359
/proc/meminfo: memFree=28233292/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 268341 0 0 0 10193 35 0 0 20 0 4 0 5137744 1340674048 268670 33554432000 4194304 16246674 140736565615792 140736565597696 13965618 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 327313 268670 791 2943 0 324207 0
[pid=11351/tid=11352] ppid=11348 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1340674048 268670 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1340674048 268670 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1340674048 268670 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1346965504 270211 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/185 11413
/proc/meminfo: memFree=28215668/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1315396 CPUtime=1362.07 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 269926 0 0 0 136159 48 0 0 20 0 4 0 5137744 1346965504 270211 33554432000 4194304 16246674 140736565615792 140736565597696 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 328849 270211 793 2943 0 325743 0
[pid=11351/tid=11352] ppid=11348 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1346965504 270211 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1346965504 270211 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1346965504 270211 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/185 11414
/proc/meminfo: memFree=28214428/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1316420 CPUtime=1422.04 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270215 0 0 0 142156 48 0 0 20 0 4 0 5137744 1348014080 270467 33554432000 4194304 16246674 140736565615792 140736565597696 5828224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329105 270467 793 2943 0 325999 0
[pid=11351/tid=11352] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/185 11416
/proc/meminfo: memFree=28214316/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1316420 CPUtime=1482 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270254 0 0 0 148152 48 0 0 20 0 4 0 5137744 1348014080 270467 33554432000 4194304 16246674 140736565615792 140736565597696 5661884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329105 270467 793 2943 0 325999 0
[pid=11351/tid=11352] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1348014080 270467 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.19 2.20 2.18 2/180 11417
/proc/meminfo: memFree=29291128/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1541.98 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270549 0 0 0 154149 49 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 6021324 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/185 11466
/proc/meminfo: memFree=28222160/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1601.96 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270578 0 0 0 160146 50 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/185 11467
/proc/meminfo: memFree=28221048/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1661.93 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270614 0 0 0 166142 51 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 5722531 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/185 11468
/proc/meminfo: memFree=28220940/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1721.91 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270649 0 0 0 172139 52 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 5669534 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/185 11470
/proc/meminfo: memFree=28220228/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1781.88 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270688 0 0 0 178135 53 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.21 2.18 4/185 11471
/proc/meminfo: memFree=28220620/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1800.07 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270697 0 0 0 179954 53 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.21 2.18 4/185 11471
/proc/meminfo: memFree=28220620/32872528 swapFree=1481856/1661728
[pid=11351] ppid=11348 vsize=1317444 CPUtime=1800.07 cores=1,3,5,7
/proc/11351/stat : 11351 (toysat) R 11348 11351 6232 0 -1 4202496 270697 0 0 0 179954 53 0 0 20 0 4 0 5137744 1349062656 270723 33554432000 4194304 16246674 140736565615792 140736565597696 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11351/statm: 329361 270723 793 2943 0 326255 0
[pid=11351/tid=11352] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11352/stat : 11352 (toysat) S 11348 11351 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570106244336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11351/tid=11353] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (toysat) S 11348 11351 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570095754480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11351/tid=11354] ppid=11348 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (toysat) S 11348 11351 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5137745 1349062656 270723 33554432000 4194304 16246674 140736565615792 140570085280944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.55
CPU system time (s): 0.545917
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.545917
maximum resident set size= 1082892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270697
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= 318
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9271 second user time and 7.8668 second system time

The end

Begin job on node134 at 2016-06-16 00:48:33
IDJOB=4089652
IDBENCH=107437
IDSOLVER=2542
FILE ID=node134/4089652-1466030913
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 2ce5f39bf3136484c99a474420e04867
RANDOM SEED=1841469298

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29308100 kB
Buffers:           30752 kB
Cached:            81328 kB
SwapCached:        17352 kB
Active:          1140200 kB
Inactive:          61784 kB
Active(anon):    1074144 kB
Inactive(anon):    18004 kB
Active(file):      66056 kB
Inactive(file):    43780 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2734620 kB
Mapped:            10440 kB
Shmem:                 0 kB
Slab:             566908 kB
SReclaimable:      11120 kB
SUnreclaim:       555788 kB
KernelStack:        1536 kB
PageTables:         9256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 01:18:34