0.00/0.00	c 2016-06-15T21:52:16+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-4089036-1466020336.opb"]
0.00/0.01	c use --random-gen="272162174 1529573587 2553497652 3982314493 2583477732 1822558194 2878546171 3301330618 2322110856 1111952454 1343347297 3456333581 2737790987 1270535228 2782914115 1354928203 2920927902 1313882463 1271110109 3401253917 2707080661 2611551886 2247993700 4022499244 29949257 2103735097 1187221274 177391357 3147467330 1194728144 24367279 1406887747 840274622 3533277289 2889338484 1422748307 3706997072 491609245 889355068 2718747590 1856469079 673566106 4097762502 1270195165 2730493464 2329313155 318525614 3726510614 3956431635 4123683696 2337867640 914205058 2153260628 1444907830 2380202218 4121195580 3815793090 636646397 1255952058 3629610498 1594757036 3639217236 3939188245 702503431 2248935415 3263338166 1063498890 2626239332 4153905821 1069438400 298060287 2044079974 66034329 3478862108 992813169 3875578030 1295956753 240560682 4284722768 2186571481 3753365358 2501098801 4280561153 3316271895 3378531183 790455424 4011994248 2307132443 4242402372 47326568 250193176 933979910 2362495061 3519890814 1109716516 788933636 4242777206 361370584 3777069788 1989150177 1975452045 768748411 3869558362 2549466838 3744580527 1438850298 3113398648 293291152 4163598983 3948543281 2161545760 966479459 3626239466 1992217718 1423905518 1427220559 3168678873 1546143561 1126213895 3131270167 1257193503 3309142234 2065892792 674143326 3308318382 1383251684 991092897 113874578 2357868878 2229963355 590571542 3801195926 950317666 2293770233 861096529 3887394667 3034571762 4292987134 929237915 3936823534 2251960616 1416474390 3175932754 3160867544 3407733627 4065779071 2998586225 3759254888 4225121443 1894637691 826551371 2309482462 1006858878 2081366304 102402423 4233172343 3251298373 3231859058 3972938424 2214208243 1594750009 2859591213 2056520808 3158129691 2275817650 1847735564 622704095 2639807583 1411458138 3046435862 3529687283 3955589887 1715738604 1320883427 3840615800 1435647671 27239110 2304811985 1444802059 4082409496 1099184031 3338577844 3285640718 2720470711 2173558939 2621043067 2823039270 4158277456 1796384557 3473902396 2146292891 809647133 2243524103 658302680 452685190 4077983188 4039985992 3726853615 3254133034 1828119518 3382963631 1846474118 3333222224 3891020974 2315933188 4014683397 1802531236 4253529391 1056400326 1642396028 716307736 1623922303 770478631 3885192282 180596263 3398239281 1893583200 59647381 2272623952 4084869465 113285670 530004228 1887703916 2324787350 3502029024 3886115430 1225291162 2884823443 3257767131 1608095898 486588801 1836901720 498275752 2530710147 3227674681 635678814 1791596652 2786264000 2200798628 2944550493 2543363329 2348400904 1779135160 2367047789 3573616364 666507962 1763550493 4014839944 1341488231 2675828675 776466225 3900445460 4177548564 2093159680 2740672161 2703843188 255 362436" option to reproduce the execution
0.00/0.01	c #vars 104
0.00/0.01	c #constraints 209
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 |      104      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      149 |      100 |      104      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      346 |      250 |      115      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      613 |      475 |      127      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1001 |      813 |      140      8 |        0 |        0
0.19/0.20	c  0.2s |       5 |     1570 |     1320 |      154     13 |        0 |        0
0.29/0.31	c  0.3s |       6 |     2389 |     2081 |      188     20 |        0 |        0
0.39/0.49	c  0.5s |       7 |     3591 |     3223 |      207     29 |        0 |        0
0.69/0.74	c  0.7s |       8 |     5377 |     4936 |      228     43 |        0 |        0
0.99/1.03	c  1.0s |       9 |     8015 |     7506 |      251     61 |        0 |        0
1.39/1.44	c  1.4s |      10 |    12007 |    11361 |      277     87 |        0 |        0
1.99/2.03	c  2.0s |      11 |    17940 |    17144 |      305    123 |        0 |        0
2.89/2.91	c  2.9s |      12 |    26872 |    25819 |      336    173 |        0 |        0
4.19/4.26	c  4.3s |      13 |    40249 |    38832 |      370    241 |        0 |        0
6.19/6.26	c  6.3s |      13 |    59800 |    57732 |      370    332 |        0 |        0
6.29/6.33	c  6.3s |      14 |    60428 |    58352 |      408    335 |        0 |        0
8.29/8.34	c  8.3s |      14 |    79712 |    77152 |      408    418 |        0 |        0
9.39/9.46	c  9.4s |      15 |    90417 |    87632 |      449    465 |        0 |        0
11.39/11.46	c 11.4s |      15 |   109542 |   106132 |      449    540 |        0 |        0
13.39/13.46	c 13.5s |      15 |   128777 |   124632 |      449    615 |        0 |        0
14.18/14.22	c 14.2s |      16 |   136056 |   131552 |      494    643 |        0 |        0
16.18/16.23	c 16.2s |      16 |   155045 |   149652 |      494    710 |        0 |        0
18.18/18.23	c 18.2s |      16 |   174107 |   168052 |      494    779 |        0 |        0
20.18/20.24	c 20.2s |      16 |   193359 |   186352 |      494    847 |        0 |        0
21.38/21.46	c 21.4s |      17 |   204873 |   197432 |      544    888 |        0 |        0
23.40/23.46	c 23.5s |      17 |   223584 |   215632 |      544    950 |        0 |        0
25.39/25.47	c 25.5s |      17 |   242216 |   233732 |      544   1012 |        0 |        0
27.39/27.48	c 27.5s |      17 |   261126 |   251732 |      544   1074 |        0 |        0
29.39/29.48	c 29.5s |      17 |   280115 |   269732 |      544   1135 |        0 |        0
31.39/31.48	c 31.5s |      17 |   298752 |   287732 |      544   1197 |        0 |        0
32.39/32.45	c 32.4s |      18 |   307748 |   296252 |      599   1225 |        0 |        0
34.39/34.45	c 34.4s |      18 |   326624 |   314252 |      599   1281 |        0 |        0
36.38/36.46	c 36.5s |      18 |   345246 |   331852 |      599   1336 |        0 |        0
38.38/38.46	c 38.5s |      18 |   363749 |   349652 |      599   1392 |        0 |        0
40.38/40.47	c 40.5s |      18 |   382176 |   367252 |      599   1447 |        0 |        0
42.38/42.48	c 42.5s |      18 |   400723 |   384552 |      599   1500 |        0 |        0
44.38/44.49	c 44.5s |      18 |   419265 |   401852 |      599   1555 |        0 |        0
46.39/46.49	c 46.5s |      18 |   437706 |   419552 |      599   1610 |        0 |        0
48.38/48.49	c 48.5s |      18 |   456166 |   437252 |      599   1665 |        0 |        0
49.28/49.33	c 49.3s |      19 |   463719 |   444482 |      659   1687 |        0 |        0
51.28/51.34	c 51.3s |      19 |   482593 |   462082 |      659   1737 |        0 |        0
53.28/53.35	c 53.3s |      19 |   501325 |   479582 |      659   1787 |        0 |        0
55.28/55.36	c 55.3s |      19 |   519408 |   496882 |      659   1837 |        0 |        0
57.28/57.36	c 57.4s |      19 |   537608 |   514282 |      659   1886 |        0 |        0
59.28/59.37	c 59.4s |      19 |   555816 |   531682 |      659   1936 |        0 |        0
61.28/61.38	c 61.4s |      19 |   573952 |   549082 |      659   1986 |        0 |        0
63.28/63.38	c 63.4s |      19 |   592003 |   566482 |      659   2036 |        0 |        0
65.29/65.39	c 65.4s |      19 |   610040 |   583882 |      659   2086 |        0 |        0
67.29/67.39	c 67.4s |      19 |   628705 |   601482 |      659   2136 |        0 |        0
69.28/69.39	c 69.4s |      19 |   646865 |   618682 |      659   2185 |        0 |        0
71.38/71.40	c 71.4s |      19 |   664808 |   635982 |      659   2235 |        0 |        0
73.38/73.40	c 73.4s |      19 |   682744 |   653282 |      659   2284 |        0 |        0
74.88/74.96	c 74.9s |      20 |   696781 |   666827 |      725   2321 |        0 |        0
76.88/76.97	c 77.0s |      20 |   714531 |   683827 |      725   2366 |        0 |        0
78.88/78.97	c 79.0s |      20 |   732258 |   700827 |      725   2410 |        0 |        0
80.88/80.99	c 81.0s |      20 |   750186 |   717927 |      725   2455 |        0 |        0
82.88/82.99	c 83.0s |      20 |   768125 |   734927 |      725   2499 |        0 |        0
84.89/85.00	c 85.0s |      20 |   785763 |   751827 |      725   2543 |        0 |        0
86.98/87.00	c 87.0s |      20 |   803461 |   768827 |      725   2587 |        0 |        0
88.98/89.02	c 89.0s |      20 |   821115 |   785827 |      725   2632 |        0 |        0
90.98/91.03	c 91.0s |      20 |   838767 |   802827 |      725   2676 |        0 |        0
92.98/93.04	c 93.0s |      20 |   856377 |   819727 |      725   2720 |        0 |        0
94.98/95.04	c 95.0s |      20 |   873825 |   836627 |      725   2765 |        0 |        0
96.98/97.05	c 97.0s |      20 |   891503 |   853627 |      725   2809 |        0 |        0
98.98/99.05	c 99.0s |      20 |   908966 |   870327 |      725   2853 |        0 |        0
100.97/101.06	c  101s |      20 |   926706 |   887127 |      725   2897 |        0 |        0
102.97/103.06	c  103s |      20 |   944458 |   904127 |      725   2941 |        0 |        0
104.97/105.07	c  105s |      20 |   962400 |   921227 |      725   2986 |        0 |        0
106.98/107.07	c  107s |      20 |   980031 |   938027 |      725   3029 |        0 |        0
108.97/109.08	c  109s |      20 |   997568 |   954827 |      725   3073 |        0 |        0
110.97/111.08	c  111s |      20 |  1015204 |   971527 |      725   3117 |        0 |        0
112.97/113.09	c  113s |      20 |  1032995 |   988527 |      725   3162 |        0 |        0
114.47/114.51	c  114s |      21 |  1045268 |  1000345 |      798   3191 |        0 |        0
116.48/116.52	c  116s |      21 |  1063331 |  1017045 |      798   3230 |        0 |        0
118.48/118.52	c  118s |      21 |  1080464 |  1033645 |      798   3270 |        0 |        0
120.47/120.53	c  120s |      21 |  1098235 |  1050345 |      798   3310 |        0 |        0
122.47/122.53	c  122s |      21 |  1115806 |  1067045 |      798   3350 |        0 |        0
124.48/124.54	c  124s |      21 |  1133282 |  1083445 |      798   3389 |        0 |        0
126.47/126.55	c  126s |      21 |  1150951 |  1100145 |      798   3429 |        0 |        0
128.47/128.55	c  128s |      21 |  1168690 |  1116545 |      798   3468 |        0 |        0
130.47/130.56	c  130s |      21 |  1187170 |  1133245 |      798   3508 |        0 |        0
132.47/132.56	c  132s |      21 |  1204986 |  1149845 |      798   3547 |        0 |        0
134.48/134.57	c  134s |      21 |  1222538 |  1166545 |      798   3587 |        0 |        0
136.47/136.58	c  136s |      21 |  1240237 |  1183345 |      798   3627 |        0 |        0
138.47/138.59	c  138s |      21 |  1257678 |  1200045 |      798   3667 |        0 |        0
140.47/140.59	c  140s |      21 |  1275728 |  1216545 |      798   3707 |        0 |        0
142.57/142.60	c  142s |      21 |  1293636 |  1233145 |      798   3746 |        0 |        0
144.57/144.61	c  144s |      21 |  1311509 |  1249845 |      798   3786 |        0 |        0
146.57/146.62	c  146s |      21 |  1328943 |  1266445 |      798   3826 |        0 |        0
148.56/148.62	c  148s |      21 |  1346533 |  1282945 |      798   3865 |        0 |        0
150.56/150.62	c  150s |      21 |  1364148 |  1299345 |      798   3904 |        0 |        0
152.56/152.62	c  152s |      21 |  1381685 |  1315645 |      798   3943 |        0 |        0
154.56/154.63	c  154s |      21 |  1399306 |  1332245 |      798   3983 |        0 |        0
156.56/156.63	c  156s |      21 |  1416580 |  1348645 |      798   4022 |        0 |        0
158.58/158.64	c  158s |      21 |  1433994 |  1365345 |      798   4062 |        0 |        0
160.57/160.65	c  160s |      21 |  1451605 |  1382045 |      798   4102 |        0 |        0
162.57/162.65	c  162s |      21 |  1468642 |  1398345 |      798   4141 |        0 |        0
164.57/164.66	c  164s |      21 |  1485957 |  1414645 |      798   4180 |        0 |        0
166.57/166.67	c  166s |      21 |  1503261 |  1431345 |      798   4219 |        0 |        0
168.57/168.67	c  168s |      21 |  1520536 |  1448045 |      798   4259 |        0 |        0
170.57/170.68	c  170s |      21 |  1537728 |  1464745 |      798   4299 |        0 |        0
172.56/172.69	c  172s |      21 |  1554778 |  1481245 |      798   4338 |        0 |        0
174.56/174.69	c  174s |      21 |  1571943 |  1497545 |      878   4375 |        0 |        0
174.96/175.10	c  175s |      22 |  1575202 |  1500622 |      878   4382 |        0 |        0
177.06/177.10	c  177s |      22 |  1592057 |  1516922 |      878   4418 |        0 |        0
179.06/179.10	c  179s |      22 |  1609023 |  1533322 |      878   4453 |        0 |        0
181.06/181.11	c  181s |      22 |  1626336 |  1549822 |      878   4489 |        0 |        0
183.06/183.12	c  183s |      22 |  1643449 |  1566122 |      878   4525 |        0 |        0
185.07/185.13	c  185s |      22 |  1660797 |  1582522 |      878   4560 |        0 |        0
187.06/187.14	c  187s |      22 |  1679232 |  1599022 |      878   4596 |        0 |        0
189.06/189.14	c  189s |      22 |  1697240 |  1615622 |      878   4632 |        0 |        0
191.06/191.14	c  191s |      22 |  1715340 |  1632222 |      878   4669 |        0 |        0
193.06/193.15	c  193s |      22 |  1733027 |  1648622 |      878   4704 |        0 |        0
195.07/195.16	c  195s |      22 |  1750167 |  1664822 |      878   4740 |        0 |        0
197.07/197.16	c  197s |      22 |  1767401 |  1680922 |      878   4775 |        0 |        0
199.06/199.16	c  199s |      22 |  1784716 |  1697222 |      878   4810 |        0 |        0
201.06/201.17	c  201s |      22 |  1801822 |  1713322 |      878   4845 |        0 |        0
203.06/203.17	c  203s |      22 |  1818789 |  1729522 |      878   4881 |        0 |        0
205.06/205.17	c  205s |      22 |  1835425 |  1745422 |      878   4915 |        0 |        0
207.07/207.18	c  207s |      22 |  1852337 |  1761622 |      878   4950 |        0 |        0
209.06/209.19	c  209s |      22 |  1869509 |  1777722 |      878   4986 |        0 |        0
211.06/211.19	c  211s |      22 |  1886708 |  1793922 |      878   5021 |        0 |        0
213.16/213.20	c  213s |      22 |  1903770 |  1810122 |      878   5056 |        0 |        0
215.16/215.20	c  215s |      22 |  1920889 |  1826322 |      878   5092 |        0 |        0
217.15/217.21	c  217s |      22 |  1938003 |  1842622 |      878   5127 |        0 |        0
219.16/219.22	c  219s |      22 |  1955157 |  1858722 |      878   5162 |        0 |        0
221.15/221.22	c  221s |      22 |  1972166 |  1875022 |      878   5198 |        0 |        0
223.15/223.22	c  223s |      22 |  1989183 |  1891222 |      878   5233 |        0 |        0
225.15/225.22	c  225s |      22 |  2006391 |  1907422 |      878   5269 |        0 |        0
227.16/227.24	c  227s |      22 |  2023529 |  1923722 |      878   5305 |        0 |        0
229.16/229.24	c  229s |      22 |  2040478 |  1939922 |      878   5340 |        0 |        0
231.16/231.24	c  231s |      22 |  2057336 |  1956022 |      878   5375 |        0 |        0
233.16/233.25	c  233s |      22 |  2074497 |  1972322 |      878   5410 |        0 |        0
235.16/235.26	c  235s |      22 |  2091359 |  1988522 |      878   5445 |        0 |        0
237.15/237.26	c  237s |      22 |  2108183 |  2004722 |      878   5481 |        0 |        0
239.15/239.27	c  239s |      22 |  2125454 |  2021122 |      878   5516 |        0 |        0
241.16/241.28	c  241s |      22 |  2142520 |  2037422 |      878   5552 |        0 |        0
243.15/243.29	c  243s |      22 |  2159522 |  2053722 |      878   5588 |        0 |        0
245.15/245.29	c  245s |      22 |  2176346 |  2069922 |      878   5623 |        0 |        0
247.15/247.29	c  247s |      22 |  2193027 |  2086022 |      878   5658 |        0 |        0
249.25/249.30	c  249s |      22 |  2209964 |  2102122 |      878   5693 |        0 |        0
251.25/251.31	c  251s |      22 |  2226650 |  2118322 |      878   5728 |        0 |        0
253.26/253.32	c  253s |      22 |  2243204 |  2134422 |      878   5764 |        0 |        0
255.25/255.33	c  255s |      22 |  2260178 |  2150822 |      878   5799 |        0 |        0
257.25/257.33	c  257s |      22 |  2277013 |  2167022 |      878   5835 |        0 |        0
259.25/259.34	c  259s |      22 |  2293978 |  2183222 |      878   5870 |        0 |        0
261.25/261.34	c  261s |      22 |  2310770 |  2199222 |      878   5905 |        0 |        0
263.25/263.35	c  263s |      22 |  2328059 |  2215522 |      878   5941 |        0 |        0
265.25/265.36	c  265s |      22 |  2345230 |  2231822 |      878   5976 |        0 |        0
267.25/267.37	c  267s |      22 |  2362076 |  2247922 |      966   6009 |        0 |        0
267.65/267.76	c  267s |      23 |  2365297 |  2251038 |      966   6015 |        0 |        0
269.65/269.77	c  269s |      23 |  2382282 |  2267138 |      966   6047 |        0 |        0
271.64/271.77	c  271s |      23 |  2399239 |  2283138 |      966   6079 |        0 |        0
273.64/273.78	c  273s |      23 |  2416414 |  2299138 |      966   6110 |        0 |        0
275.65/275.80	c  275s |      23 |  2433534 |  2315338 |      966   6142 |        0 |        0
277.75/277.80	c  277s |      23 |  2450848 |  2331538 |      966   6175 |        0 |        0
279.75/279.81	c  279s |      23 |  2468037 |  2347638 |      966   6207 |        0 |        0
281.76/281.82	c  281s |      23 |  2485201 |  2363638 |      966   6239 |        0 |        0
283.75/283.83	c  283s |      23 |  2502120 |  2379538 |      966   6270 |        0 |        0
285.75/285.83	c  285s |      23 |  2519122 |  2395438 |      966   6302 |        0 |        0
287.75/287.84	c  287s |      23 |  2535891 |  2411438 |      966   6334 |        0 |        0
289.75/289.85	c  289s |      23 |  2552770 |  2427438 |      966   6365 |        0 |        0
291.75/291.85	c  291s |      23 |  2569713 |  2443438 |      966   6397 |        0 |        0
293.74/293.86	c  293s |      23 |  2586447 |  2459338 |      966   6429 |        0 |        0
295.74/295.86	c  295s |      23 |  2603617 |  2475338 |      966   6461 |        0 |        0
297.74/297.87	c  297s |      23 |  2620619 |  2491338 |      966   6493 |        0 |        0
299.74/299.88	c  299s |      23 |  2637451 |  2507438 |      966   6525 |        0 |        0
301.74/301.89	c  301s |      23 |  2654253 |  2523438 |      966   6556 |        0 |        0
303.75/303.90	c  303s |      23 |  2671105 |  2539538 |      966   6588 |        0 |        0
305.84/305.91	c  305s |      23 |  2687821 |  2555438 |      966   6620 |        0 |        0
307.84/307.91	c  307s |      23 |  2704369 |  2571238 |      966   6652 |        0 |        0
309.84/309.92	c  309s |      23 |  2721538 |  2587138 |      966   6683 |        0 |        0
311.84/311.93	c  311s |      23 |  2739035 |  2603338 |      966   6715 |        0 |        0
313.84/313.93	c  313s |      23 |  2756119 |  2619338 |      966   6747 |        0 |        0
315.84/315.94	c  315s |      23 |  2773488 |  2635538 |      966   6779 |        0 |        0
317.85/317.94	c  317s |      23 |  2790638 |  2651438 |      966   6811 |        0 |        0
319.85/319.95	c  319s |      23 |  2807547 |  2667438 |      966   6843 |        0 |        0
321.85/321.96	c  321s |      23 |  2824826 |  2683438 |      966   6875 |        0 |        0
323.84/323.97	c  323s |      23 |  2842600 |  2699538 |      966   6907 |        0 |        0
325.85/325.97	c  325s |      23 |  2860132 |  2715438 |      966   6938 |        0 |        0
327.84/327.98	c  327s |      23 |  2877039 |  2731438 |      966   6970 |        0 |        0
329.84/329.98	c  329s |      23 |  2893752 |  2747538 |      966   7002 |        0 |        0
331.84/331.98	c  331s |      23 |  2910820 |  2763438 |      966   7034 |        0 |        0
333.84/333.99	c  333s |      23 |  2927526 |  2779238 |      966   7066 |        0 |        0
335.84/336.00	c  335s |      23 |  2944596 |  2795138 |      966   7097 |        0 |        0
337.85/338.00	c  337s |      23 |  2961960 |  2811238 |      966   7129 |        0 |        0
339.94/340.00	c  339s |      23 |  2979214 |  2826938 |      966   7161 |        0 |        0
341.94/342.00	c  341s |      23 |  2996027 |  2842738 |      966   7192 |        0 |        0
343.94/344.01	c  343s |      23 |  3013281 |  2858538 |      966   7224 |        0 |        0
345.94/346.02	c  346s |      23 |  3030181 |  2874438 |      966   7255 |        0 |        0
347.93/348.03	c  348s |      23 |  3046797 |  2890238 |      966   7287 |        0 |        0
349.94/350.04	c  350s |      23 |  3063929 |  2906138 |      966   7319 |        0 |        0
351.94/352.06	c  352s |      23 |  3081138 |  2922138 |      966   7351 |        0 |        0
353.94/354.07	c  354s |      23 |  3098359 |  2938138 |      966   7382 |        0 |        0
355.94/356.07	c  356s |      23 |  3115290 |  2954038 |      966   7414 |        0 |        0
357.94/358.08	c  358s |      23 |  3132737 |  2970038 |      966   7446 |        0 |        0
359.95/360.10	c  360s |      23 |  3149543 |  2986038 |      966   7478 |        0 |        0
361.94/362.10	c  362s |      23 |  3166072 |  3001638 |      966   7509 |        0 |        0
364.04/364.11	c  364s |      23 |  3182873 |  3017638 |      966   7540 |        0 |        0
366.04/366.11	c  366s |      23 |  3199852 |  3033638 |      966   7572 |        0 |        0
368.04/368.12	c  368s |      23 |  3216581 |  3049438 |      966   7604 |        0 |        0
370.03/370.12	c  370s |      23 |  3233094 |  3065138 |      966   7635 |        0 |        0
372.04/372.13	c  372s |      23 |  3250358 |  3081138 |      966   7667 |        0 |        0
374.03/374.14	c  374s |      23 |  3267257 |  3097038 |      966   7699 |        0 |        0
376.03/376.14	c  376s |      23 |  3284142 |  3112838 |      966   7730 |        0 |        0
378.03/378.15	c  378s |      23 |  3301201 |  3128938 |      966   7762 |        0 |        0
380.03/380.16	c  380s |      23 |  3318234 |  3144638 |      966   7794 |        0 |        0
382.03/382.17	c  382s |      23 |  3335288 |  3160238 |      966   7825 |        0 |        0
384.03/384.17	c  384s |      23 |  3352061 |  3176138 |      966   7856 |        0 |        0
386.03/386.18	c  386s |      23 |  3368744 |  3191838 |      966   7887 |        0 |        0
388.03/388.18	c  388s |      23 |  3385099 |  3207438 |      966   7918 |        0 |        0
390.03/390.19	c  390s |      23 |  3401756 |  3223338 |      966   7950 |        0 |        0
392.03/392.19	c  392s |      23 |  3418229 |  3238938 |      966   7981 |        0 |        0
394.04/394.19	c  394s |      23 |  3434576 |  3254538 |      966   8012 |        0 |        0
396.03/396.20	c  396s |      23 |  3451278 |  3270338 |      966   8043 |        0 |        0
398.13/398.21	c  398s |      23 |  3468384 |  3286438 |      966   8075 |        0 |        0
400.13/400.21	c  400s |      23 |  3485176 |  3302138 |      966   8107 |        0 |        0
402.13/402.22	c  402s |      23 |  3502034 |  3318138 |      966   8139 |        0 |        0
404.13/404.23	c  404s |      23 |  3518763 |  3333838 |      966   8170 |        0 |        0
406.14/406.24	c  406s |      23 |  3535501 |  3349738 |      966   8202 |        0 |        0
408.13/408.24	c  408s |      23 |  3551596 |  3365238 |     1063   8230 |        0 |        0
409.63/409.70	c  409s |      24 |  3563747 |  3376662 |     1063   8251 |        0 |        0
411.63/411.70	c  411s |      24 |  3580725 |  3392562 |     1063   8280 |        0 |        0
413.63/413.71	c  413s |      24 |  3597648 |  3408262 |     1063   8308 |        0 |        0
415.62/415.71	c  415s |      24 |  3614434 |  3423962 |     1063   8336 |        0 |        0
417.62/417.71	c  417s |      24 |  3630798 |  3439562 |     1063   8365 |        0 |        0
419.62/419.71	c  419s |      24 |  3647377 |  3455262 |     1063   8393 |        0 |        0
421.62/421.72	c  421s |      24 |  3663896 |  3470862 |     1063   8421 |        0 |        0
423.63/423.72	c  423s |      24 |  3679977 |  3486162 |     1063   8449 |        0 |        0
425.62/425.74	c  425s |      24 |  3696170 |  3501462 |     1063   8477 |        0 |        0
427.62/427.75	c  427s |      24 |  3712858 |  3517262 |     1063   8505 |        0 |        0
429.63/429.76	c  429s |      24 |  3729148 |  3532862 |     1063   8533 |        0 |        0
431.63/431.77	c  431s |      24 |  3745663 |  3548562 |     1063   8562 |        0 |        0
433.63/433.78	c  433s |      24 |  3761987 |  3564262 |     1063   8590 |        0 |        0
435.62/435.78	c  435s |      24 |  3778356 |  3579862 |     1063   8619 |        0 |        0
437.62/437.78	c  437s |      24 |  3794712 |  3595362 |     1063   8647 |        0 |        0
439.62/439.79	c  439s |      24 |  3811283 |  3611062 |     1063   8675 |        0 |        0
441.72/441.80	c  441s |      24 |  3827630 |  3626662 |     1063   8704 |        0 |        0
443.72/443.81	c  443s |      24 |  3843801 |  3642162 |     1063   8732 |        0 |        0
445.73/445.82	c  445s |      24 |  3859783 |  3657462 |     1063   8760 |        0 |        0
447.72/447.82	c  447s |      24 |  3876564 |  3672962 |     1063   8788 |        0 |        0
449.72/449.83	c  449s |      24 |  3892783 |  3688262 |     1063   8815 |        0 |        0
451.72/451.83	c  451s |      24 |  3909209 |  3703862 |     1063   8844 |        0 |        0
453.72/453.83	c  453s |      24 |  3925416 |  3719362 |     1063   8872 |        0 |        0
455.72/455.84	c  455s |      24 |  3941549 |  3734762 |     1063   8900 |        0 |        0
457.72/457.84	c  457s |      24 |  3957754 |  3750462 |     1063   8928 |        0 |        0
459.72/459.85	c  459s |      24 |  3973770 |  3765862 |     1063   8956 |        0 |        0
461.72/461.85	c  461s |      24 |  3989816 |  3781162 |     1063   8984 |        0 |        0
463.72/463.86	c  463s |      24 |  4005726 |  3796362 |     1063   9011 |        0 |        0
465.72/465.87	c  465s |      24 |  4021891 |  3811762 |     1063   9039 |        0 |        0
467.73/467.87	c  467s |      24 |  4038003 |  3827262 |     1063   9067 |        0 |        0
469.72/469.88	c  469s |      24 |  4054347 |  3842862 |     1063   9096 |        0 |        0
471.72/471.88	c  471s |      24 |  4070279 |  3858262 |     1063   9124 |        0 |        0
473.72/473.88	c  473s |      24 |  4086210 |  3873562 |     1063   9152 |        0 |        0
475.72/475.89	c  475s |      24 |  4102253 |  3889062 |     1063   9180 |        0 |        0
477.72/477.89	c  477s |      24 |  4118320 |  3904262 |     1063   9207 |        0 |        0
479.73/479.90	c  479s |      24 |  4134527 |  3919562 |     1063   9235 |        0 |        0
481.82/481.91	c  481s |      24 |  4150801 |  3935062 |     1063   9263 |        0 |        0
483.82/483.91	c  483s |      24 |  4167080 |  3950362 |     1063   9291 |        0 |        0
485.82/485.92	c  485s |      24 |  4183404 |  3965762 |     1063   9319 |        0 |        0
487.82/487.92	c  487s |      24 |  4200251 |  3981162 |     1063   9347 |        0 |        0
489.82/489.92	c  489s |      24 |  4216557 |  3996562 |     1063   9375 |        0 |        0
491.82/491.93	c  491s |      24 |  4232943 |  4011962 |     1063   9403 |        0 |        0
493.81/493.94	c  493s |      24 |  4249663 |  4027362 |     1063   9431 |        0 |        0
495.81/495.95	c  495s |      24 |  4265886 |  4042862 |     1063   9459 |        0 |        0
497.81/497.96	c  497s |      24 |  4282301 |  4058462 |     1063   9487 |        0 |        0
499.81/499.96	c  499s |      24 |  4299044 |  4074062 |     1063   9515 |        0 |        0
501.82/501.96	c  501s |      24 |  4315327 |  4089262 |     1063   9543 |        0 |        0
503.81/503.97	c  503s |      24 |  4331418 |  4104562 |     1063   9571 |        0 |        0
505.81/505.97	c  505s |      24 |  4348068 |  4119862 |     1063   9598 |        0 |        0
507.81/507.98	c  507s |      24 |  4364460 |  4135162 |     1063   9626 |        0 |        0
509.81/509.98	c  509s |      24 |  4380803 |  4150462 |     1063   9654 |        0 |        0
511.81/511.98	c  511s |      24 |  4397007 |  4165762 |     1063   9681 |        0 |        0
513.82/514.00	c  513s |      24 |  4413092 |  4181162 |     1063   9709 |        0 |        0
515.91/516.00	c  515s |      24 |  4429180 |  4196562 |     1063   9737 |        0 |        0
517.91/518.01	c  517s |      24 |  4445239 |  4212062 |     1063   9765 |        0 |        0
519.91/520.01	c  520s |      24 |  4461467 |  4227562 |     1063   9793 |        0 |        0
521.91/522.02	c  522s |      24 |  4477886 |  4243062 |     1063   9822 |        0 |        0
523.91/524.03	c  524s |      24 |  4494269 |  4258562 |     1063   9850 |        0 |        0
525.92/526.03	c  526s |      24 |  4510367 |  4274162 |     1063   9878 |        0 |        0
527.91/528.03	c  528s |      24 |  4526511 |  4289762 |     1063   9906 |        0 |        0
529.91/530.03	c  530s |      24 |  4542643 |  4305162 |     1063   9934 |        0 |        0
531.91/532.04	c  532s |      24 |  4558922 |  4320662 |     1063   9963 |        0 |        0
533.91/534.05	c  534s |      24 |  4575037 |  4336162 |     1063   9991 |        0 |        0
535.92/536.06	c  536s |      24 |  4591203 |  4351562 |     1063  10019 |        0 |        0
537.91/538.06	c  538s |      24 |  4607355 |  4366862 |     1063  10046 |        0 |        0
539.91/540.07	c  540s |      24 |  4623535 |  4382362 |     1063  10074 |        0 |        0
541.91/542.07	c  542s |      24 |  4639766 |  4397962 |     1063  10103 |        0 |        0
543.91/544.08	c  544s |      24 |  4656000 |  4413562 |     1063  10131 |        0 |        0
545.91/546.09	c  546s |      24 |  4672523 |  4429262 |     1063  10160 |        0 |        0
547.91/548.10	c  548s |      24 |  4688670 |  4444662 |     1063  10188 |        0 |        0
550.01/550.10	c  550s |      24 |  4704709 |  4459862 |     1063  10215 |        0 |        0
552.01/552.11	c  552s |      24 |  4720907 |  4475262 |     1063  10243 |        0 |        0
554.00/554.11	c  554s |      24 |  4737125 |  4490662 |     1063  10271 |        0 |        0
556.00/556.12	c  556s |      24 |  4753059 |  4505962 |     1063  10299 |        0 |        0
558.01/558.12	c  558s |      24 |  4769262 |  4521462 |     1063  10327 |        0 |        0
560.01/560.13	c  560s |      24 |  4785688 |  4536962 |     1063  10355 |        0 |        0
562.00/562.14	c  562s |      24 |  4802171 |  4552362 |     1063  10383 |        0 |        0
564.00/564.15	c  564s |      24 |  4818853 |  4567962 |     1063  10412 |        0 |        0
566.00/566.15	c  566s |      24 |  4834820 |  4583162 |     1063  10439 |        0 |        0
568.00/568.15	c  568s |      24 |  4850865 |  4598162 |     1063  10466 |        0 |        0
570.01/570.15	c  570s |      24 |  4867659 |  4613762 |     1063  10495 |        0 |        0
572.00/572.16	c  572s |      24 |  4884661 |  4629462 |     1063  10523 |        0 |        0
574.00/574.17	c  574s |      24 |  4900844 |  4644762 |     1063  10551 |        0 |        0
576.00/576.18	c  576s |      24 |  4917297 |  4660162 |     1063  10579 |        0 |        0
578.00/578.18	c  578s |      24 |  4933579 |  4675662 |     1063  10607 |        0 |        0
580.00/580.19	c  580s |      24 |  4949983 |  4691062 |     1063  10635 |        0 |        0
582.01/582.19	c  582s |      24 |  4966425 |  4706562 |     1063  10663 |        0 |        0
584.00/584.19	c  584s |      24 |  4982717 |  4722062 |     1063  10691 |        0 |        0
586.10/586.20	c  586s |      24 |  4999028 |  4737562 |     1063  10719 |        0 |        0
588.10/588.20	c  588s |      24 |  5015511 |  4753162 |     1063  10748 |        0 |        0
590.10/590.20	c  590s |      24 |  5032378 |  4768762 |     1063  10776 |        0 |        0
592.10/592.20	c  592s |      24 |  5048964 |  4784262 |     1063  10804 |        0 |        0
594.10/594.21	c  594s |      24 |  5065022 |  4799562 |     1063  10832 |        0 |        0
596.09/596.21	c  596s |      24 |  5080987 |  4814862 |     1063  10860 |        0 |        0
598.09/598.22	c  598s |      24 |  5097212 |  4830362 |     1063  10888 |        0 |        0
600.09/600.23	c  600s |      24 |  5113369 |  4845762 |     1063  10916 |        0 |        0
602.10/602.23	c  602s |      24 |  5130076 |  4861162 |     1063  10944 |        0 |        0
604.11/604.23	c  604s |      24 |  5146809 |  4876662 |     1063  10972 |        0 |        0
606.10/606.24	c  606s |      24 |  5163547 |  4892062 |     1063  11000 |        0 |        0
608.10/608.25	c  608s |      24 |  5179649 |  4907362 |     1063  11028 |        0 |        0
610.10/610.25	c  610s |      24 |  5196154 |  4922562 |     1063  11056 |        0 |        0
612.10/612.26	c  612s |      24 |  5212171 |  4937762 |     1063  11084 |        0 |        0
614.10/614.27	c  614s |      24 |  5228437 |  4952962 |     1063  11112 |        0 |        0
616.10/616.29	c  616s |      24 |  5245165 |  4968362 |     1063  11140 |        0 |        0
618.20/618.30	c  618s |      24 |  5261675 |  4983862 |     1063  11168 |        0 |        0
620.19/620.31	c  620s |      24 |  5277854 |  4999162 |     1063  11196 |        0 |        0
622.19/622.32	c  622s |      24 |  5294874 |  5014862 |     1063  11224 |        0 |        0
624.19/624.33	c  624s |      24 |  5311747 |  5030362 |     1170  11252 |        0 |        0
626.19/626.33	c  626s |      24 |  5328309 |  5045562 |     1170  11277 |        0 |        0
628.20/628.34	c  628s |      24 |  5344906 |  5060962 |     1170  11303 |        0 |        0
628.69/628.88	c  628s |      25 |  5349321 |  5065098 |     1170  11309 |        0 |        0
630.69/630.89	c  630s |      25 |  5365291 |  5080298 |     1170  11335 |        0 |        0
632.79/632.90	c  632s |      25 |  5381178 |  5095098 |     1170  11359 |        0 |        0
634.80/634.91	c  634s |      25 |  5396865 |  5109998 |     1170  11384 |        0 |        0
636.79/636.91	c  636s |      25 |  5413203 |  5124898 |     1170  11408 |        0 |        0
638.79/638.92	c  638s |      25 |  5429210 |  5140098 |     1170  11433 |        0 |        0
640.79/640.92	c  640s |      25 |  5445380 |  5155198 |     1170  11458 |        0 |        0
642.79/642.92	c  642s |      25 |  5461501 |  5170398 |     1170  11483 |        0 |        0
644.80/644.93	c  644s |      25 |  5477606 |  5185598 |     1170  11508 |        0 |        0
646.80/646.94	c  646s |      25 |  5493647 |  5200698 |     1170  11533 |        0 |        0
648.79/648.94	c  648s |      25 |  5509467 |  5215498 |     1170  11558 |        0 |        0
650.79/650.95	c  650s |      25 |  5525652 |  5230598 |     1170  11583 |        0 |        0
652.79/652.96	c  652s |      25 |  5542584 |  5245898 |     1170  11608 |        0 |        0
654.79/654.96	c  654s |      25 |  5558903 |  5260998 |     1170  11633 |        0 |        0
656.80/656.97	c  656s |      25 |  5574800 |  5276098 |     1170  11658 |        0 |        0
658.79/658.98	c  658s |      25 |  5590729 |  5291098 |     1170  11683 |        0 |        0
660.79/660.99	c  660s |      25 |  5607259 |  5306498 |     1170  11708 |        0 |        0
662.79/662.99	c  662s |      25 |  5623133 |  5321598 |     1170  11733 |        0 |        0
664.79/664.99	c  664s |      25 |  5639099 |  5336698 |     1170  11758 |        0 |        0
666.80/666.99	c  666s |      25 |  5655069 |  5351798 |     1170  11783 |        0 |        0
668.79/669.00	c  668s |      25 |  5671288 |  5366998 |     1170  11808 |        0 |        0
670.89/671.01	c  670s |      25 |  5687418 |  5382098 |     1170  11833 |        0 |        0
672.89/673.02	c  673s |      25 |  5703710 |  5397298 |     1170  11859 |        0 |        0
674.89/675.03	c  675s |      25 |  5719960 |  5412498 |     1170  11884 |        0 |        0
676.89/677.04	c  677s |      25 |  5736313 |  5427798 |     1170  11909 |        0 |        0
678.89/679.05	c  679s |      25 |  5752446 |  5442898 |     1170  11934 |        0 |        0
680.89/681.06	c  681s |      25 |  5768911 |  5457998 |     1170  11959 |        0 |        0
682.89/683.06	c  683s |      25 |  5785195 |  5472998 |     1170  11984 |        0 |        0
684.88/685.07	c  685s |      25 |  5801309 |  5487998 |     1170  12009 |        0 |        0
686.88/687.08	c  687s |      25 |  5817185 |  5503298 |     1170  12034 |        0 |        0
688.88/689.08	c  689s |      25 |  5832953 |  5518198 |     1170  12059 |        0 |        0
690.89/691.10	c  691s |      25 |  5848979 |  5533298 |     1170  12084 |        0 |        0
692.98/693.10	c  693s |      25 |  5865148 |  5548498 |     1170  12109 |        0 |        0
694.98/695.10	c  695s |      25 |  5881432 |  5563498 |     1170  12134 |        0 |        0
696.98/697.11	c  697s |      25 |  5897558 |  5578598 |     1170  12158 |        0 |        0
698.98/699.11	c  699s |      25 |  5913824 |  5593898 |     1170  12184 |        0 |        0
700.98/701.12	c  701s |      25 |  5929810 |  5608898 |     1170  12209 |        0 |        0
702.99/703.13	c  703s |      25 |  5945848 |  5623898 |     1170  12234 |        0 |        0
704.99/705.14	c  705s |      25 |  5961911 |  5638998 |     1170  12259 |        0 |        0
706.99/707.15	c  707s |      25 |  5978140 |  5654098 |     1170  12283 |        0 |        0
708.98/709.15	c  709s |      25 |  5993755 |  5668898 |     1170  12308 |        0 |        0
710.98/711.15	c  711s |      25 |  6009902 |  5684098 |     1170  12333 |        0 |        0
712.99/713.16	c  713s |      25 |  6026219 |  5699398 |     1170  12358 |        0 |        0
714.98/715.17	c  715s |      25 |  6042327 |  5714198 |     1170  12383 |        0 |        0
716.98/717.18	c  717s |      25 |  6059464 |  5729598 |     1170  12408 |        0 |        0
718.98/719.19	c  719s |      25 |  6075289 |  5744598 |     1170  12433 |        0 |        0
721.08/721.20	c  721s |      25 |  6091653 |  5759898 |     1170  12458 |        0 |        0
723.07/723.21	c  723s |      25 |  6107849 |  5774998 |     1170  12483 |        0 |        0
725.07/725.21	c  725s |      25 |  6123920 |  5789798 |     1170  12508 |        0 |        0
727.07/727.21	c  727s |      25 |  6140085 |  5804798 |     1170  12533 |        0 |        0
729.07/729.22	c  729s |      25 |  6156399 |  5819898 |     1170  12558 |        0 |        0
731.06/731.23	c  731s |      25 |  6173511 |  5835198 |     1170  12583 |        0 |        0
733.06/733.24	c  733s |      25 |  6190726 |  5850498 |     1170  12609 |        0 |        0
735.06/735.25	c  735s |      25 |  6207419 |  5865598 |     1170  12634 |        0 |        0
737.07/737.25	c  737s |      25 |  6223737 |  5880698 |     1170  12658 |        0 |        0
739.07/739.26	c  739s |      25 |  6239922 |  5895698 |     1170  12683 |        0 |        0
741.07/741.26	c  741s |      25 |  6255899 |  5910798 |     1170  12708 |        0 |        0
743.06/743.27	c  743s |      25 |  6271986 |  5925798 |     1170  12733 |        0 |        0
745.06/745.28	c  745s |      25 |  6288212 |  5941098 |     1170  12758 |        0 |        0
747.07/747.28	c  747s |      25 |  6304351 |  5956198 |     1170  12783 |        0 |        0
749.06/749.29	c  749s |      25 |  6320069 |  5971098 |     1170  12808 |        0 |        0
751.16/751.30	c  751s |      25 |  6336336 |  5986398 |     1170  12833 |        0 |        0
753.16/753.31	c  753s |      25 |  6352827 |  6001398 |     1170  12858 |        0 |        0
755.15/755.32	c  755s |      25 |  6369208 |  6016598 |     1170  12883 |        0 |        0
757.15/757.33	c  757s |      25 |  6385626 |  6031898 |     1170  12908 |        0 |        0
759.16/759.35	c  759s |      25 |  6402026 |  6047098 |     1170  12934 |        0 |        0
761.15/761.35	c  761s |      25 |  6418887 |  6062098 |     1170  12958 |        0 |        0
763.15/763.35	c  763s |      25 |  6435274 |  6076998 |     1170  12983 |        0 |        0
765.14/765.35	c  765s |      25 |  6452095 |  6092198 |     1170  13008 |        0 |        0
767.14/767.36	c  767s |      25 |  6469194 |  6107298 |     1170  13033 |        0 |        0
769.15/769.37	c  769s |      25 |  6485319 |  6122398 |     1170  13058 |        0 |        0
771.16/771.37	c  771s |      25 |  6501219 |  6137198 |     1170  13083 |        0 |        0
773.15/773.38	c  773s |      25 |  6517620 |  6152198 |     1170  13108 |        0 |        0
775.14/775.38	c  775s |      25 |  6534259 |  6167098 |     1170  13132 |        0 |        0
777.14/777.39	c  777s |      25 |  6550118 |  6182198 |     1170  13157 |        0 |        0
779.24/779.40	c  779s |      25 |  6566195 |  6197498 |     1170  13182 |        0 |        0
781.24/781.41	c  781s |      25 |  6582107 |  6212598 |     1170  13207 |        0 |        0
783.25/783.42	c  783s |      25 |  6598108 |  6227798 |     1170  13232 |        0 |        0
785.24/785.43	c  785s |      25 |  6614011 |  6243098 |     1170  13258 |        0 |        0
787.24/787.44	c  787s |      25 |  6629965 |  6258198 |     1170  13283 |        0 |        0
789.23/789.44	c  789s |      25 |  6645714 |  6273298 |     1170  13307 |        0 |        0
791.23/791.46	c  791s |      25 |  6661773 |  6288398 |     1170  13333 |        0 |        0
793.24/793.46	c  793s |      25 |  6678078 |  6303598 |     1170  13358 |        0 |        0
795.23/795.47	c  795s |      25 |  6694279 |  6318598 |     1170  13382 |        0 |        0
797.23/797.48	c  797s |      25 |  6710533 |  6333798 |     1170  13408 |        0 |        0
799.23/799.48	c  799s |      25 |  6726667 |  6348898 |     1170  13433 |        0 |        0
801.23/801.49	c  801s |      25 |  6742584 |  6364098 |     1170  13458 |        0 |        0
803.33/803.50	c  803s |      25 |  6758354 |  6379198 |     1170  13483 |        0 |        0
805.33/805.51	c  805s |      25 |  6774428 |  6394198 |     1170  13508 |        0 |        0
807.32/807.52	c  807s |      25 |  6790167 |  6409298 |     1170  13533 |        0 |        0
809.32/809.53	c  809s |      25 |  6806230 |  6424298 |     1170  13557 |        0 |        0
811.32/811.53	c  811s |      25 |  6822271 |  6439298 |     1170  13582 |        0 |        0
813.33/813.54	c  813s |      25 |  6838306 |  6454398 |     1170  13607 |        0 |        0
815.32/815.54	c  815s |      25 |  6854356 |  6469598 |     1170  13633 |        0 |        0
817.33/817.55	c  817s |      25 |  6870486 |  6484898 |     1170  13658 |        0 |        0
819.32/819.56	c  819s |      25 |  6886537 |  6499998 |     1170  13683 |        0 |        0
821.32/821.56	c  821s |      25 |  6902272 |  6514798 |     1170  13707 |        0 |        0
823.32/823.57	c  823s |      25 |  6917921 |  6529598 |     1170  13732 |        0 |        0
825.31/825.57	c  825s |      25 |  6933641 |  6544398 |     1170  13756 |        0 |        0
827.32/827.58	c  827s |      25 |  6949414 |  6559398 |     1170  13781 |        0 |        0
829.31/829.58	c  829s |      25 |  6965395 |  6574198 |     1170  13805 |        0 |        0
831.31/831.60	c  831s |      25 |  6981046 |  6589098 |     1170  13830 |        0 |        0
833.41/833.60	c  833s |      25 |  6996961 |  6603898 |     1170  13855 |        0 |        0
835.41/835.60	c  835s |      25 |  7012659 |  6618798 |     1170  13879 |        0 |        0
837.41/837.61	c  837s |      25 |  7028330 |  6633698 |     1170  13904 |        0 |        0
839.41/839.61	c  839s |      25 |  7043984 |  6648398 |     1170  13928 |        0 |        0
841.41/841.62	c  841s |      25 |  7060105 |  6663598 |     1170  13953 |        0 |        0
843.41/843.63	c  843s |      25 |  7075945 |  6678698 |     1170  13978 |        0 |        0
845.40/845.64	c  845s |      25 |  7092088 |  6693898 |     1170  14004 |        0 |        0
847.40/847.65	c  847s |      25 |  7108238 |  6708998 |     1170  14029 |        0 |        0
849.40/849.66	c  849s |      25 |  7124095 |  6724198 |     1170  14054 |        0 |        0
851.41/851.67	c  851s |      25 |  7139668 |  6739298 |     1170  14079 |        0 |        0
853.40/853.68	c  853s |      25 |  7155634 |  6754398 |     1170  14104 |        0 |        0
855.39/855.69	c  855s |      25 |  7171493 |  6769298 |     1170  14128 |        0 |        0
857.39/857.69	c  857s |      25 |  7187056 |  6784398 |     1170  14153 |        0 |        0
859.49/859.70	c  859s |      25 |  7203227 |  6799598 |     1170  14178 |        0 |        0
861.49/861.70	c  861s |      25 |  7219440 |  6814498 |     1170  14203 |        0 |        0
863.50/863.71	c  863s |      25 |  7235730 |  6829598 |     1170  14228 |        0 |        0
865.49/865.72	c  865s |      25 |  7251631 |  6844598 |     1170  14253 |        0 |        0
867.49/867.72	c  867s |      25 |  7267632 |  6859698 |     1170  14278 |        0 |        0
869.49/869.73	c  869s |      25 |  7283424 |  6874698 |     1170  14303 |        0 |        0
871.49/871.73	c  871s |      25 |  7299476 |  6889898 |     1170  14328 |        0 |        0
873.50/873.74	c  873s |      25 |  7315735 |  6904898 |     1170  14353 |        0 |        0
875.49/875.75	c  875s |      25 |  7332044 |  6920098 |     1170  14379 |        0 |        0
877.49/877.76	c  877s |      25 |  7348080 |  6935098 |     1170  14403 |        0 |        0
879.49/879.77	c  879s |      25 |  7364553 |  6950398 |     1170  14429 |        0 |        0
881.49/881.78	c  881s |      25 |  7380534 |  6965498 |     1170  14454 |        0 |        0
883.49/883.78	c  883s |      25 |  7396576 |  6980598 |     1170  14479 |        0 |        0
885.49/885.79	c  885s |      25 |  7412387 |  6995598 |     1170  14503 |        0 |        0
887.48/887.79	c  887s |      25 |  7428594 |  7010698 |     1170  14528 |        0 |        0
889.48/889.79	c  889s |      25 |  7444809 |  7025698 |     1170  14553 |        0 |        0
891.48/891.79	c  891s |      25 |  7460724 |  7040598 |     1170  14578 |        0 |        0
893.58/893.81	c  893s |      25 |  7476503 |  7055398 |     1170  14602 |        0 |        0
895.58/895.82	c  895s |      25 |  7492316 |  7070098 |     1170  14626 |        0 |        0
897.58/897.83	c  897s |      25 |  7508068 |  7084898 |     1170  14651 |        0 |        0
899.58/899.83	c  899s |      25 |  7523872 |  7099798 |     1170  14675 |        0 |        0
901.58/901.84	c  901s |      25 |  7539775 |  7114798 |     1170  14700 |        0 |        0
903.58/903.85	c  903s |      25 |  7555550 |  7129698 |     1170  14725 |        0 |        0
905.58/905.86	c  905s |      25 |  7571425 |  7144898 |     1170  14750 |        0 |        0
907.58/907.87	c  907s |      25 |  7587226 |  7160098 |     1170  14775 |        0 |        0
909.58/909.87	c  909s |      25 |  7602794 |  7175098 |     1170  14800 |        0 |        0
911.58/911.88	c  911s |      25 |  7618728 |  7190298 |     1170  14825 |        0 |        0
913.57/913.89	c  913s |      25 |  7634482 |  7205398 |     1170  14850 |        0 |        0
915.67/915.90	c  915s |      25 |  7650372 |  7220598 |     1170  14876 |        0 |        0
917.67/917.91	c  917s |      25 |  7666580 |  7235598 |     1170  14900 |        0 |        0
919.67/919.91	c  919s |      25 |  7682278 |  7250598 |     1170  14925 |        0 |        0
921.66/921.91	c  921s |      25 |  7698251 |  7265698 |     1170  14950 |        0 |        0
923.66/923.92	c  923s |      25 |  7714372 |  7280798 |     1170  14975 |        0 |        0
925.66/925.93	c  925s |      25 |  7730552 |  7295898 |     1170  15000 |        0 |        0
927.66/927.93	c  927s |      25 |  7746707 |  7310998 |     1170  15025 |        0 |        0
929.66/929.93	c  929s |      25 |  7762540 |  7325898 |     1170  15050 |        0 |        0
931.68/931.94	c  931s |      25 |  7778691 |  7341198 |     1170  15075 |        0 |        0
933.67/933.95	c  933s |      25 |  7794693 |  7356298 |     1170  15101 |        0 |        0
935.66/935.95	c  935s |      25 |  7810608 |  7371398 |     1170  15126 |        0 |        0
937.66/937.95	c  937s |      25 |  7826319 |  7386398 |     1170  15150 |        0 |        0
939.66/939.96	c  939s |      25 |  7842042 |  7401498 |     1170  15175 |        0 |        0
941.67/941.96	c  941s |      25 |  7857668 |  7416498 |     1170  15200 |        0 |        0
943.66/943.96	c  943s |      25 |  7873635 |  7431398 |     1170  15225 |        0 |        0
945.66/945.97	c  945s |      25 |  7889645 |  7446298 |     1170  15250 |        0 |        0
947.65/947.97	c  947s |      25 |  7905745 |  7461298 |     1170  15274 |        0 |        0
949.65/949.98	c  949s |      25 |  7921890 |  7476398 |     1170  15300 |        0 |        0
951.65/951.99	c  951s |      25 |  7938064 |  7491598 |     1170  15325 |        0 |        0
953.66/954.00	c  953s |      25 |  7954363 |  7506798 |     1170  15350 |        0 |        0
955.75/956.00	c  955s |      25 |  7970650 |  7521898 |     1170  15375 |        0 |        0
957.75/958.01	c  957s |      25 |  7987105 |  7536998 |     1170  15400 |        0 |        0
959.75/960.02	c  960s |      25 |  8002888 |  7551698 |     1287  15423 |        0 |        0
961.75/962.02	c  962s |      25 |  8018892 |  7566498 |     1287  15445 |        0 |        0
963.75/964.03	c  964s |      25 |  8034824 |  7581298 |     1287  15468 |        0 |        0
965.75/966.04	c  966s |      25 |  8050836 |  7596098 |     1287  15490 |        0 |        0
965.94/966.27	c  966s |      26 |  8052566 |  7597752 |     1287  15493 |        0 |        0
967.95/968.28	c  968s |      26 |  8068755 |  7612852 |     1287  15515 |        0 |        0
969.94/970.28	c  970s |      26 |  8085072 |  7627752 |     1287  15538 |        0 |        0
971.94/972.28	c  972s |      26 |  8100699 |  7642452 |     1287  15560 |        0 |        0
973.94/974.29	c  974s |      26 |  8116003 |  7657052 |     1287  15582 |        0 |        0
975.93/976.29	c  976s |      26 |  8132264 |  7671752 |     1287  15604 |        0 |        0
977.94/978.29	c  978s |      26 |  8148622 |  7686252 |     1287  15626 |        0 |        0
979.93/980.30	c  980s |      26 |  8164596 |  7700852 |     1287  15648 |        0 |        0
982.04/982.31	c  982s |      26 |  8180277 |  7715452 |     1287  15670 |        0 |        0
984.04/984.31	c  984s |      26 |  8195805 |  7730152 |     1287  15692 |        0 |        0
986.04/986.32	c  986s |      26 |  8211353 |  7744652 |     1287  15714 |        0 |        0
988.04/988.32	c  988s |      26 |  8227213 |  7759252 |     1287  15736 |        0 |        0
990.04/990.33	c  990s |      26 |  8242643 |  7773752 |     1287  15758 |        0 |        0
992.04/992.34	c  992s |      26 |  8257910 |  7788152 |     1287  15779 |        0 |        0
994.04/994.34	c  994s |      26 |  8273188 |  7802852 |     1287  15802 |        0 |        0
996.03/996.35	c  996s |      26 |  8288625 |  7817552 |     1287  15824 |        0 |        0
998.03/998.35	c  998s |      26 |  8304217 |  7832152 |     1287  15846 |        0 |        0
1000.03/1000.36	c 1000s |      26 |  8320098 |  7846752 |     1287  15868 |        0 |        0
1002.04/1002.36	c 1002s |      26 |  8336130 |  7861552 |     1287  15890 |        0 |        0
1004.03/1004.37	c 1004s |      26 |  8352141 |  7876152 |     1287  15912 |        0 |        0
1006.02/1006.37	c 1006s |      26 |  8367968 |  7890852 |     1287  15934 |        0 |        0
1008.02/1008.38	c 1008s |      26 |  8383435 |  7905452 |     1287  15957 |        0 |        0
1010.02/1010.39	c 1010s |      26 |  8399069 |  7920252 |     1287  15979 |        0 |        0
1012.12/1012.40	c 1012s |      26 |  8414850 |  7934952 |     1287  16001 |        0 |        0
1014.13/1014.41	c 1014s |      26 |  8430649 |  7949352 |     1287  16023 |        0 |        0
1016.12/1016.42	c 1016s |      26 |  8446062 |  7964052 |     1287  16045 |        0 |        0
1018.12/1018.43	c 1018s |      26 |  8461843 |  7978952 |     1287  16068 |        0 |        0
1020.12/1020.44	c 1020s |      26 |  8477344 |  7993552 |     1287  16090 |        0 |        0
1022.12/1022.45	c 1022s |      26 |  8493056 |  8008352 |     1287  16112 |        0 |        0
1024.13/1024.45	c 1024s |      26 |  8508724 |  8023052 |     1287  16134 |        0 |        0
1026.11/1026.46	c 1026s |      26 |  8524462 |  8037752 |     1287  16156 |        0 |        0
1028.11/1028.47	c 1028s |      26 |  8540140 |  8052452 |     1287  16179 |        0 |        0
1030.11/1030.47	c 1030s |      26 |  8555522 |  8067052 |     1287  16201 |        0 |        0
1032.11/1032.48	c 1032s |      26 |  8571085 |  8081652 |     1287  16223 |        0 |        0
1034.11/1034.48	c 1034s |      26 |  8586988 |  8096652 |     1287  16245 |        0 |        0
1036.11/1036.48	c 1036s |      26 |  8602754 |  8111152 |     1287  16267 |        0 |        0
1038.11/1038.49	c 1038s |      26 |  8619099 |  8125852 |     1287  16289 |        0 |        0
1040.20/1040.50	c 1040s |      26 |  8635183 |  8140552 |     1287  16312 |        0 |        0
1042.20/1042.50	c 1042s |      26 |  8651434 |  8155552 |     1287  16334 |        0 |        0
1044.20/1044.52	c 1044s |      26 |  8667484 |  8170252 |     1287  16357 |        0 |        0
1046.20/1046.52	c 1046s |      26 |  8683166 |  8185052 |     1287  16379 |        0 |        0
1048.21/1048.52	c 1048s |      26 |  8698679 |  8199652 |     1287  16401 |        0 |        0
1050.20/1050.53	c 1050s |      26 |  8714858 |  8214352 |     1287  16423 |        0 |        0
1052.21/1052.55	c 1052s |      26 |  8730803 |  8229152 |     1287  16446 |        0 |        0
1054.21/1054.55	c 1054s |      26 |  8746717 |  8244152 |     1287  16468 |        0 |        0
1056.20/1056.56	c 1056s |      26 |  8762354 |  8258852 |     1287  16490 |        0 |        0
1058.21/1058.58	c 1058s |      26 |  8777650 |  8273352 |     1287  16512 |        0 |        0
1060.20/1060.58	c 1060s |      26 |  8793173 |  8288252 |     1287  16535 |        0 |        0
1062.20/1062.59	c 1062s |      26 |  8808613 |  8303052 |     1287  16557 |        0 |        0
1064.30/1064.60	c 1064s |      26 |  8824239 |  8318052 |     1287  16580 |        0 |        0
1066.29/1066.61	c 1066s |      26 |  8839782 |  8332752 |     1287  16602 |        0 |        0
1068.29/1068.61	c 1068s |      26 |  8855127 |  8347452 |     1287  16624 |        0 |        0
1070.30/1070.62	c 1070s |      26 |  8870843 |  8362152 |     1287  16646 |        0 |        0
1072.29/1072.62	c 1072s |      26 |  8886436 |  8377052 |     1287  16669 |        0 |        0
1074.29/1074.63	c 1074s |      26 |  8902007 |  8391952 |     1287  16691 |        0 |        0
1076.29/1076.63	c 1076s |      26 |  8917369 |  8406652 |     1287  16713 |        0 |        0
1078.29/1078.64	c 1078s |      26 |  8933242 |  8420952 |     1287  16735 |        0 |        0
1080.28/1080.64	c 1080s |      26 |  8949062 |  8435052 |     1287  16756 |        0 |        0
1082.29/1082.65	c 1082s |      26 |  8964305 |  8449152 |     1287  16777 |        0 |        0
1084.28/1084.66	c 1084s |      26 |  8979971 |  8463452 |     1287  16799 |        0 |        0
1086.28/1086.67	c 1086s |      26 |  8995632 |  8477952 |     1287  16821 |        0 |        0
1088.28/1088.68	c 1088s |      26 |  9011740 |  8492652 |     1287  16843 |        0 |        0
1090.28/1090.69	c 1090s |      26 |  9027138 |  8507352 |     1287  16865 |        0 |        0
1092.28/1092.69	c 1092s |      26 |  9042615 |  8521652 |     1287  16887 |        0 |        0
1094.38/1094.71	c 1094s |      26 |  9058085 |  8535952 |     1287  16908 |        0 |        0
1096.37/1096.71	c 1096s |      26 |  9073229 |  8550252 |     1287  16930 |        0 |        0
1098.38/1098.72	c 1098s |      26 |  9089006 |  8564752 |     1287  16952 |        0 |        0
1100.38/1100.73	c 1100s |      26 |  9104950 |  8579252 |     1287  16974 |        0 |        0
1102.38/1102.73	c 1102s |      26 |  9120099 |  8593452 |     1287  16995 |        0 |        0
1104.39/1104.74	c 1104s |      26 |  9135844 |  8607852 |     1287  17017 |        0 |        0
1106.37/1106.75	c 1106s |      26 |  9151189 |  8622052 |     1287  17038 |        0 |        0
1108.37/1108.76	c 1108s |      26 |  9166672 |  8636552 |     1287  17060 |        0 |        0
1110.37/1110.76	c 1110s |      26 |  9182135 |  8650852 |     1287  17082 |        0 |        0
1112.37/1112.77	c 1112s |      26 |  9197681 |  8665352 |     1287  17103 |        0 |        0
1114.37/1114.78	c 1114s |      26 |  9213649 |  8679952 |     1287  17125 |        0 |        0
1116.37/1116.78	c 1116s |      26 |  9229301 |  8694352 |     1287  17147 |        0 |        0
1118.37/1118.78	c 1118s |      26 |  9244764 |  8708552 |     1287  17169 |        0 |        0
1120.46/1120.80	c 1120s |      26 |  9261042 |  8723152 |     1287  17191 |        0 |        0
1122.46/1122.81	c 1122s |      26 |  9276767 |  8737552 |     1287  17212 |        0 |        0
1124.46/1124.82	c 1124s |      26 |  9292339 |  8751952 |     1287  17234 |        0 |        0
1126.46/1126.83	c 1126s |      26 |  9307880 |  8766452 |     1287  17256 |        0 |        0
1128.46/1128.83	c 1128s |      26 |  9323451 |  8781052 |     1287  17278 |        0 |        0
1130.46/1130.84	c 1130s |      26 |  9339631 |  8795752 |     1287  17300 |        0 |        0
1132.45/1132.84	c 1132s |      26 |  9355296 |  8810552 |     1287  17323 |        0 |        0
1134.45/1134.85	c 1134s |      26 |  9371097 |  8825352 |     1287  17345 |        0 |        0
1136.45/1136.85	c 1136s |      26 |  9386211 |  8839652 |     1287  17367 |        0 |        0
1138.45/1138.86	c 1138s |      26 |  9401513 |  8854352 |     1287  17389 |        0 |        0
1140.45/1140.87	c 1140s |      26 |  9416614 |  8868752 |     1287  17411 |        0 |        0
1142.45/1142.87	c 1142s |      26 |  9432516 |  8883352 |     1287  17433 |        0 |        0
1144.45/1144.88	c 1144s |      26 |  9447875 |  8897952 |     1287  17455 |        0 |        0
1146.44/1146.89	c 1146s |      26 |  9463301 |  8912352 |     1287  17476 |        0 |        0
1148.44/1148.89	c 1148s |      26 |  9478884 |  8926652 |     1287  17498 |        0 |        0
1150.55/1150.90	c 1150s |      26 |  9494959 |  8941052 |     1287  17520 |        0 |        0
1152.54/1152.90	c 1152s |      26 |  9511651 |  8955652 |     1287  17542 |        0 |        0
1154.54/1154.91	c 1154s |      26 |  9527395 |  8970152 |     1287  17564 |        0 |        0
1156.53/1156.92	c 1156s |      26 |  9543577 |  8984752 |     1287  17586 |        0 |        0
1158.53/1158.92	c 1158s |      26 |  9560186 |  8999452 |     1287  17608 |        0 |        0
1160.54/1160.93	c 1160s |      26 |  9575454 |  9013952 |     1287  17630 |        0 |        0
1162.55/1162.93	c 1162s |      26 |  9590490 |  9028252 |     1287  17651 |        0 |        0
1164.54/1164.94	c 1164s |      26 |  9605845 |  9042752 |     1287  17673 |        0 |        0
1166.54/1166.95	c 1166s |      26 |  9621321 |  9057352 |     1287  17695 |        0 |        0
1168.54/1168.96	c 1168s |      26 |  9636496 |  9071752 |     1287  17717 |        0 |        0
1170.54/1170.97	c 1170s |      26 |  9651482 |  9086052 |     1287  17738 |        0 |        0
1172.54/1172.98	c 1172s |      26 |  9666856 |  9100452 |     1287  17760 |        0 |        0
1174.54/1174.98	c 1174s |      26 |  9682355 |  9115052 |     1287  17782 |        0 |        0
1176.53/1177.00	c 1176s |      26 |  9697696 |  9129652 |     1287  17804 |        0 |        0
1178.63/1179.01	c 1178s |      26 |  9713643 |  9144552 |     1287  17827 |        0 |        0
1180.63/1181.01	c 1181s |      26 |  9729237 |  9159352 |     1287  17849 |        0 |        0
1182.63/1183.02	c 1183s |      26 |  9745026 |  9174052 |     1287  17872 |        0 |        0
1184.64/1185.03	c 1185s |      26 |  9760482 |  9188652 |     1287  17894 |        0 |        0
1186.63/1187.03	c 1187s |      26 |  9775778 |  9203052 |     1287  17916 |        0 |        0
1188.62/1189.04	c 1189s |      26 |  9791603 |  9217652 |     1287  17938 |        0 |        0
1190.62/1191.04	c 1191s |      26 |  9807377 |  9232352 |     1287  17960 |        0 |        0
1192.62/1193.05	c 1193s |      26 |  9823303 |  9247052 |     1287  17982 |        0 |        0
1194.62/1195.06	c 1195s |      26 |  9838523 |  9261252 |     1287  18004 |        0 |        0
1196.62/1197.07	c 1197s |      26 |  9853958 |  9275752 |     1287  18026 |        0 |        0
1198.62/1199.08	c 1199s |      26 |  9869931 |  9290352 |     1287  18048 |        0 |        0
1200.72/1201.10	c 1201s |      26 |  9885824 |  9304852 |     1287  18070 |        0 |        0
1202.72/1203.11	c 1203s |      26 |  9901840 |  9319552 |     1287  18092 |        0 |        0
1204.71/1205.12	c 1205s |      26 |  9918334 |  9334352 |     1287  18114 |        0 |        0
1206.72/1207.12	c 1207s |      26 |  9933868 |  9348652 |     1287  18136 |        0 |        0
1208.72/1209.12	c 1209s |      26 |  9949536 |  9363252 |     1287  18158 |        0 |        0
1210.72/1211.13	c 1211s |      26 |  9965447 |  9377952 |     1287  18181 |        0 |        0
1212.72/1213.13	c 1213s |      26 |  9981431 |  9392452 |     1287  18203 |        0 |        0
1214.72/1215.14	c 1215s |      26 |  9997917 |  9407152 |     1287  18225 |        0 |        0
1216.71/1217.15	c 1217s |      26 | 10014310 |  9421952 |     1287  18247 |        0 |        0
1218.72/1219.16	c 1219s |      26 | 10030837 |  9436852 |     1287  18270 |        0 |        0
1220.71/1221.17	c 1221s |      26 | 10046344 |  9451152 |     1287  18292 |        0 |        0
1222.71/1223.17	c 1223s |      26 | 10062234 |  9465652 |     1287  18313 |        0 |        0
1224.71/1225.18	c 1225s |      26 | 10077732 |  9479952 |     1287  18335 |        0 |        0
1226.70/1227.18	c 1227s |      26 | 10092989 |  9494152 |     1287  18356 |        0 |        0
1228.70/1229.19	c 1229s |      26 | 10107900 |  9508352 |     1287  18378 |        0 |        0
1230.71/1231.19	c 1231s |      26 | 10122976 |  9522852 |     1287  18399 |        0 |        0
1232.80/1233.20	c 1233s |      26 | 10137959 |  9537152 |     1287  18421 |        0 |        0
1234.80/1235.21	c 1235s |      26 | 10153068 |  9551452 |     1287  18442 |        0 |        0
1236.80/1237.21	c 1237s |      26 | 10168413 |  9565852 |     1287  18464 |        0 |        0
1238.80/1239.22	c 1239s |      26 | 10183380 |  9580152 |     1287  18486 |        0 |        0
1240.80/1241.23	c 1241s |      26 | 10198719 |  9594552 |     1287  18507 |        0 |        0
1242.81/1243.24	c 1243s |      26 | 10214278 |  9608952 |     1287  18529 |        0 |        0
1244.80/1245.25	c 1245s |      26 | 10229890 |  9623352 |     1287  18551 |        0 |        0
1246.80/1247.25	c 1247s |      26 | 10244899 |  9637552 |     1287  18572 |        0 |        0
1248.80/1249.26	c 1249s |      26 | 10259960 |  9651752 |     1287  18593 |        0 |        0
1250.79/1251.27	c 1251s |      26 | 10275049 |  9666152 |     1287  18615 |        0 |        0
1252.80/1253.28	c 1253s |      26 | 10289833 |  9680152 |     1287  18636 |        0 |        0
1254.79/1255.29	c 1255s |      26 | 10304790 |  9694552 |     1287  18658 |        0 |        0
1256.79/1257.29	c 1257s |      26 | 10319468 |  9708652 |     1287  18679 |        0 |        0
1258.89/1259.31	c 1259s |      26 | 10334574 |  9723052 |     1287  18701 |        0 |        0
1260.89/1261.32	c 1261s |      26 | 10349378 |  9737352 |     1287  18722 |        0 |        0
1262.89/1263.32	c 1263s |      26 | 10364270 |  9751452 |     1287  18744 |        0 |        0
1264.89/1265.33	c 1265s |      26 | 10379677 |  9765952 |     1287  18766 |        0 |        0
1266.88/1267.34	c 1267s |      26 | 10394738 |  9780252 |     1287  18787 |        0 |        0
1268.88/1269.35	c 1269s |      26 | 10409628 |  9794552 |     1287  18809 |        0 |        0
1270.88/1271.36	c 1271s |      26 | 10424845 |  9809052 |     1287  18831 |        0 |        0
1272.88/1273.38	c 1273s |      26 | 10439946 |  9823552 |     1287  18853 |        0 |        0
1274.88/1275.39	c 1275s |      26 | 10455338 |  9838052 |     1287  18874 |        0 |        0
1276.88/1277.39	c 1277s |      26 | 10470280 |  9852352 |     1287  18896 |        0 |        0
1278.98/1279.40	c 1279s |      26 | 10485340 |  9866652 |     1287  18918 |        0 |        0
1280.98/1281.41	c 1281s |      26 | 10500837 |  9881152 |     1287  18940 |        0 |        0
1282.98/1283.41	c 1283s |      26 | 10516201 |  9895552 |     1287  18962 |        0 |        0
1284.98/1285.42	c 1285s |      26 | 10531737 |  9910252 |     1287  18984 |        0 |        0
1286.98/1287.44	c 1287s |      26 | 10547550 |  9924652 |     1287  19006 |        0 |        0
1288.98/1289.45	c 1289s |      26 | 10562859 |  9938952 |     1287  19027 |        0 |        0
1290.97/1291.45	c 1291s |      26 | 10578445 |  9953352 |     1287  19049 |        0 |        0
1292.97/1293.45	c 1293s |      26 | 10593398 |  9967452 |     1287  19070 |        0 |        0
1294.97/1295.46	c 1295s |      26 | 10608215 |  9981752 |     1287  19092 |        0 |        0
1296.97/1297.47	c 1297s |      26 | 10623298 |  9995852 |     1287  19113 |        0 |        0
1298.97/1299.48	c 1299s |      26 | 10638316 | 10009952 |     1287  19134 |        0 |        0
1300.97/1301.49	c 1301s |      26 | 10653323 | 10024252 |     1287  19156 |        0 |        0
1303.06/1303.50	c 1303s |      26 | 10668109 | 10038552 |     1287  19178 |        0 |        0
1305.06/1305.51	c 1305s |      26 | 10683135 | 10052852 |     1287  19199 |        0 |        0
1307.06/1307.52	c 1307s |      26 | 10698380 | 10067152 |     1287  19221 |        0 |        0
1309.06/1309.52	c 1309s |      26 | 10713313 | 10081152 |     1287  19242 |        0 |        0
1311.07/1311.53	c 1311s |      26 | 10728249 | 10095252 |     1287  19263 |        0 |        0
1313.06/1313.54	c 1313s |      26 | 10743017 | 10109052 |     1287  19284 |        0 |        0
1315.05/1315.55	c 1315s |      26 | 10757797 | 10123252 |     1287  19306 |        0 |        0
1317.05/1317.56	c 1317s |      26 | 10773049 | 10137452 |     1287  19327 |        0 |        0
1319.06/1319.56	c 1319s |      26 | 10788338 | 10151752 |     1287  19349 |        0 |        0
1321.06/1321.57	c 1321s |      26 | 10803419 | 10165952 |     1287  19370 |        0 |        0
1323.07/1323.57	c 1323s |      26 | 10818752 | 10180052 |     1287  19392 |        0 |        0
1325.06/1325.58	c 1325s |      26 | 10834010 | 10194052 |     1287  19413 |        0 |        0
1327.06/1327.58	c 1327s |      26 | 10849611 | 10208352 |     1287  19435 |        0 |        0
1329.06/1329.58	c 1329s |      26 | 10864963 | 10222652 |     1287  19456 |        0 |        0
1331.06/1331.59	c 1331s |      26 | 10880476 | 10237152 |     1287  19478 |        0 |        0
1333.16/1333.60	c 1333s |      26 | 10895843 | 10251452 |     1287  19500 |        0 |        0
1335.16/1335.61	c 1335s |      26 | 10911565 | 10265952 |     1287  19522 |        0 |        0
1337.15/1337.62	c 1337s |      26 | 10926701 | 10280252 |     1287  19544 |        0 |        0
1339.15/1339.63	c 1339s |      26 | 10942059 | 10294452 |     1287  19565 |        0 |        0
1341.15/1341.64	c 1341s |      26 | 10957623 | 10308652 |     1287  19586 |        0 |        0
1343.15/1343.64	c 1343s |      26 | 10972750 | 10322652 |     1287  19607 |        0 |        0
1345.16/1345.66	c 1345s |      26 | 10987873 | 10336852 |     1287  19629 |        0 |        0
1347.15/1347.66	c 1347s |      26 | 11003395 | 10351052 |     1287  19650 |        0 |        0
1349.15/1349.66	c 1349s |      26 | 11019073 | 10365452 |     1287  19672 |        0 |        0
1351.14/1351.67	c 1351s |      26 | 11034153 | 10379752 |     1287  19694 |        0 |        0
1353.14/1353.67	c 1353s |      26 | 11048819 | 10393752 |     1287  19715 |        0 |        0
1355.14/1355.68	c 1355s |      26 | 11063740 | 10407652 |     1287  19736 |        0 |        0
1357.14/1357.69	c 1357s |      26 | 11079044 | 10421952 |     1287  19758 |        0 |        0
1359.24/1359.71	c 1359s |      26 | 11094001 | 10436252 |     1287  19779 |        0 |        0
1361.24/1361.72	c 1361s |      26 | 11109203 | 10450552 |     1287  19801 |        0 |        0
1363.23/1363.73	c 1363s |      26 | 11123904 | 10464652 |     1287  19822 |        0 |        0
1365.23/1365.74	c 1365s |      26 | 11139249 | 10478652 |     1287  19843 |        0 |        0
1367.23/1367.75	c 1367s |      26 | 11154440 | 10492952 |     1287  19865 |        0 |        0
1369.24/1369.75	c 1369s |      26 | 11170428 | 10507352 |     1287  19887 |        0 |        0
1371.23/1371.76	c 1371s |      26 | 11185827 | 10521452 |     1287  19908 |        0 |        0
1373.24/1373.77	c 1373s |      26 | 11201267 | 10535452 |     1287  19929 |        0 |        0
1375.24/1375.78	c 1375s |      26 | 11216129 | 10549352 |     1287  19950 |        0 |        0
1377.24/1377.78	c 1377s |      26 | 11230588 | 10563052 |     1287  19971 |        0 |        0
1379.24/1379.79	c 1379s |      26 | 11246406 | 10576952 |     1287  19992 |        0 |        0
1381.24/1381.80	c 1381s |      26 | 11261503 | 10590952 |     1287  20013 |        0 |        0
1383.33/1383.80	c 1383s |      26 | 11276440 | 10604852 |     1287  20034 |        0 |        0
1385.33/1385.80	c 1385s |      26 | 11291447 | 10618852 |     1287  20055 |        0 |        0
1387.33/1387.80	c 1387s |      26 | 11306782 | 10632952 |     1287  20077 |        0 |        0
1389.33/1389.81	c 1389s |      26 | 11322000 | 10647052 |     1287  20098 |        0 |        0
1391.34/1391.81	c 1391s |      26 | 11337295 | 10661252 |     1287  20119 |        0 |        0
1393.33/1393.82	c 1393s |      26 | 11352866 | 10675352 |     1287  20141 |        0 |        0
1395.33/1395.83	c 1395s |      26 | 11368783 | 10689652 |     1287  20162 |        0 |        0
1397.33/1397.84	c 1397s |      26 | 11384571 | 10703652 |     1287  20184 |        0 |        0
1399.33/1399.86	c 1399s |      26 | 11400174 | 10717752 |     1287  20205 |        0 |        0
1401.33/1401.87	c 1401s |      26 | 11415384 | 10731852 |     1287  20226 |        0 |        0
1403.34/1403.87	c 1403s |      26 | 11430124 | 10745852 |     1287  20247 |        0 |        0
1405.33/1405.88	c 1405s |      26 | 11445213 | 10760152 |     1287  20269 |        0 |        0
1407.33/1407.89	c 1407s |      26 | 11460596 | 10774452 |     1287  20291 |        0 |        0
1409.43/1409.90	c 1409s |      26 | 11476214 | 10788852 |     1287  20312 |        0 |        0
1411.43/1411.91	c 1411s |      26 | 11491749 | 10803252 |     1287  20334 |        0 |        0
1413.43/1413.91	c 1413s |      26 | 11507983 | 10817852 |     1287  20356 |        0 |        0
1415.43/1415.92	c 1415s |      26 | 11523586 | 10832152 |     1287  20378 |        0 |        0
1417.43/1417.92	c 1417s |      26 | 11539212 | 10846352 |     1287  20400 |        0 |        0
1419.43/1419.94	c 1419s |      26 | 11554634 | 10860452 |     1287  20421 |        0 |        0
1421.43/1421.94	c 1421s |      26 | 11570477 | 10874752 |     1287  20442 |        0 |        0
1423.42/1423.94	c 1423s |      26 | 11586211 | 10888852 |     1287  20464 |        0 |        0
1425.43/1425.95	c 1425s |      26 | 11602659 | 10903352 |     1287  20486 |        0 |        0
1427.42/1427.95	c 1427s |      26 | 11619033 | 10917852 |     1287  20508 |        0 |        0
1429.42/1429.97	c 1429s |      26 | 11634579 | 10932252 |     1287  20529 |        0 |        0
1431.42/1431.98	c 1431s |      26 | 11648912 | 10945952 |     1287  20550 |        0 |        0
1433.42/1433.98	c 1433s |      26 | 11663568 | 10959752 |     1287  20571 |        0 |        0
1435.42/1435.98	c 1435s |      26 | 11677803 | 10973352 |     1287  20591 |        0 |        0
1437.43/1437.99	c 1437s |      26 | 11692047 | 10986852 |     1287  20612 |        0 |        0
1439.42/1439.99	c 1439s |      26 | 11706394 | 11000552 |     1287  20632 |        0 |        0
1441.42/1441.99	c 1441s |      26 | 11720765 | 11014152 |     1287  20653 |        0 |        0
1443.52/1444.00	c 1443s |      26 | 11735255 | 11027852 |     1287  20673 |        0 |        0
1445.52/1446.01	c 1445s |      26 | 11750004 | 11041652 |     1287  20694 |        0 |        0
1447.52/1448.01	c 1448s |      26 | 11764204 | 11055152 |     1287  20714 |        0 |        0
1449.52/1450.02	c 1450s |      26 | 11778436 | 11068552 |     1287  20735 |        0 |        0
1451.52/1452.03	c 1452s |      26 | 11792904 | 11082152 |     1287  20755 |        0 |        0
1453.52/1454.04	c 1454s |      26 | 11807058 | 11095852 |     1287  20776 |        0 |        0
1455.52/1456.04	c 1456s |      26 | 11821180 | 11109552 |     1287  20796 |        0 |        0
1457.52/1458.06	c 1458s |      26 | 11835946 | 11123552 |     1287  20817 |        0 |        0
1459.52/1460.06	c 1460s |      26 | 11850349 | 11137252 |     1287  20838 |        0 |        0
1461.52/1462.07	c 1462s |      26 | 11865093 | 11150952 |     1287  20859 |        0 |        0
1463.52/1464.08	c 1464s |      26 | 11880111 | 11164752 |     1287  20879 |        0 |        0
1465.52/1466.09	c 1466s |      26 | 11894800 | 11178552 |     1287  20900 |        0 |        0
1467.62/1468.10	c 1468s |      26 | 11909212 | 11192052 |     1287  20921 |        0 |        0
1469.62/1470.11	c 1470s |      26 | 11923219 | 11205252 |     1287  20940 |        0 |        0
1471.63/1472.12	c 1472s |      26 | 11937723 | 11218952 |     1287  20961 |        0 |        0
1473.62/1474.12	c 1474s |      26 | 11952333 | 11232552 |     1287  20981 |        0 |        0
1475.62/1476.13	c 1476s |      26 | 11966778 | 11246252 |     1287  21002 |        0 |        0
1477.62/1478.14	c 1478s |      26 | 11981858 | 11259852 |     1287  21023 |        0 |        0
1479.62/1480.14	c 1480s |      26 | 11996460 | 11273552 |     1287  21043 |        0 |        0
1481.62/1482.15	c 1482s |      26 | 12011046 | 11287052 |     1287  21064 |        0 |        0
1483.62/1484.16	c 1484s |      26 | 12025519 | 11300852 |     1287  21084 |        0 |        0
1485.62/1486.17	c 1486s |      26 | 12040116 | 11314652 |     1287  21105 |        0 |        0
1487.61/1488.17	c 1488s |      26 | 12054665 | 11328252 |     1416  21124 |        0 |        0
1489.61/1490.18	c 1490s |      26 | 12069392 | 11341852 |     1416  21142 |        0 |        0
1491.61/1492.18	c 1492s |      26 | 12084351 | 11355752 |     1416  21162 |        0 |        0
1493.62/1494.19	c 1494s |      26 | 12098773 | 11369552 |     1416  21181 |        0 |        0
1495.61/1496.20	c 1496s |      26 | 12114012 | 11383752 |     1416  21200 |        0 |        0
1497.51/1498.05	c 1498s |      27 | 12128224 | 11396733 |     1416  21218 |        0 |        0
1499.51/1500.06	c 1500s |      27 | 12142667 | 11410233 |     1416  21236 |        0 |        0
1501.51/1502.07	c 1502s |      27 | 12157080 | 11423833 |     1416  21255 |        0 |        0
1503.52/1504.08	c 1504s |      27 | 12171551 | 11437533 |     1416  21274 |        0 |        0
1505.52/1506.08	c 1506s |      27 | 12186036 | 11451133 |     1416  21292 |        0 |        0
1507.52/1508.08	c 1508s |      27 | 12200352 | 11464633 |     1416  21311 |        0 |        0
1509.52/1510.09	c 1510s |      27 | 12214600 | 11478033 |     1416  21329 |        0 |        0
1511.52/1512.09	c 1512s |      27 | 12229082 | 11491633 |     1416  21348 |        0 |        0
1513.61/1514.10	c 1514s |      27 | 12243609 | 11505033 |     1416  21366 |        0 |        0
1515.62/1516.11	c 1516s |      27 | 12257907 | 11518333 |     1416  21385 |        0 |        0
1517.61/1518.12	c 1518s |      27 | 12272390 | 11531933 |     1416  21403 |        0 |        0
1519.61/1520.13	c 1520s |      27 | 12287457 | 11545733 |     1416  21422 |        0 |        0
1521.61/1522.14	c 1522s |      27 | 12302429 | 11559433 |     1416  21441 |        0 |        0
1523.61/1524.15	c 1524s |      27 | 12316993 | 11573033 |     1416  21460 |        0 |        0
1525.61/1526.16	c 1526s |      27 | 12331765 | 11586433 |     1416  21478 |        0 |        0
1527.61/1528.17	c 1528s |      27 | 12346516 | 11600233 |     1416  21497 |        0 |        0
1529.61/1530.17	c 1530s |      27 | 12361458 | 11613733 |     1416  21515 |        0 |        0
1531.61/1532.17	c 1532s |      27 | 12376426 | 11627133 |     1416  21533 |        0 |        0
1533.61/1534.17	c 1534s |      27 | 12391632 | 11640733 |     1416  21552 |        0 |        0
1535.61/1536.19	c 1536s |      27 | 12406263 | 11654333 |     1416  21571 |        0 |        0
1537.61/1538.19	c 1538s |      27 | 12421077 | 11667733 |     1416  21589 |        0 |        0
1539.60/1540.19	c 1540s |      27 | 12435797 | 11681533 |     1416  21608 |        0 |        0
1541.60/1542.19	c 1542s |      27 | 12450292 | 11695133 |     1416  21627 |        0 |        0
1543.70/1544.20	c 1544s |      27 | 12464800 | 11708833 |     1416  21646 |        0 |        0
1545.70/1546.21	c 1546s |      27 | 12479697 | 11722633 |     1416  21664 |        0 |        0
1547.70/1548.21	c 1548s |      27 | 12494744 | 11736233 |     1416  21683 |        0 |        0
1549.71/1550.23	c 1550s |      27 | 12509130 | 11749733 |     1416  21702 |        0 |        0
1551.70/1552.23	c 1552s |      27 | 12523531 | 11763233 |     1416  21720 |        0 |        0
1553.70/1554.24	c 1554s |      27 | 12538028 | 11776833 |     1416  21739 |        0 |        0
1555.70/1556.24	c 1556s |      27 | 12552483 | 11790333 |     1416  21757 |        0 |        0
1557.70/1558.26	c 1558s |      27 | 12567270 | 11803833 |     1416  21776 |        0 |        0
1559.71/1560.27	c 1560s |      27 | 12581707 | 11817233 |     1416  21794 |        0 |        0
1561.71/1562.27	c 1562s |      27 | 12596393 | 11830733 |     1416  21812 |        0 |        0
1563.70/1564.28	c 1564s |      27 | 12610935 | 11844333 |     1416  21831 |        0 |        0
1565.80/1566.30	c 1566s |      27 | 12625453 | 11857933 |     1416  21850 |        0 |        0
1567.80/1568.31	c 1568s |      27 | 12639756 | 11871433 |     1416  21868 |        0 |        0
1569.80/1570.33	c 1570s |      27 | 12654430 | 11885133 |     1416  21887 |        0 |        0
1571.80/1572.34	c 1572s |      27 | 12668933 | 11898833 |     1416  21906 |        0 |        0
1573.81/1574.35	c 1574s |      27 | 12683651 | 11912533 |     1416  21924 |        0 |        0
1575.81/1576.36	c 1576s |      27 | 12698770 | 11926433 |     1416  21943 |        0 |        0
1577.81/1578.36	c 1578s |      27 | 12713382 | 11940233 |     1416  21962 |        0 |        0
1579.81/1580.37	c 1580s |      27 | 12728042 | 11954033 |     1416  21981 |        0 |        0
1581.81/1582.37	c 1582s |      27 | 12742690 | 11967633 |     1416  22000 |        0 |        0
1583.81/1584.38	c 1584s |      27 | 12756923 | 11980933 |     1416  22018 |        0 |        0
1585.81/1586.38	c 1586s |      27 | 12771369 | 11994533 |     1416  22037 |        0 |        0
1587.90/1588.40	c 1588s |      27 | 12785946 | 12008133 |     1416  22055 |        0 |        0
1589.90/1590.41	c 1590s |      27 | 12800475 | 12021633 |     1416  22074 |        0 |        0
1591.90/1592.42	c 1592s |      27 | 12814999 | 12035233 |     1416  22092 |        0 |        0
1593.90/1594.43	c 1594s |      27 | 12829623 | 12048933 |     1416  22111 |        0 |        0
1595.91/1596.44	c 1596s |      27 | 12844326 | 12062633 |     1416  22130 |        0 |        0
1597.90/1598.46	c 1598s |      27 | 12858580 | 12076233 |     1416  22149 |        0 |        0
1599.90/1600.47	c 1600s |      27 | 12873294 | 12090133 |     1416  22168 |        0 |        0
1601.90/1602.49	c 1602s |      27 | 12887693 | 12103733 |     1416  22186 |        0 |        0
1603.90/1604.49	c 1604s |      27 | 12901873 | 12117033 |     1416  22205 |        0 |        0
1605.89/1606.49	c 1606s |      27 | 12916429 | 12130733 |     1416  22223 |        0 |        0
1607.90/1608.49	c 1608s |      27 | 12930962 | 12144333 |     1416  22242 |        0 |        0
1609.99/1610.50	c 1610s |      27 | 12945529 | 12157833 |     1416  22261 |        0 |        0
1611.99/1612.51	c 1612s |      27 | 12960652 | 12171533 |     1416  22279 |        0 |        0
1613.99/1614.52	c 1614s |      27 | 12975174 | 12185233 |     1416  22298 |        0 |        0
1615.99/1616.53	c 1616s |      27 | 12989756 | 12198933 |     1416  22317 |        0 |        0
1617.99/1618.54	c 1618s |      27 | 13004083 | 12212433 |     1416  22335 |        0 |        0
1620.00/1620.56	c 1620s |      27 | 13018088 | 12225733 |     1416  22354 |        0 |        0
1621.99/1622.57	c 1622s |      27 | 13032626 | 12238933 |     1416  22372 |        0 |        0
1623.99/1624.58	c 1624s |      27 | 13046692 | 12252233 |     1416  22390 |        0 |        0
1625.99/1626.58	c 1626s |      27 | 13061006 | 12265733 |     1416  22408 |        0 |        0
1627.99/1628.58	c 1628s |      27 | 13075060 | 12278933 |     1416  22426 |        0 |        0
1630.00/1630.59	c 1630s |      27 | 13089707 | 12292333 |     1416  22445 |        0 |        0
1632.00/1632.60	c 1632s |      27 | 13103714 | 12305533 |     1416  22463 |        0 |        0
1634.10/1634.61	c 1634s |      27 | 13117648 | 12318733 |     1416  22481 |        0 |        0
1636.10/1636.61	c 1636s |      27 | 13132141 | 12332533 |     1416  22500 |        0 |        0
1638.10/1638.63	c 1638s |      27 | 13146833 | 12346233 |     1416  22519 |        0 |        0
1640.10/1640.63	c 1640s |      27 | 13161503 | 12359833 |     1416  22537 |        0 |        0
1642.10/1642.64	c 1642s |      27 | 13175920 | 12373533 |     1416  22556 |        0 |        0
1644.10/1644.65	c 1644s |      27 | 13190918 | 12387233 |     1416  22575 |        0 |        0
1646.09/1646.67	c 1646s |      27 | 13205386 | 12400833 |     1416  22593 |        0 |        0
1648.09/1648.67	c 1648s |      27 | 13220083 | 12414533 |     1416  22612 |        0 |        0
1650.09/1650.68	c 1650s |      27 | 13234570 | 12428133 |     1416  22631 |        0 |        0
1652.09/1652.69	c 1652s |      27 | 13248931 | 12441633 |     1416  22649 |        0 |        0
1654.10/1654.70	c 1654s |      27 | 13263382 | 12455033 |     1416  22668 |        0 |        0
1656.19/1656.70	c 1656s |      27 | 13277959 | 12468533 |     1416  22686 |        0 |        0
1658.19/1658.71	c 1658s |      27 | 13292001 | 12481733 |     1416  22704 |        0 |        0
1660.19/1660.72	c 1660s |      27 | 13305851 | 12494633 |     1416  22722 |        0 |        0
1662.19/1662.73	c 1662s |      27 | 13320054 | 12508033 |     1416  22741 |        0 |        0
1664.19/1664.73	c 1664s |      27 | 13334779 | 12521533 |     1416  22759 |        0 |        0
1666.19/1666.73	c 1666s |      27 | 13349649 | 12535133 |     1416  22778 |        0 |        0
1668.19/1668.74	c 1668s |      27 | 13364968 | 12548833 |     1416  22797 |        0 |        0
1670.19/1670.74	c 1670s |      27 | 13380099 | 12562433 |     1416  22815 |        0 |        0
1672.18/1672.76	c 1672s |      27 | 13394385 | 12575833 |     1416  22834 |        0 |        0
1674.18/1674.77	c 1674s |      27 | 13409611 | 12589433 |     1416  22852 |        0 |        0
1676.19/1676.78	c 1676s |      27 | 13424386 | 12602633 |     1416  22870 |        0 |        0
1678.18/1678.78	c 1678s |      27 | 13438845 | 12615933 |     1416  22888 |        0 |        0
1680.18/1680.79	c 1680s |      27 | 13453015 | 12629333 |     1416  22907 |        0 |        0
1682.29/1682.80	c 1682s |      27 | 13467132 | 12642633 |     1416  22925 |        0 |        0
1684.29/1684.81	c 1684s |      27 | 13481226 | 12655933 |     1416  22943 |        0 |        0
1686.29/1686.82	c 1686s |      27 | 13495446 | 12669633 |     1416  22962 |        0 |        0
1688.30/1688.83	c 1688s |      27 | 13509691 | 12683133 |     1416  22981 |        0 |        0
1690.29/1690.84	c 1690s |      27 | 13523706 | 12696633 |     1416  22999 |        0 |        0
1692.29/1692.85	c 1692s |      27 | 13537861 | 12710033 |     1416  23017 |        0 |        0
1694.29/1694.86	c 1694s |      27 | 13552096 | 12723533 |     1416  23036 |        0 |        0
1696.29/1696.87	c 1696s |      27 | 13566067 | 12736933 |     1416  23054 |        0 |        0
1698.28/1698.87	c 1698s |      27 | 13579915 | 12750333 |     1416  23073 |        0 |        0
1700.29/1700.88	c 1700s |      27 | 13593929 | 12763833 |     1416  23091 |        0 |        0
1702.28/1702.88	c 1702s |      27 | 13608024 | 12777533 |     1416  23110 |        0 |        0
1704.28/1704.89	c 1704s |      27 | 13622152 | 12791133 |     1416  23129 |        0 |        0
1706.28/1706.89	c 1706s |      27 | 13636601 | 12804833 |     1416  23147 |        0 |        0
1708.38/1708.90	c 1708s |      27 | 13651001 | 12818533 |     1416  23166 |        0 |        0
1710.38/1710.91	c 1710s |      27 | 13665433 | 12832233 |     1416  23185 |        0 |        0
1712.39/1712.92	c 1712s |      27 | 13679995 | 12845833 |     1416  23204 |        0 |        0
1714.38/1714.92	c 1714s |      27 | 13694701 | 12859633 |     1416  23223 |        0 |        0
1716.38/1716.94	c 1716s |      27 | 13709177 | 12873333 |     1416  23241 |        0 |        0
1718.38/1718.94	c 1718s |      27 | 13723274 | 12886733 |     1416  23260 |        0 |        0
1720.38/1720.95	c 1720s |      27 | 13737650 | 12900433 |     1416  23279 |        0 |        0
1722.39/1722.96	c 1722s |      27 | 13752467 | 12914333 |     1416  23298 |        0 |        0
1724.38/1724.97	c 1724s |      27 | 13767066 | 12928133 |     1416  23317 |        0 |        0
1726.38/1726.97	c 1726s |      27 | 13782194 | 12941833 |     1416  23335 |        0 |        0
1728.38/1728.98	c 1728s |      27 | 13797173 | 12955633 |     1416  23354 |        0 |        0
1730.38/1730.99	c 1730s |      27 | 13812100 | 12969333 |     1416  23373 |        0 |        0
1732.37/1732.99	c 1732s |      27 | 13826648 | 12982833 |     1416  23392 |        0 |        0
1734.39/1734.99	c 1734s |      27 | 13841217 | 12996333 |     1416  23410 |        0 |        0
1736.48/1737.00	c 1736s |      27 | 13855601 | 13009833 |     1416  23429 |        0 |        0
1738.48/1739.01	c 1739s |      27 | 13870094 | 13023333 |     1416  23447 |        0 |        0
1740.48/1741.02	c 1741s |      27 | 13884615 | 13037133 |     1416  23466 |        0 |        0
1742.48/1743.03	c 1743s |      27 | 13898738 | 13050533 |     1416  23484 |        0 |        0
1744.48/1745.04	c 1745s |      27 | 13913273 | 13064233 |     1416  23503 |        0 |        0
1746.49/1747.05	c 1747s |      27 | 13927624 | 13077833 |     1416  23522 |        0 |        0
1748.48/1749.05	c 1749s |      27 | 13942055 | 13091333 |     1416  23540 |        0 |        0
1750.48/1751.05	c 1751s |      27 | 13955878 | 13104633 |     1416  23559 |        0 |        0
1752.48/1753.06	c 1753s |      27 | 13970610 | 13118433 |     1416  23578 |        0 |        0
1754.48/1755.08	c 1755s |      27 | 13985188 | 13132233 |     1416  23597 |        0 |        0
1756.48/1757.09	c 1757s |      27 | 13999531 | 13145933 |     1416  23615 |        0 |        0
1758.47/1759.09	c 1759s |      27 | 14014444 | 13159933 |     1416  23635 |        0 |        0
1760.57/1761.10	c 1761s |      27 | 14028962 | 13173833 |     1416  23654 |        0 |        0
1762.57/1763.11	c 1763s |      27 | 14044007 | 13187633 |     1416  23673 |        0 |        0
1764.57/1765.12	c 1765s |      27 | 14058987 | 13201433 |     1416  23692 |        0 |        0
1766.57/1767.13	c 1767s |      27 | 14073985 | 13215233 |     1416  23711 |        0 |        0
1768.58/1769.14	c 1769s |      27 | 14088661 | 13228833 |     1416  23729 |        0 |        0
1770.57/1771.14	c 1771s |      27 | 14103204 | 13242533 |     1416  23748 |        0 |        0
1772.57/1773.15	c 1773s |      27 | 14117726 | 13256233 |     1416  23767 |        0 |        0
1774.57/1775.15	c 1775s |      27 | 14132187 | 13269733 |     1416  23786 |        0 |        0
1776.57/1777.16	c 1777s |      27 | 14147092 | 13283333 |     1416  23804 |        0 |        0
1778.57/1779.17	c 1779s |      27 | 14162103 | 13297133 |     1416  23823 |        0 |        0
1780.57/1781.17	c 1781s |      27 | 14176951 | 13310733 |     1416  23842 |        0 |        0
1782.58/1783.18	c 1783s |      27 | 14191537 | 13324433 |     1416  23861 |        0 |        0
1784.57/1785.18	c 1785s |      27 | 14206279 | 13338233 |     1416  23880 |        0 |        0
1786.57/1787.19	c 1787s |      27 | 14221110 | 13351933 |     1416  23898 |        0 |        0
1788.67/1789.20	c 1789s |      27 | 14235772 | 13365433 |     1416  23917 |        0 |        0
1790.67/1791.22	c 1791s |      27 | 14250681 | 13379133 |     1416  23936 |        0 |        0
1792.68/1793.22	c 1793s |      27 | 14265080 | 13392833 |     1416  23954 |        0 |        0
1794.67/1795.23	c 1795s |      27 | 14279312 | 13406233 |     1416  23973 |        0 |        0
1796.67/1797.25	c 1797s |      27 | 14293867 | 13420033 |     1416  23992 |        0 |        0
1798.67/1799.25	c 1799s |      27 | 14308323 | 13433833 |     1416  24010 |        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-4089036-1466020336/watcher-4089036-1466020336 -o /tmp/evaluation-result-4089036-1466020336/solver-4089036-1466020336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089036-1466020336.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 6985
/proc/meminfo: memFree=30431856/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=815684 CPUtime=0 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 3065 0 0 0 0 0 0 0 20 0 4 0 4083709 835260416 2914 33554432000 4194304 16246674 140734499828816 140734499828240 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 204689 2924 442 2943 0 201583 0
[pid=6985/tid=6986] ppid=6982 vsize=834116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 854134784 2985 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=838212 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 858329088 3002 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=843332 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4083709 863571968 3019 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 6985
/proc/meminfo: memFree=30431856/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 29699 0 0 0 5 4 0 0 20 0 4 0 4083709 1247350784 29538 33554432000 4194304 16246674 140734499828816 140734499828240 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 304529 29552 711 2943 0 301423 0
[pid=6985/tid=6986] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 29559 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 29564 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 29572 33554432000 4194304 16246674 140734499828816 139779554397360 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.200579 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 6985
/proc/meminfo: memFree=30431856/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 58534 0 0 0 11 8 0 0 20 0 4 0 4083709 1247350784 58373 33554432000 4194304 16246674 140734499828816 140734499828240 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 304529 58385 711 2943 0 301423 0
[pid=6985/tid=6986] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 58390 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 58399 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 58406 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 6985
/proc/meminfo: memFree=30431856/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 87282 0 0 0 18 11 0 0 20 0 4 0 4083709 1247350784 87120 33554432000 4194304 16246674 140734499828816 140734499828240 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 304529 87130 712 2943 0 301423 0
[pid=6985/tid=6986] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 87142 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 87153 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 87160 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70042 s]
/proc/loadavg: 2.10 2.09 2.08 3/179 6985
/proc/meminfo: memFree=30431856/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 202247 0 0 0 44 25 0 0 20 0 4 0 4083709 1247350784 202085 33554432000 4194304 16246674 140734499828816 140734499811816 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 304529 202101 712 2943 0 301423 0
[pid=6985/tid=6986] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 202105 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 202115 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4083709 1247350784 202125 33554432000 4194304 16246674 140734499828816 139779554397360 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: 2.10 2.09 2.08 3/183 6989
/proc/meminfo: memFree=29451548/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267278 0 0 0 116 33 0 0 20 0 4 0 4083709 1336479744 267096 33554432000 4194304 16246674 140734499828816 140734499828128 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326289 267096 790 2943 0 323183 0
[pid=6985/tid=6986] ppid=6982 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1336479744 267096 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1336479744 267096 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1336479744 267096 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6989
/proc/meminfo: memFree=29363392/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267405 0 0 0 276 33 0 0 20 0 4 0 4083709 1337528320 267223 33554432000 4194304 16246674 140734499828816 140734499811816 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326545 267223 790 2943 0 323439 0
[pid=6985/tid=6986] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267223 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267223 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267223 33554432000 4194304 16246674 140734499828816 139779554397360 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.30043 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6989
/proc/meminfo: memFree=29363308/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267436 0 0 0 596 33 0 0 20 0 4 0 4083709 1337528320 267254 33554432000 4194304 16246674 140734499828816 140734499811816 12861137 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326545 267254 790 2943 0 323439 0
[pid=6985/tid=6986] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267254 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267254 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267254 33554432000 4194304 16246674 140734499828816 139779554397360 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: 2.08 2.08 2.08 3/183 6989
/proc/meminfo: memFree=29363236/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267438 0 0 0 1236 33 0 0 20 0 4 0 4083709 1337528320 267256 33554432000 4194304 16246674 140734499828816 140734499811816 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326545 267256 792 2943 0 323439 0
[pid=6985/tid=6986] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267256 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267256 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267256 33554432000 4194304 16246674 140734499828816 139779554397360 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.5004 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 6989
/proc/meminfo: memFree=29362804/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1306180 CPUtime=25.5 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267526 0 0 0 2516 34 0 0 20 0 4 0 4083709 1337528320 267344 33554432000 4194304 16246674 140734499828816 140734499811816 13192312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326545 267344 792 2943 0 323439 0
[pid=6985/tid=6986] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267344 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267344 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1337528320 267344 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6989
/proc/meminfo: memFree=29362524/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267613 0 0 0 5074 34 0 0 20 0 4 0 4083709 1338576896 267431 33554432000 4194304 16246674 140734499828816 140734499810688 12875566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326801 267431 792 2943 0 323695 0
[pid=6985/tid=6986] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267431 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267431 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267431 33554432000 4194304 16246674 140734499828816 139779554397360 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.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6990
/proc/meminfo: memFree=29361816/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 267692 0 0 0 10192 35 0 0 20 0 4 0 4083709 1338576896 267510 33554432000 4194304 16246674 140734499828816 140734499811816 5722535 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 326801 267510 793 2943 0 323695 0
[pid=6985/tid=6986] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267510 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267510 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1338576896 267510 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1342771200 268912 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/183 7044
/proc/meminfo: memFree=29348560/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1311300 CPUtime=1301.87 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 269241 0 0 0 130124 63 0 0 20 0 4 0 4083709 1342771200 268912 33554432000 4194304 16246674 140734499828816 140734499811816 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 327825 268912 793 2943 0 324719 0
[pid=6985/tid=6986] ppid=6982 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1342771200 268912 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1342771200 268912 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1342771200 268912 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/183 7045
/proc/meminfo: memFree=29346228/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1361.84 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 269887 0 0 0 136120 64 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 140734499810688 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269516 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/183 7046
/proc/meminfo: memFree=29346912/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1421.82 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 269887 0 0 0 142117 65 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 140734499810688 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269516 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.16 2.06 2.05 3/182 7047
/proc/meminfo: memFree=29346672/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1481.82 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 269887 0 0 0 148116 66 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 140734499810688 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269516 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269516 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/183 7049
/proc/meminfo: memFree=29346048/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1541.8 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270033 0 0 0 154113 67 0 0 20 0 4 0 4083709 1345916928 269662 33554432000 4194304 16246674 140734499828816 140734499810688 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269662 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269662 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269662 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269662 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 7148
/proc/meminfo: memFree=29355908/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1601.8 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270072 0 0 0 160111 69 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 140734499811816 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269701 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/183 7149
/proc/meminfo: memFree=29354732/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1661.79 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270072 0 0 0 166109 70 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 140734499811816 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269701 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/184 7153
/proc/meminfo: memFree=29354128/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1721.78 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270072 0 0 0 172107 71 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 140734499811816 12483376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269701 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1314372

[startup+1782.31 s]
/proc/loadavg: 2.02 2.04 2.03 4/183 7154
/proc/meminfo: memFree=29353692/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1781.78 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270072 0 0 0 178105 73 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 140734499810688 13192682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269701 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7155
/proc/meminfo: memFree=29353836/32872528 swapFree=524788/557492
[pid=6985] ppid=6982 vsize=1314372 CPUtime=1800.07 cores=1,3,5,7
/proc/6985/stat : 6985 (toysat) R 6982 6985 5756 0 -1 4202496 270072 0 0 0 179934 73 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 140734499811816 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6985/statm: 328593 269701 793 2943 0 325487 0
[pid=6985/tid=6986] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6986/stat : 6986 (toysat) S 6982 6985 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779575360752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6985/tid=6987] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6987/stat : 6987 (toysat) S 6982 6985 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779564870896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6985/tid=6988] ppid=6982 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6985/task/6988/stat : 6988 (toysat) S 6982 6985 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4083709 1345916928 269701 33554432000 4194304 16246674 140734499828816 139779554397360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1314372

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 6985 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.08
CPU user time (s): 1799.35
CPU system time (s): 0.732888
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.732888
maximum resident set size= 1078804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270072
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= 458
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2813 second user time and 17.2904 second system time

The end

Begin job on node106 at 2016-06-15 21:52:16
IDJOB=4089036
IDBENCH=107349
IDSOLVER=2542
FILE ID=node106/4089036-1466020336
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 4e55a129d316f4ec02352633e1a60791
RANDOM SEED=806309111

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30432680 kB
Buffers:           21756 kB
Cached:            73436 kB
SwapCached:         1480 kB
Active:          1142976 kB
Inactive:          29208 kB
Active(anon):    1078184 kB
Inactive(anon):     1192 kB
Active(file):      64792 kB
Inactive(file):    28016 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16516 kB
Writeback:             0 kB
AnonPages:       1633376 kB
Mapped:            10388 kB
Shmem:                 0 kB
Slab:             576984 kB
SReclaimable:      20652 kB
SUnreclaim:       556332 kB
KernelStack:        1520 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71708 MiB
End job on node106 at 2016-06-15 22:22:17