0.00/0.00	c 2016-06-16T01:43: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-4089799-1466034195.opb"]
0.00/0.01	c use --random-gen="2633892917 1273569604 3732637022 3522948511 1839044016 583190238 1681843820 1309702106 1663247654 1895517378 3641830758 3581853107 3131604775 423535200 373803491 4234713228 1821439846 1042710885 479017886 2330330182 3015510363 563352745 4046285636 2059919871 2652939679 3266014273 696046480 4159002980 2407603101 2735684239 2173446350 4097726362 3533968386 1680304663 363664762 1014519044 2265561788 3396336765 1681425715 64418557 960957036 3604266666 3252601937 1871494419 180725992 3336191071 2396863578 1038233118 4021543645 3654752625 636367121 3776534652 3394887581 2032563419 691429473 69604050 3158862606 1068004699 482496825 3550613334 3879266845 2952557161 3250837662 422831466 4285181756 2390675666 334999553 355028146 197845925 1250939259 2922115239 2519578393 89513318 921690451 3288119389 3455080632 968388799 2844743717 808094542 3404651547 3119183672 6285128 3016148586 1814499661 2359346717 1104159248 4017615509 1328737708 1252462996 3399645849 3628984167 273209557 2647236208 1493400693 2934644238 2481659849 2640153350 1228559694 3175323996 2115069891 100203048 772159806 4089092477 2160477857 2369273912 2797567739 2018157504 1437343771 2171836120 1337065940 82486225 2962755397 2761617486 1361144097 3638594082 1033575174 3511965195 2776101633 3156374181 1106401388 3378551786 54830229 3993684399 1835281809 2008768077 3066618312 210138448 4104162149 4103625318 821563948 3905403029 2355588059 3300103174 3580533805 3169581580 4006958459 3213639280 3884491258 3901417615 1688117145 1438708205 3006845337 4020177452 1877508965 3158065049 1144081606 1419485472 1115142141 2533943379 4242444534 3520047401 1861087551 524568061 2137489733 1879849448 1390764488 142349026 1309292697 979581589 2955692975 1245269633 107418801 2429553820 725328352 253537163 2050259773 2416201451 17220906 3921128427 3007057463 3771526121 2948709709 1621307474 2957656435 3721103250 2557461889 3093532860 1429264755 2332174208 3110913500 1550775790 98621861 548486803 1102450045 379555728 2423907649 1361188079 2044156090 1975974218 3451921272 2890520822 3368925791 1557463836 1140446790 3498166686 1553480989 4217188826 754390318 3571784655 1658089686 2260760935 1252251471 150829294 1726109478 3003140890 103381148 346548799 3975168098 1508479795 1442885781 2992094389 3930773110 2750189999 1573231052 647210161 3971693689 881991604 3938307325 1611469871 2298635124 4189703929 964154234 1860609435 363110640 3620114179 1295681797 3052252638 4114990292 2162833432 191175314 4205738006 1674081643 3004866962 1942012174 1732308745 2508459331 2770890353 4225430039 281498845 843817998 2316461429 3421199523 3647060346 3679952240 1965555098 3143072831 1809956710 2170039261 1423473519 3379305488 4102286268 3188814177 2837650384 1284543180 597835654 1935157869 255 362436" option to reproduce the execution
0.00/0.01	c #vars 333
0.00/0.01	c #constraints 111
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      185      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      263 |      100 |      185      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      588 |      250 |      204      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |     1091 |      475 |      225      1 |        0 |        0
0.08/0.16	c  0.1s |       4 |     1596 |      813 |      248      2 |        0 |        0
0.19/0.28	c  0.3s |       5 |     2525 |     1320 |      273      5 |        0 |        0
0.39/0.43	c  0.4s |       6 |     3566 |     2081 |      332      8 |        0 |        0
0.68/0.75	c  0.7s |       7 |     5119 |     3223 |      366     12 |        0 |        0
0.99/1.10	c  1.1s |       8 |     7198 |     4936 |      403     18 |        0 |        0
1.58/1.60	c  1.6s |       9 |    10463 |     7506 |      444     25 |        0 |        0
2.20/2.28	c  2.3s |      10 |    15069 |    11361 |      489     36 |        0 |        0
3.30/3.31	c  3.3s |      11 |    21941 |    17144 |      538     52 |        0 |        0
4.99/5.05	c  5.0s |      12 |    31735 |    25819 |      592     74 |        0 |        0
6.99/7.08	c  7.1s |      12 |    41664 |    34719 |      592     95 |        0 |        0
7.99/8.03	c  8.0s |      13 |    46261 |    38832 |      652    105 |        0 |        0
9.99/10.05	c 10.0s |      13 |    58027 |    49132 |      652    128 |        0 |        0
11.99/12.00	c 12.0s |      14 |    68138 |    58352 |      718    148 |        0 |        0
13.99/14.02	c 14.0s |      14 |    79968 |    68352 |      718    169 |        0 |        0
15.99/16.03	c 16.0s |      14 |    90860 |    77852 |      718    189 |        0 |        0
17.99/18.04	c 18.0s |      14 |   102442 |    87552 |      790    209 |        0 |        0
17.99/18.06	c 18.0s |      15 |   102537 |    87632 |      790    209 |        0 |        0
19.99/20.07	c 20.0s |      15 |   115170 |    98532 |      790    230 |        0 |        0
21.99/22.07	c 22.1s |      15 |   127246 |   109032 |      790    251 |        0 |        0
23.98/24.08	c 24.1s |      15 |   139206 |   119432 |      790    271 |        0 |        0
25.98/26.09	c 26.1s |      15 |   151253 |   130032 |      790    292 |        0 |        0
26.28/26.37	c 26.4s |      16 |   153054 |   131552 |      870    295 |        0 |        0
28.28/28.38	c 28.4s |      16 |   164004 |   140952 |      870    312 |        0 |        0
30.28/30.39	c 30.4s |      16 |   174149 |   150052 |      870    328 |        0 |        0
32.38/32.40	c 32.4s |      16 |   184012 |   158852 |      870    344 |        0 |        0
34.38/34.42	c 34.4s |      16 |   193747 |   167552 |      870    359 |        0 |        0
36.39/36.44	c 36.4s |      16 |   203471 |   176252 |      870    375 |        0 |        0
38.38/38.45	c 38.4s |      16 |   213946 |   185452 |      870    391 |        0 |        0
40.38/40.46	c 40.4s |      16 |   223700 |   194052 |      870    406 |        0 |        0
41.08/41.19	c 41.2s |      17 |   227628 |   197432 |      958    412 |        0 |        0
43.18/43.21	c 43.2s |      17 |   237462 |   206332 |      958    427 |        0 |        0
45.19/45.21	c 45.2s |      17 |   246498 |   214632 |      958    441 |        0 |        0
47.18/47.23	c 47.2s |      17 |   256048 |   223332 |      958    455 |        0 |        0
49.18/49.25	c 49.2s |      17 |   265406 |   231732 |      958    469 |        0 |        0
51.18/51.25	c 51.2s |      17 |   274977 |   240232 |      958    483 |        0 |        0
53.18/53.25	c 53.2s |      17 |   285082 |   248932 |      958    497 |        0 |        0
55.18/55.27	c 55.3s |      17 |   294928 |   257732 |      958    512 |        0 |        0
57.18/57.29	c 57.3s |      17 |   304541 |   266332 |      958    526 |        0 |        0
59.28/59.31	c 59.3s |      17 |   315505 |   275232 |      958    541 |        0 |        0
61.27/61.32	c 61.3s |      17 |   324835 |   283432 |      958    555 |        0 |        0
63.27/63.32	c 63.3s |      17 |   334130 |   291632 |      958    568 |        0 |        0
64.47/64.54	c 64.5s |      18 |   339367 |   296252 |     1054    576 |        0 |        0
66.47/66.55	c 66.5s |      18 |   348577 |   304452 |     1054    588 |        0 |        0
68.48/68.57	c 68.6s |      18 |   357149 |   312352 |     1054    600 |        0 |        0
70.49/70.59	c 70.6s |      18 |   365397 |   320052 |     1054    612 |        0 |        0
72.48/72.59	c 72.6s |      18 |   374262 |   328052 |     1054    625 |        0 |        0
74.58/74.61	c 74.6s |      18 |   382845 |   335852 |     1054    637 |        0 |        0
76.58/76.62	c 76.6s |      18 |   392089 |   344252 |     1054    650 |        0 |        0
78.58/78.64	c 78.6s |      18 |   400809 |   352152 |     1054    662 |        0 |        0
80.57/80.65	c 80.6s |      18 |   409574 |   360052 |     1054    674 |        0 |        0
82.58/82.66	c 82.6s |      18 |   418746 |   368152 |     1054    686 |        0 |        0
84.57/84.67	c 84.6s |      18 |   427453 |   375952 |     1054    699 |        0 |        0
86.57/86.68	c 86.7s |      18 |   436039 |   383752 |     1054    711 |        0 |        0
88.57/88.69	c 88.7s |      18 |   444981 |   391852 |     1054    723 |        0 |        0
90.57/90.69	c 90.7s |      18 |   453412 |   399652 |     1054    735 |        0 |        0
92.67/92.71	c 92.7s |      18 |   461814 |   407352 |     1054    747 |        0 |        0
94.68/94.72	c 94.7s |      18 |   470601 |   415252 |     1054    760 |        0 |        0
96.67/96.75	c 96.7s |      18 |   480059 |   423652 |     1054    773 |        0 |        0
98.67/98.77	c 98.8s |      18 |   489512 |   431952 |     1054    785 |        0 |        0
100.67/100.78	c  100s |      18 |   498399 |   439752 |     1054    798 |        0 |        0
101.88/101.98	c  101s |      19 |   503652 |   444482 |     1160    804 |        0 |        0
103.88/103.99	c  103s |      19 |   514026 |   453482 |     1160    817 |        0 |        0
105.97/106.00	c  105s |      19 |   523842 |   462282 |     1160    830 |        0 |        0
107.97/108.01	c  107s |      19 |   533149 |   470682 |     1160    842 |        0 |        0
109.98/110.03	c  110s |      19 |   542241 |   478982 |     1160    854 |        0 |        0
111.97/112.04	c  112s |      19 |   550919 |   486882 |     1160    865 |        0 |        0
113.97/114.07	c  114s |      19 |   560321 |   495182 |     1160    877 |        0 |        0
115.97/116.07	c  116s |      19 |   569944 |   503582 |     1160    889 |        0 |        0
117.97/118.07	c  118s |      19 |   579624 |   512082 |     1160    901 |        0 |        0
119.98/120.09	c  120s |      19 |   589154 |   520482 |     1160    913 |        0 |        0
122.08/122.11	c  122s |      19 |   598643 |   528882 |     1160    926 |        0 |        0
124.07/124.11	c  124s |      19 |   608389 |   537482 |     1160    938 |        0 |        0
126.07/126.12	c  126s |      19 |   618020 |   545982 |     1160    950 |        0 |        0
128.07/128.13	c  128s |      19 |   628173 |   554582 |     1160    962 |        0 |        0
130.07/130.14	c  130s |      19 |   638058 |   563182 |     1160    975 |        0 |        0
132.08/132.16	c  132s |      19 |   648250 |   571882 |     1160    987 |        0 |        0
134.07/134.17	c  134s |      19 |   658742 |   580782 |     1160   1000 |        0 |        0
136.07/136.18	c  136s |      19 |   669130 |   589582 |     1160   1013 |        0 |        0
138.07/138.19	c  138s |      19 |   679390 |   598382 |     1160   1025 |        0 |        0
140.17/140.20	c  140s |      19 |   689193 |   606982 |     1160   1038 |        0 |        0
142.17/142.20	c  142s |      19 |   698226 |   615082 |     1160   1049 |        0 |        0
144.17/144.21	c  144s |      19 |   707374 |   623182 |     1160   1061 |        0 |        0
146.17/146.22	c  146s |      19 |   716913 |   631582 |     1160   1073 |        0 |        0
148.17/148.24	c  148s |      19 |   727007 |   640282 |     1160   1086 |        0 |        0
150.17/150.26	c  150s |      19 |   737548 |   649182 |     1160   1098 |        0 |        0
152.16/152.28	c  152s |      19 |   747590 |   657782 |     1160   1111 |        0 |        0
154.26/154.30	c  154s |      19 |   757239 |   666182 |     1276   1122 |        0 |        0
154.36/154.46	c  154s |      20 |   757987 |   666827 |     1276   1123 |        0 |        0
156.36/156.46	c  156s |      20 |   766935 |   674527 |     1276   1133 |        0 |        0
158.37/158.49	c  158s |      20 |   775367 |   682027 |     1276   1143 |        0 |        0
160.46/160.51	c  160s |      20 |   783349 |   689127 |     1276   1153 |        0 |        0
162.46/162.52	c  162s |      20 |   791359 |   696227 |     1276   1162 |        0 |        0
164.46/164.53	c  164s |      20 |   799221 |   703327 |     1276   1171 |        0 |        0
166.46/166.55	c  166s |      20 |   807599 |   710727 |     1276   1181 |        0 |        0
168.46/168.56	c  168s |      20 |   815512 |   717727 |     1276   1191 |        0 |        0
170.47/170.58	c  170s |      20 |   823084 |   724527 |     1276   1200 |        0 |        0
172.46/172.60	c  172s |      20 |   831417 |   731627 |     1276   1209 |        0 |        0
174.56/174.62	c  174s |      20 |   839656 |   738727 |     1276   1219 |        0 |        0
176.56/176.63	c  176s |      20 |   847474 |   745727 |     1276   1228 |        0 |        0
178.56/178.65	c  178s |      20 |   855116 |   752627 |     1276   1237 |        0 |        0
180.56/180.68	c  180s |      20 |   862834 |   759427 |     1276   1246 |        0 |        0
182.56/182.70	c  182s |      20 |   870499 |   766227 |     1276   1255 |        0 |        0
184.65/184.70	c  184s |      20 |   878004 |   772927 |     1276   1264 |        0 |        0
186.65/186.71	c  186s |      20 |   885435 |   779627 |     1276   1273 |        0 |        0
188.65/188.74	c  188s |      20 |   893162 |   786527 |     1276   1282 |        0 |        0
190.66/190.76	c  190s |      20 |   901125 |   793527 |     1276   1292 |        0 |        0
192.66/192.78	c  192s |      20 |   908754 |   800227 |     1276   1301 |        0 |        0
194.67/194.79	c  194s |      20 |   916341 |   807027 |     1276   1310 |        0 |        0
196.66/196.79	c  196s |      20 |   924089 |   813927 |     1276   1319 |        0 |        0
198.66/198.80	c  198s |      20 |   932091 |   821027 |     1276   1328 |        0 |        0
200.76/200.81	c  200s |      20 |   939926 |   827927 |     1276   1338 |        0 |        0
202.76/202.82	c  202s |      20 |   948221 |   835127 |     1276   1347 |        0 |        0
204.76/204.84	c  204s |      20 |   955721 |   841927 |     1276   1356 |        0 |        0
206.77/206.86	c  206s |      20 |   963040 |   848627 |     1276   1365 |        0 |        0
208.76/208.88	c  208s |      20 |   970569 |   855427 |     1276   1374 |        0 |        0
210.86/210.91	c  210s |      20 |   978122 |   862227 |     1276   1383 |        0 |        0
212.86/212.94	c  212s |      20 |   986041 |   869327 |     1276   1393 |        0 |        0
214.86/214.95	c  214s |      20 |   993458 |   876027 |     1276   1402 |        0 |        0
216.86/216.96	c  216s |      20 |  1001321 |   883027 |     1276   1411 |        0 |        0
218.86/218.97	c  218s |      20 |  1008808 |   889827 |     1276   1420 |        0 |        0
220.85/220.99	c  220s |      20 |  1016343 |   896527 |     1276   1429 |        0 |        0
222.85/222.99	c  222s |      20 |  1023879 |   903227 |     1276   1438 |        0 |        0
224.95/225.00	c  224s |      20 |  1031309 |   909827 |     1276   1447 |        0 |        0
226.95/227.03	c  227s |      20 |  1039108 |   916727 |     1276   1456 |        0 |        0
228.95/229.03	c  229s |      20 |  1046751 |   923427 |     1276   1465 |        0 |        0
230.96/231.04	c  231s |      20 |  1053747 |   929727 |     1276   1473 |        0 |        0
232.95/233.05	c  233s |      20 |  1062089 |   936727 |     1276   1483 |        0 |        0
234.95/235.07	c  235s |      20 |  1069868 |   943527 |     1276   1492 |        0 |        0
236.95/237.09	c  237s |      20 |  1077801 |   950527 |     1276   1501 |        0 |        0
239.05/239.11	c  239s |      20 |  1086162 |   957527 |     1276   1510 |        0 |        0
241.05/241.13	c  241s |      20 |  1094822 |   964827 |     1276   1520 |        0 |        0
243.06/243.15	c  243s |      20 |  1102627 |   971727 |     1276   1529 |        0 |        0
245.05/245.16	c  245s |      20 |  1110668 |   978727 |     1276   1539 |        0 |        0
247.05/247.19	c  247s |      20 |  1117964 |   985327 |     1276   1548 |        0 |        0
249.15/249.21	c  249s |      20 |  1125201 |   991927 |     1276   1556 |        0 |        0
251.15/251.23	c  251s |      20 |  1132228 |   998327 |     1404   1564 |        0 |        0
251.75/251.86	c  251s |      21 |  1134658 |  1000345 |     1404   1567 |        0 |        0
253.75/253.88	c  253s |      21 |  1144669 |  1009145 |     1404   1577 |        0 |        0
255.75/255.89	c  255s |      21 |  1155139 |  1018145 |     1404   1588 |        0 |        0
257.84/257.91	c  257s |      21 |  1165006 |  1026745 |     1404   1599 |        0 |        0
259.84/259.92	c  259s |      21 |  1174510 |  1035145 |     1404   1609 |        0 |        0
261.85/261.95	c  261s |      21 |  1183859 |  1043445 |     1404   1619 |        0 |        0
263.84/263.96	c  263s |      21 |  1192772 |  1051345 |     1404   1629 |        0 |        0
265.84/265.97	c  265s |      21 |  1201649 |  1059145 |     1404   1639 |        0 |        0
267.84/267.97	c  267s |      21 |  1211405 |  1067445 |     1404   1649 |        0 |        0
269.84/269.99	c  269s |      21 |  1221322 |  1076045 |     1404   1659 |        0 |        0
271.84/271.99	c  271s |      21 |  1230554 |  1084245 |     1404   1669 |        0 |        0
273.85/274.00	c  273s |      21 |  1240111 |  1092545 |     1404   1679 |        0 |        0
275.94/276.02	c  276s |      21 |  1249422 |  1100745 |     1404   1690 |        0 |        0
277.94/278.03	c  278s |      21 |  1258639 |  1108845 |     1404   1699 |        0 |        0
279.95/280.06	c  280s |      21 |  1268042 |  1117045 |     1404   1710 |        0 |        0
281.95/282.06	c  282s |      21 |  1277468 |  1125345 |     1404   1720 |        0 |        0
283.95/284.08	c  284s |      21 |  1286700 |  1133445 |     1404   1730 |        0 |        0
285.96/286.10	c  286s |      21 |  1295350 |  1140845 |     1404   1739 |        0 |        0
288.05/288.11	c  288s |      21 |  1303088 |  1147645 |     1404   1747 |        0 |        0
290.05/290.13	c  290s |      21 |  1310408 |  1154245 |     1404   1756 |        0 |        0
292.05/292.16	c  292s |      21 |  1318292 |  1161145 |     1404   1764 |        0 |        0
294.05/294.18	c  294s |      21 |  1326576 |  1168345 |     1404   1773 |        0 |        0
296.05/296.18	c  296s |      21 |  1334607 |  1175345 |     1404   1782 |        0 |        0
298.05/298.19	c  298s |      21 |  1342101 |  1181945 |     1404   1790 |        0 |        0
300.14/300.20	c  300s |      21 |  1349929 |  1188745 |     1404   1799 |        0 |        0
302.14/302.24	c  302s |      21 |  1358253 |  1195745 |     1404   1807 |        0 |        0
304.14/304.24	c  304s |      21 |  1366198 |  1202445 |     1404   1816 |        0 |        0
306.14/306.25	c  306s |      21 |  1373562 |  1208845 |     1404   1824 |        0 |        0
308.14/308.27	c  308s |      21 |  1380652 |  1215145 |     1404   1832 |        0 |        0
310.15/310.29	c  310s |      21 |  1388125 |  1221645 |     1404   1840 |        0 |        0
312.24/312.31	c  312s |      21 |  1395898 |  1228345 |     1404   1848 |        0 |        0
314.24/314.31	c  314s |      21 |  1403248 |  1234845 |     1404   1856 |        0 |        0
316.24/316.33	c  316s |      21 |  1410889 |  1241345 |     1404   1864 |        0 |        0
318.24/318.36	c  318s |      21 |  1417973 |  1247645 |     1404   1872 |        0 |        0
320.24/320.37	c  320s |      21 |  1425271 |  1254045 |     1404   1880 |        0 |        0
322.25/322.39	c  322s |      21 |  1433063 |  1260745 |     1404   1889 |        0 |        0
324.34/324.40	c  324s |      21 |  1440521 |  1267345 |     1404   1897 |        0 |        0
326.34/326.41	c  326s |      21 |  1447831 |  1273845 |     1404   1905 |        0 |        0
328.34/328.42	c  328s |      21 |  1455267 |  1280345 |     1404   1913 |        0 |        0
330.34/330.44	c  330s |      21 |  1462489 |  1286645 |     1404   1921 |        0 |        0
332.34/332.46	c  332s |      21 |  1470133 |  1293345 |     1404   1929 |        0 |        0
334.34/334.48	c  334s |      21 |  1477295 |  1299745 |     1404   1937 |        0 |        0
336.33/336.48	c  336s |      21 |  1484465 |  1306145 |     1404   1945 |        0 |        0
338.43/338.51	c  338s |      21 |  1491586 |  1312545 |     1404   1953 |        0 |        0
340.43/340.52	c  340s |      21 |  1499244 |  1319145 |     1404   1962 |        0 |        0
342.43/342.53	c  342s |      21 |  1506640 |  1325645 |     1404   1970 |        0 |        0
344.43/344.54	c  344s |      21 |  1514382 |  1332345 |     1404   1978 |        0 |        0
346.44/346.54	c  346s |      21 |  1521600 |  1338645 |     1404   1986 |        0 |        0
348.43/348.55	c  348s |      21 |  1528689 |  1344945 |     1404   1994 |        0 |        0
350.43/350.57	c  350s |      21 |  1536546 |  1351645 |     1404   2002 |        0 |        0
352.53/352.60	c  352s |      21 |  1543932 |  1358145 |     1404   2011 |        0 |        0
354.53/354.61	c  354s |      21 |  1551370 |  1364645 |     1404   2019 |        0 |        0
356.53/356.62	c  356s |      21 |  1558727 |  1371145 |     1404   2027 |        0 |        0
358.54/358.65	c  358s |      21 |  1565836 |  1377545 |     1404   2035 |        0 |        0
360.53/360.67	c  360s |      21 |  1573350 |  1384145 |     1404   2043 |        0 |        0
362.63/362.71	c  362s |      21 |  1580625 |  1390645 |     1404   2051 |        0 |        0
364.63/364.72	c  364s |      21 |  1587625 |  1396945 |     1404   2059 |        0 |        0
366.63/366.73	c  366s |      21 |  1594730 |  1403345 |     1404   2067 |        0 |        0
368.64/368.73	c  368s |      21 |  1601815 |  1409645 |     1404   2075 |        0 |        0
370.64/370.75	c  370s |      21 |  1608753 |  1415845 |     1404   2083 |        0 |        0
372.64/372.78	c  372s |      21 |  1615801 |  1422145 |     1404   2091 |        0 |        0
374.74/374.80	c  374s |      21 |  1623186 |  1428645 |     1404   2099 |        0 |        0
376.73/376.80	c  376s |      21 |  1630005 |  1434745 |     1404   2107 |        0 |        0
378.73/378.81	c  378s |      21 |  1637467 |  1441245 |     1404   2115 |        0 |        0
380.73/380.82	c  380s |      21 |  1644640 |  1447545 |     1404   2123 |        0 |        0
382.74/382.84	c  382s |      21 |  1651681 |  1453845 |     1404   2131 |        0 |        0
384.73/384.85	c  384s |      21 |  1659175 |  1460345 |     1404   2139 |        0 |        0
386.73/386.86	c  386s |      21 |  1666166 |  1466545 |     1404   2147 |        0 |        0
388.73/388.87	c  388s |      21 |  1673556 |  1472945 |     1404   2155 |        0 |        0
390.83/390.90	c  390s |      21 |  1680444 |  1479045 |     1404   2162 |        0 |        0
392.83/392.91	c  392s |      21 |  1687933 |  1485545 |     1404   2171 |        0 |        0
394.84/394.92	c  394s |      21 |  1695130 |  1491945 |     1545   2178 |        0 |        0
396.83/396.95	c  396s |      21 |  1702497 |  1498345 |     1545   2186 |        0 |        0
397.53/397.68	c  397s |      22 |  1704977 |  1500622 |     1545   2188 |        0 |        0
399.53/399.68	c  399s |      22 |  1714486 |  1509122 |     1545   2198 |        0 |        0
401.54/401.69	c  401s |      22 |  1723781 |  1517322 |     1545   2207 |        0 |        0
403.53/403.70	c  403s |      22 |  1732436 |  1525122 |     1545   2216 |        0 |        0
405.63/405.72	c  405s |      22 |  1740790 |  1532722 |     1545   2224 |        0 |        0
407.63/407.74	c  407s |      22 |  1749128 |  1540222 |     1545   2233 |        0 |        0
409.62/409.74	c  409s |      22 |  1757693 |  1547822 |     1545   2241 |        0 |        0
411.62/411.75	c  411s |      22 |  1765867 |  1555222 |     1545   2249 |        0 |        0
413.63/413.75	c  413s |      22 |  1774126 |  1562522 |     1545   2258 |        0 |        0
415.62/415.76	c  415s |      22 |  1782348 |  1570022 |     1545   2266 |        0 |        0
417.62/417.77	c  417s |      22 |  1790321 |  1577322 |     1545   2274 |        0 |        0
419.62/419.78	c  419s |      22 |  1798880 |  1584922 |     1545   2283 |        0 |        0
421.72/421.81	c  421s |      22 |  1806770 |  1592122 |     1545   2291 |        0 |        0
423.72/423.83	c  423s |      22 |  1814948 |  1599422 |     1545   2299 |        0 |        0
425.73/425.83	c  425s |      22 |  1823414 |  1606722 |     1545   2307 |        0 |        0
427.72/427.85	c  427s |      22 |  1832075 |  1614322 |     1545   2316 |        0 |        0
429.72/429.88	c  429s |      22 |  1841448 |  1622422 |     1545   2325 |        0 |        0
431.72/431.88	c  431s |      22 |  1850433 |  1630222 |     1545   2334 |        0 |        0
433.72/433.89	c  433s |      22 |  1859505 |  1637922 |     1545   2343 |        0 |        0
435.82/435.90	c  435s |      22 |  1868055 |  1645522 |     1545   2351 |        0 |        0
437.83/437.92	c  437s |      22 |  1877136 |  1653422 |     1545   2360 |        0 |        0
439.82/439.92	c  439s |      22 |  1886074 |  1661122 |     1545   2369 |        0 |        0
441.82/441.94	c  441s |      22 |  1895509 |  1669322 |     1545   2378 |        0 |        0
443.82/443.94	c  443s |      22 |  1904222 |  1677022 |     1545   2387 |        0 |        0
445.82/445.96	c  445s |      22 |  1913636 |  1685022 |     1545   2396 |        0 |        0
447.82/447.96	c  447s |      22 |  1923344 |  1693122 |     1545   2405 |        0 |        0
449.83/449.98	c  449s |      22 |  1933750 |  1701422 |     1545   2414 |        0 |        0
451.82/451.99	c  451s |      22 |  1943689 |  1709422 |     1545   2423 |        0 |        0
453.82/453.99	c  453s |      22 |  1953541 |  1717522 |     1545   2432 |        0 |        0
455.92/456.00	c  455s |      22 |  1962928 |  1725422 |     1545   2441 |        0 |        0
457.92/458.00	c  457s |      22 |  1972213 |  1733122 |     1545   2450 |        0 |        0
459.92/460.02	c  460s |      22 |  1981999 |  1741322 |     1545   2459 |        0 |        0
461.93/462.04	c  462s |      22 |  1991347 |  1749322 |     1545   2468 |        0 |        0
463.92/464.05	c  464s |      22 |  2000432 |  1757022 |     1545   2477 |        0 |        0
465.92/466.07	c  466s |      22 |  2009035 |  1764522 |     1545   2485 |        0 |        0
467.92/468.09	c  468s |      22 |  2017158 |  1771622 |     1545   2493 |        0 |        0
470.02/470.12	c  470s |      22 |  2026086 |  1779122 |     1545   2502 |        0 |        0
472.02/472.13	c  472s |      22 |  2034960 |  1786622 |     1545   2510 |        0 |        0
474.03/474.15	c  474s |      22 |  2044434 |  1794722 |     1545   2519 |        0 |        0
476.02/476.15	c  476s |      22 |  2053578 |  1802522 |     1545   2528 |        0 |        0
478.02/478.18	c  478s |      22 |  2062482 |  1810222 |     1545   2537 |        0 |        0
480.02/480.19	c  480s |      22 |  2071501 |  1818022 |     1545   2546 |        0 |        0
482.12/482.21	c  482s |      22 |  2081038 |  1826122 |     1545   2555 |        0 |        0
484.12/484.23	c  484s |      22 |  2090787 |  1834322 |     1545   2564 |        0 |        0
486.12/486.24	c  486s |      22 |  2100173 |  1842122 |     1545   2573 |        0 |        0
488.11/488.25	c  488s |      22 |  2109297 |  1849922 |     1545   2582 |        0 |        0
490.11/490.26	c  490s |      22 |  2118396 |  1857722 |     1545   2591 |        0 |        0
492.11/492.27	c  492s |      22 |  2126882 |  1865122 |     1545   2599 |        0 |        0
494.11/494.27	c  494s |      22 |  2135926 |  1872722 |     1545   2608 |        0 |        0
496.12/496.29	c  496s |      22 |  2144792 |  1880322 |     1545   2616 |        0 |        0
498.22/498.32	c  498s |      22 |  2154758 |  1888522 |     1545   2626 |        0 |        0
500.21/500.34	c  500s |      22 |  2165656 |  1897222 |     1545   2635 |        0 |        0
502.21/502.35	c  502s |      22 |  2175600 |  1905422 |     1545   2645 |        0 |        0
504.21/504.37	c  504s |      22 |  2185432 |  1913522 |     1545   2654 |        0 |        0
506.21/506.38	c  506s |      22 |  2195314 |  1921722 |     1545   2663 |        0 |        0
508.31/508.40	c  508s |      22 |  2205532 |  1929822 |     1545   2672 |        0 |        0
510.31/510.43	c  510s |      22 |  2215077 |  1937722 |     1545   2681 |        0 |        0
512.31/512.44	c  512s |      22 |  2224192 |  1945522 |     1545   2690 |        0 |        0
514.31/514.45	c  514s |      22 |  2233225 |  1953222 |     1545   2699 |        0 |        0
516.31/516.46	c  516s |      22 |  2242925 |  1961222 |     1545   2708 |        0 |        0
518.31/518.47	c  518s |      22 |  2252043 |  1969022 |     1545   2717 |        0 |        0
520.31/520.47	c  520s |      22 |  2260706 |  1976422 |     1545   2725 |        0 |        0
522.30/522.48	c  522s |      22 |  2269276 |  1983822 |     1545   2733 |        0 |        0
524.40/524.51	c  524s |      22 |  2277565 |  1991122 |     1545   2742 |        0 |        0
526.40/526.53	c  526s |      22 |  2286221 |  1998522 |     1545   2750 |        0 |        0
528.40/528.54	c  528s |      22 |  2294906 |  2005922 |     1545   2758 |        0 |        0
530.40/530.56	c  530s |      22 |  2304654 |  2013822 |     1545   2767 |        0 |        0
532.41/532.57	c  532s |      22 |  2313191 |  2021022 |     1545   2776 |        0 |        0
534.40/534.59	c  534s |      22 |  2322120 |  2028422 |     1545   2784 |        0 |        0
536.50/536.60	c  536s |      22 |  2330942 |  2035822 |     1545   2792 |        0 |        0
538.50/538.63	c  538s |      22 |  2339323 |  2043122 |     1545   2801 |        0 |        0
540.50/540.65	c  540s |      22 |  2347869 |  2050522 |     1545   2809 |        0 |        0
542.50/542.68	c  542s |      22 |  2355902 |  2057622 |     1545   2817 |        0 |        0
544.60/544.70	c  544s |      22 |  2364218 |  2064822 |     1545   2825 |        0 |        0
546.61/546.71	c  546s |      22 |  2373399 |  2072522 |     1545   2834 |        0 |        0
548.60/548.74	c  548s |      22 |  2381951 |  2079922 |     1545   2842 |        0 |        0
550.60/550.76	c  550s |      22 |  2390641 |  2087422 |     1545   2851 |        0 |        0
552.60/552.79	c  552s |      22 |  2398696 |  2094422 |     1545   2859 |        0 |        0
554.60/554.79	c  554s |      22 |  2407259 |  2101622 |     1545   2867 |        0 |        0
556.61/556.79	c  556s |      22 |  2415939 |  2108922 |     1545   2875 |        0 |        0
558.71/558.81	c  558s |      22 |  2425156 |  2116422 |     1545   2884 |        0 |        0
560.70/560.82	c  560s |      22 |  2434193 |  2123922 |     1545   2892 |        0 |        0
562.70/562.82	c  562s |      22 |  2443338 |  2131522 |     1545   2901 |        0 |        0
564.70/564.82	c  564s |      22 |  2452020 |  2138922 |     1545   2909 |        0 |        0
566.70/566.84	c  566s |      22 |  2460845 |  2146222 |     1545   2918 |        0 |        0
568.71/568.86	c  568s |      22 |  2469757 |  2153622 |     1545   2926 |        0 |        0
570.71/570.88	c  570s |      22 |  2478172 |  2160822 |     1545   2934 |        0 |        0
572.70/572.88	c  572s |      22 |  2486474 |  2167822 |     1545   2942 |        0 |        0
574.80/574.90	c  574s |      22 |  2494159 |  2174522 |     1545   2950 |        0 |        0
576.80/576.90	c  576s |      22 |  2504012 |  2182422 |     1545   2959 |        0 |        0
578.80/578.92	c  578s |      22 |  2512212 |  2189522 |     1545   2967 |        0 |        0
580.81/580.94	c  580s |      22 |  2520664 |  2196622 |     1545   2975 |        0 |        0
582.80/582.95	c  582s |      22 |  2528844 |  2203722 |     1545   2983 |        0 |        0
584.80/584.97	c  584s |      22 |  2537636 |  2211022 |     1545   2991 |        0 |        0
586.80/586.99	c  586s |      22 |  2546749 |  2218522 |     1545   3000 |        0 |        0
588.90/589.00	c  588s |      22 |  2556264 |  2226522 |     1545   3009 |        0 |        0
590.90/591.01	c  590s |      22 |  2565049 |  2234122 |     1545   3017 |        0 |        0
592.91/593.02	c  593s |      22 |  2574314 |  2241722 |     1700   3025 |        0 |        0
594.90/595.02	c  595s |      22 |  2582522 |  2248722 |     1700   3033 |        0 |        0
595.60/595.70	c  595s |      23 |  2585277 |  2251038 |     1700   3035 |        0 |        0
597.60/597.72	c  597s |      23 |  2594131 |  2259038 |     1700   3043 |        0 |        0
599.60/599.74	c  599s |      23 |  2602476 |  2266638 |     1700   3051 |        0 |        0
601.60/601.76	c  601s |      23 |  2610528 |  2274038 |     1700   3059 |        0 |        0
603.60/603.76	c  603s |      23 |  2618931 |  2281538 |     1700   3067 |        0 |        0
605.60/605.76	c  605s |      23 |  2627834 |  2289338 |     1700   3075 |        0 |        0
607.59/607.77	c  607s |      23 |  2637409 |  2297638 |     1700   3083 |        0 |        0
609.59/609.77	c  609s |      23 |  2645906 |  2305238 |     1700   3091 |        0 |        0
611.60/611.79	c  611s |      23 |  2654788 |  2312938 |     1700   3099 |        0 |        0
613.70/613.81	c  613s |      23 |  2663628 |  2320738 |     1700   3107 |        0 |        0
615.69/615.81	c  615s |      23 |  2671859 |  2328138 |     1700   3115 |        0 |        0
617.69/617.85	c  617s |      23 |  2679772 |  2335338 |     1700   3123 |        0 |        0
619.69/619.87	c  619s |      23 |  2688447 |  2342938 |     1700   3130 |        0 |        0
621.69/621.89	c  621s |      23 |  2696276 |  2350038 |     1700   3138 |        0 |        0
623.79/623.90	c  623s |      23 |  2703979 |  2357038 |     1700   3145 |        0 |        0
625.80/625.92	c  625s |      23 |  2711582 |  2363938 |     1700   3152 |        0 |        0
627.79/627.95	c  627s |      23 |  2719435 |  2370938 |     1700   3160 |        0 |        0
629.79/629.96	c  629s |      23 |  2726903 |  2377738 |     1700   3167 |        0 |        0
631.79/631.98	c  631s |      23 |  2734286 |  2384538 |     1700   3174 |        0 |        0
633.89/634.00	c  633s |      23 |  2742138 |  2391738 |     1700   3181 |        0 |        0
635.90/636.02	c  636s |      23 |  2750023 |  2398938 |     1700   3189 |        0 |        0
637.90/638.02	c  638s |      23 |  2757618 |  2405838 |     1700   3196 |        0 |        0
639.89/640.03	c  640s |      23 |  2765200 |  2412738 |     1700   3203 |        0 |        0
641.89/642.04	c  642s |      23 |  2772729 |  2419638 |     1700   3210 |        0 |        0
643.89/644.07	c  644s |      23 |  2779970 |  2426238 |     1700   3217 |        0 |        0
645.89/646.08	c  646s |      23 |  2787116 |  2432738 |     1700   3224 |        0 |        0
647.90/648.09	c  648s |      23 |  2794771 |  2439538 |     1700   3231 |        0 |        0
650.00/650.12	c  650s |      23 |  2802286 |  2446238 |     1700   3238 |        0 |        0
651.99/652.12	c  652s |      23 |  2809066 |  2452438 |     1700   3245 |        0 |        0
653.99/654.12	c  654s |      23 |  2816497 |  2459138 |     1700   3252 |        0 |        0
655.99/656.14	c  656s |      23 |  2824252 |  2465938 |     1700   3259 |        0 |        0
657.99/658.15	c  658s |      23 |  2831890 |  2472738 |     1700   3266 |        0 |        0
659.99/660.16	c  660s |      23 |  2839015 |  2479238 |     1700   3273 |        0 |        0
661.99/662.17	c  662s |      23 |  2846282 |  2485838 |     1700   3279 |        0 |        0
664.09/664.20	c  664s |      23 |  2853938 |  2492538 |     1700   3286 |        0 |        0
666.09/666.21	c  666s |      23 |  2861621 |  2499338 |     1700   3294 |        0 |        0
668.09/668.23	c  668s |      23 |  2869086 |  2506038 |     1700   3301 |        0 |        0
670.09/670.26	c  670s |      23 |  2877065 |  2513038 |     1700   3308 |        0 |        0
672.09/672.28	c  672s |      23 |  2884647 |  2519838 |     1700   3315 |        0 |        0
674.08/674.30	c  674s |      23 |  2891723 |  2526338 |     1700   3322 |        0 |        0
676.18/676.30	c  676s |      23 |  2899635 |  2533238 |     1700   3329 |        0 |        0
678.18/678.31	c  678s |      23 |  2906778 |  2539738 |     1700   3336 |        0 |        0
680.18/680.32	c  680s |      23 |  2914523 |  2546638 |     1700   3343 |        0 |        0
682.18/682.35	c  682s |      23 |  2921812 |  2553238 |     1700   3350 |        0 |        0
684.19/684.36	c  684s |      23 |  2929445 |  2560038 |     1700   3357 |        0 |        0
686.18/686.36	c  686s |      23 |  2936464 |  2566438 |     1700   3364 |        0 |        0
688.18/688.39	c  688s |      23 |  2943789 |  2573038 |     1700   3371 |        0 |        0
690.28/690.40	c  690s |      23 |  2950807 |  2579438 |     1700   3377 |        0 |        0
692.28/692.41	c  692s |      23 |  2957827 |  2585938 |     1700   3384 |        0 |        0
694.28/694.43	c  694s |      23 |  2964922 |  2592338 |     1700   3391 |        0 |        0
696.29/696.44	c  696s |      23 |  2972428 |  2598938 |     1700   3398 |        0 |        0
698.28/698.47	c  698s |      23 |  2979630 |  2605438 |     1700   3405 |        0 |        0
700.28/700.48	c  700s |      23 |  2987006 |  2611938 |     1700   3411 |        0 |        0
702.28/702.49	c  702s |      23 |  2994115 |  2618338 |     1700   3418 |        0 |        0
704.38/704.50	c  704s |      23 |  3000724 |  2624438 |     1700   3424 |        0 |        0
706.38/706.51	c  706s |      23 |  3007790 |  2630838 |     1700   3431 |        0 |        0
708.39/708.53	c  708s |      23 |  3015187 |  2637538 |     1700   3438 |        0 |        0
710.38/710.53	c  710s |      23 |  3022609 |  2644038 |     1700   3445 |        0 |        0
712.38/712.55	c  712s |      23 |  3029438 |  2650338 |     1700   3452 |        0 |        0
714.38/714.58	c  714s |      23 |  3036534 |  2656738 |     1700   3458 |        0 |        0
716.48/716.60	c  716s |      23 |  3043331 |  2662938 |     1700   3465 |        0 |        0
718.48/718.60	c  718s |      23 |  3050237 |  2669238 |     1700   3471 |        0 |        0
720.49/720.61	c  720s |      23 |  3057149 |  2675538 |     1700   3478 |        0 |        0
722.48/722.63	c  722s |      23 |  3064388 |  2682038 |     1700   3485 |        0 |        0
724.48/724.64	c  724s |      23 |  3071407 |  2688438 |     1700   3491 |        0 |        0
726.48/726.64	c  726s |      23 |  3078161 |  2694638 |     1700   3498 |        0 |        0
728.48/728.66	c  728s |      23 |  3084786 |  2700838 |     1700   3504 |        0 |        0
730.48/730.69	c  730s |      23 |  3091605 |  2707138 |     1700   3511 |        0 |        0
732.59/732.72	c  732s |      23 |  3098596 |  2713438 |     1700   3518 |        0 |        0
734.58/734.74	c  734s |      23 |  3105389 |  2719638 |     1700   3524 |        0 |        0
736.58/736.74	c  736s |      23 |  3112455 |  2726038 |     1700   3531 |        0 |        0
738.58/738.75	c  738s |      23 |  3119273 |  2732238 |     1700   3537 |        0 |        0
740.58/740.78	c  740s |      23 |  3125791 |  2738238 |     1700   3544 |        0 |        0
742.58/742.79	c  742s |      23 |  3132301 |  2744238 |     1700   3550 |        0 |        0
744.59/744.80	c  744s |      23 |  3139109 |  2750438 |     1700   3556 |        0 |        0
746.68/746.82	c  746s |      23 |  3146073 |  2756738 |     1700   3563 |        0 |        0
748.68/748.82	c  748s |      23 |  3153265 |  2763238 |     1700   3570 |        0 |        0
750.68/750.84	c  750s |      23 |  3160533 |  2769738 |     1700   3577 |        0 |        0
752.68/752.87	c  752s |      23 |  3167868 |  2776338 |     1700   3583 |        0 |        0
754.68/754.89	c  754s |      23 |  3174832 |  2782638 |     1700   3590 |        0 |        0
756.68/756.90	c  756s |      23 |  3182109 |  2789238 |     1700   3597 |        0 |        0
758.78/758.93	c  758s |      23 |  3189047 |  2795538 |     1700   3604 |        0 |        0
760.78/760.95	c  760s |      23 |  3196166 |  2801938 |     1700   3610 |        0 |        0
762.78/762.98	c  762s |      23 |  3202872 |  2808038 |     1700   3617 |        0 |        0
764.87/765.01	c  764s |      23 |  3209499 |  2814138 |     1700   3623 |        0 |        0
766.87/767.01	c  766s |      23 |  3215836 |  2820038 |     1700   3629 |        0 |        0
768.88/769.03	c  769s |      23 |  3222721 |  2826338 |     1700   3636 |        0 |        0
770.87/771.07	c  771s |      23 |  3229600 |  2832738 |     1700   3643 |        0 |        0
772.87/773.08	c  773s |      23 |  3236475 |  2839038 |     1700   3649 |        0 |        0
774.97/775.10	c  775s |      23 |  3243240 |  2845338 |     1700   3656 |        0 |        0
776.97/777.12	c  777s |      23 |  3249888 |  2851538 |     1700   3662 |        0 |        0
778.97/779.14	c  779s |      23 |  3256551 |  2857638 |     1700   3669 |        0 |        0
780.98/781.17	c  781s |      23 |  3263781 |  2864138 |     1700   3675 |        0 |        0
782.97/783.17	c  783s |      23 |  3270698 |  2870338 |     1700   3682 |        0 |        0
784.97/785.19	c  785s |      23 |  3277693 |  2876638 |     1700   3688 |        0 |        0
787.07/787.21	c  787s |      23 |  3284437 |  2882838 |     1700   3695 |        0 |        0
789.07/789.21	c  789s |      23 |  3291298 |  2889138 |     1700   3702 |        0 |        0
791.07/791.21	c  791s |      23 |  3298314 |  2895538 |     1700   3708 |        0 |        0
793.07/793.23	c  793s |      23 |  3304767 |  2901538 |     1700   3715 |        0 |        0
795.07/795.24	c  795s |      23 |  3311445 |  2907738 |     1700   3721 |        0 |        0
797.07/797.24	c  797s |      23 |  3318272 |  2914038 |     1700   3728 |        0 |        0
799.07/799.27	c  799s |      23 |  3325018 |  2920338 |     1700   3734 |        0 |        0
801.07/801.29	c  801s |      23 |  3331621 |  2926538 |     1700   3741 |        0 |        0
803.16/803.31	c  803s |      23 |  3338324 |  2932738 |     1700   3747 |        0 |        0
805.17/805.32	c  805s |      23 |  3344912 |  2938738 |     1700   3754 |        0 |        0
807.16/807.32	c  807s |      23 |  3351322 |  2944738 |     1700   3760 |        0 |        0
809.16/809.34	c  809s |      23 |  3357799 |  2950738 |     1700   3766 |        0 |        0
811.16/811.36	c  811s |      23 |  3364344 |  2956838 |     1700   3773 |        0 |        0
813.16/813.37	c  813s |      23 |  3371206 |  2963138 |     1700   3779 |        0 |        0
815.16/815.39	c  815s |      23 |  3377792 |  2969238 |     1700   3786 |        0 |        0
817.17/817.40	c  817s |      23 |  3384686 |  2975638 |     1700   3792 |        0 |        0
819.26/819.42	c  819s |      23 |  3391590 |  2982038 |     1700   3799 |        0 |        0
821.26/821.45	c  821s |      23 |  3398378 |  2988338 |     1700   3806 |        0 |        0
823.26/823.46	c  823s |      23 |  3405175 |  2994638 |     1700   3812 |        0 |        0
825.26/825.50	c  825s |      23 |  3411737 |  3000738 |     1700   3819 |        0 |        0
827.36/827.51	c  827s |      23 |  3418523 |  3006938 |     1700   3825 |        0 |        0
829.36/829.52	c  829s |      23 |  3425244 |  3013138 |     1700   3831 |        0 |        0
831.37/831.54	c  831s |      23 |  3432132 |  3019538 |     1700   3838 |        0 |        0
833.37/833.57	c  833s |      23 |  3438900 |  3025838 |     1700   3845 |        0 |        0
835.36/835.58	c  835s |      23 |  3445364 |  3031838 |     1700   3851 |        0 |        0
837.46/837.60	c  837s |      23 |  3451659 |  3037638 |     1700   3857 |        0 |        0
839.46/839.61	c  839s |      23 |  3458328 |  3043738 |     1700   3864 |        0 |        0
841.47/841.63	c  841s |      23 |  3465402 |  3050138 |     1700   3870 |        0 |        0
843.46/843.66	c  843s |      23 |  3472271 |  3056438 |     1700   3877 |        0 |        0
845.46/845.67	c  845s |      23 |  3478770 |  3062538 |     1700   3883 |        0 |        0
847.56/847.71	c  847s |      23 |  3485197 |  3068538 |     1700   3890 |        0 |        0
849.56/849.73	c  849s |      23 |  3491645 |  3074538 |     1700   3896 |        0 |        0
851.56/851.76	c  851s |      23 |  3498097 |  3080438 |     1700   3902 |        0 |        0
853.56/853.79	c  853s |      23 |  3504582 |  3086438 |     1700   3908 |        0 |        0
855.66/855.81	c  855s |      23 |  3511093 |  3092438 |     1700   3915 |        0 |        0
857.66/857.84	c  857s |      23 |  3517569 |  3098438 |     1700   3921 |        0 |        0
859.66/859.85	c  859s |      23 |  3524365 |  3104738 |     1700   3927 |        0 |        0
861.66/861.86	c  861s |      23 |  3530979 |  3110938 |     1700   3934 |        0 |        0
863.66/863.89	c  863s |      23 |  3537541 |  3117038 |     1700   3940 |        0 |        0
865.66/865.89	c  865s |      23 |  3544312 |  3123238 |     1700   3947 |        0 |        0
867.66/867.89	c  867s |      23 |  3551116 |  3129538 |     1700   3953 |        0 |        0
869.75/869.90	c  869s |      23 |  3558049 |  3135838 |     1700   3960 |        0 |        0
871.75/871.94	c  871s |      23 |  3564792 |  3142038 |     1700   3967 |        0 |        0
873.75/873.94	c  873s |      23 |  3571608 |  3148238 |     1700   3973 |        0 |        0
875.75/875.94	c  875s |      23 |  3578264 |  3154338 |     1700   3979 |        0 |        0
877.76/877.98	c  877s |      23 |  3585086 |  3160638 |     1700   3986 |        0 |        0
879.75/879.99	c  879s |      23 |  3591583 |  3166638 |     1700   3992 |        0 |        0
881.75/881.99	c  881s |      23 |  3598119 |  3172638 |     1700   3999 |        0 |        0
883.75/884.00	c  883s |      23 |  3604813 |  3178738 |     1700   4005 |        0 |        0
885.85/886.02	c  886s |      23 |  3611697 |  3185038 |     1700   4012 |        0 |        0
887.85/888.05	c  888s |      23 |  3618527 |  3191238 |     1700   4018 |        0 |        0
889.86/890.07	c  890s |      23 |  3625181 |  3197338 |     1700   4025 |        0 |        0
891.85/892.08	c  892s |      23 |  3631412 |  3203138 |     1700   4031 |        0 |        0
893.95/894.11	c  894s |      23 |  3637927 |  3209138 |     1700   4037 |        0 |        0
895.95/896.13	c  896s |      23 |  3644324 |  3215138 |     1700   4043 |        0 |        0
897.95/898.15	c  898s |      23 |  3650950 |  3221338 |     1700   4050 |        0 |        0
899.95/900.18	c  900s |      23 |  3657751 |  3227538 |     1700   4056 |        0 |        0
902.05/902.20	c  902s |      23 |  3664530 |  3233838 |     1700   4063 |        0 |        0
904.06/904.20	c  904s |      23 |  3671391 |  3240138 |     1700   4069 |        0 |        0
906.05/906.22	c  906s |      23 |  3678551 |  3246638 |     1700   4076 |        0 |        0
908.05/908.24	c  908s |      23 |  3685475 |  3253038 |     1700   4083 |        0 |        0
910.05/910.26	c  910s |      23 |  3692840 |  3259638 |     1700   4090 |        0 |        0
912.05/912.26	c  912s |      23 |  3699646 |  3265938 |     1700   4097 |        0 |        0
914.05/914.26	c  914s |      23 |  3706521 |  3272338 |     1700   4103 |        0 |        0
916.05/916.27	c  916s |      23 |  3713510 |  3278738 |     1700   4110 |        0 |        0
918.05/918.29	c  918s |      23 |  3720549 |  3285238 |     1700   4117 |        0 |        0
920.14/920.31	c  920s |      23 |  3727525 |  3291638 |     1700   4123 |        0 |        0
922.14/922.34	c  922s |      23 |  3734908 |  3298338 |     1700   4130 |        0 |        0
924.14/924.34	c  924s |      23 |  3741816 |  3304638 |     1700   4137 |        0 |        0
926.15/926.35	c  926s |      23 |  3748838 |  3310838 |     1700   4144 |        0 |        0
928.14/928.35	c  928s |      23 |  3756467 |  3317538 |     1700   4151 |        0 |        0
930.14/930.36	c  930s |      23 |  3763676 |  3324038 |     1700   4157 |        0 |        0
932.14/932.37	c  932s |      23 |  3770920 |  3330538 |     1700   4164 |        0 |        0
934.14/934.38	c  934s |      23 |  3778127 |  3337038 |     1700   4171 |        0 |        0
936.14/936.38	c  936s |      23 |  3785427 |  3343538 |     1700   4178 |        0 |        0
938.15/938.40	c  938s |      23 |  3792491 |  3349838 |     1700   4184 |        0 |        0
940.24/940.40	c  940s |      23 |  3799373 |  3356038 |     1871   4190 |        0 |        0
942.24/942.42	c  942s |      23 |  3806346 |  3362338 |     1871   4197 |        0 |        0
944.24/944.42	c  944s |      23 |  3813104 |  3368438 |     1871   4202 |        0 |        0
946.24/946.46	c  946s |      23 |  3819936 |  3374638 |     1871   4208 |        0 |        0
946.95/947.14	c  947s |      24 |  3822138 |  3376662 |     1871   4210 |        0 |        0
948.95/949.17	c  949s |      24 |  3830657 |  3384262 |     1871   4218 |        0 |        0
951.05/951.20	c  951s |      24 |  3838720 |  3391662 |     1871   4225 |        0 |        0
953.05/953.20	c  953s |      24 |  3846702 |  3398962 |     1871   4231 |        0 |        0
955.05/955.20	c  955s |      24 |  3854544 |  3406062 |     1871   4238 |        0 |        0
957.05/957.21	c  957s |      24 |  3862504 |  3413362 |     1871   4245 |        0 |        0
959.05/959.21	c  959s |      24 |  3870509 |  3420562 |     1871   4252 |        0 |        0
961.04/961.21	c  961s |      24 |  3878230 |  3427462 |     1871   4258 |        0 |        0
963.04/963.22	c  963s |      24 |  3886359 |  3434562 |     1871   4265 |        0 |        0
965.04/965.22	c  965s |      24 |  3894465 |  3441762 |     1871   4272 |        0 |        0
967.04/967.23	c  967s |      24 |  3903003 |  3449062 |     1871   4279 |        0 |        0
969.05/969.25	c  969s |      24 |  3910917 |  3456162 |     1871   4286 |        0 |        0
971.04/971.27	c  971s |      24 |  3918580 |  3463162 |     1871   4292 |        0 |        0
973.04/973.27	c  973s |      24 |  3926434 |  3470162 |     1871   4299 |        0 |        0
975.04/975.27	c  975s |      24 |  3934096 |  3477062 |     1871   4305 |        0 |        0
977.14/977.30	c  977s |      24 |  3941298 |  3483662 |     1871   4312 |        0 |        0
979.14/979.31	c  979s |      24 |  3949659 |  3490962 |     1871   4318 |        0 |        0
981.15/981.31	c  981s |      24 |  3958399 |  3498362 |     1871   4325 |        0 |        0
983.14/983.33	c  983s |      24 |  3966535 |  3505562 |     1871   4332 |        0 |        0
985.14/985.35	c  985s |      24 |  3974208 |  3512462 |     1871   4339 |        0 |        0
987.14/987.38	c  987s |      24 |  3981705 |  3519162 |     1871   4345 |        0 |        0
989.24/989.40	c  989s |      24 |  3989631 |  3526062 |     1871   4352 |        0 |        0
991.24/991.40	c  991s |      24 |  3996827 |  3532562 |     1871   4358 |        0 |        0
993.25/993.42	c  993s |      24 |  4005055 |  3539762 |     1871   4365 |        0 |        0
995.24/995.43	c  995s |      24 |  4012896 |  3546762 |     1871   4371 |        0 |        0
997.24/997.44	c  997s |      24 |  4020343 |  3553462 |     1871   4378 |        0 |        0
999.24/999.45	c  999s |      24 |  4027997 |  3560462 |     1871   4384 |        0 |        0
1001.24/1001.46	c 1001s |      24 |  4035798 |  3567462 |     1871   4391 |        0 |        0
1003.24/1003.46	c 1003s |      24 |  4043833 |  3574562 |     1871   4398 |        0 |        0
1005.24/1005.47	c 1005s |      24 |  4052295 |  3581862 |     1871   4404 |        0 |        0
1007.23/1007.47	c 1007s |      24 |  4060363 |  3588962 |     1871   4411 |        0 |        0
1009.23/1009.49	c 1009s |      24 |  4067616 |  3595562 |     1871   4417 |        0 |        0
1011.23/1011.49	c 1011s |      24 |  4075195 |  3602362 |     1871   4424 |        0 |        0
1013.33/1013.50	c 1013s |      24 |  4082903 |  3609262 |     1871   4430 |        0 |        0
1015.33/1015.50	c 1015s |      24 |  4090375 |  3616062 |     1871   4437 |        0 |        0
1017.23/1017.50	c 1017s |      24 |  4097880 |  3622862 |     1871   4443 |        0 |        0
1019.33/1019.51	c 1019s |      24 |  4105562 |  3629762 |     1871   4450 |        0 |        0
1021.33/1021.53	c 1021s |      24 |  4113175 |  3636662 |     1871   4456 |        0 |        0
1023.33/1023.55	c 1023s |      24 |  4120331 |  3643262 |     1871   4463 |        0 |        0
1025.33/1025.55	c 1025s |      24 |  4127916 |  3650062 |     1871   4469 |        0 |        0
1027.34/1027.56	c 1027s |      24 |  4135189 |  3656662 |     1871   4475 |        0 |        0
1029.33/1029.57	c 1029s |      24 |  4143814 |  3663862 |     1871   4482 |        0 |        0
1031.43/1031.60	c 1031s |      24 |  4151319 |  3670562 |     1871   4488 |        0 |        0
1033.43/1033.60	c 1033s |      24 |  4158045 |  3676762 |     1871   4494 |        0 |        0
1035.43/1035.62	c 1035s |      24 |  4165315 |  3683262 |     1871   4501 |        0 |        0
1037.43/1037.63	c 1037s |      24 |  4172589 |  3689962 |     1871   4507 |        0 |        0
1039.43/1039.67	c 1039s |      24 |  4180434 |  3696962 |     1871   4514 |        0 |        0
1041.43/1041.67	c 1041s |      24 |  4188025 |  3703762 |     1871   4520 |        0 |        0
1043.42/1043.68	c 1043s |      24 |  4195566 |  3710562 |     1871   4526 |        0 |        0
1045.52/1045.70	c 1045s |      24 |  4203214 |  3717462 |     1871   4533 |        0 |        0
1047.52/1047.71	c 1047s |      24 |  4210804 |  3724362 |     1871   4539 |        0 |        0
1049.52/1049.71	c 1049s |      24 |  4218329 |  3731162 |     1871   4546 |        0 |        0
1051.53/1051.72	c 1051s |      24 |  4226140 |  3738162 |     1871   4553 |        0 |        0
1053.53/1053.73	c 1053s |      24 |  4234744 |  3745562 |     1871   4560 |        0 |        0
1055.53/1055.75	c 1055s |      24 |  4243405 |  3752962 |     1871   4567 |        0 |        0
1057.52/1057.75	c 1057s |      24 |  4252175 |  3760462 |     1871   4574 |        0 |        0
1059.52/1059.77	c 1059s |      24 |  4260353 |  3767662 |     1871   4580 |        0 |        0
1061.52/1061.77	c 1061s |      24 |  4268739 |  3775062 |     1871   4587 |        0 |        0
1063.53/1063.77	c 1063s |      24 |  4276744 |  3782162 |     1871   4594 |        0 |        0
1065.52/1065.79	c 1065s |      24 |  4284589 |  3789162 |     1871   4601 |        0 |        0
1067.62/1067.80	c 1067s |      24 |  4292556 |  3796362 |     1871   4608 |        0 |        0
1069.62/1069.82	c 1069s |      24 |  4300458 |  3803362 |     1871   4614 |        0 |        0
1071.62/1071.83	c 1071s |      24 |  4308255 |  3810362 |     1871   4621 |        0 |        0
1073.62/1073.84	c 1073s |      24 |  4315865 |  3817262 |     1871   4627 |        0 |        0
1075.62/1075.87	c 1075s |      24 |  4323135 |  3823862 |     1871   4634 |        0 |        0
1077.62/1077.87	c 1077s |      24 |  4330223 |  3830262 |     1871   4640 |        0 |        0
1079.61/1079.87	c 1079s |      24 |  4337198 |  3836662 |     1871   4646 |        0 |        0
1081.61/1081.89	c 1081s |      24 |  4344121 |  3843062 |     1871   4652 |        0 |        0
1083.71/1083.91	c 1083s |      24 |  4351077 |  3849562 |     1871   4658 |        0 |        0
1085.71/1085.92	c 1085s |      24 |  4358204 |  3856162 |     1871   4664 |        0 |        0
1087.72/1087.93	c 1087s |      24 |  4365866 |  3863162 |     1871   4671 |        0 |        0
1089.71/1089.95	c 1089s |      24 |  4373262 |  3870062 |     1871   4677 |        0 |        0
1091.71/1091.96	c 1091s |      24 |  4381225 |  3877162 |     1871   4684 |        0 |        0
1093.70/1093.99	c 1093s |      24 |  4388864 |  3884162 |     1871   4691 |        0 |        0
1095.70/1095.99	c 1095s |      24 |  4395972 |  3890762 |     1871   4697 |        0 |        0
1097.80/1098.01	c 1097s |      24 |  4403403 |  3897662 |     1871   4703 |        0 |        0
1099.81/1100.04	c 1100s |      24 |  4410345 |  3904162 |     1871   4710 |        0 |        0
1101.80/1102.05	c 1102s |      24 |  4417782 |  3910962 |     1871   4716 |        0 |        0
1103.79/1104.05	c 1104s |      24 |  4425143 |  3917662 |     1871   4722 |        0 |        0
1105.79/1106.07	c 1106s |      24 |  4432808 |  3924562 |     1871   4729 |        0 |        0
1107.79/1108.07	c 1108s |      24 |  4440036 |  3931162 |     1871   4735 |        0 |        0
1109.80/1110.09	c 1110s |      24 |  4447108 |  3937662 |     1871   4741 |        0 |        0
1111.90/1112.12	c 1112s |      24 |  4454164 |  3944262 |     1871   4748 |        0 |        0
1113.88/1114.15	c 1114s |      24 |  4461632 |  3951062 |     1871   4754 |        0 |        0
1115.88/1116.16	c 1116s |      24 |  4468988 |  3957762 |     1871   4760 |        0 |        0
1117.88/1118.17	c 1118s |      24 |  4476542 |  3964562 |     1871   4767 |        0 |        0
1119.98/1120.20	c 1120s |      24 |  4484463 |  3971662 |     1871   4774 |        0 |        0
1121.98/1122.22	c 1122s |      24 |  4492065 |  3978562 |     1871   4780 |        0 |        0
1123.99/1124.22	c 1124s |      24 |  4499741 |  3985362 |     1871   4787 |        0 |        0
1125.98/1126.23	c 1126s |      24 |  4506759 |  3991862 |     1871   4793 |        0 |        0
1127.98/1128.25	c 1128s |      24 |  4513833 |  3998462 |     1871   4799 |        0 |        0
1129.99/1130.25	c 1130s |      24 |  4521091 |  4005162 |     1871   4805 |        0 |        0
1131.99/1132.26	c 1132s |      24 |  4528603 |  4011962 |     1871   4812 |        0 |        0
1133.99/1134.27	c 1134s |      24 |  4536146 |  4018762 |     1871   4818 |        0 |        0
1135.98/1136.28	c 1136s |      24 |  4543633 |  4025462 |     1871   4825 |        0 |        0
1138.08/1138.30	c 1138s |      24 |  4551210 |  4032262 |     1871   4831 |        0 |        0
1140.08/1140.30	c 1140s |      24 |  4558516 |  4038862 |     1871   4837 |        0 |        0
1142.08/1142.33	c 1142s |      24 |  4565695 |  4045462 |     1871   4844 |        0 |        0
1144.08/1144.35	c 1144s |      24 |  4572694 |  4051962 |     1871   4850 |        0 |        0
1146.08/1146.35	c 1146s |      24 |  4579964 |  4058562 |     1871   4856 |        0 |        0
1148.08/1148.37	c 1148s |      24 |  4587959 |  4065662 |     1871   4863 |        0 |        0
1150.08/1150.39	c 1150s |      24 |  4595936 |  4072762 |     1871   4869 |        0 |        0
1152.17/1152.42	c 1152s |      24 |  4603659 |  4079662 |     1871   4876 |        0 |        0
1154.17/1154.44	c 1154s |      24 |  4611452 |  4086562 |     1871   4883 |        0 |        0
1156.17/1156.47	c 1156s |      24 |  4619637 |  4093862 |     1871   4889 |        0 |        0
1158.18/1158.47	c 1158s |      24 |  4627450 |  4100762 |     1871   4896 |        0 |        0
1160.17/1160.49	c 1160s |      24 |  4635763 |  4108062 |     1871   4903 |        0 |        0
1162.17/1162.49	c 1162s |      24 |  4643516 |  4115062 |     1871   4910 |        0 |        0
1164.27/1164.50	c 1164s |      24 |  4651304 |  4121962 |     1871   4916 |        0 |        0
1166.27/1166.51	c 1166s |      24 |  4658746 |  4128662 |     1871   4923 |        0 |        0
1168.27/1168.53	c 1168s |      24 |  4666590 |  4135662 |     1871   4929 |        0 |        0
1170.27/1170.54	c 1170s |      24 |  4673972 |  4142362 |     1871   4936 |        0 |        0
1172.26/1172.55	c 1172s |      24 |  4681055 |  4148862 |     1871   4942 |        0 |        0
1174.26/1174.57	c 1174s |      24 |  4688972 |  4155862 |     1871   4948 |        0 |        0
1176.26/1176.58	c 1176s |      24 |  4696622 |  4162662 |     1871   4955 |        0 |        0
1178.26/1178.59	c 1178s |      24 |  4704313 |  4169562 |     1871   4961 |        0 |        0
1180.36/1180.61	c 1180s |      24 |  4712247 |  4176662 |     1871   4968 |        0 |        0
1182.36/1182.63	c 1182s |      24 |  4719978 |  4183562 |     1871   4975 |        0 |        0
1184.35/1184.63	c 1184s |      24 |  4727059 |  4190062 |     1871   4981 |        0 |        0
1186.35/1186.66	c 1186s |      24 |  4734333 |  4196762 |     1871   4987 |        0 |        0
1188.35/1188.67	c 1188s |      24 |  4741734 |  4203462 |     1871   4994 |        0 |        0
1190.35/1190.67	c 1190s |      24 |  4749043 |  4210162 |     1871   5000 |        0 |        0
1192.35/1192.68	c 1192s |      24 |  4756349 |  4216862 |     1871   5006 |        0 |        0
1194.35/1194.70	c 1194s |      24 |  4763956 |  4223662 |     1871   5013 |        0 |        0
1196.45/1196.72	c 1196s |      24 |  4771303 |  4230262 |     1871   5019 |        0 |        0
1198.44/1198.73	c 1198s |      24 |  4778829 |  4236962 |     1871   5025 |        0 |        0
1200.44/1200.73	c 1200s |      24 |  4786941 |  4244062 |     1871   5032 |        0 |        0
1202.44/1202.75	c 1202s |      24 |  4794286 |  4250862 |     1871   5039 |        0 |        0
1204.44/1204.77	c 1204s |      24 |  4801583 |  4257562 |     1871   5045 |        0 |        0
1206.46/1206.77	c 1206s |      24 |  4808953 |  4264362 |     1871   5051 |        0 |        0
1208.45/1208.77	c 1208s |      24 |  4817215 |  4271662 |     1871   5058 |        0 |        0
1210.45/1210.78	c 1210s |      24 |  4825100 |  4278662 |     1871   5065 |        0 |        0
1212.54/1212.80	c 1212s |      24 |  4832748 |  4285462 |     1871   5071 |        0 |        0
1214.54/1214.83	c 1214s |      24 |  4840110 |  4292162 |     1871   5078 |        0 |        0
1216.54/1216.83	c 1216s |      24 |  4847563 |  4298862 |     1871   5084 |        0 |        0
1218.55/1218.84	c 1218s |      24 |  4855463 |  4305762 |     1871   5091 |        0 |        0
1220.54/1220.86	c 1220s |      24 |  4863306 |  4312762 |     1871   5097 |        0 |        0
1222.54/1222.89	c 1222s |      24 |  4871236 |  4319762 |     1871   5104 |        0 |        0
1224.54/1224.89	c 1224s |      24 |  4878958 |  4326662 |     1871   5111 |        0 |        0
1226.64/1226.92	c 1226s |      24 |  4886538 |  4333562 |     1871   5117 |        0 |        0
1228.64/1228.94	c 1228s |      24 |  4894064 |  4340362 |     1871   5124 |        0 |        0
1230.64/1230.97	c 1230s |      24 |  4902154 |  4347662 |     1871   5130 |        0 |        0
1232.63/1232.98	c 1232s |      24 |  4910107 |  4354762 |     1871   5137 |        0 |        0
1234.63/1234.98	c 1234s |      24 |  4918080 |  4361862 |     1871   5144 |        0 |        0
1236.63/1236.98	c 1236s |      24 |  4925763 |  4368862 |     1871   5150 |        0 |        0
1238.63/1238.99	c 1238s |      24 |  4933550 |  4375862 |     1871   5157 |        0 |        0
1240.73/1241.00	c 1240s |      24 |  4941129 |  4382662 |     1871   5164 |        0 |        0
1242.73/1243.01	c 1242s |      24 |  4949197 |  4389762 |     1871   5170 |        0 |        0
1244.72/1245.03	c 1245s |      24 |  4957913 |  4397362 |     1871   5177 |        0 |        0
1246.72/1247.05	c 1247s |      24 |  4966004 |  4404562 |     1871   5184 |        0 |        0
1248.72/1249.06	c 1249s |      24 |  4973831 |  4411662 |     1871   5191 |        0 |        0
1250.72/1251.06	c 1251s |      24 |  4981593 |  4418662 |     1871   5198 |        0 |        0
1252.72/1253.07	c 1253s |      24 |  4989156 |  4425562 |     1871   5204 |        0 |        0
1254.72/1255.09	c 1255s |      24 |  4996921 |  4432562 |     1871   5211 |        0 |        0
1256.82/1257.12	c 1257s |      24 |  5004728 |  4439562 |     1871   5218 |        0 |        0
1258.81/1259.14	c 1259s |      24 |  5012709 |  4446562 |     1871   5224 |        0 |        0
1260.81/1261.17	c 1261s |      24 |  5022009 |  4454362 |     1871   5232 |        0 |        0
1262.81/1263.18	c 1263s |      24 |  5030846 |  4462062 |     1871   5239 |        0 |        0
1264.82/1265.19	c 1265s |      24 |  5038635 |  4469162 |     1871   5246 |        0 |        0
1266.92/1267.21	c 1267s |      24 |  5046938 |  4476562 |     1871   5253 |        0 |        0
1268.91/1269.22	c 1269s |      24 |  5054834 |  4483662 |     1871   5259 |        0 |        0
1270.91/1271.22	c 1271s |      24 |  5063726 |  4491362 |     1871   5267 |        0 |        0
1272.91/1273.23	c 1273s |      24 |  5072940 |  4499162 |     1871   5274 |        0 |        0
1274.90/1275.24	c 1275s |      24 |  5081805 |  4506762 |     1871   5281 |        0 |        0
1276.91/1277.25	c 1277s |      24 |  5090350 |  4514162 |     1871   5288 |        0 |        0
1278.90/1279.25	c 1279s |      24 |  5098592 |  4521462 |     1871   5295 |        0 |        0
1280.90/1281.25	c 1281s |      24 |  5106406 |  4528562 |     1871   5302 |        0 |        0
1282.90/1283.27	c 1283s |      24 |  5114915 |  4535862 |     1871   5309 |        0 |        0
1284.90/1285.28	c 1285s |      24 |  5123496 |  4543262 |     1871   5316 |        0 |        0
1286.90/1287.28	c 1287s |      24 |  5132637 |  4551062 |     1871   5323 |        0 |        0
1288.91/1289.29	c 1289s |      24 |  5141372 |  4558562 |     1871   5330 |        0 |        0
1291.00/1291.31	c 1291s |      24 |  5149954 |  4565962 |     1871   5337 |        0 |        0
1293.00/1293.32	c 1293s |      24 |  5158151 |  4573162 |     1871   5344 |        0 |        0
1295.00/1295.34	c 1295s |      24 |  5165620 |  4579962 |     1871   5351 |        0 |        0
1296.99/1297.36	c 1297s |      24 |  5173004 |  4586762 |     1871   5357 |        0 |        0
1298.99/1299.37	c 1299s |      24 |  5180415 |  4593562 |     1871   5364 |        0 |        0
1301.01/1301.39	c 1301s |      24 |  5188696 |  4600862 |     1871   5371 |        0 |        0
1303.00/1303.40	c 1303s |      24 |  5196762 |  4607962 |     1871   5377 |        0 |        0
1305.10/1305.40	c 1305s |      24 |  5205540 |  4615462 |     1871   5384 |        0 |        0
1307.10/1307.41	c 1307s |      24 |  5215087 |  4623262 |     1871   5392 |        0 |        0
1309.10/1309.42	c 1309s |      24 |  5223792 |  4630762 |     1871   5399 |        0 |        0
1311.10/1311.44	c 1311s |      24 |  5232378 |  4638462 |     1871   5406 |        0 |        0
1313.10/1313.45	c 1313s |      24 |  5240879 |  4646062 |     1871   5413 |        0 |        0
1315.09/1315.46	c 1315s |      24 |  5249545 |  4653662 |     1871   5421 |        0 |        0
1317.09/1317.46	c 1317s |      24 |  5257901 |  4660962 |     1871   5428 |        0 |        0
1319.09/1319.49	c 1319s |      24 |  5266297 |  4668362 |     1871   5435 |        0 |        0
1321.19/1321.53	c 1321s |      24 |  5274679 |  4675662 |     1871   5442 |        0 |        0
1323.19/1323.53	c 1323s |      24 |  5283982 |  4683462 |     1871   5449 |        0 |        0
1325.20/1325.54	c 1325s |      24 |  5293490 |  4691362 |     1871   5456 |        0 |        0
1327.19/1327.55	c 1327s |      24 |  5302111 |  4698862 |     1871   5464 |        0 |        0
1329.19/1329.55	c 1329s |      24 |  5310309 |  4706262 |     1871   5471 |        0 |        0
1331.19/1331.58	c 1331s |      24 |  5318436 |  4713562 |     1871   5478 |        0 |        0
1333.28/1333.60	c 1333s |      24 |  5326404 |  4720762 |     1871   5484 |        0 |        0
1335.28/1335.61	c 1335s |      24 |  5334515 |  4728062 |     1871   5491 |        0 |        0
1337.29/1337.63	c 1337s |      24 |  5342872 |  4735462 |     1871   5498 |        0 |        0
1339.28/1339.65	c 1339s |      24 |  5351227 |  4742862 |     1871   5505 |        0 |        0
1341.28/1341.65	c 1341s |      24 |  5359071 |  4749962 |     1871   5512 |        0 |        0
1343.28/1343.67	c 1343s |      24 |  5367479 |  4757262 |     1871   5519 |        0 |        0
1345.28/1345.69	c 1345s |      24 |  5376094 |  4764762 |     1871   5526 |        0 |        0
1347.38/1347.70	c 1347s |      24 |  5384550 |  4772262 |     1871   5533 |        0 |        0
1349.38/1349.71	c 1349s |      24 |  5392260 |  4779262 |     1871   5540 |        0 |        0
1351.38/1351.71	c 1351s |      24 |  5401317 |  4786862 |     1871   5547 |        0 |        0
1353.37/1353.73	c 1353s |      24 |  5409844 |  4794262 |     1871   5554 |        0 |        0
1355.37/1355.75	c 1355s |      24 |  5418384 |  4801762 |     1871   5561 |        0 |        0
1357.37/1357.76	c 1357s |      24 |  5427029 |  4809262 |     1871   5568 |        0 |        0
1359.38/1359.77	c 1359s |      24 |  5435417 |  4816662 |     1871   5575 |        0 |        0
1361.37/1361.79	c 1361s |      24 |  5444830 |  4824462 |     1871   5583 |        0 |        0
1363.46/1363.81	c 1363s |      24 |  5454235 |  4832262 |     1871   5590 |        0 |        0
1365.46/1365.81	c 1365s |      24 |  5464267 |  4840562 |     1871   5598 |        0 |        0
1367.46/1367.83	c 1367s |      24 |  5473698 |  4848562 |     1871   5606 |        0 |        0
1369.46/1369.85	c 1369s |      24 |  5482383 |  4856262 |     1871   5613 |        0 |        0
1371.47/1371.87	c 1371s |      24 |  5491290 |  4864062 |     1871   5620 |        0 |        0
1373.46/1373.87	c 1373s |      24 |  5499865 |  4871462 |     1871   5627 |        0 |        0
1375.45/1375.87	c 1375s |      24 |  5508048 |  4878662 |     1871   5634 |        0 |        0
1377.45/1377.89	c 1377s |      24 |  5517150 |  4886462 |     1871   5642 |        0 |        0
1379.45/1379.89	c 1379s |      24 |  5526005 |  4894162 |     1871   5649 |        0 |        0
1381.45/1381.89	c 1381s |      24 |  5534271 |  4901362 |     1871   5656 |        0 |        0
1383.45/1383.90	c 1383s |      24 |  5543038 |  4908862 |     1871   5663 |        0 |        0
1385.55/1385.90	c 1385s |      24 |  5551490 |  4916262 |     1871   5670 |        0 |        0
1387.55/1387.90	c 1387s |      24 |  5559962 |  4923662 |     1871   5677 |        0 |        0
1389.55/1389.92	c 1389s |      24 |  5568831 |  4931262 |     1871   5684 |        0 |        0
1391.55/1391.93	c 1391s |      24 |  5577230 |  4938562 |     1871   5691 |        0 |        0
1393.54/1393.93	c 1393s |      24 |  5584838 |  4945462 |     1871   5698 |        0 |        0
1395.55/1395.95	c 1395s |      24 |  5593386 |  4952762 |     1871   5705 |        0 |        0
1397.54/1397.98	c 1397s |      24 |  5601382 |  4959762 |     1871   5711 |        0 |        0
1399.64/1400.00	c 1399s |      24 |  5609715 |  4967162 |     1871   5718 |        0 |        0
1401.64/1402.01	c 1401s |      24 |  5618501 |  4974662 |     1871   5725 |        0 |        0
1403.64/1404.02	c 1404s |      24 |  5627829 |  4982262 |     1871   5733 |        0 |        0
1405.64/1406.03	c 1406s |      24 |  5636446 |  4989562 |     1871   5740 |        0 |        0
1407.64/1408.03	c 1408s |      24 |  5645622 |  4997262 |     1871   5747 |        0 |        0
1409.63/1410.05	c 1410s |      24 |  5654094 |  5004562 |     1871   5754 |        0 |        0
1411.63/1412.05	c 1412s |      24 |  5663078 |  5012262 |     1871   5761 |        0 |        0
1413.63/1414.07	c 1414s |      24 |  5672238 |  5020062 |     1871   5768 |        0 |        0
1415.63/1416.08	c 1416s |      24 |  5680706 |  5027362 |     1871   5775 |        0 |        0
1417.73/1418.10	c 1418s |      24 |  5688579 |  5034362 |     2059   5782 |        0 |        0
1419.73/1420.12	c 1420s |      24 |  5696456 |  5041362 |     2059   5788 |        0 |        0
1421.73/1422.13	c 1422s |      24 |  5704109 |  5048162 |     2059   5794 |        0 |        0
1423.72/1424.13	c 1424s |      24 |  5711863 |  5055162 |     2059   5800 |        0 |        0
1425.72/1426.15	c 1426s |      24 |  5719340 |  5062062 |     2059   5806 |        0 |        0
1426.62/1427.00	c 1426s |      25 |  5722922 |  5065098 |     2059   5808 |        0 |        0
1428.63/1429.02	c 1428s |      25 |  5731884 |  5072998 |     2059   5815 |        0 |        0
1430.62/1431.04	c 1431s |      25 |  5739961 |  5080198 |     2059   5821 |        0 |        0
1432.62/1433.06	c 1433s |      25 |  5747416 |  5087098 |     2059   5827 |        0 |        0
1434.62/1435.06	c 1435s |      25 |  5754630 |  5093698 |     2059   5833 |        0 |        0
1436.62/1437.08	c 1437s |      25 |  5761593 |  5099998 |     2059   5839 |        0 |        0
1438.62/1439.09	c 1439s |      25 |  5769002 |  5106498 |     2059   5844 |        0 |        0
1440.73/1441.10	c 1441s |      25 |  5776875 |  5113298 |     2059   5850 |        0 |        0
1442.72/1443.12	c 1443s |      25 |  5784169 |  5119698 |     2059   5856 |        0 |        0
1444.72/1445.15	c 1445s |      25 |  5791304 |  5125998 |     2059   5862 |        0 |        0
1446.72/1447.15	c 1447s |      25 |  5798351 |  5132198 |     2059   5867 |        0 |        0
1448.72/1449.16	c 1449s |      25 |  5805329 |  5138298 |     2059   5872 |        0 |        0
1450.72/1451.18	c 1451s |      25 |  5812721 |  5144898 |     2059   5878 |        0 |        0
1452.72/1453.18	c 1453s |      25 |  5820153 |  5151398 |     2059   5884 |        0 |        0
1454.81/1455.21	c 1455s |      25 |  5827659 |  5157898 |     2059   5889 |        0 |        0
1456.81/1457.23	c 1457s |      25 |  5834911 |  5164298 |     2059   5895 |        0 |        0
1458.81/1459.24	c 1459s |      25 |  5841840 |  5170398 |     2059   5900 |        0 |        0
1460.81/1461.24	c 1461s |      25 |  5848675 |  5176498 |     2059   5906 |        0 |        0
1462.81/1463.24	c 1463s |      25 |  5855939 |  5182798 |     2059   5911 |        0 |        0
1464.81/1465.27	c 1465s |      25 |  5862747 |  5188998 |     2059   5917 |        0 |        0
1466.81/1467.29	c 1467s |      25 |  5868898 |  5194798 |     2059   5922 |        0 |        0
1468.91/1469.31	c 1469s |      25 |  5875141 |  5200598 |     2059   5927 |        0 |        0
1470.90/1471.34	c 1471s |      25 |  5882427 |  5206898 |     2059   5932 |        0 |        0
1472.90/1473.35	c 1473s |      25 |  5889481 |  5213298 |     2059   5938 |        0 |        0
1474.90/1475.36	c 1475s |      25 |  5897059 |  5219798 |     2059   5944 |        0 |        0
1476.91/1477.39	c 1477s |      25 |  5904827 |  5226498 |     2059   5950 |        0 |        0
1479.00/1479.40	c 1479s |      25 |  5912139 |  5232998 |     2059   5955 |        0 |        0
1481.00/1481.41	c 1481s |      25 |  5918780 |  5239098 |     2059   5961 |        0 |        0
1482.99/1483.42	c 1483s |      25 |  5924928 |  5244898 |     2059   5966 |        0 |        0
1484.99/1485.42	c 1485s |      25 |  5932402 |  5251498 |     2059   5971 |        0 |        0
1486.99/1487.45	c 1487s |      25 |  5940334 |  5258298 |     2059   5977 |        0 |        0
1489.00/1489.47	c 1489s |      25 |  5947880 |  5264898 |     2059   5983 |        0 |        0
1491.09/1491.50	c 1491s |      25 |  5955711 |  5271598 |     2059   5989 |        0 |        0
1493.09/1493.52	c 1493s |      25 |  5963091 |  5278098 |     2059   5995 |        0 |        0
1495.09/1495.53	c 1495s |      25 |  5969970 |  5284298 |     2059   6000 |        0 |        0
1497.09/1497.54	c 1497s |      25 |  5977321 |  5290698 |     2059   6006 |        0 |        0
1499.08/1499.55	c 1499s |      25 |  5984767 |  5297198 |     2059   6012 |        0 |        0
1501.09/1501.58	c 1501s |      25 |  5991936 |  5303498 |     2059   6017 |        0 |        0
1503.18/1503.60	c 1503s |      25 |  5999728 |  5310098 |     2059   6023 |        0 |        0
1505.18/1505.62	c 1505s |      25 |  6006960 |  5316398 |     2059   6028 |        0 |        0
1507.18/1507.64	c 1507s |      25 |  6014455 |  5322798 |     2059   6034 |        0 |        0
1509.18/1509.67	c 1509s |      25 |  6021354 |  5328898 |     2059   6039 |        0 |        0
1511.18/1511.67	c 1511s |      25 |  6028360 |  5334998 |     2059   6045 |        0 |        0
1513.18/1513.68	c 1513s |      25 |  6035652 |  5341198 |     2059   6050 |        0 |        0
1515.17/1515.69	c 1515s |      25 |  6043491 |  5347998 |     2059   6056 |        0 |        0
1517.17/1517.69	c 1517s |      25 |  6050912 |  5354498 |     2059   6062 |        0 |        0
1519.28/1519.71	c 1519s |      25 |  6058450 |  5361098 |     2059   6068 |        0 |        0
1521.28/1521.73	c 1521s |      25 |  6065974 |  5367698 |     2059   6074 |        0 |        0
1523.27/1523.74	c 1523s |      25 |  6073149 |  5374098 |     2059   6079 |        0 |        0
1525.28/1525.75	c 1525s |      25 |  6080798 |  5380698 |     2059   6085 |        0 |        0
1527.27/1527.76	c 1527s |      25 |  6088387 |  5387298 |     2059   6091 |        0 |        0
1529.27/1529.77	c 1529s |      25 |  6096226 |  5394198 |     2059   6097 |        0 |        0
1531.37/1531.80	c 1531s |      25 |  6103872 |  5400798 |     2059   6103 |        0 |        0
1533.36/1533.82	c 1533s |      25 |  6111357 |  5407398 |     2059   6108 |        0 |        0
1535.36/1535.83	c 1535s |      25 |  6118640 |  5413898 |     2059   6114 |        0 |        0
1537.37/1537.83	c 1537s |      25 |  6126492 |  5420598 |     2059   6120 |        0 |        0
1539.36/1539.86	c 1539s |      25 |  6134009 |  5427198 |     2059   6126 |        0 |        0
1541.36/1541.87	c 1541s |      25 |  6141082 |  5433598 |     2059   6131 |        0 |        0
1543.46/1543.90	c 1543s |      25 |  6148559 |  5440098 |     2059   6137 |        0 |        0
1545.46/1545.91	c 1545s |      25 |  6156009 |  5446598 |     2059   6143 |        0 |        0
1547.46/1547.92	c 1547s |      25 |  6162858 |  5452798 |     2059   6148 |        0 |        0
1549.46/1549.93	c 1549s |      25 |  6169468 |  5458898 |     2059   6154 |        0 |        0
1551.46/1551.96	c 1551s |      25 |  6176570 |  5465298 |     2059   6159 |        0 |        0
1553.45/1553.97	c 1553s |      25 |  6184238 |  5471998 |     2059   6165 |        0 |        0
1555.55/1556.01	c 1555s |      25 |  6191871 |  5478698 |     2059   6171 |        0 |        0
1557.55/1558.03	c 1558s |      25 |  6200067 |  5485598 |     2059   6177 |        0 |        0
1559.55/1560.04	c 1560s |      25 |  6207810 |  5492298 |     2059   6183 |        0 |        0
1561.56/1562.06	c 1562s |      25 |  6215767 |  5499098 |     2059   6189 |        0 |        0
1563.55/1564.09	c 1564s |      25 |  6223245 |  5505598 |     2059   6195 |        0 |        0
1565.65/1566.11	c 1566s |      25 |  6231508 |  5512498 |     2059   6201 |        0 |        0
1567.65/1568.15	c 1568s |      25 |  6239346 |  5519198 |     2059   6207 |        0 |        0
1569.65/1570.18	c 1570s |      25 |  6246841 |  5525798 |     2059   6212 |        0 |        0
1571.75/1572.21	c 1572s |      25 |  6254620 |  5532498 |     2059   6218 |        0 |        0
1573.75/1574.22	c 1574s |      25 |  6261348 |  5538498 |     2059   6223 |        0 |        0
1575.74/1576.23	c 1576s |      25 |  6268410 |  5544698 |     2059   6229 |        0 |        0
1577.74/1578.24	c 1578s |      25 |  6275573 |  5550998 |     2059   6234 |        0 |        0
1579.74/1580.27	c 1580s |      25 |  6283149 |  5557598 |     2059   6240 |        0 |        0
1581.74/1582.28	c 1582s |      25 |  6290475 |  5564098 |     2059   6246 |        0 |        0
1583.74/1584.29	c 1584s |      25 |  6297566 |  5570398 |     2059   6251 |        0 |        0
1585.74/1586.30	c 1586s |      25 |  6304966 |  5576898 |     2059   6257 |        0 |        0
1587.83/1588.32	c 1588s |      25 |  6312364 |  5583398 |     2059   6263 |        0 |        0
1589.83/1590.33	c 1590s |      25 |  6319983 |  5589898 |     2059   6269 |        0 |        0
1591.83/1592.36	c 1592s |      25 |  6328018 |  5596698 |     2059   6275 |        0 |        0
1593.83/1594.39	c 1594s |      25 |  6335656 |  5603298 |     2059   6280 |        0 |        0
1595.93/1596.40	c 1596s |      25 |  6342993 |  5609698 |     2059   6286 |        0 |        0
1597.94/1598.43	c 1598s |      25 |  6349798 |  5615898 |     2059   6291 |        0 |        0
1599.94/1600.47	c 1600s |      25 |  6356207 |  5621798 |     2059   6297 |        0 |        0
1601.94/1602.47	c 1602s |      25 |  6363434 |  5628198 |     2059   6302 |        0 |        0
1603.93/1604.48	c 1604s |      25 |  6370816 |  5634798 |     2059   6308 |        0 |        0
1605.93/1606.49	c 1606s |      25 |  6378229 |  5641398 |     2059   6314 |        0 |        0
1608.03/1608.51	c 1608s |      25 |  6385439 |  5647898 |     2059   6319 |        0 |        0
1610.04/1610.54	c 1610s |      25 |  6392648 |  5654398 |     2059   6325 |        0 |        0
1612.03/1612.54	c 1612s |      25 |  6399556 |  5660598 |     2059   6331 |        0 |        0
1614.03/1614.58	c 1614s |      25 |  6406642 |  5666998 |     2059   6336 |        0 |        0
1616.03/1616.59	c 1616s |      25 |  6413384 |  5673098 |     2059   6342 |        0 |        0
1618.13/1618.61	c 1618s |      25 |  6420803 |  5679798 |     2059   6347 |        0 |        0
1620.12/1620.63	c 1620s |      25 |  6427629 |  5685998 |     2059   6353 |        0 |        0
1622.13/1622.68	c 1622s |      25 |  6434661 |  5692398 |     2059   6359 |        0 |        0
1624.12/1624.68	c 1624s |      25 |  6441932 |  5698898 |     2059   6364 |        0 |        0
1626.22/1626.70	c 1626s |      25 |  6449259 |  5705398 |     2059   6370 |        0 |        0
1628.22/1628.72	c 1628s |      25 |  6456204 |  5711698 |     2059   6376 |        0 |        0
1630.22/1630.76	c 1630s |      25 |  6463524 |  5718198 |     2059   6381 |        0 |        0
1632.21/1632.78	c 1632s |      25 |  6470635 |  5724598 |     2059   6387 |        0 |        0
1634.22/1634.79	c 1634s |      25 |  6477307 |  5730698 |     2059   6392 |        0 |        0
1636.21/1636.80	c 1636s |      25 |  6484171 |  5736898 |     2059   6398 |        0 |        0
1638.31/1638.82	c 1638s |      25 |  6491292 |  5743298 |     2059   6403 |        0 |        0
1640.31/1640.82	c 1640s |      25 |  6498331 |  5749598 |     2059   6409 |        0 |        0
1642.31/1642.85	c 1642s |      25 |  6505428 |  5755998 |     2059   6414 |        0 |        0
1644.30/1644.86	c 1644s |      25 |  6512640 |  5762298 |     2059   6420 |        0 |        0
1646.31/1646.88	c 1646s |      25 |  6519592 |  5768498 |     2059   6425 |        0 |        0
1648.30/1648.89	c 1648s |      25 |  6526732 |  5774798 |     2059   6431 |        0 |        0
1650.40/1650.92	c 1650s |      25 |  6533932 |  5781198 |     2059   6437 |        0 |        0
1652.40/1652.94	c 1652s |      25 |  6540641 |  5787298 |     2059   6442 |        0 |        0
1654.40/1654.98	c 1654s |      25 |  6548072 |  5793698 |     2059   6448 |        0 |        0
1656.40/1656.99	c 1656s |      25 |  6555725 |  5800298 |     2059   6453 |        0 |        0
1658.40/1658.99	c 1658s |      25 |  6563469 |  5806998 |     2059   6459 |        0 |        0
1660.50/1661.02	c 1661s |      25 |  6571083 |  5813598 |     2059   6465 |        0 |        0
1662.49/1663.04	c 1663s |      25 |  6578340 |  5819998 |     2059   6471 |        0 |        0
1664.49/1665.05	c 1665s |      25 |  6585375 |  5826298 |     2059   6476 |        0 |        0
1666.49/1667.08	c 1667s |      25 |  6592809 |  5832998 |     2059   6482 |        0 |        0
1668.49/1669.09	c 1669s |      25 |  6600129 |  5839498 |     2059   6488 |        0 |        0
1670.59/1671.12	c 1671s |      25 |  6607269 |  5845998 |     2059   6493 |        0 |        0
1672.59/1673.15	c 1673s |      25 |  6614530 |  5852598 |     2059   6499 |        0 |        0
1674.59/1675.17	c 1675s |      25 |  6621689 |  5859098 |     2059   6505 |        0 |        0
1676.59/1677.17	c 1677s |      25 |  6628583 |  5865398 |     2059   6510 |        0 |        0
1678.59/1679.17	c 1679s |      25 |  6635973 |  5871998 |     2059   6516 |        0 |        0
1680.59/1681.18	c 1681s |      25 |  6643399 |  5878598 |     2059   6522 |        0 |        0
1682.60/1683.19	c 1683s |      25 |  6651616 |  5885698 |     2059   6528 |        0 |        0
1684.70/1685.21	c 1685s |      25 |  6659709 |  5892798 |     2059   6534 |        0 |        0
1686.69/1687.22	c 1687s |      25 |  6667195 |  5899598 |     2059   6540 |        0 |        0
1688.69/1689.25	c 1689s |      25 |  6674184 |  5905998 |     2059   6546 |        0 |        0
1690.69/1691.27	c 1691s |      25 |  6681487 |  5912498 |     2059   6552 |        0 |        0
1692.69/1693.29	c 1693s |      25 |  6688595 |  5918998 |     2059   6557 |        0 |        0
1694.79/1695.30	c 1695s |      25 |  6695961 |  5925598 |     2059   6563 |        0 |        0
1696.69/1697.30	c 1697s |      25 |  6702641 |  5931698 |     2059   6569 |        0 |        0
1698.78/1699.30	c 1699s |      25 |  6709477 |  5937898 |     2059   6574 |        0 |        0
1700.78/1701.31	c 1701s |      25 |  6716055 |  5943998 |     2059   6579 |        0 |        0
1702.78/1703.32	c 1703s |      25 |  6723228 |  5950298 |     2059   6585 |        0 |        0
1704.78/1705.35	c 1705s |      25 |  6730324 |  5956698 |     2059   6590 |        0 |        0
1706.79/1707.36	c 1707s |      25 |  6737816 |  5963198 |     2059   6596 |        0 |        0
1708.78/1709.39	c 1709s |      25 |  6745535 |  5969898 |     2059   6602 |        0 |        0
1710.88/1711.41	c 1711s |      25 |  6752739 |  5976398 |     2059   6608 |        0 |        0
1712.88/1713.43	c 1713s |      25 |  6759394 |  5982498 |     2059   6613 |        0 |        0
1714.88/1715.43	c 1715s |      25 |  6766556 |  5988898 |     2059   6619 |        0 |        0
1716.88/1717.45	c 1717s |      25 |  6773607 |  5995298 |     2059   6624 |        0 |        0
1718.88/1719.47	c 1719s |      25 |  6780644 |  6001598 |     2059   6630 |        0 |        0
1720.88/1721.48	c 1721s |      25 |  6788123 |  6008098 |     2059   6636 |        0 |        0
1722.98/1723.50	c 1723s |      25 |  6795634 |  6014598 |     2059   6641 |        0 |        0
1724.98/1725.53	c 1725s |      25 |  6803046 |  6020998 |     2059   6647 |        0 |        0
1726.98/1727.56	c 1727s |      25 |  6810261 |  6027298 |     2059   6653 |        0 |        0
1728.98/1729.56	c 1729s |      25 |  6817786 |  6033698 |     2059   6658 |        0 |        0
1731.07/1731.61	c 1731s |      25 |  6824629 |  6039798 |     2059   6664 |        0 |        0
1733.08/1733.62	c 1733s |      25 |  6830928 |  6045498 |     2059   6669 |        0 |        0
1735.07/1735.65	c 1735s |      25 |  6838300 |  6052098 |     2059   6674 |        0 |        0
1737.07/1737.67	c 1737s |      25 |  6845855 |  6058798 |     2059   6680 |        0 |        0
1739.07/1739.68	c 1739s |      25 |  6853049 |  6065198 |     2059   6686 |        0 |        0
1741.07/1741.69	c 1741s |      25 |  6860608 |  6071798 |     2059   6692 |        0 |        0
1743.08/1743.70	c 1743s |      25 |  6867658 |  6078198 |     2059   6697 |        0 |        0
1745.19/1745.72	c 1745s |      25 |  6874933 |  6084798 |     2059   6703 |        0 |        0
1747.18/1747.73	c 1747s |      25 |  6881620 |  6090998 |     2059   6708 |        0 |        0
1749.18/1749.75	c 1749s |      25 |  6888300 |  6097098 |     2059   6714 |        0 |        0
1751.18/1751.77	c 1751s |      25 |  6895671 |  6103598 |     2059   6719 |        0 |        0
1753.18/1753.79	c 1753s |      25 |  6903220 |  6110098 |     2059   6725 |        0 |        0
1755.28/1755.81	c 1755s |      25 |  6910443 |  6116498 |     2059   6731 |        0 |        0
1757.28/1757.84	c 1757s |      25 |  6917088 |  6122598 |     2059   6736 |        0 |        0
1759.27/1759.87	c 1759s |      25 |  6923631 |  6128598 |     2059   6741 |        0 |        0
1761.37/1761.90	c 1761s |      25 |  6930630 |  6134898 |     2059   6747 |        0 |        0
1763.37/1763.92	c 1763s |      25 |  6937221 |  6140898 |     2059   6752 |        0 |        0
1765.37/1765.95	c 1765s |      25 |  6943979 |  6146998 |     2059   6758 |        0 |        0
1767.37/1767.95	c 1767s |      25 |  6951031 |  6153098 |     2059   6763 |        0 |        0
1769.38/1769.99	c 1769s |      25 |  6957739 |  6159298 |     2059   6768 |        0 |        0
1771.47/1772.00	c 1771s |      25 |  6963918 |  6165098 |     2059   6773 |        0 |        0
1773.47/1774.02	c 1774s |      25 |  6970489 |  6171098 |     2059   6779 |        0 |        0
1775.47/1776.07	c 1776s |      25 |  6977980 |  6177698 |     2059   6785 |        0 |        0
1777.57/1778.10	c 1778s |      25 |  6985917 |  6184398 |     2059   6790 |        0 |        0
1779.57/1780.12	c 1780s |      25 |  6993098 |  6190798 |     2059   6796 |        0 |        0
1781.58/1782.15	c 1782s |      25 |  7000291 |  6197098 |     2059   6802 |        0 |        0
1783.57/1784.17	c 1784s |      25 |  7007732 |  6203598 |     2059   6807 |        0 |        0
1785.57/1786.18	c 1786s |      25 |  7014443 |  6209798 |     2059   6813 |        0 |        0
1787.67/1788.21	c 1788s |      25 |  7021317 |  6215998 |     2059   6818 |        0 |        0
1789.67/1790.23	c 1790s |      25 |  7028077 |  6222098 |     2059   6824 |        0 |        0
1791.67/1792.24	c 1792s |      25 |  7035346 |  6228498 |     2059   6829 |        0 |        0
1793.68/1794.27	c 1794s |      25 |  7042265 |  6234698 |     2059   6835 |        0 |        0
1795.67/1796.30	c 1796s |      25 |  7049862 |  6241298 |     2059   6840 |        0 |        0
1797.77/1798.30	c 1798s |      25 |  7056744 |  6247498 |     2059   6846 |        0 |        0
1799.77/1800.31	c 1800s |      25 |  7063663 |  6253598 |     2059   6851 |        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-4089799-1466034195/watcher-4089799-1466034195 -o /tmp/evaluation-result-4089799-1466034195/solver-4089799-1466034195 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15724 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089799-1466034195.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=612796 CPUtime=0 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 2264 0 0 0 0 0 0 0 20 0 4 0 5465280 627503104 2625 33554432000 4194304 16246674 140737071829392 140737071828816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 153711 2632 441 2943 0 150605 0
[pid=15753/tid=15757] ppid=15746 vsize=630204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 645328896 2696 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=635324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 650571776 2716 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=639420 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 654766080 2732 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 26296 0 0 0 6 2 0 0 20 0 4 0 5465280 1247350784 26647 33554432000 4194304 16246674 140737071829392 140737071828816 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 304529 26659 712 2943 0 301423 0
[pid=15753/tid=15757] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 26670 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 26680 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 26692 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 51613 0 0 0 13 6 0 0 20 0 4 0 5465280 1247350784 51963 33554432000 4194304 16246674 140737071829392 140737071828816 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 304529 51973 712 2943 0 301423 0
[pid=15753/tid=15757] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 51978 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 51984 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 51990 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300539 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 77519 0 0 0 19 10 0 0 20 0 4 0 5465280 1247350784 77870 33554432000 4194304 16246674 140737071829392 140737071828816 12476789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 304529 77886 712 2943 0 301423 0
[pid=15753/tid=15757] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 77892 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 77897 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 77903 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70045 s]
/proc/loadavg: 1.26 1.36 1.68 5/175 15753
/proc/meminfo: memFree=30357756/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 183890 0 0 0 44 24 0 0 20 0 4 0 5465280 1247350784 184240 33554432000 4194304 16246674 140737071829392 140737071828816 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 304529 184256 712 2943 0 301423 0
[pid=15753/tid=15757] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 184265 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 184274 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1247350784 184280 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 1.26 1.36 1.68 4/183 15761
/proc/meminfo: memFree=28392816/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 245748 0 0 0 117 32 0 0 20 0 4 0 5465280 1248399360 246078 33554432000 4194304 16246674 140737071829392 140737071828704 6842531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 304785 246078 786 2943 0 301679 0
[pid=15753/tid=15757] ppid=15746 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 246078 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 246078 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1248399360 246078 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10048 s]
/proc/loadavg: 1.26 1.36 1.68 4/183 15761
/proc/meminfo: memFree=28220208/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267469 0 0 0 274 35 0 0 20 0 4 0 5465280 1337528320 267799 33554432000 4194304 16246674 140737071829392 140737071811264 5522929 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 326545 267799 788 2943 0 323439 0
[pid=15753/tid=15757] ppid=15746 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267799 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267799 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1337528320 267799 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30047 s]
/proc/loadavg: 1.32 1.37 1.68 4/183 15761
/proc/meminfo: memFree=28217380/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267584 0 0 0 594 35 0 0 20 0 4 0 5465280 1338576896 267914 33554432000 4194304 16246674 140737071829392 140737071811264 13954559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 326801 267914 788 2943 0 323695 0
[pid=15753/tid=15757] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267914 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267914 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 267914 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 1.37 1.38 1.68 4/183 15761
/proc/meminfo: memFree=28216688/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267827 0 0 0 1234 35 0 0 20 0 4 0 5465280 1338576896 268157 33554432000 4194304 16246674 140737071829392 140737071811264 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 326801 268157 790 2943 0 323695 0
[pid=15753/tid=15757] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 268157 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 268157 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1338576896 268157 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.51 1.41 1.68 4/183 15761
/proc/meminfo: memFree=28217128/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267864 0 0 0 2513 35 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140737071811264 12477712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327057 268194 790 2943 0 323951 0
[pid=15753/tid=15757] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.81 1.49 1.70 4/183 15761
/proc/meminfo: memFree=28216880/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267864 0 0 0 5073 35 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140737071811264 12483276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327057 268194 790 2943 0 323951 0
[pid=15753/tid=15757] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.07 1.61 1.73 4/183 15762
/proc/meminfo: memFree=28216388/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 267864 0 0 0 10191 37 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140737071811264 5822275 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327057 268194 790 2943 0 323951 0
[pid=15753/tid=15757] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1339625472 268194 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.07 5/183 15815
/proc/meminfo: memFree=28204176/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1311300 CPUtime=1302 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 268987 0 0 0 130150 50 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140737071811264 12478180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327825 269389 792 2943 0 324719 0
[pid=15753/tid=15757] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.29 2.22 2.09 5/183 15816
/proc/meminfo: memFree=28204196/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1311300 CPUtime=1361.97 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269029 0 0 0 136147 50 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140737071811264 5721456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327825 269389 792 2943 0 324719 0
[pid=15753/tid=15757] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.37 2.26 2.11 5/183 15817
/proc/meminfo: memFree=28203720/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1311300 CPUtime=1421.93 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269070 0 0 0 142143 50 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140737071811264 5824017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327825 269389 792 2943 0 324719 0
[pid=15753/tid=15757] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269389 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.11 5/183 15819
/proc/meminfo: memFree=28203500/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1311300 CPUtime=1481.9 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269164 0 0 0 148139 51 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140737071811264 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327825 269439 792 2943 0 324719 0
[pid=15753/tid=15757] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.24 2.24 2.11 4/183 15820
/proc/meminfo: memFree=28203408/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1311300 CPUtime=1541.87 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269210 0 0 0 154135 52 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140737071811264 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 327825 269439 792 2943 0 324719 0
[pid=15753/tid=15757] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1342771200 269439 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.12 4/183 15821
/proc/meminfo: memFree=28203808/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1312324 CPUtime=1601.84 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269260 0 0 0 160131 53 0 0 20 0 4 0 5465280 1343819776 269446 33554432000 4194304 16246674 140737071829392 140737071811264 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 328081 269446 792 2943 0 324975 0
[pid=15753/tid=15757] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269446 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269446 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269446 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.12 5/184 15825
/proc/meminfo: memFree=28203628/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1312324 CPUtime=1661.79 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269388 0 0 0 166126 53 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140737071812392 5677825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 328081 269528 792 2943 0 324975 0
[pid=15753/tid=15757] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.34 2.27 2.14 4/183 15826
/proc/meminfo: memFree=28203580/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1312324 CPUtime=1721.78 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269413 0 0 0 172124 54 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140737071811264 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 328081 269528 792 2943 0 324975 0
[pid=15753/tid=15757] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.14 4/183 15828
/proc/meminfo: memFree=28202600/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1312324 CPUtime=1781.77 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269413 0 0 0 178122 55 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140737071811264 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 328081 269528 792 2943 0 324975 0
[pid=15753/tid=15757] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.34 2.26 2.14 5/183 15828
/proc/meminfo: memFree=28202600/32872528 swapFree=1498860/1695084
[pid=15753] ppid=15746 vsize=1312324 CPUtime=1800.07 cores=0,2,4,6
/proc/15753/stat : 15753 (toysat) R 15746 15753 6119 0 -1 4202496 269413 0 0 0 179952 55 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140737071811264 12466612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15753/statm: 328081 269528 792 2943 0 324975 0
[pid=15753/tid=15757] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15757/stat : 15757 (toysat) S 15746 15753 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175951768816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15753/tid=15758] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15758/stat : 15758 (toysat) S 15746 15753 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175941278960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15753/tid=15759] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15753/task/15759/stat : 15759 (toysat) S 15746 15753 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5465280 1343819776 269528 33554432000 4194304 16246674 140737071829392 140175854267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1312324

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15753 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.08
CPU user time (s): 1799.53
CPU system time (s): 0.553915
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.553915
maximum resident set size= 1078112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269413
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= 488
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48432 second user time and 7.11792 second system time

The end

Begin job on node137 at 2016-06-16 01:43:15
IDJOB=4089799
IDBENCH=107458
IDSOLVER=2542
FILE ID=node137/4089799-1466034195
RUNJOBID= node137-1466034195-15724
PBS_JOBID= 19902808
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089799-1466034195/watcher-4089799-1466034195 -o /tmp/evaluation-result-4089799-1466034195/solver-4089799-1466034195 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15724 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089799-1466034195.opb

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

MD5SUM BENCH= 392bc2224683991ad00d51bb67f6f600
RANDOM SEED=914565919

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30358416 kB
Buffers:           20648 kB
Cached:            90888 kB
SwapCached:         2460 kB
Active:            76724 kB
Inactive:          38272 kB
Active(anon):       4568 kB
Inactive(anon):     1372 kB
Active(file):      72156 kB
Inactive(file):    36900 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099532 kB
Dirty:             32696 kB
Writeback:             0 kB
AnonPages:       1777440 kB
Mapped:             7312 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12460 kB
SUnreclaim:       556008 kB
KernelStack:        1440 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 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= 71708 MiB
End job on node137 at 2016-06-16 02:13:16