0.00/0.00	c 2016-06-30T19:45:48+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-4120018-1467308747.opb"]
0.00/0.01	c use --random-gen="1370597731 1789735397 936488257 1171047346 3756693939 193686321 1754055774 757963613 1685003064 1249865927 3018744725 1889624855 1389701032 3369463476 80649703 1922645321 1873904482 2105353761 3950311399 3238663157 617135963 2679529592 950618581 445477221 3067786138 1834671855 2326553742 1001650989 66360469 4292240075 3565716579 3244581739 1091947208 804781257 1867839288 2798803844 4015763182 3036697003 1640209054 764473025 1287210862 3518552001 3520537651 1109306737 367025739 620022804 2621945320 838902827 3053408982 4159524821 1315556460 154844507 2326502909 2171903294 3409097646 3248619608 3081722281 3949883992 585249896 665118985 382951560 1586914389 1726837510 2647532859 2526979872 1944358968 4244891176 3112664008 2217056397 1206336350 1957468682 3702253871 4088655415 1613017586 1153093887 527208595 236782742 431792015 2850402896 3124136100 1787124247 2361970473 380027662 3078394222 3065539133 3969888653 3669926410 2139102905 3089007177 3103057341 2736168626 1635869488 3002908536 4188965743 377015598 4247519497 3992456379 2613532614 3330360706 3373345747 1952970052 46412439 187059327 3341867005 1087607469 1273814407 758752713 2425715605 3557004021 2085863388 3772592765 3844906643 3180236249 924843274 1561430840 1739657383 1344921328 4259606369 434920908 3940003796 771657835 3145158420 2612979786 4116363251 2536033675 2880453650 3177066847 657722475 809393519 210046350 3131552330 1907715700 368676329 2359278821 1413151538 3648480828 3475000779 3516277974 3676498445 3670275339 1313754273 2786520061 2067509257 1839830404 2579440902 1658284125 2823374326 676208375 1339460241 3704201882 2130521558 643353012 1620403964 2288617348 4099864749 3888094342 2700084730 3141989034 1197795909 511926325 277980789 1181116193 2554785738 1288404261 850106276 2139628992 473833209 158276855 1764352894 4195420582 3794900619 983267630 131277192 4152047980 2520433467 3109431068 3417204994 2309563362 3679486462 2192754053 777702255 3404925727 4265708631 240801763 4269932339 2936336869 370397289 3261034819 887030389 344894884 1708133020 761931895 1728699526 253883426 4071473483 2695354175 3957283509 3698400199 404133443 2918416701 2981448726 4195861520 277247267 1628492917 707177155 409109369 1700737757 166196897 3360221884 3237062618 5543562 1301569640 3683928163 1701055939 977463048 460772867 1137311011 2126752140 1126912783 515027430 1446159241 1436988401 2294786481 512863763 2743835841 3023082562 483179766 951075385 3815730084 1375965844 3304883694 1187179413 2345204348 2207198119 3416491384 4206714435 1468133920 126787026 3322559630 1172734063 251972542 3318057976 4187951989 372507486 3821350730 502904036 3052582906 635747370 3091918943 3230067737 339068356 754656548 2538665952 2959206323 402599951 2569374726 255 362436" option to reproduce the execution
0.00/0.01	c #vars 117
0.00/0.01	c #constraints 116
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 |       77      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      133 |      100 |       77      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      324 |      250 |       85      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      667 |      475 |       94      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1213 |      813 |      104     12 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2060 |     1320 |      115     19 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3225 |     2081 |      140     28 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4746 |     3223 |      154     42 |        0 |        0
0.49/0.51	c  0.5s |       8 |     7219 |     4936 |      170     60 |        0 |        0
0.79/0.80	c  0.8s |       9 |    10376 |     7506 |      188     85 |        0 |        0
1.10/1.14	c  1.1s |      10 |    16152 |    11361 |      207    122 |        0 |        0
1.49/1.54	c  1.5s |      11 |    24627 |    17144 |      228    172 |        0 |        0
2.09/2.19	c  2.2s |      12 |    36475 |    25819 |      251    240 |        0 |        0
3.19/3.24	c  3.2s |      13 |    53549 |    38832 |      277    335 |        0 |        0
4.69/4.77	c  4.8s |      14 |    77532 |    58352 |      305    466 |        0 |        0
6.70/6.77	c  6.8s |      14 |   108225 |    82852 |      305    615 |        0 |        0
7.09/7.17	c  7.2s |      15 |   114236 |    87632 |      336    644 |        0 |        0
9.09/9.17	c  9.2s |      15 |   142091 |   110732 |      336    774 |        0 |        0
10.79/10.87	c 10.9s |      16 |   168909 |   131552 |      370    892 |        0 |        0
12.78/12.87	c 12.9s |      16 |   197862 |   154952 |      370   1010 |        0 |        0
14.78/14.87	c 14.9s |      16 |   226428 |   177952 |      370   1128 |        0 |        0
16.38/16.42	c 16.4s |      17 |   252179 |   197432 |      408   1227 |        0 |        0
18.38/18.43	c 18.4s |      17 |   284697 |   222432 |      408   1344 |        0 |        0
20.39/20.43	c 20.4s |      17 |   317464 |   248032 |      408   1465 |        0 |        0
22.39/22.43	c 22.4s |      17 |   346974 |   272232 |      408   1579 |        0 |        0
24.39/24.44	c 24.4s |      17 |   372209 |   294132 |      408   1682 |        0 |        0
24.59/24.63	c 24.6s |      18 |   374820 |   296252 |      449   1691 |        0 |        0
26.59/26.63	c 26.6s |      18 |   401868 |   318152 |      449   1784 |        0 |        0
28.59/28.64	c 28.6s |      18 |   431816 |   341252 |      449   1883 |        0 |        0
30.58/30.65	c 30.6s |      18 |   458591 |   362852 |      449   1975 |        0 |        0
32.58/32.65	c 32.6s |      18 |   484018 |   383852 |      449   2065 |        0 |        0
34.58/34.65	c 34.6s |      18 |   509821 |   405652 |      449   2158 |        0 |        0
36.58/36.66	c 36.6s |      18 |   536513 |   427852 |      449   2252 |        0 |        0
38.08/38.19	c 38.2s |      19 |   556498 |   444482 |      494   2322 |        0 |        0
40.18/40.20	c 40.2s |      19 |   583345 |   466682 |      494   2408 |        0 |        0
42.18/42.20	c 42.2s |      19 |   611032 |   489582 |      494   2497 |        0 |        0
44.18/44.20	c 44.2s |      19 |   639681 |   512882 |      494   2589 |        0 |        0
46.19/46.20	c 46.2s |      19 |   670107 |   537182 |      494   2684 |        0 |        0
48.18/48.21	c 48.2s |      19 |   697219 |   559882 |      494   2773 |        0 |        0
50.18/50.21	c 50.2s |      19 |   726260 |   583282 |      494   2865 |        0 |        0
52.18/52.22	c 52.2s |      19 |   752697 |   605082 |      494   2951 |        0 |        0
54.18/54.22	c 54.2s |      19 |   778160 |   625982 |      494   3032 |        0 |        0
56.19/56.23	c 56.2s |      19 |   803575 |   646882 |      494   3114 |        0 |        0
58.08/58.10	c 58.1s |      20 |   826787 |   666827 |      544   3190 |        0 |        0
60.08/60.11	c 60.1s |      20 |   854030 |   688527 |      544   3267 |        0 |        0
62.08/62.11	c 62.1s |      20 |   881012 |   710227 |      544   3344 |        0 |        0
64.08/64.12	c 64.1s |      20 |   908485 |   731727 |      544   3421 |        0 |        0
66.09/66.12	c 66.1s |      20 |   933446 |   752127 |      544   3494 |        0 |        0
68.08/68.12	c 68.1s |      20 |   962178 |   774527 |      544   3574 |        0 |        0
70.08/70.13	c 70.1s |      20 |   992977 |   797827 |      544   3657 |        0 |        0
72.08/72.13	c 72.1s |      20 |  1020318 |   820027 |      544   3736 |        0 |        0
74.07/74.14	c 74.1s |      20 |  1045489 |   840927 |      544   3810 |        0 |        0
76.08/76.14	c 76.1s |      20 |  1071660 |   862227 |      544   3886 |        0 |        0
78.08/78.15	c 78.1s |      20 |  1098145 |   883427 |      544   3961 |        0 |        0
80.07/80.15	c 80.1s |      20 |  1126049 |   905327 |      544   4040 |        0 |        0
82.07/82.16	c 82.1s |      20 |  1152234 |   926927 |      544   4117 |        0 |        0
84.07/84.17	c 84.2s |      20 |  1177693 |   947727 |      544   4192 |        0 |        0
86.07/86.17	c 86.2s |      20 |  1207292 |   970427 |      544   4273 |        0 |        0
88.08/88.17	c 88.2s |      20 |  1235508 |   992727 |      544   4352 |        0 |        0
88.87/88.90	c 88.9s |      21 |  1245005 |  1000345 |      599   4377 |        0 |        0
90.88/90.91	c 90.9s |      21 |  1273883 |  1022245 |      599   4448 |        0 |        0
92.88/92.92	c 92.9s |      21 |  1301518 |  1043845 |      599   4518 |        0 |        0
94.88/94.92	c 94.9s |      21 |  1327512 |  1065145 |      599   4587 |        0 |        0
96.88/96.93	c 96.9s |      21 |  1353454 |  1086345 |      599   4656 |        0 |        0
98.88/98.94	c 98.9s |      21 |  1378399 |  1107145 |      599   4723 |        0 |        0
100.88/100.94	c  100s |      21 |  1401781 |  1126945 |      599   4787 |        0 |        0
102.88/102.95	c  102s |      21 |  1432071 |  1149645 |      599   4861 |        0 |        0
104.87/104.96	c  104s |      21 |  1460113 |  1171645 |      599   4933 |        0 |        0
106.87/106.96	c  106s |      21 |  1486300 |  1192745 |      599   5001 |        0 |        0
108.88/108.97	c  108s |      21 |  1512610 |  1214545 |      599   5072 |        0 |        0
110.87/110.97	c  110s |      21 |  1538425 |  1235945 |      599   5142 |        0 |        0
112.87/112.98	c  112s |      21 |  1562540 |  1256545 |      599   5209 |        0 |        0
114.87/114.98	c  114s |      21 |  1587966 |  1277145 |      599   5276 |        0 |        0
116.87/116.99	c  116s |      21 |  1614284 |  1297845 |      599   5343 |        0 |        0
118.88/118.99	c  118s |      21 |  1640044 |  1319245 |      599   5413 |        0 |        0
120.87/121.00	c  120s |      21 |  1665415 |  1340145 |      599   5481 |        0 |        0
122.97/123.00	c  122s |      21 |  1690870 |  1361245 |      599   5550 |        0 |        0
124.97/125.00	c  124s |      21 |  1719729 |  1383745 |      599   5623 |        0 |        0
126.97/127.01	c  126s |      21 |  1747391 |  1405845 |      599   5695 |        0 |        0
128.96/129.01	c  129s |      21 |  1772267 |  1426445 |      599   5762 |        0 |        0
130.97/131.02	c  131s |      21 |  1796730 |  1446945 |      599   5829 |        0 |        0
132.97/133.02	c  133s |      21 |  1821471 |  1467645 |      599   5896 |        0 |        0
134.97/135.03	c  135s |      21 |  1849006 |  1489345 |      599   5967 |        0 |        0
135.97/136.05	c  136s |      22 |  1863632 |  1500622 |      659   6000 |        0 |        0
137.97/138.05	c  138s |      22 |  1888927 |  1521422 |      659   6061 |        0 |        0
139.97/140.06	c  140s |      22 |  1913165 |  1542022 |      659   6123 |        0 |        0
141.98/142.06	c  142s |      22 |  1938380 |  1563122 |      659   6185 |        0 |        0
143.97/144.07	c  144s |      22 |  1964013 |  1584422 |      659   6248 |        0 |        0
145.97/146.08	c  146s |      22 |  1990276 |  1605722 |      659   6311 |        0 |        0
147.97/148.08	c  148s |      22 |  2016463 |  1627222 |      659   6375 |        0 |        0
149.97/150.08	c  150s |      22 |  2041125 |  1647722 |      659   6436 |        0 |        0
151.97/152.09	c  152s |      22 |  2065738 |  1668322 |      659   6497 |        0 |        0
153.97/154.10	c  154s |      22 |  2093324 |  1690122 |      659   6562 |        0 |        0
156.06/156.11	c  156s |      22 |  2119898 |  1711422 |      659   6625 |        0 |        0
158.06/158.11	c  158s |      22 |  2149884 |  1734322 |      659   6693 |        0 |        0
160.06/160.11	c  160s |      22 |  2178978 |  1756222 |      659   6758 |        0 |        0
162.06/162.12	c  162s |      22 |  2204918 |  1776722 |      659   6819 |        0 |        0
164.06/164.12	c  164s |      22 |  2229293 |  1796822 |      659   6878 |        0 |        0
166.07/166.12	c  166s |      22 |  2254405 |  1817322 |      659   6939 |        0 |        0
168.06/168.13	c  168s |      22 |  2280953 |  1838322 |      659   7001 |        0 |        0
170.06/170.13	c  170s |      22 |  2306711 |  1859022 |      659   7063 |        0 |        0
172.06/172.14	c  172s |      22 |  2331342 |  1879022 |      659   7122 |        0 |        0
174.06/174.14	c  174s |      22 |  2355299 |  1898822 |      659   7181 |        0 |        0
176.07/176.15	c  176s |      22 |  2378636 |  1918322 |      659   7239 |        0 |        0
178.06/178.15	c  178s |      22 |  2404592 |  1938722 |      659   7300 |        0 |        0
180.06/180.15	c  180s |      22 |  2428695 |  1958322 |      659   7358 |        0 |        0
182.06/182.16	c  182s |      22 |  2453242 |  1978422 |      659   7418 |        0 |        0
184.06/184.16	c  184s |      22 |  2480686 |  1999822 |      659   7481 |        0 |        0
186.06/186.16	c  186s |      22 |  2506636 |  2020422 |      659   7543 |        0 |        0
188.07/188.17	c  188s |      22 |  2531258 |  2040722 |      659   7603 |        0 |        0
190.06/190.18	c  190s |      22 |  2557136 |  2061222 |      659   7665 |        0 |        0
192.06/192.19	c  192s |      22 |  2580537 |  2080522 |      659   7722 |        0 |        0
194.06/194.19	c  194s |      22 |  2602827 |  2099622 |      659   7779 |        0 |        0
196.15/196.20	c  196s |      22 |  2626545 |  2119222 |      659   7837 |        0 |        0
198.15/198.21	c  198s |      22 |  2649640 |  2138722 |      659   7894 |        0 |        0
200.16/200.21	c  200s |      22 |  2673267 |  2158722 |      659   7953 |        0 |        0
202.15/202.22	c  202s |      22 |  2701504 |  2180422 |      659   8018 |        0 |        0
204.15/204.22	c  204s |      22 |  2731284 |  2202622 |      659   8084 |        0 |        0
206.15/206.22	c  206s |      22 |  2752811 |  2221322 |      659   8139 |        0 |        0
208.15/208.23	c  208s |      22 |  2773752 |  2239522 |      725   8191 |        0 |        0
209.25/209.39	c  209s |      23 |  2787931 |  2251038 |      725   8222 |        0 |        0
211.26/211.39	c  211s |      23 |  2812232 |  2270938 |      725   8276 |        0 |        0
213.26/213.40	c  213s |      23 |  2836348 |  2290538 |      725   8328 |        0 |        0
215.36/215.41	c  215s |      23 |  2860485 |  2310838 |      725   8383 |        0 |        0
217.36/217.41	c  217s |      23 |  2883311 |  2330438 |      725   8435 |        0 |        0
219.36/219.42	c  219s |      23 |  2906065 |  2349538 |      725   8486 |        0 |        0
221.36/221.42	c  221s |      23 |  2929576 |  2368938 |      725   8538 |        0 |        0
223.36/223.43	c  223s |      23 |  2953518 |  2388538 |      725   8590 |        0 |        0
225.36/225.43	c  225s |      23 |  2977879 |  2408138 |      725   8642 |        0 |        0
227.36/227.43	c  227s |      23 |  3001048 |  2427438 |      725   8694 |        0 |        0
229.36/229.44	c  229s |      23 |  3023382 |  2446438 |      725   8745 |        0 |        0
231.35/231.45	c  231s |      23 |  3046261 |  2465438 |      725   8797 |        0 |        0
233.35/233.46	c  233s |      23 |  3068474 |  2483738 |      725   8846 |        0 |        0
235.36/235.47	c  235s |      23 |  3092284 |  2503338 |      725   8898 |        0 |        0
237.35/237.47	c  237s |      23 |  3113928 |  2521738 |      725   8948 |        0 |        0
239.35/239.48	c  239s |      23 |  3134353 |  2539438 |      725   8996 |        0 |        0
241.35/241.49	c  241s |      23 |  3156060 |  2557838 |      725   9046 |        0 |        0
243.45/243.50	c  243s |      23 |  3177535 |  2576138 |      725   9095 |        0 |        0
245.45/245.50	c  245s |      23 |  3199884 |  2594638 |      725   9145 |        0 |        0
247.46/247.51	c  247s |      23 |  3221185 |  2612538 |      725   9193 |        0 |        0
249.45/249.52	c  249s |      23 |  3243241 |  2630938 |      725   9242 |        0 |        0
251.45/251.53	c  251s |      23 |  3266533 |  2649838 |      725   9294 |        0 |        0
253.45/253.53	c  253s |      23 |  3289123 |  2668538 |      725   9344 |        0 |        0
255.45/255.54	c  255s |      23 |  3310816 |  2687338 |      725   9395 |        0 |        0
257.45/257.55	c  257s |      23 |  3332734 |  2705738 |      725   9444 |        0 |        0
259.44/259.55	c  259s |      23 |  3354423 |  2724238 |      725   9493 |        0 |        0
261.44/261.56	c  261s |      23 |  3376239 |  2742538 |      725   9543 |        0 |        0
263.44/263.56	c  263s |      23 |  3396849 |  2760338 |      725   9590 |        0 |        0
265.45/265.57	c  265s |      23 |  3417481 |  2778238 |      725   9638 |        0 |        0
267.45/267.58	c  267s |      23 |  3438931 |  2796638 |      725   9688 |        0 |        0
269.46/269.58	c  269s |      23 |  3458808 |  2813938 |      725   9735 |        0 |        0
271.45/271.59	c  271s |      23 |  3479152 |  2831738 |      725   9782 |        0 |        0
273.45/273.59	c  273s |      23 |  3502674 |  2851438 |      725   9835 |        0 |        0
275.55/275.60	c  275s |      23 |  3526477 |  2871438 |      725   9889 |        0 |        0
277.55/277.60	c  277s |      23 |  3548523 |  2890238 |      725   9940 |        0 |        0
279.55/279.60	c  279s |      23 |  3570624 |  2909338 |      725   9992 |        0 |        0
281.56/281.61	c  281s |      23 |  3595473 |  2929638 |      725  10046 |        0 |        0
283.55/283.62	c  283s |      23 |  3618519 |  2948938 |      725  10098 |        0 |        0
285.55/285.62	c  285s |      23 |  3640364 |  2967638 |      725  10149 |        0 |        0
287.55/287.63	c  287s |      23 |  3664261 |  2987738 |      725  10203 |        0 |        0
289.55/289.63	c  289s |      23 |  3687816 |  3007138 |      725  10255 |        0 |        0
291.55/291.64	c  291s |      23 |  3712131 |  3027038 |      725  10309 |        0 |        0
293.55/293.64	c  293s |      23 |  3737012 |  3046838 |      725  10363 |        0 |        0
295.55/295.65	c  295s |      23 |  3764431 |  3067938 |      725  10420 |        0 |        0
297.55/297.65	c  297s |      23 |  3789074 |  3087538 |      725  10474 |        0 |        0
299.55/299.66	c  299s |      23 |  3816715 |  3108438 |      725  10530 |        0 |        0
301.55/301.67	c  301s |      23 |  3840474 |  3128438 |      725  10584 |        0 |        0
303.55/303.68	c  303s |      23 |  3863107 |  3147738 |      725  10636 |        0 |        0
305.54/305.68	c  305s |      23 |  3886338 |  3167238 |      725  10688 |        0 |        0
307.54/307.68	c  307s |      23 |  3910362 |  3186638 |      725  10740 |        0 |        0
309.54/309.68	c  309s |      23 |  3935361 |  3206738 |      725  10795 |        0 |        0
311.54/311.69	c  311s |      23 |  3957543 |  3225938 |      725  10847 |        0 |        0
313.55/313.69	c  313s |      23 |  3979649 |  3244938 |      725  10898 |        0 |        0
315.54/315.70	c  315s |      23 |  4003988 |  3265338 |      725  10953 |        0 |        0
317.64/317.70	c  317s |      23 |  4031639 |  3287038 |      725  11012 |        0 |        0
319.64/319.71	c  319s |      23 |  4052678 |  3305338 |      725  11062 |        0 |        0
321.64/321.72	c  321s |      23 |  4074900 |  3324138 |      725  11112 |        0 |        0
323.64/323.73	c  323s |      23 |  4096969 |  3342938 |      725  11164 |        0 |        0
325.64/325.73	c  325s |      23 |  4120983 |  3362338 |      798  11214 |        0 |        0
327.24/327.33	c  327s |      24 |  4137291 |  3376662 |      798  11249 |        0 |        0
329.24/329.34	c  329s |      24 |  4162227 |  3395362 |      798  11294 |        0 |        0
331.24/331.35	c  331s |      24 |  4186756 |  3414362 |      798  11341 |        0 |        0
333.24/333.35	c  333s |      24 |  4209514 |  3432962 |      798  11387 |        0 |        0
335.23/335.36	c  335s |      24 |  4234581 |  3452862 |      798  11435 |        0 |        0
337.23/337.36	c  337s |      24 |  4260420 |  3472862 |      798  11485 |        0 |        0
339.23/339.37	c  339s |      24 |  4283223 |  3490762 |      798  11528 |        0 |        0
341.23/341.38	c  341s |      24 |  4304947 |  3508462 |      798  11571 |        0 |        0
343.24/343.38	c  343s |      24 |  4325910 |  3525862 |      798  11614 |        0 |        0
345.23/345.39	c  345s |      24 |  4350062 |  3544662 |      798  11660 |        0 |        0
347.24/347.39	c  347s |      24 |  4373914 |  3563762 |      798  11707 |        0 |        0
349.24/349.39	c  349s |      24 |  4397639 |  3583262 |      798  11755 |        0 |        0
351.34/351.40	c  351s |      24 |  4421644 |  3602762 |      798  11803 |        0 |        0
353.34/353.41	c  353s |      24 |  4444316 |  3621662 |      798  11849 |        0 |        0
355.35/355.41	c  355s |      24 |  4469323 |  3641862 |      798  11899 |        0 |        0
357.34/357.41	c  357s |      24 |  4494287 |  3661462 |      798  11947 |        0 |        0
359.34/359.42	c  359s |      24 |  4516161 |  3679962 |      798  11993 |        0 |        0
361.34/361.43	c  361s |      24 |  4540655 |  3699062 |      798  12040 |        0 |        0
363.34/363.43	c  363s |      24 |  4564732 |  3718862 |      798  12089 |        0 |        0
365.34/365.43	c  365s |      24 |  4589558 |  3738662 |      798  12137 |        0 |        0
367.34/367.44	c  367s |      24 |  4614796 |  3758962 |      798  12187 |        0 |        0
369.33/369.45	c  369s |      24 |  4639426 |  3778862 |      798  12236 |        0 |        0
371.33/371.45	c  371s |      24 |  4661811 |  3797562 |      798  12282 |        0 |        0
373.33/373.46	c  373s |      24 |  4684248 |  3816362 |      798  12329 |        0 |        0
375.33/375.47	c  375s |      24 |  4705943 |  3834862 |      798  12374 |        0 |        0
377.34/377.48	c  377s |      24 |  4730985 |  3854562 |      798  12423 |        0 |        0
379.33/379.48	c  379s |      24 |  4755910 |  3874762 |      798  12472 |        0 |        0
381.33/381.49	c  381s |      24 |  4778443 |  3893462 |      798  12518 |        0 |        0
383.33/383.49	c  383s |      24 |  4802191 |  3912262 |      798  12565 |        0 |        0
385.33/385.49	c  385s |      24 |  4825587 |  3931062 |      798  12611 |        0 |        0
387.33/387.49	c  387s |      24 |  4849417 |  3950662 |      798  12659 |        0 |        0
389.33/389.50	c  389s |      24 |  4875155 |  3970762 |      798  12709 |        0 |        0
391.33/391.50	c  391s |      24 |  4899343 |  3990062 |      798  12756 |        0 |        0
393.43/393.50	c  393s |      24 |  4925362 |  4009962 |      798  12805 |        0 |        0
395.42/395.50	c  395s |      24 |  4950437 |  4029362 |      798  12853 |        0 |        0
397.42/397.51	c  397s |      24 |  4972794 |  4047562 |      798  12898 |        0 |        0
399.42/399.51	c  399s |      24 |  4997640 |  4067062 |      798  12946 |        0 |        0
401.43/401.51	c  401s |      24 |  5020859 |  4086062 |      798  12992 |        0 |        0
403.42/403.52	c  403s |      24 |  5046219 |  4105762 |      798  13041 |        0 |        0
405.43/405.53	c  405s |      24 |  5072503 |  4126162 |      798  13091 |        0 |        0
407.43/407.53	c  407s |      24 |  5099156 |  4146462 |      798  13141 |        0 |        0
409.43/409.53	c  409s |      24 |  5122214 |  4165262 |      798  13187 |        0 |        0
411.44/411.54	c  411s |      24 |  5147278 |  4185562 |      798  13237 |        0 |        0
413.43/413.54	c  413s |      24 |  5170118 |  4204462 |      798  13284 |        0 |        0
415.43/415.55	c  415s |      24 |  5191268 |  4222262 |      798  13328 |        0 |        0
417.43/417.56	c  417s |      24 |  5212051 |  4240162 |      798  13371 |        0 |        0
419.43/419.57	c  419s |      24 |  5234693 |  4259262 |      798  13418 |        0 |        0
421.43/421.57	c  421s |      24 |  5257956 |  4278662 |      798  13467 |        0 |        0
423.43/423.58	c  423s |      24 |  5282651 |  4298562 |      798  13516 |        0 |        0
425.42/425.58	c  425s |      24 |  5306150 |  4318162 |      798  13564 |        0 |        0
427.52/427.60	c  427s |      24 |  5328530 |  4336662 |      798  13610 |        0 |        0
429.52/429.60	c  429s |      24 |  5350335 |  4355162 |      798  13655 |        0 |        0
431.52/431.60	c  431s |      24 |  5373345 |  4374562 |      798  13703 |        0 |        0
433.52/433.61	c  433s |      24 |  5396975 |  4393662 |      798  13751 |        0 |        0
435.52/435.61	c  435s |      24 |  5420661 |  4412962 |      798  13798 |        0 |        0
437.52/437.61	c  437s |      24 |  5445304 |  4432962 |      798  13848 |        0 |        0
439.52/439.62	c  439s |      24 |  5467485 |  4451662 |      798  13894 |        0 |        0
441.52/441.62	c  441s |      24 |  5489658 |  4470162 |      798  13939 |        0 |        0
443.53/443.63	c  443s |      24 |  5512032 |  4488562 |      798  13984 |        0 |        0
445.53/445.63	c  445s |      24 |  5534029 |  4507162 |      798  14030 |        0 |        0
447.52/447.64	c  447s |      24 |  5556659 |  4525862 |      798  14076 |        0 |        0
449.52/449.65	c  449s |      24 |  5583153 |  4546662 |      798  14128 |        0 |        0
451.52/451.65	c  451s |      24 |  5606257 |  4565862 |      798  14175 |        0 |        0
453.52/453.66	c  453s |      24 |  5628253 |  4584162 |      798  14220 |        0 |        0
455.52/455.66	c  455s |      24 |  5648490 |  4601362 |      798  14262 |        0 |        0
457.53/457.67	c  457s |      24 |  5670327 |  4619362 |      798  14306 |        0 |        0
459.52/459.67	c  459s |      24 |  5693461 |  4637762 |      798  14351 |        0 |        0
461.52/461.68	c  461s |      24 |  5718996 |  4657162 |      798  14399 |        0 |        0
463.52/463.69	c  463s |      24 |  5743860 |  4676062 |      798  14446 |        0 |        0
465.52/465.69	c  465s |      24 |  5764527 |  4693262 |      798  14488 |        0 |        0
467.52/467.69	c  467s |      24 |  5785999 |  4710862 |      798  14531 |        0 |        0
469.52/469.69	c  469s |      24 |  5808974 |  4729362 |      798  14576 |        0 |        0
471.52/471.69	c  471s |      24 |  5829396 |  4746862 |      798  14619 |        0 |        0
473.52/473.69	c  473s |      24 |  5851746 |  4765462 |      798  14664 |        0 |        0
475.61/475.70	c  475s |      24 |  5873839 |  4783762 |      798  14709 |        0 |        0
477.61/477.71	c  477s |      24 |  5895572 |  4801962 |      798  14754 |        0 |        0
479.62/479.71	c  479s |      24 |  5916980 |  4820462 |      798  14800 |        0 |        0
481.61/481.71	c  481s |      24 |  5939691 |  4839562 |      798  14847 |        0 |        0
483.61/483.72	c  483s |      24 |  5961311 |  4857762 |      798  14892 |        0 |        0
485.61/485.73	c  485s |      24 |  5984546 |  4876562 |      798  14938 |        0 |        0
487.61/487.73	c  487s |      24 |  6008859 |  4896262 |      798  14986 |        0 |        0
489.61/489.74	c  489s |      24 |  6033615 |  4916062 |      798  15035 |        0 |        0
491.62/491.74	c  491s |      24 |  6061389 |  4936962 |      798  15087 |        0 |        0
493.61/493.74	c  493s |      24 |  6086507 |  4957162 |      798  15137 |        0 |        0
495.61/495.75	c  495s |      24 |  6112676 |  4977562 |      798  15187 |        0 |        0
497.61/497.76	c  497s |      24 |  6135589 |  4997062 |      798  15235 |        0 |        0
499.61/499.76	c  499s |      24 |  6162502 |  5017962 |      798  15287 |        0 |        0
501.62/501.76	c  501s |      24 |  6186416 |  5037362 |      878  15333 |        0 |        0
503.61/503.76	c  503s |      24 |  6208883 |  5055662 |      878  15374 |        0 |        0
504.71/504.82	c  504s |      25 |  6220414 |  5065098 |      878  15395 |        0 |        0
506.72/506.82	c  506s |      25 |  6241653 |  5082598 |      878  15434 |        0 |        0
508.72/508.83	c  508s |      25 |  6263496 |  5101198 |      878  15475 |        0 |        0
510.71/510.84	c  510s |      25 |  6283712 |  5118798 |      878  15515 |        0 |        0
512.71/512.84	c  512s |      25 |  6301840 |  5134898 |      878  15550 |        0 |        0
514.72/514.84	c  514s |      25 |  6319952 |  5151198 |      878  15587 |        0 |        0
516.71/516.85	c  516s |      25 |  6339908 |  5168598 |      878  15625 |        0 |        0
518.71/518.85	c  518s |      25 |  6361341 |  5186498 |      878  15665 |        0 |        0
520.71/520.86	c  520s |      25 |  6382530 |  5204298 |      878  15705 |        0 |        0
522.71/522.87	c  522s |      25 |  6402731 |  5221698 |      878  15744 |        0 |        0
524.72/524.87	c  524s |      25 |  6421552 |  5237998 |      878  15780 |        0 |        0
526.71/526.87	c  526s |      25 |  6443149 |  5256098 |      878  15820 |        0 |        0
528.71/528.88	c  528s |      25 |  6465919 |  5274498 |      878  15861 |        0 |        0
530.71/530.89	c  530s |      25 |  6485992 |  5291798 |      878  15900 |        0 |        0
532.81/532.90	c  532s |      25 |  6507923 |  5309698 |      878  15940 |        0 |        0
534.81/534.90	c  534s |      25 |  6528885 |  5327398 |      878  15979 |        0 |        0
536.81/536.90	c  536s |      25 |  6550420 |  5345298 |      878  16019 |        0 |        0
538.81/538.91	c  538s |      25 |  6570736 |  5362698 |      878  16058 |        0 |        0
540.81/540.92	c  540s |      25 |  6591594 |  5380298 |      878  16097 |        0 |        0
542.80/542.93	c  542s |      25 |  6612214 |  5397598 |      878  16135 |        0 |        0
544.80/544.93	c  544s |      25 |  6632555 |  5414798 |      878  16174 |        0 |        0
546.80/546.94	c  546s |      25 |  6653497 |  5432198 |      878  16212 |        0 |        0
548.81/548.96	c  548s |      25 |  6673675 |  5449598 |      878  16251 |        0 |        0
550.80/550.96	c  550s |      25 |  6696505 |  5467998 |      878  16293 |        0 |        0
552.80/552.96	c  552s |      25 |  6717740 |  5485398 |      878  16332 |        0 |        0
554.80/554.96	c  554s |      25 |  6736814 |  5501998 |      878  16369 |        0 |        0
556.80/556.97	c  556s |      25 |  6757074 |  5518998 |      878  16407 |        0 |        0
558.81/558.98	c  558s |      25 |  6778377 |  5536698 |      878  16446 |        0 |        0
560.80/560.99	c  560s |      25 |  6797002 |  5552698 |      878  16482 |        0 |        0
562.80/562.99	c  562s |      25 |  6816171 |  5569198 |      878  16519 |        0 |        0
564.80/564.99	c  564s |      25 |  6835540 |  5585698 |      878  16556 |        0 |        0
566.90/567.00	c  566s |      25 |  6855856 |  5602798 |      878  16594 |        0 |        0
568.90/569.01	c  569s |      25 |  6877090 |  5620298 |      878  16633 |        0 |        0
570.90/571.02	c  571s |      25 |  6896250 |  5636998 |      878  16670 |        0 |        0
572.90/573.03	c  573s |      25 |  6915940 |  5654098 |      878  16709 |        0 |        0
574.90/575.05	c  575s |      25 |  6933512 |  5669798 |      878  16744 |        0 |        0
576.90/577.06	c  577s |      25 |  6952587 |  5685998 |      878  16780 |        0 |        0
578.90/579.06	c  579s |      25 |  6971147 |  5702198 |      878  16816 |        0 |        0
580.90/581.07	c  581s |      25 |  6990227 |  5718698 |      878  16852 |        0 |        0
582.91/583.08	c  583s |      25 |  7010345 |  5735798 |      878  16891 |        0 |        0
584.90/585.08	c  585s |      25 |  7030315 |  5752798 |      878  16928 |        0 |        0
586.90/587.09	c  587s |      25 |  7049575 |  5769398 |      878  16965 |        0 |        0
588.90/589.10	c  589s |      25 |  7069177 |  5786098 |      878  17002 |        0 |        0
591.00/591.10	c  591s |      25 |  7087622 |  5801998 |      878  17038 |        0 |        0
593.00/593.11	c  593s |      25 |  7106399 |  5818098 |      878  17074 |        0 |        0
595.01/595.12	c  595s |      25 |  7125231 |  5834498 |      878  17111 |        0 |        0
597.00/597.12	c  597s |      25 |  7144844 |  5850998 |      878  17147 |        0 |        0
599.00/599.13	c  599s |      25 |  7162798 |  5866898 |      878  17183 |        0 |        0
601.00/601.14	c  601s |      25 |  7181031 |  5883098 |      878  17219 |        0 |        0
603.00/603.15	c  603s |      25 |  7202405 |  5900598 |      878  17258 |        0 |        0
605.00/605.16	c  605s |      25 |  7221158 |  5917098 |      878  17295 |        0 |        0
607.00/607.16	c  607s |      25 |  7240399 |  5933798 |      878  17332 |        0 |        0
609.00/609.17	c  609s |      25 |  7262840 |  5951598 |      878  17372 |        0 |        0
610.99/611.18	c  611s |      25 |  7286385 |  5969898 |      878  17413 |        0 |        0
612.99/613.19	c  613s |      25 |  7307152 |  5987098 |      878  17452 |        0 |        0
614.99/615.19	c  615s |      25 |  7327077 |  6003798 |      878  17489 |        0 |        0
617.00/617.19	c  617s |      25 |  7347267 |  6020698 |      878  17527 |        0 |        0
618.99/619.19	c  619s |      25 |  7367596 |  6037798 |      878  17566 |        0 |        0
621.09/621.20	c  621s |      25 |  7386961 |  6054798 |      878  17604 |        0 |        0
623.09/623.21	c  623s |      25 |  7406879 |  6071598 |      878  17642 |        0 |        0
625.09/625.22	c  625s |      25 |  7426273 |  6088298 |      878  17679 |        0 |        0
627.09/627.22	c  627s |      25 |  7443657 |  6103998 |      878  17714 |        0 |        0
629.10/629.23	c  629s |      25 |  7461752 |  6120098 |      878  17750 |        0 |        0
631.09/631.23	c  631s |      25 |  7479693 |  6135898 |      878  17785 |        0 |        0
633.09/633.24	c  633s |      25 |  7500244 |  6152898 |      878  17823 |        0 |        0
635.10/635.25	c  635s |      25 |  7521270 |  6170398 |      878  17862 |        0 |        0
637.10/637.26	c  637s |      25 |  7540296 |  6186798 |      878  17898 |        0 |        0
639.10/639.26	c  639s |      25 |  7562269 |  6205098 |      878  17939 |        0 |        0
641.09/641.26	c  641s |      25 |  7584825 |  6223598 |      878  17980 |        0 |        0
643.09/643.26	c  643s |      25 |  7604817 |  6240698 |      878  18018 |        0 |        0
645.09/645.28	c  645s |      25 |  7624544 |  6257198 |      878  18055 |        0 |        0
647.09/647.29	c  647s |      25 |  7644628 |  6274098 |      878  18092 |        0 |        0
649.09/649.29	c  649s |      25 |  7665780 |  6291398 |      878  18130 |        0 |        0
651.20/651.30	c  651s |      25 |  7685003 |  6307998 |      878  18167 |        0 |        0
653.19/653.31	c  653s |      25 |  7703866 |  6324398 |      878  18204 |        0 |        0
655.19/655.32	c  655s |      25 |  7724430 |  6341798 |      878  18242 |        0 |        0
657.19/657.32	c  657s |      25 |  7744924 |  6359198 |      878  18281 |        0 |        0
659.19/659.33	c  659s |      25 |  7765219 |  6376498 |      878  18320 |        0 |        0
661.19/661.34	c  661s |      25 |  7784643 |  6393198 |      878  18357 |        0 |        0
663.19/663.35	c  663s |      25 |  7804799 |  6410498 |      878  18395 |        0 |        0
665.19/665.36	c  665s |      25 |  7826704 |  6428198 |      878  18435 |        0 |        0
667.19/667.37	c  667s |      25 |  7846412 |  6444898 |      878  18472 |        0 |        0
669.19/669.38	c  669s |      25 |  7869631 |  6462998 |      878  18513 |        0 |        0
671.19/671.38	c  671s |      25 |  7893490 |  6481498 |      878  18554 |        0 |        0
673.19/673.39	c  673s |      25 |  7913718 |  6498898 |      878  18592 |        0 |        0
675.18/675.39	c  675s |      25 |  7933456 |  6515698 |      878  18630 |        0 |        0
677.28/677.40	c  677s |      25 |  7954796 |  6533498 |      878  18669 |        0 |        0
679.28/679.40	c  679s |      25 |  7976496 |  6551098 |      878  18708 |        0 |        0
681.28/681.42	c  681s |      25 |  7996654 |  6568298 |      878  18747 |        0 |        0
683.28/683.42	c  683s |      25 |  8016516 |  6585298 |      878  18784 |        0 |        0
685.30/685.42	c  685s |      25 |  8034995 |  6601598 |      878  18821 |        0 |        0
687.29/687.43	c  687s |      25 |  8054304 |  6618198 |      878  18858 |        0 |        0
689.29/689.43	c  689s |      25 |  8072722 |  6634398 |      878  18894 |        0 |        0
691.29/691.44	c  691s |      25 |  8091546 |  6650798 |      878  18930 |        0 |        0
693.29/693.45	c  693s |      25 |  8110557 |  6667198 |      878  18967 |        0 |        0
695.29/695.46	c  695s |      25 |  8129985 |  6683898 |      878  19004 |        0 |        0
697.29/697.47	c  697s |      25 |  8149610 |  6700898 |      878  19042 |        0 |        0
699.28/699.48	c  699s |      25 |  8168005 |  6717198 |      878  19078 |        0 |        0
701.28/701.49	c  701s |      25 |  8186404 |  6733598 |      878  19115 |        0 |        0
703.38/703.50	c  703s |      25 |  8204851 |  6749998 |      878  19151 |        0 |        0
705.38/705.51	c  705s |      25 |  8223289 |  6766498 |      878  19188 |        0 |        0
707.38/707.52	c  707s |      25 |  8243456 |  6783798 |      878  19227 |        0 |        0
709.39/709.53	c  709s |      25 |  8265689 |  6801998 |      878  19267 |        0 |        0
711.38/711.53	c  711s |      25 |  8285673 |  6818998 |      878  19305 |        0 |        0
713.38/713.54	c  713s |      25 |  8305807 |  6836298 |      878  19344 |        0 |        0
715.38/715.54	c  715s |      25 |  8325630 |  6853098 |      878  19381 |        0 |        0
717.38/717.55	c  717s |      25 |  8345580 |  6870698 |      878  19421 |        0 |        0
719.39/719.56	c  719s |      25 |  8368069 |  6889598 |      878  19463 |        0 |        0
721.38/721.56	c  721s |      25 |  8390214 |  6908198 |      878  19505 |        0 |        0
723.38/723.57	c  723s |      25 |  8410485 |  6925898 |      878  19544 |        0 |        0
725.38/725.58	c  725s |      25 |  8433950 |  6944498 |      878  19586 |        0 |        0
727.38/727.59	c  727s |      25 |  8455147 |  6962498 |      878  19626 |        0 |        0
729.38/729.59	c  729s |      25 |  8480408 |  6981698 |      878  19668 |        0 |        0
731.38/731.60	c  731s |      25 |  8502867 |  7000398 |      878  19710 |        0 |        0
733.48/733.60	c  733s |      25 |  8523590 |  7018398 |      878  19750 |        0 |        0
735.48/735.60	c  735s |      25 |  8546360 |  7037398 |      878  19793 |        0 |        0
737.47/737.61	c  737s |      25 |  8569683 |  7056398 |      878  19836 |        0 |        0
739.47/739.61	c  739s |      25 |  8592596 |  7074998 |      878  19878 |        0 |        0
741.47/741.62	c  741s |      25 |  8615125 |  7093698 |      878  19920 |        0 |        0
743.48/743.63	c  743s |      25 |  8637247 |  7112298 |      878  19961 |        0 |        0
745.47/745.64	c  745s |      25 |  8660497 |  7131398 |      878  20004 |        0 |        0
747.47/747.64	c  747s |      25 |  8683612 |  7150298 |      878  20047 |        0 |        0
749.48/749.65	c  749s |      25 |  8707952 |  7169798 |      878  20090 |        0 |        0
751.48/751.66	c  751s |      25 |  8730791 |  7188798 |      878  20133 |        0 |        0
753.48/753.66	c  753s |      25 |  8753162 |  7207798 |      878  20176 |        0 |        0
755.48/755.67	c  755s |      25 |  8777195 |  7227498 |      878  20220 |        0 |        0
757.48/757.67	c  757s |      25 |  8800955 |  7246898 |      878  20263 |        0 |        0
759.48/759.68	c  759s |      25 |  8825380 |  7266298 |      878  20307 |        0 |        0
761.48/761.69	c  761s |      25 |  8847633 |  7284698 |      878  20348 |        0 |        0
763.48/763.69	c  763s |      25 |  8871201 |  7303598 |      878  20390 |        0 |        0
765.48/765.70	c  765s |      25 |  8892531 |  7321498 |      878  20430 |        0 |        0
767.57/767.70	c  767s |      25 |  8912923 |  7339098 |      878  20470 |        0 |        0
769.57/769.71	c  769s |      25 |  8934510 |  7357298 |      878  20511 |        0 |        0
771.57/771.71	c  771s |      25 |  8957077 |  7375598 |      878  20552 |        0 |        0
773.57/773.72	c  773s |      25 |  8981612 |  7395298 |      878  20596 |        0 |        0
775.57/775.73	c  775s |      25 |  9004056 |  7414098 |      878  20638 |        0 |        0
777.58/777.73	c  777s |      25 |  9028083 |  7433398 |      878  20682 |        0 |        0
779.57/779.73	c  779s |      25 |  9051742 |  7452598 |      878  20725 |        0 |        0
781.57/781.73	c  781s |      25 |  9075287 |  7471498 |      878  20767 |        0 |        0
783.57/783.74	c  783s |      25 |  9097455 |  7489898 |      878  20808 |        0 |        0
785.57/785.74	c  785s |      25 |  9121381 |  7508898 |      878  20851 |        0 |        0
787.57/787.74	c  787s |      25 |  9146166 |  7528298 |      878  20895 |        0 |        0
789.56/789.75	c  789s |      25 |  9169128 |  7547298 |      966  20936 |        0 |        0
791.56/791.75	c  791s |      25 |  9192998 |  7566398 |      966  20976 |        0 |        0
793.57/793.75	c  793s |      25 |  9214790 |  7584598 |      966  21013 |        0 |        0
795.07/795.25	c  795s |      26 |  9230066 |  7597752 |      966  21040 |        0 |        0
797.07/797.25	c  797s |      26 |  9254440 |  7616452 |      966  21078 |        0 |        0
799.07/799.26	c  799s |      26 |  9273071 |  7632952 |      966  21111 |        0 |        0
801.07/801.27	c  801s |      26 |  9295854 |  7651352 |      966  21149 |        0 |        0
803.07/803.27	c  803s |      26 |  9316126 |  7668652 |      966  21184 |        0 |        0
805.08/805.28	c  805s |      26 |  9339390 |  7686952 |      966  21221 |        0 |        0
807.07/807.28	c  807s |      26 |  9359723 |  7704152 |      966  21256 |        0 |        0
809.07/809.29	c  809s |      26 |  9379874 |  7721052 |      966  21291 |        0 |        0
811.07/811.29	c  811s |      26 |  9400404 |  7738252 |      966  21326 |        0 |        0
813.17/813.30	c  813s |      26 |  9420520 |  7755352 |      966  21360 |        0 |        0
815.17/815.30	c  815s |      26 |  9442474 |  7773052 |      966  21396 |        0 |        0
817.18/817.31	c  817s |      26 |  9464439 |  7790652 |      966  21432 |        0 |        0
819.17/819.31	c  819s |      26 |  9485884 |  7807952 |      966  21468 |        0 |        0
821.17/821.31	c  821s |      26 |  9507096 |  7825452 |      966  21503 |        0 |        0
823.17/823.32	c  823s |      26 |  9529305 |  7843652 |      966  21540 |        0 |        0
825.17/825.33	c  825s |      26 |  9550315 |  7861352 |      966  21576 |        0 |        0
827.17/827.33	c  827s |      26 |  9573876 |  7880152 |      966  21614 |        0 |        0
829.17/829.34	c  829s |      26 |  9595702 |  7897952 |      966  21651 |        0 |        0
831.17/831.34	c  831s |      26 |  9617667 |  7915852 |      966  21687 |        0 |        0
833.16/833.35	c  833s |      26 |  9641744 |  7934352 |      966  21725 |        0 |        0
835.16/835.36	c  835s |      26 |  9664638 |  7952052 |      966  21761 |        0 |        0
837.16/837.36	c  837s |      26 |  9684654 |  7968952 |      966  21795 |        0 |        0
839.17/839.37	c  839s |      26 |  9705234 |  7986452 |      966  21831 |        0 |        0
841.16/841.37	c  841s |      26 |  9725660 |  8003852 |      966  21866 |        0 |        0
843.16/843.38	c  843s |      26 |  9745069 |  8020652 |      966  21900 |        0 |        0
845.16/845.39	c  845s |      26 |  9765402 |  8037952 |      966  21935 |        0 |        0
847.26/847.40	c  847s |      26 |  9784849 |  8054752 |      966  21970 |        0 |        0
849.26/849.40	c  849s |      26 |  9806034 |  8072252 |      966  22005 |        0 |        0
851.16/851.40	c  851s |      26 |  9827629 |  8089952 |      966  22041 |        0 |        0
853.25/853.41	c  853s |      26 |  9849703 |  8108052 |      966  22078 |        0 |        0
855.25/855.41	c  855s |      26 |  9870759 |  8125452 |      966  22114 |        0 |        0
857.25/857.41	c  857s |      26 |  9890220 |  8142252 |      966  22148 |        0 |        0
859.25/859.41	c  859s |      26 |  9912586 |  8160852 |      966  22186 |        0 |        0
861.25/861.42	c  861s |      26 |  9934275 |  8178852 |      966  22223 |        0 |        0
863.25/863.42	c  863s |      26 |  9954444 |  8195552 |      966  22257 |        0 |        0
865.24/865.42	c  865s |      26 |  9975229 |  8212852 |      966  22292 |        0 |        0
867.25/867.43	c  867s |      26 |  9994493 |  8229452 |      966  22326 |        0 |        0
869.25/869.44	c  869s |      26 | 10013429 |  8245752 |      966  22359 |        0 |        0
871.25/871.45	c  871s |      26 | 10034601 |  8263052 |      966  22395 |        0 |        0
873.25/873.45	c  873s |      26 | 10055726 |  8281052 |      966  22431 |        0 |        0
875.25/875.46	c  875s |      26 | 10078949 |  8299752 |      966  22469 |        0 |        0
877.25/877.46	c  877s |      26 | 10103950 |  8318852 |      966  22508 |        0 |        0
879.25/879.46	c  879s |      26 | 10126072 |  8336852 |      966  22545 |        0 |        0
881.25/881.47	c  881s |      26 | 10146763 |  8354152 |      966  22580 |        0 |        0
883.25/883.47	c  883s |      26 | 10168398 |  8371752 |      966  22616 |        0 |        0
885.24/885.49	c  885s |      26 | 10190909 |  8389652 |      966  22652 |        0 |        0
887.24/887.49	c  887s |      26 | 10214108 |  8407752 |      966  22689 |        0 |        0
889.34/889.50	c  889s |      26 | 10237260 |  8426152 |      966  22727 |        0 |        0
891.34/891.51	c  891s |      26 | 10261147 |  8445152 |      966  22766 |        0 |        0
893.34/893.51	c  893s |      26 | 10285645 |  8464052 |      966  22804 |        0 |        0
895.34/895.52	c  895s |      26 | 10308759 |  8482352 |      966  22841 |        0 |        0
897.34/897.52	c  897s |      26 | 10333870 |  8501452 |      966  22880 |        0 |        0
899.33/899.54	c  899s |      26 | 10355018 |  8519252 |      966  22917 |        0 |        0
901.33/901.54	c  901s |      26 | 10375797 |  8536752 |      966  22952 |        0 |        0
903.33/903.55	c  903s |      26 | 10395600 |  8553652 |      966  22986 |        0 |        0
905.33/905.56	c  905s |      26 | 10418147 |  8571552 |      966  23023 |        0 |        0
907.33/907.57	c  907s |      26 | 10438481 |  8588452 |      966  23057 |        0 |        0
909.33/909.58	c  909s |      26 | 10459334 |  8605652 |      966  23092 |        0 |        0
911.33/911.59	c  911s |      26 | 10478429 |  8622152 |      966  23126 |        0 |        0
913.32/913.59	c  913s |      26 | 10498096 |  8639052 |      966  23160 |        0 |        0
915.32/915.59	c  915s |      26 | 10517459 |  8655752 |      966  23194 |        0 |        0
917.42/917.60	c  917s |      26 | 10538784 |  8673352 |      966  23230 |        0 |        0
919.43/919.61	c  919s |      26 | 10561672 |  8691452 |      966  23267 |        0 |        0
921.42/921.62	c  921s |      26 | 10583631 |  8709252 |      966  23303 |        0 |        0
923.41/923.62	c  923s |      26 | 10606116 |  8727052 |      966  23339 |        0 |        0
925.41/925.62	c  925s |      26 | 10628364 |  8745452 |      966  23377 |        0 |        0
927.41/927.63	c  927s |      26 | 10648817 |  8762552 |      966  23412 |        0 |        0
929.42/929.64	c  929s |      26 | 10670859 |  8780352 |      966  23448 |        0 |        0
931.42/931.65	c  931s |      26 | 10691704 |  8797452 |      966  23483 |        0 |        0
933.41/933.65	c  933s |      26 | 10712740 |  8814952 |      966  23518 |        0 |        0
935.41/935.65	c  935s |      26 | 10735121 |  8833052 |      966  23555 |        0 |        0
937.41/937.66	c  937s |      26 | 10757461 |  8851052 |      966  23592 |        0 |        0
939.41/939.66	c  939s |      26 | 10778665 |  8868352 |      966  23627 |        0 |        0
941.42/941.67	c  941s |      26 | 10802813 |  8886752 |      966  23665 |        0 |        0
943.40/943.68	c  943s |      26 | 10826099 |  8905152 |      966  23702 |        0 |        0
945.40/945.69	c  945s |      26 | 10848606 |  8923052 |      966  23739 |        0 |        0
947.40/947.69	c  947s |      26 | 10871063 |  8940852 |      966  23775 |        0 |        0
949.50/949.70	c  949s |      26 | 10893786 |  8958852 |      966  23811 |        0 |        0
951.50/951.70	c  951s |      26 | 10916811 |  8976752 |      966  23848 |        0 |        0
953.51/953.71	c  953s |      26 | 10938097 |  8994352 |      966  23883 |        0 |        0
955.50/955.71	c  955s |      26 | 10958789 |  9011452 |      966  23918 |        0 |        0
957.50/957.72	c  957s |      26 | 10979669 |  9028652 |      966  23953 |        0 |        0
959.50/959.72	c  959s |      26 | 11002191 |  9047052 |      966  23991 |        0 |        0
961.49/961.72	c  961s |      26 | 11024778 |  9065452 |      966  24028 |        0 |        0
963.49/963.73	c  963s |      26 | 11047246 |  9083552 |      966  24065 |        0 |        0
965.49/965.73	c  965s |      26 | 11068850 |  9101052 |      966  24101 |        0 |        0
967.49/967.74	c  967s |      26 | 11089829 |  9118452 |      966  24136 |        0 |        0
969.49/969.75	c  969s |      26 | 11111488 |  9135952 |      966  24172 |        0 |        0
971.49/971.75	c  971s |      26 | 11132196 |  9152852 |      966  24206 |        0 |        0
973.49/973.75	c  973s |      26 | 11155054 |  9170952 |      966  24243 |        0 |        0
975.49/975.76	c  975s |      26 | 11178183 |  9189652 |      966  24281 |        0 |        0
977.49/977.76	c  977s |      26 | 11198260 |  9206852 |      966  24316 |        0 |        0
979.49/979.78	c  979s |      26 | 11216323 |  9222752 |      966  24348 |        0 |        0
981.48/981.79	c  981s |      26 | 11236313 |  9239752 |      966  24383 |        0 |        0
983.48/983.79	c  983s |      26 | 11256958 |  9256752 |      966  24418 |        0 |        0
985.58/985.80	c  985s |      26 | 11276994 |  9273852 |      966  24453 |        0 |        0
987.59/987.81	c  987s |      26 | 11301526 |  9292852 |      966  24492 |        0 |        0
989.58/989.81	c  989s |      26 | 11324252 |  9311252 |      966  24529 |        0 |        0
991.58/991.82	c  991s |      26 | 11343601 |  9328052 |      966  24563 |        0 |        0
993.57/993.83	c  993s |      26 | 11364341 |  9345352 |      966  24598 |        0 |        0
995.57/995.83	c  995s |      26 | 11382522 |  9361552 |      966  24631 |        0 |        0
997.58/997.84	c  997s |      26 | 11401781 |  9378352 |      966  24665 |        0 |        0
999.57/999.85	c  999s |      26 | 11423189 |  9395952 |      966  24701 |        0 |        0
1001.57/1001.86	c 1001s |      26 | 11443813 |  9413052 |      966  24736 |        0 |        0
1003.57/1003.86	c 1003s |      26 | 11461175 |  9428552 |      966  24768 |        0 |        0
1005.57/1005.87	c 1005s |      26 | 11480841 |  9445552 |      966  24803 |        0 |        0
1007.56/1007.87	c 1007s |      26 | 11500940 |  9462652 |      966  24837 |        0 |        0
1009.57/1009.87	c 1009s |      26 | 11521012 |  9479952 |      966  24873 |        0 |        0
1011.56/1011.88	c 1011s |      26 | 11542809 |  9498052 |      966  24910 |        0 |        0
1013.56/1013.88	c 1013s |      26 | 11564303 |  9515652 |      966  24946 |        0 |        0
1015.56/1015.89	c 1015s |      26 | 11584491 |  9532952 |      966  24981 |        0 |        0
1017.56/1017.89	c 1017s |      26 | 11602650 |  9549352 |      966  25014 |        0 |        0
1019.66/1019.90	c 1019s |      26 | 11623442 |  9566952 |      966  25050 |        0 |        0
1021.67/1021.91	c 1021s |      26 | 11643841 |  9584552 |      966  25086 |        0 |        0
1023.66/1023.92	c 1023s |      26 | 11664578 |  9602052 |      966  25122 |        0 |        0
1025.66/1025.93	c 1025s |      26 | 11685114 |  9619552 |      966  25157 |        0 |        0
1027.66/1027.93	c 1027s |      26 | 11704078 |  9635952 |      966  25190 |        0 |        0
1029.66/1029.93	c 1029s |      26 | 11722841 |  9652152 |      966  25223 |        0 |        0
1031.66/1031.94	c 1031s |      26 | 11744845 |  9669552 |      966  25259 |        0 |        0
1033.65/1033.95	c 1033s |      26 | 11768819 |  9688152 |      966  25296 |        0 |        0
1035.65/1035.95	c 1035s |      26 | 11791267 |  9706552 |      966  25334 |        0 |        0
1037.65/1037.95	c 1037s |      26 | 11814015 |  9724852 |      966  25371 |        0 |        0
1039.65/1039.96	c 1039s |      26 | 11838156 |  9743652 |      966  25409 |        0 |        0
1041.65/1041.96	c 1041s |      26 | 11860335 |  9761752 |      966  25446 |        0 |        0
1043.65/1043.96	c 1043s |      26 | 11881473 |  9779252 |      966  25482 |        0 |        0
1045.64/1045.97	c 1045s |      26 | 11903380 |  9797152 |      966  25519 |        0 |        0
1047.64/1047.97	c 1047s |      26 | 11923775 |  9814452 |      966  25554 |        0 |        0
1049.64/1049.98	c 1049s |      26 | 11945553 |  9832152 |      966  25590 |        0 |        0
1051.64/1051.99	c 1051s |      26 | 11968444 |  9850352 |      966  25627 |        0 |        0
1053.64/1053.99	c 1053s |      26 | 11989995 |  9867852 |      966  25663 |        0 |        0
1055.63/1055.99	c 1055s |      26 | 12010402 |  9884952 |      966  25698 |        0 |        0
1057.73/1058.00	c 1057s |      26 | 12033400 |  9903352 |      966  25735 |        0 |        0
1059.73/1060.00	c 1059s |      26 | 12054575 |  9920952 |      966  25771 |        0 |        0
1061.73/1062.01	c 1062s |      26 | 12076603 |  9938752 |      966  25807 |        0 |        0
1063.73/1064.03	c 1064s |      26 | 12097097 |  9955952 |      966  25842 |        0 |        0
1065.74/1066.03	c 1066s |      26 | 12118391 |  9973452 |      966  25878 |        0 |        0
1067.73/1068.03	c 1068s |      26 | 12139439 |  9990452 |      966  25912 |        0 |        0
1069.73/1070.04	c 1070s |      26 | 12159562 | 10007352 |      966  25947 |        0 |        0
1071.73/1072.04	c 1072s |      26 | 12179222 | 10024152 |      966  25981 |        0 |        0
1073.72/1074.05	c 1074s |      26 | 12197619 | 10040152 |      966  26014 |        0 |        0
1075.72/1076.06	c 1076s |      26 | 12215043 | 10055352 |      966  26045 |        0 |        0
1077.73/1078.07	c 1078s |      26 | 12233540 | 10071452 |      966  26077 |        0 |        0
1079.72/1080.07	c 1080s |      26 | 12252628 | 10087752 |      966  26110 |        0 |        0
1081.72/1082.08	c 1082s |      26 | 12270780 | 10103552 |      966  26142 |        0 |        0
1083.72/1084.09	c 1084s |      26 | 12286868 | 10118352 |      966  26173 |        0 |        0
1085.72/1086.10	c 1086s |      26 | 12305636 | 10134452 |      966  26205 |        0 |        0
1087.82/1088.10	c 1088s |      26 | 12326847 | 10151852 |      966  26241 |        0 |        0
1089.72/1090.10	c 1090s |      26 | 12346752 | 10168552 |      966  26275 |        0 |        0
1091.81/1092.10	c 1092s |      26 | 12365291 | 10184352 |      966  26307 |        0 |        0
1093.81/1094.11	c 1094s |      26 | 12385147 | 10201052 |      966  26341 |        0 |        0
1095.81/1096.12	c 1096s |      26 | 12405426 | 10217852 |      966  26375 |        0 |        0
1097.81/1098.12	c 1098s |      26 | 12425317 | 10234252 |      966  26409 |        0 |        0
1099.82/1100.13	c 1100s |      26 | 12447342 | 10251852 |      966  26445 |        0 |        0
1101.81/1102.13	c 1102s |      26 | 12466429 | 10268252 |      966  26478 |        0 |        0
1103.81/1104.15	c 1104s |      26 | 12485236 | 10284352 |      966  26511 |        0 |        0
1105.80/1106.15	c 1106s |      26 | 12504332 | 10300852 |      966  26545 |        0 |        0
1107.80/1108.15	c 1108s |      26 | 12522568 | 10316952 |      966  26577 |        0 |        0
1109.80/1110.15	c 1110s |      26 | 12540596 | 10332752 |      966  26610 |        0 |        0
1111.81/1112.15	c 1112s |      26 | 12560097 | 10349252 |      966  26643 |        0 |        0
1113.80/1114.16	c 1114s |      26 | 12581509 | 10366752 |      966  26679 |        0 |        0
1115.80/1116.17	c 1116s |      26 | 12599369 | 10382352 |      966  26711 |        0 |        0
1117.81/1118.18	c 1118s |      26 | 12617091 | 10397652 |      966  26742 |        0 |        0
1119.81/1120.19	c 1120s |      26 | 12635960 | 10413452 |      966  26774 |        0 |        0
1121.91/1122.20	c 1122s |      26 | 12653734 | 10428752 |      966  26805 |        0 |        0
1123.91/1124.21	c 1124s |      26 | 12672739 | 10444852 |      966  26838 |        0 |        0
1125.90/1126.22	c 1126s |      26 | 12694084 | 10461852 |      966  26873 |        0 |        0
1127.90/1128.22	c 1128s |      26 | 12716538 | 10479552 |      966  26909 |        0 |        0
1129.90/1130.22	c 1130s |      26 | 12740429 | 10498152 |      966  26947 |        0 |        0
1131.90/1132.23	c 1132s |      26 | 12765925 | 10517052 |      966  26986 |        0 |        0
1133.90/1134.24	c 1134s |      26 | 12789500 | 10535652 |      966  27024 |        0 |        0
1135.89/1136.25	c 1136s |      26 | 12812035 | 10553852 |      966  27061 |        0 |        0
1137.89/1138.25	c 1138s |      26 | 12835290 | 10572352 |      966  27099 |        0 |        0
1139.89/1140.25	c 1140s |      26 | 12858334 | 10590952 |      966  27137 |        0 |        0
1141.89/1142.25	c 1142s |      26 | 12880276 | 10608852 |      966  27173 |        0 |        0
1143.88/1144.25	c 1144s |      26 | 12901039 | 10626152 |      966  27209 |        0 |        0
1145.89/1146.26	c 1146s |      26 | 12924275 | 10644852 |      966  27247 |        0 |        0
1147.88/1148.27	c 1148s |      26 | 12942933 | 10661152 |      966  27280 |        0 |        0
1149.88/1150.27	c 1150s |      26 | 12966351 | 10679652 |      966  27318 |        0 |        0
1151.88/1152.28	c 1152s |      26 | 12990314 | 10698852 |      966  27358 |        0 |        0
1153.87/1154.28	c 1154s |      26 | 13016017 | 10718052 |      966  27397 |        0 |        0
1155.88/1156.28	c 1156s |      26 | 13038166 | 10736052 |      966  27434 |        0 |        0
1157.87/1158.29	c 1158s |      26 | 13059347 | 10753752 |      966  27470 |        0 |        0
1159.87/1160.29	c 1160s |      26 | 13082823 | 10772152 |      966  27508 |        0 |        0
1161.97/1162.30	c 1162s |      26 | 13108197 | 10791052 |      966  27547 |        0 |        0
1163.97/1164.30	c 1164s |      26 | 13131438 | 10809252 |      966  27584 |        0 |        0
1165.97/1166.31	c 1166s |      26 | 13152445 | 10826752 |      966  27619 |        0 |        0
1167.98/1168.32	c 1168s |      26 | 13172144 | 10843552 |      966  27654 |        0 |        0
1169.97/1170.32	c 1170s |      26 | 13192193 | 10860752 |      966  27689 |        0 |        0
1171.97/1172.33	c 1172s |      26 | 13215210 | 10879052 |      966  27726 |        0 |        0
1173.96/1174.34	c 1174s |      26 | 13236864 | 10896852 |      966  27763 |        0 |        0
1175.96/1176.34	c 1176s |      26 | 13259768 | 10915652 |      966  27801 |        0 |        0
1177.96/1178.34	c 1178s |      26 | 13284557 | 10934552 |      966  27840 |        0 |        0
1179.97/1180.35	c 1180s |      26 | 13308493 | 10952352 |      966  27876 |        0 |        0
1181.96/1182.35	c 1182s |      26 | 13331105 | 10970352 |      966  27913 |        0 |        0
1183.96/1184.35	c 1184s |      26 | 13355728 | 10988952 |      966  27951 |        0 |        0
1185.96/1186.36	c 1186s |      26 | 13379163 | 11007352 |      966  27988 |        0 |        0
1187.95/1188.37	c 1188s |      26 | 13403180 | 11025952 |      966  28026 |        0 |        0
1189.96/1190.38	c 1190s |      26 | 13427480 | 11045052 |      966  28066 |        0 |        0
1191.95/1192.39	c 1192s |      26 | 13450761 | 11063052 |      966  28102 |        0 |        0
1193.95/1194.39	c 1194s |      26 | 13475758 | 11081452 |      966  28140 |        0 |        0
1195.96/1196.39	c 1196s |      26 | 13499434 | 11100252 |      966  28179 |        0 |        0
1198.06/1198.40	c 1198s |      26 | 13522395 | 11118352 |      966  28216 |        0 |        0
1200.06/1200.41	c 1200s |      26 | 13548005 | 11137352 |      966  28254 |        0 |        0
1202.06/1202.41	c 1202s |      26 | 13573185 | 11155952 |      966  28293 |        0 |        0
1204.05/1204.41	c 1204s |      26 | 13594344 | 11173152 |      966  28328 |        0 |        0
1206.05/1206.42	c 1206s |      26 | 13615817 | 11190752 |      966  28364 |        0 |        0
1208.05/1208.43	c 1208s |      26 | 13640149 | 11209652 |      966  28403 |        0 |        0
1210.05/1210.44	c 1210s |      26 | 13663275 | 11228052 |      966  28440 |        0 |        0
1212.05/1212.45	c 1212s |      26 | 13685180 | 11246052 |      966  28477 |        0 |        0
1214.05/1214.46	c 1214s |      26 | 13709327 | 11264652 |      966  28516 |        0 |        0
1216.04/1216.46	c 1216s |      26 | 13731513 | 11282352 |      966  28552 |        0 |        0
1218.04/1218.46	c 1218s |      26 | 13754765 | 11300652 |      966  28589 |        0 |        0
1220.04/1220.47	c 1220s |      26 | 13775779 | 11317652 |     1063  28624 |        0 |        0
1222.04/1222.47	c 1222s |      26 | 13797364 | 11335052 |     1063  28656 |        0 |        0
1224.05/1224.48	c 1224s |      26 | 13820128 | 11353152 |     1063  28689 |        0 |        0
1226.04/1226.49	c 1226s |      26 | 13843416 | 11371152 |     1063  28723 |        0 |        0
1228.14/1228.50	c 1228s |      26 | 13863048 | 11387452 |     1063  28753 |        0 |        0
1229.24/1229.68	c 1229s |      27 | 13874323 | 11396733 |     1063  28770 |        0 |        0
1231.24/1231.68	c 1231s |      27 | 13892371 | 11412633 |     1063  28799 |        0 |        0
1233.33/1233.70	c 1233s |      27 | 13912583 | 11429333 |     1063  28830 |        0 |        0
1235.33/1235.71	c 1235s |      27 | 13934587 | 11446933 |     1063  28863 |        0 |        0
1237.33/1237.71	c 1237s |      27 | 13955702 | 11464033 |     1063  28894 |        0 |        0
1239.34/1239.72	c 1239s |      27 | 13975122 | 11480233 |     1063  28924 |        0 |        0
1241.33/1241.72	c 1241s |      27 | 13997319 | 11498033 |     1063  28957 |        0 |        0
1243.32/1243.73	c 1243s |      27 | 14018453 | 11515633 |     1063  28990 |        0 |        0
1245.32/1245.74	c 1245s |      27 | 14040008 | 11532933 |     1063  29022 |        0 |        0
1247.32/1247.74	c 1247s |      27 | 14062522 | 11550433 |     1063  29054 |        0 |        0
1249.33/1249.74	c 1249s |      27 | 14085807 | 11568133 |     1063  29087 |        0 |        0
1251.32/1251.75	c 1251s |      27 | 14108115 | 11585733 |     1063  29120 |        0 |        0
1253.32/1253.76	c 1253s |      27 | 14128036 | 11602233 |     1063  29150 |        0 |        0
1255.32/1255.77	c 1255s |      27 | 14149242 | 11619533 |     1063  29182 |        0 |        0
1257.31/1257.78	c 1257s |      27 | 14171310 | 11636833 |     1063  29215 |        0 |        0
1259.31/1259.78	c 1259s |      27 | 14192482 | 11653833 |     1063  29246 |        0 |        0
1261.32/1261.79	c 1261s |      27 | 14210882 | 11669333 |     1063  29274 |        0 |        0
1263.31/1263.79	c 1263s |      27 | 14228523 | 11684533 |     1063  29302 |        0 |        0
1265.31/1265.79	c 1265s |      27 | 14247607 | 11700433 |     1063  29332 |        0 |        0
1267.41/1267.80	c 1267s |      27 | 14267360 | 11716933 |     1063  29362 |        0 |        0
1269.41/1269.82	c 1269s |      27 | 14287313 | 11733333 |     1063  29393 |        0 |        0
1271.41/1271.82	c 1271s |      27 | 14306345 | 11749233 |     1063  29422 |        0 |        0
1273.41/1273.83	c 1273s |      27 | 14326818 | 11765833 |     1063  29452 |        0 |        0
1275.41/1275.84	c 1275s |      27 | 14347303 | 11782233 |     1063  29483 |        0 |        0
1277.41/1277.84	c 1277s |      27 | 14366425 | 11798233 |     1063  29512 |        0 |        0
1279.41/1279.85	c 1279s |      27 | 14388614 | 11815633 |     1063  29545 |        0 |        0
1281.41/1281.86	c 1281s |      27 | 14408541 | 11831833 |     1063  29574 |        0 |        0
1283.41/1283.86	c 1283s |      27 | 14425830 | 11846533 |     1063  29601 |        0 |        0
1285.41/1285.87	c 1285s |      27 | 14443501 | 11861733 |     1063  29630 |        0 |        0
1287.41/1287.88	c 1287s |      27 | 14465360 | 11879433 |     1063  29662 |        0 |        0
1289.41/1289.89	c 1289s |      27 | 14488491 | 11897533 |     1063  29696 |        0 |        0
1291.51/1291.90	c 1291s |      27 | 14509275 | 11914533 |     1063  29727 |        0 |        0
1293.50/1293.91	c 1293s |      27 | 14531448 | 11932133 |     1063  29760 |        0 |        0
1295.51/1295.92	c 1295s |      27 | 14552575 | 11949033 |     1063  29791 |        0 |        0
1297.50/1297.92	c 1297s |      27 | 14575335 | 11966833 |     1063  29824 |        0 |        0
1299.50/1299.93	c 1299s |      27 | 14596185 | 11984033 |     1063  29856 |        0 |        0
1301.50/1301.94	c 1301s |      27 | 14617523 | 12001433 |     1063  29889 |        0 |        0
1303.50/1303.95	c 1303s |      27 | 14639123 | 12018933 |     1063  29921 |        0 |        0
1305.50/1305.95	c 1305s |      27 | 14658802 | 12035033 |     1063  29951 |        0 |        0
1307.50/1307.95	c 1307s |      27 | 14679652 | 12052133 |     1063  29983 |        0 |        0
1309.49/1309.96	c 1309s |      27 | 14699993 | 12068733 |     1063  30013 |        0 |        0
1311.49/1311.97	c 1311s |      27 | 14720273 | 12085033 |     1063  30043 |        0 |        0
1313.49/1313.98	c 1313s |      27 | 14740793 | 12101533 |     1063  30074 |        0 |        0
1315.49/1315.98	c 1315s |      27 | 14760328 | 12117833 |     1063  30104 |        0 |        0
1317.59/1318.00	c 1317s |      27 | 14780734 | 12134233 |     1063  30135 |        0 |        0
1319.59/1320.01	c 1319s |      27 | 14803660 | 12152233 |     1063  30168 |        0 |        0
1321.59/1322.01	c 1321s |      27 | 14823059 | 12168333 |     1063  30198 |        0 |        0
1323.58/1324.02	c 1324s |      27 | 14842127 | 12184633 |     1063  30228 |        0 |        0
1325.58/1326.02	c 1326s |      27 | 14863984 | 12201833 |     1063  30260 |        0 |        0
1327.58/1328.03	c 1328s |      27 | 14888760 | 12220533 |     1063  30295 |        0 |        0
1329.58/1330.04	c 1330s |      27 | 14911440 | 12238533 |     1063  30328 |        0 |        0
1331.58/1332.05	c 1332s |      27 | 14934616 | 12256533 |     1063  30362 |        0 |        0
1333.57/1334.05	c 1334s |      27 | 14956217 | 12274133 |     1063  30394 |        0 |        0
1335.57/1336.06	c 1336s |      27 | 14978944 | 12291933 |     1063  30428 |        0 |        0
1337.57/1338.08	c 1338s |      27 | 15000834 | 12309733 |     1063  30461 |        0 |        0
1339.57/1340.08	c 1340s |      27 | 15021892 | 12327033 |     1063  30493 |        0 |        0
1341.58/1342.09	c 1342s |      27 | 15041379 | 12343733 |     1063  30524 |        0 |        0
1343.57/1344.09	c 1344s |      27 | 15064930 | 12362233 |     1063  30558 |        0 |        0
1345.56/1346.09	c 1346s |      27 | 15088767 | 12380633 |     1063  30593 |        0 |        0
1347.56/1348.09	c 1348s |      27 | 15109556 | 12397533 |     1063  30624 |        0 |        0
1349.66/1350.10	c 1350s |      27 | 15132241 | 12415333 |     1063  30657 |        0 |        0
1351.66/1352.10	c 1352s |      27 | 15153586 | 12432433 |     1063  30689 |        0 |        0
1353.67/1354.11	c 1354s |      27 | 15177504 | 12450333 |     1063  30722 |        0 |        0
1355.66/1356.11	c 1356s |      27 | 15200173 | 12468033 |     1063  30755 |        0 |        0
1357.66/1358.12	c 1358s |      27 | 15224078 | 12486333 |     1063  30789 |        0 |        0
1359.66/1360.12	c 1360s |      27 | 15248259 | 12504633 |     1063  30823 |        0 |        0
1361.67/1362.13	c 1362s |      27 | 15270103 | 12521733 |     1063  30855 |        0 |        0
1363.67/1364.15	c 1364s |      27 | 15292292 | 12539133 |     1063  30888 |        0 |        0
1365.66/1366.15	c 1366s |      27 | 15314506 | 12556533 |     1063  30920 |        0 |        0
1367.66/1368.16	c 1368s |      27 | 15337607 | 12574733 |     1063  30954 |        0 |        0
1369.66/1370.16	c 1370s |      27 | 15360830 | 12593033 |     1063  30988 |        0 |        0
1371.66/1372.17	c 1372s |      27 | 15383012 | 12610433 |     1063  31021 |        0 |        0
1373.66/1374.17	c 1374s |      27 | 15406652 | 12628633 |     1063  31054 |        0 |        0
1375.66/1376.18	c 1376s |      27 | 15430155 | 12646833 |     1063  31088 |        0 |        0
1377.66/1378.19	c 1378s |      27 | 15453311 | 12665033 |     1063  31122 |        0 |        0
1379.76/1380.20	c 1380s |      27 | 15473935 | 12682033 |     1063  31153 |        0 |        0
1381.75/1382.21	c 1382s |      27 | 15497464 | 12700233 |     1063  31187 |        0 |        0
1383.75/1384.21	c 1384s |      27 | 15520247 | 12718133 |     1063  31221 |        0 |        0
1385.75/1386.22	c 1386s |      27 | 15542578 | 12735533 |     1063  31253 |        0 |        0
1387.76/1388.23	c 1388s |      27 | 15563547 | 12752733 |     1063  31285 |        0 |        0
1389.75/1390.23	c 1390s |      27 | 15583143 | 12769033 |     1063  31315 |        0 |        0
1391.75/1392.24	c 1392s |      27 | 15604398 | 12786133 |     1063  31347 |        0 |        0
1393.75/1394.24	c 1394s |      27 | 15625152 | 12803033 |     1063  31379 |        0 |        0
1395.74/1396.24	c 1396s |      27 | 15646554 | 12820033 |     1063  31410 |        0 |        0
1397.75/1398.25	c 1398s |      27 | 15666402 | 12836233 |     1063  31440 |        0 |        0
1399.74/1400.26	c 1400s |      27 | 15688752 | 12853833 |     1063  31473 |        0 |        0
1401.74/1402.26	c 1402s |      27 | 15708364 | 12870133 |     1063  31503 |        0 |        0
1403.74/1404.26	c 1404s |      27 | 15725894 | 12885333 |     1063  31531 |        0 |        0
1405.74/1406.27	c 1406s |      27 | 15745958 | 12901933 |     1063  31562 |        0 |        0
1407.74/1408.27	c 1408s |      27 | 15765271 | 12918033 |     1063  31592 |        0 |        0
1409.75/1410.28	c 1410s |      27 | 15785652 | 12934833 |     1063  31623 |        0 |        0
1411.74/1412.29	c 1412s |      27 | 15809196 | 12952933 |     1063  31657 |        0 |        0
1413.83/1414.30	c 1414s |      27 | 15830290 | 12969733 |     1063  31688 |        0 |        0
1415.83/1416.30	c 1416s |      27 | 15849071 | 12985333 |     1063  31717 |        0 |        0
1417.83/1418.30	c 1418s |      27 | 15866435 | 13000233 |     1063  31745 |        0 |        0
1419.83/1420.31	c 1420s |      27 | 15887523 | 13017433 |     1063  31776 |        0 |        0
1421.84/1422.31	c 1422s |      27 | 15909256 | 13034633 |     1063  31808 |        0 |        0
1423.82/1424.31	c 1424s |      27 | 15928371 | 13050333 |     1063  31837 |        0 |        0
1425.82/1426.32	c 1426s |      27 | 15951263 | 13067733 |     1063  31870 |        0 |        0
1427.83/1428.32	c 1428s |      27 | 15971119 | 13083933 |     1063  31900 |        0 |        0
1429.82/1430.33	c 1430s |      27 | 15992013 | 13100633 |     1063  31931 |        0 |        0
1431.83/1432.33	c 1432s |      27 | 16013663 | 13117033 |     1063  31962 |        0 |        0
1433.82/1434.35	c 1434s |      27 | 16033547 | 13133133 |     1063  31991 |        0 |        0
1435.82/1436.35	c 1436s |      27 | 16052400 | 13148833 |     1063  32021 |        0 |        0
1437.82/1438.36	c 1438s |      27 | 16072225 | 13165233 |     1063  32051 |        0 |        0
1439.82/1440.36	c 1440s |      27 | 16091843 | 13181733 |     1063  32082 |        0 |        0
1441.82/1442.37	c 1442s |      27 | 16111371 | 13198033 |     1063  32112 |        0 |        0
1443.82/1444.37	c 1444s |      27 | 16131995 | 13214633 |     1063  32143 |        0 |        0
1445.82/1446.37	c 1446s |      27 | 16153333 | 13231633 |     1063  32174 |        0 |        0
1447.82/1448.38	c 1448s |      27 | 16173728 | 13248433 |     1063  32206 |        0 |        0
1449.82/1450.39	c 1450s |      27 | 16194057 | 13264933 |     1063  32237 |        0 |        0
1451.82/1452.39	c 1452s |      27 | 16213010 | 13280733 |     1063  32266 |        0 |        0
1453.91/1454.40	c 1454s |      27 | 16235594 | 13298333 |     1063  32299 |        0 |        0
1455.92/1456.41	c 1456s |      27 | 16257107 | 13315533 |     1063  32331 |        0 |        0
1457.91/1458.41	c 1458s |      27 | 16276901 | 13331633 |     1063  32361 |        0 |        0
1459.91/1460.42	c 1460s |      27 | 16297362 | 13348433 |     1063  32392 |        0 |        0
1461.91/1462.42	c 1462s |      27 | 16318008 | 13365433 |     1063  32423 |        0 |        0
1463.91/1464.43	c 1464s |      27 | 16337101 | 13381333 |     1063  32453 |        0 |        0
1465.91/1466.43	c 1466s |      27 | 16355712 | 13396733 |     1063  32482 |        0 |        0
1467.90/1468.44	c 1468s |      27 | 16377942 | 13413533 |     1063  32513 |        0 |        0
1469.90/1470.44	c 1470s |      27 | 16398661 | 13430133 |     1063  32544 |        0 |        0
1471.90/1472.45	c 1472s |      27 | 16419463 | 13446733 |     1063  32574 |        0 |        0
1473.90/1474.46	c 1474s |      27 | 16439509 | 13463033 |     1063  32605 |        0 |        0
1475.90/1476.47	c 1476s |      27 | 16458399 | 13478733 |     1063  32634 |        0 |        0
1477.91/1478.47	c 1478s |      27 | 16478248 | 13494833 |     1063  32664 |        0 |        0
1479.90/1480.47	c 1480s |      27 | 16498119 | 13510733 |     1063  32694 |        0 |        0
1481.90/1482.48	c 1482s |      27 | 16518935 | 13527133 |     1063  32724 |        0 |        0
1483.89/1484.48	c 1484s |      27 | 16537872 | 13542933 |     1063  32753 |        0 |        0
1485.89/1486.49	c 1486s |      27 | 16558870 | 13559333 |     1063  32784 |        0 |        0
1487.90/1488.49	c 1488s |      27 | 16578270 | 13575133 |     1063  32813 |        0 |        0
1489.89/1490.49	c 1490s |      27 | 16597199 | 13590633 |     1063  32842 |        0 |        0
1491.99/1492.50	c 1492s |      27 | 16616308 | 13606333 |     1063  32871 |        0 |        0
1493.99/1494.51	c 1494s |      27 | 16637950 | 13623433 |     1063  32903 |        0 |        0
1495.99/1496.51	c 1496s |      27 | 16660045 | 13640933 |     1063  32936 |        0 |        0
1497.99/1498.52	c 1498s |      27 | 16684238 | 13658933 |     1063  32969 |        0 |        0
1500.00/1500.53	c 1500s |      27 | 16708595 | 13676933 |     1063  33003 |        0 |        0
1501.99/1502.53	c 1502s |      27 | 16730945 | 13694633 |     1063  33036 |        0 |        0
1503.99/1504.54	c 1504s |      27 | 16754065 | 13712733 |     1063  33070 |        0 |        0
1505.99/1506.55	c 1506s |      27 | 16774241 | 13729233 |     1063  33100 |        0 |        0
1507.99/1508.56	c 1508s |      27 | 16794306 | 13746133 |     1063  33131 |        0 |        0
1509.99/1510.57	c 1510s |      27 | 16816039 | 13763933 |     1063  33165 |        0 |        0
1512.00/1512.57	c 1512s |      27 | 16836930 | 13781033 |     1063  33196 |        0 |        0
1513.99/1514.57	c 1514s |      27 | 16858765 | 13798433 |     1063  33229 |        0 |        0
1515.99/1516.58	c 1516s |      27 | 16877137 | 13814033 |     1063  33258 |        0 |        0
1517.99/1518.58	c 1518s |      27 | 16896329 | 13830133 |     1063  33287 |        0 |        0
1519.99/1520.59	c 1520s |      27 | 16916500 | 13846733 |     1063  33318 |        0 |        0
1522.09/1522.60	c 1522s |      27 | 16934937 | 13862533 |     1063  33347 |        0 |        0
1523.99/1524.60	c 1524s |      27 | 16952959 | 13878033 |     1063  33376 |        0 |        0
1526.09/1526.60	c 1526s |      27 | 16970918 | 13893333 |     1063  33405 |        0 |        0
1528.09/1528.60	c 1528s |      27 | 16989695 | 13909033 |     1063  33434 |        0 |        0
1530.09/1530.60	c 1530s |      27 | 17010196 | 13925333 |     1063  33464 |        0 |        0
1532.09/1532.61	c 1532s |      27 | 17030968 | 13941833 |     1063  33494 |        0 |        0
1534.10/1534.62	c 1534s |      27 | 17050017 | 13957733 |     1063  33524 |        0 |        0
1536.09/1536.63	c 1536s |      27 | 17070038 | 13974233 |     1063  33554 |        0 |        0
1538.09/1538.63	c 1538s |      27 | 17090735 | 13990833 |     1063  33585 |        0 |        0
1540.09/1540.64	c 1540s |      27 | 17111059 | 14007733 |     1063  33617 |        0 |        0
1542.09/1542.65	c 1542s |      27 | 17133737 | 14025533 |     1063  33650 |        0 |        0
1544.09/1544.66	c 1544s |      27 | 17155067 | 14043033 |     1063  33682 |        0 |        0
1546.09/1546.66	c 1546s |      27 | 17175877 | 14059733 |     1063  33714 |        0 |        0
1548.08/1548.66	c 1548s |      27 | 17197405 | 14076833 |     1063  33745 |        0 |        0
1550.08/1550.67	c 1550s |      27 | 17218049 | 14093533 |     1063  33776 |        0 |        0
1552.08/1552.67	c 1552s |      27 | 17239138 | 14110333 |     1063  33808 |        0 |        0
1554.08/1554.68	c 1554s |      27 | 17257043 | 14125533 |     1063  33836 |        0 |        0
1556.09/1556.68	c 1556s |      27 | 17277263 | 14141833 |     1063  33866 |        0 |        0
1558.08/1558.69	c 1558s |      27 | 17297948 | 14158433 |     1063  33897 |        0 |        0
1560.18/1560.70	c 1560s |      27 | 17317801 | 14174533 |     1063  33927 |        0 |        0
1562.19/1562.70	c 1562s |      27 | 17335321 | 14189633 |     1063  33955 |        0 |        0
1564.19/1564.71	c 1564s |      27 | 17353416 | 14205033 |     1063  33984 |        0 |        0
1566.19/1566.72	c 1566s |      27 | 17371846 | 14220633 |     1063  34013 |        0 |        0
1568.19/1568.73	c 1568s |      27 | 17392280 | 14237633 |     1063  34044 |        0 |        0
1570.19/1570.74	c 1570s |      27 | 17411396 | 14253733 |     1063  34074 |        0 |        0
1572.19/1572.75	c 1572s |      27 | 17431252 | 14270133 |     1063  34105 |        0 |        0
1574.18/1574.76	c 1574s |      27 | 17451134 | 14286533 |     1063  34135 |        0 |        0
1576.18/1576.77	c 1576s |      27 | 17469787 | 14302333 |     1063  34165 |        0 |        0
1578.18/1578.78	c 1578s |      27 | 17487977 | 14317933 |     1063  34194 |        0 |        0
1580.19/1580.79	c 1580s |      27 | 17507523 | 14334233 |     1063  34224 |        0 |        0
1582.28/1582.80	c 1582s |      27 | 17528826 | 14351233 |     1063  34256 |        0 |        0
1584.28/1584.80	c 1584s |      27 | 17545795 | 14366233 |     1063  34284 |        0 |        0
1586.28/1586.82	c 1586s |      27 | 17563198 | 14381433 |     1063  34312 |        0 |        0
1588.28/1588.82	c 1588s |      27 | 17584160 | 14398333 |     1063  34343 |        0 |        0
1590.28/1590.82	c 1590s |      27 | 17604158 | 14414633 |     1063  34373 |        0 |        0
1592.28/1592.83	c 1592s |      27 | 17624751 | 14431033 |     1063  34404 |        0 |        0
1594.28/1594.83	c 1594s |      27 | 17643645 | 14446733 |     1063  34433 |        0 |        0
1596.28/1596.84	c 1596s |      27 | 17664041 | 14462933 |     1063  34463 |        0 |        0
1598.28/1598.85	c 1598s |      27 | 17686506 | 14480233 |     1063  34495 |        0 |        0
1600.27/1600.85	c 1600s |      27 | 17708940 | 14497433 |     1063  34527 |        0 |        0
1602.28/1602.86	c 1602s |      27 | 17728676 | 14513633 |     1063  34557 |        0 |        0
1604.27/1604.86	c 1604s |      27 | 17747238 | 14529133 |     1063  34586 |        0 |        0
1606.27/1606.86	c 1606s |      27 | 17765781 | 14544633 |     1063  34615 |        0 |        0
1608.27/1608.86	c 1608s |      27 | 17784625 | 14560133 |     1063  34643 |        0 |        0
1610.27/1610.87	c 1610s |      27 | 17805628 | 14576933 |     1063  34675 |        0 |        0
1612.27/1612.87	c 1612s |      27 | 17827605 | 14594133 |     1063  34707 |        0 |        0
1614.28/1614.88	c 1614s |      27 | 17849648 | 14611533 |     1063  34739 |        0 |        0
1616.28/1616.88	c 1616s |      27 | 17870956 | 14628833 |     1063  34771 |        0 |        0
1618.28/1618.89	c 1618s |      27 | 17893769 | 14646833 |     1063  34805 |        0 |        0
1620.28/1620.90	c 1620s |      27 | 17913630 | 14663333 |     1063  34835 |        0 |        0
1622.38/1622.90	c 1622s |      27 | 17934412 | 14680133 |     1063  34866 |        0 |        0
1624.38/1624.91	c 1624s |      27 | 17953236 | 14695833 |     1063  34896 |        0 |        0
1626.38/1626.92	c 1626s |      27 | 17974029 | 14712033 |     1063  34926 |        0 |        0
1628.37/1628.92	c 1628s |      27 | 17996325 | 14729033 |     1063  34957 |        0 |        0
1630.37/1630.92	c 1630s |      27 | 18015315 | 14744833 |     1063  34987 |        0 |        0
1632.37/1632.92	c 1632s |      27 | 18037454 | 14761833 |     1063  35018 |        0 |        0
1634.37/1634.93	c 1634s |      27 | 18059137 | 14779033 |     1063  35050 |        0 |        0
1636.38/1636.93	c 1636s |      27 | 18081668 | 14796233 |     1063  35082 |        0 |        0
1638.37/1638.93	c 1638s |      27 | 18104968 | 14814033 |     1063  35115 |        0 |        0
1640.37/1640.94	c 1640s |      27 | 18128483 | 14832133 |     1063  35149 |        0 |        0
1642.37/1642.95	c 1642s |      27 | 18150926 | 14849433 |     1063  35181 |        0 |        0
1644.37/1644.96	c 1644s |      27 | 18173562 | 14867133 |     1063  35214 |        0 |        0
1646.37/1646.96	c 1646s |      27 | 18192303 | 14882833 |     1063  35243 |        0 |        0
1648.38/1648.97	c 1648s |      27 | 18214580 | 14900233 |     1063  35276 |        0 |        0
1650.37/1650.97	c 1650s |      27 | 18235725 | 14917333 |     1063  35307 |        0 |        0
1652.37/1652.98	c 1652s |      27 | 18258498 | 14934933 |     1063  35340 |        0 |        0
1654.37/1654.99	c 1654s |      27 | 18281908 | 14952933 |     1063  35373 |        0 |        0
1656.37/1656.99	c 1656s |      27 | 18304854 | 14970533 |     1063  35406 |        0 |        0
1658.47/1659.00	c 1658s |      27 | 18326635 | 14987733 |     1063  35438 |        0 |        0
1660.47/1661.01	c 1660s |      27 | 18348478 | 15004733 |     1063  35470 |        0 |        0
1662.47/1663.02	c 1663s |      27 | 18370810 | 15021833 |     1063  35501 |        0 |        0
1664.47/1665.02	c 1665s |      27 | 18393711 | 15039533 |     1063  35534 |        0 |        0
1666.47/1667.02	c 1667s |      27 | 18416931 | 15057533 |     1063  35568 |        0 |        0
1668.47/1669.03	c 1669s |      27 | 18440056 | 15075433 |     1063  35601 |        0 |        0
1670.47/1671.04	c 1671s |      27 | 18460257 | 15091933 |     1063  35632 |        0 |        0
1672.46/1673.04	c 1673s |      27 | 18481543 | 15109033 |     1063  35664 |        0 |        0
1674.46/1675.04	c 1675s |      27 | 18504234 | 15126733 |     1063  35697 |        0 |        0
1676.46/1677.05	c 1677s |      27 | 18526063 | 15144233 |     1063  35729 |        0 |        0
1678.46/1679.05	c 1679s |      27 | 18547049 | 15160833 |     1063  35760 |        0 |        0
1680.46/1681.05	c 1681s |      27 | 18567402 | 15176933 |     1063  35790 |        0 |        0
1682.47/1683.06	c 1683s |      27 | 18587377 | 15193033 |     1063  35820 |        0 |        0
1684.46/1685.08	c 1685s |      27 | 18609189 | 15209933 |     1063  35852 |        0 |        0
1686.46/1687.08	c 1687s |      27 | 18629306 | 15226133 |     1063  35882 |        0 |        0
1688.46/1689.09	c 1689s |      27 | 18649271 | 15242133 |     1063  35911 |        0 |        0
1690.56/1691.10	c 1691s |      27 | 18671214 | 15259533 |     1063  35944 |        0 |        0
1692.56/1693.11	c 1693s |      27 | 18691587 | 15276433 |     1063  35975 |        0 |        0
1694.57/1695.12	c 1695s |      27 | 18714804 | 15293933 |     1063  36008 |        0 |        0
1696.56/1697.12	c 1697s |      27 | 18741951 | 15312733 |     1063  36043 |        0 |        0
1698.56/1699.12	c 1699s |      27 | 18764838 | 15330333 |     1063  36076 |        0 |        0
1700.56/1701.12	c 1701s |      27 | 18784333 | 15346833 |     1063  36107 |        0 |        0
1702.56/1703.13	c 1703s |      27 | 18804636 | 15363733 |     1063  36138 |        0 |        0
1704.57/1705.14	c 1705s |      27 | 18823509 | 15379733 |     1063  36168 |        0 |        0
1706.57/1707.14	c 1707s |      27 | 18844138 | 15396633 |     1063  36199 |        0 |        0
1708.57/1709.15	c 1709s |      27 | 18864778 | 15413633 |     1063  36231 |        0 |        0
1710.56/1711.15	c 1711s |      27 | 18887442 | 15431333 |     1063  36264 |        0 |        0
1712.56/1713.15	c 1713s |      27 | 18909948 | 15449033 |     1063  36297 |        0 |        0
1714.56/1715.16	c 1715s |      27 | 18930587 | 15465833 |     1063  36328 |        0 |        0
1716.57/1717.17	c 1717s |      27 | 18952579 | 15483533 |     1063  36361 |        0 |        0
1718.56/1719.17	c 1719s |      27 | 18974756 | 15500833 |     1063  36393 |        0 |        0
1720.56/1721.17	c 1721s |      27 | 18995343 | 15517533 |     1063  36424 |        0 |        0
1722.56/1723.18	c 1723s |      27 | 19015654 | 15534233 |     1063  36456 |        0 |        0
1724.56/1725.18	c 1725s |      27 | 19034627 | 15550333 |     1063  36486 |        0 |        0
1726.57/1727.19	c 1727s |      27 | 19054811 | 15567233 |     1063  36517 |        0 |        0
1728.56/1729.19	c 1729s |      27 | 19073806 | 15583233 |     1063  36547 |        0 |        0
1730.66/1731.20	c 1731s |      27 | 19095311 | 15600333 |     1063  36579 |        0 |        0
1732.66/1733.21	c 1733s |      27 | 19114921 | 15616833 |     1063  36609 |        0 |        0
1734.66/1735.21	c 1735s |      27 | 19136573 | 15634533 |     1063  36642 |        0 |        0
1736.66/1737.22	c 1737s |      27 | 19157876 | 15651633 |     1063  36674 |        0 |        0
1738.66/1739.23	c 1739s |      27 | 19180206 | 15669233 |     1063  36707 |        0 |        0
1740.66/1741.23	c 1741s |      27 | 19200126 | 15685833 |     1063  36738 |        0 |        0
1742.66/1743.23	c 1743s |      27 | 19223125 | 15703333 |     1063  36770 |        0 |        0
1744.65/1745.24	c 1745s |      27 | 19245974 | 15721133 |     1063  36803 |        0 |        0
1746.65/1747.26	c 1747s |      27 | 19267282 | 15738433 |     1063  36836 |        0 |        0
1748.65/1749.27	c 1749s |      27 | 19288902 | 15755633 |     1063  36868 |        0 |        0
1750.66/1751.28	c 1751s |      27 | 19309281 | 15772233 |     1063  36898 |        0 |        0
1752.65/1753.28	c 1753s |      27 | 19329131 | 15788633 |     1063  36929 |        0 |        0
1754.65/1755.28	c 1755s |      27 | 19348937 | 15805033 |     1063  36959 |        0 |        0
1756.65/1757.29	c 1757s |      27 | 19369499 | 15821633 |     1063  36990 |        0 |        0
1758.65/1759.29	c 1759s |      27 | 19387163 | 15836833 |     1063  37018 |        0 |        0
1760.76/1761.30	c 1761s |      27 | 19407537 | 15853333 |     1063  37049 |        0 |        0
1762.66/1763.30	c 1763s |      27 | 19425885 | 15868833 |     1063  37078 |        0 |        0
1764.75/1765.31	c 1765s |      27 | 19444457 | 15884433 |     1063  37107 |        0 |        0
1766.75/1767.31	c 1767s |      27 | 19463104 | 15899933 |     1063  37136 |        0 |        0
1768.75/1769.32	c 1769s |      27 | 19483103 | 15916033 |     1063  37166 |        0 |        0
1770.75/1771.33	c 1771s |      27 | 19502109 | 15931533 |     1063  37195 |        0 |        0
1772.76/1773.34	c 1773s |      27 | 19520350 | 15947133 |     1063  37224 |        0 |        0
1774.75/1775.35	c 1775s |      27 | 19542733 | 15964433 |     1063  37256 |        0 |        0
1776.75/1777.35	c 1777s |      27 | 19565524 | 15982433 |     1063  37289 |        0 |        0
1778.75/1779.36	c 1779s |      27 | 19587649 | 16000233 |     1063  37323 |        0 |        0
1780.75/1781.36	c 1781s |      27 | 19612192 | 16019033 |     1063  37358 |        0 |        0
1782.75/1783.37	c 1783s |      27 | 19634456 | 16036933 |     1063  37391 |        0 |        0
1784.75/1785.38	c 1785s |      27 | 19655931 | 16054533 |     1063  37424 |        0 |        0
1786.75/1787.38	c 1787s |      27 | 19679128 | 16072533 |     1063  37458 |        0 |        0
1788.75/1789.39	c 1789s |      27 | 19703915 | 16091533 |     1063  37493 |        0 |        0
1790.85/1791.40	c 1791s |      27 | 19726871 | 16109833 |     1063  37527 |        0 |        0
1792.85/1793.41	c 1793s |      27 | 19750331 | 16128033 |     1063  37562 |        0 |        0
1794.85/1795.42	c 1795s |      27 | 19774696 | 16146733 |     1063  37597 |        0 |        0
1796.85/1797.42	c 1797s |      27 | 19794374 | 16163333 |     1063  37627 |        0 |        0
1798.85/1799.43	c 1799s |      27 | 19816068 | 16180933 |     1063  37660 |        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-4120018-1467308747/watcher-4120018-1467308747 -o /tmp/evaluation-result-4120018-1467308747/solver-4120018-1467308747 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120018-1467308747.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11740
/proc/meminfo: memFree=29365508/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 2410 0 0 0 0 0 0 0 20 0 4 0 9903968 665251840 3282 33554432000 4194304 16246674 140733792465488 140733792464912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 162927 3289 441 2943 0 159821 0
[pid=11740/tid=11741] ppid=11737 vsize=667068 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 683077632 3350 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 688320512 3367 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 692514816 3383 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11740
/proc/meminfo: memFree=29365508/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 24537 0 0 0 6 3 0 0 20 0 4 0 9903968 1247350784 25397 33554432000 4194304 16246674 140733792465488 140733792448480 13194925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 304529 25405 708 2943 0 301423 0
[pid=11740/tid=11741] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 25412 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 25418 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 25424 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200447 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11740
/proc/meminfo: memFree=29365508/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 47406 0 0 0 14 5 0 0 20 0 4 0 9903968 1247350784 48266 33554432000 4194304 16246674 140733792465488 140733792448480 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 304529 48274 709 2943 0 301423 0
[pid=11740/tid=11741] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 48283 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 48293 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 48301 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11740
/proc/meminfo: memFree=29365508/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 70044 0 0 0 20 9 0 0 20 0 4 0 9903968 1247350784 70904 33554432000 4194304 16246674 140733792465488 140733792448480 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 304529 70916 709 2943 0 301423 0
[pid=11740/tid=11741] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 70923 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 70930 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 70937 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700308 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11740
/proc/meminfo: memFree=29365508/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 161283 0 0 0 45 23 0 0 20 0 4 0 9903968 1247350784 162144 33554432000 4194304 16246674 140733792465488 140733792448480 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 304529 162154 709 2943 0 301423 0
[pid=11740/tid=11741] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 162159 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 162166 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 162173 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.55 1.88 1.70 3/184 11744
/proc/meminfo: memFree=28381932/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 245480 0 0 0 113 36 0 0 20 0 4 0 9903968 1247350784 246320 33554432000 4194304 16246674 140733792465488 140733792464800 6010834 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 304529 246320 784 2943 0 301423 0
[pid=11740/tid=11741] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 246320 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 246320 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1247350784 246320 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 1.55 1.88 1.70 3/183 11744
/proc/meminfo: memFree=28293752/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267399 0 0 0 271 38 0 0 20 0 4 0 9903968 1337528320 268239 33554432000 4194304 16246674 140733792465488 140733792448488 12478356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268239 784 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268239 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268239 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268239 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.58 1.88 1.71 3/183 11744
/proc/meminfo: memFree=28293748/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267400 0 0 0 591 38 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140733792448488 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268240 784 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.62 1.88 1.71 3/183 11744
/proc/meminfo: memFree=28295132/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267400 0 0 0 1230 38 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140733792448488 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268240 784 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268240 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.70 1.89 1.71 3/183 11744
/proc/meminfo: memFree=28295252/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267408 0 0 0 2510 39 0 0 20 0 4 0 9903968 1337528320 268248 33554432000 4194304 16246674 140733792465488 140733792448488 13965472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268248 784 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268248 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268248 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268248 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.80 1.89 1.72 3/183 11744
/proc/meminfo: memFree=28295536/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267414 0 0 0 5069 40 0 0 20 0 4 0 9903968 1337528320 268254 33554432000 4194304 16246674 140733792465488 140733792448488 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268254 786 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268254 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268254 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268254 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 1.97 1.92 1.74 3/183 11745
/proc/meminfo: memFree=28295408/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 267451 0 0 0 10187 41 0 0 20 0 4 0 9903968 1337528320 268291 33554432000 4194304 16246674 140733792465488 140733792448488 5673180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326545 268291 787 2943 0 323439 0
[pid=11740/tid=11741] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268291 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268291 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1337528320 268291 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.11 2.19 2.04 3/183 11798
/proc/meminfo: memFree=28281824/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1301.9 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268044 0 0 0 130130 60 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.04 2.16 2.03 4/183 11799
/proc/meminfo: memFree=28282124/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1361.87 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268084 0 0 0 136126 61 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 12479221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.15 2.16 2.03 3/183 11800
/proc/meminfo: memFree=28282132/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1421.84 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268121 0 0 0 142123 61 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 5677164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.21 2.17 2.04 3/184 11805
/proc/meminfo: memFree=28281828/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1481.8 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268164 0 0 0 148118 62 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 5727031 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.15 2.17 2.05 3/183 11806
/proc/meminfo: memFree=28281968/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1541.79 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 154116 63 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792448488 5523251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.05 2.13 2.04 3/183 11807
/proc/meminfo: memFree=28281800/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1601.77 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 160113 64 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.08 2.12 2.04 3/183 11808
/proc/meminfo: memFree=28282052/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1661.77 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 166112 65 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792448488 5808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.11 2.04 3/183 11809
/proc/meminfo: memFree=28281932/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1721.76 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 172110 66 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792448488 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/182 11810
/proc/meminfo: memFree=28281704/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1781.75 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 178108 67 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792447360 5724451 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.11 2.05 4/183 11860
/proc/meminfo: memFree=28379752/32872528 swapFree=1102192/1183952
[pid=11740] ppid=11737 vsize=1307204 CPUtime=1800.05 cores=0,2,4,6
/proc/11740/stat : 11740 (toysat) R 11737 11740 11495 0 -1 4202496 268173 0 0 0 179937 68 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140733792448488 5717198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11740/statm: 326801 268572 789 2943 0 323695 0
[pid=11740/tid=11741] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11741/stat : 11741 (toysat) S 11737 11740 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639469546736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11740/tid=11742] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11742/stat : 11742 (toysat) S 11737 11740 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639459056880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11740/tid=11743] ppid=11737 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11740/task/11743/stat : 11743 (toysat) S 11737 11740 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903968 1338576896 268572 33554432000 4194304 16246674 140733792465488 140639375191216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.38
CPU system time (s): 0.680896
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.680896
maximum resident set size= 1074288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268173
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= 458
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1269 second user time and 10.9283 second system time

The end

Begin job on node115 at 2016-06-30 19:45:47
IDJOB=4120018
IDBENCH=109658
IDSOLVER=2542
FILE ID=node115/4120018-1467308747
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-1.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120018-1467308747/watcher-4120018-1467308747 -o /tmp/evaluation-result-4120018-1467308747/solver-4120018-1467308747 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120018-1467308747.opb

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

MD5SUM BENCH= 4861b612062d6cfb73dedd5bacb9fff0
RANDOM SEED=22697459

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29365820 kB
Buffers:          151668 kB
Cached:           341620 kB
SwapCached:            0 kB
Active:          1361792 kB
Inactive:         215120 kB
Active(anon):    1079636 kB
Inactive(anon):     6556 kB
Active(file):     282156 kB
Inactive(file):   208564 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33072 kB
Writeback:             0 kB
AnonPages:       2267952 kB
Mapped:            17068 kB
Shmem:               204 kB
Slab:             608664 kB
SReclaimable:      51824 kB
SUnreclaim:       556840 kB
KernelStack:        1496 kB
PageTables:         8232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2404564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 71632 MiB
End job on node115 at 2016-06-30 20:15:48