0.00/0.00	c 2016-06-30T21:35:02+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-4121714-1467315301.opb"]
0.00/0.01	c use --random-gen="3666363403 3371988931 2595563109 147313192 483787048 2726918268 1595552066 3096319231 1566850262 4058691372 2900625492 1210295442 3786944997 3164895468 602977473 2607184651 1848647193 714187254 1727992189 288508702 3120403074 2913684106 1969749671 3432980492 1449106885 3865414455 1783505628 1860359959 668078849 2848106282 303667725 4248542513 4187790485 2980969059 1392958030 1913154749 646945032 1966217247 1246997856 3650128479 4080707462 1772892351 1242313226 3156050712 3682605353 373406606 1504885633 2131608373 1867165294 2493872946 1330042560 3625249686 2852933271 1953602476 3836767546 4112429194 2173252592 2532431344 1102745180 497095974 1659598132 509875229 589868563 2418603613 4117017491 1906921486 604246280 790878436 2437548445 3729501315 2200179057 3891658853 1826048307 1333527029 3101671328 2317470457 3563241403 402295103 1167054849 4124708105 2680813849 761349333 2036865667 60807424 1805892793 2331760397 738778819 2221391035 716928775 2920050679 2377793144 344496990 428147459 134547047 3535039464 864914246 3791850529 92447786 4018568895 3020620906 1684316123 3698006024 2384512817 252427327 4007594728 985519509 3361132090 2648709120 1432177701 1678612421 3431458717 415133899 3746123027 2004726499 3851995021 2696772780 2347628165 1762646694 68153951 2884487925 786868374 2298184719 2024817714 993122960 86126125 2990571795 54471317 1521721925 4022627006 4208203603 4216471793 655220487 3385556574 1864732276 190323070 3207807797 2037762074 4077996130 3957759002 3628603359 1787953652 4152294218 4192560355 4190943387 1038871838 3319439907 393748376 4135742654 1414223988 3337551069 3922482811 962760650 3051092339 280887622 1623375835 3236145001 3580202701 1227116459 599609142 145929471 3506141589 2012923241 3843753473 2914444092 1040227572 2801576134 3058807441 3632728618 518239660 1423193218 2498661779 2493358806 2690114972 2260515676 556395271 1143331787 2848779176 3056812432 3253165802 395703329 632469853 2298834544 3547291860 2844529548 1042780870 3807146973 3109164390 49243057 170958057 2026708006 2836130409 1936717510 1103055028 1909607116 3857734467 1317121651 3959969919 2801235890 3792463611 873023383 2965447375 241852071 3141925051 1188821637 839012296 1406782893 680235158 2031119980 3776743807 1393895410 3603241777 453599170 1027058891 1019220264 2192671291 1057624848 399879926 15537840 3014599522 4248811890 1035093395 2732784890 527373292 2887819983 2692008591 3109896280 699812510 3436290543 1965375656 1830062210 2686785324 2885647174 3388275752 26470909 3190586714 3849533264 3935704534 3047466325 3214993108 734315517 617384436 3626477088 1291455988 1961413742 3171925434 85841105 168714094 882725924 4096857388 3419506778 417729284 3604724563 542270853 3178621505 2312982445 3325780416 255 362436" option to reproduce the execution
0.00/0.01	c #vars 261
0.00/0.01	c #constraints 260
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      173      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      169 |      100 |      173      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      414 |      250 |      191      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      753 |      475 |      211      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1315 |      813 |      233      3 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2051 |     1320 |      257      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3061 |     2081 |      312      9 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4966 |     3223 |      344     14 |        0 |        0
0.49/0.56	c  0.5s |       8 |     7659 |     4936 |      379     21 |        0 |        0
0.79/0.83	c  0.8s |       9 |    11202 |     7506 |      417     30 |        0 |        0
1.19/1.25	c  1.2s |      10 |    16197 |    11361 |      459     44 |        0 |        0
1.69/1.74	c  1.7s |      11 |    24514 |    17144 |      505     63 |        0 |        0
2.39/2.49	c  2.5s |      12 |    35839 |    25819 |      556     89 |        0 |        0
3.59/3.64	c  3.6s |      13 |    53180 |    38832 |      612    129 |        0 |        0
5.29/5.37	c  5.4s |      14 |    80859 |    58352 |      674    182 |        0 |        0
7.29/7.37	c  7.4s |      14 |   110393 |    79552 |      674    236 |        0 |        0
8.19/8.21	c  8.2s |      15 |   120499 |    87632 |      742    257 |        0 |        0
10.19/10.21	c 10.2s |      15 |   147822 |   108132 |      742    303 |        0 |        0
12.20/12.22	c 12.2s |      15 |   177292 |   129232 |      742    351 |        0 |        0
12.39/12.44	c 12.4s |      16 |   180271 |   131552 |      817    356 |        0 |        0
14.40/14.44	c 14.4s |      16 |   206025 |   150252 |      817    395 |        0 |        0
16.39/16.45	c 16.4s |      16 |   231718 |   168852 |      817    436 |        0 |        0
18.39/18.46	c 18.4s |      16 |   262049 |   189852 |      817    481 |        0 |        0
19.19/19.21	c 19.2s |      17 |   272718 |   197432 |      899    496 |        0 |        0
21.19/21.21	c 21.2s |      17 |   302268 |   217832 |      899    538 |        0 |        0
23.19/23.22	c 23.2s |      17 |   330386 |   238432 |      899    580 |        0 |        0
25.19/25.23	c 25.2s |      17 |   359227 |   258832 |      899    622 |        0 |        0
27.18/27.23	c 27.2s |      17 |   384464 |   277332 |      899    661 |        0 |        0
28.98/29.09	c 29.1s |      18 |   410250 |   296252 |      989    698 |        0 |        0
30.98/31.09	c 31.1s |      18 |   438222 |   317052 |      989    734 |        0 |        0
32.99/33.10	c 33.1s |      18 |   464369 |   336652 |      989    769 |        0 |        0
35.08/35.10	c 35.1s |      18 |   490873 |   356252 |      989    803 |        0 |        0
37.08/37.10	c 37.1s |      18 |   517110 |   375952 |      989    839 |        0 |        0
39.08/39.11	c 39.1s |      18 |   544002 |   395452 |      989    873 |        0 |        0
41.08/41.11	c 41.1s |      18 |   571193 |   415952 |      989    910 |        0 |        0
43.08/43.11	c 43.1s |      18 |   597313 |   435952 |      989    945 |        0 |        0
43.88/43.96	c 43.9s |      19 |   608097 |   444482 |     1088    960 |        0 |        0
45.88/45.97	c 46.0s |      19 |   630462 |   462582 |     1088    989 |        0 |        0
47.88/47.98	c 48.0s |      19 |   654294 |   481282 |     1088   1019 |        0 |        0
49.88/49.98	c 50.0s |      19 |   678486 |   500582 |     1088   1050 |        0 |        0
51.88/51.99	c 52.0s |      19 |   702080 |   519082 |     1088   1080 |        0 |        0
53.89/54.00	c 54.0s |      19 |   728812 |   539182 |     1088   1112 |        0 |        0
55.98/56.00	c 56.0s |      19 |   753634 |   557982 |     1088   1143 |        0 |        0
57.97/58.00	c 58.0s |      19 |   777031 |   575782 |     1088   1171 |        0 |        0
59.97/60.01	c 60.0s |      19 |   800649 |   593782 |     1088   1200 |        0 |        0
61.97/62.02	c 62.0s |      19 |   824367 |   611882 |     1088   1230 |        0 |        0
63.97/64.02	c 64.0s |      19 |   849806 |   631182 |     1088   1261 |        0 |        0
65.98/66.03	c 66.0s |      19 |   876313 |   651082 |     1088   1293 |        0 |        0
67.87/67.90	c 67.9s |      20 |   895644 |   666827 |     1197   1318 |        0 |        0
69.87/69.91	c 69.9s |      20 |   919035 |   684927 |     1197   1345 |        0 |        0
71.88/71.91	c 71.9s |      20 |   943250 |   703327 |     1197   1372 |        0 |        0
73.88/73.92	c 73.9s |      20 |   969206 |   722727 |     1197   1401 |        0 |        0
75.88/75.92	c 75.9s |      20 |   995330 |   742427 |     1197   1430 |        0 |        0
77.88/77.93	c 77.9s |      20 |  1021327 |   762227 |     1197   1460 |        0 |        0
79.88/79.93	c 79.9s |      20 |  1047051 |   781627 |     1197   1489 |        0 |        0
81.88/81.94	c 81.9s |      20 |  1071614 |   799927 |     1197   1517 |        0 |        0
83.88/83.95	c 83.9s |      20 |  1095448 |   818327 |     1197   1544 |        0 |        0
85.88/85.96	c 85.9s |      20 |  1120623 |   837427 |     1197   1573 |        0 |        0
87.87/87.97	c 88.0s |      20 |  1146380 |   857127 |     1197   1603 |        0 |        0
89.87/89.97	c 90.0s |      20 |  1170948 |   876027 |     1197   1631 |        0 |        0
91.87/91.97	c 92.0s |      20 |  1196436 |   895527 |     1197   1660 |        0 |        0
93.87/93.98	c 94.0s |      20 |  1220212 |   913527 |     1197   1687 |        0 |        0
95.87/95.99	c 96.0s |      20 |  1244991 |   932027 |     1197   1714 |        0 |        0
97.88/98.00	c 98.0s |      20 |  1267446 |   949527 |     1197   1741 |        0 |        0
99.97/100.00	c 100.0s |      20 |  1291756 |   968227 |     1197   1769 |        0 |        0
101.97/102.01	c  101s |      20 |  1317487 |   987427 |     1197   1797 |        0 |        0
103.27/103.37	c  103s |      21 |  1334545 |  1000345 |     1317   1816 |        0 |        0
105.27/105.37	c  105s |      21 |  1358877 |  1018545 |     1317   1841 |        0 |        0
107.27/107.38	c  107s |      21 |  1381881 |  1035845 |     1317   1865 |        0 |        0
109.26/109.38	c  109s |      21 |  1405208 |  1053545 |     1317   1889 |        0 |        0
111.26/111.39	c  111s |      21 |  1428460 |  1071245 |     1317   1914 |        0 |        0
113.27/113.39	c  113s |      21 |  1452800 |  1089845 |     1317   1939 |        0 |        0
115.36/115.40	c  115s |      21 |  1475464 |  1107245 |     1317   1964 |        0 |        0
117.36/117.40	c  117s |      21 |  1499198 |  1125045 |     1317   1988 |        0 |        0
119.36/119.40	c  119s |      21 |  1524067 |  1143845 |     1317   2014 |        0 |        0
121.36/121.41	c  121s |      21 |  1548215 |  1162545 |     1317   2040 |        0 |        0
123.36/123.42	c  123s |      21 |  1571204 |  1180345 |     1317   2065 |        0 |        0
125.36/125.43	c  125s |      21 |  1593593 |  1198245 |     1317   2089 |        0 |        0
127.36/127.43	c  127s |      21 |  1616469 |  1215945 |     1317   2113 |        0 |        0
129.35/129.44	c  129s |      21 |  1641018 |  1234745 |     1317   2139 |        0 |        0
131.35/131.45	c  131s |      21 |  1665842 |  1253445 |     1317   2165 |        0 |        0
133.35/133.45	c  133s |      21 |  1689973 |  1271445 |     1317   2190 |        0 |        0
135.36/135.45	c  135s |      21 |  1714536 |  1289545 |     1317   2215 |        0 |        0
137.35/137.46	c  137s |      21 |  1736943 |  1307145 |     1317   2239 |        0 |        0
139.34/139.46	c  139s |      21 |  1758681 |  1324445 |     1317   2263 |        0 |        0
141.34/141.47	c  141s |      21 |  1782154 |  1342545 |     1317   2287 |        0 |        0
143.34/143.48	c  143s |      21 |  1806315 |  1360545 |     1317   2312 |        0 |        0
145.34/145.48	c  145s |      21 |  1830036 |  1377845 |     1317   2336 |        0 |        0
147.35/147.50	c  147s |      21 |  1854375 |  1395845 |     1317   2361 |        0 |        0
149.44/149.50	c  149s |      21 |  1880461 |  1414745 |     1317   2388 |        0 |        0
151.44/151.51	c  151s |      21 |  1903770 |  1432645 |     1317   2413 |        0 |        0
153.44/153.52	c  153s |      21 |  1927712 |  1450845 |     1317   2438 |        0 |        0
155.44/155.52	c  155s |      21 |  1951695 |  1469145 |     1317   2464 |        0 |        0
157.44/157.52	c  157s |      21 |  1975805 |  1487145 |     1317   2490 |        0 |        0
158.84/158.97	c  158s |      22 |  1994531 |  1500622 |     1449   2507 |        0 |        0
160.84/160.97	c  160s |      22 |  2016015 |  1517022 |     1449   2528 |        0 |        0
162.84/162.97	c  162s |      22 |  2037714 |  1533622 |     1449   2548 |        0 |        0
164.84/164.98	c  164s |      22 |  2061349 |  1551222 |     1449   2571 |        0 |        0
166.84/166.99	c  166s |      22 |  2086445 |  1569822 |     1449   2594 |        0 |        0
168.93/169.00	c  168s |      22 |  2110596 |  1587722 |     1449   2617 |        0 |        0
170.93/171.01	c  170s |      22 |  2134116 |  1605622 |     1449   2640 |        0 |        0
172.93/173.02	c  173s |      22 |  2157340 |  1623322 |     1449   2663 |        0 |        0
174.94/175.03	c  175s |      22 |  2180717 |  1641122 |     1449   2685 |        0 |        0
176.93/177.04	c  177s |      22 |  2202972 |  1658122 |     1449   2707 |        0 |        0
178.92/179.05	c  179s |      22 |  2224281 |  1674322 |     1449   2728 |        0 |        0
180.92/181.06	c  181s |      22 |  2249057 |  1692322 |     1449   2751 |        0 |        0
182.92/183.07	c  183s |      22 |  2274232 |  1710422 |     1449   2774 |        0 |        0
184.92/185.07	c  185s |      22 |  2297264 |  1727222 |     1449   2796 |        0 |        0
186.93/187.07	c  187s |      22 |  2321299 |  1744822 |     1449   2818 |        0 |        0
188.92/189.08	c  189s |      22 |  2345994 |  1762322 |     1449   2841 |        0 |        0
190.92/191.09	c  191s |      22 |  2369947 |  1779922 |     1449   2863 |        0 |        0
192.92/193.09	c  193s |      22 |  2391566 |  1796922 |     1449   2885 |        0 |        0
194.92/195.09	c  195s |      22 |  2414299 |  1813422 |     1449   2906 |        0 |        0
197.02/197.10	c  197s |      22 |  2437934 |  1830722 |     1449   2929 |        0 |        0
199.02/199.11	c  199s |      22 |  2461871 |  1848422 |     1449   2951 |        0 |        0
201.01/201.11	c  201s |      22 |  2486265 |  1866322 |     1449   2974 |        0 |        0
203.01/203.11	c  203s |      22 |  2509954 |  1884122 |     1449   2997 |        0 |        0
205.02/205.12	c  205s |      22 |  2532896 |  1901122 |     1449   3019 |        0 |        0
207.02/207.13	c  207s |      22 |  2555072 |  1918122 |     1449   3041 |        0 |        0
209.02/209.13	c  209s |      22 |  2579527 |  1936122 |     1449   3064 |        0 |        0
211.01/211.13	c  211s |      22 |  2602577 |  1953222 |     1449   3086 |        0 |        0
213.01/213.13	c  213s |      22 |  2626764 |  1970922 |     1449   3109 |        0 |        0
215.01/215.14	c  215s |      22 |  2649958 |  1988022 |     1449   3131 |        0 |        0
217.01/217.14	c  217s |      22 |  2673860 |  2005622 |     1449   3154 |        0 |        0
219.01/219.14	c  219s |      22 |  2697350 |  2023722 |     1449   3177 |        0 |        0
221.02/221.15	c  221s |      22 |  2719965 |  2040322 |     1449   3198 |        0 |        0
223.01/223.15	c  223s |      22 |  2743470 |  2058022 |     1449   3221 |        0 |        0
225.01/225.17	c  225s |      22 |  2766155 |  2075222 |     1449   3243 |        0 |        0
227.01/227.17	c  227s |      22 |  2788812 |  2092922 |     1449   3266 |        0 |        0
229.00/229.17	c  229s |      22 |  2814351 |  2111522 |     1449   3290 |        0 |        0
231.01/231.17	c  231s |      22 |  2841080 |  2130122 |     1449   3314 |        0 |        0
233.00/233.18	c  233s |      22 |  2865575 |  2148122 |     1449   3337 |        0 |        0
235.00/235.19	c  235s |      22 |  2890604 |  2166922 |     1449   3361 |        0 |        0
237.00/237.19	c  237s |      22 |  2916298 |  2185822 |     1449   3385 |        0 |        0
239.10/239.20	c  239s |      22 |  2942998 |  2205022 |     1449   3410 |        0 |        0
241.10/241.21	c  241s |      22 |  2965687 |  2222822 |     1449   3433 |        0 |        0
243.10/243.21	c  243s |      22 |  2990994 |  2241122 |     1594   3455 |        0 |        0
244.20/244.32	c  244s |      23 |  3004735 |  2251038 |     1594   3467 |        0 |        0
246.19/246.33	c  246s |      23 |  3024551 |  2266438 |     1594   3485 |        0 |        0
248.19/248.34	c  248s |      23 |  3046167 |  2283138 |     1594   3504 |        0 |        0
250.19/250.34	c  250s |      23 |  3069477 |  2300738 |     1594   3524 |        0 |        0
252.20/252.34	c  252s |      23 |  3092395 |  2318138 |     1594   3544 |        0 |        0
254.20/254.35	c  254s |      23 |  3116956 |  2336438 |     1594   3565 |        0 |        0
256.20/256.36	c  256s |      23 |  3139903 |  2353638 |     1594   3585 |        0 |        0
258.19/258.36	c  258s |      23 |  3160695 |  2370238 |     1594   3604 |        0 |        0
260.19/260.36	c  260s |      23 |  3181821 |  2386638 |     1594   3623 |        0 |        0
262.19/262.37	c  262s |      23 |  3205727 |  2404438 |     1594   3644 |        0 |        0
264.19/264.37	c  264s |      23 |  3228729 |  2422038 |     1594   3664 |        0 |        0
266.19/266.37	c  266s |      23 |  3249777 |  2438438 |     1594   3683 |        0 |        0
268.18/268.38	c  268s |      23 |  3270868 |  2454938 |     1594   3702 |        0 |        0
270.18/270.38	c  270s |      23 |  3293318 |  2471538 |     1594   3721 |        0 |        0
272.18/272.39	c  272s |      23 |  3315644 |  2488038 |     1594   3740 |        0 |        0
274.18/274.39	c  274s |      23 |  3339252 |  2505638 |     1594   3761 |        0 |        0
276.28/276.40	c  276s |      23 |  3362222 |  2523438 |     1594   3781 |        0 |        0
278.28/278.40	c  278s |      23 |  3386707 |  2541538 |     1594   3803 |        0 |        0
280.28/280.40	c  280s |      23 |  3409794 |  2558738 |     1594   3823 |        0 |        0
282.28/282.40	c  282s |      23 |  3432772 |  2576038 |     1594   3843 |        0 |        0
284.27/284.41	c  284s |      23 |  3456022 |  2593438 |     1594   3863 |        0 |        0
286.27/286.42	c  286s |      23 |  3480065 |  2611438 |     1594   3884 |        0 |        0
288.27/288.42	c  288s |      23 |  3503241 |  2628938 |     1594   3905 |        0 |        0
290.28/290.42	c  290s |      23 |  3526607 |  2646338 |     1594   3926 |        0 |        0
292.28/292.43	c  292s |      23 |  3551756 |  2664238 |     1594   3947 |        0 |        0
294.28/294.44	c  294s |      23 |  3571761 |  2679338 |     1594   3965 |        0 |        0
296.28/296.44	c  296s |      23 |  3592992 |  2695838 |     1594   3984 |        0 |        0
298.28/298.44	c  298s |      23 |  3613150 |  2711638 |     1594   4002 |        0 |        0
300.28/300.45	c  300s |      23 |  3635076 |  2728638 |     1594   4022 |        0 |        0
302.28/302.45	c  302s |      23 |  3659263 |  2746538 |     1594   4043 |        0 |        0
304.28/304.45	c  304s |      23 |  3681042 |  2763538 |     1594   4064 |        0 |        0
306.28/306.46	c  306s |      23 |  3703839 |  2781038 |     1594   4085 |        0 |        0
308.27/308.46	c  308s |      23 |  3727520 |  2798838 |     1594   4106 |        0 |        0
310.27/310.47	c  310s |      23 |  3750572 |  2816038 |     1594   4127 |        0 |        0
312.28/312.47	c  312s |      23 |  3773096 |  2833038 |     1594   4147 |        0 |        0
314.27/314.47	c  314s |      23 |  3796324 |  2850538 |     1594   4168 |        0 |        0
316.27/316.48	c  316s |      23 |  3820462 |  2868438 |     1594   4189 |        0 |        0
318.27/318.48	c  318s |      23 |  3841658 |  2884538 |     1594   4208 |        0 |        0
320.27/320.49	c  320s |      23 |  3863609 |  2901238 |     1594   4228 |        0 |        0
322.27/322.49	c  322s |      23 |  3889045 |  2920238 |     1594   4250 |        0 |        0
324.26/324.50	c  324s |      23 |  3914271 |  2938238 |     1594   4271 |        0 |        0
326.36/326.51	c  326s |      23 |  3937019 |  2955338 |     1594   4291 |        0 |        0
328.36/328.51	c  328s |      23 |  3962246 |  2973238 |     1594   4312 |        0 |        0
330.36/330.52	c  330s |      23 |  3986553 |  2991238 |     1594   4333 |        0 |        0
332.36/332.53	c  332s |      23 |  4009152 |  3008638 |     1594   4353 |        0 |        0
334.36/334.54	c  334s |      23 |  4031590 |  3025838 |     1594   4373 |        0 |        0
336.35/336.55	c  336s |      23 |  4053768 |  3042938 |     1594   4393 |        0 |        0
338.36/338.56	c  338s |      23 |  4077123 |  3060238 |     1594   4414 |        0 |        0
340.36/340.57	c  340s |      23 |  4099088 |  3077138 |     1594   4433 |        0 |        0
342.36/342.58	c  342s |      23 |  4120861 |  3093938 |     1594   4453 |        0 |        0
344.36/344.58	c  344s |      23 |  4142114 |  3110238 |     1594   4472 |        0 |        0
346.37/346.60	c  346s |      23 |  4164616 |  3127738 |     1594   4493 |        0 |        0
348.45/348.60	c  348s |      23 |  4187536 |  3144738 |     1594   4512 |        0 |        0
350.45/350.61	c  350s |      23 |  4210482 |  3162138 |     1594   4532 |        0 |        0
352.45/352.61	c  352s |      23 |  4231805 |  3178038 |     1594   4551 |        0 |        0
354.45/354.62	c  354s |      23 |  4254791 |  3195038 |     1594   4571 |        0 |        0
356.45/356.63	c  356s |      23 |  4275680 |  3210938 |     1594   4590 |        0 |        0
358.46/358.64	c  358s |      23 |  4298373 |  3227838 |     1594   4609 |        0 |        0
360.45/360.65	c  360s |      23 |  4321086 |  3245338 |     1594   4630 |        0 |        0
362.45/362.66	c  362s |      23 |  4343717 |  3261938 |     1594   4649 |        0 |        0
364.45/364.67	c  364s |      23 |  4366937 |  3279238 |     1594   4669 |        0 |        0
366.45/366.67	c  366s |      23 |  4391241 |  3297038 |     1594   4691 |        0 |        0
368.45/368.67	c  368s |      23 |  4414198 |  3314938 |     1594   4711 |        0 |        0
370.44/370.68	c  370s |      23 |  4436801 |  3331738 |     1594   4731 |        0 |        0
372.44/372.69	c  372s |      23 |  4459518 |  3348838 |     1594   4751 |        0 |        0
374.54/374.70	c  374s |      23 |  4481128 |  3365238 |     1754   4769 |        0 |        0
376.05/376.21	c  376s |      24 |  4495642 |  3376662 |     1754   4781 |        0 |        0
378.04/378.22	c  378s |      24 |  4518354 |  3394162 |     1754   4799 |        0 |        0
380.04/380.23	c  380s |      24 |  4540342 |  3410662 |     1754   4817 |        0 |        0
382.04/382.24	c  382s |      24 |  4564021 |  3428462 |     1754   4836 |        0 |        0
384.04/384.24	c  384s |      24 |  4587156 |  3445762 |     1754   4854 |        0 |        0
386.04/386.25	c  386s |      24 |  4609262 |  3462362 |     1754   4872 |        0 |        0
388.03/388.26	c  388s |      24 |  4630674 |  3478762 |     1754   4890 |        0 |        0
390.03/390.27	c  390s |      24 |  4654185 |  3496262 |     1754   4908 |        0 |        0
392.03/392.28	c  392s |      24 |  4675516 |  3512462 |     1754   4926 |        0 |        0
394.03/394.28	c  394s |      24 |  4699743 |  3530262 |     1754   4945 |        0 |        0
396.03/396.28	c  396s |      24 |  4723016 |  3548162 |     1754   4964 |        0 |        0
398.04/398.29	c  398s |      24 |  4744505 |  3564862 |     1754   4982 |        0 |        0
400.03/400.29	c  400s |      24 |  4768104 |  3582562 |     1754   5001 |        0 |        0
402.03/402.29	c  402s |      24 |  4791265 |  3600162 |     1754   5020 |        0 |        0
404.03/404.29	c  404s |      24 |  4813465 |  3616562 |     1754   5037 |        0 |        0
406.13/406.31	c  406s |      24 |  4836274 |  3633162 |     1754   5055 |        0 |        0
408.13/408.32	c  408s |      24 |  4857417 |  3650062 |     1754   5074 |        0 |        0
410.13/410.32	c  410s |      24 |  4877855 |  3666562 |     1754   5092 |        0 |        0
412.12/412.32	c  412s |      24 |  4901610 |  3684362 |     1754   5112 |        0 |        0
414.12/414.33	c  414s |      24 |  4925578 |  3702462 |     1754   5132 |        0 |        0
416.12/416.33	c  416s |      24 |  4948230 |  3719762 |     1754   5151 |        0 |        0
418.12/418.34	c  418s |      24 |  4969496 |  3735962 |     1754   5169 |        0 |        0
420.13/420.35	c  420s |      24 |  4990479 |  3752462 |     1754   5187 |        0 |        0
422.12/422.36	c  422s |      24 |  5013491 |  3770262 |     1754   5207 |        0 |        0
424.12/424.36	c  424s |      24 |  5035288 |  3787262 |     1754   5225 |        0 |        0
426.13/426.36	c  426s |      24 |  5056621 |  3803362 |     1754   5243 |        0 |        0
428.12/428.36	c  428s |      24 |  5077395 |  3819362 |     1754   5261 |        0 |        0
430.12/430.37	c  430s |      24 |  5098903 |  3835962 |     1754   5279 |        0 |        0
432.13/432.38	c  432s |      24 |  5120490 |  3852262 |     1754   5297 |        0 |        0
434.12/434.38	c  434s |      24 |  5142517 |  3868862 |     1754   5315 |        0 |        0
436.12/436.38	c  436s |      24 |  5164250 |  3885362 |     1754   5334 |        0 |        0
438.11/438.39	c  438s |      24 |  5186834 |  3902662 |     1754   5353 |        0 |        0
440.11/440.39	c  440s |      24 |  5209416 |  3920062 |     1754   5372 |        0 |        0
442.21/442.40	c  442s |      24 |  5230966 |  3936362 |     1754   5390 |        0 |        0
444.11/444.40	c  444s |      24 |  5254150 |  3953562 |     1754   5409 |        0 |        0
446.21/446.41	c  446s |      24 |  5277751 |  3970862 |     1754   5428 |        0 |        0
448.20/448.41	c  448s |      24 |  5301312 |  3988062 |     1754   5447 |        0 |        0
450.20/450.41	c  450s |      24 |  5323206 |  4004262 |     1754   5465 |        0 |        0
452.20/452.42	c  452s |      24 |  5344760 |  4020862 |     1754   5484 |        0 |        0
454.21/454.43	c  454s |      24 |  5367729 |  4038162 |     1754   5503 |        0 |        0
456.20/456.43	c  456s |      24 |  5390448 |  4055462 |     1754   5522 |        0 |        0
458.20/458.43	c  458s |      24 |  5411069 |  4071862 |     1754   5540 |        0 |        0
460.20/460.44	c  460s |      24 |  5433197 |  4088662 |     1754   5559 |        0 |        0
462.20/462.45	c  462s |      24 |  5456778 |  4105862 |     1754   5578 |        0 |        0
464.20/464.46	c  464s |      24 |  5479189 |  4123162 |     1754   5597 |        0 |        0
466.20/466.47	c  466s |      24 |  5501455 |  4140262 |     1754   5616 |        0 |        0
468.19/468.48	c  468s |      24 |  5522504 |  4156862 |     1754   5635 |        0 |        0
470.19/470.48	c  470s |      24 |  5544969 |  4173862 |     1754   5653 |        0 |        0
472.19/472.48	c  472s |      24 |  5567281 |  4190662 |     1754   5672 |        0 |        0
474.19/474.49	c  474s |      24 |  5590510 |  4208162 |     1754   5691 |        0 |        0
476.19/476.49	c  476s |      24 |  5613800 |  4225462 |     1754   5711 |        0 |        0
478.29/478.50	c  478s |      24 |  5637277 |  4243062 |     1754   5730 |        0 |        0
480.28/480.51	c  480s |      24 |  5660213 |  4260262 |     1754   5749 |        0 |        0
482.28/482.52	c  482s |      24 |  5684153 |  4277962 |     1754   5769 |        0 |        0
484.28/484.53	c  484s |      24 |  5706891 |  4295262 |     1754   5788 |        0 |        0
486.29/486.53	c  486s |      24 |  5727964 |  4311562 |     1754   5806 |        0 |        0
488.29/488.54	c  488s |      24 |  5751175 |  4329062 |     1754   5825 |        0 |        0
490.29/490.54	c  490s |      24 |  5773884 |  4346162 |     1754   5844 |        0 |        0
492.29/492.55	c  492s |      24 |  5796730 |  4363662 |     1754   5864 |        0 |        0
494.29/494.55	c  494s |      24 |  5818880 |  4380562 |     1754   5883 |        0 |        0
496.29/496.56	c  496s |      24 |  5842489 |  4398262 |     1754   5902 |        0 |        0
498.28/498.57	c  498s |      24 |  5864459 |  4415062 |     1754   5921 |        0 |        0
500.29/500.57	c  500s |      24 |  5887729 |  4432562 |     1754   5940 |        0 |        0
502.28/502.57	c  502s |      24 |  5908331 |  4449262 |     1754   5959 |        0 |        0
504.28/504.58	c  504s |      24 |  5929287 |  4465762 |     1754   5977 |        0 |        0
506.28/506.58	c  506s |      24 |  5951940 |  4483062 |     1754   5996 |        0 |        0
508.28/508.59	c  508s |      24 |  5974489 |  4500562 |     1754   6016 |        0 |        0
510.28/510.59	c  510s |      24 |  5995878 |  4516862 |     1754   6034 |        0 |        0
512.28/512.60	c  512s |      24 |  6017282 |  4533362 |     1754   6052 |        0 |        0
514.37/514.61	c  514s |      24 |  6040112 |  4550262 |     1754   6071 |        0 |        0
516.37/516.62	c  516s |      24 |  6062694 |  4567562 |     1754   6090 |        0 |        0
518.37/518.62	c  518s |      24 |  6087233 |  4585662 |     1754   6110 |        0 |        0
520.37/520.63	c  520s |      24 |  6109961 |  4603262 |     1754   6130 |        0 |        0
522.37/522.63	c  522s |      24 |  6132502 |  4620762 |     1754   6149 |        0 |        0
524.37/524.64	c  524s |      24 |  6156464 |  4638862 |     1754   6169 |        0 |        0
526.37/526.64	c  526s |      24 |  6180429 |  4656562 |     1754   6189 |        0 |        0
528.36/528.64	c  528s |      24 |  6204755 |  4675062 |     1754   6210 |        0 |        0
530.36/530.64	c  530s |      24 |  6230872 |  4694362 |     1754   6231 |        0 |        0
532.36/532.65	c  532s |      24 |  6255327 |  4712862 |     1754   6252 |        0 |        0
534.37/534.65	c  534s |      24 |  6280319 |  4731862 |     1754   6273 |        0 |        0
536.36/536.65	c  536s |      24 |  6306882 |  4751262 |     1754   6294 |        0 |        0
538.36/538.66	c  538s |      24 |  6332440 |  4770362 |     1754   6315 |        0 |        0
540.37/540.67	c  540s |      24 |  6356362 |  4788562 |     1754   6335 |        0 |        0
542.37/542.67	c  542s |      24 |  6382184 |  4807662 |     1754   6356 |        0 |        0
544.37/544.67	c  544s |      24 |  6407097 |  4826262 |     1754   6377 |        0 |        0
546.36/546.67	c  546s |      24 |  6431566 |  4844762 |     1754   6398 |        0 |        0
548.36/548.68	c  548s |      24 |  6456840 |  4863962 |     1754   6419 |        0 |        0
550.36/550.69	c  550s |      24 |  6480406 |  4882062 |     1754   6439 |        0 |        0
552.36/552.69	c  552s |      24 |  6504885 |  4900462 |     1754   6459 |        0 |        0
554.36/554.69	c  554s |      24 |  6529761 |  4918962 |     1754   6480 |        0 |        0
556.36/556.70	c  556s |      24 |  6553942 |  4937462 |     1754   6501 |        0 |        0
558.45/558.71	c  558s |      24 |  6576483 |  4954762 |     1754   6520 |        0 |        0
560.45/560.71	c  560s |      24 |  6600561 |  4972362 |     1754   6539 |        0 |        0
562.45/562.71	c  562s |      24 |  6624044 |  4990262 |     1754   6559 |        0 |        0
564.45/564.73	c  564s |      24 |  6646899 |  5007962 |     1754   6579 |        0 |        0
566.45/566.73	c  566s |      24 |  6672114 |  5026462 |     1754   6599 |        0 |        0
568.45/568.74	c  568s |      24 |  6696723 |  5045362 |     1930   6618 |        0 |        0
570.44/570.75	c  570s |      24 |  6723377 |  5064662 |     1930   6638 |        0 |        0
570.54/570.80	c  570s |      25 |  6723985 |  5065098 |     1930   6638 |        0 |        0
572.54/572.81	c  572s |      25 |  6746765 |  5082298 |     1930   6655 |        0 |        0
574.54/574.82	c  574s |      25 |  6770045 |  5098798 |     1930   6672 |        0 |        0
576.54/576.82	c  576s |      25 |  6789454 |  5113698 |     1930   6686 |        0 |        0
578.55/578.82	c  578s |      25 |  6810186 |  5129398 |     1930   6702 |        0 |        0
580.55/580.83	c  580s |      25 |  6833505 |  5145598 |     1930   6718 |        0 |        0
582.55/582.84	c  582s |      25 |  6856042 |  5161298 |     1930   6733 |        0 |        0
584.54/584.86	c  584s |      25 |  6875345 |  5176598 |     1930   6749 |        0 |        0
586.54/586.86	c  586s |      25 |  6896822 |  5191798 |     1930   6764 |        0 |        0
588.54/588.87	c  588s |      25 |  6917548 |  5207398 |     1930   6779 |        0 |        0
590.55/590.87	c  590s |      25 |  6940067 |  5224198 |     1930   6796 |        0 |        0
592.54/592.88	c  592s |      25 |  6960765 |  5240498 |     1930   6812 |        0 |        0
594.54/594.89	c  594s |      25 |  6983883 |  5257198 |     1930   6829 |        0 |        0
596.64/596.90	c  596s |      25 |  7007487 |  5274198 |     1930   6845 |        0 |        0
598.63/598.90	c  598s |      25 |  7030868 |  5291098 |     1930   6862 |        0 |        0
600.63/600.91	c  600s |      25 |  7053427 |  5307998 |     1930   6879 |        0 |        0
602.64/602.93	c  602s |      25 |  7075235 |  5324598 |     1930   6895 |        0 |        0
604.63/604.93	c  604s |      25 |  7095136 |  5340098 |     1930   6910 |        0 |        0
606.63/606.93	c  606s |      25 |  7117105 |  5355198 |     1930   6926 |        0 |        0
608.62/608.94	c  608s |      25 |  7141241 |  5372198 |     1930   6942 |        0 |        0
610.63/610.94	c  610s |      25 |  7164250 |  5389098 |     1930   6959 |        0 |        0
612.63/612.95	c  612s |      25 |  7185449 |  5405298 |     1930   6975 |        0 |        0
614.63/614.96	c  614s |      25 |  7208204 |  5421598 |     1930   6991 |        0 |        0
616.63/616.96	c  616s |      25 |  7229196 |  5437698 |     1930   7007 |        0 |        0
618.62/618.97	c  618s |      25 |  7248930 |  5452898 |     1930   7022 |        0 |        0
620.62/620.97	c  620s |      25 |  7268263 |  5468198 |     1930   7037 |        0 |        0
622.62/622.97	c  622s |      25 |  7287876 |  5483398 |     1930   7052 |        0 |        0
624.63/624.99	c  624s |      25 |  7309498 |  5499098 |     1930   7068 |        0 |        0
626.62/626.99	c  626s |      25 |  7331547 |  5514698 |     1930   7083 |        0 |        0
628.72/629.01	c  628s |      25 |  7350067 |  5529598 |     1930   7098 |        0 |        0
630.72/631.01	c  630s |      25 |  7372294 |  5545998 |     1930   7114 |        0 |        0
632.71/633.02	c  633s |      25 |  7393920 |  5562498 |     1930   7131 |        0 |        0
634.71/635.03	c  635s |      25 |  7411586 |  5576498 |     1930   7145 |        0 |        0
636.72/637.03	c  637s |      25 |  7430768 |  5591798 |     1930   7160 |        0 |        0
638.71/639.04	c  639s |      25 |  7451668 |  5607398 |     1930   7175 |        0 |        0
640.71/641.05	c  641s |      25 |  7471666 |  5622998 |     1930   7190 |        0 |        0
642.71/643.05	c  643s |      25 |  7490940 |  5638098 |     1930   7204 |        0 |        0
644.71/645.06	c  645s |      25 |  7508350 |  5651698 |     1930   7218 |        0 |        0
646.71/647.07	c  647s |      25 |  7529255 |  5667598 |     1930   7233 |        0 |        0
648.72/649.07	c  649s |      25 |  7547208 |  5681498 |     1930   7248 |        0 |        0
650.71/651.08	c  651s |      25 |  7563641 |  5694398 |     1930   7261 |        0 |        0
652.71/653.09	c  653s |      25 |  7579011 |  5706698 |     1930   7273 |        0 |        0
654.81/655.11	c  655s |      25 |  7596325 |  5719898 |     1930   7287 |        0 |        0
656.81/657.11	c  657s |      25 |  7615897 |  5735298 |     1930   7301 |        0 |        0
658.80/659.11	c  659s |      25 |  7636973 |  5751398 |     1930   7317 |        0 |        0
660.81/661.12	c  661s |      25 |  7659197 |  5768298 |     1930   7333 |        0 |        0
662.80/663.12	c  663s |      25 |  7679955 |  5784098 |     1930   7349 |        0 |        0
664.80/665.12	c  665s |      25 |  7699503 |  5799098 |     1930   7364 |        0 |        0
666.80/667.12	c  667s |      25 |  7720962 |  5815198 |     1930   7380 |        0 |        0
668.80/669.12	c  669s |      25 |  7740197 |  5829798 |     1930   7394 |        0 |        0
670.80/671.14	c  671s |      25 |  7758254 |  5844698 |     1930   7409 |        0 |        0
672.80/673.15	c  673s |      25 |  7779394 |  5860298 |     1930   7424 |        0 |        0
674.80/675.16	c  675s |      25 |  7798402 |  5875198 |     1930   7439 |        0 |        0
676.80/677.16	c  677s |      25 |  7820116 |  5890998 |     1930   7454 |        0 |        0
678.79/679.18	c  679s |      25 |  7841025 |  5906398 |     1930   7470 |        0 |        0
680.79/681.18	c  681s |      25 |  7859420 |  5920398 |     1930   7484 |        0 |        0
682.80/683.19	c  683s |      25 |  7878623 |  5934698 |     1930   7498 |        0 |        0
684.79/685.19	c  685s |      25 |  7899249 |  5950598 |     1930   7513 |        0 |        0
686.89/687.20	c  687s |      25 |  7920515 |  5966598 |     1930   7529 |        0 |        0
688.89/689.21	c  689s |      25 |  7944134 |  5983498 |     1930   7546 |        0 |        0
690.89/691.21	c  691s |      25 |  7966113 |  5999798 |     1930   7562 |        0 |        0
692.89/693.22	c  693s |      25 |  7988785 |  6016198 |     1930   7578 |        0 |        0
694.90/695.22	c  695s |      25 |  8009916 |  6032298 |     1930   7594 |        0 |        0
696.89/697.23	c  697s |      25 |  8032432 |  6048798 |     1930   7611 |        0 |        0
698.89/699.23	c  699s |      25 |  8055256 |  6065198 |     1930   7627 |        0 |        0
700.89/701.24	c  701s |      25 |  8077646 |  6081198 |     1930   7643 |        0 |        0
702.89/703.24	c  703s |      25 |  8097761 |  6096498 |     1930   7658 |        0 |        0
704.89/705.24	c  705s |      25 |  8117990 |  6111798 |     1930   7673 |        0 |        0
706.88/707.25	c  707s |      25 |  8137797 |  6126698 |     1930   7688 |        0 |        0
708.88/709.26	c  709s |      25 |  8159067 |  6142098 |     1930   7704 |        0 |        0
710.88/711.26	c  711s |      25 |  8181526 |  6158798 |     1930   7720 |        0 |        0
712.88/713.28	c  713s |      25 |  8203340 |  6174798 |     1930   7736 |        0 |        0
714.88/715.29	c  715s |      25 |  8226112 |  6191498 |     1930   7753 |        0 |        0
716.89/717.29	c  717s |      25 |  8246545 |  6206898 |     1930   7768 |        0 |        0
718.98/719.30	c  719s |      25 |  8269407 |  6223798 |     1930   7784 |        0 |        0
720.98/721.31	c  721s |      25 |  8290864 |  6239298 |     1930   7800 |        0 |        0
722.98/723.32	c  723s |      25 |  8314256 |  6256298 |     1930   7817 |        0 |        0
724.98/725.32	c  725s |      25 |  8335701 |  6272298 |     1930   7833 |        0 |        0
726.98/727.32	c  727s |      25 |  8358314 |  6289498 |     1930   7850 |        0 |        0
728.99/729.33	c  729s |      25 |  8380043 |  6305398 |     1930   7866 |        0 |        0
730.99/731.34	c  731s |      25 |  8403172 |  6322098 |     1930   7883 |        0 |        0
732.99/733.34	c  733s |      25 |  8426413 |  6338998 |     1930   7900 |        0 |        0
734.99/735.35	c  735s |      25 |  8450330 |  6356198 |     1930   7917 |        0 |        0
736.99/737.36	c  737s |      25 |  8474349 |  6372898 |     1930   7934 |        0 |        0
738.99/739.36	c  739s |      25 |  8496311 |  6389598 |     1930   7951 |        0 |        0
740.98/741.37	c  741s |      25 |  8517880 |  6404898 |     1930   7965 |        0 |        0
742.98/743.37	c  743s |      25 |  8538634 |  6419998 |     1930   7980 |        0 |        0
744.98/745.39	c  745s |      25 |  8559562 |  6435898 |     1930   7996 |        0 |        0
746.98/747.39	c  747s |      25 |  8581897 |  6452598 |     1930   8012 |        0 |        0
748.98/749.39	c  749s |      25 |  8604885 |  6469598 |     1930   8029 |        0 |        0
750.99/751.40	c  751s |      25 |  8627790 |  6486598 |     1930   8046 |        0 |        0
753.08/753.41	c  753s |      25 |  8649587 |  6502698 |     1930   8062 |        0 |        0
755.08/755.41	c  755s |      25 |  8670704 |  6518898 |     1930   8078 |        0 |        0
757.08/757.41	c  757s |      25 |  8691345 |  6534398 |     1930   8093 |        0 |        0
759.08/759.41	c  759s |      25 |  8712166 |  6550198 |     1930   8109 |        0 |        0
761.08/761.41	c  761s |      25 |  8733513 |  6565998 |     1930   8125 |        0 |        0
763.08/763.42	c  763s |      25 |  8756434 |  6582998 |     1930   8142 |        0 |        0
765.08/765.43	c  765s |      25 |  8779062 |  6599598 |     1930   8159 |        0 |        0
767.07/767.44	c  767s |      25 |  8801797 |  6616098 |     1930   8176 |        0 |        0
769.07/769.44	c  769s |      25 |  8823278 |  6631898 |     1930   8191 |        0 |        0
771.08/771.45	c  771s |      25 |  8844310 |  6647498 |     1930   8207 |        0 |        0
773.09/773.46	c  773s |      25 |  8866058 |  6663398 |     1930   8223 |        0 |        0
775.08/775.47	c  775s |      25 |  8887363 |  6679398 |     1930   8240 |        0 |        0
777.08/777.48	c  777s |      25 |  8906929 |  6694098 |     1930   8255 |        0 |        0
779.08/779.48	c  779s |      25 |  8928822 |  6710698 |     1930   8271 |        0 |        0
781.08/781.48	c  781s |      25 |  8951959 |  6727298 |     1930   8288 |        0 |        0
783.08/783.48	c  783s |      25 |  8973726 |  6743698 |     1930   8305 |        0 |        0
785.08/785.49	c  785s |      25 |  8995774 |  6759898 |     1930   8321 |        0 |        0
787.08/787.50	c  787s |      25 |  9018539 |  6776198 |     1930   8338 |        0 |        0
789.18/789.51	c  789s |      25 |  9041556 |  6792698 |     1930   8355 |        0 |        0
791.18/791.51	c  791s |      25 |  9066366 |  6809798 |     1930   8372 |        0 |        0
793.18/793.52	c  793s |      25 |  9087783 |  6825398 |     1930   8388 |        0 |        0
795.18/795.53	c  795s |      25 |  9109271 |  6841098 |     1930   8404 |        0 |        0
797.18/797.54	c  797s |      25 |  9131300 |  6857998 |     1930   8420 |        0 |        0
799.17/799.54	c  799s |      25 |  9152611 |  6874498 |     1930   8437 |        0 |        0
801.17/801.54	c  801s |      25 |  9175205 |  6890898 |     1930   8453 |        0 |        0
803.17/803.54	c  803s |      25 |  9197020 |  6907398 |     1930   8470 |        0 |        0
805.17/805.55	c  805s |      25 |  9221110 |  6924498 |     1930   8487 |        0 |        0
807.18/807.55	c  807s |      25 |  9243260 |  6940498 |     1930   8503 |        0 |        0
809.17/809.56	c  809s |      25 |  9264927 |  6956498 |     1930   8519 |        0 |        0
811.17/811.56	c  811s |      25 |  9286197 |  6972698 |     1930   8535 |        0 |        0
813.17/813.57	c  813s |      25 |  9307065 |  6988198 |     1930   8551 |        0 |        0
815.17/815.57	c  815s |      25 |  9326585 |  7003198 |     1930   8566 |        0 |        0
817.17/817.58	c  817s |      25 |  9348076 |  7019098 |     1930   8582 |        0 |        0
819.18/819.58	c  819s |      25 |  9370806 |  7035698 |     1930   8598 |        0 |        0
821.17/821.59	c  821s |      25 |  9390583 |  7050498 |     1930   8613 |        0 |        0
823.17/823.59	c  823s |      25 |  9411252 |  7066198 |     1930   8629 |        0 |        0
825.27/825.60	c  825s |      25 |  9432048 |  7082598 |     1930   8645 |        0 |        0
827.27/827.60	c  827s |      25 |  9454707 |  7099298 |     1930   8662 |        0 |        0
829.27/829.61	c  829s |      25 |  9477521 |  7115898 |     1930   8679 |        0 |        0
831.27/831.62	c  831s |      25 |  9499050 |  7131698 |     1930   8694 |        0 |        0
833.26/833.63	c  833s |      25 |  9522306 |  7148498 |     1930   8711 |        0 |        0
835.26/835.64	c  835s |      25 |  9543435 |  7164598 |     1930   8727 |        0 |        0
837.26/837.64	c  837s |      25 |  9564582 |  7180298 |     1930   8743 |        0 |        0
839.26/839.65	c  839s |      25 |  9587369 |  7197098 |     1930   8760 |        0 |        0
841.27/841.67	c  841s |      25 |  9611581 |  7214198 |     1930   8778 |        0 |        0
843.26/843.67	c  843s |      25 |  9633195 |  7230398 |     1930   8794 |        0 |        0
845.26/845.68	c  845s |      25 |  9653693 |  7246298 |     1930   8810 |        0 |        0
847.26/847.69	c  847s |      25 |  9674976 |  7262398 |     1930   8826 |        0 |        0
849.26/849.69	c  849s |      25 |  9698468 |  7279098 |     1930   8842 |        0 |        0
851.36/851.70	c  851s |      25 |  9719638 |  7294098 |     1930   8857 |        0 |        0
853.37/853.71	c  853s |      25 |  9738495 |  7308898 |     1930   8872 |        0 |        0
855.36/855.72	c  855s |      25 |  9760268 |  7325198 |     1930   8889 |        0 |        0
857.36/857.72	c  857s |      25 |  9781356 |  7341398 |     1930   8905 |        0 |        0
859.37/859.74	c  859s |      25 |  9803112 |  7357098 |     1930   8921 |        0 |        0
861.37/861.74	c  861s |      25 |  9824778 |  7373198 |     1930   8937 |        0 |        0
863.37/863.75	c  863s |      25 |  9846921 |  7389498 |     1930   8954 |        0 |        0
865.37/865.76	c  865s |      25 |  9870434 |  7406198 |     1930   8971 |        0 |        0
867.37/867.77	c  867s |      25 |  9894060 |  7422798 |     1930   8987 |        0 |        0
869.37/869.77	c  869s |      25 |  9916292 |  7439098 |     1930   9004 |        0 |        0
871.37/871.77	c  871s |      25 |  9937318 |  7454398 |     1930   9020 |        0 |        0
873.37/873.78	c  873s |      25 |  9958071 |  7470098 |     1930   9036 |        0 |        0
875.37/875.79	c  875s |      25 |  9980636 |  7486498 |     1930   9052 |        0 |        0
877.37/877.79	c  877s |      25 | 10003189 |  7502698 |     1930   9068 |        0 |        0
879.37/879.80	c  879s |      25 | 10026232 |  7519198 |     1930   9085 |        0 |        0
881.47/881.81	c  881s |      25 | 10048746 |  7535398 |     1930   9101 |        0 |        0
883.46/883.81	c  883s |      25 | 10070389 |  7551398 |     2123   9116 |        0 |        0
885.46/885.82	c  885s |      25 | 10093219 |  7567798 |     2123   9132 |        0 |        0
887.47/887.82	c  887s |      25 | 10116826 |  7584698 |     2123   9147 |        0 |        0
889.06/889.46	c  889s |      26 | 10134649 |  7597752 |     2123   9158 |        0 |        0
891.06/891.47	c  891s |      26 | 10153888 |  7612652 |     2123   9172 |        0 |        0
893.06/893.48	c  893s |      26 | 10172770 |  7627052 |     2123   9184 |        0 |        0
895.07/895.48	c  895s |      26 | 10190269 |  7640752 |     2123   9197 |        0 |        0
897.06/897.48	c  897s |      26 | 10209586 |  7655252 |     2123   9210 |        0 |        0
899.06/899.48	c  899s |      26 | 10229608 |  7670452 |     2123   9223 |        0 |        0
901.06/901.48	c  901s |      26 | 10249286 |  7685452 |     2123   9237 |        0 |        0
903.06/903.49	c  903s |      26 | 10269545 |  7700652 |     2123   9251 |        0 |        0
905.07/905.49	c  905s |      26 | 10289361 |  7715852 |     2123   9264 |        0 |        0
907.06/907.50	c  907s |      26 | 10308879 |  7731052 |     2123   9278 |        0 |        0
909.16/909.50	c  909s |      26 | 10328882 |  7746452 |     2123   9292 |        0 |        0
911.16/911.51	c  911s |      26 | 10348932 |  7761652 |     2123   9305 |        0 |        0
913.16/913.52	c  913s |      26 | 10368738 |  7776852 |     2123   9319 |        0 |        0
915.16/915.52	c  915s |      26 | 10387213 |  7790652 |     2123   9332 |        0 |        0
917.16/917.53	c  917s |      26 | 10405012 |  7804052 |     2123   9344 |        0 |        0
919.16/919.54	c  919s |      26 | 10424188 |  7819052 |     2123   9358 |        0 |        0
921.16/921.55	c  921s |      26 | 10443628 |  7834052 |     2123   9371 |        0 |        0
923.15/923.56	c  923s |      26 | 10463059 |  7849252 |     2123   9385 |        0 |        0
925.15/925.57	c  925s |      26 | 10480702 |  7862852 |     2123   9397 |        0 |        0
927.15/927.57	c  927s |      26 | 10497926 |  7876152 |     2123   9409 |        0 |        0
929.16/929.58	c  929s |      26 | 10515909 |  7890352 |     2123   9422 |        0 |        0
931.15/931.59	c  931s |      26 | 10534628 |  7905252 |     2123   9436 |        0 |        0
933.25/933.60	c  933s |      26 | 10554045 |  7920152 |     2123   9449 |        0 |        0
935.25/935.62	c  935s |      26 | 10570933 |  7933452 |     2123   9462 |        0 |        0
937.25/937.62	c  937s |      26 | 10589547 |  7947452 |     2123   9474 |        0 |        0
939.25/939.64	c  939s |      26 | 10609107 |  7961752 |     2123   9488 |        0 |        0
941.26/941.65	c  941s |      26 | 10626977 |  7975552 |     2123   9500 |        0 |        0
943.25/943.66	c  943s |      26 | 10645465 |  7989452 |     2123   9513 |        0 |        0
945.25/945.66	c  945s |      26 | 10666533 |  8004552 |     2123   9527 |        0 |        0
947.25/947.66	c  947s |      26 | 10686066 |  8019252 |     2123   9540 |        0 |        0
949.25/949.66	c  949s |      26 | 10704049 |  8033452 |     2123   9553 |        0 |        0
951.25/951.67	c  951s |      26 | 10723951 |  8048152 |     2123   9566 |        0 |        0
953.25/953.68	c  953s |      26 | 10745706 |  8063852 |     2123   9581 |        0 |        0
955.24/955.68	c  955s |      26 | 10766379 |  8079352 |     2123   9595 |        0 |        0
957.24/957.68	c  957s |      26 | 10787532 |  8095052 |     2123   9609 |        0 |        0
959.24/959.69	c  959s |      26 | 10809490 |  8111452 |     2123   9624 |        0 |        0
961.34/961.70	c  961s |      26 | 10829540 |  8126552 |     2123   9638 |        0 |        0
963.36/963.71	c  963s |      26 | 10849607 |  8141552 |     2123   9652 |        0 |        0
965.35/965.72	c  965s |      26 | 10870183 |  8156852 |     2123   9665 |        0 |        0
967.35/967.74	c  967s |      26 | 10890501 |  8172352 |     2123   9680 |        0 |        0
969.35/969.75	c  969s |      26 | 10910372 |  8187652 |     2123   9694 |        0 |        0
971.35/971.75	c  971s |      26 | 10930693 |  8203052 |     2123   9707 |        0 |        0
973.35/973.76	c  973s |      26 | 10951008 |  8218352 |     2123   9721 |        0 |        0
975.36/975.76	c  975s |      26 | 10972281 |  8234652 |     2123   9736 |        0 |        0
977.35/977.76	c  977s |      26 | 10991370 |  8249152 |     2123   9749 |        0 |        0
979.35/979.77	c  979s |      26 | 11012768 |  8264652 |     2123   9763 |        0 |        0
981.35/981.78	c  981s |      26 | 11033633 |  8279952 |     2123   9777 |        0 |        0
983.35/983.78	c  983s |      26 | 11053566 |  8294852 |     2123   9791 |        0 |        0
985.44/985.80	c  985s |      26 | 11072031 |  8309252 |     2123   9804 |        0 |        0
987.45/987.81	c  987s |      26 | 11091325 |  8324452 |     2123   9818 |        0 |        0
989.44/989.82	c  989s |      26 | 11111619 |  8340152 |     2123   9832 |        0 |        0
991.44/991.82	c  991s |      26 | 11131167 |  8355152 |     2123   9846 |        0 |        0
993.44/993.84	c  993s |      26 | 11150913 |  8370252 |     2123   9860 |        0 |        0
995.44/995.84	c  995s |      26 | 11171688 |  8385652 |     2123   9874 |        0 |        0
997.45/997.85	c  997s |      26 | 11192744 |  8401752 |     2123   9888 |        0 |        0
999.44/999.85	c  999s |      26 | 11211651 |  8416252 |     2123   9901 |        0 |        0
1001.44/1001.86	c 1001s |      26 | 11231686 |  8431152 |     2123   9915 |        0 |        0
1003.44/1003.87	c 1003s |      26 | 11252182 |  8446652 |     2123   9929 |        0 |        0
1005.44/1005.88	c 1005s |      26 | 11272410 |  8461952 |     2123   9943 |        0 |        0
1007.44/1007.88	c 1007s |      26 | 11293305 |  8477652 |     2123   9957 |        0 |        0
1009.45/1009.88	c 1009s |      26 | 11315739 |  8494352 |     2123   9972 |        0 |        0
1011.44/1011.89	c 1011s |      26 | 11335471 |  8509252 |     2123   9986 |        0 |        0
1013.54/1013.90	c 1013s |      26 | 11357130 |  8525452 |     2123  10001 |        0 |        0
1015.54/1015.90	c 1015s |      26 | 11378240 |  8541352 |     2123  10015 |        0 |        0
1017.54/1017.91	c 1017s |      26 | 11399334 |  8557252 |     2123  10029 |        0 |        0
1019.54/1019.92	c 1019s |      26 | 11416199 |  8571352 |     2123  10042 |        0 |        0
1021.54/1021.93	c 1021s |      26 | 11435058 |  8585852 |     2123  10055 |        0 |        0
1023.54/1023.93	c 1023s |      26 | 11456351 |  8602052 |     2123  10070 |        0 |        0
1025.54/1025.93	c 1025s |      26 | 11476508 |  8617552 |     2123  10084 |        0 |        0
1027.53/1027.94	c 1027s |      26 | 11496047 |  8633052 |     2123  10098 |        0 |        0
1029.53/1029.95	c 1029s |      26 | 11518861 |  8649552 |     2123  10112 |        0 |        0
1031.54/1031.96	c 1031s |      26 | 11537810 |  8664252 |     2123  10126 |        0 |        0
1033.54/1033.97	c 1033s |      26 | 11557785 |  8679852 |     2123  10140 |        0 |        0
1035.54/1035.97	c 1035s |      26 | 11578569 |  8695752 |     2123  10154 |        0 |        0
1037.54/1037.99	c 1037s |      26 | 11599591 |  8711552 |     2123  10169 |        0 |        0
1039.64/1040.00	c 1039s |      26 | 11620084 |  8726752 |     2123  10182 |        0 |        0
1041.64/1042.00	c 1041s |      26 | 11639220 |  8741852 |     2123  10196 |        0 |        0
1043.65/1044.01	c 1043s |      26 | 11659743 |  8757552 |     2123  10210 |        0 |        0
1045.64/1046.02	c 1046s |      26 | 11679933 |  8772452 |     2123  10224 |        0 |        0
1047.64/1048.02	c 1048s |      26 | 11700883 |  8788252 |     2123  10238 |        0 |        0
1049.64/1050.02	c 1050s |      26 | 11719815 |  8802652 |     2123  10251 |        0 |        0
1051.64/1052.03	c 1052s |      26 | 11738374 |  8816852 |     2123  10264 |        0 |        0
1053.64/1054.04	c 1054s |      26 | 11756861 |  8831352 |     2123  10277 |        0 |        0
1055.64/1056.05	c 1056s |      26 | 11775812 |  8845952 |     2123  10290 |        0 |        0
1057.64/1058.05	c 1058s |      26 | 11797176 |  8861852 |     2123  10305 |        0 |        0
1059.64/1060.06	c 1060s |      26 | 11819431 |  8877952 |     2123  10320 |        0 |        0
1061.64/1062.07	c 1062s |      26 | 11839176 |  8892952 |     2123  10333 |        0 |        0
1063.63/1064.08	c 1064s |      26 | 11860212 |  8908252 |     2123  10347 |        0 |        0
1065.64/1066.09	c 1066s |      26 | 11882859 |  8924652 |     2123  10362 |        0 |        0
1067.74/1068.11	c 1068s |      26 | 11905593 |  8941052 |     2123  10378 |        0 |        0
1069.73/1070.11	c 1070s |      26 | 11927673 |  8957052 |     2123  10392 |        0 |        0
1071.73/1072.11	c 1072s |      26 | 11949626 |  8973452 |     2123  10407 |        0 |        0
1073.73/1074.11	c 1074s |      26 | 11970384 |  8989152 |     2123  10422 |        0 |        0
1075.73/1076.12	c 1076s |      26 | 11992510 |  9005752 |     2123  10437 |        0 |        0
1077.74/1078.12	c 1078s |      26 | 12013740 |  9021752 |     2123  10452 |        0 |        0
1079.73/1080.13	c 1080s |      26 | 12035453 |  9037652 |     2123  10466 |        0 |        0
1081.73/1082.14	c 1082s |      26 | 12057990 |  9053952 |     2123  10481 |        0 |        0
1083.73/1084.16	c 1084s |      26 | 12078037 |  9069552 |     2123  10496 |        0 |        0
1085.73/1086.16	c 1086s |      26 | 12100165 |  9086052 |     2123  10511 |        0 |        0
1087.73/1088.16	c 1088s |      26 | 12120662 |  9101752 |     2123  10525 |        0 |        0
1089.74/1090.17	c 1090s |      26 | 12140170 |  9116852 |     2123  10539 |        0 |        0
1091.73/1092.18	c 1092s |      26 | 12159741 |  9131852 |     2123  10553 |        0 |        0
1093.73/1094.18	c 1094s |      26 | 12181210 |  9147152 |     2123  10567 |        0 |        0
1095.73/1096.19	c 1096s |      26 | 12202060 |  9162552 |     2123  10581 |        0 |        0
1097.73/1098.19	c 1098s |      26 | 12223464 |  9178752 |     2123  10596 |        0 |        0
1099.83/1100.20	c 1100s |      26 | 12243799 |  9194352 |     2123  10610 |        0 |        0
1101.83/1102.21	c 1102s |      26 | 12263763 |  9209452 |     2123  10624 |        0 |        0
1103.82/1104.21	c 1104s |      26 | 12287201 |  9226552 |     2123  10639 |        0 |        0
1105.82/1106.21	c 1106s |      26 | 12307531 |  9241452 |     2123  10653 |        0 |        0
1107.82/1108.22	c 1108s |      26 | 12328171 |  9257052 |     2123  10667 |        0 |        0
1109.82/1110.22	c 1110s |      26 | 12349629 |  9272752 |     2123  10682 |        0 |        0
1111.83/1112.22	c 1112s |      26 | 12369113 |  9286752 |     2123  10695 |        0 |        0
1113.82/1114.23	c 1114s |      26 | 12388316 |  9301152 |     2123  10708 |        0 |        0
1115.82/1116.23	c 1116s |      26 | 12409292 |  9316752 |     2123  10722 |        0 |        0
1117.82/1118.24	c 1118s |      26 | 12429759 |  9331652 |     2123  10736 |        0 |        0
1119.82/1120.25	c 1120s |      26 | 12448438 |  9345352 |     2123  10748 |        0 |        0
1121.82/1122.25	c 1122s |      26 | 12469931 |  9360652 |     2123  10762 |        0 |        0
1123.83/1124.26	c 1124s |      26 | 12488313 |  9374952 |     2123  10775 |        0 |        0
1125.82/1126.26	c 1126s |      26 | 12509099 |  9390652 |     2123  10789 |        0 |        0
1127.83/1128.27	c 1128s |      26 | 12530803 |  9406452 |     2123  10803 |        0 |        0
1129.83/1130.27	c 1130s |      26 | 12552423 |  9422452 |     2123  10818 |        0 |        0
1131.83/1132.27	c 1132s |      26 | 12574466 |  9438152 |     2123  10832 |        0 |        0
1133.83/1134.28	c 1134s |      26 | 12595808 |  9453552 |     2123  10846 |        0 |        0
1135.82/1136.28	c 1136s |      26 | 12617314 |  9469652 |     2123  10861 |        0 |        0
1137.82/1138.28	c 1138s |      26 | 12637352 |  9484652 |     2123  10874 |        0 |        0
1139.82/1140.29	c 1140s |      26 | 12658666 |  9499952 |     2123  10888 |        0 |        0
1141.92/1142.31	c 1142s |      26 | 12679863 |  9515452 |     2123  10903 |        0 |        0
1143.92/1144.31	c 1144s |      26 | 12701235 |  9530252 |     2123  10916 |        0 |        0
1145.93/1146.31	c 1146s |      26 | 12718892 |  9543652 |     2123  10928 |        0 |        0
1147.92/1148.31	c 1148s |      26 | 12738174 |  9558252 |     2123  10942 |        0 |        0
1149.92/1150.32	c 1150s |      26 | 12759206 |  9573752 |     2123  10956 |        0 |        0
1151.92/1152.33	c 1152s |      26 | 12779615 |  9588852 |     2123  10970 |        0 |        0
1153.92/1154.34	c 1154s |      26 | 12799961 |  9603952 |     2123  10984 |        0 |        0
1155.92/1156.35	c 1156s |      26 | 12821732 |  9619452 |     2123  10998 |        0 |        0
1157.92/1158.35	c 1158s |      26 | 12843286 |  9635252 |     2123  11013 |        0 |        0
1159.92/1160.35	c 1160s |      26 | 12862178 |  9649252 |     2123  11025 |        0 |        0
1161.92/1162.36	c 1162s |      26 | 12883237 |  9664452 |     2123  11039 |        0 |        0
1163.92/1164.37	c 1164s |      26 | 12904804 |  9679352 |     2123  11053 |        0 |        0
1165.92/1166.37	c 1166s |      26 | 12923474 |  9692952 |     2123  11066 |        0 |        0
1167.92/1168.38	c 1168s |      26 | 12940878 |  9706352 |     2123  11078 |        0 |        0
1169.92/1170.38	c 1170s |      26 | 12958805 |  9719752 |     2123  11090 |        0 |        0
1172.01/1172.40	c 1172s |      26 | 12976659 |  9733252 |     2123  11102 |        0 |        0
1174.01/1174.40	c 1174s |      26 | 12995434 |  9747052 |     2123  11115 |        0 |        0
1176.01/1176.41	c 1176s |      26 | 13012825 |  9760652 |     2123  11127 |        0 |        0
1178.01/1178.42	c 1178s |      26 | 13030807 |  9774252 |     2123  11140 |        0 |        0
1180.02/1180.42	c 1180s |      26 | 13047811 |  9787652 |     2123  11152 |        0 |        0
1182.01/1182.43	c 1182s |      26 | 13066596 |  9801652 |     2123  11165 |        0 |        0
1184.01/1184.44	c 1184s |      26 | 13084836 |  9815852 |     2123  11178 |        0 |        0
1186.01/1186.45	c 1186s |      26 | 13104409 |  9830352 |     2123  11191 |        0 |        0
1188.01/1188.45	c 1188s |      26 | 13125079 |  9845852 |     2123  11205 |        0 |        0
1190.01/1190.46	c 1190s |      26 | 13145268 |  9861052 |     2123  11219 |        0 |        0
1192.02/1192.47	c 1192s |      26 | 13164273 |  9875652 |     2123  11232 |        0 |        0
1194.01/1194.48	c 1194s |      26 | 13183993 |  9890652 |     2123  11246 |        0 |        0
1196.01/1196.49	c 1196s |      26 | 13203064 |  9904952 |     2123  11259 |        0 |        0
1198.01/1198.50	c 1198s |      26 | 13223577 |  9920152 |     2123  11273 |        0 |        0
1200.12/1200.50	c 1200s |      26 | 13243116 |  9935052 |     2123  11287 |        0 |        0
1202.12/1202.51	c 1202s |      26 | 13262901 |  9950152 |     2123  11301 |        0 |        0
1204.12/1204.51	c 1204s |      26 | 13283863 |  9965552 |     2123  11315 |        0 |        0
1206.11/1206.53	c 1206s |      26 | 13304509 |  9980652 |     2123  11329 |        0 |        0
1208.11/1208.53	c 1208s |      26 | 13322876 |  9994352 |     2123  11341 |        0 |        0
1210.11/1210.54	c 1210s |      26 | 13341834 | 10008652 |     2123  11354 |        0 |        0
1212.11/1212.55	c 1212s |      26 | 13360236 | 10022452 |     2123  11367 |        0 |        0
1214.12/1214.55	c 1214s |      26 | 13378586 | 10036452 |     2123  11380 |        0 |        0
1216.11/1216.56	c 1216s |      26 | 13396729 | 10050852 |     2123  11393 |        0 |        0
1218.11/1218.56	c 1218s |      26 | 13416448 | 10065652 |     2123  11406 |        0 |        0
1220.11/1220.56	c 1220s |      26 | 13435246 | 10080352 |     2123  11420 |        0 |        0
1222.11/1222.57	c 1222s |      26 | 13455780 | 10095352 |     2123  11434 |        0 |        0
1224.10/1224.58	c 1224s |      26 | 13475561 | 10109952 |     2123  11447 |        0 |        0
1226.11/1226.59	c 1226s |      26 | 13494882 | 10124352 |     2123  11460 |        0 |        0
1228.10/1228.60	c 1228s |      26 | 13515904 | 10139852 |     2123  11474 |        0 |        0
1230.20/1230.60	c 1230s |      26 | 13535317 | 10154552 |     2123  11488 |        0 |        0
1232.20/1232.60	c 1232s |      26 | 13554813 | 10169552 |     2123  11501 |        0 |        0
1234.21/1234.61	c 1234s |      26 | 13572201 | 10182952 |     2123  11514 |        0 |        0
1236.21/1236.62	c 1236s |      26 | 13592535 | 10197752 |     2123  11527 |        0 |        0
1238.22/1238.62	c 1238s |      26 | 13610432 | 10211952 |     2123  11540 |        0 |        0
1240.21/1240.62	c 1240s |      26 | 13631248 | 10227652 |     2123  11554 |        0 |        0
1242.21/1242.63	c 1242s |      26 | 13652749 | 10243452 |     2123  11568 |        0 |        0
1244.21/1244.65	c 1244s |      26 | 13673751 | 10258552 |     2123  11582 |        0 |        0
1246.21/1246.66	c 1246s |      26 | 13693844 | 10273552 |     2123  11596 |        0 |        0
1248.22/1248.67	c 1248s |      26 | 13713781 | 10288552 |     2123  11610 |        0 |        0
1250.21/1250.68	c 1250s |      26 | 13732157 | 10302852 |     2123  11623 |        0 |        0
1252.21/1252.69	c 1252s |      26 | 13751135 | 10317352 |     2123  11636 |        0 |        0
1254.31/1254.70	c 1254s |      26 | 13772760 | 10332752 |     2123  11651 |        0 |        0
1256.31/1256.71	c 1256s |      26 | 13794017 | 10348552 |     2123  11665 |        0 |        0
1258.31/1258.72	c 1258s |      26 | 13814624 | 10363952 |     2123  11679 |        0 |        0
1260.31/1260.72	c 1260s |      26 | 13835243 | 10379652 |     2123  11693 |        0 |        0
1262.31/1262.74	c 1262s |      26 | 13855817 | 10394952 |     2123  11707 |        0 |        0
1264.30/1264.74	c 1264s |      26 | 13874773 | 10409452 |     2123  11721 |        0 |        0
1266.30/1266.75	c 1266s |      26 | 13895553 | 10425252 |     2123  11735 |        0 |        0
1268.30/1268.75	c 1268s |      26 | 13915558 | 10440352 |     2123  11749 |        0 |        0
1270.30/1270.75	c 1270s |      26 | 13935540 | 10455252 |     2123  11762 |        0 |        0
1272.31/1272.77	c 1272s |      26 | 13955416 | 10470052 |     2123  11776 |        0 |        0
1274.30/1274.77	c 1274s |      26 | 13974296 | 10484152 |     2123  11789 |        0 |        0
1276.30/1276.78	c 1276s |      26 | 13993860 | 10498452 |     2123  11802 |        0 |        0
1278.30/1278.78	c 1278s |      26 | 14015113 | 10513552 |     2123  11816 |        0 |        0
1280.30/1280.79	c 1280s |      26 | 14035489 | 10528352 |     2123  11829 |        0 |        0
1282.31/1282.79	c 1282s |      26 | 14053335 | 10541852 |     2123  11841 |        0 |        0
1284.41/1284.80	c 1284s |      26 | 14072440 | 10555852 |     2123  11854 |        0 |        0
1286.40/1286.81	c 1286s |      26 | 14091065 | 10570052 |     2123  11867 |        0 |        0
1288.40/1288.81	c 1288s |      26 | 14108559 | 10583552 |     2123  11880 |        0 |        0
1290.40/1290.82	c 1290s |      26 | 14126379 | 10597352 |     2123  11892 |        0 |        0
1292.40/1292.83	c 1292s |      26 | 14147746 | 10612552 |     2123  11906 |        0 |        0
1294.40/1294.83	c 1294s |      26 | 14167094 | 10627352 |     2123  11920 |        0 |        0
1296.40/1296.83	c 1296s |      26 | 14187799 | 10642752 |     2123  11934 |        0 |        0
1298.40/1298.84	c 1298s |      26 | 14206667 | 10657452 |     2123  11947 |        0 |        0
1300.40/1300.85	c 1300s |      26 | 14226860 | 10672352 |     2123  11961 |        0 |        0
1302.40/1302.85	c 1302s |      26 | 14246553 | 10687352 |     2123  11975 |        0 |        0
1304.39/1304.86	c 1304s |      26 | 14264965 | 10700952 |     2123  11987 |        0 |        0
1306.40/1306.87	c 1306s |      26 | 14285126 | 10716152 |     2123  12001 |        0 |        0
1308.39/1308.88	c 1308s |      26 | 14305882 | 10731252 |     2123  12015 |        0 |        0
1310.39/1310.88	c 1310s |      26 | 14325124 | 10746252 |     2123  12029 |        0 |        0
1312.39/1312.88	c 1312s |      26 | 14346402 | 10761752 |     2123  12043 |        0 |        0
1314.39/1314.89	c 1314s |      26 | 14366900 | 10777252 |     2123  12057 |        0 |        0
1316.49/1316.90	c 1316s |      26 | 14386623 | 10792352 |     2123  12071 |        0 |        0
1318.39/1318.90	c 1318s |      26 | 14405157 | 10806452 |     2123  12084 |        0 |        0
1320.49/1320.90	c 1320s |      26 | 14424661 | 10821152 |     2123  12097 |        0 |        0
1322.49/1322.91	c 1322s |      26 | 14442402 | 10834652 |     2123  12109 |        0 |        0
1324.50/1324.91	c 1324s |      26 | 14462367 | 10849352 |     2123  12123 |        0 |        0
1326.50/1326.92	c 1326s |      26 | 14482413 | 10864252 |     2123  12136 |        0 |        0
1328.50/1328.93	c 1328s |      26 | 14502440 | 10879152 |     2123  12150 |        0 |        0
1330.50/1330.94	c 1330s |      26 | 14523199 | 10894352 |     2123  12164 |        0 |        0
1332.50/1332.94	c 1332s |      26 | 14545758 | 10910352 |     2123  12179 |        0 |        0
1334.50/1334.95	c 1334s |      26 | 14568031 | 10926652 |     2123  12194 |        0 |        0
1336.50/1336.95	c 1336s |      26 | 14588618 | 10941852 |     2123  12208 |        0 |        0
1338.49/1338.96	c 1338s |      26 | 14609694 | 10957852 |     2123  12223 |        0 |        0
1340.50/1340.97	c 1340s |      26 | 14630488 | 10973352 |     2123  12237 |        0 |        0
1342.49/1342.97	c 1342s |      26 | 14646549 | 10986652 |     2123  12249 |        0 |        0
1344.49/1344.97	c 1344s |      26 | 14665717 | 11000952 |     2123  12262 |        0 |        0
1346.49/1346.98	c 1346s |      26 | 14684676 | 11015352 |     2123  12276 |        0 |        0
1348.49/1348.98	c 1348s |      26 | 14703221 | 11029852 |     2123  12289 |        0 |        0
1350.50/1350.98	c 1350s |      26 | 14722899 | 11044652 |     2123  12303 |        0 |        0
1352.49/1352.99	c 1352s |      26 | 14743148 | 11059652 |     2123  12317 |        0 |        0
1354.49/1354.99	c 1354s |      26 | 14763949 | 11075252 |     2123  12331 |        0 |        0
1356.59/1357.00	c 1356s |      26 | 14785313 | 11090952 |     2123  12345 |        0 |        0
1358.59/1359.00	c 1358s |      26 | 14803475 | 11105152 |     2123  12358 |        0 |        0
1360.59/1361.00	c 1360s |      26 | 14822014 | 11119152 |     2123  12371 |        0 |        0
1362.49/1363.00	c 1362s |      26 | 14841519 | 11133852 |     2123  12385 |        0 |        0
1364.59/1365.01	c 1364s |      26 | 14859920 | 11147952 |     2123  12398 |        0 |        0
1366.59/1367.02	c 1367s |      26 | 14880007 | 11162952 |     2123  12411 |        0 |        0
1368.59/1369.03	c 1369s |      26 | 14899530 | 11178152 |     2123  12425 |        0 |        0
1370.59/1371.05	c 1371s |      26 | 14921116 | 11193852 |     2123  12440 |        0 |        0
1372.58/1373.06	c 1373s |      26 | 14941992 | 11209152 |     2123  12453 |        0 |        0
1374.59/1375.06	c 1375s |      26 | 14964078 | 11225252 |     2123  12468 |        0 |        0
1376.58/1377.08	c 1377s |      26 | 14986305 | 11241052 |     2123  12482 |        0 |        0
1378.58/1379.09	c 1379s |      26 | 15006811 | 11256352 |     2123  12496 |        0 |        0
1380.68/1381.10	c 1381s |      26 | 15028203 | 11271752 |     2123  12510 |        0 |        0
1382.68/1383.10	c 1383s |      26 | 15048186 | 11286552 |     2123  12524 |        0 |        0
1384.68/1385.11	c 1385s |      26 | 15068253 | 11301552 |     2123  12537 |        0 |        0
1386.69/1387.12	c 1387s |      26 | 15088670 | 11316952 |     2336  12551 |        0 |        0
1388.68/1389.13	c 1389s |      26 | 15104960 | 11330352 |     2336  12562 |        0 |        0
1390.68/1391.13	c 1391s |      26 | 15124609 | 11345152 |     2336  12575 |        0 |        0
1392.68/1393.15	c 1393s |      26 | 15145900 | 11360752 |     2336  12588 |        0 |        0
1394.69/1395.15	c 1395s |      26 | 15167439 | 11376952 |     2336  12601 |        0 |        0
1396.69/1397.16	c 1397s |      26 | 15188459 | 11392552 |     2336  12614 |        0 |        0
1397.19/1397.69	c 1397s |      27 | 15193625 | 11396733 |     2336  12618 |        0 |        0
1399.29/1399.71	c 1399s |      27 | 15213404 | 11411633 |     2336  12630 |        0 |        0
1401.29/1401.71	c 1401s |      27 | 15234150 | 11426533 |     2336  12642 |        0 |        0
1403.29/1403.72	c 1403s |      27 | 15253075 | 11441133 |     2336  12654 |        0 |        0
1405.28/1405.72	c 1405s |      27 | 15274630 | 11457033 |     2336  12667 |        0 |        0
1407.28/1407.72	c 1407s |      27 | 15294977 | 11471533 |     2336  12679 |        0 |        0
1409.28/1409.73	c 1409s |      27 | 15313607 | 11485933 |     2336  12691 |        0 |        0
1411.28/1411.74	c 1411s |      27 | 15333331 | 11500433 |     2336  12703 |        0 |        0
1413.28/1413.76	c 1413s |      27 | 15352639 | 11515533 |     2336  12716 |        0 |        0
1415.29/1415.77	c 1415s |      27 | 15371414 | 11530133 |     2336  12728 |        0 |        0
1417.28/1417.77	c 1417s |      27 | 15392579 | 11545833 |     2336  12741 |        0 |        0
1419.28/1419.78	c 1419s |      27 | 15414080 | 11561233 |     2336  12753 |        0 |        0
1421.28/1421.78	c 1421s |      27 | 15434372 | 11576533 |     2336  12766 |        0 |        0
1423.28/1423.79	c 1423s |      27 | 15456106 | 11592633 |     2336  12780 |        0 |        0
1425.38/1425.80	c 1425s |      27 | 15477337 | 11608633 |     2336  12793 |        0 |        0
1427.28/1427.80	c 1427s |      27 | 15498136 | 11623833 |     2336  12806 |        0 |        0
1429.38/1429.81	c 1429s |      27 | 15519592 | 11639533 |     2336  12819 |        0 |        0
1431.37/1431.82	c 1431s |      27 | 15539880 | 11654233 |     2336  12831 |        0 |        0
1433.37/1433.83	c 1433s |      27 | 15562283 | 11670033 |     2336  12844 |        0 |        0
1435.37/1435.84	c 1435s |      27 | 15579701 | 11683733 |     2336  12855 |        0 |        0
1437.38/1437.84	c 1437s |      27 | 15601956 | 11700333 |     2336  12869 |        0 |        0
1439.37/1439.85	c 1439s |      27 | 15622851 | 11716033 |     2336  12882 |        0 |        0
1441.37/1441.86	c 1441s |      27 | 15643549 | 11731533 |     2336  12895 |        0 |        0
1443.37/1443.86	c 1443s |      27 | 15663654 | 11746933 |     2336  12908 |        0 |        0
1445.38/1445.87	c 1445s |      27 | 15684294 | 11762633 |     2336  12921 |        0 |        0
1447.38/1447.87	c 1447s |      27 | 15704202 | 11778033 |     2336  12933 |        0 |        0
1449.38/1449.88	c 1449s |      27 | 15724395 | 11792933 |     2336  12946 |        0 |        0
1451.38/1451.89	c 1451s |      27 | 15748222 | 11810233 |     2336  12960 |        0 |        0
1453.38/1453.90	c 1453s |      27 | 15770057 | 11826533 |     2336  12974 |        0 |        0
1455.48/1455.90	c 1455s |      27 | 15789343 | 11841133 |     2336  12986 |        0 |        0
1457.48/1457.91	c 1457s |      27 | 15811264 | 11856933 |     2336  12999 |        0 |        0
1459.48/1459.91	c 1459s |      27 | 15835509 | 11873533 |     2336  13013 |        0 |        0
1461.48/1461.92	c 1461s |      27 | 15858556 | 11890033 |     2336  13026 |        0 |        0
1463.48/1463.93	c 1463s |      27 | 15879566 | 11905633 |     2336  13039 |        0 |        0
1465.48/1465.94	c 1465s |      27 | 15898960 | 11920433 |     2336  13051 |        0 |        0
1467.47/1467.95	c 1467s |      27 | 15920681 | 11936233 |     2336  13064 |        0 |        0
1469.47/1469.95	c 1469s |      27 | 15941588 | 11951633 |     2336  13077 |        0 |        0
1471.48/1471.96	c 1471s |      27 | 15961166 | 11966133 |     2336  13089 |        0 |        0
1473.47/1473.97	c 1473s |      27 | 15979070 | 11979733 |     2336  13100 |        0 |        0
1475.47/1475.98	c 1475s |      27 | 15999869 | 11995033 |     2336  13112 |        0 |        0
1477.47/1477.98	c 1477s |      27 | 16021413 | 12010333 |     2336  13125 |        0 |        0
1479.47/1479.99	c 1479s |      27 | 16040667 | 12024933 |     2336  13137 |        0 |        0
1481.47/1481.99	c 1481s |      27 | 16060076 | 12039533 |     2336  13149 |        0 |        0
1483.47/1484.00	c 1483s |      27 | 16077442 | 12052733 |     2336  13159 |        0 |        0
1485.57/1486.01	c 1485s |      27 | 16096339 | 12067333 |     2336  13171 |        0 |        0
1487.57/1488.02	c 1488s |      27 | 16114704 | 12081533 |     2336  13183 |        0 |        0
1489.57/1490.03	c 1490s |      27 | 16133719 | 12096233 |     2336  13195 |        0 |        0
1491.57/1492.03	c 1492s |      27 | 16152594 | 12110733 |     2336  13207 |        0 |        0
1493.57/1494.05	c 1494s |      27 | 16171061 | 12125433 |     2336  13219 |        0 |        0
1495.57/1496.05	c 1496s |      27 | 16191411 | 12140533 |     2336  13231 |        0 |        0
1497.56/1498.06	c 1498s |      27 | 16209870 | 12154733 |     2336  13242 |        0 |        0
1499.56/1500.06	c 1500s |      27 | 16229892 | 12169733 |     2336  13255 |        0 |        0
1501.56/1502.06	c 1502s |      27 | 16250515 | 12184833 |     2336  13267 |        0 |        0
1503.56/1504.07	c 1504s |      27 | 16271470 | 12200233 |     2336  13279 |        0 |        0
1505.57/1506.08	c 1506s |      27 | 16289845 | 12214333 |     2336  13291 |        0 |        0
1507.56/1508.09	c 1508s |      27 | 16308952 | 12228833 |     2336  13303 |        0 |        0
1509.56/1510.10	c 1510s |      27 | 16330133 | 12244733 |     2336  13316 |        0 |        0
1511.66/1512.10	c 1512s |      27 | 16352160 | 12260333 |     2336  13329 |        0 |        0
1513.66/1514.10	c 1514s |      27 | 16374687 | 12276833 |     2336  13342 |        0 |        0
1515.66/1516.11	c 1516s |      27 | 16396257 | 12292533 |     2336  13355 |        0 |        0
1517.67/1518.11	c 1518s |      27 | 16418721 | 12308733 |     2336  13368 |        0 |        0
1519.66/1520.12	c 1520s |      27 | 16441090 | 12325333 |     2336  13382 |        0 |        0
1521.67/1522.13	c 1522s |      27 | 16460185 | 12340433 |     2336  13394 |        0 |        0
1523.67/1524.13	c 1524s |      27 | 16481423 | 12356433 |     2336  13407 |        0 |        0
1525.67/1526.14	c 1526s |      27 | 16502465 | 12372033 |     2336  13420 |        0 |        0
1527.67/1528.15	c 1528s |      27 | 16522002 | 12386433 |     2336  13431 |        0 |        0
1529.67/1530.15	c 1530s |      27 | 16543624 | 12402233 |     2336  13444 |        0 |        0
1531.67/1532.16	c 1532s |      27 | 16564678 | 12417933 |     2336  13457 |        0 |        0
1533.66/1534.16	c 1534s |      27 | 16586672 | 12434333 |     2336  13470 |        0 |        0
1535.66/1536.16	c 1536s |      27 | 16609567 | 12450633 |     2336  13484 |        0 |        0
1537.66/1538.16	c 1538s |      27 | 16629480 | 12465833 |     2336  13496 |        0 |        0
1539.67/1540.17	c 1540s |      27 | 16651178 | 12481733 |     2336  13509 |        0 |        0
1541.66/1542.18	c 1542s |      27 | 16672814 | 12497633 |     2336  13522 |        0 |        0
1543.66/1544.19	c 1544s |      27 | 16691584 | 12512433 |     2336  13534 |        0 |        0
1545.76/1546.20	c 1546s |      27 | 16711848 | 12527333 |     2336  13546 |        0 |        0
1547.76/1548.20	c 1548s |      27 | 16731712 | 12542133 |     2336  13558 |        0 |        0
1549.76/1550.21	c 1550s |      27 | 16752469 | 12558233 |     2336  13571 |        0 |        0
1551.76/1552.21	c 1552s |      27 | 16771171 | 12573233 |     2336  13584 |        0 |        0
1553.75/1554.22	c 1554s |      27 | 16792947 | 12589333 |     2336  13597 |        0 |        0
1555.75/1556.23	c 1556s |      27 | 16813706 | 12605033 |     2336  13610 |        0 |        0
1557.75/1558.24	c 1558s |      27 | 16831187 | 12618533 |     2336  13621 |        0 |        0
1559.75/1560.25	c 1560s |      27 | 16847346 | 12631733 |     2336  13632 |        0 |        0
1561.75/1562.26	c 1562s |      27 | 16864758 | 12645733 |     2336  13644 |        0 |        0
1563.76/1564.27	c 1564s |      27 | 16882006 | 12659633 |     2336  13655 |        0 |        0
1565.75/1566.27	c 1566s |      27 | 16898456 | 12673533 |     2336  13667 |        0 |        0
1567.75/1568.28	c 1568s |      27 | 16911089 | 12684833 |     2336  13676 |        0 |        0
1569.76/1570.29	c 1570s |      27 | 16924017 | 12696433 |     2336  13686 |        0 |        0
1571.86/1572.30	c 1572s |      27 | 16936667 | 12707833 |     2336  13696 |        0 |        0
1573.86/1574.30	c 1574s |      27 | 16953570 | 12721533 |     2336  13707 |        0 |        0
1575.86/1576.31	c 1576s |      27 | 16971747 | 12735833 |     2336  13719 |        0 |        0
1577.86/1578.32	c 1578s |      27 | 16991839 | 12751133 |     2336  13732 |        0 |        0
1579.86/1580.33	c 1580s |      27 | 17013195 | 12766833 |     2336  13745 |        0 |        0
1581.86/1582.34	c 1582s |      27 | 17034936 | 12782833 |     2336  13759 |        0 |        0
1583.86/1584.35	c 1584s |      27 | 17058675 | 12800033 |     2336  13773 |        0 |        0
1585.86/1586.35	c 1586s |      27 | 17079632 | 12815333 |     2336  13786 |        0 |        0
1587.85/1588.35	c 1588s |      27 | 17102835 | 12832133 |     2336  13800 |        0 |        0
1589.85/1590.36	c 1590s |      27 | 17123903 | 12847733 |     2336  13813 |        0 |        0
1591.85/1592.37	c 1592s |      27 | 17143820 | 12862633 |     2336  13825 |        0 |        0
1593.85/1594.38	c 1594s |      27 | 17164667 | 12878633 |     2336  13838 |        0 |        0
1595.85/1596.39	c 1596s |      27 | 17188337 | 12895733 |     2336  13853 |        0 |        0
1597.86/1598.39	c 1598s |      27 | 17211213 | 12912733 |     2336  13867 |        0 |        0
1599.85/1600.39	c 1600s |      27 | 17233105 | 12929133 |     2336  13881 |        0 |        0
1601.85/1602.40	c 1602s |      27 | 17253420 | 12944233 |     2336  13893 |        0 |        0
1603.95/1604.40	c 1604s |      27 | 17274305 | 12959333 |     2336  13906 |        0 |        0
1605.95/1606.40	c 1606s |      27 | 17294692 | 12974333 |     2336  13918 |        0 |        0
1607.95/1608.41	c 1608s |      27 | 17313904 | 12988733 |     2336  13930 |        0 |        0
1609.95/1610.42	c 1610s |      27 | 17333802 | 13003633 |     2336  13943 |        0 |        0
1611.95/1612.44	c 1612s |      27 | 17354082 | 13018633 |     2336  13956 |        0 |        0
1613.94/1614.45	c 1614s |      27 | 17372832 | 13032433 |     2336  13967 |        0 |        0
1615.95/1616.46	c 1616s |      27 | 17392499 | 13046733 |     2336  13979 |        0 |        0
1617.95/1618.47	c 1618s |      27 | 17411460 | 13061033 |     2336  13991 |        0 |        0
1619.96/1620.48	c 1620s |      27 | 17429098 | 13074833 |     2336  14003 |        0 |        0
1621.95/1622.48	c 1622s |      27 | 17445848 | 13088133 |     2336  14014 |        0 |        0
1623.95/1624.48	c 1624s |      27 | 17463549 | 13101933 |     2336  14025 |        0 |        0
1625.95/1626.48	c 1626s |      27 | 17482658 | 13116133 |     2336  14037 |        0 |        0
1627.95/1628.49	c 1628s |      27 | 17500967 | 13130633 |     2336  14050 |        0 |        0
1629.95/1630.49	c 1630s |      27 | 17518537 | 13144033 |     2336  14061 |        0 |        0
1631.96/1632.50	c 1632s |      27 | 17535477 | 13157233 |     2336  14072 |        0 |        0
1634.05/1634.51	c 1634s |      27 | 17554790 | 13171833 |     2336  14084 |        0 |        0
1636.05/1636.52	c 1636s |      27 | 17574950 | 13186633 |     2336  14097 |        0 |        0
1638.05/1638.52	c 1638s |      27 | 17593509 | 13200733 |     2336  14109 |        0 |        0
1640.05/1640.53	c 1640s |      27 | 17611568 | 13214933 |     2336  14120 |        0 |        0
1642.05/1642.54	c 1642s |      27 | 17630800 | 13229833 |     2336  14133 |        0 |        0
1644.06/1644.54	c 1644s |      27 | 17650866 | 13244633 |     2336  14145 |        0 |        0
1646.05/1646.55	c 1646s |      27 | 17668269 | 13258133 |     2336  14157 |        0 |        0
1648.05/1648.56	c 1648s |      27 | 17686327 | 13271833 |     2336  14168 |        0 |        0
1650.05/1650.57	c 1650s |      27 | 17704524 | 13285733 |     2336  14180 |        0 |        0
1652.05/1652.57	c 1652s |      27 | 17722497 | 13299533 |     2336  14192 |        0 |        0
1654.05/1654.57	c 1654s |      27 | 17741874 | 13314333 |     2336  14204 |        0 |        0
1656.05/1656.58	c 1656s |      27 | 17761380 | 13328633 |     2336  14216 |        0 |        0
1658.05/1658.58	c 1658s |      27 | 17778916 | 13342333 |     2336  14228 |        0 |        0
1660.04/1660.59	c 1660s |      27 | 17797473 | 13356333 |     2336  14239 |        0 |        0
1662.14/1662.60	c 1662s |      27 | 17814781 | 13369633 |     2336  14251 |        0 |        0
1664.14/1664.61	c 1664s |      27 | 17832011 | 13383233 |     2336  14262 |        0 |        0
1666.15/1666.63	c 1666s |      27 | 17851645 | 13398033 |     2336  14274 |        0 |        0
1668.14/1668.63	c 1668s |      27 | 17871247 | 13412633 |     2336  14287 |        0 |        0
1670.14/1670.64	c 1670s |      27 | 17890947 | 13427433 |     2336  14299 |        0 |        0
1672.14/1672.66	c 1672s |      27 | 17909329 | 13441533 |     2336  14311 |        0 |        0
1674.14/1674.66	c 1674s |      27 | 17927760 | 13455633 |     2336  14323 |        0 |        0
1676.14/1676.68	c 1676s |      27 | 17945260 | 13469233 |     2336  14334 |        0 |        0
1678.14/1678.69	c 1678s |      27 | 17962236 | 13482233 |     2336  14345 |        0 |        0
1680.24/1680.70	c 1680s |      27 | 17981081 | 13496333 |     2336  14357 |        0 |        0
1682.24/1682.71	c 1682s |      27 | 17999974 | 13510533 |     2336  14369 |        0 |        0
1684.24/1684.71	c 1684s |      27 | 18018346 | 13524533 |     2336  14381 |        0 |        0
1686.23/1686.71	c 1686s |      27 | 18037713 | 13538833 |     2336  14393 |        0 |        0
1688.23/1688.72	c 1688s |      27 | 18055226 | 13552533 |     2336  14404 |        0 |        0
1690.24/1690.72	c 1690s |      27 | 18072755 | 13566133 |     2336  14416 |        0 |        0
1692.23/1692.73	c 1692s |      27 | 18090775 | 13579833 |     2336  14427 |        0 |        0
1694.23/1694.74	c 1694s |      27 | 18109592 | 13593833 |     2336  14439 |        0 |        0
1696.23/1696.75	c 1696s |      27 | 18128224 | 13608333 |     2336  14451 |        0 |        0
1698.23/1698.76	c 1698s |      27 | 18145941 | 13622733 |     2336  14463 |        0 |        0
1700.24/1700.76	c 1700s |      27 | 18164419 | 13637033 |     2336  14475 |        0 |        0
1702.23/1702.76	c 1702s |      27 | 18184503 | 13652233 |     2336  14488 |        0 |        0
1704.23/1704.78	c 1704s |      27 | 18203602 | 13666833 |     2336  14500 |        0 |        0
1706.23/1706.79	c 1706s |      27 | 18222774 | 13681233 |     2336  14513 |        0 |        0
1708.33/1708.80	c 1708s |      27 | 18243355 | 13696633 |     2336  14526 |        0 |        0
1710.33/1710.80	c 1710s |      27 | 18263668 | 13711833 |     2336  14538 |        0 |        0
1712.34/1712.81	c 1712s |      27 | 18283915 | 13727133 |     2336  14551 |        0 |        0
1714.34/1714.82	c 1714s |      27 | 18302888 | 13741533 |     2336  14563 |        0 |        0
1716.34/1716.84	c 1716s |      27 | 18320205 | 13755133 |     2336  14574 |        0 |        0
1718.34/1718.84	c 1718s |      27 | 18339127 | 13769233 |     2336  14586 |        0 |        0
1720.34/1720.85	c 1720s |      27 | 18358642 | 13783833 |     2336  14599 |        0 |        0
1722.34/1722.86	c 1722s |      27 | 18377361 | 13798133 |     2336  14611 |        0 |        0
1724.34/1724.87	c 1724s |      27 | 18395655 | 13812233 |     2336  14622 |        0 |        0
1726.34/1726.87	c 1726s |      27 | 18414530 | 13826433 |     2336  14634 |        0 |        0
1728.34/1728.88	c 1728s |      27 | 18433432 | 13840733 |     2336  14646 |        0 |        0
1730.34/1730.89	c 1730s |      27 | 18453537 | 13855433 |     2336  14659 |        0 |        0
1732.43/1732.90	c 1732s |      27 | 18471291 | 13869233 |     2336  14670 |        0 |        0
1734.43/1734.91	c 1734s |      27 | 18491159 | 13884233 |     2336  14683 |        0 |        0
1736.44/1736.92	c 1736s |      27 | 18510967 | 13899133 |     2336  14695 |        0 |        0
1738.43/1738.92	c 1738s |      27 | 18528382 | 13912633 |     2336  14706 |        0 |        0
1740.43/1740.93	c 1740s |      27 | 18545412 | 13926133 |     2336  14718 |        0 |        0
1742.43/1742.94	c 1742s |      27 | 18563830 | 13940533 |     2336  14730 |        0 |        0
1744.43/1744.95	c 1744s |      27 | 18582993 | 13954833 |     2336  14742 |        0 |        0
1746.44/1746.95	c 1746s |      27 | 18600974 | 13968433 |     2336  14753 |        0 |        0
1748.43/1748.95	c 1748s |      27 | 18620064 | 13982933 |     2336  14765 |        0 |        0
1750.43/1750.97	c 1750s |      27 | 18638968 | 13997333 |     2336  14778 |        0 |        0
1752.43/1752.97	c 1752s |      27 | 18658342 | 14011933 |     2336  14790 |        0 |        0
1754.43/1754.97	c 1754s |      27 | 18676878 | 14026033 |     2336  14802 |        0 |        0
1756.43/1756.98	c 1756s |      27 | 18694777 | 14039733 |     2336  14813 |        0 |        0
1758.44/1758.99	c 1758s |      27 | 18712766 | 14053633 |     2336  14825 |        0 |        0
1760.53/1761.00	c 1760s |      27 | 18729834 | 14066733 |     2336  14836 |        0 |        0
1762.53/1763.01	c 1762s |      27 | 18747699 | 14080433 |     2336  14848 |        0 |        0
1764.53/1765.01	c 1764s |      27 | 18766158 | 14094333 |     2336  14859 |        0 |        0
1766.53/1767.01	c 1766s |      27 | 18780706 | 14105733 |     2336  14869 |        0 |        0
1768.53/1769.02	c 1769s |      27 | 18796293 | 14117933 |     2336  14879 |        0 |        0
1770.53/1771.04	c 1771s |      27 | 18811815 | 14130233 |     2336  14889 |        0 |        0
1772.52/1773.04	c 1773s |      27 | 18827677 | 14142433 |     2336  14900 |        0 |        0
1774.52/1775.05	c 1775s |      27 | 18845874 | 14156333 |     2336  14911 |        0 |        0
1776.52/1777.06	c 1777s |      27 | 18863912 | 14170133 |     2336  14923 |        0 |        0
1778.52/1779.07	c 1779s |      27 | 18882105 | 14183933 |     2336  14935 |        0 |        0
1780.53/1781.08	c 1781s |      27 | 18899685 | 14197433 |     2336  14946 |        0 |        0
1782.52/1783.08	c 1783s |      27 | 18917573 | 14211433 |     2336  14958 |        0 |        0
1784.52/1785.08	c 1785s |      27 | 18935197 | 14224733 |     2336  14969 |        0 |        0
1786.52/1787.08	c 1787s |      27 | 18952773 | 14238033 |     2336  14980 |        0 |        0
1788.52/1789.09	c 1789s |      27 | 18971320 | 14252033 |     2336  14992 |        0 |        0
1790.63/1791.10	c 1791s |      27 | 18988709 | 14265533 |     2336  15003 |        0 |        0
1792.53/1793.10	c 1793s |      27 | 19006744 | 14279033 |     2336  15014 |        0 |        0
1794.63/1795.11	c 1795s |      27 | 19024355 | 14292233 |     2336  15026 |        0 |        0
1796.62/1797.12	c 1797s |      27 | 19044412 | 14307233 |     2336  15038 |        0 |        0
1798.62/1799.12	c 1799s |      27 | 19064688 | 14322433 |     2336  15051 |        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-4121714-1467315301/watcher-4121714-1467315301 -o /tmp/evaluation-result-4121714-1467315301/solver-4121714-1467315301 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18592 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121714-1467315301.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.32 2.23 3/179 19208
/proc/meminfo: memFree=27264028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 2442 0 0 0 0 0 0 0 20 0 4 0 12488669 674689024 3314 33554432000 4194304 16246674 140736130678720 140736130677656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 165231 3323 441 2943 0 162125 0
[pid=19208/tid=19209] ppid=19205 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 691466240 3382 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 696709120 3401 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=684476 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 700903424 3417 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.34 2.32 2.23 3/179 19208
/proc/meminfo: memFree=27264028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 24610 0 0 0 5 4 0 0 20 0 4 0 12488669 1247350784 25471 33554432000 4194304 16246674 140736130678720 140736130677656 6843278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 304529 25478 707 2943 0 301423 0
[pid=19208/tid=19209] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 25485 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 25491 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 25496 33554432000 4194304 16246674 140736130678720 140285040389296 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.200489 s]
/proc/loadavg: 2.34 2.32 2.23 3/179 19208
/proc/meminfo: memFree=27264028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 47688 0 0 0 12 7 0 0 20 0 4 0 12488669 1247350784 48550 33554432000 4194304 16246674 140736130678720 140736130677656 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 304529 48563 707 2943 0 301423 0
[pid=19208/tid=19209] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 48567 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 48577 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 48583 33554432000 4194304 16246674 140736130678720 140285040389296 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.300469 s]
/proc/loadavg: 2.34 2.32 2.23 3/179 19208
/proc/meminfo: memFree=27264028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 70284 0 0 0 19 10 0 0 20 0 4 0 12488669 1247350784 71145 33554432000 4194304 16246674 140736130678720 140736130677656 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 304529 71159 707 2943 0 301423 0
[pid=19208/tid=19209] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 71164 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 71173 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 71179 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.34 2.32 2.23 3/179 19208
/proc/meminfo: memFree=27264028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 159304 0 0 0 46 22 0 0 20 0 4 0 12488669 1247350784 160165 33554432000 4194304 16246674 140736130678720 140736130677656 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 304529 160176 707 2943 0 301423 0
[pid=19208/tid=19209] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 160181 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 160185 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1247350784 160191 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.34 2.32 2.23 3/183 19212
/proc/meminfo: memFree=26278444/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 245656 0 0 0 114 35 0 0 20 0 4 0 12488669 1248399360 246497 33554432000 4194304 16246674 140736130678720 140736130678032 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 304785 246497 785 2943 0 301679 0
[pid=19208/tid=19209] ppid=19205 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1248399360 246497 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1248399360 246497 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1248399360 246497 33554432000 4194304 16246674 140736130678720 140285040389296 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.1004 s]
/proc/loadavg: 2.34 2.32 2.23 3/182 19212
/proc/meminfo: memFree=26191520/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 267466 0 0 0 271 38 0 0 20 0 4 0 12488669 1337528320 268307 33554432000 4194304 16246674 140736130678720 140736130661720 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 326545 268307 785 2943 0 323439 0
[pid=19208/tid=19209] ppid=19205 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1337528320 268307 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1337528320 268307 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1337528320 268307 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.31 2.31 2.22 4/182 19212
/proc/meminfo: memFree=26190048/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 267579 0 0 0 591 38 0 0 20 0 4 0 12488669 1338576896 268420 33554432000 4194304 16246674 140736130678720 140736130660608 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 326801 268420 785 2943 0 323695 0
[pid=19208/tid=19209] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268420 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268420 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268420 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.28 2.31 2.22 3/183 19213
/proc/meminfo: memFree=26190364/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 267581 0 0 0 1231 38 0 0 20 0 4 0 12488669 1338576896 268422 33554432000 4194304 16246674 140736130678720 140736130661720 5754872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 326801 268422 787 2943 0 323695 0
[pid=19208/tid=19209] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268422 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268422 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268422 33554432000 4194304 16246674 140736130678720 140285040389296 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.30 2.31 2.22 4/183 19213
/proc/meminfo: memFree=26190028/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 267815 0 0 0 2511 38 0 0 20 0 4 0 12488669 1338576896 268656 33554432000 4194304 16246674 140736130678720 140736130660608 6009839 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 326801 268656 787 2943 0 323695 0
[pid=19208/tid=19209] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268656 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268656 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1338576896 268656 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.34 2.31 2.23 4/183 19213
/proc/meminfo: memFree=26189736/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 267920 0 0 0 5070 38 0 0 20 0 4 0 12488669 1339625472 268757 33554432000 4194304 16246674 140736130678720 140736130661720 5665815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 327057 268757 787 2943 0 323951 0
[pid=19208/tid=19209] ppid=19205 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1339625472 268757 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1339625472 268757 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1339625472 268757 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.40 2.34 2.24 3/183 19214
/proc/meminfo: memFree=26188296/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 268188 0 0 0 10188 39 0 0 20 0 4 0 12488669 1340674048 269016 33554432000 4194304 16246674 140736130678720 140736130661720 5823919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 327313 269016 787 2943 0 324207 0
[pid=19208/tid=19209] ppid=19205 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1340674048 269016 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1340674048 269016 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1340674048 269016 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.38 2.29 2.27 3/183 19634
/proc/meminfo: memFree=26193080/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1312324 CPUtime=1361.89 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269464 0 0 0 136130 59 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140736130660608 6845877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328081 269944 788 2943 0 324975 0
[pid=19208/tid=19209] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.28 2.28 2.27 4/183 19635
/proc/meminfo: memFree=26193040/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1312324 CPUtime=1421.88 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269464 0 0 0 142128 60 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140736130660608 5823975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328081 269944 788 2943 0 324975 0
[pid=19208/tid=19209] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.25 2.27 2.26 3/183 19636
/proc/meminfo: memFree=26192796/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1312324 CPUtime=1481.87 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269464 0 0 0 148126 61 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140736130660608 13191318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328081 269944 788 2943 0 324975 0
[pid=19208/tid=19209] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.32 2.28 2.27 3/184 19641
/proc/meminfo: memFree=26192820/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1312324 CPUtime=1541.87 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269464 0 0 0 154125 62 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140736130660608 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328081 269944 788 2943 0 324975 0
[pid=19208/tid=19209] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1343819776 269944 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.27 4/184 19713
/proc/meminfo: memFree=26187980/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1601.85 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269487 0 0 0 160122 63 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140736130661720 6837112 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269967 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.37 2.29 2.27 3/183 19714
/proc/meminfo: memFree=26187832/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1661.84 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269487 0 0 0 166120 64 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140736130660608 6862286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269967 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.24 2.27 2.27 3/183 19715
/proc/meminfo: memFree=26187964/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1721.84 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269487 0 0 0 172119 65 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140736130660608 6042751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269967 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269967 33554432000 4194304 16246674 140736130678720 140285040389296 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) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.21 2.26 2.27 4/183 19716
/proc/meminfo: memFree=26185672/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1781.82 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269488 0 0 0 178117 65 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140736130660608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269970 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 19717
/proc/meminfo: memFree=26185668/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1800.02 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269488 0 0 0 179936 66 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140736130660608 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269970 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 19717
/proc/meminfo: memFree=26185668/32872528 swapFree=1590004/1720820
[pid=19208] ppid=19205 vsize=1313348 CPUtime=1800.02 cores=0,2,4,6
/proc/19208/stat : 19208 (toysat) R 19205 19208 13693 0 -1 4202496 269488 0 0 0 179936 66 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140736130660608 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19208/statm: 328337 269970 788 2943 0 325231 0
[pid=19208/tid=19209] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19209/stat : 19209 (toysat) S 19205 19208 13693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285130550512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19208/tid=19210] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19210/stat : 19210 (toysat) S 19205 19208 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285120060656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19208/tid=19211] ppid=19205 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19208/task/19211/stat : 19211 (toysat) S 19205 19208 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12488669 1344868352 269970 33554432000 4194304 16246674 140736130678720 140285040389296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.37
CPU system time (s): 0.662899
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.662899
maximum resident set size= 1079880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269488
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= 375
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6153 second user time and 6.90895 second system time

The end

Begin job on node120 at 2016-06-30 21:35:01
IDJOB=4121714
IDBENCH=110642
IDSOLVER=2542
FILE ID=node120/4121714-1467315301
RUNJOBID= node120-1467312316-18592
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-65.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-4121714-1467315301/watcher-4121714-1467315301 -o /tmp/evaluation-result-4121714-1467315301/solver-4121714-1467315301 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18592 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121714-1467315301.opb

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

MD5SUM BENCH= 6c83e37a1e6a15014e24a0d6c1ba6b49
RANDOM SEED=406748602

node120.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.669
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.33
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.669
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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.669
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:        27264564 kB
Buffers:          169120 kB
Cached:          1880704 kB
SwapCached:            0 kB
Active:          1376804 kB
Inactive:        1764304 kB
Active(anon):    1093828 kB
Inactive(anon):        0 kB
Active(file):     282976 kB
Inactive(file):  1764304 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2816020 kB
Mapped:            17144 kB
Shmem:               204 kB
Slab:             611724 kB
SReclaimable:      55848 kB
SUnreclaim:       555876 kB
KernelStack:        1520 kB
PageTables:         9516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 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= 71640 MiB
End job on node120 at 2016-06-30 22:05:02