0.00/0.00	c 2016-06-16T13:43:53+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","--wbo","--search=bcd2","HOME/instance-4093306-1466077433.wbo"]
0.00/0.01	c use --random-gen="4176556688 3884697697 1326264496 2328610847 3596612333 1268072644 1830851415 3898820218 1527819929 424508096 1900092799 2262202284 1915600821 2443563875 2367436279 2615915532 3176327431 143483530 2429872094 295525581 2718271444 2106893559 2004687221 3188916601 3455768951 3669292270 249080271 3011811479 2188274836 1420267306 2098187552 1425788655 443007887 1140436494 1216692858 2466928487 1334854611 36965522 716006385 3017313983 3307689124 196966444 443639291 3803804162 4236099833 3114826965 2736832183 251610663 2876652051 2850634612 403719316 2329973497 268670388 2237447472 475414401 743005454 2561268295 2749914416 3376758356 1704686515 164923477 2371089902 1957298552 3001177094 2430859339 2383581030 2880626596 1408924063 167901241 4055069545 151452156 378503779 2242476300 2024692253 1185763246 3082223326 2412876079 248581333 1494242330 2833904659 1771183487 1570088724 3205637249 4141109282 623507696 2681036073 1955983445 2806944137 4188005479 2810082384 1834333527 1688766271 2285118869 1523215855 1504326303 1978965705 993879615 2421460197 3310457934 3956313656 789662381 3881214998 1451468736 2529107556 3710957732 1327867237 720621691 603155553 555527708 4001806919 3334023259 4046279683 1884791715 650996430 3875327056 3412717449 3579785757 3828082982 1596815236 2011049226 3885341271 1116803932 1944529905 1814548231 1787083560 472798378 4039466015 3861599450 2455908682 4072147625 2993317025 2116647269 3079865899 3845072967 230048347 2484204101 1748960815 1686072469 912884835 4106661453 3008783463 1541914721 2730212602 4247815367 978578660 760378551 1579873737 3738496966 779472062 3163324302 4089661909 3112107142 371987662 922798536 3395737195 3862309822 2797722839 3340079886 3114881816 66640486 1794547668 2422394490 2278223854 3669908069 1451250750 1448691671 779555460 2465944803 195767332 323494963 2591187041 2675672018 1621355747 1740296241 2298082517 1916243653 2161936936 3911585505 2670997426 3378182566 2008267641 2153492109 401865364 968137101 710833836 3206697376 232103761 1030501878 59429540 1833364261 3086139105 3548615233 2631006103 3589729317 1112862061 2128570015 3390882582 1354510316 1689711853 3046017321 1605184611 4176442375 4202944269 432664839 1517463466 867391998 2788731115 226690198 1609541882 4122192000 1608631714 2031540033 1200975758 2185304589 1624667796 1366747870 2679613062 2095198098 3404765566 3602229987 3824111914 491163535 2080667909 2919344840 1961905093 3247629280 2476388577 4010300043 3232169265 263736094 4193267652 3778537639 4182779589 463481191 1604520741 3321019365 1277360937 581165005 2884025988 2407770272 1078617355 47262868 3357715645 15785296 2848834471 2229577920 575630705 21414868 2973484227 165623562 2805691026 3116017633 3661529723 758035244 2982687428 448818522 255 362436" option to reproduce the execution
0.00/0.03	c #vars 480
0.00/0.03	c #constraints 62
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      188      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      155 |      100 |      188      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      413 |      101 |      207      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.017s
0.00/0.05	c #wall_clock_time = 0.017s
0.00/0.05	c #decision = 413
0.00/0.05	c #random_decision = 2
0.00/0.05	c #conflict = 101
0.00/0.05	c #restart = 1
0.00/0.05	o 446
0.00/0.05	c BCD2: updating upper bound: 1065 -> 445
0.00/0.05	c BCD2: 0 <= obj <= 445
0.00/0.05	c BCD2: #cores=0, #unrelaxed=22, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      207      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      242 |      100 |      207      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      648 |      250 |      228      0 |        0 |        0
0.09/0.19	c  0.1s |       3 |     1109 |      475 |      251      1 |        0 |        0
0.19/0.29	c  0.2s |       4 |     1642 |      813 |      277      3 |        0 |        0
0.39/0.46	c  0.4s |       5 |     2410 |     1320 |      305      5 |        0 |        0
0.59/0.65	c  0.6s |       6 |     3428 |     2081 |      336      8 |        0 |        0
0.89/0.94	c  0.9s |       7 |     4928 |     3223 |      370     12 |        0 |        0
1.29/1.31	c  1.3s |       8 |     7126 |     4936 |      408     18 |        0 |        0
1.99/2.01	c  2.0s |       9 |    11324 |     7506 |      449     27 |        0 |        0
2.99/3.09	c  3.0s |      10 |    18697 |    11361 |      494     39 |        0 |        0
4.69/4.78	c  4.7s |      11 |    30199 |    17144 |      544     58 |        0 |        0
6.70/6.80	c  6.7s |      11 |    39196 |    23644 |      544     78 |        0 |        0
7.39/7.45	c  7.4s |      12 |    41714 |    25819 |      599     84 |        0 |        0
9.39/9.46	c  9.4s |      12 |    52244 |    32619 |      599    103 |        0 |        0
11.39/11.41	c 11.4s |      13 |    60222 |    38832 |      659    120 |        0 |        0
13.39/13.43	c 13.4s |      13 |    69248 |    45332 |      659    137 |        0 |        0
15.40/15.44	c 15.4s |      13 |    76859 |    51832 |      659    154 |        0 |        0
17.39/17.45	c 17.4s |      13 |    84124 |    58032 |      725    170 |        0 |        0
17.49/17.55	c 17.5s |      14 |    84495 |    58352 |      725    170 |        0 |        0
19.49/19.59	c 19.5s |      14 |    93523 |    64752 |      725    186 |        0 |        0
21.49/21.59	c 21.5s |      14 |   101190 |    71352 |      725    201 |        0 |        0
23.59/23.62	c 23.6s |      14 |   108675 |    77852 |      725    216 |        0 |        0
25.59/25.64	c 25.6s |      14 |   115942 |    83952 |      725    231 |        0 |        0
26.69/26.76	c 26.7s |      15 |   120130 |    87632 |      798    239 |        0 |        0
28.69/28.76	c 28.7s |      15 |   128015 |    94132 |      798    253 |        0 |        0
30.68/30.79	c 30.7s |      15 |   137474 |   100732 |      798    268 |        0 |        0
32.78/32.82	c 32.8s |      15 |   145896 |   107032 |      798    282 |        0 |        0
34.78/34.83	c 34.8s |      15 |   153075 |   113332 |      798    295 |        0 |        0
36.78/36.84	c 36.8s |      15 |   160345 |   119432 |      798    309 |        0 |        0
38.78/38.87	c 38.8s |      15 |   168631 |   125832 |      798    323 |        0 |        0
40.69/40.71	c 40.7s |      16 |   175133 |   131552 |      878    335 |        0 |        0
42.67/42.72	c 42.7s |      16 |   185098 |   137652 |      878    348 |        0 |        0
44.67/44.72	c 44.7s |      16 |   192549 |   143752 |      878    360 |        0 |        0
46.67/46.76	c 46.7s |      16 |   199643 |   149352 |      878    371 |        0 |        0
48.67/48.76	c 48.7s |      16 |   206693 |   155552 |      878    384 |        0 |        0
50.68/50.77	c 50.7s |      16 |   214014 |   162052 |      878    397 |        0 |        0
52.67/52.77	c 52.7s |      16 |   221661 |   168752 |      878    411 |        0 |        0
54.67/54.79	c 54.7s |      16 |   229058 |   175252 |      878    425 |        0 |        0
56.67/56.80	c 56.7s |      16 |   236280 |   181452 |      878    438 |        0 |        0
58.77/58.83	c 58.8s |      16 |   242930 |   187252 |      878    449 |        0 |        0
60.77/60.86	c 60.8s |      16 |   249623 |   192952 |      878    461 |        0 |        0
62.46/62.52	c 62.5s |      17 |   255123 |   197432 |      966    470 |        0 |        0
64.46/64.52	c 64.5s |      17 |   261872 |   203032 |      966    480 |        0 |        0
66.46/66.53	c 66.5s |      17 |   268524 |   208532 |      966    491 |        0 |        0
68.46/68.56	c 68.5s |      17 |   275170 |   214232 |      966    501 |        0 |        0
70.48/70.56	c 70.5s |      17 |   282003 |   220132 |      966    513 |        0 |        0
72.46/72.57	c 72.5s |      17 |   289201 |   226532 |      966    525 |        0 |        0
74.46/74.59	c 74.5s |      17 |   296603 |   233032 |      966    537 |        0 |        0
76.56/76.61	c 76.6s |      17 |   303189 |   238832 |      966    548 |        0 |        0
78.56/78.64	c 78.6s |      17 |   310091 |   244832 |      966    559 |        0 |        0
80.56/80.65	c 80.6s |      17 |   317032 |   250932 |      966    571 |        0 |        0
82.56/82.67	c 82.6s |      17 |   323862 |   256632 |      966    582 |        0 |        0
84.56/84.67	c 84.6s |      17 |   330200 |   262132 |      966    592 |        0 |        0
86.56/86.68	c 86.6s |      17 |   336739 |   267932 |      966    603 |        0 |        0
88.66/88.70	c 88.7s |      17 |   342983 |   273432 |      966    614 |        0 |        0
90.66/90.70	c 90.7s |      17 |   349431 |   279132 |      966    624 |        0 |        0
92.65/92.71	c 92.7s |      17 |   356013 |   284932 |      966    636 |        0 |        0
94.65/94.73	c 94.7s |      17 |   362680 |   290732 |      966    647 |        0 |        0
96.65/96.77	c 96.7s |      17 |   368907 |   296232 |     1063    657 |        0 |        0
96.65/96.78	c 96.7s |      18 |   368925 |   296252 |     1063    657 |        0 |        0
98.65/98.79	c 98.7s |      18 |   376446 |   301952 |     1063    666 |        0 |        0
100.75/100.81	c  100s |      18 |   383726 |   307552 |     1063    676 |        0 |        0
102.75/102.83	c  102s |      18 |   390653 |   312852 |     1063    685 |        0 |        0
104.75/104.85	c  104s |      18 |   397145 |   317952 |     1063    694 |        0 |        0
106.75/106.86	c  106s |      18 |   404404 |   323352 |     1063    703 |        0 |        0
108.74/108.89	c  108s |      18 |   411397 |   328052 |     1063    711 |        0 |        0
110.84/110.92	c  110s |      18 |   417368 |   333152 |     1063    720 |        0 |        0
112.84/112.95	c  112s |      18 |   423552 |   337852 |     1063    728 |        0 |        0
114.84/114.95	c  114s |      18 |   429003 |   342352 |     1063    735 |        0 |        0
116.84/116.99	c  116s |      18 |   435464 |   347252 |     1063    743 |        0 |        0
118.94/119.02	c  118s |      18 |   442270 |   352752 |     1063    753 |        0 |        0
120.94/121.04	c  120s |      18 |   449169 |   358352 |     1063    762 |        0 |        0
122.93/123.05	c  123s |      18 |   455796 |   363952 |     1063    771 |        0 |        0
124.93/125.07	c  125s |      18 |   462915 |   369952 |     1063    781 |        0 |        0
127.03/127.10	c  127s |      18 |   469447 |   375452 |     1063    791 |        0 |        0
129.03/129.11	c  129s |      18 |   476065 |   381252 |     1063    800 |        0 |        0
131.03/131.13	c  131s |      18 |   482849 |   387152 |     1063    810 |        0 |        0
133.03/133.15	c  133s |      18 |   489426 |   392852 |     1063    820 |        0 |        0
135.02/135.16	c  135s |      18 |   495822 |   398452 |     1063    830 |        0 |        0
137.02/137.17	c  137s |      18 |   502459 |   404252 |     1063    839 |        0 |        0
139.02/139.18	c  139s |      18 |   509135 |   410052 |     1063    849 |        0 |        0
141.12/141.22	c  141s |      18 |   516027 |   416052 |     1063    860 |        0 |        0
143.12/143.25	c  143s |      18 |   521568 |   420952 |     1063    868 |        0 |        0
145.12/145.28	c  145s |      18 |   527548 |   425952 |     1063    876 |        0 |        0
147.11/147.29	c  147s |      18 |   533792 |   431252 |     1063    885 |        0 |        0
149.21/149.31	c  149s |      18 |   540044 |   436552 |     1063    894 |        0 |        0
151.21/151.32	c  151s |      18 |   546207 |   441752 |     1170    903 |        0 |        0
152.21/152.31	c  152s |      19 |   549459 |   444482 |     1170    907 |        0 |        0
154.21/154.35	c  154s |      19 |   557023 |   450282 |     1170    916 |        0 |        0
156.22/156.35	c  156s |      19 |   563885 |   456282 |     1170    925 |        0 |        0
158.22/158.37	c  158s |      19 |   570493 |   461982 |     1170    934 |        0 |        0
160.32/160.40	c  160s |      19 |   577565 |   468082 |     1170    943 |        0 |        0
162.32/162.41	c  162s |      19 |   584435 |   473982 |     1170    953 |        0 |        0
164.32/164.42	c  164s |      19 |   591462 |   480182 |     1170    962 |        0 |        0
166.32/166.43	c  166s |      19 |   598410 |   486182 |     1170    972 |        0 |        0
168.32/168.45	c  168s |      19 |   605131 |   492082 |     1170    981 |        0 |        0
170.32/170.45	c  170s |      19 |   612209 |   498282 |     1170    991 |        0 |        0
172.31/172.47	c  172s |      19 |   619018 |   504182 |     1170   1000 |        0 |        0
174.31/174.48	c  174s |      19 |   625800 |   510082 |     1170   1009 |        0 |        0
176.31/176.48	c  176s |      19 |   631891 |   515282 |     1170   1017 |        0 |        0
178.41/178.50	c  178s |      19 |   637852 |   520482 |     1170   1025 |        0 |        0
180.41/180.53	c  180s |      19 |   644054 |   525782 |     1170   1034 |        0 |        0
182.40/182.55	c  182s |      19 |   650346 |   531282 |     1170   1042 |        0 |        0
184.40/184.59	c  184s |      19 |   656678 |   536482 |     1170   1050 |        0 |        0
186.50/186.63	c  186s |      19 |   662892 |   541782 |     1170   1059 |        0 |        0
188.50/188.64	c  188s |      19 |   669437 |   547382 |     1170   1067 |        0 |        0
190.50/190.68	c  190s |      19 |   676031 |   553082 |     1170   1076 |        0 |        0
192.59/192.70	c  192s |      19 |   684897 |   559282 |     1170   1086 |        0 |        0
194.60/194.70	c  194s |      19 |   693307 |   565482 |     1170   1095 |        0 |        0
196.59/196.73	c  196s |      19 |   701622 |   571582 |     1170   1105 |        0 |        0
198.59/198.75	c  198s |      19 |   707796 |   576982 |     1170   1113 |        0 |        0
200.59/200.76	c  200s |      19 |   714432 |   582282 |     1170   1121 |        0 |        0
202.59/202.78	c  202s |      19 |   720435 |   587282 |     1170   1129 |        0 |        0
204.59/204.78	c  204s |      19 |   726143 |   592182 |     1170   1137 |        0 |        0
206.58/206.79	c  206s |      19 |   732267 |   597182 |     1170   1144 |        0 |        0
208.58/208.79	c  208s |      19 |   738791 |   602782 |     1170   1153 |        0 |        0
210.68/210.81	c  210s |      19 |   744942 |   608082 |     1170   1161 |        0 |        0
212.68/212.83	c  212s |      19 |   751252 |   613582 |     1170   1170 |        0 |        0
214.68/214.88	c  214s |      19 |   757733 |   619282 |     1170   1179 |        0 |        0
216.68/216.90	c  216s |      19 |   764262 |   624982 |     1170   1188 |        0 |        0
218.68/218.90	c  218s |      19 |   770413 |   630382 |     1170   1196 |        0 |        0
220.78/220.91	c  220s |      19 |   777125 |   636282 |     1170   1205 |        0 |        0
222.77/222.91	c  222s |      19 |   783599 |   641982 |     1170   1214 |        0 |        0
224.77/224.92	c  224s |      19 |   790370 |   647882 |     1170   1223 |        0 |        0
226.77/226.93	c  226s |      19 |   797421 |   653582 |     1170   1232 |        0 |        0
228.78/228.96	c  228s |      19 |   804137 |   658882 |     1170   1240 |        0 |        0
230.77/230.98	c  230s |      19 |   809794 |   663482 |     1287   1247 |        0 |        0
232.07/232.28	c  232s |      20 |   813826 |   666827 |     1287   1252 |        0 |        0
234.07/234.29	c  234s |      20 |   821382 |   672427 |     1287   1260 |        0 |        0
236.17/236.32	c  236s |      20 |   827934 |   677927 |     1287   1268 |        0 |        0
238.16/238.33	c  238s |      20 |   834528 |   683227 |     1287   1276 |        0 |        0
240.16/240.34	c  240s |      20 |   840215 |   688227 |     1287   1283 |        0 |        0
242.16/242.38	c  242s |      20 |   846185 |   693527 |     1287   1290 |        0 |        0
244.26/244.41	c  244s |      20 |   852129 |   698827 |     1287   1298 |        0 |        0
246.26/246.45	c  246s |      20 |   857835 |   704027 |     1287   1305 |        0 |        0
248.26/248.48	c  248s |      20 |   864263 |   709627 |     1287   1314 |        0 |        0
250.26/250.49	c  250s |      20 |   870732 |   715327 |     1287   1322 |        0 |        0
252.36/252.53	c  252s |      20 |   876829 |   720727 |     1287   1330 |        0 |        0
254.36/254.55	c  254s |      20 |   882726 |   725927 |     1287   1337 |        0 |        0
256.36/256.57	c  256s |      20 |   888967 |   731427 |     1287   1345 |        0 |        0
258.36/258.58	c  258s |      20 |   894751 |   736527 |     1287   1352 |        0 |        0
260.46/260.60	c  260s |      20 |   900748 |   741827 |     1287   1360 |        0 |        0
262.45/262.63	c  262s |      20 |   906869 |   747227 |     1287   1368 |        0 |        0
264.45/264.67	c  264s |      20 |   912679 |   752427 |     1287   1375 |        0 |        0
266.45/266.67	c  266s |      20 |   918536 |   757627 |     1287   1383 |        0 |        0
268.45/268.69	c  268s |      20 |   924509 |   763027 |     1287   1390 |        0 |        0
270.46/270.69	c  270s |      20 |   931295 |   768927 |     1287   1399 |        0 |        0
272.54/272.71	c  272s |      20 |   936848 |   773927 |     1287   1406 |        0 |        0
274.54/274.71	c  274s |      20 |   942805 |   779227 |     1287   1414 |        0 |        0
276.54/276.73	c  276s |      20 |   948645 |   784427 |     1287   1421 |        0 |        0
278.54/278.76	c  278s |      20 |   954432 |   789527 |     1287   1429 |        0 |        0
280.54/280.80	c  280s |      20 |   959938 |   794327 |     1287   1436 |        0 |        0
282.54/282.80	c  282s |      20 |   966227 |   799727 |     1287   1443 |        0 |        0
284.63/284.81	c  284s |      20 |   972029 |   804827 |     1287   1451 |        0 |        0
286.63/286.82	c  286s |      20 |   977755 |   809827 |     1287   1458 |        0 |        0
288.63/288.85	c  288s |      20 |   983739 |   815027 |     1287   1465 |        0 |        0
290.63/290.88	c  290s |      20 |   989559 |   820027 |     1287   1472 |        0 |        0
292.73/292.90	c  292s |      20 |   995211 |   825027 |     1287   1480 |        0 |        0
294.73/294.91	c  294s |      20 |  1000983 |   830127 |     1287   1487 |        0 |        0
296.72/296.91	c  296s |      20 |  1006925 |   835327 |     1287   1494 |        0 |        0
298.72/298.91	c  298s |      20 |  1012610 |   840427 |     1287   1502 |        0 |        0
300.72/300.92	c  300s |      20 |  1018178 |   845327 |     1287   1509 |        0 |        0
302.72/302.92	c  302s |      20 |  1023925 |   850427 |     1287   1516 |        0 |        0
304.73/304.93	c  304s |      20 |  1029703 |   855427 |     1287   1523 |        0 |        0
306.73/306.96	c  306s |      20 |  1035759 |   860727 |     1287   1531 |        0 |        0
308.83/309.00	c  308s |      20 |  1041406 |   865727 |     1287   1538 |        0 |        0
310.83/311.00	c  310s |      20 |  1047034 |   870727 |     1287   1546 |        0 |        0
312.82/313.00	c  312s |      20 |  1052745 |   875827 |     1287   1553 |        0 |        0
314.82/315.04	c  314s |      20 |  1058421 |   880927 |     1287   1560 |        0 |        0
316.82/317.05	c  317s |      20 |  1064216 |   886027 |     1287   1568 |        0 |        0
318.83/319.08	c  319s |      20 |  1070064 |   891227 |     1287   1575 |        0 |        0
320.92/321.11	c  321s |      20 |  1076464 |   896627 |     1287   1583 |        0 |        0
322.92/323.13	c  323s |      20 |  1083085 |   902427 |     1287   1591 |        0 |        0
324.92/325.15	c  325s |      20 |  1089826 |   908327 |     1287   1600 |        0 |        0
326.92/327.17	c  327s |      20 |  1096121 |   913927 |     1287   1608 |        0 |        0
328.92/329.17	c  329s |      20 |  1102485 |   919627 |     1287   1616 |        0 |        0
330.92/331.17	c  331s |      20 |  1108943 |   925327 |     1287   1624 |        0 |        0
332.91/333.18	c  333s |      20 |  1115468 |   931127 |     1287   1633 |        0 |        0
334.91/335.18	c  335s |      20 |  1122426 |   937127 |     1287   1641 |        0 |        0
337.01/337.21	c  337s |      20 |  1128519 |   942627 |     1287   1648 |        0 |        0
339.01/339.21	c  339s |      20 |  1134626 |   948127 |     1287   1654 |        0 |        0
341.01/341.25	c  341s |      20 |  1140968 |   953727 |     1287   1661 |        0 |        0
343.01/343.27	c  343s |      20 |  1147151 |   959227 |     1287   1668 |        0 |        0
345.11/345.30	c  345s |      20 |  1153439 |   964727 |     1287   1675 |        0 |        0
347.10/347.31	c  347s |      20 |  1159278 |   970027 |     1287   1682 |        0 |        0
349.10/349.35	c  349s |      20 |  1165402 |   975327 |     1287   1689 |        0 |        0
351.10/351.36	c  351s |      20 |  1171184 |   980427 |     1287   1695 |        0 |        0
353.10/353.37	c  353s |      20 |  1177223 |   985827 |     1287   1702 |        0 |        0
355.20/355.41	c  355s |      20 |  1183519 |   991427 |     1287   1709 |        0 |        0
357.20/357.44	c  357s |      20 |  1189535 |   996727 |     1416   1715 |        0 |        0
358.70/358.92	c  358s |      21 |  1193591 |  1000345 |     1416   1719 |        0 |        0
360.70/360.95	c  360s |      21 |  1201843 |  1006745 |     1416   1728 |        0 |        0
362.69/362.99	c  362s |      21 |  1209383 |  1013045 |     1416   1736 |        0 |        0
364.69/365.00	c  364s |      21 |  1216064 |  1018845 |     1416   1743 |        0 |        0
366.79/367.00	c  366s |      21 |  1223167 |  1024945 |     1416   1751 |        0 |        0
368.79/369.00	c  368s |      21 |  1230795 |  1031245 |     1416   1759 |        0 |        0
370.79/371.00	c  370s |      21 |  1237556 |  1037145 |     1416   1766 |        0 |        0
372.79/373.04	c  372s |      21 |  1244340 |  1042945 |     1416   1773 |        0 |        0
374.78/375.07	c  375s |      21 |  1251030 |  1048645 |     1416   1781 |        0 |        0
376.78/377.09	c  377s |      21 |  1257518 |  1054045 |     1416   1787 |        0 |        0
378.88/379.10	c  379s |      21 |  1264376 |  1059545 |     1416   1794 |        0 |        0
380.88/381.12	c  381s |      21 |  1270502 |  1064545 |     1416   1801 |        0 |        0
382.87/383.13	c  383s |      21 |  1277784 |  1070545 |     1416   1808 |        0 |        0
384.88/385.15	c  385s |      21 |  1284876 |  1076445 |     1416   1815 |        0 |        0
386.87/387.15	c  387s |      21 |  1291894 |  1082245 |     1416   1823 |        0 |        0
388.87/389.18	c  389s |      21 |  1298331 |  1087745 |     1416   1830 |        0 |        0
390.87/391.18	c  391s |      21 |  1304854 |  1093345 |     1416   1837 |        0 |        0
392.87/393.19	c  393s |      21 |  1311603 |  1098945 |     1416   1844 |        0 |        0
394.87/395.19	c  395s |      21 |  1318188 |  1104645 |     1416   1851 |        0 |        0
396.87/397.20	c  397s |      21 |  1324174 |  1109845 |     1416   1858 |        0 |        0
398.96/399.20	c  399s |      21 |  1329983 |  1114845 |     1416   1864 |        0 |        0
400.96/401.20	c  401s |      21 |  1335879 |  1119945 |     1416   1871 |        0 |        0
402.96/403.22	c  403s |      21 |  1341683 |  1125045 |     1416   1877 |        0 |        0
404.96/405.23	c  405s |      21 |  1347100 |  1129745 |     1416   1883 |        0 |        0
406.96/407.25	c  407s |      21 |  1352517 |  1134445 |     1416   1889 |        0 |        0
408.96/409.28	c  409s |      21 |  1358459 |  1139645 |     1416   1896 |        0 |        0
411.06/411.30	c  411s |      21 |  1364038 |  1144545 |     1416   1902 |        0 |        0
413.05/413.32	c  413s |      21 |  1370278 |  1149845 |     1416   1909 |        0 |        0
415.05/415.35	c  415s |      21 |  1376005 |  1154845 |     1416   1916 |        0 |        0
417.05/417.37	c  417s |      21 |  1381720 |  1159845 |     1416   1922 |        0 |        0
419.05/419.38	c  419s |      21 |  1387083 |  1164445 |     1416   1928 |        0 |        0
421.16/421.42	c  421s |      21 |  1392510 |  1169145 |     1416   1934 |        0 |        0
423.15/423.42	c  423s |      21 |  1398237 |  1173845 |     1416   1940 |        0 |        0
425.15/425.45	c  425s |      21 |  1403488 |  1178545 |     1416   1946 |        0 |        0
427.15/427.47	c  427s |      21 |  1408517 |  1182945 |     1416   1952 |        0 |        0
429.25/429.50	c  429s |      21 |  1413747 |  1187545 |     1416   1957 |        0 |        0
431.24/431.52	c  431s |      21 |  1419310 |  1192445 |     1416   1964 |        0 |        0
433.25/433.56	c  433s |      21 |  1424529 |  1197045 |     1416   1970 |        0 |        0
435.24/435.56	c  435s |      21 |  1430231 |  1201945 |     1416   1976 |        0 |        0
437.24/437.59	c  437s |      21 |  1435936 |  1206945 |     1416   1982 |        0 |        0
439.34/439.62	c  439s |      21 |  1441361 |  1211745 |     1416   1988 |        0 |        0
441.33/441.65	c  441s |      21 |  1446550 |  1216245 |     1416   1994 |        0 |        0
443.33/443.68	c  443s |      21 |  1451909 |  1220845 |     1416   2000 |        0 |        0
445.43/445.70	c  445s |      21 |  1456962 |  1225145 |     1416   2006 |        0 |        0
447.44/447.73	c  447s |      21 |  1462096 |  1229645 |     1416   2011 |        0 |        0
449.43/449.79	c  449s |      21 |  1466642 |  1233645 |     1416   2016 |        0 |        0
451.53/451.81	c  451s |      21 |  1472608 |  1238745 |     1416   2023 |        0 |        0
453.53/453.83	c  453s |      21 |  1478655 |  1243845 |     1416   2030 |        0 |        0
455.53/455.87	c  455s |      21 |  1484450 |  1248845 |     1416   2036 |        0 |        0
457.63/457.90	c  457s |      21 |  1490059 |  1253745 |     1416   2042 |        0 |        0
459.64/459.94	c  459s |      21 |  1495674 |  1258645 |     1416   2049 |        0 |        0
461.62/461.96	c  461s |      21 |  1501481 |  1263645 |     1416   2055 |        0 |        0
463.62/463.98	c  463s |      21 |  1507536 |  1268645 |     1416   2061 |        0 |        0
465.72/466.01	c  465s |      21 |  1513402 |  1273845 |     1416   2068 |        0 |        0
467.72/468.02	c  467s |      21 |  1518921 |  1278745 |     1416   2074 |        0 |        0
469.72/470.07	c  470s |      21 |  1524856 |  1283845 |     1416   2081 |        0 |        0
471.82/472.10	c  472s |      21 |  1530788 |  1288945 |     1416   2088 |        0 |        0
473.83/474.13	c  474s |      21 |  1537331 |  1294345 |     1416   2094 |        0 |        0
475.82/476.17	c  476s |      21 |  1544535 |  1299545 |     1416   2101 |        0 |        0
477.82/478.19	c  478s |      21 |  1550199 |  1304545 |     1416   2108 |        0 |        0
479.92/480.22	c  480s |      21 |  1555774 |  1309345 |     1416   2114 |        0 |        0
481.91/482.23	c  482s |      21 |  1561659 |  1314245 |     1416   2120 |        0 |        0
483.91/484.25	c  484s |      21 |  1567628 |  1319345 |     1416   2127 |        0 |        0
485.92/486.28	c  486s |      21 |  1573045 |  1323945 |     1416   2133 |        0 |        0
488.01/488.30	c  488s |      21 |  1578556 |  1328745 |     1416   2139 |        0 |        0
490.01/490.31	c  490s |      21 |  1584063 |  1333645 |     1416   2145 |        0 |        0
492.01/492.35	c  492s |      21 |  1589646 |  1338645 |     1416   2152 |        0 |        0
494.00/494.36	c  494s |      21 |  1595043 |  1343445 |     1416   2158 |        0 |        0
496.00/496.37	c  496s |      21 |  1600266 |  1348145 |     1416   2164 |        0 |        0
498.01/498.40	c  498s |      21 |  1605194 |  1352545 |     1416   2169 |        0 |        0
500.10/500.41	c  500s |      21 |  1609968 |  1356845 |     1416   2175 |        0 |        0
502.10/502.42	c  502s |      21 |  1616050 |  1362045 |     1416   2182 |        0 |        0
504.10/504.45	c  504s |      21 |  1621873 |  1367145 |     1416   2188 |        0 |        0
506.10/506.47	c  506s |      21 |  1627654 |  1372145 |     1416   2195 |        0 |        0
508.19/508.50	c  508s |      21 |  1633730 |  1377345 |     1416   2201 |        0 |        0
510.20/510.52	c  510s |      21 |  1639341 |  1382245 |     1416   2208 |        0 |        0
512.19/512.56	c  512s |      21 |  1644697 |  1386945 |     1416   2214 |        0 |        0
514.20/514.56	c  514s |      21 |  1649923 |  1391545 |     1416   2220 |        0 |        0
516.30/516.61	c  516s |      21 |  1654497 |  1395645 |     1416   2225 |        0 |        0
518.30/518.65	c  518s |      21 |  1659427 |  1400045 |     1416   2230 |        0 |        0
520.30/520.67	c  520s |      21 |  1664701 |  1404645 |     1416   2236 |        0 |        0
522.30/522.69	c  522s |      21 |  1669952 |  1409145 |     1416   2242 |        0 |        0
524.40/524.71	c  524s |      21 |  1676163 |  1414445 |     1416   2249 |        0 |        0
526.39/526.72	c  526s |      21 |  1681985 |  1419345 |     1416   2255 |        0 |        0
528.39/528.72	c  528s |      21 |  1687933 |  1424445 |     1416   2262 |        0 |        0
530.39/530.75	c  530s |      21 |  1693248 |  1429045 |     1416   2268 |        0 |        0
532.38/532.75	c  532s |      21 |  1699012 |  1433945 |     1416   2274 |        0 |        0
534.39/534.79	c  534s |      21 |  1704897 |  1438945 |     1416   2280 |        0 |        0
536.49/536.82	c  536s |      21 |  1710512 |  1443845 |     1416   2287 |        0 |        0
538.48/538.85	c  538s |      21 |  1716011 |  1448645 |     1416   2293 |        0 |        0
540.48/540.88	c  540s |      21 |  1721705 |  1453545 |     1416   2299 |        0 |        0
542.48/542.89	c  542s |      21 |  1728095 |  1459145 |     1416   2306 |        0 |        0
544.58/544.90	c  544s |      21 |  1733728 |  1464145 |     1416   2313 |        0 |        0
546.57/546.93	c  546s |      21 |  1738915 |  1468745 |     1416   2319 |        0 |        0
548.58/548.96	c  548s |      21 |  1744848 |  1474045 |     1416   2326 |        0 |        0
550.57/550.99	c  550s |      21 |  1750763 |  1479145 |     1416   2332 |        0 |        0
552.67/553.00	c  552s |      21 |  1756498 |  1484045 |     1416   2338 |        0 |        0
554.67/555.03	c  554s |      21 |  1762463 |  1489245 |     1416   2345 |        0 |        0
556.67/557.04	c  556s |      21 |  1768479 |  1494245 |     1558   2351 |        0 |        0
558.67/559.05	c  559s |      21 |  1773912 |  1498945 |     1558   2356 |        0 |        0
559.47/559.81	c  559s |      22 |  1775835 |  1500622 |     1558   2358 |        0 |        0
561.46/561.82	c  561s |      22 |  1783158 |  1505622 |     1558   2364 |        0 |        0
563.46/563.86	c  563s |      22 |  1790403 |  1510222 |     1558   2369 |        0 |        0
565.46/565.89	c  565s |      22 |  1795613 |  1514222 |     1558   2374 |        0 |        0
567.56/567.94	c  567s |      22 |  1801394 |  1519222 |     1558   2380 |        0 |        0
569.57/569.97	c  569s |      22 |  1807205 |  1523822 |     1558   2385 |        0 |        0
571.67/572.01	c  571s |      22 |  1812545 |  1528322 |     1558   2390 |        0 |        0
573.66/574.04	c  573s |      22 |  1817643 |  1532322 |     1558   2395 |        0 |        0
575.66/576.04	c  575s |      22 |  1823172 |  1536522 |     1558   2400 |        0 |        0
577.65/578.06	c  578s |      22 |  1828614 |  1540822 |     1558   2404 |        0 |        0
579.65/580.07	c  580s |      22 |  1834032 |  1545122 |     1558   2409 |        0 |        0
581.75/582.12	c  582s |      22 |  1839830 |  1549622 |     1558   2415 |        0 |        0
583.76/584.14	c  584s |      22 |  1846108 |  1554322 |     1558   2420 |        0 |        0
585.75/586.16	c  586s |      22 |  1851880 |  1558922 |     1558   2425 |        0 |        0
587.75/588.18	c  588s |      22 |  1857717 |  1563722 |     1558   2431 |        0 |        0
589.85/590.22	c  590s |      22 |  1863653 |  1568522 |     1558   2436 |        0 |        0
591.84/592.22	c  592s |      22 |  1868699 |  1572622 |     1558   2441 |        0 |        0
593.84/594.23	c  594s |      22 |  1874338 |  1577222 |     1558   2446 |        0 |        0
595.85/596.25	c  596s |      22 |  1879954 |  1581922 |     1558   2452 |        0 |        0
597.84/598.27	c  598s |      22 |  1886486 |  1586722 |     1558   2457 |        0 |        0
599.94/600.31	c  600s |      22 |  1893231 |  1591722 |     1558   2463 |        0 |        0
601.93/602.37	c  602s |      22 |  1899089 |  1596222 |     1558   2468 |        0 |        0
603.93/604.39	c  604s |      22 |  1904769 |  1600522 |     1558   2473 |        0 |        0
606.03/606.41	c  606s |      22 |  1911239 |  1605622 |     1558   2479 |        0 |        0
608.04/608.43	c  608s |      22 |  1916461 |  1609722 |     1558   2484 |        0 |        0
610.03/610.46	c  610s |      22 |  1922137 |  1614222 |     1558   2489 |        0 |        0
612.13/612.51	c  612s |      22 |  1928007 |  1618722 |     1558   2494 |        0 |        0
614.14/614.56	c  614s |      22 |  1934656 |  1623422 |     1558   2500 |        0 |        0
616.24/616.60	c  616s |      22 |  1938902 |  1627122 |     1558   2504 |        0 |        0
618.24/618.62	c  618s |      22 |  1944667 |  1631622 |     1558   2509 |        0 |        0
620.24/620.65	c  620s |      22 |  1951673 |  1636422 |     1558   2515 |        0 |        0
622.24/622.67	c  622s |      22 |  1957189 |  1640522 |     1558   2519 |        0 |        0
624.23/624.69	c  624s |      22 |  1962921 |  1644922 |     1558   2525 |        0 |        0
626.33/626.72	c  626s |      22 |  1968995 |  1649222 |     1558   2529 |        0 |        0
628.33/628.74	c  628s |      22 |  1974370 |  1653522 |     1558   2534 |        0 |        0
630.33/630.76	c  630s |      22 |  1979917 |  1658122 |     1558   2540 |        0 |        0
632.42/632.81	c  632s |      22 |  1985750 |  1662722 |     1558   2545 |        0 |        0
634.43/634.83	c  634s |      22 |  1992902 |  1667622 |     1558   2551 |        0 |        0
636.42/636.84	c  636s |      22 |  2000536 |  1672822 |     1558   2557 |        0 |        0
638.42/638.86	c  638s |      22 |  2006365 |  1677822 |     1558   2563 |        0 |        0
640.42/640.89	c  640s |      22 |  2012487 |  1683022 |     1558   2569 |        0 |        0
642.52/642.91	c  642s |      22 |  2018434 |  1688122 |     1558   2575 |        0 |        0
644.52/644.93	c  644s |      22 |  2023945 |  1693022 |     1558   2580 |        0 |        0
646.52/646.96	c  646s |      22 |  2029183 |  1697722 |     1558   2586 |        0 |        0
648.62/649.01	c  648s |      22 |  2033847 |  1701922 |     1558   2591 |        0 |        0
650.61/651.03	c  650s |      22 |  2039211 |  1706622 |     1558   2596 |        0 |        0
652.61/653.03	c  652s |      22 |  2044335 |  1711022 |     1558   2601 |        0 |        0
654.61/655.09	c  655s |      22 |  2049463 |  1715222 |     1558   2606 |        0 |        0
656.71/657.10	c  657s |      22 |  2055149 |  1719722 |     1558   2612 |        0 |        0
658.71/659.12	c  659s |      22 |  2061151 |  1724722 |     1558   2617 |        0 |        0
660.71/661.13	c  661s |      22 |  2068204 |  1729422 |     1558   2623 |        0 |        0
662.70/663.14	c  663s |      22 |  2075432 |  1734722 |     1558   2629 |        0 |        0
664.70/665.16	c  665s |      22 |  2082608 |  1739822 |     1558   2635 |        0 |        0
666.70/667.18	c  667s |      22 |  2088629 |  1744222 |     1558   2640 |        0 |        0
668.80/669.21	c  669s |      22 |  2094191 |  1748522 |     1558   2645 |        0 |        0
670.80/671.25	c  671s |      22 |  2100047 |  1752922 |     1558   2650 |        0 |        0
672.80/673.25	c  673s |      22 |  2106122 |  1757422 |     1558   2655 |        0 |        0
674.79/675.27	c  675s |      22 |  2111975 |  1761622 |     1558   2660 |        0 |        0
676.79/677.30	c  677s |      22 |  2118793 |  1766122 |     1558   2666 |        0 |        0
678.89/679.34	c  679s |      22 |  2124731 |  1771122 |     1558   2671 |        0 |        0
680.89/681.35	c  681s |      22 |  2129558 |  1775322 |     1558   2676 |        0 |        0
682.89/683.38	c  683s |      22 |  2134937 |  1779722 |     1558   2681 |        0 |        0
684.99/685.43	c  685s |      22 |  2140221 |  1784122 |     1558   2687 |        0 |        0
686.98/687.45	c  687s |      22 |  2145167 |  1788222 |     1558   2691 |        0 |        0
689.08/689.50	c  689s |      22 |  2149764 |  1792122 |     1558   2696 |        0 |        0
691.08/691.56	c  691s |      22 |  2155083 |  1796022 |     1558   2700 |        0 |        0
693.18/693.60	c  693s |      22 |  2160798 |  1800422 |     1558   2705 |        0 |        0
695.18/695.63	c  695s |      22 |  2165501 |  1804522 |     1558   2710 |        0 |        0
697.18/697.66	c  697s |      22 |  2170877 |  1808822 |     1558   2715 |        0 |        0
699.19/699.69	c  699s |      22 |  2177636 |  1813622 |     1558   2721 |        0 |        0
701.28/701.72	c  701s |      22 |  2183687 |  1818222 |     1558   2726 |        0 |        0
703.28/703.77	c  703s |      22 |  2189057 |  1822522 |     1558   2731 |        0 |        0
705.28/705.79	c  705s |      22 |  2195156 |  1827322 |     1558   2736 |        0 |        0
707.38/707.82	c  707s |      22 |  2200696 |  1832022 |     1558   2742 |        0 |        0
709.38/709.82	c  709s |      22 |  2205359 |  1836122 |     1558   2746 |        0 |        0
711.39/711.83	c  711s |      22 |  2210297 |  1840322 |     1558   2751 |        0 |        0
713.38/713.85	c  713s |      22 |  2215316 |  1844722 |     1558   2756 |        0 |        0
715.38/715.87	c  715s |      22 |  2220847 |  1849122 |     1558   2761 |        0 |        0
717.38/717.88	c  717s |      22 |  2226118 |  1853222 |     1558   2766 |        0 |        0
719.48/719.91	c  719s |      22 |  2231112 |  1857322 |     1558   2771 |        0 |        0
721.48/721.91	c  721s |      22 |  2235661 |  1861122 |     1558   2775 |        0 |        0
723.48/723.93	c  723s |      22 |  2240878 |  1865422 |     1558   2780 |        0 |        0
725.48/725.97	c  725s |      22 |  2246264 |  1869922 |     1558   2785 |        0 |        0
727.58/728.00	c  727s |      22 |  2251636 |  1874322 |     1558   2790 |        0 |        0
729.58/730.00	c  729s |      22 |  2256568 |  1878422 |     1558   2795 |        0 |        0
731.58/732.02	c  731s |      22 |  2262244 |  1882722 |     1558   2800 |        0 |        0
733.58/734.04	c  733s |      22 |  2268261 |  1887022 |     1558   2805 |        0 |        0
735.59/736.05	c  736s |      22 |  2273624 |  1891222 |     1558   2810 |        0 |        0
737.58/738.06	c  738s |      22 |  2279805 |  1895422 |     1558   2815 |        0 |        0
739.58/740.06	c  740s |      22 |  2285594 |  1899722 |     1558   2820 |        0 |        0
741.58/742.07	c  742s |      22 |  2291170 |  1903622 |     1558   2824 |        0 |        0
743.58/744.08	c  744s |      22 |  2298059 |  1909222 |     1558   2831 |        0 |        0
745.68/746.10	c  746s |      22 |  2303495 |  1913922 |     1558   2836 |        0 |        0
747.69/748.12	c  748s |      22 |  2308963 |  1918622 |     1558   2842 |        0 |        0
749.68/750.13	c  750s |      22 |  2315281 |  1923422 |     1558   2847 |        0 |        0
751.68/752.16	c  752s |      22 |  2321999 |  1928422 |     1558   2853 |        0 |        0
753.68/754.17	c  754s |      22 |  2328050 |  1933222 |     1558   2858 |        0 |        0
755.68/756.19	c  756s |      22 |  2333793 |  1937822 |     1558   2864 |        0 |        0
757.68/758.19	c  758s |      22 |  2339309 |  1942122 |     1558   2869 |        0 |        0
759.78/760.22	c  760s |      22 |  2344978 |  1946922 |     1558   2874 |        0 |        0
761.77/762.23	c  762s |      22 |  2349822 |  1951122 |     1558   2879 |        0 |        0
763.77/764.27	c  764s |      22 |  2354564 |  1955222 |     1558   2884 |        0 |        0
765.77/766.29	c  766s |      22 |  2361090 |  1959722 |     1558   2889 |        0 |        0
767.87/768.33	c  768s |      22 |  2366443 |  1964022 |     1558   2894 |        0 |        0
769.87/770.36	c  770s |      22 |  2371839 |  1968222 |     1558   2899 |        0 |        0
771.97/772.40	c  772s |      22 |  2377055 |  1972222 |     1558   2903 |        0 |        0
773.98/774.41	c  774s |      22 |  2382614 |  1976622 |     1558   2908 |        0 |        0
775.97/776.43	c  776s |      22 |  2387577 |  1980522 |     1558   2913 |        0 |        0
777.97/778.48	c  778s |      22 |  2392007 |  1984222 |     1558   2917 |        0 |        0
780.07/780.50	c  780s |      22 |  2398257 |  1988522 |     1558   2922 |        0 |        0
782.07/782.50	c  782s |      22 |  2404892 |  1993222 |     1558   2927 |        0 |        0
784.07/784.51	c  784s |      22 |  2411562 |  1997622 |     1558   2933 |        0 |        0
786.07/786.55	c  786s |      22 |  2419439 |  2002522 |     1558   2938 |        0 |        0
788.07/788.57	c  788s |      22 |  2424824 |  2006122 |     1558   2942 |        0 |        0
790.07/790.57	c  790s |      22 |  2430550 |  2010522 |     1558   2948 |        0 |        0
792.07/792.58	c  792s |      22 |  2436928 |  2014922 |     1558   2953 |        0 |        0
794.07/794.59	c  794s |      22 |  2442236 |  2018722 |     1558   2957 |        0 |        0
796.17/796.63	c  796s |      22 |  2448784 |  2023122 |     1558   2962 |        0 |        0
798.17/798.67	c  798s |      22 |  2453344 |  2026722 |     1558   2966 |        0 |        0
800.16/800.68	c  800s |      22 |  2458909 |  2031022 |     1558   2971 |        0 |        0
802.16/802.69	c  802s |      22 |  2463925 |  2035322 |     1558   2976 |        0 |        0
804.27/804.70	c  804s |      22 |  2469210 |  2039622 |     1558   2981 |        0 |        0
806.27/806.70	c  806s |      22 |  2475851 |  2044622 |     1558   2987 |        0 |        0
808.27/808.73	c  808s |      22 |  2481801 |  2049222 |     1558   2993 |        0 |        0
810.28/810.73	c  810s |      22 |  2486989 |  2053422 |     1558   2998 |        0 |        0
812.27/812.76	c  812s |      22 |  2493182 |  2058122 |     1558   3003 |        0 |        0
814.27/814.79	c  814s |      22 |  2498547 |  2062822 |     1558   3008 |        0 |        0
816.37/816.83	c  816s |      22 |  2503553 |  2067122 |     1558   3013 |        0 |        0
818.37/818.84	c  818s |      22 |  2508437 |  2071022 |     1558   3018 |        0 |        0
820.37/820.85	c  820s |      22 |  2513579 |  2074822 |     1558   3022 |        0 |        0
822.38/822.90	c  822s |      22 |  2518630 |  2079022 |     1558   3027 |        0 |        0
824.47/824.94	c  824s |      22 |  2522928 |  2082422 |     1558   3031 |        0 |        0
826.47/826.96	c  826s |      22 |  2527192 |  2086122 |     1558   3035 |        0 |        0
828.47/828.98	c  828s |      22 |  2532589 |  2090522 |     1558   3040 |        0 |        0
830.57/831.02	c  830s |      22 |  2538377 |  2094922 |     1558   3045 |        0 |        0
832.57/833.02	c  832s |      22 |  2543601 |  2099022 |     1558   3050 |        0 |        0
834.57/835.08	c  835s |      22 |  2548509 |  2103122 |     1558   3055 |        0 |        0
836.57/837.10	c  837s |      22 |  2553154 |  2106822 |     1558   3059 |        0 |        0
838.67/839.14	c  839s |      22 |  2558191 |  2110622 |     1558   3063 |        0 |        0
840.67/841.16	c  841s |      22 |  2563134 |  2114322 |     1558   3068 |        0 |        0
842.67/843.16	c  843s |      22 |  2568256 |  2118622 |     1558   3072 |        0 |        0
844.77/845.20	c  845s |      22 |  2573880 |  2122722 |     1558   3077 |        0 |        0
846.77/847.22	c  847s |      22 |  2578520 |  2126422 |     1558   3082 |        0 |        0
848.77/849.24	c  849s |      22 |  2584029 |  2130822 |     1558   3087 |        0 |        0
850.76/851.26	c  851s |      22 |  2589973 |  2135422 |     1558   3092 |        0 |        0
852.76/853.26	c  853s |      22 |  2595746 |  2139922 |     1558   3097 |        0 |        0
854.86/855.30	c  855s |      22 |  2601854 |  2144722 |     1558   3103 |        0 |        0
856.86/857.31	c  857s |      22 |  2607110 |  2149322 |     1558   3108 |        0 |        0
858.86/859.35	c  859s |      22 |  2612847 |  2153922 |     1558   3113 |        0 |        0
860.87/861.37	c  861s |      22 |  2618369 |  2158622 |     1558   3119 |        0 |        0
862.86/863.39	c  863s |      22 |  2624409 |  2163222 |     1558   3124 |        0 |        0
864.86/865.39	c  865s |      22 |  2630964 |  2167822 |     1558   3129 |        0 |        0
866.96/867.42	c  867s |      22 |  2637428 |  2172622 |     1558   3135 |        0 |        0
868.96/869.42	c  869s |      22 |  2642409 |  2176922 |     1558   3140 |        0 |        0
870.96/871.43	c  871s |      22 |  2647766 |  2181422 |     1558   3145 |        0 |        0
872.97/873.44	c  873s |      22 |  2653946 |  2186222 |     1558   3151 |        0 |        0
874.96/875.44	c  875s |      22 |  2659482 |  2190422 |     1558   3156 |        0 |        0
876.96/877.45	c  877s |      22 |  2664592 |  2194622 |     1558   3161 |        0 |        0
878.96/879.49	c  879s |      22 |  2669834 |  2199022 |     1558   3166 |        0 |        0
880.96/881.49	c  881s |      22 |  2676134 |  2203922 |     1558   3171 |        0 |        0
883.06/883.51	c  883s |      22 |  2681138 |  2207922 |     1558   3176 |        0 |        0
885.06/885.55	c  885s |      22 |  2686314 |  2212122 |     1558   3181 |        0 |        0
887.06/887.58	c  887s |      22 |  2691366 |  2216322 |     1558   3185 |        0 |        0
889.16/889.63	c  889s |      22 |  2696221 |  2220522 |     1558   3190 |        0 |        0
891.16/891.64	c  891s |      22 |  2701032 |  2224522 |     1558   3195 |        0 |        0
893.16/893.65	c  893s |      22 |  2706249 |  2228922 |     1558   3200 |        0 |        0
895.15/895.68	c  895s |      22 |  2711651 |  2233322 |     1558   3205 |        0 |        0
897.26/897.73	c  897s |      22 |  2716824 |  2237422 |     1714   3209 |        0 |        0
899.25/899.79	c  899s |      22 |  2722355 |  2241522 |     1714   3214 |        0 |        0
901.35/901.81	c  901s |      22 |  2728524 |  2246422 |     1714   3219 |        0 |        0
903.25/903.74	c  903s |      23 |  2733639 |  2251038 |     1714   3224 |        0 |        0
905.25/905.77	c  905s |      23 |  2740341 |  2256438 |     1714   3229 |        0 |        0
907.25/907.79	c  907s |      23 |  2745231 |  2260838 |     1714   3234 |        0 |        0
909.36/909.83	c  909s |      23 |  2750431 |  2265138 |     1714   3239 |        0 |        0
911.35/911.84	c  911s |      23 |  2755263 |  2269138 |     1714   3243 |        0 |        0
913.35/913.85	c  913s |      23 |  2761005 |  2273938 |     1714   3248 |        0 |        0
915.35/915.88	c  915s |      23 |  2766287 |  2278438 |     1714   3253 |        0 |        0
917.45/917.91	c  917s |      23 |  2771541 |  2282738 |     1714   3257 |        0 |        0
919.45/919.92	c  919s |      23 |  2777082 |  2287238 |     1714   3262 |        0 |        0
921.45/921.94	c  921s |      23 |  2781959 |  2291438 |     1714   3267 |        0 |        0
923.45/923.97	c  923s |      23 |  2786297 |  2295038 |     1714   3270 |        0 |        0
925.45/925.99	c  925s |      23 |  2790852 |  2298638 |     1714   3274 |        0 |        0
927.55/928.02	c  927s |      23 |  2795307 |  2302138 |     1714   3278 |        0 |        0
929.55/930.02	c  929s |      23 |  2799925 |  2305938 |     1714   3282 |        0 |        0
931.55/932.05	c  932s |      23 |  2805430 |  2310238 |     1714   3287 |        0 |        0
933.55/934.08	c  934s |      23 |  2811089 |  2315238 |     1714   3292 |        0 |        0
935.65/936.12	c  936s |      23 |  2816911 |  2320238 |     1714   3297 |        0 |        0
937.65/938.13	c  938s |      23 |  2822042 |  2324838 |     1714   3302 |        0 |        0
939.65/940.14	c  940s |      23 |  2827517 |  2329438 |     1714   3307 |        0 |        0
941.64/942.15	c  942s |      23 |  2833261 |  2334138 |     1714   3312 |        0 |        0
943.64/944.20	c  944s |      23 |  2838986 |  2339038 |     1714   3318 |        0 |        0
945.74/946.23	c  946s |      23 |  2844533 |  2343838 |     1714   3323 |        0 |        0
947.75/948.27	c  948s |      23 |  2849520 |  2348338 |     1714   3328 |        0 |        0
949.84/950.30	c  950s |      23 |  2855104 |  2353038 |     1714   3333 |        0 |        0
951.84/952.33	c  952s |      23 |  2860425 |  2357738 |     1714   3338 |        0 |        0
953.84/954.38	c  954s |      23 |  2865458 |  2362238 |     1714   3343 |        0 |        0
955.84/956.39	c  956s |      23 |  2870647 |  2366738 |     1714   3347 |        0 |        0
957.94/958.41	c  958s |      23 |  2876133 |  2371138 |     1714   3352 |        0 |        0
959.95/960.43	c  960s |      23 |  2881391 |  2375838 |     1714   3357 |        0 |        0
961.94/962.45	c  962s |      23 |  2886724 |  2380238 |     1714   3362 |        0 |        0
963.94/964.47	c  964s |      23 |  2891632 |  2384538 |     1714   3366 |        0 |        0
965.95/966.48	c  966s |      23 |  2896218 |  2388638 |     1714   3371 |        0 |        0
968.05/968.51	c  968s |      23 |  2900291 |  2392338 |     1714   3374 |        0 |        0
970.05/970.53	c  970s |      23 |  2906479 |  2396538 |     1714   3379 |        0 |        0
972.05/972.54	c  972s |      23 |  2912345 |  2401138 |     1714   3384 |        0 |        0
974.05/974.58	c  974s |      23 |  2918107 |  2406138 |     1714   3389 |        0 |        0
976.15/976.63	c  976s |      23 |  2923592 |  2411038 |     1714   3395 |        0 |        0
978.15/978.65	c  978s |      23 |  2929297 |  2416038 |     1714   3400 |        0 |        0
980.15/980.68	c  980s |      23 |  2933994 |  2420238 |     1714   3404 |        0 |        0
982.14/982.69	c  982s |      23 |  2939397 |  2425038 |     1714   3410 |        0 |        0
984.24/984.72	c  984s |      23 |  2945273 |  2430238 |     1714   3415 |        0 |        0
986.25/986.74	c  986s |      23 |  2950644 |  2435038 |     1714   3420 |        0 |        0
988.34/988.80	c  988s |      23 |  2956167 |  2439938 |     1714   3426 |        0 |        0
990.34/990.81	c  990s |      23 |  2961734 |  2444838 |     1714   3431 |        0 |        0
992.34/992.82	c  992s |      23 |  2967190 |  2449738 |     1714   3436 |        0 |        0
994.34/994.86	c  994s |      23 |  2972935 |  2454838 |     1714   3442 |        0 |        0
996.34/996.89	c  996s |      23 |  2978262 |  2459538 |     1714   3447 |        0 |        0
998.35/998.90	c  998s |      23 |  2984120 |  2464238 |     1714   3452 |        0 |        0
1000.44/1000.90	c 1000s |      23 |  2989306 |  2468538 |     1714   3456 |        0 |        0
1002.44/1002.92	c 1002s |      23 |  2994381 |  2472938 |     1714   3461 |        0 |        0
1004.44/1004.96	c 1004s |      23 |  3000277 |  2477638 |     1714   3466 |        0 |        0
1006.54/1007.00	c 1006s |      23 |  3006159 |  2482538 |     1714   3471 |        0 |        0
1008.54/1009.02	c 1008s |      23 |  3011394 |  2487038 |     1714   3476 |        0 |        0
1010.55/1011.07	c 1011s |      23 |  3016423 |  2491438 |     1714   3481 |        0 |        0
1012.54/1013.08	c 1013s |      23 |  3021885 |  2495638 |     1714   3485 |        0 |        0
1014.54/1015.09	c 1015s |      23 |  3027791 |  2500638 |     1714   3490 |        0 |        0
1016.64/1017.10	c 1017s |      23 |  3032929 |  2505038 |     1714   3495 |        0 |        0
1018.64/1019.14	c 1019s |      23 |  3037759 |  2509238 |     1714   3500 |        0 |        0
1020.63/1021.15	c 1021s |      23 |  3042946 |  2513838 |     1714   3504 |        0 |        0
1022.64/1023.17	c 1023s |      23 |  3048281 |  2518438 |     1714   3509 |        0 |        0
1024.63/1025.18	c 1025s |      23 |  3053216 |  2522938 |     1714   3514 |        0 |        0
1026.73/1027.21	c 1027s |      23 |  3058441 |  2527638 |     1714   3519 |        0 |        0
1028.73/1029.22	c 1029s |      23 |  3063200 |  2531938 |     1714   3524 |        0 |        0
1030.73/1031.24	c 1031s |      23 |  3068274 |  2536438 |     1714   3529 |        0 |        0
1032.73/1033.27	c 1033s |      23 |  3073321 |  2540938 |     1714   3534 |        0 |        0
1034.83/1035.30	c 1035s |      23 |  3078394 |  2545438 |     1714   3539 |        0 |        0
1036.84/1037.35	c 1037s |      23 |  3083614 |  2550138 |     1714   3544 |        0 |        0
1038.83/1039.40	c 1039s |      23 |  3088821 |  2554738 |     1714   3549 |        0 |        0
1040.93/1041.40	c 1041s |      23 |  3093853 |  2559238 |     1714   3553 |        0 |        0
1042.93/1043.44	c 1043s |      23 |  3098556 |  2563438 |     1714   3558 |        0 |        0
1044.93/1045.44	c 1045s |      23 |  3103722 |  2567938 |     1714   3563 |        0 |        0
1046.93/1047.45	c 1047s |      23 |  3109067 |  2572638 |     1714   3568 |        0 |        0
1048.93/1049.48	c 1049s |      23 |  3114347 |  2577238 |     1714   3573 |        0 |        0
1051.03/1051.51	c 1051s |      23 |  3119102 |  2581538 |     1714   3578 |        0 |        0
1053.03/1053.52	c 1053s |      23 |  3123913 |  2585838 |     1714   3582 |        0 |        0
1055.03/1055.55	c 1055s |      23 |  3128646 |  2590038 |     1714   3587 |        0 |        0
1057.03/1057.57	c 1057s |      23 |  3134244 |  2594838 |     1714   3592 |        0 |        0
1059.13/1059.60	c 1059s |      23 |  3139276 |  2599138 |     1714   3596 |        0 |        0
1061.14/1061.64	c 1061s |      23 |  3143606 |  2603038 |     1714   3599 |        0 |        0
1063.13/1063.66	c 1063s |      23 |  3147717 |  2606738 |     1714   3603 |        0 |        0
1065.23/1065.70	c 1065s |      23 |  3152873 |  2611238 |     1714   3608 |        0 |        0
1067.23/1067.73	c 1067s |      23 |  3158345 |  2615938 |     1714   3613 |        0 |        0
1069.23/1069.78	c 1069s |      23 |  3163623 |  2620638 |     1714   3618 |        0 |        0
1071.23/1071.78	c 1071s |      23 |  3168975 |  2625438 |     1714   3623 |        0 |        0
1073.33/1073.80	c 1073s |      23 |  3174502 |  2630338 |     1714   3628 |        0 |        0
1075.34/1075.83	c 1075s |      23 |  3179724 |  2635038 |     1714   3633 |        0 |        0
1077.33/1077.85	c 1077s |      23 |  3184881 |  2639638 |     1714   3638 |        0 |        0
1079.33/1079.88	c 1079s |      23 |  3190145 |  2644238 |     1714   3642 |        0 |        0
1081.43/1081.92	c 1081s |      23 |  3195158 |  2648738 |     1714   3647 |        0 |        0
1083.43/1083.95	c 1083s |      23 |  3200435 |  2653438 |     1714   3652 |        0 |        0
1085.43/1085.98	c 1085s |      23 |  3205235 |  2657738 |     1714   3657 |        0 |        0
1087.54/1088.01	c 1087s |      23 |  3210483 |  2662338 |     1714   3661 |        0 |        0
1089.53/1090.02	c 1089s |      23 |  3215598 |  2666838 |     1714   3666 |        0 |        0
1091.53/1092.03	c 1091s |      23 |  3220177 |  2670938 |     1714   3670 |        0 |        0
1093.53/1094.04	c 1093s |      23 |  3225087 |  2675338 |     1714   3675 |        0 |        0
1095.53/1096.07	c 1096s |      23 |  3230028 |  2679338 |     1714   3679 |        0 |        0
1097.63/1098.12	c 1098s |      23 |  3234490 |  2683238 |     1714   3683 |        0 |        0
1099.63/1100.13	c 1100s |      23 |  3238957 |  2687238 |     1714   3688 |        0 |        0
1101.62/1102.14	c 1102s |      23 |  3243198 |  2690938 |     1714   3692 |        0 |        0
1103.72/1104.21	c 1104s |      23 |  3247140 |  2694438 |     1714   3696 |        0 |        0
1105.72/1106.21	c 1106s |      23 |  3251041 |  2697938 |     1714   3699 |        0 |        0
1107.72/1108.26	c 1108s |      23 |  3254948 |  2701438 |     1714   3703 |        0 |        0
1109.72/1110.27	c 1110s |      23 |  3258966 |  2705038 |     1714   3707 |        0 |        0
1111.73/1112.29	c 1112s |      23 |  3263072 |  2708738 |     1714   3711 |        0 |        0
1113.72/1114.29	c 1114s |      23 |  3266907 |  2712138 |     1714   3715 |        0 |        0
1115.82/1116.33	c 1116s |      23 |  3271026 |  2715838 |     1714   3719 |        0 |        0
1117.82/1118.35	c 1118s |      23 |  3275394 |  2719438 |     1714   3723 |        0 |        0
1119.82/1120.37	c 1120s |      23 |  3280136 |  2723538 |     1714   3727 |        0 |        0
1121.92/1122.40	c 1122s |      23 |  3284541 |  2727438 |     1714   3731 |        0 |        0
1123.92/1124.43	c 1124s |      23 |  3289355 |  2731638 |     1714   3736 |        0 |        0
1125.93/1126.47	c 1126s |      23 |  3293821 |  2735538 |     1714   3740 |        0 |        0
1128.02/1128.52	c 1128s |      23 |  3298115 |  2739338 |     1714   3744 |        0 |        0
1130.02/1130.55	c 1130s |      23 |  3302510 |  2743238 |     1714   3748 |        0 |        0
1132.02/1132.56	c 1132s |      23 |  3307240 |  2747338 |     1714   3752 |        0 |        0
1134.02/1134.59	c 1134s |      23 |  3311613 |  2751038 |     1714   3756 |        0 |        0
1136.12/1136.61	c 1136s |      23 |  3315729 |  2754738 |     1714   3760 |        0 |        0
1138.13/1138.65	c 1138s |      23 |  3319761 |  2758338 |     1714   3764 |        0 |        0
1140.12/1140.66	c 1140s |      23 |  3323752 |  2761938 |     1714   3768 |        0 |        0
1142.22/1142.71	c 1142s |      23 |  3328091 |  2765838 |     1714   3772 |        0 |        0
1144.22/1144.76	c 1144s |      23 |  3332325 |  2769638 |     1714   3776 |        0 |        0
1146.32/1146.81	c 1146s |      23 |  3336897 |  2773638 |     1714   3781 |        0 |        0
1148.32/1148.86	c 1148s |      23 |  3341078 |  2777238 |     1714   3784 |        0 |        0
1150.32/1150.88	c 1150s |      23 |  3345040 |  2780738 |     1714   3788 |        0 |        0
1152.42/1152.93	c 1152s |      23 |  3349332 |  2784538 |     1714   3792 |        0 |        0
1154.41/1154.94	c 1154s |      23 |  3353002 |  2787838 |     1714   3796 |        0 |        0
1156.41/1156.97	c 1156s |      23 |  3357587 |  2791838 |     1714   3800 |        0 |        0
1158.51/1159.01	c 1158s |      23 |  3361923 |  2795738 |     1714   3804 |        0 |        0
1160.51/1161.03	c 1160s |      23 |  3366320 |  2799638 |     1714   3808 |        0 |        0
1162.51/1163.04	c 1162s |      23 |  3370046 |  2803038 |     1714   3812 |        0 |        0
1164.52/1165.06	c 1165s |      23 |  3374128 |  2806638 |     1714   3816 |        0 |        0
1166.51/1167.08	c 1167s |      23 |  3378119 |  2810138 |     1714   3820 |        0 |        0
1168.51/1169.08	c 1169s |      23 |  3382252 |  2813638 |     1714   3823 |        0 |        0
1170.51/1171.09	c 1171s |      23 |  3386289 |  2816838 |     1714   3827 |        0 |        0
1172.61/1173.11	c 1173s |      23 |  3390767 |  2820638 |     1714   3831 |        0 |        0
1174.61/1175.13	c 1175s |      23 |  3395108 |  2824438 |     1714   3835 |        0 |        0
1176.61/1177.16	c 1177s |      23 |  3399462 |  2828138 |     1714   3839 |        0 |        0
1178.61/1179.19	c 1179s |      23 |  3403770 |  2831938 |     1714   3843 |        0 |        0
1180.71/1181.20	c 1181s |      23 |  3407953 |  2835638 |     1714   3847 |        0 |        0
1182.71/1183.23	c 1183s |      23 |  3412573 |  2839538 |     1714   3851 |        0 |        0
1184.71/1185.27	c 1185s |      23 |  3416846 |  2843338 |     1714   3855 |        0 |        0
1186.81/1187.30	c 1187s |      23 |  3420844 |  2846938 |     1714   3859 |        0 |        0
1188.81/1189.33	c 1189s |      23 |  3425153 |  2850738 |     1714   3863 |        0 |        0
1190.82/1191.35	c 1191s |      23 |  3429550 |  2854638 |     1714   3867 |        0 |        0
1192.81/1193.38	c 1193s |      23 |  3433695 |  2858338 |     1714   3871 |        0 |        0
1194.91/1195.40	c 1195s |      23 |  3437919 |  2862138 |     1714   3875 |        0 |        0
1196.91/1197.44	c 1197s |      23 |  3442170 |  2865838 |     1714   3879 |        0 |        0
1198.91/1199.47	c 1199s |      23 |  3446343 |  2869538 |     1714   3883 |        0 |        0
1201.01/1201.50	c 1201s |      23 |  3450636 |  2873338 |     1714   3887 |        0 |        0
1203.02/1203.53	c 1203s |      23 |  3454657 |  2876938 |     1714   3891 |        0 |        0
1205.01/1205.58	c 1205s |      23 |  3458846 |  2880638 |     1714   3895 |        0 |        0
1207.11/1207.60	c 1207s |      23 |  3463160 |  2884438 |     1714   3899 |        0 |        0
1209.11/1209.65	c 1209s |      23 |  3467189 |  2888038 |     1714   3903 |        0 |        0
1211.11/1211.68	c 1211s |      23 |  3471109 |  2891638 |     1714   3907 |        0 |        0
1213.21/1213.70	c 1213s |      23 |  3476863 |  2896638 |     1714   3912 |        0 |        0
1215.21/1215.70	c 1215s |      23 |  3482987 |  2901938 |     1714   3918 |        0 |        0
1217.11/1217.70	c 1217s |      23 |  3488997 |  2907138 |     1714   3924 |        0 |        0
1219.21/1219.71	c 1219s |      23 |  3494733 |  2911938 |     1714   3929 |        0 |        0
1221.21/1221.74	c 1221s |      23 |  3500407 |  2916838 |     1714   3934 |        0 |        0
1223.21/1223.76	c 1223s |      23 |  3506087 |  2921738 |     1714   3939 |        0 |        0
1225.31/1225.80	c 1225s |      23 |  3511536 |  2926438 |     1714   3944 |        0 |        0
1227.31/1227.85	c 1227s |      23 |  3517303 |  2931438 |     1714   3949 |        0 |        0
1229.31/1229.89	c 1229s |      23 |  3522856 |  2936238 |     1714   3954 |        0 |        0
1231.40/1231.92	c 1231s |      23 |  3528503 |  2941138 |     1714   3959 |        0 |        0
1233.40/1233.92	c 1233s |      23 |  3534217 |  2946138 |     1714   3965 |        0 |        0
1235.40/1235.93	c 1235s |      23 |  3539348 |  2950638 |     1714   3969 |        0 |        0
1237.40/1237.94	c 1237s |      23 |  3544889 |  2955438 |     1714   3974 |        0 |        0
1239.40/1239.96	c 1239s |      23 |  3550383 |  2960338 |     1714   3979 |        0 |        0
1241.41/1241.99	c 1241s |      23 |  3555864 |  2965138 |     1714   3984 |        0 |        0
1243.50/1244.01	c 1243s |      23 |  3561145 |  2969838 |     1714   3989 |        0 |        0
1245.50/1246.04	c 1245s |      23 |  3566624 |  2974638 |     1714   3994 |        0 |        0
1247.50/1248.06	c 1248s |      23 |  3572208 |  2979438 |     1714   3999 |        0 |        0
1249.60/1250.10	c 1250s |      23 |  3577659 |  2984238 |     1714   4005 |        0 |        0
1251.60/1252.11	c 1252s |      23 |  3582897 |  2988838 |     1714   4009 |        0 |        0
1253.61/1254.13	c 1254s |      23 |  3588444 |  2993638 |     1714   4014 |        0 |        0
1255.60/1256.16	c 1256s |      23 |  3593729 |  2998238 |     1714   4019 |        0 |        0
1257.60/1258.18	c 1258s |      23 |  3599498 |  3003238 |     1714   4025 |        0 |        0
1259.70/1260.23	c 1260s |      23 |  3604858 |  3007938 |     1714   4030 |        0 |        0
1261.70/1262.27	c 1262s |      23 |  3610591 |  3012938 |     1714   4035 |        0 |        0
1263.80/1264.30	c 1264s |      23 |  3615787 |  3017538 |     1714   4040 |        0 |        0
1265.80/1266.31	c 1266s |      23 |  3621646 |  3022638 |     1714   4045 |        0 |        0
1267.81/1268.32	c 1268s |      23 |  3627381 |  3027738 |     1714   4050 |        0 |        0
1269.80/1270.36	c 1270s |      23 |  3632999 |  3032738 |     1714   4056 |        0 |        0
1271.80/1272.36	c 1272s |      23 |  3638435 |  3037438 |     1714   4060 |        0 |        0
1273.80/1274.37	c 1274s |      23 |  3643540 |  3042038 |     1714   4065 |        0 |        0
1275.80/1276.37	c 1276s |      23 |  3648928 |  3046838 |     1714   4071 |        0 |        0
1277.89/1278.40	c 1278s |      23 |  3654263 |  3051638 |     1714   4076 |        0 |        0
1279.90/1280.43	c 1280s |      23 |  3659732 |  3056138 |     1714   4081 |        0 |        0
1281.89/1282.47	c 1282s |      23 |  3665219 |  3060738 |     1714   4085 |        0 |        0
1283.99/1284.51	c 1284s |      23 |  3670126 |  3065138 |     1714   4090 |        0 |        0
1285.99/1286.51	c 1286s |      23 |  3675424 |  3069838 |     1714   4095 |        0 |        0
1287.99/1288.53	c 1288s |      23 |  3680391 |  3074338 |     1714   4100 |        0 |        0
1289.99/1290.54	c 1290s |      23 |  3685309 |  3078738 |     1714   4105 |        0 |        0
1292.00/1292.57	c 1292s |      23 |  3690738 |  3083638 |     1714   4110 |        0 |        0
1294.09/1294.60	c 1294s |      23 |  3696212 |  3088238 |     1714   4115 |        0 |        0
1296.09/1296.62	c 1296s |      23 |  3701750 |  3093038 |     1714   4120 |        0 |        0
1298.09/1298.65	c 1298s |      23 |  3706871 |  3097638 |     1714   4125 |        0 |        0
1300.09/1300.68	c 1300s |      23 |  3711593 |  3101738 |     1714   4129 |        0 |        0
1302.09/1302.69	c 1302s |      23 |  3715997 |  3105438 |     1714   4133 |        0 |        0
1304.20/1304.74	c 1304s |      23 |  3720512 |  3109438 |     1714   4137 |        0 |        0
1306.30/1306.81	c 1306s |      23 |  3725051 |  3113338 |     1714   4142 |        0 |        0
1308.29/1308.82	c 1308s |      23 |  3730349 |  3117938 |     1714   4146 |        0 |        0
1310.29/1310.83	c 1310s |      23 |  3735340 |  3122238 |     1714   4151 |        0 |        0
1312.29/1312.86	c 1312s |      23 |  3739900 |  3126338 |     1714   4155 |        0 |        0
1314.29/1314.88	c 1314s |      23 |  3745060 |  3130638 |     1714   4160 |        0 |        0
1316.39/1316.91	c 1316s |      23 |  3749546 |  3134638 |     1714   4164 |        0 |        0
1318.39/1318.94	c 1318s |      23 |  3753978 |  3138538 |     1714   4168 |        0 |        0
1320.39/1320.95	c 1320s |      23 |  3758391 |  3142338 |     1714   4172 |        0 |        0
1322.39/1322.98	c 1322s |      23 |  3763526 |  3146538 |     1714   4177 |        0 |        0
1324.39/1324.98	c 1324s |      23 |  3768372 |  3150838 |     1714   4181 |        0 |        0
1326.49/1327.00	c 1326s |      23 |  3773151 |  3155138 |     1714   4186 |        0 |        0
1328.49/1329.04	c 1328s |      23 |  3778670 |  3160038 |     1714   4191 |        0 |        0
1330.49/1331.05	c 1331s |      23 |  3783512 |  3164438 |     1714   4196 |        0 |        0
1332.49/1333.10	c 1333s |      23 |  3788231 |  3168638 |     1714   4200 |        0 |        0
1334.59/1335.10	c 1335s |      23 |  3792623 |  3172638 |     1714   4205 |        0 |        0
1336.58/1337.11	c 1337s |      23 |  3798009 |  3177238 |     1714   4209 |        0 |        0
1338.58/1339.13	c 1339s |      23 |  3802759 |  3181338 |     1714   4214 |        0 |        0
1340.58/1341.16	c 1341s |      23 |  3807523 |  3185638 |     1714   4218 |        0 |        0
1342.59/1343.16	c 1343s |      23 |  3812190 |  3189638 |     1714   4223 |        0 |        0
1344.68/1345.20	c 1345s |      23 |  3817376 |  3193738 |     1714   4227 |        0 |        0
1346.68/1347.24	c 1347s |      23 |  3822304 |  3197938 |     1714   4231 |        0 |        0
1348.68/1349.25	c 1349s |      23 |  3826736 |  3201838 |     1714   4235 |        0 |        0
1350.68/1351.26	c 1351s |      23 |  3831550 |  3206038 |     1714   4240 |        0 |        0
1352.68/1353.27	c 1353s |      23 |  3836239 |  3210138 |     1714   4244 |        0 |        0
1354.79/1355.31	c 1355s |      23 |  3840939 |  3214338 |     1714   4249 |        0 |        0
1356.78/1357.35	c 1357s |      23 |  3845482 |  3218438 |     1714   4253 |        0 |        0
1358.78/1359.38	c 1359s |      23 |  3850993 |  3223038 |     1714   4258 |        0 |        0
1360.79/1361.38	c 1361s |      23 |  3857149 |  3227538 |     1714   4263 |        0 |        0
1362.89/1363.43	c 1363s |      23 |  3862114 |  3231838 |     1714   4267 |        0 |        0
1364.89/1365.44	c 1365s |      23 |  3866584 |  3235838 |     1714   4271 |        0 |        0
1366.89/1367.45	c 1367s |      23 |  3871564 |  3240238 |     1714   4276 |        0 |        0
1368.89/1369.47	c 1369s |      23 |  3876071 |  3244338 |     1714   4281 |        0 |        0
1370.99/1371.50	c 1371s |      23 |  3882158 |  3248838 |     1714   4285 |        0 |        0
1372.99/1373.51	c 1373s |      23 |  3887559 |  3253538 |     1714   4290 |        0 |        0
1374.99/1375.54	c 1375s |      23 |  3892681 |  3258038 |     1714   4295 |        0 |        0
1376.98/1377.54	c 1377s |      23 |  3897548 |  3262338 |     1714   4300 |        0 |        0
1378.99/1379.54	c 1379s |      23 |  3902340 |  3266638 |     1714   4304 |        0 |        0
1380.98/1381.58	c 1381s |      23 |  3907012 |  3270838 |     1714   4309 |        0 |        0
1382.98/1383.59	c 1383s |      23 |  3911994 |  3275238 |     1714   4314 |        0 |        0
1385.08/1385.62	c 1385s |      23 |  3917490 |  3279838 |     1714   4318 |        0 |        0
1387.08/1387.64	c 1387s |      23 |  3922194 |  3284038 |     1714   4322 |        0 |        0
1389.08/1389.64	c 1389s |      23 |  3927524 |  3288738 |     1714   4327 |        0 |        0
1391.09/1391.67	c 1391s |      23 |  3933071 |  3293538 |     1714   4331 |        0 |        0
1393.19/1393.72	c 1393s |      23 |  3938126 |  3298138 |     1714   4336 |        0 |        0
1395.18/1395.73	c 1395s |      23 |  3943400 |  3302838 |     1714   4340 |        0 |        0
1397.18/1397.77	c 1397s |      23 |  3948734 |  3307538 |     1714   4345 |        0 |        0
1399.18/1399.79	c 1399s |      23 |  3953955 |  3312238 |     1714   4349 |        0 |        0
1401.28/1401.81	c 1401s |      23 |  3959106 |  3316838 |     1714   4354 |        0 |        0
1403.27/1403.83	c 1403s |      23 |  3963608 |  3320938 |     1714   4358 |        0 |        0
1405.28/1405.85	c 1405s |      23 |  3968399 |  3325138 |     1714   4362 |        0 |        0
1407.27/1407.88	c 1407s |      23 |  3973859 |  3329938 |     1714   4366 |        0 |        0
1409.27/1409.88	c 1409s |      23 |  3979070 |  3334538 |     1714   4371 |        0 |        0
1411.37/1411.90	c 1411s |      23 |  3983994 |  3338938 |     1714   4375 |        0 |        0
1413.37/1413.91	c 1413s |      23 |  3988579 |  3343038 |     1714   4379 |        0 |        0
1415.37/1415.94	c 1415s |      23 |  3992983 |  3346938 |     1714   4383 |        0 |        0
1417.38/1417.97	c 1417s |      23 |  3997830 |  3351138 |     1714   4387 |        0 |        0
1419.47/1420.00	c 1419s |      23 |  4002664 |  3355438 |     1886   4391 |        0 |        0
1421.47/1422.03	c 1421s |      23 |  4007267 |  3359538 |     1886   4395 |        0 |        0
1423.47/1424.07	c 1424s |      23 |  4011786 |  3363338 |     1886   4399 |        0 |        0
1425.57/1426.10	c 1426s |      23 |  4016662 |  3367538 |     1886   4403 |        0 |        0
1427.57/1428.15	c 1428s |      23 |  4021263 |  3371538 |     1886   4407 |        0 |        0
1429.58/1430.16	c 1430s |      23 |  4025748 |  3375538 |     1886   4411 |        0 |        0
1430.17/1430.75	c 1430s |      24 |  4027011 |  3376662 |     1886   4412 |        0 |        0
1432.17/1432.76	c 1432s |      24 |  4033156 |  3380662 |     1886   4416 |        0 |        0
1434.27/1434.80	c 1434s |      24 |  4037554 |  3384262 |     1886   4419 |        0 |        0
1436.27/1436.85	c 1436s |      24 |  4042414 |  3388162 |     1886   4423 |        0 |        0
1438.27/1438.87	c 1438s |      24 |  4047436 |  3391862 |     1886   4427 |        0 |        0
1440.37/1440.91	c 1440s |      24 |  4052433 |  3395062 |     1886   4430 |        0 |        0
1442.38/1442.93	c 1442s |      24 |  4056802 |  3398262 |     1886   4433 |        0 |        0
1444.38/1444.97	c 1444s |      24 |  4061518 |  3401662 |     1886   4436 |        0 |        0
1446.38/1446.98	c 1446s |      24 |  4065618 |  3405162 |     1886   4440 |        0 |        0
1448.47/1449.04	c 1448s |      24 |  4070354 |  3409062 |     1886   4444 |        0 |        0
1450.48/1451.07	c 1451s |      24 |  4074317 |  3412662 |     1886   4447 |        0 |        0
1452.58/1453.11	c 1453s |      24 |  4079037 |  3416262 |     1886   4451 |        0 |        0
1454.57/1455.15	c 1455s |      24 |  4083443 |  3419962 |     1886   4454 |        0 |        0
1456.57/1457.19	c 1457s |      24 |  4087484 |  3423362 |     1886   4458 |        0 |        0
1458.67/1459.25	c 1459s |      24 |  4091786 |  3426862 |     1886   4461 |        0 |        0
1460.77/1461.31	c 1461s |      24 |  4095757 |  3430162 |     1886   4464 |        0 |        0
1462.77/1463.34	c 1463s |      24 |  4099625 |  3433162 |     1886   4467 |        0 |        0
1464.87/1465.40	c 1465s |      24 |  4102910 |  3436062 |     1886   4470 |        0 |        0
1466.88/1467.43	c 1467s |      24 |  4107943 |  3440062 |     1886   4474 |        0 |        0
1468.87/1469.45	c 1469s |      24 |  4112523 |  3444062 |     1886   4478 |        0 |        0
1470.87/1471.48	c 1471s |      24 |  4117392 |  3448162 |     1886   4482 |        0 |        0
1472.87/1473.49	c 1473s |      24 |  4121656 |  3451962 |     1886   4486 |        0 |        0
1474.97/1475.50	c 1475s |      24 |  4126244 |  3455862 |     1886   4489 |        0 |        0
1476.97/1477.56	c 1477s |      24 |  4132967 |  3459662 |     1886   4493 |        0 |        0
1478.97/1479.56	c 1479s |      24 |  4136757 |  3462962 |     1886   4496 |        0 |        0
1481.07/1481.62	c 1481s |      24 |  4140328 |  3466162 |     1886   4500 |        0 |        0
1483.07/1483.64	c 1483s |      24 |  4144256 |  3469262 |     1886   4503 |        0 |        0
1485.07/1485.65	c 1485s |      24 |  4149887 |  3472962 |     1886   4506 |        0 |        0
1487.16/1487.70	c 1487s |      24 |  4154477 |  3476862 |     1886   4510 |        0 |        0
1489.16/1489.72	c 1489s |      24 |  4158822 |  3480762 |     1886   4514 |        0 |        0
1491.17/1491.75	c 1491s |      24 |  4164054 |  3485162 |     1886   4519 |        0 |        0
1493.16/1493.79	c 1493s |      24 |  4169697 |  3489462 |     1886   4523 |        0 |        0
1495.16/1495.79	c 1495s |      24 |  4174587 |  3493362 |     1886   4526 |        0 |        0
1497.26/1497.80	c 1497s |      24 |  4180550 |  3497762 |     1886   4531 |        0 |        0
1499.26/1499.82	c 1499s |      24 |  4187637 |  3502362 |     1886   4535 |        0 |        0
1501.26/1501.82	c 1501s |      24 |  4192456 |  3506462 |     1886   4539 |        0 |        0
1503.27/1503.85	c 1503s |      24 |  4197887 |  3510462 |     1886   4543 |        0 |        0
1505.26/1505.86	c 1505s |      24 |  4205213 |  3514962 |     1886   4547 |        0 |        0
1507.26/1507.89	c 1507s |      24 |  4211935 |  3519162 |     1886   4551 |        0 |        0
1509.36/1509.90	c 1509s |      24 |  4218466 |  3523362 |     1886   4556 |        0 |        0
1511.36/1511.90	c 1511s |      24 |  4225505 |  3527662 |     1886   4560 |        0 |        0
1513.36/1513.91	c 1513s |      24 |  4230345 |  3531862 |     1886   4564 |        0 |        0
1515.37/1515.95	c 1515s |      24 |  4237813 |  3536362 |     1886   4568 |        0 |        0
1517.36/1517.98	c 1517s |      24 |  4244944 |  3540862 |     1886   4573 |        0 |        0
1519.36/1519.99	c 1519s |      24 |  4250058 |  3544662 |     1886   4576 |        0 |        0
1521.46/1522.00	c 1521s |      24 |  4256728 |  3548462 |     1886   4580 |        0 |        0
1523.46/1524.02	c 1523s |      24 |  4262225 |  3551962 |     1886   4583 |        0 |        0
1525.46/1526.04	c 1525s |      24 |  4268408 |  3556062 |     1886   4587 |        0 |        0
1527.46/1528.07	c 1528s |      24 |  4275287 |  3560262 |     1886   4591 |        0 |        0
1529.46/1530.09	c 1530s |      24 |  4281574 |  3564562 |     1886   4596 |        0 |        0
1531.55/1532.10	c 1532s |      24 |  4287354 |  3568462 |     1886   4599 |        0 |        0
1533.55/1534.15	c 1534s |      24 |  4293223 |  3572462 |     1886   4603 |        0 |        0
1535.55/1536.19	c 1536s |      24 |  4299319 |  3576662 |     1886   4607 |        0 |        0
1537.65/1538.22	c 1538s |      24 |  4303264 |  3579962 |     1886   4611 |        0 |        0
1539.65/1540.24	c 1540s |      24 |  4306835 |  3583062 |     1886   4614 |        0 |        0
1541.66/1542.27	c 1542s |      24 |  4311244 |  3586862 |     1886   4617 |        0 |        0
1543.75/1544.32	c 1544s |      24 |  4315391 |  3590562 |     1886   4621 |        0 |        0
1545.75/1546.34	c 1546s |      24 |  4319522 |  3594062 |     1886   4625 |        0 |        0
1547.75/1548.35	c 1548s |      24 |  4323476 |  3597562 |     1886   4628 |        0 |        0
1549.75/1550.37	c 1550s |      24 |  4327286 |  3600862 |     1886   4631 |        0 |        0
1551.75/1552.37	c 1552s |      24 |  4331448 |  3604562 |     1886   4635 |        0 |        0
1553.86/1554.41	c 1554s |      24 |  4335487 |  3607962 |     1886   4638 |        0 |        0
1555.85/1556.43	c 1556s |      24 |  4339445 |  3611462 |     1886   4642 |        0 |        0
1557.85/1558.44	c 1558s |      24 |  4343597 |  3615062 |     1886   4645 |        0 |        0
1559.86/1560.46	c 1560s |      24 |  4347626 |  3618562 |     1886   4649 |        0 |        0
1561.86/1562.48	c 1562s |      24 |  4351774 |  3621962 |     1886   4652 |        0 |        0
1563.96/1564.50	c 1564s |      24 |  4355947 |  3625562 |     1886   4656 |        0 |        0
1565.96/1566.53	c 1566s |      24 |  4359964 |  3629062 |     1886   4659 |        0 |        0
1567.96/1568.55	c 1568s |      24 |  4364365 |  3632862 |     1886   4663 |        0 |        0
1570.06/1570.61	c 1570s |      24 |  4368116 |  3636162 |     1886   4666 |        0 |        0
1572.06/1572.65	c 1572s |      24 |  4373552 |  3640762 |     1886   4671 |        0 |        0
1574.06/1574.68	c 1574s |      24 |  4378691 |  3644862 |     1886   4675 |        0 |        0
1576.06/1576.69	c 1576s |      24 |  4383132 |  3648662 |     1886   4679 |        0 |        0
1578.16/1578.72	c 1578s |      24 |  4387358 |  3652362 |     1886   4682 |        0 |        0
1580.16/1580.76	c 1580s |      24 |  4391759 |  3656262 |     1886   4686 |        0 |        0
1582.25/1582.80	c 1582s |      24 |  4396210 |  3660162 |     1886   4690 |        0 |        0
1584.25/1584.84	c 1584s |      24 |  4400409 |  3663862 |     1886   4694 |        0 |        0
1586.25/1586.88	c 1586s |      24 |  4404571 |  3667562 |     1886   4698 |        0 |        0
1588.35/1588.91	c 1588s |      24 |  4408882 |  3671262 |     1886   4701 |        0 |        0
1590.35/1590.92	c 1590s |      24 |  4412779 |  3674662 |     1886   4705 |        0 |        0
1592.36/1592.96	c 1592s |      24 |  4416791 |  3678162 |     1886   4708 |        0 |        0
1594.46/1595.02	c 1594s |      24 |  4422304 |  3682762 |     1886   4713 |        0 |        0
1596.45/1597.06	c 1597s |      24 |  4427602 |  3687062 |     1886   4717 |        0 |        0
1598.45/1599.07	c 1599s |      24 |  4432734 |  3691162 |     1886   4721 |        0 |        0
1600.55/1601.10	c 1601s |      24 |  4437131 |  3694762 |     1886   4724 |        0 |        0
1602.55/1603.12	c 1603s |      24 |  4442303 |  3699062 |     1886   4728 |        0 |        0
1604.55/1605.15	c 1605s |      24 |  4446911 |  3703062 |     1886   4732 |        0 |        0
1606.56/1607.19	c 1607s |      24 |  4452172 |  3707262 |     1886   4736 |        0 |        0
1608.65/1609.21	c 1609s |      24 |  4457435 |  3711462 |     1886   4740 |        0 |        0
1610.65/1611.23	c 1611s |      24 |  4462051 |  3715362 |     1886   4744 |        0 |        0
1612.65/1613.24	c 1613s |      24 |  4466879 |  3719162 |     1886   4748 |        0 |        0
1614.65/1615.28	c 1615s |      24 |  4471380 |  3723162 |     1886   4752 |        0 |        0
1616.75/1617.30	c 1617s |      24 |  4476013 |  3726962 |     1886   4755 |        0 |        0
1618.75/1619.35	c 1619s |      24 |  4481398 |  3731062 |     1886   4759 |        0 |        0
1620.75/1621.38	c 1621s |      24 |  4486270 |  3735162 |     1886   4763 |        0 |        0
1622.85/1623.41	c 1623s |      24 |  4490981 |  3739162 |     1886   4767 |        0 |        0
1624.85/1625.43	c 1625s |      24 |  4495703 |  3743262 |     1886   4771 |        0 |        0
1626.85/1627.45	c 1627s |      24 |  4499970 |  3747062 |     1886   4775 |        0 |        0
1628.85/1629.49	c 1629s |      24 |  4504736 |  3751262 |     1886   4779 |        0 |        0
1630.95/1631.53	c 1631s |      24 |  4509076 |  3754862 |     1886   4782 |        0 |        0
1632.95/1633.53	c 1633s |      24 |  4514239 |  3758562 |     1886   4786 |        0 |        0
1634.94/1635.54	c 1635s |      24 |  4518932 |  3762162 |     1886   4789 |        0 |        0
1636.94/1637.57	c 1637s |      24 |  4523673 |  3765862 |     1886   4793 |        0 |        0
1638.94/1639.58	c 1639s |      24 |  4528591 |  3769662 |     1886   4796 |        0 |        0
1641.04/1641.62	c 1641s |      24 |  4533146 |  3773462 |     1886   4800 |        0 |        0
1643.04/1643.65	c 1643s |      24 |  4537347 |  3777162 |     1886   4804 |        0 |        0
1645.05/1645.65	c 1645s |      24 |  4541745 |  3780962 |     1886   4807 |        0 |        0
1647.04/1647.69	c 1647s |      24 |  4545710 |  3784462 |     1886   4811 |        0 |        0
1649.14/1649.72	c 1649s |      24 |  4550061 |  3788162 |     1886   4814 |        0 |        0
1651.14/1651.76	c 1651s |      24 |  4554709 |  3791662 |     1886   4818 |        0 |        0
1653.14/1653.80	c 1653s |      24 |  4559367 |  3795562 |     1886   4821 |        0 |        0
1655.24/1655.81	c 1655s |      24 |  4563746 |  3799062 |     1886   4825 |        0 |        0
1657.25/1657.82	c 1657s |      24 |  4567092 |  3802062 |     1886   4828 |        0 |        0
1659.24/1659.86	c 1659s |      24 |  4570523 |  3805062 |     1886   4831 |        0 |        0
1661.24/1661.87	c 1661s |      24 |  4574455 |  3808362 |     1886   4834 |        0 |        0
1663.24/1663.88	c 1663s |      24 |  4580217 |  3812862 |     1886   4838 |        0 |        0
1665.24/1665.89	c 1665s |      24 |  4585034 |  3816462 |     1886   4842 |        0 |        0
1667.34/1667.95	c 1667s |      24 |  4589108 |  3819862 |     1886   4845 |        0 |        0
1669.34/1669.97	c 1669s |      24 |  4595072 |  3824062 |     1886   4849 |        0 |        0
1671.34/1671.98	c 1671s |      24 |  4600213 |  3828262 |     1886   4853 |        0 |        0
1673.43/1674.02	c 1673s |      24 |  4604544 |  3831862 |     1886   4857 |        0 |        0
1675.43/1676.06	c 1676s |      24 |  4608455 |  3835162 |     1886   4860 |        0 |        0
1677.43/1678.06	c 1678s |      24 |  4612378 |  3838562 |     1886   4863 |        0 |        0
1679.43/1680.08	c 1680s |      24 |  4616478 |  3841962 |     1886   4866 |        0 |        0
1681.53/1682.11	c 1682s |      24 |  4620561 |  3845462 |     1886   4870 |        0 |        0
1683.54/1684.14	c 1684s |      24 |  4625553 |  3849362 |     1886   4874 |        0 |        0
1685.53/1686.14	c 1686s |      24 |  4630571 |  3853462 |     1886   4878 |        0 |        0
1687.53/1688.16	c 1688s |      24 |  4635490 |  3857462 |     1886   4881 |        0 |        0
1689.53/1690.17	c 1690s |      24 |  4640079 |  3861362 |     1886   4885 |        0 |        0
1691.53/1692.17	c 1692s |      24 |  4644698 |  3865262 |     1886   4889 |        0 |        0
1693.54/1694.18	c 1694s |      24 |  4649175 |  3869162 |     1886   4893 |        0 |        0
1695.64/1696.22	c 1696s |      24 |  4653466 |  3872962 |     1886   4897 |        0 |        0
1697.64/1698.24	c 1698s |      24 |  4658002 |  3876962 |     1886   4900 |        0 |        0
1699.64/1700.26	c 1700s |      24 |  4662481 |  3880862 |     1886   4904 |        0 |        0
1701.74/1702.31	c 1702s |      24 |  4666924 |  3884762 |     1886   4908 |        0 |        0
1703.74/1704.34	c 1704s |      24 |  4671107 |  3888362 |     1886   4912 |        0 |        0
1705.74/1706.38	c 1706s |      24 |  4675684 |  3892362 |     1886   4916 |        0 |        0
1707.84/1708.42	c 1708s |      24 |  4680199 |  3896162 |     1886   4919 |        0 |        0
1709.84/1710.43	c 1710s |      24 |  4684803 |  3900162 |     1886   4923 |        0 |        0
1711.83/1712.46	c 1712s |      24 |  4689049 |  3903862 |     1886   4927 |        0 |        0
1713.93/1714.50	c 1714s |      24 |  4693450 |  3907762 |     1886   4931 |        0 |        0
1715.93/1716.51	c 1716s |      24 |  4697825 |  3911562 |     1886   4934 |        0 |        0
1717.93/1718.51	c 1718s |      24 |  4701997 |  3915162 |     1886   4938 |        0 |        0
1719.94/1720.56	c 1720s |      24 |  4706209 |  3918862 |     1886   4942 |        0 |        0
1721.93/1722.56	c 1722s |      24 |  4710194 |  3922362 |     1886   4945 |        0 |        0
1723.93/1724.57	c 1724s |      24 |  4714327 |  3926062 |     1886   4949 |        0 |        0
1726.03/1726.60	c 1726s |      24 |  4719112 |  3930062 |     1886   4953 |        0 |        0
1728.03/1728.67	c 1728s |      24 |  4723703 |  3934062 |     1886   4956 |        0 |        0
1730.03/1730.68	c 1730s |      24 |  4727895 |  3937762 |     1886   4960 |        0 |        0
1732.04/1732.69	c 1732s |      24 |  4732651 |  3941862 |     1886   4964 |        0 |        0
1734.14/1734.72	c 1734s |      24 |  4737197 |  3945762 |     1886   4968 |        0 |        0
1736.13/1736.75	c 1736s |      24 |  4741944 |  3949962 |     1886   4972 |        0 |        0
1738.13/1738.76	c 1738s |      24 |  4746631 |  3954062 |     1886   4976 |        0 |        0
1740.23/1740.80	c 1740s |      24 |  4750983 |  3957862 |     1886   4980 |        0 |        0
1742.23/1742.83	c 1742s |      24 |  4755880 |  3962162 |     1886   4984 |        0 |        0
1744.23/1744.85	c 1744s |      24 |  4760649 |  3966362 |     1886   4988 |        0 |        0
1746.23/1746.88	c 1746s |      24 |  4765280 |  3970362 |     1886   4992 |        0 |        0
1748.33/1748.90	c 1748s |      24 |  4770106 |  3974562 |     1886   4996 |        0 |        0
1750.32/1750.93	c 1750s |      24 |  4774814 |  3978662 |     1886   5000 |        0 |        0
1752.32/1752.94	c 1752s |      24 |  4779102 |  3982462 |     1886   5004 |        0 |        0
1754.32/1754.94	c 1754s |      24 |  4783394 |  3986262 |     1886   5008 |        0 |        0
1756.32/1756.95	c 1756s |      24 |  4787782 |  3990062 |     1886   5011 |        0 |        0
1758.33/1758.98	c 1758s |      24 |  4792429 |  3994162 |     1886   5015 |        0 |        0
1760.42/1761.01	c 1760s |      24 |  4797099 |  3998262 |     1886   5019 |        0 |        0
1762.42/1763.05	c 1762s |      24 |  4801681 |  4002262 |     1886   5023 |        0 |        0
1764.42/1765.05	c 1764s |      24 |  4806056 |  4006162 |     1886   5027 |        0 |        0
1766.42/1767.09	c 1767s |      24 |  4810671 |  4010262 |     1886   5031 |        0 |        0
1768.52/1769.13	c 1769s |      24 |  4815075 |  4014162 |     1886   5035 |        0 |        0
1770.52/1771.15	c 1771s |      24 |  4819454 |  4017962 |     1886   5039 |        0 |        0
1772.53/1773.18	c 1773s |      24 |  4823818 |  4021862 |     1886   5043 |        0 |        0
1774.63/1775.20	c 1775s |      24 |  4828589 |  4026062 |     1886   5047 |        0 |        0
1776.62/1777.24	c 1777s |      24 |  4833460 |  4030262 |     1886   5051 |        0 |        0
1778.62/1779.24	c 1779s |      24 |  4837897 |  4034262 |     1886   5055 |        0 |        0
1780.62/1781.27	c 1781s |      24 |  4842423 |  4038362 |     1886   5059 |        0 |        0
1782.72/1783.30	c 1783s |      24 |  4846754 |  4042262 |     1886   5063 |        0 |        0
1784.73/1785.35	c 1785s |      24 |  4851307 |  4046362 |     1886   5067 |        0 |        0
1786.72/1787.38	c 1787s |      24 |  4855673 |  4050162 |     1886   5071 |        0 |        0
1788.82/1789.40	c 1789s |      24 |  4860397 |  4054362 |     1886   5075 |        0 |        0
1790.82/1791.44	c 1791s |      24 |  4864719 |  4058162 |     1886   5079 |        0 |        0
1792.82/1793.46	c 1793s |      24 |  4868691 |  4061762 |     1886   5082 |        0 |        0
1794.82/1795.48	c 1795s |      24 |  4873180 |  4065662 |     1886   5086 |        0 |        0
1796.93/1797.52	c 1797s |      24 |  4878929 |  4070062 |     1886   5090 |        0 |        0
1798.92/1799.53	c 1799s |      24 |  4884014 |  4073962 |     1886   5094 |        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-4093306-1466077433/watcher-4093306-1466077433 -o /tmp/evaluation-result-4093306-1466077433/solver-4093306-1466077433 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093306-1466077433.wbo 

pid=12741
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.93 3/181 12744
/proc/meminfo: memFree=30947372/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=665156 CPUtime=0 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 2470 0 0 0 0 0 0 0 20 0 4 0 9789216 681119744 2320 33554432000 4194304 16246674 140733614402816 140733614402240 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 166801 2328 442 2943 0 163695 0
[pid=12744/tid=12745] ppid=12741 vsize=684612 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 701042688 2401 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=689732 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 706285568 2418 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=693828 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789217 710479872 2433 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100226 s]
/proc/loadavg: 1.97 2.00 1.93 3/181 12744
/proc/meminfo: memFree=30947372/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 27784 0 0 0 6 3 0 0 20 0 4 0 9789216 1247350784 27621 33554432000 4194304 16246674 140733614402816 140733614402240 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 304529 27637 807 2943 0 301423 0
[pid=12744/tid=12745] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 27644 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 27648 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 27655 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200512 s]
/proc/loadavg: 1.97 2.00 1.93 3/181 12744
/proc/meminfo: memFree=30947372/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 59315 0 0 0 12 7 0 0 20 0 4 0 9789216 1247350784 59151 33554432000 4194304 16246674 140733614402816 140733614402240 5515837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 304529 59159 813 2943 0 301423 0
[pid=12744/tid=12745] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 59165 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 59172 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 59181 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 1.97 2.00 1.93 3/181 12744
/proc/meminfo: memFree=30947372/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 89422 0 0 0 17 12 0 0 20 0 4 0 9789216 1247350784 89258 33554432000 4194304 16246674 140733614402816 140733614402240 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 304529 89271 813 2943 0 301423 0
[pid=12744/tid=12745] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 89280 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 89289 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 89297 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700394 s]
/proc/loadavg: 1.97 2.00 1.93 3/181 12744
/proc/meminfo: memFree=30947372/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 199685 0 0 0 41 28 0 0 20 0 4 0 9789216 1247350784 199521 33554432000 4194304 16246674 140733614402816 140733614384704 13193554 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 304529 199532 813 2943 0 301423 0
[pid=12744/tid=12745] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 199535 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 199543 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789217 1247350784 199553 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.97 2.00 1.93 3/185 12748
/proc/meminfo: memFree=29966476/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267379 0 0 0 111 38 0 0 20 0 4 0 9789216 1336479744 267193 33554432000 4194304 16246674 140733614402816 140733614402128 13809242 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326289 267193 872 2943 0 323183 0
[pid=12744/tid=12745] ppid=12741 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1336479744 267193 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1336479744 267193 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1336479744 267193 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10038 s]
/proc/loadavg: 1.97 2.00 1.93 3/185 12748
/proc/meminfo: memFree=29877840/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267562 0 0 0 271 38 0 0 20 0 4 0 9789216 1337528320 267376 33554432000 4194304 16246674 140733614402816 140733614384704 5723568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326545 267376 872 2943 0 323439 0
[pid=12744/tid=12745] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267376 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267376 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267376 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 1.97 2.00 1.93 3/185 12748
/proc/meminfo: memFree=29878848/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267618 0 0 0 591 38 0 0 20 0 4 0 9789216 1337528320 267432 33554432000 4194304 16246674 140733614402816 140733614384704 13191604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326545 267432 873 2943 0 323439 0
[pid=12744/tid=12745] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267432 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267432 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1337528320 267432 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 1.90 1.98 1.92 3/185 12797
/proc/meminfo: memFree=29906716/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267741 0 0 0 1231 38 0 0 20 0 4 0 9789216 1338576896 267555 33554432000 4194304 16246674 140733614402816 140733614384704 13192682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326801 267555 873 2943 0 323695 0
[pid=12744/tid=12745] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.92 1.98 1.92 3/185 12797
/proc/meminfo: memFree=29906820/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267741 0 0 0 2511 38 0 0 20 0 4 0 9789216 1338576896 267555 33554432000 4194304 16246674 140733614402816 140733614384704 5721768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326801 267555 873 2943 0 323695 0
[pid=12744/tid=12745] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267555 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.94 1.98 1.92 3/185 12797
/proc/meminfo: memFree=29903496/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1307204 CPUtime=51.07 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267897 0 0 0 5069 38 0 0 20 0 4 0 9789216 1338576896 267957 33554432000 4194304 16246674 140733614402816 140733614384704 5808428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326801 267957 873 2943 0 323695 0
[pid=12744/tid=12745] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267957 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267957 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267957 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 1.97 1.98 1.92 3/185 12798
/proc/meminfo: memFree=29897692/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1307204 CPUtime=102.25 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 267934 0 0 0 10186 39 0 0 20 0 4 0 9789216 1338576896 267960 33554432000 4194304 16246674 140733614402816 140733614385816 5823611 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 326801 267960 874 2943 0 323695 0
[pid=12744/tid=12745] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267960 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267960 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1338576896 267960 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1307204


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

/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.03 2.07 2.00 3/185 12851
/proc/meminfo: memFree=29886544/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1301.79 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 130130 49 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 5523416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/185 12852
/proc/meminfo: memFree=29886192/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1361.79 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 136129 50 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 12853
/proc/meminfo: memFree=29886228/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1421.78 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 142128 50 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 6012051 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/185 12854
/proc/meminfo: memFree=29886352/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1481.77 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 148126 51 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/185 12856
/proc/meminfo: memFree=29885976/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1541.76 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 154125 51 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/186 12860
/proc/meminfo: memFree=29886368/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1601.75 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 160123 52 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/185 12861
/proc/meminfo: memFree=29886256/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1661.74 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 166122 52 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614385816 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 12862
/proc/meminfo: memFree=29886008/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1721.73 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 172120 53 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614385816 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 12863
/proc/meminfo: memFree=29885888/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1781.72 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 178118 54 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 12864
/proc/meminfo: memFree=29885640/32872528 swapFree=7268/7268
[pid=12744] ppid=12741 vsize=1313348 CPUtime=1800.02 cores=1,3,5,7
/proc/12744/stat : 12744 (toysat) R 12741 12744 9721 0 -1 4202496 269898 0 0 0 179948 54 0 0 20 0 4 0 9789216 1344868352 269532 33554432000 4194304 16246674 140733614402816 140733614384704 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12744/statm: 328337 269532 877 2943 0 325231 0
[pid=12744/tid=12745] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12745/stat : 12745 (toysat) S 12741 12744 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204611448048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=12744/tid=12746] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12746/stat : 12746 (toysat) S 12741 12744 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204600958192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=12744/tid=12747] ppid=12741 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12744/task/12747/stat : 12747 (toysat) S 12741 12744 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789217 1344868352 269532 33554432000 4194304 16246674 140733614402816 140204590484656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.542917
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.542917
maximum resident set size= 1078128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269898
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= 449
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6033 second user time and 6.96194 second system time

The end

Begin job on node133 at 2016-06-16 13:43:53
IDJOB=4093306
IDBENCH=78662
IDSOLVER=2553
FILE ID=node133/4093306-1466077433
RUNJOBID= node133-1466075558-12322
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093306-1466077433/watcher-4093306-1466077433 -o /tmp/evaluation-result-4093306-1466077433/solver-4093306-1466077433 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093306-1466077433.wbo

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

MD5SUM BENCH= c3b83188909f121458b2a501f16a66ab
RANDOM SEED=2007065965

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30948000 kB
Buffers:           19668 kB
Cached:            97608 kB
SwapCached:         1884 kB
Active:          1178348 kB
Inactive:          39668 kB
Active(anon):    1102016 kB
Inactive(anon):     1228 kB
Active(file):      76332 kB
Inactive(file):    38440 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098880 kB
Dirty:             34400 kB
Writeback:            12 kB
AnonPages:       1107320 kB
Mapped:            10620 kB
Shmem:                 0 kB
Slab:             567140 kB
SReclaimable:      10244 kB
SUnreclaim:       556896 kB
KernelStack:        1504 kB
PageTables:         6076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1251992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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 node133 at 2016-06-16 14:13:54