0.00/0.00	c 2016-06-30T21:16:26+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-4121314-1467314186.opb"]
0.00/0.01	c use --random-gen="2628819397 2675555582 3539688779 490056993 2943030892 2358935944 1129857606 2604843011 182319978 2620282059 3215028128 2232792 1388018137 3948262562 3455220302 2260738065 2146816793 1888749888 4111314943 53728290 961489466 3736614431 1141755603 3015194728 3801254796 3129864224 2334297609 15400315 3407464136 3172490939 3750476511 2443997721 3907858814 2200113796 650327881 2553700384 1027406862 859510575 2239272440 2230988561 252809571 690397225 3470227404 3267547579 2629374955 3152604043 3329186555 1662894038 2982983258 1128102021 1881041888 3389340705 1492217040 3228247077 2172130484 2268126452 2811982196 1343565261 353456470 2379732164 2501516130 1544505819 1198707464 801502032 3826589197 3811565977 1961157444 1223711824 3313353837 4293797871 3368855283 240929206 173920876 3256053615 3889157829 3860109276 2566621405 2118221953 3756183847 236115909 1608345125 2127536382 297604376 3402553702 3210155662 277499060 519592643 1489015296 4000737219 3843364806 4288043766 2032995932 251149343 1301999031 1744069679 934133814 1465401442 3112289318 1762078376 4045142699 1414814495 1601013325 3787863229 2785175373 3034508110 1925236943 2823653482 2005935297 3380622862 4211741652 2380301398 1007897225 2850461258 252249893 2900012441 4009802758 3280347425 2028955119 2350305717 2168319854 2784558168 3706513095 1155891197 818324010 2775642864 3358965210 3097259132 3913502535 516469651 1344483549 3372608342 3145338885 2626766771 3370243145 696587116 3683362712 263472455 4044646258 2012559824 4113384985 3205574337 663685912 3654773595 1261109711 3913645175 875348521 1069870928 624254100 1338364245 772158827 1866462329 1922181476 2332734709 2790465269 4012998880 1778625774 3435253897 2802227396 928438468 3292391289 2540769824 346370604 3396263578 605621884 1755656291 1980160306 329502076 3680847735 2532068322 2448935925 1149411055 2727347059 2199220971 3126569680 1264012333 197589925 3632339131 463096492 3130058258 3540397819 3167636869 537561756 37810998 1337898584 1318974231 750899880 1498732062 3309493604 1661448664 495147241 2998611174 3831981973 1674290228 326627970 1966006715 4264444601 411757513 3855910948 743195680 1620186326 1400643591 2522423901 338544727 3125618240 1808017978 715610561 800092803 548413150 1936467508 2679156043 1105540070 236728114 3362549000 1204803403 2722084973 2476797561 4163088209 884852084 1288273482 257552596 698369243 1254342348 2324432506 61826768 126406607 1075823620 2376291336 3315450585 111351716 219039762 2097533171 2408668276 1436413771 28568274 856521324 3918436880 3503223332 3894365707 3163110877 667265925 748679111 1209707212 4225543297 898842697 2819355901 1992547615 3398194188 3789477955 698168955 3507035740 422754112 186229117 1141664267 3331866467 1316535676 2749799260 255 362436" option to reproduce the execution
0.00/0.01	c #vars 245
0.00/0.01	c #constraints 244
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 |      163      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      179 |      100 |      163      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      392 |      250 |      180      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      820 |      475 |      199      2 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1811 |      813 |      219      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2896 |     1320 |      241      8 |        0 |        0
0.19/0.25	c  0.2s |       6 |     3954 |     2081 |      293     11 |        0 |        0
0.39/0.40	c  0.4s |       7 |     5643 |     3223 |      323     17 |        0 |        0
0.59/0.60	c  0.6s |       8 |     7998 |     4936 |      356     25 |        0 |        0
0.89/0.92	c  0.9s |       9 |    12301 |     7506 |      392     37 |        0 |        0
1.29/1.31	c  1.3s |      10 |    19359 |    11361 |      432     53 |        0 |        0
1.79/1.87	c  1.9s |      11 |    29589 |    17144 |      476     76 |        0 |        0
2.69/2.70	c  2.7s |      12 |    44136 |    25819 |      524    107 |        0 |        0
3.69/3.75	c  3.7s |      13 |    63676 |    38832 |      577    150 |        0 |        0
5.30/5.37	c  5.4s |      14 |    91125 |    58352 |      635    211 |        0 |        0
7.29/7.38	c  7.4s |      14 |   123125 |    80752 |      635    271 |        0 |        0
7.89/7.94	c  7.9s |      15 |   132996 |    87632 |      699    290 |        0 |        0
9.90/9.95	c  9.9s |      15 |   162507 |   109532 |      699    346 |        0 |        0
11.89/11.95	c 11.9s |      15 |   190407 |   130632 |      699    400 |        0 |        0
11.99/12.04	c 12.0s |      16 |   191577 |   131552 |      769    402 |        0 |        0
13.99/14.05	c 14.0s |      16 |   220730 |   153452 |      769    452 |        0 |        0
15.99/16.05	c 16.0s |      16 |   250512 |   174752 |      769    501 |        0 |        0
17.99/18.05	c 18.0s |      16 |   277685 |   195052 |      769    548 |        0 |        0
18.19/18.27	c 18.3s |      17 |   280933 |   197432 |      846    553 |        0 |        0
20.19/20.27	c 20.3s |      17 |   304788 |   216432 |      846    592 |        0 |        0
22.19/22.27	c 22.3s |      17 |   332853 |   237232 |      846    635 |        0 |        0
24.20/24.28	c 24.3s |      17 |   360262 |   257032 |      846    677 |        0 |        0
26.19/26.28	c 26.3s |      17 |   388056 |   277732 |      846    720 |        0 |        0
28.09/28.13	c 28.1s |      18 |   413407 |   296252 |      931    759 |        0 |        0
30.09/30.13	c 30.1s |      18 |   441824 |   316352 |      931    799 |        0 |        0
32.08/32.13	c 32.1s |      18 |   471093 |   337152 |      931    839 |        0 |        0
34.09/34.14	c 34.1s |      18 |   499576 |   357652 |      931    880 |        0 |        0
36.08/36.15	c 36.1s |      18 |   528424 |   377552 |      931    919 |        0 |        0
38.09/38.16	c 38.1s |      18 |   559970 |   397552 |      931    959 |        0 |        0
40.09/40.17	c 40.2s |      18 |   589298 |   418052 |      931   1000 |        0 |        0
42.09/42.17	c 42.2s |      18 |   618552 |   437752 |      931   1039 |        0 |        0
42.79/42.84	c 42.8s |      19 |   628337 |   444482 |     1025   1052 |        0 |        0
44.79/44.85	c 44.8s |      19 |   655265 |   464082 |     1025   1086 |        0 |        0
46.79/46.86	c 46.8s |      19 |   679087 |   482982 |     1025   1119 |        0 |        0
48.79/48.86	c 48.8s |      19 |   704880 |   502382 |     1025   1153 |        0 |        0
50.79/50.86	c 50.8s |      19 |   730959 |   522082 |     1025   1188 |        0 |        0
52.79/52.87	c 52.9s |      19 |   755471 |   540982 |     1025   1221 |        0 |        0
54.78/54.88	c 54.9s |      19 |   782385 |   560682 |     1025   1256 |        0 |        0
56.78/56.88	c 56.9s |      19 |   807801 |   580182 |     1025   1290 |        0 |        0
58.78/58.88	c 58.9s |      19 |   833982 |   599682 |     1025   1324 |        0 |        0
60.78/60.88	c 60.9s |      19 |   861015 |   619582 |     1025   1360 |        0 |        0
62.79/62.89	c 62.9s |      19 |   887153 |   638982 |     1025   1394 |        0 |        0
64.78/64.89	c 64.9s |      19 |   914162 |   658182 |     1025   1428 |        0 |        0
65.68/65.76	c 65.7s |      20 |   925636 |   666827 |     1128   1442 |        0 |        0
67.68/67.77	c 67.8s |      20 |   952416 |   686527 |     1128   1473 |        0 |        0
69.68/69.77	c 69.8s |      20 |   977801 |   705527 |     1128   1504 |        0 |        0
71.68/71.77	c 71.8s |      20 |  1003555 |   724827 |     1128   1535 |        0 |        0
73.68/73.78	c 73.8s |      20 |  1029522 |   744327 |     1128   1566 |        0 |        0
75.68/75.79	c 75.8s |      20 |  1054360 |   763127 |     1128   1596 |        0 |        0
77.78/77.80	c 77.8s |      20 |  1079628 |   782127 |     1128   1627 |        0 |        0
79.78/79.80	c 79.8s |      20 |  1106090 |   801527 |     1128   1658 |        0 |        0
81.78/81.81	c 81.8s |      20 |  1130662 |   819627 |     1128   1687 |        0 |        0
83.77/83.82	c 83.8s |      20 |  1154466 |   837627 |     1128   1716 |        0 |        0
85.78/85.82	c 85.8s |      20 |  1181308 |   856927 |     1128   1747 |        0 |        0
87.78/87.82	c 87.8s |      20 |  1207060 |   876727 |     1128   1779 |        0 |        0
89.78/89.83	c 89.8s |      20 |  1232859 |   895727 |     1128   1810 |        0 |        0
91.78/91.83	c 91.8s |      20 |  1256547 |   913127 |     1128   1838 |        0 |        0
93.78/93.84	c 93.8s |      20 |  1279363 |   930127 |     1128   1866 |        0 |        0
95.79/95.84	c 95.8s |      20 |  1303624 |   948127 |     1128   1895 |        0 |        0
97.78/97.84	c 97.8s |      20 |  1327808 |   966827 |     1128   1925 |        0 |        0
99.78/99.85	c 99.8s |      20 |  1351466 |   985027 |     1128   1955 |        0 |        0
101.58/101.64	c  101s |      21 |  1371891 |  1000345 |     1241   1978 |        0 |        0
103.58/103.65	c  103s |      21 |  1395988 |  1018245 |     1241   2005 |        0 |        0
105.59/105.65	c  105s |      21 |  1421502 |  1037345 |     1241   2033 |        0 |        0
107.58/107.65	c  107s |      21 |  1445923 |  1055545 |     1241   2060 |        0 |        0
109.58/109.65	c  109s |      21 |  1471549 |  1074645 |     1241   2090 |        0 |        0
111.58/111.66	c  111s |      21 |  1497632 |  1093745 |     1241   2120 |        0 |        0
113.57/113.66	c  113s |      21 |  1524923 |  1112545 |     1241   2148 |        0 |        0
115.58/115.66	c  115s |      21 |  1551393 |  1132245 |     1241   2178 |        0 |        0
117.57/117.67	c  117s |      21 |  1579245 |  1151945 |     1241   2208 |        0 |        0
119.57/119.68	c  119s |      21 |  1607484 |  1171545 |     1241   2237 |        0 |        0
121.57/121.69	c  121s |      21 |  1631325 |  1188645 |     1241   2263 |        0 |        0
123.57/123.70	c  123s |      21 |  1656425 |  1206645 |     1241   2290 |        0 |        0
125.67/125.70	c  125s |      21 |  1681431 |  1224745 |     1241   2318 |        0 |        0
127.68/127.71	c  127s |      21 |  1706237 |  1243045 |     1241   2346 |        0 |        0
129.67/129.71	c  129s |      21 |  1730267 |  1261145 |     1241   2373 |        0 |        0
131.67/131.72	c  131s |      21 |  1754022 |  1278545 |     1241   2399 |        0 |        0
133.67/133.72	c  133s |      21 |  1776722 |  1295545 |     1241   2424 |        0 |        0
135.68/135.73	c  135s |      21 |  1798858 |  1311945 |     1241   2449 |        0 |        0
137.68/137.74	c  137s |      21 |  1820743 |  1328145 |     1241   2474 |        0 |        0
139.68/139.74	c  139s |      21 |  1842927 |  1344345 |     1241   2499 |        0 |        0
141.67/141.75	c  141s |      21 |  1867976 |  1362145 |     1241   2526 |        0 |        0
143.67/143.75	c  143s |      21 |  1892672 |  1380745 |     1241   2554 |        0 |        0
145.67/145.76	c  145s |      21 |  1916288 |  1398345 |     1241   2580 |        0 |        0
147.67/147.76	c  147s |      21 |  1937736 |  1414245 |     1241   2605 |        0 |        0
149.68/149.76	c  149s |      21 |  1959221 |  1430245 |     1241   2629 |        0 |        0
151.67/151.77	c  151s |      21 |  1980330 |  1445445 |     1241   2652 |        0 |        0
153.67/153.78	c  153s |      21 |  2004306 |  1462445 |     1241   2678 |        0 |        0
155.67/155.78	c  155s |      21 |  2029301 |  1480045 |     1241   2704 |        0 |        0
157.67/157.78	c  157s |      21 |  2056575 |  1498845 |     1366   2732 |        0 |        0
157.87/157.96	c  157s |      22 |  2058991 |  1500622 |     1366   2734 |        0 |        0
159.87/159.97	c  159s |      22 |  2082259 |  1519022 |     1366   2759 |        0 |        0
161.86/161.97	c  161s |      22 |  2106625 |  1537522 |     1366   2784 |        0 |        0
163.87/163.97	c  163s |      22 |  2129283 |  1554822 |     1366   2808 |        0 |        0
165.86/165.98	c  165s |      22 |  2155017 |  1573822 |     1366   2834 |        0 |        0
167.86/168.00	c  167s |      22 |  2180454 |  1593222 |     1366   2860 |        0 |        0
169.96/170.01	c  169s |      22 |  2203385 |  1611222 |     1366   2885 |        0 |        0
171.96/172.01	c  171s |      22 |  2227977 |  1628922 |     1366   2909 |        0 |        0
173.96/174.02	c  174s |      22 |  2251383 |  1646922 |     1366   2934 |        0 |        0
175.96/176.02	c  176s |      22 |  2277261 |  1665322 |     1366   2959 |        0 |        0
177.96/178.02	c  178s |      22 |  2298988 |  1681922 |     1366   2982 |        0 |        0
179.96/180.03	c  180s |      22 |  2319139 |  1697722 |     1366   3003 |        0 |        0
181.96/182.04	c  182s |      22 |  2340048 |  1714122 |     1366   3025 |        0 |        0
183.96/184.04	c  184s |      22 |  2361577 |  1729622 |     1366   3047 |        0 |        0
185.97/186.05	c  186s |      22 |  2385658 |  1747622 |     1366   3071 |        0 |        0
187.96/188.05	c  188s |      22 |  2406794 |  1763922 |     1366   3094 |        0 |        0
189.96/190.06	c  190s |      22 |  2428958 |  1780422 |     1366   3116 |        0 |        0
191.96/192.07	c  192s |      22 |  2451684 |  1797422 |     1366   3140 |        0 |        0
193.96/194.08	c  194s |      22 |  2472840 |  1813122 |     1366   3162 |        0 |        0
195.96/196.09	c  196s |      22 |  2493946 |  1829222 |     1366   3184 |        0 |        0
197.96/198.10	c  198s |      22 |  2517039 |  1847222 |     1366   3209 |        0 |        0
200.05/200.10	c  200s |      22 |  2542283 |  1865622 |     1366   3234 |        0 |        0
202.05/202.11	c  202s |      22 |  2565542 |  1882922 |     1366   3257 |        0 |        0
204.05/204.11	c  204s |      22 |  2589094 |  1900922 |     1366   3282 |        0 |        0
206.05/206.12	c  206s |      22 |  2613585 |  1918922 |     1366   3307 |        0 |        0
208.05/208.13	c  208s |      22 |  2639923 |  1938822 |     1366   3334 |        0 |        0
210.06/210.13	c  210s |      22 |  2666216 |  1957922 |     1366   3360 |        0 |        0
212.05/212.14	c  212s |      22 |  2689804 |  1975522 |     1366   3385 |        0 |        0
214.05/214.14	c  214s |      22 |  2713760 |  1993822 |     1366   3410 |        0 |        0
216.05/216.16	c  216s |      22 |  2737850 |  2012022 |     1366   3435 |        0 |        0
218.05/218.16	c  218s |      22 |  2761688 |  2029122 |     1366   3458 |        0 |        0
220.06/220.17	c  220s |      22 |  2785159 |  2046822 |     1366   3482 |        0 |        0
222.05/222.17	c  222s |      22 |  2808788 |  2064622 |     1366   3507 |        0 |        0
224.04/224.18	c  224s |      22 |  2834750 |  2082422 |     1366   3532 |        0 |        0
226.04/226.18	c  226s |      22 |  2861142 |  2101422 |     1366   3557 |        0 |        0
228.04/228.19	c  228s |      22 |  2886992 |  2120322 |     1366   3583 |        0 |        0
230.04/230.19	c  230s |      22 |  2911540 |  2138722 |     1366   3607 |        0 |        0
232.04/232.20	c  232s |      22 |  2936610 |  2157022 |     1366   3632 |        0 |        0
234.14/234.20	c  234s |      22 |  2961753 |  2176122 |     1366   3658 |        0 |        0
236.15/236.21	c  236s |      22 |  2986324 |  2194222 |     1366   3683 |        0 |        0
238.14/238.21	c  238s |      22 |  3010732 |  2212722 |     1366   3708 |        0 |        0
240.14/240.22	c  240s |      22 |  3035163 |  2231022 |     1366   3732 |        0 |        0
242.14/242.23	c  242s |      22 |  3058973 |  2248522 |     1503   3755 |        0 |        0
242.44/242.50	c  242s |      23 |  3062538 |  2251038 |     1503   3758 |        0 |        0
244.44/244.50	c  244s |      23 |  3083679 |  2268038 |     1503   3778 |        0 |        0
246.45/246.50	c  246s |      23 |  3104522 |  2284438 |     1503   3798 |        0 |        0
248.44/248.51	c  248s |      23 |  3125529 |  2300938 |     1503   3819 |        0 |        0
250.44/250.51	c  250s |      23 |  3147017 |  2317838 |     1503   3840 |        0 |        0
252.44/252.52	c  252s |      23 |  3169452 |  2334838 |     1503   3860 |        0 |        0
254.44/254.52	c  254s |      23 |  3190891 |  2351338 |     1503   3881 |        0 |        0
256.44/256.53	c  256s |      23 |  3212506 |  2368338 |     1503   3902 |        0 |        0
258.44/258.53	c  258s |      23 |  3234624 |  2385538 |     1503   3923 |        0 |        0
260.43/260.53	c  260s |      23 |  3255474 |  2401938 |     1503   3944 |        0 |        0
262.43/262.53	c  262s |      23 |  3279133 |  2419838 |     1503   3966 |        0 |        0
264.43/264.54	c  264s |      23 |  3301339 |  2437338 |     1503   3988 |        0 |        0
266.43/266.55	c  266s |      23 |  3325284 |  2455738 |     1503   4011 |        0 |        0
268.44/268.55	c  268s |      23 |  3349045 |  2473638 |     1503   4034 |        0 |        0
270.43/270.56	c  270s |      23 |  3372399 |  2491638 |     1503   4056 |        0 |        0
272.43/272.57	c  272s |      23 |  3396820 |  2509738 |     1503   4079 |        0 |        0
274.43/274.58	c  274s |      23 |  3418999 |  2526838 |     1503   4100 |        0 |        0
276.43/276.58	c  276s |      23 |  3441152 |  2544038 |     1503   4122 |        0 |        0
278.42/278.58	c  278s |      23 |  3463990 |  2561338 |     1503   4144 |        0 |        0
280.43/280.59	c  280s |      23 |  3487167 |  2578638 |     1503   4166 |        0 |        0
282.52/282.60	c  282s |      23 |  3508851 |  2595138 |     1503   4187 |        0 |        0
284.52/284.61	c  284s |      23 |  3532402 |  2612638 |     1503   4209 |        0 |        0
286.52/286.62	c  286s |      23 |  3556785 |  2630838 |     1503   4232 |        0 |        0
288.52/288.62	c  288s |      23 |  3581017 |  2649538 |     1503   4256 |        0 |        0
290.52/290.62	c  290s |      23 |  3604671 |  2667438 |     1503   4279 |        0 |        0
292.52/292.63	c  292s |      23 |  3628410 |  2685338 |     1503   4301 |        0 |        0
294.52/294.63	c  294s |      23 |  3651929 |  2703038 |     1503   4324 |        0 |        0
296.53/296.64	c  296s |      23 |  3675052 |  2720438 |     1503   4346 |        0 |        0
298.53/298.65	c  298s |      23 |  3697888 |  2737938 |     1503   4368 |        0 |        0
300.53/300.65	c  300s |      23 |  3721647 |  2755438 |     1503   4390 |        0 |        0
302.53/302.65	c  302s |      23 |  3744979 |  2772838 |     1503   4412 |        0 |        0
304.52/304.66	c  304s |      23 |  3766032 |  2788938 |     1503   4433 |        0 |        0
306.52/306.66	c  306s |      23 |  3787848 |  2805238 |     1503   4454 |        0 |        0
308.52/308.66	c  308s |      23 |  3808438 |  2821238 |     1503   4474 |        0 |        0
310.52/310.66	c  310s |      23 |  3828780 |  2837038 |     1503   4494 |        0 |        0
312.52/312.66	c  312s |      23 |  3851396 |  2853938 |     1503   4516 |        0 |        0
314.52/314.66	c  314s |      23 |  3873859 |  2870638 |     1503   4537 |        0 |        0
316.52/316.68	c  316s |      23 |  3896087 |  2887238 |     1503   4558 |        0 |        0
318.52/318.69	c  318s |      23 |  3918292 |  2903838 |     1503   4579 |        0 |        0
320.52/320.69	c  320s |      23 |  3940907 |  2920938 |     1503   4601 |        0 |        0
322.51/322.69	c  322s |      23 |  3963613 |  2937938 |     1503   4623 |        0 |        0
324.61/324.70	c  324s |      23 |  3986906 |  2954938 |     1503   4645 |        0 |        0
326.62/326.70	c  326s |      23 |  4009434 |  2972038 |     1503   4666 |        0 |        0
328.61/328.71	c  328s |      23 |  4031887 |  2989438 |     1503   4688 |        0 |        0
330.61/330.72	c  330s |      23 |  4054347 |  3006838 |     1503   4710 |        0 |        0
332.60/332.73	c  332s |      23 |  4076780 |  3024238 |     1503   4732 |        0 |        0
334.60/334.74	c  334s |      23 |  4098972 |  3041738 |     1503   4754 |        0 |        0
336.61/336.75	c  336s |      23 |  4122759 |  3059338 |     1503   4777 |        0 |        0
338.60/338.75	c  338s |      23 |  4146237 |  3077038 |     1503   4799 |        0 |        0
340.60/340.75	c  340s |      23 |  4170700 |  3095438 |     1503   4822 |        0 |        0
342.60/342.76	c  342s |      23 |  4194805 |  3113538 |     1503   4845 |        0 |        0
344.60/344.76	c  344s |      23 |  4218952 |  3131738 |     1503   4868 |        0 |        0
346.60/346.77	c  346s |      23 |  4241266 |  3148738 |     1503   4889 |        0 |        0
348.60/348.77	c  348s |      23 |  4265627 |  3166938 |     1503   4912 |        0 |        0
350.60/350.78	c  350s |      23 |  4288993 |  3184538 |     1503   4934 |        0 |        0
352.60/352.78	c  352s |      23 |  4311477 |  3201938 |     1503   4955 |        0 |        0
354.60/354.79	c  354s |      23 |  4333688 |  3219138 |     1503   4977 |        0 |        0
356.60/356.79	c  356s |      23 |  4355861 |  3236638 |     1503   4999 |        0 |        0
358.61/358.79	c  358s |      23 |  4378064 |  3253838 |     1503   5020 |        0 |        0
360.60/360.80	c  360s |      23 |  4398781 |  3270238 |     1503   5041 |        0 |        0
362.69/362.80	c  362s |      23 |  4418551 |  3285838 |     1503   5061 |        0 |        0
364.69/364.81	c  364s |      23 |  4439662 |  3302138 |     1503   5081 |        0 |        0
366.69/366.81	c  366s |      23 |  4461690 |  3318738 |     1503   5102 |        0 |        0
368.69/368.81	c  368s |      23 |  4483846 |  3335038 |     1503   5123 |        0 |        0
370.70/370.81	c  370s |      23 |  4506063 |  3351338 |     1503   5143 |        0 |        0
372.69/372.83	c  372s |      23 |  4526526 |  3366938 |     1654   5161 |        0 |        0
373.79/373.98	c  373s |      24 |  4538991 |  3376662 |     1654   5172 |        0 |        0
375.79/375.99	c  375s |      24 |  4561074 |  3393662 |     1654   5191 |        0 |        0
377.89/378.00	c  377s |      24 |  4582880 |  3410262 |     1654   5210 |        0 |        0
379.88/380.01	c  379s |      24 |  4605354 |  3427062 |     1654   5229 |        0 |        0
381.88/382.01	c  381s |      24 |  4627113 |  3444162 |     1654   5248 |        0 |        0
383.89/384.01	c  383s |      24 |  4649275 |  3460762 |     1654   5266 |        0 |        0
385.88/386.01	c  385s |      24 |  4672311 |  3477662 |     1654   5286 |        0 |        0
387.88/388.02	c  388s |      24 |  4693869 |  3494262 |     1654   5304 |        0 |        0
389.88/390.03	c  390s |      24 |  4716885 |  3511962 |     1654   5324 |        0 |        0
391.88/392.04	c  392s |      24 |  4738448 |  3528162 |     1654   5342 |        0 |        0
393.87/394.05	c  394s |      24 |  4762893 |  3545662 |     1654   5362 |        0 |        0
395.88/396.05	c  396s |      24 |  4785201 |  3563062 |     1654   5382 |        0 |        0
397.87/398.05	c  398s |      24 |  4809567 |  3580762 |     1654   5402 |        0 |        0
399.87/400.05	c  400s |      24 |  4830302 |  3596962 |     1654   5420 |        0 |        0
401.87/402.05	c  402s |      24 |  4852236 |  3613462 |     1654   5439 |        0 |        0
403.87/404.06	c  404s |      24 |  4874559 |  3630162 |     1654   5458 |        0 |        0
405.88/406.06	c  406s |      24 |  4897739 |  3647462 |     1654   5477 |        0 |        0
407.87/408.07	c  408s |      24 |  4919399 |  3663662 |     1654   5496 |        0 |        0
409.88/410.07	c  410s |      24 |  4941008 |  3680262 |     1654   5515 |        0 |        0
411.87/412.07	c  412s |      24 |  4963788 |  3696962 |     1654   5533 |        0 |        0
413.87/414.08	c  414s |      24 |  4986641 |  3713562 |     1654   5552 |        0 |        0
415.87/416.09	c  416s |      24 |  5009781 |  3730962 |     1654   5572 |        0 |        0
417.88/418.10	c  418s |      24 |  5032629 |  3748662 |     1654   5592 |        0 |        0
419.97/420.10	c  420s |      24 |  5057563 |  3766962 |     1654   5613 |        0 |        0
421.97/422.11	c  422s |      24 |  5080158 |  3783962 |     1654   5633 |        0 |        0
423.97/424.11	c  424s |      24 |  5101409 |  3799962 |     1654   5651 |        0 |        0
425.97/426.12	c  426s |      24 |  5123609 |  3816762 |     1654   5670 |        0 |        0
427.97/428.13	c  428s |      24 |  5146237 |  3833962 |     1654   5689 |        0 |        0
429.97/430.13	c  430s |      24 |  5168516 |  3850762 |     1654   5708 |        0 |        0
431.97/432.14	c  432s |      24 |  5189599 |  3866962 |     1654   5727 |        0 |        0
433.96/434.14	c  434s |      24 |  5212689 |  3884062 |     1654   5746 |        0 |        0
435.96/436.15	c  436s |      24 |  5236184 |  3901362 |     1654   5766 |        0 |        0
437.96/438.16	c  438s |      24 |  5259003 |  3918462 |     1654   5785 |        0 |        0
439.97/440.16	c  440s |      24 |  5281123 |  3934962 |     1654   5804 |        0 |        0
441.96/442.17	c  442s |      24 |  5301803 |  3951162 |     1654   5822 |        0 |        0
443.97/444.18	c  444s |      24 |  5324449 |  3967762 |     1654   5841 |        0 |        0
445.97/446.18	c  446s |      24 |  5347983 |  3984862 |     1654   5860 |        0 |        0
447.97/448.19	c  448s |      24 |  5371019 |  4002062 |     1654   5880 |        0 |        0
450.06/450.20	c  450s |      24 |  5394094 |  4018862 |     1654   5899 |        0 |        0
452.07/452.20	c  452s |      24 |  5417292 |  4036162 |     1654   5918 |        0 |        0
454.06/454.22	c  454s |      24 |  5439927 |  4053062 |     1654   5938 |        0 |        0
456.06/456.23	c  456s |      24 |  5462461 |  4069862 |     1654   5957 |        0 |        0
458.06/458.24	c  458s |      24 |  5484823 |  4086662 |     1654   5976 |        0 |        0
460.06/460.24	c  460s |      24 |  5506825 |  4103062 |     1654   5994 |        0 |        0
462.05/462.24	c  462s |      24 |  5528276 |  4119462 |     1654   6013 |        0 |        0
464.06/464.24	c  464s |      24 |  5549187 |  4135962 |     1654   6032 |        0 |        0
466.05/466.25	c  466s |      24 |  5573782 |  4153562 |     1654   6052 |        0 |        0
468.05/468.25	c  468s |      24 |  5597614 |  4171162 |     1654   6072 |        0 |        0
470.05/470.26	c  470s |      24 |  5620829 |  4188562 |     1654   6091 |        0 |        0
472.05/472.26	c  472s |      24 |  5645623 |  4206162 |     1654   6111 |        0 |        0
474.05/474.27	c  474s |      24 |  5668838 |  4223362 |     1654   6131 |        0 |        0
476.05/476.28	c  476s |      24 |  5691380 |  4240562 |     1654   6150 |        0 |        0
478.05/478.29	c  478s |      24 |  5713073 |  4257262 |     1654   6169 |        0 |        0
480.05/480.30	c  480s |      24 |  5735218 |  4273962 |     1654   6188 |        0 |        0
482.14/482.30	c  482s |      24 |  5757857 |  4290862 |     1654   6207 |        0 |        0
484.14/484.31	c  484s |      24 |  5780721 |  4307462 |     1654   6226 |        0 |        0
486.15/486.31	c  486s |      24 |  5803017 |  4324562 |     1654   6245 |        0 |        0
488.14/488.32	c  488s |      24 |  5825608 |  4341462 |     1654   6264 |        0 |        0
490.14/490.34	c  490s |      24 |  5850221 |  4359862 |     1654   6285 |        0 |        0
492.14/492.34	c  492s |      24 |  5873546 |  4377062 |     1654   6305 |        0 |        0
494.13/494.34	c  494s |      24 |  5896124 |  4394262 |     1654   6324 |        0 |        0
496.13/496.35	c  496s |      24 |  5919791 |  4411662 |     1654   6344 |        0 |        0
498.15/498.36	c  498s |      24 |  5941614 |  4428562 |     1654   6363 |        0 |        0
500.14/500.36	c  500s |      24 |  5963065 |  4445662 |     1654   6382 |        0 |        0
502.14/502.37	c  502s |      24 |  5983994 |  4461362 |     1654   6400 |        0 |        0
504.14/504.38	c  504s |      24 |  6005366 |  4477362 |     1654   6419 |        0 |        0
506.14/506.38	c  506s |      24 |  6026932 |  4493462 |     1654   6437 |        0 |        0
508.15/508.39	c  508s |      24 |  6050031 |  4510362 |     1654   6456 |        0 |        0
510.14/510.40	c  510s |      24 |  6074400 |  4528062 |     1654   6476 |        0 |        0
512.23/512.41	c  512s |      24 |  6096591 |  4544662 |     1654   6495 |        0 |        0
514.23/514.41	c  514s |      24 |  6119847 |  4562462 |     1654   6516 |        0 |        0
516.23/516.42	c  516s |      24 |  6141228 |  4579462 |     1654   6535 |        0 |        0
518.23/518.42	c  518s |      24 |  6162986 |  4596262 |     1654   6554 |        0 |        0
520.24/520.43	c  520s |      24 |  6186242 |  4613362 |     1654   6574 |        0 |        0
522.22/522.43	c  522s |      24 |  6209766 |  4630562 |     1654   6593 |        0 |        0
524.22/524.44	c  524s |      24 |  6232415 |  4647462 |     1654   6612 |        0 |        0
526.22/526.45	c  526s |      24 |  6253935 |  4664162 |     1654   6631 |        0 |        0
528.22/528.46	c  528s |      24 |  6275473 |  4680462 |     1654   6650 |        0 |        0
530.22/530.46	c  530s |      24 |  6298348 |  4697462 |     1654   6669 |        0 |        0
532.23/532.47	c  532s |      24 |  6321653 |  4715162 |     1654   6690 |        0 |        0
534.22/534.47	c  534s |      24 |  6345176 |  4732462 |     1654   6710 |        0 |        0
536.22/536.48	c  536s |      24 |  6366090 |  4749062 |     1654   6730 |        0 |        0
538.22/538.48	c  538s |      24 |  6389902 |  4766562 |     1654   6751 |        0 |        0
540.22/540.49	c  540s |      24 |  6414165 |  4784162 |     1654   6772 |        0 |        0
542.22/542.49	c  542s |      24 |  6439910 |  4801962 |     1654   6793 |        0 |        0
544.21/544.49	c  544s |      24 |  6461011 |  4818362 |     1654   6812 |        0 |        0
546.31/546.50	c  546s |      24 |  6482845 |  4835462 |     1654   6832 |        0 |        0
548.31/548.51	c  548s |      24 |  6503171 |  4851662 |     1654   6851 |        0 |        0
550.31/550.52	c  550s |      24 |  6524067 |  4868362 |     1654   6870 |        0 |        0
552.31/552.52	c  552s |      24 |  6545345 |  4885062 |     1654   6889 |        0 |        0
554.31/554.53	c  554s |      24 |  6567204 |  4901662 |     1654   6909 |        0 |        0
556.30/556.53	c  556s |      24 |  6587294 |  4916962 |     1654   6927 |        0 |        0
558.30/558.54	c  558s |      24 |  6608465 |  4933362 |     1654   6947 |        0 |        0
560.30/560.55	c  560s |      24 |  6628938 |  4949562 |     1654   6966 |        0 |        0
562.30/562.56	c  562s |      24 |  6648844 |  4965962 |     1654   6985 |        0 |        0
564.30/564.56	c  564s |      24 |  6670124 |  4982962 |     1654   7004 |        0 |        0
566.30/566.57	c  566s |      24 |  6690669 |  4999462 |     1654   7023 |        0 |        0
568.30/568.58	c  568s |      24 |  6711827 |  5015962 |     1654   7043 |        0 |        0
570.30/570.58	c  570s |      24 |  6732250 |  5032062 |     1820   7061 |        0 |        0
572.30/572.59	c  572s |      24 |  6752134 |  5047662 |     1820   7078 |        0 |        0
574.30/574.59	c  574s |      24 |  6772750 |  5063862 |     1820   7095 |        0 |        0
574.50/574.75	c  574s |      25 |  6774252 |  5065098 |     1820   7096 |        0 |        0
576.50/576.75	c  576s |      25 |  6793930 |  5080998 |     1820   7112 |        0 |        0
578.50/578.76	c  578s |      25 |  6816750 |  5098398 |     1820   7130 |        0 |        0
580.50/580.77	c  580s |      25 |  6838845 |  5115398 |     1820   7148 |        0 |        0
582.49/582.78	c  582s |      25 |  6861014 |  5132398 |     1820   7165 |        0 |        0
584.49/584.79	c  584s |      25 |  6881786 |  5148498 |     1820   7182 |        0 |        0
586.49/586.79	c  586s |      25 |  6902773 |  5164898 |     1820   7199 |        0 |        0
588.49/588.79	c  588s |      25 |  6925180 |  5181898 |     1820   7216 |        0 |        0
590.50/590.80	c  590s |      25 |  6946441 |  5197998 |     1820   7233 |        0 |        0
592.59/592.80	c  592s |      25 |  6969989 |  5215498 |     1820   7251 |        0 |        0
594.59/594.81	c  594s |      25 |  6992454 |  5232498 |     1820   7268 |        0 |        0
596.59/596.82	c  596s |      25 |  7015432 |  5249998 |     1820   7286 |        0 |        0
598.59/598.82	c  598s |      25 |  7038071 |  5266598 |     1820   7304 |        0 |        0
600.58/600.82	c  600s |      25 |  7061403 |  5283998 |     1820   7321 |        0 |        0
602.59/602.83	c  602s |      25 |  7083719 |  5301498 |     1820   7339 |        0 |        0
604.58/604.84	c  604s |      25 |  7107961 |  5319798 |     1820   7358 |        0 |        0
606.58/606.84	c  606s |      25 |  7130623 |  5336998 |     1820   7376 |        0 |        0
608.58/608.85	c  608s |      25 |  7154037 |  5354498 |     1820   7394 |        0 |        0
610.58/610.85	c  610s |      25 |  7175494 |  5371398 |     1820   7412 |        0 |        0
612.58/612.85	c  612s |      25 |  7199178 |  5389398 |     1820   7430 |        0 |        0
614.57/614.86	c  614s |      25 |  7222956 |  5407498 |     1820   7449 |        0 |        0
616.57/616.86	c  616s |      25 |  7246428 |  5425098 |     1820   7467 |        0 |        0
618.57/618.87	c  618s |      25 |  7269611 |  5442698 |     1820   7485 |        0 |        0
620.57/620.88	c  620s |      25 |  7289936 |  5458498 |     1820   7502 |        0 |        0
622.57/622.88	c  622s |      25 |  7310848 |  5473998 |     1820   7518 |        0 |        0
624.58/624.89	c  624s |      25 |  7330821 |  5489698 |     1820   7534 |        0 |        0
626.57/626.89	c  626s |      25 |  7350485 |  5504998 |     1820   7550 |        0 |        0
628.67/628.90	c  628s |      25 |  7371574 |  5521098 |     1820   7567 |        0 |        0
630.67/630.91	c  630s |      25 |  7393001 |  5537398 |     1820   7583 |        0 |        0
632.66/632.92	c  632s |      25 |  7414336 |  5553698 |     1820   7600 |        0 |        0
634.66/634.92	c  634s |      25 |  7436375 |  5570398 |     1820   7618 |        0 |        0
636.67/636.93	c  636s |      25 |  7459478 |  5587298 |     1820   7635 |        0 |        0
638.66/638.94	c  638s |      25 |  7482000 |  5603998 |     1820   7653 |        0 |        0
640.66/640.95	c  640s |      25 |  7505461 |  5621098 |     1820   7671 |        0 |        0
642.66/642.96	c  642s |      25 |  7527274 |  5637998 |     1820   7688 |        0 |        0
644.66/644.96	c  644s |      25 |  7549485 |  5654498 |     1820   7705 |        0 |        0
646.66/646.97	c  646s |      25 |  7571407 |  5671298 |     1820   7723 |        0 |        0
648.66/648.98	c  648s |      25 |  7592554 |  5687598 |     1820   7739 |        0 |        0
650.66/650.99	c  650s |      25 |  7613922 |  5704098 |     1820   7757 |        0 |        0
652.65/652.99	c  652s |      25 |  7635702 |  5720598 |     1820   7774 |        0 |        0
654.75/655.00	c  654s |      25 |  7656745 |  5736198 |     1820   7790 |        0 |        0
656.75/657.01	c  656s |      25 |  7677842 |  5751998 |     1820   7806 |        0 |        0
658.77/659.02	c  659s |      25 |  7698375 |  5767598 |     1820   7823 |        0 |        0
660.76/661.03	c  661s |      25 |  7718215 |  5782898 |     1820   7838 |        0 |        0
662.76/663.04	c  663s |      25 |  7739845 |  5799198 |     1820   7855 |        0 |        0
664.75/665.04	c  665s |      25 |  7762026 |  5815798 |     1820   7873 |        0 |        0
666.75/667.05	c  667s |      25 |  7784024 |  5832198 |     1820   7890 |        0 |        0
668.75/669.06	c  669s |      25 |  7806186 |  5848798 |     1820   7907 |        0 |        0
670.76/671.07	c  671s |      25 |  7826948 |  5865098 |     1820   7924 |        0 |        0
672.75/673.08	c  673s |      25 |  7848484 |  5881498 |     1820   7941 |        0 |        0
674.75/675.08	c  675s |      25 |  7871485 |  5898898 |     1820   7959 |        0 |        0
676.75/677.09	c  677s |      25 |  7893024 |  5915198 |     1820   7976 |        0 |        0
678.85/679.10	c  679s |      25 |  7916209 |  5932498 |     1820   7994 |        0 |        0
680.85/681.11	c  681s |      25 |  7937955 |  5949098 |     1820   8011 |        0 |        0
682.85/683.12	c  683s |      25 |  7959311 |  5965098 |     1820   8028 |        0 |        0
684.84/685.13	c  685s |      25 |  7982194 |  5982298 |     1820   8046 |        0 |        0
686.84/687.14	c  687s |      25 |  8004157 |  5999298 |     1820   8063 |        0 |        0
688.84/689.15	c  689s |      25 |  8024381 |  6015298 |     1820   8080 |        0 |        0
690.84/691.15	c  691s |      25 |  8046165 |  6031898 |     1820   8097 |        0 |        0
692.85/693.16	c  693s |      25 |  8067490 |  6048198 |     1820   8114 |        0 |        0
694.84/695.17	c  695s |      25 |  8086631 |  6063698 |     1820   8130 |        0 |        0
696.84/697.18	c  697s |      25 |  8107905 |  6080498 |     1820   8148 |        0 |        0
698.84/699.19	c  699s |      25 |  8128742 |  6096698 |     1820   8164 |        0 |        0
700.94/701.20	c  701s |      25 |  8150109 |  6112998 |     1820   8181 |        0 |        0
702.94/703.20	c  703s |      25 |  8172194 |  6129698 |     1820   8199 |        0 |        0
704.94/705.21	c  705s |      25 |  8194685 |  6146798 |     1820   8217 |        0 |        0
706.93/707.22	c  707s |      25 |  8215522 |  6163098 |     1820   8233 |        0 |        0
708.93/709.22	c  709s |      25 |  8238528 |  6180198 |     1820   8251 |        0 |        0
710.93/711.23	c  711s |      25 |  8261954 |  6197398 |     1820   8269 |        0 |        0
712.93/713.23	c  713s |      25 |  8280827 |  6212398 |     1820   8285 |        0 |        0
714.92/715.24	c  715s |      25 |  8300237 |  6227798 |     1820   8301 |        0 |        0
716.93/717.25	c  717s |      25 |  8322079 |  6244198 |     1820   8318 |        0 |        0
718.92/719.26	c  719s |      25 |  8343258 |  6260198 |     1820   8334 |        0 |        0
720.92/721.26	c  721s |      25 |  8364844 |  6276098 |     1820   8351 |        0 |        0
722.92/723.27	c  723s |      25 |  8386870 |  6292898 |     1820   8368 |        0 |        0
724.92/725.27	c  725s |      25 |  8407790 |  6309098 |     1820   8385 |        0 |        0
726.93/727.28	c  727s |      25 |  8429073 |  6325298 |     1820   8402 |        0 |        0
728.92/729.28	c  729s |      25 |  8452978 |  6343298 |     1820   8420 |        0 |        0
730.92/731.29	c  731s |      25 |  8475381 |  6360298 |     1820   8438 |        0 |        0
733.01/733.30	c  733s |      25 |  8497207 |  6377098 |     1820   8455 |        0 |        0
735.01/735.30	c  735s |      25 |  8519553 |  6393298 |     1820   8472 |        0 |        0
737.01/737.30	c  737s |      25 |  8542155 |  6409998 |     1820   8490 |        0 |        0
739.02/739.31	c  739s |      25 |  8564803 |  6426198 |     1820   8506 |        0 |        0
741.01/741.33	c  741s |      25 |  8585070 |  6442098 |     1820   8523 |        0 |        0
743.01/743.34	c  743s |      25 |  8605968 |  6458198 |     1820   8540 |        0 |        0
745.02/745.35	c  745s |      25 |  8627897 |  6474598 |     1820   8557 |        0 |        0
747.02/747.35	c  747s |      25 |  8650742 |  6491798 |     1820   8574 |        0 |        0
749.02/749.35	c  749s |      25 |  8673312 |  6508698 |     1820   8592 |        0 |        0
751.02/751.36	c  751s |      25 |  8694860 |  6524998 |     1820   8609 |        0 |        0
753.01/753.37	c  753s |      25 |  8714948 |  6541098 |     1820   8626 |        0 |        0
755.01/755.37	c  755s |      25 |  8736630 |  6557998 |     1820   8643 |        0 |        0
757.01/757.37	c  757s |      25 |  8759928 |  6575898 |     1820   8662 |        0 |        0
759.01/759.38	c  759s |      25 |  8781706 |  6592698 |     1820   8679 |        0 |        0
761.02/761.39	c  761s |      25 |  8804216 |  6609298 |     1820   8696 |        0 |        0
763.00/763.40	c  763s |      25 |  8825282 |  6624998 |     1820   8713 |        0 |        0
765.10/765.41	c  765s |      25 |  8845675 |  6640598 |     1820   8729 |        0 |        0
767.10/767.41	c  767s |      25 |  8863738 |  6655098 |     1820   8744 |        0 |        0
769.10/769.42	c  769s |      25 |  8885274 |  6671298 |     1820   8761 |        0 |        0
771.10/771.42	c  771s |      25 |  8906064 |  6687398 |     1820   8777 |        0 |        0
773.11/773.43	c  773s |      25 |  8930007 |  6704998 |     1820   8796 |        0 |        0
775.10/775.43	c  775s |      25 |  8952685 |  6722298 |     1820   8814 |        0 |        0
777.10/777.43	c  777s |      25 |  8973845 |  6738598 |     1820   8831 |        0 |        0
779.10/779.44	c  779s |      25 |  8995960 |  6755398 |     1820   8848 |        0 |        0
781.10/781.44	c  781s |      25 |  9018311 |  6772198 |     1820   8866 |        0 |        0
783.09/783.44	c  783s |      25 |  9038844 |  6787998 |     1820   8882 |        0 |        0
785.10/785.44	c  785s |      25 |  9060238 |  6803998 |     1820   8899 |        0 |        0
787.09/787.45	c  787s |      25 |  9080536 |  6819798 |     1820   8915 |        0 |        0
789.09/789.45	c  789s |      25 |  9099597 |  6834798 |     1820   8931 |        0 |        0
791.09/791.46	c  791s |      25 |  9121629 |  6851198 |     1820   8948 |        0 |        0
793.09/793.47	c  793s |      25 |  9143348 |  6867698 |     1820   8965 |        0 |        0
795.09/795.48	c  795s |      25 |  9163925 |  6883698 |     1820   8982 |        0 |        0
797.09/797.48	c  797s |      25 |  9182274 |  6898298 |     1820   8997 |        0 |        0
799.08/799.49	c  799s |      25 |  9201409 |  6913498 |     1820   9013 |        0 |        0
801.18/801.50	c  801s |      25 |  9222586 |  6929498 |     1820   9030 |        0 |        0
803.18/803.50	c  803s |      25 |  9244105 |  6945698 |     1820   9047 |        0 |        0
805.19/805.50	c  805s |      25 |  9265805 |  6961998 |     1820   9064 |        0 |        0
807.19/807.51	c  807s |      25 |  9287661 |  6978598 |     1820   9081 |        0 |        0
809.19/809.52	c  809s |      25 |  9308109 |  6994098 |     1820   9097 |        0 |        0
811.19/811.52	c  811s |      25 |  9331152 |  7011398 |     1820   9115 |        0 |        0
813.19/813.54	c  813s |      25 |  9354361 |  7028698 |     1820   9134 |        0 |        0
815.19/815.54	c  815s |      25 |  9376180 |  7045398 |     1820   9151 |        0 |        0
817.18/817.55	c  817s |      25 |  9396849 |  7061298 |     1820   9168 |        0 |        0
819.19/819.55	c  819s |      25 |  9418639 |  7077898 |     1820   9185 |        0 |        0
821.18/821.56	c  821s |      25 |  9439991 |  7093898 |     1820   9202 |        0 |        0
823.18/823.57	c  823s |      25 |  9462305 |  7110698 |     1820   9219 |        0 |        0
825.18/825.58	c  825s |      25 |  9485283 |  7127698 |     1820   9237 |        0 |        0
827.18/827.59	c  827s |      25 |  9507414 |  7144198 |     1820   9254 |        0 |        0
829.19/829.59	c  829s |      25 |  9527974 |  7160098 |     1820   9271 |        0 |        0
831.18/831.59	c  831s |      25 |  9549512 |  7176398 |     1820   9288 |        0 |        0
833.28/833.61	c  833s |      25 |  9572526 |  7193298 |     1820   9306 |        0 |        0
835.28/835.62	c  835s |      25 |  9592759 |  7209298 |     1820   9322 |        0 |        0
837.28/837.62	c  837s |      25 |  9613715 |  7225298 |     1820   9339 |        0 |        0
839.27/839.63	c  839s |      25 |  9637067 |  7242698 |     1820   9357 |        0 |        0
841.28/841.63	c  841s |      25 |  9659136 |  7259698 |     1820   9375 |        0 |        0
843.27/843.64	c  843s |      25 |  9680181 |  7275798 |     1820   9392 |        0 |        0
845.27/845.64	c  845s |      25 |  9700050 |  7291498 |     1820   9408 |        0 |        0
847.28/847.65	c  847s |      25 |  9721175 |  7307498 |     1820   9425 |        0 |        0
849.28/849.66	c  849s |      25 |  9742638 |  7323998 |     1820   9442 |        0 |        0
851.28/851.67	c  851s |      25 |  9764656 |  7340598 |     1820   9459 |        0 |        0
853.29/853.67	c  853s |      25 |  9785116 |  7356398 |     1820   9476 |        0 |        0
855.28/855.68	c  855s |      25 |  9805827 |  7372298 |     1820   9493 |        0 |        0
857.28/857.69	c  857s |      25 |  9827398 |  7388598 |     1820   9510 |        0 |        0
859.28/859.70	c  859s |      25 |  9845696 |  7403098 |     1820   9525 |        0 |        0
861.38/861.70	c  861s |      25 |  9867666 |  7418898 |     1820   9541 |        0 |        0
863.38/863.72	c  863s |      25 |  9887843 |  7434598 |     1820   9558 |        0 |        0
865.38/865.72	c  865s |      25 |  9908296 |  7450398 |     1820   9574 |        0 |        0
867.38/867.72	c  867s |      25 |  9927893 |  7465698 |     1820   9590 |        0 |        0
869.38/869.73	c  869s |      25 |  9948472 |  7481198 |     1820   9606 |        0 |        0
871.38/871.73	c  871s |      25 |  9969012 |  7497298 |     1820   9623 |        0 |        0
873.38/873.74	c  873s |      25 |  9988328 |  7512498 |     1820   9639 |        0 |        0
875.38/875.74	c  875s |      25 | 10008054 |  7527598 |     1820   9655 |        0 |        0
877.38/877.75	c  877s |      25 | 10027365 |  7542798 |     1820   9671 |        0 |        0
879.37/879.75	c  879s |      25 | 10046470 |  7557698 |     2003   9685 |        0 |        0
881.37/881.75	c  881s |      25 | 10066592 |  7573098 |     2003   9700 |        0 |        0
883.37/883.76	c  883s |      25 | 10086916 |  7588498 |     2003   9714 |        0 |        0
884.57/884.91	c  884s |      26 | 10099234 |  7597752 |     2003   9723 |        0 |        0
886.57/886.92	c  886s |      26 | 10116892 |  7612052 |     2003   9736 |        0 |        0
888.58/888.92	c  888s |      26 | 10137004 |  7627852 |     2003   9751 |        0 |        0
890.57/890.93	c  890s |      26 | 10156477 |  7642852 |     2003   9765 |        0 |        0
892.57/892.94	c  892s |      26 | 10176283 |  7658052 |     2003   9779 |        0 |        0
894.57/894.94	c  894s |      26 | 10196223 |  7673352 |     2003   9794 |        0 |        0
896.57/896.94	c  896s |      26 | 10214831 |  7687752 |     2003   9807 |        0 |        0
898.57/898.95	c  898s |      26 | 10234608 |  7702752 |     2003   9821 |        0 |        0
900.58/900.96	c  900s |      26 | 10252911 |  7717352 |     2003   9835 |        0 |        0
902.57/902.97	c  902s |      26 | 10272740 |  7732952 |     2003   9850 |        0 |        0
904.57/904.97	c  904s |      26 | 10292574 |  7748652 |     2003   9865 |        0 |        0
906.57/906.98	c  906s |      26 | 10313520 |  7764752 |     2003   9880 |        0 |        0
908.57/908.98	c  908s |      26 | 10334816 |  7781052 |     2003   9895 |        0 |        0
910.57/910.98	c  910s |      26 | 10354957 |  7796652 |     2003   9910 |        0 |        0
912.57/912.99	c  912s |      26 | 10376602 |  7812852 |     2003   9925 |        0 |        0
914.67/915.01	c  914s |      26 | 10396426 |  7827852 |     2003   9940 |        0 |        0
916.66/917.02	c  917s |      26 | 10419175 |  7844852 |     2003   9956 |        0 |        0
918.66/919.03	c  919s |      26 | 10439786 |  7860552 |     2003   9970 |        0 |        0
920.66/921.04	c  921s |      26 | 10458195 |  7874752 |     2003   9984 |        0 |        0
922.67/923.05	c  923s |      26 | 10478681 |  7890452 |     2003   9999 |        0 |        0
924.66/925.06	c  925s |      26 | 10501124 |  7907152 |     2003  10014 |        0 |        0
926.66/927.07	c  927s |      26 | 10522320 |  7922852 |     2003  10029 |        0 |        0
928.66/929.07	c  929s |      26 | 10541034 |  7937552 |     2003  10043 |        0 |        0
930.66/931.08	c  931s |      26 | 10559137 |  7951952 |     2003  10057 |        0 |        0
932.66/933.08	c  933s |      26 | 10577196 |  7966352 |     2003  10070 |        0 |        0
934.67/935.09	c  935s |      26 | 10597005 |  7981652 |     2003  10085 |        0 |        0
936.76/937.10	c  937s |      26 | 10616361 |  7997052 |     2003  10099 |        0 |        0
938.76/939.11	c  939s |      26 | 10636059 |  8012552 |     2003  10114 |        0 |        0
940.76/941.13	c  941s |      26 | 10655195 |  8027652 |     2003  10128 |        0 |        0
942.76/943.14	c  943s |      26 | 10676372 |  8043652 |     2003  10143 |        0 |        0
944.76/945.14	c  945s |      26 | 10698580 |  8060152 |     2003  10159 |        0 |        0
946.76/947.14	c  947s |      26 | 10717042 |  8074452 |     2003  10173 |        0 |        0
948.76/949.15	c  949s |      26 | 10737310 |  8089952 |     2003  10187 |        0 |        0
950.77/951.16	c  951s |      26 | 10756610 |  8105052 |     2003  10202 |        0 |        0
952.77/953.17	c  953s |      26 | 10773826 |  8118952 |     2003  10216 |        0 |        0
954.76/955.18	c  955s |      26 | 10794826 |  8134652 |     2003  10231 |        0 |        0
956.77/957.18	c  957s |      26 | 10815706 |  8150552 |     2003  10246 |        0 |        0
958.76/959.20	c  959s |      26 | 10835507 |  8165952 |     2003  10261 |        0 |        0
960.86/961.21	c  961s |      26 | 10854588 |  8181152 |     2003  10275 |        0 |        0
962.86/963.21	c  963s |      26 | 10873535 |  8196152 |     2003  10289 |        0 |        0
964.86/965.22	c  965s |      26 | 10895046 |  8212452 |     2003  10305 |        0 |        0
966.86/967.23	c  967s |      26 | 10915755 |  8228352 |     2003  10320 |        0 |        0
968.86/969.24	c  969s |      26 | 10937737 |  8245052 |     2003  10336 |        0 |        0
970.85/971.25	c  971s |      26 | 10958630 |  8260952 |     2003  10352 |        0 |        0
972.85/973.26	c  973s |      26 | 10978773 |  8276452 |     2003  10366 |        0 |        0
974.85/975.28	c  975s |      26 | 10997118 |  8291152 |     2003  10381 |        0 |        0
976.85/977.29	c  977s |      26 | 11016601 |  8306152 |     2003  10395 |        0 |        0
978.95/979.30	c  979s |      26 | 11036926 |  8321652 |     2003  10410 |        0 |        0
980.96/981.31	c  981s |      26 | 11057258 |  8337752 |     2003  10425 |        0 |        0
982.95/983.31	c  983s |      26 | 11076597 |  8352952 |     2003  10440 |        0 |        0
984.95/985.31	c  985s |      26 | 11095787 |  8367852 |     2003  10454 |        0 |        0
986.95/987.31	c  987s |      26 | 11115622 |  8383052 |     2003  10468 |        0 |        0
988.96/989.32	c  989s |      26 | 11135566 |  8397952 |     2003  10483 |        0 |        0
990.96/991.32	c  991s |      26 | 11156745 |  8413852 |     2003  10498 |        0 |        0
992.96/993.33	c  993s |      26 | 11178227 |  8429952 |     2003  10513 |        0 |        0
994.95/995.34	c  995s |      26 | 11197757 |  8445152 |     2003  10528 |        0 |        0
996.95/997.35	c  997s |      26 | 11218831 |  8461052 |     2003  10543 |        0 |        0
998.95/999.35	c  999s |      26 | 11239918 |  8477152 |     2003  10559 |        0 |        0
1000.95/1001.36	c 1001s |      26 | 11260359 |  8492852 |     2003  10574 |        0 |        0
1002.96/1003.36	c 1003s |      26 | 11277850 |  8506352 |     2003  10587 |        0 |        0
1004.95/1005.36	c 1005s |      26 | 11296440 |  8520552 |     2003  10600 |        0 |        0
1006.95/1007.38	c 1007s |      26 | 11315976 |  8535052 |     2003  10614 |        0 |        0
1008.95/1009.38	c 1009s |      26 | 11333230 |  8548452 |     2003  10627 |        0 |        0
1010.95/1011.39	c 1011s |      26 | 11350375 |  8561652 |     2003  10640 |        0 |        0
1013.06/1013.40	c 1013s |      26 | 11367763 |  8574652 |     2003  10653 |        0 |        0
1015.06/1015.41	c 1015s |      26 | 11386559 |  8588852 |     2003  10666 |        0 |        0
1017.06/1017.41	c 1017s |      26 | 11405610 |  8603352 |     2003  10681 |        0 |        0
1019.05/1019.41	c 1019s |      26 | 11424285 |  8617452 |     2003  10694 |        0 |        0
1021.05/1021.41	c 1021s |      26 | 11442531 |  8631252 |     2003  10708 |        0 |        0
1023.05/1023.43	c 1023s |      26 | 11461317 |  8645652 |     2003  10722 |        0 |        0
1025.05/1025.44	c 1025s |      26 | 11478849 |  8658952 |     2003  10734 |        0 |        0
1027.06/1027.45	c 1027s |      26 | 11496883 |  8672652 |     2003  10748 |        0 |        0
1029.05/1029.46	c 1029s |      26 | 11515485 |  8686752 |     2003  10761 |        0 |        0
1031.05/1031.46	c 1031s |      26 | 11534746 |  8700952 |     2003  10775 |        0 |        0
1033.05/1033.47	c 1033s |      26 | 11552339 |  8714452 |     2003  10788 |        0 |        0
1035.05/1035.48	c 1035s |      26 | 11569940 |  8728152 |     2003  10802 |        0 |        0
1037.06/1037.49	c 1037s |      26 | 11587285 |  8741452 |     2003  10815 |        0 |        0
1039.05/1039.50	c 1039s |      26 | 11605996 |  8756152 |     2003  10829 |        0 |        0
1041.15/1041.50	c 1041s |      26 | 11624709 |  8770452 |     2003  10843 |        0 |        0
1043.15/1043.51	c 1043s |      26 | 11644040 |  8785052 |     2003  10857 |        0 |        0
1045.15/1045.52	c 1045s |      26 | 11662896 |  8799852 |     2003  10871 |        0 |        0
1047.15/1047.53	c 1047s |      26 | 11680362 |  8813552 |     2003  10884 |        0 |        0
1049.15/1049.53	c 1049s |      26 | 11698421 |  8827452 |     2003  10898 |        0 |        0
1051.15/1051.55	c 1051s |      26 | 11717006 |  8841952 |     2003  10912 |        0 |        0
1053.14/1053.55	c 1053s |      26 | 11735768 |  8856352 |     2003  10926 |        0 |        0
1055.14/1055.56	c 1055s |      26 | 11754705 |  8871252 |     2003  10940 |        0 |        0
1057.14/1057.56	c 1057s |      26 | 11773992 |  8886352 |     2003  10955 |        0 |        0
1059.14/1059.56	c 1059s |      26 | 11794164 |  8901852 |     2003  10970 |        0 |        0
1061.15/1061.57	c 1061s |      26 | 11813226 |  8916752 |     2003  10985 |        0 |        0
1063.14/1063.58	c 1063s |      26 | 11834116 |  8932252 |     2003  11000 |        0 |        0
1065.14/1065.59	c 1065s |      26 | 11855135 |  8948452 |     2003  11015 |        0 |        0
1067.14/1067.59	c 1067s |      26 | 11875835 |  8964252 |     2003  11031 |        0 |        0
1069.14/1069.60	c 1069s |      26 | 11896598 |  8980052 |     2003  11046 |        0 |        0
1071.24/1071.60	c 1071s |      26 | 11916982 |  8995452 |     2003  11061 |        0 |        0
1073.25/1073.60	c 1073s |      26 | 11936672 |  9010652 |     2003  11076 |        0 |        0
1075.24/1075.61	c 1075s |      26 | 11957269 |  9026652 |     2003  11091 |        0 |        0
1077.24/1077.61	c 1077s |      26 | 11977712 |  9042552 |     2003  11107 |        0 |        0
1079.24/1079.62	c 1079s |      26 | 11999511 |  9059052 |     2003  11123 |        0 |        0
1081.24/1081.62	c 1081s |      26 | 12017949 |  9073752 |     2003  11137 |        0 |        0
1083.24/1083.64	c 1083s |      26 | 12037727 |  9088952 |     2003  11152 |        0 |        0
1085.24/1085.65	c 1085s |      26 | 12059438 |  9105352 |     2003  11167 |        0 |        0
1087.24/1087.66	c 1087s |      26 | 12082076 |  9122552 |     2003  11184 |        0 |        0
1089.24/1089.66	c 1089s |      26 | 12103441 |  9138852 |     2003  11200 |        0 |        0
1091.24/1091.67	c 1091s |      26 | 12125284 |  9155452 |     2003  11216 |        0 |        0
1093.23/1093.68	c 1093s |      26 | 12146553 |  9171852 |     2003  11232 |        0 |        0
1095.25/1095.69	c 1095s |      26 | 12164150 |  9185752 |     2003  11245 |        0 |        0
1097.24/1097.69	c 1097s |      26 | 12180929 |  9199052 |     2003  11258 |        0 |        0
1099.34/1099.70	c 1099s |      26 | 12196778 |  9211752 |     2003  11271 |        0 |        0
1101.34/1101.71	c 1101s |      26 | 12214007 |  9224852 |     2003  11283 |        0 |        0
1103.34/1103.72	c 1103s |      26 | 12232955 |  9239352 |     2003  11297 |        0 |        0
1105.34/1105.72	c 1105s |      26 | 12252425 |  9253952 |     2003  11312 |        0 |        0
1107.35/1107.73	c 1107s |      26 | 12271477 |  9268652 |     2003  11326 |        0 |        0
1109.34/1109.73	c 1109s |      26 | 12291381 |  9283452 |     2003  11340 |        0 |        0
1111.34/1111.74	c 1111s |      26 | 12309024 |  9297052 |     2003  11353 |        0 |        0
1113.34/1113.75	c 1113s |      26 | 12326923 |  9310852 |     2003  11367 |        0 |        0
1115.34/1115.76	c 1115s |      26 | 12346460 |  9325252 |     2003  11381 |        0 |        0
1117.34/1117.78	c 1117s |      26 | 12365694 |  9339752 |     2003  11395 |        0 |        0
1119.34/1119.79	c 1119s |      26 | 12386198 |  9355252 |     2003  11410 |        0 |        0
1121.44/1121.80	c 1121s |      26 | 12401746 |  9368252 |     2003  11422 |        0 |        0
1123.44/1123.81	c 1123s |      26 | 12419062 |  9381652 |     2003  11435 |        0 |        0
1125.43/1125.82	c 1125s |      26 | 12438650 |  9396552 |     2003  11450 |        0 |        0
1127.43/1127.83	c 1127s |      26 | 12458272 |  9411452 |     2003  11464 |        0 |        0
1129.44/1129.83	c 1129s |      26 | 12477435 |  9426052 |     2003  11478 |        0 |        0
1131.43/1131.84	c 1131s |      26 | 12496161 |  9440652 |     2003  11492 |        0 |        0
1133.43/1133.84	c 1133s |      26 | 12516140 |  9455352 |     2003  11507 |        0 |        0
1135.43/1135.84	c 1135s |      26 | 12534106 |  9469252 |     2003  11520 |        0 |        0
1137.43/1137.86	c 1137s |      26 | 12553218 |  9483552 |     2003  11534 |        0 |        0
1139.43/1139.86	c 1139s |      26 | 12571695 |  9497752 |     2003  11548 |        0 |        0
1141.44/1141.87	c 1141s |      26 | 12589985 |  9511952 |     2003  11562 |        0 |        0
1143.43/1143.87	c 1143s |      26 | 12608110 |  9525852 |     2003  11575 |        0 |        0
1145.43/1145.88	c 1145s |      26 | 12627455 |  9540352 |     2003  11589 |        0 |        0
1147.43/1147.88	c 1147s |      26 | 12645861 |  9554552 |     2003  11603 |        0 |        0
1149.43/1149.88	c 1149s |      26 | 12666517 |  9570252 |     2003  11618 |        0 |        0
1151.44/1151.89	c 1151s |      26 | 12685102 |  9584652 |     2003  11632 |        0 |        0
1153.43/1153.89	c 1153s |      26 | 12706658 |  9600252 |     2003  11647 |        0 |        0
1155.43/1155.89	c 1155s |      26 | 12727717 |  9615652 |     2003  11662 |        0 |        0
1157.53/1157.90	c 1157s |      26 | 12747366 |  9630752 |     2003  11677 |        0 |        0
1159.53/1159.90	c 1159s |      26 | 12766102 |  9644952 |     2003  11691 |        0 |        0
1161.53/1161.91	c 1161s |      26 | 12787220 |  9660552 |     2003  11706 |        0 |        0
1163.53/1163.92	c 1163s |      26 | 12806822 |  9675352 |     2003  11720 |        0 |        0
1165.52/1165.93	c 1165s |      26 | 12826043 |  9689852 |     2003  11734 |        0 |        0
1167.52/1167.94	c 1167s |      26 | 12845978 |  9704652 |     2003  11748 |        0 |        0
1169.52/1169.95	c 1169s |      26 | 12865367 |  9719152 |     2003  11763 |        0 |        0
1171.53/1171.95	c 1171s |      26 | 12884827 |  9733952 |     2003  11777 |        0 |        0
1173.53/1173.96	c 1173s |      26 | 12902877 |  9748152 |     2003  11791 |        0 |        0
1175.54/1175.97	c 1175s |      26 | 12921389 |  9762152 |     2003  11804 |        0 |        0
1177.53/1177.98	c 1177s |      26 | 12941287 |  9776652 |     2003  11818 |        0 |        0
1179.53/1179.99	c 1179s |      26 | 12959739 |  9791152 |     2003  11832 |        0 |        0
1181.53/1181.99	c 1181s |      26 | 12978329 |  9805252 |     2003  11846 |        0 |        0
1183.63/1184.00	c 1183s |      26 | 12996758 |  9819252 |     2003  11859 |        0 |        0
1185.63/1186.00	c 1185s |      26 | 13014386 |  9833252 |     2003  11873 |        0 |        0
1187.53/1188.00	c 1187s |      26 | 13034627 |  9848352 |     2003  11887 |        0 |        0
1189.63/1190.01	c 1189s |      26 | 13051296 |  9860952 |     2003  11900 |        0 |        0
1191.63/1192.02	c 1192s |      26 | 13068274 |  9873952 |     2003  11912 |        0 |        0
1193.63/1194.02	c 1194s |      26 | 13085280 |  9886752 |     2003  11925 |        0 |        0
1195.63/1196.03	c 1196s |      26 | 13103088 |  9899952 |     2003  11937 |        0 |        0
1197.63/1198.03	c 1198s |      26 | 13122095 |  9914152 |     2003  11951 |        0 |        0
1199.62/1200.04	c 1200s |      26 | 13142238 |  9929452 |     2003  11966 |        0 |        0
1201.62/1202.04	c 1202s |      26 | 13164076 |  9945452 |     2003  11982 |        0 |        0
1203.62/1204.05	c 1204s |      26 | 13186564 |  9962452 |     2003  11998 |        0 |        0
1205.62/1206.06	c 1206s |      26 | 13209308 |  9979152 |     2003  12014 |        0 |        0
1207.62/1208.06	c 1208s |      26 | 13232555 |  9996152 |     2003  12031 |        0 |        0
1209.63/1210.06	c 1210s |      26 | 13254016 | 10012252 |     2003  12046 |        0 |        0
1211.62/1212.06	c 1212s |      26 | 13276142 | 10028952 |     2003  12062 |        0 |        0
1213.62/1214.07	c 1214s |      26 | 13296634 | 10044752 |     2003  12078 |        0 |        0
1215.62/1216.08	c 1216s |      26 | 13316568 | 10060352 |     2003  12093 |        0 |        0
1217.62/1218.08	c 1218s |      26 | 13336651 | 10075952 |     2003  12108 |        0 |        0
1219.62/1220.09	c 1220s |      26 | 13357619 | 10091952 |     2003  12124 |        0 |        0
1221.62/1222.09	c 1222s |      26 | 13379647 | 10108552 |     2003  12140 |        0 |        0
1223.72/1224.10	c 1224s |      26 | 13400905 | 10124552 |     2003  12155 |        0 |        0
1225.72/1226.10	c 1226s |      26 | 13423027 | 10141252 |     2003  12171 |        0 |        0
1227.72/1228.10	c 1228s |      26 | 13445847 | 10158152 |     2003  12187 |        0 |        0
1229.71/1230.11	c 1230s |      26 | 13467585 | 10174352 |     2003  12203 |        0 |        0
1231.72/1232.11	c 1232s |      26 | 13488778 | 10190652 |     2003  12219 |        0 |        0
1233.71/1234.11	c 1234s |      26 | 13509902 | 10206552 |     2003  12234 |        0 |        0
1235.71/1236.11	c 1236s |      26 | 13530427 | 10222552 |     2003  12249 |        0 |        0
1237.72/1238.12	c 1238s |      26 | 13550159 | 10237652 |     2003  12264 |        0 |        0
1239.72/1240.13	c 1240s |      26 | 13568249 | 10252252 |     2003  12278 |        0 |        0
1241.72/1242.13	c 1242s |      26 | 13588984 | 10268052 |     2003  12293 |        0 |        0
1243.73/1244.14	c 1244s |      26 | 13610490 | 10284352 |     2003  12309 |        0 |        0
1245.72/1246.14	c 1246s |      26 | 13631772 | 10300552 |     2003  12324 |        0 |        0
1247.72/1248.14	c 1248s |      26 | 13652275 | 10316252 |     2003  12339 |        0 |        0
1249.72/1250.15	c 1250s |      26 | 13672753 | 10331952 |     2003  12354 |        0 |        0
1251.72/1252.16	c 1252s |      26 | 13694426 | 10348252 |     2003  12370 |        0 |        0
1253.72/1254.18	c 1254s |      26 | 13715618 | 10364452 |     2003  12386 |        0 |        0
1255.72/1256.19	c 1256s |      26 | 13735494 | 10379452 |     2003  12400 |        0 |        0
1257.72/1258.19	c 1258s |      26 | 13756012 | 10394952 |     2003  12415 |        0 |        0
1259.82/1260.20	c 1260s |      26 | 13776707 | 10410852 |     2003  12431 |        0 |        0
1261.81/1262.20	c 1262s |      26 | 13795273 | 10425152 |     2003  12444 |        0 |        0
1263.81/1264.21	c 1264s |      26 | 13815285 | 10440352 |     2003  12459 |        0 |        0
1265.82/1266.21	c 1266s |      26 | 13834394 | 10454852 |     2003  12473 |        0 |        0
1267.81/1268.22	c 1268s |      26 | 13854715 | 10470152 |     2003  12488 |        0 |        0
1269.81/1270.22	c 1270s |      26 | 13874615 | 10485552 |     2003  12503 |        0 |        0
1271.81/1272.23	c 1272s |      26 | 13895234 | 10501052 |     2003  12518 |        0 |        0
1273.81/1274.24	c 1274s |      26 | 13916350 | 10517252 |     2003  12534 |        0 |        0
1275.81/1276.25	c 1276s |      26 | 13935996 | 10532752 |     2003  12549 |        0 |        0
1277.82/1278.25	c 1278s |      26 | 13956468 | 10548352 |     2003  12564 |        0 |        0
1279.81/1280.26	c 1280s |      26 | 13976374 | 10563652 |     2003  12578 |        0 |        0
1281.81/1282.26	c 1282s |      26 | 13997179 | 10579452 |     2003  12593 |        0 |        0
1283.81/1284.26	c 1284s |      26 | 14017429 | 10595052 |     2003  12608 |        0 |        0
1285.81/1286.26	c 1286s |      26 | 14036580 | 10609752 |     2003  12622 |        0 |        0
1287.81/1288.26	c 1288s |      26 | 14055273 | 10624952 |     2003  12637 |        0 |        0
1289.81/1290.28	c 1290s |      26 | 14073451 | 10640052 |     2003  12652 |        0 |        0
1291.80/1292.29	c 1292s |      26 | 14092473 | 10655452 |     2003  12666 |        0 |        0
1293.81/1294.29	c 1294s |      26 | 14112212 | 10670352 |     2003  12681 |        0 |        0
1295.81/1296.29	c 1296s |      26 | 14131092 | 10685252 |     2003  12695 |        0 |        0
1297.91/1298.31	c 1298s |      26 | 14149846 | 10699852 |     2003  12710 |        0 |        0
1299.92/1300.32	c 1300s |      26 | 14166088 | 10712952 |     2003  12722 |        0 |        0
1301.91/1302.33	c 1302s |      26 | 14183583 | 10727052 |     2003  12736 |        0 |        0
1303.91/1304.34	c 1304s |      26 | 14201462 | 10741452 |     2003  12750 |        0 |        0
1305.91/1306.34	c 1306s |      26 | 14220149 | 10756352 |     2003  12764 |        0 |        0
1307.91/1308.34	c 1308s |      26 | 14237973 | 10770652 |     2003  12778 |        0 |        0
1309.91/1310.34	c 1310s |      26 | 14256611 | 10785152 |     2003  12792 |        0 |        0
1311.91/1312.36	c 1312s |      26 | 14275760 | 10800352 |     2003  12807 |        0 |        0
1313.91/1314.36	c 1314s |      26 | 14295066 | 10815252 |     2003  12822 |        0 |        0
1315.91/1316.36	c 1316s |      26 | 14314400 | 10830052 |     2003  12836 |        0 |        0
1317.91/1318.36	c 1318s |      26 | 14333464 | 10845052 |     2003  12850 |        0 |        0
1319.90/1320.37	c 1320s |      26 | 14352605 | 10860052 |     2003  12865 |        0 |        0
1321.91/1322.38	c 1322s |      26 | 14372771 | 10875552 |     2003  12880 |        0 |        0
1323.90/1324.39	c 1324s |      26 | 14393086 | 10891152 |     2003  12895 |        0 |        0
1326.00/1326.40	c 1326s |      26 | 14412534 | 10906352 |     2003  12910 |        0 |        0
1328.00/1328.41	c 1328s |      26 | 14432320 | 10921752 |     2003  12924 |        0 |        0
1330.00/1330.43	c 1330s |      26 | 14450957 | 10936452 |     2003  12939 |        0 |        0
1332.00/1332.43	c 1332s |      26 | 14469995 | 10951552 |     2003  12953 |        0 |        0
1334.01/1334.43	c 1334s |      26 | 14488446 | 10966352 |     2003  12967 |        0 |        0
1336.00/1336.45	c 1336s |      26 | 14507674 | 10981052 |     2003  12981 |        0 |        0
1338.01/1338.46	c 1338s |      26 | 14526494 | 10995652 |     2003  12995 |        0 |        0
1340.01/1340.47	c 1340s |      26 | 14545729 | 11010452 |     2003  13010 |        0 |        0
1342.01/1342.48	c 1342s |      26 | 14565873 | 11025752 |     2003  13025 |        0 |        0
1344.01/1344.49	c 1344s |      26 | 14585605 | 11041052 |     2003  13039 |        0 |        0
1346.01/1346.50	c 1346s |      26 | 14606080 | 11056652 |     2003  13055 |        0 |        0
1348.10/1348.50	c 1348s |      26 | 14626810 | 11072252 |     2003  13069 |        0 |        0
1350.10/1350.51	c 1350s |      26 | 14647725 | 11087952 |     2003  13084 |        0 |        0
1352.10/1352.52	c 1352s |      26 | 14667747 | 11103352 |     2003  13099 |        0 |        0
1354.10/1354.52	c 1354s |      26 | 14686743 | 11118052 |     2003  13113 |        0 |        0
1356.10/1356.54	c 1356s |      26 | 14702499 | 11131052 |     2003  13126 |        0 |        0
1358.11/1358.55	c 1358s |      26 | 14720352 | 11145352 |     2003  13139 |        0 |        0
1360.10/1360.55	c 1360s |      26 | 14737678 | 11158752 |     2003  13152 |        0 |        0
1362.10/1362.56	c 1362s |      26 | 14753452 | 11171052 |     2003  13164 |        0 |        0
1364.10/1364.58	c 1364s |      26 | 14769923 | 11183552 |     2003  13176 |        0 |        0
1366.10/1366.59	c 1366s |      26 | 14786151 | 11195952 |     2003  13188 |        0 |        0
1368.11/1368.59	c 1368s |      26 | 14803776 | 11209552 |     2003  13202 |        0 |        0
1370.21/1370.60	c 1370s |      26 | 14822585 | 11223852 |     2003  13215 |        0 |        0
1372.20/1372.61	c 1372s |      26 | 14841721 | 11238752 |     2003  13230 |        0 |        0
1374.20/1374.61	c 1374s |      26 | 14859646 | 11252952 |     2003  13244 |        0 |        0
1376.20/1376.62	c 1376s |      26 | 14878735 | 11267952 |     2003  13258 |        0 |        0
1378.20/1378.63	c 1378s |      26 | 14900903 | 11283952 |     2003  13274 |        0 |        0
1380.20/1380.64	c 1380s |      26 | 14921610 | 11299652 |     2003  13289 |        0 |        0
1382.19/1382.65	c 1382s |      26 | 14942554 | 11315852 |     2204  13304 |        0 |        0
1384.19/1384.65	c 1384s |      26 | 14962868 | 11331752 |     2204  13318 |        0 |        0
1386.19/1386.66	c 1386s |      26 | 14983536 | 11347652 |     2204  13332 |        0 |        0
1388.19/1388.67	c 1388s |      26 | 15003142 | 11362752 |     2204  13345 |        0 |        0
1390.19/1390.67	c 1390s |      26 | 15021541 | 11377352 |     2204  13358 |        0 |        0
1392.20/1392.67	c 1392s |      26 | 15043054 | 11393052 |     2204  13371 |        0 |        0
1392.69/1393.17	c 1393s |      27 | 15047954 | 11396733 |     2204  13375 |        0 |        0
1394.69/1395.18	c 1395s |      27 | 15065822 | 11411233 |     2204  13387 |        0 |        0
1396.70/1397.18	c 1397s |      27 | 15085343 | 11426233 |     2204  13400 |        0 |        0
1398.70/1399.18	c 1399s |      27 | 15105110 | 11441333 |     2204  13413 |        0 |        0
1400.70/1401.19	c 1401s |      27 | 15127314 | 11457533 |     2204  13427 |        0 |        0
1402.70/1403.19	c 1403s |      27 | 15148659 | 11473433 |     2204  13441 |        0 |        0
1404.80/1405.20	c 1405s |      27 | 15169874 | 11489333 |     2204  13454 |        0 |        0
1406.80/1407.21	c 1407s |      27 | 15190132 | 11503933 |     2204  13467 |        0 |        0
1408.80/1409.21	c 1409s |      27 | 15209214 | 11518233 |     2204  13479 |        0 |        0
1410.80/1411.22	c 1411s |      27 | 15228834 | 11533233 |     2204  13492 |        0 |        0
1412.80/1413.23	c 1413s |      27 | 15245991 | 11547133 |     2204  13504 |        0 |        0
1414.80/1415.23	c 1415s |      27 | 15264679 | 11561533 |     2204  13517 |        0 |        0
1416.79/1417.24	c 1417s |      27 | 15284290 | 11576033 |     2204  13529 |        0 |        0
1418.79/1419.24	c 1419s |      27 | 15304143 | 11590933 |     2204  13542 |        0 |        0
1420.80/1421.25	c 1421s |      27 | 15324340 | 11606633 |     2204  13556 |        0 |        0
1422.80/1423.26	c 1423s |      27 | 15343370 | 11621333 |     2204  13568 |        0 |        0
1424.79/1425.27	c 1425s |      27 | 15364467 | 11637633 |     2204  13582 |        0 |        0
1426.79/1427.27	c 1427s |      27 | 15384714 | 11653333 |     2204  13596 |        0 |        0
1428.79/1429.28	c 1429s |      27 | 15403804 | 11667733 |     2204  13608 |        0 |        0
1430.80/1431.29	c 1431s |      27 | 15423301 | 11682633 |     2204  13621 |        0 |        0
1432.79/1433.29	c 1433s |      27 | 15444235 | 11698233 |     2204  13635 |        0 |        0
1434.79/1435.29	c 1435s |      27 | 15467150 | 11714333 |     2204  13649 |        0 |        0
1436.89/1437.31	c 1437s |      27 | 15488174 | 11729333 |     2204  13662 |        0 |        0
1438.89/1439.32	c 1439s |      27 | 15508680 | 11745133 |     2204  13675 |        0 |        0
1440.89/1441.33	c 1441s |      27 | 15529500 | 11760933 |     2204  13689 |        0 |        0
1442.89/1443.34	c 1443s |      27 | 15550232 | 11776533 |     2204  13702 |        0 |        0
1444.89/1445.34	c 1445s |      27 | 15571135 | 11792033 |     2204  13716 |        0 |        0
1446.89/1447.35	c 1447s |      27 | 15592854 | 11807633 |     2204  13729 |        0 |        0
1448.88/1449.36	c 1449s |      27 | 15613818 | 11823333 |     2204  13743 |        0 |        0
1450.88/1451.37	c 1451s |      27 | 15637685 | 11840933 |     2204  13758 |        0 |        0
1452.88/1453.37	c 1453s |      27 | 15657483 | 11856533 |     2204  13771 |        0 |        0
1454.89/1455.37	c 1455s |      27 | 15677880 | 11871633 |     2204  13785 |        0 |        0
1456.88/1457.39	c 1457s |      27 | 15698232 | 11887333 |     2204  13798 |        0 |        0
1458.88/1459.39	c 1459s |      27 | 15720078 | 11903333 |     2204  13812 |        0 |        0
1460.98/1461.40	c 1461s |      27 | 15737898 | 11917333 |     2204  13824 |        0 |        0
1462.98/1463.41	c 1463s |      27 | 15757913 | 11932433 |     2204  13837 |        0 |        0
1464.98/1465.42	c 1465s |      27 | 15777364 | 11947933 |     2204  13851 |        0 |        0
1466.99/1467.43	c 1467s |      27 | 15796927 | 11963133 |     2204  13864 |        0 |        0
1468.98/1469.44	c 1469s |      27 | 15816325 | 11978233 |     2204  13878 |        0 |        0
1470.98/1471.45	c 1471s |      27 | 15837378 | 11993733 |     2204  13891 |        0 |        0
1472.98/1473.45	c 1473s |      27 | 15859207 | 12010333 |     2204  13906 |        0 |        0
1474.98/1475.46	c 1475s |      27 | 15880647 | 12026333 |     2204  13920 |        0 |        0
1476.99/1477.46	c 1477s |      27 | 15903245 | 12042733 |     2204  13934 |        0 |        0
1478.98/1479.46	c 1479s |      27 | 15925181 | 12058433 |     2204  13948 |        0 |        0
1480.98/1481.48	c 1481s |      27 | 15947879 | 12075033 |     2204  13962 |        0 |        0
1482.98/1483.48	c 1483s |      27 | 15968468 | 12090533 |     2204  13976 |        0 |        0
1484.98/1485.48	c 1485s |      27 | 15988294 | 12106033 |     2204  13989 |        0 |        0
1486.98/1487.49	c 1487s |      27 | 16009085 | 12122233 |     2204  14003 |        0 |        0
1488.98/1489.49	c 1489s |      27 | 16029344 | 12137733 |     2204  14017 |        0 |        0
1490.98/1491.49	c 1491s |      27 | 16049873 | 12152933 |     2204  14030 |        0 |        0
1492.98/1493.49	c 1493s |      27 | 16069509 | 12168433 |     2204  14044 |        0 |        0
1495.08/1495.50	c 1495s |      27 | 16091765 | 12184933 |     2204  14058 |        0 |        0
1497.08/1497.50	c 1497s |      27 | 16113814 | 12201433 |     2204  14073 |        0 |        0
1499.08/1499.52	c 1499s |      27 | 16135866 | 12217933 |     2204  14087 |        0 |        0
1501.08/1501.52	c 1501s |      27 | 16155714 | 12232733 |     2204  14100 |        0 |        0
1503.08/1503.53	c 1503s |      27 | 16173932 | 12246533 |     2204  14111 |        0 |        0
1505.08/1505.54	c 1505s |      27 | 16191563 | 12260033 |     2204  14123 |        0 |        0
1507.08/1507.56	c 1507s |      27 | 16210626 | 12274233 |     2204  14136 |        0 |        0
1509.08/1509.57	c 1509s |      27 | 16230249 | 12288833 |     2204  14148 |        0 |        0
1511.08/1511.57	c 1511s |      27 | 16250632 | 12303933 |     2204  14161 |        0 |        0
1513.08/1513.57	c 1513s |      27 | 16270141 | 12318333 |     2204  14174 |        0 |        0
1515.07/1515.58	c 1515s |      27 | 16287408 | 12331533 |     2204  14185 |        0 |        0
1517.07/1517.59	c 1517s |      27 | 16305528 | 12345133 |     2204  14197 |        0 |        0
1519.07/1519.59	c 1519s |      27 | 16323714 | 12359133 |     2204  14209 |        0 |        0
1521.17/1521.60	c 1521s |      27 | 16341763 | 12372733 |     2204  14221 |        0 |        0
1523.08/1523.60	c 1523s |      27 | 16360699 | 12387133 |     2204  14233 |        0 |        0
1525.17/1525.61	c 1525s |      27 | 16379189 | 12401433 |     2204  14246 |        0 |        0
1527.17/1527.62	c 1527s |      27 | 16398391 | 12415333 |     2204  14258 |        0 |        0
1529.17/1529.62	c 1529s |      27 | 16418157 | 12429733 |     2204  14270 |        0 |        0
1531.17/1531.63	c 1531s |      27 | 16436088 | 12443433 |     2204  14282 |        0 |        0
1533.17/1533.63	c 1533s |      27 | 16456084 | 12457733 |     2204  14295 |        0 |        0
1535.17/1535.64	c 1535s |      27 | 16478056 | 12473733 |     2204  14309 |        0 |        0
1537.17/1537.64	c 1537s |      27 | 16497791 | 12489033 |     2204  14322 |        0 |        0
1539.18/1539.65	c 1539s |      27 | 16518635 | 12505133 |     2204  14336 |        0 |        0
1541.18/1541.65	c 1541s |      27 | 16538544 | 12520733 |     2204  14350 |        0 |        0
1543.18/1543.65	c 1543s |      27 | 16558253 | 12536433 |     2204  14364 |        0 |        0
1545.18/1545.67	c 1545s |      27 | 16577546 | 12551733 |     2204  14377 |        0 |        0
1547.17/1547.67	c 1547s |      27 | 16597992 | 12567733 |     2204  14391 |        0 |        0
1549.17/1549.68	c 1549s |      27 | 16618805 | 12584733 |     2204  14406 |        0 |        0
1551.17/1551.68	c 1551s |      27 | 16640212 | 12600833 |     2204  14420 |        0 |        0
1553.17/1553.69	c 1553s |      27 | 16659473 | 12616033 |     2204  14433 |        0 |        0
1555.17/1555.69	c 1555s |      27 | 16681138 | 12631933 |     2204  14447 |        0 |        0
1557.18/1557.70	c 1557s |      27 | 16700181 | 12646533 |     2204  14459 |        0 |        0
1559.27/1559.70	c 1559s |      27 | 16721244 | 12662333 |     2204  14473 |        0 |        0
1561.27/1561.70	c 1561s |      27 | 16741960 | 12677533 |     2204  14486 |        0 |        0
1563.27/1563.71	c 1563s |      27 | 16761650 | 12692833 |     2204  14500 |        0 |        0
1565.27/1565.72	c 1565s |      27 | 16782251 | 12708433 |     2204  14514 |        0 |        0
1567.27/1567.73	c 1567s |      27 | 16803073 | 12724133 |     2204  14527 |        0 |        0
1569.27/1569.74	c 1569s |      27 | 16821352 | 12738533 |     2204  14540 |        0 |        0
1571.27/1571.75	c 1571s |      27 | 16842245 | 12754233 |     2204  14554 |        0 |        0
1573.27/1573.76	c 1573s |      27 | 16862145 | 12769633 |     2204  14567 |        0 |        0
1575.26/1575.77	c 1575s |      27 | 16882699 | 12785333 |     2204  14581 |        0 |        0
1577.26/1577.77	c 1577s |      27 | 16901378 | 12799933 |     2204  14593 |        0 |        0
1579.27/1579.78	c 1579s |      27 | 16919081 | 12813533 |     2204  14605 |        0 |        0
1581.26/1581.78	c 1581s |      27 | 16937862 | 12827433 |     2204  14617 |        0 |        0
1583.26/1583.78	c 1583s |      27 | 16955734 | 12841133 |     2204  14629 |        0 |        0
1585.26/1585.79	c 1585s |      27 | 16974767 | 12855433 |     2204  14642 |        0 |        0
1587.36/1587.80	c 1587s |      27 | 16996368 | 12871633 |     2204  14656 |        0 |        0
1589.36/1589.81	c 1589s |      27 | 17016629 | 12887033 |     2204  14669 |        0 |        0
1591.37/1591.82	c 1591s |      27 | 17038881 | 12902833 |     2204  14683 |        0 |        0
1593.36/1593.82	c 1593s |      27 | 17057705 | 12918033 |     2204  14697 |        0 |        0
1595.36/1595.83	c 1595s |      27 | 17076404 | 12933133 |     2204  14710 |        0 |        0
1597.36/1597.83	c 1597s |      27 | 17096927 | 12948433 |     2204  14723 |        0 |        0
1599.36/1599.83	c 1599s |      27 | 17118026 | 12964133 |     2204  14737 |        0 |        0
1601.36/1601.83	c 1601s |      27 | 17139967 | 12980133 |     2204  14751 |        0 |        0
1603.37/1603.85	c 1603s |      27 | 17160475 | 12995933 |     2204  14765 |        0 |        0
1605.36/1605.86	c 1605s |      27 | 17182662 | 13012233 |     2204  14779 |        0 |        0
1607.36/1607.86	c 1607s |      27 | 17205920 | 13028833 |     2204  14793 |        0 |        0
1609.36/1609.86	c 1609s |      27 | 17226148 | 13044033 |     2204  14807 |        0 |        0
1611.36/1611.86	c 1611s |      27 | 17247931 | 13059733 |     2204  14820 |        0 |        0
1613.36/1613.86	c 1613s |      27 | 17268573 | 13075033 |     2204  14834 |        0 |        0
1615.36/1615.88	c 1615s |      27 | 17291191 | 13091433 |     2204  14848 |        0 |        0
1617.36/1617.89	c 1617s |      27 | 17312849 | 13107033 |     2204  14862 |        0 |        0
1619.46/1619.90	c 1619s |      27 | 17333925 | 13122333 |     2204  14875 |        0 |        0
1621.46/1621.91	c 1621s |      27 | 17355044 | 13138133 |     2204  14889 |        0 |        0
1623.46/1623.92	c 1623s |      27 | 17375384 | 13153733 |     2204  14903 |        0 |        0
1625.46/1625.92	c 1625s |      27 | 17394617 | 13168533 |     2204  14916 |        0 |        0
1627.46/1627.93	c 1627s |      27 | 17416312 | 13184233 |     2204  14930 |        0 |        0
1629.46/1629.95	c 1629s |      27 | 17439232 | 13200833 |     2204  14944 |        0 |        0
1631.46/1631.95	c 1631s |      27 | 17460990 | 13216833 |     2204  14958 |        0 |        0
1633.46/1633.96	c 1633s |      27 | 17479542 | 13231633 |     2204  14972 |        0 |        0
1635.46/1635.97	c 1635s |      27 | 17499981 | 13246433 |     2204  14985 |        0 |        0
1637.46/1637.98	c 1637s |      27 | 17520734 | 13261833 |     2204  14998 |        0 |        0
1639.46/1639.99	c 1639s |      27 | 17542765 | 13277633 |     2204  15012 |        0 |        0
1641.46/1641.99	c 1641s |      27 | 17563548 | 13293133 |     2204  15026 |        0 |        0
1643.56/1644.00	c 1643s |      27 | 17584153 | 13308533 |     2204  15039 |        0 |        0
1645.56/1646.00	c 1645s |      27 | 17605037 | 13324333 |     2204  15053 |        0 |        0
1647.56/1648.00	c 1647s |      27 | 17624631 | 13339333 |     2204  15066 |        0 |        0
1649.56/1650.01	c 1649s |      27 | 17644410 | 13354033 |     2204  15079 |        0 |        0
1651.55/1652.01	c 1651s |      27 | 17663760 | 13368633 |     2204  15092 |        0 |        0
1653.55/1654.02	c 1654s |      27 | 17681344 | 13382333 |     2204  15104 |        0 |        0
1655.55/1656.03	c 1656s |      27 | 17700325 | 13396933 |     2204  15117 |        0 |        0
1657.55/1658.03	c 1658s |      27 | 17717459 | 13410633 |     2204  15129 |        0 |        0
1659.56/1660.04	c 1660s |      27 | 17737401 | 13425533 |     2204  15142 |        0 |        0
1661.55/1662.04	c 1662s |      27 | 17757453 | 13440433 |     2204  15155 |        0 |        0
1663.55/1664.05	c 1664s |      27 | 17778284 | 13455633 |     2204  15168 |        0 |        0
1665.55/1666.06	c 1666s |      27 | 17796081 | 13469533 |     2204  15180 |        0 |        0
1667.55/1668.07	c 1668s |      27 | 17816319 | 13484633 |     2204  15193 |        0 |        0
1669.55/1670.07	c 1670s |      27 | 17835271 | 13499133 |     2204  15206 |        0 |        0
1671.55/1672.07	c 1672s |      27 | 17855076 | 13514133 |     2204  15219 |        0 |        0
1673.55/1674.09	c 1674s |      27 | 17874436 | 13528633 |     2204  15232 |        0 |        0
1675.65/1676.10	c 1676s |      27 | 17893998 | 13543233 |     2204  15245 |        0 |        0
1677.65/1678.11	c 1678s |      27 | 17912639 | 13558033 |     2204  15258 |        0 |        0
1679.65/1680.12	c 1680s |      27 | 17932683 | 13573233 |     2204  15271 |        0 |        0
1681.65/1682.12	c 1682s |      27 | 17951466 | 13587633 |     2204  15284 |        0 |        0
1683.66/1684.14	c 1684s |      27 | 17971043 | 13602433 |     2204  15297 |        0 |        0
1685.65/1686.14	c 1686s |      27 | 17988167 | 13616133 |     2204  15309 |        0 |        0
1687.65/1688.16	c 1688s |      27 | 18007994 | 13630733 |     2204  15321 |        0 |        0
1689.65/1690.16	c 1690s |      27 | 18025688 | 13644533 |     2204  15333 |        0 |        0
1691.65/1692.17	c 1692s |      27 | 18045487 | 13658933 |     2204  15346 |        0 |        0
1693.66/1694.17	c 1694s |      27 | 18066331 | 13673733 |     2204  15359 |        0 |        0
1695.65/1696.18	c 1696s |      27 | 18086222 | 13688033 |     2204  15372 |        0 |        0
1697.65/1698.18	c 1698s |      27 | 18104460 | 13701633 |     2204  15384 |        0 |        0
1699.65/1700.19	c 1700s |      27 | 18123475 | 13716233 |     2204  15396 |        0 |        0
1701.65/1702.19	c 1702s |      27 | 18142619 | 13730633 |     2204  15409 |        0 |        0
1703.75/1704.20	c 1704s |      27 | 18163167 | 13745833 |     2204  15422 |        0 |        0
1705.76/1706.21	c 1706s |      27 | 18183517 | 13760833 |     2204  15436 |        0 |        0
1707.75/1708.22	c 1708s |      27 | 18202437 | 13775333 |     2204  15448 |        0 |        0
1709.75/1710.23	c 1710s |      27 | 18220721 | 13789533 |     2204  15460 |        0 |        0
1711.75/1712.24	c 1712s |      27 | 18240152 | 13803633 |     2204  15473 |        0 |        0
1713.75/1714.25	c 1714s |      27 | 18259689 | 13818033 |     2204  15485 |        0 |        0
1715.74/1716.25	c 1716s |      27 | 18279820 | 13832733 |     2204  15498 |        0 |        0
1717.75/1718.26	c 1718s |      27 | 18298175 | 13846533 |     2204  15510 |        0 |        0
1719.74/1720.27	c 1720s |      27 | 18316731 | 13860533 |     2204  15522 |        0 |        0
1721.74/1722.29	c 1722s |      27 | 18335536 | 13874833 |     2204  15534 |        0 |        0
1723.74/1724.29	c 1724s |      27 | 18355052 | 13888833 |     2204  15547 |        0 |        0
1725.74/1726.30	c 1726s |      27 | 18374674 | 13904033 |     2204  15560 |        0 |        0
1727.84/1728.31	c 1728s |      27 | 18394029 | 13918933 |     2204  15573 |        0 |        0
1729.85/1730.31	c 1730s |      27 | 18413511 | 13933633 |     2204  15586 |        0 |        0
1731.84/1732.31	c 1732s |      27 | 18434212 | 13949133 |     2204  15599 |        0 |        0
1733.84/1734.32	c 1734s |      27 | 18453477 | 13964233 |     2204  15612 |        0 |        0
1735.84/1736.33	c 1736s |      27 | 18468073 | 13976533 |     2204  15623 |        0 |        0
1737.84/1738.33	c 1738s |      27 | 18487937 | 13991433 |     2204  15636 |        0 |        0
1739.85/1740.34	c 1740s |      27 | 18506411 | 14005433 |     2204  15648 |        0 |        0
1741.84/1742.34	c 1742s |      27 | 18525591 | 14019933 |     2204  15660 |        0 |        0
1743.84/1744.35	c 1744s |      27 | 18544044 | 14033833 |     2204  15673 |        0 |        0
1745.84/1746.36	c 1746s |      27 | 18564259 | 14048733 |     2204  15685 |        0 |        0
1747.84/1748.36	c 1748s |      27 | 18582634 | 14063533 |     2204  15698 |        0 |        0
1749.84/1750.36	c 1750s |      27 | 18600681 | 14077633 |     2204  15711 |        0 |        0
1751.84/1752.36	c 1752s |      27 | 18619120 | 14091933 |     2204  15723 |        0 |        0
1753.83/1754.38	c 1754s |      27 | 18639227 | 14106733 |     2204  15736 |        0 |        0
1755.83/1756.39	c 1756s |      27 | 18658416 | 14121033 |     2204  15748 |        0 |        0
1757.93/1758.40	c 1758s |      27 | 18676670 | 14134733 |     2204  15760 |        0 |        0
1759.93/1760.41	c 1760s |      27 | 18695343 | 14148333 |     2204  15772 |        0 |        0
1761.93/1762.43	c 1762s |      27 | 18712979 | 14162033 |     2204  15784 |        0 |        0
1763.95/1764.44	c 1764s |      27 | 18730877 | 14175433 |     2204  15796 |        0 |        0
1765.94/1766.45	c 1766s |      27 | 18749484 | 14189633 |     2204  15808 |        0 |        0
1767.94/1768.45	c 1768s |      27 | 18768891 | 14204133 |     2204  15821 |        0 |        0
1769.94/1770.47	c 1770s |      27 | 18787270 | 14218033 |     2204  15833 |        0 |        0
1771.94/1772.47	c 1772s |      27 | 18805466 | 14231833 |     2204  15845 |        0 |        0
1773.95/1774.47	c 1774s |      27 | 18825380 | 14246833 |     2204  15858 |        0 |        0
1775.94/1776.48	c 1776s |      27 | 18845011 | 14261333 |     2204  15870 |        0 |        0
1777.94/1778.48	c 1778s |      27 | 18865519 | 14276633 |     2204  15884 |        0 |        0
1779.94/1780.49	c 1780s |      27 | 18884550 | 14290733 |     2204  15896 |        0 |        0
1781.94/1782.49	c 1782s |      27 | 18904567 | 14305533 |     2204  15909 |        0 |        0
1783.94/1784.50	c 1784s |      27 | 18925143 | 14320933 |     2204  15922 |        0 |        0
1785.94/1786.50	c 1786s |      27 | 18945464 | 14335833 |     2204  15935 |        0 |        0
1788.04/1788.50	c 1788s |      27 | 18965295 | 14350533 |     2204  15948 |        0 |        0
1790.03/1790.51	c 1790s |      27 | 18983067 | 14364433 |     2204  15960 |        0 |        0
1792.03/1792.52	c 1792s |      27 | 19002201 | 14378933 |     2204  15973 |        0 |        0
1794.03/1794.53	c 1794s |      27 | 19023651 | 14394333 |     2204  15986 |        0 |        0
1796.03/1796.53	c 1796s |      27 | 19044078 | 14409433 |     2204  15999 |        0 |        0
1798.04/1798.54	c 1798s |      27 | 19063261 | 14423733 |     2204  16012 |        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-4121314-1467314186/watcher-4121314-1467314186 -o /tmp/evaluation-result-4121314-1467314186/solver-4121314-1467314186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121314-1467314186.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.29 4/175 8754
/proc/meminfo: memFree=31169260/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 2096177 772206592 3177 33554432000 4194304 16246674 140736203909760 140736203909184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 189039 3187 441 2943 0 185933 0
[pid=8753/tid=8755] ppid=8748 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 796323840 3271 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 801566720 3290 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096177 805761024 3307 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100258 s]
/proc/loadavg: 1.00 1.03 1.29 4/175 8754
/proc/meminfo: memFree=31169260/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 25393 0 0 0 5 4 0 0 20 0 4 0 2096177 1247350784 25743 33554432000 4194304 16246674 140736203909760 140736203909184 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 25757 708 2943 0 301423 0
[pid=8753/tid=8755] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 25764 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 25772 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 25783 33554432000 4194304 16246674 140736203909760 139811035794608 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.200544 s]
/proc/loadavg: 1.00 1.03 1.29 4/175 8754
/proc/meminfo: memFree=31169260/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 48240 0 0 0 12 7 0 0 20 0 4 0 2096177 1247350784 48589 33554432000 4194304 16246674 140736203909760 140736203909184 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 48602 708 2943 0 301423 0
[pid=8753/tid=8755] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 48607 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 48613 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 48619 33554432000 4194304 16246674 140736203909760 139811035794608 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.300463 s]
/proc/loadavg: 1.00 1.03 1.29 4/175 8754
/proc/meminfo: memFree=31169260/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 72140 0 0 0 19 10 0 0 20 0 4 0 2096177 1247350784 72489 33554432000 4194304 16246674 140736203909760 140736203909184 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 72501 708 2943 0 301423 0
[pid=8753/tid=8755] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 72507 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 72513 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 72521 33554432000 4194304 16246674 140736203909760 139811035794608 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: 1.00 1.03 1.29 4/175 8754
/proc/meminfo: memFree=31169260/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 164262 0 0 0 46 23 0 0 20 0 4 0 2096177 1247350784 164611 33554432000 4194304 16246674 140736203909760 140736203909184 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304529 164621 709 2943 0 301423 0
[pid=8753/tid=8755] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 164626 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 164632 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2096177 1247350784 164641 33554432000 4194304 16246674 140736203909760 139811035794608 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.50039 s]
/proc/loadavg: 1.00 1.03 1.29 5/183 8762
/proc/meminfo: memFree=29204288/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 245550 0 0 0 115 34 0 0 20 0 4 0 2096177 1248399360 245879 33554432000 4194304 16246674 140736203909760 140736203909072 5717608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 304785 245879 785 2943 0 301679 0
[pid=8753/tid=8755] ppid=8748 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1248399360 245879 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1248399360 245879 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1248399360 245879 33554432000 4194304 16246674 140736203909760 139811035794608 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) 1219140

[startup+3.10033 s]
/proc/loadavg: 1.00 1.03 1.29 4/183 8762
/proc/meminfo: memFree=29029316/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 267373 0 0 0 272 37 0 0 20 0 4 0 2096177 1337528320 267702 33554432000 4194304 16246674 140736203909760 140736203891648 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326545 267702 785 2943 0 323439 0
[pid=8753/tid=8755] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267702 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267702 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267702 33554432000 4194304 16246674 140736203909760 139811035794608 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: 1.08 1.05 1.29 3/183 8811
/proc/meminfo: memFree=29025996/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1306180 CPUtime=6.3 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 267477 0 0 0 592 38 0 0 20 0 4 0 2096177 1337528320 267806 33554432000 4194304 16246674 140736203909760 140736203892760 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326545 267806 785 2943 0 323439 0
[pid=8753/tid=8755] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267806 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267806 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267806 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.16 1.06 1.29 3/183 8811
/proc/meminfo: memFree=29025300/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 267512 0 0 0 1231 38 0 0 20 0 4 0 2096177 1337528320 267841 33554432000 4194304 16246674 140736203909760 140736203891648 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326545 267841 785 2943 0 323439 0
[pid=8753/tid=8755] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267841 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267841 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1337528320 267841 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.34 1.11 1.30 3/183 8811
/proc/meminfo: memFree=29024628/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 267614 0 0 0 2511 38 0 0 20 0 4 0 2096177 1338576896 267943 33554432000 4194304 16246674 140736203909760 140736203891648 13923760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 326801 267943 787 2943 0 323695 0
[pid=8753/tid=8755] ppid=8748 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1338576896 267943 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1338576896 267943 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1338576896 267943 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.57 1.18 1.32 3/183 8811
/proc/meminfo: memFree=29022404/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1308228 CPUtime=51.09 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 268080 0 0 0 5070 39 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 140736203891648 5673120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327057 268409 787 2943 0 323951 0
[pid=8753/tid=8755] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.85 1.32 1.36 3/183 8813
/proc/meminfo: memFree=29021744/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1308228 CPUtime=102.29 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 268080 0 0 0 10189 40 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 140736203891648 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327057 268409 787 2943 0 323951 0
[pid=8753/tid=8755] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1339625472 268409 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1308228


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

/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268905 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.83 3/183 8943
/proc/meminfo: memFree=29015936/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1310276 CPUtime=1361.9 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 268930 0 0 0 136127 63 0 0 20 0 4 0 2096177 1341722624 268905 33554432000 4194304 16246674 140736203909760 140736203891648 5674290 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327569 268905 789 2943 0 324463 0
[pid=8753/tid=8755] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268905 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268905 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268905 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.27 2.08 1.86 3/184 8947
/proc/meminfo: memFree=29015400/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1310276 CPUtime=1421.9 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 268951 0 0 0 142126 64 0 0 20 0 4 0 2096177 1341722624 268926 33554432000 4194304 16246674 140736203909760 140736203892760 5523154 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 327569 268926 789 2943 0 324463 0
[pid=8753/tid=8755] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268926 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268926 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1341722624 268926 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 1.87 3/183 8948
/proc/meminfo: memFree=29014620/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1481.88 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 148124 64 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 5523139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.13 2.08 1.88 3/183 8949
/proc/meminfo: memFree=29015116/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1541.88 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 154122 66 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 1.89 3/183 8951
/proc/meminfo: memFree=29014740/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1601.86 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 160120 66 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 1.89 3/183 8952
/proc/meminfo: memFree=29014984/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1661.85 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 166118 67 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 13198448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 1.90 3/183 8953
/proc/meminfo: memFree=29014376/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1721.84 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 172116 68 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 4221116 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/183 8954
/proc/meminfo: memFree=29014488/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1781.84 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 178115 69 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.03 1.91 3/183 8954
/proc/meminfo: memFree=29014492/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1800.03 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 179934 69 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.03 1.91 3/183 8954
/proc/meminfo: memFree=29014492/32872528 swapFree=295864/318348
[pid=8753] ppid=8748 vsize=1312324 CPUtime=1800.03 cores=0,2,4,6
/proc/8753/stat : 8753 (toysat) R 8748 8753 4291 0 -1 4202496 269271 0 0 0 179934 69 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 140736203891648 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8753/statm: 328081 269246 789 2943 0 324975 0
[pid=8753/tid=8755] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8755/stat : 8755 (toysat) S 8748 8753 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811056758000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8753/tid=8756] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8756/stat : 8756 (toysat) S 8748 8753 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811046268144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8753/tid=8757] ppid=8748 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8753/task/8757/stat : 8757 (toysat) S 8748 8753 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2096177 1343819776 269246 33554432000 4194304 16246674 140736203909760 139811035794608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.35
CPU system time (s): 0.696894
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.696894
maximum resident set size= 1076984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269271
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= 372
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32734 second user time and 7.19491 second system time

The end

Begin job on node128 at 2016-06-30 21:16:26
IDJOB=4121314
IDBENCH=110403
IDSOLVER=2542
FILE ID=node128/4121314-1467314186
RUNJOBID= node128-1467314186-8725
PBS_JOBID= 20005249
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= d1b2f86a6127b57de9bf517596b790ac
RANDOM SEED=1564006021

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.501
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:        31170820 kB
Buffers:           71344 kB
Cached:           559460 kB
SwapCached:            0 kB
Active:           229820 kB
Inactive:         416700 kB
Active(anon):      18588 kB
Inactive(anon):        4 kB
Active(file):     211232 kB
Inactive(file):   416696 kB
Unevictable:      318348 kB
Mlocked:          295864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32556 kB
Writeback:             0 kB
AnonPages:        334576 kB
Mapped:            14068 kB
Shmem:               204 kB
Slab:             606640 kB
SReclaimable:      50312 kB
SUnreclaim:       556328 kB
KernelStack:        1424 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     417932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 71712 MiB
End job on node128 at 2016-06-30 21:46:27