0.00/0.00	c 2016-06-16T00:04:58+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-4089526-1466028298.opb"]
0.00/0.01	c use --random-gen="3837185322 3512658237 3985733514 3959098373 1343967070 1194636956 1147898220 3581949728 3507842017 3113260534 4106274883 2745778415 4207599534 1948248120 3772815936 1901055035 3198454381 2835692524 2982918650 951953727 3849345470 141857610 49281973 1414366025 3581588334 3007029961 307522960 3416804660 1655658606 588301949 1443512483 2233158248 3330896527 2584895861 1889346392 2033796350 2064752716 320506073 623487777 2894289048 2738538264 3994984669 2343629972 4267658546 2483457096 1431062891 2912967179 107238606 3422202415 2189320447 1252053570 436727803 990932595 3480037679 1291251484 609360514 909559851 3970236904 371099182 840552631 1268140600 1271198942 3267050736 184901694 365393151 1721481125 2723404179 1193760602 2242448647 1211317820 2903638517 1740297904 1031672644 1425298872 2535052826 1384904206 300218285 2679086666 2486844006 2666005263 1368466090 1614180025 171923761 1513810111 365423673 2935114135 3648113438 771836982 602509795 2722842604 765657838 3378590229 3501311741 1182203992 1695674355 3411398809 51440810 3076354046 2427908004 1446241250 1756158123 3162926586 2490694867 2825935778 3346561662 3136856629 491673455 2866023632 2924656601 3528866905 125938661 830775759 3027981866 3715999361 4203007069 2142592139 1816884114 934206866 3882225844 2105794076 1093772861 3758458929 547527706 3223636198 3425864530 2114011415 2184269783 1427086040 2328728541 2016031186 615325909 740900229 571285686 910254668 597558849 1636263128 3739944436 2483335495 713715968 2786049041 3760996964 2208259646 3654059516 2616112010 1433430252 1583222959 3257786878 1495754619 491935066 706361026 3210517926 4217208828 1748081325 2716097886 239411689 1295722588 2444795807 652289506 4015795018 3191168825 34262236 1393645258 1350376759 2973562241 448016069 993317026 2605651620 1756904049 1307428641 3143488713 3688779343 595336174 2760490125 3848227669 460992283 2077265904 852862014 997249351 2116003388 921552466 1665460573 3437588342 2276872377 2777383841 2639554520 1205571596 2539772354 4024714173 334459849 2152694623 1503388914 1800551062 1108980814 3404565849 60873363 1593791673 1323471907 1464212016 3033382169 515736014 4141434772 381893340 4264852049 2175098486 2583846019 604831367 3111498566 1368501171 3061656378 88501540 4154995435 600006290 822946145 1688309538 2610547815 3645584480 4074268104 1323700328 4148707857 156316763 3964672376 1910056442 19567906 1842757063 3974641390 3968104547 1670789013 234776953 768197254 1565828291 3429466853 1108638591 502392624 1465049894 1757174182 2833199485 3291423190 3458504135 2933753257 3385408374 1104956558 1072259734 3708053238 4061078711 3692826478 1075421708 216113225 862802846 2529260562 393703013 2675443274 1201047882 4065435986 3437459434 112382174 2448000984 255 362436" option to reproduce the execution
0.00/0.01	c #vars 88
0.00/0.01	c #constraints 177
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 |       88      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      139 |      100 |       88      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      326 |      250 |       97      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      596 |      475 |      107      5 |        0 |        0
0.09/0.11	c  0.1s |       4 |      972 |      813 |      118     10 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1518 |     1320 |      130     16 |        0 |        0
0.18/0.26	c  0.3s |       6 |     2320 |     2081 |      158     24 |        0 |        0
0.39/0.40	c  0.4s |       7 |     3505 |     3223 |      174     35 |        0 |        0
0.59/0.62	c  0.6s |       8 |     5260 |     4936 |      192     51 |        0 |        0
0.88/0.93	c  0.9s |       9 |     7919 |     7506 |      212     73 |        0 |        0
1.19/1.25	c  1.2s |      10 |    11866 |    11361 |      234    104 |        0 |        0
1.68/1.78	c  1.8s |      11 |    17905 |    17144 |      258    147 |        0 |        0
2.48/2.53	c  2.5s |      12 |    26963 |    25819 |      284    206 |        0 |        0
3.59/3.66	c  3.6s |      13 |    40473 |    38832 |      313    286 |        0 |        0
5.29/5.37	c  5.4s |      14 |    60749 |    58352 |      345    398 |        0 |        0
7.29/7.37	c  7.4s |      14 |    84444 |    81152 |      345    518 |        0 |        0
7.90/7.93	c  7.9s |      15 |    91055 |    87632 |      380    552 |        0 |        0
9.89/9.94	c  9.9s |      15 |   114047 |   110032 |      380    660 |        0 |        0
11.79/11.88	c 11.9s |      16 |   136415 |   131552 |      419    763 |        0 |        0
13.79/13.88	c 13.9s |      16 |   159226 |   153452 |      419    859 |        0 |        0
15.79/15.88	c 15.9s |      16 |   181850 |   175152 |      419    955 |        0 |        0
17.79/17.89	c 17.9s |      16 |   204459 |   196852 |      461   1050 |        0 |        0
17.89/17.94	c 17.9s |      17 |   205050 |   197432 |      461   1053 |        0 |        0
19.89/19.94	c 19.9s |      17 |   227657 |   219132 |      461   1140 |        0 |        0
21.88/21.95	c 21.9s |      17 |   250298 |   240832 |      461   1228 |        0 |        0
23.89/23.95	c 23.9s |      17 |   272925 |   262532 |      461   1315 |        0 |        0
25.89/25.96	c 25.9s |      17 |   295776 |   284032 |      461   1402 |        0 |        0
26.99/27.10	c 27.1s |      18 |   308487 |   296252 |      508   1451 |        0 |        0
29.09/29.10	c 29.1s |      18 |   331456 |   317652 |      508   1530 |        0 |        0
31.09/31.11	c 31.1s |      18 |   353760 |   338852 |      508   1608 |        0 |        0
33.09/33.12	c 33.1s |      18 |   376150 |   360252 |      508   1687 |        0 |        0
35.09/35.12	c 35.1s |      18 |   398433 |   381752 |      508   1766 |        0 |        0
37.09/37.12	c 37.1s |      18 |   420877 |   403352 |      508   1846 |        0 |        0
39.09/39.13	c 39.1s |      18 |   443874 |   425152 |      508   1927 |        0 |        0
40.89/40.94	c 40.9s |      19 |   464179 |   444482 |      559   1997 |        0 |        0
42.89/42.95	c 42.9s |      19 |   486660 |   465782 |      559   2068 |        0 |        0
44.88/44.96	c 44.9s |      19 |   508677 |   486882 |      559   2139 |        0 |        0
46.88/46.96	c 46.9s |      19 |   530814 |   508082 |      559   2211 |        0 |        0
48.88/48.97	c 49.0s |      19 |   553027 |   529382 |      559   2283 |        0 |        0
50.88/50.98	c 51.0s |      19 |   575083 |   550382 |      559   2354 |        0 |        0
52.89/52.98	c 53.0s |      19 |   597580 |   571382 |      559   2425 |        0 |        0
54.88/54.99	c 55.0s |      19 |   619634 |   592582 |      559   2497 |        0 |        0
56.88/56.99	c 57.0s |      19 |   641815 |   613882 |      559   2569 |        0 |        0
58.98/59.00	c 59.0s |      19 |   663863 |   635182 |      559   2641 |        0 |        0
60.98/61.00	c 61.0s |      19 |   686210 |   656582 |      559   2714 |        0 |        0
61.88/61.99	c 62.0s |      20 |   696918 |   666827 |      615   2747 |        0 |        0
63.88/63.99	c 64.0s |      20 |   719094 |   687527 |      615   2810 |        0 |        0
65.88/65.99	c 66.0s |      20 |   740920 |   708227 |      615   2874 |        0 |        0
67.98/68.00	c 68.0s |      20 |   763043 |   728827 |      615   2938 |        0 |        0
69.98/70.00	c 70.0s |      20 |   784803 |   749427 |      615   3001 |        0 |        0
71.98/72.01	c 72.0s |      20 |   806480 |   769827 |      615   3064 |        0 |        0
73.98/74.02	c 74.0s |      20 |   828116 |   790227 |      615   3127 |        0 |        0
75.99/76.02	c 76.0s |      20 |   850100 |   810727 |      615   3190 |        0 |        0
77.98/78.02	c 78.0s |      20 |   871539 |   831027 |      615   3253 |        0 |        0
79.98/80.03	c 80.0s |      20 |   893501 |   851527 |      615   3317 |        0 |        0
81.98/82.03	c 82.0s |      20 |   915302 |   871727 |      615   3379 |        0 |        0
83.98/84.04	c 84.0s |      20 |   937169 |   892127 |      615   3442 |        0 |        0
85.99/86.04	c 86.0s |      20 |   959195 |   912627 |      615   3505 |        0 |        0
87.98/88.04	c 88.0s |      20 |   981112 |   933127 |      615   3569 |        0 |        0
89.98/90.05	c 90.0s |      20 |  1002972 |   953627 |      615   3632 |        0 |        0
91.98/92.06	c 92.0s |      20 |  1024950 |   973927 |      615   3694 |        0 |        0
93.97/94.06	c 94.0s |      20 |  1046375 |   994127 |      677   3757 |        0 |        0
94.57/94.67	c 94.7s |      21 |  1053004 |  1000345 |      677   3774 |        0 |        0
96.57/96.68	c 96.7s |      21 |  1074486 |  1020645 |      677   3831 |        0 |        0
98.57/98.68	c 98.7s |      21 |  1095951 |  1040745 |      677   3888 |        0 |        0
100.57/100.69	c  100s |      21 |  1117291 |  1060845 |      677   3944 |        0 |        0
102.57/102.70	c  102s |      21 |  1138891 |  1081045 |      677   4001 |        0 |        0
104.68/104.71	c  104s |      21 |  1160566 |  1101245 |      677   4059 |        0 |        0
106.67/106.71	c  106s |      21 |  1181633 |  1121045 |      677   4114 |        0 |        0
108.67/108.72	c  108s |      21 |  1202831 |  1141045 |      677   4171 |        0 |        0
110.67/110.72	c  110s |      21 |  1224624 |  1161245 |      677   4228 |        0 |        0
112.68/112.72	c  112s |      21 |  1245982 |  1181345 |      677   4284 |        0 |        0
114.68/114.72	c  114s |      21 |  1267322 |  1201445 |      677   4341 |        0 |        0
116.68/116.73	c  116s |      21 |  1289574 |  1221645 |      677   4398 |        0 |        0
118.68/118.74	c  118s |      21 |  1311091 |  1241945 |      677   4455 |        0 |        0
120.67/120.74	c  120s |      21 |  1332555 |  1262145 |      677   4512 |        0 |        0
122.67/122.75	c  122s |      21 |  1353511 |  1282245 |      677   4569 |        0 |        0
124.67/124.75	c  124s |      21 |  1374951 |  1302745 |      677   4626 |        0 |        0
126.68/126.75	c  126s |      21 |  1396413 |  1323145 |      677   4684 |        0 |        0
128.67/128.76	c  128s |      21 |  1417873 |  1343345 |      677   4741 |        0 |        0
130.67/130.76	c  130s |      21 |  1439344 |  1363445 |      677   4797 |        0 |        0
132.67/132.76	c  132s |      21 |  1460912 |  1383545 |      677   4854 |        0 |        0
134.67/134.77	c  134s |      21 |  1482209 |  1403745 |      677   4911 |        0 |        0
136.67/136.77	c  136s |      21 |  1503655 |  1424245 |      677   4969 |        0 |        0
138.67/138.78	c  138s |      21 |  1525315 |  1444645 |      677   5026 |        0 |        0
140.67/140.79	c  140s |      21 |  1547490 |  1465345 |      677   5085 |        0 |        0
142.77/142.80	c  142s |      21 |  1569209 |  1485845 |      677   5142 |        0 |        0
144.17/144.26	c  144s |      22 |  1584893 |  1500622 |      745   5181 |        0 |        0
146.16/146.27	c  146s |      22 |  1606436 |  1520422 |      745   5232 |        0 |        0
148.16/148.28	c  148s |      22 |  1627623 |  1540022 |      745   5282 |        0 |        0
150.16/150.28	c  150s |      22 |  1648615 |  1559622 |      745   5333 |        0 |        0
152.16/152.29	c  152s |      22 |  1670455 |  1579322 |      745   5383 |        0 |        0
154.26/154.30	c  154s |      22 |  1691307 |  1598922 |      745   5434 |        0 |        0
156.28/156.31	c  156s |      22 |  1711762 |  1618422 |      745   5484 |        0 |        0
158.27/158.31	c  158s |      22 |  1732442 |  1637922 |      745   5534 |        0 |        0
160.27/160.32	c  160s |      22 |  1753322 |  1657622 |      745   5584 |        0 |        0
162.26/162.32	c  162s |      22 |  1774498 |  1677422 |      745   5635 |        0 |        0
164.26/164.32	c  164s |      22 |  1795478 |  1697122 |      745   5686 |        0 |        0
166.27/166.33	c  166s |      22 |  1816433 |  1716622 |      745   5736 |        0 |        0
168.26/168.33	c  168s |      22 |  1838072 |  1736622 |      745   5788 |        0 |        0
170.26/170.34	c  170s |      22 |  1860098 |  1756422 |      745   5839 |        0 |        0
172.26/172.34	c  172s |      22 |  1880564 |  1775922 |      745   5889 |        0 |        0
174.27/174.34	c  174s |      22 |  1901677 |  1795622 |      745   5939 |        0 |        0
176.27/176.35	c  176s |      22 |  1922639 |  1815322 |      745   5990 |        0 |        0
178.27/178.35	c  178s |      22 |  1944318 |  1835222 |      745   6041 |        0 |        0
180.26/180.35	c  180s |      22 |  1966070 |  1855022 |      745   6092 |        0 |        0
182.26/182.36	c  182s |      22 |  1988156 |  1874922 |      745   6144 |        0 |        0
184.26/184.36	c  184s |      22 |  2010053 |  1894622 |      745   6195 |        0 |        0
186.26/186.37	c  186s |      22 |  2031077 |  1914422 |      745   6246 |        0 |        0
188.27/188.38	c  188s |      22 |  2052268 |  1934322 |      745   6297 |        0 |        0
190.26/190.38	c  190s |      22 |  2073234 |  1954022 |      745   6347 |        0 |        0
192.26/192.39	c  192s |      22 |  2094253 |  1973622 |      745   6398 |        0 |        0
194.26/194.39	c  194s |      22 |  2115656 |  1993422 |      745   6449 |        0 |        0
196.26/196.39	c  196s |      22 |  2136699 |  2013222 |      745   6500 |        0 |        0
198.36/198.40	c  198s |      22 |  2157729 |  2033222 |      745   6552 |        0 |        0
200.26/200.40	c  200s |      22 |  2178647 |  2053122 |      745   6603 |        0 |        0
202.36/202.41	c  202s |      22 |  2200118 |  2073222 |      745   6655 |        0 |        0
204.35/204.41	c  204s |      22 |  2222000 |  2093122 |      745   6706 |        0 |        0
206.35/206.42	c  206s |      22 |  2244358 |  2113122 |      745   6758 |        0 |        0
208.35/208.42	c  208s |      22 |  2266617 |  2133122 |      745   6810 |        0 |        0
210.35/210.43	c  210s |      22 |  2289047 |  2153122 |      745   6861 |        0 |        0
212.37/212.44	c  212s |      22 |  2309756 |  2172722 |      745   6912 |        0 |        0
214.36/214.45	c  214s |      22 |  2330631 |  2192422 |      745   6962 |        0 |        0
216.36/216.45	c  216s |      22 |  2351593 |  2212222 |      745   7013 |        0 |        0
218.36/218.45	c  218s |      22 |  2372742 |  2232222 |      745   7065 |        0 |        0
220.26/220.37	c  220s |      23 |  2392527 |  2251038 |      820   7110 |        0 |        0
222.26/222.37	c  222s |      23 |  2413422 |  2270438 |      820   7155 |        0 |        0
224.26/224.38	c  224s |      23 |  2433363 |  2289538 |      820   7200 |        0 |        0
226.26/226.38	c  226s |      23 |  2453564 |  2308838 |      820   7245 |        0 |        0
228.25/228.38	c  228s |      23 |  2473927 |  2328138 |      820   7290 |        0 |        0
230.25/230.38	c  230s |      23 |  2494421 |  2347538 |      820   7336 |        0 |        0
232.26/232.39	c  232s |      23 |  2514903 |  2366838 |      820   7381 |        0 |        0
234.25/234.39	c  234s |      23 |  2535425 |  2386238 |      820   7427 |        0 |        0
236.25/236.40	c  236s |      23 |  2555634 |  2405338 |      820   7471 |        0 |        0
238.35/238.40	c  238s |      23 |  2576043 |  2424538 |      820   7516 |        0 |        0
240.35/240.41	c  240s |      23 |  2596312 |  2443838 |      820   7562 |        0 |        0
242.35/242.42	c  242s |      23 |  2616936 |  2463238 |      820   7607 |        0 |        0
244.35/244.43	c  244s |      23 |  2637253 |  2482638 |      820   7653 |        0 |        0
246.35/246.43	c  246s |      23 |  2657806 |  2502038 |      820   7698 |        0 |        0
248.36/248.44	c  248s |      23 |  2677856 |  2521238 |      820   7743 |        0 |        0
250.36/250.45	c  250s |      23 |  2698015 |  2540438 |      820   7788 |        0 |        0
252.36/252.45	c  252s |      23 |  2718541 |  2559838 |      820   7834 |        0 |        0
254.36/254.46	c  254s |      23 |  2739151 |  2579338 |      820   7880 |        0 |        0
256.36/256.47	c  256s |      23 |  2760127 |  2598638 |      820   7925 |        0 |        0
258.35/258.48	c  258s |      23 |  2781021 |  2618338 |      820   7971 |        0 |        0
260.35/260.49	c  260s |      23 |  2801280 |  2637638 |      820   8016 |        0 |        0
262.45/262.50	c  262s |      23 |  2821736 |  2657038 |      820   8062 |        0 |        0
264.45/264.50	c  264s |      23 |  2841968 |  2676338 |      820   8107 |        0 |        0
266.45/266.51	c  266s |      23 |  2862741 |  2695738 |      820   8153 |        0 |        0
268.46/268.51	c  268s |      23 |  2883273 |  2715338 |      820   8199 |        0 |        0
270.45/270.52	c  270s |      23 |  2903443 |  2734738 |      820   8244 |        0 |        0
272.45/272.53	c  272s |      23 |  2923951 |  2754238 |      820   8290 |        0 |        0
274.45/274.54	c  274s |      23 |  2944636 |  2773738 |      820   8336 |        0 |        0
276.45/276.54	c  276s |      23 |  2965520 |  2793438 |      820   8383 |        0 |        0
278.45/278.54	c  278s |      23 |  2986364 |  2813038 |      820   8429 |        0 |        0
280.44/280.55	c  280s |      23 |  3006867 |  2832638 |      820   8475 |        0 |        0
282.44/282.55	c  282s |      23 |  3027649 |  2852238 |      820   8521 |        0 |        0
284.44/284.56	c  284s |      23 |  3048240 |  2871938 |      820   8567 |        0 |        0
286.45/286.56	c  286s |      23 |  3068354 |  2890838 |      820   8611 |        0 |        0
288.45/288.57	c  288s |      23 |  3088971 |  2909738 |      820   8656 |        0 |        0
290.46/290.58	c  290s |      23 |  3109856 |  2928838 |      820   8700 |        0 |        0
292.45/292.58	c  292s |      23 |  3131047 |  2948038 |      820   8745 |        0 |        0
294.45/294.59	c  294s |      23 |  3151496 |  2967238 |      820   8790 |        0 |        0
296.55/296.60	c  296s |      23 |  3171832 |  2986738 |      820   8836 |        0 |        0
298.54/298.60	c  298s |      23 |  3192125 |  3006038 |      820   8882 |        0 |        0
300.54/300.60	c  300s |      23 |  3212760 |  3025438 |      820   8927 |        0 |        0
302.55/302.60	c  302s |      23 |  3232954 |  3044438 |      820   8972 |        0 |        0
304.54/304.61	c  304s |      23 |  3253937 |  3064038 |      820   9018 |        0 |        0
306.54/306.62	c  306s |      23 |  3275123 |  3083238 |      820   9063 |        0 |        0
308.54/308.62	c  308s |      23 |  3296189 |  3102938 |      820   9110 |        0 |        0
310.54/310.62	c  310s |      23 |  3317234 |  3122638 |      820   9156 |        0 |        0
312.55/312.63	c  312s |      23 |  3337924 |  3141938 |      820   9201 |        0 |        0
314.54/314.63	c  314s |      23 |  3358230 |  3161238 |      820   9247 |        0 |        0
316.54/316.64	c  316s |      23 |  3378796 |  3180738 |      820   9293 |        0 |        0
318.54/318.64	c  318s |      23 |  3399550 |  3200438 |      820   9339 |        0 |        0
320.54/320.64	c  320s |      23 |  3420805 |  3220138 |      820   9386 |        0 |        0
322.54/322.64	c  322s |      23 |  3441475 |  3239838 |      820   9432 |        0 |        0
324.54/324.65	c  324s |      23 |  3462524 |  3259538 |      820   9479 |        0 |        0
326.54/326.65	c  326s |      23 |  3483651 |  3279338 |      820   9525 |        0 |        0
328.54/328.66	c  328s |      23 |  3504291 |  3298638 |      820   9570 |        0 |        0
330.54/330.66	c  330s |      23 |  3525331 |  3318238 |      820   9616 |        0 |        0
332.54/332.67	c  332s |      23 |  3545754 |  3337838 |      820   9662 |        0 |        0
334.55/334.67	c  334s |      23 |  3566334 |  3357338 |      903   9707 |        0 |        0
336.54/336.65	c  336s |      24 |  3586710 |  3376662 |      903   9749 |        0 |        0
338.54/338.66	c  338s |      24 |  3607265 |  3395762 |      903   9790 |        0 |        0
340.54/340.66	c  340s |      24 |  3626871 |  3414262 |      903   9829 |        0 |        0
342.54/342.67	c  342s |      24 |  3646432 |  3432562 |      903   9868 |        0 |        0
344.53/344.67	c  344s |      24 |  3665940 |  3451062 |      903   9908 |        0 |        0
346.54/346.68	c  346s |      24 |  3686005 |  3469462 |      903   9947 |        0 |        0
348.53/348.68	c  348s |      24 |  3706439 |  3488362 |      903   9988 |        0 |        0
350.53/350.69	c  350s |      24 |  3726702 |  3507162 |      903  10028 |        0 |        0
352.53/352.69	c  352s |      24 |  3746515 |  3526162 |      903  10069 |        0 |        0
354.53/354.69	c  354s |      24 |  3766842 |  3544962 |      903  10109 |        0 |        0
356.54/356.69	c  356s |      24 |  3786779 |  3563662 |      903  10149 |        0 |        0
358.53/358.69	c  358s |      24 |  3806664 |  3582362 |      903  10189 |        0 |        0
360.63/360.70	c  360s |      24 |  3826570 |  3601262 |      903  10230 |        0 |        0
362.63/362.71	c  362s |      24 |  3846615 |  3620162 |      903  10270 |        0 |        0
364.63/364.72	c  364s |      24 |  3866362 |  3638862 |      903  10310 |        0 |        0
366.64/366.72	c  366s |      24 |  3886851 |  3657762 |      903  10351 |        0 |        0
368.64/368.72	c  368s |      24 |  3906592 |  3676362 |      903  10391 |        0 |        0
370.64/370.73	c  370s |      24 |  3926514 |  3694762 |      903  10430 |        0 |        0
372.64/372.73	c  372s |      24 |  3946263 |  3713462 |      903  10470 |        0 |        0
374.63/374.73	c  374s |      24 |  3966059 |  3732062 |      903  10510 |        0 |        0
376.63/376.74	c  376s |      24 |  3985672 |  3750762 |      903  10550 |        0 |        0
378.63/378.74	c  378s |      24 |  4005513 |  3769462 |      903  10590 |        0 |        0
380.64/380.74	c  380s |      24 |  4025317 |  3788162 |      903  10631 |        0 |        0
382.63/382.75	c  382s |      24 |  4045305 |  3806962 |      903  10671 |        0 |        0
384.63/384.75	c  384s |      24 |  4065159 |  3825662 |      903  10711 |        0 |        0
386.63/386.75	c  386s |      24 |  4085160 |  3844262 |      903  10751 |        0 |        0
388.63/388.76	c  388s |      24 |  4105457 |  3862962 |      903  10791 |        0 |        0
390.64/390.77	c  390s |      24 |  4124907 |  3881562 |      903  10830 |        0 |        0
392.63/392.77	c  392s |      24 |  4144664 |  3900262 |      903  10871 |        0 |        0
394.63/394.77	c  394s |      24 |  4164931 |  3918762 |      903  10910 |        0 |        0
396.63/396.78	c  396s |      24 |  4184822 |  3937162 |      903  10949 |        0 |        0
398.63/398.78	c  398s |      24 |  4204702 |  3955862 |      903  10989 |        0 |        0
400.63/400.79	c  400s |      24 |  4224647 |  3974662 |      903  11029 |        0 |        0
402.64/402.80	c  402s |      24 |  4244787 |  3993662 |      903  11070 |        0 |        0
404.73/404.80	c  404s |      24 |  4265278 |  4012662 |      903  11111 |        0 |        0
406.73/406.80	c  406s |      24 |  4285368 |  4031262 |      903  11151 |        0 |        0
408.73/408.80	c  408s |      24 |  4305531 |  4050162 |      903  11191 |        0 |        0
410.73/410.81	c  410s |      24 |  4325762 |  4069262 |      903  11232 |        0 |        0
412.73/412.82	c  412s |      24 |  4345424 |  4087962 |      903  11272 |        0 |        0
414.73/414.82	c  414s |      24 |  4365518 |  4106962 |      903  11313 |        0 |        0
416.72/416.82	c  416s |      24 |  4385720 |  4125862 |      903  11353 |        0 |        0
418.72/418.83	c  418s |      24 |  4406082 |  4144762 |      903  11394 |        0 |        0
420.73/420.84	c  420s |      24 |  4426259 |  4163762 |      903  11434 |        0 |        0
422.73/422.84	c  422s |      24 |  4446280 |  4182862 |      903  11475 |        0 |        0
424.74/424.85	c  424s |      24 |  4466493 |  4202162 |      903  11516 |        0 |        0
426.73/426.86	c  426s |      24 |  4486950 |  4221162 |      903  11557 |        0 |        0
428.73/428.87	c  428s |      24 |  4507760 |  4240562 |      903  11599 |        0 |        0
430.73/430.88	c  430s |      24 |  4528945 |  4259762 |      903  11640 |        0 |        0
432.73/432.88	c  432s |      24 |  4549439 |  4278762 |      903  11681 |        0 |        0
434.72/434.88	c  434s |      24 |  4569713 |  4297862 |      903  11722 |        0 |        0
436.73/436.88	c  436s |      24 |  4590327 |  4316962 |      903  11762 |        0 |        0
438.72/438.89	c  438s |      24 |  4610450 |  4335662 |      903  11802 |        0 |        0
440.82/440.90	c  440s |      24 |  4630758 |  4354662 |      903  11843 |        0 |        0
442.82/442.91	c  442s |      24 |  4650593 |  4373662 |      903  11883 |        0 |        0
444.82/444.92	c  444s |      24 |  4670896 |  4392862 |      903  11924 |        0 |        0
446.81/446.92	c  446s |      24 |  4690989 |  4412062 |      903  11966 |        0 |        0
448.82/448.93	c  448s |      24 |  4711233 |  4431462 |      903  12007 |        0 |        0
450.82/450.94	c  450s |      24 |  4731563 |  4450862 |      903  12049 |        0 |        0
452.82/452.94	c  452s |      24 |  4751938 |  4470362 |      903  12091 |        0 |        0
454.82/454.95	c  454s |      24 |  4772319 |  4489662 |      903  12132 |        0 |        0
456.81/456.95	c  456s |      24 |  4792496 |  4508962 |      903  12173 |        0 |        0
458.82/458.96	c  458s |      24 |  4813094 |  4528462 |      903  12215 |        0 |        0
460.81/460.97	c  460s |      24 |  4833128 |  4547562 |      903  12256 |        0 |        0
462.81/462.97	c  462s |      24 |  4853255 |  4566762 |      903  12297 |        0 |        0
464.81/464.97	c  464s |      24 |  4873631 |  4586162 |      903  12338 |        0 |        0
466.81/466.98	c  466s |      24 |  4893992 |  4605662 |      903  12380 |        0 |        0
468.81/468.99	c  468s |      24 |  4915042 |  4625462 |      903  12423 |        0 |        0
470.81/470.99	c  470s |      24 |  4935392 |  4644862 |      903  12464 |        0 |        0
472.80/473.00	c  472s |      24 |  4955753 |  4664462 |      903  12507 |        0 |        0
474.90/475.00	c  474s |      24 |  4976497 |  4684162 |      903  12549 |        0 |        0
476.90/477.00	c  476s |      24 |  4997310 |  4703862 |      903  12592 |        0 |        0
478.90/479.01	c  478s |      24 |  5016678 |  4722262 |      903  12631 |        0 |        0
480.90/481.01	c  481s |      24 |  5036336 |  4740762 |      903  12670 |        0 |        0
482.90/483.02	c  483s |      24 |  5055929 |  4759162 |      903  12710 |        0 |        0
484.90/485.02	c  485s |      24 |  5075528 |  4777762 |      903  12749 |        0 |        0
486.90/487.03	c  487s |      24 |  5095416 |  4796162 |      903  12789 |        0 |        0
488.90/489.03	c  489s |      24 |  5115217 |  4814762 |      903  12828 |        0 |        0
490.90/491.05	c  491s |      24 |  5135370 |  4833562 |      903  12869 |        0 |        0
492.91/493.05	c  493s |      24 |  5155682 |  4851962 |      903  12908 |        0 |        0
494.90/495.06	c  495s |      24 |  5175751 |  4870562 |      903  12948 |        0 |        0
496.90/497.06	c  497s |      24 |  5195766 |  4889062 |      903  12987 |        0 |        0
498.90/499.07	c  499s |      24 |  5215938 |  4907762 |      903  13027 |        0 |        0
500.90/501.08	c  501s |      24 |  5235865 |  4926162 |      903  13066 |        0 |        0
502.90/503.09	c  503s |      24 |  5256089 |  4944862 |      903  13106 |        0 |        0
504.91/505.10	c  505s |      24 |  5276297 |  4963762 |      903  13147 |        0 |        0
507.00/507.10	c  507s |      24 |  5296943 |  4982862 |      903  13188 |        0 |        0
508.99/509.11	c  509s |      24 |  5317590 |  5002062 |      903  13229 |        0 |        0
510.99/511.11	c  511s |      24 |  5337576 |  5020862 |      903  13269 |        0 |        0
512.99/513.11	c  513s |      24 |  5357180 |  5039462 |      994  13307 |        0 |        0
514.99/515.12	c  515s |      24 |  5377072 |  5058162 |      994  13344 |        0 |        0
515.69/515.86	c  515s |      25 |  5384434 |  5065098 |      994  13357 |        0 |        0
517.69/517.86	c  517s |      25 |  5403335 |  5083098 |      994  13392 |        0 |        0
519.69/519.86	c  519s |      25 |  5422525 |  5101298 |      994  13428 |        0 |        0
521.69/521.88	c  521s |      25 |  5441483 |  5119198 |      994  13463 |        0 |        0
523.69/523.89	c  523s |      25 |  5460511 |  5136998 |      994  13497 |        0 |        0
525.68/525.90	c  525s |      25 |  5479815 |  5154898 |      994  13532 |        0 |        0
527.78/527.90	c  527s |      25 |  5498882 |  5172898 |      994  13567 |        0 |        0
529.78/529.91	c  529s |      25 |  5518474 |  5191398 |      994  13603 |        0 |        0
531.78/531.91	c  531s |      25 |  5538147 |  5209798 |      994  13639 |        0 |        0
533.78/533.92	c  533s |      25 |  5557673 |  5228098 |      994  13675 |        0 |        0
535.78/535.92	c  535s |      25 |  5577219 |  5246298 |      994  13710 |        0 |        0
537.77/537.92	c  537s |      25 |  5596712 |  5264698 |      994  13746 |        0 |        0
539.77/539.92	c  539s |      25 |  5615979 |  5282898 |      994  13782 |        0 |        0
541.77/541.93	c  541s |      25 |  5635488 |  5301298 |      994  13818 |        0 |        0
543.77/543.93	c  543s |      25 |  5654699 |  5319498 |      994  13853 |        0 |        0
545.77/545.94	c  545s |      25 |  5673958 |  5337598 |      994  13888 |        0 |        0
547.78/547.94	c  547s |      25 |  5692983 |  5355598 |      994  13924 |        0 |        0
549.77/549.94	c  549s |      25 |  5712142 |  5373598 |      994  13959 |        0 |        0
551.77/551.95	c  551s |      25 |  5731072 |  5391698 |      994  13994 |        0 |        0
553.77/553.96	c  553s |      25 |  5750708 |  5409898 |      994  14030 |        0 |        0
555.77/555.96	c  555s |      25 |  5769875 |  5427998 |      994  14065 |        0 |        0
557.78/557.97	c  557s |      25 |  5789165 |  5446298 |      994  14101 |        0 |        0
559.77/559.97	c  559s |      25 |  5808468 |  5464298 |      994  14136 |        0 |        0
561.77/561.98	c  561s |      25 |  5828285 |  5482698 |      994  14172 |        0 |        0
563.77/563.98	c  563s |      25 |  5847833 |  5501098 |      994  14208 |        0 |        0
565.77/565.99	c  565s |      25 |  5867548 |  5519498 |      994  14243 |        0 |        0
567.76/567.99	c  567s |      25 |  5886540 |  5537398 |      994  14278 |        0 |        0
569.77/570.00	c  569s |      25 |  5905726 |  5555598 |      994  14314 |        0 |        0
571.86/572.01	c  571s |      25 |  5924986 |  5573698 |      994  14349 |        0 |        0
573.86/574.02	c  574s |      25 |  5944286 |  5592098 |      994  14385 |        0 |        0
575.86/576.03	c  576s |      25 |  5963561 |  5610298 |      994  14420 |        0 |        0
577.85/578.04	c  578s |      25 |  5983349 |  5628798 |      994  14456 |        0 |        0
579.85/580.04	c  580s |      25 |  6003066 |  5647298 |      994  14492 |        0 |        0
581.86/582.05	c  582s |      25 |  6023234 |  5665998 |      994  14529 |        0 |        0
583.85/584.05	c  584s |      25 |  6043160 |  5684598 |      994  14565 |        0 |        0
585.85/586.06	c  586s |      25 |  6062697 |  5702998 |      994  14601 |        0 |        0
587.85/588.06	c  588s |      25 |  6082367 |  5721598 |      994  14638 |        0 |        0
589.85/590.07	c  590s |      25 |  6101564 |  5739898 |      994  14673 |        0 |        0
591.85/592.07	c  592s |      25 |  6120543 |  5757998 |      994  14709 |        0 |        0
593.85/594.08	c  594s |      25 |  6140003 |  5776198 |      994  14744 |        0 |        0
595.85/596.08	c  596s |      25 |  6159180 |  5794198 |      994  14779 |        0 |        0
597.85/598.09	c  598s |      25 |  6178633 |  5812498 |      994  14815 |        0 |        0
599.84/600.09	c  600s |      25 |  6198153 |  5830898 |      994  14851 |        0 |        0
601.94/602.10	c  602s |      25 |  6217575 |  5849398 |      994  14887 |        0 |        0
603.95/604.11	c  604s |      25 |  6237762 |  5868098 |      994  14923 |        0 |        0
605.94/606.11	c  606s |      25 |  6257971 |  5886698 |      994  14960 |        0 |        0
607.94/608.12	c  608s |      25 |  6278318 |  5905298 |      994  14996 |        0 |        0
609.94/610.13	c  610s |      25 |  6298302 |  5923798 |      994  15032 |        0 |        0
611.94/612.14	c  612s |      25 |  6318104 |  5942098 |      994  15068 |        0 |        0
613.94/614.14	c  614s |      25 |  6338154 |  5960798 |      994  15105 |        0 |        0
615.94/616.15	c  616s |      25 |  6358529 |  5979298 |      994  15141 |        0 |        0
617.93/618.16	c  618s |      25 |  6379520 |  5998198 |      994  15178 |        0 |        0
619.93/620.16	c  620s |      25 |  6399750 |  6016798 |      994  15214 |        0 |        0
621.93/622.17	c  622s |      25 |  6420262 |  6035598 |      994  15251 |        0 |        0
623.93/624.17	c  624s |      25 |  6441094 |  6054598 |      994  15288 |        0 |        0
625.94/626.18	c  626s |      25 |  6460429 |  6072998 |      994  15324 |        0 |        0
627.93/628.19	c  628s |      25 |  6479939 |  6091398 |      994  15360 |        0 |        0
629.93/630.19	c  630s |      25 |  6499410 |  6109898 |      994  15396 |        0 |        0
631.93/632.20	c  632s |      25 |  6518408 |  6128098 |      994  15431 |        0 |        0
634.03/634.20	c  634s |      25 |  6538329 |  6146798 |      994  15468 |        0 |        0
636.03/636.21	c  636s |      25 |  6557957 |  6165398 |      994  15504 |        0 |        0
638.03/638.21	c  638s |      25 |  6577477 |  6184098 |      994  15541 |        0 |        0
640.03/640.22	c  640s |      25 |  6597601 |  6202998 |      994  15578 |        0 |        0
642.03/642.23	c  642s |      25 |  6617580 |  6221498 |      994  15614 |        0 |        0
644.03/644.23	c  644s |      25 |  6636822 |  6239898 |      994  15650 |        0 |        0
646.02/646.23	c  646s |      25 |  6656540 |  6258498 |      994  15686 |        0 |        0
648.02/648.24	c  648s |      25 |  6676635 |  6277198 |      994  15723 |        0 |        0
650.03/650.25	c  650s |      25 |  6697082 |  6296098 |      994  15760 |        0 |        0
652.02/652.26	c  652s |      25 |  6717932 |  6314998 |      994  15797 |        0 |        0
654.02/654.26	c  654s |      25 |  6738376 |  6333798 |      994  15833 |        0 |        0
656.02/656.27	c  656s |      25 |  6757851 |  6352098 |      994  15869 |        0 |        0
658.02/658.27	c  658s |      25 |  6777537 |  6370498 |      994  15905 |        0 |        0
660.02/660.28	c  660s |      25 |  6797412 |  6388998 |      994  15941 |        0 |        0
662.01/662.28	c  662s |      25 |  6818466 |  6407998 |      994  15978 |        0 |        0
664.01/664.28	c  664s |      25 |  6839907 |  6426998 |      994  16016 |        0 |        0
666.01/666.29	c  666s |      25 |  6861951 |  6446198 |      994  16053 |        0 |        0
668.01/668.29	c  668s |      25 |  6881955 |  6464898 |      994  16090 |        0 |        0
670.11/670.31	c  670s |      25 |  6900885 |  6482798 |      994  16125 |        0 |        0
672.11/672.31	c  672s |      25 |  6920029 |  6500998 |      994  16160 |        0 |        0
674.10/674.32	c  674s |      25 |  6939270 |  6519198 |      994  16196 |        0 |        0
676.10/676.33	c  676s |      25 |  6958475 |  6537298 |      994  16231 |        0 |        0
678.10/678.34	c  678s |      25 |  6977900 |  6555498 |      994  16266 |        0 |        0
680.10/680.35	c  680s |      25 |  6997488 |  6573598 |      994  16302 |        0 |        0
682.10/682.36	c  682s |      25 |  7016987 |  6591698 |      994  16337 |        0 |        0
684.11/684.36	c  684s |      25 |  7036548 |  6610098 |      994  16373 |        0 |        0
686.10/686.36	c  686s |      25 |  7056361 |  6628298 |      994  16408 |        0 |        0
688.10/688.37	c  688s |      25 |  7076105 |  6646998 |      994  16445 |        0 |        0
690.10/690.38	c  690s |      25 |  7096224 |  6665798 |      994  16482 |        0 |        0
692.10/692.39	c  692s |      25 |  7115894 |  6684398 |      994  16518 |        0 |        0
694.11/694.39	c  694s |      25 |  7135895 |  6703498 |      994  16555 |        0 |        0
696.09/696.40	c  696s |      25 |  7155375 |  6722098 |      994  16592 |        0 |        0
698.19/698.40	c  698s |      25 |  7174934 |  6740698 |      994  16628 |        0 |        0
700.19/700.41	c  700s |      25 |  7194675 |  6759398 |      994  16665 |        0 |        0
702.19/702.41	c  702s |      25 |  7214592 |  6777898 |      994  16701 |        0 |        0
704.19/704.41	c  704s |      25 |  7234430 |  6796498 |      994  16737 |        0 |        0
706.19/706.42	c  706s |      25 |  7253509 |  6814498 |      994  16772 |        0 |        0
708.18/708.42	c  708s |      25 |  7273072 |  6832998 |      994  16808 |        0 |        0
710.18/710.43	c  710s |      25 |  7292753 |  6851498 |      994  16845 |        0 |        0
712.18/712.43	c  712s |      25 |  7312814 |  6870198 |      994  16881 |        0 |        0
714.18/714.44	c  714s |      25 |  7333061 |  6888498 |      994  16917 |        0 |        0
716.17/716.44	c  716s |      25 |  7353352 |  6907098 |      994  16953 |        0 |        0
718.19/718.45	c  718s |      25 |  7373188 |  6925598 |      994  16989 |        0 |        0
720.18/720.45	c  720s |      25 |  7393364 |  6944298 |      994  17026 |        0 |        0
722.18/722.46	c  722s |      25 |  7412735 |  6962798 |      994  17062 |        0 |        0
724.18/724.46	c  724s |      25 |  7432749 |  6981698 |      994  17099 |        0 |        0
726.18/726.46	c  726s |      25 |  7452136 |  7000198 |      994  17135 |        0 |        0
728.18/728.47	c  728s |      25 |  7471290 |  7017898 |      994  17170 |        0 |        0
730.17/730.47	c  730s |      25 |  7490116 |  7035698 |      994  17204 |        0 |        0
732.17/732.48	c  732s |      25 |  7509355 |  7053798 |      994  17240 |        0 |        0
734.17/734.48	c  734s |      25 |  7528710 |  7071898 |      994  17275 |        0 |        0
736.18/736.49	c  736s |      25 |  7548066 |  7089998 |      994  17310 |        0 |        0
738.27/738.50	c  738s |      25 |  7567441 |  7108098 |      994  17346 |        0 |        0
740.18/740.50	c  740s |      25 |  7587344 |  7126498 |      994  17381 |        0 |        0
742.27/742.51	c  742s |      25 |  7607122 |  7144798 |      994  17417 |        0 |        0
744.27/744.52	c  744s |      25 |  7626072 |  7162798 |      994  17452 |        0 |        0
746.27/746.53	c  746s |      25 |  7645133 |  7180698 |      994  17487 |        0 |        0
748.27/748.53	c  748s |      25 |  7663670 |  7198198 |      994  17521 |        0 |        0
750.27/750.54	c  750s |      25 |  7683054 |  7216598 |      994  17557 |        0 |        0
752.27/752.54	c  752s |      25 |  7702981 |  7235198 |      994  17593 |        0 |        0
754.26/754.54	c  754s |      25 |  7723038 |  7253998 |      994  17630 |        0 |        0
756.26/756.55	c  756s |      25 |  7742772 |  7272598 |      994  17667 |        0 |        0
758.26/758.56	c  758s |      25 |  7762344 |  7291198 |      994  17703 |        0 |        0
760.26/760.56	c  760s |      25 |  7781878 |  7309698 |      994  17739 |        0 |        0
762.26/762.57	c  762s |      25 |  7801508 |  7328398 |      994  17776 |        0 |        0
764.26/764.57	c  764s |      25 |  7820976 |  7346898 |      994  17812 |        0 |        0
766.25/766.58	c  766s |      25 |  7841382 |  7365398 |      994  17848 |        0 |        0
768.25/768.58	c  768s |      25 |  7862129 |  7383998 |      994  17884 |        0 |        0
770.25/770.59	c  770s |      25 |  7882724 |  7402798 |      994  17921 |        0 |        0
772.35/772.60	c  772s |      25 |  7902933 |  7421798 |      994  17958 |        0 |        0
774.36/774.61	c  774s |      25 |  7923043 |  7440698 |      994  17995 |        0 |        0
776.35/776.61	c  776s |      25 |  7943230 |  7459398 |      994  18032 |        0 |        0
778.35/778.62	c  778s |      25 |  7964161 |  7478398 |      994  18069 |        0 |        0
780.35/780.63	c  780s |      25 |  7984140 |  7496898 |      994  18106 |        0 |        0
782.35/782.63	c  782s |      25 |  8003739 |  7515298 |      994  18141 |        0 |        0
784.35/784.63	c  784s |      25 |  8023202 |  7533698 |      994  18177 |        0 |        0
786.34/786.65	c  786s |      25 |  8042864 |  7552098 |     1094  18212 |        0 |        0
788.34/788.66	c  788s |      25 |  8062423 |  7570598 |     1094  18245 |        0 |        0
790.34/790.67	c  790s |      25 |  8082159 |  7589198 |     1094  18278 |        0 |        0
791.34/791.62	c  791s |      26 |  8091347 |  7597752 |     1094  18293 |        0 |        0
793.34/793.63	c  793s |      26 |  8109779 |  7615252 |     1094  18324 |        0 |        0
795.34/795.63	c  795s |      26 |  8127680 |  7632352 |     1094  18354 |        0 |        0
797.35/797.64	c  797s |      26 |  8146212 |  7649552 |     1094  18385 |        0 |        0
799.34/799.64	c  799s |      26 |  8164469 |  7666852 |     1094  18416 |        0 |        0
801.34/801.65	c  801s |      26 |  8183026 |  7684152 |     1094  18446 |        0 |        0
803.34/803.66	c  803s |      26 |  8201455 |  7701552 |     1094  18477 |        0 |        0
805.34/805.66	c  805s |      26 |  8220038 |  7718852 |     1094  18508 |        0 |        0
807.34/807.67	c  807s |      26 |  8238439 |  7736252 |     1094  18539 |        0 |        0
809.33/809.68	c  809s |      26 |  8257082 |  7753952 |     1094  18570 |        0 |        0
811.33/811.69	c  811s |      26 |  8275536 |  7771652 |     1094  18602 |        0 |        0
813.33/813.70	c  813s |      26 |  8294173 |  7789552 |     1094  18634 |        0 |        0
815.43/815.70	c  815s |      26 |  8312825 |  7807352 |     1094  18665 |        0 |        0
817.43/817.70	c  817s |      26 |  8331721 |  7825052 |     1094  18697 |        0 |        0
819.43/819.70	c  819s |      26 |  8350300 |  7842752 |     1094  18728 |        0 |        0
821.43/821.72	c  821s |      26 |  8369118 |  7860452 |     1094  18760 |        0 |        0
823.42/823.72	c  823s |      26 |  8388227 |  7878552 |     1094  18792 |        0 |        0
825.42/825.73	c  825s |      26 |  8407499 |  7896652 |     1094  18824 |        0 |        0
827.43/827.74	c  827s |      26 |  8426399 |  7914552 |     1094  18856 |        0 |        0
829.43/829.74	c  829s |      26 |  8444767 |  7932052 |     1094  18887 |        0 |        0
831.43/831.75	c  831s |      26 |  8463904 |  7949752 |     1094  18919 |        0 |        0
833.43/833.75	c  833s |      26 |  8482746 |  7967652 |     1094  18951 |        0 |        0
835.42/835.76	c  835s |      26 |  8501316 |  7985452 |     1094  18982 |        0 |        0
837.42/837.76	c  837s |      26 |  8520104 |  8003052 |     1094  19014 |        0 |        0
839.42/839.76	c  839s |      26 |  8538841 |  8020752 |     1094  19045 |        0 |        0
841.43/841.77	c  841s |      26 |  8557830 |  8038552 |     1094  19077 |        0 |        0
843.42/843.77	c  843s |      26 |  8576720 |  8056552 |     1094  19109 |        0 |        0
845.42/845.78	c  845s |      26 |  8596253 |  8074252 |     1094  19141 |        0 |        0
847.41/847.79	c  847s |      26 |  8615941 |  8092252 |     1094  19173 |        0 |        0
849.41/849.79	c  849s |      26 |  8634420 |  8109552 |     1094  19203 |        0 |        0
851.51/851.80	c  851s |      26 |  8652665 |  8126752 |     1094  19234 |        0 |        0
853.52/853.81	c  853s |      26 |  8671190 |  8144152 |     1094  19265 |        0 |        0
855.51/855.81	c  855s |      26 |  8689606 |  8161552 |     1094  19296 |        0 |        0
857.50/857.81	c  857s |      26 |  8708081 |  8178752 |     1094  19326 |        0 |        0
859.50/859.82	c  859s |      26 |  8726601 |  8196152 |     1094  19357 |        0 |        0
861.50/861.82	c  861s |      26 |  8744995 |  8213852 |     1094  19389 |        0 |        0
863.50/863.83	c  863s |      26 |  8763919 |  8231752 |     1094  19420 |        0 |        0
865.51/865.83	c  865s |      26 |  8782547 |  8249552 |     1094  19452 |        0 |        0
867.50/867.83	c  867s |      26 |  8801288 |  8267052 |     1094  19483 |        0 |        0
869.51/869.84	c  869s |      26 |  8820635 |  8284752 |     1094  19515 |        0 |        0
871.50/871.85	c  871s |      26 |  8839870 |  8302552 |     1094  19546 |        0 |        0
873.50/873.86	c  873s |      26 |  8858851 |  8320352 |     1094  19578 |        0 |        0
875.51/875.86	c  875s |      26 |  8877868 |  8338252 |     1094  19610 |        0 |        0
877.50/877.86	c  877s |      26 |  8896881 |  8355952 |     1094  19642 |        0 |        0
879.50/879.87	c  879s |      26 |  8916343 |  8373552 |     1094  19673 |        0 |        0
881.50/881.88	c  881s |      26 |  8935616 |  8391052 |     1094  19704 |        0 |        0
883.50/883.89	c  883s |      26 |  8954022 |  8408452 |     1094  19735 |        0 |        0
885.59/885.90	c  885s |      26 |  8973294 |  8426152 |     1094  19766 |        0 |        0
887.50/887.90	c  887s |      26 |  8992281 |  8444052 |     1094  19798 |        0 |        0
889.59/889.90	c  889s |      26 |  9010886 |  8461452 |     1094  19829 |        0 |        0
891.59/891.91	c  891s |      26 |  9029953 |  8479052 |     1094  19861 |        0 |        0
893.59/893.92	c  893s |      26 |  9048948 |  8496652 |     1094  19892 |        0 |        0
895.59/895.93	c  895s |      26 |  9068051 |  8514352 |     1094  19923 |        0 |        0
897.58/897.93	c  897s |      26 |  9087156 |  8532152 |     1094  19955 |        0 |        0
899.60/899.94	c  899s |      26 |  9106068 |  8549952 |     1094  19987 |        0 |        0
901.59/901.94	c  901s |      26 |  9125392 |  8567852 |     1094  20019 |        0 |        0
903.59/903.95	c  903s |      26 |  9144677 |  8585752 |     1094  20051 |        0 |        0
905.58/905.96	c  905s |      26 |  9164293 |  8603652 |     1094  20083 |        0 |        0
907.58/907.96	c  907s |      26 |  9184532 |  8621952 |     1094  20115 |        0 |        0
909.59/909.97	c  909s |      26 |  9203460 |  8639852 |     1094  20147 |        0 |        0
911.58/911.97	c  911s |      26 |  9223051 |  8657852 |     1094  20179 |        0 |        0
913.58/913.97	c  913s |      26 |  9242519 |  8675752 |     1094  20211 |        0 |        0
915.57/915.98	c  915s |      26 |  9262734 |  8693952 |     1094  20244 |        0 |        0
917.57/917.99	c  917s |      26 |  9280852 |  8711152 |     1094  20274 |        0 |        0
919.67/920.00	c  919s |      26 |  9298663 |  8728152 |     1094  20304 |        0 |        0
921.58/922.00	c  921s |      26 |  9316592 |  8745252 |     1094  20335 |        0 |        0
923.67/924.01	c  923s |      26 |  9334670 |  8762452 |     1094  20365 |        0 |        0
925.67/926.02	c  926s |      26 |  9352705 |  8779552 |     1094  20395 |        0 |        0
927.67/928.02	c  928s |      26 |  9370861 |  8796652 |     1094  20426 |        0 |        0
929.68/930.03	c  930s |      26 |  9388901 |  8813552 |     1094  20456 |        0 |        0
931.68/932.03	c  932s |      26 |  9407864 |  8830652 |     1094  20486 |        0 |        0
933.68/934.04	c  934s |      26 |  9426615 |  8847652 |     1094  20516 |        0 |        0
935.67/936.05	c  936s |      26 |  9444601 |  8864852 |     1094  20547 |        0 |        0
937.67/938.06	c  938s |      26 |  9463144 |  8882552 |     1094  20578 |        0 |        0
939.67/940.06	c  940s |      26 |  9481839 |  8900452 |     1094  20610 |        0 |        0
941.67/942.07	c  942s |      26 |  9500691 |  8918052 |     1094  20642 |        0 |        0
943.68/944.07	c  944s |      26 |  9519183 |  8935652 |     1094  20673 |        0 |        0
945.67/946.07	c  946s |      26 |  9537834 |  8953352 |     1094  20704 |        0 |        0
947.67/948.07	c  948s |      26 |  9556655 |  8971152 |     1094  20736 |        0 |        0
949.66/950.08	c  950s |      26 |  9575366 |  8988952 |     1094  20768 |        0 |        0
951.66/952.09	c  952s |      26 |  9594053 |  9006752 |     1094  20799 |        0 |        0
953.76/954.10	c  954s |      26 |  9612803 |  9024252 |     1094  20831 |        0 |        0
955.76/956.11	c  956s |      26 |  9631562 |  9042152 |     1094  20862 |        0 |        0
957.76/958.11	c  958s |      26 |  9650297 |  9059952 |     1094  20894 |        0 |        0
959.76/960.12	c  960s |      26 |  9669130 |  9077852 |     1094  20926 |        0 |        0
961.76/962.12	c  962s |      26 |  9688004 |  9095652 |     1094  20958 |        0 |        0
963.75/964.12	c  964s |      26 |  9707514 |  9113652 |     1094  20990 |        0 |        0
965.75/966.13	c  966s |      26 |  9726435 |  9131152 |     1094  21021 |        0 |        0
967.76/968.14	c  968s |      26 |  9744413 |  9148252 |     1094  21052 |        0 |        0
969.76/970.14	c  970s |      26 |  9763029 |  9165752 |     1094  21083 |        0 |        0
971.76/972.14	c  972s |      26 |  9781919 |  9183552 |     1094  21114 |        0 |        0
973.76/974.15	c  974s |      26 |  9800375 |  9200952 |     1094  21145 |        0 |        0
975.75/976.15	c  976s |      26 |  9819437 |  9218552 |     1094  21177 |        0 |        0
977.76/978.16	c  978s |      26 |  9837807 |  9235852 |     1094  21207 |        0 |        0
979.75/980.17	c  980s |      26 |  9856527 |  9253752 |     1094  21239 |        0 |        0
981.75/982.18	c  982s |      26 |  9875534 |  9271752 |     1094  21271 |        0 |        0
983.75/984.19	c  984s |      26 |  9894640 |  9289852 |     1094  21304 |        0 |        0
985.75/986.19	c  986s |      26 |  9914052 |  9308052 |     1094  21336 |        0 |        0
987.75/988.19	c  988s |      26 |  9933371 |  9326052 |     1094  21368 |        0 |        0
989.76/990.19	c  990s |      26 |  9951083 |  9342752 |     1094  21398 |        0 |        0
991.85/992.20	c  992s |      26 |  9968852 |  9359752 |     1094  21428 |        0 |        0
993.85/994.20	c  994s |      26 |  9987267 |  9377052 |     1094  21458 |        0 |        0
995.84/996.21	c  996s |      26 | 10005155 |  9394052 |     1094  21489 |        0 |        0
997.84/998.22	c  998s |      26 | 10023142 |  9411052 |     1094  21519 |        0 |        0
999.84/1000.23	c 1000s |      26 | 10041209 |  9428152 |     1094  21549 |        0 |        0
1001.85/1002.24	c 1002s |      26 | 10059235 |  9445452 |     1094  21580 |        0 |        0
1003.84/1004.25	c 1004s |      26 | 10077640 |  9462952 |     1094  21611 |        0 |        0
1005.84/1006.26	c 1006s |      26 | 10096032 |  9480252 |     1094  21642 |        0 |        0
1007.83/1008.26	c 1008s |      26 | 10114353 |  9497552 |     1094  21672 |        0 |        0
1009.83/1010.27	c 1010s |      26 | 10132674 |  9514852 |     1094  21703 |        0 |        0
1011.84/1012.27	c 1012s |      26 | 10150777 |  9531852 |     1094  21733 |        0 |        0
1013.83/1014.28	c 1014s |      26 | 10169027 |  9549152 |     1094  21764 |        0 |        0
1015.83/1016.29	c 1016s |      26 | 10187723 |  9566652 |     1094  21795 |        0 |        0
1017.83/1018.29	c 1018s |      26 | 10205798 |  9583752 |     1094  21826 |        0 |        0
1019.93/1020.30	c 1020s |      26 | 10224193 |  9601252 |     1094  21857 |        0 |        0
1021.93/1022.30	c 1022s |      26 | 10242376 |  9618652 |     1094  21888 |        0 |        0
1023.94/1024.31	c 1024s |      26 | 10260609 |  9636052 |     1094  21919 |        0 |        0
1025.93/1026.31	c 1026s |      26 | 10278657 |  9653252 |     1094  21949 |        0 |        0
1027.93/1028.32	c 1028s |      26 | 10296994 |  9670752 |     1094  21980 |        0 |        0
1029.93/1030.33	c 1030s |      26 | 10315737 |  9688552 |     1094  22012 |        0 |        0
1031.93/1032.33	c 1032s |      26 | 10334576 |  9706352 |     1094  22044 |        0 |        0
1033.93/1034.34	c 1034s |      26 | 10352564 |  9723352 |     1094  22074 |        0 |        0
1035.93/1036.35	c 1036s |      26 | 10370360 |  9740352 |     1094  22104 |        0 |        0
1037.92/1038.36	c 1038s |      26 | 10388820 |  9757952 |     1094  22136 |        0 |        0
1039.92/1040.37	c 1040s |      26 | 10407475 |  9775652 |     1094  22167 |        0 |        0
1041.92/1042.37	c 1042s |      26 | 10426474 |  9793752 |     1094  22199 |        0 |        0
1043.92/1044.38	c 1044s |      26 | 10445187 |  9811452 |     1094  22231 |        0 |        0
1045.93/1046.38	c 1046s |      26 | 10463844 |  9829252 |     1094  22263 |        0 |        0
1047.92/1048.39	c 1048s |      26 | 10481515 |  9846152 |     1094  22293 |        0 |        0
1049.92/1050.39	c 1050s |      26 | 10499373 |  9863352 |     1094  22323 |        0 |        0
1051.92/1052.39	c 1052s |      26 | 10517749 |  9880752 |     1094  22354 |        0 |        0
1054.02/1054.40	c 1054s |      26 | 10536317 |  9898452 |     1094  22386 |        0 |        0
1056.01/1056.40	c 1056s |      26 | 10555082 |  9916352 |     1094  22418 |        0 |        0
1058.02/1058.41	c 1058s |      26 | 10573968 |  9934252 |     1094  22450 |        0 |        0
1060.01/1060.42	c 1060s |      26 | 10592808 |  9952452 |     1094  22482 |        0 |        0
1062.01/1062.42	c 1062s |      26 | 10611882 |  9970352 |     1094  22514 |        0 |        0
1064.02/1064.44	c 1064s |      26 | 10631105 |  9988452 |     1094  22546 |        0 |        0
1066.01/1066.44	c 1066s |      26 | 10650978 | 10006752 |     1094  22579 |        0 |        0
1068.01/1068.44	c 1068s |      26 | 10669037 | 10023752 |     1094  22609 |        0 |        0
1070.02/1070.45	c 1070s |      26 | 10687373 | 10040652 |     1094  22639 |        0 |        0
1072.01/1072.46	c 1072s |      26 | 10705331 | 10057652 |     1094  22669 |        0 |        0
1074.01/1074.46	c 1074s |      26 | 10723701 | 10074752 |     1094  22700 |        0 |        0
1076.01/1076.47	c 1076s |      26 | 10741353 | 10091552 |     1094  22729 |        0 |        0
1078.01/1078.47	c 1078s |      26 | 10759651 | 10108552 |     1094  22760 |        0 |        0
1080.01/1080.48	c 1080s |      26 | 10778590 | 10125652 |     1094  22790 |        0 |        0
1082.00/1082.49	c 1082s |      26 | 10797339 | 10142952 |     1094  22821 |        0 |        0
1084.00/1084.50	c 1084s |      26 | 10815464 | 10160052 |     1094  22851 |        0 |        0
1086.10/1086.50	c 1086s |      26 | 10833730 | 10177352 |     1094  22882 |        0 |        0
1088.10/1088.50	c 1088s |      26 | 10851886 | 10194452 |     1094  22912 |        0 |        0
1090.10/1090.50	c 1090s |      26 | 10870468 | 10211752 |     1094  22943 |        0 |        0
1092.11/1092.51	c 1092s |      26 | 10888377 | 10228552 |     1094  22973 |        0 |        0
1094.10/1094.52	c 1094s |      26 | 10907376 | 10245852 |     1094  23003 |        0 |        0
1096.10/1096.52	c 1096s |      26 | 10925415 | 10262952 |     1094  23034 |        0 |        0
1098.10/1098.53	c 1098s |      26 | 10943827 | 10280352 |     1094  23065 |        0 |        0
1100.10/1100.53	c 1100s |      26 | 10962124 | 10297652 |     1094  23095 |        0 |        0
1102.10/1102.54	c 1102s |      26 | 10979988 | 10314752 |     1094  23126 |        0 |        0
1104.11/1104.54	c 1104s |      26 | 10998462 | 10332052 |     1094  23157 |        0 |        0
1106.10/1106.54	c 1106s |      26 | 11016833 | 10349452 |     1094  23188 |        0 |        0
1108.10/1108.55	c 1108s |      26 | 11035258 | 10366752 |     1094  23219 |        0 |        0
1110.10/1110.56	c 1110s |      26 | 11053000 | 10383452 |     1094  23248 |        0 |        0
1112.10/1112.57	c 1112s |      26 | 11071650 | 10400452 |     1094  23278 |        0 |        0
1114.10/1114.57	c 1114s |      26 | 11089448 | 10417252 |     1094  23308 |        0 |        0
1116.09/1116.59	c 1116s |      26 | 11107517 | 10434452 |     1094  23339 |        0 |        0
1118.09/1118.59	c 1118s |      26 | 11125867 | 10451652 |     1094  23369 |        0 |        0
1120.10/1120.59	c 1120s |      26 | 11144297 | 10468852 |     1094  23400 |        0 |        0
1122.20/1122.60	c 1122s |      26 | 11162659 | 10486252 |     1094  23431 |        0 |        0
1124.20/1124.61	c 1124s |      26 | 11180661 | 10503152 |     1094  23461 |        0 |        0
1126.21/1126.61	c 1126s |      26 | 11198699 | 10520252 |     1094  23491 |        0 |        0
1128.20/1128.61	c 1128s |      26 | 11216755 | 10537152 |     1094  23521 |        0 |        0
1130.20/1130.61	c 1130s |      26 | 11234794 | 10554052 |     1094  23551 |        0 |        0
1132.20/1132.62	c 1132s |      26 | 11253149 | 10571352 |     1094  23582 |        0 |        0
1134.20/1134.63	c 1134s |      26 | 11271394 | 10588652 |     1094  23613 |        0 |        0
1136.20/1136.64	c 1136s |      26 | 11289214 | 10605552 |     1094  23643 |        0 |        0
1138.21/1138.64	c 1138s |      26 | 11307518 | 10622852 |     1094  23674 |        0 |        0
1140.20/1140.65	c 1140s |      26 | 11326281 | 10640152 |     1094  23704 |        0 |        0
1142.20/1142.66	c 1142s |      26 | 11344420 | 10657252 |     1094  23735 |        0 |        0
1144.20/1144.66	c 1144s |      26 | 11363006 | 10674552 |     1094  23765 |        0 |        0
1146.19/1146.66	c 1146s |      26 | 11381406 | 10691952 |     1094  23797 |        0 |        0
1148.20/1148.67	c 1148s |      26 | 11400589 | 10709552 |     1094  23828 |        0 |        0
1150.19/1150.67	c 1150s |      26 | 11419058 | 10726952 |     1094  23859 |        0 |        0
1152.19/1152.68	c 1152s |      26 | 11438530 | 10744752 |     1094  23890 |        0 |        0
1154.19/1154.68	c 1154s |      26 | 11456776 | 10762052 |     1094  23921 |        0 |        0
1156.19/1156.68	c 1156s |      26 | 11474720 | 10779352 |     1094  23952 |        0 |        0
1158.19/1158.69	c 1158s |      26 | 11492935 | 10796752 |     1094  23983 |        0 |        0
1160.20/1160.69	c 1160s |      26 | 11511545 | 10814552 |     1094  24014 |        0 |        0
1162.19/1162.69	c 1162s |      26 | 11530156 | 10832452 |     1094  24046 |        0 |        0
1164.29/1164.70	c 1164s |      26 | 11549154 | 10850352 |     1094  24078 |        0 |        0
1166.29/1166.71	c 1166s |      26 | 11568225 | 10868452 |     1094  24110 |        0 |        0
1168.29/1168.71	c 1168s |      26 | 11586931 | 10886252 |     1094  24142 |        0 |        0
1170.29/1170.71	c 1170s |      26 | 11605983 | 10904352 |     1094  24174 |        0 |        0
1172.29/1172.72	c 1172s |      26 | 11625426 | 10922652 |     1094  24207 |        0 |        0
1174.29/1174.72	c 1174s |      26 | 11644263 | 10940452 |     1094  24239 |        0 |        0
1176.29/1176.72	c 1176s |      26 | 11663176 | 10958652 |     1094  24271 |        0 |        0
1178.29/1178.72	c 1178s |      26 | 11682435 | 10976852 |     1094  24304 |        0 |        0
1180.29/1180.73	c 1180s |      26 | 11701227 | 10994452 |     1094  24335 |        0 |        0
1182.29/1182.74	c 1182s |      26 | 11719553 | 11011952 |     1094  24366 |        0 |        0
1184.28/1184.75	c 1184s |      26 | 11737961 | 11029652 |     1094  24398 |        0 |        0
1186.28/1186.75	c 1186s |      26 | 11756571 | 11047452 |     1094  24429 |        0 |        0
1188.28/1188.76	c 1188s |      26 | 11775508 | 11065452 |     1094  24462 |        0 |        0
1190.28/1190.77	c 1190s |      26 | 11794805 | 11083752 |     1094  24494 |        0 |        0
1192.28/1192.78	c 1192s |      26 | 11813492 | 11101552 |     1094  24526 |        0 |        0
1194.30/1194.78	c 1194s |      26 | 11832420 | 11119652 |     1094  24558 |        0 |        0
1196.29/1196.79	c 1196s |      26 | 11851458 | 11137852 |     1094  24591 |        0 |        0
1198.39/1198.80	c 1198s |      26 | 11870992 | 11156252 |     1094  24623 |        0 |        0
1200.39/1200.81	c 1200s |      26 | 11890457 | 11174352 |     1094  24656 |        0 |        0
1202.39/1202.82	c 1202s |      26 | 11909624 | 11192552 |     1094  24688 |        0 |        0
1204.39/1204.82	c 1204s |      26 | 11929177 | 11210852 |     1094  24721 |        0 |        0
1206.39/1206.83	c 1206s |      26 | 11949037 | 11229152 |     1094  24753 |        0 |        0
1208.39/1208.84	c 1208s |      26 | 11968300 | 11247252 |     1094  24785 |        0 |        0
1210.39/1210.84	c 1210s |      26 | 11987820 | 11265552 |     1094  24818 |        0 |        0
1212.39/1212.85	c 1212s |      26 | 12007991 | 11284152 |     1094  24851 |        0 |        0
1214.39/1214.86	c 1214s |      26 | 12025978 | 11301252 |     1094  24882 |        0 |        0
1216.39/1216.86	c 1216s |      26 | 12043863 | 11317952 |     1204  24911 |        0 |        0
1218.38/1218.87	c 1218s |      26 | 12061144 | 11334452 |     1204  24937 |        0 |        0
1220.38/1220.88	c 1220s |      26 | 12078484 | 11350852 |     1204  24964 |        0 |        0
1222.38/1222.88	c 1222s |      26 | 12095927 | 11367452 |     1204  24991 |        0 |        0
1224.38/1224.89	c 1224s |      26 | 12113135 | 11383952 |     1204  25017 |        0 |        0
1225.98/1226.46	c 1226s |      27 | 12126629 | 11396733 |     1204  25038 |        0 |        0
1227.98/1228.47	c 1228s |      27 | 12143814 | 11413033 |     1204  25064 |        0 |        0
1229.98/1230.48	c 1230s |      27 | 12160633 | 11428933 |     1204  25090 |        0 |        0
1231.98/1232.49	c 1232s |      27 | 12177716 | 11444933 |     1204  25116 |        0 |        0
1233.99/1234.49	c 1234s |      27 | 12195063 | 11461233 |     1204  25142 |        0 |        0
1235.98/1236.49	c 1236s |      27 | 12212561 | 11477533 |     1204  25168 |        0 |        0
1238.08/1238.50	c 1238s |      27 | 12230080 | 11493733 |     1204  25195 |        0 |        0
1240.08/1240.50	c 1240s |      27 | 12247191 | 11509933 |     1204  25221 |        0 |        0
1242.08/1242.50	c 1242s |      27 | 12264504 | 11525933 |     1204  25247 |        0 |        0
1244.07/1244.51	c 1244s |      27 | 12281505 | 11541933 |     1204  25273 |        0 |        0
1246.09/1246.53	c 1246s |      27 | 12298884 | 11557933 |     1204  25299 |        0 |        0
1248.08/1248.53	c 1248s |      27 | 12316406 | 11573933 |     1204  25324 |        0 |        0
1250.08/1250.54	c 1250s |      27 | 12333921 | 11590133 |     1204  25351 |        0 |        0
1252.08/1252.54	c 1252s |      27 | 12351508 | 11606333 |     1204  25377 |        0 |        0
1254.08/1254.55	c 1254s |      27 | 12368883 | 11622633 |     1204  25403 |        0 |        0
1256.08/1256.56	c 1256s |      27 | 12386165 | 11638933 |     1204  25430 |        0 |        0
1258.09/1258.57	c 1258s |      27 | 12403955 | 11655333 |     1204  25456 |        0 |        0
1260.08/1260.58	c 1260s |      27 | 12422027 | 11671833 |     1204  25483 |        0 |        0
1262.08/1262.59	c 1262s |      27 | 12439616 | 11688433 |     1204  25510 |        0 |        0
1264.17/1264.60	c 1264s |      27 | 12457916 | 11705033 |     1204  25537 |        0 |        0
1266.17/1266.61	c 1266s |      27 | 12476076 | 11721533 |     1204  25563 |        0 |        0
1268.18/1268.62	c 1268s |      27 | 12493469 | 11737733 |     1204  25590 |        0 |        0
1270.19/1270.62	c 1270s |      27 | 12510930 | 11753933 |     1204  25616 |        0 |        0
1272.18/1272.63	c 1272s |      27 | 12527978 | 11769933 |     1204  25642 |        0 |        0
1274.18/1274.63	c 1274s |      27 | 12545295 | 11785933 |     1204  25667 |        0 |        0
1276.18/1276.64	c 1276s |      27 | 12562837 | 11802133 |     1204  25694 |        0 |        0
1278.18/1278.64	c 1278s |      27 | 12580034 | 11818533 |     1204  25720 |        0 |        0
1280.18/1280.65	c 1280s |      27 | 12597479 | 11834833 |     1204  25747 |        0 |        0
1282.18/1282.66	c 1282s |      27 | 12615312 | 11851533 |     1204  25774 |        0 |        0
1284.17/1284.67	c 1284s |      27 | 12632904 | 11868133 |     1204  25800 |        0 |        0
1286.17/1286.67	c 1286s |      27 | 12650767 | 11884733 |     1204  25827 |        0 |        0
1288.17/1288.68	c 1288s |      27 | 12668704 | 11901533 |     1204  25855 |        0 |        0
1290.17/1290.68	c 1290s |      27 | 12686200 | 11918033 |     1204  25881 |        0 |        0
1292.18/1292.69	c 1292s |      27 | 12703979 | 11934533 |     1204  25908 |        0 |        0
1294.17/1294.69	c 1294s |      27 | 12721355 | 11950933 |     1204  25935 |        0 |        0
1296.27/1296.70	c 1296s |      27 | 12739628 | 11967833 |     1204  25962 |        0 |        0
1298.27/1298.71	c 1298s |      27 | 12757824 | 11984733 |     1204  25990 |        0 |        0
1300.28/1300.71	c 1300s |      27 | 12776149 | 12001533 |     1204  26017 |        0 |        0
1302.28/1302.71	c 1302s |      27 | 12793252 | 12017633 |     1204  26043 |        0 |        0
1304.28/1304.72	c 1304s |      27 | 12810669 | 12033733 |     1204  26069 |        0 |        0
1306.27/1306.72	c 1306s |      27 | 12828014 | 12049933 |     1204  26095 |        0 |        0
1308.27/1308.73	c 1308s |      27 | 12845940 | 12066333 |     1204  26122 |        0 |        0
1310.27/1310.73	c 1310s |      27 | 12863134 | 12082633 |     1204  26148 |        0 |        0
1312.27/1312.73	c 1312s |      27 | 12880197 | 12099033 |     1204  26174 |        0 |        0
1314.28/1314.74	c 1314s |      27 | 12897642 | 12115633 |     1204  26201 |        0 |        0
1316.27/1316.75	c 1316s |      27 | 12914498 | 12131633 |     1204  26227 |        0 |        0
1318.27/1318.75	c 1318s |      27 | 12931461 | 12147533 |     1204  26253 |        0 |        0
1320.27/1320.76	c 1320s |      27 | 12948865 | 12163633 |     1204  26279 |        0 |        0
1322.27/1322.76	c 1322s |      27 | 12966090 | 12179833 |     1204  26305 |        0 |        0
1324.27/1324.77	c 1324s |      27 | 12983740 | 12196033 |     1204  26331 |        0 |        0
1326.28/1326.78	c 1326s |      27 | 13001748 | 12212333 |     1204  26358 |        0 |        0
1328.27/1328.78	c 1328s |      27 | 13019819 | 12228633 |     1204  26384 |        0 |        0
1330.26/1330.79	c 1330s |      27 | 13037409 | 12244633 |     1204  26410 |        0 |        0
1332.26/1332.79	c 1332s |      27 | 13055259 | 12261133 |     1204  26437 |        0 |        0
1334.36/1334.81	c 1334s |      27 | 13072965 | 12277633 |     1204  26464 |        0 |        0
1336.36/1336.81	c 1336s |      27 | 13090725 | 12293933 |     1204  26490 |        0 |        0
1338.37/1338.82	c 1338s |      27 | 13108019 | 12310333 |     1204  26517 |        0 |        0
1340.36/1340.83	c 1340s |      27 | 13125835 | 12327233 |     1204  26544 |        0 |        0
1342.36/1342.83	c 1342s |      27 | 13144721 | 12344233 |     1204  26571 |        0 |        0
1344.36/1344.84	c 1344s |      27 | 13162255 | 12360133 |     1204  26597 |        0 |        0
1346.36/1346.84	c 1346s |      27 | 13180189 | 12376433 |     1204  26623 |        0 |        0
1348.37/1348.85	c 1348s |      27 | 13197946 | 12392633 |     1204  26650 |        0 |        0
1350.36/1350.86	c 1350s |      27 | 13216776 | 12409133 |     1204  26676 |        0 |        0
1352.36/1352.86	c 1352s |      27 | 13234516 | 12425233 |     1204  26702 |        0 |        0
1354.36/1354.87	c 1354s |      27 | 13252997 | 12441433 |     1204  26729 |        0 |        0
1356.36/1356.88	c 1356s |      27 | 13270958 | 12457733 |     1204  26755 |        0 |        0
1358.37/1358.88	c 1358s |      27 | 13288407 | 12473733 |     1204  26781 |        0 |        0
1360.37/1360.89	c 1360s |      27 | 13306092 | 12489933 |     1204  26807 |        0 |        0
1362.36/1362.89	c 1362s |      27 | 13324403 | 12505933 |     1204  26833 |        0 |        0
1364.46/1364.90	c 1364s |      27 | 13341655 | 12522033 |     1204  26859 |        0 |        0
1366.46/1366.90	c 1366s |      27 | 13358679 | 12538133 |     1204  26885 |        0 |        0
1368.46/1368.91	c 1368s |      27 | 13375905 | 12554433 |     1204  26911 |        0 |        0
1370.46/1370.91	c 1370s |      27 | 13393220 | 12570833 |     1204  26938 |        0 |        0
1372.47/1372.91	c 1372s |      27 | 13410754 | 12587433 |     1204  26965 |        0 |        0
1374.46/1374.91	c 1374s |      27 | 13428434 | 12604033 |     1204  26992 |        0 |        0
1376.46/1376.92	c 1376s |      27 | 13446283 | 12620733 |     1204  27019 |        0 |        0
1378.46/1378.92	c 1378s |      27 | 13464794 | 12637333 |     1204  27046 |        0 |        0
1380.46/1380.92	c 1380s |      27 | 13482374 | 12653633 |     1204  27072 |        0 |        0
1382.47/1382.93	c 1382s |      27 | 13499913 | 12669833 |     1204  27099 |        0 |        0
1384.46/1384.94	c 1384s |      27 | 13517090 | 12686033 |     1204  27125 |        0 |        0
1386.46/1386.94	c 1386s |      27 | 13534661 | 12702533 |     1204  27152 |        0 |        0
1388.46/1388.95	c 1388s |      27 | 13551936 | 12718933 |     1204  27178 |        0 |        0
1390.46/1390.96	c 1390s |      27 | 13569137 | 12735133 |     1204  27204 |        0 |        0
1392.46/1392.97	c 1392s |      27 | 13586514 | 12751433 |     1204  27231 |        0 |        0
1394.46/1394.98	c 1394s |      27 | 13604666 | 12768133 |     1204  27258 |        0 |        0
1396.45/1396.98	c 1396s |      27 | 13622886 | 12784833 |     1204  27285 |        0 |        0
1398.45/1398.98	c 1398s |      27 | 13640806 | 12801233 |     1204  27311 |        0 |        0
1400.45/1400.99	c 1400s |      27 | 13659713 | 12817733 |     1204  27338 |        0 |        0
1402.55/1403.00	c 1402s |      27 | 13678658 | 12834633 |     1204  27365 |        0 |        0
1404.55/1405.00	c 1404s |      27 | 13696912 | 12851533 |     1204  27393 |        0 |        0
1406.56/1407.01	c 1406s |      27 | 13715401 | 12868633 |     1204  27421 |        0 |        0
1408.55/1409.02	c 1409s |      27 | 13734136 | 12885833 |     1204  27448 |        0 |        0
1410.55/1411.02	c 1411s |      27 | 13752168 | 12903033 |     1204  27476 |        0 |        0
1412.56/1413.03	c 1413s |      27 | 13770621 | 12919833 |     1204  27503 |        0 |        0
1414.56/1415.03	c 1415s |      27 | 13788105 | 12935933 |     1204  27529 |        0 |        0
1416.56/1417.04	c 1417s |      27 | 13805127 | 12951733 |     1204  27555 |        0 |        0
1418.56/1419.04	c 1419s |      27 | 13822525 | 12967933 |     1204  27581 |        0 |        0
1420.56/1421.04	c 1421s |      27 | 13839598 | 12984133 |     1204  27607 |        0 |        0
1422.56/1423.05	c 1423s |      27 | 13856672 | 13000233 |     1204  27633 |        0 |        0
1424.55/1425.06	c 1425s |      27 | 13874013 | 13016533 |     1204  27660 |        0 |        0
1426.55/1427.06	c 1427s |      27 | 13891759 | 13032933 |     1204  27686 |        0 |        0
1428.56/1429.06	c 1429s |      27 | 13909100 | 13049333 |     1204  27713 |        0 |        0
1430.55/1431.07	c 1431s |      27 | 13926841 | 13065933 |     1204  27740 |        0 |        0
1432.55/1433.08	c 1433s |      27 | 13944371 | 13082433 |     1204  27766 |        0 |        0
1434.55/1435.08	c 1435s |      27 | 13962074 | 13099033 |     1204  27793 |        0 |        0
1436.55/1437.09	c 1437s |      27 | 13979659 | 13115533 |     1204  27820 |        0 |        0
1438.56/1439.09	c 1439s |      27 | 13998178 | 13132033 |     1204  27846 |        0 |        0
1440.55/1441.10	c 1441s |      27 | 14015581 | 13148333 |     1204  27873 |        0 |        0
1442.65/1443.10	c 1443s |      27 | 14033160 | 13164733 |     1204  27899 |        0 |        0
1444.65/1445.10	c 1445s |      27 | 14050819 | 13181233 |     1204  27926 |        0 |        0
1446.65/1447.11	c 1447s |      27 | 14069244 | 13198133 |     1204  27953 |        0 |        0
1448.65/1449.12	c 1449s |      27 | 14086949 | 13214733 |     1204  27980 |        0 |        0
1450.65/1451.12	c 1451s |      27 | 14104920 | 13231833 |     1204  28008 |        0 |        0
1452.65/1453.13	c 1453s |      27 | 14123082 | 13249033 |     1204  28036 |        0 |        0
1454.65/1455.14	c 1455s |      27 | 14141024 | 13265733 |     1204  28063 |        0 |        0
1456.65/1457.14	c 1457s |      27 | 14158580 | 13282233 |     1204  28090 |        0 |        0
1458.65/1459.14	c 1459s |      27 | 14176489 | 13299033 |     1204  28117 |        0 |        0
1460.64/1461.15	c 1461s |      27 | 14194275 | 13315833 |     1204  28144 |        0 |        0
1462.65/1463.15	c 1463s |      27 | 14212410 | 13332733 |     1204  28172 |        0 |        0
1464.64/1465.16	c 1465s |      27 | 14230014 | 13349433 |     1204  28199 |        0 |        0
1466.64/1467.17	c 1467s |      27 | 14248118 | 13366333 |     1204  28226 |        0 |        0
1468.65/1469.17	c 1469s |      27 | 14265614 | 13383033 |     1204  28253 |        0 |        0
1470.65/1471.18	c 1471s |      27 | 14283577 | 13400233 |     1204  28281 |        0 |        0
1472.66/1473.18	c 1473s |      27 | 14301771 | 13417333 |     1204  28309 |        0 |        0
1474.65/1475.18	c 1475s |      27 | 14319604 | 13434333 |     1204  28337 |        0 |        0
1476.65/1477.18	c 1477s |      27 | 14338076 | 13451833 |     1204  28365 |        0 |        0
1478.65/1479.19	c 1479s |      27 | 14356069 | 13468533 |     1204  28392 |        0 |        0
1480.65/1481.19	c 1481s |      27 | 14374265 | 13485133 |     1204  28419 |        0 |        0
1482.65/1483.19	c 1483s |      27 | 14391884 | 13501533 |     1204  28446 |        0 |        0
1484.75/1485.20	c 1485s |      27 | 14410062 | 13518233 |     1204  28473 |        0 |        0
1486.75/1487.21	c 1487s |      27 | 14428043 | 13534933 |     1204  28500 |        0 |        0
1488.74/1489.23	c 1489s |      27 | 14446049 | 13551733 |     1204  28527 |        0 |        0
1490.74/1491.23	c 1491s |      27 | 14463728 | 13568433 |     1204  28554 |        0 |        0
1492.74/1493.24	c 1493s |      27 | 14481630 | 13585033 |     1204  28581 |        0 |        0
1494.74/1495.24	c 1495s |      27 | 14499451 | 13601633 |     1204  28607 |        0 |        0
1496.75/1497.25	c 1497s |      27 | 14517276 | 13618333 |     1204  28634 |        0 |        0
1498.74/1499.25	c 1499s |      27 | 14535078 | 13634933 |     1204  28661 |        0 |        0
1500.74/1501.27	c 1501s |      27 | 14552913 | 13651533 |     1204  28688 |        0 |        0
1502.74/1503.27	c 1503s |      27 | 14570622 | 13668333 |     1204  28715 |        0 |        0
1504.74/1505.27	c 1505s |      27 | 14588424 | 13685233 |     1204  28743 |        0 |        0
1506.75/1507.28	c 1507s |      27 | 14606513 | 13701933 |     1204  28770 |        0 |        0
1508.74/1509.28	c 1509s |      27 | 14624094 | 13718233 |     1204  28796 |        0 |        0
1510.74/1511.29	c 1511s |      27 | 14641974 | 13735033 |     1204  28823 |        0 |        0
1512.74/1513.29	c 1513s |      27 | 14660260 | 13752033 |     1204  28851 |        0 |        0
1514.84/1515.30	c 1515s |      27 | 14677734 | 13768533 |     1204  28878 |        0 |        0
1516.84/1517.31	c 1517s |      27 | 14696296 | 13785633 |     1204  28905 |        0 |        0
1518.84/1519.31	c 1519s |      27 | 14714141 | 13802333 |     1204  28932 |        0 |        0
1520.83/1521.32	c 1521s |      27 | 14731322 | 13818533 |     1204  28959 |        0 |        0
1522.83/1523.32	c 1523s |      27 | 14749067 | 13834833 |     1204  28985 |        0 |        0
1524.83/1525.32	c 1525s |      27 | 14766808 | 13851533 |     1204  29012 |        0 |        0
1526.83/1527.33	c 1527s |      27 | 14783956 | 13867933 |     1204  29039 |        0 |        0
1528.83/1529.34	c 1529s |      27 | 14801616 | 13884533 |     1204  29065 |        0 |        0
1530.85/1531.35	c 1531s |      27 | 14820077 | 13901533 |     1204  29093 |        0 |        0
1532.84/1533.36	c 1533s |      27 | 14838356 | 13918433 |     1204  29120 |        0 |        0
1534.84/1535.36	c 1535s |      27 | 14856801 | 13935633 |     1204  29148 |        0 |        0
1536.84/1537.37	c 1537s |      27 | 14875243 | 13952833 |     1204  29176 |        0 |        0
1538.84/1539.37	c 1539s |      27 | 14893312 | 13970033 |     1204  29204 |        0 |        0
1540.85/1541.38	c 1541s |      27 | 14911933 | 13987333 |     1204  29232 |        0 |        0
1542.84/1543.38	c 1543s |      27 | 14930182 | 14004433 |     1204  29260 |        0 |        0
1544.84/1545.39	c 1545s |      27 | 14948055 | 14021033 |     1204  29287 |        0 |        0
1546.93/1547.40	c 1547s |      27 | 14966345 | 14037833 |     1204  29314 |        0 |        0
1548.93/1549.40	c 1549s |      27 | 14984482 | 14054933 |     1204  29342 |        0 |        0
1550.93/1551.40	c 1551s |      27 | 15003102 | 14072333 |     1204  29370 |        0 |        0
1552.94/1553.41	c 1553s |      27 | 15021646 | 14089533 |     1204  29398 |        0 |        0
1554.93/1555.42	c 1555s |      27 | 15040376 | 14107033 |     1204  29426 |        0 |        0
1556.93/1557.43	c 1557s |      27 | 15059117 | 14124633 |     1204  29455 |        0 |        0
1558.93/1559.44	c 1559s |      27 | 15077803 | 14141833 |     1204  29483 |        0 |        0
1560.93/1561.44	c 1561s |      27 | 15097311 | 14159433 |     1204  29511 |        0 |        0
1562.93/1563.45	c 1563s |      27 | 15115906 | 14176533 |     1204  29539 |        0 |        0
1564.94/1565.45	c 1565s |      27 | 15133613 | 14193133 |     1204  29566 |        0 |        0
1566.93/1567.45	c 1567s |      27 | 15152084 | 14210033 |     1204  29593 |        0 |        0
1568.93/1569.46	c 1569s |      27 | 15170568 | 14227133 |     1204  29621 |        0 |        0
1570.93/1571.47	c 1571s |      27 | 15189375 | 14244233 |     1204  29649 |        0 |        0
1572.93/1573.49	c 1573s |      27 | 15207884 | 14261533 |     1204  29677 |        0 |        0
1574.93/1575.49	c 1575s |      27 | 15226220 | 14278633 |     1204  29704 |        0 |        0
1576.93/1577.49	c 1577s |      27 | 15245262 | 14295933 |     1204  29732 |        0 |        0
1579.03/1579.50	c 1579s |      27 | 15264037 | 14313333 |     1204  29760 |        0 |        0
1581.02/1581.52	c 1581s |      27 | 15282678 | 14330533 |     1204  29788 |        0 |        0
1583.02/1583.53	c 1583s |      27 | 15300908 | 14347433 |     1204  29816 |        0 |        0
1585.02/1585.54	c 1585s |      27 | 15319525 | 14364533 |     1204  29843 |        0 |        0
1587.04/1587.54	c 1587s |      27 | 15337763 | 14381533 |     1204  29871 |        0 |        0
1589.03/1589.54	c 1589s |      27 | 15356854 | 14398933 |     1204  29899 |        0 |        0
1591.03/1591.55	c 1591s |      27 | 15375573 | 14416233 |     1204  29927 |        0 |        0
1593.03/1593.56	c 1593s |      27 | 15394230 | 14433533 |     1204  29955 |        0 |        0
1595.03/1595.56	c 1595s |      27 | 15412815 | 14450833 |     1204  29983 |        0 |        0
1597.03/1597.57	c 1597s |      27 | 15431213 | 14468233 |     1204  30012 |        0 |        0
1599.04/1599.57	c 1599s |      27 | 15450252 | 14485733 |     1204  30040 |        0 |        0
1601.03/1601.59	c 1601s |      27 | 15468455 | 14502233 |     1204  30067 |        0 |        0
1603.03/1603.60	c 1603s |      27 | 15486377 | 14518933 |     1204  30094 |        0 |        0
1605.13/1605.60	c 1605s |      27 | 15504100 | 14535333 |     1204  30120 |        0 |        0
1607.13/1607.61	c 1607s |      27 | 15521562 | 14551733 |     1204  30147 |        0 |        0
1609.13/1609.62	c 1609s |      27 | 15538913 | 14568033 |     1204  30173 |        0 |        0
1611.13/1611.62	c 1611s |      27 | 15556753 | 14584533 |     1204  30200 |        0 |        0
1613.12/1613.63	c 1613s |      27 | 15574660 | 14601033 |     1204  30226 |        0 |        0
1615.12/1615.63	c 1615s |      27 | 15592392 | 14617433 |     1204  30253 |        0 |        0
1617.12/1617.64	c 1617s |      27 | 15610241 | 14633933 |     1204  30280 |        0 |        0
1619.12/1619.64	c 1619s |      27 | 15628394 | 14650633 |     1204  30307 |        0 |        0
1621.13/1621.64	c 1621s |      27 | 15646321 | 14667333 |     1204  30334 |        0 |        0
1623.12/1623.65	c 1623s |      27 | 15664246 | 14684233 |     1204  30361 |        0 |        0
1625.12/1625.66	c 1625s |      27 | 15682667 | 14701233 |     1204  30388 |        0 |        0
1627.12/1627.67	c 1627s |      27 | 15701093 | 14718033 |     1204  30415 |        0 |        0
1629.12/1629.67	c 1629s |      27 | 15719842 | 14734833 |     1204  30443 |        0 |        0
1631.12/1631.68	c 1631s |      27 | 15738831 | 14751933 |     1204  30470 |        0 |        0
1633.12/1633.69	c 1633s |      27 | 15756490 | 14768433 |     1204  30497 |        0 |        0
1635.12/1635.70	c 1635s |      27 | 15774800 | 14785233 |     1204  30524 |        0 |        0
1637.22/1637.70	c 1637s |      27 | 15792681 | 14801933 |     1204  30551 |        0 |        0
1639.22/1639.71	c 1639s |      27 | 15810492 | 14818733 |     1204  30578 |        0 |        0
1641.22/1641.72	c 1641s |      27 | 15828195 | 14835633 |     1204  30606 |        0 |        0
1643.22/1643.72	c 1643s |      27 | 15846403 | 14853033 |     1204  30634 |        0 |        0
1645.23/1645.73	c 1645s |      27 | 15865188 | 14870533 |     1204  30662 |        0 |        0
1647.22/1647.73	c 1647s |      27 | 15884184 | 14887933 |     1204  30691 |        0 |        0
1649.22/1649.74	c 1649s |      27 | 15902231 | 14905133 |     1204  30718 |        0 |        0
1651.22/1651.74	c 1651s |      27 | 15920467 | 14922333 |     1204  30746 |        0 |        0
1653.22/1653.75	c 1653s |      27 | 15938887 | 14939533 |     1204  30774 |        0 |        0
1655.23/1655.76	c 1655s |      27 | 15957174 | 14956433 |     1204  30801 |        0 |        0
1657.22/1657.77	c 1657s |      27 | 15975254 | 14973333 |     1204  30829 |        0 |        0
1659.22/1659.77	c 1659s |      27 | 15993552 | 14990633 |     1204  30857 |        0 |        0
1661.22/1661.77	c 1661s |      27 | 16011983 | 15008033 |     1204  30885 |        0 |        0
1663.22/1663.78	c 1663s |      27 | 16030645 | 15025233 |     1204  30913 |        0 |        0
1665.22/1665.78	c 1665s |      27 | 16049364 | 15042533 |     1204  30941 |        0 |        0
1667.22/1667.79	c 1667s |      27 | 16068298 | 15060133 |     1204  30970 |        0 |        0
1669.21/1669.80	c 1669s |      27 | 16088137 | 15078033 |     1204  30999 |        0 |        0
1671.31/1671.80	c 1671s |      27 | 16106489 | 15094933 |     1204  31026 |        0 |        0
1673.31/1673.81	c 1673s |      27 | 16124675 | 15111833 |     1204  31053 |        0 |        0
1675.31/1675.82	c 1675s |      27 | 16143501 | 15129333 |     1204  31082 |        0 |        0
1677.31/1677.83	c 1677s |      27 | 16162167 | 15146733 |     1204  31110 |        0 |        0
1679.32/1679.83	c 1679s |      27 | 16180830 | 15164033 |     1204  31138 |        0 |        0
1681.31/1681.84	c 1681s |      27 | 16199466 | 15181133 |     1204  31166 |        0 |        0
1683.32/1683.85	c 1683s |      27 | 16218153 | 15198833 |     1204  31195 |        0 |        0
1685.32/1685.85	c 1685s |      27 | 16236697 | 15216333 |     1204  31223 |        0 |        0
1687.32/1687.86	c 1687s |      27 | 16255063 | 15233633 |     1204  31251 |        0 |        0
1689.32/1689.87	c 1689s |      27 | 16273364 | 15251033 |     1204  31279 |        0 |        0
1691.32/1691.88	c 1691s |      27 | 16291862 | 15268333 |     1204  31308 |        0 |        0
1693.32/1693.88	c 1693s |      27 | 16310545 | 15285633 |     1204  31336 |        0 |        0
1695.32/1695.89	c 1695s |      27 | 16328673 | 15302733 |     1204  31364 |        0 |        0
1697.32/1697.89	c 1697s |      27 | 16347488 | 15320233 |     1204  31392 |        0 |        0
1699.31/1699.90	c 1699s |      27 | 16366355 | 15337833 |     1204  31421 |        0 |        0
1701.32/1701.90	c 1701s |      27 | 16385278 | 15355433 |     1204  31449 |        0 |        0
1703.41/1703.90	c 1703s |      27 | 16403634 | 15372133 |     1204  31476 |        0 |        0
1705.41/1705.91	c 1705s |      27 | 16421638 | 15389033 |     1204  31503 |        0 |        0
1707.41/1707.92	c 1707s |      27 | 16440252 | 15406133 |     1204  31531 |        0 |        0
1709.41/1709.93	c 1709s |      27 | 16459101 | 15423533 |     1204  31559 |        0 |        0
1711.41/1711.93	c 1711s |      27 | 16477569 | 15440833 |     1204  31587 |        0 |        0
1713.42/1713.93	c 1713s |      27 | 16495757 | 15457733 |     1204  31615 |        0 |        0
1715.41/1715.94	c 1715s |      27 | 16514311 | 15475033 |     1204  31643 |        0 |        0
1717.41/1717.95	c 1717s |      27 | 16533293 | 15492733 |     1204  31671 |        0 |        0
1719.41/1719.96	c 1719s |      27 | 16552517 | 15510433 |     1204  31700 |        0 |        0
1721.41/1721.96	c 1721s |      27 | 16571181 | 15528133 |     1204  31729 |        0 |        0
1723.41/1723.96	c 1723s |      27 | 16590170 | 15546133 |     1204  31758 |        0 |        0
1725.40/1725.97	c 1725s |      27 | 16609096 | 15563833 |     1204  31787 |        0 |        0
1727.40/1727.97	c 1727s |      27 | 16627785 | 15581333 |     1204  31815 |        0 |        0
1729.40/1729.98	c 1729s |      27 | 16647183 | 15599233 |     1204  31844 |        0 |        0
1731.40/1731.99	c 1731s |      27 | 16666506 | 15617233 |     1204  31873 |        0 |        0
1733.40/1733.99	c 1733s |      27 | 16686047 | 15635533 |     1204  31903 |        0 |        0
1735.42/1736.00	c 1735s |      27 | 16705828 | 15653733 |     1204  31933 |        0 |        0
1737.51/1738.01	c 1737s |      27 | 16723369 | 15670233 |     1204  31959 |        0 |        0
1739.51/1740.01	c 1739s |      27 | 16740612 | 15686633 |     1204  31986 |        0 |        0
1741.51/1742.02	c 1742s |      27 | 16757937 | 15703133 |     1204  32012 |        0 |        0
1743.51/1744.02	c 1744s |      27 | 16775100 | 15719433 |     1204  32038 |        0 |        0
1745.50/1746.02	c 1746s |      27 | 16792656 | 15736133 |     1204  32066 |        0 |        0
1747.51/1748.03	c 1748s |      27 | 16810500 | 15753133 |     1204  32093 |        0 |        0
1749.50/1750.03	c 1750s |      27 | 16828279 | 15770133 |     1204  32121 |        0 |        0
1751.50/1752.03	c 1752s |      27 | 16846107 | 15787233 |     1204  32148 |        0 |        0
1753.50/1754.04	c 1754s |      27 | 16863710 | 15804133 |     1204  32176 |        0 |        0
1755.50/1756.04	c 1756s |      27 | 16881563 | 15821033 |     1204  32203 |        0 |        0
1757.51/1758.05	c 1758s |      27 | 16899563 | 15838133 |     1204  32231 |        0 |        0
1759.50/1760.06	c 1760s |      27 | 16918065 | 15855133 |     1204  32258 |        0 |        0
1761.50/1762.07	c 1762s |      27 | 16935593 | 15871933 |     1204  32285 |        0 |        0
1763.50/1764.07	c 1764s |      27 | 16953412 | 15888833 |     1204  32313 |        0 |        0
1765.50/1766.08	c 1766s |      27 | 16971377 | 15905533 |     1204  32340 |        0 |        0
1767.50/1768.09	c 1768s |      27 | 16989316 | 15922633 |     1204  32368 |        0 |        0
1769.51/1770.10	c 1770s |      27 | 17006712 | 15939033 |     1204  32394 |        0 |        0
1771.60/1772.10	c 1772s |      27 | 17024247 | 15955633 |     1204  32421 |        0 |        0
1773.60/1774.11	c 1774s |      27 | 17041830 | 15972233 |     1204  32448 |        0 |        0
1775.60/1776.12	c 1776s |      27 | 17059673 | 15988933 |     1204  32475 |        0 |        0
1777.60/1778.13	c 1778s |      27 | 17076985 | 16005333 |     1204  32502 |        0 |        0
1779.60/1780.14	c 1780s |      27 | 17094903 | 16022233 |     1204  32529 |        0 |        0
1781.61/1782.14	c 1782s |      27 | 17112614 | 16039033 |     1204  32556 |        0 |        0
1783.60/1784.14	c 1784s |      27 | 17130483 | 16055933 |     1204  32584 |        0 |        0
1785.60/1786.15	c 1786s |      27 | 17148568 | 16072733 |     1204  32611 |        0 |        0
1787.60/1788.16	c 1788s |      27 | 17166368 | 16089333 |     1204  32638 |        0 |        0
1789.60/1790.17	c 1790s |      27 | 17183839 | 16106033 |     1204  32665 |        0 |        0
1791.60/1792.17	c 1792s |      27 | 17201825 | 16123033 |     1204  32693 |        0 |        0
1793.59/1794.18	c 1794s |      27 | 17219978 | 16140033 |     1204  32720 |        0 |        0
1795.59/1796.19	c 1796s |      27 | 17238527 | 16157233 |     1204  32748 |        0 |        0
1797.70/1798.20	c 1798s |      27 | 17256615 | 16174433 |     1204  32776 |        0 |        0
1799.70/1800.21	c 1800s |      27 | 17275258 | 16191833 |     1204  32804 |        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-4089526-1466028298/watcher-4089526-1466028298 -o /tmp/evaluation-result-4089526-1466028298/solver-4089526-1466028298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089526-1466028298.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.45 2.30 2.23 3/179 7944
/proc/meminfo: memFree=29454972/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 2626 0 0 0 0 0 0 0 20 0 4 0 4876258 721874944 2987 33554432000 4194304 16246674 140733373362448 140733373361872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 177007 2996 441 2943 0 173901 0
[pid=7944/tid=7945] ppid=7941 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 739700736 3056 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 742846464 3068 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4876259 752283648 3104 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.45 2.30 2.23 3/179 7944
/proc/meminfo: memFree=29454972/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 28922 0 0 0 6 3 0 0 20 0 4 0 4876258 1247350784 29272 33554432000 4194304 16246674 140733373362448 140733373345448 5707789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 304529 29284 710 2943 0 301423 0
[pid=7944/tid=7945] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 29290 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 29296 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 29305 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 2.45 2.30 2.23 3/179 7944
/proc/meminfo: memFree=29454972/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 56989 0 0 0 11 7 0 0 20 0 4 0 4876258 1247350784 57340 33554432000 4194304 16246674 140733373362448 140733373345448 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 304529 57356 711 2943 0 301423 0
[pid=7944/tid=7945] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 57363 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 57373 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 57383 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.45 2.30 2.23 3/179 7944
/proc/meminfo: memFree=29454972/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 85375 0 0 0 17 12 0 0 20 0 4 0 4876258 1247350784 85726 33554432000 4194304 16246674 140733373362448 140733373345448 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 304529 85742 711 2943 0 301423 0
[pid=7944/tid=7945] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 85747 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 85753 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 85764 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.45 2.30 2.23 3/179 7944
/proc/meminfo: memFree=29454972/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 198070 0 0 0 41 28 0 0 20 0 4 0 4876258 1247350784 198421 33554432000 4194304 16246674 140733373362448 140733373345448 5707789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 304529 198436 711 2943 0 301423 0
[pid=7944/tid=7945] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 198445 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 198452 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4876259 1247350784 198458 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.45 2.30 2.23 3/183 7948
/proc/meminfo: memFree=28472680/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267303 0 0 0 112 36 0 0 20 0 4 0 4876258 1336479744 267633 33554432000 4194304 16246674 140733373362448 140733373345448 13923798 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326289 267633 788 2943 0 323183 0
[pid=7944/tid=7945] ppid=7941 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1336479744 267633 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1336479744 267633 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1336479744 267633 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.41 2.29 2.23 3/183 7948
/proc/meminfo: memFree=28384640/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267405 0 0 0 272 37 0 0 20 0 4 0 4876258 1337528320 267735 33554432000 4194304 16246674 140733373362448 140733373345448 12875392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326545 267735 788 2943 0 323439 0
[pid=7944/tid=7945] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267735 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267735 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267735 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.41 2.29 2.23 3/183 7948
/proc/meminfo: memFree=28384140/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267407 0 0 0 592 37 0 0 20 0 4 0 4876258 1337528320 267737 33554432000 4194304 16246674 140733373362448 140733373345448 5725232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326545 267737 788 2943 0 323439 0
[pid=7944/tid=7945] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267737 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267737 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267737 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.35 2.28 2.22 3/183 7948
/proc/meminfo: memFree=28384156/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267453 0 0 0 1232 37 0 0 20 0 4 0 4876258 1337528320 267783 33554432000 4194304 16246674 140733373362448 140733373345448 5661982 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326545 267783 790 2943 0 323439 0
[pid=7944/tid=7945] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267783 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267783 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267783 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5074 s]
/proc/loadavg: 2.30 2.27 2.22 3/183 7948
/proc/meminfo: memFree=28384040/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1306180 CPUtime=25.5 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267454 0 0 0 2512 38 0 0 20 0 4 0 4876258 1337528320 267784 33554432000 4194304 16246674 140733373362448 140733373345448 5661879 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326545 267784 790 2943 0 323439 0
[pid=7944/tid=7945] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267784 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267784 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267784 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.40 2.30 2.23 3/183 7948
/proc/meminfo: memFree=28383884/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267545 0 0 0 5070 38 0 0 20 0 4 0 4876258 1337528320 267875 33554432000 4194304 16246674 140733373362448 140733373345448 5523188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326545 267875 790 2943 0 323439 0
[pid=7944/tid=7945] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267875 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267875 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1337528320 267875 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.33 2.29 2.23 3/183 7950
/proc/meminfo: memFree=28381944/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 267828 0 0 0 10188 39 0 0 20 0 4 0 4876258 1338576896 268158 33554432000 4194304 16246674 140733373362448 140733373345448 6010021 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 326801 268158 790 2943 0 323695 0
[pid=7944/tid=7945] ppid=7941 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1338576896 268158 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1338576896 268158 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1338576896 268158 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.23 2.25 2.25 4/183 8175
/proc/meminfo: memFree=28376504/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1301.88 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 130118 70 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 5823631 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/183 8176
/proc/meminfo: memFree=28375812/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1361.87 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 136116 71 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.25 3/183 8177
/proc/meminfo: memFree=28375740/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1421.86 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 142114 72 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373361544 5723121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.29 2.26 2.25 4/183 8178
/proc/meminfo: memFree=28376060/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1481.85 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 148112 73 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1310276

[startup+1542.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/184 8182
/proc/meminfo: memFree=28375796/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1541.84 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 154110 74 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 4220490 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/183 8184
/proc/meminfo: memFree=28374608/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1601.83 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 160108 75 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373344320 5670488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1310276

[startup+1662.31 s]
/proc/loadavg: 2.25 2.26 2.25 3/183 8185
/proc/meminfo: memFree=28372124/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1661.82 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 166106 76 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 5661432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.15 2.22 2.24 3/183 8186
/proc/meminfo: memFree=28372536/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1721.81 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 172104 77 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373344320 5722648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.23 2.23 2.24 3/183 8187
/proc/meminfo: memFree=28372108/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1781.8 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 178101 79 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 5589151 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.25 2.25 3/183 8187
/proc/meminfo: memFree=28371988/32872528 swapFree=1369816/1516984
[pid=7944] ppid=7941 vsize=1310276 CPUtime=1800 cores=1,3,5,7
/proc/7944/stat : 7944 (toysat) R 7941 7944 5822 0 -1 4202496 269019 0 0 0 179920 80 0 0 20 0 4 0 4876258 1341722624 268931 33554432000 4194304 16246674 140733373362448 140733373345448 6020690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7944/statm: 327569 268931 792 2943 0 324463 0
[pid=7944/tid=7945] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7945/stat : 7945 (toysat) S 7941 7944 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493220457712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7944/tid=7946] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7946/stat : 7946 (toysat) S 7941 7944 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493209967856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7944/tid=7947] ppid=7941 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7944/task/7947/stat : 7947 (toysat) S 7941 7944 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4876259 1341722624 268931 33554432000 4194304 16246674 140733373362448 140493199494320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1310276

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7944 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.51
CPU time (s): 1800.01
CPU user time (s): 1799.21
CPU system time (s): 0.800878
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.800878
maximum resident set size= 1075724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269019
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= 434
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6253 second user time and 6.89495 second system time

The end

Begin job on node129 at 2016-06-16 00:04:58
IDJOB=4089526
IDBENCH=107419
IDSOLVER=2542
FILE ID=node129/4089526-1466028298
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid8x11-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089526-1466028298/watcher-4089526-1466028298 -o /tmp/evaluation-result-4089526-1466028298/solver-4089526-1466028298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089526-1466028298.opb

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

MD5SUM BENCH= c447caa242cb00f939d069011caec601
RANDOM SEED=1583636305

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:        29456036 kB
Buffers:           25792 kB
Cached:            77484 kB
SwapCached:        20172 kB
Active:          1132772 kB
Inactive:          61156 kB
Active(anon):    1072788 kB
Inactive(anon):    20104 kB
Active(file):      59984 kB
Inactive(file):    41052 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2676748 kB
Mapped:            10328 kB
Shmem:                 0 kB
Slab:             566652 kB
SReclaimable:      10968 kB
SUnreclaim:       555684 kB
KernelStack:        1520 kB
PageTables:         9152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2735000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 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 00:34:58