0.00/0.00	c 2016-06-16T20:30:14+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-4096085-1466101814.opb"]
0.00/0.01	c use --random-gen="2790169710 4202328124 1540216952 123781551 1632001013 1393923315 600799790 2031939628 2749654389 4292937370 1202025859 3867320962 1536295707 3446312491 1094511948 2178474342 2599234002 2200353539 1138860197 1691779196 2067008995 2406784716 1196757005 1768906630 1414368112 1663184364 3265300557 4198349520 191840678 683292168 1133915529 3301316000 3023491607 409619845 921825592 1277670089 52444661 3978009563 2176229701 344792500 3523567790 2998376203 989514434 1651310760 712468166 1029574021 282327565 292041768 861567067 1630526468 611994372 3223667395 1430925578 2940360495 703156240 2034781814 1641134157 2870393425 3136676265 3892392719 2131839886 1044888236 2080281923 1483380962 3136362226 862858505 2811226058 2932574855 4139148865 2600245146 418622630 392830175 2834095158 3884902347 1020183880 1502616941 4070825427 3595161048 2198305301 3272577581 2661238069 1066570941 2375944720 1483580475 1838353039 1459302768 3757659047 992492001 2481819538 2632057457 3318149879 2457660507 86685674 2895075067 2018865904 3965742423 3362809213 713391957 623474872 2552063315 876628295 1208160764 1648197749 1426270721 1004475708 535360436 2020452604 2183590847 947322634 475626479 630457229 1197461293 1521761004 2921087529 3725370227 114167305 3825102985 2749083721 3999911158 971927687 1852078233 3388523955 800253812 1300804125 129798900 479779566 748531204 570849734 234553720 1580372262 3058105478 432052976 3441623152 3202825932 3335396362 1650675873 3201589990 767384146 4016665892 1805898058 3169665071 4138863298 3049669411 3535883474 3041672247 3766225501 2428762341 3526207523 1780823173 670388801 1823278804 21971232 3659455377 3131107707 3164234343 3215293511 2363350264 30674227 4025068461 904395677 3578508081 3316661128 3165724380 3967708258 1002300738 2645001307 2707953982 712587869 255109554 2970767046 408708042 3005163902 2745293991 110063709 2558200200 2937372916 2737796981 1500580068 2619438873 1706357283 1593395857 2544887733 3109407742 1674763893 3460339496 202474291 3739488497 1788641790 989020423 911810864 3422321273 2541477034 1293497907 1590506958 4008178464 2542744524 620439490 1877835 1169832750 1579662689 1399409936 1894805174 2359135650 1475603294 878708664 3241886252 261532516 1832903681 2952667621 1332034835 2072200446 3963789700 2690813619 1995562314 426718101 4164844325 1263401679 3692959820 2007836709 1576549104 4281429319 418538000 838077889 1561760520 2263504651 3588147266 3791595700 3008996833 2510640585 3825799371 2857627210 3140791712 3273653147 2445950302 3755921943 3120448851 4230737666 1809873569 2751364745 2131213798 1105389892 2096099476 1415949239 1668597432 1276116284 3183233863 2294016626 723286211 387467587 3120081011 3573522244 2941812418 2411496947 1333399526 1052418012 1733438708 255 362436" option to reproduce the execution
0.00/0.01	c #vars 321
0.00/0.01	c #constraints 160
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 |      160      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      177 |      100 |      160      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      572 |      250 |      176      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |     1204 |      475 |      194      1 |        0 |        0
0.09/0.16	c  0.1s |       4 |     2145 |      813 |      214      4 |        0 |        0
0.19/0.26	c  0.3s |       5 |     3467 |     1320 |      236      6 |        0 |        0
0.39/0.46	c  0.4s |       6 |     5143 |     2081 |      286     10 |        0 |        0
0.78/0.81	c  0.8s |       7 |     6787 |     3223 |      315     16 |        0 |        0
1.09/1.14	c  1.1s |       8 |     9344 |     4936 |      347     23 |        0 |        0
1.48/1.53	c  1.5s |       9 |    13205 |     7506 |      382     35 |        0 |        0
2.20/2.27	c  2.3s |      10 |    18393 |    11361 |      421     50 |        0 |        0
3.30/3.33	c  3.3s |      11 |    27214 |    17144 |      464     70 |        0 |        0
4.99/5.04	c  5.0s |      12 |    38375 |    25819 |      511    101 |        0 |        0
6.99/7.05	c  7.0s |      12 |    54691 |    37319 |      511    138 |        0 |        0
7.29/7.32	c  7.3s |      13 |    56596 |    38832 |      563    143 |        0 |        0
9.29/9.33	c  9.3s |      13 |    70159 |    49332 |      563    172 |        0 |        0
11.09/11.15	c 11.1s |      14 |    81042 |    58352 |      620    197 |        0 |        0
13.09/13.15	c 13.1s |      14 |    93378 |    68652 |      620    225 |        0 |        0
15.09/15.17	c 15.2s |      14 |   104910 |    78652 |      620    252 |        0 |        0
16.89/16.93	c 16.9s |      15 |   115640 |    87632 |      682    276 |        0 |        0
18.89/18.94	c 18.9s |      15 |   128512 |    98732 |      682    302 |        0 |        0
20.89/20.97	c 21.0s |      15 |   140284 |   108332 |      682    326 |        0 |        0
22.88/22.97	c 23.0s |      15 |   151480 |   117732 |      682    349 |        0 |        0
24.98/25.00	c 25.0s |      15 |   163552 |   127532 |      682    374 |        0 |        0
25.78/25.81	c 25.8s |      16 |   168587 |   131552 |      751    383 |        0 |        0
27.78/27.82	c 27.8s |      16 |   183218 |   142352 |      751    407 |        0 |        0
29.79/29.83	c 29.8s |      16 |   197061 |   152952 |      751    431 |        0 |        0
31.78/31.83	c 31.8s |      16 |   210232 |   163252 |      751    455 |        0 |        0
33.78/33.86	c 33.8s |      16 |   224915 |   174252 |      751    480 |        0 |        0
35.78/35.86	c 35.9s |      16 |   237861 |   184752 |      751    503 |        0 |        0
37.78/37.87	c 37.9s |      16 |   250205 |   194352 |      751    525 |        0 |        0
38.50/38.51	c 38.5s |      17 |   253813 |   197432 |      827    532 |        0 |        0
40.49/40.52	c 40.5s |      17 |   267319 |   207632 |      827    554 |        0 |        0
42.49/42.53	c 42.5s |      17 |   281878 |   216932 |      827    574 |        0 |        0
44.49/44.54	c 44.5s |      17 |   296017 |   226132 |      827    595 |        0 |        0
46.49/46.55	c 46.5s |      17 |   310719 |   235732 |      827    616 |        0 |        0
48.49/48.57	c 48.6s |      17 |   324815 |   245632 |      827    637 |        0 |        0
50.48/50.57	c 50.6s |      17 |   338584 |   255532 |      827    659 |        0 |        0
52.58/52.60	c 52.6s |      17 |   350905 |   264532 |      827    678 |        0 |        0
54.58/54.60	c 54.6s |      17 |   365746 |   274232 |      827    699 |        0 |        0
56.58/56.61	c 56.6s |      17 |   380158 |   283832 |      827    720 |        0 |        0
58.58/58.62	c 58.6s |      17 |   392201 |   293232 |      827    741 |        0 |        0
59.28/59.32	c 59.3s |      18 |   395920 |   296252 |      910    747 |        0 |        0
61.28/61.34	c 61.3s |      18 |   407345 |   305452 |      910    766 |        0 |        0
63.28/63.34	c 63.3s |      18 |   417807 |   314252 |      910    783 |        0 |        0
65.28/65.35	c 65.3s |      18 |   427589 |   322652 |      910    800 |        0 |        0
67.28/67.36	c 67.3s |      18 |   439350 |   331952 |      910    819 |        0 |        0
69.29/69.36	c 69.3s |      18 |   450877 |   341152 |      910    838 |        0 |        0
71.28/71.37	c 71.4s |      18 |   462446 |   350252 |      910    856 |        0 |        0
73.28/73.39	c 73.4s |      18 |   474555 |   359452 |      910    875 |        0 |        0
75.38/75.40	c 75.4s |      18 |   485380 |   368252 |      910    892 |        0 |        0
77.37/77.42	c 77.4s |      18 |   497528 |   377352 |      910    910 |        0 |        0
79.37/79.42	c 79.4s |      18 |   508578 |   385552 |      910    927 |        0 |        0
81.39/81.42	c 81.4s |      18 |   520125 |   393952 |      910    943 |        0 |        0
83.38/83.45	c 83.4s |      18 |   530504 |   402152 |      910    959 |        0 |        0
85.38/85.47	c 85.5s |      18 |   540780 |   410152 |      910    975 |        0 |        0
87.38/87.47	c 87.5s |      18 |   551062 |   418352 |      910    991 |        0 |        0
89.38/89.48	c 89.5s |      18 |   561104 |   426352 |      910   1008 |        0 |        0
91.39/91.49	c 91.5s |      18 |   570411 |   433852 |      910   1022 |        0 |        0
93.49/93.51	c 93.5s |      18 |   579963 |   441452 |     1002   1037 |        0 |        0
94.28/94.30	c 94.3s |      19 |   583622 |   444482 |     1002   1043 |        0 |        0
96.28/96.32	c 96.3s |      19 |   597827 |   455182 |     1002   1062 |        0 |        0
98.28/98.32	c 98.3s |      19 |   612638 |   465982 |     1002   1081 |        0 |        0
100.28/100.34	c  100s |      19 |   625524 |   475982 |     1002   1099 |        0 |        0
102.28/102.37	c  102s |      19 |   638670 |   485682 |     1002   1116 |        0 |        0
104.28/104.37	c  104s |      19 |   649566 |   494582 |     1002   1132 |        0 |        0
106.27/106.37	c  106s |      19 |   661141 |   504582 |     1002   1149 |        0 |        0
108.27/108.38	c  108s |      19 |   671993 |   514182 |     1002   1166 |        0 |        0
110.27/110.39	c  110s |      19 |   684792 |   524682 |     1002   1185 |        0 |        0
112.37/112.40	c  112s |      19 |   697423 |   534882 |     1002   1203 |        0 |        0
114.38/114.41	c  114s |      19 |   711198 |   544982 |     1002   1222 |        0 |        0
116.37/116.43	c  116s |      19 |   724429 |   555182 |     1002   1240 |        0 |        0
118.37/118.43	c  118s |      19 |   735895 |   565082 |     1002   1258 |        0 |        0
120.37/120.45	c  120s |      19 |   747851 |   575182 |     1002   1276 |        0 |        0
122.37/122.45	c  122s |      19 |   759657 |   585082 |     1002   1294 |        0 |        0
124.38/124.46	c  124s |      19 |   770690 |   594582 |     1002   1311 |        0 |        0
126.37/126.46	c  126s |      19 |   780999 |   603582 |     1002   1327 |        0 |        0
128.37/128.47	c  128s |      19 |   791756 |   612782 |     1002   1343 |        0 |        0
130.37/130.49	c  130s |      19 |   803078 |   621982 |     1002   1360 |        0 |        0
132.47/132.51	c  132s |      19 |   814059 |   631382 |     1002   1377 |        0 |        0
134.47/134.51	c  134s |      19 |   825685 |   640782 |     1002   1394 |        0 |        0
136.48/136.53	c  136s |      19 |   836719 |   649982 |     1002   1410 |        0 |        0
138.47/138.54	c  138s |      19 |   847937 |   659282 |     1002   1427 |        0 |        0
140.07/140.18	c  140s |      20 |   857165 |   666827 |     1103   1440 |        0 |        0
142.07/142.19	c  142s |      20 |   871354 |   676427 |     1103   1456 |        0 |        0
144.18/144.21	c  144s |      20 |   886130 |   685827 |     1103   1472 |        0 |        0
146.17/146.22	c  146s |      20 |   898385 |   694927 |     1103   1487 |        0 |        0
148.17/148.23	c  148s |      20 |   911456 |   703727 |     1103   1502 |        0 |        0
150.17/150.24	c  150s |      20 |   921503 |   711727 |     1103   1515 |        0 |        0
152.17/152.26	c  152s |      20 |   934760 |   720827 |     1103   1531 |        0 |        0
154.17/154.28	c  154s |      20 |   948290 |   729727 |     1103   1546 |        0 |        0
156.17/156.30	c  156s |      20 |   963575 |   739127 |     1103   1562 |        0 |        0
158.26/158.31	c  158s |      20 |   976538 |   747927 |     1103   1576 |        0 |        0
160.26/160.33	c  160s |      20 |   988909 |   756627 |     1103   1591 |        0 |        0
162.26/162.34	c  162s |      20 |  1001148 |   765127 |     1103   1606 |        0 |        0
164.26/164.37	c  164s |      20 |  1015690 |   774327 |     1103   1621 |        0 |        0
166.26/166.39	c  166s |      20 |  1030670 |   783527 |     1103   1637 |        0 |        0
168.37/168.41	c  168s |      20 |  1043761 |   792327 |     1103   1651 |        0 |        0
170.36/170.41	c  170s |      20 |  1059201 |   801827 |     1103   1668 |        0 |        0
172.36/172.43	c  172s |      20 |  1070188 |   810027 |     1103   1682 |        0 |        0
174.36/174.43	c  174s |      20 |  1082542 |   818527 |     1103   1696 |        0 |        0
176.36/176.45	c  176s |      20 |  1095293 |   827127 |     1103   1711 |        0 |        0
178.36/178.47	c  178s |      20 |  1106786 |   835327 |     1103   1724 |        0 |        0
180.36/180.49	c  180s |      20 |  1118835 |   844027 |     1103   1739 |        0 |        0
182.47/182.50	c  182s |      20 |  1130626 |   852527 |     1103   1753 |        0 |        0
184.47/184.52	c  184s |      20 |  1142642 |   860927 |     1103   1768 |        0 |        0
186.46/186.53	c  186s |      20 |  1152010 |   868527 |     1103   1780 |        0 |        0
188.46/188.54	c  188s |      20 |  1164784 |   877527 |     1103   1795 |        0 |        0
190.46/190.56	c  190s |      20 |  1177146 |   886327 |     1103   1810 |        0 |        0
192.47/192.59	c  192s |      20 |  1188793 |   894827 |     1103   1825 |        0 |        0
194.56/194.60	c  194s |      20 |  1201173 |   903527 |     1103   1839 |        0 |        0
196.56/196.62	c  196s |      20 |  1213354 |   912027 |     1103   1854 |        0 |        0
198.56/198.64	c  198s |      20 |  1227478 |   920927 |     1103   1869 |        0 |        0
200.56/200.65	c  200s |      20 |  1241537 |   929827 |     1103   1884 |        0 |        0
202.56/202.67	c  202s |      20 |  1255271 |   938927 |     1103   1899 |        0 |        0
204.57/204.68	c  204s |      20 |  1271483 |   947927 |     1103   1914 |        0 |        0
206.56/206.69	c  206s |      20 |  1284157 |   956127 |     1103   1928 |        0 |        0
208.66/208.71	c  208s |      20 |  1298277 |   964527 |     1103   1942 |        0 |        0
210.66/210.71	c  210s |      20 |  1314394 |   973827 |     1103   1958 |        0 |        0
212.66/212.71	c  212s |      20 |  1329242 |   982427 |     1103   1973 |        0 |        0
214.66/214.73	c  214s |      20 |  1341160 |   990627 |     1103   1986 |        0 |        0
216.66/216.74	c  216s |      20 |  1353521 |   998727 |     1214   1999 |        0 |        0
216.96/217.08	c  217s |      21 |  1356401 |  1000345 |     1214   2002 |        0 |        0
218.96/219.09	c  219s |      21 |  1368686 |  1009345 |     1214   2016 |        0 |        0
220.96/221.09	c  221s |      21 |  1378872 |  1017245 |     1214   2028 |        0 |        0
222.95/223.09	c  223s |      21 |  1389792 |  1025945 |     1214   2041 |        0 |        0
225.05/225.11	c  225s |      21 |  1400926 |  1034945 |     1214   2055 |        0 |        0
227.05/227.12	c  227s |      21 |  1411100 |  1043345 |     1214   2067 |        0 |        0
229.05/229.13	c  229s |      21 |  1422017 |  1052245 |     1214   2081 |        0 |        0
231.06/231.13	c  231s |      21 |  1432166 |  1060745 |     1214   2094 |        0 |        0
233.05/233.14	c  233s |      21 |  1443078 |  1069045 |     1214   2107 |        0 |        0
235.05/235.16	c  235s |      21 |  1455164 |  1078145 |     1214   2121 |        0 |        0
237.05/237.17	c  237s |      21 |  1467292 |  1087445 |     1214   2135 |        0 |        0
239.05/239.17	c  239s |      21 |  1478522 |  1096245 |     1214   2148 |        0 |        0
241.05/241.19	c  241s |      21 |  1490060 |  1104845 |     1214   2161 |        0 |        0
243.06/243.19	c  243s |      21 |  1500976 |  1113245 |     1214   2174 |        0 |        0
245.15/245.21	c  245s |      21 |  1510086 |  1121045 |     1214   2186 |        0 |        0
247.15/247.22	c  247s |      21 |  1520809 |  1129545 |     1214   2199 |        0 |        0
249.15/249.23	c  249s |      21 |  1531459 |  1138045 |     1214   2212 |        0 |        0
251.15/251.23	c  251s |      21 |  1543878 |  1146845 |     1214   2226 |        0 |        0
253.15/253.24	c  253s |      21 |  1554385 |  1155445 |     1214   2239 |        0 |        0
255.15/255.26	c  255s |      21 |  1564357 |  1163945 |     1214   2252 |        0 |        0
257.15/257.28	c  257s |      21 |  1575094 |  1172845 |     1214   2265 |        0 |        0
259.15/259.29	c  259s |      21 |  1585990 |  1181945 |     1214   2279 |        0 |        0
261.25/261.31	c  261s |      21 |  1596543 |  1191045 |     1214   2293 |        0 |        0
263.25/263.32	c  263s |      21 |  1607983 |  1200245 |     1214   2307 |        0 |        0
265.25/265.34	c  265s |      21 |  1619551 |  1209445 |     1214   2321 |        0 |        0
267.26/267.35	c  267s |      21 |  1630474 |  1218445 |     1214   2335 |        0 |        0
269.25/269.36	c  269s |      21 |  1641734 |  1227745 |     1214   2349 |        0 |        0
271.25/271.38	c  271s |      21 |  1652010 |  1236545 |     1214   2363 |        0 |        0
273.25/273.39	c  273s |      21 |  1662817 |  1245645 |     1214   2376 |        0 |        0
275.35/275.41	c  275s |      21 |  1673749 |  1254645 |     1214   2390 |        0 |        0
277.35/277.41	c  277s |      21 |  1685723 |  1263945 |     1214   2404 |        0 |        0
279.35/279.41	c  279s |      21 |  1697873 |  1273245 |     1214   2419 |        0 |        0
281.35/281.42	c  281s |      21 |  1709455 |  1282745 |     1214   2433 |        0 |        0
283.35/283.43	c  283s |      21 |  1721279 |  1292245 |     1214   2448 |        0 |        0
285.35/285.45	c  285s |      21 |  1732866 |  1301245 |     1214   2461 |        0 |        0
287.35/287.45	c  287s |      21 |  1743241 |  1309645 |     1214   2474 |        0 |        0
289.35/289.47	c  289s |      21 |  1754878 |  1318345 |     1214   2488 |        0 |        0
291.35/291.47	c  291s |      21 |  1766786 |  1326945 |     1214   2501 |        0 |        0
293.35/293.48	c  293s |      21 |  1777502 |  1335445 |     1214   2514 |        0 |        0
295.45/295.50	c  295s |      21 |  1788389 |  1343945 |     1214   2527 |        0 |        0
297.44/297.53	c  297s |      21 |  1798998 |  1352445 |     1214   2540 |        0 |        0
299.44/299.53	c  299s |      21 |  1809587 |  1360545 |     1214   2552 |        0 |        0
301.45/301.53	c  301s |      21 |  1819837 |  1368645 |     1214   2564 |        0 |        0
303.44/303.54	c  303s |      21 |  1830635 |  1376845 |     1214   2577 |        0 |        0
305.44/305.56	c  305s |      21 |  1841719 |  1385145 |     1214   2590 |        0 |        0
307.44/307.57	c  307s |      21 |  1854639 |  1394245 |     1214   2603 |        0 |        0
309.44/309.58	c  309s |      21 |  1867188 |  1403345 |     1214   2617 |        0 |        0
311.54/311.60	c  311s |      21 |  1879468 |  1412045 |     1214   2631 |        0 |        0
313.55/313.62	c  313s |      21 |  1890499 |  1420345 |     1214   2643 |        0 |        0
315.54/315.63	c  315s |      21 |  1901282 |  1428245 |     1214   2656 |        0 |        0
317.54/317.65	c  317s |      21 |  1911568 |  1436245 |     1214   2668 |        0 |        0
319.54/319.67	c  319s |      21 |  1921553 |  1444345 |     1214   2680 |        0 |        0
321.54/321.69	c  321s |      21 |  1932380 |  1452545 |     1214   2693 |        0 |        0
323.64/323.71	c  323s |      21 |  1940745 |  1459745 |     1214   2703 |        0 |        0
325.64/325.72	c  325s |      21 |  1950749 |  1467445 |     1214   2715 |        0 |        0
327.64/327.73	c  327s |      21 |  1960196 |  1475045 |     1214   2727 |        0 |        0
329.63/329.74	c  329s |      21 |  1969659 |  1482445 |     1214   2738 |        0 |        0
331.64/331.76	c  331s |      21 |  1980170 |  1490445 |     1336   2750 |        0 |        0
333.64/333.77	c  333s |      21 |  1990879 |  1498345 |     1336   2761 |        0 |        0
334.24/334.40	c  334s |      22 |  1993474 |  1500622 |     1336   2764 |        0 |        0
336.34/336.40	c  336s |      22 |  2005561 |  1509622 |     1336   2776 |        0 |        0
338.34/338.41	c  338s |      22 |  2015317 |  1518122 |     1336   2788 |        0 |        0
340.34/340.42	c  340s |      22 |  2025652 |  1526822 |     1336   2800 |        0 |        0
342.34/342.44	c  342s |      22 |  2036099 |  1535322 |     1336   2812 |        0 |        0
344.35/344.46	c  344s |      22 |  2045216 |  1543422 |     1336   2823 |        0 |        0
346.34/346.47	c  346s |      22 |  2055250 |  1552222 |     1336   2835 |        0 |        0
348.34/348.48	c  348s |      22 |  2065081 |  1560822 |     1336   2846 |        0 |        0
350.44/350.50	c  350s |      22 |  2074439 |  1569022 |     1336   2858 |        0 |        0
352.44/352.52	c  352s |      22 |  2084215 |  1577322 |     1336   2869 |        0 |        0
354.43/354.52	c  354s |      22 |  2094202 |  1585622 |     1336   2880 |        0 |        0
356.44/356.53	c  356s |      22 |  2105759 |  1594522 |     1336   2893 |        0 |        0
358.43/358.55	c  358s |      22 |  2117640 |  1603822 |     1336   2905 |        0 |        0
360.43/360.56	c  360s |      22 |  2129383 |  1612922 |     1336   2918 |        0 |        0
362.43/362.58	c  362s |      22 |  2140924 |  1622022 |     1336   2930 |        0 |        0
364.43/364.59	c  364s |      22 |  2150941 |  1630322 |     1336   2942 |        0 |        0
366.43/366.59	c  366s |      22 |  2161809 |  1639222 |     1336   2954 |        0 |        0
368.54/368.60	c  368s |      22 |  2172100 |  1647722 |     1336   2966 |        0 |        0
370.53/370.61	c  370s |      22 |  2181631 |  1656022 |     1336   2977 |        0 |        0
372.53/372.61	c  372s |      22 |  2191740 |  1664322 |     1336   2989 |        0 |        0
374.54/374.63	c  374s |      22 |  2201586 |  1672622 |     1336   3000 |        0 |        0
376.54/376.65	c  376s |      22 |  2212066 |  1680922 |     1336   3012 |        0 |        0
378.54/378.65	c  378s |      22 |  2221505 |  1689022 |     1336   3023 |        0 |        0
380.54/380.65	c  380s |      22 |  2230598 |  1697022 |     1336   3034 |        0 |        0
382.53/382.67	c  382s |      22 |  2240750 |  1705722 |     1336   3046 |        0 |        0
384.53/384.69	c  384s |      22 |  2249752 |  1713722 |     1336   3057 |        0 |        0
386.63/386.70	c  386s |      22 |  2258862 |  1721722 |     1336   3068 |        0 |        0
388.63/388.71	c  388s |      22 |  2268730 |  1730122 |     1336   3080 |        0 |        0
390.63/390.72	c  390s |      22 |  2278032 |  1738222 |     1336   3091 |        0 |        0
392.64/392.75	c  392s |      22 |  2287242 |  1746222 |     1336   3102 |        0 |        0
394.63/394.75	c  394s |      22 |  2296523 |  1754222 |     1336   3113 |        0 |        0
396.63/396.77	c  396s |      22 |  2305599 |  1762222 |     1336   3124 |        0 |        0
398.63/398.78	c  398s |      22 |  2314873 |  1770122 |     1336   3135 |        0 |        0
400.63/400.79	c  400s |      22 |  2323929 |  1777822 |     1336   3145 |        0 |        0
402.73/402.80	c  402s |      22 |  2333417 |  1785922 |     1336   3156 |        0 |        0
404.74/404.82	c  404s |      22 |  2342816 |  1794022 |     1336   3167 |        0 |        0
406.73/406.84	c  406s |      22 |  2352419 |  1802122 |     1336   3179 |        0 |        0
408.73/408.86	c  408s |      22 |  2362290 |  1810222 |     1336   3190 |        0 |        0
410.73/410.87	c  410s |      22 |  2372447 |  1818822 |     1336   3202 |        0 |        0
412.73/412.87	c  412s |      22 |  2382994 |  1827622 |     1336   3214 |        0 |        0
414.74/414.88	c  414s |      22 |  2392444 |  1835822 |     1336   3225 |        0 |        0
416.73/416.90	c  416s |      22 |  2402133 |  1844322 |     1336   3237 |        0 |        0
418.83/418.91	c  418s |      22 |  2411684 |  1852822 |     1336   3248 |        0 |        0
420.83/420.92	c  420s |      22 |  2421744 |  1861422 |     1336   3260 |        0 |        0
422.83/422.94	c  422s |      22 |  2432473 |  1870322 |     1336   3272 |        0 |        0
424.83/424.96	c  424s |      22 |  2443106 |  1879322 |     1336   3285 |        0 |        0
426.83/426.97	c  426s |      22 |  2453695 |  1887922 |     1336   3297 |        0 |        0
428.82/428.98	c  428s |      22 |  2463969 |  1896522 |     1336   3309 |        0 |        0
430.82/430.99	c  430s |      22 |  2474068 |  1904922 |     1336   3320 |        0 |        0
432.92/433.00	c  432s |      22 |  2483893 |  1913222 |     1336   3332 |        0 |        0
434.92/435.01	c  434s |      22 |  2493834 |  1921622 |     1336   3343 |        0 |        0
436.92/437.02	c  437s |      22 |  2504007 |  1930122 |     1336   3355 |        0 |        0
438.93/439.02	c  439s |      22 |  2513769 |  1938322 |     1336   3366 |        0 |        0
440.92/441.04	c  441s |      22 |  2523657 |  1946722 |     1336   3378 |        0 |        0
442.92/443.04	c  443s |      22 |  2533258 |  1954922 |     1336   3389 |        0 |        0
444.92/445.04	c  445s |      22 |  2542789 |  1963222 |     1336   3401 |        0 |        0
446.93/447.06	c  447s |      22 |  2554735 |  1972422 |     1336   3413 |        0 |        0
448.93/449.06	c  449s |      22 |  2566377 |  1981322 |     1336   3426 |        0 |        0
450.93/451.08	c  451s |      22 |  2577209 |  1990022 |     1336   3438 |        0 |        0
452.93/453.08	c  453s |      22 |  2589243 |  1999122 |     1336   3450 |        0 |        0
455.02/455.12	c  455s |      22 |  2599404 |  2007322 |     1336   3462 |        0 |        0
457.02/457.12	c  457s |      22 |  2609199 |  2015522 |     1336   3473 |        0 |        0
459.02/459.13	c  459s |      22 |  2620179 |  2024222 |     1336   3485 |        0 |        0
461.02/461.16	c  461s |      22 |  2629798 |  2032222 |     1336   3496 |        0 |        0
463.03/463.17	c  463s |      22 |  2639013 |  2039822 |     1336   3506 |        0 |        0
465.02/465.18	c  465s |      22 |  2648604 |  2047622 |     1336   3517 |        0 |        0
467.02/467.18	c  467s |      22 |  2658295 |  2055722 |     1336   3528 |        0 |        0
469.02/469.19	c  469s |      22 |  2668121 |  2063822 |     1336   3539 |        0 |        0
471.12/471.20	c  471s |      22 |  2677619 |  2072022 |     1336   3550 |        0 |        0
473.12/473.22	c  473s |      22 |  2687432 |  2080522 |     1336   3562 |        0 |        0
475.12/475.24	c  475s |      22 |  2697785 |  2089022 |     1336   3574 |        0 |        0
477.11/477.25	c  477s |      22 |  2707138 |  2097022 |     1336   3585 |        0 |        0
479.11/479.26	c  479s |      22 |  2716375 |  2104922 |     1336   3595 |        0 |        0
481.11/481.28	c  481s |      22 |  2725590 |  2113122 |     1336   3607 |        0 |        0
483.21/483.31	c  483s |      22 |  2735321 |  2121422 |     1336   3618 |        0 |        0
485.21/485.32	c  485s |      22 |  2745161 |  2129822 |     1336   3630 |        0 |        0
487.22/487.33	c  487s |      22 |  2754816 |  2138022 |     1336   3641 |        0 |        0
489.21/489.35	c  489s |      22 |  2765355 |  2146622 |     1336   3653 |        0 |        0
491.21/491.36	c  491s |      22 |  2775299 |  2154822 |     1336   3665 |        0 |        0
493.21/493.36	c  493s |      22 |  2784251 |  2162422 |     1336   3675 |        0 |        0
495.21/495.38	c  495s |      22 |  2792293 |  2169522 |     1336   3685 |        0 |        0
497.31/497.40	c  497s |      22 |  2800814 |  2176922 |     1336   3695 |        0 |        0
499.32/499.41	c  499s |      22 |  2811730 |  2185722 |     1336   3707 |        0 |        0
501.32/501.43	c  501s |      22 |  2821822 |  2194222 |     1336   3719 |        0 |        0
503.32/503.44	c  503s |      22 |  2831684 |  2202522 |     1336   3730 |        0 |        0
505.32/505.45	c  505s |      22 |  2841493 |  2210722 |     1336   3742 |        0 |        0
507.32/507.47	c  507s |      22 |  2852169 |  2219322 |     1336   3754 |        0 |        0
509.32/509.48	c  509s |      22 |  2862139 |  2227822 |     1336   3765 |        0 |        0
511.32/511.49	c  511s |      22 |  2872813 |  2236422 |     1470   3777 |        0 |        0
513.42/513.51	c  513s |      22 |  2883061 |  2244522 |     1470   3787 |        0 |        0
515.02/515.17	c  515s |      23 |  2890911 |  2251038 |     1470   3796 |        0 |        0
517.02/517.17	c  517s |      23 |  2900921 |  2259138 |     1470   3806 |        0 |        0
519.02/519.18	c  519s |      23 |  2910765 |  2267338 |     1470   3816 |        0 |        0
521.01/521.19	c  521s |      23 |  2919551 |  2274238 |     1470   3825 |        0 |        0
523.11/523.21	c  523s |      23 |  2929435 |  2281238 |     1470   3834 |        0 |        0
525.11/525.22	c  525s |      23 |  2939951 |  2289738 |     1470   3845 |        0 |        0
527.11/527.22	c  527s |      23 |  2949240 |  2297938 |     1470   3855 |        0 |        0
529.12/529.24	c  529s |      23 |  2959168 |  2306338 |     1470   3866 |        0 |        0
531.11/531.26	c  531s |      23 |  2968324 |  2314338 |     1470   3876 |        0 |        0
533.11/533.28	c  533s |      23 |  2978416 |  2322938 |     1470   3888 |        0 |        0
535.21/535.30	c  535s |      23 |  2988661 |  2331638 |     1470   3899 |        0 |        0
537.21/537.32	c  537s |      23 |  2998551 |  2339938 |     1470   3910 |        0 |        0
539.21/539.33	c  539s |      23 |  3009116 |  2348638 |     1470   3921 |        0 |        0
541.21/541.36	c  541s |      23 |  3018191 |  2356738 |     1470   3932 |        0 |        0
543.21/543.37	c  543s |      23 |  3026942 |  2364538 |     1470   3942 |        0 |        0
545.21/545.37	c  545s |      23 |  3036778 |  2372838 |     1470   3952 |        0 |        0
547.21/547.39	c  547s |      23 |  3046732 |  2381238 |     1470   3963 |        0 |        0
549.31/549.40	c  549s |      23 |  3057219 |  2389738 |     1470   3974 |        0 |        0
551.31/551.43	c  551s |      23 |  3067690 |  2398538 |     1470   3985 |        0 |        0
553.31/553.44	c  553s |      23 |  3077248 |  2406738 |     1470   3996 |        0 |        0
555.31/555.44	c  555s |      23 |  3087596 |  2415538 |     1470   4007 |        0 |        0
557.31/557.45	c  557s |      23 |  3097146 |  2423738 |     1470   4018 |        0 |        0
559.31/559.46	c  559s |      23 |  3106782 |  2432038 |     1470   4029 |        0 |        0
561.30/561.47	c  561s |      23 |  3116355 |  2440338 |     1470   4039 |        0 |        0
563.30/563.49	c  563s |      23 |  3126223 |  2448738 |     1470   4050 |        0 |        0
565.41/565.51	c  565s |      23 |  3136467 |  2457238 |     1470   4061 |        0 |        0
567.40/567.51	c  567s |      23 |  3145699 |  2465238 |     1470   4072 |        0 |        0
569.40/569.53	c  569s |      23 |  3154383 |  2472738 |     1470   4082 |        0 |        0
571.40/571.54	c  571s |      23 |  3163531 |  2480638 |     1470   4092 |        0 |        0
573.40/573.56	c  573s |      23 |  3172922 |  2488638 |     1470   4102 |        0 |        0
575.40/575.56	c  575s |      23 |  3182338 |  2496638 |     1470   4113 |        0 |        0
577.41/577.57	c  577s |      23 |  3191751 |  2504638 |     1470   4123 |        0 |        0
579.40/579.58	c  579s |      23 |  3201445 |  2512738 |     1470   4133 |        0 |        0
581.40/581.58	c  581s |      23 |  3210660 |  2520438 |     1470   4144 |        0 |        0
583.50/583.60	c  583s |      23 |  3220199 |  2528538 |     1470   4154 |        0 |        0
585.50/585.61	c  585s |      23 |  3229595 |  2536438 |     1470   4164 |        0 |        0
587.50/587.61	c  587s |      23 |  3239605 |  2544738 |     1470   4175 |        0 |        0
589.51/589.62	c  589s |      23 |  3248506 |  2552538 |     1470   4185 |        0 |        0
591.50/591.64	c  591s |      23 |  3257751 |  2560538 |     1470   4196 |        0 |        0
593.50/593.65	c  593s |      23 |  3266777 |  2568438 |     1470   4206 |        0 |        0
595.50/595.67	c  595s |      23 |  3275071 |  2575938 |     1470   4216 |        0 |        0
597.50/597.69	c  597s |      23 |  3284883 |  2584338 |     1470   4226 |        0 |        0
599.60/599.71	c  599s |      23 |  3293233 |  2591838 |     1470   4236 |        0 |        0
601.61/601.71	c  601s |      23 |  3302270 |  2599638 |     1470   4246 |        0 |        0
603.60/603.72	c  603s |      23 |  3311463 |  2607638 |     1470   4256 |        0 |        0
605.60/605.73	c  605s |      23 |  3320394 |  2615438 |     1470   4266 |        0 |        0
607.60/607.75	c  607s |      23 |  3328901 |  2623038 |     1470   4276 |        0 |        0
609.60/609.76	c  609s |      23 |  3338345 |  2631138 |     1470   4287 |        0 |        0
611.60/611.78	c  611s |      23 |  3346964 |  2638738 |     1470   4297 |        0 |        0
613.70/613.81	c  613s |      23 |  3355980 |  2646638 |     1470   4307 |        0 |        0
615.69/615.82	c  615s |      23 |  3364830 |  2654338 |     1470   4317 |        0 |        0
617.69/617.84	c  617s |      23 |  3373754 |  2661938 |     1470   4326 |        0 |        0
619.69/619.84	c  619s |      23 |  3382636 |  2669838 |     1470   4337 |        0 |        0
621.69/621.85	c  621s |      23 |  3391373 |  2677738 |     1470   4347 |        0 |        0
623.70/623.86	c  623s |      23 |  3400274 |  2685438 |     1470   4357 |        0 |        0
625.69/625.89	c  625s |      23 |  3409762 |  2693538 |     1470   4367 |        0 |        0
627.69/627.89	c  627s |      23 |  3418263 |  2701038 |     1470   4377 |        0 |        0
629.79/629.90	c  629s |      23 |  3427025 |  2708738 |     1470   4387 |        0 |        0
631.79/631.91	c  631s |      23 |  3437340 |  2717338 |     1470   4398 |        0 |        0
633.79/633.92	c  633s |      23 |  3447897 |  2726038 |     1470   4409 |        0 |        0
635.80/635.94	c  635s |      23 |  3457051 |  2734238 |     1470   4420 |        0 |        0
637.79/637.94	c  637s |      23 |  3466058 |  2742238 |     1470   4430 |        0 |        0
639.79/639.96	c  639s |      23 |  3476003 |  2750538 |     1470   4441 |        0 |        0
641.79/641.97	c  641s |      23 |  3485479 |  2758738 |     1470   4451 |        0 |        0
643.79/643.97	c  643s |      23 |  3494399 |  2766338 |     1470   4461 |        0 |        0
645.79/645.97	c  645s |      23 |  3503246 |  2773938 |     1470   4471 |        0 |        0
647.79/647.98	c  647s |      23 |  3512996 |  2782238 |     1470   4482 |        0 |        0
649.79/649.99	c  649s |      23 |  3522017 |  2789938 |     1470   4492 |        0 |        0
651.89/652.01	c  652s |      23 |  3530774 |  2797438 |     1470   4501 |        0 |        0
653.89/654.02	c  654s |      23 |  3539750 |  2805338 |     1470   4512 |        0 |        0
655.89/656.04	c  656s |      23 |  3548789 |  2813238 |     1470   4522 |        0 |        0
657.89/658.05	c  658s |      23 |  3557605 |  2820738 |     1470   4531 |        0 |        0
659.90/660.06	c  660s |      23 |  3566272 |  2828338 |     1470   4541 |        0 |        0
661.89/662.08	c  662s |      23 |  3574402 |  2835638 |     1470   4551 |        0 |        0
663.89/664.08	c  664s |      23 |  3581834 |  2842438 |     1470   4559 |        0 |        0
665.89/666.09	c  666s |      23 |  3589110 |  2849038 |     1470   4568 |        0 |        0
667.89/668.09	c  668s |      23 |  3598221 |  2856838 |     1470   4578 |        0 |        0
669.99/670.11	c  670s |      23 |  3606799 |  2864138 |     1470   4587 |        0 |        0
672.00/672.12	c  672s |      23 |  3615650 |  2871638 |     1470   4597 |        0 |        0
673.99/674.14	c  674s |      23 |  3624118 |  2878738 |     1470   4606 |        0 |        0
675.99/676.16	c  676s |      23 |  3631892 |  2885338 |     1470   4615 |        0 |        0
677.99/678.17	c  678s |      23 |  3640328 |  2892438 |     1470   4624 |        0 |        0
679.99/680.18	c  680s |      23 |  3647424 |  2898738 |     1470   4632 |        0 |        0
681.99/682.18	c  682s |      23 |  3655995 |  2906238 |     1470   4642 |        0 |        0
683.99/684.18	c  684s |      23 |  3664884 |  2914038 |     1470   4652 |        0 |        0
685.99/686.19	c  686s |      23 |  3675054 |  2922238 |     1470   4663 |        0 |        0
688.09/688.20	c  688s |      23 |  3684353 |  2930238 |     1470   4673 |        0 |        0
690.09/690.21	c  690s |      23 |  3694220 |  2938338 |     1470   4684 |        0 |        0
692.08/692.21	c  692s |      23 |  3704530 |  2946738 |     1470   4695 |        0 |        0
694.09/694.23	c  694s |      23 |  3714777 |  2955138 |     1470   4706 |        0 |        0
696.08/696.25	c  696s |      23 |  3724892 |  2963438 |     1470   4716 |        0 |        0
698.08/698.27	c  698s |      23 |  3734675 |  2971838 |     1470   4727 |        0 |        0
700.08/700.27	c  700s |      23 |  3744176 |  2980038 |     1470   4738 |        0 |        0
702.08/702.28	c  702s |      23 |  3753612 |  2987938 |     1470   4748 |        0 |        0
704.08/704.29	c  704s |      23 |  3762525 |  2995538 |     1470   4758 |        0 |        0
706.19/706.31	c  706s |      23 |  3771801 |  3003338 |     1470   4768 |        0 |        0
708.18/708.32	c  708s |      23 |  3782042 |  3011738 |     1470   4779 |        0 |        0
710.18/710.34	c  710s |      23 |  3791769 |  3019838 |     1470   4789 |        0 |        0
712.18/712.37	c  712s |      23 |  3801416 |  3027838 |     1470   4800 |        0 |        0
714.18/714.37	c  714s |      23 |  3811866 |  3036238 |     1470   4811 |        0 |        0
716.18/716.38	c  716s |      23 |  3822327 |  3044638 |     1470   4822 |        0 |        0
718.19/718.40	c  718s |      23 |  3832120 |  3052838 |     1470   4832 |        0 |        0
720.28/720.42	c  720s |      23 |  3840776 |  3060338 |     1470   4842 |        0 |        0
722.28/722.43	c  722s |      23 |  3849270 |  3067638 |     1470   4852 |        0 |        0
724.28/724.45	c  724s |      23 |  3859637 |  3075838 |     1470   4862 |        0 |        0
726.28/726.46	c  726s |      23 |  3869263 |  3083938 |     1470   4873 |        0 |        0
728.28/728.48	c  728s |      23 |  3878098 |  3091538 |     1470   4883 |        0 |        0
730.28/730.48	c  730s |      23 |  3886992 |  3099038 |     1470   4892 |        0 |        0
732.28/732.49	c  732s |      23 |  3897478 |  3107238 |     1470   4903 |        0 |        0
734.38/734.51	c  734s |      23 |  3906650 |  3114938 |     1470   4913 |        0 |        0
736.38/736.52	c  736s |      23 |  3915434 |  3122538 |     1470   4923 |        0 |        0
738.38/738.54	c  738s |      23 |  3924112 |  3130038 |     1470   4933 |        0 |        0
740.37/740.54	c  740s |      23 |  3933041 |  3137638 |     1470   4942 |        0 |        0
742.38/742.55	c  742s |      23 |  3942191 |  3145338 |     1470   4952 |        0 |        0
744.37/744.56	c  744s |      23 |  3952072 |  3153338 |     1470   4963 |        0 |        0
746.37/746.56	c  746s |      23 |  3962286 |  3161538 |     1470   4973 |        0 |        0
748.37/748.56	c  748s |      23 |  3972661 |  3169838 |     1470   4984 |        0 |        0
750.37/750.57	c  750s |      23 |  3983980 |  3178238 |     1470   4995 |        0 |        0
752.38/752.58	c  752s |      23 |  3993452 |  3186238 |     1470   5006 |        0 |        0
754.37/754.59	c  754s |      23 |  4002390 |  3194038 |     1470   5016 |        0 |        0
756.47/756.60	c  756s |      23 |  4012268 |  3202138 |     1470   5026 |        0 |        0
758.47/758.61	c  758s |      23 |  4021855 |  3210138 |     1470   5037 |        0 |        0
760.47/760.63	c  760s |      23 |  4030585 |  3217838 |     1470   5047 |        0 |        0
762.47/762.63	c  762s |      23 |  4039880 |  3226038 |     1470   5057 |        0 |        0
764.48/764.66	c  764s |      23 |  4049077 |  3234138 |     1470   5068 |        0 |        0
766.48/766.67	c  766s |      23 |  4058392 |  3242338 |     1470   5078 |        0 |        0
768.48/768.69	c  768s |      23 |  4067264 |  3250138 |     1470   5088 |        0 |        0
770.48/770.69	c  770s |      23 |  4075865 |  3257738 |     1470   5098 |        0 |        0
772.48/772.69	c  772s |      23 |  4084853 |  3265638 |     1470   5108 |        0 |        0
774.48/774.69	c  774s |      23 |  4093795 |  3273338 |     1470   5118 |        0 |        0
776.58/776.72	c  776s |      23 |  4103154 |  3281438 |     1470   5128 |        0 |        0
778.57/778.74	c  778s |      23 |  4112201 |  3289438 |     1470   5139 |        0 |        0
780.57/780.74	c  780s |      23 |  4120807 |  3297138 |     1470   5149 |        0 |        0
782.57/782.75	c  782s |      23 |  4129434 |  3304938 |     1470   5159 |        0 |        0
784.57/784.75	c  784s |      23 |  4138698 |  3312838 |     1470   5169 |        0 |        0
786.57/786.77	c  786s |      23 |  4147473 |  3320438 |     1470   5179 |        0 |        0
788.58/788.78	c  788s |      23 |  4156322 |  3328238 |     1470   5189 |        0 |        0
790.57/790.79	c  790s |      23 |  4165693 |  3336338 |     1470   5199 |        0 |        0
792.67/792.80	c  792s |      23 |  4175538 |  3344638 |     1470   5210 |        0 |        0
794.67/794.82	c  794s |      23 |  4185179 |  3352838 |     1618   5220 |        0 |        0
796.67/796.83	c  796s |      23 |  4194211 |  3360638 |     1618   5229 |        0 |        0
798.67/798.86	c  798s |      23 |  4203109 |  3368338 |     1618   5239 |        0 |        0
800.68/800.86	c  800s |      23 |  4211521 |  3375738 |     1618   5247 |        0 |        0
800.97/801.11	c  801s |      24 |  4212543 |  3376662 |     1618   5248 |        0 |        0
802.98/803.12	c  803s |      24 |  4221493 |  3384162 |     1618   5257 |        0 |        0
804.97/805.14	c  805s |      24 |  4228826 |  3390562 |     1618   5264 |        0 |        0
806.97/807.16	c  807s |      24 |  4237267 |  3397662 |     1618   5273 |        0 |        0
808.97/809.17	c  809s |      24 |  4244935 |  3404062 |     1618   5280 |        0 |        0
810.97/811.18	c  811s |      24 |  4255262 |  3411962 |     1618   5290 |        0 |        0
812.97/813.19	c  813s |      24 |  4264549 |  3420262 |     1618   5300 |        0 |        0
814.97/815.19	c  815s |      24 |  4273752 |  3428462 |     1618   5309 |        0 |        0
817.07/817.21	c  817s |      24 |  4283495 |  3436762 |     1618   5319 |        0 |        0
819.07/819.23	c  819s |      24 |  4293300 |  3445162 |     1618   5329 |        0 |        0
821.07/821.24	c  821s |      24 |  4302611 |  3453262 |     1618   5339 |        0 |        0
823.06/823.26	c  823s |      24 |  4312660 |  3461862 |     1618   5349 |        0 |        0
825.06/825.29	c  825s |      24 |  4322646 |  3470362 |     1618   5359 |        0 |        0
827.07/827.29	c  827s |      24 |  4332750 |  3478962 |     1618   5370 |        0 |        0
829.06/829.30	c  829s |      24 |  4342666 |  3487262 |     1618   5380 |        0 |        0
831.16/831.30	c  831s |      24 |  4354234 |  3496562 |     1618   5391 |        0 |        0
833.16/833.30	c  833s |      24 |  4365212 |  3505462 |     1618   5401 |        0 |        0
835.16/835.31	c  835s |      24 |  4376022 |  3514462 |     1618   5412 |        0 |        0
837.16/837.32	c  837s |      24 |  4387436 |  3523762 |     1618   5423 |        0 |        0
839.17/839.32	c  839s |      24 |  4398021 |  3532462 |     1618   5434 |        0 |        0
841.16/841.33	c  841s |      24 |  4407869 |  3540862 |     1618   5444 |        0 |        0
843.16/843.33	c  843s |      24 |  4419328 |  3549662 |     1618   5454 |        0 |        0
845.16/845.35	c  845s |      24 |  4430220 |  3558462 |     1618   5465 |        0 |        0
847.16/847.37	c  847s |      24 |  4441503 |  3567262 |     1618   5475 |        0 |        0
849.16/849.40	c  849s |      24 |  4452666 |  3575962 |     1618   5486 |        0 |        0
851.26/851.41	c  851s |      24 |  4466343 |  3585362 |     1618   5497 |        0 |        0
853.26/853.43	c  853s |      24 |  4476594 |  3593962 |     1618   5508 |        0 |        0
855.26/855.44	c  855s |      24 |  4486734 |  3602462 |     1618   5518 |        0 |        0
857.25/857.44	c  857s |      24 |  4496166 |  3610562 |     1618   5527 |        0 |        0
859.26/859.45	c  859s |      24 |  4505451 |  3618562 |     1618   5537 |        0 |        0
861.27/861.45	c  861s |      24 |  4515486 |  3626962 |     1618   5547 |        0 |        0
863.26/863.46	c  863s |      24 |  4525238 |  3635262 |     1618   5557 |        0 |        0
865.26/865.46	c  865s |      24 |  4535145 |  3643762 |     1618   5567 |        0 |        0
867.26/867.47	c  867s |      24 |  4544639 |  3651962 |     1618   5577 |        0 |        0
869.26/869.48	c  869s |      24 |  4555202 |  3660662 |     1618   5588 |        0 |        0
871.26/871.49	c  871s |      24 |  4564121 |  3668762 |     1618   5597 |        0 |        0
873.37/873.51	c  873s |      24 |  4573722 |  3677262 |     1618   5607 |        0 |        0
875.36/875.54	c  875s |      24 |  4584241 |  3685762 |     1618   5618 |        0 |        0
877.36/877.54	c  877s |      24 |  4594268 |  3694462 |     1618   5628 |        0 |        0
879.36/879.56	c  879s |      24 |  4604900 |  3703362 |     1618   5639 |        0 |        0
881.36/881.57	c  881s |      24 |  4615157 |  3711962 |     1618   5649 |        0 |        0
883.36/883.57	c  883s |      24 |  4625057 |  3720262 |     1618   5659 |        0 |        0
885.36/885.58	c  885s |      24 |  4633929 |  3728062 |     1618   5668 |        0 |        0
887.46/887.60	c  887s |      24 |  4643433 |  3736062 |     1618   5678 |        0 |        0
889.46/889.62	c  889s |      24 |  4652625 |  3744062 |     1618   5687 |        0 |        0
891.46/891.62	c  891s |      24 |  4661876 |  3752162 |     1618   5697 |        0 |        0
893.46/893.64	c  893s |      24 |  4670724 |  3759962 |     1618   5706 |        0 |        0
895.45/895.64	c  895s |      24 |  4679871 |  3767762 |     1618   5716 |        0 |        0
897.46/897.66	c  897s |      24 |  4690296 |  3776362 |     1618   5726 |        0 |        0
899.45/899.68	c  899s |      24 |  4699888 |  3784562 |     1618   5736 |        0 |        0
901.55/901.70	c  901s |      24 |  4709312 |  3792762 |     1618   5746 |        0 |        0
903.55/903.72	c  903s |      24 |  4719190 |  3801262 |     1618   5756 |        0 |        0
905.55/905.73	c  905s |      24 |  4728206 |  3809162 |     1618   5765 |        0 |        0
907.55/907.75	c  907s |      24 |  4737502 |  3817262 |     1618   5775 |        0 |        0
909.56/909.77	c  909s |      24 |  4746412 |  3825162 |     1618   5785 |        0 |        0
911.55/911.80	c  911s |      24 |  4756183 |  3833462 |     1618   5795 |        0 |        0
913.65/913.80	c  913s |      24 |  4765245 |  3841262 |     1618   5804 |        0 |        0
915.65/915.80	c  915s |      24 |  4774932 |  3849462 |     1618   5814 |        0 |        0
917.65/917.82	c  917s |      24 |  4784551 |  3857662 |     1618   5824 |        0 |        0
919.65/919.83	c  919s |      24 |  4794283 |  3865862 |     1618   5833 |        0 |        0
921.65/921.84	c  921s |      24 |  4804530 |  3874362 |     1618   5844 |        0 |        0
923.65/923.86	c  923s |      24 |  4815210 |  3882962 |     1618   5854 |        0 |        0
925.65/925.86	c  925s |      24 |  4825451 |  3891362 |     1618   5864 |        0 |        0
927.65/927.87	c  927s |      24 |  4834568 |  3899262 |     1618   5873 |        0 |        0
929.64/929.87	c  929s |      24 |  4843739 |  3907362 |     1618   5883 |        0 |        0
931.65/931.89	c  931s |      24 |  4852311 |  3915062 |     1618   5892 |        0 |        0
933.64/933.90	c  933s |      24 |  4862395 |  3923362 |     1618   5902 |        0 |        0
935.74/935.90	c  935s |      24 |  4872444 |  3931662 |     1618   5912 |        0 |        0
937.74/937.90	c  937s |      24 |  4881647 |  3939462 |     1618   5922 |        0 |        0
939.74/939.92	c  939s |      24 |  4890914 |  3947462 |     1618   5931 |        0 |        0
941.74/941.92	c  941s |      24 |  4900250 |  3955362 |     1618   5941 |        0 |        0
943.75/943.93	c  943s |      24 |  4909857 |  3963662 |     1618   5950 |        0 |        0
945.74/945.95	c  945s |      24 |  4920182 |  3972362 |     1618   5961 |        0 |        0
947.74/947.96	c  947s |      24 |  4929159 |  3980362 |     1618   5970 |        0 |        0
949.74/949.97	c  949s |      24 |  4937797 |  3987962 |     1618   5980 |        0 |        0
951.74/951.97	c  951s |      24 |  4948126 |  3996562 |     1618   5990 |        0 |        0
953.74/953.97	c  953s |      24 |  4959236 |  4005562 |     1618   6001 |        0 |        0
955.75/955.98	c  955s |      24 |  4969812 |  4014262 |     1618   6011 |        0 |        0
957.74/957.99	c  957s |      24 |  4980046 |  4022862 |     1618   6021 |        0 |        0
959.84/960.00	c  959s |      24 |  4989930 |  4031262 |     1618   6032 |        0 |        0
961.84/962.01	c  961s |      24 |  5000193 |  4039862 |     1618   6042 |        0 |        0
963.85/964.03	c  964s |      24 |  5009383 |  4047762 |     1618   6051 |        0 |        0
965.85/966.04	c  966s |      24 |  5019195 |  4056062 |     1618   6061 |        0 |        0
967.85/968.07	c  968s |      24 |  5027787 |  4063762 |     1618   6071 |        0 |        0
969.85/970.09	c  970s |      24 |  5036215 |  4071262 |     1618   6079 |        0 |        0
971.95/972.11	c  972s |      24 |  5045597 |  4079262 |     1618   6089 |        0 |        0
973.95/974.11	c  974s |      24 |  5054605 |  4087062 |     1618   6098 |        0 |        0
975.94/976.11	c  976s |      24 |  5064004 |  4094862 |     1618   6108 |        0 |        0
977.94/978.12	c  978s |      24 |  5072982 |  4102562 |     1618   6117 |        0 |        0
979.95/980.14	c  980s |      24 |  5083569 |  4111362 |     1618   6128 |        0 |        0
981.94/982.14	c  982s |      24 |  5092693 |  4119362 |     1618   6137 |        0 |        0
983.94/984.14	c  984s |      24 |  5102038 |  4127362 |     1618   6147 |        0 |        0
985.94/986.14	c  986s |      24 |  5111769 |  4135762 |     1618   6157 |        0 |        0
987.94/988.17	c  988s |      24 |  5121522 |  4143962 |     1618   6167 |        0 |        0
989.95/990.19	c  990s |      24 |  5130491 |  4151862 |     1618   6176 |        0 |        0
991.94/992.19	c  992s |      24 |  5139863 |  4159862 |     1618   6186 |        0 |        0
994.04/994.21	c  994s |      24 |  5150091 |  4168462 |     1618   6196 |        0 |        0
996.03/996.23	c  996s |      24 |  5160374 |  4177062 |     1618   6206 |        0 |        0
998.03/998.23	c  998s |      24 |  5170571 |  4185562 |     1618   6216 |        0 |        0
1000.03/1000.24	c 1000s |      24 |  5180270 |  4193962 |     1618   6227 |        0 |        0
1002.04/1002.24	c 1002s |      24 |  5189694 |  4202262 |     1618   6236 |        0 |        0
1004.03/1004.26	c 1004s |      24 |  5199123 |  4210462 |     1618   6246 |        0 |        0
1006.03/1006.27	c 1006s |      24 |  5208617 |  4218662 |     1618   6256 |        0 |        0
1008.03/1008.28	c 1008s |      24 |  5217692 |  4226662 |     1618   6266 |        0 |        0
1010.04/1010.30	c 1010s |      24 |  5228332 |  4235362 |     1618   6276 |        0 |        0
1012.14/1012.30	c 1012s |      24 |  5238464 |  4243662 |     1618   6286 |        0 |        0
1014.15/1014.31	c 1014s |      24 |  5248244 |  4251962 |     1618   6296 |        0 |        0
1016.14/1016.32	c 1016s |      24 |  5259181 |  4260662 |     1618   6307 |        0 |        0
1018.14/1018.32	c 1018s |      24 |  5268828 |  4269062 |     1618   6317 |        0 |        0
1020.14/1020.34	c 1020s |      24 |  5278130 |  4277262 |     1618   6327 |        0 |        0
1022.14/1022.34	c 1022s |      24 |  5287396 |  4285362 |     1618   6336 |        0 |        0
1024.14/1024.36	c 1024s |      24 |  5296403 |  4293262 |     1618   6346 |        0 |        0
1026.14/1026.38	c 1026s |      24 |  5306026 |  4301362 |     1618   6355 |        0 |        0
1028.13/1028.39	c 1028s |      24 |  5314466 |  4308762 |     1618   6364 |        0 |        0
1030.23/1030.40	c 1030s |      24 |  5323858 |  4316862 |     1618   6374 |        0 |        0
1032.23/1032.41	c 1032s |      24 |  5334160 |  4325562 |     1618   6384 |        0 |        0
1034.23/1034.42	c 1034s |      24 |  5343617 |  4333762 |     1618   6394 |        0 |        0
1036.23/1036.43	c 1036s |      24 |  5353342 |  4342062 |     1618   6404 |        0 |        0
1038.24/1038.44	c 1038s |      24 |  5363781 |  4350962 |     1618   6415 |        0 |        0
1040.23/1040.44	c 1040s |      24 |  5372756 |  4358862 |     1618   6424 |        0 |        0
1042.23/1042.45	c 1042s |      24 |  5382247 |  4367062 |     1618   6434 |        0 |        0
1044.23/1044.46	c 1044s |      24 |  5392504 |  4375762 |     1618   6444 |        0 |        0
1046.23/1046.46	c 1046s |      24 |  5402753 |  4384362 |     1618   6455 |        0 |        0
1048.24/1048.49	c 1048s |      24 |  5412657 |  4392662 |     1618   6465 |        0 |        0
1050.34/1050.50	c 1050s |      24 |  5423604 |  4401762 |     1618   6475 |        0 |        0
1052.33/1052.51	c 1052s |      24 |  5433431 |  4410162 |     1618   6485 |        0 |        0
1054.33/1054.52	c 1054s |      24 |  5443381 |  4418462 |     1618   6495 |        0 |        0
1056.33/1056.53	c 1056s |      24 |  5455423 |  4427662 |     1618   6506 |        0 |        0
1058.33/1058.54	c 1058s |      24 |  5466753 |  4436562 |     1618   6517 |        0 |        0
1060.33/1060.56	c 1060s |      24 |  5477403 |  4445162 |     1618   6527 |        0 |        0
1062.33/1062.58	c 1062s |      24 |  5487783 |  4453662 |     1618   6537 |        0 |        0
1064.33/1064.59	c 1064s |      24 |  5497003 |  4461762 |     1618   6547 |        0 |        0
1066.33/1066.59	c 1066s |      24 |  5506792 |  4469862 |     1618   6557 |        0 |        0
1068.43/1068.60	c 1068s |      24 |  5515939 |  4477762 |     1618   6566 |        0 |        0
1070.43/1070.60	c 1070s |      24 |  5526155 |  4486062 |     1618   6576 |        0 |        0
1072.43/1072.63	c 1072s |      24 |  5536265 |  4494262 |     1618   6586 |        0 |        0
1074.42/1074.63	c 1074s |      24 |  5545670 |  4502262 |     1618   6596 |        0 |        0
1076.42/1076.65	c 1076s |      24 |  5555341 |  4510662 |     1618   6606 |        0 |        0
1078.42/1078.67	c 1078s |      24 |  5565867 |  4519162 |     1618   6616 |        0 |        0
1080.42/1080.69	c 1080s |      24 |  5577227 |  4527762 |     1618   6626 |        0 |        0
1082.52/1082.71	c 1082s |      24 |  5587678 |  4536162 |     1618   6636 |        0 |        0
1084.53/1084.71	c 1084s |      24 |  5598901 |  4544662 |     1618   6646 |        0 |        0
1086.52/1086.73	c 1086s |      24 |  5610379 |  4553362 |     1618   6657 |        0 |        0
1088.52/1088.73	c 1088s |      24 |  5621568 |  4561962 |     1618   6667 |        0 |        0
1090.52/1090.75	c 1090s |      24 |  5631276 |  4569862 |     1618   6676 |        0 |        0
1092.52/1092.78	c 1092s |      24 |  5639901 |  4577462 |     1618   6686 |        0 |        0
1094.63/1094.80	c 1094s |      24 |  5648894 |  4585362 |     1618   6695 |        0 |        0
1096.63/1096.82	c 1096s |      24 |  5657247 |  4592862 |     1618   6704 |        0 |        0
1098.63/1098.84	c 1098s |      24 |  5665879 |  4600562 |     1618   6713 |        0 |        0
1100.63/1100.86	c 1100s |      24 |  5674455 |  4608262 |     1618   6722 |        0 |        0
1102.63/1102.87	c 1102s |      24 |  5683386 |  4616162 |     1618   6732 |        0 |        0
1104.63/1104.89	c 1104s |      24 |  5692410 |  4624062 |     1618   6741 |        0 |        0
1106.62/1106.89	c 1106s |      24 |  5702120 |  4632262 |     1618   6751 |        0 |        0
1108.63/1108.90	c 1108s |      24 |  5711318 |  4640462 |     1618   6761 |        0 |        0
1110.72/1110.90	c 1110s |      24 |  5720080 |  4648362 |     1618   6770 |        0 |        0
1112.72/1112.91	c 1112s |      24 |  5728750 |  4656162 |     1618   6780 |        0 |        0
1114.72/1114.92	c 1114s |      24 |  5737778 |  4664062 |     1618   6789 |        0 |        0
1116.72/1116.94	c 1116s |      24 |  5746124 |  4671462 |     1618   6798 |        0 |        0
1118.72/1118.95	c 1118s |      24 |  5754712 |  4678862 |     1618   6807 |        0 |        0
1120.73/1120.96	c 1120s |      24 |  5764174 |  4686862 |     1618   6816 |        0 |        0
1122.72/1122.97	c 1122s |      24 |  5772915 |  4694462 |     1618   6825 |        0 |        0
1124.72/1124.98	c 1124s |      24 |  5782111 |  4702262 |     1618   6835 |        0 |        0
1126.72/1126.99	c 1126s |      24 |  5791552 |  4710162 |     1618   6844 |        0 |        0
1128.82/1129.00	c 1128s |      24 |  5801134 |  4717962 |     1618   6854 |        0 |        0
1130.82/1131.02	c 1131s |      24 |  5810197 |  4725762 |     1618   6863 |        0 |        0
1132.83/1133.03	c 1133s |      24 |  5818827 |  4733362 |     1618   6872 |        0 |        0
1134.82/1135.03	c 1135s |      24 |  5827148 |  4740662 |     1618   6881 |        0 |        0
1136.82/1137.05	c 1137s |      24 |  5835935 |  4747962 |     1618   6890 |        0 |        0
1138.82/1139.06	c 1139s |      24 |  5845506 |  4756062 |     1618   6899 |        0 |        0
1140.82/1141.07	c 1141s |      24 |  5855444 |  4764162 |     1618   6909 |        0 |        0
1142.82/1143.09	c 1143s |      24 |  5864515 |  4771962 |     1618   6919 |        0 |        0
1144.92/1145.12	c 1145s |      24 |  5875189 |  4780362 |     1618   6929 |        0 |        0
1146.92/1147.13	c 1147s |      24 |  5884894 |  4788562 |     1618   6938 |        0 |        0
1148.92/1149.14	c 1149s |      24 |  5894587 |  4796862 |     1618   6948 |        0 |        0
1150.92/1151.16	c 1151s |      24 |  5904664 |  4805462 |     1618   6959 |        0 |        0
1152.91/1153.17	c 1153s |      24 |  5915292 |  4813962 |     1618   6969 |        0 |        0
1154.92/1155.19	c 1155s |      24 |  5925490 |  4822062 |     1618   6979 |        0 |        0
1156.91/1157.20	c 1157s |      24 |  5935181 |  4830062 |     1618   6988 |        0 |        0
1159.01/1159.21	c 1159s |      24 |  5944421 |  4837962 |     1618   6997 |        0 |        0
1161.01/1161.23	c 1161s |      24 |  5953225 |  4845662 |     1618   7007 |        0 |        0
1163.01/1163.25	c 1163s |      24 |  5961139 |  4852862 |     1618   7015 |        0 |        0
1165.01/1165.25	c 1165s |      24 |  5970047 |  4860462 |     1618   7024 |        0 |        0
1167.02/1167.26	c 1167s |      24 |  5979077 |  4868362 |     1618   7034 |        0 |        0
1169.01/1169.28	c 1169s |      24 |  5988346 |  4876362 |     1618   7043 |        0 |        0
1171.01/1171.29	c 1171s |      24 |  5997581 |  4884062 |     1618   7053 |        0 |        0
1173.11/1173.31	c 1173s |      24 |  6006721 |  4891762 |     1618   7062 |        0 |        0
1175.11/1175.31	c 1175s |      24 |  6016021 |  4899362 |     1618   7071 |        0 |        0
1177.11/1177.32	c 1177s |      24 |  6027639 |  4907662 |     1618   7081 |        0 |        0
1179.11/1179.33	c 1179s |      24 |  6037921 |  4915562 |     1618   7090 |        0 |        0
1181.11/1181.34	c 1181s |      24 |  6048102 |  4923862 |     1618   7100 |        0 |        0
1183.11/1183.36	c 1183s |      24 |  6057739 |  4931762 |     1618   7109 |        0 |        0
1185.11/1185.37	c 1185s |      24 |  6067303 |  4939162 |     1618   7118 |        0 |        0
1187.21/1187.40	c 1187s |      24 |  6076426 |  4946962 |     1618   7127 |        0 |        0
1189.21/1189.42	c 1189s |      24 |  6086347 |  4955062 |     1618   7136 |        0 |        0
1191.22/1191.44	c 1191s |      24 |  6095794 |  4962962 |     1618   7145 |        0 |        0
1193.21/1193.46	c 1193s |      24 |  6105259 |  4970962 |     1618   7155 |        0 |        0
1195.21/1195.46	c 1195s |      24 |  6114045 |  4978662 |     1618   7164 |        0 |        0
1197.21/1197.46	c 1197s |      24 |  6123863 |  4986562 |     1618   7173 |        0 |        0
1199.21/1199.49	c 1199s |      24 |  6134259 |  4994862 |     1618   7183 |        0 |        0
1201.21/1201.49	c 1201s |      24 |  6145005 |  5003162 |     1618   7192 |        0 |        0
1203.32/1203.51	c 1203s |      24 |  6155155 |  5011062 |     1618   7202 |        0 |        0
1205.31/1205.54	c 1205s |      24 |  6166739 |  5019262 |     1618   7211 |        0 |        0
1207.30/1207.54	c 1207s |      24 |  6176475 |  5027062 |     1618   7220 |        0 |        0
1209.30/1209.56	c 1209s |      24 |  6185360 |  5034462 |     1780   7228 |        0 |        0
1211.30/1211.59	c 1211s |      24 |  6194721 |  5041962 |     1780   7236 |        0 |        0
1213.40/1213.60	c 1213s |      24 |  6203966 |  5049562 |     1780   7245 |        0 |        0
1215.41/1215.61	c 1215s |      24 |  6212990 |  5056962 |     1780   7252 |        0 |        0
1217.40/1217.62	c 1217s |      24 |  6221665 |  5064062 |     1780   7260 |        0 |        0
1217.70/1217.94	c 1217s |      25 |  6222813 |  5065098 |     1780   7261 |        0 |        0
1219.71/1219.94	c 1219s |      25 |  6233779 |  5072198 |     1780   7269 |        0 |        0
1221.70/1221.97	c 1221s |      25 |  6242425 |  5078498 |     1780   7275 |        0 |        0
1223.70/1223.97	c 1223s |      25 |  6253337 |  5086298 |     1780   7284 |        0 |        0
1225.70/1225.98	c 1225s |      25 |  6264383 |  5093998 |     1780   7292 |        0 |        0
1227.80/1228.00	c 1227s |      25 |  6274484 |  5101398 |     1780   7300 |        0 |        0
1229.80/1230.02	c 1230s |      25 |  6285915 |  5109398 |     1780   7308 |        0 |        0
1231.80/1232.03	c 1232s |      25 |  6296581 |  5117198 |     1780   7316 |        0 |        0
1233.80/1234.05	c 1234s |      25 |  6306248 |  5124698 |     1780   7324 |        0 |        0
1235.80/1236.07	c 1236s |      25 |  6316339 |  5131798 |     1780   7332 |        0 |        0
1237.80/1238.07	c 1238s |      25 |  6325471 |  5138498 |     1780   7339 |        0 |        0
1239.81/1240.08	c 1240s |      25 |  6336557 |  5145798 |     1780   7347 |        0 |        0
1241.90/1242.11	c 1242s |      25 |  6348765 |  5153198 |     1780   7354 |        0 |        0
1243.91/1244.12	c 1244s |      25 |  6361636 |  5161498 |     1780   7363 |        0 |        0
1245.90/1246.15	c 1246s |      25 |  6372219 |  5169398 |     1780   7372 |        0 |        0
1247.90/1248.16	c 1248s |      25 |  6384258 |  5177298 |     1780   7380 |        0 |        0
1249.90/1250.17	c 1250s |      25 |  6393442 |  5184398 |     1780   7388 |        0 |        0
1251.90/1252.18	c 1252s |      25 |  6404959 |  5192098 |     1780   7396 |        0 |        0
1253.91/1254.18	c 1254s |      25 |  6418887 |  5200198 |     1780   7405 |        0 |        0
1255.90/1256.19	c 1256s |      25 |  6430160 |  5207598 |     1780   7412 |        0 |        0
1257.90/1258.19	c 1258s |      25 |  6440370 |  5214598 |     1780   7420 |        0 |        0
1260.00/1260.21	c 1260s |      25 |  6451126 |  5222298 |     1780   7428 |        0 |        0
1262.00/1262.23	c 1262s |      25 |  6460702 |  5229898 |     1780   7436 |        0 |        0
1264.00/1264.24	c 1264s |      25 |  6470434 |  5237398 |     1780   7444 |        0 |        0
1266.01/1266.26	c 1266s |      25 |  6479543 |  5244998 |     1780   7452 |        0 |        0
1268.00/1268.28	c 1268s |      25 |  6489554 |  5252598 |     1780   7460 |        0 |        0
1270.00/1270.29	c 1270s |      25 |  6500733 |  5260398 |     1780   7468 |        0 |        0
1272.10/1272.30	c 1272s |      25 |  6511790 |  5268098 |     1780   7477 |        0 |        0
1274.09/1274.32	c 1274s |      25 |  6522897 |  5275798 |     1780   7485 |        0 |        0
1276.09/1276.34	c 1276s |      25 |  6533637 |  5283598 |     1780   7493 |        0 |        0
1278.10/1278.35	c 1278s |      25 |  6544386 |  5291398 |     1780   7501 |        0 |        0
1280.09/1280.38	c 1280s |      25 |  6555413 |  5298898 |     1780   7509 |        0 |        0
1282.09/1282.38	c 1282s |      25 |  6564622 |  5306198 |     1780   7517 |        0 |        0
1284.08/1284.39	c 1284s |      25 |  6574206 |  5313498 |     1780   7525 |        0 |        0
1286.18/1286.40	c 1286s |      25 |  6585852 |  5320998 |     1780   7533 |        0 |        0
1288.18/1288.41	c 1288s |      25 |  6596214 |  5328298 |     1780   7540 |        0 |        0
1290.18/1290.42	c 1290s |      25 |  6606138 |  5335598 |     1780   7548 |        0 |        0
1292.18/1292.43	c 1292s |      25 |  6615326 |  5342998 |     1780   7556 |        0 |        0
1294.17/1294.45	c 1294s |      25 |  6624757 |  5350298 |     1780   7564 |        0 |        0
1296.17/1296.46	c 1296s |      25 |  6633517 |  5357298 |     1780   7571 |        0 |        0
1298.17/1298.46	c 1298s |      25 |  6642017 |  5364298 |     1780   7579 |        0 |        0
1300.17/1300.46	c 1300s |      25 |  6651348 |  5371398 |     1780   7586 |        0 |        0
1302.18/1302.48	c 1302s |      25 |  6660398 |  5378498 |     1780   7594 |        0 |        0
1304.17/1304.48	c 1304s |      25 |  6669115 |  5385298 |     1780   7601 |        0 |        0
1306.27/1306.51	c 1306s |      25 |  6677965 |  5391998 |     1780   7608 |        0 |        0
1308.27/1308.52	c 1308s |      25 |  6686706 |  5398798 |     1780   7615 |        0 |        0
1310.27/1310.54	c 1310s |      25 |  6694456 |  5405198 |     1780   7622 |        0 |        0
1312.27/1312.56	c 1312s |      25 |  6701999 |  5411698 |     1780   7629 |        0 |        0
1314.27/1314.58	c 1314s |      25 |  6710088 |  5418298 |     1780   7636 |        0 |        0
1316.36/1316.60	c 1316s |      25 |  6718848 |  5425098 |     1780   7643 |        0 |        0
1318.36/1318.61	c 1318s |      25 |  6728264 |  5432298 |     1780   7650 |        0 |        0
1320.36/1320.62	c 1320s |      25 |  6737441 |  5439498 |     1780   7658 |        0 |        0
1322.36/1322.64	c 1322s |      25 |  6749514 |  5447098 |     1780   7666 |        0 |        0
1324.35/1324.64	c 1324s |      25 |  6760814 |  5453998 |     1780   7673 |        0 |        0
1326.36/1326.65	c 1326s |      25 |  6771111 |  5461598 |     1780   7681 |        0 |        0
1328.35/1328.68	c 1328s |      25 |  6782114 |  5469298 |     1780   7689 |        0 |        0
1330.45/1330.70	c 1330s |      25 |  6794115 |  5477098 |     1780   7698 |        0 |        0
1332.45/1332.71	c 1332s |      25 |  6804561 |  5484098 |     1780   7705 |        0 |        0
1334.45/1334.72	c 1334s |      25 |  6816335 |  5491798 |     1780   7713 |        0 |        0
1336.44/1336.74	c 1336s |      25 |  6827332 |  5499398 |     1780   7721 |        0 |        0
1338.45/1338.76	c 1338s |      25 |  6838382 |  5506698 |     1780   7729 |        0 |        0
1340.44/1340.76	c 1340s |      25 |  6848352 |  5514098 |     1780   7737 |        0 |        0
1342.44/1342.77	c 1342s |      25 |  6859168 |  5521998 |     1780   7745 |        0 |        0
1344.44/1344.78	c 1344s |      25 |  6870143 |  5529298 |     1780   7753 |        0 |        0
1346.44/1346.78	c 1346s |      25 |  6880842 |  5536998 |     1780   7761 |        0 |        0
1348.44/1348.79	c 1348s |      25 |  6890226 |  5544298 |     1780   7768 |        0 |        0
1350.43/1350.80	c 1350s |      25 |  6899666 |  5551698 |     1780   7776 |        0 |        0
1352.53/1352.82	c 1352s |      25 |  6909576 |  5558798 |     1780   7784 |        0 |        0
1354.53/1354.83	c 1354s |      25 |  6920346 |  5566298 |     1780   7791 |        0 |        0
1356.53/1356.85	c 1356s |      25 |  6929676 |  5573398 |     1780   7799 |        0 |        0
1358.53/1358.87	c 1358s |      25 |  6939300 |  5580898 |     1780   7807 |        0 |        0
1360.53/1360.88	c 1360s |      25 |  6949266 |  5588198 |     1780   7814 |        0 |        0
1362.63/1362.90	c 1362s |      25 |  6961101 |  5596098 |     1780   7823 |        0 |        0
1364.62/1364.91	c 1364s |      25 |  6973267 |  5603698 |     1780   7831 |        0 |        0
1366.62/1366.92	c 1366s |      25 |  6984709 |  5611098 |     1780   7839 |        0 |        0
1368.62/1368.93	c 1368s |      25 |  6996997 |  5618598 |     1780   7847 |        0 |        0
1370.63/1370.93	c 1370s |      25 |  7008485 |  5625998 |     1780   7854 |        0 |        0
1372.64/1372.95	c 1372s |      25 |  7019749 |  5633298 |     1780   7862 |        0 |        0
1374.62/1374.97	c 1374s |      25 |  7031895 |  5640898 |     1780   7870 |        0 |        0
1376.62/1376.99	c 1376s |      25 |  7042842 |  5648498 |     1780   7878 |        0 |        0
1378.72/1379.02	c 1379s |      25 |  7053058 |  5655898 |     1780   7886 |        0 |        0
1380.72/1381.02	c 1381s |      25 |  7062653 |  5662598 |     1780   7893 |        0 |        0
1382.72/1383.02	c 1383s |      25 |  7072428 |  5669498 |     1780   7900 |        0 |        0
1384.72/1385.05	c 1385s |      25 |  7080134 |  5675998 |     1780   7907 |        0 |        0
1386.72/1387.06	c 1387s |      25 |  7089831 |  5682898 |     1780   7915 |        0 |        0
1388.71/1389.06	c 1389s |      25 |  7099381 |  5690098 |     1780   7922 |        0 |        0
1390.71/1391.06	c 1391s |      25 |  7109299 |  5697098 |     1780   7930 |        0 |        0
1392.71/1393.07	c 1393s |      25 |  7117734 |  5704098 |     1780   7937 |        0 |        0
1394.81/1395.10	c 1395s |      25 |  7128056 |  5711498 |     1780   7945 |        0 |        0
1396.82/1397.13	c 1397s |      25 |  7137979 |  5718598 |     1780   7953 |        0 |        0
1398.81/1399.13	c 1399s |      25 |  7146672 |  5725398 |     1780   7960 |        0 |        0
1400.81/1401.13	c 1401s |      25 |  7155176 |  5732098 |     1780   7967 |        0 |        0
1402.81/1403.15	c 1403s |      25 |  7163749 |  5738998 |     1780   7974 |        0 |        0
1404.81/1405.18	c 1405s |      25 |  7173021 |  5745798 |     1780   7981 |        0 |        0
1406.81/1407.19	c 1407s |      25 |  7183618 |  5753298 |     1780   7989 |        0 |        0
1408.91/1409.21	c 1409s |      25 |  7194675 |  5760698 |     1780   7997 |        0 |        0
1410.90/1411.24	c 1411s |      25 |  7205951 |  5768398 |     1780   8005 |        0 |        0
1412.90/1413.26	c 1413s |      25 |  7215449 |  5776098 |     1780   8014 |        0 |        0
1414.90/1415.26	c 1415s |      25 |  7224906 |  5783698 |     1780   8022 |        0 |        0
1416.90/1417.28	c 1417s |      25 |  7234157 |  5791298 |     1780   8030 |        0 |        0
1418.90/1419.29	c 1419s |      25 |  7243421 |  5798798 |     1780   8038 |        0 |        0
1420.90/1421.30	c 1421s |      25 |  7252618 |  5806298 |     1780   8046 |        0 |        0
1422.99/1423.32	c 1423s |      25 |  7263353 |  5814398 |     1780   8054 |        0 |        0
1424.99/1425.32	c 1425s |      25 |  7274782 |  5822798 |     1780   8063 |        0 |        0
1426.99/1427.35	c 1427s |      25 |  7285283 |  5830598 |     1780   8071 |        0 |        0
1428.99/1429.37	c 1429s |      25 |  7294599 |  5838098 |     1780   8079 |        0 |        0
1430.99/1431.37	c 1431s |      25 |  7304406 |  5845498 |     1780   8087 |        0 |        0
1432.99/1433.38	c 1433s |      25 |  7314215 |  5852998 |     1780   8095 |        0 |        0
1434.98/1435.39	c 1435s |      25 |  7325118 |  5860698 |     1780   8103 |        0 |        0
1437.08/1437.41	c 1437s |      25 |  7335221 |  5868298 |     1780   8112 |        0 |        0
1439.08/1439.43	c 1439s |      25 |  7344716 |  5875998 |     1780   8120 |        0 |        0
1441.08/1441.44	c 1441s |      25 |  7354502 |  5883598 |     1780   8128 |        0 |        0
1443.07/1443.46	c 1443s |      25 |  7364203 |  5891298 |     1780   8136 |        0 |        0
1445.08/1445.47	c 1445s |      25 |  7372489 |  5898298 |     1780   8143 |        0 |        0
1447.07/1447.49	c 1447s |      25 |  7382284 |  5905898 |     1780   8152 |        0 |        0
1449.07/1449.49	c 1449s |      25 |  7392269 |  5913498 |     1780   8160 |        0 |        0
1451.07/1451.49	c 1451s |      25 |  7402497 |  5921098 |     1780   8168 |        0 |        0
1453.17/1453.51	c 1453s |      25 |  7412746 |  5928798 |     1780   8176 |        0 |        0
1455.17/1455.54	c 1455s |      25 |  7421212 |  5935698 |     1780   8183 |        0 |        0
1457.17/1457.55	c 1457s |      25 |  7429341 |  5942298 |     1780   8190 |        0 |        0
1459.17/1459.58	c 1459s |      25 |  7440166 |  5949898 |     1780   8198 |        0 |        0
1461.26/1461.61	c 1461s |      25 |  7449709 |  5957198 |     1780   8206 |        0 |        0
1463.26/1463.62	c 1463s |      25 |  7458013 |  5963898 |     1780   8213 |        0 |        0
1465.26/1465.64	c 1465s |      25 |  7466332 |  5970798 |     1780   8221 |        0 |        0
1467.26/1467.66	c 1467s |      25 |  7474273 |  5977598 |     1780   8228 |        0 |        0
1469.26/1469.68	c 1469s |      25 |  7482960 |  5984698 |     1780   8235 |        0 |        0
1471.37/1471.70	c 1471s |      25 |  7492186 |  5991898 |     1780   8243 |        0 |        0
1473.36/1473.70	c 1473s |      25 |  7501817 |  5999298 |     1780   8251 |        0 |        0
1475.36/1475.72	c 1475s |      25 |  7512108 |  6006698 |     1780   8259 |        0 |        0
1477.36/1477.74	c 1477s |      25 |  7521869 |  6013898 |     1780   8267 |        0 |        0
1479.36/1479.74	c 1479s |      25 |  7533745 |  6021698 |     1780   8275 |        0 |        0
1481.37/1481.77	c 1481s |      25 |  7544701 |  6029698 |     1780   8283 |        0 |        0
1483.35/1483.79	c 1483s |      25 |  7555993 |  6037498 |     1780   8292 |        0 |        0
1485.45/1485.81	c 1485s |      25 |  7567514 |  6045498 |     1780   8300 |        0 |        0
1487.45/1487.82	c 1487s |      25 |  7579185 |  6053198 |     1780   8309 |        0 |        0
1489.45/1489.84	c 1489s |      25 |  7589220 |  6060498 |     1780   8316 |        0 |        0
1491.45/1491.84	c 1491s |      25 |  7600190 |  6067898 |     1780   8324 |        0 |        0
1493.46/1493.85	c 1493s |      25 |  7610694 |  6075398 |     1780   8332 |        0 |        0
1495.45/1495.87	c 1495s |      25 |  7622153 |  6082998 |     1780   8340 |        0 |        0
1497.45/1497.89	c 1497s |      25 |  7631135 |  6089998 |     1780   8348 |        0 |        0
1499.55/1499.91	c 1499s |      25 |  7642611 |  6097598 |     1780   8356 |        0 |        0
1501.55/1501.91	c 1501s |      25 |  7652942 |  6104898 |     1780   8364 |        0 |        0
1503.54/1503.92	c 1503s |      25 |  7663106 |  6112198 |     1780   8371 |        0 |        0
1505.55/1505.93	c 1505s |      25 |  7672907 |  6119498 |     1780   8379 |        0 |        0
1507.54/1507.95	c 1507s |      25 |  7683911 |  6126698 |     1780   8387 |        0 |        0
1509.54/1509.96	c 1509s |      25 |  7695279 |  6134098 |     1780   8395 |        0 |        0
1511.54/1511.98	c 1511s |      25 |  7706202 |  6141898 |     1780   8403 |        0 |        0
1513.63/1514.02	c 1514s |      25 |  7716844 |  6149898 |     1780   8412 |        0 |        0
1515.63/1516.02	c 1516s |      25 |  7727082 |  6157598 |     1780   8420 |        0 |        0
1517.64/1518.04	c 1518s |      25 |  7735335 |  6164498 |     1780   8427 |        0 |        0
1519.63/1520.04	c 1520s |      25 |  7744811 |  6171798 |     1780   8435 |        0 |        0
1521.63/1522.07	c 1522s |      25 |  7755114 |  6179398 |     1780   8443 |        0 |        0
1523.62/1524.09	c 1524s |      25 |  7765559 |  6186898 |     1780   8451 |        0 |        0
1525.62/1526.09	c 1526s |      25 |  7775775 |  6194098 |     1780   8459 |        0 |        0
1527.72/1528.10	c 1528s |      25 |  7788036 |  6202298 |     1780   8467 |        0 |        0
1529.73/1530.11	c 1530s |      25 |  7799096 |  6209598 |     1780   8475 |        0 |        0
1531.72/1532.14	c 1532s |      25 |  7809468 |  6216798 |     1780   8483 |        0 |        0
1533.72/1534.17	c 1534s |      25 |  7819763 |  6223898 |     1780   8491 |        0 |        0
1535.72/1536.19	c 1536s |      25 |  7829764 |  6230998 |     1780   8498 |        0 |        0
1537.82/1538.21	c 1538s |      25 |  7840110 |  6237998 |     1780   8505 |        0 |        0
1539.81/1540.23	c 1540s |      25 |  7849446 |  6244698 |     1780   8513 |        0 |        0
1541.82/1542.24	c 1542s |      25 |  7859320 |  6251898 |     1780   8520 |        0 |        0
1543.81/1544.25	c 1544s |      25 |  7867693 |  6258498 |     1780   8527 |        0 |        0
1545.81/1546.27	c 1546s |      25 |  7877120 |  6265498 |     1780   8535 |        0 |        0
1547.81/1548.28	c 1548s |      25 |  7886576 |  6272298 |     1780   8542 |        0 |        0
1549.81/1550.29	c 1550s |      25 |  7895782 |  6278898 |     1780   8549 |        0 |        0
1551.91/1552.32	c 1552s |      25 |  7904438 |  6285398 |     1780   8556 |        0 |        0
1553.91/1554.35	c 1554s |      25 |  7914742 |  6292498 |     1780   8563 |        0 |        0
1555.90/1556.37	c 1556s |      25 |  7925306 |  6299698 |     1780   8571 |        0 |        0
1558.00/1558.40	c 1558s |      25 |  7935594 |  6306498 |     1780   8578 |        0 |        0
1560.00/1560.42	c 1560s |      25 |  7947515 |  6313698 |     1780   8585 |        0 |        0
1562.00/1562.44	c 1562s |      25 |  7957726 |  6320998 |     1780   8593 |        0 |        0
1564.00/1564.45	c 1564s |      25 |  7967923 |  6328198 |     1780   8601 |        0 |        0
1566.01/1566.47	c 1566s |      25 |  7977175 |  6335198 |     1780   8608 |        0 |        0
1568.00/1568.48	c 1568s |      25 |  7986174 |  6341698 |     1780   8615 |        0 |        0
1570.00/1570.49	c 1570s |      25 |  7993800 |  6347698 |     1780   8621 |        0 |        0
1572.10/1572.52	c 1572s |      25 |  8004386 |  6354898 |     1780   8629 |        0 |        0
1574.10/1574.53	c 1574s |      25 |  8016045 |  6362598 |     1780   8637 |        0 |        0
1576.10/1576.54	c 1576s |      25 |  8027231 |  6370198 |     1780   8645 |        0 |        0
1578.10/1578.56	c 1578s |      25 |  8040562 |  6377798 |     1780   8654 |        0 |        0
1580.10/1580.57	c 1580s |      25 |  8053397 |  6385198 |     1780   8661 |        0 |        0
1582.10/1582.58	c 1582s |      25 |  8064098 |  6392298 |     1780   8669 |        0 |        0
1584.19/1584.60	c 1584s |      25 |  8074657 |  6399498 |     1780   8677 |        0 |        0
1586.19/1586.62	c 1586s |      25 |  8088073 |  6406498 |     1780   8684 |        0 |        0
1588.19/1588.62	c 1588s |      25 |  8099799 |  6413998 |     1780   8692 |        0 |        0
1590.20/1590.64	c 1590s |      25 |  8111012 |  6421298 |     1780   8700 |        0 |        0
1592.19/1592.64	c 1592s |      25 |  8121960 |  6428498 |     1780   8707 |        0 |        0
1594.18/1594.66	c 1594s |      25 |  8133755 |  6435998 |     1780   8715 |        0 |        0
1596.18/1596.66	c 1596s |      25 |  8145984 |  6443298 |     1780   8723 |        0 |        0
1598.18/1598.68	c 1598s |      25 |  8159631 |  6450598 |     1780   8731 |        0 |        0
1600.19/1600.69	c 1600s |      25 |  8170513 |  6457598 |     1780   8738 |        0 |        0
1602.29/1602.71	c 1602s |      25 |  8184080 |  6465298 |     1780   8747 |        0 |        0
1604.28/1604.72	c 1604s |      25 |  8195536 |  6472798 |     1780   8755 |        0 |        0
1606.28/1606.74	c 1606s |      25 |  8205726 |  6480098 |     1780   8762 |        0 |        0
1608.28/1608.75	c 1608s |      25 |  8216072 |  6487398 |     1780   8770 |        0 |        0
1610.28/1610.76	c 1610s |      25 |  8227948 |  6494498 |     1780   8778 |        0 |        0
1612.28/1612.79	c 1612s |      25 |  8239648 |  6501898 |     1780   8786 |        0 |        0
1614.27/1614.80	c 1614s |      25 |  8250512 |  6509198 |     1780   8793 |        0 |        0
1616.37/1616.80	c 1616s |      25 |  8259751 |  6516298 |     1780   8801 |        0 |        0
1618.37/1618.82	c 1618s |      25 |  8268841 |  6523298 |     1780   8808 |        0 |        0
1620.37/1620.83	c 1620s |      25 |  8279503 |  6530698 |     1780   8816 |        0 |        0
1622.37/1622.84	c 1622s |      25 |  8290890 |  6538098 |     1780   8824 |        0 |        0
1624.37/1624.84	c 1624s |      25 |  8300121 |  6544898 |     1780   8832 |        0 |        0
1626.36/1626.85	c 1626s |      25 |  8309800 |  6551798 |     1780   8839 |        0 |        0
1628.36/1628.88	c 1628s |      25 |  8318472 |  6558098 |     1780   8846 |        0 |        0
1630.46/1630.90	c 1630s |      25 |  8327490 |  6564698 |     1780   8853 |        0 |        0
1632.46/1632.91	c 1632s |      25 |  8337705 |  6571698 |     1780   8860 |        0 |        0
1634.46/1634.93	c 1634s |      25 |  8346000 |  6577798 |     1780   8866 |        0 |        0
1636.47/1636.95	c 1636s |      25 |  8356151 |  6584198 |     1780   8873 |        0 |        0
1638.46/1638.97	c 1638s |      25 |  8368252 |  6591798 |     1780   8881 |        0 |        0
1640.46/1640.99	c 1640s |      25 |  8378738 |  6598598 |     1780   8889 |        0 |        0
1642.56/1643.01	c 1642s |      25 |  8386413 |  6604698 |     1780   8895 |        0 |        0
1644.55/1645.03	c 1645s |      25 |  8395666 |  6611498 |     1780   8902 |        0 |        0
1646.55/1647.04	c 1647s |      25 |  8404890 |  6618598 |     1780   8910 |        0 |        0
1648.56/1649.06	c 1649s |      25 |  8413613 |  6625598 |     1780   8917 |        0 |        0
1650.55/1651.07	c 1651s |      25 |  8422262 |  6632298 |     1780   8924 |        0 |        0
1652.55/1653.07	c 1653s |      25 |  8431294 |  6639398 |     1780   8932 |        0 |        0
1654.54/1655.09	c 1655s |      25 |  8441750 |  6646898 |     1780   8940 |        0 |        0
1656.64/1657.11	c 1657s |      25 |  8451524 |  6654398 |     1780   8948 |        0 |        0
1658.64/1659.14	c 1659s |      25 |  8461604 |  6661698 |     1780   8956 |        0 |        0
1660.65/1661.17	c 1661s |      25 |  8471418 |  6668998 |     1780   8963 |        0 |        0
1662.64/1663.17	c 1663s |      25 |  8481583 |  6676198 |     1780   8971 |        0 |        0
1664.64/1665.18	c 1665s |      25 |  8490411 |  6683298 |     1780   8979 |        0 |        0
1666.63/1667.19	c 1667s |      25 |  8499211 |  6690298 |     1780   8986 |        0 |        0
1668.73/1669.21	c 1669s |      25 |  8507905 |  6697098 |     1780   8993 |        0 |        0
1670.73/1671.23	c 1671s |      25 |  8519396 |  6704598 |     1780   9001 |        0 |        0
1672.74/1673.25	c 1673s |      25 |  8530609 |  6712098 |     1780   9009 |        0 |        0
1674.73/1675.27	c 1675s |      25 |  8540777 |  6719298 |     1780   9017 |        0 |        0
1676.73/1677.29	c 1677s |      25 |  8552035 |  6726698 |     1780   9025 |        0 |        0
1678.83/1679.31	c 1679s |      25 |  8561323 |  6733298 |     1780   9032 |        0 |        0
1680.83/1681.31	c 1681s |      25 |  8570959 |  6740098 |     1780   9039 |        0 |        0
1682.83/1683.32	c 1683s |      25 |  8582651 |  6747398 |     1780   9047 |        0 |        0
1684.83/1685.33	c 1685s |      25 |  8593589 |  6754698 |     1780   9054 |        0 |        0
1686.82/1687.34	c 1687s |      25 |  8602856 |  6761998 |     1780   9062 |        0 |        0
1688.82/1689.36	c 1689s |      25 |  8612280 |  6769398 |     1780   9070 |        0 |        0
1690.82/1691.38	c 1691s |      25 |  8622138 |  6777098 |     1780   9078 |        0 |        0
1692.92/1693.41	c 1693s |      25 |  8631133 |  6784498 |     1780   9086 |        0 |        0
1694.92/1695.41	c 1695s |      25 |  8638898 |  6790998 |     1780   9093 |        0 |        0
1696.92/1697.41	c 1697s |      25 |  8647995 |  6797998 |     1780   9100 |        0 |        0
1698.92/1699.42	c 1699s |      25 |  8657309 |  6804798 |     1780   9107 |        0 |        0
1700.92/1701.45	c 1701s |      25 |  8666918 |  6811898 |     1780   9115 |        0 |        0
1702.92/1703.45	c 1703s |      25 |  8677005 |  6818698 |     1780   9122 |        0 |        0
1704.92/1705.48	c 1705s |      25 |  8686518 |  6825798 |     1780   9129 |        0 |        0
1706.92/1707.49	c 1707s |      25 |  8695378 |  6832298 |     1780   9136 |        0 |        0
1709.02/1709.51	c 1709s |      25 |  8705353 |  6839298 |     1780   9143 |        0 |        0
1711.01/1711.53	c 1711s |      25 |  8713244 |  6845698 |     1780   9150 |        0 |        0
1713.01/1713.54	c 1713s |      25 |  8723252 |  6852798 |     1780   9158 |        0 |        0
1715.01/1715.57	c 1715s |      25 |  8732916 |  6859698 |     1780   9165 |        0 |        0
1717.01/1717.58	c 1717s |      25 |  8742202 |  6866298 |     1780   9172 |        0 |        0
1719.01/1719.59	c 1719s |      25 |  8750949 |  6872798 |     1780   9179 |        0 |        0
1721.01/1721.60	c 1721s |      25 |  8760167 |  6879798 |     1780   9186 |        0 |        0
1723.10/1723.61	c 1723s |      25 |  8769012 |  6886298 |     1780   9193 |        0 |        0
1725.10/1725.63	c 1725s |      25 |  8777689 |  6893298 |     1780   9200 |        0 |        0
1727.10/1727.66	c 1727s |      25 |  8786317 |  6899798 |     1780   9207 |        0 |        0
1729.10/1729.67	c 1729s |      25 |  8795645 |  6906198 |     1780   9214 |        0 |        0
1731.10/1731.68	c 1731s |      25 |  8806225 |  6912898 |     1780   9221 |        0 |        0
1733.20/1733.71	c 1733s |      25 |  8816306 |  6919798 |     1780   9228 |        0 |        0
1735.20/1735.74	c 1735s |      25 |  8825173 |  6925498 |     1780   9234 |        0 |        0
1737.20/1737.76	c 1737s |      25 |  8833274 |  6931498 |     1780   9240 |        0 |        0
1739.20/1739.76	c 1739s |      25 |  8840435 |  6937098 |     1780   9246 |        0 |        0
1741.30/1741.80	c 1741s |      25 |  8847550 |  6942598 |     1780   9252 |        0 |        0
1743.29/1743.81	c 1743s |      25 |  8857315 |  6949898 |     1780   9260 |        0 |        0
1745.30/1745.82	c 1745s |      25 |  8869449 |  6957798 |     1780   9268 |        0 |        0
1747.29/1747.82	c 1747s |      25 |  8880632 |  6964998 |     1780   9276 |        0 |        0
1749.29/1749.83	c 1749s |      25 |  8890772 |  6971998 |     1780   9283 |        0 |        0
1751.29/1751.84	c 1751s |      25 |  8899037 |  6978298 |     1780   9289 |        0 |        0
1753.29/1753.85	c 1753s |      25 |  8908353 |  6984898 |     1780   9296 |        0 |        0
1755.28/1755.87	c 1755s |      25 |  8918116 |  6991698 |     1780   9304 |        0 |        0
1757.29/1757.88	c 1757s |      25 |  8927807 |  6998598 |     1780   9311 |        0 |        0
1759.28/1759.89	c 1759s |      25 |  8938542 |  7006098 |     1780   9319 |        0 |        0
1761.38/1761.90	c 1761s |      25 |  8947678 |  7013298 |     1780   9326 |        0 |        0
1763.38/1763.92	c 1763s |      25 |  8957868 |  7020398 |     1780   9334 |        0 |        0
1765.37/1765.93	c 1765s |      25 |  8966883 |  7026898 |     1780   9340 |        0 |        0
1767.37/1767.94	c 1767s |      25 |  8974211 |  7032798 |     1780   9346 |        0 |        0
1769.38/1769.96	c 1769s |      25 |  8982503 |  7039298 |     1780   9353 |        0 |        0
1771.37/1771.97	c 1771s |      25 |  8990917 |  7045298 |     1780   9359 |        0 |        0
1773.38/1773.98	c 1773s |      25 |  9000396 |  7051798 |     1780   9366 |        0 |        0
1775.38/1775.99	c 1775s |      25 |  9008359 |  7057898 |     1780   9373 |        0 |        0
1777.47/1778.00	c 1777s |      25 |  9015162 |  7063598 |     1780   9378 |        0 |        0
1779.47/1780.03	c 1780s |      25 |  9022535 |  7069398 |     1780   9385 |        0 |        0
1781.48/1782.04	c 1782s |      25 |  9031381 |  7076298 |     1780   9392 |        0 |        0
1783.47/1784.07	c 1784s |      25 |  9041302 |  7083498 |     1780   9399 |        0 |        0
1785.47/1786.08	c 1786s |      25 |  9050802 |  7090498 |     1780   9407 |        0 |        0
1787.47/1788.09	c 1788s |      25 |  9060597 |  7097098 |     1780   9413 |        0 |        0
1789.57/1790.10	c 1790s |      25 |  9070052 |  7103598 |     1780   9420 |        0 |        0
1791.57/1792.12	c 1792s |      25 |  9078113 |  7109898 |     1780   9427 |        0 |        0
1793.57/1794.15	c 1794s |      25 |  9086161 |  7116098 |     1780   9433 |        0 |        0
1795.56/1796.16	c 1796s |      25 |  9093244 |  7121498 |     1780   9439 |        0 |        0
1797.56/1798.18	c 1798s |      25 |  9102320 |  7127898 |     1780   9445 |        0 |        0
1799.66/1800.21	c 1800s |      25 |  9110699 |  7134498 |     1780   9452 |        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-4096085-1466101814/watcher-4096085-1466101814 -o /tmp/evaluation-result-4096085-1466101814/solver-4096085-1466101814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096085-1466101814.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.23 2.24 3/182 21189
/proc/meminfo: memFree=30116848/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 3059 0 0 0 0 0 0 0 20 0 4 0 12227790 836169728 3420 33554432000 4194304 16246674 140733708819936 140733708818872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 204655 3430 441 2943 0 201549 0
[pid=21189/tid=21190] ppid=21186 vsize=833980 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 853995520 3491 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=839100 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 859238400 3509 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=843196 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227790 863432704 3527 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.25 2.23 2.24 3/182 21189
/proc/meminfo: memFree=30116848/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 25372 0 0 0 5 4 0 0 20 0 4 0 12227790 1247350784 25722 33554432000 4194304 16246674 140733708819936 140733708818872 5589685 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 304529 25737 707 2943 0 301423 0
[pid=21189/tid=21190] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 25747 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 25757 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 25767 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200457 s]
/proc/loadavg: 2.25 2.23 2.24 3/182 21189
/proc/meminfo: memFree=30116848/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 48520 0 0 0 12 7 0 0 20 0 4 0 12227790 1247350784 48870 33554432000 4194304 16246674 140733708819936 140733708818872 5707858 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 304529 48883 707 2943 0 301423 0
[pid=21189/tid=21190] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 48892 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 48900 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 48909 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300456 s]
/proc/loadavg: 2.25 2.23 2.24 3/182 21189
/proc/meminfo: memFree=30116848/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 73509 0 0 0 18 11 0 0 20 0 4 0 12227790 1247350784 73859 33554432000 4194304 16246674 140733708819936 140733708818872 5722381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 304529 73873 707 2943 0 301423 0
[pid=21189/tid=21190] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 73881 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 73886 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 73891 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.25 2.23 2.24 3/182 21189
/proc/meminfo: memFree=30116848/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 179441 0 0 0 43 26 0 0 20 0 4 0 12227790 1247350784 179790 33554432000 4194304 16246674 140733708819936 140733708818872 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 304529 179798 707 2943 0 301423 0
[pid=21189/tid=21190] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 179803 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 179809 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12227790 1247350784 179816 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.25 2.23 2.24 3/186 21193
/proc/meminfo: memFree=28359264/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 245602 0 0 0 114 34 0 0 20 0 4 0 12227790 1248399360 245931 33554432000 4194304 16246674 140733708819936 140733708819248 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 304785 245931 782 2943 0 301679 0
[pid=21189/tid=21190] ppid=21186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1248399360 245931 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1248399360 245931 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1248399360 245931 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.23 2.22 2.23 3/186 21193
/proc/meminfo: memFree=28184920/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267456 0 0 0 271 38 0 0 20 0 4 0 12227790 1337528320 267785 33554432000 4194304 16246674 140733708819936 140733708801856 13963995 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326545 267785 782 2943 0 323439 0
[pid=21189/tid=21190] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267785 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267785 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267785 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.23 2.22 2.23 3/186 21193
/proc/meminfo: memFree=28183148/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267499 0 0 0 591 38 0 0 20 0 4 0 12227790 1337528320 267828 33554432000 4194304 16246674 140733708819936 140733708801856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326545 267828 784 2943 0 323439 0
[pid=21189/tid=21190] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267828 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267828 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267828 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.20 2.21 2.23 3/186 21193
/proc/meminfo: memFree=28182868/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267534 0 0 0 1231 38 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140733708802936 12467320 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326545 267863 784 2943 0 323439 0
[pid=21189/tid=21190] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.17 2.21 2.23 3/186 21193
/proc/meminfo: memFree=28183416/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267534 0 0 0 2510 38 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140733708801856 5663608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326545 267863 784 2943 0 323439 0
[pid=21189/tid=21190] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1337528320 267863 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.22 2.23 3/185 21193
/proc/meminfo: memFree=28182820/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267639 0 0 0 5069 39 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140733708802936 12477976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326801 267968 786 2943 0 323695 0
[pid=21189/tid=21190] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.24 2.21 2.23 3/185 21195
/proc/meminfo: memFree=28181628/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 267639 0 0 0 10188 40 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140733708801856 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 326801 267968 786 2943 0 323695 0
[pid=21189/tid=21190] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1338576896 267968 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1339625472 268386 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.43 2.31 2.22 3/185 21225
/proc/meminfo: memFree=28171624/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1302.07 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268452 0 0 0 130152 55 0 0 20 0 4 0 12227790 1341722624 268762 33554432000 4194304 16246674 140733708819936 140733708819112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268762 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268762 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268762 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268762 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.44 2.33 2.23 3/185 21226
/proc/meminfo: memFree=28171708/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1362.03 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268556 0 0 0 136147 56 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708801856 13191272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.49 2.37 2.25 3/185 21227
/proc/meminfo: memFree=28171768/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1422 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268601 0 0 0 142143 57 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708802936 5666924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.34 2.35 2.25 3/185 21228
/proc/meminfo: memFree=28171900/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1481.96 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268648 0 0 0 148138 58 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708801856 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.35 2.35 2.26 3/185 21229
/proc/meminfo: memFree=28170676/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1541.92 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268692 0 0 0 154134 58 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708801856 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.22 2.32 2.25 4/185 21231
/proc/meminfo: memFree=28170504/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1601.88 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268739 0 0 0 160129 59 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708801856 5827660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.22 2.30 2.25 3/185 21232
/proc/meminfo: memFree=28170264/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1661.84 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268782 0 0 0 166125 59 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140733708801856 6022640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268818 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268818 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.19 2.28 2.24 3/185 21233
/proc/meminfo: memFree=28170100/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1721.81 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268837 0 0 0 172121 60 0 0 20 0 4 0 12227790 1341722624 268825 33554432000 4194304 16246674 140733708819936 140733708801856 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268825 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268825 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268825 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268825 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.24 2.28 2.25 3/185 21234
/proc/meminfo: memFree=28169440/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1781.77 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268981 0 0 0 178116 61 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140733708801856 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268925 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.30 2.25 3/186 21237
/proc/meminfo: memFree=28169040/32872528 swapFree=1481856/1661728
[pid=21189] ppid=21186 vsize=1310276 CPUtime=1800.06 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 20832 0 -1 4202496 268995 0 0 0 179945 61 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140733708801856 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 327569 268925 788 2943 0 324463 0
[pid=21189/tid=21190] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652268465392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652257975536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12227790 1341722624 268925 33554432000 4194304 16246674 140733708819936 140652247502000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1310276

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1799.46
CPU system time (s): 0.627904
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.627904
maximum resident set size= 1075700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268995
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= 416
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70613 second user time and 7.74082 second system time

The end

Begin job on node134 at 2016-06-16 20:30:14
IDJOB=4096085
IDBENCH=107564
IDSOLVER=2542
FILE ID=node134/4096085-1466101814
RUNJOBID= node134-1466098211-20849
PBS_JOBID= 19904059
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= aab9a69c3fa97f7f0388f97ba35f5d6f
RANDOM SEED=1746134395

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30133116 kB
Buffers:           39676 kB
Cached:           129584 kB
SwapCached:         8908 kB
Active:           295584 kB
Inactive:          75680 kB
Active(anon):     196056 kB
Inactive(anon):     8200 kB
Active(file):      99528 kB
Inactive(file):    67480 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             32828 kB
Writeback:            32 kB
AnonPages:       1852396 kB
Mapped:             9676 kB
Shmem:                 0 kB
Slab:             570940 kB
SReclaimable:      13840 kB
SUnreclaim:       557100 kB
KernelStack:        1448 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2790180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 21:00:14