0.00/0.00	c 2016-06-30T20:47:04+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-4120850-1467312424.opb"]
0.00/0.01	c use --random-gen="1014565446 1728237521 2862283078 135764510 143887955 891293721 2258434308 2103011114 3734750182 3265320491 3897334453 1342814887 2835139865 1791909269 3885924885 977661389 1025462052 964753821 2119038580 97914168 2424639595 1819535601 254719624 740049956 2602008705 2970633999 3198240288 3246823276 2651785012 152089896 3820054556 3370153506 3824744739 3614356588 206334218 893114856 3978527223 649067573 2024223520 2733947180 1727375345 4107054952 3888871831 3753274170 2555295240 2093898724 3091716088 2319809240 4098618616 1285224495 2474315259 3734791024 3915406970 1102720668 255270996 3965550378 123633093 3999677107 3438795647 1035250520 2940208909 2864046520 860405376 597235193 3529811930 1630654653 1576268527 3094086011 329415491 3769882332 3931351918 3306858070 1203712646 2237099116 1303695888 2592351737 2339802715 561435203 3243017764 1966644104 4089057078 3449804129 2498486618 1277813914 2694381444 1973097625 2269246920 2099772048 1200978449 2375992684 3528919384 1286739400 973168861 2469125615 1422223731 3594062900 1115043279 2904596489 3472911862 1889011383 2874306754 483088702 311186467 233009094 2352231359 3859635554 3916803425 1594673799 4012310358 3601529160 1056858339 1745041866 3457512558 3816685394 1691615363 3815693227 1574000253 3202465114 3723267573 3758709918 4212370541 694427906 2990530433 399130164 2001007084 2811798690 2589908203 1324315709 3406296211 3439002619 2160219307 1534007538 1466462212 3517404013 979500105 3991814633 3699069490 2608914984 2647379622 1685658605 2265626588 3963020835 4130966587 190125087 259502015 1732307794 3124355900 1623437021 3934747688 80463118 264761558 2104402092 1809123010 2107816833 2013029182 523180809 1950960033 1341144449 2478870556 3515565261 468858736 3861542205 24271581 616761650 1362041868 4241871604 1596420364 1211281141 2740991088 975613946 4211113815 1340246860 2412347941 635065664 3500527966 822226829 669492131 764440276 1569670352 1410091691 3659267833 459891640 607813338 119620514 2427080893 1447394181 3433578730 992332936 424638884 3536969781 2058823736 1506485966 2648268706 3374042285 2584020247 941400278 3894071063 837884319 2190795727 393615564 1462975922 3776079877 1098914390 4214461975 729752401 2251930754 634943241 1073004577 1452919214 62289412 843535805 162867143 1626117282 2326359172 3716289488 2116420323 1950533742 1694685561 439781713 3186662787 4289364065 2654730542 1079295255 882848409 3908147188 2390610116 2694292562 3670763227 59926705 337530230 151117527 398652808 3723790832 3069317902 3391158937 801237326 2986663602 3647990422 1215877008 2654227833 2608073735 1601493004 3252542482 1650861132 2367947313 776746652 2189884417 2668390113 3915890144 3670883638 4042482543 2077789682 3874781529 4092849414 3945556397 2737877052 255 362436" option to reproduce the execution
0.00/0.01	c #vars 93
0.00/0.01	c #constraints 92
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 |       61      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      130 |      100 |       61      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      335 |      250 |       68      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      687 |      475 |       75      8 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1201 |      813 |       83     15 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1995 |     1320 |       92     23 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3162 |     2081 |      113     35 |        0 |        0
0.29/0.31	c  0.3s |       7 |     5218 |     3223 |      125     51 |        0 |        0
0.39/0.46	c  0.5s |       8 |     8100 |     4936 |      138     74 |        0 |        0
0.68/0.70	c  0.7s |       9 |    11867 |     7506 |      152    105 |        0 |        0
1.09/1.11	c  1.1s |      10 |    16771 |    11361 |      168    150 |        0 |        0
1.48/1.54	c  1.5s |      11 |    24975 |    17144 |      185    210 |        0 |        0
2.19/2.26	c  2.2s |      12 |    35652 |    25819 |      204    292 |        0 |        0
3.18/3.26	c  3.2s |      13 |    51174 |    38832 |      225    402 |        0 |        0
4.58/4.63	c  4.6s |      14 |    76486 |    58352 |      248    557 |        0 |        0
6.59/6.63	c  6.6s |      14 |   114030 |    86252 |      248    766 |        0 |        0
6.69/6.73	c  6.7s |      15 |   116067 |    87632 |      273    776 |        0 |        0
8.68/8.73	c  8.7s |      15 |   159733 |   117632 |      273    983 |        0 |        0
9.58/9.63	c  9.6s |      16 |   179799 |   131552 |      301   1079 |        0 |        0
11.59/11.64	c 11.6s |      16 |   219149 |   160052 |      301   1257 |        0 |        0
13.59/13.64	c 13.6s |      16 |   259304 |   188052 |      301   1434 |        0 |        0
14.19/14.28	c 14.3s |      17 |   273467 |   197432 |      332   1492 |        0 |        0
16.19/16.28	c 16.3s |      17 |   315208 |   226132 |      332   1655 |        0 |        0
18.19/18.29	c 18.3s |      17 |   354695 |   254432 |      332   1816 |        0 |        0
20.19/20.29	c 20.3s |      17 |   390388 |   281432 |      332   1972 |        0 |        0
21.29/21.37	c 21.4s |      18 |   410463 |   296252 |      366   2056 |        0 |        0
23.29/23.38	c 23.4s |      18 |   449425 |   324352 |      366   2204 |        0 |        0
25.29/25.38	c 25.4s |      18 |   489219 |   352752 |      366   2354 |        0 |        0
27.28/27.39	c 27.4s |      18 |   526113 |   379952 |      366   2497 |        0 |        0
29.28/29.39	c 29.4s |      18 |   563391 |   406952 |      366   2640 |        0 |        0
31.28/31.39	c 31.4s |      18 |   599031 |   433552 |      366   2780 |        0 |        0
32.18/32.20	c 32.2s |      19 |   614088 |   444482 |      403   2836 |        0 |        0
34.19/34.21	c 34.2s |      19 |   647666 |   469882 |      403   2957 |        0 |        0
36.18/36.21	c 36.2s |      19 |   680411 |   494982 |      403   3076 |        0 |        0
38.18/38.21	c 38.2s |      19 |   715545 |   520882 |      403   3200 |        0 |        0
40.18/40.21	c 40.2s |      19 |   748328 |   545382 |      403   3317 |        0 |        0
42.19/42.22	c 42.2s |      19 |   783133 |   570482 |      403   3436 |        0 |        0
44.19/44.23	c 44.2s |      19 |   819103 |   596382 |      403   3559 |        0 |        0
46.19/46.24	c 46.2s |      19 |   852047 |   620982 |      403   3676 |        0 |        0
48.18/48.24	c 48.2s |      19 |   882577 |   645182 |      403   3790 |        0 |        0
49.88/49.95	c 49.9s |      20 |   910416 |   666827 |      444   3892 |        0 |        0
51.88/51.95	c 51.9s |      20 |   944247 |   691527 |      444   3999 |        0 |        0
53.89/53.96	c 53.9s |      20 |   974108 |   714827 |      444   4100 |        0 |        0
55.88/55.96	c 55.9s |      20 |  1004021 |   738627 |      444   4202 |        0 |        0
57.88/57.96	c 58.0s |      20 |  1031292 |   761327 |      444   4299 |        0 |        0
59.88/59.97	c 60.0s |      20 |  1062272 |   785227 |      444   4401 |        0 |        0
61.87/61.97	c 62.0s |      20 |  1098332 |   810727 |      444   4513 |        0 |        0
63.88/63.98	c 64.0s |      20 |  1132475 |   836627 |      444   4626 |        0 |        0
65.87/65.98	c 66.0s |      20 |  1168838 |   863027 |      444   4742 |        0 |        0
67.87/67.98	c 68.0s |      20 |  1204191 |   889227 |      444   4856 |        0 |        0
69.87/69.98	c 70.0s |      20 |  1238153 |   914127 |      444   4964 |        0 |        0
71.87/71.99	c 72.0s |      20 |  1270052 |   938927 |      444   5073 |        0 |        0
73.87/73.99	c 74.0s |      20 |  1302852 |   963827 |      444   5181 |        0 |        0
75.88/75.99	c 76.0s |      20 |  1336216 |   989227 |      444   5293 |        0 |        0
76.77/76.88	c 76.9s |      21 |  1350889 |  1000345 |      489   5338 |        0 |        0
78.77/78.88	c 78.9s |      21 |  1378054 |  1022045 |      489   5423 |        0 |        0
80.78/80.89	c 80.9s |      21 |  1405164 |  1043545 |      489   5507 |        0 |        0
82.77/82.90	c 82.9s |      21 |  1434158 |  1066145 |      489   5596 |        0 |        0
84.87/84.90	c 84.9s |      21 |  1463010 |  1089045 |      489   5686 |        0 |        0
86.88/86.91	c 86.9s |      21 |  1488907 |  1110845 |      489   5772 |        0 |        0
88.87/88.92	c 88.9s |      21 |  1513388 |  1131645 |      489   5853 |        0 |        0
90.87/90.93	c 90.9s |      21 |  1538427 |  1152845 |      489   5937 |        0 |        0
92.86/92.93	c 92.9s |      21 |  1565049 |  1174745 |      489   6023 |        0 |        0
94.86/94.93	c 94.9s |      21 |  1591447 |  1196645 |      489   6109 |        0 |        0
96.87/96.94	c 96.9s |      21 |  1618476 |  1218745 |      489   6197 |        0 |        0
98.86/98.94	c 98.9s |      21 |  1642794 |  1239645 |      489   6279 |        0 |        0
100.86/100.94	c  100s |      21 |  1667902 |  1260645 |      489   6362 |        0 |        0
102.86/102.95	c  102s |      21 |  1693555 |  1281745 |      489   6445 |        0 |        0
104.86/104.95	c  104s |      21 |  1720638 |  1303645 |      489   6531 |        0 |        0
106.86/106.95	c  106s |      21 |  1746723 |  1325545 |      489   6618 |        0 |        0
108.87/108.96	c  108s |      21 |  1771730 |  1346645 |      489   6701 |        0 |        0
110.86/110.97	c  110s |      21 |  1796196 |  1367445 |      489   6783 |        0 |        0
112.86/112.97	c  112s |      21 |  1821996 |  1389045 |      489   6869 |        0 |        0
114.86/114.98	c  114s |      21 |  1849948 |  1411045 |      489   6956 |        0 |        0
116.86/116.98	c  116s |      21 |  1876038 |  1432245 |      489   7040 |        0 |        0
118.87/118.99	c  118s |      21 |  1903015 |  1453945 |      489   7126 |        0 |        0
120.86/120.99	c  120s |      21 |  1929932 |  1475545 |      489   7211 |        0 |        0
122.96/123.00	c  122s |      21 |  1956520 |  1497145 |      538   7293 |        0 |        0
123.17/123.29	c  123s |      22 |  1961245 |  1500622 |      538   7306 |        0 |        0
125.16/125.29	c  125s |      22 |  1992684 |  1523922 |      538   7390 |        0 |        0
127.16/127.29	c  127s |      22 |  2022769 |  1546522 |      538   7471 |        0 |        0
129.26/129.30	c  129s |      22 |  2051354 |  1568722 |      538   7551 |        0 |        0
131.25/131.30	c  131s |      22 |  2082395 |  1592222 |      538   7636 |        0 |        0
133.25/133.31	c  133s |      22 |  2112371 |  1615322 |      538   7720 |        0 |        0
135.26/135.31	c  135s |      22 |  2145147 |  1639722 |      538   7808 |        0 |        0
137.25/137.32	c  137s |      22 |  2172449 |  1662022 |      538   7888 |        0 |        0
139.25/139.32	c  139s |      22 |  2198539 |  1683522 |      538   7965 |        0 |        0
141.26/141.32	c  141s |      22 |  2224950 |  1705122 |      538   8043 |        0 |        0
143.25/143.33	c  143s |      22 |  2252856 |  1727622 |      538   8123 |        0 |        0
145.26/145.33	c  145s |      22 |  2279386 |  1749522 |      538   8201 |        0 |        0
147.25/147.33	c  147s |      22 |  2306469 |  1771522 |      538   8280 |        0 |        0
149.25/149.33	c  149s |      22 |  2335152 |  1794422 |      538   8362 |        0 |        0
151.25/151.34	c  151s |      22 |  2362681 |  1817022 |      538   8443 |        0 |        0
153.25/153.34	c  153s |      22 |  2391226 |  1839822 |      538   8525 |        0 |        0
155.25/155.35	c  155s |      22 |  2422603 |  1864122 |      538   8613 |        0 |        0
157.25/157.35	c  157s |      22 |  2453982 |  1888022 |      538   8699 |        0 |        0
159.24/159.36	c  159s |      22 |  2486336 |  1912022 |      538   8787 |        0 |        0
161.24/161.36	c  161s |      22 |  2520206 |  1937022 |      538   8877 |        0 |        0
163.24/163.36	c  163s |      22 |  2551252 |  1961122 |      538   8964 |        0 |        0
165.24/165.36	c  165s |      22 |  2581441 |  1984422 |      538   9048 |        0 |        0
167.25/167.37	c  167s |      22 |  2611867 |  2008022 |      538   9134 |        0 |        0
169.25/169.38	c  169s |      22 |  2641331 |  2030822 |      538   9216 |        0 |        0
171.25/171.38	c  171s |      22 |  2670567 |  2054022 |      538   9300 |        0 |        0
173.24/173.39	c  173s |      22 |  2699982 |  2077122 |      538   9385 |        0 |        0
175.24/175.39	c  175s |      22 |  2729683 |  2100522 |      538   9469 |        0 |        0
177.34/177.40	c  177s |      22 |  2758736 |  2123022 |      538   9550 |        0 |        0
179.25/179.40	c  179s |      22 |  2789311 |  2147022 |      538   9637 |        0 |        0
181.34/181.40	c  181s |      22 |  2821079 |  2171022 |      538   9724 |        0 |        0
183.34/183.40	c  183s |      22 |  2853636 |  2195822 |      538   9814 |        0 |        0
185.34/185.41	c  185s |      22 |  2883416 |  2219422 |      538   9898 |        0 |        0
187.34/187.41	c  187s |      22 |  2911295 |  2241722 |      592   9976 |        0 |        0
188.04/188.20	c  188s |      23 |  2923614 |  2251038 |      592  10007 |        0 |        0
190.14/190.20	c  190s |      23 |  2959231 |  2276238 |      592  10090 |        0 |        0
192.14/192.20	c  192s |      23 |  2994632 |  2301738 |      592  10174 |        0 |        0
194.14/194.21	c  194s |      23 |  3025741 |  2325438 |      592  10252 |        0 |        0
196.14/196.21	c  196s |      23 |  3056555 |  2349038 |      592  10330 |        0 |        0
198.14/198.22	c  198s |      23 |  3088831 |  2373338 |      592  10410 |        0 |        0
200.14/200.22	c  200s |      23 |  3121901 |  2398238 |      592  10493 |        0 |        0
202.13/202.22	c  202s |      23 |  3155183 |  2422938 |      592  10575 |        0 |        0
204.13/204.22	c  204s |      23 |  3190816 |  2448138 |      592  10658 |        0 |        0
206.13/206.22	c  206s |      23 |  3226139 |  2473438 |      592  10742 |        0 |        0
208.13/208.23	c  208s |      23 |  3264649 |  2500238 |      592  10831 |        0 |        0
210.14/210.23	c  210s |      23 |  3297638 |  2524638 |      592  10912 |        0 |        0
212.13/212.23	c  212s |      23 |  3330273 |  2548938 |      592  10992 |        0 |        0
214.13/214.24	c  214s |      23 |  3364570 |  2573938 |      592  11075 |        0 |        0
216.13/216.25	c  216s |      23 |  3395246 |  2597438 |      592  11153 |        0 |        0
218.13/218.25	c  218s |      23 |  3429056 |  2622638 |      592  11237 |        0 |        0
220.12/220.26	c  220s |      23 |  3462734 |  2647538 |      592  11319 |        0 |        0
222.13/222.26	c  222s |      23 |  3498699 |  2673638 |      592  11405 |        0 |        0
224.12/224.27	c  224s |      23 |  3534735 |  2699638 |      592  11492 |        0 |        0
226.13/226.28	c  226s |      23 |  3565736 |  2723338 |      592  11570 |        0 |        0
228.13/228.28	c  228s |      23 |  3598983 |  2748038 |      592  11652 |        0 |        0
230.13/230.29	c  230s |      23 |  3628237 |  2770738 |      592  11727 |        0 |        0
232.13/232.29	c  232s |      23 |  3655661 |  2792738 |      592  11800 |        0 |        0
234.12/234.30	c  234s |      23 |  3680920 |  2813738 |      592  11869 |        0 |        0
236.22/236.30	c  236s |      23 |  3714063 |  2838738 |      592  11952 |        0 |        0
238.22/238.31	c  238s |      23 |  3751807 |  2865238 |      592  12041 |        0 |        0
240.22/240.31	c  240s |      23 |  3791313 |  2892438 |      592  12131 |        0 |        0
242.22/242.32	c  242s |      23 |  3823889 |  2917338 |      592  12213 |        0 |        0
244.22/244.32	c  244s |      23 |  3858296 |  2942538 |      592  12297 |        0 |        0
246.22/246.33	c  246s |      23 |  3893042 |  2967838 |      592  12381 |        0 |        0
248.22/248.34	c  248s |      23 |  3924938 |  2991938 |      592  12460 |        0 |        0
250.21/250.34	c  250s |      23 |  3960713 |  3017938 |      592  12546 |        0 |        0
252.21/252.35	c  252s |      23 |  3999114 |  3044538 |      592  12635 |        0 |        0
254.21/254.35	c  254s |      23 |  4035916 |  3070638 |      592  12722 |        0 |        0
256.22/256.35	c  256s |      23 |  4073012 |  3096638 |      592  12808 |        0 |        0
258.21/258.35	c  258s |      23 |  4111197 |  3123338 |      592  12897 |        0 |        0
260.21/260.36	c  260s |      23 |  4147923 |  3149738 |      592  12985 |        0 |        0
262.21/262.37	c  262s |      23 |  4185309 |  3176338 |      592  13074 |        0 |        0
264.21/264.37	c  264s |      23 |  4221604 |  3202238 |      592  13160 |        0 |        0
266.22/266.38	c  266s |      23 |  4260237 |  3228938 |      592  13249 |        0 |        0
268.21/268.38	c  268s |      23 |  4295590 |  3254438 |      592  13334 |        0 |        0
270.20/270.39	c  270s |      23 |  4328210 |  3279438 |      592  13416 |        0 |        0
272.20/272.39	c  272s |      23 |  4359080 |  3304038 |      592  13498 |        0 |        0
274.21/274.39	c  274s |      23 |  4398363 |  3331238 |      592  13589 |        0 |        0
276.21/276.39	c  276s |      23 |  4430499 |  3355438 |      652  13668 |        0 |        0
278.11/278.23	c  278s |      24 |  4457085 |  3376662 |      652  13733 |        0 |        0
280.10/280.24	c  280s |      24 |  4489339 |  3399762 |      652  13802 |        0 |        0
282.10/282.24	c  282s |      24 |  4522744 |  3424262 |      652  13875 |        0 |        0
284.10/284.25	c  284s |      24 |  4556544 |  3448962 |      652  13950 |        0 |        0
286.10/286.25	c  286s |      24 |  4587747 |  3472462 |      652  14020 |        0 |        0
288.11/288.25	c  288s |      24 |  4620969 |  3496262 |      652  14092 |        0 |        0
290.10/290.25	c  290s |      24 |  4652359 |  3520662 |      652  14165 |        0 |        0
292.10/292.25	c  292s |      24 |  4682551 |  3544162 |      652  14236 |        0 |        0
294.10/294.26	c  294s |      24 |  4713192 |  3567462 |      652  14306 |        0 |        0
296.10/296.26	c  296s |      24 |  4742285 |  3590562 |      652  14376 |        0 |        0
298.10/298.27	c  298s |      24 |  4772215 |  3613862 |      652  14446 |        0 |        0
300.09/300.27	c  300s |      24 |  4802887 |  3637262 |      652  14516 |        0 |        0
302.09/302.28	c  302s |      24 |  4837459 |  3662562 |      652  14592 |        0 |        0
304.09/304.28	c  304s |      24 |  4869836 |  3686662 |      652  14664 |        0 |        0
306.09/306.28	c  306s |      24 |  4901378 |  3710862 |      652  14737 |        0 |        0
308.10/308.29	c  308s |      24 |  4939312 |  3737262 |      652  14817 |        0 |        0
310.10/310.29	c  310s |      24 |  4971362 |  3761162 |      652  14889 |        0 |        0
312.19/312.30	c  312s |      24 |  5006560 |  3786262 |      652  14965 |        0 |        0
314.19/314.31	c  314s |      24 |  5042837 |  3812462 |      652  15044 |        0 |        0
316.19/316.31	c  316s |      24 |  5082382 |  3838862 |      652  15124 |        0 |        0
318.19/318.32	c  318s |      24 |  5116007 |  3863362 |      652  15196 |        0 |        0
320.19/320.32	c  320s |      24 |  5146506 |  3886762 |      652  15266 |        0 |        0
322.19/322.33	c  322s |      24 |  5173071 |  3908162 |      652  15329 |        0 |        0
324.18/324.34	c  324s |      24 |  5199188 |  3929462 |      652  15393 |        0 |        0
326.18/326.34	c  326s |      24 |  5226254 |  3951062 |      652  15458 |        0 |        0
328.18/328.34	c  328s |      24 |  5255911 |  3973962 |      652  15527 |        0 |        0
330.18/330.35	c  330s |      24 |  5285225 |  3996862 |      652  15595 |        0 |        0
332.18/332.36	c  332s |      24 |  5314345 |  4019262 |      652  15661 |        0 |        0
334.18/334.36	c  334s |      24 |  5342963 |  4042162 |      652  15729 |        0 |        0
336.18/336.36	c  336s |      24 |  5374004 |  4065862 |      652  15801 |        0 |        0
338.18/338.36	c  338s |      24 |  5404670 |  4089462 |      652  15871 |        0 |        0
340.17/340.37	c  340s |      24 |  5436071 |  4113362 |      652  15943 |        0 |        0
342.17/342.37	c  342s |      24 |  5468105 |  4137662 |      652  16016 |        0 |        0
344.18/344.37	c  344s |      24 |  5498103 |  4161062 |      652  16087 |        0 |        0
346.18/346.38	c  346s |      24 |  5526626 |  4183662 |      652  16155 |        0 |        0
348.18/348.38	c  348s |      24 |  5554306 |  4205862 |      652  16221 |        0 |        0
350.17/350.38	c  350s |      24 |  5584438 |  4229262 |      652  16292 |        0 |        0
352.17/352.39	c  352s |      24 |  5611842 |  4251462 |      652  16359 |        0 |        0
354.27/354.40	c  354s |      24 |  5638890 |  4273562 |      652  16425 |        0 |        0
356.17/356.40	c  356s |      24 |  5670318 |  4297362 |      652  16497 |        0 |        0
358.27/358.41	c  358s |      24 |  5699908 |  4320362 |      652  16567 |        0 |        0
360.27/360.41	c  360s |      24 |  5730290 |  4343662 |      652  16637 |        0 |        0
362.27/362.42	c  362s |      24 |  5759815 |  4366662 |      652  16707 |        0 |        0
364.27/364.42	c  364s |      24 |  5795076 |  4391862 |      652  16783 |        0 |        0
366.27/366.42	c  366s |      24 |  5826591 |  4415562 |      652  16855 |        0 |        0
368.27/368.43	c  368s |      24 |  5859438 |  4439462 |      652  16928 |        0 |        0
370.26/370.43	c  370s |      24 |  5894758 |  4464562 |      652  17003 |        0 |        0
372.26/372.44	c  372s |      24 |  5929420 |  4490362 |      652  17082 |        0 |        0
374.27/374.44	c  374s |      24 |  5963126 |  4515062 |      652  17156 |        0 |        0
376.27/376.44	c  376s |      24 |  5998516 |  4541362 |      652  17236 |        0 |        0
378.27/378.45	c  378s |      24 |  6028281 |  4564762 |      652  17307 |        0 |        0
380.26/380.45	c  380s |      24 |  6054258 |  4586262 |      652  17371 |        0 |        0
382.26/382.45	c  382s |      24 |  6084137 |  4609562 |      652  17441 |        0 |        0
384.26/384.46	c  384s |      24 |  6113887 |  4632762 |      652  17512 |        0 |        0
386.26/386.46	c  386s |      24 |  6144641 |  4656762 |      652  17584 |        0 |        0
388.27/388.47	c  388s |      24 |  6173005 |  4679462 |      652  17653 |        0 |        0
390.26/390.47	c  390s |      24 |  6204244 |  4703262 |      652  17726 |        0 |        0
392.26/392.47	c  392s |      24 |  6232157 |  4725562 |      652  17793 |        0 |        0
394.26/394.48	c  394s |      24 |  6256009 |  4745762 |      652  17854 |        0 |        0
396.26/396.48	c  396s |      24 |  6287797 |  4770162 |      652  17928 |        0 |        0
398.26/398.49	c  398s |      24 |  6321665 |  4795562 |      652  18006 |        0 |        0
400.26/400.49	c  400s |      24 |  6354498 |  4820062 |      652  18080 |        0 |        0
402.36/402.50	c  402s |      24 |  6387210 |  4844562 |      652  18154 |        0 |        0
404.35/404.50	c  404s |      24 |  6416835 |  4868062 |      652  18225 |        0 |        0
406.35/406.50	c  406s |      24 |  6447444 |  4891962 |      652  18298 |        0 |        0
408.35/408.51	c  408s |      24 |  6482907 |  4917662 |      652  18376 |        0 |        0
410.35/410.51	c  410s |      24 |  6514181 |  4942562 |      652  18451 |        0 |        0
412.36/412.52	c  412s |      24 |  6548643 |  4968062 |      652  18529 |        0 |        0
414.35/414.52	c  414s |      24 |  6582949 |  4993362 |      652  18606 |        0 |        0
416.36/416.52	c  416s |      24 |  6619695 |  5019562 |      652  18686 |        0 |        0
418.36/418.53	c  418s |      24 |  6654547 |  5044862 |      718  18758 |        0 |        0
419.95/420.11	c  420s |      25 |  6682194 |  5065098 |      718  18814 |        0 |        0
421.95/422.12	c  422s |      25 |  6714318 |  5089398 |      718  18880 |        0 |        0
423.95/424.12	c  424s |      25 |  6743249 |  5111998 |      718  18941 |        0 |        0
425.95/426.12	c  426s |      25 |  6769280 |  5133498 |      718  18999 |        0 |        0
427.95/428.13	c  428s |      25 |  6797522 |  5155798 |      718  19060 |        0 |        0
429.96/430.13	c  430s |      25 |  6826419 |  5178098 |      718  19120 |        0 |        0
431.95/432.13	c  432s |      25 |  6855718 |  5200198 |      718  19180 |        0 |        0
433.95/434.13	c  434s |      25 |  6882976 |  5221898 |      718  19239 |        0 |        0
435.95/436.14	c  436s |      25 |  6910715 |  5243598 |      718  19299 |        0 |        0
437.95/438.14	c  438s |      25 |  6937823 |  5264998 |      718  19357 |        0 |        0
439.95/440.14	c  440s |      25 |  6967538 |  5287298 |      718  19418 |        0 |        0
441.95/442.15	c  442s |      25 |  6998166 |  5310098 |      718  19481 |        0 |        0
443.95/444.15	c  444s |      25 |  7026727 |  5332598 |      718  19542 |        0 |        0
445.95/446.15	c  446s |      25 |  7056580 |  5355298 |      718  19604 |        0 |        0
447.94/448.15	c  448s |      25 |  7082579 |  5376398 |      718  19661 |        0 |        0
449.94/450.16	c  450s |      25 |  7108588 |  5397598 |      718  19719 |        0 |        0
451.95/452.16	c  452s |      25 |  7135609 |  5419398 |      718  19779 |        0 |        0
453.94/454.16	c  454s |      25 |  7163273 |  5441498 |      718  19839 |        0 |        0
455.94/456.17	c  456s |      25 |  7189429 |  5463098 |      718  19898 |        0 |        0
457.94/458.17	c  458s |      25 |  7214376 |  5483998 |      718  19955 |        0 |        0
459.93/460.18	c  460s |      25 |  7240872 |  5505398 |      718  20013 |        0 |        0
461.94/462.19	c  462s |      25 |  7266551 |  5526298 |      718  20070 |        0 |        0
463.93/464.19	c  464s |      25 |  7293575 |  5548098 |      718  20129 |        0 |        0
466.03/466.20	c  466s |      25 |  7319452 |  5569298 |      718  20186 |        0 |        0
468.03/468.20	c  468s |      25 |  7342145 |  5588898 |      718  20240 |        0 |        0
470.03/470.21	c  470s |      25 |  7367643 |  5609398 |      718  20295 |        0 |        0
472.03/472.21	c  472s |      25 |  7394641 |  5630798 |      718  20354 |        0 |        0
474.03/474.22	c  474s |      25 |  7422272 |  5652498 |      718  20413 |        0 |        0
476.02/476.23	c  476s |      25 |  7448016 |  5673498 |      718  20470 |        0 |        0
478.02/478.23	c  478s |      25 |  7476540 |  5695498 |      718  20531 |        0 |        0
480.02/480.24	c  480s |      25 |  7502454 |  5716598 |      718  20588 |        0 |        0
482.02/482.24	c  482s |      25 |  7530744 |  5738498 |      718  20648 |        0 |        0
484.02/484.25	c  484s |      25 |  7555229 |  5758898 |      718  20704 |        0 |        0
486.02/486.26	c  486s |      25 |  7579226 |  5779398 |      718  20759 |        0 |        0
488.02/488.26	c  488s |      25 |  7602703 |  5799898 |      718  20815 |        0 |        0
490.01/490.26	c  490s |      25 |  7628113 |  5821198 |      718  20873 |        0 |        0
492.02/492.27	c  492s |      25 |  7655791 |  5843298 |      718  20933 |        0 |        0
494.02/494.27	c  494s |      25 |  7687630 |  5866998 |      718  20998 |        0 |        0
496.03/496.28	c  496s |      25 |  7718232 |  5890198 |      718  21061 |        0 |        0
498.02/498.29	c  498s |      25 |  7746983 |  5911998 |      718  21121 |        0 |        0
500.02/500.29	c  500s |      25 |  7772721 |  5932698 |      718  21178 |        0 |        0
502.12/502.30	c  502s |      25 |  7799567 |  5954298 |      718  21237 |        0 |        0
504.12/504.30	c  504s |      25 |  7827595 |  5976598 |      718  21298 |        0 |        0
506.11/506.30	c  506s |      25 |  7855720 |  5998598 |      718  21358 |        0 |        0
508.12/508.31	c  508s |      25 |  7883585 |  6020798 |      718  21419 |        0 |        0
510.11/510.32	c  510s |      25 |  7912063 |  6042998 |      718  21480 |        0 |        0
512.11/512.33	c  512s |      25 |  7941989 |  6065798 |      718  21542 |        0 |        0
514.11/514.33	c  514s |      25 |  7972057 |  6088298 |      718  21604 |        0 |        0
516.11/516.33	c  516s |      25 |  8000780 |  6110698 |      718  21665 |        0 |        0
518.11/518.33	c  518s |      25 |  8029676 |  6132498 |      718  21725 |        0 |        0
520.11/520.34	c  520s |      25 |  8055076 |  6152998 |      718  21781 |        0 |        0
522.10/522.34	c  522s |      25 |  8084628 |  6175198 |      718  21842 |        0 |        0
524.10/524.35	c  524s |      25 |  8110584 |  6195998 |      718  21898 |        0 |        0
526.10/526.36	c  526s |      25 |  8137709 |  6217298 |      718  21957 |        0 |        0
528.11/528.36	c  528s |      25 |  8167719 |  6239998 |      718  22019 |        0 |        0
530.11/530.37	c  530s |      25 |  8195420 |  6261298 |      718  22077 |        0 |        0
532.11/532.37	c  532s |      25 |  8223261 |  6282998 |      718  22136 |        0 |        0
534.10/534.38	c  534s |      25 |  8254901 |  6305898 |      718  22199 |        0 |        0
536.10/536.38	c  536s |      25 |  8283968 |  6328198 |      718  22260 |        0 |        0
538.10/538.39	c  538s |      25 |  8310872 |  6349598 |      718  22318 |        0 |        0
540.10/540.39	c  540s |      25 |  8340647 |  6372598 |      718  22381 |        0 |        0
542.11/542.40	c  542s |      25 |  8368748 |  6394498 |      718  22441 |        0 |        0
544.20/544.40	c  544s |      25 |  8398169 |  6417398 |      718  22504 |        0 |        0
546.20/546.40	c  546s |      25 |  8428713 |  6440098 |      718  22566 |        0 |        0
548.20/548.40	c  548s |      25 |  8459088 |  6462898 |      718  22629 |        0 |        0
550.19/550.41	c  550s |      25 |  8487823 |  6484798 |      718  22689 |        0 |        0
552.19/552.42	c  552s |      25 |  8513915 |  6505798 |      718  22747 |        0 |        0
554.20/554.42	c  554s |      25 |  8540411 |  6527098 |      718  22805 |        0 |        0
556.19/556.43	c  556s |      25 |  8566728 |  6548198 |      718  22862 |        0 |        0
558.20/558.43	c  558s |      25 |  8594675 |  6569998 |      718  22922 |        0 |        0
560.19/560.44	c  560s |      25 |  8623408 |  6591998 |      718  22982 |        0 |        0
562.19/562.44	c  562s |      25 |  8653963 |  6614998 |      718  23045 |        0 |        0
564.20/564.45	c  564s |      25 |  8682119 |  6637098 |      718  23105 |        0 |        0
566.19/566.45	c  566s |      25 |  8712311 |  6659998 |      718  23168 |        0 |        0
568.19/568.46	c  568s |      25 |  8743714 |  6682998 |      718  23231 |        0 |        0
570.18/570.46	c  570s |      25 |  8772947 |  6705398 |      718  23292 |        0 |        0
572.18/572.47	c  572s |      25 |  8803274 |  6727798 |      718  23354 |        0 |        0
574.18/574.48	c  574s |      25 |  8833907 |  6750898 |      718  23417 |        0 |        0
576.19/576.48	c  576s |      25 |  8868138 |  6775298 |      718  23484 |        0 |        0
578.18/578.49	c  578s |      25 |  8900379 |  6799098 |      718  23549 |        0 |        0
580.18/580.49	c  580s |      25 |  8931022 |  6822598 |      718  23613 |        0 |        0
582.17/582.49	c  582s |      25 |  8964669 |  6846898 |      718  23680 |        0 |        0
584.27/584.50	c  584s |      25 |  8997462 |  6870798 |      718  23746 |        0 |        0
586.27/586.50	c  586s |      25 |  9029438 |  6894298 |      718  23810 |        0 |        0
588.17/588.50	c  588s |      25 |  9061288 |  6918498 |      718  23876 |        0 |        0
590.27/590.50	c  590s |      25 |  9092867 |  6942498 |      718  23943 |        0 |        0
592.27/592.51	c  592s |      25 |  9123739 |  6966398 |      718  24009 |        0 |        0
594.27/594.51	c  594s |      25 |  9153999 |  6989698 |      718  24072 |        0 |        0
596.27/596.51	c  596s |      25 |  9183371 |  7012398 |      718  24135 |        0 |        0
598.27/598.52	c  598s |      25 |  9207636 |  7032798 |      718  24191 |        0 |        0
600.26/600.53	c  600s |      25 |  9236532 |  7055998 |      718  24254 |        0 |        0
602.27/602.53	c  602s |      25 |  9264286 |  7077798 |      718  24314 |        0 |        0
604.27/604.54	c  604s |      25 |  9292630 |  7099898 |      718  24374 |        0 |        0
606.27/606.55	c  606s |      25 |  9320334 |  7121498 |      718  24433 |        0 |        0
608.27/608.56	c  608s |      25 |  9348774 |  7143698 |      718  24494 |        0 |        0
610.27/610.56	c  610s |      25 |  9377520 |  7165998 |      718  24555 |        0 |        0
612.26/612.56	c  612s |      25 |  9406342 |  7188498 |      718  24617 |        0 |        0
614.26/614.57	c  614s |      25 |  9437052 |  7211698 |      718  24681 |        0 |        0
616.26/616.57	c  616s |      25 |  9467486 |  7234798 |      718  24744 |        0 |        0
618.26/618.57	c  618s |      25 |  9494961 |  7256498 |      718  24803 |        0 |        0
620.26/620.58	c  620s |      25 |  9523324 |  7278598 |      718  24864 |        0 |        0
622.26/622.58	c  622s |      25 |  9554925 |  7302198 |      718  24929 |        0 |        0
624.26/624.59	c  624s |      25 |  9581459 |  7323598 |      718  24987 |        0 |        0
626.25/626.59	c  626s |      25 |  9610604 |  7346298 |      718  25049 |        0 |        0
628.25/628.59	c  628s |      25 |  9642342 |  7369898 |      718  25114 |        0 |        0
630.35/630.60	c  630s |      25 |  9674767 |  7393798 |      718  25180 |        0 |        0
632.27/632.60	c  632s |      25 |  9707521 |  7417998 |      718  25246 |        0 |        0
634.36/634.60	c  634s |      25 |  9738272 |  7441398 |      718  25311 |        0 |        0
636.36/636.60	c  636s |      25 |  9769927 |  7464598 |      718  25375 |        0 |        0
638.36/638.61	c  638s |      25 |  9797158 |  7485998 |      718  25434 |        0 |        0
640.36/640.61	c  640s |      25 |  9825799 |  7508198 |      718  25495 |        0 |        0
642.36/642.62	c  642s |      25 |  9854450 |  7530698 |      718  25557 |        0 |        0
644.36/644.62	c  644s |      25 |  9885397 |  7553998 |      790  25619 |        0 |        0
646.36/646.62	c  646s |      25 |  9912920 |  7575998 |      790  25674 |        0 |        0
648.25/648.52	c  648s |      26 |  9941196 |  7597752 |      790  25728 |        0 |        0
650.25/650.53	c  650s |      26 |  9970469 |  7619252 |      790  25781 |        0 |        0
652.25/652.53	c  652s |      26 |  9997311 |  7640552 |      790  25834 |        0 |        0
654.26/654.54	c  654s |      26 | 10024980 |  7662252 |      790  25888 |        0 |        0
656.25/656.54	c  656s |      26 | 10052528 |  7683452 |      790  25941 |        0 |        0
658.25/658.55	c  658s |      26 | 10083780 |  7706852 |      790  25999 |        0 |        0
660.24/660.56	c  660s |      26 | 10114373 |  7729452 |      790  26055 |        0 |        0
662.24/662.56	c  662s |      26 | 10144610 |  7751452 |      790  26110 |        0 |        0
664.25/664.56	c  664s |      26 | 10175981 |  7774152 |      790  26166 |        0 |        0
666.24/666.57	c  666s |      26 | 10206359 |  7796452 |      790  26222 |        0 |        0
668.24/668.57	c  668s |      26 | 10236262 |  7818952 |      790  26277 |        0 |        0
670.24/670.58	c  670s |      26 | 10267327 |  7841952 |      790  26335 |        0 |        0
672.24/672.59	c  672s |      26 | 10295483 |  7863852 |      790  26389 |        0 |        0
674.24/674.59	c  674s |      26 | 10325407 |  7886052 |      790  26445 |        0 |        0
676.26/676.60	c  676s |      26 | 10354794 |  7908252 |      790  26500 |        0 |        0
678.35/678.60	c  678s |      26 | 10384124 |  7930452 |      790  26555 |        0 |        0
680.35/680.61	c  680s |      26 | 10415665 |  7953052 |      790  26612 |        0 |        0
682.35/682.61	c  682s |      26 | 10448337 |  7976552 |      790  26670 |        0 |        0
684.35/684.62	c  684s |      26 | 10479518 |  7999752 |      790  26728 |        0 |        0
686.35/686.62	c  686s |      26 | 10511315 |  8022952 |      790  26786 |        0 |        0
688.35/688.62	c  688s |      26 | 10544497 |  8046152 |      790  26844 |        0 |        0
690.35/690.63	c  690s |      26 | 10578301 |  8069152 |      790  26902 |        0 |        0
692.35/692.63	c  692s |      26 | 10610217 |  8092052 |      790  26959 |        0 |        0
694.35/694.63	c  694s |      26 | 10645234 |  8116252 |      790  27019 |        0 |        0
696.34/696.64	c  696s |      26 | 10676702 |  8139352 |      790  27077 |        0 |        0
698.35/698.65	c  698s |      26 | 10704830 |  8160752 |      790  27130 |        0 |        0
700.34/700.66	c  700s |      26 | 10729760 |  8181052 |      790  27180 |        0 |        0
702.34/702.66	c  702s |      26 | 10756812 |  8202252 |      790  27232 |        0 |        0
704.34/704.66	c  704s |      26 | 10784098 |  8223852 |      790  27286 |        0 |        0
706.34/706.67	c  706s |      26 | 10807914 |  8243752 |      790  27336 |        0 |        0
708.34/708.67	c  708s |      26 | 10835699 |  8265352 |      790  27390 |        0 |        0
710.34/710.67	c  710s |      26 | 10865429 |  8287652 |      790  27446 |        0 |        0
712.33/712.67	c  712s |      26 | 10896981 |  8310852 |      790  27504 |        0 |        0
714.34/714.68	c  714s |      26 | 10922430 |  8331852 |      790  27556 |        0 |        0
716.34/716.68	c  716s |      26 | 10949409 |  8353052 |      790  27609 |        0 |        0
718.34/718.69	c  718s |      26 | 10978869 |  8374952 |      790  27664 |        0 |        0
720.35/720.69	c  720s |      26 | 11008476 |  8397052 |      790  27719 |        0 |        0
722.34/722.69	c  722s |      26 | 11035820 |  8418152 |      790  27772 |        0 |        0
724.44/724.70	c  724s |      26 | 11059758 |  8438052 |      790  27821 |        0 |        0
726.44/726.70	c  726s |      26 | 11085382 |  8458452 |      790  27873 |        0 |        0
728.44/728.71	c  728s |      26 | 11112574 |  8479552 |      790  27926 |        0 |        0
730.44/730.72	c  730s |      26 | 11139573 |  8500352 |      790  27977 |        0 |        0
732.44/732.72	c  732s |      26 | 11169286 |  8522352 |      790  28032 |        0 |        0
734.43/734.72	c  734s |      26 | 11197219 |  8543252 |      790  28084 |        0 |        0
736.43/736.73	c  736s |      26 | 11226010 |  8564852 |      790  28137 |        0 |        0
738.43/738.73	c  738s |      26 | 11254167 |  8586552 |      790  28191 |        0 |        0
740.43/740.74	c  740s |      26 | 11280971 |  8607452 |      790  28244 |        0 |        0
742.43/742.75	c  742s |      26 | 11310997 |  8629852 |      790  28300 |        0 |        0
744.44/744.75	c  744s |      26 | 11337734 |  8651252 |      790  28353 |        0 |        0
746.43/746.75	c  746s |      26 | 11364063 |  8672452 |      790  28406 |        0 |        0
748.43/748.76	c  748s |      26 | 11390831 |  8693852 |      790  28459 |        0 |        0
750.43/750.77	c  750s |      26 | 11419400 |  8715952 |      790  28515 |        0 |        0
752.43/752.77	c  752s |      26 | 11450366 |  8738852 |      790  28572 |        0 |        0
754.44/754.77	c  754s |      26 | 11478238 |  8760652 |      790  28626 |        0 |        0
756.43/756.78	c  756s |      26 | 11506282 |  8782352 |      790  28680 |        0 |        0
758.43/758.78	c  758s |      26 | 11534304 |  8803852 |      790  28734 |        0 |        0
760.44/760.78	c  760s |      26 | 11562076 |  8825452 |      790  28788 |        0 |        0
762.44/762.79	c  762s |      26 | 11591354 |  8847752 |      790  28844 |        0 |        0
764.43/764.79	c  764s |      26 | 11618316 |  8869252 |      790  28897 |        0 |        0
766.44/766.80	c  766s |      26 | 11642856 |  8889552 |      790  28948 |        0 |        0
768.53/768.80	c  768s |      26 | 11671303 |  8911552 |      790  29003 |        0 |        0
770.53/770.81	c  770s |      26 | 11698808 |  8933052 |      790  29057 |        0 |        0
772.53/772.81	c  772s |      26 | 11725251 |  8954252 |      790  29110 |        0 |        0
774.53/774.81	c  774s |      26 | 11753393 |  8976052 |      790  29164 |        0 |        0
776.53/776.82	c  776s |      26 | 11780637 |  8997352 |      790  29218 |        0 |        0
778.54/778.82	c  778s |      26 | 11805727 |  9017352 |      790  29268 |        0 |        0
780.53/780.82	c  780s |      26 | 11833639 |  9038552 |      790  29320 |        0 |        0
782.53/782.82	c  782s |      26 | 11863025 |  9060552 |      790  29375 |        0 |        0
784.53/784.83	c  784s |      26 | 11889840 |  9081652 |      790  29428 |        0 |        0
786.52/786.84	c  786s |      26 | 11917631 |  9102952 |      790  29481 |        0 |        0
788.53/788.84	c  788s |      26 | 11949026 |  9125952 |      790  29538 |        0 |        0
790.52/790.84	c  790s |      26 | 11979948 |  9148852 |      790  29596 |        0 |        0
792.52/792.84	c  792s |      26 | 12010354 |  9171152 |      790  29651 |        0 |        0
794.52/794.85	c  794s |      26 | 12038787 |  9192752 |      790  29705 |        0 |        0
796.52/796.86	c  796s |      26 | 12067465 |  9214552 |      790  29760 |        0 |        0
798.52/798.86	c  798s |      26 | 12096899 |  9236552 |      790  29815 |        0 |        0
800.54/800.87	c  800s |      26 | 12123971 |  9258052 |      790  29868 |        0 |        0
802.53/802.87	c  802s |      26 | 12149708 |  9278352 |      790  29919 |        0 |        0
804.53/804.87	c  804s |      26 | 12177886 |  9299952 |      790  29973 |        0 |        0
806.53/806.88	c  806s |      26 | 12206163 |  9321352 |      790  30026 |        0 |        0
808.53/808.88	c  808s |      26 | 12235207 |  9343552 |      790  30081 |        0 |        0
810.53/810.89	c  810s |      26 | 12262781 |  9364952 |      790  30134 |        0 |        0
812.53/812.90	c  812s |      26 | 12292744 |  9387052 |      790  30189 |        0 |        0
814.63/814.90	c  814s |      26 | 12320114 |  9408552 |      790  30243 |        0 |        0
816.63/816.91	c  816s |      26 | 12345598 |  9428852 |      790  30294 |        0 |        0
818.63/818.92	c  818s |      26 | 12371586 |  9449452 |      790  30345 |        0 |        0
820.62/820.92	c  820s |      26 | 12394755 |  9468752 |      790  30393 |        0 |        0
822.63/822.92	c  822s |      26 | 12419002 |  9488452 |      790  30442 |        0 |        0
824.62/824.92	c  824s |      26 | 12444396 |  9508552 |      790  30492 |        0 |        0
826.62/826.93	c  826s |      26 | 12472263 |  9529652 |      790  30544 |        0 |        0
828.62/828.93	c  828s |      26 | 12501138 |  9551352 |      790  30598 |        0 |        0
830.62/830.93	c  830s |      26 | 12532541 |  9573652 |      790  30654 |        0 |        0
832.62/832.94	c  832s |      26 | 12560331 |  9595052 |      790  30707 |        0 |        0
834.63/834.95	c  834s |      26 | 12587137 |  9615952 |      790  30759 |        0 |        0
836.62/836.95	c  836s |      26 | 12613968 |  9636952 |      790  30812 |        0 |        0
838.62/838.95	c  838s |      26 | 12638216 |  9657152 |      790  30862 |        0 |        0
840.62/840.95	c  840s |      26 | 12666627 |  9678552 |      790  30915 |        0 |        0
842.62/842.96	c  842s |      26 | 12693378 |  9699252 |      790  30967 |        0 |        0
844.62/844.96	c  844s |      26 | 12717045 |  9718952 |      790  31016 |        0 |        0
846.62/846.97	c  846s |      26 | 12744861 |  9740252 |      790  31068 |        0 |        0
848.62/848.97	c  848s |      26 | 12771168 |  9761052 |      790  31120 |        0 |        0
850.62/850.98	c  850s |      26 | 12800248 |  9783052 |      790  31175 |        0 |        0
852.61/852.98	c  852s |      26 | 12825672 |  9803552 |      790  31226 |        0 |        0
854.61/854.99	c  854s |      26 | 12852717 |  9825052 |      790  31280 |        0 |        0
856.62/857.00	c  856s |      26 | 12881441 |  9847352 |      790  31335 |        0 |        0
858.71/859.00	c  858s |      26 | 12914579 |  9871352 |      790  31395 |        0 |        0
860.71/861.01	c  860s |      26 | 12944200 |  9893852 |      790  31452 |        0 |        0
862.71/863.02	c  863s |      26 | 12971374 |  9915352 |      790  31505 |        0 |        0
864.71/865.02	c  865s |      26 | 12998667 |  9936552 |      790  31558 |        0 |        0
866.71/867.03	c  867s |      26 | 13028333 |  9958652 |      790  31613 |        0 |        0
868.73/869.04	c  869s |      26 | 13056726 |  9979652 |      790  31665 |        0 |        0
870.72/871.04	c  871s |      26 | 13083320 | 10000452 |      790  31717 |        0 |        0
872.72/873.05	c  873s |      26 | 13114157 | 10023152 |      790  31774 |        0 |        0
874.72/875.05	c  875s |      26 | 13142148 | 10044752 |      790  31828 |        0 |        0
876.72/877.05	c  877s |      26 | 13170864 | 10066752 |      790  31883 |        0 |        0
878.72/879.06	c  879s |      26 | 13200097 | 10088952 |      790  31938 |        0 |        0
880.72/881.07	c  881s |      26 | 13227037 | 10110352 |      790  31991 |        0 |        0
882.71/883.07	c  883s |      26 | 13255580 | 10132352 |      790  32046 |        0 |        0
884.71/885.08	c  885s |      26 | 13282148 | 10153252 |      790  32098 |        0 |        0
886.71/887.08	c  887s |      26 | 13312585 | 10175852 |      790  32155 |        0 |        0
888.71/889.08	c  889s |      26 | 13342558 | 10198352 |      790  32211 |        0 |        0
890.72/891.09	c  891s |      26 | 13373280 | 10221352 |      790  32269 |        0 |        0
892.71/893.09	c  893s |      26 | 13405357 | 10244752 |      790  32327 |        0 |        0
894.81/895.10	c  895s |      26 | 13434565 | 10266752 |      790  32382 |        0 |        0
896.81/897.10	c  897s |      26 | 13464465 | 10288752 |      790  32437 |        0 |        0
898.81/899.11	c  899s |      26 | 13495341 | 10311552 |      790  32494 |        0 |        0
900.81/901.11	c  901s |      26 | 13524097 | 10333652 |      790  32550 |        0 |        0
902.82/903.11	c  903s |      26 | 13553090 | 10356052 |      790  32606 |        0 |        0
904.81/905.12	c  905s |      26 | 13581693 | 10377952 |      790  32661 |        0 |        0
906.81/907.12	c  907s |      26 | 13610324 | 10399652 |      790  32715 |        0 |        0
908.81/909.12	c  909s |      26 | 13638180 | 10421052 |      790  32768 |        0 |        0
910.81/911.13	c  911s |      26 | 13666489 | 10442852 |      790  32822 |        0 |        0
912.81/913.14	c  913s |      26 | 13693697 | 10464252 |      790  32876 |        0 |        0
914.81/915.14	c  915s |      26 | 13719500 | 10484952 |      790  32927 |        0 |        0
916.80/917.14	c  917s |      26 | 13743287 | 10504652 |      790  32976 |        0 |        0
918.80/919.14	c  919s |      26 | 13768970 | 10525052 |      790  33027 |        0 |        0
920.80/921.15	c  921s |      26 | 13796316 | 10545952 |      790  33078 |        0 |        0
922.80/923.15	c  923s |      26 | 13825197 | 10567652 |      790  33132 |        0 |        0
924.81/925.15	c  925s |      26 | 13854917 | 10590152 |      790  33188 |        0 |        0
926.80/927.15	c  927s |      26 | 13884416 | 10612752 |      790  33244 |        0 |        0
928.80/929.15	c  929s |      26 | 13912393 | 10634552 |      790  33299 |        0 |        0
930.80/931.16	c  931s |      26 | 13938419 | 10655552 |      790  33351 |        0 |        0
932.80/933.16	c  933s |      26 | 13967459 | 10677552 |      790  33406 |        0 |        0
934.81/935.17	c  935s |      26 | 13998307 | 10700452 |      790  33463 |        0 |        0
936.80/937.18	c  937s |      26 | 14028380 | 10723252 |      790  33520 |        0 |        0
938.81/939.18	c  939s |      26 | 14056402 | 10745352 |      790  33575 |        0 |        0
940.81/941.19	c  941s |      26 | 14081355 | 10765652 |      790  33625 |        0 |        0
942.80/943.19	c  943s |      26 | 14107404 | 10786252 |      790  33676 |        0 |        0
944.80/945.20	c  945s |      26 | 14134945 | 10808052 |      790  33731 |        0 |        0
946.81/947.20	c  947s |      26 | 14161317 | 10829552 |      790  33784 |        0 |        0
948.90/949.20	c  949s |      26 | 14189053 | 10851552 |      790  33838 |        0 |        0
950.90/951.21	c  951s |      26 | 14221824 | 10875352 |      790  33898 |        0 |        0
952.90/953.21	c  953s |      26 | 14253101 | 10898752 |      790  33957 |        0 |        0
954.90/955.22	c  955s |      26 | 14282703 | 10921352 |      790  34013 |        0 |        0
956.90/957.22	c  957s |      26 | 14308100 | 10942152 |      790  34065 |        0 |        0
958.91/959.22	c  959s |      26 | 14335323 | 10963552 |      790  34118 |        0 |        0
960.90/961.22	c  961s |      26 | 14363057 | 10984952 |      790  34172 |        0 |        0
962.90/963.22	c  963s |      26 | 14392263 | 11007152 |      790  34228 |        0 |        0
964.90/965.23	c  965s |      26 | 14420532 | 11028852 |      790  34282 |        0 |        0
966.90/967.24	c  967s |      26 | 14449586 | 11051352 |      790  34338 |        0 |        0
968.91/969.24	c  969s |      26 | 14482598 | 11074652 |      790  34396 |        0 |        0
970.90/971.24	c  971s |      26 | 14514918 | 11097952 |      790  34454 |        0 |        0
972.90/973.25	c  973s |      26 | 14549039 | 11122052 |      790  34515 |        0 |        0
974.90/975.25	c  975s |      26 | 14581754 | 11145452 |      790  34573 |        0 |        0
976.90/977.25	c  977s |      26 | 14613641 | 11168752 |      790  34632 |        0 |        0
978.90/979.26	c  979s |      26 | 14642393 | 11190952 |      790  34687 |        0 |        0
980.91/981.26	c  981s |      26 | 14673193 | 11214152 |      790  34745 |        0 |        0
982.90/983.27	c  983s |      26 | 14704421 | 11237652 |      790  34804 |        0 |        0
984.90/985.27	c  985s |      26 | 14737755 | 11261452 |      790  34864 |        0 |        0
986.90/987.28	c  987s |      26 | 14767171 | 11283452 |      790  34919 |        0 |        0
988.90/989.29	c  989s |      26 | 14795286 | 11304652 |      790  34971 |        0 |        0
990.90/991.29	c  991s |      26 | 14823568 | 11325752 |      870  35021 |        0 |        0
992.90/993.29	c  993s |      26 | 14851393 | 11346552 |      870  35068 |        0 |        0
994.89/995.30	c  995s |      26 | 14878390 | 11367352 |      870  35115 |        0 |        0
996.99/997.30	c  997s |      26 | 14904909 | 11387952 |      870  35162 |        0 |        0
997.79/998.17	c  998s |      27 | 14916402 | 11396733 |      870  35182 |        0 |        0
999.80/1000.18	c 1000s |      27 | 14946002 | 11419433 |      870  35233 |        0 |        0
1001.81/1002.19	c 1002s |      27 | 14975149 | 11441633 |      870  35283 |        0 |        0
1003.80/1004.19	c 1004s |      27 | 15005805 | 11464533 |      870  35335 |        0 |        0
1005.90/1006.20	c 1006s |      27 | 15035848 | 11486833 |      870  35386 |        0 |        0
1007.90/1008.20	c 1008s |      27 | 15063412 | 11508033 |      870  35433 |        0 |        0
1009.90/1010.20	c 1010s |      27 | 15090506 | 11528933 |      870  35481 |        0 |        0
1011.90/1012.20	c 1012s |      27 | 15118157 | 11550333 |      870  35529 |        0 |        0
1013.90/1014.20	c 1014s |      27 | 15145199 | 11571333 |      870  35577 |        0 |        0
1015.89/1016.21	c 1016s |      27 | 15172879 | 11593033 |      870  35626 |        0 |        0
1017.89/1018.21	c 1018s |      27 | 15201533 | 11614833 |      870  35675 |        0 |        0
1019.89/1020.22	c 1020s |      27 | 15233396 | 11638333 |      870  35729 |        0 |        0
1021.89/1022.23	c 1022s |      27 | 15261739 | 11659933 |      870  35778 |        0 |        0
1023.90/1024.23	c 1024s |      27 | 15286930 | 11680133 |      870  35823 |        0 |        0
1025.89/1026.23	c 1026s |      27 | 15312472 | 11700533 |      870  35869 |        0 |        0
1027.89/1028.23	c 1028s |      27 | 15338140 | 11720833 |      870  35915 |        0 |        0
1029.89/1030.23	c 1030s |      27 | 15362113 | 11740633 |      870  35960 |        0 |        0
1031.89/1032.23	c 1032s |      27 | 15385881 | 11760233 |      870  36004 |        0 |        0
1033.89/1034.24	c 1034s |      27 | 15411670 | 11780633 |      870  36050 |        0 |        0
1035.90/1036.24	c 1036s |      27 | 15438832 | 11801533 |      870  36097 |        0 |        0
1037.89/1038.25	c 1038s |      27 | 15467439 | 11823133 |      870  36146 |        0 |        0
1039.89/1040.25	c 1040s |      27 | 15492278 | 11842733 |      870  36190 |        0 |        0
1041.88/1042.26	c 1042s |      27 | 15517498 | 11862733 |      870  36236 |        0 |        0
1043.88/1044.27	c 1044s |      27 | 15544249 | 11882833 |      870  36281 |        0 |        0
1045.89/1046.27	c 1046s |      27 | 15571312 | 11903533 |      870  36328 |        0 |        0
1047.89/1048.27	c 1048s |      27 | 15598421 | 11924133 |      870  36375 |        0 |        0
1049.89/1050.27	c 1050s |      27 | 15623499 | 11944333 |      870  36420 |        0 |        0
1051.89/1052.27	c 1052s |      27 | 15648863 | 11964533 |      870  36466 |        0 |        0
1053.89/1054.27	c 1054s |      27 | 15674128 | 11984633 |      870  36511 |        0 |        0
1055.89/1056.28	c 1056s |      27 | 15699661 | 12005133 |      870  36558 |        0 |        0
1057.89/1058.29	c 1058s |      27 | 15727408 | 12026433 |      870  36606 |        0 |        0
1059.89/1060.29	c 1060s |      27 | 15754846 | 12047733 |      870  36654 |        0 |        0
1061.98/1062.30	c 1062s |      27 | 15780192 | 12068033 |      870  36700 |        0 |        0
1063.98/1064.30	c 1064s |      27 | 15807595 | 12089333 |      870  36748 |        0 |        0
1065.98/1066.30	c 1066s |      27 | 15835312 | 12110533 |      870  36796 |        0 |        0
1067.98/1068.30	c 1068s |      27 | 15863152 | 12131933 |      870  36845 |        0 |        0
1069.99/1070.31	c 1070s |      27 | 15891353 | 12153333 |      870  36893 |        0 |        0
1071.98/1072.32	c 1072s |      27 | 15918568 | 12174233 |      870  36941 |        0 |        0
1073.98/1074.32	c 1074s |      27 | 15944649 | 12194833 |      870  36987 |        0 |        0
1075.98/1076.32	c 1076s |      27 | 15969451 | 12214933 |      870  37033 |        0 |        0
1077.98/1078.33	c 1078s |      27 | 15995157 | 12235033 |      870  37078 |        0 |        0
1079.99/1080.34	c 1080s |      27 | 16019136 | 12254733 |      870  37122 |        0 |        0
1081.99/1082.34	c 1082s |      27 | 16045174 | 12275133 |      870  37168 |        0 |        0
1083.99/1084.35	c 1084s |      27 | 16071906 | 12296033 |      870  37215 |        0 |        0
1085.99/1086.35	c 1086s |      27 | 16097599 | 12316033 |      870  37260 |        0 |        0
1087.98/1088.35	c 1088s |      27 | 16123063 | 12336233 |      870  37306 |        0 |        0
1089.98/1090.35	c 1090s |      27 | 16151798 | 12357733 |      870  37355 |        0 |        0
1091.99/1092.35	c 1092s |      27 | 16179836 | 12379033 |      870  37403 |        0 |        0
1093.98/1094.36	c 1094s |      27 | 16208692 | 12400933 |      870  37452 |        0 |        0
1095.98/1096.37	c 1096s |      27 | 16235252 | 12421533 |      870  37499 |        0 |        0
1097.98/1098.37	c 1098s |      27 | 16263987 | 12443133 |      870  37548 |        0 |        0
1099.98/1100.38	c 1100s |      27 | 16290862 | 12464033 |      870  37596 |        0 |        0
1101.98/1102.39	c 1102s |      27 | 16315783 | 12483733 |      870  37640 |        0 |        0
1103.98/1104.39	c 1104s |      27 | 16343917 | 12505133 |      870  37689 |        0 |        0
1105.97/1106.39	c 1106s |      27 | 16369516 | 12525333 |      870  37735 |        0 |        0
1107.97/1108.39	c 1108s |      27 | 16394848 | 12545633 |      870  37781 |        0 |        0
1110.08/1110.40	c 1110s |      27 | 16422681 | 12567233 |      870  37830 |        0 |        0
1112.08/1112.40	c 1112s |      27 | 16450877 | 12588433 |      870  37878 |        0 |        0
1114.09/1114.40	c 1114s |      27 | 16477227 | 12609233 |      870  37925 |        0 |        0
1116.08/1116.40	c 1116s |      27 | 16506640 | 12631233 |      870  37975 |        0 |        0
1118.08/1118.41	c 1118s |      27 | 16537173 | 12653533 |      870  38025 |        0 |        0
1120.08/1120.42	c 1120s |      27 | 16565836 | 12675933 |      870  38076 |        0 |        0
1122.08/1122.42	c 1122s |      27 | 16596849 | 12698633 |      870  38128 |        0 |        0
1124.08/1124.43	c 1124s |      27 | 16627226 | 12720933 |      870  38178 |        0 |        0
1126.08/1126.43	c 1126s |      27 | 16656599 | 12742933 |      870  38228 |        0 |        0
1128.08/1128.44	c 1128s |      27 | 16685184 | 12764733 |      870  38278 |        0 |        0
1130.08/1130.44	c 1130s |      27 | 16717157 | 12787633 |      870  38330 |        0 |        0
1132.08/1132.45	c 1132s |      27 | 16747387 | 12810233 |      870  38381 |        0 |        0
1134.08/1134.45	c 1134s |      27 | 16775374 | 12831833 |      870  38430 |        0 |        0
1136.08/1136.46	c 1136s |      27 | 16804016 | 12853533 |      870  38480 |        0 |        0
1138.08/1138.46	c 1138s |      27 | 16833126 | 12875833 |      870  38531 |        0 |        0
1140.07/1140.46	c 1140s |      27 | 16864924 | 12898833 |      870  38583 |        0 |        0
1142.07/1142.47	c 1142s |      27 | 16896040 | 12922033 |      870  38636 |        0 |        0
1144.07/1144.48	c 1144s |      27 | 16926566 | 12944833 |      870  38687 |        0 |        0
1146.07/1146.48	c 1146s |      27 | 16956101 | 12967333 |      870  38739 |        0 |        0
1148.08/1148.49	c 1148s |      27 | 16984731 | 12989533 |      870  38789 |        0 |        0
1150.07/1150.49	c 1150s |      27 | 17013782 | 13011733 |      870  38840 |        0 |        0
1152.07/1152.49	c 1152s |      27 | 17045021 | 13035033 |      870  38893 |        0 |        0
1154.17/1154.50	c 1154s |      27 | 17078580 | 13058933 |      870  38948 |        0 |        0
1156.17/1156.50	c 1156s |      27 | 17111763 | 13082933 |      870  39002 |        0 |        0
1158.17/1158.50	c 1158s |      27 | 17143009 | 13106033 |      870  39055 |        0 |        0
1160.18/1160.51	c 1160s |      27 | 17173489 | 13129033 |      870  39108 |        0 |        0
1162.17/1162.51	c 1162s |      27 | 17204799 | 13152233 |      870  39160 |        0 |        0
1164.17/1164.52	c 1164s |      27 | 17236764 | 13175433 |      870  39214 |        0 |        0
1166.17/1166.52	c 1166s |      27 | 17269455 | 13198333 |      870  39266 |        0 |        0
1168.17/1168.53	c 1168s |      27 | 17301855 | 13221533 |      870  39319 |        0 |        0
1170.17/1170.53	c 1170s |      27 | 17333420 | 13244633 |      870  39371 |        0 |        0
1172.17/1172.54	c 1172s |      27 | 17363187 | 13267033 |      870  39423 |        0 |        0
1174.17/1174.54	c 1174s |      27 | 17392539 | 13289233 |      870  39473 |        0 |        0
1176.17/1176.55	c 1176s |      27 | 17419575 | 13310433 |      870  39522 |        0 |        0
1178.17/1178.55	c 1178s |      27 | 17445883 | 13331333 |      870  39569 |        0 |        0
1180.17/1180.55	c 1180s |      27 | 17474417 | 13353033 |      870  39619 |        0 |        0
1182.18/1182.56	c 1182s |      27 | 17503180 | 13375033 |      870  39669 |        0 |        0
1184.17/1184.56	c 1184s |      27 | 17529775 | 13396033 |      870  39717 |        0 |        0
1186.17/1186.57	c 1186s |      27 | 17556870 | 13417733 |      870  39766 |        0 |        0
1188.17/1188.57	c 1188s |      27 | 17583046 | 13438733 |      870  39814 |        0 |        0
1190.17/1190.58	c 1190s |      27 | 17608668 | 13459633 |      870  39862 |        0 |        0
1192.17/1192.58	c 1192s |      27 | 17636111 | 13481133 |      870  39911 |        0 |        0
1194.17/1194.58	c 1194s |      27 | 17663838 | 13502133 |      870  39959 |        0 |        0
1196.16/1196.59	c 1196s |      27 | 17694007 | 13523833 |      870  40008 |        0 |        0
1198.16/1198.59	c 1198s |      27 | 17725412 | 13546033 |      870  40058 |        0 |        0
1200.26/1200.60	c 1200s |      27 | 17752695 | 13566733 |      870  40105 |        0 |        0
1202.27/1202.60	c 1202s |      27 | 17781808 | 13588433 |      870  40154 |        0 |        0
1204.28/1204.61	c 1204s |      27 | 17805829 | 13607933 |      870  40198 |        0 |        0
1206.27/1206.61	c 1206s |      27 | 17830710 | 13627733 |      870  40243 |        0 |        0
1208.27/1208.61	c 1208s |      27 | 17856769 | 13647633 |      870  40288 |        0 |        0
1210.27/1210.61	c 1210s |      27 | 17884470 | 13668233 |      870  40334 |        0 |        0
1212.27/1212.61	c 1212s |      27 | 17912041 | 13689133 |      870  40382 |        0 |        0
1214.27/1214.61	c 1214s |      27 | 17939384 | 13710433 |      870  40430 |        0 |        0
1216.27/1216.62	c 1216s |      27 | 17965502 | 13730733 |      870  40476 |        0 |        0
1218.26/1218.62	c 1218s |      27 | 17997366 | 13752733 |      870  40526 |        0 |        0
1220.26/1220.63	c 1220s |      27 | 18026304 | 13774033 |      870  40574 |        0 |        0
1222.26/1222.63	c 1222s |      27 | 18055672 | 13796533 |      870  40625 |        0 |        0
1224.26/1224.63	c 1224s |      27 | 18083615 | 13817833 |      870  40674 |        0 |        0
1226.27/1226.63	c 1226s |      27 | 18113646 | 13839733 |      870  40723 |        0 |        0
1228.26/1228.64	c 1228s |      27 | 18142629 | 13861533 |      870  40773 |        0 |        0
1230.26/1230.64	c 1230s |      27 | 18173404 | 13883633 |      870  40823 |        0 |        0
1232.26/1232.65	c 1232s |      27 | 18206781 | 13907033 |      870  40876 |        0 |        0
1234.26/1234.65	c 1234s |      27 | 18237165 | 13929733 |      870  40927 |        0 |        0
1236.26/1236.65	c 1236s |      27 | 18268674 | 13952933 |      870  40980 |        0 |        0
1238.26/1238.66	c 1238s |      27 | 18298653 | 13975033 |      870  41030 |        0 |        0
1240.25/1240.67	c 1240s |      27 | 18324124 | 13995633 |      870  41077 |        0 |        0
1242.25/1242.67	c 1242s |      27 | 18352585 | 14017133 |      870  41125 |        0 |        0
1244.25/1244.67	c 1244s |      27 | 18383272 | 14039633 |      870  41177 |        0 |        0
1246.26/1246.68	c 1246s |      27 | 18411833 | 14061433 |      870  41226 |        0 |        0
1248.27/1248.69	c 1248s |      27 | 18439719 | 14083133 |      870  41276 |        0 |        0
1250.26/1250.69	c 1250s |      27 | 18469972 | 14105133 |      870  41325 |        0 |        0
1252.36/1252.70	c 1252s |      27 | 18497376 | 14126333 |      870  41374 |        0 |        0
1254.36/1254.70	c 1254s |      27 | 18525772 | 14147833 |      870  41422 |        0 |        0
1256.36/1256.70	c 1256s |      27 | 18556439 | 14170133 |      870  41473 |        0 |        0
1258.36/1258.70	c 1258s |      27 | 18586070 | 14192433 |      870  41524 |        0 |        0
1260.37/1260.71	c 1260s |      27 | 18614285 | 14213533 |      870  41572 |        0 |        0
1262.36/1262.72	c 1262s |      27 | 18640777 | 14233933 |      870  41618 |        0 |        0
1264.36/1264.72	c 1264s |      27 | 18667494 | 14254733 |      870  41665 |        0 |        0
1266.36/1266.73	c 1266s |      27 | 18696767 | 14277133 |      870  41716 |        0 |        0
1268.36/1268.74	c 1268s |      27 | 18723299 | 14298033 |      870  41764 |        0 |        0
1270.36/1270.74	c 1270s |      27 | 18750335 | 14319233 |      870  41812 |        0 |        0
1272.36/1272.74	c 1272s |      27 | 18779935 | 14341733 |      870  41863 |        0 |        0
1274.35/1274.75	c 1274s |      27 | 18808401 | 14363733 |      870  41913 |        0 |        0
1276.35/1276.75	c 1276s |      27 | 18836191 | 14385033 |      870  41961 |        0 |        0
1278.35/1278.75	c 1278s |      27 | 18864272 | 14406733 |      870  42010 |        0 |        0
1280.35/1280.76	c 1280s |      27 | 18893716 | 14428933 |      870  42061 |        0 |        0
1282.36/1282.76	c 1282s |      27 | 18923502 | 14451233 |      870  42111 |        0 |        0
1284.35/1284.76	c 1284s |      27 | 18949755 | 14472333 |      870  42159 |        0 |        0
1286.35/1286.76	c 1286s |      27 | 18978183 | 14494233 |      870  42209 |        0 |        0
1288.35/1288.77	c 1288s |      27 | 19007370 | 14516433 |      870  42259 |        0 |        0
1290.35/1290.77	c 1290s |      27 | 19037950 | 14539033 |      870  42311 |        0 |        0
1292.35/1292.77	c 1292s |      27 | 19068372 | 14561433 |      870  42361 |        0 |        0
1294.35/1294.77	c 1294s |      27 | 19096087 | 14582933 |      870  42410 |        0 |        0
1296.35/1296.77	c 1296s |      27 | 19122784 | 14604033 |      870  42458 |        0 |        0
1298.35/1298.77	c 1298s |      27 | 19147671 | 14624033 |      870  42503 |        0 |        0
1300.35/1300.77	c 1300s |      27 | 19172612 | 14644033 |      870  42549 |        0 |        0
1302.35/1302.77	c 1302s |      27 | 19200875 | 14665633 |      870  42597 |        0 |        0
1304.36/1304.78	c 1304s |      27 | 19227612 | 14686633 |      870  42645 |        0 |        0
1306.35/1306.78	c 1306s |      27 | 19255099 | 14707933 |      870  42694 |        0 |        0
1308.35/1308.78	c 1308s |      27 | 19281908 | 14728733 |      870  42741 |        0 |        0
1310.35/1310.79	c 1310s |      27 | 19309027 | 14749833 |      870  42789 |        0 |        0
1312.45/1312.80	c 1312s |      27 | 19336284 | 14771233 |      870  42837 |        0 |        0
1314.45/1314.80	c 1314s |      27 | 19365548 | 14793433 |      870  42888 |        0 |        0
1316.46/1316.81	c 1316s |      27 | 19392710 | 14814533 |      870  42936 |        0 |        0
1318.45/1318.81	c 1318s |      27 | 19418047 | 14835233 |      870  42982 |        0 |        0
1320.45/1320.82	c 1320s |      27 | 19445224 | 14856233 |      870  43030 |        0 |        0
1322.45/1322.83	c 1322s |      27 | 19473264 | 14877533 |      870  43078 |        0 |        0
1324.45/1324.84	c 1324s |      27 | 19502711 | 14899833 |      870  43129 |        0 |        0
1326.44/1326.84	c 1326s |      27 | 19532942 | 14922133 |      870  43179 |        0 |        0
1328.45/1328.84	c 1328s |      27 | 19561921 | 14944333 |      870  43229 |        0 |        0
1330.44/1330.85	c 1330s |      27 | 19590464 | 14966233 |      870  43279 |        0 |        0
1332.44/1332.85	c 1332s |      27 | 19619518 | 14988633 |      870  43330 |        0 |        0
1334.44/1334.86	c 1334s |      27 | 19648465 | 15010833 |      870  43380 |        0 |        0
1336.44/1336.86	c 1336s |      27 | 19680605 | 15034233 |      870  43433 |        0 |        0
1338.45/1338.86	c 1338s |      27 | 19713026 | 15057633 |      870  43487 |        0 |        0
1340.44/1340.87	c 1340s |      27 | 19743449 | 15080733 |      870  43539 |        0 |        0
1342.44/1342.87	c 1342s |      27 | 19773497 | 15103233 |      870  43590 |        0 |        0
1344.45/1344.88	c 1344s |      27 | 19804637 | 15126133 |      870  43642 |        0 |        0
1346.45/1346.88	c 1346s |      27 | 19836214 | 15149233 |      870  43694 |        0 |        0
1348.45/1348.89	c 1348s |      27 | 19863345 | 15170233 |      870  43741 |        0 |        0
1350.45/1350.90	c 1350s |      27 | 19891638 | 15191933 |      870  43790 |        0 |        0
1352.54/1352.91	c 1352s |      27 | 19916980 | 15211633 |      870  43834 |        0 |        0
1354.54/1354.91	c 1354s |      27 | 19944138 | 15232133 |      870  43881 |        0 |        0
1356.54/1356.91	c 1356s |      27 | 19974044 | 15254233 |      870  43931 |        0 |        0
1358.54/1358.92	c 1358s |      27 | 20001913 | 15275733 |      870  43979 |        0 |        0
1360.54/1360.92	c 1360s |      27 | 20034379 | 15298933 |      870  44032 |        0 |        0
1362.55/1362.93	c 1362s |      27 | 20064292 | 15321833 |      870  44083 |        0 |        0
1364.54/1364.94	c 1364s |      27 | 20095028 | 15344633 |      870  44135 |        0 |        0
1366.54/1366.95	c 1366s |      27 | 20120440 | 15365533 |      870  44181 |        1 |        0
1368.54/1368.95	c 1368s |      27 | 20143288 | 15384833 |      870  44224 |        1 |        0
1370.54/1370.95	c 1370s |      27 | 20164090 | 15402733 |      870  44264 |        1 |        0
1372.55/1372.96	c 1372s |      27 | 20188554 | 15422633 |      870  44309 |        1 |        0
1374.54/1374.96	c 1374s |      27 | 20214245 | 15443033 |      870  44355 |        1 |        0
1376.54/1376.96	c 1376s |      27 | 20238332 | 15462733 |      870  44399 |        1 |        0
1378.54/1378.97	c 1378s |      27 | 20265686 | 15484033 |      870  44447 |        1 |        0
1380.54/1380.97	c 1380s |      27 | 20292360 | 15505233 |      870  44495 |        1 |        0
1382.54/1382.98	c 1382s |      27 | 20315319 | 15524333 |      870  44538 |        1 |        0
1384.54/1384.98	c 1384s |      27 | 20339053 | 15544033 |      870  44582 |        1 |        0
1386.54/1386.98	c 1386s |      27 | 20361071 | 15562433 |      870  44624 |        1 |        0
1388.54/1388.99	c 1388s |      27 | 20385489 | 15581933 |      870  44667 |        1 |        0
1390.64/1391.00	c 1390s |      27 | 20409071 | 15601233 |      870  44711 |        1 |        0
1392.64/1393.00	c 1392s |      27 | 20432274 | 15620333 |      870  44754 |        1 |        0
1394.63/1395.01	c 1394s |      27 | 20455309 | 15639833 |      870  44797 |        1 |        0
1396.64/1397.01	c 1397s |      27 | 20478759 | 15659433 |      870  44842 |        1 |        0
1398.63/1399.02	c 1399s |      27 | 20502911 | 15678733 |      870  44885 |        1 |        0
1400.63/1401.02	c 1401s |      27 | 20530495 | 15699733 |      870  44933 |        1 |        0
1402.63/1403.02	c 1403s |      27 | 20558366 | 15721333 |      870  44982 |        1 |        0
1404.63/1405.02	c 1405s |      27 | 20585323 | 15742133 |      870  45029 |        1 |        0
1406.64/1407.03	c 1407s |      27 | 20611300 | 15762633 |      870  45075 |        1 |        0
1408.63/1409.03	c 1409s |      27 | 20637518 | 15783333 |      870  45122 |        1 |        0
1410.63/1411.04	c 1411s |      27 | 20663460 | 15803533 |      870  45168 |        1 |        0
1412.64/1413.05	c 1413s |      27 | 20686809 | 15822933 |      870  45212 |        1 |        0
1414.64/1415.06	c 1415s |      27 | 20712022 | 15843133 |      870  45257 |        1 |        0
1416.64/1417.06	c 1417s |      27 | 20739293 | 15864033 |      870  45305 |        1 |        0
1418.64/1419.07	c 1419s |      27 | 20762140 | 15883033 |      870  45348 |        1 |        0
1420.64/1421.07	c 1421s |      27 | 20787053 | 15903033 |      870  45393 |        1 |        0
1422.64/1423.07	c 1423s |      27 | 20811927 | 15923133 |      870  45439 |        1 |        0
1424.64/1425.08	c 1425s |      27 | 20839156 | 15944233 |      870  45487 |        1 |        0
1426.63/1427.08	c 1427s |      27 | 20864717 | 15964333 |      870  45532 |        1 |        0
1428.64/1429.09	c 1429s |      27 | 20891171 | 15985333 |      870  45580 |        1 |        0
1430.63/1431.09	c 1431s |      27 | 20918793 | 16006533 |      870  45628 |        1 |        0
1432.73/1433.10	c 1433s |      27 | 20943862 | 16027033 |      870  45674 |        1 |        0
1434.73/1435.10	c 1435s |      27 | 20968656 | 16047133 |      870  45720 |        1 |        0
1436.73/1437.11	c 1437s |      27 | 20993197 | 16066933 |      870  45764 |        1 |        0
1438.73/1439.11	c 1439s |      27 | 21020651 | 16087933 |      870  45812 |        1 |        0
1440.74/1441.12	c 1441s |      27 | 21046576 | 16108433 |      870  45858 |        1 |        0
1442.73/1443.13	c 1443s |      27 | 21069327 | 16127433 |      870  45901 |        1 |        0
1444.73/1445.14	c 1445s |      27 | 21091146 | 16145833 |      870  45942 |        1 |        0
1446.73/1447.15	c 1447s |      27 | 21117512 | 16166333 |      870  45988 |        1 |        0
1448.73/1449.15	c 1449s |      27 | 21145466 | 16187433 |      870  46036 |        1 |        0
1450.72/1451.16	c 1451s |      27 | 21172812 | 16208133 |      870  46083 |        1 |        0
1452.73/1453.17	c 1453s |      27 | 21199357 | 16228833 |      870  46130 |        1 |        0
1454.72/1455.17	c 1455s |      27 | 21227631 | 16250433 |      870  46178 |        1 |        0
1456.72/1457.17	c 1457s |      27 | 21256076 | 16272033 |      870  46228 |        1 |        0
1458.72/1459.17	c 1459s |      27 | 21281070 | 16292033 |      870  46273 |        1 |        0
1460.72/1461.18	c 1461s |      27 | 21308442 | 16313033 |      870  46321 |        1 |        0
1462.74/1463.19	c 1463s |      27 | 21334688 | 16333933 |      870  46368 |        1 |        0
1464.73/1465.19	c 1465s |      27 | 21359261 | 16353233 |      870  46411 |        1 |        0
1466.73/1467.19	c 1467s |      27 | 21385420 | 16373533 |      870  46457 |        1 |        0
1468.83/1469.20	c 1469s |      27 | 21412985 | 16394633 |      870  46505 |        1 |        0
1470.83/1471.20	c 1471s |      27 | 21442868 | 16417033 |      870  46555 |        1 |        0
1472.83/1473.21	c 1473s |      27 | 21471220 | 16438433 |      870  46604 |        1 |        0
1474.83/1475.21	c 1475s |      27 | 21497676 | 16459233 |      870  46651 |        1 |        0
1476.83/1477.22	c 1477s |      27 | 21524699 | 16480233 |      870  46698 |        1 |        0
1478.83/1479.22	c 1479s |      27 | 21546775 | 16498633 |      870  46740 |        1 |        0
1480.82/1481.23	c 1481s |      27 | 21572435 | 16519033 |      870  46786 |        1 |        0
1482.82/1483.23	c 1483s |      27 | 21597168 | 16539033 |      870  46831 |        1 |        0
1484.82/1485.23	c 1485s |      27 | 21622617 | 16559133 |      870  46877 |        1 |        0
1486.83/1487.24	c 1487s |      27 | 21648868 | 16579733 |      870  46923 |        1 |        0
1488.82/1489.24	c 1489s |      27 | 21675505 | 16600433 |      870  46970 |        1 |        0
1490.82/1491.25	c 1491s |      27 | 21703781 | 16622033 |      870  47019 |        1 |        0
1492.82/1493.26	c 1493s |      27 | 21733505 | 16644833 |      870  47071 |        1 |        0
1494.82/1495.26	c 1495s |      27 | 21762835 | 16667133 |      870  47122 |        1 |        0
1496.83/1497.27	c 1497s |      27 | 21793001 | 16689533 |      870  47173 |        1 |        0
1498.82/1499.27	c 1499s |      27 | 21822560 | 16711633 |      870  47224 |        1 |        0
1500.82/1501.27	c 1501s |      27 | 21852768 | 16733633 |      870  47274 |        1 |        0
1502.82/1503.28	c 1503s |      27 | 21881996 | 16755733 |      870  47324 |        1 |        0
1504.82/1505.29	c 1505s |      27 | 21908532 | 16776933 |      870  47372 |        1 |        0
1506.82/1507.29	c 1507s |      27 | 21936383 | 16798633 |      870  47422 |        1 |        0
1508.82/1509.30	c 1509s |      27 | 21964517 | 16820233 |      870  47471 |        1 |        0
1510.92/1511.30	c 1511s |      27 | 21991308 | 16841233 |      870  47518 |        1 |        0
1512.92/1513.30	c 1513s |      27 | 22019984 | 16862733 |      870  47567 |        1 |        0
1514.92/1515.31	c 1515s |      27 | 22046619 | 16883733 |      870  47614 |        1 |        0
1516.92/1517.31	c 1517s |      27 | 22073846 | 16905133 |      870  47663 |        1 |        0
1518.92/1519.32	c 1519s |      27 | 22098734 | 16925033 |      870  47708 |        1 |        0
1520.93/1521.32	c 1521s |      27 | 22125144 | 16945333 |      870  47753 |        1 |        0
1522.92/1523.32	c 1523s |      27 | 22151097 | 16966033 |      870  47800 |        1 |        0
1524.92/1525.33	c 1525s |      27 | 22176581 | 16986033 |      958  47842 |        1 |        0
1526.92/1527.34	c 1527s |      27 | 22204680 | 17007233 |      958  47886 |        1 |        0
1528.92/1529.34	c 1529s |      27 | 22231416 | 17027533 |      958  47928 |        1 |        0
1530.92/1531.35	c 1531s |      27 | 22260750 | 17048733 |      958  47971 |        1 |        0
1532.91/1533.36	c 1533s |      27 | 22289941 | 17070233 |      958  48016 |        1 |        0
1534.91/1535.37	c 1535s |      27 | 22317196 | 17091133 |      958  48059 |        1 |        0
1535.32/1535.73	c 1535s |      28 | 22322766 | 17095205 |      958  48067 |        1 |        0
1537.31/1537.74	c 1537s |      28 | 22349662 | 17115805 |      958  48109 |        1 |        0
1539.31/1539.74	c 1539s |      28 | 22377165 | 17136405 |      958  48152 |        1 |        0
1541.31/1541.75	c 1541s |      28 | 22405046 | 17157605 |      958  48195 |        1 |        0
1543.31/1543.75	c 1543s |      28 | 22432802 | 17178805 |      958  48239 |        1 |        0
1545.31/1545.75	c 1545s |      28 | 22464063 | 17201705 |      958  48286 |        1 |        0
1547.32/1547.76	c 1547s |      28 | 22494549 | 17224305 |      958  48332 |        1 |        0
1549.31/1549.76	c 1549s |      28 | 22522357 | 17245805 |      958  48377 |        1 |        0
1551.31/1551.76	c 1551s |      28 | 22550443 | 17267305 |      958  48421 |        1 |        0
1553.31/1553.76	c 1553s |      28 | 22577969 | 17288505 |      958  48465 |        1 |        0
1555.32/1555.77	c 1555s |      28 | 22606047 | 17309905 |      958  48509 |        1 |        0
1557.32/1557.77	c 1557s |      28 | 22631892 | 17330305 |      958  48551 |        1 |        0
1559.31/1559.78	c 1559s |      28 | 22655743 | 17349805 |      958  48591 |        1 |        0
1561.31/1561.78	c 1561s |      28 | 22680457 | 17369605 |      958  48632 |        1 |        0
1563.31/1563.79	c 1563s |      28 | 22700825 | 17387405 |      958  48669 |        1 |        0
1565.31/1565.79	c 1565s |      28 | 22725723 | 17407205 |      958  48710 |        1 |        0
1567.41/1567.80	c 1567s |      28 | 22751287 | 17427505 |      958  48751 |        1 |        0
1569.42/1569.81	c 1569s |      28 | 22778680 | 17448805 |      958  48795 |        1 |        0
1571.41/1571.81	c 1571s |      28 | 22806520 | 17469905 |      958  48839 |        1 |        0
1573.41/1573.82	c 1573s |      28 | 22832466 | 17490205 |      958  48880 |        1 |        0
1575.41/1575.82	c 1575s |      28 | 22856024 | 17509305 |      958  48920 |        1 |        0
1577.41/1577.83	c 1577s |      28 | 22880131 | 17528405 |      958  48959 |        1 |        0
1579.41/1579.83	c 1579s |      28 | 22904106 | 17547805 |      958  48999 |        1 |        0
1581.41/1581.84	c 1581s |      28 | 22928812 | 17567705 |      958  49039 |        1 |        0
1583.41/1583.85	c 1583s |      28 | 22954166 | 17587605 |      958  49080 |        1 |        0
1585.40/1585.85	c 1585s |      28 | 22978197 | 17606905 |      958  49120 |        1 |        0
1587.40/1587.86	c 1587s |      28 | 23002991 | 17626305 |      958  49160 |        1 |        0
1589.40/1589.87	c 1589s |      28 | 23027567 | 17646105 |      958  49201 |        1 |        0
1591.41/1591.88	c 1591s |      28 | 23051819 | 17665705 |      958  49242 |        1 |        0
1593.40/1593.89	c 1593s |      28 | 23076801 | 17685605 |      958  49282 |        1 |        0
1595.40/1595.90	c 1595s |      28 | 23102172 | 17705805 |      958  49324 |        1 |        0
1597.50/1597.90	c 1597s |      28 | 23127780 | 17726205 |      958  49366 |        1 |        0
1599.50/1599.90	c 1599s |      28 | 23158788 | 17748805 |      958  49413 |        1 |        0
1601.50/1601.90	c 1601s |      28 | 23188964 | 17771305 |      958  49460 |        1 |        0
1603.42/1603.90	c 1603s |      28 | 23217488 | 17793105 |      958  49505 |        1 |        0
1605.51/1605.91	c 1605s |      28 | 23243737 | 17813805 |      958  49548 |        1 |        0
1607.51/1607.92	c 1607s |      28 | 23269082 | 17833605 |      958  49588 |        1 |        0
1609.51/1609.93	c 1609s |      28 | 23295944 | 17854105 |      958  49630 |        1 |        0
1611.51/1611.93	c 1611s |      28 | 23323464 | 17874805 |      958  49673 |        1 |        0
1613.50/1613.93	c 1613s |      28 | 23348864 | 17895105 |      958  49715 |        1 |        0
1615.51/1615.94	c 1615s |      28 | 23373879 | 17915205 |      958  49756 |        1 |        0
1617.50/1617.94	c 1617s |      28 | 23399515 | 17936005 |      958  49799 |        1 |        0
1619.50/1619.95	c 1619s |      28 | 23428873 | 17958105 |      958  49845 |        1 |        0
1621.50/1621.96	c 1621s |      28 | 23457430 | 17979405 |      958  49888 |        1 |        0
1623.50/1623.97	c 1623s |      28 | 23484368 | 18000305 |      958  49932 |        1 |        0
1625.51/1625.97	c 1625s |      28 | 23510089 | 18020505 |      958  49973 |        1 |        0
1627.50/1627.97	c 1627s |      28 | 23536551 | 18041305 |      958  50016 |        1 |        0
1629.50/1629.98	c 1629s |      28 | 23566937 | 18063605 |      958  50062 |        1 |        0
1631.50/1631.99	c 1631s |      28 | 23593158 | 18084505 |      958  50105 |        1 |        0
1633.50/1633.99	c 1633s |      28 | 23621621 | 18105705 |      958  50149 |        1 |        0
1635.60/1636.00	c 1635s |      28 | 23648570 | 18126205 |      958  50191 |        1 |        0
1637.60/1638.00	c 1637s |      28 | 23675507 | 18146905 |      958  50234 |        1 |        0
1639.60/1640.01	c 1639s |      28 | 23705607 | 18168605 |      958  50279 |        1 |        0
1641.60/1642.01	c 1641s |      28 | 23732930 | 18189505 |      958  50322 |        1 |        0
1643.60/1644.02	c 1644s |      28 | 23759057 | 18210005 |      958  50364 |        1 |        0
1645.59/1646.02	c 1646s |      28 | 23783258 | 18229405 |      958  50404 |        1 |        0
1647.59/1648.03	c 1648s |      28 | 23809750 | 18250205 |      958  50447 |        1 |        0
1649.61/1650.03	c 1650s |      28 | 23838228 | 18271705 |      958  50491 |        1 |        0
1651.60/1652.04	c 1652s |      28 | 23864148 | 18292005 |      958  50533 |        1 |        0
1653.60/1654.05	c 1654s |      28 | 23890647 | 18312705 |      958  50576 |        1 |        0
1655.60/1656.05	c 1656s |      28 | 23916946 | 18333605 |      958  50619 |        1 |        0
1657.60/1658.05	c 1658s |      28 | 23942217 | 18353305 |      958  50659 |        1 |        0
1659.60/1660.06	c 1660s |      28 | 23968045 | 18373305 |      958  50700 |        1 |        0
1661.60/1662.06	c 1662s |      28 | 23993785 | 18393105 |      958  50741 |        1 |        0
1663.60/1664.06	c 1664s |      28 | 24020012 | 18413205 |      958  50782 |        1 |        0
1665.59/1666.07	c 1666s |      28 | 24049347 | 18434305 |      958  50826 |        1 |        0
1667.59/1668.07	c 1668s |      28 | 24077654 | 18455605 |      958  50869 |        1 |        0
1669.59/1670.08	c 1670s |      28 | 24107228 | 18477605 |      958  50915 |        1 |        0
1671.60/1672.08	c 1672s |      28 | 24136622 | 18499405 |      958  50960 |        1 |        0
1673.59/1674.08	c 1674s |      28 | 24163203 | 18519905 |      958  51002 |        1 |        0
1675.59/1676.08	c 1676s |      28 | 24190948 | 18540705 |      958  51045 |        1 |        0
1677.59/1678.08	c 1678s |      28 | 24218778 | 18562105 |      958  51089 |        1 |        0
1679.59/1680.09	c 1680s |      28 | 24248658 | 18584305 |      958  51135 |        1 |        0
1681.60/1682.09	c 1682s |      28 | 24277651 | 18606105 |      958  51179 |        1 |        0
1683.59/1684.10	c 1684s |      28 | 24307375 | 18628005 |      958  51225 |        1 |        0
1685.69/1686.11	c 1686s |      28 | 24333204 | 18648005 |      958  51266 |        1 |        0
1687.70/1688.11	c 1688s |      28 | 24357192 | 18667405 |      958  51305 |        1 |        0
1689.70/1690.11	c 1690s |      28 | 24383735 | 18687605 |      958  51347 |        1 |        0
1691.69/1692.12	c 1692s |      28 | 24410290 | 18707905 |      958  51389 |        1 |        0
1693.70/1694.13	c 1694s |      28 | 24436287 | 18727805 |      958  51430 |        1 |        0
1695.69/1696.13	c 1696s |      28 | 24462463 | 18748005 |      958  51471 |        1 |        0
1697.69/1698.14	c 1698s |      28 | 24489642 | 18769005 |      958  51515 |        1 |        0
1699.69/1700.14	c 1700s |      28 | 24515881 | 18789005 |      958  51556 |        1 |        0
1701.69/1702.15	c 1702s |      28 | 24541359 | 18808705 |      958  51596 |        1 |        0
1703.69/1704.16	c 1704s |      28 | 24566240 | 18828305 |      958  51636 |        2 |        0
1705.70/1706.16	c 1706s |      28 | 24593400 | 18849105 |      958  51679 |        2 |        0
1707.69/1708.17	c 1708s |      28 | 24623185 | 18870605 |      958  51723 |        2 |        0
1709.69/1710.17	c 1710s |      28 | 24653891 | 18892605 |      958  51768 |        2 |        0
1711.69/1712.18	c 1712s |      28 | 24684772 | 18915005 |      958  51815 |        2 |        0
1713.69/1714.19	c 1714s |      28 | 24712718 | 18936405 |      958  51859 |        2 |        0
1715.79/1716.20	c 1716s |      28 | 24738081 | 18956705 |      958  51900 |        2 |        0
1717.79/1718.20	c 1718s |      28 | 24764324 | 18977105 |      958  51942 |        2 |        0
1719.79/1720.21	c 1720s |      28 | 24791926 | 18998205 |      958  51986 |        2 |        0
1721.79/1722.21	c 1722s |      28 | 24822588 | 19020305 |      958  52031 |        2 |        0
1723.79/1724.22	c 1724s |      28 | 24852543 | 19042105 |      958  52076 |        2 |        0
1725.78/1726.23	c 1726s |      28 | 24882947 | 19064605 |      958  52123 |        2 |        0
1727.79/1728.23	c 1728s |      28 | 24910450 | 19085905 |      958  52167 |        2 |        0
1729.78/1730.23	c 1730s |      28 | 24935694 | 19106405 |      958  52209 |        2 |        0
1731.78/1732.24	c 1732s |      28 | 24963161 | 19127405 |      958  52252 |        2 |        0
1733.78/1734.25	c 1734s |      28 | 24991272 | 19148605 |      958  52296 |        2 |        0
1735.78/1736.25	c 1736s |      28 | 25015220 | 19168205 |      958  52336 |        2 |        0
1737.78/1738.26	c 1738s |      28 | 25042717 | 19189405 |      958  52380 |        2 |        0
1739.79/1740.26	c 1740s |      28 | 25068837 | 19209705 |      958  52422 |        2 |        0
1741.78/1742.26	c 1742s |      28 | 25093286 | 19229505 |      958  52463 |        2 |        0
1743.78/1744.27	c 1744s |      28 | 25117486 | 19249005 |      958  52503 |        2 |        0
1745.78/1746.27	c 1746s |      28 | 25145889 | 19270505 |      958  52547 |        2 |        0
1747.78/1748.28	c 1748s |      28 | 25176357 | 19292505 |      958  52592 |        2 |        0
1749.79/1750.28	c 1750s |      28 | 25207323 | 19315105 |      958  52639 |        2 |        0
1751.78/1752.29	c 1752s |      28 | 25238534 | 19337805 |      958  52685 |        2 |        0
1753.89/1754.30	c 1754s |      28 | 25267044 | 19359305 |      958  52729 |        2 |        0
1755.89/1756.30	c 1756s |      28 | 25294481 | 19380605 |      958  52773 |        2 |        0
1757.88/1758.31	c 1758s |      28 | 25321016 | 19401405 |      958  52816 |        2 |        0
1759.88/1760.32	c 1760s |      28 | 25349749 | 19423205 |      958  52860 |        3 |        0
1761.89/1762.32	c 1762s |      28 | 25374112 | 19442705 |      958  52900 |        3 |        0
1763.88/1764.32	c 1764s |      28 | 25405013 | 19464705 |      958  52945 |        3 |        0
1765.88/1766.33	c 1766s |      28 | 25431386 | 19484905 |      958  52986 |        3 |        0
1767.88/1768.33	c 1768s |      28 | 25459795 | 19506205 |      958  53030 |        3 |        0
1769.88/1770.34	c 1770s |      28 | 25490585 | 19528405 |      958  53076 |        3 |        0
1771.88/1772.34	c 1772s |      28 | 25513934 | 19547405 |      958  53115 |        3 |        0
1773.89/1774.35	c 1774s |      28 | 25533188 | 19564205 |      958  53149 |        3 |        0
1775.88/1776.36	c 1776s |      28 | 25553455 | 19581605 |      958  53184 |        3 |        0
1777.88/1778.36	c 1778s |      28 | 25573345 | 19598805 |      958  53220 |        3 |        0
1779.88/1780.37	c 1780s |      28 | 25597804 | 19618105 |      958  53259 |        3 |        0
1781.88/1782.37	c 1782s |      28 | 25621943 | 19637205 |      958  53298 |        3 |        0
1783.88/1784.38	c 1784s |      28 | 25644984 | 19656205 |      958  53337 |        3 |        0
1785.88/1786.38	c 1786s |      28 | 25669740 | 19675905 |      958  53378 |        3 |        0
1787.88/1788.39	c 1788s |      28 | 25693030 | 19695005 |      958  53417 |        3 |        0
1789.88/1790.39	c 1790s |      28 | 25716280 | 19714105 |      958  53457 |        3 |        0
1791.97/1792.40	c 1792s |      28 | 25740577 | 19733905 |      958  53497 |        3 |        0
1793.97/1794.40	c 1794s |      28 | 25762057 | 19752405 |      958  53535 |        3 |        0
1795.98/1796.41	c 1796s |      28 | 25786873 | 19772305 |      958  53576 |        3 |        0
1797.97/1798.42	c 1798s |      28 | 25812845 | 19792605 |      958  53617 |        3 |        0
1799.97/1800.42	c 1800s |      28 | 25838734 | 19812905 |      958  53659 |        3 |        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-4120850-1467312424/watcher-4120850-1467312424 -o /tmp/evaluation-result-4120850-1467312424/solver-4120850-1467312424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120850-1467312424.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.30 2.20 3/179 23657
/proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 2419 0 0 0 0 0 0 0 20 0 4 0 12193555 668397568 3292 33554432000 4194304 16246674 140736708007648 140736708007072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 163695 3302 441 2943 0 160589 0
[pid=23657/tid=23658] ppid=23654 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 686223360 3362 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 690417664 3379 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 695660544 3396 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.39 2.30 2.20 3/179 23657
/proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 24828 0 0 0 5 4 0 0 20 0 4 0 12193555 1247350784 25690 33554432000 4194304 16246674 140736708007648 140736708007072 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 304529 25698 709 2943 0 301423 0
[pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25703 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25710 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 25718 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 2.39 2.30 2.20 3/179 23657
/proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 47693 0 0 0 12 7 0 0 20 0 4 0 12193555 1247350784 48554 33554432000 4194304 16246674 140736708007648 140736707989568 5828874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 304529 48563 709 2943 0 301423 0
[pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48571 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48579 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 48585 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.39 2.30 2.20 3/179 23657
/proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 70633 0 0 0 17 12 0 0 20 0 4 0 12193555 1247350784 71494 33554432000 4194304 16246674 140736708007648 140736707989568 5708022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 304529 71506 709 2943 0 301423 0
[pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71513 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71523 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 71529 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.39 2.30 2.20 3/179 23657
/proc/meminfo: memFree=27240572/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 161843 0 0 0 45 23 0 0 20 0 4 0 12193555 1247350784 162705 33554432000 4194304 16246674 140736708007648 140736707989568 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 304529 162716 709 2943 0 301423 0
[pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162722 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162730 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 162736 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.39 2.30 2.20 3/183 23661
/proc/meminfo: memFree=26256952/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 245470 0 0 0 112 36 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140736707990648 6836165 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 304529 246311 784 2943 0 301423 0
[pid=23657/tid=23658] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1247350784 246311 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.39 2.30 2.20 3/183 23661
/proc/meminfo: memFree=26168160/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267394 0 0 0 269 39 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140736707989568 8224811 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268235 784 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268235 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.36 2.29 2.20 4/183 23661
/proc/meminfo: memFree=26168672/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267399 0 0 0 589 39 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140736707990648 5822592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268240 784 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268240 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.41 2.31 2.21 3/183 23661
/proc/meminfo: memFree=26169028/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267402 0 0 0 1229 40 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140736707989568 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268243 784 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268243 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.40 2.31 2.21 4/183 23661
/proc/meminfo: memFree=26169208/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267421 0 0 0 2508 40 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140736707990648 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268262 784 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268262 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.30 2.20 4/183 23661
/proc/meminfo: memFree=26168812/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267429 0 0 0 5067 41 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140736707989568 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268271 786 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268271 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.41 2.33 2.22 4/183 23662
/proc/meminfo: memFree=26168484/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1306180 CPUtime=102.26 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267450 0 0 0 10184 42 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140736707989568 5516736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326545 268277 787 2943 0 323439 0
[pid=23657/tid=23658] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1337528320 268277 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1306180


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

/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/183 23961
/proc/meminfo: memFree=26163512/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1361.94 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 136122 72 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5823271 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268437 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.32 2.30 2.27 3/184 23965
/proc/meminfo: memFree=26164208/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1421.94 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 142121 73 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5523513 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268437 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 23966
/proc/meminfo: memFree=26163980/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1481.92 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267865 0 0 0 148118 74 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140736707990648 5677164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268437 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268437 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.38 2.31 2.28 3/183 23967
/proc/meminfo: memFree=26164028/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1541.92 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267930 0 0 0 154117 75 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140736707989568 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268502 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268502 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/183 23968
/proc/meminfo: memFree=26163920/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1601.91 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 160114 77 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/183 23970
/proc/meminfo: memFree=26163428/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1661.9 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 166112 78 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 12875392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.42 2.33 2.28 3/183 23971
/proc/meminfo: memFree=26163444/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1721.89 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 172110 79 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.43 2.35 2.28 4/183 23972
/proc/meminfo: memFree=26163080/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1781.88 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 178108 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707990648 13928272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.33 2.28 3/183 23972
/proc/meminfo: memFree=26163324/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 179927 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 6009987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 23657 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.31 2.33 2.28 3/183 23972
/proc/meminfo: memFree=26163324/32872528 swapFree=1459604/1655828
[pid=23657] ppid=23654 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/23657/stat : 23657 (toysat) R 23654 23657 22681 0 -1 4202496 267958 0 0 0 179927 80 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140736707989568 6009987 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23657/statm: 326801 268530 789 2943 0 323695 0
[pid=23657/tid=23658] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23658/stat : 23658 (toysat) S 23654 23657 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504580730096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23657/tid=23659] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23659/stat : 23659 (toysat) S 23654 23657 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504570240240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23657/tid=23660] ppid=23654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23657/task/23660/stat : 23660 (toysat) S 23654 23657 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12193555 1338576896 268530 33554432000 4194304 16246674 140736708007648 140504486374576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.28
CPU system time (s): 0.806877
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.806877
maximum resident set size= 1074120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267958
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= 288
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66229 second user time and 6.90795 second system time

The end

Begin job on node136 at 2016-06-30 20:47:04
IDJOB=4120850
IDBENCH=110160
IDSOLVER=2542
FILE ID=node136/4120850-1467312424
RUNJOBID= node136-1467309401-22697
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120850-1467312424/watcher-4120850-1467312424 -o /tmp/evaluation-result-4120850-1467312424/solver-4120850-1467312424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120850-1467312424.opb

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

MD5SUM BENCH= 969b3984a3fd48c2c26e12fbd87dc505
RANDOM SEED=1306827538

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27241472 kB
Buffers:          193700 kB
Cached:          1930824 kB
SwapCached:            0 kB
Active:          1485820 kB
Inactive:        1739456 kB
Active(anon):    1103304 kB
Inactive(anon):        0 kB
Active(file):     382516 kB
Inactive(file):  1739456 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2830500 kB
Mapped:            17136 kB
Shmem:               204 kB
Slab:             614968 kB
SReclaimable:      59124 kB
SUnreclaim:       555844 kB
KernelStack:        1520 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2891696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1355776 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= 71612 MiB
End job on node136 at 2016-06-30 21:17:04