0.00/0.00	c 2016-06-19T15:10:03+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","--wbo","--search=bcd2","HOME/instance-4109142-1466341803.wbo"]
0.00/0.01	c use --random-gen="597533719 1146616282 3077500341 3811025072 1434458348 2737012999 4247203042 960834500 1118706825 2235392366 2186361892 156406706 4038650253 2209954387 3108730901 3061272242 580803767 2055628547 2499962123 1711044451 788895089 289603746 2762349062 1944874349 3592290163 318169660 3573969191 2931586524 2036213172 3679620972 3250188606 3531178442 893401263 1496828181 2047181643 1664953425 2853397500 1668537635 3999131371 2606655186 3796715653 1797125111 329222228 3040698440 4222568866 703343270 554227895 2931094879 1797836191 1119086866 496430339 707678430 1664182245 2173636510 2481918436 1215166998 1351560617 1324208128 4047648730 3103793717 2132026851 4063649520 1438066329 3919528005 2728545543 2289526783 1484055187 1870610147 3148420454 4128380808 4079695227 3087454684 48552746 1289102191 17593850 2848551367 1874664794 1274848 3472601380 3013550988 2408359334 3643215831 908818633 2067214363 1409718700 3276799968 1232930433 1287033906 2551402321 4187237002 640462549 975862476 1082328319 3927543965 56190224 744494076 3498878519 1323043304 3998297718 3071507450 1742254206 623070860 757423561 3921311297 2385958100 1478955754 2466212407 474268247 3439508839 4247844557 131162676 518681147 3928378322 1726378351 507636408 3547300300 3660817325 2997622084 818004638 2798157130 164070237 1775173038 2581166071 2227043610 3539655984 633189136 566122307 2674648632 1707989403 2188567412 3510844915 3321933215 2064487290 520719570 754672281 3212952724 4166149100 4035285700 673065573 2992571828 2768198290 2661530808 2318135135 2532803768 275095939 3205577283 23522453 1930392175 3165103709 2471586686 2194855823 3746544982 3053903446 687751186 3685601678 122709751 2936110777 746108592 2874037016 3494953292 593552310 500446599 3100892512 1929520790 1290459672 716645843 2416424536 2023125612 3750281083 374423440 2536774555 3878440664 2584983128 1090385736 2262552442 1229943467 2459375257 3352592498 2580598243 2624996984 1535313487 2302233695 4062600868 819119192 3247679563 2762492535 3245555735 2214689668 2026111294 3794416897 2530923111 1356456288 3297519158 1997655528 4157097463 56051894 1154910294 2442763338 4134822261 1511393367 4111912100 917063556 2565765397 2697745861 3412091977 328980600 2511019058 3681662989 2851094668 3912782336 990959743 2379397614 2617958746 864637479 1206596569 1173724097 3292173446 3273542624 883975344 2037280695 4144808622 1673964088 1411301170 71883531 3326391880 1892624444 1809666612 3406002944 3738461943 687909710 3875431659 3563171628 594665869 1652292425 1348134591 3562695093 624775020 2401462372 1239049367 1419084181 2098950148 905579336 3762201230 2735496248 3805040508 1031715131 290093461 2062610024 4266821381 1596687226 1779915582 2294293544 1084084469 493792264 4236664002 4070291180 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1000
0.00/0.05	c #constraints 90
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      376      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      175 |      100 |      376      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      729 |      101 |      414      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.024s
0.00/0.08	c #wall_clock_time = 0.024s
0.00/0.08	c #decision = 729
0.00/0.08	c #random_decision = 3
0.00/0.08	c #conflict = 101
0.00/0.08	c #restart = 1
0.00/0.08	o 785
0.00/0.08	c BCD2: updating upper bound: 1922 -> 784
0.00/0.08	c BCD2: 0 <= obj <= 784
0.00/0.08	c BCD2: #cores=0, #unrelaxed=38, #relaxed=0, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      414      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      313 |      100 |      414      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |      790 |      250 |      456      0 |        0 |        0
0.19/0.25	c  0.2s |       3 |     1509 |      475 |      502      0 |        0 |        0
0.39/0.40	c  0.3s |       4 |     2434 |      813 |      553      1 |        0 |        0
0.59/0.67	c  0.6s |       5 |     3354 |     1320 |      609      2 |        0 |        0
1.10/1.15	c  1.1s |       6 |     4472 |     2081 |      670      4 |        0 |        0
1.79/1.81	c  1.7s |       7 |     6320 |     3223 |      738      5 |        0 |        0
2.49/2.52	c  2.4s |       8 |     8695 |     4936 |      812      8 |        0 |        0
3.69/3.70	c  3.6s |       9 |    12209 |     7506 |      894     12 |        0 |        0
4.99/5.00	c  4.9s |      10 |    16844 |    11361 |      984     19 |        0 |        0
6.99/7.03	c  7.0s |      10 |    22078 |    15461 |      984     25 |        0 |        0
7.99/8.00	c  7.9s |      11 |    23995 |    17144 |     1083     27 |        0 |        0
10.00/10.03	c 10.0s |      11 |    29711 |    22044 |     1083     35 |        0 |        0
11.29/11.33	c 11.2s |      12 |    34054 |    25819 |     1192     40 |        0 |        0
13.30/13.38	c 13.3s |      12 |    38370 |    29219 |     1192     44 |        0 |        0
15.40/15.42	c 15.3s |      12 |    42138 |    32519 |     1192     48 |        0 |        0
17.39/17.44	c 17.4s |      12 |    46050 |    36019 |     1192     53 |        0 |        0
18.99/19.01	c 18.9s |      13 |    49241 |    38832 |     1312     56 |        0 |        0
20.99/21.07	c 21.0s |      13 |    54287 |    42132 |     1312     60 |        0 |        0
22.99/23.09	c 23.0s |      13 |    57632 |    44932 |     1312     63 |        0 |        0
25.09/25.16	c 25.1s |      13 |    60623 |    47532 |     1312     66 |        0 |        0
27.09/27.19	c 27.1s |      13 |    63865 |    50332 |     1312     69 |        0 |        0
29.18/29.26	c 29.2s |      13 |    67225 |    53332 |     1312     72 |        0 |        0
31.18/31.29	c 31.2s |      13 |    70019 |    55832 |     1312     75 |        0 |        0
33.18/33.29	c 33.2s |      14 |    72860 |    58352 |     1444     78 |        0 |        0
35.18/35.29	c 35.2s |      14 |    77503 |    62252 |     1444     83 |        0 |        0
37.28/37.35	c 37.3s |      14 |    82238 |    66452 |     1444     87 |        0 |        0
39.38/39.40	c 39.3s |      14 |    87132 |    70752 |     1444     93 |        0 |        0
41.37/41.42	c 41.3s |      14 |    93639 |    76552 |     1444     99 |        0 |        0
43.37/43.48	c 43.4s |      14 |    99266 |    81652 |     1444    105 |        0 |        0
45.37/45.48	c 45.4s |      14 |   104608 |    86552 |     1444    111 |        0 |        0
45.87/45.92	c 45.8s |      15 |   105794 |    87632 |     1589    112 |        0 |        0
47.87/47.94	c 47.9s |      15 |   111081 |    91732 |     1589    116 |        0 |        0
49.87/49.95	c 49.9s |      15 |   115085 |    95332 |     1589    120 |        0 |        0
51.87/51.98	c 51.9s |      15 |   118892 |    98832 |     1589    123 |        0 |        0
53.98/54.06	c 54.0s |      15 |   122647 |   102232 |     1589    127 |        0 |        0
56.08/56.13	c 56.0s |      15 |   126281 |   105532 |     1589    130 |        0 |        0
58.07/58.17	c 58.1s |      15 |   130043 |   108932 |     1589    133 |        0 |        0
60.17/60.21	c 60.1s |      15 |   134067 |   112432 |     1589    137 |        0 |        0
62.17/62.24	c 62.2s |      15 |   137881 |   115832 |     1589    140 |        0 |        0
64.17/64.26	c 64.2s |      15 |   141836 |   119332 |     1589    143 |        0 |        0
66.17/66.29	c 66.2s |      15 |   145807 |   122832 |     1589    147 |        0 |        0
68.28/68.33	c 68.2s |      15 |   149609 |   126232 |     1589    150 |        0 |        0
70.27/70.35	c 70.3s |      15 |   152945 |   129232 |     1589    153 |        0 |        0
71.58/71.67	c 71.6s |      16 |   155537 |   131552 |     1748    155 |        0 |        0
73.68/73.72	c 73.6s |      16 |   160624 |   135552 |     1748    159 |        0 |        0
75.68/75.73	c 75.6s |      16 |   164403 |   138952 |     1748    162 |        0 |        0
77.68/77.77	c 77.7s |      16 |   168332 |   142452 |     1748    165 |        0 |        0
79.77/79.80	c 79.7s |      16 |   172389 |   146052 |     1748    168 |        0 |        0
81.77/81.81	c 81.7s |      16 |   176291 |   149552 |     1748    172 |        0 |        0
83.77/83.88	c 83.8s |      16 |   179679 |   152652 |     1748    174 |        0 |        0
85.88/85.91	c 85.8s |      16 |   183273 |   155852 |     1748    177 |        0 |        0
87.87/87.91	c 87.8s |      16 |   186980 |   159152 |     1748    180 |        0 |        0
89.87/89.96	c 89.9s |      16 |   190759 |   162352 |     1748    183 |        0 |        0
91.87/91.99	c 91.9s |      16 |   193841 |   165052 |     1748    186 |        0 |        0
93.97/94.02	c 93.9s |      16 |   196943 |   167852 |     1748    188 |        0 |        0
95.97/96.03	c 96.0s |      16 |   200315 |   170852 |     1748    191 |        0 |        0
97.98/98.08	c 98.0s |      16 |   203793 |   173952 |     1748    194 |        0 |        0
99.97/100.10	c  100s |      16 |   207049 |   176852 |     1748    196 |        0 |        0
102.07/102.13	c  102s |      16 |   210407 |   179852 |     1748    199 |        0 |        0
104.07/104.16	c  104s |      16 |   213876 |   183052 |     1748    202 |        0 |        0
106.17/106.21	c  106s |      16 |   217556 |   186252 |     1748    205 |        0 |        0
108.17/108.27	c  108s |      16 |   221049 |   189352 |     1748    208 |        0 |        0
110.17/110.27	c  110s |      16 |   224300 |   192252 |     1748    210 |        0 |        0
112.18/112.30	c  112s |      16 |   227830 |   195352 |     1748    213 |        0 |        0
113.67/113.75	c  113s |      17 |   230209 |   197432 |     1923    215 |        0 |        0
115.67/115.76	c  115s |      17 |   234813 |   200932 |     1923    218 |        0 |        0
117.67/117.77	c  117s |      17 |   238188 |   204032 |     1923    220 |        0 |        0
119.77/119.80	c  119s |      17 |   241506 |   207032 |     1923    223 |        0 |        0
121.77/121.86	c  121s |      17 |   244615 |   209832 |     1923    225 |        0 |        0
123.77/123.87	c  123s |      17 |   247827 |   212732 |     1923    228 |        0 |        0
125.87/125.94	c  125s |      17 |   251011 |   215632 |     1923    230 |        0 |        0
127.87/127.97	c  127s |      17 |   254167 |   218432 |     1923    233 |        0 |        0
129.87/129.98	c  129s |      17 |   257101 |   221132 |     1923    235 |        0 |        0
131.97/132.02	c  131s |      17 |   259982 |   223732 |     1923    237 |        0 |        0
133.96/134.06	c  133s |      17 |   262860 |   226332 |     1923    239 |        0 |        0
136.06/136.10	c  136s |      17 |   265839 |   229032 |     1923    242 |        0 |        0
138.06/138.15	c  138s |      17 |   268701 |   231632 |     1923    244 |        0 |        0
140.06/140.17	c  140s |      17 |   271640 |   234232 |     1923    246 |        0 |        0
142.06/142.17	c  142s |      17 |   274935 |   237132 |     1923    248 |        0 |        0
144.17/144.23	c  144s |      17 |   278044 |   239932 |     1923    251 |        0 |        0
146.16/146.25	c  146s |      17 |   281510 |   243032 |     1923    253 |        0 |        0
148.16/148.25	c  148s |      17 |   284795 |   245932 |     1923    256 |        0 |        0
150.16/150.26	c  150s |      17 |   287678 |   248532 |     1923    258 |        0 |        0
152.16/152.29	c  152s |      17 |   290590 |   251132 |     1923    260 |        0 |        0
154.26/154.37	c  154s |      17 |   293436 |   253732 |     1923    262 |        0 |        0
156.27/156.38	c  156s |      17 |   296327 |   256332 |     1923    265 |        0 |        0
158.37/158.41	c  158s |      17 |   299210 |   258932 |     1923    267 |        0 |        0
160.36/160.43	c  160s |      17 |   302099 |   261532 |     1923    269 |        0 |        0
162.36/162.43	c  162s |      17 |   304851 |   264032 |     1923    271 |        0 |        0
164.36/164.47	c  164s |      17 |   307699 |   266632 |     1923    273 |        0 |        0
166.46/166.53	c  166s |      17 |   310452 |   269032 |     1923    275 |        0 |        0
168.46/168.56	c  168s |      17 |   313173 |   271432 |     1923    277 |        0 |        0
170.56/170.63	c  170s |      17 |   315956 |   273932 |     1923    279 |        0 |        0
172.55/172.64	c  172s |      17 |   318561 |   276332 |     1923    281 |        0 |        0
174.65/174.73	c  174s |      17 |   320755 |   278332 |     1923    283 |        0 |        0
176.65/176.78	c  176s |      17 |   323058 |   280432 |     1923    285 |        0 |        0
178.75/178.83	c  178s |      17 |   325580 |   282632 |     1923    287 |        0 |        0
180.75/180.87	c  180s |      17 |   328181 |   285032 |     1923    289 |        0 |        0
182.85/182.91	c  182s |      17 |   330767 |   287432 |     1923    291 |        0 |        0
184.86/184.98	c  184s |      17 |   333515 |   289932 |     1923    293 |        0 |        0
186.96/187.05	c  186s |      17 |   336241 |   292432 |     1923    295 |        0 |        0
189.05/189.13	c  189s |      17 |   339114 |   295032 |     2116    297 |        0 |        0
189.95/190.08	c  189s |      18 |   340459 |   296252 |     2116    298 |        0 |        0
192.05/192.12	c  192s |      18 |   345203 |   299952 |     2116    301 |        0 |        0
194.05/194.17	c  194s |      18 |   348685 |   302952 |     2116    303 |        0 |        0
196.15/196.22	c  196s |      18 |   351906 |   305752 |     2116    305 |        0 |        0
198.15/198.28	c  198s |      18 |   355087 |   308552 |     2116    308 |        0 |        0
200.26/200.36	c  200s |      18 |   358110 |   311152 |     2116    310 |        0 |        0
202.36/202.41	c  202s |      18 |   360966 |   313552 |     2116    311 |        0 |        0
204.35/204.46	c  204s |      18 |   363716 |   315952 |     2116    313 |        0 |        0
206.45/206.51	c  206s |      18 |   366537 |   318452 |     2116    315 |        0 |        0
208.45/208.56	c  208s |      18 |   369403 |   320752 |     2116    317 |        0 |        0
210.55/210.61	c  210s |      18 |   372115 |   323152 |     2116    319 |        0 |        0
212.55/212.69	c  212s |      18 |   374857 |   325552 |     2116    321 |        0 |        0
214.65/214.72	c  214s |      18 |   377543 |   327852 |     2116    323 |        0 |        0
216.65/216.77	c  216s |      18 |   380396 |   330352 |     2116    325 |        0 |        0
218.65/218.78	c  218s |      18 |   383213 |   332752 |     2116    326 |        0 |        0
220.75/220.80	c  220s |      18 |   385933 |   335152 |     2116    328 |        0 |        0
222.75/222.83	c  222s |      18 |   388521 |   337452 |     2116    330 |        0 |        0
224.75/224.89	c  224s |      18 |   391572 |   340152 |     2116    332 |        0 |        0
226.85/226.92	c  226s |      18 |   394695 |   342952 |     2116    334 |        0 |        0
228.86/228.97	c  228s |      18 |   397590 |   345552 |     2116    336 |        0 |        0
230.96/231.02	c  230s |      18 |   400740 |   348352 |     2116    339 |        0 |        0
232.95/233.07	c  232s |      18 |   403750 |   351052 |     2116    341 |        0 |        0
235.05/235.10	c  235s |      18 |   406285 |   353352 |     2116    342 |        0 |        0
237.05/237.16	c  237s |      18 |   409162 |   355952 |     2116    344 |        0 |        0
239.15/239.20	c  239s |      18 |   411876 |   358352 |     2116    346 |        0 |        0
241.15/241.26	c  241s |      18 |   414932 |   361052 |     2116    348 |        0 |        0
243.25/243.31	c  243s |      18 |   417618 |   363552 |     2116    350 |        0 |        0
245.26/245.32	c  245s |      18 |   420262 |   365952 |     2116    352 |        0 |        0
247.35/247.42	c  247s |      18 |   423043 |   368452 |     2116    354 |        0 |        0
249.35/249.49	c  249s |      18 |   425681 |   370852 |     2116    356 |        0 |        0
251.45/251.52	c  251s |      18 |   428224 |   373152 |     2116    358 |        0 |        0
253.45/253.52	c  253s |      18 |   431082 |   375652 |     2116    360 |        0 |        0
255.45/255.59	c  255s |      18 |   433841 |   378152 |     2116    362 |        0 |        0
257.45/257.60	c  257s |      18 |   436597 |   380652 |     2116    364 |        0 |        0
259.44/259.60	c  259s |      18 |   439256 |   383052 |     2116    366 |        0 |        0
261.54/261.61	c  261s |      18 |   442072 |   385552 |     2116    367 |        0 |        0
263.64/263.71	c  263s |      18 |   444940 |   388152 |     2116    370 |        0 |        0
265.64/265.79	c  265s |      18 |   447919 |   390752 |     2116    372 |        0 |        0
267.64/267.79	c  267s |      18 |   450764 |   393252 |     2116    374 |        0 |        0
269.74/269.86	c  269s |      18 |   453445 |   395652 |     2116    375 |        0 |        0
271.75/271.87	c  271s |      18 |   456165 |   398052 |     2116    377 |        0 |        0
273.74/273.88	c  273s |      18 |   458653 |   400252 |     2116    379 |        0 |        0
275.84/275.93	c  275s |      18 |   461464 |   402752 |     2116    381 |        0 |        0
277.84/277.98	c  277s |      18 |   464143 |   405152 |     2116    383 |        0 |        0
279.94/280.02	c  279s |      18 |   466831 |   407552 |     2116    385 |        0 |        0
281.94/282.08	c  281s |      18 |   469678 |   410052 |     2116    387 |        0 |        0
283.94/284.09	c  284s |      18 |   472216 |   412352 |     2116    388 |        0 |        0
286.04/286.14	c  286s |      18 |   474910 |   414752 |     2116    390 |        0 |        0
288.04/288.14	c  288s |      18 |   477238 |   416852 |     2116    392 |        0 |        0
290.14/290.20	c  290s |      18 |   480011 |   419352 |     2116    394 |        0 |        0
292.14/292.29	c  292s |      18 |   482551 |   421652 |     2116    396 |        0 |        0
294.24/294.32	c  294s |      18 |   484989 |   423852 |     2116    397 |        0 |        0
296.24/296.36	c  296s |      18 |   487411 |   426052 |     2116    399 |        0 |        0
298.24/298.37	c  298s |      18 |   489636 |   428052 |     2116    401 |        0 |        0
300.24/300.38	c  300s |      18 |   491948 |   430152 |     2116    402 |        0 |        0
302.34/302.40	c  302s |      18 |   494105 |   432152 |     2116    404 |        0 |        0
304.33/304.45	c  304s |      18 |   496590 |   434352 |     2116    405 |        0 |        0
306.43/306.53	c  306s |      18 |   499334 |   436852 |     2116    407 |        0 |        0
308.53/308.60	c  308s |      18 |   502081 |   439352 |     2116    409 |        0 |        0
310.53/310.66	c  310s |      18 |   504700 |   441752 |     2328    411 |        0 |        0
312.63/312.71	c  312s |      18 |   507311 |   444052 |     2328    413 |        0 |        0
312.93/313.06	c  312s |      19 |   507798 |   444482 |     2328    413 |        0 |        0
315.03/315.12	c  315s |      19 |   512048 |   447782 |     2328    415 |        0 |        0
317.03/317.12	c  317s |      19 |   515338 |   450682 |     2328    418 |        0 |        0
319.13/319.21	c  319s |      19 |   518423 |   453482 |     2328    420 |        0 |        0
321.14/321.22	c  321s |      19 |   521350 |   456182 |     2328    421 |        0 |        0
323.14/323.24	c  323s |      19 |   524063 |   458682 |     2328    423 |        0 |        0
325.14/325.27	c  325s |      19 |   527131 |   461482 |     2328    425 |        0 |        0
327.14/327.29	c  327s |      19 |   530101 |   464182 |     2328    427 |        0 |        0
329.24/329.31	c  329s |      19 |   532995 |   466882 |     2328    429 |        0 |        0
331.24/331.34	c  331s |      19 |   535938 |   469582 |     2328    431 |        0 |        0
333.24/333.35	c  333s |      19 |   539294 |   472582 |     2328    433 |        0 |        0
335.24/335.36	c  335s |      19 |   542442 |   475382 |     2328    435 |        0 |        0
337.34/337.42	c  337s |      19 |   545188 |   477882 |     2328    437 |        0 |        0
339.34/339.47	c  339s |      19 |   548244 |   480682 |     2328    439 |        0 |        0
341.44/341.52	c  341s |      19 |   551182 |   483382 |     2328    441 |        0 |        0
343.43/343.57	c  343s |      19 |   554391 |   486182 |     2328    443 |        0 |        0
345.53/345.63	c  345s |      19 |   557827 |   489182 |     2328    445 |        0 |        0
347.54/347.67	c  347s |      19 |   561002 |   491982 |     2328    447 |        0 |        0
349.63/349.72	c  349s |      19 |   564172 |   494782 |     2328    449 |        0 |        0
351.63/351.75	c  351s |      19 |   567405 |   497682 |     2328    451 |        0 |        0
353.63/353.77	c  353s |      19 |   570486 |   500382 |     2328    453 |        0 |        0
355.73/355.84	c  355s |      19 |   573854 |   503382 |     2328    455 |        0 |        0
357.73/357.84	c  357s |      19 |   576936 |   506182 |     2328    457 |        0 |        0
359.74/359.89	c  359s |      19 |   579449 |   508482 |     2328    459 |        0 |        0
361.84/361.94	c  361s |      19 |   582519 |   511282 |     2328    461 |        0 |        0
363.83/363.96	c  363s |      19 |   585599 |   514082 |     2328    463 |        0 |        0
365.83/365.97	c  365s |      19 |   588541 |   516682 |     2328    465 |        0 |        0
367.83/367.98	c  367s |      19 |   591541 |   519382 |     2328    467 |        0 |        0
369.93/370.04	c  369s |      19 |   594421 |   521982 |     2328    469 |        0 |        0
372.03/372.10	c  372s |      19 |   597621 |   524782 |     2328    471 |        0 |        0
374.04/374.12	c  374s |      19 |   600413 |   527282 |     2328    473 |        0 |        0
376.03/376.16	c  376s |      19 |   603288 |   529882 |     2328    474 |        0 |        0
378.03/378.18	c  378s |      19 |   605955 |   532282 |     2328    476 |        0 |        0
380.13/380.21	c  380s |      19 |   609224 |   535182 |     2328    478 |        0 |        0
382.13/382.21	c  382s |      19 |   612361 |   537982 |     2328    480 |        0 |        0
384.13/384.28	c  384s |      19 |   615216 |   540582 |     2328    482 |        0 |        0
386.23/386.32	c  386s |      19 |   618000 |   543082 |     2328    484 |        0 |        0
388.23/388.38	c  388s |      19 |   620933 |   545682 |     2328    486 |        0 |        0
390.33/390.44	c  390s |      19 |   623674 |   548182 |     2328    488 |        0 |        0
392.33/392.49	c  392s |      19 |   626108 |   550382 |     2328    489 |        0 |        0
394.43/394.52	c  394s |      19 |   629173 |   553082 |     2328    491 |        0 |        0
396.43/396.57	c  396s |      19 |   632136 |   555782 |     2328    493 |        0 |        0
398.53/398.61	c  398s |      19 |   634981 |   558382 |     2328    495 |        0 |        0
400.63/400.71	c  400s |      19 |   637634 |   560782 |     2328    497 |        0 |        0
402.63/402.77	c  402s |      19 |   640382 |   563282 |     2328    498 |        0 |        0
404.62/404.79	c  404s |      19 |   642863 |   565482 |     2328    500 |        0 |        0
406.72/406.80	c  406s |      19 |   645257 |   567682 |     2328    502 |        0 |        0
408.72/408.82	c  408s |      19 |   647759 |   569982 |     2328    503 |        0 |        0
410.72/410.84	c  410s |      19 |   650261 |   572282 |     2328    505 |        0 |        0
412.72/412.86	c  412s |      19 |   652651 |   574482 |     2328    506 |        0 |        0
414.82/414.95	c  414s |      19 |   654909 |   576582 |     2328    508 |        0 |        0
416.83/416.96	c  416s |      19 |   658111 |   579382 |     2328    510 |        0 |        0
418.92/419.01	c  418s |      19 |   661340 |   582282 |     2328    512 |        0 |        0
420.92/421.04	c  420s |      19 |   664350 |   584982 |     2328    514 |        0 |        0
422.92/423.04	c  422s |      19 |   667439 |   587782 |     2328    516 |        0 |        0
425.02/425.11	c  425s |      19 |   670371 |   590482 |     2328    518 |        0 |        0
427.02/427.17	c  427s |      19 |   673337 |   593182 |     2328    520 |        0 |        0
429.12/429.22	c  429s |      19 |   676137 |   595582 |     2328    522 |        0 |        0
431.13/431.25	c  431s |      19 |   679236 |   598282 |     2328    523 |        0 |        0
433.12/433.27	c  433s |      19 |   682063 |   600882 |     2328    525 |        0 |        0
435.12/435.28	c  435s |      19 |   685099 |   603582 |     2328    527 |        0 |        0
437.12/437.29	c  437s |      19 |   687818 |   606082 |     2328    529 |        0 |        0
439.22/439.31	c  439s |      19 |   690670 |   608682 |     2328    531 |        0 |        0
441.22/441.34	c  441s |      19 |   693468 |   611182 |     2328    533 |        0 |        0
443.22/443.38	c  443s |      19 |   696240 |   613682 |     2328    535 |        0 |        0
445.32/445.45	c  445s |      19 |   698743 |   615982 |     2328    536 |        0 |        0
447.42/447.52	c  447s |      19 |   701844 |   618782 |     2328    538 |        0 |        0
449.41/449.58	c  449s |      19 |   705147 |   621782 |     2328    540 |        0 |        0
451.51/451.63	c  451s |      19 |   707844 |   624282 |     2328    542 |        0 |        0
453.51/453.64	c  453s |      19 |   710683 |   626882 |     2328    544 |        0 |        0
455.51/455.68	c  455s |      19 |   713670 |   629582 |     2328    546 |        0 |        0
457.62/457.74	c  457s |      19 |   716538 |   632182 |     2328    548 |        0 |        0
459.61/459.75	c  459s |      19 |   719304 |   634682 |     2328    550 |        0 |        0
461.61/461.78	c  461s |      19 |   722159 |   637282 |     2328    551 |        0 |        0
463.61/463.79	c  463s |      19 |   725020 |   639882 |     2328    553 |        0 |        0
465.71/465.87	c  465s |      19 |   727830 |   642482 |     2328    555 |        0 |        0
467.81/467.94	c  467s |      19 |   730774 |   645182 |     2328    557 |        0 |        0
469.81/469.98	c  469s |      19 |   733655 |   647782 |     2328    559 |        0 |        0
471.92/472.02	c  471s |      19 |   737396 |   650882 |     2328    561 |        0 |        0
473.91/474.03	c  473s |      19 |   740441 |   653582 |     2328    563 |        0 |        0
475.91/476.06	c  475s |      19 |   743661 |   656382 |     2328    565 |        0 |        0
477.91/478.09	c  478s |      19 |   746431 |   658882 |     2328    567 |        0 |        0
480.01/480.16	c  480s |      19 |   749310 |   661482 |     2328    569 |        0 |        0
482.11/482.23	c  482s |      19 |   752187 |   664082 |     2561    571 |        0 |        0
484.11/484.27	c  484s |      19 |   755029 |   666682 |     2561    572 |        0 |        0
484.21/484.38	c  484s |      20 |   755192 |   666827 |     2561    572 |        0 |        0
486.21/486.38	c  486s |      20 |   759599 |   670327 |     2561    575 |        0 |        0
488.31/488.41	c  488s |      20 |   763078 |   673427 |     2561    577 |        0 |        0
490.31/490.46	c  490s |      20 |   766258 |   676327 |     2561    579 |        0 |        0
492.31/492.49	c  492s |      20 |   769315 |   679127 |     2561    581 |        0 |        0
494.40/494.53	c  494s |      20 |   772261 |   681827 |     2561    582 |        0 |        0
496.40/496.57	c  496s |      20 |   775530 |   684627 |     2561    584 |        0 |        0
498.40/498.58	c  498s |      20 |   778775 |   687427 |     2561    586 |        0 |        0
500.41/500.58	c  500s |      20 |   781982 |   690227 |     2561    588 |        0 |        0
502.50/502.61	c  502s |      20 |   785084 |   693027 |     2561    590 |        0 |        0
504.50/504.63	c  504s |      20 |   787977 |   695627 |     2561    591 |        0 |        0
506.50/506.66	c  506s |      20 |   791103 |   698427 |     2561    593 |        0 |        0
508.60/508.70	c  508s |      20 |   794222 |   701227 |     2561    595 |        0 |        0
510.60/510.71	c  510s |      20 |   797004 |   703727 |     2561    597 |        0 |        0
512.61/512.72	c  512s |      20 |   800277 |   706627 |     2561    599 |        0 |        0
514.60/514.73	c  514s |      20 |   803350 |   709327 |     2561    601 |        0 |        0
516.70/516.80	c  516s |      20 |   806087 |   711827 |     2561    602 |        0 |        0
518.70/518.83	c  518s |      20 |   809167 |   714527 |     2561    604 |        0 |        0
520.70/520.84	c  520s |      20 |   811667 |   716827 |     2561    605 |        0 |        0
522.70/522.90	c  522s |      20 |   814402 |   719327 |     2561    607 |        0 |        0
524.80/524.92	c  524s |      20 |   817572 |   722227 |     2561    609 |        0 |        0
526.81/526.94	c  526s |      20 |   820432 |   724827 |     2561    611 |        0 |        0
528.80/528.96	c  528s |      20 |   823250 |   727427 |     2561    613 |        0 |        0
530.91/531.01	c  530s |      20 |   826557 |   730327 |     2561    614 |        0 |        0
532.91/533.02	c  532s |      20 |   829683 |   733127 |     2561    616 |        0 |        0
534.91/535.03	c  534s |      20 |   832483 |   735627 |     2561    618 |        0 |        0
537.01/537.13	c  537s |      20 |   835062 |   738027 |     2561    620 |        0 |        0
539.01/539.15	c  539s |      20 |   837944 |   740627 |     2561    621 |        0 |        0
541.01/541.20	c  541s |      20 |   840880 |   743327 |     2561    623 |        0 |        0
543.11/543.23	c  543s |      20 |   843744 |   745927 |     2561    625 |        0 |        0
545.11/545.25	c  545s |      20 |   846459 |   748427 |     2561    626 |        0 |        0
547.10/547.28	c  547s |      20 |   849236 |   750927 |     2561    628 |        0 |        0
549.20/549.31	c  549s |      20 |   852195 |   753627 |     2561    630 |        0 |        0
551.20/551.37	c  551s |      20 |   855172 |   756327 |     2561    632 |        0 |        0
553.31/553.41	c  553s |      20 |   857862 |   758827 |     2561    633 |        0 |        0
555.30/555.44	c  555s |      20 |   861204 |   761727 |     2561    635 |        0 |        0
557.30/557.45	c  557s |      20 |   864043 |   764327 |     2561    637 |        0 |        0
559.40/559.52	c  559s |      20 |   866810 |   766827 |     2561    639 |        0 |        0
561.40/561.55	c  561s |      20 |   869680 |   769427 |     2561    640 |        0 |        0
563.40/563.60	c  563s |      20 |   872404 |   771927 |     2561    642 |        0 |        0
565.50/565.65	c  565s |      20 |   875650 |   774827 |     2561    644 |        0 |        0
567.61/567.76	c  567s |      20 |   878378 |   777327 |     2561    646 |        0 |        0
569.60/569.78	c  569s |      20 |   881972 |   780527 |     2561    648 |        0 |        0
571.70/571.83	c  571s |      20 |   885413 |   783627 |     2561    650 |        0 |        0
573.70/573.89	c  573s |      20 |   888378 |   786327 |     2561    651 |        0 |        0
575.80/575.93	c  575s |      20 |   891085 |   788827 |     2561    653 |        0 |        0
577.80/577.99	c  577s |      20 |   894327 |   791627 |     2561    655 |        0 |        0
579.90/580.05	c  579s |      20 |   897242 |   794227 |     2561    657 |        0 |        0
581.90/582.09	c  582s |      20 |   900521 |   797127 |     2561    659 |        0 |        0
584.00/584.13	c  584s |      20 |   903626 |   799927 |     2561    660 |        0 |        0
586.00/586.16	c  586s |      20 |   906704 |   802727 |     2561    662 |        0 |        0
588.10/588.22	c  588s |      20 |   909669 |   805427 |     2561    664 |        0 |        0
590.09/590.25	c  590s |      20 |   912668 |   808127 |     2561    666 |        0 |        0
592.09/592.26	c  592s |      20 |   915373 |   810627 |     2561    668 |        0 |        0
594.09/594.28	c  594s |      20 |   918275 |   813327 |     2561    669 |        0 |        0
596.20/596.30	c  596s |      20 |   920881 |   815727 |     2561    671 |        0 |        0
598.19/598.31	c  598s |      20 |   923379 |   818027 |     2561    672 |        0 |        0
600.19/600.35	c  600s |      20 |   926258 |   820527 |     2561    674 |        0 |        0
602.19/602.37	c  602s |      20 |   928937 |   822927 |     2561    676 |        0 |        0
604.29/604.42	c  604s |      20 |   931486 |   825227 |     2561    677 |        0 |        0
606.39/606.50	c  606s |      20 |   934018 |   827527 |     2561    679 |        0 |        0
608.39/608.51	c  608s |      20 |   936822 |   830027 |     2561    680 |        0 |        0
610.40/610.56	c  610s |      20 |   939463 |   832427 |     2561    682 |        0 |        0
612.39/612.58	c  612s |      20 |   941824 |   834527 |     2561    683 |        0 |        0
614.49/614.60	c  614s |      20 |   944216 |   836627 |     2561    685 |        0 |        0
616.49/616.66	c  616s |      20 |   947345 |   839427 |     2561    687 |        0 |        0
618.59/618.70	c  618s |      20 |   950114 |   841927 |     2561    688 |        0 |        0
620.59/620.72	c  620s |      20 |   952900 |   844427 |     2561    690 |        0 |        0
622.59/622.73	c  622s |      20 |   955415 |   846727 |     2561    691 |        0 |        0
624.69/624.82	c  624s |      20 |   958054 |   849127 |     2561    693 |        0 |        0
626.69/626.85	c  626s |      20 |   960571 |   851427 |     2561    695 |        0 |        0
628.69/628.86	c  628s |      20 |   963170 |   853827 |     2561    696 |        0 |        0
630.79/630.90	c  630s |      20 |   965607 |   855927 |     2561    698 |        0 |        0
632.89/633.00	c  632s |      20 |   969060 |   858827 |     2561    700 |        0 |        0
634.89/635.02	c  634s |      20 |   971754 |   861227 |     2561    701 |        0 |        0
636.89/637.05	c  636s |      20 |   974598 |   863727 |     2561    703 |        0 |        0
638.88/639.06	c  638s |      20 |   977392 |   866227 |     2561    704 |        0 |        0
640.88/641.07	c  640s |      20 |   979953 |   868527 |     2561    706 |        0 |        0
642.88/643.09	c  643s |      20 |   982855 |   871127 |     2561    708 |        0 |        0
644.98/645.15	c  645s |      20 |   985929 |   873927 |     2561    710 |        0 |        0
647.08/647.21	c  647s |      20 |   989028 |   876727 |     2561    711 |        0 |        0
649.08/649.29	c  649s |      20 |   991896 |   879327 |     2561    713 |        0 |        0
651.19/651.35	c  651s |      20 |   994677 |   881727 |     2561    715 |        0 |        0
653.29/653.41	c  653s |      20 |   997371 |   884227 |     2561    716 |        0 |        0
655.28/655.47	c  655s |      20 |  1000015 |   886627 |     2561    718 |        0 |        0
657.38/657.57	c  657s |      20 |  1002704 |   889027 |     2561    720 |        0 |        0
659.38/659.59	c  659s |      20 |  1005816 |   891827 |     2561    721 |        0 |        0
661.48/661.60	c  661s |      20 |  1008467 |   894227 |     2561    723 |        0 |        0
663.48/663.60	c  663s |      20 |  1011020 |   896527 |     2561    724 |        0 |        0
665.49/665.64	c  665s |      20 |  1013435 |   898727 |     2561    726 |        0 |        0
667.48/667.69	c  667s |      20 |  1016392 |   901327 |     2561    728 |        0 |        0
669.58/669.72	c  669s |      20 |  1019289 |   903927 |     2561    729 |        0 |        0
671.58/671.73	c  671s |      20 |  1021808 |   906227 |     2561    731 |        0 |        0
673.58/673.77	c  673s |      20 |  1024736 |   908827 |     2561    733 |        0 |        0
675.68/675.87	c  675s |      20 |  1027490 |   911327 |     2561    734 |        0 |        0
677.68/677.88	c  677s |      20 |  1030324 |   913827 |     2561    736 |        0 |        0
679.78/679.94	c  679s |      20 |  1033288 |   916527 |     2561    738 |        0 |        0
681.78/681.97	c  681s |      20 |  1035989 |   919027 |     2561    739 |        0 |        0
683.78/684.00	c  683s |      20 |  1038587 |   921427 |     2561    741 |        0 |        0
685.88/686.01	c  685s |      20 |  1041028 |   923627 |     2561    742 |        0 |        0
687.87/688.01	c  687s |      20 |  1043639 |   925927 |     2561    744 |        0 |        0
689.97/690.10	c  690s |      20 |  1046208 |   928227 |     2561    745 |        0 |        0
691.97/692.15	c  692s |      20 |  1049401 |   931027 |     2561    747 |        0 |        0
694.08/694.22	c  694s |      20 |  1052085 |   933427 |     2561    749 |        0 |        0
696.07/696.27	c  696s |      20 |  1054497 |   935627 |     2561    750 |        0 |        0
698.06/698.27	c  698s |      20 |  1057142 |   938027 |     2561    752 |        0 |        0
700.06/700.29	c  700s |      20 |  1059571 |   940227 |     2561    753 |        0 |        0
702.16/702.31	c  702s |      20 |  1062007 |   942427 |     2561    755 |        0 |        0
704.16/704.32	c  704s |      20 |  1064460 |   944627 |     2561    756 |        0 |        0
706.17/706.38	c  706s |      20 |  1066918 |   946827 |     2561    758 |        0 |        0
708.27/708.46	c  708s |      20 |  1069455 |   949127 |     2561    759 |        0 |        0
710.36/710.52	c  710s |      20 |  1071819 |   951327 |     2561    761 |        0 |        0
712.36/712.56	c  712s |      20 |  1074288 |   953527 |     2561    762 |        0 |        0
714.46/714.64	c  714s |      20 |  1076611 |   955627 |     2561    764 |        0 |        0
716.46/716.70	c  716s |      20 |  1079201 |   957927 |     2561    765 |        0 |        0
718.55/718.73	c  718s |      20 |  1081391 |   959927 |     2561    766 |        0 |        0
720.65/720.82	c  720s |      20 |  1083643 |   961927 |     2561    768 |        0 |        0
722.66/722.87	c  722s |      20 |  1086002 |   964027 |     2561    769 |        0 |        0
724.76/724.91	c  724s |      20 |  1088771 |   966527 |     2561    771 |        0 |        0
726.75/726.94	c  726s |      20 |  1091539 |   969027 |     2561    772 |        0 |        0
728.75/728.96	c  728s |      20 |  1094407 |   971627 |     2561    774 |        0 |        0
730.85/731.05	c  730s |      20 |  1096963 |   973927 |     2561    776 |        0 |        0
732.85/733.07	c  732s |      20 |  1099489 |   976227 |     2561    777 |        0 |        0
734.95/735.14	c  735s |      20 |  1102164 |   978627 |     2561    779 |        0 |        0
737.04/737.20	c  737s |      20 |  1104840 |   981027 |     2561    780 |        0 |        0
739.05/739.23	c  739s |      20 |  1107916 |   983627 |     2561    782 |        0 |        0
741.04/741.25	c  741s |      20 |  1110539 |   985927 |     2561    784 |        0 |        0
743.14/743.33	c  743s |      20 |  1113226 |   988227 |     2561    785 |        0 |        0
745.14/745.38	c  745s |      20 |  1115780 |   990327 |     2561    787 |        0 |        0
747.24/747.44	c  747s |      20 |  1118158 |   992427 |     2561    788 |        0 |        0
749.24/749.46	c  749s |      20 |  1120449 |   994427 |     2818    789 |        0 |        0
751.25/751.48	c  751s |      20 |  1122969 |   996627 |     2818    790 |        0 |        0
753.35/753.52	c  753s |      20 |  1125174 |   998627 |     2818    792 |        0 |        0
754.94/755.16	c  755s |      21 |  1127078 |  1000345 |     2818    793 |        0 |        0
756.94/757.19	c  757s |      21 |  1131828 |  1003845 |     2818    794 |        0 |        0
758.94/759.19	c  759s |      21 |  1134681 |  1006345 |     2818    796 |        0 |        0
761.04/761.22	c  761s |      21 |  1138147 |  1009245 |     2818    797 |        0 |        0
763.04/763.25	c  763s |      21 |  1141834 |  1012145 |     2818    799 |        0 |        0
765.03/765.29	c  765s |      21 |  1146764 |  1015545 |     2818    801 |        0 |        0
767.13/767.33	c  767s |      21 |  1150062 |  1018445 |     2818    803 |        0 |        0
769.23/769.41	c  769s |      21 |  1153082 |  1021145 |     2818    805 |        0 |        0
771.23/771.45	c  771s |      21 |  1156119 |  1023845 |     2818    806 |        0 |        0
773.24/773.46	c  773s |      21 |  1158784 |  1026245 |     2818    808 |        0 |        0
775.34/775.52	c  775s |      21 |  1161618 |  1028745 |     2818    809 |        0 |        0
777.33/777.56	c  777s |      21 |  1164138 |  1031045 |     2818    811 |        0 |        0
779.43/779.62	c  779s |      21 |  1166353 |  1033045 |     2818    812 |        0 |        0
781.43/781.65	c  781s |      21 |  1168911 |  1035345 |     2818    813 |        0 |        0
783.43/783.68	c  783s |      21 |  1171404 |  1037545 |     2818    814 |        0 |        0
785.53/785.73	c  785s |      21 |  1174652 |  1040345 |     2818    816 |        0 |        0
787.54/787.78	c  787s |      21 |  1177389 |  1042745 |     2818    818 |        0 |        0
789.64/789.82	c  789s |      21 |  1180089 |  1045145 |     2818    819 |        0 |        0
791.63/791.83	c  791s |      21 |  1182573 |  1047345 |     2818    820 |        0 |        0
793.63/793.88	c  793s |      21 |  1185274 |  1049745 |     2818    822 |        0 |        0
795.63/795.89	c  795s |      21 |  1187738 |  1051945 |     2818    823 |        0 |        0
797.72/797.97	c  797s |      21 |  1190191 |  1054145 |     2818    825 |        0 |        0
799.72/799.99	c  799s |      21 |  1192939 |  1056645 |     2818    826 |        0 |        0
801.73/802.00	c  801s |      21 |  1195129 |  1058645 |     2818    827 |        0 |        0
803.82/804.05	c  803s |      21 |  1197187 |  1060545 |     2818    829 |        0 |        0
805.82/806.09	c  806s |      21 |  1199913 |  1062945 |     2818    830 |        0 |        0
807.91/808.15	c  808s |      21 |  1202421 |  1065245 |     2818    831 |        0 |        0
810.01/810.22	c  810s |      21 |  1205266 |  1067745 |     2818    833 |        0 |        0
812.01/812.28	c  812s |      21 |  1208132 |  1070245 |     2818    834 |        0 |        0
814.01/814.29	c  814s |      21 |  1210954 |  1072745 |     2818    836 |        0 |        0
816.12/816.38	c  816s |      21 |  1213845 |  1075345 |     2818    838 |        0 |        0
818.21/818.42	c  818s |      21 |  1216625 |  1077845 |     2818    839 |        0 |        0
820.31/820.54	c  820s |      21 |  1219230 |  1080245 |     2818    841 |        0 |        0
822.41/822.60	c  822s |      21 |  1222124 |  1082845 |     2818    842 |        0 |        0
824.41/824.63	c  824s |      21 |  1224905 |  1085345 |     2818    844 |        0 |        0
826.41/826.63	c  826s |      21 |  1227662 |  1087845 |     2818    845 |        0 |        0
828.40/828.69	c  828s |      21 |  1230326 |  1090245 |     2818    847 |        0 |        0
830.50/830.73	c  830s |      21 |  1232835 |  1092545 |     2818    848 |        0 |        0
832.51/832.74	c  832s |      21 |  1235241 |  1094745 |     2818    849 |        0 |        0
834.60/834.81	c  834s |      21 |  1237525 |  1096845 |     2818    851 |        0 |        0
836.59/836.89	c  836s |      21 |  1240480 |  1099445 |     2818    852 |        0 |        0
838.69/838.91	c  838s |      21 |  1242906 |  1101645 |     2818    854 |        0 |        0
840.69/840.92	c  840s |      21 |  1245303 |  1103845 |     2818    855 |        0 |        0
842.69/842.97	c  842s |      21 |  1247597 |  1105945 |     2818    856 |        0 |        0
844.70/844.97	c  844s |      21 |  1250306 |  1108345 |     2818    858 |        0 |        0
846.80/847.01	c  846s |      21 |  1253153 |  1110845 |     2818    859 |        0 |        0
848.79/849.04	c  848s |      21 |  1255534 |  1113045 |     2818    861 |        0 |        0
850.79/851.07	c  850s |      21 |  1257840 |  1115145 |     2818    862 |        0 |        0
852.79/853.10	c  853s |      21 |  1260305 |  1117345 |     2818    863 |        0 |        0
854.89/855.18	c  855s |      21 |  1262621 |  1119445 |     2818    864 |        0 |        0
856.99/857.27	c  857s |      21 |  1264905 |  1121545 |     2818    866 |        0 |        0
859.09/859.31	c  859s |      21 |  1267239 |  1123645 |     2818    867 |        0 |        0
861.09/861.36	c  861s |      21 |  1269752 |  1125945 |     2818    868 |        0 |        0
863.08/863.37	c  863s |      21 |  1272750 |  1128645 |     2818    870 |        0 |        0
865.18/865.42	c  865s |      21 |  1275284 |  1130945 |     2818    871 |        0 |        0
867.18/867.44	c  867s |      21 |  1277694 |  1133145 |     2818    873 |        0 |        0
869.18/869.48	c  869s |      21 |  1280324 |  1135545 |     2818    874 |        0 |        0
871.28/871.51	c  871s |      21 |  1282750 |  1137745 |     2818    876 |        0 |        0
873.28/873.57	c  873s |      21 |  1285281 |  1140045 |     2818    877 |        0 |        0
875.28/875.60	c  875s |      21 |  1287982 |  1142445 |     2818    878 |        0 |        0
877.37/877.66	c  877s |      21 |  1290790 |  1144945 |     2818    880 |        0 |        0
879.47/879.71	c  879s |      21 |  1293431 |  1147345 |     2818    881 |        0 |        0
881.47/881.76	c  881s |      21 |  1296075 |  1149745 |     2818    883 |        0 |        0
883.57/883.87	c  883s |      21 |  1298472 |  1151945 |     2818    884 |        0 |        0
885.57/885.89	c  885s |      21 |  1300869 |  1154145 |     2818    886 |        0 |        0
887.67/887.96	c  887s |      21 |  1303699 |  1156645 |     2818    887 |        0 |        0
889.67/889.97	c  889s |      21 |  1306112 |  1158845 |     2818    888 |        0 |        0
891.67/891.98	c  891s |      21 |  1308620 |  1161145 |     2818    890 |        0 |        0
893.67/893.99	c  893s |      21 |  1311138 |  1163445 |     2818    891 |        0 |        0
895.77/896.05	c  895s |      21 |  1313649 |  1165745 |     2818    893 |        0 |        0
897.86/898.11	c  898s |      21 |  1316259 |  1168145 |     2818    894 |        0 |        0
899.96/900.22	c  900s |      21 |  1318743 |  1170445 |     2818    896 |        0 |        0
901.96/902.28	c  902s |      21 |  1321236 |  1172745 |     2818    897 |        0 |        0
904.07/904.35	c  904s |      21 |  1324152 |  1175245 |     2818    898 |        0 |        0
906.06/906.40	c  906s |      21 |  1326893 |  1177745 |     2818    900 |        0 |        0
908.15/908.44	c  908s |      21 |  1329494 |  1180145 |     2818    901 |        0 |        0
910.15/910.48	c  910s |      21 |  1332002 |  1182445 |     2818    903 |        0 |        0
912.25/912.51	c  912s |      21 |  1334586 |  1184845 |     2818    904 |        0 |        0
914.25/914.54	c  914s |      21 |  1337109 |  1187145 |     2818    906 |        0 |        0
916.25/916.54	c  916s |      21 |  1339527 |  1189345 |     2818    907 |        0 |        0
918.25/918.59	c  918s |      21 |  1342066 |  1191645 |     2818    908 |        0 |        0
920.35/920.61	c  920s |      21 |  1344291 |  1193645 |     2818    910 |        0 |        0
922.35/922.63	c  922s |      21 |  1346450 |  1195645 |     2818    911 |        0 |        0
924.45/924.72	c  924s |      21 |  1348734 |  1197745 |     2818    912 |        0 |        0
926.55/926.82	c  926s |      21 |  1350913 |  1199745 |     2818    913 |        0 |        0
928.54/928.89	c  928s |      21 |  1352828 |  1201545 |     2818    915 |        0 |        0
930.74/931.00	c  930s |      21 |  1354933 |  1203445 |     2818    916 |        0 |        0
932.74/933.06	c  932s |      21 |  1357731 |  1205745 |     2818    917 |        0 |        0
934.85/935.16	c  935s |      21 |  1360461 |  1207945 |     2818    918 |        0 |        0
936.94/937.21	c  937s |      21 |  1363016 |  1210145 |     2818    920 |        0 |        0
938.94/939.25	c  939s |      21 |  1365164 |  1212045 |     2818    921 |        0 |        0
940.94/941.29	c  941s |      21 |  1367881 |  1214445 |     2818    922 |        0 |        0
943.14/943.40	c  943s |      21 |  1370100 |  1216445 |     2818    924 |        0 |        0
945.14/945.42	c  945s |      21 |  1372832 |  1218845 |     2818    925 |        0 |        0
947.13/947.43	c  947s |      21 |  1374989 |  1220845 |     2818    926 |        0 |        0
949.14/949.48	c  949s |      21 |  1377494 |  1223045 |     2818    928 |        0 |        0
951.24/951.54	c  951s |      21 |  1380137 |  1225345 |     2818    929 |        0 |        0
953.33/953.63	c  953s |      21 |  1382542 |  1227545 |     2818    930 |        0 |        0
955.43/955.70	c  955s |      21 |  1384987 |  1229745 |     2818    932 |        0 |        0
957.43/957.71	c  957s |      21 |  1387031 |  1231645 |     2818    933 |        0 |        0
959.43/959.71	c  959s |      21 |  1389601 |  1233845 |     2818    934 |        0 |        0
961.43/961.73	c  961s |      21 |  1392064 |  1236045 |     2818    936 |        0 |        0
963.53/963.80	c  963s |      21 |  1394123 |  1237945 |     2818    937 |        0 |        0
965.53/965.83	c  965s |      21 |  1396566 |  1240145 |     2818    938 |        0 |        0
967.62/967.91	c  967s |      21 |  1399261 |  1242545 |     2818    940 |        0 |        0
969.62/969.97	c  969s |      21 |  1402019 |  1245045 |     2818    941 |        0 |        0
971.62/971.98	c  971s |      21 |  1404601 |  1247345 |     2818    942 |        0 |        0
973.62/973.99	c  973s |      21 |  1406943 |  1249445 |     2818    944 |        0 |        0
975.72/976.06	c  975s |      21 |  1409289 |  1251545 |     2818    945 |        0 |        0
977.82/978.12	c  978s |      21 |  1411599 |  1253645 |     2818    946 |        0 |        0
979.82/980.19	c  980s |      21 |  1414305 |  1256045 |     2818    948 |        0 |        0
981.92/982.23	c  982s |      21 |  1416845 |  1258345 |     2818    949 |        0 |        0
983.92/984.26	c  984s |      21 |  1418948 |  1260245 |     2818    950 |        0 |        0
986.02/986.31	c  986s |      21 |  1421112 |  1262245 |     2818    952 |        0 |        0
988.01/988.36	c  988s |      21 |  1423204 |  1264145 |     2818    953 |        0 |        0
990.11/990.43	c  990s |      21 |  1425454 |  1266145 |     2818    954 |        0 |        0
992.21/992.51	c  992s |      21 |  1427902 |  1268345 |     2818    955 |        0 |        0
994.22/994.54	c  994s |      21 |  1430265 |  1270445 |     2818    957 |        0 |        0
996.21/996.57	c  996s |      21 |  1432637 |  1272645 |     2818    958 |        0 |        0
998.31/998.66	c  998s |      21 |  1434987 |  1274845 |     2818    959 |        0 |        0
1000.31/1000.68	c 1000s |      21 |  1437078 |  1276745 |     2818    960 |        0 |        0
1002.41/1002.75	c 1002s |      21 |  1439297 |  1278745 |     2818    962 |        0 |        0
1004.41/1004.75	c 1004s |      21 |  1441418 |  1280645 |     2818    963 |        0 |        0
1006.51/1006.86	c 1006s |      21 |  1443594 |  1282645 |     2818    964 |        0 |        0
1008.51/1008.87	c 1008s |      21 |  1445467 |  1284345 |     2818    965 |        0 |        0
1010.61/1010.97	c 1010s |      21 |  1447229 |  1285945 |     2818    966 |        0 |        0
1012.70/1013.00	c 1012s |      21 |  1449242 |  1287745 |     2818    967 |        0 |        0
1014.70/1015.04	c 1014s |      21 |  1452009 |  1290245 |     2818    969 |        0 |        0
1016.69/1017.08	c 1016s |      21 |  1454562 |  1292545 |     2818    970 |        0 |        0
1018.79/1019.19	c 1019s |      21 |  1457006 |  1294745 |     2818    971 |        0 |        0
1020.89/1021.26	c 1021s |      21 |  1459060 |  1296645 |     2818    973 |        0 |        0
1022.89/1023.29	c 1023s |      21 |  1461424 |  1298745 |     2818    974 |        0 |        0
1025.00/1025.31	c 1025s |      21 |  1463915 |  1300945 |     2818    975 |        0 |        0
1026.99/1027.34	c 1027s |      21 |  1466176 |  1302945 |     2818    976 |        0 |        0
1028.99/1029.34	c 1029s |      21 |  1468361 |  1304845 |     2818    978 |        0 |        0
1031.09/1031.42	c 1031s |      21 |  1471546 |  1307645 |     2818    979 |        0 |        0
1033.09/1033.45	c 1033s |      21 |  1474407 |  1310245 |     2818    981 |        0 |        0
1035.19/1035.52	c 1035s |      21 |  1477251 |  1312745 |     2818    982 |        0 |        0
1037.19/1037.54	c 1037s |      21 |  1479467 |  1314745 |     2818    984 |        0 |        0
1039.20/1039.57	c 1039s |      21 |  1481794 |  1316845 |     2818    985 |        0 |        0
1041.29/1041.61	c 1041s |      21 |  1484256 |  1319045 |     2818    986 |        0 |        0
1043.29/1043.65	c 1043s |      21 |  1486498 |  1321045 |     2818    987 |        0 |        0
1045.39/1045.72	c 1045s |      21 |  1488561 |  1322945 |     2818    989 |        0 |        0
1047.38/1047.72	c 1047s |      21 |  1490760 |  1324945 |     2818    990 |        0 |        0
1049.38/1049.78	c 1049s |      21 |  1492979 |  1326945 |     2818    991 |        0 |        0
1051.48/1051.83	c 1051s |      21 |  1495175 |  1328945 |     2818    992 |        0 |        0
1053.49/1053.88	c 1053s |      21 |  1497052 |  1330645 |     2818    993 |        0 |        0
1055.58/1055.95	c 1055s |      21 |  1499758 |  1333045 |     2818    995 |        0 |        0
1057.57/1057.98	c 1057s |      21 |  1502149 |  1335145 |     2818    996 |        0 |        0
1059.77/1060.17	c 1060s |      21 |  1504667 |  1337445 |     2818    998 |        0 |        0
1061.87/1062.21	c 1062s |      21 |  1507557 |  1340045 |     2818    999 |        0 |        0
1063.87/1064.23	c 1064s |      21 |  1509872 |  1342145 |     2818   1000 |        0 |        0
1065.87/1066.27	c 1066s |      21 |  1512161 |  1344245 |     2818   1002 |        0 |        0
1067.97/1068.33	c 1068s |      21 |  1514591 |  1346445 |     2818   1003 |        0 |        0
1070.08/1070.41	c 1070s |      21 |  1516851 |  1348545 |     2818   1004 |        0 |        0
1072.07/1072.41	c 1072s |      21 |  1519089 |  1350545 |     2818   1006 |        0 |        0
1074.07/1074.46	c 1074s |      21 |  1521405 |  1352645 |     2818   1007 |        0 |        0
1076.17/1076.53	c 1076s |      21 |  1523981 |  1354945 |     2818   1008 |        0 |        0
1078.16/1078.54	c 1078s |      21 |  1526640 |  1357345 |     2818   1010 |        0 |        0
1080.26/1080.60	c 1080s |      21 |  1529271 |  1359745 |     2818   1011 |        0 |        0
1082.26/1082.66	c 1082s |      21 |  1531741 |  1361945 |     2818   1012 |        0 |        0
1084.27/1084.68	c 1084s |      21 |  1534065 |  1364045 |     2818   1014 |        0 |        0
1086.26/1086.68	c 1086s |      21 |  1536365 |  1366145 |     2818   1015 |        0 |        0
1088.36/1088.72	c 1088s |      21 |  1538429 |  1368045 |     2818   1016 |        0 |        0
1090.36/1090.76	c 1090s |      21 |  1540420 |  1369845 |     2818   1017 |        0 |        0
1092.46/1092.87	c 1092s |      21 |  1542732 |  1371945 |     2818   1019 |        0 |        0
1094.56/1094.91	c 1094s |      21 |  1544728 |  1373745 |     2818   1020 |        0 |        0
1096.65/1097.01	c 1096s |      21 |  1546949 |  1375745 |     2818   1021 |        0 |        0
1098.66/1099.07	c 1098s |      21 |  1548894 |  1377545 |     2818   1022 |        0 |        0
1100.76/1101.16	c 1101s |      21 |  1550959 |  1379445 |     2818   1023 |        0 |        0
1102.75/1103.17	c 1103s |      21 |  1553059 |  1381345 |     2818   1024 |        0 |        0
1104.75/1105.17	c 1105s |      21 |  1555171 |  1383245 |     2818   1025 |        0 |        0
1106.84/1107.21	c 1107s |      21 |  1557102 |  1385045 |     2818   1027 |        0 |        0
1108.84/1109.22	c 1109s |      21 |  1559180 |  1386945 |     2818   1028 |        0 |        0
1110.94/1111.33	c 1111s |      21 |  1561391 |  1388945 |     2818   1029 |        0 |        0
1113.04/1113.44	c 1113s |      21 |  1563265 |  1390645 |     2818   1030 |        0 |        0
1115.05/1115.50	c 1115s |      21 |  1566162 |  1393145 |     2818   1032 |        0 |        0
1117.14/1117.55	c 1117s |      21 |  1568875 |  1395545 |     2818   1033 |        0 |        0
1119.24/1119.61	c 1119s |      21 |  1571517 |  1397945 |     2818   1034 |        0 |        0
1121.24/1121.70	c 1121s |      21 |  1574041 |  1400245 |     2818   1036 |        0 |        0
1123.34/1123.76	c 1123s |      21 |  1576318 |  1402345 |     2818   1037 |        0 |        0
1125.33/1125.76	c 1125s |      21 |  1578974 |  1404645 |     2818   1039 |        0 |        0
1127.33/1127.77	c 1127s |      21 |  1581420 |  1406845 |     2818   1040 |        0 |        0
1129.34/1129.79	c 1129s |      21 |  1583866 |  1409045 |     2818   1041 |        0 |        0
1131.43/1131.83	c 1131s |      21 |  1586266 |  1411245 |     2818   1043 |        0 |        0
1133.43/1133.84	c 1133s |      21 |  1588665 |  1413445 |     2818   1044 |        0 |        0
1135.43/1135.88	c 1135s |      21 |  1590654 |  1415245 |     2818   1045 |        0 |        0
1137.53/1137.94	c 1137s |      21 |  1593252 |  1417545 |     2818   1046 |        0 |        0
1139.52/1139.94	c 1139s |      21 |  1595667 |  1419745 |     2818   1048 |        0 |        0
1141.62/1142.03	c 1141s |      21 |  1598177 |  1422045 |     2818   1049 |        0 |        0
1143.63/1144.04	c 1143s |      21 |  1600442 |  1424145 |     2818   1050 |        0 |        0
1145.72/1146.11	c 1146s |      21 |  1602879 |  1426345 |     2818   1052 |        0 |        0
1147.72/1148.15	c 1148s |      21 |  1605393 |  1428645 |     2818   1053 |        0 |        0
1149.72/1150.15	c 1150s |      21 |  1607686 |  1430745 |     2818   1054 |        0 |        0
1151.82/1152.21	c 1152s |      21 |  1610072 |  1432945 |     2818   1056 |        0 |        0
1153.82/1154.29	c 1154s |      21 |  1613260 |  1435545 |     2818   1057 |        0 |        0
1155.92/1156.37	c 1156s |      21 |  1615836 |  1437845 |     2818   1059 |        0 |        0
1157.92/1158.40	c 1158s |      21 |  1618289 |  1440045 |     2818   1060 |        0 |        0
1160.01/1160.50	c 1160s |      21 |  1620818 |  1442245 |     2818   1062 |        0 |        0
1162.11/1162.54	c 1162s |      21 |  1623371 |  1444545 |     2818   1063 |        0 |        0
1164.11/1164.55	c 1164s |      21 |  1625997 |  1446845 |     2818   1064 |        0 |        0
1166.21/1166.61	c 1166s |      21 |  1628425 |  1449045 |     2818   1066 |        0 |        0
1168.21/1168.66	c 1168s |      21 |  1630965 |  1451345 |     2818   1067 |        0 |        0
1170.31/1170.70	c 1170s |      21 |  1633359 |  1453445 |     2818   1068 |        0 |        0
1172.31/1172.76	c 1172s |      21 |  1636107 |  1455845 |     2818   1070 |        0 |        0
1174.31/1174.78	c 1174s |      21 |  1638603 |  1458045 |     2818   1071 |        0 |        0
1176.41/1176.82	c 1176s |      21 |  1641472 |  1460545 |     2818   1073 |        0 |        0
1178.40/1178.87	c 1178s |      21 |  1644004 |  1462845 |     2818   1074 |        0 |        0
1180.40/1180.89	c 1180s |      21 |  1646136 |  1464745 |     2818   1075 |        0 |        0
1182.40/1182.89	c 1182s |      21 |  1648765 |  1467045 |     2818   1077 |        0 |        0
1184.50/1184.92	c 1184s |      21 |  1650876 |  1468945 |     2818   1078 |        0 |        0
1186.60/1187.02	c 1186s |      21 |  1653259 |  1471045 |     2818   1079 |        0 |        0
1188.60/1189.03	c 1188s |      21 |  1655358 |  1472945 |     2818   1080 |        0 |        0
1190.60/1191.04	c 1190s |      21 |  1657303 |  1474745 |     2818   1081 |        0 |        0
1192.59/1193.07	c 1192s |      21 |  1659723 |  1476845 |     2818   1083 |        0 |        0
1194.59/1195.09	c 1195s |      21 |  1661445 |  1478445 |     2818   1084 |        0 |        0
1196.69/1197.15	c 1197s |      21 |  1663393 |  1480145 |     2818   1085 |        0 |        0
1198.70/1199.19	c 1199s |      21 |  1665265 |  1481845 |     2818   1086 |        0 |        0
1200.80/1201.23	c 1201s |      21 |  1667596 |  1483945 |     2818   1087 |        0 |        0
1202.79/1203.26	c 1203s |      21 |  1670130 |  1486245 |     2818   1088 |        0 |        0
1204.89/1205.33	c 1205s |      21 |  1672702 |  1488545 |     2818   1090 |        0 |        0
1206.88/1207.37	c 1207s |      21 |  1674981 |  1490645 |     3100   1091 |        0 |        0
1208.88/1209.38	c 1209s |      21 |  1677432 |  1492845 |     3100   1092 |        0 |        0
1210.88/1211.38	c 1211s |      21 |  1679534 |  1494745 |     3100   1093 |        0 |        0
1212.89/1213.40	c 1213s |      21 |  1681805 |  1496845 |     3100   1094 |        0 |        0
1215.09/1215.52	c 1215s |      21 |  1683828 |  1498645 |     3100   1096 |        0 |        0
1217.08/1217.59	c 1217s |      21 |  1685807 |  1500445 |     3100   1097 |        0 |        0
1217.28/1217.78	c 1217s |      22 |  1685985 |  1500622 |     3100   1097 |        0 |        0
1219.37/1219.85	c 1219s |      22 |  1690225 |  1503822 |     3100   1098 |        0 |        0
1221.47/1221.90	c 1221s |      22 |  1693073 |  1506422 |     3100   1100 |        0 |        0
1223.47/1223.97	c 1223s |      22 |  1695860 |  1508922 |     3100   1101 |        0 |        0
1225.47/1225.99	c 1225s |      22 |  1698379 |  1511222 |     3100   1103 |        0 |        0
1227.57/1228.05	c 1227s |      22 |  1701015 |  1513622 |     3100   1104 |        0 |        0
1229.57/1230.09	c 1230s |      22 |  1703449 |  1515822 |     3100   1105 |        0 |        0
1231.67/1232.14	c 1232s |      22 |  1706065 |  1518222 |     3100   1106 |        0 |        0
1233.67/1234.16	c 1234s |      22 |  1708447 |  1520422 |     3100   1108 |        0 |        0
1235.67/1236.17	c 1236s |      22 |  1710891 |  1522622 |     3100   1109 |        0 |        0
1237.66/1238.17	c 1238s |      22 |  1713814 |  1525122 |     3100   1110 |        0 |        0
1239.76/1240.25	c 1240s |      22 |  1716213 |  1527322 |     3100   1112 |        0 |        0
1241.86/1242.31	c 1242s |      22 |  1718624 |  1529522 |     3100   1113 |        0 |        0
1243.86/1244.37	c 1244s |      22 |  1721132 |  1531822 |     3100   1114 |        0 |        0
1245.97/1246.45	c 1246s |      22 |  1723675 |  1534122 |     3100   1115 |        0 |        0
1248.06/1248.53	c 1248s |      22 |  1726399 |  1536522 |     3100   1117 |        0 |        0
1250.05/1250.57	c 1250s |      22 |  1729022 |  1538922 |     3100   1118 |        0 |        0
1252.15/1252.62	c 1252s |      22 |  1731510 |  1541222 |     3100   1119 |        0 |        0
1254.15/1254.67	c 1254s |      22 |  1734014 |  1543522 |     3100   1121 |        0 |        0
1256.15/1256.68	c 1256s |      22 |  1736225 |  1545522 |     3100   1122 |        0 |        0
1258.15/1258.69	c 1258s |      22 |  1738549 |  1547622 |     3100   1123 |        0 |        0
1260.15/1260.69	c 1260s |      22 |  1741183 |  1549822 |     3100   1124 |        0 |        0
1262.25/1262.73	c 1262s |      22 |  1743729 |  1552122 |     3100   1126 |        0 |        0
1264.25/1264.74	c 1264s |      22 |  1746084 |  1554322 |     3100   1127 |        0 |        0
1266.25/1266.75	c 1266s |      22 |  1748571 |  1556622 |     3100   1128 |        0 |        0
1268.34/1268.81	c 1268s |      22 |  1750809 |  1558722 |     3100   1129 |        0 |        0
1270.34/1270.84	c 1270s |      22 |  1753548 |  1561122 |     3100   1131 |        0 |        0
1272.36/1272.87	c 1272s |      22 |  1756238 |  1563522 |     3100   1132 |        0 |        0
1274.46/1274.96	c 1274s |      22 |  1758858 |  1565922 |     3100   1133 |        0 |        0
1276.55/1277.04	c 1276s |      22 |  1761288 |  1568122 |     3100   1135 |        0 |        0
1278.55/1279.05	c 1278s |      22 |  1763807 |  1570422 |     3100   1136 |        0 |        0
1280.65/1281.12	c 1281s |      22 |  1766571 |  1572922 |     3100   1137 |        0 |        0
1282.65/1283.19	c 1283s |      22 |  1769162 |  1575122 |     3100   1138 |        0 |        0
1284.74/1285.20	c 1285s |      22 |  1771699 |  1577322 |     3100   1140 |        0 |        0
1286.74/1287.24	c 1287s |      22 |  1774264 |  1579622 |     3100   1141 |        0 |        0
1288.75/1289.25	c 1289s |      22 |  1776469 |  1581622 |     3100   1142 |        0 |        0
1290.74/1291.27	c 1291s |      22 |  1778950 |  1583822 |     3100   1143 |        0 |        0
1292.84/1293.33	c 1293s |      22 |  1781199 |  1585822 |     3100   1144 |        0 |        0
1294.94/1295.41	c 1295s |      22 |  1783440 |  1587822 |     3100   1146 |        0 |        0
1296.93/1297.47	c 1297s |      22 |  1785809 |  1589922 |     3100   1147 |        0 |        0
1299.03/1299.52	c 1299s |      22 |  1788203 |  1592022 |     3100   1148 |        0 |        0
1301.03/1301.53	c 1301s |      22 |  1790303 |  1593922 |     3100   1149 |        0 |        0
1303.14/1303.61	c 1303s |      22 |  1792600 |  1595922 |     3100   1150 |        0 |        0
1305.13/1305.68	c 1305s |      22 |  1794867 |  1597922 |     3100   1151 |        0 |        0
1307.23/1307.73	c 1307s |      22 |  1797525 |  1600222 |     3100   1153 |        0 |        0
1309.23/1309.77	c 1309s |      22 |  1799669 |  1602122 |     3100   1154 |        0 |        0
1311.33/1311.85	c 1311s |      22 |  1801773 |  1604022 |     3100   1155 |        0 |        0
1313.43/1313.93	c 1313s |      22 |  1803819 |  1605822 |     3100   1156 |        0 |        0
1315.43/1315.98	c 1315s |      22 |  1806082 |  1607722 |     3100   1157 |        0 |        0
1317.52/1318.05	c 1317s |      22 |  1808134 |  1609522 |     3100   1158 |        0 |        0
1319.53/1320.08	c 1319s |      22 |  1810067 |  1611222 |     3100   1159 |        0 |        0
1321.62/1322.12	c 1322s |      22 |  1812370 |  1613222 |     3100   1160 |        0 |        0
1323.62/1324.13	c 1324s |      22 |  1814753 |  1615322 |     3100   1161 |        0 |        0
1325.72/1326.21	c 1326s |      22 |  1816941 |  1617322 |     3100   1162 |        0 |        0
1327.72/1328.29	c 1328s |      22 |  1818995 |  1619222 |     3100   1163 |        0 |        0
1329.82/1330.35	c 1330s |      22 |  1821312 |  1621322 |     3100   1164 |        0 |        0
1331.92/1332.47	c 1332s |      22 |  1823393 |  1623222 |     3100   1166 |        0 |        0
1333.92/1334.49	c 1334s |      22 |  1825233 |  1624922 |     3100   1166 |        0 |        0
1336.12/1336.62	c 1336s |      22 |  1827133 |  1626622 |     3100   1167 |        0 |        0
1338.11/1338.69	c 1338s |      22 |  1829149 |  1628422 |     3100   1168 |        0 |        0
1340.31/1340.81	c 1340s |      22 |  1831222 |  1630322 |     3100   1170 |        0 |        0
1342.31/1342.83	c 1342s |      22 |  1833213 |  1632122 |     3100   1171 |        0 |        0
1344.31/1344.89	c 1344s |      22 |  1835309 |  1634022 |     3100   1172 |        0 |        0
1346.31/1346.89	c 1346s |      22 |  1837302 |  1635822 |     3100   1173 |        0 |        0
1348.41/1348.96	c 1348s |      22 |  1839161 |  1637522 |     3100   1174 |        0 |        0
1350.51/1351.07	c 1350s |      22 |  1841143 |  1639322 |     3100   1175 |        0 |        0
1352.62/1353.17	c 1353s |      22 |  1842995 |  1641022 |     3100   1176 |        0 |        0
1354.72/1355.26	c 1355s |      22 |  1844885 |  1642722 |     3100   1176 |        0 |        0
1356.81/1357.31	c 1357s |      22 |  1846724 |  1644322 |     3100   1177 |        0 |        0
1358.81/1359.38	c 1359s |      22 |  1848494 |  1645922 |     3100   1178 |        0 |        0
1360.91/1361.41	c 1361s |      22 |  1850866 |  1648022 |     3100   1179 |        0 |        0
1362.91/1363.47	c 1363s |      22 |  1853098 |  1650022 |     3100   1181 |        0 |        0
1365.01/1365.53	c 1365s |      22 |  1855495 |  1652222 |     3100   1182 |        0 |        0
1367.01/1367.56	c 1367s |      22 |  1857419 |  1654022 |     3100   1183 |        0 |        0
1369.01/1369.58	c 1369s |      22 |  1859510 |  1655922 |     3100   1184 |        0 |        0
1371.01/1371.58	c 1371s |      22 |  1861780 |  1658022 |     3100   1185 |        0 |        0
1373.11/1373.66	c 1373s |      22 |  1864004 |  1660022 |     3100   1186 |        0 |        0
1375.21/1375.73	c 1375s |      22 |  1866173 |  1662022 |     3100   1187 |        0 |        0
1377.20/1377.78	c 1377s |      22 |  1868817 |  1664322 |     3100   1189 |        0 |        0
1379.30/1379.84	c 1379s |      22 |  1871300 |  1666522 |     3100   1190 |        0 |        0
1381.30/1381.87	c 1381s |      22 |  1873915 |  1668822 |     3100   1191 |        0 |        0
1383.41/1383.96	c 1383s |      22 |  1876392 |  1671022 |     3100   1192 |        0 |        0
1385.40/1385.96	c 1385s |      22 |  1878500 |  1672922 |     3100   1193 |        0 |        0
1387.50/1388.02	c 1387s |      22 |  1880915 |  1675122 |     3100   1195 |        0 |        0
1389.50/1390.08	c 1390s |      22 |  1883254 |  1677222 |     3100   1196 |        0 |        0
1391.60/1392.13	c 1392s |      22 |  1885548 |  1679322 |     3100   1197 |        0 |        0
1393.60/1394.18	c 1394s |      22 |  1887434 |  1681022 |     3100   1198 |        0 |        0
1395.70/1396.29	c 1396s |      22 |  1889426 |  1682822 |     3100   1199 |        0 |        0
1397.80/1398.35	c 1398s |      22 |  1891793 |  1684822 |     3100   1200 |        0 |        0
1399.91/1400.42	c 1400s |      22 |  1894253 |  1687022 |     3100   1201 |        0 |        0
1402.01/1402.52	c 1402s |      22 |  1896442 |  1689022 |     3100   1203 |        0 |        0
1404.00/1404.53	c 1404s |      22 |  1898580 |  1690922 |     3100   1204 |        0 |        0
1406.00/1406.59	c 1406s |      22 |  1900668 |  1692822 |     3100   1205 |        0 |        0
1408.10/1408.64	c 1408s |      22 |  1902668 |  1694622 |     3100   1206 |        0 |        0
1410.10/1410.67	c 1410s |      22 |  1904626 |  1696422 |     3100   1207 |        0 |        0
1412.20/1412.73	c 1412s |      22 |  1906845 |  1698422 |     3100   1208 |        0 |        0
1414.21/1414.76	c 1414s |      22 |  1908926 |  1700322 |     3100   1209 |        0 |        0
1416.20/1416.77	c 1416s |      22 |  1910795 |  1702022 |     3100   1210 |        0 |        0
1418.30/1418.83	c 1418s |      22 |  1912831 |  1703822 |     3100   1211 |        0 |        0
1420.30/1420.86	c 1420s |      22 |  1914718 |  1705522 |     3100   1212 |        0 |        0
1422.40/1422.93	c 1422s |      22 |  1916719 |  1707322 |     3100   1213 |        0 |        0
1424.40/1424.96	c 1424s |      22 |  1918581 |  1709022 |     3100   1214 |        0 |        0
1426.50/1427.04	c 1426s |      22 |  1920602 |  1710822 |     3100   1215 |        0 |        0
1428.59/1429.13	c 1429s |      22 |  1922808 |  1712822 |     3100   1216 |        0 |        0
1430.70/1431.24	c 1431s |      22 |  1924664 |  1714522 |     3100   1217 |        0 |        0
1432.80/1433.34	c 1433s |      22 |  1926511 |  1716222 |     3100   1218 |        0 |        0
1434.79/1435.35	c 1435s |      22 |  1928373 |  1717922 |     3100   1219 |        0 |        0
1436.79/1437.37	c 1437s |      22 |  1930314 |  1719622 |     3100   1220 |        0 |        0
1438.79/1439.39	c 1439s |      22 |  1933257 |  1722022 |     3100   1221 |        0 |        0
1440.89/1441.46	c 1441s |      22 |  1935423 |  1723822 |     3100   1222 |        0 |        0
1442.99/1443.54	c 1443s |      22 |  1937914 |  1726022 |     3100   1223 |        0 |        0
1445.00/1445.58	c 1445s |      22 |  1940108 |  1728022 |     3100   1224 |        0 |        0
1447.10/1447.70	c 1447s |      22 |  1942566 |  1730222 |     3100   1226 |        0 |        0
1449.19/1449.79	c 1449s |      22 |  1944895 |  1732322 |     3100   1227 |        0 |        0
1451.29/1451.87	c 1451s |      22 |  1947575 |  1734722 |     3100   1228 |        0 |        0
1453.29/1453.87	c 1453s |      22 |  1949696 |  1736622 |     3100   1229 |        0 |        0
1455.39/1455.91	c 1455s |      22 |  1951809 |  1738522 |     3100   1230 |        0 |        0
1457.39/1457.94	c 1457s |      22 |  1954334 |  1740722 |     3100   1232 |        0 |        0
1459.49/1460.03	c 1459s |      22 |  1956935 |  1743022 |     3100   1233 |        0 |        0
1461.50/1462.05	c 1461s |      22 |  1959304 |  1745122 |     3100   1234 |        0 |        0
1463.49/1464.10	c 1464s |      22 |  1961501 |  1747122 |     3100   1235 |        0 |        0
1465.59/1466.15	c 1466s |      22 |  1963785 |  1749122 |     3100   1236 |        0 |        0
1467.59/1468.18	c 1468s |      22 |  1966402 |  1751422 |     3100   1238 |        0 |        0
1469.69/1470.24	c 1470s |      22 |  1968862 |  1753622 |     3100   1239 |        0 |        0
1471.79/1472.34	c 1472s |      22 |  1971204 |  1755722 |     3100   1240 |        0 |        0
1473.80/1474.36	c 1474s |      22 |  1974022 |  1758122 |     3100   1241 |        0 |        0
1475.80/1476.38	c 1476s |      22 |  1976310 |  1760222 |     3100   1243 |        0 |        0
1477.90/1478.44	c 1478s |      22 |  1978580 |  1762222 |     3100   1244 |        0 |        0
1480.00/1480.52	c 1480s |      22 |  1980547 |  1764022 |     3100   1245 |        0 |        0
1481.99/1482.55	c 1482s |      22 |  1982773 |  1766022 |     3100   1246 |        0 |        0
1483.99/1484.58	c 1484s |      22 |  1985192 |  1768222 |     3100   1247 |        0 |        0
1486.09/1486.66	c 1486s |      22 |  1987289 |  1770122 |     3100   1248 |        0 |        0
1488.19/1488.71	c 1488s |      22 |  1989615 |  1772222 |     3100   1249 |        0 |        0
1490.19/1490.75	c 1490s |      22 |  1991847 |  1774222 |     3100   1250 |        0 |        0
1492.30/1492.87	c 1492s |      22 |  1994087 |  1776222 |     3100   1252 |        0 |        0
1494.40/1494.94	c 1494s |      22 |  1995944 |  1777922 |     3100   1253 |        0 |        0
1496.49/1497.00	c 1496s |      22 |  1998651 |  1780222 |     3100   1254 |        0 |        0
1498.49/1499.04	c 1498s |      22 |  2001042 |  1782322 |     3100   1255 |        0 |        0
1500.49/1501.10	c 1501s |      22 |  2003244 |  1784322 |     3100   1256 |        0 |        0
1502.59/1503.12	c 1503s |      22 |  2005207 |  1786122 |     3100   1257 |        0 |        0
1504.69/1505.21	c 1505s |      22 |  2007155 |  1787922 |     3100   1258 |        0 |        0
1506.79/1507.33	c 1507s |      22 |  2009107 |  1789722 |     3100   1259 |        0 |        0
1508.79/1509.33	c 1509s |      22 |  2011310 |  1791622 |     3100   1260 |        0 |        0
1510.89/1511.42	c 1511s |      22 |  2013582 |  1793622 |     3100   1261 |        0 |        0
1512.98/1513.53	c 1513s |      22 |  2015564 |  1795422 |     3100   1262 |        0 |        0
1515.08/1515.62	c 1515s |      22 |  2017316 |  1797022 |     3100   1263 |        0 |        0
1517.08/1517.69	c 1517s |      22 |  2019590 |  1799022 |     3100   1264 |        0 |        0
1519.18/1519.70	c 1519s |      22 |  2021567 |  1800822 |     3100   1265 |        0 |        0
1521.18/1521.71	c 1521s |      22 |  2023610 |  1802622 |     3100   1266 |        0 |        0
1523.18/1523.79	c 1523s |      22 |  2025648 |  1804522 |     3100   1267 |        0 |        0
1525.29/1525.83	c 1525s |      22 |  2027867 |  1806522 |     3100   1269 |        0 |        0
1527.28/1527.84	c 1527s |      22 |  2029732 |  1808222 |     3100   1270 |        0 |        0
1529.38/1529.93	c 1529s |      22 |  2031723 |  1810022 |     3100   1271 |        0 |        0
1531.38/1531.99	c 1531s |      22 |  2033522 |  1811722 |     3100   1272 |        0 |        0
1533.48/1534.05	c 1533s |      22 |  2035121 |  1813222 |     3100   1272 |        0 |        0
1535.48/1536.10	c 1536s |      22 |  2037119 |  1815022 |     3100   1273 |        0 |        0
1537.58/1538.15	c 1538s |      22 |  2039220 |  1816922 |     3100   1274 |        0 |        0
1539.68/1540.27	c 1540s |      22 |  2041072 |  1818622 |     3100   1275 |        0 |        0
1541.79/1542.37	c 1542s |      22 |  2043144 |  1820422 |     3100   1276 |        0 |        0
1543.78/1544.40	c 1544s |      22 |  2045001 |  1822122 |     3100   1277 |        0 |        0
1545.98/1546.51	c 1546s |      22 |  2046769 |  1823722 |     3100   1278 |        0 |        0
1547.98/1548.57	c 1548s |      22 |  2048476 |  1825222 |     3100   1279 |        0 |        0
1549.98/1550.60	c 1550s |      22 |  2051121 |  1827522 |     3100   1280 |        0 |        0
1552.08/1552.63	c 1552s |      22 |  2053561 |  1829722 |     3100   1282 |        0 |        0
1554.08/1554.67	c 1554s |      22 |  2056206 |  1832022 |     3100   1283 |        0 |        0
1556.08/1556.69	c 1556s |      22 |  2058404 |  1834022 |     3100   1284 |        0 |        0
1558.18/1558.74	c 1558s |      22 |  2060249 |  1835722 |     3100   1285 |        0 |        0
1560.28/1560.85	c 1560s |      22 |  2062412 |  1837622 |     3100   1286 |        0 |        0
1562.38/1562.94	c 1562s |      22 |  2064247 |  1839322 |     3100   1287 |        0 |        0
1564.48/1565.04	c 1564s |      22 |  2066465 |  1841322 |     3100   1288 |        0 |        0
1566.47/1567.06	c 1566s |      22 |  2068324 |  1843022 |     3100   1289 |        0 |        0
1568.57/1569.12	c 1569s |      22 |  2070440 |  1844922 |     3100   1290 |        0 |        0
1570.67/1571.20	c 1571s |      22 |  2072431 |  1846722 |     3100   1291 |        0 |        0
1572.77/1573.33	c 1573s |      22 |  2074277 |  1848422 |     3100   1292 |        0 |        0
1574.78/1575.35	c 1575s |      22 |  2076771 |  1850622 |     3100   1293 |        0 |        0
1576.88/1577.42	c 1577s |      22 |  2079435 |  1853022 |     3100   1295 |        0 |        0
1578.87/1579.45	c 1579s |      22 |  2081666 |  1855022 |     3100   1296 |        0 |        0
1580.97/1581.53	c 1581s |      22 |  2084071 |  1857222 |     3100   1297 |        0 |        0
1583.07/1583.64	c 1583s |      22 |  2086374 |  1859322 |     3100   1298 |        0 |        0
1585.17/1585.70	c 1585s |      22 |  2088894 |  1861622 |     3100   1300 |        0 |        0
1587.27/1587.80	c 1587s |      22 |  2091070 |  1863622 |     3100   1301 |        0 |        0
1589.27/1589.86	c 1589s |      22 |  2093149 |  1865522 |     3100   1302 |        0 |        0
1591.37/1591.96	c 1591s |      22 |  2095462 |  1867622 |     3100   1303 |        0 |        0
1593.48/1594.02	c 1593s |      22 |  2097651 |  1869622 |     3100   1304 |        0 |        0
1595.47/1596.03	c 1595s |      22 |  2099879 |  1871622 |     3100   1305 |        0 |        0
1597.57/1598.13	c 1598s |      22 |  2102482 |  1873922 |     3100   1307 |        0 |        0
1599.57/1600.16	c 1600s |      22 |  2104693 |  1875922 |     3100   1308 |        0 |        0
1601.67/1602.27	c 1602s |      22 |  2106752 |  1877822 |     3100   1309 |        0 |        0
1603.67/1604.29	c 1604s |      22 |  2108869 |  1879722 |     3100   1310 |        0 |        0
1605.77/1606.33	c 1606s |      22 |  2111076 |  1881722 |     3100   1311 |        0 |        0
1607.77/1608.37	c 1608s |      22 |  2113379 |  1883822 |     3100   1312 |        0 |        0
1609.77/1610.37	c 1610s |      22 |  2115205 |  1885522 |     3100   1313 |        0 |        0
1611.87/1612.46	c 1612s |      22 |  2117491 |  1887622 |     3100   1314 |        0 |        0
1613.87/1614.49	c 1614s |      22 |  2119725 |  1889622 |     3100   1315 |        0 |        0
1615.97/1616.51	c 1616s |      22 |  2122231 |  1891922 |     3100   1317 |        0 |        0
1617.97/1618.55	c 1618s |      22 |  2124748 |  1894222 |     3100   1318 |        0 |        0
1620.07/1620.64	c 1620s |      22 |  2126933 |  1896222 |     3100   1319 |        0 |        0
1622.07/1622.68	c 1622s |      22 |  2129147 |  1898222 |     3100   1320 |        0 |        0
1624.17/1624.72	c 1624s |      22 |  2131238 |  1900122 |     3100   1321 |        0 |        0
1626.26/1626.80	c 1626s |      22 |  2133377 |  1902022 |     3100   1322 |        0 |        0
1628.26/1628.80	c 1628s |      22 |  2135453 |  1903922 |     3100   1323 |        0 |        0
1630.26/1630.81	c 1630s |      22 |  2137532 |  1905822 |     3100   1324 |        0 |        0
1632.26/1632.83	c 1632s |      22 |  2139450 |  1907522 |     3100   1325 |        0 |        0
1634.36/1634.90	c 1634s |      22 |  2141459 |  1909322 |     3100   1326 |        0 |        0
1636.37/1636.91	c 1636s |      22 |  2143550 |  1911222 |     3100   1328 |        0 |        0
1638.36/1638.94	c 1638s |      22 |  2145672 |  1913122 |     3100   1329 |        0 |        0
1640.36/1640.96	c 1640s |      22 |  2147774 |  1915022 |     3100   1330 |        0 |        0
1642.46/1643.01	c 1642s |      22 |  2150008 |  1917022 |     3100   1331 |        0 |        0
1644.46/1645.04	c 1644s |      22 |  2151982 |  1918822 |     3100   1332 |        0 |        0
1646.46/1647.07	c 1646s |      22 |  2153843 |  1920522 |     3100   1333 |        0 |        0
1648.56/1649.14	c 1649s |      22 |  2155418 |  1922022 |     3100   1334 |        0 |        0
1650.67/1651.22	c 1651s |      22 |  2158094 |  1924322 |     3100   1335 |        0 |        0
1652.66/1653.23	c 1653s |      22 |  2160415 |  1926422 |     3100   1336 |        0 |        0
1654.66/1655.28	c 1655s |      22 |  2162662 |  1928422 |     3100   1337 |        0 |        0
1656.76/1657.39	c 1657s |      22 |  2164767 |  1930322 |     3100   1338 |        0 |        0
1658.86/1659.43	c 1659s |      22 |  2166602 |  1932022 |     3100   1339 |        0 |        0
1660.96/1661.51	c 1661s |      22 |  2168738 |  1933922 |     3100   1340 |        0 |        0
1662.97/1663.55	c 1663s |      22 |  2170727 |  1935722 |     3100   1341 |        0 |        0
1665.07/1665.61	c 1665s |      22 |  2172702 |  1937522 |     3100   1342 |        0 |        0
1667.07/1667.66	c 1667s |      22 |  2174662 |  1939322 |     3100   1343 |        0 |        0
1669.17/1669.74	c 1669s |      22 |  2176495 |  1941022 |     3100   1344 |        0 |        0
1671.27/1671.81	c 1671s |      22 |  2178219 |  1942622 |     3100   1345 |        0 |        0
1673.37/1673.95	c 1673s |      22 |  2180189 |  1944422 |     3100   1346 |        0 |        0
1675.47/1676.00	c 1675s |      22 |  2182860 |  1946722 |     3100   1347 |        0 |        0
1677.47/1678.08	c 1677s |      22 |  2185062 |  1948722 |     3100   1349 |        0 |        0
1679.56/1680.15	c 1680s |      22 |  2187182 |  1950622 |     3100   1350 |        0 |        0
1681.56/1682.19	c 1682s |      22 |  2189393 |  1952622 |     3100   1351 |        0 |        0
1683.67/1684.24	c 1684s |      22 |  2191475 |  1954522 |     3100   1352 |        0 |        0
1685.66/1686.25	c 1686s |      22 |  2193724 |  1956522 |     3100   1353 |        0 |        0
1687.66/1688.28	c 1688s |      22 |  2195695 |  1958322 |     3100   1354 |        0 |        0
1689.76/1690.34	c 1690s |      22 |  2197909 |  1960322 |     3100   1355 |        0 |        0
1691.86/1692.41	c 1692s |      22 |  2199897 |  1962122 |     3100   1356 |        0 |        0
1693.86/1694.45	c 1694s |      22 |  2201619 |  1963722 |     3100   1357 |        0 |        0
1695.96/1696.53	c 1696s |      22 |  2203860 |  1965722 |     3100   1358 |        0 |        0
1698.06/1698.60	c 1698s |      22 |  2206241 |  1967722 |     3100   1359 |        0 |        0
1700.07/1700.66	c 1700s |      22 |  2208411 |  1969622 |     3100   1360 |        0 |        0
1702.06/1702.69	c 1702s |      22 |  2210156 |  1971222 |     3100   1361 |        0 |        0
1704.16/1704.73	c 1704s |      22 |  2212630 |  1973322 |     3100   1362 |        0 |        0
1706.26/1706.85	c 1706s |      22 |  2214675 |  1975122 |     3100   1363 |        0 |        0
1708.26/1708.88	c 1708s |      22 |  2216303 |  1976622 |     3100   1364 |        0 |        0
1710.36/1710.93	c 1710s |      22 |  2217841 |  1978022 |     3100   1365 |        0 |        0
1712.36/1712.96	c 1712s |      22 |  2220129 |  1980022 |     3100   1366 |        0 |        0
1714.47/1715.05	c 1714s |      22 |  2222245 |  1981922 |     3100   1367 |        0 |        0
1716.56/1717.12	c 1717s |      22 |  2224648 |  1984022 |     3100   1368 |        0 |        0
1718.66/1719.24	c 1719s |      22 |  2226663 |  1985822 |     3100   1369 |        0 |        0
1720.76/1721.38	c 1721s |      22 |  2228606 |  1987622 |     3100   1371 |        0 |        0
1722.86/1723.41	c 1723s |      22 |  2230361 |  1989222 |     3100   1371 |        0 |        0
1724.85/1725.47	c 1725s |      22 |  2232599 |  1991122 |     3100   1372 |        0 |        0
1726.95/1727.53	c 1727s |      22 |  2234885 |  1993122 |     3100   1374 |        0 |        0
1729.05/1729.65	c 1729s |      22 |  2237231 |  1995222 |     3100   1375 |        0 |        0
1731.05/1731.68	c 1731s |      22 |  2239398 |  1997122 |     3100   1376 |        0 |        0
1733.16/1733.74	c 1733s |      22 |  2241771 |  1999222 |     3100   1377 |        0 |        0
1735.15/1735.77	c 1735s |      22 |  2243988 |  2001222 |     3100   1378 |        0 |        0
1737.15/1737.79	c 1737s |      22 |  2246205 |  2003222 |     3100   1379 |        0 |        0
1739.25/1739.89	c 1739s |      22 |  2248554 |  2005322 |     3100   1380 |        0 |        0
1741.35/1741.92	c 1741s |      22 |  2250660 |  2007222 |     3100   1382 |        0 |        0
1743.35/1743.94	c 1743s |      22 |  2252500 |  2008922 |     3100   1382 |        0 |        0
1745.35/1745.97	c 1745s |      22 |  2254733 |  2010922 |     3100   1384 |        0 |        0
1747.46/1748.08	c 1748s |      22 |  2256744 |  2012722 |     3100   1385 |        0 |        0
1749.56/1750.11	c 1750s |      22 |  2258814 |  2014522 |     3100   1386 |        0 |        0
1751.55/1752.13	c 1752s |      22 |  2261027 |  2016422 |     3100   1387 |        0 |        0
1753.55/1754.18	c 1754s |      22 |  2263052 |  2018222 |     3100   1388 |        0 |        0
1755.65/1756.21	c 1756s |      22 |  2264778 |  2019722 |     3100   1389 |        0 |        0
1757.65/1758.24	c 1758s |      22 |  2266808 |  2021522 |     3100   1390 |        0 |        0
1759.75/1760.31	c 1760s |      22 |  2268365 |  2022922 |     3100   1390 |        0 |        0
1761.85/1762.40	c 1762s |      22 |  2269937 |  2024322 |     3100   1391 |        0 |        0
1763.85/1764.50	c 1764s |      22 |  2271872 |  2026022 |     3100   1392 |        0 |        0
1765.95/1766.51	c 1766s |      22 |  2274182 |  2028022 |     3100   1393 |        0 |        0
1767.95/1768.56	c 1768s |      22 |  2276614 |  2030122 |     3100   1394 |        0 |        0
1770.05/1770.64	c 1770s |      22 |  2278832 |  2032122 |     3100   1396 |        0 |        0
1772.05/1772.65	c 1772s |      22 |  2280879 |  2034022 |     3100   1397 |        0 |        0
1774.05/1774.66	c 1774s |      22 |  2282988 |  2035922 |     3100   1398 |        0 |        0
1776.05/1776.69	c 1776s |      22 |  2284853 |  2037622 |     3100   1399 |        0 |        0
1778.15/1778.71	c 1778s |      22 |  2286836 |  2039422 |     3100   1400 |        0 |        0
1780.15/1780.73	c 1780s |      22 |  2288457 |  2040922 |     3100   1400 |        0 |        0
1782.15/1782.75	c 1782s |      22 |  2290631 |  2042822 |     3100   1402 |        0 |        0
1784.24/1784.83	c 1784s |      22 |  2292641 |  2044622 |     3100   1403 |        0 |        0
1786.24/1786.88	c 1786s |      22 |  2294587 |  2046322 |     3100   1403 |        0 |        0
1788.24/1788.89	c 1788s |      22 |  2296538 |  2048022 |     3100   1404 |        0 |        0
1790.35/1790.92	c 1790s |      22 |  2298326 |  2049622 |     3100   1405 |        0 |        0
1792.34/1792.99	c 1792s |      22 |  2300655 |  2051722 |     3100   1407 |        0 |        0
1794.44/1795.05	c 1794s |      22 |  2302521 |  2053422 |     3100   1407 |        0 |        0
1796.54/1797.18	c 1797s |      22 |  2304272 |  2055022 |     3100   1408 |        0 |        0
1798.64/1799.21	c 1799s |      22 |  2306600 |  2057122 |     3100   1410 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109142-1466341803/watcher-4109142-1466341803 -o /tmp/evaluation-result-4109142-1466341803/solver-4109142-1466341803 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109142-1466341803.wbo 

pid=14979
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: 0.40 0.20 0.15 4/176 14986
/proc/meminfo: memFree=30035336/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=781892 CPUtime=0 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 2927 0 0 0 0 0 0 0 20 0 4 0 36225502 800657408 2778 33554432000 4194304 16246674 140736437365808 140736437365232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 195985 2788 442 2943 0 192879 0
[pid=14985/tid=14987] ppid=14979 vsize=805444 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 824774656 2871 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=809540 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 828968960 2888 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=814660 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36225503 834211840 2906 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 0.40 0.20 0.15 4/176 14986
/proc/meminfo: memFree=30035336/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 25649 0 0 0 6 3 0 0 20 0 4 0 36225502 1247350784 25485 33554432000 4194304 16246674 140736437365808 140736437365232 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 304529 25499 808 2943 0 301423 0
[pid=14985/tid=14987] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 25510 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 25519 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 25527 33554432000 4194304 16246674 140736437365808 139912530611376 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.200506 s]
/proc/loadavg: 0.40 0.20 0.15 4/176 14986
/proc/meminfo: memFree=30035336/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 53203 0 0 0 12 7 0 0 20 0 4 0 36225502 1247350784 53039 33554432000 4194304 16246674 140736437365808 140736437365232 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 304529 53056 808 2943 0 301423 0
[pid=14985/tid=14987] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 53067 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 53073 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 53078 33554432000 4194304 16246674 140736437365808 139912530611376 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.300473 s]
/proc/loadavg: 0.40 0.20 0.15 4/176 14986
/proc/meminfo: memFree=30035336/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 83966 0 0 0 18 11 0 0 20 0 4 0 36225502 1247350784 83802 33554432000 4194304 16246674 140736437365808 140736437365232 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 304529 83811 814 2943 0 301423 0
[pid=14985/tid=14987] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 83818 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 83829 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 83840 33554432000 4194304 16246674 140736437365808 139912530611376 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.700404 s]
/proc/loadavg: 0.40 0.20 0.15 4/176 14986
/proc/meminfo: memFree=30035336/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 213978 0 0 0 41 28 0 0 20 0 4 0 36225502 1247350784 213814 33554432000 4194304 16246674 140736437365808 140736437347712 13192509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 304529 213826 814 2943 0 301423 0
[pid=14985/tid=14987] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 213830 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 213838 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36225503 1247350784 213850 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 0.40 0.20 0.15 5/184 14994
/proc/meminfo: memFree=28624188/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 266902 0 0 0 113 36 0 0 20 0 4 0 36225502 1335431168 266716 33554432000 4194304 16246674 140736437365808 140736437365120 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 326033 266716 873 2943 0 322927 0
[pid=14985/tid=14987] ppid=14979 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1335431168 266716 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1335431168 266716 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1335431168 266716 33554432000 4194304 16246674 140736437365808 139912530611376 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) 1304132

[startup+3.10041 s]
/proc/loadavg: 0.40 0.20 0.15 5/184 14994
/proc/meminfo: memFree=27893952/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 267766 0 0 0 273 36 0 0 20 0 4 0 36225502 1338576896 267580 33554432000 4194304 16246674 140736437365808 140736437347712 5861156 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 326801 267580 873 2943 0 323695 0
[pid=14985/tid=14987] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267580 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267580 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267580 33554432000 4194304 16246674 140736437365808 139912530611376 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) 1307204

[startup+6.3004 s]
/proc/loadavg: 0.53 0.23 0.16 4/184 14994
/proc/meminfo: memFree=27892340/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 267919 0 0 0 593 36 0 0 20 0 4 0 36225502 1338576896 267733 33554432000 4194304 16246674 140736437365808 140736437348808 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 326801 267733 873 2943 0 323695 0
[pid=14985/tid=14987] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.65 0.26 0.17 4/184 14994
/proc/meminfo: memFree=27891324/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 267919 0 0 0 1233 36 0 0 20 0 4 0 36225502 1338576896 267733 33554432000 4194304 16246674 140736437365808 140736437348808 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 326801 267733 873 2943 0 323695 0
[pid=14985/tid=14987] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1338576896 267733 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.03 0.36 0.20 4/184 14994
/proc/meminfo: memFree=27889980/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 268178 0 0 0 2513 36 0 0 20 0 4 0 36225502 1339625472 267992 33554432000 4194304 16246674 140736437365808 140736437348808 5723304 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 327057 267992 873 2943 0 323951 0
[pid=14985/tid=14987] ppid=14979 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1339625472 267992 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1339625472 267992 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1339625472 267992 33554432000 4194304 16246674 140736437365808 139912530611376 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) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.43 0.51 0.25 4/184 14994
/proc/meminfo: memFree=27877564/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1310276 CPUtime=51.07 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 268690 0 0 0 5071 36 0 0 20 0 4 0 36225502 1341722624 268504 33554432000 4194304 16246674 140736437365808 140736437347712 6018762 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 327569 268504 873 2943 0 324463 0
[pid=14985/tid=14987] ppid=14979 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1341722624 268504 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1341722624 268504 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1341722624 268504 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 1.94 0.79 0.36 4/183 14995
/proc/meminfo: memFree=27874884/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 269118 0 0 0 10191 37 0 0 20 0 4 0 36225502 1343819776 268932 33554432000 4194304 16246674 140736437365808 140736437347712 5823989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 328081 268932 873 2943 0 324975 0
[pid=14985/tid=14987] ppid=14979 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1343819776 268932 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1343819776 268932 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1343819776 268932 33554432000 4194304 16246674 140736437365808 139912530611376 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) 1312324


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

/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.45 2.30 1.73 4/183 15025
/proc/meminfo: memFree=27855860/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1301.83 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271680 0 0 0 130140 43 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.51 2.34 1.78 4/183 15027
/proc/meminfo: memFree=27853352/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1361.81 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 136138 43 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437348808 6842434 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.50 2.37 1.82 4/183 15028
/proc/meminfo: memFree=27853832/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1421.8 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 142137 43 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 5589718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.59 2.42 1.87 4/183 15029
/proc/meminfo: memFree=27853632/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1481.79 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 148135 44 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 4220498 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.49 2.42 1.90 5/183 15030
/proc/meminfo: memFree=27853424/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1541.79 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 154135 44 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.46 2.42 1.93 4/183 15031
/proc/meminfo: memFree=27853340/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1601.77 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 160133 44 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.29 2.38 1.95 5/183 15033
/proc/meminfo: memFree=27853444/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1661.76 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 166132 44 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.42 2.41 1.98 4/183 15034
/proc/meminfo: memFree=27850692/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1721.76 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 172131 45 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.42 2.40 2.01 4/183 15035
/proc/meminfo: memFree=27849864/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1781.75 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 178130 45 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.38 2.39 2.01 5/184 15038
/proc/meminfo: memFree=27849680/32872528 swapFree=1400172/1569824
[pid=14985] ppid=14979 vsize=1320516 CPUtime=1800.04 cores=0,2,4,6
/proc/14985/stat : 14985 (toysat) R 14979 14985 14941 0 -1 4202496 271702 0 0 0 179959 45 0 0 20 0 4 0 36225502 1352208384 271324 33554432000 4194304 16246674 140736437365808 140736437347712 5722608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14985/statm: 330129 271324 877 2943 0 327023 0
[pid=14985/tid=14987] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14987/stat : 14987 (toysat) S 14979 14985 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912551574768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14985/tid=14988] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14988/stat : 14988 (toysat) S 14979 14985 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912541084912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14985/tid=14989] ppid=14979 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14985/task/14989/stat : 14989 (toysat) S 14979 14985 14941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36225503 1352208384 271324 33554432000 4194304 16246674 140736437365808 139912530611376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1320516

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.6
CPU system time (s): 0.45593
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.45593
maximum resident set size= 1085296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271702
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= 462
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.29335 second user time and 7.30089 second system time

The end

Begin job on node140 at 2016-06-19 15:10:03
IDJOB=4109142
IDBENCH=78672
IDSOLVER=2553
FILE ID=node140/4109142-1466341803
RUNJOBID= node140-1466341803-14957
PBS_JOBID= 19922013
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109142-1466341803/watcher-4109142-1466341803 -o /tmp/evaluation-result-4109142-1466341803/solver-4109142-1466341803 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14957 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109142-1466341803.wbo

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

MD5SUM BENCH= 42da1cd697f3cedc8c0556e71b08964e
RANDOM SEED=841124160

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.54
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.714
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:        30037168 kB
Buffers:          169996 kB
Cached:           345216 kB
SwapCached:         2736 kB
Active:           171404 kB
Inactive:         347448 kB
Active(anon):       3384 kB
Inactive(anon):     2960 kB
Active(file):     168020 kB
Inactive(file):   344488 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:             32648 kB
Writeback:             0 kB
AnonPages:       1572524 kB
Mapped:             8032 kB
Shmem:                 0 kB
Slab:             611500 kB
SReclaimable:      55616 kB
SUnreclaim:       555884 kB
KernelStack:        1392 kB
PageTables:         7260 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71700 MiB
End job on node140 at 2016-06-19 15:40:04