0.00/0.00	c 2016-06-16T00:14:14+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-4089554-1466028854.opb"]
0.00/0.01	c use --random-gen="1691699263 2344001516 3420318742 4138902564 1483910181 1409223873 2653939385 2567888571 1987688606 2873931577 3453048744 2633097501 2926481227 4199493180 2103718854 3679698621 13462485 709026346 2910098726 1671265476 1306812826 3689629676 683258366 4193093848 2046497538 2301694566 2673637273 2496810332 3690685227 1986927077 2717099094 892732407 3609985719 3618651 2895365508 1315168578 983727594 2066842554 2907507578 4270264653 1505356972 1789880627 1083321416 1512581851 60676703 3187851596 275524962 486488267 3027839503 332458346 3755331482 1129543413 182108712 2669353257 88557887 1046290562 4167496789 796817929 3346277666 2707703352 3115325411 430215674 3366031039 3120077569 2854357820 1425630673 587149309 4129774578 1406058273 3611933657 2243732713 1808791652 2244051754 2297891346 1372836902 1652952329 1647152787 1283820986 2507876095 3142331818 3230902084 736243526 2282093594 2250764032 566561372 1386497017 3254681041 806154861 3995131091 332235970 2730402290 3830073624 4260071136 943567968 2158462634 484976672 3669193271 1748931234 2144032605 1565175251 2742517203 1426048220 4243925540 3151211173 601269711 1179073152 3098737848 16733211 2745675155 889378882 301386150 1609536512 2280525915 2302385100 2309675664 1025661520 1724795792 2211658158 2896802208 902142881 4242869143 73765224 3322380884 3755407477 1482173037 720507068 1725380248 1994689065 3413154973 3992870334 1505353078 2786527247 1606561010 1143925655 1769982055 2769247811 3631373503 1020798853 2646787316 2058911915 128524691 2372890278 654814788 1813356624 1078899190 2613772079 4238364387 449747245 4232965911 4167102643 4287688649 3101844075 3453593964 491283944 1152668776 3853562034 2316587561 1017931577 3138548882 3028386649 1435739708 2114953469 2293067553 4090092964 1059587590 1298181104 1765254518 2795439927 47058426 1345097455 1586312839 1777970147 2027417077 1991163056 1791674623 2419740884 3067001163 1525846463 3048295041 4057143055 2326554001 262689126 513710267 761693374 3878018391 4285359910 2910571913 2631583306 1680818302 3424221719 2144725828 3492454033 3162043869 3130287154 3741817533 1192301256 1137177948 997270724 3130696061 1572286238 1924195669 2518977596 77032281 542117765 3131503517 628168090 4258501624 3974126035 2320655089 1155969892 3638284232 3792789211 3345376696 261917874 956741285 2246659467 3690029103 2750701708 1651699778 3164737161 1033396328 835577499 641731111 2896865832 3440471409 1321352392 1702710764 1262284152 580856006 3121951904 2760745666 3375256775 919408887 2105595933 3587744500 3295627063 2652835055 3333058918 1706746057 839226431 1374388718 2420941096 274619497 2277085254 2797394008 1034701149 837349872 3071864335 4150833234 2486942272 3270791276 3362843566 872897984 2205084485 2269766949 3200571603 255 362436" option to reproduce the execution
0.00/0.01	c #vars 114
0.00/0.01	c #constraints 229
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      157 |      100 |      114      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      355 |      250 |      126      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      623 |      475 |      139      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1001 |      813 |      153      7 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1557 |     1320 |      169     11 |        0 |        0
0.29/0.33	c  0.3s |       6 |     2376 |     2081 |      205     18 |        0 |        0
0.48/0.51	c  0.5s |       7 |     3564 |     3223 |      226     27 |        0 |        0
0.69/0.78	c  0.8s |       8 |     5344 |     4936 |      249     39 |        0 |        0
0.98/1.08	c  1.1s |       9 |     8007 |     7506 |      274     56 |        0 |        0
1.49/1.52	c  1.5s |      10 |    12016 |    11361 |      302     80 |        0 |        0
2.09/2.13	c  2.1s |      11 |    17974 |    17144 |      333    113 |        0 |        0
2.99/3.08	c  3.1s |      12 |    26833 |    25819 |      367    159 |        0 |        0
4.50/4.54	c  4.5s |      13 |    40422 |    38832 |      404    222 |        0 |        0
6.49/6.55	c  6.5s |      13 |    58798 |    56732 |      404    301 |        0 |        0
6.70/6.73	c  6.7s |      14 |    60504 |    58352 |      445    308 |        0 |        0
8.69/8.74	c  8.7s |      14 |    79178 |    76152 |      445    381 |        0 |        0
9.99/10.05	c 10.0s |      15 |    91443 |    87632 |      490    427 |        0 |        0
11.99/12.06	c 12.0s |      15 |   109490 |   105032 |      490    492 |        0 |        0
13.98/14.06	c 14.1s |      15 |   127921 |   122332 |      490    557 |        0 |        0
15.08/15.14	c 15.1s |      16 |   137437 |   131552 |      539    591 |        0 |        0
17.08/17.15	c 17.1s |      16 |   155242 |   148652 |      539    650 |        0 |        0
19.08/19.15	c 19.1s |      16 |   173237 |   165752 |      539    709 |        0 |        0
21.08/21.15	c 21.1s |      16 |   191150 |   182652 |      539    767 |        0 |        0
22.88/22.91	c 22.9s |      17 |   206930 |   197432 |      593    817 |        0 |        0
24.88/24.91	c 24.9s |      17 |   224428 |   214132 |      593    869 |        0 |        0
26.88/26.92	c 26.9s |      17 |   242650 |   230832 |      593    922 |        0 |        0
28.88/28.93	c 28.9s |      17 |   260618 |   247632 |      593    975 |        0 |        0
30.89/30.93	c 30.9s |      17 |   278350 |   264432 |      593   1027 |        0 |        0
32.88/32.93	c 32.9s |      17 |   295702 |   281132 |      593   1080 |        0 |        0
34.69/34.77	c 34.8s |      18 |   311498 |   296252 |      653   1127 |        0 |        0
36.69/36.77	c 36.8s |      18 |   329073 |   312952 |      653   1175 |        0 |        0
38.69/38.78	c 38.8s |      18 |   346468 |   329552 |      653   1222 |        0 |        0
40.69/40.79	c 40.8s |      18 |   363423 |   345952 |      653   1269 |        0 |        0
42.78/42.80	c 42.8s |      18 |   380861 |   362652 |      653   1317 |        0 |        0
44.78/44.81	c 44.8s |      18 |   398069 |   379152 |      653   1364 |        0 |        0
46.78/46.82	c 46.8s |      18 |   415172 |   395752 |      653   1412 |        0 |        0
48.78/48.82	c 48.8s |      18 |   432288 |   412452 |      653   1460 |        0 |        0
50.78/50.83	c 50.8s |      18 |   449554 |   429052 |      653   1508 |        0 |        0
52.68/52.73	c 52.7s |      19 |   465508 |   444482 |      719   1551 |        0 |        0
54.68/54.73	c 54.7s |      19 |   481959 |   460482 |      719   1593 |        0 |        0
56.68/56.74	c 56.7s |      19 |   498510 |   476482 |      719   1635 |        0 |        0
58.68/58.74	c 58.7s |      19 |   515345 |   492482 |      719   1677 |        0 |        0
60.68/60.75	c 60.7s |      19 |   532235 |   508682 |      719   1720 |        0 |        0
62.68/62.76	c 62.7s |      19 |   548933 |   524782 |      719   1762 |        0 |        0
64.68/64.76	c 64.7s |      19 |   565489 |   540882 |      719   1804 |        0 |        0
66.67/66.77	c 66.8s |      19 |   581871 |   556682 |      719   1846 |        0 |        0
68.67/68.77	c 68.8s |      19 |   598393 |   572682 |      719   1888 |        0 |        0
70.67/70.77	c 70.8s |      19 |   615413 |   588482 |      719   1929 |        0 |        0
72.68/72.78	c 72.8s |      19 |   632331 |   604282 |      719   1971 |        0 |        0
74.68/74.79	c 74.8s |      19 |   649139 |   620682 |      719   2014 |        0 |        0
76.78/76.80	c 76.8s |      19 |   666426 |   636982 |      719   2057 |        0 |        0
78.78/78.81	c 78.8s |      19 |   683108 |   653082 |      719   2099 |        0 |        0
80.48/80.52	c 80.5s |      20 |   697477 |   666827 |      791   2134 |        0 |        0
82.49/82.52	c 82.5s |      20 |   714065 |   682827 |      791   2172 |        0 |        0
84.48/84.53	c 84.5s |      20 |   730713 |   698827 |      791   2210 |        0 |        0
86.48/86.54	c 86.5s |      20 |   747287 |   714727 |      791   2248 |        0 |        0
88.48/88.55	c 88.5s |      20 |   764028 |   730727 |      791   2287 |        0 |        0
90.48/90.56	c 90.5s |      20 |   780710 |   746627 |      791   2325 |        0 |        0
92.48/92.57	c 92.6s |      20 |   797209 |   762527 |      791   2363 |        0 |        0
94.48/94.57	c 94.6s |      20 |   813812 |   778327 |      791   2401 |        0 |        0
96.48/96.58	c 96.6s |      20 |   830294 |   794327 |      791   2439 |        0 |        0
98.47/98.58	c 98.6s |      20 |   846753 |   810227 |      791   2478 |        0 |        0
100.47/100.59	c  100s |      20 |   863339 |   826127 |      791   2516 |        0 |        0
102.57/102.60	c  102s |      20 |   880245 |   842227 |      791   2554 |        0 |        0
104.58/104.61	c  104s |      20 |   896730 |   858127 |      791   2592 |        0 |        0
106.57/106.62	c  106s |      20 |   913461 |   873927 |      791   2630 |        0 |        0
108.57/108.62	c  108s |      20 |   929813 |   889627 |      791   2668 |        0 |        0
110.57/110.63	c  110s |      20 |   946179 |   905227 |      791   2705 |        0 |        0
112.57/112.63	c  112s |      20 |   962166 |   920727 |      791   2743 |        0 |        0
114.57/114.63	c  114s |      20 |   978522 |   936527 |      791   2781 |        0 |        0
116.58/116.64	c  116s |      20 |   995072 |   952427 |      791   2819 |        0 |        0
118.57/118.64	c  118s |      20 |  1011570 |   968327 |      791   2857 |        0 |        0
120.57/120.64	c  120s |      20 |  1028234 |   984227 |      791   2896 |        0 |        0
122.57/122.65	c  122s |      20 |  1045071 |  1000027 |      871   2932 |        0 |        0
122.57/122.69	c  122s |      21 |  1045399 |  1000345 |      871   2933 |        0 |        0
124.67/124.71	c  124s |      21 |  1061670 |  1015845 |      871   2967 |        0 |        0
126.67/126.72	c  126s |      21 |  1077833 |  1031345 |      871   3001 |        0 |        0
128.67/128.72	c  128s |      21 |  1094131 |  1046845 |      871   3034 |        0 |        0
130.67/130.73	c  130s |      21 |  1110018 |  1062145 |      871   3068 |        0 |        0
132.67/132.74	c  132s |      21 |  1126037 |  1077745 |      871   3102 |        0 |        0
134.67/134.74	c  134s |      21 |  1142154 |  1093245 |      871   3136 |        0 |        0
136.67/136.74	c  136s |      21 |  1158436 |  1109045 |      871   3171 |        0 |        0
138.67/138.75	c  138s |      21 |  1174760 |  1124845 |      871   3205 |        0 |        0
140.66/140.76	c  140s |      21 |  1190808 |  1140545 |      871   3239 |        0 |        0
142.66/142.76	c  142s |      21 |  1206759 |  1156145 |      871   3274 |        0 |        0
144.66/144.77	c  144s |      21 |  1223002 |  1171945 |      871   3308 |        0 |        0
146.67/146.78	c  146s |      21 |  1239362 |  1187545 |      871   3342 |        0 |        0
148.67/148.79	c  148s |      21 |  1255596 |  1203045 |      871   3376 |        0 |        0
150.68/150.79	c  150s |      21 |  1271846 |  1218545 |      871   3410 |        0 |        0
152.77/152.80	c  152s |      21 |  1287965 |  1234145 |      871   3445 |        0 |        0
154.77/154.81	c  154s |      21 |  1304108 |  1249645 |      871   3479 |        0 |        0
156.77/156.81	c  156s |      21 |  1320125 |  1264945 |      871   3512 |        0 |        0
158.77/158.81	c  158s |      21 |  1336048 |  1280445 |      871   3547 |        0 |        0
160.77/160.81	c  160s |      21 |  1352465 |  1296345 |      871   3581 |        0 |        0
162.77/162.83	c  162s |      21 |  1368715 |  1312045 |      871   3616 |        0 |        0
164.76/164.83	c  164s |      21 |  1384784 |  1327545 |      871   3649 |        0 |        0
166.76/166.84	c  166s |      21 |  1401134 |  1343245 |      871   3684 |        0 |        0
168.76/168.85	c  168s |      21 |  1417268 |  1358845 |      871   3718 |        0 |        0
170.76/170.85	c  170s |      21 |  1433571 |  1374545 |      871   3752 |        0 |        0
172.77/172.85	c  172s |      21 |  1450092 |  1390045 |      871   3786 |        0 |        0
174.76/174.86	c  174s |      21 |  1466287 |  1405645 |      871   3821 |        0 |        0
176.76/176.86	c  176s |      21 |  1482519 |  1421245 |      871   3855 |        0 |        0
178.76/178.86	c  178s |      21 |  1498548 |  1436745 |      871   3889 |        0 |        0
180.76/180.87	c  180s |      21 |  1514836 |  1452345 |      871   3923 |        0 |        0
182.76/182.87	c  182s |      21 |  1530921 |  1467745 |      871   3957 |        0 |        0
184.76/184.87	c  184s |      21 |  1546912 |  1483345 |      871   3991 |        0 |        0
186.76/186.88	c  186s |      21 |  1562837 |  1498745 |      959   4023 |        0 |        0
187.06/187.11	c  187s |      22 |  1564767 |  1500622 |      959   4027 |        0 |        0
189.06/189.12	c  189s |      22 |  1580744 |  1515822 |      959   4057 |        0 |        0
191.06/191.12	c  191s |      22 |  1596724 |  1531022 |      959   4088 |        0 |        0
193.05/193.12	c  193s |      22 |  1612446 |  1546022 |      959   4117 |        0 |        0
195.05/195.13	c  195s |      22 |  1628276 |  1561322 |      959   4148 |        0 |        0
197.05/197.14	c  197s |      22 |  1644079 |  1576722 |      959   4179 |        0 |        0
199.06/199.14	c  199s |      22 |  1659997 |  1591822 |      959   4209 |        0 |        0
201.06/201.14	c  201s |      22 |  1675932 |  1607022 |      959   4239 |        0 |        0
203.06/203.15	c  203s |      22 |  1691574 |  1622122 |      959   4269 |        0 |        0
205.06/205.15	c  205s |      22 |  1707818 |  1637422 |      959   4300 |        0 |        0
207.06/207.16	c  207s |      22 |  1723685 |  1652622 |      959   4330 |        0 |        0
209.07/209.16	c  209s |      22 |  1739351 |  1667822 |      959   4361 |        0 |        0
211.06/211.17	c  211s |      22 |  1755131 |  1682822 |      959   4391 |        0 |        0
213.06/213.17	c  213s |      22 |  1770996 |  1698122 |      959   4421 |        0 |        0
215.06/215.18	c  215s |      22 |  1786988 |  1713522 |      959   4452 |        0 |        0
217.06/217.18	c  217s |      22 |  1803203 |  1728822 |      959   4483 |        0 |        0
219.06/219.18	c  219s |      22 |  1819124 |  1744222 |      959   4513 |        0 |        0
221.06/221.19	c  221s |      22 |  1835102 |  1759622 |      959   4544 |        0 |        0
223.15/223.20	c  223s |      22 |  1851200 |  1775022 |      959   4575 |        0 |        0
225.15/225.21	c  225s |      22 |  1866902 |  1790322 |      959   4605 |        0 |        0
227.15/227.22	c  227s |      22 |  1882532 |  1805422 |      959   4636 |        0 |        0
229.15/229.23	c  229s |      22 |  1898353 |  1820622 |      959   4666 |        0 |        0
231.15/231.24	c  231s |      22 |  1914238 |  1835622 |      959   4696 |        0 |        0
233.16/233.25	c  233s |      22 |  1930157 |  1850822 |      959   4727 |        0 |        0
235.15/235.25	c  235s |      22 |  1945946 |  1865822 |      959   4757 |        0 |        0
237.15/237.26	c  237s |      22 |  1962489 |  1881322 |      959   4787 |        0 |        0
239.15/239.28	c  239s |      22 |  1978458 |  1896422 |      959   4818 |        0 |        0
241.15/241.28	c  241s |      22 |  1994530 |  1911422 |      959   4848 |        0 |        0
243.16/243.28	c  243s |      22 |  2010489 |  1926822 |      959   4878 |        0 |        0
245.15/245.29	c  245s |      22 |  2026352 |  1942122 |      959   4909 |        0 |        0
247.15/247.29	c  247s |      22 |  2042026 |  1957422 |      959   4939 |        0 |        0
249.25/249.31	c  249s |      22 |  2057724 |  1972622 |      959   4970 |        0 |        0
251.25/251.32	c  251s |      22 |  2073473 |  1987822 |      959   5000 |        0 |        0
253.25/253.32	c  253s |      22 |  2089318 |  2003222 |      959   5031 |        0 |        0
255.26/255.32	c  255s |      22 |  2105144 |  2018522 |      959   5061 |        0 |        0
257.25/257.33	c  257s |      22 |  2120955 |  2033722 |      959   5092 |        0 |        0
259.25/259.34	c  259s |      22 |  2136964 |  2049022 |      959   5122 |        0 |        0
261.25/261.35	c  261s |      22 |  2152767 |  2064222 |      959   5153 |        0 |        0
263.25/263.35	c  263s |      22 |  2168647 |  2079422 |      959   5183 |        0 |        0
265.25/265.37	c  265s |      22 |  2184364 |  2094522 |      959   5214 |        0 |        0
267.25/267.38	c  267s |      22 |  2200133 |  2109622 |      959   5244 |        0 |        0
269.25/269.39	c  269s |      22 |  2216120 |  2125022 |      959   5275 |        0 |        0
271.35/271.40	c  271s |      22 |  2231981 |  2140222 |      959   5305 |        0 |        0
273.35/273.41	c  273s |      22 |  2248047 |  2155522 |      959   5336 |        0 |        0
275.35/275.41	c  275s |      22 |  2263706 |  2170622 |      959   5366 |        0 |        0
277.35/277.42	c  277s |      22 |  2279582 |  2186022 |      959   5396 |        0 |        0
279.36/279.43	c  279s |      22 |  2295298 |  2201222 |      959   5427 |        0 |        0
281.35/281.44	c  281s |      22 |  2311079 |  2216322 |      959   5457 |        0 |        0
283.35/283.44	c  283s |      22 |  2326721 |  2231522 |      959   5487 |        0 |        0
285.35/285.45	c  285s |      22 |  2342389 |  2246422 |     1055   5515 |        0 |        0
285.95/286.07	c  286s |      23 |  2347134 |  2251038 |     1055   5523 |        0 |        0
287.95/288.07	c  288s |      23 |  2363333 |  2266438 |     1055   5551 |        0 |        0
289.94/290.07	c  290s |      23 |  2379284 |  2281638 |     1055   5579 |        0 |        0
291.94/292.08	c  292s |      23 |  2395079 |  2296938 |     1055   5607 |        0 |        0
294.04/294.10	c  294s |      23 |  2410747 |  2312038 |     1055   5635 |        0 |        0
296.04/296.11	c  296s |      23 |  2426545 |  2327138 |     1055   5662 |        0 |        0
298.05/298.11	c  298s |      23 |  2442220 |  2342338 |     1055   5690 |        0 |        0
300.04/300.12	c  300s |      23 |  2457841 |  2357438 |     1055   5717 |        0 |        0
302.04/302.13	c  302s |      23 |  2473752 |  2372538 |     1055   5745 |        0 |        0
304.04/304.14	c  304s |      23 |  2489560 |  2387638 |     1055   5772 |        0 |        0
306.04/306.15	c  306s |      23 |  2505355 |  2402838 |     1055   5800 |        0 |        0
308.04/308.16	c  308s |      23 |  2520839 |  2417838 |     1055   5827 |        0 |        0
310.03/310.17	c  310s |      23 |  2536368 |  2432838 |     1055   5855 |        0 |        0
312.03/312.17	c  312s |      23 |  2551698 |  2447738 |     1055   5882 |        0 |        0
314.03/314.17	c  314s |      23 |  2567022 |  2462538 |     1055   5909 |        0 |        0
316.03/316.18	c  316s |      23 |  2582869 |  2477338 |     1055   5936 |        0 |        0
318.03/318.19	c  318s |      23 |  2598260 |  2491938 |     1055   5962 |        0 |        0
320.03/320.20	c  320s |      23 |  2613542 |  2506538 |     1055   5989 |        0 |        0
322.13/322.20	c  322s |      23 |  2629340 |  2521638 |     1055   6016 |        0 |        0
324.13/324.21	c  324s |      23 |  2644944 |  2536538 |     1055   6044 |        0 |        0
326.13/326.22	c  326s |      23 |  2660227 |  2551338 |     1055   6071 |        0 |        0
328.13/328.22	c  328s |      23 |  2675974 |  2566138 |     1055   6098 |        0 |        0
330.13/330.22	c  330s |      23 |  2691623 |  2580838 |     1055   6124 |        0 |        0
332.13/332.23	c  332s |      23 |  2707293 |  2595538 |     1055   6151 |        0 |        0
334.12/334.24	c  334s |      23 |  2722820 |  2610138 |     1055   6178 |        0 |        0
336.12/336.24	c  336s |      23 |  2738197 |  2624838 |     1055   6205 |        0 |        0
338.12/338.25	c  338s |      23 |  2753639 |  2639638 |     1055   6232 |        0 |        0
340.12/340.26	c  340s |      23 |  2769252 |  2654438 |     1055   6259 |        0 |        0
342.13/342.27	c  342s |      23 |  2785365 |  2669738 |     1055   6286 |        0 |        0
344.12/344.27	c  344s |      23 |  2801209 |  2684938 |     1055   6314 |        0 |        0
346.12/346.27	c  346s |      23 |  2816604 |  2699638 |     1055   6341 |        0 |        0
348.12/348.28	c  348s |      23 |  2832107 |  2714538 |     1055   6368 |        0 |        0
350.12/350.29	c  350s |      23 |  2847601 |  2729538 |     1055   6395 |        0 |        0
352.22/352.30	c  352s |      23 |  2863199 |  2744438 |     1055   6423 |        0 |        0
354.23/354.31	c  354s |      23 |  2878616 |  2759438 |     1055   6450 |        0 |        0
356.22/356.32	c  356s |      23 |  2894067 |  2774238 |     1055   6477 |        0 |        0
358.22/358.34	c  358s |      23 |  2909506 |  2789038 |     1055   6504 |        0 |        0
360.22/360.35	c  360s |      23 |  2924927 |  2803938 |     1055   6531 |        0 |        0
362.22/362.36	c  362s |      23 |  2940650 |  2818938 |     1055   6558 |        0 |        0
364.21/364.37	c  364s |      23 |  2956105 |  2833838 |     1055   6586 |        0 |        0
366.22/366.39	c  366s |      23 |  2971455 |  2848638 |     1055   6613 |        0 |        0
368.21/368.39	c  368s |      23 |  2986964 |  2863538 |     1055   6640 |        0 |        0
370.21/370.39	c  370s |      23 |  3002242 |  2878038 |     1055   6666 |        0 |        0
372.31/372.40	c  372s |      23 |  3017592 |  2892838 |     1055   6693 |        0 |        0
374.31/374.40	c  374s |      23 |  3033014 |  2907738 |     1055   6720 |        0 |        0
376.31/376.41	c  376s |      23 |  3048317 |  2922438 |     1055   6747 |        0 |        0
378.31/378.41	c  378s |      23 |  3063534 |  2937138 |     1055   6774 |        0 |        0
380.31/380.42	c  380s |      23 |  3078815 |  2951838 |     1055   6801 |        0 |        0
382.31/382.43	c  382s |      23 |  3094144 |  2966538 |     1055   6828 |        0 |        0
384.30/384.43	c  384s |      23 |  3109393 |  2981238 |     1055   6855 |        0 |        0
386.30/386.44	c  386s |      23 |  3124993 |  2996038 |     1055   6882 |        0 |        0
388.31/388.45	c  388s |      23 |  3140267 |  3010838 |     1055   6909 |        0 |        0
390.31/390.46	c  390s |      23 |  3155601 |  3025438 |     1055   6935 |        0 |        0
392.31/392.47	c  392s |      23 |  3171092 |  3040238 |     1055   6962 |        0 |        0
394.30/394.48	c  394s |      23 |  3186302 |  3054838 |     1055   6989 |        0 |        0
396.30/396.48	c  396s |      23 |  3201734 |  3069838 |     1055   7016 |        0 |        0
398.30/398.49	c  398s |      23 |  3217093 |  3084638 |     1055   7044 |        0 |        0
400.31/400.50	c  400s |      23 |  3232702 |  3099538 |     1055   7071 |        0 |        0
402.40/402.51	c  402s |      23 |  3248263 |  3114538 |     1055   7098 |        0 |        0
404.40/404.51	c  404s |      23 |  3263696 |  3129038 |     1055   7125 |        0 |        0
406.39/406.52	c  406s |      23 |  3279563 |  3143638 |     1055   7151 |        0 |        0
408.39/408.52	c  408s |      23 |  3295019 |  3158338 |     1055   7178 |        0 |        0
410.39/410.52	c  410s |      23 |  3310628 |  3172938 |     1055   7205 |        0 |        0
412.40/412.53	c  412s |      23 |  3325813 |  3187538 |     1055   7232 |        0 |        0
414.39/414.54	c  414s |      23 |  3341240 |  3202238 |     1055   7258 |        0 |        0
416.39/416.54	c  416s |      23 |  3356799 |  3217038 |     1055   7286 |        0 |        0
418.39/418.55	c  418s |      23 |  3372165 |  3232038 |     1055   7313 |        0 |        0
420.39/420.56	c  420s |      23 |  3387483 |  3246738 |     1055   7340 |        0 |        0
422.40/422.57	c  422s |      23 |  3402669 |  3261338 |     1055   7366 |        0 |        0
424.39/424.57	c  424s |      23 |  3418059 |  3275738 |     1055   7392 |        0 |        0
426.39/426.59	c  426s |      23 |  3433326 |  3290438 |     1055   7419 |        0 |        0
428.49/428.60	c  428s |      23 |  3448657 |  3305138 |     1055   7446 |        0 |        0
430.49/430.60	c  430s |      23 |  3464280 |  3320138 |     1055   7473 |        0 |        0
432.49/432.61	c  432s |      23 |  3480231 |  3334938 |     1055   7500 |        0 |        0
434.49/434.61	c  434s |      23 |  3495712 |  3349838 |     1055   7527 |        0 |        0
436.49/436.62	c  436s |      23 |  3510725 |  3364438 |     1161   7552 |        0 |        0
438.09/438.30	c  438s |      24 |  3523431 |  3376662 |     1161   7572 |        0 |        0
440.19/440.30	c  440s |      24 |  3538759 |  3391362 |     1161   7597 |        0 |        0
442.09/442.30	c  442s |      24 |  3553844 |  3405862 |     1161   7621 |        0 |        0
444.18/444.30	c  444s |      24 |  3568854 |  3420262 |     1161   7645 |        0 |        0
446.18/446.31	c  446s |      24 |  3583867 |  3434762 |     1161   7669 |        0 |        0
448.18/448.32	c  448s |      24 |  3598782 |  3449162 |     1161   7693 |        0 |        0
450.18/450.33	c  450s |      24 |  3614314 |  3463462 |     1161   7717 |        0 |        0
452.18/452.35	c  452s |      24 |  3629578 |  3477862 |     1161   7741 |        0 |        0
454.18/454.35	c  454s |      24 |  3644890 |  3492362 |     1161   7765 |        0 |        0
456.18/456.36	c  456s |      24 |  3660087 |  3506962 |     1161   7789 |        0 |        0
458.18/458.37	c  458s |      24 |  3675129 |  3521462 |     1161   7813 |        0 |        0
460.18/460.37	c  460s |      24 |  3690213 |  3536062 |     1161   7837 |        0 |        0
462.17/462.38	c  462s |      24 |  3705387 |  3550662 |     1161   7861 |        0 |        0
464.18/464.39	c  464s |      24 |  3720811 |  3564962 |     1161   7885 |        0 |        0
466.17/466.40	c  466s |      24 |  3735792 |  3579362 |     1161   7909 |        0 |        0
468.27/468.41	c  468s |      24 |  3751282 |  3594262 |     1161   7934 |        0 |        0
470.27/470.42	c  470s |      24 |  3766391 |  3608762 |     1161   7958 |        0 |        0
472.27/472.42	c  472s |      24 |  3781374 |  3622762 |     1161   7981 |        0 |        0
474.27/474.43	c  474s |      24 |  3796473 |  3637062 |     1161   8005 |        0 |        0
476.28/476.44	c  476s |      24 |  3811437 |  3651462 |     1161   8029 |        0 |        0
478.27/478.44	c  478s |      24 |  3826438 |  3665962 |     1161   8053 |        0 |        0
480.27/480.45	c  480s |      24 |  3841630 |  3680562 |     1161   8077 |        0 |        0
482.27/482.46	c  482s |      24 |  3856782 |  3695062 |     1161   8102 |        0 |        0
484.27/484.47	c  484s |      24 |  3871803 |  3709462 |     1161   8125 |        0 |        0
486.27/486.47	c  486s |      24 |  3886471 |  3723662 |     1161   8149 |        0 |        0
488.28/488.47	c  488s |      24 |  3901401 |  3738062 |     1161   8173 |        0 |        0
490.27/490.49	c  490s |      24 |  3916228 |  3752362 |     1161   8197 |        0 |        0
492.37/492.50	c  492s |      24 |  3931231 |  3766762 |     1161   8221 |        0 |        0
494.36/494.51	c  494s |      24 |  3946396 |  3781162 |     1161   8245 |        0 |        0
496.36/496.51	c  496s |      24 |  3961100 |  3794962 |     1161   8268 |        0 |        0
498.37/498.52	c  498s |      24 |  3975616 |  3809062 |     1161   8291 |        0 |        0
500.37/500.53	c  500s |      24 |  3990763 |  3823362 |     1161   8315 |        0 |        0
502.36/502.54	c  502s |      24 |  4005973 |  3837662 |     1161   8339 |        0 |        0
504.36/504.54	c  504s |      24 |  4021380 |  3852262 |     1161   8363 |        0 |        0
506.36/506.55	c  506s |      24 |  4036852 |  3866762 |     1161   8387 |        0 |        0
508.35/508.56	c  508s |      24 |  4051978 |  3881062 |     1161   8411 |        0 |        0
510.36/510.57	c  510s |      24 |  4067368 |  3895462 |     1161   8435 |        0 |        0
512.35/512.58	c  512s |      24 |  4082862 |  3909962 |     1161   8459 |        0 |        0
514.35/514.59	c  514s |      24 |  4098095 |  3924362 |     1161   8483 |        0 |        0
516.35/516.59	c  516s |      24 |  4112961 |  3938762 |     1161   8507 |        0 |        0
518.34/518.60	c  518s |      24 |  4128013 |  3953062 |     1161   8531 |        0 |        0
520.44/520.60	c  520s |      24 |  4142996 |  3967462 |     1161   8555 |        0 |        0
522.45/522.61	c  522s |      24 |  4158425 |  3982062 |     1161   8579 |        0 |        0
524.44/524.62	c  524s |      24 |  4173873 |  3996562 |     1161   8603 |        0 |        0
526.45/526.62	c  526s |      24 |  4188798 |  4010762 |     1161   8627 |        0 |        0
528.45/528.63	c  528s |      24 |  4204002 |  4025162 |     1161   8651 |        0 |        0
530.45/530.63	c  530s |      24 |  4219403 |  4039562 |     1161   8674 |        0 |        0
532.45/532.64	c  532s |      24 |  4234700 |  4053962 |     1161   8698 |        0 |        0
534.45/534.65	c  534s |      24 |  4250235 |  4068362 |     1161   8722 |        0 |        0
536.44/536.66	c  536s |      24 |  4265311 |  4082562 |     1161   8746 |        0 |        0
538.44/538.66	c  538s |      24 |  4280243 |  4096562 |     1161   8769 |        0 |        0
540.44/540.67	c  540s |      24 |  4295462 |  4110962 |     1161   8793 |        0 |        0
542.44/542.69	c  542s |      24 |  4310625 |  4125262 |     1161   8817 |        0 |        0
544.54/544.70	c  544s |      24 |  4325567 |  4139562 |     1161   8841 |        0 |        0
546.44/546.70	c  546s |      24 |  4340287 |  4153762 |     1161   8864 |        0 |        0
548.54/548.71	c  548s |      24 |  4355311 |  4168162 |     1161   8888 |        0 |        0
550.54/550.72	c  550s |      24 |  4370117 |  4182362 |     1161   8912 |        0 |        0
552.54/552.73	c  552s |      24 |  4385248 |  4196662 |     1161   8936 |        0 |        0
554.53/554.73	c  554s |      24 |  4400090 |  4210862 |     1161   8959 |        0 |        0
556.54/556.74	c  556s |      24 |  4415152 |  4225262 |     1161   8983 |        0 |        0
558.53/558.75	c  558s |      24 |  4429944 |  4239562 |     1161   9007 |        0 |        0
560.53/560.75	c  560s |      24 |  4444620 |  4253662 |     1161   9030 |        0 |        0
562.53/562.76	c  562s |      24 |  4459066 |  4267662 |     1161   9054 |        0 |        0
564.52/564.77	c  564s |      24 |  4474245 |  4282062 |     1161   9078 |        0 |        0
566.53/566.78	c  566s |      24 |  4489192 |  4296462 |     1161   9102 |        0 |        0
568.54/568.79	c  568s |      24 |  4504388 |  4311062 |     1161   9126 |        0 |        0
570.53/570.79	c  570s |      24 |  4519223 |  4325362 |     1161   9150 |        0 |        0
572.63/572.80	c  572s |      24 |  4534328 |  4339562 |     1161   9174 |        0 |        0
574.63/574.81	c  574s |      24 |  4549373 |  4353962 |     1161   9198 |        0 |        0
576.63/576.81	c  576s |      24 |  4564724 |  4368562 |     1161   9222 |        0 |        0
578.63/578.82	c  578s |      24 |  4580046 |  4382862 |     1161   9246 |        0 |        0
580.63/580.82	c  580s |      24 |  4595087 |  4397162 |     1161   9270 |        0 |        0
582.63/582.83	c  582s |      24 |  4610217 |  4411462 |     1161   9294 |        0 |        0
584.62/584.84	c  584s |      24 |  4625032 |  4425362 |     1161   9317 |        0 |        0
586.62/586.84	c  586s |      24 |  4640198 |  4439462 |     1161   9340 |        0 |        0
588.62/588.85	c  588s |      24 |  4655207 |  4453562 |     1161   9363 |        0 |        0
590.63/590.85	c  590s |      24 |  4669916 |  4467562 |     1161   9387 |        0 |        0
592.62/592.86	c  592s |      24 |  4684536 |  4481362 |     1161   9410 |        0 |        0
594.61/594.87	c  594s |      24 |  4699866 |  4495962 |     1161   9434 |        0 |        0
596.61/596.88	c  596s |      24 |  4714968 |  4510362 |     1161   9458 |        0 |        0
598.61/598.89	c  598s |      24 |  4730544 |  4524762 |     1161   9482 |        0 |        0
600.71/600.90	c  600s |      24 |  4745533 |  4538962 |     1161   9505 |        0 |        0
602.72/602.92	c  602s |      24 |  4760295 |  4553062 |     1161   9529 |        0 |        0
604.71/604.94	c  604s |      24 |  4775398 |  4567162 |     1161   9553 |        0 |        0
606.71/606.94	c  606s |      24 |  4789808 |  4581162 |     1161   9576 |        0 |        0
608.71/608.94	c  608s |      24 |  4804203 |  4594962 |     1161   9599 |        0 |        0
610.71/610.95	c  610s |      24 |  4819244 |  4609262 |     1161   9623 |        0 |        0
612.70/612.96	c  612s |      24 |  4834166 |  4623562 |     1161   9647 |        0 |        0
614.71/614.97	c  614s |      24 |  4849060 |  4637662 |     1161   9670 |        0 |        0
616.70/616.97	c  616s |      24 |  4863659 |  4651662 |     1161   9693 |        0 |        0
618.70/618.99	c  618s |      24 |  4878507 |  4665862 |     1161   9717 |        0 |        0
620.80/621.00	c  620s |      24 |  4893595 |  4680062 |     1161   9741 |        0 |        0
622.80/623.00	c  622s |      24 |  4908550 |  4694262 |     1161   9764 |        0 |        0
624.80/625.00	c  624s |      24 |  4923439 |  4708262 |     1161   9788 |        0 |        0
626.80/627.01	c  626s |      24 |  4938823 |  4722662 |     1161   9812 |        0 |        0
628.79/629.01	c  628s |      24 |  4953962 |  4737062 |     1161   9836 |        0 |        0
630.79/631.02	c  631s |      24 |  4969211 |  4751362 |     1161   9859 |        0 |        0
632.79/633.02	c  633s |      24 |  4984364 |  4765762 |     1161   9883 |        0 |        0
634.79/635.03	c  635s |      24 |  4999504 |  4780062 |     1161   9907 |        0 |        0
636.79/637.04	c  637s |      24 |  5014415 |  4794062 |     1161   9930 |        0 |        0
638.78/639.05	c  639s |      24 |  5029225 |  4807962 |     1161   9953 |        0 |        0
640.78/641.06	c  641s |      24 |  5044007 |  4822162 |     1161   9977 |        0 |        0
642.79/643.07	c  643s |      24 |  5058628 |  4836162 |     1161  10000 |        0 |        0
644.79/645.07	c  645s |      24 |  5073257 |  4850062 |     1161  10023 |        0 |        0
646.79/647.08	c  647s |      24 |  5088031 |  4864162 |     1161  10047 |        0 |        0
648.79/649.08	c  649s |      24 |  5102906 |  4878062 |     1161  10070 |        0 |        0
650.79/651.09	c  651s |      24 |  5118053 |  4892262 |     1161  10093 |        0 |        0
652.78/653.10	c  653s |      24 |  5132840 |  4906162 |     1161  10117 |        0 |        0
654.88/655.10	c  655s |      24 |  5147549 |  4920062 |     1161  10140 |        0 |        0
656.88/657.11	c  657s |      24 |  5162827 |  4934262 |     1161  10163 |        0 |        0
658.88/659.12	c  659s |      24 |  5177870 |  4948362 |     1161  10187 |        0 |        0
660.88/661.13	c  661s |      24 |  5192954 |  4962462 |     1161  10210 |        0 |        0
662.88/663.14	c  663s |      24 |  5207946 |  4976462 |     1161  10233 |        0 |        0
664.87/665.14	c  665s |      24 |  5222990 |  4990362 |     1161  10257 |        0 |        0
666.87/667.15	c  667s |      24 |  5238003 |  5004362 |     1161  10280 |        0 |        0
668.87/669.15	c  669s |      24 |  5252995 |  5018462 |     1161  10303 |        0 |        0
670.88/671.16	c  671s |      24 |  5267832 |  5032562 |     1278  10326 |        0 |        0
672.87/673.16	c  673s |      24 |  5282766 |  5046562 |     1278  10347 |        0 |        0
674.86/675.17	c  675s |      24 |  5297491 |  5060462 |     1278  10368 |        0 |        0
675.56/675.84	c  675s |      25 |  5302437 |  5065098 |     1278  10375 |        0 |        0
677.56/677.85	c  677s |      25 |  5317899 |  5079098 |     1278  10397 |        0 |        0
679.57/679.85	c  679s |      25 |  5332987 |  5092798 |     1278  10417 |        0 |        0
681.56/681.86	c  681s |      25 |  5347806 |  5106598 |     1278  10438 |        0 |        0
683.56/683.87	c  683s |      25 |  5362291 |  5120298 |     1278  10459 |        0 |        0
685.56/685.88	c  685s |      25 |  5376855 |  5134098 |     1278  10480 |        0 |        0
687.56/687.89	c  687s |      25 |  5391329 |  5147798 |     1278  10501 |        0 |        0
689.66/689.90	c  689s |      25 |  5405867 |  5161598 |     1278  10522 |        0 |        0
691.67/691.91	c  691s |      25 |  5420739 |  5175498 |     1278  10543 |        0 |        0
693.66/693.91	c  693s |      25 |  5435812 |  5189698 |     1278  10564 |        0 |        0
695.66/695.92	c  695s |      25 |  5450182 |  5203298 |     1278  10585 |        0 |        0
697.66/697.93	c  697s |      25 |  5464610 |  5216998 |     1278  10606 |        0 |        0
699.66/699.94	c  699s |      25 |  5479199 |  5230798 |     1278  10626 |        0 |        0
701.66/701.94	c  701s |      25 |  5493418 |  5244298 |     1278  10647 |        0 |        0
703.65/703.95	c  703s |      25 |  5507756 |  5258098 |     1278  10668 |        0 |        0
705.65/705.95	c  705s |      25 |  5522256 |  5271898 |     1278  10689 |        0 |        0
707.65/707.95	c  707s |      25 |  5536705 |  5285698 |     1278  10710 |        0 |        0
709.65/709.96	c  709s |      25 |  5551531 |  5299498 |     1278  10731 |        0 |        0
711.65/711.96	c  711s |      25 |  5565990 |  5313298 |     1278  10751 |        0 |        0
713.65/713.98	c  713s |      25 |  5579860 |  5326698 |     1278  10772 |        0 |        0
715.65/715.98	c  715s |      25 |  5594115 |  5340498 |     1278  10793 |        0 |        0
717.64/717.98	c  717s |      25 |  5608455 |  5354298 |     1278  10814 |        0 |        0
719.64/719.99	c  719s |      25 |  5623042 |  5368098 |     1278  10834 |        0 |        0
721.64/721.99	c  721s |      25 |  5637311 |  5381798 |     1278  10855 |        0 |        0
723.74/724.00	c  723s |      25 |  5651760 |  5395598 |     1278  10876 |        0 |        0
725.75/726.01	c  725s |      25 |  5666104 |  5409298 |     1278  10897 |        0 |        0
727.74/728.01	c  727s |      25 |  5680807 |  5423298 |     1278  10918 |        0 |        0
729.74/730.02	c  730s |      25 |  5695163 |  5436898 |     1278  10939 |        0 |        0
731.74/732.02	c  732s |      25 |  5709688 |  5450598 |     1278  10959 |        0 |        0
733.73/734.02	c  734s |      25 |  5723969 |  5464198 |     1278  10980 |        0 |        0
735.74/736.03	c  736s |      25 |  5738339 |  5477598 |     1278  11001 |        0 |        0
737.73/738.04	c  738s |      25 |  5752542 |  5491198 |     1278  11021 |        0 |        0
739.73/740.04	c  740s |      25 |  5766799 |  5504898 |     1278  11042 |        0 |        0
741.73/742.05	c  742s |      25 |  5781549 |  5518698 |     1278  11063 |        0 |        0
743.73/744.06	c  744s |      25 |  5796088 |  5531998 |     1278  11083 |        0 |        0
745.72/746.08	c  746s |      25 |  5811067 |  5545998 |     1278  11105 |        0 |        0
747.73/748.08	c  748s |      25 |  5825730 |  5559798 |     1278  11125 |        0 |        0
749.72/750.08	c  750s |      25 |  5840501 |  5573598 |     1278  11146 |        0 |        0
751.72/752.09	c  752s |      25 |  5855416 |  5587398 |     1278  11167 |        0 |        0
753.73/754.09	c  754s |      25 |  5869541 |  5600798 |     1278  11187 |        0 |        0
755.83/756.10	c  756s |      25 |  5884236 |  5614498 |     1278  11208 |        0 |        0
757.83/758.11	c  758s |      25 |  5899264 |  5628398 |     1278  11229 |        0 |        0
759.83/760.11	c  760s |      25 |  5914477 |  5641798 |     1278  11250 |        0 |        0
761.83/762.13	c  762s |      25 |  5929263 |  5655598 |     1278  11271 |        0 |        0
763.82/764.13	c  764s |      25 |  5943339 |  5669098 |     1278  11291 |        0 |        0
765.82/766.14	c  766s |      25 |  5957617 |  5682798 |     1278  11312 |        0 |        0
767.82/768.15	c  768s |      25 |  5971748 |  5696398 |     1278  11332 |        0 |        0
769.83/770.17	c  770s |      25 |  5986066 |  5710198 |     1278  11353 |        0 |        0
771.82/772.17	c  772s |      25 |  6000294 |  5723798 |     1278  11374 |        0 |        0
773.81/774.18	c  774s |      25 |  6014662 |  5737498 |     1278  11394 |        0 |        0
775.81/776.18	c  776s |      25 |  6028910 |  5750698 |     1278  11414 |        0 |        0
777.81/778.19	c  778s |      25 |  6043344 |  5764098 |     1278  11435 |        0 |        0
779.91/780.20	c  780s |      25 |  6057588 |  5777298 |     1278  11455 |        0 |        0
781.92/782.21	c  782s |      25 |  6071993 |  5790998 |     1278  11476 |        0 |        0
783.90/784.22	c  784s |      25 |  6086401 |  5804698 |     1278  11496 |        0 |        0
785.90/786.23	c  786s |      25 |  6100930 |  5818398 |     1278  11517 |        0 |        0
787.90/788.24	c  788s |      25 |  6114766 |  5831698 |     1278  11537 |        0 |        0
789.90/790.25	c  790s |      25 |  6129380 |  5844898 |     1278  11557 |        0 |        0
791.91/792.25	c  792s |      25 |  6143941 |  5857998 |     1278  11577 |        0 |        0
793.91/794.26	c  794s |      25 |  6158393 |  5871698 |     1278  11598 |        0 |        0
795.90/796.26	c  796s |      25 |  6173089 |  5885398 |     1278  11619 |        0 |        0
797.90/798.27	c  798s |      25 |  6188006 |  5899198 |     1278  11640 |        0 |        0
799.90/800.28	c  800s |      25 |  6202517 |  5912798 |     1278  11660 |        0 |        0
801.90/802.29	c  802s |      25 |  6217008 |  5926298 |     1278  11681 |        0 |        0
803.90/804.29	c  804s |      25 |  6231730 |  5939798 |     1278  11701 |        0 |        0
805.89/806.30	c  806s |      25 |  6245985 |  5953198 |     1278  11722 |        0 |        0
807.99/808.31	c  808s |      25 |  6260170 |  5966798 |     1278  11742 |        0 |        0
809.99/810.32	c  810s |      25 |  6274124 |  5980198 |     1278  11763 |        0 |        0
811.99/812.33	c  812s |      25 |  6288100 |  5993698 |     1278  11783 |        0 |        0
813.99/814.34	c  814s |      25 |  6302184 |  6007098 |     1278  11803 |        0 |        0
815.99/816.35	c  816s |      25 |  6316167 |  6020598 |     1278  11824 |        0 |        0
817.99/818.35	c  818s |      25 |  6330555 |  6034098 |     1278  11844 |        0 |        0
819.99/820.36	c  820s |      25 |  6344879 |  6047798 |     1278  11865 |        0 |        0
821.99/822.37	c  822s |      25 |  6359564 |  6061398 |     1278  11886 |        0 |        0
823.98/824.37	c  824s |      25 |  6374107 |  6075098 |     1278  11906 |        0 |        0
825.98/826.38	c  826s |      25 |  6388965 |  6088698 |     1278  11927 |        0 |        0
827.99/828.38	c  828s |      25 |  6403798 |  6102198 |     1278  11947 |        0 |        0
829.98/830.39	c  830s |      25 |  6418405 |  6115798 |     1278  11968 |        0 |        0
832.08/832.40	c  832s |      25 |  6433466 |  6129398 |     1278  11989 |        0 |        0
834.07/834.41	c  834s |      25 |  6447581 |  6142498 |     1278  12009 |        0 |        0
836.07/836.41	c  836s |      25 |  6462107 |  6156298 |     1278  12029 |        0 |        0
838.07/838.42	c  838s |      25 |  6476325 |  6169798 |     1278  12050 |        0 |        0
840.08/840.42	c  840s |      25 |  6490324 |  6183198 |     1278  12070 |        0 |        0
842.07/842.42	c  842s |      25 |  6504200 |  6196498 |     1278  12090 |        0 |        0
844.06/844.42	c  844s |      25 |  6518306 |  6209798 |     1278  12111 |        0 |        0
846.06/846.43	c  846s |      25 |  6532642 |  6223198 |     1278  12131 |        0 |        0
848.06/848.44	c  848s |      25 |  6546960 |  6236698 |     1278  12151 |        0 |        0
850.07/850.44	c  850s |      25 |  6561192 |  6250198 |     1278  12172 |        0 |        0
852.06/852.45	c  852s |      25 |  6575337 |  6263698 |     1278  12192 |        0 |        0
854.06/854.46	c  854s |      25 |  6589400 |  6277198 |     1278  12213 |        0 |        0
856.06/856.46	c  856s |      25 |  6603417 |  6290698 |     1278  12233 |        0 |        0
858.06/858.47	c  858s |      25 |  6617607 |  6304198 |     1278  12254 |        0 |        0
860.06/860.47	c  860s |      25 |  6631819 |  6317698 |     1278  12274 |        0 |        0
862.06/862.48	c  862s |      25 |  6646905 |  6331398 |     1278  12295 |        0 |        0
864.05/864.49	c  864s |      25 |  6661207 |  6344798 |     1278  12315 |        0 |        0
866.05/866.49	c  866s |      25 |  6675020 |  6357898 |     1278  12335 |        0 |        0
868.05/868.49	c  868s |      25 |  6689177 |  6371098 |     1278  12355 |        0 |        0
870.15/870.50	c  870s |      25 |  6702965 |  6384298 |     1278  12375 |        0 |        0
872.15/872.50	c  872s |      25 |  6716997 |  6397698 |     1278  12396 |        0 |        0
874.15/874.50	c  874s |      25 |  6731310 |  6411198 |     1278  12416 |        0 |        0
876.14/876.52	c  876s |      25 |  6745756 |  6424698 |     1278  12436 |        0 |        0
878.14/878.52	c  878s |      25 |  6760089 |  6438398 |     1278  12457 |        0 |        0
880.14/880.53	c  880s |      25 |  6774720 |  6451898 |     1278  12478 |        0 |        0
882.14/882.54	c  882s |      25 |  6789245 |  6465498 |     1278  12498 |        0 |        0
884.15/884.54	c  884s |      25 |  6803309 |  6478898 |     1278  12519 |        0 |        0
886.14/886.54	c  886s |      25 |  6817924 |  6492298 |     1278  12539 |        0 |        0
888.14/888.55	c  888s |      25 |  6832370 |  6505598 |     1278  12559 |        0 |        0
890.15/890.57	c  890s |      25 |  6847197 |  6518798 |     1278  12579 |        0 |        0
892.15/892.57	c  892s |      25 |  6860843 |  6531998 |     1278  12599 |        0 |        0
894.14/894.58	c  894s |      25 |  6874986 |  6545298 |     1278  12620 |        0 |        0
896.15/896.60	c  896s |      25 |  6888890 |  6558498 |     1278  12640 |        0 |        0
898.24/898.60	c  898s |      25 |  6903239 |  6571698 |     1278  12660 |        0 |        0
900.24/900.61	c  900s |      25 |  6918322 |  6584798 |     1278  12680 |        0 |        0
902.24/902.61	c  902s |      25 |  6932756 |  6598098 |     1278  12700 |        0 |        0
904.24/904.62	c  904s |      25 |  6946668 |  6611398 |     1278  12720 |        0 |        0
906.24/906.63	c  906s |      25 |  6960628 |  6624698 |     1278  12740 |        0 |        0
908.24/908.64	c  908s |      25 |  6974771 |  6638298 |     1278  12761 |        0 |        0
910.24/910.65	c  910s |      25 |  6989332 |  6651798 |     1278  12781 |        0 |        0
912.24/912.66	c  912s |      25 |  7003996 |  6665298 |     1278  12802 |        0 |        0
914.23/914.66	c  914s |      25 |  7018164 |  6678598 |     1278  12822 |        0 |        0
916.23/916.67	c  916s |      25 |  7032352 |  6691898 |     1278  12842 |        0 |        0
918.24/918.69	c  918s |      25 |  7046671 |  6705298 |     1278  12863 |        0 |        0
920.34/920.71	c  920s |      25 |  7060614 |  6718698 |     1278  12883 |        0 |        0
922.33/922.71	c  922s |      25 |  7074328 |  6731798 |     1278  12903 |        0 |        0
924.33/924.71	c  924s |      25 |  7087945 |  6744898 |     1278  12923 |        0 |        0
926.33/926.72	c  926s |      25 |  7102366 |  6758298 |     1278  12943 |        0 |        0
928.33/928.73	c  928s |      25 |  7116499 |  6771598 |     1278  12963 |        0 |        0
930.33/930.73	c  930s |      25 |  7130921 |  6784498 |     1278  12983 |        0 |        0
932.33/932.74	c  932s |      25 |  7145791 |  6797698 |     1278  13003 |        0 |        0
934.32/934.75	c  934s |      25 |  7160168 |  6810898 |     1278  13023 |        0 |        0
936.32/936.76	c  936s |      25 |  7173993 |  6824098 |     1278  13043 |        0 |        0
938.32/938.77	c  938s |      25 |  7187245 |  6836898 |     1278  13062 |        0 |        0
940.32/940.78	c  940s |      25 |  7201443 |  6850098 |     1278  13082 |        0 |        0
942.33/942.79	c  942s |      25 |  7215603 |  6863398 |     1278  13103 |        0 |        0
944.32/944.79	c  944s |      25 |  7229599 |  6876698 |     1278  13123 |        0 |        0
946.32/946.79	c  946s |      25 |  7243627 |  6889998 |     1278  13143 |        0 |        0
948.42/948.80	c  948s |      25 |  7258571 |  6903398 |     1278  13163 |        0 |        0
950.42/950.81	c  950s |      25 |  7273096 |  6916798 |     1278  13183 |        0 |        0
952.42/952.81	c  952s |      25 |  7287227 |  6929998 |     1278  13203 |        0 |        0
954.42/954.82	c  954s |      25 |  7301270 |  6943198 |     1278  13223 |        0 |        0
956.41/956.82	c  956s |      25 |  7315411 |  6956398 |     1278  13243 |        0 |        0
958.41/958.82	c  958s |      25 |  7330158 |  6969598 |     1278  13263 |        0 |        0
960.41/960.83	c  960s |      25 |  7344442 |  6982998 |     1278  13284 |        0 |        0
962.41/962.84	c  962s |      25 |  7358390 |  6995998 |     1278  13303 |        0 |        0
964.42/964.85	c  964s |      25 |  7372637 |  7009298 |     1278  13324 |        0 |        0
966.41/966.86	c  966s |      25 |  7387490 |  7022798 |     1278  13344 |        0 |        0
968.41/968.86	c  968s |      25 |  7401609 |  7035998 |     1278  13364 |        0 |        0
970.41/970.87	c  970s |      25 |  7415948 |  7049198 |     1278  13384 |        0 |        0
972.41/972.87	c  972s |      25 |  7429999 |  7061998 |     1278  13403 |        0 |        0
974.41/974.88	c  974s |      25 |  7444269 |  7074798 |     1278  13423 |        0 |        0
976.42/976.89	c  976s |      25 |  7458546 |  7087698 |     1278  13442 |        0 |        0
978.52/978.91	c  978s |      25 |  7473040 |  7100998 |     1278  13463 |        0 |        0
980.52/980.91	c  980s |      25 |  7487165 |  7114298 |     1278  13483 |        0 |        0
982.52/982.92	c  982s |      25 |  7501458 |  7127498 |     1278  13503 |        0 |        0
984.51/984.92	c  984s |      25 |  7515891 |  7140498 |     1278  13523 |        0 |        0
986.51/986.92	c  986s |      25 |  7530223 |  7153698 |     1278  13543 |        0 |        0
988.52/988.93	c  988s |      25 |  7544778 |  7166898 |     1278  13563 |        0 |        0
990.51/990.93	c  990s |      25 |  7559120 |  7180098 |     1278  13583 |        0 |        0
992.51/992.94	c  992s |      25 |  7573260 |  7193298 |     1278  13603 |        0 |        0
994.51/994.95	c  994s |      25 |  7587236 |  7206498 |     1278  13623 |        0 |        0
996.51/996.96	c  996s |      25 |  7600964 |  7219698 |     1278  13643 |        0 |        0
998.52/998.98	c  998s |      25 |  7614578 |  7232898 |     1278  13663 |        0 |        0
1000.51/1000.99	c 1000s |      25 |  7628269 |  7245898 |     1278  13682 |        0 |        0
1002.51/1002.99	c 1002s |      25 |  7641893 |  7258798 |     1278  13702 |        0 |        0
1004.61/1005.00	c 1004s |      25 |  7655632 |  7271898 |     1278  13722 |        0 |        0
1006.61/1007.00	c 1006s |      25 |  7669591 |  7285198 |     1278  13742 |        0 |        0
1008.61/1009.01	c 1008s |      25 |  7683460 |  7298198 |     1278  13762 |        0 |        0
1010.61/1011.02	c 1011s |      25 |  7697022 |  7311298 |     1278  13782 |        0 |        0
1012.61/1013.03	c 1013s |      25 |  7710825 |  7324498 |     1278  13802 |        0 |        0
1014.60/1015.04	c 1015s |      25 |  7724353 |  7337598 |     1278  13822 |        0 |        0
1016.60/1017.04	c 1017s |      25 |  7738032 |  7350798 |     1278  13842 |        0 |        0
1018.60/1019.05	c 1019s |      25 |  7751767 |  7363698 |     1278  13861 |        0 |        0
1020.60/1021.05	c 1021s |      25 |  7765491 |  7376598 |     1278  13881 |        0 |        0
1022.61/1023.06	c 1023s |      25 |  7779260 |  7389798 |     1278  13901 |        0 |        0
1024.60/1025.06	c 1025s |      25 |  7793458 |  7403198 |     1278  13921 |        0 |        0
1026.60/1027.08	c 1027s |      25 |  7807721 |  7416498 |     1278  13942 |        0 |        0
1028.60/1029.08	c 1029s |      25 |  7821613 |  7429698 |     1278  13962 |        0 |        0
1030.60/1031.09	c 1031s |      25 |  7835355 |  7442998 |     1278  13982 |        0 |        0
1032.70/1033.10	c 1033s |      25 |  7849109 |  7456298 |     1278  14002 |        0 |        0
1034.72/1035.11	c 1035s |      25 |  7862935 |  7469498 |     1278  14022 |        0 |        0
1036.71/1037.12	c 1037s |      25 |  7876887 |  7482898 |     1278  14042 |        0 |        0
1038.71/1039.13	c 1039s |      25 |  7890706 |  7496198 |     1278  14063 |        0 |        0
1040.70/1041.13	c 1041s |      25 |  7904559 |  7509498 |     1278  14083 |        0 |        0
1042.70/1043.14	c 1043s |      25 |  7918480 |  7522698 |     1278  14103 |        0 |        0
1044.71/1045.15	c 1045s |      25 |  7931990 |  7535598 |     1278  14122 |        0 |        0
1046.70/1047.15	c 1047s |      25 |  7945294 |  7548298 |     1406  14141 |        0 |        0
1048.70/1049.15	c 1049s |      25 |  7959210 |  7561498 |     1406  14159 |        0 |        0
1050.70/1051.15	c 1051s |      25 |  7972901 |  7574698 |     1406  14177 |        0 |        0
1052.70/1053.15	c 1053s |      25 |  7986349 |  7587498 |     1406  14195 |        0 |        0
1054.30/1054.73	c 1054s |      26 |  7996967 |  7597752 |     1406  14209 |        0 |        0
1056.30/1056.73	c 1056s |      26 |  8010579 |  7610652 |     1406  14227 |        0 |        0
1058.30/1058.74	c 1058s |      26 |  8024313 |  7623452 |     1406  14245 |        0 |        0
1060.30/1060.74	c 1060s |      26 |  8038283 |  7636552 |     1406  14263 |        0 |        0
1062.31/1062.76	c 1062s |      26 |  8051997 |  7649552 |     1406  14281 |        0 |        0
1064.30/1064.77	c 1064s |      26 |  8066062 |  7662652 |     1406  14299 |        0 |        0
1066.29/1066.77	c 1066s |      26 |  8080735 |  7675752 |     1406  14317 |        0 |        0
1068.29/1068.78	c 1068s |      26 |  8094631 |  7688852 |     1406  14335 |        0 |        0
1070.29/1070.79	c 1070s |      26 |  8109066 |  7701752 |     1406  14353 |        0 |        0
1072.39/1072.80	c 1072s |      26 |  8122939 |  7714552 |     1406  14370 |        0 |        0
1074.30/1074.80	c 1074s |      26 |  8137603 |  7727252 |     1406  14388 |        0 |        0
1076.39/1076.81	c 1076s |      26 |  8151852 |  7740252 |     1406  14406 |        0 |        0
1078.39/1078.81	c 1078s |      26 |  8165783 |  7753152 |     1406  14423 |        0 |        0
1080.39/1080.82	c 1080s |      26 |  8179679 |  7766152 |     1406  14441 |        0 |        0
1082.39/1082.83	c 1082s |      26 |  8193973 |  7779352 |     1406  14460 |        0 |        0
1084.39/1084.84	c 1084s |      26 |  8208125 |  7792352 |     1406  14477 |        0 |        0
1086.41/1086.84	c 1086s |      26 |  8222407 |  7805252 |     1406  14495 |        0 |        0
1088.40/1088.85	c 1088s |      26 |  8236316 |  7818252 |     1406  14513 |        0 |        0
1090.40/1090.86	c 1090s |      26 |  8250320 |  7831252 |     1406  14531 |        0 |        0
1092.40/1092.87	c 1092s |      26 |  8263955 |  7844152 |     1406  14549 |        0 |        0
1094.40/1094.87	c 1094s |      26 |  8277563 |  7856852 |     1406  14566 |        0 |        0
1096.40/1096.88	c 1096s |      26 |  8291410 |  7869752 |     1406  14584 |        0 |        0
1098.40/1098.88	c 1098s |      26 |  8305088 |  7882552 |     1406  14602 |        0 |        0
1100.39/1100.89	c 1100s |      26 |  8318779 |  7895352 |     1406  14619 |        0 |        0
1102.39/1102.90	c 1102s |      26 |  8332401 |  7908152 |     1406  14637 |        0 |        0
1104.49/1104.90	c 1104s |      26 |  8346330 |  7921152 |     1406  14655 |        0 |        0
1106.49/1106.90	c 1106s |      26 |  8360113 |  7934152 |     1406  14673 |        0 |        0
1108.50/1108.90	c 1108s |      26 |  8373652 |  7947052 |     1406  14691 |        0 |        0
1110.49/1110.91	c 1110s |      26 |  8387601 |  7959852 |     1406  14708 |        0 |        0
1112.49/1112.91	c 1112s |      26 |  8401350 |  7972452 |     1406  14726 |        0 |        0
1114.49/1114.92	c 1114s |      26 |  8415596 |  7985052 |     1406  14743 |        0 |        0
1116.49/1116.92	c 1116s |      26 |  8429557 |  7998152 |     1406  14761 |        0 |        0
1118.49/1118.93	c 1118s |      26 |  8443713 |  8011352 |     1406  14779 |        0 |        0
1120.50/1120.95	c 1120s |      26 |  8457862 |  8024652 |     1406  14798 |        0 |        0
1122.49/1122.96	c 1122s |      26 |  8471437 |  8037752 |     1406  14816 |        0 |        0
1124.49/1124.97	c 1124s |      26 |  8485201 |  8050752 |     1406  14834 |        0 |        0
1126.49/1126.98	c 1126s |      26 |  8498886 |  8063852 |     1406  14852 |        0 |        0
1128.49/1128.99	c 1128s |      26 |  8512729 |  8077252 |     1406  14870 |        0 |        0
1130.49/1130.99	c 1130s |      26 |  8526596 |  8090452 |     1406  14888 |        0 |        0
1132.59/1133.01	c 1132s |      26 |  8540205 |  8103652 |     1406  14906 |        0 |        0
1134.58/1135.02	c 1135s |      26 |  8553803 |  8116652 |     1406  14924 |        0 |        0
1136.58/1137.03	c 1137s |      26 |  8567752 |  8129652 |     1406  14942 |        0 |        0
1138.58/1139.04	c 1139s |      26 |  8581452 |  8142452 |     1406  14960 |        0 |        0
1140.58/1141.05	c 1141s |      26 |  8595582 |  8155852 |     1406  14979 |        0 |        0
1142.59/1143.06	c 1143s |      26 |  8609971 |  8169252 |     1406  14997 |        0 |        0
1144.58/1145.07	c 1145s |      26 |  8624049 |  8182352 |     1406  15015 |        0 |        0
1146.58/1147.07	c 1147s |      26 |  8638092 |  8195452 |     1406  15033 |        0 |        0
1148.58/1149.08	c 1149s |      26 |  8651949 |  8208452 |     1406  15051 |        0 |        0
1150.58/1151.09	c 1151s |      26 |  8665532 |  8221152 |     1406  15069 |        0 |        0
1152.68/1153.11	c 1153s |      26 |  8679570 |  8234152 |     1406  15087 |        0 |        0
1154.69/1155.12	c 1155s |      26 |  8693678 |  8247052 |     1406  15104 |        0 |        0
1156.68/1157.13	c 1157s |      26 |  8707468 |  8259952 |     1406  15122 |        0 |        0
1158.68/1159.15	c 1159s |      26 |  8721212 |  8272552 |     1406  15140 |        0 |        0
1160.68/1161.16	c 1161s |      26 |  8735258 |  8285452 |     1406  15157 |        0 |        0
1162.68/1163.16	c 1163s |      26 |  8749215 |  8298352 |     1406  15175 |        0 |        0
1164.69/1165.17	c 1165s |      26 |  8762620 |  8311252 |     1406  15193 |        0 |        0
1166.69/1167.17	c 1167s |      26 |  8776243 |  8324352 |     1406  15211 |        0 |        0
1168.69/1169.18	c 1169s |      26 |  8789791 |  8337152 |     1406  15229 |        0 |        0
1170.69/1171.19	c 1171s |      26 |  8802953 |  8349852 |     1406  15246 |        0 |        0
1172.79/1173.20	c 1173s |      26 |  8816543 |  8362852 |     1406  15264 |        0 |        0
1174.79/1175.21	c 1175s |      26 |  8830059 |  8375852 |     1406  15282 |        0 |        0
1176.78/1177.21	c 1177s |      26 |  8843441 |  8388652 |     1406  15299 |        0 |        0
1178.79/1179.22	c 1179s |      26 |  8856707 |  8401352 |     1406  15317 |        0 |        0
1180.78/1181.22	c 1181s |      26 |  8870276 |  8414252 |     1406  15335 |        0 |        0
1182.78/1183.22	c 1183s |      26 |  8884057 |  8427352 |     1406  15353 |        0 |        0
1184.78/1185.23	c 1185s |      26 |  8897719 |  8440052 |     1406  15370 |        0 |        0
1186.78/1187.24	c 1187s |      26 |  8911228 |  8452952 |     1406  15388 |        0 |        0
1188.79/1189.25	c 1189s |      26 |  8925006 |  8466052 |     1406  15406 |        0 |        0
1190.78/1191.27	c 1191s |      26 |  8938833 |  8479052 |     1406  15424 |        0 |        0
1192.78/1193.28	c 1193s |      26 |  8952377 |  8492152 |     1406  15442 |        0 |        0
1194.78/1195.29	c 1195s |      26 |  8965914 |  8505252 |     1406  15460 |        0 |        0
1196.88/1197.30	c 1197s |      26 |  8979608 |  8518252 |     1406  15478 |        0 |        0
1198.88/1199.31	c 1199s |      26 |  8993065 |  8531052 |     1406  15496 |        0 |        0
1200.88/1201.32	c 1201s |      26 |  9007143 |  8544252 |     1406  15514 |        0 |        0
1202.88/1203.34	c 1203s |      26 |  9020801 |  8557252 |     1406  15532 |        0 |        0
1204.87/1205.36	c 1205s |      26 |  9034227 |  8570052 |     1406  15550 |        0 |        0
1206.87/1207.37	c 1207s |      26 |  9047922 |  8583152 |     1406  15568 |        0 |        0
1208.87/1209.38	c 1209s |      26 |  9061565 |  8596252 |     1406  15586 |        0 |        0
1210.87/1211.38	c 1211s |      26 |  9075259 |  8609352 |     1406  15604 |        0 |        0
1212.88/1213.38	c 1213s |      26 |  9088501 |  8622152 |     1406  15621 |        0 |        0
1214.88/1215.38	c 1215s |      26 |  9101969 |  8634952 |     1406  15639 |        0 |        0
1216.88/1217.39	c 1217s |      26 |  9115988 |  8648152 |     1406  15657 |        0 |        0
1218.98/1219.40	c 1219s |      26 |  9129877 |  8661452 |     1406  15676 |        0 |        0
1220.98/1221.40	c 1221s |      26 |  9143436 |  8674452 |     1406  15694 |        0 |        0
1222.98/1223.42	c 1223s |      26 |  9157340 |  8687652 |     1406  15712 |        0 |        0
1224.99/1225.42	c 1225s |      26 |  9171006 |  8700652 |     1406  15730 |        0 |        0
1226.98/1227.44	c 1227s |      26 |  9184830 |  8713852 |     1406  15748 |        0 |        0
1228.98/1229.44	c 1229s |      26 |  9198799 |  8726952 |     1406  15766 |        0 |        0
1230.98/1231.45	c 1231s |      26 |  9212583 |  8740152 |     1406  15784 |        0 |        0
1232.98/1233.45	c 1233s |      26 |  9226186 |  8753152 |     1406  15802 |        0 |        0
1234.98/1235.45	c 1235s |      26 |  9239652 |  8766152 |     1406  15820 |        0 |        0
1236.98/1237.48	c 1237s |      26 |  9253632 |  8779352 |     1406  15839 |        0 |        0
1238.97/1239.49	c 1239s |      26 |  9267802 |  8792552 |     1406  15857 |        0 |        0
1240.97/1241.49	c 1241s |      26 |  9281720 |  8805552 |     1406  15875 |        0 |        0
1243.07/1243.50	c 1243s |      26 |  9295691 |  8818652 |     1406  15893 |        0 |        0
1245.07/1245.52	c 1245s |      26 |  9309476 |  8831552 |     1406  15911 |        0 |        0
1247.08/1247.53	c 1247s |      26 |  9324227 |  8844452 |     1406  15928 |        0 |        0
1249.07/1249.54	c 1249s |      26 |  9337865 |  8857452 |     1406  15946 |        0 |        0
1251.07/1251.55	c 1251s |      26 |  9351658 |  8870452 |     1406  15964 |        0 |        0
1253.07/1253.55	c 1253s |      26 |  9365637 |  8883552 |     1406  15982 |        0 |        0
1255.07/1255.56	c 1255s |      26 |  9379142 |  8896552 |     1406  16000 |        0 |        0
1257.07/1257.57	c 1257s |      26 |  9392915 |  8909652 |     1406  16018 |        0 |        0
1259.08/1259.58	c 1259s |      26 |  9406915 |  8922852 |     1406  16036 |        0 |        0
1261.07/1261.58	c 1261s |      26 |  9420530 |  8935752 |     1406  16054 |        0 |        0
1263.17/1263.60	c 1263s |      26 |  9434313 |  8948852 |     1406  16072 |        0 |        0
1265.17/1265.61	c 1265s |      26 |  9448597 |  8962352 |     1406  16091 |        0 |        0
1267.17/1267.62	c 1267s |      26 |  9462439 |  8975352 |     1406  16109 |        0 |        0
1269.17/1269.63	c 1269s |      26 |  9476350 |  8988352 |     1406  16126 |        0 |        0
1271.17/1271.64	c 1271s |      26 |  9490012 |  9001352 |     1406  16144 |        0 |        0
1273.17/1273.64	c 1273s |      26 |  9503742 |  9014452 |     1406  16163 |        0 |        0
1275.17/1275.65	c 1275s |      26 |  9517696 |  9027652 |     1406  16181 |        0 |        0
1277.17/1277.66	c 1277s |      26 |  9531426 |  9040752 |     1406  16199 |        0 |        0
1279.17/1279.68	c 1279s |      26 |  9545825 |  9054152 |     1406  16217 |        0 |        0
1281.17/1281.68	c 1281s |      26 |  9560160 |  9067352 |     1406  16236 |        0 |        0
1283.17/1283.70	c 1283s |      26 |  9574273 |  9080552 |     1406  16254 |        0 |        0
1285.27/1285.71	c 1285s |      26 |  9588476 |  9093752 |     1406  16272 |        0 |        0
1287.27/1287.71	c 1287s |      26 |  9603292 |  9107052 |     1406  16290 |        0 |        0
1289.27/1289.72	c 1289s |      26 |  9617307 |  9120252 |     1406  16309 |        0 |        0
1291.26/1291.74	c 1291s |      26 |  9631410 |  9133552 |     1406  16327 |        0 |        0
1293.27/1293.74	c 1293s |      26 |  9645320 |  9146552 |     1406  16345 |        0 |        0
1295.26/1295.76	c 1295s |      26 |  9658971 |  9159352 |     1406  16363 |        0 |        0
1297.26/1297.77	c 1297s |      26 |  9672977 |  9172652 |     1406  16381 |        0 |        0
1299.26/1299.78	c 1299s |      26 |  9687540 |  9186052 |     1406  16399 |        0 |        0
1301.36/1301.80	c 1301s |      26 |  9701561 |  9199252 |     1406  16418 |        0 |        0
1303.36/1303.82	c 1303s |      26 |  9715743 |  9212452 |     1406  16436 |        0 |        0
1305.37/1305.82	c 1305s |      26 |  9729738 |  9225452 |     1406  16454 |        0 |        0
1307.36/1307.83	c 1307s |      26 |  9743952 |  9238752 |     1406  16472 |        0 |        0
1309.37/1309.83	c 1309s |      26 |  9758248 |  9251652 |     1406  16490 |        0 |        0
1311.37/1311.84	c 1311s |      26 |  9772026 |  9264552 |     1406  16508 |        0 |        0
1313.37/1313.85	c 1313s |      26 |  9786018 |  9277752 |     1406  16526 |        0 |        0
1315.36/1315.86	c 1315s |      26 |  9799654 |  9290852 |     1406  16544 |        0 |        0
1317.37/1317.87	c 1317s |      26 |  9813630 |  9304052 |     1406  16562 |        0 |        0
1319.36/1319.88	c 1319s |      26 |  9827943 |  9317352 |     1406  16581 |        0 |        0
1321.36/1321.89	c 1321s |      26 |  9841889 |  9330352 |     1406  16599 |        0 |        0
1323.46/1323.90	c 1323s |      26 |  9856171 |  9343452 |     1406  16617 |        0 |        0
1325.46/1325.92	c 1325s |      26 |  9869830 |  9356452 |     1406  16635 |        0 |        0
1327.46/1327.93	c 1327s |      26 |  9883498 |  9369452 |     1406  16653 |        0 |        0
1329.47/1329.94	c 1329s |      26 |  9897855 |  9382552 |     1406  16671 |        0 |        0
1331.46/1331.95	c 1331s |      26 |  9911515 |  9395652 |     1406  16689 |        0 |        0
1333.46/1333.96	c 1333s |      26 |  9925333 |  9408552 |     1406  16707 |        0 |        0
1335.46/1335.97	c 1335s |      26 |  9939447 |  9421852 |     1406  16725 |        0 |        0
1337.46/1337.98	c 1337s |      26 |  9953399 |  9435052 |     1406  16743 |        0 |        0
1339.47/1339.99	c 1339s |      26 |  9967718 |  9448352 |     1406  16762 |        0 |        0
1341.46/1342.00	c 1341s |      26 |  9982072 |  9461552 |     1406  16780 |        0 |        0
1343.56/1344.01	c 1343s |      26 |  9996341 |  9474552 |     1406  16798 |        0 |        0
1345.56/1346.02	c 1346s |      26 | 10010338 |  9487652 |     1406  16816 |        0 |        0
1347.56/1348.02	c 1348s |      26 | 10024338 |  9500752 |     1406  16834 |        0 |        0
1349.56/1350.03	c 1350s |      26 | 10039137 |  9513952 |     1406  16852 |        0 |        0
1351.56/1352.04	c 1352s |      26 | 10053429 |  9527052 |     1406  16870 |        0 |        0
1353.55/1354.05	c 1354s |      26 | 10066995 |  9539952 |     1406  16888 |        0 |        0
1355.55/1356.07	c 1356s |      26 | 10081197 |  9553252 |     1406  16907 |        0 |        0
1357.55/1358.07	c 1358s |      26 | 10095151 |  9566552 |     1406  16925 |        0 |        0
1359.55/1360.08	c 1360s |      26 | 10109453 |  9579852 |     1406  16943 |        0 |        0
1361.55/1362.09	c 1362s |      26 | 10123693 |  9592852 |     1406  16961 |        0 |        0
1363.56/1364.10	c 1364s |      26 | 10138153 |  9605952 |     1406  16979 |        0 |        0
1365.65/1366.11	c 1366s |      26 | 10152467 |  9619252 |     1406  16998 |        0 |        0
1367.66/1368.12	c 1368s |      26 | 10166954 |  9632752 |     1406  17016 |        0 |        0
1369.66/1370.13	c 1370s |      26 | 10181281 |  9645852 |     1406  17035 |        0 |        0
1371.66/1372.14	c 1372s |      26 | 10196051 |  9659052 |     1406  17053 |        0 |        0
1373.66/1374.15	c 1374s |      26 | 10210882 |  9672252 |     1406  17071 |        0 |        0
1375.66/1376.16	c 1376s |      26 | 10225712 |  9685752 |     1406  17090 |        0 |        0
1377.65/1378.17	c 1378s |      26 | 10240606 |  9699052 |     1406  17108 |        0 |        0
1379.65/1380.18	c 1380s |      26 | 10255293 |  9712352 |     1406  17127 |        0 |        0
1381.65/1382.18	c 1382s |      26 | 10269726 |  9725652 |     1406  17145 |        0 |        0
1383.65/1384.19	c 1384s |      26 | 10283824 |  9738552 |     1406  17163 |        0 |        0
1385.75/1386.20	c 1386s |      26 | 10297643 |  9751552 |     1406  17181 |        0 |        0
1387.76/1388.22	c 1388s |      26 | 10311009 |  9764352 |     1406  17198 |        0 |        0
1389.75/1390.22	c 1390s |      26 | 10324527 |  9776952 |     1406  17216 |        0 |        0
1391.75/1392.23	c 1392s |      26 | 10338488 |  9789852 |     1406  17233 |        0 |        0
1393.75/1394.24	c 1394s |      26 | 10352084 |  9802652 |     1406  17251 |        0 |        0
1395.75/1396.25	c 1396s |      26 | 10365997 |  9815452 |     1406  17269 |        0 |        0
1397.76/1398.27	c 1398s |      26 | 10380301 |  9828552 |     1406  17287 |        0 |        0
1399.75/1400.27	c 1400s |      26 | 10394231 |  9841452 |     1406  17304 |        0 |        0
1401.75/1402.27	c 1402s |      26 | 10407696 |  9853952 |     1406  17322 |        0 |        0
1403.75/1404.28	c 1404s |      26 | 10421704 |  9866652 |     1406  17339 |        0 |        0
1405.75/1406.29	c 1406s |      26 | 10435849 |  9879352 |     1406  17357 |        0 |        0
1407.85/1408.30	c 1408s |      26 | 10450207 |  9892052 |     1406  17374 |        0 |        0
1409.76/1410.30	c 1410s |      26 | 10463943 |  9904652 |     1406  17391 |        0 |        0
1411.85/1412.31	c 1412s |      26 | 10477101 |  9917252 |     1406  17409 |        0 |        0
1413.85/1414.31	c 1414s |      26 | 10490665 |  9929852 |     1406  17426 |        0 |        0
1415.85/1416.33	c 1416s |      26 | 10504529 |  9942252 |     1406  17443 |        0 |        0
1417.85/1418.34	c 1418s |      26 | 10517694 |  9954552 |     1406  17460 |        0 |        0
1419.85/1420.36	c 1420s |      26 | 10531718 |  9967252 |     1406  17478 |        0 |        0
1421.85/1422.37	c 1422s |      26 | 10546100 |  9980052 |     1406  17495 |        0 |        0
1423.84/1424.37	c 1424s |      26 | 10560052 |  9992152 |     1406  17512 |        0 |        0
1425.84/1426.38	c 1426s |      26 | 10573687 | 10004552 |     1406  17529 |        0 |        0
1427.85/1428.39	c 1428s |      26 | 10587289 | 10017052 |     1406  17546 |        0 |        0
1429.84/1430.39	c 1430s |      26 | 10600590 | 10029352 |     1406  17563 |        0 |        0
1431.85/1432.39	c 1432s |      26 | 10613651 | 10041552 |     1406  17580 |        0 |        0
1433.95/1434.40	c 1434s |      26 | 10627613 | 10054652 |     1406  17598 |        0 |        0
1435.94/1436.41	c 1436s |      26 | 10641343 | 10067152 |     1406  17615 |        0 |        0
1437.94/1438.43	c 1438s |      26 | 10654641 | 10079652 |     1406  17633 |        0 |        0
1439.94/1440.43	c 1440s |      26 | 10668242 | 10092152 |     1406  17650 |        0 |        0
1441.94/1442.45	c 1442s |      26 | 10681723 | 10104452 |     1406  17667 |        0 |        0
1443.95/1444.46	c 1444s |      26 | 10695316 | 10116952 |     1406  17684 |        0 |        0
1445.94/1446.47	c 1446s |      26 | 10708998 | 10129952 |     1406  17702 |        0 |        0
1447.94/1448.49	c 1448s |      26 | 10722551 | 10142852 |     1406  17720 |        0 |        0
1450.04/1450.50	c 1450s |      26 | 10736202 | 10155852 |     1406  17738 |        0 |        0
1452.04/1452.51	c 1452s |      26 | 10749851 | 10168852 |     1406  17755 |        0 |        0
1454.04/1454.51	c 1454s |      26 | 10763468 | 10181652 |     1406  17773 |        0 |        0
1456.04/1456.51	c 1456s |      26 | 10777044 | 10194152 |     1406  17790 |        0 |        0
1458.04/1458.52	c 1458s |      26 | 10790946 | 10206652 |     1406  17808 |        0 |        0
1460.04/1460.52	c 1460s |      26 | 10804907 | 10219352 |     1406  17825 |        0 |        0
1462.04/1462.53	c 1462s |      26 | 10818370 | 10232252 |     1406  17843 |        0 |        0
1464.04/1464.53	c 1464s |      26 | 10831982 | 10245052 |     1406  17861 |        0 |        0
1466.04/1466.55	c 1466s |      26 | 10845846 | 10257952 |     1406  17878 |        0 |        0
1468.04/1468.55	c 1468s |      26 | 10859236 | 10270552 |     1406  17896 |        0 |        0
1470.04/1470.56	c 1470s |      26 | 10872903 | 10283452 |     1406  17914 |        0 |        0
1472.04/1472.57	c 1472s |      26 | 10887066 | 10296352 |     1406  17931 |        0 |        0
1474.03/1474.58	c 1474s |      26 | 10900575 | 10309452 |     1406  17949 |        0 |        0
1476.03/1476.59	c 1476s |      26 | 10914737 | 10322452 |     1406  17967 |        0 |        0
1478.13/1478.60	c 1478s |      26 | 10928740 | 10335552 |     1406  17986 |        0 |        0
1480.14/1480.61	c 1480s |      26 | 10942727 | 10348652 |     1406  18004 |        0 |        0
1482.13/1482.61	c 1482s |      26 | 10956948 | 10362052 |     1406  18022 |        0 |        0
1484.13/1484.63	c 1484s |      26 | 10970680 | 10375352 |     1406  18041 |        0 |        0
1486.13/1486.63	c 1486s |      26 | 10984194 | 10388352 |     1406  18058 |        0 |        0
1488.13/1488.64	c 1488s |      26 | 10997549 | 10401252 |     1406  18076 |        0 |        0
1490.14/1490.64	c 1490s |      26 | 11010984 | 10414252 |     1406  18094 |        0 |        0
1492.13/1492.64	c 1492s |      26 | 11024296 | 10427152 |     1406  18112 |        0 |        0
1494.13/1494.65	c 1494s |      26 | 11037707 | 10440152 |     1406  18130 |        0 |        0
1496.13/1496.66	c 1496s |      26 | 11051070 | 10453052 |     1406  18148 |        0 |        0
1498.13/1498.66	c 1498s |      26 | 11064228 | 10465752 |     1406  18165 |        0 |        0
1500.13/1500.67	c 1500s |      26 | 11078152 | 10478852 |     1406  18183 |        0 |        0
1502.14/1502.68	c 1502s |      26 | 11091984 | 10491852 |     1406  18201 |        0 |        0
1504.13/1504.68	c 1504s |      26 | 11105720 | 10504852 |     1406  18219 |        0 |        0
1506.13/1506.69	c 1506s |      26 | 11119855 | 10517852 |     1406  18237 |        0 |        0
1508.23/1508.70	c 1508s |      26 | 11133714 | 10530752 |     1406  18255 |        0 |        0
1510.23/1510.70	c 1510s |      26 | 11146995 | 10543452 |     1406  18273 |        0 |        0
1512.23/1512.71	c 1512s |      26 | 11160530 | 10556452 |     1406  18291 |        0 |        0
1514.23/1514.72	c 1514s |      26 | 11174241 | 10569552 |     1406  18309 |        0 |        0
1516.23/1516.73	c 1516s |      26 | 11187534 | 10582452 |     1406  18326 |        0 |        0
1518.23/1518.73	c 1518s |      26 | 11200677 | 10595052 |     1406  18344 |        0 |        0
1520.23/1520.74	c 1520s |      26 | 11213962 | 10607652 |     1406  18361 |        0 |        0
1522.23/1522.75	c 1522s |      26 | 11227571 | 10620552 |     1406  18379 |        0 |        0
1524.24/1524.75	c 1524s |      26 | 11241142 | 10633552 |     1406  18397 |        0 |        0
1526.23/1526.76	c 1526s |      26 | 11254878 | 10646652 |     1406  18415 |        0 |        0
1528.23/1528.77	c 1528s |      26 | 11268450 | 10659652 |     1406  18433 |        0 |        0
1530.23/1530.77	c 1530s |      26 | 11282672 | 10672652 |     1406  18451 |        0 |        0
1532.23/1532.78	c 1532s |      26 | 11296863 | 10685652 |     1406  18469 |        0 |        0
1534.23/1534.78	c 1534s |      26 | 11310507 | 10698552 |     1406  18487 |        0 |        0
1536.24/1536.79	c 1536s |      26 | 11324478 | 10711552 |     1406  18505 |        0 |        0
1538.33/1538.80	c 1538s |      26 | 11338308 | 10724552 |     1406  18523 |        0 |        0
1540.33/1540.81	c 1540s |      26 | 11351996 | 10737552 |     1406  18541 |        0 |        0
1542.33/1542.83	c 1542s |      26 | 11366009 | 10750852 |     1406  18559 |        0 |        0
1544.33/1544.83	c 1544s |      26 | 11379767 | 10763852 |     1406  18577 |        0 |        0
1546.33/1546.84	c 1546s |      26 | 11393370 | 10776652 |     1406  18595 |        0 |        0
1548.33/1548.84	c 1548s |      26 | 11407708 | 10789752 |     1406  18613 |        0 |        0
1550.33/1550.85	c 1550s |      26 | 11422208 | 10802852 |     1406  18631 |        0 |        0
1552.33/1552.86	c 1552s |      26 | 11435966 | 10815752 |     1406  18649 |        0 |        0
1554.33/1554.86	c 1554s |      26 | 11449287 | 10828452 |     1406  18666 |        0 |        0
1556.33/1556.87	c 1556s |      26 | 11462780 | 10841252 |     1406  18684 |        0 |        0
1558.33/1558.88	c 1558s |      26 | 11476639 | 10854152 |     1406  18702 |        0 |        0
1560.33/1560.88	c 1560s |      26 | 11490037 | 10866952 |     1406  18719 |        0 |        0
1562.33/1562.89	c 1562s |      26 | 11503380 | 10879752 |     1406  18737 |        0 |        0
1564.42/1564.91	c 1564s |      26 | 11517259 | 10892452 |     1406  18755 |        0 |        0
1566.42/1566.91	c 1566s |      26 | 11530745 | 10904852 |     1406  18772 |        0 |        0
1568.42/1568.92	c 1568s |      26 | 11544157 | 10917752 |     1406  18789 |        0 |        0
1570.43/1570.93	c 1570s |      26 | 11557712 | 10930752 |     1406  18807 |        0 |        0
1572.42/1572.94	c 1572s |      26 | 11571207 | 10943752 |     1406  18825 |        0 |        0
1574.42/1574.95	c 1574s |      26 | 11584820 | 10956652 |     1406  18843 |        0 |        0
1576.42/1576.96	c 1576s |      26 | 11598704 | 10969752 |     1406  18861 |        0 |        0
1578.42/1578.97	c 1578s |      26 | 11612337 | 10982452 |     1406  18879 |        0 |        0
1580.42/1580.99	c 1580s |      26 | 11625482 | 10994552 |     1406  18896 |        0 |        0
1582.43/1582.99	c 1582s |      26 | 11638293 | 11006452 |     1406  18912 |        0 |        0
1584.52/1585.01	c 1584s |      26 | 11651598 | 11018752 |     1406  18929 |        0 |        0
1586.52/1587.01	c 1586s |      26 | 11665293 | 11031752 |     1406  18947 |        0 |        0
1588.52/1589.01	c 1589s |      26 | 11679089 | 11044752 |     1406  18965 |        0 |        0
1590.52/1591.02	c 1591s |      26 | 11692874 | 11057952 |     1406  18983 |        0 |        0
1592.52/1593.03	c 1593s |      26 | 11706659 | 11071152 |     1406  19001 |        0 |        0
1594.52/1595.05	c 1595s |      26 | 11720615 | 11084352 |     1406  19020 |        0 |        0
1596.52/1597.06	c 1597s |      26 | 11734407 | 11097452 |     1406  19038 |        0 |        0
1598.52/1599.06	c 1599s |      26 | 11748001 | 11110452 |     1406  19056 |        0 |        0
1600.52/1601.07	c 1601s |      26 | 11761962 | 11123552 |     1406  19074 |        0 |        0
1602.52/1603.08	c 1603s |      26 | 11776522 | 11136552 |     1406  19092 |        0 |        0
1604.52/1605.09	c 1605s |      26 | 11790426 | 11149752 |     1406  19110 |        0 |        0
1606.51/1607.10	c 1607s |      26 | 11805192 | 11162852 |     1406  19128 |        0 |        0
1608.61/1609.11	c 1609s |      26 | 11819274 | 11175952 |     1406  19146 |        0 |        0
1610.61/1611.13	c 1611s |      26 | 11833393 | 11189152 |     1406  19165 |        0 |        0
1612.61/1613.14	c 1613s |      26 | 11847280 | 11202352 |     1406  19183 |        0 |        0
1614.61/1615.15	c 1615s |      26 | 11861277 | 11215352 |     1406  19201 |        0 |        0
1616.62/1617.16	c 1617s |      26 | 11874858 | 11227852 |     1406  19218 |        0 |        0
1618.61/1619.17	c 1619s |      26 | 11888523 | 11240852 |     1406  19236 |        0 |        0
1620.61/1621.18	c 1621s |      26 | 11902243 | 11253852 |     1406  19254 |        0 |        0
1622.61/1623.19	c 1623s |      26 | 11916313 | 11266952 |     1406  19272 |        0 |        0
1624.61/1625.19	c 1625s |      26 | 11930061 | 11280052 |     1406  19290 |        0 |        0
1626.71/1627.20	c 1627s |      26 | 11943786 | 11293152 |     1406  19308 |        0 |        0
1628.72/1629.22	c 1629s |      26 | 11957650 | 11306252 |     1406  19326 |        0 |        0
1630.71/1631.23	c 1631s |      26 | 11971347 | 11319252 |     1547  19343 |        0 |        0
1632.71/1633.24	c 1633s |      26 | 11984392 | 11331852 |     1547  19359 |        0 |        0
1634.71/1635.25	c 1635s |      26 | 11997789 | 11344652 |     1547  19375 |        0 |        0
1636.71/1637.26	c 1637s |      26 | 12011273 | 11357452 |     1547  19391 |        0 |        0
1638.71/1639.27	c 1639s |      26 | 12024420 | 11369952 |     1547  19407 |        0 |        0
1640.72/1641.27	c 1641s |      26 | 12038060 | 11382352 |     1547  19422 |        0 |        0
1642.72/1643.29	c 1643s |      26 | 12051629 | 11394752 |     1547  19438 |        0 |        0
1643.12/1643.62	c 1643s |      27 | 12053721 | 11396733 |     1547  19440 |        0 |        0
1645.12/1645.63	c 1645s |      27 | 12067406 | 11409433 |     1547  19456 |        0 |        0
1647.12/1647.63	c 1647s |      27 | 12081096 | 11422133 |     1547  19472 |        0 |        0
1649.12/1649.64	c 1649s |      27 | 12094556 | 11434733 |     1547  19488 |        0 |        0
1651.11/1651.65	c 1651s |      27 | 12108001 | 11447433 |     1547  19504 |        0 |        0
1653.11/1653.66	c 1653s |      27 | 12121151 | 11459833 |     1547  19519 |        0 |        0
1655.12/1655.66	c 1655s |      27 | 12134329 | 11472333 |     1547  19535 |        0 |        0
1657.11/1657.68	c 1657s |      27 | 12148030 | 11485233 |     1547  19551 |        0 |        0
1659.11/1659.68	c 1659s |      27 | 12161411 | 11497533 |     1547  19566 |        0 |        0
1661.11/1661.69	c 1661s |      27 | 12175033 | 11510233 |     1547  19582 |        0 |        0
1663.11/1663.69	c 1663s |      27 | 12188417 | 11522933 |     1547  19598 |        0 |        0
1665.21/1665.70	c 1665s |      27 | 12201949 | 11535833 |     1547  19614 |        0 |        0
1667.22/1667.71	c 1667s |      27 | 12215577 | 11548733 |     1547  19631 |        0 |        0
1669.21/1669.71	c 1669s |      27 | 12229505 | 11561433 |     1547  19647 |        0 |        0
1671.21/1671.71	c 1671s |      27 | 12243069 | 11574033 |     1547  19662 |        0 |        0
1673.21/1673.72	c 1673s |      27 | 12256967 | 11586933 |     1547  19679 |        0 |        0
1675.21/1675.73	c 1675s |      27 | 12270732 | 11599833 |     1547  19695 |        0 |        0
1677.21/1677.73	c 1677s |      27 | 12284258 | 11612433 |     1547  19711 |        0 |        0
1679.22/1679.73	c 1679s |      27 | 12297628 | 11625033 |     1547  19726 |        0 |        0
1681.21/1681.74	c 1681s |      27 | 12310852 | 11637533 |     1547  19742 |        0 |        0
1683.21/1683.74	c 1683s |      27 | 12325046 | 11650233 |     1547  19758 |        0 |        0
1685.21/1685.74	c 1685s |      27 | 12338408 | 11662833 |     1547  19774 |        0 |        0
1687.21/1687.74	c 1687s |      27 | 12351342 | 11675233 |     1547  19789 |        0 |        0
1689.22/1689.74	c 1689s |      27 | 12365475 | 11688133 |     1547  19805 |        0 |        0
1691.21/1691.76	c 1691s |      27 | 12378556 | 11700733 |     1547  19821 |        0 |        0
1693.21/1693.76	c 1693s |      27 | 12391714 | 11713433 |     1547  19837 |        0 |        0
1695.21/1695.76	c 1695s |      27 | 12404949 | 11726033 |     1547  19853 |        0 |        0
1697.21/1697.77	c 1697s |      27 | 12417911 | 11738533 |     1547  19869 |        0 |        0
1699.21/1699.78	c 1699s |      27 | 12430563 | 11750433 |     1547  19883 |        0 |        0
1701.21/1701.79	c 1701s |      27 | 12443527 | 11762533 |     1547  19899 |        0 |        0
1703.31/1703.81	c 1703s |      27 | 12456816 | 11775233 |     1547  19915 |        0 |        0
1705.30/1705.81	c 1705s |      27 | 12470048 | 11787933 |     1547  19931 |        0 |        0
1707.30/1707.82	c 1707s |      27 | 12483370 | 11800733 |     1547  19947 |        0 |        0
1709.30/1709.83	c 1709s |      27 | 12496884 | 11813433 |     1547  19963 |        0 |        0
1711.30/1711.83	c 1711s |      27 | 12510105 | 11826133 |     1547  19979 |        0 |        0
1713.31/1713.83	c 1713s |      27 | 12523690 | 11838733 |     1547  19994 |        0 |        0
1715.30/1715.84	c 1715s |      27 | 12537319 | 11851433 |     1547  20010 |        0 |        0
1717.30/1717.85	c 1717s |      27 | 12550673 | 11864033 |     1547  20026 |        0 |        0
1719.30/1719.86	c 1719s |      27 | 12564735 | 11877033 |     1547  20042 |        0 |        0
1721.30/1721.86	c 1721s |      27 | 12578931 | 11889733 |     1547  20058 |        0 |        0
1723.31/1723.86	c 1723s |      27 | 12592557 | 11902333 |     1547  20074 |        0 |        0
1725.30/1725.86	c 1725s |      27 | 12606111 | 11915033 |     1547  20090 |        0 |        0
1727.30/1727.88	c 1727s |      27 | 12619640 | 11927833 |     1547  20106 |        0 |        0
1729.30/1729.89	c 1729s |      27 | 12633285 | 11940533 |     1547  20122 |        0 |        0
1731.30/1731.90	c 1731s |      27 | 12647317 | 11953633 |     1547  20138 |        0 |        0
1733.40/1733.90	c 1733s |      27 | 12661182 | 11966633 |     1547  20155 |        0 |        0
1735.41/1735.90	c 1735s |      27 | 12674652 | 11979433 |     1547  20171 |        0 |        0
1737.40/1737.91	c 1737s |      27 | 12688999 | 11992133 |     1547  20187 |        0 |        0
1739.40/1739.91	c 1739s |      27 | 12702606 | 12004833 |     1547  20203 |        0 |        0
1741.39/1741.91	c 1741s |      27 | 12717136 | 12017833 |     1547  20219 |        0 |        0
1743.39/1743.92	c 1743s |      27 | 12731810 | 12030933 |     1547  20235 |        0 |        0
1745.39/1745.93	c 1745s |      27 | 12746675 | 12043833 |     1547  20252 |        0 |        0
1747.41/1747.94	c 1747s |      27 | 12760338 | 12056633 |     1547  20268 |        0 |        0
1749.40/1749.94	c 1749s |      27 | 12773481 | 12068833 |     1547  20283 |        0 |        0
1751.40/1751.95	c 1751s |      27 | 12786737 | 12081133 |     1547  20299 |        0 |        0
1753.40/1753.95	c 1753s |      27 | 12800299 | 12093633 |     1547  20314 |        0 |        0
1755.40/1755.97	c 1755s |      27 | 12814204 | 12106533 |     1547  20330 |        0 |        0
1757.40/1757.97	c 1757s |      27 | 12827875 | 12119233 |     1547  20346 |        0 |        0
1759.40/1759.98	c 1759s |      27 | 12841807 | 12131533 |     1547  20362 |        0 |        0
1761.40/1761.98	c 1761s |      27 | 12856141 | 12144233 |     1547  20378 |        0 |        0
1763.40/1763.99	c 1763s |      27 | 12869426 | 12156733 |     1547  20394 |        0 |        0
1765.39/1766.00	c 1765s |      27 | 12883235 | 12169233 |     1547  20409 |        0 |        0
1767.49/1768.01	c 1767s |      27 | 12896889 | 12181733 |     1547  20425 |        0 |        0
1769.50/1770.02	c 1770s |      27 | 12910182 | 12194133 |     1547  20441 |        0 |        0
1771.49/1772.02	c 1772s |      27 | 12923875 | 12206733 |     1547  20456 |        0 |        0
1773.49/1774.03	c 1774s |      27 | 12937453 | 12219233 |     1547  20472 |        0 |        0
1775.49/1776.05	c 1776s |      27 | 12951713 | 12231933 |     1547  20488 |        0 |        0
1777.49/1778.06	c 1778s |      27 | 12965526 | 12244033 |     1547  20503 |        0 |        0
1779.49/1780.07	c 1780s |      27 | 12978733 | 12256533 |     1547  20519 |        0 |        0
1781.49/1782.07	c 1782s |      27 | 12992600 | 12268933 |     1547  20535 |        0 |        0
1783.49/1784.08	c 1784s |      27 | 13006270 | 12281533 |     1547  20551 |        0 |        0
1785.49/1786.08	c 1786s |      27 | 13019722 | 12294333 |     1547  20567 |        0 |        0
1787.59/1788.10	c 1788s |      27 | 13033536 | 12307133 |     1547  20583 |        0 |        0
1789.59/1790.11	c 1790s |      27 | 13046696 | 12319433 |     1547  20598 |        0 |        0
1791.59/1792.12	c 1792s |      27 | 13060618 | 12332333 |     1547  20614 |        0 |        0
1793.59/1794.13	c 1794s |      27 | 13073778 | 12344833 |     1547  20630 |        0 |        0
1795.58/1796.15	c 1796s |      27 | 13087222 | 12357733 |     1547  20646 |        0 |        0
1797.59/1798.15	c 1798s |      27 | 13100464 | 12370433 |     1547  20662 |        0 |        0
1799.59/1800.15	c 1800s |      27 | 13113603 | 12383033 |     1547  20678 |        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-4089554-1466028854/watcher-4089554-1466028854 -o /tmp/evaluation-result-4089554-1466028854/solver-4089554-1466028854 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089554-1466028854.opb 

pid=11152
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.39 2.29 2.26 4/181 11155
/proc/meminfo: memFree=29303656/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=630204 CPUtime=0 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 2337 0 0 0 0 0 0 0 20 0 4 0 4931787 645328896 2697 33554432000 4194304 16246674 140736366286720 140736366286144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 158319 2707 441 2943 0 155213 0
[pid=11155/tid=11156] ppid=11152 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 663154688 2765 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 667348992 2780 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=655804 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4931787 671543296 2797 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.39 2.29 2.26 4/181 11155
/proc/meminfo: memFree=29303656/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 28805 0 0 0 6 3 0 0 20 0 4 0 4931787 1247350784 29155 33554432000 4194304 16246674 140736366286720 140736366286144 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 304529 29168 711 2943 0 301423 0
[pid=11155/tid=11156] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 29173 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 29178 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 29187 33554432000 4194304 16246674 140736366286720 139733992721584 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.200474 s]
/proc/loadavg: 2.39 2.29 2.26 4/181 11155
/proc/meminfo: memFree=29303656/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 57374 0 0 0 12 7 0 0 20 0 4 0 4931787 1247350784 57723 33554432000 4194304 16246674 140736366286720 140736366286144 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 304529 57731 711 2943 0 301423 0
[pid=11155/tid=11156] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 57739 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 57752 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 57762 33554432000 4194304 16246674 140736366286720 139733992721584 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.300481 s]
/proc/loadavg: 2.39 2.29 2.26 4/181 11155
/proc/meminfo: memFree=29303656/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 85873 0 0 0 18 11 0 0 20 0 4 0 4931787 1247350784 86222 33554432000 4194304 16246674 140736366286720 140736366286144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 304529 86239 711 2943 0 301423 0
[pid=11155/tid=11156] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 86248 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 86254 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 86264 33554432000 4194304 16246674 140736366286720 139733992721584 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.700392 s]
/proc/loadavg: 2.39 2.29 2.26 4/181 11155
/proc/meminfo: memFree=29303656/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 198883 0 0 0 43 26 0 0 20 0 4 0 4931787 1247350784 199233 33554432000 4194304 16246674 140736366286720 140736366286144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 304529 199244 711 2943 0 301423 0
[pid=11155/tid=11156] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 199249 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 199256 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4931787 1247350784 199265 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.39 2.29 2.26 4/185 11159
/proc/meminfo: memFree=28321388/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267287 0 0 0 115 34 0 0 20 0 4 0 4931787 1336479744 267616 33554432000 4194304 16246674 140736366286720 140736366286032 6043391 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326289 267616 790 2943 0 323183 0
[pid=11155/tid=11156] ppid=11152 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1336479744 267616 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1336479744 267616 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1336479744 267616 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.36 2.29 2.26 3/185 11159
/proc/meminfo: memFree=28233480/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267420 0 0 0 275 34 0 0 20 0 4 0 4931787 1337528320 267749 33554432000 4194304 16246674 140736366286720 140736366269720 13191806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326545 267749 790 2943 0 323439 0
[pid=11155/tid=11156] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267749 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267749 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267749 33554432000 4194304 16246674 140736366286720 139733992721584 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.3004 s]
/proc/loadavg: 2.36 2.29 2.26 3/185 11159
/proc/meminfo: memFree=28232812/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267478 0 0 0 595 34 0 0 20 0 4 0 4931787 1337528320 267807 33554432000 4194304 16246674 140736366286720 140736366269720 5721394 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326545 267807 790 2943 0 323439 0
[pid=11155/tid=11156] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267807 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267807 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267807 33554432000 4194304 16246674 140736366286720 139733992721584 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.38 2.30 2.26 4/185 11159
/proc/meminfo: memFree=28232468/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267480 0 0 0 1235 34 0 0 20 0 4 0 4931787 1337528320 267809 33554432000 4194304 16246674 140736366286720 140736366268608 5675841 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326545 267809 790 2943 0 323439 0
[pid=11155/tid=11156] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267809 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267809 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267809 33554432000 4194304 16246674 140736366286720 139733992721584 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.48 2.32 2.27 4/185 11159
/proc/meminfo: memFree=28232440/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267496 0 0 0 2514 34 0 0 20 0 4 0 4931787 1337528320 267825 33554432000 4194304 16246674 140736366286720 140736366269720 6021255 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326545 267825 791 2943 0 323439 0
[pid=11155/tid=11156] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267825 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267825 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267825 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.29 2.26 3/185 11159
/proc/meminfo: memFree=28231556/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267556 0 0 0 5073 35 0 0 20 0 4 0 4931787 1337528320 267885 33554432000 4194304 16246674 140736366286720 140736366269720 13949889 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326545 267885 791 2943 0 323439 0
[pid=11155/tid=11156] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267885 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267885 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1337528320 267885 33554432000 4194304 16246674 140736366286720 139733992721584 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.22 2.27 2.26 4/185 11160
/proc/meminfo: memFree=28231340/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 267644 0 0 0 10192 36 0 0 20 0 4 0 4931787 1338576896 267973 33554432000 4194304 16246674 140736366286720 140736366269720 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 326801 267973 791 2943 0 323695 0
[pid=11155/tid=11156] ppid=11152 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1338576896 267973 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1338576896 267973 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1338576896 267973 33554432000 4194304 16246674 140736366286720 139733992721584 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/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.26 2.26 2.25 4/185 11239
/proc/meminfo: memFree=28224576/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1301.86 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 130131 55 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366268608 6079616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.14 2.22 2.24 3/185 11240
/proc/meminfo: memFree=28224840/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1361.85 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 136129 56 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366268608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.24 3/185 11242
/proc/meminfo: memFree=28224608/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1421.85 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 142128 57 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366269720 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.24 3/185 11243
/proc/meminfo: memFree=28223660/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1481.83 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 148126 57 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366268608 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.39 2.26 2.25 3/185 11244
/proc/meminfo: memFree=28222956/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1541.84 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 154126 58 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366269720 5725758 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.32 2.26 2.25 3/186 11248
/proc/meminfo: memFree=28223212/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1601.82 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 160124 58 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366269720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.32 2.26 2.24 3/185 11249
/proc/meminfo: memFree=28223348/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1661.81 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 166122 59 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366269720 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.27 2.25 2.24 3/185 11251
/proc/meminfo: memFree=28223700/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1312324 CPUtime=1721.8 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 269488 0 0 0 172121 59 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 140736366268608 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 328081 269444 793 2943 0 324975 0
[pid=11155/tid=11156] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1343819776 269444 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.24 4/185 11252
/proc/meminfo: memFree=28219224/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1316420 CPUtime=1781.79 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 270512 0 0 0 178119 60 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 140736366268608 5822144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 329105 270468 793 2943 0 325999 0
[pid=11155/tid=11156] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.23 2.24 3/185 11252
/proc/meminfo: memFree=28219100/32872528 swapFree=1481856/1661728
[pid=11155] ppid=11152 vsize=1316420 CPUtime=1800.09 cores=0,2,4,6
/proc/11155/stat : 11155 (toysat) R 11152 11155 6232 0 -1 4202496 270512 0 0 0 179948 61 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 140736366269720 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11155/statm: 329105 270468 793 2943 0 325999 0
[pid=11155/tid=11156] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11156/stat : 11156 (toysat) S 11152 11155 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139734013684976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11155/tid=11157] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11157/stat : 11157 (toysat) S 11152 11155 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139734003195120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11155/tid=11158] ppid=11152 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11155/task/11158/stat : 11158 (toysat) S 11152 11155 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4931787 1348014080 270468 33554432000 4194304 16246674 140736366286720 139733992721584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1316420

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 11155 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.1
CPU user time (s): 1799.49
CPU system time (s): 0.610907
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.610907
maximum resident set size= 1081872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270512
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= 390
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50955 second user time and 10.3774 second system time

The end

Begin job on node134 at 2016-06-16 00:14:14
IDJOB=4089554
IDBENCH=107423
IDSOLVER=2542
FILE ID=node134/4089554-1466028854
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
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-grid6x19.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089554-1466028854/watcher-4089554-1466028854 -o /tmp/evaluation-result-4089554-1466028854/solver-4089554-1466028854 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089554-1466028854.opb

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

MD5SUM BENCH= b7d9d57f789098004c9caf82fc3e2703
RANDOM SEED=1171040150

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29304448 kB
Buffers:           27464 kB
Cached:            80788 kB
SwapCached:        17352 kB
Active:          1145364 kB
Inactive:          58120 kB
Active(anon):    1079460 kB
Inactive(anon):    18004 kB
Active(file):      65904 kB
Inactive(file):    40116 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16360 kB
Writeback:             4 kB
AnonPages:       2742084 kB
Mapped:            10448 kB
Shmem:                 0 kB
Slab:             567016 kB
SReclaimable:      11024 kB
SUnreclaim:       555992 kB
KernelStack:        1512 kB
PageTables:         9404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2887344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 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 node134 at 2016-06-16 00:44:14