0.00/0.00	c 2016-06-16T02:20:03+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-4089988-1466036403.opb"]
0.00/0.01	c use --random-gen="2906447303 822018412 4136543480 260758755 2393080293 2356705246 3130337765 1898767776 2368920922 2271721200 4023635458 2386363558 3862870468 3440386653 3591997850 4231350811 1068639276 3958197952 698796482 3787565768 2430668435 2379559464 760951558 1053546746 3137394365 4276416321 458992454 577003945 1993985736 3502367282 218764015 158971274 1157670773 3471533148 3017698846 3600854399 2457992177 2214878290 1913116154 1287387235 702683790 3564197843 448901097 2320705533 2462936 4263659355 28858757 1799124165 147961706 361045180 1949627064 3109825728 3910248781 1580302144 654307786 3254993745 4224672863 665953231 3620971663 2079181149 4148530639 706888221 3266707143 1412055166 1575709387 3903635769 2575891828 1707126015 4264986808 2608667857 3151637742 397314506 76622400 1261064696 254661180 3895335996 4210635234 4087420119 3031432070 233752673 1602690986 520078167 1588099069 3266008797 2560886012 3521089713 3881763504 1646430380 2602984627 4193217685 242555776 2377838112 2121824896 4237351181 1977246286 3092439317 3732573567 2703696866 39141251 3363433961 2824153032 2586241860 730837176 1687084688 2401009402 2954290385 1006099592 989981438 2964776567 4165630762 3484181417 215616272 692782958 139152893 1659698909 191043079 354033194 4187023753 2464366792 147208987 902141231 2354508466 1062050590 3024656508 3036565198 1098541807 1883859787 965033182 2610898198 3850256147 1940703405 3301693085 450880171 2659690557 3868944075 1922120242 2174405935 986860596 1050651156 2406990449 606300484 3632206650 2442947022 3610290544 120793228 42675778 1754572868 4193583335 1272673632 3891561392 3505569898 182882401 1466128774 2927856118 880561191 2439666915 1579103640 2890076127 2830526957 2667893142 1861148178 3713955072 349687664 3784127490 1402903033 3272661626 2823143831 2466352509 2684283130 3701560369 331225944 1221382252 1711574073 2234618493 192449933 3854706829 3267107541 2501472262 3142467522 3613469062 64809319 3329656616 3977977021 4019388058 4161360158 3989979310 2858352017 1589769840 2912273827 2599407253 3760189082 3907578158 1681956868 453419358 40105874 2803808756 2591338861 3841151928 2373512514 1453147413 333497298 3480821468 4051737470 1499952362 3734442448 870743540 2798025980 2000285714 3330011161 797917082 1747051329 3653400321 3153187580 4178608645 1291870784 2949551843 1712241289 3689634001 2683824207 431282819 3168390773 1331281818 1741681304 1961119289 2655273981 1013497435 499893510 2170791488 3394948848 1764274830 4233741071 4183862947 1663344620 3410482748 1971657871 2194691490 2447033638 4100001764 2688251904 259118603 683475002 2932799767 698851966 2990267630 2380699445 3720358579 1274494337 3328013505 3373465826 50964375 1411209745 1538297941 3795860930 3779361526 1798250787 2926096294 255 362436" option to reproduce the execution
0.00/0.01	c #vars 153
0.00/0.01	c #constraints 51
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 |       85      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      140 |      100 |       85      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      389 |      250 |       94      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      720 |      475 |      104      4 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1145 |      813 |      115      7 |        0 |        0
0.19/0.24	c  0.2s |       5 |     1744 |     1320 |      127     12 |        0 |        0
0.29/0.37	c  0.4s |       6 |     2631 |     2081 |      154     18 |        0 |        0
0.49/0.59	c  0.6s |       7 |     3905 |     3223 |      170     27 |        0 |        0
0.89/0.90	c  0.9s |       8 |     5886 |     4936 |      188     40 |        0 |        0
1.19/1.26	c  1.2s |       9 |     8846 |     7506 |      207     57 |        0 |        0
1.79/1.80	c  1.8s |      10 |    13183 |    11361 |      228     82 |        0 |        0
2.49/2.56	c  2.5s |      11 |    19483 |    17144 |      251    118 |        0 |        0
3.69/3.71	c  3.7s |      12 |    29049 |    25819 |      277    168 |        0 |        0
5.49/5.55	c  5.5s |      13 |    43345 |    38832 |      305    238 |        0 |        0
7.48/7.56	c  7.5s |      13 |    59528 |    53132 |      305    312 |        0 |        0
8.28/8.30	c  8.3s |      14 |    65533 |    58352 |      336    339 |        0 |        0
10.28/10.31	c 10.3s |      14 |    84420 |    73952 |      336    416 |        0 |        0
12.19/12.23	c 12.2s |      15 |   100407 |    87632 |      370    482 |        0 |        0
14.18/14.24	c 14.2s |      15 |   115235 |   101332 |      370    541 |        0 |        0
16.18/16.25	c 16.2s |      15 |   131030 |   115632 |      370    603 |        0 |        0
18.18/18.26	c 18.2s |      15 |   145019 |   128432 |      370    659 |        0 |        0
18.69/18.77	c 18.8s |      16 |   148410 |   131552 |      408    673 |        0 |        0
20.68/20.77	c 20.8s |      16 |   162349 |   144052 |      408    723 |        0 |        0
22.68/22.78	c 22.8s |      16 |   176571 |   157052 |      408    776 |        0 |        0
24.68/24.78	c 24.8s |      16 |   190438 |   169552 |      408    827 |        0 |        0
26.68/26.79	c 26.8s |      16 |   203722 |   181852 |      408    877 |        0 |        0
28.78/28.80	c 28.8s |      16 |   216484 |   193652 |      408    924 |        0 |        0
29.38/29.41	c 29.4s |      17 |   220521 |   197432 |      449    939 |        0 |        0
31.38/31.41	c 31.4s |      17 |   234230 |   209832 |      449    986 |        0 |        0
33.38/33.43	c 33.4s |      17 |   247551 |   221932 |      449   1032 |        0 |        0
35.38/35.44	c 35.4s |      17 |   260830 |   234032 |      449   1077 |        0 |        0
37.40/37.44	c 37.4s |      17 |   274109 |   246132 |      449   1123 |        0 |        0
39.39/39.45	c 39.4s |      17 |   287013 |   257932 |      449   1167 |        0 |        0
41.39/41.47	c 41.5s |      17 |   298957 |   268932 |      449   1209 |        0 |        0
43.39/43.48	c 43.5s |      17 |   311914 |   280732 |      449   1253 |        0 |        0
45.38/45.49	c 45.5s |      17 |   325629 |   292932 |      449   1299 |        0 |        0
46.08/46.14	c 46.1s |      18 |   329245 |   296252 |      494   1311 |        0 |        0
48.08/48.15	c 48.1s |      18 |   342865 |   308552 |      494   1354 |        0 |        0
50.08/50.16	c 50.1s |      18 |   356839 |   320952 |      494   1397 |        0 |        0
52.08/52.16	c 52.2s |      18 |   369883 |   332852 |      494   1439 |        0 |        0
54.08/54.18	c 54.2s |      18 |   383113 |   344752 |      494   1480 |        0 |        0
56.09/56.19	c 56.2s |      18 |   396424 |   357052 |      494   1523 |        0 |        0
58.18/58.20	c 58.2s |      18 |   409072 |   368752 |      494   1564 |        0 |        0
60.18/60.22	c 60.2s |      18 |   422157 |   380652 |      494   1606 |        0 |        0
62.18/62.22	c 62.2s |      18 |   435335 |   392552 |      494   1647 |        0 |        0
64.18/64.23	c 64.2s |      18 |   448176 |   404452 |      494   1688 |        0 |        0
66.18/66.24	c 66.2s |      18 |   461619 |   416652 |      494   1731 |        0 |        0
68.18/68.25	c 68.2s |      18 |   474107 |   428152 |      494   1771 |        0 |        0
70.18/70.25	c 70.2s |      18 |   486608 |   439552 |      494   1810 |        0 |        0
71.08/71.13	c 71.1s |      19 |   491973 |   444482 |      544   1826 |        0 |        0
73.07/73.14	c 73.1s |      19 |   504627 |   456082 |      544   1862 |        0 |        0
75.07/75.15	c 75.1s |      19 |   517808 |   467882 |      544   1899 |        0 |        0
77.08/77.15	c 77.1s |      19 |   530524 |   479482 |      544   1936 |        0 |        0
79.07/79.16	c 79.1s |      19 |   543201 |   491082 |      544   1972 |        0 |        0
81.08/81.16	c 81.2s |      19 |   555297 |   502082 |      544   2007 |        0 |        0
83.08/83.17	c 83.2s |      19 |   566683 |   512582 |      544   2040 |        0 |        0
85.08/85.18	c 85.2s |      19 |   577770 |   522582 |      544   2072 |        0 |        0
87.08/87.19	c 87.2s |      19 |   590380 |   534082 |      544   2109 |        0 |        0
89.19/89.20	c 89.2s |      19 |   601535 |   544482 |      544   2142 |        0 |        0
91.18/91.22	c 91.2s |      19 |   614050 |   555782 |      544   2178 |        0 |        0
93.18/93.23	c 93.2s |      19 |   625880 |   566682 |      544   2212 |        0 |        0
95.18/95.25	c 95.2s |      19 |   636816 |   576882 |      544   2244 |        0 |        0
97.18/97.25	c 97.2s |      19 |   648041 |   587382 |      544   2277 |        0 |        0
99.18/99.26	c 99.2s |      19 |   659627 |   597982 |      544   2311 |        0 |        0
101.18/101.27	c  101s |      19 |   670924 |   608282 |      544   2343 |        0 |        0
103.18/103.28	c  103s |      19 |   682005 |   618482 |      544   2376 |        0 |        0
105.28/105.30	c  105s |      19 |   692823 |   628582 |      544   2407 |        0 |        0
107.27/107.32	c  107s |      19 |   703921 |   638882 |      544   2440 |        0 |        0
109.27/109.32	c  109s |      19 |   714797 |   649082 |      544   2472 |        0 |        0
111.27/111.32	c  111s |      19 |   726526 |   659882 |      544   2506 |        0 |        0
112.57/112.64	c  112s |      20 |   734148 |   666827 |      599   2527 |        0 |        0
114.57/114.65	c  114s |      20 |   747454 |   678727 |      599   2561 |        0 |        0
116.58/116.67	c  116s |      20 |   760560 |   690527 |      599   2596 |        0 |        0
118.57/118.67	c  118s |      20 |   773265 |   702027 |      599   2630 |        0 |        0
120.57/120.68	c  120s |      20 |   785749 |   713427 |      599   2663 |        0 |        0
122.67/122.70	c  122s |      20 |   798370 |   725127 |      599   2698 |        0 |        0
124.67/124.71	c  124s |      20 |   811650 |   737127 |      599   2733 |        0 |        0
126.67/126.71	c  126s |      20 |   824411 |   748727 |      599   2767 |        0 |        0
128.68/128.73	c  128s |      20 |   836485 |   759927 |      599   2800 |        0 |        0
130.67/130.75	c  130s |      20 |   849182 |   771727 |      599   2835 |        0 |        0
132.67/132.77	c  132s |      20 |   860807 |   782527 |      599   2867 |        0 |        0
134.67/134.77	c  134s |      20 |   871840 |   792727 |      599   2897 |        0 |        0
136.67/136.78	c  136s |      20 |   885205 |   804727 |      599   2932 |        0 |        0
138.67/138.79	c  138s |      20 |   898297 |   816627 |      599   2968 |        0 |        0
140.77/140.80	c  140s |      20 |   911076 |   828327 |      599   3003 |        0 |        0
142.77/142.81	c  142s |      20 |   923555 |   839727 |      599   3037 |        0 |        0
144.77/144.82	c  144s |      20 |   936022 |   851227 |      599   3071 |        0 |        0
146.77/146.82	c  146s |      20 |   948297 |   862527 |      599   3104 |        0 |        0
148.77/148.83	c  148s |      20 |   960507 |   873727 |      599   3138 |        0 |        0
150.78/150.85	c  150s |      20 |   973064 |   885027 |      599   3171 |        0 |        0
152.77/152.85	c  152s |      20 |   985045 |   896027 |      599   3204 |        0 |        0
154.77/154.86	c  154s |      20 |   996767 |   906827 |      599   3236 |        0 |        0
156.77/156.87	c  156s |      20 |  1009385 |   918427 |      599   3270 |        0 |        0
158.76/158.89	c  158s |      20 |  1021658 |   929827 |      599   3304 |        0 |        0
160.76/160.89	c  160s |      20 |  1033919 |   941127 |      599   3337 |        0 |        0
162.77/162.90	c  162s |      20 |  1045695 |   952027 |      599   3369 |        0 |        0
164.86/164.92	c  164s |      20 |  1057007 |   962627 |      599   3401 |        0 |        0
166.86/166.93	c  166s |      20 |  1069470 |   974127 |      599   3435 |        0 |        0
168.86/168.94	c  168s |      20 |  1082043 |   985627 |      599   3469 |        0 |        0
170.86/170.95	c  170s |      20 |  1094745 |   997227 |      659   3502 |        0 |        0
171.36/171.48	c  171s |      21 |  1098176 |  1000345 |      659   3510 |        0 |        0
173.36/173.49	c  173s |      21 |  1110841 |  1011845 |      659   3541 |        0 |        0
175.36/175.49	c  175s |      21 |  1123847 |  1023645 |      659   3573 |        0 |        0
177.46/177.50	c  177s |      21 |  1136325 |  1035045 |      659   3604 |        0 |        0
179.46/179.52	c  179s |      21 |  1148643 |  1046145 |      659   3634 |        0 |        0
181.47/181.52	c  181s |      21 |  1161843 |  1057945 |      659   3666 |        0 |        0
183.46/183.53	c  183s |      21 |  1175003 |  1069745 |      659   3698 |        0 |        0
185.46/185.53	c  185s |      21 |  1187655 |  1081345 |      659   3729 |        0 |        0
187.47/187.54	c  187s |      21 |  1200435 |  1092845 |      659   3761 |        0 |        0
189.47/189.54	c  189s |      21 |  1212979 |  1104245 |      659   3792 |        0 |        0
191.47/191.55	c  191s |      21 |  1225395 |  1115645 |      659   3822 |        0 |        0
193.47/193.56	c  193s |      21 |  1238265 |  1127345 |      659   3854 |        0 |        0
195.47/195.57	c  195s |      21 |  1250743 |  1138945 |      659   3886 |        0 |        0
197.47/197.59	c  197s |      21 |  1262612 |  1149945 |      659   3915 |        0 |        0
199.56/199.61	c  199s |      21 |  1274966 |  1161145 |      659   3946 |        0 |        0
201.56/201.62	c  201s |      21 |  1287378 |  1172345 |      659   3976 |        0 |        0
203.57/203.62	c  203s |      21 |  1299220 |  1183145 |      659   4006 |        0 |        0
205.56/205.63	c  205s |      21 |  1310875 |  1193945 |      659   4035 |        0 |        0
207.56/207.64	c  207s |      21 |  1322643 |  1204845 |      659   4065 |        0 |        0
209.56/209.66	c  209s |      21 |  1335654 |  1216545 |      659   4096 |        0 |        0
211.56/211.66	c  211s |      21 |  1348059 |  1227745 |      659   4127 |        0 |        0
213.56/213.66	c  213s |      21 |  1359357 |  1238145 |      659   4155 |        0 |        0
215.57/215.67	c  215s |      21 |  1371468 |  1249245 |      659   4185 |        0 |        0
217.56/217.68	c  217s |      21 |  1384025 |  1260445 |      659   4215 |        0 |        0
219.66/219.70	c  219s |      21 |  1395600 |  1271045 |      659   4244 |        0 |        0
221.66/221.72	c  221s |      21 |  1406776 |  1281345 |      659   4272 |        0 |        0
223.66/223.72	c  223s |      21 |  1419399 |  1292845 |      659   4303 |        0 |        0
225.65/225.74	c  225s |      21 |  1432082 |  1304345 |      659   4334 |        0 |        0
227.66/227.76	c  227s |      21 |  1444891 |  1315945 |      659   4366 |        0 |        0
229.65/229.77	c  229s |      21 |  1457434 |  1327245 |      659   4397 |        0 |        0
231.65/231.77	c  231s |      21 |  1470425 |  1339145 |      659   4429 |        0 |        0
233.66/233.79	c  233s |      21 |  1483524 |  1351145 |      659   4461 |        0 |        0
235.66/235.79	c  235s |      21 |  1495161 |  1362045 |      659   4491 |        0 |        0
237.76/237.80	c  237s |      21 |  1506701 |  1372745 |      659   4520 |        0 |        0
239.77/239.81	c  239s |      21 |  1517555 |  1382845 |      659   4547 |        0 |        0
241.76/241.82	c  241s |      21 |  1528589 |  1393045 |      659   4575 |        0 |        0
243.76/243.83	c  243s |      21 |  1539205 |  1402845 |      659   4601 |        0 |        0
245.76/245.84	c  245s |      21 |  1549671 |  1412545 |      659   4628 |        0 |        0
247.76/247.85	c  247s |      21 |  1561380 |  1423345 |      659   4657 |        0 |        0
249.76/249.86	c  249s |      21 |  1573118 |  1434145 |      659   4686 |        0 |        0
251.76/251.88	c  251s |      21 |  1584730 |  1444845 |      659   4715 |        0 |        0
253.76/253.88	c  253s |      21 |  1597853 |  1456545 |      659   4747 |        0 |        0
255.75/255.88	c  255s |      21 |  1610402 |  1467845 |      659   4777 |        0 |        0
257.75/257.89	c  257s |      21 |  1623034 |  1479445 |      659   4809 |        0 |        0
259.85/259.90	c  259s |      21 |  1635597 |  1490845 |      725   4839 |        0 |        0
261.55/261.68	c  261s |      22 |  1646268 |  1500622 |      725   4863 |        0 |        0
263.65/263.70	c  263s |      22 |  1659025 |  1511922 |      725   4891 |        0 |        0
265.65/265.71	c  265s |      22 |  1671435 |  1522922 |      725   4919 |        0 |        0
267.65/267.72	c  267s |      22 |  1683686 |  1533922 |      725   4946 |        0 |        0
269.65/269.73	c  269s |      22 |  1695717 |  1544822 |      725   4973 |        0 |        0
271.66/271.76	c  271s |      22 |  1707608 |  1555522 |      725   5000 |        0 |        0
273.65/273.76	c  273s |      22 |  1719891 |  1566422 |      725   5027 |        0 |        0
275.64/275.76	c  275s |      22 |  1731717 |  1577022 |      725   5053 |        0 |        0
277.64/277.77	c  277s |      22 |  1744727 |  1588322 |      725   5081 |        0 |        0
279.64/279.78	c  279s |      22 |  1756229 |  1598522 |      725   5107 |        0 |        0
281.65/281.78	c  281s |      22 |  1767817 |  1609122 |      725   5133 |        0 |        0
283.64/283.80	c  283s |      22 |  1779101 |  1619422 |      725   5159 |        0 |        0
285.75/285.80	c  285s |      22 |  1789486 |  1629022 |      725   5182 |        0 |        0
287.75/287.81	c  287s |      22 |  1800190 |  1638822 |      725   5207 |        0 |        0
289.75/289.82	c  289s |      22 |  1811974 |  1649522 |      725   5233 |        0 |        0
291.75/291.83	c  291s |      22 |  1823667 |  1660122 |      725   5259 |        0 |        0
293.76/293.84	c  293s |      22 |  1835482 |  1671022 |      725   5286 |        0 |        0
295.75/295.85	c  295s |      22 |  1846627 |  1681222 |      725   5312 |        0 |        0
297.75/297.86	c  297s |      22 |  1856933 |  1690722 |      725   5335 |        0 |        0
299.75/299.88	c  299s |      22 |  1868019 |  1700722 |      725   5360 |        0 |        0
301.75/301.89	c  301s |      22 |  1878926 |  1710722 |      725   5385 |        0 |        0
303.85/303.91	c  303s |      22 |  1889156 |  1720222 |      725   5408 |        0 |        0
305.85/305.92	c  305s |      22 |  1900071 |  1730122 |      725   5432 |        0 |        0
307.85/307.93	c  307s |      22 |  1911490 |  1740522 |      725   5458 |        0 |        0
309.84/309.93	c  309s |      22 |  1922188 |  1750422 |      725   5483 |        0 |        0
311.84/311.94	c  311s |      22 |  1933667 |  1760922 |      725   5508 |        0 |        0
313.84/313.96	c  313s |      22 |  1944633 |  1771022 |      725   5533 |        0 |        0
315.84/315.97	c  315s |      22 |  1954967 |  1780622 |      725   5557 |        0 |        0
317.85/317.97	c  317s |      22 |  1966348 |  1790922 |      725   5583 |        0 |        0
319.84/319.99	c  319s |      22 |  1977514 |  1801222 |      725   5608 |        0 |        0
321.84/321.99	c  321s |      22 |  1989136 |  1811622 |      725   5634 |        0 |        0
323.94/324.00	c  323s |      22 |  2000921 |  1822322 |      725   5660 |        0 |        0
325.94/326.01	c  326s |      22 |  2012161 |  1832622 |      725   5686 |        0 |        0
327.94/328.02	c  328s |      22 |  2022376 |  1842122 |      725   5709 |        0 |        0
329.95/330.04	c  330s |      22 |  2033236 |  1851922 |      725   5733 |        0 |        0
331.94/332.05	c  332s |      22 |  2045427 |  1862822 |      725   5760 |        0 |        0
333.94/334.06	c  334s |      22 |  2056736 |  1873322 |      725   5786 |        0 |        0
335.94/336.08	c  336s |      22 |  2067743 |  1883522 |      725   5812 |        0 |        0
337.94/338.09	c  338s |      22 |  2079252 |  1894022 |      725   5838 |        0 |        0
340.04/340.11	c  340s |      22 |  2090363 |  1904322 |      725   5863 |        0 |        0
342.04/342.11	c  342s |      22 |  2101499 |  1914522 |      725   5889 |        0 |        0
344.04/344.11	c  344s |      22 |  2112639 |  1924722 |      725   5914 |        0 |        0
346.04/346.12	c  346s |      22 |  2123893 |  1935122 |      725   5940 |        0 |        0
348.04/348.13	c  348s |      22 |  2134698 |  1945222 |      725   5965 |        0 |        0
350.04/350.14	c  350s |      22 |  2145833 |  1955422 |      725   5990 |        0 |        0
352.04/352.16	c  352s |      22 |  2158585 |  1966622 |      725   6018 |        0 |        0
354.04/354.16	c  354s |      22 |  2170914 |  1977822 |      725   6045 |        0 |        0
356.03/356.16	c  356s |      22 |  2183188 |  1988822 |      725   6073 |        0 |        0
358.03/358.17	c  358s |      22 |  2194703 |  1999422 |      725   6099 |        0 |        0
360.03/360.18	c  360s |      22 |  2205765 |  2009722 |      725   6125 |        0 |        0
362.03/362.18	c  362s |      22 |  2216714 |  2019922 |      725   6150 |        0 |        0
364.04/364.20	c  364s |      22 |  2228293 |  2030522 |      725   6176 |        0 |        0
366.13/366.21	c  366s |      22 |  2240336 |  2041522 |      725   6204 |        0 |        0
368.13/368.23	c  368s |      22 |  2251352 |  2051522 |      725   6229 |        0 |        0
370.13/370.24	c  370s |      22 |  2262158 |  2061422 |      725   6253 |        0 |        0
372.13/372.26	c  372s |      22 |  2273125 |  2071622 |      725   6278 |        0 |        0
374.14/374.26	c  374s |      22 |  2284346 |  2081822 |      725   6304 |        0 |        0
376.14/376.27	c  376s |      22 |  2295462 |  2092122 |      725   6329 |        0 |        0
378.14/378.27	c  378s |      22 |  2306332 |  2102222 |      725   6354 |        0 |        0
380.14/380.27	c  380s |      22 |  2316487 |  2111722 |      725   6378 |        0 |        0
382.14/382.28	c  382s |      22 |  2328143 |  2122222 |      725   6404 |        0 |        0
384.14/384.29	c  384s |      22 |  2339948 |  2133022 |      725   6431 |        0 |        0
386.24/386.30	c  386s |      22 |  2351407 |  2143422 |      725   6456 |        0 |        0
388.24/388.32	c  388s |      22 |  2362392 |  2153522 |      725   6481 |        0 |        0
390.23/390.33	c  390s |      22 |  2374618 |  2164522 |      725   6509 |        0 |        0
392.23/392.34	c  392s |      22 |  2386131 |  2175022 |      725   6535 |        0 |        0
394.23/394.35	c  394s |      22 |  2397760 |  2185622 |      725   6561 |        0 |        0
396.23/396.35	c  396s |      22 |  2408646 |  2195722 |      725   6586 |        0 |        0
398.24/398.37	c  398s |      22 |  2419409 |  2205622 |      725   6610 |        0 |        0
400.23/400.38	c  400s |      22 |  2431388 |  2216422 |      725   6637 |        0 |        0
402.23/402.39	c  402s |      22 |  2442618 |  2226622 |      725   6662 |        0 |        0
404.23/404.39	c  404s |      22 |  2454267 |  2236922 |      798   6687 |        0 |        0
406.33/406.42	c  406s |      22 |  2465676 |  2247222 |      798   6711 |        0 |        0
407.03/407.18	c  407s |      23 |  2469869 |  2251038 |      798   6719 |        0 |        0
409.03/409.19	c  409s |      23 |  2481899 |  2261638 |      798   6743 |        0 |        0
411.13/411.20	c  411s |      23 |  2492920 |  2271638 |      798   6766 |        0 |        0
413.13/413.21	c  413s |      23 |  2505208 |  2282438 |      798   6791 |        0 |        0
415.13/415.22	c  415s |      23 |  2517886 |  2293438 |      798   6816 |        0 |        0
417.13/417.23	c  417s |      23 |  2531723 |  2304938 |      798   6842 |        0 |        0
419.13/419.24	c  419s |      23 |  2545013 |  2316138 |      798   6868 |        0 |        0
421.12/421.25	c  421s |      23 |  2557298 |  2326938 |      798   6893 |        0 |        0
423.12/423.25	c  423s |      23 |  2569425 |  2337538 |      798   6917 |        0 |        0
425.12/425.26	c  425s |      23 |  2580911 |  2347938 |      798   6940 |        0 |        0
427.12/427.27	c  427s |      23 |  2592884 |  2358638 |      798   6965 |        0 |        0
429.12/429.28	c  429s |      23 |  2605018 |  2369638 |      798   6990 |        0 |        0
431.13/431.29	c  431s |      23 |  2617525 |  2380638 |      798   7015 |        0 |        0
433.12/433.29	c  433s |      23 |  2631063 |  2392138 |      798   7042 |        0 |        0
435.22/435.30	c  435s |      23 |  2642969 |  2402838 |      798   7066 |        0 |        0
437.23/437.31	c  437s |      23 |  2655563 |  2413638 |      798   7091 |        0 |        0
439.23/439.32	c  439s |      23 |  2666992 |  2423938 |      798   7114 |        0 |        0
441.23/441.34	c  441s |      23 |  2679037 |  2434538 |      798   7138 |        0 |        0
443.23/443.34	c  443s |      23 |  2690501 |  2444838 |      798   7162 |        0 |        0
445.23/445.37	c  445s |      23 |  2701789 |  2454838 |      798   7185 |        0 |        0
447.23/447.37	c  447s |      23 |  2713251 |  2465238 |      798   7208 |        0 |        0
449.22/449.38	c  449s |      23 |  2725702 |  2476138 |      798   7233 |        0 |        0
451.22/451.39	c  451s |      23 |  2737975 |  2487038 |      798   7258 |        0 |        0
453.23/453.40	c  453s |      23 |  2749776 |  2497738 |      798   7283 |        0 |        0
455.33/455.42	c  455s |      23 |  2762896 |  2509138 |      798   7309 |        0 |        0
457.32/457.42	c  457s |      23 |  2775196 |  2520338 |      798   7334 |        0 |        0
459.32/459.43	c  459s |      23 |  2786950 |  2531038 |      798   7358 |        0 |        0
461.32/461.44	c  461s |      23 |  2798222 |  2541238 |      798   7382 |        0 |        0
463.32/463.45	c  463s |      23 |  2809186 |  2551238 |      798   7404 |        0 |        0
465.32/465.47	c  465s |      23 |  2819971 |  2560838 |      798   7426 |        0 |        0
467.32/467.48	c  467s |      23 |  2831177 |  2571038 |      798   7449 |        0 |        0
469.32/469.48	c  469s |      23 |  2842403 |  2581338 |      798   7473 |        0 |        0
471.32/471.49	c  471s |      23 |  2853460 |  2591538 |      798   7496 |        0 |        0
473.42/473.51	c  473s |      23 |  2866038 |  2602838 |      798   7522 |        0 |        0
475.42/475.52	c  475s |      23 |  2878549 |  2614138 |      798   7547 |        0 |        0
477.43/477.54	c  477s |      23 |  2891435 |  2625538 |      798   7574 |        0 |        0
479.42/479.55	c  479s |      23 |  2903807 |  2636538 |      798   7599 |        0 |        0
481.42/481.56	c  481s |      23 |  2917428 |  2648038 |      798   7625 |        0 |        0
483.42/483.57	c  483s |      23 |  2930650 |  2659538 |      798   7652 |        0 |        0
485.42/485.57	c  485s |      23 |  2944325 |  2671338 |      798   7679 |        0 |        0
487.42/487.59	c  487s |      23 |  2958513 |  2683138 |      798   7707 |        0 |        0
489.42/489.59	c  489s |      23 |  2971180 |  2694238 |      798   7733 |        0 |        0
491.52/491.60	c  491s |      23 |  2984538 |  2705438 |      798   7758 |        0 |        0
493.52/493.61	c  493s |      23 |  2995988 |  2715638 |      798   7782 |        0 |        0
495.51/495.61	c  495s |      23 |  3007211 |  2725838 |      798   7805 |        0 |        0
497.51/497.62	c  497s |      23 |  3020391 |  2736938 |      798   7830 |        0 |        0
499.51/499.64	c  499s |      23 |  3031728 |  2747038 |      798   7854 |        0 |        0
501.52/501.66	c  501s |      23 |  3041907 |  2756138 |      798   7874 |        0 |        0
503.51/503.67	c  503s |      23 |  3052491 |  2765638 |      798   7896 |        0 |        0
505.51/505.67	c  505s |      23 |  3063296 |  2775238 |      798   7918 |        0 |        0
507.51/507.68	c  507s |      23 |  3076069 |  2786238 |      798   7943 |        0 |        0
509.61/509.70	c  509s |      23 |  3088128 |  2796838 |      798   7967 |        0 |        0
511.61/511.71	c  511s |      23 |  3100313 |  2807438 |      798   7991 |        0 |        0
513.62/513.73	c  513s |      23 |  3112456 |  2817938 |      798   8015 |        0 |        0
515.61/515.74	c  515s |      23 |  3125382 |  2829038 |      798   8041 |        0 |        0
517.61/517.75	c  517s |      23 |  3137982 |  2840038 |      798   8066 |        0 |        0
519.61/519.76	c  519s |      23 |  3149449 |  2850238 |      798   8089 |        0 |        0
521.61/521.77	c  521s |      23 |  3160823 |  2860438 |      798   8112 |        0 |        0
523.61/523.79	c  523s |      23 |  3171987 |  2870338 |      798   8135 |        0 |        0
525.61/525.80	c  525s |      23 |  3184181 |  2881238 |      798   8160 |        0 |        0
527.71/527.80	c  527s |      23 |  3196885 |  2892038 |      798   8185 |        0 |        0
529.71/529.80	c  529s |      23 |  3208462 |  2902338 |      798   8208 |        0 |        0
531.71/531.82	c  531s |      23 |  3219688 |  2912538 |      798   8232 |        0 |        0
533.71/533.83	c  533s |      23 |  3230025 |  2922238 |      798   8254 |        0 |        0
535.72/535.85	c  535s |      23 |  3240081 |  2931638 |      798   8275 |        0 |        0
537.71/537.85	c  537s |      23 |  3250579 |  2941338 |      798   8297 |        0 |        0
539.71/539.87	c  539s |      23 |  3262906 |  2952038 |      798   8322 |        0 |        0
541.71/541.88	c  541s |      23 |  3275531 |  2962938 |      798   8347 |        0 |        0
543.81/543.90	c  543s |      23 |  3288003 |  2974038 |      798   8372 |        0 |        0
545.81/545.91	c  545s |      23 |  3300010 |  2984738 |      798   8397 |        0 |        0
547.82/547.93	c  547s |      23 |  3311798 |  2995238 |      798   8421 |        0 |        0
549.81/549.94	c  549s |      23 |  3324013 |  3005938 |      798   8445 |        0 |        0
551.81/551.95	c  551s |      23 |  3335274 |  3016138 |      798   8468 |        0 |        0
553.80/553.96	c  553s |      23 |  3346179 |  3026238 |      798   8491 |        0 |        0
555.80/555.98	c  555s |      23 |  3356546 |  3035938 |      798   8513 |        0 |        0
557.80/557.98	c  557s |      23 |  3367216 |  3045738 |      798   8536 |        0 |        0
559.81/560.00	c  559s |      23 |  3378136 |  3055738 |      798   8558 |        0 |        0
561.90/562.00	c  561s |      23 |  3388367 |  3065238 |      798   8580 |        0 |        0
563.90/564.01	c  563s |      23 |  3398636 |  3074838 |      798   8602 |        0 |        0
565.90/566.02	c  566s |      23 |  3409405 |  3084838 |      798   8625 |        0 |        0
567.90/568.04	c  568s |      23 |  3420241 |  3094738 |      798   8648 |        0 |        0
569.90/570.06	c  570s |      23 |  3430705 |  3104438 |      798   8670 |        0 |        0
571.91/572.08	c  572s |      23 |  3441861 |  3114438 |      798   8693 |        0 |        0
573.90/574.08	c  574s |      23 |  3453220 |  3124638 |      798   8716 |        0 |        0
576.00/576.10	c  576s |      23 |  3463738 |  3134238 |      798   8738 |        0 |        0
578.00/578.11	c  578s |      23 |  3473670 |  3143338 |      798   8759 |        0 |        0
580.01/580.11	c  580s |      23 |  3484463 |  3153138 |      798   8781 |        0 |        0
582.01/582.11	c  582s |      23 |  3495367 |  3162938 |      798   8804 |        0 |        0
584.01/584.12	c  584s |      23 |  3505204 |  3172038 |      798   8825 |        0 |        0
586.01/586.12	c  586s |      23 |  3515435 |  3181538 |      798   8846 |        0 |        0
588.01/588.12	c  588s |      23 |  3525159 |  3190638 |      798   8867 |        0 |        0
590.00/590.15	c  590s |      23 |  3534934 |  3199738 |      798   8888 |        0 |        0
592.00/592.15	c  592s |      23 |  3545192 |  3209138 |      798   8909 |        0 |        0
594.01/594.16	c  594s |      23 |  3555876 |  3218838 |      798   8932 |        0 |        0
596.00/596.18	c  596s |      23 |  3566703 |  3228838 |      798   8954 |        0 |        0
598.00/598.19	c  598s |      23 |  3577668 |  3238738 |      798   8977 |        0 |        0
600.10/600.20	c  600s |      23 |  3588388 |  3248538 |      798   8999 |        0 |        0
602.10/602.21	c  602s |      23 |  3599204 |  3258438 |      798   9022 |        0 |        0
604.10/604.22	c  604s |      23 |  3609592 |  3268038 |      798   9044 |        0 |        0
606.11/606.24	c  606s |      23 |  3620056 |  3277538 |      798   9065 |        0 |        0
608.10/608.25	c  608s |      23 |  3630454 |  3286938 |      798   9087 |        0 |        0
610.10/610.26	c  610s |      23 |  3640560 |  3296138 |      798   9108 |        0 |        0
612.10/612.27	c  612s |      23 |  3649651 |  3304638 |      798   9127 |        0 |        0
614.10/614.28	c  614s |      23 |  3659826 |  3313938 |      798   9149 |        0 |        0
616.10/616.29	c  616s |      23 |  3670829 |  3323938 |      798   9171 |        0 |        0
618.11/618.30	c  618s |      23 |  3681243 |  3333538 |      798   9193 |        0 |        0
620.20/620.32	c  620s |      23 |  3690814 |  3342538 |      798   9214 |        0 |        0
622.20/622.32	c  622s |      23 |  3701186 |  3352138 |      798   9236 |        0 |        0
624.20/624.34	c  624s |      23 |  3712746 |  3362538 |      878   9257 |        0 |        0
626.20/626.35	c  626s |      23 |  3724235 |  3372838 |      878   9279 |        0 |        0
627.00/627.14	c  627s |      24 |  3728420 |  3376662 |      878   9287 |        0 |        0
629.00/629.16	c  629s |      24 |  3740267 |  3387462 |      878   9310 |        0 |        0
631.00/631.17	c  631s |      24 |  3752260 |  3398162 |      878   9332 |        0 |        0
632.99/633.18	c  633s |      24 |  3764297 |  3408962 |      878   9354 |        0 |        0
634.99/635.19	c  635s |      24 |  3776674 |  3419862 |      878   9377 |        0 |        0
637.09/637.21	c  637s |      24 |  3788517 |  3430462 |      878   9399 |        0 |        0
639.10/639.21	c  639s |      24 |  3799329 |  3440262 |      878   9420 |        0 |        0
641.09/641.22	c  641s |      24 |  3809721 |  3449762 |      878   9440 |        0 |        0
643.09/643.24	c  643s |      24 |  3820286 |  3459362 |      878   9460 |        0 |        0
645.09/645.26	c  645s |      24 |  3830173 |  3468462 |      878   9479 |        0 |        0
647.09/647.27	c  647s |      24 |  3841457 |  3478562 |      878   9500 |        0 |        0
649.09/649.29	c  649s |      24 |  3853206 |  3489062 |      878   9522 |        0 |        0
651.10/651.29	c  651s |      24 |  3864003 |  3498662 |      878   9542 |        0 |        0
653.19/653.30	c  653s |      24 |  3875385 |  3509062 |      878   9563 |        0 |        0
655.19/655.32	c  655s |      24 |  3886349 |  3519062 |      878   9584 |        0 |        0
657.19/657.32	c  657s |      24 |  3897630 |  3529262 |      878   9605 |        0 |        0
659.19/659.33	c  659s |      24 |  3908217 |  3539062 |      878   9626 |        0 |        0
661.19/661.34	c  661s |      24 |  3920770 |  3550162 |      878   9649 |        0 |        0
663.20/663.35	c  663s |      24 |  3933940 |  3561462 |      878   9673 |        0 |        0
665.19/665.36	c  665s |      24 |  3945977 |  3572262 |      878   9696 |        0 |        0
667.19/667.37	c  667s |      24 |  3958856 |  3583262 |      878   9719 |        0 |        0
669.19/669.37	c  669s |      24 |  3970026 |  3593262 |      878   9740 |        0 |        0
671.19/671.39	c  671s |      24 |  3982942 |  3604562 |      878   9763 |        0 |        0
673.29/673.40	c  673s |      24 |  3994813 |  3615362 |      878   9786 |        0 |        0
675.30/675.41	c  675s |      24 |  4006207 |  3625662 |      878   9807 |        0 |        0
677.29/677.41	c  677s |      24 |  4019382 |  3636862 |      878   9831 |        0 |        0
679.29/679.42	c  679s |      24 |  4030370 |  3646662 |      878   9852 |        0 |        0
681.29/681.42	c  681s |      24 |  4041089 |  3656162 |      878   9871 |        0 |        0
683.29/683.43	c  683s |      24 |  4052298 |  3666162 |      878   9892 |        0 |        0
685.29/685.45	c  685s |      24 |  4064187 |  3676962 |      878   9915 |        0 |        0
687.29/687.45	c  687s |      24 |  4075257 |  3687062 |      878   9937 |        0 |        0
689.29/689.46	c  689s |      24 |  4085776 |  3696762 |      878   9957 |        0 |        0
691.29/691.47	c  691s |      24 |  4097284 |  3707162 |      878   9979 |        0 |        0
693.29/693.48	c  693s |      24 |  4107953 |  3717062 |      878  10000 |        0 |        0
695.29/695.49	c  695s |      24 |  4118495 |  3726762 |      878  10020 |        0 |        0
697.29/697.49	c  697s |      24 |  4128712 |  3736162 |      878  10040 |        0 |        0
699.38/699.50	c  699s |      24 |  4139164 |  3745862 |      878  10060 |        0 |        0
701.38/701.51	c  701s |      24 |  4149939 |  3755762 |      878  10081 |        0 |        0
703.38/703.52	c  703s |      24 |  4160656 |  3765562 |      878  10101 |        0 |        0
705.38/705.52	c  705s |      24 |  4171769 |  3775762 |      878  10123 |        0 |        0
707.38/707.54	c  707s |      24 |  4181979 |  3785262 |      878  10143 |        0 |        0
709.39/709.57	c  709s |      24 |  4192618 |  3794762 |      878  10163 |        0 |        0
711.38/711.58	c  711s |      24 |  4202133 |  3803562 |      878  10181 |        0 |        0
713.38/713.59	c  713s |      24 |  4211905 |  3812462 |      878  10200 |        0 |        0
715.48/715.61	c  715s |      24 |  4221429 |  3821262 |      878  10218 |        0 |        0
717.48/717.61	c  717s |      24 |  4232019 |  3830862 |      878  10238 |        0 |        0
719.48/719.62	c  719s |      24 |  4242583 |  3840562 |      878  10259 |        0 |        0
721.48/721.64	c  721s |      24 |  4253944 |  3850762 |      878  10280 |        0 |        0
723.48/723.65	c  723s |      24 |  4265827 |  3861062 |      878  10302 |        0 |        0
725.48/725.66	c  725s |      24 |  4277476 |  3871462 |      878  10324 |        0 |        0
727.48/727.68	c  727s |      24 |  4288042 |  3881162 |      878  10344 |        0 |        0
729.48/729.68	c  729s |      24 |  4300148 |  3891762 |      878  10366 |        0 |        0
731.48/731.68	c  731s |      24 |  4311629 |  3901962 |      878  10388 |        0 |        0
733.48/733.69	c  733s |      24 |  4321713 |  3911362 |      878  10408 |        0 |        0
735.57/735.71	c  735s |      24 |  4332360 |  3921262 |      878  10428 |        0 |        0
737.57/737.71	c  737s |      24 |  4343560 |  3931562 |      878  10450 |        0 |        0
739.57/739.71	c  739s |      24 |  4354831 |  3941862 |      878  10472 |        0 |        0
741.57/741.73	c  741s |      24 |  4366839 |  3952462 |      878  10494 |        0 |        0
743.58/743.74	c  743s |      24 |  4379102 |  3963062 |      878  10516 |        0 |        0
745.58/745.75	c  745s |      24 |  4390576 |  3973562 |      878  10538 |        0 |        0
747.58/747.76	c  747s |      24 |  4401324 |  3983562 |      878  10559 |        0 |        0
749.58/749.78	c  749s |      24 |  4412428 |  3993762 |      878  10581 |        0 |        0
751.58/751.79	c  751s |      24 |  4423038 |  4003662 |      878  10602 |        0 |        0
753.68/753.81	c  753s |      24 |  4433772 |  4013562 |      878  10623 |        0 |        0
755.68/755.81	c  755s |      24 |  4444406 |  4023362 |      878  10643 |        0 |        0
757.67/757.82	c  757s |      24 |  4454785 |  4032962 |      878  10664 |        0 |        0
759.67/759.83	c  759s |      24 |  4465567 |  4042762 |      878  10684 |        0 |        0
761.67/761.84	c  761s |      24 |  4476777 |  4052862 |      878  10705 |        0 |        0
763.67/763.84	c  763s |      24 |  4487759 |  4062762 |      878  10726 |        0 |        0
765.67/765.85	c  765s |      24 |  4498649 |  4072662 |      878  10746 |        0 |        0
767.68/767.85	c  767s |      24 |  4509633 |  4082762 |      878  10768 |        0 |        0
769.67/769.86	c  769s |      24 |  4520795 |  4092862 |      878  10789 |        0 |        0
771.67/771.86	c  771s |      24 |  4533716 |  4103962 |      878  10812 |        0 |        0
773.67/773.87	c  773s |      24 |  4545392 |  4114162 |      878  10833 |        0 |        0
775.67/775.89	c  775s |      24 |  4558804 |  4125462 |      878  10857 |        0 |        0
777.77/777.90	c  777s |      24 |  4570488 |  4135862 |      878  10879 |        0 |        0
779.78/779.91	c  779s |      24 |  4581749 |  4146162 |      878  10901 |        0 |        0
781.77/781.93	c  781s |      24 |  4592709 |  4156162 |      878  10922 |        0 |        0
783.77/783.94	c  783s |      24 |  4603404 |  4165862 |      878  10942 |        0 |        0
785.78/785.94	c  785s |      24 |  4614144 |  4175662 |      878  10963 |        0 |        0
787.77/787.95	c  787s |      24 |  4625931 |  4186162 |      878  10984 |        0 |        0
789.78/789.97	c  789s |      24 |  4637096 |  4196262 |      878  11006 |        0 |        0
791.77/791.98	c  791s |      24 |  4647966 |  4206262 |      878  11027 |        0 |        0
793.77/793.99	c  793s |      24 |  4657870 |  4215362 |      878  11045 |        0 |        0
795.77/796.00	c  795s |      24 |  4668910 |  4225462 |      878  11067 |        0 |        0
797.87/798.00	c  797s |      24 |  4680456 |  4235962 |      878  11089 |        0 |        0
799.87/800.01	c  799s |      24 |  4691829 |  4246362 |      878  11110 |        0 |        0
801.88/802.02	c  802s |      24 |  4702855 |  4256462 |      878  11131 |        0 |        0
803.87/804.03	c  804s |      24 |  4714468 |  4266962 |      878  11154 |        0 |        0
805.87/806.03	c  806s |      24 |  4727155 |  4277762 |      878  11176 |        0 |        0
807.87/808.04	c  808s |      24 |  4738364 |  4287762 |      878  11197 |        0 |        0
809.87/810.05	c  810s |      24 |  4749113 |  4297662 |      878  11218 |        0 |        0
811.87/812.06	c  812s |      24 |  4759933 |  4307262 |      878  11238 |        0 |        0
813.87/814.06	c  814s |      24 |  4771754 |  4317362 |      878  11260 |        0 |        0
815.86/816.07	c  816s |      24 |  4783846 |  4327962 |      878  11282 |        0 |        0
817.86/818.08	c  818s |      24 |  4794791 |  4337962 |      878  11303 |        0 |        0
819.86/820.09	c  820s |      24 |  4805595 |  4347662 |      878  11323 |        0 |        0
821.96/822.10	c  822s |      24 |  4816232 |  4357262 |      878  11343 |        0 |        0
823.97/824.11	c  824s |      24 |  4826278 |  4366562 |      878  11363 |        0 |        0
825.98/826.12	c  826s |      24 |  4836301 |  4375862 |      878  11382 |        0 |        0
827.97/828.15	c  828s |      24 |  4846434 |  4385162 |      878  11402 |        0 |        0
829.97/830.15	c  830s |      24 |  4856691 |  4394662 |      878  11421 |        0 |        0
831.97/832.16	c  832s |      24 |  4867773 |  4404762 |      878  11443 |        0 |        0
833.97/834.17	c  834s |      24 |  4878326 |  4414562 |      878  11463 |        0 |        0
835.97/836.18	c  836s |      24 |  4888501 |  4423862 |      878  11483 |        0 |        0
837.97/838.19	c  838s |      24 |  4900020 |  4434262 |      878  11504 |        0 |        0
840.07/840.21	c  840s |      24 |  4910852 |  4444262 |      878  11525 |        0 |        0
842.07/842.23	c  842s |      24 |  4921473 |  4454062 |      878  11546 |        0 |        0
844.06/844.25	c  844s |      24 |  4932239 |  4463962 |      878  11566 |        0 |        0
846.06/846.26	c  846s |      24 |  4943217 |  4474062 |      878  11587 |        0 |        0
848.07/848.27	c  848s |      24 |  4954542 |  4484462 |      878  11609 |        0 |        0
850.06/850.28	c  850s |      24 |  4966456 |  4495062 |      878  11631 |        0 |        0
852.06/852.28	c  852s |      24 |  4977776 |  4505362 |      878  11653 |        0 |        0
854.06/854.29	c  854s |      24 |  4989689 |  4515862 |      878  11675 |        0 |        0
856.06/856.30	c  856s |      24 |  5000859 |  4526162 |      878  11697 |        0 |        0
858.06/858.30	c  858s |      24 |  5011447 |  4535962 |      878  11717 |        0 |        0
860.17/860.31	c  860s |      24 |  5021719 |  4545462 |      878  11737 |        0 |        0
862.16/862.33	c  862s |      24 |  5031629 |  4554762 |      878  11756 |        0 |        0
864.16/864.34	c  864s |      24 |  5042117 |  4564362 |      878  11776 |        0 |        0
866.16/866.35	c  866s |      24 |  5052559 |  4573962 |      878  11796 |        0 |        0
868.16/868.35	c  868s |      24 |  5063935 |  4584162 |      878  11817 |        0 |        0
870.16/870.36	c  870s |      24 |  5074283 |  4593662 |      878  11837 |        0 |        0
872.16/872.37	c  872s |      24 |  5084162 |  4602862 |      878  11856 |        0 |        0
874.16/874.38	c  874s |      24 |  5094693 |  4612362 |      878  11876 |        0 |        0
876.15/876.39	c  876s |      24 |  5105980 |  4622562 |      878  11897 |        0 |        0
878.25/878.40	c  878s |      24 |  5116732 |  4632362 |      878  11918 |        0 |        0
880.25/880.41	c  880s |      24 |  5127165 |  4642062 |      878  11938 |        0 |        0
882.25/882.41	c  882s |      24 |  5137380 |  4651462 |      878  11958 |        0 |        0
884.26/884.42	c  884s |      24 |  5148663 |  4661362 |      878  11978 |        0 |        0
886.25/886.42	c  886s |      24 |  5159066 |  4670662 |      878  11998 |        0 |        0
888.25/888.43	c  888s |      24 |  5169875 |  4680562 |      878  12018 |        0 |        0
890.25/890.44	c  890s |      24 |  5180519 |  4690362 |      878  12039 |        0 |        0
892.25/892.46	c  892s |      24 |  5191104 |  4700062 |      878  12059 |        0 |        0
894.27/894.47	c  894s |      24 |  5201561 |  4709662 |      878  12079 |        0 |        0
896.26/896.48	c  896s |      24 |  5211769 |  4719162 |      878  12099 |        0 |        0
898.26/898.48	c  898s |      24 |  5222469 |  4729062 |      878  12120 |        0 |        0
900.26/900.48	c  900s |      24 |  5233348 |  4739062 |      878  12141 |        0 |        0
902.26/902.49	c  902s |      24 |  5244293 |  4749062 |      878  12161 |        0 |        0
904.36/904.51	c  904s |      24 |  5255226 |  4759162 |      878  12183 |        0 |        0
906.36/906.51	c  906s |      24 |  5265335 |  4768562 |      878  12202 |        0 |        0
908.35/908.52	c  908s |      24 |  5275667 |  4778262 |      878  12222 |        0 |        0
910.35/910.53	c  910s |      24 |  5286144 |  4787962 |      878  12242 |        0 |        0
912.35/912.54	c  912s |      24 |  5296657 |  4797562 |      878  12262 |        0 |        0
914.35/914.56	c  914s |      24 |  5306475 |  4806862 |      878  12281 |        0 |        0
916.35/916.56	c  916s |      24 |  5316305 |  4816162 |      878  12301 |        0 |        0
918.36/918.56	c  918s |      24 |  5326331 |  4825562 |      878  12320 |        0 |        0
920.35/920.57	c  920s |      24 |  5336309 |  4834962 |      878  12340 |        0 |        0
922.35/922.59	c  922s |      24 |  5346517 |  4844362 |      878  12359 |        0 |        0
924.45/924.61	c  924s |      24 |  5356237 |  4853462 |      878  12378 |        0 |        0
926.45/926.63	c  926s |      24 |  5367455 |  4863562 |      878  12399 |        0 |        0
928.45/928.64	c  928s |      24 |  5378472 |  4873762 |      878  12421 |        0 |        0
930.45/930.65	c  930s |      24 |  5389119 |  4883662 |      878  12441 |        0 |        0
932.45/932.66	c  932s |      24 |  5399939 |  4893762 |      878  12462 |        0 |        0
934.45/934.67	c  934s |      24 |  5410320 |  4903362 |      878  12482 |        0 |        0
936.44/936.68	c  936s |      24 |  5421526 |  4913562 |      878  12504 |        0 |        0
938.44/938.68	c  938s |      24 |  5432237 |  4923262 |      878  12524 |        0 |        0
940.45/940.68	c  940s |      24 |  5442376 |  4932662 |      878  12544 |        0 |        0
942.44/942.69	c  942s |      24 |  5452768 |  4942262 |      878  12564 |        0 |        0
944.44/944.69	c  944s |      24 |  5463068 |  4951762 |      878  12584 |        0 |        0
946.54/946.70	c  946s |      24 |  5472956 |  4960962 |      878  12603 |        0 |        0
948.54/948.72	c  948s |      24 |  5483037 |  4970262 |      878  12622 |        0 |        0
950.55/950.73	c  950s |      24 |  5493181 |  4979662 |      878  12642 |        0 |        0
952.56/952.74	c  952s |      24 |  5502991 |  4988762 |      878  12661 |        0 |        0
954.55/954.75	c  954s |      24 |  5514354 |  4998962 |      878  12682 |        0 |        0
956.55/956.76	c  956s |      24 |  5526277 |  5009562 |      878  12704 |        0 |        0
958.55/958.77	c  958s |      24 |  5536943 |  5019262 |      878  12725 |        0 |        0
960.55/960.78	c  960s |      24 |  5546965 |  5028562 |      878  12744 |        0 |        0
962.55/962.79	c  962s |      24 |  5557446 |  5037962 |      966  12762 |        0 |        0
964.65/964.81	c  964s |      24 |  5567411 |  5047162 |      966  12780 |        0 |        0
966.65/966.81	c  966s |      24 |  5578608 |  5057162 |      966  12799 |        0 |        0
968.34/968.51	c  968s |      25 |  5587369 |  5065098 |      966  12814 |        0 |        0
970.34/970.52	c  970s |      25 |  5598218 |  5074998 |      966  12833 |        0 |        0
972.35/972.53	c  972s |      25 |  5609101 |  5084998 |      966  12852 |        0 |        0
974.34/974.55	c  974s |      25 |  5620558 |  5095298 |      966  12872 |        0 |        0
976.34/976.57	c  976s |      25 |  5631567 |  5105298 |      966  12891 |        0 |        0
978.34/978.58	c  978s |      25 |  5642711 |  5115498 |      966  12911 |        0 |        0
980.34/980.59	c  980s |      25 |  5653977 |  5125698 |      966  12930 |        0 |        0
982.34/982.60	c  982s |      25 |  5664490 |  5135398 |      966  12949 |        0 |        0
984.45/984.60	c  984s |      25 |  5675051 |  5145098 |      966  12968 |        0 |        0
986.44/986.61	c  986s |      25 |  5685697 |  5154898 |      966  12986 |        0 |        0
988.44/988.62	c  988s |      25 |  5696183 |  5164498 |      966  13005 |        0 |        0
990.44/990.64	c  990s |      25 |  5706046 |  5173698 |      966  13023 |        0 |        0
992.44/992.65	c  992s |      25 |  5715996 |  5182998 |      966  13040 |        0 |        0
994.44/994.67	c  994s |      25 |  5726262 |  5192598 |      966  13059 |        0 |        0
996.45/996.67	c  996s |      25 |  5735931 |  5201598 |      966  13076 |        0 |        0
998.44/998.67	c  998s |      25 |  5747047 |  5211698 |      966  13096 |        0 |        0
1000.44/1000.68	c 1000s |      25 |  5757603 |  5221398 |      966  13114 |        0 |        0
1002.54/1002.70	c 1002s |      25 |  5769455 |  5231898 |      966  13135 |        0 |        0
1004.54/1004.70	c 1004s |      25 |  5780735 |  5242298 |      966  13154 |        0 |        0
1006.54/1006.70	c 1006s |      25 |  5791047 |  5251898 |      966  13173 |        0 |        0
1008.54/1008.71	c 1008s |      25 |  5801681 |  5261798 |      966  13192 |        0 |        0
1010.54/1010.72	c 1010s |      25 |  5812468 |  5271698 |      966  13211 |        0 |        0
1012.54/1012.72	c 1012s |      25 |  5822998 |  5281298 |      966  13229 |        0 |        0
1014.53/1014.74	c 1014s |      25 |  5834047 |  5291298 |      966  13248 |        0 |        0
1016.53/1016.76	c 1016s |      25 |  5844352 |  5300698 |      966  13266 |        0 |        0
1018.54/1018.77	c 1018s |      25 |  5854506 |  5310098 |      966  13284 |        0 |        0
1020.53/1020.78	c 1020s |      25 |  5864785 |  5319498 |      966  13302 |        0 |        0
1022.53/1022.79	c 1022s |      25 |  5874915 |  5328698 |      966  13320 |        0 |        0
1024.63/1024.80	c 1024s |      25 |  5884678 |  5337698 |      966  13337 |        0 |        0
1026.63/1026.82	c 1026s |      25 |  5895311 |  5347298 |      966  13355 |        0 |        0
1028.64/1028.84	c 1028s |      25 |  5905876 |  5357098 |      966  13374 |        0 |        0
1030.64/1030.84	c 1030s |      25 |  5915860 |  5366498 |      966  13392 |        0 |        0
1032.64/1032.85	c 1032s |      25 |  5926688 |  5376298 |      966  13411 |        0 |        0
1034.63/1034.86	c 1034s |      25 |  5937209 |  5385998 |      966  13430 |        0 |        0
1036.63/1036.86	c 1036s |      25 |  5947208 |  5395298 |      966  13447 |        0 |        0
1038.63/1038.86	c 1038s |      25 |  5957896 |  5405198 |      966  13466 |        0 |        0
1040.63/1040.88	c 1040s |      25 |  5969143 |  5415298 |      966  13486 |        0 |        0
1042.64/1042.88	c 1042s |      25 |  5979384 |  5424698 |      966  13504 |        0 |        0
1044.63/1044.88	c 1044s |      25 |  5990151 |  5434298 |      966  13522 |        0 |        0
1046.63/1046.89	c 1046s |      25 |  6000911 |  5443998 |      966  13541 |        0 |        0
1048.73/1048.90	c 1048s |      25 |  6010712 |  5453198 |      966  13558 |        0 |        0
1050.73/1050.92	c 1050s |      25 |  6020389 |  5462198 |      966  13575 |        0 |        0
1052.73/1052.93	c 1052s |      25 |  6030581 |  5471698 |      966  13593 |        0 |        0
1054.74/1054.96	c 1054s |      25 |  6040982 |  5481198 |      966  13612 |        0 |        0
1056.73/1056.98	c 1056s |      25 |  6051363 |  5490598 |      966  13630 |        0 |        0
1058.73/1058.99	c 1058s |      25 |  6061761 |  5500198 |      966  13648 |        0 |        0
1060.73/1060.99	c 1060s |      25 |  6071455 |  5509198 |      966  13665 |        0 |        0
1062.83/1063.01	c 1062s |      25 |  6080718 |  5517798 |      966  13682 |        0 |        0
1064.83/1065.03	c 1065s |      25 |  6089859 |  5526298 |      966  13698 |        0 |        0
1066.84/1067.04	c 1067s |      25 |  6098599 |  5534498 |      966  13713 |        0 |        0
1068.83/1069.05	c 1069s |      25 |  6107156 |  5542498 |      966  13729 |        0 |        0
1070.83/1071.07	c 1071s |      25 |  6116532 |  5551098 |      966  13745 |        0 |        0
1072.83/1073.09	c 1073s |      25 |  6126602 |  5560498 |      966  13763 |        0 |        0
1074.93/1075.10	c 1075s |      25 |  6136960 |  5570098 |      966  13782 |        0 |        0
1076.93/1077.10	c 1077s |      25 |  6147410 |  5579798 |      966  13800 |        0 |        0
1078.93/1079.11	c 1079s |      25 |  6157753 |  5589498 |      966  13819 |        0 |        0
1080.93/1081.13	c 1081s |      25 |  6167509 |  5598698 |      966  13836 |        0 |        0
1082.93/1083.14	c 1083s |      25 |  6177048 |  5607598 |      966  13854 |        0 |        0
1084.92/1085.14	c 1085s |      25 |  6186507 |  5616398 |      966  13870 |        0 |        0
1086.92/1087.16	c 1087s |      25 |  6196831 |  5625898 |      966  13888 |        0 |        0
1088.93/1089.18	c 1089s |      25 |  6206402 |  5634898 |      966  13906 |        0 |        0
1090.92/1091.18	c 1091s |      25 |  6215643 |  5643498 |      966  13922 |        0 |        0
1092.92/1093.18	c 1093s |      25 |  6225838 |  5652798 |      966  13940 |        0 |        0
1094.92/1095.19	c 1095s |      25 |  6236394 |  5662498 |      966  13958 |        0 |        0
1097.02/1097.20	c 1097s |      25 |  6247417 |  5672398 |      966  13977 |        0 |        0
1099.02/1099.21	c 1099s |      25 |  6258056 |  5682198 |      966  13996 |        0 |        0
1101.03/1101.23	c 1101s |      25 |  6269055 |  5692198 |      966  14015 |        0 |        0
1103.03/1103.23	c 1103s |      25 |  6279961 |  5701898 |      966  14034 |        0 |        0
1105.03/1105.24	c 1105s |      25 |  6290645 |  5711598 |      966  14052 |        0 |        0
1107.03/1107.25	c 1107s |      25 |  6302079 |  5721698 |      966  14072 |        0 |        0
1109.03/1109.26	c 1109s |      25 |  6312972 |  5731398 |      966  14090 |        0 |        0
1111.02/1111.27	c 1111s |      25 |  6323328 |  5740798 |      966  14108 |        0 |        0
1113.03/1113.28	c 1113s |      25 |  6333972 |  5750498 |      966  14127 |        0 |        0
1115.02/1115.30	c 1115s |      25 |  6344633 |  5760398 |      966  14146 |        0 |        0
1117.12/1117.31	c 1117s |      25 |  6355801 |  5770798 |      966  14166 |        0 |        0
1119.12/1119.34	c 1119s |      25 |  6367785 |  5781598 |      966  14187 |        0 |        0
1121.12/1121.34	c 1121s |      25 |  6378006 |  5790998 |      966  14205 |        0 |        0
1123.12/1123.36	c 1123s |      25 |  6388604 |  5800498 |      966  14223 |        0 |        0
1125.13/1125.37	c 1125s |      25 |  6398853 |  5809898 |      966  14241 |        0 |        0
1127.12/1127.39	c 1127s |      25 |  6409187 |  5819498 |      966  14260 |        0 |        0
1129.22/1129.40	c 1129s |      25 |  6419197 |  5828798 |      966  14278 |        0 |        0
1131.22/1131.42	c 1131s |      25 |  6428856 |  5837698 |      966  14295 |        0 |        0
1133.22/1133.43	c 1133s |      25 |  6438899 |  5846998 |      966  14312 |        0 |        0
1135.22/1135.45	c 1135s |      25 |  6448984 |  5856298 |      966  14330 |        0 |        0
1137.22/1137.45	c 1137s |      25 |  6459508 |  5866098 |      966  14349 |        0 |        0
1139.22/1139.46	c 1139s |      25 |  6469795 |  5875498 |      966  14367 |        0 |        0
1141.21/1141.48	c 1141s |      25 |  6479792 |  5884698 |      966  14385 |        0 |        0
1143.31/1143.50	c 1143s |      25 |  6490104 |  5894198 |      966  14403 |        0 |        0
1145.31/1145.50	c 1145s |      25 |  6500668 |  5903898 |      966  14421 |        0 |        0
1147.31/1147.51	c 1147s |      25 |  6511346 |  5913698 |      966  14440 |        0 |        0
1149.32/1149.53	c 1149s |      25 |  6521869 |  5923298 |      966  14459 |        0 |        0
1151.31/1151.54	c 1151s |      25 |  6531411 |  5932098 |      966  14475 |        0 |        0
1153.31/1153.54	c 1153s |      25 |  6540993 |  5940998 |      966  14492 |        0 |        0
1155.31/1155.55	c 1155s |      25 |  6550314 |  5949698 |      966  14509 |        0 |        0
1157.31/1157.56	c 1157s |      25 |  6560215 |  5958698 |      966  14526 |        0 |        0
1159.32/1159.58	c 1159s |      25 |  6570814 |  5968298 |      966  14545 |        0 |        0
1161.31/1161.58	c 1161s |      25 |  6580827 |  5977598 |      966  14562 |        0 |        0
1163.41/1163.60	c 1163s |      25 |  6590566 |  5986698 |      966  14580 |        0 |        0
1165.42/1165.61	c 1165s |      25 |  6600266 |  5995698 |      966  14597 |        0 |        0
1167.42/1167.62	c 1167s |      25 |  6610081 |  6004798 |      966  14615 |        0 |        0
1169.42/1169.63	c 1169s |      25 |  6619716 |  6013798 |      966  14632 |        0 |        0
1171.42/1171.64	c 1171s |      25 |  6629612 |  6022998 |      966  14650 |        0 |        0
1173.42/1173.66	c 1173s |      25 |  6639485 |  6032198 |      966  14667 |        0 |        0
1175.42/1175.67	c 1175s |      25 |  6649439 |  6041498 |      966  14685 |        0 |        0
1177.42/1177.68	c 1177s |      25 |  6659944 |  6051198 |      966  14703 |        0 |        0
1179.51/1179.70	c 1179s |      25 |  6669912 |  6060598 |      966  14721 |        0 |        0
1181.51/1181.71	c 1181s |      25 |  6680034 |  6069998 |      966  14739 |        0 |        0
1183.52/1183.73	c 1183s |      25 |  6690974 |  6079898 |      966  14758 |        0 |        0
1185.51/1185.73	c 1185s |      25 |  6701510 |  6089498 |      966  14777 |        0 |        0
1187.51/1187.74	c 1187s |      25 |  6711774 |  6098998 |      966  14795 |        0 |        0
1189.51/1189.76	c 1189s |      25 |  6721983 |  6108398 |      966  14813 |        0 |        0
1191.51/1191.76	c 1191s |      25 |  6732467 |  6118198 |      966  14832 |        0 |        0
1193.51/1193.76	c 1193s |      25 |  6742338 |  6127398 |      966  14850 |        0 |        0
1195.51/1195.77	c 1195s |      25 |  6752382 |  6136798 |      966  14868 |        0 |        0
1197.51/1197.78	c 1197s |      25 |  6762935 |  6146698 |      966  14887 |        0 |        0
1199.61/1199.80	c 1199s |      25 |  6772877 |  6156098 |      966  14905 |        0 |        0
1201.61/1201.81	c 1201s |      25 |  6782999 |  6165598 |      966  14923 |        0 |        0
1203.60/1203.82	c 1203s |      25 |  6792903 |  6174798 |      966  14940 |        0 |        0
1205.60/1205.83	c 1205s |      25 |  6802591 |  6183898 |      966  14957 |        0 |        0
1207.61/1207.83	c 1207s |      25 |  6813386 |  6193798 |      966  14976 |        0 |        0
1209.60/1209.85	c 1209s |      25 |  6824149 |  6203598 |      966  14995 |        0 |        0
1211.60/1211.86	c 1211s |      25 |  6834357 |  6212998 |      966  15013 |        0 |        0
1213.60/1213.88	c 1213s |      25 |  6844230 |  6222198 |      966  15031 |        0 |        0
1215.59/1215.89	c 1215s |      25 |  6853976 |  6231198 |      966  15048 |        0 |        0
1217.69/1217.91	c 1217s |      25 |  6863636 |  6240198 |      966  15065 |        0 |        0
1219.70/1219.92	c 1219s |      25 |  6872985 |  6248798 |      966  15082 |        0 |        0
1221.69/1221.92	c 1221s |      25 |  6881883 |  6257198 |      966  15097 |        0 |        0
1223.69/1223.93	c 1223s |      25 |  6891074 |  6265798 |      966  15114 |        0 |        0
1225.69/1225.93	c 1225s |      25 |  6899917 |  6273998 |      966  15129 |        0 |        0
1227.69/1227.95	c 1227s |      25 |  6908607 |  6281998 |      966  15145 |        0 |        0
1229.70/1229.97	c 1229s |      25 |  6917163 |  6289998 |      966  15160 |        0 |        0
1231.69/1231.98	c 1231s |      25 |  6927002 |  6298898 |      966  15177 |        0 |        0
1233.69/1233.99	c 1233s |      25 |  6936479 |  6307698 |      966  15194 |        0 |        0
1235.79/1236.01	c 1235s |      25 |  6945959 |  6316398 |      966  15211 |        0 |        0
1237.79/1238.03	c 1238s |      25 |  6954935 |  6324798 |      966  15227 |        0 |        0
1239.79/1240.04	c 1240s |      25 |  6966207 |  6335098 |      966  15246 |        0 |        0
1241.79/1242.05	c 1242s |      25 |  6976732 |  6344798 |      966  15265 |        0 |        0
1243.79/1244.07	c 1244s |      25 |  6986760 |  6354198 |      966  15283 |        0 |        0
1245.78/1246.09	c 1246s |      25 |  6997319 |  6363898 |      966  15302 |        0 |        0
1247.78/1248.09	c 1248s |      25 |  7007888 |  6373798 |      966  15320 |        0 |        0
1249.78/1250.10	c 1250s |      25 |  7018051 |  6383298 |      966  15339 |        0 |        0
1251.88/1252.11	c 1252s |      25 |  7027819 |  6392398 |      966  15356 |        0 |        0
1253.88/1254.11	c 1254s |      25 |  7037856 |  6401798 |      966  15374 |        0 |        0
1255.87/1256.13	c 1256s |      25 |  7048383 |  6411498 |      966  15392 |        0 |        0
1257.87/1258.14	c 1258s |      25 |  7059047 |  6421098 |      966  15411 |        0 |        0
1259.87/1260.14	c 1260s |      25 |  7070229 |  6431198 |      966  15430 |        0 |        0
1261.87/1262.16	c 1262s |      25 |  7081649 |  6441298 |      966  15450 |        0 |        0
1263.87/1264.16	c 1264s |      25 |  7091921 |  6450698 |      966  15468 |        0 |        0
1265.87/1266.17	c 1266s |      25 |  7101474 |  6459398 |      966  15485 |        0 |        0
1267.86/1268.18	c 1268s |      25 |  7111148 |  6468198 |      966  15501 |        0 |        0
1269.86/1270.19	c 1270s |      25 |  7122265 |  6478298 |      966  15521 |        0 |        0
1271.96/1272.20	c 1272s |      25 |  7132603 |  6487798 |      966  15539 |        0 |        0
1273.96/1274.21	c 1274s |      25 |  7143956 |  6497798 |      966  15558 |        0 |        0
1275.96/1276.23	c 1276s |      25 |  7155541 |  6507998 |      966  15578 |        0 |        0
1277.96/1278.24	c 1278s |      25 |  7165534 |  6517098 |      966  15595 |        0 |        0
1279.95/1280.25	c 1280s |      25 |  7176251 |  6526698 |      966  15614 |        0 |        0
1281.95/1282.25	c 1282s |      25 |  7186850 |  6536498 |      966  15632 |        0 |        0
1283.95/1284.26	c 1284s |      25 |  7197146 |  6546198 |      966  15651 |        0 |        0
1285.95/1286.27	c 1286s |      25 |  7207740 |  6556098 |      966  15670 |        0 |        0
1287.96/1288.29	c 1288s |      25 |  7218792 |  6566198 |      966  15689 |        0 |        0
1289.95/1290.29	c 1290s |      25 |  7229610 |  6576198 |      966  15708 |        0 |        0
1292.05/1292.30	c 1292s |      25 |  7240024 |  6585898 |      966  15727 |        0 |        0
1294.04/1294.31	c 1294s |      25 |  7250949 |  6595998 |      966  15746 |        0 |        0
1296.05/1296.32	c 1296s |      25 |  7262199 |  6606198 |      966  15766 |        0 |        0
1298.05/1298.32	c 1298s |      25 |  7273123 |  6616098 |      966  15785 |        0 |        0
1300.06/1300.34	c 1300s |      25 |  7283405 |  6625598 |      966  15803 |        0 |        0
1302.05/1302.35	c 1302s |      25 |  7293577 |  6634798 |      966  15821 |        0 |        0
1304.05/1304.35	c 1304s |      25 |  7304230 |  6644498 |      966  15840 |        0 |        0
1306.05/1306.36	c 1306s |      25 |  7315239 |  6654598 |      966  15859 |        0 |        0
1308.05/1308.37	c 1308s |      25 |  7326176 |  6664698 |      966  15878 |        0 |        0
1310.04/1310.39	c 1310s |      25 |  7336691 |  6674498 |      966  15897 |        0 |        0
1312.05/1312.39	c 1312s |      25 |  7347038 |  6684298 |      966  15915 |        0 |        0
1314.14/1314.40	c 1314s |      25 |  7357998 |  6694698 |      966  15935 |        0 |        0
1316.14/1316.41	c 1316s |      25 |  7368365 |  6704498 |      966  15954 |        0 |        0
1318.14/1318.42	c 1318s |      25 |  7378451 |  6713998 |      966  15972 |        0 |        0
1320.14/1320.44	c 1320s |      25 |  7389686 |  6724198 |      966  15991 |        0 |        0
1322.14/1322.45	c 1322s |      25 |  7401101 |  6734698 |      966  16011 |        0 |        0
1324.14/1324.46	c 1324s |      25 |  7411640 |  6744498 |      966  16030 |        0 |        0
1326.13/1326.48	c 1326s |      25 |  7422822 |  6754798 |      966  16050 |        0 |        0
1328.13/1328.48	c 1328s |      25 |  7433924 |  6764998 |      966  16069 |        0 |        0
1330.23/1330.50	c 1330s |      25 |  7443998 |  6774398 |      966  16087 |        0 |        0
1332.23/1332.50	c 1332s |      25 |  7453740 |  6783598 |      966  16105 |        0 |        0
1334.22/1334.50	c 1334s |      25 |  7463582 |  6792798 |      966  16122 |        0 |        0
1336.12/1336.50	c 1336s |      25 |  7473855 |  6802298 |      966  16141 |        0 |        0
1338.22/1338.51	c 1338s |      25 |  7484036 |  6811798 |      966  16159 |        0 |        0
1340.22/1340.53	c 1340s |      25 |  7494378 |  6821298 |      966  16177 |        0 |        0
1342.22/1342.54	c 1342s |      25 |  7504129 |  6830398 |      966  16195 |        0 |        0
1344.22/1344.56	c 1344s |      25 |  7514322 |  6839798 |      966  16213 |        0 |        0
1346.23/1346.59	c 1346s |      25 |  7524627 |  6849198 |      966  16231 |        0 |        0
1348.22/1348.59	c 1348s |      25 |  7534799 |  6858398 |      966  16248 |        0 |        0
1350.32/1350.61	c 1350s |      25 |  7545050 |  6867798 |      966  16266 |        0 |        0
1352.32/1352.63	c 1352s |      25 |  7554839 |  6876798 |      966  16284 |        0 |        0
1354.31/1354.64	c 1354s |      25 |  7564772 |  6885998 |      966  16301 |        0 |        0
1356.31/1356.65	c 1356s |      25 |  7574747 |  6895298 |      966  16319 |        0 |        0
1358.32/1358.66	c 1358s |      25 |  7585621 |  6905098 |      966  16338 |        0 |        0
1360.31/1360.68	c 1360s |      25 |  7595832 |  6914498 |      966  16356 |        0 |        0
1362.31/1362.68	c 1362s |      25 |  7605622 |  6923598 |      966  16373 |        0 |        0
1364.40/1364.70	c 1364s |      25 |  7616155 |  6933198 |      966  16392 |        0 |        0
1366.40/1366.71	c 1366s |      25 |  7626566 |  6942698 |      966  16410 |        0 |        0
1368.41/1368.73	c 1368s |      25 |  7637175 |  6952298 |      966  16428 |        0 |        0
1370.42/1370.74	c 1370s |      25 |  7647565 |  6961898 |      966  16447 |        0 |        0
1372.41/1372.74	c 1372s |      25 |  7657458 |  6971098 |      966  16464 |        0 |        0
1374.41/1374.76	c 1374s |      25 |  7667547 |  6980298 |      966  16482 |        0 |        0
1376.40/1376.77	c 1376s |      25 |  7677353 |  6989298 |      966  16500 |        0 |        0
1378.40/1378.78	c 1378s |      25 |  7687262 |  6998498 |      966  16517 |        0 |        0
1380.40/1380.80	c 1380s |      25 |  7696963 |  7007498 |      966  16535 |        0 |        0
1382.41/1382.80	c 1382s |      25 |  7706268 |  7016098 |      966  16551 |        0 |        0
1384.50/1384.80	c 1384s |      25 |  7716261 |  7025298 |      966  16569 |        0 |        0
1386.49/1386.82	c 1386s |      25 |  7726306 |  7034598 |      966  16587 |        0 |        0
1388.49/1388.84	c 1388s |      25 |  7736483 |  7043998 |      966  16605 |        0 |        0
1390.49/1390.85	c 1390s |      25 |  7746929 |  7053598 |      966  16623 |        0 |        0
1392.49/1392.86	c 1392s |      25 |  7757051 |  7062798 |      966  16641 |        0 |        0
1394.49/1394.86	c 1394s |      25 |  7767089 |  7071798 |      966  16658 |        0 |        0
1396.49/1396.89	c 1396s |      25 |  7775830 |  7079998 |      966  16673 |        0 |        0
1398.59/1398.90	c 1398s |      25 |  7786047 |  7089498 |      966  16692 |        0 |        0
1400.59/1400.92	c 1400s |      25 |  7796514 |  7099198 |      966  16710 |        0 |        0
1402.59/1402.94	c 1402s |      25 |  7806701 |  7108698 |      966  16728 |        0 |        0
1404.58/1404.95	c 1404s |      25 |  7816884 |  7118098 |      966  16746 |        0 |        0
1406.59/1406.95	c 1406s |      25 |  7827047 |  7127598 |      966  16764 |        0 |        0
1408.58/1408.95	c 1408s |      25 |  7837626 |  7137398 |      966  16783 |        0 |        0
1410.58/1410.96	c 1410s |      25 |  7848190 |  7147098 |      966  16802 |        0 |        0
1412.58/1412.98	c 1412s |      25 |  7858370 |  7156598 |      966  16820 |        0 |        0
1414.57/1414.99	c 1414s |      25 |  7868430 |  7165898 |      966  16838 |        0 |        0
1416.67/1417.00	c 1416s |      25 |  7878562 |  7175298 |      966  16856 |        0 |        0
1418.68/1419.02	c 1419s |      25 |  7888788 |  7184798 |      966  16874 |        0 |        0
1420.67/1421.02	c 1421s |      25 |  7898774 |  7194298 |      966  16892 |        0 |        0
1422.67/1423.04	c 1423s |      25 |  7909146 |  7203998 |      966  16911 |        0 |        0
1424.67/1425.05	c 1425s |      25 |  7919741 |  7213798 |      966  16930 |        0 |        0
1426.67/1427.07	c 1427s |      25 |  7929722 |  7222998 |      966  16948 |        0 |        0
1428.67/1429.08	c 1429s |      25 |  7939576 |  7232198 |      966  16965 |        0 |        0
1430.77/1431.10	c 1431s |      25 |  7949880 |  7241698 |      966  16984 |        0 |        0
1432.76/1433.12	c 1433s |      25 |  7960373 |  7251198 |      966  17002 |        0 |        0
1434.77/1435.13	c 1435s |      25 |  7970660 |  7260698 |      966  17020 |        0 |        0
1436.77/1437.13	c 1437s |      25 |  7980903 |  7269998 |      966  17038 |        0 |        0
1438.77/1439.14	c 1439s |      25 |  7991215 |  7279498 |      966  17056 |        0 |        0
1440.77/1441.16	c 1441s |      25 |  8001452 |  7289098 |      966  17074 |        0 |        0
1442.77/1443.16	c 1443s |      25 |  8012365 |  7298998 |      966  17094 |        0 |        0
1444.76/1445.17	c 1445s |      25 |  8022358 |  7308298 |      966  17111 |        0 |        0
1446.76/1447.19	c 1447s |      25 |  8032827 |  7317998 |      966  17130 |        0 |        0
1448.76/1449.19	c 1449s |      25 |  8043001 |  7327298 |      966  17148 |        0 |        0
1450.76/1451.19	c 1451s |      25 |  8052898 |  7336498 |      966  17166 |        0 |        0
1452.77/1453.19	c 1453s |      25 |  8063018 |  7345898 |      966  17184 |        0 |        0
1454.86/1455.20	c 1455s |      25 |  8073080 |  7355198 |      966  17202 |        0 |        0
1456.86/1457.23	c 1457s |      25 |  8083174 |  7364498 |      966  17220 |        0 |        0
1458.86/1459.25	c 1459s |      25 |  8093331 |  7373898 |      966  17237 |        0 |        0
1460.86/1461.26	c 1461s |      25 |  8103961 |  7383498 |      966  17256 |        0 |        0
1462.85/1463.28	c 1463s |      25 |  8114958 |  7393098 |      966  17275 |        0 |        0
1464.86/1465.29	c 1465s |      25 |  8125629 |  7402698 |      966  17293 |        0 |        0
1466.95/1467.30	c 1467s |      25 |  8135911 |  7412098 |      966  17311 |        0 |        0
1468.95/1469.31	c 1469s |      25 |  8145994 |  7421298 |      966  17329 |        0 |        0
1470.95/1471.31	c 1471s |      25 |  8155817 |  7430198 |      966  17346 |        0 |        0
1472.95/1473.32	c 1473s |      25 |  8164792 |  7438398 |      966  17362 |        0 |        0
1474.94/1475.33	c 1475s |      25 |  8174319 |  7447298 |      966  17379 |        0 |        0
1476.95/1477.35	c 1477s |      25 |  8184341 |  7456598 |      966  17397 |        0 |        0
1478.94/1479.36	c 1479s |      25 |  8194865 |  7466298 |      966  17415 |        0 |        0
1480.94/1481.36	c 1481s |      25 |  8205307 |  7475898 |      966  17434 |        0 |        0
1482.94/1483.37	c 1483s |      25 |  8215051 |  7484998 |      966  17451 |        0 |        0
1484.93/1485.39	c 1485s |      25 |  8224687 |  7493898 |      966  17468 |        0 |        0
1487.03/1487.41	c 1487s |      25 |  8234150 |  7502698 |      966  17485 |        0 |        0
1489.04/1489.42	c 1489s |      25 |  8243807 |  7511798 |      966  17503 |        0 |        0
1491.03/1491.44	c 1491s |      25 |  8253596 |  7520898 |      966  17520 |        0 |        0
1493.03/1493.44	c 1493s |      25 |  8263304 |  7529998 |      966  17538 |        0 |        0
1495.02/1495.46	c 1495s |      25 |  8272997 |  7539098 |      966  17555 |        0 |        0
1497.02/1497.46	c 1497s |      25 |  8282422 |  7547898 |     1063  17571 |        0 |        0
1499.03/1499.46	c 1499s |      25 |  8291403 |  7556298 |     1063  17586 |        0 |        0
1501.02/1501.48	c 1501s |      25 |  8300892 |  7564998 |     1063  17601 |        0 |        0
1503.12/1503.50	c 1503s |      25 |  8310394 |  7573798 |     1063  17617 |        0 |        0
1505.11/1505.52	c 1505s |      25 |  8319864 |  7582598 |     1063  17632 |        0 |        0
1507.12/1507.55	c 1507s |      25 |  8329221 |  7591398 |     1063  17648 |        0 |        0
1508.62/1509.03	c 1509s |      26 |  8336003 |  7597752 |     1063  17659 |        0 |        0
1510.62/1511.04	c 1511s |      26 |  8346702 |  7607552 |     1063  17676 |        0 |        0
1512.62/1513.05	c 1513s |      26 |  8357072 |  7617052 |     1063  17692 |        0 |        0
1514.61/1515.06	c 1515s |      26 |  8366956 |  7626252 |     1063  17708 |        0 |        0
1516.62/1517.06	c 1517s |      26 |  8377371 |  7635752 |     1063  17725 |        0 |        0
1518.61/1519.07	c 1519s |      26 |  8387053 |  7644752 |     1063  17740 |        0 |        0
1520.61/1521.07	c 1521s |      26 |  8396776 |  7653752 |     1063  17756 |        0 |        0
1522.61/1523.08	c 1523s |      26 |  8406454 |  7662652 |     1063  17771 |        0 |        0
1524.71/1525.10	c 1525s |      26 |  8415640 |  7671052 |     1063  17786 |        0 |        0
1526.71/1527.12	c 1527s |      26 |  8424834 |  7679552 |     1063  17800 |        0 |        0
1528.71/1529.14	c 1529s |      26 |  8435113 |  7688852 |     1063  17816 |        0 |        0
1530.70/1531.14	c 1531s |      26 |  8444660 |  7697652 |     1063  17832 |        0 |        0
1532.70/1533.16	c 1533s |      26 |  8454825 |  7706752 |     1063  17847 |        0 |        0
1534.70/1535.17	c 1535s |      26 |  8464481 |  7715552 |     1063  17863 |        0 |        0
1536.70/1537.19	c 1537s |      26 |  8474048 |  7724352 |     1063  17878 |        0 |        0
1538.80/1539.20	c 1539s |      26 |  8483593 |  7733052 |     1063  17893 |        0 |        0
1540.70/1541.20	c 1541s |      26 |  8493931 |  7742452 |     1063  17910 |        0 |        0
1542.79/1543.21	c 1543s |      26 |  8504227 |  7751852 |     1063  17926 |        0 |        0
1544.79/1545.22	c 1545s |      26 |  8514180 |  7760952 |     1063  17942 |        0 |        0
1546.79/1547.24	c 1547s |      26 |  8523485 |  7769552 |     1063  17957 |        0 |        0
1548.79/1549.25	c 1549s |      26 |  8532533 |  7777952 |     1063  17972 |        0 |        0
1550.79/1551.27	c 1551s |      26 |  8541553 |  7786252 |     1063  17986 |        0 |        0
1552.79/1553.29	c 1553s |      26 |  8550887 |  7794952 |     1063  18001 |        0 |        0
1554.79/1555.29	c 1555s |      26 |  8560327 |  7803652 |     1063  18017 |        0 |        0
1556.89/1557.30	c 1557s |      26 |  8569106 |  7811952 |     1063  18031 |        0 |        0
1558.89/1559.32	c 1559s |      26 |  8577230 |  7819652 |     1063  18045 |        0 |        0
1560.89/1561.33	c 1561s |      26 |  8586037 |  7827852 |     1063  18059 |        0 |        0
1562.89/1563.35	c 1563s |      26 |  8595815 |  7836852 |     1063  18075 |        0 |        0
1564.89/1565.37	c 1565s |      26 |  8605010 |  7845352 |     1063  18089 |        0 |        0
1566.89/1567.38	c 1567s |      26 |  8613902 |  7853552 |     1063  18104 |        0 |        0
1568.89/1569.38	c 1569s |      26 |  8623203 |  7862152 |     1063  18119 |        0 |        0
1570.99/1571.40	c 1571s |      26 |  8632321 |  7870552 |     1063  18133 |        0 |        0
1572.98/1573.42	c 1573s |      26 |  8640988 |  7878652 |     1063  18147 |        0 |        0
1574.98/1575.44	c 1575s |      26 |  8649346 |  7886552 |     1063  18161 |        0 |        0
1576.99/1577.47	c 1577s |      26 |  8657427 |  7894152 |     1063  18174 |        0 |        0
1578.98/1579.48	c 1579s |      26 |  8665983 |  7902152 |     1063  18188 |        0 |        0
1580.98/1581.49	c 1581s |      26 |  8674625 |  7910052 |     1063  18202 |        0 |        0
1583.08/1583.50	c 1583s |      26 |  8684040 |  7918552 |     1063  18217 |        0 |        0
1585.07/1585.52	c 1585s |      26 |  8693791 |  7927552 |     1063  18232 |        0 |        0
1587.07/1587.52	c 1587s |      26 |  8703034 |  7936152 |     1063  18247 |        0 |        0
1589.08/1589.52	c 1589s |      26 |  8711844 |  7944352 |     1063  18262 |        0 |        0
1591.07/1591.54	c 1591s |      26 |  8719943 |  7951952 |     1063  18275 |        0 |        0
1593.07/1593.55	c 1593s |      26 |  8727754 |  7959352 |     1063  18288 |        0 |        0
1595.07/1595.57	c 1595s |      26 |  8735993 |  7967052 |     1063  18301 |        0 |        0
1597.17/1597.60	c 1597s |      26 |  8744090 |  7974752 |     1063  18314 |        0 |        0
1599.16/1599.61	c 1599s |      26 |  8751571 |  7981852 |     1063  18327 |        0 |        0
1601.17/1601.63	c 1601s |      26 |  8759196 |  7989052 |     1063  18339 |        0 |        0
1603.16/1603.65	c 1603s |      26 |  8766813 |  7996252 |     1063  18352 |        0 |        0
1605.16/1605.66	c 1605s |      26 |  8774702 |  8003652 |     1063  18365 |        0 |        0
1607.16/1607.67	c 1607s |      26 |  8782636 |  8011152 |     1063  18378 |        0 |        0
1609.26/1609.70	c 1609s |      26 |  8790575 |  8018652 |     1063  18391 |        0 |        0
1611.26/1611.71	c 1611s |      26 |  8798672 |  8026252 |     1063  18404 |        0 |        0
1613.27/1613.73	c 1613s |      26 |  8806492 |  8033652 |     1063  18416 |        0 |        0
1615.26/1615.75	c 1615s |      26 |  8814060 |  8040852 |     1063  18429 |        0 |        0
1617.26/1617.76	c 1617s |      26 |  8821854 |  8048152 |     1063  18442 |        0 |        0
1619.25/1619.77	c 1619s |      26 |  8829583 |  8055452 |     1063  18454 |        0 |        0
1621.25/1621.79	c 1621s |      26 |  8839061 |  8064252 |     1063  18470 |        0 |        0
1623.35/1623.81	c 1623s |      26 |  8848084 |  8072752 |     1063  18484 |        0 |        0
1625.36/1625.81	c 1625s |      26 |  8856931 |  8080952 |     1063  18498 |        0 |        0
1627.35/1627.83	c 1627s |      26 |  8865606 |  8089052 |     1063  18512 |        0 |        0
1629.35/1629.85	c 1629s |      26 |  8874592 |  8097552 |     1063  18527 |        0 |        0
1631.35/1631.85	c 1631s |      26 |  8883727 |  8106052 |     1063  18542 |        0 |        0
1633.35/1633.88	c 1633s |      26 |  8893067 |  8114852 |     1063  18557 |        0 |        0
1635.35/1635.89	c 1635s |      26 |  8901824 |  8123152 |     1063  18572 |        0 |        0
1637.45/1637.91	c 1637s |      26 |  8910582 |  8131452 |     1063  18586 |        0 |        0
1639.44/1639.93	c 1639s |      26 |  8919438 |  8139752 |     1063  18600 |        0 |        0
1641.44/1641.94	c 1641s |      26 |  8928968 |  8148652 |     1063  18616 |        0 |        0
1643.44/1643.97	c 1643s |      26 |  8938218 |  8157152 |     1063  18631 |        0 |        0
1645.44/1645.97	c 1645s |      26 |  8946706 |  8165152 |     1063  18644 |        0 |        0
1647.45/1647.99	c 1647s |      26 |  8955222 |  8173152 |     1063  18658 |        0 |        0
1649.44/1650.00	c 1649s |      26 |  8963455 |  8180952 |     1063  18672 |        0 |        0
1651.54/1652.02	c 1652s |      26 |  8971778 |  8188852 |     1063  18686 |        0 |        0
1653.54/1654.02	c 1654s |      26 |  8980880 |  8197352 |     1063  18700 |        0 |        0
1655.53/1656.02	c 1656s |      26 |  8989730 |  8205452 |     1063  18715 |        0 |        0
1657.53/1658.04	c 1658s |      26 |  8998188 |  8213252 |     1063  18728 |        0 |        0
1659.54/1660.04	c 1660s |      26 |  9006325 |  8220852 |     1063  18741 |        0 |        0
1661.53/1662.05	c 1662s |      26 |  9013626 |  8227752 |     1063  18753 |        0 |        0
1663.53/1664.07	c 1664s |      26 |  9021442 |  8235052 |     1063  18766 |        0 |        0
1665.52/1666.09	c 1666s |      26 |  9028851 |  8242052 |     1063  18778 |        0 |        0
1667.62/1668.10	c 1668s |      26 |  9036120 |  8248952 |     1063  18790 |        0 |        0
1669.62/1670.12	c 1670s |      26 |  9043777 |  8256052 |     1063  18802 |        0 |        0
1671.63/1672.13	c 1672s |      26 |  9052018 |  8263752 |     1063  18816 |        0 |        0
1673.62/1674.13	c 1674s |      26 |  9059892 |  8271152 |     1063  18829 |        0 |        0
1675.62/1676.14	c 1676s |      26 |  9067566 |  8278352 |     1063  18841 |        0 |        0
1677.62/1678.16	c 1678s |      26 |  9075623 |  8285852 |     1063  18854 |        0 |        0
1679.62/1680.19	c 1680s |      26 |  9083592 |  8293252 |     1063  18867 |        0 |        0
1681.72/1682.23	c 1682s |      26 |  9091236 |  8300452 |     1063  18880 |        0 |        0
1683.73/1684.23	c 1684s |      26 |  9099772 |  8308252 |     1063  18893 |        0 |        0
1685.72/1686.24	c 1686s |      26 |  9108032 |  8315952 |     1063  18907 |        0 |        0
1687.72/1688.26	c 1688s |      26 |  9116730 |  8324052 |     1063  18921 |        0 |        0
1689.72/1690.27	c 1690s |      26 |  9125578 |  8332152 |     1063  18935 |        0 |        0
1691.72/1692.27	c 1692s |      26 |  9134071 |  8339952 |     1063  18948 |        0 |        0
1693.72/1694.30	c 1694s |      26 |  9142245 |  8347552 |     1063  18961 |        0 |        0
1695.82/1696.31	c 1696s |      26 |  9150112 |  8354952 |     1063  18974 |        0 |        0
1697.81/1698.33	c 1698s |      26 |  9158025 |  8362252 |     1063  18987 |        0 |        0
1699.81/1700.33	c 1700s |      26 |  9167569 |  8371152 |     1063  19002 |        0 |        0
1701.81/1702.35	c 1702s |      26 |  9176755 |  8379752 |     1063  19017 |        0 |        0
1703.81/1704.36	c 1704s |      26 |  9186382 |  8388552 |     1063  19032 |        0 |        0
1705.81/1706.36	c 1706s |      26 |  9195333 |  8396852 |     1063  19047 |        0 |        0
1707.81/1708.38	c 1708s |      26 |  9204217 |  8405052 |     1063  19061 |        0 |        0
1709.91/1710.41	c 1710s |      26 |  9212759 |  8412952 |     1063  19075 |        0 |        0
1711.90/1712.41	c 1712s |      26 |  9221938 |  8421352 |     1063  19089 |        0 |        0
1713.90/1714.43	c 1714s |      26 |  9230616 |  8429352 |     1063  19103 |        0 |        0
1715.90/1716.45	c 1716s |      26 |  9239854 |  8437952 |     1063  19118 |        0 |        0
1717.90/1718.47	c 1718s |      26 |  9248642 |  8445952 |     1063  19132 |        0 |        0
1719.90/1720.47	c 1720s |      26 |  9257814 |  8454452 |     1063  19147 |        0 |        0
1721.90/1722.48	c 1722s |      26 |  9267505 |  8463252 |     1063  19162 |        0 |        0
1723.90/1724.49	c 1724s |      26 |  9275924 |  8471052 |     1063  19176 |        0 |        0
1725.99/1726.50	c 1726s |      26 |  9285240 |  8479552 |     1063  19191 |        0 |        0
1727.99/1728.52	c 1728s |      26 |  9294744 |  8488352 |     1063  19206 |        0 |        0
1729.99/1730.52	c 1730s |      26 |  9304002 |  8496852 |     1063  19221 |        0 |        0
1732.00/1732.54	c 1732s |      26 |  9313354 |  8505352 |     1063  19235 |        0 |        0
1733.99/1734.54	c 1734s |      26 |  9321577 |  8513052 |     1063  19249 |        0 |        0
1735.99/1736.55	c 1736s |      26 |  9330349 |  8521052 |     1063  19263 |        0 |        0
1737.99/1738.55	c 1738s |      26 |  9338602 |  8528652 |     1063  19276 |        0 |        0
1739.99/1740.55	c 1740s |      26 |  9346402 |  8535852 |     1063  19288 |        0 |        0
1742.00/1742.56	c 1742s |      26 |  9355016 |  8543852 |     1063  19302 |        0 |        0
1743.99/1744.58	c 1744s |      26 |  9364418 |  8552452 |     1063  19317 |        0 |        0
1746.09/1746.60	c 1746s |      26 |  9373746 |  8561052 |     1063  19332 |        0 |        0
1748.09/1748.61	c 1748s |      26 |  9383247 |  8569852 |     1063  19347 |        0 |        0
1750.09/1750.62	c 1750s |      26 |  9392083 |  8577952 |     1063  19361 |        0 |        0
1752.09/1752.63	c 1752s |      26 |  9401054 |  8586152 |     1063  19376 |        0 |        0
1754.09/1754.64	c 1754s |      26 |  9410371 |  8594752 |     1063  19391 |        0 |        0
1756.08/1756.66	c 1756s |      26 |  9420223 |  8603852 |     1063  19406 |        0 |        0
1758.08/1758.68	c 1758s |      26 |  9430060 |  8612852 |     1063  19422 |        0 |        0
1760.18/1760.70	c 1760s |      26 |  9439511 |  8621652 |     1063  19437 |        0 |        0
1762.18/1762.72	c 1762s |      26 |  9448885 |  8630452 |     1063  19453 |        0 |        0
1764.17/1764.72	c 1764s |      26 |  9458303 |  8639252 |     1063  19468 |        0 |        0
1766.18/1766.73	c 1766s |      26 |  9467565 |  8647952 |     1063  19483 |        0 |        0
1768.17/1768.74	c 1768s |      26 |  9477982 |  8657552 |     1063  19500 |        0 |        0
1770.17/1770.75	c 1770s |      26 |  9487443 |  8666452 |     1063  19515 |        0 |        0
1772.17/1772.76	c 1772s |      26 |  9497450 |  8675452 |     1063  19531 |        0 |        0
1774.17/1774.77	c 1774s |      26 |  9506904 |  8684152 |     1063  19546 |        0 |        0
1776.17/1776.77	c 1776s |      26 |  9516650 |  8692952 |     1063  19561 |        0 |        0
1778.18/1778.77	c 1778s |      26 |  9526061 |  8701552 |     1063  19576 |        0 |        0
1780.17/1780.78	c 1780s |      26 |  9535185 |  8709952 |     1063  19591 |        0 |        0
1782.17/1782.78	c 1782s |      26 |  9544277 |  8718452 |     1063  19606 |        0 |        0
1784.17/1784.79	c 1784s |      26 |  9552836 |  8726452 |     1063  19619 |        0 |        0
1786.27/1786.82	c 1786s |      26 |  9560771 |  8733952 |     1063  19632 |        0 |        0
1788.27/1788.82	c 1788s |      26 |  9568947 |  8741552 |     1063  19646 |        0 |        0
1790.27/1790.83	c 1790s |      26 |  9578294 |  8750252 |     1063  19661 |        0 |        0
1792.26/1792.84	c 1792s |      26 |  9587640 |  8758852 |     1063  19676 |        0 |        0
1794.26/1794.86	c 1794s |      26 |  9596863 |  8767352 |     1063  19690 |        0 |        0
1796.26/1796.86	c 1796s |      26 |  9605447 |  8775352 |     1063  19704 |        0 |        0
1798.26/1798.87	c 1798s |      26 |  9615026 |  8784152 |     1063  19720 |        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-4089988-1466036403/watcher-4089988-1466036403 -o /tmp/evaluation-result-4089988-1466036403/solver-4089988-1466036403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089988-1466036403.opb 

pid=9018
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.34 2.27 2.27 3/180 9021
/proc/meminfo: memFree=29439764/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 5686799 734457856 3037 33554432000 4194304 16246674 140736933110016 140736933109440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 180079 3046 441 2943 0 176973 0
[pid=9021/tid=9022] ppid=9018 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 753332224 3109 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 757526528 3125 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 761720832 3141 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100224 s]
/proc/loadavg: 2.34 2.27 2.27 3/180 9021
/proc/meminfo: memFree=29439764/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 28378 0 0 0 5 4 0 0 20 0 4 0 5686799 1247350784 28728 33554432000 4194304 16246674 140736933110016 140736933109440 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 304529 28741 715 2943 0 301423 0
[pid=9021/tid=9022] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 28752 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 28763 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 28771 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200548 s]
/proc/loadavg: 2.34 2.27 2.27 3/180 9021
/proc/meminfo: memFree=29439764/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 55826 0 0 0 12 7 0 0 20 0 4 0 5686799 1247350784 56175 33554432000 4194304 16246674 140736933110016 140736933109440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 304529 56185 716 2943 0 301423 0
[pid=9021/tid=9022] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 56195 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 56207 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 56214 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.34 2.27 2.27 3/180 9021
/proc/meminfo: memFree=29439764/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 83779 0 0 0 18 11 0 0 20 0 4 0 5686799 1247350784 84129 33554432000 4194304 16246674 140736933110016 140736933109440 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 304529 84148 716 2943 0 301423 0
[pid=9021/tid=9022] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 84156 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 84163 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 84169 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.34 2.27 2.27 3/180 9021
/proc/meminfo: memFree=29439764/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 196981 0 0 0 44 25 0 0 20 0 4 0 5686799 1247350784 197330 33554432000 4194304 16246674 140736933110016 140736933109440 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 304529 197343 716 2943 0 301423 0
[pid=9021/tid=9022] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 197354 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 197367 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1247350784 197375 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.34 2.27 2.27 3/184 9025
/proc/meminfo: memFree=28456968/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267304 0 0 0 114 35 0 0 20 0 4 0 5686799 1336479744 267633 33554432000 4194304 16246674 140736933110016 140736933109328 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326289 267633 790 2943 0 323183 0
[pid=9021/tid=9022] ppid=9018 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1336479744 267633 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1336479744 267633 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1336479744 267633 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10044 s]
/proc/loadavg: 2.34 2.27 2.27 3/184 9025
/proc/meminfo: memFree=28369176/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267414 0 0 0 274 35 0 0 20 0 4 0 5686799 1337528320 267743 33554432000 4194304 16246674 140736933110016 140736933091904 5523480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267743 790 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267743 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267743 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267743 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.40 2.29 2.27 3/184 9025
/proc/meminfo: memFree=28368948/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267430 0 0 0 594 35 0 0 20 0 4 0 5686799 1337528320 267759 33554432000 4194304 16246674 140736933110016 140736933093016 6843493 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267759 790 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267759 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267759 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267759 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.36 2.28 2.27 3/184 9025
/proc/meminfo: memFree=28369000/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267435 0 0 0 1233 35 0 0 20 0 4 0 5686799 1337528320 267764 33554432000 4194304 16246674 140736933110016 140736933093016 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267764 793 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267764 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267764 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267764 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.28 2.27 2.27 3/184 9025
/proc/meminfo: memFree=28368996/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267457 0 0 0 2513 35 0 0 20 0 4 0 5686799 1337528320 267786 33554432000 4194304 16246674 140736933110016 140736933093016 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267786 793 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267786 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267786 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267786 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.28 2.27 3/184 9025
/proc/meminfo: memFree=28369372/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267458 0 0 0 5072 36 0 0 20 0 4 0 5686799 1337528320 267787 33554432000 4194304 16246674 140736933110016 140736933091904 13193987 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267787 793 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267787 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267787 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267787 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.21 2.25 2.26 3/183 9026
/proc/meminfo: memFree=28369504/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267482 0 0 0 10191 37 0 0 20 0 4 0 5686799 1337528320 267811 33554432000 4194304 16246674 140736933110016 140736933091904 13196064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326545 267811 793 2943 0 323439 0
[pid=9021/tid=9022] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267811 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267811 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1337528320 267811 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.13 2.20 2.21 4/183 9056
/proc/meminfo: memFree=28362116/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1302.05 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267720 0 0 0 130148 57 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140736933091904 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268224 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.24 2.22 2.21 3/183 9057
/proc/meminfo: memFree=28362020/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1362.01 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267762 0 0 0 136144 57 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140736933091904 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268224 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268224 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.19 2.21 2.20 3/183 9059
/proc/meminfo: memFree=28362200/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1421.98 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267813 0 0 0 142140 58 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140736933091904 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268231 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.20 4/183 9060
/proc/meminfo: memFree=28362040/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1481.94 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267855 0 0 0 148135 59 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140736933091904 12460658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268231 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268231 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.16 2.19 2.19 3/183 9061
/proc/meminfo: memFree=28361972/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1541.9 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267901 0 0 0 154130 60 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933091904 13191520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.33 2.23 2.20 3/183 9062
/proc/meminfo: memFree=28362152/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1601.86 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267944 0 0 0 160125 61 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933091904 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.46 2.28 2.21 4/183 9063
/proc/meminfo: memFree=28362256/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1661.83 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 267990 0 0 0 166122 61 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933091904 5669379 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.56 2.34 2.24 3/183 9065
/proc/meminfo: memFree=28361836/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1721.8 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 268034 0 0 0 172118 62 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933091904 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.38 2.34 2.24 3/183 9114
/proc/meminfo: memFree=28356700/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 268078 0 0 0 178114 63 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933093016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.35 2.33 2.24 4/184 9118
/proc/meminfo: memFree=28356264/32872528 swapFree=1369816/1516984
[pid=9021] ppid=9018 vsize=1307204 CPUtime=1800.06 cores=1,3,5,7
/proc/9021/stat : 9021 (toysat) R 9018 9021 5822 0 -1 4202496 268091 0 0 0 179943 63 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140736933091904 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9021/statm: 326801 268234 795 2943 0 323695 0
[pid=9021/tid=9022] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9022/stat : 9022 (toysat) S 9018 9021 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031460093168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9021/tid=9023] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9023/stat : 9023 (toysat) S 9018 9021 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031449603312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9021/tid=9024] ppid=9018 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9021/task/9024/stat : 9024 (toysat) S 9018 9021 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5686799 1338576896 268234 33554432000 4194304 16246674 140736933110016 140031368883376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 9021 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.08
CPU user time (s): 1799.44
CPU system time (s): 0.637903
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.637903
maximum resident set size= 1072936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268091
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= 456
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5913 second user time and 6.92695 second system time

The end

Begin job on node129 at 2016-06-16 02:20:03
IDJOB=4089988
IDBENCH=107485
IDSOLVER=2542
FILE ID=node129/4089988-1466036403
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= bc85fa55b82808cf2d6ead8192348d0f
RANDOM SEED=1550006793

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29440284 kB
Buffers:           39216 kB
Cached:            80256 kB
SwapCached:        20160 kB
Active:          1136948 kB
Inactive:          75712 kB
Active(anon):    1075300 kB
Inactive(anon):    20108 kB
Active(file):      61648 kB
Inactive(file):    55604 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081548 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2590808 kB
Mapped:            10276 kB
Shmem:                 0 kB
Slab:             567432 kB
SReclaimable:      11476 kB
SUnreclaim:       555956 kB
KernelStack:        1504 kB
PageTables:         8952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2733016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node129 at 2016-06-16 02:50:04