0.00/0.00	c 2016-06-18T05:36:41+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-4101177-1466221000.opb"]
0.00/0.01	c use --random-gen="4112028882 1777930698 3278423019 1981167710 3727589309 2694737740 2333514170 2450396465 76319446 543159504 1799826406 3301131488 2720965007 2678891964 3536607279 2828000540 2050136075 3258580424 3543130661 1318877861 113165415 1881084804 548513850 3246840800 2832688992 3626761609 3955322365 4060869956 2618624683 4170091032 1599298354 448745825 3944813739 3280474651 1589395788 3075622979 2198496704 1772693058 3391263007 2967527933 2959747515 4140999588 2396908484 3379504107 939619877 717411159 3993573762 2027489830 3957974596 135514264 3342668964 4220994188 2994684728 752720532 3913551862 3189093587 1804065918 2425949318 2335272802 3440148569 1346367786 1735914064 3754919970 2435981504 3402135958 1047049867 3525003212 1340750211 1965971452 299978573 2794545049 3169513224 777417427 1464871254 331032245 931635314 2942215138 792589239 3832258815 3146710302 1000725706 3917114556 3781093307 4223868427 2486147646 2251342165 3581441840 3308420435 3037869453 1042398708 1531079980 12626134 1474937242 1891991035 2828976815 2084196409 4061116943 3521852031 3120633643 1157536644 938225190 2502337344 2495073538 3492628933 2058506526 1940690386 3537102733 3723411787 3982791329 207668797 3044135201 2890046205 2729318567 3013371737 3090854918 1057711795 2005362661 2309171965 587561164 3210526969 3044033664 1990342457 3429997992 1505996642 2429576123 3622571166 77799346 3033974726 2682358914 1811084093 1460533466 824739338 3349076261 41857158 2960663018 80512191 3728733218 1918951284 2609869783 1263906145 3254928545 1534706525 1039564056 2083081095 4184208161 2478975236 790199058 1089676124 1015700758 2004125481 75568328 1426093842 1418872300 2860331192 977577254 862820542 3509250162 1586430760 705018985 4293527263 140327484 780930489 2969896309 1272693669 4161848493 769245241 2159272843 2416694099 4234730961 3432992322 2777749411 501312621 1656218701 1350369182 3597934251 1493703220 2588520584 3324455023 807850332 462190976 3681826404 2298484583 1999540162 950066458 1357332489 466705982 1287200053 599097472 2107650121 503464351 4078018140 3210587497 1657254212 2653972664 1213368097 1443423608 196767741 4128881820 3133481667 1911754872 3873731286 1882698817 2362176939 4280162744 2218671832 4046034259 62510321 152346960 3648448828 435698628 3377385523 1892371037 2231402464 2777421374 4211878722 3395346560 2540354645 702758916 3969460746 772591465 1027061784 623021539 1670658192 968021506 423332844 422303611 2861025468 1620127519 2615135537 1715821659 3876113839 2928902298 2657913745 1514324513 609891154 4219302395 2445067876 2652260598 232886973 4041356869 2534655758 1021587708 2033457069 2176745966 2724585438 3817618439 2160638786 3331834948 4012301923 2273530565 3570328996 3601402098 3011473202 2119076930 2398934462 681759431 255 362436" option to reproduce the execution
0.00/0.04	c #vars 3330
0.00/0.04	c #constraints 117
0.19/0.24	c BCD2: Hardening is enabled.
0.19/0.24	c BCD2: BiasedSearch is enabled.
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     1170      0 |      999 |        0
0.19/0.28	c  0.0s |       1 |      282 |      100 |     1170      0 |     1008 |        0
0.29/0.31	c  0.1s |       2 |      440 |      250 |     1287      0 |     1008 |        0
0.29/0.35	c  0.1s |       3 |      672 |      475 |     1416      0 |     1008 |        0
0.39/0.42	c  0.2s |       4 |     1019 |      813 |     1558      0 |     1008 |        0
0.39/0.49	c  0.2s |       5 |     1574 |     1320 |     1714      0 |     1008 |        0
0.59/0.65	c  0.4s |       6 |     2588 |     2081 |     2075      0 |     1012 |        0
0.89/0.90	c  0.7s |       7 |     4100 |     3223 |     2283      0 |     1012 |        0
1.09/1.16	c  0.9s |       8 |     5899 |     4936 |     2512      1 |     1012 |        0
1.59/1.63	c  1.4s |       9 |     8738 |     7506 |     2764      2 |     1012 |        0
2.69/2.76	c  2.5s |      10 |    13191 |    11361 |     3041      4 |     1012 |        0
3.79/3.89	c  3.6s |      11 |    19543 |    17144 |     3346      7 |     1012 |        0
5.79/5.89	c  5.6s |      11 |    28715 |    24844 |     3346     10 |     1032 |        0
6.29/6.35	c  6.1s |      12 |    29730 |    25819 |     3681     10 |     1032 |        0
8.28/8.35	c  8.1s |      12 |    37119 |    32619 |     3681     13 |     1033 |        0
10.28/10.37	c 10.1s |      12 |    42306 |    37219 |     3681     15 |     1033 |        0
11.09/11.15	c 10.9s |      13 |    43938 |    38832 |     4050     16 |     1033 |        0
13.09/13.15	c 12.9s |      13 |    52333 |    45832 |     4050     18 |     1041 |        0
15.09/15.17	c 14.9s |      13 |    58190 |    50932 |     4050     20 |     1041 |        0
17.19/17.22	c 17.0s |      13 |    63182 |    55532 |     4050     22 |     1041 |        0
18.29/18.33	c 18.1s |      14 |    66259 |    58352 |     4455     22 |     1041 |        0
20.29/20.36	c 20.1s |      14 |    73188 |    64552 |     4455     25 |     1041 |        0
22.29/22.37	c 22.1s |      14 |    80174 |    70552 |     4455     27 |     1041 |        0
24.39/24.41	c 24.2s |      14 |    89437 |    77952 |     4455     30 |     1041 |        0
26.39/26.41	c 26.2s |      14 |    99246 |    86152 |     4455     32 |     1045 |        0
26.98/27.02	c 26.8s |      15 |   101292 |    87632 |     4901     32 |     1045 |        0
28.98/29.04	c 28.8s |      15 |   112879 |    96732 |     4901     34 |     1045 |        0
30.98/31.07	c 30.8s |      15 |   121693 |   101732 |     4901     36 |     1045 |        0
32.99/33.08	c 32.8s |      15 |   128943 |   106232 |     4901     38 |     1045 |        0
35.08/35.10	c 34.9s |      15 |   136930 |   112032 |     4901     39 |     1045 |        0
37.08/37.12	c 36.9s |      15 |   143762 |   118132 |     4901     41 |     1045 |        0
39.08/39.13	c 38.9s |      15 |   148736 |   122732 |     4901     43 |     1045 |        0
41.08/41.14	c 40.9s |      15 |   156499 |   127632 |     4901     45 |     1045 |        0
42.08/42.17	c 41.9s |      16 |   160826 |   131552 |     5392     46 |     1045 |        0
44.09/44.18	c 43.9s |      16 |   170818 |   139852 |     5392     48 |     1045 |        0
46.08/46.20	c 46.0s |      16 |   179260 |   146852 |     5392     50 |     1045 |        0
48.18/48.22	c 48.0s |      16 |   189353 |   155352 |     5392     53 |     1045 |        0
50.18/50.23	c 50.0s |      16 |   197585 |   161152 |     5392     55 |     1045 |        0
52.18/52.29	c 52.0s |      16 |   204083 |   166952 |     5392     57 |     1045 |        0
54.28/54.30	c 54.1s |      16 |   210535 |   172952 |     5392     58 |     1045 |        0
56.28/56.33	c 56.1s |      16 |   216205 |   178352 |     5392     60 |     1045 |        0
58.28/58.33	c 58.1s |      16 |   222848 |   184152 |     5392     62 |     1045 |        0
60.28/60.35	c 60.1s |      16 |   230021 |   190352 |     5392     64 |     1045 |        0
62.28/62.38	c 62.1s |      16 |   236409 |   196252 |     5932     65 |     1045 |        0
62.98/63.02	c 62.8s |      17 |   237656 |   197432 |     5932     66 |     1045 |        0
64.98/65.04	c 64.8s |      17 |   246633 |   203932 |     5932     67 |     1045 |        0
66.97/67.07	c 66.8s |      17 |   252521 |   208332 |     5932     69 |     1045 |        0
68.97/69.09	c 68.8s |      17 |   258481 |   212632 |     5932     70 |     1045 |        0
70.97/71.10	c 70.9s |      17 |   264514 |   216932 |     5932     71 |     1045 |        0
73.07/73.10	c 72.9s |      17 |   270528 |   221232 |     5932     72 |     1045 |        0
75.07/75.13	c 74.9s |      17 |   276477 |   225532 |     5932     73 |     1045 |        0
77.08/77.17	c 76.9s |      17 |   285799 |   229032 |     5932     74 |     1045 |        0
79.07/79.19	c 78.9s |      17 |   295221 |   232732 |     5932     75 |     1045 |        0
81.17/81.22	c 81.0s |      17 |   304098 |   236532 |     5932     77 |     1045 |        0
83.17/83.23	c 83.0s |      17 |   312351 |   240732 |     5932     78 |     1045 |        0
85.17/85.24	c 85.0s |      17 |   320365 |   244432 |     5932     79 |     1045 |        0
87.28/87.30	c 87.1s |      17 |   327139 |   248132 |     5932     80 |     1045 |        0
89.28/89.32	c 89.1s |      17 |   335722 |   251832 |     5932     81 |     1045 |        0
91.28/91.33	c 91.1s |      17 |   346335 |   255932 |     5932     82 |     1045 |        0
93.28/93.36	c 93.1s |      17 |   355593 |   260332 |     5932     83 |     1045 |        0
95.38/95.40	c 95.2s |      17 |   364049 |   264032 |     5932     84 |     1045 |        0
97.38/97.48	c 97.2s |      17 |   373301 |   269632 |     5932     86 |     1045 |        0
99.48/99.50	c 99.3s |      17 |   383370 |   274632 |     5932     87 |     1045 |        0
101.48/101.50	c  101s |      17 |   392650 |   279032 |     5932     88 |     1045 |        0
103.48/103.53	c  103s |      17 |   401489 |   283132 |     5932     90 |     1045 |        0
105.48/105.55	c  105s |      17 |   411636 |   287532 |     5932     91 |     1045 |        0
107.48/107.56	c  107s |      17 |   418902 |   291132 |     5932     92 |     1045 |        0
109.48/109.57	c  109s |      17 |   427238 |   294932 |     6526     93 |     1045 |        0
110.18/110.22	c  109s |      18 |   431431 |   296252 |     6526     93 |     1045 |        0
112.18/112.26	c  112s |      18 |   440675 |   300552 |     6526     94 |     1045 |        0
114.17/114.29	c  114s |      18 |   448739 |   304952 |     6526     95 |     1045 |        0
116.27/116.31	c  116s |      18 |   457589 |   312152 |     6526     97 |     1045 |        0
118.27/118.32	c  118s |      18 |   464158 |   317552 |     6526     99 |     1045 |        0
120.37/120.47	c  120s |      18 |   469715 |   322352 |     6526    100 |     1048 |        0
122.37/122.47	c  122s |      18 |   475891 |   326852 |     6526    101 |     1048 |        0
124.38/124.49	c  124s |      18 |   482131 |   331752 |     6526    102 |     1048 |        0
126.47/126.52	c  126s |      18 |   492452 |   336452 |     6526    103 |     1048 |        0
128.47/128.57	c  128s |      18 |   501187 |   340352 |     6526    104 |     1048 |        0
130.47/130.59	c  130s |      18 |   509045 |   344352 |     6526    105 |     1048 |        0
132.57/132.61	c  132s |      18 |   517065 |   348252 |     6526    106 |     1048 |        0
134.57/134.63	c  134s |      18 |   525969 |   353652 |     6526    108 |     1048 |        0
136.57/136.66	c  136s |      18 |   533881 |   358052 |     6526    109 |     1048 |        0
138.57/138.70	c  138s |      18 |   542220 |   362252 |     6526    110 |     1048 |        0
140.67/140.71	c  140s |      18 |   548975 |   365952 |     6526    111 |     1048 |        0
142.67/142.75	c  142s |      18 |   555778 |   370352 |     6526    112 |     1048 |        0
144.67/144.79	c  144s |      18 |   562596 |   374352 |     6526    113 |     1048 |        0
146.76/146.80	c  146s |      18 |   569324 |   378452 |     6526    114 |     1048 |        0
148.76/148.82	c  148s |      18 |   576345 |   382752 |     6526    115 |     1048 |        0
150.77/150.84	c  150s |      18 |   584911 |   389652 |     6526    117 |     1048 |        0
152.76/152.86	c  152s |      18 |   591802 |   395952 |     6526    119 |     1048 |        0
154.76/154.88	c  154s |      18 |   596943 |   400752 |     6526    120 |     1048 |        0
156.86/156.90	c  156s |      18 |   602858 |   405952 |     6526    121 |     1048 |        0
158.86/158.92	c  158s |      18 |   609208 |   411552 |     6526    123 |     1048 |        0
160.86/160.94	c  160s |      18 |   615111 |   416852 |     6526    124 |     1048 |        0
162.87/162.97	c  162s |      18 |   620652 |   421752 |     6526    125 |     1048 |        0
164.97/165.02	c  164s |      18 |   626408 |   427152 |     6526    127 |     1048 |        0
167.06/167.11	c  166s |      18 |   630744 |   431052 |     6526    128 |     1048 |        0
169.07/169.11	c  168s |      18 |   637391 |   436752 |     6526    129 |     1048 |        0
171.07/171.12	c  170s |      18 |   642823 |   441452 |     7179    130 |     1048 |        0
172.27/172.38	c  172s |      19 |   646610 |   444482 |     7179    131 |     1048 |        0
174.37/174.40	c  174s |      19 |   654366 |   450982 |     7179    132 |     1048 |        0
176.37/176.46	c  176s |      19 |   661687 |   456082 |     7179    134 |     1048 |        0
178.36/178.48	c  178s |      19 |   670987 |   463582 |     7179    135 |     1048 |        0
180.37/180.49	c  180s |      19 |   677851 |   469282 |     7179    137 |     1048 |        0
182.46/182.51	c  182s |      19 |   684412 |   475082 |     7179    138 |     1048 |        0
184.46/184.54	c  184s |      19 |   690850 |   480582 |     7179    139 |     1048 |        0
186.97/187.04	c  186s |      19 |   698753 |   487182 |     7179    141 |     1048 |        0
188.96/189.08	c  188s |      19 |   706840 |   493882 |     7179    142 |     1048 |        0
191.06/191.11	c  190s |      19 |   714289 |   499982 |     7179    144 |     1048 |        0
193.06/193.13	c  192s |      19 |   722866 |   507282 |     7179    146 |     1048 |        0
195.06/195.15	c  194s |      19 |   729774 |   513082 |     7179    147 |     1048 |        0
197.06/197.18	c  196s |      19 |   736929 |   519082 |     7179    148 |     1048 |        0
199.06/199.19	c  198s |      19 |   744320 |   525582 |     7179    150 |     1048 |        0
201.16/201.20	c  200s |      19 |   751637 |   531782 |     7179    152 |     1048 |        0
203.16/203.21	c  202s |      19 |   758863 |   537882 |     7179    153 |     1048 |        0
205.16/205.24	c  204s |      19 |   766239 |   544182 |     7179    154 |     1048 |        0
207.16/207.25	c  207s |      19 |   773039 |   549682 |     7179    156 |     1048 |        0
209.26/209.37	c  209s |      19 |   780895 |   555982 |     7179    157 |     1048 |        0
211.26/211.39	c  211s |      19 |   788644 |   562382 |     7179    159 |     1048 |        0
213.26/213.39	c  213s |      19 |   795766 |   568882 |     7179    160 |     1048 |        0
215.36/215.41	c  215s |      19 |   801822 |   573882 |     7179    162 |     1048 |        0
217.46/217.50	c  217s |      19 |   807736 |   579082 |     7179    163 |     1048 |        0
219.45/219.51	c  219s |      19 |   814992 |   585382 |     7179    164 |     1048 |        0
221.45/221.51	c  221s |      19 |   821905 |   591082 |     7179    166 |     1048 |        0
223.45/223.58	c  223s |      19 |   830243 |   598582 |     7179    167 |     1048 |        0
225.56/225.61	c  225s |      19 |   838737 |   605582 |     7179    169 |     1048 |        0
227.55/227.64	c  227s |      19 |   845618 |   611382 |     7179    170 |     1048 |        0
229.55/229.67	c  229s |      19 |   850939 |   616282 |     7179    172 |     1048 |        0
231.55/231.67	c  231s |      19 |   856330 |   621082 |     7179    173 |     1048 |        0
233.55/233.69	c  233s |      19 |   863241 |   626982 |     7179    174 |     1048 |        0
235.55/235.69	c  235s |      19 |   873085 |   634082 |     7179    176 |     1048 |        0
237.55/237.70	c  237s |      19 |   882022 |   641682 |     7179    178 |     1048 |        0
239.65/239.73	c  239s |      19 |   887739 |   646882 |     7179    179 |     1048 |        0
241.65/241.75	c  241s |      19 |   894182 |   652382 |     7179    180 |     1048 |        0
243.86/243.92	c  243s |      19 |   899490 |   656682 |     7179    181 |     1048 |        0
245.86/245.94	c  245s |      19 |   908233 |   663982 |     7897    183 |     1048 |        0
247.06/247.13	c  246s |      20 |   912681 |   666827 |     7897    183 |     1048 |        0
249.05/249.15	c  248s |      20 |   922823 |   674527 |     7897    185 |     1048 |        0
251.05/251.17	c  250s |      20 |   932279 |   681527 |     7897    187 |     1048 |        0
253.15/253.26	c  253s |      20 |   939315 |   687327 |     7897    188 |     1048 |        0
255.15/255.30	c  255s |      20 |   946766 |   692827 |     7897    189 |     1048 |        0
257.25/257.33	c  257s |      20 |   953396 |   697527 |     7897    190 |     1048 |        0
259.25/259.34	c  259s |      20 |   959142 |   702327 |     7897    191 |     1048 |        0
261.25/261.34	c  261s |      20 |   967638 |   707527 |     7897    192 |     1048 |        0
263.25/263.36	c  263s |      20 |   974605 |   712827 |     7897    194 |     1048 |        0
265.35/265.40	c  265s |      20 |   981152 |   718227 |     7897    195 |     1048 |        0
267.35/267.42	c  267s |      20 |   988455 |   724427 |     7897    196 |     1048 |        0
269.35/269.43	c  269s |      20 |   995866 |   729927 |     7897    197 |     1048 |        0
271.34/271.44	c  271s |      20 |  1004598 |   736627 |     7897    199 |     1048 |        0
273.34/273.46	c  273s |      20 |  1012883 |   742327 |     7897    200 |     1048 |        0
275.34/275.48	c  275s |      20 |  1019739 |   747827 |     7897    201 |     1048 |        0
277.34/277.49	c  277s |      20 |  1024900 |   752227 |     7897    202 |     1048 |        0
279.35/279.50	c  279s |      20 |  1031483 |   756827 |     7897    203 |     1048 |        0
281.44/281.52	c  281s |      20 |  1038775 |   762427 |     7897    205 |     1048 |        0
283.44/283.55	c  283s |      20 |  1046180 |   767827 |     7897    206 |     1048 |        0
285.44/285.56	c  285s |      20 |  1052237 |   772827 |     7897    207 |     1048 |        0
287.44/287.59	c  287s |      20 |  1058765 |   777927 |     7897    208 |     1048 |        0
289.45/289.59	c  289s |      20 |  1063728 |   781727 |     7897    209 |     1048 |        0
291.55/291.62	c  291s |      20 |  1070028 |   786527 |     7897    210 |     1048 |        0
293.55/293.65	c  293s |      20 |  1076731 |   791627 |     7897    211 |     1048 |        0
295.55/295.67	c  295s |      20 |  1082470 |   796027 |     7897    212 |     1048 |        0
297.55/297.68	c  297s |      20 |  1088564 |   800627 |     7897    213 |     1048 |        0
299.65/299.71	c  299s |      20 |  1095116 |   805727 |     7897    214 |     1048 |        0
301.65/301.71	c  301s |      20 |  1099738 |   809727 |     7897    215 |     1048 |        0
303.65/303.73	c  303s |      20 |  1105895 |   814727 |     7897    216 |     1048 |        0
305.65/305.76	c  305s |      20 |  1112517 |   819927 |     7897    217 |     1048 |        0
307.65/307.78	c  307s |      20 |  1117189 |   823527 |     7897    218 |     1048 |        0
309.64/309.79	c  309s |      20 |  1123303 |   828727 |     7897    219 |     1048 |        0
311.64/311.80	c  311s |      20 |  1129848 |   833327 |     7897    220 |     1048 |        0
313.74/313.81	c  313s |      20 |  1136069 |   838027 |     7897    221 |     1048 |        0
315.75/315.81	c  315s |      20 |  1143374 |   843727 |     7897    223 |     1048 |        0
317.74/317.82	c  317s |      20 |  1151345 |   849627 |     7897    224 |     1048 |        0
319.74/319.84	c  319s |      20 |  1158363 |   855227 |     7897    225 |     1048 |        0
321.74/321.85	c  321s |      20 |  1164847 |   860627 |     7897    226 |     1048 |        0
323.74/323.86	c  323s |      20 |  1172560 |   866927 |     7897    228 |     1048 |        0
325.74/325.86	c  325s |      20 |  1179255 |   872427 |     7897    229 |     1048 |        0
327.74/327.86	c  327s |      20 |  1183769 |   875827 |     7897    230 |     1048 |        0
329.74/329.89	c  329s |      20 |  1191227 |   881227 |     7897    231 |     1048 |        0
331.84/331.92	c  331s |      20 |  1198231 |   886427 |     7897    232 |     1048 |        0
333.84/333.94	c  333s |      20 |  1203215 |   890327 |     7897    233 |     1048 |        0
335.84/335.96	c  335s |      20 |  1210062 |   895627 |     7897    234 |     1048 |        0
337.83/337.97	c  337s |      20 |  1216440 |   900427 |     7897    235 |     1048 |        0
339.84/340.00	c  339s |      20 |  1220871 |   903927 |     7897    236 |     1048 |        0
341.93/342.04	c  341s |      20 |  1227686 |   909327 |     7897    237 |     1048 |        0
343.93/344.07	c  343s |      20 |  1233838 |   914327 |     7897    238 |     1048 |        0
346.13/346.21	c  345s |      20 |  1239508 |   918427 |     7897    239 |     1048 |        0
348.14/348.23	c  347s |      20 |  1245393 |   922927 |     7897    240 |     1048 |        0
350.14/350.27	c  350s |      20 |  1251392 |   927727 |     7897    241 |     1048 |        0
352.14/352.29	c  352s |      20 |  1255702 |   931127 |     7897    242 |     1048 |        0
354.24/354.32	c  354s |      20 |  1261898 |   935727 |     7897    243 |     1048 |        0
356.23/356.36	c  356s |      20 |  1268623 |   940927 |     7897    244 |     1048 |        0
358.43/358.54	c  358s |      20 |  1275003 |   945927 |     7897    245 |     1048 |        0
360.43/360.54	c  360s |      20 |  1279132 |   949227 |     7897    246 |     1048 |        0
362.43/362.54	c  362s |      20 |  1284093 |   953727 |     7897    247 |     1048 |        0
364.63/364.76	c  364s |      20 |  1288941 |   957527 |     7897    248 |     1048 |        0
366.63/366.76	c  366s |      20 |  1295579 |   962627 |     7897    249 |     1048 |        0
368.63/368.79	c  368s |      20 |  1301162 |   966927 |     7897    250 |     1048 |        0
370.74/370.83	c  370s |      20 |  1306365 |   971027 |     7897    251 |     1048 |        0
373.44/373.52	c  373s |      20 |  1311731 |   975427 |     7897    252 |     1048 |        0
375.44/375.55	c  375s |      20 |  1317578 |   979927 |     7897    253 |     1048 |        0
377.44/377.58	c  377s |      20 |  1325253 |   985027 |     7897    254 |     1048 |        0
379.44/379.59	c  379s |      20 |  1330334 |   988827 |     7897    255 |     1048 |        0
381.53/381.61	c  381s |      20 |  1337038 |   993727 |     8687    256 |     1048 |        0
383.53/383.61	c  383s |      20 |  1341623 |   997027 |     8687    256 |     1048 |        0
384.94/385.08	c  384s |      21 |  1346315 |  1000345 |     8687    257 |     1048 |        0
387.03/387.13	c  386s |      21 |  1351041 |  1004845 |     8687    258 |     1048 |        0
389.03/389.17	c  388s |      21 |  1354374 |  1008145 |     8687    259 |     1048 |        0
391.13/391.21	c  390s |      21 |  1357295 |  1011045 |     8687    259 |     1048 |        0
393.13/393.26	c  393s |      21 |  1360125 |  1013845 |     8687    260 |     1048 |        0
395.13/395.29	c  395s |      21 |  1362948 |  1016645 |     8687    260 |     1048 |        0
397.23/397.34	c  397s |      21 |  1366522 |  1020045 |     8687    261 |     1048 |        0
399.23/399.40	c  399s |      21 |  1368951 |  1022445 |     8687    262 |     1048 |        0
401.73/401.87	c  401s |      21 |  1370371 |  1023845 |     8687    262 |     1048 |        0
403.74/403.89	c  403s |      21 |  1373339 |  1026745 |     8687    262 |     1048 |        0
405.83/405.90	c  405s |      21 |  1376431 |  1029745 |     8687    263 |     1048 |        0
407.83/407.96	c  407s |      21 |  1379703 |  1032845 |     8687    264 |     1048 |        0
409.93/410.02	c  409s |      21 |  1382781 |  1035745 |     8687    264 |     1048 |        0
411.93/412.05	c  411s |      21 |  1386135 |  1038945 |     8687    265 |     1048 |        0
413.93/414.06	c  413s |      21 |  1389685 |  1042145 |     8687    266 |     1048 |        0
416.02/416.11	c  415s |      21 |  1392730 |  1044845 |     8687    266 |     1048 |        0
418.03/418.14	c  417s |      21 |  1396544 |  1048345 |     8687    267 |     1048 |        0
420.13/420.22	c  419s |      21 |  1400274 |  1051645 |     8687    267 |     1048 |        0
422.12/422.27	c  422s |      21 |  1402816 |  1053945 |     8687    268 |     1048 |        0
424.12/424.27	c  424s |      21 |  1406256 |  1057245 |     8687    269 |     1048 |        0
426.23/426.33	c  426s |      21 |  1408987 |  1059845 |     8687    269 |     1048 |        0
428.23/428.38	c  428s |      21 |  1411935 |  1062745 |     8687    270 |     1048 |        0
430.33/430.42	c  430s |      21 |  1414785 |  1065545 |     8687    270 |     1048 |        0
432.53/432.66	c  432s |      21 |  1417101 |  1067845 |     8687    271 |     1048 |        0
434.63/434.72	c  434s |      21 |  1419623 |  1070345 |     8687    271 |     1048 |        0
436.63/436.78	c  436s |      21 |  1422288 |  1072945 |     8687    272 |     1048 |        0
438.73/438.81	c  438s |      21 |  1425103 |  1075745 |     8687    272 |     1048 |        0
440.73/440.82	c  440s |      21 |  1428390 |  1078945 |     8687    273 |     1048 |        0
442.73/442.86	c  442s |      21 |  1431440 |  1081945 |     8687    274 |     1048 |        0
444.83/444.92	c  444s |      21 |  1434992 |  1085345 |     8687    274 |     1048 |        0
446.83/446.99	c  446s |      21 |  1437664 |  1087945 |     8687    275 |     1048 |        0
448.93/449.04	c  448s |      21 |  1440653 |  1090845 |     8687    275 |     1048 |        0
450.93/451.08	c  450s |      21 |  1443625 |  1093445 |     8687    276 |     1048 |        0
453.02/453.10	c  452s |      21 |  1447281 |  1096845 |     8687    277 |     1048 |        0
455.02/455.14	c  454s |      21 |  1451295 |  1100545 |     8687    277 |     1048 |        0
457.02/457.17	c  456s |      21 |  1454059 |  1103145 |     8687    278 |     1048 |        0
459.12/459.20	c  458s |      21 |  1457969 |  1106845 |     8687    279 |     1048 |        0
461.12/461.28	c  461s |      21 |  1461849 |  1110445 |     8687    279 |     1048 |        0
463.22/463.30	c  463s |      21 |  1465034 |  1113545 |     8687    280 |     1048 |        0
465.23/465.35	c  465s |      21 |  1468231 |  1116645 |     8687    281 |     1048 |        0
467.22/467.35	c  467s |      21 |  1471588 |  1119845 |     8687    281 |     1048 |        0
469.32/469.40	c  469s |      21 |  1473101 |  1121345 |     8687    282 |     1048 |        0
471.72/471.86	c  471s |      21 |  1476543 |  1124645 |     8687    282 |     1048 |        0
473.72/473.88	c  473s |      21 |  1479462 |  1127445 |     8687    283 |     1048 |        0
475.82/475.90	c  475s |      21 |  1482737 |  1130545 |     8687    283 |     1048 |        0
477.82/477.95	c  477s |      21 |  1485672 |  1133345 |     8687    284 |     1048 |        0
479.82/479.99	c  479s |      21 |  1489083 |  1136645 |     8687    285 |     1048 |        0
481.92/482.04	c  481s |      21 |  1492772 |  1140245 |     8687    285 |     1048 |        0
483.92/484.09	c  483s |      21 |  1494611 |  1142045 |     8687    286 |     1048 |        0
486.01/486.10	c  485s |      21 |  1497623 |  1144945 |     8687    286 |     1048 |        0
488.01/488.12	c  487s |      21 |  1500842 |  1148045 |     8687    287 |     1048 |        0
490.01/490.14	c  489s |      21 |  1503974 |  1150945 |     8687    288 |     1048 |        0
492.11/492.21	c  491s |      21 |  1505349 |  1152245 |     8687    288 |     1048 |        0
494.11/494.23	c  493s |      21 |  1508259 |  1155045 |     8687    288 |     1048 |        0
496.12/496.25	c  496s |      21 |  1511337 |  1158045 |     8687    289 |     1048 |        0
498.11/498.29	c  498s |      21 |  1514629 |  1161245 |     8687    290 |     1048 |        0
500.21/500.31	c  500s |      21 |  1517916 |  1164445 |     8687    290 |     1048 |        0
502.21/502.36	c  502s |      21 |  1518592 |  1165045 |     8687    290 |     1048 |        0
504.21/504.38	c  504s |      21 |  1521653 |  1168045 |     8687    291 |     1048 |        0
506.21/506.38	c  506s |      21 |  1524487 |  1170845 |     8687    292 |     1048 |        0
508.22/508.39	c  508s |      21 |  1527678 |  1173945 |     8687    292 |     1048 |        0
510.31/510.45	c  510s |      21 |  1530279 |  1176445 |     8687    293 |     1048 |        0
512.31/512.45	c  512s |      21 |  1532804 |  1178945 |     8687    293 |     1048 |        0
514.31/514.48	c  514s |      21 |  1535534 |  1181645 |     8687    294 |     1048 |        0
516.31/516.49	c  516s |      21 |  1539096 |  1184945 |     8687    294 |     1048 |        0
518.51/518.67	c  518s |      21 |  1541867 |  1187645 |     8687    295 |     1048 |        0
520.51/520.69	c  520s |      21 |  1544759 |  1190445 |     8687    296 |     1048 |        0
522.61/522.70	c  522s |      21 |  1548179 |  1193745 |     8687    296 |     1048 |        0
524.61/524.72	c  524s |      21 |  1551364 |  1196745 |     8687    297 |     1048 |        0
526.61/526.76	c  526s |      21 |  1554459 |  1199645 |     8687    297 |     1048 |        0
528.60/528.77	c  528s |      21 |  1557862 |  1202845 |     8687    298 |     1048 |        0
530.60/530.79	c  530s |      21 |  1560758 |  1205445 |     8687    299 |     1048 |        0
532.71/532.87	c  532s |      21 |  1562661 |  1207145 |     8687    299 |     1048 |        0
534.91/535.00	c  534s |      21 |  1565924 |  1210245 |     8687    300 |     1048 |        0
536.91/537.05	c  536s |      21 |  1569810 |  1213845 |     8687    300 |     1048 |        0
538.92/539.09	c  538s |      21 |  1572796 |  1216745 |     8687    301 |     1048 |        0
541.01/541.13	c  540s |      21 |  1576241 |  1219945 |     8687    301 |     1048 |        0
543.01/543.18	c  542s |      21 |  1579409 |  1223045 |     8687    302 |     1048 |        0
545.11/545.20	c  544s |      21 |  1582877 |  1226345 |     8687    303 |     1048 |        0
547.11/547.24	c  546s |      21 |  1586286 |  1229345 |     8687    303 |     1048 |        0
549.11/549.24	c  548s |      21 |  1588830 |  1231845 |     8687    304 |     1048 |        0
551.12/551.26	c  551s |      21 |  1592251 |  1235045 |     8687    305 |     1048 |        0
553.11/553.27	c  553s |      21 |  1596112 |  1238545 |     8687    305 |     1048 |        0
555.21/555.31	c  555s |      21 |  1600069 |  1242245 |     8687    306 |     1048 |        0
557.21/557.31	c  557s |      21 |  1602465 |  1244545 |     8687    306 |     1048 |        0
559.21/559.34	c  559s |      21 |  1605644 |  1247545 |     8687    307 |     1048 |        0
561.21/561.39	c  561s |      21 |  1608859 |  1250545 |     8687    308 |     1048 |        0
563.31/563.41	c  563s |      21 |  1612990 |  1254245 |     8687    308 |     1048 |        0
565.31/565.41	c  565s |      21 |  1615993 |  1257145 |     8687    309 |     1048 |        0
567.31/567.44	c  567s |      21 |  1618261 |  1259345 |     8687    309 |     1048 |        0
569.31/569.48	c  569s |      21 |  1621643 |  1262445 |     8687    310 |     1048 |        0
571.40/571.51	c  571s |      21 |  1623848 |  1264645 |     8687    310 |     1048 |        0
573.40/573.54	c  573s |      21 |  1625990 |  1266745 |     8687    311 |     1048 |        0
575.50/575.66	c  575s |      21 |  1629076 |  1269745 |     8687    312 |     1048 |        0
577.60/577.72	c  577s |      21 |  1632128 |  1272745 |     8687    312 |     1048 |        0
579.61/579.72	c  579s |      21 |  1635538 |  1275945 |     8687    313 |     1048 |        0
581.70/581.80	c  581s |      21 |  1638880 |  1279145 |     8687    313 |     1048 |        0
583.70/583.87	c  583s |      21 |  1641155 |  1281345 |     8687    314 |     1048 |        0
585.70/585.89	c  585s |      21 |  1644363 |  1284345 |     8687    314 |     1048 |        0
587.80/587.93	c  587s |      21 |  1647860 |  1287545 |     8687    315 |     1048 |        0
589.80/589.93	c  589s |      21 |  1650560 |  1290145 |     8687    316 |     1048 |        0
591.81/591.98	c  591s |      21 |  1653995 |  1293445 |     8687    316 |     1048 |        0
593.80/594.00	c  593s |      21 |  1657560 |  1296745 |     8687    317 |     1048 |        0
595.90/596.02	c  595s |      21 |  1660082 |  1299045 |     8687    317 |     1048 |        0
597.90/598.03	c  597s |      21 |  1662965 |  1301845 |     8687    318 |     1048 |        0
599.90/600.05	c  599s |      21 |  1665869 |  1304645 |     8687    319 |     1048 |        0
601.90/602.06	c  601s |      21 |  1667280 |  1306045 |     8687    319 |     1048 |        0
604.00/604.11	c  603s |      21 |  1670150 |  1308845 |     8687    319 |     1048 |        0
606.00/606.17	c  605s |      21 |  1673390 |  1311945 |     8687    320 |     1048 |        0
607.99/608.18	c  607s |      21 |  1676414 |  1314845 |     8687    321 |     1048 |        0
610.09/610.23	c  609s |      21 |  1679849 |  1318145 |     8687    321 |     1048 |        0
612.09/612.23	c  611s |      21 |  1683346 |  1321345 |     8687    322 |     1048 |        0
614.10/614.25	c  614s |      21 |  1685463 |  1323345 |     8687    322 |     1048 |        0
616.10/616.26	c  616s |      21 |  1688962 |  1326645 |     8687    323 |     1048 |        0
618.21/618.36	c  618s |      21 |  1691566 |  1329145 |     8687    324 |     1048 |        0
620.30/620.41	c  620s |      21 |  1695058 |  1332545 |     8687    324 |     1048 |        0
622.30/622.46	c  622s |      21 |  1698316 |  1335645 |     8687    325 |     1048 |        0
624.40/624.51	c  624s |      21 |  1701362 |  1338645 |     8687    325 |     1048 |        0
626.39/626.57	c  626s |      21 |  1702985 |  1340245 |     8687    326 |     1048 |        0
628.39/628.57	c  628s |      21 |  1706625 |  1343745 |     8687    326 |     1048 |        0
630.69/630.80	c  630s |      21 |  1708808 |  1345845 |     8687    327 |     1048 |        0
632.79/632.91	c  632s |      21 |  1711923 |  1348945 |     8687    328 |     1048 |        0
634.79/634.93	c  634s |      21 |  1715327 |  1352245 |     8687    328 |     1048 |        0
636.80/636.98	c  636s |      21 |  1718248 |  1355045 |     8687    329 |     1048 |        0
638.89/639.00	c  638s |      21 |  1721066 |  1357845 |     8687    329 |     1048 |        0
640.89/641.03	c  640s |      21 |  1724452 |  1361145 |     8687    330 |     1048 |        0
642.89/643.04	c  642s |      21 |  1727335 |  1363945 |     8687    331 |     1048 |        0
644.89/645.09	c  644s |      21 |  1730905 |  1367345 |     8687    331 |     1048 |        0
646.99/647.10	c  646s |      21 |  1734433 |  1370645 |     8687    332 |     1048 |        0
649.00/649.17	c  648s |      21 |  1737563 |  1373645 |     8687    333 |     1048 |        0
651.09/651.23	c  650s |      21 |  1740589 |  1376545 |     8687    333 |     1048 |        0
653.49/653.60	c  653s |      21 |  1742445 |  1378345 |     8687    333 |     1048 |        0
655.49/655.64	c  655s |      21 |  1745898 |  1381645 |     8687    334 |     1048 |        0
657.49/657.69	c  657s |      21 |  1749155 |  1384745 |     8687    335 |     1048 |        0
659.48/659.69	c  659s |      21 |  1753269 |  1387845 |     8687    335 |     1048 |        0
661.58/661.74	c  661s |      21 |  1756956 |  1391445 |     8687    336 |     1048 |        0
663.58/663.76	c  663s |      21 |  1760488 |  1394745 |     8687    337 |     1048 |        0
665.68/665.85	c  665s |      21 |  1766691 |  1400345 |     8687    338 |     1048 |        0
667.69/667.85	c  667s |      21 |  1771996 |  1405045 |     8687    339 |     1048 |        0
669.68/669.88	c  669s |      21 |  1776138 |  1408845 |     8687    340 |     1048 |        0
671.78/671.90	c  671s |      21 |  1780272 |  1412545 |     8687    340 |     1048 |        0
673.78/673.92	c  673s |      21 |  1783931 |  1415945 |     8687    341 |     1048 |        0
675.78/675.95	c  675s |      21 |  1787852 |  1419445 |     8687    342 |     1048 |        0
677.88/678.01	c  677s |      21 |  1791916 |  1423145 |     8687    343 |     1048 |        0
679.98/680.14	c  679s |      21 |  1796064 |  1426845 |     8687    343 |     1048 |        0
681.99/682.15	c  681s |      21 |  1799156 |  1429645 |     8687    344 |     1048 |        0
684.19/684.37	c  684s |      21 |  1802072 |  1432445 |     8687    344 |     1048 |        0
686.18/686.39	c  686s |      21 |  1805682 |  1435845 |     8687    345 |     1048 |        0
688.18/688.39	c  688s |      21 |  1808835 |  1438845 |     8687    346 |     1048 |        0
690.28/690.40	c  690s |      21 |  1812441 |  1442245 |     8687    346 |     1048 |        0
693.19/693.34	c  693s |      21 |  1816332 |  1445845 |     8687    347 |     1048 |        0
695.19/695.36	c  695s |      21 |  1820370 |  1449545 |     8687    348 |     1048 |        0
697.19/697.38	c  697s |      21 |  1824237 |  1452945 |     8687    349 |     1048 |        0
699.29/699.40	c  699s |      21 |  1826709 |  1455045 |     8687    349 |     1048 |        0
701.29/701.44	c  701s |      21 |  1830874 |  1458945 |     8687    350 |     1048 |        0
703.29/703.48	c  703s |      21 |  1834691 |  1462545 |     8687    350 |     1048 |        0
705.38/705.53	c  705s |      21 |  1838492 |  1465945 |     8687    351 |     1048 |        0
707.38/707.54	c  707s |      21 |  1842299 |  1469445 |     8687    352 |     1048 |        0
709.39/709.58	c  709s |      21 |  1845879 |  1472745 |     8687    353 |     1048 |        0
711.48/711.60	c  711s |      21 |  1847965 |  1474745 |     8687    353 |     1048 |        0
713.48/713.65	c  713s |      21 |  1850715 |  1477445 |     8687    353 |     1048 |        0
715.78/715.97	c  715s |      21 |  1853284 |  1479945 |     8687    354 |     1048 |        0
717.78/717.98	c  717s |      21 |  1856737 |  1483345 |     8687    355 |     1048 |        0
719.88/720.02	c  719s |      21 |  1859959 |  1486545 |     8687    355 |     1048 |        0
721.88/722.06	c  721s |      21 |  1863307 |  1489845 |     8687    356 |     1048 |        0
723.88/724.09	c  723s |      21 |  1865935 |  1492445 |     9556    356 |     1048 |        0
725.99/726.15	c  725s |      21 |  1869096 |  1495545 |     9556    357 |     1048 |        0
727.98/728.20	c  727s |      21 |  1871947 |  1498345 |     9556    357 |     1048 |        0
730.08/730.23	c  729s |      22 |  1874255 |  1500622 |     9556    358 |     1048 |        0
732.08/732.25	c  732s |      22 |  1882170 |  1507522 |     9556    359 |     1048 |        0
734.08/734.25	c  734s |      22 |  1888593 |  1513322 |     9556    360 |     1048 |        0
736.07/736.25	c  736s |      22 |  1893584 |  1517622 |     9556    361 |     1048 |        0
738.08/738.27	c  738s |      22 |  1901029 |  1523922 |     9556    362 |     1048 |        0
740.07/740.27	c  740s |      22 |  1908346 |  1530522 |     9556    363 |     1048 |        0
742.17/742.30	c  742s |      22 |  1917253 |  1536922 |     9556    365 |     1048 |        0
744.17/744.31	c  744s |      22 |  1923031 |  1541922 |     9556    365 |     1048 |        0
746.18/746.37	c  746s |      22 |  1925646 |  1544122 |     9556    366 |     1048 |        0
748.18/748.38	c  748s |      22 |  1934926 |  1551222 |     9556    367 |     1048 |        0
750.28/750.41	c  750s |      22 |  1942394 |  1557322 |     9556    368 |     1048 |        0
752.28/752.43	c  752s |      22 |  1949119 |  1562822 |     9556    369 |     1048 |        0
754.27/754.47	c  754s |      22 |  1954640 |  1567822 |     9556    370 |     1048 |        0
756.27/756.48	c  756s |      22 |  1959388 |  1572022 |     9556    371 |     1048 |        0
758.37/758.56	c  758s |      22 |  1964216 |  1576022 |     9556    372 |     1048 |        0
760.37/760.56	c  760s |      22 |  1973323 |  1582422 |     9556    373 |     1048 |        0
762.37/762.59	c  762s |      22 |  1980500 |  1587922 |     9556    374 |     1048 |        0
764.38/764.59	c  764s |      22 |  1987048 |  1593422 |     9556    375 |     1048 |        0
766.47/766.61	c  766s |      22 |  1994532 |  1599522 |     9556    376 |     1048 |        0
768.47/768.65	c  768s |      22 |  2001043 |  1604922 |     9556    377 |     1048 |        0
770.47/770.66	c  770s |      22 |  2006100 |  1609222 |     9556    378 |     1048 |        0
772.47/772.67	c  772s |      22 |  2012195 |  1614422 |     9556    379 |     1048 |        0
774.47/774.70	c  774s |      22 |  2018515 |  1619622 |     9556    380 |     1048 |        0
776.47/776.70	c  776s |      22 |  2023134 |  1623722 |     9556    381 |     1048 |        0
778.57/778.70	c  778s |      22 |  2029851 |  1628922 |     9556    382 |     1048 |        0
780.57/780.73	c  780s |      22 |  2037153 |  1634722 |     9556    383 |     1048 |        0
782.57/782.75	c  782s |      22 |  2043362 |  1639822 |     9556    384 |     1048 |        0
784.57/784.78	c  784s |      22 |  2049544 |  1645122 |     9556    385 |     1048 |        0
786.67/786.87	c  786s |      22 |  2054092 |  1649122 |     9556    386 |     1048 |        0
788.67/788.87	c  788s |      22 |  2060143 |  1654222 |     9556    386 |     1048 |        0
790.67/790.89	c  790s |      22 |  2065662 |  1659222 |     9556    387 |     1048 |        0
793.07/793.23	c  792s |      22 |  2069519 |  1662522 |     9556    388 |     1048 |        0
795.07/795.23	c  794s |      22 |  2077374 |  1668522 |     9556    389 |     1048 |        0
797.06/797.25	c  797s |      22 |  2085158 |  1674822 |     9556    390 |     1048 |        0
799.06/799.26	c  799s |      22 |  2092973 |  1681222 |     9556    391 |     1048 |        0
801.06/801.27	c  801s |      22 |  2100693 |  1686822 |     9556    393 |     1048 |        0
803.06/803.28	c  803s |      22 |  2107971 |  1692222 |     9556    394 |     1048 |        0
805.07/805.29	c  805s |      22 |  2116355 |  1697822 |     9556    395 |     1048 |        0
807.16/807.31	c  807s |      22 |  2124971 |  1704222 |     9556    396 |     1048 |        0
809.16/809.32	c  809s |      22 |  2133030 |  1710322 |     9556    397 |     1048 |        0
811.16/811.33	c  811s |      22 |  2140944 |  1716922 |     9556    398 |     1048 |        0
813.16/813.35	c  813s |      22 |  2147894 |  1722922 |     9556    399 |     1048 |        0
815.17/815.38	c  815s |      22 |  2153618 |  1727822 |     9556    400 |     1048 |        0
817.17/817.40	c  817s |      22 |  2160169 |  1733322 |     9556    401 |     1048 |        0
819.27/819.42	c  819s |      22 |  2166029 |  1738322 |     9556    402 |     1048 |        0
821.37/821.50	c  821s |      22 |  2171119 |  1742722 |     9556    403 |     1048 |        0
823.36/823.56	c  823s |      22 |  2174847 |  1745822 |     9556    404 |     1048 |        0
825.36/825.57	c  825s |      22 |  2181631 |  1751322 |     9556    405 |     1048 |        0
827.36/827.58	c  827s |      22 |  2187683 |  1756022 |     9556    405 |     1048 |        0
829.46/829.60	c  829s |      22 |  2196177 |  1762622 |     9556    407 |     1048 |        0
831.66/831.86	c  831s |      22 |  2203135 |  1768022 |     9556    408 |     1048 |        0
833.96/834.18	c  833s |      22 |  2211129 |  1774322 |     9556    409 |     1048 |        0
836.06/836.25	c  836s |      22 |  2220249 |  1781322 |     9556    410 |     1048 |        0
838.06/838.27	c  838s |      22 |  2228765 |  1788022 |     9556    411 |     1048 |        0
840.17/840.32	c  840s |      22 |  2236998 |  1793922 |     9556    413 |     1048 |        0
842.17/842.35	c  842s |      22 |  2244455 |  1798822 |     9556    413 |     1065 |        0
844.16/844.35	c  844s |      22 |  2249287 |  1802622 |     9556    413 |     1065 |        0
846.16/846.37	c  846s |      22 |  2255027 |  1806622 |     9556    414 |     1065 |        0
848.26/848.47	c  848s |      22 |  2261750 |  1810522 |     9556    415 |     1065 |        0
850.27/850.48	c  850s |      22 |  2267483 |  1814422 |     9556    415 |     1065 |        0
852.37/852.54	c  852s |      22 |  2272634 |  1818222 |     9556    416 |     1065 |        0
854.46/854.65	c  854s |      22 |  2277627 |  1821622 |     9556    417 |     1065 |        0
856.46/856.66	c  856s |      22 |  2283275 |  1825122 |     9556    417 |     1065 |        0
858.56/858.70	c  858s |      22 |  2289447 |  1829122 |     9556    418 |     1065 |        0
860.66/860.82	c  860s |      22 |  2294483 |  1832722 |     9556    419 |     1065 |        0
862.66/862.86	c  862s |      22 |  2300278 |  1836722 |     9556    419 |     1065 |        0
864.66/864.86	c  864s |      22 |  2305032 |  1839922 |     9556    420 |     1065 |        0
866.77/866.92	c  866s |      22 |  2309924 |  1843622 |     9556    420 |     1065 |        0
868.76/868.93	c  868s |      22 |  2314093 |  1847122 |     9556    421 |     1065 |        0
870.76/870.94	c  870s |      22 |  2318398 |  1850522 |     9556    422 |     1065 |        0
872.76/872.97	c  872s |      22 |  2322623 |  1853722 |     9556    422 |     1065 |        0
874.96/875.12	c  874s |      22 |  2326765 |  1856222 |     9556    423 |     1065 |        0
876.95/877.14	c  876s |      22 |  2333360 |  1859722 |     9556    423 |     1065 |        0
878.95/879.14	c  878s |      22 |  2339479 |  1863622 |     9556    424 |     1065 |        0
880.96/881.15	c  880s |      22 |  2344961 |  1867322 |     9556    425 |     1065 |        0
882.95/883.16	c  882s |      22 |  2350418 |  1871222 |     9556    425 |     1065 |        0
884.95/885.16	c  884s |      22 |  2357330 |  1875122 |     9556    426 |     1065 |        0
886.95/887.17	c  886s |      22 |  2363063 |  1878422 |     9556    427 |     1065 |        0
888.95/889.18	c  888s |      22 |  2369896 |  1882022 |     9556    427 |     1065 |        0
890.96/891.19	c  890s |      22 |  2376081 |  1885222 |     9556    428 |     1065 |        0
893.06/893.21	c  892s |      22 |  2381720 |  1888522 |     9556    429 |     1065 |        0
895.05/895.28	c  895s |      22 |  2387653 |  1892422 |     9556    429 |     1065 |        0
897.46/897.65	c  897s |      22 |  2392260 |  1896022 |     9556    430 |     1065 |        0
899.45/899.69	c  899s |      22 |  2398068 |  1900922 |     9556    431 |     1065 |        0
901.65/901.82	c  901s |      22 |  2403889 |  1905922 |     9556    432 |     1065 |        0
903.65/903.84	c  903s |      22 |  2409775 |  1911022 |     9556    433 |     1065 |        0
905.65/905.86	c  905s |      22 |  2415328 |  1915222 |     9556    433 |     1065 |        0
907.65/907.87	c  907s |      22 |  2422289 |  1919222 |     9556    434 |     1065 |        0
909.75/909.90	c  909s |      22 |  2427912 |  1922822 |     9556    435 |     1065 |        0
911.75/911.91	c  911s |      22 |  2432633 |  1926522 |     9556    435 |     1065 |        0
913.75/913.93	c  913s |      22 |  2441600 |  1934122 |     9556    437 |     1068 |        0
915.75/915.94	c  915s |      22 |  2446749 |  1939122 |     9556    438 |     1068 |        0
917.75/917.95	c  917s |      22 |  2455674 |  1943722 |     9556    439 |     1068 |        0
919.75/919.99	c  919s |      22 |  2466266 |  1947722 |     9556    439 |     1068 |        0
921.84/922.02	c  921s |      22 |  2477522 |  1951522 |     9556    440 |     1068 |        0
923.85/924.05	c  923s |      22 |  2488579 |  1956422 |     9556    441 |     1068 |        0
925.84/926.07	c  925s |      22 |  2497620 |  1962922 |     9556    442 |     1068 |        0
927.84/928.09	c  927s |      22 |  2505423 |  1968822 |     9556    443 |     1068 |        0
929.94/930.10	c  929s |      22 |  2513270 |  1975222 |     9556    444 |     1068 |        0
931.95/932.11	c  931s |      22 |  2521250 |  1981822 |     9556    446 |     1068 |        0
933.95/934.12	c  933s |      22 |  2525730 |  1985422 |     9556    446 |     1068 |        0
935.95/936.15	c  935s |      22 |  2533017 |  1991522 |     9556    448 |     1068 |        0
938.05/938.30	c  938s |      22 |  2539537 |  1996922 |     9556    449 |     1068 |        0
940.14/940.32	c  940s |      22 |  2545254 |  2001622 |     9556    449 |     1068 |        0
942.14/942.33	c  942s |      22 |  2552418 |  2007622 |     9556    451 |     1068 |        0
944.14/944.35	c  944s |      22 |  2560018 |  2014022 |     9556    452 |     1068 |        0
946.24/946.45	c  946s |      22 |  2566544 |  2019322 |     9556    453 |     1068 |        0
948.24/948.45	c  948s |      22 |  2573778 |  2025422 |     9556    454 |     1068 |        0
950.25/950.46	c  950s |      22 |  2580844 |  2031522 |     9556    455 |     1068 |        0
952.24/952.49	c  952s |      22 |  2583439 |  2033622 |     9556    455 |     1068 |        0
954.34/954.52	c  954s |      22 |  2591198 |  2039222 |     9556    456 |     1068 |        0
956.45/956.69	c  956s |      22 |  2592079 |  2039922 |     9556    456 |     1068 |        0
958.55/958.72	c  958s |      22 |  2601618 |  2048422 |     9556    458 |     1068 |        0
960.55/960.75	c  960s |      22 |  2607193 |  2053522 |     9556    459 |     1068 |        0
962.55/962.79	c  962s |      22 |  2611968 |  2057222 |     9556    460 |     1068 |        0
964.55/964.79	c  964s |      22 |  2620080 |  2063822 |     9556    461 |     1068 |        0
966.65/966.81	c  966s |      22 |  2628451 |  2070422 |     9556    462 |     1068 |        0
968.95/969.19	c  968s |      22 |  2633140 |  2074322 |     9556    463 |     1068 |        0
971.04/971.20	c  970s |      22 |  2638321 |  2079422 |     9556    463 |     1068 |        0
973.04/973.21	c  972s |      22 |  2644223 |  2083222 |     9556    464 |     1068 |        0
975.04/975.21	c  974s |      22 |  2652398 |  2089822 |     9556    465 |     1068 |        0
977.04/977.23	c  976s |      22 |  2659267 |  2095922 |     9556    467 |     1068 |        0
979.04/979.24	c  978s |      22 |  2665035 |  2101222 |     9556    468 |     1068 |        0
981.05/981.26	c  981s |      22 |  2670176 |  2106122 |     9556    468 |     1068 |        0
983.04/983.27	c  983s |      22 |  2674624 |  2110122 |     9556    469 |     1068 |        0
985.14/985.31	c  985s |      22 |  2678921 |  2114122 |     9556    470 |     1068 |        0
987.24/987.43	c  987s |      22 |  2682766 |  2117622 |     9556    471 |     1068 |        0
989.24/989.47	c  989s |      22 |  2687216 |  2121822 |     9556    471 |     1068 |        0
991.34/991.52	c  991s |      22 |  2690700 |  2125122 |     9556    472 |     1068 |        0
994.64/994.86	c  994s |      22 |  2694295 |  2128622 |     9556    473 |     1068 |        0
996.64/996.89	c  996s |      22 |  2698957 |  2133022 |     9556    473 |     1068 |        0
998.74/998.92	c  998s |      22 |  2702927 |  2136822 |     9556    474 |     1068 |        0
1000.84/1001.02	c 1000s |      22 |  2705719 |  2139522 |     9556    475 |     1068 |        0
1002.83/1003.04	c 1002s |      22 |  2709610 |  2143222 |     9556    475 |     1068 |        0
1004.83/1005.07	c 1004s |      22 |  2713311 |  2146822 |     9556    476 |     1068 |        0
1006.83/1007.09	c 1006s |      22 |  2716543 |  2149722 |     9556    476 |     1068 |        0
1008.84/1009.09	c 1008s |      22 |  2721277 |  2154222 |     9556    477 |     1068 |        0
1010.94/1011.13	c 1010s |      22 |  2725879 |  2158622 |     9556    478 |     1068 |        0
1012.95/1013.14	c 1012s |      22 |  2729018 |  2161622 |     9556    479 |     1068 |        0
1014.94/1015.18	c 1014s |      22 |  2733614 |  2166022 |     9556    479 |     1068 |        0
1017.34/1017.53	c 1017s |      22 |  2735800 |  2168122 |     9556    480 |     1068 |        0
1019.64/1019.82	c 1019s |      22 |  2740034 |  2172222 |     9556    481 |     1068 |        0
1021.64/1021.87	c 1021s |      22 |  2744746 |  2176422 |     9556    481 |     1068 |        0
1023.74/1023.91	c 1023s |      22 |  2748408 |  2179822 |     9556    482 |     1068 |        0
1025.74/1025.94	c 1025s |      22 |  2752314 |  2183422 |     9556    483 |     1068 |        0
1027.74/1027.96	c 1027s |      22 |  2756594 |  2187522 |     9556    483 |     1068 |        0
1029.93/1030.11	c 1029s |      22 |  2758801 |  2189622 |     9556    484 |     1068 |        0
1031.93/1032.16	c 1031s |      22 |  2763084 |  2193722 |     9556    484 |     1068 |        0
1033.94/1034.17	c 1033s |      22 |  2767038 |  2197422 |     9556    485 |     1068 |        0
1036.04/1036.21	c 1035s |      22 |  2770525 |  2200822 |     9556    486 |     1068 |        0
1038.03/1038.25	c 1038s |      22 |  2772268 |  2202322 |     9556    486 |     1068 |        0
1040.03/1040.26	c 1040s |      22 |  2776712 |  2206422 |     9556    487 |     1068 |        0
1042.03/1042.26	c 1042s |      22 |  2780960 |  2210422 |     9556    487 |     1068 |        0
1044.03/1044.26	c 1044s |      22 |  2784050 |  2213322 |     9556    488 |     1068 |        0
1046.13/1046.30	c 1046s |      22 |  2787983 |  2217122 |     9556    489 |     1068 |        0
1048.13/1048.31	c 1048s |      22 |  2791265 |  2220322 |     9556    489 |     1068 |        0
1050.63/1050.84	c 1050s |      22 |  2794223 |  2223222 |     9556    490 |     1068 |        0
1052.63/1052.89	c 1052s |      22 |  2798207 |  2226922 |     9556    491 |     1068 |        0
1054.73/1054.93	c 1054s |      22 |  2802363 |  2230822 |     9556    491 |     1068 |        0
1056.73/1056.95	c 1056s |      22 |  2806230 |  2234522 |     9556    492 |     1068 |        0
1058.83/1059.07	c 1058s |      22 |  2810647 |  2238722 |    10512    493 |     1068 |        0
1060.82/1061.07	c 1060s |      22 |  2814512 |  2242422 |    10512    493 |     1068 |        0
1062.92/1063.12	c 1062s |      22 |  2818200 |  2245922 |    10512    494 |     1068 |        0
1064.92/1065.17	c 1064s |      22 |  2822294 |  2249922 |    10512    494 |     1068 |        0
1065.84/1066.06	c 1065s |      23 |  2823635 |  2251038 |    10512    495 |     1068 |        0
1067.83/1068.10	c 1067s |      23 |  2826323 |  2253138 |    10512    495 |     1068 |        0
1069.93/1070.11	c 1069s |      23 |  2834988 |  2259238 |    10512    496 |     1068 |        0
1071.93/1072.13	c 1071s |      23 |  2841956 |  2265538 |    10512    497 |     1068 |        0
1074.03/1074.24	c 1073s |      23 |  2847004 |  2269938 |    10512    498 |     1068 |        0
1076.13/1076.37	c 1076s |      23 |  2848293 |  2270938 |    10512    498 |     1069 |        0
1078.23/1078.42	c 1078s |      23 |  2853418 |  2275438 |    10512    499 |     1069 |        0
1080.22/1080.48	c 1080s |      23 |  2856246 |  2278238 |    10512    499 |     1069 |        0
1082.23/1082.49	c 1082s |      23 |  2859646 |  2281438 |    10512    500 |     1069 |        0
1084.32/1084.53	c 1084s |      23 |  2865458 |  2285838 |    10512    501 |     1069 |        0
1086.32/1086.55	c 1086s |      23 |  2870651 |  2289838 |    10512    501 |     1069 |        0
1088.32/1088.57	c 1088s |      23 |  2874847 |  2293338 |    10512    502 |     1069 |        0
1090.42/1090.62	c 1090s |      23 |  2878229 |  2296138 |    10512    502 |     1069 |        0
1092.42/1092.63	c 1092s |      23 |  2882669 |  2299638 |    10512    503 |     1069 |        0
1094.43/1094.64	c 1094s |      23 |  2887908 |  2303538 |    10512    504 |     1069 |        0
1096.42/1096.64	c 1096s |      23 |  2893387 |  2307938 |    10512    504 |     1069 |        0
1098.42/1098.68	c 1098s |      23 |  2898858 |  2311738 |    10512    505 |     1069 |        0
1100.62/1100.81	c 1100s |      23 |  2903091 |  2315138 |    10512    506 |     1069 |        0
1102.62/1102.87	c 1102s |      23 |  2908101 |  2318738 |    10512    506 |     1069 |        0
1104.62/1104.87	c 1104s |      23 |  2912294 |  2321938 |    10512    507 |     1069 |        0
1106.63/1106.88	c 1106s |      23 |  2917188 |  2325438 |    10512    507 |     1069 |        0
1108.63/1108.89	c 1108s |      23 |  2921665 |  2328738 |    10512    508 |     1069 |        0
1110.83/1111.01	c 1110s |      23 |  2925886 |  2332138 |    10512    508 |     1069 |        0
1112.82/1113.03	c 1112s |      23 |  2930728 |  2335638 |    10512    509 |     1069 |        0
1114.82/1115.09	c 1114s |      23 |  2935476 |  2339138 |    10512    510 |     1069 |        0
1116.92/1117.11	c 1116s |      23 |  2939361 |  2342438 |    10512    510 |     1069 |        0
1118.92/1119.11	c 1118s |      23 |  2944299 |  2345738 |    10512    511 |     1069 |        0
1120.92/1121.16	c 1120s |      23 |  2950065 |  2349738 |    10512    511 |     1069 |        0
1122.93/1123.17	c 1122s |      23 |  2954686 |  2353138 |    10512    512 |     1069 |        0
1125.02/1125.20	c 1124s |      23 |  2958707 |  2356238 |    10512    513 |     1069 |        0
1127.12/1127.36	c 1127s |      23 |  2963406 |  2360238 |    10512    513 |     1069 |        0
1129.22/1129.41	c 1129s |      23 |  2968011 |  2363638 |    10512    514 |     1069 |        0
1131.42/1131.61	c 1131s |      23 |  2974184 |  2368838 |    10512    515 |     1069 |        0
1133.42/1133.64	c 1133s |      23 |  2979468 |  2372838 |    10512    515 |     1069 |        0
1135.42/1135.66	c 1135s |      23 |  2984233 |  2376638 |    10512    516 |     1069 |        0
1137.42/1137.67	c 1137s |      23 |  2988454 |  2379938 |    10512    517 |     1069 |        0
1139.42/1139.68	c 1139s |      23 |  2993004 |  2383638 |    10512    517 |     1069 |        0
1141.81/1142.00	c 1141s |      23 |  2996165 |  2386138 |    10512    518 |     1069 |        0
1143.82/1144.06	c 1143s |      23 |  3000437 |  2389138 |    10512    518 |     1069 |        0
1145.91/1146.10	c 1145s |      23 |  3005284 |  2392538 |    10512    519 |     1069 |        0
1147.91/1148.13	c 1147s |      23 |  3010784 |  2395838 |    10512    519 |     1069 |        0
1149.91/1150.15	c 1149s |      23 |  3015239 |  2399038 |    10512    520 |     1069 |        0
1151.90/1152.19	c 1151s |      23 |  3020013 |  2402638 |    10512    520 |     1069 |        0
1154.00/1154.20	c 1153s |      23 |  3024735 |  2406238 |    10512    521 |     1069 |        0
1156.01/1156.21	c 1155s |      23 |  3028866 |  2409838 |    10512    522 |     1069 |        0
1158.00/1158.21	c 1157s |      23 |  3033739 |  2413538 |    10512    522 |     1069 |        0
1160.00/1160.23	c 1159s |      23 |  3038603 |  2417438 |    10512    523 |     1069 |        0
1162.00/1162.27	c 1162s |      23 |  3042040 |  2420438 |    10512    523 |     1069 |        0
1164.00/1164.29	c 1164s |      23 |  3046479 |  2423838 |    10512    524 |     1069 |        0
1166.10/1166.31	c 1166s |      23 |  3051766 |  2427538 |    10512    525 |     1069 |        0
1168.10/1168.34	c 1168s |      23 |  3056240 |  2430638 |    10512    525 |     1069 |        0
1170.10/1170.35	c 1170s |      23 |  3060895 |  2434438 |    10512    526 |     1069 |        0
1172.09/1172.36	c 1172s |      23 |  3065838 |  2437738 |    10512    526 |     1069 |        0
1174.09/1174.36	c 1174s |      23 |  3071342 |  2441438 |    10512    527 |     1069 |        0
1176.10/1176.38	c 1176s |      23 |  3075263 |  2444438 |    10512    528 |     1069 |        0
1178.20/1178.42	c 1178s |      23 |  3080083 |  2448038 |    10512    528 |     1069 |        0
1180.20/1180.46	c 1180s |      23 |  3084668 |  2451538 |    10512    529 |     1069 |        0
1182.19/1182.50	c 1182s |      23 |  3089192 |  2455238 |    10512    529 |     1069 |        0
1184.29/1184.51	c 1184s |      23 |  3093568 |  2458738 |    10512    530 |     1069 |        0
1186.29/1186.55	c 1186s |      23 |  3097651 |  2461838 |    10512    531 |     1069 |        0
1188.39/1188.60	c 1188s |      23 |  3101888 |  2465438 |    10512    531 |     1069 |        0
1190.39/1190.61	c 1190s |      23 |  3103832 |  2466838 |    10512    531 |     1069 |        0
1192.39/1192.63	c 1192s |      23 |  3107786 |  2469438 |    10512    532 |     1069 |        0
1194.39/1194.65	c 1194s |      23 |  3112576 |  2472738 |    10512    532 |     1069 |        0
1196.39/1196.68	c 1196s |      23 |  3117147 |  2476038 |    10512    533 |     1069 |        0
1198.49/1198.70	c 1198s |      23 |  3120906 |  2478938 |    10512    533 |     1069 |        0
1200.49/1200.73	c 1200s |      23 |  3125286 |  2482338 |    10512    534 |     1069 |        0
1202.88/1203.15	c 1202s |      23 |  3128942 |  2485338 |    10512    535 |     1069 |        0
1204.98/1205.22	c 1204s |      23 |  3133387 |  2488438 |    10512    535 |     1069 |        0
1206.98/1207.23	c 1206s |      23 |  3137248 |  2491038 |    10512    536 |     1069 |        0
1208.98/1209.28	c 1209s |      23 |  3141410 |  2493938 |    10512    536 |     1069 |        0
1211.07/1211.32	c 1211s |      23 |  3146547 |  2497238 |    10512    537 |     1069 |        0
1213.08/1213.35	c 1213s |      23 |  3151234 |  2500638 |    10512    537 |     1069 |        0
1215.17/1215.42	c 1215s |      23 |  3154782 |  2503638 |    10512    538 |     1069 |        0
1217.17/1217.47	c 1217s |      23 |  3160880 |  2508138 |    10512    538 |     1069 |        0
1219.27/1219.50	c 1219s |      23 |  3164953 |  2510838 |    10512    539 |     1069 |        0
1221.27/1221.55	c 1221s |      23 |  3169629 |  2514338 |    10512    540 |     1069 |        0
1223.37/1223.60	c 1223s |      23 |  3174464 |  2517738 |    10512    540 |     1069 |        0
1225.37/1225.63	c 1225s |      23 |  3179791 |  2521538 |    10512    541 |     1069 |        0
1227.37/1227.66	c 1227s |      23 |  3184227 |  2524838 |    10512    541 |     1069 |        0
1229.47/1229.79	c 1229s |      23 |  3189297 |  2528538 |    10512    542 |     1069 |        0
1231.67/1231.98	c 1231s |      23 |  3193628 |  2531738 |    10512    542 |     1069 |        0
1233.66/1233.99	c 1233s |      23 |  3198504 |  2535138 |    10512    543 |     1069 |        0
1235.76/1236.02	c 1235s |      23 |  3203078 |  2538038 |    10512    544 |     1069 |        0
1237.76/1238.03	c 1237s |      23 |  3207243 |  2541238 |    10512    544 |     1069 |        0
1239.76/1240.06	c 1239s |      23 |  3211734 |  2544638 |    10512    545 |     1069 |        0
1241.77/1242.08	c 1241s |      23 |  3216134 |  2547938 |    10512    545 |     1069 |        0
1243.87/1244.13	c 1243s |      23 |  3219191 |  2550238 |    10512    546 |     1069 |        0
1245.87/1246.18	c 1245s |      23 |  3223791 |  2553638 |    10512    546 |     1069 |        0
1247.97/1248.22	c 1247s |      23 |  3227641 |  2556438 |    10512    547 |     1069 |        0
1249.97/1250.28	c 1250s |      23 |  3231991 |  2559738 |    10512    547 |     1069 |        0
1252.06/1252.30	c 1252s |      23 |  3235833 |  2562338 |    10512    548 |     1069 |        0
1254.06/1254.36	c 1254s |      23 |  3240868 |  2566038 |    10512    548 |     1069 |        0
1256.26/1256.59	c 1256s |      23 |  3245415 |  2570038 |    10512    549 |     1069 |        0
1258.36/1258.60	c 1258s |      23 |  3249956 |  2573238 |    10512    550 |     1069 |        0
1260.37/1260.63	c 1260s |      23 |  3254667 |  2576738 |    10512    550 |     1069 |        0
1262.36/1262.64	c 1262s |      23 |  3259205 |  2579938 |    10512    551 |     1069 |        0
1264.36/1264.64	c 1264s |      23 |  3263350 |  2583138 |    10512    551 |     1069 |        0
1266.36/1266.64	c 1266s |      23 |  3267058 |  2585738 |    10512    552 |     1069 |        0
1268.36/1268.68	c 1268s |      23 |  3271831 |  2589338 |    10512    552 |     1069 |        0
1270.45/1270.70	c 1270s |      23 |  3275406 |  2592038 |    10512    553 |     1069 |        0
1272.46/1272.73	c 1272s |      23 |  3280058 |  2595238 |    10512    553 |     1069 |        0
1274.45/1274.76	c 1274s |      23 |  3284747 |  2598338 |    10512    554 |     1069 |        0
1276.75/1277.08	c 1276s |      23 |  3289636 |  2602338 |    10512    555 |     1069 |        0
1278.85/1279.15	c 1278s |      23 |  3295182 |  2605738 |    10512    555 |     1069 |        0
1280.95/1281.20	c 1280s |      23 |  3299105 |  2608838 |    10512    556 |     1069 |        0
1282.95/1283.21	c 1282s |      23 |  3302937 |  2612138 |    10512    556 |     1069 |        0
1284.94/1285.23	c 1284s |      23 |  3307344 |  2615638 |    10512    557 |     1069 |        0
1286.94/1287.24	c 1286s |      23 |  3311965 |  2618938 |    10512    557 |     1069 |        0
1288.96/1289.24	c 1288s |      23 |  3315865 |  2622138 |    10512    558 |     1069 |        0
1290.95/1291.29	c 1291s |      23 |  3320189 |  2625638 |    10512    559 |     1069 |        0
1293.15/1293.49	c 1293s |      23 |  3324236 |  2629038 |    10512    559 |     1069 |        0
1295.25/1295.52	c 1295s |      23 |  3327836 |  2631538 |    10512    560 |     1069 |        0
1297.25/1297.56	c 1297s |      23 |  3332765 |  2635438 |    10512    560 |     1069 |        0
1299.25/1299.58	c 1299s |      23 |  3336732 |  2638538 |    10512    561 |     1069 |        0
1301.35/1301.63	c 1301s |      23 |  3341216 |  2642038 |    10512    561 |     1069 |        0
1303.35/1303.67	c 1303s |      23 |  3344720 |  2645038 |    10512    562 |     1069 |        0
1305.45/1305.71	c 1305s |      23 |  3348434 |  2648238 |    10512    562 |     1069 |        0
1307.44/1307.72	c 1307s |      23 |  3352256 |  2651338 |    10512    563 |     1069 |        0
1310.95/1311.21	c 1310s |      23 |  3357398 |  2655638 |    10512    564 |     1069 |        0
1312.94/1313.26	c 1313s |      23 |  3361675 |  2658938 |    10512    564 |     1069 |        0
1314.94/1315.28	c 1315s |      23 |  3364690 |  2661438 |    10512    565 |     1069 |        0
1317.04/1317.33	c 1317s |      23 |  3370196 |  2665638 |    10512    565 |     1069 |        0
1319.14/1319.44	c 1319s |      23 |  3374840 |  2668838 |    10512    566 |     1069 |        0
1321.24/1321.50	c 1321s |      23 |  3378368 |  2671638 |    10512    566 |     1069 |        0
1323.23/1323.55	c 1323s |      23 |  3382153 |  2674638 |    10512    567 |     1069 |        0
1325.34/1325.61	c 1325s |      23 |  3387010 |  2678238 |    10512    568 |     1069 |        0
1327.33/1327.64	c 1327s |      23 |  3391686 |  2681938 |    10512    568 |     1069 |        0
1329.33/1329.66	c 1329s |      23 |  3394935 |  2684538 |    10512    569 |     1069 |        0
1331.43/1331.71	c 1331s |      23 |  3399508 |  2688238 |    10512    569 |     1069 |        0
1333.43/1333.71	c 1333s |      23 |  3404593 |  2692238 |    10512    570 |     1069 |        0
1335.43/1335.75	c 1335s |      23 |  3411047 |  2697138 |    10512    571 |     1069 |        0
1337.53/1337.80	c 1337s |      23 |  3413839 |  2699638 |    10512    571 |     1069 |        0
1339.53/1339.82	c 1339s |      23 |  3417884 |  2702938 |    10512    572 |     1069 |        0
1341.53/1341.85	c 1341s |      23 |  3422953 |  2706838 |    10512    572 |     1069 |        0
1343.52/1343.89	c 1343s |      23 |  3428462 |  2710938 |    10512    573 |     1069 |        0
1345.62/1345.92	c 1345s |      23 |  3433041 |  2714638 |    10512    574 |     1069 |        0
1347.83/1348.16	c 1347s |      23 |  3436809 |  2717738 |    10512    574 |     1069 |        0
1349.83/1350.20	c 1349s |      23 |  3440310 |  2720638 |    10512    575 |     1069 |        0
1351.93/1352.29	c 1352s |      23 |  3444943 |  2724038 |    10512    575 |     1069 |        0
1354.03/1354.30	c 1354s |      23 |  3449759 |  2727338 |    10512    576 |     1069 |        0
1356.03/1356.36	c 1356s |      23 |  3454590 |  2730938 |    10512    577 |     1069 |        0
1358.13/1358.40	c 1358s |      23 |  3458570 |  2734038 |    10512    577 |     1069 |        0
1360.13/1360.42	c 1360s |      23 |  3464524 |  2739138 |    10512    578 |     1069 |        0
1362.12/1362.48	c 1362s |      23 |  3468760 |  2742738 |    10512    579 |     1069 |        0
1364.12/1364.49	c 1364s |      23 |  3473256 |  2746538 |    10512    579 |     1069 |        0
1366.22/1366.51	c 1366s |      23 |  3478459 |  2750938 |    10512    580 |     1069 |        0
1368.32/1368.60	c 1368s |      23 |  3482510 |  2754438 |    10512    581 |     1069 |        0
1370.33/1370.61	c 1370s |      23 |  3487114 |  2758238 |    10512    581 |     1069 |        0
1372.32/1372.63	c 1372s |      23 |  3490996 |  2761738 |    10512    582 |     1069 |        0
1375.62/1375.91	c 1375s |      23 |  3493982 |  2764538 |    10512    582 |     1069 |        0
1377.62/1377.92	c 1377s |      23 |  3499324 |  2768538 |    10512    583 |     1069 |        0
1379.62/1379.92	c 1379s |      23 |  3503806 |  2771938 |    10512    584 |     1069 |        0
1381.61/1381.99	c 1381s |      23 |  3508406 |  2775538 |    10512    584 |     1069 |        0
1383.62/1383.99	c 1383s |      23 |  3512780 |  2778738 |    10512    585 |     1069 |        0
1385.61/1386.00	c 1385s |      23 |  3517386 |  2782438 |    10512    585 |     1069 |        0
1387.71/1388.06	c 1387s |      23 |  3521157 |  2785338 |    10512    586 |     1069 |        0
1389.81/1390.10	c 1389s |      23 |  3526983 |  2789438 |    10512    586 |     1069 |        0
1391.81/1392.13	c 1391s |      23 |  3530489 |  2792338 |    10512    587 |     1069 |        0
1393.81/1394.13	c 1393s |      23 |  3535001 |  2795938 |    10512    588 |     1069 |        0
1395.81/1396.14	c 1395s |      23 |  3539901 |  2800038 |    10512    588 |     1069 |        0
1397.81/1398.16	c 1397s |      23 |  3543654 |  2803238 |    10512    589 |     1069 |        0
1399.91/1400.20	c 1399s |      23 |  3547871 |  2806638 |    10512    589 |     1069 |        0
1401.91/1402.25	c 1402s |      23 |  3552547 |  2810338 |    10512    590 |     1069 |        0
1403.91/1404.25	c 1404s |      23 |  3556380 |  2813338 |    10512    591 |     1069 |        0
1405.91/1406.29	c 1406s |      23 |  3561314 |  2816938 |    10512    591 |     1069 |        0
1407.91/1408.29	c 1408s |      23 |  3565541 |  2820438 |    10512    592 |     1069 |        0
1409.92/1410.30	c 1410s |      23 |  3570175 |  2824038 |    10512    592 |     1069 |        0
1412.01/1412.32	c 1412s |      23 |  3573459 |  2826938 |    10512    593 |     1069 |        0
1414.01/1414.33	c 1414s |      23 |  3577791 |  2830338 |    10512    593 |     1069 |        0
1416.01/1416.36	c 1416s |      23 |  3581286 |  2833338 |    10512    594 |     1069 |        0
1418.01/1418.39	c 1418s |      23 |  3585656 |  2837038 |    10512    595 |     1069 |        0
1420.11/1420.43	c 1420s |      23 |  3589444 |  2840338 |    10512    595 |     1069 |        0
1422.11/1422.45	c 1422s |      23 |  3593701 |  2844138 |    10512    596 |     1069 |        0
1424.10/1424.46	c 1424s |      23 |  3597482 |  2846838 |    10512    596 |     1069 |        0
1426.10/1426.48	c 1426s |      23 |  3602148 |  2850338 |    10512    597 |     1069 |        0
1428.20/1428.53	c 1428s |      23 |  3606450 |  2853538 |    10512    597 |     1069 |        0
1430.30/1430.61	c 1430s |      23 |  3611265 |  2856838 |    10512    598 |     1069 |        0
1432.30/1432.63	c 1432s |      23 |  3615087 |  2860038 |    10512    599 |     1069 |        0
1434.30/1434.66	c 1434s |      23 |  3621167 |  2865438 |    10512    599 |     1069 |        0
1436.30/1436.66	c 1436s |      23 |  3624529 |  2867938 |    10512    600 |     1069 |        0
1438.40/1438.73	c 1438s |      23 |  3629346 |  2871638 |    10512    601 |     1069 |        0
1440.40/1440.77	c 1440s |      23 |  3633874 |  2875238 |    10512    601 |     1069 |        0
1442.49/1442.80	c 1442s |      23 |  3637965 |  2878338 |    10512    602 |     1069 |        0
1444.49/1444.82	c 1444s |      23 |  3642775 |  2881938 |    10512    602 |     1069 |        0
1446.49/1446.82	c 1446s |      23 |  3647145 |  2885438 |    10512    603 |     1069 |        0
1448.50/1448.85	c 1448s |      23 |  3651333 |  2888938 |    10512    603 |     1069 |        0
1450.59/1450.93	c 1450s |      23 |  3655347 |  2892138 |    10512    604 |     1069 |        0
1453.08/1453.45	c 1453s |      23 |  3659110 |  2895138 |    10512    605 |     1069 |        0
1455.09/1455.48	c 1455s |      23 |  3663178 |  2898538 |    10512    605 |     1069 |        0
1457.19/1457.52	c 1457s |      23 |  3668232 |  2902638 |    10512    606 |     1069 |        0
1459.18/1459.56	c 1459s |      23 |  3673339 |  2906538 |    10512    606 |     1069 |        0
1461.28/1461.60	c 1461s |      23 |  3676661 |  2909338 |    10512    607 |     1069 |        0
1463.28/1463.66	c 1463s |      23 |  3680482 |  2912538 |    10512    608 |     1069 |        0
1465.28/1465.69	c 1465s |      23 |  3684330 |  2915638 |    10512    608 |     1069 |        0
1467.38/1467.71	c 1467s |      23 |  3687555 |  2918338 |    10512    608 |     1069 |        0
1469.38/1469.74	c 1469s |      23 |  3690835 |  2921138 |    10512    609 |     1069 |        0
1471.37/1471.75	c 1471s |      23 |  3695167 |  2924738 |    10512    610 |     1069 |        0
1473.47/1473.81	c 1473s |      23 |  3699714 |  2928838 |    10512    610 |     1069 |        0
1475.47/1475.83	c 1475s |      23 |  3702771 |  2931338 |    10512    611 |     1069 |        0
1477.47/1477.88	c 1477s |      23 |  3707695 |  2935338 |    10512    611 |     1069 |        0
1479.57/1479.91	c 1479s |      23 |  3712701 |  2939538 |    10512    612 |     1069 |        0
1481.57/1481.93	c 1481s |      23 |  3716452 |  2942838 |    10512    613 |     1069 |        0
1483.58/1483.97	c 1483s |      23 |  3720616 |  2946538 |    10512    613 |     1069 |        0
1485.57/1485.99	c 1485s |      23 |  3723786 |  2949238 |    10512    614 |     1069 |        0
1487.67/1488.03	c 1487s |      23 |  3728610 |  2953238 |    10512    614 |     1069 |        0
1489.67/1490.04	c 1489s |      23 |  3733317 |  2957138 |    10512    615 |     1069 |        0
1491.77/1492.13	c 1491s |      23 |  3736722 |  2960138 |    10512    616 |     1069 |        0
1493.77/1494.14	c 1493s |      23 |  3742103 |  2965038 |    10512    616 |     1069 |        0
1495.77/1496.15	c 1495s |      23 |  3746359 |  2968738 |    10512    617 |     1069 |        0
1497.77/1498.17	c 1497s |      23 |  3750696 |  2972538 |    10512    618 |     1069 |        0
1499.77/1500.17	c 1499s |      23 |  3755337 |  2976938 |    10512    619 |     1069 |        0
1501.76/1502.19	c 1501s |      23 |  3760128 |  2980838 |    10512    619 |     1069 |        0
1503.86/1504.23	c 1503s |      23 |  3764080 |  2984238 |    10512    620 |     1069 |        0
1505.87/1506.29	c 1506s |      23 |  3767936 |  2987438 |    10512    620 |     1069 |        0
1507.97/1508.33	c 1508s |      23 |  3771821 |  2990838 |    10512    621 |     1069 |        0
1509.97/1510.35	c 1510s |      23 |  3775323 |  2994038 |    10512    621 |     1069 |        0
1513.37/1513.73	c 1513s |      23 |  3776703 |  2995338 |    10512    622 |     1069 |        0
1515.36/1515.75	c 1515s |      23 |  3783008 |  3000238 |    10512    622 |     1069 |        0
1517.36/1517.75	c 1517s |      23 |  3787170 |  3003738 |    10512    623 |     1069 |        0
1519.36/1519.76	c 1519s |      23 |  3792247 |  3007538 |    10512    624 |     1069 |        0
1521.35/1521.77	c 1521s |      23 |  3796258 |  3010638 |    10512    624 |     1069 |        0
1523.35/1523.78	c 1523s |      23 |  3799994 |  3013638 |    10512    625 |     1069 |        0
1525.46/1525.81	c 1525s |      23 |  3804504 |  3017138 |    10512    625 |     1069 |        0
1527.45/1527.82	c 1527s |      23 |  3809245 |  3020638 |    10512    626 |     1069 |        0
1529.46/1529.84	c 1529s |      23 |  3813334 |  3023938 |    10512    627 |     1069 |        0
1531.45/1531.90	c 1531s |      23 |  3818035 |  3027938 |    10512    627 |     1069 |        0
1533.55/1533.94	c 1533s |      23 |  3822189 |  3031438 |    10512    628 |     1069 |        0
1535.55/1535.99	c 1535s |      23 |  3825787 |  3034638 |    10512    628 |     1069 |        0
1537.75/1538.12	c 1537s |      23 |  3828389 |  3036838 |    10512    629 |     1069 |        0
1539.76/1540.15	c 1539s |      23 |  3833182 |  3040538 |    10512    629 |     1069 |        0
1541.75/1542.20	c 1541s |      23 |  3836864 |  3043438 |    10512    630 |     1069 |        0
1543.85/1544.25	c 1544s |      23 |  3840897 |  3046738 |    10512    630 |     1069 |        0
1545.85/1546.27	c 1546s |      23 |  3842857 |  3048338 |    10512    631 |     1069 |        0
1547.85/1548.28	c 1548s |      23 |  3847541 |  3052138 |    10512    631 |     1069 |        0
1549.95/1550.32	c 1550s |      23 |  3851445 |  3055238 |    10512    632 |     1069 |        0
1551.94/1552.39	c 1552s |      23 |  3855305 |  3058438 |    10512    632 |     1069 |        0
1554.05/1554.43	c 1554s |      23 |  3858756 |  3061338 |    10512    633 |     1069 |        0
1556.34/1556.73	c 1556s |      23 |  3862219 |  3064238 |    10512    633 |     1069 |        0
1558.34/1558.76	c 1558s |      23 |  3865055 |  3066338 |    10512    634 |     1069 |        0
1560.34/1560.77	c 1560s |      23 |  3869237 |  3069738 |    10512    634 |     1069 |        0
1562.43/1562.81	c 1562s |      23 |  3872944 |  3072838 |    10512    635 |     1069 |        0
1564.43/1564.83	c 1564s |      23 |  3877156 |  3076138 |    10512    635 |     1069 |        0
1566.43/1566.88	c 1566s |      23 |  3881367 |  3079638 |    10512    636 |     1069 |        0
1568.44/1568.88	c 1568s |      23 |  3884195 |  3081838 |    10512    636 |     1069 |        0
1570.44/1570.90	c 1570s |      23 |  3888154 |  3085138 |    10512    637 |     1069 |        0
1572.53/1572.93	c 1572s |      23 |  3892392 |  3088538 |    10512    638 |     1069 |        0
1574.53/1574.94	c 1574s |      23 |  3896451 |  3091838 |    10512    638 |     1069 |        0
1576.73/1577.19	c 1576s |      23 |  3899792 |  3094438 |    10512    639 |     1069 |        0
1578.83/1579.25	c 1579s |      23 |  3903016 |  3097338 |    10512    639 |     1069 |        0
1580.93/1581.36	c 1581s |      23 |  3906779 |  3100138 |    10512    640 |     1069 |        0
1582.92/1583.36	c 1583s |      23 |  3912466 |  3104238 |    10512    640 |     1069 |        0
1585.02/1585.41	c 1585s |      23 |  3916832 |  3107638 |    10512    641 |     1069 |        0
1587.03/1587.45	c 1587s |      23 |  3921324 |  3111138 |    10512    641 |     1069 |        0
1589.23/1589.65	c 1589s |      23 |  3925582 |  3114638 |    10512    642 |     1069 |        0
1591.22/1591.67	c 1591s |      23 |  3930387 |  3118538 |    10512    643 |     1069 |        0
1593.32/1593.73	c 1593s |      23 |  3935001 |  3122138 |    10512    643 |     1069 |        0
1595.52/1595.91	c 1595s |      23 |  3938642 |  3125238 |    10512    644 |     1069 |        0
1597.52/1597.96	c 1597s |      23 |  3943048 |  3128538 |    10512    644 |     1069 |        0
1599.52/1600.00	c 1599s |      23 |  3947061 |  3131738 |    10512    645 |     1069 |        0
1601.61/1602.02	c 1601s |      23 |  3951060 |  3135038 |    10512    646 |     1069 |        0
1603.71/1604.14	c 1603s |      23 |  3954125 |  3137738 |    10512    646 |     1069 |        0
1605.73/1606.17	c 1605s |      23 |  3957442 |  3140538 |    10512    646 |     1069 |        0
1607.72/1608.20	c 1607s |      23 |  3961728 |  3144238 |    10512    647 |     1069 |        0
1609.92/1610.39	c 1610s |      23 |  3965012 |  3146938 |    10512    648 |     1069 |        0
1612.01/1612.42	c 1612s |      23 |  3969165 |  3150138 |    10512    648 |     1069 |        0
1614.01/1614.45	c 1614s |      23 |  3973370 |  3153138 |    10512    649 |     1069 |        0
1616.01/1616.47	c 1616s |      23 |  3977930 |  3156338 |    10512    649 |     1069 |        0
1618.11/1618.51	c 1618s |      23 |  3982432 |  3159638 |    10512    650 |     1069 |        0
1620.11/1620.56	c 1620s |      23 |  3987081 |  3163138 |    10512    650 |     1069 |        0
1622.21/1622.62	c 1622s |      23 |  3991754 |  3166638 |    10512    651 |     1069 |        0
1624.31/1624.71	c 1624s |      23 |  3995886 |  3170138 |    10512    652 |     1069 |        0
1626.31/1626.74	c 1626s |      23 |  3999820 |  3173138 |    10512    652 |     1069 |        0
1628.31/1628.78	c 1628s |      23 |  4004552 |  3176838 |    10512    653 |     1069 |        0
1630.41/1630.81	c 1630s |      23 |  4009035 |  3180138 |    10512    653 |     1069 |        0
1632.40/1632.83	c 1632s |      23 |  4014393 |  3184038 |    10512    654 |     1069 |        0
1634.40/1634.88	c 1634s |      23 |  4019497 |  3187738 |    10512    655 |     1069 |        0
1636.51/1636.93	c 1636s |      23 |  4024545 |  3191338 |    10512    655 |     1069 |        0
1638.50/1638.96	c 1638s |      23 |  4030131 |  3195138 |    10512    656 |     1069 |        0
1640.50/1640.97	c 1640s |      23 |  4036033 |  3199038 |    10512    656 |     1069 |        0
1642.80/1643.24	c 1643s |      23 |  4038665 |  3201038 |    10512    657 |     1069 |        0
1644.80/1645.28	c 1645s |      23 |  4044184 |  3205138 |    10512    657 |     1069 |        0
1646.90/1647.31	c 1647s |      23 |  4050222 |  3209138 |    10512    658 |     1069 |        0
1649.00/1649.42	c 1649s |      23 |  4054967 |  3212038 |    10512    659 |     1069 |        0
1651.00/1651.46	c 1651s |      23 |  4061625 |  3215638 |    10512    659 |     1069 |        0
1653.00/1653.46	c 1653s |      23 |  4067601 |  3219038 |    10512    660 |     1069 |        0
1654.99/1655.47	c 1655s |      23 |  4073905 |  3222338 |    10512    660 |     1069 |        0
1656.99/1657.48	c 1657s |      23 |  4079852 |  3225738 |    10512    661 |     1069 |        0
1659.09/1659.52	c 1659s |      23 |  4085910 |  3229038 |    10512    662 |     1069 |        0
1661.08/1661.57	c 1661s |      23 |  4093368 |  3232838 |    10512    662 |     1069 |        0
1663.08/1663.59	c 1663s |      23 |  4099791 |  3236138 |    10512    663 |     1069 |        0
1665.18/1665.61	c 1665s |      23 |  4105839 |  3239738 |    10512    663 |     1069 |        0
1667.20/1667.65	c 1667s |      23 |  4108260 |  3241738 |    10512    664 |     1069 |        0
1669.19/1669.66	c 1669s |      23 |  4113054 |  3245138 |    10512    664 |     1069 |        0
1671.29/1671.70	c 1671s |      23 |  4118528 |  3248938 |    10512    665 |     1069 |        0
1673.28/1673.73	c 1673s |      23 |  4123478 |  3252438 |    10512    666 |     1069 |        0
1675.28/1675.78	c 1675s |      23 |  4128797 |  3256438 |    10512    666 |     1069 |        0
1677.28/1677.79	c 1677s |      23 |  4133056 |  3259838 |    10512    667 |     1069 |        0
1679.39/1679.81	c 1679s |      23 |  4136829 |  3262838 |    10512    667 |     1069 |        0
1681.38/1681.82	c 1681s |      23 |  4141392 |  3266538 |    10512    668 |     1069 |        0
1683.38/1683.87	c 1683s |      23 |  4147227 |  3270538 |    10512    669 |     1069 |        0
1685.48/1685.90	c 1685s |      23 |  4153800 |  3274338 |    10512    669 |     1069 |        0
1687.58/1688.06	c 1687s |      23 |  4159996 |  3277638 |    10512    670 |     1069 |        0
1689.58/1690.09	c 1689s |      23 |  4165893 |  3281138 |    10512    670 |     1069 |        0
1691.68/1692.11	c 1691s |      23 |  4169093 |  3283538 |    10512    671 |     1069 |        0
1693.68/1694.14	c 1693s |      23 |  4173043 |  3286438 |    10512    671 |     1069 |        0
1695.67/1696.18	c 1695s |      23 |  4178108 |  3290238 |    10512    672 |     1069 |        0
1697.77/1698.20	c 1697s |      23 |  4182902 |  3294038 |    10512    673 |     1069 |        0
1699.77/1700.21	c 1699s |      23 |  4188418 |  3298038 |    10512    673 |     1069 |        0
1701.77/1702.24	c 1701s |      23 |  4194924 |  3301438 |    10512    674 |     1069 |        0
1703.87/1704.30	c 1704s |      23 |  4200937 |  3304838 |    10512    675 |     1069 |        0
1705.87/1706.34	c 1706s |      23 |  4207249 |  3308438 |    10512    675 |     1069 |        0
1707.87/1708.34	c 1708s |      23 |  4209855 |  3309838 |    10512    675 |     1069 |        0
1709.87/1710.36	c 1710s |      23 |  4215847 |  3312838 |    10512    676 |     1069 |        0
1711.86/1712.39	c 1712s |      23 |  4223033 |  3316338 |    10512    676 |     1069 |        0
1713.96/1714.43	c 1714s |      23 |  4230182 |  3319838 |    10512    677 |     1069 |        0
1716.06/1716.57	c 1716s |      23 |  4237095 |  3323438 |    10512    678 |     1069 |        0
1718.06/1718.58	c 1718s |      23 |  4242543 |  3326438 |    10512    678 |     1069 |        0
1720.17/1720.62	c 1720s |      23 |  4248823 |  3329938 |    10512    679 |     1069 |        0
1722.17/1722.66	c 1722s |      23 |  4254336 |  3333038 |    10512    679 |     1069 |        0
1724.27/1724.71	c 1724s |      23 |  4260601 |  3336438 |    10512    680 |     1069 |        0
1726.37/1726.82	c 1726s |      23 |  4267121 |  3340038 |    10512    681 |     1069 |        0
1728.37/1728.86	c 1728s |      23 |  4273898 |  3343938 |    10512    681 |     1069 |        0
1730.47/1730.90	c 1730s |      23 |  4280395 |  3347538 |    10512    682 |     1069 |        0
1732.47/1732.93	c 1732s |      23 |  4286731 |  3351238 |    10512    682 |     1069 |        0
1734.47/1734.95	c 1734s |      23 |  4293177 |  3354938 |    11564    683 |     1069 |        0
1736.47/1737.00	c 1736s |      23 |  4297817 |  3358038 |    11564    683 |     1069 |        0
1738.57/1739.09	c 1738s |      23 |  4301261 |  3361038 |    11564    684 |     1069 |        0
1740.67/1741.10	c 1740s |      23 |  4306238 |  3364838 |    11564    684 |     1069 |        0
1742.66/1743.16	c 1742s |      23 |  4310099 |  3367938 |    11564    685 |     1069 |        0
1744.66/1745.20	c 1744s |      23 |  4313685 |  3371038 |    11564    685 |     1069 |        0
1746.76/1747.23	c 1746s |      23 |  4317288 |  3374138 |    11564    686 |     1069 |        0
1748.76/1749.23	c 1748s |      24 |  4320952 |  3376662 |    11564    686 |     1069 |        0
1750.76/1751.26	c 1751s |      24 |  4323656 |  3378362 |    11564    687 |     1069 |        0
1752.86/1753.30	c 1753s |      24 |  4327910 |  3381562 |    11564    687 |     1070 |        0
1754.86/1755.32	c 1755s |      24 |  4330764 |  3384362 |    11564    688 |     1070 |        0
1756.96/1757.40	c 1757s |      24 |  4338578 |  3390762 |    11564    689 |     1070 |        0
1758.95/1759.44	c 1759s |      24 |  4342681 |  3394562 |    11564    689 |     1070 |        0
1760.95/1761.47	c 1761s |      24 |  4347229 |  3398762 |    11564    690 |     1070 |        0
1762.96/1763.49	c 1763s |      24 |  4353100 |  3403962 |    11564    691 |     1070 |        0
1765.06/1765.52	c 1765s |      24 |  4357692 |  3408162 |    11564    691 |     1070 |        0
1767.05/1767.53	c 1767s |      24 |  4361815 |  3411862 |    11564    692 |     1070 |        0
1769.05/1769.57	c 1769s |      24 |  4366425 |  3415962 |    11564    692 |     1070 |        0
1771.05/1771.57	c 1771s |      24 |  4371087 |  3420162 |    11564    693 |     1070 |        0
1773.05/1773.59	c 1773s |      24 |  4374975 |  3423662 |    11564    694 |     1070 |        0
1775.15/1775.63	c 1775s |      24 |  4380017 |  3428362 |    11564    694 |     1070 |        0
1777.15/1777.66	c 1777s |      24 |  4384243 |  3432162 |    11564    695 |     1070 |        0
1779.15/1779.68	c 1779s |      24 |  4389053 |  3436462 |    11564    696 |     1070 |        0
1781.25/1781.71	c 1781s |      24 |  4393672 |  3440562 |    11564    696 |     1070 |        0
1783.25/1783.74	c 1783s |      24 |  4398245 |  3444762 |    11564    697 |     1070 |        0
1785.24/1785.77	c 1785s |      24 |  4401987 |  3448162 |    11564    698 |     1070 |        0
1787.24/1787.77	c 1787s |      24 |  4406336 |  3452162 |    11564    698 |     1070 |        0
1789.25/1789.80	c 1789s |      24 |  4409623 |  3455362 |    11564    699 |     1070 |        0
1791.35/1791.81	c 1791s |      24 |  4413149 |  3458562 |    11564    699 |     1070 |        0
1793.35/1793.82	c 1793s |      24 |  4415837 |  3461162 |    11564    700 |     1070 |        0
1795.35/1795.83	c 1795s |      24 |  4419747 |  3464962 |    11564    700 |     1070 |        0
1797.55/1798.09	c 1797s |      24 |  4422000 |  3467162 |    11564    701 |     1070 |        0
1799.65/1800.13	c 1799s |      24 |  4426428 |  3471262 |    11564    701 |     1070 |        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-4101177-1466221000/watcher-4101177-1466221000 -o /tmp/evaluation-result-4101177-1466221000/solver-4101177-1466221000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101177-1466221000.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.24 2.25 2/179 1397
/proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=443836 CPUtime=0 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 1606 0 0 0 0 0 0 0 20 0 4 0 24146581 454488064 1967 33554432000 4194304 16246674 140736162974800 140736162974224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 111727 1977 441 2943 0 108621 0
[pid=1397/tid=1398] ppid=1394 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 720826368 2980 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 726069248 3001 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 730263552 3017 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.24 2.24 2.25 2/179 1397
/proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 33645 0 0 0 5 4 0 0 20 0 4 0 24146581 1247350784 33998 33554432000 4194304 16246674 140736162974800 140736162974224 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 304529 34009 656 2943 0 301423 0
[pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34018 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34028 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 34037 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.24 2.24 2.25 2/179 1397
/proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 65153 0 0 0 10 9 0 0 20 0 4 0 24146581 1247350784 65505 33554432000 4194304 16246674 140736162974800 140736162974224 12449130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 304529 65520 657 2943 0 301423 0
[pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65530 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65539 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 65548 33554432000 4194304 16246674 140736162974800 140498771631280 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.300419 s]
/proc/loadavg: 2.24 2.24 2.25 2/179 1397
/proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 82428 0 0 0 17 12 0 0 20 0 4 0 24146581 1247350784 82777 33554432000 4194304 16246674 140736162974800 140736162974224 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 304529 82783 759 2943 0 301423 0
[pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82786 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82790 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 82794 33554432000 4194304 16246674 140736162974800 140498771631280 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.700332 s]
/proc/loadavg: 2.24 2.24 2.25 2/179 1397
/proc/meminfo: memFree=29012076/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 120976 0 0 0 51 17 0 0 20 0 4 0 24146581 1247350784 121326 33554432000 4194304 16246674 140736162974800 140736162974224 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 304529 121332 759 2943 0 301423 0
[pid=1397/tid=1398] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121334 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121336 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24146581 1247350784 121339 33554432000 4194304 16246674 140736162974800 140498771631280 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.5004 s]
/proc/loadavg: 2.24 2.24 2.25 3/183 1402
/proc/meminfo: memFree=28364296/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1225284 CPUtime=1.49 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 161967 0 0 0 126 23 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140736162974112 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 306321 162293 828 2943 0 303215 0
[pid=1397/tid=1398] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1225284 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1254690816 162293 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1225284

[startup+3.10039 s]
/proc/loadavg: 2.24 2.24 2.25 3/183 1402
/proc/meminfo: memFree=28309364/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1285700 CPUtime=3.09 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 262321 0 0 0 270 39 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140736162956672 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 321425 262647 830 2943 0 318319 0
[pid=1397/tid=1398] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1316556800 262647 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1285700

[startup+6.30039 s]
/proc/loadavg: 2.22 2.24 2.24 4/183 1402
/proc/meminfo: memFree=27929892/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1317444 CPUtime=6.29 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 270432 0 0 0 589 40 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140736162956672 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 329361 270758 831 2943 0 326255 0
[pid=1397/tid=1398] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270758 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.29 2.25 2.25 3/183 1402
/proc/meminfo: memFree=27929412/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 270433 0 0 0 1228 41 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140736162956672 5824017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 329361 270759 832 2943 0 326255 0
[pid=1397/tid=1398] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1349062656 270759 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 1402
/proc/meminfo: memFree=27922860/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1323588 CPUtime=25.49 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 271969 0 0 0 2508 41 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140736162956672 5600476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 330897 272295 832 2943 0 327791 0
[pid=1397/tid=1398] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1355354112 272295 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1323588

[startup+51.1005 s]
/proc/loadavg: 2.15 2.22 2.24 4/183 1402
/proc/meminfo: memFree=27919620/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 272738 0 0 0 5067 41 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140736162956672 5662756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 331665 273064 833 2943 0 328559 0
[pid=1397/tid=1398] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1358499840 273064 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1326660

[startup+102.3 s]
/proc/loadavg: 2.35 2.26 2.25 3/183 1403
/proc/meminfo: memFree=27915928/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1329732 CPUtime=102.28 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 273506 0 0 0 10186 42 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140736162956672 6021620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 332433 273832 833 2943 0 329327 0
[pid=1397/tid=1398] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1361645568 273832 33554432000 4194304 16246674 140736162974800 140498771631280 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) 1329732


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

/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1370692

[startup+1362.3 s]
/proc/loadavg: 2.29 2.24 2.25 4/183 1435
/proc/meminfo: memFree=27660352/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1362.02 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283878 0 0 0 136138 64 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1370692

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.24 3/184 1447
/proc/meminfo: memFree=27660720/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1422.01 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283899 0 0 0 142136 65 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1370692

[startup+1482.3 s]
/proc/loadavg: 2.21 2.21 2.24 3/184 1473
/proc/meminfo: memFree=27660068/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1481.97 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283933 0 0 0 148132 65 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5677589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1370692

[startup+1542.31 s]
/proc/loadavg: 2.17 2.20 2.23 4/183 1523
/proc/meminfo: memFree=28362196/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1541.96 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 283972 0 0 0 154129 67 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1370692

[startup+1602.3 s]
/proc/loadavg: 2.15 2.19 2.22 3/183 1524
/proc/meminfo: memFree=28354928/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1601.91 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284015 0 0 0 160123 68 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1370692

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.21 3/183 1525
/proc/meminfo: memFree=28354344/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1661.88 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284051 0 0 0 166118 70 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5522925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1370692

[startup+1722.3 s]
/proc/loadavg: 2.05 2.14 2.19 4/183 1526
/proc/meminfo: memFree=28350000/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1721.87 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284080 0 0 0 172115 72 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5600464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.12 2.15 2.19 3/183 1529
/proc/meminfo: memFree=28349792/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1781.85 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284091 0 0 0 178113 72 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5600068 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1529
/proc/meminfo: memFree=28350032/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1800.05 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284097 0 0 0 179932 73 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1370692

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.19 3/183 1529
/proc/meminfo: memFree=28350032/32872528 swapFree=1200228/1314692
[pid=1397] ppid=1394 vsize=1370692 CPUtime=1800.05 cores=0,2,4,6
/proc/1397/stat : 1397 (toysat) R 1394 1397 31224 0 -1 4202496 284097 0 0 0 179932 73 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140736162956672 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1397/statm: 342673 284329 833 2943 0 339567 0
[pid=1397/tid=1398] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1398/stat : 1398 (toysat) S 1394 1397 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498864942320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1397/tid=1399] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1399/stat : 1399 (toysat) S 1394 1397 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498782104816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1397/tid=1401] ppid=1394 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/1397/task/1401/stat : 1401 (toysat) S 1394 1397 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24146581 1403588608 284329 33554432000 4194304 16246674 140736162974800 140498771631280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1370692

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.731888
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.731888
maximum resident set size= 1137316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284097
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= 362
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53431 second user time and 6.98594 second system time

The end

Begin job on node131 at 2016-06-18 05:36:41
IDJOB=4101177
IDBENCH=1710
IDSOLVER=2542
FILE ID=node131/4101177-1466221000
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101177-1466221000/watcher-4101177-1466221000 -o /tmp/evaluation-result-4101177-1466221000/solver-4101177-1466221000 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101177-1466221000.opb

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

MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2
RANDOM SEED=1117084047

node131.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.752
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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:        29012596 kB
Buffers:          107304 kB
Cached:           147136 kB
SwapCached:         1508 kB
Active:          1665868 kB
Inactive:         143360 kB
Active(anon):    1554416 kB
Inactive(anon):     2680 kB
Active(file):     111452 kB
Inactive(file):   140680 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2869140 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             601760 kB
SReclaimable:      45640 kB
SUnreclaim:       556120 kB
KernelStack:        1456 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3009688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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= 71672 MiB
End job on node131 at 2016-06-18 06:06:41