0.00/0.00	c 2016-06-16T19:41:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4095924-1466098910.opb"]
0.00/0.01	c use --random-gen="3355063718 4027633505 1779811311 1299932258 3215966757 519822224 793432946 3311968905 1525370403 694560531 229178455 587676175 1663593512 520296759 2957566691 1184835968 2412147512 1647055252 2501400137 2972553579 1641905403 3573150844 2495306315 1801689511 1420180322 3223826753 981091081 868686170 3840453119 1981851379 656124542 1715327107 1527573425 343502198 3644852493 3114301380 823620487 1414522347 319932307 1335078433 2719375280 3774966567 788611211 3300765401 2331014777 364656855 3676600321 1058527999 4042495347 1311853695 4007242582 4022737203 3456926790 3049914217 1802262401 643344782 2018011911 2927683423 4128819133 1287007097 1341195356 3432735031 1637331319 376208052 471911344 2870287008 3806972189 632257678 152526788 2315412756 1192009421 1582111102 2038463300 483175229 3613033936 3570991831 2396437240 3649067851 2528326790 1400761923 947812028 3825997025 1478423941 2350150363 2402512418 431326124 498344630 2578567632 1373065942 3204159170 2892830861 930934709 502677854 1464618646 3298246761 780826476 1408541877 3280541119 2923869707 3692816055 1212274282 2359385772 1974927578 1342001735 4180996613 3647423647 1477318325 3985356237 2083263818 4011276105 2329751208 1256703992 4235941974 1635785135 3335962785 4025415195 284520860 3867056296 2196572839 3758329458 2287570135 3738406720 2170524047 1841034036 1454135342 1862426988 1271449925 3442385976 3395922549 4158340190 3414753618 4190373563 181249370 3503657728 122195639 3550257844 1113321116 20255206 230116225 555821112 993844374 948244694 725341415 2360240616 6358579 1808596641 2405158194 748193416 925267013 2026773603 3669599038 1357910818 2989818554 4251446858 2719032564 2079907144 3856378421 2038976850 1874806784 2328553714 369953919 3478546855 796024935 3128518257 664341641 1649504096 3541737404 2855122665 4173259253 4100460329 3399315887 3379574543 569524931 369322962 1574761399 597615304 1167037422 642868345 2591971519 1069677602 2307005636 1130200287 1202568525 36718828 3585895224 2513244044 1646103964 3071792738 1239264980 3796543879 2771722301 2993551672 2922160131 2028833867 3133721975 1966349104 919748388 2648399943 491449190 4209871609 1421725793 597665470 271901067 486356240 4003469942 1444227136 1065154078 800773602 4167018354 2358929288 156493199 3196589607 244493630 2907051661 380094538 3097890012 4125678665 300239917 2724462123 792371709 3428882116 2243383978 2004934589 353330224 4018179999 3529338874 3724440305 2707627320 1962677269 3319400405 170780055 4032096150 4178780683 40222914 3351801464 3761500436 3286244577 3203153279 2270080018 2009250117 1582179502 2198151142 4199803878 1223514029 447095666 1282086348 560113122 864472278 835930700 1524669022 3084765369 1510510609 392613770 2595001570 2522658237 21601485 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 |      120      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      168 |      100 |      120      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      397 |      250 |      132      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      832 |      475 |      146      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1435 |      813 |      161      5 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2138 |     1320 |      178      9 |        0 |        0
0.18/0.28	c  0.3s |       6 |     3082 |     2081 |      216     14 |        0 |        0
0.39/0.43	c  0.4s |       7 |     4435 |     3223 |      238     21 |        0 |        0
0.69/0.70	c  0.7s |       8 |     6731 |     4936 |      262     32 |        0 |        0
0.99/1.07	c  1.1s |       9 |    10813 |     7506 |      289     47 |        0 |        0
1.39/1.48	c  1.5s |      10 |    16210 |    11361 |      318     68 |        0 |        0
2.09/2.17	c  2.2s |      11 |    23465 |    17144 |      350     98 |        0 |        0
3.09/3.15	c  3.1s |      12 |    34613 |    25819 |      386    140 |        0 |        0
4.59/4.65	c  4.6s |      13 |    52188 |    38832 |      425    199 |        0 |        0
6.59/6.65	c  6.6s |      13 |    73088 |    54832 |      425    264 |        0 |        0
6.99/7.08	c  7.1s |      14 |    77702 |    58352 |      468    278 |        0 |        0
8.99/9.08	c  9.1s |      14 |   102170 |    75252 |      468    343 |        0 |        0
10.49/10.50	c 10.5s |      15 |   119068 |    87632 |      515    389 |        0 |        0
12.49/12.51	c 12.5s |      15 |   139228 |   103132 |      515    443 |        0 |        0
14.48/14.51	c 14.5s |      15 |   158317 |   117832 |      515    495 |        0 |        0
16.28/16.38	c 16.4s |      16 |   175854 |   131552 |      567    543 |        0 |        0
18.28/18.38	c 18.4s |      16 |   194810 |   147152 |      567    593 |        0 |        0
20.28/20.39	c 20.4s |      16 |   216312 |   163952 |      567    647 |        0 |        0
22.28/22.39	c 22.4s |      16 |   235212 |   179952 |      567    698 |        0 |        0
24.38/24.40	c 24.4s |      16 |   254714 |   195952 |      567    749 |        0 |        0
24.58/24.60	c 24.6s |      17 |   256430 |   197432 |      624    753 |        0 |        0
26.58/26.61	c 26.6s |      17 |   276674 |   213432 |      624    800 |        0 |        0
28.59/28.61	c 28.6s |      17 |   295714 |   229132 |      624    845 |        0 |        0
30.58/30.62	c 30.6s |      17 |   315584 |   245132 |      624    892 |        0 |        0
32.58/32.63	c 32.6s |      17 |   335970 |   261332 |      624    939 |        0 |        0
34.58/34.63	c 34.6s |      17 |   353992 |   276532 |      624    983 |        0 |        0
36.58/36.64	c 36.6s |      17 |   371303 |   291132 |      624   1026 |        0 |        0
37.28/37.37	c 37.4s |      18 |   377355 |   296252 |      687   1040 |        0 |        0
39.28/39.37	c 39.4s |      18 |   394271 |   310352 |      687   1078 |        0 |        0
41.28/41.37	c 41.4s |      18 |   409907 |   323852 |      687   1114 |        0 |        0
43.28/43.38	c 43.4s |      18 |   426932 |   338352 |      687   1152 |        0 |        0
45.29/45.39	c 45.4s |      18 |   443657 |   352552 |      687   1190 |        0 |        0
47.29/47.40	c 47.4s |      18 |   460746 |   366852 |      687   1229 |        0 |        0
49.39/49.40	c 49.4s |      18 |   477413 |   380952 |      687   1266 |        0 |        0
51.38/51.41	c 51.4s |      18 |   494499 |   394952 |      687   1304 |        0 |        0
53.38/53.42	c 53.4s |      18 |   511730 |   409452 |      687   1342 |        0 |        0
55.38/55.42	c 55.4s |      18 |   528898 |   423652 |      687   1380 |        0 |        0
57.38/57.43	c 57.4s |      18 |   545688 |   437652 |      687   1418 |        0 |        0
58.29/58.39	c 58.4s |      19 |   553732 |   444482 |      756   1435 |        0 |        0
60.28/60.40	c 60.4s |      19 |   572874 |   458982 |      756   1470 |        0 |        0
62.38/62.41	c 62.4s |      19 |   589450 |   472782 |      756   1504 |        0 |        0
64.38/64.41	c 64.4s |      19 |   607066 |   487182 |      756   1540 |        0 |        0
66.38/66.42	c 66.4s |      19 |   624786 |   501582 |      756   1575 |        0 |        0
68.38/68.43	c 68.4s |      19 |   643619 |   516782 |      756   1612 |        0 |        0
70.38/70.44	c 70.4s |      19 |   660777 |   531082 |      756   1647 |        0 |        0
72.38/72.44	c 72.4s |      19 |   677319 |   545082 |      756   1682 |        0 |        0
74.38/74.45	c 74.4s |      19 |   693779 |   558982 |      756   1716 |        0 |        0
76.38/76.46	c 76.4s |      19 |   709794 |   572582 |      756   1749 |        0 |        0
78.38/78.47	c 78.5s |      19 |   724330 |   585182 |      756   1780 |        0 |        0
80.38/80.48	c 80.5s |      19 |   742307 |   598982 |      756   1814 |        0 |        0
82.37/82.49	c 82.5s |      19 |   758424 |   612382 |      756   1847 |        0 |        0
84.37/84.49	c 84.5s |      19 |   776605 |   626982 |      756   1882 |        0 |        0
86.37/86.49	c 86.5s |      19 |   794801 |   641882 |      756   1919 |        0 |        0
88.47/88.50	c 88.5s |      19 |   813331 |   656682 |      756   1955 |        0 |        0
89.87/89.95	c 89.9s |      20 |   825431 |   666827 |      832   1979 |        0 |        0
91.87/91.96	c 92.0s |      20 |   845173 |   681527 |      832   2012 |        0 |        0
93.87/93.97	c 94.0s |      20 |   867880 |   697127 |      832   2048 |        0 |        0
95.87/95.97	c 96.0s |      20 |   887796 |   712027 |      832   2081 |        0 |        0
97.88/97.98	c 98.0s |      20 |   907815 |   726527 |      832   2114 |        0 |        0
99.87/99.98	c 100.0s |      20 |   925473 |   740127 |      832   2145 |        0 |        0
101.87/101.99	c  101s |      20 |   944577 |   754227 |      832   2177 |        0 |        0
103.87/103.99	c  103s |      20 |   963415 |   768227 |      832   2208 |        0 |        0
105.87/105.99	c  105s |      20 |   981949 |   782027 |      832   2239 |        0 |        0
107.88/107.99	c  107s |      20 |  1001422 |   797027 |      832   2273 |        0 |        0
109.87/110.00	c  109s |      20 |  1022248 |   812127 |      832   2308 |        0 |        0
111.97/112.00	c  111s |      20 |  1041827 |   826827 |      832   2341 |        0 |        0
113.97/114.01	c  113s |      20 |  1061204 |   841127 |      832   2374 |        0 |        0
115.97/116.02	c  116s |      20 |  1079352 |   854927 |      832   2405 |        0 |        0
117.97/118.03	c  118s |      20 |  1097352 |   868627 |      832   2436 |        0 |        0
119.98/120.03	c  120s |      20 |  1115701 |   882527 |      832   2467 |        0 |        0
121.97/122.04	c  122s |      20 |  1133620 |   896627 |      832   2499 |        0 |        0
123.97/124.05	c  124s |      20 |  1152424 |   910927 |      832   2531 |        0 |        0
125.97/126.05	c  126s |      20 |  1170089 |   924627 |      832   2562 |        0 |        0
127.97/128.05	c  128s |      20 |  1190878 |   939027 |      832   2595 |        0 |        0
129.97/130.07	c  130s |      20 |  1209428 |   953527 |      832   2628 |        0 |        0
131.97/132.08	c  132s |      20 |  1229342 |   968427 |      832   2661 |        0 |        0
133.96/134.08	c  134s |      20 |  1247481 |   983027 |      832   2694 |        0 |        0
135.96/136.09	c  136s |      20 |  1264063 |   996727 |      916   2724 |        0 |        0
136.56/136.63	c  136s |      21 |  1268703 |  1000345 |      916   2731 |        0 |        0
138.58/138.63	c  138s |      21 |  1285462 |  1013745 |      916   2759 |        0 |        0
140.57/140.63	c  140s |      21 |  1299960 |  1026145 |      916   2784 |        0 |        0
142.57/142.64	c  142s |      21 |  1316136 |  1039345 |      916   2811 |        0 |        0
144.57/144.65	c  144s |      21 |  1331357 |  1051845 |      916   2836 |        0 |        0
146.57/146.66	c  146s |      21 |  1346170 |  1064345 |      916   2862 |        0 |        0
148.57/148.67	c  148s |      21 |  1362945 |  1077545 |      916   2889 |        0 |        0
150.57/150.67	c  150s |      21 |  1379947 |  1091045 |      916   2916 |        0 |        0
152.57/152.69	c  152s |      21 |  1395954 |  1104445 |      916   2944 |        0 |        0
154.57/154.69	c  154s |      21 |  1413064 |  1118745 |      916   2973 |        0 |        0
156.67/156.70	c  156s |      21 |  1430085 |  1132545 |      916   3002 |        0 |        0
158.67/158.72	c  158s |      21 |  1448224 |  1147145 |      916   3032 |        0 |        0
160.67/160.73	c  160s |      21 |  1464695 |  1160845 |      916   3060 |        0 |        0
162.67/162.74	c  162s |      21 |  1481010 |  1174045 |      916   3087 |        0 |        0
164.66/164.74	c  164s |      21 |  1496782 |  1187145 |      916   3114 |        0 |        0
166.66/166.75	c  166s |      21 |  1513930 |  1200545 |      916   3141 |        0 |        0
168.66/168.76	c  168s |      21 |  1530120 |  1213945 |      916   3169 |        0 |        0
170.66/170.77	c  170s |      21 |  1549924 |  1228645 |      916   3199 |        0 |        0
172.67/172.77	c  172s |      21 |  1568332 |  1242645 |      916   3228 |        0 |        0
174.66/174.77	c  174s |      21 |  1584112 |  1255945 |      916   3255 |        0 |        0
176.66/176.77	c  176s |      21 |  1600734 |  1269645 |      916   3283 |        0 |        0
178.66/178.79	c  178s |      21 |  1616872 |  1282945 |      916   3310 |        0 |        0
180.66/180.79	c  180s |      21 |  1632360 |  1295745 |      916   3336 |        0 |        0
182.76/182.80	c  182s |      21 |  1649200 |  1309145 |      916   3364 |        0 |        0
184.66/184.80	c  184s |      21 |  1665220 |  1322245 |      916   3390 |        0 |        0
186.76/186.81	c  186s |      21 |  1680442 |  1335045 |      916   3416 |        0 |        0
188.76/188.81	c  188s |      21 |  1694865 |  1347545 |      916   3442 |        0 |        0
190.76/190.81	c  190s |      21 |  1710932 |  1360845 |      916   3469 |        0 |        0
192.75/192.82	c  192s |      21 |  1726975 |  1373945 |      916   3496 |        0 |        0
194.76/194.83	c  194s |      21 |  1743504 |  1387645 |      916   3525 |        0 |        0
196.75/196.83	c  196s |      21 |  1758534 |  1400645 |      916   3551 |        0 |        0
198.75/198.84	c  198s |      21 |  1774459 |  1413645 |      916   3578 |        0 |        0
200.76/200.85	c  200s |      21 |  1790782 |  1426945 |      916   3605 |        0 |        0
202.76/202.87	c  202s |      21 |  1808066 |  1440445 |      916   3633 |        0 |        0
204.76/204.88	c  204s |      21 |  1823393 |  1453345 |      916   3659 |        0 |        0
206.77/206.88	c  206s |      21 |  1841118 |  1467145 |      916   3688 |        0 |        0
208.76/208.88	c  208s |      21 |  1858035 |  1480745 |      916   3716 |        0 |        0
210.76/210.89	c  210s |      21 |  1876047 |  1494545 |     1008   3743 |        0 |        0
211.76/211.81	c  211s |      22 |  1883819 |  1500622 |     1008   3755 |        0 |        0
213.76/213.83	c  213s |      22 |  1901356 |  1513622 |     1008   3779 |        0 |        0
215.76/215.83	c  215s |      22 |  1919840 |  1527522 |     1008   3805 |        0 |        0
217.76/217.84	c  217s |      22 |  1938263 |  1541322 |     1008   3832 |        0 |        0
219.75/219.84	c  219s |      22 |  1956225 |  1554922 |     1008   3857 |        0 |        0
221.75/221.85	c  221s |      22 |  1973807 |  1567922 |     1008   3882 |        0 |        0
223.75/223.85	c  223s |      22 |  1990623 |  1580922 |     1008   3906 |        0 |        0
225.75/225.85	c  225s |      22 |  2009255 |  1594122 |     1008   3931 |        0 |        0
227.76/227.86	c  227s |      22 |  2028839 |  1607922 |     1008   3957 |        0 |        0
229.75/229.87	c  229s |      22 |  2048520 |  1622222 |     1008   3984 |        0 |        0
231.75/231.88	c  231s |      22 |  2067670 |  1636022 |     1008   4010 |        0 |        0
233.76/233.88	c  233s |      22 |  2086344 |  1650122 |     1008   4037 |        0 |        0
235.76/235.89	c  235s |      22 |  2103466 |  1663522 |     1008   4063 |        0 |        0
237.86/237.90	c  237s |      22 |  2120661 |  1677422 |     1008   4089 |        0 |        0
239.86/239.91	c  239s |      22 |  2138028 |  1691322 |     1008   4115 |        0 |        0
241.85/241.92	c  241s |      22 |  2155690 |  1705022 |     1008   4141 |        0 |        0
243.85/243.92	c  243s |      22 |  2173647 |  1718922 |     1008   4167 |        0 |        0
245.85/245.93	c  245s |      22 |  2191095 |  1732222 |     1008   4192 |        0 |        0
247.85/247.93	c  247s |      22 |  2209774 |  1746222 |     1008   4219 |        0 |        0
249.85/249.94	c  249s |      22 |  2229466 |  1759922 |     1008   4245 |        0 |        0
251.86/251.95	c  251s |      22 |  2249331 |  1774122 |     1008   4272 |        0 |        0
253.85/253.97	c  253s |      22 |  2268010 |  1787822 |     1008   4298 |        0 |        0
255.85/255.97	c  255s |      22 |  2283610 |  1800322 |     1008   4321 |        0 |        0
257.85/257.99	c  257s |      22 |  2300999 |  1813622 |     1008   4347 |        0 |        0
259.85/259.99	c  259s |      22 |  2318529 |  1827022 |     1008   4372 |        0 |        0
261.95/262.00	c  261s |      22 |  2337909 |  1841222 |     1008   4399 |        0 |        0
263.96/264.01	c  263s |      22 |  2354980 |  1854722 |     1008   4425 |        0 |        0
265.95/266.02	c  266s |      22 |  2372256 |  1867922 |     1008   4450 |        0 |        0
267.95/268.02	c  268s |      22 |  2388339 |  1880822 |     1008   4474 |        0 |        0
269.95/270.03	c  270s |      22 |  2406500 |  1894422 |     1008   4500 |        0 |        0
271.95/272.04	c  272s |      22 |  2425165 |  1908222 |     1008   4526 |        0 |        0
273.95/274.04	c  274s |      22 |  2442936 |  1921522 |     1008   4551 |        0 |        0
275.95/276.04	c  276s |      22 |  2460086 |  1934522 |     1008   4576 |        0 |        0
277.95/278.05	c  278s |      22 |  2476319 |  1947722 |     1008   4601 |        0 |        0
279.95/280.06	c  280s |      22 |  2494576 |  1961622 |     1008   4628 |        0 |        0
281.95/282.07	c  282s |      22 |  2510857 |  1974422 |     1008   4653 |        0 |        0
283.94/284.08	c  284s |      22 |  2530291 |  1988722 |     1008   4680 |        0 |        0
285.95/286.09	c  286s |      22 |  2546397 |  2001722 |     1008   4704 |        0 |        0
288.04/288.10	c  288s |      22 |  2564230 |  2015422 |     1008   4730 |        0 |        0
290.04/290.11	c  290s |      22 |  2583015 |  2029522 |     1008   4757 |        0 |        0
292.04/292.11	c  292s |      22 |  2603121 |  2044022 |     1008   4785 |        0 |        0
294.04/294.12	c  294s |      22 |  2620440 |  2057822 |     1008   4811 |        0 |        0
296.04/296.12	c  296s |      22 |  2639013 |  2071822 |     1008   4837 |        0 |        0
298.05/298.12	c  298s |      22 |  2664990 |  2087522 |     1008   4867 |        0 |        0
300.04/300.13	c  300s |      22 |  2684877 |  2101822 |     1008   4894 |        0 |        0
302.04/302.14	c  302s |      22 |  2702309 |  2115022 |     1008   4919 |        0 |        0
304.04/304.14	c  304s |      22 |  2719219 |  2128122 |     1008   4944 |        0 |        0
306.04/306.15	c  306s |      22 |  2736302 |  2141222 |     1008   4969 |        0 |        0
308.05/308.15	c  308s |      22 |  2753283 |  2154922 |     1008   4995 |        0 |        0
310.04/310.15	c  310s |      22 |  2771739 |  2169022 |     1008   5022 |        0 |        0
312.04/312.16	c  312s |      22 |  2791840 |  2183522 |     1008   5049 |        0 |        0
314.04/314.16	c  314s |      22 |  2809913 |  2197422 |     1008   5075 |        0 |        0
316.04/316.16	c  316s |      22 |  2829118 |  2211522 |     1008   5102 |        0 |        0
318.04/318.17	c  318s |      22 |  2852367 |  2226622 |     1008   5131 |        0 |        0
320.04/320.18	c  320s |      22 |  2875714 |  2241922 |     1109   5159 |        0 |        0
321.34/321.46	c  321s |      23 |  2889344 |  2251038 |     1109   5175 |        0 |        0
323.34/323.47	c  323s |      23 |  2904159 |  2264038 |     1109   5197 |        0 |        0
325.34/325.48	c  325s |      23 |  2920265 |  2277438 |     1109   5221 |        0 |        0
327.34/327.48	c  327s |      23 |  2937681 |  2290938 |     1109   5244 |        0 |        0
329.34/329.49	c  329s |      23 |  2955122 |  2304738 |     1109   5268 |        0 |        0
331.44/331.50	c  331s |      23 |  2973234 |  2318538 |     1109   5292 |        0 |        0
333.44/333.51	c  333s |      23 |  2991367 |  2332538 |     1109   5316 |        0 |        0
335.45/335.53	c  335s |      23 |  3011437 |  2347038 |     1109   5342 |        0 |        0
337.44/337.53	c  337s |      23 |  3028238 |  2359938 |     1109   5364 |        0 |        0
339.44/339.54	c  339s |      23 |  3044963 |  2373038 |     1109   5387 |        0 |        0
341.44/341.55	c  341s |      23 |  3062474 |  2386738 |     1109   5410 |        0 |        0
343.44/343.56	c  343s |      23 |  3081558 |  2400738 |     1109   5435 |        0 |        0
345.44/345.57	c  345s |      23 |  3098207 |  2413938 |     1109   5458 |        0 |        0
347.44/347.58	c  347s |      23 |  3117401 |  2427838 |     1109   5482 |        0 |        0
349.44/349.58	c  349s |      23 |  3135986 |  2442038 |     1109   5507 |        0 |        0
351.54/351.60	c  351s |      23 |  3153928 |  2455538 |     1109   5531 |        0 |        0
353.54/353.61	c  353s |      23 |  3171371 |  2469038 |     1109   5554 |        0 |        0
355.54/355.62	c  355s |      23 |  3188838 |  2482638 |     1109   5578 |        0 |        0
357.54/357.62	c  357s |      23 |  3207178 |  2496638 |     1109   5602 |        0 |        0
359.53/359.62	c  359s |      23 |  3225283 |  2510738 |     1109   5627 |        0 |        0
361.53/361.62	c  361s |      23 |  3245895 |  2525238 |     1109   5652 |        0 |        0
363.53/363.64	c  363s |      23 |  3265186 |  2539338 |     1109   5677 |        0 |        0
365.53/365.66	c  365s |      23 |  3284279 |  2553338 |     1109   5701 |        0 |        0
367.53/367.68	c  367s |      23 |  3303127 |  2566938 |     1109   5725 |        0 |        0
369.54/369.68	c  369s |      23 |  3319724 |  2579838 |     1109   5747 |        0 |        0
371.53/371.68	c  371s |      23 |  3335960 |  2592838 |     1109   5770 |        0 |        0
373.53/373.69	c  373s |      23 |  3352608 |  2605838 |     1109   5792 |        0 |        0
375.53/375.69	c  375s |      23 |  3370119 |  2618938 |     1109   5815 |        0 |        0
377.63/377.70	c  377s |      23 |  3387564 |  2631938 |     1109   5838 |        0 |        0
379.63/379.71	c  379s |      23 |  3405602 |  2645338 |     1109   5861 |        0 |        0
381.64/381.72	c  381s |      23 |  3426905 |  2660438 |     1109   5887 |        0 |        0
383.63/383.72	c  383s |      23 |  3446057 |  2674438 |     1109   5912 |        0 |        0
385.63/385.73	c  385s |      23 |  3465560 |  2689038 |     1109   5937 |        0 |        0
387.63/387.73	c  387s |      23 |  3486427 |  2703638 |     1109   5963 |        0 |        0
389.63/389.74	c  389s |      23 |  3505003 |  2717638 |     1109   5988 |        0 |        0
391.63/391.76	c  391s |      23 |  3525781 |  2732138 |     1109   6013 |        0 |        0
393.63/393.76	c  393s |      23 |  3546547 |  2746538 |     1109   6038 |        0 |        0
395.62/395.76	c  395s |      23 |  3565812 |  2760238 |     1109   6062 |        0 |        0
397.63/397.77	c  397s |      23 |  3585643 |  2774338 |     1109   6086 |        0 |        0
399.63/399.78	c  399s |      23 |  3603794 |  2787738 |     1109   6110 |        0 |        0
401.63/401.79	c  401s |      23 |  3621115 |  2800838 |     1109   6133 |        0 |        0
403.64/403.79	c  403s |      23 |  3638890 |  2814138 |     1109   6156 |        0 |        0
405.73/405.80	c  405s |      23 |  3656910 |  2827538 |     1109   6179 |        0 |        0
407.73/407.81	c  407s |      23 |  3675498 |  2841738 |     1109   6204 |        0 |        0
409.73/409.82	c  409s |      23 |  3693595 |  2855138 |     1109   6227 |        0 |        0
411.73/411.83	c  411s |      23 |  3711573 |  2868338 |     1109   6250 |        0 |        0
413.73/413.84	c  413s |      23 |  3731209 |  2881838 |     1109   6273 |        0 |        0
415.73/415.86	c  415s |      23 |  3748568 |  2895238 |     1109   6297 |        0 |        0
417.73/417.86	c  417s |      23 |  3764913 |  2908238 |     1109   6319 |        0 |        0
419.73/419.87	c  419s |      23 |  3780375 |  2920938 |     1109   6341 |        0 |        0
421.73/421.88	c  421s |      23 |  3795072 |  2933538 |     1109   6363 |        0 |        0
423.73/423.89	c  423s |      23 |  3812753 |  2947038 |     1109   6386 |        0 |        0
425.83/425.90	c  425s |      23 |  3832838 |  2961538 |     1109   6412 |        0 |        0
427.73/427.90	c  427s |      23 |  3851513 |  2975138 |     1109   6436 |        0 |        0
429.82/429.91	c  429s |      23 |  3871016 |  2989138 |     1109   6460 |        0 |        0
431.82/431.92	c  431s |      23 |  3889247 |  3002638 |     1109   6483 |        0 |        0
433.82/433.92	c  433s |      23 |  3908270 |  3016638 |     1109   6508 |        0 |        0
435.82/435.93	c  435s |      23 |  3927004 |  3030538 |     1109   6532 |        0 |        0
437.82/437.94	c  437s |      23 |  3943814 |  3043538 |     1109   6554 |        0 |        0
439.82/439.96	c  439s |      23 |  3961727 |  3056738 |     1109   6577 |        0 |        0
441.83/441.97	c  441s |      23 |  3978839 |  3069638 |     1109   6600 |        0 |        0
443.83/443.98	c  443s |      23 |  3995334 |  3082738 |     1109   6623 |        0 |        0
445.82/445.98	c  445s |      23 |  4014132 |  3096638 |     1109   6647 |        0 |        0
447.92/448.00	c  447s |      23 |  4031489 |  3110138 |     1109   6671 |        0 |        0
449.93/450.01	c  449s |      23 |  4048174 |  3123638 |     1109   6694 |        0 |        0
451.92/452.01	c  451s |      23 |  4066972 |  3138038 |     1109   6719 |        0 |        0
453.92/454.01	c  453s |      23 |  4084315 |  3151538 |     1109   6743 |        0 |        0
455.92/456.03	c  456s |      23 |  4101278 |  3164338 |     1109   6765 |        0 |        0
457.92/458.04	c  458s |      23 |  4119258 |  3177738 |     1109   6789 |        0 |        0
459.92/460.05	c  460s |      23 |  4137475 |  3191238 |     1109   6812 |        0 |        0
461.92/462.05	c  462s |      23 |  4154466 |  3204438 |     1109   6835 |        0 |        0
463.92/464.06	c  464s |      23 |  4172877 |  3218138 |     1109   6859 |        0 |        0
465.92/466.07	c  466s |      23 |  4191844 |  3231738 |     1109   6883 |        0 |        0
467.92/468.08	c  468s |      23 |  4209121 |  3245038 |     1109   6906 |        0 |        0
469.92/470.08	c  470s |      23 |  4226800 |  3258638 |     1109   6930 |        0 |        0
471.92/472.10	c  472s |      23 |  4243223 |  3271538 |     1109   6952 |        0 |        0
474.02/474.11	c  474s |      23 |  4261141 |  3284938 |     1109   6975 |        0 |        0
476.01/476.11	c  476s |      23 |  4279891 |  3298438 |     1109   6999 |        0 |        0
478.01/478.13	c  478s |      23 |  4298736 |  3312138 |     1109   7023 |        0 |        0
480.01/480.13	c  480s |      23 |  4316264 |  3325238 |     1109   7046 |        0 |        0
482.01/482.14	c  482s |      23 |  4335698 |  3338938 |     1109   7070 |        0 |        0
484.02/484.14	c  484s |      23 |  4353161 |  3351638 |     1109   7092 |        0 |        0
486.01/486.14	c  486s |      23 |  4372552 |  3364438 |     1220   7112 |        0 |        0
487.91/488.04	c  488s |      24 |  4389708 |  3376662 |     1220   7132 |        0 |        0
489.91/490.04	c  490s |      24 |  4405536 |  3388262 |     1220   7150 |        0 |        0
491.92/492.04	c  492s |      24 |  4421308 |  3399762 |     1220   7168 |        0 |        0
493.92/494.05	c  494s |      24 |  4439633 |  3412762 |     1220   7188 |        0 |        0
495.92/496.06	c  496s |      24 |  4459130 |  3425662 |     1220   7208 |        0 |        0
497.92/498.07	c  498s |      24 |  4477597 |  3438462 |     1220   7228 |        0 |        0
499.91/500.08	c  500s |      24 |  4496038 |  3451462 |     1220   7249 |        0 |        0
501.91/502.08	c  502s |      24 |  4511759 |  3463762 |     1220   7268 |        0 |        0
503.91/504.09	c  504s |      24 |  4528365 |  3475962 |     1220   7287 |        0 |        0
506.02/506.10	c  506s |      24 |  4548466 |  3489162 |     1220   7308 |        0 |        0
508.01/508.11	c  508s |      24 |  4564657 |  3501562 |     1220   7328 |        0 |        0
510.01/510.12	c  510s |      24 |  4581022 |  3513762 |     1220   7347 |        0 |        0
512.01/512.14	c  512s |      24 |  4597713 |  3526362 |     1220   7366 |        0 |        0
514.01/514.14	c  514s |      24 |  4613946 |  3539062 |     1220   7386 |        0 |        0
516.01/516.15	c  516s |      24 |  4628951 |  3551062 |     1220   7405 |        0 |        0
518.02/518.15	c  518s |      24 |  4645056 |  3563562 |     1220   7425 |        0 |        0
520.01/520.16	c  520s |      24 |  4659093 |  3575462 |     1220   7443 |        0 |        0
522.01/522.17	c  522s |      24 |  4673747 |  3587662 |     1220   7462 |        0 |        0
524.01/524.17	c  524s |      24 |  4691632 |  3600562 |     1220   7482 |        0 |        0
526.01/526.17	c  526s |      24 |  4710356 |  3614062 |     1220   7504 |        0 |        0
528.01/528.18	c  528s |      24 |  4727549 |  3626562 |     1220   7523 |        0 |        0
530.00/530.19	c  530s |      24 |  4741200 |  3637962 |     1220   7541 |        0 |        0
532.10/532.20	c  532s |      24 |  4753861 |  3648662 |     1220   7558 |        0 |        0
534.10/534.20	c  534s |      24 |  4766702 |  3659762 |     1220   7575 |        0 |        0
536.10/536.21	c  536s |      24 |  4780891 |  3671262 |     1220   7593 |        0 |        0
538.10/538.21	c  538s |      24 |  4795246 |  3682662 |     1220   7611 |        0 |        0
540.11/540.22	c  540s |      24 |  4809011 |  3694062 |     1220   7629 |        0 |        0
542.10/542.24	c  542s |      24 |  4824105 |  3706062 |     1220   7647 |        0 |        0
544.10/544.25	c  544s |      24 |  4840237 |  3718062 |     1220   7666 |        0 |        0
546.10/546.25	c  546s |      24 |  4856225 |  3730162 |     1220   7685 |        0 |        0
548.10/548.27	c  548s |      24 |  4869622 |  3741062 |     1220   7702 |        0 |        0
550.10/550.28	c  550s |      24 |  4888110 |  3753962 |     1220   7722 |        0 |        0
552.11/552.28	c  552s |      24 |  4905708 |  3766362 |     1220   7741 |        0 |        0
554.10/554.29	c  554s |      24 |  4924625 |  3779362 |     1220   7762 |        0 |        0
556.20/556.30	c  556s |      24 |  4941913 |  3791862 |     1220   7781 |        0 |        0
558.20/558.32	c  558s |      24 |  4960095 |  3804462 |     1220   7801 |        0 |        0
560.20/560.33	c  560s |      24 |  4977280 |  3816962 |     1220   7820 |        0 |        0
562.20/562.33	c  562s |      24 |  4996492 |  3829862 |     1220   7840 |        0 |        0
564.21/564.35	c  564s |      24 |  5014572 |  3842462 |     1220   7860 |        0 |        0
566.20/566.35	c  566s |      24 |  5031109 |  3854362 |     1220   7879 |        0 |        0
568.20/568.35	c  568s |      24 |  5048799 |  3866462 |     1220   7898 |        0 |        0
570.20/570.36	c  570s |      24 |  5065926 |  3878662 |     1220   7917 |        0 |        0
572.20/572.36	c  572s |      24 |  5083713 |  3891262 |     1220   7937 |        0 |        0
574.21/574.37	c  574s |      24 |  5102620 |  3904162 |     1220   7957 |        0 |        0
576.21/576.38	c  576s |      24 |  5120809 |  3917062 |     1220   7977 |        0 |        0
578.21/578.38	c  578s |      24 |  5139474 |  3930362 |     1220   7998 |        0 |        0
580.20/580.39	c  580s |      24 |  5155902 |  3942762 |     1220   8018 |        0 |        0
582.30/582.40	c  582s |      24 |  5171095 |  3954862 |     1220   8037 |        0 |        0
584.30/584.41	c  584s |      24 |  5185892 |  3966662 |     1220   8055 |        0 |        0
586.31/586.41	c  586s |      24 |  5200085 |  3977962 |     1220   8073 |        0 |        0
588.30/588.43	c  588s |      24 |  5216432 |  3989862 |     1220   8091 |        0 |        0
590.30/590.43	c  590s |      24 |  5232660 |  4001662 |     1220   8110 |        0 |        0
592.30/592.45	c  592s |      24 |  5254434 |  4015362 |     1220   8132 |        0 |        0
594.30/594.45	c  594s |      24 |  5272347 |  4028362 |     1220   8152 |        0 |        0
596.30/596.45	c  596s |      24 |  5291089 |  4041462 |     1220   8173 |        0 |        0
598.31/598.47	c  598s |      24 |  5306042 |  4053262 |     1220   8191 |        0 |        0
600.30/600.47	c  600s |      24 |  5324057 |  4066262 |     1220   8212 |        0 |        0
602.30/602.48	c  602s |      24 |  5341175 |  4078962 |     1220   8232 |        0 |        0
604.30/604.49	c  604s |      24 |  5357126 |  4090962 |     1220   8251 |        0 |        0
606.30/606.49	c  606s |      24 |  5375415 |  4103362 |     1220   8270 |        0 |        0
608.31/608.49	c  608s |      24 |  5393849 |  4115962 |     1220   8290 |        0 |        0
610.30/610.50	c  610s |      24 |  5411073 |  4128762 |     1220   8310 |        0 |        0
612.40/612.52	c  612s |      24 |  5430528 |  4142062 |     1220   8331 |        0 |        0
614.40/614.52	c  614s |      24 |  5447863 |  4154362 |     1220   8351 |        0 |        0
616.39/616.53	c  616s |      24 |  5468011 |  4167162 |     1220   8371 |        0 |        0
618.39/618.54	c  618s |      24 |  5485541 |  4179162 |     1220   8390 |        0 |        0
620.40/620.55	c  620s |      24 |  5502843 |  4191262 |     1220   8409 |        0 |        0
622.39/622.55	c  622s |      24 |  5521376 |  4204162 |     1220   8429 |        0 |        0
624.39/624.55	c  624s |      24 |  5539103 |  4217162 |     1220   8450 |        0 |        0
626.39/626.57	c  626s |      24 |  5560393 |  4231362 |     1220   8472 |        0 |        0
628.40/628.57	c  628s |      24 |  5580686 |  4244762 |     1220   8493 |        0 |        0
630.40/630.58	c  630s |      24 |  5601015 |  4258362 |     1220   8515 |        0 |        0
632.40/632.58	c  632s |      24 |  5619646 |  4271162 |     1220   8535 |        0 |        0
634.40/634.59	c  634s |      24 |  5638720 |  4284362 |     1220   8556 |        0 |        0
636.50/636.60	c  636s |      24 |  5659804 |  4297362 |     1220   8576 |        0 |        0
638.50/638.62	c  638s |      24 |  5673067 |  4308562 |     1220   8594 |        0 |        0
640.50/640.63	c  640s |      24 |  5688058 |  4320462 |     1220   8613 |        0 |        0
642.50/642.63	c  642s |      24 |  5709315 |  4333962 |     1220   8634 |        0 |        0
644.50/644.65	c  644s |      24 |  5727601 |  4346862 |     1220   8654 |        0 |        0
646.49/646.65	c  646s |      24 |  5746410 |  4360262 |     1220   8676 |        0 |        0
648.49/648.67	c  648s |      24 |  5764555 |  4374262 |     1220   8698 |        0 |        0
650.49/650.68	c  650s |      24 |  5783333 |  4388262 |     1220   8719 |        0 |        0
652.49/652.68	c  652s |      24 |  5803529 |  4402662 |     1220   8742 |        0 |        0
654.50/654.69	c  654s |      24 |  5823791 |  4417362 |     1220   8765 |        0 |        0
656.49/656.70	c  656s |      24 |  5842347 |  4430862 |     1220   8787 |        0 |        0
658.59/658.70	c  658s |      24 |  5862444 |  4445062 |     1220   8809 |        0 |        0
660.59/660.71	c  660s |      24 |  5881577 |  4458862 |     1220   8831 |        0 |        0
662.59/662.72	c  662s |      24 |  5901986 |  4473062 |     1220   8853 |        0 |        0
664.59/664.73	c  664s |      24 |  5922745 |  4487462 |     1220   8876 |        0 |        0
666.59/666.74	c  666s |      24 |  5942166 |  4500862 |     1220   8897 |        0 |        0
668.58/668.75	c  668s |      24 |  5960349 |  4513862 |     1220   8917 |        0 |        0
670.58/670.76	c  670s |      24 |  5979766 |  4527362 |     1220   8938 |        0 |        0
672.58/672.78	c  672s |      24 |  5999569 |  4540462 |     1220   8959 |        0 |        0
674.58/674.79	c  674s |      24 |  6019327 |  4553662 |     1220   8980 |        0 |        0
676.68/676.80	c  676s |      24 |  6039493 |  4567962 |     1220   9002 |        0 |        0
678.69/678.80	c  678s |      24 |  6059163 |  4582362 |     1220   9025 |        0 |        0
680.69/680.82	c  680s |      24 |  6079733 |  4596262 |     1220   9046 |        0 |        0
682.69/682.82	c  682s |      24 |  6098762 |  4609862 |     1220   9068 |        0 |        0
684.69/684.82	c  684s |      24 |  6117536 |  4623862 |     1220   9090 |        0 |        0
686.69/686.83	c  686s |      24 |  6137024 |  4637662 |     1220   9112 |        0 |        0
688.69/688.84	c  688s |      24 |  6153960 |  4650562 |     1220   9132 |        0 |        0
690.70/690.84	c  690s |      24 |  6172857 |  4664262 |     1220   9153 |        0 |        0
692.69/692.85	c  692s |      24 |  6189796 |  4677462 |     1220   9174 |        0 |        0
694.69/694.86	c  694s |      24 |  6204790 |  4689762 |     1220   9193 |        0 |        0
696.69/696.86	c  696s |      24 |  6221964 |  4702862 |     1220   9214 |        0 |        0
698.69/698.86	c  698s |      24 |  6239837 |  4715962 |     1220   9235 |        0 |        0
700.69/700.87	c  700s |      24 |  6258542 |  4729762 |     1220   9257 |        0 |        0
702.69/702.88	c  702s |      24 |  6279551 |  4743962 |     1220   9279 |        0 |        0
704.68/704.88	c  704s |      24 |  6299294 |  4758162 |     1220   9302 |        0 |        0
706.68/706.88	c  706s |      24 |  6320244 |  4771862 |     1220   9323 |        0 |        0
708.68/708.89	c  708s |      24 |  6339095 |  4785062 |     1220   9344 |        0 |        0
710.68/710.89	c  710s |      24 |  6357201 |  4797962 |     1220   9365 |        0 |        0
712.69/712.89	c  712s |      24 |  6374609 |  4810662 |     1220   9385 |        0 |        0
714.78/714.91	c  714s |      24 |  6393503 |  4823662 |     1220   9405 |        0 |        0
716.77/716.92	c  716s |      24 |  6410811 |  4836562 |     1220   9425 |        0 |        0
718.77/718.93	c  718s |      24 |  6427643 |  4849462 |     1220   9446 |        0 |        0
720.77/720.94	c  720s |      24 |  6444783 |  4862162 |     1220   9466 |        0 |        0
722.77/722.95	c  722s |      24 |  6462433 |  4875562 |     1220   9487 |        0 |        0
724.78/724.96	c  724s |      24 |  6477964 |  4888162 |     1220   9507 |        0 |        0
726.77/726.97	c  726s |      24 |  6493273 |  4900062 |     1220   9525 |        0 |        0
728.77/728.97	c  728s |      24 |  6512189 |  4912962 |     1220   9546 |        0 |        0
730.77/730.98	c  730s |      24 |  6531732 |  4926162 |     1220   9566 |        0 |        0
732.76/732.98	c  732s |      24 |  6550002 |  4938862 |     1220   9586 |        0 |        0
734.77/734.99	c  734s |      24 |  6565068 |  4951162 |     1220   9606 |        0 |        0
736.76/736.99	c  736s |      24 |  6580767 |  4963262 |     1220   9625 |        0 |        0
738.86/739.00	c  738s |      24 |  6597767 |  4976062 |     1220   9645 |        0 |        0
740.86/741.02	c  741s |      24 |  6613630 |  4988362 |     1220   9664 |        0 |        0
742.86/743.03	c  743s |      24 |  6628163 |  5000262 |     1220   9683 |        0 |        0
744.86/745.04	c  745s |      24 |  6645403 |  5013062 |     1220   9703 |        0 |        0
746.86/747.04	c  747s |      24 |  6662207 |  5025662 |     1220   9723 |        0 |        0
748.85/749.05	c  749s |      24 |  6679082 |  5038562 |     1342   9742 |        0 |        0
750.85/751.06	c  751s |      24 |  6695189 |  5050962 |     1342   9760 |        0 |        0
752.85/753.07	c  753s |      24 |  6710154 |  5062862 |     1342   9777 |        0 |        0
753.25/753.43	c  753s |      25 |  6713285 |  5065098 |     1342   9780 |        0 |        0
755.24/755.44	c  755s |      25 |  6729904 |  5077898 |     1342   9799 |        0 |        0
757.24/757.44	c  757s |      25 |  6746834 |  5090398 |     1342   9817 |        0 |        0
759.24/759.44	c  759s |      25 |  6761993 |  5102498 |     1342   9834 |        0 |        0
761.24/761.45	c  761s |      25 |  6778833 |  5114898 |     1342   9852 |        0 |        0
763.25/763.45	c  763s |      25 |  6796233 |  5127698 |     1342   9870 |        0 |        0
765.24/765.45	c  765s |      25 |  6811908 |  5139998 |     1342   9888 |        0 |        0
767.24/767.47	c  767s |      25 |  6829307 |  5152898 |     1342   9907 |        0 |        0
769.24/769.48	c  769s |      25 |  6847115 |  5166098 |     1342   9926 |        0 |        0
771.24/771.48	c  771s |      25 |  6864911 |  5179198 |     1342   9945 |        0 |        0
773.25/773.49	c  773s |      25 |  6881532 |  5192098 |     1342   9963 |        0 |        0
775.23/775.50	c  775s |      25 |  6898120 |  5204898 |     1342   9982 |        0 |        0
777.33/777.51	c  777s |      25 |  6915008 |  5217698 |     1342  10000 |        0 |        0
779.33/779.52	c  779s |      25 |  6929114 |  5229598 |     1342  10017 |        0 |        0
781.33/781.53	c  781s |      25 |  6944236 |  5241598 |     1342  10035 |        0 |        0
783.33/783.54	c  783s |      25 |  6961072 |  5254398 |     1342  10053 |        0 |        0
785.33/785.55	c  785s |      25 |  6979923 |  5267698 |     1342  10072 |        0 |        0
787.33/787.56	c  787s |      25 |  6998054 |  5280698 |     1342  10091 |        0 |        0
789.33/789.57	c  789s |      25 |  7017213 |  5294198 |     1342  10110 |        0 |        0
791.33/791.57	c  791s |      25 |  7034011 |  5306598 |     1342  10128 |        0 |        0
793.33/793.58	c  793s |      25 |  7053371 |  5319998 |     1342  10148 |        0 |        0
795.32/795.59	c  795s |      25 |  7072196 |  5333098 |     1342  10167 |        0 |        0
797.33/797.60	c  797s |      25 |  7088821 |  5345298 |     1342  10184 |        0 |        0
799.42/799.61	c  799s |      25 |  7104888 |  5357598 |     1342  10202 |        0 |        0
801.42/801.61	c  801s |      25 |  7121948 |  5370198 |     1342  10220 |        0 |        0
803.42/803.61	c  803s |      25 |  7138595 |  5382898 |     1342  10239 |        0 |        0
805.42/805.62	c  805s |      25 |  7154064 |  5394898 |     1342  10256 |        0 |        0
807.42/807.63	c  807s |      25 |  7168217 |  5406098 |     1342  10272 |        0 |        0
809.42/809.64	c  809s |      25 |  7185526 |  5418598 |     1342  10290 |        0 |        0
811.41/811.65	c  811s |      25 |  7202039 |  5431098 |     1342  10308 |        0 |        0
813.41/813.66	c  813s |      25 |  7218516 |  5443398 |     1342  10326 |        0 |        0
815.41/815.68	c  815s |      25 |  7231547 |  5454398 |     1342  10342 |        0 |        0
817.41/817.69	c  817s |      25 |  7244595 |  5465298 |     1342  10357 |        0 |        0
819.51/819.70	c  819s |      25 |  7259781 |  5477198 |     1342  10374 |        0 |        0
821.41/821.70	c  821s |      25 |  7274488 |  5488898 |     1342  10391 |        0 |        0
823.51/823.71	c  823s |      25 |  7290588 |  5501398 |     1342  10409 |        0 |        0
825.50/825.72	c  825s |      25 |  7308290 |  5514198 |     1342  10428 |        0 |        0
827.50/827.73	c  827s |      25 |  7324524 |  5526498 |     1342  10445 |        0 |        0
829.50/829.75	c  829s |      25 |  7342973 |  5539698 |     1342  10465 |        0 |        0
831.51/831.75	c  831s |      25 |  7359642 |  5552098 |     1342  10483 |        0 |        0
833.50/833.76	c  833s |      25 |  7374639 |  5564198 |     1342  10500 |        0 |        0
835.50/835.76	c  835s |      25 |  7391830 |  5576898 |     1342  10518 |        0 |        0
837.49/837.77	c  837s |      25 |  7410018 |  5589798 |     1342  10537 |        0 |        0
839.49/839.78	c  839s |      25 |  7428425 |  5602998 |     1342  10556 |        0 |        0
841.49/841.79	c  841s |      25 |  7445296 |  5615698 |     1342  10574 |        0 |        0
843.50/843.79	c  843s |      25 |  7461745 |  5627898 |     1342  10592 |        0 |        0
845.59/845.80	c  845s |      25 |  7477407 |  5640298 |     1342  10610 |        0 |        0
847.59/847.82	c  847s |      25 |  7492461 |  5652198 |     1342  10627 |        0 |        0
849.59/849.83	c  849s |      25 |  7511326 |  5665698 |     1342  10647 |        0 |        0
851.59/851.84	c  851s |      25 |  7530990 |  5679698 |     1342  10667 |        0 |        0
853.59/853.84	c  853s |      25 |  7548380 |  5692798 |     1342  10685 |        0 |        0
855.59/855.85	c  855s |      25 |  7566057 |  5705798 |     1342  10704 |        0 |        0
857.58/857.86	c  857s |      25 |  7583853 |  5718798 |     1342  10723 |        0 |        0
859.58/859.86	c  859s |      25 |  7601341 |  5731698 |     1342  10741 |        0 |        0
861.58/861.87	c  861s |      25 |  7617970 |  5744498 |     1342  10760 |        0 |        0
863.58/863.87	c  863s |      25 |  7633331 |  5756498 |     1342  10777 |        0 |        0
865.58/865.88	c  865s |      25 |  7649136 |  5768798 |     1342  10795 |        0 |        0
867.57/867.89	c  867s |      25 |  7664150 |  5780998 |     1342  10812 |        0 |        0
869.57/869.89	c  869s |      25 |  7680542 |  5793798 |     1342  10830 |        0 |        0
871.67/871.91	c  871s |      25 |  7697908 |  5806898 |     1342  10849 |        0 |        0
873.67/873.92	c  873s |      25 |  7712776 |  5818798 |     1342  10866 |        0 |        0
875.67/875.94	c  875s |      25 |  7726049 |  5830198 |     1342  10883 |        0 |        0
877.67/877.94	c  877s |      25 |  7740552 |  5841998 |     1342  10899 |        0 |        0
879.67/879.95	c  879s |      25 |  7757937 |  5854898 |     1342  10918 |        0 |        0
881.67/881.96	c  881s |      25 |  7774091 |  5867498 |     1342  10936 |        0 |        0
883.67/883.96	c  883s |      25 |  7792778 |  5881198 |     1342  10956 |        0 |        0
885.66/885.97	c  885s |      25 |  7809010 |  5893598 |     1342  10973 |        0 |        0
887.66/887.97	c  887s |      25 |  7823668 |  5905298 |     1342  10990 |        0 |        0
889.67/889.98	c  889s |      25 |  7838236 |  5917098 |     1342  11007 |        0 |        0
891.66/891.98	c  891s |      25 |  7853349 |  5928898 |     1342  11024 |        0 |        0
893.66/893.99	c  893s |      25 |  7867674 |  5940598 |     1342  11041 |        0 |        0
895.76/896.00	c  895s |      25 |  7882439 |  5952798 |     1342  11058 |        0 |        0
897.76/898.02	c  898s |      25 |  7898647 |  5965498 |     1342  11077 |        0 |        0
899.76/900.03	c  900s |      25 |  7916745 |  5978898 |     1342  11096 |        0 |        0
901.77/902.03	c  902s |      25 |  7931883 |  5990998 |     1342  11113 |        0 |        0
903.76/904.04	c  904s |      25 |  7946266 |  6003098 |     1342  11131 |        0 |        0
905.76/906.06	c  906s |      25 |  7960218 |  6014998 |     1342  11148 |        0 |        0
907.76/908.07	c  908s |      25 |  7975921 |  6027498 |     1342  11165 |        0 |        0
909.75/910.07	c  910s |      25 |  7993171 |  6040798 |     1342  11185 |        0 |        0
911.76/912.08	c  912s |      25 |  8009260 |  6053298 |     1342  11203 |        0 |        0
913.75/914.08	c  914s |      25 |  8026135 |  6066098 |     1342  11221 |        0 |        0
915.75/916.09	c  916s |      25 |  8042508 |  6078798 |     1342  11239 |        0 |        0
917.84/918.10	c  918s |      25 |  8056134 |  6090398 |     1342  11256 |        0 |        0
919.84/920.11	c  920s |      25 |  8069843 |  6101698 |     1342  11272 |        0 |        0
921.84/922.12	c  922s |      25 |  8082507 |  6112698 |     1342  11288 |        0 |        0
923.85/924.13	c  924s |      25 |  8096562 |  6124198 |     1342  11304 |        0 |        0
925.84/926.15	c  926s |      25 |  8112956 |  6136898 |     1342  11322 |        0 |        0
927.84/928.16	c  928s |      25 |  8127855 |  6148998 |     1342  11340 |        0 |        0
929.84/930.17	c  930s |      25 |  8143655 |  6161398 |     1342  11358 |        0 |        0
931.84/932.18	c  932s |      25 |  8160854 |  6174498 |     1342  11376 |        0 |        0
933.84/934.19	c  934s |      25 |  8176261 |  6186598 |     1342  11394 |        0 |        0
935.84/936.20	c  936s |      25 |  8189869 |  6197898 |     1342  11410 |        0 |        0
937.93/938.22	c  938s |      25 |  8205352 |  6210098 |     1342  11428 |        0 |        0
939.93/940.22	c  940s |      25 |  8219962 |  6221898 |     1342  11444 |        0 |        0
941.93/942.23	c  942s |      25 |  8234678 |  6233998 |     1342  11462 |        0 |        0
943.93/944.24	c  944s |      25 |  8248098 |  6245498 |     1342  11478 |        0 |        0
945.92/946.24	c  946s |      25 |  8261336 |  6256898 |     1342  11494 |        0 |        0
947.93/948.25	c  948s |      25 |  8275277 |  6268298 |     1342  11511 |        0 |        0
949.92/950.26	c  950s |      25 |  8290802 |  6280598 |     1342  11528 |        0 |        0
951.92/952.26	c  952s |      25 |  8305844 |  6292298 |     1342  11545 |        0 |        0
953.92/954.28	c  954s |      25 |  8321269 |  6304398 |     1342  11562 |        0 |        0
955.91/956.29	c  956s |      25 |  8335355 |  6315698 |     1342  11579 |        0 |        0
958.01/958.30	c  958s |      25 |  8350739 |  6327898 |     1342  11596 |        0 |        0
959.91/960.30	c  960s |      25 |  8361922 |  6337998 |     1342  11611 |        0 |        0
962.02/962.32	c  962s |      25 |  8376783 |  6350298 |     1342  11629 |        0 |        0
964.02/964.32	c  964s |      25 |  8392619 |  6362598 |     1342  11646 |        0 |        0
966.01/966.32	c  966s |      25 |  8408220 |  6374998 |     1342  11664 |        0 |        0
968.01/968.33	c  968s |      25 |  8422774 |  6386898 |     1342  11681 |        0 |        0
970.02/970.34	c  970s |      25 |  8438779 |  6399398 |     1342  11699 |        0 |        0
972.01/972.36	c  972s |      25 |  8452556 |  6410798 |     1342  11716 |        0 |        0
974.01/974.38	c  974s |      25 |  8465772 |  6421798 |     1342  11731 |        0 |        0
976.11/976.40	c  976s |      25 |  8478674 |  6432998 |     1342  11747 |        0 |        0
978.10/978.40	c  978s |      25 |  8491401 |  6443898 |     1342  11763 |        0 |        0
980.10/980.41	c  980s |      25 |  8505227 |  6454998 |     1342  11779 |        0 |        0
982.11/982.42	c  982s |      25 |  8518351 |  6465998 |     1342  11795 |        0 |        0
984.10/984.44	c  984s |      25 |  8531006 |  6476898 |     1342  11810 |        0 |        0
986.10/986.45	c  986s |      25 |  8544372 |  6488198 |     1342  11827 |        0 |        0
988.10/988.46	c  988s |      25 |  8558088 |  6499298 |     1342  11843 |        0 |        0
990.10/990.47	c  990s |      25 |  8572249 |  6510698 |     1342  11859 |        0 |        0
992.10/992.49	c  992s |      25 |  8586207 |  6522198 |     1342  11876 |        0 |        0
994.10/994.50	c  994s |      25 |  8598535 |  6532698 |     1342  11891 |        0 |        0
996.19/996.50	c  996s |      25 |  8611023 |  6543598 |     1342  11906 |        0 |        0
998.19/998.50	c  998s |      25 |  8623893 |  6554698 |     1342  11922 |        0 |        0
1000.19/1000.50	c 1000s |      25 |  8636995 |  6565798 |     1342  11938 |        0 |        0
1002.19/1002.51	c 1002s |      25 |  8650379 |  6576898 |     1342  11954 |        0 |        0
1004.19/1004.52	c 1004s |      25 |  8662981 |  6587698 |     1342  11970 |        0 |        0
1006.19/1006.53	c 1006s |      25 |  8675644 |  6598598 |     1342  11985 |        0 |        0
1008.18/1008.53	c 1008s |      25 |  8688798 |  6609898 |     1342  12001 |        0 |        0
1010.18/1010.54	c 1010s |      25 |  8702981 |  6621498 |     1342  12018 |        0 |        0
1012.18/1012.54	c 1012s |      25 |  8716660 |  6632798 |     1342  12034 |        0 |        0
1014.18/1014.56	c 1014s |      25 |  8731258 |  6644798 |     1342  12052 |        0 |        0
1016.18/1016.58	c 1016s |      25 |  8745884 |  6656598 |     1342  12069 |        0 |        0
1018.18/1018.58	c 1018s |      25 |  8760158 |  6668298 |     1342  12085 |        0 |        0
1020.17/1020.58	c 1020s |      25 |  8772293 |  6678798 |     1342  12101 |        0 |        0
1022.17/1022.59	c 1022s |      25 |  8785208 |  6689798 |     1342  12116 |        0 |        0
1024.17/1024.59	c 1024s |      25 |  8799205 |  6701098 |     1342  12133 |        0 |        0
1026.27/1026.61	c 1026s |      25 |  8813634 |  6712798 |     1342  12149 |        0 |        0
1028.28/1028.62	c 1028s |      25 |  8827447 |  6724198 |     1342  12166 |        0 |        0
1030.27/1030.62	c 1030s |      25 |  8840493 |  6735398 |     1342  12182 |        0 |        0
1032.27/1032.63	c 1032s |      25 |  8853913 |  6746598 |     1342  12198 |        0 |        0
1034.27/1034.63	c 1034s |      25 |  8866954 |  6757798 |     1342  12214 |        0 |        0
1036.26/1036.64	c 1036s |      25 |  8881632 |  6769498 |     1342  12231 |        0 |        0
1038.26/1038.65	c 1038s |      25 |  8896739 |  6781298 |     1342  12248 |        0 |        0
1040.27/1040.66	c 1040s |      25 |  8911455 |  6793098 |     1342  12265 |        0 |        0
1042.26/1042.66	c 1042s |      25 |  8926441 |  6804898 |     1342  12282 |        0 |        0
1044.26/1044.67	c 1044s |      25 |  8940485 |  6816398 |     1342  12299 |        0 |        0
1046.25/1046.68	c 1046s |      25 |  8953996 |  6827698 |     1342  12315 |        0 |        0
1048.25/1048.69	c 1048s |      25 |  8967920 |  6839198 |     1342  12331 |        0 |        0
1050.35/1050.70	c 1050s |      25 |  8982356 |  6851098 |     1342  12349 |        0 |        0
1052.36/1052.71	c 1052s |      25 |  8999171 |  6863998 |     1342  12367 |        0 |        0
1054.35/1054.73	c 1054s |      25 |  9012297 |  6874798 |     1342  12383 |        0 |        0
1056.35/1056.73	c 1056s |      25 |  9025630 |  6885898 |     1342  12399 |        0 |        0
1058.35/1058.75	c 1058s |      25 |  9039391 |  6896998 |     1342  12415 |        0 |        0
1060.35/1060.77	c 1060s |      25 |  9053666 |  6908698 |     1342  12431 |        0 |        0
1062.35/1062.78	c 1062s |      25 |  9067011 |  6919998 |     1342  12448 |        0 |        0
1064.34/1064.78	c 1064s |      25 |  9079884 |  6930798 |     1342  12463 |        0 |        0
1066.34/1066.78	c 1066s |      25 |  9094312 |  6942398 |     1342  12480 |        0 |        0
1068.44/1068.80	c 1068s |      25 |  9109306 |  6954498 |     1342  12497 |        0 |        0
1070.44/1070.81	c 1070s |      25 |  9123143 |  6965898 |     1342  12514 |        0 |        0
1072.44/1072.81	c 1072s |      25 |  9136929 |  6977098 |     1342  12530 |        0 |        0
1074.44/1074.82	c 1074s |      25 |  9150860 |  6988898 |     1342  12547 |        0 |        0
1076.43/1076.82	c 1076s |      25 |  9164045 |  6999898 |     1342  12563 |        0 |        0
1078.44/1078.83	c 1078s |      25 |  9177222 |  7010898 |     1342  12579 |        0 |        0
1080.44/1080.84	c 1080s |      25 |  9192243 |  7022898 |     1342  12596 |        0 |        0
1082.44/1082.85	c 1082s |      25 |  9207645 |  7034998 |     1342  12613 |        0 |        0
1084.44/1084.86	c 1084s |      25 |  9222030 |  7046698 |     1342  12630 |        0 |        0
1086.44/1086.87	c 1086s |      25 |  9236365 |  7058498 |     1342  12647 |        0 |        0
1088.43/1088.87	c 1088s |      25 |  9250519 |  7070198 |     1342  12664 |        0 |        0
1090.43/1090.88	c 1090s |      25 |  9263841 |  7081598 |     1342  12680 |        0 |        0
1092.43/1092.89	c 1092s |      25 |  9276679 |  7092698 |     1342  12697 |        0 |        0
1094.53/1094.90	c 1094s |      25 |  9288411 |  7103198 |     1342  12712 |        0 |        0
1096.52/1096.90	c 1096s |      25 |  9300897 |  7113998 |     1342  12727 |        0 |        0
1098.42/1098.90	c 1098s |      25 |  9313747 |  7124998 |     1342  12743 |        0 |        0
1100.52/1100.91	c 1100s |      25 |  9327708 |  7136498 |     1342  12760 |        0 |        0
1102.52/1102.92	c 1102s |      25 |  9341699 |  7147998 |     1342  12776 |        0 |        0
1104.52/1104.93	c 1104s |      25 |  9356492 |  7160098 |     1342  12794 |        0 |        0
1106.51/1106.93	c 1106s |      25 |  9371483 |  7172198 |     1342  12811 |        0 |        0
1108.52/1108.93	c 1108s |      25 |  9384798 |  7183598 |     1342  12827 |        0 |        0
1110.51/1110.94	c 1110s |      25 |  9398922 |  7195498 |     1342  12844 |        0 |        0
1112.51/1112.95	c 1112s |      25 |  9413113 |  7207198 |     1342  12861 |        0 |        0
1114.51/1114.96	c 1114s |      25 |  9427329 |  7219198 |     1342  12878 |        0 |        0
1116.50/1116.97	c 1116s |      25 |  9440614 |  7230298 |     1342  12894 |        0 |        0
1118.50/1118.97	c 1118s |      25 |  9454171 |  7241698 |     1342  12910 |        0 |        0
1120.51/1120.99	c 1120s |      25 |  9466459 |  7252298 |     1342  12926 |        0 |        0
1122.61/1123.00	c 1122s |      25 |  9481395 |  7264398 |     1342  12943 |        0 |        0
1124.61/1125.02	c 1125s |      25 |  9496538 |  7276398 |     1342  12960 |        0 |        0
1126.60/1127.02	c 1127s |      25 |  9511303 |  7288198 |     1342  12977 |        0 |        0
1128.60/1129.04	c 1129s |      25 |  9525210 |  7299698 |     1342  12994 |        0 |        0
1130.60/1131.05	c 1131s |      25 |  9539400 |  7311298 |     1342  13010 |        0 |        0
1132.60/1133.05	c 1133s |      25 |  9553364 |  7322398 |     1342  13026 |        0 |        0
1134.60/1135.07	c 1135s |      25 |  9567052 |  7333498 |     1342  13042 |        0 |        0
1136.59/1137.08	c 1137s |      25 |  9578873 |  7343498 |     1342  13056 |        0 |        0
1138.59/1139.08	c 1139s |      25 |  9590725 |  7353698 |     1342  13071 |        0 |        0
1140.59/1141.09	c 1141s |      25 |  9604076 |  7364598 |     1342  13086 |        0 |        0
1142.69/1143.11	c 1143s |      25 |  9615903 |  7374698 |     1342  13101 |        0 |        0
1144.70/1145.12	c 1145s |      25 |  9629767 |  7385598 |     1342  13116 |        0 |        0
1146.68/1147.13	c 1147s |      25 |  9644508 |  7397298 |     1342  13133 |        0 |        0
1148.68/1149.13	c 1149s |      25 |  9659829 |  7409398 |     1342  13150 |        0 |        0
1150.68/1151.15	c 1151s |      25 |  9674347 |  7421198 |     1342  13168 |        0 |        0
1152.68/1153.15	c 1153s |      25 |  9689432 |  7432998 |     1342  13185 |        0 |        0
1154.69/1155.15	c 1155s |      25 |  9703582 |  7444598 |     1342  13201 |        0 |        0
1156.67/1157.16	c 1157s |      25 |  9718449 |  7456398 |     1342  13218 |        0 |        0
1158.67/1159.18	c 1159s |      25 |  9733281 |  7468198 |     1342  13235 |        0 |        0
1160.67/1161.19	c 1161s |      25 |  9748290 |  7479998 |     1342  13252 |        0 |        0
1162.77/1163.20	c 1163s |      25 |  9763554 |  7491798 |     1342  13269 |        0 |        0
1164.77/1165.20	c 1165s |      25 |  9779104 |  7503598 |     1342  13286 |        0 |        0
1166.77/1167.20	c 1167s |      25 |  9794010 |  7515298 |     1342  13303 |        0 |        0
1168.77/1169.21	c 1169s |      25 |  9807647 |  7526198 |     1342  13319 |        0 |        0
1170.76/1171.23	c 1171s |      25 |  9822529 |  7538098 |     1342  13336 |        0 |        0
1172.76/1173.24	c 1173s |      25 |  9836261 |  7549098 |     1477  13351 |        0 |        0
1174.76/1175.25	c 1175s |      25 |  9850616 |  7560698 |     1477  13366 |        0 |        0
1176.76/1177.26	c 1177s |      25 |  9864814 |  7572098 |     1477  13381 |        0 |        0
1178.76/1179.29	c 1179s |      25 |  9878755 |  7583098 |     1477  13396 |        0 |        0
1180.86/1181.30	c 1181s |      25 |  9892195 |  7593798 |     1477  13410 |        0 |        0
1181.56/1182.01	c 1181s |      26 |  9897289 |  7597752 |     1477  13415 |        0 |        0
1183.56/1184.03	c 1184s |      26 |  9911500 |  7609052 |     1477  13429 |        0 |        0
1185.55/1186.03	c 1186s |      26 |  9923561 |  7619152 |     1477  13443 |        0 |        0
1187.55/1188.05	c 1188s |      26 |  9935502 |  7629652 |     1477  13456 |        0 |        0
1189.55/1190.06	c 1190s |      26 |  9948298 |  7639952 |     1477  13470 |        0 |        0
1191.55/1192.08	c 1192s |      26 |  9959298 |  7649452 |     1477  13482 |        0 |        0
1193.66/1194.10	c 1194s |      26 |  9972547 |  7660352 |     1477  13496 |        0 |        0
1195.65/1196.11	c 1196s |      26 |  9986996 |  7671652 |     1477  13510 |        0 |        0
1197.65/1198.13	c 1198s |      26 |  9998253 |  7681552 |     1477  13523 |        0 |        0
1199.66/1200.13	c 1200s |      26 | 10010749 |  7692152 |     1477  13537 |        0 |        0
1201.65/1202.14	c 1202s |      26 | 10023555 |  7702852 |     1477  13551 |        0 |        0
1203.65/1204.14	c 1204s |      26 | 10037707 |  7713952 |     1477  13566 |        0 |        0
1205.64/1206.15	c 1206s |      26 | 10052429 |  7725352 |     1477  13580 |        0 |        0
1207.64/1208.16	c 1208s |      26 | 10066237 |  7736452 |     1477  13595 |        0 |        0
1209.65/1210.17	c 1210s |      26 | 10079858 |  7747652 |     1477  13609 |        0 |        0
1211.64/1212.17	c 1212s |      26 | 10095245 |  7759352 |     1477  13624 |        0 |        0
1213.64/1214.18	c 1214s |      26 | 10110797 |  7770952 |     1477  13640 |        0 |        0
1215.64/1216.19	c 1216s |      26 | 10125060 |  7782252 |     1477  13655 |        0 |        0
1217.63/1218.19	c 1218s |      26 | 10140565 |  7793852 |     1477  13670 |        0 |        0
1219.73/1220.21	c 1220s |      26 | 10155309 |  7804952 |     1477  13684 |        0 |        0
1221.74/1222.22	c 1222s |      26 | 10170393 |  7816352 |     1477  13699 |        0 |        0
1223.73/1224.24	c 1224s |      26 | 10184325 |  7827652 |     1477  13714 |        0 |        0
1225.73/1226.25	c 1226s |      26 | 10197067 |  7838152 |     1477  13728 |        0 |        0
1227.73/1228.25	c 1228s |      26 | 10211988 |  7849752 |     1477  13743 |        0 |        0
1229.73/1230.27	c 1230s |      26 | 10227764 |  7861652 |     1477  13758 |        0 |        0
1231.73/1232.28	c 1232s |      26 | 10245221 |  7874252 |     1477  13775 |        0 |        0
1233.73/1234.29	c 1234s |      26 | 10261779 |  7886752 |     1477  13791 |        0 |        0
1235.82/1236.30	c 1236s |      26 | 10277291 |  7898852 |     1477  13807 |        0 |        0
1237.82/1238.32	c 1238s |      26 | 10291678 |  7910352 |     1477  13822 |        0 |        0
1239.82/1240.33	c 1240s |      26 | 10307269 |  7922252 |     1477  13838 |        0 |        0
1241.82/1242.34	c 1242s |      26 | 10321201 |  7933452 |     1477  13852 |        0 |        0
1243.82/1244.35	c 1244s |      26 | 10336114 |  7945052 |     1477  13868 |        0 |        0
1245.82/1246.35	c 1246s |      26 | 10350902 |  7956552 |     1477  13883 |        0 |        0
1247.81/1248.36	c 1248s |      26 | 10366706 |  7968352 |     1477  13898 |        0 |        0
1249.81/1250.36	c 1250s |      26 | 10380764 |  7979352 |     1477  13912 |        0 |        0
1251.81/1252.36	c 1252s |      26 | 10395515 |  7990752 |     1477  13927 |        0 |        0
1253.81/1254.37	c 1254s |      26 | 10411028 |  8002152 |     1477  13942 |        0 |        0
1255.81/1256.39	c 1256s |      26 | 10424580 |  8013252 |     1477  13957 |        0 |        0
1257.91/1258.40	c 1258s |      26 | 10440121 |  8024952 |     1477  13972 |        0 |        0
1259.90/1260.43	c 1260s |      26 | 10456280 |  8036952 |     1477  13988 |        0 |        0
1261.90/1262.43	c 1262s |      26 | 10470601 |  8048552 |     1477  14003 |        0 |        0
1263.90/1264.43	c 1264s |      26 | 10484479 |  8060052 |     1477  14018 |        0 |        0
1265.90/1266.45	c 1266s |      26 | 10497606 |  8070952 |     1477  14032 |        0 |        0
1267.90/1268.47	c 1268s |      26 | 10510350 |  8081652 |     1477  14046 |        0 |        0
1269.90/1270.48	c 1270s |      26 | 10523548 |  8092752 |     1477  14061 |        0 |        0
1271.90/1272.48	c 1272s |      26 | 10538199 |  8104452 |     1477  14076 |        0 |        0
1273.90/1274.49	c 1274s |      26 | 10551809 |  8115852 |     1477  14091 |        0 |        0
1275.99/1276.50	c 1276s |      26 | 10564380 |  8126652 |     1477  14105 |        0 |        0
1277.99/1278.51	c 1278s |      26 | 10578169 |  8137852 |     1477  14120 |        0 |        0
1280.00/1280.53	c 1280s |      26 | 10593112 |  8149652 |     1477  14135 |        0 |        0
1282.00/1282.53	c 1282s |      26 | 10608829 |  8162052 |     1477  14152 |        0 |        0
1284.00/1284.53	c 1284s |      26 | 10625133 |  8174252 |     1477  14168 |        0 |        0
1285.99/1286.55	c 1286s |      26 | 10641338 |  8186052 |     1477  14183 |        0 |        0
1287.99/1288.56	c 1288s |      26 | 10658048 |  8197752 |     1477  14199 |        0 |        0
1289.99/1290.58	c 1290s |      26 | 10670850 |  8208652 |     1477  14213 |        0 |        0
1292.00/1292.59	c 1292s |      26 | 10684367 |  8219652 |     1477  14228 |        0 |        0
1293.99/1294.59	c 1294s |      26 | 10700006 |  8231352 |     1477  14243 |        0 |        0
1296.08/1296.61	c 1296s |      26 | 10717185 |  8243652 |     1477  14259 |        0 |        0
1298.08/1298.63	c 1298s |      26 | 10732885 |  8255352 |     1477  14274 |        0 |        0
1300.08/1300.63	c 1300s |      26 | 10746998 |  8266052 |     1477  14288 |        0 |        0
1302.08/1302.64	c 1302s |      26 | 10761830 |  8277552 |     1477  14303 |        0 |        0
1304.09/1304.64	c 1304s |      26 | 10777098 |  8289152 |     1477  14318 |        0 |        0
1306.07/1306.66	c 1306s |      26 | 10792261 |  8301052 |     1477  14334 |        0 |        0
1308.07/1308.67	c 1308s |      26 | 10807270 |  8312652 |     1477  14349 |        0 |        0
1310.07/1310.67	c 1310s |      26 | 10821987 |  8324052 |     1477  14364 |        0 |        0
1312.07/1312.67	c 1312s |      26 | 10835029 |  8334652 |     1477  14378 |        0 |        0
1314.08/1314.67	c 1314s |      26 | 10849124 |  8345552 |     1477  14392 |        0 |        0
1316.07/1316.68	c 1316s |      26 | 10861537 |  8355852 |     1477  14406 |        0 |        0
1318.07/1318.69	c 1318s |      26 | 10872711 |  8365652 |     1477  14418 |        0 |        0
1320.17/1320.70	c 1320s |      26 | 10883791 |  8375452 |     1477  14431 |        0 |        0
1322.17/1322.72	c 1322s |      26 | 10894866 |  8385252 |     1477  14444 |        0 |        0
1324.17/1324.72	c 1324s |      26 | 10906785 |  8395252 |     1477  14457 |        0 |        0
1326.17/1326.74	c 1326s |      26 | 10919336 |  8405552 |     1477  14470 |        0 |        0
1328.16/1328.75	c 1328s |      26 | 10931109 |  8415652 |     1477  14483 |        0 |        0
1330.16/1330.76	c 1330s |      26 | 10944004 |  8426352 |     1477  14497 |        0 |        0
1332.16/1332.77	c 1332s |      26 | 10957843 |  8437452 |     1477  14512 |        0 |        0
1334.16/1334.78	c 1334s |      26 | 10971752 |  8448352 |     1477  14526 |        0 |        0
1336.15/1336.79	c 1336s |      26 | 10986346 |  8459652 |     1477  14541 |        0 |        0
1338.26/1338.81	c 1338s |      26 | 11001328 |  8470952 |     1477  14556 |        0 |        0
1340.25/1340.82	c 1340s |      26 | 11014475 |  8481552 |     1477  14569 |        0 |        0
1342.25/1342.82	c 1342s |      26 | 11026691 |  8491852 |     1477  14583 |        0 |        0
1344.25/1344.84	c 1344s |      26 | 11039964 |  8502752 |     1477  14597 |        0 |        0
1346.25/1346.84	c 1346s |      26 | 11054807 |  8514052 |     1477  14612 |        0 |        0
1348.25/1348.85	c 1348s |      26 | 11068700 |  8525052 |     1477  14626 |        0 |        0
1350.25/1350.85	c 1350s |      26 | 11083770 |  8536652 |     1477  14641 |        0 |        0
1352.25/1352.86	c 1352s |      26 | 11098424 |  8548152 |     1477  14657 |        0 |        0
1354.25/1354.87	c 1354s |      26 | 11112742 |  8558752 |     1477  14670 |        0 |        0
1356.24/1356.87	c 1356s |      26 | 11125936 |  8569252 |     1477  14684 |        0 |        0
1358.24/1358.87	c 1358s |      26 | 11140608 |  8580452 |     1477  14699 |        0 |        0
1360.25/1360.88	c 1360s |      26 | 11155227 |  8591552 |     1477  14713 |        0 |        0
1362.24/1362.89	c 1362s |      26 | 11170849 |  8603152 |     1477  14728 |        0 |        0
1364.34/1364.91	c 1364s |      26 | 11185830 |  8614452 |     1477  14743 |        0 |        0
1366.34/1366.91	c 1366s |      26 | 11200724 |  8625552 |     1477  14758 |        0 |        0
1368.34/1368.91	c 1368s |      26 | 11213004 |  8635552 |     1477  14771 |        0 |        0
1370.34/1370.93	c 1370s |      26 | 11227864 |  8646652 |     1477  14785 |        0 |        0
1372.35/1372.94	c 1372s |      26 | 11242084 |  8657452 |     1477  14799 |        0 |        0
1374.34/1374.95	c 1374s |      26 | 11255575 |  8668252 |     1477  14813 |        0 |        0
1376.34/1376.96	c 1376s |      26 | 11270169 |  8679652 |     1477  14828 |        0 |        0
1378.34/1378.98	c 1378s |      26 | 11283346 |  8690452 |     1477  14843 |        0 |        0
1380.34/1380.99	c 1380s |      26 | 11295547 |  8700652 |     1477  14856 |        0 |        0
1382.43/1383.00	c 1382s |      26 | 11308931 |  8711152 |     1477  14870 |        0 |        0
1384.44/1385.02	c 1385s |      26 | 11319996 |  8720552 |     1477  14882 |        0 |        0
1386.43/1387.02	c 1387s |      26 | 11332863 |  8731052 |     1477  14896 |        0 |        0
1388.43/1389.03	c 1389s |      26 | 11345048 |  8741252 |     1477  14909 |        0 |        0
1390.43/1391.05	c 1391s |      26 | 11358226 |  8752052 |     1477  14923 |        0 |        0
1392.43/1393.06	c 1393s |      26 | 11370276 |  8762152 |     1477  14937 |        0 |        0
1394.43/1395.08	c 1395s |      26 | 11384941 |  8773552 |     1477  14952 |        0 |        0
1396.44/1397.08	c 1397s |      26 | 11399713 |  8784852 |     1477  14966 |        0 |        0
1398.43/1399.09	c 1399s |      26 | 11412547 |  8795252 |     1477  14980 |        0 |        0
1400.53/1401.10	c 1401s |      26 | 11424142 |  8805252 |     1477  14993 |        0 |        0
1402.54/1403.12	c 1403s |      26 | 11438908 |  8816252 |     1477  15008 |        0 |        0
1404.54/1405.12	c 1405s |      26 | 11453651 |  8827252 |     1477  15022 |        0 |        0
1406.54/1407.13	c 1407s |      26 | 11470151 |  8838852 |     1477  15037 |        0 |        0
1408.54/1409.13	c 1409s |      26 | 11485560 |  8850252 |     1477  15052 |        0 |        0
1410.54/1411.14	c 1411s |      26 | 11501441 |  8861552 |     1477  15067 |        0 |        0
1412.54/1413.14	c 1413s |      26 | 11516607 |  8872652 |     1477  15082 |        0 |        0
1414.54/1415.15	c 1415s |      26 | 11530465 |  8883452 |     1477  15096 |        0 |        0
1416.54/1417.16	c 1417s |      26 | 11541719 |  8892952 |     1477  15108 |        0 |        0
1418.54/1419.17	c 1419s |      26 | 11553238 |  8902852 |     1477  15121 |        0 |        0
1420.53/1421.19	c 1421s |      26 | 11565910 |  8913552 |     1477  15135 |        0 |        0
1422.63/1423.20	c 1423s |      26 | 11580023 |  8924452 |     1477  15149 |        0 |        0
1424.63/1425.21	c 1425s |      26 | 11593721 |  8935052 |     1477  15163 |        0 |        0
1426.63/1427.21	c 1427s |      26 | 11606197 |  8945452 |     1477  15177 |        0 |        0
1428.63/1429.22	c 1429s |      26 | 11619365 |  8955852 |     1477  15190 |        0 |        0
1430.64/1431.23	c 1431s |      26 | 11631432 |  8966052 |     1477  15203 |        0 |        0
1432.63/1433.24	c 1433s |      26 | 11644751 |  8976752 |     1477  15217 |        0 |        0
1434.63/1435.26	c 1435s |      26 | 11658924 |  8987952 |     1477  15232 |        0 |        0
1436.63/1437.27	c 1437s |      26 | 11672111 |  8998652 |     1477  15246 |        0 |        0
1438.63/1439.27	c 1439s |      26 | 11685273 |  9009152 |     1477  15260 |        0 |        0
1440.63/1441.28	c 1441s |      26 | 11700092 |  9020252 |     1477  15274 |        0 |        0
1442.63/1443.29	c 1443s |      26 | 11712819 |  9030352 |     1477  15287 |        0 |        0
1444.73/1445.30	c 1445s |      26 | 11725498 |  9040252 |     1477  15300 |        0 |        0
1446.73/1447.30	c 1447s |      26 | 11737196 |  9050052 |     1477  15313 |        0 |        0
1448.72/1449.32	c 1449s |      26 | 11750164 |  9060452 |     1477  15327 |        0 |        0
1450.72/1451.32	c 1451s |      26 | 11763748 |  9071152 |     1477  15341 |        0 |        0
1452.72/1453.34	c 1453s |      26 | 11776812 |  9081252 |     1477  15354 |        0 |        0
1454.73/1455.35	c 1455s |      26 | 11788680 |  9090952 |     1477  15367 |        0 |        0
1456.72/1457.35	c 1457s |      26 | 11801878 |  9101252 |     1477  15380 |        0 |        0
1458.72/1459.36	c 1459s |      26 | 11815187 |  9111752 |     1477  15394 |        0 |        0
1460.72/1461.37	c 1461s |      26 | 11827889 |  9121952 |     1477  15407 |        0 |        0
1462.72/1463.37	c 1463s |      26 | 11839857 |  9131852 |     1477  15420 |        0 |        0
1464.73/1465.39	c 1465s |      26 | 11852974 |  9142352 |     1477  15434 |        0 |        0
1466.83/1467.41	c 1467s |      26 | 11867155 |  9152752 |     1477  15448 |        0 |        0
1468.82/1469.43	c 1469s |      26 | 11880699 |  9163152 |     1477  15461 |        0 |        0
1470.82/1471.44	c 1471s |      26 | 11894576 |  9173652 |     1477  15475 |        0 |        0
1472.82/1473.44	c 1473s |      26 | 11906969 |  9183352 |     1477  15487 |        0 |        0
1474.82/1475.45	c 1475s |      26 | 11918612 |  9192952 |     1477  15500 |        0 |        0
1476.83/1477.47	c 1477s |      26 | 11929414 |  9202152 |     1477  15512 |        0 |        0
1478.82/1479.48	c 1479s |      26 | 11942724 |  9212552 |     1477  15526 |        0 |        0
1480.82/1481.48	c 1481s |      26 | 11956469 |  9223052 |     1477  15539 |        0 |        0
1482.82/1483.49	c 1483s |      26 | 11969865 |  9233552 |     1477  15553 |        0 |        0
1484.92/1485.50	c 1485s |      26 | 11983743 |  9244552 |     1477  15567 |        0 |        0
1486.92/1487.50	c 1487s |      26 | 11998836 |  9255952 |     1477  15582 |        0 |        0
1488.92/1489.51	c 1489s |      26 | 12012295 |  9266552 |     1477  15596 |        0 |        0
1490.92/1491.52	c 1491s |      26 | 12024592 |  9276252 |     1477  15609 |        0 |        0
1492.92/1493.53	c 1493s |      26 | 12041346 |  9287552 |     1477  15624 |        0 |        0
1494.92/1495.53	c 1495s |      26 | 12053596 |  9297352 |     1477  15636 |        0 |        0
1496.92/1497.54	c 1497s |      26 | 12066360 |  9307252 |     1477  15649 |        0 |        0
1498.93/1499.56	c 1499s |      26 | 12079545 |  9317252 |     1477  15662 |        0 |        0
1500.93/1501.56	c 1501s |      26 | 12092264 |  9327152 |     1477  15675 |        0 |        0
1502.92/1503.56	c 1503s |      26 | 12104226 |  9337052 |     1477  15689 |        0 |        0
1504.92/1505.57	c 1505s |      26 | 12116745 |  9347352 |     1477  15702 |        0 |        0
1506.92/1507.57	c 1507s |      26 | 12129271 |  9357452 |     1477  15715 |        0 |        0
1508.92/1509.57	c 1509s |      26 | 12142593 |  9368252 |     1477  15730 |        0 |        0
1510.93/1511.58	c 1511s |      26 | 12154867 |  9378452 |     1477  15743 |        0 |        0
1512.92/1513.58	c 1513s |      26 | 12167011 |  9388552 |     1477  15756 |        0 |        0
1514.92/1515.59	c 1515s |      26 | 12179798 |  9398952 |     1477  15770 |        0 |        0
1517.02/1517.60	c 1517s |      26 | 12193653 |  9409452 |     1477  15784 |        0 |        0
1519.02/1519.61	c 1519s |      26 | 12206975 |  9419752 |     1477  15797 |        0 |        0
1521.02/1521.62	c 1521s |      26 | 12219690 |  9429852 |     1477  15810 |        0 |        0
1523.03/1523.62	c 1523s |      26 | 12234103 |  9440752 |     1477  15824 |        0 |        0
1525.02/1525.64	c 1525s |      26 | 12248019 |  9451552 |     1477  15839 |        0 |        0
1527.02/1527.65	c 1527s |      26 | 12260774 |  9461952 |     1477  15852 |        0 |        0
1529.02/1529.65	c 1529s |      26 | 12274152 |  9472652 |     1477  15866 |        0 |        0
1531.02/1531.67	c 1531s |      26 | 12289154 |  9483952 |     1477  15881 |        0 |        0
1533.02/1533.68	c 1533s |      26 | 12302112 |  9494252 |     1477  15895 |        0 |        0
1535.02/1535.70	c 1535s |      26 | 12314774 |  9504152 |     1477  15908 |        0 |        0
1537.11/1537.71	c 1537s |      26 | 12327820 |  9514252 |     1477  15921 |        0 |        0
1539.11/1539.71	c 1539s |      26 | 12339701 |  9523852 |     1477  15934 |        0 |        0
1541.11/1541.72	c 1541s |      26 | 12353496 |  9534852 |     1477  15948 |        0 |        0
1543.11/1543.73	c 1543s |      26 | 12368184 |  9546052 |     1477  15963 |        0 |        0
1545.11/1545.73	c 1545s |      26 | 12381473 |  9556752 |     1477  15977 |        0 |        0
1547.12/1547.73	c 1547s |      26 | 12395148 |  9567452 |     1477  15991 |        0 |        0
1549.11/1549.74	c 1549s |      26 | 12410760 |  9579152 |     1477  16006 |        0 |        0
1551.11/1551.75	c 1551s |      26 | 12424816 |  9590252 |     1477  16021 |        0 |        0
1553.11/1553.77	c 1553s |      26 | 12439703 |  9601652 |     1477  16035 |        0 |        0
1555.11/1555.78	c 1555s |      26 | 12453781 |  9612452 |     1477  16050 |        0 |        0
1557.21/1557.80	c 1557s |      26 | 12467730 |  9622952 |     1477  16063 |        0 |        0
1559.22/1559.81	c 1559s |      26 | 12481537 |  9633852 |     1477  16078 |        0 |        0
1561.21/1561.83	c 1561s |      26 | 12493774 |  9643452 |     1477  16090 |        0 |        0
1563.21/1563.83	c 1563s |      26 | 12506269 |  9653352 |     1477  16103 |        0 |        0
1565.21/1565.83	c 1565s |      26 | 12518765 |  9663152 |     1477  16116 |        0 |        0
1567.21/1567.84	c 1567s |      26 | 12531498 |  9673152 |     1477  16129 |        0 |        0
1569.22/1569.85	c 1569s |      26 | 12544962 |  9683552 |     1477  16143 |        0 |        0
1571.21/1571.87	c 1571s |      26 | 12561728 |  9695252 |     1477  16158 |        0 |        0
1573.21/1573.88	c 1573s |      26 | 12578533 |  9706752 |     1477  16173 |        0 |        0
1575.21/1575.89	c 1575s |      26 | 12591769 |  9717352 |     1477  16187 |        0 |        0
1577.21/1577.89	c 1577s |      26 | 12605991 |  9728452 |     1477  16201 |        0 |        0
1579.31/1579.90	c 1579s |      26 | 12621150 |  9739952 |     1477  16217 |        0 |        0
1581.32/1581.92	c 1581s |      26 | 12635276 |  9750752 |     1477  16231 |        0 |        0
1583.31/1583.92	c 1583s |      26 | 12647272 |  9760652 |     1477  16244 |        0 |        0
1585.31/1585.93	c 1585s |      26 | 12660498 |  9771052 |     1477  16257 |        0 |        0
1587.31/1587.93	c 1587s |      26 | 12675789 |  9782252 |     1477  16272 |        0 |        0
1589.31/1589.94	c 1589s |      26 | 12691022 |  9793352 |     1477  16287 |        0 |        0
1591.31/1591.96	c 1591s |      26 | 12705104 |  9804052 |     1477  16301 |        0 |        0
1593.31/1593.97	c 1593s |      26 | 12719609 |  9815352 |     1477  16316 |        0 |        0
1595.31/1595.98	c 1595s |      26 | 12735275 |  9826852 |     1477  16331 |        0 |        0
1597.31/1597.99	c 1597s |      26 | 12751082 |  9838452 |     1477  16346 |        0 |        0
1599.41/1600.00	c 1599s |      26 | 12765661 |  9849852 |     1477  16361 |        0 |        0
1601.41/1602.00	c 1601s |      26 | 12780088 |  9861152 |     1477  16376 |        0 |        0
1603.40/1604.00	c 1603s |      26 | 12796660 |  9873352 |     1477  16392 |        0 |        0
1605.30/1606.00	c 1605s |      26 | 12811878 |  9885052 |     1477  16408 |        0 |        0
1607.40/1608.01	c 1608s |      26 | 12825792 |  9896352 |     1477  16423 |        0 |        0
1609.40/1610.02	c 1610s |      26 | 12839506 |  9907252 |     1477  16437 |        0 |        0
1611.40/1612.04	c 1612s |      26 | 12853410 |  9918352 |     1477  16451 |        0 |        0
1613.40/1614.05	c 1614s |      26 | 12866252 |  9928652 |     1477  16465 |        0 |        0
1615.41/1616.07	c 1616s |      26 | 12878334 |  9938852 |     1477  16478 |        0 |        0
1617.40/1618.07	c 1618s |      26 | 12892482 |  9949652 |     1477  16492 |        0 |        0
1619.41/1620.08	c 1620s |      26 | 12907679 |  9961052 |     1477  16507 |        0 |        0
1621.51/1622.10	c 1622s |      26 | 12922240 |  9972452 |     1477  16522 |        0 |        0
1623.51/1624.10	c 1624s |      26 | 12937359 |  9983652 |     1477  16537 |        0 |        0
1625.51/1626.10	c 1626s |      26 | 12950627 |  9993952 |     1477  16550 |        0 |        0
1627.51/1628.11	c 1628s |      26 | 12963260 | 10004352 |     1477  16564 |        0 |        0
1629.51/1630.13	c 1630s |      26 | 12976433 | 10014852 |     1477  16578 |        0 |        0
1631.50/1632.13	c 1632s |      26 | 12989054 | 10024752 |     1477  16591 |        0 |        0
1633.50/1634.14	c 1634s |      26 | 13001816 | 10035052 |     1477  16604 |        0 |        0
1635.50/1636.15	c 1636s |      26 | 13017240 | 10046252 |     1477  16619 |        0 |        0
1637.50/1638.15	c 1638s |      26 | 13032210 | 10058052 |     1477  16634 |        0 |        0
1639.51/1640.15	c 1640s |      26 | 13047772 | 10069752 |     1477  16650 |        0 |        0
1641.50/1642.17	c 1642s |      26 | 13062276 | 10080952 |     1477  16665 |        0 |        0
1643.50/1644.18	c 1644s |      26 | 13074283 | 10091152 |     1477  16678 |        0 |        0
1645.50/1646.18	c 1646s |      26 | 13086729 | 10101452 |     1477  16691 |        0 |        0
1647.50/1648.19	c 1648s |      26 | 13099501 | 10111652 |     1477  16704 |        0 |        0
1649.60/1650.20	c 1650s |      26 | 13112408 | 10122252 |     1477  16718 |        0 |        0
1651.61/1652.21	c 1652s |      26 | 13125174 | 10132852 |     1477  16732 |        0 |        0
1653.60/1654.22	c 1654s |      26 | 13138070 | 10143452 |     1477  16746 |        0 |        0
1655.60/1656.23	c 1656s |      26 | 13152645 | 10154352 |     1477  16760 |        0 |        0
1657.60/1658.24	c 1658s |      26 | 13165836 | 10164852 |     1477  16774 |        0 |        0
1659.60/1660.25	c 1660s |      26 | 13178094 | 10174752 |     1477  16787 |        0 |        0
1661.61/1662.26	c 1662s |      26 | 13191042 | 10185152 |     1477  16801 |        0 |        0
1663.60/1664.26	c 1664s |      26 | 13206914 | 10196652 |     1477  16816 |        0 |        0
1665.60/1666.27	c 1666s |      26 | 13222301 | 10207952 |     1477  16831 |        0 |        0
1667.60/1668.28	c 1668s |      26 | 13237677 | 10219152 |     1477  16845 |        0 |        0
1669.60/1670.28	c 1670s |      26 | 13251952 | 10229752 |     1477  16859 |        0 |        0
1671.60/1672.29	c 1672s |      26 | 13265341 | 10239952 |     1477  16872 |        0 |        0
1673.60/1674.29	c 1674s |      26 | 13278462 | 10250152 |     1477  16886 |        0 |        0
1675.70/1676.30	c 1676s |      26 | 13291988 | 10260752 |     1477  16899 |        0 |        0
1677.70/1678.31	c 1678s |      26 | 13306120 | 10271752 |     1477  16914 |        0 |        0
1679.69/1680.31	c 1680s |      26 | 13319870 | 10282452 |     1477  16928 |        0 |        0
1681.69/1682.32	c 1682s |      26 | 13334525 | 10293152 |     1477  16942 |        0 |        0
1683.69/1684.34	c 1684s |      26 | 13347859 | 10303752 |     1477  16955 |        0 |        0
1685.70/1686.34	c 1686s |      26 | 13360867 | 10314152 |     1477  16969 |        0 |        0
1687.69/1688.34	c 1688s |      26 | 13375237 | 10324852 |     1477  16983 |        0 |        0
1689.69/1690.35	c 1690s |      26 | 13390966 | 10335852 |     1477  16997 |        0 |        0
1691.69/1692.36	c 1692s |      26 | 13405859 | 10347052 |     1477  17012 |        0 |        0
1693.69/1694.37	c 1694s |      26 | 13419062 | 10357552 |     1477  17026 |        0 |        0
1695.70/1696.38	c 1696s |      26 | 13433258 | 10368952 |     1477  17041 |        0 |        0
1697.69/1698.39	c 1698s |      26 | 13448796 | 10380452 |     1477  17056 |        0 |        0
1699.69/1700.39	c 1700s |      26 | 13462868 | 10391352 |     1477  17070 |        0 |        0
1701.79/1702.40	c 1702s |      26 | 13478577 | 10402752 |     1477  17085 |        0 |        0
1703.79/1704.40	c 1704s |      26 | 13494783 | 10414252 |     1477  17100 |        0 |        0
1705.79/1706.40	c 1706s |      26 | 13507190 | 10424752 |     1477  17114 |        0 |        0
1707.80/1708.42	c 1708s |      26 | 13521300 | 10435552 |     1477  17128 |        0 |        0
1709.79/1710.43	c 1710s |      26 | 13534765 | 10446252 |     1477  17142 |        0 |        0
1711.79/1712.44	c 1712s |      26 | 13550404 | 10457752 |     1477  17157 |        0 |        0
1713.79/1714.46	c 1714s |      26 | 13563073 | 10467952 |     1477  17170 |        0 |        0
1715.79/1716.47	c 1716s |      26 | 13577272 | 10478752 |     1477  17184 |        0 |        0
1717.78/1718.48	c 1718s |      26 | 13593302 | 10490352 |     1477  17199 |        0 |        0
1719.79/1720.48	c 1720s |      26 | 13608076 | 10501452 |     1477  17214 |        0 |        0
1721.78/1722.48	c 1722s |      26 | 13623988 | 10512752 |     1477  17229 |        0 |        0
1723.78/1724.49	c 1724s |      26 | 13639760 | 10524052 |     1477  17244 |        0 |        0
1725.88/1726.50	c 1726s |      26 | 13654970 | 10535152 |     1477  17258 |        0 |        0
1727.88/1728.50	c 1728s |      26 | 13668922 | 10546152 |     1477  17272 |        0 |        0
1729.88/1730.52	c 1730s |      26 | 13684254 | 10557652 |     1477  17288 |        0 |        0
1731.89/1732.52	c 1732s |      26 | 13699435 | 10568852 |     1477  17302 |        0 |        0
1733.88/1734.53	c 1734s |      26 | 13714940 | 10580152 |     1477  17317 |        0 |        0
1735.88/1736.55	c 1736s |      26 | 13729245 | 10591352 |     1477  17331 |        0 |        0
1737.88/1738.55	c 1738s |      26 | 13743022 | 10602452 |     1477  17346 |        0 |        0
1739.88/1740.56	c 1740s |      26 | 13756758 | 10613052 |     1477  17360 |        0 |        0
1741.89/1742.58	c 1742s |      26 | 13769034 | 10622952 |     1477  17373 |        0 |        0
1743.88/1744.59	c 1744s |      26 | 13783178 | 10633852 |     1477  17387 |        0 |        0
1745.98/1746.60	c 1746s |      26 | 13796996 | 10644652 |     1477  17401 |        0 |        0
1747.98/1748.61	c 1748s |      26 | 13809023 | 10654852 |     1477  17414 |        0 |        0
1749.99/1750.63	c 1750s |      26 | 13822395 | 10665152 |     1477  17428 |        0 |        0
1751.99/1752.64	c 1752s |      26 | 13837277 | 10676052 |     1477  17442 |        0 |        0
1753.99/1754.66	c 1754s |      26 | 13852465 | 10687052 |     1477  17456 |        0 |        0
1755.99/1756.67	c 1756s |      26 | 13865360 | 10697152 |     1477  17469 |        0 |        0
1757.98/1758.69	c 1758s |      26 | 13879752 | 10708152 |     1477  17484 |        0 |        0
1760.08/1760.71	c 1760s |      26 | 13892601 | 10718352 |     1477  17497 |        0 |        0
1762.08/1762.72	c 1762s |      26 | 13904375 | 10728252 |     1477  17510 |        0 |        0
1764.08/1764.72	c 1764s |      26 | 13916871 | 10738652 |     1477  17524 |        0 |        0
1766.09/1766.74	c 1766s |      26 | 13931295 | 10749552 |     1477  17538 |        0 |        0
1768.08/1768.74	c 1768s |      26 | 13944449 | 10760052 |     1477  17552 |        0 |        0
1770.08/1770.76	c 1770s |      26 | 13957229 | 10770452 |     1477  17566 |        0 |        0
1772.08/1772.78	c 1772s |      26 | 13970704 | 10780952 |     1477  17579 |        0 |        0
1774.08/1774.78	c 1774s |      26 | 13983002 | 10790752 |     1477  17592 |        0 |        0
1776.08/1776.79	c 1776s |      26 | 13996109 | 10801252 |     1477  17606 |        0 |        0
1778.19/1778.80	c 1778s |      26 | 14007289 | 10810652 |     1477  17618 |        0 |        0
1780.18/1780.82	c 1780s |      26 | 14019402 | 10820352 |     1477  17631 |        0 |        0
1782.18/1782.83	c 1782s |      26 | 14032244 | 10830252 |     1477  17644 |        0 |        0
1784.18/1784.84	c 1784s |      26 | 14045190 | 10840452 |     1477  17657 |        0 |        0
1786.18/1786.85	c 1786s |      26 | 14058535 | 10850852 |     1477  17670 |        0 |        0
1788.18/1788.86	c 1788s |      26 | 14071984 | 10861352 |     1477  17684 |        0 |        0
1790.18/1790.86	c 1790s |      26 | 14087352 | 10872252 |     1477  17698 |        0 |        0
1792.18/1792.87	c 1792s |      26 | 14101713 | 10883252 |     1477  17713 |        0 |        0
1794.18/1794.88	c 1794s |      26 | 14115736 | 10894152 |     1477  17727 |        0 |        0
1796.18/1796.88	c 1796s |      26 | 14131593 | 10904852 |     1477  17741 |        0 |        0
1798.27/1798.90	c 1798s |      26 | 14144828 | 10914852 |     1477  17754 |        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-4095924-1466098910/watcher-4095924-1466098910 -o /tmp/evaluation-result-4095924-1466098910/solver-4095924-1466098910 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095924-1466098910.opb 

pid=24907
running on 4 cores: 0,2,4,6

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.95 2.08 2.08 3/179 24910
/proc/meminfo: memFree=30739204/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 3098 0 0 0 0 0 0 0 20 0 4 0 11939949 845606912 2948 33554432000 4194304 16246674 140734740827536 140734740826960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 206959 2958 441 2943 0 203853 0
[pid=24910/tid=24911] ppid=24907 vsize=843196 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 863432704 3019 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=847292 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 867627008 3035 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=852412 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939949 872869888 3052 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100208 s]
/proc/loadavg: 1.95 2.08 2.08 3/179 24910
/proc/meminfo: memFree=30739204/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 24818 0 0 0 6 3 0 0 20 0 4 0 11939949 1247350784 24656 33554432000 4194304 16246674 140734740827536 140734740826960 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 304529 24664 711 2943 0 301423 0
[pid=24910/tid=24911] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 24670 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 24680 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 24687 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 1.95 2.08 2.08 3/179 24910
/proc/meminfo: memFree=30739204/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 47532 0 0 0 12 6 0 0 20 0 4 0 11939949 1247350784 47370 33554432000 4194304 16246674 140734740827536 140734740826960 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 304529 47378 711 2943 0 301423 0
[pid=24910/tid=24911] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 47386 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 47395 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 47401 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30046 s]
/proc/loadavg: 1.95 2.08 2.08 3/179 24910
/proc/meminfo: memFree=30739204/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 70614 0 0 0 20 9 0 0 20 0 4 0 11939949 1247350784 70453 33554432000 4194304 16246674 140734740827536 140734740809408 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 304529 70466 711 2943 0 301423 0
[pid=24910/tid=24911] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 70472 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 70477 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 70484 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700346 s]
/proc/loadavg: 1.95 2.08 2.08 3/179 24910
/proc/meminfo: memFree=30739204/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 165107 0 0 0 46 23 0 0 20 0 4 0 11939949 1247350784 164946 33554432000 4194304 16246674 140734740827536 140734740809408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 304529 164964 712 2943 0 301423 0
[pid=24910/tid=24911] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 164973 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 164979 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939949 1247350784 164983 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 1.95 2.08 2.08 4/183 24914
/proc/meminfo: memFree=28826132/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 245544 0 0 0 116 33 0 0 20 0 4 0 11939949 1248399360 245362 33554432000 4194304 16246674 140734740827536 140734740810536 5662406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 304785 245362 786 2943 0 301679 0
[pid=24910/tid=24911] ppid=24907 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1248399360 245362 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1248399360 245362 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1248399360 245362 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 1.95 2.08 2.08 4/183 24914
/proc/meminfo: memFree=28651632/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267410 0 0 0 273 36 0 0 20 0 4 0 11939949 1337528320 267228 33554432000 4194304 16246674 140734740827536 140734740809408 12477756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267228 786 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267228 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267228 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267228 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28650804/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267415 0 0 0 593 36 0 0 20 0 4 0 11939949 1337528320 267233 33554432000 4194304 16246674 140734740827536 140734740809408 12466815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267233 786 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267233 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267233 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267233 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28650756/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267437 0 0 0 1233 36 0 0 20 0 4 0 11939949 1337528320 267255 33554432000 4194304 16246674 140734740827536 140734740809408 13950704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267255 788 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267255 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267255 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267255 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 2.08 2.10 2.09 3/183 24914
/proc/meminfo: memFree=28651872/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267452 0 0 0 2512 36 0 0 20 0 4 0 11939949 1337528320 267270 33554432000 4194304 16246674 140734740827536 140734740809408 5754504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267270 788 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267270 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267270 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267270 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 2.13 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28651724/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267503 0 0 0 5071 37 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140734740809408 5721529 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267321 789 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.29 2.15 2.10 3/183 24915
/proc/meminfo: memFree=28651760/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 267503 0 0 0 10191 37 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140734740810536 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 326545 267321 789 2943 0 323439 0
[pid=24910/tid=24911] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1337528320 267321 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.23 2.19 2.16 3/183 24970
/proc/meminfo: memFree=28643656/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1361.74 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 136120 54 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.25 2.20 2.16 3/183 24972
/proc/meminfo: memFree=28644292/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1421.74 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 142119 55 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5827668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.13 2.17 2.16 3/183 24973
/proc/meminfo: memFree=28644048/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1481.72 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 148117 55 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5861265 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.27 2.20 2.17 4/183 24974
/proc/meminfo: memFree=28643936/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1541.72 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 154116 56 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.20 2.19 2.17 3/183 24975
/proc/meminfo: memFree=28644056/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1601.71 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 160114 57 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5668097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.12 2.17 2.16 4/183 24976
/proc/meminfo: memFree=28643924/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1661.7 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 166112 58 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5822740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.16 3/184 24981
/proc/meminfo: memFree=28643724/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1721.68 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 172110 58 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5546200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.11 2.15 2.15 3/183 24982
/proc/meminfo: memFree=28642568/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1781.68 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 178109 59 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.08 2.14 2.15 4/177 24994
/proc/meminfo: memFree=29716528/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 179949 59 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 12460375 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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 24910 sig 9
??? kill -24910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.7 s]
/proc/loadavg: 2.08 2.14 2.15 4/177 24994
/proc/meminfo: memFree=29716528/32872528 swapFree=1103228/1182944
[pid=24910] ppid=24907 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/24910/stat : 24910 (toysat) R 24907 24910 24719 0 -1 4202496 268554 0 0 0 179949 59 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140734740809408 12460375 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24910/statm: 327057 268161 791 2943 0 323951 0
[pid=24910/tid=24911] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24911/stat : 24911 (toysat) S 24907 24910 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201633492208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24910/tid=24912] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24912/stat : 24912 (toysat) S 24907 24910 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201623002352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24910/tid=24913] ppid=24907 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24910/task/24913/stat : 24913 (toysat) S 24907 24910 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939949 1339625472 268161 33554432000 4194304 16246674 140734740827536 140201612528816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.5
CPU system time (s): 0.597909
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.597909
maximum resident set size= 1072644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268554
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= 482
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28604 second user time and 9.67153 second system time

The end

Begin job on node115 at 2016-06-16 19:41:50
IDJOB=4095924
IDBENCH=107541
IDSOLVER=2542
FILE ID=node115/4095924-1466098910
RUNJOBID= node115-1466097108-24735
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 69459a524bcb658fbd70dc41a395b3ed
RANDOM SEED=1606537923

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30754876 kB
Buffers:           49332 kB
Cached:           140476 kB
SwapCached:         2104 kB
Active:           137840 kB
Inactive:          89260 kB
Active(anon):      37876 kB
Inactive(anon):     1636 kB
Active(file):      99964 kB
Inactive(file):    87624 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32628 kB
Writeback:             0 kB
AnonPages:       1382852 kB
Mapped:             9856 kB
Shmem:                 0 kB
Slab:             569036 kB
SReclaimable:      13292 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         8040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2310664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 71728 MiB
End job on node115 at 2016-06-16 20:11:51