0.00/0.00	c 2016-06-30T20:38:03+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-4120650-1467311883.opb"]
0.00/0.01	c use --random-gen="416138441 1703268276 2721414260 3144171320 1317776309 1417932741 3612417392 1602035637 1586611367 2569086812 1836711674 2194342310 267448341 3609160825 3719825177 987506826 2012044819 3884821907 1343995190 841609773 2879322985 1746721968 820719644 801703290 3761455253 32361846 4243608752 51960391 2370369572 3341195327 3695335349 824128124 1212169456 1995326513 646336266 2030620889 3094793251 4143871723 2474380415 100960040 1412692897 4158480592 954063239 1980990019 2450414355 3354438387 3831438164 2863749424 1420339709 3282353831 961910009 69939937 4080377182 4201341809 3997315551 2756770856 186032103 152828923 2861132017 2838443651 500816348 136057339 1595141081 1011099331 2338607009 819340480 1813182212 1122931593 1744505383 1606987885 1445770786 3023639512 655264902 1667016099 1663719652 2642149311 1339169329 3038794515 2555244663 881557097 1889331445 760986043 3840663776 9654915 1192265231 3135004989 1790502815 2269321733 1523272774 1009062857 3054563329 2011517811 3151858025 418078756 396920292 3955642150 3835285547 899845469 2323803635 643990628 2053564345 1364829025 163393274 3702927231 2413711208 1387297737 1042137097 2323966649 2582325271 772604906 4216880901 4292054481 3499546539 2852755503 2054314375 1293999375 195119286 2682402648 2019733812 531450264 1590171125 3532239713 4148816148 2498559426 4266062170 406635336 2123235728 1685905398 775571564 3756933467 210530669 2133003743 1160990533 2370150198 2957616743 4006107912 985036085 2378118770 3185656781 3234524127 2790314238 3797613213 1213555379 2229616523 1272367579 3360903613 2219232206 1116226858 963801385 359637160 4060560630 1384024063 3970823467 4031913397 1867828145 3092313724 2479659131 3304466994 1336589155 2304866139 554601557 4203605023 816446747 3284607228 1870425406 2892409577 4216039764 3198862645 2081249947 1789566353 4125066837 1554921735 3160770188 3679800915 4234101579 3212586180 52693083 1564386192 3126699233 690217485 1799095902 317561656 2847437903 4261726187 3685557757 479841789 3129611322 1179980964 1844728131 3067934295 4047564936 1483088184 987601865 1867372668 267191101 4016669040 1612080696 821890208 4052382908 3374668285 559833242 1527293899 2203630538 1126003748 2012253891 3822823421 2846858097 2229598676 1343631640 455863358 708916249 658093656 4002224526 1429046299 1316065803 1175510147 40712627 3685757887 2785755955 3828577704 2646544717 2534464407 287056070 1321647595 4133609129 3172128449 825268904 3754493838 3416588655 4293477765 3976938578 1615175125 549978130 1960939745 2309882390 3517634190 3710729243 3146717615 1112228131 3681493623 2144479461 3181652064 1087795532 1481953337 480323501 4029365956 400191580 538508522 1287336156 4114192673 3066760607 415421609 972679113 4142078690 3249429490 4233811998 255 362436" option to reproduce the execution
0.00/0.01	c #vars 309
0.00/0.01	c #constraints 308
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      205      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      186 |      100 |      205      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      414 |      250 |      226      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      805 |      475 |      249      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1300 |      813 |      274      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2132 |     1320 |      302      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3204 |     2081 |      367      8 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4956 |     3223 |      404     12 |        0 |        0
0.49/0.54	c  0.5s |       8 |     7394 |     4936 |      445     18 |        0 |        0
0.79/0.84	c  0.8s |       9 |    11081 |     7506 |      490     26 |        0 |        0
1.20/1.21	c  1.2s |      10 |    16315 |    11361 |      539     37 |        0 |        0
1.59/1.68	c  1.7s |      11 |    23910 |    17144 |      593     55 |        0 |        0
2.39/2.42	c  2.4s |      12 |    35664 |    25819 |      653     77 |        0 |        0
3.49/3.54	c  3.5s |      13 |    53755 |    38832 |      719    109 |        0 |        0
5.29/5.38	c  5.4s |      14 |    80279 |    58352 |      791    154 |        0 |        0
7.29/7.38	c  7.4s |      14 |   108830 |    79052 |      791    196 |        0 |        0
8.19/8.21	c  8.2s |      15 |   120673 |    87632 |      871    214 |        0 |        0
10.19/10.21	c 10.2s |      15 |   144196 |   106332 |      871    250 |        0 |        0
12.19/12.22	c 12.2s |      15 |   168004 |   125232 |      871    286 |        0 |        0
12.89/12.90	c 12.9s |      16 |   176052 |   131552 |      959    298 |        0 |        0
14.89/14.91	c 14.9s |      16 |   203123 |   151452 |      959    333 |        0 |        0
16.89/16.92	c 16.9s |      16 |   229725 |   171052 |      959    368 |        0 |        0
18.89/18.92	c 18.9s |      16 |   253435 |   189752 |      959    401 |        0 |        0
19.68/19.74	c 19.7s |      17 |   263899 |   197432 |     1055    414 |        0 |        0
21.68/21.75	c 21.7s |      17 |   286547 |   215132 |     1055    443 |        0 |        0
23.68/23.76	c 23.7s |      17 |   312142 |   234332 |     1055    473 |        0 |        0
25.68/25.77	c 25.7s |      17 |   336768 |   253332 |     1055    504 |        0 |        0
27.68/27.77	c 27.7s |      17 |   360682 |   271732 |     1055    534 |        0 |        0
29.69/29.77	c 29.7s |      17 |   385752 |   290732 |     1055    564 |        0 |        0
30.28/30.36	c 30.3s |      18 |   392894 |   296252 |     1161    573 |        0 |        0
32.28/32.37	c 32.4s |      18 |   417630 |   314952 |     1161    601 |        0 |        0
34.28/34.38	c 34.4s |      18 |   441638 |   333452 |     1161    629 |        0 |        0
36.29/36.39	c 36.4s |      18 |   465662 |   351252 |     1161    655 |        0 |        0
38.38/38.40	c 38.4s |      18 |   490721 |   369952 |     1161    683 |        0 |        0
40.38/40.40	c 40.4s |      18 |   514177 |   387352 |     1161    709 |        0 |        0
42.38/42.40	c 42.4s |      18 |   538146 |   405652 |     1161    736 |        0 |        0
44.39/44.41	c 44.4s |      18 |   563215 |   423952 |     1161    764 |        0 |        0
46.39/46.41	c 46.4s |      18 |   586531 |   441752 |     1278    791 |        0 |        0
46.69/46.72	c 46.7s |      19 |   590225 |   444482 |     1278    794 |        0 |        0
48.69/48.74	c 48.7s |      19 |   609584 |   460482 |     1278    816 |        0 |        0
50.69/50.74	c 50.7s |      19 |   634062 |   479082 |     1278    842 |        0 |        0
52.69/52.74	c 52.7s |      19 |   659963 |   498382 |     1278    868 |        0 |        0
54.68/54.75	c 54.7s |      19 |   685246 |   517182 |     1278    894 |        0 |        0
56.68/56.75	c 56.7s |      19 |   709282 |   535982 |     1278    920 |        0 |        0
58.68/58.76	c 58.7s |      19 |   734425 |   554682 |     1278    945 |        0 |        0
60.68/60.77	c 60.7s |      19 |   758631 |   572982 |     1278    971 |        0 |        0
62.69/62.78	c 62.8s |      19 |   781510 |   590482 |     1278    994 |        0 |        0
64.68/64.79	c 64.8s |      19 |   803789 |   607882 |     1278   1018 |        0 |        0
66.68/66.79	c 66.8s |      19 |   830456 |   627182 |     1278   1045 |        0 |        0
68.68/68.79	c 68.8s |      19 |   853940 |   645482 |     1278   1070 |        0 |        0
70.78/70.80	c 70.8s |      19 |   879311 |   664482 |     1406   1095 |        0 |        0
70.98/71.08	c 71.1s |      20 |   882217 |   666827 |     1406   1098 |        0 |        0
72.98/73.08	c 73.1s |      20 |   905023 |   684427 |     1406   1121 |        0 |        0
74.98/75.09	c 75.1s |      20 |   929501 |   702927 |     1406   1145 |        0 |        0
76.99/77.10	c 77.1s |      20 |   954506 |   721327 |     1406   1169 |        0 |        0
79.08/79.11	c 79.1s |      20 |   976307 |   738227 |     1406   1191 |        0 |        0
81.08/81.11	c 81.1s |      20 |   998723 |   755127 |     1406   1212 |        0 |        0
83.08/83.12	c 83.1s |      20 |  1020995 |   772227 |     1406   1234 |        0 |        0
85.08/85.13	c 85.1s |      20 |  1044639 |   790027 |     1406   1256 |        0 |        0
87.08/87.13	c 87.1s |      20 |  1068351 |   807727 |     1406   1279 |        0 |        0
89.08/89.13	c 89.1s |      20 |  1093221 |   826527 |     1406   1303 |        0 |        0
91.08/91.13	c 91.1s |      20 |  1116282 |   844427 |     1406   1326 |        0 |        0
93.08/93.14	c 93.1s |      20 |  1141409 |   862827 |     1406   1350 |        0 |        0
95.08/95.15	c 95.1s |      20 |  1166755 |   880727 |     1406   1373 |        0 |        0
97.08/97.15	c 97.1s |      20 |  1191036 |   898427 |     1406   1396 |        0 |        0
99.08/99.16	c 99.1s |      20 |  1215978 |   917127 |     1406   1420 |        0 |        0
101.07/101.16	c  101s |      20 |  1239888 |   935427 |     1406   1444 |        0 |        0
103.07/103.17	c  103s |      20 |  1264792 |   954527 |     1406   1469 |        0 |        0
105.07/105.17	c  105s |      20 |  1288334 |   972427 |     1406   1491 |        0 |        0
107.07/107.17	c  107s |      20 |  1311096 |   989727 |     1406   1513 |        0 |        0
108.47/108.51	c  108s |      21 |  1324674 |  1000345 |     1547   1526 |        0 |        0
110.47/110.51	c  110s |      21 |  1345174 |  1016245 |     1547   1544 |        0 |        0
112.47/112.52	c  112s |      21 |  1365989 |  1032245 |     1547   1563 |        0 |        0
114.48/114.52	c  114s |      21 |  1386281 |  1048245 |     1547   1582 |        0 |        0
116.47/116.54	c  116s |      21 |  1408829 |  1065145 |     1547   1602 |        0 |        0
118.47/118.54	c  118s |      21 |  1431609 |  1082245 |     1547   1621 |        0 |        0
120.47/120.54	c  120s |      21 |  1450179 |  1096945 |     1547   1639 |        0 |        0
122.47/122.55	c  122s |      21 |  1471183 |  1113145 |     1547   1658 |        0 |        0
124.47/124.55	c  124s |      21 |  1495005 |  1130245 |     1547   1678 |        0 |        0
126.47/126.55	c  126s |      21 |  1516614 |  1146645 |     1547   1697 |        0 |        0
128.47/128.57	c  128s |      21 |  1536182 |  1162145 |     1547   1715 |        0 |        0
130.47/130.57	c  130s |      21 |  1555443 |  1177545 |     1547   1733 |        0 |        0
132.47/132.58	c  132s |      21 |  1578252 |  1194345 |     1547   1753 |        0 |        0
134.47/134.59	c  134s |      21 |  1601490 |  1211645 |     1547   1773 |        0 |        0
136.47/136.59	c  136s |      21 |  1623822 |  1228445 |     1547   1793 |        0 |        0
138.46/138.60	c  138s |      21 |  1647956 |  1245845 |     1547   1813 |        0 |        0
140.56/140.61	c  140s |      21 |  1672911 |  1263245 |     1547   1833 |        0 |        0
142.56/142.62	c  142s |      21 |  1697131 |  1280545 |     1547   1854 |        0 |        0
144.56/144.63	c  144s |      21 |  1719541 |  1297645 |     1547   1874 |        0 |        0
146.56/146.63	c  146s |      21 |  1743388 |  1315445 |     1547   1895 |        0 |        0
148.57/148.64	c  148s |      21 |  1766466 |  1332945 |     1547   1915 |        0 |        0
150.56/150.64	c  150s |      21 |  1789307 |  1349945 |     1547   1935 |        0 |        0
152.56/152.65	c  152s |      21 |  1812044 |  1367045 |     1547   1955 |        0 |        0
154.56/154.65	c  154s |      21 |  1833037 |  1382945 |     1547   1973 |        0 |        0
156.56/156.65	c  156s |      21 |  1855566 |  1399545 |     1547   1993 |        0 |        0
158.56/158.66	c  158s |      21 |  1877954 |  1416445 |     1547   2012 |        0 |        0
160.57/160.66	c  160s |      21 |  1900874 |  1433345 |     1547   2032 |        0 |        0
162.56/162.67	c  162s |      21 |  1924393 |  1451145 |     1547   2053 |        0 |        0
164.56/164.67	c  164s |      21 |  1948159 |  1468545 |     1547   2073 |        0 |        0
166.56/166.67	c  166s |      21 |  1972263 |  1486045 |     1547   2094 |        0 |        0
168.37/168.40	c  168s |      22 |  1991423 |  1500622 |     1702   2110 |        0 |        0
170.37/170.41	c  170s |      22 |  2011463 |  1516122 |     1702   2126 |        0 |        0
172.37/172.42	c  172s |      22 |  2033005 |  1532422 |     1702   2144 |        0 |        0
174.37/174.42	c  174s |      22 |  2054758 |  1548722 |     1702   2161 |        0 |        0
176.37/176.42	c  176s |      22 |  2075699 |  1564322 |     1702   2178 |        0 |        0
178.36/178.44	c  178s |      22 |  2095065 |  1579222 |     1702   2194 |        0 |        0
180.37/180.44	c  180s |      22 |  2115144 |  1593922 |     1702   2210 |        0 |        0
182.36/182.45	c  182s |      22 |  2134998 |  1608722 |     1702   2226 |        0 |        0
184.36/184.45	c  184s |      22 |  2155579 |  1623922 |     1702   2242 |        0 |        0
186.36/186.45	c  186s |      22 |  2176874 |  1639822 |     1702   2259 |        0 |        0
188.36/188.45	c  188s |      22 |  2196274 |  1654322 |     1702   2275 |        0 |        0
190.37/190.46	c  190s |      22 |  2214599 |  1668222 |     1702   2290 |        0 |        0
192.36/192.47	c  192s |      22 |  2233927 |  1682722 |     1702   2305 |        0 |        0
194.36/194.48	c  194s |      22 |  2252762 |  1697122 |     1702   2321 |        0 |        0
196.36/196.48	c  196s |      22 |  2271130 |  1711322 |     1702   2336 |        0 |        0
198.36/198.48	c  198s |      22 |  2291351 |  1726422 |     1702   2352 |        0 |        0
200.36/200.49	c  200s |      22 |  2310886 |  1741422 |     1702   2369 |        0 |        0
202.37/202.49	c  202s |      22 |  2330678 |  1756022 |     1702   2384 |        0 |        0
204.46/204.50	c  204s |      22 |  2349860 |  1770522 |     1702   2400 |        0 |        0
206.46/206.50	c  206s |      22 |  2368813 |  1784822 |     1702   2415 |        0 |        0
208.46/208.51	c  208s |      22 |  2388655 |  1799722 |     1702   2432 |        0 |        0
210.46/210.51	c  210s |      22 |  2407457 |  1814122 |     1702   2447 |        0 |        0
212.46/212.51	c  212s |      22 |  2426288 |  1828722 |     1702   2463 |        0 |        0
214.47/214.52	c  214s |      22 |  2449175 |  1845522 |     1702   2481 |        0 |        0
216.46/216.53	c  216s |      22 |  2469328 |  1861322 |     1702   2498 |        0 |        0
218.46/218.54	c  218s |      22 |  2490351 |  1877122 |     1702   2515 |        0 |        0
220.46/220.55	c  220s |      22 |  2509204 |  1891622 |     1702   2531 |        0 |        0
222.46/222.55	c  222s |      22 |  2527879 |  1906222 |     1702   2547 |        0 |        0
224.46/224.57	c  224s |      22 |  2547963 |  1921322 |     1702   2563 |        0 |        0
226.45/226.57	c  226s |      22 |  2567268 |  1935922 |     1702   2579 |        0 |        0
228.45/228.58	c  228s |      22 |  2587675 |  1951222 |     1702   2595 |        0 |        0
230.45/230.59	c  230s |      22 |  2608512 |  1967122 |     1702   2613 |        0 |        0
232.45/232.59	c  232s |      22 |  2629566 |  1982622 |     1702   2629 |        0 |        0
234.55/234.60	c  234s |      22 |  2649899 |  1998022 |     1702   2646 |        0 |        0
236.56/236.61	c  236s |      22 |  2670001 |  2013122 |     1702   2662 |        0 |        0
238.55/238.62	c  238s |      22 |  2690721 |  2028622 |     1702   2679 |        0 |        0
240.55/240.63	c  240s |      22 |  2710053 |  2043822 |     1702   2696 |        0 |        0
242.55/242.64	c  242s |      22 |  2730833 |  2059622 |     1702   2713 |        0 |        0
244.55/244.64	c  244s |      22 |  2752267 |  2075322 |     1702   2730 |        0 |        0
246.55/246.64	c  246s |      22 |  2770922 |  2089622 |     1702   2745 |        0 |        0
248.56/248.65	c  248s |      22 |  2791827 |  2105022 |     1702   2762 |        0 |        0
250.55/250.66	c  250s |      22 |  2812026 |  2121022 |     1702   2779 |        0 |        0
252.55/252.67	c  252s |      22 |  2833232 |  2137422 |     1702   2797 |        0 |        0
254.55/254.68	c  254s |      22 |  2853996 |  2153522 |     1702   2814 |        0 |        0
256.55/256.68	c  256s |      22 |  2873914 |  2169322 |     1702   2831 |        0 |        0
258.55/258.69	c  258s |      22 |  2894455 |  2185222 |     1702   2848 |        0 |        0
260.55/260.69	c  260s |      22 |  2915369 |  2201322 |     1702   2866 |        0 |        0
262.55/262.69	c  262s |      22 |  2937630 |  2217822 |     1702   2883 |        0 |        0
264.65/264.70	c  264s |      22 |  2956480 |  2232722 |     1702   2899 |        0 |        0
266.65/266.70	c  266s |      22 |  2974627 |  2246622 |     1873   2913 |        0 |        0
267.25/267.34	c  267s |      23 |  2980275 |  2251038 |     1873   2918 |        0 |        0
269.25/269.36	c  269s |      23 |  2999663 |  2266038 |     1873   2932 |        0 |        0
271.25/271.36	c  271s |      23 |  3018579 |  2280438 |     1873   2947 |        0 |        0
273.25/273.37	c  273s |      23 |  3036172 |  2294638 |     1873   2960 |        0 |        0
275.25/275.37	c  275s |      23 |  3054525 |  2308838 |     1873   2975 |        0 |        0
277.25/277.37	c  277s |      23 |  3073956 |  2323238 |     1873   2989 |        0 |        0
279.24/279.38	c  279s |      23 |  3092088 |  2337038 |     1873   3002 |        0 |        0
281.24/281.39	c  281s |      23 |  3112276 |  2351538 |     1873   3016 |        0 |        0
283.34/283.40	c  283s |      23 |  3133101 |  2367138 |     1873   3032 |        0 |        0
285.34/285.40	c  285s |      23 |  3154399 |  2382838 |     1873   3047 |        0 |        0
287.34/287.40	c  287s |      23 |  3173228 |  2397438 |     1873   3062 |        0 |        0
289.35/289.40	c  289s |      23 |  3192522 |  2412438 |     1873   3077 |        0 |        0
291.34/291.41	c  291s |      23 |  3211626 |  2427338 |     1873   3091 |        0 |        0
293.34/293.41	c  293s |      23 |  3232051 |  2442638 |     1873   3106 |        0 |        0
295.34/295.43	c  295s |      23 |  3252540 |  2458038 |     1873   3122 |        0 |        0
297.34/297.44	c  297s |      23 |  3272776 |  2473038 |     1873   3136 |        0 |        0
299.34/299.45	c  299s |      23 |  3291314 |  2487338 |     1873   3151 |        0 |        0
301.35/301.46	c  301s |      23 |  3313542 |  2503538 |     1873   3167 |        0 |        0
303.34/303.46	c  303s |      23 |  3333798 |  2519138 |     1873   3182 |        0 |        0
305.34/305.47	c  305s |      23 |  3353563 |  2534338 |     1873   3197 |        0 |        0
307.34/307.48	c  307s |      23 |  3374914 |  2550038 |     1873   3212 |        0 |        0
309.34/309.48	c  309s |      23 |  3395766 |  2565638 |     1873   3228 |        0 |        0
311.35/311.49	c  311s |      23 |  3416653 |  2580938 |     1873   3243 |        0 |        0
313.45/313.50	c  313s |      23 |  3437062 |  2596138 |     1873   3258 |        0 |        0
315.45/315.50	c  315s |      23 |  3458353 |  2611838 |     1873   3273 |        0 |        0
317.44/317.51	c  317s |      23 |  3479514 |  2627738 |     1873   3289 |        0 |        0
319.44/319.52	c  319s |      23 |  3499718 |  2643238 |     1873   3304 |        0 |        0
321.44/321.52	c  321s |      23 |  3519894 |  2658738 |     1873   3319 |        0 |        0
323.45/323.53	c  323s |      23 |  3538757 |  2673238 |     1873   3334 |        0 |        0
325.44/325.53	c  325s |      23 |  3557289 |  2687738 |     1873   3348 |        0 |        0
327.44/327.53	c  327s |      23 |  3579049 |  2703938 |     1873   3364 |        0 |        0
329.44/329.53	c  329s |      23 |  3600886 |  2720638 |     1873   3380 |        0 |        0
331.44/331.54	c  331s |      23 |  3624629 |  2737438 |     1873   3397 |        0 |        0
333.44/333.57	c  333s |      23 |  3646218 |  2753338 |     1873   3413 |        0 |        0
335.44/335.57	c  335s |      23 |  3668572 |  2769238 |     1873   3428 |        0 |        0
337.44/337.58	c  337s |      23 |  3689943 |  2785038 |     1873   3444 |        0 |        0
339.44/339.58	c  339s |      23 |  3711452 |  2800738 |     1873   3459 |        0 |        0
341.44/341.59	c  341s |      23 |  3731763 |  2816038 |     1873   3474 |        0 |        0
343.54/343.60	c  343s |      23 |  3752783 |  2831338 |     1873   3489 |        0 |        0
345.54/345.60	c  345s |      23 |  3773638 |  2846638 |     1873   3504 |        0 |        0
347.54/347.61	c  347s |      23 |  3793680 |  2862138 |     1873   3519 |        0 |        0
349.53/349.63	c  349s |      23 |  3814431 |  2877638 |     1873   3535 |        0 |        0
351.53/351.64	c  351s |      23 |  3834464 |  2892838 |     1873   3550 |        0 |        0
353.53/353.65	c  353s |      23 |  3855528 |  2908438 |     1873   3565 |        0 |        0
355.53/355.66	c  355s |      23 |  3876905 |  2923938 |     1873   3580 |        0 |        0
357.54/357.67	c  357s |      23 |  3897769 |  2939938 |     1873   3596 |        0 |        0
359.53/359.67	c  359s |      23 |  3917153 |  2954938 |     1873   3611 |        0 |        0
361.53/361.68	c  361s |      23 |  3936828 |  2969938 |     1873   3626 |        0 |        0
363.53/363.68	c  363s |      23 |  3957038 |  2985138 |     1873   3641 |        0 |        0
365.53/365.68	c  365s |      23 |  3978628 |  3001038 |     1873   3657 |        0 |        0
367.53/367.69	c  367s |      23 |  3998603 |  3016538 |     1873   3672 |        0 |        0
369.54/369.70	c  369s |      23 |  4020775 |  3032638 |     1873   3688 |        0 |        0
371.63/371.71	c  371s |      23 |  4041369 |  3048338 |     1873   3704 |        0 |        0
373.63/373.71	c  373s |      23 |  4062376 |  3064038 |     1873   3720 |        0 |        0
375.63/375.72	c  375s |      23 |  4084628 |  3079938 |     1873   3735 |        0 |        0
377.63/377.72	c  377s |      23 |  4106130 |  3095938 |     1873   3751 |        0 |        0
379.63/379.73	c  379s |      23 |  4126446 |  3111038 |     1873   3766 |        0 |        0
381.63/381.75	c  381s |      23 |  4147476 |  3126238 |     1873   3781 |        0 |        0
383.63/383.75	c  383s |      23 |  4168400 |  3142538 |     1873   3797 |        0 |        0
385.63/385.76	c  385s |      23 |  4188511 |  3157338 |     1873   3812 |        0 |        0
387.63/387.77	c  387s |      23 |  4209855 |  3173238 |     1873   3828 |        0 |        0
389.63/389.78	c  389s |      23 |  4231347 |  3189538 |     1873   3844 |        0 |        0
391.63/391.79	c  391s |      23 |  4253495 |  3205938 |     1873   3860 |        0 |        0
393.63/393.79	c  393s |      23 |  4274925 |  3221638 |     1873   3876 |        0 |        0
395.73/395.80	c  395s |      23 |  4296462 |  3237338 |     1873   3891 |        0 |        0
397.73/397.82	c  397s |      23 |  4317352 |  3252938 |     1873   3907 |        0 |        0
399.73/399.82	c  399s |      23 |  4336431 |  3267438 |     1873   3921 |        0 |        0
401.72/401.83	c  401s |      23 |  4358415 |  3283238 |     1873   3937 |        0 |        0
403.73/403.84	c  403s |      23 |  4381677 |  3300238 |     1873   3954 |        0 |        0
405.72/405.84	c  405s |      23 |  4403419 |  3316638 |     1873   3970 |        0 |        0
407.72/407.84	c  407s |      23 |  4423313 |  3331638 |     1873   3985 |        0 |        0
409.72/409.85	c  409s |      23 |  4445844 |  3348338 |     1873   4001 |        0 |        0
411.72/411.86	c  411s |      23 |  4467223 |  3364138 |     2061   4016 |        0 |        0
413.32/413.45	c  413s |      24 |  4484866 |  3376662 |     2061   4027 |        0 |        0
415.32/415.46	c  415s |      24 |  4507361 |  3393062 |     2061   4042 |        0 |        0
417.32/417.47	c  417s |      24 |  4528064 |  3408662 |     2061   4056 |        0 |        0
419.32/419.47	c  419s |      24 |  4546199 |  3423262 |     2061   4069 |        0 |        0
421.33/421.48	c  421s |      24 |  4567914 |  3439662 |     2061   4084 |        0 |        0
423.32/423.48	c  423s |      24 |  4586913 |  3454462 |     2061   4097 |        0 |        0
425.32/425.49	c  425s |      24 |  4605121 |  3468562 |     2061   4110 |        0 |        0
427.42/427.50	c  427s |      24 |  4624301 |  3483462 |     2061   4124 |        0 |        0
429.42/429.50	c  429s |      24 |  4643730 |  3498362 |     2061   4137 |        0 |        0
431.42/431.51	c  431s |      24 |  4663459 |  3513362 |     2061   4151 |        0 |        0
433.43/433.52	c  433s |      24 |  4682986 |  3528262 |     2061   4164 |        0 |        0
435.42/435.53	c  435s |      24 |  4702550 |  3543262 |     2061   4178 |        0 |        0
437.42/437.53	c  437s |      24 |  4722714 |  3558862 |     2061   4192 |        0 |        0
439.42/439.53	c  439s |      24 |  4742606 |  3574162 |     2061   4206 |        0 |        0
441.42/441.54	c  441s |      24 |  4761950 |  3588662 |     2061   4219 |        0 |        0
443.42/443.54	c  443s |      24 |  4781763 |  3603362 |     2061   4233 |        0 |        0
445.43/445.55	c  445s |      24 |  4801454 |  3618662 |     2061   4247 |        0 |        0
447.43/447.56	c  447s |      24 |  4821708 |  3633862 |     2061   4260 |        0 |        0
449.42/449.58	c  449s |      24 |  4842773 |  3649262 |     2061   4275 |        0 |        0
451.42/451.58	c  451s |      24 |  4862637 |  3664562 |     2061   4288 |        0 |        0
453.42/453.58	c  453s |      24 |  4882816 |  3679862 |     2061   4302 |        0 |        0
455.43/455.59	c  455s |      24 |  4901727 |  3694362 |     2061   4316 |        0 |        0
457.42/457.60	c  457s |      24 |  4920736 |  3709162 |     2061   4329 |        0 |        0
459.52/459.60	c  459s |      24 |  4939885 |  3723662 |     2061   4343 |        0 |        0
461.52/461.60	c  461s |      24 |  4960071 |  3738862 |     2061   4356 |        0 |        0
463.52/463.62	c  463s |      24 |  4981446 |  3754962 |     2061   4371 |        0 |        0
465.52/465.63	c  465s |      24 |  4999579 |  3768962 |     2061   4384 |        0 |        0
467.53/467.63	c  467s |      24 |  5018798 |  3783262 |     2061   4397 |        0 |        0
469.52/469.64	c  469s |      24 |  5040718 |  3798962 |     2061   4412 |        0 |        0
471.52/471.66	c  471s |      24 |  5059472 |  3812862 |     2061   4424 |        0 |        0
473.52/473.67	c  473s |      24 |  5077661 |  3826462 |     2061   4436 |        0 |        0
475.52/475.68	c  475s |      24 |  5096019 |  3840562 |     2061   4449 |        0 |        0
477.52/477.68	c  477s |      24 |  5113409 |  3853762 |     2061   4461 |        0 |        0
479.52/479.69	c  479s |      24 |  5130927 |  3867162 |     2061   4473 |        0 |        0
481.52/481.69	c  481s |      24 |  5149493 |  3881162 |     2061   4486 |        0 |        0
483.62/483.70	c  483s |      24 |  5167989 |  3895462 |     2061   4499 |        0 |        0
485.62/485.70	c  485s |      24 |  5189345 |  3911362 |     2061   4513 |        0 |        0
487.62/487.71	c  487s |      24 |  5209548 |  3926462 |     2061   4527 |        0 |        0
489.62/489.72	c  489s |      24 |  5230057 |  3941662 |     2061   4540 |        0 |        0
491.62/491.72	c  491s |      24 |  5249705 |  3956662 |     2061   4554 |        0 |        0
493.62/493.74	c  493s |      24 |  5269370 |  3971762 |     2061   4568 |        0 |        0
495.61/495.74	c  495s |      24 |  5288092 |  3985962 |     2061   4580 |        0 |        0
497.61/497.75	c  497s |      24 |  5306347 |  4000062 |     2061   4593 |        0 |        0
499.61/499.76	c  499s |      24 |  5326055 |  4015162 |     2061   4607 |        0 |        0
501.62/501.77	c  501s |      24 |  5346347 |  4029762 |     2061   4620 |        0 |        0
503.61/503.78	c  503s |      24 |  5365765 |  4044162 |     2061   4633 |        0 |        0
505.61/505.78	c  505s |      24 |  5384382 |  4058862 |     2061   4646 |        0 |        0
507.61/507.79	c  507s |      24 |  5404167 |  4073862 |     2061   4660 |        0 |        0
509.61/509.79	c  509s |      24 |  5423428 |  4088762 |     2061   4673 |        0 |        0
511.71/511.80	c  511s |      24 |  5441896 |  4102762 |     2061   4686 |        0 |        0
513.61/513.80	c  513s |      24 |  5461467 |  4117762 |     2061   4699 |        0 |        0
515.71/515.81	c  515s |      24 |  5481408 |  4132962 |     2061   4713 |        0 |        0
517.71/517.82	c  517s |      24 |  5501720 |  4148362 |     2061   4727 |        0 |        0
519.71/519.83	c  519s |      24 |  5518105 |  4161462 |     2061   4739 |        0 |        0
521.71/521.84	c  521s |      24 |  5537609 |  4175962 |     2061   4752 |        0 |        0
523.71/523.85	c  523s |      24 |  5556931 |  4190662 |     2061   4765 |        0 |        0
525.71/525.86	c  525s |      24 |  5574536 |  4204662 |     2061   4777 |        0 |        0
527.71/527.87	c  527s |      24 |  5595325 |  4219962 |     2061   4791 |        0 |        0
529.71/529.87	c  529s |      24 |  5614225 |  4234262 |     2061   4804 |        0 |        0
531.71/531.89	c  531s |      24 |  5632818 |  4248662 |     2061   4817 |        0 |        0
533.71/533.89	c  533s |      24 |  5651739 |  4262962 |     2061   4830 |        0 |        0
535.71/535.89	c  535s |      24 |  5669184 |  4276662 |     2061   4842 |        0 |        0
537.81/537.91	c  537s |      24 |  5689789 |  4291362 |     2061   4856 |        0 |        0
539.80/539.92	c  539s |      24 |  5709997 |  4306262 |     2061   4869 |        0 |        0
541.80/541.92	c  541s |      24 |  5730536 |  4321862 |     2061   4883 |        0 |        0
543.80/543.94	c  543s |      24 |  5750359 |  4336662 |     2061   4897 |        0 |        0
545.80/545.94	c  545s |      24 |  5771649 |  4352162 |     2061   4911 |        0 |        0
547.81/547.95	c  547s |      24 |  5794487 |  4368362 |     2061   4925 |        0 |        0
549.80/549.96	c  549s |      24 |  5815733 |  4383462 |     2061   4939 |        0 |        0
551.80/551.96	c  551s |      24 |  5835822 |  4398862 |     2061   4953 |        0 |        0
553.80/553.97	c  553s |      24 |  5854938 |  4413662 |     2061   4967 |        0 |        0
555.80/555.98	c  555s |      24 |  5876327 |  4429462 |     2061   4981 |        0 |        0
557.80/557.99	c  557s |      24 |  5899150 |  4446262 |     2061   4996 |        0 |        0
559.81/559.99	c  559s |      24 |  5919875 |  4461362 |     2061   5010 |        0 |        0
561.90/562.01	c  561s |      24 |  5940226 |  4476462 |     2061   5024 |        0 |        0
563.90/564.01	c  563s |      24 |  5961875 |  4492162 |     2061   5038 |        0 |        0
565.90/566.03	c  566s |      24 |  5980038 |  4506162 |     2061   5051 |        0 |        0
567.90/568.04	c  568s |      24 |  6000477 |  4521262 |     2061   5064 |        0 |        0
569.90/570.05	c  570s |      24 |  6019863 |  4535862 |     2061   5078 |        0 |        0
571.90/572.05	c  572s |      24 |  6040451 |  4550962 |     2061   5091 |        0 |        0
573.90/574.06	c  574s |      24 |  6060650 |  4566162 |     2061   5105 |        0 |        0
575.91/576.08	c  576s |      24 |  6080408 |  4581062 |     2061   5119 |        0 |        0
577.90/578.08	c  578s |      24 |  6099472 |  4595462 |     2061   5132 |        0 |        0
579.90/580.08	c  580s |      24 |  6117849 |  4609362 |     2061   5145 |        0 |        0
581.91/582.09	c  582s |      24 |  6139478 |  4625362 |     2061   5159 |        0 |        0
583.90/584.09	c  584s |      24 |  6157865 |  4639462 |     2061   5172 |        0 |        0
586.00/586.10	c  586s |      24 |  6176478 |  4653962 |     2061   5185 |        0 |        0
588.00/588.10	c  588s |      24 |  6193289 |  4667262 |     2061   5197 |        0 |        0
590.00/590.11	c  590s |      24 |  6212311 |  4681362 |     2061   5210 |        0 |        0
592.00/592.11	c  592s |      24 |  6230529 |  4695862 |     2061   5223 |        0 |        0
594.01/594.12	c  594s |      24 |  6249862 |  4710562 |     2061   5237 |        0 |        0
596.00/596.12	c  596s |      24 |  6269093 |  4725362 |     2061   5250 |        0 |        0
598.00/598.14	c  598s |      24 |  6289989 |  4740962 |     2061   5264 |        0 |        0
600.00/600.15	c  600s |      24 |  6310740 |  4756762 |     2061   5279 |        0 |        0
602.00/602.16	c  602s |      24 |  6331400 |  4772162 |     2061   5293 |        0 |        0
604.00/604.16	c  604s |      24 |  6350556 |  4786662 |     2061   5306 |        0 |        0
606.00/606.17	c  606s |      24 |  6370626 |  4801062 |     2061   5319 |        0 |        0
608.00/608.18	c  608s |      24 |  6390184 |  4815962 |     2061   5332 |        0 |        0
610.00/610.19	c  610s |      24 |  6410995 |  4831162 |     2061   5346 |        0 |        0
612.00/612.20	c  612s |      24 |  6430444 |  4845662 |     2061   5360 |        0 |        0
614.10/614.20	c  614s |      24 |  6450525 |  4860562 |     2061   5373 |        0 |        0
616.10/616.21	c  616s |      24 |  6470496 |  4875562 |     2061   5387 |        0 |        0
618.10/618.21	c  618s |      24 |  6489906 |  4890762 |     2061   5401 |        0 |        0
620.10/620.21	c  620s |      24 |  6509978 |  4905762 |     2061   5414 |        0 |        0
622.10/622.23	c  622s |      24 |  6528858 |  4920262 |     2061   5427 |        0 |        0
624.10/624.24	c  624s |      24 |  6547444 |  4934062 |     2061   5440 |        0 |        0
626.09/626.25	c  626s |      24 |  6564612 |  4947362 |     2061   5452 |        0 |        0
628.10/628.26	c  628s |      24 |  6582822 |  4961262 |     2061   5465 |        0 |        0
630.09/630.26	c  630s |      24 |  6603131 |  4975662 |     2061   5478 |        0 |        0
632.09/632.26	c  632s |      24 |  6620426 |  4989362 |     2061   5491 |        0 |        0
634.09/634.27	c  634s |      24 |  6641053 |  5004662 |     2061   5505 |        0 |        0
636.09/636.28	c  636s |      24 |  6659526 |  5018862 |     2061   5518 |        0 |        0
638.09/638.29	c  638s |      24 |  6678402 |  5032762 |     2268   5530 |        0 |        0
640.10/640.29	c  640s |      24 |  6696740 |  5046562 |     2268   5542 |        0 |        0
642.19/642.31	c  642s |      24 |  6716273 |  5061062 |     2268   5554 |        0 |        0
642.69/642.85	c  642s |      25 |  6721600 |  5065098 |     2268   5557 |        0 |        0
644.69/644.86	c  644s |      25 |  6743106 |  5080898 |     2268   5570 |        0 |        0
646.70/646.86	c  646s |      25 |  6763377 |  5096298 |     2268   5583 |        0 |        0
648.69/648.87	c  648s |      25 |  6780930 |  5110398 |     2268   5594 |        0 |        0
650.69/650.88	c  650s |      25 |  6800163 |  5124998 |     2268   5606 |        0 |        0
652.69/652.89	c  652s |      25 |  6821408 |  5140798 |     2268   5619 |        0 |        0
654.79/654.90	c  654s |      25 |  6840370 |  5155798 |     2268   5632 |        0 |        0
656.79/656.91	c  656s |      25 |  6861365 |  5171798 |     2268   5645 |        0 |        0
658.79/658.92	c  658s |      25 |  6881646 |  5187298 |     2268   5657 |        0 |        0
660.79/660.93	c  660s |      25 |  6903425 |  5203798 |     2268   5671 |        0 |        0
662.78/662.93	c  662s |      25 |  6923456 |  5218798 |     2268   5683 |        0 |        0
664.78/664.94	c  664s |      25 |  6942619 |  5233598 |     2268   5695 |        0 |        0
666.78/666.95	c  666s |      25 |  6960367 |  5247298 |     2268   5706 |        0 |        0
668.79/668.95	c  668s |      25 |  6978959 |  5261598 |     2268   5718 |        0 |        0
670.78/670.97	c  670s |      25 |  6995247 |  5274398 |     2268   5729 |        0 |        0
672.78/672.97	c  672s |      25 |  7012775 |  5287798 |     2268   5740 |        0 |        0
674.78/674.97	c  674s |      25 |  7030858 |  5301498 |     2268   5751 |        0 |        0
676.78/676.98	c  676s |      25 |  7046843 |  5314198 |     2268   5761 |        0 |        0
678.78/679.00	c  678s |      25 |  7065225 |  5328698 |     2268   5773 |        0 |        0
680.89/681.01	c  680s |      25 |  7085200 |  5343798 |     2268   5786 |        0 |        0
682.88/683.01	c  682s |      25 |  7104581 |  5358798 |     2268   5798 |        0 |        0
684.88/685.01	c  684s |      25 |  7122788 |  5372998 |     2268   5809 |        0 |        0
686.88/687.02	c  686s |      25 |  7141998 |  5388498 |     2268   5822 |        0 |        0
688.88/689.02	c  689s |      25 |  7159284 |  5401898 |     2268   5833 |        0 |        0
690.88/691.04	c  691s |      25 |  7176759 |  5415098 |     2268   5844 |        0 |        0
692.89/693.05	c  693s |      25 |  7195266 |  5428998 |     2268   5855 |        0 |        0
694.89/695.05	c  695s |      25 |  7215471 |  5444498 |     2268   5868 |        0 |        0
696.89/697.06	c  697s |      25 |  7233893 |  5458498 |     2268   5880 |        0 |        0
698.89/699.07	c  699s |      25 |  7249975 |  5471498 |     2268   5890 |        0 |        0
700.88/701.07	c  701s |      25 |  7265331 |  5483698 |     2268   5900 |        0 |        0
702.89/703.07	c  703s |      25 |  7282293 |  5496998 |     2268   5911 |        0 |        0
704.88/705.08	c  705s |      25 |  7300212 |  5510698 |     2268   5922 |        0 |        0
706.88/707.09	c  707s |      25 |  7318427 |  5524498 |     2268   5934 |        0 |        0
708.98/709.10	c  709s |      25 |  7335757 |  5538298 |     2268   5945 |        0 |        0
710.98/711.10	c  711s |      25 |  7355359 |  5552698 |     2268   5957 |        0 |        0
712.98/713.11	c  713s |      25 |  7374113 |  5567198 |     2268   5969 |        0 |        0
714.99/715.11	c  715s |      25 |  7393509 |  5582298 |     2268   5981 |        0 |        0
716.98/717.12	c  717s |      25 |  7411275 |  5596298 |     2268   5993 |        0 |        0
718.98/719.13	c  719s |      25 |  7430759 |  5610998 |     2268   6005 |        0 |        0
720.98/721.14	c  721s |      25 |  7450607 |  5625998 |     2268   6017 |        0 |        0
722.98/723.15	c  723s |      25 |  7470339 |  5640798 |     2268   6029 |        0 |        0
724.98/725.16	c  725s |      25 |  7488832 |  5654998 |     2268   6041 |        0 |        0
726.98/727.17	c  727s |      25 |  7509285 |  5670398 |     2268   6053 |        0 |        0
728.98/729.17	c  729s |      25 |  7529010 |  5685198 |     2268   6065 |        0 |        0
730.97/731.18	c  731s |      25 |  7549936 |  5700598 |     2268   6078 |        0 |        0
732.97/733.19	c  733s |      25 |  7570619 |  5715898 |     2268   6091 |        0 |        0
735.07/735.21	c  735s |      25 |  7589525 |  5730498 |     2268   6102 |        0 |        0
737.07/737.22	c  737s |      25 |  7607518 |  5744298 |     2268   6114 |        0 |        0
739.08/739.23	c  739s |      25 |  7625621 |  5758398 |     2268   6125 |        0 |        0
741.07/741.24	c  741s |      25 |  7643228 |  5771898 |     2268   6136 |        0 |        0
743.07/743.25	c  743s |      25 |  7659646 |  5784798 |     2268   6147 |        0 |        0
745.06/745.26	c  745s |      25 |  7676556 |  5797798 |     2268   6157 |        0 |        0
747.06/747.26	c  747s |      25 |  7693595 |  5810898 |     2268   6168 |        0 |        0
749.07/749.28	c  749s |      25 |  7710798 |  5824198 |     2268   6179 |        0 |        0
751.06/751.28	c  751s |      25 |  7726534 |  5836898 |     2268   6189 |        0 |        0
753.06/753.29	c  753s |      25 |  7745239 |  5850498 |     2268   6201 |        0 |        0
755.16/755.30	c  755s |      25 |  7764283 |  5864798 |     2268   6212 |        0 |        0
757.16/757.31	c  757s |      25 |  7781423 |  5878098 |     2268   6223 |        0 |        0
759.16/759.31	c  759s |      25 |  7798525 |  5891598 |     2268   6234 |        0 |        0
761.16/761.31	c  761s |      25 |  7813456 |  5903998 |     2268   6244 |        0 |        0
763.16/763.32	c  763s |      25 |  7830446 |  5917098 |     2268   6255 |        0 |        0
765.16/765.33	c  765s |      25 |  7848020 |  5930898 |     2268   6267 |        0 |        0
767.16/767.34	c  767s |      25 |  7866534 |  5944598 |     2268   6278 |        0 |        0
769.15/769.34	c  769s |      25 |  7884480 |  5958498 |     2268   6289 |        0 |        0
771.15/771.35	c  771s |      25 |  7903267 |  5973198 |     2268   6301 |        0 |        0
773.17/773.36	c  773s |      25 |  7924108 |  5988598 |     2268   6314 |        0 |        0
775.16/775.37	c  775s |      25 |  7943648 |  6003398 |     2268   6326 |        0 |        0
777.16/777.38	c  777s |      25 |  7961932 |  6017398 |     2268   6337 |        0 |        0
779.16/779.38	c  779s |      25 |  7980142 |  6031298 |     2268   6349 |        0 |        0
781.16/781.39	c  781s |      25 |  8000850 |  6046598 |     2268   6361 |        0 |        0
783.26/783.40	c  783s |      25 |  8021769 |  6062298 |     2268   6374 |        0 |        0
785.26/785.42	c  785s |      25 |  8041897 |  6077398 |     2268   6387 |        0 |        0
787.25/787.42	c  787s |      25 |  8060025 |  6091698 |     2268   6398 |        0 |        0
789.25/789.43	c  789s |      25 |  8077637 |  6105798 |     2268   6410 |        0 |        0
791.25/791.43	c  791s |      25 |  8096620 |  6120198 |     2268   6422 |        0 |        0
793.25/793.43	c  793s |      25 |  8118090 |  6136498 |     2268   6435 |        0 |        0
795.25/795.44	c  795s |      25 |  8137720 |  6151398 |     2268   6447 |        0 |        0
797.24/797.44	c  797s |      25 |  8155717 |  6165598 |     2268   6459 |        0 |        0
799.24/799.45	c  799s |      25 |  8174155 |  6179998 |     2268   6471 |        0 |        0
801.24/801.45	c  801s |      25 |  8194363 |  6195198 |     2268   6483 |        0 |        0
803.24/803.46	c  803s |      25 |  8214761 |  6210398 |     2268   6495 |        0 |        0
805.24/805.48	c  805s |      25 |  8234251 |  6225198 |     2268   6508 |        0 |        0
807.24/807.49	c  807s |      25 |  8254131 |  6239698 |     2268   6519 |        0 |        0
809.24/809.49	c  809s |      25 |  8275413 |  6254998 |     2268   6532 |        0 |        0
811.24/811.49	c  811s |      25 |  8296818 |  6270598 |     2268   6545 |        0 |        0
813.24/813.49	c  813s |      25 |  8317357 |  6285498 |     2268   6557 |        0 |        0
815.33/815.51	c  815s |      25 |  8338143 |  6300198 |     2268   6569 |        0 |        0
817.33/817.52	c  817s |      25 |  8359318 |  6315598 |     2268   6582 |        0 |        0
819.34/819.53	c  819s |      25 |  8380567 |  6330898 |     2268   6594 |        0 |        0
821.33/821.53	c  821s |      25 |  8393938 |  6342398 |     2268   6604 |        0 |        0
823.33/823.54	c  823s |      25 |  8413203 |  6356998 |     2268   6616 |        0 |        0
825.33/825.55	c  825s |      25 |  8433820 |  6372098 |     2268   6628 |        0 |        0
827.33/827.55	c  827s |      25 |  8453493 |  6386998 |     2268   6640 |        0 |        0
829.33/829.56	c  829s |      25 |  8473344 |  6401998 |     2268   6653 |        0 |        0
831.33/831.56	c  831s |      25 |  8493426 |  6416998 |     2268   6665 |        0 |        0
833.33/833.57	c  833s |      25 |  8513036 |  6431498 |     2268   6677 |        0 |        0
835.32/835.57	c  835s |      25 |  8533670 |  6446598 |     2268   6689 |        0 |        0
837.32/837.57	c  837s |      25 |  8554616 |  6461398 |     2268   6701 |        0 |        0
839.32/839.58	c  839s |      25 |  8576277 |  6476698 |     2268   6714 |        0 |        0
841.33/841.58	c  841s |      25 |  8597859 |  6492098 |     2268   6727 |        0 |        0
843.32/843.58	c  843s |      25 |  8619167 |  6507698 |     2268   6739 |        0 |        0
845.32/845.59	c  845s |      25 |  8638442 |  6522398 |     2268   6752 |        0 |        0
847.32/847.59	c  847s |      25 |  8658766 |  6537798 |     2268   6764 |        0 |        0
849.41/849.60	c  849s |      25 |  8676162 |  6551598 |     2268   6775 |        0 |        0
851.41/851.61	c  851s |      25 |  8693703 |  6565298 |     2268   6787 |        0 |        0
853.42/853.61	c  853s |      25 |  8711250 |  6579098 |     2268   6798 |        0 |        0
855.41/855.61	c  855s |      25 |  8727141 |  6591698 |     2268   6808 |        0 |        0
857.41/857.62	c  857s |      25 |  8745347 |  6605498 |     2268   6820 |        0 |        0
859.41/859.62	c  859s |      25 |  8763952 |  6619698 |     2268   6831 |        0 |        0
861.41/861.63	c  861s |      25 |  8781776 |  6633498 |     2268   6843 |        0 |        0
863.41/863.64	c  863s |      25 |  8798584 |  6646698 |     2268   6854 |        0 |        0
865.40/865.65	c  865s |      25 |  8817158 |  6660498 |     2268   6865 |        0 |        0
867.40/867.66	c  867s |      25 |  8834668 |  6674198 |     2268   6876 |        0 |        0
869.40/869.67	c  869s |      25 |  8855238 |  6689098 |     2268   6888 |        0 |        0
871.40/871.68	c  871s |      25 |  8875259 |  6704398 |     2268   6901 |        0 |        0
873.41/873.69	c  873s |      25 |  8893413 |  6718098 |     2268   6912 |        0 |        0
875.41/875.69	c  875s |      25 |  8910696 |  6731498 |     2268   6923 |        0 |        0
877.50/877.70	c  877s |      25 |  8929015 |  6745898 |     2268   6935 |        0 |        0
879.50/879.71	c  879s |      25 |  8947480 |  6759998 |     2268   6947 |        0 |        0
881.50/881.72	c  881s |      25 |  8966351 |  6774098 |     2268   6958 |        0 |        0
883.50/883.72	c  883s |      25 |  8983861 |  6787898 |     2268   6969 |        0 |        0
885.50/885.72	c  885s |      25 |  9001879 |  6801898 |     2268   6981 |        0 |        0
887.50/887.74	c  887s |      25 |  9021637 |  6817198 |     2268   6994 |        0 |        0
889.50/889.74	c  889s |      25 |  9042851 |  6833198 |     2268   7007 |        0 |        0
891.50/891.75	c  891s |      25 |  9062961 |  6848398 |     2268   7020 |        0 |        0
893.50/893.75	c  893s |      25 |  9081030 |  6862098 |     2268   7031 |        0 |        0
895.49/895.76	c  895s |      25 |  9101382 |  6877398 |     2268   7044 |        0 |        0
897.50/897.76	c  897s |      25 |  9120875 |  6892398 |     2268   7057 |        0 |        0
899.49/899.77	c  899s |      25 |  9140753 |  6907498 |     2268   7069 |        0 |        0
901.49/901.77	c  901s |      25 |  9161798 |  6923098 |     2268   7083 |        0 |        0
903.49/903.79	c  903s |      25 |  9181392 |  6937898 |     2268   7095 |        0 |        0
905.49/905.79	c  905s |      25 |  9200517 |  6952198 |     2268   7107 |        0 |        0
907.59/907.80	c  907s |      25 |  9220760 |  6967398 |     2268   7120 |        0 |        0
909.59/909.82	c  909s |      25 |  9239056 |  6981698 |     2268   7132 |        0 |        0
911.59/911.82	c  911s |      25 |  9258771 |  6996598 |     2268   7144 |        0 |        0
913.58/913.83	c  913s |      25 |  9278081 |  7011798 |     2268   7157 |        0 |        0
915.58/915.83	c  915s |      25 |  9298085 |  7026498 |     2268   7170 |        0 |        0
917.58/917.83	c  917s |      25 |  9316583 |  7040998 |     2268   7182 |        0 |        0
919.58/919.84	c  919s |      25 |  9335268 |  7055498 |     2268   7194 |        0 |        0
921.59/921.84	c  921s |      25 |  9356043 |  7070898 |     2268   7207 |        0 |        0
923.58/923.85	c  923s |      25 |  9376427 |  7086098 |     2268   7220 |        0 |        0
925.58/925.87	c  925s |      25 |  9397049 |  7101398 |     2268   7233 |        0 |        0
927.58/927.87	c  927s |      25 |  9415941 |  7115798 |     2268   7245 |        0 |        0
929.58/929.87	c  929s |      25 |  9435060 |  7130598 |     2268   7257 |        0 |        0
931.58/931.88	c  931s |      25 |  9455269 |  7145898 |     2268   7270 |        0 |        0
933.58/933.88	c  933s |      25 |  9474339 |  7160698 |     2268   7282 |        0 |        0
935.57/935.89	c  935s |      25 |  9494356 |  7175598 |     2268   7295 |        0 |        0
937.57/937.90	c  937s |      25 |  9512437 |  7189198 |     2268   7306 |        0 |        0
939.67/939.91	c  939s |      25 |  9533038 |  7204298 |     2268   7319 |        0 |        0
941.67/941.91	c  941s |      25 |  9552816 |  7219498 |     2268   7331 |        0 |        0
943.68/943.92	c  943s |      25 |  9572597 |  7234498 |     2268   7344 |        0 |        0
945.66/945.93	c  945s |      25 |  9591851 |  7249298 |     2268   7356 |        0 |        0
947.66/947.94	c  947s |      25 |  9608971 |  7262698 |     2268   7367 |        0 |        0
949.66/949.95	c  949s |      25 |  9628195 |  7277198 |     2268   7379 |        0 |        0
951.66/951.96	c  951s |      25 |  9647904 |  7291698 |     2268   7391 |        0 |        0
953.66/953.96	c  953s |      25 |  9667232 |  7306298 |     2268   7403 |        0 |        0
955.66/955.97	c  955s |      25 |  9687032 |  7321298 |     2268   7415 |        0 |        0
957.66/957.98	c  957s |      25 |  9706520 |  7335998 |     2268   7427 |        0 |        0
959.66/959.98	c  959s |      25 |  9725666 |  7350598 |     2268   7439 |        0 |        0
961.75/962.00	c  961s |      25 |  9745455 |  7365598 |     2268   7452 |        0 |        0
963.76/964.00	c  963s |      25 |  9764652 |  7380698 |     2268   7464 |        0 |        0
965.76/966.01	c  965s |      25 |  9784283 |  7395498 |     2268   7477 |        0 |        0
967.76/968.02	c  967s |      25 |  9803577 |  7409998 |     2268   7489 |        0 |        0
969.76/970.02	c  970s |      25 |  9824504 |  7425498 |     2268   7502 |        0 |        0
971.76/972.03	c  972s |      25 |  9845550 |  7441498 |     2268   7516 |        0 |        0
973.76/974.03	c  974s |      25 |  9867504 |  7458098 |     2268   7530 |        0 |        0
975.75/976.04	c  976s |      25 |  9889283 |  7474198 |     2268   7543 |        0 |        0
977.76/978.04	c  978s |      25 |  9909469 |  7489498 |     2268   7556 |        0 |        0
979.75/980.05	c  980s |      25 |  9929451 |  7504698 |     2268   7569 |        0 |        0
981.75/982.05	c  982s |      25 |  9950121 |  7520198 |     2268   7582 |        0 |        0
983.75/984.06	c  984s |      25 |  9972000 |  7536398 |     2268   7596 |        0 |        0
985.74/986.07	c  986s |      25 |  9991625 |  7551398 |     2495   7607 |        0 |        0
987.74/988.08	c  988s |      25 | 10010203 |  7566098 |     2495   7619 |        0 |        0
989.75/990.09	c  990s |      25 | 10029331 |  7580798 |     2495   7630 |        0 |        0
991.74/992.09	c  992s |      25 | 10050459 |  7597098 |     2495   7642 |        0 |        0
991.84/992.18	c  992s |      26 | 10051253 |  7597752 |     2495   7643 |        0 |        0
993.84/994.19	c  994s |      26 | 10069523 |  7611652 |     2495   7653 |        0 |        0
995.83/996.19	c  996s |      26 | 10087741 |  7626252 |     2495   7664 |        0 |        0
997.93/998.20	c  998s |      26 | 10106514 |  7640652 |     2495   7675 |        0 |        0
999.93/1000.21	c 1000s |      26 | 10125071 |  7655252 |     2495   7686 |        0 |        0
1001.94/1002.21	c 1002s |      26 | 10144655 |  7670052 |     2495   7697 |        0 |        0
1003.93/1004.22	c 1004s |      26 | 10162331 |  7683652 |     2495   7707 |        0 |        0
1005.93/1006.22	c 1006s |      26 | 10179224 |  7697052 |     2495   7718 |        0 |        0
1007.93/1008.23	c 1008s |      26 | 10198013 |  7711352 |     2495   7728 |        0 |        0
1009.93/1010.23	c 1010s |      26 | 10214113 |  7724652 |     2495   7738 |        0 |        0
1011.93/1012.23	c 1012s |      26 | 10232145 |  7738752 |     2495   7749 |        0 |        0
1013.93/1014.23	c 1014s |      26 | 10247896 |  7751352 |     2495   7759 |        0 |        0
1015.92/1016.24	c 1016s |      26 | 10263668 |  7764052 |     2495   7768 |        0 |        0
1017.92/1018.25	c 1018s |      26 | 10280721 |  7777352 |     2495   7778 |        0 |        0
1019.92/1020.25	c 1020s |      26 | 10297157 |  7790052 |     2495   7787 |        0 |        0
1021.92/1022.26	c 1022s |      26 | 10314967 |  7803352 |     2495   7798 |        0 |        0
1023.93/1024.27	c 1024s |      26 | 10335039 |  7818752 |     2495   7809 |        0 |        0
1025.92/1026.28	c 1026s |      26 | 10352905 |  7832852 |     2495   7820 |        0 |        0
1027.92/1028.29	c 1028s |      26 | 10371856 |  7847452 |     2495   7831 |        0 |        0
1030.02/1030.30	c 1030s |      26 | 10390119 |  7861452 |     2495   7841 |        0 |        0
1032.02/1032.31	c 1032s |      26 | 10408585 |  7875852 |     2495   7852 |        0 |        0
1034.01/1034.32	c 1034s |      26 | 10427924 |  7890452 |     2495   7863 |        0 |        0
1036.02/1036.33	c 1036s |      26 | 10447040 |  7905052 |     2495   7874 |        0 |        0
1038.01/1038.33	c 1038s |      26 | 10465582 |  7919452 |     2495   7885 |        0 |        0
1040.01/1040.34	c 1040s |      26 | 10486191 |  7934452 |     2495   7897 |        0 |        0
1042.01/1042.34	c 1042s |      26 | 10506989 |  7949652 |     2495   7908 |        0 |        0
1044.01/1044.35	c 1044s |      26 | 10524852 |  7963352 |     2495   7919 |        0 |        0
1046.00/1046.36	c 1046s |      26 | 10540536 |  7976052 |     2495   7928 |        0 |        0
1048.01/1048.38	c 1048s |      26 | 10557892 |  7989852 |     2495   7939 |        0 |        0
1050.00/1050.38	c 1050s |      26 | 10576104 |  8003952 |     2495   7950 |        0 |        0
1052.00/1052.39	c 1052s |      26 | 10594349 |  8018052 |     2495   7961 |        0 |        0
1054.00/1054.39	c 1054s |      26 | 10613544 |  8032852 |     2495   7972 |        0 |        0
1056.10/1056.40	c 1056s |      26 | 10630446 |  8046552 |     2495   7982 |        0 |        0
1058.10/1058.41	c 1058s |      26 | 10649533 |  8061052 |     2495   7993 |        0 |        0
1060.11/1060.42	c 1060s |      26 | 10666562 |  8074552 |     2495   8004 |        0 |        0
1062.10/1062.42	c 1062s |      26 | 10684552 |  8088452 |     2495   8014 |        0 |        0
1064.10/1064.44	c 1064s |      26 | 10704494 |  8103052 |     2495   8026 |        0 |        0
1066.10/1066.45	c 1066s |      26 | 10722392 |  8116652 |     2495   8036 |        0 |        0
1068.10/1068.46	c 1068s |      26 | 10739075 |  8129052 |     2495   8046 |        0 |        0
1070.10/1070.46	c 1070s |      26 | 10758230 |  8143552 |     2495   8057 |        0 |        0
1072.10/1072.47	c 1072s |      26 | 10776146 |  8157652 |     2495   8067 |        0 |        0
1074.09/1074.48	c 1074s |      26 | 10794015 |  8171252 |     2495   8078 |        0 |        0
1076.19/1076.50	c 1076s |      26 | 10813157 |  8185552 |     2495   8089 |        0 |        0
1078.19/1078.51	c 1078s |      26 | 10830859 |  8199052 |     2495   8099 |        0 |        0
1080.19/1080.51	c 1080s |      26 | 10851323 |  8214652 |     2495   8111 |        0 |        0
1082.19/1082.52	c 1082s |      26 | 10869999 |  8229152 |     2495   8122 |        0 |        0
1084.19/1084.52	c 1084s |      26 | 10888548 |  8243652 |     2495   8133 |        0 |        0
1086.18/1086.54	c 1086s |      26 | 10906783 |  8257752 |     2495   8144 |        0 |        0
1088.18/1088.55	c 1088s |      26 | 10925552 |  8272252 |     2495   8154 |        0 |        0
1090.18/1090.55	c 1090s |      26 | 10943153 |  8286052 |     2495   8165 |        0 |        0
1092.18/1092.56	c 1092s |      26 | 10960451 |  8299352 |     2495   8175 |        0 |        0
1094.19/1094.56	c 1094s |      26 | 10977596 |  8312452 |     2495   8185 |        0 |        0
1096.18/1096.56	c 1096s |      26 | 10994757 |  8325852 |     2495   8195 |        0 |        0
1098.18/1098.57	c 1098s |      26 | 11013375 |  8340052 |     2495   8206 |        0 |        0
1100.18/1100.57	c 1100s |      26 | 11033174 |  8354852 |     2495   8217 |        0 |        0
1102.18/1102.58	c 1102s |      26 | 11053616 |  8370052 |     2495   8229 |        0 |        0
1104.28/1104.60	c 1104s |      26 | 11072456 |  8384152 |     2495   8239 |        0 |        0
1106.28/1106.61	c 1106s |      26 | 11090682 |  8397852 |     2495   8250 |        0 |        0
1108.27/1108.61	c 1108s |      26 | 11111965 |  8413752 |     2495   8262 |        0 |        0
1110.27/1110.62	c 1110s |      26 | 11131673 |  8428452 |     2495   8273 |        0 |        0
1112.28/1112.63	c 1112s |      26 | 11148402 |  8441752 |     2495   8284 |        0 |        0
1114.28/1114.64	c 1114s |      26 | 11165911 |  8455552 |     2495   8294 |        0 |        0
1116.28/1116.65	c 1116s |      26 | 11181418 |  8468052 |     2495   8304 |        0 |        0
1118.27/1118.65	c 1118s |      26 | 11199446 |  8481952 |     2495   8315 |        0 |        0
1120.27/1120.67	c 1120s |      26 | 11218145 |  8495952 |     2495   8325 |        0 |        0
1122.27/1122.67	c 1122s |      26 | 11237096 |  8510452 |     2495   8336 |        0 |        0
1124.27/1124.67	c 1124s |      26 | 11255561 |  8524752 |     2495   8347 |        0 |        0
1126.26/1126.68	c 1126s |      26 | 11273882 |  8538752 |     2495   8358 |        0 |        0
1128.27/1128.68	c 1128s |      26 | 11291570 |  8552352 |     2495   8369 |        0 |        0
1130.26/1130.68	c 1130s |      26 | 11308674 |  8565952 |     2495   8379 |        0 |        0
1132.26/1132.69	c 1132s |      26 | 11325422 |  8579252 |     2495   8390 |        0 |        0
1134.36/1134.70	c 1134s |      26 | 11344461 |  8593652 |     2495   8401 |        0 |        0
1136.36/1136.71	c 1136s |      26 | 11363199 |  8607552 |     2495   8411 |        0 |        0
1138.36/1138.72	c 1138s |      26 | 11379740 |  8620252 |     2495   8421 |        0 |        0
1140.36/1140.73	c 1140s |      26 | 11398087 |  8634452 |     2495   8432 |        0 |        0
1142.35/1142.74	c 1142s |      26 | 11417739 |  8649352 |     2495   8443 |        0 |        0
1144.35/1144.74	c 1144s |      26 | 11437114 |  8664052 |     2495   8454 |        0 |        0
1146.35/1146.74	c 1146s |      26 | 11455505 |  8678352 |     2495   8465 |        0 |        0
1148.35/1148.75	c 1148s |      26 | 11476358 |  8693652 |     2495   8477 |        0 |        0
1150.36/1150.78	c 1150s |      26 | 11490512 |  8705852 |     2495   8487 |        0 |        0
1152.35/1152.78	c 1152s |      26 | 11505183 |  8717852 |     2495   8496 |        0 |        0
1154.35/1154.78	c 1154s |      26 | 11523169 |  8731752 |     2495   8507 |        0 |        0
1156.45/1156.81	c 1156s |      26 | 11539275 |  8745152 |     2495   8517 |        0 |        0
1158.45/1158.81	c 1158s |      26 | 11556475 |  8759252 |     2495   8527 |        0 |        0
1160.45/1160.82	c 1160s |      26 | 11572831 |  8772052 |     2495   8537 |        0 |        0
1162.46/1162.82	c 1162s |      26 | 11588232 |  8784252 |     2495   8547 |        0 |        0
1164.45/1164.83	c 1164s |      26 | 11607806 |  8798452 |     2495   8558 |        0 |        0
1166.45/1166.84	c 1166s |      26 | 11625740 |  8812152 |     2495   8568 |        0 |        0
1168.45/1168.84	c 1168s |      26 | 11644791 |  8826652 |     2495   8579 |        0 |        0
1170.45/1170.85	c 1170s |      26 | 11665096 |  8841852 |     2495   8591 |        0 |        0
1172.45/1172.85	c 1172s |      26 | 11684021 |  8856652 |     2495   8602 |        0 |        0
1174.45/1174.86	c 1174s |      26 | 11702102 |  8870452 |     2495   8612 |        0 |        0
1176.44/1176.87	c 1176s |      26 | 11720284 |  8884552 |     2495   8623 |        0 |        0
1178.44/1178.88	c 1178s |      26 | 11737381 |  8898152 |     2495   8633 |        0 |        0
1180.44/1180.88	c 1180s |      26 | 11756374 |  8912452 |     2495   8644 |        0 |        0
1182.44/1182.89	c 1182s |      26 | 11774894 |  8926852 |     2495   8655 |        0 |        0
1184.54/1184.90	c 1184s |      26 | 11794400 |  8941652 |     2495   8666 |        0 |        0
1186.54/1186.91	c 1186s |      26 | 11812002 |  8955452 |     2495   8677 |        0 |        0
1188.53/1188.91	c 1188s |      26 | 11830885 |  8969852 |     2495   8688 |        0 |        0
1190.53/1190.92	c 1190s |      26 | 11852125 |  8985352 |     2495   8699 |        0 |        0
1192.53/1192.93	c 1192s |      26 | 11868566 |  8999052 |     2495   8710 |        0 |        0
1194.53/1194.94	c 1194s |      26 | 11886125 |  9013052 |     2495   8720 |        0 |        0
1196.54/1196.96	c 1196s |      26 | 11905123 |  9027452 |     2495   8732 |        0 |        0
1198.53/1198.96	c 1198s |      26 | 11924710 |  9041852 |     2495   8743 |        0 |        0
1200.53/1200.97	c 1200s |      26 | 11944859 |  9056652 |     2495   8754 |        0 |        0
1202.53/1202.98	c 1202s |      26 | 11963010 |  9070352 |     2495   8764 |        0 |        0
1204.53/1204.98	c 1204s |      26 | 11982012 |  9084852 |     2495   8775 |        0 |        0
1206.52/1206.98	c 1206s |      26 | 12001684 |  9099752 |     2495   8787 |        0 |        0
1208.53/1208.99	c 1208s |      26 | 12021273 |  9114852 |     2495   8798 |        0 |        0
1210.52/1210.99	c 1210s |      26 | 12040258 |  9129552 |     2495   8809 |        0 |        0
1212.62/1213.00	c 1212s |      26 | 12060219 |  9144352 |     2495   8820 |        0 |        0
1214.62/1215.01	c 1214s |      26 | 12079983 |  9159452 |     2495   8832 |        0 |        0
1216.62/1217.02	c 1216s |      26 | 12099259 |  9174052 |     2495   8843 |        0 |        0
1218.61/1219.02	c 1219s |      26 | 12118261 |  9188552 |     2495   8854 |        0 |        0
1220.62/1221.03	c 1221s |      26 | 12136573 |  9203052 |     2495   8865 |        0 |        0
1222.61/1223.03	c 1223s |      26 | 12154086 |  9216552 |     2495   8875 |        0 |        0
1224.61/1225.05	c 1225s |      26 | 12172105 |  9230452 |     2495   8886 |        0 |        0
1226.61/1227.06	c 1227s |      26 | 12187699 |  9242452 |     2495   8896 |        0 |        0
1228.61/1229.07	c 1229s |      26 | 12206643 |  9256352 |     2495   8906 |        0 |        0
1230.61/1231.07	c 1231s |      26 | 12222134 |  9268552 |     2495   8915 |        0 |        0
1232.60/1233.08	c 1233s |      26 | 12238550 |  9281152 |     2495   8925 |        0 |        0
1234.60/1235.09	c 1235s |      26 | 12254437 |  9293552 |     2495   8935 |        0 |        0
1236.70/1237.10	c 1237s |      26 | 12272087 |  9307052 |     2495   8945 |        0 |        0
1238.71/1239.11	c 1239s |      26 | 12287931 |  9319752 |     2495   8955 |        0 |        0
1240.71/1241.12	c 1241s |      26 | 12304846 |  9332652 |     2495   8965 |        0 |        0
1242.71/1243.13	c 1243s |      26 | 12320731 |  9345152 |     2495   8974 |        0 |        0
1244.70/1245.15	c 1245s |      26 | 12337369 |  9357852 |     2495   8984 |        0 |        0
1246.70/1247.16	c 1247s |      26 | 12353761 |  9370352 |     2495   8994 |        0 |        0
1248.70/1249.16	c 1249s |      26 | 12370089 |  9382852 |     2495   9003 |        0 |        0
1250.70/1251.17	c 1251s |      26 | 12387562 |  9396452 |     2495   9013 |        0 |        0
1252.70/1253.19	c 1253s |      26 | 12406107 |  9410352 |     2495   9024 |        0 |        0
1254.70/1255.19	c 1255s |      26 | 12424708 |  9424252 |     2495   9035 |        0 |        0
1256.80/1257.20	c 1257s |      26 | 12443146 |  9438352 |     2495   9045 |        0 |        0
1258.80/1259.21	c 1259s |      26 | 12461472 |  9452252 |     2495   9056 |        0 |        0
1260.80/1261.21	c 1261s |      26 | 12480488 |  9466352 |     2495   9067 |        0 |        0
1262.80/1263.22	c 1263s |      26 | 12498014 |  9479552 |     2495   9077 |        0 |        0
1264.79/1265.23	c 1265s |      26 | 12514109 |  9492252 |     2495   9086 |        0 |        0
1266.80/1267.23	c 1267s |      26 | 12530447 |  9505152 |     2495   9096 |        0 |        0
1268.79/1269.23	c 1269s |      26 | 12547703 |  9518152 |     2495   9106 |        0 |        0
1270.79/1271.23	c 1271s |      26 | 12565085 |  9531152 |     2495   9116 |        0 |        0
1272.79/1273.24	c 1273s |      26 | 12583491 |  9544752 |     2495   9126 |        0 |        0
1274.79/1275.25	c 1275s |      26 | 12601231 |  9557952 |     2495   9136 |        0 |        0
1276.79/1277.26	c 1277s |      26 | 12619502 |  9571852 |     2495   9147 |        0 |        0
1278.78/1279.26	c 1279s |      26 | 12637282 |  9585452 |     2495   9157 |        0 |        0
1280.78/1281.26	c 1281s |      26 | 12656532 |  9599752 |     2495   9168 |        0 |        0
1282.78/1283.26	c 1283s |      26 | 12675872 |  9614552 |     2495   9179 |        0 |        0
1284.78/1285.27	c 1285s |      26 | 12693276 |  9627752 |     2495   9189 |        0 |        0
1286.78/1287.27	c 1287s |      26 | 12711874 |  9641952 |     2495   9200 |        0 |        0
1288.78/1289.28	c 1289s |      26 | 12731604 |  9657052 |     2495   9211 |        0 |        0
1290.78/1291.28	c 1291s |      26 | 12751172 |  9671952 |     2495   9223 |        0 |        0
1292.78/1293.29	c 1293s |      26 | 12770396 |  9686552 |     2495   9234 |        0 |        0
1294.87/1295.30	c 1295s |      26 | 12787761 |  9700252 |     2495   9245 |        0 |        0
1296.87/1297.31	c 1297s |      26 | 12805281 |  9713852 |     2495   9255 |        0 |        0
1298.87/1299.32	c 1299s |      26 | 12824591 |  9728652 |     2495   9266 |        0 |        0
1300.88/1301.33	c 1301s |      26 | 12843469 |  9743152 |     2495   9277 |        0 |        0
1302.87/1303.34	c 1303s |      26 | 12861044 |  9756852 |     2495   9288 |        0 |        0
1304.87/1305.35	c 1305s |      26 | 12879274 |  9770652 |     2495   9298 |        0 |        0
1306.87/1307.36	c 1307s |      26 | 12898253 |  9785252 |     2495   9310 |        0 |        0
1308.87/1309.36	c 1309s |      26 | 12917266 |  9799852 |     2495   9321 |        0 |        0
1310.88/1311.38	c 1311s |      26 | 12935410 |  9813652 |     2495   9332 |        0 |        0
1312.87/1313.39	c 1313s |      26 | 12953729 |  9827252 |     2495   9342 |        0 |        0
1314.97/1315.40	c 1315s |      26 | 12972909 |  9841652 |     2495   9353 |        0 |        0
1316.97/1317.40	c 1317s |      26 | 12989997 |  9855452 |     2495   9364 |        0 |        0
1318.97/1319.40	c 1319s |      26 | 13010685 |  9870652 |     2495   9375 |        0 |        0
1320.97/1321.41	c 1321s |      26 | 13030440 |  9885452 |     2495   9387 |        0 |        0
1322.97/1323.42	c 1323s |      26 | 13049917 |  9900152 |     2495   9398 |        0 |        0
1324.96/1325.42	c 1325s |      26 | 13069614 |  9914852 |     2495   9409 |        0 |        0
1326.96/1327.42	c 1327s |      26 | 13089784 |  9929852 |     2495   9421 |        0 |        0
1328.96/1329.43	c 1329s |      26 | 13108679 |  9943352 |     2495   9431 |        0 |        0
1330.96/1331.44	c 1331s |      26 | 13125383 |  9956052 |     2495   9441 |        0 |        0
1332.96/1333.45	c 1333s |      26 | 13141162 |  9968552 |     2495   9451 |        0 |        0
1334.96/1335.46	c 1335s |      26 | 13158016 |  9981252 |     2495   9460 |        0 |        0
1336.95/1337.48	c 1337s |      26 | 13175106 |  9994252 |     2495   9470 |        0 |        0
1338.95/1339.48	c 1339s |      26 | 13192770 | 10008252 |     2495   9481 |        0 |        0
1340.95/1341.48	c 1341s |      26 | 13212454 | 10023252 |     2495   9492 |        0 |        0
1343.05/1343.50	c 1343s |      26 | 13231055 | 10037652 |     2495   9504 |        0 |        0
1345.05/1345.50	c 1345s |      26 | 13249650 | 10051752 |     2495   9514 |        0 |        0
1347.05/1347.51	c 1347s |      26 | 13268545 | 10066052 |     2495   9525 |        0 |        0
1349.04/1349.53	c 1349s |      26 | 13287734 | 10080652 |     2495   9537 |        0 |        0
1351.05/1351.53	c 1351s |      26 | 13305675 | 10094152 |     2495   9547 |        0 |        0
1353.05/1353.53	c 1353s |      26 | 13325021 | 10108552 |     2495   9558 |        0 |        0
1355.05/1355.54	c 1355s |      26 | 13343145 | 10122652 |     2495   9569 |        0 |        0
1357.05/1357.55	c 1357s |      26 | 13362736 | 10137352 |     2495   9580 |        0 |        0
1359.05/1359.56	c 1359s |      26 | 13381911 | 10152152 |     2495   9591 |        0 |        0
1361.05/1361.56	c 1361s |      26 | 13401010 | 10166952 |     2495   9602 |        0 |        0
1363.05/1363.57	c 1363s |      26 | 13420612 | 10181652 |     2495   9613 |        0 |        0
1365.05/1365.57	c 1365s |      26 | 13440620 | 10196752 |     2495   9625 |        0 |        0
1367.05/1367.57	c 1367s |      26 | 13459777 | 10211452 |     2495   9636 |        0 |        0
1369.05/1369.58	c 1369s |      26 | 13478081 | 10225752 |     2495   9647 |        0 |        0
1371.04/1371.59	c 1371s |      26 | 13497195 | 10240052 |     2495   9658 |        0 |        0
1373.04/1373.59	c 1373s |      26 | 13513645 | 10252652 |     2495   9668 |        0 |        0
1375.14/1375.60	c 1375s |      26 | 13530920 | 10265852 |     2495   9678 |        0 |        0
1377.14/1377.61	c 1377s |      26 | 13546237 | 10278252 |     2495   9688 |        0 |        0
1379.14/1379.62	c 1379s |      26 | 13562846 | 10291052 |     2495   9698 |        0 |        0
1381.15/1381.63	c 1381s |      26 | 13578869 | 10303852 |     2495   9707 |        0 |        0
1383.14/1383.64	c 1383s |      26 | 13597035 | 10317952 |     2495   9718 |        0 |        0
1385.14/1385.65	c 1385s |      26 | 13616514 | 10332252 |     2495   9729 |        0 |        0
1387.14/1387.66	c 1387s |      26 | 13634624 | 10346252 |     2495   9740 |        0 |        0
1389.14/1389.66	c 1389s |      26 | 13653014 | 10360452 |     2495   9751 |        0 |        0
1391.15/1391.67	c 1391s |      26 | 13672257 | 10374752 |     2495   9762 |        0 |        0
1393.14/1393.68	c 1393s |      26 | 13690235 | 10388652 |     2495   9772 |        0 |        0
1395.14/1395.68	c 1395s |      26 | 13709002 | 10403152 |     2495   9784 |        0 |        0
1397.24/1397.70	c 1397s |      26 | 13726471 | 10416152 |     2495   9794 |        0 |        0
1399.24/1399.70	c 1399s |      26 | 13740056 | 10426852 |     2495   9802 |        0 |        0
1401.24/1401.71	c 1401s |      26 | 13753826 | 10437452 |     2495   9810 |        0 |        0
1403.24/1403.72	c 1403s |      26 | 13769781 | 10449552 |     2495   9819 |        0 |        0
1405.24/1405.73	c 1405s |      26 | 13785794 | 10461952 |     2495   9829 |        0 |        0
1407.24/1407.74	c 1407s |      26 | 13802428 | 10474752 |     2495   9839 |        0 |        0
1409.24/1409.74	c 1409s |      26 | 13820619 | 10488052 |     2495   9849 |        0 |        0
1411.24/1411.75	c 1411s |      26 | 13839130 | 10501752 |     2495   9859 |        0 |        0
1413.24/1413.75	c 1413s |      26 | 13857083 | 10515352 |     2495   9870 |        0 |        0
1415.24/1415.76	c 1415s |      26 | 13874817 | 10528852 |     2495   9880 |        0 |        0
1417.23/1417.77	c 1417s |      26 | 13894055 | 10543452 |     2495   9892 |        0 |        0
1419.23/1419.77	c 1419s |      26 | 13913259 | 10557952 |     2495   9903 |        0 |        0
1421.23/1421.78	c 1421s |      26 | 13933573 | 10572852 |     2495   9914 |        0 |        0
1423.23/1423.79	c 1423s |      26 | 13952571 | 10587252 |     2495   9925 |        0 |        0
1425.24/1425.79	c 1425s |      26 | 13972157 | 10601452 |     2495   9936 |        0 |        0
1427.23/1427.80	c 1427s |      26 | 13989621 | 10615652 |     2495   9947 |        0 |        0
1429.33/1429.80	c 1429s |      26 | 14008031 | 10629752 |     2495   9958 |        0 |        0
1431.33/1431.81	c 1431s |      26 | 14027065 | 10643852 |     2495   9969 |        0 |        0
1433.33/1433.82	c 1433s |      26 | 14047047 | 10658852 |     2495   9980 |        0 |        0
1435.33/1435.83	c 1435s |      26 | 14066376 | 10673552 |     2495   9992 |        0 |        0
1437.34/1437.83	c 1437s |      26 | 14086471 | 10688452 |     2495  10003 |        0 |        0
1439.33/1439.84	c 1439s |      26 | 14105993 | 10702952 |     2495  10014 |        0 |        0
1441.33/1441.84	c 1441s |      26 | 14124914 | 10717052 |     2495  10025 |        0 |        0
1443.33/1443.85	c 1443s |      26 | 14141026 | 10730052 |     2495  10035 |        0 |        0
1445.33/1445.85	c 1445s |      26 | 14159291 | 10743852 |     2495  10045 |        0 |        0
1447.33/1447.86	c 1447s |      26 | 14176763 | 10757152 |     2495  10056 |        0 |        0
1449.33/1449.87	c 1449s |      26 | 14194439 | 10770152 |     2495  10066 |        0 |        0
1451.33/1451.87	c 1451s |      26 | 14212928 | 10784052 |     2495  10076 |        0 |        0
1453.33/1453.88	c 1453s |      26 | 14231067 | 10798252 |     2495  10087 |        0 |        0
1455.33/1455.89	c 1455s |      26 | 14250892 | 10813052 |     2495  10098 |        0 |        0
1457.33/1457.89	c 1457s |      26 | 14269771 | 10827552 |     2495  10109 |        0 |        0
1459.43/1459.90	c 1459s |      26 | 14287628 | 10841452 |     2495  10120 |        0 |        0
1461.43/1461.90	c 1461s |      26 | 14305759 | 10855652 |     2495  10131 |        0 |        0
1463.43/1463.91	c 1463s |      26 | 14325021 | 10870252 |     2495  10142 |        0 |        0
1465.43/1465.92	c 1465s |      26 | 14344122 | 10884952 |     2495  10153 |        0 |        0
1467.42/1467.92	c 1467s |      26 | 14363582 | 10899852 |     2495  10165 |        0 |        0
1469.42/1469.93	c 1469s |      26 | 14384988 | 10915552 |     2495  10177 |        0 |        0
1471.43/1471.94	c 1471s |      26 | 14403699 | 10930152 |     2495  10188 |        0 |        0
1473.42/1473.94	c 1473s |      26 | 14422175 | 10944452 |     2495  10199 |        0 |        0
1475.42/1475.95	c 1475s |      26 | 14440820 | 10958552 |     2495  10210 |        0 |        0
1477.42/1477.96	c 1477s |      26 | 14458266 | 10972352 |     2495  10220 |        0 |        0
1479.42/1479.96	c 1479s |      26 | 14477465 | 10987052 |     2495  10231 |        0 |        0
1481.42/1481.97	c 1481s |      26 | 14497934 | 11001652 |     2495  10243 |        0 |        0
1483.43/1483.97	c 1483s |      26 | 14516489 | 11015952 |     2495  10254 |        0 |        0
1485.43/1485.99	c 1485s |      26 | 14536672 | 11031352 |     2495  10265 |        0 |        0
1487.43/1487.99	c 1487s |      26 | 14557331 | 11046252 |     2495  10277 |        0 |        0
1489.53/1490.00	c 1489s |      26 | 14577492 | 11061152 |     2495  10288 |        0 |        0
1491.53/1492.01	c 1491s |      26 | 14597385 | 11075952 |     2495  10299 |        0 |        0
1493.53/1494.02	c 1494s |      26 | 14616994 | 11090752 |     2495  10310 |        0 |        0
1495.53/1496.03	c 1496s |      26 | 14634858 | 11103952 |     2495  10320 |        0 |        0
1497.53/1498.04	c 1498s |      26 | 14654950 | 11119152 |     2495  10332 |        0 |        0
1499.53/1500.04	c 1500s |      26 | 14672890 | 11133252 |     2495  10342 |        0 |        0
1501.53/1502.05	c 1502s |      26 | 14690610 | 11146952 |     2495  10353 |        0 |        0
1503.53/1504.05	c 1504s |      26 | 14709200 | 11161352 |     2495  10364 |        0 |        0
1505.53/1506.05	c 1506s |      26 | 14728165 | 11175852 |     2495  10374 |        0 |        0
1507.52/1508.05	c 1508s |      26 | 14746871 | 11190152 |     2495  10385 |        0 |        0
1509.52/1510.06	c 1510s |      26 | 14766291 | 11204552 |     2495  10396 |        0 |        0
1511.52/1512.07	c 1512s |      26 | 14785295 | 11218552 |     2495  10407 |        0 |        0
1513.52/1514.07	c 1514s |      26 | 14802058 | 11231452 |     2495  10417 |        0 |        0
1515.52/1516.07	c 1516s |      26 | 14821818 | 11245852 |     2495  10428 |        0 |        0
1517.53/1518.08	c 1518s |      26 | 14840529 | 11260052 |     2495  10438 |        0 |        0
1519.52/1520.09	c 1520s |      26 | 14860619 | 11275052 |     2495  10450 |        0 |        0
1521.52/1522.09	c 1522s |      26 | 14879536 | 11289552 |     2495  10461 |        0 |        0
1523.62/1524.11	c 1524s |      26 | 14896448 | 11302552 |     2495  10471 |        0 |        0
1525.62/1526.11	c 1526s |      26 | 14914800 | 11316352 |     2745  10481 |        0 |        0
1527.62/1528.12	c 1528s |      26 | 14932533 | 11329452 |     2745  10491 |        0 |        0
1529.63/1530.13	c 1530s |      26 | 14952515 | 11344152 |     2745  10501 |        0 |        0
1531.62/1532.14	c 1532s |      26 | 14970866 | 11358252 |     2745  10511 |        0 |        0
1533.62/1534.15	c 1534s |      26 | 14990014 | 11372352 |     2745  10521 |        0 |        0
1535.62/1536.15	c 1536s |      26 | 15008992 | 11386552 |     2745  10531 |        0 |        0
1537.12/1537.63	c 1537s |      27 | 15022711 | 11396733 |     2745  10538 |        0 |        0
1539.12/1539.63	c 1539s |      27 | 15038372 | 11409933 |     2745  10547 |        0 |        0
1541.12/1541.63	c 1541s |      27 | 15055859 | 11423533 |     2745  10556 |        0 |        0
1543.12/1543.64	c 1543s |      27 | 15073499 | 11437033 |     2745  10566 |        0 |        0
1545.12/1545.66	c 1545s |      27 | 15091213 | 11450333 |     2745  10575 |        0 |        0
1547.12/1547.66	c 1547s |      27 | 15108889 | 11463633 |     2745  10584 |        0 |        0
1549.12/1549.69	c 1549s |      27 | 15125838 | 11476733 |     2745  10594 |        0 |        0
1551.12/1551.69	c 1551s |      27 | 15143117 | 11489933 |     2745  10603 |        0 |        0
1553.22/1553.70	c 1553s |      27 | 15159794 | 11503333 |     2745  10612 |        0 |        0
1555.22/1555.70	c 1555s |      27 | 15177134 | 11516733 |     2745  10621 |        0 |        0
1557.22/1557.71	c 1557s |      27 | 15194077 | 11530233 |     2745  10630 |        0 |        0
1559.22/1559.72	c 1559s |      27 | 15210621 | 11543333 |     2745  10639 |        0 |        0
1561.21/1561.72	c 1561s |      27 | 15227797 | 11556833 |     2745  10649 |        0 |        0
1563.21/1563.73	c 1563s |      27 | 15245987 | 11571033 |     2745  10658 |        0 |        0
1565.21/1565.73	c 1565s |      27 | 15264331 | 11585033 |     2745  10668 |        0 |        0
1567.21/1567.74	c 1567s |      27 | 15282967 | 11599333 |     2745  10678 |        0 |        0
1569.22/1569.74	c 1569s |      27 | 15301978 | 11613833 |     2745  10688 |        0 |        0
1571.21/1571.75	c 1571s |      27 | 15320163 | 11628133 |     2745  10698 |        0 |        0
1573.21/1573.75	c 1573s |      27 | 15338696 | 11641933 |     2745  10708 |        0 |        0
1575.21/1575.77	c 1575s |      27 | 15354134 | 11654233 |     2745  10716 |        0 |        0
1577.21/1577.77	c 1577s |      27 | 15370501 | 11666933 |     2745  10725 |        0 |        0
1579.22/1579.78	c 1579s |      27 | 15385165 | 11678433 |     2745  10733 |        0 |        0
1581.21/1581.78	c 1581s |      27 | 15401289 | 11691133 |     2745  10742 |        0 |        0
1583.21/1583.79	c 1583s |      27 | 15418553 | 11704333 |     2745  10751 |        0 |        0
1585.31/1585.80	c 1585s |      27 | 15436436 | 11718033 |     2745  10760 |        0 |        0
1587.31/1587.80	c 1587s |      27 | 15456058 | 11732833 |     2745  10771 |        0 |        0
1589.31/1589.81	c 1589s |      27 | 15475433 | 11747833 |     2745  10781 |        0 |        0
1591.31/1591.82	c 1591s |      27 | 15495529 | 11763133 |     2745  10792 |        0 |        0
1593.31/1593.82	c 1593s |      27 | 15513178 | 11776733 |     2745  10801 |        0 |        0
1595.31/1595.84	c 1595s |      27 | 15530514 | 11790133 |     2745  10810 |        0 |        0
1597.31/1597.84	c 1597s |      27 | 15548297 | 11803733 |     2745  10820 |        0 |        0
1599.31/1599.85	c 1599s |      27 | 15565481 | 11817033 |     2745  10829 |        0 |        0
1601.31/1601.85	c 1601s |      27 | 15584427 | 11831433 |     2745  10839 |        0 |        0
1603.31/1603.87	c 1603s |      27 | 15602136 | 11845233 |     2745  10849 |        0 |        0
1605.31/1605.87	c 1605s |      27 | 15621152 | 11859433 |     2745  10858 |        0 |        0
1607.31/1607.87	c 1607s |      27 | 15640588 | 11874033 |     2745  10868 |        0 |        0
1609.31/1609.88	c 1609s |      27 | 15659698 | 11888233 |     2745  10878 |        0 |        0
1611.30/1611.89	c 1611s |      27 | 15678572 | 11902733 |     2745  10888 |        0 |        0
1613.31/1613.89	c 1613s |      27 | 15697394 | 11917033 |     2745  10898 |        0 |        0
1615.30/1615.90	c 1615s |      27 | 15715957 | 11931433 |     2745  10908 |        0 |        0
1617.40/1617.90	c 1617s |      27 | 15734121 | 11945533 |     2745  10918 |        0 |        0
1619.40/1619.91	c 1619s |      27 | 15752648 | 11959833 |     2745  10928 |        0 |        0
1621.40/1621.93	c 1621s |      27 | 15768632 | 11972333 |     2745  10937 |        0 |        0
1623.40/1623.95	c 1623s |      27 | 15784463 | 11984733 |     2745  10946 |        0 |        0
1625.41/1625.95	c 1625s |      27 | 15802198 | 11997933 |     2745  10955 |        0 |        0
1627.40/1627.95	c 1627s |      27 | 15819938 | 12011033 |     2745  10964 |        0 |        0
1629.40/1629.96	c 1629s |      27 | 15838915 | 12024733 |     2745  10973 |        0 |        0
1631.40/1631.97	c 1631s |      27 | 15856377 | 12037733 |     2745  10982 |        0 |        0
1633.40/1633.97	c 1633s |      27 | 15874190 | 12051533 |     2745  10992 |        0 |        0
1635.40/1635.99	c 1635s |      27 | 15890813 | 12065033 |     2745  11001 |        0 |        0
1637.40/1638.00	c 1637s |      27 | 15908949 | 12078933 |     2745  11011 |        0 |        0
1639.50/1640.00	c 1639s |      27 | 15926861 | 12092533 |     2745  11020 |        0 |        0
1641.50/1642.01	c 1641s |      27 | 15943558 | 12105433 |     2745  11029 |        0 |        0
1643.50/1644.01	c 1643s |      27 | 15961800 | 12119333 |     2745  11039 |        0 |        0
1645.50/1646.02	c 1646s |      27 | 15979692 | 12132933 |     2745  11048 |        0 |        0
1647.50/1648.03	c 1648s |      27 | 15996194 | 12145633 |     2745  11057 |        0 |        0
1649.50/1650.05	c 1650s |      27 | 16014871 | 12159833 |     2745  11067 |        0 |        0
1651.50/1652.05	c 1652s |      27 | 16031763 | 12172833 |     2745  11076 |        0 |        0
1653.50/1654.05	c 1654s |      27 | 16049711 | 12186133 |     2745  11086 |        0 |        0
1655.50/1656.05	c 1656s |      27 | 16066856 | 12199433 |     2745  11095 |        0 |        0
1657.50/1658.06	c 1658s |      27 | 16084631 | 12213233 |     2745  11105 |        0 |        0
1659.50/1660.08	c 1660s |      27 | 16103615 | 12227533 |     2745  11115 |        0 |        0
1661.49/1662.09	c 1662s |      27 | 16122666 | 12241633 |     2745  11124 |        0 |        0
1663.49/1664.09	c 1664s |      27 | 16141531 | 12255533 |     2745  11134 |        0 |        0
1665.49/1666.10	c 1666s |      27 | 16161166 | 12270233 |     2745  11144 |        0 |        0
1667.59/1668.10	c 1668s |      27 | 16176456 | 12282533 |     2745  11153 |        0 |        0
1669.59/1670.12	c 1670s |      27 | 16193101 | 12295333 |     2745  11162 |        0 |        0
1671.60/1672.13	c 1672s |      27 | 16211972 | 12309533 |     2745  11171 |        0 |        0
1673.59/1674.15	c 1674s |      27 | 16227543 | 12322333 |     2745  11180 |        0 |        0
1675.59/1676.15	c 1676s |      27 | 16244909 | 12335533 |     2745  11189 |        0 |        0
1677.59/1678.15	c 1678s |      27 | 16261862 | 12348933 |     2745  11198 |        0 |        0
1679.59/1680.16	c 1680s |      27 | 16279258 | 12362133 |     2745  11208 |        0 |        0
1681.59/1682.16	c 1682s |      27 | 16296450 | 12375433 |     2745  11217 |        0 |        0
1683.60/1684.17	c 1684s |      27 | 16314370 | 12388633 |     2745  11226 |        0 |        0
1685.59/1686.18	c 1686s |      27 | 16332056 | 12401733 |     2745  11235 |        0 |        0
1687.59/1688.18	c 1688s |      27 | 16347374 | 12414133 |     2745  11244 |        0 |        0
1689.59/1690.19	c 1690s |      27 | 16364067 | 12427333 |     2745  11253 |        0 |        0
1691.59/1692.19	c 1692s |      27 | 16381082 | 12440233 |     2745  11262 |        0 |        0
1693.69/1694.21	c 1694s |      27 | 16397440 | 12452833 |     2745  11271 |        0 |        0
1695.69/1696.21	c 1696s |      27 | 16413772 | 12465533 |     2745  11279 |        0 |        0
1697.69/1698.22	c 1698s |      27 | 16429559 | 12477933 |     2745  11288 |        0 |        0
1699.69/1700.22	c 1700s |      27 | 16444808 | 12490533 |     2745  11297 |        0 |        0
1701.69/1702.23	c 1702s |      27 | 16460708 | 12503133 |     2745  11305 |        0 |        0
1703.69/1704.23	c 1704s |      27 | 16476619 | 12515633 |     2745  11314 |        0 |        0
1705.69/1706.23	c 1706s |      27 | 16492732 | 12528133 |     2745  11323 |        0 |        0
1707.69/1708.23	c 1708s |      27 | 16510565 | 12541433 |     2745  11332 |        0 |        0
1709.69/1710.24	c 1710s |      27 | 16526837 | 12554133 |     2745  11341 |        0 |        0
1711.68/1712.26	c 1712s |      27 | 16542800 | 12566833 |     2745  11349 |        0 |        0
1713.68/1714.26	c 1714s |      27 | 16559548 | 12579933 |     2745  11358 |        0 |        0
1715.68/1716.28	c 1716s |      27 | 16576005 | 12592833 |     2745  11367 |        0 |        0
1717.69/1718.29	c 1718s |      27 | 16593693 | 12605833 |     2745  11376 |        0 |        0
1719.68/1720.29	c 1720s |      27 | 16609590 | 12618133 |     2745  11385 |        0 |        0
1721.78/1722.30	c 1722s |      27 | 16626442 | 12630933 |     2745  11394 |        0 |        0
1723.78/1724.30	c 1724s |      27 | 16645313 | 12644833 |     2745  11403 |        0 |        0
1725.78/1726.31	c 1726s |      27 | 16661471 | 12657833 |     2745  11412 |        0 |        0
1727.78/1728.32	c 1728s |      27 | 16678427 | 12670433 |     2745  11421 |        0 |        0
1729.79/1730.34	c 1730s |      27 | 16694039 | 12682533 |     2745  11429 |        0 |        0
1731.78/1732.34	c 1732s |      27 | 16710254 | 12695233 |     2745  11438 |        0 |        0
1733.78/1734.35	c 1734s |      27 | 16726442 | 12708033 |     2745  11447 |        0 |        0
1735.78/1736.37	c 1736s |      27 | 16742539 | 12720833 |     2745  11456 |        0 |        0
1737.78/1738.37	c 1738s |      27 | 16760308 | 12734433 |     2745  11465 |        0 |        0
1739.79/1740.38	c 1740s |      27 | 16776630 | 12747233 |     2745  11474 |        0 |        0
1741.78/1742.38	c 1742s |      27 | 16791978 | 12759633 |     2745  11482 |        0 |        0
1743.78/1744.40	c 1744s |      27 | 16808623 | 12772433 |     2745  11491 |        0 |        0
1745.88/1746.40	c 1746s |      27 | 16826426 | 12785833 |     2745  11500 |        0 |        0
1747.88/1748.40	c 1748s |      27 | 16843021 | 12798733 |     2745  11509 |        0 |        0
1749.88/1750.41	c 1750s |      27 | 16860201 | 12812033 |     2745  11518 |        0 |        0
1751.88/1752.42	c 1752s |      27 | 16877636 | 12825633 |     2745  11528 |        0 |        0
1753.88/1754.43	c 1754s |      27 | 16895634 | 12839633 |     2745  11537 |        0 |        0
1755.88/1756.43	c 1756s |      27 | 16914450 | 12854033 |     2745  11547 |        0 |        0
1757.88/1758.44	c 1758s |      27 | 16932807 | 12868133 |     2745  11557 |        0 |        0
1759.89/1760.45	c 1760s |      27 | 16950977 | 12881833 |     2745  11566 |        0 |        0
1761.89/1762.45	c 1762s |      27 | 16967634 | 12894833 |     2745  11575 |        0 |        0
1763.89/1764.45	c 1764s |      27 | 16983207 | 12907233 |     2745  11584 |        0 |        0
1765.89/1766.46	c 1766s |      27 | 16999568 | 12919433 |     2745  11592 |        0 |        0
1767.89/1768.46	c 1768s |      27 | 17017106 | 12932833 |     2745  11602 |        0 |        0
1769.88/1770.47	c 1770s |      27 | 17035300 | 12946833 |     2745  11611 |        0 |        0
1771.88/1772.47	c 1772s |      27 | 17052508 | 12960333 |     2745  11621 |        0 |        0
1773.89/1774.47	c 1774s |      27 | 17068994 | 12973033 |     2745  11629 |        0 |        0
1775.88/1776.48	c 1776s |      27 | 17084786 | 12985433 |     2745  11638 |        0 |        0
1777.88/1778.49	c 1778s |      27 | 17102119 | 12999133 |     2745  11647 |        0 |        0
1779.98/1780.52	c 1780s |      27 | 17119908 | 13012633 |     2745  11657 |        0 |        0
1781.98/1782.53	c 1782s |      27 | 17136310 | 13025233 |     2745  11665 |        0 |        0
1783.98/1784.53	c 1784s |      27 | 17151285 | 13037033 |     2745  11673 |        0 |        0
1785.99/1786.53	c 1786s |      27 | 17165538 | 13048333 |     2745  11681 |        0 |        0
1787.98/1788.54	c 1788s |      27 | 17180098 | 13059833 |     2745  11689 |        0 |        0
1789.98/1790.54	c 1790s |      27 | 17197431 | 13073133 |     2745  11698 |        0 |        0
1791.98/1792.54	c 1792s |      27 | 17214795 | 13086733 |     2745  11708 |        0 |        0
1793.98/1794.56	c 1794s |      27 | 17233279 | 13100733 |     2745  11717 |        0 |        0
1795.98/1796.56	c 1796s |      27 | 17250238 | 13113833 |     2745  11726 |        0 |        0
1797.99/1798.57	c 1798s |      27 | 17268368 | 13127733 |     2745  11736 |        0 |        0
1799.98/1800.58	c 1800s |      27 | 17285451 | 13140933 |     2745  11745 |        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-4120650-1467311883/watcher-4120650-1467311883 -o /tmp/evaluation-result-4120650-1467311883/solver-4120650-1467311883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120650-1467311883.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 20331
/proc/meminfo: memFree=29432712/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=463292 CPUtime=0 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 1679 0 0 0 0 0 0 0 20 0 4 0 12292055 474411008 2550 33554432000 4194304 16246674 140736409000544 140736408999968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 116335 2558 441 2943 0 113229 0
[pid=20331/tid=20332] ppid=20328 vsize=479676 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 491188224 2615 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=483772 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 495382528 2633 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=487868 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 499576832 2649 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100202 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 20331
/proc/meminfo: memFree=29432712/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 24694 0 0 0 6 3 0 0 20 0 4 0 12292055 1247350784 25554 33554432000 4194304 16246674 140736409000544 140736408999968 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 304529 25563 707 2943 0 301423 0
[pid=20331/tid=20332] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 25569 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 25575 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 25577 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200454 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 20331
/proc/meminfo: memFree=29432712/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 47166 0 0 0 13 6 0 0 20 0 4 0 12292055 1247350784 48026 33554432000 4194304 16246674 140736409000544 140736408982464 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 304529 48035 707 2943 0 301423 0
[pid=20331/tid=20332] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 48041 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 48049 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 48054 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 20331
/proc/meminfo: memFree=29432712/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 69918 0 0 0 20 9 0 0 20 0 4 0 12292055 1247350784 70779 33554432000 4194304 16246674 140736409000544 140736408982464 5721708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 304529 70790 707 2943 0 301423 0
[pid=20331/tid=20332] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 70795 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 70802 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 70812 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700385 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 20331
/proc/meminfo: memFree=29432712/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 160706 0 0 0 47 22 0 0 20 0 4 0 12292055 1247350784 161566 33554432000 4194304 16246674 140736409000544 140736408982464 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 304529 161575 708 2943 0 301423 0
[pid=20331/tid=20332] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 161584 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 161589 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1247350784 161596 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.04 2.07 2.00 3/181 20335
/proc/meminfo: memFree=28448116/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 245718 0 0 0 116 33 0 0 20 0 4 0 12292055 1248399360 246558 33554432000 4194304 16246674 140736409000544 140736408983544 6057354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 304785 246558 783 2943 0 301679 0
[pid=20331/tid=20332] ppid=20328 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1248399360 246558 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1248399360 246558 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1248399360 246558 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.04 2.07 2.00 3/181 20335
/proc/meminfo: memFree=28361556/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 267472 0 0 0 274 35 0 0 20 0 4 0 12292055 1337528320 268312 33554432000 4194304 16246674 140736409000544 140736408983544 5721248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 326545 268312 783 2943 0 323439 0
[pid=20331/tid=20332] ppid=20328 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1337528320 268312 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1337528320 268312 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1337528320 268312 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.03 2.07 2.00 3/181 20335
/proc/meminfo: memFree=28360452/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 267692 0 0 0 594 35 0 0 20 0 4 0 12292055 1338576896 268532 33554432000 4194304 16246674 140736409000544 140736408982464 13928280 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 326801 268532 783 2943 0 323695 0
[pid=20331/tid=20332] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268532 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268532 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268532 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.03 2.07 2.00 3/181 20335
/proc/meminfo: memFree=28360004/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 267693 0 0 0 1234 35 0 0 20 0 4 0 12292055 1338576896 268533 33554432000 4194304 16246674 140736409000544 140736408983544 5840185 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 326801 268533 784 2943 0 323695 0
[pid=20331/tid=20332] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268533 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268533 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1338576896 268533 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.18 2.10 2.01 3/181 20335
/proc/meminfo: memFree=28357372/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 267957 0 0 0 2513 35 0 0 20 0 4 0 12292055 1339625472 268797 33554432000 4194304 16246674 140736409000544 140736408982464 5677164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 327057 268797 784 2943 0 323951 0
[pid=20331/tid=20332] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268797 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268797 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268797 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.12 2.09 2.01 3/181 20335
/proc/meminfo: memFree=28357224/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1308228 CPUtime=51.09 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 268075 0 0 0 5073 36 0 0 20 0 4 0 12292055 1339625472 268915 33554432000 4194304 16246674 140736409000544 140736408983544 12477752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 327057 268915 784 2943 0 323951 0
[pid=20331/tid=20332] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268915 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268915 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268915 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.17 2.10 2.01 3/181 20337
/proc/meminfo: memFree=28355920/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 268077 0 0 0 10192 36 0 0 20 0 4 0 12292055 1339625472 268917 33554432000 4194304 16246674 140736409000544 140736408982464 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 327057 268917 786 2943 0 323951 0
[pid=20331/tid=20332] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268917 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268917 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1339625472 268917 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/180 20414
/proc/meminfo: memFree=28349688/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1301.87 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270027 0 0 0 130140 47 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.18 2.09 2.03 3/182 20419
/proc/meminfo: memFree=28349372/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1361.85 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270067 0 0 0 136137 48 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 13965602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.20 2.10 2.04 3/182 20443
/proc/meminfo: memFree=28348856/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1421.84 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 142136 48 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408982464 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/181 20444
/proc/meminfo: memFree=28348072/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1481.82 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 148134 48 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408982464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.02 2.06 2.02 3/181 20445
/proc/meminfo: memFree=28348076/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1541.82 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 154133 49 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 5672241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.24 2.11 2.04 3/181 20446
/proc/meminfo: memFree=28348156/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1601.81 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 160132 49 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/181 20448
/proc/meminfo: memFree=28348188/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1661.79 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 166130 49 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408982464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/181 20449
/proc/meminfo: memFree=28346364/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1721.78 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 172129 49 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 6023166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/181 20450
/proc/meminfo: memFree=28345284/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1781.78 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 178128 50 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408982464 13820720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.08 2.03 3/181 20450
/proc/meminfo: memFree=28345376/32872528 swapFree=447588/480292
[pid=20331] ppid=20328 vsize=1314372 CPUtime=1800.08 cores=0,2,4,6
/proc/20331/stat : 20331 (toysat) R 20328 20331 16080 0 -1 4202496 270068 0 0 0 179958 50 0 0 20 0 4 0 12292055 1345916928 270458 33554432000 4194304 16246674 140736409000544 140736408983544 5677880 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20331/statm: 328593 270458 788 2943 0 325487 0
[pid=20331/tid=20332] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20332/stat : 20332 (toysat) S 20328 20331 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618131025136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20331/tid=20333] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20333/stat : 20333 (toysat) S 20328 20331 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618120535280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20331/tid=20334] ppid=20328 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20331/task/20334/stat : 20334 (toysat) S 20328 20331 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12292056 1345916928 270458 33554432000 4194304 16246674 140736409000544 140618034572464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1314372

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20331 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.59
CPU system time (s): 0.501923
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.501923
maximum resident set size= 1081832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270068
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= 467
involuntary context switches= 2008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50216 second user time and 6.33604 second system time

The end

Begin job on node104 at 2016-06-30 20:38:03
IDJOB=4120650
IDBENCH=110049
IDSOLVER=2542
FILE ID=node104/4120650-1467311883
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-77.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120650-1467311883/watcher-4120650-1467311883 -o /tmp/evaluation-result-4120650-1467311883/solver-4120650-1467311883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120650-1467311883.opb

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

MD5SUM BENCH= ad3ef9b133094e9d519b19142ef5c280
RANDOM SEED=1167386870

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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:        29433348 kB
Buffers:          194508 kB
Cached:           935016 kB
SwapCached:            0 kB
Active:          1423052 kB
Inactive:         791948 kB
Active(anon):    1087952 kB
Inactive(anon):        0 kB
Active(file):     335100 kB
Inactive(file):   791948 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1653748 kB
Mapped:            16396 kB
Shmem:               204 kB
Slab:             610524 kB
SReclaimable:      54924 kB
SUnreclaim:       555600 kB
KernelStack:        1504 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1689892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 71688 MiB
End job on node104 at 2016-06-30 21:08:04