0.00/0.00	c 2016-06-16T02:35:30+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-4090051-1466037330.opb"]
0.00/0.01	c use --random-gen="2940286976 3360992152 3998515411 1198355751 531976401 3784083899 164928756 3931418063 1737181571 3516641560 4293935188 2297791607 2025204057 3529892564 1750111152 2643233258 967409567 3486659846 1955387975 2642514521 3859959352 4059667998 4119928651 2344198156 1326221269 2652694517 3708660233 2946661431 2648458256 3159454796 972462120 3255417324 4186506246 3017850780 3513921802 1899029985 3429859075 1159336215 2239011702 3755318554 1808898088 2519497456 2072724742 993956393 1877062738 566776372 2613694919 3098500758 3530158797 4091920659 905658361 3294229206 2131089556 2413811406 668156507 63746947 2767622098 1983591339 40075666 877334643 934603985 2175428635 3510038480 1949543843 1239829559 755405799 3984988605 2971669906 1969176591 3654753419 2274696549 3275283313 1639185325 2257636571 3492088893 2146240577 3133239397 1269409899 2464661161 1665414262 2302676406 210076458 3107670497 1355956420 3791006145 1460497557 1886616477 4105696991 3775356708 1748311497 520407527 1880934368 476181416 4190624074 3578989867 207164468 1675019715 2111538399 1818277706 2543761985 3028453825 2737783296 1867206984 1893119561 2324414547 4050561693 3812626807 1410937252 239967886 963822031 3083150246 2632543607 2833116924 3746745587 176332152 3647861488 374365707 1830546451 806634274 2307171077 246899933 3780583122 1619899207 3654529972 169076486 3106464358 1847103278 4066890396 2030411324 1463414911 3251911677 2128663250 445170653 736070123 2479587090 2019790818 2090874878 2730013693 2723093980 899071953 860932420 1956563541 1545756199 556717514 4291273857 1894741742 2257388725 2699525537 750262869 3263767016 550059526 2126874532 674300125 553244921 220449218 2483192406 1754736097 1108119451 2478454570 3640851161 3689942094 4182402551 2300765073 2385692379 547232716 44947326 3297701211 3527613574 461496766 1957476598 164176426 3196637478 53160155 3930141102 3217873843 1347890053 1751486963 4025379686 2128477286 3443184482 4143053975 116888368 1495123718 3929326222 1391043430 2165485611 3832336169 3886766107 1357864273 410482306 3054318899 4187611987 1534927136 1868206969 699579304 1568538030 3515299725 4196033282 1113102033 4024228152 3439917039 2209280066 803851954 262577280 761286814 2197651482 3880054621 3926226822 2957706467 2533504582 1245381613 1849460 2871499704 1381025314 1416980267 848050302 201816672 2717207675 2081125900 2447842841 3694016196 2162263817 1433151688 2268313066 2971286766 1879885215 3372252051 636122120 4269298903 1791957327 4073547223 772277481 3626970928 193514145 3125275986 1044472501 3428424590 4180835168 4161337309 4284592666 405850101 2332075252 4231494884 1308481093 3058663210 1325005877 910903604 1311388010 1311189910 538639949 1604884934 2145343047 1037008339 2976820905 1221800167 1758770427 255 362436" option to reproduce the execution
0.00/0.01	c #vars 273
0.00/0.01	c #constraints 91
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      151      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      147 |      100 |      151      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      410 |      250 |      167      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      745 |      475 |      184      1 |        0 |        0
0.19/0.20	c  0.2s |       4 |     1215 |      813 |      203      3 |        0 |        0
0.29/0.32	c  0.3s |       5 |     1877 |     1320 |      224      5 |        0 |        0
0.49/0.50	c  0.5s |       6 |     2819 |     2081 |      272      9 |        0 |        0
0.79/0.80	c  0.8s |       7 |     4154 |     3223 |      300     14 |        0 |        0
0.99/1.09	c  1.1s |       8 |     6151 |     4936 |      330     20 |        0 |        0
1.59/1.61	c  1.6s |       9 |     9163 |     7506 |      364     30 |        0 |        0
2.30/2.33	c  2.3s |      10 |    13474 |    11361 |      401     44 |        0 |        0
3.40/3.42	c  3.4s |      11 |    20016 |    17144 |      442     63 |        0 |        0
5.19/5.21	c  5.2s |      12 |    29449 |    25819 |      487     89 |        0 |        0
7.19/7.22	c  7.2s |      12 |    39347 |    34919 |      487    115 |        0 |        0
8.09/8.16	c  8.1s |      13 |    43550 |    38832 |      536    127 |        0 |        0
10.09/10.18	c 10.2s |      13 |    54750 |    48632 |      536    153 |        0 |        0
12.09/12.19	c 12.2s |      13 |    64720 |    57632 |      536    179 |        0 |        0
12.29/12.35	c 12.3s |      14 |    65493 |    58352 |      590    180 |        0 |        0
14.29/14.36	c 14.4s |      14 |    76211 |    66852 |      590    204 |        0 |        0
16.29/16.37	c 16.4s |      14 |    85036 |    74752 |      590    226 |        0 |        0
18.29/18.38	c 18.4s |      14 |    93728 |    82452 |      590    248 |        0 |        0
19.69/19.79	c 19.8s |      15 |    99600 |    87632 |      649    262 |        0 |        0
21.78/21.80	c 21.8s |      15 |   108181 |    95132 |      649    281 |        0 |        0
23.78/23.81	c 23.8s |      15 |   116217 |   102232 |      649    298 |        0 |        0
25.78/25.83	c 25.8s |      15 |   124958 |   109632 |      649    317 |        0 |        0
27.78/27.84	c 27.8s |      15 |   133039 |   116932 |      649    335 |        0 |        0
29.79/29.85	c 29.8s |      15 |   141208 |   124332 |      649    353 |        0 |        0
31.79/31.85	c 31.8s |      15 |   148961 |   131332 |      714    370 |        0 |        0
31.90/31.92	c 31.9s |      16 |   149234 |   131552 |      714    371 |        0 |        0
33.89/33.94	c 33.9s |      16 |   158254 |   139652 |      714    389 |        0 |        0
35.89/35.95	c 35.9s |      16 |   166466 |   147152 |      714    407 |        0 |        0
37.89/37.97	c 38.0s |      16 |   174391 |   154452 |      714    423 |        0 |        0
39.89/39.98	c 40.0s |      16 |   182752 |   161952 |      714    440 |        0 |        0
41.89/41.99	c 42.0s |      16 |   190587 |   169152 |      714    457 |        0 |        0
43.89/43.99	c 44.0s |      16 |   198356 |   176252 |      714    473 |        0 |        0
45.99/46.02	c 46.0s |      16 |   205865 |   183152 |      714    488 |        0 |        0
47.98/48.03	c 48.0s |      16 |   213716 |   190252 |      714    504 |        0 |        0
49.98/50.00	c 50.0s |      17 |   221573 |   197432 |      786    520 |        0 |        0
51.98/52.00	c 52.0s |      17 |   230774 |   205132 |      786    537 |        0 |        0
53.99/54.02	c 54.0s |      17 |   238541 |   212132 |      786    551 |        0 |        0
55.98/56.03	c 56.0s |      17 |   245639 |   218532 |      786    565 |        0 |        0
57.98/58.04	c 58.0s |      17 |   253082 |   225132 |      786    579 |        0 |        0
59.98/60.06	c 60.0s |      17 |   259710 |   231232 |      786    592 |        0 |        0
61.98/62.08	c 62.1s |      17 |   267476 |   238132 |      786    607 |        0 |        0
64.08/64.11	c 64.1s |      17 |   274650 |   244732 |      786    621 |        0 |        0
66.09/66.13	c 66.1s |      17 |   281603 |   251032 |      786    634 |        0 |        0
68.08/68.16	c 68.1s |      17 |   288562 |   257432 |      786    647 |        0 |        0
70.08/70.16	c 70.1s |      17 |   295478 |   263632 |      786    660 |        0 |        0
72.08/72.18	c 72.2s |      17 |   303003 |   270232 |      786    674 |        0 |        0
74.08/74.19	c 74.2s |      17 |   310460 |   276832 |      786    688 |        0 |        0
76.18/76.22	c 76.2s |      17 |   317373 |   283032 |      786    701 |        0 |        0
78.19/78.25	c 78.2s |      17 |   323603 |   288732 |      786    714 |        0 |        0
80.18/80.27	c 80.3s |      17 |   329558 |   294232 |      865    725 |        0 |        0
80.78/80.84	c 80.8s |      18 |   331890 |   296252 |      865    729 |        0 |        0
82.78/82.87	c 82.9s |      18 |   339931 |   303352 |      865    743 |        0 |        0
84.79/84.87	c 84.9s |      18 |   346508 |   309452 |      865    754 |        0 |        0
86.78/86.87	c 86.9s |      18 |   352934 |   315352 |      865    766 |        0 |        0
88.88/88.90	c 88.9s |      18 |   359417 |   321352 |      865    778 |        0 |        0
90.88/90.92	c 90.9s |      18 |   367136 |   328552 |      865    791 |        0 |        0
92.88/92.94	c 92.9s |      18 |   374216 |   334952 |      865    804 |        0 |        0
94.88/94.97	c 95.0s |      18 |   381162 |   341352 |      865    816 |        0 |        0
96.88/96.99	c 97.0s |      18 |   388415 |   347952 |      865    829 |        0 |        0
98.88/99.00	c 99.0s |      18 |   395459 |   354352 |      865    842 |        0 |        0
100.98/101.02	c  101s |      18 |   402391 |   360752 |      865    854 |        0 |        0
102.98/103.03	c  103s |      18 |   409515 |   367152 |      865    866 |        0 |        0
104.98/105.04	c  105s |      18 |   416746 |   373652 |      865    879 |        0 |        0
106.97/107.05	c  107s |      18 |   423030 |   379552 |      865    891 |        0 |        0
108.98/109.08	c  109s |      18 |   429903 |   385852 |      865    903 |        0 |        0
111.08/111.12	c  111s |      18 |   436784 |   392052 |      865    915 |        0 |        0
113.07/113.12	c  113s |      18 |   443120 |   397752 |      865    926 |        0 |        0
115.07/115.15	c  115s |      18 |   449333 |   403352 |      865    937 |        0 |        0
117.07/117.16	c  117s |      18 |   456367 |   409752 |      865    950 |        0 |        0
119.07/119.19	c  119s |      18 |   462740 |   415652 |      865    961 |        0 |        0
121.17/121.20	c  121s |      18 |   469011 |   421352 |      865    972 |        0 |        0
123.18/123.23	c  123s |      18 |   475440 |   427252 |      865    983 |        0 |        0
125.17/125.25	c  125s |      18 |   482348 |   433352 |      865    995 |        0 |        0
127.17/127.26	c  127s |      18 |   489228 |   439552 |      865   1007 |        0 |        0
128.87/128.93	c  128s |      19 |   494716 |   444482 |      952   1016 |        0 |        0
130.87/130.94	c  130s |      19 |   502153 |   451182 |      952   1028 |        0 |        0
132.87/132.96	c  132s |      19 |   509182 |   457582 |      952   1040 |        0 |        0
134.87/134.96	c  134s |      19 |   516221 |   463982 |      952   1051 |        0 |        0
136.87/136.97	c  136s |      19 |   523245 |   470482 |      952   1062 |        0 |        0
138.87/138.98	c  138s |      19 |   529900 |   476682 |      952   1073 |        0 |        0
140.97/141.00	c  140s |      19 |   536800 |   482982 |      952   1084 |        0 |        0
142.97/143.01	c  142s |      19 |   543717 |   489182 |      952   1096 |        0 |        0
144.97/145.04	c  145s |      19 |   550379 |   495182 |      952   1107 |        0 |        0
146.96/147.08	c  147s |      19 |   556993 |   501082 |      952   1118 |        0 |        0
149.06/149.11	c  149s |      19 |   563093 |   506582 |      952   1128 |        0 |        0
151.06/151.14	c  151s |      19 |   569667 |   512382 |      952   1138 |        0 |        0
153.06/153.17	c  153s |      19 |   576258 |   518282 |      952   1149 |        0 |        0
155.07/155.20	c  155s |      19 |   582503 |   523982 |      952   1159 |        0 |        0
157.16/157.22	c  157s |      19 |   589221 |   530082 |      952   1170 |        0 |        0
159.16/159.24	c  159s |      19 |   595932 |   536082 |      952   1181 |        0 |        0
161.16/161.27	c  161s |      19 |   602241 |   541682 |      952   1191 |        0 |        0
163.16/163.30	c  163s |      19 |   608595 |   547482 |      952   1202 |        0 |        0
165.26/165.32	c  165s |      19 |   614618 |   552982 |      952   1212 |        0 |        0
167.27/167.34	c  167s |      19 |   620637 |   558482 |      952   1221 |        0 |        0
169.26/169.37	c  169s |      19 |   626716 |   563982 |      952   1231 |        0 |        0
171.26/171.39	c  171s |      19 |   632819 |   569482 |      952   1241 |        0 |        0
173.37/173.41	c  173s |      19 |   638945 |   575182 |      952   1252 |        0 |        0
175.37/175.42	c  175s |      19 |   644344 |   580182 |      952   1261 |        0 |        0
177.37/177.42	c  177s |      19 |   651525 |   586582 |      952   1272 |        0 |        0
179.37/179.43	c  179s |      19 |   657731 |   592282 |      952   1282 |        0 |        0
181.37/181.46	c  181s |      19 |   664228 |   598182 |      952   1293 |        0 |        0
183.37/183.49	c  183s |      19 |   670067 |   603482 |      952   1303 |        0 |        0
185.47/185.50	c  185s |      19 |   675907 |   608882 |      952   1312 |        0 |        0
187.46/187.50	c  187s |      19 |   681483 |   614082 |      952   1321 |        0 |        0
189.46/189.53	c  189s |      19 |   686952 |   619082 |      952   1330 |        0 |        0
191.47/191.55	c  191s |      19 |   693624 |   625082 |      952   1341 |        0 |        0
193.46/193.58	c  193s |      19 |   700173 |   630982 |      952   1352 |        0 |        0
195.46/195.59	c  195s |      19 |   705986 |   636282 |      952   1361 |        0 |        0
197.56/197.60	c  197s |      19 |   711726 |   641582 |      952   1371 |        0 |        0
199.56/199.60	c  199s |      19 |   717791 |   647082 |      952   1381 |        0 |        0
201.56/201.63	c  201s |      19 |   724179 |   652882 |      952   1391 |        0 |        0
203.57/203.66	c  203s |      19 |   729688 |   657982 |      952   1401 |        0 |        0
205.67/205.71	c  205s |      19 |   735216 |   663082 |     1048   1410 |        0 |        0
207.06/207.16	c  207s |      20 |   739324 |   666827 |     1048   1416 |        0 |        0
209.06/209.17	c  209s |      20 |   747257 |   673927 |     1048   1427 |        0 |        0
211.06/211.17	c  211s |      20 |   754735 |   680927 |     1048   1439 |        0 |        0
213.06/213.18	c  213s |      20 |   761689 |   687327 |     1048   1449 |        0 |        0
215.16/215.20	c  215s |      20 |   768570 |   693727 |     1048   1460 |        0 |        0
217.16/217.21	c  217s |      20 |   774876 |   699627 |     1048   1470 |        0 |        0
219.16/219.23	c  219s |      20 |   781279 |   705627 |     1048   1479 |        0 |        0
221.16/221.26	c  221s |      20 |   788523 |   712327 |     1048   1490 |        0 |        0
223.16/223.27	c  223s |      20 |   795397 |   718627 |     1048   1501 |        0 |        0
225.15/225.28	c  225s |      20 |   802206 |   724927 |     1048   1511 |        0 |        0
227.25/227.30	c  227s |      20 |   808927 |   731227 |     1048   1522 |        0 |        0
229.25/229.32	c  229s |      20 |   816143 |   737827 |     1048   1533 |        0 |        0
231.25/231.35	c  231s |      20 |   823259 |   744327 |     1048   1544 |        0 |        0
233.26/233.37	c  233s |      20 |   830139 |   750627 |     1048   1554 |        0 |        0
235.25/235.37	c  235s |      20 |   836134 |   756127 |     1048   1563 |        0 |        0
237.35/237.41	c  237s |      20 |   843023 |   762327 |     1048   1573 |        0 |        0
239.35/239.42	c  239s |      20 |   849564 |   768227 |     1048   1583 |        0 |        0
241.35/241.46	c  241s |      20 |   856274 |   774227 |     1048   1593 |        0 |        0
243.35/243.46	c  243s |      20 |   862680 |   780027 |     1048   1603 |        0 |        0
245.36/245.48	c  245s |      20 |   868741 |   785627 |     1048   1612 |        0 |        0
247.46/247.51	c  247s |      20 |   874665 |   791127 |     1048   1622 |        0 |        0
249.45/249.52	c  249s |      20 |   879995 |   796127 |     1048   1630 |        0 |        0
251.45/251.53	c  251s |      20 |   886012 |   801627 |     1048   1639 |        0 |        0
253.45/253.56	c  253s |      20 |   892624 |   807627 |     1048   1649 |        0 |        0
255.45/255.57	c  255s |      20 |   898766 |   813227 |     1048   1659 |        0 |        0
257.46/257.57	c  257s |      20 |   904869 |   818827 |     1048   1668 |        0 |        0
259.56/259.60	c  259s |      20 |   910571 |   824027 |     1048   1677 |        0 |        0
261.55/261.62	c  261s |      20 |   916135 |   829227 |     1048   1685 |        0 |        0
263.55/263.62	c  263s |      20 |   922094 |   834627 |     1048   1694 |        0 |        0
265.55/265.64	c  265s |      20 |   928133 |   840127 |     1048   1703 |        0 |        0
267.55/267.66	c  267s |      20 |   934575 |   845927 |     1048   1713 |        0 |        0
269.55/269.68	c  269s |      20 |   940419 |   851327 |     1048   1722 |        0 |        0
271.55/271.69	c  271s |      20 |   946532 |   857027 |     1048   1732 |        0 |        0
273.65/273.72	c  273s |      20 |   952641 |   862727 |     1048   1741 |        0 |        0
275.65/275.76	c  275s |      20 |   958547 |   868327 |     1048   1750 |        0 |        0
277.64/277.78	c  277s |      20 |   964072 |   873427 |     1048   1759 |        0 |        0
279.64/279.79	c  279s |      20 |   969432 |   878427 |     1048   1767 |        0 |        0
281.74/281.80	c  281s |      20 |   975343 |   883927 |     1048   1776 |        0 |        0
283.75/283.82	c  283s |      20 |   981852 |   889927 |     1048   1786 |        0 |        0
285.74/285.83	c  285s |      20 |   988569 |   896127 |     1048   1797 |        0 |        0
287.74/287.85	c  287s |      20 |   995070 |   902127 |     1048   1807 |        0 |        0
289.74/289.88	c  289s |      20 |  1001526 |   908127 |     1048   1817 |        0 |        0
291.74/291.88	c  291s |      20 |  1007617 |   913827 |     1048   1826 |        0 |        0
293.84/293.90	c  293s |      20 |  1012831 |   918727 |     1048   1834 |        0 |        0
295.85/295.92	c  295s |      20 |  1018839 |   924127 |     1048   1843 |        0 |        0
297.84/297.93	c  297s |      20 |  1024786 |   929527 |     1048   1852 |        0 |        0
299.84/299.94	c  299s |      20 |  1031071 |   935227 |     1048   1862 |        0 |        0
301.84/301.97	c  301s |      20 |  1036594 |   940327 |     1048   1870 |        0 |        0
303.84/303.99	c  303s |      20 |  1042176 |   945527 |     1048   1879 |        0 |        0
305.85/305.99	c  305s |      20 |  1047679 |   950627 |     1048   1887 |        0 |        0
307.95/308.02	c  308s |      20 |  1053246 |   955727 |     1048   1896 |        0 |        0
309.94/310.02	c  310s |      20 |  1059989 |   962027 |     1048   1906 |        0 |        0
311.94/312.04	c  312s |      20 |  1066810 |   968327 |     1048   1917 |        0 |        0
313.94/314.05	c  314s |      20 |  1073669 |   974627 |     1048   1927 |        0 |        0
315.94/316.06	c  316s |      20 |  1080586 |   981027 |     1048   1938 |        0 |        0
317.95/318.07	c  318s |      20 |  1087111 |   987027 |     1048   1948 |        0 |        0
320.05/320.10	c  320s |      20 |  1093747 |   993027 |     1048   1958 |        0 |        0
322.04/322.15	c  322s |      20 |  1100009 |   998627 |     1153   1967 |        0 |        0
322.64/322.77	c  322s |      21 |  1101872 |  1000345 |     1153   1969 |        0 |        0
324.64/324.78	c  324s |      21 |  1109102 |  1006945 |     1153   1979 |        0 |        0
326.64/326.78	c  326s |      21 |  1116053 |  1013245 |     1153   1989 |        0 |        0
328.64/328.79	c  328s |      21 |  1122695 |  1019345 |     1153   1998 |        0 |        0
330.74/330.80	c  330s |      21 |  1129486 |  1025645 |     1153   2007 |        0 |        0
332.74/332.81	c  332s |      21 |  1136045 |  1031645 |     1153   2016 |        0 |        0
334.74/334.82	c  334s |      21 |  1142053 |  1037145 |     1153   2025 |        0 |        0
336.74/336.85	c  336s |      21 |  1148971 |  1043345 |     1153   2034 |        0 |        0
338.75/338.85	c  338s |      21 |  1155016 |  1048945 |     1153   2042 |        0 |        0
340.74/340.85	c  340s |      21 |  1161396 |  1054745 |     1153   2051 |        0 |        0
342.74/342.86	c  342s |      21 |  1167718 |  1060545 |     1153   2060 |        0 |        0
344.74/344.87	c  344s |      21 |  1174221 |  1066445 |     1153   2069 |        0 |        0
346.74/346.89	c  346s |      21 |  1180670 |  1072345 |     1153   2078 |        0 |        0
348.84/348.92	c  348s |      21 |  1187200 |  1078245 |     1153   2087 |        0 |        0
350.85/350.95	c  350s |      21 |  1192689 |  1083345 |     1153   2095 |        0 |        0
352.84/352.96	c  352s |      21 |  1198437 |  1088645 |     1153   2103 |        0 |        0
354.84/354.97	c  354s |      21 |  1205267 |  1094845 |     1153   2112 |        0 |        0
356.84/356.99	c  356s |      21 |  1212825 |  1101545 |     1153   2122 |        0 |        0
358.94/359.00	c  358s |      21 |  1219780 |  1107745 |     1153   2132 |        0 |        0
360.94/361.04	c  361s |      21 |  1226413 |  1113745 |     1153   2141 |        0 |        0
362.94/363.04	c  363s |      21 |  1232820 |  1119545 |     1153   2149 |        0 |        0
364.94/365.07	c  365s |      21 |  1239389 |  1125545 |     1153   2158 |        0 |        0
366.94/367.09	c  367s |      21 |  1246724 |  1132145 |     1153   2169 |        0 |        0
369.04/369.12	c  369s |      21 |  1252794 |  1137745 |     1153   2177 |        0 |        0
371.04/371.14	c  371s |      21 |  1259278 |  1143645 |     1153   2186 |        0 |        0
373.04/373.17	c  373s |      21 |  1265539 |  1149345 |     1153   2195 |        0 |        0
375.04/375.18	c  375s |      21 |  1271874 |  1155145 |     1153   2204 |        0 |        0
377.13/377.20	c  377s |      21 |  1278023 |  1160845 |     1153   2212 |        0 |        0
379.13/379.21	c  379s |      21 |  1283954 |  1166345 |     1153   2220 |        0 |        0
381.13/381.23	c  381s |      21 |  1290821 |  1172645 |     1153   2230 |        0 |        0
383.13/383.25	c  383s |      21 |  1297368 |  1178645 |     1153   2239 |        0 |        0
385.13/385.27	c  385s |      21 |  1303379 |  1184245 |     1153   2248 |        0 |        0
387.14/387.28	c  387s |      21 |  1309828 |  1190145 |     1153   2256 |        0 |        0
389.23/389.30	c  389s |      21 |  1316152 |  1195945 |     1153   2265 |        0 |        0
391.23/391.31	c  391s |      21 |  1322692 |  1202045 |     1153   2274 |        0 |        0
393.23/393.34	c  393s |      21 |  1328352 |  1207345 |     1153   2282 |        0 |        0
395.23/395.36	c  395s |      21 |  1335016 |  1213345 |     1153   2292 |        0 |        0
397.23/397.36	c  397s |      21 |  1342421 |  1220045 |     1153   2302 |        0 |        0
399.24/399.38	c  399s |      21 |  1349546 |  1226445 |     1153   2311 |        0 |        0
401.23/401.39	c  401s |      21 |  1356021 |  1232345 |     1153   2320 |        0 |        0
403.33/403.42	c  403s |      21 |  1362313 |  1238145 |     1153   2329 |        0 |        0
405.33/405.46	c  405s |      21 |  1369028 |  1244145 |     1153   2338 |        0 |        0
407.33/407.46	c  407s |      21 |  1374821 |  1249445 |     1153   2346 |        0 |        0
409.33/409.46	c  409s |      21 |  1381144 |  1255145 |     1153   2355 |        0 |        0
411.34/411.48	c  411s |      21 |  1387520 |  1260945 |     1153   2364 |        0 |        0
413.33/413.49	c  413s |      21 |  1393939 |  1266745 |     1153   2372 |        0 |        0
415.43/415.50	c  415s |      21 |  1400316 |  1272545 |     1153   2381 |        0 |        0
417.43/417.51	c  417s |      21 |  1407354 |  1278945 |     1153   2391 |        0 |        0
419.43/419.52	c  419s |      21 |  1414459 |  1285345 |     1153   2401 |        0 |        0
421.43/421.52	c  421s |      21 |  1421382 |  1291545 |     1153   2410 |        0 |        0
423.43/423.54	c  423s |      21 |  1427851 |  1297445 |     1153   2419 |        0 |        0
425.43/425.55	c  425s |      21 |  1434282 |  1303245 |     1153   2428 |        0 |        0
427.43/427.58	c  427s |      21 |  1440806 |  1309245 |     1153   2437 |        0 |        0
429.52/429.60	c  429s |      21 |  1447128 |  1315045 |     1153   2446 |        0 |        0
431.52/431.61	c  431s |      21 |  1453683 |  1321045 |     1153   2455 |        0 |        0
433.52/433.62	c  433s |      21 |  1459569 |  1326345 |     1153   2463 |        0 |        0
435.53/435.63	c  435s |      21 |  1466295 |  1332445 |     1153   2472 |        0 |        0
437.52/437.66	c  437s |      21 |  1472456 |  1338045 |     1153   2481 |        0 |        0
439.52/439.68	c  439s |      21 |  1478925 |  1343945 |     1153   2489 |        0 |        0
441.52/441.69	c  441s |      21 |  1485061 |  1349545 |     1153   2498 |        0 |        0
443.62/443.72	c  443s |      21 |  1491102 |  1355045 |     1153   2506 |        0 |        0
445.62/445.75	c  445s |      21 |  1497012 |  1360445 |     1153   2514 |        0 |        0
447.63/447.76	c  447s |      21 |  1503047 |  1366045 |     1153   2523 |        0 |        0
449.62/449.77	c  449s |      21 |  1509179 |  1371745 |     1153   2532 |        0 |        0
451.62/451.78	c  451s |      21 |  1515770 |  1377645 |     1153   2540 |        0 |        0
453.72/453.81	c  453s |      21 |  1521671 |  1383045 |     1153   2549 |        0 |        0
455.72/455.82	c  455s |      21 |  1527891 |  1388545 |     1153   2557 |        0 |        0
457.72/457.82	c  457s |      21 |  1533336 |  1393545 |     1153   2565 |        0 |        0
459.73/459.85	c  459s |      21 |  1538924 |  1398645 |     1153   2572 |        0 |        0
461.72/461.86	c  461s |      21 |  1544215 |  1403545 |     1153   2580 |        0 |        0
463.82/463.90	c  463s |      21 |  1549739 |  1408645 |     1153   2588 |        0 |        0
465.82/465.94	c  465s |      21 |  1554818 |  1413345 |     1153   2595 |        0 |        0
467.82/467.94	c  467s |      21 |  1561364 |  1419145 |     1153   2603 |        0 |        0
469.82/469.98	c  469s |      21 |  1567595 |  1424845 |     1153   2612 |        0 |        0
471.83/471.98	c  471s |      21 |  1572646 |  1429545 |     1153   2619 |        0 |        0
473.92/474.02	c  474s |      21 |  1578597 |  1435045 |     1153   2628 |        0 |        0
475.92/476.07	c  476s |      21 |  1584226 |  1440245 |     1153   2635 |        0 |        0
478.02/478.10	c  478s |      21 |  1590030 |  1445645 |     1153   2644 |        0 |        0
480.02/480.10	c  480s |      21 |  1595393 |  1450645 |     1153   2651 |        0 |        0
482.02/482.13	c  482s |      21 |  1601161 |  1455945 |     1153   2659 |        0 |        0
484.02/484.16	c  484s |      21 |  1607049 |  1461345 |     1153   2667 |        0 |        0
486.02/486.19	c  486s |      21 |  1612427 |  1466345 |     1153   2675 |        0 |        0
488.11/488.21	c  488s |      21 |  1618214 |  1471545 |     1153   2683 |        0 |        0
490.11/490.25	c  490s |      21 |  1625108 |  1477345 |     1153   2692 |        0 |        0
492.11/492.26	c  492s |      21 |  1631234 |  1482845 |     1153   2700 |        0 |        0
494.11/494.27	c  494s |      21 |  1636895 |  1488045 |     1153   2708 |        0 |        0
496.12/496.29	c  496s |      21 |  1642383 |  1493145 |     1269   2715 |        0 |        0
498.11/498.30	c  498s |      21 |  1647771 |  1498145 |     1269   2722 |        0 |        0
499.21/499.34	c  499s |      22 |  1650438 |  1500622 |     1269   2725 |        0 |        0
501.21/501.35	c  501s |      22 |  1657944 |  1506522 |     1269   2734 |        0 |        0
503.21/503.36	c  503s |      22 |  1664753 |  1512322 |     1269   2742 |        0 |        0
505.21/505.36	c  505s |      22 |  1670965 |  1517722 |     1269   2750 |        0 |        0
507.21/507.39	c  507s |      22 |  1677277 |  1523322 |     1269   2758 |        0 |        0
509.22/509.40	c  509s |      22 |  1683394 |  1528922 |     1269   2765 |        0 |        0
511.31/511.41	c  511s |      22 |  1689481 |  1534422 |     1269   2773 |        0 |        0
513.31/513.44	c  513s |      22 |  1696150 |  1540422 |     1269   2781 |        0 |        0
515.31/515.44	c  515s |      22 |  1702959 |  1546522 |     1269   2790 |        0 |        0
517.31/517.47	c  517s |      22 |  1709413 |  1552322 |     1269   2798 |        0 |        0
519.31/519.47	c  519s |      22 |  1715769 |  1558022 |     1269   2806 |        0 |        0
521.31/521.50	c  521s |      22 |  1722168 |  1563822 |     1269   2815 |        0 |        0
523.41/523.53	c  523s |      22 |  1728676 |  1569622 |     1269   2823 |        0 |        0
525.41/525.54	c  525s |      22 |  1735031 |  1575322 |     1269   2831 |        0 |        0
527.41/527.55	c  527s |      22 |  1741269 |  1580922 |     1269   2839 |        0 |        0
529.41/529.55	c  529s |      22 |  1747169 |  1586222 |     1269   2846 |        0 |        0
531.41/531.57	c  531s |      22 |  1753028 |  1591622 |     1269   2854 |        0 |        0
533.41/533.58	c  533s |      22 |  1758908 |  1597022 |     1269   2862 |        0 |        0
535.50/535.60	c  535s |      22 |  1765270 |  1602722 |     1269   2870 |        0 |        0
537.50/537.63	c  537s |      22 |  1771475 |  1608422 |     1269   2877 |        0 |        0
539.50/539.65	c  539s |      22 |  1777281 |  1613722 |     1269   2885 |        0 |        0
541.50/541.67	c  541s |      22 |  1783758 |  1619622 |     1269   2893 |        0 |        0
543.50/543.67	c  543s |      22 |  1789940 |  1625322 |     1269   2901 |        0 |        0
545.51/545.70	c  545s |      22 |  1795886 |  1630822 |     1269   2909 |        0 |        0
547.61/547.74	c  547s |      22 |  1802090 |  1636422 |     1269   2917 |        0 |        0
549.61/549.77	c  549s |      22 |  1808249 |  1641922 |     1269   2925 |        0 |        0
551.61/551.78	c  551s |      22 |  1814380 |  1647422 |     1269   2932 |        0 |        0
553.61/553.79	c  553s |      22 |  1821068 |  1653522 |     1269   2941 |        0 |        0
555.71/555.80	c  555s |      22 |  1827555 |  1659422 |     1269   2949 |        0 |        0
557.72/557.81	c  557s |      22 |  1833669 |  1665022 |     1269   2957 |        0 |        0
559.71/559.83	c  559s |      22 |  1839962 |  1670622 |     1269   2965 |        0 |        0
561.71/561.84	c  561s |      22 |  1846056 |  1676122 |     1269   2973 |        0 |        0
563.71/563.86	c  563s |      22 |  1851953 |  1681422 |     1269   2980 |        0 |        0
565.71/565.88	c  565s |      22 |  1857907 |  1686822 |     1269   2988 |        0 |        0
567.81/567.90	c  567s |      22 |  1864169 |  1692322 |     1269   2996 |        0 |        0
569.81/569.91	c  569s |      22 |  1869908 |  1697622 |     1269   3003 |        0 |        0
571.80/571.92	c  571s |      22 |  1876180 |  1703322 |     1269   3011 |        0 |        0
573.80/573.95	c  573s |      22 |  1882427 |  1708922 |     1269   3019 |        0 |        0
575.80/575.98	c  575s |      22 |  1888723 |  1714622 |     1269   3027 |        0 |        0
577.90/578.01	c  577s |      22 |  1894704 |  1720122 |     1269   3035 |        0 |        0
579.90/580.02	c  580s |      22 |  1900127 |  1725122 |     1269   3042 |        0 |        0
581.91/582.04	c  582s |      22 |  1906332 |  1730722 |     1269   3050 |        0 |        0
583.90/584.05	c  584s |      22 |  1912271 |  1736122 |     1269   3057 |        0 |        0
585.90/586.06	c  586s |      22 |  1917865 |  1741222 |     1269   3065 |        0 |        0
587.90/588.10	c  588s |      22 |  1923468 |  1746422 |     1269   3072 |        0 |        0
590.00/590.12	c  590s |      22 |  1929153 |  1751622 |     1269   3079 |        0 |        0
592.00/592.14	c  592s |      22 |  1934666 |  1756722 |     1269   3086 |        0 |        0
594.01/594.16	c  594s |      22 |  1940652 |  1762022 |     1269   3094 |        0 |        0
596.00/596.19	c  596s |      22 |  1946397 |  1767222 |     1269   3101 |        0 |        0
598.10/598.23	c  598s |      22 |  1952136 |  1772422 |     1269   3109 |        0 |        0
600.10/600.26	c  600s |      22 |  1958239 |  1777922 |     1269   3116 |        0 |        0
602.10/602.27	c  602s |      22 |  1963974 |  1783122 |     1269   3124 |        0 |        0
604.10/604.28	c  604s |      22 |  1969940 |  1788422 |     1269   3131 |        0 |        0
606.20/606.32	c  606s |      22 |  1976028 |  1793822 |     1269   3139 |        0 |        0
608.20/608.35	c  608s |      22 |  1982382 |  1799522 |     1269   3147 |        0 |        0
610.20/610.36	c  610s |      22 |  1988523 |  1805022 |     1269   3154 |        0 |        0
612.19/612.37	c  612s |      22 |  1994649 |  1810522 |     1269   3162 |        0 |        0
614.19/614.37	c  614s |      22 |  2001041 |  1816222 |     1269   3170 |        0 |        0
616.19/616.38	c  616s |      22 |  2006996 |  1821522 |     1269   3178 |        0 |        0
618.20/618.39	c  618s |      22 |  2012679 |  1826622 |     1269   3185 |        0 |        0
620.30/620.41	c  620s |      22 |  2018718 |  1832122 |     1269   3193 |        0 |        0
622.29/622.43	c  622s |      22 |  2024210 |  1837122 |     1269   3200 |        0 |        0
624.29/624.45	c  624s |      22 |  2030114 |  1842522 |     1269   3207 |        0 |        0
626.30/626.47	c  626s |      22 |  2036267 |  1848122 |     1269   3215 |        0 |        0
628.40/628.51	c  628s |      22 |  2042891 |  1854122 |     1269   3223 |        0 |        0
630.40/630.53	c  630s |      22 |  2048757 |  1859522 |     1269   3231 |        0 |        0
632.41/632.55	c  632s |      22 |  2054485 |  1864822 |     1269   3238 |        0 |        0
634.40/634.59	c  634s |      22 |  2059929 |  1869822 |     1269   3245 |        0 |        0
636.50/636.62	c  636s |      22 |  2065951 |  1875322 |     1269   3253 |        0 |        0
638.50/638.67	c  638s |      22 |  2071251 |  1880222 |     1269   3260 |        0 |        0
640.59/640.70	c  640s |      22 |  2077399 |  1885822 |     1269   3268 |        0 |        0
642.59/642.73	c  642s |      22 |  2083868 |  1891822 |     1269   3276 |        0 |        0
644.60/644.76	c  644s |      22 |  2090409 |  1897822 |     1269   3285 |        0 |        0
646.59/646.78	c  646s |      22 |  2096663 |  1903522 |     1269   3292 |        0 |        0
648.69/648.81	c  648s |      22 |  2102852 |  1909122 |     1269   3300 |        0 |        0
650.69/650.82	c  650s |      22 |  2108816 |  1914622 |     1269   3308 |        0 |        0
652.69/652.84	c  652s |      22 |  2114828 |  1920222 |     1269   3316 |        0 |        0
654.69/654.85	c  654s |      22 |  2120604 |  1925622 |     1269   3323 |        0 |        0
656.70/656.85	c  656s |      22 |  2126548 |  1931022 |     1269   3331 |        0 |        0
658.69/658.88	c  658s |      22 |  2132513 |  1936522 |     1269   3339 |        0 |        0
660.69/660.90	c  660s |      22 |  2138511 |  1942022 |     1269   3346 |        0 |        0
662.79/662.91	c  662s |      22 |  2144589 |  1947422 |     1269   3354 |        0 |        0
664.79/664.93	c  664s |      22 |  2151015 |  1953322 |     1269   3362 |        0 |        0
666.79/666.95	c  666s |      22 |  2156888 |  1958722 |     1269   3369 |        0 |        0
668.79/668.95	c  668s |      22 |  2162942 |  1964222 |     1269   3377 |        0 |        0
670.79/670.96	c  670s |      22 |  2169622 |  1970322 |     1269   3386 |        0 |        0
672.79/672.99	c  672s |      22 |  2176231 |  1976322 |     1269   3394 |        0 |        0
674.89/675.01	c  674s |      22 |  2182740 |  1982222 |     1269   3402 |        0 |        0
676.89/677.04	c  677s |      22 |  2189362 |  1988322 |     1269   3411 |        0 |        0
678.89/679.05	c  679s |      22 |  2195658 |  1994122 |     1269   3419 |        0 |        0
680.89/681.06	c  681s |      22 |  2202081 |  1999922 |     1269   3427 |        0 |        0
682.88/683.07	c  683s |      22 |  2208237 |  2005522 |     1269   3435 |        0 |        0
684.88/685.08	c  685s |      22 |  2214512 |  2011122 |     1269   3443 |        0 |        0
686.98/687.12	c  687s |      22 |  2220698 |  2016722 |     1269   3450 |        0 |        0
688.98/689.13	c  689s |      22 |  2226669 |  2022222 |     1269   3458 |        0 |        0
690.98/691.13	c  691s |      22 |  2233018 |  2028022 |     1269   3466 |        0 |        0
692.99/693.15	c  693s |      22 |  2239102 |  2033622 |     1269   3474 |        0 |        0
694.98/695.16	c  695s |      22 |  2245278 |  2039322 |     1269   3482 |        0 |        0
696.98/697.18	c  697s |      22 |  2251495 |  2045022 |     1269   3490 |        0 |        0
699.08/699.20	c  699s |      22 |  2257798 |  2050622 |     1269   3498 |        0 |        0
701.08/701.22	c  701s |      22 |  2264229 |  2056422 |     1269   3506 |        0 |        0
703.09/703.23	c  703s |      22 |  2270554 |  2062122 |     1269   3514 |        0 |        0
705.09/705.24	c  705s |      22 |  2276930 |  2067822 |     1269   3522 |        0 |        0
707.09/707.27	c  707s |      22 |  2283172 |  2073522 |     1269   3530 |        0 |        0
709.19/709.30	c  709s |      22 |  2289091 |  2078922 |     1269   3538 |        0 |        0
711.19/711.31	c  711s |      22 |  2294796 |  2084122 |     1269   3545 |        0 |        0
713.19/713.34	c  713s |      22 |  2301016 |  2089722 |     1269   3553 |        0 |        0
715.19/715.35	c  715s |      22 |  2306647 |  2094922 |     1269   3560 |        0 |        0
717.19/717.37	c  717s |      22 |  2312484 |  2100322 |     1269   3568 |        0 |        0
719.18/719.40	c  719s |      22 |  2318062 |  2105522 |     1269   3575 |        0 |        0
721.28/721.42	c  721s |      22 |  2323639 |  2110622 |     1269   3583 |        0 |        0
723.28/723.43	c  723s |      22 |  2329948 |  2116322 |     1269   3591 |        0 |        0
725.28/725.46	c  725s |      22 |  2336221 |  2121922 |     1269   3598 |        0 |        0
727.38/727.50	c  727s |      22 |  2342618 |  2127722 |     1269   3607 |        0 |        0
729.38/729.53	c  729s |      22 |  2349655 |  2133822 |     1269   3615 |        0 |        0
731.39/731.57	c  731s |      22 |  2356163 |  2139722 |     1269   3624 |        0 |        0
733.38/733.57	c  733s |      22 |  2362531 |  2145522 |     1269   3632 |        0 |        0
735.48/735.60	c  735s |      22 |  2368725 |  2151222 |     1269   3640 |        0 |        0
737.48/737.63	c  737s |      22 |  2375372 |  2157222 |     1269   3648 |        0 |        0
739.48/739.64	c  739s |      22 |  2381891 |  2163022 |     1269   3657 |        0 |        0
741.48/741.67	c  741s |      22 |  2387769 |  2168522 |     1269   3664 |        0 |        0
743.48/743.68	c  743s |      22 |  2393991 |  2174322 |     1269   3672 |        0 |        0
745.57/745.72	c  745s |      22 |  2399876 |  2179722 |     1269   3680 |        0 |        0
747.57/747.74	c  747s |      22 |  2405733 |  2185122 |     1269   3688 |        0 |        0
749.57/749.77	c  749s |      22 |  2411761 |  2190622 |     1269   3695 |        0 |        0
751.57/751.80	c  751s |      22 |  2417909 |  2196222 |     1269   3703 |        0 |        0
753.67/753.81	c  753s |      22 |  2424095 |  2201822 |     1269   3711 |        0 |        0
755.68/755.84	c  755s |      22 |  2430380 |  2207422 |     1269   3719 |        0 |        0
757.67/757.88	c  757s |      22 |  2436753 |  2213122 |     1269   3727 |        0 |        0
759.77/759.91	c  759s |      22 |  2443098 |  2218822 |     1269   3735 |        0 |        0
761.77/761.92	c  761s |      22 |  2448957 |  2224222 |     1269   3743 |        0 |        0
763.77/763.92	c  763s |      22 |  2454659 |  2229522 |     1269   3750 |        0 |        0
765.77/765.94	c  765s |      22 |  2460681 |  2235022 |     1396   3758 |        0 |        0
767.78/767.95	c  767s |      22 |  2466446 |  2240322 |     1396   3765 |        0 |        0
769.78/769.95	c  769s |      22 |  2472190 |  2245522 |     1396   3772 |        0 |        0
771.78/771.97	c  771s |      22 |  2478151 |  2250822 |     1396   3778 |        0 |        0
771.88/772.07	c  772s |      23 |  2478381 |  2251038 |     1396   3779 |        0 |        0
773.88/774.07	c  774s |      23 |  2485042 |  2257038 |     1396   3786 |        0 |        0
775.88/776.08	c  776s |      23 |  2491275 |  2262838 |     1396   3794 |        0 |        0
777.88/778.09	c  778s |      23 |  2497237 |  2268338 |     1396   3801 |        0 |        0
779.98/780.12	c  780s |      23 |  2503517 |  2274138 |     1396   3808 |        0 |        0
781.98/782.15	c  782s |      23 |  2509294 |  2279538 |     1396   3815 |        0 |        0
783.98/784.16	c  784s |      23 |  2515163 |  2284938 |     1396   3822 |        0 |        0
785.98/786.19	c  786s |      23 |  2521699 |  2290738 |     1396   3830 |        0 |        0
788.08/788.21	c  788s |      23 |  2528607 |  2296838 |     1396   3837 |        0 |        0
790.07/790.22	c  790s |      23 |  2535712 |  2303038 |     1396   3845 |        0 |        0
792.07/792.24	c  792s |      23 |  2542919 |  2309238 |     1396   3853 |        0 |        0
794.08/794.25	c  794s |      23 |  2549551 |  2315238 |     1396   3861 |        0 |        0
796.07/796.28	c  796s |      23 |  2556205 |  2321238 |     1396   3869 |        0 |        0
798.07/798.29	c  798s |      23 |  2562317 |  2326738 |     1396   3876 |        0 |        0
800.17/800.31	c  800s |      23 |  2568538 |  2332438 |     1396   3883 |        0 |        0
802.17/802.34	c  802s |      23 |  2574825 |  2338138 |     1396   3890 |        0 |        0
804.17/804.37	c  804s |      23 |  2580993 |  2343738 |     1396   3898 |        0 |        0
806.18/806.40	c  806s |      23 |  2587518 |  2349738 |     1396   3905 |        0 |        0
808.27/808.43	c  808s |      23 |  2593937 |  2355638 |     1396   3913 |        0 |        0
810.27/810.46	c  810s |      23 |  2600217 |  2361338 |     1396   3920 |        0 |        0
812.27/812.47	c  812s |      23 |  2606153 |  2366738 |     1396   3927 |        0 |        0
814.27/814.48	c  814s |      23 |  2612405 |  2372338 |     1396   3934 |        0 |        0
816.27/816.49	c  816s |      23 |  2618587 |  2377938 |     1396   3941 |        0 |        0
818.38/818.52	c  818s |      23 |  2625047 |  2383838 |     1396   3949 |        0 |        0
820.37/820.55	c  820s |      23 |  2631295 |  2389538 |     1396   3956 |        0 |        0
822.37/822.56	c  822s |      23 |  2637136 |  2394838 |     1396   3963 |        0 |        0
824.37/824.60	c  824s |      23 |  2643297 |  2400538 |     1396   3971 |        0 |        0
826.47/826.61	c  826s |      23 |  2649814 |  2406438 |     1396   3978 |        0 |        0
828.47/828.61	c  828s |      23 |  2655937 |  2412038 |     1396   3985 |        0 |        0
830.47/830.64	c  830s |      23 |  2662159 |  2417638 |     1396   3993 |        0 |        0
832.46/832.65	c  832s |      23 |  2668607 |  2423538 |     1396   4000 |        0 |        0
834.46/834.66	c  834s |      23 |  2674655 |  2429038 |     1396   4007 |        0 |        0
836.46/836.67	c  836s |      23 |  2680857 |  2434638 |     1396   4014 |        0 |        0
838.46/838.68	c  838s |      23 |  2687312 |  2440438 |     1396   4022 |        0 |        0
840.56/840.70	c  840s |      23 |  2693366 |  2445938 |     1396   4029 |        0 |        0
842.57/842.72	c  842s |      23 |  2699799 |  2451738 |     1396   4036 |        0 |        0
844.56/844.74	c  844s |      23 |  2705817 |  2457238 |     1396   4044 |        0 |        0
846.56/846.77	c  846s |      23 |  2712017 |  2462838 |     1396   4051 |        0 |        0
848.56/848.78	c  848s |      23 |  2717864 |  2468138 |     1396   4058 |        0 |        0
850.66/850.82	c  850s |      23 |  2723944 |  2473538 |     1396   4065 |        0 |        0
852.66/852.85	c  852s |      23 |  2729756 |  2478738 |     1396   4071 |        0 |        0
854.67/854.85	c  854s |      23 |  2734946 |  2483438 |     1396   4077 |        0 |        0
856.66/856.85	c  856s |      23 |  2740296 |  2488238 |     1396   4084 |        0 |        0
858.66/858.89	c  858s |      23 |  2745493 |  2493038 |     1396   4090 |        0 |        0
860.76/860.93	c  860s |      23 |  2751447 |  2498538 |     1396   4097 |        0 |        0
862.76/862.95	c  862s |      23 |  2756714 |  2503438 |     1396   4103 |        0 |        0
864.76/864.97	c  864s |      23 |  2761687 |  2508038 |     1396   4109 |        0 |        0
866.76/866.99	c  866s |      23 |  2766771 |  2512638 |     1396   4115 |        0 |        0
868.86/869.00	c  868s |      23 |  2772351 |  2517738 |     1396   4122 |        0 |        0
870.86/871.02	c  871s |      23 |  2778333 |  2523238 |     1396   4129 |        0 |        0
872.86/873.02	c  873s |      23 |  2784107 |  2528438 |     1396   4135 |        0 |        0
874.86/875.05	c  875s |      23 |  2790072 |  2533938 |     1396   4142 |        0 |        0
876.85/877.05	c  877s |      23 |  2796012 |  2539338 |     1396   4149 |        0 |        0
878.86/879.09	c  879s |      23 |  2802187 |  2544938 |     1396   4157 |        0 |        0
880.96/881.14	c  881s |      23 |  2808102 |  2550338 |     1396   4164 |        0 |        0
882.95/883.16	c  883s |      23 |  2813990 |  2555738 |     1396   4170 |        0 |        0
884.95/885.18	c  885s |      23 |  2819831 |  2561138 |     1396   4177 |        0 |        0
886.95/887.18	c  887s |      23 |  2825490 |  2566338 |     1396   4184 |        0 |        0
889.05/889.20	c  889s |      23 |  2830740 |  2571238 |     1396   4190 |        0 |        0
891.05/891.24	c  891s |      23 |  2835745 |  2575838 |     1396   4196 |        0 |        0
893.06/893.25	c  893s |      23 |  2840868 |  2580538 |     1396   4202 |        0 |        0
895.06/895.26	c  895s |      23 |  2845415 |  2584838 |     1396   4208 |        0 |        0
897.06/897.26	c  897s |      23 |  2850346 |  2589438 |     1396   4214 |        0 |        0
899.06/899.28	c  899s |      23 |  2856304 |  2594838 |     1396   4221 |        0 |        0
901.16/901.32	c  901s |      23 |  2862447 |  2600438 |     1396   4228 |        0 |        0
903.16/903.34	c  903s |      23 |  2868324 |  2605838 |     1396   4235 |        0 |        0
905.16/905.35	c  905s |      23 |  2874117 |  2611038 |     1396   4242 |        0 |        0
907.16/907.36	c  907s |      23 |  2879344 |  2615838 |     1396   4248 |        0 |        0
909.15/909.36	c  909s |      23 |  2884114 |  2620238 |     1396   4254 |        0 |        0
911.15/911.36	c  911s |      23 |  2890449 |  2625838 |     1396   4261 |        0 |        0
913.15/913.39	c  913s |      23 |  2896342 |  2631138 |     1396   4268 |        0 |        0
915.25/915.41	c  915s |      23 |  2902264 |  2636538 |     1396   4275 |        0 |        0
917.26/917.43	c  917s |      23 |  2908425 |  2642138 |     1396   4282 |        0 |        0
919.25/919.45	c  919s |      23 |  2914552 |  2647638 |     1396   4289 |        0 |        0
921.25/921.48	c  921s |      23 |  2920437 |  2652938 |     1396   4296 |        0 |        0
923.25/923.49	c  923s |      23 |  2926437 |  2658338 |     1396   4303 |        0 |        0
925.35/925.51	c  925s |      23 |  2931964 |  2663338 |     1396   4309 |        0 |        0
927.35/927.53	c  927s |      23 |  2937643 |  2668438 |     1396   4316 |        0 |        0
929.36/929.53	c  929s |      23 |  2943112 |  2673438 |     1396   4322 |        0 |        0
931.35/931.54	c  931s |      23 |  2949468 |  2679038 |     1396   4329 |        0 |        0
933.35/933.55	c  933s |      23 |  2955392 |  2684438 |     1396   4336 |        0 |        0
935.35/935.59	c  935s |      23 |  2961257 |  2689738 |     1396   4343 |        0 |        0
937.35/937.59	c  937s |      23 |  2966846 |  2694838 |     1396   4349 |        0 |        0
939.45/939.63	c  939s |      23 |  2972259 |  2699838 |     1396   4356 |        0 |        0
941.46/941.64	c  941s |      23 |  2977482 |  2704638 |     1396   4362 |        0 |        0
943.45/943.64	c  943s |      23 |  2982795 |  2709538 |     1396   4368 |        0 |        0
945.45/945.65	c  945s |      23 |  2988021 |  2714338 |     1396   4374 |        0 |        0
947.45/947.69	c  947s |      23 |  2992900 |  2718938 |     1396   4380 |        0 |        0
949.45/949.70	c  949s |      23 |  2999177 |  2724538 |     1396   4387 |        0 |        0
951.55/951.73	c  951s |      23 |  3005319 |  2730038 |     1396   4394 |        0 |        0
953.55/953.74	c  953s |      23 |  3011095 |  2735238 |     1396   4401 |        0 |        0
955.54/955.75	c  955s |      23 |  3016672 |  2740238 |     1396   4408 |        0 |        0
957.64/957.80	c  957s |      23 |  3022664 |  2745638 |     1396   4415 |        0 |        0
959.64/959.82	c  959s |      23 |  3028548 |  2750938 |     1396   4421 |        0 |        0
961.64/961.83	c  961s |      23 |  3034078 |  2756038 |     1396   4428 |        0 |        0
963.64/963.84	c  963s |      23 |  3040036 |  2761238 |     1396   4435 |        0 |        0
965.65/965.88	c  965s |      23 |  3046072 |  2766638 |     1396   4442 |        0 |        0
967.74/967.92	c  967s |      23 |  3052033 |  2771838 |     1396   4448 |        0 |        0
969.74/969.92	c  969s |      23 |  3056993 |  2776338 |     1396   4454 |        0 |        0
971.74/971.95	c  971s |      23 |  3062465 |  2781338 |     1396   4460 |        0 |        0
973.74/973.96	c  973s |      23 |  3068383 |  2786638 |     1396   4467 |        0 |        0
975.74/975.97	c  975s |      23 |  3073654 |  2791538 |     1396   4474 |        0 |        0
977.75/977.98	c  977s |      23 |  3079186 |  2796438 |     1396   4480 |        0 |        0
979.84/980.01	c  979s |      23 |  3084757 |  2801538 |     1396   4486 |        0 |        0
981.84/982.02	c  982s |      23 |  3090477 |  2806738 |     1396   4493 |        0 |        0
983.84/984.06	c  984s |      23 |  3095776 |  2811538 |     1396   4499 |        0 |        0
985.94/986.10	c  986s |      23 |  3101224 |  2816438 |     1396   4506 |        0 |        0
987.94/988.12	c  988s |      23 |  3106540 |  2821338 |     1396   4512 |        0 |        0
989.94/990.15	c  990s |      23 |  3111629 |  2825938 |     1396   4518 |        0 |        0
991.94/992.16	c  992s |      23 |  3117515 |  2831038 |     1396   4524 |        0 |        0
993.94/994.18	c  994s |      23 |  3123585 |  2836538 |     1396   4531 |        0 |        0
995.94/996.19	c  996s |      23 |  3129671 |  2842038 |     1396   4538 |        0 |        0
998.04/998.23	c  998s |      23 |  3135077 |  2846938 |     1396   4545 |        0 |        0
1000.04/1000.23	c 1000s |      23 |  3141138 |  2852338 |     1396   4552 |        0 |        0
1002.04/1002.25	c 1002s |      23 |  3146610 |  2857338 |     1396   4558 |        0 |        0
1004.03/1004.27	c 1004s |      23 |  3151778 |  2862038 |     1396   4564 |        0 |        0
1006.13/1006.30	c 1006s |      23 |  3156948 |  2866738 |     1396   4570 |        0 |        0
1008.13/1008.31	c 1008s |      23 |  3162030 |  2871338 |     1396   4576 |        0 |        0
1010.13/1010.34	c 1010s |      23 |  3167920 |  2876638 |     1396   4583 |        0 |        0
1012.14/1012.34	c 1012s |      23 |  3174018 |  2882138 |     1396   4590 |        0 |        0
1014.15/1014.35	c 1014s |      23 |  3180321 |  2887738 |     1396   4597 |        0 |        0
1016.14/1016.37	c 1016s |      23 |  3185888 |  2892838 |     1396   4603 |        0 |        0
1018.24/1018.41	c 1018s |      23 |  3191100 |  2897638 |     1396   4610 |        0 |        0
1020.24/1020.42	c 1020s |      23 |  3196064 |  2902138 |     1396   4615 |        0 |        0
1022.24/1022.45	c 1022s |      23 |  3201323 |  2906938 |     1396   4621 |        0 |        0
1024.24/1024.49	c 1024s |      23 |  3207032 |  2912038 |     1396   4628 |        0 |        0
1026.34/1026.52	c 1026s |      23 |  3212749 |  2917238 |     1396   4635 |        0 |        0
1028.34/1028.54	c 1028s |      23 |  3217996 |  2922038 |     1396   4641 |        0 |        0
1030.34/1030.59	c 1030s |      23 |  3223628 |  2927238 |     1396   4648 |        0 |        0
1032.44/1032.61	c 1032s |      23 |  3229222 |  2932438 |     1396   4654 |        0 |        0
1034.44/1034.63	c 1034s |      23 |  3234374 |  2937138 |     1396   4660 |        0 |        0
1036.44/1036.66	c 1036s |      23 |  3239905 |  2942138 |     1396   4667 |        0 |        0
1038.54/1038.70	c 1038s |      23 |  3245747 |  2947438 |     1396   4673 |        0 |        0
1040.54/1040.71	c 1040s |      23 |  3251171 |  2952338 |     1396   4680 |        0 |        0
1042.53/1042.77	c 1042s |      23 |  3255962 |  2956838 |     1396   4686 |        0 |        0
1044.53/1044.78	c 1044s |      23 |  3261435 |  2961838 |     1396   4692 |        0 |        0
1046.63/1046.80	c 1046s |      23 |  3266722 |  2966738 |     1396   4698 |        0 |        0
1048.63/1048.80	c 1048s |      23 |  3272337 |  2971838 |     1396   4705 |        0 |        0
1050.63/1050.83	c 1050s |      23 |  3277532 |  2976638 |     1396   4711 |        0 |        0
1052.64/1052.85	c 1052s |      23 |  3282744 |  2981438 |     1396   4717 |        0 |        0
1054.63/1054.89	c 1054s |      23 |  3288086 |  2986338 |     1396   4723 |        0 |        0
1056.63/1056.89	c 1056s |      23 |  3294015 |  2991738 |     1396   4730 |        0 |        0
1058.63/1058.89	c 1058s |      23 |  3299259 |  2996638 |     1396   4737 |        0 |        0
1060.73/1060.90	c 1060s |      23 |  3304104 |  3001038 |     1396   4742 |        0 |        0
1062.73/1062.92	c 1062s |      23 |  3309998 |  3006238 |     1396   4749 |        0 |        0
1064.74/1064.93	c 1064s |      23 |  3315747 |  3011438 |     1396   4756 |        0 |        0
1066.73/1066.95	c 1066s |      23 |  3321017 |  3016238 |     1396   4762 |        0 |        0
1068.73/1068.95	c 1068s |      23 |  3326900 |  3021538 |     1396   4769 |        0 |        0
1070.73/1070.97	c 1070s |      23 |  3332318 |  3026538 |     1396   4775 |        0 |        0
1072.73/1072.98	c 1072s |      23 |  3337633 |  3031338 |     1396   4781 |        0 |        0
1074.73/1075.00	c 1074s |      23 |  3342991 |  3036238 |     1396   4788 |        0 |        0
1076.73/1077.00	c 1076s |      23 |  3348448 |  3041138 |     1396   4794 |        0 |        0
1078.83/1079.03	c 1079s |      23 |  3353588 |  3045838 |     1396   4800 |        0 |        0
1080.83/1081.07	c 1081s |      23 |  3358542 |  3050338 |     1396   4806 |        0 |        0
1082.93/1083.10	c 1083s |      23 |  3363315 |  3054738 |     1396   4811 |        0 |        0
1084.93/1085.12	c 1085s |      23 |  3368235 |  3059338 |     1396   4817 |        0 |        0
1086.93/1087.16	c 1087s |      23 |  3373404 |  3064038 |     1396   4823 |        0 |        0
1088.93/1089.19	c 1089s |      23 |  3378325 |  3068538 |     1396   4829 |        0 |        0
1090.93/1091.20	c 1091s |      23 |  3383619 |  3073438 |     1396   4835 |        0 |        0
1093.02/1093.21	c 1093s |      23 |  3389219 |  3078538 |     1396   4842 |        0 |        0
1095.02/1095.21	c 1095s |      23 |  3395120 |  3083938 |     1396   4849 |        0 |        0
1097.02/1097.22	c 1097s |      23 |  3401141 |  3089438 |     1396   4856 |        0 |        0
1099.02/1099.23	c 1099s |      23 |  3406913 |  3094638 |     1396   4862 |        0 |        0
1101.03/1101.27	c 1101s |      23 |  3412513 |  3099738 |     1396   4869 |        0 |        0
1103.02/1103.27	c 1103s |      23 |  3417681 |  3104538 |     1396   4875 |        0 |        0
1105.12/1105.30	c 1105s |      23 |  3423811 |  3110038 |     1396   4882 |        0 |        0
1107.11/1107.32	c 1107s |      23 |  3429496 |  3115038 |     1396   4889 |        0 |        0
1109.11/1109.33	c 1109s |      23 |  3435483 |  3120138 |     1396   4895 |        0 |        0
1111.11/1111.34	c 1111s |      23 |  3440790 |  3124938 |     1396   4901 |        0 |        0
1113.12/1113.34	c 1113s |      23 |  3445625 |  3129338 |     1396   4907 |        0 |        0
1115.11/1115.37	c 1115s |      23 |  3450846 |  3134038 |     1396   4913 |        0 |        0
1117.21/1117.41	c 1117s |      23 |  3456049 |  3138838 |     1396   4919 |        0 |        0
1119.21/1119.43	c 1119s |      23 |  3461294 |  3143638 |     1396   4925 |        0 |        0
1121.21/1121.47	c 1121s |      23 |  3466520 |  3148438 |     1396   4932 |        0 |        0
1123.31/1123.50	c 1123s |      23 |  3471317 |  3152938 |     1396   4937 |        0 |        0
1125.31/1125.51	c 1125s |      23 |  3476454 |  3157638 |     1396   4943 |        0 |        0
1127.31/1127.54	c 1127s |      23 |  3481877 |  3162538 |     1396   4950 |        0 |        0
1129.31/1129.58	c 1129s |      23 |  3487049 |  3167338 |     1396   4956 |        0 |        0
1131.41/1131.60	c 1131s |      23 |  3491931 |  3171838 |     1396   4961 |        0 |        0
1133.40/1133.64	c 1133s |      23 |  3496501 |  3176038 |     1396   4967 |        0 |        0
1135.40/1135.69	c 1135s |      23 |  3500827 |  3180038 |     1396   4972 |        0 |        0
1137.50/1137.72	c 1137s |      23 |  3506018 |  3184838 |     1396   4978 |        0 |        0
1139.51/1139.73	c 1139s |      23 |  3510936 |  3189438 |     1396   4984 |        0 |        0
1141.50/1141.76	c 1141s |      23 |  3516294 |  3194438 |     1396   4990 |        0 |        0
1143.60/1143.80	c 1143s |      23 |  3521134 |  3198938 |     1396   4996 |        0 |        0
1145.60/1145.82	c 1145s |      23 |  3526296 |  3203738 |     1396   5002 |        0 |        0
1147.60/1147.84	c 1147s |      23 |  3531646 |  3208638 |     1396   5008 |        0 |        0
1149.60/1149.86	c 1149s |      23 |  3536597 |  3213138 |     1396   5014 |        0 |        0
1151.60/1151.88	c 1151s |      23 |  3541013 |  3217238 |     1396   5020 |        0 |        0
1153.59/1153.90	c 1153s |      23 |  3545590 |  3221438 |     1396   5025 |        0 |        0
1155.69/1155.94	c 1155s |      23 |  3549860 |  3225438 |     1396   5030 |        0 |        0
1157.69/1157.96	c 1157s |      23 |  3554162 |  3229338 |     1396   5035 |        0 |        0
1159.69/1159.96	c 1159s |      23 |  3559118 |  3233938 |     1396   5041 |        0 |        0
1161.69/1161.98	c 1161s |      23 |  3563773 |  3238238 |     1396   5046 |        0 |        0
1163.78/1164.01	c 1163s |      23 |  3568049 |  3242238 |     1396   5051 |        0 |        0
1165.79/1166.03	c 1166s |      23 |  3572403 |  3246338 |     1396   5057 |        0 |        0
1167.78/1168.05	c 1168s |      23 |  3576324 |  3250038 |     1396   5061 |        0 |        0
1169.78/1170.06	c 1170s |      23 |  3581476 |  3254738 |     1396   5067 |        0 |        0
1171.78/1172.08	c 1172s |      23 |  3586595 |  3259538 |     1396   5074 |        0 |        0
1173.77/1174.09	c 1174s |      23 |  3591780 |  3264338 |     1396   5080 |        0 |        0
1175.87/1176.11	c 1176s |      23 |  3596695 |  3268838 |     1396   5085 |        0 |        0
1177.88/1178.12	c 1178s |      23 |  3601245 |  3273038 |     1396   5091 |        0 |        0
1179.87/1180.17	c 1180s |      23 |  3606383 |  3277738 |     1396   5097 |        0 |        0
1181.87/1182.17	c 1182s |      23 |  3610817 |  3281838 |     1396   5102 |        0 |        0
1183.87/1184.18	c 1184s |      23 |  3615094 |  3285838 |     1396   5107 |        0 |        0
1185.97/1186.24	c 1186s |      23 |  3619661 |  3290038 |     1396   5113 |        0 |        0
1187.97/1188.26	c 1188s |      23 |  3623757 |  3293838 |     1396   5117 |        0 |        0
1189.98/1190.30	c 1190s |      23 |  3628827 |  3298438 |     1396   5123 |        0 |        0
1192.07/1192.32	c 1192s |      23 |  3633394 |  3302638 |     1396   5129 |        0 |        0
1194.06/1194.35	c 1194s |      23 |  3638392 |  3307238 |     1396   5134 |        0 |        0
1196.06/1196.38	c 1196s |      23 |  3643073 |  3311538 |     1396   5140 |        0 |        0
1198.17/1198.41	c 1198s |      23 |  3647368 |  3315538 |     1396   5145 |        0 |        0
1200.17/1200.41	c 1200s |      23 |  3651967 |  3319738 |     1396   5150 |        0 |        0
1202.18/1202.43	c 1202s |      23 |  3656394 |  3323738 |     1396   5156 |        0 |        0
1204.17/1204.47	c 1204s |      23 |  3661047 |  3327938 |     1396   5161 |        0 |        0
1206.16/1206.47	c 1206s |      23 |  3665799 |  3332238 |     1396   5166 |        0 |        0
1208.16/1208.49	c 1208s |      23 |  3670633 |  3336638 |     1396   5172 |        0 |        0
1210.26/1210.54	c 1210s |      23 |  3675093 |  3340738 |     1396   5177 |        0 |        0
1212.26/1212.54	c 1212s |      23 |  3680103 |  3345338 |     1396   5183 |        0 |        0
1214.27/1214.55	c 1214s |      23 |  3684731 |  3349638 |     1396   5189 |        0 |        0
1216.26/1216.56	c 1216s |      23 |  3689236 |  3353738 |     1536   5194 |        0 |        0
1218.26/1218.58	c 1218s |      23 |  3693717 |  3357838 |     1536   5199 |        0 |        0
1220.26/1220.59	c 1220s |      23 |  3697798 |  3361638 |     1536   5203 |        0 |        0
1222.36/1222.60	c 1222s |      23 |  3703273 |  3366638 |     1536   5209 |        0 |        0
1224.35/1224.61	c 1224s |      23 |  3709218 |  3372138 |     1536   5216 |        0 |        0
1225.95/1226.28	c 1226s |      24 |  3714043 |  3376662 |     1536   5221 |        0 |        0
1227.95/1228.28	c 1228s |      24 |  3720082 |  3382162 |     1536   5228 |        0 |        0
1230.05/1230.30	c 1230s |      24 |  3726120 |  3387762 |     1536   5234 |        0 |        0
1232.05/1232.32	c 1232s |      24 |  3732384 |  3393562 |     1536   5241 |        0 |        0
1234.05/1234.33	c 1234s |      24 |  3738251 |  3398962 |     1536   5248 |        0 |        0
1236.05/1236.36	c 1236s |      24 |  3744273 |  3404462 |     1536   5254 |        0 |        0
1238.05/1238.39	c 1238s |      24 |  3749780 |  3409662 |     1536   5261 |        0 |        0
1240.15/1240.42	c 1240s |      24 |  3755633 |  3415162 |     1536   5267 |        0 |        0
1242.15/1242.46	c 1242s |      24 |  3761339 |  3420562 |     1536   5274 |        0 |        0
1244.14/1244.46	c 1244s |      24 |  3767129 |  3425962 |     1536   5280 |        0 |        0
1246.15/1246.49	c 1246s |      24 |  3772712 |  3431062 |     1536   5286 |        0 |        0
1248.14/1248.50	c 1248s |      24 |  3778541 |  3436462 |     1536   5293 |        0 |        0
1250.24/1250.53	c 1250s |      24 |  3784143 |  3441662 |     1536   5299 |        0 |        0
1252.24/1252.54	c 1252s |      24 |  3789674 |  3446762 |     1536   5305 |        0 |        0
1254.23/1254.55	c 1254s |      24 |  3794859 |  3451562 |     1536   5311 |        0 |        0
1256.23/1256.59	c 1256s |      24 |  3800438 |  3456662 |     1536   5317 |        0 |        0
1258.33/1258.60	c 1258s |      24 |  3806640 |  3461962 |     1536   5323 |        0 |        0
1260.23/1260.60	c 1260s |      24 |  3812097 |  3467062 |     1536   5329 |        0 |        0
1262.33/1262.62	c 1262s |      24 |  3817768 |  3472262 |     1536   5335 |        0 |        0
1264.33/1264.62	c 1264s |      24 |  3823920 |  3477962 |     1536   5342 |        0 |        0
1266.33/1266.64	c 1266s |      24 |  3829711 |  3483362 |     1536   5349 |        0 |        0
1268.33/1268.65	c 1268s |      24 |  3835124 |  3488362 |     1536   5355 |        0 |        0
1270.33/1270.67	c 1270s |      24 |  3841191 |  3493962 |     1536   5361 |        0 |        0
1272.43/1272.71	c 1272s |      24 |  3847653 |  3499662 |     1536   5368 |        0 |        0
1274.42/1274.73	c 1274s |      24 |  3853703 |  3505062 |     1536   5375 |        0 |        0
1276.42/1276.76	c 1276s |      24 |  3859909 |  3510662 |     1536   5382 |        0 |        0
1278.42/1278.77	c 1278s |      24 |  3865942 |  3516162 |     1536   5388 |        0 |        0
1280.52/1280.81	c 1280s |      24 |  3872762 |  3522362 |     1536   5396 |        0 |        0
1282.52/1282.84	c 1282s |      24 |  3879058 |  3528062 |     1536   5403 |        0 |        0
1284.52/1284.88	c 1284s |      24 |  3885405 |  3533762 |     1536   5409 |        0 |        0
1286.62/1286.90	c 1286s |      24 |  3891241 |  3539062 |     1536   5416 |        0 |        0
1288.62/1288.91	c 1288s |      24 |  3896497 |  3543862 |     1536   5422 |        0 |        0
1290.61/1290.91	c 1290s |      24 |  3902675 |  3549362 |     1536   5428 |        0 |        0
1292.61/1292.91	c 1292s |      24 |  3908192 |  3554362 |     1536   5434 |        0 |        0
1294.61/1294.93	c 1294s |      24 |  3913780 |  3559462 |     1536   5440 |        0 |        0
1296.62/1296.93	c 1296s |      24 |  3919704 |  3564862 |     1536   5447 |        0 |        0
1298.61/1298.94	c 1298s |      24 |  3925421 |  3570162 |     1536   5453 |        0 |        0
1300.61/1300.95	c 1300s |      24 |  3931162 |  3575362 |     1536   5460 |        0 |        0
1302.61/1302.98	c 1302s |      24 |  3936872 |  3580562 |     1536   5466 |        0 |        0
1304.60/1304.98	c 1304s |      24 |  3942894 |  3586062 |     1536   5472 |        0 |        0
1306.61/1306.99	c 1306s |      24 |  3949117 |  3591862 |     1536   5479 |        0 |        0
1308.71/1309.01	c 1308s |      24 |  3955113 |  3597462 |     1536   5486 |        0 |        0
1310.70/1311.04	c 1311s |      24 |  3960900 |  3602762 |     1536   5492 |        0 |        0
1312.70/1313.06	c 1313s |      24 |  3967427 |  3608562 |     1536   5499 |        0 |        0
1314.70/1315.07	c 1315s |      24 |  3973963 |  3614362 |     1536   5506 |        0 |        0
1316.70/1317.08	c 1317s |      24 |  3980314 |  3620162 |     1536   5513 |        0 |        0
1318.80/1319.10	c 1319s |      24 |  3986206 |  3625562 |     1536   5519 |        0 |        0
1320.80/1321.11	c 1321s |      24 |  3992182 |  3631062 |     1536   5526 |        0 |        0
1322.80/1323.11	c 1323s |      24 |  3997818 |  3636262 |     1536   5532 |        0 |        0
1324.79/1325.14	c 1325s |      24 |  4004039 |  3641862 |     1536   5538 |        0 |        0
1326.79/1327.14	c 1327s |      24 |  4009736 |  3647062 |     1536   5544 |        0 |        0
1328.79/1329.14	c 1329s |      24 |  4016209 |  3652762 |     1536   5551 |        0 |        0
1330.80/1331.16	c 1331s |      24 |  4022176 |  3658162 |     1536   5558 |        0 |        0
1332.79/1333.18	c 1333s |      24 |  4028227 |  3663662 |     1536   5564 |        0 |        0
1334.88/1335.21	c 1335s |      24 |  4034516 |  3669362 |     1536   5571 |        0 |        0
1336.88/1337.22	c 1337s |      24 |  4040440 |  3674562 |     1536   5577 |        0 |        0
1338.88/1339.24	c 1339s |      24 |  4046887 |  3680062 |     1536   5583 |        0 |        0
1340.88/1341.26	c 1341s |      24 |  4053808 |  3685862 |     1536   5590 |        0 |        0
1342.89/1343.27	c 1343s |      24 |  4060079 |  3691462 |     1536   5597 |        0 |        0
1344.88/1345.30	c 1345s |      24 |  4065899 |  3696662 |     1536   5603 |        0 |        0
1346.99/1347.30	c 1347s |      24 |  4072084 |  3702162 |     1536   5609 |        0 |        0
1348.98/1349.33	c 1349s |      24 |  4078326 |  3707762 |     1536   5616 |        0 |        0
1350.98/1351.35	c 1351s |      24 |  4084631 |  3713262 |     1536   5623 |        0 |        0
1352.98/1353.38	c 1353s |      24 |  4090785 |  3718762 |     1536   5629 |        0 |        0
1354.99/1355.39	c 1355s |      24 |  4096343 |  3723762 |     1536   5635 |        0 |        0
1357.09/1357.41	c 1357s |      24 |  4102157 |  3729062 |     1536   5641 |        0 |        0
1359.08/1359.45	c 1359s |      24 |  4108182 |  3734362 |     1536   5647 |        0 |        0
1361.08/1361.47	c 1361s |      24 |  4114307 |  3739662 |     1536   5654 |        0 |        0
1363.08/1363.49	c 1363s |      24 |  4121271 |  3745562 |     1536   5661 |        0 |        0
1365.07/1365.49	c 1365s |      24 |  4127543 |  3750962 |     1536   5667 |        0 |        0
1367.17/1367.50	c 1367s |      24 |  4133721 |  3756262 |     1536   5673 |        0 |        0
1369.18/1369.53	c 1369s |      24 |  4141048 |  3762262 |     1536   5680 |        0 |        0
1371.17/1371.56	c 1371s |      24 |  4147492 |  3767962 |     1536   5687 |        0 |        0
1373.17/1373.58	c 1373s |      24 |  4154045 |  3773762 |     1536   5694 |        0 |        0
1375.26/1375.60	c 1375s |      24 |  4160437 |  3779462 |     1536   5701 |        0 |        0
1377.26/1377.61	c 1377s |      24 |  4166767 |  3784962 |     1536   5707 |        0 |        0
1379.26/1379.63	c 1379s |      24 |  4173244 |  3790662 |     1536   5714 |        0 |        0
1381.27/1381.65	c 1381s |      24 |  4179575 |  3796262 |     1536   5721 |        0 |        0
1383.26/1383.69	c 1383s |      24 |  4184978 |  3801162 |     1536   5726 |        0 |        0
1385.36/1385.72	c 1385s |      24 |  4190819 |  3806462 |     1536   5733 |        0 |        0
1387.36/1387.76	c 1387s |      24 |  4196397 |  3811562 |     1536   5739 |        0 |        0
1389.36/1389.79	c 1389s |      24 |  4201203 |  3815962 |     1536   5744 |        0 |        0
1391.36/1391.80	c 1391s |      24 |  4206631 |  3820762 |     1536   5750 |        0 |        0
1393.46/1393.82	c 1393s |      24 |  4212004 |  3825562 |     1536   5755 |        0 |        0
1395.45/1395.83	c 1395s |      24 |  4218389 |  3831062 |     1536   5762 |        0 |        0
1397.45/1397.86	c 1397s |      24 |  4223678 |  3835762 |     1536   5767 |        0 |        0
1399.45/1399.87	c 1399s |      24 |  4230076 |  3841362 |     1536   5774 |        0 |        0
1401.55/1401.90	c 1401s |      24 |  4236913 |  3846962 |     1536   5781 |        0 |        0
1403.54/1403.92	c 1403s |      24 |  4243083 |  3852162 |     1536   5787 |        0 |        0
1405.55/1405.94	c 1405s |      24 |  4248672 |  3856962 |     1536   5793 |        0 |        0
1407.54/1407.95	c 1407s |      24 |  4254505 |  3862062 |     1536   5799 |        0 |        0
1409.54/1409.95	c 1409s |      24 |  4260034 |  3866962 |     1536   5804 |        0 |        0
1411.54/1411.97	c 1411s |      24 |  4265628 |  3871862 |     1536   5810 |        0 |        0
1413.64/1414.00	c 1413s |      24 |  4270924 |  3876562 |     1536   5816 |        0 |        0
1415.64/1416.03	c 1416s |      24 |  4276909 |  3881662 |     1536   5822 |        0 |        0
1417.64/1418.06	c 1418s |      24 |  4282406 |  3886662 |     1536   5828 |        0 |        0
1419.64/1420.09	c 1420s |      24 |  4287608 |  3891162 |     1536   5833 |        0 |        0
1421.64/1422.09	c 1422s |      24 |  4292935 |  3895762 |     1536   5838 |        0 |        0
1423.73/1424.14	c 1424s |      24 |  4298725 |  3900862 |     1536   5845 |        0 |        0
1425.73/1426.15	c 1426s |      24 |  4304807 |  3906262 |     1536   5851 |        0 |        0
1427.73/1428.15	c 1428s |      24 |  4309941 |  3910962 |     1536   5856 |        0 |        0
1429.74/1430.17	c 1430s |      24 |  4315886 |  3916062 |     1536   5863 |        0 |        0
1431.73/1432.19	c 1432s |      24 |  4321633 |  3920962 |     1536   5868 |        0 |        0
1433.83/1434.22	c 1434s |      24 |  4326529 |  3925362 |     1536   5874 |        0 |        0
1435.83/1436.24	c 1436s |      24 |  4332437 |  3930262 |     1536   5879 |        0 |        0
1437.83/1438.24	c 1438s |      24 |  4337607 |  3934662 |     1536   5885 |        0 |        0
1439.83/1440.27	c 1440s |      24 |  4344524 |  3940262 |     1536   5891 |        0 |        0
1441.83/1442.27	c 1442s |      24 |  4350715 |  3945462 |     1536   5897 |        0 |        0
1443.82/1444.28	c 1444s |      24 |  4356412 |  3950362 |     1536   5903 |        0 |        0
1445.82/1446.29	c 1446s |      24 |  4361901 |  3955162 |     1536   5909 |        0 |        0
1447.92/1448.32	c 1448s |      24 |  4368051 |  3960162 |     1536   5915 |        0 |        0
1449.92/1450.34	c 1450s |      24 |  4373983 |  3965362 |     1536   5921 |        0 |        0
1451.92/1452.38	c 1452s |      24 |  4379101 |  3969962 |     1536   5927 |        0 |        0
1453.92/1454.39	c 1454s |      24 |  4385676 |  3975762 |     1536   5933 |        0 |        0
1455.92/1456.40	c 1456s |      24 |  4391899 |  3981362 |     1536   5940 |        0 |        0
1458.02/1458.40	c 1458s |      24 |  4397761 |  3986662 |     1536   5946 |        0 |        0
1460.02/1460.41	c 1460s |      24 |  4403435 |  3991862 |     1536   5953 |        0 |        0
1462.02/1462.41	c 1462s |      24 |  4409638 |  3997362 |     1536   5959 |        0 |        0
1464.02/1464.44	c 1464s |      24 |  4415583 |  4002762 |     1536   5966 |        0 |        0
1466.02/1466.47	c 1466s |      24 |  4421763 |  4008262 |     1536   5972 |        0 |        0
1468.02/1468.48	c 1468s |      24 |  4427736 |  4013662 |     1536   5978 |        0 |        0
1470.12/1470.52	c 1470s |      24 |  4433714 |  4019062 |     1536   5985 |        0 |        0
1472.12/1472.53	c 1472s |      24 |  4439630 |  4024262 |     1536   5991 |        0 |        0
1474.11/1474.54	c 1474s |      24 |  4445967 |  4029762 |     1536   5998 |        0 |        0
1476.11/1476.54	c 1476s |      24 |  4452426 |  4035362 |     1536   6004 |        0 |        0
1478.12/1478.54	c 1478s |      24 |  4458719 |  4040962 |     1536   6011 |        0 |        0
1480.11/1480.57	c 1480s |      24 |  4464653 |  4046362 |     1536   6017 |        0 |        0
1482.21/1482.60	c 1482s |      24 |  4470531 |  4051762 |     1536   6024 |        0 |        0
1484.21/1484.61	c 1484s |      24 |  4476678 |  4057262 |     1536   6030 |        0 |        0
1486.21/1486.65	c 1486s |      24 |  4482454 |  4062562 |     1536   6037 |        0 |        0
1488.20/1488.69	c 1488s |      24 |  4487697 |  4067462 |     1536   6042 |        0 |        0
1490.30/1490.73	c 1490s |      24 |  4493195 |  4072462 |     1536   6048 |        0 |        0
1492.31/1492.74	c 1492s |      24 |  4498868 |  4077662 |     1536   6055 |        0 |        0
1494.30/1494.75	c 1494s |      24 |  4504862 |  4083062 |     1536   6061 |        0 |        0
1496.30/1496.76	c 1496s |      24 |  4510137 |  4087862 |     1536   6067 |        0 |        0
1498.30/1498.76	c 1498s |      24 |  4515578 |  4092862 |     1536   6073 |        0 |        0
1500.40/1500.80	c 1500s |      24 |  4521273 |  4098062 |     1536   6079 |        0 |        0
1502.40/1502.82	c 1502s |      24 |  4526780 |  4103162 |     1536   6085 |        0 |        0
1504.40/1504.83	c 1504s |      24 |  4532489 |  4108262 |     1536   6091 |        0 |        0
1506.39/1506.83	c 1506s |      24 |  4538051 |  4113362 |     1536   6097 |        0 |        0
1508.39/1508.84	c 1508s |      24 |  4543940 |  4118762 |     1536   6103 |        0 |        0
1510.39/1510.87	c 1510s |      24 |  4549470 |  4123862 |     1536   6109 |        0 |        0
1512.39/1512.89	c 1512s |      24 |  4555195 |  4129062 |     1536   6115 |        0 |        0
1514.48/1514.90	c 1514s |      24 |  4560945 |  4134362 |     1536   6122 |        0 |        0
1516.49/1516.92	c 1516s |      24 |  4566473 |  4139462 |     1536   6128 |        0 |        0
1518.48/1518.92	c 1518s |      24 |  4571822 |  4144362 |     1536   6134 |        0 |        0
1520.48/1520.93	c 1520s |      24 |  4576821 |  4148962 |     1536   6139 |        0 |        0
1522.48/1522.94	c 1522s |      24 |  4582685 |  4154262 |     1536   6145 |        0 |        0
1524.48/1524.95	c 1524s |      24 |  4588497 |  4159462 |     1536   6151 |        0 |        0
1526.49/1526.96	c 1526s |      24 |  4593791 |  4164262 |     1536   6157 |        0 |        0
1528.48/1528.97	c 1528s |      24 |  4598776 |  4168862 |     1536   6163 |        0 |        0
1530.48/1530.99	c 1530s |      24 |  4604427 |  4174062 |     1536   6169 |        0 |        0
1532.58/1533.02	c 1533s |      24 |  4611195 |  4179862 |     1536   6176 |        0 |        0
1534.57/1535.05	c 1535s |      24 |  4617345 |  4185362 |     1536   6182 |        0 |        0
1536.57/1537.06	c 1537s |      24 |  4623246 |  4190662 |     1536   6188 |        0 |        0
1538.58/1539.06	c 1539s |      24 |  4629084 |  4196062 |     1536   6195 |        0 |        0
1540.68/1541.11	c 1541s |      24 |  4634336 |  4200862 |     1536   6201 |        0 |        0
1542.67/1543.12	c 1543s |      24 |  4639689 |  4205662 |     1536   6206 |        0 |        0
1544.67/1545.16	c 1545s |      24 |  4645645 |  4210962 |     1536   6213 |        0 |        0
1546.67/1547.17	c 1547s |      24 |  4651243 |  4216062 |     1536   6219 |        0 |        0
1548.77/1549.21	c 1549s |      24 |  4656888 |  4221162 |     1536   6225 |        0 |        0
1550.77/1551.25	c 1551s |      24 |  4662634 |  4226162 |     1536   6231 |        0 |        0
1552.78/1553.28	c 1553s |      24 |  4668039 |  4231062 |     1536   6236 |        0 |        0
1554.86/1555.30	c 1555s |      24 |  4673510 |  4235862 |     1536   6242 |        0 |        0
1556.86/1557.31	c 1557s |      24 |  4680292 |  4241962 |     1536   6249 |        0 |        0
1558.86/1559.35	c 1559s |      24 |  4687248 |  4248262 |     1536   6257 |        0 |        0
1560.86/1561.37	c 1561s |      24 |  4693420 |  4253962 |     1536   6263 |        0 |        0
1562.86/1563.37	c 1563s |      24 |  4699357 |  4259462 |     1536   6270 |        0 |        0
1564.86/1565.38	c 1565s |      24 |  4705558 |  4264962 |     1536   6276 |        0 |        0
1566.86/1567.39	c 1567s |      24 |  4711999 |  4270862 |     1536   6283 |        0 |        0
1568.95/1569.40	c 1569s |      24 |  4718104 |  4276262 |     1536   6290 |        0 |        0
1570.95/1571.40	c 1571s |      24 |  4723680 |  4281262 |     1536   6295 |        0 |        0
1572.95/1573.42	c 1573s |      24 |  4729907 |  4286862 |     1536   6302 |        0 |        0
1574.95/1575.45	c 1575s |      24 |  4735772 |  4292162 |     1536   6308 |        0 |        0
1576.96/1577.46	c 1577s |      24 |  4741970 |  4297562 |     1536   6315 |        0 |        0
1578.95/1579.48	c 1579s |      24 |  4747738 |  4302662 |     1536   6321 |        0 |        0
1580.95/1581.48	c 1581s |      24 |  4753492 |  4307762 |     1536   6327 |        0 |        0
1582.95/1583.49	c 1583s |      24 |  4759230 |  4312762 |     1536   6333 |        0 |        0
1585.04/1585.53	c 1585s |      24 |  4765231 |  4318062 |     1536   6339 |        0 |        0
1587.04/1587.53	c 1587s |      24 |  4770606 |  4322862 |     1536   6345 |        0 |        0
1589.05/1589.56	c 1589s |      24 |  4776456 |  4327962 |     1536   6351 |        0 |        0
1591.04/1591.58	c 1591s |      24 |  4782163 |  4333062 |     1536   6357 |        0 |        0
1593.14/1593.62	c 1593s |      24 |  4787747 |  4338162 |     1536   6363 |        0 |        0
1595.14/1595.65	c 1595s |      24 |  4793259 |  4343162 |     1536   6369 |        0 |        0
1597.14/1597.68	c 1597s |      24 |  4798758 |  4348162 |     1536   6375 |        0 |        0
1599.14/1599.69	c 1599s |      24 |  4804355 |  4353262 |     1536   6381 |        0 |        0
1601.24/1601.73	c 1601s |      24 |  4809695 |  4358062 |     1536   6386 |        0 |        0
1603.24/1603.76	c 1603s |      24 |  4815066 |  4362762 |     1536   6392 |        0 |        0
1605.24/1605.79	c 1605s |      24 |  4820474 |  4367662 |     1536   6398 |        0 |        0
1607.34/1607.82	c 1607s |      24 |  4825868 |  4372662 |     1536   6404 |        0 |        0
1609.34/1609.83	c 1609s |      24 |  4831240 |  4377562 |     1536   6409 |        0 |        0
1611.34/1611.84	c 1611s |      24 |  4836477 |  4382262 |     1536   6415 |        0 |        0
1613.35/1613.85	c 1613s |      24 |  4841881 |  4387162 |     1536   6421 |        0 |        0
1615.33/1615.88	c 1615s |      24 |  4847122 |  4391962 |     1536   6427 |        0 |        0
1617.43/1617.94	c 1617s |      24 |  4852608 |  4397062 |     1536   6433 |        0 |        0
1619.43/1619.97	c 1619s |      24 |  4858073 |  4401962 |     1536   6438 |        0 |        0
1621.43/1621.98	c 1621s |      24 |  4863200 |  4406562 |     1536   6444 |        0 |        0
1623.53/1624.01	c 1623s |      24 |  4868074 |  4411062 |     1536   6449 |        0 |        0
1625.53/1626.06	c 1626s |      24 |  4872921 |  4415562 |     1536   6454 |        0 |        0
1627.53/1628.08	c 1628s |      24 |  4877527 |  4419862 |     1536   6460 |        0 |        0
1629.53/1630.08	c 1630s |      24 |  4882891 |  4424762 |     1536   6465 |        0 |        0
1631.53/1632.09	c 1632s |      24 |  4887722 |  4428962 |     1536   6470 |        0 |        0
1633.62/1634.10	c 1634s |      24 |  4893325 |  4433862 |     1536   6476 |        0 |        0
1635.62/1636.12	c 1636s |      24 |  4898525 |  4438362 |     1536   6481 |        0 |        0
1637.62/1638.14	c 1638s |      24 |  4904080 |  4443362 |     1536   6487 |        0 |        0
1639.63/1640.17	c 1640s |      24 |  4909016 |  4447862 |     1536   6492 |        0 |        0
1641.62/1642.19	c 1642s |      24 |  4914872 |  4453062 |     1536   6499 |        0 |        0
1643.71/1644.20	c 1644s |      24 |  4920266 |  4457962 |     1536   6504 |        0 |        0
1645.71/1646.23	c 1646s |      24 |  4925447 |  4462762 |     1536   6510 |        0 |        0
1647.71/1648.27	c 1648s |      24 |  4930434 |  4467362 |     1536   6515 |        0 |        0
1649.81/1650.30	c 1650s |      24 |  4934904 |  4471462 |     1536   6520 |        0 |        0
1651.82/1652.33	c 1652s |      24 |  4940143 |  4476062 |     1536   6526 |        0 |        0
1653.81/1654.35	c 1654s |      24 |  4945287 |  4480662 |     1536   6531 |        0 |        0
1655.81/1656.36	c 1656s |      24 |  4950024 |  4484962 |     1536   6536 |        0 |        0
1657.81/1658.37	c 1658s |      24 |  4954299 |  4488862 |     1536   6541 |        0 |        0
1659.91/1660.41	c 1660s |      24 |  4961164 |  4494862 |     1536   6548 |        0 |        0
1661.91/1662.43	c 1662s |      24 |  4967385 |  4500462 |     1536   6554 |        0 |        0
1663.91/1664.45	c 1664s |      24 |  4974090 |  4506062 |     1536   6561 |        0 |        0
1665.90/1666.49	c 1666s |      24 |  4980462 |  4511462 |     1536   6567 |        0 |        0
1668.00/1668.51	c 1668s |      24 |  4986846 |  4517162 |     1536   6574 |        0 |        0
1670.00/1670.53	c 1670s |      24 |  4992838 |  4522562 |     1536   6580 |        0 |        0
1672.00/1672.54	c 1672s |      24 |  4998971 |  4527962 |     1536   6587 |        0 |        0
1674.00/1674.55	c 1674s |      24 |  5004662 |  4533062 |     1536   6593 |        0 |        0
1676.01/1676.56	c 1676s |      24 |  5010267 |  4538162 |     1536   6599 |        0 |        0
1678.00/1678.57	c 1678s |      24 |  5015796 |  4543162 |     1536   6605 |        0 |        0
1680.00/1680.59	c 1680s |      24 |  5021866 |  4548562 |     1536   6611 |        0 |        0
1682.10/1682.61	c 1682s |      24 |  5027880 |  4553962 |     1536   6617 |        0 |        0
1684.09/1684.63	c 1684s |      24 |  5034258 |  4559762 |     1536   6624 |        0 |        0
1686.09/1686.66	c 1686s |      24 |  5040109 |  4565162 |     1536   6631 |        0 |        0
1688.19/1688.72	c 1688s |      24 |  5045590 |  4570062 |     1536   6636 |        0 |        0
1690.20/1690.74	c 1690s |      24 |  5051701 |  4575462 |     1536   6643 |        0 |        0
1692.19/1692.74	c 1692s |      24 |  5057539 |  4580662 |     1536   6649 |        0 |        0
1694.19/1694.75	c 1694s |      24 |  5063583 |  4585962 |     1536   6655 |        0 |        0
1696.19/1696.77	c 1696s |      24 |  5070113 |  4591662 |     1536   6662 |        0 |        0
1698.29/1698.80	c 1698s |      24 |  5076542 |  4597262 |     1536   6669 |        0 |        0
1700.29/1700.81	c 1700s |      24 |  5082391 |  4602362 |     1536   6675 |        0 |        0
1702.29/1702.83	c 1702s |      24 |  5088999 |  4608062 |     1536   6681 |        0 |        0
1704.28/1704.85	c 1704s |      24 |  5094930 |  4613362 |     1536   6687 |        0 |        0
1706.28/1706.88	c 1706s |      24 |  5101044 |  4618762 |     1536   6694 |        0 |        0
1708.28/1708.89	c 1708s |      24 |  5106799 |  4623962 |     1536   6700 |        0 |        0
1710.38/1710.93	c 1710s |      24 |  5112965 |  4629362 |     1536   6706 |        0 |        0
1712.38/1712.97	c 1712s |      24 |  5118890 |  4634662 |     1536   6713 |        0 |        0
1714.38/1714.98	c 1714s |      24 |  5124271 |  4639362 |     1536   6718 |        0 |        0
1716.48/1717.00	c 1716s |      24 |  5130379 |  4644762 |     1536   6725 |        0 |        0
1718.47/1719.03	c 1719s |      24 |  5136625 |  4650262 |     1536   6731 |        0 |        0
1720.47/1721.06	c 1721s |      24 |  5142870 |  4655762 |     1536   6738 |        0 |        0
1722.47/1723.08	c 1723s |      24 |  5148411 |  4660662 |     1536   6743 |        0 |        0
1724.57/1725.12	c 1725s |      24 |  5155216 |  4666662 |     1536   6751 |        0 |        0
1726.58/1727.14	c 1727s |      24 |  5161581 |  4672362 |     1536   6757 |        0 |        0
1728.57/1729.17	c 1729s |      24 |  5167558 |  4677762 |     1536   6764 |        0 |        0
1730.57/1731.18	c 1731s |      24 |  5173314 |  4682962 |     1536   6770 |        0 |        0
1732.67/1733.22	c 1733s |      24 |  5179433 |  4688462 |     1536   6776 |        0 |        0
1734.67/1735.23	c 1735s |      24 |  5185210 |  4693662 |     1536   6782 |        0 |        0
1736.67/1737.23	c 1737s |      24 |  5191531 |  4699162 |     1536   6789 |        0 |        0
1738.67/1739.24	c 1739s |      24 |  5197091 |  4704162 |     1536   6795 |        0 |        0
1740.66/1741.24	c 1741s |      24 |  5202647 |  4709162 |     1536   6801 |        0 |        0
1742.66/1743.26	c 1743s |      24 |  5208643 |  4714462 |     1536   6807 |        0 |        0
1744.66/1745.27	c 1745s |      24 |  5214331 |  4719462 |     1536   6813 |        0 |        0
1746.66/1747.28	c 1747s |      24 |  5219911 |  4724362 |     1536   6819 |        0 |        0
1748.66/1749.29	c 1749s |      24 |  5225033 |  4728962 |     1536   6824 |        0 |        0
1750.66/1751.30	c 1751s |      24 |  5231480 |  4734762 |     1536   6831 |        0 |        0
1752.76/1753.30	c 1753s |      24 |  5237092 |  4739862 |     1536   6837 |        0 |        0
1754.76/1755.30	c 1755s |      24 |  5242352 |  4744662 |     1536   6843 |        0 |        0
1756.76/1757.32	c 1757s |      24 |  5248638 |  4750162 |     1536   6849 |        0 |        0
1758.76/1759.36	c 1759s |      24 |  5254682 |  4755562 |     1536   6855 |        0 |        0
1760.86/1761.40	c 1761s |      24 |  5260442 |  4760762 |     1536   6862 |        0 |        0
1762.86/1763.43	c 1763s |      24 |  5266019 |  4765862 |     1536   6868 |        0 |        0
1764.86/1765.45	c 1765s |      24 |  5271480 |  4770862 |     1536   6873 |        0 |        0
1766.86/1767.48	c 1767s |      24 |  5277358 |  4776262 |     1536   6880 |        0 |        0
1768.95/1769.52	c 1769s |      24 |  5282949 |  4781362 |     1536   6886 |        0 |        0
1770.95/1771.54	c 1771s |      24 |  5288767 |  4786662 |     1536   6892 |        0 |        0
1772.95/1773.55	c 1773s |      24 |  5293680 |  4791062 |     1536   6897 |        0 |        0
1774.96/1775.57	c 1775s |      24 |  5298487 |  4795462 |     1536   6902 |        0 |        0
1776.95/1777.60	c 1777s |      24 |  5303918 |  4800362 |     1536   6908 |        0 |        0
1779.05/1779.61	c 1779s |      24 |  5309375 |  4805262 |     1536   6914 |        0 |        0
1781.05/1781.65	c 1781s |      24 |  5314467 |  4809862 |     1536   6919 |        0 |        0
1783.16/1783.70	c 1783s |      24 |  5319139 |  4814162 |     1536   6924 |        0 |        0
1785.16/1785.72	c 1785s |      24 |  5324393 |  4819062 |     1536   6930 |        0 |        0
1787.16/1787.75	c 1787s |      24 |  5329480 |  4823762 |     1536   6936 |        0 |        0
1789.17/1789.79	c 1789s |      24 |  5334307 |  4828162 |     1536   6941 |        0 |        0
1791.26/1791.81	c 1791s |      24 |  5338998 |  4832362 |     1536   6946 |        0 |        0
1793.26/1793.84	c 1793s |      24 |  5345025 |  4837762 |     1536   6952 |        0 |        0
1795.26/1795.87	c 1795s |      24 |  5351090 |  4843162 |     1536   6958 |        0 |        0
1797.36/1797.90	c 1797s |      24 |  5357220 |  4848162 |     1536   6964 |        0 |        0
1799.36/1799.90	c 1799s |      24 |  5363196 |  4853462 |     1536   6971 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090051-1466037330/watcher-4090051-1466037330 -o /tmp/evaluation-result-4090051-1466037330/solver-4090051-1466037330 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090051-1466037330.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 12508
/proc/meminfo: memFree=29334680/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 5778767 754380800 3109 33554432000 4194304 16246674 140735638298448 140735638297872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 184687 3118 441 2943 0 181581 0
[pid=12508/tid=12509] ppid=12505 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 772206592 3180 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 777449472 3198 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5778768 781643776 3213 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100211 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 12508
/proc/meminfo: memFree=29334680/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 29270 0 0 0 5 4 0 0 20 0 4 0 5778767 1247350784 29620 33554432000 4194304 16246674 140735638298448 140735638281440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 304529 29627 716 2943 0 301423 0
[pid=12508/tid=12509] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 29638 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 29648 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 29654 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 12508
/proc/meminfo: memFree=29334680/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 58036 0 0 0 11 8 0 0 20 0 4 0 5778767 1247350784 58386 33554432000 4194304 16246674 140735638298448 140735638281440 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 304529 58395 716 2943 0 301423 0
[pid=12508/tid=12509] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 58402 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 58415 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 58427 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 12508
/proc/meminfo: memFree=29334680/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 86327 0 0 0 18 11 0 0 20 0 4 0 5778767 1247350784 86677 33554432000 4194304 16246674 140735638298448 140735638281440 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 304529 86692 716 2943 0 301423 0
[pid=12508/tid=12509] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 86702 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 86716 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 86727 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 12508
/proc/meminfo: memFree=29334680/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 199052 0 0 0 42 27 0 0 20 0 4 0 5778767 1247350784 199402 33554432000 4194304 16246674 140735638298448 140735638281440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 304529 199414 716 2943 0 301423 0
[pid=12508/tid=12509] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 199425 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 199434 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5778768 1247350784 199440 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.13 2.18 2.18 3/183 12512
/proc/meminfo: memFree=28351768/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267226 0 0 0 112 37 0 0 20 0 4 0 5778767 1336479744 267556 33554432000 4194304 16246674 140735638298448 140735638280320 6021684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326289 267556 791 2943 0 323183 0
[pid=12508/tid=12509] ppid=12505 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1336479744 267556 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1336479744 267556 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1336479744 267556 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.13 2.18 2.18 3/183 12512
/proc/meminfo: memFree=28263976/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267443 0 0 0 272 37 0 0 20 0 4 0 5778767 1337528320 267773 33554432000 4194304 16246674 140735638298448 140735638280320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326545 267773 791 2943 0 323439 0
[pid=12508/tid=12509] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267773 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267773 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267773 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.12 2.17 2.18 3/183 12512
/proc/meminfo: memFree=28263736/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267503 0 0 0 592 37 0 0 20 0 4 0 5778767 1337528320 267833 33554432000 4194304 16246674 140735638298448 140735638280320 13198536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326545 267833 791 2943 0 323439 0
[pid=12508/tid=12509] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267833 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267833 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267833 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 12512
/proc/meminfo: memFree=28263776/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267504 0 0 0 1232 37 0 0 20 0 4 0 5778767 1337528320 267834 33554432000 4194304 16246674 140735638298448 140735638280320 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326545 267834 792 2943 0 323439 0
[pid=12508/tid=12509] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 12512
/proc/meminfo: memFree=28264320/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267504 0 0 0 2511 37 0 0 20 0 4 0 5778767 1337528320 267834 33554432000 4194304 16246674 140735638298448 140735638280320 12477688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326545 267834 792 2943 0 323439 0
[pid=12508/tid=12509] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267834 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 12512
/proc/meminfo: memFree=28264552/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267527 0 0 0 5070 38 0 0 20 0 4 0 5778767 1337528320 267857 33554432000 4194304 16246674 140735638298448 140735638280320 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326545 267857 794 2943 0 323439 0
[pid=12508/tid=12509] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267857 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267857 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1337528320 267857 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 12513
/proc/meminfo: memFree=28264176/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 267610 0 0 0 10190 38 0 0 20 0 4 0 5778767 1338576896 267940 33554432000 4194304 16246674 140735638298448 140735638280320 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 326801 267940 794 2943 0 323695 0
[pid=12508/tid=12509] ppid=12505 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1338576896 267940 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1338576896 267940 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1338576896 267940 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/183 12543
/proc/meminfo: memFree=28256776/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1302.01 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268004 0 0 0 130154 47 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638280320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.22 2.24 2.19 4/183 12544
/proc/meminfo: memFree=28256672/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1361.98 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268047 0 0 0 136150 48 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638280320 5673600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 12546
/proc/meminfo: memFree=28256824/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1421.94 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268091 0 0 0 142146 48 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638281448 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/184 12550
/proc/meminfo: memFree=28256372/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1481.91 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268133 0 0 0 148142 49 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638280320 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.30 2.24 2.19 3/185 12574
/proc/meminfo: memFree=28255480/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1541.88 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268177 0 0 0 154139 49 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638280320 5546160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/184 12575
/proc/meminfo: memFree=28255772/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1601.84 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268218 0 0 0 160135 49 0 0 20 0 4 0 5778767 1339625472 268444 33554432000 4194304 16246674 140735638298448 140735638280320 12483403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268444 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268444 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/184 12576
/proc/meminfo: memFree=28255800/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1661.81 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268270 0 0 0 166131 50 0 0 20 0 4 0 5778767 1339625472 268451 33554432000 4194304 16246674 140735638298448 140735638281448 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268451 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/184 12626
/proc/meminfo: memFree=28241756/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1721.77 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268316 0 0 0 172126 51 0 0 20 0 4 0 5778767 1339625472 268451 33554432000 4194304 16246674 140735638298448 140735638280320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268451 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.19 4/184 12676
/proc/meminfo: memFree=28251972/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1781.75 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268335 0 0 0 178124 51 0 0 20 0 4 0 5778767 1339625472 268451 33554432000 4194304 16246674 140735638298448 140735638280320 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268451 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 12676
/proc/meminfo: memFree=28246864/32872528 swapFree=1401752/1579580
[pid=12508] ppid=12505 vsize=1308228 CPUtime=1800.06 cores=0,2,4,6
/proc/12508/stat : 12508 (toysat) R 12505 12508 5813 0 -1 4202496 268335 0 0 0 179954 52 0 0 20 0 4 0 5778767 1339625472 268451 33554432000 4194304 16246674 140735638298448 140735638280320 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12508/statm: 327057 268451 796 2943 0 323951 0
[pid=12508/tid=12509] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12509/stat : 12509 (toysat) S 12505 12508 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373711105264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12508/tid=12510] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12510/stat : 12510 (toysat) S 12505 12508 5813 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373624073456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12508/tid=12511] ppid=12505 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12508/task/12511/stat : 12511 (toysat) S 12505 12508 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5778768 1339625472 268451 33554432000 4194304 16246674 140735638298448 140373613599920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.52192
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.52192
maximum resident set size= 1073804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268335
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= 483
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6153 second user time and 6.91495 second system time

The end

Begin job on node139 at 2016-06-16 02:35:30
IDJOB=4090051
IDBENCH=107494
IDSOLVER=2542
FILE ID=node139/4090051-1466037330
RUNJOBID= node139-1466033607-11970
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v091-n3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090051-1466037330/watcher-4090051-1466037330 -o /tmp/evaluation-result-4090051-1466037330/solver-4090051-1466037330 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090051-1466037330.opb

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

MD5SUM BENCH= d9176528c33a8a23f9520f2d10a3874e
RANDOM SEED=1091634040

node139.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:        29335852 kB
Buffers:           26456 kB
Cached:           150308 kB
SwapCached:         8924 kB
Active:          1143408 kB
Inactive:         111852 kB
Active(anon):    1072368 kB
Inactive(anon):     8356 kB
Active(file):      71040 kB
Inactive(file):   103496 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2723548 kB
Mapped:            10992 kB
Shmem:                 0 kB
Slab:             567988 kB
SReclaimable:      12248 kB
SUnreclaim:       555740 kB
KernelStack:        1520 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2795348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 71596 MiB
End job on node139 at 2016-06-16 03:05:31