0.00/0.00	c 2016-06-16T01:52:09+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-4089883-1466034728.opb"]
0.00/0.01	c use --random-gen="1075258502 1314710268 2995054030 1078071636 1804449174 2724551079 2900155061 730723875 895012761 1024698654 334990131 564232144 3459446800 2550934702 2938685280 4230108970 171222080 2398347928 1346071247 1356983853 711273592 1868368721 3063829953 3667588888 1821386651 3262046932 3359099417 2681638946 2190310234 2179811230 2081374904 3023997435 3333509606 637602805 3510991805 3548186195 3118543525 1332840300 656358700 3682394135 2749302718 1827325253 340208285 3040973032 1885467833 3774647029 2564442776 2310350442 1536899941 1382578313 1285803331 588970982 2176464862 4242343982 1367308870 2400638441 1675437412 3565706131 1672193083 591032870 389124382 3339978394 1569466060 641734230 108651525 2301792368 3313642632 1251920733 2621356397 568387592 3133578811 3071306660 2957572011 4142706435 242035013 4237758517 1551152872 2824735840 780278390 1256495752 603074391 283495196 3121472284 2782063 1499405437 3620727560 1067744731 3803906463 437352388 160282357 515013616 3134211524 2262517277 726571896 1333877389 2663097195 924408501 925343517 2986524763 1730229415 1410217290 2553079723 2477302801 2688336577 3327934924 1514287195 1169119817 562961554 2073619565 1690891898 2072842836 1485248330 864235584 3029154330 1690673198 3861966211 1642456527 3615419281 2768969760 755933795 2249462577 3517354634 514306597 460219140 1536498440 3216798676 1290409432 3554209115 1840528142 2806184800 387171947 3368730033 726707314 3994843602 3879971622 1835239045 1288309473 840874279 4119572642 395953032 2788626580 1066920046 1796062710 377848845 747124670 1035735478 3128456597 748521393 3540718697 3973690267 2588510745 4009537103 3813435151 2646071160 2320185738 2748238012 1375187805 2530994469 3519335695 3461804805 2920893884 374512624 3944448262 3030185179 667226222 3726599070 321326024 1105951770 4197030017 3648993353 1495938958 151027563 3766743507 3998398820 4233494582 1676052654 2601820564 872906874 506561027 600387205 2419661822 2917032195 676881957 1317167732 780208268 2625780127 467725685 776455911 2364250807 3576268974 3838690313 3908592734 313724916 1687193056 1600958477 977510055 2750025982 3538240440 3972494387 3757925998 1682304013 52462438 318932643 2687895417 2430303189 3966742330 2206042176 3596616967 1162880397 2023980846 3367017751 1963461870 14177348 373103154 355886073 2701787566 1498878316 3640712800 129961619 3354413300 3758401900 4172212079 3427603963 2043376669 3362065621 4119403779 4071044080 3195584799 3256373635 670081653 152186733 1438631085 3332020737 146169397 3481729496 2585671378 3052288188 4285161140 3104125121 2590516524 2876114465 973806524 1844820818 2671046420 2486035039 1107887790 1460924762 1610409251 1623262372 2702306331 4264630280 292164894 132668651 633578419 730600629 1078126854 255 362436" option to reproduce the execution
0.00/0.01	c #vars 303
0.00/0.01	c #constraints 101
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      155 |      100 |      168      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      416 |      250 |      185      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |      741 |      475 |      204      1 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1278 |      813 |      225      3 |        0 |        0
0.28/0.35	c  0.3s |       5 |     1978 |     1320 |      248      5 |        0 |        0
0.49/0.56	c  0.5s |       6 |     3011 |     2081 |      301      8 |        0 |        0
0.79/0.89	c  0.9s |       7 |     4380 |     3223 |      332     12 |        0 |        0
1.20/1.22	c  1.2s |       8 |     6486 |     4936 |      366     19 |        0 |        0
1.69/1.74	c  1.7s |       9 |     9483 |     7506 |      403     27 |        0 |        0
2.49/2.55	c  2.5s |      10 |    13793 |    11361 |      444     39 |        0 |        0
3.59/3.66	c  3.6s |      11 |    20371 |    17144 |      489     56 |        0 |        0
5.50/5.51	c  5.5s |      12 |    30067 |    25819 |      538     81 |        0 |        0
7.49/7.52	c  7.5s |      12 |    40102 |    34719 |      538    104 |        0 |        0
8.49/8.50	c  8.5s |      13 |    44601 |    38832 |      592    115 |        0 |        0
10.49/10.52	c 10.5s |      13 |    54425 |    47732 |      592    137 |        0 |        0
12.49/12.53	c 12.5s |      13 |    63987 |    56432 |      592    158 |        0 |        0
12.99/13.01	c 13.0s |      14 |    66110 |    58352 |      652    163 |        0 |        0
14.99/15.03	c 15.0s |      14 |    76414 |    67752 |      652    185 |        0 |        0
16.99/17.04	c 17.0s |      14 |    86276 |    76652 |      652    205 |        0 |        0
18.99/19.05	c 19.0s |      14 |    95581 |    85152 |      652    225 |        0 |        0
19.59/19.60	c 19.6s |      15 |    98377 |    87632 |      718    230 |        0 |        0
21.58/21.62	c 21.6s |      15 |   108276 |    96732 |      718    250 |        0 |        0
23.58/23.64	c 23.6s |      15 |   117295 |   105232 |      718    268 |        0 |        0
25.58/25.65	c 25.6s |      15 |   126663 |   113632 |      718    286 |        0 |        0
27.59/27.65	c 27.6s |      15 |   135724 |   121932 |      718    304 |        0 |        0
29.58/29.65	c 29.6s |      15 |   144695 |   130232 |      718    322 |        0 |        0
29.88/29.98	c 30.0s |      16 |   146105 |   131552 |      790    325 |        0 |        0
31.89/32.00	c 32.0s |      16 |   155166 |   139752 |      790    341 |        0 |        0
33.98/34.02	c 34.0s |      16 |   163781 |   147652 |      790    356 |        0 |        0
35.98/36.05	c 36.0s |      16 |   172323 |   155352 |      790    372 |        0 |        0
37.98/38.05	c 38.0s |      16 |   180346 |   162752 |      790    386 |        0 |        0
39.98/40.09	c 40.1s |      16 |   188240 |   170152 |      790    401 |        0 |        0
42.08/42.10	c 42.1s |      16 |   196116 |   177552 |      790    415 |        0 |        0
44.09/44.13	c 44.1s |      16 |   204357 |   185152 |      790    430 |        0 |        0
46.08/46.16	c 46.1s |      16 |   212241 |   192452 |      790    445 |        0 |        0
47.48/47.58	c 47.6s |      17 |   217664 |   197432 |      870    454 |        0 |        0
49.49/49.60	c 49.6s |      17 |   227156 |   206132 |      870    470 |        0 |        0
51.58/51.63	c 51.6s |      17 |   236026 |   214332 |      870    485 |        0 |        0
53.58/53.64	c 53.6s |      17 |   245060 |   222632 |      870    500 |        0 |        0
55.58/55.65	c 55.6s |      17 |   253431 |   230432 |      870    515 |        0 |        0
57.58/57.66	c 57.6s |      17 |   261214 |   237732 |      870    528 |        0 |        0
59.58/59.66	c 59.6s |      17 |   269311 |   245332 |      870    542 |        0 |        0
61.58/61.66	c 61.6s |      17 |   277538 |   253032 |      870    556 |        0 |        0
63.57/63.67	c 63.7s |      17 |   285448 |   260432 |      870    570 |        0 |        0
65.57/65.67	c 65.7s |      17 |   293658 |   268032 |      870    584 |        0 |        0
67.57/67.69	c 67.7s |      17 |   302911 |   276532 |      870    600 |        0 |        0
69.67/69.72	c 69.7s |      17 |   311062 |   284132 |      870    614 |        0 |        0
71.67/71.72	c 71.7s |      17 |   318852 |   291232 |      870    627 |        0 |        0
72.97/73.00	c 73.0s |      18 |   324334 |   296252 |      958    635 |        0 |        0
74.97/75.02	c 75.0s |      18 |   332859 |   304052 |      958    649 |        0 |        0
76.98/77.05	c 77.0s |      18 |   341034 |   311652 |      958    661 |        0 |        0
78.97/79.07	c 79.1s |      18 |   348794 |   318852 |      958    674 |        0 |        0
80.97/81.09	c 81.1s |      18 |   356408 |   326052 |      958    686 |        0 |        0
82.97/83.10	c 83.1s |      18 |   364403 |   333452 |      958    698 |        0 |        0
85.07/85.12	c 85.1s |      18 |   371471 |   340052 |      958    709 |        0 |        0
87.07/87.13	c 87.1s |      18 |   378735 |   346852 |      958    721 |        0 |        0
89.08/89.16	c 89.1s |      18 |   387035 |   354552 |      958    734 |        0 |        0
91.07/91.17	c 91.2s |      18 |   395307 |   362352 |      958    747 |        0 |        0
93.07/93.19	c 93.2s |      18 |   403171 |   369652 |      958    759 |        0 |        0
95.07/95.19	c 95.2s |      18 |   411253 |   377252 |      958    772 |        0 |        0
97.17/97.21	c 97.2s |      18 |   418799 |   384352 |      958    784 |        0 |        0
99.17/99.22	c 99.2s |      18 |   426886 |   391952 |      958    797 |        0 |        0
101.17/101.24	c  101s |      18 |   435022 |   399552 |      958    810 |        0 |        0
103.17/103.25	c  103s |      18 |   442650 |   406752 |      958    822 |        0 |        0
105.17/105.28	c  105s |      18 |   450207 |   413752 |      958    834 |        0 |        0
107.17/107.28	c  107s |      18 |   458012 |   421052 |      958    846 |        0 |        0
109.17/109.29	c  109s |      18 |   465435 |   427952 |      958    858 |        0 |        0
111.27/111.32	c  111s |      18 |   472842 |   434852 |      958    869 |        0 |        0
113.28/113.32	c  113s |      18 |   479889 |   441452 |     1054    880 |        0 |        0
114.17/114.24	c  114s |      19 |   483154 |   444482 |     1054    885 |        0 |        0
116.17/116.25	c  116s |      19 |   492073 |   452482 |     1054    897 |        0 |        0
118.17/118.26	c  118s |      19 |   500064 |   459882 |     1054    909 |        0 |        0
120.17/120.29	c  120s |      19 |   508135 |   467282 |     1054    921 |        0 |        0
122.18/122.29	c  122s |      19 |   515918 |   474282 |     1054    932 |        0 |        0
124.28/124.31	c  124s |      19 |   523955 |   481582 |     1054    943 |        0 |        0
126.27/126.31	c  126s |      19 |   531685 |   488682 |     1054    954 |        0 |        0
128.27/128.32	c  128s |      19 |   539207 |   495582 |     1054    965 |        0 |        0
130.27/130.32	c  130s |      19 |   546909 |   502782 |     1054    976 |        0 |        0
132.27/132.34	c  132s |      19 |   554646 |   509982 |     1054    988 |        0 |        0
134.27/134.35	c  134s |      19 |   562902 |   517582 |     1054   1000 |        0 |        0
136.27/136.37	c  136s |      19 |   570571 |   524782 |     1054   1011 |        0 |        0
138.27/138.39	c  138s |      19 |   577961 |   531682 |     1054   1022 |        0 |        0
140.26/140.39	c  140s |      19 |   586453 |   539482 |     1054   1034 |        0 |        0
142.36/142.41	c  142s |      19 |   594520 |   546982 |     1054   1046 |        0 |        0
144.36/144.42	c  144s |      19 |   601777 |   553782 |     1054   1057 |        0 |        0
146.37/146.45	c  146s |      19 |   609293 |   560682 |     1054   1068 |        0 |        0
148.36/148.46	c  148s |      19 |   616531 |   567382 |     1054   1078 |        0 |        0
150.36/150.49	c  150s |      19 |   623678 |   574082 |     1054   1089 |        0 |        0
152.36/152.50	c  152s |      19 |   630292 |   580282 |     1054   1099 |        0 |        0
154.46/154.51	c  154s |      19 |   637646 |   587182 |     1054   1110 |        0 |        0
156.46/156.53	c  156s |      19 |   644538 |   593682 |     1054   1120 |        0 |        0
158.47/158.55	c  158s |      19 |   651660 |   600282 |     1054   1130 |        0 |        0
160.46/160.58	c  160s |      19 |   658213 |   606482 |     1054   1140 |        0 |        0
162.46/162.58	c  162s |      19 |   665106 |   612882 |     1054   1150 |        0 |        0
164.56/164.60	c  164s |      19 |   672709 |   619882 |     1054   1161 |        0 |        0
166.56/166.60	c  166s |      19 |   680080 |   626682 |     1054   1172 |        0 |        0
168.56/168.61	c  168s |      19 |   687550 |   633482 |     1054   1183 |        0 |        0
170.57/170.65	c  170s |      19 |   694807 |   640082 |     1054   1193 |        0 |        0
172.56/172.66	c  172s |      19 |   702103 |   646682 |     1054   1204 |        0 |        0
174.56/174.66	c  174s |      19 |   708959 |   652982 |     1054   1214 |        0 |        0
176.56/176.67	c  176s |      19 |   716327 |   659782 |     1054   1224 |        0 |        0
178.56/178.69	c  178s |      19 |   723482 |   666282 |     1160   1234 |        0 |        0
178.76/178.88	c  178s |      20 |   724064 |   666827 |     1160   1235 |        0 |        0
180.85/180.90	c  180s |      20 |   733111 |   675127 |     1160   1247 |        0 |        0
182.85/182.93	c  182s |      20 |   740760 |   682327 |     1160   1257 |        0 |        0
184.86/184.94	c  184s |      20 |   748549 |   689627 |     1160   1268 |        0 |        0
186.86/186.94	c  186s |      20 |   756880 |   697327 |     1160   1279 |        0 |        0
188.86/188.96	c  188s |      20 |   764549 |   704427 |     1160   1290 |        0 |        0
190.86/190.99	c  190s |      20 |   772715 |   711927 |     1160   1301 |        0 |        0
192.86/192.99	c  192s |      20 |   780722 |   719327 |     1160   1311 |        0 |        0
194.86/195.00	c  194s |      20 |   788101 |   726127 |     1160   1321 |        0 |        0
196.97/197.01	c  196s |      20 |   795490 |   732927 |     1160   1331 |        0 |        0
198.96/199.02	c  199s |      20 |   802412 |   739427 |     1160   1341 |        0 |        0
200.96/201.03	c  201s |      20 |   809837 |   746327 |     1160   1351 |        0 |        0
202.96/203.04	c  203s |      20 |   817294 |   753127 |     1160   1361 |        0 |        0
204.96/205.06	c  205s |      20 |   824466 |   759727 |     1160   1370 |        0 |        0
206.96/207.09	c  207s |      20 |   831944 |   766627 |     1160   1380 |        0 |        0
209.07/209.12	c  209s |      20 |   839410 |   773527 |     1160   1391 |        0 |        0
211.06/211.14	c  211s |      20 |   847414 |   780827 |     1160   1401 |        0 |        0
213.06/213.15	c  213s |      20 |   855302 |   787927 |     1160   1412 |        0 |        0
215.06/215.16	c  215s |      20 |   862980 |   794927 |     1160   1422 |        0 |        0
217.06/217.16	c  217s |      20 |   869450 |   800927 |     1160   1431 |        0 |        0
219.05/219.19	c  219s |      20 |   876479 |   807227 |     1160   1440 |        0 |        0
221.16/221.22	c  221s |      20 |   883617 |   813627 |     1160   1450 |        0 |        0
223.15/223.24	c  223s |      20 |   891452 |   820727 |     1160   1460 |        0 |        0
225.15/225.26	c  225s |      20 |   899094 |   827727 |     1160   1471 |        0 |        0
227.15/227.29	c  227s |      20 |   906434 |   834527 |     1160   1481 |        0 |        0
229.25/229.32	c  229s |      20 |   913937 |   841427 |     1160   1491 |        0 |        0
231.25/231.34	c  231s |      20 |   920925 |   847827 |     1160   1500 |        0 |        0
233.26/233.35	c  233s |      20 |   927940 |   854227 |     1160   1510 |        0 |        0
235.25/235.38	c  235s |      20 |   934722 |   860527 |     1160   1519 |        0 |        0
237.25/237.39	c  237s |      20 |   942028 |   867227 |     1160   1529 |        0 |        0
239.25/239.39	c  239s |      20 |   948642 |   873327 |     1160   1538 |        0 |        0
241.35/241.43	c  241s |      20 |   955293 |   879327 |     1160   1547 |        0 |        0
243.35/243.44	c  243s |      20 |   962017 |   885527 |     1160   1556 |        0 |        0
245.36/245.45	c  245s |      20 |   968303 |   891327 |     1160   1564 |        0 |        0
247.35/247.48	c  247s |      20 |   975279 |   897727 |     1160   1574 |        0 |        0
249.35/249.48	c  249s |      20 |   982389 |   904227 |     1160   1583 |        0 |        0
251.35/251.49	c  251s |      20 |   989186 |   910527 |     1160   1592 |        0 |        0
253.44/253.52	c  253s |      20 |   996484 |   917227 |     1160   1602 |        0 |        0
255.44/255.53	c  255s |      20 |  1003135 |   923427 |     1160   1611 |        0 |        0
257.45/257.55	c  257s |      20 |  1009512 |   929327 |     1160   1620 |        0 |        0
259.44/259.56	c  259s |      20 |  1016258 |   935527 |     1160   1629 |        0 |        0
261.44/261.58	c  261s |      20 |  1023258 |   941927 |     1160   1639 |        0 |        0
263.44/263.59	c  263s |      20 |  1029837 |   947927 |     1160   1647 |        0 |        0
265.54/265.61	c  265s |      20 |  1037089 |   954627 |     1160   1657 |        0 |        0
267.54/267.62	c  267s |      20 |  1044387 |   961327 |     1160   1667 |        0 |        0
269.55/269.65	c  269s |      20 |  1051016 |   967427 |     1160   1676 |        0 |        0
271.54/271.66	c  271s |      20 |  1059271 |   974827 |     1160   1687 |        0 |        0
273.54/273.68	c  273s |      20 |  1067099 |   982027 |     1160   1698 |        0 |        0
275.54/275.69	c  275s |      20 |  1075174 |   989227 |     1160   1708 |        0 |        0
277.65/277.72	c  277s |      20 |  1082719 |   996027 |     1276   1718 |        0 |        0
278.95/279.04	c  279s |      21 |  1087541 |  1000345 |     1276   1724 |        0 |        0
280.95/281.05	c  281s |      21 |  1095251 |  1007345 |     1276   1733 |        0 |        0
282.95/283.08	c  283s |      21 |  1101758 |  1013445 |     1276   1741 |        0 |        0
284.96/285.09	c  285s |      21 |  1108305 |  1019445 |     1276   1749 |        0 |        0
286.95/287.10	c  287s |      21 |  1115020 |  1025745 |     1276   1758 |        0 |        0
289.05/289.12	c  289s |      21 |  1122131 |  1032345 |     1276   1767 |        0 |        0
291.05/291.13	c  291s |      21 |  1129128 |  1038945 |     1276   1776 |        0 |        0
293.05/293.15	c  293s |      21 |  1135764 |  1045145 |     1276   1784 |        0 |        0
295.05/295.17	c  295s |      21 |  1142051 |  1051045 |     1276   1792 |        0 |        0
297.05/297.18	c  297s |      21 |  1148678 |  1057245 |     1276   1800 |        0 |        0
299.04/299.18	c  299s |      21 |  1155976 |  1063845 |     1276   1809 |        0 |        0
301.14/301.20	c  301s |      21 |  1162810 |  1070145 |     1276   1817 |        0 |        0
303.14/303.22	c  303s |      21 |  1169767 |  1076645 |     1276   1826 |        0 |        0
305.14/305.25	c  305s |      21 |  1175827 |  1082345 |     1276   1834 |        0 |        0
307.14/307.27	c  307s |      21 |  1182027 |  1088145 |     1276   1841 |        0 |        0
309.15/309.28	c  309s |      21 |  1187874 |  1093645 |     1276   1849 |        0 |        0
311.14/311.28	c  311s |      21 |  1193246 |  1098645 |     1276   1856 |        0 |        0
313.14/313.28	c  313s |      21 |  1199959 |  1104845 |     1276   1864 |        0 |        0
315.14/315.29	c  315s |      21 |  1207336 |  1111645 |     1276   1873 |        0 |        0
317.14/317.30	c  317s |      21 |  1214028 |  1117845 |     1276   1881 |        0 |        0
319.24/319.32	c  319s |      21 |  1220887 |  1124245 |     1276   1890 |        0 |        0
321.25/321.32	c  321s |      21 |  1227361 |  1130345 |     1276   1898 |        0 |        0
323.24/323.35	c  323s |      21 |  1233939 |  1136445 |     1276   1906 |        0 |        0
325.24/325.36	c  325s |      21 |  1240278 |  1142345 |     1276   1914 |        0 |        0
327.24/327.36	c  327s |      21 |  1246556 |  1148245 |     1276   1922 |        0 |        0
329.24/329.39	c  329s |      21 |  1253015 |  1154245 |     1276   1930 |        0 |        0
331.24/331.40	c  331s |      21 |  1260080 |  1160845 |     1276   1939 |        0 |        0
333.34/333.43	c  333s |      21 |  1266580 |  1166945 |     1276   1947 |        0 |        0
335.34/335.44	c  335s |      21 |  1272923 |  1172845 |     1276   1955 |        0 |        0
337.33/337.45	c  337s |      21 |  1279052 |  1178445 |     1276   1963 |        0 |        0
339.33/339.46	c  339s |      21 |  1285309 |  1184245 |     1276   1970 |        0 |        0
341.33/341.47	c  341s |      21 |  1292212 |  1190545 |     1276   1979 |        0 |        0
343.43/343.50	c  343s |      21 |  1298334 |  1196245 |     1276   1987 |        0 |        0
345.44/345.53	c  345s |      21 |  1304616 |  1202045 |     1276   1994 |        0 |        0
347.43/347.55	c  347s |      21 |  1311251 |  1208245 |     1276   2003 |        0 |        0
349.43/349.59	c  349s |      21 |  1317677 |  1214245 |     1276   2011 |        0 |        0
351.53/351.60	c  351s |      21 |  1324269 |  1220345 |     1276   2019 |        0 |        0
353.53/353.60	c  353s |      21 |  1330957 |  1226545 |     1276   2027 |        0 |        0
355.53/355.62	c  355s |      21 |  1337350 |  1232445 |     1276   2035 |        0 |        0
357.54/357.62	c  357s |      21 |  1343137 |  1237945 |     1276   2043 |        0 |        0
359.53/359.64	c  359s |      21 |  1349436 |  1243845 |     1276   2050 |        0 |        0
361.53/361.66	c  361s |      21 |  1356264 |  1250245 |     1276   2059 |        0 |        0
363.53/363.68	c  363s |      21 |  1363016 |  1256545 |     1276   2068 |        0 |        0
365.63/365.70	c  365s |      21 |  1369127 |  1262245 |     1276   2075 |        0 |        0
367.63/367.73	c  367s |      21 |  1375570 |  1268345 |     1276   2084 |        0 |        0
369.63/369.73	c  369s |      21 |  1381394 |  1273845 |     1276   2091 |        0 |        0
371.63/371.75	c  371s |      21 |  1387913 |  1279945 |     1276   2099 |        0 |        0
373.63/373.76	c  373s |      21 |  1394094 |  1285745 |     1276   2107 |        0 |        0
375.63/375.80	c  375s |      21 |  1400236 |  1291445 |     1276   2115 |        0 |        0
377.73/377.82	c  377s |      21 |  1405802 |  1296645 |     1276   2122 |        0 |        0
379.73/379.82	c  379s |      21 |  1412120 |  1302545 |     1276   2130 |        0 |        0
381.73/381.85	c  381s |      21 |  1418051 |  1308145 |     1276   2137 |        0 |        0
383.72/383.89	c  383s |      21 |  1423794 |  1313545 |     1276   2144 |        0 |        0
385.82/385.92	c  385s |      21 |  1429523 |  1318845 |     1276   2152 |        0 |        0
387.82/387.94	c  387s |      21 |  1435526 |  1324345 |     1276   2159 |        0 |        0
389.82/389.94	c  389s |      21 |  1441126 |  1329545 |     1276   2166 |        0 |        0
391.82/391.97	c  391s |      21 |  1447120 |  1335145 |     1276   2173 |        0 |        0
393.83/393.99	c  393s |      21 |  1453425 |  1341045 |     1276   2181 |        0 |        0
395.93/396.01	c  395s |      21 |  1459213 |  1346445 |     1276   2189 |        0 |        0
397.92/398.02	c  398s |      21 |  1464894 |  1351745 |     1276   2196 |        0 |        0
399.92/400.04	c  400s |      21 |  1470508 |  1356945 |     1276   2203 |        0 |        0
401.92/402.06	c  402s |      21 |  1475656 |  1361845 |     1276   2209 |        0 |        0
403.92/404.08	c  404s |      21 |  1480713 |  1366645 |     1276   2216 |        0 |        0
405.93/406.09	c  406s |      21 |  1486352 |  1371945 |     1276   2223 |        0 |        0
408.03/408.11	c  408s |      21 |  1492065 |  1377245 |     1276   2230 |        0 |        0
410.02/410.16	c  410s |      21 |  1497616 |  1382445 |     1276   2237 |        0 |        0
412.02/412.19	c  412s |      21 |  1503438 |  1387845 |     1276   2244 |        0 |        0
414.12/414.22	c  414s |      21 |  1509079 |  1393145 |     1276   2252 |        0 |        0
416.12/416.24	c  416s |      21 |  1514432 |  1398245 |     1276   2258 |        0 |        0
418.12/418.27	c  418s |      21 |  1519666 |  1403145 |     1276   2265 |        0 |        0
420.13/420.28	c  420s |      21 |  1524908 |  1408045 |     1276   2272 |        0 |        0
422.12/422.29	c  422s |      21 |  1530036 |  1412945 |     1276   2278 |        0 |        0
424.22/424.32	c  424s |      21 |  1535234 |  1417745 |     1276   2285 |        0 |        0
426.22/426.37	c  426s |      21 |  1539554 |  1421845 |     1276   2290 |        0 |        0
428.22/428.37	c  428s |      21 |  1544608 |  1426645 |     1276   2297 |        0 |        0
430.32/430.41	c  430s |      21 |  1549793 |  1431545 |     1276   2303 |        0 |        0
432.32/432.45	c  432s |      21 |  1555884 |  1437045 |     1276   2311 |        0 |        0
434.32/434.45	c  434s |      21 |  1561876 |  1442545 |     1276   2318 |        0 |        0
436.32/436.48	c  436s |      21 |  1567425 |  1447745 |     1276   2325 |        0 |        0
438.42/438.51	c  438s |      21 |  1573526 |  1453345 |     1276   2333 |        0 |        0
440.42/440.53	c  440s |      21 |  1579366 |  1458645 |     1276   2340 |        0 |        0
442.41/442.55	c  442s |      21 |  1584494 |  1463445 |     1276   2346 |        0 |        0
444.42/444.57	c  444s |      21 |  1589942 |  1468545 |     1276   2353 |        0 |        0
446.52/446.62	c  446s |      21 |  1595175 |  1473445 |     1276   2360 |        0 |        0
448.51/448.65	c  448s |      21 |  1600711 |  1478645 |     1276   2367 |        0 |        0
450.51/450.67	c  450s |      21 |  1606403 |  1483945 |     1276   2374 |        0 |        0
452.62/452.71	c  452s |      21 |  1611916 |  1489045 |     1276   2381 |        0 |        0
454.62/454.73	c  454s |      21 |  1617331 |  1494145 |     1404   2387 |        0 |        0
456.62/456.73	c  456s |      21 |  1622582 |  1499145 |     1404   2393 |        0 |        0
457.22/457.32	c  457s |      22 |  1624161 |  1500622 |     1404   2395 |        0 |        0
459.22/459.34	c  459s |      22 |  1631632 |  1507422 |     1404   2403 |        0 |        0
461.22/461.35	c  461s |      22 |  1638221 |  1513522 |     1404   2411 |        0 |        0
463.22/463.38	c  463s |      22 |  1644978 |  1519822 |     1404   2418 |        0 |        0
465.23/465.39	c  465s |      22 |  1651356 |  1525822 |     1404   2426 |        0 |        0
467.32/467.40	c  467s |      22 |  1657710 |  1531822 |     1404   2433 |        0 |        0
469.32/469.43	c  469s |      22 |  1664343 |  1538022 |     1404   2441 |        0 |        0
471.32/471.45	c  471s |      22 |  1670770 |  1544022 |     1404   2448 |        0 |        0
473.32/473.46	c  473s |      22 |  1676726 |  1549622 |     1404   2455 |        0 |        0
475.32/475.48	c  475s |      22 |  1682909 |  1555422 |     1404   2462 |        0 |        0
477.32/477.48	c  477s |      22 |  1688847 |  1561022 |     1404   2469 |        0 |        0
479.32/479.48	c  479s |      22 |  1694563 |  1566422 |     1404   2476 |        0 |        0
481.41/481.50	c  481s |      22 |  1700468 |  1571922 |     1404   2483 |        0 |        0
483.41/483.50	c  483s |      22 |  1706338 |  1577422 |     1404   2490 |        0 |        0
485.41/485.53	c  485s |      22 |  1712773 |  1583422 |     1404   2497 |        0 |        0
487.41/487.56	c  487s |      22 |  1719314 |  1589422 |     1404   2504 |        0 |        0
489.42/489.57	c  489s |      22 |  1725599 |  1595222 |     1404   2512 |        0 |        0
491.51/491.60	c  491s |      22 |  1732414 |  1601522 |     1404   2519 |        0 |        0
493.51/493.63	c  493s |      22 |  1738978 |  1607622 |     1404   2527 |        0 |        0
495.51/495.65	c  495s |      22 |  1745067 |  1613322 |     1404   2534 |        0 |        0
497.51/497.68	c  497s |      22 |  1751606 |  1619322 |     1404   2541 |        0 |        0
499.51/499.68	c  499s |      22 |  1757445 |  1624822 |     1404   2548 |        0 |        0
501.51/501.68	c  501s |      22 |  1763307 |  1630322 |     1404   2555 |        0 |        0
503.51/503.69	c  503s |      22 |  1769572 |  1636122 |     1404   2562 |        0 |        0
505.61/505.73	c  505s |      22 |  1775436 |  1641522 |     1404   2569 |        0 |        0
507.61/507.73	c  507s |      22 |  1781096 |  1646822 |     1404   2575 |        0 |        0
509.61/509.74	c  509s |      22 |  1786568 |  1651922 |     1404   2581 |        0 |        0
511.61/511.76	c  511s |      22 |  1792259 |  1657222 |     1404   2588 |        0 |        0
513.61/513.77	c  513s |      22 |  1798047 |  1662622 |     1404   2595 |        0 |        0
515.61/515.78	c  515s |      22 |  1803900 |  1668122 |     1404   2601 |        0 |        0
517.61/517.80	c  517s |      22 |  1809350 |  1673222 |     1404   2608 |        0 |        0
519.71/519.82	c  519s |      22 |  1814691 |  1678122 |     1404   2614 |        0 |        0
521.70/521.85	c  521s |      22 |  1820512 |  1683522 |     1404   2620 |        0 |        0
523.70/523.88	c  523s |      22 |  1826666 |  1689322 |     1404   2628 |        0 |        0
525.71/525.88	c  525s |      22 |  1832581 |  1694922 |     1404   2634 |        0 |        0
527.70/527.89	c  527s |      22 |  1838431 |  1700322 |     1404   2641 |        0 |        0
529.71/529.90	c  529s |      22 |  1843763 |  1705322 |     1404   2647 |        0 |        0
531.81/531.91	c  531s |      22 |  1849660 |  1710822 |     1404   2654 |        0 |        0
533.81/533.94	c  533s |      22 |  1855166 |  1715922 |     1404   2660 |        0 |        0
535.81/535.99	c  535s |      22 |  1860520 |  1720922 |     1404   2667 |        0 |        0
537.92/538.02	c  538s |      22 |  1867009 |  1726922 |     1404   2674 |        0 |        0
539.91/540.03	c  540s |      22 |  1873409 |  1732922 |     1404   2681 |        0 |        0
541.91/542.05	c  542s |      22 |  1879849 |  1738922 |     1404   2689 |        0 |        0
543.91/544.08	c  544s |      22 |  1885666 |  1744422 |     1404   2696 |        0 |        0
545.91/546.09	c  546s |      22 |  1891282 |  1749722 |     1404   2702 |        0 |        0
548.01/548.11	c  548s |      22 |  1897051 |  1755122 |     1404   2709 |        0 |        0
550.02/550.14	c  550s |      22 |  1902931 |  1760622 |     1404   2716 |        0 |        0
552.01/552.17	c  552s |      22 |  1908616 |  1766022 |     1404   2722 |        0 |        0
554.11/554.20	c  554s |      22 |  1914865 |  1771822 |     1404   2729 |        0 |        0
556.11/556.24	c  556s |      22 |  1920549 |  1777122 |     1404   2736 |        0 |        0
558.11/558.26	c  558s |      22 |  1927010 |  1783022 |     1404   2743 |        0 |        0
560.11/560.27	c  560s |      22 |  1932758 |  1788322 |     1404   2750 |        0 |        0
562.21/562.30	c  562s |      22 |  1938135 |  1793322 |     1404   2756 |        0 |        0
564.21/564.32	c  564s |      22 |  1944216 |  1798922 |     1404   2763 |        0 |        0
566.20/566.35	c  566s |      22 |  1950040 |  1804322 |     1404   2769 |        0 |        0
568.20/568.36	c  568s |      22 |  1955894 |  1809722 |     1404   2776 |        0 |        0
570.20/570.37	c  570s |      22 |  1961324 |  1814722 |     1404   2782 |        0 |        0
572.20/572.39	c  572s |      22 |  1966977 |  1819922 |     1404   2789 |        0 |        0
574.30/574.40	c  574s |      22 |  1974121 |  1826322 |     1404   2797 |        0 |        0
576.31/576.42	c  576s |      22 |  1980581 |  1832222 |     1404   2804 |        0 |        0
578.30/578.43	c  578s |      22 |  1986705 |  1837822 |     1404   2811 |        0 |        0
580.30/580.44	c  580s |      22 |  1993108 |  1843622 |     1404   2818 |        0 |        0
582.30/582.46	c  582s |      22 |  1999373 |  1849422 |     1404   2825 |        0 |        0
584.30/584.46	c  584s |      22 |  2005744 |  1855322 |     1404   2832 |        0 |        0
586.31/586.47	c  586s |      22 |  2011451 |  1860622 |     1404   2839 |        0 |        0
588.30/588.48	c  588s |      22 |  2017246 |  1866022 |     1404   2845 |        0 |        0
590.30/590.48	c  590s |      22 |  2023445 |  1871822 |     1404   2853 |        0 |        0
592.40/592.51	c  592s |      22 |  2029801 |  1877722 |     1404   2860 |        0 |        0
594.40/594.54	c  594s |      22 |  2036041 |  1883422 |     1404   2867 |        0 |        0
596.40/596.57	c  596s |      22 |  2042054 |  1889022 |     1404   2874 |        0 |        0
598.41/598.59	c  598s |      22 |  2048257 |  1894822 |     1404   2881 |        0 |        0
600.40/600.60	c  600s |      22 |  2054012 |  1900222 |     1404   2888 |        0 |        0
602.50/602.62	c  602s |      22 |  2059652 |  1905522 |     1404   2894 |        0 |        0
604.50/604.63	c  604s |      22 |  2065082 |  1910722 |     1404   2901 |        0 |        0
606.50/606.67	c  606s |      22 |  2070628 |  1915922 |     1404   2907 |        0 |        0
608.60/608.70	c  608s |      22 |  2077083 |  1921822 |     1404   2914 |        0 |        0
610.60/610.70	c  610s |      22 |  2083443 |  1927722 |     1404   2922 |        0 |        0
612.60/612.73	c  612s |      22 |  2089992 |  1933822 |     1404   2929 |        0 |        0
614.59/614.76	c  614s |      22 |  2096213 |  1939522 |     1404   2936 |        0 |        0
616.59/616.77	c  616s |      22 |  2102401 |  1945222 |     1404   2944 |        0 |        0
618.59/618.79	c  618s |      22 |  2108143 |  1950522 |     1404   2950 |        0 |        0
620.69/620.81	c  620s |      22 |  2114239 |  1956222 |     1404   2957 |        0 |        0
622.69/622.84	c  622s |      22 |  2119881 |  1961522 |     1404   2964 |        0 |        0
624.70/624.87	c  624s |      22 |  2126133 |  1967322 |     1404   2971 |        0 |        0
626.69/626.89	c  626s |      22 |  2131868 |  1972722 |     1404   2978 |        0 |        0
628.79/628.92	c  628s |      22 |  2137638 |  1978122 |     1404   2984 |        0 |        0
630.79/630.94	c  630s |      22 |  2143370 |  1983422 |     1404   2991 |        0 |        0
632.79/632.96	c  632s |      22 |  2149348 |  1988922 |     1404   2998 |        0 |        0
634.79/634.99	c  634s |      22 |  2155629 |  1994722 |     1404   3005 |        0 |        0
636.79/637.00	c  636s |      22 |  2161833 |  2000422 |     1404   3012 |        0 |        0
638.89/639.00	c  638s |      22 |  2167623 |  2005722 |     1404   3019 |        0 |        0
640.89/641.03	c  641s |      22 |  2173668 |  2011222 |     1404   3025 |        0 |        0
642.89/643.07	c  643s |      22 |  2179854 |  2016922 |     1404   3032 |        0 |        0
644.89/645.09	c  645s |      22 |  2185544 |  2022222 |     1404   3039 |        0 |        0
646.98/647.10	c  647s |      22 |  2191044 |  2027322 |     1404   3045 |        0 |        0
649.00/649.12	c  649s |      22 |  2197194 |  2033022 |     1404   3052 |        0 |        0
650.99/651.13	c  651s |      22 |  2203172 |  2038622 |     1404   3059 |        0 |        0
652.99/653.14	c  653s |      22 |  2208544 |  2043622 |     1404   3066 |        0 |        0
654.99/655.18	c  655s |      22 |  2214199 |  2048822 |     1404   3072 |        0 |        0
656.99/657.19	c  657s |      22 |  2219960 |  2054122 |     1404   3079 |        0 |        0
659.09/659.23	c  659s |      22 |  2225212 |  2059022 |     1404   3085 |        0 |        0
661.10/661.27	c  661s |      22 |  2231214 |  2064522 |     1404   3091 |        0 |        0
663.09/663.29	c  663s |      22 |  2237534 |  2070122 |     1404   3098 |        0 |        0
665.19/665.30	c  665s |      22 |  2243829 |  2075722 |     1404   3105 |        0 |        0
667.19/667.31	c  667s |      22 |  2249592 |  2080922 |     1404   3112 |        0 |        0
669.19/669.31	c  669s |      22 |  2255873 |  2086622 |     1404   3119 |        0 |        0
671.19/671.34	c  671s |      22 |  2262013 |  2092222 |     1404   3126 |        0 |        0
673.19/673.34	c  673s |      22 |  2268118 |  2097622 |     1404   3132 |        0 |        0
675.19/675.37	c  675s |      22 |  2273962 |  2103022 |     1404   3139 |        0 |        0
677.19/677.37	c  677s |      22 |  2279360 |  2108022 |     1404   3145 |        0 |        0
679.19/679.39	c  679s |      22 |  2285012 |  2113322 |     1404   3152 |        0 |        0
681.18/681.39	c  681s |      22 |  2290718 |  2118622 |     1404   3158 |        0 |        0
683.28/683.41	c  683s |      22 |  2296698 |  2124122 |     1404   3165 |        0 |        0
685.29/685.43	c  685s |      22 |  2302872 |  2129622 |     1404   3172 |        0 |        0
687.28/687.43	c  687s |      22 |  2308888 |  2135022 |     1404   3179 |        0 |        0
689.28/689.47	c  689s |      22 |  2315096 |  2140622 |     1404   3186 |        0 |        0
691.38/691.50	c  691s |      22 |  2321162 |  2146122 |     1404   3192 |        0 |        0
693.38/693.53	c  693s |      22 |  2327465 |  2151722 |     1404   3199 |        0 |        0
695.38/695.56	c  695s |      22 |  2334301 |  2157822 |     1404   3207 |        0 |        0
697.39/697.59	c  697s |      22 |  2340406 |  2163322 |     1404   3214 |        0 |        0
699.38/699.59	c  699s |      22 |  2346372 |  2168822 |     1404   3221 |        0 |        0
701.48/701.60	c  701s |      22 |  2353030 |  2174922 |     1404   3228 |        0 |        0
703.48/703.63	c  703s |      22 |  2360086 |  2181122 |     1404   3236 |        0 |        0
705.48/705.63	c  705s |      22 |  2366665 |  2187122 |     1404   3243 |        0 |        0
707.48/707.64	c  707s |      22 |  2373822 |  2193222 |     1404   3251 |        0 |        0
709.49/709.67	c  709s |      22 |  2380048 |  2198822 |     1404   3258 |        0 |        0
711.59/711.72	c  711s |      22 |  2386014 |  2204222 |     1404   3265 |        0 |        0
713.58/713.72	c  713s |      22 |  2391401 |  2209222 |     1404   3271 |        0 |        0
715.58/715.75	c  715s |      22 |  2396444 |  2214022 |     1404   3277 |        0 |        0
717.58/717.78	c  717s |      22 |  2402080 |  2219322 |     1404   3283 |        0 |        0
719.58/719.79	c  719s |      22 |  2407155 |  2224122 |     1404   3289 |        0 |        0
721.68/721.80	c  721s |      22 |  2412359 |  2229022 |     1404   3295 |        0 |        0
723.68/723.81	c  723s |      22 |  2418287 |  2234522 |     1404   3302 |        0 |        0
725.68/725.82	c  725s |      22 |  2423651 |  2239422 |     1545   3308 |        0 |        0
727.68/727.85	c  727s |      22 |  2429173 |  2244422 |     1545   3313 |        0 |        0
729.68/729.89	c  729s |      22 |  2434442 |  2249322 |     1545   3319 |        0 |        0
730.38/730.59	c  730s |      23 |  2436286 |  2251038 |     1545   3321 |        0 |        0
732.48/732.63	c  732s |      23 |  2443517 |  2257338 |     1545   3328 |        0 |        0
734.47/734.66	c  734s |      23 |  2449477 |  2262638 |     1545   3334 |        0 |        0
736.47/736.67	c  736s |      23 |  2455172 |  2267938 |     1545   3340 |        0 |        0
738.47/738.67	c  738s |      23 |  2460704 |  2272938 |     1545   3346 |        0 |        0
740.47/740.68	c  740s |      23 |  2465644 |  2277438 |     1545   3351 |        0 |        0
742.57/742.73	c  742s |      23 |  2470151 |  2281638 |     1545   3356 |        0 |        0
744.58/744.75	c  744s |      23 |  2475866 |  2286938 |     1545   3362 |        0 |        0
746.57/746.79	c  746s |      23 |  2480568 |  2291338 |     1545   3367 |        0 |        0
748.67/748.84	c  748s |      23 |  2485726 |  2296138 |     1545   3372 |        0 |        0
750.67/750.84	c  750s |      23 |  2490928 |  2300938 |     1545   3378 |        0 |        0
752.67/752.84	c  752s |      23 |  2497250 |  2306638 |     1545   3384 |        0 |        0
754.67/754.86	c  754s |      23 |  2503003 |  2311838 |     1545   3390 |        0 |        0
756.68/756.87	c  756s |      23 |  2508366 |  2316738 |     1545   3396 |        0 |        0
758.67/758.87	c  758s |      23 |  2513445 |  2321438 |     1545   3401 |        0 |        0
760.77/760.92	c  760s |      23 |  2519018 |  2326438 |     1545   3407 |        0 |        0
762.77/762.94	c  762s |      23 |  2524159 |  2331238 |     1545   3413 |        0 |        0
764.77/764.95	c  764s |      23 |  2529581 |  2336138 |     1545   3418 |        0 |        0
766.77/766.97	c  766s |      23 |  2534477 |  2340638 |     1545   3423 |        0 |        0
768.77/768.97	c  768s |      23 |  2540281 |  2345838 |     1545   3429 |        0 |        0
770.77/770.98	c  770s |      23 |  2545436 |  2350638 |     1545   3435 |        0 |        0
772.76/773.00	c  772s |      23 |  2550742 |  2355538 |     1545   3440 |        0 |        0
774.87/775.00	c  774s |      23 |  2556279 |  2360438 |     1545   3446 |        0 |        0
776.87/777.02	c  777s |      23 |  2561931 |  2365638 |     1545   3452 |        0 |        0
778.87/779.03	c  779s |      23 |  2567115 |  2370438 |     1545   3458 |        0 |        0
780.88/781.05	c  781s |      23 |  2572354 |  2375238 |     1545   3463 |        0 |        0
782.87/783.08	c  783s |      23 |  2578047 |  2380138 |     1545   3469 |        0 |        0
784.97/785.12	c  785s |      23 |  2583637 |  2384938 |     1545   3474 |        0 |        0
786.97/787.12	c  787s |      23 |  2588687 |  2389538 |     1545   3480 |        0 |        0
788.97/789.14	c  789s |      23 |  2594776 |  2394738 |     1545   3486 |        0 |        0
790.97/791.15	c  791s |      23 |  2600005 |  2399538 |     1545   3491 |        0 |        0
792.98/793.20	c  793s |      23 |  2605667 |  2404638 |     1545   3498 |        0 |        0
795.07/795.22	c  795s |      23 |  2611391 |  2409738 |     1545   3504 |        0 |        0
797.07/797.23	c  797s |      23 |  2617088 |  2414938 |     1545   3510 |        0 |        0
799.07/799.25	c  799s |      23 |  2622921 |  2420438 |     1545   3517 |        0 |        0
801.07/801.27	c  801s |      23 |  2629072 |  2426138 |     1545   3524 |        0 |        0
803.07/803.28	c  803s |      23 |  2634847 |  2431438 |     1545   3530 |        0 |        0
805.07/805.30	c  805s |      23 |  2640020 |  2436238 |     1545   3536 |        0 |        0
807.17/807.32	c  807s |      23 |  2645287 |  2441038 |     1545   3542 |        0 |        0
809.17/809.34	c  809s |      23 |  2651178 |  2446538 |     1545   3548 |        0 |        0
811.17/811.36	c  811s |      23 |  2656529 |  2451538 |     1545   3554 |        0 |        0
813.17/813.39	c  813s |      23 |  2661679 |  2456338 |     1545   3560 |        0 |        0
815.26/815.43	c  815s |      23 |  2667140 |  2461438 |     1545   3566 |        0 |        0
817.27/817.45	c  817s |      23 |  2672347 |  2466238 |     1545   3572 |        0 |        0
819.26/819.47	c  819s |      23 |  2677111 |  2470638 |     1545   3578 |        0 |        0
821.26/821.49	c  821s |      23 |  2682146 |  2475338 |     1545   3583 |        0 |        0
823.36/823.51	c  823s |      23 |  2687222 |  2480038 |     1545   3589 |        0 |        0
825.36/825.52	c  825s |      23 |  2693103 |  2485338 |     1545   3595 |        0 |        0
827.36/827.54	c  827s |      23 |  2698482 |  2490338 |     1545   3601 |        0 |        0
829.37/829.56	c  829s |      23 |  2704049 |  2495338 |     1545   3608 |        0 |        0
831.36/831.58	c  831s |      23 |  2709333 |  2500238 |     1545   3613 |        0 |        0
833.46/833.61	c  833s |      23 |  2714372 |  2504938 |     1545   3619 |        0 |        0
835.46/835.61	c  835s |      23 |  2719458 |  2509638 |     1545   3625 |        0 |        0
837.46/837.63	c  837s |      23 |  2724634 |  2514338 |     1545   3631 |        0 |        0
839.46/839.64	c  839s |      23 |  2730595 |  2519438 |     1545   3636 |        0 |        0
841.47/841.67	c  841s |      23 |  2736002 |  2524438 |     1545   3642 |        0 |        0
843.46/843.70	c  843s |      23 |  2741286 |  2529238 |     1545   3648 |        0 |        0
845.56/845.72	c  845s |      23 |  2746674 |  2534038 |     1545   3653 |        0 |        0
847.56/847.73	c  847s |      23 |  2751605 |  2538438 |     1545   3659 |        0 |        0
849.56/849.77	c  849s |      23 |  2756224 |  2542638 |     1545   3663 |        0 |        0
851.66/851.81	c  851s |      23 |  2761706 |  2547538 |     1545   3669 |        0 |        0
853.66/853.82	c  853s |      23 |  2766622 |  2552038 |     1545   3674 |        0 |        0
855.66/855.86	c  855s |      23 |  2771748 |  2556738 |     1545   3680 |        0 |        0
857.66/857.89	c  857s |      23 |  2776715 |  2561338 |     1545   3685 |        0 |        0
859.76/859.91	c  859s |      23 |  2781841 |  2565938 |     1545   3690 |        0 |        0
861.76/861.93	c  861s |      23 |  2787417 |  2570738 |     1545   3696 |        0 |        0
863.75/863.97	c  863s |      23 |  2793185 |  2575738 |     1545   3702 |        0 |        0
865.75/865.97	c  865s |      23 |  2798277 |  2580238 |     1545   3707 |        0 |        0
867.76/867.98	c  867s |      23 |  2803090 |  2584638 |     1545   3712 |        0 |        0
869.75/869.99	c  869s |      23 |  2808326 |  2589438 |     1545   3718 |        0 |        0
871.85/872.00	c  871s |      23 |  2813581 |  2594338 |     1545   3723 |        0 |        0
873.85/874.04	c  874s |      23 |  2818682 |  2599038 |     1545   3729 |        0 |        0
875.85/876.06	c  876s |      23 |  2823928 |  2603838 |     1545   3734 |        0 |        0
877.85/878.07	c  878s |      23 |  2829130 |  2608638 |     1545   3740 |        0 |        0
879.96/880.11	c  880s |      23 |  2834461 |  2613538 |     1545   3746 |        0 |        0
881.95/882.13	c  882s |      23 |  2839301 |  2618038 |     1545   3751 |        0 |        0
883.95/884.17	c  884s |      23 |  2844431 |  2622838 |     1545   3756 |        0 |        0
885.95/886.19	c  886s |      23 |  2849207 |  2627238 |     1545   3762 |        0 |        0
887.95/888.19	c  888s |      23 |  2853854 |  2631538 |     1545   3766 |        0 |        0
890.05/890.21	c  890s |      23 |  2857830 |  2635338 |     1545   3771 |        0 |        0
892.05/892.26	c  892s |      23 |  2863614 |  2640338 |     1545   3777 |        0 |        0
894.05/894.29	c  894s |      23 |  2869345 |  2645438 |     1545   3782 |        0 |        0
896.15/896.30	c  896s |      23 |  2874290 |  2649938 |     1545   3788 |        0 |        0
898.15/898.32	c  898s |      23 |  2879222 |  2654338 |     1545   3793 |        0 |        0
900.15/900.32	c  900s |      23 |  2884315 |  2658938 |     1545   3798 |        0 |        0
902.15/902.34	c  902s |      23 |  2890096 |  2663938 |     1545   3804 |        0 |        0
904.16/904.37	c  904s |      23 |  2896059 |  2669238 |     1545   3810 |        0 |        0
906.15/906.37	c  906s |      23 |  2901904 |  2674438 |     1545   3816 |        0 |        0
908.25/908.41	c  908s |      23 |  2907751 |  2679538 |     1545   3822 |        0 |        0
910.25/910.43	c  910s |      23 |  2913730 |  2684738 |     1545   3828 |        0 |        0
912.25/912.46	c  912s |      23 |  2919549 |  2689938 |     1545   3834 |        0 |        0
914.25/914.49	c  914s |      23 |  2925359 |  2694938 |     1545   3840 |        0 |        0
916.35/916.53	c  916s |      23 |  2930643 |  2699538 |     1545   3845 |        0 |        0
918.36/918.56	c  918s |      23 |  2936085 |  2704338 |     1545   3851 |        0 |        0
920.45/920.61	c  920s |      23 |  2941535 |  2709038 |     1545   3856 |        0 |        0
922.45/922.62	c  922s |      23 |  2946551 |  2713538 |     1545   3862 |        0 |        0
924.45/924.63	c  924s |      23 |  2952333 |  2718638 |     1545   3868 |        0 |        0
926.45/926.63	c  926s |      23 |  2957929 |  2723738 |     1545   3874 |        0 |        0
928.45/928.65	c  928s |      23 |  2963003 |  2728438 |     1545   3879 |        0 |        0
930.45/930.65	c  930s |      23 |  2968136 |  2733138 |     1545   3884 |        0 |        0
932.45/932.67	c  932s |      23 |  2973517 |  2737838 |     1545   3890 |        0 |        0
934.55/934.70	c  934s |      23 |  2978717 |  2742538 |     1545   3895 |        0 |        0
936.55/936.75	c  936s |      23 |  2983732 |  2747038 |     1545   3901 |        0 |        0
938.55/938.78	c  938s |      23 |  2989491 |  2752138 |     1545   3906 |        0 |        0
940.65/940.81	c  940s |      23 |  2994730 |  2756838 |     1545   3912 |        0 |        0
942.65/942.82	c  942s |      23 |  3000211 |  2761638 |     1545   3918 |        0 |        0
944.64/944.82	c  944s |      23 |  3005221 |  2766038 |     1545   3923 |        0 |        0
946.64/946.85	c  946s |      23 |  3011592 |  2771738 |     1545   3929 |        0 |        0
948.64/948.86	c  948s |      23 |  3017767 |  2777138 |     1545   3936 |        0 |        0
950.74/950.90	c  950s |      23 |  3023520 |  2782138 |     1545   3941 |        0 |        0
952.74/952.93	c  952s |      23 |  3029528 |  2787338 |     1545   3948 |        0 |        0
954.74/954.97	c  954s |      23 |  3035182 |  2792338 |     1545   3953 |        0 |        0
956.74/956.98	c  956s |      23 |  3040919 |  2797238 |     1545   3959 |        0 |        0
958.84/959.01	c  958s |      23 |  3046003 |  2801838 |     1545   3964 |        0 |        0
960.84/961.03	c  961s |      23 |  3051415 |  2806538 |     1545   3970 |        0 |        0
962.84/963.04	c  963s |      23 |  3056807 |  2811338 |     1545   3975 |        0 |        0
964.84/965.06	c  965s |      23 |  3062539 |  2816238 |     1545   3981 |        0 |        0
966.84/967.08	c  967s |      23 |  3068175 |  2821038 |     1545   3987 |        0 |        0
968.94/969.10	c  969s |      23 |  3074031 |  2826038 |     1545   3992 |        0 |        0
970.93/971.11	c  971s |      23 |  3079637 |  2830838 |     1545   3998 |        0 |        0
972.93/973.12	c  973s |      23 |  3085249 |  2835838 |     1545   4004 |        0 |        0
974.93/975.16	c  975s |      23 |  3090522 |  2840538 |     1545   4009 |        0 |        0
976.93/977.16	c  977s |      23 |  3095725 |  2845138 |     1545   4015 |        0 |        0
978.94/979.17	c  979s |      23 |  3100854 |  2849738 |     1545   4020 |        0 |        0
980.93/981.19	c  981s |      23 |  3105853 |  2854138 |     1545   4025 |        0 |        0
983.03/983.22	c  983s |      23 |  3111196 |  2858938 |     1545   4031 |        0 |        0
985.03/985.24	c  985s |      23 |  3116292 |  2863438 |     1545   4036 |        0 |        0
987.03/987.28	c  987s |      23 |  3121533 |  2867938 |     1545   4042 |        0 |        0
989.14/989.30	c  989s |      23 |  3126901 |  2872638 |     1545   4047 |        0 |        0
991.14/991.31	c  991s |      23 |  3132586 |  2877738 |     1545   4053 |        0 |        0
993.15/993.36	c  993s |      23 |  3137606 |  2882338 |     1545   4059 |        0 |        0
995.24/995.40	c  995s |      23 |  3142989 |  2887038 |     1545   4064 |        0 |        0
997.24/997.42	c  997s |      23 |  3148266 |  2891738 |     1545   4070 |        0 |        0
999.24/999.43	c  999s |      23 |  3152952 |  2895938 |     1545   4074 |        0 |        0
1001.24/1001.45	c 1001s |      23 |  3157766 |  2900238 |     1545   4079 |        0 |        0
1003.24/1003.46	c 1003s |      23 |  3162524 |  2904438 |     1545   4084 |        0 |        0
1005.35/1005.50	c 1005s |      23 |  3167431 |  2908838 |     1545   4090 |        0 |        0
1007.34/1007.54	c 1007s |      23 |  3172767 |  2913638 |     1545   4095 |        0 |        0
1009.34/1009.56	c 1009s |      23 |  3178279 |  2918438 |     1545   4101 |        0 |        0
1011.34/1011.58	c 1011s |      23 |  3183556 |  2923038 |     1545   4106 |        0 |        0
1013.34/1013.58	c 1013s |      23 |  3188425 |  2927438 |     1545   4111 |        0 |        0
1015.44/1015.60	c 1015s |      23 |  3194015 |  2932338 |     1545   4117 |        0 |        0
1017.44/1017.63	c 1017s |      23 |  3198849 |  2936638 |     1545   4122 |        0 |        0
1019.44/1019.64	c 1019s |      23 |  3204048 |  2941338 |     1545   4127 |        0 |        0
1021.43/1021.66	c 1021s |      23 |  3209381 |  2946238 |     1545   4133 |        0 |        0
1023.43/1023.67	c 1023s |      23 |  3214456 |  2950938 |     1545   4139 |        0 |        0
1025.43/1025.68	c 1025s |      23 |  3219815 |  2955738 |     1545   4144 |        0 |        0
1027.43/1027.69	c 1027s |      23 |  3225526 |  2960638 |     1545   4150 |        0 |        0
1029.54/1029.74	c 1029s |      23 |  3230887 |  2965538 |     1545   4156 |        0 |        0
1031.53/1031.75	c 1031s |      23 |  3236374 |  2970438 |     1545   4161 |        0 |        0
1033.53/1033.78	c 1033s |      23 |  3242092 |  2975438 |     1545   4167 |        0 |        0
1035.53/1035.80	c 1035s |      23 |  3248079 |  2980838 |     1545   4173 |        0 |        0
1037.63/1037.83	c 1037s |      23 |  3253740 |  2986138 |     1545   4179 |        0 |        0
1039.63/1039.84	c 1039s |      23 |  3259086 |  2991138 |     1545   4185 |        0 |        0
1041.64/1041.84	c 1041s |      23 |  3264421 |  2996138 |     1545   4191 |        0 |        0
1043.63/1043.84	c 1043s |      23 |  3269793 |  3001138 |     1545   4197 |        0 |        0
1045.63/1045.85	c 1045s |      23 |  3275304 |  3006238 |     1545   4203 |        0 |        0
1047.63/1047.89	c 1047s |      23 |  3280956 |  3011338 |     1545   4209 |        0 |        0
1049.73/1049.91	c 1049s |      23 |  3286561 |  3016438 |     1545   4215 |        0 |        0
1051.73/1051.93	c 1051s |      23 |  3292155 |  3021638 |     1545   4221 |        0 |        0
1053.73/1053.96	c 1053s |      23 |  3297824 |  3026938 |     1545   4227 |        0 |        0
1055.73/1055.98	c 1055s |      23 |  3303398 |  3032138 |     1545   4233 |        0 |        0
1057.72/1057.99	c 1057s |      23 |  3309137 |  3037238 |     1545   4239 |        0 |        0
1059.72/1059.99	c 1059s |      23 |  3314678 |  3042338 |     1545   4245 |        0 |        0
1061.82/1062.01	c 1061s |      23 |  3319900 |  3047238 |     1545   4250 |        0 |        0
1063.82/1064.04	c 1064s |      23 |  3325424 |  3052338 |     1545   4256 |        0 |        0
1065.83/1066.04	c 1066s |      23 |  3330846 |  3057338 |     1545   4262 |        0 |        0
1067.82/1068.05	c 1068s |      23 |  3336136 |  3062338 |     1545   4268 |        0 |        0
1069.82/1070.05	c 1070s |      23 |  3341553 |  3067238 |     1545   4274 |        0 |        0
1071.81/1072.08	c 1072s |      23 |  3347162 |  3072338 |     1545   4280 |        0 |        0
1073.81/1074.09	c 1074s |      23 |  3352620 |  3077338 |     1545   4286 |        0 |        0
1075.91/1076.13	c 1076s |      23 |  3358678 |  3082638 |     1545   4292 |        0 |        0
1077.92/1078.17	c 1078s |      23 |  3364329 |  3087638 |     1545   4298 |        0 |        0
1079.92/1080.17	c 1080s |      23 |  3370084 |  3092738 |     1545   4303 |        0 |        0
1081.91/1082.17	c 1082s |      23 |  3375587 |  3097638 |     1545   4309 |        0 |        0
1083.91/1084.19	c 1084s |      23 |  3381160 |  3102338 |     1545   4315 |        0 |        0
1086.01/1086.23	c 1086s |      23 |  3386928 |  3107338 |     1545   4321 |        0 |        0
1088.01/1088.24	c 1088s |      23 |  3392536 |  3112438 |     1545   4326 |        0 |        0
1090.02/1090.27	c 1090s |      23 |  3398396 |  3117738 |     1545   4332 |        0 |        0
1092.01/1092.30	c 1092s |      23 |  3404708 |  3123338 |     1545   4339 |        0 |        0
1094.10/1094.31	c 1094s |      23 |  3410346 |  3128438 |     1545   4345 |        0 |        0
1096.10/1096.32	c 1096s |      23 |  3416252 |  3133838 |     1545   4351 |        0 |        0
1098.10/1098.33	c 1098s |      23 |  3422181 |  3139238 |     1545   4357 |        0 |        0
1100.10/1100.34	c 1100s |      23 |  3428271 |  3144738 |     1545   4363 |        0 |        0
1102.10/1102.34	c 1102s |      23 |  3434604 |  3150338 |     1545   4370 |        0 |        0
1104.10/1104.36	c 1104s |      23 |  3440278 |  3155438 |     1545   4376 |        0 |        0
1106.09/1106.36	c 1106s |      23 |  3446254 |  3160638 |     1545   4382 |        0 |        0
1108.09/1108.37	c 1108s |      23 |  3452526 |  3166138 |     1545   4388 |        0 |        0
1110.19/1110.40	c 1110s |      23 |  3458451 |  3171238 |     1545   4394 |        0 |        0
1112.19/1112.41	c 1112s |      23 |  3464231 |  3176238 |     1545   4400 |        0 |        0
1114.20/1114.41	c 1114s |      23 |  3470394 |  3181638 |     1545   4406 |        0 |        0
1116.19/1116.43	c 1116s |      23 |  3476129 |  3186738 |     1545   4412 |        0 |        0
1118.19/1118.45	c 1118s |      23 |  3481949 |  3191938 |     1545   4418 |        0 |        0
1120.19/1120.46	c 1120s |      23 |  3487046 |  3196438 |     1545   4423 |        0 |        0
1122.18/1122.47	c 1122s |      23 |  3492462 |  3201338 |     1545   4429 |        0 |        0
1124.18/1124.49	c 1124s |      23 |  3497629 |  3206038 |     1545   4434 |        0 |        0
1126.29/1126.51	c 1126s |      23 |  3503425 |  3211138 |     1545   4440 |        0 |        0
1128.28/1128.52	c 1128s |      23 |  3509379 |  3216238 |     1545   4446 |        0 |        0
1130.28/1130.55	c 1130s |      23 |  3515078 |  3221338 |     1545   4452 |        0 |        0
1132.27/1132.56	c 1132s |      23 |  3520842 |  3226438 |     1545   4458 |        0 |        0
1134.27/1134.59	c 1134s |      23 |  3526686 |  3231638 |     1545   4464 |        0 |        0
1136.37/1136.62	c 1136s |      23 |  3532191 |  3236638 |     1545   4470 |        0 |        0
1138.38/1138.65	c 1138s |      23 |  3538524 |  3242338 |     1545   4476 |        0 |        0
1140.37/1140.67	c 1140s |      23 |  3543945 |  3247338 |     1545   4482 |        0 |        0
1142.47/1142.70	c 1142s |      23 |  3549638 |  3252538 |     1545   4488 |        0 |        0
1144.47/1144.72	c 1144s |      23 |  3554612 |  3257138 |     1545   4493 |        0 |        0
1146.46/1146.72	c 1146s |      23 |  3559790 |  3261838 |     1545   4499 |        0 |        0
1148.46/1148.73	c 1148s |      23 |  3565211 |  3266838 |     1545   4504 |        0 |        0
1150.47/1150.76	c 1150s |      23 |  3570358 |  3271538 |     1545   4510 |        0 |        0
1152.46/1152.80	c 1152s |      23 |  3575146 |  3275938 |     1545   4515 |        0 |        0
1154.56/1154.83	c 1154s |      23 |  3581067 |  3281138 |     1545   4521 |        0 |        0
1156.56/1156.84	c 1156s |      23 |  3586399 |  3286038 |     1545   4527 |        0 |        0
1158.56/1158.88	c 1158s |      23 |  3592655 |  3291638 |     1545   4533 |        0 |        0
1160.55/1160.89	c 1160s |      23 |  3598175 |  3296438 |     1545   4539 |        0 |        0
1162.56/1162.90	c 1162s |      23 |  3604854 |  3302038 |     1545   4545 |        0 |        0
1164.55/1164.90	c 1164s |      23 |  3610883 |  3307538 |     1545   4551 |        0 |        0
1166.65/1166.90	c 1166s |      23 |  3616642 |  3312838 |     1545   4557 |        0 |        0
1168.65/1168.91	c 1168s |      23 |  3622815 |  3318238 |     1545   4564 |        0 |        0
1170.65/1170.92	c 1170s |      23 |  3628659 |  3323538 |     1545   4570 |        0 |        0
1172.64/1172.93	c 1172s |      23 |  3634094 |  3328438 |     1545   4575 |        0 |        0
1174.65/1174.93	c 1174s |      23 |  3639958 |  3333538 |     1545   4581 |        0 |        0
1176.64/1176.94	c 1176s |      23 |  3645646 |  3338438 |     1545   4587 |        0 |        0
1178.64/1178.94	c 1178s |      23 |  3651532 |  3343638 |     1545   4593 |        0 |        0
1180.64/1180.98	c 1180s |      23 |  3656920 |  3348438 |     1545   4599 |        0 |        0
1182.74/1183.01	c 1182s |      23 |  3662769 |  3353738 |     1700   4604 |        0 |        0
1184.74/1185.03	c 1185s |      23 |  3668159 |  3358638 |     1700   4610 |        0 |        0
1186.75/1187.03	c 1187s |      23 |  3673465 |  3363438 |     1700   4615 |        0 |        0
1188.74/1189.05	c 1189s |      23 |  3678241 |  3367838 |     1700   4619 |        0 |        0
1190.74/1191.05	c 1191s |      23 |  3683031 |  3372238 |     1700   4624 |        0 |        0
1192.83/1193.11	c 1193s |      23 |  3687691 |  3376538 |     1700   4629 |        0 |        0
1192.83/1193.16	c 1193s |      24 |  3687822 |  3376662 |     1700   4629 |        0 |        0
1194.83/1195.19	c 1195s |      24 |  3694497 |  3382262 |     1700   4634 |        0 |        0
1196.83/1197.19	c 1197s |      24 |  3700609 |  3387762 |     1700   4640 |        0 |        0
1198.93/1199.21	c 1199s |      24 |  3706718 |  3393262 |     1700   4646 |        0 |        0
1200.94/1201.22	c 1201s |      24 |  3712760 |  3398562 |     1700   4652 |        0 |        0
1202.93/1203.24	c 1203s |      24 |  3717954 |  3403362 |     1700   4657 |        0 |        0
1204.93/1205.26	c 1205s |      24 |  3723057 |  3408062 |     1700   4662 |        0 |        0
1206.93/1207.27	c 1207s |      24 |  3728541 |  3412962 |     1700   4667 |        0 |        0
1209.03/1209.31	c 1209s |      24 |  3734045 |  3418062 |     1700   4673 |        0 |        0
1211.03/1211.32	c 1211s |      24 |  3739424 |  3422962 |     1700   4678 |        0 |        0
1213.03/1213.34	c 1213s |      24 |  3744489 |  3427662 |     1700   4683 |        0 |        0
1215.02/1215.36	c 1215s |      24 |  3749902 |  3432662 |     1700   4688 |        0 |        0
1217.02/1217.38	c 1217s |      24 |  3754738 |  3437162 |     1700   4693 |        0 |        0
1219.02/1219.38	c 1219s |      24 |  3760426 |  3442362 |     1700   4699 |        0 |        0
1221.03/1221.39	c 1221s |      24 |  3765702 |  3447262 |     1700   4704 |        0 |        0
1223.03/1223.40	c 1223s |      24 |  3770848 |  3451962 |     1700   4709 |        0 |        0
1225.13/1225.41	c 1225s |      24 |  3776516 |  3457162 |     1700   4715 |        0 |        0
1227.12/1227.42	c 1227s |      24 |  3781651 |  3461862 |     1700   4720 |        0 |        0
1229.12/1229.45	c 1229s |      24 |  3787360 |  3467062 |     1700   4726 |        0 |        0
1231.12/1231.49	c 1231s |      24 |  3792821 |  3472062 |     1700   4731 |        0 |        0
1233.11/1233.49	c 1233s |      24 |  3798158 |  3476962 |     1700   4736 |        0 |        0
1235.21/1235.55	c 1235s |      24 |  3803511 |  3481862 |     1700   4742 |        0 |        0
1237.22/1237.58	c 1237s |      24 |  3809031 |  3486862 |     1700   4747 |        0 |        0
1239.21/1239.58	c 1239s |      24 |  3814236 |  3491662 |     1700   4752 |        0 |        0
1241.31/1241.60	c 1241s |      24 |  3819674 |  3496662 |     1700   4757 |        0 |        0
1243.31/1243.60	c 1243s |      24 |  3824991 |  3501562 |     1700   4763 |        0 |        0
1245.31/1245.64	c 1245s |      24 |  3830095 |  3506262 |     1700   4768 |        0 |        0
1247.31/1247.64	c 1247s |      24 |  3835491 |  3511162 |     1700   4773 |        0 |        0
1249.31/1249.68	c 1249s |      24 |  3840981 |  3516262 |     1700   4779 |        0 |        0
1251.41/1251.71	c 1251s |      24 |  3846120 |  3520962 |     1700   4784 |        0 |        0
1253.40/1253.75	c 1253s |      24 |  3851379 |  3525762 |     1700   4789 |        0 |        0
1255.40/1255.77	c 1255s |      24 |  3856322 |  3530262 |     1700   4794 |        0 |        0
1257.40/1257.78	c 1257s |      24 |  3860955 |  3534562 |     1700   4798 |        0 |        0
1259.50/1259.82	c 1259s |      24 |  3866082 |  3539262 |     1700   4803 |        0 |        0
1261.51/1261.87	c 1261s |      24 |  3870917 |  3543762 |     1700   4808 |        0 |        0
1263.49/1263.89	c 1263s |      24 |  3876025 |  3548462 |     1700   4813 |        0 |        0
1265.59/1265.90	c 1265s |      24 |  3881398 |  3553362 |     1700   4819 |        0 |        0
1267.59/1267.91	c 1267s |      24 |  3886531 |  3558062 |     1700   4824 |        0 |        0
1269.59/1269.93	c 1269s |      24 |  3891657 |  3562862 |     1700   4829 |        0 |        0
1271.59/1271.96	c 1271s |      24 |  3896599 |  3567462 |     1700   4834 |        0 |        0
1273.59/1273.98	c 1273s |      24 |  3901845 |  3572162 |     1700   4839 |        0 |        0
1275.59/1275.98	c 1275s |      24 |  3906832 |  3576662 |     1700   4844 |        0 |        0
1277.69/1278.01	c 1277s |      24 |  3912947 |  3582062 |     1700   4849 |        0 |        0
1279.69/1280.05	c 1280s |      24 |  3918662 |  3587262 |     1700   4855 |        0 |        0
1281.68/1282.06	c 1282s |      24 |  3923956 |  3592062 |     1700   4860 |        0 |        0
1283.68/1284.07	c 1284s |      24 |  3929953 |  3597362 |     1700   4866 |        0 |        0
1285.69/1286.07	c 1286s |      24 |  3935766 |  3602562 |     1700   4872 |        0 |        0
1287.68/1288.07	c 1288s |      24 |  3941554 |  3607762 |     1700   4877 |        0 |        0
1289.78/1290.11	c 1290s |      24 |  3947239 |  3612862 |     1700   4883 |        0 |        0
1291.78/1292.12	c 1292s |      24 |  3952612 |  3617662 |     1700   4888 |        0 |        0
1293.78/1294.16	c 1294s |      24 |  3958196 |  3622662 |     1700   4894 |        0 |        0
1295.78/1296.19	c 1296s |      24 |  3964152 |  3627962 |     1700   4899 |        0 |        0
1297.87/1298.21	c 1298s |      24 |  3970171 |  3633262 |     1700   4905 |        0 |        0
1299.88/1300.22	c 1300s |      24 |  3975665 |  3638162 |     1700   4911 |        0 |        0
1301.87/1302.25	c 1302s |      24 |  3980801 |  3642762 |     1700   4916 |        0 |        0
1303.87/1304.27	c 1304s |      24 |  3986559 |  3647962 |     1700   4921 |        0 |        0
1305.87/1306.28	c 1306s |      24 |  3992243 |  3653062 |     1700   4927 |        0 |        0
1307.97/1308.31	c 1308s |      24 |  3998021 |  3658162 |     1700   4932 |        0 |        0
1309.97/1310.35	c 1310s |      24 |  4003167 |  3662862 |     1700   4937 |        0 |        0
1312.07/1312.40	c 1312s |      24 |  4008340 |  3667462 |     1700   4942 |        0 |        0
1314.06/1314.41	c 1314s |      24 |  4013432 |  3672062 |     1700   4947 |        0 |        0
1316.06/1316.44	c 1316s |      24 |  4018447 |  3676662 |     1700   4952 |        0 |        0
1318.06/1318.47	c 1318s |      24 |  4023871 |  3681562 |     1700   4958 |        0 |        0
1320.06/1320.47	c 1320s |      24 |  4029289 |  3686462 |     1700   4963 |        0 |        0
1322.06/1322.49	c 1322s |      24 |  4034756 |  3691362 |     1700   4968 |        0 |        0
1324.17/1324.52	c 1324s |      24 |  4040115 |  3696162 |     1700   4973 |        0 |        0
1326.16/1326.53	c 1326s |      24 |  4045177 |  3700762 |     1700   4978 |        0 |        0
1328.16/1328.55	c 1328s |      24 |  4050991 |  3705862 |     1700   4984 |        0 |        0
1330.16/1330.58	c 1330s |      24 |  4056314 |  3710662 |     1700   4989 |        0 |        0
1332.25/1332.60	c 1332s |      24 |  4061589 |  3715362 |     1700   4994 |        0 |        0
1334.25/1334.61	c 1334s |      24 |  4066364 |  3719762 |     1700   4999 |        0 |        0
1336.26/1336.62	c 1336s |      24 |  4071571 |  3724462 |     1700   5004 |        0 |        0
1338.25/1338.63	c 1338s |      24 |  4076837 |  3729162 |     1700   5009 |        0 |        0
1340.25/1340.67	c 1340s |      24 |  4082830 |  3734162 |     1700   5015 |        0 |        0
1342.25/1342.69	c 1342s |      24 |  4088769 |  3739262 |     1700   5020 |        0 |        0
1344.35/1344.71	c 1344s |      24 |  4094647 |  3744562 |     1700   5026 |        0 |        0
1346.35/1346.72	c 1346s |      24 |  4100082 |  3749562 |     1700   5031 |        0 |        0
1348.35/1348.73	c 1348s |      24 |  4105628 |  3754562 |     1700   5037 |        0 |        0
1350.35/1350.77	c 1350s |      24 |  4111587 |  3759762 |     1700   5042 |        0 |        0
1352.34/1352.77	c 1352s |      24 |  4117113 |  3764562 |     1700   5048 |        0 |        0
1354.34/1354.79	c 1354s |      24 |  4122790 |  3769562 |     1700   5053 |        0 |        0
1356.44/1356.82	c 1356s |      24 |  4128524 |  3774662 |     1700   5059 |        0 |        0
1358.44/1358.83	c 1358s |      24 |  4134095 |  3779662 |     1700   5064 |        0 |        0
1360.45/1360.85	c 1360s |      24 |  4139847 |  3784662 |     1700   5070 |        0 |        0
1362.43/1362.86	c 1362s |      24 |  4145729 |  3789662 |     1700   5075 |        0 |        0
1364.43/1364.86	c 1364s |      24 |  4151493 |  3794762 |     1700   5081 |        0 |        0
1366.44/1366.88	c 1366s |      24 |  4157001 |  3799662 |     1700   5086 |        0 |        0
1368.54/1368.92	c 1368s |      24 |  4162283 |  3804262 |     1700   5091 |        0 |        0
1370.54/1370.94	c 1370s |      24 |  4167460 |  3808862 |     1700   5096 |        0 |        0
1372.54/1372.94	c 1372s |      24 |  4173037 |  3813862 |     1700   5102 |        0 |        0
1374.53/1374.97	c 1374s |      24 |  4178624 |  3818862 |     1700   5107 |        0 |        0
1376.63/1377.01	c 1376s |      24 |  4184160 |  3823762 |     1700   5112 |        0 |        0
1378.63/1379.03	c 1379s |      24 |  4189988 |  3828862 |     1700   5118 |        0 |        0
1380.63/1381.07	c 1381s |      24 |  4195443 |  3833562 |     1700   5123 |        0 |        0
1382.63/1383.07	c 1383s |      24 |  4200555 |  3838162 |     1700   5128 |        0 |        0
1384.73/1385.10	c 1385s |      24 |  4206150 |  3842962 |     1700   5133 |        0 |        0
1386.74/1387.12	c 1387s |      24 |  4211195 |  3847562 |     1700   5138 |        0 |        0
1388.73/1389.15	c 1389s |      24 |  4216530 |  3852162 |     1700   5143 |        0 |        0
1390.73/1391.18	c 1391s |      24 |  4221906 |  3857062 |     1700   5149 |        0 |        0
1392.82/1393.21	c 1393s |      24 |  4227865 |  3862362 |     1700   5154 |        0 |        0
1394.82/1395.25	c 1395s |      24 |  4233764 |  3867462 |     1700   5160 |        0 |        0
1396.82/1397.28	c 1397s |      24 |  4239576 |  3872562 |     1700   5165 |        0 |        0
1398.83/1399.30	c 1399s |      24 |  4245201 |  3877462 |     1700   5171 |        0 |        0
1400.92/1401.33	c 1401s |      24 |  4250975 |  3882462 |     1700   5176 |        0 |        0
1402.91/1403.37	c 1403s |      24 |  4256429 |  3887262 |     1700   5182 |        0 |        0
1405.01/1405.40	c 1405s |      24 |  4262133 |  3892262 |     1700   5187 |        0 |        0
1407.01/1407.40	c 1407s |      24 |  4267605 |  3897162 |     1700   5192 |        0 |        0
1409.01/1409.43	c 1409s |      24 |  4273174 |  3902162 |     1700   5198 |        0 |        0
1411.02/1411.46	c 1411s |      24 |  4278252 |  3906762 |     1700   5203 |        0 |        0
1413.01/1413.46	c 1413s |      24 |  4283224 |  3911362 |     1700   5208 |        0 |        0
1415.01/1415.47	c 1415s |      24 |  4288094 |  3915762 |     1700   5213 |        0 |        0
1417.01/1417.49	c 1417s |      24 |  4293020 |  3920262 |     1700   5217 |        0 |        0
1419.11/1419.50	c 1419s |      24 |  4298084 |  3924862 |     1700   5222 |        0 |        0
1421.11/1421.51	c 1421s |      24 |  4302922 |  3929262 |     1700   5227 |        0 |        0
1423.11/1423.55	c 1423s |      24 |  4307637 |  3933562 |     1700   5232 |        0 |        0
1425.10/1425.56	c 1425s |      24 |  4312289 |  3937762 |     1700   5237 |        0 |        0
1427.10/1427.57	c 1427s |      24 |  4317750 |  3942662 |     1700   5242 |        0 |        0
1429.10/1429.59	c 1429s |      24 |  4322594 |  3947062 |     1700   5247 |        0 |        0
1431.20/1431.61	c 1431s |      24 |  4327547 |  3951562 |     1700   5251 |        0 |        0
1433.19/1433.63	c 1433s |      24 |  4332464 |  3955962 |     1700   5256 |        0 |        0
1435.20/1435.67	c 1435s |      24 |  4337399 |  3960462 |     1700   5261 |        0 |        0
1437.19/1437.68	c 1437s |      24 |  4342026 |  3964662 |     1700   5266 |        0 |        0
1439.19/1439.68	c 1439s |      24 |  4347087 |  3969062 |     1700   5271 |        0 |        0
1441.29/1441.73	c 1441s |      24 |  4351700 |  3973262 |     1700   5275 |        0 |        0
1443.29/1443.76	c 1443s |      24 |  4356327 |  3977462 |     1700   5280 |        0 |        0
1445.39/1445.81	c 1445s |      24 |  4360909 |  3981662 |     1700   5284 |        0 |        0
1447.39/1447.85	c 1447s |      24 |  4365610 |  3985862 |     1700   5289 |        0 |        0
1449.39/1449.86	c 1449s |      24 |  4369934 |  3989762 |     1700   5293 |        0 |        0
1451.38/1451.87	c 1451s |      24 |  4374935 |  3994062 |     1700   5298 |        0 |        0
1453.38/1453.87	c 1453s |      24 |  4379821 |  3998462 |     1700   5303 |        0 |        0
1455.38/1455.89	c 1455s |      24 |  4384701 |  4002862 |     1700   5307 |        0 |        0
1457.48/1457.93	c 1457s |      24 |  4389598 |  4007262 |     1700   5312 |        0 |        0
1459.48/1459.96	c 1459s |      24 |  4394189 |  4011462 |     1700   5317 |        0 |        0
1461.48/1461.99	c 1461s |      24 |  4398978 |  4015762 |     1700   5322 |        0 |        0
1463.57/1464.03	c 1464s |      24 |  4403863 |  4020262 |     1700   5326 |        0 |        0
1465.57/1466.08	c 1466s |      24 |  4408500 |  4024562 |     1700   5331 |        0 |        0
1467.57/1468.09	c 1468s |      24 |  4413141 |  4028862 |     1700   5336 |        0 |        0
1469.67/1470.11	c 1470s |      24 |  4417870 |  4033062 |     1700   5340 |        0 |        0
1471.67/1472.12	c 1472s |      24 |  4422581 |  4037262 |     1700   5345 |        0 |        0
1473.67/1474.13	c 1474s |      24 |  4426947 |  4041162 |     1700   5349 |        0 |        0
1475.66/1476.17	c 1476s |      24 |  4431353 |  4045162 |     1700   5353 |        0 |        0
1477.76/1478.21	c 1478s |      24 |  4436219 |  4049562 |     1700   5358 |        0 |        0
1479.76/1480.23	c 1480s |      24 |  4440375 |  4053462 |     1700   5362 |        0 |        0
1481.75/1482.23	c 1482s |      24 |  4445984 |  4058362 |     1700   5368 |        0 |        0
1483.75/1484.26	c 1484s |      24 |  4451512 |  4063262 |     1700   5373 |        0 |        0
1485.76/1486.26	c 1486s |      24 |  4456650 |  4067862 |     1700   5378 |        0 |        0
1487.75/1488.27	c 1488s |      24 |  4461538 |  4072262 |     1700   5383 |        0 |        0
1489.75/1490.28	c 1490s |      24 |  4466635 |  4076662 |     1700   5388 |        0 |        0
1491.85/1492.31	c 1492s |      24 |  4471753 |  4081162 |     1700   5393 |        0 |        0
1493.85/1494.35	c 1494s |      24 |  4476467 |  4085262 |     1700   5397 |        0 |        0
1495.85/1496.39	c 1496s |      24 |  4481038 |  4089262 |     1700   5402 |        0 |        0
1497.95/1498.42	c 1498s |      24 |  4485725 |  4093362 |     1700   5406 |        0 |        0
1499.95/1500.48	c 1500s |      24 |  4490115 |  4097262 |     1700   5410 |        0 |        0
1502.04/1502.50	c 1502s |      24 |  4494281 |  4100962 |     1700   5414 |        0 |        0
1504.04/1504.56	c 1504s |      24 |  4498705 |  4104862 |     1700   5419 |        0 |        0
1506.14/1506.61	c 1506s |      24 |  4503263 |  4108962 |     1700   5423 |        0 |        0
1508.14/1508.64	c 1508s |      24 |  4508515 |  4113562 |     1700   5428 |        0 |        0
1510.14/1510.68	c 1510s |      24 |  4514096 |  4118562 |     1700   5433 |        0 |        0
1512.15/1512.68	c 1512s |      24 |  4519489 |  4123362 |     1700   5439 |        0 |        0
1514.25/1514.71	c 1514s |      24 |  4525004 |  4128162 |     1700   5444 |        0 |        0
1516.24/1516.72	c 1516s |      24 |  4530507 |  4132962 |     1700   5449 |        0 |        0
1518.24/1518.76	c 1518s |      24 |  4535842 |  4137662 |     1700   5454 |        0 |        0
1520.24/1520.78	c 1520s |      24 |  4541172 |  4142262 |     1700   5459 |        0 |        0
1522.34/1522.81	c 1522s |      24 |  4546386 |  4146862 |     1700   5464 |        0 |        0
1524.34/1524.82	c 1524s |      24 |  4551965 |  4151662 |     1700   5470 |        0 |        0
1526.34/1526.85	c 1526s |      24 |  4557382 |  4156262 |     1700   5475 |        0 |        0
1528.33/1528.88	c 1528s |      24 |  4563023 |  4160962 |     1700   5480 |        0 |        0
1530.43/1530.92	c 1530s |      24 |  4568159 |  4165662 |     1700   5485 |        0 |        0
1532.43/1532.95	c 1532s |      24 |  4573666 |  4170562 |     1700   5490 |        0 |        0
1534.43/1534.96	c 1534s |      24 |  4579090 |  4175362 |     1700   5496 |        0 |        0
1536.43/1536.99	c 1536s |      24 |  4584382 |  4179962 |     1700   5501 |        0 |        0
1538.54/1539.02	c 1539s |      24 |  4589689 |  4184462 |     1700   5506 |        0 |        0
1540.53/1541.02	c 1541s |      24 |  4595043 |  4188962 |     1700   5510 |        0 |        0
1542.53/1543.06	c 1543s |      24 |  4600129 |  4193362 |     1700   5515 |        0 |        0
1544.53/1545.08	c 1545s |      24 |  4605239 |  4197862 |     1700   5520 |        0 |        0
1546.62/1547.10	c 1547s |      24 |  4610423 |  4202362 |     1700   5525 |        0 |        0
1548.62/1549.10	c 1549s |      24 |  4616079 |  4207262 |     1700   5530 |        0 |        0
1550.63/1551.14	c 1551s |      24 |  4621360 |  4211762 |     1700   5535 |        0 |        0
1552.62/1553.18	c 1553s |      24 |  4626632 |  4216662 |     1700   5541 |        0 |        0
1554.72/1555.21	c 1555s |      24 |  4631819 |  4221462 |     1700   5546 |        0 |        0
1556.72/1557.21	c 1557s |      24 |  4637106 |  4226262 |     1700   5551 |        0 |        0
1558.72/1559.24	c 1559s |      24 |  4642224 |  4230862 |     1700   5556 |        0 |        0
1560.72/1561.25	c 1561s |      24 |  4647579 |  4235562 |     1700   5561 |        0 |        0
1562.72/1563.28	c 1563s |      24 |  4652665 |  4240062 |     1700   5566 |        0 |        0
1564.71/1565.28	c 1565s |      24 |  4658036 |  4244662 |     1700   5571 |        0 |        0
1566.81/1567.31	c 1567s |      24 |  4663108 |  4249162 |     1700   5576 |        0 |        0
1568.81/1569.35	c 1569s |      24 |  4668369 |  4253762 |     1700   5581 |        0 |        0
1570.81/1571.36	c 1571s |      24 |  4673416 |  4258262 |     1700   5586 |        0 |        0
1572.81/1573.36	c 1573s |      24 |  4678329 |  4262662 |     1700   5591 |        0 |        0
1574.91/1575.43	c 1575s |      24 |  4683092 |  4266962 |     1700   5596 |        0 |        0
1576.91/1577.45	c 1577s |      24 |  4687716 |  4271162 |     1700   5600 |        0 |        0
1578.91/1579.45	c 1579s |      24 |  4692715 |  4275662 |     1700   5605 |        0 |        0
1580.91/1581.47	c 1581s |      24 |  4697562 |  4279962 |     1700   5610 |        0 |        0
1583.00/1583.50	c 1583s |      24 |  4702335 |  4284262 |     1700   5615 |        0 |        0
1585.00/1585.53	c 1585s |      24 |  4707241 |  4288662 |     1700   5619 |        0 |        0
1587.00/1587.54	c 1587s |      24 |  4711938 |  4292862 |     1700   5624 |        0 |        0
1589.01/1589.59	c 1589s |      24 |  4716615 |  4297062 |     1700   5629 |        0 |        0
1591.10/1591.62	c 1591s |      24 |  4721714 |  4301562 |     1700   5633 |        0 |        0
1593.10/1593.65	c 1593s |      24 |  4726609 |  4306062 |     1700   5638 |        0 |        0
1595.10/1595.66	c 1595s |      24 |  4731347 |  4310362 |     1700   5643 |        0 |        0
1597.10/1597.67	c 1597s |      24 |  4736463 |  4314862 |     1700   5648 |        0 |        0
1599.09/1599.69	c 1599s |      24 |  4741704 |  4319462 |     1700   5653 |        0 |        0
1601.10/1601.70	c 1601s |      24 |  4746505 |  4323662 |     1700   5658 |        0 |        0
1603.19/1603.71	c 1603s |      24 |  4751633 |  4328162 |     1700   5663 |        0 |        0
1605.19/1605.71	c 1605s |      24 |  4756433 |  4332362 |     1700   5667 |        0 |        0
1607.19/1607.72	c 1607s |      24 |  4761514 |  4336862 |     1700   5672 |        0 |        0
1609.19/1609.72	c 1609s |      24 |  4766656 |  4341462 |     1700   5677 |        0 |        0
1611.19/1611.75	c 1611s |      24 |  4771783 |  4346062 |     1700   5682 |        0 |        0
1613.19/1613.77	c 1613s |      24 |  4777050 |  4350662 |     1700   5687 |        0 |        0
1615.18/1615.79	c 1615s |      24 |  4782112 |  4355162 |     1700   5692 |        0 |        0
1617.28/1617.80	c 1617s |      24 |  4787341 |  4359762 |     1700   5697 |        0 |        0
1619.28/1619.82	c 1619s |      24 |  4792309 |  4364162 |     1700   5702 |        0 |        0
1621.28/1621.86	c 1621s |      24 |  4797186 |  4368562 |     1700   5707 |        0 |        0
1623.29/1623.90	c 1623s |      24 |  4802135 |  4372862 |     1700   5711 |        0 |        0
1625.40/1625.92	c 1625s |      24 |  4807106 |  4377262 |     1700   5716 |        0 |        0
1627.39/1627.96	c 1627s |      24 |  4812198 |  4381762 |     1700   5721 |        0 |        0
1629.49/1630.00	c 1629s |      24 |  4816913 |  4385862 |     1700   5726 |        0 |        0
1631.49/1632.04	c 1632s |      24 |  4822460 |  4390562 |     1700   5731 |        0 |        0
1633.48/1634.06	c 1634s |      24 |  4827323 |  4394762 |     1700   5735 |        0 |        0
1635.48/1636.09	c 1636s |      24 |  4831991 |  4398862 |     1700   5740 |        0 |        0
1637.58/1638.12	c 1638s |      24 |  4836604 |  4402962 |     1700   5744 |        0 |        0
1639.59/1640.16	c 1640s |      24 |  4841152 |  4406862 |     1700   5749 |        0 |        0
1641.58/1642.18	c 1642s |      24 |  4845984 |  4411062 |     1700   5753 |        0 |        0
1643.68/1644.20	c 1644s |      24 |  4850921 |  4415462 |     1700   5758 |        0 |        0
1645.68/1646.21	c 1646s |      24 |  4856496 |  4420262 |     1700   5763 |        0 |        0
1647.67/1648.24	c 1648s |      24 |  4861999 |  4425062 |     1700   5768 |        0 |        0
1649.67/1650.27	c 1650s |      24 |  4867013 |  4429562 |     1700   5773 |        0 |        0
1651.67/1652.29	c 1652s |      24 |  4872091 |  4434062 |     1700   5778 |        0 |        0
1653.77/1654.31	c 1654s |      24 |  4876966 |  4438462 |     1700   5783 |        0 |        0
1655.77/1656.37	c 1656s |      24 |  4881675 |  4442662 |     1700   5788 |        0 |        0
1657.77/1658.39	c 1658s |      24 |  4886827 |  4447262 |     1700   5793 |        0 |        0
1659.87/1660.40	c 1660s |      24 |  4892501 |  4452262 |     1700   5798 |        0 |        0
1661.86/1662.43	c 1662s |      24 |  4897651 |  4456962 |     1700   5803 |        0 |        0
1663.87/1664.46	c 1664s |      24 |  4902888 |  4461662 |     1700   5808 |        0 |        0
1665.86/1666.48	c 1666s |      24 |  4908100 |  4466362 |     1700   5813 |        0 |        0
1667.86/1668.49	c 1668s |      24 |  4913300 |  4470962 |     1700   5818 |        0 |        0
1669.96/1670.53	c 1670s |      24 |  4918668 |  4475562 |     1700   5823 |        0 |        0
1671.95/1672.56	c 1672s |      24 |  4923853 |  4480162 |     1700   5828 |        0 |        0
1673.95/1674.58	c 1674s |      24 |  4929194 |  4484662 |     1700   5833 |        0 |        0
1675.96/1676.58	c 1676s |      24 |  4934282 |  4489162 |     1700   5838 |        0 |        0
1678.06/1678.62	c 1678s |      24 |  4938779 |  4493262 |     1700   5843 |        0 |        0
1680.06/1680.66	c 1680s |      24 |  4943632 |  4497562 |     1700   5847 |        0 |        0
1682.06/1682.68	c 1682s |      24 |  4948498 |  4501862 |     1700   5852 |        0 |        0
1684.16/1684.71	c 1684s |      24 |  4953891 |  4506562 |     1700   5857 |        0 |        0
1686.16/1686.75	c 1686s |      24 |  4959157 |  4511262 |     1700   5862 |        0 |        0
1688.16/1688.77	c 1688s |      24 |  4964250 |  4515862 |     1700   5867 |        0 |        0
1690.16/1690.78	c 1690s |      24 |  4969016 |  4520162 |     1700   5872 |        0 |        0
1692.15/1692.79	c 1692s |      24 |  4974470 |  4524962 |     1700   5877 |        0 |        0
1694.25/1694.80	c 1694s |      24 |  4979530 |  4529462 |     1700   5882 |        0 |        0
1696.25/1696.83	c 1696s |      24 |  4984707 |  4534062 |     1700   5887 |        0 |        0
1698.25/1698.87	c 1698s |      24 |  4989456 |  4538262 |     1700   5892 |        0 |        0
1700.25/1700.89	c 1700s |      24 |  4994360 |  4542462 |     1700   5896 |        0 |        0
1702.36/1702.91	c 1702s |      24 |  4998898 |  4546462 |     1700   5901 |        0 |        0
1704.35/1704.92	c 1704s |      24 |  5003348 |  4550462 |     1700   5905 |        0 |        0
1706.35/1706.94	c 1706s |      24 |  5007818 |  4554462 |     1700   5910 |        0 |        0
1708.35/1708.99	c 1708s |      24 |  5012142 |  4558362 |     1700   5914 |        0 |        0
1710.35/1710.99	c 1710s |      24 |  5016342 |  4562162 |     1700   5918 |        0 |        0
1712.44/1713.01	c 1712s |      24 |  5020535 |  4566062 |     1700   5922 |        0 |        0
1714.45/1715.06	c 1715s |      24 |  5024273 |  4569562 |     1700   5926 |        0 |        0
1716.44/1717.07	c 1717s |      24 |  5028532 |  4573362 |     1700   5930 |        0 |        0
1718.54/1719.13	c 1719s |      24 |  5032932 |  4577462 |     1700   5935 |        0 |        0
1720.54/1721.16	c 1721s |      24 |  5037502 |  4581662 |     1700   5939 |        0 |        0
1722.54/1723.16	c 1723s |      24 |  5042262 |  4585962 |     1700   5944 |        0 |        0
1724.54/1725.17	c 1725s |      24 |  5046727 |  4590062 |     1700   5948 |        0 |        0
1726.55/1727.19	c 1727s |      24 |  5051246 |  4594162 |     1700   5953 |        0 |        0
1728.54/1729.19	c 1729s |      24 |  5055293 |  4597862 |     1700   5957 |        0 |        0
1730.64/1731.21	c 1731s |      24 |  5059811 |  4601862 |     1700   5961 |        0 |        0
1732.64/1733.23	c 1733s |      24 |  5064210 |  4605862 |     1700   5966 |        0 |        0
1734.64/1735.27	c 1735s |      24 |  5068686 |  4609862 |     1700   5970 |        0 |        0
1736.64/1737.28	c 1737s |      24 |  5073254 |  4613962 |     1700   5975 |        0 |        0
1738.74/1739.32	c 1739s |      24 |  5077586 |  4617762 |     1700   5979 |        0 |        0
1740.74/1741.37	c 1741s |      24 |  5081612 |  4621462 |     1700   5983 |        0 |        0
1742.74/1743.39	c 1743s |      24 |  5085521 |  4625062 |     1700   5987 |        0 |        0
1744.84/1745.44	c 1745s |      24 |  5090215 |  4629162 |     1700   5991 |        0 |        0
1746.84/1747.49	c 1747s |      24 |  5095048 |  4633462 |     1700   5996 |        0 |        0
1748.84/1749.49	c 1749s |      24 |  5099632 |  4637562 |     1700   6000 |        0 |        0
1750.93/1751.50	c 1751s |      24 |  5104083 |  4641562 |     1700   6005 |        0 |        0
1752.94/1753.53	c 1753s |      24 |  5108464 |  4645562 |     1700   6009 |        0 |        0
1754.93/1755.56	c 1755s |      24 |  5112520 |  4649262 |     1700   6013 |        0 |        0
1756.93/1757.56	c 1757s |      24 |  5116579 |  4652962 |     1700   6017 |        0 |        0
1759.03/1759.62	c 1759s |      24 |  5120764 |  4656762 |     1700   6022 |        0 |        0
1761.03/1761.65	c 1761s |      24 |  5125834 |  4661362 |     1700   6026 |        0 |        0
1763.13/1763.70	c 1763s |      24 |  5131026 |  4666062 |     1700   6032 |        0 |        0
1765.14/1765.71	c 1765s |      24 |  5136095 |  4670662 |     1700   6037 |        0 |        0
1767.15/1767.71	c 1767s |      24 |  5140750 |  4674962 |     1700   6041 |        0 |        0
1769.14/1769.72	c 1769s |      24 |  5145673 |  4679262 |     1700   6046 |        0 |        0
1771.14/1771.72	c 1771s |      24 |  5150170 |  4683262 |     1700   6050 |        0 |        0
1773.14/1773.76	c 1773s |      24 |  5155166 |  4687862 |     1700   6055 |        0 |        0
1775.14/1775.77	c 1775s |      24 |  5159956 |  4692262 |     1700   6060 |        0 |        0
1777.24/1777.80	c 1777s |      24 |  5165036 |  4696762 |     1700   6065 |        0 |        0
1779.25/1779.84	c 1779s |      24 |  5169543 |  4700962 |     1700   6070 |        0 |        0
1781.24/1781.85	c 1781s |      24 |  5174330 |  4705362 |     1700   6074 |        0 |        0
1783.24/1783.88	c 1783s |      24 |  5179180 |  4709762 |     1700   6079 |        0 |        0
1785.34/1785.90	c 1785s |      24 |  5184246 |  4714262 |     1700   6084 |        0 |        0
1787.34/1787.93	c 1787s |      24 |  5188368 |  4718062 |     1700   6088 |        0 |        0
1789.34/1789.93	c 1789s |      24 |  5192714 |  4721962 |     1700   6093 |        0 |        0
1791.34/1791.93	c 1791s |      24 |  5197249 |  4726062 |     1700   6097 |        0 |        0
1793.33/1793.95	c 1793s |      24 |  5201565 |  4729962 |     1700   6101 |        0 |        0
1795.33/1795.95	c 1795s |      24 |  5205706 |  4733762 |     1700   6106 |        0 |        0
1797.33/1797.99	c 1797s |      24 |  5210261 |  4737962 |     1700   6110 |        0 |        0
1799.33/1799.99	c 1799s |      24 |  5214665 |  4741862 |     1700   6114 |        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-4089883-1466034728/watcher-4089883-1466034728 -o /tmp/evaluation-result-4089883-1466034728/solver-4089883-1466034728 -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-4089883-1466034728.opb 

pid=11858
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.19 2.22 2.20 4/181 11861
/proc/meminfo: memFree=29297372/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 2789 0 0 0 0 0 0 0 20 0 4 0 5519265 763817984 2639 33554432000 4194304 16246674 140735942321792 140735942321216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 186991 2647 441 2943 0 183885 0
[pid=11861/tid=11862] ppid=11858 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 781643776 2708 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 785838080 2724 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5519265 790032384 2740 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.19 2.22 2.20 4/181 11861
/proc/meminfo: memFree=29297372/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 28897 0 0 0 5 4 0 0 20 0 4 0 5519265 1247350784 28736 33554432000 4194304 16246674 140735942321792 140735942304784 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 304529 28751 716 2943 0 301423 0
[pid=11861/tid=11862] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 28759 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 28764 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 28769 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200524 s]
/proc/loadavg: 2.19 2.22 2.20 4/181 11861
/proc/meminfo: memFree=29297372/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 57317 0 0 0 10 9 0 0 20 0 4 0 5519265 1247350784 57155 33554432000 4194304 16246674 140735942321792 140735942304784 12474613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 304529 57169 716 2943 0 301423 0
[pid=11861/tid=11862] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 57175 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 57183 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 57189 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.19 2.22 2.20 4/181 11861
/proc/meminfo: memFree=29297372/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 85349 0 0 0 16 12 0 0 20 0 4 0 5519265 1247350784 85188 33554432000 4194304 16246674 140735942321792 140735942304784 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 304529 85202 716 2943 0 301423 0
[pid=11861/tid=11862] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 85211 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 85222 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 85232 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.19 2.22 2.20 4/181 11861
/proc/meminfo: memFree=29297372/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 203172 0 0 0 40 29 0 0 20 0 4 0 5519265 1247350784 203010 33554432000 4194304 16246674 140735942321792 140735942304784 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 304529 203020 716 2943 0 301423 0
[pid=11861/tid=11862] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 203025 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 203032 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5519265 1247350784 203038 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5003 s]
/proc/loadavg: 2.19 2.22 2.20 4/185 11865
/proc/meminfo: memFree=28316752/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267222 0 0 0 111 38 0 0 20 0 4 0 5519265 1336479744 267040 33554432000 4194304 16246674 140735942321792 140735942304792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11861/statm: 326289 267040 791 2943 0 323183 0
[pid=11861/tid=11862] ppid=11858 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1336479744 267040 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1336479744 267040 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1336479744 267040 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.19 2.22 2.20 3/185 11865
/proc/meminfo: memFree=28228712/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267443 0 0 0 271 38 0 0 20 0 4 0 5519265 1337528320 267261 33554432000 4194304 16246674 140735942321792 140735942303680 12477776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326545 267261 793 2943 0 323439 0
[pid=11861/tid=11862] ppid=11858 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1337528320 267261 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1337528320 267261 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1337528320 267261 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.26 2.23 2.20 3/185 11865
/proc/meminfo: memFree=28228276/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267622 0 0 0 591 38 0 0 20 0 4 0 5519265 1338576896 267440 33554432000 4194304 16246674 140735942321792 140735942304792 5676229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326801 267440 793 2943 0 323695 0
[pid=11861/tid=11862] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267440 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267440 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267440 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.32 2.25 2.20 3/185 11865
/proc/meminfo: memFree=28228076/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267655 0 0 0 1231 38 0 0 20 0 4 0 5519265 1338576896 267473 33554432000 4194304 16246674 140735942321792 140735942304792 5545704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326801 267473 793 2943 0 323695 0
[pid=11861/tid=11862] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267473 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267473 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267473 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.25 2.23 2.20 3/185 11865
/proc/meminfo: memFree=28228112/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267710 0 0 0 2510 38 0 0 20 0 4 0 5519265 1338576896 267528 33554432000 4194304 16246674 140735942321792 140735942304792 5708424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326801 267528 795 2943 0 323695 0
[pid=11861/tid=11862] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267528 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267528 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267528 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.23 2.23 2.20 4/185 11865
/proc/meminfo: memFree=28227868/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267733 0 0 0 5070 38 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 140735942304792 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326801 267551 795 2943 0 323695 0
[pid=11861/tid=11862] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.27 2.24 2.20 3/185 11867
/proc/meminfo: memFree=28227704/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 267733 0 0 0 10189 39 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 140735942303680 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 326801 267551 795 2943 0 323695 0
[pid=11861/tid=11862] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1338576896 267551 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/185 11920
/proc/meminfo: memFree=28220780/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1301.97 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268270 0 0 0 130148 49 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5721768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.18 2.25 2.20 4/185 11970
/proc/meminfo: memFree=28224592/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1361.93 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268313 0 0 0 136144 49 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/185 11971
/proc/meminfo: memFree=28224092/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1421.91 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268357 0 0 0 142141 50 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 12482167 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/185 11972
/proc/meminfo: memFree=28224196/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1481.85 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268401 0 0 0 148135 50 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.30 2.26 2.20 4/185 11973
/proc/meminfo: memFree=28223428/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1541.83 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268442 0 0 0 154132 51 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5823166 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.19 4/185 11975
/proc/meminfo: memFree=28223320/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1601.79 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268483 0 0 0 160128 51 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.13 2.21 2.18 3/185 11976
/proc/meminfo: memFree=28223492/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1661.76 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268524 0 0 0 166124 52 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5513388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/186 11980
/proc/meminfo: memFree=28223316/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1721.74 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268552 0 0 0 172121 53 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 13192930 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.37 2.26 2.20 4/185 11981
/proc/meminfo: memFree=28222420/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1781.74 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268552 0 0 0 178120 54 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 7249949 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.26 2.19 3/185 11981
/proc/meminfo: memFree=28222516/32872528 swapFree=1481856/1661728
[pid=11861] ppid=11858 vsize=1308228 CPUtime=1800.03 cores=1,3,5,7
/proc/11861/stat : 11861 (toysat) R 11858 11861 6232 0 -1 4202496 268552 0 0 0 179949 54 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 140735942303680 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11861/statm: 327057 268167 796 2943 0 323951 0
[pid=11861/tid=11862] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11862/stat : 11862 (toysat) S 11858 11861 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891382922480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11861/tid=11863] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11863/stat : 11863 (toysat) S 11858 11861 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891372432624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11861/tid=11864] ppid=11858 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11861/task/11864/stat : 11864 (toysat) S 11858 11861 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5519265 1339625472 268167 33554432000 4194304 16246674 140735942321792 139891361959088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.5
CPU system time (s): 0.542917
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.542917
maximum resident set size= 1072668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268552
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= 474
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64384 second user time and 10.2664 second system time

The end

Begin job on node134 at 2016-06-16 01:52:08
IDJOB=4089883
IDBENCH=107470
IDSOLVER=2542
FILE ID=node134/4089883-1466034728
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/rand6reg/normalized-rand6reg-v101-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089883-1466034728/watcher-4089883-1466034728 -o /tmp/evaluation-result-4089883-1466034728/solver-4089883-1466034728 -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-4089883-1466034728.opb

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

MD5SUM BENCH= 33c939f6e57bf0661e4ab1b4ab6b7cea
RANDOM SEED=97938501

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:        29297916 kB
Buffers:           37020 kB
Cached:            82856 kB
SwapCached:        17352 kB
Active:          1143176 kB
Inactive:          68676 kB
Active(anon):    1076328 kB
Inactive(anon):    18004 kB
Active(file):      66848 kB
Inactive(file):    50672 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16204 kB
Writeback:             0 kB
AnonPages:       2736464 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             567728 kB
SReclaimable:      11412 kB
SUnreclaim:       556316 kB
KernelStack:        1536 kB
PageTables:         9052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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 02:22:09