0.00/0.00	c 2016-06-16T18:51:37+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-4095798-1466095897.opb"]
0.00/0.01	c use --random-gen="127521687 1671097359 2490479140 377855618 1052747167 704763241 1127471010 1900852622 2582139644 2295870094 2037182932 2241968953 2892225348 747121231 2693298987 4281127979 2107297449 2486039933 255065995 513470400 1075625254 2567601748 618790676 43633917 602823841 4293042793 1799592038 1814308787 2907697653 2297287322 1585911259 3930633045 3172747894 366647390 2512427590 1669673064 1575943127 1604178506 943622886 3866594573 157045466 3054446891 3494189712 3348586988 1847438460 494003780 1800084302 3882335870 3814846327 3153496416 793332378 2834174857 3046736880 2640893311 2012655453 3155854055 4125993837 2752153595 2952185830 138853041 1807224284 2197545449 2128466611 1870553987 1247128025 901132027 996971417 1857294377 743381305 4172177642 1096874300 1274369573 4120985493 695732439 3839848024 3307042679 2038107389 658471728 1133578972 3353605543 4266906138 2173206823 2604688154 2601686796 231643576 2133994819 2157305746 2847113435 1126581314 44652501 909347163 1466158104 2111378266 3484086236 411250417 3134384420 2562529835 3943390036 1502705160 418237979 3146328059 636044820 2073202721 3408392235 1500329599 2595291001 935832335 4212066037 3445907553 3921010882 3928600545 1318811850 4283490 3884948668 3563515719 2255724882 1044980525 4157551349 2522673060 2889120353 2765309768 2679648615 3857667124 3964203795 3742787054 791237636 409436819 2885504000 2456878653 1176016224 708396452 1798523694 1145637231 1381867730 2194200322 3174989393 355152511 130938605 1101377224 1699008053 3133619488 2718681368 2035554808 2238987282 2662880807 1295946501 1701702789 845665483 4060494083 2769982430 3211977301 502858530 2441770838 1012788091 93191189 1152032006 1477060817 1855017980 1162915152 2176436885 657328822 720842708 1492108056 3582526347 4247682084 3173726504 331548846 2334134602 2616149982 2729431037 3348323843 80542340 595530740 2384973373 1148510241 251678098 4168715200 2852805729 4065605284 1992115893 3513748352 3045873689 2187403843 2766327385 1502944311 1454865955 1675654615 1401159300 182937606 4146508516 1730160809 1388330585 944370984 2957236861 2739990794 4251522503 446617156 3690011079 3837775794 3243387757 3621247766 4104016562 4095641333 4178189821 1064199372 2441415032 348665806 2177434989 3691152661 3169630360 215016437 1002121442 1459140217 1963760947 3830818582 3051150711 2060427945 3926253657 2396427256 3082741048 2014769950 3526153603 803169410 4233069562 2378512594 3722291617 603935275 2063832066 88146802 2687964313 2603059645 3568715915 2542129503 4023804904 312494663 2474926739 3012953482 222434076 1172290451 656104619 326141184 2208192507 3675582782 2771155900 31981633 1777068295 3467394238 1086533649 211613386 2544265864 3995001059 2557302898 1144752620 1888146883 1055956003 517657367 255 362436" option to reproduce the execution
0.00/0.01	c #vars 121
0.00/0.01	c #constraints 60
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 |       60      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      174 |      100 |       60      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      366 |      250 |       66      4 |        0 |        0
0.00/0.06	c  0.0s |       3 |      684 |      475 |       73      8 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1127 |      813 |       81     15 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2245 |     1320 |       90     23 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3371 |     2081 |      111     32 |        0 |        0
0.29/0.31	c  0.3s |       7 |     5043 |     3223 |      123     48 |        0 |        0
0.39/0.47	c  0.5s |       8 |     7734 |     4936 |      136     69 |        0 |        0
0.68/0.70	c  0.7s |       9 |    12019 |     7506 |      150    100 |        0 |        0
0.98/1.03	c  1.0s |      10 |    18518 |    11361 |      165    141 |        0 |        0
1.39/1.42	c  1.4s |      11 |    27385 |    17144 |      182    201 |        0 |        0
1.89/1.99	c  2.0s |      12 |    39336 |    25819 |      201    284 |        0 |        0
2.79/2.89	c  2.9s |      13 |    59043 |    38832 |      222    396 |        0 |        0
4.29/4.33	c  4.3s |      14 |    86053 |    58352 |      245    550 |        0 |        0
6.29/6.33	c  6.3s |      14 |   126532 |    86852 |      245    758 |        0 |        0
6.39/6.40	c  6.4s |      15 |   127464 |    87632 |      270    763 |        0 |        0
8.38/8.40	c  8.4s |      15 |   167485 |   115932 |      270    953 |        0 |        0
9.38/9.44	c  9.4s |      16 |   189461 |   131552 |      297   1059 |        0 |        0
11.38/11.45	c 11.4s |      16 |   228795 |   160652 |      297   1240 |        0 |        0
13.38/13.45	c 13.4s |      16 |   268720 |   189952 |      297   1422 |        0 |        0
13.98/14.05	c 14.0s |      17 |   278122 |   197432 |      327   1466 |        0 |        0
15.98/16.05	c 16.0s |      17 |   317992 |   226932 |      327   1629 |        0 |        0
17.98/18.06	c 18.0s |      17 |   359332 |   257332 |      327   1800 |        0 |        0
19.98/20.06	c 20.1s |      17 |   397857 |   286732 |      327   1962 |        0 |        0
20.58/20.68	c 20.7s |      18 |   411675 |   296252 |      360   2014 |        0 |        0
22.58/22.69	c 22.7s |      18 |   453043 |   323352 |      360   2153 |        0 |        0
24.58/24.69	c 24.7s |      18 |   495189 |   351052 |      360   2296 |        0 |        0
26.68/26.70	c 26.7s |      18 |   536258 |   378052 |      360   2436 |        0 |        0
28.59/28.70	c 28.7s |      18 |   580331 |   405852 |      360   2581 |        0 |        0
30.68/30.71	c 30.7s |      18 |   620945 |   432952 |      360   2720 |        0 |        0
31.59/31.63	c 31.6s |      19 |   636477 |   444482 |      397   2777 |        0 |        0
33.59/33.63	c 33.6s |      19 |   673571 |   471882 |      397   2905 |        0 |        0
35.58/35.63	c 35.6s |      19 |   711825 |   499882 |      397   3037 |        0 |        0
37.58/37.63	c 37.6s |      19 |   748195 |   526182 |      397   3162 |        0 |        0
39.59/39.64	c 39.6s |      19 |   788324 |   553682 |      397   3292 |        0 |        0
41.58/41.65	c 41.6s |      19 |   826373 |   580482 |      397   3420 |        0 |        0
43.58/43.65	c 43.6s |      19 |   864092 |   606082 |      397   3539 |        0 |        0
45.58/45.65	c 45.6s |      19 |   903554 |   633282 |      397   3668 |        0 |        0
47.58/47.66	c 47.6s |      19 |   942894 |   660782 |      397   3800 |        0 |        0
48.08/48.11	c 48.1s |      20 |   951243 |   666827 |      437   3826 |        0 |        0
50.07/50.11	c 50.1s |      20 |   988599 |   695027 |      437   3949 |        0 |        0
52.08/52.12	c 52.1s |      20 |  1026212 |   723027 |      437   4070 |        0 |        0
54.08/54.12	c 54.1s |      20 |  1063717 |   750527 |      437   4190 |        0 |        0
56.09/56.12	c 56.1s |      20 |  1098400 |   776327 |      437   4303 |        0 |        0
58.08/58.12	c 58.1s |      20 |  1132656 |   801827 |      437   4412 |        0 |        0
60.08/60.12	c 60.1s |      20 |  1165592 |   826627 |      437   4517 |        0 |        0
62.08/62.13	c 62.1s |      20 |  1203645 |   855127 |      437   4642 |        0 |        0
64.08/64.14	c 64.1s |      20 |  1244607 |   883827 |      437   4768 |        0 |        0
66.08/66.14	c 66.1s |      20 |  1287235 |   912427 |      437   4893 |        0 |        0
68.08/68.15	c 68.1s |      20 |  1328719 |   941327 |      437   5020 |        0 |        0
70.07/70.15	c 70.1s |      20 |  1364398 |   968327 |      437   5137 |        0 |        0
72.07/72.16	c 72.1s |      20 |  1399680 |   995527 |      481   5255 |        0 |        0
72.47/72.50	c 72.5s |      21 |  1405822 |  1000345 |      481   5274 |        0 |        0
74.48/74.50	c 74.5s |      21 |  1441024 |  1026845 |      481   5379 |        0 |        0
76.48/76.51	c 76.5s |      21 |  1479337 |  1053845 |      481   5487 |        0 |        0
78.47/78.51	c 78.5s |      21 |  1516399 |  1080045 |      481   5591 |        0 |        0
80.47/80.52	c 80.5s |      21 |  1554022 |  1106945 |      481   5699 |        0 |        0
82.47/82.52	c 82.5s |      21 |  1590695 |  1133545 |      481   5805 |        0 |        0
84.47/84.52	c 84.5s |      21 |  1624222 |  1158845 |      481   5906 |        0 |        0
86.46/86.52	c 86.5s |      21 |  1657347 |  1184345 |      481   6007 |        0 |        0
88.46/88.52	c 88.5s |      21 |  1691190 |  1210145 |      481   6111 |        0 |        0
90.46/90.53	c 90.5s |      21 |  1727657 |  1237245 |      481   6220 |        0 |        0
92.47/92.53	c 92.5s |      21 |  1762296 |  1264145 |      481   6327 |        0 |        0
94.46/94.53	c 94.5s |      21 |  1795915 |  1290645 |      481   6431 |        0 |        0
96.47/96.54	c 96.5s |      21 |  1831127 |  1317345 |      481   6537 |        0 |        0
98.46/98.54	c 98.5s |      21 |  1866033 |  1343145 |      481   6641 |        0 |        0
100.46/100.55	c  100s |      21 |  1902719 |  1370245 |      481   6749 |        0 |        0
102.46/102.55	c  102s |      21 |  1941191 |  1397045 |      481   6856 |        0 |        0
104.47/104.56	c  104s |      21 |  1974569 |  1423245 |      481   6960 |        0 |        0
106.46/106.56	c  106s |      21 |  2009402 |  1449245 |      481   7063 |        0 |        0
108.46/108.56	c  108s |      21 |  2043489 |  1475345 |      481   7165 |        0 |        0
110.46/110.57	c  110s |      21 |  2075817 |  1498945 |      530   7255 |        0 |        0
110.66/110.72	c  110s |      22 |  2078054 |  1500622 |      530   7261 |        0 |        0
112.66/112.73	c  112s |      22 |  2112793 |  1524022 |      530   7345 |        0 |        0
114.65/114.73	c  114s |      22 |  2143113 |  1546322 |      530   7425 |        0 |        0
116.66/116.74	c  116s |      22 |  2175902 |  1569222 |      530   7507 |        0 |        0
118.65/118.74	c  118s |      22 |  2208534 |  1592822 |      530   7593 |        0 |        0
120.65/120.75	c  120s |      22 |  2239851 |  1615922 |      530   7677 |        0 |        0
122.65/122.75	c  122s |      22 |  2270165 |  1638322 |      530   7758 |        0 |        0
124.66/124.76	c  124s |      22 |  2301216 |  1660622 |      530   7838 |        0 |        0
126.66/126.76	c  126s |      22 |  2334663 |  1683522 |      530   7920 |        0 |        0
128.67/128.77	c  128s |      22 |  2369689 |  1706722 |      530   8003 |        0 |        0
130.66/130.77	c  130s |      22 |  2403646 |  1729622 |      530   8085 |        0 |        0
132.66/132.77	c  132s |      22 |  2430446 |  1749922 |      530   8158 |        0 |        0
134.65/134.78	c  134s |      22 |  2460459 |  1771522 |      530   8236 |        0 |        0
136.65/136.78	c  136s |      22 |  2492099 |  1794522 |      530   8320 |        0 |        0
138.66/138.79	c  138s |      22 |  2522112 |  1817322 |      530   8402 |        0 |        0
140.65/140.79	c  140s |      22 |  2551463 |  1839922 |      530   8484 |        0 |        0
142.65/142.79	c  142s |      22 |  2583978 |  1862622 |      530   8567 |        0 |        0
144.74/144.80	c  144s |      22 |  2615456 |  1885322 |      530   8648 |        0 |        0
146.74/146.80	c  146s |      22 |  2645503 |  1908222 |      530   8731 |        0 |        0
148.74/148.80	c  148s |      22 |  2675072 |  1930322 |      530   8811 |        0 |        0
150.75/150.81	c  150s |      22 |  2704949 |  1952422 |      530   8891 |        0 |        0
152.74/152.81	c  152s |      22 |  2737210 |  1975422 |      530   8973 |        0 |        0
154.74/154.81	c  154s |      22 |  2771544 |  1999722 |      530   9061 |        0 |        0
156.74/156.81	c  156s |      22 |  2803432 |  2022322 |      530   9142 |        0 |        0
158.74/158.82	c  158s |      22 |  2832709 |  2044522 |      530   9222 |        0 |        0
160.74/160.82	c  160s |      22 |  2857915 |  2064822 |      530   9296 |        0 |        0
162.74/162.83	c  162s |      22 |  2886912 |  2086422 |      530   9374 |        0 |        0
164.75/164.83	c  164s |      22 |  2915791 |  2108122 |      530   9454 |        0 |        0
166.74/166.84	c  166s |      22 |  2946301 |  2130122 |      530   9534 |        0 |        0
168.74/168.84	c  168s |      22 |  2975783 |  2152022 |      530   9614 |        0 |        0
170.74/170.85	c  170s |      22 |  2998970 |  2171722 |      530   9685 |        0 |        0
172.75/172.85	c  172s |      22 |  3024342 |  2192322 |      530   9760 |        0 |        0
174.74/174.86	c  174s |      22 |  3051147 |  2213322 |      530   9836 |        0 |        0
176.74/176.87	c  176s |      22 |  3076131 |  2233522 |      530   9909 |        0 |        0
178.54/178.67	c  178s |      23 |  3098344 |  2251038 |      583   9968 |        0 |        0
180.53/180.67	c  180s |      23 |  3126215 |  2272238 |      583  10038 |        0 |        0
182.54/182.67	c  182s |      23 |  3153987 |  2293638 |      583  10108 |        0 |        0
184.53/184.68	c  184s |      23 |  3183160 |  2315238 |      583  10179 |        0 |        0
186.53/186.68	c  186s |      23 |  3214645 |  2338238 |      583  10256 |        0 |        0
188.53/188.69	c  188s |      23 |  3244309 |  2360538 |      583  10329 |        0 |        0
190.53/190.69	c  190s |      23 |  3272844 |  2382438 |      583  10402 |        0 |        0
192.63/192.70	c  192s |      23 |  3305364 |  2405338 |      583  10478 |        0 |        0
194.63/194.71	c  194s |      23 |  3336408 |  2427738 |      583  10551 |        0 |        0
196.63/196.71	c  196s |      23 |  3365647 |  2449338 |      583  10622 |        0 |        0
198.62/198.72	c  198s |      23 |  3392048 |  2470438 |      583  10691 |        0 |        0
200.62/200.73	c  200s |      23 |  3419520 |  2491738 |      583  10762 |        0 |        0
202.62/202.73	c  202s |      23 |  3446394 |  2512838 |      583  10831 |        0 |        0
204.63/204.74	c  204s |      23 |  3473450 |  2533738 |      583  10900 |        0 |        0
206.62/206.74	c  206s |      23 |  3501530 |  2554938 |      583  10970 |        0 |        0
208.62/208.75	c  208s |      23 |  3529716 |  2576638 |      583  11042 |        0 |        0
210.62/210.75	c  210s |      23 |  3559304 |  2598438 |      583  11114 |        0 |        0
212.62/212.75	c  212s |      23 |  3591171 |  2621738 |      583  11191 |        0 |        0
214.61/214.76	c  214s |      23 |  3623259 |  2644738 |      583  11267 |        0 |        0
216.62/216.76	c  216s |      23 |  3657351 |  2668638 |      583  11346 |        0 |        0
218.62/218.77	c  218s |      23 |  3686171 |  2690638 |      583  11419 |        0 |        0
220.62/220.77	c  220s |      23 |  3716451 |  2712938 |      583  11492 |        0 |        0
222.62/222.78	c  222s |      23 |  3745304 |  2734538 |      583  11563 |        0 |        0
224.62/224.78	c  224s |      23 |  3773749 |  2756038 |      583  11635 |        0 |        0
226.62/226.79	c  226s |      23 |  3802050 |  2777638 |      583  11707 |        0 |        0
228.62/228.79	c  228s |      23 |  3831598 |  2799838 |      583  11780 |        0 |        0
230.71/230.80	c  230s |      23 |  3863923 |  2822338 |      583  11855 |        0 |        0
232.71/232.80	c  232s |      23 |  3895247 |  2845038 |      583  11930 |        0 |        0
234.71/234.81	c  234s |      23 |  3925463 |  2867038 |      583  12003 |        0 |        0
236.71/236.81	c  236s |      23 |  3957820 |  2889038 |      583  12076 |        0 |        0
238.72/238.82	c  238s |      23 |  3991229 |  2911838 |      583  12151 |        0 |        0
240.71/240.82	c  240s |      23 |  4024545 |  2934538 |      583  12227 |        0 |        0
242.71/242.82	c  242s |      23 |  4058279 |  2957438 |      583  12303 |        0 |        0
244.71/244.83	c  244s |      23 |  4088841 |  2979838 |      583  12377 |        0 |        0
246.71/246.83	c  246s |      23 |  4123061 |  3002738 |      583  12453 |        0 |        0
248.71/248.83	c  248s |      23 |  4156615 |  3025538 |      583  12529 |        0 |        0
250.71/250.84	c  250s |      23 |  4188187 |  3048538 |      583  12605 |        0 |        0
252.71/252.84	c  252s |      23 |  4218905 |  3071738 |      583  12681 |        0 |        0
254.71/254.84	c  254s |      23 |  4249388 |  3095238 |      583  12759 |        0 |        0
256.71/256.85	c  256s |      23 |  4281858 |  3119738 |      583  12841 |        0 |        0
258.71/258.85	c  258s |      23 |  4317662 |  3144538 |      583  12923 |        0 |        0
260.71/260.86	c  260s |      23 |  4352349 |  3168138 |      583  13001 |        0 |        0
262.70/262.86	c  262s |      23 |  4390768 |  3192538 |      583  13082 |        0 |        0
264.70/264.87	c  264s |      23 |  4428073 |  3216538 |      583  13162 |        0 |        0
266.70/266.88	c  266s |      23 |  4462909 |  3241738 |      583  13246 |        0 |        0
268.70/268.88	c  268s |      23 |  4497559 |  3267138 |      583  13330 |        0 |        0
270.70/270.89	c  270s |      23 |  4533288 |  3292038 |      583  13413 |        0 |        0
272.70/272.89	c  272s |      23 |  4562890 |  3314638 |      583  13488 |        0 |        0
274.70/274.90	c  274s |      23 |  4596353 |  3338538 |      583  13568 |        0 |        0
276.79/276.90	c  276s |      23 |  4627884 |  3361438 |      642  13641 |        0 |        0
278.09/278.29	c  278s |      24 |  4647748 |  3376662 |      642  13687 |        0 |        0
280.09/280.29	c  280s |      24 |  4680872 |  3399862 |      642  13757 |        0 |        0
282.19/282.30	c  282s |      24 |  4715074 |  3423262 |      642  13827 |        0 |        0
284.19/284.30	c  284s |      24 |  4748934 |  3446462 |      642  13897 |        0 |        0
286.19/286.30	c  286s |      24 |  4781384 |  3469162 |      642  13966 |        0 |        0
288.19/288.30	c  288s |      24 |  4816178 |  3492262 |      642  14036 |        0 |        0
290.19/290.31	c  290s |      24 |  4852987 |  3516262 |      642  14108 |        0 |        0
292.18/292.31	c  292s |      24 |  4885979 |  3539762 |      642  14179 |        0 |        0
294.19/294.32	c  294s |      24 |  4919667 |  3563462 |      642  14252 |        0 |        0
296.19/296.32	c  296s |      24 |  4957655 |  3588462 |      642  14327 |        0 |        0
298.19/298.33	c  298s |      24 |  4990091 |  3611562 |      642  14397 |        0 |        0
300.19/300.33	c  300s |      24 |  5023592 |  3635862 |      642  14471 |        0 |        0
302.19/302.33	c  302s |      24 |  5057150 |  3660562 |      642  14546 |        0 |        0
304.19/304.34	c  304s |      24 |  5089682 |  3685262 |      642  14620 |        0 |        0
306.19/306.34	c  306s |      24 |  5120904 |  3708662 |      642  14691 |        0 |        0
308.19/308.35	c  308s |      24 |  5154757 |  3732662 |      642  14763 |        0 |        0
310.19/310.35	c  310s |      24 |  5185994 |  3755962 |      642  14833 |        0 |        0
312.18/312.36	c  312s |      24 |  5218513 |  3779162 |      642  14904 |        0 |        0
314.18/314.36	c  314s |      24 |  5253027 |  3804062 |      642  14980 |        0 |        0
316.18/316.36	c  316s |      24 |  5288087 |  3828362 |      642  15053 |        0 |        0
318.18/318.37	c  318s |      24 |  5322851 |  3852562 |      642  15127 |        0 |        0
320.18/320.37	c  320s |      24 |  5357214 |  3876562 |      642  15200 |        0 |        0
322.18/322.37	c  322s |      24 |  5388642 |  3899862 |      642  15270 |        0 |        0
324.17/324.38	c  324s |      24 |  5419436 |  3922462 |      642  15339 |        0 |        0
326.17/326.38	c  326s |      24 |  5453940 |  3946462 |      642  15412 |        0 |        0
328.17/328.39	c  328s |      24 |  5491588 |  3971462 |      642  15487 |        0 |        0
330.17/330.39	c  330s |      24 |  5524108 |  3995162 |      642  15559 |        0 |        0
332.27/332.40	c  332s |      24 |  5558473 |  4019162 |      642  15632 |        0 |        0
334.17/334.40	c  334s |      24 |  5594131 |  4043262 |      642  15705 |        0 |        0
336.27/336.40	c  336s |      24 |  5628873 |  4066662 |      642  15777 |        0 |        0
338.27/338.41	c  338s |      24 |  5658521 |  4088862 |      642  15843 |        0 |        0
340.27/340.41	c  340s |      24 |  5688054 |  4110962 |      642  15910 |        0 |        0
342.27/342.42	c  342s |      24 |  5719053 |  4133862 |      642  15979 |        0 |        0
344.28/344.42	c  344s |      24 |  5749260 |  4156462 |      642  16047 |        0 |        0
346.27/346.43	c  346s |      24 |  5780593 |  4178862 |      642  16115 |        0 |        0
348.27/348.43	c  348s |      24 |  5819100 |  4203362 |      642  16189 |        0 |        0
350.26/350.43	c  350s |      24 |  5856518 |  4227662 |      642  16263 |        0 |        0
352.26/352.43	c  352s |      24 |  5890754 |  4251262 |      642  16334 |        0 |        0
354.26/354.44	c  354s |      24 |  5924974 |  4274362 |      642  16404 |        0 |        0
356.27/356.44	c  356s |      24 |  5957370 |  4297262 |      642  16473 |        0 |        0
358.26/358.45	c  358s |      24 |  5992862 |  4321662 |      642  16547 |        0 |        0
360.26/360.45	c  360s |      24 |  6027182 |  4345962 |      642  16620 |        0 |        0
362.26/362.46	c  362s |      24 |  6059442 |  4369562 |      642  16691 |        0 |        0
364.26/364.46	c  364s |      24 |  6089915 |  4392562 |      642  16760 |        0 |        0
366.26/366.47	c  366s |      24 |  6120097 |  4415162 |      642  16828 |        0 |        0
368.26/368.47	c  368s |      24 |  6148495 |  4436562 |      642  16893 |        0 |        0
370.26/370.47	c  370s |      24 |  6181231 |  4460262 |      642  16965 |        0 |        0
372.26/372.48	c  372s |      24 |  6213581 |  4484262 |      642  17037 |        0 |        0
374.26/374.49	c  374s |      24 |  6250448 |  4510062 |      642  17115 |        0 |        0
376.26/376.49	c  376s |      24 |  6283080 |  4534662 |      642  17190 |        0 |        0
378.26/378.49	c  378s |      24 |  6314878 |  4558162 |      642  17261 |        0 |        0
380.25/380.50	c  380s |      24 |  6346264 |  4582162 |      642  17333 |        0 |        0
382.25/382.50	c  382s |      24 |  6377571 |  4606062 |      642  17405 |        0 |        0
384.35/384.50	c  384s |      24 |  6411285 |  4631162 |      642  17482 |        0 |        0
386.36/386.51	c  386s |      24 |  6444316 |  4656062 |      642  17558 |        0 |        0
388.36/388.51	c  388s |      24 |  6478173 |  4680662 |      642  17632 |        0 |        0
390.36/390.52	c  390s |      24 |  6509584 |  4704162 |      642  17704 |        0 |        0
392.35/392.52	c  392s |      24 |  6540655 |  4726962 |      642  17772 |        0 |        0
394.35/394.53	c  394s |      24 |  6569209 |  4748762 |      642  17838 |        0 |        0
396.35/396.53	c  396s |      24 |  6602289 |  4772862 |      642  17911 |        0 |        0
398.34/398.54	c  398s |      24 |  6632977 |  4795662 |      642  17980 |        0 |        0
400.35/400.55	c  400s |      24 |  6666060 |  4819362 |      642  18052 |        0 |        0
402.34/402.55	c  402s |      24 |  6700506 |  4843362 |      642  18125 |        0 |        0
404.34/404.56	c  404s |      24 |  6730519 |  4866062 |      642  18193 |        0 |        0
406.34/406.56	c  406s |      24 |  6764751 |  4890362 |      642  18266 |        0 |        0
408.34/408.56	c  408s |      24 |  6798117 |  4914362 |      642  18340 |        0 |        0
410.34/410.57	c  410s |      24 |  6829221 |  4937462 |      642  18410 |        0 |        0
412.34/412.57	c  412s |      24 |  6857296 |  4959462 |      642  18477 |        0 |        0
414.34/414.57	c  414s |      24 |  6887157 |  4982062 |      642  18545 |        0 |        0
416.33/416.58	c  416s |      24 |  6915556 |  5003162 |      642  18609 |        0 |        0
418.33/418.58	c  418s |      24 |  6941826 |  5023362 |      642  18670 |        0 |        0
420.33/420.59	c  420s |      24 |  6966810 |  5042662 |      707  18725 |        0 |        0
422.35/422.59	c  422s |      24 |  6992333 |  5062462 |      707  18779 |        0 |        0
422.64/422.84	c  422s |      25 |  6995737 |  5065098 |      707  18786 |        0 |        0
424.64/424.85	c  424s |      25 |  7028912 |  5087798 |      707  18848 |        0 |        0
426.64/426.85	c  426s |      25 |  7061894 |  5109998 |      707  18909 |        0 |        0
428.63/428.85	c  428s |      25 |  7095031 |  5133298 |      707  18973 |        0 |        0
430.63/430.86	c  430s |      25 |  7127691 |  5155498 |      707  19034 |        0 |        0
432.63/432.86	c  432s |      25 |  7162662 |  5178098 |      707  19096 |        0 |        0
434.63/434.87	c  434s |      25 |  7195951 |  5200398 |      707  19157 |        0 |        0
436.63/436.88	c  436s |      25 |  7225052 |  5221298 |      707  19215 |        0 |        0
438.63/438.88	c  438s |      25 |  7256375 |  5243098 |      707  19274 |        0 |        0
440.62/440.88	c  440s |      25 |  7289380 |  5265398 |      707  19336 |        0 |        0
442.62/442.88	c  442s |      25 |  7320629 |  5287598 |      707  19397 |        0 |        0
444.62/444.89	c  444s |      25 |  7350873 |  5309498 |      707  19457 |        0 |        0
446.62/446.89	c  446s |      25 |  7381255 |  5330998 |      707  19516 |        0 |        0
448.63/448.89	c  448s |      25 |  7408277 |  5351298 |      707  19572 |        0 |        0
450.72/450.90	c  450s |      25 |  7443117 |  5374498 |      707  19636 |        0 |        0
452.72/452.90	c  452s |      25 |  7479116 |  5398298 |      707  19702 |        0 |        0
454.72/454.90	c  454s |      25 |  7510658 |  5420798 |      707  19764 |        0 |        0
456.72/456.91	c  456s |      25 |  7542360 |  5443298 |      707  19826 |        0 |        0
458.72/458.91	c  458s |      25 |  7571352 |  5464898 |      707  19886 |        0 |        0
460.73/460.92	c  460s |      25 |  7602790 |  5486698 |      707  19946 |        0 |        0
462.72/462.92	c  462s |      25 |  7634953 |  5508998 |      707  20008 |        0 |        0
464.72/464.93	c  464s |      25 |  7670481 |  5532898 |      707  20074 |        0 |        0
466.72/466.93	c  466s |      25 |  7704412 |  5556198 |      707  20138 |        0 |        0
468.72/468.93	c  468s |      25 |  7736810 |  5578698 |      707  20199 |        0 |        0
470.73/470.94	c  470s |      25 |  7765851 |  5599998 |      707  20258 |        0 |        0
472.72/472.94	c  472s |      25 |  7793849 |  5620898 |      707  20315 |        0 |        0
474.72/474.94	c  474s |      25 |  7827301 |  5642998 |      707  20376 |        0 |        0
476.72/476.95	c  476s |      25 |  7860974 |  5665898 |      707  20439 |        0 |        0
478.72/478.96	c  478s |      25 |  7893424 |  5688398 |      707  20501 |        0 |        0
480.71/480.96	c  480s |      25 |  7927588 |  5710898 |      707  20563 |        0 |        0
482.72/482.96	c  482s |      25 |  7958386 |  5732798 |      707  20624 |        0 |        0
484.71/484.97	c  484s |      25 |  7993825 |  5756998 |      707  20690 |        0 |        0
486.71/486.97	c  486s |      25 |  8025513 |  5780298 |      707  20755 |        0 |        0
488.71/488.97	c  488s |      25 |  8059384 |  5803398 |      707  20818 |        0 |        0
490.71/490.98	c  490s |      25 |  8094738 |  5826798 |      707  20883 |        0 |        0
492.71/492.99	c  492s |      25 |  8130631 |  5851098 |      707  20949 |        0 |        0
494.70/495.00	c  494s |      25 |  8160507 |  5873098 |      707  21010 |        0 |        0
496.80/497.00	c  496s |      25 |  8194410 |  5896098 |      707  21074 |        0 |        0
498.80/499.01	c  498s |      25 |  8227131 |  5918698 |      707  21136 |        0 |        0
500.80/501.01	c  500s |      25 |  8257244 |  5939998 |      707  21195 |        0 |        0
502.80/503.02	c  503s |      25 |  8290177 |  5962498 |      707  21257 |        0 |        0
504.80/505.02	c  505s |      25 |  8325114 |  5985398 |      707  21320 |        0 |        0
506.80/507.03	c  507s |      25 |  8357825 |  6007498 |      707  21381 |        0 |        0
508.80/509.04	c  509s |      25 |  8391205 |  6029998 |      707  21443 |        0 |        0
510.80/511.04	c  511s |      25 |  8424241 |  6051998 |      707  21504 |        0 |        0
512.80/513.05	c  513s |      25 |  8454372 |  6073698 |      707  21563 |        0 |        0
514.80/515.05	c  515s |      25 |  8483771 |  6094698 |      707  21620 |        0 |        0
516.81/517.05	c  517s |      25 |  8513616 |  6115698 |      707  21678 |        0 |        0
518.80/519.06	c  519s |      25 |  8547444 |  6137598 |      707  21739 |        0 |        0
520.79/521.06	c  521s |      25 |  8579945 |  6159098 |      707  21798 |        0 |        0
522.79/523.07	c  523s |      25 |  8608579 |  6179698 |      707  21855 |        0 |        0
524.79/525.07	c  525s |      25 |  8639931 |  6201298 |      707  21914 |        0 |        0
526.80/527.08	c  527s |      25 |  8672634 |  6222798 |      707  21974 |        0 |        0
528.79/529.09	c  529s |      25 |  8704748 |  6244198 |      707  22033 |        0 |        0
530.79/531.09	c  531s |      25 |  8737962 |  6266198 |      707  22094 |        0 |        0
532.89/533.10	c  533s |      25 |  8769957 |  6288098 |      707  22154 |        0 |        0
534.89/535.10	c  535s |      25 |  8802681 |  6309798 |      707  22214 |        0 |        0
536.89/537.11	c  537s |      25 |  8835914 |  6331998 |      707  22276 |        0 |        0
538.89/539.11	c  539s |      25 |  8868081 |  6353798 |      707  22336 |        0 |        0
540.88/541.11	c  541s |      25 |  8898121 |  6374998 |      707  22395 |        0 |        0
542.88/543.12	c  543s |      25 |  8927694 |  6395998 |      707  22452 |        0 |        0
544.88/545.13	c  545s |      25 |  8959008 |  6417498 |      707  22511 |        0 |        0
546.88/547.13	c  547s |      25 |  8990595 |  6439598 |      707  22572 |        0 |        0
548.89/549.14	c  549s |      25 |  9021703 |  6461798 |      707  22632 |        0 |        0
550.89/551.14	c  551s |      25 |  9053023 |  6484998 |      707  22696 |        0 |        0
552.88/553.14	c  553s |      25 |  9083751 |  6506898 |      707  22756 |        0 |        0
554.88/555.15	c  555s |      25 |  9115934 |  6528898 |      707  22817 |        0 |        0
556.88/557.15	c  557s |      25 |  9143059 |  6549098 |      707  22871 |        0 |        0
558.88/559.16	c  559s |      25 |  9171756 |  6569798 |      707  22928 |        0 |        0
560.88/561.17	c  561s |      25 |  9198570 |  6590098 |      707  22983 |        0 |        0
562.88/563.17	c  563s |      25 |  9231502 |  6612998 |      707  23046 |        0 |        0
564.88/565.17	c  565s |      25 |  9264717 |  6636898 |      707  23112 |        0 |        0
566.87/567.17	c  567s |      25 |  9299071 |  6660198 |      707  23176 |        0 |        0
568.87/569.18	c  569s |      25 |  9333323 |  6684998 |      707  23244 |        0 |        0
570.87/571.18	c  571s |      25 |  9364898 |  6708098 |      707  23308 |        0 |        0
572.87/573.19	c  573s |      25 |  9395477 |  6730598 |      707  23370 |        0 |        0
574.87/575.20	c  575s |      25 |  9429664 |  6753898 |      707  23434 |        0 |        0
576.97/577.20	c  577s |      25 |  9464100 |  6777298 |      707  23499 |        0 |        0
578.97/579.21	c  579s |      25 |  9498003 |  6800598 |      707  23563 |        0 |        0
580.96/581.21	c  581s |      25 |  9531391 |  6824198 |      707  23628 |        0 |        0
582.96/583.21	c  583s |      25 |  9566432 |  6847798 |      707  23694 |        0 |        0
584.97/585.21	c  585s |      25 |  9600593 |  6871498 |      707  23759 |        0 |        0
586.96/587.22	c  587s |      25 |  9633288 |  6895098 |      707  23824 |        0 |        0
588.96/589.22	c  589s |      25 |  9664763 |  6918198 |      707  23888 |        0 |        0
590.95/591.23	c  591s |      25 |  9695384 |  6940498 |      707  23950 |        0 |        0
592.95/593.23	c  593s |      25 |  9726110 |  6962798 |      707  24010 |        0 |        0
594.96/595.24	c  595s |      25 |  9755398 |  6983698 |      707  24068 |        0 |        0
596.95/597.25	c  597s |      25 |  9784755 |  7004798 |      707  24125 |        0 |        0
598.95/599.26	c  599s |      25 |  9819824 |  7028798 |      707  24192 |        0 |        0
600.95/601.26	c  601s |      25 |  9852047 |  7051498 |      707  24255 |        0 |        0
602.95/603.26	c  603s |      25 |  9880904 |  7072598 |      707  24312 |        0 |        0
604.96/605.26	c  605s |      25 |  9913604 |  7095398 |      707  24375 |        0 |        0
606.96/607.27	c  607s |      25 |  9948424 |  7118498 |      707  24438 |        0 |        0
608.96/609.27	c  609s |      25 |  9980222 |  7140898 |      707  24500 |        0 |        0
610.95/611.28	c  611s |      25 | 10010761 |  7162898 |      707  24561 |        0 |        0
612.95/613.28	c  613s |      25 | 10043929 |  7185698 |      707  24624 |        0 |        0
614.95/615.29	c  615s |      25 | 10076542 |  7208398 |      707  24687 |        0 |        0
616.96/617.29	c  617s |      25 | 10106667 |  7229698 |      707  24745 |        0 |        0
618.95/619.29	c  619s |      25 | 10138739 |  7252098 |      707  24807 |        0 |        0
620.94/621.29	c  621s |      25 | 10169151 |  7273598 |      707  24867 |        0 |        0
622.94/623.30	c  623s |      25 | 10203019 |  7296298 |      707  24929 |        0 |        0
625.04/625.30	c  625s |      25 | 10236973 |  7319898 |      707  24994 |        0 |        0
627.04/627.31	c  627s |      25 | 10270682 |  7343498 |      707  25060 |        0 |        0
629.05/629.31	c  629s |      25 | 10300962 |  7366298 |      707  25123 |        0 |        0
631.03/631.31	c  631s |      25 | 10328964 |  7387898 |      707  25182 |        0 |        0
633.03/633.32	c  633s |      25 | 10358743 |  7410298 |      707  25245 |        0 |        0
635.03/635.32	c  635s |      25 | 10391980 |  7433598 |      707  25309 |        0 |        0
637.03/637.33	c  637s |      25 | 10423644 |  7457098 |      707  25374 |        0 |        0
639.03/639.34	c  639s |      25 | 10455102 |  7480298 |      707  25439 |        0 |        0
641.04/641.34	c  641s |      25 | 10485179 |  7503198 |      707  25502 |        0 |        0
643.03/643.34	c  643s |      25 | 10515928 |  7526098 |      707  25564 |        0 |        0
645.03/645.35	c  645s |      25 | 10545856 |  7548498 |      778  25624 |        0 |        0
647.04/647.35	c  647s |      25 | 10573001 |  7569298 |      778  25676 |        0 |        0
649.04/649.36	c  649s |      25 | 10603066 |  7590198 |      778  25729 |        0 |        0
649.74/650.07	c  650s |      26 | 10613473 |  7597752 |      778  25748 |        0 |        0
651.73/652.07	c  652s |      26 | 10644834 |  7620252 |      778  25803 |        0 |        0
653.73/654.08	c  654s |      26 | 10675309 |  7642452 |      778  25859 |        0 |        0
655.73/656.09	c  656s |      26 | 10702819 |  7663352 |      778  25911 |        0 |        0
657.73/658.09	c  658s |      26 | 10731476 |  7684452 |      778  25964 |        0 |        0
659.84/660.10	c  660s |      26 | 10757312 |  7704352 |      778  26012 |        0 |        0
661.83/662.11	c  662s |      26 | 10783923 |  7724552 |      778  26063 |        0 |        0
663.83/664.12	c  664s |      26 | 10810380 |  7744752 |      778  26113 |        0 |        0
665.83/666.13	c  666s |      26 | 10839142 |  7765952 |      778  26166 |        0 |        0
667.82/668.13	c  668s |      26 | 10868211 |  7787652 |      778  26220 |        0 |        0
669.82/670.14	c  670s |      26 | 10897251 |  7809252 |      778  26274 |        0 |        0
671.83/672.14	c  672s |      26 | 10927506 |  7831552 |      778  26330 |        0 |        0
673.82/674.14	c  674s |      26 | 10957995 |  7854152 |      778  26386 |        0 |        0
675.82/676.15	c  676s |      26 | 10988924 |  7877252 |      778  26444 |        0 |        0
677.82/678.16	c  678s |      26 | 11020806 |  7900752 |      778  26503 |        0 |        0
679.82/680.16	c  680s |      26 | 11050447 |  7923152 |      778  26560 |        0 |        0
681.82/682.16	c  682s |      26 | 11078337 |  7944252 |      778  26613 |        0 |        0
683.81/684.17	c  684s |      26 | 11108684 |  7966652 |      778  26670 |        0 |        0
685.81/686.18	c  686s |      26 | 11134800 |  7986852 |      778  26721 |        0 |        0
687.81/688.19	c  688s |      26 | 11163746 |  8008852 |      778  26777 |        0 |        0
689.81/690.19	c  690s |      26 | 11192505 |  8030152 |      778  26830 |        0 |        0
691.91/692.20	c  692s |      26 | 11217005 |  8049652 |      778  26879 |        0 |        0
693.91/694.21	c  694s |      26 | 11243001 |  8069652 |      778  26929 |        0 |        0
695.91/696.21	c  696s |      26 | 11271691 |  8090752 |      778  26982 |        0 |        0
697.91/698.21	c  698s |      26 | 11301447 |  8111752 |      778  27034 |        0 |        0
699.91/700.22	c  700s |      26 | 11332135 |  8132952 |      778  27088 |        0 |        0
701.91/702.23	c  702s |      26 | 11358872 |  8153352 |      778  27138 |        0 |        0
703.91/704.23	c  704s |      26 | 11386010 |  8173152 |      778  27188 |        0 |        0
705.92/706.24	c  706s |      26 | 11415187 |  8194452 |      778  27240 |        0 |        0
707.91/708.24	c  708s |      26 | 11442631 |  8214752 |      778  27291 |        0 |        0
709.91/710.24	c  710s |      26 | 11470476 |  8235352 |      778  27343 |        0 |        0
711.90/712.25	c  712s |      26 | 11501735 |  8257552 |      778  27398 |        0 |        0
713.90/714.25	c  714s |      26 | 11529853 |  8278652 |      778  27450 |        0 |        0
715.91/716.26	c  716s |      26 | 11557222 |  8299152 |      778  27501 |        0 |        0
717.90/718.27	c  718s |      26 | 11585524 |  8319652 |      778  27553 |        0 |        0
719.90/720.27	c  720s |      26 | 11613829 |  8340252 |      778  27604 |        0 |        0
721.90/722.27	c  722s |      26 | 11639343 |  8359452 |      778  27652 |        0 |        0
723.90/724.28	c  724s |      26 | 11666650 |  8379652 |      778  27703 |        0 |        0
725.90/726.29	c  726s |      26 | 11693041 |  8398952 |      778  27751 |        0 |        0
727.90/728.30	c  728s |      26 | 11719559 |  8418352 |      778  27800 |        0 |        0
729.99/730.30	c  730s |      26 | 11746868 |  8438152 |      778  27849 |        0 |        0
731.99/732.31	c  732s |      26 | 11777695 |  8459052 |      778  27902 |        0 |        0
733.99/734.32	c  734s |      26 | 11802281 |  8478352 |      778  27950 |        0 |        0
735.99/736.32	c  736s |      26 | 11824701 |  8496552 |      778  27995 |        0 |        0
737.99/738.32	c  738s |      26 | 11850454 |  8515752 |      778  28043 |        0 |        0
740.00/740.32	c  740s |      26 | 11880482 |  8536952 |      778  28096 |        0 |        0
741.99/742.33	c  742s |      26 | 11906340 |  8556752 |      778  28146 |        0 |        0
743.99/744.33	c  744s |      26 | 11934259 |  8576652 |      778  28196 |        0 |        0
745.99/746.34	c  746s |      26 | 11963346 |  8597952 |      778  28249 |        0 |        0
747.99/748.34	c  748s |      26 | 11993732 |  8619652 |      778  28303 |        0 |        0
749.99/750.34	c  750s |      26 | 12025091 |  8641252 |      778  28357 |        0 |        0
751.99/752.35	c  752s |      26 | 12054786 |  8662052 |      778  28409 |        0 |        0
753.99/754.35	c  754s |      26 | 12084426 |  8683252 |      778  28463 |        0 |        0
755.99/756.36	c  756s |      26 | 12113461 |  8704052 |      778  28515 |        0 |        0
757.99/758.36	c  758s |      26 | 12140121 |  8724052 |      778  28565 |        0 |        0
759.99/760.36	c  760s |      26 | 12170359 |  8745452 |      778  28618 |        0 |        0
762.00/762.37	c  762s |      26 | 12200121 |  8765852 |      778  28670 |        0 |        0
763.99/764.38	c  764s |      26 | 12228824 |  8786152 |      778  28720 |        0 |        0
765.99/766.39	c  766s |      26 | 12256582 |  8806252 |      778  28771 |        0 |        0
767.99/768.39	c  768s |      26 | 12284907 |  8826052 |      778  28820 |        0 |        0
770.09/770.40	c  770s |      26 | 12310076 |  8844652 |      778  28867 |        0 |        0
772.09/772.41	c  772s |      26 | 12335430 |  8863352 |      778  28914 |        0 |        0
774.09/774.41	c  774s |      26 | 12363734 |  8883552 |      778  28964 |        0 |        0
776.09/776.42	c  776s |      26 | 12391678 |  8903552 |      778  29014 |        0 |        0
778.09/778.42	c  778s |      26 | 12417681 |  8923352 |      778  29064 |        0 |        0
780.09/780.43	c  780s |      26 | 12443587 |  8943052 |      778  29113 |        0 |        0
782.09/782.44	c  782s |      26 | 12470564 |  8962852 |      778  29162 |        0 |        0
784.09/784.44	c  784s |      26 | 12501294 |  8983652 |      778  29214 |        0 |        0
786.08/786.44	c  786s |      26 | 12528605 |  9003352 |      778  29263 |        0 |        0
788.08/788.44	c  788s |      26 | 12559386 |  9024352 |      778  29316 |        0 |        0
790.08/790.44	c  790s |      26 | 12588755 |  9044452 |      778  29366 |        0 |        0
792.08/792.45	c  792s |      26 | 12618816 |  9064552 |      778  29417 |        0 |        0
794.08/794.45	c  794s |      26 | 12647288 |  9084852 |      778  29467 |        0 |        0
796.09/796.46	c  796s |      26 | 12677251 |  9105252 |      778  29518 |        0 |        0
798.08/798.46	c  798s |      26 | 12706968 |  9125852 |      778  29570 |        0 |        0
800.08/800.47	c  800s |      26 | 12732881 |  9145052 |      778  29618 |        0 |        0
802.08/802.47	c  802s |      26 | 12762018 |  9165652 |      778  29670 |        0 |        0
804.08/804.48	c  804s |      26 | 12791344 |  9186452 |      778  29723 |        0 |        0
806.09/806.49	c  806s |      26 | 12816824 |  9205652 |      778  29771 |        0 |        0
808.08/808.49	c  808s |      26 | 12846801 |  9226352 |      778  29822 |        0 |        0
810.18/810.50	c  810s |      26 | 12873820 |  9245852 |      778  29871 |        0 |        0
812.18/812.50	c  812s |      26 | 12900944 |  9265452 |      778  29920 |        0 |        0
814.18/814.50	c  814s |      26 | 12926237 |  9284452 |      778  29968 |        0 |        0
816.19/816.51	c  816s |      26 | 12951200 |  9303652 |      778  30016 |        0 |        0
818.19/818.52	c  818s |      26 | 12977634 |  9323252 |      778  30065 |        0 |        0
820.18/820.52	c  820s |      26 | 13006669 |  9343452 |      778  30116 |        0 |        0
822.18/822.53	c  822s |      26 | 13033828 |  9363052 |      778  30165 |        0 |        0
824.18/824.54	c  824s |      26 | 13058809 |  9382552 |      778  30213 |        0 |        0
826.18/826.54	c  826s |      26 | 13088792 |  9403652 |      778  30266 |        0 |        0
828.18/828.54	c  828s |      26 | 13115266 |  9422752 |      778  30314 |        0 |        0
830.18/830.54	c  830s |      26 | 13142886 |  9444052 |      778  30367 |        0 |        0
832.18/832.55	c  832s |      26 | 13170502 |  9465052 |      778  30419 |        0 |        0
834.18/834.56	c  834s |      26 | 13199349 |  9487352 |      778  30474 |        0 |        0
836.17/836.56	c  836s |      26 | 13226432 |  9507552 |      778  30524 |        0 |        0
838.18/838.56	c  838s |      26 | 13255271 |  9528852 |      778  30577 |        0 |        0
840.19/840.56	c  840s |      26 | 13286317 |  9550752 |      778  30631 |        0 |        0
842.18/842.57	c  842s |      26 | 13314372 |  9572052 |      778  30684 |        0 |        0
844.18/844.58	c  844s |      26 | 13344665 |  9593752 |      778  30738 |        0 |        0
846.18/846.58	c  846s |      26 | 13371280 |  9613752 |      778  30788 |        0 |        0
848.18/848.58	c  848s |      26 | 13398193 |  9633752 |      778  30837 |        0 |        0
850.18/850.58	c  850s |      26 | 13425412 |  9653752 |      778  30887 |        0 |        0
852.18/852.58	c  852s |      26 | 13455829 |  9675252 |      778  30941 |        0 |        0
854.18/854.59	c  854s |      26 | 13483911 |  9696652 |      778  30995 |        0 |        0
856.27/856.60	c  856s |      26 | 13510696 |  9716752 |      778  31045 |        0 |        0
858.27/858.60	c  858s |      26 | 13540886 |  9737852 |      778  31098 |        0 |        0
860.27/860.61	c  860s |      26 | 13568335 |  9758152 |      778  31149 |        0 |        0
862.27/862.62	c  862s |      26 | 13596942 |  9778752 |      778  31201 |        0 |        0
864.28/864.62	c  864s |      26 | 13622898 |  9798652 |      778  31251 |        0 |        0
866.27/866.62	c  866s |      26 | 13651665 |  9819252 |      778  31302 |        0 |        0
868.27/868.63	c  868s |      26 | 13682013 |  9840652 |      778  31356 |        0 |        0
870.27/870.63	c  870s |      26 | 13707527 |  9860052 |      778  31405 |        0 |        0
872.27/872.63	c  872s |      26 | 13733897 |  9879352 |      778  31453 |        0 |        0
874.27/874.64	c  874s |      26 | 13761778 |  9899652 |      778  31504 |        0 |        0
876.27/876.64	c  876s |      26 | 13787513 |  9919252 |      778  31552 |        0 |        0
878.28/878.65	c  878s |      26 | 13818342 |  9940952 |      778  31607 |        0 |        0
880.28/880.65	c  880s |      26 | 13847020 |  9961552 |      778  31658 |        0 |        0
882.27/882.66	c  882s |      26 | 13873853 |  9981452 |      778  31707 |        0 |        0
884.27/884.66	c  884s |      26 | 13902840 | 10001952 |      778  31759 |        0 |        0
886.28/886.67	c  886s |      26 | 13930155 | 10022152 |      778  31809 |        0 |        0
888.27/888.67	c  888s |      26 | 13957530 | 10042152 |      778  31859 |        0 |        0
890.27/890.67	c  890s |      26 | 13986100 | 10062052 |      778  31909 |        0 |        0
892.27/892.68	c  892s |      26 | 14015109 | 10082252 |      778  31960 |        0 |        0
894.27/894.68	c  894s |      26 | 14043510 | 10102652 |      778  32011 |        0 |        0
896.28/896.69	c  896s |      26 | 14071459 | 10123752 |      778  32064 |        0 |        0
898.27/898.69	c  898s |      26 | 14096420 | 10142752 |      778  32111 |        0 |        0
900.27/900.69	c  900s |      26 | 14119861 | 10161052 |      778  32157 |        0 |        0
902.27/902.69	c  902s |      26 | 14146936 | 10181052 |      778  32207 |        0 |        0
904.27/904.70	c  904s |      26 | 14174529 | 10201152 |      778  32258 |        0 |        0
906.37/906.70	c  906s |      26 | 14200099 | 10220752 |      778  32307 |        0 |        0
908.38/908.71	c  908s |      26 | 14226692 | 10241052 |      778  32358 |        0 |        0
910.37/910.72	c  910s |      26 | 14255475 | 10262052 |      778  32411 |        0 |        0
912.37/912.72	c  912s |      26 | 14286568 | 10284352 |      778  32467 |        0 |        0
914.36/914.72	c  914s |      26 | 14313659 | 10304752 |      778  32518 |        0 |        0
916.36/916.73	c  916s |      26 | 14341400 | 10325352 |      778  32569 |        0 |        0
918.36/918.73	c  918s |      26 | 14364912 | 10343652 |      778  32615 |        0 |        0
920.37/920.74	c  920s |      26 | 14387407 | 10361152 |      778  32659 |        0 |        0
922.37/922.74	c  922s |      26 | 14413385 | 10381252 |      778  32710 |        0 |        0
924.37/924.75	c  924s |      26 | 14440086 | 10400852 |      778  32759 |        0 |        0
926.37/926.76	c  926s |      26 | 14466908 | 10420852 |      778  32809 |        0 |        0
928.37/928.77	c  928s |      26 | 14494577 | 10441852 |      778  32861 |        0 |        0
930.37/930.77	c  930s |      26 | 14524273 | 10463252 |      778  32915 |        0 |        0
932.36/932.78	c  932s |      26 | 14548824 | 10482152 |      778  32962 |        0 |        0
934.36/934.79	c  934s |      26 | 14572246 | 10500652 |      778  33009 |        0 |        0
936.36/936.79	c  936s |      26 | 14599338 | 10520752 |      778  33059 |        0 |        0
938.46/938.80	c  938s |      26 | 14628033 | 10541552 |      778  33111 |        0 |        0
940.46/940.81	c  940s |      26 | 14655359 | 10561752 |      778  33162 |        0 |        0
942.47/942.81	c  942s |      26 | 14679673 | 10581152 |      778  33211 |        0 |        0
944.46/944.82	c  944s |      26 | 14704970 | 10600952 |      778  33260 |        0 |        0
946.46/946.82	c  946s |      26 | 14734989 | 10622152 |      778  33313 |        0 |        0
948.46/948.82	c  948s |      26 | 14764955 | 10643652 |      778  33367 |        0 |        0
950.46/950.83	c  950s |      26 | 14792437 | 10663352 |      778  33417 |        0 |        0
952.46/952.83	c  952s |      26 | 14819271 | 10683052 |      778  33466 |        0 |        0
954.46/954.84	c  954s |      26 | 14845892 | 10702352 |      778  33514 |        0 |        0
956.46/956.85	c  956s |      26 | 14871173 | 10721252 |      778  33561 |        0 |        0
958.46/958.85	c  958s |      26 | 14894793 | 10739252 |      778  33606 |        0 |        0
960.46/960.85	c  960s |      26 | 14921050 | 10759052 |      778  33656 |        0 |        0
962.46/962.86	c  962s |      26 | 14949910 | 10780152 |      778  33709 |        0 |        0
964.46/964.86	c  964s |      26 | 14977903 | 10800652 |      778  33760 |        0 |        0
966.45/966.87	c  966s |      26 | 15006428 | 10821652 |      778  33813 |        0 |        0
968.45/968.87	c  968s |      26 | 15035190 | 10842752 |      778  33866 |        0 |        0
970.45/970.87	c  970s |      26 | 15063447 | 10863452 |      778  33918 |        0 |        0
972.46/972.87	c  972s |      26 | 15092141 | 10883952 |      778  33970 |        0 |        0
974.46/974.87	c  974s |      26 | 15120865 | 10904652 |      778  34022 |        0 |        0
976.47/976.88	c  976s |      26 | 15151313 | 10926452 |      778  34077 |        0 |        0
978.46/978.88	c  978s |      26 | 15179392 | 10946952 |      778  34128 |        0 |        0
980.46/980.88	c  980s |      26 | 15213695 | 10969752 |      778  34186 |        0 |        0
982.46/982.89	c  982s |      26 | 15245387 | 10992152 |      778  34243 |        0 |        0
984.46/984.89	c  984s |      26 | 15274801 | 11013552 |      778  34297 |        0 |        0
986.56/986.90	c  986s |      26 | 15304661 | 11035152 |      778  34351 |        0 |        0
988.46/988.90	c  988s |      26 | 15336528 | 11057452 |      778  34408 |        0 |        0
990.56/990.91	c  990s |      26 | 15369645 | 11080252 |      778  34465 |        0 |        0
992.55/992.92	c  992s |      26 | 15402261 | 11101752 |      778  34519 |        0 |        0
994.55/994.92	c  994s |      26 | 15434732 | 11123552 |      778  34574 |        0 |        0
996.55/996.92	c  996s |      26 | 15465666 | 11145052 |      778  34629 |        0 |        0
998.56/998.93	c  998s |      26 | 15496792 | 11166552 |      778  34683 |        0 |        0
1000.55/1000.93	c 1000s |      26 | 15526254 | 11187052 |      778  34734 |        0 |        0
1002.55/1002.94	c 1002s |      26 | 15553439 | 11206952 |      778  34784 |        0 |        0
1004.55/1004.94	c 1004s |      26 | 15578974 | 11226752 |      778  34833 |        0 |        0
1006.55/1006.94	c 1006s |      26 | 15607326 | 11247452 |      778  34885 |        0 |        0
1008.55/1008.95	c 1008s |      26 | 15633618 | 11267352 |      778  34935 |        0 |        0
1010.55/1010.95	c 1010s |      26 | 15661975 | 11288452 |      778  34988 |        0 |        0
1012.55/1012.96	c 1012s |      26 | 15689318 | 11309352 |      778  35041 |        0 |        0
1014.55/1014.96	c 1014s |      26 | 15715993 | 11329452 |      856  35088 |        0 |        0
1016.55/1016.97	c 1016s |      26 | 15741873 | 11349752 |      856  35135 |        0 |        0
1018.55/1018.98	c 1018s |      26 | 15769261 | 11370552 |      856  35183 |        0 |        0
1020.56/1020.98	c 1020s |      26 | 15797774 | 11391352 |      856  35230 |        0 |        0
1021.05/1021.48	c 1021s |      27 | 15805418 | 11396733 |      856  35242 |        0 |        0
1023.05/1023.49	c 1023s |      27 | 15830659 | 11415933 |      856  35286 |        0 |        0
1025.05/1025.49	c 1025s |      27 | 15857377 | 11435333 |      856  35330 |        0 |        0
1027.06/1027.50	c 1027s |      27 | 15885763 | 11455933 |      856  35376 |        0 |        0
1029.15/1029.50	c 1029s |      27 | 15912850 | 11477033 |      856  35424 |        0 |        0
1031.15/1031.51	c 1031s |      27 | 15941180 | 11497433 |      856  35471 |        0 |        0
1033.15/1033.52	c 1033s |      27 | 15970577 | 11517433 |      856  35517 |        0 |        0
1035.15/1035.53	c 1035s |      27 | 16001220 | 11537733 |      856  35563 |        0 |        0
1037.15/1037.53	c 1037s |      27 | 16030078 | 11557633 |      856  35608 |        0 |        0
1039.16/1039.53	c 1039s |      27 | 16057508 | 11577333 |      856  35652 |        0 |        0
1041.15/1041.54	c 1041s |      27 | 16085374 | 11596833 |      856  35697 |        0 |        0
1043.15/1043.55	c 1043s |      27 | 16111931 | 11615933 |      856  35740 |        0 |        0
1045.15/1045.56	c 1045s |      27 | 16137654 | 11635233 |      856  35784 |        0 |        0
1047.15/1047.56	c 1047s |      27 | 16163298 | 11654733 |      856  35829 |        0 |        0
1049.15/1049.56	c 1049s |      27 | 16190307 | 11674833 |      856  35875 |        0 |        0
1051.15/1051.57	c 1051s |      27 | 16218223 | 11694933 |      856  35921 |        0 |        0
1053.15/1053.57	c 1053s |      27 | 16246951 | 11715433 |      856  35967 |        0 |        0
1055.15/1055.58	c 1055s |      27 | 16273332 | 11734333 |      856  36010 |        0 |        0
1057.15/1057.59	c 1057s |      27 | 16301443 | 11754633 |      856  36056 |        0 |        0
1059.14/1059.59	c 1059s |      27 | 16329629 | 11775033 |      856  36102 |        0 |        0
1061.25/1061.61	c 1061s |      27 | 16355766 | 11794633 |      856  36147 |        0 |        0
1063.24/1063.61	c 1063s |      27 | 16382727 | 11814233 |      856  36191 |        0 |        0
1065.24/1065.61	c 1065s |      27 | 16411400 | 11834133 |      856  36237 |        0 |        0
1067.24/1067.62	c 1067s |      27 | 16436978 | 11853533 |      856  36281 |        0 |        0
1069.24/1069.62	c 1069s |      27 | 16463338 | 11873533 |      856  36327 |        0 |        0
1071.24/1071.62	c 1071s |      27 | 16491501 | 11894233 |      856  36375 |        0 |        0
1073.25/1073.63	c 1073s |      27 | 16517869 | 11914033 |      856  36420 |        0 |        0
1075.24/1075.63	c 1075s |      27 | 16545173 | 11933833 |      856  36466 |        0 |        0
1077.24/1077.64	c 1077s |      27 | 16573329 | 11953833 |      856  36511 |        0 |        0
1079.24/1079.65	c 1079s |      27 | 16598258 | 11972733 |      856  36555 |        0 |        0
1081.24/1081.65	c 1081s |      27 | 16621417 | 11990433 |      856  36595 |        0 |        0
1083.25/1083.66	c 1083s |      27 | 16646938 | 12009633 |      856  36639 |        0 |        0
1085.24/1085.66	c 1085s |      27 | 16673013 | 12028533 |      856  36682 |        0 |        0
1087.24/1087.67	c 1087s |      27 | 16697634 | 12048033 |      856  36726 |        0 |        0
1089.24/1089.67	c 1089s |      27 | 16720389 | 12065733 |      856  36767 |        0 |        0
1091.24/1091.67	c 1091s |      27 | 16745322 | 12084433 |      856  36809 |        0 |        0
1093.24/1093.67	c 1093s |      27 | 16771410 | 12103933 |      856  36854 |        0 |        0
1095.24/1095.68	c 1095s |      27 | 16797757 | 12123433 |      856  36898 |        0 |        0
1097.23/1097.69	c 1097s |      27 | 16825090 | 12142733 |      856  36943 |        0 |        0
1099.23/1099.69	c 1099s |      27 | 16854324 | 12163233 |      856  36990 |        0 |        0
1101.33/1101.70	c 1101s |      27 | 16880536 | 12182433 |      856  37034 |        0 |        0
1103.33/1103.71	c 1103s |      27 | 16910408 | 12203133 |      856  37081 |        0 |        0
1105.33/1105.71	c 1105s |      27 | 16938286 | 12222733 |      856  37126 |        0 |        0
1107.34/1107.71	c 1107s |      27 | 16962408 | 12240433 |      856  37167 |        0 |        0
1109.33/1109.72	c 1109s |      27 | 16986232 | 12258233 |      856  37207 |        0 |        0
1111.33/1111.72	c 1111s |      27 | 17008247 | 12276033 |      856  37248 |        0 |        0
1113.33/1113.73	c 1113s |      27 | 17029754 | 12293433 |      856  37288 |        0 |        0
1115.33/1115.74	c 1115s |      27 | 17054134 | 12312633 |      856  37331 |        0 |        0
1117.34/1117.74	c 1117s |      27 | 17080340 | 12332533 |      856  37377 |        0 |        0
1119.33/1119.75	c 1119s |      27 | 17106087 | 12352233 |      856  37422 |        0 |        0
1121.33/1121.76	c 1121s |      27 | 17132954 | 12372133 |      856  37467 |        0 |        0
1123.34/1123.76	c 1123s |      27 | 17160077 | 12392733 |      856  37514 |        0 |        0
1125.34/1125.77	c 1125s |      27 | 17187312 | 12413233 |      856  37561 |        0 |        0
1127.34/1127.77	c 1127s |      27 | 17216416 | 12434233 |      856  37609 |        0 |        0
1129.34/1129.78	c 1129s |      27 | 17242777 | 12454333 |      856  37655 |        0 |        0
1131.34/1131.78	c 1131s |      27 | 17273690 | 12476633 |      856  37706 |        0 |        0
1133.33/1133.78	c 1133s |      27 | 17303885 | 12497833 |      856  37754 |        0 |        0
1135.33/1135.79	c 1135s |      27 | 17332278 | 12518633 |      856  37802 |        0 |        0
1137.33/1137.79	c 1137s |      27 | 17361477 | 12539433 |      856  37850 |        0 |        0
1139.43/1139.80	c 1139s |      27 | 17392283 | 12560433 |      856  37898 |        0 |        0
1141.33/1141.80	c 1141s |      27 | 17419825 | 12580733 |      856  37944 |        0 |        0
1143.43/1143.80	c 1143s |      27 | 17449025 | 12601233 |      856  37991 |        0 |        0
1145.43/1145.81	c 1145s |      27 | 17476198 | 12621333 |      856  38037 |        0 |        0
1147.43/1147.81	c 1147s |      27 | 17503253 | 12641333 |      856  38082 |        0 |        0
1149.43/1149.81	c 1149s |      27 | 17527373 | 12660033 |      856  38124 |        0 |        0
1151.43/1151.82	c 1151s |      27 | 17552545 | 12679233 |      856  38168 |        0 |        0
1153.43/1153.82	c 1153s |      27 | 17575737 | 12697133 |      856  38209 |        0 |        0
1155.43/1155.82	c 1155s |      27 | 17601382 | 12716233 |      856  38252 |        0 |        0
1157.42/1157.82	c 1157s |      27 | 17627467 | 12735533 |      856  38296 |        0 |        0
1159.42/1159.82	c 1159s |      27 | 17652257 | 12754133 |      856  38339 |        0 |        0
1161.43/1161.82	c 1161s |      27 | 17676147 | 12772133 |      856  38380 |        0 |        0
1163.44/1163.82	c 1163s |      27 | 17704794 | 12791933 |      856  38425 |        0 |        0
1165.43/1165.83	c 1165s |      27 | 17730220 | 12810633 |      856  38468 |        0 |        0
1167.43/1167.84	c 1167s |      27 | 17759750 | 12831233 |      856  38515 |        0 |        0
1169.43/1169.84	c 1169s |      27 | 17786229 | 12851433 |      856  38561 |        0 |        0
1171.43/1171.85	c 1171s |      27 | 17811690 | 12871233 |      856  38606 |        0 |        0
1173.44/1173.85	c 1173s |      27 | 17837995 | 12891633 |      856  38653 |        0 |        0
1175.43/1175.85	c 1175s |      27 | 17864872 | 12911933 |      856  38699 |        0 |        0
1177.43/1177.86	c 1177s |      27 | 17891859 | 12931733 |      856  38744 |        0 |        0
1179.43/1179.86	c 1179s |      27 | 17920122 | 12952533 |      856  38792 |        0 |        0
1181.43/1181.87	c 1181s |      27 | 17946801 | 12972733 |      856  38838 |        0 |        0
1183.43/1183.87	c 1183s |      27 | 17974360 | 12992933 |      856  38884 |        0 |        0
1185.43/1185.88	c 1185s |      27 | 18001234 | 13013033 |      856  38930 |        0 |        0
1187.42/1187.88	c 1187s |      27 | 18028599 | 13033933 |      856  38978 |        0 |        0
1189.42/1189.88	c 1189s |      27 | 18057200 | 13054433 |      856  39025 |        0 |        0
1191.42/1191.88	c 1191s |      27 | 18085637 | 13075433 |      856  39073 |        0 |        0
1193.42/1193.89	c 1193s |      27 | 18114009 | 13096133 |      856  39120 |        0 |        0
1195.52/1195.90	c 1195s |      27 | 18141470 | 13116933 |      856  39167 |        0 |        0
1197.42/1197.90	c 1197s |      27 | 18167927 | 13137033 |      856  39213 |        0 |        0
1199.52/1199.91	c 1199s |      27 | 18195085 | 13157633 |      856  39261 |        0 |        0
1201.52/1201.92	c 1201s |      27 | 18222611 | 13177933 |      856  39307 |        0 |        0
1203.53/1203.92	c 1203s |      27 | 18252477 | 13198733 |      856  39355 |        0 |        0
1205.52/1205.92	c 1205s |      27 | 18280663 | 13219433 |      856  39402 |        0 |        0
1207.53/1207.92	c 1207s |      27 | 18306967 | 13239833 |      856  39449 |        0 |        0
1209.52/1209.93	c 1209s |      27 | 18334725 | 13260533 |      856  39497 |        0 |        0
1211.52/1211.93	c 1211s |      27 | 18359434 | 13279833 |      856  39541 |        0 |        0
1213.52/1213.93	c 1213s |      27 | 18385820 | 13299433 |      856  39586 |        0 |        0
1215.52/1215.94	c 1215s |      27 | 18409530 | 13317933 |      856  39628 |        0 |        0
1217.52/1217.95	c 1217s |      27 | 18438852 | 13337833 |      856  39674 |        0 |        0
1219.52/1219.95	c 1219s |      27 | 18466500 | 13357533 |      856  39719 |        0 |        0
1221.52/1221.96	c 1221s |      27 | 18493020 | 13376833 |      856  39763 |        0 |        0
1223.52/1223.97	c 1223s |      27 | 18518989 | 13395933 |      856  39807 |        0 |        0
1225.52/1225.97	c 1225s |      27 | 18544220 | 13414933 |      856  39851 |        0 |        0
1227.52/1227.98	c 1227s |      27 | 18569285 | 13434533 |      856  39896 |        0 |        0
1229.52/1229.99	c 1229s |      27 | 18593154 | 13453333 |      856  39939 |        0 |        0
1231.51/1232.00	c 1231s |      27 | 18617266 | 13472433 |      856  39983 |        0 |        0
1233.61/1234.01	c 1233s |      27 | 18641675 | 13491233 |      856  40025 |        0 |        0
1235.61/1236.01	c 1235s |      27 | 18667837 | 13510433 |      856  40069 |        0 |        0
1237.61/1238.02	c 1238s |      27 | 18695173 | 13530633 |      856  40115 |        0 |        0
1239.61/1240.02	c 1240s |      27 | 18719704 | 13549833 |      856  40159 |        0 |        0
1241.62/1242.03	c 1242s |      27 | 18742705 | 13568133 |      856  40202 |        0 |        0
1243.62/1244.03	c 1244s |      27 | 18768960 | 13587533 |      856  40246 |        0 |        0
1245.62/1246.04	c 1246s |      27 | 18794233 | 13606533 |      856  40289 |        0 |        0
1247.62/1248.05	c 1248s |      27 | 18818660 | 13625333 |      856  40332 |        0 |        0
1249.62/1250.05	c 1250s |      27 | 18844030 | 13644833 |      856  40377 |        0 |        0
1251.62/1252.06	c 1252s |      27 | 18870823 | 13664733 |      856  40422 |        0 |        0
1253.62/1254.07	c 1254s |      27 | 18898294 | 13685433 |      856  40470 |        0 |        0
1255.62/1256.07	c 1256s |      27 | 18924554 | 13705533 |      856  40516 |        0 |        0
1257.62/1258.08	c 1258s |      27 | 18949967 | 13724633 |      856  40559 |        0 |        0
1259.62/1260.08	c 1260s |      27 | 18973828 | 13743733 |      856  40603 |        0 |        0
1261.62/1262.09	c 1262s |      27 | 19000474 | 13763833 |      856  40649 |        0 |        0
1263.62/1264.09	c 1264s |      27 | 19031012 | 13785733 |      856  40699 |        0 |        0
1265.62/1266.10	c 1266s |      27 | 19059413 | 13806933 |      856  40747 |        0 |        0
1267.72/1268.10	c 1268s |      27 | 19084043 | 13826833 |      856  40792 |        0 |        0
1269.72/1270.11	c 1270s |      27 | 19110578 | 13846933 |      856  40838 |        0 |        0
1271.71/1272.12	c 1272s |      27 | 19137385 | 13867233 |      856  40885 |        0 |        0
1273.71/1274.12	c 1274s |      27 | 19164561 | 13887433 |      856  40932 |        0 |        0
1275.72/1276.13	c 1276s |      27 | 19191321 | 13907233 |      856  40977 |        0 |        0
1277.71/1278.13	c 1278s |      27 | 19217520 | 13926833 |      856  41022 |        0 |        0
1279.71/1280.14	c 1280s |      27 | 19244191 | 13947033 |      856  41068 |        0 |        0
1281.71/1282.14	c 1282s |      27 | 19269024 | 13966433 |      856  41112 |        0 |        0
1283.71/1284.15	c 1284s |      27 | 19296509 | 13986233 |      856  41158 |        0 |        0
1285.71/1286.15	c 1286s |      27 | 19323891 | 14006033 |      856  41203 |        0 |        0
1287.72/1288.16	c 1288s |      27 | 19349279 | 14025333 |      856  41247 |        0 |        0
1289.71/1290.16	c 1290s |      27 | 19373582 | 14044533 |      856  41290 |        0 |        0
1291.71/1292.16	c 1292s |      27 | 19398743 | 14063733 |      856  41334 |        0 |        0
1293.71/1294.17	c 1294s |      27 | 19424298 | 14083533 |      856  41379 |        0 |        0
1295.71/1296.17	c 1296s |      27 | 19450395 | 14103333 |      856  41425 |        0 |        0
1297.71/1298.18	c 1298s |      27 | 19475370 | 14122733 |      856  41469 |        0 |        0
1299.71/1300.19	c 1300s |      27 | 19502479 | 14142633 |      856  41515 |        0 |        0
1301.71/1302.20	c 1302s |      27 | 19530301 | 14162833 |      856  41561 |        0 |        0
1303.81/1304.20	c 1304s |      27 | 19558815 | 14182533 |      856  41606 |        0 |        0
1305.81/1306.21	c 1306s |      27 | 19587178 | 14202333 |      856  41651 |        0 |        0
1307.81/1308.21	c 1308s |      27 | 19614136 | 14222133 |      856  41696 |        0 |        0
1309.81/1310.21	c 1310s |      27 | 19642453 | 14242133 |      856  41742 |        0 |        0
1311.80/1312.22	c 1312s |      27 | 19674327 | 14263533 |      856  41791 |        0 |        0
1313.80/1314.23	c 1314s |      27 | 19702123 | 14284033 |      856  41838 |        0 |        0
1315.80/1316.24	c 1316s |      27 | 19732634 | 14305133 |      856  41887 |        0 |        0
1317.80/1318.24	c 1318s |      27 | 19761707 | 14326033 |      856  41934 |        0 |        0
1319.80/1320.25	c 1320s |      27 | 19790585 | 14347033 |      856  41982 |        0 |        0
1321.81/1322.25	c 1322s |      27 | 19817919 | 14366433 |      856  42027 |        0 |        0
1323.80/1324.26	c 1324s |      27 | 19843649 | 14385633 |      856  42070 |        0 |        0
1325.80/1326.27	c 1326s |      27 | 19872506 | 14405933 |      856  42117 |        0 |        0
1327.80/1328.28	c 1328s |      27 | 19898833 | 14425333 |      856  42161 |        0 |        0
1329.80/1330.28	c 1330s |      27 | 19929416 | 14446433 |      856  42210 |        0 |        0
1331.81/1332.29	c 1332s |      27 | 19957759 | 14466533 |      856  42256 |        0 |        0
1333.80/1334.30	c 1334s |      27 | 19985331 | 14486333 |      856  42301 |        0 |        0
1335.90/1336.31	c 1336s |      27 | 20010561 | 14504933 |      856  42344 |        0 |        0
1337.90/1338.32	c 1338s |      27 | 20035761 | 14523333 |      856  42386 |        0 |        0
1339.90/1340.33	c 1340s |      27 | 20059317 | 14541533 |      856  42427 |        0 |        0
1341.90/1342.33	c 1342s |      27 | 20084644 | 14560333 |      856  42471 |        0 |        0
1343.90/1344.34	c 1344s |      27 | 20109252 | 14578533 |      856  42512 |        0 |        0
1345.90/1346.35	c 1346s |      27 | 20134666 | 14597133 |      856  42555 |        0 |        0
1347.90/1348.36	c 1348s |      27 | 20159461 | 14615133 |      856  42596 |        0 |        0
1349.90/1350.37	c 1350s |      27 | 20185443 | 14633633 |      856  42639 |        0 |        0
1351.90/1352.38	c 1352s |      27 | 20216006 | 14654233 |      856  42686 |        0 |        0
1353.90/1354.39	c 1354s |      27 | 20243439 | 14674133 |      856  42732 |        0 |        0
1355.90/1356.40	c 1356s |      27 | 20270526 | 14693633 |      856  42777 |        0 |        0
1357.99/1358.40	c 1358s |      27 | 20295573 | 14712733 |      856  42820 |        0 |        0
1359.99/1360.41	c 1360s |      27 | 20320772 | 14731733 |      856  42864 |        0 |        0
1362.00/1362.42	c 1362s |      27 | 20348384 | 14751633 |      856  42910 |        0 |        0
1364.00/1364.43	c 1364s |      27 | 20371574 | 14769533 |      856  42951 |        0 |        0
1366.00/1366.43	c 1366s |      27 | 20396219 | 14788433 |      856  42994 |        0 |        0
1368.01/1368.44	c 1368s |      27 | 20422447 | 14808433 |      856  43040 |        0 |        0
1370.00/1370.45	c 1370s |      27 | 20449966 | 14828833 |      856  43086 |        0 |        0
1372.00/1372.45	c 1372s |      27 | 20476298 | 14848133 |      856  43130 |        0 |        0
1374.00/1374.46	c 1374s |      27 | 20501569 | 14868133 |      856  43175 |        0 |        0
1376.00/1376.47	c 1376s |      27 | 20528135 | 14888333 |      856  43221 |        0 |        0
1378.00/1378.48	c 1378s |      27 | 20556421 | 14908733 |      856  43268 |        0 |        0
1380.00/1380.49	c 1380s |      27 | 20582324 | 14928633 |      856  43313 |        0 |        0
1381.99/1382.49	c 1382s |      27 | 20609172 | 14947833 |      856  43357 |        0 |        0
1384.09/1384.50	c 1384s |      27 | 20640105 | 14968933 |      856  43405 |        0 |        0
1386.09/1386.50	c 1386s |      27 | 20670490 | 14989733 |      856  43452 |        0 |        0
1388.09/1388.51	c 1388s |      27 | 20696713 | 15009133 |      856  43496 |        0 |        0
1390.10/1390.51	c 1390s |      27 | 20725430 | 15029633 |      856  43543 |        0 |        0
1392.09/1392.51	c 1392s |      27 | 20751287 | 15048633 |      856  43587 |        0 |        0
1394.09/1394.52	c 1394s |      27 | 20779873 | 15068533 |      856  43632 |        0 |        0
1396.09/1396.53	c 1396s |      27 | 20805592 | 15087433 |      856  43675 |        0 |        0
1398.09/1398.54	c 1398s |      27 | 20831881 | 15107033 |      856  43720 |        0 |        0
1400.09/1400.54	c 1400s |      27 | 20859929 | 15127533 |      856  43767 |        0 |        0
1402.10/1402.55	c 1402s |      27 | 20883763 | 15146133 |      856  43810 |        0 |        0
1404.09/1404.56	c 1404s |      27 | 20904487 | 15163133 |      856  43848 |        0 |        0
1406.09/1406.57	c 1406s |      27 | 20926503 | 15180433 |      856  43888 |        0 |        0
1408.09/1408.57	c 1408s |      27 | 20949295 | 15198133 |      856  43928 |        0 |        0
1410.09/1410.58	c 1410s |      27 | 20972860 | 15216933 |      856  43971 |        0 |        0
1412.09/1412.58	c 1412s |      27 | 20993904 | 15234233 |      856  44010 |        0 |        0
1414.09/1414.59	c 1414s |      27 | 21014380 | 15251433 |      856  44049 |        0 |        0
1416.09/1416.59	c 1416s |      27 | 21034820 | 15267733 |      856  44086 |        0 |        0
1418.19/1418.60	c 1418s |      27 | 21054869 | 15284133 |      856  44124 |        0 |        0
1420.19/1420.61	c 1420s |      27 | 21078970 | 15302033 |      856  44164 |        0 |        0
1422.19/1422.61	c 1422s |      27 | 21102365 | 15320333 |      856  44206 |        0 |        0
1424.20/1424.62	c 1424s |      27 | 21129049 | 15339833 |      856  44251 |        0 |        0
1426.19/1426.62	c 1426s |      27 | 21155835 | 15358933 |      856  44294 |        0 |        0
1428.19/1428.62	c 1428s |      27 | 21177348 | 15376233 |      856  44333 |        0 |        0
1430.19/1430.62	c 1430s |      27 | 21198048 | 15392933 |      856  44371 |        0 |        0
1432.19/1432.62	c 1432s |      27 | 21217301 | 15408833 |      856  44407 |        0 |        0
1434.19/1434.63	c 1434s |      27 | 21241043 | 15426633 |      856  44448 |        0 |        0
1436.19/1436.64	c 1436s |      27 | 21268498 | 15445833 |      856  44492 |        0 |        0
1438.19/1438.64	c 1438s |      27 | 21299316 | 15466833 |      856  44540 |        0 |        0
1440.19/1440.65	c 1440s |      27 | 21328915 | 15487733 |      856  44588 |        0 |        0
1442.19/1442.65	c 1442s |      27 | 21355253 | 15507433 |      856  44633 |        0 |        0
1444.19/1444.66	c 1444s |      27 | 21382259 | 15527833 |      856  44679 |        0 |        0
1446.19/1446.66	c 1446s |      27 | 21410107 | 15548333 |      856  44726 |        0 |        0
1448.18/1448.67	c 1448s |      27 | 21436445 | 15568233 |      856  44772 |        0 |        0
1450.18/1450.67	c 1450s |      27 | 21464615 | 15588733 |      856  44819 |        0 |        0
1452.18/1452.68	c 1452s |      27 | 21495760 | 15609833 |      856  44867 |        0 |        0
1454.18/1454.68	c 1454s |      27 | 21523352 | 15629733 |      856  44913 |        0 |        0
1456.18/1456.68	c 1456s |      27 | 21551579 | 15649533 |      856  44958 |        0 |        0
1458.19/1458.69	c 1458s |      27 | 21579909 | 15669433 |      856  45004 |        0 |        0
1460.18/1460.69	c 1460s |      27 | 21602096 | 15687133 |      856  45044 |        0 |        0
1462.18/1462.69	c 1462s |      27 | 21627986 | 15706333 |      856  45088 |        0 |        0
1464.18/1464.69	c 1464s |      27 | 21651703 | 15724033 |      856  45128 |        0 |        0
1466.18/1466.69	c 1466s |      27 | 21678036 | 15743333 |      856  45173 |        0 |        0
1468.28/1468.70	c 1468s |      27 | 21706265 | 15763633 |      856  45219 |        0 |        0
1470.19/1470.70	c 1470s |      27 | 21734077 | 15783933 |      856  45266 |        0 |        0
1472.28/1472.70	c 1472s |      27 | 21761452 | 15804533 |      856  45312 |        0 |        0
1474.28/1474.71	c 1474s |      27 | 21787203 | 15824933 |      856  45359 |        0 |        0
1476.28/1476.72	c 1476s |      27 | 21815215 | 15846033 |      856  45407 |        0 |        0
1478.28/1478.72	c 1478s |      27 | 21842073 | 15866233 |      856  45454 |        0 |        0
1480.29/1480.73	c 1480s |      27 | 21869256 | 15886733 |      856  45500 |        0 |        0
1482.28/1482.73	c 1482s |      27 | 21897938 | 15907633 |      856  45548 |        0 |        0
1484.28/1484.74	c 1484s |      27 | 21926093 | 15928533 |      856  45596 |        0 |        0
1486.28/1486.74	c 1486s |      27 | 21953288 | 15948633 |      856  45642 |        0 |        0
1488.28/1488.74	c 1488s |      27 | 21978253 | 15967933 |      856  45686 |        0 |        0
1490.28/1490.74	c 1490s |      27 | 22003508 | 15987133 |      856  45730 |        0 |        0
1492.28/1492.75	c 1492s |      27 | 22031570 | 16007533 |      856  45777 |        0 |        0
1494.28/1494.76	c 1494s |      27 | 22056222 | 16026733 |      856  45821 |        0 |        0
1496.27/1496.76	c 1496s |      27 | 22086438 | 16048033 |      856  45869 |        0 |        0
1498.27/1498.77	c 1498s |      27 | 22115231 | 16069033 |      856  45917 |        0 |        0
1500.27/1500.77	c 1500s |      27 | 22144131 | 16089833 |      856  45965 |        0 |        0
1502.28/1502.77	c 1502s |      27 | 22175084 | 16111833 |      856  46015 |        0 |        0
1504.27/1504.78	c 1504s |      27 | 22203893 | 16133233 |      856  46064 |        0 |        0
1506.27/1506.78	c 1506s |      27 | 22233518 | 16154533 |      856  46113 |        0 |        0
1508.27/1508.79	c 1508s |      27 | 22261031 | 16175433 |      856  46161 |        0 |        0
1510.28/1510.79	c 1510s |      27 | 22291721 | 16197233 |      856  46211 |        0 |        0
1512.38/1512.80	c 1512s |      27 | 22319845 | 16217833 |      856  46258 |        0 |        0
1514.29/1514.80	c 1514s |      27 | 22349660 | 16239433 |      856  46308 |        0 |        0
1516.38/1516.81	c 1516s |      27 | 22378278 | 16259733 |      856  46355 |        0 |        0
1518.38/1518.81	c 1518s |      27 | 22404081 | 16279333 |      856  46400 |        0 |        0
1520.37/1520.81	c 1520s |      27 | 22431577 | 16299133 |      856  46445 |        0 |        0
1522.37/1522.81	c 1522s |      27 | 22459660 | 16319533 |      856  46492 |        0 |        0
1524.37/1524.82	c 1524s |      27 | 22488666 | 16340133 |      856  46539 |        0 |        0
1526.38/1526.83	c 1526s |      27 | 22515872 | 16360533 |      856  46586 |        0 |        0
1528.37/1528.84	c 1528s |      27 | 22541967 | 16380333 |      856  46631 |        0 |        0
1530.37/1530.84	c 1530s |      27 | 22568068 | 16400133 |      856  46677 |        0 |        0
1532.37/1532.84	c 1532s |      27 | 22595671 | 16420233 |      856  46723 |        0 |        0
1534.37/1534.85	c 1534s |      27 | 22623615 | 16440833 |      856  46770 |        0 |        0
1536.38/1536.86	c 1536s |      27 | 22648086 | 16459933 |      856  46814 |        0 |        0
1538.37/1538.86	c 1538s |      27 | 22674411 | 16479933 |      856  46860 |        0 |        0
1540.37/1540.86	c 1540s |      27 | 22701131 | 16500433 |      856  46907 |        0 |        0
1542.37/1542.88	c 1542s |      27 | 22727742 | 16520533 |      856  46954 |        0 |        0
1544.37/1544.88	c 1544s |      27 | 22754325 | 16541133 |      856  47001 |        0 |        0
1546.37/1546.88	c 1546s |      27 | 22782254 | 16562233 |      856  47050 |        0 |        0
1548.37/1548.88	c 1548s |      27 | 22811336 | 16583433 |      856  47099 |        0 |        0
1550.37/1550.89	c 1550s |      27 | 22838609 | 16603433 |      856  47144 |        0 |        0
1552.37/1552.89	c 1552s |      27 | 22867321 | 16623833 |      856  47191 |        0 |        0
1554.46/1554.90	c 1554s |      27 | 22893292 | 16643733 |      856  47237 |        0 |        0
1556.46/1556.91	c 1556s |      27 | 22918050 | 16662933 |      856  47281 |        0 |        0
1558.46/1558.91	c 1558s |      27 | 22945859 | 16683033 |      856  47327 |        0 |        0
1560.47/1560.91	c 1560s |      27 | 22973206 | 16703233 |      856  47373 |        0 |        0
1562.46/1562.92	c 1562s |      27 | 23001301 | 16723533 |      856  47420 |        0 |        0
1564.46/1564.92	c 1564s |      27 | 23029850 | 16743833 |      856  47466 |        0 |        0
1566.47/1566.93	c 1566s |      27 | 23059174 | 16764433 |      856  47514 |        0 |        0
1568.47/1568.93	c 1568s |      27 | 23085249 | 16783933 |      856  47558 |        0 |        0
1570.48/1570.94	c 1570s |      27 | 23109181 | 16802633 |      856  47601 |        0 |        0
1572.47/1572.94	c 1572s |      27 | 23135497 | 16822433 |      856  47646 |        0 |        0
1574.47/1574.95	c 1574s |      27 | 23160240 | 16841633 |      856  47690 |        0 |        0
1576.47/1576.96	c 1576s |      27 | 23185791 | 16861133 |      856  47735 |        0 |        0
1578.47/1578.96	c 1578s |      27 | 23216180 | 16881933 |      856  47783 |        0 |        0
1580.46/1580.97	c 1580s |      27 | 23245555 | 16902733 |      856  47831 |        0 |        0
1582.47/1582.97	c 1582s |      27 | 23272475 | 16922833 |      856  47877 |        0 |        0
1584.46/1584.97	c 1584s |      27 | 23300379 | 16943433 |      856  47924 |        0 |        0
1586.46/1586.98	c 1586s |      27 | 23328743 | 16963933 |      856  47972 |        0 |        0
1588.46/1588.98	c 1588s |      27 | 23353876 | 16983033 |      942  48013 |        0 |        0
1590.46/1590.99	c 1590s |      27 | 23380940 | 17002633 |      942  48054 |        0 |        0
1592.47/1592.99	c 1592s |      27 | 23404434 | 17020833 |      942  48092 |        0 |        0
1594.46/1595.00	c 1594s |      27 | 23428230 | 17039033 |      942  48131 |        0 |        0
1596.56/1597.00	c 1596s |      27 | 23453821 | 17058133 |      942  48170 |        0 |        0
1598.56/1599.00	c 1598s |      27 | 23478696 | 17077033 |      942  48210 |        0 |        0
1600.36/1600.86	c 1600s |      28 | 23503193 | 17095205 |      942  48248 |        0 |        0
1602.37/1602.87	c 1602s |      28 | 23526947 | 17113605 |      942  48285 |        0 |        0
1604.36/1604.87	c 1604s |      28 | 23555039 | 17133805 |      942  48327 |        0 |        0
1606.36/1606.88	c 1606s |      28 | 23580135 | 17152905 |      942  48366 |        0 |        0
1608.36/1608.88	c 1608s |      28 | 23603361 | 17171105 |      942  48403 |        0 |        0
1610.36/1610.89	c 1610s |      28 | 23626585 | 17188905 |      942  48439 |        0 |        0
1612.36/1612.89	c 1612s |      28 | 23651110 | 17207005 |      942  48476 |        0 |        0
1614.37/1614.90	c 1614s |      28 | 23675695 | 17225405 |      942  48514 |        0 |        0
1616.46/1616.91	c 1616s |      28 | 23702957 | 17244905 |      942  48554 |        0 |        0
1618.46/1618.91	c 1618s |      28 | 23729145 | 17263905 |      942  48593 |        0 |        0
1620.46/1620.91	c 1620s |      28 | 23757233 | 17283105 |      942  48633 |        0 |        0
1622.46/1622.92	c 1622s |      28 | 23781454 | 17301705 |      942  48671 |        0 |        0
1624.46/1624.92	c 1624s |      28 | 23807964 | 17321205 |      942  48710 |        0 |        0
1626.47/1626.93	c 1626s |      28 | 23830499 | 17338905 |      942  48747 |        0 |        0
1628.46/1628.93	c 1628s |      28 | 23854880 | 17357605 |      942  48785 |        0 |        0
1630.46/1630.94	c 1630s |      28 | 23880699 | 17376405 |      942  48824 |        0 |        0
1632.46/1632.94	c 1632s |      28 | 23907915 | 17395905 |      942  48865 |        0 |        0
1634.46/1634.95	c 1634s |      28 | 23932913 | 17414705 |      942  48904 |        0 |        0
1636.46/1636.95	c 1636s |      28 | 23956299 | 17432805 |      942  48941 |        0 |        0
1638.46/1638.96	c 1638s |      28 | 23983734 | 17452505 |      942  48982 |        0 |        0
1640.45/1640.97	c 1640s |      28 | 24009546 | 17471305 |      942  49021 |        0 |        0
1642.45/1642.97	c 1642s |      28 | 24035695 | 17490705 |      942  49062 |        0 |        0
1644.45/1644.98	c 1644s |      28 | 24061903 | 17509505 |      942  49101 |        0 |        0
1646.45/1646.99	c 1646s |      28 | 24089423 | 17529105 |      942  49142 |        0 |        0
1648.46/1649.00	c 1648s |      28 | 24112123 | 17547205 |      942  49179 |        0 |        0
1650.55/1651.00	c 1650s |      28 | 24134001 | 17564705 |      942  49216 |        0 |        0
1652.55/1653.00	c 1652s |      28 | 24157186 | 17582305 |      942  49252 |        0 |        0
1654.55/1655.01	c 1654s |      28 | 24182703 | 17601105 |      942  49291 |        0 |        0
1656.55/1657.01	c 1656s |      28 | 24209585 | 17620305 |      942  49331 |        0 |        0
1658.55/1659.02	c 1659s |      28 | 24234871 | 17639005 |      942  49370 |        0 |        0
1660.56/1661.03	c 1661s |      28 | 24261452 | 17658005 |      942  49409 |        0 |        0
1662.55/1663.04	c 1663s |      28 | 24286943 | 17676805 |      942  49448 |        0 |        0
1664.55/1665.04	c 1665s |      28 | 24309796 | 17694805 |      942  49486 |        0 |        0
1666.55/1667.05	c 1667s |      28 | 24335329 | 17713405 |      942  49524 |        0 |        0
1668.55/1669.05	c 1669s |      28 | 24359388 | 17731505 |      942  49562 |        0 |        0
1670.56/1671.06	c 1671s |      28 | 24388500 | 17751005 |      942  49603 |        0 |        0
1672.55/1673.07	c 1673s |      28 | 24415802 | 17770305 |      942  49643 |        0 |        0
1674.55/1675.07	c 1675s |      28 | 24443668 | 17790105 |      942  49684 |        0 |        0
1676.55/1677.08	c 1677s |      28 | 24469053 | 17809105 |      942  49723 |        0 |        0
1678.55/1679.09	c 1679s |      28 | 24496086 | 17828605 |      942  49764 |        0 |        0
1680.55/1681.09	c 1681s |      28 | 24523074 | 17848305 |      942  49805 |        0 |        0
1682.55/1683.09	c 1683s |      28 | 24549482 | 17867805 |      942  49846 |        0 |        0
1684.65/1685.10	c 1685s |      28 | 24578808 | 17888305 |      942  49888 |        0 |        0
1686.64/1687.11	c 1687s |      28 | 24604158 | 17907805 |      942  49928 |        0 |        0
1688.64/1689.12	c 1689s |      28 | 24629605 | 17927205 |      942  49969 |        0 |        0
1690.64/1691.13	c 1691s |      28 | 24655480 | 17946505 |      942  50008 |        0 |        0
1692.64/1693.13	c 1693s |      28 | 24679741 | 17964905 |      942  50047 |        0 |        0
1694.65/1695.14	c 1695s |      28 | 24707330 | 17985005 |      942  50089 |        0 |        0
1696.64/1697.14	c 1697s |      28 | 24734295 | 18004505 |      942  50129 |        0 |        0
1698.64/1699.15	c 1699s |      28 | 24756193 | 18021705 |      942  50165 |        0 |        0
1700.64/1701.15	c 1701s |      28 | 24776613 | 18038505 |      942  50200 |        0 |        0
1702.64/1703.16	c 1703s |      28 | 24800085 | 18056305 |      942  50237 |        0 |        0
1704.66/1705.16	c 1705s |      28 | 24825908 | 18074805 |      942  50275 |        0 |        0
1706.65/1707.17	c 1707s |      28 | 24852700 | 18094305 |      942  50316 |        0 |        0
1708.65/1709.18	c 1709s |      28 | 24881235 | 18114405 |      942  50357 |        0 |        0
1710.65/1711.19	c 1711s |      28 | 24907093 | 18134005 |      942  50398 |        0 |        0
1712.65/1713.19	c 1713s |      28 | 24931942 | 18153105 |      942  50437 |        0 |        0
1714.75/1715.20	c 1715s |      28 | 24958544 | 18172905 |      942  50478 |        0 |        0
1716.75/1717.21	c 1717s |      28 | 24982108 | 18191205 |      942  50516 |        0 |        0
1718.74/1719.21	c 1719s |      28 | 25007905 | 18210405 |      942  50556 |        0 |        0
1720.74/1721.22	c 1721s |      28 | 25031804 | 18229005 |      942  50595 |        0 |        0
1722.74/1723.22	c 1723s |      28 | 25057579 | 18248405 |      942  50635 |        0 |        0
1724.74/1725.23	c 1725s |      28 | 25083709 | 18268205 |      942  50676 |        0 |        0
1726.74/1727.23	c 1727s |      28 | 25111181 | 18288205 |      942  50718 |        0 |        0
1728.75/1729.24	c 1729s |      28 | 25136590 | 18307105 |      942  50757 |        0 |        0
1730.74/1731.25	c 1731s |      28 | 25160456 | 18325505 |      942  50795 |        0 |        0
1732.74/1733.25	c 1733s |      28 | 25186609 | 18344805 |      942  50836 |        0 |        0
1734.74/1735.26	c 1735s |      28 | 25211973 | 18363605 |      942  50875 |        0 |        0
1736.74/1737.26	c 1737s |      28 | 25239352 | 18383505 |      942  50916 |        0 |        0
1738.75/1739.27	c 1739s |      28 | 25265115 | 18402505 |      942  50956 |        0 |        0
1740.74/1741.28	c 1741s |      28 | 25290861 | 18421805 |      942  50996 |        0 |        0
1742.74/1743.28	c 1743s |      28 | 25314171 | 18439905 |      942  51034 |        0 |        0
1744.74/1745.29	c 1745s |      28 | 25338503 | 18458805 |      942  51073 |        0 |        0
1746.84/1747.30	c 1747s |      28 | 25363345 | 18477305 |      942  51111 |        0 |        0
1748.84/1749.30	c 1749s |      28 | 25386672 | 18495505 |      942  51149 |        0 |        0
1750.74/1751.30	c 1751s |      28 | 25408974 | 18512805 |      942  51185 |        0 |        0
1752.84/1753.31	c 1753s |      28 | 25430851 | 18529905 |      942  51220 |        0 |        0
1754.84/1755.31	c 1755s |      28 | 25452143 | 18546705 |      942  51255 |        0 |        0
1756.84/1757.31	c 1757s |      28 | 25475105 | 18564505 |      942  51292 |        0 |        0
1758.84/1759.32	c 1759s |      28 | 25498074 | 18582405 |      942  51329 |        0 |        0
1760.84/1761.33	c 1761s |      28 | 25523103 | 18600905 |      942  51368 |        0 |        0
1762.84/1763.34	c 1763s |      28 | 25549420 | 18620005 |      942  51407 |        0 |        0
1764.83/1765.34	c 1765s |      28 | 25574711 | 18639105 |      942  51446 |        0 |        0
1766.83/1767.34	c 1767s |      28 | 25601376 | 18658405 |      942  51486 |        0 |        0
1768.83/1769.35	c 1769s |      28 | 25627533 | 18677805 |      942  51527 |        0 |        0
1770.83/1771.35	c 1771s |      28 | 25652576 | 18697105 |      942  51567 |        0 |        0
1772.84/1773.35	c 1773s |      28 | 25677996 | 18716105 |      942  51606 |        0 |        0
1774.83/1775.36	c 1775s |      28 | 25702447 | 18734705 |      942  51645 |        0 |        0
1776.83/1777.37	c 1777s |      28 | 25725120 | 18752605 |      942  51682 |        0 |        0
1778.83/1779.37	c 1779s |      28 | 25748426 | 18770705 |      942  51720 |        0 |        0
1780.83/1781.38	c 1781s |      28 | 25773006 | 18789305 |      942  51758 |        0 |        0
1782.83/1783.39	c 1783s |      28 | 25796261 | 18807505 |      942  51796 |        0 |        0
1784.84/1785.39	c 1785s |      28 | 25823248 | 18826205 |      942  51834 |        0 |        0
1786.93/1787.40	c 1787s |      28 | 25850157 | 18845105 |      942  51873 |        0 |        0
1788.93/1789.41	c 1789s |      28 | 25875960 | 18863405 |      942  51911 |        0 |        0
1790.94/1791.41	c 1791s |      28 | 25900131 | 18881405 |      942  51948 |        0 |        0
1792.94/1793.41	c 1793s |      28 | 25924607 | 18899705 |      942  51986 |        0 |        0
1794.94/1795.42	c 1795s |      28 | 25950367 | 18919405 |      942  52027 |        0 |        0
1796.94/1797.43	c 1797s |      28 | 25976446 | 18938605 |      942  52067 |        0 |        0
1798.93/1799.44	c 1799s |      28 | 26001972 | 18957005 |      942  52106 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4095798-1466095897/watcher-4095798-1466095897 -o /tmp/evaluation-result-4095798-1466095897/solver-4095798-1466095897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095798-1466095897.opb 

pid=23971
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.02 2.01 2.01 3/178 23974
/proc/meminfo: memFree=31822772/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 2556 0 0 0 0 0 0 0 20 0 4 0 11639611 703000576 2916 33554432000 4194304 16246674 140733504270656 140733504270080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23974/statm: 172399 2925 441 2943 0 169293 0
[pid=23974/tid=23975] ppid=23971 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 721874944 2985 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 727117824 3005 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11639611 731312128 3022 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 2.02 2.01 2.01 3/178 23974
/proc/meminfo: memFree=31822772/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 23266 0 0 0 6 3 0 0 20 0 4 0 11639611 1247350784 23615 33554432000 4194304 16246674 140733504270656 140733504270080 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23974/statm: 304529 23624 707 2943 0 301423 0
[pid=23974/tid=23975] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 23632 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 23637 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 23644 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200436 s]
/proc/loadavg: 2.02 2.01 2.01 3/178 23974
/proc/meminfo: memFree=31822772/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 45196 0 0 0 12 7 0 0 20 0 4 0 11639611 1247350784 45546 33554432000 4194304 16246674 140733504270656 140733504270080 5708022 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23974/statm: 304529 45556 707 2943 0 301423 0
[pid=23974/tid=23975] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 45561 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 45562 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 45562 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300417 s]
/proc/loadavg: 2.02 2.01 2.01 3/178 23974
/proc/meminfo: memFree=31822772/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 66918 0 0 0 19 10 0 0 20 0 4 0 11639611 1247350784 67268 33554432000 4194304 16246674 140733504270656 140733504270080 5677541 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23974/statm: 304529 67278 708 2943 0 301423 0
[pid=23974/tid=23975] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 67283 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 67290 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 67294 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700384 s]
/proc/loadavg: 2.02 2.01 2.01 3/178 23974
/proc/meminfo: memFree=31822772/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 155288 0 0 0 44 24 0 0 20 0 4 0 11639611 1247350784 155637 33554432000 4194304 16246674 140733504270656 140733504253656 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 304529 155646 708 2943 0 301423 0
[pid=23974/tid=23975] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 155655 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 155661 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 155666 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.02 2.01 2.01 4/183 23979
/proc/meminfo: memFree=29868040/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 245471 0 0 0 110 39 0 0 20 0 4 0 11639611 1247350784 245800 33554432000 4194304 16246674 140733504270656 140733504253424 6861720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 304529 245800 782 2943 0 301423 0
[pid=23974/tid=23975] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 245800 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 245800 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1247350784 245800 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.02 2.01 2.01 4/183 23979
/proc/meminfo: memFree=29690968/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267383 0 0 0 267 42 0 0 20 0 4 0 11639611 1337528320 267712 33554432000 4194304 16246674 140733504270656 140733504253656 13192920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267712 782 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267712 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267712 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267712 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.02 2.01 2.01 4/183 23979
/proc/meminfo: memFree=29690212/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267411 0 0 0 587 42 0 0 20 0 4 0 11639611 1337528320 267740 33554432000 4194304 16246674 140733504270656 140733504253656 5972836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267740 782 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267740 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267740 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267740 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.01 4/183 23979
/proc/meminfo: memFree=29690992/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267412 0 0 0 1226 42 0 0 20 0 4 0 11639611 1337528320 267741 33554432000 4194304 16246674 140733504270656 140733504253656 5754700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267741 782 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267741 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267741 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267741 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.16 2.04 2.02 4/183 23979
/proc/meminfo: memFree=29692272/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267427 0 0 0 2506 42 0 0 20 0 4 0 11639611 1337528320 267756 33554432000 4194304 16246674 140733504270656 140733504253656 5708451 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267756 783 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267756 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267756 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267756 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.10 2.04 2.02 3/183 24028
/proc/meminfo: memFree=29693228/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267430 0 0 0 5064 44 0 0 20 0 4 0 11639611 1337528320 267759 33554432000 4194304 16246674 140733504270656 140733504253656 5722842 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267759 783 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267759 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267759 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267759 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.04 2.03 2.01 3/183 24029
/proc/meminfo: memFree=29692364/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267452 0 0 0 10181 46 0 0 20 0 4 0 11639611 1337528320 267768 33554432000 4194304 16246674 140733504270656 140733504252544 5667855 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267768 787 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267768 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267768 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267768 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24082
/proc/meminfo: memFree=29684916/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=1361.9 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267878 0 0 0 136117 73 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 140733504253656 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267874 788 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24083
/proc/meminfo: memFree=29685540/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=1421.9 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267878 0 0 0 142116 74 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 140733504253656 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267874 788 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 24084
/proc/meminfo: memFree=29685436/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=1481.88 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267878 0 0 0 148113 75 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 140733504253656 5827682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267874 788 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267874 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 24086
/proc/meminfo: memFree=29685448/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1306180 CPUtime=1541.88 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267902 0 0 0 154112 76 0 0 20 0 4 0 11639611 1337528320 267898 33554432000 4194304 16246674 140733504270656 140733504253656 6010344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326545 267898 788 2943 0 323439 0
[pid=23974/tid=23975] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267898 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267898 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1337528320 267898 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24087
/proc/meminfo: memFree=29684968/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1601.86 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267955 0 0 0 160109 77 0 0 20 0 4 0 11639611 1338576896 267951 33554432000 4194304 16246674 140733504270656 140733504253656 5717716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267951 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267951 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267951 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267951 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24088
/proc/meminfo: memFree=29684720/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1661.85 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267987 0 0 0 166107 78 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 140733504253656 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267983 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/184 24092
/proc/meminfo: memFree=29684228/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1721.84 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267987 0 0 0 172105 79 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 140733504253656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267983 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 24093
/proc/meminfo: memFree=29684368/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1781.83 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267987 0 0 0 178104 79 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 140733504253656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267983 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24095
/proc/meminfo: memFree=29684572/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267987 0 0 0 179923 80 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 140733504253656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267983 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 23974 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24095
/proc/meminfo: memFree=29684572/32872528 swapFree=162364/176672
[pid=23974] ppid=23971 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/23974/stat : 23974 (toysat) R 23971 23974 23926 0 -1 4202496 267987 0 0 0 179923 80 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 140733504253656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23974/statm: 326801 267983 788 2943 0 323695 0
[pid=23974/tid=23975] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23975/stat : 23975 (toysat) S 23971 23974 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700633316592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23974/tid=23977] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23977/stat : 23977 (toysat) S 23971 23974 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700622826736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23974/tid=23978] ppid=23971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23974/task/23978/stat : 23978 (toysat) S 23971 23974 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11639611 1338576896 267983 33554432000 4194304 16246674 140733504270656 139700612353200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.24
CPU system time (s): 0.802877
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.802877
maximum resident set size= 1071932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267987
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= 351
involuntary context switches= 2318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00709 second user time and 7.51786 second system time

The end

Begin job on node105 at 2016-06-16 18:51:37
IDJOB=4095798
IDBENCH=107523
IDSOLVER=2542
FILE ID=node105/4095798-1466095897
RUNJOBID= node105-1466095897-23942
PBS_JOBID= 19904031
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095798-1466095897/watcher-4095798-1466095897 -o /tmp/evaluation-result-4095798-1466095897/solver-4095798-1466095897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095798-1466095897.opb

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

MD5SUM BENCH= f26437eb0afc65a498cf0a93d7373e88
RANDOM SEED=1436063692

node105.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.561
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	: 5333.12
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.561
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.561
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.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31835652 kB
Buffers:           38480 kB
Cached:           118468 kB
SwapCached:         1468 kB
Active:            89916 kB
Inactive:          70376 kB
Active(anon):       3824 kB
Inactive(anon):     1624 kB
Active(file):      86092 kB
Inactive(file):    68752 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097208 kB
Dirty:             32808 kB
Writeback:             0 kB
AnonPages:        178480 kB
Mapped:             6852 kB
Shmem:                 0 kB
Slab:             569468 kB
SReclaimable:      12888 kB
SUnreclaim:       556580 kB
KernelStack:        1360 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     272740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71716 MiB
End job on node105 at 2016-06-16 19:21:37