0.00/0.00	c 2016-06-16T20:55:53+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-4096141-1466103353.opb"]
0.00/0.01	c use --random-gen="2576933872 1539984258 3457762005 3982571782 1642358759 1799454091 3211367239 2349572283 1349990485 1671275289 726795400 3568358387 3342848924 3975708689 3974298116 2700825535 4010871675 1013230829 4213417873 2313304739 3821071502 1416351071 424698263 3085165344 562212371 12714930 371597096 2826013271 3207936961 2846421378 3701204919 2063286643 2032765883 3199158249 1715791042 3051244119 484348531 401498449 2263735948 3162965194 291506509 2331168771 2350653788 2778839008 2938230479 2930574929 1548570681 1571988116 1642101909 1674766435 1606945096 2691830786 546316366 2566842218 2064558688 579586209 2889460116 4143718682 3233887053 1474888789 560633265 1426442331 3791095593 2132718099 1271929964 268012346 3481747079 2145237733 2915312228 757125616 2955838842 3954170441 1723600703 95806024 3214372317 1189250102 1045157103 2601410508 4172129005 3747334441 290583681 1875268992 1846569963 932785587 2898062952 2222447067 4088113217 395669399 773705316 1422317318 3855336700 2332708779 2702600784 2752833017 2758299848 505079423 2343633443 1443602577 918674451 251730579 2991982482 147948617 831731302 2408209717 2995763502 558672929 3524292721 302513166 3459991078 2983436540 1258687173 100311199 2638651202 1959974281 4101798963 3923505438 1253190278 231981372 190796756 3679392178 1742610061 3540412651 3240862068 524852491 1125329944 350165697 2852448287 3134144770 2392681564 722034925 3728129880 175692422 3917966041 3300967345 274057130 1672926291 1287920085 2612975718 312277690 1435115945 454093849 1653760427 1111646402 2689180525 556370507 1893521943 65778153 3892451058 1551116145 533110326 1425466803 3430194650 3828920482 1607689935 3619628009 3800078221 313753367 2055999984 306621932 1481932045 3604244456 4159888981 3582786490 990043388 2445145547 2655477852 485085286 3701596886 409644188 1549822031 2605240217 4207750840 2092934928 2217669779 1243127332 1344280389 962066356 693301574 1119386961 4053518994 3893645728 135953191 4185671719 4191990336 351092734 2264384195 356513491 70782871 3253978457 1315585689 923000062 3487897933 954996539 1085483465 2443166377 2623657606 475668696 2593840347 3260186660 1356871314 2589394485 1420374762 1390254384 2767335717 843266429 965046783 1376604032 3461655517 1073980316 2553252373 1420390428 3467567463 2005242592 3449034272 2086821420 4259465263 1210475452 3402448689 273385486 3025140853 3894269570 3295549012 4216254606 4197659358 1285579524 3765759638 690828230 1380196797 1919108602 301121587 3988040954 3559649998 3322473822 267729007 711655326 800052643 873805508 2930859731 1121172999 53772107 3226216136 3795420527 2559578978 3395383092 4021591851 1418042003 2150303199 396474028 928374332 1605553801 232437943 3098233112 2983306361 3289635903 4060027607 3419545797 255 362436" option to reproduce the execution
0.00/0.01	c #vars 121
0.00/0.01	c #constraints 60
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      135 |      100 |       80      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      340 |      250 |       88      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      685 |      475 |       97      5 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1192 |      813 |      107     10 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1832 |     1320 |      118     15 |        0 |        0
0.19/0.25	c  0.2s |       6 |     2711 |     2081 |      143     24 |        0 |        0
0.29/0.38	c  0.4s |       7 |     4511 |     3223 |      158     36 |        0 |        0
0.49/0.58	c  0.6s |       8 |     6576 |     4936 |      174     53 |        0 |        0
0.79/0.88	c  0.9s |       9 |    10019 |     7506 |      192     78 |        0 |        0
1.20/1.27	c  1.3s |      10 |    14692 |    11361 |      212    111 |        0 |        0
1.69/1.73	c  1.7s |      11 |    22723 |    17144 |      234    157 |        0 |        0
2.39/2.49	c  2.5s |      12 |    34137 |    25819 |      258    222 |        0 |        0
3.49/3.59	c  3.6s |      13 |    51956 |    38832 |      284    310 |        0 |        0
5.18/5.24	c  5.2s |      14 |    78607 |    58352 |      313    433 |        0 |        0
7.19/7.24	c  7.2s |      14 |   108042 |    81652 |      313    568 |        0 |        0
7.70/7.77	c  7.8s |      15 |   115158 |    87632 |      345    603 |        0 |        0
9.69/9.77	c  9.8s |      15 |   151407 |   112232 |      345    735 |        0 |        0
11.29/11.36	c 11.3s |      16 |   177829 |   131552 |      380    840 |        0 |        0
13.30/13.36	c 13.3s |      16 |   210937 |   155652 |      380    958 |        0 |        0
15.29/15.36	c 15.4s |      16 |   239645 |   178052 |      380   1068 |        0 |        0
16.99/17.01	c 17.0s |      17 |   265907 |   197432 |      419   1162 |        0 |        0
18.99/19.01	c 19.0s |      17 |   293171 |   219332 |      419   1260 |        0 |        0
21.00/21.01	c 21.0s |      17 |   320735 |   241732 |      419   1360 |        0 |        0
22.99/23.02	c 23.0s |      17 |   349088 |   263732 |      419   1459 |        0 |        0
24.99/25.02	c 25.0s |      17 |   378981 |   286232 |      419   1561 |        0 |        0
25.89/25.95	c 25.9s |      18 |   391715 |   296252 |      461   1605 |        0 |        0
27.88/27.96	c 27.9s |      18 |   417927 |   316852 |      461   1688 |        0 |        0
29.88/29.97	c 30.0s |      18 |   442750 |   337152 |      461   1771 |        0 |        0
31.89/31.97	c 32.0s |      18 |   470489 |   358952 |      461   1859 |        0 |        0
33.88/33.98	c 34.0s |      18 |   496708 |   380452 |      461   1947 |        0 |        0
35.88/35.98	c 36.0s |      18 |   525435 |   402652 |      461   2038 |        0 |        0
37.88/37.99	c 38.0s |      18 |   550608 |   423152 |      461   2121 |        0 |        0
39.98/40.00	c 40.0s |      18 |   574484 |   442952 |      508   2200 |        0 |        0
40.08/40.17	c 40.2s |      19 |   576246 |   444482 |      508   2206 |        0 |        0
42.08/42.17	c 42.2s |      19 |   604513 |   466482 |      508   2287 |        0 |        0
44.09/44.17	c 44.2s |      19 |   634066 |   488882 |      508   2372 |        0 |        0
46.09/46.18	c 46.2s |      19 |   664104 |   511482 |      508   2456 |        0 |        0
48.09/48.18	c 48.2s |      19 |   691287 |   532382 |      508   2535 |        0 |        0
50.09/50.19	c 50.2s |      19 |   717499 |   553482 |      508   2614 |        0 |        0
52.08/52.20	c 52.2s |      19 |   743717 |   574482 |      508   2693 |        0 |        0
54.18/54.20	c 54.2s |      19 |   770904 |   595782 |      508   2772 |        0 |        0
56.19/56.21	c 56.2s |      19 |   799066 |   617482 |      508   2853 |        0 |        0
58.18/58.21	c 58.2s |      19 |   824496 |   637982 |      508   2930 |        0 |        0
60.18/60.22	c 60.2s |      19 |   851030 |   658682 |      508   3008 |        0 |        0
60.98/61.01	c 61.0s |      20 |   861370 |   666827 |      559   3036 |        0 |        0
62.98/63.01	c 63.0s |      20 |   888964 |   687727 |      559   3107 |        0 |        0
64.99/65.02	c 65.0s |      20 |   914724 |   707927 |      559   3176 |        0 |        0
66.98/67.02	c 67.0s |      20 |   940008 |   727927 |      559   3245 |        0 |        0
68.98/69.03	c 69.0s |      20 |   965709 |   748327 |      559   3314 |        0 |        0
70.98/71.03	c 71.0s |      20 |   992380 |   768927 |      559   3385 |        0 |        0
72.98/73.03	c 73.0s |      20 |  1017856 |   789427 |      559   3455 |        0 |        0
74.98/75.04	c 75.0s |      20 |  1043203 |   810327 |      559   3526 |        0 |        0
76.98/77.04	c 77.0s |      20 |  1067174 |   830427 |      559   3595 |        0 |        0
78.97/79.05	c 79.0s |      20 |  1091693 |   850527 |      559   3664 |        0 |        0
80.97/81.05	c 81.0s |      20 |  1116098 |   870627 |      559   3733 |        0 |        0
82.97/83.05	c 83.0s |      20 |  1140687 |   890527 |      559   3801 |        0 |        0
84.97/85.06	c 85.0s |      20 |  1164384 |   910127 |      559   3868 |        0 |        0
86.99/87.07	c 87.1s |      20 |  1190676 |   931027 |      559   3939 |        0 |        0
88.98/89.07	c 89.1s |      20 |  1216198 |   951527 |      559   4009 |        0 |        0
90.98/91.08	c 91.1s |      20 |  1244062 |   972527 |      559   4082 |        0 |        0
92.98/93.09	c 93.1s |      20 |  1271714 |   993627 |      615   4153 |        0 |        0
93.68/93.77	c 93.8s |      21 |  1279987 |  1000345 |      615   4174 |        0 |        0
95.68/95.77	c 95.8s |      21 |  1306822 |  1020845 |      615   4238 |        0 |        0
97.68/97.78	c 97.8s |      21 |  1334567 |  1042045 |      615   4304 |        0 |        0
99.68/99.79	c 99.8s |      21 |  1359971 |  1062245 |      615   4367 |        0 |        0
101.67/101.79	c  101s |      21 |  1384292 |  1081945 |      615   4428 |        0 |        0
103.77/103.80	c  103s |      21 |  1407658 |  1101245 |      615   4488 |        0 |        0
105.77/105.80	c  105s |      21 |  1431464 |  1121345 |      615   4550 |        0 |        0
107.78/107.80	c  107s |      21 |  1454001 |  1140545 |      615   4610 |        0 |        0
109.77/109.81	c  109s |      21 |  1476571 |  1159445 |      615   4669 |        0 |        0
111.77/111.81	c  111s |      21 |  1499831 |  1178545 |      615   4728 |        0 |        0
113.78/113.82	c  113s |      21 |  1523943 |  1197845 |      615   4788 |        0 |        0
115.78/115.83	c  115s |      21 |  1546302 |  1216645 |      615   4846 |        0 |        0
117.78/117.83	c  117s |      21 |  1569882 |  1236045 |      615   4907 |        0 |        0
119.77/119.83	c  119s |      21 |  1593115 |  1255245 |      615   4967 |        0 |        0
121.77/121.84	c  121s |      21 |  1617069 |  1274545 |      615   5027 |        0 |        0
123.77/123.84	c  123s |      21 |  1640099 |  1293445 |      615   5086 |        0 |        0
125.77/125.84	c  125s |      21 |  1661899 |  1311945 |      615   5144 |        0 |        0
127.77/127.85	c  127s |      21 |  1685703 |  1331145 |      615   5203 |        0 |        0
129.78/129.85	c  129s |      21 |  1709161 |  1350445 |      615   5263 |        0 |        0
131.77/131.85	c  131s |      21 |  1732774 |  1369445 |      615   5322 |        0 |        0
133.77/133.86	c  133s |      21 |  1753927 |  1387545 |      615   5379 |        0 |        0
135.77/135.87	c  135s |      21 |  1777009 |  1406445 |      615   5438 |        0 |        0
137.77/137.88	c  137s |      21 |  1798600 |  1424445 |      615   5494 |        0 |        0
139.78/139.88	c  139s |      21 |  1819697 |  1442245 |      615   5549 |        0 |        0
141.77/141.89	c  141s |      21 |  1843293 |  1460845 |      615   5607 |        0 |        0
143.77/143.90	c  143s |      21 |  1865473 |  1479245 |      615   5664 |        0 |        0
145.87/145.90	c  145s |      21 |  1890032 |  1498845 |      677   5723 |        0 |        0
145.97/146.09	c  146s |      22 |  1892061 |  1500622 |      677   5728 |        0 |        0
148.07/148.10	c  148s |      22 |  1912695 |  1518322 |      677   5778 |        0 |        0
150.06/150.10	c  150s |      22 |  1933833 |  1536122 |      677   5828 |        0 |        0
152.06/152.10	c  152s |      22 |  1957353 |  1555322 |      677   5882 |        0 |        0
153.97/154.10	c  154s |      22 |  1978285 |  1573322 |      677   5933 |        0 |        0
156.06/156.10	c  156s |      22 |  2000588 |  1591622 |      677   5984 |        0 |        0
158.07/158.11	c  158s |      22 |  2022954 |  1609822 |      677   6035 |        0 |        0
160.07/160.12	c  160s |      22 |  2045496 |  1627622 |      677   6086 |        0 |        0
162.07/162.12	c  162s |      22 |  2067155 |  1645122 |      677   6135 |        0 |        0
164.07/164.12	c  164s |      22 |  2090371 |  1663622 |      677   6187 |        0 |        0
166.07/166.13	c  166s |      22 |  2111958 |  1681622 |      677   6238 |        0 |        0
168.07/168.14	c  168s |      22 |  2134351 |  1699822 |      677   6289 |        0 |        0
170.07/170.14	c  170s |      22 |  2156956 |  1718022 |      677   6340 |        0 |        0
172.06/172.14	c  172s |      22 |  2182119 |  1737522 |      677   6395 |        0 |        0
174.06/174.16	c  174s |      22 |  2205853 |  1756422 |      677   6449 |        0 |        0
176.07/176.16	c  176s |      22 |  2229686 |  1775522 |      677   6503 |        0 |        0
178.06/178.17	c  178s |      22 |  2250691 |  1793222 |      677   6553 |        0 |        0
180.06/180.18	c  180s |      22 |  2277326 |  1813122 |      677   6609 |        0 |        0
182.06/182.18	c  182s |      22 |  2303621 |  1833122 |      677   6665 |        0 |        0
184.06/184.18	c  184s |      22 |  2325745 |  1851322 |      677   6717 |        0 |        0
186.06/186.19	c  186s |      22 |  2349677 |  1870322 |      677   6770 |        0 |        0
188.07/188.20	c  188s |      22 |  2373248 |  1889322 |      677   6823 |        0 |        0
190.16/190.20	c  190s |      22 |  2396398 |  1908322 |      677   6877 |        0 |        0
192.16/192.21	c  192s |      22 |  2417645 |  1926322 |      677   6928 |        0 |        0
194.16/194.22	c  194s |      22 |  2440504 |  1944822 |      677   6980 |        0 |        0
196.16/196.23	c  196s |      22 |  2463984 |  1963722 |      677   7033 |        0 |        0
198.15/198.23	c  198s |      22 |  2490202 |  1984122 |      677   7090 |        0 |        0
200.16/200.23	c  200s |      22 |  2515911 |  2004122 |      677   7147 |        0 |        0
202.16/202.24	c  202s |      22 |  2542659 |  2024022 |      677   7203 |        0 |        0
204.16/204.24	c  204s |      22 |  2566927 |  2043222 |      677   7257 |        0 |        0
206.16/206.25	c  206s |      22 |  2591405 |  2062322 |      677   7311 |        0 |        0
208.16/208.25	c  208s |      22 |  2616125 |  2081522 |      677   7365 |        0 |        0
210.17/210.26	c  210s |      22 |  2640191 |  2100522 |      677   7419 |        0 |        0
212.16/212.26	c  212s |      22 |  2663403 |  2119322 |      677   7472 |        0 |        0
214.16/214.27	c  214s |      22 |  2688572 |  2139122 |      677   7527 |        0 |        0
216.16/216.28	c  216s |      22 |  2714368 |  2158622 |      677   7581 |        0 |        0
218.16/218.29	c  218s |      22 |  2738613 |  2177722 |      677   7636 |        0 |        0
220.16/220.29	c  220s |      22 |  2765111 |  2197722 |      677   7692 |        0 |        0
222.16/222.29	c  222s |      22 |  2788618 |  2216122 |      677   7744 |        0 |        0
224.15/224.29	c  224s |      22 |  2809876 |  2233822 |      677   7794 |        0 |        0
226.15/226.26	c  226s |      23 |  2830360 |  2251038 |      745   7838 |        0 |        0
228.15/228.27	c  228s |      23 |  2851657 |  2268538 |      745   7883 |        0 |        0
230.15/230.27	c  230s |      23 |  2873466 |  2286438 |      745   7929 |        0 |        0
232.16/232.27	c  232s |      23 |  2896712 |  2305138 |      745   7978 |        0 |        0
234.15/234.28	c  234s |      23 |  2918319 |  2323138 |      745   8024 |        0 |        0
236.15/236.29	c  236s |      23 |  2941511 |  2341538 |      745   8072 |        0 |        0
238.15/238.29	c  238s |      23 |  2965491 |  2360538 |      745   8121 |        0 |        0
240.25/240.30	c  240s |      23 |  2989533 |  2379738 |      745   8171 |        0 |        0
242.25/242.30	c  242s |      23 |  3012515 |  2398438 |      745   8219 |        0 |        0
244.26/244.31	c  244s |      23 |  3035545 |  2417138 |      745   8268 |        0 |        0
246.25/246.31	c  246s |      23 |  3058247 |  2435538 |      745   8315 |        0 |        0
248.25/248.32	c  248s |      23 |  3078785 |  2452438 |      745   8359 |        0 |        0
250.25/250.32	c  250s |      23 |  3100925 |  2470338 |      745   8405 |        0 |        0
252.25/252.32	c  252s |      23 |  3120970 |  2487138 |      745   8448 |        0 |        0
254.25/254.33	c  254s |      23 |  3141807 |  2504538 |      745   8493 |        0 |        0
256.25/256.33	c  256s |      23 |  3162354 |  2521538 |      745   8537 |        0 |        0
258.25/258.34	c  258s |      23 |  3181118 |  2537638 |      745   8579 |        0 |        0
260.25/260.35	c  260s |      23 |  3202391 |  2554938 |      745   8624 |        0 |        0
262.25/262.35	c  262s |      23 |  3224845 |  2572638 |      745   8670 |        0 |        0
264.25/264.37	c  264s |      23 |  3244801 |  2589438 |      745   8714 |        0 |        0
266.26/266.37	c  266s |      23 |  3266946 |  2607238 |      745   8759 |        0 |        0
268.25/268.38	c  268s |      23 |  3291182 |  2626238 |      745   8809 |        0 |        0
270.25/270.39	c  270s |      23 |  3318911 |  2646238 |      745   8860 |        0 |        0
272.25/272.39	c  272s |      23 |  3342936 |  2665038 |      745   8909 |        0 |        0
274.25/274.39	c  274s |      23 |  3366954 |  2683838 |      745   8958 |        0 |        0
276.35/276.40	c  276s |      23 |  3390681 |  2702938 |      745   9007 |        0 |        0
278.36/278.40	c  278s |      23 |  3411298 |  2720538 |      745   9053 |        0 |        0
280.35/280.41	c  280s |      23 |  3434163 |  2738738 |      745   9100 |        0 |        0
282.35/282.42	c  282s |      23 |  3459359 |  2757638 |      745   9149 |        0 |        0
284.35/284.43	c  284s |      23 |  3484228 |  2776138 |      745   9197 |        0 |        0
286.35/286.43	c  286s |      23 |  3510581 |  2795438 |      745   9248 |        0 |        0
288.35/288.43	c  288s |      23 |  3533393 |  2814538 |      745   9297 |        0 |        0
290.35/290.44	c  290s |      23 |  3557280 |  2833038 |      745   9345 |        0 |        0
292.35/292.45	c  292s |      23 |  3579114 |  2850538 |      745   9391 |        0 |        0
294.35/294.46	c  294s |      23 |  3600339 |  2867938 |      745   9436 |        0 |        0
296.34/296.46	c  296s |      23 |  3620700 |  2884638 |      745   9479 |        0 |        0
298.34/298.47	c  298s |      23 |  3641251 |  2901238 |      745   9522 |        0 |        0
300.35/300.47	c  300s |      23 |  3663074 |  2918538 |      745   9566 |        0 |        0
302.34/302.47	c  302s |      23 |  3684935 |  2936438 |      745   9613 |        0 |        0
304.34/304.48	c  304s |      23 |  3706357 |  2954138 |      745   9659 |        0 |        0
306.34/306.49	c  306s |      23 |  3726207 |  2970938 |      745   9702 |        0 |        0
308.44/308.50	c  308s |      23 |  3747983 |  2988138 |      745   9746 |        0 |        0
310.44/310.50	c  310s |      23 |  3769434 |  3005138 |      745   9791 |        0 |        0
312.45/312.51	c  312s |      23 |  3790272 |  3022038 |      745   9835 |        0 |        0
314.44/314.52	c  314s |      23 |  3810470 |  3038338 |      745   9877 |        0 |        0
316.44/316.52	c  316s |      23 |  3831771 |  3055038 |      745   9920 |        0 |        0
318.44/318.53	c  318s |      23 |  3850517 |  3070838 |      745   9961 |        0 |        0
320.44/320.53	c  320s |      23 |  3871707 |  3087938 |      745  10006 |        0 |        0
322.44/322.53	c  322s |      23 |  3890954 |  3104438 |      745  10049 |        0 |        0
324.44/324.54	c  324s |      23 |  3910234 |  3120838 |      745  10091 |        0 |        0
326.44/326.54	c  326s |      23 |  3929293 |  3137538 |      745  10134 |        0 |        0
328.44/328.55	c  328s |      23 |  3949156 |  3154438 |      745  10178 |        0 |        0
330.44/330.56	c  330s |      23 |  3968405 |  3171038 |      745  10221 |        0 |        0
332.44/332.57	c  332s |      23 |  3988102 |  3187638 |      745  10263 |        0 |        0
334.45/334.58	c  334s |      23 |  4009093 |  3205138 |      745  10309 |        0 |        0
336.44/336.58	c  336s |      23 |  4029122 |  3222138 |      745  10353 |        0 |        0
338.44/338.58	c  338s |      23 |  4047999 |  3238438 |      745  10395 |        0 |        0
340.44/340.58	c  340s |      23 |  4065928 |  3254238 |      745  10436 |        0 |        0
342.44/342.58	c  342s |      23 |  4085596 |  3270438 |      745  10478 |        0 |        0
344.44/344.59	c  344s |      23 |  4103510 |  3285738 |      745  10517 |        0 |        0
346.44/346.60	c  346s |      23 |  4120773 |  3300938 |      745  10557 |        0 |        0
348.44/348.60	c  348s |      23 |  4139096 |  3316638 |      745  10597 |        0 |        0
350.54/350.60	c  350s |      23 |  4159219 |  3333338 |      745  10640 |        0 |        0
352.54/352.60	c  352s |      23 |  4177663 |  3349138 |      745  10681 |        0 |        0
354.54/354.61	c  354s |      23 |  4196355 |  3364838 |      820  10719 |        0 |        0
356.03/356.14	c  356s |      24 |  4210326 |  3376662 |      820  10747 |        0 |        0
358.03/358.14	c  358s |      24 |  4228395 |  3392162 |      820  10783 |        0 |        0
360.03/360.15	c  360s |      24 |  4250093 |  3409462 |      820  10823 |        0 |        0
362.03/362.16	c  362s |      24 |  4270521 |  3426562 |      820  10864 |        0 |        0
364.04/364.16	c  364s |      24 |  4289659 |  3442662 |      820  10901 |        0 |        0
366.03/366.16	c  366s |      24 |  4308587 |  3458562 |      820  10939 |        0 |        0
368.03/368.17	c  368s |      24 |  4328530 |  3474862 |      820  10977 |        0 |        0
370.03/370.19	c  370s |      24 |  4347684 |  3491162 |      820  11015 |        0 |        0
372.03/372.19	c  372s |      24 |  4367898 |  3507862 |      820  11054 |        0 |        0
374.13/374.20	c  374s |      24 |  4389698 |  3525262 |      820  11095 |        0 |        0
376.13/376.21	c  376s |      24 |  4409662 |  3541862 |      820  11134 |        0 |        0
378.13/378.21	c  378s |      24 |  4431570 |  3559362 |      820  11175 |        0 |        0
380.13/380.21	c  380s |      24 |  4454264 |  3577162 |      820  11217 |        0 |        0
382.14/382.22	c  382s |      24 |  4474317 |  3594162 |      820  11257 |        0 |        0
384.13/384.23	c  384s |      24 |  4495599 |  3611662 |      820  11298 |        0 |        0
386.14/386.23	c  386s |      24 |  4515386 |  3628262 |      820  11337 |        0 |        0
388.13/388.23	c  388s |      24 |  4536397 |  3645662 |      820  11378 |        0 |        0
390.13/390.23	c  390s |      24 |  4557827 |  3663162 |      820  11419 |        0 |        0
392.13/392.23	c  392s |      24 |  4578868 |  3680462 |      820  11460 |        0 |        0
394.13/394.24	c  394s |      24 |  4602910 |  3699262 |      820  11504 |        0 |        0
396.13/396.25	c  396s |      24 |  4623071 |  3716262 |      820  11544 |        0 |        0
398.14/398.25	c  398s |      24 |  4643346 |  3733362 |      820  11584 |        0 |        0
400.13/400.26	c  400s |      24 |  4662336 |  3749962 |      820  11623 |        0 |        0
402.13/402.27	c  402s |      24 |  4684994 |  3768362 |      820  11667 |        0 |        0
404.13/404.27	c  404s |      24 |  4706985 |  3786062 |      820  11708 |        0 |        0
406.13/406.28	c  406s |      24 |  4727398 |  3802562 |      820  11747 |        0 |        0
408.14/408.28	c  408s |      24 |  4750621 |  3820362 |      820  11789 |        0 |        0
410.13/410.29	c  410s |      24 |  4772828 |  3837762 |      820  11830 |        0 |        0
412.13/412.29	c  412s |      24 |  4792294 |  3854062 |      820  11868 |        0 |        0
414.13/414.30	c  414s |      24 |  4811310 |  3870362 |      820  11907 |        0 |        0
416.12/416.30	c  416s |      24 |  4831694 |  3887462 |      820  11947 |        0 |        0
418.22/418.30	c  418s |      24 |  4853410 |  3905062 |      820  11989 |        0 |        0
420.23/420.31	c  420s |      24 |  4874484 |  3922362 |      820  12030 |        0 |        0
422.23/422.32	c  422s |      24 |  4894303 |  3939162 |      820  12069 |        0 |        0
424.23/424.32	c  424s |      24 |  4914664 |  3955862 |      820  12108 |        0 |        0
426.23/426.33	c  426s |      24 |  4937316 |  3973362 |      820  12149 |        0 |        0
428.23/428.33	c  428s |      24 |  4962650 |  3992062 |      820  12193 |        0 |        0
430.22/430.34	c  430s |      24 |  4988222 |  4011062 |      820  12238 |        0 |        0
432.23/432.35	c  432s |      24 |  5011896 |  4029262 |      820  12281 |        0 |        0
434.22/434.35	c  434s |      24 |  5036173 |  4047862 |      820  12325 |        0 |        0
436.22/436.35	c  436s |      24 |  5061890 |  4067262 |      820  12371 |        0 |        0
438.22/438.36	c  438s |      24 |  5085900 |  4085962 |      820  12415 |        0 |        0
440.22/440.37	c  440s |      24 |  5106666 |  4103162 |      820  12456 |        0 |        0
442.23/442.38	c  442s |      24 |  5131602 |  4121962 |      820  12500 |        0 |        0
444.22/444.38	c  444s |      24 |  5152783 |  4139262 |      820  12541 |        0 |        0
446.22/446.39	c  446s |      24 |  5176126 |  4157362 |      820  12583 |        0 |        0
448.22/448.40	c  448s |      24 |  5200759 |  4176062 |      820  12628 |        0 |        0
450.32/450.40	c  450s |      24 |  5225838 |  4194762 |      820  12672 |        0 |        0
452.32/452.41	c  452s |      24 |  5244113 |  4210662 |      820  12710 |        0 |        0
454.33/454.41	c  454s |      24 |  5261276 |  4225962 |      820  12746 |        0 |        0
456.32/456.42	c  456s |      24 |  5281141 |  4242262 |      820  12784 |        0 |        0
458.32/458.42	c  458s |      24 |  5299326 |  4258162 |      820  12822 |        0 |        0
460.32/460.43	c  460s |      24 |  5318401 |  4274562 |      820  12860 |        0 |        0
462.32/462.44	c  462s |      24 |  5338394 |  4291262 |      820  12900 |        0 |        0
464.31/464.45	c  464s |      24 |  5359323 |  4308362 |      820  12940 |        0 |        0
466.32/466.46	c  466s |      24 |  5378365 |  4324562 |      820  12979 |        0 |        0
468.32/468.47	c  468s |      24 |  5397539 |  4340862 |      820  13017 |        0 |        0
470.32/470.47	c  470s |      24 |  5418568 |  4357862 |      820  13057 |        0 |        0
472.32/472.48	c  472s |      24 |  5438733 |  4374462 |      820  13097 |        0 |        0
474.32/474.49	c  474s |      24 |  5459111 |  4391262 |      820  13136 |        0 |        0
476.42/476.50	c  476s |      24 |  5478915 |  4407662 |      820  13175 |        0 |        0
478.43/478.51	c  478s |      24 |  5498682 |  4423762 |      820  13213 |        0 |        0
480.42/480.51	c  480s |      24 |  5518389 |  4439962 |      820  13252 |        0 |        0
482.42/482.52	c  482s |      24 |  5537443 |  4455962 |      820  13290 |        0 |        0
484.42/484.52	c  484s |      24 |  5557821 |  4472562 |      820  13329 |        0 |        0
486.42/486.52	c  486s |      24 |  5579217 |  4490162 |      820  13371 |        0 |        0
488.43/488.53	c  488s |      24 |  5602908 |  4508462 |      820  13414 |        0 |        0
490.42/490.54	c  490s |      24 |  5625631 |  4526262 |      820  13456 |        0 |        0
492.42/492.54	c  492s |      24 |  5647362 |  4543462 |      820  13497 |        0 |        0
494.42/494.55	c  494s |      24 |  5667553 |  4560262 |      820  13536 |        0 |        0
496.42/496.55	c  496s |      24 |  5689855 |  4578062 |      820  13578 |        0 |        0
498.42/498.56	c  498s |      24 |  5709900 |  4594462 |      820  13616 |        0 |        0
500.42/500.56	c  500s |      24 |  5731389 |  4611462 |      820  13656 |        0 |        0
502.41/502.57	c  502s |      24 |  5752079 |  4628262 |      820  13696 |        0 |        0
504.41/504.58	c  504s |      24 |  5773054 |  4645062 |      820  13735 |        0 |        0
506.41/506.58	c  506s |      24 |  5792756 |  4661362 |      820  13774 |        0 |        0
508.41/508.59	c  508s |      24 |  5812038 |  4677162 |      820  13811 |        0 |        0
510.42/510.59	c  510s |      24 |  5830565 |  4692762 |      820  13848 |        0 |        0
512.41/512.60	c  512s |      24 |  5849763 |  4708662 |      820  13886 |        0 |        0
514.51/514.61	c  514s |      24 |  5871840 |  4725862 |      820  13927 |        0 |        0
516.51/516.62	c  516s |      24 |  5892774 |  4742862 |      820  13967 |        0 |        0
518.51/518.62	c  518s |      24 |  5913346 |  4760062 |      820  14007 |        0 |        0
520.51/520.63	c  520s |      24 |  5935868 |  4777662 |      820  14049 |        0 |        0
522.52/522.64	c  522s |      24 |  5956658 |  4794462 |      820  14088 |        0 |        0
524.51/524.65	c  524s |      24 |  5978027 |  4811562 |      820  14129 |        0 |        0
526.51/526.65	c  526s |      24 |  5999683 |  4829062 |      820  14170 |        0 |        0
528.51/528.66	c  528s |      24 |  6020339 |  4845762 |      820  14209 |        0 |        0
530.51/530.67	c  530s |      24 |  6040889 |  4862462 |      820  14249 |        0 |        0
532.51/532.68	c  532s |      24 |  6061861 |  4879462 |      820  14289 |        0 |        0
534.51/534.69	c  534s |      24 |  6083735 |  4896862 |      820  14330 |        0 |        0
536.50/536.69	c  536s |      24 |  6104227 |  4913562 |      820  14370 |        0 |        0
538.50/538.69	c  538s |      24 |  6123987 |  4929962 |      820  14408 |        0 |        0
540.60/540.70	c  540s |      24 |  6142362 |  4945762 |      820  14446 |        0 |        0
542.60/542.71	c  542s |      24 |  6162282 |  4962262 |      820  14485 |        0 |        0
544.60/544.71	c  544s |      24 |  6182887 |  4979262 |      820  14525 |        0 |        0
546.61/546.72	c  546s |      24 |  6202570 |  4995862 |      820  14565 |        0 |        0
548.60/548.73	c  548s |      24 |  6222664 |  5012462 |      820  14604 |        0 |        0
550.61/550.74	c  550s |      24 |  6241811 |  5028562 |      820  14642 |        0 |        0
552.61/552.75	c  552s |      24 |  6261167 |  5044662 |      903  14677 |        0 |        0
554.61/554.75	c  554s |      24 |  6281628 |  5060862 |      903  14712 |        0 |        0
555.11/555.27	c  555s |      25 |  6286760 |  5065098 |      903  14721 |        0 |        0
557.11/557.28	c  557s |      25 |  6305795 |  5081198 |      903  14755 |        0 |        0
559.11/559.28	c  559s |      25 |  6325765 |  5097598 |      903  14790 |        0 |        0
561.11/561.28	c  561s |      25 |  6343399 |  5112998 |      903  14823 |        0 |        0
563.11/563.29	c  563s |      25 |  6362216 |  5128698 |      903  14856 |        0 |        0
565.10/565.29	c  565s |      25 |  6380398 |  5144198 |      903  14890 |        0 |        0
567.20/567.30	c  567s |      25 |  6397712 |  5159198 |      903  14922 |        0 |        0
569.20/569.30	c  569s |      25 |  6416563 |  5175098 |      903  14956 |        0 |        0
571.20/571.30	c  571s |      25 |  6435158 |  5190898 |      903  14990 |        0 |        0
573.20/573.30	c  573s |      25 |  6455760 |  5207598 |      903  15025 |        0 |        0
575.21/575.31	c  575s |      25 |  6477440 |  5224498 |      903  15062 |        0 |        0
577.20/577.32	c  577s |      25 |  6497492 |  5240998 |      903  15097 |        0 |        0
579.20/579.33	c  579s |      25 |  6518640 |  5257898 |      903  15133 |        0 |        0
581.20/581.33	c  581s |      25 |  6536040 |  5272898 |      903  15166 |        0 |        0
583.20/583.34	c  583s |      25 |  6555417 |  5288798 |      903  15200 |        0 |        0
585.21/585.35	c  585s |      25 |  6573756 |  5304598 |      903  15234 |        0 |        0
587.20/587.36	c  587s |      25 |  6591780 |  5319998 |      903  15267 |        0 |        0
589.20/589.37	c  589s |      25 |  6610354 |  5335898 |      903  15301 |        0 |        0
591.20/591.38	c  591s |      25 |  6627355 |  5350898 |      903  15333 |        0 |        0
593.20/593.39	c  593s |      25 |  6644247 |  5365898 |      903  15365 |        0 |        0
595.20/595.39	c  595s |      25 |  6663495 |  5381998 |      903  15399 |        0 |        0
597.20/597.40	c  597s |      25 |  6684889 |  5398998 |      903  15436 |        0 |        0
599.29/599.41	c  599s |      25 |  6705764 |  5415998 |      903  15473 |        0 |        0
601.29/601.42	c  601s |      25 |  6726204 |  5432798 |      903  15509 |        0 |        0
603.29/603.42	c  603s |      25 |  6743590 |  5447898 |      903  15541 |        0 |        0
605.29/605.43	c  605s |      25 |  6762735 |  5463898 |      903  15575 |        0 |        0
607.29/607.44	c  607s |      25 |  6784765 |  5480798 |      903  15612 |        0 |        0
609.30/609.44	c  609s |      25 |  6804724 |  5497198 |      903  15647 |        0 |        0
611.29/611.44	c  611s |      25 |  6824120 |  5512998 |      903  15680 |        0 |        0
613.29/613.45	c  613s |      25 |  6846310 |  5530498 |      903  15718 |        0 |        0
615.30/615.45	c  615s |      25 |  6866663 |  5546998 |      903  15753 |        0 |        0
617.30/617.46	c  617s |      25 |  6886817 |  5563398 |      903  15788 |        0 |        0
619.31/619.46	c  619s |      25 |  6906137 |  5579398 |      903  15823 |        0 |        0
621.30/621.47	c  621s |      25 |  6924713 |  5595098 |      903  15856 |        0 |        0
623.30/623.48	c  623s |      25 |  6943064 |  5610798 |      903  15890 |        0 |        0
625.30/625.48	c  625s |      25 |  6962746 |  5626998 |      903  15925 |        0 |        0
627.29/627.49	c  627s |      25 |  6981866 |  5642998 |      903  15959 |        0 |        0
629.39/629.50	c  629s |      25 |  6999921 |  5658498 |      903  15992 |        0 |        0
631.40/631.51	c  631s |      25 |  7018679 |  5673998 |      903  16026 |        0 |        0
633.39/633.52	c  633s |      25 |  7038917 |  5690098 |      903  16060 |        0 |        0
635.39/635.52	c  635s |      25 |  7057236 |  5705498 |      903  16093 |        0 |        0
637.39/637.53	c  637s |      25 |  7076666 |  5721698 |      903  16128 |        0 |        0
639.39/639.54	c  639s |      25 |  7096406 |  5738098 |      903  16163 |        0 |        0
641.39/641.55	c  641s |      25 |  7117253 |  5754698 |      903  16199 |        0 |        0
643.40/643.55	c  643s |      25 |  7137798 |  5771298 |      903  16235 |        0 |        0
645.39/645.56	c  645s |      25 |  7158292 |  5787998 |      903  16270 |        0 |        0
647.39/647.57	c  647s |      25 |  7181384 |  5805798 |      903  16309 |        0 |        0
649.39/649.57	c  649s |      25 |  7199441 |  5821298 |      903  16342 |        0 |        0
651.39/651.58	c  651s |      25 |  7218753 |  5837398 |      903  16376 |        0 |        0
653.40/653.58	c  653s |      25 |  7237807 |  5853498 |      903  16411 |        0 |        0
655.39/655.59	c  655s |      25 |  7257743 |  5869798 |      903  16446 |        0 |        0
657.39/657.59	c  657s |      25 |  7277383 |  5886298 |      903  16481 |        0 |        0
659.39/659.59	c  659s |      25 |  7297192 |  5902798 |      903  16517 |        0 |        0
661.49/661.60	c  661s |      25 |  7316026 |  5918798 |      903  16551 |        0 |        0
663.49/663.60	c  663s |      25 |  7335670 |  5935198 |      903  16586 |        0 |        0
665.50/665.61	c  665s |      25 |  7354985 |  5951398 |      903  16621 |        0 |        0
667.49/667.61	c  667s |      25 |  7375292 |  5967798 |      903  16656 |        0 |        0
669.49/669.62	c  669s |      25 |  7395783 |  5984298 |      903  16692 |        0 |        0
671.49/671.62	c  671s |      25 |  7416322 |  6000998 |      903  16727 |        0 |        0
673.48/673.62	c  673s |      25 |  7437675 |  6017998 |      903  16764 |        0 |        0
675.48/675.64	c  675s |      25 |  7457972 |  6034298 |      903  16799 |        0 |        0
677.49/677.65	c  677s |      25 |  7475914 |  6049898 |      903  16832 |        0 |        0
679.48/679.66	c  679s |      25 |  7492644 |  6064498 |      903  16864 |        0 |        0
681.48/681.66	c  681s |      25 |  7509167 |  6079298 |      903  16896 |        0 |        0
683.48/683.68	c  683s |      25 |  7527507 |  6095098 |      903  16929 |        0 |        0
685.48/685.68	c  685s |      25 |  7546586 |  6111298 |      903  16964 |        0 |        0
687.49/687.69	c  687s |      25 |  7565892 |  6127598 |      903  16999 |        0 |        0
689.49/689.69	c  689s |      25 |  7585572 |  6143898 |      903  17034 |        0 |        0
691.59/691.70	c  691s |      25 |  7604484 |  6159798 |      903  17068 |        0 |        0
693.59/693.70	c  693s |      25 |  7625648 |  6176998 |      903  17105 |        0 |        0
695.59/695.70	c  695s |      25 |  7646560 |  6193798 |      903  17141 |        0 |        0
697.59/697.71	c  697s |      25 |  7667417 |  6210898 |      903  17178 |        0 |        0
699.59/699.72	c  699s |      25 |  7685567 |  6226298 |      903  17211 |        0 |        0
701.58/701.72	c  701s |      25 |  7703994 |  6242198 |      903  17245 |        0 |        0
703.58/703.73	c  703s |      25 |  7723420 |  6258498 |      903  17280 |        0 |        0
705.58/705.73	c  705s |      25 |  7742142 |  6274398 |      903  17314 |        0 |        0
707.58/707.74	c  707s |      25 |  7760063 |  6289798 |      903  17347 |        0 |        0
709.58/709.75	c  709s |      25 |  7777315 |  6304998 |      903  17379 |        0 |        0
711.59/711.75	c  711s |      25 |  7793207 |  6319298 |      903  17410 |        0 |        0
713.58/713.76	c  713s |      25 |  7809152 |  6333398 |      903  17440 |        0 |        0
715.58/715.77	c  715s |      25 |  7827853 |  6348898 |      903  17473 |        0 |        0
717.58/717.77	c  717s |      25 |  7845104 |  6363698 |      903  17505 |        0 |        0
719.58/719.79	c  719s |      25 |  7862488 |  6378698 |      903  17537 |        0 |        0
721.58/721.79	c  721s |      25 |  7879896 |  6393798 |      903  17569 |        0 |        0
723.58/723.80	c  723s |      25 |  7896635 |  6408698 |      903  17601 |        0 |        0
725.68/725.81	c  725s |      25 |  7914103 |  6423898 |      903  17634 |        0 |        0
727.68/727.81	c  727s |      25 |  7931053 |  6438698 |      903  17666 |        0 |        0
729.68/729.82	c  729s |      25 |  7949090 |  6454198 |      903  17699 |        0 |        0
731.67/731.82	c  731s |      25 |  7966855 |  6469398 |      903  17732 |        0 |        0
733.68/733.83	c  733s |      25 |  7983279 |  6483898 |      903  17763 |        0 |        0
735.67/735.84	c  735s |      25 |  8003400 |  6500298 |      903  17798 |        0 |        0
737.67/737.85	c  737s |      25 |  8024176 |  6517298 |      903  17834 |        0 |        0
739.67/739.85	c  739s |      25 |  8043721 |  6533298 |      903  17869 |        0 |        0
741.67/741.86	c  741s |      25 |  8063352 |  6549898 |      903  17904 |        0 |        0
743.67/743.87	c  743s |      25 |  8082504 |  6566298 |      903  17940 |        0 |        0
745.69/745.88	c  745s |      25 |  8102710 |  6582998 |      903  17976 |        0 |        0
747.68/747.88	c  747s |      25 |  8120920 |  6598598 |      903  18009 |        0 |        0
749.68/749.89	c  749s |      25 |  8142265 |  6615698 |      903  18046 |        0 |        0
751.68/751.89	c  751s |      25 |  8162156 |  6632098 |      903  18082 |        0 |        0
753.68/753.89	c  753s |      25 |  8182098 |  6648098 |      903  18116 |        0 |        0
755.69/755.89	c  755s |      25 |  8203734 |  6665198 |      903  18153 |        0 |        0
757.68/757.90	c  757s |      25 |  8222616 |  6681298 |      903  18188 |        0 |        0
759.78/759.91	c  759s |      25 |  8241369 |  6697298 |      903  18223 |        0 |        0
761.78/761.91	c  761s |      25 |  8261166 |  6713898 |      903  18258 |        0 |        0
763.77/763.92	c  763s |      25 |  8279752 |  6729898 |      903  18293 |        0 |        0
765.77/765.92	c  765s |      25 |  8296179 |  6744598 |      903  18325 |        0 |        0
767.78/767.92	c  767s |      25 |  8313183 |  6759798 |      903  18357 |        0 |        0
769.77/769.93	c  769s |      25 |  8332913 |  6775998 |      903  18392 |        0 |        0
771.77/771.93	c  771s |      25 |  8352290 |  6792198 |      903  18427 |        0 |        0
773.77/773.94	c  773s |      25 |  8372099 |  6808598 |      903  18462 |        0 |        0
775.77/775.95	c  775s |      25 |  8391076 |  6824398 |      903  18496 |        0 |        0
777.77/777.96	c  777s |      25 |  8409837 |  6840298 |      903  18531 |        0 |        0
779.77/779.96	c  779s |      25 |  8428020 |  6855998 |      903  18564 |        0 |        0
781.77/781.97	c  781s |      25 |  8446461 |  6871898 |      903  18598 |        0 |        0
783.77/783.97	c  783s |      25 |  8465330 |  6887898 |      903  18633 |        0 |        0
785.77/785.97	c  785s |      25 |  8482992 |  6903198 |      903  18666 |        0 |        0
787.77/787.98	c  787s |      25 |  8501816 |  6919098 |      903  18700 |        0 |        0
789.78/789.98	c  789s |      25 |  8520980 |  6935498 |      903  18735 |        0 |        0
791.77/792.00	c  791s |      25 |  8540503 |  6951898 |      903  18770 |        0 |        0
793.87/794.00	c  793s |      25 |  8560481 |  6968798 |      903  18807 |        0 |        0
795.87/796.01	c  795s |      25 |  8580058 |  6985298 |      903  18842 |        0 |        0
797.87/798.03	c  798s |      25 |  8599478 |  7001698 |      903  18878 |        0 |        0
799.87/800.03	c  800s |      25 |  8618797 |  7017998 |      903  18912 |        0 |        0
801.88/802.04	c  802s |      25 |  8638941 |  7034398 |      903  18947 |        0 |        0
803.87/804.04	c  804s |      25 |  8659163 |  7050598 |      903  18982 |        0 |        0
805.87/806.06	c  806s |      25 |  8678246 |  7066598 |      903  19017 |        0 |        0
807.87/808.07	c  808s |      25 |  8697116 |  7082098 |      903  19050 |        0 |        0
809.87/810.07	c  810s |      25 |  8717185 |  7098398 |      903  19085 |        0 |        0
811.87/812.07	c  812s |      25 |  8738620 |  7114798 |      903  19120 |        0 |        0
813.87/814.08	c  814s |      25 |  8757056 |  7130298 |      903  19153 |        0 |        0
815.87/816.09	c  816s |      25 |  8775177 |  7145898 |      903  19187 |        0 |        0
817.87/818.09	c  818s |      25 |  8793479 |  7161398 |      903  19220 |        0 |        0
819.87/820.09	c  820s |      25 |  8813902 |  7178098 |      903  19256 |        0 |        0
821.97/822.11	c  822s |      25 |  8835682 |  7195598 |      903  19294 |        0 |        0
823.97/824.11	c  824s |      25 |  8856081 |  7212198 |      903  19330 |        0 |        0
825.97/826.11	c  826s |      25 |  8875243 |  7228398 |      903  19365 |        0 |        0
827.96/828.11	c  828s |      25 |  8895920 |  7245298 |      903  19401 |        0 |        0
829.96/830.12	c  830s |      25 |  8917386 |  7262298 |      903  19438 |        0 |        0
831.96/832.13	c  832s |      25 |  8936928 |  7278598 |      903  19473 |        0 |        0
833.96/834.13	c  834s |      25 |  8956079 |  7294998 |      903  19509 |        0 |        0
835.97/836.15	c  836s |      25 |  8975428 |  7311198 |      903  19544 |        0 |        0
837.96/838.16	c  838s |      25 |  8994978 |  7327498 |      903  19579 |        0 |        0
839.96/840.16	c  840s |      25 |  9015674 |  7344398 |      903  19615 |        0 |        0
841.96/842.16	c  842s |      25 |  9034662 |  7360298 |      903  19650 |        0 |        0
843.96/844.16	c  844s |      25 |  9055627 |  7376998 |      903  19686 |        0 |        0
845.96/846.17	c  846s |      25 |  9077077 |  7394598 |      903  19724 |        0 |        0
847.97/848.18	c  848s |      25 |  9097858 |  7411398 |      903  19761 |        0 |        0
849.96/850.18	c  850s |      25 |  9117049 |  7427398 |      903  19795 |        0 |        0
851.96/852.19	c  852s |      25 |  9135841 |  7443398 |      903  19830 |        0 |        0
853.96/854.19	c  854s |      25 |  9155627 |  7459798 |      903  19866 |        0 |        0
856.06/856.20	c  856s |      25 |  9174591 |  7475998 |      903  19900 |        0 |        0
858.06/858.21	c  858s |      25 |  9193046 |  7491798 |      903  19934 |        0 |        0
860.06/860.22	c  860s |      25 |  9213538 |  7508298 |      903  19969 |        0 |        0
862.06/862.22	c  862s |      25 |  9231399 |  7523698 |      903  20002 |        0 |        0
864.06/864.23	c  864s |      25 |  9249279 |  7539198 |      903  20036 |        0 |        0
866.06/866.24	c  866s |      25 |  9266583 |  7553998 |      994  20065 |        0 |        0
868.06/868.24	c  868s |      25 |  9285700 |  7570098 |      994  20097 |        0 |        0
870.07/870.24	c  870s |      25 |  9305936 |  7586798 |      994  20129 |        0 |        0
871.46/871.64	c  871s |      26 |  9318662 |  7597752 |      994  20151 |        0 |        0
873.46/873.65	c  873s |      26 |  9339860 |  7614252 |      994  20183 |        0 |        0
875.47/875.66	c  875s |      26 |  9359813 |  7630252 |      994  20214 |        0 |        0
877.46/877.67	c  877s |      26 |  9381618 |  7647252 |      994  20248 |        0 |        0
879.46/879.67	c  879s |      26 |  9401513 |  7663552 |      994  20280 |        0 |        0
881.46/881.68	c  881s |      26 |  9420520 |  7679252 |      994  20310 |        0 |        0
883.46/883.69	c  883s |      26 |  9439078 |  7694652 |      994  20340 |        0 |        0
885.47/885.69	c  885s |      26 |  9457610 |  7709852 |      994  20370 |        0 |        0
887.46/887.70	c  887s |      26 |  9476475 |  7725552 |      994  20401 |        0 |        0
889.56/889.71	c  889s |      26 |  9495692 |  7741352 |      994  20432 |        0 |        0
891.56/891.72	c  891s |      26 |  9513920 |  7756752 |      994  20462 |        0 |        0
893.56/893.72	c  893s |      26 |  9534348 |  7772952 |      994  20494 |        0 |        0
895.56/895.73	c  895s |      26 |  9553410 |  7788452 |      994  20524 |        0 |        0
897.56/897.73	c  897s |      26 |  9571609 |  7804052 |      994  20555 |        0 |        0
899.55/899.74	c  899s |      26 |  9590699 |  7819952 |      994  20586 |        0 |        0
901.55/901.75	c  901s |      26 |  9609230 |  7835152 |      994  20616 |        0 |        0
903.55/903.75	c  903s |      26 |  9628908 |  7851352 |      994  20647 |        0 |        0
905.55/905.75	c  905s |      26 |  9649107 |  7867552 |      994  20679 |        0 |        0
907.55/907.76	c  907s |      26 |  9669606 |  7883552 |      994  20711 |        0 |        0
909.56/909.76	c  909s |      26 |  9690671 |  7900052 |      994  20743 |        0 |        0
911.55/911.76	c  911s |      26 |  9712684 |  7917052 |      994  20776 |        0 |        0
913.55/913.77	c  913s |      26 |  9732027 |  7933052 |      994  20807 |        0 |        0
915.55/915.78	c  915s |      26 |  9752210 |  7949152 |      994  20839 |        0 |        0
917.55/917.78	c  917s |      26 |  9770576 |  7964452 |      994  20869 |        0 |        0
919.55/919.79	c  919s |      26 |  9788025 |  7979552 |      994  20898 |        0 |        0
921.55/921.79	c  921s |      26 |  9805232 |  7994352 |      994  20927 |        0 |        0
923.65/923.80	c  923s |      26 |  9821288 |  8008652 |      994  20955 |        0 |        0
925.65/925.81	c  925s |      26 |  9837724 |  8023152 |      994  20983 |        0 |        0
927.65/927.82	c  927s |      26 |  9854407 |  8037852 |      994  21012 |        0 |        0
929.65/929.83	c  929s |      26 |  9870980 |  8052252 |      994  21040 |        0 |        0
931.66/931.83	c  931s |      26 |  9888370 |  8067152 |      994  21069 |        0 |        0
933.65/933.84	c  933s |      26 |  9906644 |  8082652 |      994  21099 |        0 |        0
935.65/935.85	c  935s |      26 |  9925781 |  8098452 |      994  21131 |        0 |        0
937.65/937.86	c  937s |      26 |  9944229 |  8114052 |      994  21161 |        0 |        0
939.65/939.87	c  939s |      26 |  9961663 |  8129252 |      994  21191 |        0 |        0
941.65/941.88	c  941s |      26 |  9979680 |  8144752 |      994  21221 |        0 |        0
943.65/943.88	c  943s |      26 |  9996745 |  8159752 |      994  21250 |        0 |        0
945.64/945.89	c  945s |      26 | 10014943 |  8175352 |      994  21281 |        0 |        0
947.74/947.90	c  947s |      26 | 10031094 |  8189652 |      994  21309 |        0 |        0
949.74/949.90	c  949s |      26 | 10048085 |  8204452 |      994  21338 |        0 |        0
951.74/951.90	c  951s |      26 | 10065345 |  8219452 |      994  21368 |        0 |        0
953.74/953.91	c  953s |      26 | 10081637 |  8233852 |      994  21396 |        0 |        0
955.75/955.92	c  955s |      26 | 10099854 |  8249652 |      994  21427 |        0 |        0
957.74/957.93	c  957s |      26 | 10119569 |  8266352 |      994  21460 |        0 |        0
959.74/959.93	c  959s |      26 | 10138726 |  8282352 |      994  21491 |        0 |        0
961.74/961.94	c  961s |      26 | 10157426 |  8298252 |      994  21522 |        0 |        0
963.74/963.95	c  963s |      26 | 10176361 |  8314352 |      994  21554 |        0 |        0
965.75/965.95	c  965s |      26 | 10195570 |  8330252 |      994  21585 |        0 |        0
967.74/967.95	c  967s |      26 | 10216045 |  8346852 |      994  21618 |        0 |        0
969.74/969.96	c  969s |      26 | 10235507 |  8362952 |      994  21650 |        0 |        0
971.75/971.97	c  971s |      26 | 10254955 |  8378652 |      994  21681 |        0 |        0
973.75/973.98	c  973s |      26 | 10275297 |  8394852 |      994  21712 |        0 |        0
975.74/975.98	c  975s |      26 | 10294714 |  8410852 |      994  21744 |        0 |        0
977.75/977.99	c  977s |      26 | 10316439 |  8427552 |      994  21777 |        0 |        0
979.84/980.00	c  979s |      26 | 10333132 |  8442052 |      994  21805 |        0 |        0
981.84/982.01	c  981s |      26 | 10350132 |  8456752 |      994  21834 |        0 |        0
983.84/984.01	c  984s |      26 | 10367582 |  8471752 |      994  21863 |        0 |        0
985.84/986.02	c  986s |      26 | 10384476 |  8486652 |      994  21893 |        0 |        0
987.84/988.03	c  988s |      26 | 10403050 |  8502352 |      994  21924 |        0 |        0
989.85/990.04	c  990s |      26 | 10423960 |  8519052 |      994  21957 |        0 |        0
991.84/992.04	c  992s |      26 | 10443213 |  8535252 |      994  21989 |        0 |        0
993.84/994.05	c  994s |      26 | 10463791 |  8551252 |      994  22020 |        0 |        0
995.84/996.05	c  996s |      26 | 10481737 |  8566552 |      994  22050 |        0 |        0
997.84/998.06	c  998s |      26 | 10499487 |  8581652 |      994  22080 |        0 |        0
999.85/1000.07	c 1000s |      26 | 10517537 |  8597052 |      994  22110 |        0 |        0
1001.84/1002.08	c 1002s |      26 | 10534647 |  8611852 |      994  22138 |        0 |        0
1003.84/1004.08	c 1004s |      26 | 10552516 |  8626952 |      994  22168 |        0 |        0
1005.84/1006.08	c 1006s |      26 | 10571616 |  8642852 |      994  22199 |        0 |        0
1007.84/1008.09	c 1008s |      26 | 10589309 |  8657852 |      994  22228 |        0 |        0
1009.84/1010.09	c 1010s |      26 | 10605862 |  8672452 |      994  22256 |        0 |        0
1011.84/1012.10	c 1012s |      26 | 10623026 |  8687252 |      994  22285 |        0 |        0
1013.93/1014.10	c 1014s |      26 | 10640592 |  8702252 |      994  22315 |        0 |        0
1015.93/1016.10	c 1016s |      26 | 10658614 |  8717752 |      994  22345 |        0 |        0
1017.93/1018.11	c 1018s |      26 | 10674677 |  8731852 |      994  22372 |        0 |        0
1019.93/1020.12	c 1020s |      26 | 10690552 |  8745752 |      994  22399 |        0 |        0
1021.93/1022.13	c 1022s |      26 | 10708161 |  8761052 |      994  22429 |        0 |        0
1023.94/1024.13	c 1024s |      26 | 10727326 |  8777152 |      994  22461 |        0 |        0
1025.93/1026.13	c 1026s |      26 | 10748045 |  8793852 |      994  22493 |        0 |        0
1027.93/1028.14	c 1028s |      26 | 10769488 |  8810852 |      994  22526 |        0 |        0
1029.93/1030.15	c 1030s |      26 | 10788725 |  8826852 |      994  22558 |        0 |        0
1031.93/1032.16	c 1032s |      26 | 10806981 |  8842352 |      994  22588 |        0 |        0
1033.94/1034.17	c 1034s |      26 | 10824406 |  8857452 |      994  22618 |        0 |        0
1035.93/1036.18	c 1036s |      26 | 10844535 |  8873552 |      994  22649 |        0 |        0
1037.93/1038.18	c 1038s |      26 | 10865062 |  8889552 |      994  22680 |        0 |        0
1039.94/1040.18	c 1040s |      26 | 10881800 |  8904152 |      994  22709 |        0 |        0
1041.94/1042.18	c 1042s |      26 | 10899142 |  8919152 |      994  22738 |        0 |        0
1043.94/1044.19	c 1044s |      26 | 10916120 |  8933852 |      994  22767 |        0 |        0
1045.94/1046.20	c 1046s |      26 | 10932367 |  8948152 |      994  22795 |        0 |        0
1048.03/1048.22	c 1048s |      26 | 10949771 |  8963152 |      994  22825 |        0 |        0
1050.03/1050.22	c 1050s |      26 | 10967752 |  8978452 |      994  22855 |        0 |        0
1052.03/1052.23	c 1052s |      26 | 10984507 |  8993052 |      994  22883 |        0 |        0
1054.03/1054.25	c 1054s |      26 | 11000150 |  9007152 |      994  22911 |        0 |        0
1056.03/1056.26	c 1056s |      26 | 11017673 |  9022252 |      994  22941 |        0 |        0
1058.04/1058.27	c 1058s |      26 | 11037413 |  9038652 |      994  22973 |        0 |        0
1060.03/1060.28	c 1060s |      26 | 11055965 |  9054352 |      994  23003 |        0 |        0
1062.03/1062.28	c 1062s |      26 | 11075027 |  9069852 |      994  23034 |        0 |        0
1064.03/1064.29	c 1064s |      26 | 11094933 |  9086252 |      994  23066 |        0 |        0
1066.03/1066.30	c 1066s |      26 | 11117248 |  9103152 |      994  23099 |        0 |        0
1068.13/1068.30	c 1068s |      26 | 11137743 |  9119252 |      994  23131 |        0 |        0
1070.03/1070.30	c 1070s |      26 | 11155743 |  9134552 |      994  23161 |        0 |        0
1072.13/1072.31	c 1072s |      26 | 11173534 |  9150052 |      994  23191 |        0 |        0
1074.12/1074.31	c 1074s |      26 | 11189548 |  9164352 |      994  23219 |        0 |        0
1076.12/1076.32	c 1076s |      26 | 11206536 |  9179252 |      994  23249 |        0 |        0
1078.12/1078.33	c 1078s |      26 | 11225080 |  9194452 |      994  23278 |        0 |        0
1080.13/1080.34	c 1080s |      26 | 11243065 |  9209652 |      994  23308 |        0 |        0
1082.12/1082.34	c 1082s |      26 | 11263213 |  9226252 |      994  23341 |        0 |        0
1084.12/1084.34	c 1084s |      26 | 11284015 |  9243052 |      994  23374 |        0 |        0
1086.12/1086.34	c 1086s |      26 | 11301691 |  9258152 |      994  23403 |        0 |        0
1088.12/1088.35	c 1088s |      26 | 11319225 |  9273052 |      994  23432 |        0 |        0
1090.12/1090.35	c 1090s |      26 | 11336836 |  9287852 |      994  23462 |        0 |        0
1092.13/1092.37	c 1092s |      26 | 11355635 |  9303152 |      994  23492 |        0 |        0
1094.13/1094.37	c 1094s |      26 | 11372957 |  9317852 |      994  23520 |        0 |        0
1096.13/1096.38	c 1096s |      26 | 11390226 |  9332552 |      994  23549 |        0 |        0
1098.13/1098.39	c 1098s |      26 | 11406101 |  9346852 |      994  23577 |        0 |        0
1100.23/1100.40	c 1100s |      26 | 11423102 |  9361452 |      994  23606 |        0 |        0
1102.23/1102.42	c 1102s |      26 | 11442140 |  9377352 |      994  23638 |        0 |        0
1104.23/1104.43	c 1104s |      26 | 11460008 |  9392452 |      994  23667 |        0 |        0
1106.23/1106.43	c 1106s |      26 | 11477860 |  9407652 |      994  23697 |        0 |        0
1108.23/1108.43	c 1108s |      26 | 11495349 |  9422652 |      994  23726 |        0 |        0
1110.22/1110.43	c 1110s |      26 | 11514974 |  9438352 |      994  23757 |        0 |        0
1112.22/1112.45	c 1112s |      26 | 11531369 |  9452652 |      994  23785 |        0 |        0
1114.23/1114.45	c 1114s |      26 | 11547713 |  9466952 |      994  23814 |        0 |        0
1116.22/1116.47	c 1116s |      26 | 11564390 |  9481752 |      994  23842 |        0 |        0
1118.22/1118.48	c 1118s |      26 | 11581461 |  9496552 |      994  23871 |        0 |        0
1120.22/1120.48	c 1120s |      26 | 11598117 |  9511252 |      994  23900 |        0 |        0
1122.22/1122.49	c 1122s |      26 | 11615076 |  9526152 |      994  23929 |        0 |        0
1124.32/1124.50	c 1124s |      26 | 11633209 |  9541652 |      994  23960 |        0 |        0
1126.23/1126.50	c 1126s |      26 | 11649113 |  9555752 |      994  23987 |        0 |        0
1128.32/1128.51	c 1128s |      26 | 11668058 |  9571652 |      994  24019 |        0 |        0
1130.32/1130.52	c 1130s |      26 | 11688288 |  9588252 |      994  24051 |        0 |        0
1132.32/1132.53	c 1132s |      26 | 11709675 |  9605152 |      994  24084 |        0 |        0
1134.32/1134.53	c 1134s |      26 | 11729561 |  9621552 |      994  24117 |        0 |        0
1136.32/1136.54	c 1136s |      26 | 11750850 |  9638652 |      994  24150 |        0 |        0
1138.32/1138.55	c 1138s |      26 | 11769728 |  9654552 |      994  24181 |        0 |        0
1140.32/1140.56	c 1140s |      26 | 11787088 |  9669752 |      994  24211 |        0 |        0
1142.32/1142.56	c 1142s |      26 | 11805227 |  9685052 |      994  24241 |        0 |        0
1144.32/1144.56	c 1144s |      26 | 11823903 |  9700652 |      994  24272 |        0 |        0
1146.31/1146.57	c 1146s |      26 | 11841314 |  9715552 |      994  24301 |        0 |        0
1148.32/1148.57	c 1148s |      26 | 11858173 |  9730352 |      994  24330 |        0 |        0
1150.31/1150.58	c 1150s |      26 | 11874940 |  9745052 |      994  24359 |        0 |        0
1152.31/1152.58	c 1152s |      26 | 11891478 |  9759652 |      994  24388 |        0 |        0
1154.31/1154.59	c 1154s |      26 | 11910730 |  9775652 |      994  24420 |        0 |        0
1156.41/1156.60	c 1156s |      26 | 11928251 |  9790752 |      994  24449 |        0 |        0
1158.41/1158.60	c 1158s |      26 | 11949489 |  9807352 |      994  24482 |        0 |        0
1160.42/1160.61	c 1160s |      26 | 11969423 |  9823752 |      994  24514 |        0 |        0
1162.41/1162.62	c 1162s |      26 | 11988566 |  9839652 |      994  24546 |        0 |        0
1164.41/1164.63	c 1164s |      26 | 12008356 |  9855852 |      994  24578 |        0 |        0
1166.41/1166.63	c 1166s |      26 | 12026421 |  9871352 |      994  24608 |        0 |        0
1168.41/1168.64	c 1168s |      26 | 12046717 |  9887652 |      994  24640 |        0 |        0
1170.41/1170.64	c 1170s |      26 | 12065420 |  9903252 |      994  24671 |        0 |        0
1172.41/1172.66	c 1172s |      26 | 12087048 |  9920052 |      994  24704 |        0 |        0
1174.41/1174.67	c 1174s |      26 | 12108892 |  9936752 |      994  24737 |        0 |        0
1176.41/1176.68	c 1176s |      26 | 12129973 |  9953452 |      994  24769 |        0 |        0
1178.41/1178.69	c 1178s |      26 | 12150601 |  9970152 |      994  24802 |        0 |        0
1180.41/1180.69	c 1180s |      26 | 12170254 |  9986252 |      994  24834 |        0 |        0
1182.50/1182.70	c 1182s |      26 | 12188242 | 10001352 |      994  24863 |        0 |        0
1184.40/1184.70	c 1184s |      26 | 12205965 | 10016652 |      994  24893 |        0 |        0
1186.51/1186.70	c 1186s |      26 | 12224565 | 10032152 |      994  24924 |        0 |        0
1188.51/1188.71	c 1188s |      26 | 12242158 | 10047152 |      994  24953 |        0 |        0
1190.51/1190.72	c 1190s |      26 | 12260324 | 10062352 |      994  24983 |        0 |        0
1192.50/1192.73	c 1192s |      26 | 12278997 | 10077952 |      994  25014 |        0 |        0
1194.51/1194.73	c 1194s |      26 | 12295750 | 10092752 |      994  25043 |        0 |        0
1196.50/1196.75	c 1196s |      26 | 12315701 | 10109352 |      994  25076 |        0 |        0
1198.50/1198.76	c 1198s |      26 | 12334590 | 10125152 |      994  25107 |        0 |        0
1200.50/1200.77	c 1200s |      26 | 12354279 | 10141752 |      994  25139 |        0 |        0
1202.50/1202.77	c 1202s |      26 | 12371782 | 10156952 |      994  25169 |        0 |        0
1204.50/1204.78	c 1204s |      26 | 12389793 | 10172652 |      994  25201 |        0 |        0
1206.51/1206.79	c 1206s |      26 | 12407181 | 10187552 |      994  25230 |        0 |        0
1208.50/1208.79	c 1208s |      26 | 12426076 | 10203052 |      994  25260 |        0 |        0
1210.50/1210.80	c 1210s |      26 | 12446932 | 10219552 |      994  25293 |        0 |        0
1212.59/1212.81	c 1212s |      26 | 12467064 | 10235652 |      994  25324 |        0 |        0
1214.59/1214.81	c 1214s |      26 | 12488566 | 10252652 |      994  25358 |        0 |        0
1216.59/1216.82	c 1216s |      26 | 12509259 | 10269052 |      994  25390 |        0 |        0
1218.60/1218.82	c 1218s |      26 | 12527115 | 10284352 |      994  25420 |        0 |        0
1220.59/1220.83	c 1220s |      26 | 12544900 | 10299352 |      994  25449 |        0 |        0
1222.59/1222.84	c 1222s |      26 | 12561982 | 10313852 |      994  25478 |        0 |        0
1224.59/1224.84	c 1224s |      26 | 12580278 | 10329352 |      994  25508 |        0 |        0
1226.59/1226.86	c 1226s |      26 | 12598299 | 10344352 |      994  25538 |        0 |        0
1228.60/1228.87	c 1228s |      26 | 12616394 | 10359752 |      994  25568 |        0 |        0
1230.59/1230.87	c 1230s |      26 | 12634781 | 10375352 |      994  25598 |        0 |        0
1232.58/1232.88	c 1232s |      26 | 12653002 | 10390652 |      994  25628 |        0 |        0
1234.58/1234.89	c 1234s |      26 | 12672566 | 10406652 |      994  25660 |        0 |        0
1236.68/1236.91	c 1236s |      26 | 12689425 | 10421352 |      994  25689 |        0 |        0
1238.68/1238.91	c 1238s |      26 | 12706099 | 10436052 |      994  25718 |        0 |        0
1240.69/1240.91	c 1240s |      26 | 12723165 | 10450652 |      994  25746 |        0 |        0
1242.67/1242.91	c 1242s |      26 | 12740742 | 10465252 |      994  25775 |        0 |        0
1244.67/1244.91	c 1244s |      26 | 12760230 | 10481352 |      994  25807 |        0 |        0
1246.67/1246.92	c 1246s |      26 | 12777971 | 10496252 |      994  25836 |        0 |        0
1248.67/1248.93	c 1248s |      26 | 12795036 | 10511052 |      994  25865 |        0 |        0
1250.67/1250.94	c 1250s |      26 | 12812713 | 10526252 |      994  25895 |        0 |        0
1252.68/1252.94	c 1252s |      26 | 12832459 | 10542252 |      994  25926 |        0 |        0
1254.67/1254.95	c 1254s |      26 | 12851563 | 10558152 |      994  25957 |        0 |        0
1256.67/1256.95	c 1256s |      26 | 12871049 | 10574052 |      994  25989 |        0 |        0
1258.67/1258.96	c 1258s |      26 | 12890120 | 10589452 |      994  26019 |        0 |        0
1260.67/1260.97	c 1260s |      26 | 12908883 | 10604952 |      994  26049 |        0 |        0
1262.67/1262.98	c 1262s |      26 | 12927487 | 10620352 |      994  26080 |        0 |        0
1264.66/1264.98	c 1264s |      26 | 12946200 | 10635752 |      994  26110 |        0 |        0
1266.66/1266.98	c 1266s |      26 | 12963371 | 10650452 |      994  26139 |        0 |        0
1268.66/1268.99	c 1268s |      26 | 12982050 | 10666152 |      994  26170 |        0 |        0
1270.77/1271.00	c 1270s |      26 | 13001372 | 10682052 |      994  26201 |        0 |        0
1272.76/1273.00	c 1272s |      26 | 13020248 | 10697452 |      994  26231 |        0 |        0
1274.77/1275.02	c 1275s |      26 | 13037739 | 10712152 |      994  26260 |        0 |        0
1276.76/1277.02	c 1277s |      26 | 13054393 | 10726752 |      994  26289 |        0 |        0
1278.76/1279.03	c 1279s |      26 | 13071684 | 10741552 |      994  26318 |        0 |        0
1280.76/1281.03	c 1281s |      26 | 13090538 | 10757152 |      994  26348 |        0 |        0
1282.76/1283.03	c 1283s |      26 | 13108622 | 10772452 |      994  26378 |        0 |        0
1284.76/1285.05	c 1285s |      26 | 13127268 | 10787852 |      994  26409 |        0 |        0
1286.76/1287.05	c 1287s |      26 | 13145869 | 10803352 |      994  26439 |        0 |        0
1288.76/1289.05	c 1289s |      26 | 13165011 | 10819052 |      994  26470 |        0 |        0
1290.75/1291.06	c 1291s |      26 | 13183494 | 10834652 |      994  26501 |        0 |        0
1292.75/1293.07	c 1293s |      26 | 13200695 | 10849452 |      994  26530 |        0 |        0
1294.75/1295.08	c 1295s |      26 | 13218612 | 10864852 |      994  26560 |        0 |        0
1296.76/1297.09	c 1297s |      26 | 13237527 | 10880652 |      994  26591 |        0 |        0
1298.75/1299.09	c 1299s |      26 | 13255675 | 10896252 |      994  26622 |        0 |        0
1300.85/1301.10	c 1301s |      26 | 13276466 | 10912852 |      994  26655 |        0 |        0
1302.84/1303.11	c 1303s |      26 | 13295511 | 10928152 |      994  26685 |        0 |        0
1304.84/1305.11	c 1305s |      26 | 13316272 | 10944452 |      994  26717 |        0 |        0
1306.84/1307.11	c 1307s |      26 | 13336401 | 10960652 |      994  26749 |        0 |        0
1308.85/1309.12	c 1309s |      26 | 13357806 | 10977552 |      994  26782 |        0 |        0
1310.85/1311.13	c 1311s |      26 | 13378593 | 10994652 |      994  26816 |        0 |        0
1312.84/1313.14	c 1313s |      26 | 13398211 | 11010952 |      994  26848 |        0 |        0
1314.84/1315.14	c 1315s |      26 | 13416340 | 11026352 |      994  26878 |        0 |        0
1316.84/1317.15	c 1317s |      26 | 13435220 | 11041752 |      994  26909 |        0 |        0
1318.84/1319.15	c 1319s |      26 | 13453219 | 11056952 |      994  26938 |        0 |        0
1320.85/1321.16	c 1321s |      26 | 13472436 | 11073052 |      994  26970 |        0 |        0
1322.84/1323.17	c 1323s |      26 | 13490710 | 11088252 |      994  27000 |        0 |        0
1324.84/1325.18	c 1325s |      26 | 13509515 | 11104052 |      994  27031 |        0 |        0
1326.84/1327.18	c 1327s |      26 | 13529126 | 11120452 |      994  27063 |        0 |        0
1328.84/1329.19	c 1329s |      26 | 13548732 | 11136452 |      994  27095 |        0 |        0
1330.84/1331.19	c 1331s |      26 | 13568292 | 11152652 |      994  27126 |        0 |        0
1332.83/1333.20	c 1333s |      26 | 13586949 | 11168052 |      994  27157 |        0 |        0
1334.93/1335.20	c 1335s |      26 | 13606476 | 11184052 |      994  27188 |        0 |        0
1336.93/1337.21	c 1337s |      26 | 13626943 | 11200252 |      994  27220 |        0 |        0
1338.93/1339.22	c 1339s |      26 | 13644722 | 11215252 |      994  27249 |        0 |        0
1340.93/1341.22	c 1341s |      26 | 13665423 | 11231052 |      994  27280 |        0 |        0
1342.93/1343.23	c 1343s |      26 | 13685090 | 11246752 |      994  27311 |        0 |        0
1344.92/1345.24	c 1345s |      26 | 13702348 | 11261652 |      994  27340 |        0 |        0
1346.92/1347.25	c 1347s |      26 | 13719574 | 11276052 |      994  27369 |        0 |        0
1348.92/1349.26	c 1349s |      26 | 13739649 | 11291452 |      994  27399 |        0 |        0
1350.92/1351.26	c 1351s |      26 | 13757206 | 11305752 |      994  27427 |        0 |        0
1352.92/1353.27	c 1353s |      26 | 13774706 | 11319852 |     1094  27454 |        0 |        0
1354.92/1355.28	c 1355s |      26 | 13791925 | 11333852 |     1094  27479 |        0 |        0
1357.02/1357.30	c 1357s |      26 | 13809664 | 11348652 |     1094  27506 |        0 |        0
1359.01/1359.30	c 1359s |      26 | 13829257 | 11364752 |     1094  27534 |        0 |        0
1361.01/1361.31	c 1361s |      26 | 13846711 | 11379652 |     1094  27561 |        0 |        0
1363.01/1363.31	c 1363s |      26 | 13863387 | 11394052 |     1094  27586 |        0 |        0
1363.41/1363.71	c 1363s |      27 | 13866438 | 11396733 |     1094  27591 |        0 |        0
1365.41/1365.71	c 1365s |      27 | 13884221 | 11412033 |     1094  27618 |        0 |        0
1367.42/1367.72	c 1367s |      27 | 13901524 | 11426933 |     1094  27645 |        0 |        0
1369.42/1369.72	c 1369s |      27 | 13918589 | 11441533 |     1094  27671 |        0 |        0
1371.43/1371.72	c 1371s |      27 | 13934627 | 11455633 |     1094  27696 |        0 |        0
1373.41/1373.73	c 1373s |      27 | 13951896 | 11470433 |     1094  27722 |        0 |        0
1375.41/1375.73	c 1375s |      27 | 13969475 | 11485633 |     1094  27749 |        0 |        0
1377.41/1377.74	c 1377s |      27 | 13987531 | 11501033 |     1094  27777 |        0 |        0
1379.41/1379.75	c 1379s |      27 | 14005089 | 11516133 |     1094  27803 |        0 |        0
1381.42/1381.76	c 1381s |      27 | 14022632 | 11530933 |     1094  27830 |        0 |        0
1383.41/1383.76	c 1383s |      27 | 14039506 | 11545733 |     1094  27856 |        0 |        0
1385.41/1385.77	c 1385s |      27 | 14056958 | 11560833 |     1094  27883 |        0 |        0
1387.41/1387.77	c 1387s |      27 | 14075560 | 11576433 |     1094  27910 |        0 |        0
1389.41/1389.78	c 1389s |      27 | 14093973 | 11591933 |     1094  27938 |        0 |        0
1391.41/1391.79	c 1391s |      27 | 14110534 | 11606333 |     1094  27964 |        0 |        0
1393.41/1393.79	c 1393s |      27 | 14127857 | 11621333 |     1094  27990 |        0 |        0
1395.50/1395.80	c 1395s |      27 | 14147087 | 11637033 |     1094  28018 |        0 |        0
1397.50/1397.81	c 1397s |      27 | 14165940 | 11652733 |     1094  28046 |        0 |        0
1399.50/1399.81	c 1399s |      27 | 14183562 | 11668033 |     1094  28073 |        0 |        0
1401.50/1401.82	c 1401s |      27 | 14200005 | 11682633 |     1094  28099 |        0 |        0
1403.49/1403.83	c 1403s |      27 | 14217333 | 11697733 |     1094  28126 |        0 |        0
1405.50/1405.84	c 1405s |      27 | 14235259 | 11713233 |     1094  28154 |        0 |        0
1407.49/1407.85	c 1407s |      27 | 14250369 | 11726833 |     1094  28178 |        0 |        0
1409.49/1409.85	c 1409s |      27 | 14267161 | 11741233 |     1094  28203 |        0 |        0
1411.49/1411.86	c 1411s |      27 | 14284265 | 11756033 |     1094  28230 |        0 |        0
1413.49/1413.86	c 1413s |      27 | 14301017 | 11770733 |     1094  28256 |        0 |        0
1415.49/1415.86	c 1415s |      27 | 14319707 | 11786333 |     1094  28284 |        0 |        0
1417.49/1417.87	c 1417s |      27 | 14337005 | 11801133 |     1094  28310 |        0 |        0
1419.49/1419.88	c 1419s |      27 | 14356319 | 11817133 |     1094  28339 |        0 |        0
1421.48/1421.88	c 1421s |      27 | 14372218 | 11830933 |     1094  28363 |        0 |        0
1423.48/1423.88	c 1423s |      27 | 14388559 | 11845033 |     1094  28388 |        0 |        0
1425.48/1425.89	c 1425s |      27 | 14406403 | 11860133 |     1094  28415 |        0 |        0
1427.49/1427.90	c 1427s |      27 | 14423178 | 11874433 |     1094  28440 |        0 |        0
1429.58/1429.90	c 1429s |      27 | 14440613 | 11889033 |     1094  28466 |        0 |        0
1431.58/1431.92	c 1431s |      27 | 14457110 | 11903533 |     1094  28492 |        0 |        0
1433.58/1433.93	c 1433s |      27 | 14474582 | 11918633 |     1094  28518 |        0 |        0
1435.58/1435.93	c 1435s |      27 | 14491586 | 11933633 |     1094  28545 |        0 |        0
1437.58/1437.93	c 1437s |      27 | 14508572 | 11948633 |     1094  28572 |        0 |        0
1439.59/1439.94	c 1439s |      27 | 14525301 | 11963333 |     1094  28598 |        0 |        0
1441.58/1441.95	c 1441s |      27 | 14542704 | 11978133 |     1094  28624 |        0 |        0
1443.58/1443.96	c 1443s |      27 | 14559631 | 11992933 |     1094  28650 |        0 |        0
1445.58/1445.97	c 1445s |      27 | 14575134 | 12006633 |     1094  28674 |        0 |        0
1447.57/1447.98	c 1447s |      27 | 14590847 | 12020233 |     1094  28698 |        0 |        0
1449.58/1449.99	c 1449s |      27 | 14604972 | 12033233 |     1094  28721 |        0 |        0
1451.57/1452.00	c 1451s |      27 | 14619348 | 12046233 |     1094  28744 |        0 |        0
1453.67/1454.00	c 1453s |      27 | 14636283 | 12060833 |     1094  28770 |        0 |        0
1455.67/1456.01	c 1455s |      27 | 14651814 | 12074733 |     1094  28795 |        0 |        0
1457.67/1458.02	c 1458s |      27 | 14668351 | 12089133 |     1094  28821 |        0 |        0
1459.67/1460.03	c 1460s |      27 | 14684281 | 12103133 |     1094  28845 |        0 |        0
1461.67/1462.03	c 1462s |      27 | 14700304 | 12117033 |     1094  28870 |        0 |        0
1463.66/1464.04	c 1464s |      27 | 14717934 | 12131733 |     1094  28896 |        0 |        0
1465.66/1466.05	c 1466s |      27 | 14734792 | 12146533 |     1094  28923 |        0 |        0
1467.66/1468.05	c 1468s |      27 | 14752984 | 12161833 |     1094  28950 |        0 |        0
1469.66/1470.06	c 1470s |      27 | 14770880 | 12176433 |     1094  28976 |        0 |        0
1471.65/1472.06	c 1472s |      27 | 14789697 | 12192333 |     1094  29004 |        0 |        0
1473.66/1474.07	c 1474s |      27 | 14808434 | 12208033 |     1094  29032 |        0 |        0
1475.65/1476.08	c 1476s |      27 | 14826819 | 12223533 |     1094  29060 |        0 |        0
1477.66/1478.09	c 1478s |      27 | 14844778 | 12238833 |     1094  29087 |        0 |        0
1479.66/1480.09	c 1480s |      27 | 14864115 | 12254933 |     1094  29116 |        0 |        0
1481.75/1482.11	c 1482s |      27 | 14879927 | 12268833 |     1094  29141 |        0 |        0
1483.75/1484.11	c 1484s |      27 | 14897607 | 12284033 |     1094  29168 |        0 |        0
1485.76/1486.12	c 1486s |      27 | 14913956 | 12298333 |     1094  29193 |        0 |        0
1487.75/1488.13	c 1488s |      27 | 14929727 | 12312533 |     1094  29219 |        0 |        0
1489.75/1490.15	c 1490s |      27 | 14948714 | 12328633 |     1094  29247 |        0 |        0
1491.74/1492.16	c 1492s |      27 | 14967946 | 12344633 |     1094  29276 |        0 |        0
1493.74/1494.17	c 1494s |      27 | 14987265 | 12360833 |     1094  29305 |        0 |        0
1495.75/1496.17	c 1496s |      27 | 15006054 | 12376433 |     1094  29333 |        0 |        0
1497.74/1498.18	c 1498s |      27 | 15023863 | 12391533 |     1094  29360 |        0 |        0
1499.74/1500.18	c 1500s |      27 | 15041267 | 12406533 |     1094  29387 |        0 |        0
1501.73/1502.19	c 1502s |      27 | 15059498 | 12422133 |     1094  29414 |        0 |        0
1503.83/1504.20	c 1504s |      27 | 15079687 | 12438833 |     1094  29444 |        0 |        0
1505.83/1506.21	c 1506s |      27 | 15097888 | 12454333 |     1094  29472 |        0 |        0
1507.84/1508.21	c 1508s |      27 | 15115566 | 12469733 |     1094  29499 |        0 |        0
1509.83/1510.21	c 1510s |      27 | 15134507 | 12485733 |     1094  29528 |        0 |        0
1511.83/1512.21	c 1512s |      27 | 15152696 | 12501233 |     1094  29555 |        0 |        0
1513.83/1514.23	c 1514s |      27 | 15170586 | 12516533 |     1094  29583 |        0 |        0
1515.83/1516.24	c 1516s |      27 | 15188461 | 12531633 |     1094  29610 |        0 |        0
1517.83/1518.25	c 1518s |      27 | 15204647 | 12545933 |     1094  29635 |        0 |        0
1519.84/1520.26	c 1520s |      27 | 15221590 | 12560633 |     1094  29662 |        0 |        0
1521.82/1522.27	c 1522s |      27 | 15239716 | 12576033 |     1094  29689 |        0 |        0
1523.82/1524.29	c 1524s |      27 | 15258057 | 12591733 |     1094  29717 |        0 |        0
1525.82/1526.29	c 1526s |      27 | 15275006 | 12606633 |     1094  29744 |        0 |        0
1527.82/1528.29	c 1528s |      27 | 15293871 | 12622133 |     1094  29771 |        0 |        0
1529.92/1530.30	c 1530s |      27 | 15311600 | 12637233 |     1094  29798 |        0 |        0
1531.92/1532.31	c 1532s |      27 | 15330062 | 12652233 |     1094  29825 |        0 |        0
1533.91/1534.31	c 1534s |      27 | 15348720 | 12667933 |     1094  29853 |        0 |        0
1535.91/1536.32	c 1536s |      27 | 15368374 | 12683633 |     1094  29881 |        0 |        0
1537.91/1538.32	c 1538s |      27 | 15385492 | 12698133 |     1094  29906 |        0 |        0
1539.91/1540.33	c 1540s |      27 | 15402764 | 12712733 |     1094  29932 |        0 |        0
1541.92/1542.33	c 1542s |      27 | 15421006 | 12728133 |     1094  29960 |        0 |        0
1543.91/1544.34	c 1544s |      27 | 15439632 | 12743633 |     1094  29987 |        0 |        0
1545.91/1546.35	c 1546s |      27 | 15457804 | 12758933 |     1094  30014 |        0 |        0
1547.91/1548.35	c 1548s |      27 | 15474589 | 12773433 |     1094  30040 |        0 |        0
1549.91/1550.36	c 1550s |      27 | 15492491 | 12788833 |     1094  30067 |        0 |        0
1551.90/1552.36	c 1552s |      27 | 15510547 | 12804333 |     1094  30095 |        0 |        0
1553.91/1554.37	c 1554s |      27 | 15528672 | 12819833 |     1094  30122 |        0 |        0
1555.90/1556.39	c 1556s |      27 | 15547517 | 12835333 |     1094  30150 |        0 |        0
1557.90/1558.39	c 1558s |      27 | 15566605 | 12851133 |     1094  30178 |        0 |        0
1559.90/1560.39	c 1560s |      27 | 15586174 | 12867233 |     1094  30206 |        0 |        0
1561.89/1562.39	c 1562s |      27 | 15606016 | 12883233 |     1094  30235 |        0 |        0
1563.90/1564.40	c 1564s |      27 | 15623086 | 12897833 |     1094  30261 |        0 |        0
1565.89/1566.40	c 1566s |      27 | 15640725 | 12912733 |     1094  30287 |        0 |        0
1567.99/1568.41	c 1568s |      27 | 15656718 | 12926633 |     1094  30312 |        0 |        0
1569.99/1570.43	c 1570s |      27 | 15673934 | 12941233 |     1094  30338 |        0 |        0
1571.99/1572.43	c 1572s |      27 | 15694032 | 12957433 |     1094  30366 |        0 |        0
1573.99/1574.44	c 1574s |      27 | 15712641 | 12972833 |     1094  30394 |        0 |        0
1576.00/1576.45	c 1576s |      27 | 15729444 | 12987433 |     1094  30420 |        0 |        0
1577.99/1578.46	c 1578s |      27 | 15747540 | 13002333 |     1094  30447 |        0 |        0
1579.99/1580.47	c 1580s |      27 | 15766131 | 13017533 |     1094  30474 |        0 |        0
1581.98/1582.47	c 1582s |      27 | 15783291 | 13032533 |     1094  30500 |        0 |        0
1583.99/1584.47	c 1584s |      27 | 15802614 | 13048133 |     1094  30528 |        0 |        0
1585.99/1586.48	c 1586s |      27 | 15820505 | 13063433 |     1094  30555 |        0 |        0
1587.99/1588.49	c 1588s |      27 | 15836809 | 13077933 |     1094  30581 |        0 |        0
1590.09/1590.50	c 1590s |      27 | 15854970 | 13093233 |     1094  30609 |        0 |        0
1592.08/1592.51	c 1592s |      27 | 15871770 | 13108033 |     1094  30635 |        0 |        0
1594.08/1594.51	c 1594s |      27 | 15888843 | 13122533 |     1094  30661 |        0 |        0
1596.08/1596.51	c 1596s |      27 | 15906204 | 13137633 |     1094  30688 |        0 |        0
1598.08/1598.52	c 1598s |      27 | 15922382 | 13152133 |     1094  30714 |        0 |        0
1600.09/1600.53	c 1600s |      27 | 15940537 | 13167533 |     1094  30742 |        0 |        0
1602.07/1602.53	c 1602s |      27 | 15957161 | 13182233 |     1094  30769 |        0 |        0
1604.07/1604.53	c 1604s |      27 | 15974784 | 13197333 |     1094  30796 |        0 |        0
1606.07/1606.54	c 1606s |      27 | 15994239 | 13212533 |     1094  30823 |        0 |        0
1608.07/1608.55	c 1608s |      27 | 16013430 | 13228233 |     1094  30851 |        0 |        0
1610.08/1610.56	c 1610s |      27 | 16032148 | 13243933 |     1094  30879 |        0 |        0
1612.07/1612.57	c 1612s |      27 | 16050992 | 13259533 |     1094  30907 |        0 |        0
1614.07/1614.58	c 1614s |      27 | 16069841 | 13275033 |     1094  30935 |        0 |        0
1616.07/1616.59	c 1616s |      27 | 16088696 | 13290933 |     1094  30963 |        0 |        0
1618.07/1618.59	c 1618s |      27 | 16107081 | 13306633 |     1094  30991 |        0 |        0
1620.17/1620.60	c 1620s |      27 | 16123553 | 13321133 |     1094  31017 |        0 |        0
1622.18/1622.61	c 1622s |      27 | 16140131 | 13335533 |     1094  31043 |        0 |        0
1624.17/1624.63	c 1624s |      27 | 16157950 | 13350633 |     1094  31070 |        0 |        0
1626.17/1626.63	c 1626s |      27 | 16174904 | 13365333 |     1094  31096 |        0 |        0
1628.17/1628.64	c 1628s |      27 | 16191935 | 13380233 |     1094  31122 |        0 |        0
1630.17/1630.66	c 1630s |      27 | 16210408 | 13396033 |     1094  31151 |        0 |        0
1632.16/1632.67	c 1632s |      27 | 16228054 | 13411133 |     1094  31178 |        0 |        0
1634.17/1634.68	c 1634s |      27 | 16245432 | 13426133 |     1094  31204 |        0 |        0
1636.16/1636.69	c 1636s |      27 | 16263673 | 13441633 |     1094  31232 |        0 |        0
1638.16/1638.69	c 1638s |      27 | 16283013 | 13457233 |     1094  31260 |        0 |        0
1640.26/1640.70	c 1640s |      27 | 16301048 | 13472033 |     1094  31286 |        0 |        0
1642.25/1642.71	c 1642s |      27 | 16318281 | 13486533 |     1094  31312 |        0 |        0
1644.25/1644.71	c 1644s |      27 | 16333234 | 13499733 |     1094  31335 |        0 |        0
1646.26/1646.71	c 1646s |      27 | 16349272 | 13513533 |     1094  31360 |        0 |        0
1648.25/1648.71	c 1648s |      27 | 16365459 | 13527833 |     1094  31385 |        0 |        0
1650.25/1650.73	c 1650s |      27 | 16381461 | 13541933 |     1094  31411 |        0 |        0
1652.25/1652.74	c 1652s |      27 | 16397112 | 13555933 |     1094  31435 |        0 |        0
1654.25/1654.74	c 1654s |      27 | 16412316 | 13569433 |     1094  31459 |        0 |        0
1656.25/1656.75	c 1656s |      27 | 16428726 | 13583633 |     1094  31484 |        0 |        0
1658.24/1658.76	c 1658s |      27 | 16445097 | 13598033 |     1094  31510 |        0 |        0
1660.24/1660.76	c 1660s |      27 | 16461943 | 13612633 |     1094  31536 |        0 |        0
1662.24/1662.76	c 1662s |      27 | 16479046 | 13627533 |     1094  31562 |        0 |        0
1664.24/1664.76	c 1664s |      27 | 16497960 | 13643133 |     1094  31590 |        0 |        0
1666.24/1666.76	c 1666s |      27 | 16516240 | 13658633 |     1094  31618 |        0 |        0
1668.24/1668.78	c 1668s |      27 | 16531760 | 13672733 |     1094  31644 |        0 |        0
1670.24/1670.78	c 1670s |      27 | 16546874 | 13686433 |     1094  31668 |        0 |        0
1672.23/1672.79	c 1672s |      27 | 16564739 | 13701833 |     1094  31696 |        0 |        0
1674.33/1674.80	c 1674s |      27 | 16581712 | 13716533 |     1094  31722 |        0 |        0
1676.33/1676.81	c 1676s |      27 | 16598308 | 13731033 |     1094  31748 |        0 |        0
1678.33/1678.81	c 1678s |      27 | 16614118 | 13745233 |     1094  31773 |        0 |        0
1680.34/1680.82	c 1680s |      27 | 16629613 | 13759333 |     1094  31799 |        0 |        0
1682.32/1682.84	c 1682s |      27 | 16645930 | 13773933 |     1094  31825 |        0 |        0
1684.33/1684.85	c 1684s |      27 | 16663519 | 13788733 |     1094  31851 |        0 |        0
1686.33/1686.85	c 1686s |      27 | 16678354 | 13801933 |     1094  31874 |        0 |        0
1688.33/1688.86	c 1688s |      27 | 16693173 | 13815133 |     1094  31897 |        0 |        0
1690.34/1690.86	c 1690s |      27 | 16709326 | 13829433 |     1094  31922 |        0 |        0
1692.33/1692.86	c 1692s |      27 | 16724976 | 13843033 |     1094  31947 |        0 |        0
1694.33/1694.87	c 1694s |      27 | 16741032 | 13856833 |     1094  31971 |        0 |        0
1696.33/1696.88	c 1696s |      27 | 16759281 | 13871633 |     1094  31997 |        0 |        0
1698.33/1698.89	c 1698s |      27 | 16776600 | 13886433 |     1094  32023 |        0 |        0
1700.33/1700.89	c 1700s |      27 | 16793783 | 13901233 |     1094  32050 |        0 |        0
1702.33/1702.90	c 1702s |      27 | 16810114 | 13915633 |     1094  32075 |        0 |        0
1704.42/1704.90	c 1704s |      27 | 16826160 | 13929933 |     1094  32101 |        0 |        0
1706.42/1706.91	c 1706s |      27 | 16841749 | 13943933 |     1094  32125 |        0 |        0
1708.42/1708.92	c 1708s |      27 | 16856909 | 13957633 |     1094  32150 |        0 |        0
1710.42/1710.93	c 1710s |      27 | 16874335 | 13972533 |     1094  32176 |        0 |        0
1712.41/1712.94	c 1712s |      27 | 16890907 | 13987033 |     1094  32202 |        0 |        0
1714.42/1714.94	c 1714s |      27 | 16907032 | 14001233 |     1094  32227 |        0 |        0
1716.41/1716.94	c 1716s |      27 | 16924589 | 14015833 |     1094  32253 |        0 |        0
1718.41/1718.95	c 1718s |      27 | 16942592 | 14030533 |     1094  32279 |        0 |        0
1720.41/1720.97	c 1720s |      27 | 16960281 | 14045433 |     1094  32306 |        0 |        0
1722.41/1722.97	c 1722s |      27 | 16976961 | 14059833 |     1094  32331 |        0 |        0
1724.41/1724.98	c 1724s |      27 | 16994234 | 14074633 |     1094  32358 |        0 |        0
1726.40/1726.98	c 1726s |      27 | 17012557 | 14089833 |     1094  32385 |        0 |        0
1728.40/1728.98	c 1728s |      27 | 17030613 | 14105133 |     1094  32412 |        0 |        0
1730.40/1730.99	c 1730s |      27 | 17047689 | 14119933 |     1094  32439 |        0 |        0
1732.50/1733.00	c 1732s |      27 | 17065089 | 14134633 |     1094  32465 |        0 |        0
1734.50/1735.01	c 1735s |      27 | 17080034 | 14148133 |     1094  32489 |        0 |        0
1736.51/1737.02	c 1737s |      27 | 17096363 | 14162533 |     1094  32514 |        0 |        0
1738.50/1739.02	c 1739s |      27 | 17113327 | 14176933 |     1094  32540 |        0 |        0
1740.50/1741.03	c 1741s |      27 | 17131296 | 14191933 |     1094  32567 |        0 |        0
1742.49/1743.04	c 1743s |      27 | 17148945 | 14206833 |     1094  32593 |        0 |        0
1744.49/1745.05	c 1745s |      27 | 17165659 | 14221433 |     1094  32620 |        0 |        0
1746.49/1747.06	c 1747s |      27 | 17181402 | 14235333 |     1094  32644 |        0 |        0
1748.50/1749.07	c 1749s |      27 | 17198752 | 14249833 |     1094  32670 |        0 |        0
1750.49/1751.08	c 1751s |      27 | 17217096 | 14265033 |     1094  32697 |        0 |        0
1752.49/1753.08	c 1753s |      27 | 17234370 | 14279733 |     1094  32724 |        0 |        0
1754.49/1755.09	c 1755s |      27 | 17251702 | 14294433 |     1094  32750 |        0 |        0
1756.59/1757.10	c 1757s |      27 | 17267568 | 14308133 |     1094  32775 |        0 |        0
1758.59/1759.11	c 1759s |      27 | 17284240 | 14322533 |     1094  32800 |        0 |        0
1760.60/1761.12	c 1761s |      27 | 17299662 | 14336233 |     1094  32824 |        0 |        0
1762.59/1763.13	c 1763s |      27 | 17316454 | 14350533 |     1094  32850 |        0 |        0
1764.59/1765.13	c 1765s |      27 | 17332595 | 14364733 |     1094  32875 |        0 |        0
1766.59/1767.14	c 1767s |      27 | 17349564 | 14379233 |     1094  32901 |        0 |        0
1768.59/1769.15	c 1769s |      27 | 17368341 | 14394533 |     1094  32928 |        0 |        0
1770.59/1771.15	c 1771s |      27 | 17387158 | 14409933 |     1094  32956 |        0 |        0
1772.58/1773.16	c 1773s |      27 | 17406218 | 14425333 |     1094  32983 |        0 |        0
1774.58/1775.17	c 1775s |      27 | 17424765 | 14440733 |     1094  33011 |        0 |        0
1776.58/1777.18	c 1777s |      27 | 17443989 | 14456233 |     1094  33039 |        0 |        0
1778.58/1779.18	c 1779s |      27 | 17463035 | 14471733 |     1094  33067 |        0 |        0
1780.58/1781.19	c 1781s |      27 | 17480647 | 14486233 |     1094  33093 |        0 |        0
1782.58/1783.20	c 1783s |      27 | 17497318 | 14500633 |     1094  33118 |        0 |        0
1784.67/1785.21	c 1785s |      27 | 17515834 | 14515833 |     1094  33146 |        0 |        0
1786.67/1787.22	c 1787s |      27 | 17532388 | 14530433 |     1094  33172 |        0 |        0
1788.67/1789.23	c 1789s |      27 | 17551662 | 14545833 |     1094  33200 |        0 |        0
1790.67/1791.23	c 1791s |      27 | 17569239 | 14560533 |     1094  33226 |        0 |        0
1792.67/1793.24	c 1793s |      27 | 17586143 | 14574933 |     1094  33252 |        0 |        0
1794.67/1795.25	c 1795s |      27 | 17603067 | 14589333 |     1094  33278 |        0 |        0
1796.66/1797.25	c 1797s |      27 | 17619342 | 14603233 |     1094  33303 |        0 |        0
1798.66/1799.26	c 1799s |      27 | 17638184 | 14618433 |     1094  33331 |        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-4096141-1466103353/watcher-4096141-1466103353 -o /tmp/evaluation-result-4096141-1466103353/solver-4096141-1466103353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466103353-30255 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096141-1466103353.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.30 1.25 1.54 4/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 2900 0 0 0 0 0 0 0 20 0 4 0 12381772 793178112 2750 33554432000 4194304 16246674 140733907605328 140733907604752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 194159 2759 441 2943 0 191053 0
[pid=30283/tid=30286] ppid=30277 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 817295360 2844 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=802236 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 821489664 2860 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 826732544 2877 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.30 1.25 1.54 4/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 24788 0 0 0 6 3 0 0 20 0 4 0 12381772 1247350784 24627 33554432000 4194304 16246674 140733907605328 140733907604752 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 304529 24638 711 2943 0 301423 0
[pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24645 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24651 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24656 33554432000 4194304 16246674 140733907605328 139865858493616 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.200512 s]
/proc/loadavg: 1.30 1.25 1.54 4/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 48309 0 0 0 13 6 0 0 20 0 4 0 12381772 1247350784 48147 33554432000 4194304 16246674 140733907605328 140733907604752 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 304529 48156 711 2943 0 301423 0
[pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48160 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48165 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48171 33554432000 4194304 16246674 140733907605328 139865858493616 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.300485 s]
/proc/loadavg: 1.30 1.25 1.54 4/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 71320 0 0 0 19 10 0 0 20 0 4 0 12381772 1247350784 71158 33554432000 4194304 16246674 140733907605328 140733907604752 6076251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 304529 71167 711 2943 0 301423 0
[pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71178 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71188 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71194 33554432000 4194304 16246674 140733907605328 139865858493616 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.700373 s]
/proc/loadavg: 1.30 1.25 1.54 4/175 30284
/proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 163004 0 0 0 46 23 0 0 20 0 4 0 12381772 1247350784 162842 33554432000 4194304 16246674 140733907605328 140733907604752 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 304529 162852 712 2943 0 301423 0
[pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162861 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162866 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162875 33554432000 4194304 16246674 140733907605328 139865858493616 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.50041 s]
/proc/loadavg: 1.30 1.25 1.54 4/183 30292
/proc/meminfo: memFree=28497388/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 245499 0 0 0 113 36 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 140733907604640 5667339 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 304529 245317 786 2943 0 301423 0
[pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865858493616 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) 1218116

[startup+3.1004 s]
/proc/loadavg: 1.43 1.28 1.55 4/183 30292
/proc/meminfo: memFree=28321184/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267404 0 0 0 271 38 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 140733907587200 6009952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267222 786 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865858493616 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.30041 s]
/proc/loadavg: 1.43 1.28 1.55 5/183 30292
/proc/meminfo: memFree=28320252/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267409 0 0 0 590 38 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 140733907587200 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267227 786 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.52 1.30 1.55 4/183 30292
/proc/meminfo: memFree=28320628/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267414 0 0 0 1230 39 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 140733907587200 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267232 788 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.67 1.34 1.56 4/183 30292
/proc/meminfo: memFree=28321048/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267462 0 0 0 2510 39 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 140733907588328 5992598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267280 788 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 1.84 1.41 1.58 4/183 30292
/proc/meminfo: memFree=28320932/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267464 0 0 0 5069 40 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 140733907587200 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267282 789 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865858493616 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) 1306180

[startup+102.3 s]
/proc/loadavg: 1.98 1.52 1.60 4/183 30294
/proc/meminfo: memFree=28320808/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267464 0 0 0 10187 41 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 140733907587200 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326545 267282 789 2943 0 323439 0
[pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.20 2.23 2.05 4/183 30347
/proc/meminfo: memFree=28313248/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1302.04 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267782 0 0 0 130142 62 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5717852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.33 2.26 2.07 5/183 30348
/proc/meminfo: memFree=28313028/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1362.01 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267824 0 0 0 136138 63 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.30 2.26 2.08 4/183 30349
/proc/meminfo: memFree=28313032/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1421.99 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267867 0 0 0 142135 64 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.31 2.27 2.09 4/184 30353
/proc/meminfo: memFree=28312848/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1481.95 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267912 0 0 0 148129 66 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.31 2.28 2.10 4/183 30354
/proc/meminfo: memFree=28312448/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1541.92 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267954 0 0 0 154125 67 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5726535 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.35 2.28 2.11 5/183 30356
/proc/meminfo: memFree=28312788/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1601.87 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267996 0 0 0 160119 68 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.19 2.25 2.11 4/183 30357
/proc/meminfo: memFree=28312008/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1661.84 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268041 0 0 0 166115 69 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267770 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.11 4/183 30358
/proc/meminfo: memFree=28312880/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1721.81 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268086 0 0 0 172111 70 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907587200 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267771 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.23 2.11 5/183 30359
/proc/meminfo: memFree=28312160/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268131 0 0 0 178106 71 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907588328 5823600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267771 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.45 2.28 2.13 4/183 30359
/proc/meminfo: memFree=28312256/32872528 swapFree=1370072/1517240
[pid=30283] ppid=30277 vsize=1307204 CPUtime=1800.06 cores=0,2,4,6
/proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268136 0 0 0 179935 71 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907587200 5861860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30283/statm: 326801 267771 791 2943 0 323695 0
[pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.36
CPU system time (s): 0.712891
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.712891
maximum resident set size= 1071084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268136
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= 454
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70698 second user time and 8.65168 second system time

The end

Begin job on node129 at 2016-06-16 20:55:53
IDJOB=4096141
IDBENCH=107572
IDSOLVER=2542
FILE ID=node129/4096141-1466103353
RUNJOBID= node129-1466103353-30255
PBS_JOBID= 19904039
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 385932e95fa98a18d84f560f29bbc773
RANDOM SEED=1612421401

node129.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.143
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.28
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.143
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.143
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.143
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.143
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.143
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30461424 kB
Buffers:           49320 kB
Cached:           140008 kB
SwapCached:          672 kB
Active:           108724 kB
Inactive:          82704 kB
Active(anon):       3964 kB
Inactive(anon):      912 kB
Active(file):     104760 kB
Inactive(file):    81792 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100228 kB
Dirty:             32764 kB
Writeback:            44 kB
AnonPages:       1519288 kB
Mapped:             7088 kB
Shmem:                 0 kB
Slab:             569872 kB
SReclaimable:      13900 kB
SUnreclaim:       555972 kB
KernelStack:        1384 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 21:25:54