0.00/0.00	c 2016-06-16T02:23:13+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-4090016-1466036593.opb"]
0.00/0.01	c use --random-gen="3217019198 3375059455 2249557296 1449664081 597470624 405958311 3032394073 1870813935 2264268127 1371851066 3736897342 25366570 227380064 1338411524 2702782490 3597327893 585827884 3512064799 3966925822 1854384795 1061141844 3424325542 2401986558 1972923557 784642583 3146762564 2532133165 1506441148 3574795182 2686553388 2316660893 2690990249 198463502 2037302462 742567307 372235681 1870102363 1606870858 2266801941 668950666 897847922 2867466016 1814220210 1772158693 122644071 3824778432 1100156711 3011046910 3047122952 3035759314 433537610 2962828765 4280931062 3880105574 966431308 182854464 1356490082 453468128 975278780 1654565949 192769637 333366429 1584062395 1219190836 3986697486 159167978 3811454939 2322532779 1169072390 1147698800 1930636444 1518610473 4137897156 437146592 219500884 2880058551 224000623 239497241 1626204305 1732403422 3378452358 1872393962 4025066185 1152801089 3409412666 3583630176 856771282 1846997653 2927911705 2743527989 1604670811 2075508084 648276157 2830728400 3009522999 3772674577 3209262307 3211177793 3175892540 3022309024 293958993 1614907573 3186951581 2754413823 1280486396 864405888 2624739650 3851551481 893502938 2536991401 2053255088 2000205010 2558313937 2393705166 2077087077 1973096689 3453278858 479995019 1766849424 3224849402 635597754 1926064114 2960906396 3551024621 1023751233 963382370 2864087877 2947324501 1854991217 4042603701 4243641081 3016320237 2874759314 1502396785 1113923035 3444913839 1232176321 120446212 4229629434 3952847661 2036416757 3927603269 2070091314 1026686810 653514513 597552492 951064631 1684104419 1484363572 1401851726 1316030729 3763405226 1807248395 999032691 2434487906 3652003090 4055218671 2197423866 3542142485 3340600209 2643244235 520696191 640084409 2542830319 3935785477 615211968 1684110924 1672645191 3525093132 2169802864 4005751868 2595716618 699037794 4059201874 3149176343 2756460740 1425600887 2009659295 745877452 40082273 3652453251 1815617678 932473962 2790914954 93494197 2925352040 361673745 5779086 1954869622 1773140347 3381798275 3964819282 1799828059 3333704664 3423321645 3738521854 275406681 1479965371 2239375662 3600358888 1230947871 2502065288 860207554 2372619913 2314802567 659737034 2377605588 197418223 2469574561 715365696 1253144973 919318139 325320701 1092666598 2401379163 1426404909 1415248895 3090278386 3674745820 4084654814 4257852355 3892171315 1227444128 2783409956 1842956331 1770885757 1894416750 1249003117 1661708739 3311817795 3205273296 3139561178 313134740 676971276 1776725686 2811061356 2739368380 1555230185 974835409 3197047168 3859364310 2217404548 2541622017 1012101053 1328256983 193179147 2017120192 1749100027 3285383166 68798054 2074331151 165176240 2198115498 3665594944 3583248460 3761336508 255 362436" option to reproduce the execution
0.00/0.01	c #vars 213
0.00/0.01	c #constraints 71
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      118      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      143 |      100 |      118      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      400 |      250 |      130      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      735 |      475 |      143      2 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1202 |      813 |      158      4 |        0 |        0
0.29/0.30	c  0.3s |       5 |     1832 |     1320 |      174      7 |        0 |        0
0.38/0.46	c  0.4s |       6 |     2806 |     2081 |      212     12 |        0 |        0
0.69/0.72	c  0.7s |       7 |     4295 |     3223 |      234     18 |        0 |        0
0.99/1.06	c  1.0s |       8 |     6408 |     4936 |      258     28 |        0 |        0
1.48/1.53	c  1.5s |       9 |     9599 |     7506 |      284     42 |        0 |        0
2.08/2.19	c  2.2s |      10 |    14203 |    11361 |      313     60 |        0 |        0
3.29/3.31	c  3.3s |      11 |    20844 |    17144 |      345     86 |        0 |        0
4.98/5.01	c  5.0s |      12 |    30515 |    25819 |      380    123 |        0 |        0
6.98/7.02	c  7.0s |      12 |    41914 |    36119 |      380    163 |        0 |        0
7.48/7.54	c  7.5s |      13 |    44854 |    38832 |      419    174 |        0 |        0
9.48/9.56	c  9.5s |      13 |    56884 |    49632 |      419    212 |        0 |        0
11.18/11.27	c 11.3s |      14 |    66314 |    58352 |      461    243 |        0 |        0
13.19/13.28	c 13.3s |      14 |    78660 |    69152 |      461    279 |        0 |        0
15.18/15.28	c 15.3s |      14 |    90767 |    79752 |      461    316 |        0 |        0
16.78/16.87	c 16.9s |      15 |    99996 |    87632 |      508    343 |        0 |        0
18.79/18.89	c 18.9s |      15 |   113195 |    98032 |      508    377 |        0 |        0
20.89/20.91	c 20.9s |      15 |   124834 |   107932 |      508    409 |        0 |        0
22.88/22.92	c 22.9s |      15 |   136828 |   117732 |      508    441 |        0 |        0
24.89/24.92	c 24.9s |      15 |   149924 |   127732 |      508    473 |        0 |        0
25.69/25.75	c 25.7s |      16 |   154493 |   131552 |      559    485 |        0 |        0
27.69/27.76	c 27.7s |      16 |   165540 |   141452 |      559    514 |        0 |        0
29.69/29.77	c 29.8s |      16 |   176365 |   151152 |      559    542 |        0 |        0
31.69/31.79	c 31.8s |      16 |   187522 |   161252 |      559    572 |        0 |        0
33.79/33.81	c 33.8s |      16 |   197875 |   170752 |      559    600 |        0 |        0
35.79/35.81	c 35.8s |      16 |   208065 |   179952 |      559    627 |        0 |        0
37.78/37.81	c 37.8s |      16 |   217547 |   188552 |      559    652 |        0 |        0
39.78/39.82	c 39.8s |      16 |   227632 |   197352 |      615    677 |        0 |        0
39.78/39.84	c 39.8s |      17 |   227727 |   197432 |      615    677 |        0 |        0
41.79/41.85	c 41.8s |      17 |   238204 |   206732 |      615    702 |        0 |        0
43.78/43.86	c 43.8s |      17 |   247843 |   215432 |      615    726 |        0 |        0
45.78/45.88	c 45.9s |      17 |   258030 |   224632 |      615    751 |        0 |        0
47.88/47.90	c 47.9s |      17 |   267389 |   233132 |      615    774 |        0 |        0
49.88/49.91	c 49.9s |      17 |   277030 |   241832 |      615    797 |        0 |        0
51.88/51.92	c 51.9s |      17 |   286961 |   250732 |      615    821 |        0 |        0
53.89/53.93	c 53.9s |      17 |   296768 |   259632 |      615    846 |        0 |        0
55.88/55.94	c 55.9s |      17 |   306428 |   268332 |      615    869 |        0 |        0
57.88/57.95	c 57.9s |      17 |   315423 |   276332 |      615    891 |        0 |        0
59.88/59.95	c 59.9s |      17 |   323545 |   283732 |      615    912 |        0 |        0
61.88/61.96	c 61.9s |      17 |   333191 |   292232 |      615    935 |        0 |        0
62.88/62.93	c 62.9s |      18 |   337724 |   296252 |      677    946 |        0 |        0
64.88/64.95	c 64.9s |      18 |   348726 |   305852 |      677    970 |        0 |        0
66.87/66.96	c 66.9s |      18 |   359122 |   315152 |      677    993 |        0 |        0
68.88/68.96	c 68.9s |      18 |   369541 |   324452 |      677   1016 |        0 |        0
70.88/70.97	c 71.0s |      18 |   379680 |   333552 |      677   1039 |        0 |        0
72.88/72.99	c 73.0s |      18 |   389510 |   342452 |      677   1062 |        0 |        0
74.98/75.01	c 75.0s |      18 |   398941 |   350952 |      677   1083 |        0 |        0
76.99/77.03	c 77.0s |      18 |   409349 |   360052 |      677   1106 |        0 |        0
78.98/79.05	c 79.0s |      18 |   418562 |   368452 |      677   1127 |        0 |        0
80.98/81.06	c 81.1s |      18 |   428259 |   376952 |      677   1148 |        0 |        0
82.98/83.07	c 83.1s |      18 |   439112 |   386252 |      677   1172 |        0 |        0
84.98/85.08	c 85.1s |      18 |   450263 |   395652 |      677   1195 |        0 |        0
86.98/87.08	c 87.1s |      18 |   459922 |   404252 |      677   1217 |        0 |        0
88.98/89.09	c 89.1s |      18 |   470195 |   413252 |      677   1240 |        0 |        0
91.08/91.10	c 91.1s |      18 |   479884 |   421952 |      677   1262 |        0 |        0
93.07/93.12	c 93.1s |      18 |   489784 |   430852 |      677   1285 |        0 |        0
95.07/95.13	c 95.1s |      18 |   498373 |   438552 |      677   1304 |        0 |        0
96.37/96.47	c 96.5s |      19 |   505028 |   444482 |      745   1319 |        0 |        0
98.37/98.48	c 98.5s |      19 |   515384 |   453682 |      745   1340 |        0 |        0
100.37/100.48	c  100s |      19 |   526045 |   462982 |      745   1361 |        0 |        0
102.38/102.49	c  102s |      19 |   535799 |   471682 |      745   1381 |        0 |        0
104.37/104.50	c  104s |      19 |   545157 |   480182 |      745   1401 |        0 |        0
106.47/106.53	c  106s |      19 |   554589 |   488482 |      745   1420 |        0 |        0
108.47/108.54	c  108s |      19 |   563662 |   496582 |      745   1438 |        0 |        0
110.47/110.55	c  110s |      19 |   573003 |   504782 |      745   1457 |        0 |        0
112.47/112.57	c  112s |      19 |   582446 |   513082 |      745   1476 |        0 |        0
114.48/114.59	c  114s |      19 |   591429 |   520982 |      745   1495 |        0 |        0
116.47/116.60	c  116s |      19 |   600320 |   528982 |      745   1513 |        0 |        0
118.57/118.61	c  118s |      19 |   609005 |   536882 |      745   1531 |        0 |        0
120.57/120.63	c  120s |      19 |   617881 |   544782 |      745   1550 |        0 |        0
122.57/122.64	c  122s |      19 |   626436 |   552482 |      745   1567 |        0 |        0
124.57/124.68	c  124s |      19 |   634350 |   559582 |      745   1584 |        0 |        0
126.57/126.69	c  126s |      19 |   643031 |   567382 |      745   1601 |        0 |        0
128.57/128.70	c  128s |      19 |   651882 |   575482 |      745   1620 |        0 |        0
130.67/130.71	c  130s |      19 |   660700 |   583582 |      745   1639 |        0 |        0
132.66/132.71	c  132s |      19 |   669014 |   591182 |      745   1656 |        0 |        0
134.66/134.73	c  134s |      19 |   677175 |   598582 |      745   1673 |        0 |        0
136.66/136.73	c  136s |      19 |   685402 |   606182 |      745   1690 |        0 |        0
138.67/138.76	c  138s |      19 |   693091 |   613282 |      745   1707 |        0 |        0
140.67/140.79	c  140s |      19 |   700487 |   620082 |      745   1722 |        0 |        0
142.67/142.79	c  142s |      19 |   707955 |   626982 |      745   1738 |        0 |        0
144.77/144.82	c  144s |      19 |   715758 |   634182 |      745   1755 |        0 |        0
146.77/146.83	c  146s |      19 |   723203 |   641082 |      745   1770 |        0 |        0
148.77/148.84	c  148s |      19 |   731780 |   648782 |      745   1788 |        0 |        0
150.78/150.84	c  150s |      19 |   740007 |   656282 |      745   1805 |        0 |        0
152.77/152.86	c  152s |      19 |   748244 |   663682 |      820   1822 |        0 |        0
153.57/153.67	c  153s |      20 |   751756 |   666827 |      820   1829 |        0 |        0
155.57/155.68	c  155s |      20 |   761763 |   675227 |      820   1847 |        0 |        0
157.67/157.71	c  157s |      20 |   771602 |   683827 |      820   1865 |        0 |        0
159.67/159.71	c  159s |      20 |   781219 |   692327 |      820   1884 |        0 |        0
161.67/161.72	c  161s |      20 |   790489 |   700527 |      820   1902 |        0 |        0
163.66/163.74	c  163s |      20 |   800428 |   709127 |      820   1920 |        0 |        0
165.66/165.77	c  165s |      20 |   810467 |   717527 |      820   1939 |        0 |        0
167.66/167.78	c  167s |      20 |   819967 |   725527 |      820   1956 |        0 |        0
169.66/169.79	c  169s |      20 |   829898 |   733927 |      820   1974 |        0 |        0
171.76/171.80	c  171s |      20 |   839861 |   742527 |      820   1993 |        0 |        0
173.77/173.83	c  173s |      20 |   849754 |   750827 |      820   2011 |        0 |        0
175.76/175.83	c  175s |      20 |   859118 |   759027 |      820   2028 |        0 |        0
177.76/177.85	c  177s |      20 |   869372 |   767927 |      820   2048 |        0 |        0
179.76/179.86	c  179s |      20 |   878819 |   776127 |      820   2066 |        0 |        0
181.76/181.88	c  181s |      20 |   888762 |   784727 |      820   2084 |        0 |        0
183.76/183.88	c  183s |      20 |   898774 |   793227 |      820   2102 |        0 |        0
185.76/185.89	c  185s |      20 |   908141 |   801427 |      820   2120 |        0 |        0
187.86/187.90	c  187s |      20 |   917993 |   810027 |      820   2139 |        0 |        0
189.86/189.91	c  189s |      20 |   927081 |   818127 |      820   2156 |        0 |        0
191.86/191.91	c  191s |      20 |   935726 |   825827 |      820   2173 |        0 |        0
193.86/193.93	c  193s |      20 |   945079 |   833927 |      820   2190 |        0 |        0
195.86/195.93	c  195s |      20 |   954559 |   842127 |      820   2208 |        0 |        0
197.85/197.94	c  197s |      20 |   964053 |   850327 |      820   2225 |        0 |        0
199.85/199.95	c  199s |      20 |   973576 |   858527 |      820   2243 |        0 |        0
201.85/201.97	c  201s |      20 |   982666 |   866427 |      820   2259 |        0 |        0
203.85/203.98	c  203s |      20 |   992065 |   874527 |      820   2277 |        0 |        0
205.85/205.99	c  205s |      20 |  1001161 |   882527 |      820   2294 |        0 |        0
207.86/208.00	c  207s |      20 |  1010158 |   890127 |      820   2310 |        0 |        0
209.95/210.01	c  209s |      20 |  1019293 |   897927 |      820   2327 |        0 |        0
211.95/212.02	c  212s |      20 |  1028644 |   905927 |      820   2344 |        0 |        0
213.95/214.04	c  214s |      20 |  1038292 |   914327 |      820   2362 |        0 |        0
215.95/216.05	c  216s |      20 |  1047503 |   922527 |      820   2380 |        0 |        0
217.95/218.06	c  218s |      20 |  1057839 |   930927 |      820   2398 |        0 |        0
219.96/220.09	c  220s |      20 |  1066937 |   938827 |      820   2415 |        0 |        0
222.05/222.11	c  222s |      20 |  1076751 |   947027 |      820   2433 |        0 |        0
224.05/224.14	c  224s |      20 |  1085150 |   954327 |      820   2449 |        0 |        0
226.05/226.15	c  226s |      20 |  1093903 |   961927 |      820   2465 |        0 |        0
228.05/228.17	c  228s |      20 |  1103274 |   970027 |      820   2482 |        0 |        0
230.05/230.20	c  230s |      20 |  1112562 |   977827 |      820   2499 |        0 |        0
232.16/232.21	c  232s |      20 |  1120767 |   984927 |      820   2514 |        0 |        0
234.16/234.25	c  234s |      20 |  1128018 |   991527 |      820   2528 |        0 |        0
236.16/236.27	c  236s |      20 |  1135800 |   998527 |      903   2542 |        0 |        0
236.76/236.85	c  236s |      21 |  1137850 |  1000345 |      903   2545 |        0 |        0
238.76/238.86	c  238s |      21 |  1146974 |  1008645 |      903   2561 |        0 |        0
240.76/240.87	c  240s |      21 |  1155278 |  1016445 |      903   2576 |        0 |        0
242.76/242.89	c  242s |      21 |  1163624 |  1024145 |      903   2591 |        0 |        0
244.85/244.92	c  244s |      21 |  1173409 |  1032845 |      903   2608 |        0 |        0
246.85/246.92	c  246s |      21 |  1182241 |  1040845 |      903   2623 |        0 |        0
248.85/248.92	c  248s |      21 |  1190983 |  1048845 |      903   2638 |        0 |        0
250.86/250.93	c  250s |      21 |  1199355 |  1056645 |      903   2654 |        0 |        0
252.85/252.94	c  252s |      21 |  1207928 |  1064545 |      903   2669 |        0 |        0
254.85/254.96	c  254s |      21 |  1216968 |  1072745 |      903   2685 |        0 |        0
256.85/256.97	c  256s |      21 |  1226199 |  1080945 |      903   2700 |        0 |        0
258.95/259.00	c  258s |      21 |  1235072 |  1088845 |      903   2716 |        0 |        0
260.95/261.01	c  260s |      21 |  1243698 |  1096545 |      903   2731 |        0 |        0
262.96/263.02	c  263s |      21 |  1251459 |  1103545 |      903   2744 |        0 |        0
264.95/265.03	c  265s |      21 |  1259309 |  1110645 |      903   2758 |        0 |        0
266.95/267.04	c  267s |      21 |  1267296 |  1118045 |      903   2772 |        0 |        0
268.95/269.07	c  269s |      21 |  1274899 |  1125045 |      903   2785 |        0 |        0
270.95/271.09	c  271s |      21 |  1283011 |  1132245 |      903   2799 |        0 |        0
273.05/273.10	c  273s |      21 |  1290564 |  1139145 |      903   2813 |        0 |        0
275.06/275.12	c  275s |      21 |  1298860 |  1146545 |      903   2827 |        0 |        0
277.05/277.12	c  277s |      21 |  1307116 |  1154045 |      903   2841 |        0 |        0
279.05/279.13	c  279s |      21 |  1316218 |  1162045 |      903   2857 |        0 |        0
281.05/281.14	c  281s |      21 |  1324397 |  1169645 |      903   2872 |        0 |        0
283.05/283.17	c  283s |      21 |  1332230 |  1176845 |      903   2886 |        0 |        0
285.05/285.18	c  285s |      21 |  1340120 |  1184045 |      903   2900 |        0 |        0
287.05/287.20	c  287s |      21 |  1348220 |  1191545 |      903   2914 |        0 |        0
289.15/289.21	c  289s |      21 |  1356408 |  1199045 |      903   2929 |        0 |        0
291.14/291.22	c  291s |      21 |  1365202 |  1207145 |      903   2944 |        0 |        0
293.14/293.22	c  293s |      21 |  1374182 |  1215545 |      903   2960 |        0 |        0
295.14/295.24	c  295s |      21 |  1382643 |  1223445 |      903   2976 |        0 |        0
297.14/297.24	c  297s |      21 |  1391160 |  1231345 |      903   2991 |        0 |        0
299.15/299.26	c  299s |      21 |  1399316 |  1238845 |      903   3005 |        0 |        0
301.14/301.26	c  301s |      21 |  1408215 |  1246945 |      903   3021 |        0 |        0
303.14/303.28	c  303s |      21 |  1416836 |  1254845 |      903   3037 |        0 |        0
305.14/305.29	c  305s |      21 |  1425261 |  1262545 |      903   3052 |        0 |        0
307.24/307.32	c  307s |      21 |  1433518 |  1270145 |      903   3066 |        0 |        0
309.24/309.35	c  309s |      21 |  1441924 |  1277845 |      903   3081 |        0 |        0
311.24/311.37	c  311s |      21 |  1450170 |  1285445 |      903   3096 |        0 |        0
313.24/313.37	c  313s |      21 |  1458687 |  1293245 |      903   3112 |        0 |        0
315.24/315.39	c  315s |      21 |  1467584 |  1301445 |      903   3128 |        0 |        0
317.34/317.43	c  317s |      21 |  1475716 |  1308845 |      903   3143 |        0 |        0
319.34/319.44	c  319s |      21 |  1483113 |  1315845 |      903   3156 |        0 |        0
321.34/321.46	c  321s |      21 |  1490744 |  1322945 |      903   3170 |        0 |        0
323.34/323.48	c  323s |      21 |  1498340 |  1329945 |      903   3184 |        0 |        0
325.43/325.50	c  325s |      21 |  1506381 |  1337345 |      903   3199 |        0 |        0
327.43/327.52	c  327s |      21 |  1513837 |  1344245 |      903   3212 |        0 |        0
329.43/329.54	c  329s |      21 |  1520569 |  1350445 |      903   3224 |        0 |        0
331.43/331.55	c  331s |      21 |  1527841 |  1357145 |      903   3238 |        0 |        0
333.43/333.57	c  333s |      21 |  1534796 |  1363645 |      903   3250 |        0 |        0
335.44/335.59	c  335s |      21 |  1542390 |  1370745 |      903   3264 |        0 |        0
337.53/337.60	c  337s |      21 |  1549712 |  1377545 |      903   3278 |        0 |        0
339.54/339.60	c  339s |      21 |  1556368 |  1383845 |      903   3290 |        0 |        0
341.54/341.61	c  341s |      21 |  1562738 |  1389845 |      903   3302 |        0 |        0
343.54/343.63	c  343s |      21 |  1569052 |  1395745 |      903   3314 |        0 |        0
345.54/345.65	c  345s |      21 |  1575657 |  1401845 |      903   3326 |        0 |        0
347.55/347.66	c  347s |      21 |  1583355 |  1409045 |      903   3339 |        0 |        0
349.54/349.69	c  349s |      21 |  1591342 |  1416345 |      903   3354 |        0 |        0
351.64/351.71	c  351s |      21 |  1599641 |  1423845 |      903   3368 |        0 |        0
353.64/353.72	c  353s |      21 |  1607120 |  1430845 |      903   3382 |        0 |        0
355.64/355.74	c  355s |      21 |  1614854 |  1437945 |      903   3396 |        0 |        0
357.64/357.76	c  357s |      21 |  1622536 |  1445045 |      903   3410 |        0 |        0
359.64/359.76	c  359s |      21 |  1629194 |  1451245 |      903   3422 |        0 |        0
361.63/361.77	c  361s |      21 |  1636211 |  1457845 |      903   3435 |        0 |        0
363.63/363.77	c  363s |      21 |  1643160 |  1464245 |      903   3447 |        0 |        0
365.63/365.78	c  365s |      21 |  1650019 |  1470545 |      903   3459 |        0 |        0
367.63/367.79	c  367s |      21 |  1659027 |  1478645 |      903   3475 |        0 |        0
369.73/369.80	c  369s |      21 |  1667425 |  1486345 |      903   3490 |        0 |        0
371.74/371.81	c  371s |      21 |  1675122 |  1493445 |      994   3503 |        0 |        0
373.73/373.83	c  373s |      21 |  1682570 |  1500345 |      994   3515 |        0 |        0
373.83/373.90	c  373s |      22 |  1682867 |  1500622 |      994   3515 |        0 |        0
375.83/375.92	c  375s |      22 |  1693534 |  1509622 |      994   3532 |        0 |        0
377.83/377.94	c  377s |      22 |  1702985 |  1518122 |      994   3547 |        0 |        0
379.83/379.96	c  379s |      22 |  1712665 |  1526722 |      994   3563 |        0 |        0
381.83/381.96	c  381s |      22 |  1721294 |  1534522 |      994   3577 |        0 |        0
383.84/383.97	c  383s |      22 |  1729092 |  1541522 |      994   3589 |        0 |        0
385.83/385.98	c  385s |      22 |  1738396 |  1549722 |      994   3604 |        0 |        0
387.93/388.01	c  387s |      22 |  1747787 |  1558122 |      994   3619 |        0 |        0
389.93/390.02	c  390s |      22 |  1756427 |  1565922 |      994   3634 |        0 |        0
391.93/392.03	c  392s |      22 |  1764378 |  1573222 |      994   3647 |        0 |        0
393.93/394.04	c  394s |      22 |  1772672 |  1580722 |      994   3660 |        0 |        0
395.93/396.05	c  396s |      22 |  1780804 |  1588122 |      994   3674 |        0 |        0
397.93/398.05	c  398s |      22 |  1788622 |  1595322 |      994   3687 |        0 |        0
399.93/400.07	c  400s |      22 |  1796453 |  1602322 |      994   3700 |        0 |        0
401.92/402.07	c  402s |      22 |  1804731 |  1609622 |      994   3713 |        0 |        0
403.92/404.08	c  404s |      22 |  1812102 |  1616322 |      994   3725 |        0 |        0
406.02/406.11	c  406s |      22 |  1819987 |  1623422 |      994   3738 |        0 |        0
408.03/408.11	c  408s |      22 |  1828230 |  1630522 |      994   3750 |        0 |        0
410.02/410.13	c  410s |      22 |  1835565 |  1637122 |      994   3762 |        0 |        0
412.03/412.13	c  412s |      22 |  1843310 |  1644122 |      994   3775 |        0 |        0
414.03/414.17	c  414s |      22 |  1850172 |  1650422 |      994   3786 |        0 |        0
416.03/416.19	c  416s |      22 |  1857357 |  1657022 |      994   3798 |        0 |        0
418.13/418.21	c  418s |      22 |  1865105 |  1664122 |      994   3811 |        0 |        0
420.14/420.22	c  420s |      22 |  1874014 |  1672222 |      994   3826 |        0 |        0
422.13/422.24	c  422s |      22 |  1882817 |  1680122 |      994   3840 |        0 |        0
424.13/424.25	c  424s |      22 |  1891143 |  1687722 |      994   3854 |        0 |        0
426.13/426.26	c  426s |      22 |  1899535 |  1695422 |      994   3868 |        0 |        0
428.13/428.27	c  428s |      22 |  1907636 |  1702822 |      994   3881 |        0 |        0
430.23/430.30	c  430s |      22 |  1915632 |  1710122 |      994   3895 |        0 |        0
432.23/432.32	c  432s |      22 |  1923967 |  1717722 |      994   3908 |        0 |        0
434.23/434.32	c  434s |      22 |  1932294 |  1725322 |      994   3922 |        0 |        0
436.23/436.35	c  436s |      22 |  1940986 |  1733222 |      994   3937 |        0 |        0
438.23/438.37	c  438s |      22 |  1949944 |  1741222 |      994   3951 |        0 |        0
440.22/440.39	c  440s |      22 |  1958273 |  1748822 |      994   3965 |        0 |        0
442.32/442.40	c  442s |      22 |  1966303 |  1756222 |      994   3978 |        0 |        0
444.33/444.42	c  444s |      22 |  1974049 |  1763322 |      994   3991 |        0 |        0
446.32/446.42	c  446s |      22 |  1982223 |  1770822 |      994   4005 |        0 |        0
448.32/448.44	c  448s |      22 |  1989916 |  1777922 |      994   4018 |        0 |        0
450.32/450.47	c  450s |      22 |  1997458 |  1784922 |      994   4030 |        0 |        0
452.32/452.49	c  452s |      22 |  2004921 |  1791822 |      994   4043 |        0 |        0
454.42/454.51	c  454s |      22 |  2013043 |  1799222 |      994   4056 |        0 |        0
456.43/456.52	c  456s |      22 |  2020858 |  1806322 |      994   4069 |        0 |        0
458.42/458.54	c  458s |      22 |  2028268 |  1813122 |      994   4082 |        0 |        0
460.42/460.56	c  460s |      22 |  2035331 |  1819722 |      994   4093 |        0 |        0
462.42/462.58	c  462s |      22 |  2043048 |  1826822 |      994   4106 |        0 |        0
464.42/464.59	c  464s |      22 |  2050350 |  1833522 |      994   4118 |        0 |        0
466.52/466.62	c  466s |      22 |  2057104 |  1839822 |      994   4130 |        0 |        0
468.52/468.64	c  468s |      22 |  2064159 |  1846322 |      994   4142 |        0 |        0
470.51/470.65	c  470s |      22 |  2070913 |  1852422 |      994   4153 |        0 |        0
472.51/472.67	c  472s |      22 |  2079171 |  1859822 |      994   4166 |        0 |        0
474.51/474.68	c  474s |      22 |  2087003 |  1866922 |      994   4179 |        0 |        0
476.51/476.68	c  476s |      22 |  2094332 |  1873722 |      994   4191 |        0 |        0
478.52/478.69	c  478s |      22 |  2102456 |  1881122 |      994   4204 |        0 |        0
480.62/480.71	c  480s |      22 |  2110013 |  1888022 |      994   4217 |        0 |        0
482.61/482.73	c  482s |      22 |  2117484 |  1894822 |      994   4229 |        0 |        0
484.61/484.77	c  484s |      22 |  2124661 |  1901422 |      994   4241 |        0 |        0
486.61/486.77	c  486s |      22 |  2132089 |  1908222 |      994   4253 |        0 |        0
488.61/488.79	c  488s |      22 |  2139283 |  1914822 |      994   4265 |        0 |        0
490.71/490.81	c  490s |      22 |  2146241 |  1921222 |      994   4277 |        0 |        0
492.72/492.84	c  492s |      22 |  2153120 |  1927622 |      994   4289 |        0 |        0
494.71/494.84	c  494s |      22 |  2159999 |  1934022 |      994   4300 |        0 |        0
496.71/496.87	c  496s |      22 |  2167052 |  1940522 |      994   4312 |        0 |        0
498.71/498.89	c  498s |      22 |  2173680 |  1946622 |      994   4323 |        0 |        0
500.81/500.91	c  500s |      22 |  2181010 |  1953222 |      994   4335 |        0 |        0
502.81/502.92	c  502s |      22 |  2188880 |  1960322 |      994   4348 |        0 |        0
504.81/504.92	c  504s |      22 |  2196596 |  1967422 |      994   4360 |        0 |        0
506.81/506.94	c  506s |      22 |  2204016 |  1974222 |      994   4373 |        0 |        0
508.81/508.97	c  508s |      22 |  2211712 |  1981222 |      994   4385 |        0 |        0
510.91/511.00	c  510s |      22 |  2218752 |  1987622 |      994   4397 |        0 |        0
512.91/513.00	c  512s |      22 |  2225358 |  1993722 |      994   4408 |        0 |        0
514.91/515.01	c  514s |      22 |  2232772 |  2000522 |      994   4420 |        0 |        0
516.91/517.03	c  517s |      22 |  2240412 |  2007522 |      994   4433 |        0 |        0
518.91/519.03	c  519s |      22 |  2248168 |  2014622 |      994   4446 |        0 |        0
520.91/521.04	c  521s |      22 |  2255558 |  2021322 |      994   4458 |        0 |        0
522.91/523.06	c  523s |      22 |  2262215 |  2027422 |      994   4469 |        0 |        0
524.91/525.09	c  525s |      22 |  2268587 |  2033322 |      994   4480 |        0 |        0
527.01/527.11	c  527s |      22 |  2275834 |  2040022 |      994   4492 |        0 |        0
529.02/529.14	c  529s |      22 |  2283786 |  2047222 |      994   4505 |        0 |        0
531.01/531.17	c  531s |      22 |  2290857 |  2053622 |      994   4516 |        0 |        0
533.01/533.17	c  533s |      22 |  2298496 |  2060622 |      994   4529 |        0 |        0
535.01/535.19	c  535s |      22 |  2307488 |  2068722 |      994   4543 |        0 |        0
537.11/537.22	c  537s |      22 |  2315510 |  2076122 |      994   4557 |        0 |        0
539.11/539.23	c  539s |      22 |  2323613 |  2083422 |      994   4570 |        0 |        0
541.12/541.26	c  541s |      22 |  2332213 |  2091122 |      994   4584 |        0 |        0
543.11/543.28	c  543s |      22 |  2340872 |  2098922 |      994   4598 |        0 |        0
545.21/545.31	c  545s |      22 |  2348655 |  2106122 |      994   4611 |        0 |        0
547.21/547.32	c  547s |      22 |  2356795 |  2113522 |      994   4624 |        0 |        0
549.21/549.34	c  549s |      22 |  2364941 |  2120822 |      994   4637 |        0 |        0
551.21/551.34	c  551s |      22 |  2372624 |  2127822 |      994   4650 |        0 |        0
553.21/553.35	c  553s |      22 |  2380333 |  2134822 |      994   4663 |        0 |        0
555.20/555.36	c  555s |      22 |  2387539 |  2141422 |      994   4675 |        0 |        0
557.20/557.38	c  557s |      22 |  2394209 |  2147622 |      994   4686 |        0 |        0
559.30/559.41	c  559s |      22 |  2402074 |  2154722 |      994   4699 |        0 |        0
561.30/561.44	c  561s |      22 |  2409310 |  2161322 |      994   4711 |        0 |        0
563.30/563.45	c  563s |      22 |  2416402 |  2167922 |      994   4723 |        0 |        0
565.31/565.49	c  565s |      22 |  2423993 |  2174922 |      994   4736 |        0 |        0
567.30/567.49	c  567s |      22 |  2431532 |  2181922 |      994   4748 |        0 |        0
569.39/569.51	c  569s |      22 |  2438607 |  2188522 |      994   4760 |        0 |        0
571.39/571.53	c  571s |      22 |  2446265 |  2195422 |      994   4773 |        0 |        0
573.39/573.54	c  573s |      22 |  2454136 |  2202222 |      994   4785 |        0 |        0
575.40/575.55	c  575s |      22 |  2462740 |  2209922 |      994   4799 |        0 |        0
577.41/577.55	c  577s |      22 |  2470932 |  2217222 |      994   4812 |        0 |        0
579.40/579.56	c  579s |      22 |  2478434 |  2224022 |      994   4825 |        0 |        0
581.40/581.59	c  581s |      22 |  2486441 |  2231122 |      994   4837 |        0 |        0
583.50/583.61	c  583s |      22 |  2494028 |  2237922 |     1094   4849 |        0 |        0
585.50/585.62	c  585s |      22 |  2501144 |  2244622 |     1094   4860 |        0 |        0
587.30/587.46	c  587s |      23 |  2508207 |  2251038 |     1094   4871 |        0 |        0
589.29/589.48	c  589s |      23 |  2517738 |  2259238 |     1094   4884 |        0 |        0
591.39/591.50	c  591s |      23 |  2526261 |  2267038 |     1094   4897 |        0 |        0
593.39/593.51	c  593s |      23 |  2534467 |  2274538 |     1094   4909 |        0 |        0
595.39/595.54	c  595s |      23 |  2542454 |  2281938 |     1094   4921 |        0 |        0
597.39/597.55	c  597s |      23 |  2550384 |  2289138 |     1094   4933 |        0 |        0
599.39/599.57	c  599s |      23 |  2558289 |  2296338 |     1094   4945 |        0 |        0
601.49/601.60	c  601s |      23 |  2565490 |  2303038 |     1094   4956 |        0 |        0
603.49/603.63	c  603s |      23 |  2572174 |  2309138 |     1094   4966 |        0 |        0
605.49/605.65	c  605s |      23 |  2580044 |  2316238 |     1094   4977 |        0 |        0
607.49/607.65	c  607s |      23 |  2587740 |  2323138 |     1094   4988 |        0 |        0
609.48/609.67	c  609s |      23 |  2595928 |  2330338 |     1094   5000 |        0 |        0
611.49/611.69	c  611s |      23 |  2604364 |  2337838 |     1094   5013 |        0 |        0
613.58/613.71	c  613s |      23 |  2612203 |  2344938 |     1094   5024 |        0 |        0
615.58/615.71	c  615s |      23 |  2619510 |  2351538 |     1094   5035 |        0 |        0
617.58/617.73	c  617s |      23 |  2627316 |  2358538 |     1094   5047 |        0 |        0
619.57/619.74	c  619s |      23 |  2635468 |  2365938 |     1094   5059 |        0 |        0
621.57/621.74	c  621s |      23 |  2643990 |  2373538 |     1094   5071 |        0 |        0
623.58/623.77	c  623s |      23 |  2652391 |  2381038 |     1094   5084 |        0 |        0
625.57/625.78	c  625s |      23 |  2660965 |  2388738 |     1094   5096 |        0 |        0
627.57/627.79	c  627s |      23 |  2669863 |  2396438 |     1094   5109 |        0 |        0
629.57/629.79	c  629s |      23 |  2678217 |  2403638 |     1094   5121 |        0 |        0
631.57/631.79	c  631s |      23 |  2686827 |  2411038 |     1094   5134 |        0 |        0
633.67/633.81	c  633s |      23 |  2694533 |  2418038 |     1094   5145 |        0 |        0
635.67/635.81	c  635s |      23 |  2702282 |  2424838 |     1094   5156 |        0 |        0
637.66/637.83	c  637s |      23 |  2710330 |  2432038 |     1094   5168 |        0 |        0
639.66/639.83	c  639s |      23 |  2718252 |  2438938 |     1094   5180 |        0 |        0
641.66/641.85	c  641s |      23 |  2725970 |  2445938 |     1094   5191 |        0 |        0
643.66/643.87	c  643s |      23 |  2733463 |  2452838 |     1094   5203 |        0 |        0
645.67/645.88	c  645s |      23 |  2740392 |  2459138 |     1094   5213 |        0 |        0
647.67/647.89	c  647s |      23 |  2746643 |  2464938 |     1094   5223 |        0 |        0
649.67/649.89	c  649s |      23 |  2754911 |  2472338 |     1094   5235 |        0 |        0
651.76/651.90	c  651s |      23 |  2761934 |  2478738 |     1094   5246 |        0 |        0
653.76/653.93	c  653s |      23 |  2768834 |  2485038 |     1094   5256 |        0 |        0
655.76/655.94	c  655s |      23 |  2775229 |  2490838 |     1094   5266 |        0 |        0
657.77/657.94	c  657s |      23 |  2782003 |  2496938 |     1094   5276 |        0 |        0
659.76/659.95	c  659s |      23 |  2788652 |  2502938 |     1094   5285 |        0 |        0
661.76/661.96	c  661s |      23 |  2796796 |  2510238 |     1094   5297 |        0 |        0
663.76/663.98	c  663s |      23 |  2804197 |  2516838 |     1094   5308 |        0 |        0
665.86/666.01	c  665s |      23 |  2812048 |  2524038 |     1094   5320 |        0 |        0
667.86/668.02	c  668s |      23 |  2819270 |  2530638 |     1094   5331 |        0 |        0
669.86/670.02	c  670s |      23 |  2827151 |  2537838 |     1094   5343 |        0 |        0
671.85/672.02	c  672s |      23 |  2834562 |  2544638 |     1094   5354 |        0 |        0
673.85/674.04	c  674s |      23 |  2841953 |  2551338 |     1094   5365 |        0 |        0
675.85/676.04	c  676s |      23 |  2849232 |  2557938 |     1094   5376 |        0 |        0
677.85/678.05	c  678s |      23 |  2856002 |  2564038 |     1094   5386 |        0 |        0
679.85/680.06	c  680s |      23 |  2862304 |  2569738 |     1094   5395 |        0 |        0
681.86/682.08	c  682s |      23 |  2869321 |  2576138 |     1094   5406 |        0 |        0
683.95/684.11	c  684s |      23 |  2877493 |  2583438 |     1094   5418 |        0 |        0
685.95/686.14	c  686s |      23 |  2885413 |  2590638 |     1094   5430 |        0 |        0
687.95/688.15	c  688s |      23 |  2893229 |  2597638 |     1094   5441 |        0 |        0
689.95/690.17	c  690s |      23 |  2900675 |  2604438 |     1094   5452 |        0 |        0
691.94/692.18	c  692s |      23 |  2907664 |  2610738 |     1094   5463 |        0 |        0
694.05/694.21	c  694s |      23 |  2914357 |  2616938 |     1094   5473 |        0 |        0
696.04/696.21	c  696s |      23 |  2920935 |  2623038 |     1094   5483 |        0 |        0
698.04/698.24	c  698s |      23 |  2927551 |  2629238 |     1094   5493 |        0 |        0
700.04/700.25	c  700s |      23 |  2934687 |  2635838 |     1094   5504 |        0 |        0
702.04/702.26	c  702s |      23 |  2941776 |  2642438 |     1094   5515 |        0 |        0
704.04/704.27	c  704s |      23 |  2949364 |  2649338 |     1094   5526 |        0 |        0
706.05/706.30	c  706s |      23 |  2956504 |  2655938 |     1094   5537 |        0 |        0
708.13/708.30	c  708s |      23 |  2963710 |  2662538 |     1094   5548 |        0 |        0
710.13/710.32	c  710s |      23 |  2971020 |  2669238 |     1094   5559 |        0 |        0
712.13/712.34	c  712s |      23 |  2978264 |  2675938 |     1094   5570 |        0 |        0
714.13/714.35	c  714s |      23 |  2985779 |  2682738 |     1094   5581 |        0 |        0
716.13/716.35	c  716s |      23 |  2992060 |  2688538 |     1094   5591 |        0 |        0
718.14/718.37	c  718s |      23 |  2999666 |  2695238 |     1094   5602 |        0 |        0
720.13/720.38	c  720s |      23 |  3007137 |  2701938 |     1094   5613 |        0 |        0
722.23/722.41	c  722s |      23 |  3014503 |  2708538 |     1094   5624 |        0 |        0
724.23/724.43	c  724s |      23 |  3021409 |  2714838 |     1094   5634 |        0 |        0
726.23/726.46	c  726s |      23 |  3027793 |  2720738 |     1094   5644 |        0 |        0
728.22/728.49	c  728s |      23 |  3034951 |  2727338 |     1094   5654 |        0 |        0
730.33/730.51	c  730s |      23 |  3041248 |  2733238 |     1094   5664 |        0 |        0
732.32/732.54	c  732s |      23 |  3048118 |  2739538 |     1094   5675 |        0 |        0
734.32/734.55	c  734s |      23 |  3054476 |  2745438 |     1094   5684 |        0 |        0
736.32/736.57	c  736s |      23 |  3060754 |  2751238 |     1094   5694 |        0 |        0
738.32/738.58	c  738s |      23 |  3066919 |  2756838 |     1094   5703 |        0 |        0
740.32/740.59	c  740s |      23 |  3074444 |  2763738 |     1094   5714 |        0 |        0
742.43/742.61	c  742s |      23 |  3081747 |  2770538 |     1094   5725 |        0 |        0
744.42/744.61	c  744s |      23 |  3088759 |  2777038 |     1094   5736 |        0 |        0
746.42/746.62	c  746s |      23 |  3096048 |  2783738 |     1094   5747 |        0 |        0
748.41/748.64	c  748s |      23 |  3103473 |  2790538 |     1094   5758 |        0 |        0
750.41/750.66	c  750s |      23 |  3111187 |  2797538 |     1094   5770 |        0 |        0
752.41/752.68	c  752s |      23 |  3118302 |  2804138 |     1094   5781 |        0 |        0
754.42/754.69	c  754s |      23 |  3124865 |  2810238 |     1094   5791 |        0 |        0
756.51/756.70	c  756s |      23 |  3132165 |  2816838 |     1094   5802 |        0 |        0
758.51/758.71	c  758s |      23 |  3139342 |  2823338 |     1094   5812 |        0 |        0
760.51/760.71	c  760s |      23 |  3145865 |  2829438 |     1094   5822 |        0 |        0
762.51/762.74	c  762s |      23 |  3153044 |  2835838 |     1094   5833 |        0 |        0
764.51/764.76	c  764s |      23 |  3160466 |  2842638 |     1094   5844 |        0 |        0
766.51/766.77	c  766s |      23 |  3167835 |  2849238 |     1094   5855 |        0 |        0
768.51/768.78	c  768s |      23 |  3175713 |  2856338 |     1094   5867 |        0 |        0
770.61/770.80	c  770s |      23 |  3183472 |  2863238 |     1094   5878 |        0 |        0
772.61/772.82	c  772s |      23 |  3192132 |  2870938 |     1094   5891 |        0 |        0
774.61/774.84	c  774s |      23 |  3200600 |  2878338 |     1094   5903 |        0 |        0
776.61/776.86	c  776s |      23 |  3208960 |  2885638 |     1094   5915 |        0 |        0
778.61/778.89	c  778s |      23 |  3216489 |  2892338 |     1094   5926 |        0 |        0
780.60/780.89	c  780s |      23 |  3223850 |  2898938 |     1094   5937 |        0 |        0
782.70/782.91	c  782s |      23 |  3230950 |  2905338 |     1094   5947 |        0 |        0
784.70/784.93	c  784s |      23 |  3238487 |  2912038 |     1094   5958 |        0 |        0
786.70/786.96	c  786s |      23 |  3246006 |  2918838 |     1094   5969 |        0 |        0
788.70/788.98	c  788s |      23 |  3253791 |  2925738 |     1094   5981 |        0 |        0
790.70/791.00	c  790s |      23 |  3261331 |  2932438 |     1094   5992 |        0 |        0
792.79/793.01	c  792s |      23 |  3269205 |  2939338 |     1094   6003 |        0 |        0
794.79/795.02	c  795s |      23 |  3277290 |  2946338 |     1094   6015 |        0 |        0
796.79/797.02	c  797s |      23 |  3285223 |  2953338 |     1094   6026 |        0 |        0
798.79/799.04	c  799s |      23 |  3292066 |  2959638 |     1094   6036 |        0 |        0
800.79/801.05	c  801s |      23 |  3299260 |  2966138 |     1094   6047 |        0 |        0
802.80/803.08	c  803s |      23 |  3306252 |  2972538 |     1094   6058 |        0 |        0
804.89/805.10	c  805s |      23 |  3313382 |  2979038 |     1094   6068 |        0 |        0
806.89/807.11	c  807s |      23 |  3320653 |  2985538 |     1094   6079 |        0 |        0
808.88/809.13	c  809s |      23 |  3327779 |  2991938 |     1094   6090 |        0 |        0
810.88/811.16	c  811s |      23 |  3334775 |  2998338 |     1094   6100 |        0 |        0
812.88/813.16	c  813s |      23 |  3341344 |  3004338 |     1094   6110 |        0 |        0
814.89/815.17	c  815s |      23 |  3348718 |  3010838 |     1094   6121 |        0 |        0
816.88/817.19	c  817s |      23 |  3356457 |  3017738 |     1094   6132 |        0 |        0
818.98/819.23	c  819s |      23 |  3364540 |  3024838 |     1094   6144 |        0 |        0
820.98/821.23	c  821s |      23 |  3371751 |  3031438 |     1094   6154 |        0 |        0
822.98/823.25	c  823s |      23 |  3378941 |  3037938 |     1094   6165 |        0 |        0
824.98/825.28	c  825s |      23 |  3387054 |  3044938 |     1094   6177 |        0 |        0
826.98/827.29	c  827s |      23 |  3394367 |  3051438 |     1094   6187 |        0 |        0
829.07/829.32	c  829s |      23 |  3401462 |  3057838 |     1094   6198 |        0 |        0
831.07/831.32	c  831s |      23 |  3408884 |  3064338 |     1094   6209 |        0 |        0
833.07/833.35	c  833s |      23 |  3416074 |  3070938 |     1094   6219 |        0 |        0
835.07/835.36	c  835s |      23 |  3424031 |  3078238 |     1094   6231 |        0 |        0
837.07/837.38	c  837s |      23 |  3431386 |  3085138 |     1094   6243 |        0 |        0
839.17/839.40	c  839s |      23 |  3438281 |  3091538 |     1094   6253 |        0 |        0
841.17/841.43	c  841s |      23 |  3445985 |  3098638 |     1094   6265 |        0 |        0
843.17/843.44	c  843s |      23 |  3453827 |  3105738 |     1094   6276 |        0 |        0
845.17/845.46	c  845s |      23 |  3462128 |  3113238 |     1094   6289 |        0 |        0
847.17/847.46	c  847s |      23 |  3469594 |  3120038 |     1094   6300 |        0 |        0
849.16/849.47	c  849s |      23 |  3476963 |  3126738 |     1094   6311 |        0 |        0
851.17/851.47	c  851s |      23 |  3484544 |  3133638 |     1094   6322 |        0 |        0
853.16/853.48	c  853s |      23 |  3492126 |  3140538 |     1094   6334 |        0 |        0
855.16/855.49	c  855s |      23 |  3499481 |  3147238 |     1094   6345 |        0 |        0
857.16/857.49	c  857s |      23 |  3505978 |  3153138 |     1094   6354 |        0 |        0
859.16/859.49	c  859s |      23 |  3513633 |  3160038 |     1094   6366 |        0 |        0
861.26/861.52	c  861s |      23 |  3520967 |  3166838 |     1094   6377 |        0 |        0
863.26/863.52	c  863s |      23 |  3527973 |  3173238 |     1094   6387 |        0 |        0
865.25/865.54	c  865s |      23 |  3535615 |  3180038 |     1094   6398 |        0 |        0
867.25/867.56	c  867s |      23 |  3543424 |  3186938 |     1094   6410 |        0 |        0
869.25/869.58	c  869s |      23 |  3550668 |  3193338 |     1094   6420 |        0 |        0
871.25/871.59	c  871s |      23 |  3557913 |  3199838 |     1094   6431 |        0 |        0
873.35/873.60	c  873s |      23 |  3565557 |  3206638 |     1094   6442 |        0 |        0
875.36/875.60	c  875s |      23 |  3573193 |  3213338 |     1094   6453 |        0 |        0
877.35/877.61	c  877s |      23 |  3579828 |  3219338 |     1094   6463 |        0 |        0
879.34/879.63	c  879s |      23 |  3586525 |  3225438 |     1094   6473 |        0 |        0
881.34/881.65	c  881s |      23 |  3593094 |  3231438 |     1094   6483 |        0 |        0
883.34/883.66	c  883s |      23 |  3601110 |  3238738 |     1094   6495 |        0 |        0
885.35/885.68	c  885s |      23 |  3609867 |  3246638 |     1094   6508 |        0 |        0
887.34/887.69	c  887s |      23 |  3617795 |  3253938 |     1094   6520 |        0 |        0
889.44/889.70	c  889s |      23 |  3626058 |  3261438 |     1094   6532 |        0 |        0
891.44/891.73	c  891s |      23 |  3634297 |  3268838 |     1094   6544 |        0 |        0
893.44/893.75	c  893s |      23 |  3641996 |  3275738 |     1094   6556 |        0 |        0
895.44/895.75	c  895s |      23 |  3650188 |  3282938 |     1094   6567 |        0 |        0
897.44/897.77	c  897s |      23 |  3657414 |  3289638 |     1094   6578 |        0 |        0
899.43/899.78	c  899s |      23 |  3664470 |  3296038 |     1094   6589 |        0 |        0
901.53/901.80	c  901s |      23 |  3671062 |  3302038 |     1094   6599 |        0 |        0
903.53/903.82	c  903s |      23 |  3678222 |  3308538 |     1094   6610 |        0 |        0
905.53/905.84	c  905s |      23 |  3684490 |  3314338 |     1094   6619 |        0 |        0
907.53/907.85	c  907s |      23 |  3691426 |  3320638 |     1094   6629 |        0 |        0
909.53/909.87	c  909s |      23 |  3699365 |  3327938 |     1094   6641 |        0 |        0
911.53/911.89	c  911s |      23 |  3706952 |  3334838 |     1094   6653 |        0 |        0
913.63/913.91	c  913s |      23 |  3714273 |  3341638 |     1094   6664 |        0 |        0
915.62/915.91	c  915s |      23 |  3721739 |  3348638 |     1094   6675 |        0 |        0
917.62/917.91	c  917s |      23 |  3728519 |  3354938 |     1204   6685 |        0 |        0
919.63/919.93	c  919s |      23 |  3735504 |  3361438 |     1204   6695 |        0 |        0
921.63/921.96	c  921s |      23 |  3741955 |  3367338 |     1204   6704 |        0 |        0
923.63/923.98	c  923s |      23 |  3749225 |  3373938 |     1204   6714 |        0 |        0
924.53/924.85	c  924s |      24 |  3752204 |  3376662 |     1204   6718 |        0 |        0
926.53/926.86	c  926s |      24 |  3761023 |  3384662 |     1204   6730 |        0 |        0
928.52/928.88	c  928s |      24 |  3769185 |  3392262 |     1204   6741 |        0 |        0
930.62/930.90	c  930s |      24 |  3777649 |  3399862 |     1204   6752 |        0 |        0
932.53/932.90	c  932s |      24 |  3786119 |  3407462 |     1204   6764 |        0 |        0
934.62/934.90	c  934s |      24 |  3793884 |  3414662 |     1204   6775 |        0 |        0
936.62/936.92	c  936s |      24 |  3802094 |  3422262 |     1204   6786 |        0 |        0
938.62/938.93	c  938s |      24 |  3809744 |  3429262 |     1204   6796 |        0 |        0
940.62/940.93	c  940s |      24 |  3817010 |  3436062 |     1204   6807 |        0 |        0
942.61/942.96	c  942s |      24 |  3824375 |  3442862 |     1204   6817 |        0 |        0
944.62/944.99	c  944s |      24 |  3831700 |  3449562 |     1204   6827 |        0 |        0
946.71/947.00	c  946s |      24 |  3839136 |  3456562 |     1204   6837 |        0 |        0
948.71/949.01	c  948s |      24 |  3846576 |  3463462 |     1204   6848 |        0 |        0
950.71/951.01	c  950s |      24 |  3854172 |  3470462 |     1204   6858 |        0 |        0
952.71/953.03	c  953s |      24 |  3861902 |  3477562 |     1204   6869 |        0 |        0
954.70/955.06	c  955s |      24 |  3869814 |  3484862 |     1204   6880 |        0 |        0
956.71/957.07	c  957s |      24 |  3877254 |  3491762 |     1204   6890 |        0 |        0
958.70/959.09	c  959s |      24 |  3884562 |  3498562 |     1204   6900 |        0 |        0
960.80/961.10	c  961s |      24 |  3892588 |  3505862 |     1204   6911 |        0 |        0
962.80/963.12	c  963s |      24 |  3900217 |  3512862 |     1204   6922 |        0 |        0
964.80/965.13	c  965s |      24 |  3907724 |  3519762 |     1204   6932 |        0 |        0
966.80/967.15	c  967s |      24 |  3915582 |  3526862 |     1204   6943 |        0 |        0
968.81/969.16	c  969s |      24 |  3922980 |  3533762 |     1204   6953 |        0 |        0
970.80/971.18	c  971s |      24 |  3930768 |  3540762 |     1204   6963 |        0 |        0
972.80/973.18	c  973s |      24 |  3939157 |  3548362 |     1204   6975 |        0 |        0
974.80/975.19	c  975s |      24 |  3947262 |  3555762 |     1204   6986 |        0 |        0
976.90/977.21	c  977s |      24 |  3955156 |  3563062 |     1204   6997 |        0 |        0
978.90/979.23	c  979s |      24 |  3962970 |  3570362 |     1204   7008 |        0 |        0
980.90/981.25	c  981s |      24 |  3970981 |  3577762 |     1204   7019 |        0 |        0
982.90/983.26	c  983s |      24 |  3978487 |  3584762 |     1204   7030 |        0 |        0
984.89/985.26	c  985s |      24 |  3986578 |  3592262 |     1204   7041 |        0 |        0
986.89/987.28	c  987s |      24 |  3995022 |  3599862 |     1204   7052 |        0 |        0
988.89/989.29	c  989s |      24 |  4003256 |  3607362 |     1204   7063 |        0 |        0
990.99/991.31	c  991s |      24 |  4011503 |  3614762 |     1204   7075 |        0 |        0
992.99/993.31	c  993s |      24 |  4020021 |  3622362 |     1204   7086 |        0 |        0
994.99/995.34	c  995s |      24 |  4028208 |  3629862 |     1204   7097 |        0 |        0
996.99/997.36	c  997s |      24 |  4036151 |  3637062 |     1204   7108 |        0 |        0
998.98/999.37	c  999s |      24 |  4044135 |  3644262 |     1204   7119 |        0 |        0
1000.98/1001.39	c 1001s |      24 |  4051875 |  3651262 |     1204   7130 |        0 |        0
1003.08/1003.42	c 1003s |      24 |  4059687 |  3658362 |     1204   7141 |        0 |        0
1005.09/1005.44	c 1005s |      24 |  4067566 |  3665662 |     1204   7152 |        0 |        0
1007.08/1007.47	c 1007s |      24 |  4075081 |  3672662 |     1204   7162 |        0 |        0
1009.08/1009.48	c 1009s |      24 |  4083330 |  3680262 |     1204   7174 |        0 |        0
1011.18/1011.50	c 1011s |      24 |  4090878 |  3687262 |     1204   7184 |        0 |        0
1013.18/1013.52	c 1013s |      24 |  4098051 |  3693962 |     1204   7194 |        0 |        0
1015.18/1015.55	c 1015s |      24 |  4104811 |  3700262 |     1204   7204 |        0 |        0
1017.19/1017.58	c 1017s |      24 |  4111370 |  3706362 |     1204   7213 |        0 |        0
1019.18/1019.60	c 1019s |      24 |  4119254 |  3713462 |     1204   7223 |        0 |        0
1021.28/1021.61	c 1021s |      24 |  4126859 |  3720462 |     1204   7234 |        0 |        0
1023.28/1023.62	c 1023s |      24 |  4134072 |  3727162 |     1204   7244 |        0 |        0
1025.28/1025.62	c 1025s |      24 |  4141354 |  3733862 |     1204   7254 |        0 |        0
1027.28/1027.63	c 1027s |      24 |  4148435 |  3740462 |     1204   7264 |        0 |        0
1029.28/1029.64	c 1029s |      24 |  4155098 |  3746662 |     1204   7273 |        0 |        0
1031.27/1031.66	c 1031s |      24 |  4162666 |  3753462 |     1204   7284 |        0 |        0
1033.27/1033.67	c 1033s |      24 |  4170017 |  3760062 |     1204   7294 |        0 |        0
1035.27/1035.69	c 1035s |      24 |  4176973 |  3766362 |     1204   7303 |        0 |        0
1037.37/1037.70	c 1037s |      24 |  4184031 |  3772862 |     1204   7313 |        0 |        0
1039.37/1039.71	c 1039s |      24 |  4190601 |  3778862 |     1204   7322 |        0 |        0
1041.37/1041.71	c 1041s |      24 |  4197527 |  3785262 |     1204   7332 |        0 |        0
1043.36/1043.72	c 1043s |      24 |  4205077 |  3792162 |     1204   7342 |        0 |        0
1045.36/1045.74	c 1045s |      24 |  4212268 |  3798762 |     1204   7352 |        0 |        0
1047.36/1047.75	c 1047s |      24 |  4219115 |  3805062 |     1204   7362 |        0 |        0
1049.36/1049.77	c 1049s |      24 |  4226152 |  3811462 |     1204   7371 |        0 |        0
1051.37/1051.79	c 1051s |      24 |  4232945 |  3817662 |     1204   7381 |        0 |        0
1053.36/1053.80	c 1053s |      24 |  4239852 |  3823962 |     1204   7390 |        0 |        0
1055.46/1055.83	c 1055s |      24 |  4247519 |  3830862 |     1204   7401 |        0 |        0
1057.46/1057.86	c 1057s |      24 |  4254709 |  3837462 |     1204   7410 |        0 |        0
1059.45/1059.88	c 1059s |      24 |  4261601 |  3843762 |     1204   7420 |        0 |        0
1061.55/1061.90	c 1061s |      24 |  4268490 |  3850062 |     1204   7430 |        0 |        0
1063.55/1063.92	c 1063s |      24 |  4275529 |  3856462 |     1204   7439 |        0 |        0
1065.56/1065.92	c 1065s |      24 |  4282330 |  3862762 |     1204   7449 |        0 |        0
1067.55/1067.96	c 1067s |      24 |  4289282 |  3869262 |     1204   7459 |        0 |        0
1069.55/1069.98	c 1069s |      24 |  4296110 |  3875562 |     1204   7468 |        0 |        0
1071.65/1072.01	c 1071s |      24 |  4303490 |  3882262 |     1204   7478 |        0 |        0
1073.65/1074.01	c 1073s |      24 |  4310767 |  3888962 |     1204   7488 |        0 |        0
1075.65/1076.04	c 1076s |      24 |  4318259 |  3895762 |     1204   7499 |        0 |        0
1077.65/1078.07	c 1078s |      24 |  4325541 |  3902462 |     1204   7509 |        0 |        0
1079.64/1080.09	c 1080s |      24 |  4332299 |  3908662 |     1204   7518 |        0 |        0
1081.74/1082.11	c 1082s |      24 |  4339057 |  3914962 |     1204   7527 |        0 |        0
1083.74/1084.13	c 1084s |      24 |  4345791 |  3921162 |     1204   7537 |        0 |        0
1085.74/1086.13	c 1086s |      24 |  4352520 |  3927362 |     1204   7546 |        0 |        0
1087.74/1088.17	c 1088s |      24 |  4359350 |  3933562 |     1204   7556 |        0 |        0
1089.74/1090.19	c 1090s |      24 |  4366133 |  3939762 |     1204   7565 |        0 |        0
1091.83/1092.21	c 1092s |      24 |  4372242 |  3945362 |     1204   7573 |        0 |        0
1093.83/1094.22	c 1094s |      24 |  4379635 |  3952162 |     1204   7584 |        0 |        0
1095.83/1096.23	c 1096s |      24 |  4387396 |  3959262 |     1204   7594 |        0 |        0
1097.83/1098.26	c 1098s |      24 |  4394773 |  3965962 |     1204   7604 |        0 |        0
1099.83/1100.29	c 1100s |      24 |  4401592 |  3972262 |     1204   7614 |        0 |        0
1101.93/1102.31	c 1102s |      24 |  4408635 |  3978662 |     1204   7624 |        0 |        0
1103.93/1104.33	c 1104s |      24 |  4416433 |  3985762 |     1204   7634 |        0 |        0
1105.93/1106.34	c 1106s |      24 |  4423460 |  3992062 |     1204   7644 |        0 |        0
1107.93/1108.35	c 1108s |      24 |  4430688 |  3998762 |     1204   7654 |        0 |        0
1109.92/1110.37	c 1110s |      24 |  4436954 |  4004562 |     1204   7663 |        0 |        0
1111.92/1112.37	c 1112s |      24 |  4444090 |  4010862 |     1204   7672 |        0 |        0
1114.03/1114.41	c 1114s |      24 |  4450994 |  4017162 |     1204   7682 |        0 |        0
1116.02/1116.42	c 1116s |      24 |  4458026 |  4023562 |     1204   7691 |        0 |        0
1118.02/1118.43	c 1118s |      24 |  4465600 |  4030362 |     1204   7702 |        0 |        0
1120.02/1120.45	c 1120s |      24 |  4472603 |  4036762 |     1204   7711 |        0 |        0
1122.02/1122.48	c 1122s |      24 |  4479168 |  4042862 |     1204   7720 |        0 |        0
1124.02/1124.48	c 1124s |      24 |  4485747 |  4048862 |     1204   7729 |        0 |        0
1126.12/1126.51	c 1126s |      24 |  4493069 |  4055562 |     1204   7739 |        0 |        0
1128.12/1128.53	c 1128s |      24 |  4499988 |  4061862 |     1204   7749 |        0 |        0
1130.11/1130.53	c 1130s |      24 |  4507089 |  4068362 |     1204   7759 |        0 |        0
1132.11/1132.56	c 1132s |      24 |  4513842 |  4074662 |     1204   7768 |        0 |        0
1134.11/1134.57	c 1134s |      24 |  4520855 |  4081062 |     1204   7778 |        0 |        0
1136.12/1136.58	c 1136s |      24 |  4527683 |  4087262 |     1204   7787 |        0 |        0
1138.12/1138.59	c 1138s |      24 |  4534140 |  4093262 |     1204   7796 |        0 |        0
1140.21/1140.62	c 1140s |      24 |  4540375 |  4099162 |     1204   7805 |        0 |        0
1142.21/1142.64	c 1142s |      24 |  4546279 |  4104662 |     1204   7813 |        0 |        0
1144.21/1144.64	c 1144s |      24 |  4552944 |  4110762 |     1204   7823 |        0 |        0
1146.21/1146.66	c 1146s |      24 |  4559917 |  4117162 |     1204   7832 |        0 |        0
1148.20/1148.67	c 1148s |      24 |  4566692 |  4123362 |     1204   7842 |        0 |        0
1150.21/1150.69	c 1150s |      24 |  4573510 |  4129562 |     1204   7851 |        0 |        0
1152.20/1152.69	c 1152s |      24 |  4579566 |  4135162 |     1204   7859 |        0 |        0
1154.20/1154.69	c 1154s |      24 |  4586681 |  4141562 |     1204   7869 |        0 |        0
1156.30/1156.71	c 1156s |      24 |  4593402 |  4147662 |     1204   7878 |        0 |        0
1158.30/1158.72	c 1158s |      24 |  4599631 |  4153462 |     1204   7887 |        0 |        0
1160.30/1160.75	c 1160s |      24 |  4605948 |  4159362 |     1204   7896 |        0 |        0
1162.30/1162.77	c 1162s |      24 |  4613117 |  4166062 |     1204   7906 |        0 |        0
1164.30/1164.78	c 1164s |      24 |  4621252 |  4173562 |     1204   7917 |        0 |        0
1166.40/1166.80	c 1166s |      24 |  4628506 |  4180362 |     1204   7927 |        0 |        0
1168.39/1168.82	c 1168s |      24 |  4636049 |  4187262 |     1204   7937 |        0 |        0
1170.39/1170.84	c 1170s |      24 |  4643007 |  4193762 |     1204   7947 |        0 |        0
1172.39/1172.85	c 1172s |      24 |  4650132 |  4200462 |     1204   7957 |        0 |        0
1174.40/1174.85	c 1174s |      24 |  4657102 |  4206962 |     1204   7967 |        0 |        0
1176.39/1176.86	c 1176s |      24 |  4663360 |  4212862 |     1204   7976 |        0 |        0
1178.39/1178.87	c 1178s |      24 |  4669453 |  4218562 |     1204   7984 |        0 |        0
1180.39/1180.88	c 1180s |      24 |  4675545 |  4224362 |     1204   7993 |        0 |        0
1182.39/1182.89	c 1182s |      24 |  4682586 |  4230962 |     1204   8003 |        0 |        0
1184.48/1184.92	c 1184s |      24 |  4689839 |  4237662 |     1204   8013 |        0 |        0
1186.49/1186.92	c 1186s |      24 |  4697311 |  4244462 |     1204   8023 |        0 |        0
1188.48/1188.93	c 1188s |      24 |  4704414 |  4251062 |     1204   8033 |        0 |        0
1190.48/1190.94	c 1190s |      24 |  4711667 |  4257762 |     1204   8043 |        0 |        0
1192.48/1192.94	c 1192s |      24 |  4719330 |  4264762 |     1204   8053 |        0 |        0
1194.48/1194.95	c 1194s |      24 |  4726721 |  4271562 |     1204   8064 |        0 |        0
1196.49/1196.97	c 1196s |      24 |  4734280 |  4278462 |     1204   8074 |        0 |        0
1198.47/1198.97	c 1198s |      24 |  4741386 |  4284962 |     1204   8084 |        0 |        0
1200.47/1200.99	c 1200s |      24 |  4748684 |  4291562 |     1204   8094 |        0 |        0
1202.57/1203.02	c 1203s |      24 |  4755232 |  4297562 |     1204   8103 |        0 |        0
1204.57/1205.05	c 1205s |      24 |  4762273 |  4304062 |     1204   8113 |        0 |        0
1206.57/1207.07	c 1207s |      24 |  4769056 |  4310262 |     1204   8122 |        0 |        0
1208.58/1209.07	c 1209s |      24 |  4775532 |  4316262 |     1204   8131 |        0 |        0
1210.68/1211.10	c 1211s |      24 |  4782361 |  4322562 |     1204   8141 |        0 |        0
1212.67/1213.13	c 1213s |      24 |  4788486 |  4328262 |     1204   8149 |        0 |        0
1214.67/1215.16	c 1215s |      24 |  4795229 |  4334362 |     1204   8158 |        0 |        0
1216.67/1217.18	c 1217s |      24 |  4801895 |  4340562 |     1204   8168 |        0 |        0
1218.77/1219.22	c 1219s |      24 |  4808358 |  4346562 |     1204   8177 |        0 |        0
1220.77/1221.24	c 1221s |      24 |  4814919 |  4352662 |     1204   8186 |        0 |        0
1222.77/1223.25	c 1223s |      24 |  4821515 |  4358762 |     1204   8195 |        0 |        0
1224.77/1225.27	c 1225s |      24 |  4828141 |  4364862 |     1204   8204 |        0 |        0
1226.87/1227.30	c 1227s |      24 |  4834703 |  4370962 |     1204   8214 |        0 |        0
1228.87/1229.31	c 1229s |      24 |  4841901 |  4377662 |     1204   8224 |        0 |        0
1230.86/1231.33	c 1231s |      24 |  4849191 |  4384362 |     1204   8234 |        0 |        0
1232.87/1233.35	c 1233s |      24 |  4856848 |  4391362 |     1204   8244 |        0 |        0
1234.88/1235.37	c 1235s |      24 |  4864052 |  4397962 |     1204   8254 |        0 |        0
1236.87/1237.38	c 1237s |      24 |  4871348 |  4404662 |     1204   8265 |        0 |        0
1238.97/1239.41	c 1239s |      24 |  4878178 |  4410962 |     1204   8274 |        0 |        0
1240.97/1241.43	c 1241s |      24 |  4884667 |  4417062 |     1204   8283 |        0 |        0
1242.97/1243.45	c 1243s |      24 |  4891659 |  4423562 |     1204   8293 |        0 |        0
1244.97/1245.49	c 1245s |      24 |  4898819 |  4430162 |     1204   8303 |        0 |        0
1246.98/1247.50	c 1247s |      24 |  4905556 |  4436462 |     1204   8313 |        0 |        0
1249.07/1249.52	c 1249s |      24 |  4912779 |  4443162 |     1204   8323 |        0 |        0
1251.07/1251.53	c 1251s |      24 |  4919874 |  4449762 |     1204   8333 |        0 |        0
1253.07/1253.54	c 1253s |      24 |  4926578 |  4456062 |     1204   8342 |        0 |        0
1255.07/1255.56	c 1255s |      24 |  4933118 |  4462162 |     1204   8351 |        0 |        0
1257.06/1257.58	c 1257s |      24 |  4940499 |  4468862 |     1204   8361 |        0 |        0
1259.07/1259.59	c 1259s |      24 |  4947926 |  4475762 |     1204   8372 |        0 |        0
1261.16/1261.62	c 1261s |      24 |  4954920 |  4482262 |     1204   8382 |        0 |        0
1263.16/1263.64	c 1263s |      24 |  4962346 |  4488962 |     1204   8392 |        0 |        0
1265.16/1265.68	c 1265s |      24 |  4969542 |  4495462 |     1204   8401 |        0 |        0
1267.26/1267.70	c 1267s |      24 |  4976257 |  4501662 |     1204   8411 |        0 |        0
1269.26/1269.72	c 1269s |      24 |  4983698 |  4508362 |     1204   8421 |        0 |        0
1271.27/1271.73	c 1271s |      24 |  4990811 |  4514862 |     1204   8431 |        0 |        0
1273.26/1273.74	c 1273s |      24 |  4997884 |  4521362 |     1204   8441 |        0 |        0
1275.26/1275.74	c 1275s |      24 |  5004894 |  4527862 |     1204   8450 |        0 |        0
1277.26/1277.75	c 1277s |      24 |  5011639 |  4534162 |     1204   8460 |        0 |        0
1279.26/1279.76	c 1279s |      24 |  5019004 |  4540962 |     1204   8470 |        0 |        0
1281.26/1281.78	c 1281s |      24 |  5026220 |  4547662 |     1204   8480 |        0 |        0
1283.27/1283.80	c 1283s |      24 |  5033300 |  4554162 |     1204   8490 |        0 |        0
1285.36/1285.83	c 1285s |      24 |  5040731 |  4560962 |     1204   8500 |        0 |        0
1287.36/1287.84	c 1287s |      24 |  5048269 |  4567862 |     1204   8511 |        0 |        0
1289.36/1289.87	c 1289s |      24 |  5055723 |  4574762 |     1204   8521 |        0 |        0
1291.36/1291.88	c 1291s |      24 |  5063117 |  4581562 |     1204   8531 |        0 |        0
1293.46/1293.90	c 1293s |      24 |  5070065 |  4588062 |     1204   8541 |        0 |        0
1295.46/1295.92	c 1295s |      24 |  5076850 |  4594262 |     1204   8550 |        0 |        0
1297.46/1297.95	c 1297s |      24 |  5083762 |  4600562 |     1204   8560 |        0 |        0
1299.46/1299.95	c 1299s |      24 |  5090912 |  4607062 |     1204   8570 |        0 |        0
1301.45/1301.97	c 1301s |      24 |  5097842 |  4613562 |     1204   8580 |        0 |        0
1303.45/1303.99	c 1303s |      24 |  5105160 |  4620262 |     1204   8590 |        0 |        0
1305.55/1306.02	c 1306s |      24 |  5112207 |  4626862 |     1204   8600 |        0 |        0
1307.56/1308.04	c 1308s |      24 |  5119612 |  4633862 |     1204   8610 |        0 |        0
1309.55/1310.05	c 1310s |      24 |  5126596 |  4640362 |     1204   8620 |        0 |        0
1311.55/1312.08	c 1312s |      24 |  5133316 |  4646562 |     1204   8629 |        0 |        0
1313.65/1314.10	c 1314s |      24 |  5140288 |  4653062 |     1204   8639 |        0 |        0
1315.65/1316.12	c 1316s |      24 |  5147403 |  4659562 |     1204   8649 |        0 |        0
1317.65/1318.13	c 1318s |      24 |  5154452 |  4666162 |     1204   8659 |        0 |        0
1319.66/1320.14	c 1320s |      24 |  5161487 |  4672662 |     1204   8669 |        0 |        0
1321.65/1322.16	c 1322s |      24 |  5168159 |  4678862 |     1204   8678 |        0 |        0
1323.65/1324.17	c 1324s |      24 |  5174809 |  4684962 |     1204   8687 |        0 |        0
1325.65/1326.18	c 1326s |      24 |  5182004 |  4691562 |     1204   8697 |        0 |        0
1327.75/1328.20	c 1328s |      24 |  5189126 |  4698062 |     1204   8707 |        0 |        0
1329.75/1330.21	c 1330s |      24 |  5195890 |  4704262 |     1204   8716 |        0 |        0
1331.76/1332.22	c 1332s |      24 |  5202381 |  4710162 |     1204   8725 |        0 |        0
1333.75/1334.24	c 1334s |      24 |  5209001 |  4716262 |     1204   8734 |        0 |        0
1335.75/1336.25	c 1336s |      24 |  5215464 |  4722262 |     1204   8743 |        0 |        0
1337.75/1338.26	c 1338s |      24 |  5222084 |  4728462 |     1204   8753 |        0 |        0
1339.75/1340.28	c 1340s |      24 |  5228807 |  4734762 |     1204   8762 |        0 |        0
1341.75/1342.30	c 1342s |      24 |  5235869 |  4741262 |     1204   8772 |        0 |        0
1343.85/1344.32	c 1344s |      24 |  5242140 |  4747062 |     1204   8781 |        0 |        0
1345.85/1346.33	c 1346s |      24 |  5249128 |  4753362 |     1204   8790 |        0 |        0
1347.85/1348.34	c 1348s |      24 |  5256150 |  4759762 |     1204   8800 |        0 |        0
1349.85/1350.35	c 1350s |      24 |  5262829 |  4765962 |     1204   8809 |        0 |        0
1351.85/1352.38	c 1352s |      24 |  5269716 |  4772362 |     1204   8819 |        0 |        0
1353.85/1354.39	c 1354s |      24 |  5276451 |  4778462 |     1204   8828 |        0 |        0
1355.85/1356.39	c 1356s |      24 |  5282372 |  4783962 |     1204   8837 |        0 |        0
1357.95/1358.40	c 1358s |      24 |  5288521 |  4789762 |     1204   8845 |        0 |        0
1359.95/1360.42	c 1360s |      24 |  5294439 |  4795262 |     1204   8854 |        0 |        0
1361.95/1362.43	c 1362s |      24 |  5301727 |  4801862 |     1204   8863 |        0 |        0
1363.95/1364.43	c 1364s |      24 |  5308728 |  4808262 |     1204   8873 |        0 |        0
1365.95/1366.45	c 1366s |      24 |  5316249 |  4815062 |     1204   8883 |        0 |        0
1367.96/1368.48	c 1368s |      24 |  5323538 |  4821862 |     1204   8893 |        0 |        0
1369.95/1370.49	c 1370s |      24 |  5330840 |  4828662 |     1204   8904 |        0 |        0
1371.95/1372.50	c 1372s |      24 |  5338213 |  4835462 |     1204   8914 |        0 |        0
1374.05/1374.52	c 1374s |      24 |  5345107 |  4841862 |     1204   8924 |        0 |        0
1376.05/1376.52	c 1376s |      24 |  5352054 |  4848062 |     1204   8933 |        0 |        0
1378.05/1378.54	c 1378s |      24 |  5359080 |  4854362 |     1204   8943 |        0 |        0
1380.05/1380.55	c 1380s |      24 |  5365841 |  4860662 |     1204   8952 |        0 |        0
1382.05/1382.56	c 1382s |      24 |  5372619 |  4866762 |     1204   8961 |        0 |        0
1384.05/1384.57	c 1384s |      24 |  5378789 |  4872362 |     1204   8970 |        0 |        0
1386.05/1386.59	c 1386s |      24 |  5385302 |  4878362 |     1204   8979 |        0 |        0
1388.15/1388.61	c 1388s |      24 |  5392867 |  4885062 |     1204   8989 |        0 |        0
1390.15/1390.61	c 1390s |      24 |  5399852 |  4891262 |     1204   8998 |        0 |        0
1392.15/1392.63	c 1392s |      24 |  5406525 |  4897262 |     1204   9007 |        0 |        0
1394.15/1394.67	c 1394s |      24 |  5412586 |  4902862 |     1204   9015 |        0 |        0
1396.14/1396.69	c 1396s |      24 |  5418001 |  4907962 |     1204   9023 |        0 |        0
1398.24/1398.70	c 1398s |      24 |  5424705 |  4914062 |     1204   9032 |        0 |        0
1400.24/1400.73	c 1400s |      24 |  5431234 |  4920062 |     1204   9041 |        0 |        0
1402.24/1402.75	c 1402s |      24 |  5437302 |  4925562 |     1204   9050 |        0 |        0
1404.25/1404.79	c 1404s |      24 |  5443802 |  4931362 |     1204   9058 |        0 |        0
1406.34/1406.82	c 1406s |      24 |  5449961 |  4936862 |     1204   9067 |        0 |        0
1408.34/1408.83	c 1408s |      24 |  5456071 |  4942262 |     1204   9075 |        0 |        0
1410.34/1410.85	c 1410s |      24 |  5462600 |  4948162 |     1204   9084 |        0 |        0
1412.34/1412.86	c 1412s |      24 |  5468346 |  4953462 |     1204   9092 |        0 |        0
1414.44/1414.90	c 1414s |      24 |  5474803 |  4959362 |     1204   9101 |        0 |        0
1416.35/1416.90	c 1416s |      24 |  5480772 |  4964862 |     1204   9109 |        0 |        0
1418.44/1418.93	c 1418s |      24 |  5486503 |  4970162 |     1204   9117 |        0 |        0
1420.44/1420.94	c 1420s |      24 |  5492383 |  4975562 |     1204   9125 |        0 |        0
1422.44/1422.97	c 1422s |      24 |  5499264 |  4981762 |     1204   9134 |        0 |        0
1424.44/1424.99	c 1424s |      24 |  5506131 |  4987962 |     1204   9144 |        0 |        0
1426.54/1427.01	c 1426s |      24 |  5512487 |  4993762 |     1204   9153 |        0 |        0
1428.54/1429.02	c 1429s |      24 |  5519362 |  5000062 |     1204   9162 |        0 |        0
1430.54/1431.03	c 1431s |      24 |  5525422 |  5005662 |     1204   9170 |        0 |        0
1432.54/1433.04	c 1433s |      24 |  5532494 |  5011962 |     1204   9180 |        0 |        0
1434.54/1435.04	c 1435s |      24 |  5538647 |  5017562 |     1204   9188 |        0 |        0
1436.53/1437.06	c 1437s |      24 |  5544235 |  5022662 |     1204   9196 |        0 |        0
1438.53/1439.08	c 1439s |      24 |  5551792 |  5029762 |     1325   9206 |        0 |        0
1440.54/1441.09	c 1441s |      24 |  5558559 |  5036162 |     1325   9215 |        0 |        0
1442.63/1443.10	c 1443s |      24 |  5564978 |  5042262 |     1325   9224 |        0 |        0
1444.63/1445.11	c 1445s |      24 |  5571478 |  5048362 |     1325   9232 |        0 |        0
1446.63/1447.13	c 1447s |      24 |  5577762 |  5054262 |     1325   9241 |        0 |        0
1448.63/1449.15	c 1449s |      24 |  5583867 |  5060062 |     1325   9249 |        0 |        0
1450.33/1450.87	c 1450s |      25 |  5589251 |  5065098 |     1325   9256 |        0 |        0
1452.33/1452.88	c 1452s |      25 |  5597627 |  5072798 |     1325   9266 |        0 |        0
1454.33/1454.90	c 1454s |      25 |  5605512 |  5080098 |     1325   9276 |        0 |        0
1456.43/1456.91	c 1456s |      25 |  5612787 |  5086898 |     1325   9285 |        0 |        0
1458.43/1458.94	c 1458s |      25 |  5620142 |  5093698 |     1325   9295 |        0 |        0
1460.44/1460.97	c 1460s |      25 |  5628018 |  5100998 |     1325   9305 |        0 |        0
1462.43/1462.98	c 1462s |      25 |  5635649 |  5107998 |     1325   9314 |        0 |        0
1464.43/1465.00	c 1464s |      25 |  5643166 |  5114998 |     1325   9324 |        0 |        0
1466.53/1467.01	c 1466s |      25 |  5650251 |  5121698 |     1325   9333 |        0 |        0
1468.53/1469.01	c 1468s |      25 |  5658003 |  5128898 |     1325   9343 |        0 |        0
1470.53/1471.03	c 1471s |      25 |  5665286 |  5135598 |     1325   9352 |        0 |        0
1472.54/1473.04	c 1473s |      25 |  5673031 |  5142698 |     1325   9362 |        0 |        0
1474.53/1475.06	c 1475s |      25 |  5680070 |  5149298 |     1325   9371 |        0 |        0
1476.53/1477.08	c 1477s |      25 |  5687650 |  5156198 |     1325   9380 |        0 |        0
1478.53/1479.09	c 1479s |      25 |  5695369 |  5163298 |     1325   9390 |        0 |        0
1480.63/1481.11	c 1481s |      25 |  5704093 |  5170998 |     1325   9400 |        0 |        0
1482.63/1483.12	c 1483s |      25 |  5712607 |  5178498 |     1325   9411 |        0 |        0
1484.64/1485.12	c 1485s |      25 |  5720982 |  5185998 |     1325   9421 |        0 |        0
1486.63/1487.13	c 1487s |      25 |  5728844 |  5193198 |     1325   9431 |        0 |        0
1488.63/1489.14	c 1489s |      25 |  5737043 |  5200398 |     1325   9441 |        0 |        0
1490.63/1491.14	c 1491s |      25 |  5745547 |  5207698 |     1325   9451 |        0 |        0
1492.63/1493.16	c 1493s |      25 |  5753183 |  5214498 |     1325   9461 |        0 |        0
1494.63/1495.17	c 1495s |      25 |  5760862 |  5221398 |     1325   9470 |        0 |        0
1496.64/1497.18	c 1497s |      25 |  5768786 |  5228398 |     1325   9480 |        0 |        0
1498.63/1499.19	c 1499s |      25 |  5776750 |  5235598 |     1325   9490 |        0 |        0
1500.73/1501.21	c 1501s |      25 |  5784844 |  5242998 |     1325   9500 |        0 |        0
1502.73/1503.22	c 1503s |      25 |  5792713 |  5250098 |     1325   9510 |        0 |        0
1504.73/1505.24	c 1505s |      25 |  5800973 |  5257498 |     1325   9520 |        0 |        0
1506.73/1507.25	c 1507s |      25 |  5808915 |  5264598 |     1325   9530 |        0 |        0
1508.73/1509.27	c 1509s |      25 |  5816867 |  5271598 |     1325   9540 |        0 |        0
1510.73/1511.28	c 1511s |      25 |  5824450 |  5278198 |     1325   9549 |        0 |        0
1512.73/1513.29	c 1513s |      25 |  5832440 |  5285098 |     1325   9559 |        0 |        0
1514.73/1515.29	c 1515s |      25 |  5839148 |  5291198 |     1325   9567 |        0 |        0
1516.83/1517.32	c 1517s |      25 |  5846720 |  5298098 |     1325   9577 |        0 |        0
1518.83/1519.34	c 1519s |      25 |  5854699 |  5305398 |     1325   9587 |        0 |        0
1520.83/1521.37	c 1521s |      25 |  5863225 |  5312998 |     1325   9597 |        0 |        0
1522.82/1523.38	c 1523s |      25 |  5871083 |  5320098 |     1325   9607 |        0 |        0
1524.82/1525.39	c 1525s |      25 |  5878571 |  5326798 |     1325   9616 |        0 |        0
1526.92/1527.43	c 1527s |      25 |  5885951 |  5333498 |     1325   9626 |        0 |        0
1528.92/1529.45	c 1529s |      25 |  5894020 |  5340598 |     1325   9635 |        0 |        0
1530.92/1531.46	c 1531s |      25 |  5902100 |  5347798 |     1325   9645 |        0 |        0
1532.93/1533.47	c 1533s |      25 |  5910191 |  5355198 |     1325   9656 |        0 |        0
1534.92/1535.48	c 1535s |      25 |  5918277 |  5362498 |     1325   9666 |        0 |        0
1537.02/1537.51	c 1537s |      25 |  5925913 |  5369498 |     1325   9676 |        0 |        0
1539.02/1539.52	c 1539s |      25 |  5932557 |  5375698 |     1325   9684 |        0 |        0
1541.02/1541.53	c 1541s |      25 |  5939882 |  5382398 |     1325   9693 |        0 |        0
1543.02/1543.53	c 1543s |      25 |  5947488 |  5389298 |     1325   9703 |        0 |        0
1545.02/1545.55	c 1545s |      25 |  5955177 |  5396398 |     1325   9713 |        0 |        0
1547.02/1547.57	c 1547s |      25 |  5962985 |  5403398 |     1325   9722 |        0 |        0
1549.02/1549.57	c 1549s |      25 |  5970497 |  5409998 |     1325   9732 |        0 |        0
1551.02/1551.59	c 1551s |      25 |  5978534 |  5417198 |     1325   9742 |        0 |        0
1553.12/1553.61	c 1553s |      25 |  5986841 |  5424498 |     1325   9752 |        0 |        0
1555.12/1555.64	c 1555s |      25 |  5995209 |  5431598 |     1325   9762 |        0 |        0
1557.12/1557.66	c 1557s |      25 |  6003005 |  5438598 |     1325   9771 |        0 |        0
1559.12/1559.69	c 1559s |      25 |  6010523 |  5445298 |     1325   9781 |        0 |        0
1561.21/1561.71	c 1561s |      25 |  6018130 |  5451998 |     1325   9790 |        0 |        0
1563.21/1563.73	c 1563s |      25 |  6025165 |  5458298 |     1325   9798 |        0 |        0
1565.21/1565.74	c 1565s |      25 |  6033159 |  5465298 |     1325   9808 |        0 |        0
1567.21/1567.77	c 1567s |      25 |  6040545 |  5471998 |     1325   9817 |        0 |        0
1569.22/1569.77	c 1569s |      25 |  6047386 |  5478098 |     1325   9826 |        0 |        0
1571.31/1571.80	c 1571s |      25 |  6054324 |  5484398 |     1325   9835 |        0 |        0
1573.31/1573.83	c 1573s |      25 |  6062069 |  5491298 |     1325   9844 |        0 |        0
1575.32/1575.86	c 1575s |      25 |  6069437 |  5497898 |     1325   9853 |        0 |        0
1577.32/1577.86	c 1577s |      25 |  6076082 |  5503898 |     1325   9862 |        0 |        0
1579.32/1579.88	c 1579s |      25 |  6082107 |  5509498 |     1325   9869 |        0 |        0
1581.33/1581.89	c 1581s |      25 |  6088488 |  5515398 |     1325   9877 |        0 |        0
1583.42/1583.91	c 1583s |      25 |  6095860 |  5521998 |     1325   9887 |        0 |        0
1585.42/1585.94	c 1585s |      25 |  6102744 |  5528198 |     1325   9895 |        0 |        0
1587.42/1587.95	c 1587s |      25 |  6109818 |  5534698 |     1325   9904 |        0 |        0
1589.42/1589.97	c 1589s |      25 |  6116695 |  5541098 |     1325   9913 |        0 |        0
1591.42/1591.97	c 1591s |      25 |  6122547 |  5546598 |     1325   9921 |        0 |        0
1593.42/1594.00	c 1593s |      25 |  6129097 |  5552598 |     1325   9929 |        0 |        0
1595.52/1596.00	c 1595s |      25 |  6136019 |  5558898 |     1325   9937 |        0 |        0
1597.52/1598.01	c 1597s |      25 |  6142364 |  5564698 |     1325   9945 |        0 |        0
1599.52/1600.03	c 1600s |      25 |  6148802 |  5570598 |     1325   9954 |        0 |        0
1601.52/1602.03	c 1602s |      25 |  6154894 |  5576198 |     1325   9961 |        0 |        0
1603.51/1604.04	c 1604s |      25 |  6162173 |  5582698 |     1325   9970 |        0 |        0
1605.52/1606.04	c 1606s |      25 |  6169074 |  5588898 |     1325   9979 |        0 |        0
1607.51/1608.08	c 1608s |      25 |  6176198 |  5595198 |     1325   9987 |        0 |        0
1609.61/1610.11	c 1610s |      25 |  6182828 |  5601098 |     1325   9996 |        0 |        0
1611.61/1612.13	c 1612s |      25 |  6189098 |  5606798 |     1325  10004 |        0 |        0
1613.61/1614.15	c 1614s |      25 |  6195606 |  5612798 |     1325  10012 |        0 |        0
1615.61/1616.16	c 1616s |      25 |  6201600 |  5618298 |     1325  10019 |        0 |        0
1617.62/1618.17	c 1618s |      25 |  6207364 |  5623598 |     1325  10027 |        0 |        0
1619.61/1620.17	c 1620s |      25 |  6212960 |  5628798 |     1325  10034 |        0 |        0
1621.71/1622.20	c 1622s |      25 |  6218368 |  5633698 |     1325  10041 |        0 |        0
1623.71/1624.21	c 1624s |      25 |  6225457 |  5639998 |     1325  10049 |        0 |        0
1625.71/1626.25	c 1626s |      25 |  6231845 |  5645898 |     1325  10058 |        0 |        0
1627.71/1628.26	c 1628s |      25 |  6238721 |  5652098 |     1325  10066 |        0 |        0
1629.72/1630.28	c 1630s |      25 |  6245990 |  5658598 |     1325  10075 |        0 |        0
1631.71/1632.28	c 1632s |      25 |  6252222 |  5664298 |     1325  10083 |        0 |        0
1633.81/1634.30	c 1634s |      25 |  6259071 |  5670398 |     1325  10091 |        0 |        0
1635.81/1636.34	c 1636s |      25 |  6265034 |  5675798 |     1325  10099 |        0 |        0
1637.81/1638.36	c 1638s |      25 |  6272020 |  5682198 |     1325  10107 |        0 |        0
1639.81/1640.37	c 1640s |      25 |  6278898 |  5688498 |     1325  10116 |        0 |        0
1641.81/1642.39	c 1642s |      25 |  6285985 |  5694898 |     1325  10125 |        0 |        0
1643.91/1644.41	c 1644s |      25 |  6294274 |  5702398 |     1325  10135 |        0 |        0
1645.91/1646.43	c 1646s |      25 |  6302439 |  5709798 |     1325  10145 |        0 |        0
1647.91/1648.43	c 1648s |      25 |  6310394 |  5717098 |     1325  10156 |        0 |        0
1649.90/1650.43	c 1650s |      25 |  6318616 |  5724598 |     1325  10166 |        0 |        0
1651.90/1652.45	c 1652s |      25 |  6326694 |  5731898 |     1325  10176 |        0 |        0
1653.91/1654.46	c 1654s |      25 |  6334398 |  5738898 |     1325  10186 |        0 |        0
1655.90/1656.48	c 1656s |      25 |  6342678 |  5746398 |     1325  10196 |        0 |        0
1657.90/1658.49	c 1658s |      25 |  6350443 |  5753498 |     1325  10206 |        0 |        0
1660.00/1660.50	c 1660s |      25 |  6358516 |  5760698 |     1325  10216 |        0 |        0
1662.00/1662.52	c 1662s |      25 |  6366619 |  5767998 |     1325  10226 |        0 |        0
1664.00/1664.52	c 1664s |      25 |  6374581 |  5775198 |     1325  10236 |        0 |        0
1666.01/1666.53	c 1666s |      25 |  6382889 |  5782698 |     1325  10246 |        0 |        0
1668.00/1668.54	c 1668s |      25 |  6390711 |  5789898 |     1325  10256 |        0 |        0
1670.00/1670.54	c 1670s |      25 |  6398272 |  5796798 |     1325  10265 |        0 |        0
1672.00/1672.55	c 1672s |      25 |  6405474 |  5803398 |     1325  10274 |        0 |        0
1674.00/1674.57	c 1674s |      25 |  6413244 |  5810398 |     1325  10284 |        0 |        0
1676.00/1676.59	c 1676s |      25 |  6420736 |  5817098 |     1325  10293 |        0 |        0
1678.10/1678.61	c 1678s |      25 |  6428025 |  5823698 |     1325  10302 |        0 |        0
1680.10/1680.61	c 1680s |      25 |  6435510 |  5830498 |     1325  10312 |        0 |        0
1682.10/1682.62	c 1682s |      25 |  6442820 |  5837098 |     1325  10321 |        0 |        0
1684.10/1684.65	c 1684s |      25 |  6450109 |  5843798 |     1325  10330 |        0 |        0
1686.09/1686.66	c 1686s |      25 |  6457130 |  5850398 |     1325  10339 |        0 |        0
1688.10/1688.67	c 1688s |      25 |  6464658 |  5857298 |     1325  10349 |        0 |        0
1690.09/1690.68	c 1690s |      25 |  6471993 |  5863798 |     1325  10358 |        0 |        0
1692.19/1692.70	c 1692s |      25 |  6479783 |  5870898 |     1325  10367 |        0 |        0
1694.19/1694.72	c 1694s |      25 |  6488241 |  5878298 |     1325  10378 |        0 |        0
1696.19/1696.74	c 1696s |      25 |  6496891 |  5885898 |     1325  10388 |        0 |        0
1698.19/1698.75	c 1698s |      25 |  6505087 |  5893098 |     1325  10398 |        0 |        0
1700.20/1700.76	c 1700s |      25 |  6513407 |  5900398 |     1325  10408 |        0 |        0
1702.19/1702.79	c 1702s |      25 |  6521232 |  5907398 |     1325  10418 |        0 |        0
1704.29/1704.80	c 1704s |      25 |  6528737 |  5913998 |     1325  10427 |        0 |        0
1706.29/1706.83	c 1706s |      25 |  6536252 |  5920798 |     1325  10437 |        0 |        0
1708.29/1708.86	c 1708s |      25 |  6543580 |  5927298 |     1325  10446 |        0 |        0
1710.29/1710.87	c 1710s |      25 |  6551039 |  5933898 |     1325  10455 |        0 |        0
1712.40/1712.90	c 1712s |      25 |  6557801 |  5939998 |     1325  10463 |        0 |        0
1714.41/1714.92	c 1714s |      25 |  6564825 |  5946398 |     1325  10472 |        0 |        0
1716.40/1716.93	c 1716s |      25 |  6571565 |  5952398 |     1325  10480 |        0 |        0
1718.40/1718.95	c 1718s |      25 |  6578216 |  5958498 |     1325  10489 |        0 |        0
1720.40/1720.97	c 1720s |      25 |  6586079 |  5965498 |     1325  10499 |        0 |        0
1722.40/1722.97	c 1722s |      25 |  6593073 |  5971898 |     1325  10508 |        0 |        0
1724.40/1724.98	c 1724s |      25 |  6599904 |  5978198 |     1325  10516 |        0 |        0
1726.40/1726.99	c 1726s |      25 |  6607665 |  5985098 |     1325  10526 |        0 |        0
1728.50/1729.01	c 1728s |      25 |  6615113 |  5991698 |     1325  10535 |        0 |        0
1730.50/1731.01	c 1730s |      25 |  6621734 |  5997698 |     1325  10543 |        0 |        0
1732.49/1733.02	c 1733s |      25 |  6628620 |  6003798 |     1325  10552 |        0 |        0
1734.49/1735.04	c 1735s |      25 |  6635362 |  6009898 |     1325  10560 |        0 |        0
1736.50/1737.04	c 1737s |      25 |  6642358 |  6015998 |     1325  10569 |        0 |        0
1738.49/1739.05	c 1739s |      25 |  6648852 |  6021698 |     1325  10576 |        0 |        0
1740.49/1741.07	c 1741s |      25 |  6655458 |  6027598 |     1325  10585 |        0 |        0
1742.49/1743.09	c 1743s |      25 |  6661798 |  6033398 |     1325  10593 |        0 |        0
1744.59/1745.10	c 1745s |      25 |  6668121 |  6039098 |     1325  10601 |        0 |        0
1746.59/1747.14	c 1747s |      25 |  6675274 |  6045598 |     1325  10610 |        0 |        0
1748.60/1749.16	c 1749s |      25 |  6683107 |  6052498 |     1325  10619 |        0 |        0
1750.59/1751.16	c 1751s |      25 |  6690259 |  6058898 |     1325  10628 |        0 |        0
1752.59/1753.19	c 1753s |      25 |  6697022 |  6064998 |     1325  10636 |        0 |        0
1754.69/1755.22	c 1755s |      25 |  6703521 |  6070798 |     1325  10644 |        0 |        0
1756.69/1757.23	c 1757s |      25 |  6709888 |  6076498 |     1325  10652 |        0 |        0
1758.69/1759.26	c 1759s |      25 |  6715714 |  6081798 |     1325  10660 |        0 |        0
1760.69/1761.28	c 1761s |      25 |  6723349 |  6088698 |     1325  10669 |        0 |        0
1762.79/1763.31	c 1763s |      25 |  6731240 |  6095898 |     1325  10679 |        0 |        0
1764.79/1765.32	c 1765s |      25 |  6739285 |  6103298 |     1325  10689 |        0 |        0
1766.79/1767.35	c 1767s |      25 |  6746736 |  6110198 |     1325  10699 |        0 |        0
1768.79/1769.35	c 1769s |      25 |  6754047 |  6116898 |     1325  10708 |        0 |        0
1770.78/1771.37	c 1771s |      25 |  6761733 |  6123898 |     1325  10718 |        0 |        0
1772.88/1773.40	c 1773s |      25 |  6769011 |  6130498 |     1325  10727 |        0 |        0
1774.89/1775.43	c 1775s |      25 |  6776549 |  6137298 |     1325  10737 |        0 |        0
1776.88/1777.45	c 1777s |      25 |  6783875 |  6143898 |     1325  10746 |        0 |        0
1778.88/1779.47	c 1779s |      25 |  6790842 |  6150198 |     1325  10755 |        0 |        0
1780.88/1781.49	c 1781s |      25 |  6797787 |  6156498 |     1325  10763 |        0 |        0
1782.89/1783.49	c 1783s |      25 |  6804458 |  6162498 |     1325  10772 |        0 |        0
1784.99/1785.52	c 1785s |      25 |  6810970 |  6168398 |     1325  10780 |        0 |        0
1786.99/1787.53	c 1787s |      25 |  6817760 |  6174398 |     1325  10788 |        0 |        0
1788.99/1789.54	c 1789s |      25 |  6825022 |  6180898 |     1325  10797 |        0 |        0
1790.98/1791.54	c 1791s |      25 |  6831810 |  6186998 |     1325  10806 |        0 |        0
1792.98/1793.56	c 1793s |      25 |  6838174 |  6192798 |     1325  10813 |        0 |        0
1794.98/1795.58	c 1795s |      25 |  6846022 |  6199798 |     1325  10823 |        0 |        0
1797.08/1797.60	c 1797s |      25 |  6853633 |  6206698 |     1325  10833 |        0 |        0
1798.98/1799.60	c 1799s |      25 |  6861032 |  6213198 |     1325  10842 |        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-4090016-1466036593/watcher-4090016-1466036593 -o /tmp/evaluation-result-4090016-1466036593/solver-4090016-1466036593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090016-1466036593.opb 

pid=12073
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.27 2.25 2.19 3/181 12076
/proc/meminfo: memFree=29294936/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=585148 CPUtime=0 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 2153 0 0 0 0 0 0 0 20 0 4 0 5705710 599191552 3026 33554432000 4194304 16246674 140734400940496 140734400939920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 146799 3036 441 2943 0 143693 0
[pid=12076/tid=12077] ppid=12073 vsize=601532 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 615968768 3093 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=606652 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 621211648 3112 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=609724 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 624357376 3125 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.27 2.25 2.19 3/181 12076
/proc/meminfo: memFree=29294936/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 28261 0 0 0 6 3 0 0 20 0 4 0 5705710 1247350784 29123 33554432000 4194304 16246674 140734400940496 140734400939920 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 304529 29135 715 2943 0 301423 0
[pid=12076/tid=12077] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 29145 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 29153 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 29166 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.27 2.25 2.19 3/181 12076
/proc/meminfo: memFree=29294936/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 57346 0 0 0 11 8 0 0 20 0 4 0 5705710 1247350784 58207 33554432000 4194304 16246674 140734400940496 140734400939920 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 304529 58217 716 2943 0 301423 0
[pid=12076/tid=12077] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 58226 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 58233 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 58238 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300484 s]
/proc/loadavg: 2.27 2.25 2.19 3/181 12076
/proc/meminfo: memFree=29294936/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 86002 0 0 0 17 12 0 0 20 0 4 0 5705710 1247350784 86864 33554432000 4194304 16246674 140734400940496 140734400939920 13929603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 304529 86875 716 2943 0 301423 0
[pid=12076/tid=12077] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 86881 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 86887 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 86892 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700384 s]
/proc/loadavg: 2.27 2.25 2.19 3/181 12076
/proc/meminfo: memFree=29294936/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 201079 0 0 0 42 27 0 0 20 0 4 0 5705710 1247350784 201940 33554432000 4194304 16246674 140734400940496 140734400922368 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 304529 201956 716 2943 0 301423 0
[pid=12076/tid=12077] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 201961 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 201967 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1247350784 201971 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.27 2.25 2.19 3/185 12080
/proc/meminfo: memFree=28310868/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1305156 CPUtime=1.48 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267295 0 0 0 113 35 0 0 20 0 4 0 5705710 1336479744 268136 33554432000 4194304 16246674 140734400940496 140734400939808 7252812 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326289 268136 791 2943 0 323183 0
[pid=12076/tid=12077] ppid=12073 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1336479744 268136 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1336479744 268136 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1336479744 268136 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.27 2.25 2.19 3/185 12080
/proc/meminfo: memFree=28222580/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267436 0 0 0 273 35 0 0 20 0 4 0 5705710 1337528320 268277 33554432000 4194304 16246674 140734400940496 140734400922368 12474881 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268277 791 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268277 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268277 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268277 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.25 2.25 2.19 3/185 12080
/proc/meminfo: memFree=28222764/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267437 0 0 0 593 35 0 0 20 0 4 0 5705710 1337528320 268278 33554432000 4194304 16246674 140734400940496 140734400922368 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268278 791 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268278 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268278 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268278 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.31 2.26 2.19 3/185 12080
/proc/meminfo: memFree=28222608/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267462 0 0 0 1233 35 0 0 20 0 4 0 5705710 1337528320 268303 33554432000 4194304 16246674 140734400940496 140734400922368 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268303 791 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268303 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268303 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268303 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.24 2.25 2.19 4/185 12080
/proc/meminfo: memFree=28222972/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267464 0 0 0 2513 36 0 0 20 0 4 0 5705710 1337528320 268305 33554432000 4194304 16246674 140734400940496 140734400922368 5666933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268305 793 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268305 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268305 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268305 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.30 2.26 2.19 3/185 12081
/proc/meminfo: memFree=28222192/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267466 0 0 0 5072 36 0 0 20 0 4 0 5705710 1337528320 268307 33554432000 4194304 16246674 140734400940496 140734400922368 12875520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268307 794 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268307 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268307 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268307 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.23 2.25 2.19 3/185 12082
/proc/meminfo: memFree=28222548/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 267525 0 0 0 10191 37 0 0 20 0 4 0 5705710 1337528320 268366 33554432000 4194304 16246674 140734400940496 140734400922368 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326545 268366 795 2943 0 323439 0
[pid=12076/tid=12077] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268366 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268366 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1337528320 268366 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268577 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.34 2.27 2.20 4/185 12259
/proc/meminfo: memFree=28217228/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268184 0 0 0 130134 51 0 0 20 0 4 0 5705710 1338576896 268577 33554432000 4194304 16246674 140734400940496 140734400922368 13954550 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268577 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268577 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268577 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268577 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.46 2.31 2.21 3/185 12260
/proc/meminfo: memFree=28213420/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1361.85 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 136133 52 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 13195576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/185 12261
/proc/meminfo: memFree=28207220/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1421.85 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 142133 52 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.50 2.33 2.23 4/185 12262
/proc/meminfo: memFree=28197904/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1481.83 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 148131 52 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 6021620 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.50 2.35 2.23 3/185 12263
/proc/meminfo: memFree=28198132/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1541.82 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 154129 53 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.44 2.36 2.24 4/185 12265
/proc/meminfo: memFree=28182760/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 160128 54 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.45 2.37 2.25 4/186 12269
/proc/meminfo: memFree=28182124/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1661.8 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 166126 54 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.58 2.41 2.27 3/185 12270
/proc/meminfo: memFree=28182104/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1721.8 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 172125 55 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.44 2.39 2.27 4/185 12271
/proc/meminfo: memFree=28181860/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1781.78 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 178123 55 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.42 2.39 2.27 4/185 12271
/proc/meminfo: memFree=28181612/32872528 swapFree=1481856/1661728
[pid=12076] ppid=12073 vsize=1307204 CPUtime=1800.08 cores=1,3,5,7
/proc/12076/stat : 12076 (toysat) R 12073 12076 6232 0 -1 4202496 268221 0 0 0 179952 56 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140734400922368 13191528 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12076/statm: 326801 268614 796 2943 0 323695 0
[pid=12076/tid=12077] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12077/stat : 12077 (toysat) S 12073 12076 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576223636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12076/tid=12078] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12078/stat : 12078 (toysat) S 12073 12076 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576213146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12076/tid=12079] ppid=12073 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12076/task/12079/stat : 12079 (toysat) S 12073 12076 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5705710 1338576896 268614 33554432000 4194304 16246674 140734400940496 140576091532464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 12076 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.1
CPU user time (s): 1799.53
CPU system time (s): 0.566913
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.566913
maximum resident set size= 1074456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268221
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= 464
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53231 second user time and 7.00293 second system time

The end

Begin job on node134 at 2016-06-16 02:23:13
IDJOB=4090016
IDBENCH=107489
IDSOLVER=2542
FILE ID=node134/4090016-1466036593
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
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-v071-n2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090016-1466036593/watcher-4090016-1466036593 -o /tmp/evaluation-result-4090016-1466036593/solver-4090016-1466036593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090016-1466036593.opb

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

MD5SUM BENCH= 1b9fa9a55492cdf68bef8ac687bbee0d
RANDOM SEED=1660291114

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29296116 kB
Buffers:           40040 kB
Cached:            83568 kB
SwapCached:        17352 kB
Active:          1141548 kB
Inactive:          71956 kB
Active(anon):    1074268 kB
Inactive(anon):    18004 kB
Active(file):      67280 kB
Inactive(file):    53952 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2739016 kB
Mapped:            10520 kB
Shmem:                 0 kB
Slab:             567560 kB
SReclaimable:      11596 kB
SUnreclaim:       555964 kB
KernelStack:        1536 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 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= 71700 MiB
End job on node134 at 2016-06-16 02:53:14