0.00/0.00	c 2016-06-16T02:14:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089960-1466036058.opb"]
0.00/0.01	c use --random-gen="316473245 31627438 2292630823 264889860 188580824 1424181444 2300963477 4058059308 312845838 2010726309 4052021069 4229486037 768373233 542966469 1604307050 3565937444 728655027 1770783403 2927109266 2484029130 3139960387 1119220148 3536580738 3368133565 1582299009 2927024883 1106536394 3456664311 1160820646 4155333659 4063289305 1292239565 775762886 1280933457 2797318864 2589888468 1186796228 2244794773 4106953469 2663429559 22271855 310260656 3649790333 4243537802 2145075344 735850334 223708322 2455750312 1530166252 2892752998 1136300391 1746985011 1677546939 2206853138 3723256025 1566096830 4185852654 3309277290 2301117725 1638166615 3790762889 25346575 2115258813 2507089882 3516412395 3379350295 1188812041 1488435773 2931478614 331650565 891370666 4149138659 3728211929 23817165 4200926209 86764480 1692101328 2117364628 1655652697 3588146303 8315018 1448644993 1389710746 3054187036 2502297438 3931641699 1559527617 3120668472 1004617340 4180027784 1583733195 3934250432 1959414656 1328429082 2010313106 1566913246 3312728538 664748349 1783270050 102635487 4066902627 462032946 3032576589 3903286925 359442519 1590025882 3759544242 844891748 2186047151 1400843192 2240995608 3314248108 3017590581 1198408796 1679922072 1971037544 1180001539 1597918082 3563385432 3155344836 1753067875 2909927687 178401113 2535349793 3771648302 3903989406 28454129 1550096518 444029524 104089566 1842893980 4001947894 1164199948 2813296655 3395023084 289428332 697683233 2860488120 3138293953 3895961447 2763401085 3888462699 734961082 2946724687 3928949504 1208562840 2600416054 2906452419 2726410240 633211059 1862252402 77889776 941118983 2436967852 3287769893 2405021402 637308077 1700092662 1892077299 3023166030 4137018745 1624636476 2573814604 3216642036 56602022 4225833330 2100084547 2086283095 1953613620 2043330949 987298076 1353051126 1287025204 3904513549 3873049645 2361960125 3658981568 1995449418 1548181450 1976422137 396190411 2144186112 1615890825 1260424436 2191051126 229111731 3627074523 2245868489 2497750173 375009704 876566995 550247333 737174741 3081098943 885382929 2648621860 1143630773 1568863679 3921494046 3425688504 1083199303 3241859646 863126484 3115378938 3976162302 236902719 1203737673 2941314282 2640687226 3364163593 165341860 3693492725 1151236022 1167291745 3437089057 3557277936 3601039470 1150926809 2480026497 696246431 919863681 1232916142 2662860579 1743180874 2205186410 3495462935 3131790321 230905349 1245433544 152257315 1720008715 1713212718 3395499002 2791201897 3974663458 1723896975 123242549 271693337 3227345223 3806727285 399994575 4136760308 1483339217 1548901271 2214620707 4195026186 132067024 2608980791 1134022642 617848396 3897017682 2134316325 575371628 3854865269 3136158996 324360997 255 362436" option to reproduce the execution
0.00/0.01	c #vars 213
0.00/0.01	c #constraints 71
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      118      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      129 |      100 |      118      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      374 |      250 |      130      0 |        0 |        0
0.08/0.10	c  0.1s |       3 |      705 |      475 |      143      2 |        0 |        0
0.08/0.17	c  0.2s |       4 |     1158 |      813 |      158      4 |        0 |        0
0.19/0.29	c  0.3s |       5 |     1786 |     1320 |      174      7 |        0 |        0
0.38/0.48	c  0.5s |       6 |     2662 |     2081 |      212     12 |        0 |        0
0.69/0.76	c  0.7s |       7 |     4158 |     3223 |      234     18 |        0 |        0
0.99/1.10	c  1.1s |       8 |     6089 |     4936 |      258     27 |        0 |        0
1.49/1.56	c  1.5s |       9 |     9080 |     7506 |      284     40 |        0 |        0
2.20/2.25	c  2.2s |      10 |    13268 |    11361 |      313     57 |        0 |        0
3.30/3.30	c  3.3s |      11 |    19838 |    17144 |      345     83 |        0 |        0
4.89/4.93	c  4.9s |      12 |    30098 |    25819 |      380    121 |        0 |        0
6.89/6.94	c  6.9s |      12 |    41938 |    35919 |      380    163 |        0 |        0
7.49/7.54	c  7.5s |      13 |    45327 |    38832 |      419    175 |        0 |        0
9.49/9.55	c  9.5s |      13 |    57442 |    48932 |      419    214 |        0 |        0
11.49/11.56	c 11.5s |      13 |    68237 |    58332 |      461    249 |        0 |        0
11.49/11.57	c 11.5s |      14 |    68269 |    58352 |      461    250 |        0 |        0
13.49/13.57	c 13.6s |      14 |    80306 |    68352 |      461    284 |        0 |        0
15.49/15.58	c 15.6s |      14 |    93791 |    79152 |      461    323 |        0 |        0
17.18/17.26	c 17.2s |      15 |   104234 |    87632 |      508    352 |        0 |        0
19.18/19.27	c 19.3s |      15 |   115871 |    97432 |      508    383 |        0 |        0
21.18/21.28	c 21.3s |      15 |   126706 |   107032 |      508    414 |        0 |        0
23.19/23.28	c 23.3s |      15 |   137623 |   116632 |      508    444 |        0 |        0
25.18/25.29	c 25.3s |      15 |   148479 |   125932 |      508    474 |        0 |        0
26.49/26.56	c 26.5s |      16 |   154932 |   131552 |      559    492 |        0 |        0
28.48/28.56	c 28.5s |      16 |   166636 |   142352 |      559    522 |        0 |        0
30.48/30.57	c 30.6s |      16 |   177781 |   152552 |      559    552 |        0 |        0
32.48/32.58	c 32.6s |      16 |   188529 |   162452 |      559    580 |        0 |        0
34.58/34.60	c 34.6s |      16 |   199319 |   172252 |      559    608 |        0 |        0
36.58/36.61	c 36.6s |      16 |   209607 |   181652 |      559    635 |        0 |        0
38.59/38.61	c 38.6s |      16 |   220083 |   190852 |      559    662 |        0 |        0
40.18/40.21	c 40.2s |      17 |   227448 |   197432 |      615    681 |        0 |        0
42.18/42.22	c 42.2s |      17 |   237663 |   206432 |      615    705 |        0 |        0
44.18/44.23	c 44.2s |      17 |   247029 |   214932 |      615    728 |        0 |        0
46.19/46.23	c 46.2s |      17 |   256548 |   223632 |      615    751 |        0 |        0
48.18/48.23	c 48.2s |      17 |   265823 |   232232 |      615    774 |        0 |        0
50.18/50.24	c 50.2s |      17 |   275805 |   241232 |      615    799 |        0 |        0
52.18/52.25	c 52.2s |      17 |   285351 |   249932 |      615    822 |        0 |        0
54.18/54.27	c 54.3s |      17 |   293969 |   257832 |      615    844 |        0 |        0
56.19/56.28	c 56.3s |      17 |   302513 |   265632 |      615    865 |        0 |        0
58.18/58.28	c 58.3s |      17 |   311253 |   273432 |      615    887 |        0 |        0
60.18/60.29	c 60.3s |      17 |   319081 |   280432 |      615    906 |        0 |        0
62.28/62.31	c 62.3s |      17 |   328143 |   288732 |      615    928 |        0 |        0
64.28/64.33	c 64.3s |      17 |   336404 |   296232 |      677    948 |        0 |        0
64.28/64.33	c 64.3s |      18 |   336428 |   296252 |      677    948 |        0 |        0
66.28/66.35	c 66.3s |      18 |   346839 |   305452 |      677    971 |        0 |        0
68.29/68.36	c 68.3s |      18 |   356299 |   314252 |      677    993 |        0 |        0
70.28/70.37	c 70.4s |      18 |   365216 |   322552 |      677   1014 |        0 |        0
72.28/72.37	c 72.4s |      18 |   374312 |   330852 |      677   1034 |        0 |        0
74.28/74.39	c 74.4s |      18 |   383402 |   339252 |      677   1055 |        0 |        0
76.28/76.39	c 76.4s |      18 |   392593 |   347652 |      677   1076 |        0 |        0
78.38/78.40	c 78.4s |      18 |   401869 |   356052 |      677   1098 |        0 |        0
80.38/80.41	c 80.4s |      18 |   410909 |   364252 |      677   1118 |        0 |        0
82.38/82.43	c 82.4s |      18 |   419753 |   372252 |      677   1139 |        0 |        0
84.38/84.44	c 84.4s |      18 |   428783 |   380652 |      677   1160 |        0 |        0
86.37/86.45	c 86.4s |      18 |   438112 |   389152 |      677   1181 |        0 |        0
88.37/88.47	c 88.5s |      18 |   446322 |   396852 |      677   1200 |        0 |        0
90.37/90.49	c 90.5s |      18 |   455453 |   404952 |      677   1220 |        0 |        0
92.39/92.50	c 92.5s |      18 |   463851 |   412552 |      677   1239 |        0 |        0
94.47/94.51	c 94.5s |      18 |   472310 |   420252 |      677   1258 |        0 |        0
96.47/96.53	c 96.5s |      18 |   481352 |   428552 |      677   1279 |        0 |        0
98.47/98.55	c 98.5s |      18 |   489882 |   436452 |      677   1299 |        0 |        0
100.37/100.42	c  100s |      19 |   498857 |   444482 |      745   1318 |        0 |        0
102.38/102.43	c  102s |      19 |   509084 |   453582 |      745   1339 |        0 |        0
104.37/104.43	c  104s |      19 |   518383 |   461882 |      745   1359 |        0 |        0
106.37/106.44	c  106s |      19 |   527705 |   470082 |      745   1378 |        0 |        0
108.37/108.45	c  108s |      19 |   536621 |   478082 |      745   1396 |        0 |        0
110.37/110.47	c  110s |      19 |   545659 |   486282 |      745   1415 |        0 |        0
112.37/112.47	c  112s |      19 |   554249 |   494082 |      745   1433 |        0 |        0
114.38/114.49	c  114s |      19 |   562870 |   501882 |      745   1451 |        0 |        0
116.47/116.51	c  116s |      19 |   570763 |   509082 |      745   1468 |        0 |        0
118.47/118.52	c  118s |      19 |   579059 |   516582 |      745   1485 |        0 |        0
120.47/120.53	c  120s |      19 |   588662 |   524982 |      745   1504 |        0 |        0
122.47/122.53	c  122s |      19 |   598645 |   533682 |      745   1525 |        0 |        0
124.47/124.55	c  124s |      19 |   607840 |   541782 |      745   1543 |        0 |        0
126.47/126.56	c  126s |      19 |   617211 |   549682 |      745   1562 |        0 |        0
128.47/128.56	c  128s |      19 |   626450 |   557882 |      745   1581 |        0 |        0
130.47/130.58	c  130s |      19 |   635872 |   566282 |      745   1601 |        0 |        0
132.57/132.60	c  132s |      19 |   644511 |   573882 |      745   1618 |        0 |        0
134.56/134.61	c  134s |      19 |   652918 |   581582 |      745   1636 |        0 |        0
136.56/136.62	c  136s |      19 |   661278 |   589182 |      745   1654 |        0 |        0
138.57/138.64	c  138s |      19 |   670006 |   596882 |      745   1672 |        0 |        0
140.56/140.64	c  140s |      19 |   678665 |   604482 |      745   1689 |        0 |        0
142.56/142.67	c  142s |      19 |   687639 |   612382 |      745   1708 |        0 |        0
144.56/144.69	c  144s |      19 |   696824 |   620482 |      745   1726 |        0 |        0
146.66/146.72	c  146s |      19 |   706152 |   628782 |      745   1746 |        0 |        0
148.66/148.73	c  148s |      19 |   715236 |   636782 |      745   1764 |        0 |        0
150.67/150.74	c  150s |      19 |   723897 |   644482 |      745   1782 |        0 |        0
152.67/152.75	c  152s |      19 |   732292 |   651982 |      745   1799 |        0 |        0
154.67/154.76	c  154s |      19 |   740918 |   659582 |      745   1817 |        0 |        0
156.57/156.65	c  156s |      20 |   748963 |   666827 |      820   1833 |        0 |        0
158.57/158.67	c  158s |      20 |   758823 |   675527 |      820   1851 |        0 |        0
160.57/160.68	c  160s |      20 |   768471 |   684127 |      820   1870 |        0 |        0
162.67/162.70	c  162s |      20 |   777162 |   692027 |      820   1887 |        0 |        0
164.67/164.72	c  164s |      20 |   786411 |   700427 |      820   1905 |        0 |        0
166.67/166.74	c  166s |      20 |   795692 |   708727 |      820   1923 |        0 |        0
168.67/168.74	c  168s |      20 |   805484 |   717427 |      820   1941 |        0 |        0
170.67/170.74	c  170s |      20 |   814552 |   725627 |      820   1959 |        0 |        0
172.67/172.76	c  172s |      20 |   823481 |   733627 |      820   1976 |        0 |        0
174.66/174.78	c  174s |      20 |   833229 |   742227 |      820   1995 |        0 |        0
176.66/176.78	c  176s |      20 |   843085 |   750927 |      820   2014 |        0 |        0
178.66/178.79	c  178s |      20 |   852423 |   759427 |      820   2032 |        0 |        0
180.76/180.80	c  180s |      20 |   861566 |   767727 |      820   2050 |        0 |        0
182.76/182.82	c  182s |      20 |   870261 |   775727 |      820   2067 |        0 |        0
184.77/184.82	c  184s |      20 |   879595 |   784127 |      820   2085 |        0 |        0
186.76/186.83	c  186s |      20 |   888661 |   792427 |      820   2103 |        0 |        0
188.76/188.84	c  188s |      20 |   897324 |   800427 |      820   2120 |        0 |        0
190.76/190.84	c  190s |      20 |   906507 |   808527 |      820   2138 |        0 |        0
192.76/192.86	c  192s |      20 |   915675 |   816827 |      820   2156 |        0 |        0
194.77/194.86	c  194s |      20 |   924183 |   824527 |      820   2172 |        0 |        0
196.76/196.86	c  196s |      20 |   932874 |   832527 |      820   2189 |        0 |        0
198.76/198.86	c  198s |      20 |   941609 |   840627 |      820   2207 |        0 |        0
200.76/200.87	c  200s |      20 |   950421 |   848827 |      820   2224 |        0 |        0
202.76/202.88	c  202s |      20 |   959598 |   857327 |      820   2242 |        0 |        0
204.76/204.90	c  204s |      20 |   968253 |   865327 |      820   2260 |        0 |        0
206.86/206.91	c  206s |      20 |   976778 |   873227 |      820   2277 |        0 |        0
208.86/208.92	c  208s |      20 |   985190 |   880927 |      820   2293 |        0 |        0
210.86/210.93	c  210s |      20 |   993513 |   888627 |      820   2310 |        0 |        0
212.86/212.94	c  212s |      20 |  1001587 |   896127 |      820   2326 |        0 |        0
214.86/214.95	c  214s |      20 |  1009083 |   903227 |      820   2342 |        0 |        0
216.86/216.95	c  216s |      20 |  1017201 |   910827 |      820   2358 |        0 |        0
218.86/218.95	c  218s |      20 |  1025291 |   918327 |      820   2374 |        0 |        0
220.86/220.98	c  220s |      20 |  1033612 |   926027 |      820   2390 |        0 |        0
222.96/223.00	c  222s |      20 |  1042328 |   934027 |      820   2408 |        0 |        0
224.95/225.00	c  224s |      20 |  1051129 |   942127 |      820   2425 |        0 |        0
226.95/227.02	c  227s |      20 |  1059295 |   949727 |      820   2442 |        0 |        0
228.95/229.03	c  229s |      20 |  1067732 |   957427 |      820   2458 |        0 |        0
230.96/231.03	c  231s |      20 |  1076133 |   965127 |      820   2475 |        0 |        0
232.95/233.06	c  233s |      20 |  1083482 |   971927 |      820   2489 |        0 |        0
234.95/235.07	c  235s |      20 |  1092197 |   979827 |      820   2506 |        0 |        0
236.95/237.08	c  237s |      20 |  1101131 |   987927 |      820   2524 |        0 |        0
239.05/239.10	c  239s |      20 |  1110618 |   996527 |      903   2542 |        0 |        0
239.95/240.05	c  240s |      21 |  1114800 |  1000345 |      903   2549 |        0 |        0
241.96/242.05	c  242s |      21 |  1124181 |  1008545 |      903   2566 |        0 |        0
243.95/244.06	c  244s |      21 |  1133935 |  1017145 |      903   2583 |        0 |        0
245.95/246.08	c  246s |      21 |  1143100 |  1025345 |      903   2599 |        0 |        0
248.05/248.10	c  248s |      21 |  1153356 |  1034245 |      903   2617 |        0 |        0
250.05/250.12	c  250s |      21 |  1161654 |  1041745 |      903   2632 |        0 |        0
252.05/252.12	c  252s |      21 |  1170698 |  1049945 |      903   2649 |        0 |        0
254.05/254.15	c  254s |      21 |  1179856 |  1058345 |      903   2665 |        0 |        0
256.05/256.15	c  256s |      21 |  1188537 |  1066245 |      903   2681 |        0 |        0
258.04/258.18	c  258s |      21 |  1197151 |  1074045 |      903   2697 |        0 |        0
260.04/260.18	c  260s |      21 |  1205167 |  1081345 |      903   2712 |        0 |        0
262.14/262.21	c  262s |      21 |  1213986 |  1089145 |      903   2727 |        0 |        0
264.14/264.23	c  264s |      21 |  1223657 |  1097545 |      903   2744 |        0 |        0
266.15/266.24	c  266s |      21 |  1233345 |  1105945 |      903   2761 |        0 |        0
268.14/268.25	c  268s |      21 |  1242378 |  1113945 |      903   2777 |        0 |        0
270.14/270.25	c  270s |      21 |  1251349 |  1121845 |      903   2792 |        0 |        0
272.14/272.25	c  272s |      21 |  1260494 |  1130045 |      903   2809 |        0 |        0
274.14/274.28	c  274s |      21 |  1269086 |  1137845 |      903   2824 |        0 |        0
276.15/276.28	c  276s |      21 |  1278100 |  1145945 |      903   2840 |        0 |        0
278.14/278.28	c  278s |      21 |  1286471 |  1153445 |      903   2855 |        0 |        0
280.14/280.29	c  280s |      21 |  1294867 |  1160945 |      903   2870 |        0 |        0
282.24/282.30	c  282s |      21 |  1302486 |  1167845 |      903   2884 |        0 |        0
284.24/284.32	c  284s |      21 |  1310585 |  1174945 |      903   2898 |        0 |        0
286.24/286.34	c  286s |      21 |  1317970 |  1181545 |      903   2911 |        0 |        0
288.25/288.35	c  288s |      21 |  1325069 |  1188145 |      903   2924 |        0 |        0
290.24/290.36	c  290s |      21 |  1332334 |  1194745 |      903   2937 |        0 |        0
292.25/292.38	c  292s |      21 |  1340178 |  1201745 |      903   2951 |        0 |        0
294.35/294.40	c  294s |      21 |  1347513 |  1208445 |      903   2964 |        0 |        0
296.35/296.41	c  296s |      21 |  1354698 |  1214945 |      903   2977 |        0 |        0
298.35/298.41	c  298s |      21 |  1362762 |  1222345 |      903   2992 |        0 |        0
300.35/300.43	c  300s |      21 |  1370883 |  1229745 |      903   3006 |        0 |        0
302.35/302.46	c  302s |      21 |  1378174 |  1236445 |      903   3020 |        0 |        0
304.34/304.47	c  304s |      21 |  1385586 |  1243245 |      903   3033 |        0 |        0
306.34/306.47	c  306s |      21 |  1393225 |  1250245 |      903   3047 |        0 |        0
308.34/308.49	c  308s |      21 |  1401116 |  1257345 |      903   3061 |        0 |        0
310.44/310.51	c  310s |      21 |  1409297 |  1264645 |      903   3075 |        0 |        0
312.45/312.53	c  312s |      21 |  1418018 |  1272445 |      903   3091 |        0 |        0
314.44/314.53	c  314s |      21 |  1426766 |  1280045 |      903   3106 |        0 |        0
316.44/316.54	c  316s |      21 |  1435058 |  1287645 |      903   3121 |        0 |        0
318.44/318.55	c  318s |      21 |  1443762 |  1295445 |      903   3136 |        0 |        0
320.44/320.57	c  320s |      21 |  1453503 |  1303945 |      903   3153 |        0 |        0
322.44/322.58	c  322s |      21 |  1463759 |  1312645 |      903   3170 |        0 |        0
324.45/324.59	c  324s |      21 |  1473225 |  1320845 |      903   3186 |        0 |        0
326.54/326.61	c  326s |      21 |  1482213 |  1328545 |      903   3201 |        0 |        0
328.54/328.61	c  328s |      21 |  1491029 |  1336045 |      903   3216 |        0 |        0
330.54/330.62	c  330s |      21 |  1499612 |  1343345 |      903   3230 |        0 |        0
332.54/332.64	c  332s |      21 |  1508392 |  1351145 |      903   3246 |        0 |        0
334.54/334.66	c  334s |      21 |  1517455 |  1359445 |      903   3262 |        0 |        0
336.54/336.66	c  336s |      21 |  1526222 |  1367445 |      903   3278 |        0 |        0
338.53/338.69	c  338s |      21 |  1535419 |  1375945 |      903   3294 |        0 |        0
340.63/340.70	c  340s |      21 |  1545368 |  1384645 |      903   3311 |        0 |        0
342.63/342.72	c  342s |      21 |  1555075 |  1393145 |      903   3328 |        0 |        0
344.63/344.74	c  344s |      21 |  1563918 |  1401045 |      903   3344 |        0 |        0
346.63/346.75	c  346s |      21 |  1572939 |  1409245 |      903   3360 |        0 |        0
348.64/348.77	c  348s |      21 |  1581710 |  1417245 |      903   3376 |        0 |        0
350.63/350.79	c  350s |      21 |  1590852 |  1425445 |      903   3392 |        0 |        0
352.73/352.81	c  352s |      21 |  1600033 |  1433645 |      903   3408 |        0 |        0
354.73/354.83	c  354s |      21 |  1608616 |  1441545 |      903   3424 |        0 |        0
356.73/356.83	c  356s |      21 |  1617759 |  1449545 |      903   3440 |        0 |        0
358.73/358.84	c  358s |      21 |  1626526 |  1457345 |      903   3455 |        0 |        0
360.74/360.85	c  360s |      21 |  1635455 |  1465545 |      903   3472 |        0 |        0
362.73/362.85	c  362s |      21 |  1643944 |  1473345 |      903   3487 |        0 |        0
364.73/364.87	c  364s |      21 |  1652906 |  1481445 |      903   3503 |        0 |        0
366.73/366.88	c  366s |      21 |  1661327 |  1488945 |      903   3518 |        0 |        0
368.73/368.89	c  368s |      21 |  1670389 |  1497045 |      994   3533 |        0 |        0
369.73/369.83	c  369s |      22 |  1674328 |  1500622 |      994   3539 |        0 |        0
371.74/371.83	c  371s |      22 |  1684729 |  1509322 |      994   3555 |        0 |        0
373.73/373.86	c  373s |      22 |  1694252 |  1517522 |      994   3570 |        0 |        0
375.73/375.87	c  375s |      22 |  1703400 |  1525522 |      994   3584 |        0 |        0
377.73/377.88	c  377s |      22 |  1712932 |  1533622 |      994   3599 |        0 |        0
379.73/379.89	c  379s |      22 |  1721586 |  1541322 |      994   3613 |        0 |        0
381.83/381.90	c  381s |      22 |  1731615 |  1549822 |      994   3628 |        0 |        0
383.72/383.90	c  383s |      22 |  1741455 |  1558022 |      994   3643 |        0 |        0
385.83/385.91	c  385s |      22 |  1750306 |  1565622 |      994   3657 |        0 |        0
387.83/387.91	c  387s |      22 |  1759309 |  1573222 |      994   3671 |        0 |        0
389.83/389.92	c  389s |      22 |  1767951 |  1580622 |      994   3684 |        0 |        0
391.83/391.93	c  391s |      22 |  1775917 |  1587822 |      994   3697 |        0 |        0
393.84/393.95	c  393s |      22 |  1783888 |  1594922 |      994   3710 |        0 |        0
395.83/395.96	c  395s |      22 |  1792442 |  1602322 |      994   3724 |        0 |        0
397.83/397.98	c  397s |      22 |  1802005 |  1610422 |      994   3738 |        0 |        0
399.83/399.98	c  399s |      22 |  1811121 |  1618422 |      994   3753 |        0 |        0
401.83/401.99	c  401s |      22 |  1819729 |  1626022 |      994   3767 |        0 |        0
403.93/404.00	c  403s |      22 |  1828750 |  1633422 |      994   3780 |        0 |        0
405.93/406.02	c  406s |      22 |  1838156 |  1641022 |      994   3794 |        0 |        0
407.93/408.03	c  408s |      22 |  1847123 |  1648722 |      994   3808 |        0 |        0
409.92/410.03	c  410s |      22 |  1856552 |  1656822 |      994   3823 |        0 |        0
411.92/412.04	c  412s |      22 |  1865613 |  1664422 |      994   3836 |        0 |        0
413.92/414.06	c  414s |      22 |  1874140 |  1672122 |      994   3850 |        0 |        0
415.92/416.06	c  416s |      22 |  1882656 |  1679722 |      994   3864 |        0 |        0
417.92/418.07	c  418s |      22 |  1890906 |  1687022 |      994   3878 |        0 |        0
419.92/420.08	c  420s |      22 |  1899061 |  1694222 |      994   3891 |        0 |        0
422.02/422.11	c  422s |      22 |  1906920 |  1701322 |      994   3904 |        0 |        0
424.01/424.14	c  424s |      22 |  1914750 |  1708222 |      994   3916 |        0 |        0
426.01/426.16	c  426s |      22 |  1922134 |  1714922 |      994   3928 |        0 |        0
428.01/428.18	c  428s |      22 |  1931223 |  1722722 |      994   3942 |        0 |        0
430.12/430.20	c  430s |      22 |  1939522 |  1729922 |      994   3955 |        0 |        0
432.10/432.21	c  432s |      22 |  1947686 |  1737022 |      994   3968 |        0 |        0
434.10/434.23	c  434s |      22 |  1955911 |  1744122 |      994   3981 |        0 |        0
436.10/436.24	c  436s |      22 |  1965500 |  1752022 |      994   3995 |        0 |        0
438.10/438.26	c  438s |      22 |  1974028 |  1759222 |      994   4008 |        0 |        0
440.10/440.27	c  440s |      22 |  1982335 |  1766322 |      994   4021 |        0 |        0
442.10/442.29	c  442s |      22 |  1990247 |  1773122 |      994   4034 |        0 |        0
444.20/444.31	c  444s |      22 |  1998204 |  1780322 |      994   4047 |        0 |        0
446.20/446.34	c  446s |      22 |  2006611 |  1787922 |      994   4061 |        0 |        0
448.20/448.36	c  448s |      22 |  2015483 |  1795822 |      994   4075 |        0 |        0
450.20/450.37	c  450s |      22 |  2023189 |  1802822 |      994   4088 |        0 |        0
452.19/452.38	c  452s |      22 |  2031224 |  1810122 |      994   4101 |        0 |        0
454.30/454.42	c  454s |      22 |  2039060 |  1817122 |      994   4114 |        0 |        0
456.30/456.42	c  456s |      22 |  2047031 |  1824122 |      994   4126 |        0 |        0
458.30/458.45	c  458s |      22 |  2054780 |  1831022 |      994   4139 |        0 |        0
460.30/460.46	c  460s |      22 |  2063173 |  1838222 |      994   4152 |        0 |        0
462.29/462.46	c  462s |      22 |  2072072 |  1845822 |      994   4165 |        0 |        0
464.29/464.46	c  464s |      22 |  2080512 |  1853022 |      994   4178 |        0 |        0
466.30/466.47	c  466s |      22 |  2088215 |  1859822 |      994   4191 |        0 |        0
468.29/468.48	c  468s |      22 |  2096975 |  1867322 |      994   4205 |        0 |        0
470.39/470.50	c  470s |      22 |  2105771 |  1875022 |      994   4219 |        0 |        0
472.38/472.52	c  472s |      22 |  2114130 |  1882422 |      994   4232 |        0 |        0
474.38/474.53	c  474s |      22 |  2121610 |  1889122 |      994   4244 |        0 |        0
476.38/476.53	c  476s |      22 |  2129555 |  1896122 |      994   4257 |        0 |        0
478.39/478.55	c  478s |      22 |  2137283 |  1903022 |      994   4269 |        0 |        0
480.38/480.56	c  480s |      22 |  2145199 |  1910122 |      994   4282 |        0 |        0
482.38/482.57	c  482s |      22 |  2152845 |  1916822 |      994   4294 |        0 |        0
484.38/484.58	c  484s |      22 |  2160533 |  1923922 |      994   4307 |        0 |        0
486.38/486.58	c  486s |      22 |  2168590 |  1931322 |      994   4320 |        0 |        0
488.48/488.60	c  488s |      22 |  2176620 |  1938722 |      994   4334 |        0 |        0
490.49/490.63	c  490s |      22 |  2184371 |  1945722 |      994   4347 |        0 |        0
492.47/492.63	c  492s |      22 |  2192497 |  1953022 |      994   4360 |        0 |        0
494.47/494.64	c  494s |      22 |  2200281 |  1960222 |      994   4373 |        0 |        0
496.47/496.66	c  496s |      22 |  2207787 |  1967122 |      994   4385 |        0 |        0
498.47/498.68	c  498s |      22 |  2215130 |  1973822 |      994   4397 |        0 |        0
500.47/500.69	c  500s |      22 |  2223299 |  1981122 |      994   4411 |        0 |        0
502.46/502.70	c  502s |      22 |  2230436 |  1987822 |      994   4423 |        0 |        0
504.56/504.71	c  504s |      22 |  2238502 |  1995122 |      994   4436 |        0 |        0
506.56/506.73	c  506s |      22 |  2246547 |  2002222 |      994   4449 |        0 |        0
508.56/508.75	c  508s |      22 |  2254294 |  2009022 |      994   4461 |        0 |        0
510.56/510.76	c  510s |      22 |  2261625 |  2015622 |      994   4473 |        0 |        0
512.57/512.78	c  512s |      22 |  2269234 |  2022222 |      994   4485 |        0 |        0
514.56/514.79	c  514s |      22 |  2277338 |  2029222 |      994   4498 |        0 |        0
516.66/516.81	c  516s |      22 |  2284343 |  2035422 |      994   4509 |        0 |        0
518.66/518.83	c  518s |      22 |  2293260 |  2043222 |      994   4523 |        0 |        0
520.65/520.84	c  520s |      22 |  2302662 |  2051322 |      994   4537 |        0 |        0
522.65/522.87	c  522s |      22 |  2310879 |  2058522 |      994   4550 |        0 |        0
524.75/524.90	c  524s |      22 |  2318692 |  2065222 |      994   4563 |        0 |        0
526.76/526.91	c  526s |      22 |  2325937 |  2071722 |      994   4574 |        0 |        0
528.75/528.93	c  528s |      22 |  2332801 |  2078122 |      994   4586 |        0 |        0
530.75/530.95	c  530s |      22 |  2340132 |  2084822 |      994   4598 |        0 |        0
532.74/532.97	c  532s |      22 |  2346806 |  2090822 |      994   4609 |        0 |        0
534.74/534.99	c  534s |      22 |  2354267 |  2097322 |      994   4620 |        0 |        0
536.84/537.03	c  537s |      22 |  2363024 |  2104622 |      994   4634 |        0 |        0
538.85/539.04	c  539s |      22 |  2371361 |  2111822 |      994   4647 |        0 |        0
540.84/541.05	c  541s |      22 |  2379105 |  2118622 |      994   4659 |        0 |        0
542.84/543.08	c  543s |      22 |  2387334 |  2125422 |      994   4671 |        0 |        0
544.84/545.09	c  545s |      22 |  2395427 |  2132522 |      994   4684 |        0 |        0
546.94/547.12	c  547s |      22 |  2403831 |  2139522 |      994   4697 |        0 |        0
548.94/549.13	c  549s |      22 |  2411256 |  2146022 |      994   4708 |        0 |        0
550.94/551.15	c  551s |      22 |  2418474 |  2152622 |      994   4720 |        0 |        0
552.93/553.15	c  553s |      22 |  2427270 |  2160322 |      994   4734 |        0 |        0
554.93/555.15	c  555s |      22 |  2434807 |  2167122 |      994   4747 |        0 |        0
556.93/557.15	c  557s |      22 |  2441796 |  2173522 |      994   4758 |        0 |        0
558.93/559.17	c  559s |      22 |  2449029 |  2180122 |      994   4770 |        0 |        0
560.94/561.19	c  561s |      22 |  2456236 |  2186722 |      994   4782 |        0 |        0
563.04/563.21	c  563s |      22 |  2462993 |  2192922 |      994   4793 |        0 |        0
565.03/565.22	c  565s |      22 |  2470067 |  2199222 |      994   4805 |        0 |        0
567.03/567.22	c  567s |      22 |  2478087 |  2206222 |      994   4817 |        0 |        0
569.03/569.23	c  569s |      22 |  2485557 |  2212922 |      994   4829 |        0 |        0
571.03/571.25	c  571s |      22 |  2494432 |  2220522 |      994   4843 |        0 |        0
573.03/573.26	c  573s |      22 |  2502921 |  2228122 |      994   4857 |        0 |        0
575.03/575.27	c  575s |      22 |  2510924 |  2235422 |     1094   4870 |        0 |        0
577.03/577.28	c  577s |      22 |  2518806 |  2242622 |     1094   4882 |        0 |        0
579.03/579.29	c  579s |      22 |  2527207 |  2250122 |     1094   4894 |        0 |        0
579.33/579.52	c  579s |      23 |  2528250 |  2251038 |     1094   4895 |        0 |        0
581.33/581.53	c  581s |      23 |  2536508 |  2258638 |     1094   4908 |        0 |        0
583.32/583.53	c  583s |      23 |  2544529 |  2266138 |     1094   4920 |        0 |        0
585.32/585.55	c  585s |      23 |  2552603 |  2273738 |     1094   4932 |        0 |        0
587.32/587.55	c  587s |      23 |  2560623 |  2281238 |     1094   4945 |        0 |        0
589.32/589.56	c  589s |      23 |  2568478 |  2288638 |     1094   4957 |        0 |        0
591.32/591.58	c  591s |      23 |  2576668 |  2296138 |     1094   4969 |        0 |        0
593.41/593.60	c  593s |      23 |  2584625 |  2303438 |     1094   4982 |        0 |        0
595.41/595.62	c  595s |      23 |  2592715 |  2310838 |     1094   4994 |        0 |        0
597.41/597.65	c  597s |      23 |  2600660 |  2318138 |     1094   5006 |        0 |        0
599.42/599.66	c  599s |      23 |  2609013 |  2325538 |     1094   5018 |        0 |        0
601.41/601.69	c  601s |      23 |  2617290 |  2333138 |     1094   5031 |        0 |        0
603.40/603.69	c  603s |      23 |  2625682 |  2340738 |     1094   5043 |        0 |        0
605.50/605.72	c  605s |      23 |  2634105 |  2348438 |     1094   5056 |        0 |        0
607.50/607.72	c  607s |      23 |  2642831 |  2356238 |     1094   5068 |        0 |        0
609.50/609.74	c  609s |      23 |  2650649 |  2363538 |     1094   5080 |        0 |        0
611.51/611.75	c  611s |      23 |  2658815 |  2370838 |     1094   5092 |        0 |        0
613.49/613.76	c  613s |      23 |  2666873 |  2378338 |     1094   5105 |        0 |        0
615.49/615.77	c  615s |      23 |  2674713 |  2385538 |     1094   5116 |        0 |        0
617.59/617.80	c  617s |      23 |  2682504 |  2392438 |     1094   5128 |        0 |        0
619.59/619.82	c  619s |      23 |  2690784 |  2399938 |     1094   5140 |        0 |        0
621.59/621.84	c  621s |      23 |  2698340 |  2406938 |     1094   5152 |        0 |        0
623.59/623.84	c  623s |      23 |  2706003 |  2413938 |     1094   5164 |        0 |        0
625.58/625.85	c  625s |      23 |  2713697 |  2420938 |     1094   5175 |        0 |        0
627.58/627.86	c  627s |      23 |  2720943 |  2427538 |     1094   5186 |        0 |        0
629.58/629.87	c  629s |      23 |  2728424 |  2434338 |     1094   5197 |        0 |        0
631.58/631.87	c  631s |      23 |  2736321 |  2441538 |     1094   5209 |        0 |        0
633.58/633.88	c  633s |      23 |  2744089 |  2448438 |     1094   5220 |        0 |        0
635.58/635.90	c  635s |      23 |  2751905 |  2455538 |     1094   5232 |        0 |        0
637.68/637.92	c  637s |      23 |  2759119 |  2462238 |     1094   5243 |        0 |        0
639.68/639.95	c  639s |      23 |  2765917 |  2468538 |     1094   5254 |        0 |        0
641.68/641.96	c  641s |      23 |  2772617 |  2474738 |     1094   5264 |        0 |        0
643.67/643.98	c  643s |      23 |  2779449 |  2481038 |     1094   5274 |        0 |        0
645.67/645.99	c  645s |      23 |  2786664 |  2487738 |     1094   5285 |        0 |        0
647.78/648.01	c  647s |      23 |  2793368 |  2494038 |     1094   5295 |        0 |        0
649.77/650.03	c  650s |      23 |  2799979 |  2500238 |     1094   5306 |        0 |        0
651.77/652.04	c  652s |      23 |  2807095 |  2506738 |     1094   5316 |        0 |        0
653.77/654.06	c  654s |      23 |  2814495 |  2513738 |     1094   5328 |        0 |        0
655.77/656.07	c  656s |      23 |  2822123 |  2520738 |     1094   5339 |        0 |        0
657.78/658.09	c  658s |      23 |  2829148 |  2527338 |     1094   5350 |        0 |        0
659.78/660.09	c  660s |      23 |  2836048 |  2533638 |     1094   5360 |        0 |        0
661.87/662.11	c  662s |      23 |  2842590 |  2539738 |     1094   5370 |        0 |        0
663.87/664.12	c  664s |      23 |  2849663 |  2546338 |     1094   5381 |        0 |        0
665.87/666.13	c  666s |      23 |  2856642 |  2552838 |     1094   5392 |        0 |        0
667.87/668.13	c  668s |      23 |  2863074 |  2558838 |     1094   5402 |        0 |        0
669.87/670.13	c  670s |      23 |  2869791 |  2564938 |     1094   5412 |        0 |        0
671.87/672.15	c  672s |      23 |  2877548 |  2572138 |     1094   5424 |        0 |        0
673.86/674.16	c  674s |      23 |  2884693 |  2578738 |     1094   5435 |        0 |        0
675.86/676.19	c  676s |      23 |  2891259 |  2584838 |     1094   5445 |        0 |        0
677.96/678.22	c  678s |      23 |  2898420 |  2591538 |     1094   5455 |        0 |        0
679.96/680.24	c  680s |      23 |  2905996 |  2598538 |     1094   5467 |        0 |        0
681.96/682.25	c  682s |      23 |  2913154 |  2605138 |     1094   5478 |        0 |        0
683.96/684.28	c  684s |      23 |  2920326 |  2611738 |     1094   5489 |        0 |        0
686.05/686.30	c  686s |      23 |  2927332 |  2618238 |     1094   5500 |        0 |        0
688.05/688.31	c  688s |      23 |  2934381 |  2624738 |     1094   5510 |        0 |        0
690.05/690.33	c  690s |      23 |  2941032 |  2630838 |     1094   5520 |        0 |        0
692.05/692.34	c  692s |      23 |  2949117 |  2638138 |     1094   5532 |        0 |        0
694.04/694.37	c  694s |      23 |  2956286 |  2644738 |     1094   5543 |        0 |        0
696.05/696.38	c  696s |      23 |  2962938 |  2650938 |     1094   5553 |        0 |        0
698.04/698.39	c  698s |      23 |  2970199 |  2657438 |     1094   5564 |        0 |        0
700.14/700.40	c  700s |      23 |  2976592 |  2663338 |     1094   5573 |        0 |        0
702.14/702.42	c  702s |      23 |  2983160 |  2669438 |     1094   5583 |        0 |        0
704.14/704.45	c  704s |      23 |  2989275 |  2675138 |     1094   5593 |        0 |        0
706.14/706.45	c  706s |      23 |  2996597 |  2681838 |     1094   5604 |        0 |        0
708.14/708.46	c  708s |      23 |  3004012 |  2688738 |     1094   5615 |        0 |        0
710.14/710.47	c  710s |      23 |  3011927 |  2695938 |     1094   5627 |        0 |        0
712.13/712.49	c  712s |      23 |  3019538 |  2702838 |     1094   5638 |        0 |        0
714.23/714.52	c  714s |      23 |  3026211 |  2709038 |     1094   5649 |        0 |        0
716.23/716.53	c  716s |      23 |  3032634 |  2714938 |     1094   5658 |        0 |        0
718.23/718.56	c  718s |      23 |  3039926 |  2721738 |     1094   5670 |        0 |        0
720.24/720.57	c  720s |      23 |  3047482 |  2728638 |     1094   5681 |        0 |        0
722.23/722.58	c  722s |      23 |  3053983 |  2734738 |     1094   5691 |        0 |        0
724.22/724.60	c  724s |      23 |  3060901 |  2741138 |     1094   5702 |        0 |        0
726.32/726.62	c  726s |      23 |  3068084 |  2747638 |     1094   5712 |        0 |        0
728.32/728.63	c  728s |      23 |  3075594 |  2754538 |     1094   5724 |        0 |        0
730.32/730.64	c  730s |      23 |  3083268 |  2761538 |     1094   5735 |        0 |        0
732.33/732.64	c  732s |      23 |  3090439 |  2768238 |     1094   5746 |        0 |        0
734.32/734.65	c  734s |      23 |  3098329 |  2775438 |     1094   5758 |        0 |        0
736.32/736.66	c  736s |      23 |  3106146 |  2782638 |     1094   5770 |        0 |        0
738.32/738.69	c  738s |      23 |  3114452 |  2790038 |     1094   5782 |        0 |        0
740.32/740.69	c  740s |      23 |  3121738 |  2796838 |     1094   5794 |        0 |        0
742.41/742.70	c  742s |      23 |  3128917 |  2803538 |     1094   5805 |        0 |        0
744.42/744.73	c  744s |      23 |  3135740 |  2809738 |     1094   5815 |        0 |        0
746.41/746.73	c  746s |      23 |  3142808 |  2816238 |     1094   5826 |        0 |        0
748.41/748.74	c  748s |      23 |  3149625 |  2822538 |     1094   5836 |        0 |        0
750.41/750.76	c  750s |      23 |  3155971 |  2828438 |     1094   5846 |        0 |        0
752.41/752.78	c  752s |      23 |  3162090 |  2834138 |     1094   5855 |        0 |        0
754.50/754.80	c  754s |      23 |  3169361 |  2840838 |     1094   5866 |        0 |        0
756.51/756.81	c  756s |      23 |  3177085 |  2847838 |     1094   5877 |        0 |        0
758.50/758.84	c  758s |      23 |  3184393 |  2854638 |     1094   5889 |        0 |        0
760.50/760.86	c  760s |      23 |  3191153 |  2861038 |     1094   5899 |        0 |        0
762.50/762.88	c  762s |      23 |  3198694 |  2868038 |     1094   5911 |        0 |        0
764.50/764.88	c  764s |      23 |  3206332 |  2875138 |     1094   5922 |        0 |        0
766.60/766.90	c  766s |      23 |  3213461 |  2881838 |     1094   5933 |        0 |        0
768.60/768.90	c  768s |      23 |  3220630 |  2888538 |     1094   5944 |        0 |        0
770.60/770.92	c  770s |      23 |  3227874 |  2895138 |     1094   5955 |        0 |        0
772.59/772.93	c  772s |      23 |  3235301 |  2901938 |     1094   5966 |        0 |        0
774.59/774.95	c  774s |      23 |  3242628 |  2908638 |     1094   5977 |        0 |        0
776.59/776.98	c  776s |      23 |  3250084 |  2915338 |     1094   5988 |        0 |        0
778.60/778.99	c  778s |      23 |  3256906 |  2921538 |     1094   5999 |        0 |        0
780.59/781.00	c  780s |      23 |  3263674 |  2927838 |     1094   6009 |        0 |        0
782.69/783.00	c  782s |      23 |  3271044 |  2934538 |     1094   6020 |        0 |        0
784.69/785.00	c  784s |      23 |  3277619 |  2940538 |     1094   6030 |        0 |        0
786.69/787.02	c  787s |      23 |  3284869 |  2947238 |     1094   6041 |        0 |        0
788.69/789.04	c  789s |      23 |  3292186 |  2953938 |     1094   6052 |        0 |        0
790.70/791.06	c  791s |      23 |  3299066 |  2960238 |     1094   6062 |        0 |        0
792.69/793.07	c  793s |      23 |  3305771 |  2966438 |     1094   6073 |        0 |        0
794.69/795.09	c  795s |      23 |  3312700 |  2972938 |     1094   6083 |        0 |        0
796.79/797.12	c  797s |      23 |  3319645 |  2979438 |     1094   6094 |        0 |        0
798.79/799.13	c  799s |      23 |  3326282 |  2985538 |     1094   6104 |        0 |        0
800.79/801.15	c  801s |      23 |  3333229 |  2992038 |     1094   6115 |        0 |        0
802.79/803.16	c  803s |      23 |  3340189 |  2998538 |     1094   6125 |        0 |        0
804.78/805.18	c  805s |      23 |  3346398 |  3004338 |     1094   6135 |        0 |        0
806.78/807.19	c  807s |      23 |  3352152 |  3009738 |     1094   6144 |        0 |        0
808.88/809.21	c  809s |      23 |  3357960 |  3015138 |     1094   6152 |        0 |        0
810.88/811.22	c  811s |      23 |  3364921 |  3021538 |     1094   6163 |        0 |        0
812.88/813.25	c  813s |      23 |  3372460 |  3028438 |     1094   6175 |        0 |        0
814.89/815.26	c  815s |      23 |  3379468 |  3034838 |     1094   6185 |        0 |        0
816.88/817.29	c  817s |      23 |  3386151 |  3041038 |     1094   6195 |        0 |        0
818.98/819.30	c  819s |      23 |  3392981 |  3047338 |     1094   6206 |        0 |        0
820.98/821.31	c  821s |      23 |  3400042 |  3053838 |     1094   6216 |        0 |        0
822.97/823.32	c  823s |      23 |  3406712 |  3059938 |     1094   6226 |        0 |        0
824.97/825.32	c  825s |      23 |  3413733 |  3066438 |     1094   6237 |        0 |        0
826.97/827.32	c  827s |      23 |  3420955 |  3073138 |     1094   6248 |        0 |        0
828.97/829.33	c  829s |      23 |  3428218 |  3079938 |     1094   6259 |        0 |        0
830.96/831.35	c  831s |      23 |  3435069 |  3086238 |     1094   6270 |        0 |        0
832.96/833.36	c  833s |      23 |  3442190 |  3092738 |     1094   6280 |        0 |        0
834.96/835.39	c  835s |      23 |  3449173 |  3099038 |     1094   6291 |        0 |        0
836.96/837.39	c  837s |      23 |  3455231 |  3104538 |     1094   6300 |        0 |        0
839.07/839.41	c  839s |      23 |  3461831 |  3110638 |     1094   6310 |        0 |        0
841.06/841.44	c  841s |      23 |  3467909 |  3116238 |     1094   6319 |        0 |        0
843.05/843.46	c  843s |      23 |  3474432 |  3122038 |     1094   6328 |        0 |        0
845.05/845.48	c  845s |      23 |  3480964 |  3127938 |     1094   6338 |        0 |        0
847.15/847.50	c  847s |      23 |  3487941 |  3134238 |     1094   6349 |        0 |        0
849.15/849.52	c  849s |      23 |  3494259 |  3139838 |     1094   6358 |        0 |        0
851.17/851.55	c  851s |      23 |  3500878 |  3145838 |     1094   6368 |        0 |        0
853.16/853.55	c  853s |      23 |  3507792 |  3152238 |     1094   6378 |        0 |        0
855.16/855.58	c  855s |      23 |  3514783 |  3158638 |     1094   6388 |        0 |        0
857.26/857.60	c  857s |      23 |  3520962 |  3164338 |     1094   6398 |        0 |        0
859.26/859.62	c  859s |      23 |  3527577 |  3170438 |     1094   6408 |        0 |        0
861.26/861.64	c  861s |      23 |  3534063 |  3176538 |     1094   6418 |        0 |        0
863.26/863.65	c  863s |      23 |  3541078 |  3182938 |     1094   6428 |        0 |        0
865.25/865.67	c  865s |      23 |  3548124 |  3189438 |     1094   6439 |        0 |        0
867.25/867.69	c  867s |      23 |  3555212 |  3195938 |     1094   6449 |        0 |        0
869.35/869.72	c  869s |      23 |  3562400 |  3202538 |     1094   6460 |        0 |        0
871.35/871.74	c  871s |      23 |  3570255 |  3209438 |     1094   6471 |        0 |        0
873.34/873.77	c  873s |      23 |  3577324 |  3215738 |     1094   6482 |        0 |        0
875.44/875.80	c  875s |      23 |  3583943 |  3221738 |     1094   6492 |        0 |        0
877.34/877.80	c  877s |      23 |  3590532 |  3227638 |     1094   6501 |        0 |        0
879.44/879.83	c  879s |      23 |  3596764 |  3233338 |     1094   6511 |        0 |        0
881.44/881.83	c  881s |      23 |  3603306 |  3239338 |     1094   6520 |        0 |        0
883.44/883.83	c  883s |      23 |  3609566 |  3245038 |     1094   6530 |        0 |        0
885.44/885.86	c  885s |      23 |  3615575 |  3250638 |     1094   6539 |        0 |        0
887.44/887.87	c  887s |      23 |  3621824 |  3256338 |     1094   6548 |        0 |        0
889.44/889.88	c  889s |      23 |  3627897 |  3261838 |     1094   6557 |        0 |        0
891.54/891.90	c  891s |      23 |  3633766 |  3267238 |     1094   6566 |        0 |        0
893.53/893.91	c  893s |      23 |  3640287 |  3273138 |     1094   6576 |        0 |        0
895.53/895.91	c  895s |      23 |  3647140 |  3279338 |     1094   6586 |        0 |        0
897.53/897.92	c  897s |      23 |  3653941 |  3285438 |     1094   6596 |        0 |        0
899.54/899.92	c  899s |      23 |  3660523 |  3291438 |     1094   6606 |        0 |        0
901.53/901.95	c  901s |      23 |  3667127 |  3297538 |     1094   6616 |        0 |        0
903.52/903.95	c  903s |      23 |  3673383 |  3303238 |     1094   6625 |        0 |        0
905.52/905.95	c  905s |      23 |  3680124 |  3309438 |     1094   6635 |        0 |        0
907.52/907.97	c  907s |      23 |  3686697 |  3315338 |     1094   6645 |        0 |        0
909.52/909.99	c  909s |      23 |  3693485 |  3321438 |     1094   6655 |        0 |        0
911.53/911.99	c  911s |      23 |  3700050 |  3327338 |     1094   6665 |        0 |        0
913.61/914.00	c  913s |      23 |  3706314 |  3333138 |     1094   6674 |        0 |        0
915.61/916.04	c  916s |      23 |  3713810 |  3340138 |     1094   6686 |        0 |        0
917.61/918.04	c  918s |      23 |  3720942 |  3346838 |     1094   6697 |        0 |        0
919.61/920.05	c  920s |      23 |  3727732 |  3353138 |     1204   6707 |        0 |        0
921.61/922.06	c  922s |      23 |  3734173 |  3359138 |     1204   6716 |        0 |        0
923.61/924.08	c  924s |      23 |  3740557 |  3365038 |     1204   6725 |        0 |        0
925.60/926.09	c  926s |      23 |  3747155 |  3371038 |     1204   6734 |        0 |        0
927.41/927.88	c  927s |      24 |  3753218 |  3376662 |     1204   6742 |        0 |        0
929.41/929.88	c  929s |      24 |  3761452 |  3383862 |     1204   6753 |        0 |        0
931.51/931.90	c  931s |      24 |  3768381 |  3390262 |     1204   6763 |        0 |        0
933.52/933.92	c  933s |      24 |  3775930 |  3397062 |     1204   6773 |        0 |        0
935.51/935.94	c  935s |      24 |  3783086 |  3403362 |     1204   6783 |        0 |        0
937.51/937.96	c  937s |      24 |  3790439 |  3409962 |     1204   6793 |        0 |        0
939.51/939.98	c  939s |      24 |  3797900 |  3416762 |     1204   6803 |        0 |        0
941.51/941.98	c  941s |      24 |  3805642 |  3423762 |     1204   6813 |        0 |        0
943.60/944.00	c  943s |      24 |  3813368 |  3430562 |     1204   6824 |        0 |        0
945.61/946.03	c  946s |      24 |  3821558 |  3437862 |     1204   6835 |        0 |        0
947.60/948.03	c  948s |      24 |  3829111 |  3444562 |     1204   6845 |        0 |        0
949.60/950.04	c  950s |      24 |  3836115 |  3450962 |     1204   6855 |        0 |        0
951.60/952.08	c  952s |      24 |  3843868 |  3457962 |     1204   6866 |        0 |        0
953.59/954.09	c  954s |      24 |  3850908 |  3464462 |     1204   6875 |        0 |        0
955.69/956.11	c  956s |      24 |  3858384 |  3471162 |     1204   6886 |        0 |        0
957.70/958.13	c  958s |      24 |  3865289 |  3477462 |     1204   6895 |        0 |        0
959.69/960.15	c  960s |      24 |  3872276 |  3483862 |     1204   6905 |        0 |        0
961.69/962.17	c  962s |      24 |  3879816 |  3490662 |     1204   6915 |        0 |        0
963.79/964.20	c  964s |      24 |  3887307 |  3497462 |     1204   6925 |        0 |        0
965.79/966.23	c  966s |      24 |  3894248 |  3503862 |     1204   6935 |        0 |        0
967.78/968.23	c  968s |      24 |  3900947 |  3510062 |     1204   6945 |        0 |        0
969.79/970.26	c  970s |      24 |  3907771 |  3516362 |     1204   6954 |        0 |        0
971.78/972.26	c  972s |      24 |  3914002 |  3522162 |     1204   6963 |        0 |        0
973.78/974.29	c  974s |      24 |  3920755 |  3528362 |     1204   6972 |        0 |        0
975.88/976.32	c  976s |      24 |  3927403 |  3534462 |     1204   6981 |        0 |        0
977.88/978.34	c  978s |      24 |  3935030 |  3541362 |     1204   6992 |        0 |        0
979.88/980.37	c  980s |      24 |  3942528 |  3548162 |     1204   7002 |        0 |        0
981.88/982.39	c  982s |      24 |  3950282 |  3555062 |     1204   7013 |        0 |        0
983.98/984.42	c  984s |      24 |  3957107 |  3561262 |     1204   7022 |        0 |        0
985.97/986.43	c  986s |      24 |  3964585 |  3567862 |     1204   7032 |        0 |        0
987.97/988.44	c  988s |      24 |  3972081 |  3574562 |     1204   7042 |        0 |        0
989.97/990.47	c  990s |      24 |  3979079 |  3580962 |     1204   7052 |        0 |        0
991.97/992.48	c  992s |      24 |  3986210 |  3587462 |     1204   7062 |        0 |        0
993.97/994.49	c  994s |      24 |  3993289 |  3593862 |     1204   7071 |        0 |        0
996.07/996.51	c  996s |      24 |  4000207 |  3600162 |     1204   7081 |        0 |        0
998.07/998.54	c  998s |      24 |  4007406 |  3606562 |     1204   7091 |        0 |        0
1000.07/1000.55	c 1000s |      24 |  4014769 |  3613062 |     1204   7100 |        0 |        0
1002.06/1002.55	c 1002s |      24 |  4022262 |  3619662 |     1204   7110 |        0 |        0
1004.06/1004.56	c 1004s |      24 |  4028889 |  3625662 |     1204   7119 |        0 |        0
1006.07/1006.57	c 1006s |      24 |  4035854 |  3631862 |     1204   7129 |        0 |        0
1008.06/1008.57	c 1008s |      24 |  4042763 |  3638062 |     1204   7138 |        0 |        0
1010.06/1010.59	c 1010s |      24 |  4049837 |  3644562 |     1204   7148 |        0 |        0
1012.16/1012.60	c 1012s |      24 |  4056830 |  3650962 |     1204   7158 |        0 |        0
1014.15/1014.63	c 1014s |      24 |  4064156 |  3657562 |     1204   7168 |        0 |        0
1016.15/1016.63	c 1016s |      24 |  4072002 |  3664562 |     1204   7178 |        0 |        0
1018.16/1018.66	c 1018s |      24 |  4080010 |  3671562 |     1204   7189 |        0 |        0
1020.15/1020.66	c 1020s |      24 |  4087530 |  3678262 |     1204   7199 |        0 |        0
1022.15/1022.67	c 1022s |      24 |  4095196 |  3684962 |     1204   7209 |        0 |        0
1024.15/1024.68	c 1024s |      24 |  4102399 |  3691262 |     1204   7219 |        0 |        0
1026.15/1026.68	c 1026s |      24 |  4109492 |  3697562 |     1204   7228 |        0 |        0
1028.15/1028.69	c 1028s |      24 |  4116526 |  3703962 |     1204   7238 |        0 |        0
1030.14/1030.70	c 1030s |      24 |  4124117 |  3710662 |     1204   7248 |        0 |        0
1032.24/1032.73	c 1032s |      24 |  4130510 |  3716462 |     1204   7257 |        0 |        0
1034.24/1034.75	c 1034s |      24 |  4136432 |  3721862 |     1204   7265 |        0 |        0
1036.24/1036.76	c 1036s |      24 |  4142510 |  3727362 |     1204   7274 |        0 |        0
1038.24/1038.78	c 1038s |      24 |  4149482 |  3733562 |     1204   7283 |        0 |        0
1040.34/1040.82	c 1040s |      24 |  4156435 |  3739962 |     1204   7293 |        0 |        0
1042.35/1042.83	c 1042s |      24 |  4162954 |  3745962 |     1204   7302 |        0 |        0
1044.34/1044.85	c 1044s |      24 |  4169677 |  3752062 |     1204   7311 |        0 |        0
1046.34/1046.87	c 1046s |      24 |  4176180 |  3758062 |     1204   7320 |        0 |        0
1048.34/1048.87	c 1048s |      24 |  4183389 |  3764562 |     1204   7330 |        0 |        0
1050.34/1050.89	c 1050s |      24 |  4190706 |  3771262 |     1204   7340 |        0 |        0
1052.44/1052.92	c 1052s |      24 |  4198233 |  3777962 |     1204   7350 |        0 |        0
1054.44/1054.93	c 1054s |      24 |  4204204 |  3783462 |     1204   7358 |        0 |        0
1056.43/1056.94	c 1056s |      24 |  4210952 |  3789462 |     1204   7368 |        0 |        0
1058.43/1058.95	c 1058s |      24 |  4218068 |  3795862 |     1204   7377 |        0 |        0
1060.43/1060.98	c 1060s |      24 |  4225279 |  3802462 |     1204   7387 |        0 |        0
1062.43/1062.98	c 1062s |      24 |  4232287 |  3808862 |     1204   7397 |        0 |        0
1064.53/1065.02	c 1065s |      24 |  4239082 |  3815162 |     1204   7407 |        0 |        0
1066.54/1067.03	c 1067s |      24 |  4245899 |  3821362 |     1204   7416 |        0 |        0
1068.53/1069.05	c 1069s |      24 |  4253722 |  3828162 |     1204   7426 |        0 |        0
1070.53/1071.06	c 1071s |      24 |  4261317 |  3834862 |     1204   7436 |        0 |        0
1072.53/1073.07	c 1073s |      24 |  4268484 |  3841262 |     1204   7446 |        0 |        0
1074.53/1075.09	c 1075s |      24 |  4275345 |  3847362 |     1204   7455 |        0 |        0
1076.54/1077.09	c 1077s |      24 |  4281862 |  3853262 |     1204   7464 |        0 |        0
1078.53/1079.10	c 1079s |      24 |  4288605 |  3859362 |     1204   7474 |        0 |        0
1080.63/1081.13	c 1081s |      24 |  4295725 |  3865662 |     1204   7483 |        0 |        0
1082.63/1083.14	c 1083s |      24 |  4302826 |  3872062 |     1204   7493 |        0 |        0
1084.63/1085.15	c 1085s |      24 |  4309795 |  3878362 |     1204   7502 |        0 |        0
1086.63/1087.17	c 1087s |      24 |  4316540 |  3884562 |     1204   7512 |        0 |        0
1088.63/1089.19	c 1089s |      24 |  4323305 |  3890662 |     1204   7521 |        0 |        0
1090.73/1091.20	c 1091s |      24 |  4330253 |  3896962 |     1204   7530 |        0 |        0
1092.73/1093.23	c 1093s |      24 |  4337790 |  3903662 |     1204   7541 |        0 |        0
1094.73/1095.26	c 1095s |      24 |  4345298 |  3910262 |     1204   7551 |        0 |        0
1096.73/1097.26	c 1097s |      24 |  4352692 |  3916862 |     1204   7561 |        0 |        0
1098.73/1099.27	c 1099s |      24 |  4359703 |  3923162 |     1204   7570 |        0 |        0
1100.73/1101.27	c 1101s |      24 |  4366605 |  3929462 |     1204   7580 |        0 |        0
1102.73/1103.28	c 1103s |      24 |  4373659 |  3935862 |     1204   7589 |        0 |        0
1104.83/1105.30	c 1105s |      24 |  4380883 |  3942262 |     1204   7599 |        0 |        0
1106.82/1107.31	c 1107s |      24 |  4387560 |  3948362 |     1204   7608 |        0 |        0
1108.82/1109.32	c 1109s |      24 |  4394477 |  3954662 |     1204   7618 |        0 |        0
1110.82/1111.33	c 1111s |      24 |  4400973 |  3960662 |     1204   7627 |        0 |        0
1112.83/1113.33	c 1113s |      24 |  4406994 |  3966162 |     1204   7635 |        0 |        0
1114.82/1115.34	c 1115s |      24 |  4413869 |  3972362 |     1204   7645 |        0 |        0
1116.82/1117.37	c 1117s |      24 |  4420803 |  3978662 |     1204   7654 |        0 |        0
1118.82/1119.39	c 1119s |      24 |  4427866 |  3984962 |     1204   7664 |        0 |        0
1120.92/1121.41	c 1121s |      24 |  4435174 |  3991362 |     1204   7673 |        0 |        0
1122.92/1123.41	c 1123s |      24 |  4442058 |  3997462 |     1204   7683 |        0 |        0
1124.93/1125.42	c 1125s |      24 |  4447942 |  4002862 |     1204   7691 |        0 |        0
1126.92/1127.43	c 1127s |      24 |  4454396 |  4008762 |     1204   7700 |        0 |        0
1128.92/1129.43	c 1129s |      24 |  4462202 |  4015762 |     1204   7710 |        0 |        0
1130.92/1131.44	c 1131s |      24 |  4470273 |  4023062 |     1204   7721 |        0 |        0
1132.92/1133.45	c 1133s |      24 |  4478021 |  4029862 |     1204   7732 |        0 |        0
1134.92/1135.47	c 1135s |      24 |  4485939 |  4036662 |     1204   7742 |        0 |        0
1136.93/1137.48	c 1137s |      24 |  4493175 |  4043062 |     1204   7752 |        0 |        0
1139.02/1139.51	c 1139s |      24 |  4500255 |  4049362 |     1204   7762 |        0 |        0
1141.02/1141.54	c 1141s |      24 |  4507469 |  4055762 |     1204   7771 |        0 |        0
1143.02/1143.54	c 1143s |      24 |  4514341 |  4061862 |     1204   7781 |        0 |        0
1145.02/1145.54	c 1145s |      24 |  4521262 |  4068062 |     1204   7790 |        0 |        0
1147.02/1147.57	c 1147s |      24 |  4528249 |  4074362 |     1204   7800 |        0 |        0
1149.02/1149.57	c 1149s |      24 |  4535158 |  4080562 |     1204   7809 |        0 |        0
1151.02/1151.57	c 1151s |      24 |  4541434 |  4086262 |     1204   7818 |        0 |        0
1153.12/1153.60	c 1153s |      24 |  4547693 |  4092062 |     1204   7826 |        0 |        0
1155.12/1155.62	c 1155s |      24 |  4554586 |  4098362 |     1204   7836 |        0 |        0
1157.11/1157.64	c 1157s |      24 |  4561260 |  4104462 |     1204   7845 |        0 |        0
1159.11/1159.67	c 1159s |      24 |  4568621 |  4111062 |     1204   7855 |        0 |        0
1161.22/1161.70	c 1161s |      24 |  4576211 |  4117662 |     1204   7865 |        0 |        0
1163.21/1163.74	c 1163s |      24 |  4582809 |  4123662 |     1204   7874 |        0 |        0
1165.21/1165.75	c 1165s |      24 |  4589716 |  4129862 |     1204   7884 |        0 |        0
1167.21/1167.78	c 1167s |      24 |  4597162 |  4136562 |     1204   7894 |        0 |        0
1169.31/1169.80	c 1169s |      24 |  4604376 |  4143062 |     1204   7904 |        0 |        0
1171.31/1171.82	c 1171s |      24 |  4610988 |  4149162 |     1204   7913 |        0 |        0
1173.32/1173.84	c 1173s |      24 |  4617873 |  4155462 |     1204   7923 |        0 |        0
1175.31/1175.87	c 1175s |      24 |  4625047 |  4161862 |     1204   7932 |        0 |        0
1177.41/1177.90	c 1177s |      24 |  4632284 |  4168262 |     1204   7942 |        0 |        0
1179.41/1179.91	c 1179s |      24 |  4639488 |  4174462 |     1204   7952 |        0 |        0
1181.41/1181.94	c 1181s |      24 |  4646387 |  4180562 |     1204   7961 |        0 |        0
1183.41/1183.95	c 1183s |      24 |  4652963 |  4186562 |     1204   7970 |        0 |        0
1185.42/1185.98	c 1185s |      24 |  4660255 |  4193062 |     1204   7980 |        0 |        0
1187.51/1188.02	c 1188s |      24 |  4666463 |  4198762 |     1204   7989 |        0 |        0
1189.51/1190.02	c 1190s |      24 |  4672689 |  4204462 |     1204   7997 |        0 |        0
1191.51/1192.03	c 1192s |      24 |  4679244 |  4210462 |     1204   8006 |        0 |        0
1193.51/1194.05	c 1194s |      24 |  4686067 |  4216662 |     1204   8016 |        0 |        0
1195.51/1196.09	c 1196s |      24 |  4693436 |  4223162 |     1204   8026 |        0 |        0
1197.61/1198.11	c 1198s |      24 |  4699527 |  4228762 |     1204   8034 |        0 |        0
1199.61/1200.14	c 1200s |      24 |  4705763 |  4234562 |     1204   8043 |        0 |        0
1201.61/1202.16	c 1202s |      24 |  4712082 |  4240362 |     1204   8052 |        0 |        0
1203.61/1204.18	c 1204s |      24 |  4718482 |  4246262 |     1204   8060 |        0 |        0
1205.70/1206.21	c 1206s |      24 |  4724873 |  4252062 |     1204   8069 |        0 |        0
1207.70/1208.22	c 1208s |      24 |  4731310 |  4257862 |     1204   8078 |        0 |        0
1209.70/1210.26	c 1210s |      24 |  4737512 |  4263562 |     1204   8087 |        0 |        0
1211.71/1212.27	c 1212s |      24 |  4744111 |  4269462 |     1204   8095 |        0 |        0
1213.70/1214.30	c 1214s |      24 |  4750902 |  4275562 |     1204   8105 |        0 |        0
1215.80/1216.33	c 1216s |      24 |  4757280 |  4281362 |     1204   8113 |        0 |        0
1217.80/1218.34	c 1218s |      24 |  4762751 |  4286362 |     1204   8121 |        0 |        0
1219.80/1220.36	c 1220s |      24 |  4768535 |  4291562 |     1204   8129 |        0 |        0
1221.80/1222.37	c 1222s |      24 |  4774939 |  4297362 |     1204   8138 |        0 |        0
1223.81/1224.37	c 1224s |      24 |  4781377 |  4303262 |     1204   8147 |        0 |        0
1225.80/1226.38	c 1226s |      24 |  4787393 |  4308862 |     1204   8155 |        0 |        0
1227.80/1228.39	c 1228s |      24 |  4793544 |  4314562 |     1204   8164 |        0 |        0
1229.91/1230.40	c 1230s |      24 |  4799521 |  4319962 |     1204   8172 |        0 |        0
1231.91/1232.43	c 1232s |      24 |  4805054 |  4325062 |     1204   8179 |        0 |        0
1233.91/1234.43	c 1234s |      24 |  4810972 |  4330562 |     1204   8188 |        0 |        0
1235.92/1236.46	c 1236s |      24 |  4818012 |  4336862 |     1204   8197 |        0 |        0
1238.01/1238.50	c 1238s |      24 |  4824885 |  4342962 |     1204   8206 |        0 |        0
1240.01/1240.53	c 1240s |      24 |  4831353 |  4348762 |     1204   8215 |        0 |        0
1242.01/1242.56	c 1242s |      24 |  4837969 |  4354862 |     1204   8224 |        0 |        0
1244.01/1244.57	c 1244s |      24 |  4845066 |  4361262 |     1204   8234 |        0 |        0
1246.11/1246.60	c 1246s |      24 |  4852439 |  4367662 |     1204   8244 |        0 |        0
1248.01/1248.60	c 1248s |      24 |  4858797 |  4373362 |     1204   8253 |        0 |        0
1250.11/1250.63	c 1250s |      24 |  4865440 |  4379362 |     1204   8262 |        0 |        0
1252.11/1252.66	c 1252s |      24 |  4872385 |  4385562 |     1204   8271 |        0 |        0
1254.11/1254.66	c 1254s |      24 |  4879291 |  4391662 |     1204   8280 |        0 |        0
1256.11/1256.68	c 1256s |      24 |  4885605 |  4397462 |     1204   8289 |        0 |        0
1258.20/1258.71	c 1258s |      24 |  4891970 |  4403262 |     1204   8298 |        0 |        0
1260.21/1260.72	c 1260s |      24 |  4898304 |  4408862 |     1204   8306 |        0 |        0
1262.20/1262.73	c 1262s |      24 |  4903913 |  4414062 |     1204   8314 |        0 |        0
1264.20/1264.74	c 1264s |      24 |  4909955 |  4419562 |     1204   8322 |        0 |        0
1266.20/1266.75	c 1266s |      24 |  4916901 |  4425762 |     1204   8332 |        0 |        0
1268.20/1268.78	c 1268s |      24 |  4923492 |  4431762 |     1204   8341 |        0 |        0
1270.20/1270.79	c 1270s |      24 |  4930263 |  4437862 |     1204   8350 |        0 |        0
1272.21/1272.80	c 1272s |      24 |  4936655 |  4443762 |     1204   8359 |        0 |        0
1274.30/1274.81	c 1274s |      24 |  4943123 |  4449762 |     1204   8368 |        0 |        0
1276.30/1276.81	c 1276s |      24 |  4949348 |  4455462 |     1204   8377 |        0 |        0
1278.30/1278.84	c 1278s |      24 |  4955674 |  4461362 |     1204   8386 |        0 |        0
1280.30/1280.85	c 1280s |      24 |  4962437 |  4467462 |     1204   8395 |        0 |        0
1282.30/1282.86	c 1282s |      24 |  4969457 |  4473662 |     1204   8404 |        0 |        0
1284.31/1284.87	c 1284s |      24 |  4975982 |  4479662 |     1204   8413 |        0 |        0
1286.30/1286.89	c 1286s |      24 |  4982335 |  4485562 |     1204   8422 |        0 |        0
1288.40/1288.90	c 1288s |      24 |  4989632 |  4492162 |     1204   8432 |        0 |        0
1290.40/1290.93	c 1290s |      24 |  4996791 |  4498762 |     1204   8442 |        0 |        0
1292.40/1292.93	c 1292s |      24 |  5004009 |  4505362 |     1204   8452 |        0 |        0
1294.40/1294.93	c 1294s |      24 |  5010798 |  4511562 |     1204   8462 |        0 |        0
1296.40/1296.94	c 1296s |      24 |  5017600 |  4517762 |     1204   8471 |        0 |        0
1298.40/1298.94	c 1298s |      24 |  5024701 |  4524162 |     1204   8481 |        0 |        0
1300.40/1300.97	c 1300s |      24 |  5031592 |  4530462 |     1204   8490 |        0 |        0
1302.50/1303.00	c 1302s |      24 |  5038034 |  4536462 |     1204   8499 |        0 |        0
1304.49/1305.01	c 1304s |      24 |  5044872 |  4542762 |     1204   8509 |        0 |        0
1306.49/1307.05	c 1307s |      24 |  5051819 |  4549162 |     1204   8519 |        0 |        0
1308.50/1309.06	c 1309s |      24 |  5058677 |  4555462 |     1204   8528 |        0 |        0
1310.49/1311.08	c 1311s |      24 |  5065452 |  4561562 |     1204   8537 |        0 |        0
1312.59/1313.10	c 1313s |      24 |  5071497 |  4567062 |     1204   8545 |        0 |        0
1314.59/1315.12	c 1315s |      24 |  5078227 |  4573062 |     1204   8554 |        0 |        0
1316.59/1317.13	c 1317s |      24 |  5085234 |  4579362 |     1204   8564 |        0 |        0
1318.59/1319.15	c 1319s |      24 |  5092069 |  4585562 |     1204   8574 |        0 |        0
1320.60/1321.17	c 1321s |      24 |  5099127 |  4591962 |     1204   8583 |        0 |        0
1322.59/1323.17	c 1323s |      24 |  5105821 |  4598062 |     1204   8593 |        0 |        0
1324.59/1325.19	c 1325s |      24 |  5112293 |  4603962 |     1204   8602 |        0 |        0
1326.59/1327.20	c 1327s |      24 |  5119629 |  4610562 |     1204   8612 |        0 |        0
1328.69/1329.22	c 1329s |      24 |  5127397 |  4617362 |     1204   8622 |        0 |        0
1330.69/1331.22	c 1331s |      24 |  5134220 |  4623562 |     1204   8631 |        0 |        0
1332.70/1333.22	c 1333s |      24 |  5140982 |  4629762 |     1204   8641 |        0 |        0
1334.69/1335.25	c 1335s |      24 |  5147292 |  4635562 |     1204   8650 |        0 |        0
1336.69/1337.27	c 1337s |      24 |  5153662 |  4641462 |     1204   8658 |        0 |        0
1338.69/1339.28	c 1339s |      24 |  5160193 |  4647462 |     1204   8668 |        0 |        0
1340.79/1341.30	c 1341s |      24 |  5167377 |  4654062 |     1204   8678 |        0 |        0
1342.79/1343.30	c 1343s |      24 |  5174296 |  4660362 |     1204   8687 |        0 |        0
1344.79/1345.34	c 1345s |      24 |  5180298 |  4665962 |     1204   8695 |        0 |        0
1346.79/1347.35	c 1347s |      24 |  5186440 |  4671562 |     1204   8704 |        0 |        0
1348.79/1349.36	c 1349s |      24 |  5193225 |  4677662 |     1204   8713 |        0 |        0
1350.78/1351.36	c 1351s |      24 |  5199222 |  4683162 |     1204   8721 |        0 |        0
1352.78/1353.37	c 1353s |      24 |  5205689 |  4689062 |     1204   8730 |        0 |        0
1354.79/1355.39	c 1355s |      24 |  5211937 |  4694762 |     1204   8739 |        0 |        0
1356.78/1357.40	c 1357s |      24 |  5219144 |  4701362 |     1204   8749 |        0 |        0
1358.89/1359.44	c 1359s |      24 |  5226069 |  4707762 |     1204   8759 |        0 |        0
1360.89/1361.45	c 1361s |      24 |  5232996 |  4714062 |     1204   8768 |        0 |        0
1362.89/1363.46	c 1363s |      24 |  5239526 |  4720062 |     1204   8777 |        0 |        0
1364.99/1365.50	c 1365s |      24 |  5246119 |  4726162 |     1204   8787 |        0 |        0
1366.99/1367.51	c 1367s |      24 |  5251946 |  4731562 |     1204   8795 |        0 |        0
1369.00/1369.51	c 1369s |      24 |  5257880 |  4737062 |     1204   8803 |        0 |        0
1370.99/1371.51	c 1371s |      24 |  5264378 |  4742862 |     1204   8812 |        0 |        0
1372.99/1373.53	c 1373s |      24 |  5270217 |  4748262 |     1204   8820 |        0 |        0
1374.99/1375.56	c 1375s |      24 |  5275932 |  4753462 |     1204   8828 |        0 |        0
1376.99/1377.57	c 1377s |      24 |  5282223 |  4759162 |     1204   8836 |        0 |        0
1379.09/1379.60	c 1379s |      24 |  5288170 |  4764562 |     1204   8844 |        0 |        0
1381.09/1381.61	c 1381s |      24 |  5294614 |  4770462 |     1204   8853 |        0 |        0
1383.09/1383.63	c 1383s |      24 |  5301301 |  4776662 |     1204   8863 |        0 |        0
1385.09/1385.64	c 1385s |      24 |  5307756 |  4782662 |     1204   8872 |        0 |        0
1387.09/1387.65	c 1387s |      24 |  5314472 |  4788862 |     1204   8881 |        0 |        0
1389.08/1389.67	c 1389s |      24 |  5321303 |  4795062 |     1204   8890 |        0 |        0
1391.09/1391.68	c 1391s |      24 |  5328206 |  4801362 |     1204   8900 |        0 |        0
1393.08/1393.69	c 1393s |      24 |  5334156 |  4806862 |     1204   8908 |        0 |        0
1395.18/1395.72	c 1395s |      24 |  5340618 |  4812762 |     1204   8917 |        0 |        0
1397.18/1397.74	c 1397s |      24 |  5347097 |  4818662 |     1204   8926 |        0 |        0
1399.18/1399.77	c 1399s |      24 |  5353364 |  4824462 |     1204   8935 |        0 |        0
1401.18/1401.78	c 1401s |      24 |  5359601 |  4830162 |     1204   8944 |        0 |        0
1403.28/1403.80	c 1403s |      24 |  5366343 |  4836262 |     1204   8953 |        0 |        0
1405.29/1405.81	c 1405s |      24 |  5373320 |  4842562 |     1204   8962 |        0 |        0
1407.28/1407.83	c 1407s |      24 |  5380297 |  4848862 |     1204   8972 |        0 |        0
1409.28/1409.85	c 1409s |      24 |  5387322 |  4855162 |     1204   8982 |        0 |        0
1411.28/1411.88	c 1411s |      24 |  5394446 |  4861662 |     1204   8991 |        0 |        0
1413.38/1413.90	c 1413s |      24 |  5401538 |  4868062 |     1204   9001 |        0 |        0
1415.38/1415.91	c 1415s |      24 |  5408140 |  4874062 |     1204   9010 |        0 |        0
1417.38/1417.94	c 1417s |      24 |  5415491 |  4880562 |     1204   9020 |        0 |        0
1419.38/1419.96	c 1419s |      24 |  5422083 |  4886562 |     1204   9029 |        0 |        0
1421.38/1421.99	c 1421s |      24 |  5427835 |  4891862 |     1204   9037 |        0 |        0
1423.48/1424.00	c 1423s |      24 |  5433616 |  4897062 |     1204   9045 |        0 |        0
1425.48/1426.01	c 1425s |      24 |  5439378 |  4902262 |     1204   9053 |        0 |        0
1427.48/1428.01	c 1427s |      24 |  5445136 |  4907462 |     1204   9061 |        0 |        0
1429.48/1430.01	c 1429s |      24 |  5451318 |  4913162 |     1204   9070 |        0 |        0
1431.47/1432.03	c 1432s |      24 |  5458131 |  4919362 |     1204   9079 |        0 |        0
1433.47/1434.05	c 1434s |      24 |  5464764 |  4925362 |     1204   9088 |        0 |        0
1435.47/1436.06	c 1436s |      24 |  5471919 |  4931862 |     1204   9098 |        0 |        0
1437.47/1438.08	c 1438s |      24 |  5479113 |  4938362 |     1204   9108 |        0 |        0
1439.48/1440.08	c 1440s |      24 |  5486060 |  4944662 |     1204   9118 |        0 |        0
1441.47/1442.10	c 1442s |      24 |  5493364 |  4951162 |     1204   9128 |        0 |        0
1443.57/1444.13	c 1444s |      24 |  5500258 |  4957562 |     1204   9137 |        0 |        0
1445.57/1446.14	c 1446s |      24 |  5507129 |  4963862 |     1204   9147 |        0 |        0
1447.57/1448.18	c 1448s |      24 |  5514114 |  4970162 |     1204   9156 |        0 |        0
1449.57/1450.18	c 1450s |      24 |  5520822 |  4976262 |     1204   9166 |        0 |        0
1451.58/1452.18	c 1452s |      24 |  5527796 |  4982562 |     1204   9175 |        0 |        0
1453.57/1454.19	c 1454s |      24 |  5534303 |  4988562 |     1204   9184 |        0 |        0
1455.57/1456.20	c 1456s |      24 |  5540894 |  4994662 |     1204   9194 |        0 |        0
1457.67/1458.23	c 1458s |      24 |  5548004 |  5001162 |     1204   9204 |        0 |        0
1459.67/1460.26	c 1460s |      24 |  5555403 |  5007862 |     1204   9214 |        0 |        0
1461.67/1462.27	c 1462s |      24 |  5562861 |  5014562 |     1204   9224 |        0 |        0
1463.67/1464.29	c 1464s |      24 |  5570592 |  5021362 |     1204   9234 |        0 |        0
1465.67/1466.30	c 1466s |      24 |  5577793 |  5027762 |     1204   9244 |        0 |        0
1467.77/1468.31	c 1468s |      24 |  5584638 |  5033962 |     1325   9253 |        0 |        0
1469.77/1470.33	c 1470s |      24 |  5591780 |  5040362 |     1325   9262 |        0 |        0
1471.77/1472.33	c 1472s |      24 |  5599057 |  5046762 |     1325   9271 |        0 |        0
1473.77/1474.34	c 1474s |      24 |  5606249 |  5053362 |     1325   9280 |        0 |        0
1475.77/1476.36	c 1476s |      24 |  5613475 |  5059862 |     1325   9289 |        0 |        0
1477.36/1477.99	c 1477s |      25 |  5619286 |  5065098 |     1325   9296 |        0 |        0
1479.46/1480.02	c 1480s |      25 |  5626767 |  5071998 |     1325   9306 |        0 |        0
1481.46/1482.03	c 1482s |      25 |  5635498 |  5079598 |     1325   9316 |        0 |        0
1483.47/1484.04	c 1484s |      25 |  5643266 |  5086498 |     1325   9326 |        0 |        0
1485.46/1486.05	c 1486s |      25 |  5651592 |  5093698 |     1325   9336 |        0 |        0
1487.46/1488.06	c 1488s |      25 |  5659092 |  5100398 |     1325   9345 |        0 |        0
1489.46/1490.06	c 1490s |      25 |  5667127 |  5107498 |     1325   9355 |        0 |        0
1491.46/1492.08	c 1492s |      25 |  5673953 |  5113798 |     1325   9364 |        0 |        0
1493.56/1494.11	c 1494s |      25 |  5681508 |  5120398 |     1325   9373 |        0 |        0
1495.57/1496.13	c 1496s |      25 |  5688541 |  5126898 |     1325   9382 |        0 |        0
1497.57/1498.13	c 1498s |      25 |  5695842 |  5133498 |     1325   9391 |        0 |        0
1499.57/1500.15	c 1500s |      25 |  5703946 |  5140598 |     1325   9401 |        0 |        0
1501.57/1502.15	c 1502s |      25 |  5712001 |  5147598 |     1325   9411 |        0 |        0
1503.57/1504.17	c 1504s |      25 |  5720441 |  5155198 |     1325   9422 |        0 |        0
1505.57/1506.19	c 1506s |      25 |  5728552 |  5162398 |     1325   9432 |        0 |        0
1507.57/1508.20	c 1508s |      25 |  5735508 |  5168698 |     1325   9440 |        0 |        0
1509.67/1510.22	c 1510s |      25 |  5742249 |  5174698 |     1325   9449 |        0 |        0
1511.67/1512.22	c 1512s |      25 |  5749478 |  5181198 |     1325   9458 |        0 |        0
1513.67/1514.23	c 1514s |      25 |  5756792 |  5187698 |     1325   9467 |        0 |        0
1515.67/1516.23	c 1516s |      25 |  5763770 |  5193898 |     1325   9476 |        0 |        0
1517.67/1518.24	c 1518s |      25 |  5770711 |  5200198 |     1325   9484 |        0 |        0
1519.67/1520.26	c 1520s |      25 |  5777531 |  5206398 |     1325   9493 |        0 |        0
1521.66/1522.29	c 1522s |      25 |  5784321 |  5212498 |     1325   9501 |        0 |        0
1523.76/1524.31	c 1524s |      25 |  5789908 |  5217698 |     1325   9509 |        0 |        0
1525.76/1526.32	c 1526s |      25 |  5795481 |  5222698 |     1325   9516 |        0 |        0
1527.76/1528.34	c 1528s |      25 |  5802155 |  5228698 |     1325   9524 |        0 |        0
1529.76/1530.35	c 1530s |      25 |  5808737 |  5234698 |     1325   9532 |        0 |        0
1531.77/1532.35	c 1532s |      25 |  5815403 |  5240798 |     1325   9541 |        0 |        0
1533.76/1534.35	c 1534s |      25 |  5821731 |  5246598 |     1325   9549 |        0 |        0
1535.76/1536.35	c 1536s |      25 |  5829970 |  5253698 |     1325   9559 |        0 |        0
1537.76/1538.36	c 1538s |      25 |  5836911 |  5259898 |     1325   9567 |        0 |        0
1539.76/1540.38	c 1540s |      25 |  5844558 |  5266698 |     1325   9577 |        0 |        0
1541.77/1542.39	c 1542s |      25 |  5852137 |  5273398 |     1325   9586 |        0 |        0
1543.87/1544.40	c 1544s |      25 |  5859871 |  5280098 |     1325   9595 |        0 |        0
1545.86/1546.44	c 1546s |      25 |  5866576 |  5285998 |     1325   9603 |        0 |        0
1547.86/1548.49	c 1548s |      25 |  5873237 |  5291798 |     1325   9612 |        0 |        0
1549.86/1550.49	c 1550s |      25 |  5879534 |  5297398 |     1325   9619 |        0 |        0
1551.96/1552.50	c 1552s |      25 |  5886220 |  5303298 |     1325   9628 |        0 |        0
1553.96/1554.51	c 1554s |      25 |  5893424 |  5309798 |     1325   9637 |        0 |        0
1555.96/1556.52	c 1556s |      25 |  5899777 |  5315598 |     1325   9645 |        0 |        0
1557.96/1558.55	c 1558s |      25 |  5906892 |  5321998 |     1325   9654 |        0 |        0
1559.96/1560.55	c 1560s |      25 |  5913736 |  5328198 |     1325   9662 |        0 |        0
1561.96/1562.57	c 1562s |      25 |  5920298 |  5334198 |     1325   9671 |        0 |        0
1563.96/1564.59	c 1564s |      25 |  5926928 |  5340198 |     1325   9679 |        0 |        0
1565.96/1566.59	c 1566s |      25 |  5933841 |  5346598 |     1325   9688 |        0 |        0
1568.06/1568.61	c 1568s |      25 |  5940578 |  5352798 |     1325   9696 |        0 |        0
1570.06/1570.63	c 1570s |      25 |  5947673 |  5359198 |     1325   9705 |        0 |        0
1572.05/1572.64	c 1572s |      25 |  5955108 |  5365898 |     1325   9714 |        0 |        0
1574.05/1574.65	c 1574s |      25 |  5962127 |  5372298 |     1325   9723 |        0 |        0
1576.05/1576.68	c 1576s |      25 |  5969224 |  5378698 |     1325   9732 |        0 |        0
1578.15/1578.71	c 1578s |      25 |  5976658 |  5385398 |     1325   9742 |        0 |        0
1580.16/1580.71	c 1580s |      25 |  5983547 |  5391598 |     1325   9750 |        0 |        0
1582.15/1582.72	c 1582s |      25 |  5989833 |  5397398 |     1325   9758 |        0 |        0
1584.15/1584.73	c 1584s |      25 |  5996166 |  5403298 |     1325   9766 |        0 |        0
1586.15/1586.75	c 1586s |      25 |  6002515 |  5409198 |     1325   9774 |        0 |        0
1588.15/1588.77	c 1588s |      25 |  6010519 |  5416098 |     1325   9784 |        0 |        0
1590.16/1590.79	c 1590s |      25 |  6018434 |  5422998 |     1325   9794 |        0 |        0
1592.26/1592.83	c 1592s |      25 |  6025649 |  5429298 |     1325   9803 |        0 |        0
1594.25/1594.85	c 1594s |      25 |  6032151 |  5434998 |     1325   9810 |        0 |        0
1596.25/1596.85	c 1596s |      25 |  6038517 |  5440798 |     1325   9819 |        0 |        0
1598.25/1598.88	c 1598s |      25 |  6044946 |  5446698 |     1325   9827 |        0 |        0
1600.35/1600.91	c 1600s |      25 |  6051189 |  5452298 |     1325   9835 |        0 |        0
1602.35/1602.94	c 1602s |      25 |  6057760 |  5458298 |     1325   9843 |        0 |        0
1604.35/1604.95	c 1604s |      25 |  6064434 |  5464298 |     1325   9851 |        0 |        0
1606.35/1606.97	c 1606s |      25 |  6070835 |  5470098 |     1325   9859 |        0 |        0
1608.35/1608.98	c 1608s |      25 |  6078110 |  5476598 |     1325   9868 |        0 |        0
1610.45/1611.00	c 1610s |      25 |  6084914 |  5482698 |     1325   9877 |        0 |        0
1612.45/1613.01	c 1612s |      25 |  6091899 |  5488798 |     1325   9885 |        0 |        0
1614.45/1615.05	c 1615s |      25 |  6099486 |  5495198 |     1325   9894 |        0 |        0
1616.45/1617.07	c 1617s |      25 |  6106622 |  5501498 |     1325   9903 |        0 |        0
1618.44/1619.09	c 1619s |      25 |  6113318 |  5507498 |     1325   9911 |        0 |        0
1620.54/1621.12	c 1621s |      25 |  6120402 |  5514098 |     1325   9920 |        0 |        0
1622.54/1623.14	c 1623s |      25 |  6127794 |  5520798 |     1325   9930 |        0 |        0
1624.55/1625.16	c 1625s |      25 |  6134338 |  5526798 |     1325   9938 |        0 |        0
1626.55/1627.17	c 1627s |      25 |  6140585 |  5532598 |     1325   9946 |        0 |        0
1628.56/1629.19	c 1629s |      25 |  6146346 |  5537998 |     1325   9954 |        0 |        0
1630.65/1631.20	c 1631s |      25 |  6152706 |  5543798 |     1325   9962 |        0 |        0
1632.65/1633.22	c 1633s |      25 |  6159808 |  5550198 |     1325   9971 |        0 |        0
1634.65/1635.25	c 1635s |      25 |  6166817 |  5556598 |     1325   9979 |        0 |        0
1636.65/1637.26	c 1637s |      25 |  6173358 |  5562598 |     1325   9988 |        0 |        0
1638.65/1639.27	c 1639s |      25 |  6179276 |  5568198 |     1325   9996 |        0 |        0
1640.65/1641.28	c 1641s |      25 |  6185970 |  5574298 |     1325  10004 |        0 |        0
1642.65/1643.29	c 1643s |      25 |  6192553 |  5580298 |     1325  10012 |        0 |        0
1644.75/1645.33	c 1645s |      25 |  6198927 |  5586198 |     1325  10021 |        0 |        0
1646.74/1647.35	c 1647s |      25 |  6206697 |  5592698 |     1325  10030 |        0 |        0
1648.74/1649.36	c 1649s |      25 |  6214631 |  5599498 |     1325  10039 |        0 |        0
1650.74/1651.37	c 1651s |      25 |  6222026 |  5605998 |     1325  10048 |        0 |        0
1652.75/1653.38	c 1653s |      25 |  6229436 |  5612598 |     1325  10057 |        0 |        0
1654.84/1655.40	c 1655s |      25 |  6237369 |  5619398 |     1325  10067 |        0 |        0
1656.84/1657.42	c 1657s |      25 |  6245424 |  5626098 |     1325  10076 |        0 |        0
1658.84/1659.43	c 1659s |      25 |  6252402 |  5632198 |     1325  10085 |        0 |        0
1660.84/1661.47	c 1661s |      25 |  6259976 |  5638898 |     1325  10094 |        0 |        0
1662.84/1663.49	c 1663s |      25 |  6268595 |  5646098 |     1325  10104 |        0 |        0
1664.85/1665.49	c 1665s |      25 |  6275911 |  5652498 |     1325  10113 |        0 |        0
1666.94/1667.52	c 1667s |      25 |  6282603 |  5658398 |     1325  10121 |        0 |        0
1668.94/1669.54	c 1669s |      25 |  6290087 |  5664898 |     1325  10130 |        0 |        0
1670.94/1671.55	c 1671s |      25 |  6297091 |  5671198 |     1325  10139 |        0 |        0
1672.94/1673.56	c 1673s |      25 |  6304297 |  5677598 |     1325  10148 |        0 |        0
1674.94/1675.59	c 1675s |      25 |  6311228 |  5683698 |     1325  10156 |        0 |        0
1676.94/1677.59	c 1677s |      25 |  6318583 |  5690098 |     1325  10165 |        0 |        0
1679.03/1679.60	c 1679s |      25 |  6324891 |  5695798 |     1325  10173 |        0 |        0
1681.03/1681.61	c 1681s |      25 |  6330655 |  5701098 |     1325  10181 |        0 |        0
1683.03/1683.61	c 1683s |      25 |  6337239 |  5706998 |     1325  10189 |        0 |        0
1685.03/1685.61	c 1685s |      25 |  6343977 |  5712998 |     1325  10197 |        0 |        0
1687.03/1687.63	c 1687s |      25 |  6350431 |  5718798 |     1325  10205 |        0 |        0
1689.04/1689.63	c 1689s |      25 |  6358053 |  5725398 |     1325  10215 |        0 |        0
1691.03/1691.65	c 1691s |      25 |  6365446 |  5731998 |     1325  10224 |        0 |        0
1693.03/1693.67	c 1693s |      25 |  6373521 |  5738898 |     1325  10233 |        0 |        0
1695.03/1695.68	c 1695s |      25 |  6381581 |  5745798 |     1325  10243 |        0 |        0
1697.03/1697.69	c 1697s |      25 |  6389042 |  5752398 |     1325  10252 |        0 |        0
1699.04/1699.69	c 1699s |      25 |  6396228 |  5758798 |     1325  10261 |        0 |        0
1701.14/1701.70	c 1701s |      25 |  6403538 |  5765198 |     1325  10270 |        0 |        0
1703.13/1703.71	c 1703s |      25 |  6411506 |  5772098 |     1325  10280 |        0 |        0
1705.13/1705.71	c 1705s |      25 |  6418350 |  5778398 |     1325  10288 |        0 |        0
1707.13/1707.73	c 1707s |      25 |  6424757 |  5784298 |     1325  10297 |        0 |        0
1709.13/1709.75	c 1709s |      25 |  6431445 |  5790498 |     1325  10305 |        0 |        0
1711.14/1711.77	c 1711s |      25 |  6437861 |  5796398 |     1325  10313 |        0 |        0
1713.13/1713.79	c 1713s |      25 |  6444033 |  5802098 |     1325  10321 |        0 |        0
1715.23/1715.81	c 1715s |      25 |  6450690 |  5808098 |     1325  10330 |        0 |        0
1717.23/1717.83	c 1717s |      25 |  6457809 |  5814498 |     1325  10339 |        0 |        0
1719.23/1719.84	c 1719s |      25 |  6465638 |  5821198 |     1325  10348 |        0 |        0
1721.23/1721.85	c 1721s |      25 |  6472364 |  5827298 |     1325  10356 |        0 |        0
1723.24/1723.86	c 1723s |      25 |  6479065 |  5833298 |     1325  10365 |        0 |        0
1725.23/1725.88	c 1725s |      25 |  6486985 |  5840098 |     1325  10374 |        0 |        0
1727.33/1727.90	c 1727s |      25 |  6494462 |  5846798 |     1325  10384 |        0 |        0
1729.33/1729.92	c 1729s |      25 |  6502279 |  5853598 |     1325  10393 |        0 |        0
1731.33/1731.94	c 1731s |      25 |  6509753 |  5860098 |     1325  10402 |        0 |        0
1733.33/1733.95	c 1733s |      25 |  6516812 |  5866298 |     1325  10411 |        0 |        0
1735.33/1735.97	c 1735s |      25 |  6523679 |  5872398 |     1325  10420 |        0 |        0
1737.32/1737.98	c 1737s |      25 |  6529801 |  5877998 |     1325  10427 |        0 |        0
1739.42/1740.01	c 1739s |      25 |  6537106 |  5884498 |     1325  10436 |        0 |        0
1741.42/1742.02	c 1742s |      25 |  6544056 |  5890698 |     1325  10445 |        0 |        0
1743.42/1744.02	c 1744s |      25 |  6550699 |  5896698 |     1325  10453 |        0 |        0
1745.42/1746.04	c 1746s |      25 |  6557266 |  5902698 |     1325  10462 |        0 |        0
1747.43/1748.06	c 1748s |      25 |  6564082 |  5908698 |     1325  10470 |        0 |        0
1749.42/1750.08	c 1750s |      25 |  6570843 |  5914598 |     1325  10478 |        0 |        0
1751.52/1752.10	c 1752s |      25 |  6576989 |  5920098 |     1325  10486 |        0 |        0
1753.52/1754.11	c 1754s |      25 |  6583335 |  5925798 |     1325  10494 |        0 |        0
1755.52/1756.13	c 1756s |      25 |  6589757 |  5931398 |     1325  10501 |        0 |        0
1757.52/1758.14	c 1758s |      25 |  6595936 |  5936798 |     1325  10509 |        0 |        0
1759.53/1760.16	c 1760s |      25 |  6602836 |  5942898 |     1325  10517 |        0 |        0
1761.52/1762.17	c 1762s |      25 |  6609895 |  5949198 |     1325  10526 |        0 |        0
1763.53/1764.18	c 1764s |      25 |  6616809 |  5955398 |     1325  10535 |        0 |        0
1765.53/1766.19	c 1766s |      25 |  6623166 |  5961098 |     1325  10543 |        0 |        0
1767.63/1768.21	c 1768s |      25 |  6629317 |  5966498 |     1325  10550 |        0 |        0
1769.63/1770.22	c 1770s |      25 |  6636374 |  5972898 |     1325  10559 |        0 |        0
1771.63/1772.24	c 1772s |      25 |  6643955 |  5979598 |     1325  10569 |        0 |        0
1773.63/1774.26	c 1774s |      25 |  6650992 |  5985698 |     1325  10577 |        0 |        0
1775.63/1776.27	c 1776s |      25 |  6658018 |  5991998 |     1325  10586 |        0 |        0
1777.63/1778.27	c 1778s |      25 |  6665168 |  5998198 |     1325  10594 |        0 |        0
1779.73/1780.32	c 1780s |      25 |  6671758 |  6004098 |     1325  10603 |        0 |        0
1781.72/1782.33	c 1782s |      25 |  6678317 |  6009898 |     1325  10611 |        0 |        0
1783.73/1784.36	c 1784s |      25 |  6684603 |  6015598 |     1325  10618 |        0 |        0
1785.72/1786.39	c 1786s |      25 |  6690630 |  6020998 |     1325  10626 |        0 |        0
1787.82/1788.42	c 1788s |      25 |  6696832 |  6026498 |     1325  10634 |        0 |        0
1789.82/1790.42	c 1790s |      25 |  6703339 |  6032398 |     1325  10642 |        0 |        0
1791.82/1792.43	c 1792s |      25 |  6709420 |  6038098 |     1325  10649 |        0 |        0
1793.82/1794.47	c 1794s |      25 |  6715703 |  6043898 |     1325  10658 |        0 |        0
1795.83/1796.48	c 1796s |      25 |  6722942 |  6050398 |     1325  10667 |        0 |        0
1797.93/1798.51	c 1798s |      25 |  6729806 |  6056498 |     1325  10675 |        0 |        0
1799.92/1800.52	c 1800s |      25 |  6735592 |  6061898 |     1325  10683 |        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-4089960-1466036058/watcher-4089960-1466036058 -o /tmp/evaluation-result-4089960-1466036058/solver-4089960-1466036058 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089960-1466036058.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.28 2.20 4/181 11966
/proc/meminfo: memFree=29294844/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=460220 CPUtime=0 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 1670 0 0 0 0 0 0 0 20 0 4 0 5652261 471265280 2031 33554432000 4194304 16246674 140736566041552 140736566040976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 115823 2041 441 2943 0 112717 0
[pid=11966/tid=11967] ppid=11963 vsize=479676 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 491188224 2104 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=483772 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 495382528 2120 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=487868 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5652262 499576832 2138 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 2.30 2.28 2.20 4/181 11966
/proc/meminfo: memFree=29294844/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 28053 0 0 0 5 3 0 0 20 0 4 0 5652261 1247350784 28404 33554432000 4194304 16246674 140736566041552 140736566024552 5515033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 304529 28415 715 2943 0 301423 0
[pid=11966/tid=11967] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1247350784 28425 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 28434 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 28440 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200512 s]
/proc/loadavg: 2.30 2.28 2.20 4/181 11966
/proc/meminfo: memFree=29294844/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 56286 0 0 0 11 8 0 0 20 0 4 0 5652261 1247350784 56637 33554432000 4194304 16246674 140736566041552 140736566024552 5997113 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 304529 56648 715 2943 0 301423 0
[pid=11966/tid=11967] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1247350784 56653 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 56660 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 56669 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300482 s]
/proc/loadavg: 2.30 2.28 2.20 4/181 11966
/proc/meminfo: memFree=29294844/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 85243 0 0 0 17 12 0 0 20 0 4 0 5652261 1247350784 85593 33554432000 4194304 16246674 140736566041552 140736566024552 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 304529 85604 715 2943 0 301423 0
[pid=11966/tid=11967] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1247350784 85613 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 85622 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 85632 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.30 2.28 2.20 4/181 11966
/proc/meminfo: memFree=29294844/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 201629 0 0 0 41 28 0 0 20 0 4 0 5652261 1247350784 201979 33554432000 4194304 16246674 140736566041552 140736566024552 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 304529 201994 716 2943 0 301423 0
[pid=11966/tid=11967] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1247350784 202005 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 202015 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5652262 1247350784 202023 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.30 2.28 2.20 3/185 11970
/proc/meminfo: memFree=28312188/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267278 0 0 0 112 37 0 0 20 0 4 0 5652261 1336479744 267608 33554432000 4194304 16246674 140736566041552 140736566024552 5661520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326289 267608 790 2943 0 323183 0
[pid=11966/tid=11967] ppid=11963 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1336479744 267608 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1336479744 267608 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1336479744 267608 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.30 2.28 2.20 3/185 11970
/proc/meminfo: memFree=28223512/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267426 0 0 0 272 37 0 0 20 0 4 0 5652261 1337528320 267756 33554432000 4194304 16246674 140736566041552 140736566024552 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267756 790 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267756 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267756 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267756 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.28 2.28 2.20 4/185 11970
/proc/meminfo: memFree=28223612/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267430 0 0 0 592 37 0 0 20 0 4 0 5652261 1337528320 267760 33554432000 4194304 16246674 140736566041552 140736566024552 5667472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267760 793 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267760 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267760 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267760 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.25 2.27 2.20 3/185 11970
/proc/meminfo: memFree=28223080/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267432 0 0 0 1232 37 0 0 20 0 4 0 5652261 1337528320 267762 33554432000 4194304 16246674 140736566041552 140736566023424 5724446 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267762 794 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267762 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267762 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267762 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.20 2.26 2.20 3/185 11970
/proc/meminfo: memFree=28224344/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267454 0 0 0 2511 37 0 0 20 0 4 0 5652261 1337528320 267784 33554432000 4194304 16246674 140736566041552 140736566023424 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267784 794 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267784 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267784 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267784 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.19 2.25 2.20 3/185 11970
/proc/meminfo: memFree=28224328/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267497 0 0 0 5070 38 0 0 20 0 4 0 5652261 1337528320 267827 33554432000 4194304 16246674 140736566041552 140736566024552 12478342 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267827 794 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267827 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267827 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267827 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.25 2.26 2.20 3/185 11971
/proc/meminfo: memFree=28224204/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 267502 0 0 0 10190 38 0 0 20 0 4 0 5652261 1337528320 267832 33554432000 4194304 16246674 140736566041552 140736566024552 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326545 267832 794 2943 0 323439 0
[pid=11966/tid=11967] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1337528320 267832 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267832 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1337528320 267832 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/185 12098
/proc/meminfo: memFree=28219760/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1301.8 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268169 0 0 0 130131 49 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140736566023424 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268041 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/185 12099
/proc/meminfo: memFree=28219648/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1361.79 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268169 0 0 0 136129 50 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140736566023424 5523480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268041 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/185 12100
/proc/meminfo: memFree=28219400/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1421.78 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268169 0 0 0 142128 50 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140736566024552 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268041 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/185 12101
/proc/meminfo: memFree=28219292/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1481.76 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268169 0 0 0 148126 50 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140736566023424 5667313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268041 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.18 3/185 12103
/proc/meminfo: memFree=28219296/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1541.77 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268169 0 0 0 154126 51 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140736566023424 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268041 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268041 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/186 12107
/proc/meminfo: memFree=28219180/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1601.75 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268201 0 0 0 160124 51 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140736566024552 5668576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268073 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/185 12108
/proc/meminfo: memFree=28218728/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1661.74 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268201 0 0 0 166122 52 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140736566024552 5661652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268073 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/185 12109
/proc/meminfo: memFree=28218608/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1721.73 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268201 0 0 0 172121 52 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140736566023424 5553629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268073 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/185 12110
/proc/meminfo: memFree=28218500/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1781.72 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268201 0 0 0 178119 53 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140736566024552 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268073 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.36 2.27 2.20 3/185 12112
/proc/meminfo: memFree=28218124/32872528 swapFree=1481856/1661728
[pid=11966] ppid=11963 vsize=1307204 CPUtime=1800.02 cores=0,2,4,6
/proc/11966/stat : 11966 (toysat) R 11963 11966 6232 0 -1 4202496 268201 0 0 0 179949 53 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140736566023424 5522913 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11966/statm: 326801 268073 796 2943 0 323695 0
[pid=11966/tid=11967] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11967/stat : 11967 (toysat) S 11963 11966 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5652261 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413455281392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11966/tid=11968] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11968/stat : 11968 (toysat) S 11963 11966 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413444791536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11966/tid=11969] ppid=11963 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11966/task/11969/stat : 11969 (toysat) S 11963 11966 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5652262 1338576896 268073 33554432000 4194304 16246674 140736566041552 140413434318000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11966 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.5
CPU system time (s): 0.532918
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.532918
maximum resident set size= 1072292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268201
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= 479
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54131 second user time and 6.98794 second system time

The end

Begin job on node134 at 2016-06-16 02:14:18
IDJOB=4089960
IDBENCH=107481
IDSOLVER=2542
FILE ID=node134/4089960-1466036058
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= d60fa57d8d77f247ed65c13a0fdd15c7
RANDOM SEED=1841469298

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29295272 kB
Buffers:           39128 kB
Cached:            83128 kB
SwapCached:        17352 kB
Active:          1142564 kB
Inactive:          70996 kB
Active(anon):    1075528 kB
Inactive(anon):    18004 kB
Active(file):      67036 kB
Inactive(file):    52992 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2811216 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             567476 kB
SReclaimable:      11520 kB
SUnreclaim:       555956 kB
KernelStack:        1536 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    696320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 02:44:19