0.00/0.00	c 2016-06-16T20:57:16+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-4096155-1466103436.opb"]
0.00/0.01	c use --random-gen="464437959 3956396702 297476676 223615369 957745671 3649096285 1805102347 1137429009 1411223127 620265278 4079145692 2717314460 918537117 403722448 1079305380 51746112 3602531482 615427687 2824401698 2423639150 3943918809 2609338641 4090595890 239717718 1779271065 2182109799 3525392556 4288006788 1376990369 2483749028 1760596304 199149921 3440222240 85525421 3280347476 2642409120 3247207306 604127860 2432688684 3750353304 3970081608 477644940 190201685 2558862644 2112399145 4125970866 4011921705 3471939215 1654381180 3871297432 2385460105 777574346 256041721 968030015 2142897324 2635572716 568745259 1331279434 3994823514 3031395746 3793002728 3247413582 3729849359 3358971713 2922019976 1522903600 2259354678 3983704453 3666222285 806959843 934234710 1843932381 2156966653 1277114522 182070360 2026868047 2605013145 136178 270422102 1615959732 730551772 1563139033 4071303499 282983661 2138006195 2532454009 1630592235 3386757282 815127660 390156013 1207089998 2412728725 2943720558 3397263360 3560895229 306840622 2911208899 2932634528 994612592 4173078432 1172810250 738495666 2061450135 2728919647 2256391736 3216291216 4182003550 1642792637 2364500127 2041175669 1339110672 1781743863 3545507791 2828977124 3229188199 322997781 203047156 1127302955 1115037891 1989906340 2904529708 359738101 1160843183 1098684212 2379685589 1735680914 1779075013 543327644 2957520989 1747928619 3934854980 3690301110 4149354214 3755304801 1188403616 2485875770 155841201 1215270386 3917061655 3639779721 1265722631 1066245492 4109396771 1737981196 1826949647 2384136660 1234239682 3507958434 683133268 2669189829 3725313768 831459121 783731023 3411687929 3743774640 1775510664 1671303960 1668858527 2868565866 901733921 4064588254 3532526861 3457074935 2665983801 465843905 4132453271 628008579 2298002084 2408985364 2354251690 202348229 1873095694 3962970744 4105012530 3492279002 777482600 2773018888 4223704297 97633900 2066188737 3771361267 4189388301 1814346434 3292902565 1118093941 1706786561 325571698 3925359112 3095918415 2057042579 1758959852 1860326855 158439612 4146812076 917242422 3812374503 1779575705 75109824 640913520 3400247187 540299581 3099981769 2157214565 3407699007 535757628 1666979643 1242229713 3605091681 4165570634 2102545402 579677986 1269979855 2076284268 177881954 625296678 3872772088 3157163125 1876574180 2833244378 2840550268 2645776195 382432296 1181833329 594794421 2727218686 2620728509 1825305416 3271463420 541863152 555810835 304781011 173502805 382870859 3999281835 3473301788 3732459302 2996946393 1002900590 1070334638 255900033 2844135963 1710460458 1795034395 2446083748 2084220391 1560131969 3637004288 4174609041 1081367074 1834050012 2911565629 3983265913 4267169100 286989287 2040335474 217665724 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 |      160      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      216 |      100 |      160      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      680 |      250 |      176      0 |        0 |        0
0.00/0.10	c  0.1s |       3 |     1403 |      475 |      194      2 |        0 |        0
0.09/0.16	c  0.1s |       4 |     2177 |      813 |      214      4 |        0 |        0
0.19/0.27	c  0.3s |       5 |     3010 |     1320 |      236      7 |        0 |        0
0.39/0.41	c  0.4s |       6 |     3916 |     2081 |      286     11 |        0 |        0
0.59/0.61	c  0.6s |       7 |     5499 |     3223 |      315     17 |        0 |        0
0.89/0.97	c  1.0s |       8 |     7700 |     4936 |      347     24 |        0 |        0
1.29/1.37	c  1.4s |       9 |    10905 |     7506 |      382     35 |        0 |        0
1.89/1.97	c  2.0s |      10 |    16342 |    11361 |      421     52 |        0 |        0
2.79/2.81	c  2.8s |      11 |    23931 |    17144 |      464     74 |        0 |        0
3.99/4.09	c  4.1s |      12 |    35235 |    25819 |      511    106 |        0 |        0
5.99/6.09	c  6.1s |      13 |    52632 |    38832 |      563    150 |        0 |        0
8.08/8.11	c  8.1s |      13 |    71717 |    52032 |      563    191 |        0 |        0
9.08/9.17	c  9.2s |      14 |    79621 |    58352 |      620    210 |        0 |        0
11.09/11.18	c 11.2s |      14 |    93766 |    69752 |      620    243 |        0 |        0
13.08/13.20	c 13.2s |      14 |   107005 |    80952 |      620    275 |        0 |        0
14.29/14.37	c 14.4s |      15 |   114885 |    87632 |      682    293 |        0 |        0
16.29/16.37	c 16.4s |      15 |   131159 |    99932 |      682    325 |        0 |        0
18.29/18.38	c 18.4s |      15 |   145614 |   111732 |      682    356 |        0 |        0
20.29/20.38	c 20.4s |      15 |   160771 |   123532 |      682    386 |        0 |        0
21.69/21.75	c 21.7s |      16 |   171240 |   131552 |      751    407 |        0 |        0
23.69/23.76	c 23.7s |      16 |   187160 |   143452 |      751    436 |        0 |        0
25.69/25.78	c 25.8s |      16 |   200976 |   154352 |      751    462 |        0 |        0
27.69/27.78	c 27.8s |      16 |   213621 |   164952 |      751    488 |        0 |        0
29.69/29.79	c 29.8s |      16 |   225813 |   175352 |      751    513 |        0 |        0
31.69/31.79	c 31.8s |      16 |   239085 |   186152 |      751    539 |        0 |        0
33.78/33.80	c 33.8s |      16 |   251317 |   196352 |      827    564 |        0 |        0
33.98/34.01	c 34.0s |      17 |   252789 |   197432 |      827    566 |        0 |        0
35.98/36.02	c 36.0s |      17 |   267365 |   209332 |      827    592 |        0 |        0
37.98/38.03	c 38.0s |      17 |   279167 |   219832 |      827    615 |        0 |        0
39.98/40.03	c 40.0s |      17 |   290982 |   229932 |      827    638 |        0 |        0
41.98/42.04	c 42.0s |      17 |   303987 |   240732 |      827    661 |        0 |        0
43.98/44.05	c 44.0s |      17 |   317076 |   251432 |      827    685 |        0 |        0
45.98/46.06	c 46.0s |      17 |   330951 |   262532 |      827    709 |        0 |        0
47.99/48.07	c 48.1s |      17 |   345519 |   274232 |      827    735 |        0 |        0
49.99/50.08	c 50.1s |      17 |   362147 |   286132 |      827    761 |        0 |        0
51.79/51.82	c 51.8s |      18 |   374731 |   296252 |      910    783 |        0 |        0
53.78/53.83	c 53.8s |      18 |   392459 |   308152 |      910    807 |        0 |        0
55.78/55.83	c 55.8s |      18 |   407480 |   319652 |      910    830 |        0 |        0
57.78/57.84	c 57.8s |      18 |   423073 |   331052 |      910    853 |        0 |        0
59.78/59.85	c 59.8s |      18 |   440094 |   343152 |      910    877 |        0 |        0
61.78/61.87	c 61.9s |      18 |   455083 |   354652 |      910    900 |        0 |        0
63.79/63.88	c 63.9s |      18 |   469976 |   366152 |      910    923 |        0 |        0
65.78/65.89	c 65.9s |      18 |   484164 |   377552 |      910    946 |        0 |        0
67.88/67.90	c 67.9s |      18 |   498267 |   388852 |      910    969 |        0 |        0
69.88/69.91	c 69.9s |      18 |   512497 |   400152 |      910    992 |        0 |        0
71.88/71.92	c 71.9s |      18 |   527394 |   411552 |      910   1015 |        0 |        0
73.88/73.92	c 73.9s |      18 |   543219 |   423352 |      910   1039 |        0 |        0
75.88/75.94	c 75.9s |      18 |   556996 |   434452 |      910   1060 |        0 |        0
77.68/77.75	c 77.7s |      19 |   569821 |   444482 |     1002   1080 |        0 |        0
79.68/79.76	c 79.7s |      19 |   586166 |   455682 |     1002   1100 |        0 |        0
81.68/81.76	c 81.7s |      19 |   600382 |   466482 |     1002   1120 |        0 |        0
83.68/83.78	c 83.8s |      19 |   614708 |   477482 |     1002   1141 |        0 |        0
85.68/85.78	c 85.8s |      19 |   627069 |   487382 |     1002   1159 |        0 |        0
87.77/87.80	c 87.8s |      19 |   639009 |   497282 |     1002   1177 |        0 |        0
89.77/89.81	c 89.8s |      19 |   650683 |   507182 |     1002   1195 |        0 |        0
91.77/91.83	c 91.8s |      19 |   663738 |   516782 |     1002   1213 |        0 |        0
93.77/93.83	c 93.8s |      19 |   676491 |   526282 |     1002   1231 |        0 |        0
95.78/95.83	c 95.8s |      19 |   687414 |   535382 |     1002   1248 |        0 |        0
97.77/97.84	c 97.8s |      19 |   699833 |   545482 |     1002   1267 |        0 |        0
99.77/99.85	c 99.8s |      19 |   712722 |   555482 |     1002   1285 |        0 |        0
101.77/101.87	c  101s |      19 |   726868 |   565682 |     1002   1304 |        0 |        0
103.77/103.88	c  103s |      19 |   740949 |   576382 |     1002   1324 |        0 |        0
105.87/105.90	c  105s |      19 |   753691 |   587082 |     1002   1343 |        0 |        0
107.88/107.91	c  107s |      19 |   765806 |   597182 |     1002   1362 |        0 |        0
109.87/109.91	c  109s |      19 |   777986 |   607182 |     1002   1381 |        0 |        0
111.87/111.91	c  111s |      19 |   791227 |   617682 |     1002   1400 |        0 |        0
113.87/113.92	c  113s |      19 |   804950 |   628182 |     1002   1420 |        0 |        0
115.87/115.92	c  115s |      19 |   818265 |   638682 |     1002   1439 |        0 |        0
117.87/117.93	c  117s |      19 |   831549 |   649082 |     1002   1459 |        0 |        0
119.87/119.94	c  119s |      19 |   845684 |   659282 |     1002   1478 |        0 |        0
121.37/121.46	c  121s |      20 |   854840 |   666827 |     1103   1491 |        0 |        0
123.37/123.47	c  123s |      20 |   870466 |   677827 |     1103   1509 |        0 |        0
125.37/125.47	c  125s |      20 |   888499 |   689627 |     1103   1529 |        0 |        0
127.37/127.48	c  127s |      20 |   905589 |   700927 |     1103   1548 |        0 |        0
129.37/129.48	c  129s |      20 |   923982 |   712327 |     1103   1568 |        0 |        0
131.36/131.48	c  131s |      20 |   940387 |   723827 |     1103   1587 |        0 |        0
133.36/133.49	c  133s |      20 |   955620 |   734927 |     1103   1606 |        0 |        0
135.46/135.50	c  135s |      20 |   970135 |   745827 |     1103   1625 |        0 |        0
137.36/137.50	c  137s |      20 |   984236 |   756527 |     1103   1643 |        0 |        0
139.46/139.51	c  139s |      20 |   998787 |   767327 |     1103   1661 |        0 |        0
141.46/141.51	c  141s |      20 |  1011973 |   778027 |     1103   1679 |        0 |        0
143.47/143.53	c  143s |      20 |  1024165 |   788027 |     1103   1695 |        0 |        0
145.47/145.55	c  145s |      20 |  1035820 |   797927 |     1103   1712 |        0 |        0
147.48/147.55	c  147s |      20 |  1049727 |   808227 |     1103   1729 |        0 |        0
149.47/149.56	c  149s |      20 |  1063641 |   819127 |     1103   1748 |        0 |        0
151.47/151.58	c  151s |      20 |  1075220 |   829027 |     1103   1765 |        0 |        0
153.47/153.58	c  153s |      20 |  1088001 |   839427 |     1103   1782 |        0 |        0
155.47/155.59	c  155s |      20 |  1100980 |   849627 |     1103   1799 |        0 |        0
157.47/157.59	c  157s |      20 |  1113410 |   859727 |     1103   1816 |        0 |        0
159.47/159.60	c  159s |      20 |  1125674 |   869527 |     1103   1833 |        0 |        0
161.56/161.61	c  161s |      20 |  1138094 |   879427 |     1103   1849 |        0 |        0
163.56/163.62	c  163s |      20 |  1150622 |   889527 |     1103   1866 |        0 |        0
165.56/165.62	c  165s |      20 |  1164900 |   900427 |     1103   1884 |        0 |        0
167.56/167.62	c  167s |      20 |  1176376 |   909827 |     1103   1900 |        0 |        0
169.56/169.64	c  169s |      20 |  1191291 |   921127 |     1103   1919 |        0 |        0
171.57/171.64	c  171s |      20 |  1207593 |   932727 |     1103   1939 |        0 |        0
173.56/173.65	c  173s |      20 |  1222352 |   943827 |     1103   1958 |        0 |        0
175.56/175.66	c  175s |      20 |  1239860 |   955527 |     1103   1978 |        0 |        0
177.56/177.66	c  177s |      20 |  1254756 |   967127 |     1103   1998 |        0 |        0
179.56/179.67	c  179s |      20 |  1269914 |   979127 |     1103   2018 |        0 |        0
181.56/181.67	c  181s |      20 |  1284862 |   990627 |     1103   2038 |        0 |        0
183.36/183.42	c  183s |      21 |  1296921 |  1000345 |     1214   2053 |        0 |        0
185.36/185.43	c  185s |      21 |  1312507 |  1011645 |     1214   2070 |        0 |        0
187.36/187.44	c  187s |      21 |  1325367 |  1021445 |     1214   2086 |        0 |        0
189.36/189.45	c  189s |      21 |  1336784 |  1030745 |     1214   2100 |        0 |        0
191.37/191.46	c  191s |      21 |  1348625 |  1040045 |     1214   2115 |        0 |        0
193.36/193.47	c  193s |      21 |  1363309 |  1050945 |     1214   2132 |        0 |        0
195.36/195.47	c  195s |      21 |  1376457 |  1061445 |     1214   2148 |        0 |        0
197.36/197.47	c  197s |      21 |  1388334 |  1071345 |     1214   2163 |        0 |        0
199.36/199.48	c  199s |      21 |  1401180 |  1081445 |     1214   2179 |        0 |        0
201.46/201.50	c  201s |      21 |  1415088 |  1091945 |     1214   2195 |        0 |        0
203.47/203.51	c  203s |      21 |  1429762 |  1102645 |     1214   2212 |        0 |        0
205.46/205.53	c  205s |      21 |  1443200 |  1112945 |     1214   2228 |        0 |        0
207.46/207.54	c  207s |      21 |  1455029 |  1122945 |     1214   2244 |        0 |        0
209.46/209.55	c  209s |      21 |  1466639 |  1132645 |     1214   2259 |        0 |        0
211.46/211.56	c  211s |      21 |  1478678 |  1142345 |     1214   2274 |        0 |        0
213.46/213.57	c  213s |      21 |  1491897 |  1152945 |     1214   2290 |        0 |        0
215.46/215.58	c  215s |      21 |  1504015 |  1162845 |     1214   2306 |        0 |        0
217.46/217.59	c  217s |      21 |  1515800 |  1172445 |     1214   2321 |        0 |        0
219.56/219.60	c  219s |      21 |  1526935 |  1182045 |     1214   2336 |        0 |        0
221.56/221.61	c  221s |      21 |  1538720 |  1192045 |     1214   2351 |        0 |        0
223.56/223.61	c  223s |      21 |  1550314 |  1201745 |     1214   2367 |        0 |        0
225.56/225.62	c  225s |      21 |  1562215 |  1211745 |     1214   2382 |        0 |        0
227.55/227.62	c  227s |      21 |  1574355 |  1221745 |     1214   2398 |        0 |        0
229.55/229.62	c  229s |      21 |  1586245 |  1231645 |     1214   2414 |        0 |        0
231.55/231.63	c  231s |      21 |  1598054 |  1241545 |     1214   2429 |        0 |        0
233.55/233.63	c  233s |      21 |  1609089 |  1251145 |     1214   2444 |        0 |        0
235.55/235.64	c  235s |      21 |  1620844 |  1260845 |     1214   2459 |        0 |        0
237.56/237.66	c  237s |      21 |  1633336 |  1270945 |     1214   2475 |        0 |        0
239.55/239.66	c  239s |      21 |  1645812 |  1280845 |     1214   2490 |        0 |        0
241.55/241.67	c  241s |      21 |  1658464 |  1290245 |     1214   2505 |        0 |        0
243.55/243.69	c  243s |      21 |  1670827 |  1300245 |     1214   2521 |        0 |        0
245.55/245.69	c  245s |      21 |  1683416 |  1310245 |     1214   2536 |        0 |        0
247.65/247.70	c  247s |      21 |  1695325 |  1320145 |     1214   2552 |        0 |        0
249.65/249.72	c  249s |      21 |  1707972 |  1330245 |     1214   2568 |        0 |        0
251.65/251.73	c  251s |      21 |  1720162 |  1339845 |     1214   2583 |        0 |        0
253.65/253.73	c  253s |      21 |  1732154 |  1349745 |     1214   2598 |        0 |        0
255.65/255.73	c  255s |      21 |  1745709 |  1360545 |     1214   2615 |        0 |        0
257.64/257.73	c  257s |      21 |  1759248 |  1371345 |     1214   2632 |        0 |        0
259.66/259.74	c  259s |      21 |  1774197 |  1382745 |     1214   2650 |        0 |        0
261.65/261.76	c  261s |      21 |  1789228 |  1394145 |     1214   2668 |        0 |        0
263.65/263.77	c  263s |      21 |  1803397 |  1405145 |     1214   2685 |        0 |        0
265.65/265.77	c  265s |      21 |  1819339 |  1416745 |     1214   2703 |        0 |        0
267.65/267.78	c  267s |      21 |  1833130 |  1427445 |     1214   2720 |        0 |        0
269.65/269.79	c  269s |      21 |  1847725 |  1438545 |     1214   2737 |        0 |        0
271.65/271.80	c  271s |      21 |  1862956 |  1450045 |     1214   2755 |        0 |        0
273.75/273.80	c  273s |      21 |  1876823 |  1461445 |     1214   2773 |        0 |        0
275.75/275.81	c  275s |      21 |  1890881 |  1472645 |     1214   2791 |        0 |        0
277.75/277.81	c  277s |      21 |  1905739 |  1483845 |     1214   2808 |        0 |        0
279.75/279.82	c  279s |      21 |  1919375 |  1494845 |     1336   2824 |        0 |        0
280.85/280.92	c  280s |      22 |  1927202 |  1500622 |     1336   2832 |        0 |        0
282.85/282.93	c  282s |      22 |  1939926 |  1510622 |     1336   2846 |        0 |        0
284.85/284.95	c  284s |      22 |  1951312 |  1519922 |     1336   2859 |        0 |        0
286.84/286.96	c  286s |      22 |  1962154 |  1529222 |     1336   2873 |        0 |        0
288.84/288.98	c  288s |      22 |  1973275 |  1538522 |     1336   2886 |        0 |        0
290.84/290.98	c  290s |      22 |  1984920 |  1548022 |     1336   2899 |        0 |        0
292.84/292.99	c  292s |      22 |  1998439 |  1558222 |     1336   2913 |        0 |        0
294.94/295.01	c  294s |      22 |  2012435 |  1568622 |     1336   2928 |        0 |        0
296.95/297.03	c  297s |      22 |  2026699 |  1579522 |     1336   2944 |        0 |        0
298.94/299.04	c  299s |      22 |  2040470 |  1590222 |     1336   2959 |        0 |        0
300.94/301.05	c  301s |      22 |  2053333 |  1601022 |     1336   2974 |        0 |        0
302.94/303.06	c  303s |      22 |  2065616 |  1611322 |     1336   2988 |        0 |        0
304.95/305.06	c  305s |      22 |  2078611 |  1621922 |     1336   3003 |        0 |        0
306.95/307.07	c  307s |      22 |  2091713 |  1632322 |     1336   3018 |        0 |        0
308.95/309.07	c  309s |      22 |  2103734 |  1642122 |     1336   3031 |        0 |        0
310.95/311.07	c  311s |      22 |  2115911 |  1652122 |     1336   3045 |        0 |        0
312.94/313.07	c  313s |      22 |  2128435 |  1662122 |     1336   3059 |        0 |        0
314.94/315.08	c  315s |      22 |  2142295 |  1672622 |     1336   3074 |        0 |        0
316.94/317.10	c  317s |      22 |  2155379 |  1682722 |     1336   3088 |        0 |        0
319.05/319.12	c  319s |      22 |  2168003 |  1693022 |     1336   3103 |        0 |        0
321.04/321.13	c  321s |      22 |  2180897 |  1703422 |     1336   3117 |        0 |        0
323.04/323.13	c  323s |      22 |  2193699 |  1713722 |     1336   3132 |        0 |        0
325.04/325.15	c  325s |      22 |  2205899 |  1723822 |     1336   3146 |        0 |        0
327.04/327.16	c  327s |      22 |  2218962 |  1734422 |     1336   3161 |        0 |        0
329.04/329.17	c  329s |      22 |  2232017 |  1745022 |     1336   3176 |        0 |        0
331.05/331.18	c  331s |      22 |  2245224 |  1755522 |     1336   3191 |        0 |        0
333.04/333.19	c  333s |      22 |  2258022 |  1765722 |     1336   3205 |        0 |        0
335.14/335.20	c  335s |      22 |  2270735 |  1776022 |     1336   3220 |        0 |        0
337.14/337.22	c  337s |      22 |  2282800 |  1785822 |     1336   3234 |        0 |        0
339.14/339.22	c  339s |      22 |  2294406 |  1795522 |     1336   3248 |        0 |        0
341.14/341.22	c  341s |      22 |  2305845 |  1804822 |     1336   3261 |        0 |        0
343.14/343.22	c  343s |      22 |  2318205 |  1814822 |     1336   3275 |        0 |        0
345.14/345.24	c  345s |      22 |  2331107 |  1825122 |     1336   3289 |        0 |        0
347.14/347.26	c  347s |      22 |  2343169 |  1835122 |     1336   3303 |        0 |        0
349.14/349.27	c  349s |      22 |  2355983 |  1845522 |     1336   3318 |        0 |        0
351.13/351.29	c  351s |      22 |  2368032 |  1855722 |     1336   3333 |        0 |        0
353.23/353.30	c  353s |      22 |  2379464 |  1865322 |     1336   3347 |        0 |        0
355.24/355.32	c  355s |      22 |  2391125 |  1874922 |     1336   3360 |        0 |        0
357.23/357.34	c  357s |      22 |  2402143 |  1884022 |     1336   3373 |        0 |        0
359.23/359.35	c  359s |      22 |  2411390 |  1892022 |     1336   3385 |        0 |        0
361.23/361.35	c  361s |      22 |  2422214 |  1901222 |     1336   3398 |        0 |        0
363.23/363.36	c  363s |      22 |  2433360 |  1910422 |     1336   3410 |        0 |        0
365.24/365.37	c  365s |      22 |  2444677 |  1919722 |     1336   3423 |        0 |        0
367.23/367.38	c  367s |      22 |  2456729 |  1929222 |     1336   3437 |        0 |        0
369.23/369.39	c  369s |      22 |  2468288 |  1938422 |     1336   3450 |        0 |        0
371.33/371.40	c  371s |      22 |  2481402 |  1947922 |     1336   3463 |        0 |        0
373.33/373.41	c  373s |      22 |  2493757 |  1957622 |     1336   3477 |        0 |        0
375.33/375.42	c  375s |      22 |  2505965 |  1966622 |     1336   3490 |        0 |        0
377.34/377.44	c  377s |      22 |  2518789 |  1976022 |     1336   3503 |        0 |        0
379.33/379.45	c  379s |      22 |  2532321 |  1985722 |     1336   3517 |        0 |        0
381.33/381.45	c  381s |      22 |  2545061 |  1995422 |     1336   3530 |        0 |        0
383.33/383.47	c  383s |      22 |  2558958 |  2005422 |     1336   3545 |        0 |        0
385.33/385.48	c  385s |      22 |  2571661 |  2015622 |     1336   3559 |        0 |        0
387.33/387.49	c  387s |      22 |  2583884 |  2025822 |     1336   3574 |        0 |        0
389.43/389.51	c  389s |      22 |  2595430 |  2035822 |     1336   3588 |        0 |        0
391.43/391.51	c  391s |      22 |  2609177 |  2046622 |     1336   3603 |        0 |        0
393.43/393.51	c  393s |      22 |  2621138 |  2056822 |     1336   3618 |        0 |        0
395.43/395.53	c  395s |      22 |  2634452 |  2067622 |     1336   3633 |        0 |        0
397.42/397.53	c  397s |      22 |  2647973 |  2078322 |     1336   3648 |        0 |        0
399.42/399.55	c  399s |      22 |  2661139 |  2088922 |     1336   3663 |        0 |        0
401.44/401.55	c  401s |      22 |  2674531 |  2099422 |     1336   3678 |        0 |        0
403.43/403.56	c  403s |      22 |  2687343 |  2109722 |     1336   3693 |        0 |        0
405.43/405.56	c  405s |      22 |  2700321 |  2119922 |     1336   3707 |        0 |        0
407.43/407.57	c  407s |      22 |  2711305 |  2129322 |     1336   3721 |        0 |        0
409.43/409.57	c  409s |      22 |  2722415 |  2138722 |     1336   3734 |        0 |        0
411.44/411.58	c  411s |      22 |  2736201 |  2149322 |     1336   3749 |        0 |        0
413.43/413.58	c  413s |      22 |  2746851 |  2158222 |     1336   3762 |        0 |        0
415.53/415.60	c  415s |      22 |  2759928 |  2168422 |     1336   3776 |        0 |        0
417.53/417.61	c  417s |      22 |  2772206 |  2178122 |     1336   3790 |        0 |        0
419.53/419.62	c  419s |      22 |  2785925 |  2188322 |     1336   3804 |        0 |        0
421.53/421.64	c  421s |      22 |  2797573 |  2197722 |     1336   3818 |        0 |        0
423.53/423.65	c  423s |      22 |  2809289 |  2207222 |     1336   3831 |        0 |        0
425.52/425.67	c  425s |      22 |  2821537 |  2216922 |     1336   3844 |        0 |        0
427.52/427.68	c  427s |      22 |  2834259 |  2226722 |     1336   3858 |        0 |        0
429.52/429.69	c  429s |      22 |  2846977 |  2236722 |     1470   3872 |        0 |        0
431.62/431.70	c  431s |      22 |  2859585 |  2246522 |     1470   3885 |        0 |        0
432.52/432.69	c  432s |      23 |  2865079 |  2251038 |     1470   3890 |        0 |        0
434.63/434.70	c  434s |      23 |  2877471 |  2260938 |     1470   3903 |        0 |        0
436.63/436.72	c  436s |      23 |  2887380 |  2269738 |     1470   3914 |        0 |        0
438.63/438.73	c  438s |      23 |  2896327 |  2277738 |     1470   3924 |        0 |        0
440.63/440.74	c  440s |      23 |  2906030 |  2286238 |     1470   3935 |        0 |        0
442.62/442.75	c  442s |      23 |  2917364 |  2295138 |     1470   3947 |        0 |        0
444.62/444.77	c  444s |      23 |  2928922 |  2304738 |     1470   3959 |        0 |        0
446.63/446.79	c  446s |      23 |  2941380 |  2314338 |     1470   3971 |        0 |        0
448.73/448.81	c  448s |      23 |  2953496 |  2323838 |     1470   3984 |        0 |        0
450.72/450.83	c  450s |      23 |  2964735 |  2333238 |     1470   3996 |        0 |        0
452.72/452.84	c  452s |      23 |  2975790 |  2342538 |     1470   4007 |        0 |        0
454.72/454.86	c  454s |      23 |  2987496 |  2351838 |     1470   4019 |        0 |        0
456.72/456.86	c  456s |      23 |  2999547 |  2361438 |     1470   4032 |        0 |        0
458.73/458.87	c  458s |      23 |  3011673 |  2371238 |     1470   4044 |        0 |        0
460.72/460.88	c  460s |      23 |  3024483 |  2380538 |     1470   4056 |        0 |        0
462.82/462.90	c  462s |      23 |  3036652 |  2389438 |     1470   4068 |        0 |        0
464.82/464.91	c  464s |      23 |  3048104 |  2398938 |     1470   4080 |        0 |        0
466.82/466.91	c  466s |      23 |  3058942 |  2408138 |     1470   4092 |        0 |        0
468.82/468.92	c  468s |      23 |  3070654 |  2417138 |     1470   4104 |        0 |        0
470.82/470.93	c  470s |      23 |  3081783 |  2426038 |     1470   4115 |        0 |        0
472.81/472.95	c  472s |      23 |  3092807 |  2434938 |     1470   4127 |        0 |        0
474.81/474.97	c  474s |      23 |  3105355 |  2444138 |     1470   4138 |        0 |        0
476.81/476.98	c  476s |      23 |  3116221 |  2452938 |     1470   4150 |        0 |        0
478.91/479.00	c  478s |      23 |  3127822 |  2462638 |     1470   4162 |        0 |        0
480.91/481.01	c  480s |      23 |  3138712 |  2472038 |     1470   4174 |        0 |        0
482.93/483.01	c  482s |      23 |  3149438 |  2481238 |     1470   4185 |        0 |        0
484.92/485.02	c  485s |      23 |  3159930 |  2490138 |     1470   4197 |        0 |        0
486.92/487.03	c  487s |      23 |  3171444 |  2499738 |     1470   4209 |        0 |        0
488.92/489.05	c  489s |      23 |  3183722 |  2509438 |     1470   4222 |        0 |        0
490.92/491.06	c  491s |      23 |  3195170 |  2518938 |     1470   4234 |        0 |        0
492.92/493.07	c  493s |      23 |  3206936 |  2528238 |     1470   4246 |        0 |        0
494.92/495.07	c  495s |      23 |  3218458 |  2537438 |     1470   4258 |        0 |        0
496.91/497.08	c  497s |      23 |  3230775 |  2547238 |     1470   4270 |        0 |        0
499.01/499.10	c  499s |      23 |  3242083 |  2556638 |     1470   4282 |        0 |        0
501.01/501.11	c  501s |      23 |  3253966 |  2565938 |     1470   4294 |        0 |        0
503.01/503.12	c  503s |      23 |  3266349 |  2575438 |     1470   4307 |        0 |        0
505.01/505.13	c  505s |      23 |  3278051 |  2584638 |     1470   4319 |        0 |        0
507.02/507.13	c  507s |      23 |  3288783 |  2593738 |     1470   4331 |        0 |        0
509.01/509.14	c  509s |      23 |  3299992 |  2602938 |     1470   4342 |        0 |        0
511.01/511.14	c  511s |      23 |  3311597 |  2612738 |     1470   4355 |        0 |        0
513.01/513.14	c  513s |      23 |  3323169 |  2622738 |     1470   4368 |        0 |        0
515.01/515.15	c  515s |      23 |  3333461 |  2631838 |     1470   4380 |        0 |        0
517.02/517.17	c  517s |      23 |  3343275 |  2640738 |     1470   4391 |        0 |        0
519.01/519.18	c  519s |      23 |  3353613 |  2649838 |     1470   4403 |        0 |        0
521.01/521.19	c  521s |      23 |  3365185 |  2659438 |     1470   4415 |        0 |        0
523.11/523.21	c  523s |      23 |  3376771 |  2669138 |     1470   4427 |        0 |        0
525.11/525.22	c  525s |      23 |  3388010 |  2678638 |     1470   4439 |        0 |        0
527.11/527.23	c  527s |      23 |  3399933 |  2688638 |     1470   4452 |        0 |        0
529.11/529.24	c  529s |      23 |  3412010 |  2698738 |     1470   4465 |        0 |        0
531.11/531.26	c  531s |      23 |  3423585 |  2708838 |     1470   4477 |        0 |        0
533.11/533.26	c  533s |      23 |  3433161 |  2717538 |     1470   4489 |        0 |        0
535.11/535.26	c  535s |      23 |  3445097 |  2727538 |     1470   4502 |        0 |        0
537.11/537.27	c  537s |      23 |  3456918 |  2737438 |     1470   4515 |        0 |        0
539.11/539.27	c  539s |      23 |  3467566 |  2746838 |     1470   4527 |        0 |        0
541.11/541.27	c  541s |      23 |  3478204 |  2756038 |     1470   4539 |        0 |        0
543.10/543.28	c  543s |      23 |  3489288 |  2765238 |     1470   4551 |        0 |        0
545.10/545.29	c  545s |      23 |  3501729 |  2774938 |     1470   4564 |        0 |        0
547.10/547.29	c  547s |      23 |  3515625 |  2784738 |     1470   4576 |        0 |        0
549.20/549.31	c  549s |      23 |  3527986 |  2794038 |     1470   4588 |        0 |        0
551.21/551.32	c  551s |      23 |  3540176 |  2803338 |     1470   4600 |        0 |        0
553.22/553.33	c  553s |      23 |  3551578 |  2812238 |     1470   4611 |        0 |        0
555.21/555.35	c  555s |      23 |  3562976 |  2821238 |     1470   4623 |        0 |        0
557.21/557.36	c  557s |      23 |  3574534 |  2830038 |     1470   4634 |        0 |        0
559.21/559.38	c  559s |      23 |  3587068 |  2839438 |     1470   4646 |        0 |        0
561.21/561.38	c  561s |      23 |  3601589 |  2848738 |     1470   4659 |        0 |        0
563.21/563.39	c  563s |      23 |  3614804 |  2858438 |     1470   4671 |        0 |        0
565.21/565.40	c  565s |      23 |  3624670 |  2866738 |     1470   4682 |        0 |        0
567.30/567.40	c  567s |      23 |  3634977 |  2875238 |     1470   4693 |        0 |        0
569.30/569.41	c  569s |      23 |  3646749 |  2884438 |     1470   4705 |        0 |        0
571.30/571.42	c  571s |      23 |  3658465 |  2893438 |     1470   4716 |        0 |        0
573.30/573.43	c  573s |      23 |  3667723 |  2901538 |     1470   4726 |        0 |        0
575.31/575.45	c  575s |      23 |  3678504 |  2910838 |     1470   4738 |        0 |        0
577.30/577.47	c  577s |      23 |  3690972 |  2921338 |     1470   4752 |        0 |        0
579.30/579.49	c  579s |      23 |  3702750 |  2931438 |     1470   4764 |        0 |        0
581.30/581.49	c  581s |      23 |  3715913 |  2941938 |     1470   4778 |        0 |        0
583.40/583.50	c  583s |      23 |  3727930 |  2952038 |     1470   4791 |        0 |        0
585.40/585.51	c  585s |      23 |  3740728 |  2962238 |     1470   4804 |        0 |        0
587.41/587.52	c  587s |      23 |  3753337 |  2972238 |     1470   4817 |        0 |        0
589.40/589.53	c  589s |      23 |  3765369 |  2982138 |     1470   4830 |        0 |        0
591.40/591.53	c  591s |      23 |  3776947 |  2991738 |     1470   4842 |        0 |        0
593.40/593.55	c  593s |      23 |  3788267 |  3001238 |     1470   4854 |        0 |        0
595.39/595.55	c  595s |      23 |  3799319 |  3010538 |     1470   4866 |        0 |        0
597.39/597.57	c  597s |      23 |  3809982 |  3019838 |     1470   4878 |        0 |        0
599.41/599.59	c  599s |      23 |  3820862 |  3029038 |     1470   4890 |        0 |        0
601.50/601.61	c  601s |      23 |  3831248 |  3038138 |     1470   4902 |        0 |        0
603.50/603.62	c  603s |      23 |  3842559 |  3047738 |     1470   4914 |        0 |        0
605.50/605.62	c  605s |      23 |  3854931 |  3057338 |     1470   4927 |        0 |        0
607.50/607.63	c  607s |      23 |  3868162 |  3067038 |     1470   4939 |        0 |        0
609.50/609.64	c  609s |      23 |  3880279 |  3077038 |     1470   4952 |        0 |        0
611.50/611.66	c  611s |      23 |  3893494 |  3087138 |     1470   4965 |        0 |        0
613.50/613.67	c  613s |      23 |  3905536 |  3096938 |     1470   4978 |        0 |        0
615.49/615.69	c  615s |      23 |  3917622 |  3106638 |     1470   4990 |        0 |        0
617.59/617.70	c  617s |      23 |  3928481 |  3115938 |     1470   5002 |        0 |        0
619.59/619.70	c  619s |      23 |  3939775 |  3125638 |     1470   5015 |        0 |        0
621.59/621.70	c  621s |      23 |  3952342 |  3135738 |     1470   5027 |        0 |        0
623.60/623.72	c  623s |      23 |  3965056 |  3145738 |     1470   5040 |        0 |        0
625.59/625.74	c  625s |      23 |  3979237 |  3155938 |     1470   5053 |        0 |        0
627.59/627.75	c  627s |      23 |  3991471 |  3165738 |     1470   5066 |        0 |        0
629.59/629.77	c  629s |      23 |  4003209 |  3175638 |     1470   5079 |        0 |        0
631.59/631.78	c  631s |      23 |  4016452 |  3185938 |     1470   5092 |        0 |        0
633.60/633.79	c  633s |      23 |  4029593 |  3195938 |     1470   5105 |        0 |        0
635.70/635.81	c  635s |      23 |  4041555 |  3205438 |     1470   5117 |        0 |        0
637.69/637.82	c  637s |      23 |  4053078 |  3214338 |     1470   5129 |        0 |        0
639.69/639.83	c  639s |      23 |  4064754 |  3223438 |     1470   5140 |        0 |        0
641.69/641.84	c  641s |      23 |  4078138 |  3233338 |     1470   5153 |        0 |        0
643.69/643.85	c  643s |      23 |  4091564 |  3243138 |     1470   5166 |        0 |        0
645.69/645.88	c  645s |      23 |  4103920 |  3252938 |     1470   5179 |        0 |        0
647.69/647.89	c  647s |      23 |  4118287 |  3263238 |     1470   5192 |        0 |        0
649.69/649.89	c  649s |      23 |  4129700 |  3272438 |     1470   5204 |        0 |        0
651.79/651.90	c  651s |      23 |  4142910 |  3282338 |     1470   5216 |        0 |        0
653.79/653.92	c  653s |      23 |  4156846 |  3292638 |     1470   5230 |        0 |        0
655.79/655.95	c  655s |      23 |  4169431 |  3302038 |     1470   5242 |        0 |        0
657.80/657.96	c  657s |      23 |  4182294 |  3311838 |     1470   5254 |        0 |        0
659.79/659.98	c  659s |      23 |  4194500 |  3321238 |     1470   5266 |        0 |        0
661.89/662.00	c  661s |      23 |  4206572 |  3330938 |     1470   5279 |        0 |        0
663.89/664.01	c  663s |      23 |  4217895 |  3340338 |     1470   5291 |        0 |        0
665.88/666.01	c  665s |      23 |  4230469 |  3350038 |     1470   5303 |        0 |        0
667.88/668.01	c  667s |      23 |  4242411 |  3359238 |     1618   5314 |        0 |        0
669.89/670.01	c  669s |      23 |  4254778 |  3368538 |     1618   5325 |        0 |        0
671.68/671.80	c  671s |      24 |  4264866 |  3376662 |     1618   5335 |        0 |        0
673.68/673.81	c  673s |      24 |  4277017 |  3386162 |     1618   5346 |        0 |        0
675.68/675.82	c  675s |      24 |  4287351 |  3394962 |     1618   5356 |        0 |        0
677.68/677.84	c  677s |      24 |  4298617 |  3404062 |     1618   5367 |        0 |        0
679.69/679.86	c  679s |      24 |  4309086 |  3412862 |     1618   5378 |        0 |        0
681.68/681.88	c  681s |      24 |  4319509 |  3421762 |     1618   5388 |        0 |        0
683.69/683.89	c  683s |      24 |  4329562 |  3430462 |     1618   5399 |        0 |        0
685.69/685.89	c  685s |      24 |  4339720 |  3439062 |     1618   5409 |        0 |        0
687.79/687.91	c  687s |      24 |  4350102 |  3448162 |     1618   5420 |        0 |        0
689.79/689.93	c  689s |      24 |  4360145 |  3457062 |     1618   5430 |        0 |        0
691.79/691.95	c  691s |      24 |  4369596 |  3465362 |     1618   5440 |        0 |        0
693.78/693.95	c  693s |      24 |  4380169 |  3474262 |     1618   5451 |        0 |        0
695.78/695.96	c  695s |      24 |  4391552 |  3483762 |     1618   5462 |        0 |        0
697.78/697.99	c  697s |      24 |  4403332 |  3493062 |     1618   5473 |        0 |        0
699.78/699.99	c  699s |      24 |  4413349 |  3501762 |     1618   5483 |        0 |        0
701.88/702.00	c  701s |      24 |  4423949 |  3510762 |     1618   5494 |        0 |        0
703.89/704.01	c  703s |      24 |  4434494 |  3519662 |     1618   5505 |        0 |        0
705.88/706.01	c  705s |      24 |  4445154 |  3528662 |     1618   5515 |        0 |        0
707.88/708.02	c  708s |      24 |  4455919 |  3537862 |     1618   5526 |        0 |        0
709.88/710.05	c  710s |      24 |  4467467 |  3547362 |     1618   5538 |        0 |        0
711.88/712.07	c  712s |      24 |  4478052 |  3556262 |     1618   5548 |        0 |        0
713.89/714.07	c  714s |      24 |  4489493 |  3565462 |     1618   5559 |        0 |        0
715.88/716.08	c  716s |      24 |  4500024 |  3574462 |     1618   5570 |        0 |        0
717.88/718.09	c  718s |      24 |  4511607 |  3583562 |     1618   5581 |        0 |        0
719.88/720.09	c  720s |      24 |  4523158 |  3592662 |     1618   5592 |        0 |        0
721.98/722.11	c  722s |      24 |  4534054 |  3601562 |     1618   5602 |        0 |        0
723.98/724.12	c  724s |      24 |  4545253 |  3610662 |     1618   5613 |        0 |        0
725.98/726.13	c  726s |      24 |  4556537 |  3619762 |     1618   5624 |        0 |        0
727.97/728.13	c  728s |      24 |  4569748 |  3629962 |     1618   5636 |        0 |        0
729.97/730.16	c  730s |      24 |  4581065 |  3639562 |     1618   5647 |        0 |        0
731.97/732.16	c  732s |      24 |  4592106 |  3648662 |     1618   5658 |        0 |        0
733.97/734.17	c  734s |      24 |  4603748 |  3657862 |     1618   5669 |        0 |        0
735.96/736.17	c  736s |      24 |  4616036 |  3667762 |     1618   5681 |        0 |        0
737.97/738.20	c  738s |      24 |  4628105 |  3677362 |     1618   5693 |        0 |        0
740.06/740.22	c  740s |      24 |  4639621 |  3686762 |     1618   5704 |        0 |        0
742.06/742.23	c  742s |      24 |  4650801 |  3696262 |     1618   5715 |        0 |        0
744.06/744.25	c  744s |      24 |  4661202 |  3705162 |     1618   5725 |        0 |        0
746.06/746.26	c  746s |      24 |  4671829 |  3714262 |     1618   5736 |        0 |        0
748.06/748.27	c  748s |      24 |  4681896 |  3722862 |     1618   5746 |        0 |        0
750.06/750.29	c  750s |      24 |  4691721 |  3731462 |     1618   5756 |        0 |        0
752.16/752.31	c  752s |      24 |  4701998 |  3740362 |     1618   5767 |        0 |        0
754.16/754.32	c  754s |      24 |  4712897 |  3749762 |     1618   5778 |        0 |        0
756.15/756.33	c  756s |      24 |  4724658 |  3759462 |     1618   5789 |        0 |        0
758.15/758.33	c  758s |      24 |  4736018 |  3768662 |     1618   5800 |        0 |        0
760.15/760.35	c  760s |      24 |  4748194 |  3778262 |     1618   5812 |        0 |        0
762.16/762.36	c  762s |      24 |  4759034 |  3787462 |     1618   5823 |        0 |        0
764.15/764.38	c  764s |      24 |  4771773 |  3797362 |     1618   5835 |        0 |        0
766.25/766.40	c  766s |      24 |  4784541 |  3807362 |     1618   5846 |        0 |        0
768.25/768.42	c  768s |      24 |  4794171 |  3815862 |     1618   5856 |        0 |        0
770.25/770.42	c  770s |      24 |  4804666 |  3824762 |     1618   5867 |        0 |        0
772.25/772.43	c  772s |      24 |  4815216 |  3833862 |     1618   5878 |        0 |        0
774.25/774.46	c  774s |      24 |  4826191 |  3842962 |     1618   5889 |        0 |        0
776.24/776.48	c  776s |      24 |  4837155 |  3852162 |     1618   5900 |        0 |        0
778.24/778.49	c  778s |      24 |  4848475 |  3861462 |     1618   5911 |        0 |        0
780.25/780.49	c  780s |      24 |  4859057 |  3870362 |     1618   5921 |        0 |        0
782.35/782.51	c  782s |      24 |  4869683 |  3879562 |     1618   5932 |        0 |        0
784.35/784.52	c  784s |      24 |  4880510 |  3888962 |     1618   5943 |        0 |        0
786.35/786.53	c  786s |      24 |  4891107 |  3898262 |     1618   5954 |        0 |        0
788.35/788.54	c  788s |      24 |  4901880 |  3907562 |     1618   5965 |        0 |        0
790.35/790.57	c  790s |      24 |  4911498 |  3916362 |     1618   5975 |        0 |        0
792.34/792.58	c  792s |      24 |  4920992 |  3924762 |     1618   5985 |        0 |        0
794.44/794.61	c  794s |      24 |  4932126 |  3934162 |     1618   5997 |        0 |        0
796.44/796.62	c  796s |      24 |  4942259 |  3942862 |     1618   6007 |        0 |        0
798.44/798.63	c  798s |      24 |  4951340 |  3951062 |     1618   6017 |        0 |        0
800.44/800.65	c  800s |      24 |  4960713 |  3959462 |     1618   6026 |        0 |        0
802.44/802.66	c  802s |      24 |  4970375 |  3967862 |     1618   6036 |        0 |        0
804.44/804.66	c  804s |      24 |  4980526 |  3976562 |     1618   6047 |        0 |        0
806.43/806.67	c  806s |      24 |  4990928 |  3985662 |     1618   6058 |        0 |        0
808.44/808.68	c  808s |      24 |  5001808 |  3995062 |     1618   6069 |        0 |        0
810.43/810.69	c  810s |      24 |  5012762 |  4004462 |     1618   6080 |        0 |        0
812.43/812.69	c  812s |      24 |  5022887 |  4013262 |     1618   6090 |        0 |        0
814.43/814.69	c  814s |      24 |  5033431 |  4022262 |     1618   6101 |        0 |        0
816.52/816.70	c  816s |      24 |  5044679 |  4031762 |     1618   6113 |        0 |        0
818.52/818.72	c  818s |      24 |  5056005 |  4041462 |     1618   6124 |        0 |        0
820.53/820.72	c  820s |      24 |  5067288 |  4051162 |     1618   6136 |        0 |        0
822.52/822.74	c  822s |      24 |  5078134 |  4060462 |     1618   6147 |        0 |        0
824.52/824.76	c  824s |      24 |  5089812 |  4070462 |     1618   6159 |        0 |        0
826.52/826.78	c  826s |      24 |  5101011 |  4080162 |     1618   6170 |        0 |        0
828.52/828.79	c  828s |      24 |  5112386 |  4089662 |     1618   6181 |        0 |        0
830.62/830.81	c  830s |      24 |  5124790 |  4099762 |     1618   6193 |        0 |        0
832.62/832.81	c  832s |      24 |  5136894 |  4109562 |     1618   6205 |        0 |        0
834.62/834.82	c  834s |      24 |  5147964 |  4118962 |     1618   6216 |        0 |        0
836.62/836.82	c  836s |      24 |  5158608 |  4128062 |     1618   6227 |        0 |        0
838.62/838.84	c  838s |      24 |  5168878 |  4136862 |     1618   6238 |        0 |        0
840.62/840.86	c  840s |      24 |  5179458 |  4145862 |     1618   6248 |        0 |        0
842.62/842.87	c  842s |      24 |  5189724 |  4154562 |     1618   6259 |        0 |        0
844.62/844.88	c  844s |      24 |  5200103 |  4163462 |     1618   6269 |        0 |        0
846.61/846.89	c  846s |      24 |  5211092 |  4172662 |     1618   6280 |        0 |        0
848.71/848.90	c  848s |      24 |  5222749 |  4182562 |     1618   6292 |        0 |        0
850.71/850.90	c  850s |      24 |  5234566 |  4192462 |     1618   6304 |        0 |        0
852.71/852.91	c  852s |      24 |  5245687 |  4202062 |     1618   6315 |        0 |        0
854.71/854.91	c  854s |      24 |  5256265 |  4211362 |     1618   6326 |        0 |        0
856.71/856.92	c  856s |      24 |  5266832 |  4220662 |     1618   6337 |        0 |        0
858.71/858.92	c  858s |      24 |  5278092 |  4230262 |     1618   6349 |        0 |        0
860.71/860.93	c  860s |      24 |  5289379 |  4240162 |     1618   6360 |        0 |        0
862.70/862.93	c  862s |      24 |  5300125 |  4249662 |     1618   6372 |        0 |        0
864.70/864.94	c  864s |      24 |  5312050 |  4259662 |     1618   6384 |        0 |        0
866.71/866.95	c  866s |      24 |  5323211 |  4269562 |     1618   6395 |        0 |        0
868.70/868.96	c  868s |      24 |  5334583 |  4279362 |     1618   6407 |        0 |        0
870.70/870.98	c  870s |      24 |  5345709 |  4289162 |     1618   6419 |        0 |        0
872.70/872.99	c  872s |      24 |  5356963 |  4298762 |     1618   6430 |        0 |        0
874.80/875.00	c  874s |      24 |  5367974 |  4308362 |     1618   6441 |        0 |        0
876.79/877.02	c  877s |      24 |  5378090 |  4317362 |     1618   6452 |        0 |        0
878.80/879.02	c  879s |      24 |  5389478 |  4326962 |     1618   6464 |        0 |        0
880.79/881.04	c  881s |      24 |  5401351 |  4336962 |     1618   6476 |        0 |        0
882.79/883.06	c  883s |      24 |  5412548 |  4346662 |     1618   6487 |        0 |        0
884.79/885.07	c  885s |      24 |  5424084 |  4356262 |     1618   6498 |        0 |        0
886.79/887.07	c  887s |      24 |  5435740 |  4366062 |     1618   6510 |        0 |        0
888.89/889.10	c  889s |      24 |  5447856 |  4376262 |     1618   6522 |        0 |        0
890.89/891.11	c  891s |      24 |  5458158 |  4385262 |     1618   6533 |        0 |        0
892.89/893.11	c  893s |      24 |  5469243 |  4394662 |     1618   6544 |        0 |        0
894.88/895.12	c  895s |      24 |  5479632 |  4403562 |     1618   6555 |        0 |        0
896.88/897.14	c  897s |      24 |  5489902 |  4412662 |     1618   6565 |        0 |        0
898.88/899.16	c  899s |      24 |  5500168 |  4421762 |     1618   6576 |        0 |        0
900.88/901.17	c  901s |      24 |  5510948 |  4430862 |     1618   6587 |        0 |        0
902.89/903.17	c  903s |      24 |  5521129 |  4439562 |     1618   6597 |        0 |        0
904.88/905.18	c  905s |      24 |  5532034 |  4448662 |     1618   6608 |        0 |        0
906.98/907.20	c  907s |      24 |  5542137 |  4457462 |     1618   6619 |        0 |        0
908.98/909.20	c  909s |      24 |  5551292 |  4465562 |     1618   6628 |        0 |        0
910.98/911.21	c  911s |      24 |  5561496 |  4474462 |     1618   6639 |        0 |        0
912.98/913.23	c  913s |      24 |  5572845 |  4483962 |     1618   6650 |        0 |        0
914.98/915.23	c  915s |      24 |  5584327 |  4493762 |     1618   6662 |        0 |        0
916.97/917.25	c  917s |      24 |  5595195 |  4503162 |     1618   6673 |        0 |        0
918.97/919.26	c  919s |      24 |  5605877 |  4512362 |     1618   6684 |        0 |        0
920.97/921.27	c  921s |      24 |  5617501 |  4522062 |     1618   6696 |        0 |        0
922.97/923.28	c  923s |      24 |  5627577 |  4530862 |     1618   6706 |        0 |        0
925.07/925.30	c  925s |      24 |  5637230 |  4539262 |     1618   6716 |        0 |        0
927.07/927.31	c  927s |      24 |  5647858 |  4548462 |     1618   6727 |        0 |        0
929.06/929.32	c  929s |      24 |  5658554 |  4557662 |     1618   6738 |        0 |        0
931.06/931.34	c  931s |      24 |  5669889 |  4566962 |     1618   6749 |        0 |        0
933.06/933.35	c  933s |      24 |  5681089 |  4576362 |     1618   6760 |        0 |        0
935.06/935.36	c  935s |      24 |  5692124 |  4585562 |     1618   6771 |        0 |        0
937.06/937.37	c  937s |      24 |  5703364 |  4595062 |     1618   6782 |        0 |        0
939.07/939.38	c  939s |      24 |  5714015 |  4604162 |     1618   6793 |        0 |        0
941.07/941.38	c  941s |      24 |  5723427 |  4612662 |     1618   6803 |        0 |        0
943.07/943.39	c  943s |      24 |  5734251 |  4621962 |     1618   6814 |        0 |        0
945.16/945.41	c  945s |      24 |  5744377 |  4630962 |     1618   6825 |        0 |        0
947.16/947.43	c  947s |      24 |  5754929 |  4640262 |     1618   6836 |        0 |        0
949.17/949.43	c  949s |      24 |  5766051 |  4649662 |     1618   6847 |        0 |        0
951.16/951.44	c  951s |      24 |  5776919 |  4658762 |     1618   6857 |        0 |        0
953.16/953.46	c  953s |      24 |  5787474 |  4667962 |     1618   6868 |        0 |        0
955.16/955.46	c  955s |      24 |  5797075 |  4676562 |     1618   6879 |        0 |        0
957.16/957.48	c  957s |      24 |  5806864 |  4685062 |     1618   6889 |        0 |        0
959.26/959.50	c  959s |      24 |  5817114 |  4693662 |     1618   6899 |        0 |        0
961.16/961.50	c  961s |      24 |  5830213 |  4703362 |     1618   6910 |        0 |        0
963.25/963.51	c  963s |      24 |  5841533 |  4712762 |     1618   6921 |        0 |        0
965.25/965.52	c  965s |      24 |  5854726 |  4723062 |     1618   6934 |        0 |        0
967.25/967.53	c  967s |      24 |  5867785 |  4733362 |     1618   6946 |        0 |        0
969.25/969.53	c  969s |      24 |  5880629 |  4743562 |     1618   6958 |        0 |        0
971.25/971.54	c  971s |      24 |  5893011 |  4753362 |     1618   6970 |        0 |        0
973.26/973.56	c  973s |      24 |  5905843 |  4763862 |     1618   6982 |        0 |        0
975.25/975.56	c  975s |      24 |  5917206 |  4773562 |     1618   6994 |        0 |        0
977.25/977.58	c  977s |      24 |  5928151 |  4783162 |     1618   7005 |        0 |        0
979.25/979.60	c  979s |      24 |  5940092 |  4792762 |     1618   7017 |        0 |        0
981.34/981.61	c  981s |      24 |  5951375 |  4802262 |     1618   7028 |        0 |        0
983.34/983.62	c  983s |      24 |  5961587 |  4811162 |     1618   7038 |        0 |        0
985.35/985.64	c  985s |      24 |  5971786 |  4819962 |     1618   7049 |        0 |        0
987.34/987.64	c  987s |      24 |  5983952 |  4829362 |     1618   7060 |        0 |        0
989.34/989.66	c  989s |      24 |  5994348 |  4838262 |     1618   7071 |        0 |        0
991.34/991.67	c  991s |      24 |  6005607 |  4847462 |     1618   7082 |        0 |        0
993.34/993.68	c  993s |      24 |  6016717 |  4856662 |     1618   7093 |        0 |        0
995.34/995.69	c  995s |      24 |  6026979 |  4865462 |     1618   7103 |        0 |        0
997.44/997.71	c  997s |      24 |  6036871 |  4874262 |     1618   7114 |        0 |        0
999.44/999.71	c  999s |      24 |  6046772 |  4882962 |     1618   7124 |        0 |        0
1001.44/1001.71	c 1001s |      24 |  6056050 |  4891262 |     1618   7134 |        0 |        0
1003.44/1003.72	c 1003s |      24 |  6065746 |  4899962 |     1618   7144 |        0 |        0
1005.43/1005.72	c 1005s |      24 |  6075134 |  4908562 |     1618   7154 |        0 |        0
1007.44/1007.74	c 1007s |      24 |  6085326 |  4917662 |     1618   7165 |        0 |        0
1009.43/1009.75	c 1009s |      24 |  6095463 |  4926762 |     1618   7176 |        0 |        0
1011.43/1011.76	c 1011s |      24 |  6105780 |  4935862 |     1618   7187 |        0 |        0
1013.43/1013.76	c 1013s |      24 |  6115048 |  4944162 |     1618   7197 |        0 |        0
1015.42/1015.78	c 1015s |      24 |  6125769 |  4953462 |     1618   7208 |        0 |        0
1017.52/1017.80	c 1017s |      24 |  6135915 |  4962362 |     1618   7218 |        0 |        0
1019.53/1019.82	c 1019s |      24 |  6144912 |  4970562 |     1618   7228 |        0 |        0
1021.52/1021.83	c 1021s |      24 |  6155275 |  4979562 |     1618   7239 |        0 |        0
1023.52/1023.84	c 1023s |      24 |  6164807 |  4988262 |     1618   7249 |        0 |        0
1025.52/1025.85	c 1025s |      24 |  6174905 |  4997062 |     1618   7259 |        0 |        0
1027.52/1027.85	c 1027s |      24 |  6185656 |  5006262 |     1618   7270 |        0 |        0
1029.52/1029.86	c 1029s |      24 |  6196752 |  5015962 |     1618   7282 |        0 |        0
1031.52/1031.88	c 1031s |      24 |  6208450 |  5026062 |     1618   7294 |        0 |        0
1033.62/1033.90	c 1033s |      24 |  6219723 |  5035762 |     1780   7304 |        0 |        0
1035.61/1035.91	c 1035s |      24 |  6230749 |  5045062 |     1780   7315 |        0 |        0
1037.61/1037.93	c 1037s |      24 |  6240757 |  5053962 |     1780   7324 |        0 |        0
1039.61/1039.94	c 1039s |      24 |  6251466 |  5063162 |     1780   7334 |        0 |        0
1040.01/1040.32	c 1040s |      25 |  6253816 |  5065098 |     1780   7336 |        0 |        0
1042.01/1042.34	c 1042s |      25 |  6266932 |  5075198 |     1780   7347 |        0 |        0
1044.01/1044.34	c 1044s |      25 |  6278036 |  5084398 |     1780   7357 |        0 |        0
1046.00/1046.36	c 1046s |      25 |  6289820 |  5093598 |     1780   7367 |        0 |        0
1048.01/1048.37	c 1048s |      25 |  6302219 |  5102998 |     1780   7377 |        0 |        0
1050.00/1050.38	c 1050s |      25 |  6313962 |  5112098 |     1780   7387 |        0 |        0
1052.00/1052.38	c 1052s |      25 |  6324585 |  5120598 |     1780   7396 |        0 |        0
1054.00/1054.39	c 1054s |      25 |  6335621 |  5129398 |     1780   7406 |        0 |        0
1056.09/1056.40	c 1056s |      25 |  6348261 |  5138898 |     1780   7416 |        0 |        0
1058.09/1058.42	c 1058s |      25 |  6358602 |  5147598 |     1780   7426 |        0 |        0
1060.10/1060.43	c 1060s |      25 |  6368853 |  5156298 |     1780   7435 |        0 |        0
1062.09/1062.43	c 1062s |      25 |  6380276 |  5165198 |     1780   7445 |        0 |        0
1064.09/1064.43	c 1064s |      25 |  6391009 |  5174198 |     1780   7454 |        0 |        0
1066.09/1066.45	c 1066s |      25 |  6402576 |  5183398 |     1780   7464 |        0 |        0
1068.09/1068.47	c 1068s |      25 |  6413723 |  5192498 |     1780   7474 |        0 |        0
1070.10/1070.48	c 1070s |      25 |  6424666 |  5201298 |     1780   7484 |        0 |        0
1072.10/1072.48	c 1072s |      25 |  6435347 |  5209798 |     1780   7493 |        0 |        0
1074.10/1074.49	c 1074s |      25 |  6445868 |  5218698 |     1780   7503 |        0 |        0
1076.19/1076.50	c 1076s |      25 |  6456355 |  5227698 |     1780   7512 |        0 |        0
1078.19/1078.52	c 1078s |      25 |  6468123 |  5237298 |     1780   7523 |        0 |        0
1080.19/1080.55	c 1080s |      25 |  6480579 |  5247098 |     1780   7534 |        0 |        0
1082.20/1082.56	c 1082s |      25 |  6492190 |  5256398 |     1780   7544 |        0 |        0
1084.19/1084.58	c 1084s |      25 |  6502595 |  5265398 |     1780   7553 |        0 |        0
1086.19/1086.59	c 1086s |      25 |  6513267 |  5274398 |     1780   7563 |        0 |        0
1088.19/1088.59	c 1088s |      25 |  6524442 |  5283698 |     1780   7573 |        0 |        0
1090.19/1090.59	c 1090s |      25 |  6534780 |  5292598 |     1780   7583 |        0 |        0
1092.19/1092.59	c 1092s |      25 |  6545110 |  5301298 |     1780   7592 |        0 |        0
1094.19/1094.60	c 1094s |      25 |  6555635 |  5310198 |     1780   7602 |        0 |        0
1096.28/1096.61	c 1096s |      25 |  6566320 |  5319298 |     1780   7612 |        0 |        0
1098.28/1098.62	c 1098s |      25 |  6576504 |  5328198 |     1780   7622 |        0 |        0
1100.28/1100.63	c 1100s |      25 |  6587407 |  5337198 |     1780   7631 |        0 |        0
1102.28/1102.64	c 1102s |      25 |  6598829 |  5346398 |     1780   7641 |        0 |        0
1104.28/1104.65	c 1104s |      25 |  6609575 |  5355398 |     1780   7651 |        0 |        0
1106.28/1106.65	c 1106s |      25 |  6620500 |  5364198 |     1780   7661 |        0 |        0
1108.27/1108.67	c 1108s |      25 |  6630820 |  5372998 |     1780   7670 |        0 |        0
1110.27/1110.69	c 1110s |      25 |  6640668 |  5381698 |     1780   7680 |        0 |        0
1112.37/1112.70	c 1112s |      25 |  6650466 |  5390298 |     1780   7689 |        0 |        0
1114.37/1114.72	c 1114s |      25 |  6659360 |  5398098 |     1780   7698 |        0 |        0
1116.37/1116.73	c 1116s |      25 |  6669325 |  5406398 |     1780   7707 |        0 |        0
1118.38/1118.74	c 1118s |      25 |  6679503 |  5414898 |     1780   7716 |        0 |        0
1120.37/1120.75	c 1120s |      25 |  6690056 |  5423698 |     1780   7725 |        0 |        0
1122.37/1122.77	c 1122s |      25 |  6700013 |  5432198 |     1780   7735 |        0 |        0
1124.46/1124.80	c 1124s |      25 |  6710910 |  5441098 |     1780   7744 |        0 |        0
1126.46/1126.81	c 1126s |      25 |  6722034 |  5450098 |     1780   7754 |        0 |        0
1128.46/1128.82	c 1128s |      25 |  6732380 |  5458898 |     1780   7764 |        0 |        0
1130.47/1130.82	c 1130s |      25 |  6742766 |  5467598 |     1780   7773 |        0 |        0
1132.46/1132.82	c 1132s |      25 |  6753731 |  5476498 |     1780   7783 |        0 |        0
1134.46/1134.84	c 1134s |      25 |  6765728 |  5485998 |     1780   7793 |        0 |        0
1136.46/1136.84	c 1136s |      25 |  6777441 |  5495298 |     1780   7803 |        0 |        0
1138.46/1138.85	c 1138s |      25 |  6789066 |  5504998 |     1780   7814 |        0 |        0
1140.47/1140.87	c 1140s |      25 |  6800634 |  5514598 |     1780   7824 |        0 |        0
1142.46/1142.89	c 1142s |      25 |  6811508 |  5523598 |     1780   7834 |        0 |        0
1144.55/1144.90	c 1144s |      25 |  6821791 |  5532298 |     1780   7844 |        0 |        0
1146.55/1146.90	c 1146s |      25 |  6832515 |  5541298 |     1780   7853 |        0 |        0
1148.55/1148.91	c 1148s |      25 |  6842457 |  5549898 |     1780   7863 |        0 |        0
1150.56/1150.92	c 1150s |      25 |  6853292 |  5558998 |     1780   7873 |        0 |        0
1152.56/1152.93	c 1152s |      25 |  6865355 |  5568898 |     1780   7883 |        0 |        0
1154.55/1154.95	c 1154s |      25 |  6877437 |  5578398 |     1780   7894 |        0 |        0
1156.55/1156.97	c 1156s |      25 |  6889075 |  5587798 |     1780   7904 |        0 |        0
1158.55/1158.97	c 1158s |      25 |  6899565 |  5596798 |     1780   7914 |        0 |        0
1160.55/1160.99	c 1160s |      25 |  6910568 |  5605798 |     1780   7924 |        0 |        0
1162.65/1163.01	c 1162s |      25 |  6920674 |  5614598 |     1780   7933 |        0 |        0
1164.65/1165.02	c 1165s |      25 |  6931306 |  5623298 |     1780   7943 |        0 |        0
1166.65/1167.04	c 1167s |      25 |  6942105 |  5632298 |     1780   7953 |        0 |        0
1168.65/1169.04	c 1169s |      25 |  6952432 |  5640998 |     1780   7962 |        0 |        0
1170.65/1171.05	c 1171s |      25 |  6963576 |  5650398 |     1780   7972 |        0 |        0
1172.64/1173.06	c 1173s |      25 |  6974235 |  5659598 |     1780   7982 |        0 |        0
1174.64/1175.07	c 1175s |      25 |  6984638 |  5668398 |     1780   7992 |        0 |        0
1176.65/1177.08	c 1177s |      25 |  6996010 |  5677598 |     1780   8002 |        0 |        0
1178.74/1179.10	c 1179s |      25 |  7007366 |  5686598 |     1780   8012 |        0 |        0
1180.74/1181.11	c 1181s |      25 |  7017990 |  5695398 |     1780   8021 |        0 |        0
1182.74/1183.11	c 1183s |      25 |  7028823 |  5704498 |     1780   8031 |        0 |        0
1184.74/1185.12	c 1185s |      25 |  7038205 |  5712698 |     1780   8040 |        0 |        0
1186.74/1187.12	c 1187s |      25 |  7048302 |  5721398 |     1780   8049 |        0 |        0
1188.74/1189.13	c 1189s |      25 |  7059130 |  5730498 |     1780   8059 |        0 |        0
1190.74/1191.13	c 1191s |      25 |  7069928 |  5739598 |     1780   8069 |        0 |        0
1192.73/1193.15	c 1193s |      25 |  7081290 |  5748798 |     1780   8079 |        0 |        0
1194.73/1195.17	c 1195s |      25 |  7092720 |  5757898 |     1780   8089 |        0 |        0
1196.73/1197.18	c 1197s |      25 |  7104705 |  5767198 |     1780   8099 |        0 |        0
1198.74/1199.19	c 1199s |      25 |  7115734 |  5776098 |     1780   8109 |        0 |        0
1200.73/1201.19	c 1201s |      25 |  7127689 |  5785398 |     1780   8119 |        0 |        0
1202.73/1203.19	c 1203s |      25 |  7138355 |  5794198 |     1780   8129 |        0 |        0
1204.82/1205.21	c 1205s |      25 |  7150331 |  5803698 |     1780   8139 |        0 |        0
1206.82/1207.23	c 1207s |      25 |  7162915 |  5813298 |     1780   8149 |        0 |        0
1208.82/1209.24	c 1209s |      25 |  7174420 |  5822498 |     1780   8159 |        0 |        0
1210.83/1211.24	c 1211s |      25 |  7185433 |  5831398 |     1780   8169 |        0 |        0
1212.82/1213.26	c 1213s |      25 |  7196932 |  5840598 |     1780   8179 |        0 |        0
1214.82/1215.26	c 1215s |      25 |  7208226 |  5849798 |     1780   8189 |        0 |        0
1216.82/1217.28	c 1217s |      25 |  7221600 |  5859598 |     1780   8200 |        0 |        0
1218.82/1219.28	c 1219s |      25 |  7234704 |  5869198 |     1780   8210 |        0 |        0
1220.92/1221.30	c 1221s |      25 |  7247529 |  5878798 |     1780   8221 |        0 |        0
1222.92/1223.31	c 1223s |      25 |  7258584 |  5887898 |     1780   8231 |        0 |        0
1224.91/1225.32	c 1225s |      25 |  7269762 |  5897098 |     1780   8241 |        0 |        0
1226.91/1227.33	c 1227s |      25 |  7280417 |  5906198 |     1780   8251 |        0 |        0
1228.91/1229.35	c 1229s |      25 |  7291321 |  5915398 |     1780   8261 |        0 |        0
1230.91/1231.36	c 1231s |      25 |  7302411 |  5924698 |     1780   8271 |        0 |        0
1232.91/1233.37	c 1233s |      25 |  7315205 |  5934298 |     1780   8281 |        0 |        0
1234.91/1235.37	c 1235s |      25 |  7328582 |  5943998 |     1780   8292 |        0 |        0
1236.91/1237.38	c 1237s |      25 |  7342133 |  5953498 |     1780   8302 |        0 |        0
1238.90/1239.39	c 1239s |      25 |  7356600 |  5963398 |     1780   8313 |        0 |        0
1241.00/1241.40	c 1241s |      25 |  7369489 |  5972898 |     1780   8324 |        0 |        0
1243.01/1243.41	c 1243s |      25 |  7384382 |  5983198 |     1780   8335 |        0 |        0
1245.01/1245.41	c 1245s |      25 |  7397654 |  5992798 |     1780   8345 |        0 |        0
1247.01/1247.42	c 1247s |      25 |  7411337 |  6002898 |     1780   8356 |        0 |        0
1249.01/1249.42	c 1249s |      25 |  7423952 |  6012598 |     1780   8367 |        0 |        0
1251.01/1251.43	c 1251s |      25 |  7436482 |  6022498 |     1780   8378 |        0 |        0
1253.01/1253.44	c 1253s |      25 |  7451235 |  6033198 |     1780   8389 |        0 |        0
1255.00/1255.44	c 1255s |      25 |  7463556 |  6042698 |     1780   8400 |        0 |        0
1257.00/1257.45	c 1257s |      25 |  7476773 |  6052698 |     1780   8410 |        0 |        0
1259.00/1259.46	c 1259s |      25 |  7490945 |  6062898 |     1780   8422 |        0 |        0
1261.00/1261.46	c 1261s |      25 |  7504599 |  6072998 |     1780   8433 |        0 |        0
1263.00/1263.47	c 1263s |      25 |  7518221 |  6083098 |     1780   8444 |        0 |        0
1264.99/1265.48	c 1265s |      25 |  7530215 |  6092598 |     1780   8454 |        0 |        0
1266.99/1267.49	c 1267s |      25 |  7542477 |  6102098 |     1780   8464 |        0 |        0
1269.10/1269.52	c 1269s |      25 |  7554297 |  6111598 |     1780   8475 |        0 |        0
1271.09/1271.53	c 1271s |      25 |  7565396 |  6120798 |     1780   8485 |        0 |        0
1273.09/1273.53	c 1273s |      25 |  7578849 |  6131098 |     1780   8496 |        0 |        0
1275.09/1275.56	c 1275s |      25 |  7594169 |  6141898 |     1780   8508 |        0 |        0
1277.08/1277.56	c 1277s |      25 |  7606251 |  6151498 |     1780   8518 |        0 |        0
1279.08/1279.58	c 1279s |      25 |  7619289 |  6161298 |     1780   8529 |        0 |        0
1281.09/1281.59	c 1281s |      25 |  7632002 |  6171598 |     1780   8540 |        0 |        0
1283.18/1283.61	c 1283s |      25 |  7642753 |  6180798 |     1780   8550 |        0 |        0
1285.18/1285.62	c 1285s |      25 |  7654180 |  6190298 |     1780   8560 |        0 |        0
1287.18/1287.62	c 1287s |      25 |  7665172 |  6199298 |     1780   8570 |        0 |        0
1289.18/1289.63	c 1289s |      25 |  7675089 |  6207798 |     1780   8579 |        0 |        0
1291.18/1291.64	c 1291s |      25 |  7685388 |  6216198 |     1780   8588 |        0 |        0
1293.19/1293.65	c 1293s |      25 |  7697654 |  6225998 |     1780   8599 |        0 |        0
1295.18/1295.66	c 1295s |      25 |  7709549 |  6235398 |     1780   8609 |        0 |        0
1297.18/1297.66	c 1297s |      25 |  7721790 |  6244698 |     1780   8619 |        0 |        0
1299.18/1299.68	c 1299s |      25 |  7733720 |  6254598 |     1780   8630 |        0 |        0
1301.18/1301.69	c 1301s |      25 |  7746527 |  6264398 |     1780   8641 |        0 |        0
1303.28/1303.70	c 1303s |      25 |  7759043 |  6274498 |     1780   8652 |        0 |        0
1305.28/1305.71	c 1305s |      25 |  7772411 |  6284798 |     1780   8663 |        0 |        0
1307.28/1307.72	c 1307s |      25 |  7783113 |  6293998 |     1780   8673 |        0 |        0
1309.28/1309.73	c 1309s |      25 |  7794713 |  6303898 |     1780   8684 |        0 |        0
1311.27/1311.74	c 1311s |      25 |  7806661 |  6313798 |     1780   8694 |        0 |        0
1313.27/1313.76	c 1313s |      25 |  7818133 |  6323398 |     1780   8705 |        0 |        0
1315.27/1315.77	c 1315s |      25 |  7829499 |  6332498 |     1780   8714 |        0 |        0
1317.26/1317.77	c 1317s |      25 |  7839748 |  6341098 |     1780   8724 |        0 |        0
1319.26/1319.77	c 1319s |      25 |  7851898 |  6350798 |     1780   8734 |        0 |        0
1321.36/1321.80	c 1321s |      25 |  7863964 |  6360498 |     1780   8745 |        0 |        0
1323.36/1323.80	c 1323s |      25 |  7875850 |  6370198 |     1780   8755 |        0 |        0
1325.36/1325.80	c 1325s |      25 |  7886257 |  6379098 |     1780   8765 |        0 |        0
1327.36/1327.81	c 1327s |      25 |  7896723 |  6388098 |     1780   8774 |        0 |        0
1329.35/1329.82	c 1329s |      25 |  7907489 |  6397198 |     1780   8784 |        0 |        0
1331.35/1331.84	c 1331s |      25 |  7919088 |  6406498 |     1780   8794 |        0 |        0
1333.35/1333.84	c 1333s |      25 |  7929504 |  6415098 |     1780   8803 |        0 |        0
1335.35/1335.86	c 1335s |      25 |  7941268 |  6424298 |     1780   8813 |        0 |        0
1337.35/1337.86	c 1337s |      25 |  7953997 |  6433898 |     1780   8824 |        0 |        0
1339.36/1339.87	c 1339s |      25 |  7967358 |  6443898 |     1780   8835 |        0 |        0
1341.35/1341.88	c 1341s |      25 |  7979455 |  6453398 |     1780   8845 |        0 |        0
1343.35/1343.90	c 1343s |      25 |  7991177 |  6462998 |     1780   8855 |        0 |        0
1345.45/1345.91	c 1345s |      25 |  8004018 |  6472898 |     1780   8866 |        0 |        0
1347.45/1347.91	c 1347s |      25 |  8018907 |  6483098 |     1780   8877 |        0 |        0
1349.45/1349.93	c 1349s |      25 |  8033373 |  6493498 |     1780   8888 |        0 |        0
1351.46/1351.94	c 1351s |      25 |  8044910 |  6502698 |     1780   8898 |        0 |        0
1353.45/1353.96	c 1353s |      25 |  8055964 |  6511898 |     1780   8908 |        0 |        0
1355.45/1355.96	c 1355s |      25 |  8067281 |  6521198 |     1780   8918 |        0 |        0
1357.45/1357.96	c 1357s |      25 |  8077884 |  6529998 |     1780   8927 |        0 |        0
1359.45/1359.97	c 1359s |      25 |  8089180 |  6539398 |     1780   8937 |        0 |        0
1361.46/1361.99	c 1361s |      25 |  8101084 |  6548898 |     1780   8948 |        0 |        0
1363.45/1364.00	c 1363s |      25 |  8112122 |  6558098 |     1780   8957 |        0 |        0
1365.55/1366.00	c 1365s |      25 |  8122677 |  6566898 |     1780   8967 |        0 |        0
1367.55/1368.02	c 1368s |      25 |  8134844 |  6576398 |     1780   8977 |        0 |        0
1369.55/1370.02	c 1370s |      25 |  8146841 |  6585798 |     1780   8987 |        0 |        0
1371.55/1372.05	c 1372s |      25 |  8157740 |  6595098 |     1780   8997 |        0 |        0
1373.56/1374.05	c 1374s |      25 |  8168701 |  6603998 |     1780   9007 |        0 |        0
1375.55/1376.07	c 1376s |      25 |  8180393 |  6613198 |     1780   9017 |        0 |        0
1377.55/1378.09	c 1378s |      25 |  8193191 |  6622998 |     1780   9027 |        0 |        0
1379.55/1380.09	c 1380s |      25 |  8204434 |  6632598 |     1780   9038 |        0 |        0
1381.65/1382.10	c 1382s |      25 |  8214912 |  6641698 |     1780   9048 |        0 |        0
1383.65/1384.12	c 1384s |      25 |  8225400 |  6650698 |     1780   9057 |        0 |        0
1385.65/1386.13	c 1386s |      25 |  8235376 |  6659398 |     1780   9067 |        0 |        0
1387.65/1388.15	c 1388s |      25 |  8245101 |  6667998 |     1780   9076 |        0 |        0
1389.64/1390.15	c 1390s |      25 |  8254350 |  6676298 |     1780   9085 |        0 |        0
1391.64/1392.16	c 1392s |      25 |  8264565 |  6684898 |     1780   9094 |        0 |        0
1393.64/1394.17	c 1394s |      25 |  8275685 |  6694298 |     1780   9104 |        0 |        0
1395.64/1396.19	c 1396s |      25 |  8286128 |  6703198 |     1780   9114 |        0 |        0
1397.75/1398.21	c 1398s |      25 |  8296717 |  6712298 |     1780   9124 |        0 |        0
1399.74/1400.22	c 1400s |      25 |  8306905 |  6721298 |     1780   9133 |        0 |        0
1401.74/1402.22	c 1402s |      25 |  8317788 |  6730698 |     1780   9144 |        0 |        0
1403.74/1404.24	c 1404s |      25 |  8328085 |  6739798 |     1780   9153 |        0 |        0
1405.74/1406.25	c 1406s |      25 |  8339161 |  6749198 |     1780   9164 |        0 |        0
1407.74/1408.26	c 1408s |      25 |  8350163 |  6758498 |     1780   9174 |        0 |        0
1409.74/1410.27	c 1410s |      25 |  8359829 |  6766998 |     1780   9183 |        0 |        0
1411.74/1412.27	c 1412s |      25 |  8370705 |  6775798 |     1780   9192 |        0 |        0
1413.74/1414.29	c 1414s |      25 |  8382016 |  6784598 |     1780   9202 |        0 |        0
1415.84/1416.31	c 1416s |      25 |  8392305 |  6793398 |     1780   9211 |        0 |        0
1417.84/1418.33	c 1418s |      25 |  8403830 |  6802498 |     1780   9221 |        0 |        0
1419.84/1420.34	c 1420s |      25 |  8414305 |  6811298 |     1780   9231 |        0 |        0
1421.85/1422.35	c 1422s |      25 |  8424876 |  6820298 |     1780   9240 |        0 |        0
1423.84/1424.37	c 1424s |      25 |  8435251 |  6829298 |     1780   9250 |        0 |        0
1425.84/1426.39	c 1426s |      25 |  8445957 |  6838398 |     1780   9260 |        0 |        0
1427.94/1428.40	c 1428s |      25 |  8457287 |  6847598 |     1780   9270 |        0 |        0
1429.94/1430.41	c 1430s |      25 |  8467604 |  6856398 |     1780   9279 |        0 |        0
1431.94/1432.42	c 1432s |      25 |  8478253 |  6865398 |     1780   9289 |        0 |        0
1433.94/1434.43	c 1434s |      25 |  8488922 |  6874598 |     1780   9299 |        0 |        0
1435.94/1436.43	c 1436s |      25 |  8500426 |  6884098 |     1780   9309 |        0 |        0
1437.94/1438.44	c 1438s |      25 |  8511700 |  6893298 |     1780   9319 |        0 |        0
1439.94/1440.44	c 1440s |      25 |  8522799 |  6902498 |     1780   9329 |        0 |        0
1441.93/1442.46	c 1442s |      25 |  8533817 |  6911498 |     1780   9339 |        0 |        0
1443.94/1444.48	c 1444s |      25 |  8546476 |  6921098 |     1780   9349 |        0 |        0
1445.93/1446.48	c 1446s |      25 |  8557626 |  6930698 |     1780   9359 |        0 |        0
1448.03/1448.51	c 1448s |      25 |  8569344 |  6940198 |     1780   9370 |        0 |        0
1450.03/1450.51	c 1450s |      25 |  8580876 |  6949598 |     1780   9380 |        0 |        0
1452.03/1452.53	c 1452s |      25 |  8591421 |  6958598 |     1780   9389 |        0 |        0
1454.03/1454.55	c 1454s |      25 |  8602923 |  6967798 |     1780   9399 |        0 |        0
1456.04/1456.56	c 1456s |      25 |  8613369 |  6976198 |     1780   9408 |        0 |        0
1458.03/1458.57	c 1458s |      25 |  8625112 |  6985498 |     1780   9418 |        0 |        0
1460.03/1460.59	c 1460s |      25 |  8636880 |  6994998 |     1780   9429 |        0 |        0
1462.03/1462.59	c 1462s |      25 |  8649203 |  7004498 |     1780   9439 |        0 |        0
1464.13/1464.61	c 1464s |      25 |  8662184 |  7014198 |     1780   9449 |        0 |        0
1466.13/1466.61	c 1466s |      25 |  8674057 |  7023498 |     1780   9459 |        0 |        0
1468.14/1468.62	c 1468s |      25 |  8685141 |  7032798 |     1780   9470 |        0 |        0
1470.13/1470.65	c 1470s |      25 |  8697639 |  7042898 |     1780   9481 |        0 |        0
1472.13/1472.66	c 1472s |      25 |  8708159 |  7052098 |     1780   9490 |        0 |        0
1474.13/1474.67	c 1474s |      25 |  8719035 |  7061498 |     1780   9501 |        0 |        0
1476.13/1476.67	c 1476s |      25 |  8729662 |  7070698 |     1780   9511 |        0 |        0
1478.13/1478.68	c 1478s |      25 |  8741249 |  7080298 |     1780   9521 |        0 |        0
1480.13/1480.69	c 1480s |      25 |  8751936 |  7089498 |     1780   9531 |        0 |        0
1482.23/1482.70	c 1482s |      25 |  8764031 |  7099398 |     1780   9542 |        0 |        0
1484.22/1484.72	c 1484s |      25 |  8775670 |  7109098 |     1780   9552 |        0 |        0
1486.22/1486.73	c 1486s |      25 |  8787396 |  7118698 |     1780   9562 |        0 |        0
1488.23/1488.73	c 1488s |      25 |  8800118 |  7128498 |     1780   9573 |        0 |        0
1490.23/1490.73	c 1490s |      25 |  8811162 |  7137698 |     1780   9583 |        0 |        0
1492.24/1492.74	c 1492s |      25 |  8822249 |  7146798 |     1780   9593 |        0 |        0
1494.23/1494.76	c 1494s |      25 |  8833934 |  7155998 |     1780   9603 |        0 |        0
1496.23/1496.77	c 1496s |      25 |  8845451 |  7165298 |     1780   9613 |        0 |        0
1498.23/1498.78	c 1498s |      25 |  8856256 |  7174298 |     1780   9622 |        0 |        0
1500.23/1500.79	c 1500s |      25 |  8866131 |  7182998 |     1780   9632 |        0 |        0
1502.33/1502.80	c 1502s |      25 |  8877085 |  7192098 |     1780   9642 |        0 |        0
1504.33/1504.81	c 1504s |      25 |  8888481 |  7201598 |     1780   9652 |        0 |        0
1506.33/1506.81	c 1506s |      25 |  8899644 |  7210998 |     1780   9662 |        0 |        0
1508.33/1508.82	c 1508s |      25 |  8911720 |  7220698 |     1780   9672 |        0 |        0
1510.33/1510.85	c 1510s |      25 |  8923163 |  7230098 |     1780   9683 |        0 |        0
1512.33/1512.87	c 1512s |      25 |  8935094 |  7239498 |     1780   9693 |        0 |        0
1514.33/1514.89	c 1514s |      25 |  8947281 |  7249398 |     1780   9703 |        0 |        0
1516.32/1516.90	c 1516s |      25 |  8959222 |  7258798 |     1780   9714 |        0 |        0
1518.42/1518.90	c 1518s |      25 |  8970511 |  7267998 |     1780   9724 |        0 |        0
1520.42/1520.91	c 1520s |      25 |  8982478 |  7277698 |     1780   9734 |        0 |        0
1522.42/1522.92	c 1522s |      25 |  8993517 |  7287098 |     1780   9744 |        0 |        0
1524.42/1524.93	c 1524s |      25 |  9004334 |  7296298 |     1780   9754 |        0 |        0
1526.43/1526.93	c 1526s |      25 |  9014872 |  7305298 |     1780   9764 |        0 |        0
1528.42/1528.94	c 1528s |      25 |  9024863 |  7313998 |     1780   9774 |        0 |        0
1530.42/1530.96	c 1530s |      25 |  9035848 |  7322998 |     1780   9783 |        0 |        0
1532.42/1532.97	c 1532s |      25 |  9046271 |  7331798 |     1780   9793 |        0 |        0
1534.42/1534.99	c 1534s |      25 |  9060020 |  7342498 |     1780   9805 |        0 |        0
1536.42/1536.99	c 1536s |      25 |  9071602 |  7352398 |     1780   9815 |        0 |        0
1538.43/1539.00	c 1538s |      25 |  9083000 |  7361998 |     1780   9826 |        0 |        0
1540.52/1541.01	c 1540s |      25 |  9093722 |  7371298 |     1780   9836 |        0 |        0
1542.52/1543.03	c 1543s |      25 |  9105407 |  7380998 |     1780   9846 |        0 |        0
1544.52/1545.04	c 1545s |      25 |  9116434 |  7390298 |     1780   9856 |        0 |        0
1546.52/1547.06	c 1547s |      25 |  9128302 |  7399698 |     1780   9866 |        0 |        0
1548.52/1549.07	c 1549s |      25 |  9139213 |  7408698 |     1780   9876 |        0 |        0
1550.52/1551.07	c 1551s |      25 |  9150057 |  7417698 |     1780   9886 |        0 |        0
1552.52/1553.08	c 1553s |      25 |  9160777 |  7426698 |     1780   9895 |        0 |        0
1554.51/1555.09	c 1555s |      25 |  9171555 |  7435498 |     1780   9905 |        0 |        0
1556.51/1557.09	c 1557s |      25 |  9181869 |  7444298 |     1780   9914 |        0 |        0
1558.61/1559.10	c 1559s |      25 |  9193145 |  7453398 |     1780   9924 |        0 |        0
1560.61/1561.11	c 1561s |      25 |  9203557 |  7462298 |     1780   9934 |        0 |        0
1562.63/1563.11	c 1563s |      25 |  9213135 |  7470798 |     1780   9943 |        0 |        0
1564.62/1565.12	c 1565s |      25 |  9223293 |  7479498 |     1780   9952 |        0 |        0
1566.62/1567.13	c 1567s |      25 |  9233831 |  7488298 |     1780   9962 |        0 |        0
1568.62/1569.14	c 1569s |      25 |  9245580 |  7497798 |     1780   9972 |        0 |        0
1570.62/1571.16	c 1571s |      25 |  9256162 |  7506598 |     1780   9981 |        0 |        0
1572.63/1573.18	c 1573s |      25 |  9266588 |  7515598 |     1780   9991 |        0 |        0
1574.62/1575.19	c 1575s |      25 |  9278480 |  7525198 |     1780  10001 |        0 |        0
1576.72/1577.22	c 1577s |      25 |  9291280 |  7535198 |     1780  10012 |        0 |        0
1578.72/1579.22	c 1579s |      25 |  9304119 |  7544998 |     1959  10023 |        0 |        0
1580.72/1581.24	c 1581s |      25 |  9315115 |  7553598 |     1959  10031 |        0 |        0
1582.72/1583.25	c 1583s |      25 |  9326095 |  7562298 |     1959  10040 |        0 |        0
1584.72/1585.26	c 1585s |      25 |  9336139 |  7570898 |     1959  10048 |        0 |        0
1586.71/1587.27	c 1587s |      25 |  9347258 |  7579798 |     1959  10057 |        0 |        0
1588.71/1589.28	c 1589s |      25 |  9359517 |  7589098 |     1959  10066 |        0 |        0
1590.61/1591.18	c 1591s |      26 |  9370722 |  7597752 |     1959  10075 |        0 |        0
1592.71/1593.20	c 1593s |      26 |  9383373 |  7606652 |     1959  10083 |        0 |        0
1594.71/1595.21	c 1595s |      26 |  9394778 |  7615652 |     1959  10092 |        0 |        0
1596.72/1597.22	c 1597s |      26 |  9406044 |  7624452 |     1959  10101 |        0 |        0
1598.71/1599.23	c 1599s |      26 |  9418512 |  7633452 |     1959  10110 |        0 |        0
1600.71/1601.24	c 1601s |      26 |  9430343 |  7641852 |     1959  10118 |        0 |        0
1602.71/1603.24	c 1603s |      26 |  9441579 |  7650552 |     1959  10126 |        0 |        0
1604.71/1605.25	c 1605s |      26 |  9450900 |  7658552 |     1959  10134 |        0 |        0
1606.71/1607.26	c 1607s |      26 |  9462303 |  7667252 |     1959  10143 |        0 |        0
1608.71/1609.28	c 1609s |      26 |  9476365 |  7676652 |     1959  10152 |        0 |        0
1610.71/1611.29	c 1611s |      26 |  9488987 |  7685652 |     1959  10161 |        0 |        0
1612.80/1613.31	c 1613s |      26 |  9501297 |  7694552 |     1959  10170 |        0 |        0
1614.80/1615.31	c 1615s |      26 |  9514273 |  7703852 |     1959  10179 |        0 |        0
1616.80/1617.32	c 1617s |      26 |  9528550 |  7713552 |     1959  10188 |        0 |        0
1618.81/1619.33	c 1619s |      26 |  9541499 |  7723052 |     1959  10198 |        0 |        0
1620.81/1621.35	c 1621s |      26 |  9554214 |  7732452 |     1959  10207 |        0 |        0
1622.81/1623.37	c 1623s |      26 |  9566361 |  7740952 |     1959  10215 |        0 |        0
1624.81/1625.38	c 1625s |      26 |  9578368 |  7749152 |     1959  10223 |        0 |        0
1626.81/1627.39	c 1627s |      26 |  9592142 |  7758352 |     1959  10232 |        0 |        0
1628.91/1629.42	c 1629s |      26 |  9604081 |  7767952 |     1959  10242 |        0 |        0
1630.92/1631.42	c 1631s |      26 |  9614437 |  7776852 |     1959  10250 |        0 |        0
1632.91/1633.43	c 1633s |      26 |  9625219 |  7785952 |     1959  10259 |        0 |        0
1634.91/1635.43	c 1635s |      26 |  9636714 |  7795252 |     1959  10268 |        0 |        0
1636.91/1637.45	c 1637s |      26 |  9648436 |  7804652 |     1959  10278 |        0 |        0
1638.91/1639.47	c 1639s |      26 |  9660373 |  7814352 |     1959  10287 |        0 |        0
1640.91/1641.49	c 1641s |      26 |  9672705 |  7824052 |     1959  10296 |        0 |        0
1642.91/1643.49	c 1643s |      26 |  9685276 |  7834052 |     1959  10306 |        0 |        0
1645.00/1645.50	c 1645s |      26 |  9697834 |  7843952 |     1959  10316 |        0 |        0
1647.00/1647.51	c 1647s |      26 |  9709698 |  7853552 |     1959  10325 |        0 |        0
1649.00/1649.52	c 1649s |      26 |  9724537 |  7863552 |     1959  10335 |        0 |        0
1651.00/1651.53	c 1651s |      26 |  9736687 |  7872552 |     1959  10344 |        0 |        0
1653.00/1653.53	c 1653s |      26 |  9748083 |  7881352 |     1959  10353 |        0 |        0
1655.01/1655.55	c 1655s |      26 |  9761397 |  7891052 |     1959  10362 |        0 |        0
1657.00/1657.55	c 1657s |      26 |  9771662 |  7899852 |     1959  10371 |        0 |        0
1659.00/1659.56	c 1659s |      26 |  9782295 |  7908552 |     1959  10379 |        0 |        0
1661.00/1661.56	c 1661s |      26 |  9792053 |  7916752 |     1959  10387 |        0 |        0
1663.00/1663.57	c 1663s |      26 |  9803898 |  7925652 |     1959  10396 |        0 |        0
1665.01/1665.59	c 1665s |      26 |  9814899 |  7934252 |     1959  10404 |        0 |        0
1667.11/1667.62	c 1667s |      26 |  9827836 |  7943652 |     1959  10414 |        0 |        0
1669.10/1669.63	c 1669s |      26 |  9842980 |  7954052 |     1959  10424 |        0 |        0
1671.10/1671.64	c 1671s |      26 |  9853746 |  7963352 |     1959  10433 |        0 |        0
1673.10/1673.66	c 1673s |      26 |  9866439 |  7972852 |     1959  10442 |        0 |        0
1675.10/1675.66	c 1675s |      26 |  9877193 |  7981252 |     1959  10450 |        0 |        0
1677.11/1677.68	c 1677s |      26 |  9888564 |  7989952 |     1959  10459 |        0 |        0
1679.10/1679.69	c 1679s |      26 |  9901392 |  7999352 |     1959  10468 |        0 |        0
1681.10/1681.69	c 1681s |      26 |  9913413 |  8008352 |     1959  10477 |        0 |        0
1683.20/1683.72	c 1683s |      26 |  9926942 |  8018652 |     1959  10487 |        0 |        0
1685.20/1685.72	c 1685s |      26 |  9938638 |  8027652 |     1959  10496 |        0 |        0
1687.20/1687.73	c 1687s |      26 |  9950145 |  8036952 |     1959  10505 |        0 |        0
1689.21/1689.74	c 1689s |      26 |  9960723 |  8045752 |     1959  10513 |        0 |        0
1691.20/1691.74	c 1691s |      26 |  9971047 |  8054652 |     1959  10522 |        0 |        0
1693.20/1693.76	c 1693s |      26 |  9982096 |  8063852 |     1959  10531 |        0 |        0
1695.20/1695.78	c 1695s |      26 |  9993100 |  8072952 |     1959  10540 |        0 |        0
1697.20/1697.79	c 1697s |      26 | 10003826 |  8081752 |     1959  10549 |        0 |        0
1699.30/1699.81	c 1699s |      26 | 10014633 |  8090752 |     1959  10558 |        0 |        0
1701.30/1701.82	c 1701s |      26 | 10027218 |  8099852 |     1959  10567 |        0 |        0
1703.30/1703.84	c 1703s |      26 | 10039006 |  8108752 |     1959  10575 |        0 |        0
1705.29/1705.85	c 1705s |      26 | 10049611 |  8117552 |     1959  10584 |        0 |        0
1707.29/1707.86	c 1707s |      26 | 10060399 |  8126352 |     1959  10593 |        0 |        0
1709.29/1709.88	c 1709s |      26 | 10072594 |  8135552 |     1959  10602 |        0 |        0
1711.29/1711.89	c 1711s |      26 | 10082333 |  8143952 |     1959  10610 |        0 |        0
1713.40/1713.91	c 1713s |      26 | 10092550 |  8152752 |     1959  10618 |        0 |        0
1715.39/1715.92	c 1715s |      26 | 10101997 |  8160952 |     1959  10626 |        0 |        0
1717.39/1717.94	c 1717s |      26 | 10112402 |  8169452 |     1959  10635 |        0 |        0
1719.40/1719.95	c 1719s |      26 | 10122588 |  8177852 |     1959  10643 |        0 |        0
1721.40/1721.95	c 1721s |      26 | 10132710 |  8185952 |     1959  10651 |        0 |        0
1723.40/1723.96	c 1723s |      26 | 10142907 |  8194352 |     1959  10659 |        0 |        0
1725.40/1725.98	c 1725s |      26 | 10153333 |  8202852 |     1959  10668 |        0 |        0
1727.39/1727.99	c 1727s |      26 | 10164121 |  8211852 |     1959  10676 |        0 |        0
1729.49/1730.02	c 1730s |      26 | 10173649 |  8220152 |     1959  10684 |        0 |        0
1731.49/1732.04	c 1732s |      26 | 10182879 |  8228252 |     1959  10693 |        0 |        0
1733.49/1734.06	c 1734s |      26 | 10193860 |  8237052 |     1959  10701 |        0 |        0
1735.49/1736.08	c 1736s |      26 | 10204023 |  8245752 |     1959  10710 |        0 |        0
1737.50/1738.09	c 1738s |      26 | 10214545 |  8254252 |     1959  10718 |        0 |        0
1739.59/1740.11	c 1740s |      26 | 10224187 |  8262452 |     1959  10726 |        0 |        0
1741.59/1742.13	c 1742s |      26 | 10233831 |  8270752 |     1959  10734 |        0 |        0
1743.59/1744.13	c 1744s |      26 | 10243493 |  8278852 |     1959  10742 |        0 |        0
1745.59/1746.15	c 1746s |      26 | 10253305 |  8287152 |     1959  10750 |        0 |        0
1747.59/1748.15	c 1748s |      26 | 10262508 |  8294952 |     1959  10758 |        0 |        0
1749.59/1750.17	c 1750s |      26 | 10271435 |  8302652 |     1959  10765 |        0 |        0
1751.59/1752.17	c 1752s |      26 | 10281676 |  8311052 |     1959  10773 |        0 |        0
1753.58/1754.19	c 1754s |      26 | 10291607 |  8319352 |     1959  10781 |        0 |        0
1755.68/1756.21	c 1756s |      26 | 10301136 |  8327552 |     1959  10790 |        0 |        0
1757.68/1758.22	c 1758s |      26 | 10311524 |  8336052 |     1959  10798 |        0 |        0
1759.68/1760.23	c 1760s |      26 | 10321043 |  8343952 |     1959  10805 |        0 |        0
1761.69/1762.23	c 1762s |      26 | 10329870 |  8351652 |     1959  10813 |        0 |        0
1763.69/1764.24	c 1764s |      26 | 10339909 |  8359952 |     1959  10821 |        0 |        0
1765.69/1766.26	c 1766s |      26 | 10350538 |  8368452 |     1959  10830 |        0 |        0
1767.69/1768.26	c 1768s |      26 | 10361106 |  8377152 |     1959  10838 |        0 |        0
1769.69/1770.26	c 1770s |      26 | 10373210 |  8386552 |     1959  10847 |        0 |        0
1771.69/1772.28	c 1772s |      26 | 10384869 |  8395852 |     1959  10857 |        0 |        0
1773.69/1774.28	c 1774s |      26 | 10395835 |  8405152 |     1959  10866 |        0 |        0
1775.69/1776.28	c 1776s |      26 | 10408265 |  8414952 |     1959  10875 |        0 |        0
1777.68/1778.28	c 1778s |      26 | 10418813 |  8423952 |     1959  10884 |        0 |        0
1779.78/1780.30	c 1780s |      26 | 10431132 |  8433752 |     1959  10894 |        0 |        0
1781.78/1782.31	c 1782s |      26 | 10442083 |  8443152 |     1959  10903 |        0 |        0
1783.79/1784.31	c 1784s |      26 | 10452594 |  8452152 |     1959  10912 |        0 |        0
1785.78/1786.31	c 1786s |      26 | 10463341 |  8461352 |     1959  10920 |        0 |        0
1787.78/1788.32	c 1788s |      26 | 10473837 |  8470252 |     1959  10929 |        0 |        0
1789.78/1790.34	c 1790s |      26 | 10483191 |  8478352 |     1959  10937 |        0 |        0
1791.78/1792.34	c 1792s |      26 | 10492985 |  8486852 |     1959  10945 |        0 |        0
1793.78/1794.35	c 1794s |      26 | 10501643 |  8494452 |     1959  10953 |        0 |        0
1795.79/1796.35	c 1796s |      26 | 10510183 |  8501952 |     1959  10960 |        0 |        0
1797.78/1798.37	c 1798s |      26 | 10518410 |  8509252 |     1959  10967 |        0 |        0
1799.78/1800.39	c 1800s |      26 | 10527494 |  8517152 |     1959  10974 |        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-4096155-1466103436/watcher-4096155-1466103436 -o /tmp/evaluation-result-4096155-1466103436/solver-4096155-1466103436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096155-1466103436.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 24789
/proc/meminfo: memFree=30745260/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 2502 0 0 0 0 0 0 0 20 0 4 0 12393548 690417664 3374 33554432000 4194304 16246674 140735833329856 140735833329280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 169071 3383 441 2943 0 165965 0
[pid=24789/tid=24790] ppid=24786 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 708243456 3444 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 713486336 3462 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12393548 717680640 3479 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 24789
/proc/meminfo: memFree=30745260/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 24749 0 0 0 6 3 0 0 20 0 4 0 12393548 1247350784 25611 33554432000 4194304 16246674 140735833329856 140735833329280 5587005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 304529 25627 712 2943 0 301423 0
[pid=24789/tid=24790] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 25636 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 25646 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 25655 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200519 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 24789
/proc/meminfo: memFree=30745260/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 48522 0 0 0 13 6 0 0 20 0 4 0 12393548 1247350784 49383 33554432000 4194304 16246674 140735833329856 140735833329280 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 304529 49392 712 2943 0 301423 0
[pid=24789/tid=24790] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 49400 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 49407 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 49417 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300492 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 24789
/proc/meminfo: memFree=30745260/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 72331 0 0 0 19 10 0 0 20 0 4 0 12393548 1247350784 73193 33554432000 4194304 16246674 140735833329856 140735833312856 13191389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 304529 73200 712 2943 0 301423 0
[pid=24789/tid=24790] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 73206 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 73212 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 73220 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700401 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 24789
/proc/meminfo: memFree=30745260/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 167511 0 0 0 47 22 0 0 20 0 4 0 12393548 1247350784 168372 33554432000 4194304 16246674 140735833329856 140735833312856 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 304529 168381 712 2943 0 301423 0
[pid=24789/tid=24790] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 168387 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 168392 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12393548 1247350784 168401 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 24793
/proc/meminfo: memFree=29760408/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 245586 0 0 0 116 33 0 0 20 0 4 0 12393548 1248399360 246427 33554432000 4194304 16246674 140735833329856 140735833312856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 304785 246427 788 2943 0 301679 0
[pid=24789/tid=24790] ppid=24786 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1248399360 246427 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1248399360 246427 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1248399360 246427 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 24793
/proc/meminfo: memFree=29673228/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267406 0 0 0 273 36 0 0 20 0 4 0 12393548 1337528320 268247 33554432000 4194304 16246674 140735833329856 140735833311744 6010965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326545 268247 788 2943 0 323439 0
[pid=24789/tid=24790] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268247 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268247 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268247 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 24793
/proc/meminfo: memFree=29672360/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267464 0 0 0 593 36 0 0 20 0 4 0 12393548 1337528320 268305 33554432000 4194304 16246674 140735833329856 140735833312856 5673576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326545 268305 790 2943 0 323439 0
[pid=24789/tid=24790] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268305 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268305 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268305 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 24793
/proc/meminfo: memFree=29672028/32872528 swapFree=162368/176676
[pid=24789] ppid=24786 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267517 0 0 0 1232 36 0 0 20 0 4 0 12393548 1337528320 268358 33554432000 4194304 16246674 140735833329856 140735833311744 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326545 268358 790 2943 0 323439 0
[pid=24789/tid=24790] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268358 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268358 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268358 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 24793
/proc/meminfo: memFree=29670968/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267545 0 0 0 2512 37 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140735833312856 13815568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326545 268386 790 2943 0 323439 0
[pid=24789/tid=24790] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 24793
/proc/meminfo: memFree=29670936/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267545 0 0 0 5071 38 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140735833312856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326545 268386 790 2943 0 323439 0
[pid=24789/tid=24790] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1337528320 268386 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/183 24795
/proc/meminfo: memFree=29671096/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 267638 0 0 0 10190 38 0 0 20 0 4 0 12393548 1338576896 268479 33554432000 4194304 16246674 140735833329856 140735833312856 5667693 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 326801 268479 790 2943 0 323695 0
[pid=24789/tid=24790] ppid=24786 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1338576896 268479 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1338576896 268479 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1338576896 268479 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/182 24847
/proc/meminfo: memFree=29666128/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1308228 CPUtime=1301.88 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268479 0 0 0 130131 57 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140735833311744 5675976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327057 268897 792 2943 0 323951 0
[pid=24789/tid=24790] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 24849
/proc/meminfo: memFree=29666280/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1308228 CPUtime=1361.85 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268520 0 0 0 136127 58 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140735833311744 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327057 268897 792 2943 0 323951 0
[pid=24789/tid=24790] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/184 24853
/proc/meminfo: memFree=29666196/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1308228 CPUtime=1421.85 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268520 0 0 0 142126 59 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140735833312856 5672971 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327057 268897 792 2943 0 323951 0
[pid=24789/tid=24790] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.27 2.12 2.03 3/183 24854
/proc/meminfo: memFree=29665340/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1308228 CPUtime=1481.83 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268520 0 0 0 148124 59 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140735833311744 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327057 268897 792 2943 0 323951 0
[pid=24789/tid=24790] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1339625472 268897 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 1.61 1.97 1.98 3/173 24885
/proc/meminfo: memFree=30756828/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1541.83 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268610 0 0 0 154123 60 0 0 20 0 4 0 12393548 1340674048 268987 33554432000 4194304 16246674 140735833329856 140735833312856 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 268987 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 268987 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 268987 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 268987 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 1.22 1.79 1.92 2/173 24886
/proc/meminfo: memFree=30756736/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1601.81 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268733 0 0 0 160120 61 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140735833311744 5823355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 269110 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 1.13 1.66 1.87 2/173 24888
/proc/meminfo: memFree=30757024/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1661.8 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268733 0 0 0 166117 63 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140735833311744 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 269110 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 1.05 1.54 1.81 3/173 24889
/proc/meminfo: memFree=30757308/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1721.8 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268733 0 0 0 172116 64 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140735833312856 7249970 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 269110 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/173 24890
/proc/meminfo: memFree=30757224/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1781.78 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268733 0 0 0 178113 65 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140735833312856 5668706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 269110 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.41 1.74 2/173 24890
/proc/meminfo: memFree=30757348/32872528 swapFree=162364/176672
[pid=24789] ppid=24786 vsize=1309252 CPUtime=1800.08 cores=1,3,5,7
/proc/24789/stat : 24789 (toysat) R 24786 24789 23926 0 -1 4202496 268733 0 0 0 179943 65 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140735833312856 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24789/statm: 327313 269110 792 2943 0 324207 0
[pid=24789/tid=24790] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24790/stat : 24790 (toysat) S 24786 24789 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269758426352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24789/tid=24791] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24791/stat : 24791 (toysat) S 24786 24789 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269672443120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24789/tid=24792] ppid=24786 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24789/task/24792/stat : 24792 (toysat) S 24786 24789 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12393548 1340674048 269110 33554432000 4194304 16246674 140735833329856 140269661969584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1309252

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 24789 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.1
CPU user time (s): 1799.44
CPU system time (s): 0.657899
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.657899
maximum resident set size= 1076440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268733
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= 480
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6213 second user time and 7.14691 second system time

The end

Begin job on node105 at 2016-06-16 20:57:16
IDJOB=4096155
IDBENCH=107574
IDSOLVER=2542
FILE ID=node105/4096155-1466103436
RUNJOBID= node105-1466095897-23943
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-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-4096155-1466103436/watcher-4096155-1466103436 -o /tmp/evaluation-result-4096155-1466103436/solver-4096155-1466103436 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096155-1466103436.opb

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

MD5SUM BENCH= c6092cabbdedc0e79f8b231346bede11
RANDOM SEED=1772810104

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30746424 kB
Buffers:           50808 kB
Cached:           123132 kB
SwapCached:         1480 kB
Active:          1164364 kB
Inactive:          85316 kB
Active(anon):    1076056 kB
Inactive(anon):     1660 kB
Active(file):      88308 kB
Inactive(file):    83656 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1326172 kB
Mapped:            10276 kB
Shmem:                 0 kB
Slab:             569008 kB
SReclaimable:      12912 kB
SUnreclaim:       556096 kB
KernelStack:        1520 kB
PageTables:         6892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1394896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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= 71732 MiB
End job on node105 at 2016-06-16 21:27:17