0.00/0.00	c 2016-06-16T00:16:57+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-4089561-1466029017.opb"]
0.00/0.01	c use --random-gen="3094629375 3922420435 1231248814 3699131013 728915053 215118915 3953630457 2132640792 407390305 1338662794 899251082 1416473080 461295904 1344546264 1247097904 1173284351 385284056 304792109 4229973783 3090669417 4145190621 2071149057 2080854578 1900591855 1627415407 1875477114 3203371660 1557382124 2404516948 1843582782 3095222391 2900228404 4064320313 2578125627 898820601 2225398117 3052358554 1166628551 2198941867 350208926 2872374107 3530999054 3467244520 2887075072 2806809518 3028451445 4082296532 3501101251 2950998649 1682824332 3648023300 1501618787 2646640488 1294985921 2602533860 1989512437 3463474717 2397064469 225825021 767214109 1970029378 2112377722 1051374751 1249045747 2469525067 2889246974 2553281244 239655178 1162553604 4293160896 3297182215 2130820785 73495677 2687142589 1323844298 2602699947 1825866928 58896357 3839989853 4052972681 3977886206 2375080494 3317221154 4264731571 1363539073 2283210164 855867551 1428306965 957256295 1661197441 3684820876 301031971 516852112 4287040730 1254477331 1262528322 1188804380 406088738 1086124133 2051850991 991726211 1139996383 2064363432 2314114943 2315486131 3369473305 1088743548 1595561374 611256143 2765008420 3310251225 826608035 1863092488 3159406303 3098153394 2805421664 3804970421 2873916653 2592822331 3832970945 695774358 3668608598 2619928598 2865645651 1085972554 187777462 4075853431 302916817 555217251 4292848991 2843232378 2351388873 2137613877 235592243 1186407082 2614713812 1639831375 2616016300 4044258840 2546004358 105998274 475739685 70364256 724142914 511284727 1111920548 1897282121 3324676272 2847370079 4073643339 3916163840 4053861178 2958316167 699114758 1070492765 1713993445 3093307193 3026678168 2640740088 664067681 1554161377 2055247032 1303908005 377764622 637202535 3138094414 2345259844 97249494 3762873622 4124544726 1434038060 2506107818 339693694 3165894486 4022984163 2143566447 1598175971 2887412605 443552022 3564696787 2998519592 700462713 4161906041 1844279987 2021063169 2605994261 359881934 1733058195 1994952634 2399663704 2847393917 3693228396 1803975560 1357331257 442526686 3770439323 2804780530 2278847830 591747921 885883413 768922044 3644666515 2841556269 1584189946 1580107891 3952849526 4101035630 1649853981 254805800 3487889137 500793942 1584794342 890397750 3055245036 3744333250 3988842063 3635780646 2597118748 2574263991 3419013721 631134876 1327990689 2081538111 971565688 3321119111 2872276872 1172789571 3472777563 678634066 1439279834 1257448279 519764708 2874214261 3705896449 3605380671 3126877783 1951260551 1763956027 1466994018 2709606022 176225243 425761565 501642267 749810353 2014098220 794076717 1943922537 1785980067 1495507226 3566014601 1795764775 967188100 1272777129 2224036412 4170329893 2261446938 255 362436" option to reproduce the execution
0.00/0.01	c #vars 190
0.00/0.01	c #constraints 381
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      190      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      190 |      100 |      190      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      429 |      250 |      210      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      742 |      475 |      232      2 |        0 |        0
0.19/0.20	c  0.2s |       4 |     1165 |      813 |      256      3 |        0 |        0
0.29/0.33	c  0.3s |       5 |     1755 |     1320 |      282      6 |        0 |        0
0.49/0.54	c  0.5s |       6 |     2605 |     2081 |      343     10 |        0 |        0
0.78/0.84	c  0.8s |       7 |     3833 |     3223 |      378     15 |        0 |        0
1.10/1.14	c  1.1s |       8 |     5646 |     4936 |      416     22 |        0 |        0
1.58/1.64	c  1.6s |       9 |     8317 |     7506 |      458     32 |        0 |        0
2.30/2.36	c  2.3s |      10 |    12313 |    11361 |      504     46 |        0 |        0
3.40/3.45	c  3.4s |      11 |    18225 |    17144 |      555     66 |        0 |        0
4.99/5.09	c  5.1s |      12 |    27095 |    25819 |      611     93 |        0 |        0
7.09/7.11	c  7.1s |      12 |    37583 |    36019 |      611    122 |        0 |        0
7.59/7.66	c  7.6s |      13 |    40445 |    38832 |      673    130 |        0 |        0
9.59/9.68	c  9.7s |      13 |    50932 |    49132 |      673    157 |        0 |        0
11.49/11.51	c 11.5s |      14 |    60343 |    58352 |      741    181 |        0 |        0
13.49/13.53	c 13.5s |      14 |    70518 |    68252 |      741    205 |        0 |        0
15.49/15.54	c 15.5s |      14 |    80395 |    77952 |      741    228 |        0 |        0
17.49/17.54	c 17.5s |      14 |    90264 |    87552 |      816    251 |        0 |        0
17.49/17.56	c 17.5s |      15 |    90343 |    87632 |      816    251 |        0 |        0
19.49/19.57	c 19.5s |      15 |   100224 |    97232 |      816    272 |        0 |        0
21.49/21.59	c 21.6s |      15 |   109794 |   106632 |      816    293 |        0 |        0
23.58/23.60	c 23.6s |      15 |   119492 |   116132 |      816    314 |        0 |        0
25.59/25.62	c 25.6s |      15 |   128900 |   125432 |      816    335 |        0 |        0
26.88/26.93	c 26.9s |      16 |   135154 |   131552 |      898    348 |        0 |        0
28.88/28.94	c 28.9s |      16 |   145057 |   141152 |      898    368 |        0 |        0
30.89/30.96	c 30.9s |      16 |   154686 |   150652 |      898    387 |        0 |        0
32.88/32.96	c 32.9s |      16 |   164641 |   160452 |      898    407 |        0 |        0
34.88/34.97	c 35.0s |      16 |   174240 |   169952 |      898    426 |        0 |        0
36.88/36.98	c 37.0s |      16 |   183557 |   179152 |      898    445 |        0 |        0
38.88/38.99	c 39.0s |      16 |   193120 |   188552 |      898    464 |        0 |        0
40.88/40.91	c 40.9s |      17 |   202200 |   197432 |      988    482 |        0 |        0
42.89/42.92	c 42.9s |      17 |   212149 |   207132 |      988    500 |        0 |        0
44.88/44.94	c 44.9s |      17 |   221914 |   216732 |      988    518 |        0 |        0
46.88/46.96	c 46.9s |      17 |   231659 |   226332 |      988    536 |        0 |        0
48.88/48.97	c 49.0s |      17 |   240982 |   235532 |      988    553 |        0 |        0
50.88/50.97	c 51.0s |      17 |   250559 |   244932 |      988    570 |        0 |        0
52.88/52.99	c 53.0s |      17 |   260074 |   254232 |      988    587 |        0 |        0
54.98/55.00	c 55.0s |      17 |   269598 |   263532 |      988    605 |        0 |        0
56.97/57.02	c 57.0s |      17 |   278911 |   272632 |      988    622 |        0 |        0
58.97/59.02	c 59.0s |      17 |   288196 |   281732 |      988    639 |        0 |        0
60.97/61.04	c 61.0s |      17 |   297855 |   291132 |      988    656 |        0 |        0
62.07/62.18	c 62.2s |      18 |   303089 |   296252 |     1087    665 |        0 |        0
64.08/64.19	c 64.2s |      18 |   312400 |   305252 |     1087    681 |        0 |        0
66.18/66.21	c 66.2s |      18 |   321838 |   314452 |     1087    696 |        0 |        0
68.19/68.23	c 68.2s |      18 |   331302 |   323752 |     1087    712 |        0 |        0
70.18/70.25	c 70.2s |      18 |   340615 |   332852 |     1087    728 |        0 |        0
72.18/72.25	c 72.2s |      18 |   349809 |   341852 |     1087    743 |        0 |        0
74.18/74.27	c 74.3s |      18 |   359088 |   350952 |     1087    759 |        0 |        0
76.18/76.29	c 76.3s |      18 |   368142 |   359852 |     1087    774 |        0 |        0
78.19/78.29	c 78.3s |      18 |   377211 |   368752 |     1087    789 |        0 |        0
80.18/80.30	c 80.3s |      18 |   386512 |   377852 |     1087    804 |        0 |        0
82.28/82.32	c 82.3s |      18 |   395672 |   386752 |     1087    820 |        0 |        0
84.28/84.32	c 84.3s |      18 |   404601 |   395452 |     1087    835 |        0 |        0
86.28/86.33	c 86.3s |      18 |   413551 |   404252 |     1087    850 |        0 |        0
88.28/88.33	c 88.3s |      18 |   422862 |   413352 |     1087    865 |        0 |        0
90.28/90.34	c 90.3s |      18 |   432041 |   422352 |     1087    880 |        0 |        0
92.27/92.35	c 92.3s |      18 |   441046 |   431152 |     1087    895 |        0 |        0
94.27/94.36	c 94.3s |      18 |   450131 |   439952 |     1087    910 |        0 |        0
95.37/95.43	c 95.4s |      19 |   454788 |   444482 |     1196    918 |        0 |        0
97.37/97.43	c 97.4s |      19 |   464110 |   453582 |     1196    932 |        0 |        0
99.37/99.43	c 99.4s |      19 |   473159 |   462482 |     1196    946 |        0 |        0
101.37/101.46	c  101s |      19 |   482257 |   471382 |     1196    960 |        0 |        0
103.38/103.46	c  103s |      19 |   491234 |   480182 |     1196    973 |        0 |        0
105.37/105.48	c  105s |      19 |   500372 |   489082 |     1196    987 |        0 |        0
107.47/107.50	c  107s |      19 |   509225 |   497682 |     1196   1001 |        0 |        0
109.47/109.52	c  109s |      19 |   518034 |   506282 |     1196   1014 |        0 |        0
111.47/111.54	c  111s |      19 |   526956 |   514982 |     1196   1028 |        0 |        0
113.47/113.55	c  113s |      19 |   535946 |   523782 |     1196   1041 |        0 |        0
115.47/115.56	c  115s |      19 |   545039 |   532682 |     1196   1055 |        0 |        0
117.47/117.58	c  117s |      19 |   554084 |   541382 |     1196   1069 |        0 |        0
119.46/119.59	c  119s |      19 |   562877 |   549982 |     1196   1082 |        0 |        0
121.46/121.59	c  121s |      19 |   571641 |   558582 |     1196   1096 |        0 |        0
123.56/123.60	c  123s |      19 |   580598 |   567282 |     1196   1109 |        0 |        0
125.56/125.63	c  125s |      19 |   589297 |   575782 |     1196   1123 |        0 |        0
127.58/127.65	c  127s |      19 |   598391 |   584782 |     1196   1137 |        0 |        0
129.57/129.67	c  129s |      19 |   607668 |   593782 |     1196   1151 |        0 |        0
131.57/131.68	c  131s |      19 |   616599 |   602582 |     1196   1164 |        0 |        0
133.57/133.69	c  133s |      19 |   625268 |   611082 |     1196   1178 |        0 |        0
135.67/135.70	c  135s |      19 |   634036 |   619682 |     1196   1191 |        0 |        0
137.67/137.72	c  137s |      19 |   642849 |   628282 |     1196   1205 |        0 |        0
139.68/139.74	c  139s |      19 |   651480 |   636682 |     1196   1218 |        0 |        0
141.67/141.74	c  141s |      19 |   660293 |   645282 |     1196   1231 |        0 |        0
143.67/143.76	c  143s |      19 |   668995 |   653782 |     1196   1244 |        0 |        0
145.67/145.77	c  145s |      19 |   677805 |   662382 |     1316   1258 |        0 |        0
146.77/146.80	c  146s |      20 |   682362 |   666827 |     1316   1264 |        0 |        0
148.77/148.81	c  148s |      20 |   691389 |   675627 |     1316   1276 |        0 |        0
150.78/150.82	c  150s |      20 |   700041 |   684027 |     1316   1288 |        0 |        0
152.77/152.84	c  152s |      20 |   708695 |   692527 |     1316   1300 |        0 |        0
154.77/154.85	c  154s |      20 |   717381 |   701027 |     1316   1313 |        0 |        0
156.76/156.87	c  156s |      20 |   726227 |   709727 |     1316   1325 |        0 |        0
158.76/158.87	c  158s |      20 |   735044 |   718427 |     1316   1337 |        0 |        0
160.76/160.89	c  160s |      20 |   743632 |   726927 |     1316   1350 |        0 |        0
162.77/162.89	c  162s |      20 |   752150 |   735327 |     1316   1361 |        0 |        0
164.86/164.90	c  164s |      20 |   760491 |   743527 |     1316   1373 |        0 |        0
166.86/166.91	c  166s |      20 |   769677 |   752527 |     1316   1386 |        0 |        0
168.86/168.92	c  168s |      20 |   778607 |   761327 |     1316   1399 |        0 |        0
170.86/170.94	c  170s |      20 |   787590 |   770127 |     1316   1411 |        0 |        0
172.86/172.96	c  172s |      20 |   796607 |   778927 |     1316   1424 |        0 |        0
174.87/174.98	c  174s |      20 |   805154 |   787327 |     1316   1436 |        0 |        0
176.86/176.98	c  176s |      20 |   813989 |   796027 |     1316   1448 |        0 |        0
178.86/178.98	c  178s |      20 |   822670 |   804527 |     1316   1460 |        0 |        0
180.96/181.00	c  180s |      20 |   831259 |   812927 |     1316   1472 |        0 |        0
182.96/183.01	c  182s |      20 |   840088 |   821527 |     1316   1484 |        0 |        0
184.95/185.04	c  185s |      20 |   848735 |   830027 |     1316   1497 |        0 |        0
186.96/187.06	c  187s |      20 |   857541 |   838527 |     1316   1509 |        0 |        0
188.95/189.08	c  189s |      20 |   865969 |   846827 |     1316   1521 |        0 |        0
191.05/191.10	c  191s |      20 |   874938 |   855627 |     1316   1533 |        0 |        0
193.06/193.11	c  193s |      20 |   883823 |   864227 |     1316   1545 |        0 |        0
195.06/195.13	c  195s |      20 |   892594 |   872827 |     1316   1558 |        0 |        0
197.06/197.15	c  197s |      20 |   901158 |   881227 |     1316   1570 |        0 |        0
199.07/199.15	c  199s |      20 |   909663 |   889527 |     1316   1582 |        0 |        0
201.06/201.16	c  201s |      20 |   918259 |   897827 |     1316   1593 |        0 |        0
203.06/203.17	c  203s |      20 |   926664 |   906127 |     1316   1605 |        0 |        0
205.06/205.19	c  205s |      20 |   934954 |   914227 |     1316   1617 |        0 |        0
207.06/207.19	c  207s |      20 |   944488 |   923627 |     1316   1630 |        0 |        0
209.06/209.19	c  209s |      20 |   953740 |   932727 |     1316   1643 |        0 |        0
211.16/211.21	c  211s |      20 |   962846 |   941627 |     1316   1656 |        0 |        0
213.16/213.22	c  213s |      20 |   972042 |   950627 |     1316   1669 |        0 |        0
215.16/215.22	c  215s |      20 |   980974 |   959327 |     1316   1681 |        0 |        0
217.16/217.23	c  217s |      20 |   989961 |   968127 |     1316   1694 |        0 |        0
219.15/219.25	c  219s |      20 |   998751 |   976727 |     1316   1706 |        0 |        0
221.16/221.27	c  221s |      20 |  1007663 |   985427 |     1316   1718 |        0 |        0
223.15/223.27	c  223s |      20 |  1016405 |   993927 |     1448   1730 |        0 |        0
224.65/224.80	c  224s |      21 |  1023001 |  1000345 |     1448   1738 |        0 |        0
226.75/226.80	c  226s |      21 |  1032003 |  1009045 |     1448   1750 |        0 |        0
228.76/228.82	c  228s |      21 |  1041035 |  1017845 |     1448   1761 |        0 |        0
230.75/230.82	c  230s |      21 |  1049840 |  1026345 |     1448   1772 |        0 |        0
232.75/232.83	c  232s |      21 |  1058668 |  1034945 |     1448   1783 |        0 |        0
234.75/234.83	c  234s |      21 |  1067267 |  1043345 |     1448   1794 |        0 |        0
236.75/236.83	c  236s |      21 |  1076016 |  1051945 |     1448   1805 |        0 |        0
238.76/238.84	c  238s |      21 |  1084536 |  1060345 |     1448   1816 |        0 |        0
240.75/240.85	c  240s |      21 |  1093372 |  1069045 |     1448   1828 |        0 |        0
242.75/242.86	c  242s |      21 |  1102076 |  1077445 |     1448   1839 |        0 |        0
244.75/244.86	c  244s |      21 |  1110573 |  1085745 |     1448   1849 |        0 |        0
246.75/246.88	c  246s |      21 |  1119313 |  1094245 |     1448   1860 |        0 |        0
248.85/248.91	c  248s |      21 |  1128023 |  1102845 |     1448   1872 |        0 |        0
250.85/250.93	c  250s |      21 |  1136611 |  1111245 |     1448   1883 |        0 |        0
252.85/252.94	c  252s |      21 |  1145086 |  1119545 |     1448   1893 |        0 |        0
254.85/254.94	c  254s |      21 |  1153348 |  1127645 |     1448   1904 |        0 |        0
256.85/256.94	c  256s |      21 |  1162087 |  1136245 |     1448   1915 |        0 |        0
258.85/258.96	c  258s |      21 |  1170600 |  1144645 |     1448   1926 |        0 |        0
260.85/260.96	c  260s |      21 |  1179196 |  1153045 |     1448   1937 |        0 |        0
262.85/262.98	c  262s |      21 |  1187727 |  1161445 |     1448   1948 |        0 |        0
264.95/265.01	c  264s |      21 |  1196261 |  1169745 |     1448   1959 |        0 |        0
266.95/267.01	c  266s |      21 |  1204560 |  1177845 |     1448   1969 |        0 |        0
268.94/269.02	c  269s |      21 |  1212897 |  1186045 |     1448   1980 |        0 |        0
270.94/271.04	c  271s |      21 |  1221348 |  1194345 |     1448   1991 |        0 |        0
272.94/273.06	c  273s |      21 |  1229852 |  1202645 |     1448   2001 |        0 |        0
274.95/275.07	c  275s |      21 |  1238443 |  1211045 |     1448   2012 |        0 |        0
276.95/277.07	c  277s |      21 |  1246939 |  1219345 |     1448   2023 |        0 |        0
278.95/279.08	c  279s |      21 |  1255308 |  1227545 |     1448   2034 |        0 |        0
280.95/281.09	c  281s |      21 |  1263791 |  1235845 |     1448   2045 |        0 |        0
283.05/283.10	c  283s |      21 |  1272078 |  1243945 |     1448   2055 |        0 |        0
285.05/285.12	c  285s |      21 |  1280481 |  1252045 |     1448   2066 |        0 |        0
287.05/287.12	c  287s |      21 |  1288633 |  1260045 |     1448   2076 |        0 |        0
289.05/289.13	c  289s |      21 |  1296891 |  1268145 |     1448   2087 |        0 |        0
291.05/291.13	c  291s |      21 |  1305028 |  1276145 |     1448   2097 |        0 |        0
293.05/293.15	c  293s |      21 |  1313477 |  1284445 |     1448   2108 |        0 |        0
295.04/295.17	c  295s |      21 |  1322136 |  1292945 |     1448   2119 |        0 |        0
297.05/297.19	c  297s |      21 |  1330541 |  1301145 |     1448   2130 |        0 |        0
299.04/299.19	c  299s |      21 |  1338823 |  1309245 |     1448   2140 |        0 |        0
301.04/301.19	c  301s |      21 |  1347083 |  1317345 |     1448   2151 |        0 |        0
303.04/303.19	c  303s |      21 |  1355440 |  1325545 |     1448   2161 |        0 |        0
305.14/305.20	c  305s |      21 |  1363851 |  1333745 |     1448   2172 |        0 |        0
307.14/307.21	c  307s |      21 |  1372024 |  1341745 |     1448   2182 |        0 |        0
309.15/309.22	c  309s |      21 |  1380092 |  1349545 |     1448   2193 |        0 |        0
311.14/311.24	c  311s |      21 |  1388432 |  1357745 |     1448   2203 |        0 |        0
313.14/313.24	c  313s |      21 |  1396497 |  1365645 |     1448   2214 |        0 |        0
315.14/315.26	c  315s |      21 |  1404605 |  1373545 |     1448   2224 |        0 |        0
317.14/317.27	c  317s |      21 |  1412916 |  1381645 |     1448   2234 |        0 |        0
319.14/319.28	c  319s |      21 |  1420979 |  1389545 |     1448   2245 |        0 |        0
321.14/321.30	c  321s |      21 |  1428929 |  1397245 |     1448   2255 |        0 |        0
323.23/323.32	c  323s |      21 |  1438131 |  1406245 |     1448   2266 |        0 |        0
325.23/325.34	c  325s |      21 |  1447023 |  1414945 |     1448   2278 |        0 |        0
327.23/327.34	c  327s |      21 |  1455707 |  1423445 |     1448   2289 |        0 |        0
329.23/329.34	c  329s |      21 |  1464435 |  1431945 |     1448   2300 |        0 |        0
331.23/331.35	c  331s |      21 |  1472756 |  1440145 |     1448   2310 |        0 |        0
333.24/333.37	c  333s |      21 |  1481321 |  1448545 |     1448   2321 |        0 |        0
335.23/335.38	c  335s |      21 |  1489690 |  1456745 |     1448   2332 |        0 |        0
337.33/337.40	c  337s |      21 |  1498337 |  1465245 |     1448   2343 |        0 |        0
339.34/339.40	c  339s |      21 |  1506655 |  1473445 |     1448   2354 |        0 |        0
341.34/341.40	c  341s |      21 |  1515150 |  1481645 |     1448   2364 |        0 |        0
343.34/343.40	c  343s |      21 |  1523412 |  1489645 |     1448   2375 |        0 |        0
345.35/345.43	c  345s |      21 |  1531931 |  1497945 |     1593   2385 |        0 |        0
346.04/346.10	c  346s |      22 |  1534695 |  1500622 |     1593   2388 |        0 |        0
348.04/348.10	c  348s |      22 |  1543499 |  1509222 |     1593   2398 |        0 |        0
350.04/350.12	c  350s |      22 |  1551988 |  1517622 |     1593   2408 |        0 |        0
352.04/352.14	c  352s |      22 |  1560436 |  1525922 |     1593   2418 |        0 |        0
354.04/354.16	c  354s |      22 |  1569161 |  1534522 |     1593   2428 |        0 |        0
356.04/356.17	c  356s |      22 |  1577490 |  1542722 |     1593   2438 |        0 |        0
358.04/358.18	c  358s |      22 |  1586004 |  1551122 |     1593   2448 |        0 |        0
360.14/360.20	c  360s |      22 |  1594778 |  1559722 |     1593   2458 |        0 |        0
362.13/362.20	c  362s |      22 |  1603188 |  1567922 |     1593   2468 |        0 |        0
364.14/364.22	c  364s |      22 |  1611506 |  1576122 |     1593   2477 |        0 |        0
366.13/366.22	c  366s |      22 |  1619624 |  1584122 |     1593   2487 |        0 |        0
368.13/368.24	c  368s |      22 |  1628253 |  1592622 |     1593   2497 |        0 |        0
370.13/370.26	c  370s |      22 |  1636585 |  1600822 |     1593   2507 |        0 |        0
372.13/372.26	c  372s |      22 |  1644807 |  1608922 |     1593   2516 |        0 |        0
374.13/374.27	c  374s |      22 |  1652801 |  1616822 |     1593   2526 |        0 |        0
376.14/376.27	c  376s |      22 |  1661028 |  1624922 |     1593   2535 |        0 |        0
378.13/378.29	c  378s |      22 |  1669979 |  1633722 |     1593   2546 |        0 |        0
380.23/380.31	c  380s |      22 |  1678602 |  1642222 |     1593   2556 |        0 |        0
382.23/382.32	c  382s |      22 |  1687203 |  1650722 |     1593   2566 |        0 |        0
384.23/384.33	c  384s |      22 |  1695632 |  1659022 |     1593   2576 |        0 |        0
386.23/386.34	c  386s |      22 |  1703965 |  1667222 |     1593   2585 |        0 |        0
388.23/388.36	c  388s |      22 |  1712564 |  1675622 |     1593   2595 |        0 |        0
390.22/390.37	c  390s |      22 |  1720805 |  1683722 |     1593   2605 |        0 |        0
392.22/392.38	c  392s |      22 |  1729151 |  1691922 |     1593   2615 |        0 |        0
394.22/394.39	c  394s |      22 |  1737324 |  1699922 |     1593   2624 |        0 |        0
396.22/396.39	c  396s |      22 |  1745572 |  1708022 |     1593   2634 |        0 |        0
398.32/398.41	c  398s |      22 |  1753714 |  1716022 |     1593   2643 |        0 |        0
400.32/400.42	c  400s |      22 |  1761691 |  1723822 |     1593   2653 |        0 |        0
402.32/402.43	c  402s |      22 |  1770385 |  1732322 |     1593   2663 |        0 |        0
404.32/404.44	c  404s |      22 |  1778779 |  1740522 |     1593   2672 |        0 |        0
406.32/406.46	c  406s |      22 |  1786993 |  1748622 |     1593   2682 |        0 |        0
408.32/408.47	c  408s |      22 |  1795192 |  1756622 |     1593   2692 |        0 |        0
410.33/410.48	c  410s |      22 |  1803375 |  1764622 |     1593   2701 |        0 |        0
412.32/412.49	c  412s |      22 |  1811355 |  1772422 |     1593   2710 |        0 |        0
414.42/414.50	c  414s |      22 |  1820149 |  1781122 |     1593   2721 |        0 |        0
416.42/416.51	c  416s |      22 |  1828885 |  1789722 |     1593   2731 |        0 |        0
418.42/418.52	c  418s |      22 |  1837615 |  1798222 |     1593   2741 |        0 |        0
420.42/420.53	c  420s |      22 |  1846014 |  1806522 |     1593   2751 |        0 |        0
422.42/422.55	c  422s |      22 |  1854397 |  1814722 |     1593   2760 |        0 |        0
424.42/424.56	c  424s |      22 |  1862650 |  1822822 |     1593   2770 |        0 |        0
426.42/426.57	c  426s |      22 |  1870802 |  1830822 |     1593   2780 |        0 |        0
428.41/428.57	c  428s |      22 |  1879030 |  1838922 |     1593   2789 |        0 |        0
430.41/430.58	c  430s |      22 |  1887067 |  1846822 |     1593   2799 |        0 |        0
432.51/432.60	c  432s |      22 |  1895307 |  1854922 |     1593   2808 |        0 |        0
434.52/434.62	c  434s |      22 |  1903442 |  1862922 |     1593   2818 |        0 |        0
436.51/436.64	c  436s |      22 |  1911478 |  1870822 |     1593   2827 |        0 |        0
438.51/438.64	c  438s |      22 |  1919461 |  1878722 |     1593   2837 |        0 |        0
440.51/440.65	c  440s |      22 |  1927592 |  1886722 |     1593   2846 |        0 |        0
442.51/442.68	c  442s |      22 |  1935697 |  1894622 |     1593   2855 |        0 |        0
444.51/444.68	c  444s |      22 |  1943654 |  1902422 |     1593   2865 |        0 |        0
446.61/446.71	c  446s |      22 |  1951480 |  1910122 |     1593   2874 |        0 |        0
448.61/448.72	c  448s |      22 |  1960823 |  1919122 |     1593   2884 |        0 |        0
450.61/450.72	c  450s |      22 |  1969760 |  1927822 |     1593   2895 |        0 |        0
452.61/452.73	c  452s |      22 |  1978430 |  1936222 |     1593   2905 |        0 |        0
454.60/454.74	c  454s |      22 |  1987143 |  1944722 |     1593   2915 |        0 |        0
456.61/456.76	c  456s |      22 |  1995829 |  1953222 |     1593   2925 |        0 |        0
458.61/458.76	c  458s |      22 |  2004271 |  1961422 |     1593   2935 |        0 |        0
460.60/460.79	c  460s |      22 |  2012917 |  1969822 |     1593   2945 |        0 |        0
462.70/462.80	c  462s |      22 |  2021354 |  1977922 |     1593   2954 |        0 |        0
464.70/464.81	c  464s |      22 |  2029960 |  1986222 |     1593   2964 |        0 |        0
466.70/466.82	c  466s |      22 |  2038276 |  1994322 |     1593   2974 |        0 |        0
468.70/468.83	c  468s |      22 |  2046606 |  2002522 |     1593   2983 |        0 |        0
470.70/470.85	c  470s |      22 |  2054978 |  2010722 |     1593   2993 |        0 |        0
472.69/472.86	c  472s |      22 |  2063211 |  2018822 |     1593   3003 |        0 |        0
474.69/474.88	c  474s |      22 |  2071373 |  2026722 |     1593   3012 |        0 |        0
476.69/476.89	c  476s |      22 |  2079910 |  2035022 |     1593   3022 |        0 |        0
478.79/478.90	c  478s |      22 |  2088294 |  2043222 |     1593   3032 |        0 |        0
480.79/480.91	c  480s |      22 |  2096523 |  2051322 |     1593   3041 |        0 |        0
482.80/482.92	c  482s |      22 |  2104707 |  2059322 |     1593   3051 |        0 |        0
484.79/484.94	c  484s |      22 |  2112911 |  2067322 |     1593   3060 |        0 |        0
486.79/486.95	c  486s |      22 |  2121352 |  2075622 |     1593   3070 |        0 |        0
488.78/488.97	c  488s |      22 |  2129861 |  2083922 |     1593   3080 |        0 |        0
490.78/490.98	c  490s |      22 |  2138075 |  2091922 |     1593   3090 |        0 |        0
492.79/492.99	c  492s |      22 |  2146417 |  2100022 |     1593   3099 |        0 |        0
494.89/495.00	c  494s |      22 |  2154646 |  2108122 |     1593   3109 |        0 |        0
496.88/497.03	c  497s |      22 |  2162866 |  2116222 |     1593   3118 |        0 |        0
498.88/499.05	c  499s |      22 |  2170929 |  2124122 |     1593   3128 |        0 |        0
500.88/501.07	c  501s |      22 |  2179053 |  2132022 |     1593   3137 |        0 |        0
502.88/503.08	c  503s |      22 |  2187308 |  2140122 |     1593   3147 |        0 |        0
504.89/505.09	c  505s |      22 |  2195771 |  2148322 |     1593   3157 |        0 |        0
506.98/507.11	c  507s |      22 |  2204481 |  2156722 |     1593   3167 |        0 |        0
508.97/509.12	c  509s |      22 |  2212989 |  2165022 |     1593   3176 |        0 |        0
510.97/511.12	c  511s |      22 |  2221340 |  2173222 |     1593   3186 |        0 |        0
512.97/513.15	c  513s |      22 |  2229602 |  2181322 |     1593   3196 |        0 |        0
514.97/515.17	c  515s |      22 |  2237927 |  2189422 |     1593   3205 |        0 |        0
517.07/517.20	c  517s |      22 |  2246152 |  2197422 |     1593   3215 |        0 |        0
519.08/519.21	c  519s |      22 |  2254206 |  2205322 |     1593   3224 |        0 |        0
521.08/521.22	c  521s |      22 |  2262360 |  2213322 |     1593   3234 |        0 |        0
523.08/523.24	c  523s |      22 |  2270530 |  2221322 |     1593   3243 |        0 |        0
525.08/525.27	c  525s |      22 |  2278721 |  2229322 |     1593   3253 |        0 |        0
527.07/527.29	c  527s |      22 |  2286971 |  2237322 |     1753   3262 |        0 |        0
529.17/529.30	c  529s |      22 |  2294988 |  2245122 |     1753   3271 |        0 |        0
530.67/530.83	c  530s |      23 |  2301033 |  2251038 |     1753   3277 |        0 |        0
532.67/532.85	c  532s |      23 |  2309977 |  2259638 |     1753   3286 |        0 |        0
534.67/534.86	c  534s |      23 |  2318179 |  2267638 |     1753   3295 |        0 |        0
536.68/536.87	c  536s |      23 |  2326309 |  2275438 |     1753   3303 |        0 |        0
538.67/538.88	c  538s |      23 |  2334414 |  2283338 |     1753   3312 |        0 |        0
540.67/540.89	c  540s |      23 |  2342708 |  2291438 |     1753   3321 |        0 |        0
542.67/542.89	c  542s |      23 |  2350908 |  2299338 |     1753   3329 |        0 |        0
544.77/544.91	c  544s |      23 |  2359219 |  2307438 |     1753   3338 |        0 |        0
546.76/546.91	c  546s |      23 |  2367610 |  2315638 |     1753   3347 |        0 |        0
548.77/548.94	c  548s |      23 |  2375836 |  2323738 |     1753   3356 |        0 |        0
550.76/550.95	c  550s |      23 |  2384083 |  2331838 |     1753   3365 |        0 |        0
552.76/552.96	c  552s |      23 |  2392090 |  2339738 |     1753   3373 |        0 |        0
554.76/554.96	c  554s |      23 |  2400202 |  2347638 |     1753   3382 |        0 |        0
556.76/556.97	c  556s |      23 |  2408458 |  2355738 |     1753   3391 |        0 |        0
558.76/558.97	c  558s |      23 |  2416863 |  2364038 |     1753   3400 |        0 |        0
560.75/560.98	c  560s |      23 |  2425009 |  2372038 |     1753   3408 |        0 |        0
562.75/562.98	c  562s |      23 |  2433502 |  2380338 |     1753   3417 |        0 |        0
564.75/564.99	c  564s |      23 |  2441825 |  2388538 |     1753   3426 |        0 |        0
566.85/567.00	c  566s |      23 |  2449975 |  2396538 |     1753   3435 |        0 |        0
568.85/569.02	c  569s |      23 |  2458233 |  2404638 |     1753   3444 |        0 |        0
570.85/571.06	c  571s |      23 |  2466739 |  2412938 |     1753   3453 |        0 |        0
572.84/573.07	c  573s |      23 |  2475063 |  2421038 |     1753   3461 |        0 |        0
574.84/575.08	c  575s |      23 |  2483272 |  2429038 |     1753   3470 |        0 |        0
576.95/577.10	c  577s |      23 |  2491541 |  2437038 |     1753   3479 |        0 |        0
578.95/579.12	c  579s |      23 |  2499763 |  2445038 |     1753   3487 |        0 |        0
580.95/581.12	c  581s |      23 |  2508025 |  2453138 |     1753   3496 |        0 |        0
582.95/583.13	c  583s |      23 |  2516341 |  2461338 |     1753   3505 |        0 |        0
584.95/585.14	c  585s |      23 |  2524594 |  2469438 |     1753   3514 |        0 |        0
586.94/587.15	c  587s |      23 |  2532719 |  2477438 |     1753   3523 |        0 |        0
588.94/589.17	c  589s |      23 |  2540878 |  2485438 |     1753   3531 |        0 |        0
590.94/591.19	c  591s |      23 |  2549025 |  2493438 |     1753   3540 |        0 |        0
593.04/593.23	c  593s |      23 |  2556994 |  2501238 |     1753   3549 |        0 |        0
595.05/595.23	c  595s |      23 |  2565442 |  2509338 |     1753   3557 |        0 |        0
597.04/597.25	c  597s |      23 |  2573931 |  2517538 |     1753   3566 |        0 |        0
599.04/599.27	c  599s |      23 |  2582407 |  2525838 |     1753   3575 |        0 |        0
601.04/601.29	c  601s |      23 |  2590671 |  2533938 |     1753   3584 |        0 |        0
603.14/603.31	c  603s |      23 |  2598966 |  2542038 |     1753   3593 |        0 |        0
605.14/605.33	c  605s |      23 |  2607343 |  2550238 |     1753   3602 |        0 |        0
607.14/607.33	c  607s |      23 |  2615878 |  2558338 |     1753   3610 |        0 |        0
609.13/609.34	c  609s |      23 |  2624080 |  2566338 |     1753   3619 |        0 |        0
611.13/611.34	c  611s |      23 |  2632272 |  2574338 |     1753   3628 |        0 |        0
613.13/613.34	c  613s |      23 |  2640220 |  2582138 |     1753   3636 |        0 |        0
615.13/615.35	c  615s |      23 |  2648414 |  2590038 |     1753   3645 |        0 |        0
617.13/617.36	c  617s |      23 |  2656354 |  2597838 |     1753   3653 |        0 |        0
619.13/619.38	c  619s |      23 |  2664217 |  2605538 |     1753   3662 |        0 |        0
621.13/621.39	c  621s |      23 |  2672260 |  2613438 |     1753   3670 |        0 |        0
623.22/623.40	c  623s |      23 |  2680310 |  2621338 |     1753   3679 |        0 |        0
625.22/625.43	c  625s |      23 |  2688261 |  2629138 |     1753   3687 |        0 |        0
627.22/627.43	c  627s |      23 |  2695992 |  2636738 |     1753   3695 |        0 |        0
629.22/629.45	c  629s |      23 |  2704870 |  2645438 |     1753   3705 |        0 |        0
631.23/631.46	c  631s |      23 |  2713530 |  2653838 |     1753   3714 |        0 |        0
633.22/633.47	c  633s |      23 |  2722097 |  2662238 |     1753   3723 |        0 |        0
635.22/635.49	c  635s |      23 |  2730492 |  2670438 |     1753   3732 |        0 |        0
637.21/637.49	c  637s |      23 |  2738915 |  2678638 |     1753   3741 |        0 |        0
639.21/639.49	c  639s |      23 |  2747334 |  2686838 |     1753   3750 |        0 |        0
641.31/641.50	c  641s |      23 |  2755420 |  2694738 |     1753   3758 |        0 |        0
643.32/643.51	c  643s |      23 |  2764083 |  2703238 |     1753   3767 |        0 |        0
645.31/645.51	c  645s |      23 |  2772262 |  2711238 |     1753   3776 |        0 |        0
647.31/647.52	c  647s |      23 |  2780519 |  2719238 |     1753   3785 |        0 |        0
649.31/649.53	c  649s |      23 |  2789015 |  2727538 |     1753   3794 |        0 |        0
651.31/651.54	c  651s |      23 |  2797365 |  2735738 |     1753   3803 |        0 |        0
653.31/653.55	c  653s |      23 |  2805481 |  2743638 |     1753   3811 |        0 |        0
655.31/655.57	c  655s |      23 |  2814035 |  2751938 |     1753   3820 |        0 |        0
657.30/657.58	c  657s |      23 |  2822212 |  2759938 |     1753   3829 |        0 |        0
659.40/659.60	c  659s |      23 |  2830683 |  2768138 |     1753   3838 |        0 |        0
661.40/661.62	c  661s |      23 |  2839240 |  2776438 |     1753   3847 |        0 |        0
663.40/663.63	c  663s |      23 |  2847554 |  2784538 |     1753   3856 |        0 |        0
665.41/665.65	c  665s |      23 |  2855745 |  2792538 |     1753   3864 |        0 |        0
667.40/667.66	c  667s |      23 |  2863809 |  2800438 |     1753   3873 |        0 |        0
669.40/669.66	c  669s |      23 |  2872003 |  2808438 |     1753   3882 |        0 |        0
671.39/671.67	c  671s |      23 |  2880427 |  2816638 |     1753   3891 |        0 |        0
673.40/673.69	c  673s |      23 |  2888861 |  2824838 |     1753   3899 |        0 |        0
675.50/675.70	c  675s |      23 |  2897025 |  2832838 |     1753   3908 |        0 |        0
677.51/677.72	c  677s |      23 |  2905181 |  2840738 |     1753   3917 |        0 |        0
679.50/679.75	c  679s |      23 |  2913556 |  2848838 |     1753   3926 |        0 |        0
681.50/681.75	c  681s |      23 |  2921584 |  2856638 |     1753   3934 |        0 |        0
683.50/683.77	c  683s |      23 |  2929911 |  2864638 |     1753   3943 |        0 |        0
685.50/685.79	c  685s |      23 |  2938162 |  2872638 |     1753   3951 |        0 |        0
687.59/687.81	c  687s |      23 |  2946232 |  2880438 |     1753   3960 |        0 |        0
689.60/689.82	c  689s |      23 |  2954384 |  2888338 |     1753   3968 |        0 |        0
691.59/691.83	c  691s |      23 |  2962832 |  2896538 |     1753   3977 |        0 |        0
693.59/693.84	c  693s |      23 |  2971150 |  2904738 |     1753   3986 |        0 |        0
695.59/695.85	c  695s |      23 |  2979269 |  2912638 |     1753   3995 |        0 |        0
697.59/697.88	c  697s |      23 |  2987648 |  2920738 |     1753   4004 |        0 |        0
699.59/699.88	c  699s |      23 |  2995773 |  2928638 |     1753   4012 |        0 |        0
701.59/701.90	c  701s |      23 |  3003858 |  2936538 |     1753   4021 |        0 |        0
703.69/703.92	c  703s |      23 |  3012062 |  2944538 |     1753   4029 |        0 |        0
705.68/705.93	c  705s |      23 |  3019905 |  2952238 |     1753   4038 |        0 |        0
707.68/707.94	c  707s |      23 |  3028088 |  2960238 |     1753   4046 |        0 |        0
709.68/709.95	c  709s |      23 |  3035957 |  2967938 |     1753   4055 |        0 |        0
711.68/711.98	c  711s |      23 |  3043900 |  2975738 |     1753   4063 |        0 |        0
713.69/714.00	c  713s |      23 |  3052745 |  2984338 |     1753   4073 |        0 |        0
715.78/716.02	c  716s |      23 |  3061624 |  2993038 |     1753   4082 |        0 |        0
717.77/718.04	c  718s |      23 |  3070065 |  3001338 |     1753   4091 |        0 |        0
719.77/720.05	c  720s |      23 |  3078902 |  3010038 |     1753   4100 |        0 |        0
721.77/722.06	c  722s |      23 |  3087677 |  3018538 |     1753   4110 |        0 |        0
723.77/724.08	c  724s |      23 |  3096279 |  3026938 |     1753   4119 |        0 |        0
725.78/726.10	c  726s |      23 |  3104846 |  3035238 |     1753   4128 |        0 |        0
727.87/728.10	c  728s |      23 |  3113159 |  3043438 |     1753   4137 |        0 |        0
729.87/730.13	c  730s |      23 |  3121696 |  3051638 |     1753   4146 |        0 |        0
731.87/732.13	c  732s |      23 |  3130202 |  3059838 |     1753   4154 |        0 |        0
733.87/734.14	c  734s |      23 |  3138548 |  3068038 |     1753   4163 |        0 |        0
735.87/736.15	c  736s |      23 |  3146671 |  3076038 |     1753   4172 |        0 |        0
737.87/738.17	c  738s |      23 |  3155296 |  3084438 |     1753   4181 |        0 |        0
739.86/740.17	c  740s |      23 |  3163529 |  3092538 |     1753   4190 |        0 |        0
741.96/742.20	c  742s |      23 |  3171687 |  3100538 |     1753   4199 |        0 |        0
743.97/744.22	c  744s |      23 |  3179956 |  3108638 |     1753   4207 |        0 |        0
745.97/746.23	c  746s |      23 |  3188212 |  3116738 |     1753   4216 |        0 |        0
747.96/748.23	c  748s |      23 |  3196663 |  3125038 |     1753   4225 |        0 |        0
749.97/750.25	c  750s |      23 |  3205158 |  3133338 |     1753   4234 |        0 |        0
751.96/752.26	c  752s |      23 |  3213377 |  3141438 |     1753   4243 |        0 |        0
753.96/754.28	c  754s |      23 |  3221529 |  3149438 |     1753   4252 |        0 |        0
755.96/756.29	c  756s |      23 |  3229694 |  3157438 |     1753   4260 |        0 |        0
758.05/758.30	c  758s |      23 |  3237793 |  3165438 |     1753   4269 |        0 |        0
760.05/760.31	c  760s |      23 |  3245825 |  3173338 |     1753   4277 |        0 |        0
762.06/762.32	c  762s |      23 |  3254749 |  3181938 |     1753   4287 |        0 |        0
764.05/764.33	c  764s |      23 |  3263236 |  3190238 |     1753   4296 |        0 |        0
766.05/766.34	c  766s |      23 |  3271610 |  3198438 |     1753   4305 |        0 |        0
768.05/768.35	c  768s |      23 |  3279760 |  3206438 |     1753   4313 |        0 |        0
770.05/770.35	c  770s |      23 |  3287897 |  3214338 |     1753   4322 |        0 |        0
772.05/772.36	c  772s |      23 |  3296095 |  3222338 |     1753   4331 |        0 |        0
774.05/774.38	c  774s |      23 |  3304229 |  3230238 |     1753   4339 |        0 |        0
776.15/776.40	c  776s |      23 |  3312456 |  3238238 |     1753   4348 |        0 |        0
778.14/778.43	c  778s |      23 |  3320667 |  3246238 |     1753   4357 |        0 |        0
780.14/780.43	c  780s |      23 |  3328678 |  3254038 |     1753   4365 |        0 |        0
782.14/782.44	c  782s |      23 |  3336662 |  3261838 |     1753   4373 |        0 |        0
784.15/784.45	c  784s |      23 |  3345094 |  3270038 |     1753   4382 |        0 |        0
786.14/786.47	c  786s |      23 |  3353264 |  3278038 |     1753   4391 |        0 |        0
788.14/788.47	c  788s |      23 |  3361292 |  3285938 |     1753   4400 |        0 |        0
790.14/790.49	c  790s |      23 |  3369468 |  3293938 |     1753   4408 |        0 |        0
792.14/792.49	c  792s |      23 |  3377537 |  3301738 |     1753   4417 |        0 |        0
794.24/794.51	c  794s |      23 |  3385766 |  3309738 |     1753   4425 |        0 |        0
796.24/796.52	c  796s |      23 |  3393727 |  3317538 |     1753   4434 |        0 |        0
798.23/798.54	c  798s |      23 |  3401864 |  3325438 |     1753   4442 |        0 |        0
800.23/800.54	c  800s |      23 |  3409804 |  3333138 |     1753   4451 |        0 |        0
802.23/802.57	c  802s |      23 |  3418036 |  3341138 |     1753   4459 |        0 |        0
804.23/804.58	c  804s |      23 |  3426010 |  3348838 |     1753   4468 |        0 |        0
806.23/806.58	c  806s |      23 |  3434217 |  3356838 |     1929   4476 |        0 |        0
808.23/808.60	c  808s |      23 |  3442778 |  3365138 |     1929   4484 |        0 |        0
810.33/810.60	c  810s |      23 |  3451065 |  3373238 |     1929   4492 |        0 |        0
811.13/811.45	c  811s |      24 |  3454591 |  3376662 |     1929   4496 |        0 |        0
813.13/813.47	c  813s |      24 |  3463182 |  3384962 |     1929   4504 |        0 |        0
815.13/815.47	c  815s |      24 |  3471491 |  3393062 |     1929   4512 |        0 |        0
817.13/817.49	c  817s |      24 |  3480606 |  3401862 |     1929   4520 |        0 |        0
819.12/819.50	c  819s |      24 |  3489215 |  3410262 |     1929   4529 |        0 |        0
821.22/821.51	c  821s |      24 |  3497776 |  3418562 |     1929   4537 |        0 |        0
823.22/823.53	c  823s |      24 |  3506163 |  3426662 |     1929   4545 |        0 |        0
825.22/825.53	c  825s |      24 |  3514514 |  3434762 |     1929   4553 |        0 |        0
827.22/827.54	c  827s |      24 |  3523456 |  3443362 |     1929   4561 |        0 |        0
829.22/829.55	c  829s |      24 |  3532305 |  3451862 |     1929   4570 |        0 |        0
831.22/831.56	c  831s |      24 |  3540838 |  3460162 |     1929   4578 |        0 |        0
833.22/833.58	c  833s |      24 |  3549530 |  3468562 |     1929   4586 |        0 |        0
835.32/835.60	c  835s |      24 |  3558357 |  3477062 |     1929   4595 |        0 |        0
837.31/837.61	c  837s |      24 |  3566925 |  3485362 |     1929   4603 |        0 |        0
839.31/839.62	c  839s |      24 |  3575472 |  3493662 |     1929   4611 |        0 |        0
841.31/841.63	c  841s |      24 |  3583863 |  3501762 |     1929   4619 |        0 |        0
843.31/843.63	c  843s |      24 |  3592224 |  3509862 |     1929   4627 |        0 |        0
845.31/845.63	c  845s |      24 |  3600385 |  3517762 |     1929   4635 |        0 |        0
847.30/847.65	c  847s |      24 |  3608685 |  3525862 |     1929   4643 |        0 |        0
849.30/849.65	c  849s |      24 |  3617170 |  3534162 |     1929   4651 |        0 |        0
851.30/851.66	c  851s |      24 |  3625793 |  3542562 |     1929   4659 |        0 |        0
853.31/853.67	c  853s |      24 |  3634132 |  3550662 |     1929   4667 |        0 |        0
855.30/855.70	c  855s |      24 |  3642550 |  3558762 |     1929   4676 |        0 |        0
857.40/857.71	c  857s |      24 |  3651030 |  3566762 |     1929   4683 |        0 |        0
859.40/859.72	c  859s |      24 |  3659123 |  3574562 |     1929   4691 |        0 |        0
861.40/861.74	c  861s |      24 |  3667306 |  3582462 |     1929   4699 |        0 |        0
863.40/863.75	c  863s |      24 |  3675578 |  3590362 |     1929   4707 |        0 |        0
865.41/865.75	c  865s |      24 |  3683864 |  3598462 |     1929   4715 |        0 |        0
867.40/867.77	c  867s |      24 |  3692296 |  3606662 |     1929   4723 |        0 |        0
869.40/869.79	c  869s |      24 |  3700525 |  3614762 |     1929   4731 |        0 |        0
871.50/871.80	c  871s |      24 |  3708907 |  3622962 |     1929   4739 |        0 |        0
873.50/873.82	c  873s |      24 |  3716953 |  3630762 |     1929   4747 |        0 |        0
875.49/875.83	c  875s |      24 |  3725278 |  3638862 |     1929   4755 |        0 |        0
877.49/877.86	c  877s |      24 |  3733490 |  3646762 |     1929   4762 |        0 |        0
879.49/879.88	c  879s |      24 |  3741379 |  3654562 |     1929   4770 |        0 |        0
881.59/881.90	c  881s |      24 |  3749530 |  3662462 |     1929   4778 |        0 |        0
883.58/883.90	c  883s |      24 |  3757354 |  3670162 |     1929   4786 |        0 |        0
885.58/885.92	c  885s |      24 |  3765902 |  3678462 |     1929   4794 |        0 |        0
887.57/887.93	c  887s |      24 |  3774149 |  3686262 |     1929   4802 |        0 |        0
889.58/889.94	c  889s |      24 |  3782353 |  3694262 |     1929   4809 |        0 |        0
891.57/891.96	c  891s |      24 |  3790492 |  3702062 |     1929   4817 |        0 |        0
893.57/893.97	c  893s |      24 |  3798413 |  3709762 |     1929   4825 |        0 |        0
895.57/895.99	c  895s |      24 |  3806455 |  3717562 |     1929   4832 |        0 |        0
897.67/898.00	c  897s |      24 |  3814349 |  3725262 |     1929   4840 |        0 |        0
899.67/900.02	c  899s |      24 |  3822358 |  3733062 |     1929   4848 |        0 |        0
901.67/902.02	c  902s |      24 |  3830271 |  3740662 |     1929   4855 |        0 |        0
903.66/904.04	c  904s |      24 |  3838091 |  3748162 |     1929   4863 |        0 |        0
905.66/906.05	c  906s |      24 |  3846789 |  3756562 |     1929   4871 |        0 |        0
907.66/908.07	c  908s |      24 |  3855259 |  3764662 |     1929   4879 |        0 |        0
909.66/910.09	c  910s |      24 |  3863632 |  3772662 |     1929   4887 |        0 |        0
911.76/912.11	c  912s |      24 |  3871884 |  3780662 |     1929   4895 |        0 |        0
913.77/914.12	c  914s |      24 |  3880005 |  3788562 |     1929   4903 |        0 |        0
915.76/916.12	c  916s |      24 |  3888364 |  3796562 |     1929   4910 |        0 |        0
917.76/918.14	c  918s |      24 |  3896519 |  3804462 |     1929   4918 |        0 |        0
919.76/920.16	c  920s |      24 |  3904383 |  3812062 |     1929   4926 |        0 |        0
921.75/922.16	c  922s |      24 |  3912688 |  3820062 |     1929   4934 |        0 |        0
923.85/924.20	c  924s |      24 |  3920884 |  3827962 |     1929   4942 |        0 |        0
925.86/926.21	c  926s |      24 |  3928820 |  3835662 |     1929   4949 |        0 |        0
927.85/928.24	c  928s |      24 |  3936994 |  3843562 |     1929   4957 |        0 |        0
929.85/930.26	c  930s |      24 |  3945134 |  3851462 |     1929   4965 |        0 |        0
931.85/932.26	c  932s |      24 |  3953230 |  3859262 |     1929   4973 |        0 |        0
933.85/934.27	c  934s |      24 |  3961167 |  3866962 |     1929   4980 |        0 |        0
935.86/936.27	c  936s |      24 |  3968995 |  3874462 |     1929   4988 |        0 |        0
937.85/938.28	c  938s |      24 |  3977159 |  3882262 |     1929   4995 |        0 |        0
939.95/940.30	c  940s |      24 |  3985155 |  3890062 |     1929   5003 |        0 |        0
941.95/942.32	c  942s |      24 |  3993165 |  3897862 |     1929   5011 |        0 |        0
943.95/944.35	c  944s |      24 |  4001024 |  3905462 |     1929   5018 |        0 |        0
945.95/946.36	c  946s |      24 |  4008900 |  3913062 |     1929   5026 |        0 |        0
947.94/948.38	c  948s |      24 |  4017048 |  3920962 |     1929   5034 |        0 |        0
949.94/950.39	c  950s |      24 |  4024946 |  3928662 |     1929   5041 |        0 |        0
952.04/952.42	c  952s |      24 |  4032719 |  3936262 |     1929   5049 |        0 |        0
954.04/954.43	c  954s |      24 |  4040412 |  3943762 |     1929   5056 |        0 |        0
956.04/956.43	c  956s |      24 |  4047995 |  3951162 |     1929   5063 |        0 |        0
958.03/958.46	c  958s |      24 |  4056319 |  3959262 |     1929   5071 |        0 |        0
960.04/960.47	c  960s |      24 |  4064548 |  3967262 |     1929   5079 |        0 |        0
962.03/962.49	c  962s |      24 |  4072714 |  3975262 |     1929   5087 |        0 |        0
964.13/964.51	c  964s |      24 |  4080877 |  3983162 |     1929   5095 |        0 |        0
966.13/966.52	c  966s |      24 |  4088637 |  3990762 |     1929   5103 |        0 |        0
968.12/968.53	c  968s |      24 |  4096749 |  3998662 |     1929   5110 |        0 |        0
970.12/970.55	c  970s |      24 |  4104884 |  4006562 |     1929   5118 |        0 |        0
972.12/972.58	c  972s |      24 |  4112889 |  4014362 |     1929   5126 |        0 |        0
974.12/974.60	c  974s |      24 |  4121288 |  4022562 |     1929   5134 |        0 |        0
976.22/976.61	c  976s |      24 |  4129207 |  4030362 |     1929   5142 |        0 |        0
978.21/978.62	c  978s |      24 |  4137223 |  4038162 |     1929   5149 |        0 |        0
980.21/980.62	c  980s |      24 |  4145346 |  4046062 |     1929   5157 |        0 |        0
982.21/982.64	c  982s |      24 |  4153447 |  4053862 |     1929   5165 |        0 |        0
984.21/984.66	c  984s |      24 |  4161358 |  4061562 |     1929   5173 |        0 |        0
986.21/986.69	c  986s |      24 |  4169469 |  4069362 |     1929   5180 |        0 |        0
988.30/988.71	c  988s |      24 |  4177618 |  4077362 |     1929   5188 |        0 |        0
990.30/990.73	c  990s |      24 |  4185737 |  4085262 |     1929   5196 |        0 |        0
992.30/992.75	c  992s |      24 |  4193642 |  4092962 |     1929   5204 |        0 |        0
994.30/994.75	c  994s |      24 |  4201680 |  4100762 |     1929   5211 |        0 |        0
996.31/996.76	c  996s |      24 |  4209806 |  4108662 |     1929   5219 |        0 |        0
998.29/998.76	c  998s |      24 |  4217999 |  4116562 |     1929   5227 |        0 |        0
1000.29/1000.77	c 1000s |      24 |  4225904 |  4124162 |     1929   5235 |        0 |        0
1002.29/1002.79	c 1002s |      24 |  4233939 |  4131962 |     1929   5242 |        0 |        0
1004.29/1004.79	c 1004s |      24 |  4241745 |  4139462 |     1929   5250 |        0 |        0
1006.39/1006.80	c 1006s |      24 |  4249690 |  4147162 |     1929   5257 |        0 |        0
1008.39/1008.82	c 1008s |      24 |  4257466 |  4154762 |     1929   5265 |        0 |        0
1010.39/1010.83	c 1010s |      24 |  4265341 |  4162362 |     1929   5272 |        0 |        0
1012.38/1012.84	c 1012s |      24 |  4272959 |  4169762 |     1929   5280 |        0 |        0
1014.38/1014.84	c 1014s |      24 |  4280512 |  4177162 |     1929   5287 |        0 |        0
1016.38/1016.85	c 1016s |      24 |  4288614 |  4184962 |     1929   5295 |        0 |        0
1018.38/1018.86	c 1018s |      24 |  4296884 |  4192862 |     1929   5303 |        0 |        0
1020.39/1020.86	c 1020s |      24 |  4304949 |  4200762 |     1929   5310 |        0 |        0
1022.39/1022.87	c 1022s |      24 |  4313044 |  4208562 |     1929   5318 |        0 |        0
1024.39/1024.89	c 1024s |      24 |  4320800 |  4216062 |     1929   5326 |        0 |        0
1026.49/1026.90	c 1026s |      24 |  4328784 |  4223762 |     1929   5333 |        0 |        0
1028.48/1028.91	c 1028s |      24 |  4336375 |  4231062 |     1929   5340 |        0 |        0
1030.48/1030.94	c 1030s |      24 |  4344050 |  4238562 |     1929   5348 |        0 |        0
1032.49/1032.96	c 1032s |      24 |  4351655 |  4245962 |     1929   5355 |        0 |        0
1034.48/1034.96	c 1034s |      24 |  4359441 |  4253462 |     1929   5363 |        0 |        0
1036.48/1036.98	c 1036s |      24 |  4367242 |  4260962 |     1929   5370 |        0 |        0
1038.47/1038.98	c 1038s |      24 |  4374850 |  4268362 |     1929   5377 |        0 |        0
1040.57/1041.01	c 1040s |      24 |  4382488 |  4275762 |     1929   5385 |        0 |        0
1042.57/1043.01	c 1042s |      24 |  4390411 |  4283362 |     1929   5392 |        0 |        0
1044.58/1045.01	c 1044s |      24 |  4398207 |  4290962 |     1929   5400 |        0 |        0
1046.57/1047.01	c 1046s |      24 |  4405774 |  4298362 |     1929   5407 |        0 |        0
1048.57/1049.02	c 1049s |      24 |  4413211 |  4305662 |     1929   5414 |        0 |        0
1050.57/1051.02	c 1051s |      24 |  4420826 |  4313062 |     1929   5422 |        0 |        0
1052.57/1053.04	c 1053s |      24 |  4429164 |  4321062 |     1929   5430 |        0 |        0
1054.58/1055.06	c 1055s |      24 |  4437877 |  4329462 |     1929   5438 |        0 |        0
1056.57/1057.07	c 1057s |      24 |  4446523 |  4337562 |     1929   5446 |        0 |        0
1058.57/1059.09	c 1059s |      24 |  4454999 |  4345662 |     1929   5454 |        0 |        0
1060.57/1061.09	c 1061s |      24 |  4463327 |  4353662 |     1929   5462 |        0 |        0
1062.67/1063.11	c 1063s |      24 |  4471475 |  4361462 |     1929   5469 |        0 |        0
1064.67/1065.13	c 1065s |      24 |  4479766 |  4369462 |     1929   5477 |        0 |        0
1066.68/1067.14	c 1067s |      24 |  4487639 |  4377062 |     1929   5485 |        0 |        0
1068.67/1069.16	c 1069s |      24 |  4496089 |  4385162 |     1929   5493 |        0 |        0
1070.67/1071.17	c 1071s |      24 |  4504211 |  4392962 |     1929   5501 |        0 |        0
1072.67/1073.19	c 1073s |      24 |  4512149 |  4400562 |     1929   5508 |        0 |        0
1074.77/1075.20	c 1075s |      24 |  4520388 |  4408462 |     1929   5516 |        0 |        0
1076.77/1077.21	c 1077s |      24 |  4528286 |  4416062 |     1929   5523 |        0 |        0
1078.77/1079.22	c 1079s |      24 |  4536227 |  4423762 |     1929   5531 |        0 |        0
1080.76/1081.23	c 1081s |      24 |  4544472 |  4431562 |     1929   5539 |        0 |        0
1082.76/1083.23	c 1083s |      24 |  4552478 |  4439262 |     1929   5546 |        0 |        0
1084.76/1085.26	c 1085s |      24 |  4560475 |  4446962 |     1929   5554 |        0 |        0
1086.76/1087.26	c 1087s |      24 |  4568377 |  4454562 |     1929   5561 |        0 |        0
1088.76/1089.28	c 1089s |      24 |  4576326 |  4462262 |     1929   5569 |        0 |        0
1090.77/1091.29	c 1091s |      24 |  4583996 |  4469562 |     1929   5576 |        0 |        0
1092.76/1093.29	c 1093s |      24 |  4592003 |  4477262 |     1929   5584 |        0 |        0
1094.86/1095.30	c 1095s |      24 |  4600000 |  4485062 |     1929   5592 |        0 |        0
1096.86/1097.30	c 1097s |      24 |  4607982 |  4492762 |     1929   5599 |        0 |        0
1098.86/1099.32	c 1099s |      24 |  4615912 |  4500462 |     1929   5607 |        0 |        0
1100.86/1101.34	c 1101s |      24 |  4623650 |  4508062 |     1929   5614 |        0 |        0
1102.87/1103.36	c 1103s |      24 |  4631482 |  4515662 |     1929   5622 |        0 |        0
1104.86/1105.38	c 1105s |      24 |  4639752 |  4523662 |     1929   5630 |        0 |        0
1106.86/1107.38	c 1107s |      24 |  4648169 |  4531862 |     1929   5638 |        0 |        0
1108.86/1109.40	c 1109s |      24 |  4656308 |  4539762 |     1929   5646 |        0 |        0
1110.96/1111.41	c 1111s |      24 |  4664649 |  4547862 |     1929   5654 |        0 |        0
1112.96/1113.43	c 1113s |      24 |  4672748 |  4555662 |     1929   5661 |        0 |        0
1114.96/1115.44	c 1115s |      24 |  4680670 |  4563362 |     1929   5669 |        0 |        0
1116.96/1117.46	c 1117s |      24 |  4688524 |  4570862 |     1929   5677 |        0 |        0
1118.96/1119.47	c 1119s |      24 |  4696520 |  4578562 |     1929   5684 |        0 |        0
1120.96/1121.48	c 1121s |      24 |  4704292 |  4586062 |     1929   5692 |        0 |        0
1122.96/1123.48	c 1123s |      24 |  4712110 |  4593662 |     1929   5699 |        0 |        0
1124.96/1125.48	c 1125s |      24 |  4719911 |  4601162 |     1929   5707 |        0 |        0
1126.96/1127.50	c 1127s |      24 |  4727300 |  4608362 |     1929   5714 |        0 |        0
1129.06/1129.51	c 1129s |      24 |  4735039 |  4615862 |     1929   5721 |        0 |        0
1131.06/1131.52	c 1131s |      24 |  4743048 |  4623662 |     1929   5729 |        0 |        0
1133.06/1133.53	c 1133s |      24 |  4750911 |  4631262 |     1929   5736 |        0 |        0
1135.06/1135.53	c 1135s |      24 |  4758823 |  4638962 |     1929   5744 |        0 |        0
1137.07/1137.54	c 1137s |      24 |  4766594 |  4646462 |     1929   5751 |        0 |        0
1139.06/1139.55	c 1139s |      24 |  4774264 |  4653862 |     1929   5759 |        0 |        0
1141.06/1141.56	c 1141s |      24 |  4781845 |  4661162 |     1929   5766 |        0 |        0
1143.06/1143.57	c 1143s |      24 |  4789739 |  4668762 |     1929   5773 |        0 |        0
1145.06/1145.58	c 1145s |      24 |  4797276 |  4676062 |     1929   5781 |        0 |        0
1147.06/1147.59	c 1147s |      24 |  4804990 |  4683562 |     1929   5788 |        0 |        0
1149.17/1149.61	c 1149s |      24 |  4812598 |  4690862 |     1929   5795 |        0 |        0
1151.16/1151.63	c 1151s |      24 |  4820255 |  4698162 |     1929   5803 |        0 |        0
1153.16/1153.66	c 1153s |      24 |  4828657 |  4706262 |     1929   5811 |        0 |        0
1155.16/1155.68	c 1155s |      24 |  4836915 |  4714162 |     1929   5818 |        0 |        0
1157.26/1157.70	c 1157s |      24 |  4845126 |  4722062 |     1929   5826 |        0 |        0
1159.26/1159.70	c 1159s |      24 |  4852989 |  4729562 |     1929   5834 |        0 |        0
1161.26/1161.73	c 1161s |      24 |  4861109 |  4737362 |     1929   5841 |        0 |        0
1163.26/1163.74	c 1163s |      24 |  4868944 |  4744962 |     1929   5849 |        0 |        0
1165.26/1165.75	c 1165s |      24 |  4876900 |  4752662 |     1929   5856 |        0 |        0
1167.25/1167.75	c 1167s |      24 |  4884829 |  4760262 |     1929   5864 |        0 |        0
1169.25/1169.77	c 1169s |      24 |  4892658 |  4767862 |     1929   5871 |        0 |        0
1171.25/1171.78	c 1171s |      24 |  4900314 |  4775362 |     1929   5879 |        0 |        0
1173.26/1173.79	c 1173s |      24 |  4908023 |  4782862 |     1929   5886 |        0 |        0
1175.35/1175.80	c 1175s |      24 |  4915926 |  4790562 |     1929   5894 |        0 |        0
1177.35/1177.83	c 1177s |      24 |  4923922 |  4798262 |     1929   5902 |        0 |        0
1179.35/1179.84	c 1179s |      24 |  4931735 |  4805662 |     1929   5909 |        0 |        0
1181.35/1181.87	c 1181s |      24 |  4939704 |  4813362 |     1929   5917 |        0 |        0
1183.35/1183.89	c 1183s |      24 |  4947456 |  4820862 |     1929   5924 |        0 |        0
1185.36/1185.90	c 1185s |      24 |  4955387 |  4828462 |     1929   5932 |        0 |        0
1187.45/1187.91	c 1187s |      24 |  4963210 |  4835862 |     1929   5939 |        0 |        0
1189.45/1189.93	c 1189s |      24 |  4970814 |  4843062 |     1929   5946 |        0 |        0
1191.45/1191.93	c 1191s |      24 |  4978685 |  4850662 |     1929   5954 |        0 |        0
1193.45/1193.95	c 1193s |      24 |  4986480 |  4858162 |     1929   5961 |        0 |        0
1195.45/1195.97	c 1195s |      24 |  4994068 |  4865562 |     1929   5968 |        0 |        0
1197.46/1197.98	c 1197s |      24 |  5001665 |  4872862 |     1929   5976 |        0 |        0
1199.55/1200.00	c 1199s |      24 |  5009360 |  4880162 |     1929   5983 |        0 |        0
1201.55/1202.02	c 1202s |      24 |  5016935 |  4887462 |     1929   5990 |        0 |        0
1203.55/1204.02	c 1204s |      24 |  5025517 |  4895662 |     1929   5998 |        0 |        0
1205.55/1206.04	c 1206s |      24 |  5034478 |  4904162 |     1929   6006 |        0 |        0
1207.55/1208.05	c 1208s |      24 |  5042978 |  4912362 |     1929   6015 |        0 |        0
1209.55/1210.05	c 1210s |      24 |  5051851 |  4920862 |     1929   6023 |        0 |        0
1211.54/1212.07	c 1212s |      24 |  5060705 |  4929262 |     1929   6031 |        0 |        0
1213.54/1214.09	c 1214s |      24 |  5069153 |  4937362 |     1929   6039 |        0 |        0
1215.64/1216.10	c 1216s |      24 |  5077469 |  4945262 |     1929   6047 |        0 |        0
1217.64/1218.12	c 1218s |      24 |  5085673 |  4953162 |     1929   6055 |        0 |        0
1219.64/1220.13	c 1220s |      24 |  5093866 |  4961062 |     1929   6063 |        0 |        0
1221.65/1222.14	c 1222s |      24 |  5101957 |  4968862 |     1929   6070 |        0 |        0
1223.64/1224.17	c 1224s |      24 |  5109971 |  4976462 |     1929   6078 |        0 |        0
1225.64/1226.19	c 1226s |      24 |  5118296 |  4984462 |     1929   6086 |        0 |        0
1227.74/1228.21	c 1228s |      24 |  5126643 |  4992462 |     1929   6094 |        0 |        0
1229.74/1230.24	c 1230s |      24 |  5134861 |  5000362 |     1929   6102 |        0 |        0
1231.74/1232.25	c 1232s |      24 |  5142929 |  5008162 |     1929   6109 |        0 |        0
1233.75/1234.27	c 1234s |      24 |  5151111 |  5015962 |     1929   6117 |        0 |        0
1235.74/1236.27	c 1236s |      24 |  5159046 |  5023562 |     1929   6124 |        0 |        0
1237.74/1238.29	c 1238s |      24 |  5167511 |  5031762 |     2122   6132 |        0 |        0
1239.84/1240.32	c 1240s |      24 |  5175838 |  5039862 |     2122   6140 |        0 |        0
1241.84/1242.32	c 1242s |      24 |  5183926 |  5047662 |     2122   6147 |        0 |        0
1243.84/1244.34	c 1244s |      24 |  5191853 |  5055362 |     2122   6154 |        0 |        0
1245.84/1246.37	c 1246s |      24 |  5199799 |  5063062 |     2122   6161 |        0 |        0
1246.34/1246.88	c 1246s |      25 |  5201909 |  5065098 |     2122   6162 |        0 |        0
1248.34/1248.89	c 1248s |      25 |  5210235 |  5072998 |     2122   6169 |        0 |        0
1250.45/1250.90	c 1250s |      25 |  5218225 |  5080798 |     2122   6177 |        0 |        0
1252.45/1252.91	c 1252s |      25 |  5226533 |  5088898 |     2122   6184 |        0 |        0
1254.44/1254.92	c 1254s |      25 |  5234969 |  5096998 |     2122   6191 |        0 |        0
1256.44/1256.93	c 1256s |      25 |  5243364 |  5104898 |     2122   6198 |        0 |        0
1258.44/1258.94	c 1258s |      25 |  5251593 |  5112798 |     2122   6205 |        0 |        0
1260.44/1260.96	c 1260s |      25 |  5259863 |  5120798 |     2122   6213 |        0 |        0
1262.45/1262.98	c 1262s |      25 |  5268227 |  5128798 |     2122   6220 |        0 |        0
1264.44/1265.00	c 1264s |      25 |  5276818 |  5136698 |     2122   6227 |        0 |        0
1266.54/1267.00	c 1266s |      25 |  5285065 |  5144598 |     2122   6234 |        0 |        0
1268.54/1269.01	c 1268s |      25 |  5293394 |  5152598 |     2122   6241 |        0 |        0
1270.54/1271.03	c 1271s |      25 |  5301424 |  5160398 |     2122   6248 |        0 |        0
1272.54/1273.05	c 1273s |      25 |  5309432 |  5168098 |     2122   6255 |        0 |        0
1274.55/1275.07	c 1275s |      25 |  5317623 |  5175898 |     2122   6262 |        0 |        0
1276.54/1277.09	c 1277s |      25 |  5325940 |  5183898 |     2122   6270 |        0 |        0
1278.64/1279.11	c 1279s |      25 |  5333815 |  5191598 |     2122   6277 |        0 |        0
1280.64/1281.13	c 1281s |      25 |  5341734 |  5199098 |     2122   6283 |        0 |        0
1282.64/1283.15	c 1283s |      25 |  5349871 |  5206998 |     2122   6290 |        0 |        0
1284.64/1285.17	c 1285s |      25 |  5357970 |  5214698 |     2122   6297 |        0 |        0
1286.64/1287.19	c 1287s |      25 |  5366395 |  5222598 |     2122   6305 |        0 |        0
1288.74/1289.22	c 1289s |      25 |  5374437 |  5230398 |     2122   6312 |        0 |        0
1290.74/1291.23	c 1291s |      25 |  5382640 |  5238198 |     2122   6319 |        0 |        0
1292.74/1293.24	c 1293s |      25 |  5390775 |  5246098 |     2122   6326 |        0 |        0
1294.74/1295.24	c 1295s |      25 |  5398614 |  5253698 |     2122   6333 |        0 |        0
1296.73/1297.24	c 1297s |      25 |  5406661 |  5261298 |     2122   6340 |        0 |        0
1298.74/1299.26	c 1299s |      25 |  5414674 |  5268998 |     2122   6346 |        0 |        0
1300.73/1301.28	c 1301s |      25 |  5422536 |  5276598 |     2122   6353 |        0 |        0
1302.83/1303.31	c 1303s |      25 |  5430553 |  5284398 |     2122   6360 |        0 |        0
1304.83/1305.31	c 1305s |      25 |  5438477 |  5291998 |     2122   6367 |        0 |        0
1306.83/1307.32	c 1307s |      25 |  5446349 |  5299698 |     2122   6374 |        0 |        0
1308.83/1309.34	c 1309s |      25 |  5454452 |  5307498 |     2122   6381 |        0 |        0
1310.84/1311.35	c 1311s |      25 |  5462385 |  5315098 |     2122   6388 |        0 |        0
1312.83/1313.38	c 1313s |      25 |  5470552 |  5322898 |     2122   6395 |        0 |        0
1314.93/1315.40	c 1315s |      25 |  5478731 |  5330798 |     2122   6402 |        0 |        0
1316.93/1317.42	c 1317s |      25 |  5486828 |  5338598 |     2122   6409 |        0 |        0
1318.93/1319.44	c 1319s |      25 |  5494738 |  5346198 |     2122   6416 |        0 |        0
1320.93/1321.45	c 1321s |      25 |  5502706 |  5353898 |     2122   6423 |        0 |        0
1322.93/1323.45	c 1323s |      25 |  5510511 |  5361398 |     2122   6430 |        0 |        0
1324.93/1325.47	c 1325s |      25 |  5518580 |  5369198 |     2122   6437 |        0 |        0
1326.93/1327.48	c 1327s |      25 |  5526271 |  5376598 |     2122   6444 |        0 |        0
1328.93/1329.49	c 1329s |      25 |  5534215 |  5384298 |     2122   6451 |        0 |        0
1331.03/1331.50	c 1331s |      25 |  5541917 |  5391798 |     2122   6457 |        0 |        0
1333.03/1333.53	c 1333s |      25 |  5550003 |  5399598 |     2122   6465 |        0 |        0
1335.03/1335.54	c 1335s |      25 |  5558581 |  5407698 |     2122   6472 |        0 |        0
1337.03/1337.55	c 1337s |      25 |  5566936 |  5415598 |     2122   6479 |        0 |        0
1339.02/1339.55	c 1339s |      25 |  5575169 |  5423398 |     2122   6486 |        0 |        0
1341.02/1341.56	c 1341s |      25 |  5583180 |  5430998 |     2122   6493 |        0 |        0
1343.02/1343.58	c 1343s |      25 |  5591126 |  5438498 |     2122   6500 |        0 |        0
1345.12/1345.60	c 1345s |      25 |  5599248 |  5446298 |     2122   6507 |        0 |        0
1347.13/1347.61	c 1347s |      25 |  5607300 |  5454098 |     2122   6514 |        0 |        0
1349.12/1349.64	c 1349s |      25 |  5615509 |  5461898 |     2122   6521 |        0 |        0
1351.13/1351.64	c 1351s |      25 |  5623764 |  5469798 |     2122   6528 |        0 |        0
1353.13/1353.65	c 1353s |      25 |  5631831 |  5477498 |     2122   6535 |        0 |        0
1355.13/1355.67	c 1355s |      25 |  5640054 |  5485298 |     2122   6542 |        0 |        0
1357.13/1357.68	c 1357s |      25 |  5648219 |  5493098 |     2122   6549 |        0 |        0
1359.14/1359.70	c 1359s |      25 |  5656271 |  5500798 |     2122   6556 |        0 |        0
1361.23/1361.71	c 1361s |      25 |  5663993 |  5508098 |     2122   6563 |        0 |        0
1363.23/1363.72	c 1363s |      25 |  5672228 |  5515698 |     2122   6569 |        0 |        0
1365.23/1365.74	c 1365s |      25 |  5680353 |  5523398 |     2122   6576 |        0 |        0
1367.23/1367.76	c 1367s |      25 |  5688479 |  5531198 |     2122   6583 |        0 |        0
1369.22/1369.77	c 1369s |      25 |  5696390 |  5538898 |     2122   6590 |        0 |        0
1371.23/1371.78	c 1371s |      25 |  5704734 |  5546898 |     2122   6598 |        0 |        0
1373.22/1373.78	c 1373s |      25 |  5712904 |  5554698 |     2122   6605 |        0 |        0
1375.22/1375.79	c 1375s |      25 |  5721013 |  5562398 |     2122   6612 |        0 |        0
1377.32/1377.83	c 1377s |      25 |  5728948 |  5569998 |     2122   6619 |        0 |        0
1379.32/1379.84	c 1379s |      25 |  5737584 |  5577598 |     2122   6625 |        0 |        0
1381.32/1381.87	c 1381s |      25 |  5745709 |  5585298 |     2122   6632 |        0 |        0
1383.33/1383.89	c 1383s |      25 |  5753642 |  5592998 |     2122   6639 |        0 |        0
1385.42/1385.91	c 1385s |      25 |  5761454 |  5600598 |     2122   6646 |        0 |        0
1387.42/1387.93	c 1387s |      25 |  5769357 |  5608198 |     2122   6653 |        0 |        0
1389.42/1389.94	c 1389s |      25 |  5777484 |  5615898 |     2122   6660 |        0 |        0
1391.42/1391.98	c 1391s |      25 |  5785297 |  5623498 |     2122   6667 |        0 |        0
1393.42/1393.98	c 1393s |      25 |  5792981 |  5630798 |     2122   6674 |        0 |        0
1395.43/1395.99	c 1395s |      25 |  5801132 |  5638498 |     2122   6681 |        0 |        0
1397.52/1398.01	c 1397s |      25 |  5809256 |  5646298 |     2122   6688 |        0 |        0
1399.52/1400.01	c 1399s |      25 |  5817319 |  5653998 |     2122   6695 |        0 |        0
1401.52/1402.03	c 1402s |      25 |  5825219 |  5661498 |     2122   6701 |        0 |        0
1403.52/1404.05	c 1404s |      25 |  5833501 |  5669198 |     2122   6708 |        0 |        0
1405.52/1406.06	c 1406s |      25 |  5841433 |  5676798 |     2122   6715 |        0 |        0
1407.52/1408.08	c 1408s |      25 |  5849360 |  5684398 |     2122   6722 |        0 |        0
1409.62/1410.10	c 1410s |      25 |  5856961 |  5691698 |     2122   6729 |        0 |        0
1411.62/1412.12	c 1412s |      25 |  5865003 |  5699098 |     2122   6735 |        0 |        0
1413.62/1414.15	c 1414s |      25 |  5873498 |  5706998 |     2122   6743 |        0 |        0
1415.62/1416.16	c 1416s |      25 |  5881590 |  5714798 |     2122   6750 |        0 |        0
1417.62/1418.16	c 1418s |      25 |  5889711 |  5722598 |     2122   6757 |        0 |        0
1419.62/1420.17	c 1420s |      25 |  5897860 |  5730398 |     2122   6764 |        0 |        0
1421.61/1422.18	c 1422s |      25 |  5905764 |  5738098 |     2122   6771 |        0 |        0
1423.61/1424.18	c 1424s |      25 |  5913733 |  5745698 |     2122   6777 |        0 |        0
1425.61/1426.19	c 1426s |      25 |  5921456 |  5753198 |     2122   6784 |        0 |        0
1427.61/1428.19	c 1428s |      25 |  5929278 |  5760798 |     2122   6791 |        0 |        0
1429.71/1430.21	c 1430s |      25 |  5937322 |  5768498 |     2122   6798 |        0 |        0
1431.72/1432.21	c 1432s |      25 |  5945436 |  5776198 |     2122   6805 |        0 |        0
1433.71/1434.23	c 1434s |      25 |  5953416 |  5783898 |     2122   6812 |        0 |        0
1435.71/1436.26	c 1436s |      25 |  5960951 |  5791098 |     2122   6819 |        0 |        0
1437.71/1438.28	c 1438s |      25 |  5969037 |  5798898 |     2122   6826 |        0 |        0
1439.71/1440.29	c 1440s |      25 |  5977072 |  5806498 |     2122   6832 |        0 |        0
1441.81/1442.31	c 1442s |      25 |  5985120 |  5814098 |     2122   6839 |        0 |        0
1443.82/1444.32	c 1444s |      25 |  5993138 |  5821598 |     2122   6846 |        0 |        0
1445.81/1446.32	c 1446s |      25 |  6000738 |  5828998 |     2122   6853 |        0 |        0
1447.81/1448.35	c 1448s |      25 |  6008229 |  5836298 |     2122   6859 |        0 |        0
1449.81/1450.35	c 1450s |      25 |  6015946 |  5843698 |     2122   6866 |        0 |        0
1451.81/1452.37	c 1452s |      25 |  6023341 |  5850898 |     2122   6873 |        0 |        0
1453.91/1454.40	c 1454s |      25 |  6031435 |  5858698 |     2122   6880 |        0 |        0
1455.91/1456.42	c 1456s |      25 |  6040105 |  5866698 |     2122   6887 |        0 |        0
1457.91/1458.43	c 1458s |      25 |  6048258 |  5874398 |     2122   6894 |        0 |        0
1459.91/1460.46	c 1460s |      25 |  6056154 |  5881898 |     2122   6901 |        0 |        0
1461.91/1462.47	c 1462s |      25 |  6064010 |  5889398 |     2122   6907 |        0 |        0
1463.91/1464.48	c 1464s |      25 |  6072102 |  5897298 |     2122   6914 |        0 |        0
1465.91/1466.48	c 1466s |      25 |  6079848 |  5904798 |     2122   6921 |        0 |        0
1467.91/1468.49	c 1468s |      25 |  6087735 |  5912498 |     2122   6928 |        0 |        0
1470.01/1470.51	c 1470s |      25 |  6095605 |  5920198 |     2122   6935 |        0 |        0
1472.01/1472.53	c 1472s |      25 |  6103608 |  5927998 |     2122   6942 |        0 |        0
1474.01/1474.54	c 1474s |      25 |  6111602 |  5935798 |     2122   6949 |        0 |        0
1476.01/1476.55	c 1476s |      25 |  6119612 |  5943598 |     2122   6956 |        0 |        0
1478.02/1478.55	c 1478s |      25 |  6127419 |  5951098 |     2122   6963 |        0 |        0
1480.01/1480.56	c 1480s |      25 |  6135149 |  5958598 |     2122   6970 |        0 |        0
1482.01/1482.57	c 1482s |      25 |  6143290 |  5966398 |     2122   6977 |        0 |        0
1484.01/1484.58	c 1484s |      25 |  6151397 |  5974198 |     2122   6984 |        0 |        0
1486.01/1486.59	c 1486s |      25 |  6159303 |  5981898 |     2122   6991 |        0 |        0
1488.11/1488.61	c 1488s |      25 |  6166945 |  5989298 |     2122   6998 |        0 |        0
1490.11/1490.63	c 1490s |      25 |  6174664 |  5996798 |     2122   7004 |        0 |        0
1492.11/1492.64	c 1492s |      25 |  6182713 |  6004598 |     2122   7011 |        0 |        0
1494.11/1494.66	c 1494s |      25 |  6190644 |  6012298 |     2122   7018 |        0 |        0
1496.11/1496.68	c 1496s |      25 |  6198362 |  6019798 |     2122   7025 |        0 |        0
1498.11/1498.69	c 1498s |      25 |  6205843 |  6027098 |     2122   7032 |        0 |        0
1500.11/1500.70	c 1500s |      25 |  6213368 |  6034398 |     2122   7038 |        0 |        0
1502.11/1502.70	c 1502s |      25 |  6221555 |  6042098 |     2122   7045 |        0 |        0
1504.20/1504.73	c 1504s |      25 |  6229584 |  6049698 |     2122   7052 |        0 |        0
1506.20/1506.73	c 1506s |      25 |  6237351 |  6057198 |     2122   7059 |        0 |        0
1508.20/1508.75	c 1508s |      25 |  6245157 |  6064698 |     2122   7066 |        0 |        0
1510.20/1510.78	c 1510s |      25 |  6252902 |  6072198 |     2122   7073 |        0 |        0
1512.20/1512.79	c 1512s |      25 |  6260586 |  6079698 |     2122   7079 |        0 |        0
1514.21/1514.80	c 1514s |      25 |  6268232 |  6087098 |     2122   7086 |        0 |        0
1516.30/1516.81	c 1516s |      25 |  6275686 |  6094298 |     2122   7093 |        0 |        0
1518.30/1518.84	c 1518s |      25 |  6283384 |  6101698 |     2122   7099 |        0 |        0
1520.30/1520.86	c 1520s |      25 |  6290923 |  6108998 |     2122   7106 |        0 |        0
1522.30/1522.88	c 1522s |      25 |  6298871 |  6116698 |     2122   7113 |        0 |        0
1524.30/1524.89	c 1524s |      25 |  6307248 |  6124898 |     2122   7120 |        0 |        0
1526.30/1526.90	c 1526s |      25 |  6314997 |  6132498 |     2122   7127 |        0 |        0
1528.40/1528.91	c 1528s |      25 |  6323147 |  6140398 |     2122   7134 |        0 |        0
1530.40/1530.93	c 1530s |      25 |  6331605 |  6148298 |     2122   7141 |        0 |        0
1532.39/1532.94	c 1532s |      25 |  6339768 |  6156198 |     2122   7148 |        0 |        0
1534.39/1534.95	c 1534s |      25 |  6347784 |  6163898 |     2122   7155 |        0 |        0
1536.39/1536.97	c 1536s |      25 |  6355762 |  6171598 |     2122   7162 |        0 |        0
1538.41/1538.98	c 1538s |      25 |  6364003 |  6179398 |     2122   7169 |        0 |        0
1540.50/1541.00	c 1540s |      25 |  6372096 |  6187098 |     2122   7176 |        0 |        0
1542.50/1543.03	c 1543s |      25 |  6379928 |  6194598 |     2122   7183 |        0 |        0
1544.50/1545.04	c 1545s |      25 |  6387882 |  6202198 |     2122   7190 |        0 |        0
1546.50/1547.05	c 1547s |      25 |  6395821 |  6209698 |     2122   7197 |        0 |        0
1548.50/1549.07	c 1549s |      25 |  6403970 |  6217298 |     2122   7204 |        0 |        0
1550.51/1551.08	c 1551s |      25 |  6412027 |  6224998 |     2122   7211 |        0 |        0
1552.50/1553.09	c 1553s |      25 |  6419734 |  6232398 |     2122   7217 |        0 |        0
1554.60/1555.10	c 1555s |      25 |  6427137 |  6239698 |     2122   7224 |        0 |        0
1556.60/1557.12	c 1557s |      25 |  6434792 |  6247098 |     2122   7231 |        0 |        0
1558.60/1559.14	c 1559s |      25 |  6442859 |  6254898 |     2122   7238 |        0 |        0
1560.60/1561.14	c 1561s |      25 |  6450530 |  6262398 |     2122   7244 |        0 |        0
1562.60/1563.14	c 1563s |      25 |  6458457 |  6269798 |     2122   7251 |        0 |        0
1564.60/1565.14	c 1565s |      25 |  6466195 |  6277298 |     2122   7258 |        0 |        0
1566.60/1567.14	c 1567s |      25 |  6473954 |  6284798 |     2122   7265 |        0 |        0
1568.60/1569.15	c 1569s |      25 |  6481694 |  6292298 |     2122   7271 |        0 |        0
1570.60/1571.15	c 1571s |      25 |  6489642 |  6299998 |     2122   7278 |        0 |        0
1572.60/1573.17	c 1573s |      25 |  6497646 |  6307698 |     2122   7285 |        0 |        0
1574.59/1575.19	c 1575s |      25 |  6505602 |  6315298 |     2122   7292 |        0 |        0
1576.59/1577.19	c 1577s |      25 |  6513359 |  6322798 |     2122   7299 |        0 |        0
1578.69/1579.21	c 1579s |      25 |  6521180 |  6330298 |     2122   7306 |        0 |        0
1580.69/1581.22	c 1581s |      25 |  6528763 |  6337598 |     2122   7312 |        0 |        0
1582.69/1583.23	c 1583s |      25 |  6536331 |  6344798 |     2122   7319 |        0 |        0
1584.70/1585.26	c 1585s |      25 |  6543844 |  6351898 |     2122   7325 |        0 |        0
1586.69/1587.27	c 1587s |      25 |  6551694 |  6359298 |     2122   7332 |        0 |        0
1588.69/1589.29	c 1589s |      25 |  6559657 |  6366698 |     2122   7339 |        0 |        0
1590.79/1591.30	c 1591s |      25 |  6567410 |  6374098 |     2122   7345 |        0 |        0
1592.79/1593.31	c 1593s |      25 |  6575253 |  6381698 |     2122   7352 |        0 |        0
1594.79/1595.33	c 1595s |      25 |  6583039 |  6389198 |     2122   7359 |        0 |        0
1596.80/1597.35	c 1597s |      25 |  6590906 |  6396798 |     2122   7366 |        0 |        0
1598.79/1599.36	c 1599s |      25 |  6598589 |  6404298 |     2122   7373 |        0 |        0
1600.79/1601.39	c 1601s |      25 |  6606374 |  6411798 |     2122   7380 |        0 |        0
1602.79/1603.39	c 1603s |      25 |  6614028 |  6419198 |     2122   7386 |        0 |        0
1604.79/1605.39	c 1605s |      25 |  6621500 |  6426398 |     2122   7393 |        0 |        0
1606.79/1607.39	c 1607s |      25 |  6629072 |  6433598 |     2122   7399 |        0 |        0
1608.90/1609.41	c 1609s |      25 |  6636731 |  6440798 |     2122   7406 |        0 |        0
1610.89/1611.41	c 1611s |      25 |  6644416 |  6448098 |     2122   7412 |        0 |        0
1612.89/1613.42	c 1613s |      25 |  6652065 |  6455498 |     2122   7419 |        0 |        0
1614.89/1615.44	c 1615s |      25 |  6659688 |  6462798 |     2122   7426 |        0 |        0
1616.89/1617.46	c 1617s |      25 |  6667414 |  6470098 |     2122   7432 |        0 |        0
1618.88/1619.48	c 1619s |      25 |  6675112 |  6477498 |     2122   7439 |        0 |        0
1620.89/1621.50	c 1621s |      25 |  6683391 |  6485598 |     2122   7446 |        0 |        0
1622.98/1623.50	c 1623s |      25 |  6691447 |  6493498 |     2122   7453 |        0 |        0
1624.98/1625.52	c 1625s |      25 |  6699559 |  6501398 |     2122   7461 |        0 |        0
1626.98/1627.55	c 1627s |      25 |  6707512 |  6509198 |     2122   7468 |        0 |        0
1628.98/1629.56	c 1629s |      25 |  6715265 |  6516798 |     2122   7474 |        0 |        0
1630.98/1631.56	c 1631s |      25 |  6723138 |  6524498 |     2122   7481 |        0 |        0
1632.99/1633.57	c 1633s |      25 |  6731058 |  6532298 |     2122   7488 |        0 |        0
1634.98/1635.58	c 1635s |      25 |  6739002 |  6540098 |     2122   7495 |        0 |        0
1636.98/1637.59	c 1637s |      25 |  6746800 |  6547698 |     2122   7502 |        0 |        0
1639.08/1639.60	c 1639s |      25 |  6754374 |  6555098 |     2122   7509 |        0 |        0
1641.09/1641.60	c 1641s |      25 |  6762194 |  6562698 |     2122   7516 |        0 |        0
1643.09/1643.60	c 1643s |      25 |  6769970 |  6570298 |     2122   7523 |        0 |        0
1645.09/1645.62	c 1645s |      25 |  6777643 |  6577798 |     2122   7530 |        0 |        0
1647.09/1647.62	c 1647s |      25 |  6785354 |  6585298 |     2122   7536 |        0 |        0
1649.09/1649.63	c 1649s |      25 |  6793603 |  6593198 |     2122   7543 |        0 |        0
1651.09/1651.65	c 1651s |      25 |  6801531 |  6600898 |     2122   7550 |        0 |        0
1653.08/1653.65	c 1653s |      25 |  6809453 |  6608598 |     2122   7557 |        0 |        0
1655.09/1655.68	c 1655s |      25 |  6817282 |  6616098 |     2122   7564 |        0 |        0
1657.08/1657.68	c 1657s |      25 |  6825148 |  6623798 |     2122   7571 |        0 |        0
1659.08/1659.69	c 1659s |      25 |  6832834 |  6631298 |     2122   7578 |        0 |        0
1661.18/1661.71	c 1661s |      25 |  6840672 |  6638898 |     2122   7585 |        0 |        0
1663.18/1663.74	c 1663s |      25 |  6848445 |  6646398 |     2122   7592 |        0 |        0
1665.18/1665.74	c 1665s |      25 |  6856339 |  6653998 |     2122   7598 |        0 |        0
1667.19/1667.75	c 1667s |      25 |  6864097 |  6661398 |     2122   7605 |        0 |        0
1669.18/1669.76	c 1669s |      25 |  6872039 |  6668998 |     2122   7612 |        0 |        0
1671.18/1671.76	c 1671s |      25 |  6879716 |  6676498 |     2122   7619 |        0 |        0
1673.18/1673.77	c 1673s |      25 |  6887518 |  6683998 |     2122   7626 |        0 |        0
1675.18/1675.79	c 1675s |      25 |  6895017 |  6691198 |     2122   7632 |        0 |        0
1677.28/1677.81	c 1677s |      25 |  6903131 |  6698998 |     2122   7639 |        0 |        0
1679.28/1679.83	c 1679s |      25 |  6911065 |  6706698 |     2122   7646 |        0 |        0
1681.28/1681.84	c 1681s |      25 |  6918793 |  6714198 |     2122   7653 |        0 |        0
1683.28/1683.88	c 1683s |      25 |  6926498 |  6721598 |     2122   7660 |        0 |        0
1685.28/1685.89	c 1685s |      25 |  6933810 |  6728798 |     2122   7666 |        0 |        0
1687.38/1687.91	c 1687s |      25 |  6941307 |  6736098 |     2122   7673 |        0 |        0
1689.37/1689.92	c 1689s |      25 |  6949351 |  6743898 |     2122   7680 |        0 |        0
1691.38/1691.93	c 1691s |      25 |  6957201 |  6751498 |     2122   7687 |        0 |        0
1693.37/1693.96	c 1693s |      25 |  6964910 |  6758998 |     2122   7693 |        0 |        0
1695.37/1695.98	c 1695s |      25 |  6972766 |  6766598 |     2122   7700 |        0 |        0
1697.47/1698.00	c 1697s |      25 |  6980342 |  6773898 |     2122   7707 |        0 |        0
1699.47/1700.00	c 1699s |      25 |  6987714 |  6780998 |     2122   7713 |        0 |        0
1701.47/1702.02	c 1702s |      25 |  6995082 |  6788198 |     2122   7720 |        0 |        0
1703.48/1704.04	c 1704s |      25 |  7002696 |  6795498 |     2122   7726 |        0 |        0
1705.47/1706.05	c 1706s |      25 |  7010551 |  6803098 |     2122   7733 |        0 |        0
1707.47/1708.07	c 1708s |      25 |  7018177 |  6810498 |     2122   7740 |        0 |        0
1709.47/1710.10	c 1710s |      25 |  7025706 |  6817798 |     2122   7746 |        0 |        0
1711.57/1712.11	c 1712s |      25 |  7033151 |  6824998 |     2122   7753 |        0 |        0
1713.57/1714.12	c 1714s |      25 |  7040512 |  6832098 |     2122   7759 |        0 |        0
1715.58/1716.12	c 1716s |      25 |  7048163 |  6839498 |     2122   7766 |        0 |        0
1717.57/1718.12	c 1718s |      25 |  7055709 |  6846698 |     2122   7773 |        0 |        0
1719.57/1720.14	c 1720s |      25 |  7063019 |  6853798 |     2122   7779 |        0 |        0
1721.57/1722.15	c 1722s |      25 |  7070608 |  6861098 |     2122   7786 |        0 |        0
1723.57/1724.17	c 1724s |      25 |  7078682 |  6868798 |     2122   7793 |        0 |        0
1725.57/1726.19	c 1726s |      25 |  7086856 |  6876398 |     2122   7799 |        0 |        0
1727.57/1728.20	c 1728s |      25 |  7094964 |  6884098 |     2122   7806 |        0 |        0
1729.67/1730.22	c 1730s |      25 |  7102706 |  6891598 |     2122   7813 |        0 |        0
1731.67/1732.22	c 1732s |      25 |  7110456 |  6898898 |     2122   7820 |        0 |        0
1733.67/1734.24	c 1734s |      25 |  7118862 |  6906498 |     2122   7827 |        0 |        0
1735.67/1736.25	c 1736s |      25 |  7126605 |  6913898 |     2122   7833 |        0 |        0
1737.67/1738.28	c 1738s |      25 |  7134481 |  6921398 |     2122   7840 |        0 |        0
1739.67/1740.30	c 1740s |      25 |  7142511 |  6928898 |     2122   7847 |        0 |        0
1741.77/1742.31	c 1742s |      25 |  7150147 |  6936198 |     2122   7854 |        0 |        0
1743.76/1744.33	c 1744s |      25 |  7158106 |  6943798 |     2122   7860 |        0 |        0
1745.76/1746.34	c 1746s |      25 |  7165815 |  6951098 |     2122   7867 |        0 |        0
1747.76/1748.35	c 1748s |      25 |  7173125 |  6958198 |     2122   7873 |        0 |        0
1749.76/1750.36	c 1750s |      25 |  7180790 |  6965598 |     2122   7880 |        0 |        0
1751.77/1752.39	c 1752s |      25 |  7188607 |  6973098 |     2122   7887 |        0 |        0
1753.76/1754.39	c 1754s |      25 |  7196084 |  6980398 |     2122   7894 |        0 |        0
1755.86/1756.40	c 1756s |      25 |  7203474 |  6987498 |     2122   7900 |        0 |        0
1757.86/1758.42	c 1758s |      25 |  7211046 |  6994798 |     2122   7907 |        0 |        0
1759.86/1760.43	c 1760s |      25 |  7219015 |  7002398 |     2122   7913 |        0 |        0
1761.86/1762.44	c 1762s |      25 |  7226809 |  7009898 |     2122   7920 |        0 |        0
1763.87/1764.46	c 1764s |      25 |  7234730 |  7017398 |     2122   7927 |        0 |        0
1765.86/1766.48	c 1766s |      25 |  7242400 |  7024798 |     2122   7934 |        0 |        0
1767.86/1768.49	c 1768s |      25 |  7250110 |  7032098 |     2122   7940 |        0 |        0
1769.97/1770.51	c 1770s |      25 |  7257896 |  7039498 |     2122   7947 |        0 |        0
1771.97/1772.53	c 1772s |      25 |  7265632 |  7046798 |     2122   7954 |        0 |        0
1773.97/1774.54	c 1774s |      25 |  7273307 |  7054098 |     2122   7960 |        0 |        0
1775.97/1776.56	c 1776s |      25 |  7280681 |  7061198 |     2122   7967 |        0 |        0
1777.96/1778.57	c 1778s |      25 |  7288292 |  7068498 |     2122   7973 |        0 |        0
1779.96/1780.58	c 1780s |      25 |  7295750 |  7075598 |     2122   7980 |        0 |        0
1782.06/1782.60	c 1782s |      25 |  7303181 |  7082798 |     2122   7986 |        0 |        0
1784.06/1784.62	c 1784s |      25 |  7311412 |  7090798 |     2122   7993 |        0 |        0
1786.06/1786.64	c 1786s |      25 |  7319642 |  7098798 |     2122   8001 |        0 |        0
1788.07/1788.64	c 1788s |      25 |  7327420 |  7106298 |     2122   8007 |        0 |        0
1790.06/1790.67	c 1790s |      25 |  7335259 |  7113898 |     2122   8014 |        0 |        0
1792.06/1792.69	c 1792s |      25 |  7343058 |  7121398 |     2122   8021 |        0 |        0
1794.16/1794.70	c 1794s |      25 |  7350853 |  7128998 |     2122   8028 |        0 |        0
1796.16/1796.70	c 1796s |      25 |  7358938 |  7136698 |     2122   8035 |        0 |        0
1798.16/1798.72	c 1798s |      25 |  7366854 |  7144398 |     2122   8042 |        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-4089561-1466029017/watcher-4089561-1466029017 -o /tmp/evaluation-result-4089561-1466029017/solver-4089561-1466029017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089561-1466029017.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.29 2.24 3/179 8157
/proc/meminfo: memFree=29453412/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=700996 CPUtime=0 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 2612 0 0 0 0 0 0 0 20 0 4 0 4948170 717819904 2463 33554432000 4194304 16246674 140736220250624 140736220250048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 175761 2472 442 2943 0 172655 0
[pid=8157/tid=8158] ppid=8154 vsize=718404 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 735645696 2531 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=722500 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 739840000 2546 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=726596 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4948170 744034304 2563 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.33 2.29 2.24 3/179 8157
/proc/meminfo: memFree=29453412/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 29962 0 0 0 6 3 0 0 20 0 4 0 4948170 1247350784 29801 33554432000 4194304 16246674 140736220250624 140736220250048 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 304529 29814 712 2943 0 301423 0
[pid=8157/tid=8158] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 29825 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 29834 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 29842 33554432000 4194304 16246674 140736220250624 140088831888560 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.200505 s]
/proc/loadavg: 2.33 2.29 2.24 3/179 8157
/proc/meminfo: memFree=29453412/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 59329 0 0 0 12 7 0 0 20 0 4 0 4948170 1247350784 59168 33554432000 4194304 16246674 140736220250624 140736220250048 5808492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 304529 59183 712 2943 0 301423 0
[pid=8157/tid=8158] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 59191 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 59195 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 59201 33554432000 4194304 16246674 140736220250624 140088831888560 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.300479 s]
/proc/loadavg: 2.33 2.29 2.24 3/179 8157
/proc/meminfo: memFree=29453412/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 88438 0 0 0 18 11 0 0 20 0 4 0 4948170 1247350784 88277 33554432000 4194304 16246674 140736220250624 140736220250048 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 304529 88290 712 2943 0 301423 0
[pid=8157/tid=8158] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 88299 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 88304 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 88312 33554432000 4194304 16246674 140736220250624 140088831888560 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.700394 s]
/proc/loadavg: 2.33 2.29 2.24 3/179 8157
/proc/meminfo: memFree=29453412/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 207782 0 0 0 41 27 0 0 20 0 4 0 4948170 1247350784 207622 33554432000 4194304 16246674 140736220250624 140736220250048 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 304529 207636 712 2943 0 301423 0
[pid=8157/tid=8158] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 207645 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 207653 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4948170 1247350784 207656 33554432000 4194304 16246674 140736220250624 140088831888560 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.50038 s]
/proc/loadavg: 2.33 2.29 2.24 4/183 8161
/proc/meminfo: memFree=28470936/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1304132 CPUtime=1.48 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 266822 0 0 0 113 35 0 0 20 0 4 0 4948170 1335431168 266641 33554432000 4194304 16246674 140736220250624 140736220232512 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326033 266641 789 2943 0 322927 0
[pid=8157/tid=8158] ppid=8154 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1335431168 266641 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1335431168 266641 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1335431168 266641 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1304132

[startup+3.1004 s]
/proc/loadavg: 2.33 2.29 2.24 4/183 8161
/proc/meminfo: memFree=28385120/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267467 0 0 0 273 36 0 0 20 0 4 0 4948170 1337528320 267286 33554432000 4194304 16246674 140736220250624 140736220232512 5589402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326545 267286 790 2943 0 323439 0
[pid=8157/tid=8158] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267286 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267286 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267286 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.30 2.29 2.24 4/183 8161
/proc/meminfo: memFree=28384540/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267576 0 0 0 593 36 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140736220232512 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326545 267395 792 2943 0 323439 0
[pid=8157/tid=8158] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088831888560 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: 2.28 2.28 2.24 3/183 8161
/proc/meminfo: memFree=28384244/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267576 0 0 0 1233 36 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140736220232512 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326545 267395 792 2943 0 323439 0
[pid=8157/tid=8158] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1337528320 267395 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.36 2.30 2.25 3/183 8161
/proc/meminfo: memFree=28384144/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267682 0 0 0 2513 36 0 0 20 0 4 0 4948170 1338576896 267501 33554432000 4194304 16246674 140736220250624 140736220232512 12483198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326801 267501 792 2943 0 323695 0
[pid=8157/tid=8158] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267501 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267501 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267501 33554432000 4194304 16246674 140736220250624 140088831888560 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.44 2.32 2.26 3/183 8161
/proc/meminfo: memFree=28383356/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267827 0 0 0 5072 36 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140736220232512 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326801 267646 792 2943 0 323695 0
[pid=8157/tid=8158] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.35 2.32 2.26 3/183 8162
/proc/meminfo: memFree=28383316/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 267827 0 0 0 10191 37 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140736220232512 5667367 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 326801 267646 792 2943 0 323695 0
[pid=8157/tid=8158] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1338576896 267646 33554432000 4194304 16246674 140736220250624 140088831888560 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) 1307204


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

/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.28 2.26 2.25 4/183 8339
/proc/meminfo: memFree=28373984/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1315396 CPUtime=1301.83 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 270275 0 0 0 130132 51 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140736220232512 5721398 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 328849 269957 794 2943 0 325743 0
[pid=8157/tid=8158] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.20 2.24 2.24 3/183 8340
/proc/meminfo: memFree=28373380/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1315396 CPUtime=1361.83 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 270275 0 0 0 136131 52 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140736220248512 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 328849 269957 794 2943 0 325743 0
[pid=8157/tid=8158] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1346965504 269957 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.15 2.22 2.24 3/184 8344
/proc/meminfo: memFree=28369520/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1421.82 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 142130 52 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220233624 5722671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.27 2.24 2.24 4/183 8346
/proc/meminfo: memFree=28369768/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1481.81 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 148128 53 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 5722592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.34 2.26 2.25 3/183 8347
/proc/meminfo: memFree=28369820/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1541.81 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 154127 54 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 13809229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 2.24 3/183 8348
/proc/meminfo: memFree=28368468/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1601.79 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 160125 54 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 5545903 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.24 4/183 8349
/proc/meminfo: memFree=28368716/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1661.78 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 166123 55 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 13194833 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.24 4/183 8350
/proc/meminfo: memFree=28366368/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1721.77 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 172122 55 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.14 2.21 2.22 3/183 8352
/proc/meminfo: memFree=28365760/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1781.76 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 178120 56 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220233624 5721373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.23 2.23 4/183 8352
/proc/meminfo: memFree=28365640/32872528 swapFree=1369816/1516984
[pid=8157] ppid=8154 vsize=1318468 CPUtime=1800.06 cores=0,2,4,6
/proc/8157/stat : 8157 (toysat) R 8154 8157 5822 0 -1 4202496 271043 0 0 0 179950 56 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140736220232512 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8157/statm: 329617 270725 794 2943 0 326511 0
[pid=8157/tid=8158] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8158/stat : 8158 (toysat) S 8154 8157 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088852851952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8157/tid=8159] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8159/stat : 8159 (toysat) S 8154 8157 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088842362096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8157/tid=8160] ppid=8154 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8157/task/8160/stat : 8160 (toysat) S 8154 8157 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4948170 1350111232 270725 33554432000 4194304 16246674 140736220250624 140088831888560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1318468

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 8157 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.07
CPU user time (s): 1799.51
CPU system time (s): 0.565913
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.565913
maximum resident set size= 1082900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271043
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= 406
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77467 second user time and 9.43557 second system time

The end

Begin job on node129 at 2016-06-16 00:16:57
IDJOB=4089561
IDBENCH=107424
IDSOLVER=2542
FILE ID=node129/4089561-1466029017
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 1c0791853ffa83d02330778223567986
RANDOM SEED=1652781978

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29453436 kB
Buffers:           27112 kB
Cached:            78172 kB
SwapCached:        20172 kB
Active:          1136916 kB
Inactive:          62544 kB
Active(anon):    1076680 kB
Inactive(anon):    20104 kB
Active(file):      60236 kB
Inactive(file):    42440 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2594556 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             567028 kB
SReclaimable:      11272 kB
SUnreclaim:       555756 kB
KernelStack:        1504 kB
PageTables:         9360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2736252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    632832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 00:46:58