0.00/0.00	c 2016-06-16T19:29:09+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4095861-1466098149.opb"]
0.00/0.01	c use --random-gen="3002336359 319832113 793458566 467905536 4273927390 573584463 1083194372 1313714209 3029782976 1614474863 131635316 3173278344 3548980690 2909890853 3575595665 3173073892 2091452219 1521798852 728492743 3821489607 3052218705 4139500991 564224582 3402667069 3929067045 2327655915 422524872 1807948060 2958506573 3917723264 1883609078 197375729 9020219 2755831546 632931502 2953043471 3580225230 4224343956 888465884 1827060500 1791569138 279804440 500082704 1403974169 3271187054 2590867309 1255090891 2557409511 711245315 3693178112 1160636276 2430760890 3389597302 3593247936 1918231380 3290565195 3442358153 2927959621 1799844293 1390699198 1121626428 3179983684 593967456 2765441540 1222196549 1897199766 3724344387 1484626423 409382394 3411018061 3742420786 40206041 1744591907 920637531 330937263 1080995193 2724867181 314248225 124850763 3242153434 917762281 1515408946 4000268215 2751414652 4275245698 1619570311 558467693 719794893 343098971 3978933591 18580005 162632392 1093008021 1393107999 2624576654 1325962070 3952706655 616372782 1908413979 1868467682 4105472927 3966889699 1508637247 4103338723 2605504682 2915265241 1516324257 1286335299 2985855370 2716344239 4234560012 1291979430 3485971086 280877943 3886727505 3743910363 1617668368 1524417014 35628170 3629871531 1420552452 3652472101 3787106853 540121775 3433021075 2982795343 1311815088 2065397089 526890291 474448792 1443835453 3414946883 2579976999 2788531052 2597202548 533946413 55889543 4153643808 795638908 3128313099 1380389785 2377226550 1282048848 866331245 1131045309 4246651925 2244555829 4145072058 3311912087 2572730831 3120855511 1500331646 3203190914 1368880436 679450415 1614942893 1832123864 3655128591 110990646 3091254336 2833763504 3568795925 2048529204 3856625828 3003186891 4212458262 1962536696 1660605333 552437945 2887890589 4080560313 2121124155 3982557983 3336067272 2545852112 1809966525 183439378 3606276989 2975466886 2403397339 3223724195 4144678205 2885137376 2204302844 1151538916 182269749 2885989391 2497458437 3961681717 1676747723 464026936 2558642757 357959450 3811137765 3642114604 3744681979 3528323382 2793670613 836216977 1557258863 2648979083 3767875529 780437974 4023051485 83623632 3068640752 2370840328 3894249298 840750005 4202353498 3085343085 1881728047 2085881220 3254524707 1336864892 2445564705 1894833863 3882444020 3972195649 649772739 2574464542 3862347726 3178439 810241432 2451703231 2842566489 3355405011 1546075997 3865577824 2482451374 3814153991 373468553 3582239184 3383287013 1965896899 2051722393 767909206 453434196 1361893248 2929589223 1486555806 2169125448 4121100224 1763571229 3007623032 1920010944 1247321205 3829365177 1136414830 2561574831 1108112114 385603630 1890141832 3193924304 2510107683 4037491277 255 362436" option to reproduce the execution
0.00/0.01	c #vars 181
0.00/0.01	c #constraints 90
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 |       90      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      164 |      100 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      372 |      250 |      100      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      781 |      475 |      111      4 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1300 |      813 |      123      7 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1962 |     1320 |      136     11 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3168 |     2081 |      165     17 |        0 |        0
0.29/0.30	c  0.3s |       7 |     4847 |     3223 |      182     26 |        0 |        0
0.38/0.45	c  0.4s |       8 |     7065 |     4936 |      201     37 |        0 |        0
0.69/0.70	c  0.7s |       9 |    10567 |     7506 |      222     55 |        0 |        0
0.98/1.07	c  1.1s |      10 |    16403 |    11361 |      245     83 |        0 |        0
1.49/1.54	c  1.5s |      11 |    23652 |    17144 |      270    116 |        0 |        0
2.09/2.19	c  2.2s |      12 |    35315 |    25819 |      297    164 |        0 |        0
2.98/3.09	c  3.1s |      13 |    52820 |    38832 |      327    232 |        0 |        0
4.58/4.62	c  4.6s |      14 |    78145 |    58352 |      360    325 |        0 |        0
6.60/6.63	c  6.6s |      14 |   112951 |    84852 |      360    440 |        0 |        0
6.79/6.85	c  6.8s |      15 |   116821 |    87632 |      397    452 |        0 |        0
8.80/8.85	c  8.8s |      15 |   152652 |   114832 |      397    569 |        0 |        0
10.00/10.05	c 10.0s |      16 |   175183 |   131552 |      437    641 |        0 |        0
11.99/12.05	c 12.0s |      16 |   211724 |   159052 |      437    752 |        0 |        0
13.98/14.06	c 14.0s |      16 |   248465 |   186152 |      437    866 |        0 |        0
14.78/14.86	c 14.8s |      17 |   263503 |   197432 |      481    913 |        0 |        0
16.78/16.87	c 16.9s |      17 |   297447 |   222632 |      481   1002 |        0 |        0
18.79/18.87	c 18.9s |      17 |   332738 |   248332 |      481   1095 |        0 |        0
20.78/20.87	c 20.9s |      17 |   366261 |   273032 |      481   1184 |        0 |        0
22.78/22.84	c 22.8s |      18 |   398019 |   296252 |      530   1271 |        0 |        0
24.78/24.84	c 24.8s |      18 |   435844 |   322252 |      530   1365 |        0 |        0
26.78/26.85	c 26.8s |      18 |   474978 |   348952 |      530   1463 |        0 |        0
28.78/28.85	c 28.8s |      18 |   510524 |   374352 |      530   1555 |        0 |        0
30.80/30.86	c 30.8s |      18 |   549528 |   401352 |      530   1652 |        0 |        0
32.79/32.86	c 32.8s |      18 |   588093 |   427752 |      530   1748 |        0 |        0
34.09/34.19	c 34.2s |      19 |   610946 |   444482 |      583   1807 |        0 |        0
36.19/36.20	c 36.2s |      19 |   643054 |   466782 |      583   1878 |        0 |        0
38.19/38.20	c 38.2s |      19 |   676248 |   488182 |      583   1947 |        0 |        0
40.18/40.20	c 40.2s |      19 |   714032 |   511582 |      583   2022 |        0 |        0
42.18/42.21	c 42.2s |      19 |   754421 |   535882 |      583   2100 |        0 |        0
44.18/44.21	c 44.2s |      19 |   793053 |   560282 |      583   2177 |        0 |        0
46.19/46.22	c 46.2s |      19 |   831345 |   583682 |      583   2252 |        0 |        0
48.18/48.22	c 48.2s |      19 |   869735 |   608382 |      583   2331 |        0 |        0
50.18/50.22	c 50.2s |      19 |   909198 |   632582 |      583   2408 |        0 |        0
52.18/52.23	c 52.2s |      19 |   947990 |   656582 |      583   2485 |        0 |        0
52.98/53.05	c 53.0s |      20 |   964704 |   666827 |      642   2517 |        0 |        0
54.99/55.05	c 55.0s |      20 |   998301 |   691427 |      642   2588 |        0 |        0
56.98/57.06	c 57.0s |      20 |  1032263 |   715027 |      642   2657 |        0 |        0
58.98/59.07	c 59.1s |      20 |  1066155 |   738927 |      642   2726 |        0 |        0
60.98/61.07	c 61.1s |      20 |  1099951 |   763827 |      642   2797 |        0 |        0
62.98/63.08	c 63.1s |      20 |  1128710 |   785327 |      642   2862 |        0 |        0
64.99/65.08	c 65.1s |      20 |  1158614 |   807627 |      642   2928 |        0 |        0
66.98/67.09	c 67.1s |      20 |  1189308 |   830127 |      642   2993 |        0 |        0
68.98/69.09	c 69.1s |      20 |  1219099 |   851827 |      642   3057 |        0 |        0
70.98/71.10	c 71.1s |      20 |  1246543 |   872627 |      642   3119 |        0 |        0
73.08/73.10	c 73.1s |      20 |  1275216 |   892927 |      642   3179 |        0 |        0
75.08/75.11	c 75.1s |      20 |  1298083 |   910527 |      642   3232 |        0 |        0
77.08/77.12	c 77.1s |      20 |  1324754 |   930227 |      642   3290 |        0 |        0
79.08/79.12	c 79.1s |      20 |  1349569 |   949627 |      642   3348 |        0 |        0
81.07/81.13	c 81.1s |      20 |  1375913 |   969927 |      642   3409 |        0 |        0
83.07/83.14	c 83.1s |      20 |  1401167 |   989427 |      642   3467 |        0 |        0
84.17/84.26	c 84.2s |      21 |  1415274 |  1000345 |      707   3497 |        0 |        0
86.17/86.27	c 86.3s |      21 |  1447614 |  1022745 |      707   3556 |        0 |        0
88.17/88.27	c 88.3s |      21 |  1482749 |  1047445 |      707   3621 |        0 |        0
90.18/90.27	c 90.3s |      21 |  1513557 |  1069945 |      707   3681 |        0 |        0
92.17/92.27	c 92.3s |      21 |  1542825 |  1091545 |      707   3740 |        0 |        0
94.17/94.28	c 94.3s |      21 |  1567363 |  1110445 |      707   3790 |        0 |        0
96.17/96.29	c 96.3s |      21 |  1595664 |  1131545 |      707   3847 |        0 |        0
98.17/98.29	c 98.3s |      21 |  1627285 |  1154045 |      707   3908 |        0 |        0
100.27/100.30	c  100s |      21 |  1656099 |  1174945 |      707   3965 |        0 |        0
102.17/102.30	c  102s |      21 |  1685531 |  1197845 |      707   4027 |        0 |        0
104.27/104.30	c  104s |      21 |  1719171 |  1221845 |      707   4091 |        0 |        0
106.27/106.31	c  106s |      21 |  1752332 |  1245045 |      707   4153 |        0 |        0
108.27/108.31	c  108s |      21 |  1783270 |  1267245 |      707   4212 |        0 |        0
110.27/110.31	c  110s |      21 |  1815107 |  1290645 |      707   4272 |        0 |        0
112.27/112.32	c  112s |      21 |  1849138 |  1314945 |      707   4335 |        0 |        0
114.27/114.33	c  114s |      21 |  1879568 |  1337445 |      707   4396 |        0 |        0
116.27/116.34	c  116s |      21 |  1911046 |  1360545 |      707   4458 |        0 |        0
118.27/118.35	c  118s |      21 |  1941869 |  1382945 |      707   4517 |        0 |        0
120.27/120.35	c  120s |      21 |  1976522 |  1407045 |      707   4581 |        0 |        0
122.27/122.36	c  122s |      21 |  2009960 |  1431045 |      707   4647 |        0 |        0
124.28/124.36	c  124s |      21 |  2042006 |  1454645 |      707   4712 |        0 |        0
126.27/126.37	c  126s |      21 |  2070363 |  1475845 |      707   4770 |        0 |        0
128.27/128.37	c  128s |      21 |  2097550 |  1496545 |      778   4825 |        0 |        0
128.67/128.79	c  128s |      22 |  2102977 |  1500622 |      778   4836 |        0 |        0
130.67/130.79	c  130s |      22 |  2131336 |  1520322 |      778   4883 |        0 |        0
132.77/132.80	c  132s |      22 |  2158033 |  1540422 |      778   4931 |        0 |        0
134.77/134.80	c  134s |      22 |  2186211 |  1561222 |      778   4982 |        0 |        0
136.77/136.80	c  136s |      22 |  2214068 |  1581722 |      778   5032 |        0 |        0
138.77/138.81	c  138s |      22 |  2242450 |  1602722 |      778   5083 |        0 |        0
140.77/140.81	c  140s |      22 |  2270724 |  1624122 |      778   5135 |        0 |        0
142.77/142.82	c  142s |      22 |  2301377 |  1645522 |      778   5187 |        0 |        0
144.77/144.82	c  144s |      22 |  2329650 |  1665822 |      778   5237 |        0 |        0
146.76/146.83	c  146s |      22 |  2359840 |  1687922 |      778   5292 |        0 |        0
148.76/148.84	c  148s |      22 |  2388967 |  1709322 |      778   5344 |        0 |        0
150.77/150.84	c  150s |      22 |  2420811 |  1732622 |      778   5402 |        0 |        0
152.76/152.84	c  152s |      22 |  2450124 |  1754422 |      778   5455 |        0 |        0
154.76/154.85	c  154s |      22 |  2477434 |  1774722 |      778   5505 |        0 |        0
156.76/156.85	c  156s |      22 |  2505693 |  1795722 |      778   5557 |        0 |        0
158.76/158.85	c  158s |      22 |  2536571 |  1818522 |      778   5611 |        0 |        0
160.76/160.85	c  160s |      22 |  2568573 |  1840722 |      778   5665 |        0 |        0
162.77/162.86	c  162s |      22 |  2598919 |  1863022 |      778   5719 |        0 |        0
164.76/164.86	c  164s |      22 |  2632981 |  1887422 |      778   5778 |        0 |        0
166.76/166.87	c  166s |      22 |  2662194 |  1909122 |      778   5831 |        0 |        0
168.77/168.87	c  168s |      22 |  2693495 |  1931722 |      778   5886 |        0 |        0
170.77/170.88	c  170s |      22 |  2724584 |  1953922 |      778   5940 |        0 |        0
172.77/172.88	c  172s |      22 |  2753714 |  1975622 |      778   5993 |        0 |        0
174.76/174.89	c  174s |      22 |  2783842 |  1996422 |      778   6044 |        0 |        0
176.76/176.89	c  176s |      22 |  2814327 |  2017722 |      778   6097 |        0 |        0
178.76/178.89	c  178s |      22 |  2845578 |  2039722 |      778   6150 |        0 |        0
180.86/180.90	c  180s |      22 |  2876025 |  2061822 |      778   6205 |        0 |        0
182.86/182.90	c  182s |      22 |  2905093 |  2083022 |      778   6258 |        0 |        0
184.87/184.91	c  184s |      22 |  2935570 |  2105722 |      778   6314 |        0 |        0
186.86/186.92	c  186s |      22 |  2964870 |  2127922 |      778   6368 |        0 |        0
188.86/188.92	c  188s |      22 |  2996395 |  2150622 |      778   6424 |        0 |        0
190.86/190.92	c  190s |      22 |  3025536 |  2171822 |      778   6477 |        0 |        0
192.85/192.93	c  192s |      22 |  3053708 |  2191922 |      778   6526 |        0 |        0
194.86/194.94	c  194s |      22 |  3080479 |  2211722 |      778   6574 |        0 |        0
196.87/196.94	c  196s |      22 |  3108418 |  2232122 |      778   6625 |        0 |        0
198.86/198.95	c  198s |      22 |  3133869 |  2250522 |      856   6667 |        0 |        0
198.96/199.00	c  198s |      23 |  3134585 |  2251038 |      856   6668 |        0 |        0
200.96/201.01	c  200s |      23 |  3163023 |  2271538 |      856   6714 |        0 |        0
202.96/203.01	c  202s |      23 |  3192914 |  2292238 |      856   6760 |        0 |        0
204.96/205.02	c  205s |      23 |  3221441 |  2313538 |      856   6807 |        0 |        0
206.96/207.02	c  207s |      23 |  3253976 |  2335838 |      856   6856 |        0 |        0
208.96/209.03	c  209s |      23 |  3285807 |  2358338 |      856   6906 |        0 |        0
210.95/211.03	c  211s |      23 |  3316051 |  2379538 |      856   6953 |        0 |        0
212.95/213.04	c  213s |      23 |  3348662 |  2401538 |      856   7001 |        0 |        0
214.95/215.04	c  215s |      23 |  3377460 |  2422538 |      856   7047 |        0 |        0
216.95/217.05	c  217s |      23 |  3405546 |  2443738 |      856   7092 |        0 |        0
218.96/219.05	c  219s |      23 |  3437733 |  2466538 |      856   7142 |        0 |        0
220.95/221.06	c  221s |      23 |  3467265 |  2488038 |      856   7188 |        0 |        0
222.95/223.06	c  223s |      23 |  3497156 |  2509838 |      856   7235 |        0 |        0
224.95/225.06	c  225s |      23 |  3528977 |  2532938 |      856   7284 |        0 |        0
226.95/227.07	c  227s |      23 |  3558557 |  2554838 |      856   7331 |        0 |        0
228.95/229.07	c  229s |      23 |  3588257 |  2576638 |      856   7377 |        0 |        0
230.96/231.07	c  231s |      23 |  3617272 |  2598338 |      856   7424 |        0 |        0
232.95/233.08	c  233s |      23 |  3646858 |  2620738 |      856   7474 |        0 |        0
234.95/235.08	c  235s |      23 |  3676196 |  2642638 |      856   7522 |        0 |        0
236.95/237.08	c  237s |      23 |  3708306 |  2665538 |      856   7573 |        0 |        0
238.96/239.09	c  239s |      23 |  3739107 |  2688138 |      856   7622 |        0 |        0
241.06/241.10	c  241s |      23 |  3768034 |  2709438 |      856   7668 |        0 |        0
242.96/243.10	c  243s |      23 |  3794622 |  2729138 |      856   7710 |        0 |        0
245.05/245.10	c  245s |      23 |  3822318 |  2749538 |      856   7755 |        0 |        0
247.05/247.11	c  247s |      23 |  3854297 |  2771738 |      856   7805 |        0 |        0
249.05/249.12	c  249s |      23 |  3884770 |  2794138 |      856   7855 |        0 |        0
251.05/251.13	c  251s |      23 |  3914209 |  2815738 |      856   7903 |        0 |        0
253.06/253.13	c  253s |      23 |  3945369 |  2838338 |      856   7953 |        0 |        0
255.05/255.13	c  255s |      23 |  3975304 |  2860238 |      856   8001 |        0 |        0
257.05/257.14	c  257s |      23 |  4005050 |  2881538 |      856   8046 |        0 |        0
259.05/259.14	c  259s |      23 |  4036103 |  2903538 |      856   8095 |        0 |        0
261.05/261.15	c  261s |      23 |  4062544 |  2923338 |      856   8139 |        0 |        0
263.05/263.15	c  263s |      23 |  4088303 |  2942738 |      856   8181 |        0 |        0
265.05/265.16	c  265s |      23 |  4117365 |  2964238 |      856   8229 |        0 |        0
267.05/267.17	c  267s |      23 |  4146191 |  2986138 |      856   8278 |        0 |        0
269.05/269.18	c  269s |      23 |  4176641 |  3008738 |      856   8328 |        0 |        0
271.05/271.18	c  271s |      23 |  4207848 |  3031638 |      856   8380 |        0 |        0
273.05/273.19	c  273s |      23 |  4237383 |  3053538 |      856   8430 |        0 |        0
275.05/275.19	c  275s |      23 |  4266100 |  3074038 |      856   8476 |        0 |        0
277.05/277.19	c  277s |      23 |  4295016 |  3095438 |      856   8524 |        0 |        0
279.14/279.20	c  279s |      23 |  4324189 |  3116638 |      856   8572 |        0 |        0
281.14/281.21	c  281s |      23 |  4355079 |  3139038 |      856   8622 |        0 |        0
283.14/283.21	c  283s |      23 |  4382633 |  3159738 |      856   8668 |        0 |        0
285.14/285.22	c  285s |      23 |  4410989 |  3181038 |      856   8717 |        0 |        0
287.15/287.23	c  287s |      23 |  4441335 |  3202338 |      856   8765 |        0 |        0
289.14/289.23	c  289s |      23 |  4471553 |  3224138 |      856   8815 |        0 |        0
291.14/291.23	c  291s |      23 |  4500884 |  3245838 |      856   8864 |        0 |        0
293.14/293.24	c  293s |      23 |  4530433 |  3267238 |      856   8912 |        0 |        0
295.15/295.24	c  295s |      23 |  4559653 |  3288738 |      856   8961 |        0 |        0
297.15/297.25	c  297s |      23 |  4587774 |  3309538 |      856   9008 |        0 |        0
299.15/299.25	c  299s |      23 |  4617555 |  3331038 |      856   9057 |        0 |        0
301.15/301.25	c  301s |      23 |  4646513 |  3352138 |      856   9105 |        0 |        0
303.14/303.25	c  303s |      23 |  4674623 |  3372938 |      942   9149 |        0 |        0
303.55/303.62	c  303s |      24 |  4679646 |  3376662 |      942   9156 |        0 |        0
305.54/305.63	c  305s |      24 |  4707647 |  3397862 |      942   9198 |        0 |        0
307.54/307.63	c  307s |      24 |  4734735 |  3418262 |      942   9237 |        0 |        0
309.54/309.64	c  309s |      24 |  4762858 |  3439262 |      942   9279 |        0 |        0
311.54/311.64	c  311s |      24 |  4791047 |  3460562 |      942   9322 |        0 |        0
313.55/313.65	c  313s |      24 |  4820747 |  3482962 |      942   9366 |        0 |        0
315.54/315.66	c  315s |      24 |  4850615 |  3505762 |      942   9413 |        0 |        0
317.54/317.66	c  317s |      24 |  4879688 |  3527762 |      942   9457 |        0 |        0
319.54/319.66	c  319s |      24 |  4906974 |  3547962 |      942   9498 |        0 |        0
321.54/321.67	c  321s |      24 |  4935404 |  3568862 |      942   9541 |        0 |        0
323.54/323.68	c  323s |      24 |  4962907 |  3589762 |      942   9582 |        0 |        0
325.55/325.69	c  325s |      24 |  4990912 |  3610862 |      942   9625 |        0 |        0
327.54/327.69	c  327s |      24 |  5021372 |  3632862 |      942   9668 |        0 |        0
329.54/329.69	c  329s |      24 |  5050771 |  3654862 |      942   9712 |        0 |        0
331.54/331.70	c  331s |      24 |  5079650 |  3676462 |      942   9755 |        0 |        0
333.64/333.70	c  333s |      24 |  5105146 |  3696562 |      942   9795 |        0 |        0
335.63/335.70	c  335s |      24 |  5133322 |  3717762 |      942   9838 |        0 |        0
337.64/337.71	c  337s |      24 |  5164061 |  3740562 |      942   9884 |        0 |        0
339.63/339.71	c  339s |      24 |  5192302 |  3762262 |      942   9928 |        0 |        0
341.64/341.72	c  341s |      24 |  5221234 |  3783862 |      942   9972 |        0 |        0
343.64/343.72	c  343s |      24 |  5249108 |  3804862 |      942  10013 |        0 |        0
345.64/345.73	c  345s |      24 |  5277196 |  3826062 |      942  10055 |        0 |        0
347.65/347.74	c  347s |      24 |  5304936 |  3846662 |      942  10096 |        0 |        0
349.64/349.75	c  349s |      24 |  5332259 |  3867262 |      942  10137 |        0 |        0
351.64/351.75	c  351s |      24 |  5360812 |  3888562 |      942  10179 |        0 |        0
353.64/353.75	c  353s |      24 |  5387014 |  3908562 |      942  10218 |        0 |        0
355.64/355.75	c  355s |      24 |  5413041 |  3928862 |      942  10258 |        0 |        0
357.64/357.76	c  357s |      24 |  5441588 |  3950462 |      942  10301 |        0 |        0
359.64/359.77	c  359s |      24 |  5469689 |  3971662 |      942  10343 |        0 |        0
361.63/361.77	c  361s |      24 |  5498988 |  3993262 |      942  10386 |        0 |        0
363.63/363.78	c  363s |      24 |  5526459 |  4013962 |      942  10427 |        0 |        0
365.63/365.78	c  365s |      24 |  5555575 |  4035562 |      942  10470 |        0 |        0
367.63/367.79	c  367s |      24 |  5582292 |  4056062 |      942  10511 |        0 |        0
369.73/369.80	c  369s |      24 |  5610233 |  4076362 |      942  10552 |        0 |        0
371.63/371.80	c  371s |      24 |  5638027 |  4097462 |      942  10594 |        0 |        0
373.73/373.81	c  373s |      24 |  5663707 |  4117862 |      942  10635 |        0 |        0
375.74/375.81	c  375s |      24 |  5689039 |  4138262 |      942  10676 |        0 |        0
377.73/377.82	c  377s |      24 |  5714792 |  4158562 |      942  10716 |        0 |        0
379.73/379.83	c  379s |      24 |  5741828 |  4178662 |      942  10757 |        0 |        0
381.74/381.83	c  381s |      24 |  5768373 |  4198262 |      942  10796 |        0 |        0
383.73/383.83	c  383s |      24 |  5797073 |  4219662 |      942  10839 |        0 |        0
385.73/385.84	c  385s |      24 |  5824159 |  4239962 |      942  10880 |        0 |        0
387.73/387.84	c  387s |      24 |  5850584 |  4260362 |      942  10920 |        0 |        0
389.73/389.85	c  389s |      24 |  5874829 |  4278862 |      942  10957 |        0 |        0
391.73/391.86	c  391s |      24 |  5900218 |  4298162 |      942  10995 |        0 |        0
393.73/393.87	c  393s |      24 |  5927203 |  4318562 |      942  11035 |        0 |        0
395.73/395.87	c  395s |      24 |  5955178 |  4339462 |      942  11077 |        0 |        0
397.73/397.88	c  397s |      24 |  5983787 |  4360562 |      942  11119 |        0 |        0
399.73/399.88	c  399s |      24 |  6012052 |  4381662 |      942  11161 |        0 |        0
401.73/401.89	c  401s |      24 |  6040423 |  4402862 |      942  11203 |        0 |        0
403.73/403.90	c  403s |      24 |  6068461 |  4423762 |      942  11245 |        0 |        0
405.73/405.90	c  405s |      24 |  6097177 |  4444762 |      942  11287 |        0 |        0
407.83/407.91	c  407s |      24 |  6124392 |  4464962 |      942  11327 |        0 |        0
409.82/409.91	c  409s |      24 |  6151863 |  4485162 |      942  11367 |        0 |        0
411.82/411.92	c  411s |      24 |  6180089 |  4505762 |      942  11409 |        0 |        0
413.82/413.93	c  413s |      24 |  6206425 |  4525962 |      942  11449 |        0 |        0
415.83/415.93	c  415s |      24 |  6232610 |  4545962 |      942  11488 |        0 |        0
417.82/417.94	c  417s |      24 |  6254277 |  4563962 |      942  11524 |        0 |        0
419.82/419.95	c  419s |      24 |  6280377 |  4583862 |      942  11563 |        0 |        0
421.82/421.95	c  421s |      24 |  6304564 |  4603662 |      942  11602 |        0 |        0
423.82/423.96	c  423s |      24 |  6331987 |  4624162 |      942  11643 |        0 |        0
425.82/425.96	c  425s |      24 |  6360497 |  4645362 |      942  11685 |        0 |        0
427.84/427.97	c  427s |      24 |  6389518 |  4666762 |      942  11728 |        0 |        0
429.83/429.97	c  429s |      24 |  6416214 |  4687262 |      942  11769 |        0 |        0
431.82/431.98	c  431s |      24 |  6443380 |  4707962 |      942  11810 |        0 |        0
433.82/433.98	c  433s |      24 |  6473110 |  4729762 |      942  11854 |        0 |        0
435.82/435.99	c  435s |      24 |  6502112 |  4750762 |      942  11896 |        0 |        0
437.92/438.00	c  437s |      24 |  6527625 |  4770562 |      942  11935 |        0 |        0
439.82/440.00	c  439s |      24 |  6555781 |  4791562 |      942  11977 |        0 |        0
441.92/442.00	c  441s |      24 |  6581914 |  4811662 |      942  12017 |        0 |        0
443.92/444.01	c  443s |      24 |  6609952 |  4832362 |      942  12058 |        0 |        0
445.92/446.01	c  445s |      24 |  6637175 |  4852662 |      942  12098 |        0 |        0
447.92/448.01	c  447s |      24 |  6667094 |  4875062 |      942  12143 |        0 |        0
449.93/450.01	c  450s |      24 |  6695649 |  4896562 |      942  12186 |        0 |        0
451.92/452.01	c  452s |      24 |  6724046 |  4918062 |      942  12228 |        0 |        0
453.92/454.01	c  454s |      24 |  6752249 |  4939162 |      942  12270 |        0 |        0
455.92/456.02	c  456s |      24 |  6778105 |  4958662 |      942  12309 |        0 |        0
457.92/458.02	c  458s |      24 |  6805226 |  4978962 |      942  12349 |        0 |        0
459.92/460.03	c  460s |      24 |  6831706 |  4998962 |      942  12389 |        0 |        0
461.93/462.03	c  462s |      24 |  6857896 |  5018862 |      942  12429 |        0 |        0
463.92/464.04	c  464s |      24 |  6883565 |  5038362 |     1037  12466 |        0 |        0
465.92/466.05	c  466s |      24 |  6908472 |  5057162 |     1037  12500 |        0 |        0
466.82/466.94	c  466s |      25 |  6918466 |  5065098 |     1037  12515 |        0 |        0
468.82/468.95	c  468s |      25 |  6946627 |  5085198 |     1037  12551 |        0 |        0
470.82/470.95	c  470s |      25 |  6971587 |  5103198 |     1037  12584 |        0 |        0
472.82/472.95	c  472s |      25 |  6998330 |  5123598 |     1037  12622 |        0 |        0
474.81/474.96	c  474s |      25 |  7024946 |  5143198 |     1037  12658 |        0 |        0
476.81/476.97	c  476s |      25 |  7052285 |  5162698 |     1037  12695 |        0 |        0
478.81/478.97	c  478s |      25 |  7082829 |  5183598 |     1037  12733 |        0 |        0
480.81/480.98	c  480s |      25 |  7109792 |  5202498 |     1037  12768 |        0 |        0
482.82/482.98	c  482s |      25 |  7135635 |  5221198 |     1037  12803 |        0 |        0
484.81/484.99	c  484s |      25 |  7162959 |  5241298 |     1037  12840 |        0 |        0
486.81/486.99	c  486s |      25 |  7188615 |  5260598 |     1037  12876 |        0 |        0
488.91/489.00	c  488s |      25 |  7212881 |  5279198 |     1037  12910 |        0 |        0
490.91/491.01	c  490s |      25 |  7235767 |  5297598 |     1037  12945 |        0 |        0
492.91/493.01	c  492s |      25 |  7260108 |  5316398 |     1037  12980 |        0 |        0
494.92/495.02	c  495s |      25 |  7286824 |  5335398 |     1037  13015 |        0 |        0
496.92/497.02	c  497s |      25 |  7311622 |  5354398 |     1037  13049 |        0 |        0
498.92/499.03	c  499s |      25 |  7338190 |  5373898 |     1037  13086 |        0 |        0
500.91/501.04	c  501s |      25 |  7364260 |  5392798 |     1037  13121 |        0 |        0
502.91/503.05	c  503s |      25 |  7388327 |  5410298 |     1037  13153 |        0 |        0
504.92/505.06	c  505s |      25 |  7411483 |  5427198 |     1037  13185 |        0 |        0
506.91/507.07	c  507s |      25 |  7435286 |  5444998 |     1037  13217 |        0 |        0
508.91/509.08	c  509s |      25 |  7458358 |  5461698 |     1037  13248 |        0 |        0
510.91/511.09	c  511s |      25 |  7482009 |  5479298 |     1037  13280 |        0 |        0
512.91/513.10	c  513s |      25 |  7506567 |  5497998 |     1037  13315 |        0 |        0
515.01/515.10	c  515s |      25 |  7530364 |  5515498 |     1037  13347 |        0 |        0
516.92/517.10	c  517s |      25 |  7553585 |  5532598 |     1037  13379 |        0 |        0
519.01/519.10	c  519s |      25 |  7577551 |  5550398 |     1037  13412 |        0 |        0
521.01/521.10	c  521s |      25 |  7601758 |  5568898 |     1037  13446 |        0 |        0
523.01/523.11	c  523s |      25 |  7627733 |  5588198 |     1037  13482 |        0 |        0
525.01/525.12	c  525s |      25 |  7654647 |  5607198 |     1037  13517 |        0 |        0
527.00/527.12	c  527s |      25 |  7681099 |  5626198 |     1037  13552 |        0 |        0
529.01/529.13	c  529s |      25 |  7707828 |  5645298 |     1037  13587 |        0 |        0
531.00/531.14	c  531s |      25 |  7733411 |  5663498 |     1037  13621 |        0 |        0
533.01/533.14	c  533s |      25 |  7759647 |  5682098 |     1037  13655 |        0 |        0
535.01/535.15	c  535s |      25 |  7785312 |  5700198 |     1037  13688 |        0 |        0
537.01/537.16	c  537s |      25 |  7808272 |  5717898 |     1037  13721 |        0 |        0
539.02/539.16	c  539s |      25 |  7833489 |  5737298 |     1037  13756 |        0 |        0
541.01/541.17	c  541s |      25 |  7858576 |  5756398 |     1037  13791 |        0 |        0
543.01/543.18	c  543s |      25 |  7883643 |  5775398 |     1037  13826 |        0 |        0
545.01/545.18	c  545s |      25 |  7908753 |  5793998 |     1037  13860 |        0 |        0
547.01/547.19	c  547s |      25 |  7938425 |  5814098 |     1037  13897 |        0 |        0
549.01/549.19	c  549s |      25 |  7963985 |  5833198 |     1037  13933 |        0 |        0
551.01/551.20	c  551s |      25 |  7989249 |  5852398 |     1037  13969 |        0 |        0
553.10/553.21	c  553s |      25 |  8016007 |  5872498 |     1037  14007 |        0 |        0
555.10/555.21	c  555s |      25 |  8042443 |  5892098 |     1037  14044 |        0 |        0
557.10/557.21	c  557s |      25 |  8068739 |  5911598 |     1037  14080 |        0 |        0
559.10/559.22	c  559s |      25 |  8095913 |  5931798 |     1037  14118 |        0 |        0
561.10/561.22	c  561s |      25 |  8122428 |  5951398 |     1037  14155 |        0 |        0
563.11/563.23	c  563s |      25 |  8148198 |  5970498 |     1037  14191 |        0 |        0
565.10/565.24	c  565s |      25 |  8174172 |  5990098 |     1037  14228 |        0 |        0
567.10/567.24	c  567s |      25 |  8199747 |  6009298 |     1037  14265 |        0 |        0
569.10/569.25	c  569s |      25 |  8225226 |  6028898 |     1037  14302 |        0 |        0
571.10/571.25	c  571s |      25 |  8251316 |  6047998 |     1037  14337 |        0 |        0
573.11/573.26	c  573s |      25 |  8276117 |  6066398 |     1037  14371 |        0 |        0
575.10/575.26	c  575s |      25 |  8304076 |  6087098 |     1037  14410 |        0 |        0
577.10/577.26	c  577s |      25 |  8329225 |  6105898 |     1037  14446 |        0 |        0
579.10/579.26	c  579s |      25 |  8355990 |  6125598 |     1037  14483 |        0 |        0
581.10/581.26	c  581s |      25 |  8383601 |  6145898 |     1037  14521 |        0 |        0
583.10/583.27	c  583s |      25 |  8409773 |  6165398 |     1037  14558 |        0 |        0
585.10/585.27	c  585s |      25 |  8436127 |  6185098 |     1037  14594 |        0 |        0
587.09/587.28	c  587s |      25 |  8461754 |  6203998 |     1037  14630 |        0 |        0
589.09/589.28	c  589s |      25 |  8487505 |  6222898 |     1037  14665 |        0 |        0
591.10/591.29	c  591s |      25 |  8513755 |  6242598 |     1037  14702 |        0 |        0
593.20/593.30	c  593s |      25 |  8539829 |  6261498 |     1037  14737 |        0 |        0
595.20/595.31	c  595s |      25 |  8568156 |  6281998 |     1037  14774 |        0 |        0
597.21/597.31	c  597s |      25 |  8595762 |  6302398 |     1037  14811 |        0 |        0
599.20/599.32	c  599s |      25 |  8622745 |  6322998 |     1037  14848 |        0 |        0
601.20/601.32	c  601s |      25 |  8644846 |  6340898 |     1037  14881 |        0 |        0
603.19/603.33	c  603s |      25 |  8664663 |  6356698 |     1037  14910 |        0 |        0
605.19/605.33	c  605s |      25 |  8686942 |  6373998 |     1037  14942 |        0 |        0
607.20/607.33	c  607s |      25 |  8709586 |  6391498 |     1037  14974 |        0 |        0
609.19/609.34	c  609s |      25 |  8733594 |  6409398 |     1037  15007 |        0 |        0
611.19/611.34	c  611s |      25 |  8759489 |  6428498 |     1037  15043 |        0 |        0
613.19/613.35	c  613s |      25 |  8784260 |  6447498 |     1037  15078 |        0 |        0
615.19/615.36	c  615s |      25 |  8810439 |  6466998 |     1037  15114 |        0 |        0
617.20/617.36	c  617s |      25 |  8835956 |  6485698 |     1037  15149 |        0 |        0
619.21/619.36	c  619s |      25 |  8861148 |  6503898 |     1037  15183 |        0 |        0
621.20/621.37	c  621s |      25 |  8886400 |  6522698 |     1037  15218 |        0 |        0
623.20/623.38	c  623s |      25 |  8912923 |  6541898 |     1037  15253 |        0 |        0
625.20/625.38	c  625s |      25 |  8938952 |  6560898 |     1037  15289 |        0 |        0
627.20/627.39	c  627s |      25 |  8964883 |  6580398 |     1037  15326 |        0 |        0
629.20/629.39	c  629s |      25 |  8991189 |  6599798 |     1037  15362 |        0 |        0
631.20/631.39	c  631s |      25 |  9017894 |  6618198 |     1037  15396 |        0 |        0
633.20/633.39	c  633s |      25 |  9042644 |  6635998 |     1037  15430 |        0 |        0
635.30/635.40	c  635s |      25 |  9067337 |  6653698 |     1037  15463 |        0 |        0
637.29/637.40	c  637s |      25 |  9089889 |  6669998 |     1037  15493 |        0 |        0
639.29/639.41	c  639s |      25 |  9114149 |  6687898 |     1037  15527 |        0 |        0
641.30/641.42	c  641s |      25 |  9138238 |  6706398 |     1037  15560 |        0 |        0
643.29/643.43	c  643s |      25 |  9163600 |  6725398 |     1037  15595 |        0 |        0
645.29/645.44	c  645s |      25 |  9189585 |  6744798 |     1037  15631 |        0 |        0
647.29/647.44	c  647s |      25 |  9215827 |  6764598 |     1037  15668 |        0 |        0
649.29/649.45	c  649s |      25 |  9243411 |  6784998 |     1037  15706 |        0 |        0
651.29/651.46	c  651s |      25 |  9269834 |  6804098 |     1037  15742 |        0 |        0
653.30/653.46	c  653s |      25 |  9295108 |  6822598 |     1037  15776 |        0 |        0
655.29/655.46	c  655s |      25 |  9321900 |  6842598 |     1037  15813 |        0 |        0
657.29/657.47	c  657s |      25 |  9349888 |  6863298 |     1037  15851 |        0 |        0
659.29/659.47	c  659s |      25 |  9374580 |  6882098 |     1037  15885 |        0 |        0
661.29/661.48	c  661s |      25 |  9402124 |  6902198 |     1037  15922 |        0 |        0
663.29/663.49	c  663s |      25 |  9427547 |  6920398 |     1037  15956 |        0 |        0
665.28/665.49	c  665s |      25 |  9454479 |  6939798 |     1037  15991 |        0 |        0
667.38/667.50	c  667s |      25 |  9479669 |  6958698 |     1037  16026 |        0 |        0
669.38/669.50	c  669s |      25 |  9506829 |  6979098 |     1037  16063 |        0 |        0
671.39/671.51	c  671s |      25 |  9532667 |  6998098 |     1037  16099 |        0 |        0
673.39/673.52	c  673s |      25 |  9558867 |  7016998 |     1037  16134 |        0 |        0
675.40/675.52	c  675s |      25 |  9586380 |  7037398 |     1037  16171 |        0 |        0
677.39/677.53	c  677s |      25 |  9614729 |  7057898 |     1037  16208 |        0 |        0
679.39/679.53	c  679s |      25 |  9641786 |  7078198 |     1037  16246 |        0 |        0
681.39/681.54	c  681s |      25 |  9669561 |  7098698 |     1037  16284 |        0 |        0
683.38/683.55	c  683s |      25 |  9698921 |  7119898 |     1037  16323 |        0 |        0
685.38/685.55	c  685s |      25 |  9726317 |  7140398 |     1037  16360 |        0 |        0
687.39/687.56	c  687s |      25 |  9752388 |  7159898 |     1037  16396 |        0 |        0
689.38/689.56	c  689s |      25 |  9778536 |  7179898 |     1037  16432 |        0 |        0
691.38/691.57	c  691s |      25 |  9805512 |  7199298 |     1037  16468 |        0 |        0
693.38/693.57	c  693s |      25 |  9833126 |  7218898 |     1037  16504 |        0 |        0
695.38/695.58	c  695s |      25 |  9858171 |  7237798 |     1037  16538 |        0 |        0
697.39/697.58	c  697s |      25 |  9884296 |  7256398 |     1037  16573 |        0 |        0
699.38/699.58	c  699s |      25 |  9910122 |  7275498 |     1037  16608 |        0 |        0
701.38/701.59	c  701s |      25 |  9936564 |  7294098 |     1037  16643 |        0 |        0
703.38/703.59	c  703s |      25 |  9960606 |  7312498 |     1037  16676 |        0 |        0
705.39/705.59	c  705s |      25 |  9983148 |  7330398 |     1037  16709 |        0 |        0
707.49/707.60	c  707s |      25 | 10009952 |  7350398 |     1037  16746 |        0 |        0
709.39/709.60	c  709s |      25 | 10038118 |  7370898 |     1037  16784 |        0 |        0
711.48/711.61	c  711s |      25 | 10065989 |  7391098 |     1037  16822 |        0 |        0
713.48/713.61	c  713s |      25 | 10088789 |  7408798 |     1037  16855 |        0 |        0
715.48/715.62	c  715s |      25 | 10114179 |  7427298 |     1037  16889 |        0 |        0
717.48/717.62	c  717s |      25 | 10140664 |  7446698 |     1037  16926 |        0 |        0
719.48/719.63	c  719s |      25 | 10166279 |  7465498 |     1037  16961 |        0 |        0
721.49/721.63	c  721s |      25 | 10190086 |  7483698 |     1037  16996 |        0 |        0
723.48/723.63	c  723s |      25 | 10214721 |  7502398 |     1037  17030 |        0 |        0
725.48/725.63	c  725s |      25 | 10241279 |  7521698 |     1037  17066 |        0 |        0
727.48/727.64	c  727s |      25 | 10266872 |  7540798 |     1037  17100 |        0 |        0
729.48/729.65	c  729s |      25 | 10290933 |  7559198 |     1141  17131 |        0 |        0
731.48/731.65	c  731s |      25 | 10313676 |  7576598 |     1141  17161 |        0 |        0
733.48/733.66	c  733s |      25 | 10340425 |  7595598 |     1141  17193 |        0 |        0
733.68/733.88	c  733s |      26 | 10343472 |  7597752 |     1141  17197 |        0 |        0
735.68/735.88	c  735s |      26 | 10371862 |  7617152 |     1141  17230 |        0 |        0
737.67/737.89	c  737s |      26 | 10402853 |  7637352 |     1141  17263 |        0 |        0
739.77/739.90	c  739s |      26 | 10433243 |  7656752 |     1141  17296 |        0 |        0
741.77/741.90	c  741s |      26 | 10458153 |  7674552 |     1141  17327 |        0 |        0
743.77/743.91	c  743s |      26 | 10484421 |  7692652 |     1141  17357 |        0 |        0
745.78/745.91	c  745s |      26 | 10512089 |  7711652 |     1141  17390 |        0 |        0
747.77/747.93	c  747s |      26 | 10541226 |  7731052 |     1141  17423 |        0 |        0
749.77/749.94	c  749s |      26 | 10569559 |  7749852 |     1141  17454 |        0 |        0
751.77/751.94	c  751s |      26 | 10598547 |  7769452 |     1141  17487 |        0 |        0
753.77/753.94	c  753s |      26 | 10626973 |  7788852 |     1141  17520 |        0 |        0
755.77/755.96	c  755s |      26 | 10656648 |  7807952 |     1141  17552 |        0 |        0
757.78/757.96	c  757s |      26 | 10680647 |  7825652 |     1141  17582 |        0 |        0
759.77/759.96	c  759s |      26 | 10703683 |  7842552 |     1141  17611 |        0 |        0
761.78/761.96	c  761s |      26 | 10731280 |  7860752 |     1141  17642 |        0 |        0
763.78/763.97	c  763s |      26 | 10759555 |  7878752 |     1141  17672 |        0 |        0
765.78/765.97	c  765s |      26 | 10786820 |  7897652 |     1141  17704 |        0 |        0
767.78/767.98	c  767s |      26 | 10815050 |  7917052 |     1141  17737 |        0 |        0
769.78/769.98	c  769s |      26 | 10841940 |  7935852 |     1141  17768 |        0 |        0
771.77/771.99	c  771s |      26 | 10867996 |  7954252 |     1141  17799 |        0 |        0
773.87/774.00	c  773s |      26 | 10895939 |  7973252 |     1141  17831 |        0 |        0
775.87/776.00	c  775s |      26 | 10922917 |  7992052 |     1141  17863 |        0 |        0
777.87/778.02	c  778s |      26 | 10949661 |  8010752 |     1141  17894 |        0 |        0
779.88/780.02	c  780s |      26 | 10975640 |  8028752 |     1141  17925 |        0 |        0
781.87/782.02	c  782s |      26 | 11001807 |  8047252 |     1141  17956 |        0 |        0
783.87/784.03	c  784s |      26 | 11028190 |  8066152 |     1141  17988 |        0 |        0
785.87/786.03	c  786s |      26 | 11056349 |  8085752 |     1141  18021 |        0 |        0
787.87/788.03	c  788s |      26 | 11084287 |  8105252 |     1141  18054 |        0 |        0
789.87/790.04	c  790s |      26 | 11112603 |  8125352 |     1141  18088 |        0 |        0
791.88/792.05	c  792s |      26 | 11140120 |  8144452 |     1141  18121 |        0 |        0
793.87/794.05	c  794s |      26 | 11166777 |  8164052 |     1141  18154 |        0 |        0
795.87/796.06	c  796s |      26 | 11193757 |  8184052 |     1141  18188 |        0 |        0
797.87/798.06	c  798s |      26 | 11220806 |  8203652 |     1141  18222 |        0 |        0
799.87/800.07	c  800s |      26 | 11249505 |  8224152 |     1141  18257 |        0 |        0
801.87/802.07	c  802s |      26 | 11277103 |  8243152 |     1141  18289 |        0 |        0
803.87/804.08	c  804s |      26 | 11301847 |  8261352 |     1141  18320 |        0 |        0
805.87/806.08	c  806s |      26 | 11327557 |  8279752 |     1141  18351 |        0 |        0
807.86/808.09	c  808s |      26 | 11355504 |  8298552 |     1141  18383 |        0 |        0
809.86/810.09	c  810s |      26 | 11380698 |  8316552 |     1141  18414 |        0 |        0
811.96/812.10	c  812s |      26 | 11403261 |  8333352 |     1141  18443 |        0 |        0
813.97/814.11	c  814s |      26 | 11430825 |  8352852 |     1141  18476 |        0 |        0
815.96/816.11	c  816s |      26 | 11458330 |  8372752 |     1141  18510 |        0 |        0
817.96/818.11	c  818s |      26 | 11485638 |  8392652 |     1141  18543 |        0 |        0
819.96/820.12	c  820s |      26 | 11511919 |  8411752 |     1141  18576 |        0 |        0
821.96/822.13	c  822s |      26 | 11537523 |  8430652 |     1141  18608 |        0 |        0
823.96/824.14	c  824s |      26 | 11563480 |  8450252 |     1141  18641 |        0 |        0
825.97/826.14	c  826s |      26 | 11590098 |  8469952 |     1141  18675 |        0 |        0
827.96/828.15	c  828s |      26 | 11616511 |  8489852 |     1141  18709 |        0 |        0
829.96/830.15	c  830s |      26 | 11642068 |  8509052 |     1141  18741 |        0 |        0
831.96/832.16	c  832s |      26 | 11667048 |  8527952 |     1141  18773 |        0 |        0
833.96/834.17	c  834s |      26 | 11692311 |  8546852 |     1141  18805 |        0 |        0
835.96/836.18	c  836s |      26 | 11719310 |  8566752 |     1141  18840 |        0 |        0
837.96/838.18	c  838s |      26 | 11744897 |  8586452 |     1141  18874 |        0 |        0
839.97/840.19	c  840s |      26 | 11771837 |  8606452 |     1141  18908 |        0 |        0
841.96/842.19	c  842s |      26 | 11795743 |  8624852 |     1141  18940 |        0 |        0
844.06/844.20	c  844s |      26 | 11819053 |  8642752 |     1141  18971 |        0 |        0
846.06/846.20	c  846s |      26 | 11845251 |  8662052 |     1141  19005 |        0 |        0
848.07/848.21	c  848s |      26 | 11870664 |  8680852 |     1141  19037 |        0 |        0
850.06/850.23	c  850s |      26 | 11897305 |  8700052 |     1141  19070 |        0 |        0
852.06/852.23	c  852s |      26 | 11921858 |  8718952 |     1141  19102 |        0 |        0
854.06/854.23	c  854s |      26 | 11949180 |  8738852 |     1141  19135 |        0 |        0
856.06/856.24	c  856s |      26 | 11975929 |  8758152 |     1141  19167 |        0 |        0
858.05/858.25	c  858s |      26 | 12001278 |  8776652 |     1141  19198 |        0 |        0
860.06/860.26	c  860s |      26 | 12026280 |  8795052 |     1141  19230 |        0 |        0
862.05/862.26	c  862s |      26 | 12051678 |  8813952 |     1141  19262 |        0 |        0
864.06/864.27	c  864s |      26 | 12078663 |  8832952 |     1141  19294 |        0 |        0
866.06/866.27	c  866s |      26 | 12105313 |  8851952 |     1141  19326 |        0 |        0
868.06/868.27	c  868s |      26 | 12133437 |  8871752 |     1141  19360 |        0 |        0
870.07/870.28	c  870s |      26 | 12159831 |  8890952 |     1141  19392 |        0 |        0
872.06/872.28	c  872s |      26 | 12185717 |  8909852 |     1141  19424 |        0 |        0
874.06/874.29	c  874s |      26 | 12211280 |  8928452 |     1141  19455 |        0 |        0
876.06/876.29	c  876s |      26 | 12237005 |  8946752 |     1141  19487 |        0 |        0
878.06/878.29	c  878s |      26 | 12259476 |  8963552 |     1141  19515 |        0 |        0
880.16/880.30	c  880s |      26 | 12280660 |  8979252 |     1141  19542 |        0 |        0
882.06/882.30	c  882s |      26 | 12302921 |  8995952 |     1141  19570 |        0 |        0
884.15/884.31	c  884s |      26 | 12329440 |  9015352 |     1141  19604 |        0 |        0
886.15/886.31	c  886s |      26 | 12357276 |  9035052 |     1141  19638 |        0 |        0
888.16/888.32	c  888s |      26 | 12383947 |  9053752 |     1141  19670 |        0 |        0
890.16/890.32	c  890s |      26 | 12409883 |  9072752 |     1141  19702 |        0 |        0
892.16/892.34	c  892s |      26 | 12435270 |  9091552 |     1141  19734 |        0 |        0
894.16/894.34	c  894s |      26 | 12461899 |  9111352 |     1141  19767 |        0 |        0
896.16/896.35	c  896s |      26 | 12488631 |  9130652 |     1141  19799 |        0 |        0
898.16/898.35	c  898s |      26 | 12515079 |  9150152 |     1141  19831 |        0 |        0
900.15/900.36	c  900s |      26 | 12540720 |  9169552 |     1141  19864 |        0 |        0
902.15/902.37	c  902s |      26 | 12566719 |  9188152 |     1141  19895 |        0 |        0
904.16/904.37	c  904s |      26 | 12595037 |  9208152 |     1141  19929 |        0 |        0
906.15/906.38	c  906s |      26 | 12622974 |  9228252 |     1141  19963 |        0 |        0
908.15/908.38	c  908s |      26 | 12649589 |  9247652 |     1141  19996 |        0 |        0
910.15/910.39	c  910s |      26 | 12672575 |  9264852 |     1141  20025 |        0 |        0
912.25/912.40	c  912s |      26 | 12694442 |  9281152 |     1141  20053 |        0 |        0
914.25/914.40	c  914s |      26 | 12718692 |  9298852 |     1141  20082 |        0 |        0
916.26/916.41	c  916s |      26 | 12745915 |  9318652 |     1141  20115 |        0 |        0
918.25/918.42	c  918s |      26 | 12772219 |  9337952 |     1141  20148 |        0 |        0
920.25/920.43	c  920s |      26 | 12798209 |  9356752 |     1141  20179 |        0 |        0
922.25/922.44	c  922s |      26 | 12824748 |  9376052 |     1141  20212 |        0 |        0
924.25/924.44	c  924s |      26 | 12850693 |  9395652 |     1141  20245 |        0 |        0
926.25/926.44	c  926s |      26 | 12876432 |  9414752 |     1141  20277 |        0 |        0
928.25/928.45	c  928s |      26 | 12904350 |  9434352 |     1141  20310 |        0 |        0
930.24/930.46	c  930s |      26 | 12930697 |  9453952 |     1141  20343 |        0 |        0
932.24/932.48	c  932s |      26 | 12958408 |  9474152 |     1141  20376 |        0 |        0
934.24/934.48	c  934s |      26 | 12985015 |  9493552 |     1141  20409 |        0 |        0
936.24/936.48	c  936s |      26 | 13010703 |  9512152 |     1141  20441 |        0 |        0
938.25/938.49	c  938s |      26 | 13037240 |  9531952 |     1141  20474 |        0 |        0
940.24/940.50	c  940s |      26 | 13060040 |  9549752 |     1141  20504 |        0 |        0
942.34/942.50	c  942s |      26 | 13084042 |  9567352 |     1141  20534 |        0 |        0
944.35/944.51	c  944s |      26 | 13110082 |  9585952 |     1141  20566 |        0 |        0
946.35/946.52	c  946s |      26 | 13138158 |  9605652 |     1141  20599 |        0 |        0
948.35/948.52	c  948s |      26 | 13166361 |  9625652 |     1141  20633 |        0 |        0
950.36/950.53	c  950s |      26 | 13192167 |  9644252 |     1141  20664 |        0 |        0
952.35/952.54	c  952s |      26 | 13218169 |  9663452 |     1141  20697 |        0 |        0
954.35/954.54	c  954s |      26 | 13244599 |  9682552 |     1141  20729 |        0 |        0
956.35/956.55	c  956s |      26 | 13273053 |  9702552 |     1141  20763 |        0 |        0
958.35/958.56	c  958s |      26 | 13300152 |  9722452 |     1141  20796 |        0 |        0
960.35/960.57	c  960s |      26 | 13326625 |  9741652 |     1141  20828 |        0 |        0
962.35/962.58	c  962s |      26 | 13352540 |  9759852 |     1141  20858 |        0 |        0
964.34/964.59	c  964s |      26 | 13373736 |  9776352 |     1141  20887 |        0 |        0
966.44/966.60	c  966s |      26 | 13399341 |  9794352 |     1141  20917 |        0 |        0
968.44/968.61	c  968s |      26 | 13424820 |  9813252 |     1141  20948 |        0 |        0
970.44/970.62	c  970s |      26 | 13450454 |  9831652 |     1141  20979 |        0 |        0
972.44/972.62	c  972s |      26 | 13475010 |  9850052 |     1141  21010 |        0 |        0
974.45/974.62	c  974s |      26 | 13500732 |  9868952 |     1141  21042 |        0 |        0
976.44/976.63	c  976s |      26 | 13526680 |  9887652 |     1141  21074 |        0 |        0
978.44/978.64	c  978s |      26 | 13551850 |  9906352 |     1141  21106 |        0 |        0
980.44/980.64	c  980s |      26 | 13578562 |  9925952 |     1141  21139 |        0 |        0
982.44/982.65	c  982s |      26 | 13604577 |  9944752 |     1141  21170 |        0 |        0
984.44/984.66	c  984s |      26 | 13631615 |  9963952 |     1141  21203 |        0 |        0
986.44/986.66	c  986s |      26 | 13656197 |  9981652 |     1141  21234 |        0 |        0
988.43/988.66	c  988s |      26 | 13679168 |  9999252 |     1141  21264 |        0 |        0
990.43/990.67	c  990s |      26 | 13706297 | 10018852 |     1141  21296 |        0 |        0
992.44/992.67	c  992s |      26 | 13731282 | 10037652 |     1141  21328 |        0 |        0
994.44/994.68	c  994s |      26 | 13759437 | 10057952 |     1141  21362 |        0 |        0
996.44/996.69	c  996s |      26 | 13786051 | 10077552 |     1141  21395 |        0 |        0
998.54/998.70	c  998s |      26 | 13813578 | 10097752 |     1141  21429 |        0 |        0
1000.54/1000.70	c 1000s |      26 | 13839702 | 10116952 |     1141  21461 |        0 |        0
1002.54/1002.70	c 1002s |      26 | 13867210 | 10136852 |     1141  21495 |        0 |        0
1004.54/1004.71	c 1004s |      26 | 13893963 | 10156352 |     1141  21527 |        0 |        0
1006.54/1006.71	c 1006s |      26 | 13918149 | 10174452 |     1141  21558 |        0 |        0
1008.54/1008.71	c 1008s |      26 | 13940816 | 10192052 |     1141  21587 |        0 |        0
1010.53/1010.72	c 1010s |      26 | 13963672 | 10209652 |     1141  21617 |        0 |        0
1012.53/1012.72	c 1012s |      26 | 13985725 | 10226952 |     1141  21646 |        0 |        0
1014.53/1014.73	c 1014s |      26 | 14011335 | 10245052 |     1141  21677 |        0 |        0
1016.53/1016.73	c 1016s |      26 | 14035745 | 10262852 |     1141  21707 |        0 |        0
1018.54/1018.74	c 1018s |      26 | 14059114 | 10280052 |     1141  21736 |        0 |        0
1020.53/1020.74	c 1020s |      26 | 14085079 | 10298852 |     1141  21767 |        0 |        0
1022.53/1022.74	c 1022s |      26 | 14109900 | 10317452 |     1141  21798 |        0 |        0
1024.53/1024.75	c 1024s |      26 | 14131614 | 10334152 |     1141  21826 |        0 |        0
1026.53/1026.76	c 1026s |      26 | 14158283 | 10353752 |     1141  21859 |        0 |        0
1028.53/1028.76	c 1028s |      26 | 14181955 | 10371352 |     1141  21888 |        0 |        0
1030.53/1030.77	c 1030s |      26 | 14203106 | 10387552 |     1141  21915 |        0 |        0
1032.53/1032.78	c 1032s |      26 | 14228229 | 10406652 |     1141  21947 |        0 |        0
1034.53/1034.78	c 1034s |      26 | 14252818 | 10424552 |     1141  21976 |        0 |        0
1036.54/1036.79	c 1036s |      26 | 14276861 | 10442452 |     1141  22006 |        0 |        0
1038.54/1038.79	c 1038s |      26 | 14299660 | 10460052 |     1141  22036 |        0 |        0
1040.63/1040.80	c 1040s |      26 | 14324000 | 10477652 |     1141  22065 |        0 |        0
1042.64/1042.81	c 1042s |      26 | 14349293 | 10495952 |     1141  22096 |        0 |        0
1044.63/1044.82	c 1044s |      26 | 14372708 | 10513052 |     1141  22125 |        0 |        0
1046.63/1046.82	c 1046s |      26 | 14396949 | 10529952 |     1141  22154 |        0 |        0
1048.63/1048.82	c 1048s |      26 | 14423196 | 10549752 |     1141  22187 |        0 |        0
1050.63/1050.83	c 1050s |      26 | 14449365 | 10568852 |     1141  22220 |        0 |        0
1052.64/1052.84	c 1052s |      26 | 14475319 | 10588152 |     1141  22252 |        0 |        0
1054.63/1054.84	c 1054s |      26 | 14498885 | 10605752 |     1141  22282 |        0 |        0
1056.63/1056.85	c 1056s |      26 | 14524803 | 10624652 |     1141  22314 |        0 |        0
1058.63/1058.85	c 1058s |      26 | 14551128 | 10643952 |     1141  22346 |        0 |        0
1060.63/1060.86	c 1060s |      26 | 14577168 | 10661652 |     1141  22376 |        0 |        0
1062.63/1062.86	c 1062s |      26 | 14597371 | 10676652 |     1141  22402 |        0 |        0
1064.63/1064.87	c 1064s |      26 | 14620181 | 10693952 |     1141  22431 |        0 |        0
1066.62/1066.88	c 1066s |      26 | 14647357 | 10713652 |     1141  22463 |        0 |        0
1068.62/1068.89	c 1068s |      26 | 14671998 | 10732252 |     1141  22495 |        0 |        0
1070.72/1070.90	c 1070s |      26 | 14694951 | 10750052 |     1141  22525 |        0 |        0
1072.72/1072.91	c 1072s |      26 | 14712823 | 10764152 |     1141  22549 |        0 |        0
1074.72/1074.91	c 1074s |      26 | 14737817 | 10782252 |     1141  22579 |        0 |        0
1076.73/1076.91	c 1076s |      26 | 14761094 | 10799552 |     1141  22608 |        0 |        0
1078.72/1078.92	c 1078s |      26 | 14785479 | 10817352 |     1141  22638 |        0 |        0
1080.72/1080.92	c 1080s |      26 | 14808537 | 10834652 |     1141  22668 |        0 |        0
1082.72/1082.93	c 1082s |      26 | 14835643 | 10854052 |     1141  22700 |        0 |        0
1084.72/1084.93	c 1084s |      26 | 14860309 | 10872452 |     1141  22731 |        0 |        0
1086.73/1086.93	c 1086s |      26 | 14881042 | 10888752 |     1141  22759 |        0 |        0
1088.72/1088.94	c 1088s |      26 | 14906690 | 10907452 |     1141  22790 |        0 |        0
1090.72/1090.94	c 1090s |      26 | 14929982 | 10925452 |     1141  22821 |        0 |        0
1092.72/1092.95	c 1092s |      26 | 14955503 | 10944552 |     1141  22853 |        0 |        0
1094.72/1094.95	c 1094s |      26 | 14978231 | 10961452 |     1141  22881 |        0 |        0
1096.72/1096.96	c 1096s |      26 | 15003739 | 10980152 |     1141  22913 |        0 |        0
1098.72/1098.96	c 1098s |      26 | 15029208 | 10999152 |     1141  22944 |        0 |        0
1100.72/1100.96	c 1100s |      26 | 15050904 | 11016152 |     1141  22973 |        0 |        0
1102.72/1102.97	c 1102s |      26 | 15075889 | 11034152 |     1141  23002 |        0 |        0
1104.72/1104.98	c 1104s |      26 | 15102457 | 11052752 |     1141  23033 |        0 |        0
1106.72/1106.98	c 1106s |      26 | 15127344 | 11070752 |     1141  23063 |        0 |        0
1108.72/1108.98	c 1108s |      26 | 15153734 | 11090052 |     1141  23095 |        0 |        0
1110.72/1110.99	c 1110s |      26 | 15178292 | 11108252 |     1141  23126 |        0 |        0
1112.71/1112.99	c 1112s |      26 | 15202431 | 11125252 |     1141  23155 |        0 |        0
1114.82/1115.00	c 1114s |      26 | 15225399 | 11142052 |     1141  23182 |        0 |        0
1116.82/1117.01	c 1117s |      26 | 15252055 | 11161452 |     1141  23215 |        0 |        0
1118.82/1119.01	c 1119s |      26 | 15275916 | 11179652 |     1141  23245 |        0 |        0
1120.83/1121.02	c 1121s |      26 | 15301132 | 11198252 |     1141  23276 |        0 |        0
1122.82/1123.02	c 1123s |      26 | 15327164 | 11217252 |     1141  23308 |        0 |        0
1124.82/1125.03	c 1125s |      26 | 15353233 | 11236352 |     1141  23340 |        0 |        0
1126.82/1127.03	c 1127s |      26 | 15380475 | 11256452 |     1141  23374 |        0 |        0
1128.82/1129.03	c 1129s |      26 | 15405998 | 11275752 |     1141  23406 |        0 |        0
1130.82/1131.04	c 1131s |      26 | 15431349 | 11294752 |     1141  23439 |        0 |        0
1132.82/1133.05	c 1133s |      26 | 15457994 | 11313652 |     1141  23471 |        0 |        0
1134.81/1135.05	c 1135s |      26 | 15483177 | 11331952 |     1256  23499 |        0 |        0
1136.81/1137.05	c 1137s |      26 | 15507447 | 11350452 |     1256  23527 |        0 |        0
1138.81/1139.05	c 1139s |      26 | 15532909 | 11369552 |     1256  23556 |        0 |        0
1140.81/1141.07	c 1141s |      26 | 15557171 | 11387752 |     1256  23584 |        0 |        0
1141.81/1142.03	c 1142s |      27 | 15569253 | 11396733 |     1256  23598 |        0 |        0
1143.82/1144.03	c 1144s |      27 | 15595694 | 11415933 |     1256  23627 |        0 |        0
1145.81/1146.04	c 1146s |      27 | 15623594 | 11435333 |     1256  23658 |        0 |        0
1147.81/1148.05	c 1148s |      27 | 15651097 | 11454333 |     1256  23687 |        0 |        0
1149.81/1150.06	c 1150s |      27 | 15679847 | 11473133 |     1256  23716 |        0 |        0
1151.81/1152.06	c 1152s |      27 | 15709675 | 11491833 |     1256  23745 |        0 |        0
1153.82/1154.07	c 1154s |      27 | 15735965 | 11508433 |     1256  23771 |        0 |        0
1155.82/1156.07	c 1156s |      27 | 15763372 | 11527333 |     1256  23800 |        0 |        0
1157.82/1158.07	c 1158s |      27 | 15791435 | 11546033 |     1256  23829 |        0 |        0
1159.81/1160.08	c 1160s |      27 | 15818498 | 11564733 |     1256  23858 |        0 |        0
1161.81/1162.09	c 1162s |      27 | 15848146 | 11583733 |     1256  23887 |        0 |        0
1163.81/1164.09	c 1164s |      27 | 15875211 | 11602533 |     1256  23917 |        0 |        0
1165.82/1166.10	c 1166s |      27 | 15900130 | 11620433 |     1256  23945 |        0 |        0
1167.91/1168.10	c 1168s |      27 | 15923742 | 11637433 |     1256  23971 |        0 |        0
1169.91/1170.11	c 1170s |      27 | 15949091 | 11655133 |     1256  23999 |        0 |        0
1171.91/1172.11	c 1172s |      27 | 15974823 | 11672333 |     1256  24026 |        0 |        0
1173.91/1174.11	c 1174s |      27 | 16001088 | 11690833 |     1256  24054 |        0 |        0
1175.91/1176.12	c 1176s |      27 | 16028340 | 11710633 |     1256  24085 |        0 |        0
1177.92/1178.13	c 1178s |      27 | 16054587 | 11730233 |     1256  24115 |        0 |        0
1179.91/1180.14	c 1180s |      27 | 16080602 | 11749133 |     1256  24145 |        0 |        0
1181.91/1182.14	c 1182s |      27 | 16108246 | 11768533 |     1256  24175 |        0 |        0
1183.91/1184.15	c 1184s |      27 | 16135793 | 11788133 |     1256  24205 |        0 |        0
1185.91/1186.15	c 1186s |      27 | 16163374 | 11808033 |     1256  24236 |        0 |        0
1187.91/1188.16	c 1188s |      27 | 16187524 | 11826033 |     1256  24263 |        0 |        0
1189.91/1190.17	c 1190s |      27 | 16214509 | 11844833 |     1256  24292 |        0 |        0
1191.90/1192.18	c 1192s |      27 | 16240231 | 11863233 |     1256  24321 |        0 |        0
1193.90/1194.18	c 1194s |      27 | 16265235 | 11882333 |     1256  24350 |        0 |        0
1195.90/1196.19	c 1196s |      27 | 16290010 | 11901133 |     1256  24379 |        0 |        0
1198.00/1198.20	c 1198s |      27 | 16316678 | 11920433 |     1256  24409 |        0 |        0
1200.01/1200.20	c 1200s |      27 | 16344469 | 11940133 |     1256  24440 |        0 |        0
1202.00/1202.21	c 1202s |      27 | 16371076 | 11959133 |     1256  24469 |        0 |        0
1204.01/1204.22	c 1204s |      27 | 16397465 | 11978033 |     1256  24498 |        0 |        0
1206.01/1206.23	c 1206s |      27 | 16421972 | 11995833 |     1256  24525 |        0 |        0
1208.01/1208.23	c 1208s |      27 | 16448463 | 12014733 |     1256  24555 |        0 |        0
1210.01/1210.24	c 1210s |      27 | 16475234 | 12034133 |     1256  24584 |        0 |        0
1212.01/1212.25	c 1212s |      27 | 16500862 | 12052833 |     1256  24613 |        0 |        0
1214.00/1214.26	c 1214s |      27 | 16526270 | 12071233 |     1256  24641 |        0 |        0
1216.00/1216.26	c 1216s |      27 | 16552629 | 12090133 |     1256  24670 |        0 |        0
1218.00/1218.27	c 1218s |      27 | 16577682 | 12109033 |     1256  24700 |        0 |        0
1220.00/1220.28	c 1220s |      27 | 16605604 | 12129533 |     1256  24731 |        0 |        0
1222.01/1222.29	c 1222s |      27 | 16629924 | 12148233 |     1256  24760 |        0 |        0
1224.00/1224.30	c 1224s |      27 | 16652197 | 12165533 |     1256  24787 |        0 |        0
1226.10/1226.31	c 1226s |      27 | 16677291 | 12184633 |     1256  24817 |        0 |        0
1228.10/1228.32	c 1228s |      27 | 16703362 | 12203433 |     1256  24846 |        0 |        0
1230.11/1230.32	c 1230s |      27 | 16728377 | 12221133 |     1256  24873 |        0 |        0
1232.10/1232.33	c 1232s |      27 | 16753137 | 12239633 |     1256  24902 |        0 |        0
1234.11/1234.34	c 1234s |      27 | 16778012 | 12258533 |     1256  24931 |        0 |        0
1236.10/1236.34	c 1236s |      27 | 16801679 | 12276733 |     1256  24959 |        0 |        0
1238.10/1238.34	c 1238s |      27 | 16825539 | 12294733 |     1256  24987 |        0 |        0
1240.10/1240.35	c 1240s |      27 | 16850625 | 12313533 |     1256  25016 |        0 |        0
1242.10/1242.36	c 1242s |      27 | 16874903 | 12331733 |     1256  25044 |        0 |        0
1244.10/1244.36	c 1244s |      27 | 16903358 | 12351133 |     1256  25075 |        0 |        0
1246.11/1246.37	c 1246s |      27 | 16929131 | 12370333 |     1256  25104 |        0 |        0
1248.10/1248.38	c 1248s |      27 | 16953175 | 12388333 |     1256  25132 |        0 |        0
1250.10/1250.38	c 1250s |      27 | 16980303 | 12407133 |     1256  25162 |        0 |        0
1252.09/1252.39	c 1252s |      27 | 17003427 | 12424333 |     1256  25188 |        0 |        0
1254.19/1254.40	c 1254s |      27 | 17027200 | 12442333 |     1256  25217 |        0 |        0
1256.19/1256.40	c 1256s |      27 | 17051876 | 12461033 |     1256  25246 |        0 |        0
1258.09/1258.40	c 1258s |      27 | 17076225 | 12479333 |     1256  25274 |        0 |        0
1260.20/1260.41	c 1260s |      27 | 17100862 | 12498033 |     1256  25303 |        0 |        0
1262.20/1262.42	c 1262s |      27 | 17124819 | 12516233 |     1256  25332 |        0 |        0
1264.20/1264.42	c 1264s |      27 | 17150484 | 12534433 |     1256  25360 |        0 |        0
1266.20/1266.42	c 1266s |      27 | 17174646 | 12552633 |     1256  25389 |        0 |        0
1268.21/1268.43	c 1268s |      27 | 17200001 | 12571533 |     1256  25418 |        0 |        0
1270.20/1270.43	c 1270s |      27 | 17224929 | 12590333 |     1256  25447 |        0 |        0
1272.20/1272.44	c 1272s |      27 | 17251054 | 12609133 |     1256  25477 |        0 |        0
1274.20/1274.45	c 1274s |      27 | 17276813 | 12628333 |     1256  25506 |        0 |        0
1276.19/1276.45	c 1276s |      27 | 17299612 | 12645833 |     1256  25533 |        0 |        0
1278.19/1278.46	c 1278s |      27 | 17323376 | 12663633 |     1256  25560 |        0 |        0
1280.20/1280.46	c 1280s |      27 | 17348745 | 12682233 |     1256  25589 |        0 |        0
1282.19/1282.47	c 1282s |      27 | 17374352 | 12700833 |     1256  25618 |        0 |        0
1284.19/1284.48	c 1284s |      27 | 17397461 | 12718733 |     1256  25646 |        0 |        0
1286.19/1286.48	c 1286s |      27 | 17422147 | 12737333 |     1256  25674 |        0 |        0
1288.19/1288.48	c 1288s |      27 | 17448399 | 12756833 |     1256  25704 |        0 |        0
1290.19/1290.49	c 1290s |      27 | 17471958 | 12774333 |     1256  25731 |        0 |        0
1292.19/1292.50	c 1292s |      27 | 17493605 | 12791433 |     1256  25757 |        0 |        0
1294.30/1294.51	c 1294s |      27 | 17515993 | 12808833 |     1256  25784 |        0 |        0
1296.30/1296.52	c 1296s |      27 | 17539292 | 12826633 |     1256  25812 |        0 |        0
1298.29/1298.52	c 1298s |      27 | 17564561 | 12845233 |     1256  25841 |        0 |        0
1300.29/1300.53	c 1300s |      27 | 17587199 | 12862433 |     1256  25868 |        0 |        0
1302.30/1302.53	c 1302s |      27 | 17610488 | 12879933 |     1256  25895 |        0 |        0
1304.29/1304.54	c 1304s |      27 | 17633927 | 12897433 |     1256  25922 |        0 |        0
1306.29/1306.55	c 1306s |      27 | 17657687 | 12915333 |     1256  25950 |        0 |        0
1308.29/1308.55	c 1308s |      27 | 17680653 | 12933133 |     1256  25978 |        0 |        0
1310.29/1310.56	c 1310s |      27 | 17705331 | 12951433 |     1256  26007 |        0 |        0
1312.29/1312.57	c 1312s |      27 | 17730891 | 12970533 |     1256  26037 |        0 |        0
1314.29/1314.57	c 1314s |      27 | 17755003 | 12989033 |     1256  26066 |        0 |        0
1316.29/1316.57	c 1316s |      27 | 17781279 | 13007733 |     1256  26095 |        0 |        0
1318.28/1318.58	c 1318s |      27 | 17805905 | 13026033 |     1256  26123 |        0 |        0
1320.29/1320.58	c 1320s |      27 | 17831409 | 13044533 |     1256  26152 |        0 |        0
1322.29/1322.59	c 1322s |      27 | 17856377 | 13063133 |     1256  26181 |        0 |        0
1324.39/1324.60	c 1324s |      27 | 17881757 | 13081833 |     1256  26210 |        0 |        0
1326.29/1326.60	c 1326s |      27 | 17905526 | 13099833 |     1256  26238 |        0 |        0
1328.39/1328.61	c 1328s |      27 | 17929707 | 13117833 |     1256  26266 |        0 |        0
1330.39/1330.61	c 1330s |      27 | 17955673 | 13136533 |     1256  26296 |        0 |        0
1332.39/1332.62	c 1332s |      27 | 17982096 | 13155233 |     1256  26325 |        0 |        0
1334.39/1334.62	c 1334s |      27 | 18009663 | 13174333 |     1256  26355 |        0 |        0
1336.39/1336.62	c 1336s |      27 | 18034114 | 13192433 |     1256  26383 |        0 |        0
1338.39/1338.63	c 1338s |      27 | 18061302 | 13211433 |     1256  26413 |        0 |        0
1340.39/1340.64	c 1340s |      27 | 18085338 | 13230333 |     1256  26441 |        0 |        0
1342.38/1342.65	c 1342s |      27 | 18109423 | 13248933 |     1256  26470 |        0 |        0
1344.38/1344.66	c 1344s |      27 | 18132618 | 13266533 |     1256  26497 |        0 |        0
1346.38/1346.67	c 1346s |      27 | 18157401 | 13284633 |     1256  26526 |        0 |        0
1348.39/1348.68	c 1348s |      27 | 18180402 | 13301733 |     1256  26552 |        0 |        0
1350.38/1350.68	c 1350s |      27 | 18205152 | 13320933 |     1256  26582 |        0 |        0
1352.38/1352.68	c 1352s |      27 | 18230327 | 13339733 |     1256  26611 |        0 |        0
1354.38/1354.68	c 1354s |      27 | 18254184 | 13357933 |     1256  26640 |        0 |        0
1356.38/1356.69	c 1356s |      27 | 18280478 | 13376933 |     1256  26670 |        0 |        0
1358.48/1358.70	c 1358s |      27 | 18306877 | 13395833 |     1256  26699 |        0 |        0
1360.48/1360.71	c 1360s |      27 | 18332649 | 13415033 |     1256  26729 |        0 |        0
1362.48/1362.71	c 1362s |      27 | 18357676 | 13433533 |     1256  26758 |        0 |        0
1364.48/1364.72	c 1364s |      27 | 18383338 | 13452833 |     1256  26788 |        0 |        0
1366.49/1366.72	c 1366s |      27 | 18408993 | 13472133 |     1256  26818 |        0 |        0
1368.49/1368.73	c 1368s |      27 | 18435328 | 13491433 |     1256  26848 |        0 |        0
1370.49/1370.74	c 1370s |      27 | 18460388 | 13510133 |     1256  26877 |        0 |        0
1372.48/1372.75	c 1372s |      27 | 18483725 | 13528133 |     1256  26905 |        0 |        0
1374.48/1374.76	c 1374s |      27 | 18512275 | 13548733 |     1256  26937 |        0 |        0
1376.48/1376.77	c 1376s |      27 | 18537340 | 13567133 |     1256  26966 |        0 |        0
1378.48/1378.77	c 1378s |      27 | 18565429 | 13587433 |     1256  26997 |        0 |        0
1380.48/1380.77	c 1380s |      27 | 18588778 | 13605533 |     1256  27025 |        0 |        0
1382.48/1382.78	c 1382s |      27 | 18614186 | 13623933 |     1256  27053 |        0 |        0
1384.48/1384.79	c 1384s |      27 | 18636955 | 13641333 |     1256  27080 |        0 |        0
1386.48/1386.79	c 1386s |      27 | 18662018 | 13659733 |     1256  27109 |        0 |        0
1388.48/1388.79	c 1388s |      27 | 18686877 | 13678133 |     1256  27137 |        0 |        0
1390.58/1390.80	c 1390s |      27 | 18708962 | 13695133 |     1256  27163 |        0 |        0
1392.58/1392.80	c 1392s |      27 | 18731907 | 13712233 |     1256  27189 |        0 |        0
1394.58/1394.81	c 1394s |      27 | 18756592 | 13730733 |     1256  27218 |        0 |        0
1396.57/1396.81	c 1396s |      27 | 18781572 | 13749333 |     1256  27246 |        0 |        0
1398.57/1398.82	c 1398s |      27 | 18805061 | 13767533 |     1256  27274 |        0 |        0
1400.57/1400.82	c 1400s |      27 | 18831055 | 13786233 |     1256  27303 |        0 |        0
1402.58/1402.83	c 1402s |      27 | 18856847 | 13805133 |     1256  27332 |        0 |        0
1404.59/1404.84	c 1404s |      27 | 18880786 | 13823033 |     1256  27360 |        0 |        0
1406.58/1406.85	c 1406s |      27 | 18902206 | 13838933 |     1256  27384 |        0 |        0
1408.58/1408.86	c 1408s |      27 | 18920601 | 13853233 |     1256  27406 |        0 |        0
1410.58/1410.86	c 1410s |      27 | 18942276 | 13869733 |     1256  27432 |        0 |        0
1412.58/1412.87	c 1412s |      27 | 18966679 | 13887233 |     1256  27459 |        0 |        0
1414.58/1414.87	c 1414s |      27 | 18989148 | 13903933 |     1256  27484 |        0 |        0
1416.58/1416.88	c 1416s |      27 | 19014501 | 13922233 |     1256  27512 |        0 |        0
1418.58/1418.89	c 1418s |      27 | 19038671 | 13940133 |     1256  27540 |        0 |        0
1420.68/1420.90	c 1420s |      27 | 19064015 | 13958133 |     1256  27568 |        0 |        0
1422.67/1422.91	c 1422s |      27 | 19089649 | 13976133 |     1256  27596 |        0 |        0
1424.67/1424.91	c 1424s |      27 | 19116991 | 13995433 |     1256  27626 |        0 |        0
1426.67/1426.92	c 1426s |      27 | 19142826 | 14014233 |     1256  27655 |        0 |        0
1428.68/1428.93	c 1428s |      27 | 19167494 | 14032633 |     1256  27683 |        0 |        0
1430.67/1430.93	c 1430s |      27 | 19191660 | 14050433 |     1256  27711 |        0 |        0
1432.67/1432.94	c 1432s |      27 | 19216638 | 14068333 |     1256  27739 |        0 |        0
1434.67/1434.95	c 1434s |      27 | 19242932 | 14087733 |     1256  27768 |        0 |        0
1436.67/1436.95	c 1436s |      27 | 19268818 | 14106433 |     1256  27797 |        0 |        0
1438.68/1438.96	c 1438s |      27 | 19291999 | 14124133 |     1256  27824 |        0 |        0
1440.67/1440.97	c 1440s |      27 | 19315132 | 14142233 |     1256  27852 |        0 |        0
1442.67/1442.97	c 1442s |      27 | 19335608 | 14158733 |     1256  27878 |        0 |        0
1444.67/1444.98	c 1444s |      27 | 19358364 | 14176233 |     1256  27905 |        0 |        0
1446.67/1446.98	c 1446s |      27 | 19382907 | 14194533 |     1256  27933 |        0 |        0
1448.67/1448.99	c 1448s |      27 | 19407178 | 14212233 |     1256  27960 |        0 |        0
1450.67/1450.99	c 1450s |      27 | 19431442 | 14230033 |     1256  27987 |        0 |        0
1452.67/1452.99	c 1452s |      27 | 19457354 | 14249233 |     1256  28017 |        0 |        0
1454.77/1455.01	c 1454s |      27 | 19482838 | 14268433 |     1256  28047 |        0 |        0
1456.77/1457.01	c 1456s |      27 | 19505631 | 14285733 |     1256  28073 |        0 |        0
1458.76/1459.02	c 1459s |      27 | 19529508 | 14304033 |     1256  28102 |        0 |        0
1460.76/1461.02	c 1461s |      27 | 19551544 | 14320533 |     1256  28128 |        0 |        0
1462.77/1463.02	c 1463s |      27 | 19573791 | 14337233 |     1256  28154 |        0 |        0
1464.76/1465.03	c 1465s |      27 | 19599053 | 14355833 |     1256  28183 |        0 |        0
1466.76/1467.04	c 1467s |      27 | 19624473 | 14374633 |     1256  28212 |        0 |        0
1468.76/1469.04	c 1469s |      27 | 19648808 | 14393033 |     1256  28241 |        0 |        0
1470.76/1471.04	c 1471s |      27 | 19672705 | 14411433 |     1256  28270 |        0 |        0
1472.77/1473.05	c 1473s |      27 | 19694800 | 14428533 |     1256  28296 |        0 |        0
1474.77/1475.06	c 1475s |      27 | 19717167 | 14445033 |     1256  28322 |        0 |        0
1476.77/1477.07	c 1477s |      27 | 19739849 | 14462033 |     1256  28348 |        0 |        0
1478.76/1479.07	c 1479s |      27 | 19762462 | 14478833 |     1256  28374 |        0 |        0
1480.76/1481.08	c 1481s |      27 | 19782431 | 14494333 |     1256  28398 |        0 |        0
1482.76/1483.10	c 1483s |      27 | 19804826 | 14511133 |     1256  28425 |        0 |        0
1484.87/1485.10	c 1485s |      27 | 19827793 | 14528333 |     1256  28451 |        0 |        0
1486.86/1487.12	c 1487s |      27 | 19846512 | 14543333 |     1256  28475 |        0 |        0
1488.86/1489.13	c 1489s |      27 | 19869394 | 14560533 |     1256  28501 |        0 |        0
1490.86/1491.14	c 1491s |      27 | 19892089 | 14577833 |     1256  28528 |        0 |        0
1492.86/1493.14	c 1493s |      27 | 19915202 | 14595233 |     1256  28555 |        0 |        0
1494.86/1495.14	c 1495s |      27 | 19939270 | 14612833 |     1256  28582 |        0 |        0
1496.87/1497.15	c 1497s |      27 | 19963706 | 14630633 |     1256  28610 |        0 |        0
1498.86/1499.16	c 1499s |      27 | 19989043 | 14649033 |     1256  28639 |        0 |        0
1500.86/1501.16	c 1501s |      27 | 20011824 | 14666433 |     1256  28666 |        0 |        0
1502.86/1503.18	c 1503s |      27 | 20034184 | 14683033 |     1256  28692 |        0 |        0
1504.86/1505.18	c 1505s |      27 | 20057573 | 14700033 |     1256  28718 |        0 |        0
1506.87/1507.19	c 1507s |      27 | 20080108 | 14717133 |     1256  28745 |        0 |        0
1508.86/1509.19	c 1509s |      27 | 20102106 | 14734233 |     1256  28771 |        0 |        0
1510.96/1511.20	c 1511s |      27 | 20124798 | 14751733 |     1256  28799 |        0 |        0
1512.96/1513.21	c 1513s |      27 | 20149309 | 14769833 |     1256  28827 |        0 |        0
1514.96/1515.21	c 1515s |      27 | 20173263 | 14788233 |     1256  28855 |        0 |        0
1516.96/1517.21	c 1517s |      27 | 20198205 | 14806133 |     1256  28883 |        0 |        0
1518.97/1519.22	c 1519s |      27 | 20221464 | 14823233 |     1256  28910 |        0 |        0
1520.96/1521.22	c 1521s |      27 | 20245847 | 14840533 |     1256  28937 |        0 |        0
1522.96/1523.23	c 1523s |      27 | 20267850 | 14856533 |     1256  28961 |        0 |        0
1524.96/1525.24	c 1525s |      27 | 20288943 | 14872133 |     1256  28985 |        0 |        0
1526.96/1527.24	c 1527s |      27 | 20313728 | 14890033 |     1256  29013 |        0 |        0
1528.96/1529.25	c 1529s |      27 | 20337912 | 14907433 |     1256  29040 |        0 |        0
1530.96/1531.26	c 1531s |      27 | 20362482 | 14926033 |     1256  29068 |        0 |        0
1532.96/1533.26	c 1533s |      27 | 20384874 | 14943533 |     1256  29096 |        0 |        0
1534.95/1535.27	c 1535s |      27 | 20406684 | 14960633 |     1256  29122 |        0 |        0
1536.95/1537.27	c 1537s |      27 | 20430131 | 14978333 |     1256  29149 |        0 |        0
1538.95/1539.28	c 1539s |      27 | 20453874 | 14995933 |     1256  29176 |        0 |        0
1540.96/1541.28	c 1541s |      27 | 20478524 | 15013933 |     1256  29204 |        0 |        0
1542.96/1543.29	c 1543s |      27 | 20500205 | 15030233 |     1256  29229 |        0 |        0
1545.06/1545.30	c 1545s |      27 | 20520900 | 15046133 |     1256  29254 |        0 |        0
1547.06/1547.30	c 1547s |      27 | 20543376 | 15063133 |     1256  29280 |        0 |        0
1549.06/1549.31	c 1549s |      27 | 20566123 | 15079833 |     1256  29306 |        0 |        0
1551.06/1551.32	c 1551s |      27 | 20586967 | 15096133 |     1256  29332 |        0 |        0
1553.06/1553.34	c 1553s |      27 | 20609175 | 15112833 |     1256  29357 |        0 |        0
1555.06/1555.34	c 1555s |      27 | 20634148 | 15130533 |     1256  29385 |        0 |        0
1557.06/1557.35	c 1557s |      27 | 20659443 | 15149533 |     1256  29414 |        0 |        0
1559.06/1559.35	c 1559s |      27 | 20685516 | 15168133 |     1256  29443 |        0 |        0
1561.05/1561.36	c 1561s |      27 | 20709159 | 15185933 |     1256  29471 |        0 |        0
1563.05/1563.36	c 1563s |      27 | 20733910 | 15203933 |     1256  29499 |        0 |        0
1565.06/1565.36	c 1565s |      27 | 20758539 | 15222433 |     1256  29527 |        0 |        0
1567.05/1567.37	c 1567s |      27 | 20785275 | 15241733 |     1256  29557 |        0 |        0
1569.05/1569.38	c 1569s |      27 | 20809861 | 15259833 |     1256  29585 |        0 |        0
1571.05/1571.38	c 1571s |      27 | 20832763 | 15277033 |     1256  29612 |        0 |        0
1573.15/1573.40	c 1573s |      27 | 20857148 | 15294433 |     1256  29639 |        0 |        0
1575.15/1575.40	c 1575s |      27 | 20875585 | 15309533 |     1256  29663 |        0 |        0
1577.05/1577.40	c 1577s |      27 | 20896770 | 15325933 |     1256  29688 |        0 |        0
1579.15/1579.41	c 1579s |      27 | 20919948 | 15342733 |     1256  29715 |        0 |        0
1581.15/1581.42	c 1581s |      27 | 20944049 | 15359933 |     1256  29741 |        0 |        0
1583.15/1583.43	c 1583s |      27 | 20969370 | 15378333 |     1256  29769 |        0 |        0
1585.15/1585.44	c 1585s |      27 | 20988849 | 15393533 |     1256  29793 |        0 |        0
1587.15/1587.44	c 1587s |      27 | 21010025 | 15409833 |     1256  29818 |        0 |        0
1589.14/1589.45	c 1589s |      27 | 21035582 | 15428333 |     1256  29847 |        0 |        0
1591.14/1591.46	c 1591s |      27 | 21059501 | 15446333 |     1256  29874 |        0 |        0
1593.14/1593.46	c 1593s |      27 | 21084905 | 15464633 |     1256  29903 |        0 |        0
1595.14/1595.47	c 1595s |      27 | 21108460 | 15481833 |     1256  29929 |        0 |        0
1597.14/1597.47	c 1597s |      27 | 21132421 | 15500033 |     1256  29958 |        0 |        0
1599.15/1599.48	c 1599s |      27 | 21159087 | 15518533 |     1256  29986 |        0 |        0
1601.14/1601.48	c 1601s |      27 | 21181903 | 15535533 |     1256  30013 |        0 |        0
1603.14/1603.49	c 1603s |      27 | 21205023 | 15552833 |     1256  30039 |        0 |        0
1605.14/1605.49	c 1605s |      27 | 21230855 | 15571233 |     1256  30067 |        0 |        0
1607.25/1607.50	c 1607s |      27 | 21255286 | 15589333 |     1256  30096 |        0 |        0
1609.25/1609.51	c 1609s |      27 | 21277941 | 15606133 |     1256  30122 |        0 |        0
1611.25/1611.52	c 1611s |      27 | 21299550 | 15622533 |     1256  30147 |        0 |        0
1613.25/1613.52	c 1613s |      27 | 21322240 | 15639333 |     1256  30173 |        0 |        0
1615.25/1615.53	c 1615s |      27 | 21346628 | 15657333 |     1256  30201 |        0 |        0
1617.25/1617.54	c 1617s |      27 | 21370832 | 15675233 |     1256  30229 |        0 |        0
1619.24/1619.55	c 1619s |      27 | 21393896 | 15692833 |     1256  30256 |        0 |        0
1621.25/1621.56	c 1621s |      27 | 21416192 | 15710033 |     1256  30282 |        0 |        0
1623.24/1623.57	c 1623s |      27 | 21442220 | 15728933 |     1256  30312 |        0 |        0
1625.24/1625.57	c 1625s |      27 | 21465980 | 15746133 |     1256  30338 |        0 |        0
1627.24/1627.58	c 1627s |      27 | 21489553 | 15763533 |     1256  30365 |        0 |        0
1629.24/1629.58	c 1629s |      27 | 21511802 | 15780833 |     1256  30392 |        0 |        0
1631.24/1631.59	c 1631s |      27 | 21533981 | 15797633 |     1256  30418 |        0 |        0
1633.25/1633.60	c 1633s |      27 | 21556057 | 15814133 |     1256  30443 |        0 |        0
1635.34/1635.61	c 1635s |      27 | 21582577 | 15832833 |     1256  30472 |        0 |        0
1637.34/1637.62	c 1637s |      27 | 21604988 | 15849633 |     1256  30498 |        0 |        0
1639.34/1639.62	c 1639s |      27 | 21630408 | 15867233 |     1256  30525 |        0 |        0
1641.34/1641.62	c 1641s |      27 | 21653995 | 15884733 |     1256  30552 |        0 |        0
1643.34/1643.63	c 1643s |      27 | 21676265 | 15901833 |     1256  30579 |        0 |        0
1645.34/1645.63	c 1645s |      27 | 21702574 | 15920833 |     1256  30609 |        0 |        0
1647.33/1647.63	c 1647s |      27 | 21727699 | 15939233 |     1256  30637 |        0 |        0
1649.33/1649.64	c 1649s |      27 | 21753977 | 15958133 |     1256  30667 |        0 |        0
1651.33/1651.64	c 1651s |      27 | 21779226 | 15976433 |     1256  30695 |        0 |        0
1653.33/1653.65	c 1653s |      27 | 21802968 | 15993633 |     1256  30722 |        0 |        0
1655.34/1655.65	c 1655s |      27 | 21823765 | 16009633 |     1256  30747 |        0 |        0
1657.33/1657.65	c 1657s |      27 | 21846697 | 16027033 |     1256  30774 |        0 |        0
1659.33/1659.66	c 1659s |      27 | 21872459 | 16045433 |     1256  30803 |        0 |        0
1661.33/1661.67	c 1661s |      27 | 21895842 | 16063233 |     1256  30831 |        0 |        0
1663.33/1663.68	c 1663s |      27 | 21919274 | 16080733 |     1256  30858 |        0 |        0
1665.33/1665.68	c 1665s |      27 | 21945206 | 16099633 |     1256  30888 |        0 |        0
1667.34/1667.69	c 1667s |      27 | 21970305 | 16118533 |     1256  30917 |        0 |        0
1669.43/1669.70	c 1669s |      27 | 21994266 | 16136633 |     1256  30945 |        0 |        0
1671.44/1671.70	c 1671s |      27 | 22020353 | 16155033 |     1256  30974 |        0 |        0
1673.44/1673.71	c 1673s |      27 | 22045448 | 16173233 |     1256  31003 |        0 |        0
1675.43/1675.72	c 1675s |      27 | 22070225 | 16191233 |     1256  31031 |        0 |        0
1677.43/1677.72	c 1677s |      27 | 22094066 | 16208733 |     1256  31058 |        0 |        0
1679.44/1679.73	c 1679s |      27 | 22118007 | 16225933 |     1256  31085 |        0 |        0
1681.43/1681.74	c 1681s |      27 | 22141479 | 16243233 |     1256  31111 |        0 |        0
1683.43/1683.74	c 1683s |      27 | 22164589 | 16260233 |     1256  31138 |        0 |        0
1685.43/1685.75	c 1685s |      27 | 22186732 | 16276533 |     1256  31163 |        0 |        0
1687.43/1687.76	c 1687s |      27 | 22210094 | 16294033 |     1256  31190 |        0 |        0
1689.44/1689.76	c 1689s |      27 | 22233868 | 16310933 |     1256  31216 |        0 |        0
1691.43/1691.77	c 1691s |      27 | 22257577 | 16328233 |     1256  31243 |        0 |        0
1693.43/1693.78	c 1693s |      27 | 22281842 | 16345833 |     1256  31271 |        0 |        0
1695.43/1695.79	c 1695s |      27 | 22308606 | 16364933 |     1256  31301 |        0 |        0
1697.53/1697.80	c 1697s |      27 | 22333395 | 16383133 |     1256  31329 |        0 |        0
1699.53/1699.80	c 1699s |      27 | 22357650 | 16400933 |     1256  31357 |        0 |        0
1701.53/1701.81	c 1701s |      27 | 22383000 | 16419433 |     1256  31386 |        0 |        0
1703.53/1703.81	c 1703s |      27 | 22408805 | 16437933 |     1256  31414 |        0 |        0
1705.52/1705.82	c 1705s |      27 | 22434670 | 16456733 |     1256  31444 |        0 |        0
1707.52/1707.82	c 1707s |      27 | 22462088 | 16475833 |     1256  31473 |        0 |        0
1709.53/1709.82	c 1709s |      27 | 22487279 | 16494633 |     1256  31503 |        0 |        0
1711.53/1711.82	c 1711s |      27 | 22516718 | 16514633 |     1256  31534 |        0 |        0
1713.54/1713.83	c 1713s |      27 | 22542899 | 16533533 |     1256  31564 |        0 |        0
1715.53/1715.83	c 1715s |      27 | 22569166 | 16552133 |     1256  31593 |        0 |        0
1717.53/1717.84	c 1717s |      27 | 22596679 | 16572033 |     1256  31624 |        0 |        0
1719.53/1719.85	c 1719s |      27 | 22623581 | 16591633 |     1256  31654 |        0 |        0
1721.53/1721.86	c 1721s |      27 | 22647286 | 16609733 |     1256  31682 |        0 |        0
1723.53/1723.86	c 1723s |      27 | 22672190 | 16627833 |     1256  31711 |        0 |        0
1725.53/1725.86	c 1725s |      27 | 22696467 | 16646033 |     1256  31739 |        0 |        0
1727.53/1727.87	c 1727s |      27 | 22724489 | 16666133 |     1256  31770 |        0 |        0
1729.53/1729.87	c 1729s |      27 | 22749829 | 16685133 |     1256  31799 |        0 |        0
1731.52/1731.88	c 1731s |      27 | 22773378 | 16702633 |     1256  31826 |        0 |        0
1733.52/1733.88	c 1733s |      27 | 22796744 | 16719733 |     1256  31853 |        0 |        0
1735.53/1735.89	c 1735s |      27 | 22820556 | 16737333 |     1256  31881 |        0 |        0
1737.52/1737.89	c 1737s |      27 | 22844726 | 16754633 |     1256  31907 |        0 |        0
1739.62/1739.90	c 1739s |      27 | 22869447 | 16772833 |     1256  31935 |        0 |        0
1741.62/1741.90	c 1741s |      27 | 22892129 | 16789933 |     1256  31962 |        0 |        0
1743.62/1743.91	c 1743s |      27 | 22915705 | 16807533 |     1256  31990 |        0 |        0
1745.62/1745.92	c 1745s |      27 | 22935284 | 16823133 |     1256  32014 |        0 |        0
1747.62/1747.93	c 1747s |      27 | 22956695 | 16839833 |     1256  32040 |        0 |        0
1749.61/1749.93	c 1749s |      27 | 22981592 | 16857633 |     1256  32068 |        0 |        0
1751.61/1751.94	c 1751s |      27 | 23003359 | 16873933 |     1256  32093 |        0 |        0
1753.61/1753.94	c 1753s |      27 | 23025521 | 16890433 |     1256  32119 |        0 |        0
1755.61/1755.94	c 1755s |      27 | 23049429 | 16908133 |     1256  32146 |        0 |        0
1757.62/1757.95	c 1757s |      27 | 23073099 | 16925833 |     1256  32174 |        0 |        0
1759.60/1759.95	c 1759s |      27 | 23102219 | 16945733 |     1256  32205 |        0 |        0
1761.61/1761.95	c 1761s |      27 | 23129758 | 16964933 |     1256  32235 |        0 |        0
1763.61/1763.95	c 1763s |      27 | 23153247 | 16982233 |     1382  32260 |        0 |        0
1765.61/1765.96	c 1765s |      27 | 23179418 | 17000833 |     1382  32287 |        0 |        0
1767.61/1767.96	c 1767s |      27 | 23206517 | 17019333 |     1382  32313 |        0 |        0
1769.61/1769.96	c 1769s |      27 | 23232284 | 17037933 |     1382  32339 |        0 |        0
1771.60/1771.97	c 1771s |      27 | 23255135 | 17054933 |     1382  32363 |        0 |        0
1773.60/1773.97	c 1773s |      27 | 23276877 | 17071133 |     1382  32386 |        0 |        0
1775.60/1775.97	c 1775s |      27 | 23301264 | 17088333 |     1382  32411 |        0 |        0
1776.50/1776.81	c 1776s |      28 | 23310727 | 17095205 |     1382  32421 |        0 |        0
1778.51/1778.81	c 1778s |      28 | 23335419 | 17114105 |     1382  32447 |        0 |        0
1780.50/1780.82	c 1780s |      28 | 23359325 | 17132705 |     1382  32473 |        0 |        0
1782.50/1782.83	c 1782s |      28 | 23383663 | 17151405 |     1382  32498 |        0 |        0
1784.49/1784.83	c 1784s |      28 | 23409703 | 17170705 |     1382  32525 |        0 |        0
1786.49/1786.84	c 1786s |      28 | 23433359 | 17188805 |     1382  32550 |        0 |        0
1788.49/1788.84	c 1788s |      28 | 23456779 | 17206905 |     1382  32575 |        0 |        0
1790.49/1790.85	c 1790s |      28 | 23481199 | 17225705 |     1382  32601 |        0 |        0
1792.49/1792.85	c 1792s |      28 | 23505740 | 17244505 |     1382  32626 |        0 |        0
1794.49/1794.87	c 1794s |      28 | 23530629 | 17262905 |     1382  32652 |        0 |        0
1796.49/1796.88	c 1796s |      28 | 23553514 | 17280405 |     1382  32676 |        0 |        0
1798.48/1798.88	c 1798s |      28 | 23578204 | 17299105 |     1382  32702 |        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-4095861-1466098149/watcher-4095861-1466098149 -o /tmp/evaluation-result-4095861-1466098149/solver-4095861-1466098149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16013 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095861-1466098149.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=617916 CPUtime=0 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 2285 0 0 0 0 0 0 0 20 0 4 0 11862016 632745984 3157 33554432000 4194304 16246674 140733929820416 140733929819840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 155247 3165 441 2943 0 152141 0
[pid=16041/tid=16043] ppid=16035 vsize=635324 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 650571776 3225 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 655814656 3242 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 660008960 3259 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100204 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 24552 0 0 0 6 3 0 0 20 0 4 0 11862016 1247350784 25413 33554432000 4194304 16246674 140733929820416 140733929819840 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 304529 25423 708 2943 0 301423 0
[pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25432 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25438 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25443 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 47793 0 0 0 12 7 0 0 20 0 4 0 11862016 1247350784 48655 33554432000 4194304 16246674 140733929820416 140733929819840 5707858 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 304529 48668 708 2943 0 301423 0
[pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48673 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48680 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 48688 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300505 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 69940 0 0 0 20 9 0 0 20 0 4 0 11862016 1247350784 70802 33554432000 4194304 16246674 140733929820416 140733929819840 13192951 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 304529 70808 708 2943 0 301423 0
[pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70814 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70823 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70828 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700442 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 159246 0 0 0 47 22 0 0 20 0 4 0 11862016 1247350784 160108 33554432000 4194304 16246674 140733929820416 140733929803416 13194067 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 304529 160117 708 2943 0 301423 0
[pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160124 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160132 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 160139 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 1.20 1.81 2.03 4/183 16049
/proc/meminfo: memFree=28245220/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 245508 0 0 0 115 34 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140733929819728 5667184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 304529 246349 783 2943 0 301423 0
[pid=16041/tid=16043] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 246349 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10044 s]
/proc/loadavg: 1.20 1.81 2.03 4/183 16049
/proc/meminfo: memFree=28069512/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267377 0 0 0 271 37 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140733929802304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268218 783 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268218 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 1.26 1.81 2.03 5/183 16049
/proc/meminfo: memFree=28067676/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267477 0 0 0 591 38 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140733929802304 5523536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268318 783 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268318 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.32 1.82 2.03 4/183 16049
/proc/meminfo: memFree=28068076/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267490 0 0 0 1231 38 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140733929802304 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268331 785 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268331 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.47 1.83 2.03 4/183 16049
/proc/meminfo: memFree=28068652/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267563 0 0 0 2510 38 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140733929803416 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268404 785 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268404 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.77 1.87 2.04 4/183 16049
/proc/meminfo: memFree=28068684/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267565 0 0 0 5069 39 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140733929803416 5830005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268406 786 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.07 1.93 2.05 4/184 16053
/proc/meminfo: memFree=28068292/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 267565 0 0 0 10188 40 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140733929803416 5994097 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 326545 268406 786 2943 0 323439 0
[pid=16041/tid=16043] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 268406 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/184 16083
/proc/meminfo: memFree=28061364/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1302.09 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268074 0 0 0 130137 72 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140733929802304 5677899 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268915 786 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268915 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 16085
/proc/meminfo: memFree=28061280/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1362.08 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 136135 73 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268916 787 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.13 2.18 2.17 4/182 16086
/proc/meminfo: memFree=28062056/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1422.08 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 142133 75 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268916 787 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.36 2.22 2.19 5/183 16088
/proc/meminfo: memFree=28061844/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1482.06 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268075 0 0 0 148130 76 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140733929802304 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268916 787 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268916 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.30 2.22 2.19 4/183 16089
/proc/meminfo: memFree=28061252/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1542.06 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 154129 77 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929803416 5516226 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268917 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/183 16090
/proc/meminfo: memFree=28060904/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1602.04 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 160126 78 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929803416 5722275 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268917 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/183 16092
/proc/meminfo: memFree=28059808/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1662.03 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 166124 79 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929802304 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268917 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/183 16093
/proc/meminfo: memFree=28059792/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1722.03 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268076 0 0 0 172122 81 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140733929802304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268917 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268917 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.20 4/183 16094
/proc/meminfo: memFree=28058912/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1782 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268114 0 0 0 178118 82 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140733929802304 5717724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268920 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.38 2.29 2.20 4/183 16094
/proc/meminfo: memFree=28058880/32872528 swapFree=17100/1797424
[pid=16041] ppid=16035 vsize=1308228 CPUtime=1800.08 cores=1,3,5,7
/proc/16041/stat : 16041 (toysat) R 16035 16041 15996 0 -1 4202496 268130 0 0 0 179926 82 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140733929803416 12874809 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16041/statm: 327057 268920 788 2943 0 323951 0
[pid=16041/tid=16043] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (toysat) S 16035 16041 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372778921200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16041/tid=16045] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (toysat) S 16035 16041 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372768431344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16041/tid=16047] ppid=16035 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (toysat) S 16035 16041 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268920 33554432000 4194304 16246674 140733929820416 140372684565680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16041 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.46
CPU time (s): 1800.15
CPU user time (s): 1799.27
CPU system time (s): 0.878866
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.878866
maximum resident set size= 1075680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268130
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= 71
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96309 second user time and 8.68368 second system time

The end

Begin job on node123 at 2016-06-16 19:29:09
IDJOB=4095861
IDBENCH=107532
IDSOLVER=2542
FILE ID=node123/4095861-1466098149
RUNJOBID= node123-1466098149-16013
PBS_JOBID= 19904045
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= b946ab6c9bd4c6a96b37e1556018149e
RANDOM SEED=510169253

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        30213848 kB
Buffers:           36240 kB
Cached:           119104 kB
SwapCached:         2184 kB
Active:            88624 kB
Inactive:          69008 kB
Active(anon):       3908 kB
Inactive(anon):     1392 kB
Active(file):      84716 kB
Inactive(file):    67616 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:       1799192 kB
Mapped:             6836 kB
Shmem:                 0 kB
Slab:             568248 kB
SReclaimable:      12728 kB
SUnreclaim:       555520 kB
KernelStack:        1360 kB
PageTables:         8132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1893832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node123 at 2016-06-16 19:59:09