0.00/0.00	c 2016-06-15T23:59:59+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-4089477-1466027999.opb"]
0.00/0.01	c use --random-gen="2330949794 855488559 4126758728 2393654964 888084136 2029858003 4204498533 3109654736 3418308713 2686693740 2987972190 428796053 3922416587 3571158102 255559430 2488535830 1215295117 3536265396 3040781441 2329539827 591449071 643128736 242924709 1342408022 501240104 3707034621 1502382246 1675984190 970924516 1206173905 13218351 589464975 2058097746 1704518009 138793406 859723007 347866847 1121633713 238500735 420531202 2957302495 1733244360 2641092414 4101640134 2690201871 2639859884 3831260818 1840593630 1188186593 1438777701 2707685731 3799183904 617294215 579261707 1793031636 666418644 3800033110 752983267 3529116653 1689924039 3526582256 3867551598 3935437990 104192386 2920875516 2823313958 2155623555 1246401096 3552332738 3912813398 1313854034 153293862 4173784836 3205549291 1031601428 1322998842 1613901162 1158929291 1108886818 1277723895 1438177879 3267835655 1133841787 3592135974 3458518126 4169055262 3141626531 819383712 1645493530 2483812807 3461702390 1857497543 1488342821 756156932 394292826 3173873947 4186195232 3674031142 545663324 138859627 2020392791 207891514 790775630 1673206410 2518381409 3213619601 98401101 795658854 1653567123 2351318314 3706456697 104258310 1137997196 2618877337 1695028457 1349705199 1865201109 259665860 3567519593 2434128224 912907923 2519369732 17506571 4042552747 1677142045 1124930418 3031180736 2599016340 3726353169 3227938567 804333211 3760051446 52751628 3683215748 3737705710 3407300284 2437350341 3461313660 1030398919 1860795860 2004806908 3707700155 3724880904 1315828103 2191870802 706606666 168691257 3503984323 623524200 2177484398 1495002098 2051266191 2713040520 2790093468 1878975727 1230394169 2977875413 1971132669 4142195585 2362689210 1601241530 3300808587 1083196310 2251236411 3339785777 1148804466 1168222387 2230981676 4003830259 817656768 1696026766 418352826 1298528217 1495676672 3073267993 1602641358 1466262779 1253507582 3941173906 1760009024 2615133467 1807347251 3308402364 3785837862 2130029233 1370074214 702690878 3738055517 231695980 288764584 1079254735 1269620623 16158338 2799606663 2932039475 3861396957 1709081263 3494481203 1115556037 509709166 573234187 4194726256 2402369842 1080144064 2282828282 40883588 1037139414 1184247162 385368617 536146173 3304880615 937826159 2361748150 1731654040 286920483 1312701179 3744072109 3615729829 737930846 1497717149 1152841499 3689986328 277014795 3717360021 3354003988 1503531927 838383819 1439318799 2654553499 3925213724 1591500665 1514247716 2605750614 2260527733 2176218004 1745519207 3917401832 3356367990 329661756 371459694 2745142735 748532646 3860511047 4048709652 4095052752 2065732917 3266166339 3603701869 1496823034 532519789 3984015642 2381963458 3671764176 4105599114 2198527986 1607980498 255 362436" option to reproduce the execution
0.00/0.01	c #vars 110
0.00/0.01	c #constraints 221
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      110      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      150 |      100 |      110      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      349 |      250 |      122      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      627 |      475 |      135      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1010 |      813 |      149      7 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1560 |     1320 |      164     12 |        0 |        0
0.29/0.33	c  0.3s |       6 |     2372 |     2081 |      200     18 |        0 |        0
0.49/0.52	c  0.5s |       7 |     3568 |     3223 |      221     27 |        0 |        0
0.79/0.80	c  0.8s |       8 |     5347 |     4936 |      244     40 |        0 |        0
0.99/1.09	c  1.1s |       9 |     8034 |     7506 |      269     57 |        0 |        0
1.49/1.53	c  1.5s |      10 |    12007 |    11361 |      296     81 |        0 |        0
2.09/2.15	c  2.1s |      11 |    17966 |    17144 |      326    115 |        0 |        0
3.09/3.12	c  3.1s |      12 |    26915 |    25819 |      359    161 |        0 |        0
4.50/4.56	c  4.5s |      13 |    40607 |    38832 |      395    224 |        0 |        0
6.49/6.57	c  6.6s |      13 |    58942 |    56432 |      395    304 |        0 |        0
6.70/6.79	c  6.8s |      14 |    60948 |    58352 |      435    312 |        0 |        0
8.69/8.79	c  8.8s |      14 |    78806 |    75552 |      435    383 |        0 |        0
10.09/10.19	c 10.2s |      15 |    91281 |    87632 |      479    433 |        0 |        0
12.09/12.20	c 12.2s |      15 |   109199 |   104932 |      479    499 |        0 |        0
14.18/14.20	c 14.2s |      15 |   126822 |   121932 |      479    564 |        0 |        0
15.28/15.34	c 15.3s |      16 |   137214 |   131552 |      527    600 |        0 |        0
17.29/17.35	c 17.3s |      16 |   155083 |   148652 |      527    659 |        0 |        0
19.29/19.36	c 19.3s |      16 |   172543 |   165552 |      527    718 |        0 |        0
21.29/21.36	c 21.3s |      16 |   190091 |   182452 |      527    777 |        0 |        0
23.10/23.14	c 23.1s |      17 |   205744 |   197432 |      580    829 |        0 |        0
25.09/25.14	c 25.1s |      17 |   222976 |   213932 |      580    882 |        0 |        0
27.09/27.15	c 27.1s |      17 |   240275 |   230432 |      580    935 |        0 |        0
29.09/29.15	c 29.1s |      17 |   257486 |   246832 |      580    987 |        0 |        0
31.09/31.16	c 31.1s |      17 |   275113 |   263232 |      580   1040 |        0 |        0
33.09/33.16	c 33.2s |      17 |   292522 |   279732 |      580   1092 |        0 |        0
35.08/35.17	c 35.2s |      17 |   309860 |   296132 |      638   1144 |        0 |        0
35.08/35.18	c 35.2s |      18 |   309989 |   296252 |      638   1144 |        0 |        0
37.08/37.19	c 37.2s |      18 |   328273 |   313152 |      638   1194 |        0 |        0
39.18/39.20	c 39.2s |      18 |   345951 |   329652 |      638   1242 |        0 |        0
41.18/41.20	c 41.2s |      18 |   362995 |   345752 |      638   1289 |        0 |        0
43.18/43.21	c 43.2s |      18 |   380271 |   361952 |      638   1336 |        0 |        0
45.19/45.21	c 45.2s |      18 |   397351 |   377952 |      638   1383 |        0 |        0
47.18/47.22	c 47.2s |      18 |   414334 |   394152 |      638   1431 |        0 |        0
49.18/49.22	c 49.2s |      18 |   431315 |   410252 |      638   1478 |        0 |        0
51.18/51.23	c 51.2s |      18 |   448118 |   426252 |      638   1525 |        0 |        0
53.18/53.24	c 53.2s |      18 |   465149 |   442352 |      702   1571 |        0 |        0
53.48/53.50	c 53.5s |      19 |   467383 |   444482 |      702   1577 |        0 |        0
55.48/55.51	c 55.5s |      19 |   484613 |   460582 |      702   1620 |        0 |        0
57.48/57.52	c 57.5s |      19 |   501881 |   476682 |      702   1663 |        0 |        0
59.48/59.53	c 59.5s |      19 |   518560 |   492582 |      702   1706 |        0 |        0
61.48/61.53	c 61.5s |      19 |   535656 |   508682 |      702   1749 |        0 |        0
63.48/63.54	c 63.5s |      19 |   552787 |   524782 |      702   1792 |        0 |        0
65.48/65.54	c 65.5s |      19 |   569689 |   540682 |      702   1834 |        0 |        0
67.48/67.55	c 67.5s |      19 |   586527 |   556482 |      702   1877 |        0 |        0
69.48/69.56	c 69.5s |      19 |   603071 |   572282 |      702   1919 |        0 |        0
71.49/71.56	c 71.5s |      19 |   619818 |   588082 |      702   1961 |        0 |        0
73.48/73.56	c 73.6s |      19 |   636845 |   604082 |      702   2004 |        0 |        0
75.48/75.57	c 75.6s |      19 |   653726 |   620082 |      702   2047 |        0 |        0
77.48/77.58	c 77.6s |      19 |   670558 |   635982 |      702   2090 |        0 |        0
79.48/79.58	c 79.6s |      19 |   687302 |   651582 |      702   2131 |        0 |        0
81.49/81.55	c 81.5s |      20 |   703536 |   666827 |      773   2171 |        0 |        0
83.48/83.56	c 83.5s |      20 |   720441 |   682527 |      773   2209 |        0 |        0
85.48/85.57	c 85.6s |      20 |   736688 |   698227 |      773   2247 |        0 |        0
87.48/87.58	c 87.6s |      20 |   753443 |   713727 |      773   2285 |        0 |        0
89.57/89.60	c 89.6s |      20 |   770496 |   729327 |      773   2324 |        0 |        0
91.57/91.60	c 91.6s |      20 |   786924 |   744827 |      773   2361 |        0 |        0
93.48/93.60	c 93.6s |      20 |   803499 |   760327 |      773   2399 |        0 |        0
95.57/95.61	c 95.6s |      20 |   819894 |   775727 |      773   2437 |        0 |        0
97.57/97.62	c 97.6s |      20 |   836151 |   791127 |      773   2474 |        0 |        0
99.57/99.62	c 99.6s |      20 |   852608 |   806727 |      773   2512 |        0 |        0
101.57/101.63	c  101s |      20 |   868910 |   821927 |      773   2550 |        0 |        0
103.57/103.63	c  103s |      20 |   885278 |   837427 |      773   2588 |        0 |        0
105.58/105.64	c  105s |      20 |   901727 |   853027 |      773   2626 |        0 |        0
107.57/107.64	c  107s |      20 |   917918 |   868427 |      773   2663 |        0 |        0
109.57/109.65	c  109s |      20 |   933924 |   883927 |      773   2701 |        0 |        0
111.58/111.66	c  111s |      20 |   950187 |   899227 |      773   2739 |        0 |        0
113.57/113.66	c  113s |      20 |   966727 |   914927 |      773   2777 |        0 |        0
115.58/115.67	c  115s |      20 |   984034 |   930927 |      773   2817 |        0 |        0
117.58/117.67	c  117s |      20 |  1000619 |   946427 |      773   2855 |        0 |        0
119.57/119.68	c  119s |      20 |  1017194 |   961827 |      773   2892 |        0 |        0
121.57/121.69	c  121s |      20 |  1033379 |   977127 |      773   2930 |        0 |        0
123.57/123.69	c  123s |      20 |  1049411 |   992327 |      773   2967 |        0 |        0
124.67/124.74	c  124s |      21 |  1058104 |  1000345 |      851   2985 |        0 |        0
126.67/126.74	c  126s |      21 |  1074692 |  1015945 |      851   3020 |        0 |        0
128.68/128.75	c  128s |      21 |  1091598 |  1031745 |      851   3055 |        0 |        0
130.67/130.75	c  130s |      21 |  1108168 |  1047345 |      851   3089 |        0 |        0
132.67/132.77	c  132s |      21 |  1124510 |  1062745 |      851   3124 |        0 |        0
134.67/134.77	c  134s |      21 |  1140704 |  1078045 |      851   3158 |        0 |        0
136.67/136.78	c  136s |      21 |  1156970 |  1093445 |      851   3192 |        0 |        0
138.68/138.78	c  138s |      21 |  1173197 |  1108645 |      851   3226 |        0 |        0
140.67/140.79	c  140s |      21 |  1189434 |  1123945 |      851   3260 |        0 |        0
142.67/142.79	c  142s |      21 |  1205505 |  1139145 |      851   3294 |        0 |        0
144.77/144.80	c  144s |      21 |  1221633 |  1154445 |      851   3328 |        0 |        0
146.77/146.82	c  146s |      21 |  1238047 |  1169945 |      851   3363 |        0 |        0
148.77/148.83	c  148s |      21 |  1254713 |  1185345 |      851   3398 |        0 |        0
150.77/150.83	c  150s |      21 |  1271010 |  1200545 |      851   3432 |        0 |        0
152.76/152.83	c  152s |      21 |  1287153 |  1215745 |      851   3465 |        0 |        0
154.76/154.84	c  154s |      21 |  1303482 |  1230945 |      851   3499 |        0 |        0
156.76/156.84	c  156s |      21 |  1319684 |  1246345 |      851   3534 |        0 |        0
158.77/158.85	c  158s |      21 |  1335925 |  1261745 |      851   3568 |        0 |        0
160.77/160.85	c  160s |      21 |  1351909 |  1276845 |      851   3602 |        0 |        0
162.77/162.86	c  162s |      21 |  1367953 |  1292045 |      851   3636 |        0 |        0
164.77/164.86	c  164s |      21 |  1384101 |  1307345 |      851   3670 |        0 |        0
166.76/166.86	c  166s |      21 |  1400060 |  1322645 |      851   3705 |        0 |        0
168.76/168.87	c  168s |      21 |  1415825 |  1337845 |      851   3739 |        0 |        0
170.76/170.88	c  170s |      21 |  1431762 |  1353145 |      851   3773 |        0 |        0
172.77/172.88	c  172s |      21 |  1447448 |  1368245 |      851   3807 |        0 |        0
174.76/174.89	c  174s |      21 |  1463399 |  1383445 |      851   3841 |        0 |        0
176.86/176.90	c  176s |      21 |  1479440 |  1398845 |      851   3875 |        0 |        0
178.86/178.90	c  178s |      21 |  1495088 |  1413945 |      851   3909 |        0 |        0
180.86/180.90	c  180s |      21 |  1511208 |  1429245 |      851   3943 |        0 |        0
182.86/182.92	c  182s |      21 |  1526912 |  1444145 |      851   3976 |        0 |        0
184.87/184.93	c  184s |      21 |  1542957 |  1459345 |      851   4010 |        0 |        0
186.86/186.93	c  186s |      21 |  1558923 |  1474445 |      851   4044 |        0 |        0
188.86/188.93	c  188s |      21 |  1574949 |  1489345 |      851   4078 |        0 |        0
190.37/190.46	c  190s |      22 |  1587146 |  1500622 |      937   4101 |        0 |        0
192.36/192.47	c  192s |      22 |  1603691 |  1515922 |      937   4132 |        0 |        0
194.36/194.48	c  194s |      22 |  1620703 |  1531322 |      937   4163 |        0 |        0
196.36/196.49	c  196s |      22 |  1637688 |  1546622 |      937   4194 |        0 |        0
198.46/198.50	c  198s |      22 |  1654279 |  1561922 |      937   4225 |        0 |        0
200.45/200.51	c  200s |      22 |  1670429 |  1577022 |      937   4256 |        0 |        0
202.46/202.51	c  202s |      22 |  1686757 |  1592122 |      937   4287 |        0 |        0
204.45/204.52	c  204s |      22 |  1703397 |  1607222 |      937   4318 |        0 |        0
206.45/206.52	c  206s |      22 |  1719928 |  1622422 |      937   4349 |        0 |        0
208.45/208.53	c  208s |      22 |  1736216 |  1637322 |      937   4379 |        0 |        0
210.45/210.54	c  210s |      22 |  1752576 |  1652222 |      937   4409 |        0 |        0
212.45/212.55	c  212s |      22 |  1769427 |  1667322 |      937   4440 |        0 |        0
214.45/214.56	c  214s |      22 |  1785845 |  1682422 |      937   4471 |        0 |        0
216.45/216.56	c  216s |      22 |  1801708 |  1697422 |      937   4501 |        0 |        0
218.45/218.57	c  218s |      22 |  1817904 |  1712522 |      937   4532 |        0 |        0
220.44/220.57	c  220s |      22 |  1834165 |  1727522 |      937   4563 |        0 |        0
222.44/222.58	c  222s |      22 |  1850124 |  1742722 |      937   4594 |        0 |        0
224.45/224.59	c  224s |      22 |  1866239 |  1757622 |      937   4624 |        0 |        0
226.44/226.59	c  226s |      22 |  1882322 |  1772722 |      937   4655 |        0 |        0
228.44/228.59	c  228s |      22 |  1898553 |  1787722 |      937   4686 |        0 |        0
230.54/230.61	c  230s |      22 |  1915332 |  1803222 |      937   4718 |        0 |        0
232.54/232.61	c  232s |      22 |  1932050 |  1818522 |      937   4749 |        0 |        0
234.54/234.62	c  234s |      22 |  1948442 |  1833722 |      937   4780 |        0 |        0
236.55/236.62	c  236s |      22 |  1964930 |  1848922 |      937   4811 |        0 |        0
238.55/238.63	c  238s |      22 |  1981300 |  1863922 |      937   4841 |        0 |        0
240.55/240.64	c  240s |      22 |  1997511 |  1879022 |      937   4872 |        0 |        0
242.54/242.64	c  242s |      22 |  2014208 |  1894022 |      937   4903 |        0 |        0
244.54/244.65	c  244s |      22 |  2030623 |  1909422 |      937   4935 |        0 |        0
246.54/246.66	c  246s |      22 |  2047266 |  1924622 |      937   4966 |        0 |        0
248.55/248.68	c  248s |      22 |  2064032 |  1939822 |      937   4997 |        0 |        0
250.54/250.68	c  250s |      22 |  2080421 |  1954822 |      937   5027 |        0 |        0
252.54/252.69	c  252s |      22 |  2097574 |  1970122 |      937   5059 |        0 |        0
254.63/254.70	c  254s |      22 |  2113704 |  1985122 |      937   5089 |        0 |        0
256.63/256.70	c  256s |      22 |  2129940 |  2000122 |      937   5120 |        0 |        0
258.63/258.70	c  258s |      22 |  2145546 |  2014822 |      937   5150 |        0 |        0
260.53/260.70	c  260s |      22 |  2161749 |  2029522 |      937   5180 |        0 |        0
262.63/262.71	c  262s |      22 |  2177870 |  2044422 |      937   5210 |        0 |        0
264.63/264.72	c  264s |      22 |  2194039 |  2059222 |      937   5241 |        0 |        0
266.63/266.74	c  266s |      22 |  2210473 |  2074422 |      937   5272 |        0 |        0
268.63/268.74	c  268s |      22 |  2226704 |  2089422 |      937   5302 |        0 |        0
270.63/270.75	c  270s |      22 |  2243046 |  2104422 |      937   5333 |        0 |        0
272.62/272.75	c  272s |      22 |  2259028 |  2119322 |      937   5364 |        0 |        0
274.62/274.76	c  274s |      22 |  2275605 |  2134522 |      937   5394 |        0 |        0
276.62/276.76	c  276s |      22 |  2292021 |  2149722 |      937   5425 |        0 |        0
278.63/278.76	c  278s |      22 |  2308130 |  2164822 |      937   5456 |        0 |        0
280.62/280.77	c  280s |      22 |  2323936 |  2179822 |      937   5487 |        0 |        0
282.63/282.78	c  282s |      22 |  2339994 |  2194922 |      937   5517 |        0 |        0
284.62/284.79	c  284s |      22 |  2355885 |  2209922 |      937   5548 |        0 |        0
286.62/286.80	c  286s |      22 |  2372338 |  2225322 |      937   5579 |        0 |        0
288.72/288.81	c  288s |      22 |  2388676 |  2240322 |     1031   5609 |        0 |        0
290.12/290.25	c  290s |      23 |  2400018 |  2251038 |     1031   5629 |        0 |        0
292.12/292.26	c  292s |      23 |  2416671 |  2266238 |     1031   5657 |        0 |        0
294.12/294.27	c  294s |      23 |  2432632 |  2281238 |     1031   5685 |        0 |        0
296.12/296.28	c  296s |      23 |  2448653 |  2296138 |     1031   5713 |        0 |        0
298.12/298.28	c  298s |      23 |  2464507 |  2310938 |     1031   5740 |        0 |        0
300.11/300.28	c  300s |      23 |  2480303 |  2325538 |     1031   5768 |        0 |        0
302.11/302.29	c  302s |      23 |  2496335 |  2340738 |     1031   5796 |        0 |        0
304.21/304.30	c  304s |      23 |  2512108 |  2355738 |     1031   5824 |        0 |        0
306.21/306.31	c  306s |      23 |  2527970 |  2370838 |     1031   5852 |        0 |        0
308.21/308.32	c  308s |      23 |  2543490 |  2385538 |     1031   5879 |        0 |        0
310.22/310.33	c  310s |      23 |  2559205 |  2400538 |     1031   5907 |        0 |        0
312.21/312.34	c  312s |      23 |  2574609 |  2415238 |     1031   5935 |        0 |        0
314.21/314.35	c  314s |      23 |  2590132 |  2429938 |     1031   5962 |        0 |        0
316.21/316.35	c  316s |      23 |  2605788 |  2444938 |     1031   5990 |        0 |        0
318.21/318.37	c  318s |      23 |  2621677 |  2459838 |     1031   6018 |        0 |        0
320.20/320.38	c  320s |      23 |  2637849 |  2474438 |     1031   6045 |        0 |        0
322.21/322.40	c  322s |      23 |  2653743 |  2489338 |     1031   6073 |        0 |        0
324.20/324.40	c  324s |      23 |  2670157 |  2504338 |     1031   6101 |        0 |        0
326.30/326.40	c  326s |      23 |  2686104 |  2519138 |     1031   6128 |        0 |        0
328.30/328.41	c  328s |      23 |  2702411 |  2533938 |     1031   6156 |        0 |        0
330.30/330.41	c  330s |      23 |  2718002 |  2548638 |     1031   6183 |        0 |        0
332.30/332.42	c  332s |      23 |  2734078 |  2563438 |     1031   6211 |        0 |        0
334.31/334.43	c  334s |      23 |  2749910 |  2578238 |     1031   6238 |        0 |        0
336.30/336.44	c  336s |      23 |  2765737 |  2593038 |     1031   6266 |        0 |        0
338.30/338.45	c  338s |      23 |  2781526 |  2607638 |     1031   6293 |        0 |        0
340.29/340.46	c  340s |      23 |  2797242 |  2622138 |     1031   6320 |        0 |        0
342.29/342.46	c  342s |      23 |  2813029 |  2636838 |     1031   6347 |        0 |        0
344.30/344.47	c  344s |      23 |  2828754 |  2651338 |     1031   6374 |        0 |        0
346.29/346.48	c  346s |      23 |  2844651 |  2666138 |     1031   6402 |        0 |        0
348.29/348.49	c  348s |      23 |  2860493 |  2680838 |     1031   6429 |        0 |        0
350.28/350.49	c  350s |      23 |  2876262 |  2695738 |     1031   6457 |        0 |        0
352.28/352.49	c  352s |      23 |  2892010 |  2710638 |     1031   6485 |        0 |        0
354.38/354.50	c  354s |      23 |  2907811 |  2725538 |     1031   6512 |        0 |        0
356.39/356.51	c  356s |      23 |  2923345 |  2740238 |     1031   6540 |        0 |        0
358.39/358.52	c  358s |      23 |  2938944 |  2754638 |     1031   6567 |        0 |        0
360.39/360.53	c  360s |      23 |  2955223 |  2769538 |     1031   6594 |        0 |        0
362.39/362.54	c  362s |      23 |  2971278 |  2784238 |     1031   6622 |        0 |        0
364.39/364.54	c  364s |      23 |  2987107 |  2798938 |     1031   6649 |        0 |        0
366.39/366.56	c  366s |      23 |  3002994 |  2813738 |     1031   6677 |        0 |        0
368.40/368.56	c  368s |      23 |  3018722 |  2828438 |     1031   6704 |        0 |        0
370.38/370.58	c  370s |      23 |  3034879 |  2843138 |     1031   6732 |        0 |        0
372.38/372.59	c  372s |      23 |  3050826 |  2857938 |     1031   6759 |        0 |        0
374.48/374.60	c  374s |      23 |  3067513 |  2872938 |     1031   6787 |        0 |        0
376.48/376.61	c  376s |      23 |  3083339 |  2887838 |     1031   6815 |        0 |        0
378.48/378.61	c  378s |      23 |  3099026 |  2902838 |     1031   6843 |        0 |        0
380.48/380.62	c  380s |      23 |  3115281 |  2917738 |     1031   6870 |        0 |        0
382.48/382.63	c  382s |      23 |  3130780 |  2932638 |     1031   6898 |        0 |        0
384.48/384.63	c  384s |      23 |  3146484 |  2947538 |     1031   6926 |        0 |        0
386.48/386.64	c  386s |      23 |  3162619 |  2962638 |     1031   6954 |        0 |        0
388.48/388.64	c  388s |      23 |  3178582 |  2977638 |     1031   6982 |        0 |        0
390.48/390.65	c  390s |      23 |  3194474 |  2992538 |     1031   7010 |        0 |        0
392.47/392.65	c  392s |      23 |  3210482 |  3007438 |     1031   7037 |        0 |        0
394.47/394.67	c  394s |      23 |  3226614 |  3022238 |     1031   7065 |        0 |        0
396.47/396.68	c  396s |      23 |  3242584 |  3037238 |     1031   7093 |        0 |        0
398.47/398.68	c  398s |      23 |  3258628 |  3052038 |     1031   7120 |        0 |        0
400.46/400.69	c  400s |      23 |  3273966 |  3066538 |     1031   7147 |        0 |        0
402.47/402.70	c  402s |      23 |  3289542 |  3081138 |     1031   7174 |        0 |        0
404.56/404.70	c  404s |      23 |  3305145 |  3095938 |     1031   7202 |        0 |        0
406.56/406.71	c  406s |      23 |  3320663 |  3110738 |     1031   7229 |        0 |        0
408.56/408.72	c  408s |      23 |  3336229 |  3125438 |     1031   7257 |        0 |        0
410.56/410.73	c  410s |      23 |  3351829 |  3140138 |     1031   7284 |        0 |        0
412.56/412.74	c  412s |      23 |  3367501 |  3154938 |     1031   7312 |        0 |        0
414.57/414.75	c  414s |      23 |  3383503 |  3169838 |     1031   7339 |        0 |        0
416.57/416.76	c  416s |      23 |  3399587 |  3184838 |     1031   7367 |        0 |        0
418.57/418.77	c  418s |      23 |  3414991 |  3199638 |     1031   7395 |        0 |        0
420.56/420.77	c  420s |      23 |  3431158 |  3214138 |     1031   7422 |        0 |        0
422.56/422.78	c  422s |      23 |  3447151 |  3228938 |     1031   7449 |        0 |        0
424.57/424.79	c  424s |      23 |  3463069 |  3244038 |     1031   7477 |        0 |        0
426.56/426.79	c  426s |      23 |  3478784 |  3259038 |     1031   7505 |        0 |        0
428.66/428.80	c  428s |      23 |  3494716 |  3273738 |     1031   7533 |        0 |        0
430.66/430.80	c  430s |      23 |  3510375 |  3288538 |     1031   7560 |        0 |        0
432.66/432.81	c  432s |      23 |  3526308 |  3303438 |     1031   7588 |        0 |        0
434.66/434.82	c  434s |      23 |  3542709 |  3318338 |     1031   7616 |        0 |        0
436.67/436.83	c  436s |      23 |  3558441 |  3333138 |     1031   7643 |        0 |        0
438.66/438.83	c  438s |      23 |  3574757 |  3348238 |     1031   7672 |        0 |        0
440.65/440.84	c  440s |      23 |  3590927 |  3363038 |     1135   7697 |        0 |        0
442.45/442.68	c  442s |      24 |  3605766 |  3376662 |     1135   7721 |        0 |        0
444.45/444.69	c  444s |      24 |  3621869 |  3391762 |     1135   7746 |        0 |        0
446.46/446.70	c  446s |      24 |  3638294 |  3407062 |     1135   7772 |        0 |        0
448.55/448.70	c  448s |      24 |  3654024 |  3421862 |     1135   7797 |        0 |        0
450.55/450.71	c  450s |      24 |  3669861 |  3436662 |     1135   7822 |        0 |        0
452.55/452.72	c  452s |      24 |  3685388 |  3451362 |     1135   7847 |        0 |        0
454.55/454.72	c  454s |      24 |  3701150 |  3466162 |     1135   7872 |        0 |        0
456.55/456.73	c  456s |      24 |  3717011 |  3481062 |     1135   7898 |        0 |        0
458.55/458.73	c  458s |      24 |  3732546 |  3495762 |     1135   7923 |        0 |        0
460.55/460.74	c  460s |      24 |  3748057 |  3510162 |     1135   7947 |        0 |        0
462.54/462.75	c  462s |      24 |  3763861 |  3524662 |     1135   7972 |        0 |        0
464.54/464.75	c  464s |      24 |  3779627 |  3539462 |     1135   7997 |        0 |        0
466.54/466.75	c  466s |      24 |  3795618 |  3554262 |     1135   8022 |        0 |        0
468.55/468.76	c  468s |      24 |  3811249 |  3569062 |     1135   8047 |        0 |        0
470.54/470.76	c  470s |      24 |  3826951 |  3583762 |     1135   8072 |        0 |        0
472.54/472.77	c  472s |      24 |  3843146 |  3598762 |     1135   8097 |        0 |        0
474.54/474.78	c  474s |      24 |  3859386 |  3613462 |     1135   8122 |        0 |        0
476.53/476.80	c  476s |      24 |  3874756 |  3627962 |     1135   8147 |        0 |        0
478.64/478.80	c  478s |      24 |  3890302 |  3642462 |     1135   8172 |        0 |        0
480.55/480.80	c  480s |      24 |  3906107 |  3657062 |     1135   8196 |        0 |        0
482.64/482.80	c  482s |      24 |  3922106 |  3671762 |     1135   8221 |        0 |        0
484.64/484.81	c  484s |      24 |  3937727 |  3686262 |     1135   8246 |        0 |        0
486.64/486.81	c  486s |      24 |  3953275 |  3700762 |     1135   8271 |        0 |        0
488.63/488.81	c  488s |      24 |  3969540 |  3715562 |     1135   8296 |        0 |        0
490.63/490.82	c  490s |      24 |  3986079 |  3730462 |     1135   8321 |        0 |        0
492.64/492.83	c  492s |      24 |  4002490 |  3745262 |     1135   8346 |        0 |        0
494.63/494.83	c  494s |      24 |  4018635 |  3760162 |     1135   8371 |        0 |        0
496.63/496.84	c  496s |      24 |  4034407 |  3774862 |     1135   8396 |        0 |        0
498.63/498.84	c  498s |      24 |  4050391 |  3789762 |     1135   8421 |        0 |        0
500.62/500.85	c  500s |      24 |  4066739 |  3804462 |     1135   8446 |        0 |        0
502.63/502.85	c  502s |      24 |  4082889 |  3819162 |     1135   8471 |        0 |        0
504.62/504.86	c  504s |      24 |  4098876 |  3833962 |     1135   8496 |        0 |        0
506.63/506.87	c  506s |      24 |  4115328 |  3848462 |     1135   8521 |        0 |        0
508.63/508.87	c  508s |      24 |  4131369 |  3862962 |     1135   8546 |        0 |        0
510.62/510.88	c  510s |      24 |  4147659 |  3877762 |     1135   8571 |        0 |        0
512.62/512.88	c  512s |      24 |  4163484 |  3892562 |     1135   8596 |        0 |        0
514.63/514.88	c  514s |      24 |  4179467 |  3907062 |     1135   8621 |        0 |        0
516.62/516.89	c  516s |      24 |  4195670 |  3921762 |     1135   8646 |        0 |        0
518.62/518.90	c  518s |      24 |  4211527 |  3936162 |     1135   8670 |        0 |        0
520.72/520.90	c  520s |      24 |  4227529 |  3950862 |     1135   8695 |        0 |        0
522.72/522.91	c  522s |      24 |  4243228 |  3965562 |     1135   8720 |        0 |        0
524.72/524.92	c  524s |      24 |  4259159 |  3980262 |     1135   8745 |        0 |        0
526.72/526.92	c  526s |      24 |  4275832 |  3995062 |     1135   8770 |        0 |        0
528.72/528.93	c  528s |      24 |  4292381 |  4009862 |     1135   8795 |        0 |        0
530.71/530.95	c  530s |      24 |  4308584 |  4024762 |     1135   8821 |        0 |        0
532.71/532.96	c  532s |      24 |  4325026 |  4039562 |     1135   8846 |        0 |        0
534.71/534.96	c  534s |      24 |  4341362 |  4054362 |     1135   8871 |        0 |        0
536.72/536.98	c  536s |      24 |  4357391 |  4069162 |     1135   8897 |        0 |        0
538.71/538.98	c  538s |      24 |  4373443 |  4083862 |     1135   8922 |        0 |        0
540.71/540.99	c  540s |      24 |  4389981 |  4098862 |     1135   8947 |        0 |        0
542.81/543.01	c  542s |      24 |  4405956 |  4113562 |     1135   8972 |        0 |        0
544.81/545.02	c  545s |      24 |  4421863 |  4128062 |     1135   8997 |        0 |        0
546.81/547.02	c  547s |      24 |  4438151 |  4142662 |     1135   9022 |        0 |        0
548.81/549.03	c  549s |      24 |  4453775 |  4157262 |     1135   9046 |        0 |        0
550.80/551.03	c  551s |      24 |  4469746 |  4171962 |     1135   9071 |        0 |        0
552.80/553.03	c  553s |      24 |  4485661 |  4186562 |     1135   9096 |        0 |        0
554.80/555.03	c  555s |      24 |  4502099 |  4201162 |     1135   9121 |        0 |        0
556.81/557.04	c  557s |      24 |  4517792 |  4215662 |     1135   9146 |        0 |        0
558.81/559.04	c  559s |      24 |  4533531 |  4230262 |     1135   9171 |        0 |        0
560.81/561.05	c  561s |      24 |  4549382 |  4244962 |     1135   9196 |        0 |        0
562.80/563.05	c  563s |      24 |  4565147 |  4259662 |     1135   9221 |        0 |        0
564.80/565.05	c  565s |      24 |  4581177 |  4274262 |     1135   9245 |        0 |        0
566.80/567.06	c  567s |      24 |  4597649 |  4289162 |     1135   9270 |        0 |        0
568.80/569.06	c  569s |      24 |  4614082 |  4303962 |     1135   9296 |        0 |        0
570.80/571.07	c  571s |      24 |  4630190 |  4318762 |     1135   9321 |        0 |        0
572.79/573.07	c  573s |      24 |  4645865 |  4333262 |     1135   9345 |        0 |        0
574.79/575.08	c  575s |      24 |  4661447 |  4347562 |     1135   9370 |        0 |        0
576.79/577.09	c  577s |      24 |  4677153 |  4361962 |     1135   9394 |        0 |        0
578.79/579.09	c  579s |      24 |  4692408 |  4376562 |     1135   9419 |        0 |        0
580.80/581.09	c  581s |      24 |  4708174 |  4391362 |     1135   9444 |        0 |        0
582.80/583.10	c  583s |      24 |  4723929 |  4405962 |     1135   9469 |        0 |        0
584.89/585.11	c  585s |      24 |  4739403 |  4420462 |     1135   9494 |        0 |        0
586.89/587.11	c  587s |      24 |  4755321 |  4435262 |     1135   9519 |        0 |        0
588.89/589.11	c  589s |      24 |  4771174 |  4450062 |     1135   9544 |        0 |        0
590.89/591.11	c  591s |      24 |  4786939 |  4464762 |     1135   9569 |        0 |        0
592.89/593.11	c  593s |      24 |  4802663 |  4479462 |     1135   9594 |        0 |        0
594.89/595.12	c  595s |      24 |  4818912 |  4494462 |     1135   9619 |        0 |        0
596.88/597.12	c  597s |      24 |  4834536 |  4509262 |     1135   9644 |        0 |        0
598.88/599.13	c  599s |      24 |  4850248 |  4523962 |     1135   9669 |        0 |        0
600.88/601.14	c  601s |      24 |  4865795 |  4538762 |     1135   9694 |        0 |        0
602.88/603.15	c  603s |      24 |  4881896 |  4553762 |     1135   9720 |        0 |        0
604.89/605.16	c  605s |      24 |  4897620 |  4568662 |     1135   9745 |        0 |        0
606.88/607.16	c  607s |      24 |  4913335 |  4583362 |     1135   9770 |        0 |        0
608.88/609.16	c  609s |      24 |  4929218 |  4598162 |     1135   9795 |        0 |        0
610.88/611.17	c  611s |      24 |  4944729 |  4612562 |     1135   9820 |        0 |        0
612.87/613.17	c  613s |      24 |  4961062 |  4627162 |     1135   9845 |        0 |        0
614.88/615.18	c  615s |      24 |  4977264 |  4642262 |     1135   9870 |        0 |        0
616.88/617.19	c  617s |      24 |  4993287 |  4657062 |     1135   9895 |        0 |        0
618.87/619.20	c  619s |      24 |  5009527 |  4671862 |     1135   9921 |        0 |        0
620.97/621.20	c  621s |      24 |  5026247 |  4686862 |     1135   9946 |        0 |        0
622.98/623.22	c  623s |      24 |  5042770 |  4702062 |     1135   9972 |        0 |        0
624.98/625.22	c  625s |      24 |  5058721 |  4716662 |     1135   9997 |        0 |        0
626.98/627.22	c  627s |      24 |  5074508 |  4731462 |     1135  10022 |        0 |        0
628.98/629.23	c  629s |      24 |  5090069 |  4746062 |     1135  10047 |        0 |        0
630.97/631.23	c  631s |      24 |  5105690 |  4760662 |     1135  10071 |        0 |        0
632.97/633.24	c  633s |      24 |  5121275 |  4775362 |     1135  10096 |        0 |        0
634.97/635.25	c  635s |      24 |  5137300 |  4790062 |     1135  10121 |        0 |        0
636.97/637.26	c  637s |      24 |  5154120 |  4804862 |     1135  10147 |        0 |        0
638.97/639.26	c  639s |      24 |  5170307 |  4819662 |     1135  10172 |        0 |        0
640.96/641.26	c  641s |      24 |  5186295 |  4834562 |     1135  10197 |        0 |        0
642.96/643.27	c  643s |      24 |  5202359 |  4849362 |     1135  10222 |        0 |        0
644.96/645.28	c  645s |      24 |  5218989 |  4864562 |     1135  10248 |        0 |        0
646.96/647.29	c  647s |      24 |  5235412 |  4879462 |     1135  10274 |        0 |        0
649.06/649.30	c  649s |      24 |  5250934 |  4893962 |     1135  10298 |        0 |        0
651.07/651.31	c  651s |      24 |  5266873 |  4908862 |     1135  10323 |        0 |        0
653.06/653.31	c  653s |      24 |  5282715 |  4923662 |     1135  10349 |        0 |        0
655.06/655.32	c  655s |      24 |  5298591 |  4938462 |     1135  10374 |        0 |        0
657.06/657.32	c  657s |      24 |  5315109 |  4953562 |     1135  10399 |        0 |        0
659.06/659.34	c  659s |      24 |  5331165 |  4968462 |     1135  10425 |        0 |        0
661.06/661.34	c  661s |      24 |  5347568 |  4983262 |     1135  10450 |        0 |        0
663.06/663.35	c  663s |      24 |  5363395 |  4998062 |     1135  10475 |        0 |        0
665.06/665.35	c  665s |      24 |  5379307 |  5012662 |     1135  10500 |        0 |        0
667.06/667.36	c  667s |      24 |  5395656 |  5027462 |     1135  10525 |        0 |        0
669.05/669.37	c  669s |      24 |  5411710 |  5042162 |     1249  10548 |        0 |        0
671.05/671.37	c  671s |      24 |  5427597 |  5056662 |     1249  10570 |        0 |        0
672.25/672.53	c  672s |      25 |  5436673 |  5065098 |     1249  10583 |        0 |        0
674.25/674.54	c  674s |      25 |  5453071 |  5079898 |     1249  10606 |        0 |        0
676.26/676.55	c  676s |      25 |  5469447 |  5094798 |     1249  10629 |        0 |        0
678.25/678.55	c  678s |      25 |  5485969 |  5109798 |     1249  10652 |        0 |        0
680.25/680.56	c  680s |      25 |  5502911 |  5124798 |     1249  10676 |        0 |        0
682.25/682.56	c  682s |      25 |  5519271 |  5139698 |     1249  10699 |        0 |        0
684.24/684.57	c  684s |      25 |  5535345 |  5154498 |     1249  10722 |        0 |        0
686.25/686.57	c  686s |      25 |  5551852 |  5169198 |     1249  10744 |        0 |        0
688.24/688.57	c  688s |      25 |  5568002 |  5183898 |     1249  10767 |        0 |        0
690.24/690.57	c  690s |      25 |  5584025 |  5198498 |     1249  10790 |        0 |        0
692.24/692.58	c  692s |      25 |  5600105 |  5213098 |     1249  10812 |        0 |        0
694.24/694.59	c  694s |      25 |  5615911 |  5227998 |     1249  10835 |        0 |        0
696.24/696.59	c  696s |      25 |  5631471 |  5242598 |     1249  10858 |        0 |        0
698.25/698.59	c  698s |      25 |  5646871 |  5257298 |     1249  10881 |        0 |        0
700.34/700.60	c  700s |      25 |  5662709 |  5271898 |     1249  10903 |        0 |        0
702.35/702.61	c  702s |      25 |  5678202 |  5286498 |     1249  10926 |        0 |        0
704.34/704.63	c  704s |      25 |  5693875 |  5301198 |     1249  10949 |        0 |        0
706.34/706.63	c  706s |      25 |  5709834 |  5315898 |     1249  10971 |        0 |        0
708.34/708.63	c  708s |      25 |  5725397 |  5330298 |     1249  10994 |        0 |        0
710.35/710.64	c  710s |      25 |  5741356 |  5344898 |     1249  11016 |        0 |        0
712.34/712.65	c  712s |      25 |  5757367 |  5359598 |     1249  11039 |        0 |        0
714.34/714.66	c  714s |      25 |  5772843 |  5373998 |     1249  11061 |        0 |        0
716.34/716.67	c  716s |      25 |  5788736 |  5388698 |     1249  11084 |        0 |        0
718.33/718.68	c  718s |      25 |  5805470 |  5403598 |     1249  11107 |        0 |        0
720.34/720.69	c  720s |      25 |  5822174 |  5418498 |     1249  11130 |        0 |        0
722.33/722.69	c  722s |      25 |  5837931 |  5433198 |     1249  11153 |        0 |        0
724.43/724.70	c  724s |      25 |  5853683 |  5448198 |     1249  11176 |        0 |        0
726.43/726.71	c  726s |      25 |  5869706 |  5462998 |     1249  11199 |        0 |        0
728.43/728.71	c  728s |      25 |  5885991 |  5477898 |     1249  11222 |        0 |        0
730.43/730.73	c  730s |      25 |  5902046 |  5492698 |     1249  11245 |        0 |        0
732.44/732.73	c  732s |      25 |  5918309 |  5507498 |     1249  11268 |        0 |        0
734.43/734.74	c  734s |      25 |  5934586 |  5522398 |     1249  11291 |        0 |        0
736.43/736.75	c  736s |      25 |  5950566 |  5537298 |     1249  11315 |        0 |        0
738.43/738.76	c  738s |      25 |  5966259 |  5551898 |     1249  11337 |        0 |        0
740.43/740.76	c  740s |      25 |  5981940 |  5566198 |     1249  11359 |        0 |        0
742.43/742.77	c  742s |      25 |  5997672 |  5580598 |     1249  11382 |        0 |        0
744.44/744.78	c  744s |      25 |  6013728 |  5595498 |     1249  11405 |        0 |        0
746.43/746.78	c  746s |      25 |  6030242 |  5610498 |     1249  11428 |        0 |        0
748.43/748.79	c  748s |      25 |  6045943 |  5625198 |     1249  11451 |        0 |        0
750.42/750.79	c  750s |      25 |  6061521 |  5639798 |     1249  11473 |        0 |        0
752.42/752.79	c  752s |      25 |  6077014 |  5654198 |     1249  11496 |        0 |        0
754.52/754.80	c  754s |      25 |  6092417 |  5668698 |     1249  11518 |        0 |        0
756.53/756.81	c  756s |      25 |  6107971 |  5683298 |     1249  11541 |        0 |        0
758.52/758.82	c  758s |      25 |  6124370 |  5698198 |     1249  11564 |        0 |        0
760.51/760.82	c  760s |      25 |  6140267 |  5712898 |     1249  11587 |        0 |        0
762.51/762.83	c  762s |      25 |  6155928 |  5727698 |     1249  11610 |        0 |        0
764.51/764.84	c  764s |      25 |  6171832 |  5742498 |     1249  11632 |        0 |        0
766.52/766.84	c  766s |      25 |  6187365 |  5757098 |     1249  11655 |        0 |        0
768.51/768.85	c  768s |      25 |  6202652 |  5771498 |     1249  11677 |        0 |        0
770.50/770.86	c  770s |      25 |  6218362 |  5785998 |     1249  11700 |        0 |        0
772.50/772.86	c  772s |      25 |  6234259 |  5800698 |     1249  11723 |        0 |        0
774.50/774.87	c  774s |      25 |  6250161 |  5815798 |     1249  11746 |        0 |        0
776.50/776.88	c  776s |      25 |  6266231 |  5830598 |     1249  11769 |        0 |        0
778.51/778.89	c  778s |      25 |  6282790 |  5845498 |     1249  11792 |        0 |        0
780.60/780.90	c  780s |      25 |  6298473 |  5860298 |     1249  11815 |        0 |        0
782.60/782.91	c  782s |      25 |  6314060 |  5874998 |     1249  11838 |        0 |        0
784.60/784.92	c  784s |      25 |  6329769 |  5889698 |     1249  11860 |        0 |        0
786.60/786.94	c  786s |      25 |  6345927 |  5904498 |     1249  11884 |        0 |        0
788.60/788.94	c  788s |      25 |  6361425 |  5919098 |     1249  11906 |        0 |        0
790.60/790.95	c  790s |      25 |  6376976 |  5933698 |     1249  11929 |        0 |        0
792.60/792.96	c  792s |      25 |  6393233 |  5948498 |     1249  11952 |        0 |        0
794.60/794.96	c  794s |      25 |  6409004 |  5963098 |     1249  11974 |        0 |        0
796.60/796.97	c  796s |      25 |  6424798 |  5977798 |     1249  11997 |        0 |        0
798.60/798.98	c  798s |      25 |  6440633 |  5992198 |     1249  12019 |        0 |        0
800.60/800.99	c  800s |      25 |  6456441 |  6006998 |     1249  12042 |        0 |        0
802.60/803.00	c  802s |      25 |  6472824 |  6021998 |     1249  12066 |        0 |        0
804.69/805.01	c  804s |      25 |  6489068 |  6036798 |     1249  12088 |        0 |        0
806.69/807.01	c  806s |      25 |  6505320 |  6051398 |     1249  12111 |        0 |        0
808.69/809.02	c  809s |      25 |  6521696 |  6066098 |     1249  12134 |        0 |        0
810.69/811.03	c  811s |      25 |  6538112 |  6080798 |     1249  12156 |        0 |        0
812.70/813.04	c  813s |      25 |  6554489 |  6095498 |     1249  12179 |        0 |        0
814.69/815.05	c  815s |      25 |  6570291 |  6110098 |     1249  12202 |        0 |        0
816.69/817.06	c  817s |      25 |  6586389 |  6124898 |     1249  12225 |        0 |        0
818.69/819.06	c  819s |      25 |  6602210 |  6139498 |     1249  12247 |        0 |        0
820.68/821.06	c  821s |      25 |  6618306 |  6154298 |     1249  12270 |        0 |        0
822.68/823.07	c  823s |      25 |  6634591 |  6169198 |     1249  12293 |        0 |        0
824.69/825.07	c  825s |      25 |  6650453 |  6183698 |     1249  12316 |        0 |        0
826.68/827.07	c  827s |      25 |  6666240 |  6198498 |     1249  12339 |        0 |        0
828.68/829.08	c  829s |      25 |  6682626 |  6213398 |     1249  12362 |        0 |        0
830.78/831.10	c  831s |      25 |  6699302 |  6228198 |     1249  12385 |        0 |        0
832.78/833.10	c  833s |      25 |  6715272 |  6242898 |     1249  12407 |        0 |        0
834.78/835.10	c  835s |      25 |  6731544 |  6257598 |     1249  12430 |        0 |        0
836.78/837.11	c  837s |      25 |  6747609 |  6272298 |     1249  12453 |        0 |        0
838.78/839.12	c  839s |      25 |  6763785 |  6286798 |     1249  12475 |        0 |        0
840.78/841.12	c  841s |      25 |  6779560 |  6301298 |     1249  12498 |        0 |        0
842.78/843.13	c  843s |      25 |  6795191 |  6315798 |     1249  12520 |        0 |        0
844.78/845.13	c  845s |      25 |  6811433 |  6330298 |     1249  12543 |        0 |        0
846.78/847.14	c  847s |      25 |  6827322 |  6344698 |     1249  12565 |        0 |        0
848.77/849.15	c  849s |      25 |  6843338 |  6359298 |     1249  12587 |        0 |        0
850.78/851.15	c  851s |      25 |  6859555 |  6374098 |     1249  12610 |        0 |        0
852.78/853.16	c  853s |      25 |  6875726 |  6388898 |     1249  12633 |        0 |        0
854.78/855.17	c  855s |      25 |  6891930 |  6403798 |     1249  12656 |        0 |        0
856.78/857.18	c  857s |      25 |  6907863 |  6418398 |     1249  12679 |        0 |        0
858.78/859.19	c  859s |      25 |  6923448 |  6433198 |     1249  12702 |        0 |        0
860.78/861.20	c  861s |      25 |  6939192 |  6447698 |     1249  12724 |        0 |        0
862.87/863.20	c  863s |      25 |  6954965 |  6462198 |     1249  12747 |        0 |        0
864.87/865.20	c  865s |      25 |  6970769 |  6476598 |     1249  12769 |        0 |        0
866.87/867.21	c  867s |      25 |  6987065 |  6491398 |     1249  12792 |        0 |        0
868.87/869.22	c  869s |      25 |  7003451 |  6506098 |     1249  12815 |        0 |        0
870.88/871.23	c  871s |      25 |  7019615 |  6520698 |     1249  12838 |        0 |        0
872.87/873.23	c  873s |      25 |  7035366 |  6535398 |     1249  12860 |        0 |        0
874.87/875.23	c  875s |      25 |  7050871 |  6549998 |     1249  12883 |        0 |        0
876.87/877.24	c  877s |      25 |  7066958 |  6564898 |     1249  12906 |        0 |        0
878.87/879.24	c  879s |      25 |  7082305 |  6579398 |     1249  12928 |        0 |        0
880.88/881.25	c  881s |      25 |  7098259 |  6594198 |     1249  12951 |        0 |        0
882.87/883.26	c  883s |      25 |  7113839 |  6608998 |     1249  12974 |        0 |        0
884.87/885.27	c  885s |      25 |  7129961 |  6623998 |     1249  12997 |        0 |        0
886.87/887.28	c  887s |      25 |  7145318 |  6638698 |     1249  13020 |        0 |        0
888.87/889.28	c  889s |      25 |  7161041 |  6653598 |     1249  13043 |        0 |        0
890.87/891.29	c  891s |      25 |  7176911 |  6668498 |     1249  13066 |        0 |        0
892.87/893.29	c  893s |      25 |  7192570 |  6683198 |     1249  13089 |        0 |        0
894.87/895.29	c  895s |      25 |  7207601 |  6697598 |     1249  13112 |        0 |        0
896.97/897.30	c  897s |      25 |  7222893 |  6712098 |     1249  13134 |        0 |        0
898.97/899.30	c  899s |      25 |  7238378 |  6726598 |     1249  13157 |        0 |        0
900.97/901.31	c  901s |      25 |  7253815 |  6741198 |     1249  13179 |        0 |        0
902.97/903.31	c  903s |      25 |  7269961 |  6755698 |     1249  13202 |        0 |        0
904.97/905.33	c  905s |      25 |  7286202 |  6770498 |     1249  13225 |        0 |        0
906.97/907.34	c  907s |      25 |  7302539 |  6785298 |     1249  13248 |        0 |        0
908.97/909.35	c  909s |      25 |  7318732 |  6799998 |     1249  13270 |        0 |        0
910.97/911.36	c  911s |      25 |  7334812 |  6814698 |     1249  13293 |        0 |        0
912.97/913.36	c  913s |      25 |  7350449 |  6829098 |     1249  13315 |        0 |        0
914.98/915.37	c  915s |      25 |  7366502 |  6843898 |     1249  13338 |        0 |        0
916.97/917.37	c  917s |      25 |  7382138 |  6858598 |     1249  13361 |        0 |        0
918.97/919.38	c  919s |      25 |  7397701 |  6873198 |     1249  13384 |        0 |        0
920.97/921.39	c  921s |      25 |  7413975 |  6887698 |     1249  13406 |        0 |        0
922.97/923.39	c  923s |      25 |  7429844 |  6902298 |     1249  13429 |        0 |        0
925.07/925.41	c  925s |      25 |  7445712 |  6916798 |     1249  13452 |        0 |        0
927.08/927.41	c  927s |      25 |  7461243 |  6931098 |     1249  13474 |        0 |        0
929.07/929.41	c  929s |      25 |  7477089 |  6945698 |     1249  13496 |        0 |        0
931.07/931.42	c  931s |      25 |  7492563 |  6960098 |     1249  13519 |        0 |        0
933.07/933.43	c  933s |      25 |  7508242 |  6974398 |     1249  13541 |        0 |        0
935.06/935.43	c  935s |      25 |  7524707 |  6989198 |     1249  13564 |        0 |        0
937.06/937.45	c  937s |      25 |  7540080 |  7003498 |     1249  13586 |        0 |        0
939.07/939.45	c  939s |      25 |  7555429 |  7017798 |     1249  13608 |        0 |        0
941.06/941.45	c  941s |      25 |  7571325 |  7032298 |     1249  13630 |        0 |        0
943.06/943.46	c  943s |      25 |  7587342 |  7046998 |     1249  13653 |        0 |        0
945.06/945.47	c  945s |      25 |  7603088 |  7061598 |     1249  13676 |        0 |        0
947.06/947.48	c  947s |      25 |  7618942 |  7076398 |     1249  13699 |        0 |        0
949.07/949.48	c  949s |      25 |  7634823 |  7091098 |     1249  13721 |        0 |        0
951.06/951.48	c  951s |      25 |  7650768 |  7105798 |     1249  13744 |        0 |        0
953.06/953.49	c  953s |      25 |  7666657 |  7120598 |     1249  13767 |        0 |        0
955.16/955.50	c  955s |      25 |  7681938 |  7135098 |     1249  13790 |        0 |        0
957.17/957.51	c  957s |      25 |  7697541 |  7149698 |     1249  13812 |        0 |        0
959.17/959.52	c  959s |      25 |  7713199 |  7164198 |     1249  13835 |        0 |        0
961.17/961.53	c  961s |      25 |  7729270 |  7178798 |     1249  13857 |        0 |        0
963.16/963.54	c  963s |      25 |  7745425 |  7193698 |     1249  13881 |        0 |        0
965.16/965.55	c  965s |      25 |  7761131 |  7208298 |     1249  13903 |        0 |        0
967.16/967.56	c  967s |      25 |  7776358 |  7222598 |     1249  13925 |        0 |        0
969.16/969.56	c  969s |      25 |  7792394 |  7237198 |     1249  13948 |        0 |        0
971.16/971.56	c  971s |      25 |  7808914 |  7251798 |     1249  13971 |        0 |        0
973.17/973.56	c  973s |      25 |  7824048 |  7266098 |     1249  13993 |        0 |        0
975.16/975.58	c  975s |      25 |  7839861 |  7280698 |     1249  14015 |        0 |        0
977.16/977.58	c  977s |      25 |  7855893 |  7295498 |     1249  14038 |        0 |        0
979.16/979.58	c  979s |      25 |  7871790 |  7310298 |     1249  14061 |        0 |        0
981.25/981.60	c  981s |      25 |  7887921 |  7324998 |     1249  14084 |        0 |        0
983.25/983.61	c  983s |      25 |  7903335 |  7339598 |     1249  14106 |        0 |        0
985.26/985.62	c  985s |      25 |  7918642 |  7354198 |     1249  14129 |        0 |        0
987.25/987.62	c  987s |      25 |  7934529 |  7368898 |     1249  14152 |        0 |        0
989.25/989.63	c  989s |      25 |  7950644 |  7383598 |     1249  14174 |        0 |        0
991.25/991.64	c  991s |      25 |  7966228 |  7398198 |     1249  14197 |        0 |        0
993.25/993.64	c  993s |      25 |  7981396 |  7412598 |     1249  14220 |        0 |        0
995.27/995.65	c  995s |      25 |  7996856 |  7426998 |     1249  14242 |        0 |        0
997.26/997.65	c  997s |      25 |  8012153 |  7441598 |     1249  14264 |        0 |        0
999.26/999.66	c  999s |      25 |  8027721 |  7456398 |     1249  14287 |        0 |        0
1001.26/1001.67	c 1001s |      25 |  8042947 |  7470898 |     1249  14310 |        0 |        0
1003.25/1003.68	c 1003s |      25 |  8058725 |  7485598 |     1249  14332 |        0 |        0
1005.25/1005.69	c 1005s |      25 |  8074397 |  7500298 |     1249  14355 |        0 |        0
1007.26/1007.70	c 1007s |      25 |  8090495 |  7514998 |     1249  14378 |        0 |        0
1009.35/1009.70	c 1009s |      25 |  8106952 |  7529798 |     1249  14401 |        0 |        0
1011.35/1011.71	c 1011s |      25 |  8123054 |  7544598 |     1374  14424 |        0 |        0
1013.35/1013.73	c 1013s |      25 |  8138460 |  7559098 |     1374  14444 |        0 |        0
1015.35/1015.74	c 1015s |      25 |  8153976 |  7573598 |     1374  14464 |        0 |        0
1017.35/1017.74	c 1017s |      25 |  8169612 |  7587998 |     1374  14485 |        0 |        0
1018.65/1019.06	c 1019s |      26 |  8179961 |  7597752 |     1374  14498 |        0 |        0
1020.65/1021.07	c 1021s |      26 |  8195100 |  7611752 |     1374  14518 |        0 |        0
1022.66/1023.07	c 1023s |      26 |  8210445 |  7625852 |     1374  14538 |        0 |        0
1024.65/1025.08	c 1025s |      26 |  8225666 |  7639752 |     1374  14558 |        0 |        0
1026.65/1027.08	c 1027s |      26 |  8240824 |  7653652 |     1374  14577 |        0 |        0
1028.65/1029.09	c 1029s |      26 |  8256027 |  7667552 |     1374  14597 |        0 |        0
1030.75/1031.10	c 1031s |      26 |  8271170 |  7681552 |     1374  14616 |        0 |        0
1032.75/1033.11	c 1033s |      26 |  8286278 |  7695552 |     1374  14636 |        0 |        0
1034.75/1035.12	c 1035s |      26 |  8301126 |  7709552 |     1374  14656 |        0 |        0
1036.74/1037.12	c 1037s |      26 |  8315965 |  7723752 |     1374  14676 |        0 |        0
1038.74/1039.12	c 1039s |      26 |  8330891 |  7737852 |     1374  14696 |        0 |        0
1040.75/1041.13	c 1041s |      26 |  8345619 |  7751652 |     1374  14715 |        0 |        0
1042.75/1043.13	c 1043s |      26 |  8360508 |  7765452 |     1374  14735 |        0 |        0
1044.76/1045.14	c 1045s |      26 |  8375962 |  7779952 |     1374  14755 |        0 |        0
1046.75/1047.14	c 1047s |      26 |  8391142 |  7794352 |     1374  14775 |        0 |        0
1048.75/1049.14	c 1049s |      26 |  8406275 |  7808752 |     1374  14796 |        0 |        0
1050.75/1051.15	c 1051s |      26 |  8421192 |  7822952 |     1374  14816 |        0 |        0
1052.75/1053.16	c 1053s |      26 |  8436270 |  7837252 |     1374  14836 |        0 |        0
1054.75/1055.17	c 1055s |      26 |  8451626 |  7851552 |     1374  14856 |        0 |        0
1056.76/1057.18	c 1057s |      26 |  8466634 |  7865852 |     1374  14876 |        0 |        0
1058.75/1059.18	c 1059s |      26 |  8481560 |  7880052 |     1374  14896 |        0 |        0
1060.85/1061.20	c 1061s |      26 |  8496372 |  7894052 |     1374  14916 |        0 |        0
1062.85/1063.21	c 1063s |      26 |  8511278 |  7908052 |     1374  14935 |        0 |        0
1064.85/1065.22	c 1065s |      26 |  8526451 |  7922252 |     1374  14955 |        0 |        0
1066.85/1067.23	c 1067s |      26 |  8541630 |  7936452 |     1374  14975 |        0 |        0
1068.85/1069.23	c 1069s |      26 |  8556544 |  7950552 |     1374  14995 |        0 |        0
1070.85/1071.23	c 1071s |      26 |  8571584 |  7964752 |     1374  15015 |        0 |        0
1072.85/1073.24	c 1073s |      26 |  8586803 |  7978952 |     1374  15035 |        0 |        0
1074.84/1075.25	c 1075s |      26 |  8602049 |  7993252 |     1374  15055 |        0 |        0
1076.84/1077.26	c 1077s |      26 |  8617350 |  8007352 |     1374  15075 |        0 |        0
1078.85/1079.27	c 1079s |      26 |  8632737 |  8021652 |     1374  15095 |        0 |        0
1080.84/1081.28	c 1081s |      26 |  8648131 |  8036052 |     1374  15116 |        0 |        0
1082.84/1083.29	c 1083s |      26 |  8663354 |  8050252 |     1374  15136 |        0 |        0
1084.84/1085.29	c 1085s |      26 |  8678388 |  8064452 |     1374  15156 |        0 |        0
1086.84/1087.29	c 1087s |      26 |  8693439 |  8078452 |     1374  15176 |        0 |        0
1088.94/1089.31	c 1089s |      26 |  8708392 |  8092652 |     1374  15196 |        0 |        0
1090.95/1091.32	c 1091s |      26 |  8723646 |  8106952 |     1374  15216 |        0 |        0
1092.94/1093.33	c 1093s |      26 |  8738954 |  8120952 |     1374  15236 |        0 |        0
1094.94/1095.33	c 1095s |      26 |  8754418 |  8134952 |     1374  15255 |        0 |        0
1096.94/1097.33	c 1097s |      26 |  8769875 |  8149352 |     1374  15276 |        0 |        0
1098.94/1099.34	c 1099s |      26 |  8785144 |  8163752 |     1374  15296 |        0 |        0
1100.94/1101.34	c 1101s |      26 |  8800172 |  8177952 |     1374  15316 |        0 |        0
1102.95/1103.35	c 1103s |      26 |  8815158 |  8192152 |     1374  15336 |        0 |        0
1104.94/1105.36	c 1105s |      26 |  8829867 |  8206152 |     1374  15356 |        0 |        0
1106.94/1107.37	c 1107s |      26 |  8845015 |  8220552 |     1374  15376 |        0 |        0
1108.94/1109.37	c 1109s |      26 |  8860381 |  8235052 |     1374  15396 |        0 |        0
1110.94/1111.38	c 1111s |      26 |  8875986 |  8249652 |     1374  15417 |        0 |        0
1112.94/1113.38	c 1113s |      26 |  8891679 |  8264252 |     1374  15437 |        0 |        0
1114.94/1115.39	c 1115s |      26 |  8906946 |  8278552 |     1374  15458 |        0 |        0
1117.03/1117.40	c 1117s |      26 |  8921964 |  8292752 |     1374  15478 |        0 |        0
1119.03/1119.41	c 1119s |      26 |  8937341 |  8307052 |     1374  15498 |        0 |        0
1121.03/1121.42	c 1121s |      26 |  8952396 |  8321352 |     1374  15518 |        0 |        0
1123.03/1123.43	c 1123s |      26 |  8967610 |  8335652 |     1374  15538 |        0 |        0
1125.04/1125.44	c 1125s |      26 |  8982676 |  8349752 |     1374  15558 |        0 |        0
1127.04/1127.45	c 1127s |      26 |  8997466 |  8363852 |     1374  15578 |        0 |        0
1129.04/1129.45	c 1129s |      26 |  9012286 |  8377852 |     1374  15597 |        0 |        0
1131.04/1131.45	c 1131s |      26 |  9027325 |  8392052 |     1374  15617 |        0 |        0
1133.04/1133.46	c 1133s |      26 |  9042010 |  8405952 |     1374  15637 |        0 |        0
1135.04/1135.46	c 1135s |      26 |  9057220 |  8420152 |     1374  15657 |        0 |        0
1137.04/1137.46	c 1137s |      26 |  9072080 |  8434252 |     1374  15677 |        0 |        0
1139.04/1139.47	c 1139s |      26 |  9087347 |  8448652 |     1374  15697 |        0 |        0
1141.04/1141.48	c 1141s |      26 |  9102659 |  8463052 |     1374  15717 |        0 |        0
1143.04/1143.48	c 1143s |      26 |  9117683 |  8477252 |     1374  15737 |        0 |        0
1145.04/1145.48	c 1145s |      26 |  9132878 |  8491552 |     1374  15758 |        0 |        0
1147.04/1147.48	c 1147s |      26 |  9148155 |  8505752 |     1374  15778 |        0 |        0
1149.03/1149.48	c 1149s |      26 |  9163120 |  8519852 |     1374  15797 |        0 |        0
1151.03/1151.49	c 1151s |      26 |  9178240 |  8534052 |     1374  15817 |        0 |        0
1153.03/1153.49	c 1153s |      26 |  9193618 |  8548352 |     1374  15838 |        0 |        0
1155.03/1155.50	c 1155s |      26 |  9209013 |  8562652 |     1374  15858 |        0 |        0
1157.13/1157.50	c 1157s |      26 |  9224511 |  8576852 |     1374  15878 |        0 |        0
1159.13/1159.51	c 1159s |      26 |  9239740 |  8591152 |     1374  15898 |        0 |        0
1161.13/1161.52	c 1161s |      26 |  9254883 |  8605352 |     1374  15918 |        0 |        0
1163.13/1163.52	c 1163s |      26 |  9270026 |  8619452 |     1374  15938 |        0 |        0
1165.13/1165.53	c 1165s |      26 |  9285138 |  8633452 |     1374  15958 |        0 |        0
1167.13/1167.54	c 1167s |      26 |  9300307 |  8647652 |     1374  15978 |        0 |        0
1169.13/1169.55	c 1169s |      26 |  9315356 |  8662052 |     1374  15998 |        0 |        0
1171.14/1171.56	c 1171s |      26 |  9330449 |  8676252 |     1374  16018 |        0 |        0
1173.13/1173.56	c 1173s |      26 |  9345400 |  8690452 |     1374  16038 |        0 |        0
1175.13/1175.57	c 1175s |      26 |  9360228 |  8704552 |     1374  16058 |        0 |        0
1177.13/1177.58	c 1177s |      26 |  9375003 |  8718752 |     1374  16078 |        0 |        0
1179.13/1179.59	c 1179s |      26 |  9389986 |  8732852 |     1374  16097 |        0 |        0
1181.23/1181.60	c 1181s |      26 |  9404951 |  8746952 |     1374  16117 |        0 |        0
1183.23/1183.62	c 1183s |      26 |  9419934 |  8761052 |     1374  16137 |        0 |        0
1185.22/1185.63	c 1185s |      26 |  9434792 |  8775052 |     1374  16157 |        0 |        0
1187.22/1187.63	c 1187s |      26 |  9450189 |  8789252 |     1374  16177 |        0 |        0
1189.22/1189.64	c 1189s |      26 |  9465524 |  8803752 |     1374  16197 |        0 |        0
1191.22/1191.64	c 1191s |      26 |  9480699 |  8818052 |     1374  16217 |        0 |        0
1193.23/1193.65	c 1193s |      26 |  9496197 |  8832552 |     1374  16238 |        0 |        0
1195.22/1195.66	c 1195s |      26 |  9511463 |  8846652 |     1374  16258 |        0 |        0
1197.22/1197.66	c 1197s |      26 |  9526616 |  8860952 |     1374  16278 |        0 |        0
1199.22/1199.68	c 1199s |      26 |  9541497 |  8875052 |     1374  16298 |        0 |        0
1201.22/1201.68	c 1201s |      26 |  9556591 |  8889252 |     1374  16318 |        0 |        0
1203.22/1203.69	c 1203s |      26 |  9572019 |  8903852 |     1374  16338 |        0 |        0
1205.23/1205.70	c 1205s |      26 |  9587307 |  8918252 |     1374  16359 |        0 |        0
1207.32/1207.70	c 1207s |      26 |  9602485 |  8932552 |     1374  16379 |        0 |        0
1209.32/1209.71	c 1209s |      26 |  9617449 |  8946752 |     1374  16399 |        0 |        0
1211.32/1211.71	c 1211s |      26 |  9632652 |  8960952 |     1374  16419 |        0 |        0
1213.32/1213.73	c 1213s |      26 |  9647905 |  8975352 |     1374  16439 |        0 |        0
1215.32/1215.73	c 1215s |      26 |  9662948 |  8989552 |     1374  16459 |        0 |        0
1217.33/1217.73	c 1217s |      26 |  9678382 |  9003952 |     1374  16480 |        0 |        0
1219.32/1219.73	c 1219s |      26 |  9693276 |  9017852 |     1374  16499 |        0 |        0
1221.32/1221.73	c 1221s |      26 |  9708645 |  9032252 |     1374  16520 |        0 |        0
1223.32/1223.74	c 1223s |      26 |  9723882 |  9046652 |     1374  16540 |        0 |        0
1225.32/1225.74	c 1225s |      26 |  9739227 |  9061052 |     1374  16560 |        0 |        0
1227.33/1227.75	c 1227s |      26 |  9754307 |  9075252 |     1374  16580 |        0 |        0
1229.32/1229.76	c 1229s |      26 |  9769741 |  9089652 |     1374  16601 |        0 |        0
1231.32/1231.76	c 1231s |      26 |  9784866 |  9103852 |     1374  16621 |        0 |        0
1233.32/1233.77	c 1233s |      26 |  9799752 |  9118052 |     1374  16641 |        0 |        0
1235.32/1235.77	c 1235s |      26 |  9814825 |  9132552 |     1374  16661 |        0 |        0
1237.32/1237.78	c 1237s |      26 |  9829884 |  9146752 |     1374  16681 |        0 |        0
1239.32/1239.78	c 1239s |      26 |  9845042 |  9161152 |     1374  16702 |        0 |        0
1241.31/1241.78	c 1241s |      26 |  9860399 |  9175452 |     1374  16722 |        0 |        0
1243.31/1243.78	c 1243s |      26 |  9875571 |  9189552 |     1374  16742 |        0 |        0
1245.32/1245.79	c 1245s |      26 |  9890681 |  9203852 |     1374  16762 |        0 |        0
1247.42/1247.80	c 1247s |      26 |  9905724 |  9218052 |     1374  16782 |        0 |        0
1249.42/1249.81	c 1249s |      26 |  9920949 |  9232252 |     1374  16802 |        0 |        0
1251.43/1251.82	c 1251s |      26 |  9936327 |  9246552 |     1374  16822 |        0 |        0
1253.42/1253.82	c 1253s |      26 |  9951694 |  9260952 |     1374  16843 |        0 |        0
1255.42/1255.84	c 1255s |      26 |  9966825 |  9275152 |     1374  16863 |        0 |        0
1257.42/1257.84	c 1257s |      26 |  9981813 |  9289452 |     1374  16883 |        0 |        0
1259.42/1259.85	c 1259s |      26 |  9996922 |  9303852 |     1374  16903 |        0 |        0
1261.43/1261.86	c 1261s |      26 | 10011673 |  9317952 |     1374  16923 |        0 |        0
1263.42/1263.87	c 1263s |      26 | 10026558 |  9332052 |     1374  16943 |        0 |        0
1265.42/1265.88	c 1265s |      26 | 10041127 |  9345952 |     1374  16963 |        0 |        0
1267.42/1267.88	c 1267s |      26 | 10056203 |  9360252 |     1374  16983 |        0 |        0
1269.42/1269.90	c 1269s |      26 | 10071499 |  9374552 |     1374  17003 |        0 |        0
1271.51/1271.90	c 1271s |      26 | 10086763 |  9388952 |     1374  17024 |        0 |        0
1273.52/1273.91	c 1273s |      26 | 10101877 |  9403252 |     1374  17044 |        0 |        0
1275.51/1275.91	c 1275s |      26 | 10117032 |  9417452 |     1374  17064 |        0 |        0
1277.51/1277.92	c 1277s |      26 | 10132366 |  9431952 |     1374  17084 |        0 |        0
1279.51/1279.93	c 1279s |      26 | 10147962 |  9446552 |     1374  17105 |        0 |        0
1281.51/1281.94	c 1281s |      26 | 10163592 |  9460952 |     1374  17125 |        0 |        0
1283.51/1283.95	c 1283s |      26 | 10178604 |  9475152 |     1374  17145 |        0 |        0
1285.52/1285.96	c 1285s |      26 | 10194021 |  9489652 |     1374  17166 |        0 |        0
1287.51/1287.97	c 1287s |      26 | 10209354 |  9503952 |     1374  17186 |        0 |        0
1289.51/1289.98	c 1289s |      26 | 10224929 |  9518352 |     1374  17206 |        0 |        0
1291.51/1291.99	c 1291s |      26 | 10239915 |  9532652 |     1374  17226 |        0 |        0
1293.51/1293.99	c 1293s |      26 | 10255269 |  9546852 |     1374  17246 |        0 |        0
1295.51/1295.99	c 1295s |      26 | 10270499 |  9561152 |     1374  17266 |        0 |        0
1297.50/1298.00	c 1297s |      26 | 10286062 |  9575552 |     1374  17286 |        0 |        0
1299.60/1300.01	c 1300s |      26 | 10301389 |  9589852 |     1374  17307 |        0 |        0
1301.60/1302.02	c 1302s |      26 | 10316972 |  9604152 |     1374  17327 |        0 |        0
1303.61/1304.04	c 1304s |      26 | 10332014 |  9618352 |     1374  17347 |        0 |        0
1305.61/1306.04	c 1306s |      26 | 10347057 |  9632452 |     1374  17367 |        0 |        0
1307.62/1308.05	c 1308s |      26 | 10362191 |  9646652 |     1374  17387 |        0 |        0
1309.61/1310.06	c 1310s |      26 | 10377343 |  9660852 |     1374  17407 |        0 |        0
1311.61/1312.06	c 1312s |      26 | 10391929 |  9674852 |     1374  17426 |        0 |        0
1313.61/1314.07	c 1314s |      26 | 10407456 |  9689452 |     1374  17447 |        0 |        0
1315.61/1316.07	c 1316s |      26 | 10422866 |  9703952 |     1374  17467 |        0 |        0
1317.61/1318.08	c 1318s |      26 | 10438037 |  9718352 |     1374  17488 |        0 |        0
1319.62/1320.09	c 1320s |      26 | 10453312 |  9732852 |     1374  17508 |        0 |        0
1321.71/1322.10	c 1322s |      26 | 10468503 |  9747152 |     1374  17528 |        0 |        0
1323.71/1324.10	c 1324s |      26 | 10483804 |  9761552 |     1374  17549 |        0 |        0
1325.71/1326.11	c 1326s |      26 | 10499272 |  9776052 |     1374  17569 |        0 |        0
1327.71/1328.11	c 1328s |      26 | 10514726 |  9790452 |     1374  17589 |        0 |        0
1329.71/1330.12	c 1330s |      26 | 10529847 |  9804852 |     1374  17610 |        0 |        0
1331.71/1332.13	c 1332s |      26 | 10544795 |  9819152 |     1374  17630 |        0 |        0
1333.70/1334.13	c 1334s |      26 | 10560232 |  9833752 |     1374  17650 |        0 |        0
1335.70/1336.15	c 1336s |      26 | 10575745 |  9848252 |     1374  17671 |        0 |        0
1337.70/1338.16	c 1338s |      26 | 10591057 |  9862752 |     1374  17691 |        0 |        0
1339.70/1340.17	c 1340s |      26 | 10606157 |  9876952 |     1374  17711 |        0 |        0
1341.71/1342.18	c 1342s |      26 | 10621335 |  9891352 |     1374  17732 |        0 |        0
1343.70/1344.18	c 1344s |      26 | 10636262 |  9905652 |     1374  17752 |        0 |        0
1345.70/1346.19	c 1346s |      26 | 10651427 |  9920052 |     1374  17772 |        0 |        0
1347.80/1348.20	c 1348s |      26 | 10666527 |  9934352 |     1374  17792 |        0 |        0
1349.80/1350.20	c 1350s |      26 | 10681476 |  9948452 |     1374  17812 |        0 |        0
1351.80/1352.22	c 1352s |      26 | 10696576 |  9962552 |     1374  17832 |        0 |        0
1353.81/1354.22	c 1354s |      26 | 10711555 |  9976452 |     1374  17852 |        0 |        0
1355.80/1356.22	c 1356s |      26 | 10727781 |  9990852 |     1374  17872 |        0 |        0
1357.80/1358.22	c 1358s |      26 | 10743147 | 10005052 |     1374  17892 |        0 |        0
1359.80/1360.24	c 1360s |      26 | 10758988 | 10019552 |     1374  17913 |        0 |        0
1361.80/1362.24	c 1362s |      26 | 10774200 | 10033852 |     1374  17933 |        0 |        0
1363.79/1364.25	c 1364s |      26 | 10789507 | 10048052 |     1374  17953 |        0 |        0
1365.80/1366.26	c 1366s |      26 | 10805650 | 10062652 |     1374  17973 |        0 |        0
1367.79/1368.27	c 1368s |      26 | 10821478 | 10077252 |     1374  17994 |        0 |        0
1369.79/1370.28	c 1370s |      26 | 10837198 | 10091852 |     1374  18015 |        0 |        0
1371.79/1372.28	c 1372s |      26 | 10852986 | 10106252 |     1374  18035 |        0 |        0
1373.80/1374.29	c 1374s |      26 | 10869043 | 10120752 |     1374  18055 |        0 |        0
1375.90/1376.30	c 1376s |      26 | 10884480 | 10134852 |     1374  18075 |        0 |        0
1377.91/1378.31	c 1378s |      26 | 10899994 | 10148952 |     1374  18095 |        0 |        0
1379.90/1380.32	c 1380s |      26 | 10915069 | 10162652 |     1374  18115 |        0 |        0
1381.90/1382.32	c 1382s |      26 | 10930263 | 10176652 |     1374  18134 |        0 |        0
1383.90/1384.32	c 1384s |      26 | 10945524 | 10190652 |     1374  18154 |        0 |        0
1385.90/1386.33	c 1386s |      26 | 10961364 | 10205052 |     1374  18174 |        0 |        0
1387.91/1388.34	c 1388s |      26 | 10977045 | 10219252 |     1374  18194 |        0 |        0
1389.90/1390.34	c 1390s |      26 | 10992910 | 10233552 |     1374  18214 |        0 |        0
1391.90/1392.35	c 1392s |      26 | 11008382 | 10247652 |     1374  18234 |        0 |        0
1393.90/1394.37	c 1394s |      26 | 11023732 | 10262052 |     1374  18255 |        0 |        0
1395.90/1396.38	c 1396s |      26 | 11039346 | 10276652 |     1374  18275 |        0 |        0
1397.90/1398.39	c 1398s |      26 | 11055240 | 10290952 |     1374  18295 |        0 |        0
1399.90/1400.39	c 1400s |      26 | 11071557 | 10305452 |     1374  18316 |        0 |        0
1401.99/1402.41	c 1402s |      26 | 11087050 | 10319952 |     1374  18336 |        0 |        0
1403.99/1404.42	c 1404s |      26 | 11102751 | 10334352 |     1374  18357 |        0 |        0
1405.99/1406.43	c 1406s |      26 | 11118276 | 10348652 |     1374  18377 |        0 |        0
1407.99/1408.45	c 1408s |      26 | 11133828 | 10362852 |     1374  18397 |        0 |        0
1409.99/1410.45	c 1410s |      26 | 11149465 | 10377052 |     1374  18417 |        0 |        0
1412.00/1412.46	c 1412s |      26 | 11165319 | 10391352 |     1374  18437 |        0 |        0
1413.99/1414.46	c 1414s |      26 | 11180989 | 10405752 |     1374  18458 |        0 |        0
1415.99/1416.46	c 1416s |      26 | 11196498 | 10420052 |     1374  18478 |        0 |        0
1417.99/1418.47	c 1418s |      26 | 11211902 | 10434252 |     1374  18498 |        0 |        0
1419.99/1420.47	c 1420s |      26 | 11227461 | 10448752 |     1374  18518 |        0 |        0
1422.00/1422.47	c 1422s |      26 | 11242585 | 10462952 |     1374  18538 |        0 |        0
1423.99/1424.48	c 1424s |      26 | 11257240 | 10476952 |     1374  18558 |        0 |        0
1425.99/1426.48	c 1426s |      26 | 11272193 | 10491152 |     1374  18578 |        0 |        0
1427.99/1428.49	c 1428s |      26 | 11287117 | 10505352 |     1374  18598 |        0 |        0
1430.09/1430.50	c 1430s |      26 | 11301670 | 10519352 |     1374  18618 |        0 |        0
1432.09/1432.51	c 1432s |      26 | 11316094 | 10533052 |     1374  18637 |        0 |        0
1434.09/1434.52	c 1434s |      26 | 11331025 | 10547052 |     1374  18657 |        0 |        0
1436.08/1436.53	c 1436s |      26 | 11345949 | 10561452 |     1374  18677 |        0 |        0
1438.08/1438.53	c 1438s |      26 | 11360800 | 10575552 |     1374  18697 |        0 |        0
1440.08/1440.53	c 1440s |      26 | 11376065 | 10589752 |     1374  18717 |        0 |        0
1442.08/1442.54	c 1442s |      26 | 11391159 | 10604152 |     1374  18737 |        0 |        0
1444.09/1444.55	c 1444s |      26 | 11405884 | 10618352 |     1374  18757 |        0 |        0
1446.10/1446.56	c 1446s |      26 | 11420860 | 10632752 |     1374  18778 |        0 |        0
1448.09/1448.58	c 1448s |      26 | 11435755 | 10646952 |     1374  18798 |        0 |        0
1450.09/1450.58	c 1450s |      26 | 11450693 | 10661352 |     1374  18818 |        0 |        0
1452.09/1452.59	c 1452s |      26 | 11465523 | 10675452 |     1374  18838 |        0 |        0
1454.19/1454.60	c 1454s |      26 | 11480469 | 10689552 |     1374  18858 |        0 |        0
1456.19/1456.60	c 1456s |      26 | 11495309 | 10703652 |     1374  18877 |        0 |        0
1458.09/1458.60	c 1458s |      26 | 11510267 | 10717752 |     1374  18897 |        0 |        0
1460.19/1460.60	c 1460s |      26 | 11525375 | 10732052 |     1374  18918 |        0 |        0
1462.19/1462.60	c 1462s |      26 | 11540526 | 10746352 |     1374  18938 |        0 |        0
1464.19/1464.61	c 1464s |      26 | 11555925 | 10760852 |     1374  18958 |        0 |        0
1466.19/1466.62	c 1466s |      26 | 11571288 | 10775252 |     1374  18978 |        0 |        0
1468.19/1468.63	c 1468s |      26 | 11586522 | 10789552 |     1374  18999 |        0 |        0
1470.18/1470.63	c 1470s |      26 | 11601560 | 10803852 |     1374  19019 |        0 |        0
1472.18/1472.64	c 1472s |      26 | 11616669 | 10818152 |     1374  19039 |        0 |        0
1474.18/1474.65	c 1474s |      26 | 11631548 | 10832352 |     1374  19059 |        0 |        0
1476.18/1476.66	c 1476s |      26 | 11646299 | 10846252 |     1374  19079 |        0 |        0
1478.18/1478.67	c 1478s |      26 | 11661471 | 10860252 |     1374  19098 |        0 |        0
1480.19/1480.68	c 1480s |      26 | 11676335 | 10874252 |     1374  19118 |        0 |        0
1482.18/1482.68	c 1482s |      26 | 11691007 | 10888252 |     1374  19138 |        0 |        0
1484.18/1484.69	c 1484s |      26 | 11705928 | 10902252 |     1374  19158 |        0 |        0
1486.28/1486.70	c 1486s |      26 | 11721058 | 10916352 |     1374  19177 |        0 |        0
1488.28/1488.71	c 1488s |      26 | 11736015 | 10930652 |     1374  19198 |        0 |        0
1490.28/1490.71	c 1490s |      26 | 11751416 | 10945052 |     1374  19218 |        0 |        0
1492.28/1492.71	c 1492s |      26 | 11766416 | 10959052 |     1374  19238 |        0 |        0
1494.28/1494.72	c 1494s |      26 | 11781468 | 10973352 |     1374  19258 |        0 |        0
1496.28/1496.73	c 1496s |      26 | 11796923 | 10987752 |     1374  19278 |        0 |        0
1498.28/1498.74	c 1498s |      26 | 11812073 | 11001852 |     1374  19298 |        0 |        0
1500.28/1500.76	c 1500s |      26 | 11827571 | 11016352 |     1374  19319 |        0 |        0
1502.29/1502.76	c 1502s |      26 | 11842730 | 11030752 |     1374  19339 |        0 |        0
1504.28/1504.77	c 1504s |      26 | 11857822 | 11044752 |     1374  19359 |        0 |        0
1506.28/1506.77	c 1506s |      26 | 11872960 | 11058852 |     1374  19378 |        0 |        0
1508.28/1508.78	c 1508s |      26 | 11887936 | 11072952 |     1374  19398 |        0 |        0
1510.28/1510.79	c 1510s |      26 | 11902636 | 11087052 |     1374  19418 |        0 |        0
1512.38/1512.80	c 1512s |      26 | 11917474 | 11101252 |     1374  19438 |        0 |        0
1514.39/1514.82	c 1514s |      26 | 11932597 | 11115552 |     1374  19458 |        0 |        0
1516.38/1516.83	c 1516s |      26 | 11947835 | 11129752 |     1374  19478 |        0 |        0
1518.38/1518.83	c 1518s |      26 | 11962634 | 11143752 |     1374  19498 |        0 |        0
1520.38/1520.84	c 1520s |      26 | 11977496 | 11157952 |     1374  19518 |        0 |        0
1522.38/1522.85	c 1522s |      26 | 11992526 | 11171952 |     1374  19538 |        0 |        0
1524.38/1524.85	c 1524s |      26 | 12007357 | 11186052 |     1374  19558 |        0 |        0
1526.38/1526.86	c 1526s |      26 | 12022356 | 11200252 |     1374  19578 |        0 |        0
1528.37/1528.86	c 1528s |      26 | 12037126 | 11214352 |     1374  19598 |        0 |        0
1530.37/1530.86	c 1530s |      26 | 12052095 | 11228452 |     1374  19618 |        0 |        0
1532.37/1532.88	c 1532s |      26 | 12067197 | 11242952 |     1374  19638 |        0 |        0
1534.37/1534.88	c 1534s |      26 | 12082341 | 11257352 |     1374  19658 |        0 |        0
1536.38/1536.89	c 1536s |      26 | 12097420 | 11271852 |     1374  19679 |        0 |        0
1538.37/1538.89	c 1538s |      26 | 12112620 | 11286252 |     1374  19699 |        0 |        0
1540.37/1540.89	c 1540s |      26 | 12127721 | 11300452 |     1374  19719 |        0 |        0
1542.37/1542.89	c 1542s |      26 | 12143041 | 11314652 |     1374  19739 |        0 |        0
1544.37/1544.89	c 1544s |      26 | 12158035 | 11328652 |     1512  19757 |        0 |        0
1546.47/1546.90	c 1546s |      26 | 12173332 | 11342852 |     1512  19776 |        0 |        0
1548.48/1548.91	c 1548s |      26 | 12188615 | 11357052 |     1512  19794 |        0 |        0
1550.47/1550.91	c 1550s |      26 | 12203931 | 11370952 |     1512  19812 |        0 |        0
1552.47/1552.92	c 1552s |      26 | 12219467 | 11385152 |     1512  19830 |        0 |        0
1554.07/1554.58	c 1554s |      27 | 12231850 | 11396733 |     1512  19845 |        0 |        0
1556.07/1556.59	c 1556s |      27 | 12247317 | 11411133 |     1512  19863 |        0 |        0
1558.17/1558.60	c 1558s |      27 | 12262788 | 11425433 |     1512  19882 |        0 |        0
1560.17/1560.60	c 1560s |      27 | 12277800 | 11439533 |     1512  19900 |        0 |        0
1562.16/1562.61	c 1562s |      27 | 12293182 | 11453733 |     1512  19918 |        0 |        0
1564.16/1564.61	c 1564s |      27 | 12308143 | 11467833 |     1512  19936 |        0 |        0
1566.17/1566.62	c 1566s |      27 | 12323149 | 11482133 |     1512  19954 |        0 |        0
1568.18/1568.63	c 1568s |      27 | 12338551 | 11496433 |     1512  19972 |        0 |        0
1570.17/1570.64	c 1570s |      27 | 12353701 | 11510633 |     1512  19991 |        0 |        0
1572.17/1572.64	c 1572s |      27 | 12368421 | 11524633 |     1512  20009 |        0 |        0
1574.17/1574.65	c 1574s |      27 | 12383533 | 11538833 |     1512  20027 |        0 |        0
1576.17/1576.66	c 1576s |      27 | 12398496 | 11552833 |     1512  20045 |        0 |        0
1578.18/1578.67	c 1578s |      27 | 12413293 | 11567033 |     1512  20063 |        0 |        0
1580.17/1580.68	c 1580s |      27 | 12428420 | 11581133 |     1512  20081 |        0 |        0
1582.17/1582.70	c 1582s |      27 | 12443331 | 11595133 |     1512  20099 |        0 |        0
1584.27/1584.70	c 1584s |      27 | 12457943 | 11609033 |     1512  20117 |        0 |        0
1586.27/1586.71	c 1586s |      27 | 12472685 | 11623133 |     1512  20135 |        0 |        0
1588.27/1588.73	c 1588s |      27 | 12487275 | 11637133 |     1512  20153 |        0 |        0
1590.27/1590.74	c 1590s |      27 | 12501862 | 11651033 |     1512  20170 |        0 |        0
1592.27/1592.74	c 1592s |      27 | 12517024 | 11665333 |     1512  20189 |        0 |        0
1594.26/1594.75	c 1594s |      27 | 12532226 | 11679533 |     1512  20207 |        0 |        0
1596.27/1596.76	c 1596s |      27 | 12547331 | 11693533 |     1512  20225 |        0 |        0
1598.26/1598.76	c 1598s |      27 | 12562321 | 11707333 |     1512  20242 |        0 |        0
1600.26/1600.77	c 1600s |      27 | 12577251 | 11721333 |     1512  20260 |        0 |        0
1602.27/1602.78	c 1602s |      27 | 12592607 | 11735833 |     1512  20279 |        0 |        0
1604.26/1604.79	c 1604s |      27 | 12608120 | 11750333 |     1512  20297 |        0 |        0
1606.36/1606.80	c 1606s |      27 | 12623093 | 11764433 |     1512  20316 |        0 |        0
1608.36/1608.80	c 1608s |      27 | 12637289 | 11778133 |     1512  20333 |        0 |        0
1610.36/1610.80	c 1610s |      27 | 12652559 | 11792333 |     1512  20351 |        0 |        0
1612.36/1612.81	c 1612s |      27 | 12667569 | 11806333 |     1512  20369 |        0 |        0
1614.37/1614.83	c 1614s |      27 | 12682297 | 11820133 |     1512  20387 |        0 |        0
1616.36/1616.84	c 1616s |      27 | 12696739 | 11834033 |     1512  20405 |        0 |        0
1618.36/1618.84	c 1618s |      27 | 12711839 | 11848433 |     1512  20423 |        0 |        0
1620.36/1620.85	c 1620s |      27 | 12726783 | 11862533 |     1512  20441 |        0 |        0
1622.36/1622.86	c 1622s |      27 | 12741934 | 11876733 |     1512  20460 |        0 |        0
1624.36/1624.87	c 1624s |      27 | 12756987 | 11890933 |     1512  20478 |        0 |        0
1626.35/1626.87	c 1626s |      27 | 12771713 | 11905133 |     1512  20496 |        0 |        0
1628.35/1628.87	c 1628s |      27 | 12786531 | 11919133 |     1512  20514 |        0 |        0
1630.35/1630.89	c 1630s |      27 | 12801280 | 11932933 |     1512  20532 |        0 |        0
1632.35/1632.89	c 1632s |      27 | 12816528 | 11946933 |     1512  20549 |        0 |        0
1634.45/1634.90	c 1634s |      27 | 12831035 | 11960733 |     1512  20567 |        0 |        0
1636.36/1636.90	c 1636s |      27 | 12845827 | 11974533 |     1512  20585 |        0 |        0
1638.45/1638.91	c 1638s |      27 | 12861106 | 11988633 |     1512  20603 |        0 |        0
1640.45/1640.92	c 1640s |      27 | 12875769 | 12002333 |     1512  20620 |        0 |        0
1642.45/1642.92	c 1642s |      27 | 12890863 | 12016333 |     1512  20638 |        0 |        0
1644.45/1644.93	c 1644s |      27 | 12905985 | 12030433 |     1512  20656 |        0 |        0
1646.46/1646.94	c 1646s |      27 | 12920523 | 12044233 |     1512  20674 |        0 |        0
1648.47/1648.94	c 1648s |      27 | 12935145 | 12058133 |     1512  20692 |        0 |        0
1650.46/1650.94	c 1650s |      27 | 12950303 | 12072133 |     1512  20710 |        0 |        0
1652.46/1652.95	c 1652s |      27 | 12965243 | 12086033 |     1512  20727 |        0 |        0
1654.46/1654.96	c 1654s |      27 | 12979963 | 12099933 |     1512  20745 |        0 |        0
1656.46/1656.96	c 1656s |      27 | 12994690 | 12113733 |     1512  20763 |        0 |        0
1658.46/1658.97	c 1658s |      27 | 13009204 | 12127433 |     1512  20780 |        0 |        0
1660.45/1660.98	c 1660s |      27 | 13023841 | 12141433 |     1512  20798 |        0 |        0
1662.45/1662.99	c 1662s |      27 | 13038513 | 12155233 |     1512  20816 |        0 |        0
1664.55/1665.00	c 1664s |      27 | 13053097 | 12168933 |     1512  20833 |        0 |        0
1666.55/1667.01	c 1666s |      27 | 13067821 | 12182833 |     1512  20851 |        0 |        0
1668.55/1669.01	c 1668s |      27 | 13082338 | 12196533 |     1512  20869 |        0 |        0
1670.56/1671.02	c 1671s |      27 | 13096904 | 12210433 |     1512  20887 |        0 |        0
1672.55/1673.03	c 1673s |      27 | 13111884 | 12224633 |     1512  20905 |        0 |        0
1674.55/1675.04	c 1675s |      27 | 13126714 | 12238733 |     1512  20923 |        0 |        0
1676.55/1677.05	c 1677s |      27 | 13141799 | 12252833 |     1512  20941 |        0 |        0
1678.55/1679.06	c 1679s |      27 | 13156984 | 12266733 |     1512  20959 |        0 |        0
1680.55/1681.06	c 1681s |      27 | 13172531 | 12280733 |     1512  20977 |        0 |        0
1682.56/1683.07	c 1683s |      27 | 13187463 | 12294533 |     1512  20994 |        0 |        0
1684.55/1685.07	c 1685s |      27 | 13202588 | 12308433 |     1512  21012 |        0 |        0
1686.55/1687.09	c 1687s |      27 | 13217525 | 12322533 |     1512  21030 |        0 |        0
1688.55/1689.09	c 1689s |      27 | 13232447 | 12336633 |     1512  21048 |        0 |        0
1690.55/1691.10	c 1691s |      27 | 13246858 | 12350433 |     1512  21066 |        0 |        0
1692.65/1693.10	c 1693s |      27 | 13261475 | 12364433 |     1512  21084 |        0 |        0
1694.66/1695.10	c 1695s |      27 | 13276339 | 12378533 |     1512  21102 |        0 |        0
1696.65/1697.11	c 1697s |      27 | 13291191 | 12392633 |     1512  21120 |        0 |        0
1698.65/1699.12	c 1699s |      27 | 13305588 | 12406433 |     1512  21138 |        0 |        0
1700.65/1701.13	c 1701s |      27 | 13320273 | 12420433 |     1512  21156 |        0 |        0
1702.65/1703.15	c 1703s |      27 | 13335087 | 12434533 |     1512  21174 |        0 |        0
1704.66/1705.15	c 1705s |      27 | 13350383 | 12449033 |     1512  21192 |        0 |        0
1706.65/1707.16	c 1707s |      27 | 13365327 | 12463233 |     1512  21210 |        0 |        0
1708.65/1709.17	c 1709s |      27 | 13380065 | 12477333 |     1512  21228 |        0 |        0
1710.65/1711.18	c 1711s |      27 | 13394831 | 12491433 |     1512  21246 |        0 |        0
1712.64/1713.19	c 1713s |      27 | 13409798 | 12505633 |     1512  21265 |        0 |        0
1714.74/1715.20	c 1715s |      27 | 13424744 | 12519833 |     1512  21283 |        0 |        0
1716.75/1717.21	c 1717s |      27 | 13439619 | 12533733 |     1512  21301 |        0 |        0
1718.74/1719.21	c 1719s |      27 | 13454597 | 12547833 |     1512  21319 |        0 |        0
1720.74/1721.21	c 1721s |      27 | 13469775 | 12561933 |     1512  21337 |        0 |        0
1722.74/1723.22	c 1723s |      27 | 13484700 | 12575833 |     1512  21355 |        0 |        0
1724.74/1725.22	c 1725s |      27 | 13499796 | 12589833 |     1512  21373 |        0 |        0
1726.74/1727.23	c 1727s |      27 | 13514750 | 12604033 |     1512  21391 |        0 |        0
1728.75/1729.23	c 1729s |      27 | 13529543 | 12618033 |     1512  21409 |        0 |        0
1730.74/1731.24	c 1731s |      27 | 13544209 | 12632133 |     1512  21427 |        0 |        0
1732.74/1733.24	c 1733s |      27 | 13558747 | 12646033 |     1512  21445 |        0 |        0
1734.74/1735.25	c 1735s |      27 | 13573701 | 12660133 |     1512  21463 |        0 |        0
1736.75/1737.25	c 1737s |      27 | 13588413 | 12674233 |     1512  21481 |        0 |        0
1738.75/1739.27	c 1739s |      27 | 13603021 | 12688133 |     1512  21499 |        0 |        0
1740.75/1741.27	c 1741s |      27 | 13618012 | 12702133 |     1512  21517 |        0 |        0
1742.75/1743.27	c 1743s |      27 | 13632952 | 12716233 |     1512  21535 |        0 |        0
1744.74/1745.28	c 1745s |      27 | 13647937 | 12730433 |     1512  21553 |        0 |        0
1746.74/1747.28	c 1747s |      27 | 13662883 | 12744533 |     1512  21571 |        0 |        0
1748.74/1749.29	c 1749s |      27 | 13677579 | 12758533 |     1512  21589 |        0 |        0
1750.75/1751.29	c 1751s |      27 | 13692348 | 12772733 |     1512  21607 |        0 |        0
1752.84/1753.30	c 1753s |      27 | 13707501 | 12786833 |     1512  21626 |        0 |        0
1754.84/1755.30	c 1755s |      27 | 13722453 | 12801233 |     1512  21644 |        0 |        0
1756.84/1757.30	c 1757s |      27 | 13737545 | 12815633 |     1512  21662 |        0 |        0
1758.84/1759.31	c 1759s |      27 | 13752255 | 12829833 |     1512  21681 |        0 |        0
1760.84/1761.31	c 1761s |      27 | 13767300 | 12843933 |     1512  21699 |        0 |        0
1762.85/1763.32	c 1763s |      27 | 13781953 | 12857533 |     1512  21716 |        0 |        0
1764.84/1765.33	c 1765s |      27 | 13796502 | 12871433 |     1512  21734 |        0 |        0
1766.84/1767.34	c 1767s |      27 | 13811566 | 12885633 |     1512  21752 |        0 |        0
1768.84/1769.34	c 1769s |      27 | 13826471 | 12899833 |     1512  21770 |        0 |        0
1770.84/1771.34	c 1771s |      27 | 13841729 | 12914233 |     1512  21789 |        0 |        0
1772.84/1773.35	c 1773s |      27 | 13856633 | 12928433 |     1512  21807 |        0 |        0
1774.84/1775.35	c 1775s |      27 | 13871472 | 12942633 |     1512  21825 |        0 |        0
1776.83/1777.36	c 1777s |      27 | 13886630 | 12956933 |     1512  21844 |        0 |        0
1778.83/1779.36	c 1779s |      27 | 13901623 | 12971233 |     1512  21862 |        0 |        0
1780.83/1781.36	c 1781s |      27 | 13916698 | 12985333 |     1512  21880 |        0 |        0
1782.83/1783.37	c 1783s |      27 | 13931875 | 12999533 |     1512  21899 |        0 |        0
1784.84/1785.38	c 1785s |      27 | 13947040 | 13013733 |     1512  21917 |        0 |        0
1786.83/1787.38	c 1787s |      27 | 13961979 | 13027633 |     1512  21935 |        0 |        0
1788.83/1789.39	c 1789s |      27 | 13976889 | 13041733 |     1512  21953 |        0 |        0
1790.93/1791.40	c 1791s |      27 | 13991821 | 13055733 |     1512  21971 |        0 |        0
1792.94/1793.41	c 1793s |      27 | 14006907 | 13070033 |     1512  21989 |        0 |        0
1794.94/1795.42	c 1795s |      27 | 14022103 | 13084433 |     1512  22007 |        0 |        0
1796.94/1797.42	c 1797s |      27 | 14037518 | 13098433 |     1512  22025 |        0 |        0
1798.94/1799.44	c 1799s |      27 | 14052850 | 13112733 |     1512  22044 |        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-4089477-1466027999/watcher-4089477-1466027999 -o /tmp/evaluation-result-4089477-1466027999/solver-4089477-1466027999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089477-1466027999.opb 

pid=8433
running on 4 cores: 1,3,5,7

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.14 2.07 2.03 3/179 8436
/proc/meminfo: memFree=30435260/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 2889 0 0 0 0 0 0 0 20 0 4 0 4845340 790032384 2738 33554432000 4194304 16246674 140733401166112 140733401165536 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 193647 2746 441 2943 0 190541 0
[pid=8436/tid=8437] ppid=8433 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 807858176 2806 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 813101056 2824 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4845340 817295360 2842 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.14 2.07 2.03 3/179 8436
/proc/meminfo: memFree=30435260/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 29481 0 0 0 5 4 0 0 20 0 4 0 4845340 1247350784 29319 33554432000 4194304 16246674 140733401166112 140733401165536 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 304529 29328 711 2943 0 301423 0
[pid=8436/tid=8437] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 29339 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 29348 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 29355 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200601 s]
/proc/loadavg: 2.14 2.07 2.03 3/179 8436
/proc/meminfo: memFree=30435260/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 58272 0 0 0 10 9 0 0 20 0 4 0 4845340 1247350784 58111 33554432000 4194304 16246674 140733401166112 140733401165536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 304529 58129 711 2943 0 301423 0
[pid=8436/tid=8437] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 58136 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 58142 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 58149 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.14 2.07 2.03 3/179 8436
/proc/meminfo: memFree=30435260/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 86803 0 0 0 17 12 0 0 20 0 4 0 4845340 1247350784 86641 33554432000 4194304 16246674 140733401166112 140733401148032 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 304529 86657 711 2943 0 301423 0
[pid=8436/tid=8437] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 86668 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 86677 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 86683 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.14 2.07 2.03 3/179 8436
/proc/meminfo: memFree=30435260/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 203379 0 0 0 41 27 0 0 20 0 4 0 4845340 1247350784 203217 33554432000 4194304 16246674 140733401166112 140733401148032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 304529 203232 712 2943 0 301423 0
[pid=8436/tid=8437] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 203238 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 203250 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4845340 1247350784 203261 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50031 s]
/proc/loadavg: 2.14 2.07 2.03 3/183 8440
/proc/meminfo: memFree=29454496/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267278 0 0 0 114 35 0 0 20 0 4 0 4845340 1336479744 267096 33554432000 4194304 16246674 140733401166112 140733401148032 5974204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326289 267096 789 2943 0 323183 0
[pid=8436/tid=8437] ppid=8433 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1336479744 267096 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1336479744 267096 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1336479744 267096 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.13 2.07 2.02 3/184 8443
/proc/meminfo: memFree=29366580/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267419 0 0 0 274 35 0 0 20 0 4 0 4845340 1337528320 267237 33554432000 4194304 16246674 140733401166112 140733401149112 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326545 267237 789 2943 0 323439 0
[pid=8436/tid=8437] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267237 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267237 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267237 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.13 2.07 2.02 3/184 8443
/proc/meminfo: memFree=29365320/32872528 swapFree=496352/529056
[pid=8436] ppid=8433 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267455 0 0 0 594 35 0 0 20 0 4 0 4845340 1337528320 267273 33554432000 4194304 16246674 140733401166112 140733401149112 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326545 267273 789 2943 0 323439 0
[pid=8436/tid=8437] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267273 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267273 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267273 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.11 2.06 2.02 3/184 8443
/proc/meminfo: memFree=29365672/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267465 0 0 0 1233 35 0 0 20 0 4 0 4845340 1337528320 267283 33554432000 4194304 16246674 140733401166112 140733401149112 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326545 267283 790 2943 0 323439 0
[pid=8436/tid=8437] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267283 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267283 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267283 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.09 2.06 2.02 3/184 8443
/proc/meminfo: memFree=29366044/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267573 0 0 0 2513 36 0 0 20 0 4 0 4845340 1337528320 267391 33554432000 4194304 16246674 140733401166112 140733401148032 6024171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326545 267391 790 2943 0 323439 0
[pid=8436/tid=8437] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267391 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267391 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267391 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.21 2.09 2.03 3/184 8443
/proc/meminfo: memFree=29366136/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267574 0 0 0 5072 36 0 0 20 0 4 0 4845340 1337528320 267392 33554432000 4194304 16246674 140733401166112 140733401148032 5823751 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326545 267392 790 2943 0 323439 0
[pid=8436/tid=8437] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267392 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267392 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1337528320 267392 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.22 2.10 2.04 3/184 8467
/proc/meminfo: memFree=29366648/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 267630 0 0 0 10191 37 0 0 20 0 4 0 4845340 1338576896 267448 33554432000 4194304 16246674 140733401166112 140733401149112 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 326801 267448 792 2943 0 323695 0
[pid=8436/tid=8437] ppid=8433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1338576896 267448 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1338576896 267448 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1338576896 267448 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.17 2.11 2.05 4/183 8644
/proc/meminfo: memFree=29354384/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1314372 CPUtime=1361.9 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270015 0 0 0 136127 63 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140733401148032 6012096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328593 269699 793 2943 0 325487 0
[pid=8436/tid=8437] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.29 2.15 2.07 3/183 8645
/proc/meminfo: memFree=29354540/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1314372 CPUtime=1421.9 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270015 0 0 0 142126 64 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140733401149112 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328593 269699 793 2943 0 325487 0
[pid=8436/tid=8437] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.10 2.12 2.06 3/183 8646
/proc/meminfo: memFree=29354200/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1314372 CPUtime=1481.88 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270015 0 0 0 148123 65 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140733401149112 5754723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328593 269699 793 2943 0 325487 0
[pid=8436/tid=8437] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.21 2.14 2.07 3/183 8648
/proc/meminfo: memFree=29355128/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1314372 CPUtime=1541.88 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270015 0 0 0 154122 66 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140733401149112 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328593 269699 793 2943 0 325487 0
[pid=8436/tid=8437] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.13 2.13 2.07 3/183 8649
/proc/meminfo: memFree=29354768/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1314372 CPUtime=1601.86 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270015 0 0 0 160119 67 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140733401149112 6836722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328593 269699 793 2943 0 325487 0
[pid=8436/tid=8437] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1345916928 269699 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.04 2.10 2.07 3/183 8650
/proc/meminfo: memFree=29353892/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1315396 CPUtime=1661.85 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270271 0 0 0 166117 68 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140733401148032 6861716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328849 269955 793 2943 0 325743 0
[pid=8436/tid=8437] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 2.06 4/183 8651
/proc/meminfo: memFree=29352652/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1315396 CPUtime=1721.84 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270271 0 0 0 172115 69 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140733401148032 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328849 269955 793 2943 0 325743 0
[pid=8436/tid=8437] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/183 8652
/proc/meminfo: memFree=29352284/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1315396 CPUtime=1781.83 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270271 0 0 0 178113 70 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140733401148032 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328849 269955 793 2943 0 325743 0
[pid=8436/tid=8437] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 8653
/proc/meminfo: memFree=29352240/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1315396 CPUtime=1800.04 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270271 0 0 0 179933 71 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140733401149112 5669395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328849 269955 793 2943 0 325743 0
[pid=8436/tid=8437] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 8653
/proc/meminfo: memFree=29352240/32872528 swapFree=496356/529060
[pid=8436] ppid=8433 vsize=1315396 CPUtime=1800.04 cores=1,3,5,7
/proc/8436/stat : 8436 (toysat) R 8433 8436 5955 0 -1 4202496 270271 0 0 0 179933 71 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140733401149112 5669395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8436/statm: 328849 269955 793 2943 0 325743 0
[pid=8436/tid=8437] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8437/stat : 8437 (toysat) S 8433 8436 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674272832752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8436/tid=8438] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8438/stat : 8438 (toysat) S 8433 8436 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674262342896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8436/tid=8439] ppid=8433 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8436/task/8439/stat : 8439 (toysat) S 8433 8436 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4845340 1346965504 269955 33554432000 4194304 16246674 140733401166112 140674251869360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.34
CPU system time (s): 0.711891
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.711891
maximum resident set size= 1079820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270271
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= 404
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4663 second user time and 17.7693 second system time

The end

Begin job on node141 at 2016-06-15 23:59:59
IDJOB=4089477
IDBENCH=107412
IDSOLVER=2542
FILE ID=node141/4089477-1466027999
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 2f7588113f2d81a39da39b0b74601a82
RANDOM SEED=753185590

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30435788 kB
Buffers:           34120 kB
Cached:            77572 kB
SwapCached:        13072 kB
Active:          1146900 kB
Inactive:          60812 kB
Active(anon):    1085980 kB
Inactive(anon):    12008 kB
Active(file):      60920 kB
Inactive(file):    48804 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1612668 kB
Mapped:            10320 kB
Shmem:                 0 kB
Slab:             567052 kB
SReclaimable:      11084 kB
SUnreclaim:       555968 kB
KernelStack:        1504 kB
PageTables:         7364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1756028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 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= 71716 MiB
End job on node141 at 2016-06-16 00:30:00