0.00/0.00	c 2016-06-30T21:54:40+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-4122338-1467316480.opb"]
0.00/0.01	c use --random-gen="3078324074 1540643978 554483997 3417631495 570208448 951866717 906023120 1083109460 3068473253 1674264905 1531735638 3143352626 3800292514 1426291065 382040635 3441879602 2352774550 4107133316 1179147584 3708227375 103787258 2986471309 360049741 3634927896 3236360409 3351484464 2034098453 1499358394 3750249638 2426978574 3175194278 565009677 4176629881 2971991396 28412662 3598905270 4194456566 881107354 3074642796 830001524 1751334867 1088244970 2522276994 2699709736 2329264714 1856559234 3978848041 2988068405 2383339826 3089218860 2136658554 1155111446 3940523544 3979264168 3129568505 2995141684 4105838662 2423637240 926798470 2204314766 3025670013 2247334777 1900586594 1979252514 1640228396 631381978 3339554587 656764707 1328534116 2802979319 3586419836 2084043504 2640328639 4009472151 2686815189 1861612500 1862567689 2441582746 3582075375 1051009716 569132869 3323165120 4189246529 2685010077 1686330684 3316246987 183446765 2995025357 3622083232 3203136083 2613908036 723787190 143640459 904261626 3395503581 856364177 3209376333 850259658 812698808 1098011410 2562540951 479525521 130962408 1197216668 3691328508 2390403596 1345987498 2767838462 2315501224 2726933239 904230246 1701936227 52469425 4181169792 235394181 3864211202 1024261795 3511858279 4293224082 2415386734 239677149 2204854615 2064812639 530497794 2300356442 4023969964 1615027004 179346246 451326926 141892376 4081328104 1286509070 4013325632 3777120073 237593208 4081479731 1205921831 2467144316 1992281483 1426081254 867967941 3454538450 2266232377 1731238476 1118340105 322904018 4290474580 3964313562 49319940 1860080587 3764934863 3028498087 3700780578 548692719 2266166383 4102433276 3787661515 48829941 1663069987 803042121 471858746 2447362842 1262317239 3509459741 2016736831 1154246946 2189435395 135127903 3374652334 3216004559 4070632009 4155664343 3400442544 2492355557 2109671546 1407905967 381229278 2092124118 4066956146 1464531039 3799281615 4209613317 648487238 3678080329 3240726064 777240815 2228478539 805907879 3922732360 3116050311 1160029826 2920651960 3584002285 1660258124 1465837304 1501578491 400735084 3320665649 419904085 2427351061 2196086209 95549303 479419253 3854882437 1008661822 2272704620 1916603191 3394187691 3067720745 3773719716 1597750930 266526604 3044382297 99038592 246788904 3033802131 2557715210 1592966101 2561818929 2189125815 1031800498 1967635260 1028637646 3927047712 2161555756 318589560 2859797570 1936652111 2897891533 1535271577 3107278561 3581103877 1469049599 4259683562 2132739619 2131304514 2697997795 3957971434 679078392 4259402447 1868259078 989011249 1646691859 3054409359 854116916 419077851 989374965 462702880 4204474263 2945701412 3998241859 2567271187 2658549109 3059193331 4235155713 1660822463 255 362436" option to reproduce the execution
0.00/0.01	c #vars 253
0.00/0.01	c #constraints 252
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      194 |      100 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      438 |      250 |      185      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      776 |      475 |      204      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1297 |      813 |      225      4 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2247 |     1320 |      248      7 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3269 |     2081 |      301     10 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4940 |     3223 |      332     15 |        0 |        0
0.49/0.55	c  0.5s |       8 |     8078 |     4936 |      366     23 |        0 |        0
0.79/0.85	c  0.8s |       9 |    11808 |     7506 |      403     33 |        0 |        0
1.19/1.20	c  1.2s |      10 |    16850 |    11361 |      444     46 |        0 |        0
1.68/1.70	c  1.7s |      11 |    24545 |    17144 |      489     66 |        0 |        0
2.38/2.42	c  2.4s |      12 |    36159 |    25819 |      538     94 |        0 |        0
3.48/3.55	c  3.5s |      13 |    52956 |    38832 |      592    136 |        0 |        0
5.18/5.27	c  5.2s |      14 |    79013 |    58352 |      652    191 |        0 |        0
7.18/7.27	c  7.3s |      14 |   106929 |    80352 |      652    249 |        0 |        0
7.88/7.92	c  7.9s |      15 |   116261 |    87632 |      718    267 |        0 |        0
9.89/9.93	c  9.9s |      15 |   145317 |   109532 |      718    319 |        0 |        0
11.88/11.93	c 11.9s |      15 |   173042 |   130132 |      718    367 |        0 |        0
11.98/12.09	c 12.1s |      16 |   174990 |   131552 |      790    370 |        0 |        0
13.98/14.09	c 14.1s |      16 |   202270 |   152452 |      790    416 |        0 |        0
15.98/16.09	c 16.1s |      16 |   229959 |   173452 |      790    462 |        0 |        0
17.97/18.10	c 18.1s |      16 |   260165 |   195452 |      790    511 |        0 |        0
18.17/18.29	c 18.3s |      17 |   262802 |   197432 |      870    516 |        0 |        0
20.17/20.29	c 20.3s |      17 |   287634 |   216432 |      870    552 |        0 |        0
22.27/22.30	c 22.3s |      17 |   314070 |   236532 |      870    592 |        0 |        0
24.28/24.31	c 24.3s |      17 |   340529 |   256732 |      870    631 |        0 |        0
26.27/26.31	c 26.3s |      17 |   368548 |   277132 |      870    671 |        0 |        0
28.17/28.25	c 28.2s |      18 |   393869 |   296252 |      958    708 |        0 |        0
30.17/30.26	c 30.2s |      18 |   419304 |   315552 |      958    744 |        0 |        0
32.18/32.26	c 32.2s |      18 |   446232 |   335352 |      958    781 |        0 |        0
34.19/34.26	c 34.2s |      18 |   473331 |   354752 |      958    817 |        0 |        0
36.18/36.27	c 36.3s |      18 |   500345 |   374652 |      958    855 |        0 |        0
38.18/38.27	c 38.3s |      18 |   526711 |   394452 |      958    892 |        0 |        0
40.18/40.28	c 40.3s |      18 |   553488 |   414052 |      958    929 |        0 |        0
42.18/42.28	c 42.3s |      18 |   580118 |   434152 |      958    966 |        0 |        0
43.28/43.30	c 43.3s |      19 |   594689 |   444482 |     1054    985 |        0 |        0
45.28/45.30	c 45.3s |      19 |   618252 |   462882 |     1054   1016 |        0 |        0
47.28/47.31	c 47.3s |      19 |   643383 |   482382 |     1054   1049 |        0 |        0
49.28/49.32	c 49.3s |      19 |   668285 |   501582 |     1054   1081 |        0 |        0
51.27/51.33	c 51.3s |      19 |   695741 |   521782 |     1054   1116 |        0 |        0
53.27/53.34	c 53.3s |      19 |   718508 |   539682 |     1054   1146 |        0 |        0
55.27/55.34	c 55.3s |      19 |   739763 |   556882 |     1054   1176 |        0 |        0
57.28/57.34	c 57.3s |      19 |   761601 |   573982 |     1054   1205 |        0 |        0
59.27/59.34	c 59.3s |      19 |   784729 |   590982 |     1054   1235 |        0 |        0
61.27/61.35	c 61.3s |      19 |   809823 |   609482 |     1054   1267 |        0 |        0
63.27/63.36	c 63.3s |      19 |   835394 |   627982 |     1054   1299 |        0 |        0
65.27/65.37	c 65.3s |      19 |   861419 |   647782 |     1054   1333 |        0 |        0
67.27/67.33	c 67.3s |      20 |   887485 |   666827 |     1160   1365 |        0 |        0
69.28/69.33	c 69.3s |      20 |   913742 |   686427 |     1160   1396 |        0 |        0
71.27/71.34	c 71.3s |      20 |   939262 |   705927 |     1160   1426 |        0 |        0
73.27/73.34	c 73.3s |      20 |   965197 |   725527 |     1160   1457 |        0 |        0
75.27/75.35	c 75.3s |      20 |   992275 |   745027 |     1160   1487 |        0 |        0
77.27/77.35	c 77.3s |      20 |  1016321 |   763427 |     1160   1517 |        0 |        0
79.27/79.35	c 79.3s |      20 |  1042582 |   783127 |     1160   1549 |        0 |        0
81.27/81.36	c 81.3s |      20 |  1068707 |   802327 |     1160   1581 |        0 |        0
83.27/83.36	c 83.3s |      20 |  1090768 |   818727 |     1160   1608 |        0 |        0
85.27/85.37	c 85.4s |      20 |  1114484 |   835727 |     1160   1636 |        0 |        0
87.26/87.38	c 87.4s |      20 |  1139326 |   854627 |     1160   1667 |        0 |        0
89.26/89.39	c 89.4s |      20 |  1163469 |   872027 |     1160   1696 |        0 |        0
91.27/91.40	c 91.4s |      20 |  1188205 |   890627 |     1160   1726 |        0 |        0
93.36/93.40	c 93.4s |      20 |  1211702 |   908427 |     1160   1756 |        0 |        0
95.36/95.41	c 95.4s |      20 |  1237251 |   927327 |     1160   1787 |        0 |        0
97.36/97.41	c 97.4s |      20 |  1263889 |   946827 |     1160   1819 |        0 |        0
99.36/99.42	c 99.4s |      20 |  1288882 |   965627 |     1160   1849 |        0 |        0
101.36/101.42	c  101s |      20 |  1310474 |   982527 |     1160   1877 |        0 |        0
103.26/103.30	c  103s |      21 |  1334328 |  1000345 |     1276   1905 |        0 |        0
105.26/105.31	c  105s |      21 |  1353090 |  1015945 |     1276   1927 |        0 |        0
107.26/107.32	c  107s |      21 |  1374371 |  1033045 |     1276   1951 |        0 |        0
109.27/109.32	c  109s |      21 |  1398216 |  1051145 |     1276   1977 |        0 |        0
111.27/111.32	c  111s |      21 |  1422220 |  1069445 |     1276   2003 |        0 |        0
113.27/113.32	c  113s |      21 |  1447294 |  1088445 |     1276   2030 |        0 |        0
115.26/115.33	c  115s |      21 |  1470230 |  1106045 |     1276   2055 |        0 |        0
117.26/117.34	c  117s |      21 |  1492820 |  1123445 |     1276   2080 |        0 |        0
119.26/119.34	c  119s |      21 |  1516094 |  1141045 |     1276   2106 |        0 |        0
121.26/121.34	c  121s |      21 |  1540851 |  1159745 |     1276   2133 |        0 |        0
123.27/123.34	c  123s |      21 |  1563839 |  1177645 |     1276   2158 |        0 |        0
125.26/125.35	c  125s |      21 |  1587317 |  1195545 |     1276   2184 |        0 |        0
127.26/127.35	c  127s |      21 |  1610372 |  1213245 |     1276   2210 |        0 |        0
129.26/129.36	c  129s |      21 |  1633734 |  1231345 |     1276   2236 |        0 |        0
131.26/131.36	c  131s |      21 |  1658056 |  1249945 |     1276   2263 |        0 |        0
133.26/133.37	c  133s |      21 |  1682408 |  1268745 |     1276   2290 |        0 |        0
135.27/135.37	c  135s |      21 |  1706092 |  1287045 |     1276   2316 |        0 |        0
137.26/137.38	c  137s |      21 |  1729892 |  1305445 |     1276   2343 |        0 |        0
139.26/139.38	c  139s |      21 |  1753624 |  1323645 |     1276   2369 |        0 |        0
141.26/141.38	c  141s |      21 |  1777270 |  1341845 |     1276   2395 |        0 |        0
143.26/143.39	c  143s |      21 |  1801076 |  1360145 |     1276   2421 |        0 |        0
145.36/145.40	c  145s |      21 |  1824509 |  1378145 |     1276   2447 |        0 |        0
147.36/147.41	c  147s |      21 |  1848162 |  1396445 |     1276   2474 |        0 |        0
149.36/149.42	c  149s |      21 |  1870420 |  1413845 |     1276   2499 |        0 |        0
151.36/151.42	c  151s |      21 |  1893569 |  1431545 |     1276   2524 |        0 |        0
153.35/153.42	c  153s |      21 |  1917703 |  1449945 |     1276   2551 |        0 |        0
155.35/155.43	c  155s |      21 |  1941547 |  1468045 |     1276   2577 |        0 |        0
157.36/157.43	c  157s |      21 |  1967217 |  1487445 |     1276   2605 |        0 |        0
158.75/158.82	c  158s |      22 |  1984391 |  1500622 |     1404   2622 |        0 |        0
160.76/160.82	c  160s |      22 |  2006159 |  1517322 |     1404   2644 |        0 |        0
162.77/162.82	c  162s |      22 |  2027590 |  1533322 |     1404   2665 |        0 |        0
164.76/164.82	c  164s |      22 |  2049154 |  1549622 |     1404   2686 |        0 |        0
166.76/166.83	c  166s |      22 |  2070853 |  1566522 |     1404   2708 |        0 |        0
168.76/168.84	c  168s |      22 |  2092938 |  1583522 |     1404   2730 |        0 |        0
170.76/170.85	c  170s |      22 |  2114808 |  1600122 |     1404   2752 |        0 |        0
172.76/172.85	c  172s |      22 |  2137702 |  1617022 |     1404   2774 |        0 |        0
174.76/174.86	c  174s |      22 |  2160129 |  1633922 |     1404   2797 |        0 |        0
176.76/176.87	c  176s |      22 |  2183222 |  1651722 |     1404   2820 |        0 |        0
178.76/178.88	c  178s |      22 |  2207269 |  1669922 |     1404   2844 |        0 |        0
180.76/180.88	c  180s |      22 |  2229589 |  1687022 |     1404   2866 |        0 |        0
182.76/182.89	c  182s |      22 |  2252065 |  1704322 |     1404   2889 |        0 |        0
184.76/184.89	c  184s |      22 |  2274704 |  1721422 |     1404   2911 |        0 |        0
186.85/186.90	c  186s |      22 |  2295697 |  1737322 |     1404   2932 |        0 |        0
188.85/188.91	c  188s |      22 |  2319078 |  1754622 |     1404   2955 |        0 |        0
190.85/190.91	c  190s |      22 |  2340032 |  1770822 |     1404   2977 |        0 |        0
192.85/192.92	c  192s |      22 |  2362054 |  1787522 |     1404   2999 |        0 |        0
194.85/194.92	c  194s |      22 |  2383369 |  1803822 |     1404   3020 |        0 |        0
196.86/196.93	c  196s |      22 |  2405331 |  1820222 |     1404   3041 |        0 |        0
198.85/198.93	c  198s |      22 |  2429216 |  1837522 |     1404   3064 |        0 |        0
200.85/200.93	c  200s |      22 |  2453348 |  1855122 |     1404   3087 |        0 |        0
202.85/202.94	c  202s |      22 |  2474035 |  1871322 |     1404   3109 |        0 |        0
204.84/204.95	c  204s |      22 |  2494790 |  1887322 |     1404   3130 |        0 |        0
206.85/206.95	c  206s |      22 |  2516532 |  1903922 |     1404   3152 |        0 |        0
208.84/208.96	c  208s |      22 |  2540159 |  1921322 |     1404   3175 |        0 |        0
210.85/210.97	c  210s |      22 |  2563490 |  1938822 |     1404   3198 |        0 |        0
212.85/212.97	c  212s |      22 |  2585103 |  1955622 |     1404   3220 |        0 |        0
214.85/214.98	c  214s |      22 |  2608225 |  1972822 |     1404   3243 |        0 |        0
216.85/216.99	c  216s |      22 |  2630066 |  1990022 |     1404   3265 |        0 |        0
218.85/218.99	c  218s |      22 |  2651466 |  2006822 |     1404   3287 |        0 |        0
220.85/220.99	c  220s |      22 |  2671457 |  2022422 |     1404   3308 |        0 |        0
222.95/223.00	c  222s |      22 |  2692762 |  2038722 |     1404   3329 |        0 |        0
224.95/225.01	c  224s |      22 |  2716054 |  2056022 |     1404   3352 |        0 |        0
226.95/227.01	c  226s |      22 |  2737725 |  2072322 |     1404   3374 |        0 |        0
228.95/229.01	c  228s |      22 |  2760198 |  2088722 |     1404   3395 |        0 |        0
230.95/231.03	c  231s |      22 |  2781287 |  2104822 |     1404   3417 |        0 |        0
232.94/233.04	c  233s |      22 |  2805341 |  2122322 |     1404   3440 |        0 |        0
234.94/235.04	c  235s |      22 |  2830029 |  2139922 |     1404   3463 |        0 |        0
236.94/237.05	c  237s |      22 |  2853134 |  2156622 |     1404   3485 |        0 |        0
238.94/239.05	c  239s |      22 |  2876597 |  2173822 |     1404   3508 |        0 |        0
240.95/241.05	c  241s |      22 |  2900323 |  2191022 |     1404   3530 |        0 |        0
242.94/243.06	c  243s |      22 |  2923814 |  2208422 |     1404   3553 |        0 |        0
244.94/245.07	c  245s |      22 |  2946696 |  2225822 |     1404   3576 |        0 |        0
246.94/247.07	c  247s |      22 |  2970322 |  2243422 |     1545   3599 |        0 |        0
247.84/247.91	c  247s |      23 |  2980519 |  2251038 |     1545   3608 |        0 |        0
249.84/249.92	c  249s |      23 |  3001477 |  2267038 |     1545   3627 |        0 |        0
251.85/251.92	c  251s |      23 |  3022370 |  2283138 |     1545   3646 |        0 |        0
253.84/253.93	c  253s |      23 |  3043149 |  2299038 |     1545   3665 |        0 |        0
255.84/255.93	c  255s |      23 |  3064597 |  2315238 |     1545   3684 |        0 |        0
257.84/257.94	c  257s |      23 |  3084571 |  2330738 |     1545   3702 |        0 |        0
259.84/259.94	c  259s |      23 |  3104497 |  2346138 |     1545   3720 |        0 |        0
261.84/261.95	c  261s |      23 |  3125015 |  2361838 |     1545   3739 |        0 |        0
263.84/263.96	c  263s |      23 |  3144188 |  2377038 |     1545   3758 |        0 |        0
265.83/265.96	c  265s |      23 |  3164335 |  2392538 |     1545   3776 |        0 |        0
267.83/267.97	c  267s |      23 |  3186499 |  2409638 |     1545   3797 |        0 |        0
269.83/269.97	c  269s |      23 |  3207401 |  2426338 |     1545   3816 |        0 |        0
271.83/271.98	c  271s |      23 |  3230900 |  2443838 |     1545   3838 |        0 |        0
273.84/273.98	c  273s |      23 |  3253404 |  2461338 |     1545   3859 |        0 |        0
275.83/275.99	c  275s |      23 |  3275171 |  2478338 |     1545   3880 |        0 |        0
277.93/278.00	c  277s |      23 |  3298443 |  2495638 |     1545   3901 |        0 |        0
279.94/280.00	c  279s |      23 |  3320996 |  2512638 |     1545   3922 |        0 |        0
281.94/282.01	c  281s |      23 |  3340745 |  2528438 |     1545   3941 |        0 |        0
283.94/284.01	c  283s |      23 |  3362645 |  2544438 |     1545   3961 |        0 |        0
285.94/286.02	c  285s |      23 |  3385221 |  2560638 |     1545   3981 |        0 |        0
287.94/288.03	c  288s |      23 |  3406973 |  2576538 |     1545   4000 |        0 |        0
289.94/290.04	c  290s |      23 |  3427008 |  2591438 |     1545   4018 |        0 |        0
291.94/292.04	c  292s |      23 |  3449515 |  2607738 |     1545   4038 |        0 |        0
293.94/294.05	c  294s |      23 |  3469840 |  2622738 |     1545   4056 |        0 |        0
295.94/296.05	c  296s |      23 |  3490063 |  2637938 |     1545   4075 |        0 |        0
297.93/298.07	c  298s |      23 |  3508402 |  2651938 |     1545   4092 |        0 |        0
299.93/300.08	c  300s |      23 |  3528029 |  2666338 |     1545   4109 |        0 |        0
301.93/302.08	c  302s |      23 |  3547549 |  2680638 |     1545   4127 |        0 |        0
304.03/304.10	c  304s |      23 |  3567811 |  2695938 |     1545   4146 |        0 |        0
306.03/306.10	c  306s |      23 |  3589582 |  2711738 |     1545   4165 |        0 |        0
308.04/308.12	c  308s |      23 |  3609996 |  2727138 |     1545   4184 |        0 |        0
310.03/310.12	c  310s |      23 |  3630218 |  2742238 |     1545   4202 |        0 |        0
312.03/312.13	c  312s |      23 |  3651414 |  2757938 |     1545   4221 |        0 |        0
314.03/314.14	c  314s |      23 |  3672599 |  2773338 |     1545   4240 |        0 |        0
316.03/316.14	c  316s |      23 |  3693938 |  2788838 |     1545   4259 |        0 |        0
318.03/318.15	c  318s |      23 |  3714021 |  2803338 |     1545   4277 |        0 |        0
320.03/320.15	c  320s |      23 |  3735613 |  2819338 |     1545   4296 |        0 |        0
322.03/322.16	c  322s |      23 |  3757691 |  2834938 |     1545   4315 |        0 |        0
324.03/324.16	c  324s |      23 |  3780601 |  2851438 |     1545   4336 |        0 |        0
326.03/326.17	c  326s |      23 |  3800352 |  2866338 |     1545   4354 |        0 |        0
328.03/328.17	c  328s |      23 |  3822310 |  2882638 |     1545   4374 |        0 |        0
330.04/330.17	c  330s |      23 |  3844612 |  2898938 |     1545   4393 |        0 |        0
332.03/332.18	c  332s |      23 |  3868949 |  2916438 |     1545   4415 |        0 |        0
334.03/334.19	c  334s |      23 |  3891578 |  2932838 |     1545   4435 |        0 |        0
336.13/336.20	c  336s |      23 |  3914648 |  2949638 |     1545   4456 |        0 |        0
338.13/338.20	c  338s |      23 |  3937922 |  2966438 |     1545   4476 |        0 |        0
340.13/340.21	c  340s |      23 |  3959081 |  2982338 |     1545   4496 |        0 |        0
342.14/342.22	c  342s |      23 |  3982279 |  2998638 |     1545   4516 |        0 |        0
344.13/344.23	c  344s |      23 |  4003810 |  3014638 |     1545   4535 |        0 |        0
346.13/346.24	c  346s |      23 |  4026854 |  3031538 |     1545   4556 |        0 |        0
348.13/348.24	c  348s |      23 |  4049549 |  3048438 |     1545   4576 |        0 |        0
350.13/350.25	c  350s |      23 |  4073694 |  3065938 |     1545   4598 |        0 |        0
352.13/352.25	c  352s |      23 |  4095500 |  3082238 |     1545   4617 |        0 |        0
354.13/354.25	c  354s |      23 |  4119504 |  3099638 |     1545   4639 |        0 |        0
356.12/356.25	c  356s |      23 |  4135126 |  3113138 |     1545   4655 |        0 |        0
358.12/358.26	c  358s |      23 |  4152933 |  3127938 |     1545   4673 |        0 |        0
360.12/360.26	c  360s |      23 |  4175414 |  3144338 |     1545   4693 |        0 |        0
362.12/362.27	c  362s |      23 |  4198348 |  3160738 |     1545   4713 |        0 |        0
364.13/364.27	c  364s |      23 |  4220693 |  3177238 |     1545   4733 |        0 |        0
366.12/366.28	c  366s |      23 |  4246166 |  3194938 |     1545   4755 |        0 |        0
368.12/368.29	c  368s |      23 |  4269261 |  3211938 |     1545   4776 |        0 |        0
370.12/370.30	c  370s |      23 |  4292423 |  3228438 |     1545   4796 |        0 |        0
372.22/372.30	c  372s |      23 |  4314463 |  3245038 |     1545   4816 |        0 |        0
374.22/374.31	c  374s |      23 |  4337930 |  3262538 |     1545   4838 |        0 |        0
376.23/376.31	c  376s |      23 |  4358730 |  3278338 |     1545   4857 |        0 |        0
378.23/378.32	c  378s |      23 |  4380586 |  3295038 |     1545   4877 |        0 |        0
380.23/380.33	c  380s |      23 |  4402659 |  3311438 |     1545   4897 |        0 |        0
382.22/382.34	c  382s |      23 |  4424951 |  3327538 |     1545   4917 |        0 |        0
384.22/384.34	c  384s |      23 |  4446896 |  3343838 |     1545   4937 |        0 |        0
386.22/386.35	c  386s |      23 |  4469768 |  3359938 |     1700   4956 |        0 |        0
388.23/388.35	c  388s |      23 |  4490560 |  3374838 |     1700   4972 |        0 |        0
388.42/388.58	c  388s |      24 |  4493063 |  3376662 |     1700   4974 |        0 |        0
390.43/390.59	c  390s |      24 |  4517357 |  3394862 |     1700   4994 |        0 |        0
392.42/392.59	c  392s |      24 |  4540089 |  3412162 |     1700   5014 |        0 |        0
394.42/394.59	c  394s |      24 |  4561830 |  3428562 |     1700   5032 |        0 |        0
396.52/396.60	c  396s |      24 |  4584049 |  3445262 |     1700   5050 |        0 |        0
398.52/398.60	c  398s |      24 |  4605345 |  3460962 |     1700   5068 |        0 |        0
400.52/400.60	c  400s |      24 |  4627574 |  3477462 |     1700   5086 |        0 |        0
402.52/402.61	c  402s |      24 |  4648896 |  3493662 |     1700   5104 |        0 |        0
404.52/404.61	c  404s |      24 |  4671899 |  3510262 |     1700   5123 |        0 |        0
406.52/406.62	c  406s |      24 |  4694070 |  3526162 |     1700   5141 |        0 |        0
408.51/408.64	c  408s |      24 |  4715204 |  3541562 |     1700   5159 |        0 |        0
410.51/410.64	c  410s |      24 |  4736456 |  3557262 |     1700   5176 |        0 |        0
412.53/412.64	c  412s |      24 |  4757498 |  3573262 |     1700   5194 |        0 |        0
414.52/414.65	c  414s |      24 |  4779694 |  3589962 |     1700   5213 |        0 |        0
416.52/416.66	c  416s |      24 |  4800745 |  3605762 |     1700   5230 |        0 |        0
418.52/418.66	c  418s |      24 |  4822299 |  3621862 |     1700   5248 |        0 |        0
420.52/420.67	c  420s |      24 |  4842084 |  3636762 |     1700   5265 |        0 |        0
422.52/422.67	c  422s |      24 |  4862468 |  3651862 |     1700   5282 |        0 |        0
424.53/424.69	c  424s |      24 |  4885238 |  3668262 |     1700   5300 |        0 |        0
426.52/426.69	c  426s |      24 |  4906796 |  3684762 |     1700   5318 |        0 |        0
428.52/428.70	c  428s |      24 |  4928852 |  3700762 |     1700   5336 |        0 |        0
430.62/430.70	c  430s |      24 |  4948522 |  3715562 |     1700   5353 |        0 |        0
432.62/432.71	c  432s |      24 |  4970395 |  3732162 |     1700   5372 |        0 |        0
434.62/434.71	c  434s |      24 |  4991557 |  3748362 |     1700   5390 |        0 |        0
436.62/436.73	c  436s |      24 |  5014583 |  3764662 |     1700   5408 |        0 |        0
438.62/438.73	c  438s |      24 |  5036867 |  3781062 |     1700   5427 |        0 |        0
440.62/440.73	c  440s |      24 |  5059378 |  3797162 |     1700   5445 |        0 |        0
442.61/442.74	c  442s |      24 |  5081432 |  3813562 |     1700   5463 |        0 |        0
444.61/444.75	c  444s |      24 |  5102382 |  3829262 |     1700   5481 |        0 |        0
446.62/446.76	c  446s |      24 |  5121907 |  3844362 |     1700   5498 |        0 |        0
448.61/448.77	c  448s |      24 |  5143243 |  3860262 |     1700   5515 |        0 |        0
450.61/450.77	c  450s |      24 |  5165730 |  3876662 |     1700   5534 |        0 |        0
452.61/452.78	c  452s |      24 |  5188344 |  3892662 |     1700   5552 |        0 |        0
454.61/454.79	c  454s |      24 |  5208572 |  3908362 |     1700   5569 |        0 |        0
456.61/456.79	c  456s |      24 |  5229917 |  3924262 |     1700   5587 |        0 |        0
458.62/458.80	c  458s |      24 |  5248849 |  3938862 |     1700   5603 |        0 |        0
460.71/460.80	c  460s |      24 |  5267731 |  3953062 |     1700   5619 |        0 |        0
462.71/462.80	c  462s |      24 |  5289346 |  3968562 |     1700   5637 |        0 |        0
464.71/464.81	c  464s |      24 |  5309005 |  3983462 |     1700   5653 |        0 |        0
466.71/466.82	c  466s |      24 |  5330818 |  3999462 |     1700   5671 |        0 |        0
468.71/468.82	c  468s |      24 |  5351380 |  4014762 |     1700   5688 |        0 |        0
470.71/470.83	c  470s |      24 |  5373116 |  4031162 |     1700   5706 |        0 |        0
472.71/472.83	c  472s |      24 |  5392613 |  4046062 |     1700   5723 |        0 |        0
474.70/474.83	c  474s |      24 |  5414863 |  4062462 |     1700   5741 |        0 |        0
476.70/476.84	c  476s |      24 |  5435497 |  4077562 |     1700   5758 |        0 |        0
478.70/478.84	c  478s |      24 |  5455821 |  4092762 |     1700   5775 |        0 |        0
480.71/480.85	c  480s |      24 |  5476279 |  4107962 |     1700   5791 |        0 |        0
482.70/482.86	c  482s |      24 |  5498029 |  4123762 |     1700   5809 |        0 |        0
484.70/484.87	c  484s |      24 |  5520995 |  4140062 |     1700   5827 |        0 |        0
486.70/486.88	c  486s |      24 |  5543852 |  4157062 |     1700   5846 |        0 |        0
488.70/488.88	c  488s |      24 |  5566304 |  4172962 |     1700   5863 |        0 |        0
490.70/490.89	c  490s |      24 |  5585949 |  4187562 |     1700   5880 |        0 |        0
492.72/492.90	c  492s |      24 |  5606111 |  4202462 |     1700   5897 |        0 |        0
494.81/494.91	c  494s |      24 |  5623912 |  4216562 |     1700   5913 |        0 |        0
496.81/496.92	c  496s |      24 |  5643064 |  4231362 |     1700   5930 |        0 |        0
498.81/498.93	c  498s |      24 |  5662848 |  4246062 |     1700   5946 |        0 |        0
500.81/500.94	c  500s |      24 |  5681424 |  4260262 |     1700   5962 |        0 |        0
502.81/502.94	c  502s |      24 |  5701905 |  4275462 |     1700   5979 |        0 |        0
504.81/504.95	c  504s |      24 |  5722296 |  4290462 |     1700   5996 |        0 |        0
506.81/506.96	c  506s |      24 |  5738399 |  4303062 |     1700   6010 |        0 |        0
508.81/508.97	c  508s |      24 |  5757774 |  4317362 |     1700   6026 |        0 |        0
510.81/510.97	c  510s |      24 |  5775109 |  4330662 |     1700   6041 |        0 |        0
512.80/512.98	c  512s |      24 |  5795684 |  4345362 |     1700   6058 |        0 |        0
514.81/514.98	c  514s |      24 |  5815613 |  4360662 |     1700   6075 |        0 |        0
516.80/516.99	c  516s |      24 |  5836585 |  4375862 |     1700   6092 |        0 |        0
518.90/519.00	c  518s |      24 |  5857550 |  4391262 |     1700   6110 |        0 |        0
520.90/521.00	c  520s |      24 |  5879066 |  4406762 |     1700   6127 |        0 |        0
522.90/523.00	c  522s |      24 |  5900003 |  4421962 |     1700   6144 |        0 |        0
524.90/525.01	c  524s |      24 |  5919871 |  4436662 |     1700   6161 |        0 |        0
526.90/527.02	c  527s |      24 |  5941431 |  4452362 |     1700   6179 |        0 |        0
528.90/529.03	c  529s |      24 |  5963319 |  4468362 |     1700   6197 |        0 |        0
530.89/531.03	c  531s |      24 |  5982956 |  4483262 |     1700   6213 |        0 |        0
532.90/533.04	c  533s |      24 |  6000886 |  4496662 |     1700   6228 |        0 |        0
534.90/535.05	c  535s |      24 |  6018615 |  4510462 |     1700   6244 |        0 |        0
536.90/537.06	c  537s |      24 |  6037245 |  4524362 |     1700   6259 |        0 |        0
538.91/539.06	c  539s |      24 |  6055041 |  4537862 |     1700   6275 |        0 |        0
540.90/541.06	c  541s |      24 |  6071997 |  4550762 |     1700   6289 |        0 |        0
542.90/543.06	c  543s |      24 |  6090704 |  4564662 |     1700   6305 |        0 |        0
544.90/545.07	c  545s |      24 |  6108405 |  4577962 |     1700   6320 |        0 |        0
546.90/547.08	c  547s |      24 |  6126098 |  4592062 |     1700   6336 |        0 |        0
548.90/549.08	c  549s |      24 |  6144969 |  4606262 |     1700   6352 |        0 |        0
550.90/551.10	c  551s |      24 |  6163614 |  4620162 |     1700   6368 |        0 |        0
553.00/553.11	c  553s |      24 |  6183940 |  4635462 |     1700   6385 |        0 |        0
555.00/555.12	c  555s |      24 |  6199388 |  4648562 |     1700   6400 |        0 |        0
556.99/557.13	c  557s |      24 |  6214334 |  4661262 |     1700   6414 |        0 |        0
558.99/559.13	c  559s |      24 |  6234052 |  4675962 |     1700   6431 |        0 |        0
561.00/561.14	c  561s |      24 |  6253961 |  4691062 |     1700   6448 |        0 |        0
562.99/563.15	c  563s |      24 |  6272184 |  4705162 |     1700   6464 |        0 |        0
564.99/565.15	c  565s |      24 |  6290935 |  4719362 |     1700   6480 |        0 |        0
566.99/567.16	c  567s |      24 |  6311343 |  4734262 |     1700   6497 |        0 |        0
568.99/569.18	c  569s |      24 |  6332458 |  4749662 |     1700   6514 |        0 |        0
570.99/571.18	c  571s |      24 |  6352343 |  4764362 |     1700   6531 |        0 |        0
573.00/573.19	c  573s |      24 |  6373389 |  4779762 |     1700   6548 |        0 |        0
574.99/575.19	c  575s |      24 |  6395958 |  4795762 |     1700   6566 |        0 |        0
576.99/577.19	c  577s |      24 |  6415274 |  4810062 |     1700   6582 |        0 |        0
578.99/579.20	c  579s |      24 |  6435377 |  4825062 |     1700   6599 |        0 |        0
581.10/581.20	c  581s |      24 |  6455346 |  4839962 |     1700   6616 |        0 |        0
583.09/583.20	c  583s |      24 |  6476520 |  4855462 |     1700   6634 |        0 |        0
585.10/585.20	c  585s |      24 |  6496220 |  4869962 |     1700   6650 |        0 |        0
587.09/587.21	c  587s |      24 |  6517283 |  4885562 |     1700   6668 |        0 |        0
589.09/589.22	c  589s |      24 |  6539220 |  4901762 |     1700   6686 |        0 |        0
591.09/591.22	c  591s |      24 |  6561284 |  4917662 |     1700   6704 |        0 |        0
593.09/593.23	c  593s |      24 |  6582424 |  4933462 |     1700   6722 |        0 |        0
595.10/595.23	c  595s |      24 |  6605566 |  4949762 |     1700   6740 |        0 |        0
597.09/597.23	c  597s |      24 |  6626779 |  4965662 |     1700   6758 |        0 |        0
599.09/599.25	c  599s |      24 |  6647246 |  4980762 |     1700   6775 |        0 |        0
601.09/601.26	c  601s |      24 |  6669653 |  4996762 |     1700   6793 |        0 |        0
603.09/603.26	c  603s |      24 |  6690850 |  5012462 |     1700   6810 |        0 |        0
605.09/605.27	c  605s |      24 |  6712540 |  5028262 |     1700   6828 |        0 |        0
607.09/607.27	c  607s |      24 |  6732013 |  5042662 |     1871   6843 |        0 |        0
609.09/609.27	c  609s |      24 |  6752594 |  5057562 |     1871   6858 |        0 |        0
610.09/610.23	c  610s |      25 |  6762455 |  5065098 |     1871   6866 |        0 |        0
612.09/612.24	c  612s |      25 |  6781934 |  5079598 |     1871   6880 |        0 |        0
614.09/614.24	c  614s |      25 |  6800949 |  5093798 |     1871   6894 |        0 |        0
616.08/616.25	c  616s |      25 |  6818387 |  5107098 |     1871   6908 |        0 |        0
618.09/618.26	c  618s |      25 |  6834794 |  5119898 |     1871   6921 |        0 |        0
620.08/620.26	c  620s |      25 |  6853935 |  5134098 |     1871   6935 |        0 |        0
622.08/622.27	c  622s |      25 |  6872823 |  5148698 |     1871   6950 |        0 |        0
624.08/624.27	c  624s |      25 |  6891366 |  5163198 |     1871   6964 |        0 |        0
626.08/626.27	c  626s |      25 |  6910852 |  5178298 |     1871   6979 |        0 |        0
628.09/628.28	c  628s |      25 |  6930640 |  5193598 |     1871   6995 |        0 |        0
630.08/630.28	c  630s |      25 |  6951609 |  5208798 |     1871   7010 |        0 |        0
632.08/632.29	c  632s |      25 |  6971856 |  5224398 |     1871   7026 |        0 |        0
634.18/634.30	c  634s |      25 |  6993170 |  5240298 |     1871   7041 |        0 |        0
636.18/636.30	c  636s |      25 |  7014077 |  5255898 |     1871   7057 |        0 |        0
638.18/638.31	c  638s |      25 |  7035873 |  5272298 |     1871   7074 |        0 |        0
640.18/640.33	c  640s |      25 |  7056659 |  5288098 |     1871   7089 |        0 |        0
642.18/642.33	c  642s |      25 |  7077045 |  5303598 |     1871   7105 |        0 |        0
644.19/644.33	c  644s |      25 |  7099761 |  5319998 |     1871   7121 |        0 |        0
646.19/646.34	c  646s |      25 |  7122537 |  5336198 |     1871   7138 |        0 |        0
648.19/648.35	c  648s |      25 |  7144332 |  5352498 |     1871   7154 |        0 |        0
650.18/650.36	c  650s |      25 |  7163272 |  5367098 |     1871   7169 |        0 |        0
652.19/652.37	c  652s |      25 |  7184852 |  5382598 |     1871   7185 |        0 |        0
654.18/654.38	c  654s |      25 |  7207802 |  5399498 |     1871   7202 |        0 |        0
656.18/656.39	c  656s |      25 |  7229284 |  5415798 |     1871   7218 |        0 |        0
658.18/658.39	c  658s |      25 |  7251754 |  5432098 |     1871   7235 |        0 |        0
660.18/660.39	c  660s |      25 |  7273575 |  5448298 |     1871   7251 |        0 |        0
662.28/662.40	c  662s |      25 |  7294703 |  5464098 |     1871   7267 |        0 |        0
664.29/664.41	c  664s |      25 |  7315566 |  5480198 |     1871   7283 |        0 |        0
666.28/666.41	c  666s |      25 |  7336016 |  5495498 |     1871   7299 |        0 |        0
668.28/668.41	c  668s |      25 |  7357665 |  5511498 |     1871   7315 |        0 |        0
670.28/670.41	c  670s |      25 |  7379235 |  5527398 |     1871   7331 |        0 |        0
672.27/672.42	c  672s |      25 |  7400215 |  5543398 |     1871   7347 |        0 |        0
674.28/674.42	c  674s |      25 |  7420649 |  5558598 |     1871   7363 |        0 |        0
676.27/676.43	c  676s |      25 |  7442923 |  5574798 |     1871   7379 |        0 |        0
678.27/678.44	c  678s |      25 |  7462129 |  5589698 |     1871   7394 |        0 |        0
680.27/680.44	c  680s |      25 |  7484265 |  5605798 |     1871   7410 |        0 |        0
682.27/682.45	c  682s |      25 |  7505765 |  5621798 |     1871   7427 |        0 |        0
684.28/684.45	c  684s |      25 |  7527166 |  5637898 |     1871   7443 |        0 |        0
686.29/686.46	c  686s |      25 |  7548407 |  5653798 |     1871   7459 |        0 |        0
688.28/688.47	c  688s |      25 |  7569030 |  5669698 |     1871   7475 |        0 |        0
690.28/690.49	c  690s |      25 |  7590920 |  5685898 |     1871   7492 |        0 |        0
692.28/692.49	c  692s |      25 |  7611080 |  5701498 |     1871   7508 |        0 |        0
694.38/694.50	c  694s |      25 |  7631879 |  5717498 |     1871   7524 |        0 |        0
696.38/696.50	c  696s |      25 |  7652114 |  5733098 |     1871   7540 |        0 |        0
698.38/698.50	c  698s |      25 |  7673555 |  5749198 |     1871   7556 |        0 |        0
700.38/700.51	c  700s |      25 |  7695407 |  5765298 |     1871   7572 |        0 |        0
702.37/702.52	c  702s |      25 |  7716726 |  5781498 |     1871   7589 |        0 |        0
704.37/704.53	c  704s |      25 |  7737863 |  5797498 |     1871   7605 |        0 |        0
706.37/706.53	c  706s |      25 |  7759698 |  5813998 |     1871   7622 |        0 |        0
708.38/708.54	c  708s |      25 |  7781734 |  5830498 |     1871   7639 |        0 |        0
710.37/710.54	c  710s |      25 |  7802708 |  5846498 |     1871   7655 |        0 |        0
712.37/712.55	c  712s |      25 |  7823416 |  5862298 |     1871   7671 |        0 |        0
714.37/714.55	c  714s |      25 |  7846069 |  5879098 |     1871   7688 |        0 |        0
716.37/716.56	c  716s |      25 |  7867026 |  5895398 |     1871   7704 |        0 |        0
718.37/718.57	c  718s |      25 |  7886691 |  5910398 |     1871   7720 |        0 |        0
720.38/720.58	c  720s |      25 |  7907283 |  5926198 |     1871   7736 |        0 |        0
722.37/722.58	c  722s |      25 |  7929273 |  5941898 |     1871   7751 |        0 |        0
724.37/724.59	c  724s |      25 |  7950081 |  5957198 |     1871   7767 |        0 |        0
726.47/726.60	c  726s |      25 |  7971108 |  5972698 |     1871   7783 |        0 |        0
728.47/728.60	c  728s |      25 |  7993004 |  5988198 |     1871   7799 |        0 |        0
730.47/730.61	c  730s |      25 |  8013181 |  6003098 |     1871   7814 |        0 |        0
732.48/732.61	c  732s |      25 |  8036296 |  6019798 |     1871   7831 |        0 |        0
734.47/734.61	c  734s |      25 |  8058314 |  6036398 |     1871   7848 |        0 |        0
736.47/736.62	c  736s |      25 |  8079067 |  6051898 |     1871   7863 |        0 |        0
738.47/738.63	c  738s |      25 |  8102759 |  6068998 |     1871   7881 |        0 |        0
740.47/740.63	c  740s |      25 |  8125586 |  6085698 |     1871   7898 |        0 |        0
742.47/742.63	c  742s |      25 |  8145488 |  6101098 |     1871   7913 |        0 |        0
744.47/744.64	c  744s |      25 |  8167261 |  6117198 |     1871   7930 |        0 |        0
746.47/746.65	c  746s |      25 |  8189076 |  6133598 |     1871   7946 |        0 |        0
748.47/748.65	c  748s |      25 |  8208700 |  6148598 |     1871   7961 |        0 |        0
750.46/750.66	c  750s |      25 |  8231014 |  6165098 |     1871   7978 |        0 |        0
752.46/752.67	c  752s |      25 |  8253218 |  6181298 |     1871   7994 |        0 |        0
754.47/754.67	c  754s |      25 |  8274396 |  6197398 |     1871   8010 |        0 |        0
756.46/756.68	c  756s |      25 |  8295704 |  6213398 |     1871   8026 |        0 |        0
758.46/758.68	c  758s |      25 |  8316724 |  6229298 |     1871   8042 |        0 |        0
760.57/760.70	c  760s |      25 |  8338892 |  6245698 |     1871   8059 |        0 |        0
762.57/762.71	c  762s |      25 |  8360112 |  6261198 |     1871   8074 |        0 |        0
764.57/764.71	c  764s |      25 |  8381045 |  6276598 |     1871   8090 |        0 |        0
766.57/766.71	c  766s |      25 |  8400072 |  6291598 |     1871   8105 |        0 |        0
768.57/768.72	c  768s |      25 |  8421091 |  6307198 |     1871   8121 |        0 |        0
770.57/770.73	c  770s |      25 |  8442921 |  6323498 |     1871   8138 |        0 |        0
772.56/772.73	c  772s |      25 |  8463179 |  6338798 |     1871   8153 |        0 |        0
774.56/774.74	c  774s |      25 |  8484398 |  6354698 |     1871   8169 |        0 |        0
776.57/776.76	c  776s |      25 |  8507470 |  6371598 |     1871   8187 |        0 |        0
778.56/778.77	c  778s |      25 |  8530300 |  6388298 |     1871   8204 |        0 |        0
780.56/780.78	c  780s |      25 |  8549427 |  6403098 |     1871   8219 |        0 |        0
782.56/782.79	c  782s |      25 |  8568897 |  6417898 |     1871   8234 |        0 |        0
784.56/784.79	c  784s |      25 |  8588477 |  6433298 |     1871   8249 |        0 |        0
786.56/786.79	c  786s |      25 |  8610449 |  6449698 |     1871   8266 |        0 |        0
788.57/788.80	c  788s |      25 |  8632536 |  6465898 |     1871   8283 |        0 |        0
790.66/790.80	c  790s |      25 |  8653401 |  6481498 |     1871   8299 |        0 |        0
792.66/792.81	c  792s |      25 |  8676134 |  6498098 |     1871   8316 |        0 |        0
794.66/794.81	c  794s |      25 |  8697792 |  6514298 |     1871   8332 |        0 |        0
796.66/796.82	c  796s |      25 |  8718663 |  6529898 |     1871   8348 |        0 |        0
798.66/798.83	c  798s |      25 |  8740301 |  6545698 |     1871   8364 |        0 |        0
800.66/800.83	c  800s |      25 |  8760422 |  6561198 |     1871   8379 |        0 |        0
802.66/802.83	c  802s |      25 |  8780917 |  6576498 |     1871   8395 |        0 |        0
804.65/804.84	c  804s |      25 |  8800281 |  6591898 |     1871   8410 |        0 |        0
806.65/806.85	c  806s |      25 |  8821726 |  6608198 |     1871   8427 |        0 |        0
808.65/808.85	c  808s |      25 |  8843386 |  6623898 |     1871   8443 |        0 |        0
810.67/810.85	c  810s |      25 |  8864488 |  6640098 |     1871   8459 |        0 |        0
812.66/812.86	c  812s |      25 |  8885581 |  6656198 |     1871   8475 |        0 |        0
814.66/814.87	c  814s |      25 |  8907607 |  6672598 |     1871   8492 |        0 |        0
816.66/816.88	c  816s |      25 |  8929425 |  6688798 |     1871   8508 |        0 |        0
818.66/818.88	c  818s |      25 |  8950187 |  6704498 |     1871   8524 |        0 |        0
820.66/820.89	c  820s |      25 |  8972355 |  6721298 |     1871   8541 |        0 |        0
822.67/822.89	c  822s |      25 |  8992636 |  6736498 |     1871   8556 |        0 |        0
824.76/824.90	c  824s |      25 |  9014343 |  6752298 |     1871   8572 |        0 |        0
826.76/826.90	c  826s |      25 |  9035950 |  6768198 |     1871   8589 |        0 |        0
828.76/828.91	c  828s |      25 |  9055138 |  6783398 |     1871   8604 |        0 |        0
830.76/830.91	c  830s |      25 |  9077733 |  6799898 |     1871   8620 |        0 |        0
832.75/832.93	c  832s |      25 |  9098207 |  6815798 |     1871   8637 |        0 |        0
834.76/834.93	c  834s |      25 |  9119719 |  6832098 |     1871   8653 |        0 |        0
836.75/836.94	c  836s |      25 |  9138869 |  6846698 |     1871   8668 |        0 |        0
838.75/838.95	c  838s |      25 |  9160031 |  6862298 |     1871   8684 |        0 |        0
840.75/840.95	c  840s |      25 |  9180349 |  6877598 |     1871   8699 |        0 |        0
842.75/842.96	c  842s |      25 |  9201307 |  6892898 |     1871   8714 |        0 |        0
844.76/844.97	c  844s |      25 |  9223805 |  6909498 |     1871   8731 |        0 |        0
846.75/846.97	c  846s |      25 |  9245786 |  6925598 |     1871   8747 |        0 |        0
848.75/848.97	c  848s |      25 |  9266143 |  6940698 |     1871   8762 |        0 |        0
850.75/850.99	c  850s |      25 |  9286764 |  6955798 |     1871   8778 |        0 |        0
852.75/852.99	c  852s |      25 |  9308888 |  6971598 |     1871   8793 |        0 |        0
854.85/855.00	c  854s |      25 |  9329273 |  6986698 |     1871   8809 |        0 |        0
856.85/857.01	c  856s |      25 |  9349913 |  7001998 |     1871   8824 |        0 |        0
858.85/859.01	c  858s |      25 |  9369806 |  7016798 |     1871   8839 |        0 |        0
860.85/861.02	c  860s |      25 |  9390985 |  7032198 |     1871   8854 |        0 |        0
862.84/863.03	c  863s |      25 |  9411234 |  7047498 |     1871   8870 |        0 |        0
864.84/865.03	c  865s |      25 |  9431439 |  7061998 |     1871   8884 |        0 |        0
866.85/867.04	c  867s |      25 |  9451453 |  7076998 |     1871   8899 |        0 |        0
868.86/869.04	c  869s |      25 |  9472278 |  7092298 |     1871   8915 |        0 |        0
870.85/871.05	c  871s |      25 |  9491292 |  7106798 |     1871   8929 |        0 |        0
872.85/873.05	c  873s |      25 |  9511687 |  7122498 |     1871   8945 |        0 |        0
874.85/875.08	c  875s |      25 |  9530503 |  7137198 |     1871   8960 |        0 |        0
876.85/877.08	c  877s |      25 |  9551188 |  7152798 |     1871   8975 |        0 |        0
878.85/879.09	c  879s |      25 |  9569713 |  7167298 |     1871   8990 |        0 |        0
880.85/881.09	c  881s |      25 |  9590288 |  7183198 |     1871   9006 |        0 |        0
882.94/883.10	c  883s |      25 |  9611945 |  7198898 |     1871   9022 |        0 |        0
884.94/885.11	c  885s |      25 |  9632561 |  7214498 |     1871   9038 |        0 |        0
886.94/887.11	c  887s |      25 |  9653355 |  7229898 |     1871   9054 |        0 |        0
888.94/889.12	c  889s |      25 |  9674583 |  7245498 |     1871   9069 |        0 |        0
890.95/891.12	c  891s |      25 |  9695070 |  7260998 |     1871   9085 |        0 |        0
892.94/893.13	c  893s |      25 |  9716774 |  7277098 |     1871   9102 |        0 |        0
894.94/895.13	c  895s |      25 |  9737350 |  7292698 |     1871   9117 |        0 |        0
896.94/897.14	c  897s |      25 |  9757874 |  7308098 |     1871   9133 |        0 |        0
898.94/899.14	c  899s |      25 |  9779647 |  7323998 |     1871   9149 |        0 |        0
900.94/901.15	c  901s |      25 |  9800841 |  7339698 |     1871   9165 |        0 |        0
902.94/903.16	c  903s |      25 |  9822887 |  7355498 |     1871   9181 |        0 |        0
904.95/905.17	c  905s |      25 |  9842676 |  7370598 |     1871   9197 |        0 |        0
906.95/907.18	c  907s |      25 |  9862665 |  7385698 |     1871   9212 |        0 |        0
908.94/909.18	c  909s |      25 |  9884149 |  7401298 |     1871   9228 |        0 |        0
910.94/911.19	c  911s |      25 |  9904726 |  7417098 |     1871   9244 |        0 |        0
913.04/913.20	c  913s |      25 |  9924678 |  7432598 |     1871   9259 |        0 |        0
915.05/915.20	c  915s |      25 |  9944083 |  7448098 |     1871   9275 |        0 |        0
917.04/917.22	c  917s |      25 |  9965990 |  7464698 |     1871   9292 |        0 |        0
919.04/919.23	c  919s |      25 |  9984309 |  7478898 |     1871   9306 |        0 |        0
921.04/921.24	c  921s |      25 | 10003505 |  7493698 |     1871   9322 |        0 |        0
923.04/923.25	c  923s |      25 | 10024149 |  7508498 |     1871   9337 |        0 |        0
925.05/925.25	c  925s |      25 | 10044674 |  7523898 |     1871   9352 |        0 |        0
927.04/927.27	c  927s |      25 | 10065557 |  7539298 |     1871   9368 |        0 |        0
929.04/929.27	c  929s |      25 | 10085298 |  7554198 |     2059   9382 |        0 |        0
931.04/931.28	c  931s |      25 | 10104169 |  7568698 |     2059   9395 |        0 |        0
933.04/933.28	c  933s |      25 | 10123674 |  7583298 |     2059   9409 |        0 |        0
935.04/935.26	c  935s |      26 | 10142954 |  7597752 |     2059   9422 |        0 |        0
937.04/937.26	c  937s |      26 | 10161612 |  7611452 |     2059   9435 |        0 |        0
939.03/939.28	c  939s |      26 | 10180005 |  7624952 |     2059   9447 |        0 |        0
941.03/941.28	c  941s |      26 | 10199867 |  7639052 |     2059   9460 |        0 |        0
943.03/943.29	c  943s |      26 | 10222033 |  7654052 |     2059   9474 |        0 |        0
945.14/945.30	c  945s |      26 | 10241071 |  7668252 |     2059   9487 |        0 |        0
947.14/947.32	c  947s |      26 | 10262371 |  7682552 |     2059   9500 |        0 |        0
949.14/949.32	c  949s |      26 | 10285251 |  7698252 |     2059   9515 |        0 |        0
951.14/951.33	c  951s |      26 | 10306931 |  7713452 |     2059   9529 |        0 |        0
953.14/953.33	c  953s |      26 | 10331094 |  7730452 |     2059   9545 |        0 |        0
955.14/955.34	c  955s |      26 | 10356003 |  7747152 |     2059   9561 |        0 |        0
957.14/957.35	c  957s |      26 | 10377661 |  7762452 |     2059   9576 |        0 |        0
959.14/959.36	c  959s |      26 | 10398950 |  7778152 |     2059   9590 |        0 |        0
961.13/961.36	c  961s |      26 | 10421549 |  7793152 |     2059   9605 |        0 |        0
963.13/963.37	c  963s |      26 | 10442605 |  7806852 |     2059   9618 |        0 |        0
965.13/965.38	c  965s |      26 | 10467836 |  7823452 |     2059   9633 |        0 |        0
967.13/967.39	c  967s |      26 | 10490172 |  7838052 |     2059   9647 |        0 |        0
969.13/969.39	c  969s |      26 | 10510611 |  7853452 |     2059   9661 |        0 |        0
971.14/971.40	c  971s |      26 | 10533339 |  7870152 |     2059   9677 |        0 |        0
973.23/973.40	c  973s |      26 | 10555783 |  7887152 |     2059   9693 |        0 |        0
975.23/975.42	c  975s |      26 | 10577874 |  7903352 |     2059   9708 |        0 |        0
977.23/977.42	c  977s |      26 | 10597616 |  7917552 |     2059   9721 |        0 |        0
979.23/979.43	c  979s |      26 | 10617014 |  7931652 |     2059   9735 |        0 |        0
981.23/981.44	c  981s |      26 | 10636717 |  7946652 |     2059   9749 |        0 |        0
983.23/983.45	c  983s |      26 | 10657851 |  7961552 |     2059   9763 |        0 |        0
985.23/985.45	c  985s |      26 | 10676424 |  7975752 |     2059   9776 |        0 |        0
987.23/987.47	c  987s |      26 | 10696585 |  7990452 |     2059   9790 |        0 |        0
989.23/989.47	c  989s |      26 | 10715583 |  8004352 |     2059   9803 |        0 |        0
991.23/991.48	c  991s |      26 | 10737957 |  8020152 |     2059   9817 |        0 |        0
993.24/993.48	c  993s |      26 | 10758377 |  8035452 |     2059   9831 |        0 |        0
995.23/995.50	c  995s |      26 | 10779918 |  8051252 |     2059   9846 |        0 |        0
997.33/997.51	c  997s |      26 | 10799677 |  8066152 |     2059   9860 |        0 |        0
999.33/999.52	c  999s |      26 | 10820614 |  8081052 |     2059   9873 |        0 |        0
1001.33/1001.53	c 1001s |      26 | 10842838 |  8096652 |     2059   9888 |        0 |        0
1003.33/1003.53	c 1003s |      26 | 10865239 |  8112152 |     2059   9902 |        0 |        0
1005.33/1005.54	c 1005s |      26 | 10884392 |  8126452 |     2059   9915 |        0 |        0
1007.33/1007.55	c 1007s |      26 | 10903804 |  8140652 |     2059   9929 |        0 |        0
1009.33/1009.55	c 1009s |      26 | 10923038 |  8155052 |     2059   9942 |        0 |        0
1011.32/1011.56	c 1011s |      26 | 10941045 |  8168652 |     2059   9954 |        0 |        0
1013.32/1013.56	c 1013s |      26 | 10963095 |  8184152 |     2059   9969 |        0 |        0
1015.32/1015.58	c 1015s |      26 | 10983228 |  8198952 |     2059   9982 |        0 |        0
1017.33/1017.58	c 1017s |      26 | 11003639 |  8213552 |     2059   9996 |        0 |        0
1019.42/1019.60	c 1019s |      26 | 11025618 |  8229052 |     2059  10010 |        0 |        0
1021.42/1021.60	c 1021s |      26 | 11046066 |  8243452 |     2059  10024 |        0 |        0
1023.42/1023.61	c 1023s |      26 | 11068038 |  8259052 |     2059  10038 |        0 |        0
1025.42/1025.62	c 1025s |      26 | 11089186 |  8274052 |     2059  10052 |        0 |        0
1027.42/1027.63	c 1027s |      26 | 11109511 |  8288652 |     2059  10065 |        0 |        0
1029.43/1029.63	c 1029s |      26 | 11127845 |  8302152 |     2059  10078 |        0 |        0
1031.42/1031.63	c 1031s |      26 | 11148932 |  8316852 |     2059  10091 |        0 |        0
1033.42/1033.64	c 1033s |      26 | 11168944 |  8331752 |     2059  10106 |        0 |        0
1035.43/1035.65	c 1035s |      26 | 11192226 |  8348152 |     2059  10121 |        0 |        0
1037.43/1037.66	c 1037s |      26 | 11214001 |  8363852 |     2059  10136 |        0 |        0
1039.43/1039.67	c 1039s |      26 | 11234018 |  8379152 |     2059  10150 |        0 |        0
1041.42/1041.68	c 1041s |      26 | 11256596 |  8395152 |     2059  10166 |        0 |        0
1043.42/1043.68	c 1043s |      26 | 11279186 |  8411552 |     2059  10181 |        0 |        0
1045.42/1045.69	c 1045s |      26 | 11299901 |  8426952 |     2059  10196 |        0 |        0
1047.52/1047.70	c 1047s |      26 | 11320168 |  8441552 |     2059  10210 |        0 |        0
1049.52/1049.70	c 1049s |      26 | 11345107 |  8458652 |     2059  10226 |        0 |        0
1051.43/1051.70	c 1051s |      26 | 11367513 |  8474952 |     2059  10241 |        0 |        0
1053.52/1053.70	c 1053s |      26 | 11392803 |  8492752 |     2059  10258 |        0 |        0
1055.52/1055.71	c 1055s |      26 | 11414583 |  8507752 |     2059  10272 |        0 |        0
1057.52/1057.71	c 1057s |      26 | 11436196 |  8523052 |     2059  10286 |        0 |        0
1059.52/1059.72	c 1059s |      26 | 11456817 |  8537952 |     2059  10300 |        0 |        0
1061.52/1061.72	c 1061s |      26 | 11477882 |  8553352 |     2059  10314 |        0 |        0
1063.52/1063.73	c 1063s |      26 | 11497399 |  8567652 |     2059  10327 |        0 |        0
1065.52/1065.73	c 1065s |      26 | 11518017 |  8582852 |     2059  10341 |        0 |        0
1067.52/1067.74	c 1067s |      26 | 11539393 |  8598052 |     2059  10355 |        0 |        0
1069.52/1069.76	c 1069s |      26 | 11559689 |  8612652 |     2059  10369 |        0 |        0
1071.52/1071.76	c 1071s |      26 | 11580264 |  8628152 |     2059  10383 |        0 |        0
1073.52/1073.77	c 1073s |      26 | 11600274 |  8643352 |     2059  10397 |        0 |        0
1075.51/1075.78	c 1075s |      26 | 11620467 |  8658352 |     2059  10411 |        0 |        0
1077.51/1077.78	c 1077s |      26 | 11640461 |  8673752 |     2059  10426 |        0 |        0
1079.51/1079.78	c 1079s |      26 | 11661264 |  8689252 |     2059  10440 |        0 |        0
1081.51/1081.79	c 1081s |      26 | 11682996 |  8705252 |     2059  10455 |        0 |        0
1083.61/1083.80	c 1083s |      26 | 11703538 |  8720052 |     2059  10469 |        0 |        0
1085.62/1085.81	c 1085s |      26 | 11722277 |  8734152 |     2059  10482 |        0 |        0
1087.61/1087.82	c 1087s |      26 | 11740798 |  8747752 |     2059  10495 |        0 |        0
1089.61/1089.83	c 1089s |      26 | 11759629 |  8761552 |     2059  10508 |        0 |        0
1091.61/1091.83	c 1091s |      26 | 11782795 |  8777452 |     2059  10523 |        0 |        0
1093.61/1093.83	c 1093s |      26 | 11804373 |  8792952 |     2059  10538 |        0 |        0
1095.61/1095.84	c 1095s |      26 | 11828348 |  8809752 |     2059  10554 |        0 |        0
1097.62/1097.84	c 1097s |      26 | 11849448 |  8825452 |     2059  10569 |        0 |        0
1099.61/1099.85	c 1099s |      26 | 11871224 |  8841552 |     2059  10584 |        0 |        0
1101.61/1101.85	c 1101s |      26 | 11893061 |  8856952 |     2059  10599 |        0 |        0
1103.61/1103.86	c 1103s |      26 | 11915461 |  8873252 |     2059  10614 |        0 |        0
1105.61/1105.86	c 1105s |      26 | 11937544 |  8889452 |     2059  10629 |        0 |        0
1107.62/1107.87	c 1107s |      26 | 11959329 |  8905252 |     2059  10644 |        0 |        0
1109.62/1109.89	c 1109s |      26 | 11979931 |  8920452 |     2059  10658 |        0 |        0
1111.62/1111.89	c 1111s |      26 | 11998344 |  8935352 |     2059  10672 |        0 |        0
1113.61/1113.90	c 1113s |      26 | 12018266 |  8950552 |     2059  10686 |        0 |        0
1115.71/1115.90	c 1115s |      26 | 12037868 |  8965352 |     2059  10700 |        0 |        0
1117.71/1117.90	c 1117s |      26 | 12056278 |  8979752 |     2059  10713 |        0 |        0
1119.72/1119.91	c 1119s |      26 | 12076012 |  8994952 |     2059  10727 |        0 |        0
1121.71/1121.91	c 1121s |      26 | 12096586 |  9010352 |     2059  10741 |        0 |        0
1123.71/1123.92	c 1123s |      26 | 12118416 |  9026552 |     2059  10756 |        0 |        0
1125.71/1125.92	c 1125s |      26 | 12138420 |  9041352 |     2059  10770 |        0 |        0
1127.71/1127.94	c 1127s |      26 | 12160746 |  9057452 |     2059  10786 |        0 |        0
1129.71/1129.95	c 1129s |      26 | 12183065 |  9073652 |     2059  10801 |        0 |        0
1131.72/1131.96	c 1131s |      26 | 12203521 |  9088652 |     2059  10815 |        0 |        0
1133.71/1133.96	c 1133s |      26 | 12224027 |  9103152 |     2059  10829 |        0 |        0
1135.71/1135.96	c 1135s |      26 | 12243351 |  9117152 |     2059  10842 |        0 |        0
1137.71/1137.97	c 1137s |      26 | 12262636 |  9131352 |     2059  10855 |        0 |        0
1139.70/1139.98	c 1139s |      26 | 12281670 |  9145452 |     2059  10868 |        0 |        0
1141.71/1141.98	c 1141s |      26 | 12302675 |  9160752 |     2059  10883 |        0 |        0
1143.70/1143.98	c 1143s |      26 | 12324020 |  9175252 |     2059  10896 |        0 |        0
1145.70/1145.99	c 1145s |      26 | 12344291 |  9189852 |     2059  10910 |        0 |        0
1147.70/1147.99	c 1147s |      26 | 12364728 |  9204652 |     2059  10924 |        0 |        0
1149.80/1150.01	c 1149s |      26 | 12384537 |  9219052 |     2059  10938 |        0 |        0
1151.80/1152.02	c 1152s |      26 | 12406167 |  9234652 |     2059  10952 |        0 |        0
1153.80/1154.03	c 1154s |      26 | 12427380 |  9249952 |     2059  10966 |        0 |        0
1155.79/1156.04	c 1156s |      26 | 12449500 |  9265252 |     2059  10981 |        0 |        0
1157.79/1158.04	c 1158s |      26 | 12470602 |  9279652 |     2059  10994 |        0 |        0
1159.78/1160.05	c 1160s |      26 | 12490851 |  9293852 |     2059  11008 |        0 |        0
1161.78/1162.05	c 1162s |      26 | 12508456 |  9307152 |     2059  11021 |        0 |        0
1163.79/1164.06	c 1164s |      26 | 12528527 |  9321552 |     2059  11034 |        0 |        0
1165.80/1166.06	c 1166s |      26 | 12547777 |  9335852 |     2059  11048 |        0 |        0
1167.79/1168.08	c 1168s |      26 | 12569175 |  9350252 |     2059  11062 |        0 |        0
1169.79/1170.09	c 1170s |      26 | 12588180 |  9364252 |     2059  11075 |        0 |        0
1171.79/1172.09	c 1172s |      26 | 12608424 |  9378252 |     2059  11088 |        0 |        0
1173.89/1174.10	c 1174s |      26 | 12629535 |  9392852 |     2059  11102 |        0 |        0
1175.89/1176.12	c 1176s |      26 | 12650099 |  9407552 |     2059  11116 |        0 |        0
1177.89/1178.12	c 1178s |      26 | 12671780 |  9421752 |     2059  11129 |        0 |        0
1179.88/1180.13	c 1180s |      26 | 12694991 |  9436152 |     2059  11143 |        0 |        0
1181.88/1182.14	c 1182s |      26 | 12715780 |  9451152 |     2059  11157 |        0 |        0
1183.88/1184.15	c 1184s |      26 | 12737197 |  9465852 |     2059  11171 |        0 |        0
1185.88/1186.16	c 1186s |      26 | 12758003 |  9480452 |     2059  11184 |        0 |        0
1187.88/1188.16	c 1188s |      26 | 12778776 |  9494952 |     2059  11198 |        0 |        0
1189.88/1190.18	c 1190s |      26 | 12800506 |  9510152 |     2059  11212 |        0 |        0
1191.87/1192.19	c 1192s |      26 | 12820629 |  9524752 |     2059  11226 |        0 |        0
1193.97/1194.20	c 1194s |      26 | 12841113 |  9538952 |     2059  11240 |        0 |        0
1195.97/1196.21	c 1196s |      26 | 12861636 |  9553452 |     2059  11253 |        0 |        0
1197.97/1198.22	c 1198s |      26 | 12882895 |  9568552 |     2059  11268 |        0 |        0
1199.98/1200.23	c 1200s |      26 | 12904619 |  9584252 |     2059  11282 |        0 |        0
1201.97/1202.23	c 1202s |      26 | 12923626 |  9598452 |     2059  11296 |        0 |        0
1203.97/1204.23	c 1204s |      26 | 12942732 |  9612952 |     2059  11309 |        0 |        0
1205.97/1206.24	c 1206s |      26 | 12961038 |  9626852 |     2059  11322 |        0 |        0
1207.96/1208.25	c 1208s |      26 | 12982104 |  9641952 |     2059  11336 |        0 |        0
1209.96/1210.26	c 1210s |      26 | 13003902 |  9657152 |     2059  11351 |        0 |        0
1211.97/1212.27	c 1212s |      26 | 13026550 |  9672552 |     2059  11365 |        0 |        0
1213.96/1214.27	c 1214s |      26 | 13045954 |  9687052 |     2059  11379 |        0 |        0
1215.96/1216.28	c 1216s |      26 | 13064364 |  9700252 |     2059  11391 |        0 |        0
1217.95/1218.29	c 1218s |      26 | 13082932 |  9713952 |     2059  11403 |        0 |        0
1220.05/1220.30	c 1220s |      26 | 13103561 |  9728152 |     2059  11417 |        0 |        0
1222.05/1222.30	c 1222s |      26 | 13123805 |  9742152 |     2059  11430 |        0 |        0
1224.06/1224.31	c 1224s |      26 | 13144164 |  9756452 |     2059  11443 |        0 |        0
1226.05/1226.31	c 1226s |      26 | 13166266 |  9771952 |     2059  11457 |        0 |        0
1228.05/1228.31	c 1228s |      26 | 13185237 |  9785952 |     2059  11470 |        0 |        0
1230.06/1230.31	c 1230s |      26 | 13206604 |  9800952 |     2059  11484 |        0 |        0
1232.06/1232.32	c 1232s |      26 | 13224573 |  9814652 |     2059  11497 |        0 |        0
1234.06/1234.32	c 1234s |      26 | 13244480 |  9828752 |     2059  11510 |        0 |        0
1236.06/1236.33	c 1236s |      26 | 13265621 |  9843852 |     2059  11524 |        0 |        0
1238.05/1238.33	c 1238s |      26 | 13287969 |  9859552 |     2059  11538 |        0 |        0
1240.05/1240.33	c 1240s |      26 | 13307380 |  9873452 |     2059  11551 |        0 |        0
1242.05/1242.34	c 1242s |      26 | 13328095 |  9887952 |     2059  11565 |        0 |        0
1244.05/1244.34	c 1244s |      26 | 13347811 |  9902552 |     2059  11578 |        0 |        0
1246.05/1246.34	c 1246s |      26 | 13369742 |  9917852 |     2059  11592 |        0 |        0
1248.04/1248.34	c 1248s |      26 | 13390066 |  9932352 |     2059  11606 |        0 |        0
1250.04/1250.35	c 1250s |      26 | 13411027 |  9947152 |     2059  11620 |        0 |        0
1252.04/1252.35	c 1252s |      26 | 13430034 |  9961552 |     2059  11633 |        0 |        0
1254.05/1254.36	c 1254s |      26 | 13451890 |  9976652 |     2059  11647 |        0 |        0
1256.05/1256.38	c 1256s |      26 | 13470963 |  9990852 |     2059  11661 |        0 |        0
1258.04/1258.39	c 1258s |      26 | 13490896 | 10005152 |     2059  11674 |        0 |        0
1260.14/1260.40	c 1260s |      26 | 13511564 | 10019652 |     2059  11687 |        0 |        0
1262.14/1262.41	c 1262s |      26 | 13533731 | 10034552 |     2059  11701 |        0 |        0
1264.14/1264.41	c 1264s |      26 | 13554736 | 10049352 |     2059  11715 |        0 |        0
1266.14/1266.42	c 1266s |      26 | 13574024 | 10063752 |     2059  11729 |        0 |        0
1268.14/1268.44	c 1268s |      26 | 13594122 | 10079052 |     2059  11743 |        0 |        0
1270.13/1270.44	c 1270s |      26 | 13613022 | 10093752 |     2059  11757 |        0 |        0
1272.12/1272.45	c 1272s |      26 | 13634258 | 10109052 |     2059  11771 |        0 |        0
1274.12/1274.46	c 1274s |      26 | 13652942 | 10123452 |     2059  11784 |        0 |        0
1276.12/1276.47	c 1276s |      26 | 13671812 | 10137552 |     2059  11798 |        0 |        0
1278.12/1278.48	c 1278s |      26 | 13691782 | 10152052 |     2059  11812 |        0 |        0
1280.12/1280.50	c 1280s |      26 | 13713254 | 10167552 |     2059  11827 |        0 |        0
1282.22/1282.51	c 1282s |      26 | 13733214 | 10182252 |     2059  11841 |        0 |        0
1284.22/1284.52	c 1284s |      26 | 13752368 | 10196952 |     2059  11854 |        0 |        0
1286.22/1286.53	c 1286s |      26 | 13772034 | 10212152 |     2059  11869 |        0 |        0
1288.21/1288.54	c 1288s |      26 | 13791814 | 10226952 |     2059  11882 |        0 |        0
1290.21/1290.54	c 1290s |      26 | 13813186 | 10242452 |     2059  11897 |        0 |        0
1292.21/1292.55	c 1292s |      26 | 13833349 | 10257652 |     2059  11912 |        0 |        0
1294.21/1294.57	c 1294s |      26 | 13853450 | 10272452 |     2059  11926 |        0 |        0
1296.21/1296.57	c 1296s |      26 | 13874383 | 10287752 |     2059  11940 |        0 |        0
1298.21/1298.58	c 1298s |      26 | 13895369 | 10303552 |     2059  11955 |        0 |        0
1300.21/1300.58	c 1300s |      26 | 13916588 | 10319152 |     2059  11970 |        0 |        0
1302.22/1302.59	c 1302s |      26 | 13938466 | 10335152 |     2059  11985 |        0 |        0
1304.21/1304.60	c 1304s |      26 | 13959735 | 10350452 |     2059  12000 |        0 |        0
1306.31/1306.60	c 1306s |      26 | 13981396 | 10365552 |     2059  12014 |        0 |        0
1308.31/1308.60	c 1308s |      26 | 14000713 | 10379552 |     2059  12027 |        0 |        0
1310.30/1310.61	c 1310s |      26 | 14020299 | 10394152 |     2059  12041 |        0 |        0
1312.30/1312.61	c 1312s |      26 | 14039807 | 10408752 |     2059  12055 |        0 |        0
1314.31/1314.61	c 1314s |      26 | 14060989 | 10423552 |     2059  12069 |        0 |        0
1316.30/1316.62	c 1316s |      26 | 14081148 | 10437852 |     2059  12082 |        0 |        0
1318.30/1318.63	c 1318s |      26 | 14103009 | 10453452 |     2059  12097 |        0 |        0
1320.30/1320.63	c 1320s |      26 | 14125079 | 10468552 |     2059  12111 |        0 |        0
1322.30/1322.65	c 1322s |      26 | 14145703 | 10483552 |     2059  12126 |        0 |        0
1324.30/1324.65	c 1324s |      26 | 14169717 | 10499552 |     2059  12141 |        0 |        0
1326.30/1326.65	c 1326s |      26 | 14191529 | 10515352 |     2059  12155 |        0 |        0
1328.29/1328.66	c 1328s |      26 | 14212896 | 10530452 |     2059  12170 |        0 |        0
1330.30/1330.67	c 1330s |      26 | 14230677 | 10544152 |     2059  12182 |        0 |        0
1332.30/1332.68	c 1332s |      26 | 14250612 | 10559052 |     2059  12196 |        0 |        0
1334.30/1334.68	c 1334s |      26 | 14268442 | 10572252 |     2059  12209 |        0 |        0
1336.30/1336.69	c 1336s |      26 | 14285549 | 10585552 |     2059  12221 |        0 |        0
1338.40/1338.71	c 1338s |      26 | 14303998 | 10600052 |     2059  12235 |        0 |        0
1340.39/1340.71	c 1340s |      26 | 14322350 | 10614452 |     2059  12248 |        0 |        0
1342.39/1342.72	c 1342s |      26 | 14340887 | 10628752 |     2059  12262 |        0 |        0
1344.39/1344.72	c 1344s |      26 | 14359258 | 10642652 |     2059  12275 |        0 |        0
1346.39/1346.73	c 1346s |      26 | 14378160 | 10656752 |     2059  12288 |        0 |        0
1348.39/1348.74	c 1348s |      26 | 14396950 | 10670752 |     2059  12301 |        0 |        0
1350.38/1350.75	c 1350s |      26 | 14416228 | 10684752 |     2059  12315 |        0 |        0
1352.38/1352.75	c 1352s |      26 | 14437965 | 10700052 |     2059  12329 |        0 |        0
1354.38/1354.75	c 1354s |      26 | 14458815 | 10714752 |     2059  12343 |        0 |        0
1356.38/1356.76	c 1356s |      26 | 14478721 | 10728652 |     2059  12356 |        0 |        0
1358.37/1358.78	c 1358s |      26 | 14499365 | 10743052 |     2059  12370 |        0 |        0
1360.38/1360.78	c 1360s |      26 | 14519218 | 10757252 |     2059  12384 |        0 |        0
1362.37/1362.79	c 1362s |      26 | 14539268 | 10771752 |     2059  12397 |        0 |        0
1364.37/1364.79	c 1364s |      26 | 14558616 | 10785752 |     2059  12411 |        0 |        0
1366.47/1366.81	c 1366s |      26 | 14576620 | 10799252 |     2059  12423 |        0 |        0
1368.47/1368.81	c 1368s |      26 | 14596636 | 10813452 |     2059  12437 |        0 |        0
1370.47/1370.82	c 1370s |      26 | 14617433 | 10828352 |     2059  12451 |        0 |        0
1372.47/1372.83	c 1372s |      26 | 14639430 | 10843852 |     2059  12466 |        0 |        0
1374.47/1374.83	c 1374s |      26 | 14660177 | 10858552 |     2059  12480 |        0 |        0
1376.46/1376.84	c 1376s |      26 | 14680171 | 10872552 |     2059  12493 |        0 |        0
1378.46/1378.84	c 1378s |      26 | 14698998 | 10886152 |     2059  12506 |        0 |        0
1380.46/1380.85	c 1380s |      26 | 14719323 | 10900752 |     2059  12520 |        0 |        0
1382.46/1382.86	c 1382s |      26 | 14738302 | 10914252 |     2059  12532 |        0 |        0
1384.46/1384.86	c 1384s |      26 | 14758656 | 10928252 |     2059  12546 |        0 |        0
1386.46/1386.87	c 1386s |      26 | 14779037 | 10942252 |     2059  12559 |        0 |        0
1388.45/1388.89	c 1388s |      26 | 14799196 | 10956552 |     2059  12573 |        0 |        0
1390.55/1390.90	c 1390s |      26 | 14818217 | 10970052 |     2059  12585 |        0 |        0
1392.56/1392.91	c 1392s |      26 | 14836498 | 10983652 |     2059  12598 |        0 |        0
1394.57/1394.93	c 1394s |      26 | 14857062 | 10997852 |     2059  12612 |        0 |        0
1396.56/1396.94	c 1396s |      26 | 14878949 | 11012752 |     2059  12626 |        0 |        0
1398.55/1398.94	c 1398s |      26 | 14900325 | 11027652 |     2059  12640 |        0 |        0
1400.55/1400.95	c 1400s |      26 | 14924034 | 11043152 |     2059  12654 |        0 |        0
1402.55/1402.96	c 1402s |      26 | 14944311 | 11057152 |     2059  12668 |        0 |        0
1404.55/1404.96	c 1404s |      26 | 14964912 | 11071552 |     2059  12681 |        0 |        0
1406.56/1406.97	c 1406s |      26 | 14984708 | 11085152 |     2059  12694 |        0 |        0
1408.55/1408.98	c 1408s |      26 | 15005710 | 11099252 |     2059  12707 |        0 |        0
1410.65/1411.00	c 1410s |      26 | 15026230 | 11113452 |     2059  12720 |        0 |        0
1412.65/1413.01	c 1412s |      26 | 15045247 | 11126352 |     2059  12733 |        0 |        0
1414.65/1415.01	c 1414s |      26 | 15064224 | 11139852 |     2059  12745 |        0 |        0
1416.64/1417.02	c 1416s |      26 | 15082997 | 11153452 |     2059  12758 |        0 |        0
1418.65/1419.03	c 1419s |      26 | 15101911 | 11167352 |     2059  12771 |        0 |        0
1420.64/1421.04	c 1421s |      26 | 15120378 | 11180452 |     2059  12783 |        0 |        0
1422.64/1423.05	c 1423s |      26 | 15139707 | 11193952 |     2059  12796 |        0 |        0
1424.64/1425.05	c 1425s |      26 | 15158400 | 11207152 |     2059  12809 |        0 |        0
1426.64/1427.06	c 1427s |      26 | 15178470 | 11221152 |     2059  12822 |        0 |        0
1428.64/1429.07	c 1429s |      26 | 15199787 | 11236252 |     2059  12836 |        0 |        0
1430.63/1431.07	c 1431s |      26 | 15218834 | 11250552 |     2059  12849 |        0 |        0
1432.63/1433.08	c 1433s |      26 | 15240651 | 11265552 |     2059  12864 |        0 |        0
1434.63/1435.08	c 1435s |      26 | 15261574 | 11280552 |     2059  12878 |        0 |        0
1436.63/1437.08	c 1437s |      26 | 15279998 | 11293652 |     2059  12890 |        0 |        0
1438.63/1439.08	c 1439s |      26 | 15299729 | 11307452 |     2059  12903 |        0 |        0
1440.63/1441.10	c 1441s |      26 | 15319142 | 11321252 |     2265  12915 |        0 |        0
1442.72/1443.10	c 1443s |      26 | 15338796 | 11335152 |     2265  12927 |        0 |        0
1444.72/1445.11	c 1445s |      26 | 15357916 | 11348952 |     2265  12939 |        0 |        0
1446.72/1447.11	c 1447s |      26 | 15377895 | 11363052 |     2265  12951 |        0 |        0
1448.72/1449.12	c 1449s |      26 | 15398978 | 11377852 |     2265  12964 |        0 |        0
1450.72/1451.12	c 1451s |      26 | 15418846 | 11391852 |     2265  12976 |        0 |        0
1451.42/1451.83	c 1451s |      27 | 15425730 | 11396733 |     2265  12980 |        0 |        0
1453.43/1453.84	c 1453s |      27 | 15444817 | 11411133 |     2265  12992 |        0 |        0
1455.42/1455.85	c 1455s |      27 | 15462704 | 11424733 |     2265  13003 |        0 |        0
1457.42/1457.86	c 1457s |      27 | 15480751 | 11438733 |     2265  13015 |        0 |        0
1459.42/1459.87	c 1459s |      27 | 15500327 | 11453533 |     2265  13027 |        0 |        0
1461.42/1461.87	c 1461s |      27 | 15519348 | 11467833 |     2265  13039 |        0 |        0
1463.42/1463.87	c 1463s |      27 | 15536764 | 11481333 |     2265  13050 |        0 |        0
1465.42/1465.89	c 1465s |      27 | 15554560 | 11494633 |     2265  13062 |        0 |        0
1467.51/1467.90	c 1467s |      27 | 15572933 | 11508833 |     2265  13073 |        0 |        0
1469.51/1469.90	c 1469s |      27 | 15592041 | 11523133 |     2265  13085 |        0 |        0
1471.52/1471.91	c 1471s |      27 | 15610696 | 11537433 |     2265  13097 |        0 |        0
1473.51/1473.91	c 1473s |      27 | 15628721 | 11550733 |     2265  13108 |        0 |        0
1475.51/1475.92	c 1475s |      27 | 15646303 | 11564133 |     2265  13120 |        0 |        0
1477.51/1477.93	c 1477s |      27 | 15664336 | 11578033 |     2265  13131 |        0 |        0
1479.51/1479.93	c 1479s |      27 | 15681543 | 11591533 |     2265  13143 |        0 |        0
1481.50/1481.93	c 1481s |      27 | 15701168 | 11606833 |     2265  13155 |        0 |        0
1483.51/1483.95	c 1483s |      27 | 15719813 | 11621033 |     2265  13167 |        0 |        0
1485.50/1485.97	c 1485s |      27 | 15737500 | 11634733 |     2265  13179 |        0 |        0
1487.50/1487.98	c 1487s |      27 | 15757923 | 11650133 |     2265  13192 |        0 |        0
1489.50/1489.98	c 1489s |      27 | 15777069 | 11664433 |     2265  13204 |        0 |        0
1491.50/1491.99	c 1491s |      27 | 15797153 | 11679233 |     2265  13216 |        0 |        0
1493.60/1494.01	c 1493s |      27 | 15816900 | 11694033 |     2265  13229 |        0 |        0
1495.60/1496.01	c 1495s |      27 | 15836033 | 11708233 |     2265  13240 |        0 |        0
1497.59/1498.02	c 1498s |      27 | 15852813 | 11721633 |     2265  13252 |        0 |        0
1499.59/1500.04	c 1500s |      27 | 15868049 | 11733633 |     2265  13262 |        0 |        0
1501.58/1502.06	c 1502s |      27 | 15884137 | 11746333 |     2265  13272 |        0 |        0
1503.59/1504.07	c 1504s |      27 | 15900953 | 11758933 |     2265  13283 |        0 |        0
1505.60/1506.07	c 1506s |      27 | 15918393 | 11772133 |     2265  13294 |        0 |        0
1507.59/1508.08	c 1508s |      27 | 15934227 | 11784733 |     2265  13304 |        0 |        0
1509.59/1510.09	c 1510s |      27 | 15951312 | 11797633 |     2265  13315 |        0 |        0
1511.68/1512.10	c 1512s |      27 | 15968242 | 11810533 |     2265  13326 |        0 |        0
1513.68/1514.10	c 1514s |      27 | 15985335 | 11823933 |     2265  13337 |        0 |        0
1515.68/1516.11	c 1516s |      27 | 16002609 | 11837033 |     2265  13348 |        0 |        0
1517.68/1518.12	c 1518s |      27 | 16021770 | 11851233 |     2265  13360 |        0 |        0
1519.68/1520.12	c 1520s |      27 | 16039760 | 11864733 |     2265  13371 |        0 |        0
1521.68/1522.13	c 1522s |      27 | 16059402 | 11878933 |     2265  13383 |        0 |        0
1523.68/1524.13	c 1524s |      27 | 16078481 | 11893433 |     2265  13395 |        0 |        0
1525.68/1526.13	c 1526s |      27 | 16096796 | 11907333 |     2265  13407 |        0 |        0
1527.67/1528.15	c 1528s |      27 | 16116895 | 11921633 |     2265  13419 |        0 |        0
1529.68/1530.16	c 1530s |      27 | 16136506 | 11936033 |     2265  13431 |        0 |        0
1531.67/1532.17	c 1532s |      27 | 16156089 | 11950433 |     2265  13443 |        0 |        0
1533.67/1534.17	c 1534s |      27 | 16175334 | 11964633 |     2265  13455 |        0 |        0
1535.67/1536.18	c 1536s |      27 | 16195663 | 11979233 |     2265  13468 |        0 |        0
1537.67/1538.19	c 1538s |      27 | 16215223 | 11993733 |     2265  13480 |        0 |        0
1539.67/1540.19	c 1540s |      27 | 16234966 | 12008133 |     2265  13492 |        0 |        0
1541.66/1542.20	c 1542s |      27 | 16253857 | 12022433 |     2265  13504 |        0 |        0
1543.76/1544.22	c 1544s |      27 | 16273046 | 12037033 |     2265  13517 |        0 |        0
1545.76/1546.23	c 1546s |      27 | 16293043 | 12051633 |     2265  13529 |        0 |        0
1547.75/1548.24	c 1548s |      27 | 16312570 | 12066733 |     2265  13542 |        0 |        0
1549.75/1550.24	c 1550s |      27 | 16331254 | 12081333 |     2265  13554 |        0 |        0
1551.76/1552.26	c 1552s |      27 | 16347130 | 12093633 |     2265  13564 |        0 |        0
1553.75/1554.27	c 1554s |      27 | 16363275 | 12106233 |     2265  13575 |        0 |        0
1555.75/1556.28	c 1556s |      27 | 16381425 | 12119833 |     2265  13587 |        0 |        0
1557.75/1558.29	c 1558s |      27 | 16399241 | 12133933 |     2265  13598 |        0 |        0
1559.76/1560.29	c 1560s |      27 | 16417112 | 12147533 |     2265  13610 |        0 |        0
1561.86/1562.31	c 1562s |      27 | 16435075 | 12160933 |     2265  13621 |        0 |        0
1563.86/1564.31	c 1564s |      27 | 16452256 | 12173733 |     2265  13632 |        0 |        0
1565.86/1566.32	c 1566s |      27 | 16469219 | 12186333 |     2265  13642 |        0 |        0
1567.85/1568.33	c 1568s |      27 | 16485466 | 12198533 |     2265  13652 |        0 |        0
1569.85/1570.34	c 1570s |      27 | 16501981 | 12211233 |     2265  13663 |        0 |        0
1571.85/1572.34	c 1572s |      27 | 16518409 | 12223833 |     2265  13674 |        0 |        0
1573.85/1574.35	c 1574s |      27 | 16535556 | 12236633 |     2265  13684 |        0 |        0
1575.85/1576.35	c 1576s |      27 | 16551269 | 12248933 |     2265  13695 |        0 |        0
1577.84/1578.37	c 1578s |      27 | 16569143 | 12262233 |     2265  13706 |        0 |        0
1579.84/1580.37	c 1580s |      27 | 16586791 | 12275233 |     2265  13717 |        0 |        0
1581.84/1582.38	c 1582s |      27 | 16603995 | 12287833 |     2265  13727 |        0 |        0
1583.84/1584.38	c 1584s |      27 | 16620236 | 12299733 |     2265  13737 |        0 |        0
1585.84/1586.38	c 1586s |      27 | 16636773 | 12312333 |     2265  13748 |        0 |        0
1587.83/1588.39	c 1588s |      27 | 16653770 | 12325433 |     2265  13759 |        0 |        0
1589.93/1590.40	c 1590s |      27 | 16670863 | 12338233 |     2265  13770 |        0 |        0
1591.93/1592.40	c 1592s |      27 | 16687939 | 12351233 |     2265  13781 |        0 |        0
1593.93/1594.40	c 1594s |      27 | 16705372 | 12363833 |     2265  13791 |        0 |        0
1595.93/1596.40	c 1596s |      27 | 16721760 | 12375833 |     2265  13802 |        0 |        0
1597.93/1598.41	c 1598s |      27 | 16739343 | 12388533 |     2265  13812 |        0 |        0
1599.93/1600.41	c 1600s |      27 | 16755756 | 12400933 |     2265  13823 |        0 |        0
1601.93/1602.43	c 1602s |      27 | 16773469 | 12414833 |     2265  13835 |        0 |        0
1603.93/1604.44	c 1604s |      27 | 16790635 | 12428033 |     2265  13846 |        0 |        0
1605.93/1606.45	c 1606s |      27 | 16807394 | 12440833 |     2265  13856 |        0 |        0
1607.92/1608.45	c 1608s |      27 | 16824673 | 12454233 |     2265  13867 |        0 |        0
1609.93/1610.46	c 1610s |      27 | 16840401 | 12466333 |     2265  13878 |        0 |        0
1611.92/1612.47	c 1612s |      27 | 16857158 | 12479133 |     2265  13888 |        0 |        0
1613.92/1614.48	c 1614s |      27 | 16874467 | 12492333 |     2265  13900 |        0 |        0
1615.92/1616.49	c 1616s |      27 | 16892811 | 12506033 |     2265  13911 |        0 |        0
1618.02/1618.50	c 1618s |      27 | 16909891 | 12519233 |     2265  13922 |        0 |        0
1620.02/1620.52	c 1620s |      27 | 16927208 | 12532433 |     2265  13934 |        0 |        0
1622.03/1622.53	c 1622s |      27 | 16944983 | 12546033 |     2265  13945 |        0 |        0
1624.02/1624.53	c 1624s |      27 | 16961319 | 12558433 |     2265  13956 |        0 |        0
1626.02/1626.54	c 1626s |      27 | 16976996 | 12570533 |     2265  13966 |        0 |        0
1628.01/1628.54	c 1628s |      27 | 16993274 | 12582433 |     2265  13976 |        0 |        0
1630.01/1630.55	c 1630s |      27 | 17011294 | 12596133 |     2265  13988 |        0 |        0
1632.02/1632.56	c 1632s |      27 | 17028937 | 12609633 |     2265  13999 |        0 |        0
1634.01/1634.56	c 1634s |      27 | 17047438 | 12623533 |     2265  14011 |        0 |        0
1636.01/1636.58	c 1636s |      27 | 17065397 | 12637333 |     2265  14022 |        0 |        0
1638.00/1638.58	c 1638s |      27 | 17083044 | 12650833 |     2265  14034 |        0 |        0
1640.00/1640.59	c 1640s |      27 | 17101720 | 12665033 |     2265  14046 |        0 |        0
1642.10/1642.60	c 1642s |      27 | 17120194 | 12678933 |     2265  14057 |        0 |        0
1644.11/1644.61	c 1644s |      27 | 17137086 | 12691933 |     2265  14068 |        0 |        0
1646.10/1646.61	c 1646s |      27 | 17155753 | 12705933 |     2265  14080 |        0 |        0
1648.10/1648.62	c 1648s |      27 | 17172650 | 12719033 |     2265  14091 |        0 |        0
1650.10/1650.62	c 1650s |      27 | 17191504 | 12733133 |     2265  14103 |        0 |        0
1652.10/1652.63	c 1652s |      27 | 17211183 | 12747633 |     2265  14115 |        0 |        0
1654.10/1654.63	c 1654s |      27 | 17229797 | 12761833 |     2265  14127 |        0 |        0
1656.10/1656.64	c 1656s |      27 | 17249351 | 12776033 |     2265  14139 |        0 |        0
1658.09/1658.65	c 1658s |      27 | 17270078 | 12790933 |     2265  14152 |        0 |        0
1660.09/1660.66	c 1660s |      27 | 17288826 | 12805333 |     2265  14164 |        0 |        0
1662.09/1662.66	c 1662s |      27 | 17308031 | 12819633 |     2265  14176 |        0 |        0
1664.10/1664.68	c 1664s |      27 | 17326255 | 12833433 |     2265  14188 |        0 |        0
1666.10/1666.68	c 1666s |      27 | 17346647 | 12848233 |     2265  14200 |        0 |        0
1668.09/1668.69	c 1668s |      27 | 17366608 | 12863533 |     2265  14213 |        0 |        0
1670.09/1670.69	c 1670s |      27 | 17384739 | 12877633 |     2265  14225 |        0 |        0
1672.09/1672.69	c 1672s |      27 | 17404705 | 12892633 |     2265  14237 |        0 |        0
1674.09/1674.69	c 1674s |      27 | 17424094 | 12907533 |     2265  14250 |        0 |        0
1676.19/1676.70	c 1676s |      27 | 17442733 | 12921733 |     2265  14262 |        0 |        0
1678.19/1678.71	c 1678s |      27 | 17460671 | 12935633 |     2265  14274 |        0 |        0
1680.18/1680.72	c 1680s |      27 | 17478415 | 12948833 |     2265  14285 |        0 |        0
1682.18/1682.73	c 1682s |      27 | 17497607 | 12963033 |     2265  14297 |        0 |        0
1684.18/1684.74	c 1684s |      27 | 17515958 | 12976733 |     2265  14308 |        0 |        0
1686.18/1686.75	c 1686s |      27 | 17534190 | 12990033 |     2265  14320 |        0 |        0
1688.17/1688.76	c 1688s |      27 | 17553448 | 13004233 |     2265  14332 |        0 |        0
1690.18/1690.76	c 1690s |      27 | 17573640 | 13018433 |     2265  14344 |        0 |        0
1692.17/1692.77	c 1692s |      27 | 17592510 | 13032733 |     2265  14356 |        0 |        0
1694.17/1694.78	c 1694s |      27 | 17611966 | 13047133 |     2265  14368 |        0 |        0
1696.17/1696.79	c 1696s |      27 | 17630994 | 13061133 |     2265  14380 |        0 |        0
1698.27/1698.80	c 1698s |      27 | 17650141 | 13074833 |     2265  14391 |        0 |        0
1700.27/1700.80	c 1700s |      27 | 17668911 | 13088733 |     2265  14403 |        0 |        0
1702.27/1702.81	c 1702s |      27 | 17685957 | 13101933 |     2265  14414 |        0 |        0
1704.27/1704.81	c 1704s |      27 | 17704864 | 13115733 |     2265  14426 |        0 |        0
1706.26/1706.81	c 1706s |      27 | 17722611 | 13129033 |     2265  14437 |        0 |        0
1708.26/1708.83	c 1708s |      27 | 17741011 | 13142933 |     2265  14449 |        0 |        0
1710.26/1710.84	c 1710s |      27 | 17759142 | 13156833 |     2265  14460 |        0 |        0
1712.27/1712.85	c 1712s |      27 | 17778912 | 13171133 |     2265  14472 |        0 |        0
1714.26/1714.86	c 1714s |      27 | 17797838 | 13185333 |     2265  14484 |        0 |        0
1716.26/1716.87	c 1716s |      27 | 17814285 | 13198033 |     2265  14495 |        0 |        0
1718.25/1718.88	c 1718s |      27 | 17831633 | 13211833 |     2265  14507 |        0 |        0
1720.25/1720.89	c 1720s |      27 | 17849066 | 13225033 |     2265  14518 |        0 |        0
1722.25/1722.89	c 1722s |      27 | 17865136 | 13237533 |     2265  14528 |        0 |        0
1724.36/1724.91	c 1724s |      27 | 17882909 | 13251133 |     2265  14540 |        0 |        0
1726.35/1726.92	c 1726s |      27 | 17900363 | 13264533 |     2265  14551 |        0 |        0
1728.34/1728.93	c 1728s |      27 | 17917934 | 13277833 |     2265  14563 |        0 |        0
1730.34/1730.94	c 1730s |      27 | 17934639 | 13290533 |     2265  14573 |        0 |        0
1732.34/1732.95	c 1732s |      27 | 17952994 | 13304133 |     2265  14585 |        0 |        0
1734.34/1734.95	c 1734s |      27 | 17971266 | 13317533 |     2265  14596 |        0 |        0
1736.35/1736.96	c 1736s |      27 | 17988080 | 13330233 |     2265  14607 |        0 |        0
1738.35/1738.98	c 1738s |      27 | 18006076 | 13343733 |     2265  14619 |        0 |        0
1740.35/1740.98	c 1740s |      27 | 18025083 | 13357933 |     2265  14631 |        0 |        0
1742.34/1742.99	c 1742s |      27 | 18043312 | 13371733 |     2265  14643 |        0 |        0
1744.44/1745.00	c 1744s |      27 | 18062034 | 13385633 |     2265  14654 |        0 |        0
1746.44/1747.00	c 1746s |      27 | 18079199 | 13398733 |     2265  14666 |        0 |        0
1748.44/1749.01	c 1748s |      27 | 18098299 | 13412933 |     2265  14678 |        0 |        0
1750.44/1751.02	c 1751s |      27 | 18116475 | 13426833 |     2265  14690 |        0 |        0
1752.44/1753.03	c 1753s |      27 | 18137056 | 13441933 |     2265  14702 |        0 |        0
1754.44/1755.05	c 1755s |      27 | 18154828 | 13455733 |     2265  14714 |        0 |        0
1756.44/1757.06	c 1757s |      27 | 18172979 | 13469033 |     2265  14725 |        0 |        0
1758.44/1759.06	c 1759s |      27 | 18192043 | 13483633 |     2265  14738 |        0 |        0
1760.43/1761.07	c 1761s |      27 | 18210954 | 13497933 |     2265  14750 |        0 |        0
1762.43/1763.07	c 1763s |      27 | 18230610 | 13512533 |     2265  14762 |        0 |        0
1764.43/1765.09	c 1765s |      27 | 18248946 | 13526533 |     2265  14774 |        0 |        0
1766.53/1767.10	c 1767s |      27 | 18268252 | 13541233 |     2265  14786 |        0 |        0
1768.53/1769.10	c 1769s |      27 | 18286108 | 13555133 |     2265  14798 |        0 |        0
1770.53/1771.11	c 1771s |      27 | 18303383 | 13568833 |     2265  14809 |        0 |        0
1772.52/1773.12	c 1773s |      27 | 18321897 | 13582833 |     2265  14821 |        0 |        0
1774.52/1775.13	c 1775s |      27 | 18341519 | 13597533 |     2265  14833 |        0 |        0
1776.52/1777.15	c 1777s |      27 | 18359128 | 13611133 |     2265  14845 |        0 |        0
1778.52/1779.15	c 1779s |      27 | 18377911 | 13625433 |     2265  14856 |        0 |        0
1780.51/1781.15	c 1781s |      27 | 18396190 | 13639433 |     2265  14868 |        0 |        0
1782.52/1783.16	c 1783s |      27 | 18414855 | 13653433 |     2265  14880 |        0 |        0
1784.51/1785.18	c 1785s |      27 | 18432596 | 13667333 |     2265  14892 |        0 |        0
1786.51/1787.18	c 1787s |      27 | 18451405 | 13681433 |     2265  14904 |        0 |        0
1788.51/1789.19	c 1789s |      27 | 18469794 | 13695733 |     2265  14916 |        0 |        0
1790.61/1791.20	c 1791s |      27 | 18488767 | 13710233 |     2265  14928 |        0 |        0
1792.62/1793.21	c 1793s |      27 | 18508918 | 13725333 |     2265  14941 |        0 |        0
1794.62/1795.21	c 1795s |      27 | 18527052 | 13739333 |     2265  14953 |        0 |        0
1796.61/1797.22	c 1797s |      27 | 18543539 | 13752733 |     2265  14964 |        0 |        0
1798.61/1799.23	c 1799s |      27 | 18562180 | 13766833 |     2265  14976 |        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-4122338-1467316480/watcher-4122338-1467316480 -o /tmp/evaluation-result-4122338-1467316480/solver-4122338-1467316480 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467316479-28120 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122338-1467316480.opb 

pid=28142
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: 1.05 1.18 1.54 3/172 28146
/proc/meminfo: memFree=29404612/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=574020 CPUtime=0 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 2116 0 0 0 0 0 0 0 20 0 4 0 12603052 587796480 2477 33554432000 4194304 16246674 140735084759792 140735084758728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28146/statm: 144273 2488 442 2943 0 141167 0
[pid=28146/tid=28153] ppid=28142 vsize=591428 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 605622272 2545 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=595524 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 609816576 2561 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=600644 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 615059456 2578 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.05 1.18 1.54 3/172 28146
/proc/meminfo: memFree=29404612/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 24714 0 0 0 6 3 0 0 20 0 4 0 12603052 1247350784 25064 33554432000 4194304 16246674 140735084759792 140735084742784 5722241 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28146/statm: 304529 25074 709 2943 0 301423 0
[pid=28146/tid=28153] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 25080 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 25087 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 25093 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 1.05 1.18 1.54 3/172 28146
/proc/meminfo: memFree=29404612/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 47039 0 0 0 12 7 0 0 20 0 4 0 12603052 1247350784 47389 33554432000 4194304 16246674 140735084759792 140735084741696 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28146/statm: 304529 47403 709 2943 0 301423 0
[pid=28146/tid=28153] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 47409 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 47419 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 47425 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300453 s]
/proc/loadavg: 1.05 1.18 1.54 3/172 28146
/proc/meminfo: memFree=29404612/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 69241 0 0 0 19 10 0 0 20 0 4 0 12603052 1247350784 69592 33554432000 4194304 16246674 140735084759792 140735084741696 5668190 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28146/statm: 304529 69602 709 2943 0 301423 0
[pid=28146/tid=28153] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 69610 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 69617 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 69623 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700424 s]
/proc/loadavg: 1.05 1.18 1.54 3/172 28146
/proc/meminfo: memFree=29404612/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 160772 0 0 0 47 22 0 0 20 0 4 0 12603052 1247350784 161122 33554432000 4194304 16246674 140735084759792 140735084741696 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28146/statm: 304529 161130 709 2943 0 301423 0
[pid=28146/tid=28153] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 161136 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 161144 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12603052 1247350784 161148 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50047 s]
/proc/loadavg: 1.05 1.18 1.54 3/183 28157
/proc/meminfo: memFree=27439028/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 245620 0 0 0 114 34 0 0 20 0 4 0 12603052 1248399360 245950 33554432000 4194304 16246674 140735084759792 140735084742792 13198491 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 304785 245950 787 2943 0 301679 0
[pid=28146/tid=28153] ppid=28142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1248399360 245950 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1248399360 245950 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1248399360 245950 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 1.05 1.18 1.54 3/183 28157
/proc/meminfo: memFree=27264196/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267463 0 0 0 271 37 0 0 20 0 4 0 12603052 1337528320 267793 33554432000 4194304 16246674 140735084759792 140735084742792 12467328 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 326545 267793 787 2943 0 323439 0
[pid=28146/tid=28153] ppid=28142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267793 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267793 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1337528320 267793 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30049 s]
/proc/loadavg: 1.13 1.20 1.54 3/183 28157
/proc/meminfo: memFree=27262404/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267786 0 0 0 591 37 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140735084759792 140735084741696 5974116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 326801 268116 787 2943 0 323695 0
[pid=28146/tid=28153] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268116 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 1.20 1.21 1.54 3/183 28157
/proc/meminfo: memFree=27261360/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267824 0 0 0 1231 37 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140735084742792 5677537 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 326801 268154 787 2943 0 323695 0
[pid=28146/tid=28153] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.37 1.25 1.55 3/183 28157
/proc/meminfo: memFree=27262900/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1307204 CPUtime=25.47 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267824 0 0 0 2510 37 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140735084741696 5677908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 326801 268154 787 2943 0 323695 0
[pid=28146/tid=28153] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1338576896 268154 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1307204

[startup+51.1006 s]
/proc/loadavg: 1.72 1.34 1.57 3/183 28157
/proc/meminfo: memFree=27262412/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1308228 CPUtime=51.07 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267915 0 0 0 5069 38 0 0 20 0 4 0 12603052 1339625472 268245 33554432000 4194304 16246674 140735084759792 140735084742792 5722520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 327057 268245 787 2943 0 323951 0
[pid=28146/tid=28153] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268245 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268245 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268245 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.12 1.50 1.61 3/183 28159
/proc/meminfo: memFree=27261828/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1308228 CPUtime=102.27 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 267958 0 0 0 10189 38 0 0 20 0 4 0 12603052 1339625472 268288 33554432000 4194304 16246674 140735084759792 140735084742792 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 327057 268288 787 2943 0 323951 0
[pid=28146/tid=28153] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268288 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268288 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1339625472 268288 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1342771200 269183 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 1.71 2.05 1.97 2/173 28242
/proc/meminfo: memFree=28343924/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1302.01 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269190 0 0 0 130138 63 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140735084741696 5522909 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269412 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 1.36 1.89 1.92 2/173 28243
/proc/meminfo: memFree=28343076/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1361.97 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269232 0 0 0 136133 64 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140735084742792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269412 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 1.20 1.74 1.86 2/173 28244
/proc/meminfo: memFree=28343548/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1421.94 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269278 0 0 0 142129 65 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140735084742792 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269412 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 1.25 1.65 1.82 2/173 28245
/proc/meminfo: memFree=28343928/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1481.9 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269322 0 0 0 148124 66 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140735084741696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269412 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269412 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 1.13 1.54 1.77 2/174 28249
/proc/meminfo: memFree=28343204/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1541.87 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269393 0 0 0 154120 67 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084742792 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 1.23 1.49 1.74 2/172 28250
/proc/meminfo: memFree=28343340/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1601.83 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269438 0 0 0 160114 69 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084742792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 1.15 1.41 1.69 3/173 28252
/proc/meminfo: memFree=28343552/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1661.79 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269485 0 0 0 166110 69 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084742792 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 1.10 1.35 1.65 2/173 28253
/proc/meminfo: memFree=28343128/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1721.75 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269532 0 0 0 172105 70 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084741696 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 1.13 1.31 1.62 2/173 28254
/proc/meminfo: memFree=28343112/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1781.71 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269574 0 0 0 178100 71 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084742792 5823206 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.10 1.30 1.61 3/173 28254
/proc/meminfo: memFree=28343468/32872528 swapFree=1270788/1434308
[pid=28146] ppid=28142 vsize=1312324 CPUtime=1800.01 cores=1,3,5,7
/proc/28146/stat : 28146 (toysat) R 28142 28146 23125 0 -1 4202496 269579 0 0 0 179929 72 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140735084741696 5553796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28146/statm: 328081 269439 789 2943 0 324975 0
[pid=28146/tid=28153] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28153/stat : 28153 (toysat) S 28142 28146 23125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213269540080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=28146/tid=28154] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28154/stat : 28154 (toysat) S 28142 28146 23125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213259050224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=28146/tid=28155] ppid=28142 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/28146/task/28155/stat : 28155 (toysat) S 28142 28146 23125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12603052 1343819776 269439 33554432000 4194304 16246674 140735084759792 140213248576688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28146 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.72289
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.72289
maximum resident set size= 1077756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269579
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= 487
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6144 second user time and 16.1575 second system time

The end

Begin job on node130 at 2016-06-30 21:54:40
IDJOB=4122338
IDBENCH=111069
IDSOLVER=2542
FILE ID=node130/4122338-1467316480
RUNJOBID= node130-1467316479-28120
PBS_JOBID= 20005254
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= e9d41eddf50c1b65f7ada31a292622d7
RANDOM SEED=1063160930

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29406444 kB
Buffers:          148844 kB
Cached:          1119696 kB
SwapCached:            0 kB
Active:           337904 kB
Inactive:         947516 kB
Active(anon):      14952 kB
Inactive(anon):     4904 kB
Active(file):     322952 kB
Inactive(file):   942612 kB
Unevictable:     1434308 kB
Mlocked:         1270788 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1471548 kB
Mapped:            13956 kB
Shmem:               204 kB
Slab:             612928 kB
SReclaimable:      57096 kB
SUnreclaim:       555832 kB
KernelStack:        1408 kB
PageTables:         7368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1536796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71652 MiB
End job on node130 at 2016-06-30 22:24:41