0.00/0.00	c 2016-06-06T15:44:19+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-4078599-1465220659.opb"]
0.00/0.01	c use --random-gen="3674366166 393991544 1844405804 704572236 2712640743 444113641 2438010986 1817817604 3762360219 958784831 2929727490 625882349 3410217597 4084766162 1905687589 2080267371 1837832273 2229330040 3578213783 576625315 1778647797 1574867351 1354689338 377984700 2832055826 2049833127 3333749847 3416728273 3370707251 2052688188 2213256400 666103931 3993276986 3041131279 132620552 1095642781 1183273095 781777468 1625623525 979666825 986164166 3436496709 893516985 1042129814 1945245814 1016950906 3858352116 2274455235 4039722431 974641722 1856044135 1404887394 513848860 579661526 733503136 3846300393 892506127 3985779834 3980109882 3925216360 2357701090 10845308 2596081806 1509782904 4020993298 2958601197 2742133785 3372309225 425824262 412436735 3115105513 3086520155 4140958222 3333033550 172104946 228723783 708586681 593369762 2716949839 1013617454 2584353386 4096827488 1100266645 1884629349 844270269 1083322964 4179228636 3357328808 4038133698 3651552311 2048305780 2152202204 384585124 1315925659 3069670465 2163735835 2135369575 1367828160 399020737 2556252867 549902181 874614944 439850732 3425684454 2752565819 523486566 3558444719 1565919617 3053177337 454030762 3460300697 481772660 16287742 2792054505 3684256303 3055928147 2769164179 2460970044 1370232003 329252636 1878379888 253554867 3367666030 1141555598 3407296450 1591604175 4102561389 3705766885 1005403985 3574394697 3934998552 2732827337 2016815676 138160507 3819175798 980198567 3765477056 2458556710 2873571057 2303426581 1696422829 451693932 136670593 4223225022 3847761403 879757320 2128652825 2153065416 2847488260 3721492111 463488516 2789654860 3510011840 2141391295 534214481 478693009 3552390850 4098988541 3417002680 4159370156 1865621020 46093002 40470741 940443411 3971843805 2189363119 632228735 2073211714 2694179907 4128937652 2880636862 1547081199 3638639358 3020268288 3428611316 687361488 3131881664 361942421 2393483966 4019514615 77356081 437431009 2685311416 604892351 2347965497 233177468 805823822 1784481472 3263175892 1214450038 643145713 641155483 3226448924 550275142 3132016169 1714187714 1997816320 3347207436 1679021779 1344521413 2878784684 811917579 1398930754 4276482417 1879469073 128420174 3518377917 1280511246 3919295860 1530265197 276791636 3515461246 4241325132 3659040732 2606985629 1478586544 2961195770 1469229812 1414670382 4236069822 3059612660 4102463239 4184407054 3526372962 326208362 4125625918 991713052 3626347195 823221413 1849476062 3872842876 794720249 2857956978 493685496 2038527750 4143318615 2956887958 782590770 4157840192 2211422937 1427057036 3623205097 3097824637 2908532671 633613024 1604684474 382797973 3471272309 1434944434 2753449882 115324909 1128896075 3755335313 671752487 1984461012 1941500201 255 362436" option to reproduce the execution
0.00/0.01	c #vars 750
0.00/0.01	c #constraints 80
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.02	c  0.0s |       0 |        0 |        0 |      276      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      126 |      100 |      276      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      416 |      250 |      304      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      902 |      475 |      335      0 |        0 |        0
0.19/0.21	c  0.2s |       4 |     1406 |      813 |      369      1 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2104 |     1320 |      406      3 |        0 |        0
0.48/0.57	c  0.6s |       6 |     3087 |     2081 |      492      5 |        0 |        0
0.89/0.91	c  0.9s |       7 |     4521 |     3223 |      542      8 |        0 |        0
1.29/1.35	c  1.3s |       8 |     6585 |     4936 |      597     12 |        0 |        0
1.89/1.93	c  1.9s |       9 |     9699 |     7506 |      657     18 |        0 |        0
2.99/3.09	c  3.1s |      10 |    14392 |    11361 |      723     26 |        0 |        0
4.59/4.60	c  4.6s |      11 |    28185 |    17144 |      796     39 |        0 |        0
6.49/6.60	c  6.6s |      11 |    40230 |    24544 |      796     54 |        0 |        0
6.89/6.99	c  7.0s |      12 |    41763 |    25819 |      876     57 |        0 |        0
8.99/9.01	c  9.0s |      12 |    51576 |    32019 |      876     68 |        0 |        0
11.00/11.02	c 11.0s |      12 |    62421 |    37919 |      876     79 |        0 |        0
11.29/11.31	c 11.3s |      13 |    65773 |    38832 |      964     81 |        0 |        0
13.30/13.34	c 13.3s |      13 |    81391 |    46032 |      964     94 |        0 |        0
15.29/15.35	c 15.3s |      13 |    90197 |    51532 |      964    103 |        0 |        0
17.29/17.36	c 17.3s |      13 |    99106 |    56332 |      964    112 |        0 |        0
17.79/17.87	c 17.9s |      14 |   102069 |    58352 |     1061    115 |        0 |        0
19.79/19.88	c 19.9s |      14 |   110248 |    64652 |     1061    125 |        0 |        0
21.78/21.89	c 21.9s |      14 |   117525 |    70452 |     1061    134 |        0 |        0
23.88/23.92	c 23.9s |      14 |   124578 |    76052 |     1061    143 |        0 |        0
25.89/25.93	c 25.9s |      14 |   131468 |    81452 |     1061    151 |        0 |        0
27.88/27.96	c 27.9s |      14 |   138847 |    86852 |     1061    159 |        0 |        0
28.18/28.27	c 28.3s |      15 |   139709 |    87632 |     1168    160 |        0 |        0
30.18/30.28	c 30.3s |      15 |   148393 |    94432 |     1168    170 |        0 |        0
32.29/32.30	c 32.3s |      15 |   156328 |   101332 |     1168    180 |        0 |        0
34.28/34.33	c 34.3s |      15 |   163574 |   107732 |     1168    189 |        0 |        0
36.29/36.35	c 36.3s |      15 |   171173 |   113832 |     1168    198 |        0 |        0
38.29/38.36	c 38.3s |      15 |   177988 |   119832 |     1168    206 |        0 |        0
40.29/40.37	c 40.4s |      15 |   184746 |   125532 |     1168    214 |        0 |        0
42.28/42.39	c 42.4s |      15 |   191249 |   130932 |     1285    222 |        0 |        0
42.58/42.64	c 42.6s |      16 |   192021 |   131552 |     1285    223 |        0 |        0
44.58/44.65	c 44.6s |      16 |   200085 |   137552 |     1285    231 |        0 |        0
46.58/46.68	c 46.7s |      16 |   206255 |   142552 |     1285    237 |        0 |        0
48.68/48.70	c 48.7s |      16 |   215403 |   147852 |     1285    244 |        0 |        0
50.69/50.72	c 50.7s |      16 |   222248 |   152752 |     1285    251 |        0 |        0
52.68/52.74	c 52.7s |      16 |   230135 |   158652 |     1285    259 |        0 |        0
54.68/54.77	c 54.8s |      16 |   237581 |   163952 |     1285    266 |        0 |        0
56.69/56.78	c 56.8s |      16 |   245426 |   169152 |     1285    274 |        0 |        0
58.68/58.79	c 58.8s |      16 |   251647 |   173652 |     1285    280 |        0 |        0
60.78/60.81	c 60.8s |      16 |   257746 |   177652 |     1285    285 |        0 |        0
62.79/62.82	c 62.8s |      16 |   264504 |   182352 |     1285    291 |        0 |        0
64.78/64.83	c 64.8s |      16 |   272383 |   187752 |     1285    299 |        0 |        0
66.78/66.86	c 66.8s |      16 |   278485 |   192752 |     1285    306 |        0 |        0
68.78/68.89	c 68.9s |      16 |   283802 |   197252 |     1414    311 |        0 |        0
68.88/68.96	c 68.9s |      17 |   283996 |   197432 |     1414    312 |        0 |        0
70.88/70.97	c 71.0s |      17 |   291347 |   203032 |     1414    318 |        0 |        0
72.87/72.97	c 73.0s |      17 |   296642 |   207432 |     1414    324 |        0 |        0
74.97/75.00	c 75.0s |      17 |   302951 |   212932 |     1414    331 |        0 |        0
76.99/77.01	c 77.0s |      17 |   308864 |   218132 |     1414    337 |        0 |        0
78.98/79.02	c 79.0s |      17 |   314569 |   222932 |     1414    343 |        0 |        0
80.98/81.02	c 81.0s |      17 |   320050 |   227532 |     1414    349 |        0 |        0
82.98/83.04	c 83.0s |      17 |   325577 |   232232 |     1414    355 |        0 |        0
84.98/85.05	c 85.0s |      17 |   331083 |   236832 |     1414    360 |        0 |        0
86.98/87.07	c 87.1s |      17 |   336635 |   241532 |     1414    366 |        0 |        0
89.08/89.11	c 89.1s |      17 |   342503 |   246632 |     1414    373 |        0 |        0
91.07/91.15	c 91.1s |      17 |   348328 |   251632 |     1414    379 |        0 |        0
93.07/93.16	c 93.1s |      17 |   353707 |   256132 |     1414    384 |        0 |        0
95.07/95.17	c 95.2s |      17 |   359429 |   261032 |     1414    390 |        0 |        0
97.17/97.20	c 97.2s |      17 |   365483 |   266132 |     1414    397 |        0 |        0
99.17/99.20	c 99.2s |      17 |   370983 |   270832 |     1414    403 |        0 |        0
101.18/101.24	c  101s |      17 |   377040 |   276032 |     1414    409 |        0 |        0
103.18/103.24	c  103s |      17 |   382374 |   280732 |     1414    415 |        0 |        0
105.17/105.29	c  105s |      17 |   387907 |   285532 |     1414    421 |        0 |        0
107.27/107.31	c  107s |      17 |   392856 |   289932 |     1414    427 |        0 |        0
109.27/109.32	c  109s |      17 |   398355 |   294532 |     1556    432 |        0 |        0
109.98/110.03	c  110s |      18 |   400361 |   296252 |     1556    434 |        0 |        0
111.97/112.05	c  112s |      18 |   405145 |   300452 |     1556    439 |        0 |        0
113.97/114.09	c  114s |      18 |   410140 |   304852 |     1556    444 |        0 |        0
116.08/116.10	c  116s |      18 |   415506 |   309652 |     1556    449 |        0 |        0
118.08/118.13	c  118s |      18 |   420739 |   314352 |     1556    455 |        0 |        0
120.07/120.15	c  120s |      18 |   425929 |   318952 |     1556    460 |        0 |        0
122.08/122.18	c  122s |      18 |   431643 |   324052 |     1556    466 |        0 |        0
124.17/124.21	c  124s |      18 |   436764 |   328652 |     1556    471 |        0 |        0
126.17/126.22	c  126s |      18 |   442419 |   333752 |     1556    477 |        0 |        0
128.17/128.23	c  128s |      18 |   448240 |   338952 |     1556    483 |        0 |        0
130.17/130.24	c  130s |      18 |   454166 |   344152 |     1556    489 |        0 |        0
132.16/132.26	c  132s |      18 |   459915 |   349352 |     1556    495 |        0 |        0
134.18/134.26	c  134s |      18 |   465180 |   354052 |     1556    501 |        0 |        0
136.17/136.27	c  136s |      18 |   470640 |   358852 |     1556    506 |        0 |        0
138.17/138.27	c  138s |      18 |   476812 |   364352 |     1556    513 |        0 |        0
140.27/140.30	c  140s |      18 |   483045 |   369952 |     1556    519 |        0 |        0
142.26/142.33	c  142s |      18 |   489599 |   375752 |     1556    526 |        0 |        0
144.27/144.35	c  144s |      18 |   495685 |   381152 |     1556    532 |        0 |        0
146.28/146.36	c  146s |      18 |   502100 |   386852 |     1556    539 |        0 |        0
148.27/148.39	c  148s |      18 |   508344 |   392452 |     1556    545 |        0 |        0
150.37/150.41	c  150s |      18 |   514334 |   397852 |     1556    551 |        0 |        0
152.36/152.42	c  152s |      18 |   520616 |   403352 |     1556    558 |        0 |        0
154.36/154.46	c  154s |      18 |   526074 |   408152 |     1556    563 |        0 |        0
156.36/156.49	c  156s |      18 |   531880 |   413152 |     1556    569 |        0 |        0
158.38/158.50	c  158s |      18 |   537502 |   418152 |     1556    575 |        0 |        0
160.47/160.50	c  160s |      18 |   542945 |   423052 |     1556    581 |        0 |        0
162.46/162.54	c  162s |      18 |   548003 |   427652 |     1556    586 |        0 |        0
164.46/164.56	c  164s |      18 |   553406 |   432452 |     1556    592 |        0 |        0
166.46/166.58	c  166s |      18 |   558693 |   437152 |     1556    597 |        0 |        0
168.57/168.60	c  168s |      18 |   564308 |   442152 |     1712    603 |        0 |        0
169.57/169.67	c  169s |      19 |   566877 |   444482 |     1712    605 |        0 |        0
171.57/171.69	c  171s |      19 |   572795 |   448882 |     1712    610 |        0 |        0
173.66/173.71	c  173s |      19 |   578668 |   452682 |     1712    614 |        0 |        0
175.66/175.75	c  175s |      19 |   583390 |   456482 |     1712    618 |        0 |        0
177.66/177.76	c  177s |      19 |   587957 |   460482 |     1712    622 |        0 |        0
179.67/179.79	c  179s |      19 |   592614 |   464482 |     1712    626 |        0 |        0
181.76/181.81	c  181s |      19 |   598149 |   468982 |     1712    631 |        0 |        0
183.77/183.86	c  183s |      19 |   603115 |   473282 |     1712    636 |        0 |        0
185.76/185.89	c  185s |      19 |   608466 |   477882 |     1712    640 |        0 |        0
187.86/187.94	c  187s |      19 |   613300 |   482082 |     1712    645 |        0 |        0
189.86/189.94	c  189s |      19 |   617407 |   485682 |     1712    649 |        0 |        0
191.86/191.97	c  191s |      19 |   622145 |   489682 |     1712    653 |        0 |        0
193.86/193.98	c  193s |      19 |   626493 |   493482 |     1712    657 |        0 |        0
195.86/195.98	c  195s |      19 |   630669 |   497082 |     1712    661 |        0 |        0
197.97/198.01	c  197s |      19 |   634930 |   500782 |     1712    665 |        0 |        0
199.96/200.04	c  200s |      19 |   638955 |   504282 |     1712    669 |        0 |        0
201.96/202.05	c  202s |      19 |   642640 |   507482 |     1712    672 |        0 |        0
203.96/204.08	c  204s |      19 |   647333 |   511182 |     1712    676 |        0 |        0
206.06/206.11	c  206s |      19 |   652020 |   514582 |     1712    680 |        0 |        0
208.06/208.14	c  208s |      19 |   656055 |   518082 |     1712    683 |        0 |        0
210.06/210.15	c  210s |      19 |   660361 |   521482 |     1712    687 |        0 |        0
212.15/212.20	c  212s |      19 |   664098 |   524582 |     1712    690 |        0 |        0
214.15/214.26	c  214s |      19 |   667388 |   527382 |     1712    693 |        0 |        0
216.15/216.29	c  216s |      19 |   670925 |   530482 |     1712    696 |        0 |        0
218.25/218.33	c  218s |      19 |   674320 |   533382 |     1712    699 |        0 |        0
220.25/220.40	c  220s |      19 |   677748 |   536382 |     1712    702 |        0 |        0
222.35/222.42	c  222s |      19 |   680958 |   539182 |     1712    705 |        0 |        0
224.37/224.48	c  224s |      19 |   684151 |   541982 |     1712    708 |        0 |        0
226.46/226.51	c  226s |      19 |   687628 |   544582 |     1712    711 |        0 |        0
228.46/228.57	c  228s |      19 |   692739 |   548582 |     1712    715 |        0 |        0
230.45/230.58	c  230s |      19 |   696882 |   552082 |     1712    719 |        0 |        0
232.55/232.63	c  232s |      19 |   701248 |   555582 |     1712    722 |        0 |        0
234.55/234.64	c  234s |      19 |   706100 |   559282 |     1712    726 |        0 |        0
236.56/236.67	c  236s |      19 |   710513 |   562982 |     1712    730 |        0 |        0
238.66/238.71	c  238s |      19 |   714570 |   566482 |     1712    734 |        0 |        0
240.66/240.77	c  240s |      19 |   718916 |   570082 |     1712    738 |        0 |        0
242.65/242.78	c  242s |      19 |   723294 |   573782 |     1712    741 |        0 |        0
244.75/244.82	c  244s |      19 |   727365 |   577382 |     1712    745 |        0 |        0
246.75/246.84	c  246s |      19 |   731476 |   580882 |     1712    749 |        0 |        0
248.76/248.89	c  248s |      19 |   735731 |   584582 |     1712    753 |        0 |        0
250.86/250.95	c  250s |      19 |   739522 |   587882 |     1712    756 |        0 |        0
252.85/252.97	c  252s |      19 |   743164 |   590882 |     1712    760 |        0 |        0
254.95/255.01	c  254s |      19 |   746962 |   593982 |     1712    763 |        0 |        0
256.95/257.07	c  257s |      19 |   750589 |   596882 |     1712    766 |        0 |        0
258.95/259.09	c  259s |      19 |   755792 |   601282 |     1712    771 |        0 |        0
261.05/261.11	c  261s |      19 |   762017 |   606582 |     1712    776 |        0 |        0
263.05/263.14	c  263s |      19 |   767513 |   611182 |     1712    781 |        0 |        0
265.06/265.15	c  265s |      19 |   772585 |   615482 |     1712    786 |        0 |        0
267.05/267.16	c  267s |      19 |   777814 |   619882 |     1712    791 |        0 |        0
269.05/269.17	c  269s |      19 |   782945 |   624282 |     1712    795 |        0 |        0
271.05/271.17	c  271s |      19 |   789042 |   628682 |     1712    800 |        0 |        0
273.15/273.20	c  273s |      19 |   794974 |   633382 |     1712    805 |        0 |        0
275.14/275.24	c  275s |      19 |   800960 |   638382 |     1712    810 |        0 |        0
277.16/277.26	c  277s |      19 |   806326 |   643082 |     1712    815 |        0 |        0
279.15/279.29	c  279s |      19 |   812173 |   647982 |     1712    820 |        0 |        0
281.25/281.30	c  281s |      19 |   816853 |   651582 |     1712    824 |        0 |        0
283.25/283.35	c  283s |      19 |   820734 |   654882 |     1712    827 |        0 |        0
285.24/285.36	c  285s |      19 |   825718 |   659182 |     1712    832 |        0 |        0
287.24/287.37	c  287s |      19 |   832805 |   663982 |     1884    837 |        0 |        0
288.44/288.59	c  288s |      20 |   836513 |   666827 |     1884    840 |        0 |        0
290.54/290.62	c  290s |      20 |   844060 |   672027 |     1884    845 |        0 |        0
292.55/292.65	c  292s |      20 |   850165 |   677027 |     1884    850 |        0 |        0
294.54/294.68	c  294s |      20 |   855853 |   682027 |     1884    855 |        0 |        0
296.65/296.71	c  296s |      20 |   861519 |   687027 |     1884    860 |        0 |        0
298.65/298.73	c  298s |      20 |   867475 |   692327 |     1884    865 |        0 |        0
300.65/300.73	c  300s |      20 |   873860 |   697427 |     1884    870 |        0 |        0
302.64/302.74	c  302s |      20 |   880265 |   702027 |     1884    874 |        0 |        0
304.65/304.77	c  304s |      20 |   887200 |   707127 |     1884    878 |        0 |        0
306.64/306.80	c  306s |      20 |   892104 |   711227 |     1884    882 |        0 |        0
308.74/308.81	c  308s |      20 |   896711 |   715227 |     1884    886 |        0 |        0
310.74/310.83	c  310s |      20 |   901675 |   719327 |     1884    890 |        0 |        0
312.74/312.83	c  312s |      20 |   906593 |   723427 |     1884    893 |        0 |        0
314.74/314.87	c  314s |      20 |   911895 |   727827 |     1884    897 |        0 |        0
316.85/316.91	c  316s |      20 |   917178 |   732027 |     1884    901 |        0 |        0
318.84/318.94	c  318s |      20 |   921965 |   736127 |     1884    905 |        0 |        0
320.84/320.94	c  320s |      20 |   927280 |   740727 |     1884    909 |        0 |        0
322.84/322.95	c  322s |      20 |   934559 |   745227 |     1884    914 |        0 |        0
324.94/325.00	c  324s |      20 |   943604 |   750227 |     1884    918 |        0 |        0
326.94/327.01	c  326s |      20 |   950027 |   754827 |     1884    923 |        0 |        0
328.94/329.03	c  329s |      20 |   956046 |   758927 |     1884    927 |        0 |        0
330.94/331.05	c  331s |      20 |   961045 |   762727 |     1884    930 |        0 |        0
332.94/333.06	c  333s |      20 |   965160 |   766127 |     1884    933 |        0 |        0
335.04/335.11	c  335s |      20 |   970981 |   770527 |     1884    937 |        0 |        0
337.04/337.13	c  337s |      20 |   977428 |   775027 |     1884    942 |        0 |        0
339.04/339.14	c  339s |      20 |   983062 |   779127 |     1884    946 |        0 |        0
341.05/341.19	c  341s |      20 |   989877 |   783627 |     1884    950 |        0 |        0
343.14/343.23	c  343s |      20 |   996027 |   787827 |     1884    954 |        0 |        0
345.13/345.29	c  345s |      20 |  1000961 |   791427 |     1884    957 |        0 |        0
347.23/347.38	c  347s |      20 |  1005493 |   794827 |     1884    961 |        0 |        0
349.34/349.42	c  349s |      20 |  1012203 |   798927 |     1884    964 |        0 |        0
351.34/351.48	c  351s |      20 |  1016611 |   802627 |     1884    968 |        0 |        0
353.44/353.51	c  353s |      20 |  1022202 |   806827 |     1884    972 |        0 |        0
355.44/355.55	c  355s |      20 |  1027054 |   810527 |     1884    975 |        0 |        0
357.44/357.55	c  357s |      20 |  1032981 |   814727 |     1884    979 |        0 |        0
359.44/359.57	c  359s |      20 |  1038349 |   818727 |     1884    983 |        0 |        0
361.43/361.59	c  361s |      20 |  1044412 |   822727 |     1884    987 |        0 |        0
363.53/363.61	c  363s |      20 |  1051424 |   827227 |     1884    991 |        0 |        0
365.53/365.64	c  365s |      20 |  1056789 |   831427 |     1884    995 |        0 |        0
367.53/367.64	c  367s |      20 |  1062278 |   836127 |     1884    999 |        0 |        0
369.54/369.65	c  369s |      20 |  1067198 |   840327 |     1884   1003 |        0 |        0
371.54/371.68	c  371s |      20 |  1071833 |   844327 |     1884   1007 |        0 |        0
373.64/373.72	c  373s |      20 |  1076844 |   848527 |     1884   1011 |        0 |        0
375.63/375.75	c  375s |      20 |  1082555 |   852927 |     1884   1015 |        0 |        0
377.63/377.78	c  377s |      20 |  1088078 |   857427 |     1884   1019 |        0 |        0
379.63/379.79	c  379s |      20 |  1094421 |   862127 |     1884   1024 |        0 |        0
381.64/381.80	c  381s |      20 |  1101493 |   867027 |     1884   1028 |        0 |        0
383.73/383.81	c  383s |      20 |  1106968 |   871627 |     1884   1033 |        0 |        0
385.73/385.84	c  385s |      20 |  1112456 |   876327 |     1884   1037 |        0 |        0
387.73/387.85	c  387s |      20 |  1118396 |   880927 |     1884   1041 |        0 |        0
389.73/389.88	c  389s |      20 |  1123914 |   885227 |     1884   1046 |        0 |        0
391.83/391.91	c  391s |      20 |  1129065 |   889127 |     1884   1049 |        0 |        0
393.84/393.92	c  393s |      20 |  1133714 |   892827 |     1884   1053 |        0 |        0
395.83/395.93	c  395s |      20 |  1139512 |   897427 |     1884   1057 |        0 |        0
397.83/397.93	c  397s |      20 |  1144778 |   901527 |     1884   1061 |        0 |        0
399.83/399.97	c  399s |      20 |  1150698 |   906127 |     1884   1065 |        0 |        0
401.93/402.00	c  401s |      20 |  1156158 |   910327 |     1884   1069 |        0 |        0
403.93/404.03	c  404s |      20 |  1161368 |   914527 |     1884   1073 |        0 |        0
405.93/406.06	c  406s |      20 |  1167473 |   919527 |     1884   1078 |        0 |        0
407.93/408.08	c  408s |      20 |  1174392 |   924627 |     1884   1083 |        0 |        0
409.92/410.08	c  410s |      20 |  1181141 |   929527 |     1884   1087 |        0 |        0
412.02/412.10	c  412s |      20 |  1187647 |   934627 |     1884   1092 |        0 |        0
414.02/414.10	c  414s |      20 |  1193800 |   939327 |     1884   1097 |        0 |        0
416.02/416.11	c  416s |      20 |  1199664 |   943927 |     1884   1101 |        0 |        0
418.03/418.13	c  418s |      20 |  1206005 |   948927 |     1884   1106 |        0 |        0
420.02/420.17	c  420s |      20 |  1212023 |   953427 |     1884   1110 |        0 |        0
422.12/422.21	c  422s |      20 |  1217484 |   957527 |     1884   1114 |        0 |        0
424.12/424.22	c  424s |      20 |  1222413 |   961527 |     1884   1118 |        0 |        0
426.12/426.23	c  426s |      20 |  1227933 |   965627 |     1884   1122 |        0 |        0
428.13/428.27	c  428s |      20 |  1235714 |   970427 |     1884   1126 |        0 |        0
430.23/430.30	c  430s |      20 |  1241542 |   974727 |     1884   1130 |        0 |        0
432.23/432.32	c  432s |      20 |  1247894 |   978627 |     1884   1134 |        0 |        0
434.23/434.36	c  434s |      20 |  1253041 |   982327 |     1884   1138 |        0 |        0
436.22/436.37	c  436s |      20 |  1258515 |   986127 |     1884   1141 |        0 |        0
438.32/438.42	c  438s |      20 |  1263485 |   989627 |     1884   1145 |        0 |        0
440.32/440.43	c  440s |      20 |  1268260 |   993327 |     2073   1148 |        0 |        0
442.42/442.52	c  442s |      20 |  1273578 |   996627 |     2073   1151 |        0 |        0
444.33/444.50	c  444s |      21 |  1279895 |  1000345 |     2073   1154 |        0 |        0
446.42/446.53	c  446s |      21 |  1287566 |  1005145 |     2073   1158 |        0 |        0
448.42/448.53	c  448s |      21 |  1294549 |  1010645 |     2073   1163 |        0 |        0
450.43/450.56	c  450s |      21 |  1300477 |  1015845 |     2073   1168 |        0 |        0
452.42/452.57	c  452s |      21 |  1306287 |  1020945 |     2073   1173 |        0 |        0
454.42/454.58	c  454s |      21 |  1311555 |  1025245 |     2073   1176 |        0 |        0
456.42/456.59	c  456s |      21 |  1316943 |  1029645 |     2073   1180 |        0 |        0
458.52/458.62	c  458s |      21 |  1322314 |  1033945 |     2073   1184 |        0 |        0
460.52/460.66	c  460s |      21 |  1328039 |  1038345 |     2073   1188 |        0 |        0
462.52/462.68	c  462s |      21 |  1333501 |  1042845 |     2073   1192 |        0 |        0
464.62/464.71	c  464s |      21 |  1338412 |  1047145 |     2073   1196 |        0 |        0
466.62/466.71	c  466s |      21 |  1343277 |  1051145 |     2073   1200 |        0 |        0
468.62/468.71	c  468s |      21 |  1349897 |  1056345 |     2073   1204 |        0 |        0
470.62/470.75	c  470s |      21 |  1356477 |  1061245 |     2073   1209 |        0 |        0
472.61/472.78	c  472s |      21 |  1362122 |  1065445 |     2073   1213 |        0 |        0
474.61/474.79	c  474s |      21 |  1367960 |  1070045 |     2073   1217 |        0 |        0
476.71/476.85	c  476s |      21 |  1371908 |  1073445 |     2073   1220 |        0 |        0
478.71/478.86	c  478s |      21 |  1377775 |  1078045 |     2073   1224 |        0 |        0
480.82/480.92	c  480s |      21 |  1385447 |  1082645 |     2073   1228 |        0 |        0
482.83/482.96	c  482s |      21 |  1392371 |  1086845 |     2073   1232 |        0 |        0
484.82/484.98	c  484s |      21 |  1398675 |  1091345 |     2073   1236 |        0 |        0
486.92/487.02	c  487s |      21 |  1403619 |  1095045 |     2073   1240 |        0 |        0
488.92/489.06	c  489s |      21 |  1408448 |  1098545 |     2073   1243 |        0 |        0
491.01/491.13	c  491s |      21 |  1412357 |  1101845 |     2073   1246 |        0 |        0
493.01/493.16	c  493s |      21 |  1417857 |  1105745 |     2073   1249 |        0 |        0
495.02/495.18	c  495s |      21 |  1423239 |  1109145 |     2073   1252 |        0 |        0
497.13/497.22	c  497s |      21 |  1427524 |  1112445 |     2073   1255 |        0 |        0
499.12/499.22	c  499s |      21 |  1431595 |  1115645 |     2073   1258 |        0 |        0
501.12/501.28	c  501s |      21 |  1436817 |  1119445 |     2073   1262 |        0 |        0
503.22/503.30	c  503s |      21 |  1440901 |  1122445 |     2073   1264 |        0 |        0
505.22/505.35	c  505s |      21 |  1445060 |  1125645 |     2073   1267 |        0 |        0
507.22/507.38	c  507s |      21 |  1449830 |  1128745 |     2073   1270 |        0 |        0
509.32/509.42	c  509s |      21 |  1453729 |  1131645 |     2073   1272 |        0 |        0
511.31/511.46	c  511s |      21 |  1457674 |  1134545 |     2073   1275 |        0 |        0
513.31/513.48	c  513s |      21 |  1462545 |  1137745 |     2073   1278 |        0 |        0
515.41/515.51	c  515s |      21 |  1467791 |  1141245 |     2073   1281 |        0 |        0
517.41/517.54	c  517s |      21 |  1472609 |  1144645 |     2073   1284 |        0 |        0
519.42/519.55	c  519s |      21 |  1476536 |  1147645 |     2073   1287 |        0 |        0
521.42/521.56	c  521s |      21 |  1480057 |  1150345 |     2073   1289 |        0 |        0
523.52/523.61	c  523s |      21 |  1484093 |  1153245 |     2073   1292 |        0 |        0
525.51/525.62	c  525s |      21 |  1489206 |  1156745 |     2073   1295 |        0 |        0
527.51/527.68	c  527s |      21 |  1496060 |  1160345 |     2073   1298 |        0 |        0
529.51/529.69	c  529s |      21 |  1500246 |  1163345 |     2073   1301 |        0 |        0
531.61/531.72	c  531s |      21 |  1505273 |  1166445 |     2073   1304 |        0 |        0
533.61/533.76	c  533s |      21 |  1509570 |  1169245 |     2073   1306 |        0 |        0
535.61/535.77	c  535s |      21 |  1513421 |  1172145 |     2073   1309 |        0 |        0
537.70/537.83	c  537s |      21 |  1517174 |  1175045 |     2073   1311 |        0 |        0
539.71/539.85	c  539s |      21 |  1521066 |  1178045 |     2073   1314 |        0 |        0
541.81/541.93	c  541s |      21 |  1524685 |  1180845 |     2073   1317 |        0 |        0
543.81/543.96	c  543s |      21 |  1528533 |  1183545 |     2073   1319 |        0 |        0
545.91/546.03	c  546s |      21 |  1532462 |  1186045 |     2073   1321 |        0 |        0
547.91/548.07	c  548s |      21 |  1536320 |  1188645 |     2073   1323 |        0 |        0
549.91/550.09	c  550s |      21 |  1540564 |  1191445 |     2073   1326 |        0 |        0
552.01/552.17	c  552s |      21 |  1543731 |  1194045 |     2073   1328 |        0 |        0
554.11/554.22	c  554s |      21 |  1546950 |  1196645 |     2073   1330 |        0 |        0
556.10/556.26	c  556s |      21 |  1550381 |  1199445 |     2073   1333 |        0 |        0
558.20/558.31	c  558s |      21 |  1553679 |  1202145 |     2073   1335 |        0 |        0
560.20/560.33	c  560s |      21 |  1559417 |  1207045 |     2073   1340 |        0 |        0
562.21/562.34	c  562s |      21 |  1565103 |  1211945 |     2073   1344 |        0 |        0
564.21/564.36	c  564s |      21 |  1571442 |  1217245 |     2073   1349 |        0 |        0
566.21/566.39	c  566s |      21 |  1577501 |  1222545 |     2073   1353 |        0 |        0
568.30/568.41	c  568s |      21 |  1583152 |  1227545 |     2073   1358 |        0 |        0
570.30/570.45	c  570s |      21 |  1588879 |  1232645 |     2073   1362 |        0 |        0
572.30/572.47	c  572s |      21 |  1595517 |  1238145 |     2073   1367 |        0 |        0
574.30/574.48	c  574s |      21 |  1601048 |  1242645 |     2073   1371 |        0 |        0
576.41/576.51	c  576s |      21 |  1606639 |  1247045 |     2073   1375 |        0 |        0
578.40/578.53	c  578s |      21 |  1611121 |  1250845 |     2073   1378 |        0 |        0
580.40/580.54	c  580s |      21 |  1618062 |  1255745 |     2073   1383 |        0 |        0
582.40/582.59	c  582s |      21 |  1623843 |  1259945 |     2073   1387 |        0 |        0
584.50/584.62	c  584s |      21 |  1627831 |  1263145 |     2073   1389 |        0 |        0
586.50/586.65	c  586s |      21 |  1633127 |  1266645 |     2073   1392 |        0 |        0
588.50/588.69	c  588s |      21 |  1637732 |  1269945 |     2073   1395 |        0 |        0
590.60/590.71	c  590s |      21 |  1642952 |  1273545 |     2073   1399 |        0 |        0
592.60/592.74	c  592s |      21 |  1648784 |  1277045 |     2073   1402 |        0 |        0
594.60/594.77	c  594s |      21 |  1653942 |  1280845 |     2073   1405 |        0 |        0
596.70/596.81	c  596s |      21 |  1658327 |  1284345 |     2073   1408 |        0 |        0
598.70/598.81	c  598s |      21 |  1663203 |  1288045 |     2073   1412 |        0 |        0
600.70/600.84	c  600s |      21 |  1668552 |  1292045 |     2073   1415 |        0 |        0
602.71/602.86	c  602s |      21 |  1674331 |  1296045 |     2073   1419 |        0 |        0
604.80/604.91	c  604s |      21 |  1679623 |  1299945 |     2073   1422 |        0 |        0
606.80/606.94	c  606s |      21 |  1685725 |  1303745 |     2073   1426 |        0 |        0
608.80/608.96	c  608s |      21 |  1690601 |  1307445 |     2073   1429 |        0 |        0
610.80/610.98	c  610s |      21 |  1695232 |  1310945 |     2073   1432 |        0 |        0
612.90/613.02	c  613s |      21 |  1700288 |  1314645 |     2073   1436 |        0 |        0
614.90/615.03	c  615s |      21 |  1706716 |  1318445 |     2073   1439 |        0 |        0
616.90/617.08	c  617s |      21 |  1711594 |  1322045 |     2073   1443 |        0 |        0
618.99/619.15	c  619s |      21 |  1717959 |  1326245 |     2073   1446 |        0 |        0
620.99/621.17	c  621s |      21 |  1723645 |  1330645 |     2073   1450 |        0 |        0
623.09/623.23	c  623s |      21 |  1728017 |  1333845 |     2073   1453 |        0 |        0
625.10/625.23	c  625s |      21 |  1733211 |  1337045 |     2073   1456 |        0 |        0
627.20/627.30	c  627s |      21 |  1738098 |  1340645 |     2073   1459 |        0 |        0
629.20/629.37	c  629s |      21 |  1743469 |  1344345 |     2073   1462 |        0 |        0
631.30/631.44	c  631s |      21 |  1748235 |  1347845 |     2073   1465 |        0 |        0
633.29/633.46	c  633s |      21 |  1753468 |  1351245 |     2073   1469 |        0 |        0
635.29/635.48	c  635s |      21 |  1758685 |  1355345 |     2073   1472 |        0 |        0
637.39/637.51	c  637s |      21 |  1763089 |  1359245 |     2073   1476 |        0 |        0
639.39/639.53	c  639s |      21 |  1768180 |  1363745 |     2073   1480 |        0 |        0
641.39/641.56	c  641s |      21 |  1773477 |  1368445 |     2073   1484 |        0 |        0
643.40/643.60	c  643s |      21 |  1778404 |  1372845 |     2073   1488 |        0 |        0
645.50/645.61	c  645s |      21 |  1783199 |  1377245 |     2073   1492 |        0 |        0
647.50/647.66	c  647s |      21 |  1787954 |  1381545 |     2073   1495 |        0 |        0
649.49/649.68	c  649s |      21 |  1792868 |  1385945 |     2073   1499 |        0 |        0
651.59/651.70	c  651s |      21 |  1797725 |  1390345 |     2073   1503 |        0 |        0
653.59/653.72	c  653s |      21 |  1802600 |  1394645 |     2073   1507 |        0 |        0
655.60/655.73	c  655s |      21 |  1807456 |  1398945 |     2073   1511 |        0 |        0
657.59/657.73	c  657s |      21 |  1812147 |  1403145 |     2073   1515 |        0 |        0
659.59/659.75	c  659s |      21 |  1817093 |  1407445 |     2073   1519 |        0 |        0
661.59/661.76	c  661s |      21 |  1821752 |  1411545 |     2073   1522 |        0 |        0
663.59/663.76	c  663s |      21 |  1826316 |  1415545 |     2073   1526 |        0 |        0
665.58/665.79	c  665s |      21 |  1831057 |  1419645 |     2073   1529 |        0 |        0
667.59/667.80	c  667s |      21 |  1835872 |  1423845 |     2073   1533 |        0 |        0
669.68/669.83	c  669s |      21 |  1840555 |  1427945 |     2073   1537 |        0 |        0
671.69/671.88	c  671s |      21 |  1845228 |  1432045 |     2073   1541 |        0 |        0
673.79/673.93	c  673s |      21 |  1849046 |  1435545 |     2073   1544 |        0 |        0
675.79/675.98	c  675s |      21 |  1854153 |  1439845 |     2073   1548 |        0 |        0
677.79/677.98	c  677s |      21 |  1859216 |  1444245 |     2073   1551 |        0 |        0
679.89/680.03	c  680s |      21 |  1864188 |  1448645 |     2073   1555 |        0 |        0
681.89/682.05	c  682s |      21 |  1869128 |  1452945 |     2073   1559 |        0 |        0
683.89/684.09	c  684s |      21 |  1874303 |  1457445 |     2073   1563 |        0 |        0
685.98/686.12	c  686s |      21 |  1878895 |  1461545 |     2073   1567 |        0 |        0
687.98/688.12	c  688s |      21 |  1883509 |  1465645 |     2073   1570 |        0 |        0
689.99/690.16	c  690s |      21 |  1887979 |  1469645 |     2073   1574 |        0 |        0
691.99/692.16	c  692s |      21 |  1893632 |  1474645 |     2073   1578 |        0 |        0
693.99/694.20	c  694s |      21 |  1899100 |  1479545 |     2073   1583 |        0 |        0
696.08/696.22	c  696s |      21 |  1903897 |  1483845 |     2073   1587 |        0 |        0
698.08/698.27	c  698s |      21 |  1908809 |  1488145 |     2073   1590 |        0 |        0
700.19/700.32	c  700s |      21 |  1913053 |  1491945 |     2281   1594 |        0 |        0
702.18/702.39	c  702s |      21 |  1916957 |  1495445 |     2281   1596 |        0 |        0
704.28/704.40	c  704s |      21 |  1921218 |  1499145 |     2281   1599 |        0 |        0
704.99/705.19	c  705s |      22 |  1922887 |  1500622 |     2281   1601 |        0 |        0
707.08/707.20	c  707s |      22 |  1929206 |  1505222 |     2281   1604 |        0 |        0
709.08/709.26	c  709s |      22 |  1933677 |  1508822 |     2281   1607 |        0 |        0
711.08/711.28	c  711s |      22 |  1938901 |  1512522 |     2281   1610 |        0 |        0
713.19/713.33	c  713s |      22 |  1946117 |  1516222 |     2281   1613 |        0 |        0
715.18/715.35	c  715s |      22 |  1950436 |  1520022 |     2281   1616 |        0 |        0
717.19/717.39	c  717s |      22 |  1954844 |  1523422 |     2281   1619 |        0 |        0
719.29/719.45	c  719s |      22 |  1959351 |  1526922 |     2281   1622 |        0 |        0
721.28/721.47	c  721s |      22 |  1964206 |  1530222 |     2281   1624 |        0 |        0
723.28/723.49	c  723s |      22 |  1969183 |  1534122 |     2281   1627 |        0 |        0
725.38/725.50	c  725s |      22 |  1973901 |  1537622 |     2281   1630 |        0 |        0
727.38/727.50	c  727s |      22 |  1978628 |  1541122 |     2281   1633 |        0 |        0
729.38/729.52	c  729s |      22 |  1985347 |  1545322 |     2281   1636 |        0 |        0
731.38/731.55	c  731s |      22 |  1990033 |  1549222 |     2281   1639 |        0 |        0
733.38/733.58	c  733s |      22 |  1994997 |  1553322 |     2281   1643 |        0 |        0
735.47/735.63	c  735s |      22 |  1999278 |  1556722 |     2281   1646 |        0 |        0
737.48/737.65	c  737s |      22 |  2004088 |  1560622 |     2281   1649 |        0 |        0
739.48/739.67	c  739s |      22 |  2008112 |  1564022 |     2281   1651 |        0 |        0
741.58/741.70	c  741s |      22 |  2012053 |  1567322 |     2281   1654 |        0 |        0
743.59/743.75	c  743s |      22 |  2015507 |  1570222 |     2281   1656 |        0 |        0
745.58/745.76	c  745s |      22 |  2018875 |  1573222 |     2281   1659 |        0 |        0
747.58/747.78	c  747s |      22 |  2022665 |  1576222 |     2281   1661 |        0 |        0
749.68/749.85	c  749s |      22 |  2026951 |  1579922 |     2281   1664 |        0 |        0
751.68/751.86	c  751s |      22 |  2031363 |  1583522 |     2281   1667 |        0 |        0
753.68/753.87	c  753s |      22 |  2035021 |  1586522 |     2281   1669 |        0 |        0
755.78/755.90	c  755s |      22 |  2038628 |  1589622 |     2281   1672 |        0 |        0
757.79/757.93	c  757s |      22 |  2041904 |  1592522 |     2281   1674 |        0 |        0
759.78/759.97	c  759s |      22 |  2045735 |  1595822 |     2281   1677 |        0 |        0
761.88/762.03	c  762s |      22 |  2049364 |  1598722 |     2281   1679 |        0 |        0
763.88/764.08	c  764s |      22 |  2052266 |  1601322 |     2281   1681 |        0 |        0
765.98/766.12	c  766s |      22 |  2055402 |  1604022 |     2281   1683 |        0 |        0
767.98/768.19	c  768s |      22 |  2059183 |  1607222 |     2281   1686 |        0 |        0
770.08/770.25	c  770s |      22 |  2063386 |  1610622 |     2281   1688 |        0 |        0
772.18/772.31	c  772s |      22 |  2067183 |  1613822 |     2281   1691 |        0 |        0
774.18/774.37	c  774s |      22 |  2072361 |  1616822 |     2281   1693 |        0 |        0
776.18/776.38	c  776s |      22 |  2076024 |  1619822 |     2281   1695 |        0 |        0
778.27/778.42	c  778s |      22 |  2079253 |  1622522 |     2281   1698 |        0 |        0
780.27/780.45	c  780s |      22 |  2082701 |  1624922 |     2281   1700 |        0 |        0
782.27/782.47	c  782s |      22 |  2087887 |  1628222 |     2281   1702 |        0 |        0
784.28/784.48	c  784s |      22 |  2093135 |  1632222 |     2281   1705 |        0 |        0
786.38/786.50	c  786s |      22 |  2099956 |  1636522 |     2281   1709 |        0 |        0
788.37/788.54	c  788s |      22 |  2104333 |  1640322 |     2281   1712 |        0 |        0
790.36/790.55	c  790s |      22 |  2109039 |  1643522 |     2281   1714 |        0 |        0
792.46/792.61	c  792s |      22 |  2114272 |  1647522 |     2281   1718 |        0 |        0
794.46/794.62	c  794s |      22 |  2117749 |  1650722 |     2281   1720 |        0 |        0
796.46/796.65	c  796s |      22 |  2122912 |  1653922 |     2281   1723 |        0 |        0
798.47/798.67	c  798s |      22 |  2129636 |  1657522 |     2281   1726 |        0 |        0
800.45/800.69	c  800s |      22 |  2134659 |  1661622 |     2281   1729 |        0 |        0
802.55/802.70	c  802s |      22 |  2138560 |  1665022 |     2281   1732 |        0 |        0
804.55/804.71	c  804s |      22 |  2143366 |  1668322 |     2281   1734 |        0 |        0
806.55/806.74	c  806s |      22 |  2147682 |  1671422 |     2281   1737 |        0 |        0
808.56/808.78	c  808s |      22 |  2151808 |  1674522 |     2281   1739 |        0 |        0
810.56/810.80	c  810s |      22 |  2157151 |  1678422 |     2281   1742 |        0 |        0
812.65/812.81	c  812s |      22 |  2162417 |  1682222 |     2281   1745 |        0 |        0
814.65/814.82	c  814s |      22 |  2167783 |  1686722 |     2281   1749 |        0 |        0
816.65/816.83	c  816s |      22 |  2172597 |  1690922 |     2281   1752 |        0 |        0
818.65/818.84	c  818s |      22 |  2177307 |  1695122 |     2281   1756 |        0 |        0
820.64/820.88	c  820s |      22 |  2181141 |  1698622 |     2281   1759 |        0 |        0
822.75/822.92	c  822s |      22 |  2185453 |  1702522 |     2281   1762 |        0 |        0
824.75/824.95	c  824s |      22 |  2189689 |  1706222 |     2281   1765 |        0 |        0
826.75/826.96	c  826s |      22 |  2193925 |  1709922 |     2281   1768 |        0 |        0
828.75/828.96	c  828s |      22 |  2198654 |  1713722 |     2281   1771 |        0 |        0
830.84/831.01	c  830s |      22 |  2203479 |  1717522 |     2281   1774 |        0 |        0
832.84/833.08	c  833s |      22 |  2208030 |  1721222 |     2281   1777 |        0 |        0
834.94/835.12	c  835s |      22 |  2212071 |  1724522 |     2281   1780 |        0 |        0
836.95/837.17	c  837s |      22 |  2216273 |  1728122 |     2281   1782 |        0 |        0
839.04/839.20	c  839s |      22 |  2220020 |  1731222 |     2281   1785 |        0 |        0
841.03/841.20	c  841s |      22 |  2224703 |  1734822 |     2281   1788 |        0 |        0
843.04/843.23	c  843s |      22 |  2228607 |  1738122 |     2281   1790 |        0 |        0
845.04/845.29	c  845s |      22 |  2232732 |  1741522 |     2281   1793 |        0 |        0
847.14/847.31	c  847s |      22 |  2236541 |  1744722 |     2281   1796 |        0 |        0
849.14/849.36	c  849s |      22 |  2240527 |  1748022 |     2281   1798 |        0 |        0
851.13/851.38	c  851s |      22 |  2245375 |  1751922 |     2281   1802 |        0 |        0
853.13/853.39	c  853s |      22 |  2251682 |  1756422 |     2281   1805 |        0 |        0
855.23/855.42	c  855s |      22 |  2257670 |  1760922 |     2281   1809 |        0 |        0
857.23/857.45	c  857s |      22 |  2263394 |  1765422 |     2281   1812 |        0 |        0
859.23/859.46	c  859s |      22 |  2269070 |  1769622 |     2281   1816 |        0 |        0
861.23/861.49	c  861s |      22 |  2273189 |  1773222 |     2281   1819 |        0 |        0
863.33/863.51	c  863s |      22 |  2278180 |  1776822 |     2281   1822 |        0 |        0
865.32/865.56	c  865s |      22 |  2282490 |  1780322 |     2281   1824 |        0 |        0
867.32/867.58	c  867s |      22 |  2288224 |  1785022 |     2281   1828 |        0 |        0
869.42/869.63	c  869s |      22 |  2293191 |  1789122 |     2281   1832 |        0 |        0
871.41/871.67	c  871s |      22 |  2298279 |  1793322 |     2281   1835 |        0 |        0
873.41/873.69	c  873s |      22 |  2302330 |  1796822 |     2281   1838 |        0 |        0
875.53/875.71	c  875s |      22 |  2307165 |  1800722 |     2281   1841 |        0 |        0
877.52/877.77	c  877s |      22 |  2311779 |  1804422 |     2281   1844 |        0 |        0
879.62/879.81	c  879s |      22 |  2316483 |  1808622 |     2281   1847 |        0 |        0
881.61/881.85	c  881s |      22 |  2321043 |  1812722 |     2281   1850 |        0 |        0
883.61/883.86	c  883s |      22 |  2325997 |  1816822 |     2281   1854 |        0 |        0
885.71/885.92	c  885s |      22 |  2331462 |  1821222 |     2281   1857 |        0 |        0
887.70/887.96	c  887s |      22 |  2336261 |  1824922 |     2281   1860 |        0 |        0
889.72/889.98	c  889s |      22 |  2341661 |  1829322 |     2281   1864 |        0 |        0
891.71/891.98	c  891s |      22 |  2346471 |  1833222 |     2281   1867 |        0 |        0
893.80/894.01	c  893s |      22 |  2351002 |  1836722 |     2281   1870 |        0 |        0
895.80/896.03	c  896s |      22 |  2356274 |  1840822 |     2281   1873 |        0 |        0
897.80/898.05	c  898s |      22 |  2360923 |  1845022 |     2281   1876 |        0 |        0
899.90/900.11	c  900s |      22 |  2365790 |  1848822 |     2281   1880 |        0 |        0
901.90/902.16	c  902s |      22 |  2371087 |  1852522 |     2281   1883 |        0 |        0
903.90/904.19	c  904s |      22 |  2375966 |  1856522 |     2281   1886 |        0 |        0
906.00/906.21	c  906s |      22 |  2380255 |  1859822 |     2281   1888 |        0 |        0
908.00/908.21	c  908s |      22 |  2384805 |  1863222 |     2281   1891 |        0 |        0
910.00/910.23	c  910s |      22 |  2389547 |  1866722 |     2281   1894 |        0 |        0
912.00/912.28	c  912s |      22 |  2394158 |  1869922 |     2281   1897 |        0 |        0
914.10/914.32	c  914s |      22 |  2399707 |  1873422 |     2281   1899 |        0 |        0
916.10/916.36	c  916s |      22 |  2403610 |  1876822 |     2281   1902 |        0 |        0
918.09/918.39	c  918s |      22 |  2408979 |  1880622 |     2281   1905 |        0 |        0
920.19/920.41	c  920s |      22 |  2414453 |  1884522 |     2281   1908 |        0 |        0
922.19/922.46	c  922s |      22 |  2419579 |  1888722 |     2281   1912 |        0 |        0
924.19/924.49	c  924s |      22 |  2423519 |  1892122 |     2281   1914 |        0 |        0
926.29/926.50	c  926s |      22 |  2428759 |  1895422 |     2281   1917 |        0 |        0
928.30/928.54	c  928s |      22 |  2432579 |  1898822 |     2281   1920 |        0 |        0
930.29/930.55	c  930s |      22 |  2436325 |  1902122 |     2281   1923 |        0 |        0
932.28/932.60	c  932s |      22 |  2440111 |  1905522 |     2281   1925 |        0 |        0
934.38/934.63	c  934s |      22 |  2443337 |  1908422 |     2281   1928 |        0 |        0
936.38/936.64	c  936s |      22 |  2447212 |  1911822 |     2281   1931 |        0 |        0
938.38/938.68	c  938s |      22 |  2450193 |  1914522 |     2281   1933 |        0 |        0
940.47/940.70	c  940s |      22 |  2454439 |  1917922 |     2281   1936 |        0 |        0
942.48/942.72	c  942s |      22 |  2458678 |  1921322 |     2281   1938 |        0 |        0
944.47/944.74	c  944s |      22 |  2461955 |  1924322 |     2281   1941 |        0 |        0
946.48/946.77	c  946s |      22 |  2466870 |  1928322 |     2281   1944 |        0 |        0
948.47/948.78	c  948s |      22 |  2470902 |  1931522 |     2281   1946 |        0 |        0
950.57/950.80	c  950s |      22 |  2474934 |  1934522 |     2281   1949 |        0 |        0
952.57/952.84	c  952s |      22 |  2478594 |  1937422 |     2281   1951 |        0 |        0
954.58/954.87	c  954s |      22 |  2482618 |  1940522 |     2281   1954 |        0 |        0
956.57/956.89	c  956s |      22 |  2486821 |  1943722 |     2281   1956 |        0 |        0
958.66/958.92	c  958s |      22 |  2491000 |  1947122 |     2281   1959 |        0 |        0
960.66/960.92	c  960s |      22 |  2494964 |  1950122 |     2281   1961 |        0 |        0
962.66/962.97	c  962s |      22 |  2499434 |  1953922 |     2281   1964 |        0 |        0
964.67/964.98	c  964s |      22 |  2503365 |  1957422 |     2281   1967 |        0 |        0
966.67/966.99	c  966s |      22 |  2508439 |  1960922 |     2281   1970 |        0 |        0
968.76/969.03	c  969s |      22 |  2512723 |  1964422 |     2281   1973 |        0 |        0
970.75/971.04	c  971s |      22 |  2517253 |  1968122 |     2281   1976 |        0 |        0
972.75/973.05	c  973s |      22 |  2522131 |  1972322 |     2281   1979 |        0 |        0
974.76/975.05	c  975s |      22 |  2527008 |  1976522 |     2281   1983 |        0 |        0
976.76/977.08	c  977s |      22 |  2531990 |  1980922 |     2281   1986 |        0 |        0
978.76/979.08	c  979s |      22 |  2536294 |  1984722 |     2281   1989 |        0 |        0
980.85/981.11	c  981s |      22 |  2540444 |  1988422 |     2281   1992 |        0 |        0
982.85/983.14	c  983s |      22 |  2544703 |  1992222 |     2281   1995 |        0 |        0
984.85/985.16	c  985s |      22 |  2548989 |  1995922 |     2281   1998 |        0 |        0
986.85/987.17	c  987s |      22 |  2553253 |  1999722 |     2281   2001 |        0 |        0
988.85/989.18	c  989s |      22 |  2557086 |  2003122 |     2281   2004 |        0 |        0
990.95/991.21	c  991s |      22 |  2562089 |  2007422 |     2281   2008 |        0 |        0
992.94/993.22	c  993s |      22 |  2567134 |  2011822 |     2281   2011 |        0 |        0
994.94/995.24	c  995s |      22 |  2572254 |  2016322 |     2281   2015 |        0 |        0
996.94/997.28	c  997s |      22 |  2577568 |  2020522 |     2281   2018 |        0 |        0
999.04/999.33	c  999s |      22 |  2582893 |  2024222 |     2281   2021 |        0 |        0
1001.04/1001.34	c 1001s |      22 |  2587224 |  2027922 |     2281   2024 |        0 |        0
1003.05/1003.35	c 1003s |      22 |  2591652 |  2031322 |     2281   2027 |        0 |        0
1005.04/1005.35	c 1005s |      22 |  2597541 |  2035322 |     2281   2030 |        0 |        0
1007.04/1007.36	c 1007s |      22 |  2601920 |  2039022 |     2281   2033 |        0 |        0
1009.13/1009.42	c 1009s |      22 |  2606616 |  2042822 |     2281   2036 |        0 |        0
1011.13/1011.43	c 1011s |      22 |  2610986 |  2046022 |     2281   2039 |        0 |        0
1013.13/1013.46	c 1013s |      22 |  2615754 |  2050022 |     2281   2042 |        0 |        0
1015.13/1015.49	c 1015s |      22 |  2620587 |  2054022 |     2281   2045 |        0 |        0
1017.23/1017.54	c 1017s |      22 |  2625406 |  2058022 |     2281   2049 |        0 |        0
1019.23/1019.56	c 1019s |      22 |  2629594 |  2061522 |     2281   2051 |        0 |        0
1021.23/1021.58	c 1021s |      22 |  2634287 |  2065122 |     2281   2054 |        0 |        0
1023.33/1023.60	c 1023s |      22 |  2638701 |  2068622 |     2281   2057 |        0 |        0
1025.33/1025.63	c 1025s |      22 |  2642516 |  2071922 |     2281   2060 |        0 |        0
1027.32/1027.66	c 1027s |      22 |  2646088 |  2074922 |     2281   2062 |        0 |        0
1029.43/1029.73	c 1029s |      22 |  2649704 |  2077922 |     2281   2064 |        0 |        0
1031.42/1031.75	c 1031s |      22 |  2653500 |  2080622 |     2281   2067 |        0 |        0
1033.42/1033.79	c 1033s |      22 |  2657139 |  2083822 |     2281   2069 |        0 |        0
1035.52/1035.85	c 1035s |      22 |  2661295 |  2086722 |     2281   2071 |        0 |        0
1037.52/1037.87	c 1037s |      22 |  2666541 |  2089922 |     2281   2074 |        0 |        0
1039.52/1039.87	c 1039s |      22 |  2670793 |  2093222 |     2281   2077 |        0 |        0
1041.52/1041.89	c 1041s |      22 |  2674438 |  2095922 |     2281   2079 |        0 |        0
1043.51/1043.90	c 1043s |      22 |  2678947 |  2099422 |     2281   2082 |        0 |        0
1045.61/1045.91	c 1045s |      22 |  2683593 |  2103322 |     2281   2085 |        0 |        0
1047.61/1047.92	c 1047s |      22 |  2687765 |  2106922 |     2281   2088 |        0 |        0
1049.61/1049.93	c 1049s |      22 |  2691951 |  2110422 |     2281   2090 |        0 |        0
1051.61/1051.98	c 1051s |      22 |  2696133 |  2114022 |     2281   2093 |        0 |        0
1053.71/1054.01	c 1053s |      22 |  2700558 |  2117722 |     2281   2096 |        0 |        0
1055.71/1056.03	c 1056s |      22 |  2704479 |  2121022 |     2281   2099 |        0 |        0
1057.71/1058.07	c 1058s |      22 |  2708791 |  2124622 |     2281   2102 |        0 |        0
1059.71/1060.08	c 1060s |      22 |  2712773 |  2128022 |     2281   2105 |        0 |        0
1061.80/1062.12	c 1062s |      22 |  2717404 |  2131622 |     2281   2108 |        0 |        0
1063.80/1064.14	c 1064s |      22 |  2721746 |  2135222 |     2281   2110 |        0 |        0
1065.80/1066.15	c 1066s |      22 |  2726161 |  2139022 |     2281   2113 |        0 |        0
1067.81/1068.17	c 1068s |      22 |  2729791 |  2142022 |     2281   2116 |        0 |        0
1069.80/1070.18	c 1070s |      22 |  2734086 |  2145222 |     2281   2118 |        0 |        0
1071.90/1072.23	c 1072s |      22 |  2737981 |  2148222 |     2281   2121 |        0 |        0
1073.90/1074.27	c 1074s |      22 |  2741788 |  2151322 |     2281   2123 |        0 |        0
1076.00/1076.30	c 1076s |      22 |  2746495 |  2154122 |     2281   2125 |        0 |        0
1078.00/1078.33	c 1078s |      22 |  2752463 |  2158322 |     2281   2129 |        0 |        0
1080.00/1080.35	c 1080s |      22 |  2756629 |  2161222 |     2281   2131 |        0 |        0
1081.99/1082.37	c 1082s |      22 |  2760140 |  2164022 |     2281   2133 |        0 |        0
1084.09/1084.40	c 1084s |      22 |  2764882 |  2167822 |     2281   2136 |        0 |        0
1086.09/1086.42	c 1086s |      22 |  2768801 |  2171122 |     2281   2139 |        0 |        0
1088.09/1088.49	c 1088s |      22 |  2773014 |  2174222 |     2281   2142 |        0 |        0
1090.10/1090.50	c 1090s |      22 |  2776332 |  2176822 |     2281   2144 |        0 |        0
1092.19/1092.56	c 1092s |      22 |  2779862 |  2180022 |     2281   2146 |        0 |        0
1094.20/1094.59	c 1094s |      22 |  2784382 |  2183422 |     2281   2149 |        0 |        0
1096.19/1096.59	c 1096s |      22 |  2787922 |  2186522 |     2281   2151 |        0 |        0
1098.29/1098.62	c 1098s |      22 |  2791881 |  2189922 |     2281   2154 |        0 |        0
1100.38/1100.71	c 1100s |      22 |  2795939 |  2193422 |     2281   2157 |        0 |        0
1102.38/1102.75	c 1102s |      22 |  2799442 |  2196422 |     2281   2160 |        0 |        0
1104.38/1104.77	c 1104s |      22 |  2804302 |  2200322 |     2281   2163 |        0 |        0
1106.48/1106.85	c 1106s |      22 |  2808497 |  2203922 |     2281   2166 |        0 |        0
1108.49/1108.87	c 1108s |      22 |  2812639 |  2207422 |     2281   2168 |        0 |        0
1110.57/1110.92	c 1110s |      22 |  2816735 |  2210622 |     2281   2171 |        0 |        0
1112.57/1112.98	c 1112s |      22 |  2820295 |  2213622 |     2281   2173 |        0 |        0
1114.57/1114.98	c 1114s |      22 |  2823807 |  2216522 |     2281   2176 |        0 |        0
1116.68/1117.02	c 1117s |      22 |  2828526 |  2220522 |     2281   2179 |        0 |        0
1118.68/1119.07	c 1119s |      22 |  2832734 |  2224022 |     2281   2182 |        0 |        0
1120.77/1121.10	c 1121s |      22 |  2836628 |  2227422 |     2281   2185 |        0 |        0
1122.78/1123.13	c 1123s |      22 |  2841703 |  2231422 |     2281   2188 |        0 |        0
1124.77/1125.16	c 1125s |      22 |  2846199 |  2235122 |     2510   2191 |        0 |        0
1126.87/1127.20	c 1127s |      22 |  2850172 |  2238522 |     2510   2193 |        0 |        0
1128.87/1129.24	c 1129s |      22 |  2854572 |  2242322 |     2510   2196 |        0 |        0
1130.86/1131.26	c 1131s |      22 |  2859143 |  2246122 |     2510   2199 |        0 |        0
1132.97/1133.33	c 1133s |      22 |  2863095 |  2249622 |     2510   2201 |        0 |        0
1133.88/1134.21	c 1134s |      23 |  2864677 |  2251038 |     2510   2202 |        0 |        0
1135.87/1136.21	c 1136s |      23 |  2872632 |  2255338 |     2510   2205 |        0 |        0
1137.87/1138.25	c 1138s |      23 |  2876581 |  2258838 |     2510   2208 |        0 |        0
1139.86/1140.25	c 1140s |      23 |  2880590 |  2262038 |     2510   2210 |        0 |        0
1141.86/1142.25	c 1142s |      23 |  2884311 |  2265038 |     2510   2212 |        0 |        0
1143.85/1144.26	c 1144s |      23 |  2888760 |  2268738 |     2510   2215 |        0 |        0
1145.97/1146.31	c 1146s |      23 |  2892909 |  2272338 |     2510   2218 |        0 |        0
1147.96/1148.32	c 1148s |      23 |  2896741 |  2275538 |     2510   2220 |        0 |        0
1149.96/1150.38	c 1150s |      23 |  2901579 |  2278838 |     2510   2223 |        0 |        0
1151.95/1152.39	c 1152s |      23 |  2906856 |  2283138 |     2510   2226 |        0 |        0
1153.95/1154.40	c 1154s |      23 |  2911527 |  2287038 |     2510   2229 |        0 |        0
1156.05/1156.40	c 1156s |      23 |  2915319 |  2290338 |     2510   2231 |        0 |        0
1158.05/1158.44	c 1158s |      23 |  2918365 |  2293038 |     2510   2233 |        0 |        0
1160.04/1160.47	c 1160s |      23 |  2921814 |  2295938 |     2510   2235 |        0 |        0
1162.15/1162.51	c 1162s |      23 |  2926981 |  2299938 |     2510   2238 |        0 |        0
1164.15/1164.53	c 1164s |      23 |  2931508 |  2303438 |     2510   2241 |        0 |        0
1166.15/1166.56	c 1166s |      23 |  2935652 |  2306938 |     2510   2243 |        0 |        0
1168.15/1168.58	c 1168s |      23 |  2939195 |  2309938 |     2510   2245 |        0 |        0
1170.25/1170.64	c 1170s |      23 |  2942884 |  2312938 |     2510   2248 |        0 |        0
1172.25/1172.64	c 1172s |      23 |  2946439 |  2316038 |     2510   2250 |        0 |        0
1174.24/1174.65	c 1174s |      23 |  2949374 |  2318638 |     2510   2252 |        0 |        0
1176.24/1176.66	c 1176s |      23 |  2952006 |  2321038 |     2510   2254 |        0 |        0
1178.24/1178.68	c 1178s |      23 |  2957028 |  2325038 |     2510   2256 |        0 |        0
1180.34/1180.73	c 1180s |      23 |  2962204 |  2328938 |     2510   2259 |        0 |        0
1182.33/1182.73	c 1182s |      23 |  2966720 |  2332138 |     2510   2262 |        0 |        0
1184.34/1184.78	c 1184s |      23 |  2971626 |  2335838 |     2510   2264 |        0 |        0
1186.43/1186.80	c 1186s |      23 |  2975928 |  2339038 |     2510   2267 |        0 |        0
1188.43/1188.81	c 1188s |      23 |  2980072 |  2342638 |     2510   2269 |        0 |        0
1190.42/1190.82	c 1190s |      23 |  2983458 |  2345638 |     2510   2272 |        0 |        0
1192.43/1192.83	c 1192s |      23 |  2988720 |  2349338 |     2510   2274 |        0 |        0
1194.43/1194.88	c 1194s |      23 |  2992763 |  2352838 |     2510   2277 |        0 |        0
1196.54/1196.91	c 1196s |      23 |  2996917 |  2356338 |     2510   2279 |        0 |        0
1198.53/1198.95	c 1198s |      23 |  3001475 |  2360338 |     2510   2282 |        0 |        0
1200.52/1200.98	c 1200s |      23 |  3006474 |  2364338 |     2510   2285 |        0 |        0
1202.62/1203.00	c 1202s |      23 |  3011701 |  2368438 |     2510   2288 |        0 |        0
1204.62/1205.01	c 1204s |      23 |  3016717 |  2372038 |     2510   2291 |        0 |        0
1206.62/1207.01	c 1206s |      23 |  3022276 |  2376038 |     2510   2294 |        0 |        0
1208.63/1209.03	c 1209s |      23 |  3027605 |  2380038 |     2510   2297 |        0 |        0
1210.62/1211.09	c 1211s |      23 |  3031986 |  2383338 |     2510   2299 |        0 |        0
1212.72/1213.12	c 1213s |      23 |  3036770 |  2387238 |     2510   2302 |        0 |        0
1214.72/1215.16	c 1215s |      23 |  3041285 |  2391038 |     2510   2305 |        0 |        0
1216.71/1217.18	c 1217s |      23 |  3045741 |  2394738 |     2510   2308 |        0 |        0
1218.82/1219.24	c 1219s |      23 |  3050072 |  2398538 |     2510   2310 |        0 |        0
1220.81/1221.27	c 1221s |      23 |  3054814 |  2402538 |     2510   2313 |        0 |        0
1222.82/1223.30	c 1223s |      23 |  3059247 |  2406038 |     2510   2316 |        0 |        0
1224.91/1225.33	c 1225s |      23 |  3063314 |  2409538 |     2510   2318 |        0 |        0
1226.91/1227.33	c 1227s |      23 |  3067239 |  2412938 |     2510   2321 |        0 |        0
1228.90/1229.33	c 1229s |      23 |  3071623 |  2416638 |     2510   2324 |        0 |        0
1230.90/1231.37	c 1231s |      23 |  3075199 |  2419838 |     2510   2326 |        0 |        0
1232.90/1233.39	c 1233s |      23 |  3078770 |  2423038 |     2510   2328 |        0 |        0
1234.90/1235.40	c 1235s |      23 |  3082397 |  2426238 |     2510   2331 |        0 |        0
1237.00/1237.44	c 1237s |      23 |  3086179 |  2429638 |     2510   2333 |        0 |        0
1239.10/1239.50	c 1239s |      23 |  3089920 |  2432938 |     2510   2335 |        0 |        0
1241.09/1241.51	c 1241s |      23 |  3093296 |  2435938 |     2510   2338 |        0 |        0
1243.09/1243.56	c 1243s |      23 |  3097240 |  2439338 |     2510   2340 |        0 |        0
1245.20/1245.63	c 1245s |      23 |  3101074 |  2442638 |     2510   2343 |        0 |        0
1247.30/1247.70	c 1247s |      23 |  3104954 |  2446138 |     2510   2345 |        0 |        0
1249.30/1249.78	c 1249s |      23 |  3108429 |  2449238 |     2510   2347 |        0 |        0
1251.29/1251.80	c 1251s |      23 |  3111677 |  2452138 |     2510   2349 |        0 |        0
1253.39/1253.87	c 1253s |      23 |  3115023 |  2455038 |     2510   2352 |        0 |        0
1255.49/1255.92	c 1255s |      23 |  3118662 |  2458238 |     2510   2354 |        0 |        0
1257.49/1257.93	c 1257s |      23 |  3122269 |  2461438 |     2510   2356 |        0 |        0
1259.58/1260.02	c 1260s |      23 |  3125577 |  2464338 |     2510   2358 |        0 |        0
1261.58/1262.07	c 1262s |      23 |  3128539 |  2467038 |     2510   2360 |        0 |        0
1263.59/1264.07	c 1264s |      23 |  3131349 |  2469538 |     2510   2362 |        0 |        0
1265.69/1266.10	c 1266s |      23 |  3134827 |  2472638 |     2510   2364 |        0 |        0
1267.69/1268.12	c 1268s |      23 |  3138257 |  2475738 |     2510   2367 |        0 |        0
1269.68/1270.17	c 1270s |      23 |  3141565 |  2478738 |     2510   2369 |        0 |        0
1271.78/1272.21	c 1272s |      23 |  3144681 |  2481538 |     2510   2371 |        0 |        0
1273.78/1274.26	c 1274s |      23 |  3148081 |  2484538 |     2510   2373 |        0 |        0
1275.87/1276.33	c 1276s |      23 |  3151108 |  2487238 |     2510   2375 |        0 |        0
1277.88/1278.35	c 1278s |      23 |  3154267 |  2490038 |     2510   2377 |        0 |        0
1279.87/1280.37	c 1280s |      23 |  3156899 |  2492438 |     2510   2379 |        0 |        0
1281.88/1282.39	c 1282s |      23 |  3160592 |  2495238 |     2510   2381 |        0 |        0
1283.97/1284.44	c 1284s |      23 |  3163339 |  2497638 |     2510   2383 |        0 |        0
1285.97/1286.47	c 1286s |      23 |  3166321 |  2500238 |     2510   2385 |        0 |        0
1288.07/1288.50	c 1288s |      23 |  3168883 |  2502538 |     2510   2386 |        0 |        0
1290.07/1290.55	c 1290s |      23 |  3172221 |  2505438 |     2510   2388 |        0 |        0
1292.07/1292.59	c 1292s |      23 |  3175936 |  2508538 |     2510   2391 |        0 |        0
1294.16/1294.64	c 1294s |      23 |  3179062 |  2511338 |     2510   2393 |        0 |        0
1296.16/1296.68	c 1296s |      23 |  3181793 |  2513738 |     2510   2394 |        0 |        0
1298.16/1298.70	c 1298s |      23 |  3185959 |  2517138 |     2510   2397 |        0 |        0
1300.27/1300.72	c 1300s |      23 |  3189531 |  2520038 |     2510   2399 |        0 |        0
1302.26/1302.77	c 1302s |      23 |  3193651 |  2523538 |     2510   2402 |        0 |        0
1304.36/1304.81	c 1304s |      23 |  3197431 |  2526838 |     2510   2404 |        0 |        0
1306.37/1306.85	c 1306s |      23 |  3202260 |  2530638 |     2510   2407 |        0 |        0
1308.36/1308.86	c 1308s |      23 |  3207283 |  2534838 |     2510   2410 |        0 |        0
1310.36/1310.88	c 1310s |      23 |  3211488 |  2538538 |     2510   2413 |        0 |        0
1312.36/1312.88	c 1312s |      23 |  3215821 |  2542338 |     2510   2415 |        0 |        0
1314.45/1314.95	c 1314s |      23 |  3220151 |  2546138 |     2510   2418 |        0 |        0
1316.45/1316.97	c 1316s |      23 |  3224307 |  2549638 |     2510   2421 |        0 |        0
1318.56/1319.03	c 1319s |      23 |  3229247 |  2553538 |     2510   2424 |        0 |        0
1320.54/1321.03	c 1321s |      23 |  3233361 |  2556838 |     2510   2426 |        0 |        0
1322.55/1323.06	c 1323s |      23 |  3238203 |  2560338 |     2510   2428 |        0 |        0
1324.65/1325.11	c 1325s |      23 |  3242493 |  2563638 |     2510   2431 |        0 |        0
1326.65/1327.13	c 1327s |      23 |  3246079 |  2566438 |     2510   2433 |        0 |        0
1328.65/1329.17	c 1329s |      23 |  3249674 |  2569338 |     2510   2435 |        0 |        0
1330.74/1331.22	c 1331s |      23 |  3253216 |  2571938 |     2510   2437 |        0 |        0
1332.75/1333.25	c 1333s |      23 |  3257550 |  2574938 |     2510   2439 |        0 |        0
1334.74/1335.28	c 1335s |      23 |  3261602 |  2577638 |     2510   2441 |        0 |        0
1336.85/1337.32	c 1337s |      23 |  3266519 |  2581138 |     2510   2444 |        0 |        0
1338.85/1339.38	c 1339s |      23 |  3271151 |  2585038 |     2510   2447 |        0 |        0
1340.84/1341.38	c 1341s |      23 |  3275213 |  2588538 |     2510   2449 |        0 |        0
1342.84/1343.39	c 1343s |      23 |  3279387 |  2592038 |     2510   2452 |        0 |        0
1344.95/1345.44	c 1345s |      23 |  3283405 |  2595438 |     2510   2454 |        0 |        0
1346.94/1347.49	c 1347s |      23 |  3287462 |  2598938 |     2510   2457 |        0 |        0
1349.04/1349.50	c 1349s |      23 |  3291703 |  2602438 |     2510   2459 |        0 |        0
1351.03/1351.51	c 1351s |      23 |  3295261 |  2605538 |     2510   2462 |        0 |        0
1353.03/1353.54	c 1353s |      23 |  3299351 |  2609138 |     2510   2464 |        0 |        0
1355.03/1355.58	c 1355s |      23 |  3302958 |  2612238 |     2510   2466 |        0 |        0
1357.13/1357.62	c 1357s |      23 |  3307948 |  2616038 |     2510   2469 |        0 |        0
1359.14/1359.66	c 1359s |      23 |  3311891 |  2619238 |     2510   2471 |        0 |        0
1361.23/1361.73	c 1361s |      23 |  3315025 |  2621938 |     2510   2473 |        0 |        0
1363.22/1363.78	c 1363s |      23 |  3318635 |  2624838 |     2510   2476 |        0 |        0
1365.32/1365.82	c 1365s |      23 |  3322812 |  2628138 |     2510   2478 |        0 |        0
1367.33/1367.83	c 1367s |      23 |  3326777 |  2631238 |     2510   2480 |        0 |        0
1369.33/1369.86	c 1369s |      23 |  3331459 |  2634638 |     2510   2483 |        0 |        0
1371.33/1371.87	c 1371s |      23 |  3335119 |  2637738 |     2510   2485 |        0 |        0
1373.32/1373.90	c 1373s |      23 |  3338420 |  2640638 |     2510   2487 |        0 |        0
1375.42/1375.95	c 1375s |      23 |  3341534 |  2643338 |     2510   2489 |        0 |        0
1377.42/1377.95	c 1377s |      23 |  3344809 |  2645938 |     2510   2491 |        0 |        0
1379.42/1379.98	c 1379s |      23 |  3348279 |  2648938 |     2510   2493 |        0 |        0
1381.52/1382.06	c 1382s |      23 |  3351593 |  2651838 |     2510   2495 |        0 |        0
1383.62/1384.13	c 1384s |      23 |  3354722 |  2654538 |     2510   2497 |        0 |        0
1385.62/1386.18	c 1386s |      23 |  3358591 |  2657238 |     2510   2499 |        0 |        0
1387.72/1388.24	c 1388s |      23 |  3362753 |  2660538 |     2510   2502 |        0 |        0
1389.71/1390.29	c 1390s |      23 |  3366572 |  2663538 |     2510   2504 |        0 |        0
1391.81/1392.33	c 1392s |      23 |  3370333 |  2666438 |     2510   2506 |        0 |        0
1393.91/1394.40	c 1394s |      23 |  3373558 |  2669038 |     2510   2508 |        0 |        0
1395.91/1396.41	c 1396s |      23 |  3376846 |  2671738 |     2510   2510 |        0 |        0
1398.01/1398.50	c 1398s |      23 |  3379519 |  2674038 |     2510   2511 |        0 |        0
1400.01/1400.53	c 1400s |      23 |  3382645 |  2676338 |     2510   2513 |        0 |        0
1402.01/1402.53	c 1402s |      23 |  3385861 |  2678838 |     2510   2515 |        0 |        0
1404.11/1404.60	c 1404s |      23 |  3389106 |  2681238 |     2510   2517 |        0 |        0
1406.11/1406.66	c 1406s |      23 |  3392229 |  2683738 |     2510   2518 |        0 |        0
1408.21/1408.71	c 1408s |      23 |  3395195 |  2686238 |     2510   2520 |        0 |        0
1410.21/1410.73	c 1410s |      23 |  3398246 |  2688838 |     2510   2522 |        0 |        0
1412.20/1412.78	c 1412s |      23 |  3401481 |  2691638 |     2510   2524 |        0 |        0
1414.30/1414.84	c 1414s |      23 |  3404593 |  2694338 |     2510   2526 |        0 |        0
1416.31/1416.89	c 1416s |      23 |  3407712 |  2697038 |     2510   2528 |        0 |        0
1418.40/1418.95	c 1418s |      23 |  3410586 |  2699538 |     2510   2530 |        0 |        0
1420.50/1421.03	c 1421s |      23 |  3413334 |  2701938 |     2510   2532 |        0 |        0
1422.60/1423.10	c 1423s |      23 |  3415784 |  2704138 |     2510   2533 |        0 |        0
1424.60/1425.18	c 1425s |      23 |  3418437 |  2706438 |     2510   2535 |        0 |        0
1426.70/1427.28	c 1427s |      23 |  3420554 |  2708338 |     2510   2536 |        0 |        0
1428.80/1429.31	c 1429s |      23 |  3423542 |  2710838 |     2510   2538 |        0 |        0
1430.79/1431.37	c 1431s |      23 |  3427311 |  2713938 |     2510   2540 |        0 |        0
1432.90/1433.48	c 1433s |      23 |  3430800 |  2716838 |     2510   2543 |        0 |        0
1435.00/1435.54	c 1435s |      23 |  3434311 |  2719738 |     2510   2545 |        0 |        0
1436.99/1437.56	c 1437s |      23 |  3437806 |  2722438 |     2510   2547 |        0 |        0
1438.99/1439.57	c 1439s |      23 |  3441157 |  2725338 |     2510   2549 |        0 |        0
1441.09/1441.62	c 1441s |      23 |  3444601 |  2728038 |     2510   2551 |        0 |        0
1443.09/1443.64	c 1443s |      23 |  3448153 |  2730938 |     2510   2553 |        0 |        0
1445.09/1445.65	c 1445s |      23 |  3451840 |  2733638 |     2510   2555 |        0 |        0
1447.10/1447.66	c 1447s |      23 |  3454987 |  2736338 |     2510   2557 |        0 |        0
1449.09/1449.69	c 1449s |      23 |  3459520 |  2739238 |     2510   2559 |        0 |        0
1451.08/1451.69	c 1451s |      23 |  3463153 |  2742438 |     2510   2561 |        0 |        0
1453.08/1453.69	c 1453s |      23 |  3466187 |  2745138 |     2510   2563 |        0 |        0
1455.18/1455.72	c 1455s |      23 |  3469397 |  2747538 |     2510   2565 |        0 |        0
1457.18/1457.77	c 1457s |      23 |  3472923 |  2750438 |     2510   2567 |        0 |        0
1459.29/1459.82	c 1459s |      23 |  3476278 |  2753238 |     2510   2569 |        0 |        0
1461.28/1461.87	c 1461s |      23 |  3479454 |  2756038 |     2510   2571 |        0 |        0
1463.28/1463.88	c 1463s |      23 |  3482659 |  2758838 |     2510   2573 |        0 |        0
1465.39/1465.90	c 1465s |      23 |  3485631 |  2761438 |     2510   2575 |        0 |        0
1467.39/1467.92	c 1467s |      23 |  3488086 |  2763638 |     2510   2577 |        0 |        0
1469.38/1469.93	c 1469s |      23 |  3490751 |  2766038 |     2510   2578 |        0 |        0
1471.39/1471.95	c 1471s |      23 |  3493296 |  2768338 |     2510   2580 |        0 |        0
1473.38/1473.99	c 1473s |      23 |  3497746 |  2771638 |     2510   2582 |        0 |        0
1475.48/1476.02	c 1476s |      23 |  3501779 |  2774638 |     2510   2585 |        0 |        0
1477.48/1478.03	c 1478s |      23 |  3505052 |  2777538 |     2510   2587 |        0 |        0
1479.48/1480.06	c 1480s |      23 |  3508071 |  2780038 |     2510   2589 |        0 |        0
1481.58/1482.11	c 1482s |      23 |  3511480 |  2782938 |     2510   2591 |        0 |        0
1483.68/1484.20	c 1484s |      23 |  3514851 |  2785738 |     2510   2593 |        0 |        0
1485.68/1486.28	c 1486s |      23 |  3518218 |  2788338 |     2510   2595 |        0 |        0
1487.68/1488.29	c 1488s |      23 |  3521670 |  2790938 |     2510   2596 |        0 |        0
1489.78/1490.35	c 1490s |      23 |  3524890 |  2793538 |     2510   2598 |        0 |        0
1491.78/1492.37	c 1492s |      23 |  3527658 |  2795838 |     2510   2600 |        0 |        0
1493.78/1494.37	c 1494s |      23 |  3530835 |  2798438 |     2510   2602 |        0 |        0
1495.78/1496.39	c 1496s |      23 |  3533927 |  2800838 |     2510   2604 |        0 |        0
1497.79/1498.39	c 1498s |      23 |  3537857 |  2804138 |     2510   2606 |        0 |        0
1499.88/1500.41	c 1500s |      23 |  3540958 |  2806838 |     2510   2608 |        0 |        0
1501.88/1502.45	c 1502s |      23 |  3544951 |  2809638 |     2510   2610 |        0 |        0
1503.88/1504.49	c 1504s |      23 |  3548333 |  2812438 |     2510   2612 |        0 |        0
1505.98/1506.56	c 1506s |      23 |  3551665 |  2815138 |     2510   2614 |        0 |        0
1507.97/1508.56	c 1508s |      23 |  3555141 |  2817838 |     2510   2616 |        0 |        0
1510.07/1510.61	c 1510s |      23 |  3558173 |  2820338 |     2510   2618 |        0 |        0
1512.08/1512.63	c 1512s |      23 |  3561505 |  2822838 |     2510   2620 |        0 |        0
1514.07/1514.64	c 1514s |      23 |  3564113 |  2825038 |     2510   2621 |        0 |        0
1516.07/1516.66	c 1516s |      23 |  3566767 |  2827438 |     2510   2623 |        0 |        0
1518.17/1518.72	c 1518s |      23 |  3570092 |  2830138 |     2510   2625 |        0 |        0
1520.27/1520.80	c 1520s |      23 |  3572736 |  2832438 |     2510   2627 |        0 |        0
1522.27/1522.88	c 1522s |      23 |  3575246 |  2834638 |     2510   2628 |        0 |        0
1524.27/1524.88	c 1524s |      23 |  3578108 |  2836938 |     2510   2630 |        0 |        0
1526.28/1526.89	c 1526s |      23 |  3581741 |  2840038 |     2510   2632 |        0 |        0
1528.38/1528.93	c 1528s |      23 |  3585845 |  2843538 |     2510   2635 |        0 |        0
1530.38/1530.94	c 1530s |      23 |  3589420 |  2846638 |     2510   2637 |        0 |        0
1532.38/1532.97	c 1532s |      23 |  3593022 |  2849738 |     2510   2639 |        0 |        0
1534.47/1535.00	c 1534s |      23 |  3596515 |  2852638 |     2510   2642 |        0 |        0
1536.47/1537.08	c 1537s |      23 |  3600159 |  2855738 |     2510   2644 |        0 |        0
1538.57/1539.11	c 1539s |      23 |  3603790 |  2858738 |     2510   2646 |        0 |        0
1540.58/1541.15	c 1541s |      23 |  3607054 |  2861538 |     2510   2648 |        0 |        0
1542.67/1543.22	c 1543s |      23 |  3610356 |  2864438 |     2510   2650 |        0 |        0
1544.67/1545.27	c 1545s |      23 |  3613575 |  2867238 |     2510   2652 |        0 |        0
1546.77/1547.35	c 1547s |      23 |  3616770 |  2870038 |     2510   2654 |        0 |        0
1548.87/1549.41	c 1549s |      23 |  3619642 |  2872538 |     2510   2656 |        0 |        0
1550.87/1551.44	c 1551s |      23 |  3622352 |  2874838 |     2510   2658 |        0 |        0
1552.87/1553.45	c 1553s |      23 |  3625508 |  2877538 |     2510   2660 |        0 |        0
1554.88/1555.50	c 1555s |      23 |  3628754 |  2880238 |     2510   2662 |        0 |        0
1556.97/1557.54	c 1557s |      23 |  3631969 |  2882938 |     2510   2664 |        0 |        0
1558.97/1559.56	c 1559s |      23 |  3636095 |  2886538 |     2510   2666 |        0 |        0
1560.97/1561.57	c 1561s |      23 |  3639773 |  2889838 |     2510   2669 |        0 |        0
1563.07/1563.65	c 1563s |      23 |  3643533 |  2892938 |     2510   2671 |        0 |        0
1565.17/1565.70	c 1565s |      23 |  3647141 |  2895638 |     2510   2673 |        0 |        0
1567.17/1567.73	c 1567s |      23 |  3650524 |  2898638 |     2510   2675 |        0 |        0
1569.17/1569.77	c 1569s |      23 |  3653374 |  2901238 |     2510   2677 |        0 |        0
1571.27/1571.82	c 1571s |      23 |  3656539 |  2904038 |     2510   2679 |        0 |        0
1573.26/1573.85	c 1573s |      23 |  3660196 |  2907338 |     2510   2682 |        0 |        0
1575.36/1575.90	c 1575s |      23 |  3664432 |  2911138 |     2510   2685 |        0 |        0
1577.37/1577.93	c 1577s |      23 |  3668425 |  2914738 |     2510   2687 |        0 |        0
1579.37/1579.98	c 1579s |      23 |  3672427 |  2918338 |     2510   2690 |        0 |        0
1581.47/1582.04	c 1582s |      23 |  3676727 |  2921838 |     2510   2693 |        0 |        0
1583.47/1584.08	c 1584s |      23 |  3680999 |  2924838 |     2510   2695 |        0 |        0
1585.57/1586.10	c 1586s |      23 |  3685745 |  2928738 |     2510   2698 |        0 |        0
1587.57/1588.15	c 1588s |      23 |  3689952 |  2932338 |     2510   2700 |        0 |        0
1589.67/1590.20	c 1590s |      23 |  3693872 |  2935738 |     2510   2703 |        0 |        0
1591.67/1592.24	c 1592s |      23 |  3697790 |  2939138 |     2510   2705 |        0 |        0
1593.66/1594.29	c 1594s |      23 |  3701506 |  2942438 |     2510   2707 |        0 |        0
1595.76/1596.34	c 1596s |      23 |  3704587 |  2945238 |     2510   2710 |        0 |        0
1597.77/1598.34	c 1598s |      23 |  3708006 |  2948238 |     2510   2712 |        0 |        0
1599.76/1600.38	c 1600s |      23 |  3711523 |  2951338 |     2510   2714 |        0 |        0
1601.86/1602.44	c 1602s |      23 |  3715305 |  2954638 |     2510   2716 |        0 |        0
1603.86/1604.45	c 1604s |      23 |  3718709 |  2957638 |     2510   2718 |        0 |        0
1605.96/1606.52	c 1606s |      23 |  3722033 |  2960538 |     2510   2721 |        0 |        0
1607.96/1608.56	c 1608s |      23 |  3725904 |  2963838 |     2510   2723 |        0 |        0
1610.06/1610.62	c 1610s |      23 |  3729546 |  2966938 |     2510   2725 |        0 |        0
1612.07/1612.62	c 1612s |      23 |  3732615 |  2969538 |     2510   2727 |        0 |        0
1614.06/1614.64	c 1614s |      23 |  3735855 |  2972338 |     2510   2729 |        0 |        0
1616.16/1616.70	c 1616s |      23 |  3739377 |  2975338 |     2510   2731 |        0 |        0
1618.16/1618.70	c 1618s |      23 |  3742949 |  2978438 |     2510   2734 |        0 |        0
1620.16/1620.74	c 1620s |      23 |  3746701 |  2981738 |     2510   2736 |        0 |        0
1622.16/1622.75	c 1622s |      23 |  3750463 |  2984938 |     2510   2738 |        0 |        0
1624.26/1624.81	c 1624s |      23 |  3753867 |  2987938 |     2510   2741 |        0 |        0
1626.26/1626.85	c 1626s |      23 |  3757281 |  2990938 |     2510   2743 |        0 |        0
1628.36/1628.90	c 1628s |      23 |  3760580 |  2993838 |     2510   2745 |        0 |        0
1630.35/1630.96	c 1630s |      23 |  3763674 |  2996638 |     2510   2747 |        0 |        0
1632.35/1632.98	c 1632s |      23 |  3766760 |  2999338 |     2510   2749 |        0 |        0
1634.45/1635.01	c 1634s |      23 |  3770524 |  3002638 |     2510   2751 |        0 |        0
1636.45/1637.04	c 1637s |      23 |  3774712 |  3006138 |     2510   2754 |        0 |        0
1638.46/1639.05	c 1639s |      23 |  3778147 |  3009138 |     2510   2756 |        0 |        0
1640.46/1641.06	c 1641s |      23 |  3781811 |  3012238 |     2510   2758 |        0 |        0
1642.56/1643.10	c 1643s |      23 |  3784995 |  3014938 |     2510   2760 |        0 |        0
1644.56/1645.16	c 1645s |      23 |  3788867 |  3018238 |     2510   2763 |        0 |        0
1646.56/1647.20	c 1647s |      23 |  3792705 |  3021538 |     2510   2765 |        0 |        0
1648.66/1649.21	c 1649s |      23 |  3796646 |  3024938 |     2510   2767 |        0 |        0
1650.66/1651.26	c 1651s |      23 |  3800421 |  3028238 |     2510   2770 |        0 |        0
1652.76/1653.31	c 1653s |      23 |  3803896 |  3031238 |     2510   2772 |        0 |        0
1654.75/1655.34	c 1655s |      23 |  3807409 |  3034338 |     2510   2774 |        0 |        0
1656.75/1657.39	c 1657s |      23 |  3810440 |  3036938 |     2510   2776 |        0 |        0
1658.85/1659.42	c 1659s |      23 |  3813730 |  3039838 |     2510   2778 |        0 |        0
1660.85/1661.46	c 1661s |      23 |  3817040 |  3042738 |     2510   2780 |        0 |        0
1662.85/1663.47	c 1663s |      23 |  3820596 |  3045838 |     2510   2783 |        0 |        0
1664.86/1665.49	c 1665s |      23 |  3824139 |  3048938 |     2510   2785 |        0 |        0
1666.96/1667.56	c 1667s |      23 |  3827578 |  3052038 |     2510   2787 |        0 |        0
1669.06/1669.62	c 1669s |      23 |  3830951 |  3055038 |     2510   2789 |        0 |        0
1671.06/1671.62	c 1671s |      23 |  3834645 |  3058238 |     2510   2792 |        0 |        0
1673.05/1673.64	c 1673s |      23 |  3838306 |  3061438 |     2510   2794 |        0 |        0
1675.15/1675.72	c 1675s |      23 |  3841524 |  3064338 |     2510   2796 |        0 |        0
1677.15/1677.73	c 1677s |      23 |  3844575 |  3067038 |     2510   2798 |        0 |        0
1679.16/1679.75	c 1679s |      23 |  3847787 |  3069838 |     2510   2800 |        0 |        0
1681.25/1681.82	c 1681s |      23 |  3850832 |  3072538 |     2510   2802 |        0 |        0
1683.25/1683.89	c 1683s |      23 |  3853891 |  3075238 |     2510   2804 |        0 |        0
1685.35/1685.91	c 1685s |      23 |  3856643 |  3077638 |     2510   2806 |        0 |        0
1687.35/1687.97	c 1687s |      23 |  3859934 |  3080438 |     2510   2808 |        0 |        0
1689.45/1690.02	c 1690s |      23 |  3862898 |  3083138 |     2510   2810 |        0 |        0
1691.45/1692.03	c 1692s |      23 |  3866251 |  3086138 |     2510   2812 |        0 |        0
1693.45/1694.07	c 1694s |      23 |  3869507 |  3088938 |     2510   2814 |        0 |        0
1695.55/1696.17	c 1696s |      23 |  3872094 |  3091238 |     2510   2816 |        0 |        0
1697.55/1698.18	c 1698s |      23 |  3874923 |  3093738 |     2510   2817 |        0 |        0
1699.64/1700.23	c 1700s |      23 |  3877630 |  3096138 |     2510   2819 |        0 |        0
1701.64/1702.25	c 1702s |      23 |  3880642 |  3098738 |     2510   2821 |        0 |        0
1703.74/1704.31	c 1704s |      23 |  3883552 |  3101338 |     2510   2823 |        0 |        0
1705.74/1706.34	c 1706s |      23 |  3887066 |  3104338 |     2510   2825 |        0 |        0
1707.85/1708.41	c 1708s |      23 |  3890845 |  3107338 |     2510   2827 |        0 |        0
1709.84/1710.41	c 1710s |      23 |  3893784 |  3109938 |     2510   2829 |        0 |        0
1711.84/1712.42	c 1712s |      23 |  3897049 |  3112838 |     2510   2831 |        0 |        0
1713.84/1714.47	c 1714s |      23 |  3900510 |  3115938 |     2510   2834 |        0 |        0
1715.85/1716.49	c 1716s |      23 |  3903832 |  3118938 |     2510   2836 |        0 |        0
1717.95/1718.50	c 1718s |      23 |  3907023 |  3121838 |     2510   2838 |        0 |        0
1719.95/1720.55	c 1720s |      23 |  3911064 |  3125238 |     2510   2840 |        0 |        0
1721.94/1722.58	c 1722s |      23 |  3914857 |  3128538 |     2510   2843 |        0 |        0
1724.04/1724.64	c 1724s |      23 |  3918005 |  3131338 |     2510   2845 |        0 |        0
1726.05/1726.67	c 1726s |      23 |  3921958 |  3134738 |     2510   2847 |        0 |        0
1728.05/1728.69	c 1728s |      23 |  3925321 |  3137638 |     2510   2849 |        0 |        0
1730.15/1730.74	c 1730s |      23 |  3929093 |  3140838 |     2510   2852 |        0 |        0
1732.14/1732.74	c 1732s |      23 |  3932264 |  3143538 |     2510   2854 |        0 |        0
1734.15/1734.76	c 1734s |      23 |  3935210 |  3146138 |     2510   2856 |        0 |        0
1736.24/1736.82	c 1736s |      23 |  3939362 |  3149638 |     2510   2858 |        0 |        0
1738.24/1738.85	c 1738s |      23 |  3942928 |  3152738 |     2510   2860 |        0 |        0
1740.24/1740.87	c 1740s |      23 |  3946452 |  3155738 |     2510   2863 |        0 |        0
1742.24/1742.88	c 1742s |      23 |  3949727 |  3158638 |     2510   2865 |        0 |        0
1744.34/1744.94	c 1744s |      23 |  3953217 |  3161738 |     2510   2867 |        0 |        0
1746.35/1746.94	c 1746s |      23 |  3957074 |  3164838 |     2510   2869 |        0 |        0
1748.34/1748.95	c 1748s |      23 |  3961026 |  3168238 |     2510   2872 |        0 |        0
1750.44/1751.00	c 1750s |      23 |  3964257 |  3171138 |     2510   2874 |        0 |        0
1752.43/1753.01	c 1752s |      23 |  3967143 |  3173738 |     2510   2876 |        0 |        0
1754.44/1755.08	c 1755s |      23 |  3970063 |  3176338 |     2510   2878 |        0 |        0
1756.54/1757.10	c 1757s |      23 |  3972770 |  3178738 |     2510   2879 |        0 |        0
1758.54/1759.12	c 1759s |      23 |  3975980 |  3181538 |     2510   2881 |        0 |        0
1760.55/1761.18	c 1761s |      23 |  3979721 |  3184738 |     2510   2884 |        0 |        0
1762.54/1763.19	c 1763s |      23 |  3983154 |  3187738 |     2510   2886 |        0 |        0
1764.64/1765.21	c 1765s |      23 |  3986597 |  3190738 |     2510   2888 |        0 |        0
1766.64/1767.22	c 1767s |      23 |  3989928 |  3193638 |     2510   2890 |        0 |        0
1768.64/1769.27	c 1769s |      23 |  3993288 |  3196538 |     2510   2892 |        0 |        0
1770.64/1771.28	c 1771s |      23 |  3996814 |  3199638 |     2510   2894 |        0 |        0
1772.74/1773.33	c 1773s |      23 |  3999991 |  3202438 |     2510   2897 |        0 |        0
1774.73/1775.39	c 1775s |      23 |  4003371 |  3205238 |     2510   2899 |        0 |        0
1776.83/1777.47	c 1777s |      23 |  4006564 |  3208038 |     2510   2901 |        0 |        0
1778.93/1779.50	c 1779s |      23 |  4009763 |  3210838 |     2510   2903 |        0 |        0
1780.93/1781.50	c 1781s |      23 |  4012840 |  3213538 |     2510   2905 |        0 |        0
1782.93/1783.50	c 1783s |      23 |  4015703 |  3216138 |     2510   2906 |        0 |        0
1784.93/1785.55	c 1785s |      23 |  4018652 |  3218738 |     2510   2908 |        0 |        0
1786.94/1787.59	c 1787s |      23 |  4021717 |  3221438 |     2510   2910 |        0 |        0
1788.93/1789.59	c 1789s |      23 |  4024538 |  3223938 |     2510   2912 |        0 |        0
1791.03/1791.60	c 1791s |      23 |  4027816 |  3226838 |     2510   2914 |        0 |        0
1793.03/1793.64	c 1793s |      23 |  4030756 |  3229438 |     2510   2916 |        0 |        0
1795.03/1795.68	c 1795s |      23 |  4034200 |  3232338 |     2510   2918 |        0 |        0
1797.13/1797.74	c 1797s |      23 |  4037427 |  3235238 |     2510   2920 |        0 |        0
1799.13/1799.76	c 1799s |      23 |  4040929 |  3238338 |     2510   2922 |        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-4078599-1465220659/watcher-4078599-1465220659 -o /tmp/evaluation-result-4078599-1465220659/solver-4078599-1465220659 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078599-1465220659.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4737
/proc/meminfo: memFree=30794776/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 2945 0 0 0 0 0 0 0 20 0 4 0 104000565 804712448 2795 33554432000 4194304 16246674 140735701349952 140735701349376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 197231 2804 441 2943 0 194125 0
[pid=4737/tid=4738] ppid=4734 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 823586816 2868 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 828829696 2884 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000565 833024000 2902 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4737
/proc/meminfo: memFree=30794776/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 30773 0 0 0 5 4 0 0 20 0 4 0 104000565 1247350784 30613 33554432000 4194304 16246674 140735701349952 140735701331840 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 304529 30619 703 2943 0 301423 0
[pid=4737/tid=4738] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 30627 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 30635 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 30643 33554432000 4194304 16246674 140735701349952 139984712486064 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.200524 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4737
/proc/meminfo: memFree=30794776/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 61638 0 0 0 11 8 0 0 20 0 4 0 104000565 1247350784 61478 33554432000 4194304 16246674 140735701349952 140735701331840 6011022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 304529 61490 711 2943 0 301423 0
[pid=4737/tid=4738] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 61497 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 61502 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 61508 33554432000 4194304 16246674 140735701349952 139984712486064 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.300482 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4737
/proc/meminfo: memFree=30794776/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 90920 0 0 0 17 12 0 0 20 0 4 0 104000565 1247350784 90759 33554432000 4194304 16246674 140735701349952 140735701331840 5667979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 304529 90769 711 2943 0 301423 0
[pid=4737/tid=4738] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 90776 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 90787 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 90799 33554432000 4194304 16246674 140735701349952 139984712486064 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.700413 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4737
/proc/meminfo: memFree=30794776/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 209509 0 0 0 42 26 0 0 20 0 4 0 104000565 1247350784 209349 33554432000 4194304 16246674 140735701349952 140735701331840 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 304529 209366 711 2943 0 301423 0
[pid=4737/tid=4738] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 209380 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 209392 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000565 1247350784 209401 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.29 1.56 1.75 3/183 4741
/proc/meminfo: memFree=29811796/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 267180 0 0 0 115 34 0 0 20 0 4 0 104000565 1336479744 266999 33554432000 4194304 16246674 140735701349952 140735701331840 5721984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 326289 266999 786 2943 0 323183 0
[pid=4737/tid=4738] ppid=4734 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1336479744 266999 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1336479744 266999 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1336479744 266999 33554432000 4194304 16246674 140735701349952 139984712486064 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.10043 s]
/proc/loadavg: 1.29 1.56 1.75 3/183 4741
/proc/meminfo: memFree=29724748/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 267519 0 0 0 274 35 0 0 20 0 4 0 104000565 1337528320 267338 33554432000 4194304 16246674 140735701349952 140735701331840 7249814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 326545 267338 787 2943 0 323439 0
[pid=4737/tid=4738] ppid=4734 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1337528320 267338 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1337528320 267338 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1337528320 267338 33554432000 4194304 16246674 140735701349952 139984712486064 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.30043 s]
/proc/loadavg: 1.35 1.57 1.75 3/183 4741
/proc/meminfo: memFree=29724120/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 267815 0 0 0 594 35 0 0 20 0 4 0 104000565 1338576896 267634 33554432000 4194304 16246674 140735701349952 140735701331840 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 326801 267634 788 2943 0 323695 0
[pid=4737/tid=4738] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267634 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267634 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267634 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.40 1.58 1.75 3/183 4741
/proc/meminfo: memFree=29725836/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 267829 0 0 0 1233 36 0 0 20 0 4 0 104000565 1338576896 267648 33554432000 4194304 16246674 140735701349952 140735701332952 5546085 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 326801 267648 790 2943 0 323695 0
[pid=4737/tid=4738] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267648 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267648 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267648 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.53 1.60 1.76 3/183 4741
/proc/meminfo: memFree=29725444/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 267830 0 0 0 2512 37 0 0 20 0 4 0 104000565 1338576896 267649 33554432000 4194304 16246674 140735701349952 140735701331840 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 326801 267649 791 2943 0 323695 0
[pid=4737/tid=4738] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267649 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267649 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1338576896 267649 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.69 1.63 1.76 3/183 4741
/proc/meminfo: memFree=29716396/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 268069 0 0 0 5069 39 0 0 20 0 4 0 104000565 1339625472 267888 33554432000 4194304 16246674 140735701349952 140735701331840 5823139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 327057 267888 791 2943 0 323951 0
[pid=4737/tid=4738] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267888 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267888 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267888 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.86 1.68 1.77 3/183 4742
/proc/meminfo: memFree=29716416/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 268075 0 0 0 10186 42 0 0 20 0 4 0 104000565 1339625472 267894 33554432000 4194304 16246674 140735701349952 140735701331840 5523456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 327057 267894 791 2943 0 323951 0
[pid=4737/tid=4738] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267894 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267894 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1339625472 267894 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 1.95 3/183 4795
/proc/meminfo: memFree=29661344/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1301.86 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270515 0 0 0 130082 104 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 1.95 3/183 4796
/proc/meminfo: memFree=29661100/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1361.82 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270558 0 0 0 136075 107 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 6022093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 1.96 3/183 4797
/proc/meminfo: memFree=29660892/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1421.81 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270598 0 0 0 142071 110 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 12477900 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.13 2.08 1.97 3/183 4799
/proc/meminfo: memFree=29661824/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1481.78 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 148067 111 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 6842296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.05 2.07 1.97 3/184 4801
/proc/meminfo: memFree=29661280/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1541.78 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 154064 114 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 1.98 3/184 4804
/proc/meminfo: memFree=29661308/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1601.76 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 160061 115 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 1.98 3/183 4805
/proc/meminfo: memFree=29661672/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1661.75 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 166059 116 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5546001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/183 4806
/proc/meminfo: memFree=29659052/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1721.74 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 172056 118 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/182 4807
/proc/meminfo: memFree=29659284/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1781.73 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 178053 120 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.04 1.98 3/183 4857
/proc/meminfo: memFree=30384680/32872528 swapFree=11372/178980
[pid=4737] ppid=4734 vsize=1316420 CPUtime=1800.03 cores=0,2,4,6
/proc/4737/stat : 4737 (toysat) R 4734 4737 4590 0 -1 4202496 270609 0 0 0 179883 120 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 140735701331840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4737/statm: 329105 270211 792 2943 0 325999 0
[pid=4737/tid=4738] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4738/stat : 4738 (toysat) S 4734 4737 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984733449456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4737/tid=4739] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (toysat) S 4734 4737 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984722959600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4737/tid=4740] ppid=4734 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (toysat) S 4734 4737 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104000565 1348014080 270211 33554432000 4194304 16246674 140735701349952 139984712486064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1316420

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 4737 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.05
CPU user time (s): 1798.84
CPU system time (s): 1.20982
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.20982
maximum resident set size= 1080844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270609
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= 487
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72428 second user time and 6.80297 second system time

The end

Begin job on node105 at 2016-06-06 15:44:19
IDJOB=4078599
IDBENCH=1407
IDSOLVER=2542
FILE ID=node105/4078599-1465220659
RUNJOBID= node105-1465220657-4606
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078599-1465220659/watcher-4078599-1465220659 -o /tmp/evaluation-result-4078599-1465220659/solver-4078599-1465220659 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078599-1465220659.opb

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

MD5SUM BENCH= ddad6b8774f3cb7ea8e2d9ff3a650623
RANDOM SEED=1965193370

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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.813
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.813
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30795420 kB
Buffers:            9772 kB
Cached:           110680 kB
SwapCached:         1764 kB
Active:          1166248 kB
Inactive:          27440 kB
Active(anon):    1073976 kB
Inactive(anon):     1504 kB
Active(file):      92272 kB
Inactive(file):    25936 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             32864 kB
Writeback:             0 kB
AnonPages:       1254268 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             568856 kB
SReclaimable:      11660 kB
SUnreclaim:       557196 kB
KernelStack:        1520 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1397196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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= 71716 MiB
End job on node105 at 2016-06-06 16:14:20