0.00/0.00	c 2016-06-15T23:23:02+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-4089351-1466025782.opb"]
0.00/0.01	c use --random-gen="2176773243 373085090 2380523586 4162993710 2835969709 2228828069 3822676909 613510462 2853120022 2062700644 1862322130 665982455 1012570853 2733391508 1399964647 3524776147 2186112145 4096685009 919508968 2586331171 2091432668 2619252175 4218824621 4188644133 911634890 1946203641 2474405325 1392855077 1165933619 1215213197 813699485 3915973220 1312423824 1787573701 3842677356 2176225423 3064613067 1727045506 3586917563 1963642354 1025273887 473257482 1601246215 577153355 2731796340 788391029 822630081 798710082 12933697 1056083553 2719178835 1304698888 608299527 892745733 2007462870 3348058942 500608986 2966400106 1978952928 1937257009 2315930771 3961316634 1525642837 815947340 3084135097 3434187556 3933669150 3238956608 2910028742 3775867767 1552186332 47413933 122667917 3042214500 83218211 6633563 1560891364 1844534376 508485915 1320012975 1284085627 4040317136 2493757194 321003517 2837003162 671150278 4187092545 2096704518 2453132522 323158495 1791071667 3799989827 4199144380 679737651 1965480486 2800158687 829709449 3867563990 1991393267 3482348216 1946566198 3876712083 686724395 895485928 1421769585 3783228719 1940027058 1917194415 3276778464 2949004510 797981980 3047780430 81332975 1744352138 1943057335 30438212 3689196889 2538945632 1084648003 971258490 4278297587 2674158340 2441816704 2592998546 482687731 3679858052 3948342816 2814031586 4018323420 1230640336 2605622253 3451562196 3568877332 3263666163 3300681942 1569530554 1083914105 3578355845 2466216841 2093335985 599873568 3186745805 1597416483 512238538 2371034013 3671758713 1634997257 85725888 1780683477 1911237017 1880360046 3912779592 1464240044 1561447067 4071937021 1810921453 306456065 982237569 1878392 21871077 1355965880 1470998693 2512518468 1905300174 2467699198 2276045853 553939228 1999795915 579356468 1322529900 1410787646 1700320395 441235595 59500691 3591661232 740023226 1768693697 2900480915 3239025054 3598552505 3002465754 4256536823 1258589271 1462660163 1507478503 2958455668 432627537 295293555 1175523898 2896776615 953611615 1967181872 125786652 3567812792 709060303 3150149787 3274584771 1036588914 4163353438 3838131546 2472374298 556006237 3559731618 254018438 3381047849 3622709858 445475465 712476987 768775413 2189964036 45370083 4110502152 2944808620 658883657 1036852559 544413643 4104102301 2882335052 2769499902 3243801253 3929609533 2727076170 1019585239 1084394143 1774862308 2212437395 1191533248 343472994 3002681694 3330930182 965098541 2647283749 3550609120 718144002 417365121 2613322889 2535365938 2974991982 3187913041 900238946 1175190855 1356292310 3548192989 1711147988 1067010549 1550321505 1148447091 4172359850 1572626249 3910286938 1104441585 3156812571 3566490517 3628214492 878619901 439521566 255 362436" option to reproduce the execution
0.00/0.01	c #vars 230
0.00/0.01	c #constraints 461
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      230      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      210 |      100 |      230      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      473 |      250 |      254      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |      800 |      475 |      280      1 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1242 |      813 |      308      2 |        0 |        0
0.28/0.46	c  0.4s |       5 |     1854 |     1320 |      339      5 |        0 |        0
0.68/0.72	c  0.7s |       6 |     2729 |     2081 |      411      8 |        0 |        0
0.99/1.03	c  1.0s |       7 |     3979 |     3223 |      453     12 |        0 |        0
1.39/1.45	c  1.4s |       8 |     5809 |     4936 |      499     18 |        0 |        0
1.98/2.06	c  2.0s |       9 |     8496 |     7506 |      549     26 |        0 |        0
2.89/2.96	c  2.9s |      10 |    12494 |    11361 |      604     38 |        0 |        0
4.29/4.30	c  4.3s |      11 |    18474 |    17144 |      665     54 |        0 |        0
6.29/6.31	c  6.3s |      11 |    26739 |    25244 |      665     75 |        0 |        0
6.39/6.45	c  6.4s |      12 |    27319 |    25819 |      732     76 |        0 |        0
8.39/8.47	c  8.5s |      12 |    35384 |    33719 |      732     95 |        0 |        0
9.69/9.74	c  9.7s |      13 |    40552 |    38832 |      806    107 |        0 |        0
11.69/11.75	c 11.7s |      13 |    48817 |    46932 |      806    125 |        0 |        0
13.68/13.77	c 13.8s |      13 |    57005 |    55032 |      806    142 |        0 |        0
14.49/14.58	c 14.6s |      14 |    60362 |    58352 |      887    149 |        0 |        0
16.48/16.60	c 16.6s |      14 |    68477 |    66252 |      887    165 |        0 |        0
18.58/18.63	c 18.6s |      14 |    76649 |    74352 |      887    182 |        0 |        0
20.58/20.63	c 20.6s |      14 |    84551 |    82152 |      887    197 |        0 |        0
21.98/22.07	c 22.0s |      15 |    90067 |    87632 |      976    208 |        0 |        0
23.98/24.10	c 24.1s |      15 |    98657 |    96032 |      976    224 |        0 |        0
26.09/26.12	c 26.1s |      15 |   106965 |   104232 |      976    239 |        0 |        0
28.09/28.12	c 28.1s |      15 |   115102 |   112232 |      976    253 |        0 |        0
30.09/30.13	c 30.1s |      15 |   123267 |   120232 |      976    268 |        0 |        0
32.09/32.14	c 32.1s |      15 |   131119 |   127932 |      976    282 |        0 |        0
33.09/33.12	c 33.1s |      16 |   134781 |   131552 |     1074    289 |        0 |        0
35.08/35.14	c 35.1s |      16 |   142586 |   139152 |     1074    302 |        0 |        0
37.08/37.16	c 37.1s |      16 |   150228 |   146652 |     1074    315 |        0 |        0
39.08/39.18	c 39.2s |      16 |   157905 |   154152 |     1074    327 |        0 |        0
41.08/41.19	c 41.2s |      16 |   165323 |   161452 |     1074    340 |        0 |        0
43.09/43.19	c 43.2s |      16 |   172725 |   168752 |     1074    352 |        0 |        0
45.19/45.22	c 45.2s |      16 |   180296 |   176152 |     1074    365 |        0 |        0
47.18/47.23	c 47.2s |      16 |   187534 |   183252 |     1074    377 |        0 |        0
49.18/49.23	c 49.2s |      16 |   195142 |   190752 |     1074    389 |        0 |        0
51.08/51.11	c 51.1s |      17 |   201963 |   197432 |     1182    400 |        0 |        0
53.08/53.11	c 53.1s |      17 |   209595 |   204832 |     1182    412 |        0 |        0
55.08/55.12	c 55.1s |      17 |   216993 |   212132 |     1182    423 |        0 |        0
57.08/57.13	c 57.1s |      17 |   224184 |   219232 |     1182    434 |        0 |        0
59.08/59.15	c 59.1s |      17 |   231621 |   226532 |     1182    445 |        0 |        0
61.08/61.17	c 61.2s |      17 |   239344 |   234032 |     1182    457 |        0 |        0
63.08/63.18	c 63.2s |      17 |   246788 |   241332 |     1182    468 |        0 |        0
65.09/65.19	c 65.2s |      17 |   254009 |   248332 |     1182    479 |        0 |        0
67.08/67.19	c 67.2s |      17 |   261204 |   255432 |     1182    490 |        0 |        0
69.18/69.21	c 69.2s |      17 |   268324 |   262432 |     1182    501 |        0 |        0
71.18/71.23	c 71.2s |      17 |   275524 |   269532 |     1182    512 |        0 |        0
73.18/73.25	c 73.2s |      17 |   282844 |   276732 |     1182    524 |        0 |        0
75.18/75.26	c 75.2s |      17 |   290392 |   284132 |     1182    535 |        0 |        0
77.18/77.26	c 77.2s |      17 |   297840 |   291432 |     1182    546 |        0 |        0
78.57/78.61	c 78.6s |      18 |   302782 |   296252 |     1301    554 |        0 |        0
80.57/80.63	c 80.6s |      18 |   310476 |   303652 |     1301    564 |        0 |        0
82.58/82.64	c 82.6s |      18 |   317828 |   310852 |     1301    574 |        0 |        0
84.57/84.66	c 84.6s |      18 |   325054 |   317952 |     1301    584 |        0 |        0
86.57/86.68	c 86.7s |      18 |   332246 |   325052 |     1301    594 |        0 |        0
88.57/88.69	c 88.7s |      18 |   339351 |   332052 |     1301    604 |        0 |        0
90.67/90.70	c 90.7s |      18 |   346475 |   339052 |     1301    614 |        0 |        0
92.67/92.73	c 92.7s |      18 |   353712 |   346152 |     1301    624 |        0 |        0
94.68/94.76	c 94.7s |      18 |   360958 |   353252 |     1301    635 |        0 |        0
96.68/96.76	c 96.7s |      18 |   367860 |   360052 |     1301    644 |        0 |        0
98.68/98.76	c 98.7s |      18 |   374705 |   366752 |     1301    654 |        0 |        0
100.67/100.77	c  100s |      18 |   382153 |   374052 |     1301    664 |        0 |        0
102.67/102.78	c  102s |      18 |   389501 |   381252 |     1301    674 |        0 |        0
104.68/104.80	c  104s |      18 |   396892 |   388452 |     1301    685 |        0 |        0
106.78/106.81	c  106s |      18 |   404189 |   395552 |     1301    695 |        0 |        0
108.77/108.82	c  108s |      18 |   411321 |   402552 |     1301    705 |        0 |        0
110.77/110.84	c  110s |      18 |   418441 |   409552 |     1301    715 |        0 |        0
112.77/112.87	c  112s |      18 |   425610 |   416552 |     1301    725 |        0 |        0
114.87/114.90	c  114s |      18 |   432746 |   423552 |     1301    735 |        0 |        0
116.87/116.93	c  116s |      18 |   439720 |   430352 |     1301    744 |        0 |        0
118.88/118.95	c  118s |      18 |   447008 |   437452 |     1301    754 |        0 |        0
120.87/120.98	c  120s |      18 |   454004 |   444252 |     1432    764 |        0 |        0
120.97/121.05	c  121s |      19 |   454236 |   444482 |     1432    764 |        0 |        0
122.97/123.05	c  123s |      19 |   461340 |   451282 |     1432    773 |        0 |        0
124.97/125.08	c  125s |      19 |   468652 |   458482 |     1432    782 |        0 |        0
127.06/127.10	c  127s |      19 |   476172 |   465782 |     1432    791 |        0 |        0
129.06/129.10	c  129s |      19 |   483227 |   472682 |     1432    800 |        0 |        0
131.07/131.11	c  131s |      19 |   490170 |   479482 |     1432    809 |        0 |        0
133.06/133.11	c  133s |      19 |   497085 |   486182 |     1432    818 |        0 |        0
135.06/135.12	c  135s |      19 |   503916 |   492882 |     1432    827 |        0 |        0
137.07/137.14	c  137s |      19 |   510811 |   499582 |     1432    835 |        0 |        0
139.07/139.16	c  139s |      19 |   517979 |   506582 |     1432    844 |        0 |        0
141.07/141.18	c  141s |      19 |   525142 |   513582 |     1432    853 |        0 |        0
143.08/143.19	c  143s |      19 |   532076 |   520382 |     1432    862 |        0 |        0
145.07/145.19	c  145s |      19 |   539019 |   527182 |     1432    871 |        0 |        0
147.17/147.20	c  147s |      19 |   545813 |   533782 |     1432    880 |        0 |        0
149.17/149.20	c  149s |      19 |   552573 |   540382 |     1432    888 |        0 |        0
151.17/151.22	c  151s |      19 |   559356 |   546982 |     1432    897 |        0 |        0
153.17/153.24	c  153s |      19 |   566001 |   553482 |     1432    905 |        0 |        0
155.17/155.25	c  155s |      19 |   572864 |   560182 |     1432    914 |        0 |        0
157.17/157.26	c  157s |      19 |   580006 |   567182 |     1432    923 |        0 |        0
159.16/159.28	c  159s |      19 |   586832 |   573882 |     1432    932 |        0 |        0
161.26/161.30	c  161s |      19 |   593805 |   580682 |     1432    940 |        0 |        0
163.26/163.30	c  163s |      19 |   600522 |   587282 |     1432    949 |        0 |        0
165.26/165.33	c  165s |      19 |   607483 |   594082 |     1432    958 |        0 |        0
167.27/167.35	c  167s |      19 |   614222 |   600682 |     1432    966 |        0 |        0
169.26/169.35	c  169s |      19 |   620882 |   607182 |     1432    975 |        0 |        0
171.26/171.35	c  171s |      19 |   627438 |   613582 |     1432    983 |        0 |        0
173.26/173.36	c  173s |      19 |   634105 |   620082 |     1432    992 |        0 |        0
175.26/175.39	c  175s |      19 |   640634 |   626482 |     1432   1000 |        0 |        0
177.27/177.39	c  177s |      19 |   647073 |   632782 |     1432   1008 |        0 |        0
179.36/179.42	c  179s |      19 |   654315 |   639882 |     1432   1017 |        0 |        0
181.35/181.43	c  181s |      19 |   661325 |   646782 |     1432   1026 |        0 |        0
183.36/183.44	c  183s |      19 |   668113 |   653482 |     1432   1035 |        0 |        0
185.36/185.46	c  185s |      19 |   674889 |   660182 |     1432   1044 |        0 |        0
187.36/187.42	c  187s |      20 |   681625 |   666827 |     1576   1051 |        0 |        0
189.37/189.43	c  189s |      20 |   688858 |   673827 |     1576   1060 |        0 |        0
191.36/191.44	c  191s |      20 |   696007 |   680727 |     1576   1068 |        0 |        0
193.36/193.45	c  193s |      20 |   703245 |   687827 |     1576   1076 |        0 |        0
195.36/195.48	c  195s |      20 |   710357 |   694727 |     1576   1085 |        0 |        0
197.46/197.50	c  197s |      20 |   717492 |   701727 |     1576   1093 |        0 |        0
199.46/199.51	c  199s |      20 |   724531 |   708627 |     1576   1101 |        0 |        0
201.46/201.54	c  201s |      20 |   731447 |   715427 |     1576   1109 |        0 |        0
203.46/203.54	c  203s |      20 |   738729 |   722627 |     1576   1118 |        0 |        0
205.45/205.56	c  205s |      20 |   746279 |   730027 |     1576   1126 |        0 |        0
207.45/207.56	c  207s |      20 |   753665 |   737227 |     1576   1135 |        0 |        0
209.45/209.58	c  209s |      20 |   761060 |   744527 |     1576   1143 |        0 |        0
211.45/211.59	c  211s |      20 |   768212 |   751527 |     1576   1152 |        0 |        0
213.56/213.62	c  213s |      20 |   775262 |   758427 |     1576   1160 |        0 |        0
215.55/215.64	c  215s |      20 |   782413 |   765427 |     1576   1168 |        0 |        0
217.55/217.67	c  217s |      20 |   789596 |   772427 |     1576   1177 |        0 |        0
219.55/219.69	c  219s |      20 |   796674 |   779427 |     1576   1185 |        0 |        0
221.65/221.70	c  221s |      20 |   803907 |   786527 |     1576   1193 |        0 |        0
223.65/223.72	c  223s |      20 |   810891 |   793427 |     1576   1201 |        0 |        0
225.66/225.73	c  225s |      20 |   817786 |   800227 |     1576   1210 |        0 |        0
227.65/227.75	c  227s |      20 |   825010 |   807327 |     1576   1218 |        0 |        0
229.65/229.76	c  229s |      20 |   831998 |   814227 |     1576   1226 |        0 |        0
231.65/231.77	c  231s |      20 |   838909 |   821027 |     1576   1234 |        0 |        0
233.65/233.79	c  233s |      20 |   845876 |   827827 |     1576   1242 |        0 |        0
235.75/235.82	c  235s |      20 |   853049 |   834727 |     1576   1251 |        0 |        0
237.75/237.83	c  237s |      20 |   859861 |   841427 |     1576   1258 |        0 |        0
239.75/239.84	c  239s |      20 |   866642 |   848027 |     1576   1266 |        0 |        0
241.75/241.84	c  241s |      20 |   873289 |   854527 |     1576   1274 |        0 |        0
243.75/243.86	c  243s |      20 |   879983 |   861127 |     1576   1282 |        0 |        0
245.75/245.88	c  245s |      20 |   887207 |   868227 |     1576   1290 |        0 |        0
247.74/247.88	c  247s |      20 |   894250 |   875127 |     1576   1298 |        0 |        0
249.76/249.89	c  249s |      20 |   901362 |   882127 |     1576   1307 |        0 |        0
251.75/251.89	c  251s |      20 |   908332 |   889027 |     1576   1315 |        0 |        0
253.85/253.91	c  253s |      20 |   915232 |   895827 |     1576   1323 |        0 |        0
255.85/255.94	c  255s |      20 |   922027 |   902527 |     1576   1331 |        0 |        0
257.85/257.95	c  257s |      20 |   928905 |   909327 |     1576   1339 |        0 |        0
259.85/259.97	c  259s |      20 |   935836 |   916027 |     1576   1347 |        0 |        0
261.96/262.00	c  261s |      20 |   942464 |   922527 |     1576   1355 |        0 |        0
263.95/264.03	c  264s |      20 |   949261 |   929227 |     1576   1363 |        0 |        0
265.95/266.04	c  266s |      20 |   956066 |   935927 |     1576   1371 |        0 |        0
267.95/268.06	c  268s |      20 |   962922 |   942627 |     1576   1378 |        0 |        0
269.95/270.08	c  270s |      20 |   969530 |   949127 |     1576   1386 |        0 |        0
271.95/272.09	c  272s |      20 |   976455 |   955927 |     1576   1394 |        0 |        0
274.05/274.12	c  274s |      20 |   983008 |   962327 |     1576   1402 |        0 |        0
276.05/276.14	c  276s |      20 |   989870 |   969027 |     1576   1410 |        0 |        0
278.05/278.14	c  278s |      20 |   996905 |   975927 |     1576   1418 |        0 |        0
280.05/280.15	c  280s |      20 |  1003696 |   982627 |     1576   1426 |        0 |        0
282.05/282.16	c  282s |      20 |  1010393 |   989227 |     1576   1434 |        0 |        0
284.04/284.17	c  284s |      20 |  1017112 |   995827 |     1734   1441 |        0 |        0
285.44/285.53	c  285s |      21 |  1021697 |  1000345 |     1734   1446 |        0 |        0
287.44/287.53	c  287s |      21 |  1028698 |  1007145 |     1734   1454 |        0 |        0
289.45/289.54	c  289s |      21 |  1035712 |  1014045 |     1734   1461 |        0 |        0
291.44/291.57	c  291s |      21 |  1042512 |  1020745 |     1734   1468 |        0 |        0
293.44/293.59	c  293s |      21 |  1049131 |  1027245 |     1734   1475 |        0 |        0
295.54/295.61	c  295s |      21 |  1056081 |  1034045 |     1734   1483 |        0 |        0
297.54/297.61	c  297s |      21 |  1062804 |  1040645 |     1734   1490 |        0 |        0
299.54/299.63	c  299s |      21 |  1069486 |  1047145 |     1734   1497 |        0 |        0
301.55/301.63	c  301s |      21 |  1076064 |  1053545 |     1734   1504 |        0 |        0
303.54/303.65	c  303s |      21 |  1082960 |  1060245 |     1734   1511 |        0 |        0
305.54/305.67	c  305s |      21 |  1089980 |  1067145 |     1734   1518 |        0 |        0
307.54/307.69	c  307s |      21 |  1096717 |  1073745 |     1734   1526 |        0 |        0
309.64/309.71	c  309s |      21 |  1103408 |  1080245 |     1734   1533 |        0 |        0
311.64/311.72	c  311s |      21 |  1110009 |  1086645 |     1734   1540 |        0 |        0
313.65/313.74	c  313s |      21 |  1116511 |  1093045 |     1734   1547 |        0 |        0
315.64/315.78	c  315s |      21 |  1123113 |  1099545 |     1734   1554 |        0 |        0
317.74/317.81	c  317s |      21 |  1129549 |  1105845 |     1734   1560 |        0 |        0
319.74/319.82	c  319s |      21 |  1136455 |  1112645 |     1734   1568 |        0 |        0
321.74/321.84	c  321s |      21 |  1143383 |  1119445 |     1734   1575 |        0 |        0
323.73/323.84	c  323s |      21 |  1150022 |  1125945 |     1734   1582 |        0 |        0
325.74/325.85	c  325s |      21 |  1156791 |  1132545 |     1734   1589 |        0 |        0
327.73/327.87	c  327s |      21 |  1163343 |  1138945 |     1734   1596 |        0 |        0
329.73/329.88	c  329s |      21 |  1170009 |  1145445 |     1734   1603 |        0 |        0
331.83/331.91	c  331s |      21 |  1176456 |  1151745 |     1734   1610 |        0 |        0
333.83/333.93	c  333s |      21 |  1183113 |  1158245 |     1734   1617 |        0 |        0
335.83/335.96	c  335s |      21 |  1189433 |  1164445 |     1734   1624 |        0 |        0
337.84/337.99	c  337s |      21 |  1195989 |  1170845 |     1734   1631 |        0 |        0
339.83/340.00	c  339s |      21 |  1202915 |  1177445 |     1734   1638 |        0 |        0
341.93/342.03	c  342s |      21 |  1209474 |  1183845 |     1734   1645 |        0 |        0
343.93/344.05	c  344s |      21 |  1215984 |  1190245 |     1734   1652 |        0 |        0
345.93/346.08	c  346s |      21 |  1222322 |  1196445 |     1734   1659 |        0 |        0
348.03/348.10	c  348s |      21 |  1228817 |  1202845 |     1734   1666 |        0 |        0
350.03/350.10	c  350s |      21 |  1235032 |  1208945 |     1734   1672 |        0 |        0
352.04/352.12	c  352s |      21 |  1242111 |  1215845 |     1734   1680 |        0 |        0
354.03/354.14	c  354s |      21 |  1249113 |  1222645 |     1734   1687 |        0 |        0
356.03/356.16	c  356s |      21 |  1255955 |  1229345 |     1734   1694 |        0 |        0
358.03/358.16	c  358s |      21 |  1262532 |  1235845 |     1734   1701 |        0 |        0
360.03/360.18	c  360s |      21 |  1269147 |  1242345 |     1734   1708 |        0 |        0
362.13/362.20	c  362s |      21 |  1275772 |  1248845 |     1734   1715 |        0 |        0
364.13/364.22	c  364s |      21 |  1282382 |  1255345 |     1734   1722 |        0 |        0
366.14/366.22	c  366s |      21 |  1288812 |  1261645 |     1734   1729 |        0 |        0
368.13/368.23	c  368s |      21 |  1295275 |  1267945 |     1734   1736 |        0 |        0
370.13/370.25	c  370s |      21 |  1301452 |  1274045 |     1734   1743 |        0 |        0
372.13/372.25	c  372s |      21 |  1307962 |  1280445 |     1734   1750 |        0 |        0
374.14/374.25	c  374s |      21 |  1314289 |  1286645 |     1734   1756 |        0 |        0
376.13/376.26	c  376s |      21 |  1320582 |  1292845 |     1734   1763 |        0 |        0
378.13/378.27	c  378s |      21 |  1327031 |  1299145 |     1734   1770 |        0 |        0
380.13/380.30	c  380s |      21 |  1333479 |  1305445 |     1734   1777 |        0 |        0
382.23/382.30	c  382s |      21 |  1339809 |  1311645 |     1734   1783 |        0 |        0
384.23/384.33	c  384s |      21 |  1346055 |  1317745 |     1734   1790 |        0 |        0
386.24/386.36	c  386s |      21 |  1352389 |  1323945 |     1734   1797 |        0 |        0
388.23/388.38	c  388s |      21 |  1359572 |  1330845 |     1734   1804 |        0 |        0
390.33/390.41	c  390s |      21 |  1366320 |  1337445 |     1734   1811 |        0 |        0
392.33/392.42	c  392s |      21 |  1372864 |  1343845 |     1734   1818 |        0 |        0
394.33/394.43	c  394s |      21 |  1379491 |  1350245 |     1734   1825 |        0 |        0
396.33/396.44	c  396s |      21 |  1385962 |  1356545 |     1734   1832 |        0 |        0
398.33/398.45	c  398s |      21 |  1392078 |  1362545 |     1734   1839 |        0 |        0
400.32/400.48	c  400s |      21 |  1398441 |  1368745 |     1734   1845 |        0 |        0
402.32/402.48	c  402s |      21 |  1404871 |  1375045 |     1734   1852 |        0 |        0
404.32/404.49	c  404s |      21 |  1411081 |  1381145 |     1734   1859 |        0 |        0
406.42/406.53	c  406s |      21 |  1417492 |  1387445 |     1734   1866 |        0 |        0
408.42/408.53	c  408s |      21 |  1423831 |  1393645 |     1734   1872 |        0 |        0
410.43/410.54	c  410s |      21 |  1429899 |  1399545 |     1734   1879 |        0 |        0
412.43/412.55	c  412s |      21 |  1435928 |  1405445 |     1734   1885 |        0 |        0
414.43/414.55	c  414s |      21 |  1442443 |  1411745 |     1734   1892 |        0 |        0
416.43/416.58	c  416s |      21 |  1448972 |  1418045 |     1734   1899 |        0 |        0
418.53/418.62	c  418s |      21 |  1455476 |  1424345 |     1734   1906 |        0 |        0
420.53/420.64	c  420s |      21 |  1461747 |  1430445 |     1734   1912 |        0 |        0
422.53/422.67	c  422s |      21 |  1467927 |  1436545 |     1734   1919 |        0 |        0
424.52/424.68	c  424s |      21 |  1474166 |  1442645 |     1734   1925 |        0 |        0
426.52/426.69	c  426s |      21 |  1480389 |  1448645 |     1734   1932 |        0 |        0
428.62/428.72	c  428s |      21 |  1486551 |  1454745 |     1734   1939 |        0 |        0
430.62/430.75	c  430s |      21 |  1492593 |  1460645 |     1734   1945 |        0 |        0
432.62/432.76	c  432s |      21 |  1499411 |  1467345 |     1734   1952 |        0 |        0
434.63/434.76	c  434s |      21 |  1505999 |  1473845 |     1734   1959 |        0 |        0
436.62/436.79	c  436s |      21 |  1512624 |  1480345 |     1734   1966 |        0 |        0
438.62/438.79	c  438s |      21 |  1519122 |  1486745 |     1734   1973 |        0 |        0
440.72/440.82	c  440s |      21 |  1525641 |  1493145 |     1908   1980 |        0 |        0
442.72/442.83	c  442s |      21 |  1531936 |  1499345 |     1908   1986 |        0 |        0
443.12/443.25	c  443s |      22 |  1533243 |  1500622 |     1908   1987 |        0 |        0
445.12/445.27	c  445s |      22 |  1540160 |  1507322 |     1908   1994 |        0 |        0
447.12/447.28	c  447s |      22 |  1546629 |  1513622 |     1908   2000 |        0 |        0
449.12/449.29	c  449s |      22 |  1553249 |  1520122 |     1908   2006 |        0 |        0
451.22/451.32	c  451s |      22 |  1559668 |  1526422 |     1908   2013 |        0 |        0
453.22/453.34	c  453s |      22 |  1566085 |  1532722 |     1908   2019 |        0 |        0
455.21/455.34	c  455s |      22 |  1572725 |  1539222 |     1908   2025 |        0 |        0
457.22/457.37	c  457s |      22 |  1579459 |  1545822 |     1908   2032 |        0 |        0
459.22/459.38	c  459s |      22 |  1586113 |  1552422 |     1908   2038 |        0 |        0
461.22/461.39	c  461s |      22 |  1592664 |  1558822 |     1908   2045 |        0 |        0
463.32/463.41	c  463s |      22 |  1599080 |  1565122 |     1908   2051 |        0 |        0
465.33/465.44	c  465s |      22 |  1605563 |  1571422 |     1908   2057 |        0 |        0
467.32/467.44	c  467s |      22 |  1611838 |  1577522 |     1908   2063 |        0 |        0
469.32/469.45	c  469s |      22 |  1618308 |  1583822 |     1908   2069 |        0 |        0
471.32/471.46	c  471s |      22 |  1624549 |  1589922 |     1908   2076 |        0 |        0
473.32/473.49	c  473s |      22 |  1630991 |  1596222 |     1908   2082 |        0 |        0
475.42/475.50	c  475s |      22 |  1637722 |  1602822 |     1908   2088 |        0 |        0
477.42/477.51	c  477s |      22 |  1644309 |  1609322 |     1908   2095 |        0 |        0
479.41/479.52	c  479s |      22 |  1650886 |  1615722 |     1908   2101 |        0 |        0
481.41/481.54	c  481s |      22 |  1657299 |  1622022 |     1908   2107 |        0 |        0
483.41/483.55	c  483s |      22 |  1663746 |  1628322 |     1908   2113 |        0 |        0
485.41/485.58	c  485s |      22 |  1669977 |  1634422 |     1908   2120 |        0 |        0
487.42/487.59	c  487s |      22 |  1676438 |  1640622 |     1908   2126 |        0 |        0
489.52/489.60	c  489s |      22 |  1682531 |  1646522 |     1908   2131 |        0 |        0
491.51/491.62	c  491s |      22 |  1688555 |  1652422 |     1908   2137 |        0 |        0
493.51/493.62	c  493s |      22 |  1695370 |  1659122 |     1908   2144 |        0 |        0
495.51/495.64	c  495s |      22 |  1702087 |  1665722 |     1908   2150 |        0 |        0
497.51/497.65	c  497s |      22 |  1708580 |  1672122 |     1908   2157 |        0 |        0
499.51/499.66	c  499s |      22 |  1715046 |  1678422 |     1908   2163 |        0 |        0
501.50/501.67	c  501s |      22 |  1721447 |  1684722 |     1908   2169 |        0 |        0
503.50/503.68	c  503s |      22 |  1727835 |  1691022 |     1908   2176 |        0 |        0
505.60/505.70	c  505s |      22 |  1734223 |  1697322 |     1908   2182 |        0 |        0
507.60/507.72	c  507s |      22 |  1740751 |  1703722 |     1908   2188 |        0 |        0
509.60/509.73	c  509s |      22 |  1747035 |  1709822 |     1908   2194 |        0 |        0
511.62/511.73	c  511s |      22 |  1753400 |  1716022 |     1908   2200 |        0 |        0
513.61/513.76	c  513s |      22 |  1759748 |  1722222 |     1908   2206 |        0 |        0
515.61/515.76	c  515s |      22 |  1765812 |  1728122 |     1908   2212 |        0 |        0
517.61/517.77	c  517s |      22 |  1772265 |  1734422 |     1908   2218 |        0 |        0
519.61/519.77	c  519s |      22 |  1778652 |  1740722 |     1908   2225 |        0 |        0
521.61/521.79	c  521s |      22 |  1784982 |  1746922 |     1908   2231 |        0 |        0
523.62/523.80	c  523s |      22 |  1791192 |  1753022 |     1908   2237 |        0 |        0
525.71/525.82	c  525s |      22 |  1797471 |  1759122 |     1908   2243 |        0 |        0
527.71/527.82	c  527s |      22 |  1803474 |  1765022 |     1908   2249 |        0 |        0
529.71/529.83	c  529s |      22 |  1809731 |  1771122 |     1908   2255 |        0 |        0
531.71/531.83	c  531s |      22 |  1815764 |  1777022 |     1908   2261 |        0 |        0
533.71/533.84	c  533s |      22 |  1822516 |  1783622 |     1908   2267 |        0 |        0
535.71/535.85	c  535s |      22 |  1829242 |  1790222 |     1908   2274 |        0 |        0
537.71/537.86	c  537s |      22 |  1835950 |  1796822 |     1908   2280 |        0 |        0
539.71/539.87	c  539s |      22 |  1842651 |  1803422 |     1908   2287 |        0 |        0
541.70/541.88	c  541s |      22 |  1849153 |  1809822 |     1908   2293 |        0 |        0
543.70/543.89	c  543s |      22 |  1855657 |  1816222 |     1908   2299 |        0 |        0
545.80/545.91	c  545s |      22 |  1862501 |  1822922 |     1908   2306 |        0 |        0
547.81/547.91	c  547s |      22 |  1869192 |  1829422 |     1908   2313 |        0 |        0
549.80/549.92	c  549s |      22 |  1875719 |  1835822 |     1908   2319 |        0 |        0
551.80/551.92	c  551s |      22 |  1882197 |  1842122 |     1908   2325 |        0 |        0
553.80/553.94	c  553s |      22 |  1888568 |  1848322 |     1908   2331 |        0 |        0
555.80/555.94	c  555s |      22 |  1895146 |  1854722 |     1908   2338 |        0 |        0
557.81/557.96	c  557s |      22 |  1901595 |  1861022 |     1908   2344 |        0 |        0
559.80/559.98	c  559s |      22 |  1908128 |  1867422 |     1908   2350 |        0 |        0
561.90/562.02	c  561s |      22 |  1914683 |  1873822 |     1908   2357 |        0 |        0
563.90/564.02	c  564s |      22 |  1921171 |  1880222 |     1908   2363 |        0 |        0
565.90/566.05	c  566s |      22 |  1927662 |  1886622 |     1908   2369 |        0 |        0
567.90/568.08	c  568s |      22 |  1934052 |  1892922 |     1908   2375 |        0 |        0
569.90/570.09	c  570s |      22 |  1940468 |  1899222 |     1908   2382 |        0 |        0
572.00/572.11	c  572s |      22 |  1946687 |  1905322 |     1908   2388 |        0 |        0
573.99/574.12	c  574s |      22 |  1952993 |  1911522 |     1908   2394 |        0 |        0
576.00/576.15	c  576s |      22 |  1959534 |  1917922 |     1908   2400 |        0 |        0
578.00/578.16	c  578s |      22 |  1965802 |  1924122 |     1908   2406 |        0 |        0
580.00/580.16	c  580s |      22 |  1971989 |  1930222 |     1908   2412 |        0 |        0
582.01/582.17	c  582s |      22 |  1978176 |  1936322 |     1908   2418 |        0 |        0
584.00/584.20	c  584s |      22 |  1984248 |  1942322 |     1908   2424 |        0 |        0
586.10/586.23	c  586s |      22 |  1990644 |  1948622 |     1908   2431 |        0 |        0
588.10/588.24	c  588s |      22 |  1997117 |  1955022 |     1908   2437 |        0 |        0
590.10/590.25	c  590s |      22 |  2003453 |  1961222 |     1908   2443 |        0 |        0
592.10/592.25	c  592s |      22 |  2009733 |  1967322 |     1908   2449 |        0 |        0
594.10/594.25	c  594s |      22 |  2016062 |  1973522 |     1908   2455 |        0 |        0
596.10/596.27	c  596s |      22 |  2022425 |  1979622 |     1908   2461 |        0 |        0
598.10/598.29	c  598s |      22 |  2028614 |  1985722 |     1908   2467 |        0 |        0
600.20/600.30	c  600s |      22 |  2034826 |  1991822 |     1908   2473 |        0 |        0
602.20/602.32	c  602s |      22 |  2040913 |  1997822 |     1908   2479 |        0 |        0
604.20/604.32	c  604s |      22 |  2046849 |  2003622 |     1908   2485 |        0 |        0
606.20/606.32	c  606s |      22 |  2053470 |  2010122 |     1908   2492 |        0 |        0
608.19/608.34	c  608s |      22 |  2059861 |  2016422 |     1908   2498 |        0 |        0
610.19/610.37	c  610s |      22 |  2066256 |  2022722 |     1908   2504 |        0 |        0
612.19/612.37	c  612s |      22 |  2072420 |  2028722 |     1908   2510 |        0 |        0
614.19/614.38	c  614s |      22 |  2078638 |  2034822 |     1908   2516 |        0 |        0
616.29/616.40	c  616s |      22 |  2084788 |  2040822 |     1908   2522 |        0 |        0
618.20/618.40	c  618s |      22 |  2091011 |  2046922 |     1908   2528 |        0 |        0
620.29/620.42	c  620s |      22 |  2097064 |  2052822 |     1908   2534 |        0 |        0
622.29/622.44	c  622s |      22 |  2103287 |  2058922 |     1908   2540 |        0 |        0
624.29/624.46	c  624s |      22 |  2109398 |  2064922 |     1908   2546 |        0 |        0
626.29/626.48	c  626s |      22 |  2115410 |  2070822 |     1908   2552 |        0 |        0
628.39/628.50	c  628s |      22 |  2121525 |  2076822 |     1908   2558 |        0 |        0
630.40/630.53	c  630s |      22 |  2127515 |  2082722 |     1908   2564 |        0 |        0
632.39/632.54	c  632s |      22 |  2133527 |  2088622 |     1908   2569 |        0 |        0
634.39/634.55	c  634s |      22 |  2140229 |  2095222 |     1908   2576 |        0 |        0
636.39/636.58	c  636s |      22 |  2147256 |  2102122 |     1908   2583 |        0 |        0
638.39/638.58	c  638s |      22 |  2154096 |  2108822 |     1908   2589 |        0 |        0
640.39/640.59	c  640s |      22 |  2160723 |  2115322 |     1908   2596 |        0 |        0
642.49/642.61	c  642s |      22 |  2167288 |  2121722 |     1908   2602 |        0 |        0
644.49/644.61	c  644s |      22 |  2173756 |  2128022 |     1908   2608 |        0 |        0
646.48/646.62	c  646s |      22 |  2180137 |  2134322 |     1908   2615 |        0 |        0
648.48/648.62	c  648s |      22 |  2186659 |  2140722 |     1908   2621 |        0 |        0
650.48/650.63	c  650s |      22 |  2192891 |  2146822 |     1908   2627 |        0 |        0
652.48/652.65	c  652s |      22 |  2199289 |  2153122 |     1908   2633 |        0 |        0
654.49/654.69	c  654s |      22 |  2205953 |  2159622 |     1908   2640 |        0 |        0
656.58/656.70	c  656s |      22 |  2212151 |  2165622 |     1908   2646 |        0 |        0
658.58/658.74	c  658s |      22 |  2218423 |  2171722 |     1908   2652 |        0 |        0
660.58/660.75	c  660s |      22 |  2224702 |  2177922 |     1908   2658 |        0 |        0
662.58/662.77	c  662s |      22 |  2231087 |  2184222 |     1908   2664 |        0 |        0
664.58/664.79	c  664s |      22 |  2237327 |  2190322 |     1908   2670 |        0 |        0
666.69/666.81	c  666s |      22 |  2243728 |  2196622 |     1908   2676 |        0 |        0
668.68/668.82	c  668s |      22 |  2249981 |  2202722 |     1908   2682 |        0 |        0
670.69/670.84	c  670s |      22 |  2256026 |  2208522 |     1908   2688 |        0 |        0
672.68/672.86	c  672s |      22 |  2262006 |  2214322 |     1908   2694 |        0 |        0
674.68/674.86	c  674s |      22 |  2268743 |  2220922 |     1908   2700 |        0 |        0
676.68/676.89	c  676s |      22 |  2275183 |  2227222 |     1908   2706 |        0 |        0
678.79/678.93	c  678s |      22 |  2281428 |  2233322 |     1908   2713 |        0 |        0
680.78/680.96	c  680s |      22 |  2287524 |  2239322 |     2099   2718 |        0 |        0
682.78/682.99	c  682s |      22 |  2293805 |  2245422 |     2099   2723 |        0 |        0
684.78/684.92	c  684s |      23 |  2299522 |  2251038 |     2099   2729 |        0 |        0
686.77/686.92	c  686s |      23 |  2306321 |  2257638 |     2099   2735 |        0 |        0
688.77/688.96	c  688s |      23 |  2313198 |  2264338 |     2099   2741 |        0 |        0
690.78/690.98	c  690s |      23 |  2319815 |  2270638 |     2099   2746 |        0 |        0
692.87/693.00	c  692s |      23 |  2326041 |  2276638 |     2099   2752 |        0 |        0
694.87/695.01	c  694s |      23 |  2332191 |  2282538 |     2099   2757 |        0 |        0
696.87/697.03	c  697s |      23 |  2338553 |  2288738 |     2099   2763 |        0 |        0
698.87/699.04	c  699s |      23 |  2344755 |  2294838 |     2099   2768 |        0 |        0
700.87/701.04	c  701s |      23 |  2350847 |  2300838 |     2099   2774 |        0 |        0
702.87/703.06	c  703s |      23 |  2357145 |  2306938 |     2099   2779 |        0 |        0
704.86/705.07	c  705s |      23 |  2363294 |  2312938 |     2099   2785 |        0 |        0
706.86/707.09	c  707s |      23 |  2369404 |  2318838 |     2099   2790 |        0 |        0
708.96/709.13	c  709s |      23 |  2375808 |  2325138 |     2099   2796 |        0 |        0
710.96/711.14	c  711s |      23 |  2381863 |  2331038 |     2099   2801 |        0 |        0
712.96/713.15	c  713s |      23 |  2387890 |  2336938 |     2099   2806 |        0 |        0
714.97/715.16	c  715s |      23 |  2394220 |  2343138 |     2099   2812 |        0 |        0
716.97/717.17	c  717s |      23 |  2401196 |  2349938 |     2099   2818 |        0 |        0
718.97/719.18	c  719s |      23 |  2407815 |  2356438 |     2099   2824 |        0 |        0
721.06/721.21	c  721s |      23 |  2414233 |  2362738 |     2099   2830 |        0 |        0
723.06/723.23	c  723s |      23 |  2420678 |  2369038 |     2099   2835 |        0 |        0
725.06/725.26	c  725s |      23 |  2427180 |  2375338 |     2099   2841 |        0 |        0
727.07/727.28	c  727s |      23 |  2433457 |  2381438 |     2099   2846 |        0 |        0
729.16/729.30	c  729s |      23 |  2439998 |  2387838 |     2099   2852 |        0 |        0
731.16/731.31	c  731s |      23 |  2446206 |  2393938 |     2099   2858 |        0 |        0
733.16/733.32	c  733s |      23 |  2452666 |  2400238 |     2099   2863 |        0 |        0
735.16/735.34	c  735s |      23 |  2458962 |  2406438 |     2099   2869 |        0 |        0
737.16/737.35	c  737s |      23 |  2465054 |  2412438 |     2099   2875 |        0 |        0
739.16/739.37	c  739s |      23 |  2471206 |  2418438 |     2099   2880 |        0 |        0
741.25/741.41	c  741s |      23 |  2477474 |  2424638 |     2099   2886 |        0 |        0
743.25/743.41	c  743s |      23 |  2483747 |  2430738 |     2099   2891 |        0 |        0
745.25/745.42	c  745s |      23 |  2490016 |  2436838 |     2099   2897 |        0 |        0
747.25/747.44	c  747s |      23 |  2496138 |  2442838 |     2099   2902 |        0 |        0
749.25/749.49	c  749s |      23 |  2502372 |  2448938 |     2099   2908 |        0 |        0
751.25/751.50	c  751s |      23 |  2508516 |  2454938 |     2099   2913 |        0 |        0
753.34/753.52	c  753s |      23 |  2514562 |  2460838 |     2099   2918 |        0 |        0
755.34/755.52	c  755s |      23 |  2521034 |  2467138 |     2099   2924 |        0 |        0
757.34/757.54	c  757s |      23 |  2527229 |  2473238 |     2099   2930 |        0 |        0
759.34/759.55	c  759s |      23 |  2533347 |  2479238 |     2099   2935 |        0 |        0
761.34/761.56	c  761s |      23 |  2539373 |  2485138 |     2099   2940 |        0 |        0
763.35/763.58	c  763s |      23 |  2545426 |  2491038 |     2099   2946 |        0 |        0
765.34/765.58	c  765s |      23 |  2551553 |  2497038 |     2099   2951 |        0 |        0
767.44/767.61	c  767s |      23 |  2557581 |  2502938 |     2099   2956 |        0 |        0
769.44/769.63	c  769s |      23 |  2563419 |  2508638 |     2099   2962 |        0 |        0
771.44/771.64	c  771s |      23 |  2570069 |  2515138 |     2099   2967 |        0 |        0
773.44/773.64	c  773s |      23 |  2576716 |  2521638 |     2099   2973 |        0 |        0
775.44/775.64	c  775s |      23 |  2583455 |  2528238 |     2099   2979 |        0 |        0
777.44/777.67	c  777s |      23 |  2590061 |  2534738 |     2099   2985 |        0 |        0
779.53/779.70	c  779s |      23 |  2596603 |  2541138 |     2099   2991 |        0 |        0
781.53/781.72	c  781s |      23 |  2602990 |  2547438 |     2099   2997 |        0 |        0
783.53/783.75	c  783s |      23 |  2609814 |  2554038 |     2099   3003 |        0 |        0
785.53/785.78	c  785s |      23 |  2616377 |  2560438 |     2099   3008 |        0 |        0
787.54/787.79	c  787s |      23 |  2622791 |  2566638 |     2099   3014 |        0 |        0
789.63/789.82	c  789s |      23 |  2629335 |  2572938 |     2099   3020 |        0 |        0
791.62/791.85	c  791s |      23 |  2635741 |  2579238 |     2099   3025 |        0 |        0
793.62/793.85	c  793s |      23 |  2642234 |  2585438 |     2099   3031 |        0 |        0
795.62/795.86	c  795s |      23 |  2648413 |  2591538 |     2099   3037 |        0 |        0
797.62/797.89	c  797s |      23 |  2655098 |  2598138 |     2099   3042 |        0 |        0
799.63/799.90	c  799s |      23 |  2661378 |  2604338 |     2099   3048 |        0 |        0
801.72/801.91	c  801s |      23 |  2667557 |  2610438 |     2099   3054 |        0 |        0
803.72/803.93	c  803s |      23 |  2673951 |  2616738 |     2099   3059 |        0 |        0
805.72/805.94	c  805s |      23 |  2680138 |  2622838 |     2099   3065 |        0 |        0
807.72/807.95	c  807s |      23 |  2686377 |  2628938 |     2099   3070 |        0 |        0
809.72/809.97	c  809s |      23 |  2692874 |  2635338 |     2099   3076 |        0 |        0
811.72/811.98	c  811s |      23 |  2699344 |  2641638 |     2099   3082 |        0 |        0
813.71/813.99	c  813s |      23 |  2705627 |  2647838 |     2099   3087 |        0 |        0
815.71/815.99	c  815s |      23 |  2711737 |  2653838 |     2099   3093 |        0 |        0
817.81/818.02	c  817s |      23 |  2717892 |  2659838 |     2099   3098 |        0 |        0
819.82/820.04	c  820s |      23 |  2724385 |  2666138 |     2099   3104 |        0 |        0
821.82/822.07	c  822s |      23 |  2730574 |  2672238 |     2099   3110 |        0 |        0
823.82/824.10	c  824s |      23 |  2736799 |  2678338 |     2099   3115 |        0 |        0
825.91/826.11	c  826s |      23 |  2742897 |  2684338 |     2099   3121 |        0 |        0
827.91/828.13	c  828s |      23 |  2749008 |  2690338 |     2099   3126 |        0 |        0
829.91/830.14	c  830s |      23 |  2755014 |  2696238 |     2099   3131 |        0 |        0
831.91/832.16	c  832s |      23 |  2761128 |  2702238 |     2099   3137 |        0 |        0
833.91/834.17	c  834s |      23 |  2767429 |  2708438 |     2099   3142 |        0 |        0
835.91/836.19	c  836s |      23 |  2773841 |  2714738 |     2099   3148 |        0 |        0
838.01/838.21	c  838s |      23 |  2780027 |  2720838 |     2099   3154 |        0 |        0
840.01/840.23	c  840s |      23 |  2786300 |  2726938 |     2099   3159 |        0 |        0
842.00/842.24	c  842s |      23 |  2792285 |  2732838 |     2099   3164 |        0 |        0
844.00/844.24	c  844s |      23 |  2798383 |  2738838 |     2099   3170 |        0 |        0
846.00/846.27	c  846s |      23 |  2804539 |  2744838 |     2099   3175 |        0 |        0
848.01/848.29	c  848s |      23 |  2810852 |  2751038 |     2099   3181 |        0 |        0
850.10/850.30	c  850s |      23 |  2816988 |  2756938 |     2099   3186 |        0 |        0
852.10/852.34	c  852s |      23 |  2822925 |  2762738 |     2099   3192 |        0 |        0
854.10/854.35	c  854s |      23 |  2828909 |  2768538 |     2099   3197 |        0 |        0
856.10/856.35	c  856s |      23 |  2834737 |  2774238 |     2099   3202 |        0 |        0
858.10/858.37	c  858s |      23 |  2841163 |  2780538 |     2099   3208 |        0 |        0
860.10/860.39	c  860s |      23 |  2847848 |  2787138 |     2099   3214 |        0 |        0
862.19/862.41	c  862s |      23 |  2854463 |  2793638 |     2099   3219 |        0 |        0
864.19/864.44	c  864s |      23 |  2860982 |  2800038 |     2099   3225 |        0 |        0
866.20/866.44	c  866s |      23 |  2867448 |  2806438 |     2099   3231 |        0 |        0
868.20/868.46	c  868s |      23 |  2873845 |  2812738 |     2099   3237 |        0 |        0
870.20/870.46	c  870s |      23 |  2880184 |  2818938 |     2099   3242 |        0 |        0
872.20/872.48	c  872s |      23 |  2886460 |  2825138 |     2099   3248 |        0 |        0
874.20/874.48	c  874s |      23 |  2892776 |  2831338 |     2099   3254 |        0 |        0
876.20/876.48	c  876s |      23 |  2899003 |  2837438 |     2099   3259 |        0 |        0
878.30/878.51	c  878s |      23 |  2905404 |  2843738 |     2099   3265 |        0 |        0
880.30/880.53	c  880s |      23 |  2911930 |  2850138 |     2099   3271 |        0 |        0
882.29/882.56	c  882s |      23 |  2918236 |  2856338 |     2099   3276 |        0 |        0
884.30/884.57	c  884s |      23 |  2924444 |  2862438 |     2099   3282 |        0 |        0
886.39/886.60	c  886s |      23 |  2930715 |  2868638 |     2099   3287 |        0 |        0
888.39/888.61	c  888s |      23 |  2937122 |  2874938 |     2099   3293 |        0 |        0
890.39/890.63	c  890s |      23 |  2943300 |  2881038 |     2099   3299 |        0 |        0
892.39/892.64	c  892s |      23 |  2949506 |  2887138 |     2099   3304 |        0 |        0
894.38/894.67	c  894s |      23 |  2955694 |  2893238 |     2099   3310 |        0 |        0
896.39/896.67	c  896s |      23 |  2961874 |  2899338 |     2099   3315 |        0 |        0
898.48/898.70	c  898s |      23 |  2968076 |  2905438 |     2099   3321 |        0 |        0
900.48/900.71	c  900s |      23 |  2974306 |  2911538 |     2099   3326 |        0 |        0
902.48/902.72	c  902s |      23 |  2980351 |  2917438 |     2099   3332 |        0 |        0
904.48/904.74	c  904s |      23 |  2986215 |  2923138 |     2099   3337 |        0 |        0
906.48/906.76	c  906s |      23 |  2992709 |  2929438 |     2099   3342 |        0 |        0
908.48/908.76	c  908s |      23 |  2998788 |  2935438 |     2099   3348 |        0 |        0
910.48/910.78	c  910s |      23 |  3004910 |  2941438 |     2099   3353 |        0 |        0
912.57/912.80	c  912s |      23 |  3010931 |  2947338 |     2099   3359 |        0 |        0
914.57/914.80	c  914s |      23 |  3017017 |  2953338 |     2099   3364 |        0 |        0
916.57/916.83	c  916s |      23 |  3023266 |  2959438 |     2099   3370 |        0 |        0
918.57/918.84	c  918s |      23 |  3029271 |  2965338 |     2099   3375 |        0 |        0
920.58/920.86	c  920s |      23 |  3035294 |  2971238 |     2099   3380 |        0 |        0
922.57/922.88	c  922s |      23 |  3041789 |  2977638 |     2099   3386 |        0 |        0
924.67/924.90	c  924s |      23 |  3048096 |  2983838 |     2099   3392 |        0 |        0
926.66/926.93	c  926s |      23 |  3054304 |  2989938 |     2099   3397 |        0 |        0
928.66/928.95	c  928s |      23 |  3060669 |  2996138 |     2099   3403 |        0 |        0
930.66/930.99	c  930s |      23 |  3066841 |  3002138 |     2099   3408 |        0 |        0
932.67/932.99	c  932s |      23 |  3072875 |  3008038 |     2099   3414 |        0 |        0
934.76/935.00	c  934s |      23 |  3078964 |  3014038 |     2099   3419 |        0 |        0
936.76/937.03	c  937s |      23 |  3084972 |  3019938 |     2099   3424 |        0 |        0
938.76/939.05	c  939s |      23 |  3091016 |  3025838 |     2099   3430 |        0 |        0
940.76/941.08	c  941s |      23 |  3097003 |  3031738 |     2099   3435 |        0 |        0
942.86/943.13	c  943s |      23 |  3103215 |  3037838 |     2099   3441 |        0 |        0
944.86/945.15	c  945s |      23 |  3109172 |  3043638 |     2099   3446 |        0 |        0
946.86/947.15	c  947s |      23 |  3114983 |  3049338 |     2099   3451 |        0 |        0
948.86/949.17	c  949s |      23 |  3121416 |  3055638 |     2099   3457 |        0 |        0
950.86/951.17	c  951s |      23 |  3128087 |  3062138 |     2099   3462 |        0 |        0
952.86/953.19	c  953s |      23 |  3134775 |  3068738 |     2099   3468 |        0 |        0
954.86/955.19	c  955s |      23 |  3141399 |  3075238 |     2099   3474 |        0 |        0
956.97/957.21	c  957s |      23 |  3148023 |  3081738 |     2099   3480 |        0 |        0
958.96/959.24	c  959s |      23 |  3154788 |  3088338 |     2099   3486 |        0 |        0
960.96/961.27	c  961s |      23 |  3161267 |  3094638 |     2099   3492 |        0 |        0
962.95/963.27	c  963s |      23 |  3168081 |  3101338 |     2099   3498 |        0 |        0
964.95/965.29	c  965s |      23 |  3174817 |  3107938 |     2099   3504 |        0 |        0
966.95/967.29	c  967s |      23 |  3181359 |  3114338 |     2099   3510 |        0 |        0
969.06/969.31	c  969s |      23 |  3187878 |  3120738 |     2099   3515 |        0 |        0
971.05/971.33	c  971s |      23 |  3194216 |  3126938 |     2099   3521 |        0 |        0
973.05/973.34	c  973s |      23 |  3200667 |  3133238 |     2099   3527 |        0 |        0
975.05/975.35	c  975s |      23 |  3207032 |  3139438 |     2099   3532 |        0 |        0
977.05/977.38	c  977s |      23 |  3213297 |  3145538 |     2099   3538 |        0 |        0
979.05/979.38	c  979s |      23 |  3219338 |  3151438 |     2099   3543 |        0 |        0
981.05/981.39	c  981s |      23 |  3225749 |  3157738 |     2099   3549 |        0 |        0
983.14/983.40	c  983s |      23 |  3232235 |  3164138 |     2099   3555 |        0 |        0
985.14/985.40	c  985s |      23 |  3238497 |  3170238 |     2099   3560 |        0 |        0
987.15/987.42	c  987s |      23 |  3244695 |  3176138 |     2099   3566 |        0 |        0
989.15/989.42	c  989s |      23 |  3250748 |  3182038 |     2099   3571 |        0 |        0
991.15/991.44	c  991s |      23 |  3257269 |  3188338 |     2099   3577 |        0 |        0
993.15/993.46	c  993s |      23 |  3263763 |  3194738 |     2099   3582 |        0 |        0
995.14/995.48	c  995s |      23 |  3270160 |  3201038 |     2099   3588 |        0 |        0
997.14/997.49	c  997s |      23 |  3276404 |  3207138 |     2099   3594 |        0 |        0
999.24/999.51	c  999s |      23 |  3282522 |  3213138 |     2099   3599 |        0 |        0
1001.24/1001.53	c 1001s |      23 |  3288687 |  3219138 |     2099   3604 |        0 |        0
1003.24/1003.54	c 1003s |      23 |  3294816 |  3225138 |     2099   3610 |        0 |        0
1005.24/1005.56	c 1005s |      23 |  3301403 |  3231638 |     2099   3616 |        0 |        0
1007.23/1007.58	c 1007s |      23 |  3307737 |  3237838 |     2099   3621 |        0 |        0
1009.33/1009.60	c 1009s |      23 |  3313945 |  3243938 |     2099   3627 |        0 |        0
1011.33/1011.60	c 1011s |      23 |  3320191 |  3250038 |     2099   3632 |        0 |        0
1013.33/1013.61	c 1013s |      23 |  3326364 |  3256038 |     2099   3638 |        0 |        0
1015.33/1015.62	c 1015s |      23 |  3332487 |  3262038 |     2099   3643 |        0 |        0
1017.33/1017.63	c 1017s |      23 |  3338678 |  3268038 |     2099   3649 |        0 |        0
1019.34/1019.64	c 1019s |      23 |  3344840 |  3274038 |     2099   3654 |        0 |        0
1021.33/1021.67	c 1021s |      23 |  3350858 |  3279938 |     2099   3659 |        0 |        0
1023.33/1023.68	c 1023s |      23 |  3356889 |  3285838 |     2099   3665 |        0 |        0
1025.33/1025.70	c 1025s |      23 |  3363656 |  3292438 |     2099   3671 |        0 |        0
1027.43/1027.71	c 1027s |      23 |  3370206 |  3298838 |     2099   3677 |        0 |        0
1029.44/1029.74	c 1029s |      23 |  3376787 |  3305238 |     2099   3682 |        0 |        0
1031.42/1031.75	c 1031s |      23 |  3383220 |  3311438 |     2099   3688 |        0 |        0
1033.42/1033.76	c 1033s |      23 |  3389531 |  3317538 |     2099   3693 |        0 |        0
1035.42/1035.78	c 1035s |      23 |  3395924 |  3323838 |     2099   3699 |        0 |        0
1037.42/1037.79	c 1037s |      23 |  3402103 |  3329938 |     2099   3705 |        0 |        0
1039.52/1039.80	c 1039s |      23 |  3408316 |  3336038 |     2099   3710 |        0 |        0
1041.52/1041.83	c 1041s |      23 |  3414584 |  3342138 |     2099   3716 |        0 |        0
1043.52/1043.84	c 1043s |      23 |  3420803 |  3348238 |     2099   3721 |        0 |        0
1045.52/1045.87	c 1045s |      23 |  3427257 |  3354438 |     2309   3727 |        0 |        0
1047.51/1047.87	c 1047s |      23 |  3433602 |  3360638 |     2309   3732 |        0 |        0
1049.51/1049.88	c 1049s |      23 |  3439862 |  3366738 |     2309   3737 |        0 |        0
1051.61/1051.91	c 1051s |      23 |  3445929 |  3372638 |     2309   3742 |        0 |        0
1052.91/1053.26	c 1053s |      24 |  3450085 |  3376662 |     2309   3745 |        0 |        0
1054.91/1055.27	c 1055s |      24 |  3456803 |  3383162 |     2309   3750 |        0 |        0
1056.92/1057.28	c 1057s |      24 |  3463496 |  3389762 |     2309   3756 |        0 |        0
1058.91/1059.29	c 1059s |      24 |  3470019 |  3396162 |     2309   3761 |        0 |        0
1061.00/1061.30	c 1061s |      24 |  3476388 |  3402462 |     2309   3766 |        0 |        0
1063.00/1063.30	c 1063s |      24 |  3482893 |  3408862 |     2309   3772 |        0 |        0
1065.00/1065.30	c 1065s |      24 |  3489266 |  3415162 |     2309   3777 |        0 |        0
1067.00/1067.33	c 1067s |      24 |  3495685 |  3421462 |     2309   3782 |        0 |        0
1069.01/1069.35	c 1069s |      24 |  3501932 |  3427562 |     2309   3787 |        0 |        0
1071.00/1071.38	c 1071s |      24 |  3508137 |  3433662 |     2309   3792 |        0 |        0
1073.10/1073.41	c 1073s |      24 |  3514551 |  3439962 |     2309   3797 |        0 |        0
1075.10/1075.43	c 1075s |      24 |  3520917 |  3446262 |     2309   3803 |        0 |        0
1077.10/1077.44	c 1077s |      24 |  3527318 |  3452562 |     2309   3808 |        0 |        0
1079.10/1079.45	c 1079s |      24 |  3533687 |  3458762 |     2309   3813 |        0 |        0
1081.10/1081.46	c 1081s |      24 |  3539768 |  3464662 |     2309   3818 |        0 |        0
1083.09/1083.47	c 1083s |      24 |  3546210 |  3470962 |     2309   3823 |        0 |        0
1085.10/1085.47	c 1085s |      24 |  3552615 |  3477262 |     2309   3828 |        0 |        0
1087.20/1087.51	c 1087s |      24 |  3558990 |  3483562 |     2309   3833 |        0 |        0
1089.20/1089.51	c 1089s |      24 |  3565231 |  3489662 |     2309   3838 |        0 |        0
1091.20/1091.54	c 1091s |      24 |  3571344 |  3495662 |     2309   3843 |        0 |        0
1093.20/1093.56	c 1093s |      24 |  3577465 |  3501662 |     2309   3848 |        0 |        0
1095.20/1095.58	c 1095s |      24 |  3583946 |  3508062 |     2309   3854 |        0 |        0
1097.30/1097.61	c 1097s |      24 |  3590238 |  3514262 |     2309   3859 |        0 |        0
1099.29/1099.63	c 1099s |      24 |  3596420 |  3520362 |     2309   3864 |        0 |        0
1101.29/1101.64	c 1101s |      24 |  3602400 |  3526262 |     2309   3869 |        0 |        0
1103.29/1103.65	c 1103s |      24 |  3608380 |  3532162 |     2309   3874 |        0 |        0
1105.30/1105.66	c 1105s |      24 |  3614603 |  3538262 |     2309   3879 |        0 |        0
1107.29/1107.66	c 1107s |      24 |  3621448 |  3544862 |     2309   3884 |        0 |        0
1109.29/1109.68	c 1109s |      24 |  3628111 |  3551362 |     2309   3889 |        0 |        0
1111.29/1111.68	c 1111s |      24 |  3634640 |  3557662 |     2309   3895 |        0 |        0
1113.38/1113.70	c 1113s |      24 |  3641048 |  3563962 |     2309   3900 |        0 |        0
1115.38/1115.71	c 1115s |      24 |  3647471 |  3570262 |     2309   3905 |        0 |        0
1117.39/1117.71	c 1117s |      24 |  3653768 |  3576462 |     2309   3910 |        0 |        0
1119.38/1119.72	c 1119s |      24 |  3659977 |  3582562 |     2309   3915 |        0 |        0
1121.38/1121.75	c 1121s |      24 |  3666514 |  3588962 |     2309   3920 |        0 |        0
1123.38/1123.78	c 1123s |      24 |  3672832 |  3595162 |     2309   3926 |        0 |        0
1125.38/1125.80	c 1125s |      24 |  3679042 |  3601262 |     2309   3931 |        0 |        0
1127.48/1127.82	c 1127s |      24 |  3685452 |  3607562 |     2309   3936 |        0 |        0
1129.49/1129.82	c 1129s |      24 |  3691704 |  3613662 |     2309   3941 |        0 |        0
1131.48/1131.84	c 1131s |      24 |  3698029 |  3619862 |     2309   3946 |        0 |        0
1133.48/1133.87	c 1133s |      24 |  3704563 |  3626262 |     2309   3951 |        0 |        0
1135.47/1135.89	c 1135s |      24 |  3710872 |  3632462 |     2309   3956 |        0 |        0
1137.47/1137.90	c 1137s |      24 |  3717060 |  3638562 |     2309   3961 |        0 |        0
1139.57/1139.91	c 1139s |      24 |  3723262 |  3644662 |     2309   3966 |        0 |        0
1141.57/1141.92	c 1141s |      24 |  3729420 |  3650662 |     2309   3971 |        0 |        0
1143.57/1143.93	c 1143s |      24 |  3735509 |  3656562 |     2309   3976 |        0 |        0
1145.56/1145.96	c 1145s |      24 |  3742015 |  3662962 |     2309   3982 |        0 |        0
1147.56/1147.96	c 1147s |      24 |  3748223 |  3669062 |     2309   3987 |        0 |        0
1149.56/1150.00	c 1149s |      24 |  3754413 |  3675162 |     2309   3992 |        0 |        0
1151.67/1152.03	c 1152s |      24 |  3760581 |  3681162 |     2309   3997 |        0 |        0
1153.68/1154.05	c 1154s |      24 |  3766712 |  3687162 |     2309   4002 |        0 |        0
1155.67/1156.08	c 1156s |      24 |  3772798 |  3693162 |     2309   4006 |        0 |        0
1157.77/1158.12	c 1158s |      24 |  3779069 |  3699262 |     2309   4012 |        0 |        0
1159.77/1160.13	c 1160s |      24 |  3785281 |  3705362 |     2309   4017 |        0 |        0
1161.76/1162.15	c 1162s |      24 |  3791358 |  3711362 |     2309   4022 |        0 |        0
1163.86/1164.20	c 1164s |      24 |  3797617 |  3717462 |     2309   4027 |        0 |        0
1165.87/1166.21	c 1166s |      24 |  3803672 |  3723462 |     2309   4032 |        0 |        0
1167.86/1168.21	c 1168s |      24 |  3809887 |  3729562 |     2309   4037 |        0 |        0
1169.86/1170.23	c 1170s |      24 |  3816221 |  3735662 |     2309   4042 |        0 |        0
1171.85/1172.25	c 1172s |      24 |  3822313 |  3741662 |     2309   4047 |        0 |        0
1173.85/1174.29	c 1174s |      24 |  3828482 |  3747662 |     2309   4052 |        0 |        0
1175.95/1176.32	c 1176s |      24 |  3834616 |  3753662 |     2309   4056 |        0 |        0
1177.96/1178.36	c 1178s |      24 |  3840443 |  3759362 |     2309   4061 |        0 |        0
1179.95/1180.40	c 1180s |      24 |  3847121 |  3765862 |     2309   4067 |        0 |        0
1182.05/1182.41	c 1182s |      24 |  3853860 |  3772362 |     2309   4072 |        0 |        0
1184.05/1184.42	c 1184s |      24 |  3860415 |  3778762 |     2309   4077 |        0 |        0
1186.05/1186.45	c 1186s |      24 |  3866877 |  3785062 |     2309   4082 |        0 |        0
1188.05/1188.45	c 1188s |      24 |  3873284 |  3791362 |     2309   4088 |        0 |        0
1190.05/1190.48	c 1190s |      24 |  3879871 |  3797762 |     2309   4093 |        0 |        0
1192.15/1192.51	c 1192s |      24 |  3886307 |  3803962 |     2309   4098 |        0 |        0
1194.15/1194.54	c 1194s |      24 |  3892954 |  3810462 |     2309   4103 |        0 |        0
1196.15/1196.57	c 1196s |      24 |  3899486 |  3816862 |     2309   4109 |        0 |        0
1198.15/1198.59	c 1198s |      24 |  3905813 |  3823062 |     2309   4114 |        0 |        0
1200.25/1200.61	c 1200s |      24 |  3912183 |  3829262 |     2309   4119 |        0 |        0
1202.24/1202.62	c 1202s |      24 |  3918390 |  3835362 |     2309   4124 |        0 |        0
1204.25/1204.64	c 1204s |      24 |  3924796 |  3841562 |     2309   4129 |        0 |        0
1206.24/1206.66	c 1206s |      24 |  3931020 |  3847662 |     2309   4134 |        0 |        0
1208.24/1208.68	c 1208s |      24 |  3937344 |  3853862 |     2309   4139 |        0 |        0
1210.24/1210.69	c 1210s |      24 |  3943664 |  3860062 |     2309   4144 |        0 |        0
1212.34/1212.72	c 1212s |      24 |  3949886 |  3866162 |     2309   4149 |        0 |        0
1214.34/1214.73	c 1214s |      24 |  3956354 |  3872462 |     2309   4155 |        0 |        0
1216.34/1216.74	c 1216s |      24 |  3962621 |  3878662 |     2309   4160 |        0 |        0
1218.34/1218.76	c 1218s |      24 |  3968888 |  3884862 |     2309   4165 |        0 |        0
1220.34/1220.79	c 1220s |      24 |  3975287 |  3891062 |     2309   4170 |        0 |        0
1222.43/1222.81	c 1222s |      24 |  3981331 |  3896962 |     2309   4175 |        0 |        0
1224.43/1224.84	c 1224s |      24 |  3987598 |  3903162 |     2309   4180 |        0 |        0
1226.43/1226.86	c 1226s |      24 |  3993827 |  3909262 |     2309   4185 |        0 |        0
1228.44/1228.88	c 1228s |      24 |  4000349 |  3915662 |     2309   4190 |        0 |        0
1230.53/1230.90	c 1230s |      24 |  4006676 |  3921862 |     2309   4195 |        0 |        0
1232.53/1232.92	c 1232s |      24 |  4012774 |  3927862 |     2309   4200 |        0 |        0
1234.53/1234.92	c 1234s |      24 |  4018744 |  3933762 |     2309   4205 |        0 |        0
1236.53/1236.93	c 1236s |      24 |  4024786 |  3939662 |     2309   4210 |        0 |        0
1238.52/1238.94	c 1238s |      24 |  4030911 |  3945662 |     2309   4215 |        0 |        0
1240.53/1240.97	c 1240s |      24 |  4037206 |  3951762 |     2309   4220 |        0 |        0
1242.52/1242.98	c 1242s |      24 |  4043527 |  3957962 |     2309   4225 |        0 |        0
1244.52/1244.99	c 1244s |      24 |  4049869 |  3964162 |     2309   4230 |        0 |        0
1246.62/1247.01	c 1246s |      24 |  4056180 |  3970362 |     2309   4235 |        0 |        0
1248.63/1249.02	c 1249s |      24 |  4062398 |  3976462 |     2309   4240 |        0 |        0
1250.63/1251.03	c 1251s |      24 |  4068504 |  3982462 |     2309   4245 |        0 |        0
1252.63/1253.05	c 1253s |      24 |  4074744 |  3988562 |     2309   4250 |        0 |        0
1254.62/1255.05	c 1255s |      24 |  4080837 |  3994562 |     2309   4255 |        0 |        0
1256.62/1257.07	c 1257s |      24 |  4086794 |  4000362 |     2309   4260 |        0 |        0
1258.62/1259.07	c 1259s |      24 |  4092877 |  4006262 |     2309   4265 |        0 |        0
1260.72/1261.10	c 1261s |      24 |  4098914 |  4012162 |     2309   4270 |        0 |        0
1262.72/1263.13	c 1263s |      24 |  4105089 |  4018062 |     2309   4275 |        0 |        0
1264.72/1265.15	c 1265s |      24 |  4111478 |  4024262 |     2309   4280 |        0 |        0
1266.72/1267.15	c 1267s |      24 |  4117619 |  4030262 |     2309   4285 |        0 |        0
1268.72/1269.16	c 1269s |      24 |  4123609 |  4036062 |     2309   4290 |        0 |        0
1270.72/1271.18	c 1271s |      24 |  4129712 |  4042062 |     2309   4295 |        0 |        0
1272.71/1273.18	c 1273s |      24 |  4135820 |  4048062 |     2309   4300 |        0 |        0
1274.81/1275.20	c 1275s |      24 |  4141895 |  4053962 |     2309   4305 |        0 |        0
1276.82/1277.24	c 1277s |      24 |  4148016 |  4059962 |     2309   4310 |        0 |        0
1278.81/1279.24	c 1279s |      24 |  4154126 |  4065962 |     2309   4314 |        0 |        0
1280.81/1281.26	c 1281s |      24 |  4160054 |  4071762 |     2309   4319 |        0 |        0
1282.81/1283.28	c 1283s |      24 |  4166400 |  4077962 |     2309   4324 |        0 |        0
1284.91/1285.31	c 1285s |      24 |  4172608 |  4084062 |     2309   4329 |        0 |        0
1286.91/1287.33	c 1287s |      24 |  4178741 |  4090062 |     2309   4334 |        0 |        0
1288.91/1289.35	c 1289s |      24 |  4184664 |  4095762 |     2309   4339 |        0 |        0
1290.90/1291.35	c 1291s |      24 |  4190458 |  4101462 |     2309   4344 |        0 |        0
1292.90/1293.35	c 1293s |      24 |  4196317 |  4107262 |     2309   4349 |        0 |        0
1294.90/1295.39	c 1295s |      24 |  4202219 |  4113062 |     2309   4353 |        0 |        0
1297.00/1297.40	c 1297s |      24 |  4208774 |  4119462 |     2309   4359 |        0 |        0
1299.00/1299.43	c 1299s |      24 |  4215762 |  4126362 |     2309   4364 |        0 |        0
1301.01/1301.43	c 1301s |      24 |  4222614 |  4133062 |     2309   4370 |        0 |        0
1303.00/1303.46	c 1303s |      24 |  4229421 |  4139762 |     2309   4375 |        0 |        0
1305.00/1305.46	c 1305s |      24 |  4236007 |  4146262 |     2309   4381 |        0 |        0
1307.00/1307.47	c 1307s |      24 |  4242595 |  4152762 |     2309   4386 |        0 |        0
1309.00/1309.47	c 1309s |      24 |  4249131 |  4159162 |     2309   4391 |        0 |        0
1311.00/1311.48	c 1311s |      24 |  4255433 |  4165362 |     2309   4397 |        0 |        0
1313.10/1313.51	c 1313s |      24 |  4262191 |  4171962 |     2309   4402 |        0 |        0
1315.09/1315.52	c 1315s |      24 |  4268863 |  4178462 |     2309   4407 |        0 |        0
1317.09/1317.53	c 1317s |      24 |  4275213 |  4184662 |     2309   4412 |        0 |        0
1319.09/1319.55	c 1319s |      24 |  4281591 |  4190862 |     2309   4418 |        0 |        0
1321.09/1321.57	c 1321s |      24 |  4288152 |  4197262 |     2309   4423 |        0 |        0
1323.10/1323.58	c 1323s |      24 |  4294486 |  4203462 |     2309   4428 |        0 |        0
1325.09/1325.60	c 1325s |      24 |  4300750 |  4209562 |     2309   4433 |        0 |        0
1327.19/1327.61	c 1327s |      24 |  4307466 |  4216062 |     2309   4438 |        0 |        0
1329.19/1329.63	c 1329s |      24 |  4313875 |  4222362 |     2309   4444 |        0 |        0
1331.19/1331.66	c 1331s |      24 |  4320117 |  4228462 |     2309   4449 |        0 |        0
1333.19/1333.66	c 1333s |      24 |  4326240 |  4234362 |     2309   4453 |        0 |        0
1335.19/1335.69	c 1335s |      24 |  4332216 |  4240162 |     2309   4458 |        0 |        0
1337.19/1337.70	c 1337s |      24 |  4338599 |  4246462 |     2309   4463 |        0 |        0
1339.28/1339.72	c 1339s |      24 |  4344909 |  4252662 |     2309   4469 |        0 |        0
1341.28/1341.74	c 1341s |      24 |  4351399 |  4259062 |     2309   4474 |        0 |        0
1343.28/1343.77	c 1343s |      24 |  4357724 |  4265262 |     2309   4479 |        0 |        0
1345.28/1345.79	c 1345s |      24 |  4363841 |  4271262 |     2309   4484 |        0 |        0
1347.38/1347.81	c 1347s |      24 |  4370095 |  4277362 |     2309   4489 |        0 |        0
1349.39/1349.82	c 1349s |      24 |  4376148 |  4283162 |     2309   4494 |        0 |        0
1351.38/1351.83	c 1351s |      24 |  4382766 |  4289562 |     2309   4499 |        0 |        0
1353.39/1353.83	c 1353s |      24 |  4389142 |  4295862 |     2309   4504 |        0 |        0
1355.39/1355.84	c 1355s |      24 |  4395322 |  4301962 |     2309   4509 |        0 |        0
1357.39/1357.85	c 1357s |      24 |  4401548 |  4308062 |     2309   4514 |        0 |        0
1359.39/1359.85	c 1359s |      24 |  4407744 |  4314162 |     2309   4519 |        0 |        0
1361.39/1361.88	c 1361s |      24 |  4414073 |  4320362 |     2309   4524 |        0 |        0
1363.39/1363.88	c 1363s |      24 |  4420187 |  4326262 |     2309   4529 |        0 |        0
1365.39/1365.89	c 1365s |      24 |  4426270 |  4332262 |     2309   4534 |        0 |        0
1367.49/1367.92	c 1367s |      24 |  4432495 |  4338362 |     2309   4539 |        0 |        0
1369.48/1369.95	c 1369s |      24 |  4438510 |  4344262 |     2309   4544 |        0 |        0
1371.49/1371.95	c 1371s |      24 |  4444584 |  4350262 |     2309   4549 |        0 |        0
1373.48/1373.98	c 1373s |      24 |  4451227 |  4356662 |     2309   4554 |        0 |        0
1375.58/1376.00	c 1375s |      24 |  4457556 |  4362862 |     2309   4560 |        0 |        0
1377.58/1378.02	c 1378s |      24 |  4463972 |  4369162 |     2309   4565 |        0 |        0
1379.58/1380.04	c 1380s |      24 |  4470305 |  4375362 |     2309   4570 |        0 |        0
1381.58/1382.07	c 1382s |      24 |  4476521 |  4381462 |     2309   4575 |        0 |        0
1383.58/1384.09	c 1384s |      24 |  4482741 |  4387562 |     2309   4580 |        0 |        0
1385.68/1386.10	c 1386s |      24 |  4488932 |  4393662 |     2309   4585 |        0 |        0
1387.68/1388.12	c 1388s |      24 |  4494998 |  4399662 |     2309   4590 |        0 |        0
1389.68/1390.14	c 1390s |      24 |  4501236 |  4405862 |     2309   4595 |        0 |        0
1391.68/1392.17	c 1392s |      24 |  4507459 |  4411962 |     2309   4600 |        0 |        0
1393.68/1394.18	c 1394s |      24 |  4513566 |  4417962 |     2309   4605 |        0 |        0
1395.68/1396.19	c 1396s |      24 |  4519541 |  4423862 |     2309   4610 |        0 |        0
1397.78/1398.20	c 1398s |      24 |  4525589 |  4429862 |     2309   4615 |        0 |        0
1399.77/1400.21	c 1400s |      24 |  4531583 |  4435762 |     2309   4620 |        0 |        0
1401.78/1402.22	c 1402s |      24 |  4537677 |  4441762 |     2309   4625 |        0 |        0
1403.78/1404.23	c 1404s |      24 |  4544171 |  4448162 |     2309   4630 |        0 |        0
1405.78/1406.23	c 1406s |      24 |  4550569 |  4454462 |     2309   4635 |        0 |        0
1407.79/1408.25	c 1408s |      24 |  4556750 |  4460562 |     2309   4640 |        0 |        0
1409.78/1410.27	c 1410s |      24 |  4563202 |  4466862 |     2309   4646 |        0 |        0
1411.78/1412.30	c 1412s |      24 |  4569388 |  4472962 |     2309   4651 |        0 |        0
1413.88/1414.32	c 1414s |      24 |  4575621 |  4479062 |     2309   4656 |        0 |        0
1415.88/1416.35	c 1416s |      24 |  4581846 |  4485162 |     2309   4661 |        0 |        0
1417.88/1418.38	c 1418s |      24 |  4588056 |  4491262 |     2309   4666 |        0 |        0
1419.88/1420.38	c 1420s |      24 |  4594073 |  4497162 |     2309   4671 |        0 |        0
1421.98/1422.41	c 1422s |      24 |  4600225 |  4503162 |     2309   4676 |        0 |        0
1423.97/1424.44	c 1424s |      24 |  4606421 |  4509262 |     2309   4681 |        0 |        0
1425.97/1426.45	c 1426s |      24 |  4612452 |  4515162 |     2309   4686 |        0 |        0
1427.97/1428.47	c 1428s |      24 |  4618477 |  4521062 |     2309   4690 |        0 |        0
1429.97/1430.47	c 1430s |      24 |  4624348 |  4526762 |     2309   4695 |        0 |        0
1432.07/1432.50	c 1432s |      24 |  4630864 |  4533162 |     2309   4700 |        0 |        0
1434.08/1434.50	c 1434s |      24 |  4637070 |  4539162 |     2309   4705 |        0 |        0
1436.07/1436.53	c 1436s |      24 |  4643304 |  4545162 |     2309   4710 |        0 |        0
1438.07/1438.56	c 1438s |      24 |  4649436 |  4551062 |     2309   4715 |        0 |        0
1440.07/1440.57	c 1440s |      24 |  4655252 |  4556662 |     2309   4720 |        0 |        0
1442.17/1442.60	c 1442s |      24 |  4661242 |  4562462 |     2309   4725 |        0 |        0
1444.17/1444.64	c 1444s |      24 |  4667286 |  4568362 |     2309   4730 |        0 |        0
1446.18/1446.66	c 1446s |      24 |  4673396 |  4574262 |     2309   4734 |        0 |        0
1448.17/1448.69	c 1448s |      24 |  4679537 |  4580262 |     2309   4739 |        0 |        0
1450.27/1450.71	c 1450s |      24 |  4686009 |  4586662 |     2309   4745 |        0 |        0
1452.27/1452.72	c 1452s |      24 |  4692329 |  4592862 |     2309   4750 |        0 |        0
1454.27/1454.74	c 1454s |      24 |  4698915 |  4599262 |     2309   4755 |        0 |        0
1456.27/1456.76	c 1456s |      24 |  4705213 |  4605362 |     2309   4760 |        0 |        0
1458.28/1458.79	c 1458s |      24 |  4711339 |  4611262 |     2309   4765 |        0 |        0
1460.27/1460.79	c 1460s |      24 |  4717671 |  4617462 |     2309   4770 |        0 |        0
1462.37/1462.82	c 1462s |      24 |  4723915 |  4623562 |     2309   4775 |        0 |        0
1464.37/1464.82	c 1464s |      24 |  4730272 |  4629762 |     2309   4780 |        0 |        0
1466.37/1466.85	c 1466s |      24 |  4736550 |  4635862 |     2309   4785 |        0 |        0
1468.37/1468.86	c 1468s |      24 |  4742942 |  4642062 |     2309   4790 |        0 |        0
1470.38/1470.88	c 1470s |      24 |  4749172 |  4648162 |     2309   4796 |        0 |        0
1472.37/1472.89	c 1472s |      24 |  4755267 |  4654162 |     2309   4801 |        0 |        0
1474.47/1474.91	c 1474s |      24 |  4761425 |  4660162 |     2309   4805 |        0 |        0
1476.47/1476.93	c 1476s |      24 |  4767573 |  4666162 |     2309   4810 |        0 |        0
1478.47/1478.95	c 1478s |      24 |  4773785 |  4672162 |     2309   4815 |        0 |        0
1480.47/1480.97	c 1480s |      24 |  4779812 |  4677962 |     2309   4820 |        0 |        0
1482.47/1482.98	c 1482s |      24 |  4785722 |  4683762 |     2309   4825 |        0 |        0
1484.57/1485.00	c 1484s |      24 |  4792175 |  4690062 |     2309   4830 |        0 |        0
1486.57/1487.00	c 1486s |      24 |  4798298 |  4696062 |     2309   4835 |        0 |        0
1488.56/1489.01	c 1488s |      24 |  4804463 |  4702062 |     2309   4840 |        0 |        0
1490.56/1491.02	c 1491s |      24 |  4810519 |  4707962 |     2309   4845 |        0 |        0
1492.56/1493.02	c 1493s |      24 |  4816466 |  4713762 |     2309   4850 |        0 |        0
1494.57/1495.05	c 1495s |      24 |  4822572 |  4719662 |     2309   4855 |        0 |        0
1496.56/1497.08	c 1497s |      24 |  4828594 |  4725562 |     2309   4860 |        0 |        0
1498.66/1499.11	c 1499s |      24 |  4834797 |  4731562 |     2309   4865 |        0 |        0
1500.66/1501.14	c 1501s |      24 |  4841203 |  4737862 |     2309   4870 |        0 |        0
1502.66/1503.16	c 1503s |      24 |  4847651 |  4744162 |     2309   4875 |        0 |        0
1504.66/1505.16	c 1505s |      24 |  4853767 |  4750162 |     2309   4880 |        0 |        0
1506.67/1507.18	c 1507s |      24 |  4860234 |  4756462 |     2309   4885 |        0 |        0
1508.76/1509.21	c 1509s |      24 |  4866394 |  4762462 |     2309   4890 |        0 |        0
1510.76/1511.24	c 1511s |      24 |  4872608 |  4768562 |     2309   4895 |        0 |        0
1512.76/1513.24	c 1513s |      24 |  4878636 |  4774462 |     2309   4900 |        0 |        0
1514.76/1515.27	c 1515s |      24 |  4884623 |  4780262 |     2309   4905 |        0 |        0
1516.76/1517.27	c 1517s |      24 |  4890451 |  4785962 |     2309   4910 |        0 |        0
1518.76/1519.28	c 1519s |      24 |  4896572 |  4791962 |     2309   4915 |        0 |        0
1520.76/1521.29	c 1521s |      24 |  4902525 |  4797762 |     2309   4919 |        0 |        0
1522.86/1523.32	c 1523s |      24 |  4908579 |  4803662 |     2309   4924 |        0 |        0
1524.86/1525.32	c 1525s |      24 |  4914383 |  4809362 |     2309   4929 |        0 |        0
1526.86/1527.34	c 1527s |      24 |  4920703 |  4815562 |     2309   4934 |        0 |        0
1528.86/1529.35	c 1529s |      24 |  4926745 |  4821462 |     2309   4939 |        0 |        0
1530.87/1531.36	c 1531s |      24 |  4932765 |  4827362 |     2309   4944 |        0 |        0
1532.86/1533.36	c 1533s |      24 |  4938800 |  4833262 |     2309   4949 |        0 |        0
1534.86/1535.36	c 1535s |      24 |  4944607 |  4838962 |     2309   4953 |        0 |        0
1536.86/1537.38	c 1537s |      24 |  4950310 |  4844562 |     2309   4958 |        0 |        0
1538.96/1539.41	c 1539s |      24 |  4956272 |  4850462 |     2309   4963 |        0 |        0
1540.96/1541.44	c 1541s |      24 |  4962068 |  4856162 |     2309   4968 |        0 |        0
1542.97/1543.48	c 1543s |      24 |  4968148 |  4862062 |     2309   4973 |        0 |        0
1545.06/1545.50	c 1545s |      24 |  4973929 |  4867762 |     2309   4977 |        0 |        0
1547.06/1547.51	c 1547s |      24 |  4980299 |  4873962 |     2309   4982 |        0 |        0
1549.06/1549.52	c 1549s |      24 |  4986860 |  4880362 |     2309   4988 |        0 |        0
1551.06/1551.52	c 1551s |      24 |  4993236 |  4886562 |     2309   4993 |        0 |        0
1553.06/1553.55	c 1553s |      24 |  4999898 |  4893062 |     2309   4998 |        0 |        0
1555.06/1555.56	c 1555s |      24 |  5006351 |  4899362 |     2309   5003 |        0 |        0
1557.05/1557.56	c 1557s |      24 |  5012999 |  4905662 |     2309   5008 |        0 |        0
1559.05/1559.58	c 1559s |      24 |  5019431 |  4911862 |     2309   5014 |        0 |        0
1561.06/1561.58	c 1561s |      24 |  5026016 |  4918262 |     2309   5019 |        0 |        0
1563.16/1563.60	c 1563s |      24 |  5032740 |  4924862 |     2309   5024 |        0 |        0
1565.16/1565.61	c 1565s |      24 |  5039155 |  4931162 |     2309   5030 |        0 |        0
1567.16/1567.63	c 1567s |      24 |  5045732 |  4937562 |     2309   5035 |        0 |        0
1569.15/1569.65	c 1569s |      24 |  5052249 |  4943962 |     2309   5040 |        0 |        0
1571.15/1571.67	c 1571s |      24 |  5058690 |  4950262 |     2309   5045 |        0 |        0
1573.25/1573.71	c 1573s |      24 |  5065075 |  4956462 |     2309   5050 |        0 |        0
1575.25/1575.71	c 1575s |      24 |  5071425 |  4962762 |     2309   5056 |        0 |        0
1577.25/1577.73	c 1577s |      24 |  5078085 |  4969262 |     2309   5061 |        0 |        0
1579.26/1579.76	c 1579s |      24 |  5084394 |  4975462 |     2309   5066 |        0 |        0
1581.25/1581.76	c 1581s |      24 |  5090511 |  4981462 |     2309   5071 |        0 |        0
1583.25/1583.79	c 1583s |      24 |  5096705 |  4987562 |     2309   5076 |        0 |        0
1585.35/1585.80	c 1585s |      24 |  5103231 |  4993962 |     2309   5081 |        0 |        0
1587.35/1587.80	c 1587s |      24 |  5109676 |  5000262 |     2309   5087 |        0 |        0
1589.35/1589.83	c 1589s |      24 |  5116075 |  5006562 |     2309   5092 |        0 |        0
1591.36/1591.85	c 1591s |      24 |  5122495 |  5012862 |     2309   5097 |        0 |        0
1593.35/1593.87	c 1593s |      24 |  5128835 |  5019062 |     2309   5102 |        0 |        0
1595.45/1595.90	c 1595s |      24 |  5135179 |  5025262 |     2309   5107 |        0 |        0
1597.45/1597.91	c 1597s |      24 |  5141562 |  5031462 |     2540   5112 |        0 |        0
1599.45/1599.94	c 1599s |      24 |  5147720 |  5037462 |     2540   5117 |        0 |        0
1601.45/1601.94	c 1601s |      24 |  5153883 |  5043462 |     2540   5121 |        0 |        0
1603.45/1603.97	c 1603s |      24 |  5160495 |  5049962 |     2540   5126 |        0 |        0
1605.55/1606.00	c 1605s |      24 |  5167096 |  5056362 |     2540   5131 |        0 |        0
1607.55/1608.02	c 1608s |      24 |  5173710 |  5062662 |     2540   5136 |        0 |        0
1608.35/1608.82	c 1608s |      25 |  5176208 |  5065098 |     2540   5137 |        0 |        0
1610.34/1610.85	c 1610s |      25 |  5183336 |  5071998 |     2540   5143 |        0 |        0
1612.35/1612.86	c 1612s |      25 |  5190020 |  5078598 |     2540   5148 |        0 |        0
1614.34/1614.88	c 1614s |      25 |  5196875 |  5085298 |     2540   5153 |        0 |        0
1616.44/1616.90	c 1616s |      25 |  5203367 |  5091698 |     2540   5157 |        0 |        0
1618.44/1618.91	c 1618s |      25 |  5210152 |  5098298 |     2540   5162 |        0 |        0
1620.44/1620.93	c 1620s |      25 |  5216871 |  5104898 |     2540   5167 |        0 |        0
1622.44/1622.95	c 1622s |      25 |  5223470 |  5111298 |     2540   5172 |        0 |        0
1624.45/1624.95	c 1624s |      25 |  5229882 |  5117598 |     2540   5177 |        0 |        0
1626.44/1626.97	c 1626s |      25 |  5236389 |  5123998 |     2540   5182 |        0 |        0
1628.45/1628.98	c 1628s |      25 |  5242710 |  5130198 |     2540   5186 |        0 |        0
1630.45/1630.99	c 1630s |      25 |  5249209 |  5136598 |     2540   5191 |        0 |        0
1632.55/1633.02	c 1632s |      25 |  5255582 |  5142898 |     2540   5196 |        0 |        0
1634.55/1635.04	c 1635s |      25 |  5261953 |  5149098 |     2540   5201 |        0 |        0
1636.55/1637.05	c 1637s |      25 |  5268540 |  5155498 |     2540   5206 |        0 |        0
1638.55/1639.07	c 1639s |      25 |  5274813 |  5161698 |     2540   5210 |        0 |        0
1640.55/1641.09	c 1641s |      25 |  5281098 |  5167798 |     2540   5215 |        0 |        0
1642.55/1643.09	c 1643s |      25 |  5287952 |  5174498 |     2540   5220 |        0 |        0
1644.65/1645.11	c 1645s |      25 |  5294855 |  5181198 |     2540   5225 |        0 |        0
1646.64/1647.13	c 1647s |      25 |  5301649 |  5187798 |     2540   5230 |        0 |        0
1648.65/1649.15	c 1649s |      25 |  5308361 |  5194398 |     2540   5235 |        0 |        0
1650.64/1651.17	c 1651s |      25 |  5314953 |  5200898 |     2540   5240 |        0 |        0
1652.64/1653.18	c 1653s |      25 |  5321665 |  5207398 |     2540   5245 |        0 |        0
1654.64/1655.19	c 1655s |      25 |  5328196 |  5213798 |     2540   5249 |        0 |        0
1656.64/1657.19	c 1657s |      25 |  5335026 |  5220498 |     2540   5255 |        0 |        0
1658.64/1659.19	c 1659s |      25 |  5341576 |  5226898 |     2540   5259 |        0 |        0
1660.64/1661.20	c 1661s |      25 |  5348087 |  5233298 |     2540   5264 |        0 |        0
1662.74/1663.20	c 1663s |      25 |  5354509 |  5239598 |     2540   5269 |        0 |        0
1664.74/1665.22	c 1665s |      25 |  5361074 |  5245998 |     2540   5274 |        0 |        0
1666.74/1667.23	c 1667s |      25 |  5367511 |  5252298 |     2540   5278 |        0 |        0
1668.73/1669.26	c 1669s |      25 |  5373928 |  5258598 |     2540   5283 |        0 |        0
1670.73/1671.28	c 1671s |      25 |  5380621 |  5265198 |     2540   5288 |        0 |        0
1672.74/1673.30	c 1673s |      25 |  5387166 |  5271598 |     2540   5293 |        0 |        0
1674.83/1675.33	c 1675s |      25 |  5393459 |  5277798 |     2540   5298 |        0 |        0
1676.83/1677.33	c 1677s |      25 |  5399742 |  5283998 |     2540   5302 |        0 |        0
1678.83/1679.35	c 1679s |      25 |  5406186 |  5290298 |     2540   5307 |        0 |        0
1680.84/1681.36	c 1681s |      25 |  5412606 |  5296598 |     2540   5312 |        0 |        0
1682.84/1683.37	c 1683s |      25 |  5419074 |  5302898 |     2540   5317 |        0 |        0
1684.85/1685.38	c 1685s |      25 |  5425646 |  5309298 |     2540   5321 |        0 |        0
1686.94/1687.40	c 1687s |      25 |  5432068 |  5315598 |     2540   5326 |        0 |        0
1688.94/1689.42	c 1689s |      25 |  5438294 |  5321698 |     2540   5331 |        0 |        0
1690.94/1691.44	c 1691s |      25 |  5444486 |  5327798 |     2540   5335 |        0 |        0
1692.94/1693.46	c 1693s |      25 |  5450762 |  5333998 |     2540   5340 |        0 |        0
1694.94/1695.47	c 1695s |      25 |  5457803 |  5340898 |     2540   5345 |        0 |        0
1696.94/1697.48	c 1697s |      25 |  5464590 |  5347498 |     2540   5350 |        0 |        0
1699.03/1699.51	c 1699s |      25 |  5471415 |  5354198 |     2540   5355 |        0 |        0
1701.03/1701.53	c 1701s |      25 |  5478112 |  5360698 |     2540   5360 |        0 |        0
1703.03/1703.56	c 1703s |      25 |  5484818 |  5367298 |     2540   5365 |        0 |        0
1705.03/1705.58	c 1705s |      25 |  5491063 |  5373398 |     2540   5370 |        0 |        0
1707.03/1707.59	c 1707s |      25 |  5497730 |  5379898 |     2540   5375 |        0 |        0
1709.04/1709.60	c 1709s |      25 |  5504398 |  5386398 |     2540   5380 |        0 |        0
1711.13/1711.61	c 1711s |      25 |  5510807 |  5392698 |     2540   5384 |        0 |        0
1713.13/1713.62	c 1713s |      25 |  5517549 |  5399298 |     2540   5389 |        0 |        0
1715.13/1715.65	c 1715s |      25 |  5524289 |  5405898 |     2540   5394 |        0 |        0
1717.13/1717.65	c 1717s |      25 |  5530771 |  5412198 |     2540   5399 |        0 |        0
1719.13/1719.67	c 1719s |      25 |  5537193 |  5418498 |     2540   5404 |        0 |        0
1721.14/1721.67	c 1721s |      25 |  5543741 |  5424898 |     2540   5409 |        0 |        0
1723.13/1723.68	c 1723s |      25 |  5550285 |  5431298 |     2540   5413 |        0 |        0
1725.13/1725.69	c 1725s |      25 |  5556584 |  5437498 |     2540   5418 |        0 |        0
1727.23/1727.72	c 1727s |      25 |  5562796 |  5443598 |     2540   5423 |        0 |        0
1729.23/1729.73	c 1729s |      25 |  5569003 |  5449698 |     2540   5427 |        0 |        0
1731.23/1731.75	c 1731s |      25 |  5575545 |  5455998 |     2540   5432 |        0 |        0
1733.24/1733.78	c 1733s |      25 |  5582180 |  5462498 |     2540   5437 |        0 |        0
1735.23/1735.78	c 1735s |      25 |  5588631 |  5468798 |     2540   5442 |        0 |        0
1737.33/1737.80	c 1737s |      25 |  5595003 |  5474998 |     2540   5446 |        0 |        0
1739.33/1739.82	c 1739s |      25 |  5601442 |  5481198 |     2540   5451 |        0 |        0
1741.33/1741.83	c 1741s |      25 |  5607642 |  5487298 |     2540   5456 |        0 |        0
1743.33/1743.85	c 1743s |      25 |  5613984 |  5493498 |     2540   5460 |        0 |        0
1745.33/1745.86	c 1745s |      25 |  5620102 |  5499498 |     2540   5465 |        0 |        0
1747.33/1747.86	c 1747s |      25 |  5626439 |  5505698 |     2540   5470 |        0 |        0
1749.33/1749.87	c 1749s |      25 |  5633068 |  5512098 |     2540   5474 |        0 |        0
1751.32/1751.89	c 1751s |      25 |  5639346 |  5518298 |     2540   5479 |        0 |        0
1753.42/1753.91	c 1753s |      25 |  5645550 |  5524398 |     2540   5484 |        0 |        0
1755.42/1755.94	c 1755s |      25 |  5652073 |  5530798 |     2540   5489 |        0 |        0
1757.43/1757.97	c 1757s |      25 |  5658661 |  5537298 |     2540   5493 |        0 |        0
1759.42/1759.99	c 1759s |      25 |  5664907 |  5543398 |     2540   5498 |        0 |        0
1761.42/1761.99	c 1761s |      25 |  5670940 |  5549298 |     2540   5503 |        0 |        0
1763.52/1764.02	c 1764s |      25 |  5677206 |  5555398 |     2540   5507 |        0 |        0
1765.52/1766.05	c 1766s |      25 |  5683575 |  5561598 |     2540   5512 |        0 |        0
1767.52/1768.06	c 1768s |      25 |  5689657 |  5567598 |     2540   5516 |        0 |        0
1769.53/1770.08	c 1770s |      25 |  5695669 |  5573498 |     2540   5521 |        0 |        0
1771.52/1772.08	c 1772s |      25 |  5701665 |  5579398 |     2540   5525 |        0 |        0
1773.62/1774.10	c 1774s |      25 |  5708483 |  5586098 |     2540   5530 |        0 |        0
1775.62/1776.11	c 1776s |      25 |  5715207 |  5592698 |     2540   5535 |        0 |        0
1777.62/1778.11	c 1778s |      25 |  5721822 |  5599098 |     2540   5540 |        0 |        0
1779.62/1780.11	c 1780s |      25 |  5728423 |  5605498 |     2540   5545 |        0 |        0
1781.63/1782.14	c 1782s |      25 |  5734951 |  5611898 |     2540   5550 |        0 |        0
1783.62/1784.17	c 1784s |      25 |  5741555 |  5618298 |     2540   5555 |        0 |        0
1785.72/1786.20	c 1786s |      25 |  5748098 |  5624698 |     2540   5559 |        0 |        0
1787.72/1788.21	c 1788s |      25 |  5754721 |  5631198 |     2540   5564 |        0 |        0
1789.72/1790.23	c 1790s |      25 |  5761272 |  5637598 |     2540   5569 |        0 |        0
1791.72/1792.25	c 1792s |      25 |  5767632 |  5643798 |     2540   5574 |        0 |        0
1793.72/1794.26	c 1794s |      25 |  5774222 |  5650198 |     2540   5579 |        0 |        0
1795.72/1796.28	c 1796s |      25 |  5780508 |  5656398 |     2540   5583 |        0 |        0
1797.72/1798.29	c 1798s |      25 |  5786825 |  5662598 |     2540   5588 |        0 |        0
1799.81/1800.31	c 1800s |      25 |  5793600 |  5669098 |     2540   5593 |        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-4089351-1466025782/watcher-4089351-1466025782 -o /tmp/evaluation-result-4089351-1466025782/solver-4089351-1466025782 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089351-1466025782.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.11 2.09 3/178 7554
/proc/meminfo: memFree=30419412/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=584124 CPUtime=0 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 2155 0 0 0 0 0 0 0 20 0 4 0 4628364 598142976 2516 33554432000 4194304 16246674 140733245922512 140733245921936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 146799 2526 441 2943 0 143693 0
[pid=7554/tid=7555] ppid=7551 vsize=601532 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 615968768 2584 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=606652 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 621211648 2601 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=608836 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 623448064 2614 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.09 2.11 2.09 3/178 7554
/proc/meminfo: memFree=30419412/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 29681 0 0 0 5 4 0 0 20 0 4 0 4628364 1247350784 30031 33554432000 4194304 16246674 140733245922512 140733245904384 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 304529 30046 705 2943 0 301423 0
[pid=7554/tid=7555] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 30056 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 30064 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 30072 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 2.09 2.11 2.09 3/178 7554
/proc/meminfo: memFree=30419412/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 59079 0 0 0 10 9 0 0 20 0 4 0 4628364 1247350784 59429 33554432000 4194304 16246674 140733245922512 140733245904384 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 304529 59449 712 2943 0 301423 0
[pid=7554/tid=7555] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 59461 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 59471 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 59484 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300505 s]
/proc/loadavg: 2.09 2.11 2.09 3/178 7554
/proc/meminfo: memFree=30419412/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 87837 0 0 0 15 13 0 0 20 0 4 0 4628364 1247350784 88188 33554432000 4194304 16246674 140733245922512 140733245904384 5721708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 304529 88204 712 2943 0 301423 0
[pid=7554/tid=7555] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 88213 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 88220 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 88220 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.09 2.11 2.09 3/178 7554
/proc/meminfo: memFree=30419412/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 204188 0 0 0 40 28 0 0 20 0 4 0 4628364 1247350784 204539 33554432000 4194304 16246674 140733245922512 140733245904384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 304529 204553 712 2943 0 301423 0
[pid=7554/tid=7555] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 204561 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 204569 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1247350784 204575 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 2.08 2.10 2.09 3/182 7558
/proc/meminfo: memFree=29434740/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1304132 CPUtime=1.48 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 266988 0 0 0 112 36 0 0 20 0 4 0 4628364 1335431168 267318 33554432000 4194304 16246674 140733245922512 140733245904384 5545907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 326033 267318 790 2943 0 322927 0
[pid=7554/tid=7555] ppid=7551 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1335431168 267318 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1335431168 267318 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1335431168 267318 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1304132

[startup+3.10041 s]
/proc/loadavg: 2.08 2.10 2.09 3/182 7558
/proc/meminfo: memFree=29348560/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 267555 0 0 0 272 37 0 0 20 0 4 0 4628364 1337528320 267885 33554432000 4194304 16246674 140733245922512 140733245905512 6022016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 326545 267885 790 2943 0 323439 0
[pid=7554/tid=7555] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267885 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267885 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267885 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 7559
/proc/meminfo: memFree=29348196/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 267573 0 0 0 592 37 0 0 20 0 4 0 4628364 1337528320 267903 33554432000 4194304 16246674 140733245922512 140733245905512 6021072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 326545 267903 792 2943 0 323439 0
[pid=7554/tid=7555] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267903 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267903 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1337528320 267903 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 7559
/proc/meminfo: memFree=29347328/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 267639 0 0 0 1232 37 0 0 20 0 4 0 4628364 1338576896 267969 33554432000 4194304 16246674 140733245922512 140733245904384 5546195 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 326801 267969 792 2943 0 323695 0
[pid=7554/tid=7555] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 267969 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 267969 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 267969 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5075 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 7559
/proc/meminfo: memFree=29345476/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1307204 CPUtime=25.5 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 267829 0 0 0 2512 38 0 0 20 0 4 0 4628364 1338576896 268159 33554432000 4194304 16246674 140733245922512 140733245904384 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 326801 268159 792 2943 0 323695 0
[pid=7554/tid=7555] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 268159 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 268159 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1338576896 268159 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 7559
/proc/meminfo: memFree=29345304/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 267845 0 0 0 5070 38 0 0 20 0 4 0 4628364 1339625472 268175 33554432000 4194304 16246674 140733245922512 140733245904384 5667355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 327057 268175 793 2943 0 323951 0
[pid=7554/tid=7555] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268175 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268175 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268175 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.04 2.08 2.08 3/183 7560
/proc/meminfo: memFree=29343112/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1308228 CPUtime=102.27 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 268081 0 0 0 10187 40 0 0 20 0 4 0 4628364 1339625472 268411 33554432000 4194304 16246674 140733245922512 140733245904384 5523134 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 327057 268411 793 2943 0 323951 0
[pid=7554/tid=7555] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268411 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268411 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1339625472 268411 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/183 7590
/proc/meminfo: memFree=29327752/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1301.9 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270251 0 0 0 130130 60 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 6009908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 7591
/proc/meminfo: memFree=29327536/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1361.89 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 136128 61 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7592
/proc/meminfo: memFree=29327776/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1421.87 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 142125 62 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 13927454 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7593
/proc/meminfo: memFree=29327316/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1481.87 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 148124 63 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1315396

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/183 7595
/proc/meminfo: memFree=29327500/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1541.87 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 154123 64 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 12483403 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 7742
/proc/meminfo: memFree=29341892/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1601.85 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 160120 65 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1315396

[startup+1662.31 s]
/proc/loadavg: 2.06 2.03 2.04 3/184 7746
/proc/meminfo: memFree=29341708/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1661.84 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 166118 66 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 5717660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.04 3/182 7747
/proc/meminfo: memFree=29340608/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1721.83 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 172116 67 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.04 3/183 7749
/proc/meminfo: memFree=29339500/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1781.82 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 178115 67 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.04 2.04 3/184 7760
/proc/meminfo: memFree=29337080/32872528 swapFree=524788/557492
[pid=7554] ppid=7551 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7
/proc/7554/stat : 7554 (toysat) R 7551 7554 5756 0 -1 4202496 270260 0 0 0 179934 67 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 140733245904384 5546036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7554/statm: 328849 270465 794 2943 0 325743 0
[pid=7554/tid=7555] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7555/stat : 7555 (toysat) S 7551 7554 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680549940464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7554/tid=7556] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7556/stat : 7556 (toysat) S 7551 7554 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680539450608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7554/tid=7557] ppid=7551 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7554/task/7557/stat : 7557 (toysat) S 7551 7554 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4628364 1346965504 270465 33554432000 4194304 16246674 140733245922512 139680456633520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1315396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7554 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.51
CPU time (s): 1800.03
CPU user time (s): 1799.35
CPU system time (s): 0.678896
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.678896
maximum resident set size= 1081860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270260
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= 394
involuntary context switches= 2440

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70398 second user time and 8.96464 second system time

The end

Begin job on node106 at 2016-06-15 23:23:02
IDJOB=4089351
IDBENCH=107394
IDSOLVER=2542
FILE ID=node106/4089351-1466025782
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089351-1466025782/watcher-4089351-1466025782 -o /tmp/evaluation-result-4089351-1466025782/solver-4089351-1466025782 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089351-1466025782.opb

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

MD5SUM BENCH= 4e10f014963d024136bc37a0b77629f1
RANDOM SEED=1068902451

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30420312 kB
Buffers:           30396 kB
Cached:            75232 kB
SwapCached:         1480 kB
Active:          1146272 kB
Inactive:          38400 kB
Active(anon):    1080220 kB
Inactive(anon):     1188 kB
Active(file):      66052 kB
Inactive(file):    37212 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1635516 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             576524 kB
SReclaimable:      20708 kB
SUnreclaim:       555816 kB
KernelStack:        1520 kB
PageTables:         7280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 23:53:03