0.00/0.00	c 2016-06-06T15:00:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078710-1465218023.opb"]
0.00/0.01	c use --random-gen="644241438 2663463088 3034979748 2632918747 2918911255 655757596 282340540 2881309096 3076952688 3618875214 3152745894 3317343469 2503678146 1753215959 2956139517 3070699209 3594381161 2103581011 2576821800 1225911730 1263284202 522885891 2398577562 3442610066 904610056 2773983716 2028611150 2579538035 1241862507 2845721283 1895003322 1955332246 526329362 3249842292 786318267 545644758 2253952025 2963488216 46316422 2623856810 601294845 1142132364 2474092309 1968088341 2119290975 2316599322 3069737010 825903954 3223351447 1463388750 566712290 3427569747 2699277659 1995446211 4066683747 1751580717 2013603656 1385365966 1444194687 1220940729 2905299944 3677702074 4126208571 2216457941 1565204920 972358554 3779146311 92815544 2308886445 2409384252 3735051678 2101086402 2801093714 1555170122 995328751 3839781349 3309143154 3222428976 3168566758 99075131 1310737004 2724388794 1487915748 3337235732 721783274 3809214737 2041724794 3389590730 2813169955 1279747595 2528111389 1409227433 3183798298 3829250882 3532522553 280953224 1048034285 1900948887 1504946747 220846509 4036487363 3435379544 273611940 1436904922 2485270308 3660606836 4071330458 3245384294 642453462 1896666948 2073060640 2458930044 3043245959 848792763 1212104991 589740467 2050946290 4218578173 3597206836 4176455337 2830604556 302483962 1030388274 3593105030 2355907458 1959763554 1726614975 2024713188 4281633942 24713958 3578992808 750781121 1653903359 152821849 1300249334 892558156 1897234127 2145956178 2682796487 2208976694 3205592492 3714453663 3875646037 191990047 1639140646 3790577503 2059205817 425987493 3166357345 205731310 860729727 3326616162 2524746530 1713757771 2614207953 2229594447 2929292820 496983803 2235715772 3821753730 4156648235 925984921 703013464 3375693791 3332460052 384564274 2859347413 157403482 3847444589 395540497 695835932 590243369 2818726472 105150379 2433269159 1982351734 1847540887 926467231 3161149068 3325817518 126457162 1144721065 1686701010 4056323076 3728834426 50341032 1079760685 3711927178 1601833103 1007531901 3257760971 2596897343 3337765922 762032293 1366645753 2530295311 2763324956 3988908864 2168859015 2547124754 1296471517 2186427320 1695311286 2810656723 2170798193 2782380354 4170785744 3745299722 3152283344 1081181480 2746053260 170361343 454747049 3243725242 3493805651 2864524010 1570830625 3122657793 3686491150 4094883762 444436339 2797233973 52311417 3627165434 4250139428 1304644603 914377453 584758788 558639113 2062572504 2745203327 3334471254 3267307996 1915467950 1830519546 758113072 4056968418 571947265 2927267401 506182014 2911617397 2867022197 733771786 1310034954 2995196465 4067076319 1889077034 3880673800 1472482709 1379582157 787848726 997131375 3839543174 1201569940 2373469467 3804505264 255 362436" option to reproduce the execution
0.00/0.02	c #vars 428
0.00/0.02	c #constraints 942
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      456      0 |       15 |        0
0.00/0.09	c  0.0s |       1 |      130 |      100 |      456      0 |       15 |       30
0.09/0.16	c  0.1s |       2 |      405 |      250 |      502      0 |       15 |       30
0.19/0.29	c  0.2s |       3 |      773 |      475 |      553      0 |       15 |       30
0.38/0.48	c  0.4s |       4 |     1257 |      813 |      609      0 |       15 |       30
0.69/0.77	c  0.7s |       5 |     1995 |     1320 |      670      2 |       15 |       30
1.09/1.15	c  1.1s |       6 |     3154 |     2081 |      812      3 |       17 |       34
1.58/1.62	c  1.6s |       7 |     4490 |     3223 |      894      5 |       17 |       34
2.30/2.37	c  2.3s |       8 |     6569 |     4936 |      984      8 |       18 |       36
3.40/3.46	c  3.4s |       9 |     9504 |     7506 |     1083     12 |       18 |       36
5.29/5.33	c  5.3s |      10 |    14046 |    11361 |     1192     18 |       18 |       36
7.29/7.37	c  7.3s |      10 |    19263 |    16061 |     1192     25 |       18 |       36
7.79/7.86	c  7.8s |      11 |    20490 |    17144 |     1312     26 |       18 |       36
9.78/9.90	c  9.9s |      11 |    25485 |    21444 |     1312     32 |       19 |       38
11.89/11.92	c 11.9s |      11 |    30197 |    25644 |     1312     37 |       19 |       38
11.99/12.01	c 12.0s |      12 |    30391 |    25819 |     1444     37 |       19 |       38
13.99/14.03	c 14.0s |      12 |    35487 |    30219 |     1444     43 |       19 |       38
15.99/16.05	c 16.0s |      12 |    39744 |    34019 |     1444     47 |       19 |       38
17.99/18.09	c 18.0s |      12 |    44238 |    38019 |     1444     52 |       19 |       38
18.49/18.57	c 18.5s |      13 |    45249 |    38832 |     1589     53 |       20 |       40
20.49/20.59	c 20.5s |      13 |    50127 |    42932 |     1589     57 |       21 |       42
22.58/22.64	c 22.6s |      13 |    54330 |    46832 |     1589     61 |       21 |       42
24.58/24.65	c 24.6s |      13 |    58459 |    50432 |     1589     65 |       21 |       42
26.59/26.69	c 26.7s |      13 |    62793 |    54232 |     1589     69 |       21 |       42
28.69/28.71	c 28.7s |      13 |    67133 |    57932 |     1589     73 |       21 |       42
28.89/28.95	c 28.9s |      14 |    67618 |    58352 |     1748     73 |       21 |       42
30.89/30.97	c 30.9s |      14 |    72935 |    62752 |     1748     78 |       23 |       46
32.88/32.98	c 32.9s |      14 |    77542 |    66852 |     1748     82 |       23 |       46
34.98/35.00	c 35.0s |      14 |    82233 |    70952 |     1748     86 |       23 |       46
36.98/37.02	c 37.0s |      14 |    86571 |    75052 |     1748     90 |       23 |       46
38.99/39.07	c 39.0s |      14 |    91167 |    79152 |     1748     95 |       23 |       46
41.08/41.10	c 41.1s |      14 |    95829 |    83252 |     1748     99 |       23 |       46
43.08/43.16	c 43.1s |      14 |   100125 |    87152 |     1923    102 |       23 |       46
43.38/43.43	c 43.4s |      15 |   100658 |    87632 |     1923    103 |       23 |       46
45.38/45.47	c 45.4s |      15 |   104978 |    91432 |     1923    106 |       23 |       46
47.39/47.47	c 47.4s |      15 |   109249 |    95232 |     1923    110 |       23 |       46
49.38/49.48	c 49.4s |      15 |   113674 |    99132 |     1923    114 |       23 |       46
51.39/51.48	c 51.4s |      15 |   117920 |   102932 |     1923    117 |       23 |       46
53.48/53.52	c 53.5s |      15 |   122047 |   106832 |     1923    121 |       23 |       46
55.48/55.58	c 55.5s |      15 |   126241 |   110832 |     1923    124 |       23 |       46
57.48/57.59	c 57.5s |      15 |   130277 |   114632 |     1923    128 |       23 |       46
59.49/59.60	c 59.6s |      15 |   134453 |   118532 |     1923    131 |       23 |       46
61.58/61.61	c 61.6s |      15 |   138039 |   121832 |     1923    134 |       23 |       46
63.58/63.63	c 63.6s |      15 |   142041 |   125432 |     1923    138 |       23 |       46
65.58/65.65	c 65.6s |      15 |   146393 |   129132 |     1923    141 |       23 |       46
67.08/67.10	c 67.1s |      16 |   149289 |   131552 |     2116    143 |       23 |       46
69.07/69.13	c 69.1s |      16 |   153495 |   135352 |     2116    147 |       23 |       46
71.07/71.17	c 71.1s |      16 |   157312 |   138752 |     2116    149 |       23 |       46
73.18/73.22	c 73.2s |      16 |   161176 |   142152 |     2116    152 |       23 |       46
75.18/75.24	c 75.2s |      16 |   165560 |   146052 |     2116    156 |       23 |       46
77.18/77.29	c 77.2s |      16 |   169463 |   149752 |     2116    159 |       23 |       46
79.29/79.34	c 79.3s |      16 |   173095 |   153052 |     2116    162 |       23 |       46
81.28/81.36	c 81.3s |      16 |   176858 |   156552 |     2116    165 |       23 |       46
83.28/83.37	c 83.3s |      16 |   180375 |   159852 |     2116    167 |       23 |       46
85.28/85.38	c 85.3s |      16 |   184154 |   163252 |     2116    170 |       23 |       46
87.28/87.39	c 87.3s |      16 |   187936 |   166552 |     2116    173 |       23 |       46
89.38/89.43	c 89.4s |      16 |   191931 |   170052 |     2116    176 |       23 |       46
91.39/91.47	c 91.4s |      16 |   196012 |   173552 |     2116    179 |       23 |       46
93.38/93.50	c 93.5s |      16 |   200262 |   177252 |     2116    182 |       23 |       46
95.48/95.51	c 95.5s |      16 |   204650 |   181152 |     2116    185 |       23 |       46
97.48/97.54	c 97.5s |      16 |   208535 |   184652 |     2116    188 |       23 |       46
99.47/99.57	c 99.5s |      16 |   212452 |   188052 |     2116    191 |       23 |       46
101.47/101.60	c  101s |      16 |   216030 |   191152 |     2116    194 |       23 |       46
103.57/103.62	c  103s |      16 |   220091 |   194552 |     2116    197 |       23 |       46
105.17/105.26	c  105s |      17 |   223325 |   197432 |     2328    199 |       23 |       46
107.17/107.27	c  107s |      17 |   227642 |   201332 |     2328    202 |       23 |       46
109.17/109.29	c  109s |      17 |   231436 |   204932 |     2328    205 |       23 |       46
111.27/111.32	c  111s |      17 |   235317 |   208632 |     2328    208 |       23 |       46
113.27/113.34	c  113s |      17 |   239492 |   212432 |     2328    211 |       23 |       46
115.37/115.40	c  115s |      17 |   243400 |   216032 |     2328    213 |       23 |       46
117.37/117.45	c  117s |      17 |   247648 |   219832 |     2328    216 |       23 |       46
119.37/119.45	c  119s |      17 |   251534 |   223432 |     2328    219 |       23 |       46
121.37/121.48	c  121s |      17 |   255418 |   226832 |     2328    222 |       23 |       46
123.48/123.53	c  123s |      17 |   259288 |   230432 |     2328    225 |       23 |       46
125.48/125.57	c  125s |      17 |   263555 |   234232 |     2328    228 |       23 |       46
127.58/127.62	c  127s |      17 |   267597 |   237932 |     2328    230 |       23 |       46
129.57/129.66	c  129s |      17 |   271710 |   241432 |     2328    233 |       23 |       46
131.57/131.67	c  131s |      17 |   275531 |   244832 |     2328    236 |       23 |       46
133.67/133.71	c  133s |      17 |   279518 |   248332 |     2328    238 |       23 |       46
135.67/135.71	c  135s |      17 |   283150 |   251632 |     2328    241 |       23 |       46
137.67/137.73	c  137s |      17 |   286773 |   255032 |     2328    244 |       23 |       46
139.67/139.78	c  139s |      17 |   290591 |   258432 |     2328    246 |       23 |       46
141.66/141.78	c  141s |      17 |   294082 |   261532 |     2328    249 |       23 |       46
143.66/143.78	c  143s |      17 |   298027 |   265132 |     2328    251 |       23 |       46
145.77/145.80	c  145s |      17 |   301899 |   268732 |     2328    254 |       23 |       46
147.77/147.82	c  147s |      17 |   305687 |   272132 |     2328    257 |       23 |       46
149.77/149.83	c  149s |      17 |   309343 |   275432 |     2328    259 |       23 |       46
151.77/151.84	c  151s |      17 |   313329 |   278832 |     2328    262 |       23 |       46
153.77/153.85	c  153s |      17 |   316950 |   282132 |     2328    264 |       23 |       46
155.77/155.87	c  155s |      17 |   320762 |   285532 |     2328    267 |       23 |       46
157.77/157.88	c  157s |      17 |   324574 |   288732 |     2328    270 |       23 |       46
159.86/159.90	c  159s |      17 |   328498 |   292332 |     2328    272 |       23 |       46
161.86/161.91	c  161s |      17 |   332070 |   295632 |     2561    275 |       23 |       46
162.16/162.29	c  162s |      18 |   332712 |   296252 |     2561    275 |       23 |       46
164.16/164.29	c  164s |      18 |   336834 |   299752 |     2561    278 |       23 |       46
166.27/166.32	c  166s |      18 |   340751 |   303352 |     2561    280 |       23 |       46
168.27/168.35	c  168s |      18 |   344799 |   307152 |     2561    283 |       23 |       46
170.37/170.40	c  170s |      18 |   348473 |   310552 |     2561    285 |       23 |       46
172.36/172.41	c  172s |      18 |   352495 |   314152 |     2561    288 |       23 |       46
174.36/174.45	c  174s |      18 |   356455 |   317852 |     2561    291 |       23 |       46
176.46/176.50	c  176s |      18 |   360520 |   321352 |     2561    293 |       23 |       46
178.47/178.53	c  178s |      18 |   364531 |   325052 |     2561    296 |       23 |       46
180.47/180.56	c  180s |      18 |   368536 |   328652 |     2561    298 |       23 |       46
182.46/182.59	c  182s |      18 |   372437 |   332052 |     2561    301 |       23 |       46
184.56/184.63	c  184s |      18 |   376560 |   335852 |     2561    304 |       23 |       46
186.56/186.64	c  186s |      18 |   380572 |   339452 |     2561    306 |       23 |       46
188.66/188.70	c  188s |      18 |   384542 |   342852 |     2561    308 |       23 |       46
190.66/190.72	c  190s |      18 |   388597 |   346552 |     2561    311 |       23 |       46
192.66/192.74	c  192s |      18 |   392364 |   350152 |     2561    314 |       23 |       46
194.66/194.77	c  194s |      18 |   395947 |   353452 |     2561    316 |       23 |       46
196.66/196.78	c  196s |      18 |   399784 |   356952 |     2561    318 |       23 |       46
198.66/198.79	c  198s |      18 |   403829 |   360452 |     2561    321 |       23 |       46
200.76/200.82	c  200s |      18 |   407730 |   363952 |     2561    323 |       23 |       46
202.76/202.85	c  202s |      18 |   411638 |   367352 |     2561    326 |       23 |       46
204.76/204.88	c  204s |      18 |   415206 |   370652 |     2561    328 |       23 |       46
206.86/206.93	c  206s |      18 |   419136 |   374152 |     2561    331 |       23 |       46
208.86/208.98	c  208s |      18 |   423045 |   377552 |     2561    333 |       23 |       46
210.95/211.02	c  210s |      18 |   426839 |   380952 |     2561    336 |       23 |       46
212.95/213.05	c  213s |      18 |   430530 |   384452 |     2561    338 |       23 |       46
214.95/215.05	c  215s |      18 |   433925 |   387552 |     2561    340 |       23 |       46
216.95/217.07	c  217s |      18 |   438052 |   391152 |     2561    343 |       23 |       46
218.96/219.09	c  219s |      18 |   441986 |   394352 |     2561    345 |       23 |       46
221.06/221.12	c  221s |      18 |   445910 |   397952 |     2561    348 |       23 |       46
223.05/223.16	c  223s |      18 |   449917 |   401452 |     2561    350 |       23 |       46
225.05/225.18	c  225s |      18 |   453450 |   404652 |     2561    352 |       23 |       46
227.15/227.21	c  227s |      18 |   457225 |   407852 |     2561    355 |       23 |       46
229.15/229.23	c  229s |      18 |   460831 |   411152 |     2561    357 |       23 |       46
231.15/231.28	c  231s |      18 |   464757 |   414552 |     2561    359 |       23 |       46
233.16/233.30	c  233s |      18 |   468765 |   417852 |     2561    362 |       23 |       46
235.25/235.33	c  235s |      18 |   472777 |   421452 |     2561    364 |       23 |       46
237.25/237.37	c  237s |      18 |   476565 |   424952 |     2561    367 |       23 |       46
239.35/239.42	c  239s |      18 |   480296 |   428452 |     2561    369 |       23 |       46
241.35/241.46	c  241s |      18 |   483934 |   431752 |     2561    372 |       23 |       46
243.35/243.48	c  243s |      18 |   487846 |   435052 |     2561    374 |       23 |       46
245.45/245.52	c  245s |      18 |   491902 |   438852 |     2561    377 |       23 |       46
247.45/247.55	c  247s |      18 |   495693 |   442352 |     2818    379 |       23 |       46
248.75/248.89	c  248s |      19 |   498047 |   444482 |     2818    380 |       23 |       46
250.86/250.92	c  250s |      19 |   501980 |   447882 |     2818    383 |       23 |       46
252.85/252.98	c  252s |      19 |   505570 |   451082 |     2818    385 |       23 |       46
254.95/255.01	c  254s |      19 |   509455 |   454382 |     2818    387 |       23 |       46
256.95/257.05	c  257s |      19 |   513125 |   457582 |     2818    389 |       23 |       46
258.95/259.08	c  259s |      19 |   516458 |   460582 |     2818    391 |       23 |       46
261.05/261.13	c  261s |      19 |   520116 |   463782 |     2818    393 |       23 |       46
263.04/263.13	c  263s |      19 |   523748 |   466682 |     2818    395 |       23 |       46
265.05/265.13	c  265s |      19 |   527184 |   469482 |     2818    397 |       23 |       46
267.04/267.16	c  267s |      19 |   531512 |   472982 |     2818    399 |       23 |       46
269.14/269.20	c  269s |      19 |   535067 |   476282 |     2818    401 |       23 |       46
271.14/271.21	c  271s |      19 |   538991 |   479282 |     2818    403 |       23 |       46
273.14/273.26	c  273s |      19 |   542693 |   482282 |     2818    405 |       23 |       46
275.14/275.27	c  275s |      19 |   546237 |   485082 |     2818    407 |       23 |       46
277.24/277.32	c  277s |      19 |   550380 |   488382 |     2818    409 |       23 |       46
279.24/279.35	c  279s |      19 |   554073 |   491482 |     2818    411 |       23 |       46
281.34/281.41	c  281s |      19 |   557925 |   494582 |     2818    413 |       23 |       46
283.33/283.45	c  283s |      19 |   561458 |   497482 |     2818    415 |       23 |       46
285.43/285.50	c  285s |      19 |   564914 |   500682 |     2818    417 |       23 |       46
287.43/287.53	c  287s |      19 |   569085 |   503782 |     2818    419 |       23 |       46
289.43/289.56	c  289s |      19 |   573034 |   506982 |     2818    421 |       23 |       46
291.44/291.58	c  291s |      19 |   576873 |   509882 |     2818    423 |       23 |       46
293.43/293.59	c  293s |      19 |   580891 |   513082 |     2818    425 |       23 |       46
295.53/295.65	c  295s |      19 |   584681 |   516382 |     2818    427 |       23 |       46
297.53/297.68	c  297s |      19 |   588525 |   519382 |     2818    429 |       23 |       46
299.63/299.70	c  299s |      19 |   592504 |   522482 |     2818    431 |       23 |       46
301.63/301.72	c  301s |      19 |   596064 |   525482 |     2818    433 |       23 |       46
303.63/303.74	c  303s |      19 |   599596 |   528282 |     2818    435 |       23 |       46
305.73/305.83	c  305s |      19 |   603090 |   531082 |     2818    437 |       23 |       46
307.72/307.89	c  307s |      19 |   606507 |   533882 |     2818    438 |       23 |       46
309.82/309.91	c  309s |      19 |   610013 |   536682 |     2818    440 |       23 |       46
311.82/311.92	c  311s |      19 |   613633 |   539382 |     2818    442 |       23 |       46
313.82/313.94	c  313s |      19 |   616873 |   542182 |     2818    444 |       23 |       46
315.92/316.01	c  315s |      19 |   620282 |   545082 |     2818    446 |       23 |       46
317.92/318.06	c  318s |      19 |   623765 |   547782 |     2818    447 |       23 |       46
319.92/320.10	c  320s |      19 |   626950 |   550482 |     2818    449 |       23 |       46
322.02/322.10	c  322s |      19 |   630517 |   553582 |     2818    451 |       23 |       46
324.02/324.11	c  324s |      19 |   633855 |   556382 |     2818    453 |       23 |       46
326.01/326.16	c  326s |      19 |   637199 |   559082 |     2818    455 |       23 |       46
328.11/328.21	c  328s |      19 |   641385 |   562382 |     2818    457 |       23 |       46
330.11/330.27	c  330s |      19 |   645399 |   565982 |     2818    459 |       23 |       46
332.12/332.27	c  332s |      19 |   648720 |   568982 |     2818    461 |       23 |       46
334.21/334.33	c  334s |      19 |   652416 |   571882 |     2818    463 |       23 |       46
336.21/336.36	c  336s |      19 |   655951 |   574882 |     2818    465 |       23 |       46
338.21/338.37	c  338s |      19 |   659090 |   577682 |     2818    467 |       23 |       46
340.31/340.42	c  340s |      19 |   662888 |   580582 |     2818    469 |       23 |       46
342.31/342.45	c  342s |      19 |   666378 |   583582 |     2818    470 |       23 |       46
344.31/344.47	c  344s |      19 |   669730 |   586482 |     2818    472 |       23 |       46
346.31/346.48	c  346s |      19 |   673325 |   588982 |     2818    474 |       23 |       46
348.40/348.50	c  348s |      19 |   676806 |   591782 |     2818    476 |       23 |       46
350.40/350.51	c  350s |      19 |   680560 |   594882 |     2818    478 |       23 |       46
352.40/352.52	c  352s |      19 |   684712 |   597982 |     2818    480 |       23 |       46
354.40/354.53	c  354s |      19 |   688076 |   600982 |     2818    482 |       23 |       46
356.40/356.54	c  356s |      19 |   691278 |   603882 |     2818    484 |       23 |       46
358.40/358.55	c  358s |      19 |   694627 |   606582 |     2818    485 |       23 |       46
360.40/360.58	c  360s |      19 |   698508 |   609382 |     2818    487 |       23 |       46
362.50/362.60	c  362s |      19 |   701797 |   611982 |     2818    489 |       23 |       46
364.50/364.64	c  364s |      19 |   705268 |   614582 |     2818    491 |       23 |       46
366.49/366.65	c  366s |      19 |   708546 |   617482 |     2818    493 |       23 |       46
368.59/368.73	c  368s |      19 |   711971 |   620282 |     2818    494 |       23 |       46
370.60/370.80	c  370s |      19 |   715324 |   622982 |     2818    496 |       23 |       46
372.69/372.83	c  372s |      19 |   718643 |   625682 |     2818    498 |       23 |       46
374.69/374.88	c  374s |      19 |   721848 |   628382 |     2818    500 |       23 |       46
376.69/376.89	c  376s |      19 |   725174 |   630982 |     2818    501 |       23 |       46
378.79/378.96	c  378s |      19 |   728280 |   633682 |     2818    503 |       23 |       46
380.79/380.98	c  380s |      19 |   731948 |   636482 |     2818    505 |       23 |       46
382.80/382.99	c  382s |      19 |   735236 |   638982 |     2818    506 |       23 |       46
384.90/385.05	c  385s |      19 |   739011 |   641882 |     2818    508 |       23 |       46
386.89/387.06	c  387s |      19 |   742325 |   644682 |     2818    510 |       23 |       46
388.88/389.09	c  389s |      19 |   745504 |   647282 |     2818    512 |       23 |       46
390.98/391.13	c  391s |      19 |   748681 |   649782 |     2818    513 |       23 |       46
393.08/393.21	c  393s |      19 |   751798 |   652282 |     2818    515 |       23 |       46
395.08/395.24	c  395s |      19 |   755102 |   654782 |     2818    517 |       23 |       46
397.18/397.32	c  397s |      19 |   759603 |   657882 |     2818    519 |       23 |       46
399.18/399.34	c  399s |      19 |   763428 |   660982 |     2818    521 |       23 |       46
401.18/401.35	c  401s |      19 |   767044 |   663882 |     3100    522 |       23 |       46
403.18/403.38	c  403s |      19 |   770224 |   666682 |     3100    524 |       23 |       46
403.28/403.49	c  403s |      20 |   770394 |   666827 |     3100    524 |       23 |       46
405.38/405.52	c  405s |      20 |   774625 |   670727 |     3100    526 |       23 |       46
407.37/407.55	c  407s |      20 |   778479 |   674227 |     3100    528 |       23 |       46
409.37/409.59	c  409s |      20 |   782230 |   677627 |     3100    530 |       23 |       46
411.38/411.59	c  411s |      20 |   786601 |   681027 |     3100    532 |       23 |       46
413.37/413.60	c  413s |      20 |   790749 |   684527 |     3100    534 |       23 |       46
415.47/415.66	c  415s |      20 |   794599 |   688027 |     3100    537 |       23 |       46
417.57/417.70	c  417s |      20 |   798397 |   691627 |     3100    539 |       23 |       46
419.57/419.75	c  419s |      20 |   802248 |   695027 |     3100    541 |       23 |       46
421.67/421.80	c  421s |      20 |   806155 |   698627 |     3100    543 |       23 |       46
423.67/423.81	c  423s |      20 |   809769 |   701927 |     3100    545 |       23 |       46
425.68/425.86	c  425s |      20 |   813672 |   705527 |     3100    547 |       23 |       46
427.67/427.90	c  427s |      20 |   817321 |   708927 |     3100    549 |       23 |       46
429.77/429.92	c  429s |      20 |   821124 |   712227 |     3100    551 |       23 |       46
431.77/431.94	c  431s |      20 |   824582 |   715327 |     3100    553 |       23 |       46
433.77/433.94	c  433s |      20 |   828771 |   718927 |     3100    555 |       23 |       46
435.77/435.98	c  435s |      20 |   833203 |   723127 |     3100    557 |       23 |       46
437.87/438.01	c  437s |      20 |   837362 |   727027 |     3100    560 |       23 |       46
439.87/440.01	c  439s |      20 |   841484 |   730927 |     3100    562 |       23 |       46
441.87/442.04	c  441s |      20 |   845481 |   734727 |     3100    564 |       23 |       46
443.87/444.07	c  444s |      20 |   849030 |   738027 |     3100    566 |       23 |       46
445.96/446.11	c  446s |      20 |   853006 |   741827 |     3100    569 |       23 |       46
447.96/448.12	c  448s |      20 |   857025 |   745627 |     3100    571 |       23 |       46
449.96/450.15	c  450s |      20 |   860993 |   749427 |     3100    573 |       23 |       46
451.97/452.19	c  452s |      20 |   864780 |   752927 |     3100    575 |       23 |       46
453.96/454.19	c  454s |      20 |   868660 |   756527 |     3100    577 |       23 |       46
456.06/456.24	c  456s |      20 |   872461 |   760127 |     3100    579 |       23 |       46
458.06/458.27	c  458s |      20 |   876135 |   763527 |     3100    581 |       23 |       46
460.06/460.29	c  460s |      20 |   880083 |   767027 |     3100    584 |       23 |       46
462.16/462.36	c  462s |      20 |   883877 |   770327 |     3100    586 |       23 |       46
464.26/464.40	c  464s |      20 |   887816 |   774027 |     3100    588 |       23 |       46
466.26/466.43	c  466s |      20 |   891384 |   777427 |     3100    590 |       23 |       46
468.25/468.47	c  468s |      20 |   895189 |   781027 |     3100    592 |       23 |       46
470.25/470.50	c  470s |      20 |   898720 |   784127 |     3100    594 |       23 |       46
472.35/472.54	c  472s |      20 |   902577 |   787627 |     3100    596 |       23 |       46
474.35/474.58	c  474s |      20 |   906167 |   790627 |     3100    598 |       23 |       46
476.45/476.61	c  476s |      20 |   909677 |   793727 |     3100    599 |       23 |       46
478.45/478.68	c  478s |      20 |   913166 |   796827 |     3100    601 |       23 |       46
480.45/480.69	c  480s |      20 |   916585 |   799727 |     3100    603 |       23 |       46
482.54/482.75	c  482s |      20 |   920144 |   803027 |     3100    605 |       23 |       46
484.54/484.78	c  484s |      20 |   923730 |   806427 |     3100    607 |       23 |       46
486.64/486.81	c  486s |      20 |   927128 |   809627 |     3100    609 |       23 |       46
488.64/488.87	c  488s |      20 |   930543 |   812627 |     3100    611 |       23 |       46
490.74/490.91	c  490s |      20 |   934235 |   815827 |     3100    613 |       23 |       46
492.75/492.94	c  492s |      20 |   937776 |   818927 |     3100    615 |       23 |       46
494.74/494.98	c  494s |      20 |   941735 |   822427 |     3100    617 |       23 |       46
496.84/497.02	c  496s |      20 |   945746 |   826027 |     3100    619 |       23 |       46
498.84/499.07	c  499s |      20 |   949358 |   829227 |     3100    621 |       23 |       46
500.94/501.12	c  501s |      20 |   953306 |   832727 |     3100    623 |       23 |       46
502.94/503.16	c  503s |      20 |   956719 |   835927 |     3100    625 |       23 |       46
504.94/505.17	c  505s |      20 |   960505 |   839427 |     3100    627 |       23 |       46
507.04/507.21	c  507s |      20 |   964047 |   842527 |     3100    629 |       23 |       46
509.03/509.25	c  509s |      20 |   967642 |   845627 |     3100    631 |       23 |       46
511.03/511.26	c  511s |      20 |   971085 |   848827 |     3100    633 |       23 |       46
513.03/513.29	c  513s |      20 |   974522 |   852027 |     3100    634 |       23 |       46
515.13/515.34	c  515s |      20 |   978049 |   855327 |     3100    636 |       23 |       46
517.13/517.37	c  517s |      20 |   981274 |   858327 |     3100    638 |       23 |       46
519.14/519.37	c  519s |      20 |   984668 |   861327 |     3100    640 |       23 |       46
521.23/521.41	c  521s |      20 |   988115 |   864127 |     3100    642 |       23 |       46
523.23/523.46	c  523s |      20 |   991641 |   867227 |     3100    643 |       23 |       46
525.23/525.49	c  525s |      20 |   995407 |   870627 |     3100    645 |       23 |       46
527.32/527.52	c  527s |      20 |   999007 |   873827 |     3100    647 |       23 |       46
529.32/529.54	c  529s |      20 |  1002609 |   877027 |     3100    649 |       23 |       46
531.32/531.59	c  531s |      20 |  1006010 |   880027 |     3100    651 |       23 |       46
533.43/533.61	c  533s |      20 |  1009263 |   882827 |     3100    653 |       23 |       46
535.42/535.64	c  535s |      20 |  1012461 |   885727 |     3100    654 |       23 |       46
537.42/537.66	c  537s |      20 |  1015773 |   888727 |     3100    656 |       23 |       46
539.42/539.66	c  539s |      20 |  1019855 |   891827 |     3100    658 |       23 |       46
541.42/541.67	c  541s |      20 |  1023433 |   894827 |     3100    660 |       23 |       46
543.52/543.71	c  543s |      20 |  1027006 |   897827 |     3100    662 |       23 |       46
545.53/545.75	c  545s |      20 |  1030773 |   901027 |     3100    664 |       23 |       46
547.62/547.81	c  547s |      20 |  1034566 |   904527 |     3100    666 |       23 |       46
549.61/549.84	c  549s |      20 |  1038051 |   907727 |     3100    668 |       23 |       46
551.61/551.89	c  551s |      20 |  1041372 |   910727 |     3100    669 |       23 |       46
553.71/553.94	c  553s |      20 |  1044582 |   913627 |     3100    671 |       23 |       46
555.71/555.98	c  555s |      20 |  1047885 |   916527 |     3100    673 |       23 |       46
557.71/557.99	c  557s |      20 |  1051221 |   919427 |     3100    675 |       23 |       46
559.81/560.01	c  559s |      20 |  1054652 |   922327 |     3100    676 |       23 |       46
561.81/562.05	c  562s |      20 |  1058045 |   925327 |     3100    678 |       23 |       46
563.81/564.07	c  564s |      20 |  1061573 |   928227 |     3100    680 |       23 |       46
565.91/566.11	c  566s |      20 |  1065006 |   931227 |     3100    682 |       23 |       46
567.90/568.15	c  568s |      20 |  1068324 |   934027 |     3100    683 |       23 |       46
570.00/570.20	c  570s |      20 |  1071791 |   936927 |     3100    685 |       23 |       46
572.00/572.23	c  572s |      20 |  1075012 |   939727 |     3100    687 |       23 |       46
574.02/574.28	c  574s |      20 |  1078333 |   942627 |     3100    688 |       23 |       46
576.01/576.28	c  576s |      20 |  1081965 |   945427 |     3100    690 |       23 |       46
578.01/578.29	c  578s |      20 |  1084996 |   948027 |     3100    692 |       23 |       46
580.11/580.34	c  580s |      20 |  1088107 |   950827 |     3100    693 |       23 |       46
582.10/582.38	c  582s |      20 |  1092192 |   954227 |     3100    695 |       23 |       46
584.20/584.41	c  584s |      20 |  1095876 |   957627 |     3100    697 |       23 |       46
586.20/586.44	c  586s |      20 |  1099679 |   960927 |     3100    699 |       23 |       46
588.19/588.49	c  588s |      20 |  1103383 |   964127 |     3100    701 |       23 |       46
590.30/590.53	c  590s |      20 |  1106669 |   967127 |     3100    703 |       23 |       46
592.30/592.57	c  592s |      20 |  1110336 |   970227 |     3100    705 |       23 |       46
594.40/594.62	c  594s |      20 |  1114100 |   973327 |     3100    707 |       23 |       46
596.39/596.68	c  596s |      20 |  1117584 |   976327 |     3100    709 |       23 |       46
598.49/598.72	c  598s |      20 |  1121351 |   979527 |     3100    710 |       23 |       46
600.50/600.75	c  600s |      20 |  1124667 |   982527 |     3100    712 |       23 |       46
602.60/602.82	c  602s |      20 |  1128125 |   985527 |     3100    714 |       23 |       46
604.59/604.87	c  604s |      20 |  1131384 |   988127 |     3100    716 |       23 |       46
606.69/606.95	c  606s |      20 |  1135087 |   991127 |     3100    717 |       23 |       46
608.69/608.99	c  608s |      20 |  1138226 |   993827 |     3411    719 |       23 |       46
610.78/611.06	c  611s |      20 |  1141422 |   996427 |     3411    720 |       23 |       46
612.88/613.12	c  613s |      20 |  1145298 |   999427 |     3411    722 |       23 |       46
613.59/613.85	c  613s |      21 |  1146352 |  1000345 |     3411    722 |       23 |       46
615.58/615.87	c  615s |      21 |  1150302 |  1003745 |     3411    724 |       23 |       46
617.58/617.89	c  617s |      21 |  1153899 |  1007045 |     3411    726 |       23 |       46
619.68/619.93	c  619s |      21 |  1157608 |  1010445 |     3411    728 |       23 |       46
621.68/621.95	c  621s |      21 |  1161023 |  1013545 |     3411    730 |       23 |       46
623.68/623.96	c  623s |      21 |  1164518 |  1016745 |     3411    731 |       23 |       46
625.68/625.96	c  625s |      21 |  1167979 |  1019745 |     3411    733 |       23 |       46
627.67/627.98	c  627s |      21 |  1171732 |  1022945 |     3411    735 |       23 |       46
629.67/629.98	c  629s |      21 |  1175451 |  1026045 |     3411    737 |       23 |       46
631.67/631.99	c  631s |      21 |  1179538 |  1029245 |     3411    738 |       23 |       46
633.77/634.01	c  633s |      21 |  1183186 |  1032245 |     3411    740 |       23 |       46
635.77/636.08	c  636s |      21 |  1187088 |  1035345 |     3411    742 |       23 |       46
637.87/638.14	c  638s |      21 |  1190955 |  1038445 |     3411    743 |       23 |       46
639.86/640.17	c  640s |      21 |  1194638 |  1041645 |     3411    745 |       23 |       46
641.86/642.18	c  642s |      21 |  1198098 |  1044845 |     3411    747 |       23 |       46
643.96/644.20	c  644s |      21 |  1201588 |  1047945 |     3411    748 |       23 |       46
645.96/646.25	c  646s |      21 |  1205107 |  1051145 |     3411    750 |       23 |       46
647.96/648.29	c  648s |      21 |  1208561 |  1054245 |     3411    752 |       23 |       46
650.07/650.33	c  650s |      21 |  1212062 |  1057245 |     3411    754 |       23 |       46
652.07/652.34	c  652s |      21 |  1215779 |  1060345 |     3411    755 |       23 |       46
654.07/654.38	c  654s |      21 |  1219340 |  1063345 |     3411    757 |       23 |       46
656.06/656.39	c  656s |      21 |  1222721 |  1066345 |     3411    758 |       23 |       46
658.06/658.39	c  658s |      21 |  1226265 |  1069245 |     3411    760 |       23 |       46
660.16/660.40	c  660s |      21 |  1229627 |  1072445 |     3411    762 |       23 |       46
662.16/662.41	c  662s |      21 |  1232907 |  1075545 |     3411    763 |       23 |       46
664.16/664.44	c  664s |      21 |  1236233 |  1078645 |     3411    765 |       23 |       46
666.15/666.45	c  666s |      21 |  1239611 |  1081645 |     3411    767 |       23 |       46
668.15/668.48	c  668s |      21 |  1243012 |  1084845 |     3411    768 |       23 |       46
670.25/670.53	c  670s |      21 |  1246322 |  1087945 |     3411    770 |       23 |       46
672.25/672.56	c  672s |      21 |  1249641 |  1090945 |     3411    772 |       23 |       46
674.35/674.60	c  674s |      21 |  1253353 |  1093945 |     3411    773 |       23 |       46
676.35/676.64	c  676s |      21 |  1256825 |  1096945 |     3411    775 |       23 |       46
678.45/678.70	c  678s |      21 |  1260141 |  1099745 |     3411    777 |       23 |       46
680.44/680.71	c  680s |      21 |  1263536 |  1102745 |     3411    778 |       23 |       46
682.44/682.73	c  682s |      21 |  1266995 |  1106045 |     3411    780 |       23 |       46
684.44/684.77	c  684s |      21 |  1270629 |  1109445 |     3411    782 |       23 |       46
686.44/686.78	c  686s |      21 |  1273862 |  1112545 |     3411    784 |       23 |       46
688.54/688.83	c  688s |      21 |  1277170 |  1115645 |     3411    785 |       23 |       46
690.55/690.87	c  690s |      21 |  1280459 |  1118745 |     3411    787 |       23 |       46
692.64/692.90	c  692s |      21 |  1283648 |  1121745 |     3411    789 |       23 |       46
694.64/694.91	c  694s |      21 |  1286977 |  1124845 |     3411    790 |       23 |       46
696.63/696.93	c  696s |      21 |  1290230 |  1127845 |     3411    792 |       23 |       46
698.63/698.96	c  698s |      21 |  1293333 |  1130745 |     3411    794 |       23 |       46
700.73/701.02	c  700s |      21 |  1296760 |  1133945 |     3411    795 |       23 |       46
702.75/703.05	c  703s |      21 |  1299825 |  1136845 |     3411    797 |       23 |       46
704.85/705.11	c  705s |      21 |  1302816 |  1139645 |     3411    798 |       23 |       46
706.83/707.12	c  707s |      21 |  1306119 |  1142645 |     3411    800 |       23 |       46
708.83/709.15	c  709s |      21 |  1309361 |  1145645 |     3411    802 |       23 |       46
710.83/711.16	c  711s |      21 |  1312435 |  1148445 |     3411    803 |       23 |       46
712.83/713.19	c  713s |      21 |  1315608 |  1151345 |     3411    805 |       23 |       46
714.93/715.20	c  715s |      21 |  1318665 |  1154045 |     3411    806 |       23 |       46
716.93/717.21	c  717s |      21 |  1321610 |  1156745 |     3411    808 |       23 |       46
718.92/719.25	c  719s |      21 |  1325081 |  1159845 |     3411    809 |       23 |       46
720.92/721.27	c  721s |      21 |  1328316 |  1162745 |     3411    811 |       23 |       46
723.02/723.30	c  723s |      21 |  1331372 |  1165545 |     3411    813 |       23 |       46
725.02/725.34	c  725s |      21 |  1334536 |  1168345 |     3411    814 |       23 |       46
727.03/727.39	c  727s |      21 |  1337499 |  1171045 |     3411    816 |       23 |       46
729.13/729.41	c  729s |      21 |  1340910 |  1174045 |     3411    817 |       23 |       46
731.12/731.44	c  731s |      21 |  1344068 |  1176845 |     3411    819 |       23 |       46
733.12/733.44	c  733s |      21 |  1347433 |  1179645 |     3411    820 |       23 |       46
735.12/735.45	c  735s |      21 |  1350757 |  1182445 |     3411    822 |       23 |       46
737.22/737.51	c  737s |      21 |  1354078 |  1185345 |     3411    823 |       23 |       46
739.22/739.57	c  739s |      21 |  1357538 |  1188545 |     3411    825 |       23 |       46
741.32/741.63	c  741s |      21 |  1360736 |  1191445 |     3411    827 |       23 |       46
743.32/743.63	c  743s |      21 |  1364130 |  1194345 |     3411    828 |       23 |       46
745.32/745.64	c  745s |      21 |  1367189 |  1196945 |     3411    830 |       23 |       46
747.31/747.69	c  747s |      21 |  1370461 |  1199845 |     3411    831 |       23 |       46
749.41/749.73	c  749s |      21 |  1373492 |  1202445 |     3411    833 |       23 |       46
751.41/751.74	c  751s |      21 |  1376709 |  1205145 |     3411    834 |       23 |       46
753.41/753.75	c  753s |      21 |  1379669 |  1207745 |     3411    835 |       23 |       46
755.51/755.82	c  755s |      21 |  1383186 |  1210645 |     3411    837 |       23 |       46
757.50/757.88	c  757s |      21 |  1386208 |  1213345 |     3411    839 |       23 |       46
759.50/759.88	c  759s |      21 |  1389204 |  1215945 |     3411    840 |       23 |       46
761.50/761.88	c  761s |      21 |  1392348 |  1218445 |     3411    841 |       23 |       46
763.60/763.90	c  763s |      21 |  1395593 |  1221145 |     3411    843 |       23 |       46
765.61/765.96	c  765s |      21 |  1398785 |  1223945 |     3411    844 |       23 |       46
767.61/767.97	c  767s |      21 |  1401769 |  1226645 |     3411    846 |       23 |       46
769.71/770.03	c  769s |      21 |  1404900 |  1229345 |     3411    847 |       23 |       46
771.70/772.05	c  772s |      21 |  1407847 |  1231845 |     3411    849 |       23 |       46
773.80/774.12	c  774s |      21 |  1411122 |  1234645 |     3411    850 |       23 |       46
775.80/776.17	c  776s |      21 |  1414800 |  1237645 |     3411    852 |       23 |       46
777.80/778.19	c  778s |      21 |  1418061 |  1240645 |     3411    853 |       23 |       46
779.90/780.23	c  780s |      21 |  1421099 |  1243445 |     3411    855 |       23 |       46
781.91/782.24	c  782s |      21 |  1424112 |  1246145 |     3411    856 |       23 |       46
783.90/784.27	c  784s |      21 |  1427502 |  1249045 |     3411    858 |       23 |       46
786.00/786.34	c  786s |      21 |  1430635 |  1251945 |     3411    860 |       23 |       46
787.99/788.37	c  788s |      21 |  1433797 |  1254745 |     3411    861 |       23 |       46
790.09/790.41	c  790s |      21 |  1437236 |  1257645 |     3411    863 |       23 |       46
792.09/792.43	c  792s |      21 |  1440891 |  1260945 |     3411    864 |       23 |       46
794.09/794.44	c  794s |      21 |  1444004 |  1263745 |     3411    866 |       23 |       46
796.10/796.46	c  796s |      21 |  1447484 |  1266745 |     3411    868 |       23 |       46
798.09/798.49	c  798s |      21 |  1450785 |  1269745 |     3411    869 |       23 |       46
800.19/800.55	c  800s |      21 |  1454034 |  1272645 |     3411    871 |       23 |       46
802.28/802.61	c  802s |      21 |  1457276 |  1275645 |     3411    872 |       23 |       46
804.28/804.62	c  804s |      21 |  1460285 |  1278445 |     3411    874 |       23 |       46
806.38/806.72	c  806s |      21 |  1463327 |  1281245 |     3411    876 |       23 |       46
808.38/808.76	c  808s |      21 |  1466384 |  1283945 |     3411    877 |       23 |       46
810.39/810.77	c  810s |      21 |  1469443 |  1286545 |     3411    878 |       23 |       46
812.48/812.82	c  812s |      21 |  1472681 |  1289345 |     3411    880 |       23 |       46
814.48/814.83	c  814s |      21 |  1475929 |  1292045 |     3411    881 |       23 |       46
816.48/816.88	c  816s |      21 |  1479157 |  1294645 |     3411    883 |       23 |       46
818.58/818.94	c  818s |      21 |  1482688 |  1297545 |     3411    884 |       23 |       46
820.58/820.99	c  820s |      21 |  1485780 |  1300145 |     3411    886 |       23 |       46
822.67/823.04	c  823s |      21 |  1489088 |  1302745 |     3411    887 |       23 |       46
824.78/825.11	c  825s |      21 |  1492349 |  1305245 |     3411    889 |       23 |       46
826.77/827.19	c  827s |      21 |  1495540 |  1307845 |     3411    890 |       23 |       46
828.87/829.25	c  829s |      21 |  1498568 |  1310245 |     3411    891 |       23 |       46
830.97/831.30	c  831s |      21 |  1501539 |  1312845 |     3411    893 |       23 |       46
832.97/833.32	c  833s |      21 |  1504548 |  1315345 |     3411    894 |       23 |       46
834.97/835.37	c  835s |      21 |  1507511 |  1317745 |     3411    895 |       23 |       46
837.06/837.42	c  837s |      21 |  1510546 |  1320145 |     3411    897 |       23 |       46
839.07/839.43	c  839s |      21 |  1513586 |  1322745 |     3411    898 |       23 |       46
841.06/841.48	c  841s |      21 |  1516709 |  1325245 |     3411    899 |       23 |       46
843.16/843.51	c  843s |      21 |  1520087 |  1327945 |     3411    901 |       23 |       46
845.16/845.57	c  845s |      21 |  1523490 |  1330645 |     3411    902 |       23 |       46
847.26/847.62	c  847s |      21 |  1526787 |  1333545 |     3411    904 |       23 |       46
849.25/849.66	c  849s |      21 |  1529932 |  1336445 |     3411    906 |       23 |       46
851.35/851.71	c  851s |      21 |  1532964 |  1339245 |     3411    907 |       23 |       46
853.36/853.75	c  853s |      21 |  1536283 |  1342045 |     3411    909 |       23 |       46
855.46/855.81	c  855s |      21 |  1539449 |  1345045 |     3411    910 |       23 |       46
857.45/857.82	c  857s |      21 |  1542531 |  1347745 |     3411    912 |       23 |       46
859.46/859.86	c  859s |      21 |  1545630 |  1350445 |     3411    913 |       23 |       46
861.55/861.93	c  861s |      21 |  1548477 |  1353145 |     3411    915 |       23 |       46
863.55/863.99	c  863s |      21 |  1551480 |  1355845 |     3411    916 |       23 |       46
865.65/866.00	c  865s |      21 |  1554440 |  1358445 |     3411    918 |       23 |       46
867.65/868.01	c  867s |      21 |  1557453 |  1361145 |     3411    919 |       23 |       46
869.64/870.06	c  870s |      21 |  1560391 |  1363845 |     3411    920 |       23 |       46
871.74/872.12	c  872s |      21 |  1563467 |  1366345 |     3411    922 |       23 |       46
873.74/874.17	c  874s |      21 |  1566553 |  1368945 |     3411    923 |       23 |       46
875.75/876.17	c  876s |      21 |  1569495 |  1371545 |     3411    925 |       23 |       46
877.84/878.24	c  878s |      21 |  1572705 |  1374345 |     3411    926 |       23 |       46
879.84/880.27	c  880s |      21 |  1575743 |  1376945 |     3411    928 |       23 |       46
881.85/882.28	c  882s |      21 |  1578908 |  1379645 |     3411    929 |       23 |       46
883.94/884.30	c  884s |      21 |  1581779 |  1382145 |     3411    930 |       23 |       46
885.94/886.32	c  886s |      21 |  1584744 |  1384645 |     3411    932 |       23 |       46
887.94/888.34	c  888s |      21 |  1587892 |  1387145 |     3411    933 |       23 |       46
890.04/890.41	c  890s |      21 |  1591064 |  1389745 |     3411    935 |       23 |       46
892.04/892.45	c  892s |      21 |  1594228 |  1392545 |     3411    936 |       23 |       46
894.04/894.46	c  894s |      21 |  1597750 |  1395745 |     3411    938 |       23 |       46
896.04/896.50	c  896s |      21 |  1601106 |  1398745 |     3411    939 |       23 |       46
898.14/898.56	c  898s |      21 |  1604400 |  1401745 |     3411    941 |       23 |       46
900.14/900.58	c  900s |      21 |  1607402 |  1404445 |     3411    943 |       23 |       46
902.14/902.59	c  902s |      21 |  1610476 |  1407145 |     3411    944 |       23 |       46
904.34/904.70	c  904s |      21 |  1613708 |  1409945 |     3411    946 |       23 |       46
906.33/906.74	c  906s |      21 |  1617044 |  1412845 |     3411    947 |       23 |       46
908.43/908.84	c  908s |      21 |  1620116 |  1415445 |     3411    949 |       23 |       46
910.44/910.90	c  910s |      21 |  1623583 |  1418145 |     3411    950 |       23 |       46
912.53/912.98	c  912s |      21 |  1627025 |  1420945 |     3411    952 |       23 |       46
914.53/914.99	c  914s |      21 |  1630300 |  1423545 |     3411    953 |       23 |       46
916.63/917.06	c  917s |      21 |  1633727 |  1426245 |     3411    954 |       23 |       46
918.73/919.12	c  919s |      21 |  1636954 |  1429045 |     3411    956 |       23 |       46
920.73/921.14	c  921s |      21 |  1640378 |  1431545 |     3411    957 |       23 |       46
922.84/923.21	c  923s |      21 |  1644011 |  1434445 |     3411    959 |       23 |       46
924.84/925.22	c  925s |      21 |  1647337 |  1437145 |     3411    960 |       23 |       46
926.84/927.30	c  927s |      21 |  1650958 |  1439845 |     3411    962 |       23 |       46
928.93/929.36	c  929s |      21 |  1654073 |  1442345 |     3411    963 |       23 |       46
930.93/931.39	c  931s |      21 |  1657327 |  1445045 |     3411    965 |       23 |       46
933.03/933.46	c  933s |      21 |  1661313 |  1448145 |     3411    966 |       23 |       46
935.13/935.52	c  935s |      21 |  1665056 |  1451145 |     3411    968 |       23 |       46
937.13/937.55	c  937s |      21 |  1668207 |  1454045 |     3411    970 |       23 |       46
939.14/939.56	c  939s |      21 |  1671382 |  1456945 |     3411    971 |       23 |       46
941.14/941.59	c  941s |      21 |  1674405 |  1459545 |     3411    973 |       23 |       46
943.23/943.61	c  943s |      21 |  1677672 |  1462345 |     3411    974 |       23 |       46
945.23/945.68	c  945s |      21 |  1681214 |  1465245 |     3411    976 |       23 |       46
947.33/947.74	c  947s |      21 |  1684633 |  1468145 |     3411    977 |       23 |       46
949.33/949.75	c  949s |      21 |  1687910 |  1470845 |     3411    979 |       23 |       46
951.33/951.79	c  951s |      21 |  1691351 |  1473645 |     3411    980 |       23 |       46
953.43/953.86	c  953s |      21 |  1695026 |  1476645 |     3411    982 |       23 |       46
955.53/955.93	c  955s |      21 |  1698487 |  1479645 |     3411    984 |       23 |       46
957.53/957.97	c  957s |      21 |  1701623 |  1482445 |     3411    985 |       23 |       46
959.63/960.04	c  959s |      21 |  1705086 |  1485145 |     3411    987 |       23 |       46
961.63/962.05	c  962s |      21 |  1708235 |  1487845 |     3411    988 |       23 |       46
963.63/964.07	c  964s |      21 |  1711708 |  1490645 |     3753    989 |       23 |       46
965.73/966.13	c  966s |      21 |  1714885 |  1493345 |     3753    991 |       23 |       46
967.73/968.17	c  968s |      21 |  1718228 |  1496245 |     3753    992 |       23 |       46
969.73/970.18	c  970s |      21 |  1721245 |  1499045 |     3753    994 |       23 |       46
970.93/971.38	c  971s |      22 |  1723066 |  1500622 |     3753    994 |       23 |       46
973.02/973.41	c  973s |      22 |  1726634 |  1503822 |     3753    996 |       23 |       46
975.02/975.47	c  975s |      22 |  1730059 |  1506922 |     3753    997 |       23 |       46
977.12/977.54	c  977s |      22 |  1733637 |  1510322 |     3753    999 |       23 |       46
979.12/979.59	c  979s |      22 |  1737106 |  1513522 |     3753   1001 |       23 |       46
981.22/981.63	c  981s |      22 |  1740743 |  1516722 |     3753   1002 |       23 |       46
983.22/983.65	c  983s |      22 |  1744195 |  1519522 |     3753   1004 |       23 |       46
985.23/985.65	c  985s |      22 |  1747864 |  1522822 |     3753   1005 |       23 |       46
987.22/987.68	c  987s |      22 |  1751899 |  1526622 |     3753   1007 |       23 |       46
989.32/989.71	c  989s |      22 |  1755605 |  1530122 |     3753   1009 |       23 |       46
991.32/991.75	c  991s |      22 |  1759175 |  1533522 |     3753   1011 |       23 |       46
993.32/993.76	c  993s |      22 |  1762892 |  1536922 |     3753   1012 |       23 |       46
995.42/995.80	c  995s |      22 |  1766693 |  1540322 |     3753   1014 |       23 |       46
997.43/997.81	c  997s |      22 |  1770308 |  1543622 |     3753   1016 |       23 |       46
999.43/999.85	c  999s |      22 |  1773953 |  1546922 |     3753   1017 |       23 |       46
1001.43/1001.88	c 1001s |      22 |  1777290 |  1549822 |     3753   1019 |       23 |       46
1003.52/1003.98	c 1003s |      22 |  1780935 |  1553022 |     3753   1021 |       23 |       46
1005.62/1006.03	c 1005s |      22 |  1784515 |  1556122 |     3753   1022 |       23 |       46
1007.62/1008.09	c 1008s |      22 |  1788067 |  1559022 |     3753   1023 |       23 |       46
1009.72/1010.14	c 1010s |      22 |  1791791 |  1562122 |     3753   1025 |       23 |       46
1011.73/1012.17	c 1012s |      22 |  1795510 |  1565422 |     3753   1027 |       23 |       46
1013.83/1014.24	c 1014s |      22 |  1798935 |  1568422 |     3753   1028 |       23 |       46
1015.82/1016.25	c 1016s |      22 |  1802099 |  1571322 |     3753   1030 |       23 |       46
1017.82/1018.25	c 1018s |      22 |  1805557 |  1574322 |     3753   1031 |       23 |       46
1019.82/1020.27	c 1020s |      22 |  1808865 |  1577222 |     3753   1033 |       23 |       46
1021.92/1022.30	c 1022s |      22 |  1812487 |  1580422 |     3753   1034 |       23 |       46
1023.92/1024.33	c 1024s |      22 |  1815957 |  1583622 |     3753   1036 |       23 |       46
1025.93/1026.34	c 1026s |      22 |  1819414 |  1586522 |     3753   1037 |       23 |       46
1028.02/1028.40	c 1028s |      22 |  1822903 |  1589522 |     3753   1039 |       23 |       46
1030.02/1030.47	c 1030s |      22 |  1826593 |  1592722 |     3753   1040 |       23 |       46
1032.12/1032.50	c 1032s |      22 |  1830252 |  1595722 |     3753   1042 |       23 |       46
1034.12/1034.54	c 1034s |      22 |  1833715 |  1599022 |     3753   1043 |       23 |       46
1036.22/1036.60	c 1036s |      22 |  1837119 |  1602222 |     3753   1045 |       23 |       46
1038.22/1038.64	c 1038s |      22 |  1840322 |  1605222 |     3753   1047 |       23 |       46
1040.22/1040.70	c 1040s |      22 |  1843606 |  1608322 |     3753   1048 |       23 |       46
1042.32/1042.74	c 1042s |      22 |  1846762 |  1611222 |     3753   1050 |       23 |       46
1044.42/1044.80	c 1044s |      22 |  1850203 |  1614122 |     3753   1051 |       23 |       46
1046.42/1046.83	c 1046s |      22 |  1853366 |  1617022 |     3753   1052 |       23 |       46
1048.42/1048.85	c 1048s |      22 |  1856551 |  1620022 |     3753   1054 |       23 |       46
1050.52/1050.90	c 1050s |      22 |  1859803 |  1623122 |     3753   1055 |       23 |       46
1052.52/1052.94	c 1052s |      22 |  1863138 |  1626322 |     3753   1057 |       23 |       46
1054.52/1054.99	c 1054s |      22 |  1866175 |  1629222 |     3753   1059 |       23 |       46
1056.61/1057.00	c 1056s |      22 |  1869400 |  1632322 |     3753   1060 |       23 |       46
1058.61/1059.04	c 1058s |      22 |  1872413 |  1635222 |     3753   1062 |       23 |       46
1060.61/1061.04	c 1060s |      22 |  1875394 |  1638122 |     3753   1063 |       23 |       46
1062.61/1063.05	c 1063s |      22 |  1878381 |  1641022 |     3753   1064 |       23 |       46
1064.61/1065.09	c 1065s |      22 |  1881391 |  1643922 |     3753   1066 |       23 |       46
1066.72/1067.12	c 1067s |      22 |  1884572 |  1646822 |     3753   1067 |       23 |       46
1068.71/1069.15	c 1069s |      22 |  1887527 |  1649522 |     3753   1069 |       23 |       46
1070.71/1071.16	c 1071s |      22 |  1890620 |  1652422 |     3753   1070 |       23 |       46
1072.81/1073.20	c 1073s |      22 |  1893763 |  1655222 |     3753   1072 |       23 |       46
1074.81/1075.24	c 1075s |      22 |  1897217 |  1658122 |     3753   1073 |       23 |       46
1076.81/1077.26	c 1077s |      22 |  1900473 |  1660922 |     3753   1074 |       23 |       46
1078.91/1079.31	c 1079s |      22 |  1903775 |  1663922 |     3753   1076 |       23 |       46
1080.91/1081.34	c 1081s |      22 |  1907102 |  1666822 |     3753   1077 |       23 |       46
1082.91/1083.36	c 1083s |      22 |  1910340 |  1669822 |     3753   1079 |       23 |       46
1085.01/1085.40	c 1085s |      22 |  1913621 |  1672922 |     3753   1080 |       23 |       46
1087.01/1087.42	c 1087s |      22 |  1916600 |  1675722 |     3753   1082 |       23 |       46
1089.01/1089.47	c 1089s |      22 |  1919787 |  1678722 |     3753   1083 |       23 |       46
1091.11/1091.54	c 1091s |      22 |  1922702 |  1681422 |     3753   1085 |       23 |       46
1093.11/1093.59	c 1093s |      22 |  1925821 |  1684222 |     3753   1086 |       23 |       46
1095.11/1095.60	c 1095s |      22 |  1928926 |  1686922 |     3753   1087 |       23 |       46
1097.21/1097.60	c 1097s |      22 |  1932029 |  1689622 |     3753   1089 |       23 |       46
1099.21/1099.63	c 1099s |      22 |  1934935 |  1692122 |     3753   1090 |       23 |       46
1101.21/1101.69	c 1101s |      22 |  1937779 |  1694722 |     3753   1091 |       23 |       46
1103.31/1103.72	c 1103s |      22 |  1940631 |  1697322 |     3753   1093 |       23 |       46
1105.31/1105.76	c 1105s |      22 |  1943834 |  1700222 |     3753   1094 |       23 |       46
1107.41/1107.80	c 1107s |      22 |  1947121 |  1703322 |     3753   1096 |       23 |       46
1109.40/1109.84	c 1109s |      22 |  1950358 |  1706322 |     3753   1097 |       23 |       46
1111.50/1111.90	c 1111s |      22 |  1953614 |  1709322 |     3753   1099 |       23 |       46
1113.50/1113.95	c 1113s |      22 |  1956623 |  1712122 |     3753   1100 |       23 |       46
1115.50/1115.97	c 1115s |      22 |  1959606 |  1714822 |     3753   1101 |       23 |       46
1117.60/1118.05	c 1118s |      22 |  1962415 |  1717422 |     3753   1103 |       23 |       46
1119.70/1120.11	c 1120s |      22 |  1965593 |  1720222 |     3753   1104 |       23 |       46
1121.72/1122.15	c 1122s |      22 |  1968713 |  1723022 |     3753   1105 |       23 |       46
1123.81/1124.21	c 1124s |      22 |  1971667 |  1725722 |     3753   1107 |       23 |       46
1125.81/1126.26	c 1126s |      22 |  1975278 |  1728622 |     3753   1108 |       23 |       46
1127.91/1128.30	c 1128s |      22 |  1978796 |  1731622 |     3753   1110 |       23 |       46
1129.91/1130.37	c 1130s |      22 |  1982267 |  1734522 |     3753   1111 |       23 |       46
1131.91/1132.39	c 1132s |      22 |  1985682 |  1737322 |     3753   1112 |       23 |       46
1134.01/1134.40	c 1134s |      22 |  1989095 |  1740222 |     3753   1114 |       23 |       46
1136.01/1136.46	c 1136s |      22 |  1992275 |  1742922 |     3753   1115 |       23 |       46
1138.01/1138.50	c 1138s |      22 |  1995882 |  1746322 |     3753   1117 |       23 |       46
1140.11/1140.59	c 1140s |      22 |  1999236 |  1749422 |     3753   1119 |       23 |       46
1142.20/1142.62	c 1142s |      22 |  2002797 |  1752522 |     3753   1120 |       23 |       46
1144.20/1144.66	c 1144s |      22 |  2006106 |  1755422 |     3753   1122 |       23 |       46
1146.20/1146.69	c 1146s |      22 |  2009348 |  1758422 |     3753   1123 |       23 |       46
1148.20/1148.69	c 1148s |      22 |  2012688 |  1761222 |     3753   1124 |       23 |       46
1150.31/1150.72	c 1150s |      22 |  2015987 |  1764122 |     3753   1126 |       23 |       46
1152.30/1152.76	c 1152s |      22 |  2019330 |  1767022 |     3753   1127 |       23 |       46
1154.30/1154.80	c 1154s |      22 |  2022731 |  1769922 |     3753   1129 |       23 |       46
1156.40/1156.86	c 1156s |      22 |  2025943 |  1772822 |     3753   1130 |       23 |       46
1158.50/1158.91	c 1158s |      22 |  2028843 |  1775422 |     3753   1132 |       23 |       46
1160.50/1160.94	c 1160s |      22 |  2031703 |  1777922 |     3753   1133 |       23 |       46
1162.50/1162.99	c 1162s |      22 |  2034972 |  1780622 |     3753   1134 |       23 |       46
1164.61/1165.04	c 1165s |      22 |  2038443 |  1783622 |     3753   1136 |       23 |       46
1166.60/1167.10	c 1167s |      22 |  2041891 |  1786422 |     3753   1137 |       23 |       46
1168.70/1169.12	c 1169s |      22 |  2044929 |  1789022 |     3753   1138 |       23 |       46
1170.70/1171.16	c 1171s |      22 |  2048541 |  1791722 |     3753   1140 |       23 |       46
1172.80/1173.22	c 1173s |      22 |  2052303 |  1794722 |     3753   1141 |       23 |       46
1174.80/1175.24	c 1175s |      22 |  2055635 |  1797822 |     3753   1143 |       23 |       46
1176.80/1177.27	c 1177s |      22 |  2058873 |  1800922 |     3753   1144 |       23 |       46
1178.80/1179.29	c 1179s |      22 |  2061811 |  1803522 |     3753   1146 |       23 |       46
1180.90/1181.35	c 1181s |      22 |  2065126 |  1806222 |     3753   1147 |       23 |       46
1182.90/1183.38	c 1183s |      22 |  2068051 |  1808822 |     3753   1148 |       23 |       46
1185.00/1185.40	c 1185s |      22 |  2071304 |  1811322 |     3753   1149 |       23 |       46
1187.00/1187.44	c 1187s |      22 |  2074382 |  1813922 |     3753   1151 |       23 |       46
1189.10/1189.51	c 1189s |      22 |  2077531 |  1816422 |     3753   1152 |       23 |       46
1191.10/1191.54	c 1191s |      22 |  2080689 |  1819022 |     3753   1153 |       23 |       46
1193.20/1193.65	c 1193s |      22 |  2083508 |  1821522 |     3753   1155 |       23 |       46
1195.19/1195.69	c 1195s |      22 |  2086632 |  1824222 |     3753   1156 |       23 |       46
1197.29/1197.74	c 1197s |      22 |  2089412 |  1826622 |     3753   1157 |       23 |       46
1199.39/1199.80	c 1199s |      22 |  2092463 |  1829122 |     3753   1158 |       23 |       46
1201.39/1201.81	c 1201s |      22 |  2095282 |  1831522 |     3753   1160 |       23 |       46
1203.39/1203.84	c 1203s |      22 |  2098673 |  1834422 |     3753   1161 |       23 |       46
1205.49/1205.90	c 1205s |      22 |  2102103 |  1837322 |     3753   1162 |       23 |       46
1207.49/1207.93	c 1207s |      22 |  2105486 |  1840222 |     3753   1164 |       23 |       46
1209.49/1210.00	c 1209s |      22 |  2109277 |  1843022 |     3753   1165 |       23 |       46
1211.59/1212.02	c 1211s |      22 |  2112832 |  1845622 |     3753   1167 |       23 |       46
1213.59/1214.07	c 1214s |      22 |  2116508 |  1848522 |     3753   1168 |       23 |       46
1215.69/1216.12	c 1216s |      22 |  2120097 |  1851322 |     3753   1169 |       23 |       46
1217.69/1218.17	c 1218s |      22 |  2123862 |  1854522 |     3753   1171 |       23 |       46
1219.79/1220.23	c 1220s |      22 |  2127353 |  1857522 |     3753   1172 |       23 |       46
1221.80/1222.26	c 1222s |      22 |  2130975 |  1860822 |     3753   1174 |       23 |       46
1223.79/1224.27	c 1224s |      22 |  2134410 |  1864022 |     3753   1176 |       23 |       46
1225.89/1226.31	c 1226s |      22 |  2137860 |  1867222 |     3753   1177 |       23 |       46
1227.89/1228.36	c 1228s |      22 |  2141183 |  1870222 |     3753   1179 |       23 |       46
1229.99/1230.40	c 1230s |      22 |  2144388 |  1873222 |     3753   1180 |       23 |       46
1231.99/1232.44	c 1232s |      22 |  2147656 |  1876122 |     3753   1182 |       23 |       46
1234.09/1234.52	c 1234s |      22 |  2151094 |  1879122 |     3753   1183 |       23 |       46
1236.10/1236.53	c 1236s |      22 |  2154277 |  1881722 |     3753   1185 |       23 |       46
1238.09/1238.54	c 1238s |      22 |  2157723 |  1884622 |     3753   1186 |       23 |       46
1240.19/1240.63	c 1240s |      22 |  2161286 |  1887722 |     3753   1188 |       23 |       46
1242.19/1242.65	c 1242s |      22 |  2164862 |  1890622 |     3753   1189 |       23 |       46
1244.19/1244.66	c 1244s |      22 |  2168345 |  1893522 |     3753   1190 |       23 |       46
1246.19/1246.67	c 1246s |      22 |  2171462 |  1896222 |     3753   1192 |       23 |       46
1248.19/1248.69	c 1248s |      22 |  2174641 |  1899222 |     3753   1193 |       23 |       46
1250.29/1250.73	c 1250s |      22 |  2177898 |  1901922 |     3753   1195 |       23 |       46
1252.29/1252.74	c 1252s |      22 |  2180973 |  1904722 |     3753   1196 |       23 |       46
1254.29/1254.76	c 1254s |      22 |  2184061 |  1907622 |     3753   1197 |       23 |       46
1256.39/1256.84	c 1256s |      22 |  2187174 |  1910422 |     3753   1199 |       23 |       46
1258.38/1258.89	c 1258s |      22 |  2190181 |  1913222 |     3753   1200 |       23 |       46
1260.48/1260.94	c 1260s |      22 |  2193199 |  1915922 |     3753   1202 |       23 |       46
1262.58/1263.00	c 1262s |      22 |  2196502 |  1918722 |     3753   1203 |       23 |       46
1264.59/1265.06	c 1265s |      22 |  2199552 |  1921522 |     3753   1204 |       23 |       46
1266.68/1267.10	c 1267s |      22 |  2202497 |  1924322 |     3753   1206 |       23 |       46
1268.68/1269.13	c 1269s |      22 |  2205480 |  1927022 |     3753   1207 |       23 |       46
1270.68/1271.17	c 1271s |      22 |  2208536 |  1929722 |     3753   1208 |       23 |       46
1272.78/1273.20	c 1273s |      22 |  2211338 |  1932322 |     3753   1210 |       23 |       46
1274.78/1275.25	c 1275s |      22 |  2214438 |  1935022 |     3753   1211 |       23 |       46
1276.88/1277.33	c 1277s |      22 |  2217373 |  1937722 |     3753   1212 |       23 |       46
1278.89/1279.36	c 1279s |      22 |  2220677 |  1940222 |     3753   1214 |       23 |       46
1280.98/1281.43	c 1281s |      22 |  2224363 |  1943122 |     3753   1215 |       23 |       46
1282.98/1283.44	c 1283s |      22 |  2227512 |  1945822 |     3753   1217 |       23 |       46
1285.08/1285.51	c 1285s |      22 |  2230543 |  1948522 |     3753   1218 |       23 |       46
1287.08/1287.55	c 1287s |      22 |  2233473 |  1950922 |     3753   1219 |       23 |       46
1289.08/1289.57	c 1289s |      22 |  2237000 |  1953922 |     3753   1221 |       23 |       46
1291.18/1291.60	c 1291s |      22 |  2240498 |  1956722 |     3753   1222 |       23 |       46
1293.19/1293.65	c 1293s |      22 |  2244176 |  1959522 |     3753   1223 |       23 |       46
1295.28/1295.71	c 1295s |      22 |  2247856 |  1962622 |     3753   1225 |       23 |       46
1297.28/1297.77	c 1297s |      22 |  2251295 |  1965522 |     3753   1226 |       23 |       46
1299.38/1299.83	c 1299s |      22 |  2254658 |  1968422 |     3753   1228 |       23 |       46
1301.38/1301.87	c 1301s |      22 |  2258069 |  1971522 |     3753   1229 |       23 |       46
1303.48/1303.93	c 1303s |      22 |  2261277 |  1974422 |     3753   1231 |       23 |       46
1305.48/1305.97	c 1305s |      22 |  2264482 |  1977022 |     3753   1232 |       23 |       46
1307.58/1308.01	c 1307s |      22 |  2267650 |  1979722 |     3753   1233 |       23 |       46
1309.58/1310.07	c 1310s |      22 |  2270850 |  1982422 |     3753   1235 |       23 |       46
1311.68/1312.15	c 1312s |      22 |  2274419 |  1985322 |     3753   1236 |       23 |       46
1313.68/1314.19	c 1314s |      22 |  2277232 |  1987922 |     3753   1237 |       23 |       46
1315.78/1316.22	c 1316s |      22 |  2280435 |  1990722 |     3753   1239 |       23 |       46
1317.77/1318.29	c 1318s |      22 |  2283559 |  1993322 |     3753   1240 |       23 |       46
1319.87/1320.35	c 1320s |      22 |  2286436 |  1995922 |     3753   1241 |       23 |       46
1321.97/1322.41	c 1322s |      22 |  2289322 |  1998622 |     3753   1243 |       23 |       46
1323.98/1324.41	c 1324s |      22 |  2292197 |  2001322 |     3753   1244 |       23 |       46
1325.97/1326.45	c 1326s |      22 |  2295101 |  2004022 |     3753   1246 |       23 |       46
1327.97/1328.46	c 1328s |      22 |  2298161 |  2006922 |     3753   1247 |       23 |       46
1329.97/1330.47	c 1330s |      22 |  2301034 |  2009622 |     3753   1248 |       23 |       46
1332.07/1332.50	c 1332s |      22 |  2303790 |  2012022 |     3753   1250 |       23 |       46
1334.07/1334.53	c 1334s |      22 |  2306850 |  2014722 |     3753   1251 |       23 |       46
1336.08/1336.60	c 1336s |      22 |  2309790 |  2017122 |     3753   1252 |       23 |       46
1338.17/1338.60	c 1338s |      22 |  2313066 |  2019722 |     3753   1253 |       23 |       46
1340.17/1340.67	c 1340s |      22 |  2316313 |  2022322 |     3753   1255 |       23 |       46
1342.17/1342.68	c 1342s |      22 |  2319813 |  2024822 |     3753   1256 |       23 |       46
1344.27/1344.75	c 1344s |      22 |  2323308 |  2027422 |     3753   1257 |       23 |       46
1346.37/1346.85	c 1346s |      22 |  2326591 |  2030122 |     3753   1259 |       23 |       46
1348.37/1348.85	c 1348s |      22 |  2329813 |  2032822 |     3753   1260 |       23 |       46
1350.48/1350.91	c 1350s |      22 |  2332969 |  2035522 |     3753   1261 |       23 |       46
1352.47/1352.96	c 1352s |      22 |  2335922 |  2038022 |     3753   1262 |       23 |       46
1354.47/1354.99	c 1354s |      22 |  2339378 |  2041122 |     3753   1264 |       23 |       46
1356.47/1356.99	c 1356s |      22 |  2342627 |  2043822 |     3753   1265 |       23 |       46
1358.57/1359.02	c 1358s |      22 |  2345734 |  2046422 |     3753   1267 |       23 |       46
1360.57/1361.07	c 1361s |      22 |  2348947 |  2049222 |     3753   1268 |       23 |       46
1362.66/1363.10	c 1363s |      22 |  2352475 |  2051822 |     3753   1269 |       23 |       46
1364.67/1365.16	c 1365s |      22 |  2355495 |  2054322 |     3753   1271 |       23 |       46
1366.76/1367.21	c 1367s |      22 |  2358913 |  2057222 |     3753   1272 |       23 |       46
1368.77/1369.29	c 1369s |      22 |  2362250 |  2060222 |     3753   1273 |       23 |       46
1370.87/1371.30	c 1371s |      22 |  2365269 |  2062822 |     3753   1275 |       23 |       46
1372.87/1373.30	c 1373s |      22 |  2368297 |  2065522 |     3753   1276 |       23 |       46
1374.87/1375.34	c 1375s |      22 |  2371287 |  2068122 |     3753   1277 |       23 |       46
1376.87/1377.36	c 1377s |      22 |  2374368 |  2070722 |     3753   1279 |       23 |       46
1378.86/1379.36	c 1379s |      22 |  2377525 |  2073522 |     3753   1280 |       23 |       46
1380.96/1381.40	c 1381s |      22 |  2380680 |  2076222 |     3753   1281 |       23 |       46
1382.96/1383.46	c 1383s |      22 |  2383717 |  2078922 |     3753   1283 |       23 |       46
1384.96/1385.47	c 1385s |      22 |  2386856 |  2081522 |     3753   1284 |       23 |       46
1387.06/1387.53	c 1387s |      22 |  2389818 |  2084122 |     3753   1285 |       23 |       46
1389.06/1389.59	c 1389s |      22 |  2392765 |  2086622 |     3753   1287 |       23 |       46
1391.17/1391.61	c 1391s |      22 |  2395984 |  2089422 |     3753   1288 |       23 |       46
1393.16/1393.64	c 1393s |      22 |  2399081 |  2092122 |     3753   1289 |       23 |       46
1395.16/1395.66	c 1395s |      22 |  2402082 |  2094722 |     3753   1291 |       23 |       46
1397.16/1397.69	c 1397s |      22 |  2405061 |  2097322 |     3753   1292 |       23 |       46
1399.26/1399.72	c 1399s |      22 |  2408053 |  2099922 |     3753   1293 |       23 |       46
1401.26/1401.79	c 1401s |      22 |  2410950 |  2102322 |     3753   1294 |       23 |       46
1403.37/1403.84	c 1403s |      22 |  2414082 |  2105122 |     3753   1296 |       23 |       46
1405.37/1405.84	c 1405s |      22 |  2417041 |  2107622 |     3753   1297 |       23 |       46
1407.46/1407.90	c 1407s |      22 |  2420205 |  2110022 |     3753   1298 |       23 |       46
1409.46/1409.91	c 1409s |      22 |  2423009 |  2112422 |     3753   1299 |       23 |       46
1411.46/1411.98	c 1411s |      22 |  2426591 |  2115222 |     3753   1301 |       23 |       46
1413.56/1414.02	c 1413s |      22 |  2429730 |  2117922 |     3753   1302 |       23 |       46
1415.56/1416.08	c 1416s |      22 |  2432819 |  2120622 |     3753   1304 |       23 |       46
1417.66/1418.14	c 1418s |      22 |  2436022 |  2123422 |     3753   1305 |       23 |       46
1419.67/1420.15	c 1420s |      22 |  2438951 |  2126122 |     3753   1306 |       23 |       46
1421.66/1422.18	c 1422s |      22 |  2441940 |  2128822 |     3753   1308 |       23 |       46
1423.76/1424.23	c 1424s |      22 |  2445127 |  2131722 |     3753   1309 |       23 |       46
1425.76/1426.25	c 1426s |      22 |  2448049 |  2134422 |     3753   1310 |       23 |       46
1427.76/1428.25	c 1428s |      22 |  2451093 |  2137022 |     3753   1312 |       23 |       46
1429.86/1430.32	c 1430s |      22 |  2454185 |  2139722 |     3753   1313 |       23 |       46
1431.87/1432.32	c 1432s |      22 |  2457316 |  2142322 |     3753   1314 |       23 |       46
1433.86/1434.34	c 1434s |      22 |  2460491 |  2144822 |     3753   1316 |       23 |       46
1435.86/1436.37	c 1436s |      22 |  2463300 |  2147422 |     3753   1317 |       23 |       46
1437.96/1438.40	c 1438s |      22 |  2466269 |  2150122 |     3753   1318 |       23 |       46
1439.96/1440.41	c 1440s |      22 |  2469285 |  2152622 |     3753   1319 |       23 |       46
1441.96/1442.47	c 1442s |      22 |  2472231 |  2155222 |     3753   1321 |       23 |       46
1444.06/1444.53	c 1444s |      22 |  2475231 |  2158022 |     3753   1322 |       23 |       46
1446.06/1446.56	c 1446s |      22 |  2478789 |  2161122 |     3753   1324 |       23 |       46
1448.16/1448.62	c 1448s |      22 |  2482179 |  2164022 |     3753   1325 |       23 |       46
1450.16/1450.66	c 1450s |      22 |  2485352 |  2166922 |     3753   1327 |       23 |       46
1452.15/1452.67	c 1452s |      22 |  2488469 |  2169722 |     3753   1328 |       23 |       46
1454.25/1454.72	c 1454s |      22 |  2491744 |  2172622 |     3753   1329 |       23 |       46
1456.25/1456.76	c 1456s |      22 |  2494982 |  2175522 |     3753   1331 |       23 |       46
1458.35/1458.81	c 1458s |      22 |  2498431 |  2178222 |     3753   1332 |       23 |       46
1460.36/1460.82	c 1460s |      22 |  2501669 |  2180822 |     3753   1334 |       23 |       46
1462.35/1462.89	c 1462s |      22 |  2505827 |  2183622 |     3753   1335 |       23 |       46
1464.45/1464.93	c 1464s |      22 |  2508986 |  2186322 |     3753   1336 |       23 |       46
1466.45/1466.96	c 1466s |      22 |  2511864 |  2188922 |     3753   1338 |       23 |       46
1468.45/1468.98	c 1468s |      22 |  2515326 |  2191722 |     3753   1339 |       23 |       46
1470.55/1471.03	c 1470s |      22 |  2518694 |  2194522 |     3753   1340 |       23 |       46
1472.56/1473.06	c 1473s |      22 |  2521880 |  2197222 |     3753   1342 |       23 |       46
1474.55/1475.09	c 1475s |      22 |  2525457 |  2199922 |     3753   1343 |       23 |       46
1476.55/1477.09	c 1477s |      22 |  2528764 |  2202522 |     3753   1344 |       23 |       46
1478.65/1479.14	c 1479s |      22 |  2532067 |  2205322 |     3753   1346 |       23 |       46
1480.65/1481.17	c 1481s |      22 |  2535676 |  2208222 |     3753   1347 |       23 |       46
1482.75/1483.24	c 1483s |      22 |  2538949 |  2211122 |     3753   1349 |       23 |       46
1484.75/1485.27	c 1485s |      22 |  2542166 |  2213922 |     3753   1350 |       23 |       46
1486.85/1487.34	c 1487s |      22 |  2545271 |  2216622 |     3753   1351 |       23 |       46
1488.85/1489.39	c 1489s |      22 |  2548420 |  2219322 |     3753   1353 |       23 |       46
1490.95/1491.42	c 1491s |      22 |  2551551 |  2222022 |     3753   1354 |       23 |       46
1492.95/1493.48	c 1493s |      22 |  2554877 |  2224722 |     3753   1355 |       23 |       46
1495.04/1495.51	c 1495s |      22 |  2558105 |  2227322 |     3753   1357 |       23 |       46
1497.05/1497.52	c 1497s |      22 |  2561149 |  2229922 |     3753   1358 |       23 |       46
1499.04/1499.59	c 1499s |      22 |  2564675 |  2232922 |     3753   1359 |       23 |       46
1501.15/1501.61	c 1501s |      22 |  2567686 |  2235622 |     4129   1361 |       23 |       46
1503.14/1503.63	c 1503s |      22 |  2570852 |  2238222 |     4129   1362 |       23 |       46
1505.14/1505.64	c 1505s |      22 |  2573994 |  2240722 |     4129   1363 |       23 |       46
1507.24/1507.70	c 1507s |      22 |  2577100 |  2243622 |     4129   1364 |       23 |       46
1509.24/1509.72	c 1509s |      22 |  2579967 |  2246322 |     4129   1365 |       23 |       46
1511.24/1511.75	c 1511s |      22 |  2582926 |  2249022 |     4129   1367 |       23 |       46
1512.84/1513.32	c 1513s |      23 |  2585092 |  2251038 |     4129   1368 |       23 |       46
1514.84/1515.34	c 1515s |      23 |  2589070 |  2254538 |     4129   1369 |       23 |       46
1516.84/1517.39	c 1517s |      23 |  2592756 |  2257838 |     4129   1371 |       23 |       46
1518.94/1519.42	c 1519s |      23 |  2596362 |  2261138 |     4129   1372 |       23 |       46
1520.95/1521.45	c 1521s |      23 |  2599950 |  2264438 |     4129   1374 |       23 |       46
1522.94/1523.49	c 1523s |      23 |  2603418 |  2267638 |     4129   1375 |       23 |       46
1525.04/1525.51	c 1525s |      23 |  2606908 |  2270838 |     4129   1377 |       23 |       46
1527.04/1527.52	c 1527s |      23 |  2610182 |  2273938 |     4129   1378 |       23 |       46
1529.04/1529.55	c 1529s |      23 |  2613221 |  2276738 |     4129   1379 |       23 |       46
1531.04/1531.57	c 1531s |      23 |  2616361 |  2279638 |     4129   1381 |       23 |       46
1533.04/1533.58	c 1533s |      23 |  2619980 |  2282738 |     4129   1382 |       23 |       46
1535.15/1535.60	c 1535s |      23 |  2623200 |  2285738 |     4129   1383 |       23 |       46
1537.15/1537.66	c 1537s |      23 |  2626641 |  2288738 |     4129   1385 |       23 |       46
1539.15/1539.69	c 1539s |      23 |  2629893 |  2291638 |     4129   1386 |       23 |       46
1541.24/1541.73	c 1541s |      23 |  2633168 |  2294338 |     4129   1387 |       23 |       46
1543.24/1543.79	c 1543s |      23 |  2636428 |  2297238 |     4129   1389 |       23 |       46
1545.24/1545.79	c 1545s |      23 |  2639646 |  2300238 |     4129   1390 |       23 |       46
1547.35/1547.81	c 1547s |      23 |  2642716 |  2303138 |     4129   1391 |       23 |       46
1549.34/1549.84	c 1549s |      23 |  2645643 |  2305838 |     4129   1393 |       23 |       46
1551.34/1551.89	c 1551s |      23 |  2648869 |  2308638 |     4129   1394 |       23 |       46
1553.44/1553.94	c 1553s |      23 |  2652649 |  2311738 |     4129   1395 |       23 |       46
1555.44/1555.97	c 1555s |      23 |  2655789 |  2314538 |     4129   1397 |       23 |       46
1557.54/1558.03	c 1557s |      23 |  2658864 |  2317338 |     4129   1398 |       23 |       46
1559.54/1560.07	c 1560s |      23 |  2662043 |  2320138 |     4129   1399 |       23 |       46
1561.65/1562.14	c 1562s |      23 |  2665115 |  2322838 |     4129   1400 |       23 |       46
1563.64/1564.20	c 1564s |      23 |  2668219 |  2325538 |     4129   1402 |       23 |       46
1565.74/1566.24	c 1566s |      23 |  2671378 |  2328438 |     4129   1403 |       23 |       46
1567.74/1568.26	c 1568s |      23 |  2674407 |  2331138 |     4129   1404 |       23 |       46
1569.74/1570.26	c 1570s |      23 |  2677274 |  2333738 |     4129   1405 |       23 |       46
1571.84/1572.30	c 1572s |      23 |  2680213 |  2336438 |     4129   1407 |       23 |       46
1573.84/1574.36	c 1574s |      23 |  2683273 |  2339038 |     4129   1408 |       23 |       46
1575.85/1576.36	c 1576s |      23 |  2686272 |  2341738 |     4129   1409 |       23 |       46
1577.84/1578.37	c 1578s |      23 |  2689838 |  2344738 |     4129   1410 |       23 |       46
1579.94/1580.44	c 1580s |      23 |  2693041 |  2347638 |     4129   1412 |       23 |       46
1581.94/1582.44	c 1582s |      23 |  2696256 |  2350438 |     4129   1413 |       23 |       46
1584.04/1584.51	c 1584s |      23 |  2699638 |  2353538 |     4129   1414 |       23 |       46
1586.03/1586.53	c 1586s |      23 |  2702813 |  2356338 |     4129   1416 |       23 |       46
1588.04/1588.54	c 1588s |      23 |  2706053 |  2359338 |     4129   1417 |       23 |       46
1590.03/1590.57	c 1590s |      23 |  2709060 |  2362138 |     4129   1418 |       23 |       46
1592.13/1592.60	c 1592s |      23 |  2711922 |  2364738 |     4129   1419 |       23 |       46
1594.14/1594.65	c 1594s |      23 |  2714931 |  2367538 |     4129   1421 |       23 |       46
1596.13/1596.65	c 1596s |      23 |  2718069 |  2370238 |     4129   1422 |       23 |       46
1598.23/1598.70	c 1598s |      23 |  2721074 |  2373038 |     4129   1423 |       23 |       46
1600.33/1600.80	c 1600s |      23 |  2724282 |  2375938 |     4129   1425 |       23 |       46
1602.34/1602.81	c 1602s |      23 |  2727681 |  2379038 |     4129   1426 |       23 |       46
1604.33/1604.83	c 1604s |      23 |  2730835 |  2381938 |     4129   1427 |       23 |       46
1606.33/1606.83	c 1606s |      23 |  2733756 |  2384638 |     4129   1429 |       23 |       46
1608.33/1608.84	c 1608s |      23 |  2736749 |  2387338 |     4129   1430 |       23 |       46
1610.43/1610.90	c 1610s |      23 |  2739861 |  2390238 |     4129   1431 |       23 |       46
1612.43/1612.93	c 1612s |      23 |  2742988 |  2392938 |     4129   1432 |       23 |       46
1614.44/1614.94	c 1614s |      23 |  2745932 |  2395538 |     4129   1433 |       23 |       46
1616.43/1616.96	c 1616s |      23 |  2748919 |  2398238 |     4129   1435 |       23 |       46
1618.53/1619.05	c 1619s |      23 |  2752118 |  2401138 |     4129   1436 |       23 |       46
1620.53/1621.09	c 1621s |      23 |  2754837 |  2403538 |     4129   1437 |       23 |       46
1622.63/1623.14	c 1623s |      23 |  2758159 |  2406238 |     4129   1438 |       23 |       46
1624.73/1625.21	c 1625s |      23 |  2761156 |  2408938 |     4129   1440 |       23 |       46
1626.73/1627.22	c 1627s |      23 |  2764077 |  2411538 |     4129   1441 |       23 |       46
1628.73/1629.26	c 1629s |      23 |  2767181 |  2414138 |     4129   1442 |       23 |       46
1630.73/1631.29	c 1631s |      23 |  2770982 |  2417038 |     4129   1443 |       23 |       46
1632.83/1633.31	c 1633s |      23 |  2774237 |  2419738 |     4129   1444 |       23 |       46
1634.83/1635.34	c 1635s |      23 |  2777517 |  2422438 |     4129   1446 |       23 |       46
1636.83/1637.39	c 1637s |      23 |  2780722 |  2425238 |     4129   1447 |       23 |       46
1638.93/1639.41	c 1639s |      23 |  2784039 |  2428238 |     4129   1448 |       23 |       46
1640.93/1641.46	c 1641s |      23 |  2787092 |  2430838 |     4129   1450 |       23 |       46
1643.03/1643.52	c 1643s |      23 |  2790416 |  2433638 |     4129   1451 |       23 |       46
1645.02/1645.52	c 1645s |      23 |  2793533 |  2436138 |     4129   1452 |       23 |       46
1647.02/1647.53	c 1647s |      23 |  2796871 |  2438938 |     4129   1453 |       23 |       46
1649.02/1649.55	c 1649s |      23 |  2800362 |  2441538 |     4129   1454 |       23 |       46
1651.03/1651.56	c 1651s |      23 |  2803836 |  2444438 |     4129   1456 |       23 |       46
1653.13/1653.60	c 1653s |      23 |  2807350 |  2447138 |     4129   1457 |       23 |       46
1655.13/1655.66	c 1655s |      23 |  2810702 |  2449838 |     4129   1458 |       23 |       46
1657.23/1657.75	c 1657s |      23 |  2814290 |  2452338 |     4129   1459 |       23 |       46
1659.22/1659.77	c 1659s |      23 |  2817258 |  2454838 |     4129   1461 |       23 |       46
1661.32/1661.80	c 1661s |      23 |  2820527 |  2457538 |     4129   1462 |       23 |       46
1663.32/1663.80	c 1663s |      23 |  2823919 |  2460538 |     4129   1463 |       23 |       46
1665.32/1665.81	c 1665s |      23 |  2826944 |  2463238 |     4129   1464 |       23 |       46
1667.32/1667.81	c 1667s |      23 |  2829959 |  2465838 |     4129   1466 |       23 |       46
1669.33/1669.86	c 1669s |      23 |  2833227 |  2468738 |     4129   1467 |       23 |       46
1671.33/1671.88	c 1671s |      23 |  2836230 |  2471338 |     4129   1468 |       23 |       46
1673.42/1673.94	c 1673s |      23 |  2839676 |  2474138 |     4129   1469 |       23 |       46
1675.42/1675.98	c 1675s |      23 |  2842879 |  2476838 |     4129   1471 |       23 |       46
1677.52/1678.02	c 1677s |      23 |  2846150 |  2479538 |     4129   1472 |       23 |       46
1679.62/1680.10	c 1680s |      23 |  2849362 |  2482538 |     4129   1473 |       23 |       46
1681.62/1682.17	c 1682s |      23 |  2852269 |  2485238 |     4129   1474 |       23 |       46
1683.63/1684.20	c 1684s |      23 |  2855470 |  2488138 |     4129   1476 |       23 |       46
1685.72/1686.22	c 1686s |      23 |  2858702 |  2491038 |     4129   1477 |       23 |       46
1687.72/1688.25	c 1688s |      23 |  2861898 |  2494038 |     4129   1478 |       23 |       46
1689.72/1690.25	c 1690s |      23 |  2865110 |  2496938 |     4129   1480 |       23 |       46
1691.81/1692.30	c 1692s |      23 |  2868621 |  2499938 |     4129   1481 |       23 |       46
1693.81/1694.33	c 1694s |      23 |  2872495 |  2502738 |     4129   1482 |       23 |       46
1695.83/1696.37	c 1696s |      23 |  2875793 |  2505538 |     4129   1484 |       23 |       46
1697.82/1698.39	c 1698s |      23 |  2879070 |  2508238 |     4129   1485 |       23 |       46
1699.92/1700.44	c 1700s |      23 |  2882505 |  2510938 |     4129   1486 |       23 |       46
1701.92/1702.48	c 1702s |      23 |  2886045 |  2513738 |     4129   1487 |       23 |       46
1703.92/1704.49	c 1704s |      23 |  2889308 |  2516538 |     4129   1489 |       23 |       46
1706.02/1706.51	c 1706s |      23 |  2892428 |  2519138 |     4129   1490 |       23 |       46
1708.02/1708.53	c 1708s |      23 |  2895706 |  2521838 |     4129   1491 |       23 |       46
1710.02/1710.55	c 1710s |      23 |  2899225 |  2524538 |     4129   1492 |       23 |       46
1712.02/1712.59	c 1712s |      23 |  2902359 |  2527438 |     4129   1494 |       23 |       46
1714.12/1714.61	c 1714s |      23 |  2905411 |  2530238 |     4129   1495 |       23 |       46
1716.12/1716.64	c 1716s |      23 |  2908601 |  2533038 |     4129   1496 |       23 |       46
1718.22/1718.70	c 1718s |      23 |  2911836 |  2535738 |     4129   1497 |       23 |       46
1720.22/1720.76	c 1720s |      23 |  2914865 |  2538338 |     4129   1498 |       23 |       46
1722.32/1722.82	c 1722s |      23 |  2917926 |  2541138 |     4129   1500 |       23 |       46
1724.32/1724.84	c 1724s |      23 |  2921044 |  2543938 |     4129   1501 |       23 |       46
1726.31/1726.89	c 1726s |      23 |  2924167 |  2546838 |     4129   1502 |       23 |       46
1728.41/1728.91	c 1728s |      23 |  2927132 |  2549538 |     4129   1504 |       23 |       46
1730.41/1730.92	c 1730s |      23 |  2929969 |  2552138 |     4129   1505 |       23 |       46
1732.41/1732.95	c 1732s |      23 |  2933124 |  2554838 |     4129   1506 |       23 |       46
1734.41/1734.96	c 1734s |      23 |  2935964 |  2557338 |     4129   1507 |       23 |       46
1736.52/1737.03	c 1736s |      23 |  2938969 |  2559938 |     4129   1508 |       23 |       46
1738.51/1739.09	c 1739s |      23 |  2942013 |  2562538 |     4129   1510 |       23 |       46
1740.61/1741.12	c 1741s |      23 |  2945065 |  2565138 |     4129   1511 |       23 |       46
1742.61/1743.14	c 1743s |      23 |  2948288 |  2567738 |     4129   1512 |       23 |       46
1744.61/1745.15	c 1745s |      23 |  2951094 |  2570138 |     4129   1513 |       23 |       46
1746.61/1747.16	c 1747s |      23 |  2953771 |  2572438 |     4129   1514 |       23 |       46
1748.62/1749.19	c 1749s |      23 |  2956841 |  2574838 |     4129   1515 |       23 |       46
1750.61/1751.19	c 1751s |      23 |  2959689 |  2577238 |     4129   1516 |       23 |       46
1752.71/1753.22	c 1753s |      23 |  2962549 |  2579738 |     4129   1517 |       23 |       46
1754.71/1755.28	c 1755s |      23 |  2965456 |  2582238 |     4129   1518 |       23 |       46
1756.81/1757.32	c 1757s |      23 |  2968465 |  2584838 |     4129   1520 |       23 |       46
1758.81/1759.37	c 1759s |      23 |  2972071 |  2587738 |     4129   1521 |       23 |       46
1760.81/1761.38	c 1761s |      23 |  2975436 |  2590438 |     4129   1522 |       23 |       46
1762.92/1763.45	c 1763s |      23 |  2978683 |  2593338 |     4129   1523 |       23 |       46
1764.91/1765.50	c 1765s |      23 |  2982044 |  2596038 |     4129   1525 |       23 |       46
1767.01/1767.55	c 1767s |      23 |  2985603 |  2599138 |     4129   1526 |       23 |       46
1769.11/1769.61	c 1769s |      23 |  2988857 |  2601938 |     4129   1527 |       23 |       46
1771.11/1771.65	c 1771s |      23 |  2991758 |  2604538 |     4129   1529 |       23 |       46
1773.11/1773.69	c 1773s |      23 |  2995224 |  2607338 |     4129   1530 |       23 |       46
1775.21/1775.72	c 1775s |      23 |  2998275 |  2609938 |     4129   1531 |       23 |       46
1777.21/1777.78	c 1777s |      23 |  3001464 |  2612638 |     4129   1532 |       23 |       46
1779.31/1779.86	c 1779s |      23 |  3004708 |  2615338 |     4129   1534 |       23 |       46
1781.30/1781.87	c 1781s |      23 |  3008143 |  2618238 |     4129   1535 |       23 |       46
1783.40/1783.94	c 1783s |      23 |  3011544 |  2620938 |     4129   1536 |       23 |       46
1785.40/1785.96	c 1785s |      23 |  3014576 |  2623538 |     4129   1537 |       23 |       46
1787.40/1787.98	c 1787s |      23 |  3017519 |  2626038 |     4129   1538 |       23 |       46
1789.40/1789.99	c 1789s |      23 |  3020728 |  2628638 |     4129   1540 |       23 |       46
1791.50/1792.02	c 1791s |      23 |  3023808 |  2631438 |     4129   1541 |       23 |       46
1793.50/1794.07	c 1794s |      23 |  3027010 |  2633838 |     4129   1542 |       23 |       46
1795.60/1796.10	c 1796s |      23 |  3030572 |  2636438 |     4129   1543 |       23 |       46
1797.60/1798.13	c 1798s |      23 |  3033818 |  2639038 |     4129   1544 |       23 |       46
1799.70/1800.20	c 1800s |      23 |  3036614 |  2641438 |     4129   1545 |       23 |       46

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-4078710-1465218023/watcher-4078710-1465218023 -o /tmp/evaluation-result-4078710-1465218023/solver-4078710-1465218023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078710-1465218023.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.31 1.77 1.84 3/176 8474
/proc/meminfo: memFree=31728704/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=733764 CPUtime=0 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 103735782 751374336 3102 33554432000 4194304 16246674 140736373086880 140736373086304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 184209 3110 442 2943 0 181103 0
[pid=8474/tid=8475] ppid=8468 vsize=751172 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 769200128 3174 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=757316 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 775491584 3192 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=761412 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 779685888 3209 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 1.31 1.77 1.84 3/176 8474
/proc/meminfo: memFree=31728704/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 25786 0 0 0 5 4 0 0 20 0 4 0 103735782 1247350784 26137 33554432000 4194304 16246674 140736373086880 140736373086304 13194067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 304529 26146 736 2943 0 301423 0
[pid=8474/tid=8475] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 26154 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 26161 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 26165 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200448 s]
/proc/loadavg: 1.31 1.77 1.84 3/176 8474
/proc/meminfo: memFree=31728704/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 48524 0 0 0 12 7 0 0 20 0 4 0 103735782 1247350784 48875 33554432000 4194304 16246674 140736373086880 140736373086304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 304529 48894 736 2943 0 301423 0
[pid=8474/tid=8475] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 48910 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 48923 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 48937 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 1.31 1.77 1.84 3/176 8474
/proc/meminfo: memFree=31728704/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 72026 0 0 0 19 10 0 0 20 0 4 0 103735782 1247350784 72376 33554432000 4194304 16246674 140736373086880 140736373086304 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 304529 72393 736 2943 0 301423 0
[pid=8474/tid=8475] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 72404 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 72409 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 72415 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700345 s]
/proc/loadavg: 1.31 1.77 1.84 3/176 8474
/proc/meminfo: memFree=31728704/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 163495 0 0 0 47 22 0 0 20 0 4 0 103735782 1247350784 163845 33554432000 4194304 16246674 140736373086880 140736373086304 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 304529 163858 736 2943 0 301423 0
[pid=8474/tid=8475] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 163861 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 163866 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1247350784 163869 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 1.31 1.77 1.84 4/184 8482
/proc/meminfo: memFree=29761360/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1220164 CPUtime=1.48 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 245940 0 0 0 117 31 0 0 20 0 4 0 103735782 1249447936 246270 33554432000 4194304 16246674 140736373086880 140736373086192 5523456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 305041 246270 801 2943 0 301935 0
[pid=8474/tid=8475] ppid=8468 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1249447936 246270 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1249447936 246270 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1249447936 246270 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 1.31 1.77 1.84 5/184 8482
/proc/meminfo: memFree=29589612/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 267396 0 0 0 275 34 0 0 20 0 4 0 103735782 1337528320 267726 33554432000 4194304 16246674 140736373086880 140736373068800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 326545 267726 801 2943 0 323439 0
[pid=8474/tid=8475] ppid=8468 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1337528320 267726 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1337528320 267726 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1337528320 267726 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30051 s]
/proc/loadavg: 1.45 1.79 1.84 2/176 8515
/proc/meminfo: memFree=30670808/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 267618 0 0 0 595 34 0 0 20 0 4 0 103735782 1338576896 267948 33554432000 4194304 16246674 140736373086880 140736373068800 5823919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 326801 267948 801 2943 0 323695 0
[pid=8474/tid=8475] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 267948 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 267948 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 267948 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.49 1.80 1.84 3/184 8531
/proc/meminfo: memFree=29581692/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 267838 0 0 0 1234 35 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 140736373069880 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 326801 268168 801 2943 0 323695 0
[pid=8474/tid=8475] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5006 s]
/proc/loadavg: 1.60 1.80 1.84 3/184 8531
/proc/meminfo: memFree=29582684/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 267838 0 0 0 2513 36 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 140736373068800 6022329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 326801 268168 801 2943 0 323695 0
[pid=8474/tid=8475] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1338576896 268168 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1006 s]
/proc/loadavg: 1.74 1.82 1.85 3/184 8554
/proc/meminfo: memFree=29579244/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1309252 CPUtime=51.09 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 268158 0 0 0 5071 38 0 0 20 0 4 0 103735782 1340674048 268488 33554432000 4194304 16246674 140736373086880 140736373068800 5672201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 327313 268488 802 2943 0 324207 0
[pid=8474/tid=8475] ppid=8468 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1340674048 268488 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1340674048 268488 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1340674048 268488 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 1.92 1.86 1.86 3/183 8556
/proc/meminfo: memFree=29572656/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 269305 0 0 0 10189 39 0 0 20 0 4 0 103735782 1344868352 269635 33554432000 4194304 16246674 140736373086880 140736373068800 13949893 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328337 269635 804 2943 0 325231 0
[pid=8474/tid=8475] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269635 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269635 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269635 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.17 2.09 2.00 3/183 8587
/proc/meminfo: memFree=29559432/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1313348 CPUtime=1361.86 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 269783 0 0 0 136120 66 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 140736373068800 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328337 269965 806 2943 0 325231 0
[pid=8474/tid=8475] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.15 2.10 2.01 3/183 8588
/proc/meminfo: memFree=29559332/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1313348 CPUtime=1421.87 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 269783 0 0 0 142119 68 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 140736373068800 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328337 269965 806 2943 0 325231 0
[pid=8474/tid=8475] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.26 2.14 2.02 3/183 8589
/proc/meminfo: memFree=29559236/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1313348 CPUtime=1481.85 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 269783 0 0 0 148117 68 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 140736373068800 13192674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328337 269965 806 2943 0 325231 0
[pid=8474/tid=8475] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.21 2.14 2.03 3/183 8590
/proc/meminfo: memFree=29559008/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1313348 CPUtime=1541.85 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 269783 0 0 0 154116 69 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 140736373068800 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328337 269965 806 2943 0 325231 0
[pid=8474/tid=8475] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1344868352 269965 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.29 2.18 2.04 3/183 8591
/proc/meminfo: memFree=29557632/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1601.83 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 160113 70 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 5823101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.16 2.16 2.04 3/183 8593
/proc/meminfo: memFree=29557832/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1661.82 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 166110 72 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 13927398 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.06 2.13 2.04 3/183 8594
/proc/meminfo: memFree=29557832/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1721.82 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 172107 75 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.05 2.11 2.03 3/184 8598
/proc/meminfo: memFree=29556628/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1781.8 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 178105 75 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 6023591 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.11 2.03 3/184 8598
/proc/meminfo: memFree=29557672/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1800 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 179924 76 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 5546518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.11 2.03 3/184 8598
/proc/meminfo: memFree=29557672/32872528 swapFree=11196/354588
[pid=8474] ppid=8468 vsize=1315396 CPUtime=1800 cores=1,3,5,7
/proc/8474/stat : 8474 (toysat) R 8468 8474 8429 0 -1 4202496 270295 0 0 0 179924 76 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 140736373068800 5546518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8474/statm: 328849 270477 806 2943 0 325743 0
[pid=8474/tid=8475] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8475/stat : 8475 (toysat) S 8468 8474 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671962103024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8474/tid=8476] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8476/stat : 8476 (toysat) S 8468 8474 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671951613168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8474/tid=8480] ppid=8468 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8474/task/8480/stat : 8480 (toysat) S 8468 8474 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103735782 1346965504 270477 33554432000 4194304 16246674 140736373086880 139671866698928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.25
CPU system time (s): 0.764883
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.764883
maximum resident set size= 1081908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270295
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= 418
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1781 second user time and 16.8784 second system time

The end

Begin job on node126 at 2016-06-06 15:00:23
IDJOB=4078710
IDBENCH=1161
IDSOLVER=2542
FILE ID=node126/4078710-1465218023
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078710-1465218023/watcher-4078710-1465218023 -o /tmp/evaluation-result-4078710-1465218023/solver-4078710-1465218023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078710-1465218023.opb

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

MD5SUM BENCH= cc11de80c07cf0d445d50327479f6689
RANDOM SEED=945229091

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        31731476 kB
Buffers:            3056 kB
Cached:            82628 kB
SwapCached:         1700 kB
Active:            72160 kB
Inactive:          16052 kB
Active(anon):       2984 kB
Inactive(anon):     1624 kB
Active(file):      69176 kB
Inactive(file):    14428 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098260 kB
Dirty:             32680 kB
Writeback:             0 kB
AnonPages:        356144 kB
Mapped:             5544 kB
Shmem:                 0 kB
Slab:             566064 kB
SReclaimable:      10380 kB
SUnreclaim:       555684 kB
KernelStack:        1344 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     451180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node126 at 2016-06-06 15:30:24