0.00/0.00	c 2016-06-16T01:53:08+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-4089890-1466034788.opb"]
0.00/0.01	c use --random-gen="3509516349 2974732262 3075107500 897901737 3928223215 2193236201 448620699 537316928 3033275348 1584527036 76805128 3430975262 923491460 2776848290 3049015219 2847564737 3957003576 2967280841 3749284488 860535791 3619939907 2683548427 3558522698 1617053185 2961785944 3299791101 994387745 1374703299 945539398 1027790700 2207885404 3169034405 2316222544 731035207 190370584 416299329 1844323389 13372072 1035660129 820854524 2921052193 552659184 677763113 41097061 2793327524 3955762306 1278698014 3734630971 2156756844 1235002245 2802436592 3168717520 2820910695 2241517490 450777423 769071577 1274080729 3735275349 3311552478 3092113388 4065802805 3265341023 2627552357 3245514802 965262720 2129482721 1118490038 3493376896 2326525186 644396244 417984593 305784559 189725651 2720463318 2833759030 1360981969 924190094 2020765235 3905526125 1739439440 1297111408 724906373 2218401991 3014720137 3279383758 1263210922 546426533 88492772 1355031787 57162038 986206341 632617599 893853762 373262424 4109111201 1407223651 3689608867 3474494809 3105380688 2398428381 3546622316 4205498355 3444264478 1830934694 2382169740 2651070139 2685936274 505399683 34194570 3338163884 1390365699 3395125838 559859715 1543418209 772092879 1297024156 3997005198 2674675889 2826977238 931443904 1174028790 2699157234 2683143123 3006447109 3379820498 1784942847 3090864173 1001550353 1872318494 3360285764 1160592280 463511283 3033310585 1537372724 93963394 1288102216 4192711440 2599086409 1187824914 80827995 242913886 198971567 358883164 733580076 1228710070 3995476359 3487326854 1954271122 225827918 1068082192 487304399 145171918 1797854975 115727790 4011410962 2313979490 1088553414 1399405745 2852548265 1898093412 169509605 108537943 2744284035 2852062922 4167220755 1232430257 1166150346 2650462661 884311496 1948354697 2593913789 4099070082 651735109 2485622431 3203242755 2337653226 1934380146 3542447494 164984899 466060574 983197197 1410401374 4177976322 1664582620 3641073938 722648029 390108962 2386611170 2768234877 3727251697 231521162 3608051264 1740144400 3356751788 3154660793 66209593 3142863561 2082509446 3343284591 3656157746 409290807 3421629473 3650949063 720482771 1269439891 2628289884 4263872528 3651549285 2550513344 728081190 2529295541 1508618350 1983900520 1636445206 3734191701 3388796910 200801562 359678356 100650203 1479168218 504306033 3805725191 1902481523 1899682388 2017991564 2024381285 426244371 2670672250 447862063 1170306326 3322372039 2542780826 464109808 3300643773 3735567370 438857133 1532019429 76144662 1501542140 868621914 2842277239 2348464033 2559945874 3107767056 482218489 358883881 2025185709 638352948 2473731347 102943295 2142958822 337963688 1263857465 3605544183 1797682214 3774092152 255 362436" option to reproduce the execution
0.00/0.01	c #vars 213
0.00/0.01	c #constraints 71
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      118      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      131 |      100 |      118      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      402 |      250 |      130      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      740 |      475 |      143      2 |        0 |        0
0.09/0.16	c  0.2s |       4 |     1194 |      813 |      158      4 |        0 |        0
0.19/0.27	c  0.3s |       5 |     1819 |     1320 |      174      7 |        0 |        0
0.39/0.44	c  0.4s |       6 |     2772 |     2081 |      212     12 |        0 |        0
0.59/0.68	c  0.7s |       7 |     4128 |     3223 |      234     18 |        0 |        0
0.99/1.00	c  1.0s |       8 |     6088 |     4936 |      258     27 |        0 |        0
1.38/1.40	c  1.4s |       9 |     8966 |     7506 |      284     39 |        0 |        0
1.99/2.06	c  2.0s |      10 |    13237 |    11361 |      313     57 |        0 |        0
3.09/3.12	c  3.1s |      11 |    20033 |    17144 |      345     84 |        0 |        0
4.69/4.75	c  4.7s |      12 |    30543 |    25819 |      380    124 |        0 |        0
6.70/6.77	c  6.8s |      12 |    43453 |    37019 |      380    169 |        0 |        0
7.09/7.12	c  7.1s |      13 |    45577 |    38832 |      419    176 |        0 |        0
9.08/9.12	c  9.1s |      13 |    57607 |    49332 |      419    214 |        0 |        0
10.78/10.88	c 10.9s |      14 |    67736 |    58352 |      461    247 |        0 |        0
12.78/12.89	c 12.9s |      14 |    79171 |    68452 |      461    281 |        0 |        0
14.88/14.91	c 14.9s |      14 |    90398 |    78552 |      461    314 |        0 |        0
16.79/16.88	c 16.9s |      15 |   100709 |    87632 |      508    344 |        0 |        0
18.80/18.89	c 18.9s |      15 |   111825 |    97432 |      508    375 |        0 |        0
20.79/20.90	c 20.9s |      15 |   121631 |   106332 |      508    403 |        0 |        0
22.89/22.91	c 22.9s |      15 |   131360 |   115032 |      508    431 |        0 |        0
24.89/24.93	c 24.9s |      15 |   140992 |   123732 |      508    458 |        0 |        0
26.78/26.87	c 26.9s |      16 |   149559 |   131552 |      559    482 |        0 |        0
28.78/28.89	c 28.9s |      16 |   160935 |   141352 |      559    512 |        0 |        0
30.79/30.90	c 30.9s |      16 |   171236 |   150552 |      559    539 |        0 |        0
32.88/32.90	c 32.9s |      16 |   181862 |   159852 |      559    567 |        0 |        0
34.88/34.92	c 34.9s |      16 |   192536 |   169252 |      559    595 |        0 |        0
36.88/36.94	c 36.9s |      16 |   203354 |   178152 |      559    622 |        0 |        0
38.88/38.96	c 39.0s |      16 |   213403 |   187152 |      559    649 |        0 |        0
40.88/40.98	c 41.0s |      16 |   223489 |   196052 |      559    675 |        0 |        0
41.18/41.29	c 41.3s |      17 |   225076 |   197432 |      615    678 |        0 |        0
43.28/43.30	c 43.3s |      17 |   235417 |   206432 |      615    703 |        0 |        0
45.28/45.30	c 45.3s |      17 |   244790 |   214832 |      615    726 |        0 |        0
47.28/47.32	c 47.3s |      17 |   254153 |   223332 |      615    749 |        0 |        0
49.28/49.32	c 49.3s |      17 |   263667 |   231832 |      615    772 |        0 |        0
51.28/51.34	c 51.3s |      17 |   273201 |   240532 |      615    795 |        0 |        0
53.28/53.36	c 53.3s |      17 |   282633 |   249232 |      615    819 |        0 |        0
55.28/55.38	c 55.4s |      17 |   291973 |   257632 |      615    842 |        0 |        0
57.38/57.40	c 57.4s |      17 |   301599 |   266032 |      615    865 |        0 |        0
59.39/59.42	c 59.4s |      17 |   311879 |   274932 |      615    889 |        0 |        0
61.38/61.44	c 61.4s |      17 |   321604 |   283332 |      615    912 |        0 |        0
63.38/63.45	c 63.4s |      17 |   331543 |   292032 |      615    936 |        0 |        0
64.38/64.45	c 64.4s |      18 |   336559 |   296252 |      677    947 |        0 |        0
66.38/66.46	c 66.5s |      18 |   347260 |   305152 |      677    970 |        0 |        0
68.38/68.47	c 68.5s |      18 |   357954 |   314252 |      677    993 |        0 |        0
70.39/70.49	c 70.5s |      18 |   368086 |   322952 |      677   1015 |        0 |        0
72.38/72.49	c 72.5s |      18 |   377523 |   331152 |      677   1036 |        0 |        0
74.48/74.51	c 74.5s |      18 |   387228 |   339552 |      677   1057 |        0 |        0
76.48/76.52	c 76.5s |      18 |   396912 |   347952 |      677   1078 |        0 |        0
78.48/78.54	c 78.5s |      18 |   407524 |   356952 |      677   1101 |        0 |        0
80.48/80.54	c 80.5s |      18 |   417717 |   365752 |      677   1124 |        0 |        0
82.48/82.55	c 82.5s |      18 |   428454 |   374652 |      677   1146 |        0 |        0
84.48/84.56	c 84.6s |      18 |   438360 |   383252 |      677   1168 |        0 |        0
86.47/86.57	c 86.6s |      18 |   447766 |   391352 |      677   1189 |        0 |        0
88.47/88.58	c 88.6s |      18 |   457161 |   399452 |      677   1210 |        0 |        0
90.47/90.58	c 90.6s |      18 |   466157 |   407352 |      677   1230 |        0 |        0
92.48/92.59	c 92.6s |      18 |   476175 |   415752 |      677   1251 |        0 |        0
94.58/94.61	c 94.6s |      18 |   485288 |   423652 |      677   1271 |        0 |        0
96.57/96.62	c 96.6s |      18 |   495220 |   432052 |      677   1293 |        0 |        0
98.57/98.64	c 98.6s |      18 |   504181 |   439952 |      677   1313 |        0 |        0
99.67/99.80	c 99.8s |      19 |   509379 |   444482 |      745   1323 |        0 |        0
101.77/101.80	c  101s |      19 |   520039 |   453582 |      745   1345 |        0 |        0
103.77/103.81	c  103s |      19 |   530296 |   462382 |      745   1365 |        0 |        0
105.77/105.82	c  105s |      19 |   540386 |   471082 |      745   1385 |        0 |        0
107.78/107.82	c  107s |      19 |   550397 |   479782 |      745   1405 |        0 |        0
109.77/109.83	c  109s |      19 |   560439 |   488382 |      745   1426 |        0 |        0
111.77/111.84	c  111s |      19 |   570146 |   496982 |      745   1445 |        0 |        0
113.77/113.85	c  113s |      19 |   580968 |   505782 |      745   1466 |        0 |        0
115.77/115.87	c  115s |      19 |   591760 |   514282 |      745   1486 |        0 |        0
117.77/117.87	c  117s |      19 |   602117 |   522882 |      745   1507 |        0 |        0
119.77/119.89	c  119s |      19 |   612230 |   531182 |      745   1526 |        0 |        0
121.77/121.89	c  121s |      19 |   623302 |   540182 |      745   1548 |        0 |        0
123.87/123.91	c  123s |      19 |   634746 |   549482 |      745   1570 |        0 |        0
125.86/125.92	c  125s |      19 |   645798 |   558282 |      745   1591 |        0 |        0
127.86/127.94	c  127s |      19 |   656364 |   567082 |      745   1612 |        0 |        0
129.87/129.95	c  129s |      19 |   667044 |   575782 |      745   1633 |        0 |        0
131.86/131.95	c  131s |      19 |   678007 |   584782 |      745   1654 |        0 |        0
133.87/133.96	c  133s |      19 |   688541 |   593682 |      745   1675 |        0 |        0
135.87/135.97	c  135s |      19 |   698806 |   602482 |      745   1696 |        0 |        0
137.87/137.98	c  137s |      19 |   709414 |   611382 |      745   1717 |        0 |        0
139.87/139.98	c  139s |      19 |   719933 |   620182 |      745   1738 |        0 |        0
141.88/142.00	c  141s |      19 |   730148 |   628582 |      745   1758 |        0 |        0
143.97/144.00	c  143s |      19 |   740345 |   637082 |      745   1778 |        0 |        0
145.97/146.00	c  145s |      19 |   750536 |   645682 |      745   1798 |        0 |        0
147.97/148.01	c  147s |      19 |   761185 |   654382 |      745   1819 |        0 |        0
149.97/150.03	c  150s |      19 |   772711 |   663682 |      820   1841 |        0 |        0
150.67/150.78	c  150s |      20 |   776377 |   666827 |      820   1848 |        0 |        0
152.67/152.79	c  152s |      20 |   786722 |   675527 |      820   1866 |        0 |        0
154.77/154.81	c  154s |      20 |   797690 |   684527 |      820   1886 |        0 |        0
156.77/156.83	c  156s |      20 |   807750 |   693327 |      820   1905 |        0 |        0
158.76/158.85	c  158s |      20 |   818332 |   702327 |      820   1925 |        0 |        0
160.76/160.86	c  160s |      20 |   828689 |   711127 |      820   1944 |        0 |        0
162.77/162.88	c  162s |      20 |   838900 |   719827 |      820   1962 |        0 |        0
164.76/164.89	c  164s |      20 |   848601 |   728227 |      820   1981 |        0 |        0
166.86/166.90	c  166s |      20 |   858619 |   736927 |      820   1999 |        0 |        0
168.86/168.91	c  168s |      20 |   868926 |   745727 |      820   2018 |        0 |        0
170.86/170.92	c  170s |      20 |   878226 |   754027 |      820   2036 |        0 |        0
172.86/172.92	c  172s |      20 |   888220 |   762827 |      820   2055 |        0 |        0
174.86/174.93	c  174s |      20 |   897524 |   771127 |      820   2073 |        0 |        0
176.86/176.94	c  176s |      20 |   907643 |   779727 |      820   2091 |        0 |        0
178.86/178.95	c  178s |      20 |   918337 |   788427 |      820   2110 |        0 |        0
180.86/180.97	c  180s |      20 |   928485 |   796927 |      820   2129 |        0 |        0
182.86/182.99	c  182s |      20 |   938338 |   805127 |      820   2146 |        0 |        0
184.86/184.99	c  184s |      20 |   947272 |   812827 |      820   2163 |        0 |        0
186.85/186.99	c  186s |      20 |   956833 |   821127 |      820   2181 |        0 |        0
188.95/189.02	c  189s |      20 |   966503 |   829427 |      820   2199 |        0 |        0
190.95/191.03	c  191s |      20 |   976312 |   837827 |      820   2217 |        0 |        0
192.95/193.05	c  193s |      20 |   986294 |   846527 |      820   2236 |        0 |        0
194.95/195.06	c  195s |      20 |   995443 |   854627 |      820   2253 |        0 |        0
196.96/197.07	c  197s |      20 |  1004964 |   862927 |      820   2271 |        0 |        0
198.95/199.09	c  199s |      20 |  1013972 |   870727 |      820   2288 |        0 |        0
201.05/201.11	c  201s |      20 |  1022782 |   878427 |      820   2304 |        0 |        0
203.05/203.11	c  203s |      20 |  1030588 |   885327 |      820   2319 |        0 |        0
205.05/205.12	c  205s |      20 |  1038853 |   892627 |      820   2335 |        0 |        0
207.05/207.12	c  207s |      20 |  1046677 |   899627 |      820   2350 |        0 |        0
209.06/209.14	c  209s |      20 |  1054701 |   906827 |      820   2365 |        0 |        0
211.05/211.16	c  211s |      20 |  1063391 |   914327 |      820   2382 |        0 |        0
213.06/213.18	c  213s |      20 |  1072487 |   922027 |      820   2398 |        0 |        0
215.06/215.19	c  215s |      20 |  1081011 |   929527 |      820   2414 |        0 |        0
217.06/217.19	c  217s |      20 |  1090320 |   937427 |      820   2431 |        0 |        0
219.16/219.22	c  219s |      20 |  1099788 |   945427 |      820   2449 |        0 |        0
221.17/221.23	c  221s |      20 |  1109150 |   953427 |      820   2466 |        0 |        0
223.16/223.24	c  223s |      20 |  1118091 |   961027 |      820   2482 |        0 |        0
225.16/225.27	c  225s |      20 |  1127274 |   968827 |      820   2499 |        0 |        0
227.15/227.27	c  227s |      20 |  1136483 |   976727 |      820   2516 |        0 |        0
229.15/229.28	c  229s |      20 |  1145845 |   984827 |      820   2533 |        0 |        0
231.25/231.31	c  231s |      20 |  1154630 |   992527 |      820   2550 |        0 |        0
233.26/233.33	c  233s |      20 |  1163542 |  1000227 |      903   2565 |        0 |        0
233.26/233.36	c  233s |      21 |  1163673 |  1000345 |      903   2565 |        0 |        0
235.25/235.36	c  235s |      21 |  1172469 |  1008145 |      903   2580 |        0 |        0
237.25/237.37	c  237s |      21 |  1180821 |  1015545 |      903   2595 |        0 |        0
239.25/239.39	c  239s |      21 |  1189002 |  1022845 |      903   2609 |        0 |        0
241.35/241.40	c  241s |      21 |  1197417 |  1030445 |      903   2624 |        0 |        0
243.35/243.41	c  243s |      21 |  1205721 |  1037945 |      903   2639 |        0 |        0
245.36/245.43	c  245s |      21 |  1213745 |  1045145 |      903   2653 |        0 |        0
247.35/247.43	c  247s |      21 |  1222021 |  1052445 |      903   2667 |        0 |        0
249.35/249.45	c  249s |      21 |  1230719 |  1060045 |      903   2682 |        0 |        0
251.35/251.47	c  251s |      21 |  1239121 |  1067345 |      903   2697 |        0 |        0
253.35/253.47	c  253s |      21 |  1247830 |  1074945 |      903   2712 |        0 |        0
255.45/255.50	c  255s |      21 |  1256194 |  1082345 |      903   2726 |        0 |        0
257.36/257.50	c  257s |      21 |  1265095 |  1089945 |      903   2741 |        0 |        0
259.45/259.53	c  259s |      21 |  1273487 |  1097345 |      903   2755 |        0 |        0
261.45/261.55	c  261s |      21 |  1281790 |  1104545 |      903   2770 |        0 |        0
263.45/263.55	c  263s |      21 |  1290670 |  1112245 |      903   2785 |        0 |        0
265.45/265.58	c  265s |      21 |  1298507 |  1119245 |      903   2798 |        0 |        0
267.55/267.61	c  267s |      21 |  1306119 |  1126145 |      903   2812 |        0 |        0
269.55/269.63	c  269s |      21 |  1314175 |  1133245 |      903   2826 |        0 |        0
271.55/271.64	c  271s |      21 |  1322060 |  1140145 |      903   2839 |        0 |        0
273.55/273.66	c  273s |      21 |  1330253 |  1147445 |      903   2854 |        0 |        0
275.54/275.66	c  275s |      21 |  1338914 |  1155245 |      903   2869 |        0 |        0
277.54/277.67	c  277s |      21 |  1346979 |  1162545 |      903   2883 |        0 |        0
279.54/279.69	c  279s |      21 |  1355928 |  1170445 |      903   2899 |        0 |        0
281.55/281.69	c  281s |      21 |  1364340 |  1177845 |      903   2913 |        0 |        0
283.64/283.71	c  283s |      21 |  1372092 |  1184745 |      903   2927 |        0 |        0
285.64/285.73	c  285s |      21 |  1380426 |  1191945 |      903   2941 |        0 |        0
287.64/287.74	c  287s |      21 |  1388454 |  1198945 |      903   2955 |        0 |        0
289.64/289.74	c  289s |      21 |  1396131 |  1205745 |      903   2968 |        0 |        0
291.64/291.76	c  291s |      21 |  1403109 |  1212045 |      903   2981 |        0 |        0
293.65/293.79	c  293s |      21 |  1411755 |  1219845 |      903   2996 |        0 |        0
295.75/295.80	c  295s |      21 |  1419797 |  1227045 |      903   3010 |        0 |        0
297.75/297.82	c  297s |      21 |  1428449 |  1234745 |      903   3025 |        0 |        0
299.75/299.82	c  299s |      21 |  1437670 |  1242745 |      903   3040 |        0 |        0
301.75/301.84	c  301s |      21 |  1445755 |  1250045 |      903   3055 |        0 |        0
303.74/303.84	c  303s |      21 |  1454473 |  1257645 |      903   3070 |        0 |        0
305.75/305.86	c  305s |      21 |  1462799 |  1264945 |      903   3084 |        0 |        0
307.74/307.87	c  307s |      21 |  1471335 |  1272345 |      903   3098 |        0 |        0
309.74/309.88	c  309s |      21 |  1479570 |  1279345 |      903   3112 |        0 |        0
311.74/311.89	c  311s |      21 |  1488941 |  1286845 |      903   3127 |        0 |        0
313.84/313.90	c  313s |      21 |  1497766 |  1294345 |      903   3142 |        0 |        0
315.84/315.92	c  315s |      21 |  1505559 |  1301345 |      903   3155 |        0 |        0
317.85/317.93	c  317s |      21 |  1513052 |  1308045 |      903   3168 |        0 |        0
319.84/319.95	c  319s |      21 |  1521893 |  1315845 |      903   3184 |        0 |        0
321.84/321.98	c  321s |      21 |  1530700 |  1323745 |      903   3199 |        0 |        0
323.84/323.98	c  323s |      21 |  1538802 |  1330945 |      903   3213 |        0 |        0
325.94/326.00	c  325s |      21 |  1547334 |  1338445 |      903   3228 |        0 |        0
327.94/328.02	c  328s |      21 |  1556247 |  1346045 |      903   3243 |        0 |        0
329.94/330.02	c  330s |      21 |  1564616 |  1353445 |      903   3257 |        0 |        0
331.93/332.04	c  332s |      21 |  1572487 |  1360345 |      903   3271 |        0 |        0
333.93/334.06	c  334s |      21 |  1581273 |  1367845 |      903   3285 |        0 |        0
335.93/336.08	c  336s |      21 |  1589854 |  1375245 |      903   3300 |        0 |        0
338.03/338.10	c  338s |      21 |  1597955 |  1382345 |      903   3314 |        0 |        0
340.03/340.10	c  340s |      21 |  1606078 |  1389545 |      903   3328 |        0 |        0
342.05/342.12	c  342s |      21 |  1613772 |  1396445 |      903   3341 |        0 |        0
344.04/344.12	c  344s |      21 |  1621096 |  1403045 |      903   3354 |        0 |        0
346.04/346.14	c  346s |      21 |  1629080 |  1410245 |      903   3368 |        0 |        0
348.04/348.15	c  348s |      21 |  1637032 |  1417445 |      903   3382 |        0 |        0
350.04/350.16	c  350s |      21 |  1644560 |  1424245 |      903   3396 |        0 |        0
352.04/352.17	c  352s |      21 |  1652931 |  1431645 |      903   3410 |        0 |        0
354.14/354.21	c  354s |      21 |  1660719 |  1438645 |      903   3424 |        0 |        0
356.13/356.24	c  356s |      21 |  1668093 |  1445345 |      903   3437 |        0 |        0
358.13/358.25	c  358s |      21 |  1676415 |  1452745 |      903   3451 |        0 |        0
360.13/360.25	c  360s |      21 |  1685160 |  1460445 |      903   3466 |        0 |        0
362.13/362.25	c  362s |      21 |  1693264 |  1467845 |      903   3481 |        0 |        0
364.14/364.28	c  364s |      21 |  1701741 |  1475245 |      903   3495 |        0 |        0
366.24/366.31	c  366s |      21 |  1709163 |  1481945 |      903   3509 |        0 |        0
368.23/368.33	c  368s |      21 |  1716554 |  1488545 |      903   3522 |        0 |        0
370.23/370.35	c  370s |      21 |  1724424 |  1495545 |      994   3534 |        0 |        0
371.84/371.92	c  371s |      22 |  1729942 |  1500622 |      994   3543 |        0 |        0
373.83/373.94	c  373s |      22 |  1739572 |  1508922 |      994   3558 |        0 |        0
375.83/375.95	c  375s |      22 |  1747832 |  1516422 |      994   3572 |        0 |        0
377.83/377.95	c  377s |      22 |  1756695 |  1524222 |      994   3586 |        0 |        0
379.83/379.96	c  379s |      22 |  1765580 |  1532122 |      994   3600 |        0 |        0
381.83/381.98	c  381s |      22 |  1774497 |  1539922 |      994   3614 |        0 |        0
383.83/384.00	c  383s |      22 |  1783486 |  1547722 |      994   3629 |        0 |        0
385.92/386.01	c  385s |      22 |  1792378 |  1555422 |      994   3643 |        0 |        0
387.92/388.01	c  387s |      22 |  1801475 |  1563422 |      994   3657 |        0 |        0
389.93/390.02	c  390s |      22 |  1811130 |  1571722 |      994   3672 |        0 |        0
391.93/392.04	c  392s |      22 |  1820481 |  1580022 |      994   3687 |        0 |        0
393.93/394.04	c  394s |      22 |  1829637 |  1588222 |      994   3702 |        0 |        0
395.94/396.05	c  396s |      22 |  1838772 |  1596222 |      994   3717 |        0 |        0
397.93/398.06	c  398s |      22 |  1846915 |  1603622 |      994   3730 |        0 |        0
399.93/400.07	c  400s |      22 |  1856052 |  1611622 |      994   3745 |        0 |        0
401.93/402.09	c  402s |      22 |  1865000 |  1619522 |      994   3759 |        0 |        0
404.03/404.11	c  404s |      22 |  1873661 |  1627122 |      994   3773 |        0 |        0
406.03/406.11	c  406s |      22 |  1881938 |  1634522 |      994   3786 |        0 |        0
408.03/408.13	c  408s |      22 |  1890256 |  1642022 |      994   3800 |        0 |        0
410.02/410.14	c  410s |      22 |  1898323 |  1649322 |      994   3813 |        0 |        0
412.02/412.16	c  412s |      22 |  1906185 |  1656422 |      994   3826 |        0 |        0
414.02/414.18	c  414s |      22 |  1914682 |  1663922 |      994   3840 |        0 |        0
416.02/416.19	c  416s |      22 |  1923233 |  1671422 |      994   3853 |        0 |        0
418.12/418.22	c  418s |      22 |  1932427 |  1679422 |      994   3868 |        0 |        0
420.13/420.24	c  420s |      22 |  1940988 |  1687022 |      994   3881 |        0 |        0
422.12/422.25	c  422s |      22 |  1949708 |  1694622 |      994   3895 |        0 |        0
424.12/424.26	c  424s |      22 |  1958616 |  1702422 |      994   3909 |        0 |        0
426.12/426.27	c  426s |      22 |  1967479 |  1710022 |      994   3923 |        0 |        0
428.12/428.29	c  428s |      22 |  1975649 |  1717222 |      994   3936 |        0 |        0
430.22/430.30	c  430s |      22 |  1984259 |  1724822 |      994   3950 |        0 |        0
432.12/432.30	c  432s |      22 |  1992969 |  1732422 |      994   3964 |        0 |        0
434.22/434.31	c  434s |      22 |  2001376 |  1739922 |      994   3977 |        0 |        0
436.22/436.32	c  436s |      22 |  2009888 |  1747422 |      994   3991 |        0 |        0
438.22/438.32	c  438s |      22 |  2018833 |  1755422 |      994   4005 |        0 |        0
440.22/440.33	c  440s |      22 |  2027674 |  1763222 |      994   4020 |        0 |        0
442.22/442.35	c  442s |      22 |  2035868 |  1770722 |      994   4033 |        0 |        0
444.21/444.38	c  444s |      22 |  2044007 |  1778122 |      994   4047 |        0 |        0
446.21/446.39	c  446s |      22 |  2052063 |  1785522 |      994   4060 |        0 |        0
448.31/448.41	c  448s |      22 |  2059639 |  1792622 |      994   4072 |        0 |        0
450.31/450.42	c  450s |      22 |  2066609 |  1799022 |      994   4084 |        0 |        0
452.31/452.44	c  452s |      22 |  2075659 |  1807022 |      994   4098 |        0 |        0
454.33/454.45	c  454s |      22 |  2084721 |  1814922 |      994   4113 |        0 |        0
456.32/456.46	c  456s |      22 |  2092909 |  1822122 |      994   4126 |        0 |        0
458.32/458.47	c  458s |      22 |  2101452 |  1829622 |      994   4139 |        0 |        0
460.32/460.48	c  460s |      22 |  2109690 |  1837022 |      994   4152 |        0 |        0
462.32/462.49	c  462s |      22 |  2117851 |  1844422 |      994   4166 |        0 |        0
464.42/464.50	c  464s |      22 |  2126878 |  1852322 |      994   4180 |        0 |        0
466.43/466.52	c  466s |      22 |  2135664 |  1860022 |      994   4194 |        0 |        0
468.42/468.55	c  468s |      22 |  2143891 |  1867422 |      994   4207 |        0 |        0
470.42/470.57	c  470s |      22 |  2151405 |  1874322 |      994   4220 |        0 |        0
472.42/472.59	c  472s |      22 |  2159547 |  1881722 |      994   4233 |        0 |        0
474.52/474.60	c  474s |      22 |  2167655 |  1889022 |      994   4246 |        0 |        0
476.52/476.60	c  476s |      22 |  2176519 |  1896722 |      994   4260 |        0 |        0
478.52/478.61	c  478s |      22 |  2185241 |  1904422 |      994   4274 |        0 |        0
480.51/480.63	c  480s |      22 |  2193158 |  1911622 |      994   4287 |        0 |        0
482.51/482.66	c  482s |      22 |  2200992 |  1918722 |      994   4299 |        0 |        0
484.51/484.68	c  484s |      22 |  2208602 |  1925522 |      994   4312 |        0 |        0
486.61/486.70	c  486s |      22 |  2216770 |  1932722 |      994   4325 |        0 |        0
488.62/488.71	c  488s |      22 |  2224608 |  1939722 |      994   4337 |        0 |        0
490.62/490.73	c  490s |      22 |  2232403 |  1946722 |      994   4350 |        0 |        0
492.62/492.73	c  492s |      22 |  2240635 |  1954122 |      994   4364 |        0 |        0
494.61/494.75	c  494s |      22 |  2249064 |  1961622 |      994   4377 |        0 |        0
496.61/496.75	c  496s |      22 |  2257458 |  1969122 |      994   4391 |        0 |        0
498.61/498.77	c  498s |      22 |  2265881 |  1976722 |      994   4405 |        0 |        0
500.61/500.78	c  500s |      22 |  2274272 |  1984222 |      994   4418 |        0 |        0
502.62/502.80	c  502s |      22 |  2282496 |  1991622 |      994   4432 |        0 |        0
504.71/504.81	c  504s |      22 |  2291122 |  1999322 |      994   4446 |        0 |        0
506.71/506.83	c  506s |      22 |  2299968 |  2007022 |      994   4459 |        0 |        0
508.71/508.83	c  508s |      22 |  2308304 |  2014422 |      994   4473 |        0 |        0
510.71/510.85	c  510s |      22 |  2316959 |  2022222 |      994   4487 |        0 |        0
512.71/512.87	c  512s |      22 |  2325455 |  2030022 |      994   4501 |        0 |        0
514.72/514.87	c  514s |      22 |  2333691 |  2037522 |      994   4514 |        0 |        0
516.71/516.88	c  516s |      22 |  2341697 |  2044722 |      994   4527 |        0 |        0
518.81/518.90	c  518s |      22 |  2349925 |  2052122 |      994   4540 |        0 |        0
520.81/520.92	c  520s |      22 |  2358572 |  2059922 |      994   4555 |        0 |        0
522.81/522.94	c  522s |      22 |  2366810 |  2067322 |      994   4568 |        0 |        0
524.81/524.95	c  524s |      22 |  2374555 |  2074422 |      994   4581 |        0 |        0
526.81/526.98	c  526s |      22 |  2382426 |  2081622 |      994   4594 |        0 |        0
528.81/529.00	c  528s |      22 |  2391978 |  2089722 |      994   4608 |        0 |        0
530.91/531.00	c  530s |      22 |  2400941 |  2097522 |      994   4622 |        0 |        0
532.91/533.01	c  532s |      22 |  2409233 |  2105022 |      994   4636 |        0 |        0
534.90/535.02	c  535s |      22 |  2417628 |  2112622 |      994   4650 |        0 |        0
536.90/537.04	c  537s |      22 |  2426263 |  2120322 |      994   4663 |        0 |        0
538.91/539.06	c  539s |      22 |  2434785 |  2127922 |      994   4677 |        0 |        0
540.90/541.08	c  541s |      22 |  2443036 |  2135322 |      994   4691 |        0 |        0
542.90/543.09	c  543s |      22 |  2451540 |  2142922 |      994   4705 |        0 |        0
545.00/545.11	c  545s |      22 |  2459903 |  2150522 |      994   4718 |        0 |        0
547.00/547.12	c  547s |      22 |  2468221 |  2158022 |      994   4732 |        0 |        0
549.00/549.14	c  549s |      22 |  2476243 |  2165122 |      994   4745 |        0 |        0
551.01/551.15	c  551s |      22 |  2484330 |  2172322 |      994   4758 |        0 |        0
553.00/553.18	c  553s |      22 |  2492327 |  2179422 |      994   4771 |        0 |        0
555.10/555.21	c  555s |      22 |  2500209 |  2186422 |      994   4784 |        0 |        0
557.11/557.23	c  557s |      22 |  2508066 |  2193522 |      994   4797 |        0 |        0
559.11/559.24	c  559s |      22 |  2516166 |  2200822 |      994   4810 |        0 |        0
561.11/561.25	c  561s |      22 |  2523824 |  2207822 |      994   4822 |        0 |        0
563.11/563.27	c  563s |      22 |  2532688 |  2215522 |      994   4836 |        0 |        0
565.11/565.27	c  565s |      22 |  2541751 |  2223222 |      994   4850 |        0 |        0
567.10/567.29	c  567s |      22 |  2549953 |  2230422 |      994   4863 |        0 |        0
569.20/569.32	c  569s |      22 |  2558119 |  2237522 |     1094   4876 |        0 |        0
571.20/571.33	c  571s |      22 |  2566244 |  2244722 |     1094   4888 |        0 |        0
572.90/573.04	c  573s |      23 |  2573373 |  2251038 |     1094   4898 |        0 |        0
574.90/575.06	c  575s |      23 |  2582635 |  2259238 |     1094   4911 |        0 |        0
576.90/577.07	c  577s |      23 |  2591415 |  2267038 |     1094   4924 |        0 |        0
578.90/579.07	c  579s |      23 |  2599363 |  2274338 |     1094   4936 |        0 |        0
580.90/581.09	c  581s |      23 |  2607985 |  2281938 |     1094   4949 |        0 |        0
582.90/583.09	c  583s |      23 |  2616281 |  2289438 |     1094   4961 |        0 |        0
584.90/585.09	c  585s |      23 |  2624250 |  2296638 |     1094   4973 |        0 |        0
587.00/587.10	c  587s |      23 |  2632824 |  2304238 |     1094   4985 |        0 |        0
589.00/589.13	c  589s |      23 |  2640917 |  2311538 |     1094   4997 |        0 |        0
591.00/591.14	c  591s |      23 |  2648959 |  2318638 |     1094   5009 |        0 |        0
593.00/593.17	c  593s |      23 |  2656462 |  2325438 |     1094   5020 |        0 |        0
595.00/595.17	c  595s |      23 |  2663673 |  2331938 |     1094   5031 |        0 |        0
597.00/597.18	c  597s |      23 |  2671325 |  2338838 |     1094   5042 |        0 |        0
599.00/599.19	c  599s |      23 |  2678372 |  2345138 |     1094   5053 |        0 |        0
601.09/601.21	c  601s |      23 |  2687146 |  2352938 |     1094   5066 |        0 |        0
603.09/603.23	c  603s |      23 |  2695569 |  2360338 |     1094   5078 |        0 |        0
605.09/605.24	c  605s |      23 |  2704002 |  2367838 |     1094   5090 |        0 |        0
607.10/607.25	c  607s |      23 |  2712945 |  2375738 |     1094   5103 |        0 |        0
609.09/609.27	c  609s |      23 |  2721654 |  2383538 |     1094   5116 |        0 |        0
611.09/611.29	c  611s |      23 |  2730047 |  2390938 |     1094   5128 |        0 |        0
613.19/613.31	c  613s |      23 |  2738807 |  2398538 |     1094   5141 |        0 |        0
615.19/615.32	c  615s |      23 |  2747155 |  2405938 |     1094   5153 |        0 |        0
617.20/617.34	c  617s |      23 |  2755033 |  2412938 |     1094   5165 |        0 |        0
619.20/619.38	c  619s |      23 |  2762048 |  2419338 |     1094   5176 |        0 |        0
621.20/621.38	c  621s |      23 |  2769423 |  2425938 |     1094   5186 |        0 |        0
623.20/623.39	c  623s |      23 |  2776388 |  2432338 |     1094   5197 |        0 |        0
625.20/625.39	c  625s |      23 |  2783426 |  2438638 |     1094   5207 |        0 |        0
627.29/627.42	c  627s |      23 |  2790863 |  2445038 |     1094   5218 |        0 |        0
629.29/629.42	c  629s |      23 |  2797856 |  2451138 |     1094   5228 |        0 |        0
631.30/631.44	c  631s |      23 |  2805616 |  2457938 |     1094   5239 |        0 |        0
633.29/633.47	c  633s |      23 |  2812787 |  2464338 |     1094   5250 |        0 |        0
635.29/635.49	c  635s |      23 |  2820234 |  2470838 |     1094   5260 |        0 |        0
637.39/637.51	c  637s |      23 |  2828028 |  2477738 |     1094   5272 |        0 |        0
639.39/639.54	c  639s |      23 |  2835522 |  2484338 |     1094   5283 |        0 |        0
641.39/641.56	c  641s |      23 |  2841994 |  2490238 |     1094   5293 |        0 |        0
643.40/643.59	c  643s |      23 |  2849759 |  2497238 |     1094   5304 |        0 |        0
645.49/645.60	c  645s |      23 |  2857320 |  2504038 |     1094   5315 |        0 |        0
647.49/647.61	c  647s |      23 |  2864326 |  2510438 |     1094   5326 |        0 |        0
649.49/649.64	c  649s |      23 |  2872262 |  2517538 |     1094   5338 |        0 |        0
651.49/651.65	c  651s |      23 |  2880741 |  2525038 |     1094   5350 |        0 |        0
653.49/653.65	c  653s |      23 |  2888866 |  2532238 |     1094   5362 |        0 |        0
655.49/655.69	c  655s |      23 |  2896879 |  2539238 |     1094   5374 |        0 |        0
657.49/657.69	c  657s |      23 |  2903646 |  2545338 |     1094   5384 |        0 |        0
659.59/659.71	c  659s |      23 |  2911384 |  2552138 |     1094   5395 |        0 |        0
661.59/661.74	c  661s |      23 |  2918566 |  2558738 |     1094   5406 |        0 |        0
663.59/663.74	c  663s |      23 |  2926293 |  2565438 |     1094   5417 |        0 |        0
665.58/665.75	c  665s |      23 |  2934903 |  2572938 |     1094   5429 |        0 |        0
667.59/667.77	c  667s |      23 |  2943237 |  2580238 |     1094   5441 |        0 |        0
669.58/669.78	c  669s |      23 |  2950125 |  2586438 |     1094   5452 |        0 |        0
671.68/671.80	c  671s |      23 |  2956995 |  2592638 |     1094   5462 |        0 |        0
673.68/673.82	c  673s |      23 |  2964668 |  2599338 |     1094   5473 |        0 |        0
675.68/675.82	c  675s |      23 |  2972416 |  2606238 |     1094   5484 |        0 |        0
677.69/677.82	c  677s |      23 |  2980288 |  2613138 |     1094   5496 |        0 |        0
679.69/679.85	c  679s |      23 |  2987577 |  2619738 |     1094   5507 |        0 |        0
681.69/681.85	c  681s |      23 |  2995718 |  2626638 |     1094   5518 |        0 |        0
683.69/683.86	c  683s |      23 |  3004838 |  2634538 |     1094   5531 |        0 |        0
685.69/685.88	c  685s |      23 |  3013782 |  2642438 |     1094   5544 |        0 |        0
687.69/687.89	c  687s |      23 |  3022344 |  2649738 |     1094   5556 |        0 |        0
689.79/689.92	c  689s |      23 |  3030421 |  2656738 |     1094   5568 |        0 |        0
691.79/691.95	c  691s |      23 |  3039212 |  2664238 |     1094   5580 |        0 |        0
693.78/693.96	c  693s |      23 |  3047243 |  2671338 |     1094   5592 |        0 |        0
695.78/695.97	c  695s |      23 |  3055602 |  2678638 |     1094   5604 |        0 |        0
697.78/697.98	c  697s |      23 |  3064292 |  2686338 |     1094   5617 |        0 |        0
699.78/699.99	c  699s |      23 |  3072917 |  2693738 |     1094   5629 |        0 |        0
701.88/702.01	c  701s |      23 |  3081448 |  2701238 |     1094   5642 |        0 |        0
703.89/704.03	c  704s |      23 |  3089274 |  2708338 |     1094   5653 |        0 |        0
705.88/706.06	c  706s |      23 |  3096885 |  2715238 |     1094   5665 |        0 |        0
707.88/708.09	c  708s |      23 |  3104911 |  2722338 |     1094   5677 |        0 |        0
709.98/710.11	c  710s |      23 |  3112814 |  2729438 |     1094   5688 |        0 |        0
711.97/712.12	c  712s |      23 |  3120592 |  2736438 |     1094   5700 |        0 |        0
713.97/714.12	c  714s |      23 |  3128974 |  2743738 |     1094   5712 |        0 |        0
715.98/716.15	c  716s |      23 |  3136685 |  2750638 |     1094   5723 |        0 |        0
717.97/718.18	c  718s |      23 |  3145254 |  2757738 |     1094   5735 |        0 |        0
720.06/720.20	c  720s |      23 |  3153527 |  2764638 |     1094   5747 |        0 |        0
722.06/722.21	c  722s |      23 |  3161018 |  2771138 |     1094   5758 |        0 |        0
724.06/724.21	c  724s |      23 |  3168091 |  2777538 |     1094   5768 |        0 |        0
726.06/726.23	c  726s |      23 |  3175047 |  2783838 |     1094   5779 |        0 |        0
728.07/728.24	c  728s |      23 |  3182390 |  2790438 |     1094   5789 |        0 |        0
730.06/730.27	c  730s |      23 |  3190014 |  2797238 |     1094   5801 |        0 |        0
732.06/732.27	c  732s |      23 |  3197367 |  2803938 |     1094   5812 |        0 |        0
734.06/734.29	c  734s |      23 |  3204439 |  2810338 |     1094   5822 |        0 |        0
736.06/736.29	c  736s |      23 |  3211731 |  2817038 |     1094   5833 |        0 |        0
738.16/738.31	c  738s |      23 |  3219759 |  2824238 |     1094   5845 |        0 |        0
740.16/740.33	c  740s |      23 |  3228045 |  2831638 |     1094   5857 |        0 |        0
742.15/742.35	c  742s |      23 |  3235792 |  2838538 |     1094   5869 |        0 |        0
744.15/744.36	c  744s |      23 |  3243375 |  2845338 |     1094   5880 |        0 |        0
746.15/746.36	c  746s |      23 |  3250823 |  2852038 |     1094   5891 |        0 |        0
748.15/748.38	c  748s |      23 |  3258694 |  2859038 |     1094   5903 |        0 |        0
750.16/750.39	c  750s |      23 |  3266276 |  2865738 |     1094   5914 |        0 |        0
752.26/752.41	c  752s |      23 |  3273726 |  2872238 |     1094   5925 |        0 |        0
754.26/754.41	c  754s |      23 |  3281276 |  2878938 |     1094   5936 |        0 |        0
756.26/756.44	c  756s |      23 |  3288858 |  2885638 |     1094   5947 |        0 |        0
758.26/758.45	c  758s |      23 |  3296006 |  2892038 |     1094   5958 |        0 |        0
760.25/760.45	c  760s |      23 |  3303074 |  2898438 |     1094   5968 |        0 |        0
762.26/762.47	c  762s |      23 |  3310578 |  2905138 |     1094   5979 |        0 |        0
764.25/764.48	c  764s |      23 |  3317555 |  2911538 |     1094   5990 |        0 |        0
766.25/766.48	c  766s |      23 |  3324794 |  2917938 |     1094   6000 |        0 |        0
768.25/768.48	c  768s |      23 |  3332125 |  2924538 |     1094   6011 |        0 |        0
770.25/770.50	c  770s |      23 |  3339246 |  2930938 |     1094   6022 |        0 |        0
772.35/772.50	c  772s |      23 |  3346507 |  2937438 |     1094   6033 |        0 |        0
774.35/774.52	c  774s |      23 |  3353973 |  2944138 |     1094   6044 |        0 |        0
776.34/776.54	c  776s |      23 |  3361956 |  2951238 |     1094   6056 |        0 |        0
778.34/778.57	c  778s |      23 |  3369718 |  2958138 |     1094   6067 |        0 |        0
780.34/780.58	c  780s |      23 |  3377627 |  2965238 |     1094   6079 |        0 |        0
782.34/782.59	c  782s |      23 |  3386064 |  2972738 |     1094   6091 |        0 |        0
784.34/784.59	c  784s |      23 |  3393720 |  2979738 |     1094   6103 |        0 |        0
786.44/786.61	c  786s |      23 |  3402179 |  2987038 |     1094   6115 |        0 |        0
788.44/788.62	c  788s |      23 |  3409762 |  2993738 |     1094   6126 |        0 |        0
790.43/790.64	c  790s |      23 |  3417116 |  3000338 |     1094   6137 |        0 |        0
792.43/792.66	c  792s |      23 |  3423888 |  3006438 |     1094   6147 |        0 |        0
794.43/794.67	c  794s |      23 |  3430574 |  3012338 |     1094   6157 |        0 |        0
796.43/796.69	c  796s |      23 |  3438762 |  3019738 |     1094   6170 |        0 |        0
798.44/798.70	c  798s |      23 |  3446202 |  3026538 |     1094   6181 |        0 |        0
800.53/800.70	c  800s |      23 |  3453408 |  3033138 |     1094   6192 |        0 |        0
802.53/802.72	c  802s |      23 |  3460356 |  3039538 |     1094   6202 |        0 |        0
804.52/804.73	c  804s |      23 |  3467354 |  3045938 |     1094   6213 |        0 |        0
806.52/806.74	c  806s |      23 |  3474040 |  3052138 |     1094   6223 |        0 |        0
808.52/808.76	c  808s |      23 |  3481314 |  3058638 |     1094   6234 |        0 |        0
810.52/810.78	c  810s |      23 |  3488715 |  3065238 |     1094   6244 |        0 |        0
812.62/812.80	c  812s |      23 |  3495817 |  3071638 |     1094   6255 |        0 |        0
814.62/814.81	c  814s |      23 |  3502487 |  3077638 |     1094   6265 |        0 |        0
816.61/816.81	c  816s |      23 |  3509815 |  3084138 |     1094   6276 |        0 |        0
818.61/818.82	c  818s |      23 |  3516445 |  3090038 |     1094   6285 |        0 |        0
820.61/820.85	c  820s |      23 |  3522993 |  3095938 |     1094   6295 |        0 |        0
822.62/822.86	c  822s |      23 |  3529726 |  3101938 |     1094   6305 |        0 |        0
824.61/824.87	c  824s |      23 |  3536585 |  3108138 |     1094   6315 |        0 |        0
826.61/826.89	c  826s |      23 |  3542677 |  3113638 |     1094   6324 |        0 |        0
828.61/828.89	c  828s |      23 |  3549795 |  3120038 |     1094   6335 |        0 |        0
830.70/830.92	c  830s |      23 |  3556974 |  3126438 |     1094   6345 |        0 |        0
832.70/832.93	c  832s |      23 |  3564643 |  3133338 |     1094   6357 |        0 |        0
834.71/834.95	c  834s |      23 |  3571757 |  3139838 |     1094   6367 |        0 |        0
836.70/836.97	c  836s |      23 |  3578417 |  3145738 |     1094   6377 |        0 |        0
838.70/838.99	c  838s |      23 |  3585618 |  3152138 |     1094   6388 |        0 |        0
840.80/841.02	c  841s |      23 |  3592499 |  3158338 |     1094   6398 |        0 |        0
842.80/843.04	c  843s |      23 |  3599241 |  3164438 |     1094   6408 |        0 |        0
844.80/845.05	c  845s |      23 |  3605667 |  3170338 |     1094   6418 |        0 |        0
846.80/847.07	c  847s |      23 |  3612883 |  3176538 |     1094   6428 |        0 |        0
848.80/849.08	c  849s |      23 |  3620484 |  3183038 |     1094   6439 |        0 |        0
850.79/851.09	c  851s |      23 |  3628239 |  3189738 |     1094   6450 |        0 |        0
852.89/853.12	c  853s |      23 |  3635811 |  3196338 |     1094   6461 |        0 |        0
854.89/855.12	c  855s |      23 |  3642370 |  3202138 |     1094   6471 |        0 |        0
856.89/857.14	c  857s |      23 |  3649308 |  3208138 |     1094   6481 |        0 |        0
858.90/859.17	c  859s |      23 |  3656331 |  3214238 |     1094   6491 |        0 |        0
860.99/861.20	c  861s |      23 |  3663754 |  3220638 |     1094   6501 |        0 |        0
862.99/863.20	c  863s |      23 |  3670994 |  3226838 |     1094   6512 |        0 |        0
864.99/865.20	c  865s |      23 |  3678057 |  3232938 |     1094   6522 |        0 |        0
866.99/867.22	c  867s |      23 |  3685083 |  3239138 |     1094   6532 |        0 |        0
868.99/869.24	c  869s |      23 |  3691899 |  3245138 |     1094   6542 |        0 |        0
870.98/871.26	c  871s |      23 |  3698578 |  3251038 |     1094   6552 |        0 |        0
872.97/873.26	c  873s |      23 |  3705396 |  3257138 |     1094   6562 |        0 |        0
874.97/875.27	c  875s |      23 |  3712353 |  3263338 |     1094   6572 |        0 |        0
876.98/877.29	c  877s |      23 |  3718902 |  3269338 |     1094   6582 |        0 |        0
879.08/879.31	c  879s |      23 |  3725779 |  3275538 |     1094   6592 |        0 |        0
881.07/881.33	c  881s |      23 |  3732237 |  3281238 |     1094   6601 |        0 |        0
883.08/883.36	c  883s |      23 |  3738587 |  3286838 |     1094   6611 |        0 |        0
885.07/885.36	c  885s |      23 |  3745687 |  3293138 |     1094   6621 |        0 |        0
887.07/887.37	c  887s |      23 |  3752653 |  3299138 |     1094   6631 |        0 |        0
889.07/889.38	c  889s |      23 |  3761622 |  3307038 |     1094   6644 |        0 |        0
891.06/891.39	c  891s |      23 |  3769730 |  3314238 |     1094   6656 |        0 |        0
893.16/893.40	c  893s |      23 |  3778178 |  3321538 |     1094   6668 |        0 |        0
895.06/895.40	c  895s |      23 |  3786121 |  3328438 |     1094   6679 |        0 |        0
897.16/897.41	c  897s |      23 |  3793639 |  3335138 |     1094   6691 |        0 |        0
899.16/899.44	c  899s |      23 |  3801794 |  3342238 |     1094   6702 |        0 |        0
901.16/901.46	c  901s |      23 |  3809496 |  3349038 |     1094   6713 |        0 |        0
903.16/903.49	c  903s |      23 |  3817021 |  3355738 |     1204   6724 |        0 |        0
905.25/905.51	c  905s |      23 |  3824454 |  3362238 |     1204   6734 |        0 |        0
907.27/907.54	c  907s |      23 |  3831531 |  3368638 |     1204   6744 |        0 |        0
909.26/909.54	c  909s |      23 |  3839024 |  3375338 |     1204   6754 |        0 |        0
909.66/909.95	c  909s |      24 |  3840507 |  3376662 |     1204   6756 |        0 |        0
911.67/911.96	c  911s |      24 |  3849290 |  3384362 |     1204   6767 |        0 |        0
913.66/913.97	c  913s |      24 |  3857660 |  3391962 |     1204   6779 |        0 |        0
915.66/915.99	c  915s |      24 |  3865997 |  3399562 |     1204   6790 |        0 |        0
917.66/917.99	c  917s |      24 |  3874431 |  3407262 |     1204   6802 |        0 |        0
919.65/919.99	c  919s |      24 |  3882373 |  3414562 |     1204   6813 |        0 |        0
921.75/922.00	c  921s |      24 |  3890536 |  3422062 |     1204   6824 |        0 |        0
923.76/924.02	c  924s |      24 |  3898494 |  3429362 |     1204   6835 |        0 |        0
925.75/926.02	c  926s |      24 |  3906802 |  3436862 |     1204   6846 |        0 |        0
927.75/928.03	c  928s |      24 |  3915669 |  3444662 |     1204   6858 |        0 |        0
929.74/930.05	c  930s |      24 |  3924356 |  3452362 |     1204   6870 |        0 |        0
931.74/932.08	c  932s |      24 |  3932995 |  3460062 |     1204   6881 |        0 |        0
933.74/934.09	c  934s |      24 |  3941318 |  3467462 |     1204   6893 |        0 |        0
935.85/936.12	c  936s |      24 |  3949818 |  3475062 |     1204   6904 |        0 |        0
937.84/938.13	c  938s |      24 |  3958294 |  3482462 |     1204   6916 |        0 |        0
939.84/940.14	c  940s |      24 |  3965745 |  3489162 |     1204   6926 |        0 |        0
941.84/942.14	c  942s |      24 |  3973084 |  3495762 |     1204   6936 |        0 |        0
943.84/944.15	c  944s |      24 |  3980727 |  3502662 |     1204   6946 |        0 |        0
945.84/946.15	c  946s |      24 |  3988622 |  3509562 |     1204   6957 |        0 |        0
947.84/948.16	c  948s |      24 |  3995683 |  3516062 |     1204   6967 |        0 |        0
949.83/950.19	c  950s |      24 |  4002969 |  3522662 |     1204   6977 |        0 |        0
951.93/952.20	c  952s |      24 |  4010379 |  3529362 |     1204   6987 |        0 |        0
953.93/954.20	c  954s |      24 |  4018095 |  3536462 |     1204   6997 |        0 |        0
955.93/956.21	c  956s |      24 |  4024920 |  3542762 |     1204   7007 |        0 |        0
957.93/958.22	c  958s |      24 |  4032675 |  3549862 |     1204   7018 |        0 |        0
959.92/960.25	c  960s |      24 |  4040513 |  3556962 |     1204   7028 |        0 |        0
961.92/962.27	c  962s |      24 |  4048166 |  3563962 |     1204   7039 |        0 |        0
963.92/964.28	c  964s |      24 |  4056290 |  3571062 |     1204   7050 |        0 |        0
966.02/966.30	c  966s |      24 |  4063993 |  3578062 |     1204   7060 |        0 |        0
968.02/968.31	c  968s |      24 |  4071539 |  3584862 |     1204   7071 |        0 |        0
970.02/970.31	c  970s |      24 |  4079456 |  3591962 |     1204   7081 |        0 |        0
972.02/972.32	c  972s |      24 |  4087565 |  3599162 |     1204   7092 |        0 |        0
974.02/974.35	c  974s |      24 |  4095852 |  3606462 |     1204   7103 |        0 |        0
976.02/976.36	c  976s |      24 |  4104039 |  3613862 |     1204   7115 |        0 |        0
978.02/978.38	c  978s |      24 |  4112024 |  3621062 |     1204   7125 |        0 |        0
980.01/980.39	c  980s |      24 |  4119162 |  3627462 |     1204   7135 |        0 |        0
982.02/982.39	c  982s |      24 |  4126671 |  3634362 |     1204   7145 |        0 |        0
984.11/984.40	c  984s |      24 |  4134467 |  3641262 |     1204   7156 |        0 |        0
986.11/986.42	c  986s |      24 |  4141969 |  3648062 |     1204   7166 |        0 |        0
988.11/988.43	c  988s |      24 |  4149552 |  3654962 |     1204   7177 |        0 |        0
990.10/990.43	c  990s |      24 |  4157044 |  3661862 |     1204   7187 |        0 |        0
992.10/992.46	c  992s |      24 |  4165320 |  3669262 |     1204   7198 |        0 |        0
994.11/994.46	c  994s |      24 |  4172377 |  3675762 |     1204   7208 |        0 |        0
996.10/996.47	c  996s |      24 |  4179824 |  3682462 |     1204   7218 |        0 |        0
998.10/998.48	c  998s |      24 |  4187289 |  3689262 |     1204   7229 |        0 |        0
1000.09/1000.49	c 1000s |      24 |  4194917 |  3696162 |     1204   7239 |        0 |        0
1002.19/1002.51	c 1002s |      24 |  4202664 |  3703162 |     1204   7250 |        0 |        0
1004.19/1004.52	c 1004s |      24 |  4210122 |  3709962 |     1204   7260 |        0 |        0
1006.20/1006.54	c 1006s |      24 |  4217640 |  3716662 |     1204   7270 |        0 |        0
1008.19/1008.55	c 1008s |      24 |  4224878 |  3723262 |     1204   7280 |        0 |        0
1010.19/1010.55	c 1010s |      24 |  4231899 |  3729762 |     1204   7290 |        0 |        0
1012.19/1012.56	c 1012s |      24 |  4238920 |  3736162 |     1204   7300 |        0 |        0
1014.18/1014.57	c 1014s |      24 |  4246332 |  3742762 |     1204   7310 |        0 |        0
1016.19/1016.59	c 1016s |      24 |  4254758 |  3750262 |     1204   7321 |        0 |        0
1018.18/1018.59	c 1018s |      24 |  4263233 |  3757962 |     1204   7332 |        0 |        0
1020.28/1020.61	c 1020s |      24 |  4271395 |  3765262 |     1204   7343 |        0 |        0
1022.28/1022.62	c 1022s |      24 |  4279362 |  3772462 |     1204   7354 |        0 |        0
1024.29/1024.64	c 1024s |      24 |  4287549 |  3779862 |     1204   7366 |        0 |        0
1026.29/1026.65	c 1026s |      24 |  4295378 |  3786862 |     1204   7376 |        0 |        0
1028.29/1028.67	c 1028s |      24 |  4303199 |  3793962 |     1204   7387 |        0 |        0
1030.28/1030.69	c 1030s |      24 |  4310551 |  3800662 |     1204   7397 |        0 |        0
1032.38/1032.72	c 1032s |      24 |  4317745 |  3807162 |     1204   7407 |        0 |        0
1034.38/1034.73	c 1034s |      24 |  4324727 |  3813562 |     1204   7416 |        0 |        0
1036.38/1036.74	c 1036s |      24 |  4332638 |  3820662 |     1204   7427 |        0 |        0
1038.38/1038.74	c 1038s |      24 |  4340583 |  3827762 |     1204   7438 |        0 |        0
1040.38/1040.77	c 1040s |      24 |  4348161 |  3834662 |     1204   7448 |        0 |        0
1042.37/1042.78	c 1042s |      24 |  4355694 |  3841462 |     1204   7459 |        0 |        0
1044.47/1044.80	c 1044s |      24 |  4362527 |  3847762 |     1204   7468 |        0 |        0
1046.47/1046.82	c 1046s |      24 |  4370162 |  3854562 |     1204   7478 |        0 |        0
1048.47/1048.82	c 1048s |      24 |  4377404 |  3861162 |     1204   7488 |        0 |        0
1050.46/1050.84	c 1050s |      24 |  4384702 |  3867762 |     1204   7498 |        0 |        0
1052.47/1052.86	c 1052s |      24 |  4391748 |  3874162 |     1204   7508 |        0 |        0
1054.46/1054.87	c 1054s |      24 |  4399056 |  3880762 |     1204   7518 |        0 |        0
1056.46/1056.87	c 1056s |      24 |  4406820 |  3887962 |     1204   7529 |        0 |        0
1058.47/1058.88	c 1058s |      24 |  4415238 |  3895462 |     1204   7540 |        0 |        0
1060.56/1060.90	c 1060s |      24 |  4423549 |  3902962 |     1204   7551 |        0 |        0
1062.56/1062.92	c 1062s |      24 |  4432443 |  3910562 |     1204   7563 |        0 |        0
1064.56/1064.94	c 1064s |      24 |  4440086 |  3917362 |     1204   7573 |        0 |        0
1066.56/1066.94	c 1066s |      24 |  4447324 |  3923962 |     1204   7583 |        0 |        0
1068.55/1068.97	c 1068s |      24 |  4454874 |  3930762 |     1204   7593 |        0 |        0
1070.55/1070.99	c 1070s |      24 |  4462434 |  3937662 |     1204   7604 |        0 |        0
1072.55/1072.99	c 1072s |      24 |  4469184 |  3943862 |     1204   7613 |        0 |        0
1074.65/1075.01	c 1074s |      24 |  4477400 |  3951162 |     1204   7624 |        0 |        0
1076.65/1077.03	c 1077s |      24 |  4485623 |  3958662 |     1204   7636 |        0 |        0
1078.65/1079.03	c 1079s |      24 |  4493724 |  3965962 |     1204   7647 |        0 |        0
1080.64/1081.06	c 1081s |      24 |  4501956 |  3973262 |     1204   7658 |        0 |        0
1082.65/1083.07	c 1083s |      24 |  4509307 |  3979862 |     1204   7668 |        0 |        0
1084.75/1085.10	c 1085s |      24 |  4517120 |  3986962 |     1204   7679 |        0 |        0
1086.75/1087.10	c 1087s |      24 |  4524987 |  3994062 |     1204   7689 |        0 |        0
1088.75/1089.14	c 1089s |      24 |  4532638 |  4000762 |     1204   7700 |        0 |        0
1090.74/1091.15	c 1091s |      24 |  4540543 |  4007762 |     1204   7710 |        0 |        0
1092.74/1093.15	c 1093s |      24 |  4547578 |  4014162 |     1204   7720 |        0 |        0
1094.74/1095.18	c 1095s |      24 |  4554875 |  4020662 |     1204   7730 |        0 |        0
1096.74/1097.19	c 1097s |      24 |  4561408 |  4026562 |     1204   7739 |        0 |        0
1098.84/1099.21	c 1099s |      24 |  4568362 |  4032862 |     1204   7748 |        0 |        0
1100.84/1101.23	c 1101s |      24 |  4575113 |  4039062 |     1204   7758 |        0 |        0
1102.84/1103.23	c 1103s |      24 |  4583045 |  4046262 |     1204   7769 |        0 |        0
1104.84/1105.24	c 1105s |      24 |  4590518 |  4053062 |     1204   7779 |        0 |        0
1106.83/1107.25	c 1107s |      24 |  4597795 |  4059662 |     1204   7789 |        0 |        0
1108.83/1109.28	c 1109s |      24 |  4605315 |  4066362 |     1204   7799 |        0 |        0
1110.83/1111.29	c 1111s |      24 |  4612963 |  4073262 |     1204   7810 |        0 |        0
1112.84/1113.30	c 1113s |      24 |  4620754 |  4080362 |     1204   7821 |        0 |        0
1114.93/1115.30	c 1115s |      24 |  4629095 |  4087562 |     1204   7831 |        0 |        0
1116.93/1117.32	c 1117s |      24 |  4636925 |  4094462 |     1204   7842 |        0 |        0
1118.93/1119.34	c 1119s |      24 |  4645104 |  4101562 |     1204   7853 |        0 |        0
1120.92/1121.36	c 1121s |      24 |  4652725 |  4108462 |     1204   7863 |        0 |        0
1122.92/1123.38	c 1123s |      24 |  4660450 |  4115262 |     1204   7874 |        0 |        0
1124.93/1125.39	c 1125s |      24 |  4668095 |  4121962 |     1204   7884 |        0 |        0
1127.02/1127.40	c 1127s |      24 |  4675059 |  4128162 |     1204   7893 |        0 |        0
1129.02/1129.44	c 1129s |      24 |  4681852 |  4134162 |     1204   7903 |        0 |        0
1131.01/1131.47	c 1131s |      24 |  4690068 |  4141362 |     1204   7914 |        0 |        0
1133.01/1133.48	c 1133s |      24 |  4697772 |  4148162 |     1204   7924 |        0 |        0
1135.01/1135.49	c 1135s |      24 |  4704615 |  4154362 |     1204   7933 |        0 |        0
1137.02/1137.50	c 1137s |      24 |  4710763 |  4159962 |     1204   7942 |        0 |        0
1139.11/1139.50	c 1139s |      24 |  4717224 |  4165662 |     1204   7951 |        0 |        0
1141.11/1141.52	c 1141s |      24 |  4723560 |  4171362 |     1204   7959 |        0 |        0
1143.11/1143.53	c 1143s |      24 |  4729858 |  4176862 |     1204   7967 |        0 |        0
1145.11/1145.55	c 1145s |      24 |  4735264 |  4181762 |     1204   7975 |        0 |        0
1147.10/1147.56	c 1147s |      24 |  4742441 |  4188262 |     1204   7985 |        0 |        0
1149.12/1149.56	c 1149s |      24 |  4749278 |  4194462 |     1204   7994 |        0 |        0
1151.11/1151.58	c 1151s |      24 |  4756363 |  4200862 |     1204   8004 |        0 |        0
1153.21/1153.60	c 1153s |      24 |  4764010 |  4207662 |     1204   8014 |        0 |        0
1155.21/1155.63	c 1155s |      24 |  4771185 |  4214162 |     1204   8024 |        0 |        0
1157.21/1157.63	c 1157s |      24 |  4778480 |  4220462 |     1204   8034 |        0 |        0
1159.20/1159.66	c 1159s |      24 |  4786277 |  4227262 |     1204   8044 |        0 |        0
1161.20/1161.67	c 1161s |      24 |  4793169 |  4233462 |     1204   8053 |        0 |        0
1163.20/1163.68	c 1163s |      24 |  4800247 |  4239662 |     1204   8063 |        0 |        0
1165.29/1165.70	c 1165s |      24 |  4807309 |  4245962 |     1204   8072 |        0 |        0
1167.29/1167.71	c 1167s |      24 |  4814796 |  4252362 |     1204   8082 |        0 |        0
1169.29/1169.73	c 1169s |      24 |  4822478 |  4259062 |     1204   8092 |        0 |        0
1171.29/1171.75	c 1171s |      24 |  4828622 |  4264662 |     1204   8101 |        0 |        0
1173.29/1173.78	c 1173s |      24 |  4835066 |  4270562 |     1204   8110 |        0 |        0
1175.39/1175.80	c 1175s |      24 |  4841540 |  4276462 |     1204   8119 |        0 |        0
1177.39/1177.80	c 1177s |      24 |  4847617 |  4281962 |     1204   8127 |        0 |        0
1179.38/1179.81	c 1179s |      24 |  4853561 |  4287362 |     1204   8135 |        0 |        0
1181.38/1181.83	c 1181s |      24 |  4860471 |  4293462 |     1204   8145 |        0 |        0
1183.38/1183.83	c 1183s |      24 |  4867242 |  4299462 |     1204   8154 |        0 |        0
1185.40/1185.85	c 1185s |      24 |  4874051 |  4305462 |     1204   8163 |        0 |        0
1187.39/1187.86	c 1187s |      24 |  4880496 |  4311162 |     1204   8171 |        0 |        0
1189.39/1189.89	c 1189s |      24 |  4886721 |  4316762 |     1204   8180 |        0 |        0
1191.48/1191.91	c 1191s |      24 |  4894491 |  4323662 |     1204   8190 |        0 |        0
1193.48/1193.91	c 1193s |      24 |  4901961 |  4330362 |     1204   8200 |        0 |        0
1195.48/1195.92	c 1195s |      24 |  4909362 |  4336962 |     1204   8211 |        0 |        0
1197.49/1197.92	c 1197s |      24 |  4916705 |  4343562 |     1204   8221 |        0 |        0
1199.47/1199.94	c 1199s |      24 |  4923537 |  4349662 |     1204   8230 |        0 |        0
1201.47/1201.97	c 1201s |      24 |  4930580 |  4355862 |     1204   8239 |        0 |        0
1203.57/1204.00	c 1203s |      24 |  4937545 |  4362062 |     1204   8249 |        0 |        0
1205.57/1206.01	c 1205s |      24 |  4944294 |  4368162 |     1204   8258 |        0 |        0
1207.57/1208.02	c 1208s |      24 |  4951401 |  4374562 |     1204   8268 |        0 |        0
1209.57/1210.04	c 1210s |      24 |  4958369 |  4380862 |     1204   8277 |        0 |        0
1211.57/1212.05	c 1212s |      24 |  4964977 |  4386862 |     1204   8286 |        0 |        0
1213.57/1214.08	c 1214s |      24 |  4971321 |  4392662 |     1204   8295 |        0 |        0
1215.56/1216.08	c 1216s |      24 |  4977673 |  4398462 |     1204   8304 |        0 |        0
1217.56/1218.09	c 1218s |      24 |  4983644 |  4403962 |     1204   8312 |        0 |        0
1219.66/1220.11	c 1220s |      24 |  4991103 |  4410862 |     1204   8323 |        0 |        0
1221.66/1222.13	c 1222s |      24 |  4998292 |  4417462 |     1204   8333 |        0 |        0
1223.66/1224.13	c 1224s |      24 |  5005438 |  4424062 |     1204   8343 |        0 |        0
1225.66/1226.14	c 1226s |      24 |  5013276 |  4431062 |     1204   8353 |        0 |        0
1227.65/1228.15	c 1228s |      24 |  5020865 |  4437762 |     1204   8363 |        0 |        0
1229.65/1230.16	c 1230s |      24 |  5027820 |  4443962 |     1204   8373 |        0 |        0
1231.65/1232.18	c 1232s |      24 |  5034207 |  4449862 |     1204   8382 |        0 |        0
1233.75/1234.21	c 1234s |      24 |  5041090 |  4456062 |     1204   8391 |        0 |        0
1235.75/1236.23	c 1236s |      24 |  5048472 |  4462562 |     1204   8401 |        0 |        0
1237.75/1238.23	c 1238s |      24 |  5055795 |  4469262 |     1204   8411 |        0 |        0
1239.75/1240.26	c 1240s |      24 |  5062844 |  4475662 |     1204   8421 |        0 |        0
1241.75/1242.27	c 1242s |      24 |  5069274 |  4481562 |     1204   8430 |        0 |        0
1243.76/1244.28	c 1244s |      24 |  5076049 |  4487562 |     1204   8439 |        0 |        0
1245.86/1246.31	c 1246s |      24 |  5082924 |  4493862 |     1204   8449 |        0 |        0
1247.85/1248.31	c 1248s |      24 |  5089737 |  4500062 |     1204   8458 |        0 |        0
1249.85/1250.34	c 1250s |      24 |  5096082 |  4505962 |     1204   8467 |        0 |        0
1251.85/1252.35	c 1252s |      24 |  5102255 |  4511662 |     1204   8476 |        0 |        0
1253.85/1254.36	c 1254s |      24 |  5108565 |  4517462 |     1204   8485 |        0 |        0
1255.85/1256.38	c 1256s |      24 |  5114477 |  4522962 |     1204   8493 |        0 |        0
1257.95/1258.41	c 1258s |      24 |  5120590 |  4528562 |     1204   8502 |        0 |        0
1259.94/1260.42	c 1260s |      24 |  5126705 |  4534062 |     1204   8510 |        0 |        0
1261.94/1262.44	c 1262s |      24 |  5133406 |  4540262 |     1204   8519 |        0 |        0
1263.94/1264.44	c 1264s |      24 |  5140231 |  4546462 |     1204   8529 |        0 |        0
1265.94/1266.47	c 1266s |      24 |  5146829 |  4552562 |     1204   8538 |        0 |        0
1267.94/1268.48	c 1268s |      24 |  5153390 |  4558562 |     1204   8547 |        0 |        0
1269.93/1270.49	c 1270s |      24 |  5160097 |  4564662 |     1204   8557 |        0 |        0
1272.03/1272.51	c 1272s |      24 |  5166615 |  4570562 |     1204   8565 |        0 |        0
1274.03/1274.51	c 1274s |      24 |  5173126 |  4576562 |     1204   8575 |        0 |        0
1276.03/1276.52	c 1276s |      24 |  5179978 |  4582762 |     1204   8584 |        0 |        0
1278.03/1278.52	c 1278s |      24 |  5186491 |  4588762 |     1204   8593 |        0 |        0
1280.03/1280.56	c 1280s |      24 |  5193375 |  4594962 |     1204   8603 |        0 |        0
1282.02/1282.58	c 1282s |      24 |  5200837 |  4601562 |     1204   8613 |        0 |        0
1284.02/1284.58	c 1284s |      24 |  5207715 |  4607762 |     1204   8622 |        0 |        0
1286.02/1286.59	c 1286s |      24 |  5214358 |  4613862 |     1204   8631 |        0 |        0
1288.12/1288.62	c 1288s |      24 |  5220746 |  4619862 |     1204   8640 |        0 |        0
1290.12/1290.64	c 1290s |      24 |  5227015 |  4625662 |     1204   8649 |        0 |        0
1292.12/1292.65	c 1292s |      24 |  5233527 |  4631662 |     1204   8658 |        0 |        0
1294.12/1294.67	c 1294s |      24 |  5239779 |  4637462 |     1204   8667 |        0 |        0
1296.12/1296.68	c 1296s |      24 |  5245680 |  4642962 |     1204   8675 |        0 |        0
1298.22/1298.72	c 1298s |      24 |  5251793 |  4648462 |     1204   8684 |        0 |        0
1300.21/1300.74	c 1300s |      24 |  5257344 |  4653662 |     1204   8691 |        0 |        0
1302.21/1302.77	c 1302s |      24 |  5263005 |  4658862 |     1204   8699 |        0 |        0
1304.31/1304.80	c 1304s |      24 |  5269321 |  4664562 |     1204   8708 |        0 |        0
1306.32/1306.82	c 1306s |      24 |  5276036 |  4670662 |     1204   8717 |        0 |        0
1308.31/1308.82	c 1308s |      24 |  5282002 |  4676162 |     1204   8725 |        0 |        0
1310.31/1310.84	c 1310s |      24 |  5287614 |  4681362 |     1204   8733 |        0 |        0
1312.31/1312.86	c 1312s |      24 |  5294223 |  4687362 |     1204   8742 |        0 |        0
1314.30/1314.87	c 1314s |      24 |  5300236 |  4692962 |     1204   8751 |        0 |        0
1316.31/1316.88	c 1316s |      24 |  5306349 |  4698562 |     1204   8759 |        0 |        0
1318.30/1318.89	c 1318s |      24 |  5312112 |  4703862 |     1204   8767 |        0 |        0
1320.40/1320.90	c 1320s |      24 |  5318351 |  4709662 |     1204   8776 |        0 |        0
1322.40/1322.92	c 1322s |      24 |  5324964 |  4715662 |     1204   8785 |        0 |        0
1324.40/1324.94	c 1324s |      24 |  5331447 |  4721562 |     1204   8794 |        0 |        0
1326.40/1326.95	c 1326s |      24 |  5338091 |  4727562 |     1204   8803 |        0 |        0
1328.41/1328.96	c 1328s |      24 |  5344063 |  4733062 |     1204   8812 |        0 |        0
1330.40/1330.98	c 1330s |      24 |  5349923 |  4738462 |     1204   8820 |        0 |        0
1332.40/1332.99	c 1332s |      24 |  5355862 |  4743862 |     1204   8828 |        0 |        0
1334.50/1335.03	c 1335s |      24 |  5361341 |  4748962 |     1204   8836 |        0 |        0
1336.50/1337.04	c 1337s |      24 |  5367654 |  4754762 |     1204   8844 |        0 |        0
1338.50/1339.05	c 1339s |      24 |  5374501 |  4761062 |     1204   8854 |        0 |        0
1340.50/1341.08	c 1341s |      24 |  5381519 |  4767462 |     1204   8864 |        0 |        0
1342.59/1343.11	c 1343s |      24 |  5388732 |  4774062 |     1204   8874 |        0 |        0
1344.59/1345.11	c 1345s |      24 |  5396108 |  4780562 |     1204   8884 |        0 |        0
1346.59/1347.12	c 1347s |      24 |  5403675 |  4787162 |     1204   8894 |        0 |        0
1348.60/1349.16	c 1349s |      24 |  5410488 |  4793262 |     1204   8903 |        0 |        0
1350.59/1351.18	c 1351s |      24 |  5417030 |  4799262 |     1204   8912 |        0 |        0
1352.60/1353.19	c 1353s |      24 |  5423926 |  4805462 |     1204   8921 |        0 |        0
1354.70/1355.22	c 1355s |      24 |  5430378 |  4811362 |     1204   8930 |        0 |        0
1356.69/1357.25	c 1357s |      24 |  5436672 |  4817162 |     1204   8939 |        0 |        0
1358.69/1359.29	c 1359s |      24 |  5442645 |  4822662 |     1204   8948 |        0 |        0
1360.69/1361.29	c 1361s |      24 |  5448012 |  4827562 |     1204   8955 |        0 |        0
1362.79/1363.33	c 1363s |      24 |  5454159 |  4833162 |     1204   8964 |        0 |        0
1364.79/1365.34	c 1365s |      24 |  5459796 |  4838362 |     1204   8971 |        0 |        0
1366.79/1367.36	c 1367s |      24 |  5466203 |  4844262 |     1204   8980 |        0 |        0
1368.79/1369.36	c 1369s |      24 |  5472252 |  4849762 |     1204   8989 |        0 |        0
1370.78/1371.37	c 1371s |      24 |  5478723 |  4855662 |     1204   8998 |        0 |        0
1372.78/1373.39	c 1373s |      24 |  5484678 |  4861162 |     1204   9006 |        0 |        0
1374.88/1375.40	c 1375s |      24 |  5490638 |  4866662 |     1204   9014 |        0 |        0
1376.88/1377.43	c 1377s |      24 |  5496595 |  4872162 |     1204   9023 |        0 |        0
1378.89/1379.45	c 1379s |      24 |  5502873 |  4877962 |     1204   9031 |        0 |        0
1380.88/1381.49	c 1381s |      24 |  5508755 |  4883462 |     1204   9040 |        0 |        0
1382.98/1383.52	c 1383s |      24 |  5514637 |  4888962 |     1204   9048 |        0 |        0
1384.98/1385.53	c 1385s |      24 |  5520630 |  4894462 |     1204   9056 |        0 |        0
1386.98/1387.57	c 1387s |      24 |  5527099 |  4900362 |     1204   9065 |        0 |        0
1388.98/1389.57	c 1389s |      24 |  5532859 |  4905662 |     1204   9073 |        0 |        0
1390.99/1391.60	c 1391s |      24 |  5538929 |  4911162 |     1204   9081 |        0 |        0
1393.08/1393.60	c 1393s |      24 |  5545137 |  4916662 |     1204   9090 |        0 |        0
1395.08/1395.62	c 1395s |      24 |  5551641 |  4922562 |     1204   9099 |        0 |        0
1397.08/1397.65	c 1397s |      24 |  5557716 |  4928062 |     1204   9107 |        0 |        0
1399.08/1399.66	c 1399s |      24 |  5563265 |  4933162 |     1204   9115 |        0 |        0
1401.08/1401.67	c 1401s |      24 |  5569728 |  4938962 |     1204   9124 |        0 |        0
1403.18/1403.71	c 1403s |      24 |  5576094 |  4944662 |     1204   9132 |        0 |        0
1405.18/1405.76	c 1405s |      24 |  5582159 |  4950262 |     1204   9141 |        0 |        0
1407.18/1407.79	c 1407s |      24 |  5589166 |  4956662 |     1204   9150 |        0 |        0
1409.28/1409.82	c 1409s |      24 |  5596217 |  4963162 |     1204   9160 |        0 |        0
1411.28/1411.83	c 1411s |      24 |  5602785 |  4969262 |     1204   9169 |        0 |        0
1413.28/1413.86	c 1413s |      24 |  5609662 |  4975462 |     1204   9178 |        0 |        0
1415.28/1415.88	c 1415s |      24 |  5617267 |  4982062 |     1204   9188 |        0 |        0
1417.27/1417.90	c 1417s |      24 |  5624062 |  4988162 |     1204   9198 |        0 |        0
1419.37/1419.93	c 1419s |      24 |  5630888 |  4994162 |     1204   9207 |        0 |        0
1421.37/1421.93	c 1421s |      24 |  5637687 |  5000262 |     1204   9216 |        0 |        0
1423.37/1423.95	c 1423s |      24 |  5643800 |  5005862 |     1204   9225 |        0 |        0
1425.37/1425.95	c 1425s |      24 |  5649298 |  5010862 |     1204   9232 |        0 |        0
1427.38/1427.97	c 1427s |      24 |  5654644 |  5015762 |     1204   9240 |        0 |        0
1429.37/1429.97	c 1429s |      24 |  5660682 |  5021162 |     1204   9248 |        0 |        0
1431.37/1431.98	c 1431s |      24 |  5666693 |  5026562 |     1204   9256 |        0 |        0
1433.47/1434.00	c 1433s |      24 |  5672258 |  5031662 |     1325   9263 |        0 |        0
1435.47/1436.02	c 1436s |      24 |  5678437 |  5037162 |     1325   9271 |        0 |        0
1437.47/1438.04	c 1438s |      24 |  5684304 |  5042462 |     1325   9278 |        0 |        0
1439.48/1440.05	c 1440s |      24 |  5690235 |  5047862 |     1325   9286 |        0 |        0
1441.47/1442.05	c 1442s |      24 |  5696226 |  5053362 |     1325   9293 |        0 |        0
1443.47/1444.08	c 1444s |      24 |  5702093 |  5058762 |     1325   9301 |        0 |        0
1445.57/1446.11	c 1446s |      24 |  5707753 |  5063962 |     1325   9308 |        0 |        0
1445.97/1446.52	c 1446s |      25 |  5708998 |  5065098 |     1325   9310 |        0 |        0
1447.97/1448.53	c 1448s |      25 |  5716357 |  5071698 |     1325   9319 |        0 |        0
1449.97/1450.55	c 1450s |      25 |  5724153 |  5078598 |     1325   9328 |        0 |        0
1451.97/1452.58	c 1452s |      25 |  5731631 |  5085298 |     1325   9338 |        0 |        0
1454.07/1454.60	c 1454s |      25 |  5738889 |  5091798 |     1325   9347 |        0 |        0
1456.07/1456.60	c 1456s |      25 |  5746190 |  5098298 |     1325   9356 |        0 |        0
1458.07/1458.62	c 1458s |      25 |  5753579 |  5104798 |     1325   9365 |        0 |        0
1460.07/1460.66	c 1460s |      25 |  5760831 |  5111298 |     1325   9374 |        0 |        0
1462.06/1462.68	c 1462s |      25 |  5767966 |  5117498 |     1325   9382 |        0 |        0
1464.16/1464.71	c 1464s |      25 |  5774639 |  5123598 |     1325   9391 |        0 |        0
1466.16/1466.71	c 1466s |      25 |  5781173 |  5129398 |     1325   9399 |        0 |        0
1468.16/1468.73	c 1468s |      25 |  5787483 |  5135098 |     1325   9407 |        0 |        0
1470.17/1470.73	c 1470s |      25 |  5794108 |  5140998 |     1325   9415 |        0 |        0
1472.16/1472.75	c 1472s |      25 |  5801069 |  5147198 |     1325   9423 |        0 |        0
1474.16/1474.77	c 1474s |      25 |  5807252 |  5152798 |     1325   9431 |        0 |        0
1476.16/1476.78	c 1476s |      25 |  5812931 |  5157998 |     1325   9438 |        0 |        0
1478.16/1478.79	c 1478s |      25 |  5819279 |  5163898 |     1325   9446 |        0 |        0
1480.26/1480.80	c 1480s |      25 |  5825635 |  5169798 |     1325   9455 |        0 |        0
1482.27/1482.84	c 1482s |      25 |  5832030 |  5175498 |     1325   9462 |        0 |        0
1484.27/1484.87	c 1484s |      25 |  5838034 |  5180898 |     1325   9470 |        0 |        0
1486.37/1486.91	c 1486s |      25 |  5843625 |  5186098 |     1325   9477 |        0 |        0
1488.36/1488.95	c 1488s |      25 |  5848883 |  5190998 |     1325   9484 |        0 |        0
1490.36/1490.95	c 1490s |      25 |  5855071 |  5196698 |     1325   9492 |        0 |        0
1492.36/1492.99	c 1492s |      25 |  5861174 |  5202298 |     1325   9500 |        0 |        0
1494.37/1495.00	c 1494s |      25 |  5866456 |  5207198 |     1325   9506 |        0 |        0
1496.46/1497.01	c 1496s |      25 |  5872420 |  5212598 |     1325   9514 |        0 |        0
1498.46/1499.01	c 1499s |      25 |  5879411 |  5218798 |     1325   9522 |        0 |        0
1500.46/1501.03	c 1501s |      25 |  5885842 |  5224698 |     1325   9531 |        0 |        0
1502.46/1503.05	c 1503s |      25 |  5891814 |  5230198 |     1325   9538 |        0 |        0
1504.46/1505.06	c 1505s |      25 |  5897374 |  5235298 |     1325   9545 |        0 |        0
1506.46/1507.09	c 1507s |      25 |  5903142 |  5240598 |     1325   9553 |        0 |        0
1508.46/1509.09	c 1509s |      25 |  5910159 |  5246898 |     1325   9561 |        0 |        0
1510.56/1511.10	c 1511s |      25 |  5916880 |  5252898 |     1325   9570 |        0 |        0
1512.56/1513.12	c 1513s |      25 |  5922548 |  5258098 |     1325   9577 |        0 |        0
1514.56/1515.14	c 1515s |      25 |  5928811 |  5263698 |     1325   9585 |        0 |        0
1516.56/1517.15	c 1517s |      25 |  5935134 |  5269398 |     1325   9593 |        0 |        0
1518.57/1519.17	c 1519s |      25 |  5941009 |  5274798 |     1325   9600 |        0 |        0
1520.56/1521.18	c 1521s |      25 |  5947557 |  5280798 |     1325   9608 |        0 |        0
1522.56/1523.18	c 1523s |      25 |  5953771 |  5286498 |     1325   9616 |        0 |        0
1524.56/1525.19	c 1525s |      25 |  5958973 |  5291398 |     1325   9623 |        0 |        0
1526.66/1527.20	c 1527s |      25 |  5965458 |  5297198 |     1325   9631 |        0 |        0
1528.65/1529.20	c 1529s |      25 |  5971603 |  5302798 |     1325   9639 |        0 |        0
1530.66/1531.24	c 1531s |      25 |  5977612 |  5308198 |     1325   9647 |        0 |        0
1532.65/1533.25	c 1533s |      25 |  5983704 |  5313698 |     1325   9654 |        0 |        0
1534.65/1535.26	c 1535s |      25 |  5990746 |  5319898 |     1325   9663 |        0 |        0
1536.65/1537.27	c 1537s |      25 |  5997419 |  5325898 |     1325   9671 |        0 |        0
1538.65/1539.27	c 1539s |      25 |  6003131 |  5331198 |     1325   9678 |        0 |        0
1540.67/1541.27	c 1541s |      25 |  6009808 |  5337098 |     1325   9687 |        0 |        0
1542.66/1543.28	c 1543s |      25 |  6016790 |  5343198 |     1325   9695 |        0 |        0
1544.76/1545.32	c 1545s |      25 |  6023432 |  5349098 |     1325   9703 |        0 |        0
1546.76/1547.34	c 1547s |      25 |  6029578 |  5354698 |     1325   9711 |        0 |        0
1548.76/1549.35	c 1549s |      25 |  6035931 |  5360298 |     1325   9719 |        0 |        0
1550.76/1551.37	c 1551s |      25 |  6042522 |  5366198 |     1325   9727 |        0 |        0
1552.86/1553.40	c 1553s |      25 |  6049078 |  5372098 |     1325   9735 |        0 |        0
1554.75/1555.40	c 1555s |      25 |  6054896 |  5377398 |     1325   9743 |        0 |        0
1556.85/1557.43	c 1557s |      25 |  6060853 |  5382898 |     1325   9750 |        0 |        0
1558.85/1559.45	c 1559s |      25 |  6066987 |  5388598 |     1325   9758 |        0 |        0
1560.85/1561.48	c 1561s |      25 |  6073548 |  5394598 |     1325   9766 |        0 |        0
1562.85/1563.48	c 1563s |      25 |  6079868 |  5400398 |     1325   9774 |        0 |        0
1564.95/1565.51	c 1565s |      25 |  6085711 |  5405598 |     1325   9782 |        0 |        0
1566.95/1567.54	c 1567s |      25 |  6091774 |  5411098 |     1325   9789 |        0 |        0
1568.95/1569.54	c 1569s |      25 |  6097697 |  5416298 |     1325   9797 |        0 |        0
1570.95/1571.56	c 1571s |      25 |  6103847 |  5421798 |     1325   9804 |        0 |        0
1572.95/1573.59	c 1573s |      25 |  6109749 |  5427098 |     1325   9812 |        0 |        0
1575.05/1575.63	c 1575s |      25 |  6115701 |  5432398 |     1325   9819 |        0 |        0
1577.05/1577.64	c 1577s |      25 |  6121904 |  5437998 |     1325   9827 |        0 |        0
1579.06/1579.65	c 1579s |      25 |  6128725 |  5444198 |     1325   9835 |        0 |        0
1581.05/1581.68	c 1581s |      25 |  6135856 |  5450598 |     1325   9844 |        0 |        0
1583.15/1583.70	c 1583s |      25 |  6142610 |  5456598 |     1325   9853 |        0 |        0
1585.15/1585.72	c 1585s |      25 |  6148809 |  5462198 |     1325   9860 |        0 |        0
1587.15/1587.73	c 1587s |      25 |  6155556 |  5468198 |     1325   9869 |        0 |        0
1589.15/1589.77	c 1589s |      25 |  6162225 |  5474198 |     1325   9877 |        0 |        0
1591.15/1591.78	c 1591s |      25 |  6168581 |  5479998 |     1325   9885 |        0 |        0
1593.25/1593.80	c 1593s |      25 |  6174716 |  5485598 |     1325   9893 |        0 |        0
1595.25/1595.84	c 1595s |      25 |  6181441 |  5491798 |     1325   9902 |        0 |        0
1597.24/1597.87	c 1597s |      25 |  6187671 |  5497598 |     1325   9909 |        0 |        0
1599.24/1599.89	c 1599s |      25 |  6194232 |  5503498 |     1325   9918 |        0 |        0
1601.34/1601.90	c 1601s |      25 |  6200383 |  5509198 |     1325   9926 |        0 |        0
1603.25/1603.90	c 1603s |      25 |  6206617 |  5514898 |     1325   9933 |        0 |        0
1605.34/1605.94	c 1605s |      25 |  6212816 |  5520598 |     1325   9941 |        0 |        0
1607.34/1607.97	c 1607s |      25 |  6218941 |  5526198 |     1325   9949 |        0 |        0
1609.34/1609.97	c 1609s |      25 |  6225051 |  5531898 |     1325   9957 |        0 |        0
1611.34/1611.99	c 1611s |      25 |  6231280 |  5537698 |     1325   9965 |        0 |        0
1613.45/1614.02	c 1614s |      25 |  6238200 |  5543998 |     1325   9974 |        0 |        0
1615.45/1616.03	c 1616s |      25 |  6245010 |  5550198 |     1325   9982 |        0 |        0
1617.45/1618.04	c 1618s |      25 |  6251510 |  5556198 |     1325   9991 |        0 |        0
1619.45/1620.05	c 1620s |      25 |  6258125 |  5562198 |     1325   9999 |        0 |        0
1621.44/1622.07	c 1622s |      25 |  6265280 |  5568498 |     1325  10008 |        0 |        0
1623.44/1624.07	c 1624s |      25 |  6271531 |  5574198 |     1325  10016 |        0 |        0
1625.44/1626.07	c 1626s |      25 |  6277773 |  5579798 |     1325  10024 |        0 |        0
1627.45/1628.08	c 1628s |      25 |  6283900 |  5585298 |     1325  10031 |        0 |        0
1629.44/1630.09	c 1630s |      25 |  6290405 |  5591198 |     1325  10039 |        0 |        0
1631.54/1632.14	c 1632s |      25 |  6296851 |  5597098 |     1325  10048 |        0 |        0
1633.54/1634.18	c 1634s |      25 |  6303304 |  5602898 |     1325  10056 |        0 |        0
1635.64/1636.22	c 1636s |      25 |  6309507 |  5608598 |     1325  10063 |        0 |        0
1637.64/1638.23	c 1638s |      25 |  6315211 |  5613798 |     1325  10071 |        0 |        0
1639.65/1640.23	c 1640s |      25 |  6320911 |  5619098 |     1325  10078 |        0 |        0
1641.64/1642.25	c 1642s |      25 |  6327151 |  5624698 |     1325  10086 |        0 |        0
1643.64/1644.26	c 1644s |      25 |  6333436 |  5630298 |     1325  10094 |        0 |        0
1645.64/1646.28	c 1646s |      25 |  6338875 |  5635298 |     1325  10101 |        0 |        0
1647.64/1648.30	c 1648s |      25 |  6344516 |  5640398 |     1325  10108 |        0 |        0
1649.74/1650.32	c 1650s |      25 |  6351264 |  5646398 |     1325  10116 |        0 |        0
1651.74/1652.34	c 1652s |      25 |  6356734 |  5651398 |     1325  10123 |        0 |        0
1653.74/1654.36	c 1654s |      25 |  6362185 |  5656398 |     1325  10130 |        0 |        0
1655.74/1656.38	c 1656s |      25 |  6368450 |  5662198 |     1325  10138 |        0 |        0
1657.84/1658.41	c 1658s |      25 |  6374269 |  5667598 |     1325  10145 |        0 |        0
1659.84/1660.45	c 1660s |      25 |  6379790 |  5672798 |     1325  10153 |        0 |        0
1661.83/1662.45	c 1662s |      25 |  6385279 |  5677898 |     1325  10160 |        0 |        0
1663.84/1664.46	c 1664s |      25 |  6391025 |  5683198 |     1325  10167 |        0 |        0
1665.94/1666.50	c 1666s |      25 |  6397108 |  5688698 |     1325  10175 |        0 |        0
1667.93/1668.53	c 1668s |      25 |  6403009 |  5694098 |     1325  10182 |        0 |        0
1669.93/1670.54	c 1670s |      25 |  6408526 |  5699198 |     1325  10189 |        0 |        0
1671.93/1672.56	c 1672s |      25 |  6413869 |  5704098 |     1325  10196 |        0 |        0
1673.93/1674.59	c 1674s |      25 |  6419089 |  5708898 |     1325  10203 |        0 |        0
1675.94/1676.59	c 1676s |      25 |  6424367 |  5713698 |     1325  10209 |        0 |        0
1678.04/1678.62	c 1678s |      25 |  6430148 |  5718998 |     1325  10217 |        0 |        0
1680.03/1680.62	c 1680s |      25 |  6435309 |  5723798 |     1325  10223 |        0 |        0
1682.03/1682.63	c 1682s |      25 |  6440649 |  5728798 |     1325  10230 |        0 |        0
1684.03/1684.67	c 1684s |      25 |  6445707 |  5733498 |     1325  10237 |        0 |        0
1686.03/1686.69	c 1686s |      25 |  6450706 |  5738198 |     1325  10243 |        0 |        0
1688.04/1688.69	c 1688s |      25 |  6456326 |  5743398 |     1325  10250 |        0 |        0
1690.14/1690.72	c 1690s |      25 |  6462444 |  5748998 |     1325  10258 |        0 |        0
1692.14/1692.74	c 1692s |      25 |  6468148 |  5754198 |     1325  10265 |        0 |        0
1694.14/1694.74	c 1694s |      25 |  6473124 |  5758798 |     1325  10272 |        0 |        0
1696.14/1696.75	c 1696s |      25 |  6478003 |  5763298 |     1325  10278 |        0 |        0
1698.13/1698.76	c 1698s |      25 |  6482965 |  5767898 |     1325  10284 |        0 |        0
1700.23/1700.80	c 1700s |      25 |  6487706 |  5772398 |     1325  10291 |        0 |        0
1702.24/1702.82	c 1702s |      25 |  6492573 |  5776898 |     1325  10297 |        0 |        0
1704.23/1704.83	c 1704s |      25 |  6498688 |  5782498 |     1325  10305 |        0 |        0
1706.23/1706.83	c 1706s |      25 |  6504536 |  5787898 |     1325  10312 |        0 |        0
1708.23/1708.84	c 1708s |      25 |  6510048 |  5792998 |     1325  10319 |        0 |        0
1710.23/1710.86	c 1710s |      25 |  6515664 |  5798198 |     1325  10326 |        0 |        0
1712.24/1712.89	c 1712s |      25 |  6521304 |  5803398 |     1325  10333 |        0 |        0
1714.34/1714.92	c 1714s |      25 |  6527355 |  5808898 |     1325  10341 |        0 |        0
1716.33/1716.95	c 1716s |      25 |  6533606 |  5814598 |     1325  10349 |        0 |        0
1718.33/1718.97	c 1718s |      25 |  6539312 |  5819798 |     1325  10356 |        0 |        0
1720.33/1720.99	c 1720s |      25 |  6544893 |  5824898 |     1325  10363 |        0 |        0
1722.43/1723.02	c 1723s |      25 |  6550983 |  5830498 |     1325  10371 |        0 |        0
1724.43/1725.05	c 1725s |      25 |  6556614 |  5835698 |     1325  10378 |        0 |        0
1726.43/1727.08	c 1727s |      25 |  6561935 |  5840598 |     1325  10385 |        0 |        0
1728.53/1729.11	c 1729s |      25 |  6567916 |  5845998 |     1325  10393 |        0 |        0
1730.52/1731.11	c 1731s |      25 |  6573684 |  5851298 |     1325  10400 |        0 |        0
1732.52/1733.13	c 1733s |      25 |  6579384 |  5856498 |     1325  10407 |        0 |        0
1734.52/1735.14	c 1735s |      25 |  6584983 |  5861598 |     1325  10414 |        0 |        0
1736.52/1737.15	c 1737s |      25 |  6590595 |  5866698 |     1325  10421 |        0 |        0
1738.53/1739.16	c 1739s |      25 |  6596427 |  5872098 |     1325  10429 |        0 |        0
1740.52/1741.19	c 1741s |      25 |  6602123 |  5877398 |     1325  10436 |        0 |        0
1742.62/1743.21	c 1743s |      25 |  6607674 |  5882598 |     1325  10443 |        0 |        0
1744.62/1745.23	c 1745s |      25 |  6612564 |  5887198 |     1325  10450 |        0 |        0
1746.62/1747.26	c 1747s |      25 |  6617755 |  5891998 |     1325  10456 |        0 |        0
1748.62/1749.27	c 1749s |      25 |  6623057 |  5896798 |     1325  10463 |        0 |        0
1750.63/1751.28	c 1751s |      25 |  6628228 |  5901598 |     1325  10470 |        0 |        0
1752.62/1753.29	c 1753s |      25 |  6633186 |  5906198 |     1325  10476 |        0 |        0
1754.72/1755.32	c 1755s |      25 |  6639215 |  5911698 |     1325  10484 |        0 |        0
1756.72/1757.35	c 1757s |      25 |  6644967 |  5916998 |     1325  10491 |        0 |        0
1758.72/1759.38	c 1759s |      25 |  6650499 |  5922098 |     1325  10498 |        0 |        0
1760.72/1761.38	c 1761s |      25 |  6655635 |  5926898 |     1325  10505 |        0 |        0
1762.82/1763.42	c 1763s |      25 |  6661032 |  5931798 |     1325  10511 |        0 |        0
1764.82/1765.43	c 1765s |      25 |  6666963 |  5937198 |     1325  10519 |        0 |        0
1766.82/1767.46	c 1767s |      25 |  6673438 |  5943098 |     1325  10527 |        0 |        0
1768.82/1769.47	c 1769s |      25 |  6679614 |  5948798 |     1325  10535 |        0 |        0
1770.91/1771.51	c 1771s |      25 |  6685884 |  5954498 |     1325  10543 |        0 |        0
1772.91/1773.54	c 1773s |      25 |  6692301 |  5960498 |     1325  10551 |        0 |        0
1774.92/1775.57	c 1775s |      25 |  6697928 |  5965798 |     1325  10558 |        0 |        0
1776.92/1777.59	c 1777s |      25 |  6703611 |  5971098 |     1325  10566 |        0 |        0
1779.02/1779.62	c 1779s |      25 |  6709248 |  5976398 |     1325  10573 |        0 |        0
1781.02/1781.63	c 1781s |      25 |  6714828 |  5981698 |     1325  10580 |        0 |        0
1783.02/1783.64	c 1783s |      25 |  6720776 |  5987098 |     1325  10588 |        0 |        0
1785.02/1785.69	c 1785s |      25 |  6727306 |  5992798 |     1325  10595 |        0 |        0
1787.12/1787.70	c 1787s |      25 |  6732974 |  5997998 |     1325  10603 |        0 |        0
1789.13/1789.72	c 1789s |      25 |  6738321 |  6002998 |     1325  10609 |        0 |        0
1791.12/1791.72	c 1791s |      25 |  6744902 |  6008898 |     1325  10618 |        0 |        0
1793.12/1793.74	c 1793s |      25 |  6751781 |  6015198 |     1325  10626 |        0 |        0
1795.12/1795.76	c 1795s |      25 |  6758584 |  6021298 |     1325  10635 |        0 |        0
1797.12/1797.77	c 1797s |      25 |  6765228 |  6027198 |     1325  10643 |        0 |        0
1799.12/1799.79	c 1799s |      25 |  6771832 |  6032998 |     1325  10651 |        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-4089890-1466034788/watcher-4089890-1466034788 -o /tmp/evaluation-result-4089890-1466034788/solver-4089890-1466034788 -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-4089890-1466034788.opb 

pid=8612
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.15 2.09 2/179 8615
/proc/meminfo: memFree=30406564/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 2953 0 0 0 0 0 0 0 20 0 4 0 5528955 806809600 2802 33554432000 4194304 16246674 140736666332880 140736666332304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 197743 2811 441 2943 0 194637 0
[pid=8615/tid=8616] ppid=8612 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 824635392 2870 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=809404 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 828829696 2886 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=814524 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5528955 834072576 2903 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.09 2.15 2.09 2/179 8615
/proc/meminfo: memFree=30406564/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 28983 0 0 0 5 4 0 0 20 0 4 0 5528955 1247350784 28821 33554432000 4194304 16246674 140736666332880 140736666332304 6010521 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 304529 28830 716 2943 0 301423 0
[pid=8615/tid=8616] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 28838 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 28846 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 28857 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.09 2.15 2.09 2/179 8615
/proc/meminfo: memFree=30406564/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 56876 0 0 0 11 8 0 0 20 0 4 0 5528955 1247350784 56714 33554432000 4194304 16246674 140736666332880 140736666314752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 304529 56730 716 2943 0 301423 0
[pid=8615/tid=8616] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 56744 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 56751 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 56755 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300504 s]
/proc/loadavg: 2.09 2.15 2.09 2/179 8615
/proc/meminfo: memFree=30406564/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 85452 0 0 0 17 12 0 0 20 0 4 0 5528955 1247350784 85290 33554432000 4194304 16246674 140736666332880 140736666314752 5669490 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 304529 85301 716 2943 0 301423 0
[pid=8615/tid=8616] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 85308 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 85319 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 85327 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.09 2.15 2.09 2/179 8615
/proc/meminfo: memFree=30406564/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 202963 0 0 0 41 28 0 0 20 0 4 0 5528955 1247350784 202802 33554432000 4194304 16246674 140736666332880 140736666314752 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 304529 202822 716 2943 0 301423 0
[pid=8615/tid=8616] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 202834 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 202842 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5528955 1247350784 202851 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.09 2.15 2.09 3/183 8619
/proc/meminfo: memFree=29425684/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267268 0 0 0 113 36 0 0 20 0 4 0 5528955 1336479744 267086 33554432000 4194304 16246674 140736666332880 140736666332056 13809250 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 326289 267086 791 2943 0 323183 0
[pid=8615/tid=8616] ppid=8612 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1336479744 267086 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1336479744 267086 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1336479744 267086 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 8619
/proc/meminfo: memFree=29338016/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267426 0 0 0 273 36 0 0 20 0 4 0 5528955 1337528320 267244 33554432000 4194304 16246674 140736666332880 140736666314752 12477724 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8615/statm: 326545 267244 791 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267244 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267244 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267244 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 8619
/proc/meminfo: memFree=29337560/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267441 0 0 0 592 37 0 0 20 0 4 0 5528955 1337528320 267259 33554432000 4194304 16246674 140736666332880 140736666314752 5722896 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326545 267259 792 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267259 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267259 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267259 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.14 2.09 3/183 8619
/proc/meminfo: memFree=29337332/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267574 0 0 0 1231 37 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140736666314752 5546243 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326545 267392 792 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.06 2.13 2.09 3/183 8619
/proc/meminfo: memFree=29337940/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267574 0 0 0 2511 38 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140736666314752 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326545 267392 792 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267392 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 8619
/proc/meminfo: memFree=29336164/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267577 0 0 0 5070 38 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140736666315880 5827728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326545 267395 794 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 8620
/proc/meminfo: memFree=29335588/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 267577 0 0 0 10189 39 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140736666314752 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326545 267395 794 2943 0 323439 0
[pid=8615/tid=8616] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1337528320 267395 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 8673
/proc/meminfo: memFree=29329700/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1301.81 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268243 0 0 0 130119 62 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5545993 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 8674
/proc/meminfo: memFree=29329796/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1361.79 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 136116 63 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 8676
/proc/meminfo: memFree=29330340/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1421.78 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 142115 63 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.16 2.08 2.08 3/183 8677
/proc/meminfo: memFree=29330336/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1481.77 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 148113 64 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666315880 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 8678
/proc/meminfo: memFree=29330460/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1541.77 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 154111 66 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666315880 6010404 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 8728
/proc/meminfo: memFree=29332192/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1601.74 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 160106 68 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 6021544 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/184 8732
/proc/meminfo: memFree=29332124/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1661.73 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 166104 69 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/183 8734
/proc/meminfo: memFree=29331628/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1721.73 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 172103 70 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 8735
/proc/meminfo: memFree=29331124/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1781.72 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 178101 71 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5822989 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 8735
/proc/meminfo: memFree=29331504/32872528 swapFree=524788/557492
[pid=8615] ppid=8612 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/8615/stat : 8615 (toysat) R 8612 8615 5756 0 -1 4202496 268282 0 0 0 179931 71 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140736666314752 5676613 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8615/statm: 326801 267875 796 2943 0 323695 0
[pid=8615/tid=8616] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8616/stat : 8616 (toysat) S 8612 8615 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300793130224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8615/tid=8617] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8617/stat : 8617 (toysat) S 8612 8615 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300782640368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8615/tid=8618] ppid=8612 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8615/task/8618/stat : 8618 (toysat) S 8612 8615 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5528955 1338576896 267875 33554432000 4194304 16246674 140736666332880 140300772166832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.32
CPU system time (s): 0.713891
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.713891
maximum resident set size= 1071500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268282
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= 495
involuntary context switches= 2267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79212 second user time and 8.15776 second system time

The end

Begin job on node106 at 2016-06-16 01:53:08
IDJOB=4089890
IDBENCH=107471
IDSOLVER=2542
FILE ID=node106/4089890-1466034788
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/rand6reg/normalized-rand6reg-v071-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089890-1466034788/watcher-4089890-1466034788 -o /tmp/evaluation-result-4089890-1466034788/solver-4089890-1466034788 -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-4089890-1466034788.opb

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

MD5SUM BENCH= b197cfdff1812a3f64e223cd01f565dd
RANDOM SEED=328540051

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:        30407084 kB
Buffers:           44900 kB
Cached:            78980 kB
SwapCached:         1476 kB
Active:          1142984 kB
Inactive:          54180 kB
Active(anon):    1074072 kB
Inactive(anon):     1188 kB
Active(file):      68912 kB
Inactive(file):    52992 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1704664 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             576656 kB
SReclaimable:      20812 kB
SUnreclaim:       555844 kB
KernelStack:        1520 kB
PageTables:         7684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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-16 02:23:09