0.00/0.00	c 2016-06-16T19:30:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4095910-1466098250.opb"]
0.00/0.01	c use --random-gen="3632359585 2702627325 3655030333 758582428 2504223404 1085455525 2450871239 427971092 1502502990 851377825 4218277179 392016365 1403320200 529458336 850894482 3503306651 3070526490 1351913199 162069846 2291398488 152271968 760626601 1700739771 1336954565 901595046 2773044978 1186190048 3335203997 1981670411 1086107515 2636680904 3336174799 749315096 149666844 3146406031 1581876696 1353781077 2564893729 2378409771 4133573787 2807950397 1802472954 2738831902 2997016049 763435151 3312959692 4004452200 3436059260 1249853264 876698403 1660588006 3910447297 488320701 1120411538 1264669172 1805295289 1563744686 1573511708 3863555823 161005744 2404733642 349542780 945445690 2179238991 3726101724 1085897008 2198565340 3191154929 1902286678 3456040156 2601280391 933206115 2464682808 47366893 603580472 3359049319 752583524 1254887380 3725494223 4157495228 1960141582 2638793532 3947355429 264783028 3017396454 856854295 3439073319 3096330492 3901462051 1448385226 3092722509 3414260291 1706788862 54948982 3099436152 1667184392 3456838808 4161592730 3158833098 3106217691 240828825 3771743865 101279451 3733342103 3861318187 3938996582 2275961304 581516385 2997632734 2498179178 2894924969 285538383 671267621 485006893 1133749698 3544574857 2186407657 3083243530 2815029491 2835896311 1954943566 2993483720 2782774713 2038645808 3247736524 4089454011 2866795481 3010328869 38066473 816571273 3492902707 3915228322 443691807 1124375872 3798091027 1317294380 857682065 1478863352 3276433923 2138819594 3582302187 1127719560 2181693865 4047827930 938589840 847575466 2940764788 262858513 4196547057 1205118900 2182685379 2377572293 1420953219 1022696455 3120351907 2437958057 1842070962 2118701537 1609807048 3145125777 2100514542 1757898069 3782561009 2964344639 1780055701 2700803934 2953632777 296216691 2763702710 4005339362 1634557469 1574580429 4279312952 2347900164 3565272688 2219299828 4001558990 1518802670 792670045 3757516013 2328982437 567762358 3049015224 3952247255 2380129942 4237661407 3196254890 3780438061 1452409147 1814282430 1376578215 3204696626 3419919599 2260747886 1389698386 3820850391 1791312160 2654278966 1207370747 3064939283 2668930493 422468311 638013646 1148490255 3075306898 2697653599 3275089393 2906692235 375684994 3850089972 3403138340 1547654922 2107029829 2990788411 111315563 351573016 2825546066 1153406739 253705429 4070374243 1508876303 74500145 674729429 312326629 3310267295 758030670 50448946 1589018653 169791499 3847240609 3866754558 2801713847 500201663 2871996826 3766639261 1719443320 4254465371 1995256228 1077689223 580739230 1499693726 1155157626 2430868495 3748575819 2258823790 762632409 3153337038 749231259 3477015593 1978970973 2115591692 669154384 984321839 356013012 3775701717 257845356 255 362436" option to reproduce the execution
0.00/0.01	c #vars 201
0.00/0.01	c #constraints 100
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 |      133      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      165 |      100 |      133      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      440 |      250 |      147      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      976 |      475 |      162      3 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1471 |      813 |      179      5 |        0 |        0
0.09/0.16	c  0.2s |       5 |     2222 |     1320 |      197      9 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3576 |     2081 |      239     14 |        0 |        0
0.39/0.40	c  0.4s |       7 |     5603 |     3223 |      263     22 |        0 |        0
0.59/0.62	c  0.6s |       8 |     8373 |     4936 |      290     32 |        0 |        0
0.78/0.89	c  0.9s |       9 |    12596 |     7506 |      319     46 |        0 |        0
1.20/1.26	c  1.2s |      10 |    17616 |    11361 |      351     64 |        0 |        0
1.69/1.74	c  1.7s |      11 |    25091 |    17144 |      387     88 |        0 |        0
2.48/2.53	c  2.5s |      12 |    36588 |    25819 |      426    123 |        0 |        0
3.59/3.62	c  3.6s |      13 |    53747 |    38832 |      469    170 |        0 |        0
5.19/5.23	c  5.2s |      14 |    80743 |    58352 |      516    239 |        0 |        0
7.19/7.23	c  7.2s |      14 |   114404 |    80852 |      516    318 |        0 |        0
7.80/7.86	c  7.8s |      15 |   124976 |    87632 |      568    342 |        0 |        0
9.79/9.86	c  9.8s |      15 |   159842 |   113132 |      568    423 |        0 |        0
11.49/11.50	c 11.5s |      16 |   185490 |   131552 |      625    483 |        0 |        0
13.49/13.50	c 13.5s |      16 |   213474 |   152952 |      625    544 |        0 |        0
15.39/15.50	c 15.5s |      16 |   241525 |   174052 |      625    605 |        0 |        0
17.48/17.51	c 17.5s |      16 |   268974 |   194552 |      625    663 |        0 |        0
17.78/17.80	c 17.8s |      17 |   272608 |   197432 |      688    671 |        0 |        0
19.79/19.81	c 19.8s |      17 |   302069 |   219632 |      688    728 |        0 |        0
21.78/21.81	c 21.8s |      17 |   329805 |   240532 |      688    781 |        0 |        0
23.78/23.82	c 23.8s |      17 |   358772 |   262432 |      688    837 |        0 |        0
25.78/25.82	c 25.8s |      17 |   387838 |   283932 |      688    893 |        0 |        0
26.99/27.01	c 27.0s |      18 |   404927 |   296252 |      757    924 |        0 |        0
28.99/29.02	c 29.0s |      18 |   430452 |   316252 |      757    971 |        0 |        0
30.99/31.03	c 31.0s |      18 |   458536 |   337752 |      757   1022 |        0 |        0
32.99/33.03	c 33.0s |      18 |   482494 |   357252 |      757   1069 |        0 |        0
34.98/35.04	c 35.0s |      18 |   508050 |   376752 |      757   1115 |        0 |        0
36.98/37.04	c 37.0s |      18 |   536105 |   397352 |      757   1165 |        0 |        0
38.98/39.05	c 39.0s |      18 |   562838 |   417952 |      757   1215 |        0 |        0
40.98/41.05	c 41.0s |      18 |   591280 |   439252 |      757   1266 |        0 |        0
41.48/41.58	c 41.6s |      19 |   598235 |   444482 |      833   1278 |        0 |        0
43.48/43.59	c 43.6s |      19 |   626054 |   465782 |      833   1324 |        0 |        0
45.48/45.59	c 45.6s |      19 |   654638 |   486682 |      833   1370 |        0 |        0
47.58/47.60	c 47.6s |      19 |   680982 |   506982 |      833   1414 |        0 |        0
49.49/49.60	c 49.6s |      19 |   706973 |   526382 |      833   1456 |        0 |        0
51.58/51.61	c 51.6s |      19 |   733637 |   546082 |      833   1499 |        0 |        0
53.58/53.61	c 53.6s |      19 |   761586 |   566382 |      833   1543 |        0 |        0
55.58/55.62	c 55.6s |      19 |   788054 |   586782 |      833   1588 |        0 |        0
57.58/57.63	c 57.6s |      19 |   813616 |   606582 |      833   1631 |        0 |        0
59.58/59.64	c 59.6s |      19 |   842957 |   628082 |      833   1678 |        0 |        0
61.58/61.65	c 61.6s |      19 |   871577 |   649082 |      833   1724 |        0 |        0
63.28/63.38	c 63.4s |      20 |   896087 |   666827 |      917   1761 |        0 |        0
65.28/65.38	c 65.4s |      20 |   921974 |   686427 |      917   1802 |        0 |        0
67.28/67.39	c 67.4s |      20 |   947079 |   704927 |      917   1840 |        0 |        0
69.28/69.39	c 69.4s |      20 |   971659 |   723927 |      917   1880 |        0 |        0
71.38/71.40	c 71.4s |      20 |   998020 |   743727 |      917   1921 |        0 |        0
73.38/73.41	c 73.4s |      20 |  1023497 |   763527 |      917   1962 |        0 |        0
75.38/75.41	c 75.4s |      20 |  1048733 |   782527 |      917   2002 |        0 |        0
77.37/77.42	c 77.4s |      20 |  1074710 |   801427 |      917   2041 |        0 |        0
79.37/79.42	c 79.4s |      20 |  1100580 |   820927 |      917   2082 |        0 |        0
81.38/81.42	c 81.4s |      20 |  1126450 |   840127 |      917   2122 |        0 |        0
83.37/83.43	c 83.4s |      20 |  1152974 |   859727 |      917   2164 |        0 |        0
85.37/85.44	c 85.4s |      20 |  1179701 |   879627 |      917   2205 |        0 |        0
87.37/87.44	c 87.4s |      20 |  1207737 |   900227 |      917   2249 |        0 |        0
89.37/89.44	c 89.4s |      20 |  1236232 |   921127 |      917   2292 |        0 |        0
91.38/91.44	c 91.4s |      20 |  1264950 |   941627 |      917   2335 |        0 |        0
93.37/93.45	c 93.4s |      20 |  1291859 |   961627 |      917   2377 |        0 |        0
95.38/95.46	c 95.4s |      20 |  1318386 |   982127 |      917   2420 |        0 |        0
97.38/97.42	c 97.4s |      21 |  1342578 |  1000345 |     1009   2456 |        0 |        0
99.38/99.42	c 99.4s |      21 |  1371232 |  1020045 |     1009   2493 |        0 |        0
101.38/101.42	c  101s |      21 |  1395856 |  1039045 |     1009   2528 |        0 |        0
103.38/103.43	c  103s |      21 |  1422394 |  1058345 |     1009   2563 |        0 |        0
105.37/105.43	c  105s |      21 |  1452120 |  1079445 |     1009   2602 |        0 |        0
107.37/107.44	c  107s |      21 |  1479893 |  1099745 |     1009   2639 |        0 |        0
109.37/109.45	c  109s |      21 |  1502317 |  1117545 |     1009   2672 |        0 |        0
111.37/111.45	c  111s |      21 |  1525760 |  1136045 |     1009   2706 |        0 |        0
113.38/113.46	c  113s |      21 |  1551182 |  1155245 |     1009   2742 |        0 |        0
115.37/115.46	c  115s |      21 |  1573539 |  1172645 |     1009   2774 |        0 |        0
117.37/117.46	c  117s |      21 |  1595470 |  1189545 |     1009   2806 |        0 |        0
119.37/119.48	c  119s |      21 |  1620499 |  1207945 |     1009   2840 |        0 |        0
121.37/121.48	c  121s |      21 |  1650314 |  1229445 |     1009   2879 |        0 |        0
123.37/123.48	c  123s |      21 |  1677991 |  1250445 |     1009   2918 |        0 |        0
125.38/125.48	c  125s |      21 |  1703947 |  1269945 |     1009   2954 |        0 |        0
127.37/127.49	c  127s |      21 |  1727293 |  1287645 |     1009   2987 |        0 |        0
129.47/129.50	c  129s |      21 |  1751799 |  1305745 |     1009   3021 |        0 |        0
131.47/131.51	c  131s |      21 |  1777241 |  1324145 |     1009   3055 |        0 |        0
133.46/133.51	c  133s |      21 |  1801899 |  1342645 |     1009   3089 |        0 |        0
135.46/135.51	c  135s |      21 |  1827437 |  1361945 |     1009   3125 |        0 |        0
137.48/137.52	c  137s |      21 |  1852628 |  1380845 |     1009   3161 |        0 |        0
139.47/139.52	c  139s |      21 |  1875286 |  1398245 |     1009   3195 |        0 |        0
141.47/141.53	c  141s |      21 |  1902245 |  1418445 |     1009   3232 |        0 |        0
143.47/143.53	c  143s |      21 |  1925591 |  1436745 |     1009   3266 |        0 |        0
145.47/145.53	c  145s |      21 |  1950205 |  1455445 |     1009   3301 |        0 |        0
147.48/147.54	c  147s |      21 |  1974921 |  1474345 |     1009   3337 |        0 |        0
149.47/149.55	c  149s |      21 |  1996599 |  1491345 |     1110   3369 |        0 |        0
150.67/150.73	c  150s |      22 |  2007873 |  1500622 |     1110   3385 |        0 |        0
152.66/152.74	c  152s |      22 |  2032578 |  1518822 |     1110   3417 |        0 |        0
154.66/154.75	c  154s |      22 |  2056501 |  1536822 |     1110   3449 |        0 |        0
156.66/156.76	c  156s |      22 |  2081719 |  1555822 |     1110   3482 |        0 |        0
158.66/158.76	c  158s |      22 |  2106107 |  1574522 |     1110   3515 |        0 |        0
160.67/160.77	c  160s |      22 |  2131893 |  1593622 |     1110   3549 |        0 |        0
162.67/162.77	c  162s |      22 |  2157747 |  1613222 |     1110   3584 |        0 |        0
164.67/164.77	c  164s |      22 |  2182616 |  1631922 |     1110   3617 |        0 |        0
166.66/166.78	c  166s |      22 |  2207007 |  1650122 |     1110   3649 |        0 |        0
168.66/168.78	c  168s |      22 |  2231936 |  1669122 |     1110   3683 |        0 |        0
170.66/170.79	c  170s |      22 |  2254792 |  1686522 |     1110   3714 |        0 |        0
172.67/172.79	c  172s |      22 |  2280770 |  1706022 |     1110   3748 |        0 |        0
174.66/174.79	c  174s |      22 |  2306777 |  1725122 |     1110   3782 |        0 |        0
176.76/176.80	c  176s |      22 |  2332513 |  1744022 |     1110   3816 |        0 |        0
178.76/178.81	c  178s |      22 |  2360170 |  1763822 |     1110   3849 |        0 |        0
180.76/180.82	c  180s |      22 |  2386242 |  1783322 |     1110   3883 |        0 |        0
182.76/182.82	c  182s |      22 |  2410528 |  1801722 |     1110   3914 |        0 |        0
184.76/184.83	c  184s |      22 |  2435640 |  1820122 |     1110   3945 |        0 |        0
186.76/186.84	c  186s |      22 |  2463315 |  1840322 |     1110   3980 |        0 |        0
188.76/188.84	c  188s |      22 |  2489757 |  1859822 |     1110   4015 |        0 |        0
190.76/190.85	c  190s |      22 |  2514676 |  1878722 |     1110   4047 |        0 |        0
192.75/192.85	c  192s |      22 |  2542690 |  1898622 |     1110   4081 |        0 |        0
194.76/194.85	c  194s |      22 |  2569246 |  1918022 |     1110   4115 |        0 |        0
196.75/196.87	c  196s |      22 |  2594141 |  1936622 |     1110   4146 |        0 |        0
198.75/198.87	c  198s |      22 |  2618865 |  1955522 |     1110   4178 |        0 |        0
200.75/200.88	c  200s |      22 |  2641699 |  1973022 |     1110   4209 |        0 |        0
202.76/202.89	c  202s |      22 |  2668659 |  1993022 |     1110   4243 |        0 |        0
204.76/204.89	c  204s |      22 |  2695442 |  2012622 |     1110   4278 |        0 |        0
206.77/206.90	c  206s |      22 |  2722743 |  2032622 |     1110   4313 |        0 |        0
208.86/208.90	c  208s |      22 |  2748845 |  2051722 |     1110   4346 |        0 |        0
210.86/210.91	c  210s |      22 |  2775028 |  2070722 |     1110   4378 |        0 |        0
212.85/212.92	c  212s |      22 |  2800457 |  2089822 |     1110   4410 |        0 |        0
214.85/214.93	c  214s |      22 |  2827166 |  2109622 |     1110   4444 |        0 |        0
216.85/216.93	c  216s |      22 |  2853324 |  2129022 |     1110   4478 |        0 |        0
218.86/218.94	c  218s |      22 |  2878959 |  2148422 |     1110   4511 |        0 |        0
220.86/220.95	c  220s |      22 |  2903958 |  2167022 |     1110   4544 |        0 |        0
222.86/222.96	c  222s |      22 |  2927592 |  2185322 |     1110   4576 |        0 |        0
224.86/224.97	c  224s |      22 |  2952008 |  2204122 |     1110   4609 |        0 |        0
226.86/226.97	c  226s |      22 |  2979917 |  2224922 |     1110   4645 |        0 |        0
228.86/228.98	c  228s |      22 |  3006388 |  2244922 |     1221   4678 |        0 |        0
229.56/229.62	c  229s |      23 |  3014809 |  2251038 |     1221   4688 |        0 |        0
231.55/231.63	c  231s |      23 |  3040339 |  2269538 |     1221   4716 |        0 |        0
233.55/233.64	c  233s |      23 |  3064763 |  2286738 |     1221   4743 |        0 |        0
235.55/235.64	c  235s |      23 |  3090496 |  2304338 |     1221   4770 |        0 |        0
237.56/237.65	c  237s |      23 |  3115983 |  2322738 |     1221   4798 |        0 |        0
239.55/239.65	c  239s |      23 |  3140692 |  2340638 |     1221   4826 |        0 |        0
241.55/241.65	c  241s |      23 |  3164764 |  2357738 |     1221   4852 |        0 |        0
243.55/243.66	c  243s |      23 |  3189727 |  2375138 |     1221   4879 |        0 |        0
245.55/245.67	c  245s |      23 |  3214016 |  2392638 |     1221   4906 |        0 |        0
247.56/247.67	c  247s |      23 |  3239482 |  2409438 |     1221   4932 |        0 |        0
249.55/249.68	c  249s |      23 |  3261747 |  2425338 |     1221   4957 |        0 |        0
251.55/251.68	c  251s |      23 |  3286240 |  2442138 |     1221   4983 |        0 |        0
253.55/253.69	c  253s |      23 |  3310600 |  2458038 |     1221   5008 |        0 |        0
255.54/255.69	c  255s |      23 |  3336782 |  2474538 |     1221   5033 |        0 |        0
257.64/257.70	c  257s |      23 |  3362872 |  2492938 |     1221   5062 |        0 |        0
259.66/259.71	c  259s |      23 |  3386873 |  2509138 |     1221   5087 |        0 |        0
261.65/261.71	c  261s |      23 |  3409639 |  2524938 |     1221   5112 |        0 |        0
263.65/263.72	c  263s |      23 |  3431597 |  2540438 |     1221   5136 |        0 |        0
265.65/265.72	c  265s |      23 |  3454613 |  2556538 |     1221   5160 |        0 |        0
267.65/267.72	c  267s |      23 |  3477768 |  2572038 |     1221   5184 |        0 |        0
269.65/269.73	c  269s |      23 |  3502558 |  2590238 |     1221   5213 |        0 |        0
271.66/271.74	c  271s |      23 |  3526486 |  2608138 |     1221   5240 |        0 |        0
273.65/273.74	c  273s |      23 |  3552184 |  2626638 |     1221   5270 |        0 |        0
275.65/275.74	c  275s |      23 |  3577737 |  2645038 |     1221   5298 |        0 |        0
277.65/277.74	c  277s |      23 |  3602303 |  2662538 |     1221   5326 |        0 |        0
279.65/279.75	c  279s |      23 |  3626820 |  2679738 |     1221   5353 |        0 |        0
281.65/281.76	c  281s |      23 |  3650817 |  2697838 |     1221   5381 |        0 |        0
283.65/283.76	c  283s |      23 |  3679273 |  2716938 |     1221   5412 |        0 |        0
285.64/285.77	c  285s |      23 |  3703002 |  2734538 |     1221   5439 |        0 |        0
287.64/287.77	c  287s |      23 |  3727670 |  2752438 |     1221   5466 |        0 |        0
289.64/289.78	c  289s |      23 |  3751291 |  2769538 |     1221   5492 |        0 |        0
291.64/291.79	c  291s |      23 |  3776315 |  2787138 |     1221   5519 |        0 |        0
293.65/293.79	c  293s |      23 |  3799146 |  2803738 |     1221   5545 |        0 |        0
295.64/295.79	c  295s |      23 |  3823662 |  2821038 |     1221   5571 |        0 |        0
297.74/297.80	c  297s |      23 |  3848321 |  2837938 |     1221   5597 |        0 |        0
299.74/299.81	c  299s |      23 |  3873951 |  2855238 |     1221   5624 |        0 |        0
301.74/301.81	c  301s |      23 |  3899725 |  2873038 |     1221   5652 |        0 |        0
303.74/303.81	c  303s |      23 |  3925476 |  2889938 |     1221   5679 |        0 |        0
305.75/305.82	c  305s |      23 |  3950282 |  2906738 |     1221   5705 |        0 |        0
307.74/307.82	c  307s |      23 |  3975289 |  2924138 |     1221   5733 |        0 |        0
309.74/309.83	c  309s |      23 |  4000891 |  2942038 |     1221   5761 |        0 |        0
311.74/311.83	c  311s |      23 |  4025147 |  2958938 |     1221   5787 |        0 |        0
313.74/313.85	c  313s |      23 |  4049444 |  2976438 |     1221   5815 |        0 |        0
315.75/315.86	c  315s |      23 |  4075156 |  2994338 |     1221   5843 |        0 |        0
317.74/317.86	c  317s |      23 |  4100862 |  3010938 |     1221   5869 |        0 |        0
319.74/319.86	c  319s |      23 |  4123733 |  3028338 |     1221   5896 |        0 |        0
321.74/321.87	c  321s |      23 |  4147111 |  3045238 |     1221   5922 |        0 |        0
323.74/323.88	c  323s |      23 |  4173497 |  3063138 |     1221   5950 |        0 |        0
325.74/325.88	c  325s |      23 |  4196375 |  3080138 |     1221   5977 |        0 |        0
327.75/327.89	c  327s |      23 |  4219907 |  3096938 |     1221   6004 |        0 |        0
329.74/329.89	c  329s |      23 |  4245250 |  3115438 |     1221   6032 |        0 |        0
331.83/331.90	c  331s |      23 |  4270776 |  3133638 |     1221   6061 |        0 |        0
333.83/333.91	c  333s |      23 |  4295894 |  3152038 |     1221   6089 |        0 |        0
335.83/335.92	c  335s |      23 |  4321285 |  3170438 |     1221   6118 |        0 |        0
337.83/337.92	c  337s |      23 |  4347345 |  3188438 |     1221   6146 |        0 |        0
339.84/339.93	c  339s |      23 |  4372350 |  3205938 |     1221   6174 |        0 |        0
341.83/341.94	c  341s |      23 |  4396402 |  3223438 |     1221   6201 |        0 |        0
343.83/343.94	c  343s |      23 |  4421054 |  3240738 |     1221   6228 |        0 |        0
345.83/345.95	c  345s |      23 |  4444076 |  3256938 |     1221   6254 |        0 |        0
347.83/347.96	c  347s |      23 |  4469086 |  3274338 |     1221   6281 |        0 |        0
349.84/349.97	c  349s |      23 |  4494814 |  3291438 |     1221   6307 |        0 |        0
351.83/351.97	c  351s |      23 |  4517821 |  3308138 |     1221   6333 |        0 |        0
353.83/353.97	c  353s |      23 |  4543030 |  3326138 |     1221   6361 |        0 |        0
355.84/355.98	c  355s |      23 |  4568905 |  3343838 |     1221   6389 |        0 |        0
357.84/357.98	c  357s |      23 |  4593324 |  3361138 |     1344   6415 |        0 |        0
359.74/359.84	c  359s |      24 |  4614796 |  3376662 |     1344   6437 |        0 |        0
361.74/361.85	c  361s |      24 |  4636204 |  3393462 |     1344   6460 |        0 |        0
363.73/363.85	c  363s |      24 |  4658169 |  3409962 |     1344   6482 |        0 |        0
365.73/365.86	c  365s |      24 |  4678864 |  3425762 |     1344   6504 |        0 |        0
367.73/367.86	c  367s |      24 |  4700810 |  3442562 |     1344   6528 |        0 |        0
369.73/369.87	c  369s |      24 |  4723638 |  3459562 |     1344   6552 |        0 |        0
371.74/371.88	c  371s |      24 |  4745383 |  3476262 |     1344   6575 |        0 |        0
373.73/373.89	c  373s |      24 |  4768378 |  3493162 |     1344   6599 |        0 |        0
375.83/375.90	c  375s |      24 |  4789873 |  3509662 |     1344   6622 |        0 |        0
377.83/377.91	c  377s |      24 |  4809551 |  3525362 |     1344   6645 |        0 |        0
379.83/379.92	c  379s |      24 |  4831304 |  3541862 |     1344   6668 |        0 |        0
381.83/381.92	c  381s |      24 |  4855096 |  3559262 |     1344   6693 |        0 |        0
383.83/383.93	c  383s |      24 |  4876685 |  3574962 |     1344   6716 |        0 |        0
385.83/385.93	c  385s |      24 |  4896902 |  3590462 |     1344   6738 |        0 |        0
387.83/387.94	c  387s |      24 |  4918280 |  3606462 |     1344   6761 |        0 |        0
389.83/389.95	c  389s |      24 |  4937553 |  3621362 |     1344   6782 |        0 |        0
391.83/391.96	c  391s |      24 |  4958944 |  3637362 |     1344   6805 |        0 |        0
393.83/393.96	c  393s |      24 |  4980125 |  3653462 |     1344   6828 |        0 |        0
395.82/395.96	c  395s |      24 |  5000770 |  3669162 |     1344   6851 |        0 |        0
397.82/397.97	c  397s |      24 |  5022028 |  3684862 |     1344   6873 |        0 |        0
399.83/399.97	c  399s |      24 |  5041800 |  3700262 |     1344   6896 |        0 |        0
401.83/401.98	c  401s |      24 |  5063597 |  3716762 |     1344   6920 |        0 |        0
403.83/403.98	c  403s |      24 |  5084410 |  3732462 |     1344   6942 |        0 |        0
405.84/405.98	c  405s |      24 |  5107087 |  3748462 |     1344   6966 |        0 |        0
407.83/407.99	c  407s |      24 |  5129689 |  3764562 |     1344   6989 |        0 |        0
409.83/410.00	c  409s |      24 |  5150546 |  3779762 |     1344   7011 |        0 |        0
411.93/412.00	c  411s |      24 |  5173839 |  3796062 |     1344   7034 |        0 |        0
413.93/414.02	c  414s |      24 |  5195513 |  3812062 |     1344   7058 |        0 |        0
415.93/416.03	c  416s |      24 |  5217074 |  3828062 |     1344   7081 |        0 |        0
417.93/418.03	c  418s |      24 |  5239907 |  3843862 |     1344   7104 |        0 |        0
419.93/420.03	c  420s |      24 |  5261675 |  3859562 |     1344   7126 |        0 |        0
421.92/422.04	c  422s |      24 |  5281679 |  3874462 |     1344   7147 |        0 |        0
423.92/424.04	c  424s |      24 |  5300887 |  3888562 |     1344   7168 |        0 |        0
425.92/426.05	c  426s |      24 |  5321274 |  3903662 |     1344   7189 |        0 |        0
427.93/428.05	c  428s |      24 |  5342087 |  3919062 |     1344   7211 |        0 |        0
429.92/430.06	c  430s |      24 |  5362765 |  3934162 |     1344   7233 |        0 |        0
431.92/432.06	c  432s |      24 |  5384344 |  3949862 |     1344   7255 |        0 |        0
433.92/434.07	c  434s |      24 |  5404362 |  3965062 |     1344   7277 |        0 |        0
435.92/436.08	c  436s |      24 |  5424956 |  3980262 |     1344   7298 |        0 |        0
437.92/438.08	c  438s |      24 |  5446769 |  3996162 |     1344   7321 |        0 |        0
439.93/440.08	c  440s |      24 |  5464237 |  4010162 |     1344   7341 |        0 |        0
441.92/442.10	c  442s |      24 |  5483933 |  4024962 |     1344   7362 |        0 |        0
444.02/444.11	c  444s |      24 |  5502312 |  4039162 |     1344   7382 |        0 |        0
446.02/446.11	c  446s |      24 |  5521632 |  4053362 |     1344   7403 |        0 |        0
448.02/448.12	c  448s |      24 |  5545809 |  4070062 |     1344   7427 |        0 |        0
450.02/450.12	c  450s |      24 |  5567818 |  4085462 |     1344   7449 |        0 |        0
452.03/452.13	c  452s |      24 |  5591337 |  4101862 |     1344   7473 |        0 |        0
454.02/454.14	c  454s |      24 |  5612400 |  4117162 |     1344   7495 |        0 |        0
456.02/456.14	c  456s |      24 |  5634571 |  4132462 |     1344   7517 |        0 |        0
458.02/458.14	c  458s |      24 |  5656384 |  4147962 |     1344   7540 |        0 |        0
460.02/460.16	c  460s |      24 |  5678508 |  4163762 |     1344   7562 |        0 |        0
462.03/462.16	c  462s |      24 |  5699554 |  4179162 |     1344   7585 |        0 |        0
464.02/464.17	c  464s |      24 |  5719534 |  4193762 |     1344   7606 |        0 |        0
466.02/466.17	c  466s |      24 |  5742206 |  4209462 |     1344   7628 |        0 |        0
468.02/468.19	c  468s |      24 |  5762266 |  4224062 |     1344   7650 |        0 |        0
470.12/470.20	c  470s |      24 |  5780503 |  4237862 |     1344   7670 |        0 |        0
472.12/472.21	c  472s |      24 |  5801482 |  4252562 |     1344   7691 |        0 |        0
474.13/474.22	c  474s |      24 |  5822100 |  4267762 |     1344   7713 |        0 |        0
476.12/476.23	c  476s |      24 |  5843499 |  4282862 |     1344   7735 |        0 |        0
478.12/478.23	c  478s |      24 |  5864817 |  4298162 |     1344   7757 |        0 |        0
480.11/480.24	c  480s |      24 |  5886399 |  4313262 |     1344   7778 |        0 |        0
482.11/482.25	c  482s |      24 |  5908655 |  4329262 |     1344   7801 |        0 |        0
484.11/484.26	c  484s |      24 |  5926193 |  4342862 |     1344   7821 |        0 |        0
486.12/486.26	c  486s |      24 |  5947881 |  4358162 |     1344   7843 |        0 |        0
488.11/488.26	c  488s |      24 |  5969865 |  4373562 |     1344   7865 |        0 |        0
490.11/490.26	c  490s |      24 |  5994191 |  4390262 |     1344   7889 |        0 |        0
492.11/492.27	c  492s |      24 |  6015661 |  4406162 |     1344   7912 |        0 |        0
494.12/494.27	c  494s |      24 |  6036390 |  4421762 |     1344   7935 |        0 |        0
496.12/496.28	c  496s |      24 |  6057938 |  4437862 |     1344   7958 |        0 |        0
498.12/498.28	c  498s |      24 |  6080713 |  4454862 |     1344   7982 |        0 |        0
500.12/500.28	c  500s |      24 |  6101852 |  4471162 |     1344   8006 |        0 |        0
502.11/502.28	c  502s |      24 |  6123765 |  4487762 |     1344   8030 |        0 |        0
504.11/504.30	c  504s |      24 |  6144473 |  4503862 |     1344   8054 |        0 |        0
506.21/506.30	c  506s |      24 |  6164065 |  4518762 |     1344   8075 |        0 |        0
508.22/508.31	c  508s |      24 |  6187204 |  4534762 |     1344   8098 |        0 |        0
510.21/510.31	c  510s |      24 |  6209600 |  4550462 |     1344   8121 |        0 |        0
512.21/512.31	c  512s |      24 |  6231083 |  4565862 |     1344   8143 |        0 |        0
514.21/514.33	c  514s |      24 |  6253458 |  4581762 |     1344   8165 |        0 |        0
516.21/516.33	c  516s |      24 |  6272988 |  4595862 |     1344   8186 |        0 |        0
518.21/518.34	c  518s |      24 |  6291222 |  4609662 |     1344   8205 |        0 |        0
520.21/520.35	c  520s |      24 |  6311838 |  4625762 |     1344   8228 |        0 |        0
522.21/522.36	c  522s |      24 |  6330266 |  4639762 |     1344   8249 |        0 |        0
524.21/524.36	c  524s |      24 |  6348358 |  4654162 |     1344   8270 |        0 |        0
526.21/526.37	c  526s |      24 |  6368941 |  4669162 |     1344   8291 |        0 |        0
528.21/528.38	c  528s |      24 |  6388787 |  4683462 |     1344   8312 |        0 |        0
530.21/530.39	c  530s |      24 |  6410182 |  4699062 |     1344   8334 |        0 |        0
532.20/532.39	c  532s |      24 |  6429917 |  4713562 |     1344   8355 |        0 |        0
534.30/534.40	c  534s |      24 |  6454936 |  4730762 |     1344   8379 |        0 |        0
536.30/536.40	c  536s |      24 |  6476489 |  4746562 |     1344   8402 |        0 |        0
538.30/538.42	c  538s |      24 |  6498302 |  4762462 |     1344   8425 |        0 |        0
540.30/540.42	c  540s |      24 |  6518676 |  4777662 |     1344   8447 |        0 |        0
542.31/542.44	c  542s |      24 |  6541778 |  4793562 |     1344   8470 |        0 |        0
544.30/544.44	c  544s |      24 |  6563306 |  4808662 |     1344   8492 |        0 |        0
546.30/546.44	c  546s |      24 |  6584436 |  4823662 |     1344   8514 |        0 |        0
548.30/548.45	c  548s |      24 |  6606133 |  4839062 |     1344   8536 |        0 |        0
550.30/550.46	c  550s |      24 |  6627567 |  4854062 |     1344   8557 |        0 |        0
552.30/552.47	c  552s |      24 |  6652239 |  4870162 |     1344   8581 |        0 |        0
554.31/554.47	c  554s |      24 |  6674211 |  4885662 |     1344   8603 |        0 |        0
556.30/556.48	c  556s |      24 |  6694289 |  4900162 |     1344   8624 |        0 |        0
558.30/558.48	c  558s |      24 |  6716193 |  4915362 |     1344   8646 |        0 |        0
560.30/560.49	c  560s |      24 |  6740144 |  4931562 |     1344   8669 |        0 |        0
562.30/562.49	c  562s |      24 |  6762212 |  4947062 |     1344   8692 |        0 |        0
564.40/564.50	c  564s |      24 |  6782603 |  4962262 |     1344   8714 |        0 |        0
566.30/566.50	c  566s |      24 |  6802019 |  4976662 |     1344   8735 |        0 |        0
568.40/568.52	c  568s |      24 |  6821822 |  4991162 |     1344   8756 |        0 |        0
570.40/570.53	c  570s |      24 |  6844060 |  5007262 |     1344   8778 |        0 |        0
572.40/572.53	c  572s |      24 |  6864359 |  5022062 |     1344   8799 |        0 |        0
574.40/574.53	c  574s |      24 |  6884387 |  5036762 |     1479   8819 |        0 |        0
576.41/576.54	c  576s |      24 |  6902758 |  5050362 |     1479   8837 |        0 |        0
578.30/578.41	c  578s |      25 |  6924034 |  5065098 |     1479   8856 |        0 |        0
580.30/580.41	c  580s |      25 |  6946614 |  5081698 |     1479   8878 |        0 |        0
582.30/582.42	c  582s |      25 |  6969456 |  5098598 |     1479   8900 |        0 |        0
584.30/584.42	c  584s |      25 |  6994620 |  5116298 |     1479   8923 |        0 |        0
586.30/586.42	c  586s |      25 |  7017239 |  5133498 |     1479   8945 |        0 |        0
588.30/588.42	c  588s |      25 |  7038867 |  5149998 |     1479   8966 |        0 |        0
590.30/590.44	c  590s |      25 |  7061865 |  5167298 |     1479   8988 |        0 |        0
592.29/592.44	c  592s |      25 |  7086307 |  5185398 |     1479   9012 |        0 |        0
594.29/594.44	c  594s |      25 |  7108546 |  5202098 |     1479   9034 |        0 |        0
596.29/596.45	c  596s |      25 |  7130100 |  5218698 |     1479   9055 |        0 |        0
598.30/598.45	c  598s |      25 |  7152651 |  5235598 |     1479   9078 |        0 |        0
600.29/600.46	c  600s |      25 |  7176570 |  5253298 |     1479   9101 |        0 |        0
602.30/602.47	c  602s |      25 |  7197960 |  5269498 |     1479   9122 |        0 |        0
604.30/604.47	c  604s |      25 |  7221834 |  5287098 |     1479   9145 |        0 |        0
606.30/606.47	c  606s |      25 |  7242825 |  5303298 |     1479   9166 |        0 |        0
608.30/608.48	c  608s |      25 |  7265609 |  5320398 |     1479   9189 |        0 |        0
610.30/610.49	c  610s |      25 |  7286408 |  5336698 |     1479   9210 |        0 |        0
612.40/612.50	c  612s |      25 |  7310177 |  5353798 |     1479   9233 |        0 |        0
614.40/614.51	c  614s |      25 |  7331502 |  5370298 |     1479   9254 |        0 |        0
616.40/616.51	c  616s |      25 |  7353134 |  5386698 |     1479   9276 |        0 |        0
618.40/618.52	c  618s |      25 |  7375877 |  5403998 |     1479   9299 |        0 |        0
620.40/620.52	c  620s |      25 |  7397764 |  5420498 |     1479   9320 |        0 |        0
622.39/622.53	c  622s |      25 |  7420062 |  5437198 |     1479   9342 |        0 |        0
624.39/624.54	c  624s |      25 |  7440016 |  5452598 |     1479   9363 |        0 |        0
626.39/626.55	c  626s |      25 |  7460729 |  5468498 |     1479   9384 |        0 |        0
628.39/628.55	c  628s |      25 |  7483132 |  5485398 |     1479   9406 |        0 |        0
630.39/630.56	c  630s |      25 |  7505399 |  5502298 |     1479   9428 |        0 |        0
632.40/632.57	c  632s |      25 |  7525720 |  5518198 |     1479   9449 |        0 |        0
634.39/634.58	c  634s |      25 |  7545384 |  5533498 |     1479   9469 |        0 |        0
636.39/636.59	c  636s |      25 |  7568213 |  5550198 |     1479   9491 |        0 |        0
638.39/638.59	c  638s |      25 |  7591488 |  5566898 |     1479   9513 |        0 |        0
640.49/640.60	c  640s |      25 |  7613353 |  5582598 |     1479   9534 |        0 |        0
642.49/642.61	c  642s |      25 |  7636203 |  5599298 |     1479   9556 |        0 |        0
644.49/644.61	c  644s |      25 |  7659574 |  5616798 |     1479   9579 |        0 |        0
646.49/646.62	c  646s |      25 |  7681298 |  5633198 |     1479   9600 |        0 |        0
648.48/648.63	c  648s |      25 |  7702865 |  5649998 |     1479   9622 |        0 |        0
650.49/650.65	c  650s |      25 |  7724648 |  5666898 |     1479   9645 |        0 |        0
652.49/652.65	c  652s |      25 |  7748753 |  5684798 |     1479   9668 |        0 |        0
654.50/654.66	c  654s |      25 |  7771282 |  5701698 |     1479   9690 |        0 |        0
656.49/656.66	c  656s |      25 |  7793202 |  5717998 |     1479   9712 |        0 |        0
658.49/658.67	c  658s |      25 |  7812740 |  5733398 |     1479   9732 |        0 |        0
660.49/660.68	c  660s |      25 |  7835083 |  5750198 |     1479   9755 |        0 |        0
662.49/662.69	c  662s |      25 |  7858456 |  5767098 |     1479   9777 |        0 |        0
664.49/664.69	c  664s |      25 |  7882025 |  5785098 |     1479   9800 |        0 |        0
666.50/666.69	c  666s |      25 |  7905783 |  5802898 |     1479   9824 |        0 |        0
668.49/668.70	c  668s |      25 |  7930234 |  5821198 |     1479   9848 |        0 |        0
670.59/670.71	c  670s |      25 |  7953308 |  5838298 |     1479   9870 |        0 |        0
672.59/672.72	c  672s |      25 |  7978441 |  5856598 |     1479   9894 |        0 |        0
674.59/674.72	c  674s |      25 |  7999270 |  5873098 |     1479   9916 |        0 |        0
676.59/676.73	c  676s |      25 |  8023538 |  5891198 |     1479   9940 |        0 |        0
678.59/678.73	c  678s |      25 |  8047134 |  5909098 |     1479   9963 |        0 |        0
680.58/680.74	c  680s |      25 |  8070795 |  5926398 |     1479   9986 |        0 |        0
682.58/682.75	c  682s |      25 |  8094153 |  5943998 |     1479  10009 |        0 |        0
684.58/684.75	c  684s |      25 |  8115147 |  5959998 |     1479  10030 |        0 |        0
686.58/686.75	c  686s |      25 |  8135991 |  5976298 |     1479  10051 |        0 |        0
688.59/688.77	c  688s |      25 |  8157189 |  5992698 |     1479  10073 |        0 |        0
690.58/690.77	c  690s |      25 |  8176853 |  6008498 |     1479  10094 |        0 |        0
692.58/692.77	c  692s |      25 |  8198642 |  6025298 |     1479  10116 |        0 |        0
694.58/694.78	c  694s |      25 |  8221930 |  6042698 |     1479  10139 |        0 |        0
696.58/696.78	c  696s |      25 |  8244745 |  6059798 |     1479  10161 |        0 |        0
698.58/698.78	c  698s |      25 |  8268402 |  6077298 |     1479  10184 |        0 |        0
700.58/700.79	c  700s |      25 |  8290096 |  6093998 |     1479  10206 |        0 |        0
702.58/702.80	c  702s |      25 |  8312632 |  6109998 |     1479  10227 |        0 |        0
704.68/704.80	c  704s |      25 |  8331533 |  6125098 |     1479  10247 |        0 |        0
706.68/706.80	c  706s |      25 |  8352103 |  6140698 |     1479  10268 |        0 |        0
708.68/708.80	c  708s |      25 |  8374977 |  6157698 |     1479  10290 |        0 |        0
710.68/710.81	c  710s |      25 |  8398914 |  6175298 |     1479  10313 |        0 |        0
712.69/712.82	c  712s |      25 |  8421488 |  6192298 |     1479  10336 |        0 |        0
714.68/714.83	c  714s |      25 |  8445397 |  6209998 |     1479  10359 |        0 |        0
716.68/716.83	c  716s |      25 |  8468930 |  6227198 |     1479  10382 |        0 |        0
718.68/718.84	c  718s |      25 |  8489844 |  6243398 |     1479  10404 |        0 |        0
720.68/720.85	c  720s |      25 |  8510887 |  6260198 |     1479  10426 |        0 |        0
722.69/722.85	c  722s |      25 |  8532316 |  6276698 |     1479  10448 |        0 |        0
724.68/724.86	c  724s |      25 |  8554532 |  6293798 |     1479  10471 |        0 |        0
726.68/726.86	c  726s |      25 |  8575470 |  6309998 |     1479  10492 |        0 |        0
728.68/728.86	c  728s |      25 |  8597272 |  6326998 |     1479  10515 |        0 |        0
730.68/730.87	c  730s |      25 |  8619585 |  6344198 |     1479  10538 |        0 |        0
732.68/732.87	c  732s |      25 |  8642424 |  6361398 |     1479  10561 |        0 |        0
734.68/734.88	c  734s |      25 |  8666182 |  6379298 |     1479  10584 |        0 |        0
736.67/736.89	c  736s |      25 |  8689241 |  6397098 |     1479  10608 |        0 |        0
738.78/738.90	c  738s |      25 |  8712531 |  6414498 |     1479  10630 |        0 |        0
740.78/740.91	c  740s |      25 |  8735728 |  6431998 |     1479  10653 |        0 |        0
742.78/742.91	c  742s |      25 |  8758909 |  6449198 |     1479  10676 |        0 |        0
744.78/744.92	c  744s |      25 |  8782960 |  6467098 |     1479  10700 |        0 |        0
746.78/746.92	c  746s |      25 |  8806625 |  6484898 |     1479  10723 |        0 |        0
748.77/748.93	c  748s |      25 |  8829726 |  6501798 |     1479  10745 |        0 |        0
750.77/750.94	c  750s |      25 |  8854005 |  6519598 |     1479  10768 |        0 |        0
752.77/752.95	c  752s |      25 |  8875951 |  6536098 |     1479  10789 |        0 |        0
754.77/754.96	c  754s |      25 |  8896073 |  6551298 |     1479  10809 |        0 |        0
756.78/756.97	c  756s |      25 |  8917072 |  6567598 |     1479  10830 |        0 |        0
758.77/758.97	c  758s |      25 |  8939964 |  6584598 |     1479  10852 |        0 |        0
760.77/760.97	c  760s |      25 |  8964264 |  6602598 |     1479  10876 |        0 |        0
762.77/762.98	c  762s |      25 |  8987666 |  6619998 |     1479  10899 |        0 |        0
764.77/764.99	c  764s |      25 |  9009855 |  6636698 |     1479  10921 |        0 |        0
766.87/767.00	c  766s |      25 |  9032045 |  6653598 |     1479  10943 |        0 |        0
768.87/769.01	c  768s |      25 |  9053453 |  6669598 |     1479  10964 |        0 |        0
770.87/771.01	c  770s |      25 |  9074913 |  6686298 |     1479  10986 |        0 |        0
772.87/773.01	c  772s |      25 |  9092838 |  6700798 |     1479  11005 |        0 |        0
774.87/775.02	c  775s |      25 |  9112880 |  6716298 |     1479  11026 |        0 |        0
776.87/777.03	c  777s |      25 |  9135763 |  6733398 |     1479  11048 |        0 |        0
778.87/779.04	c  779s |      25 |  9156455 |  6749098 |     1479  11069 |        0 |        0
780.88/781.04	c  781s |      25 |  9178905 |  6765598 |     1479  11091 |        0 |        0
782.87/783.05	c  783s |      25 |  9200854 |  6782198 |     1479  11113 |        0 |        0
784.87/785.05	c  785s |      25 |  9223492 |  6799298 |     1479  11135 |        0 |        0
786.87/787.05	c  787s |      25 |  9245453 |  6816098 |     1479  11157 |        0 |        0
788.87/789.06	c  789s |      25 |  9268370 |  6833298 |     1479  11180 |        0 |        0
790.87/791.06	c  791s |      25 |  9290887 |  6850298 |     1479  11202 |        0 |        0
792.87/793.07	c  793s |      25 |  9313730 |  6867098 |     1479  11224 |        0 |        0
794.87/795.07	c  795s |      25 |  9335720 |  6883798 |     1479  11246 |        0 |        0
796.87/797.08	c  797s |      25 |  9357492 |  6900298 |     1479  11268 |        0 |        0
798.87/799.08	c  799s |      25 |  9380600 |  6917598 |     1479  11290 |        0 |        0
800.86/801.09	c  801s |      25 |  9403518 |  6934698 |     1479  11313 |        0 |        0
802.87/803.09	c  803s |      25 |  9422769 |  6950298 |     1479  11333 |        0 |        0
804.96/805.10	c  805s |      25 |  9441509 |  6965198 |     1479  11353 |        0 |        0
806.96/807.11	c  807s |      25 |  9461238 |  6980798 |     1479  11374 |        0 |        0
808.96/809.12	c  809s |      25 |  9482760 |  6996998 |     1479  11395 |        0 |        0
810.96/811.13	c  811s |      25 |  9505893 |  7013798 |     1479  11417 |        0 |        0
812.96/813.13	c  813s |      25 |  9526705 |  7029398 |     1479  11437 |        0 |        0
814.97/815.14	c  815s |      25 |  9547874 |  7045498 |     1479  11458 |        0 |        0
816.96/817.14	c  817s |      25 |  9568951 |  7061798 |     1479  11480 |        0 |        0
818.96/819.16	c  819s |      25 |  9590862 |  7078498 |     1479  11502 |        0 |        0
820.96/821.16	c  821s |      25 |  9612460 |  7094998 |     1479  11523 |        0 |        0
822.96/823.17	c  823s |      25 |  9634911 |  7111898 |     1479  11545 |        0 |        0
824.96/825.18	c  825s |      25 |  9656712 |  7128298 |     1479  11567 |        0 |        0
826.96/827.19	c  827s |      25 |  9680098 |  7145498 |     1479  11590 |        0 |        0
828.96/829.19	c  829s |      25 |  9704104 |  7162798 |     1479  11613 |        0 |        0
830.96/831.19	c  831s |      25 |  9727655 |  7180298 |     1479  11635 |        0 |        0
833.06/833.20	c  833s |      25 |  9750835 |  7197698 |     1479  11657 |        0 |        0
835.06/835.20	c  835s |      25 |  9772545 |  7214298 |     1479  11679 |        0 |        0
837.06/837.22	c  837s |      25 |  9794922 |  7231098 |     1479  11701 |        0 |        0
839.06/839.23	c  839s |      25 |  9817339 |  7248198 |     1479  11723 |        0 |        0
841.06/841.24	c  841s |      25 |  9840288 |  7265898 |     1479  11746 |        0 |        0
843.06/843.24	c  843s |      25 |  9859827 |  7281998 |     1479  11767 |        0 |        0
845.06/845.24	c  845s |      25 |  9883229 |  7299698 |     1479  11790 |        0 |        0
847.06/847.24	c  847s |      25 |  9906886 |  7317298 |     1479  11814 |        0 |        0
849.07/849.25	c  849s |      25 |  9930364 |  7335098 |     1479  11837 |        0 |        0
851.06/851.26	c  851s |      25 |  9951949 |  7351098 |     1479  11858 |        0 |        0
853.06/853.27	c  853s |      25 |  9974141 |  7367798 |     1479  11880 |        0 |        0
855.06/855.27	c  855s |      25 |  9996309 |  7384498 |     1479  11901 |        0 |        0
857.06/857.27	c  857s |      25 | 10019030 |  7401598 |     1479  11924 |        0 |        0
859.07/859.28	c  859s |      25 | 10040369 |  7417898 |     1479  11945 |        0 |        0
861.06/861.28	c  861s |      25 | 10064014 |  7434998 |     1479  11968 |        0 |        0
863.06/863.29	c  863s |      25 | 10087550 |  7452398 |     1479  11990 |        0 |        0
865.16/865.30	c  865s |      25 | 10109923 |  7469198 |     1479  12013 |        0 |        0
867.15/867.31	c  867s |      25 | 10133180 |  7486298 |     1479  12035 |        0 |        0
869.15/869.32	c  869s |      25 | 10154634 |  7502698 |     1479  12057 |        0 |        0
871.16/871.33	c  871s |      25 | 10176411 |  7519098 |     1479  12078 |        0 |        0
873.15/873.34	c  873s |      25 | 10199894 |  7536198 |     1479  12101 |        0 |        0
875.15/875.34	c  875s |      25 | 10222245 |  7552398 |     1627  12121 |        0 |        0
877.16/877.35	c  877s |      25 | 10244559 |  7568898 |     1627  12141 |        0 |        0
879.16/879.35	c  879s |      25 | 10265577 |  7584898 |     1627  12160 |        0 |        0
880.76/880.96	c  880s |      26 | 10282357 |  7597752 |     1627  12175 |        0 |        0
882.76/882.97	c  882s |      26 | 10302284 |  7612652 |     1627  12192 |        0 |        0
884.76/884.97	c  884s |      26 | 10320827 |  7626552 |     1627  12209 |        0 |        0
886.76/886.97	c  886s |      26 | 10340414 |  7640752 |     1627  12225 |        0 |        0
888.76/888.98	c  888s |      26 | 10358295 |  7654252 |     1627  12241 |        0 |        0
890.75/890.98	c  890s |      26 | 10376559 |  7668252 |     1627  12258 |        0 |        0
892.75/893.00	c  892s |      26 | 10395259 |  7682252 |     1627  12275 |        0 |        0
894.85/895.00	c  894s |      26 | 10413303 |  7695952 |     1627  12291 |        0 |        0
896.85/897.02	c  897s |      26 | 10432259 |  7710052 |     1627  12308 |        0 |        0
898.85/899.03	c  899s |      26 | 10451507 |  7724452 |     1627  12324 |        0 |        0
900.86/901.04	c  901s |      26 | 10469188 |  7737952 |     1627  12340 |        0 |        0
902.84/903.06	c  903s |      26 | 10488548 |  7752352 |     1627  12357 |        0 |        0
904.84/905.06	c  905s |      26 | 10507261 |  7766352 |     1627  12374 |        0 |        0
906.84/907.07	c  907s |      26 | 10526765 |  7780952 |     1627  12391 |        0 |        0
908.84/909.08	c  909s |      26 | 10545506 |  7795252 |     1627  12408 |        0 |        0
910.84/911.08	c  911s |      26 | 10564998 |  7810052 |     1627  12425 |        0 |        0
912.84/913.09	c  913s |      26 | 10586199 |  7825652 |     1627  12444 |        0 |        0
914.93/915.10	c  915s |      26 | 10606663 |  7841152 |     1627  12462 |        0 |        0
916.93/917.11	c  917s |      26 | 10626417 |  7856152 |     1627  12479 |        0 |        0
918.93/919.11	c  919s |      26 | 10645841 |  7871252 |     1627  12497 |        0 |        0
920.93/921.12	c  921s |      26 | 10665610 |  7886452 |     1627  12515 |        0 |        0
922.93/923.12	c  923s |      26 | 10686268 |  7901852 |     1627  12533 |        0 |        0
924.93/925.13	c  925s |      26 | 10705738 |  7916452 |     1627  12550 |        0 |        0
926.93/927.13	c  927s |      26 | 10725696 |  7931352 |     1627  12568 |        0 |        0
928.93/929.14	c  929s |      26 | 10747578 |  7947152 |     1627  12587 |        0 |        0
930.93/931.15	c  931s |      26 | 10767453 |  7962652 |     1627  12604 |        0 |        0
932.92/933.15	c  933s |      26 | 10785482 |  7976952 |     1627  12621 |        0 |        0
934.93/935.16	c  935s |      26 | 10803168 |  7990652 |     1627  12637 |        0 |        0
936.93/937.17	c  937s |      26 | 10822978 |  8005852 |     1627  12654 |        0 |        0
938.93/939.18	c  939s |      26 | 10840392 |  8019052 |     1627  12670 |        0 |        0
941.03/941.20	c  941s |      26 | 10857475 |  8032152 |     1627  12685 |        0 |        0
943.03/943.20	c  943s |      26 | 10872813 |  8044052 |     1627  12699 |        0 |        0
945.02/945.22	c  945s |      26 | 10889805 |  8056752 |     1627  12715 |        0 |        0
947.03/947.22	c  947s |      26 | 10909982 |  8071252 |     1627  12732 |        0 |        0
949.02/949.23	c  949s |      26 | 10929320 |  8085352 |     1627  12748 |        0 |        0
951.02/951.23	c  951s |      26 | 10948647 |  8099852 |     1627  12765 |        0 |        0
953.02/953.24	c  953s |      26 | 10965384 |  8113252 |     1627  12781 |        0 |        0
955.02/955.24	c  955s |      26 | 10983122 |  8126752 |     1627  12797 |        0 |        0
957.02/957.25	c  957s |      26 | 10998786 |  8139152 |     1627  12812 |        0 |        0
959.02/959.25	c  959s |      26 | 11016396 |  8152552 |     1627  12828 |        0 |        0
961.01/961.26	c  961s |      26 | 11034286 |  8166152 |     1627  12845 |        0 |        0
963.01/963.27	c  963s |      26 | 11055261 |  8180752 |     1627  12862 |        0 |        0
965.01/965.27	c  965s |      26 | 11073960 |  8194652 |     1627  12878 |        0 |        0
967.01/967.28	c  967s |      26 | 11090664 |  8207452 |     1627  12893 |        0 |        0
969.11/969.30	c  969s |      26 | 11106845 |  8219952 |     1627  12908 |        0 |        0
971.12/971.30	c  971s |      26 | 11123157 |  8232752 |     1627  12923 |        0 |        0
973.10/973.31	c  973s |      26 | 11141278 |  8246852 |     1627  12940 |        0 |        0
975.10/975.32	c  975s |      26 | 11162028 |  8262552 |     1627  12958 |        0 |        0
977.10/977.33	c  977s |      26 | 11182358 |  8277752 |     1627  12976 |        0 |        0
979.10/979.34	c  979s |      26 | 11200045 |  8291852 |     1627  12993 |        0 |        0
981.11/981.35	c  981s |      26 | 11218853 |  8306452 |     1627  13010 |        0 |        0
983.10/983.35	c  983s |      26 | 11235431 |  8319352 |     1627  13025 |        0 |        0
985.10/985.36	c  985s |      26 | 11253623 |  8333452 |     1627  13041 |        0 |        0
987.10/987.38	c  987s |      26 | 11271680 |  8346752 |     1627  13057 |        0 |        0
989.19/989.40	c  989s |      26 | 11288577 |  8359752 |     1627  13072 |        0 |        0
991.19/991.40	c  991s |      26 | 11306620 |  8373552 |     1627  13089 |        0 |        0
993.11/993.40	c  993s |      26 | 11323423 |  8386852 |     1627  13104 |        0 |        0
995.20/995.42	c  995s |      26 | 11342313 |  8400752 |     1627  13121 |        0 |        0
997.20/997.44	c  997s |      26 | 11361386 |  8414852 |     1627  13137 |        0 |        0
999.20/999.44	c  999s |      26 | 11381046 |  8429652 |     1627  13154 |        0 |        0
1001.19/1001.44	c 1001s |      26 | 11399454 |  8443952 |     1627  13171 |        0 |        0
1003.19/1003.45	c 1003s |      26 | 11418166 |  8458252 |     1627  13187 |        0 |        0
1005.20/1005.46	c 1005s |      26 | 11436158 |  8472252 |     1627  13204 |        0 |        0
1007.19/1007.46	c 1007s |      26 | 11454945 |  8486552 |     1627  13220 |        0 |        0
1009.19/1009.48	c 1009s |      26 | 11473075 |  8500652 |     1627  13237 |        0 |        0
1011.19/1011.48	c 1011s |      26 | 11492431 |  8514952 |     1627  13254 |        0 |        0
1013.18/1013.49	c 1013s |      26 | 11509179 |  8527652 |     1627  13268 |        0 |        0
1015.19/1015.49	c 1015s |      26 | 11524546 |  8539552 |     1627  13282 |        0 |        0
1017.18/1017.50	c 1017s |      26 | 11542911 |  8553352 |     1627  13299 |        0 |        0
1019.28/1019.50	c 1019s |      26 | 11562116 |  8567852 |     1627  13316 |        0 |        0
1021.28/1021.51	c 1021s |      26 | 11581267 |  8582752 |     1627  13333 |        0 |        0
1023.27/1023.52	c 1023s |      26 | 11599732 |  8596452 |     1627  13349 |        0 |        0
1025.27/1025.53	c 1025s |      26 | 11617792 |  8610552 |     1627  13366 |        0 |        0
1027.28/1027.54	c 1027s |      26 | 11634898 |  8623852 |     1627  13382 |        0 |        0
1029.27/1029.55	c 1029s |      26 | 11653173 |  8637852 |     1627  13398 |        0 |        0
1031.27/1031.56	c 1031s |      26 | 11673130 |  8652852 |     1627  13416 |        0 |        0
1033.27/1033.56	c 1033s |      26 | 11691168 |  8666452 |     1627  13432 |        0 |        0
1035.26/1035.56	c 1035s |      26 | 11709483 |  8680152 |     1627  13448 |        0 |        0
1037.26/1037.57	c 1037s |      26 | 11728277 |  8694152 |     1627  13464 |        0 |        0
1039.27/1039.59	c 1039s |      26 | 11744580 |  8707352 |     1627  13480 |        0 |        0
1041.26/1041.59	c 1041s |      26 | 11764006 |  8722252 |     1627  13497 |        0 |        0
1043.36/1043.61	c 1043s |      26 | 11783625 |  8736852 |     1627  13515 |        0 |        0
1045.36/1045.62	c 1045s |      26 | 11804221 |  8752352 |     1627  13533 |        0 |        0
1047.36/1047.62	c 1047s |      26 | 11822495 |  8766652 |     1627  13550 |        0 |        0
1049.36/1049.63	c 1049s |      26 | 11841285 |  8780952 |     1627  13566 |        0 |        0
1051.37/1051.63	c 1051s |      26 | 11860301 |  8795452 |     1627  13583 |        0 |        0
1053.36/1053.64	c 1053s |      26 | 11880000 |  8810252 |     1627  13601 |        0 |        0
1055.36/1055.65	c 1055s |      26 | 11896328 |  8823252 |     1627  13616 |        0 |        0
1057.36/1057.66	c 1057s |      26 | 11915696 |  8838352 |     1627  13634 |        0 |        0
1059.36/1059.67	c 1059s |      26 | 11935198 |  8853152 |     1627  13651 |        0 |        0
1061.37/1061.67	c 1061s |      26 | 11953261 |  8867352 |     1627  13668 |        0 |        0
1063.35/1063.68	c 1063s |      26 | 11970710 |  8880752 |     1627  13683 |        0 |        0
1065.35/1065.69	c 1065s |      26 | 11989171 |  8894552 |     1627  13699 |        0 |        0
1067.35/1067.69	c 1067s |      26 | 12006642 |  8907952 |     1627  13715 |        0 |        0
1069.35/1069.69	c 1069s |      26 | 12025081 |  8922452 |     1627  13732 |        0 |        0
1071.35/1071.69	c 1071s |      26 | 12042552 |  8936552 |     1627  13748 |        0 |        0
1073.35/1073.70	c 1073s |      26 | 12060090 |  8950752 |     1627  13764 |        0 |        0
1075.44/1075.71	c 1075s |      26 | 12077985 |  8964952 |     1627  13781 |        0 |        0
1077.44/1077.71	c 1077s |      26 | 12095676 |  8978952 |     1627  13797 |        0 |        0
1079.44/1079.72	c 1079s |      26 | 12113025 |  8992752 |     1627  13813 |        0 |        0
1081.44/1081.73	c 1081s |      26 | 12131533 |  9007252 |     1627  13829 |        0 |        0
1083.44/1083.74	c 1083s |      26 | 12151204 |  9022652 |     1627  13847 |        0 |        0
1085.45/1085.74	c 1085s |      26 | 12170676 |  9037952 |     1627  13865 |        0 |        0
1087.44/1087.75	c 1087s |      26 | 12189734 |  9052552 |     1627  13882 |        0 |        0
1089.44/1089.76	c 1089s |      26 | 12209818 |  9067452 |     1627  13899 |        0 |        0
1091.44/1091.77	c 1091s |      26 | 12229545 |  9082752 |     1627  13917 |        0 |        0
1093.44/1093.78	c 1093s |      26 | 12248998 |  9097552 |     1627  13935 |        0 |        0
1095.45/1095.79	c 1095s |      26 | 12267270 |  9111952 |     1627  13951 |        0 |        0
1097.44/1097.79	c 1097s |      26 | 12288991 |  9128052 |     1627  13970 |        0 |        0
1099.54/1099.80	c 1099s |      26 | 12308888 |  9143852 |     1627  13989 |        0 |        0
1101.54/1101.80	c 1101s |      26 | 12328932 |  9159252 |     1627  14007 |        0 |        0
1103.53/1103.81	c 1103s |      26 | 12348835 |  9174752 |     1627  14025 |        0 |        0
1105.53/1105.81	c 1105s |      26 | 12368837 |  9190452 |     1627  14044 |        0 |        0
1107.53/1107.82	c 1107s |      26 | 12389038 |  9206052 |     1627  14062 |        0 |        0
1109.53/1109.82	c 1109s |      26 | 12408729 |  9221352 |     1627  14080 |        0 |        0
1111.53/1111.83	c 1111s |      26 | 12429524 |  9237452 |     1627  14099 |        0 |        0
1113.52/1113.83	c 1113s |      26 | 12448798 |  9252452 |     1627  14116 |        0 |        0
1115.52/1115.85	c 1115s |      26 | 12469841 |  9268252 |     1627  14135 |        0 |        0
1117.52/1117.85	c 1117s |      26 | 12488026 |  9282652 |     1627  14152 |        0 |        0
1119.52/1119.86	c 1119s |      26 | 12508226 |  9298452 |     1627  14170 |        0 |        0
1121.52/1121.87	c 1121s |      26 | 12527257 |  9313452 |     1627  14188 |        0 |        0
1123.51/1123.87	c 1123s |      26 | 12546961 |  9328452 |     1627  14206 |        0 |        0
1125.51/1125.88	c 1125s |      26 | 12565575 |  9343052 |     1627  14223 |        0 |        0
1127.51/1127.89	c 1127s |      26 | 12584264 |  9357452 |     1627  14240 |        0 |        0
1129.61/1129.90	c 1129s |      26 | 12602627 |  9371552 |     1627  14257 |        0 |        0
1131.62/1131.91	c 1131s |      26 | 12622193 |  9386052 |     1627  14274 |        0 |        0
1133.60/1133.92	c 1133s |      26 | 12640952 |  9400152 |     1627  14291 |        0 |        0
1135.61/1135.92	c 1135s |      26 | 12659329 |  9414352 |     1627  14308 |        0 |        0
1137.61/1137.93	c 1137s |      26 | 12679713 |  9429452 |     1627  14326 |        0 |        0
1139.61/1139.94	c 1139s |      26 | 12698487 |  9443952 |     1627  14344 |        0 |        0
1141.62/1141.94	c 1141s |      26 | 12718520 |  9458852 |     1627  14362 |        0 |        0
1143.60/1143.94	c 1143s |      26 | 12737576 |  9473352 |     1627  14379 |        0 |        0
1145.60/1145.95	c 1145s |      26 | 12755871 |  9487152 |     1627  14395 |        0 |        0
1147.60/1147.96	c 1147s |      26 | 12774598 |  9501452 |     1627  14412 |        0 |        0
1149.60/1149.96	c 1149s |      26 | 12793208 |  9515652 |     1627  14429 |        0 |        0
1151.60/1151.97	c 1151s |      26 | 12811439 |  9530052 |     1627  14447 |        0 |        0
1153.60/1153.97	c 1153s |      26 | 12830579 |  9544652 |     1627  14464 |        0 |        0
1155.60/1155.99	c 1155s |      26 | 12847926 |  9558352 |     1627  14480 |        0 |        0
1157.60/1157.99	c 1157s |      26 | 12866332 |  9572652 |     1627  14497 |        0 |        0
1159.59/1159.99	c 1159s |      26 | 12883417 |  9586452 |     1627  14514 |        0 |        0
1161.59/1161.99	c 1161s |      26 | 12901327 |  9600152 |     1627  14530 |        0 |        0
1163.69/1164.01	c 1163s |      26 | 12919766 |  9614552 |     1627  14548 |        0 |        0
1165.70/1166.02	c 1166s |      26 | 12938713 |  9629352 |     1627  14565 |        0 |        0
1167.69/1168.03	c 1168s |      26 | 12959471 |  9644952 |     1627  14584 |        0 |        0
1169.69/1170.04	c 1170s |      26 | 12980535 |  9660752 |     1627  14602 |        0 |        0
1171.69/1172.04	c 1172s |      26 | 13000258 |  9676052 |     1627  14621 |        0 |        0
1173.68/1174.05	c 1174s |      26 | 13019879 |  9691352 |     1627  14639 |        0 |        0
1175.69/1176.06	c 1176s |      26 | 13038687 |  9705852 |     1627  14656 |        0 |        0
1177.68/1178.06	c 1178s |      26 | 13056595 |  9719552 |     1627  14672 |        0 |        0
1179.68/1180.07	c 1180s |      26 | 13076438 |  9734252 |     1627  14690 |        0 |        0
1181.68/1182.07	c 1182s |      26 | 13096004 |  9749052 |     1627  14707 |        0 |        0
1183.68/1184.07	c 1184s |      26 | 13115355 |  9763652 |     1627  14725 |        0 |        0
1185.68/1186.08	c 1186s |      26 | 13135081 |  9778652 |     1627  14743 |        0 |        0
1187.68/1188.08	c 1188s |      26 | 13150520 |  9791352 |     1627  14758 |        0 |        0
1189.68/1190.08	c 1190s |      26 | 13168436 |  9805152 |     1627  14774 |        0 |        0
1191.68/1192.09	c 1192s |      26 | 13186734 |  9819452 |     1627  14791 |        0 |        0
1193.77/1194.10	c 1194s |      26 | 13206863 |  9834852 |     1627  14810 |        0 |        0
1195.77/1196.10	c 1196s |      26 | 13227508 |  9850152 |     1627  14828 |        0 |        0
1197.77/1198.11	c 1198s |      26 | 13247798 |  9865552 |     1627  14847 |        0 |        0
1199.78/1200.12	c 1200s |      26 | 13268526 |  9881152 |     1627  14865 |        0 |        0
1201.77/1202.13	c 1202s |      26 | 13287670 |  9895852 |     1627  14883 |        0 |        0
1203.76/1204.14	c 1204s |      26 | 13307387 |  9910652 |     1627  14900 |        0 |        0
1205.76/1206.15	c 1206s |      26 | 13326331 |  9925352 |     1627  14918 |        0 |        0
1207.76/1208.16	c 1208s |      26 | 13344747 |  9939452 |     1627  14935 |        0 |        0
1209.77/1210.16	c 1210s |      26 | 13364435 |  9954352 |     1627  14952 |        0 |        0
1211.76/1212.17	c 1212s |      26 | 13385538 |  9969852 |     1627  14971 |        0 |        0
1213.75/1214.18	c 1214s |      26 | 13405039 |  9984552 |     1627  14989 |        0 |        0
1215.75/1216.19	c 1216s |      26 | 13423362 |  9998952 |     1627  15006 |        0 |        0
1217.85/1218.20	c 1218s |      26 | 13441302 | 10012852 |     1627  15023 |        0 |        0
1219.85/1220.21	c 1220s |      26 | 13460713 | 10027552 |     1627  15041 |        0 |        0
1221.86/1222.23	c 1222s |      26 | 13480222 | 10042552 |     1627  15059 |        0 |        0
1223.85/1224.23	c 1224s |      26 | 13499157 | 10056552 |     1627  15075 |        0 |        0
1225.85/1226.24	c 1226s |      26 | 13520474 | 10072152 |     1627  15094 |        0 |        0
1227.85/1228.26	c 1228s |      26 | 13537757 | 10085152 |     1627  15110 |        0 |        0
1229.85/1230.26	c 1230s |      26 | 13558113 | 10099652 |     1627  15127 |        0 |        0
1231.85/1232.28	c 1232s |      26 | 13579353 | 10115052 |     1627  15146 |        0 |        0
1233.85/1234.29	c 1234s |      26 | 13598656 | 10129652 |     1627  15163 |        0 |        0
1235.84/1236.29	c 1236s |      26 | 13618882 | 10144852 |     1627  15181 |        0 |        0
1237.84/1238.30	c 1238s |      26 | 13640412 | 10160352 |     1627  15199 |        0 |        0
1239.94/1240.31	c 1240s |      26 | 13660507 | 10175252 |     1627  15217 |        0 |        0
1241.94/1242.32	c 1242s |      26 | 13680896 | 10190652 |     1627  15235 |        0 |        0
1243.94/1244.33	c 1244s |      26 | 13700794 | 10205552 |     1627  15253 |        0 |        0
1245.94/1246.35	c 1246s |      26 | 13718690 | 10219152 |     1627  15270 |        0 |        0
1247.94/1248.35	c 1248s |      26 | 13736095 | 10232552 |     1627  15286 |        0 |        0
1249.94/1250.36	c 1250s |      26 | 13755883 | 10247552 |     1627  15304 |        0 |        0
1251.93/1252.37	c 1252s |      26 | 13776558 | 10262952 |     1627  15322 |        0 |        0
1253.93/1254.38	c 1254s |      26 | 13798128 | 10279052 |     1627  15341 |        0 |        0
1255.95/1256.39	c 1256s |      26 | 13819192 | 10295152 |     1627  15360 |        0 |        0
1257.94/1258.40	c 1258s |      26 | 13840435 | 10311052 |     1627  15379 |        0 |        0
1260.04/1260.40	c 1260s |      26 | 13861125 | 10326752 |     1627  15397 |        0 |        0
1262.04/1262.41	c 1262s |      26 | 13882242 | 10342252 |     1627  15416 |        0 |        0
1264.03/1264.43	c 1264s |      26 | 13901957 | 10357252 |     1627  15434 |        0 |        0
1266.03/1266.44	c 1266s |      26 | 13920654 | 10371552 |     1627  15451 |        0 |        0
1268.04/1268.45	c 1268s |      26 | 13936438 | 10384152 |     1627  15466 |        0 |        0
1270.03/1270.45	c 1270s |      26 | 13951267 | 10396152 |     1627  15480 |        0 |        0
1272.03/1272.46	c 1272s |      26 | 13965831 | 10407652 |     1627  15493 |        0 |        0
1274.02/1274.46	c 1274s |      26 | 13982685 | 10420752 |     1627  15509 |        0 |        0
1276.02/1276.47	c 1276s |      26 | 14001949 | 10435752 |     1627  15527 |        0 |        0
1278.02/1278.48	c 1278s |      26 | 14019333 | 10449552 |     1627  15544 |        0 |        0
1280.03/1280.49	c 1280s |      26 | 14036491 | 10463352 |     1627  15560 |        0 |        0
1282.12/1282.50	c 1282s |      26 | 14056126 | 10478152 |     1627  15578 |        0 |        0
1284.11/1284.50	c 1284s |      26 | 14075508 | 10492952 |     1627  15596 |        0 |        0
1286.11/1286.51	c 1286s |      26 | 14095331 | 10507652 |     1627  15613 |        0 |        0
1288.11/1288.52	c 1288s |      26 | 14115534 | 10522952 |     1627  15630 |        0 |        0
1290.11/1290.53	c 1290s |      26 | 14133200 | 10536852 |     1627  15646 |        0 |        0
1292.12/1292.54	c 1292s |      26 | 14150674 | 10550852 |     1627  15663 |        0 |        0
1294.11/1294.55	c 1294s |      26 | 14169447 | 10565652 |     1627  15680 |        0 |        0
1296.11/1296.55	c 1296s |      26 | 14187898 | 10580252 |     1627  15697 |        0 |        0
1298.11/1298.55	c 1298s |      26 | 14204932 | 10594052 |     1627  15713 |        0 |        0
1300.11/1300.56	c 1300s |      26 | 14224681 | 10609252 |     1627  15731 |        0 |        0
1302.12/1302.56	c 1302s |      26 | 14244534 | 10624652 |     1627  15749 |        0 |        0
1304.11/1304.57	c 1304s |      26 | 14264020 | 10640052 |     1627  15767 |        0 |        0
1306.11/1306.58	c 1306s |      26 | 14282452 | 10654352 |     1627  15784 |        0 |        0
1308.11/1308.58	c 1308s |      26 | 14299971 | 10667952 |     1627  15800 |        0 |        0
1310.11/1310.59	c 1310s |      26 | 14319622 | 10682952 |     1627  15818 |        0 |        0
1312.11/1312.59	c 1312s |      26 | 14339554 | 10697852 |     1627  15835 |        0 |        0
1314.21/1314.60	c 1314s |      26 | 14359107 | 10712552 |     1627  15853 |        0 |        0
1316.20/1316.61	c 1316s |      26 | 14377559 | 10726852 |     1627  15870 |        0 |        0
1318.20/1318.61	c 1318s |      26 | 14394803 | 10740252 |     1627  15886 |        0 |        0
1320.20/1320.62	c 1320s |      26 | 14414445 | 10755452 |     1627  15904 |        0 |        0
1322.20/1322.62	c 1322s |      26 | 14435497 | 10771552 |     1627  15924 |        0 |        0
1324.19/1324.63	c 1324s |      26 | 14454302 | 10786252 |     1627  15941 |        0 |        0
1326.20/1326.64	c 1326s |      26 | 14472590 | 10800552 |     1627  15958 |        0 |        0
1328.19/1328.64	c 1328s |      26 | 14492044 | 10815852 |     1627  15976 |        0 |        0
1330.19/1330.65	c 1330s |      26 | 14511954 | 10831052 |     1627  15994 |        0 |        0
1332.19/1332.66	c 1332s |      26 | 14529847 | 10844952 |     1627  16010 |        0 |        0
1334.19/1334.67	c 1334s |      26 | 14547421 | 10858752 |     1627  16027 |        0 |        0
1336.20/1336.68	c 1336s |      26 | 14565208 | 10872552 |     1627  16043 |        0 |        0
1338.19/1338.68	c 1338s |      26 | 14582247 | 10885952 |     1627  16059 |        0 |        0
1340.19/1340.69	c 1340s |      26 | 14600084 | 10899652 |     1627  16075 |        0 |        0
1342.28/1342.71	c 1342s |      26 | 14617380 | 10913052 |     1627  16091 |        0 |        0
1344.28/1344.72	c 1344s |      26 | 14634072 | 10926152 |     1627  16107 |        0 |        0
1346.28/1346.73	c 1346s |      26 | 14654411 | 10941852 |     1627  16125 |        0 |        0
1348.29/1348.73	c 1348s |      26 | 14674049 | 10956952 |     1627  16142 |        0 |        0
1350.28/1350.74	c 1350s |      26 | 14694576 | 10972352 |     1627  16160 |        0 |        0
1352.28/1352.74	c 1352s |      26 | 14715323 | 10987852 |     1627  16179 |        0 |        0
1354.28/1354.74	c 1354s |      26 | 14733840 | 11001952 |     1627  16196 |        0 |        0
1356.28/1356.75	c 1356s |      26 | 14751043 | 11015352 |     1627  16212 |        0 |        0
1358.28/1358.76	c 1358s |      26 | 14767031 | 11027952 |     1627  16227 |        0 |        0
1360.29/1360.77	c 1360s |      26 | 14784811 | 11042252 |     1627  16244 |        0 |        0
1362.28/1362.78	c 1362s |      26 | 14803069 | 11057052 |     1627  16261 |        0 |        0
1364.27/1364.78	c 1364s |      26 | 14822717 | 11072252 |     1627  16279 |        0 |        0
1366.27/1366.78	c 1366s |      26 | 14842294 | 11086852 |     1627  16296 |        0 |        0
1368.27/1368.79	c 1368s |      26 | 14858681 | 11099552 |     1627  16311 |        0 |        0
1370.37/1370.81	c 1370s |      26 | 14875766 | 11112852 |     1627  16327 |        0 |        0
1372.38/1372.81	c 1372s |      26 | 14894478 | 11126752 |     1627  16343 |        0 |        0
1374.37/1374.81	c 1374s |      26 | 14913508 | 11140352 |     1627  16359 |        0 |        0
1376.36/1376.81	c 1376s |      26 | 14933003 | 11155152 |     1627  16377 |        0 |        0
1378.36/1378.81	c 1378s |      26 | 14950814 | 11168552 |     1627  16393 |        0 |        0
1380.36/1380.82	c 1380s |      26 | 14967543 | 11181452 |     1627  16408 |        0 |        0
1382.38/1382.83	c 1382s |      26 | 14986335 | 11195852 |     1627  16425 |        0 |        0
1384.37/1384.83	c 1384s |      26 | 15004623 | 11210052 |     1627  16442 |        0 |        0
1386.37/1386.83	c 1386s |      26 | 15022990 | 11224252 |     1627  16458 |        0 |        0
1388.37/1388.85	c 1388s |      26 | 15040969 | 11238152 |     1627  16475 |        0 |        0
1390.37/1390.86	c 1390s |      26 | 15059769 | 11252552 |     1627  16491 |        0 |        0
1392.37/1392.87	c 1392s |      26 | 15078650 | 11267452 |     1627  16509 |        0 |        0
1394.37/1394.88	c 1394s |      26 | 15096999 | 11282052 |     1627  16526 |        0 |        0
1396.36/1396.89	c 1396s |      26 | 15117136 | 11297452 |     1627  16544 |        0 |        0
1398.46/1398.90	c 1398s |      26 | 15136249 | 11312152 |     1627  16561 |        0 |        0
1400.46/1400.91	c 1400s |      26 | 15154508 | 11326552 |     1790  16577 |        0 |        0
1402.46/1402.92	c 1402s |      26 | 15173557 | 11341252 |     1790  16593 |        0 |        0
1404.45/1404.93	c 1404s |      26 | 15189871 | 11353952 |     1790  16607 |        0 |        0
1406.46/1406.93	c 1406s |      26 | 15206627 | 11367252 |     1790  16621 |        0 |        0
1408.45/1408.94	c 1408s |      26 | 15225769 | 11382052 |     1790  16637 |        0 |        0
1410.45/1410.94	c 1410s |      26 | 15244378 | 11396652 |     1790  16653 |        0 |        0
1410.45/1410.95	c 1410s |      27 | 15244482 | 11396733 |     1790  16653 |        0 |        0
1412.45/1412.96	c 1412s |      27 | 15263710 | 11412033 |     1790  16669 |        0 |        0
1414.44/1414.97	c 1414s |      27 | 15285147 | 11428233 |     1790  16686 |        0 |        0
1416.45/1416.98	c 1416s |      27 | 15305746 | 11443833 |     1790  16703 |        0 |        0
1418.45/1418.98	c 1418s |      27 | 15324379 | 11458233 |     1790  16718 |        0 |        0
1420.45/1420.99	c 1420s |      27 | 15342173 | 11472333 |     1790  16733 |        0 |        0
1422.55/1423.00	c 1422s |      27 | 15359402 | 11486333 |     1790  16748 |        0 |        0
1424.55/1425.00	c 1424s |      27 | 15377202 | 11500733 |     1790  16764 |        0 |        0
1426.55/1427.01	c 1426s |      27 | 15398976 | 11517033 |     1790  16781 |        0 |        0
1428.55/1429.02	c 1429s |      27 | 15419484 | 11532333 |     1790  16797 |        0 |        0
1430.54/1431.03	c 1431s |      27 | 15438583 | 11546233 |     1790  16812 |        0 |        0
1432.54/1433.03	c 1433s |      27 | 15454457 | 11558633 |     1790  16825 |        0 |        0
1434.54/1435.04	c 1435s |      27 | 15470936 | 11571233 |     1790  16839 |        0 |        0
1436.54/1437.05	c 1437s |      27 | 15489535 | 11585433 |     1790  16854 |        0 |        0
1438.54/1439.05	c 1439s |      27 | 15508209 | 11599233 |     1790  16869 |        0 |        0
1440.55/1441.06	c 1441s |      27 | 15529200 | 11613933 |     1790  16884 |        0 |        0
1442.54/1443.06	c 1443s |      27 | 15552099 | 11629233 |     1790  16901 |        0 |        0
1444.53/1445.07	c 1445s |      27 | 15572559 | 11644233 |     1790  16917 |        0 |        0
1446.53/1447.09	c 1447s |      27 | 15593226 | 11659133 |     1790  16934 |        0 |        0
1448.53/1449.09	c 1449s |      27 | 15613888 | 11673933 |     1790  16950 |        0 |        0
1450.54/1451.09	c 1451s |      27 | 15634613 | 11689033 |     1790  16966 |        0 |        0
1452.53/1453.10	c 1453s |      27 | 15655855 | 11705033 |     1790  16983 |        0 |        0
1454.63/1455.10	c 1455s |      27 | 15676609 | 11720533 |     1790  17000 |        0 |        0
1456.63/1457.11	c 1457s |      27 | 15695348 | 11734333 |     1790  17014 |        0 |        0
1458.63/1459.11	c 1459s |      27 | 15712567 | 11747633 |     1790  17029 |        0 |        0
1460.63/1461.11	c 1461s |      27 | 15730577 | 11760833 |     1790  17043 |        0 |        0
1462.63/1463.13	c 1463s |      27 | 15749919 | 11775133 |     1790  17059 |        0 |        0
1464.62/1465.14	c 1465s |      27 | 15770160 | 11789933 |     1790  17075 |        0 |        0
1466.62/1467.15	c 1467s |      27 | 15791666 | 11805533 |     1790  17091 |        0 |        0
1468.62/1469.15	c 1469s |      27 | 15811597 | 11820833 |     1790  17107 |        0 |        0
1470.62/1471.16	c 1471s |      27 | 15830413 | 11835033 |     1790  17122 |        0 |        0
1472.61/1473.16	c 1473s |      27 | 15849586 | 11849133 |     1790  17137 |        0 |        0
1474.62/1475.17	c 1475s |      27 | 15868592 | 11863133 |     1790  17152 |        0 |        0
1476.61/1477.17	c 1477s |      27 | 15888807 | 11877633 |     1790  17168 |        0 |        0
1478.61/1479.18	c 1479s |      27 | 15906954 | 11891333 |     1790  17183 |        0 |        0
1480.61/1481.18	c 1481s |      27 | 15926242 | 11905333 |     1790  17198 |        0 |        0
1482.62/1483.19	c 1483s |      27 | 15944819 | 11919133 |     1790  17213 |        0 |        0
1484.71/1485.20	c 1485s |      27 | 15964551 | 11933833 |     1790  17229 |        0 |        0
1486.72/1487.21	c 1487s |      27 | 15985524 | 11949933 |     1790  17246 |        0 |        0
1488.71/1489.22	c 1489s |      27 | 16006204 | 11965733 |     1790  17262 |        0 |        0
1490.71/1491.23	c 1491s |      27 | 16025072 | 11980533 |     1790  17278 |        0 |        0
1492.71/1493.24	c 1493s |      27 | 16045224 | 11995733 |     1790  17294 |        0 |        0
1494.71/1495.25	c 1495s |      27 | 16063939 | 12009733 |     1790  17309 |        0 |        0
1496.71/1497.26	c 1497s |      27 | 16082072 | 12023633 |     1790  17324 |        0 |        0
1498.71/1499.26	c 1499s |      27 | 16102994 | 12038233 |     1790  17340 |        0 |        0
1500.70/1501.27	c 1501s |      27 | 16122315 | 12053533 |     1790  17356 |        0 |        0
1502.70/1503.27	c 1503s |      27 | 16141382 | 12068033 |     1790  17372 |        0 |        0
1504.70/1505.28	c 1505s |      27 | 16159982 | 12081433 |     1790  17387 |        0 |        0
1506.70/1507.29	c 1507s |      27 | 16177881 | 12094833 |     1790  17401 |        0 |        0
1508.70/1509.30	c 1509s |      27 | 16196372 | 12109033 |     1790  17417 |        0 |        0
1510.80/1511.30	c 1511s |      27 | 16216666 | 12123433 |     1790  17432 |        0 |        0
1512.79/1513.31	c 1513s |      27 | 16236793 | 12138433 |     1790  17448 |        0 |        0
1514.79/1515.31	c 1515s |      27 | 16258126 | 12153433 |     1790  17464 |        0 |        0
1516.79/1517.32	c 1517s |      27 | 16280054 | 12169333 |     1790  17481 |        0 |        0
1518.79/1519.33	c 1519s |      27 | 16300365 | 12184433 |     1790  17498 |        0 |        0
1520.79/1521.34	c 1521s |      27 | 16317426 | 12197033 |     1790  17511 |        0 |        0
1522.79/1523.35	c 1523s |      27 | 16334718 | 12210133 |     1790  17525 |        0 |        0
1524.79/1525.36	c 1525s |      27 | 16354510 | 12224433 |     1790  17541 |        0 |        0
1526.78/1527.36	c 1527s |      27 | 16376210 | 12239533 |     1790  17557 |        0 |        0
1528.78/1529.36	c 1529s |      27 | 16397364 | 12253833 |     1790  17572 |        0 |        0
1530.79/1531.38	c 1531s |      27 | 16415081 | 12266733 |     1790  17586 |        0 |        0
1532.78/1533.38	c 1533s |      27 | 16432814 | 12279733 |     1790  17600 |        0 |        0
1534.78/1535.39	c 1535s |      27 | 16451789 | 12293533 |     1790  17615 |        0 |        0
1536.78/1537.39	c 1537s |      27 | 16472212 | 12308733 |     1790  17631 |        0 |        0
1538.88/1539.40	c 1539s |      27 | 16488911 | 12321433 |     1790  17645 |        0 |        0
1540.87/1541.42	c 1541s |      27 | 16507682 | 12335633 |     1790  17661 |        0 |        0
1542.88/1543.42	c 1543s |      27 | 16525048 | 12349133 |     1790  17675 |        0 |        0
1544.87/1545.43	c 1545s |      27 | 16542901 | 12362533 |     1790  17690 |        0 |        0
1546.87/1547.44	c 1547s |      27 | 16562353 | 12376633 |     1790  17705 |        0 |        0
1548.87/1549.45	c 1549s |      27 | 16579080 | 12390633 |     1790  17720 |        0 |        0
1550.87/1551.46	c 1551s |      27 | 16595053 | 12403833 |     1790  17734 |        0 |        0
1552.87/1553.46	c 1553s |      27 | 16610882 | 12416433 |     1790  17748 |        0 |        0
1554.88/1555.47	c 1555s |      27 | 16627261 | 12429133 |     1790  17761 |        0 |        0
1556.87/1557.47	c 1557s |      27 | 16647623 | 12444333 |     1790  17777 |        0 |        0
1558.87/1559.48	c 1559s |      27 | 16667643 | 12459533 |     1790  17794 |        0 |        0
1560.87/1561.48	c 1561s |      27 | 16687625 | 12474733 |     1790  17810 |        0 |        0
1562.87/1563.49	c 1563s |      27 | 16706094 | 12489233 |     1790  17825 |        0 |        0
1564.97/1565.50	c 1565s |      27 | 16725337 | 12503533 |     1790  17840 |        0 |        0
1566.98/1567.51	c 1567s |      27 | 16745808 | 12518333 |     1790  17857 |        0 |        0
1568.97/1569.51	c 1569s |      27 | 16765873 | 12532833 |     1790  17872 |        0 |        0
1570.98/1571.53	c 1571s |      27 | 16786549 | 12547933 |     1790  17889 |        0 |        0
1572.98/1573.54	c 1573s |      27 | 16807012 | 12562833 |     1790  17905 |        0 |        0
1574.98/1575.54	c 1575s |      27 | 16827115 | 12578033 |     1790  17921 |        0 |        0
1576.98/1577.55	c 1577s |      27 | 16847100 | 12592233 |     1790  17936 |        0 |        0
1578.98/1579.56	c 1579s |      27 | 16865853 | 12606733 |     1790  17952 |        0 |        0
1580.97/1581.57	c 1581s |      27 | 16886561 | 12622233 |     1790  17968 |        0 |        0
1582.97/1583.59	c 1583s |      27 | 16908073 | 12638233 |     1790  17986 |        0 |        0
1584.97/1585.59	c 1585s |      27 | 16928416 | 12653633 |     1790  18002 |        0 |        0
1587.07/1587.60	c 1587s |      27 | 16947631 | 12667833 |     1790  18018 |        0 |        0
1588.98/1589.60	c 1589s |      27 | 16968218 | 12682833 |     1790  18034 |        0 |        0
1591.07/1591.61	c 1591s |      27 | 16988328 | 12697433 |     1790  18049 |        0 |        0
1593.07/1593.61	c 1593s |      27 | 17006065 | 12711033 |     1790  18064 |        0 |        0
1595.07/1595.62	c 1595s |      27 | 17024508 | 12725033 |     1790  18079 |        0 |        0
1597.07/1597.63	c 1597s |      27 | 17043038 | 12739233 |     1790  18095 |        0 |        0
1599.07/1599.64	c 1599s |      27 | 17059890 | 12752733 |     1790  18109 |        0 |        0
1601.07/1601.64	c 1601s |      27 | 17078997 | 12766833 |     1790  18124 |        0 |        0
1603.07/1603.65	c 1603s |      27 | 17099692 | 12781833 |     1790  18140 |        0 |        0
1605.07/1605.67	c 1605s |      27 | 17118907 | 12795733 |     1790  18156 |        0 |        0
1607.07/1607.68	c 1607s |      27 | 17137057 | 12809233 |     1790  18170 |        0 |        0
1609.07/1609.68	c 1609s |      27 | 17157624 | 12823633 |     1790  18186 |        0 |        0
1611.07/1611.69	c 1611s |      27 | 17177810 | 12838833 |     1790  18202 |        0 |        0
1613.06/1613.70	c 1613s |      27 | 17198958 | 12854433 |     1790  18219 |        0 |        0
1615.16/1615.71	c 1615s |      27 | 17219388 | 12869833 |     1790  18236 |        0 |        0
1617.16/1617.72	c 1617s |      27 | 17239636 | 12884733 |     1790  18252 |        0 |        0
1619.16/1619.73	c 1619s |      27 | 17259488 | 12898833 |     1790  18267 |        0 |        0
1621.16/1621.74	c 1621s |      27 | 17278905 | 12913133 |     1790  18282 |        0 |        0
1623.17/1623.75	c 1623s |      27 | 17300475 | 12928833 |     1790  18300 |        0 |        0
1625.16/1625.75	c 1625s |      27 | 17321602 | 12944433 |     1790  18317 |        0 |        0
1627.17/1627.75	c 1627s |      27 | 17341921 | 12959533 |     1790  18333 |        0 |        0
1629.17/1629.76	c 1629s |      27 | 17363923 | 12975033 |     1790  18349 |        0 |        0
1631.17/1631.77	c 1631s |      27 | 17384663 | 12990333 |     1790  18366 |        0 |        0
1633.17/1633.78	c 1633s |      27 | 17405144 | 13005333 |     1790  18382 |        0 |        0
1635.17/1635.79	c 1635s |      27 | 17423405 | 13018633 |     1790  18397 |        0 |        0
1637.27/1637.80	c 1637s |      27 | 17440596 | 13031233 |     1790  18410 |        0 |        0
1639.26/1639.81	c 1639s |      27 | 17460790 | 13045933 |     1790  18426 |        0 |        0
1641.26/1641.82	c 1641s |      27 | 17480883 | 13061033 |     1790  18442 |        0 |        0
1643.26/1643.82	c 1643s |      27 | 17500002 | 13075833 |     1790  18458 |        0 |        0
1645.26/1645.82	c 1645s |      27 | 17519025 | 13089733 |     1790  18473 |        0 |        0
1647.27/1647.83	c 1647s |      27 | 17534944 | 13102233 |     1790  18487 |        0 |        0
1649.26/1649.84	c 1649s |      27 | 17551084 | 13114633 |     1790  18501 |        0 |        0
1651.26/1651.86	c 1651s |      27 | 17568873 | 13127933 |     1790  18515 |        0 |        0
1653.26/1653.87	c 1653s |      27 | 17587526 | 13141733 |     1790  18530 |        0 |        0
1655.26/1655.88	c 1655s |      27 | 17606640 | 13155633 |     1790  18545 |        0 |        0
1657.27/1657.89	c 1657s |      27 | 17624198 | 13168633 |     1790  18560 |        0 |        0
1659.26/1659.89	c 1659s |      27 | 17643845 | 13183533 |     1790  18576 |        0 |        0
1661.26/1661.89	c 1661s |      27 | 17661507 | 13197633 |     1790  18591 |        0 |        0
1663.36/1663.90	c 1663s |      27 | 17679779 | 13211833 |     1790  18607 |        0 |        0
1665.36/1665.90	c 1665s |      27 | 17699782 | 13226333 |     1790  18622 |        0 |        0
1667.36/1667.91	c 1667s |      27 | 17717660 | 13239233 |     1790  18636 |        0 |        0
1669.36/1669.92	c 1669s |      27 | 17735891 | 13252433 |     1790  18651 |        0 |        0
1671.36/1671.92	c 1671s |      27 | 17755928 | 13266433 |     1790  18666 |        0 |        0
1673.35/1673.94	c 1673s |      27 | 17774414 | 13280233 |     1790  18680 |        0 |        0
1675.35/1675.94	c 1675s |      27 | 17790222 | 13292633 |     1790  18694 |        0 |        0
1677.35/1677.95	c 1677s |      27 | 17808512 | 13306333 |     1790  18709 |        0 |        0
1679.35/1679.95	c 1679s |      27 | 17826952 | 13319833 |     1790  18723 |        0 |        0
1681.36/1681.96	c 1681s |      27 | 17844927 | 13333233 |     1790  18738 |        0 |        0
1683.35/1683.97	c 1683s |      27 | 17864047 | 13346633 |     1790  18752 |        0 |        0
1685.35/1685.97	c 1685s |      27 | 17883628 | 13361233 |     1790  18768 |        0 |        0
1687.35/1687.98	c 1687s |      27 | 17904876 | 13375833 |     1790  18784 |        0 |        0
1689.35/1689.99	c 1689s |      27 | 17924660 | 13389933 |     1790  18799 |        0 |        0
1691.36/1691.99	c 1691s |      27 | 17944240 | 13403833 |     1790  18814 |        0 |        0
1693.35/1693.99	c 1693s |      27 | 17963936 | 13417933 |     1790  18830 |        0 |        0
1695.45/1696.00	c 1695s |      27 | 17982765 | 13431533 |     1790  18844 |        0 |        0
1697.46/1698.02	c 1698s |      27 | 18000747 | 13444933 |     1790  18859 |        0 |        0
1699.46/1700.02	c 1700s |      27 | 18022329 | 13459933 |     1790  18875 |        0 |        0
1701.46/1702.03	c 1702s |      27 | 18043922 | 13474733 |     1790  18891 |        0 |        0
1703.47/1704.04	c 1704s |      27 | 18063269 | 13489233 |     1790  18907 |        0 |        0
1705.46/1706.05	c 1706s |      27 | 18082764 | 13503533 |     1790  18923 |        0 |        0
1707.46/1708.06	c 1708s |      27 | 18100754 | 13516533 |     1790  18937 |        0 |        0
1709.46/1710.07	c 1710s |      27 | 18117383 | 13529033 |     1790  18950 |        0 |        0
1711.45/1712.07	c 1712s |      27 | 18136407 | 13542533 |     1790  18965 |        0 |        0
1713.45/1714.08	c 1714s |      27 | 18154874 | 13556033 |     1790  18980 |        0 |        0
1715.46/1716.10	c 1716s |      27 | 18173953 | 13569833 |     1790  18995 |        0 |        0
1717.55/1718.12	c 1718s |      27 | 18193481 | 13583933 |     1790  19010 |        0 |        0
1719.55/1720.12	c 1720s |      27 | 18210194 | 13596333 |     1790  19023 |        0 |        0
1721.55/1722.13	c 1722s |      27 | 18228224 | 13609833 |     1790  19038 |        0 |        0
1723.55/1724.14	c 1724s |      27 | 18245790 | 13622933 |     1790  19052 |        0 |        0
1725.55/1726.15	c 1726s |      27 | 18266014 | 13637433 |     1790  19068 |        0 |        0
1727.56/1728.16	c 1728s |      27 | 18287619 | 13653033 |     1790  19084 |        0 |        0
1729.55/1730.17	c 1730s |      27 | 18305722 | 13667033 |     1790  19100 |        0 |        0
1731.55/1732.18	c 1732s |      27 | 18325630 | 13681933 |     1790  19116 |        0 |        0
1733.55/1734.19	c 1734s |      27 | 18345628 | 13696533 |     1790  19132 |        0 |        0
1735.65/1736.20	c 1736s |      27 | 18363798 | 13710533 |     1790  19147 |        0 |        0
1737.65/1738.21	c 1738s |      27 | 18382847 | 13724733 |     1790  19162 |        0 |        0
1739.65/1740.22	c 1740s |      27 | 18403033 | 13739733 |     1790  19179 |        0 |        0
1741.64/1742.22	c 1742s |      27 | 18421859 | 13754133 |     1790  19195 |        0 |        0
1743.64/1744.22	c 1744s |      27 | 18440880 | 13768733 |     1790  19210 |        0 |        0
1745.64/1746.23	c 1746s |      27 | 18457707 | 13782033 |     1790  19225 |        0 |        0
1747.64/1748.23	c 1748s |      27 | 18475999 | 13795933 |     1790  19240 |        0 |        0
1749.65/1750.24	c 1750s |      27 | 18494191 | 13809933 |     1790  19255 |        0 |        0
1751.64/1752.24	c 1752s |      27 | 18512469 | 13823833 |     1790  19270 |        0 |        0
1753.65/1754.25	c 1754s |      27 | 18531478 | 13838533 |     1790  19285 |        0 |        0
1755.65/1756.27	c 1756s |      27 | 18550521 | 13853033 |     1790  19301 |        0 |        0
1757.65/1758.28	c 1758s |      27 | 18568850 | 13866933 |     1790  19316 |        0 |        0
1759.65/1760.29	c 1760s |      27 | 18587079 | 13880833 |     1790  19331 |        0 |        0
1761.66/1762.29	c 1762s |      27 | 18609406 | 13896433 |     1790  19347 |        0 |        0
1763.75/1764.30	c 1764s |      27 | 18629947 | 13911333 |     1790  19363 |        0 |        0
1765.75/1766.30	c 1766s |      27 | 18649035 | 13926033 |     1790  19379 |        0 |        0
1767.75/1768.31	c 1768s |      27 | 18666745 | 13940333 |     1790  19395 |        0 |        0
1769.75/1770.32	c 1770s |      27 | 18685648 | 13954733 |     1790  19410 |        0 |        0
1771.75/1772.32	c 1772s |      27 | 18704392 | 13969233 |     1790  19426 |        0 |        0
1773.75/1774.33	c 1774s |      27 | 18720872 | 13982633 |     1790  19440 |        0 |        0
1775.74/1776.33	c 1776s |      27 | 18740805 | 13997633 |     1790  19457 |        0 |        0
1777.74/1778.34	c 1778s |      27 | 18762635 | 14013333 |     1790  19474 |        0 |        0
1779.74/1780.34	c 1780s |      27 | 18783438 | 14028533 |     1790  19490 |        0 |        0
1781.74/1782.35	c 1782s |      27 | 18803763 | 14044133 |     1790  19507 |        0 |        0
1783.75/1784.35	c 1784s |      27 | 18823860 | 14058933 |     1790  19523 |        0 |        0
1785.74/1786.35	c 1786s |      27 | 18842530 | 14073033 |     1790  19538 |        0 |        0
1787.74/1788.36	c 1788s |      27 | 18860952 | 14087133 |     1790  19553 |        0 |        0
1789.74/1790.36	c 1790s |      27 | 18878860 | 14100733 |     1790  19567 |        0 |        0
1791.74/1792.38	c 1792s |      27 | 18896605 | 14114433 |     1790  19582 |        0 |        0
1793.74/1794.38	c 1794s |      27 | 18913956 | 14128033 |     1790  19597 |        0 |        0
1795.74/1796.38	c 1796s |      27 | 18931783 | 14142233 |     1790  19612 |        0 |        0
1797.73/1798.39	c 1798s |      27 | 18949286 | 14155733 |     1790  19627 |        0 |        0
1799.83/1800.41	c 1800s |      27 | 18967850 | 14170133 |     1790  19642 |        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-4095910-1466098250/watcher-4095910-1466098250 -o /tmp/evaluation-result-4095910-1466098250/solver-4095910-1466098250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095910-1466098250.opb 

pid=28016
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: 1.06 1.89 2.08 4/172 28020
/proc/meminfo: memFree=30459248/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 2765 0 0 0 0 0 0 0 20 0 4 0 11873738 757526528 2614 33554432000 4194304 16246674 140736421261456 140736421260880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 185967 2626 441 2943 0 182861 0
[pid=28020/tid=28024] ppid=28016 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 776400896 2686 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 780595200 2702 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 784789504 2718 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.06 1.89 2.08 4/172 28020
/proc/meminfo: memFree=30459248/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 24770 0 0 0 6 3 0 0 20 0 4 0 11873738 1247350784 24609 33554432000 4194304 16246674 140736421261456 140736421260880 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 304529 24617 712 2943 0 301423 0
[pid=28020/tid=28024] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24622 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24628 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24635 33554432000 4194304 16246674 140736421261456 140484988095664 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.200547 s]
/proc/loadavg: 1.06 1.89 2.08 4/172 28020
/proc/meminfo: memFree=30459248/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 47702 0 0 0 12 7 0 0 20 0 4 0 11873738 1247350784 47541 33554432000 4194304 16246674 140736421261456 140736421260880 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 304529 47550 712 2943 0 301423 0
[pid=28020/tid=28024] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47559 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47565 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47570 33554432000 4194304 16246674 140736421261456 140484988095664 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.300495 s]
/proc/loadavg: 1.06 1.89 2.08 4/172 28020
/proc/meminfo: memFree=30459248/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 70477 0 0 0 18 10 0 0 20 0 4 0 11873738 1247350784 70316 33554432000 4194304 16246674 140736421261456 140736421260880 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 304529 70325 712 2943 0 301423 0
[pid=28020/tid=28024] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 70332 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 70342 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 70350 33554432000 4194304 16246674 140736421261456 140484988095664 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.700414 s]
/proc/loadavg: 1.06 1.89 2.08 4/172 28020
/proc/meminfo: memFree=30459248/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 163168 0 0 0 46 23 0 0 20 0 4 0 11873738 1247350784 163007 33554432000 4194304 16246674 140736421261456 140736421243328 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 304529 163016 713 2943 0 301423 0
[pid=28020/tid=28024] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 163022 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 163029 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 163035 33554432000 4194304 16246674 140736421261456 140484988095664 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.50042 s]
/proc/loadavg: 1.06 1.89 2.08 3/184 28032
/proc/meminfo: memFree=28495184/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 245570 0 0 0 115 34 0 0 20 0 4 0 11873738 1248399360 245388 33554432000 4194304 16246674 140736421261456 140736421244456 6079920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 304785 245388 786 2943 0 301679 0
[pid=28020/tid=28024] ppid=28016 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245388 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245388 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245388 33554432000 4194304 16246674 140736421261456 140484988095664 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) 1219140

[startup+3.10043 s]
/proc/loadavg: 1.14 1.90 2.08 3/184 28032
/proc/meminfo: memFree=28320956/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267398 0 0 0 272 37 0 0 20 0 4 0 11873738 1337528320 267216 33554432000 4194304 16246674 140736421261456 140736421244456 5675369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326545 267216 786 2943 0 323439 0
[pid=28020/tid=28024] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267216 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267216 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267216 33554432000 4194304 16246674 140736421261456 140484988095664 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.30041 s]
/proc/loadavg: 1.14 1.90 2.08 4/184 28032
/proc/meminfo: memFree=28317284/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267561 0 0 0 592 37 0 0 20 0 4 0 11873738 1337528320 267379 33554432000 4194304 16246674 140736421261456 140736421244456 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326545 267379 786 2943 0 323439 0
[pid=28020/tid=28024] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267379 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267379 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267379 33554432000 4194304 16246674 140736421261456 140484988095664 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.34 1.92 2.09 3/183 28032
/proc/meminfo: memFree=28316600/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267564 0 0 0 1232 37 0 0 20 0 4 0 11873738 1337528320 267382 33554432000 4194304 16246674 140736421261456 140736421243328 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326545 267382 787 2943 0 323439 0
[pid=28020/tid=28024] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267382 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267382 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267382 33554432000 4194304 16246674 140736421261456 140484988095664 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.44 1.92 2.09 3/183 28032
/proc/meminfo: memFree=28317528/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267568 0 0 0 2511 37 0 0 20 0 4 0 11873738 1337528320 267386 33554432000 4194304 16246674 140736421261456 140736421243328 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326545 267386 791 2943 0 323439 0
[pid=28020/tid=28024] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267386 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267386 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267386 33554432000 4194304 16246674 140736421261456 140484988095664 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.63 1.92 2.08 4/183 28032
/proc/meminfo: memFree=28316544/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267660 0 0 0 5070 38 0 0 20 0 4 0 11873738 1338576896 267478 33554432000 4194304 16246674 140736421261456 140736421243328 5822536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326801 267478 791 2943 0 323695 0
[pid=28020/tid=28024] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267478 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267478 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267478 33554432000 4194304 16246674 140736421261456 140484988095664 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.07 1.99 2.10 3/183 28033
/proc/meminfo: memFree=28314932/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 267822 0 0 0 10189 39 0 0 20 0 4 0 11873738 1338576896 267640 33554432000 4194304 16246674 140736421261456 140736421243328 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 326801 267640 791 2943 0 323695 0
[pid=28020/tid=28024] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267640 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267640 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267640 33554432000 4194304 16246674 140736421261456 140484988095664 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/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/182 28063
/proc/meminfo: memFree=28307664/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1301.91 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268373 0 0 0 130126 65 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.35 2.26 2.19 3/183 28065
/proc/meminfo: memFree=28307080/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1361.88 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268416 0 0 0 136122 66 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/183 28066
/proc/meminfo: memFree=28307132/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1421.86 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268460 0 0 0 142118 68 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.18 3/183 28067
/proc/meminfo: memFree=28306912/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1481.81 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268500 0 0 0 148113 68 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5754712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 28069
/proc/meminfo: memFree=28306916/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1541.78 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268546 0 0 0 154109 69 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 28070
/proc/meminfo: memFree=28306856/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1601.77 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268548 0 0 0 160107 70 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5667424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 28071
/proc/meminfo: memFree=28306440/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1661.76 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268548 0 0 0 166105 71 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 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.25 2.22 2.18 4/183 28072
/proc/meminfo: memFree=28306344/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1721.75 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268548 0 0 0 172103 72 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/184 28076
/proc/meminfo: memFree=28304260/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1781.74 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268548 0 0 0 178101 73 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421243328 5673600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 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.22 2.21 2.18 3/184 28076
/proc/meminfo: memFree=28304104/32872528 swapFree=1430864/1543284
[pid=28020] ppid=28016 vsize=1308228 CPUtime=1800.03 cores=1,3,5,7
/proc/28020/stat : 28020 (toysat) R 28016 28020 27978 0 -1 4202496 268548 0 0 0 179930 73 0 0 20 0 4 0 11873738 1339625472 268162 33554432000 4194304 16246674 140736421261456 140736421244456 5523536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 327057 268162 792 2943 0 323951 0
[pid=28020/tid=28024] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28024/stat : 28024 (toysat) S 28016 28020 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140485009059056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28020/tid=28025] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28025/stat : 28025 (toysat) S 28016 28020 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484998569200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28020/tid=28026] ppid=28016 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28020/task/28026/stat : 28026 (toysat) S 28016 28020 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268162 33554432000 4194304 16246674 140736421261456 140484988095664 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 28020 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.05
CPU user time (s): 1799.31
CPU system time (s): 0.738887
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.738887
maximum resident set size= 1072648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268548
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= 473
involuntary context switches= 1882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30604 second user time and 8.39372 second system time

The end

Begin job on node116 at 2016-06-16 19:30:50
IDJOB=4095910
IDBENCH=107539
IDSOLVER=2542
FILE ID=node116/4095910-1466098250
RUNJOBID= node116-1466098250-27995
PBS_JOBID= 19904066
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-50.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095910-1466098250/watcher-4095910-1466098250 -o /tmp/evaluation-result-4095910-1466098250/solver-4095910-1466098250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095910-1466098250.opb

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

MD5SUM BENCH= 9c73cd1336786b70bf4049536dbcd396
RANDOM SEED=2011167174

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30460420 kB
Buffers:           36508 kB
Cached:           126292 kB
SwapCached:         2820 kB
Active:            99696 kB
Inactive:          66480 kB
Active(anon):       4208 kB
Inactive(anon):     1948 kB
Active(file):      95488 kB
Inactive(file):    64532 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1545160 kB
Mapped:             6772 kB
Shmem:                 0 kB
Slab:             569828 kB
SReclaimable:      14332 kB
SUnreclaim:       555496 kB
KernelStack:        1336 kB
PageTables:         6988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71604 MiB
End job on node116 at 2016-06-16 20:00:51