0.00/0.00	c 2016-06-16T19:59:33+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-4095966-1466099973.opb"]
0.00/0.01	c use --random-gen="4108912881 113736233 2687117600 3625041216 2832106123 3144915273 1657942655 3967236290 2372008959 1401409213 571227123 251815085 1935765903 3964071033 491557307 1771317022 3216634161 382425433 777645456 147246429 898590312 3809567723 185457545 3719899926 3371221087 3518330972 2089509621 1993149772 113905692 3061994707 3684690931 2247598938 2849819650 83259271 2171556118 1937502926 1371133733 3850004847 1813891491 2980839229 3737356470 3816533379 3574898062 1687516855 3482070472 4240287197 1449509667 1149968550 1593312507 1788417561 3454448367 2521336160 1158779662 1387474880 2111849632 3297080845 2911163045 1509862483 4279863908 1942045891 1806571287 2143075071 2290849875 657052487 3862511800 2806258635 3797489726 844830774 1048122267 2051089316 3486149792 1648901540 68454713 543850569 1952791815 3515998970 1021007807 3856337278 1669968084 911294887 2188877977 2555536412 603654213 1777906720 3985972549 1187131907 3953702603 554414673 1318458498 4046651338 238215599 559134468 218887618 3998022303 3167509276 148867990 1212300689 2160538797 309344478 1696950512 516390636 3682731145 2933522517 284794731 3383683096 3692557352 1835856088 1665634457 3832163492 3847580297 1550640454 1919529449 776650393 438422873 3290429191 2709246678 1580637081 3945361489 4080686201 2064711306 4246684709 1694248876 255626074 1070807443 4102385980 2881520785 3002254376 281793532 3724717327 3875000729 2998108352 2378220776 2653463468 3170826753 3492852592 466258954 1795729469 3039976938 2415445796 2096369452 3458023151 205549665 3134715853 1291438205 3072067715 3058002687 1278693674 2163770429 3253824770 1196141112 3761711084 942158451 2008236059 1845868259 543309364 2313189115 817378577 2805009028 785577980 3560345588 1233129325 3124169622 1941023101 2206744381 224403501 2454711433 819381610 4135504852 1142342653 2363337042 849390716 3117102381 1268876144 851274463 1560382030 1449908622 3173170612 2098397589 96830486 3212341322 2251781113 398059273 4184205678 3124125372 2863822288 3244972623 2961109273 242192014 2292625510 453294116 2597045981 1458185629 901843176 2973431183 296634372 1474771491 348337112 1177586719 2707009068 2363396221 3045367381 947174783 1361619320 3600018432 2362659190 3852112068 2617252590 4099814930 165893820 1636191808 3814645995 361952893 3803997684 2477397718 1026684508 361706784 3177716039 3263604472 2744892560 359634791 1425144510 1714923943 3842403107 3251298515 3051430842 3791350687 1054238549 1461785081 1594463333 2983286470 2051548643 928031744 2287800572 3225730647 1378722872 216190265 2298333625 2860044540 1967911042 418404628 2231494827 3155663361 964945723 84608719 3920542803 2959732949 1661497196 4000229227 1202346307 3387055318 1604815787 2489555277 414099531 2870729399 2870776341 3489899013 255 362436" option to reproduce the execution
0.00/0.01	c #vars 241
0.00/0.01	c #constraints 120
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      120      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      466 |      250 |      132      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |     1008 |      475 |      146      3 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1990 |      813 |      161      6 |        0 |        0
0.19/0.20	c  0.2s |       5 |     3079 |     1320 |      178     10 |        0 |        0
0.29/0.32	c  0.3s |       6 |     4245 |     2081 |      216     15 |        0 |        0
0.49/0.52	c  0.5s |       7 |     6283 |     3223 |      238     23 |        0 |        0
0.69/0.79	c  0.8s |       8 |     9038 |     4936 |      262     34 |        0 |        0
1.10/1.18	c  1.2s |       9 |    14098 |     7506 |      289     50 |        0 |        0
1.69/1.74	c  1.7s |      10 |    19970 |    11361 |      318     71 |        0 |        0
2.39/2.47	c  2.5s |      11 |    29426 |    17144 |      350    100 |        0 |        0
3.59/3.63	c  3.6s |      12 |    44028 |    25819 |      386    141 |        0 |        0
5.29/5.40	c  5.4s |      13 |    61822 |    38832 |      425    198 |        0 |        0
7.39/7.40	c  7.4s |      13 |    86966 |    54832 |      425    263 |        0 |        0
7.80/7.87	c  7.9s |      14 |    92176 |    58352 |      468    277 |        0 |        0
9.79/9.88	c  9.9s |      14 |   108233 |    71252 |      468    323 |        0 |        0
11.79/11.88	c 11.9s |      14 |   122593 |    83452 |      468    367 |        0 |        0
12.49/12.52	c 12.5s |      15 |   127686 |    87632 |      515    382 |        0 |        0
14.49/14.52	c 14.5s |      15 |   147500 |   100832 |      515    427 |        0 |        0
16.50/16.52	c 16.5s |      15 |   166214 |   114132 |      515    472 |        0 |        0
18.49/18.53	c 18.5s |      15 |   184695 |   127232 |      515    517 |        0 |        0
19.19/19.28	c 19.3s |      16 |   190115 |   131552 |      567    531 |        0 |        0
21.19/21.29	c 21.3s |      16 |   206443 |   144752 |      567    572 |        0 |        0
23.19/23.30	c 23.3s |      16 |   223980 |   158352 |      567    614 |        0 |        0
25.29/25.31	c 25.3s |      16 |   240592 |   171952 |      567    656 |        0 |        0
27.28/27.32	c 27.3s |      16 |   257296 |   185552 |      567    699 |        0 |        0
28.98/29.04	c 29.0s |      17 |   272134 |   197432 |      624    735 |        0 |        0
30.98/31.05	c 31.0s |      17 |   292312 |   210332 |      624    772 |        0 |        0
32.99/33.05	c 33.0s |      17 |   309452 |   222432 |      624    807 |        0 |        0
34.98/35.06	c 35.0s |      17 |   325538 |   234632 |      624    843 |        0 |        0
36.98/37.06	c 37.0s |      17 |   344598 |   247232 |      624    879 |        0 |        0
38.98/39.06	c 39.1s |      17 |   365058 |   260532 |      624    918 |        0 |        0
40.98/41.08	c 41.1s |      17 |   385095 |   273532 |      624    956 |        0 |        0
43.00/43.09	c 43.1s |      17 |   403571 |   286032 |      624    992 |        0 |        0
44.79/44.83	c 44.8s |      18 |   417078 |   296252 |      687   1021 |        0 |        0
46.79/46.85	c 46.8s |      18 |   435318 |   309752 |      687   1058 |        0 |        0
48.79/48.86	c 48.8s |      18 |   450928 |   322552 |      687   1094 |        0 |        0
50.79/50.86	c 50.8s |      18 |   467255 |   335452 |      687   1129 |        0 |        0
52.79/52.88	c 52.9s |      18 |   485292 |   349352 |      687   1167 |        0 |        0
54.79/54.88	c 54.9s |      18 |   501628 |   361852 |      687   1201 |        0 |        0
56.79/56.88	c 56.9s |      18 |   518378 |   374452 |      687   1235 |        0 |        0
58.79/58.88	c 58.9s |      18 |   536355 |   388052 |      687   1273 |        0 |        0
60.78/60.88	c 60.9s |      18 |   554892 |   401552 |      687   1309 |        0 |        0
62.79/62.89	c 62.9s |      18 |   572716 |   415352 |      687   1347 |        0 |        0
64.78/64.89	c 64.9s |      18 |   589864 |   428652 |      687   1383 |        0 |        0
66.78/66.89	c 66.9s |      18 |   606513 |   441752 |      756   1419 |        0 |        0
67.28/67.35	c 67.3s |      19 |   609935 |   444482 |      756   1426 |        0 |        0
69.29/69.36	c 69.3s |      19 |   626489 |   456882 |      756   1457 |        0 |        0
71.28/71.36	c 71.4s |      19 |   641965 |   469182 |      756   1487 |        0 |        0
73.28/73.37	c 73.4s |      19 |   657937 |   481782 |      756   1519 |        0 |        0
75.28/75.38	c 75.4s |      19 |   671929 |   493682 |      756   1548 |        0 |        0
77.28/77.38	c 77.4s |      19 |   686831 |   505882 |      756   1579 |        0 |        0
79.29/79.39	c 79.4s |      19 |   702159 |   518282 |      756   1610 |        0 |        0
81.39/81.41	c 81.4s |      19 |   717660 |   530682 |      756   1641 |        0 |        0
83.38/83.43	c 83.4s |      19 |   734030 |   543882 |      756   1674 |        0 |        0
85.38/85.44	c 85.4s |      19 |   749209 |   556282 |      756   1704 |        0 |        0
87.38/87.44	c 87.4s |      19 |   765519 |   569482 |      756   1737 |        0 |        0
89.38/89.45	c 89.4s |      19 |   781064 |   582582 |      756   1769 |        0 |        0
91.38/91.45	c 91.4s |      19 |   796141 |   595282 |      756   1801 |        0 |        0
93.38/93.45	c 93.4s |      19 |   811323 |   607582 |      756   1831 |        0 |        0
95.38/95.46	c 95.5s |      19 |   827480 |   620782 |      756   1864 |        0 |        0
97.38/97.46	c 97.5s |      19 |   841645 |   632782 |      756   1894 |        0 |        0
99.38/99.47	c 99.5s |      19 |   856231 |   644882 |      756   1924 |        0 |        0
101.37/101.47	c  101s |      19 |   869901 |   656682 |      756   1953 |        0 |        0
103.07/103.18	c  103s |      20 |   881792 |   666827 |      832   1977 |        0 |        0
105.07/105.19	c  105s |      20 |   900550 |   679027 |      832   2004 |        0 |        0
107.07/107.19	c  107s |      20 |   917299 |   691327 |      832   2031 |        0 |        0
109.17/109.20	c  109s |      20 |   935811 |   704327 |      832   2059 |        0 |        0
111.18/111.21	c  111s |      20 |   955316 |   717527 |      832   2088 |        0 |        0
113.17/113.21	c  113s |      20 |   973934 |   730627 |      832   2117 |        0 |        0
115.17/115.21	c  115s |      20 |   990825 |   743127 |      832   2145 |        0 |        0
117.17/117.23	c  117s |      20 |  1010303 |   756727 |      832   2175 |        0 |        0
119.17/119.24	c  119s |      20 |  1029069 |   769927 |      832   2204 |        0 |        0
121.17/121.25	c  121s |      20 |  1051427 |   783827 |      832   2234 |        0 |        0
123.18/123.26	c  123s |      20 |  1066901 |   796327 |      832   2262 |        0 |        0
125.17/125.27	c  125s |      20 |  1084687 |   809127 |      832   2290 |        0 |        0
127.17/127.28	c  127s |      20 |  1100780 |   821427 |      832   2317 |        0 |        0
129.17/129.29	c  129s |      20 |  1120064 |   834627 |      832   2346 |        0 |        0
131.17/131.29	c  131s |      20 |  1137363 |   847127 |      832   2374 |        0 |        0
133.27/133.30	c  133s |      20 |  1156098 |   860327 |      832   2403 |        0 |        0
135.27/135.31	c  135s |      20 |  1173767 |   873027 |      832   2431 |        0 |        0
137.27/137.31	c  137s |      20 |  1190844 |   885727 |      832   2459 |        0 |        0
139.27/139.32	c  139s |      20 |  1208761 |   898927 |      832   2488 |        0 |        0
141.27/141.32	c  141s |      20 |  1223964 |   911927 |      832   2517 |        0 |        0
143.27/143.33	c  143s |      20 |  1241124 |   925827 |      832   2547 |        0 |        0
145.27/145.33	c  145s |      20 |  1259193 |   940027 |      832   2578 |        0 |        0
147.26/147.35	c  147s |      20 |  1276851 |   954027 |      832   2609 |        0 |        0
149.27/149.35	c  149s |      20 |  1294343 |   967027 |      832   2637 |        0 |        0
151.27/151.36	c  151s |      20 |  1310712 |   979427 |      832   2664 |        0 |        0
153.27/153.37	c  153s |      20 |  1327752 |   992627 |      832   2693 |        0 |        0
154.47/154.56	c  154s |      21 |  1337591 |  1000345 |      916   2709 |        0 |        0
156.47/156.56	c  156s |      21 |  1356014 |  1012745 |      916   2734 |        0 |        0
158.48/158.57	c  158s |      21 |  1371750 |  1024345 |      916   2758 |        0 |        0
160.47/160.58	c  160s |      21 |  1386075 |  1035445 |      916   2780 |        0 |        0
162.47/162.58	c  162s |      21 |  1401319 |  1046745 |      916   2803 |        0 |        0
164.47/164.59	c  164s |      21 |  1417639 |  1058545 |      916   2827 |        0 |        0
166.47/166.59	c  166s |      21 |  1433901 |  1070045 |      916   2851 |        0 |        0
168.57/168.61	c  168s |      21 |  1447430 |  1080845 |      916   2873 |        0 |        0
170.57/170.62	c  170s |      21 |  1461776 |  1092245 |      916   2896 |        0 |        0
172.57/172.63	c  172s |      21 |  1476486 |  1103645 |      916   2919 |        0 |        0
174.57/174.63	c  174s |      21 |  1489655 |  1114045 |      916   2940 |        0 |        0
176.57/176.64	c  176s |      21 |  1504778 |  1125245 |      916   2963 |        0 |        0
178.57/178.65	c  178s |      21 |  1520386 |  1137345 |      916   2988 |        0 |        0
180.57/180.66	c  180s |      21 |  1534721 |  1148845 |      916   3011 |        0 |        0
182.57/182.67	c  182s |      21 |  1550129 |  1160645 |      916   3035 |        0 |        0
184.57/184.68	c  184s |      21 |  1565671 |  1172445 |      916   3059 |        0 |        0
186.56/186.69	c  186s |      21 |  1578735 |  1183145 |      916   3081 |        0 |        0
188.56/188.69	c  188s |      21 |  1592446 |  1194145 |      916   3103 |        0 |        0
190.66/190.70	c  190s |      21 |  1606477 |  1204845 |      916   3125 |        0 |        0
192.66/192.70	c  192s |      21 |  1619371 |  1215145 |      916   3145 |        0 |        0
194.67/194.72	c  194s |      21 |  1633671 |  1226145 |      916   3168 |        0 |        0
196.66/196.72	c  196s |      21 |  1648116 |  1237145 |      916   3190 |        0 |        0
198.66/198.74	c  198s |      21 |  1662934 |  1248345 |      916   3213 |        0 |        0
200.66/200.75	c  200s |      21 |  1677336 |  1259545 |      916   3236 |        0 |        0
202.66/202.76	c  202s |      21 |  1692489 |  1271245 |      916   3260 |        0 |        0
204.66/204.77	c  204s |      21 |  1706485 |  1282545 |      916   3283 |        0 |        0
206.66/206.79	c  206s |      21 |  1720167 |  1293845 |      916   3306 |        0 |        0
208.76/208.80	c  208s |      21 |  1733228 |  1304645 |      916   3329 |        0 |        0
210.76/210.82	c  210s |      21 |  1747488 |  1316245 |      916   3352 |        0 |        0
212.76/212.83	c  212s |      21 |  1762326 |  1327845 |      916   3376 |        0 |        0
214.76/214.84	c  214s |      21 |  1777264 |  1339345 |      916   3400 |        0 |        0
216.76/216.84	c  216s |      21 |  1792380 |  1350945 |      916   3423 |        0 |        0
218.75/218.86	c  218s |      21 |  1806782 |  1362445 |      916   3447 |        0 |        0
220.75/220.88	c  220s |      21 |  1821140 |  1374045 |      916   3470 |        0 |        0
222.75/222.89	c  222s |      21 |  1834762 |  1384945 |      916   3493 |        0 |        0
224.75/224.89	c  224s |      21 |  1848553 |  1395945 |      916   3515 |        0 |        0
226.75/226.89	c  226s |      21 |  1862403 |  1406745 |      916   3537 |        0 |        0
228.86/228.90	c  228s |      21 |  1875763 |  1417645 |      916   3560 |        0 |        0
230.85/230.91	c  230s |      21 |  1889283 |  1428745 |      916   3582 |        0 |        0
232.85/232.92	c  232s |      21 |  1903064 |  1439945 |      916   3605 |        0 |        0
234.85/234.93	c  234s |      21 |  1916393 |  1451045 |      916   3628 |        0 |        0
236.85/236.93	c  236s |      21 |  1929738 |  1461845 |      916   3650 |        0 |        0
238.85/238.94	c  238s |      21 |  1942469 |  1472545 |      916   3672 |        0 |        0
240.86/240.95	c  240s |      21 |  1954913 |  1482945 |      916   3694 |        0 |        0
242.85/242.96	c  242s |      21 |  1967346 |  1493245 |     1008   3714 |        0 |        0
244.26/244.33	c  244s |      22 |  1976074 |  1500622 |     1008   3728 |        0 |        0
246.25/246.35	c  246s |      22 |  1997302 |  1513122 |     1008   3751 |        0 |        0
248.25/248.35	c  248s |      22 |  2011556 |  1524922 |     1008   3773 |        0 |        0
250.25/250.36	c  250s |      22 |  2028555 |  1537622 |     1008   3797 |        0 |        0
252.25/252.36	c  252s |      22 |  2044892 |  1549922 |     1008   3820 |        0 |        0
254.25/254.36	c  254s |      22 |  2061723 |  1562322 |     1008   3844 |        0 |        0
256.26/256.38	c  256s |      22 |  2076978 |  1574022 |     1008   3866 |        0 |        0
258.25/258.39	c  258s |      22 |  2091103 |  1584722 |     1008   3886 |        0 |        0
260.25/260.40	c  260s |      22 |  2106107 |  1595822 |     1008   3906 |        0 |        0
262.35/262.40	c  262s |      22 |  2121567 |  1607422 |     1008   3927 |        0 |        0
264.35/264.41	c  264s |      22 |  2136347 |  1618922 |     1008   3949 |        0 |        0
266.35/266.43	c  266s |      22 |  2156492 |  1631122 |     1008   3972 |        0 |        0
268.36/268.44	c  268s |      22 |  2175392 |  1643322 |     1008   3994 |        0 |        0
270.35/270.45	c  270s |      22 |  2195397 |  1655422 |     1008   4017 |        0 |        0
272.35/272.46	c  272s |      22 |  2215909 |  1667522 |     1008   4040 |        0 |        0
274.35/274.48	c  274s |      22 |  2237074 |  1679622 |     1008   4062 |        0 |        0
276.35/276.48	c  276s |      22 |  2258064 |  1692322 |     1008   4086 |        0 |        0
278.36/278.49	c  278s |      22 |  2278930 |  1705222 |     1008   4110 |        0 |        0
280.35/280.49	c  280s |      22 |  2299565 |  1717922 |     1008   4134 |        0 |        0
282.45/282.51	c  282s |      22 |  2318818 |  1729922 |     1008   4156 |        0 |        0
284.45/284.52	c  284s |      22 |  2336027 |  1742522 |     1008   4179 |        0 |        0
286.45/286.53	c  286s |      22 |  2353501 |  1755422 |     1008   4204 |        0 |        0
288.44/288.54	c  288s |      22 |  2370271 |  1767422 |     1008   4226 |        0 |        0
290.45/290.55	c  290s |      22 |  2390395 |  1780122 |     1008   4250 |        0 |        0
292.44/292.56	c  292s |      22 |  2407989 |  1792222 |     1008   4273 |        0 |        0
294.44/294.56	c  294s |      22 |  2426691 |  1804822 |     1008   4296 |        0 |        0
296.45/296.56	c  296s |      22 |  2446739 |  1817622 |     1008   4320 |        0 |        0
298.45/298.57	c  298s |      22 |  2465492 |  1830022 |     1008   4343 |        0 |        0
300.45/300.57	c  300s |      22 |  2483002 |  1842122 |     1008   4366 |        0 |        0
302.46/302.58	c  302s |      22 |  2500984 |  1854322 |     1008   4389 |        0 |        0
304.45/304.59	c  304s |      22 |  2519220 |  1865822 |     1008   4410 |        0 |        0
306.55/306.60	c  306s |      22 |  2534677 |  1876422 |     1008   4430 |        0 |        0
308.55/308.60	c  308s |      22 |  2551572 |  1887822 |     1008   4451 |        0 |        0
310.55/310.62	c  310s |      22 |  2570604 |  1899522 |     1008   4473 |        0 |        0
312.55/312.62	c  312s |      22 |  2590052 |  1912122 |     1008   4497 |        0 |        0
314.55/314.63	c  314s |      22 |  2611276 |  1925322 |     1008   4521 |        0 |        0
316.54/316.64	c  316s |      22 |  2630697 |  1937722 |     1008   4544 |        0 |        0
318.54/318.66	c  318s |      22 |  2650531 |  1950322 |     1008   4568 |        0 |        0
320.54/320.67	c  320s |      22 |  2669671 |  1962222 |     1008   4590 |        0 |        0
322.54/322.67	c  322s |      22 |  2689168 |  1974222 |     1008   4612 |        0 |        0
324.55/324.68	c  324s |      22 |  2709458 |  1986422 |     1008   4635 |        0 |        0
326.54/326.69	c  326s |      22 |  2727763 |  1998122 |     1008   4657 |        0 |        0
328.64/328.70	c  328s |      22 |  2746768 |  2009622 |     1008   4678 |        0 |        0
330.64/330.71	c  330s |      22 |  2762722 |  2021022 |     1008   4700 |        0 |        0
332.64/332.73	c  332s |      22 |  2777828 |  2031922 |     1008   4720 |        0 |        0
334.64/334.74	c  334s |      22 |  2797043 |  2043522 |     1008   4742 |        0 |        0
336.65/336.74	c  336s |      22 |  2817614 |  2055322 |     1008   4764 |        0 |        0
338.64/338.75	c  338s |      22 |  2835947 |  2066222 |     1008   4784 |        0 |        0
340.64/340.77	c  340s |      22 |  2853230 |  2077622 |     1008   4805 |        0 |        0
342.64/342.78	c  342s |      22 |  2868674 |  2088622 |     1008   4826 |        0 |        0
344.64/344.79	c  344s |      22 |  2884226 |  2098722 |     1008   4845 |        0 |        0
346.74/346.80	c  346s |      22 |  2901227 |  2109322 |     1008   4864 |        0 |        0
348.74/348.81	c  348s |      22 |  2920460 |  2120622 |     1008   4886 |        0 |        0
350.74/350.81	c  350s |      22 |  2937593 |  2132322 |     1008   4907 |        0 |        0
352.74/352.81	c  352s |      22 |  2954963 |  2143622 |     1008   4928 |        0 |        0
354.74/354.83	c  354s |      22 |  2972466 |  2154822 |     1008   4949 |        0 |        0
356.73/356.84	c  356s |      22 |  2988852 |  2165722 |     1008   4969 |        0 |        0
358.73/358.86	c  358s |      22 |  3005907 |  2177022 |     1008   4990 |        0 |        0
360.74/360.86	c  360s |      22 |  3021361 |  2188222 |     1008   5011 |        0 |        0
362.73/362.88	c  362s |      22 |  3034933 |  2199122 |     1008   5031 |        0 |        0
364.73/364.88	c  364s |      22 |  3048267 |  2210122 |     1008   5052 |        0 |        0
366.73/366.88	c  366s |      22 |  3064311 |  2221822 |     1008   5074 |        0 |        0
368.73/368.88	c  368s |      22 |  3079785 |  2233422 |     1008   5095 |        0 |        0
370.83/370.90	c  370s |      22 |  3097511 |  2245122 |     1109   5116 |        0 |        0
371.74/371.88	c  371s |      23 |  3107461 |  2251038 |     1109   5126 |        0 |        0
373.73/373.88	c  373s |      23 |  3128417 |  2263338 |     1109   5146 |        0 |        0
375.83/375.90	c  375s |      23 |  3144184 |  2275138 |     1109   5166 |        0 |        0
377.83/377.90	c  377s |      23 |  3157027 |  2285538 |     1109   5184 |        0 |        0
379.83/379.91	c  379s |      23 |  3172267 |  2296738 |     1109   5202 |        0 |        0
381.83/381.92	c  381s |      23 |  3184041 |  2307038 |     1109   5219 |        0 |        0
383.83/383.94	c  383s |      23 |  3196255 |  2317238 |     1109   5236 |        0 |        0
385.83/385.95	c  385s |      23 |  3209767 |  2328038 |     1109   5254 |        0 |        0
387.83/387.96	c  387s |      23 |  3222997 |  2338638 |     1109   5272 |        0 |        0
389.83/389.97	c  389s |      23 |  3235364 |  2348938 |     1109   5289 |        0 |        0
391.83/391.99	c  391s |      23 |  3247280 |  2359038 |     1109   5305 |        0 |        0
393.83/393.99	c  393s |      23 |  3258883 |  2368638 |     1109   5321 |        0 |        0
395.83/396.00	c  395s |      23 |  3269957 |  2378338 |     1109   5338 |        0 |        0
397.93/398.01	c  398s |      23 |  3282460 |  2388638 |     1109   5356 |        0 |        0
399.93/400.02	c  400s |      23 |  3295778 |  2399138 |     1109   5374 |        0 |        0
401.93/402.03	c  402s |      23 |  3309648 |  2409738 |     1109   5393 |        0 |        0
403.93/404.05	c  404s |      23 |  3322964 |  2420538 |     1109   5412 |        0 |        0
405.94/406.07	c  406s |      23 |  3333988 |  2430238 |     1109   5428 |        0 |        0
407.93/408.07	c  408s |      23 |  3346249 |  2440238 |     1109   5445 |        0 |        0
409.93/410.08	c  410s |      23 |  3359344 |  2450438 |     1109   5463 |        0 |        0
411.93/412.09	c  412s |      23 |  3373153 |  2460838 |     1109   5480 |        0 |        0
414.03/414.10	c  414s |      23 |  3385189 |  2470638 |     1109   5497 |        0 |        0
416.03/416.11	c  416s |      23 |  3398230 |  2480938 |     1109   5514 |        0 |        0
418.04/418.13	c  418s |      23 |  3411894 |  2491238 |     1109   5532 |        0 |        0
420.03/420.14	c  420s |      23 |  3425484 |  2501338 |     1109   5549 |        0 |        0
422.03/422.14	c  422s |      23 |  3437904 |  2511138 |     1109   5565 |        0 |        0
424.03/424.15	c  424s |      23 |  3450290 |  2520938 |     1109   5582 |        0 |        0
426.03/426.17	c  426s |      23 |  3462022 |  2530638 |     1109   5598 |        0 |        0
428.03/428.17	c  428s |      23 |  3475039 |  2540838 |     1109   5615 |        0 |        0
430.04/430.19	c  430s |      23 |  3487079 |  2550738 |     1109   5632 |        0 |        0
432.13/432.21	c  432s |      23 |  3501554 |  2561538 |     1109   5650 |        0 |        0
434.13/434.21	c  434s |      23 |  3514881 |  2572138 |     1109   5668 |        0 |        0
436.13/436.23	c  436s |      23 |  3527655 |  2582338 |     1109   5686 |        0 |        0
438.13/438.23	c  438s |      23 |  3540734 |  2592438 |     1109   5703 |        0 |        0
440.13/440.25	c  440s |      23 |  3555441 |  2603038 |     1109   5720 |        0 |        0
442.13/442.25	c  442s |      23 |  3567935 |  2613238 |     1109   5737 |        0 |        0
444.13/444.25	c  444s |      23 |  3579759 |  2623238 |     1109   5754 |        0 |        0
446.13/446.25	c  446s |      23 |  3594234 |  2634438 |     1109   5773 |        0 |        0
448.12/448.26	c  448s |      23 |  3607754 |  2645138 |     1109   5791 |        0 |        0
450.12/450.26	c  450s |      23 |  3620808 |  2655538 |     1109   5808 |        0 |        0
452.13/452.27	c  452s |      23 |  3634445 |  2665838 |     1109   5825 |        0 |        0
454.12/454.29	c  454s |      23 |  3647446 |  2676138 |     1109   5843 |        0 |        0
456.12/456.29	c  456s |      23 |  3659272 |  2685638 |     1109   5859 |        0 |        0
458.22/458.30	c  458s |      23 |  3674446 |  2696538 |     1109   5877 |        0 |        0
460.22/460.32	c  460s |      23 |  3689600 |  2707438 |     1109   5896 |        0 |        0
462.22/462.33	c  462s |      23 |  3703449 |  2717838 |     1109   5913 |        0 |        0
464.23/464.33	c  464s |      23 |  3716024 |  2727638 |     1109   5930 |        0 |        0
466.22/466.35	c  466s |      23 |  3727523 |  2737538 |     1109   5947 |        0 |        0
468.22/468.36	c  468s |      23 |  3739211 |  2747038 |     1109   5963 |        0 |        0
470.22/470.37	c  470s |      23 |  3754490 |  2757938 |     1109   5982 |        0 |        0
472.22/472.37	c  472s |      23 |  3768314 |  2768638 |     1109   6000 |        0 |        0
474.21/474.37	c  474s |      23 |  3787684 |  2780338 |     1109   6020 |        0 |        0
476.22/476.38	c  476s |      23 |  3803563 |  2791738 |     1109   6039 |        0 |        0
478.21/478.39	c  478s |      23 |  3817872 |  2802738 |     1109   6058 |        0 |        0
480.21/480.39	c  480s |      23 |  3831886 |  2813538 |     1109   6076 |        0 |        0
482.31/482.40	c  482s |      23 |  3846198 |  2824438 |     1109   6095 |        0 |        0
484.31/484.41	c  484s |      23 |  3860100 |  2835238 |     1109   6114 |        0 |        0
486.31/486.41	c  486s |      23 |  3875114 |  2845838 |     1109   6132 |        0 |        0
488.32/488.42	c  488s |      23 |  3888138 |  2856238 |     1109   6149 |        0 |        0
490.31/490.43	c  490s |      23 |  3901095 |  2866938 |     1109   6167 |        0 |        0
492.31/492.45	c  492s |      23 |  3914878 |  2877738 |     1109   6186 |        0 |        0
494.31/494.46	c  494s |      23 |  3928146 |  2888038 |     1109   6203 |        0 |        0
496.31/496.47	c  496s |      23 |  3941959 |  2898238 |     1109   6220 |        0 |        0
498.33/498.48	c  498s |      23 |  3955322 |  2909138 |     1109   6239 |        0 |        0
500.32/500.49	c  500s |      23 |  3969710 |  2919838 |     1109   6257 |        0 |        0
502.42/502.51	c  502s |      23 |  3981098 |  2929638 |     1109   6274 |        0 |        0
504.42/504.52	c  504s |      23 |  3993741 |  2939838 |     1109   6291 |        0 |        0
506.42/506.54	c  506s |      23 |  4005669 |  2949738 |     1109   6307 |        0 |        0
508.41/508.55	c  508s |      23 |  4018136 |  2959438 |     1109   6324 |        0 |        0
510.42/510.56	c  510s |      23 |  4031821 |  2969738 |     1109   6341 |        0 |        0
512.41/512.58	c  512s |      23 |  4044557 |  2979738 |     1109   6358 |        0 |        0
514.41/514.59	c  514s |      23 |  4056172 |  2989538 |     1109   6375 |        0 |        0
516.51/516.60	c  516s |      23 |  4069890 |  3000038 |     1109   6392 |        0 |        0
518.51/518.60	c  518s |      23 |  4082365 |  3010038 |     1109   6409 |        0 |        0
520.51/520.60	c  520s |      23 |  4095024 |  3019738 |     1109   6425 |        0 |        0
522.42/522.60	c  522s |      23 |  4105989 |  3028538 |     1109   6440 |        0 |        0
524.51/524.62	c  524s |      23 |  4117418 |  3037638 |     1109   6456 |        0 |        0
526.51/526.64	c  526s |      23 |  4129940 |  3047738 |     1109   6473 |        0 |        0
528.51/528.65	c  528s |      23 |  4142925 |  3058338 |     1109   6491 |        0 |        0
530.51/530.65	c  530s |      23 |  4156843 |  3069038 |     1109   6509 |        0 |        0
532.51/532.67	c  532s |      23 |  4170159 |  3079038 |     1109   6526 |        0 |        0
534.51/534.68	c  534s |      23 |  4182294 |  3088638 |     1109   6542 |        0 |        0
536.61/536.70	c  536s |      23 |  4194860 |  3098538 |     1109   6559 |        0 |        0
538.61/538.71	c  538s |      23 |  4207575 |  3109538 |     1109   6578 |        0 |        0
540.61/540.72	c  540s |      23 |  4219698 |  3119938 |     1109   6595 |        0 |        0
542.61/542.73	c  542s |      23 |  4233360 |  3130738 |     1109   6614 |        0 |        0
544.61/544.74	c  544s |      23 |  4247753 |  3141738 |     1109   6633 |        0 |        0
546.62/546.75	c  546s |      23 |  4263089 |  3153238 |     1109   6652 |        0 |        0
548.61/548.76	c  548s |      23 |  4276956 |  3164338 |     1109   6671 |        0 |        0
550.61/550.77	c  550s |      23 |  4288563 |  3174338 |     1109   6688 |        0 |        0
552.61/552.78	c  552s |      23 |  4301535 |  3184938 |     1109   6706 |        0 |        0
554.61/554.78	c  554s |      23 |  4316002 |  3195738 |     1109   6724 |        0 |        0
556.61/556.79	c  556s |      23 |  4328821 |  3206038 |     1109   6742 |        0 |        0
558.61/558.80	c  558s |      23 |  4342919 |  3216738 |     1109   6760 |        0 |        0
560.70/560.82	c  560s |      23 |  4356541 |  3227338 |     1109   6778 |        0 |        0
562.70/562.82	c  562s |      23 |  4370308 |  3237838 |     1109   6796 |        0 |        0
564.70/564.83	c  564s |      23 |  4382839 |  3248038 |     1109   6813 |        0 |        0
566.70/566.85	c  566s |      23 |  4396265 |  3258838 |     1109   6832 |        0 |        0
568.71/568.85	c  568s |      23 |  4410186 |  3269538 |     1109   6850 |        0 |        0
570.70/570.87	c  570s |      23 |  4424466 |  3280338 |     1109   6868 |        0 |        0
572.70/572.87	c  572s |      23 |  4438318 |  3291038 |     1109   6887 |        0 |        0
574.70/574.88	c  574s |      23 |  4450798 |  3300938 |     1109   6903 |        0 |        0
576.80/576.90	c  576s |      23 |  4463578 |  3310738 |     1109   6919 |        0 |        0
578.80/578.91	c  578s |      23 |  4478342 |  3321038 |     1109   6937 |        0 |        0
580.81/580.93	c  580s |      23 |  4492262 |  3331338 |     1109   6954 |        0 |        0
582.80/582.94	c  582s |      23 |  4505983 |  3341638 |     1109   6972 |        0 |        0
584.80/584.94	c  584s |      23 |  4518343 |  3351538 |     1109   6988 |        0 |        0
586.80/586.95	c  586s |      23 |  4532006 |  3362038 |     1220   7005 |        0 |        0
588.80/588.96	c  588s |      23 |  4543890 |  3371338 |     1220   7019 |        0 |        0
589.90/590.04	c  590s |      24 |  4550768 |  3376662 |     1220   7027 |        0 |        0
591.90/592.05	c  592s |      24 |  4565063 |  3387162 |     1220   7044 |        0 |        0
593.90/594.06	c  594s |      24 |  4577919 |  3397362 |     1220   7060 |        0 |        0
595.90/596.07	c  596s |      24 |  4592467 |  3407462 |     1220   7075 |        0 |        0
597.90/598.08	c  598s |      24 |  4607697 |  3418062 |     1220   7092 |        0 |        0
599.90/600.09	c  600s |      24 |  4623646 |  3428662 |     1220   7108 |        0 |        0
602.00/602.11	c  602s |      24 |  4639492 |  3439362 |     1220   7124 |        0 |        0
604.00/604.12	c  604s |      24 |  4659403 |  3450462 |     1220   7142 |        0 |        0
606.00/606.13	c  606s |      24 |  4677443 |  3461462 |     1220   7159 |        0 |        0
608.00/608.13	c  608s |      24 |  4689454 |  3470862 |     1220   7173 |        0 |        0
610.00/610.14	c  610s |      24 |  4702445 |  3480862 |     1220   7189 |        0 |        0
612.00/612.14	c  612s |      24 |  4716750 |  3491462 |     1220   7206 |        0 |        0
613.99/614.15	c  614s |      24 |  4732616 |  3502762 |     1220   7223 |        0 |        0
616.00/616.16	c  616s |      24 |  4749144 |  3514262 |     1220   7241 |        0 |        0
617.99/618.17	c  618s |      24 |  4764186 |  3525762 |     1220   7259 |        0 |        0
619.99/620.17	c  620s |      24 |  4778969 |  3536962 |     1220   7277 |        0 |        0
621.99/622.19	c  622s |      24 |  4791719 |  3547262 |     1220   7293 |        0 |        0
623.99/624.19	c  624s |      24 |  4807516 |  3558162 |     1220   7310 |        0 |        0
626.09/626.20	c  626s |      24 |  4820351 |  3567662 |     1220   7325 |        0 |        0
628.10/628.21	c  628s |      24 |  4834024 |  3577462 |     1220   7340 |        0 |        0
630.09/630.22	c  630s |      24 |  4848693 |  3587562 |     1220   7355 |        0 |        0
632.09/632.24	c  632s |      24 |  4861821 |  3597162 |     1220   7370 |        0 |        0
634.09/634.25	c  634s |      24 |  4874219 |  3606962 |     1220   7385 |        0 |        0
636.09/636.26	c  636s |      24 |  4887282 |  3616762 |     1220   7400 |        0 |        0
638.09/638.28	c  638s |      24 |  4901209 |  3626562 |     1220   7416 |        0 |        0
640.10/640.30	c  640s |      24 |  4915031 |  3636062 |     1220   7430 |        0 |        0
642.19/642.30	c  642s |      24 |  4927382 |  3645762 |     1220   7445 |        0 |        0
644.19/644.32	c  644s |      24 |  4941090 |  3655762 |     1220   7461 |        0 |        0
646.19/646.33	c  646s |      24 |  4956485 |  3665962 |     1220   7477 |        0 |        0
648.19/648.34	c  648s |      24 |  4973655 |  3677062 |     1220   7494 |        0 |        0
650.19/650.36	c  650s |      24 |  4991835 |  3688162 |     1220   7512 |        0 |        0
652.19/652.37	c  652s |      24 |  5005373 |  3698162 |     1220   7527 |        0 |        0
654.19/654.37	c  654s |      24 |  5021009 |  3709062 |     1220   7544 |        0 |        0
656.19/656.38	c  656s |      24 |  5035282 |  3719662 |     1220   7560 |        0 |        0
658.29/658.40	c  658s |      24 |  5049350 |  3729962 |     1220   7577 |        0 |        0
660.29/660.42	c  660s |      24 |  5063763 |  3740162 |     1220   7593 |        0 |        0
662.29/662.43	c  662s |      24 |  5078093 |  3750262 |     1220   7609 |        0 |        0
664.29/664.43	c  664s |      24 |  5092046 |  3760062 |     1220   7624 |        0 |        0
666.29/666.45	c  666s |      24 |  5107335 |  3770162 |     1220   7640 |        0 |        0
668.29/668.46	c  668s |      24 |  5122818 |  3780262 |     1220   7655 |        0 |        0
670.29/670.46	c  670s |      24 |  5136274 |  3790062 |     1220   7671 |        0 |        0
672.29/672.48	c  672s |      24 |  5151556 |  3800162 |     1220   7687 |        0 |        0
674.30/674.48	c  674s |      24 |  5164239 |  3809962 |     1220   7702 |        0 |        0
676.29/676.49	c  676s |      24 |  5178091 |  3819862 |     1220   7718 |        0 |        0
678.39/678.50	c  678s |      24 |  5191369 |  3829262 |     1220   7732 |        0 |        0
680.39/680.51	c  680s |      24 |  5206517 |  3838762 |     1220   7747 |        0 |        0
682.39/682.52	c  682s |      24 |  5220902 |  3848462 |     1220   7762 |        0 |        0
684.39/684.53	c  684s |      24 |  5234744 |  3858262 |     1220   7777 |        0 |        0
686.40/686.53	c  686s |      24 |  5249789 |  3868462 |     1220   7793 |        0 |        0
688.39/688.55	c  688s |      24 |  5263460 |  3878162 |     1220   7808 |        0 |        0
690.39/690.56	c  690s |      24 |  5273979 |  3886662 |     1220   7821 |        0 |        0
692.39/692.57	c  692s |      24 |  5284088 |  3895062 |     1220   7834 |        0 |        0
694.39/694.59	c  694s |      24 |  5297830 |  3905762 |     1220   7851 |        0 |        0
696.39/696.59	c  696s |      24 |  5311392 |  3916362 |     1220   7867 |        0 |        0
698.49/698.62	c  698s |      24 |  5325136 |  3927062 |     1220   7884 |        0 |        0
700.49/700.64	c  700s |      24 |  5336848 |  3936562 |     1220   7898 |        0 |        0
702.49/702.65	c  702s |      24 |  5349679 |  3947062 |     1220   7915 |        0 |        0
704.48/704.65	c  704s |      24 |  5361025 |  3956862 |     1220   7930 |        0 |        0
706.48/706.67	c  706s |      24 |  5373385 |  3966962 |     1220   7946 |        0 |        0
708.48/708.68	c  708s |      24 |  5385598 |  3976962 |     1220   7961 |        0 |        0
710.49/710.70	c  710s |      24 |  5397522 |  3987062 |     1220   7977 |        0 |        0
712.58/712.71	c  712s |      24 |  5410830 |  3997962 |     1220   7994 |        0 |        0
714.58/714.72	c  714s |      24 |  5423261 |  4008162 |     1220   8009 |        0 |        0
716.58/716.74	c  716s |      24 |  5434763 |  4017662 |     1220   8024 |        0 |        0
718.58/718.75	c  718s |      24 |  5446781 |  4027262 |     1220   8038 |        0 |        0
720.58/720.76	c  720s |      24 |  5458865 |  4036962 |     1220   8053 |        0 |        0
722.59/722.77	c  722s |      24 |  5470125 |  4046362 |     1220   8067 |        0 |        0
724.58/724.77	c  724s |      24 |  5483015 |  4057062 |     1220   8084 |        0 |        0
726.58/726.78	c  726s |      24 |  5495382 |  4067462 |     1220   8101 |        0 |        0
728.58/728.80	c  728s |      24 |  5508339 |  4078062 |     1220   8117 |        0 |        0
730.68/730.81	c  730s |      24 |  5520625 |  4088662 |     1220   8133 |        0 |        0
732.68/732.81	c  732s |      24 |  5533903 |  4099562 |     1220   8149 |        0 |        0
734.69/734.81	c  734s |      24 |  5548694 |  4110862 |     1220   8167 |        0 |        0
736.68/736.82	c  736s |      24 |  5562319 |  4121562 |     1220   8183 |        0 |        0
738.68/738.84	c  738s |      24 |  5575364 |  4132162 |     1220   8200 |        0 |        0
740.68/740.84	c  740s |      24 |  5586725 |  4141862 |     1220   8215 |        0 |        0
742.68/742.86	c  742s |      24 |  5599138 |  4152062 |     1220   8231 |        0 |        0
744.68/744.86	c  744s |      24 |  5614325 |  4163062 |     1220   8248 |        0 |        0
746.67/746.86	c  746s |      24 |  5626977 |  4173462 |     1220   8264 |        0 |        0
748.67/748.87	c  748s |      24 |  5639491 |  4183462 |     1220   8280 |        0 |        0
750.67/750.88	c  750s |      24 |  5652300 |  4193362 |     1220   8295 |        0 |        0
752.67/752.88	c  752s |      24 |  5666419 |  4204162 |     1220   8312 |        0 |        0
754.77/754.90	c  754s |      24 |  5679092 |  4214162 |     1220   8328 |        0 |        0
756.78/756.91	c  756s |      24 |  5691841 |  4223962 |     1220   8343 |        0 |        0
758.77/758.92	c  758s |      24 |  5703959 |  4233762 |     1220   8358 |        0 |        0
760.77/760.92	c  760s |      24 |  5717139 |  4244162 |     1220   8375 |        0 |        0
762.77/762.93	c  762s |      24 |  5730943 |  4255462 |     1220   8392 |        0 |        0
764.77/764.93	c  764s |      24 |  5744944 |  4266562 |     1220   8410 |        0 |        0
766.77/766.95	c  766s |      24 |  5756566 |  4276462 |     1220   8425 |        0 |        0
768.78/768.97	c  768s |      24 |  5766778 |  4285262 |     1220   8438 |        0 |        0
770.77/770.97	c  770s |      24 |  5776538 |  4293762 |     1220   8451 |        0 |        0
772.77/772.99	c  772s |      24 |  5788208 |  4303062 |     1220   8465 |        0 |        0
774.87/775.00	c  774s |      24 |  5798888 |  4311962 |     1220   8479 |        0 |        0
776.87/777.01	c  776s |      24 |  5810515 |  4321962 |     1220   8494 |        0 |        0
778.87/779.03	c  779s |      24 |  5822569 |  4331962 |     1220   8509 |        0 |        0
780.87/781.04	c  781s |      24 |  5834455 |  4341762 |     1220   8525 |        0 |        0
782.87/783.06	c  783s |      24 |  5846874 |  4351662 |     1220   8540 |        0 |        0
784.88/785.07	c  785s |      24 |  5859281 |  4361462 |     1220   8554 |        0 |        0
786.88/787.08	c  787s |      24 |  5873205 |  4371962 |     1220   8570 |        0 |        0
788.87/789.09	c  789s |      24 |  5886859 |  4382662 |     1220   8587 |        0 |        0
790.88/791.09	c  791s |      24 |  5900450 |  4393062 |     1220   8602 |        0 |        0
792.87/793.09	c  793s |      24 |  5913299 |  4403862 |     1220   8619 |        0 |        0
794.97/795.11	c  795s |      24 |  5926276 |  4414262 |     1220   8636 |        0 |        0
796.97/797.11	c  797s |      24 |  5938756 |  4424462 |     1220   8651 |        0 |        0
798.97/799.12	c  799s |      24 |  5952520 |  4435462 |     1220   8669 |        0 |        0
800.97/801.13	c  801s |      24 |  5966382 |  4446662 |     1220   8686 |        0 |        0
802.98/803.13	c  803s |      24 |  5981365 |  4458262 |     1220   8704 |        0 |        0
804.97/805.15	c  805s |      24 |  5994934 |  4469262 |     1220   8721 |        0 |        0
806.97/807.15	c  807s |      24 |  6009715 |  4480562 |     1220   8739 |        0 |        0
808.97/809.16	c  809s |      24 |  6024829 |  4491862 |     1220   8756 |        0 |        0
810.97/811.17	c  811s |      24 |  6038914 |  4503162 |     1220   8774 |        0 |        0
812.97/813.19	c  813s |      24 |  6054683 |  4514462 |     1220   8792 |        0 |        0
815.08/815.20	c  815s |      24 |  6068770 |  4525362 |     1220   8809 |        0 |        0
817.07/817.21	c  817s |      24 |  6082634 |  4535962 |     1220   8825 |        0 |        0
819.07/819.22	c  819s |      24 |  6098024 |  4546862 |     1220   8842 |        0 |        0
821.07/821.23	c  821s |      24 |  6110441 |  4556362 |     1220   8857 |        0 |        0
823.07/823.23	c  823s |      24 |  6122530 |  4566062 |     1220   8872 |        0 |        0
825.07/825.25	c  825s |      24 |  6136413 |  4576262 |     1220   8888 |        0 |        0
827.07/827.26	c  827s |      24 |  6148790 |  4586062 |     1220   8903 |        0 |        0
829.07/829.27	c  829s |      24 |  6161988 |  4595962 |     1220   8918 |        0 |        0
831.06/831.28	c  831s |      24 |  6175914 |  4606862 |     1220   8935 |        0 |        0
833.06/833.28	c  833s |      24 |  6188582 |  4617262 |     1220   8952 |        0 |        0
835.06/835.28	c  835s |      24 |  6199035 |  4626362 |     1220   8965 |        0 |        0
837.07/837.29	c  837s |      24 |  6210109 |  4635462 |     1220   8979 |        0 |        0
839.17/839.30	c  839s |      24 |  6222435 |  4645262 |     1220   8994 |        0 |        0
841.16/841.32	c  841s |      24 |  6234752 |  4654862 |     1220   9009 |        0 |        0
843.16/843.33	c  843s |      24 |  6247520 |  4664862 |     1220   9024 |        0 |        0
845.16/845.34	c  845s |      24 |  6258630 |  4673762 |     1220   9038 |        0 |        0
847.16/847.34	c  847s |      24 |  6269233 |  4682362 |     1220   9051 |        0 |        0
849.17/849.35	c  849s |      24 |  6280344 |  4691262 |     1220   9064 |        0 |        0
851.16/851.37	c  851s |      24 |  6292222 |  4700562 |     1220   9078 |        0 |        0
853.16/853.38	c  853s |      24 |  6307600 |  4710762 |     1220   9094 |        0 |        0
855.16/855.39	c  855s |      24 |  6320738 |  4720862 |     1220   9109 |        0 |        0
857.26/857.40	c  857s |      24 |  6336685 |  4731562 |     1220   9126 |        0 |        0
859.25/859.40	c  859s |      24 |  6350827 |  4742062 |     1220   9142 |        0 |        0
861.26/861.41	c  861s |      24 |  6365568 |  4752762 |     1220   9159 |        0 |        0
863.25/863.42	c  863s |      24 |  6383197 |  4764662 |     1220   9177 |        0 |        0
865.25/865.43	c  865s |      24 |  6400419 |  4776562 |     1220   9196 |        0 |        0
867.25/867.44	c  867s |      24 |  6416735 |  4788162 |     1220   9214 |        0 |        0
869.25/869.46	c  869s |      24 |  6432394 |  4798862 |     1220   9231 |        0 |        0
871.25/871.47	c  871s |      24 |  6447990 |  4809862 |     1220   9248 |        0 |        0
873.26/873.49	c  873s |      24 |  6462663 |  4820462 |     1220   9265 |        0 |        0
875.35/875.51	c  875s |      24 |  6476549 |  4830962 |     1220   9281 |        0 |        0
877.35/877.52	c  877s |      24 |  6489672 |  4841262 |     1220   9298 |        0 |        0
879.35/879.54	c  879s |      24 |  6502179 |  4851062 |     1220   9313 |        0 |        0
881.35/881.55	c  881s |      24 |  6514519 |  4860462 |     1220   9327 |        0 |        0
883.35/883.57	c  883s |      24 |  6525558 |  4869962 |     1220   9342 |        0 |        0
885.35/885.58	c  885s |      24 |  6538640 |  4880462 |     1220   9359 |        0 |        0
887.35/887.58	c  887s |      24 |  6550469 |  4890162 |     1220   9374 |        0 |        0
889.44/889.60	c  889s |      24 |  6562964 |  4900062 |     1220   9389 |        0 |        0
891.44/891.60	c  891s |      24 |  6577733 |  4910362 |     1220   9405 |        0 |        0
893.44/893.61	c  893s |      24 |  6588411 |  4919462 |     1220   9419 |        0 |        0
895.44/895.63	c  895s |      24 |  6602105 |  4929862 |     1220   9435 |        0 |        0
897.45/897.64	c  897s |      24 |  6615876 |  4940562 |     1220   9452 |        0 |        0
899.44/899.65	c  899s |      24 |  6629656 |  4950762 |     1220   9468 |        0 |        0
901.44/901.65	c  901s |      24 |  6643350 |  4961462 |     1220   9485 |        0 |        0
903.44/903.66	c  903s |      24 |  6657837 |  4972062 |     1220   9501 |        0 |        0
905.44/905.66	c  905s |      24 |  6672574 |  4982762 |     1220   9518 |        0 |        0
907.44/907.68	c  907s |      24 |  6685675 |  4992862 |     1220   9534 |        0 |        0
909.43/909.69	c  909s |      24 |  6700006 |  5003562 |     1220   9550 |        0 |        0
911.53/911.70	c  911s |      24 |  6715394 |  5014562 |     1220   9568 |        0 |        0
913.53/913.71	c  913s |      24 |  6729588 |  5025062 |     1220   9584 |        0 |        0
915.53/915.73	c  915s |      24 |  6742774 |  5035062 |     1342   9599 |        0 |        0
917.53/917.73	c  917s |      24 |  6755227 |  5044862 |     1342   9612 |        0 |        0
919.53/919.73	c  919s |      24 |  6766478 |  5054362 |     1342   9626 |        0 |        0
921.53/921.75	c  921s |      24 |  6778149 |  5064062 |     1342   9639 |        0 |        0
921.73/921.96	c  921s |      25 |  6779385 |  5065098 |     1342   9640 |        0 |        0
923.72/923.97	c  923s |      25 |  6798823 |  5076598 |     1342   9657 |        0 |        0
925.72/925.97	c  925s |      25 |  6812724 |  5086798 |     1342   9671 |        0 |        0
927.72/927.97	c  927s |      25 |  6827514 |  5097798 |     1342   9687 |        0 |        0
929.73/929.99	c  929s |      25 |  6841603 |  5107998 |     1342   9701 |        0 |        0
931.83/932.01	c  931s |      25 |  6854432 |  5117498 |     1342   9715 |        0 |        0
933.83/934.01	c  934s |      25 |  6869072 |  5127598 |     1342   9729 |        0 |        0
935.83/936.03	c  936s |      25 |  6885402 |  5137998 |     1342   9744 |        0 |        0
937.83/938.03	c  938s |      25 |  6901045 |  5148498 |     1342   9759 |        0 |        0
939.82/940.04	c  940s |      25 |  6915888 |  5158498 |     1342   9774 |        0 |        0
941.82/942.04	c  942s |      25 |  6930882 |  5168898 |     1342   9788 |        0 |        0
943.82/944.05	c  944s |      25 |  6942389 |  5178498 |     1342   9802 |        0 |        0
945.83/946.08	c  946s |      25 |  6953881 |  5188098 |     1342   9816 |        0 |        0
947.82/948.09	c  948s |      25 |  6965734 |  5197598 |     1342   9829 |        0 |        0
949.92/950.11	c  950s |      25 |  6976746 |  5206898 |     1342   9842 |        0 |        0
951.92/952.12	c  952s |      25 |  6989468 |  5216598 |     1342   9856 |        0 |        0
953.91/954.13	c  954s |      25 |  7002807 |  5226598 |     1342   9870 |        0 |        0
955.91/956.14	c  956s |      25 |  7017584 |  5237098 |     1342   9885 |        0 |        0
957.92/958.16	c  958s |      25 |  7030472 |  5246998 |     1342   9900 |        0 |        0
959.91/960.17	c  960s |      25 |  7042844 |  5256698 |     1342   9913 |        0 |        0
961.91/962.18	c  962s |      25 |  7057590 |  5267098 |     1342   9928 |        0 |        0
964.01/964.20	c  964s |      25 |  7070836 |  5277198 |     1342   9943 |        0 |        0
966.01/966.21	c  966s |      25 |  7083828 |  5287198 |     1342   9957 |        0 |        0
968.00/968.22	c  968s |      25 |  7096626 |  5296998 |     1342   9971 |        0 |        0
970.01/970.22	c  970s |      25 |  7109063 |  5306798 |     1342   9985 |        0 |        0
972.00/972.24	c  972s |      25 |  7121224 |  5316698 |     1342   9999 |        0 |        0
974.00/974.25	c  974s |      25 |  7136146 |  5327398 |     1342  10014 |        0 |        0
976.01/976.26	c  976s |      25 |  7151206 |  5337998 |     1342  10030 |        0 |        0
978.01/978.26	c  978s |      25 |  7163989 |  5347898 |     1342  10044 |        0 |        0
980.01/980.28	c  980s |      25 |  7175541 |  5357398 |     1342  10057 |        0 |        0
982.00/982.30	c  982s |      25 |  7188462 |  5367498 |     1342  10072 |        0 |        0
984.10/984.31	c  984s |      25 |  7200452 |  5377098 |     1342  10085 |        0 |        0
986.10/986.32	c  986s |      25 |  7212348 |  5386498 |     1342  10099 |        0 |        0
988.10/988.32	c  988s |      25 |  7225050 |  5396198 |     1342  10113 |        0 |        0
990.09/990.33	c  990s |      25 |  7236786 |  5405598 |     1342  10126 |        0 |        0
992.10/992.34	c  992s |      25 |  7249425 |  5415498 |     1342  10140 |        0 |        0
994.09/994.36	c  994s |      25 |  7261886 |  5425398 |     1342  10155 |        0 |        0
996.09/996.36	c  996s |      25 |  7273166 |  5434398 |     1342  10167 |        0 |        0
998.09/998.38	c  998s |      25 |  7284161 |  5443698 |     1342  10180 |        0 |        0
1000.09/1000.39	c 1000s |      25 |  7297187 |  5453698 |     1342  10195 |        0 |        0
1002.19/1002.41	c 1002s |      25 |  7310055 |  5463698 |     1342  10209 |        0 |        0
1004.19/1004.43	c 1004s |      25 |  7322640 |  5473498 |     1342  10223 |        0 |        0
1006.18/1006.45	c 1006s |      25 |  7336707 |  5483498 |     1342  10237 |        0 |        0
1008.18/1008.46	c 1008s |      25 |  7350713 |  5493798 |     1342  10252 |        0 |        0
1010.18/1010.47	c 1010s |      25 |  7363402 |  5503498 |     1342  10266 |        0 |        0
1012.18/1012.48	c 1012s |      25 |  7378276 |  5514298 |     1342  10281 |        0 |        0
1014.18/1014.49	c 1014s |      25 |  7391573 |  5524298 |     1342  10296 |        0 |        0
1016.19/1016.49	c 1016s |      25 |  7404610 |  5534098 |     1342  10310 |        0 |        0
1018.28/1018.51	c 1018s |      25 |  7416820 |  5543598 |     1342  10324 |        0 |        0
1020.27/1020.52	c 1020s |      25 |  7429377 |  5553598 |     1342  10338 |        0 |        0
1022.27/1022.52	c 1022s |      25 |  7441954 |  5563598 |     1342  10352 |        0 |        0
1024.27/1024.54	c 1024s |      25 |  7454088 |  5573198 |     1342  10366 |        0 |        0
1026.27/1026.56	c 1026s |      25 |  7466262 |  5582998 |     1342  10380 |        0 |        0
1028.28/1028.57	c 1028s |      25 |  7478934 |  5592998 |     1342  10394 |        0 |        0
1030.27/1030.57	c 1030s |      25 |  7490196 |  5602498 |     1342  10407 |        0 |        0
1032.27/1032.59	c 1032s |      25 |  7503732 |  5612898 |     1342  10422 |        0 |        0
1034.27/1034.59	c 1034s |      25 |  7517160 |  5623398 |     1342  10437 |        0 |        0
1036.37/1036.60	c 1036s |      25 |  7530159 |  5633698 |     1342  10451 |        0 |        0
1038.37/1038.61	c 1038s |      25 |  7542507 |  5643598 |     1342  10465 |        0 |        0
1040.37/1040.63	c 1040s |      25 |  7555738 |  5653698 |     1342  10480 |        0 |        0
1042.36/1042.65	c 1042s |      25 |  7568843 |  5663998 |     1342  10495 |        0 |        0
1044.37/1044.66	c 1044s |      25 |  7584801 |  5675098 |     1342  10510 |        0 |        0
1046.37/1046.67	c 1046s |      25 |  7597749 |  5684898 |     1342  10524 |        0 |        0
1048.37/1048.69	c 1048s |      25 |  7611377 |  5694998 |     1342  10539 |        0 |        0
1050.46/1050.70	c 1050s |      25 |  7624076 |  5704998 |     1342  10553 |        0 |        0
1052.47/1052.71	c 1052s |      25 |  7637578 |  5715098 |     1342  10567 |        0 |        0
1054.46/1054.72	c 1054s |      25 |  7649806 |  5724998 |     1342  10581 |        0 |        0
1056.46/1056.73	c 1056s |      25 |  7664113 |  5735498 |     1342  10596 |        0 |        0
1058.46/1058.74	c 1058s |      25 |  7680578 |  5746198 |     1342  10611 |        0 |        0
1060.46/1060.75	c 1060s |      25 |  7697626 |  5757498 |     1342  10628 |        0 |        0
1062.47/1062.76	c 1062s |      25 |  7710213 |  5767798 |     1342  10642 |        0 |        0
1064.46/1064.76	c 1064s |      25 |  7721911 |  5777398 |     1342  10656 |        0 |        0
1066.46/1066.76	c 1066s |      25 |  7734888 |  5787298 |     1342  10670 |        0 |        0
1068.46/1068.77	c 1068s |      25 |  7747736 |  5797098 |     1342  10684 |        0 |        0
1070.45/1070.78	c 1070s |      25 |  7759717 |  5806998 |     1342  10698 |        0 |        0
1072.45/1072.78	c 1072s |      25 |  7770928 |  5816298 |     1342  10711 |        0 |        0
1074.46/1074.79	c 1074s |      25 |  7782450 |  5825998 |     1342  10724 |        0 |        0
1076.45/1076.80	c 1076s |      25 |  7794558 |  5835798 |     1342  10738 |        0 |        0
1078.55/1078.80	c 1078s |      25 |  7805948 |  5844898 |     1342  10751 |        0 |        0
1080.54/1080.81	c 1080s |      25 |  7816762 |  5854298 |     1342  10765 |        0 |        0
1082.54/1082.81	c 1082s |      25 |  7827680 |  5863598 |     1342  10778 |        0 |        0
1084.54/1084.83	c 1084s |      25 |  7839892 |  5873198 |     1342  10792 |        0 |        0
1086.55/1086.84	c 1086s |      25 |  7852209 |  5882898 |     1342  10805 |        0 |        0
1088.54/1088.85	c 1088s |      25 |  7863771 |  5892198 |     1342  10819 |        0 |        0
1090.54/1090.86	c 1090s |      25 |  7875689 |  5901798 |     1342  10832 |        0 |        0
1092.54/1092.86	c 1092s |      25 |  7887149 |  5911098 |     1342  10846 |        0 |        0
1094.54/1094.88	c 1094s |      25 |  7899857 |  5920898 |     1342  10860 |        0 |        0
1096.64/1096.90	c 1096s |      25 |  7911587 |  5930598 |     1342  10873 |        0 |        0
1098.65/1098.91	c 1098s |      25 |  7923110 |  5940098 |     1342  10887 |        0 |        0
1100.63/1100.92	c 1100s |      25 |  7935628 |  5950198 |     1342  10901 |        0 |        0
1102.63/1102.93	c 1102s |      25 |  7948496 |  5960298 |     1342  10916 |        0 |        0
1104.63/1104.95	c 1104s |      25 |  7961821 |  5970498 |     1342  10930 |        0 |        0
1106.63/1106.96	c 1106s |      25 |  7974122 |  5980298 |     1342  10944 |        0 |        0
1108.64/1108.96	c 1108s |      25 |  7988257 |  5990798 |     1342  10959 |        0 |        0
1110.63/1110.98	c 1110s |      25 |  8001220 |  6000698 |     1342  10973 |        0 |        0
1112.63/1112.98	c 1112s |      25 |  8012377 |  6010198 |     1342  10987 |        0 |        0
1114.73/1115.00	c 1114s |      25 |  8023239 |  6019198 |     1342  11000 |        0 |        0
1116.73/1117.02	c 1117s |      25 |  8034930 |  6028598 |     1342  11013 |        0 |        0
1118.73/1119.04	c 1119s |      25 |  8045827 |  6037898 |     1342  11026 |        0 |        0
1120.73/1121.05	c 1121s |      25 |  8058006 |  6047498 |     1342  11040 |        0 |        0
1122.72/1123.07	c 1123s |      25 |  8069950 |  6057198 |     1342  11054 |        0 |        0
1124.72/1125.09	c 1125s |      25 |  8081228 |  6066698 |     1342  11068 |        0 |        0
1126.82/1127.10	c 1127s |      25 |  8092036 |  6076098 |     1342  11081 |        0 |        0
1128.82/1129.10	c 1129s |      25 |  8105449 |  6086598 |     1342  11096 |        0 |        0
1130.81/1131.11	c 1131s |      25 |  8120043 |  6097398 |     1342  11111 |        0 |        0
1132.82/1133.13	c 1133s |      25 |  8132122 |  6106998 |     1342  11125 |        0 |        0
1134.81/1135.13	c 1135s |      25 |  8146475 |  6117398 |     1342  11140 |        0 |        0
1136.81/1137.14	c 1137s |      25 |  8160939 |  6127898 |     1342  11155 |        0 |        0
1138.81/1139.14	c 1139s |      25 |  8175676 |  6138298 |     1342  11170 |        0 |        0
1140.81/1141.15	c 1141s |      25 |  8189274 |  6148398 |     1342  11185 |        0 |        0
1142.81/1143.15	c 1143s |      25 |  8203921 |  6158698 |     1342  11199 |        0 |        0
1144.81/1145.17	c 1145s |      25 |  8216379 |  6168398 |     1342  11213 |        0 |        0
1146.81/1147.18	c 1147s |      25 |  8228714 |  6178198 |     1342  11228 |        0 |        0
1148.81/1149.18	c 1149s |      25 |  8241411 |  6188298 |     1342  11242 |        0 |        0
1150.81/1151.20	c 1151s |      25 |  8254383 |  6197998 |     1342  11256 |        0 |        0
1152.91/1153.20	c 1153s |      25 |  8265912 |  6207398 |     1342  11270 |        0 |        0
1154.90/1155.21	c 1155s |      25 |  8278444 |  6217098 |     1342  11284 |        0 |        0
1156.91/1157.22	c 1157s |      25 |  8292093 |  6227298 |     1342  11298 |        0 |        0
1158.90/1159.23	c 1159s |      25 |  8306299 |  6237398 |     1342  11313 |        0 |        0
1160.90/1161.25	c 1161s |      25 |  8320311 |  6248598 |     1342  11329 |        0 |        0
1162.90/1163.26	c 1163s |      25 |  8333647 |  6259298 |     1342  11344 |        0 |        0
1164.90/1165.26	c 1165s |      25 |  8347441 |  6270198 |     1342  11359 |        0 |        0
1166.90/1167.27	c 1167s |      25 |  8359383 |  6280098 |     1342  11374 |        0 |        0
1168.90/1169.27	c 1169s |      25 |  8372174 |  6290298 |     1342  11388 |        0 |        0
1170.89/1171.28	c 1171s |      25 |  8384187 |  6300198 |     1342  11402 |        0 |        0
1172.89/1173.29	c 1173s |      25 |  8399710 |  6311498 |     1342  11418 |        0 |        0
1174.99/1175.31	c 1175s |      25 |  8413591 |  6322098 |     1342  11434 |        0 |        0
1176.99/1177.32	c 1177s |      25 |  8427945 |  6332798 |     1342  11449 |        0 |        0
1179.00/1179.33	c 1179s |      25 |  8444594 |  6344298 |     1342  11465 |        0 |        0
1180.99/1181.33	c 1181s |      25 |  8460458 |  6355198 |     1342  11481 |        0 |        0
1182.99/1183.34	c 1183s |      25 |  8473397 |  6365098 |     1342  11495 |        0 |        0
1184.99/1185.36	c 1185s |      25 |  8487134 |  6375298 |     1342  11510 |        0 |        0
1186.99/1187.37	c 1187s |      25 |  8499081 |  6384798 |     1342  11523 |        0 |        0
1188.99/1189.37	c 1189s |      25 |  8512497 |  6394598 |     1342  11537 |        0 |        0
1190.99/1191.40	c 1191s |      25 |  8523889 |  6404098 |     1342  11551 |        0 |        0
1193.08/1193.41	c 1193s |      25 |  8535899 |  6413698 |     1342  11564 |        0 |        0
1195.08/1195.43	c 1195s |      25 |  8547321 |  6423298 |     1342  11578 |        0 |        0
1197.08/1197.43	c 1197s |      25 |  8559736 |  6433098 |     1342  11592 |        0 |        0
1199.08/1199.43	c 1199s |      25 |  8572057 |  6442998 |     1342  11606 |        0 |        0
1201.07/1201.44	c 1201s |      25 |  8582612 |  6451998 |     1342  11619 |        0 |        0
1203.09/1203.45	c 1203s |      25 |  8593793 |  6461198 |     1342  11632 |        0 |        0
1205.08/1205.46	c 1205s |      25 |  8605093 |  6470698 |     1342  11645 |        0 |        0
1207.08/1207.46	c 1207s |      25 |  8615936 |  6479798 |     1342  11658 |        0 |        0
1209.08/1209.47	c 1209s |      25 |  8626533 |  6488498 |     1342  11670 |        0 |        0
1211.07/1211.49	c 1211s |      25 |  8637847 |  6497498 |     1342  11683 |        0 |        0
1213.17/1213.51	c 1213s |      25 |  8649620 |  6506898 |     1342  11697 |        0 |        0
1215.18/1215.52	c 1215s |      25 |  8663451 |  6516298 |     1342  11710 |        0 |        0
1217.17/1217.53	c 1217s |      25 |  8676365 |  6525998 |     1342  11724 |        0 |        0
1219.17/1219.55	c 1219s |      25 |  8691341 |  6536198 |     1342  11738 |        0 |        0
1221.17/1221.56	c 1221s |      25 |  8706620 |  6546398 |     1342  11753 |        0 |        0
1223.17/1223.57	c 1223s |      25 |  8720713 |  6556498 |     1342  11767 |        0 |        0
1225.18/1225.58	c 1225s |      25 |  8737147 |  6567498 |     1342  11783 |        0 |        0
1227.17/1227.58	c 1227s |      25 |  8751446 |  6577698 |     1342  11797 |        0 |        0
1229.27/1229.60	c 1229s |      25 |  8763934 |  6587698 |     1342  11811 |        0 |        0
1231.26/1231.61	c 1231s |      25 |  8775491 |  6597198 |     1342  11825 |        0 |        0
1233.26/1233.62	c 1233s |      25 |  8786472 |  6606398 |     1342  11838 |        0 |        0
1235.26/1235.63	c 1235s |      25 |  8796758 |  6615498 |     1342  11851 |        0 |        0
1237.27/1237.64	c 1237s |      25 |  8808146 |  6624998 |     1342  11865 |        0 |        0
1239.26/1239.64	c 1239s |      25 |  8819140 |  6634298 |     1342  11878 |        0 |        0
1241.26/1241.64	c 1241s |      25 |  8829591 |  6643298 |     1342  11891 |        0 |        0
1243.26/1243.65	c 1243s |      25 |  8841428 |  6652598 |     1342  11904 |        0 |        0
1245.26/1245.65	c 1245s |      25 |  8852433 |  6661798 |     1342  11917 |        0 |        0
1247.26/1247.65	c 1247s |      25 |  8863841 |  6670998 |     1342  11930 |        0 |        0
1249.26/1249.67	c 1249s |      25 |  8874272 |  6680098 |     1342  11943 |        0 |        0
1251.25/1251.68	c 1251s |      25 |  8885239 |  6689398 |     1342  11957 |        0 |        0
1253.25/1253.69	c 1253s |      25 |  8896701 |  6698798 |     1342  11970 |        0 |        0
1255.25/1255.69	c 1255s |      25 |  8908774 |  6708398 |     1342  11984 |        0 |        0
1257.35/1257.72	c 1257s |      25 |  8920470 |  6717798 |     1342  11997 |        0 |        0
1259.34/1259.74	c 1259s |      25 |  8933256 |  6727498 |     1342  12011 |        0 |        0
1261.35/1261.76	c 1261s |      25 |  8945536 |  6736998 |     1342  12025 |        0 |        0
1263.34/1263.77	c 1263s |      25 |  8957480 |  6746498 |     1342  12039 |        0 |        0
1265.34/1265.79	c 1265s |      25 |  8969435 |  6755898 |     1342  12052 |        0 |        0
1267.44/1267.80	c 1267s |      25 |  8981156 |  6765198 |     1342  12066 |        0 |        0
1269.45/1269.81	c 1269s |      25 |  8994532 |  6776198 |     1342  12081 |        0 |        0
1271.44/1271.82	c 1271s |      25 |  9007825 |  6787198 |     1342  12097 |        0 |        0
1273.45/1273.82	c 1273s |      25 |  9021184 |  6797998 |     1342  12112 |        0 |        0
1275.44/1275.83	c 1275s |      25 |  9035005 |  6809198 |     1342  12128 |        0 |        0
1277.44/1277.85	c 1277s |      25 |  9047235 |  6819598 |     1342  12143 |        0 |        0
1279.44/1279.85	c 1279s |      25 |  9059586 |  6829998 |     1342  12158 |        0 |        0
1281.44/1281.86	c 1281s |      25 |  9072289 |  6840598 |     1342  12173 |        0 |        0
1283.45/1283.87	c 1283s |      25 |  9085158 |  6851198 |     1342  12189 |        0 |        0
1285.44/1285.87	c 1285s |      25 |  9098481 |  6861998 |     1342  12204 |        0 |        0
1287.44/1287.88	c 1287s |      25 |  9113118 |  6873598 |     1342  12221 |        0 |        0
1289.43/1289.89	c 1289s |      25 |  9126117 |  6884398 |     1342  12236 |        0 |        0
1291.53/1291.91	c 1291s |      25 |  9140782 |  6895798 |     1342  12252 |        0 |        0
1293.53/1293.92	c 1293s |      25 |  9154301 |  6906598 |     1342  12268 |        0 |        0
1295.54/1295.93	c 1295s |      25 |  9167563 |  6917598 |     1342  12283 |        0 |        0
1297.53/1297.94	c 1297s |      25 |  9181880 |  6928798 |     1342  12299 |        0 |        0
1299.53/1299.95	c 1299s |      25 |  9195874 |  6939798 |     1342  12315 |        0 |        0
1301.53/1301.97	c 1301s |      25 |  9209227 |  6950598 |     1342  12331 |        0 |        0
1303.52/1303.97	c 1303s |      25 |  9223229 |  6961698 |     1342  12347 |        0 |        0
1305.52/1305.99	c 1305s |      25 |  9237620 |  6972898 |     1342  12363 |        0 |        0
1307.53/1308.00	c 1307s |      25 |  9250483 |  6983598 |     1342  12378 |        0 |        0
1309.62/1310.00	c 1309s |      25 |  9263733 |  6994298 |     1342  12393 |        0 |        0
1311.62/1312.00	c 1311s |      25 |  9277056 |  7004998 |     1342  12409 |        0 |        0
1313.62/1314.01	c 1313s |      25 |  9290557 |  7015798 |     1342  12424 |        0 |        0
1315.62/1316.03	c 1316s |      25 |  9304483 |  7026998 |     1342  12440 |        0 |        0
1317.62/1318.03	c 1318s |      25 |  9318753 |  7038198 |     1342  12456 |        0 |        0
1319.62/1320.04	c 1320s |      25 |  9333738 |  7049598 |     1342  12473 |        0 |        0
1321.61/1322.05	c 1322s |      25 |  9349894 |  7061498 |     1342  12490 |        0 |        0
1323.61/1324.06	c 1324s |      25 |  9364195 |  7072698 |     1342  12506 |        0 |        0
1325.61/1326.07	c 1326s |      25 |  9379173 |  7084098 |     1342  12522 |        0 |        0
1327.61/1328.08	c 1328s |      25 |  9394576 |  7095598 |     1342  12538 |        0 |        0
1329.70/1330.10	c 1330s |      25 |  9409599 |  7106698 |     1342  12554 |        0 |        0
1331.71/1332.12	c 1332s |      25 |  9423007 |  7117298 |     1342  12570 |        0 |        0
1333.71/1334.13	c 1334s |      25 |  9436737 |  7128098 |     1342  12585 |        0 |        0
1335.71/1336.14	c 1336s |      25 |  9451195 |  7138998 |     1342  12601 |        0 |        0
1337.71/1338.14	c 1338s |      25 |  9467057 |  7150198 |     1342  12617 |        0 |        0
1339.71/1340.15	c 1340s |      25 |  9482168 |  7160898 |     1342  12632 |        0 |        0
1341.71/1342.16	c 1342s |      25 |  9495832 |  7171398 |     1342  12647 |        0 |        0
1343.70/1344.17	c 1344s |      25 |  9508595 |  7181498 |     1342  12662 |        0 |        0
1345.70/1346.18	c 1346s |      25 |  9522330 |  7192598 |     1342  12678 |        0 |        0
1347.70/1348.18	c 1348s |      25 |  9536921 |  7204098 |     1342  12694 |        0 |        0
1349.70/1350.18	c 1350s |      25 |  9550974 |  7215298 |     1342  12710 |        0 |        0
1351.80/1352.20	c 1352s |      25 |  9564736 |  7226798 |     1342  12727 |        0 |        0
1353.81/1354.21	c 1354s |      25 |  9578225 |  7237798 |     1342  12742 |        0 |        0
1355.80/1356.21	c 1356s |      25 |  9592159 |  7248898 |     1342  12758 |        0 |        0
1357.80/1358.23	c 1358s |      25 |  9606410 |  7260098 |     1342  12774 |        0 |        0
1359.79/1360.24	c 1360s |      25 |  9618330 |  7269998 |     1342  12789 |        0 |        0
1361.79/1362.25	c 1362s |      25 |  9632724 |  7281098 |     1342  12804 |        0 |        0
1363.79/1364.26	c 1364s |      25 |  9645647 |  7291598 |     1342  12819 |        0 |        0
1365.80/1366.26	c 1366s |      25 |  9659627 |  7302298 |     1342  12835 |        0 |        0
1367.79/1368.27	c 1368s |      25 |  9673968 |  7313298 |     1342  12851 |        0 |        0
1369.79/1370.28	c 1370s |      25 |  9688185 |  7324098 |     1342  12866 |        0 |        0
1371.79/1372.29	c 1372s |      25 |  9700677 |  7334098 |     1342  12881 |        0 |        0
1373.88/1374.31	c 1374s |      25 |  9713934 |  7344398 |     1342  12895 |        0 |        0
1375.88/1376.31	c 1376s |      25 |  9728393 |  7355298 |     1342  12911 |        0 |        0
1377.89/1378.32	c 1378s |      25 |  9742133 |  7366198 |     1342  12927 |        0 |        0
1379.88/1380.33	c 1380s |      25 |  9755505 |  7377098 |     1342  12942 |        0 |        0
1381.88/1382.34	c 1382s |      25 |  9768835 |  7387898 |     1342  12958 |        0 |        0
1383.88/1384.35	c 1384s |      25 |  9783143 |  7398998 |     1342  12974 |        0 |        0
1385.88/1386.36	c 1386s |      25 |  9798152 |  7410498 |     1342  12990 |        0 |        0
1387.88/1388.36	c 1388s |      25 |  9811111 |  7421098 |     1342  13006 |        0 |        0
1389.87/1390.37	c 1390s |      25 |  9823569 |  7431298 |     1342  13020 |        0 |        0
1391.87/1392.39	c 1392s |      25 |  9837164 |  7441998 |     1342  13036 |        0 |        0
1393.87/1394.40	c 1394s |      25 |  9849689 |  7452198 |     1342  13050 |        0 |        0
1395.98/1396.40	c 1396s |      25 |  9863747 |  7462998 |     1342  13066 |        0 |        0
1397.98/1398.42	c 1398s |      25 |  9877656 |  7473998 |     1342  13081 |        0 |        0
1399.98/1400.43	c 1400s |      25 |  9890186 |  7484198 |     1342  13096 |        0 |        0
1401.97/1402.44	c 1402s |      25 |  9902611 |  7494298 |     1342  13110 |        0 |        0
1403.97/1404.46	c 1404s |      25 |  9916221 |  7505298 |     1342  13126 |        0 |        0
1405.97/1406.46	c 1406s |      25 |  9929967 |  7516298 |     1342  13142 |        0 |        0
1407.97/1408.47	c 1408s |      25 |  9943877 |  7527298 |     1342  13158 |        0 |        0
1409.97/1410.47	c 1410s |      25 |  9958385 |  7538498 |     1342  13174 |        0 |        0
1411.97/1412.47	c 1412s |      25 |  9973137 |  7549698 |     1477  13189 |        0 |        0
1413.97/1414.49	c 1414s |      25 |  9987653 |  7560798 |     1477  13204 |        0 |        0
1416.06/1416.51	c 1416s |      25 | 10003145 |  7572198 |     1477  13219 |        0 |        0
1418.06/1418.52	c 1418s |      25 | 10017137 |  7583598 |     1477  13233 |        0 |        0
1420.06/1420.53	c 1420s |      25 | 10031110 |  7594598 |     1477  13248 |        0 |        0
1420.56/1421.08	c 1421s |      26 | 10035296 |  7597752 |     1477  13252 |        0 |        0
1422.56/1423.09	c 1423s |      26 | 10052429 |  7608752 |     1477  13266 |        0 |        0
1424.55/1425.10	c 1425s |      26 | 10067175 |  7618852 |     1477  13279 |        0 |        0
1426.65/1427.10	c 1427s |      26 | 10079630 |  7627852 |     1477  13291 |        0 |        0
1428.65/1429.11	c 1429s |      26 | 10093586 |  7637752 |     1477  13304 |        0 |        0
1430.65/1431.12	c 1431s |      26 | 10106973 |  7647352 |     1477  13316 |        0 |        0
1432.65/1433.13	c 1433s |      26 | 10120976 |  7657152 |     1477  13329 |        0 |        0
1434.65/1435.13	c 1435s |      26 | 10136045 |  7667252 |     1477  13342 |        0 |        0
1436.65/1437.13	c 1437s |      26 | 10150811 |  7677852 |     1477  13355 |        0 |        0
1438.65/1439.15	c 1439s |      26 | 10165070 |  7687952 |     1477  13368 |        0 |        0
1440.65/1441.15	c 1441s |      26 | 10177359 |  7697352 |     1477  13381 |        0 |        0
1442.64/1443.15	c 1443s |      26 | 10189499 |  7706552 |     1477  13392 |        0 |        0
1444.64/1445.16	c 1445s |      26 | 10202813 |  7716252 |     1477  13405 |        0 |        0
1446.64/1447.16	c 1447s |      26 | 10214640 |  7725052 |     1477  13416 |        0 |        0
1448.64/1449.17	c 1449s |      26 | 10228581 |  7734752 |     1477  13429 |        0 |        0
1450.64/1451.18	c 1451s |      26 | 10240852 |  7743952 |     1477  13441 |        0 |        0
1452.64/1453.20	c 1453s |      26 | 10253696 |  7753552 |     1477  13453 |        0 |        0
1454.74/1455.21	c 1455s |      26 | 10267441 |  7763452 |     1477  13466 |        0 |        0
1456.74/1457.23	c 1457s |      26 | 10279148 |  7772552 |     1477  13478 |        0 |        0
1458.74/1459.24	c 1459s |      26 | 10290541 |  7781452 |     1477  13489 |        0 |        0
1460.74/1461.24	c 1461s |      26 | 10304958 |  7791752 |     1477  13502 |        0 |        0
1462.74/1463.26	c 1463s |      26 | 10319011 |  7801852 |     1477  13515 |        0 |        0
1464.74/1465.27	c 1465s |      26 | 10332882 |  7811752 |     1477  13528 |        0 |        0
1466.74/1467.27	c 1467s |      26 | 10348310 |  7821952 |     1477  13542 |        0 |        0
1468.73/1469.28	c 1469s |      26 | 10365874 |  7832152 |     1477  13555 |        0 |        0
1470.73/1471.28	c 1471s |      26 | 10381102 |  7842752 |     1477  13568 |        0 |        0
1472.73/1473.29	c 1473s |      26 | 10395979 |  7853452 |     1477  13582 |        0 |        0
1474.83/1475.31	c 1475s |      26 | 10409852 |  7864152 |     1477  13596 |        0 |        0
1476.84/1477.31	c 1477s |      26 | 10422954 |  7874052 |     1477  13609 |        0 |        0
1478.83/1479.33	c 1479s |      26 | 10438767 |  7884552 |     1477  13623 |        0 |        0
1480.82/1481.33	c 1481s |      26 | 10451675 |  7893952 |     1477  13635 |        0 |        0
1482.82/1483.34	c 1483s |      26 | 10464802 |  7903752 |     1477  13648 |        0 |        0
1484.82/1485.35	c 1485s |      26 | 10477500 |  7913952 |     1477  13661 |        0 |        0
1486.83/1487.35	c 1487s |      26 | 10491439 |  7924252 |     1477  13674 |        0 |        0
1488.82/1489.36	c 1489s |      26 | 10504123 |  7934252 |     1477  13687 |        0 |        0
1490.82/1491.37	c 1491s |      26 | 10519007 |  7944852 |     1477  13701 |        0 |        0
1492.82/1493.38	c 1493s |      26 | 10532794 |  7955252 |     1477  13714 |        0 |        0
1494.81/1495.38	c 1495s |      26 | 10545793 |  7965252 |     1477  13727 |        0 |        0
1496.81/1497.39	c 1497s |      26 | 10558782 |  7975052 |     1477  13740 |        0 |        0
1498.82/1499.39	c 1499s |      26 | 10571821 |  7985052 |     1477  13753 |        0 |        0
1500.81/1501.39	c 1501s |      26 | 10583546 |  7994252 |     1477  13765 |        0 |        0
1502.81/1503.40	c 1503s |      26 | 10595677 |  8003752 |     1477  13777 |        0 |        0
1504.91/1505.41	c 1505s |      26 | 10608493 |  8013752 |     1477  13790 |        0 |        0
1506.91/1507.41	c 1507s |      26 | 10621896 |  8023852 |     1477  13803 |        0 |        0
1508.91/1509.42	c 1509s |      26 | 10635544 |  8034152 |     1477  13816 |        0 |        0
1510.92/1511.43	c 1511s |      26 | 10651063 |  8044752 |     1477  13830 |        0 |        0
1512.91/1513.44	c 1513s |      26 | 10665377 |  8055252 |     1477  13843 |        0 |        0
1514.91/1515.44	c 1515s |      26 | 10679752 |  8065452 |     1477  13856 |        0 |        0
1516.91/1517.44	c 1517s |      26 | 10692379 |  8075252 |     1477  13869 |        0 |        0
1518.92/1519.45	c 1519s |      26 | 10704408 |  8084752 |     1477  13881 |        0 |        0
1520.93/1521.45	c 1521s |      26 | 10719290 |  8095552 |     1477  13895 |        0 |        0
1522.92/1523.46	c 1523s |      26 | 10733716 |  8106252 |     1477  13909 |        0 |        0
1524.92/1525.47	c 1525s |      26 | 10748028 |  8116552 |     1477  13923 |        0 |        0
1526.92/1527.47	c 1527s |      26 | 10761728 |  8126952 |     1477  13936 |        0 |        0
1528.92/1529.47	c 1529s |      26 | 10778543 |  8137652 |     1477  13950 |        0 |        0
1530.92/1531.48	c 1531s |      26 | 10795002 |  8148352 |     1477  13964 |        0 |        0
1532.92/1533.49	c 1533s |      26 | 10808231 |  8158452 |     1477  13977 |        0 |        0
1535.01/1535.50	c 1535s |      26 | 10820251 |  8168252 |     1477  13990 |        0 |        0
1537.01/1537.51	c 1537s |      26 | 10832378 |  8178152 |     1477  14002 |        0 |        0
1539.01/1539.51	c 1539s |      26 | 10844304 |  8187852 |     1477  14015 |        0 |        0
1541.01/1541.53	c 1541s |      26 | 10855443 |  8197252 |     1477  14027 |        0 |        0
1543.01/1543.54	c 1543s |      26 | 10868283 |  8207352 |     1477  14040 |        0 |        0
1545.02/1545.54	c 1545s |      26 | 10881411 |  8217652 |     1477  14053 |        0 |        0
1547.01/1547.55	c 1547s |      26 | 10893948 |  8227552 |     1477  14066 |        0 |        0
1549.01/1549.55	c 1549s |      26 | 10905844 |  8237152 |     1477  14078 |        0 |        0
1551.01/1551.55	c 1551s |      26 | 10916822 |  8246252 |     1477  14090 |        0 |        0
1553.01/1553.57	c 1553s |      26 | 10928416 |  8255752 |     1477  14102 |        0 |        0
1555.02/1555.58	c 1555s |      26 | 10939114 |  8264752 |     1477  14114 |        0 |        0
1557.01/1557.58	c 1557s |      26 | 10951104 |  8274552 |     1477  14127 |        0 |        0
1559.11/1559.60	c 1559s |      26 | 10964614 |  8284852 |     1477  14140 |        0 |        0
1561.11/1561.61	c 1561s |      26 | 10976945 |  8294652 |     1477  14153 |        0 |        0
1563.11/1563.62	c 1563s |      26 | 10990065 |  8304652 |     1477  14166 |        0 |        0
1565.11/1565.62	c 1565s |      26 | 11003786 |  8314752 |     1477  14179 |        0 |        0
1567.11/1567.64	c 1567s |      26 | 11016549 |  8324852 |     1477  14192 |        0 |        0
1569.11/1569.64	c 1569s |      26 | 11030234 |  8335152 |     1477  14205 |        0 |        0
1571.11/1571.64	c 1571s |      26 | 11043168 |  8345052 |     1477  14218 |        0 |        0
1573.10/1573.66	c 1573s |      26 | 11056575 |  8355452 |     1477  14231 |        0 |        0
1575.10/1575.66	c 1575s |      26 | 11070639 |  8365752 |     1477  14245 |        0 |        0
1577.10/1577.67	c 1577s |      26 | 11083936 |  8375752 |     1477  14257 |        0 |        0
1579.11/1579.67	c 1579s |      26 | 11098279 |  8385952 |     1477  14271 |        0 |        0
1581.10/1581.68	c 1581s |      26 | 11112577 |  8396552 |     1477  14284 |        0 |        0
1583.10/1583.69	c 1583s |      26 | 11126183 |  8406752 |     1477  14298 |        0 |        0
1585.20/1585.70	c 1585s |      26 | 11139770 |  8417052 |     1477  14311 |        0 |        0
1587.20/1587.71	c 1587s |      26 | 11153411 |  8427152 |     1477  14324 |        0 |        0
1589.20/1589.73	c 1589s |      26 | 11167569 |  8437552 |     1477  14337 |        0 |        0
1591.21/1591.75	c 1591s |      26 | 11180431 |  8447352 |     1477  14350 |        0 |        0
1593.20/1593.76	c 1593s |      26 | 11194104 |  8457452 |     1477  14363 |        0 |        0
1595.20/1595.78	c 1595s |      26 | 11205989 |  8466852 |     1477  14376 |        0 |        0
1597.20/1597.79	c 1597s |      26 | 11219074 |  8477052 |     1477  14389 |        0 |        0
1599.30/1599.81	c 1599s |      26 | 11232102 |  8487252 |     1477  14402 |        0 |        0
1601.30/1601.83	c 1601s |      26 | 11244840 |  8497252 |     1477  14415 |        0 |        0
1603.31/1603.83	c 1603s |      26 | 11259623 |  8507552 |     1477  14428 |        0 |        0
1605.30/1605.85	c 1605s |      26 | 11273741 |  8517252 |     1477  14441 |        0 |        0
1607.30/1607.86	c 1607s |      26 | 11287827 |  8527452 |     1477  14454 |        0 |        0
1609.30/1609.87	c 1609s |      26 | 11302611 |  8537652 |     1477  14467 |        0 |        0
1611.30/1611.88	c 1611s |      26 | 11314561 |  8547252 |     1477  14479 |        0 |        0
1613.30/1613.89	c 1613s |      26 | 11327488 |  8557052 |     1477  14492 |        0 |        0
1615.30/1615.90	c 1615s |      26 | 11341039 |  8566852 |     1477  14505 |        0 |        0
1617.40/1617.91	c 1617s |      26 | 11354620 |  8576652 |     1477  14518 |        0 |        0
1619.40/1619.93	c 1619s |      26 | 11366853 |  8586152 |     1477  14530 |        0 |        0
1621.40/1621.94	c 1621s |      26 | 11380052 |  8595952 |     1477  14543 |        0 |        0
1623.40/1623.95	c 1623s |      26 | 11392806 |  8605352 |     1477  14555 |        0 |        0
1625.41/1625.97	c 1625s |      26 | 11405532 |  8615152 |     1477  14568 |        0 |        0
1627.40/1627.98	c 1627s |      26 | 11420431 |  8625352 |     1477  14581 |        0 |        0
1629.40/1629.98	c 1629s |      26 | 11433028 |  8634952 |     1477  14593 |        0 |        0
1631.40/1631.99	c 1631s |      26 | 11445254 |  8644352 |     1477  14605 |        0 |        0
1633.40/1633.99	c 1633s |      26 | 11459168 |  8653852 |     1477  14618 |        0 |        0
1635.40/1636.00	c 1635s |      26 | 11472311 |  8663052 |     1477  14630 |        0 |        0
1637.40/1638.00	c 1637s |      26 | 11487030 |  8673552 |     1477  14643 |        0 |        0
1639.49/1640.02	c 1640s |      26 | 11500353 |  8683752 |     1477  14656 |        0 |        0
1641.49/1642.03	c 1642s |      26 | 11512297 |  8693452 |     1477  14669 |        0 |        0
1643.49/1644.03	c 1644s |      26 | 11524385 |  8703352 |     1477  14682 |        0 |        0
1645.49/1646.04	c 1646s |      26 | 11536516 |  8713152 |     1477  14694 |        0 |        0
1647.49/1648.06	c 1648s |      26 | 11548008 |  8722752 |     1477  14707 |        0 |        0
1649.50/1650.06	c 1650s |      26 | 11561716 |  8733252 |     1477  14721 |        0 |        0
1651.49/1652.07	c 1652s |      26 | 11574952 |  8743252 |     1477  14734 |        0 |        0
1653.49/1654.07	c 1654s |      26 | 11586692 |  8752852 |     1477  14746 |        0 |        0
1655.50/1656.09	c 1656s |      26 | 11600441 |  8763252 |     1477  14760 |        0 |        0
1657.50/1658.09	c 1658s |      26 | 11614488 |  8773652 |     1477  14773 |        0 |        0
1659.50/1660.09	c 1660s |      26 | 11629652 |  8784252 |     1477  14787 |        0 |        0
1661.60/1662.11	c 1662s |      26 | 11644595 |  8795152 |     1477  14801 |        0 |        0
1663.60/1664.13	c 1664s |      26 | 11657100 |  8805152 |     1477  14814 |        0 |        0
1665.60/1666.15	c 1666s |      26 | 11670065 |  8815252 |     1477  14827 |        0 |        0
1667.60/1668.15	c 1668s |      26 | 11684293 |  8825852 |     1477  14840 |        0 |        0
1669.60/1670.16	c 1670s |      26 | 11697705 |  8836152 |     1477  14854 |        0 |        0
1671.60/1672.18	c 1672s |      26 | 11710093 |  8845952 |     1477  14866 |        0 |        0
1673.59/1674.19	c 1674s |      26 | 11723528 |  8855852 |     1477  14879 |        0 |        0
1675.69/1676.21	c 1676s |      26 | 11736514 |  8866052 |     1477  14892 |        0 |        0
1677.69/1678.22	c 1678s |      26 | 11749255 |  8875852 |     1477  14905 |        0 |        0
1679.69/1680.23	c 1680s |      26 | 11764622 |  8886052 |     1477  14918 |        0 |        0
1681.69/1682.24	c 1682s |      26 | 11777350 |  8896052 |     1477  14931 |        0 |        0
1683.70/1684.25	c 1684s |      26 | 11790724 |  8905952 |     1477  14944 |        0 |        0
1685.69/1686.26	c 1686s |      26 | 11802141 |  8915152 |     1477  14956 |        0 |        0
1687.69/1688.27	c 1688s |      26 | 11812913 |  8924052 |     1477  14967 |        0 |        0
1689.69/1690.28	c 1690s |      26 | 11823590 |  8932952 |     1477  14979 |        0 |        0
1691.69/1692.28	c 1692s |      26 | 11834636 |  8942052 |     1477  14990 |        0 |        0
1693.69/1694.29	c 1694s |      26 | 11843924 |  8950052 |     1477  15001 |        0 |        0
1695.70/1696.29	c 1696s |      26 | 11854349 |  8958652 |     1477  15012 |        0 |        0
1697.79/1698.31	c 1698s |      26 | 11864470 |  8967252 |     1477  15023 |        0 |        0
1699.79/1700.32	c 1700s |      26 | 11876572 |  8976652 |     1477  15035 |        0 |        0
1701.79/1702.32	c 1702s |      26 | 11888141 |  8985952 |     1477  15047 |        0 |        0
1703.79/1704.33	c 1704s |      26 | 11901249 |  8995752 |     1477  15060 |        0 |        0
1705.79/1706.33	c 1706s |      26 | 11914897 |  9006052 |     1477  15073 |        0 |        0
1707.80/1708.34	c 1708s |      26 | 11928215 |  9016252 |     1477  15086 |        0 |        0
1709.79/1710.34	c 1710s |      26 | 11941861 |  9026452 |     1477  15099 |        0 |        0
1711.79/1712.35	c 1712s |      26 | 11954432 |  9036252 |     1477  15112 |        0 |        0
1713.79/1714.36	c 1714s |      26 | 11967259 |  9046052 |     1477  15125 |        0 |        0
1715.79/1716.37	c 1716s |      26 | 11981973 |  9056152 |     1477  15138 |        0 |        0
1717.79/1718.38	c 1718s |      26 | 11995357 |  9065952 |     1477  15150 |        0 |        0
1719.78/1720.39	c 1720s |      26 | 12009133 |  9075952 |     1477  15163 |        0 |        0
1721.78/1722.40	c 1722s |      26 | 12024026 |  9086352 |     1477  15177 |        0 |        0
1723.88/1724.41	c 1724s |      26 | 12038357 |  9097252 |     1477  15191 |        0 |        0
1725.88/1726.43	c 1726s |      26 | 12053851 |  9108352 |     1477  15205 |        0 |        0
1727.88/1728.43	c 1728s |      26 | 12066629 |  9118352 |     1477  15218 |        0 |        0
1729.89/1730.44	c 1730s |      26 | 12078483 |  9127952 |     1477  15231 |        0 |        0
1731.88/1732.45	c 1732s |      26 | 12091712 |  9138252 |     1477  15244 |        0 |        0
1733.88/1734.46	c 1734s |      26 | 12105121 |  9148552 |     1477  15257 |        0 |        0
1735.88/1736.47	c 1736s |      26 | 12118435 |  9158752 |     1477  15271 |        0 |        0
1737.88/1738.47	c 1738s |      26 | 12132768 |  9169052 |     1477  15284 |        0 |        0
1739.88/1740.49	c 1740s |      26 | 12146176 |  9179152 |     1477  15297 |        0 |        0
1741.89/1742.49	c 1742s |      26 | 12160159 |  9189052 |     1477  15310 |        0 |        0
1743.98/1744.50	c 1744s |      26 | 12172461 |  9198652 |     1477  15322 |        0 |        0
1745.98/1746.52	c 1746s |      26 | 12186489 |  9208752 |     1477  15335 |        0 |        0
1747.98/1748.53	c 1748s |      26 | 12198482 |  9218352 |     1477  15348 |        0 |        0
1749.98/1750.55	c 1750s |      26 | 12210636 |  9228052 |     1477  15360 |        0 |        0
1751.98/1752.57	c 1752s |      26 | 12223375 |  9237552 |     1477  15372 |        0 |        0
1753.98/1754.58	c 1754s |      26 | 12235012 |  9247152 |     1477  15385 |        0 |        0
1756.08/1756.60	c 1756s |      26 | 12246997 |  9256452 |     1477  15397 |        0 |        0
1758.08/1758.61	c 1758s |      26 | 12259144 |  9265852 |     1477  15409 |        0 |        0
1760.08/1760.62	c 1760s |      26 | 12270501 |  9275052 |     1477  15421 |        0 |        0
1762.08/1762.63	c 1762s |      26 | 12281340 |  9284052 |     1477  15433 |        0 |        0
1764.07/1764.65	c 1764s |      26 | 12292445 |  9293052 |     1477  15444 |        0 |        0
1766.08/1766.65	c 1766s |      26 | 12304007 |  9302152 |     1477  15456 |        0 |        0
1768.07/1768.66	c 1768s |      26 | 12315730 |  9311652 |     1477  15469 |        0 |        0
1770.07/1770.67	c 1770s |      26 | 12327639 |  9321152 |     1477  15481 |        0 |        0
1772.07/1772.67	c 1772s |      26 | 12340849 |  9330852 |     1477  15494 |        0 |        0
1774.07/1774.68	c 1774s |      26 | 12353734 |  9340152 |     1477  15506 |        0 |        0
1776.17/1776.70	c 1776s |      26 | 12366601 |  9349852 |     1477  15518 |        0 |        0
1778.18/1778.71	c 1778s |      26 | 12381689 |  9360152 |     1477  15532 |        0 |        0
1780.17/1780.72	c 1780s |      26 | 12396968 |  9370352 |     1477  15545 |        0 |        0
1782.17/1782.72	c 1782s |      26 | 12413001 |  9380852 |     1477  15559 |        0 |        0
1784.17/1784.74	c 1784s |      26 | 12429092 |  9391352 |     1477  15572 |        0 |        0
1786.17/1786.76	c 1786s |      26 | 12444822 |  9402252 |     1477  15586 |        0 |        0
1788.18/1788.77	c 1788s |      26 | 12457437 |  9412452 |     1477  15600 |        0 |        0
1790.17/1790.77	c 1790s |      26 | 12470928 |  9422952 |     1477  15613 |        0 |        0
1792.17/1792.78	c 1792s |      26 | 12485065 |  9433352 |     1477  15627 |        0 |        0
1794.17/1794.79	c 1794s |      26 | 12499593 |  9444052 |     1477  15641 |        0 |        0
1796.27/1796.80	c 1796s |      26 | 12513422 |  9454752 |     1477  15654 |        0 |        0
1798.27/1798.81	c 1798s |      26 | 12528488 |  9465652 |     1477  15669 |        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-4095966-1466099973/watcher-4095966-1466099973 -o /tmp/evaluation-result-4095966-1466099973/solver-4095966-1466099973 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095966-1466099973.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28951
/proc/meminfo: memFree=30363036/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 2694 0 0 0 0 0 0 0 20 0 4 0 12042714 739700736 3056 33554432000 4194304 16246674 140733535662672 140733535662096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 181103 3064 441 2943 0 177997 0
[pid=28951/tid=28952] ppid=28948 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 757526528 3125 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 762769408 3144 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042714 768012288 3160 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28951
/proc/meminfo: memFree=30363036/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 25051 0 0 0 6 3 0 0 20 0 4 0 12042714 1247350784 25402 33554432000 4194304 16246674 140733535662672 140733535662096 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 304529 25410 707 2943 0 301423 0
[pid=28951/tid=28952] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 25416 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 25422 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 25428 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28951
/proc/meminfo: memFree=30363036/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 49025 0 0 0 13 6 0 0 20 0 4 0 12042714 1247350784 49375 33554432000 4194304 16246674 140733535662672 140733535662096 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 304529 49393 707 2943 0 301423 0
[pid=28951/tid=28952] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 49399 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 49405 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 49411 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28951
/proc/meminfo: memFree=30363036/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 72818 0 0 0 20 9 0 0 20 0 4 0 12042714 1247350784 73169 33554432000 4194304 16246674 140733535662672 140733535662096 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 304529 73185 707 2943 0 301423 0
[pid=28951/tid=28952] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 73191 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 73197 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 73203 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28951
/proc/meminfo: memFree=30363036/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 171000 0 0 0 46 23 0 0 20 0 4 0 12042714 1247350784 171351 33554432000 4194304 16246674 140733535662672 140733535644544 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 304529 171367 707 2943 0 301423 0
[pid=28951/tid=28952] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 171379 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 171389 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 171399 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28955
/proc/meminfo: memFree=29380876/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 245520 0 0 0 115 34 0 0 20 0 4 0 12042714 1247350784 245850 33554432000 4194304 16246674 140733535662672 140733535661984 12479248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 304529 245850 782 2943 0 301423 0
[pid=28951/tid=28952] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 245850 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 245850 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1247350784 245850 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28955
/proc/meminfo: memFree=29292960/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267427 0 0 0 272 37 0 0 20 0 4 0 12042714 1337528320 267757 33554432000 4194304 16246674 140733535662672 140733535644544 13923804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267757 782 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267757 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267757 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267757 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28955
/proc/meminfo: memFree=29292784/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267429 0 0 0 592 37 0 0 20 0 4 0 12042714 1337528320 267759 33554432000 4194304 16246674 140733535662672 140733535645672 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267759 782 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267759 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267759 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267759 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 1.97 3/183 28955
/proc/meminfo: memFree=29293188/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267437 0 0 0 1232 37 0 0 20 0 4 0 12042714 1337528320 267767 33554432000 4194304 16246674 140733535662672 140733535645672 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267767 786 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267767 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267767 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267767 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 1.97 3/183 28955
/proc/meminfo: memFree=29294012/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267469 0 0 0 2511 37 0 0 20 0 4 0 12042714 1337528320 267799 33554432000 4194304 16246674 140733535662672 140733535644544 5673576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267799 786 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267799 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267799 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267799 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.02 2.05 1.97 3/184 28958
/proc/meminfo: memFree=29293776/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267523 0 0 0 5071 38 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 140733535644544 6022661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267853 786 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.08 2.05 1.97 4/184 28983
/proc/meminfo: memFree=29293084/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 267523 0 0 0 10190 38 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 140733535645672 5673405 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 326545 267853 786 2943 0 323439 0
[pid=28951/tid=28952] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1337528320 267853 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268607 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/183 29013
/proc/meminfo: memFree=29285936/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1301.93 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268328 0 0 0 130140 53 0 0 20 0 4 0 12042714 1339625472 268607 33554432000 4194304 16246674 140733535662672 140733535644544 6042886 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268607 787 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268607 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268607 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268607 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.18 2.13 2.06 3/183 29014
/proc/meminfo: memFree=29286076/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1361.89 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268374 0 0 0 136135 54 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535645672 5827984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.06 3/183 29015
/proc/meminfo: memFree=29285792/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1421.86 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268417 0 0 0 142131 55 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535644544 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.06 2.10 2.06 3/183 29016
/proc/meminfo: memFree=29285800/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1481.82 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268458 0 0 0 148126 56 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535644544 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.14 2.13 2.07 3/183 29017
/proc/meminfo: memFree=29286120/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1541.82 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268468 0 0 0 154125 57 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535644544 6020973 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.07 3/183 29019
/proc/meminfo: memFree=29286180/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1601.8 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268468 0 0 0 160123 57 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535644544 5522898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.25 2.15 2.08 3/183 29020
/proc/meminfo: memFree=29286364/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1661.8 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268468 0 0 0 166121 59 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 140733535645672 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268608 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268608 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/183 29021
/proc/meminfo: memFree=29286104/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1721.78 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268507 0 0 0 172119 59 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 140733535644544 5828837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268647 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.13 2.13 2.08 3/183 29022
/proc/meminfo: memFree=29286048/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1781.77 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268507 0 0 0 178118 59 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 140733535645672 6021616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268647 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 29071
/proc/meminfo: memFree=29291140/32872528 swapFree=496356/529060
[pid=28951] ppid=28948 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/28951/stat : 28951 (toysat) R 28948 28951 28709 0 -1 4202496 268507 0 0 0 179948 60 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 140733535645672 5822938 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28951/statm: 327057 268647 788 2943 0 323951 0
[pid=28951/tid=28952] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (toysat) S 28948 28951 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763823652080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28951/tid=28953] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (toysat) S 28948 28951 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763738717424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28951/tid=28954] ppid=28948 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (toysat) S 28948 28951 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12042714 1339625472 268647 33554432000 4194304 16246674 140733535662672 139763728243888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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 28951 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.09
CPU user time (s): 1799.49
CPU system time (s): 0.600908
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.600908
maximum resident set size= 1074588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268507
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= 461
involuntary context switches= 2065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25735 second user time and 7.26989 second system time

The end

Begin job on node141 at 2016-06-16 19:59:33
IDJOB=4095966
IDBENCH=107547
IDSOLVER=2542
FILE ID=node141/4095966-1466099973
RUNJOBID= node141-1466098167-28725
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-60.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095966-1466099973/watcher-4095966-1466099973 -o /tmp/evaluation-result-4095966-1466099973/solver-4095966-1466099973 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095966-1466099973.opb

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

MD5SUM BENCH= 67cb0c56bc885cc8c8374387ee879e96
RANDOM SEED=2139861186

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30364208 kB
Buffers:           47392 kB
Cached:           151024 kB
SwapCached:         2880 kB
Active:          1195900 kB
Inactive:          78016 kB
Active(anon):    1075624 kB
Inactive(anon):     2156 kB
Active(file):     120276 kB
Inactive(file):    75860 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             32820 kB
Writeback:             0 kB
AnonPages:       1602420 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             570652 kB
SReclaimable:      13932 kB
SUnreclaim:       556720 kB
KernelStack:        1456 kB
PageTables:         6844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71696 MiB
End job on node141 at 2016-06-16 20:29:34