0.00/0.00	c 2016-06-06T15:54:50+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-4078597-1465221290.opb"]
0.00/0.01	c use --random-gen="3740777111 4112595160 2466890517 3219774412 2910963662 2056757187 1579263703 1561017550 3040892507 3133532510 2069802988 3405513587 3060209769 2347190083 3038938537 2806093653 1610111657 467342259 1959245600 4226086868 2562047000 1292011470 2211418422 3046305221 3347757888 3361010691 2336892609 3190626425 1854825128 283555302 3339817079 1784110798 1420601758 64412348 1903590270 3358931564 1507292844 3484286117 2363421118 3134859630 457575759 1525330083 2910018997 2775450367 3991526005 2313738294 1117548622 1403976198 4036066132 2263109578 2577616136 3441879238 2919343097 1212390735 767721158 3477444665 3432994314 2209206828 274497023 2982029269 311282918 2475007456 1026685580 385234667 2845778564 1277033031 438065173 4102683532 548529970 307568588 2083319564 1618405943 3353134739 1284092167 1868268058 1769123153 469751731 4153504974 224520140 1409851333 1380461891 3298148586 2038346931 2326590398 2119228842 3309515972 749739597 4140465464 415929210 2078001794 2915352730 580441578 3830483055 1801548154 3034387924 3438258313 3233413327 3879280903 215947974 720010475 556966956 1718581742 3374945482 2027206773 872942099 1695409986 2035243167 818901436 1563527425 109168128 2721510551 1185444965 4174254875 3676728143 3225710048 1795371504 1557471977 277633024 1623061703 2893968005 3071652343 2838902763 3268307841 283939879 571168015 2767144898 2320110254 3101824885 19784364 2354553102 3440064583 1423690875 2251862282 3653898607 920106528 2402824749 1144399961 2686861282 4044227850 3557919709 1392047568 1123693771 3287921469 4203887080 242455625 519874330 1424817573 55200701 2528853212 3334881916 2959919232 4285290239 3986211669 3350392942 1827682266 2810675745 1602303290 3964894490 2277296823 3937131236 3666734290 611884333 754470743 3599900731 3335435512 109498311 3037768096 1624945327 779871920 2485977992 3847345092 4165472004 3855992437 1746564916 641079488 1209566364 1520268916 3384452307 126397039 1727757479 2656323465 721086677 1811212850 2302227754 3955990339 254987178 930259689 2045367886 401248212 1215630517 274410543 2161175281 148550877 3672731092 3240692573 3739543917 2142630307 3324587585 501559677 2953509059 2793740562 1394687656 2561316188 1740498543 3110395222 3132560526 249864757 3782848664 2334298630 1309976904 4144247768 2717331740 834836047 3622776492 3308326399 2007984891 1064294117 68479232 1575821014 766453966 412882568 4187924754 4004620106 607471506 3102802284 2577328081 1129898950 786019890 1234599791 3024608259 1900564878 1568167019 3046725653 2619998415 115437320 2704363950 1457288683 194517339 1764376217 1942782176 3829524945 4037138689 4220140519 2565148005 2122096717 311793417 1870602314 1875495791 357103210 4177241489 430269366 4164083656 296941796 1866282118 1230385279 378254028 255 362436" option to reproduce the execution
0.00/0.01	c #vars 400
0.00/0.01	c #constraints 60
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 |      153      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      121 |      100 |      153      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      451 |      250 |      169      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |      794 |      475 |      186      2 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1426 |      813 |      205      5 |        0 |        0
0.19/0.24	c  0.2s |       5 |     2061 |     1320 |      226      8 |        0 |        0
0.29/0.37	c  0.4s |       6 |     3148 |     2081 |      274     13 |        0 |        0
0.49/0.58	c  0.6s |       7 |     4529 |     3223 |      302     20 |        0 |        0
0.78/0.89	c  0.9s |       8 |     6542 |     4936 |      333     29 |        0 |        0
1.19/1.22	c  1.2s |       9 |     9815 |     7506 |      367     42 |        0 |        0
1.69/1.72	c  1.7s |      10 |    14349 |    11361 |      404     60 |        0 |        0
2.39/2.48	c  2.5s |      11 |    21435 |    17144 |      445     85 |        0 |        0
3.70/3.71	c  3.7s |      12 |    31909 |    25819 |      490    119 |        0 |        0
5.59/5.63	c  5.6s |      13 |    47272 |    38832 |      539    167 |        0 |        0
7.59/7.65	c  7.6s |      13 |    61349 |    50632 |      539    205 |        0 |        0
8.99/9.03	c  9.0s |      14 |    70357 |    58352 |      593    229 |        0 |        0
10.99/11.04	c 11.0s |      14 |    83427 |    69452 |      593    262 |        0 |        0
12.99/13.06	c 13.0s |      14 |    96547 |    81052 |      593    296 |        0 |        0
14.18/14.22	c 14.2s |      15 |   104106 |    87632 |      653    314 |        0 |        0
16.18/16.23	c 16.2s |      15 |   117458 |    99032 |      653    346 |        0 |        0
18.18/18.24	c 18.2s |      15 |   130723 |   110632 |      653    377 |        0 |        0
20.19/20.25	c 20.2s |      15 |   144813 |   122932 |      653    411 |        0 |        0
21.79/21.84	c 21.8s |      16 |   154777 |   131552 |      719    434 |        0 |        0
23.79/23.86	c 23.8s |      16 |   170362 |   142152 |      719    460 |        0 |        0
25.79/25.87	c 25.9s |      16 |   181925 |   151352 |      719    483 |        0 |        0
27.79/27.87	c 27.9s |      16 |   192162 |   159552 |      719    503 |        0 |        0
29.79/29.89	c 29.9s |      16 |   202765 |   168652 |      719    526 |        0 |        0
31.89/31.90	c 31.9s |      16 |   213509 |   178052 |      719    549 |        0 |        0
33.88/33.91	c 33.9s |      16 |   225025 |   187952 |      719    574 |        0 |        0
35.78/35.86	c 35.8s |      17 |   236142 |   197432 |      791    597 |        0 |        0
37.79/37.88	c 37.9s |      17 |   248874 |   208232 |      791    621 |        0 |        0
39.78/39.88	c 39.9s |      17 |   259988 |   217932 |      791    643 |        0 |        0
41.88/41.90	c 41.9s |      17 |   271156 |   227432 |      791    665 |        0 |        0
43.88/43.91	c 43.9s |      17 |   281816 |   236732 |      791    686 |        0 |        0
45.88/45.93	c 45.9s |      17 |   292256 |   245832 |      791    706 |        0 |        0
47.88/47.95	c 47.9s |      17 |   303252 |   255432 |      791    728 |        0 |        0
49.89/49.95	c 49.9s |      17 |   314328 |   265132 |      791    750 |        0 |        0
51.88/51.96	c 51.9s |      17 |   324811 |   274232 |      791    770 |        0 |        0
53.88/53.97	c 54.0s |      17 |   336332 |   284032 |      791    793 |        0 |        0
55.88/55.98	c 56.0s |      17 |   347074 |   293332 |      791    813 |        0 |        0
56.58/56.63	c 56.6s |      18 |   350651 |   296252 |      871    820 |        0 |        0
58.58/58.65	c 58.6s |      18 |   362909 |   306252 |      871    840 |        0 |        0
60.58/60.67	c 60.7s |      18 |   373591 |   315652 |      871    860 |        0 |        0
62.58/62.69	c 62.7s |      18 |   384537 |   325152 |      871    880 |        0 |        0
64.68/64.70	c 64.7s |      18 |   395746 |   334652 |      871    899 |        0 |        0
66.68/66.71	c 66.7s |      18 |   407393 |   344552 |      871    920 |        0 |        0
68.67/68.72	c 68.7s |      18 |   418854 |   354552 |      871    941 |        0 |        0
70.68/70.74	c 70.7s |      18 |   430525 |   364552 |      871    962 |        0 |        0
72.67/72.75	c 72.7s |      18 |   441845 |   374252 |      871    982 |        0 |        0
74.67/74.77	c 74.8s |      18 |   451903 |   383252 |      871   1001 |        0 |        0
76.67/76.78	c 76.8s |      18 |   463057 |   393052 |      871   1021 |        0 |        0
78.67/78.79	c 78.8s |      18 |   474348 |   402752 |      871   1042 |        0 |        0
80.77/80.80	c 80.8s |      18 |   485066 |   412052 |      871   1061 |        0 |        0
82.79/82.80	c 82.8s |      18 |   495978 |   421452 |      871   1081 |        0 |        0
84.78/84.81	c 84.8s |      18 |   507047 |   430852 |      871   1101 |        0 |        0
86.78/86.82	c 86.8s |      18 |   518243 |   440052 |      871   1120 |        0 |        0
87.78/87.84	c 87.8s |      19 |   523450 |   444482 |      959   1129 |        0 |        0
89.78/89.85	c 89.8s |      19 |   535359 |   453882 |      959   1147 |        0 |        0
91.78/91.85	c 91.8s |      19 |   547669 |   463582 |      959   1166 |        0 |        0
93.78/93.87	c 93.9s |      19 |   560100 |   473182 |      959   1184 |        0 |        0
95.78/95.89	c 95.9s |      19 |   574152 |   483582 |      959   1204 |        0 |        0
97.88/97.90	c 97.9s |      19 |   587399 |   493782 |      959   1224 |        0 |        0
99.87/99.91	c 99.9s |      19 |   599185 |   503082 |      959   1242 |        0 |        0
101.87/101.93	c  101s |      19 |   610106 |   512282 |      959   1260 |        0 |        0
103.87/103.94	c  103s |      19 |   620259 |   520982 |      959   1276 |        0 |        0
105.88/105.94	c  105s |      19 |   630474 |   529782 |      959   1293 |        0 |        0
107.87/107.95	c  107s |      19 |   640841 |   538482 |      959   1310 |        0 |        0
109.87/109.96	c  109s |      19 |   651702 |   547182 |      959   1327 |        0 |        0
111.87/111.96	c  111s |      19 |   662877 |   556182 |      959   1344 |        0 |        0
113.87/113.97	c  113s |      19 |   673012 |   564882 |      959   1361 |        0 |        0
115.88/115.98	c  115s |      19 |   683456 |   573982 |      959   1378 |        0 |        0
117.87/117.99	c  117s |      19 |   693710 |   582982 |      959   1395 |        0 |        0
119.87/120.00	c  119s |      19 |   703497 |   591582 |      959   1412 |        0 |        0
121.97/122.01	c  121s |      19 |   713690 |   600382 |      959   1428 |        0 |        0
123.97/124.01	c  123s |      19 |   723204 |   608582 |      959   1444 |        0 |        0
125.97/126.03	c  126s |      19 |   733393 |   617282 |      959   1460 |        0 |        0
127.97/128.06	c  128s |      19 |   742613 |   625482 |      959   1476 |        0 |        0
129.97/130.08	c  130s |      19 |   752320 |   633982 |      959   1492 |        0 |        0
131.96/132.09	c  132s |      19 |   761831 |   642282 |      959   1508 |        0 |        0
134.06/134.10	c  134s |      19 |   770920 |   650382 |      959   1523 |        0 |        0
136.06/136.11	c  136s |      19 |   779600 |   658082 |      959   1538 |        0 |        0
138.06/138.12	c  138s |      19 |   788679 |   665982 |     1055   1552 |        0 |        0
138.26/138.35	c  138s |      20 |   789628 |   666827 |     1055   1554 |        0 |        0
140.26/140.36	c  140s |      20 |   801210 |   676327 |     1055   1570 |        0 |        0
142.28/142.38	c  142s |      20 |   812840 |   685927 |     1055   1587 |        0 |        0
144.27/144.38	c  144s |      20 |   823556 |   695027 |     1055   1603 |        0 |        0
146.27/146.39	c  146s |      20 |   834670 |   704427 |     1055   1620 |        0 |        0
148.37/148.41	c  148s |      20 |   846369 |   714327 |     1055   1637 |        0 |        0
150.37/150.41	c  150s |      20 |   858497 |   724427 |     1055   1655 |        0 |        0
152.37/152.41	c  152s |      20 |   870030 |   733627 |     1055   1671 |        0 |        0
154.38/154.43	c  154s |      20 |   880574 |   742327 |     1055   1686 |        0 |        0
156.37/156.45	c  156s |      20 |   890229 |   749927 |     1055   1700 |        0 |        0
158.37/158.46	c  158s |      20 |   899225 |   757427 |     1055   1713 |        0 |        0
160.37/160.47	c  160s |      20 |   907943 |   764927 |     1055   1726 |        0 |        0
162.37/162.48	c  162s |      20 |   916482 |   772227 |     1055   1738 |        0 |        0
164.37/164.49	c  164s |      20 |   924765 |   779527 |     1055   1751 |        0 |        0
166.37/166.49	c  166s |      20 |   933691 |   787427 |     1055   1765 |        0 |        0
168.47/168.52	c  168s |      20 |   942439 |   795127 |     1055   1778 |        0 |        0
170.47/170.52	c  170s |      20 |   951330 |   802927 |     1055   1792 |        0 |        0
172.46/172.54	c  172s |      20 |   960771 |   810727 |     1055   1805 |        0 |        0
174.46/174.55	c  174s |      20 |   970581 |   819327 |     1055   1820 |        0 |        0
176.46/176.57	c  176s |      20 |   981060 |   828327 |     1055   1836 |        0 |        0
178.47/178.58	c  178s |      20 |   990721 |   836727 |     1055   1851 |        0 |        0
180.46/180.59	c  180s |      20 |  1000367 |   845127 |     1055   1866 |        0 |        0
182.46/182.59	c  182s |      20 |  1009924 |   853527 |     1055   1880 |        0 |        0
184.56/184.60	c  184s |      20 |  1018967 |   861527 |     1055   1894 |        0 |        0
186.56/186.62	c  186s |      20 |  1028783 |   870127 |     1055   1909 |        0 |        0
188.56/188.63	c  188s |      20 |  1038585 |   878527 |     1055   1924 |        0 |        0
190.56/190.63	c  190s |      20 |  1048849 |   887427 |     1055   1939 |        0 |        0
192.56/192.64	c  192s |      20 |  1059076 |   896327 |     1055   1955 |        0 |        0
194.56/194.66	c  194s |      20 |  1069439 |   905327 |     1055   1971 |        0 |        0
196.56/196.67	c  196s |      20 |  1080528 |   914727 |     1055   1987 |        0 |        0
198.55/198.68	c  198s |      20 |  1090919 |   923627 |     1055   2003 |        0 |        0
200.56/200.69	c  200s |      20 |  1101624 |   932827 |     1055   2019 |        0 |        0
202.66/202.71	c  202s |      20 |  1111723 |   941727 |     1055   2034 |        0 |        0
204.65/204.72	c  204s |      20 |  1121547 |   950327 |     1055   2049 |        0 |        0
206.65/206.73	c  206s |      20 |  1131187 |   958827 |     1055   2064 |        0 |        0
208.65/208.73	c  208s |      20 |  1140296 |   966727 |     1055   2078 |        0 |        0
210.65/210.75	c  210s |      20 |  1149370 |   974427 |     1055   2091 |        0 |        0
212.65/212.77	c  212s |      20 |  1158340 |   982227 |     1055   2105 |        0 |        0
214.65/214.79	c  214s |      20 |  1167090 |   989827 |     1055   2119 |        0 |        0
216.75/216.82	c  216s |      20 |  1175716 |   997427 |     1161   2131 |        0 |        0
217.64/217.71	c  217s |      21 |  1179069 |  1000345 |     1161   2136 |        0 |        0
219.64/219.73	c  219s |      21 |  1189140 |  1008945 |     1161   2149 |        0 |        0
221.64/221.73	c  221s |      21 |  1198657 |  1017145 |     1161   2163 |        0 |        0
223.65/223.73	c  223s |      21 |  1208769 |  1025745 |     1161   2176 |        0 |        0
225.64/225.75	c  225s |      21 |  1218538 |  1034145 |     1161   2190 |        0 |        0
227.64/227.76	c  227s |      21 |  1228494 |  1042745 |     1161   2203 |        0 |        0
229.64/229.77	c  229s |      21 |  1238765 |  1051445 |     1161   2217 |        0 |        0
231.64/231.79	c  231s |      21 |  1248464 |  1059845 |     1161   2231 |        0 |        0
233.74/233.82	c  233s |      21 |  1258894 |  1069045 |     1161   2246 |        0 |        0
235.74/235.84	c  235s |      21 |  1269310 |  1078045 |     1161   2260 |        0 |        0
237.74/237.84	c  237s |      21 |  1278985 |  1086545 |     1161   2274 |        0 |        0
239.74/239.86	c  239s |      21 |  1288066 |  1094645 |     1161   2287 |        0 |        0
241.73/241.89	c  241s |      21 |  1297548 |  1102945 |     1161   2301 |        0 |        0
243.83/243.90	c  243s |      21 |  1307253 |  1111345 |     1161   2314 |        0 |        0
245.83/245.92	c  245s |      21 |  1317327 |  1120145 |     1161   2328 |        0 |        0
247.84/247.92	c  247s |      21 |  1327570 |  1129045 |     1161   2343 |        0 |        0
249.83/249.94	c  249s |      21 |  1337871 |  1138045 |     1161   2357 |        0 |        0
251.82/251.95	c  251s |      21 |  1347325 |  1146345 |     1161   2370 |        0 |        0
253.82/253.96	c  253s |      21 |  1357455 |  1155045 |     1161   2384 |        0 |        0
255.82/255.97	c  255s |      21 |  1368039 |  1164245 |     1161   2399 |        0 |        0
257.82/257.97	c  257s |      21 |  1378327 |  1172945 |     1161   2413 |        0 |        0
259.84/259.98	c  259s |      21 |  1388089 |  1181445 |     1161   2427 |        0 |        0
261.93/262.00	c  261s |      21 |  1396399 |  1188645 |     1161   2439 |        0 |        0
263.93/264.01	c  263s |      21 |  1404418 |  1195645 |     1161   2450 |        0 |        0
265.93/266.03	c  266s |      21 |  1412759 |  1202845 |     1161   2462 |        0 |        0
267.93/268.04	c  268s |      21 |  1421066 |  1209945 |     1161   2473 |        0 |        0
269.93/270.06	c  270s |      21 |  1429552 |  1217245 |     1161   2485 |        0 |        0
271.93/272.07	c  272s |      21 |  1437106 |  1223845 |     1161   2495 |        0 |        0
273.92/274.09	c  274s |      21 |  1445192 |  1230945 |     1161   2507 |        0 |        0
276.02/276.11	c  276s |      21 |  1453800 |  1238445 |     1161   2518 |        0 |        0
278.02/278.11	c  278s |      21 |  1462807 |  1246145 |     1161   2531 |        0 |        0
280.02/280.13	c  280s |      21 |  1472286 |  1254245 |     1161   2544 |        0 |        0
282.02/282.14	c  282s |      21 |  1480948 |  1261745 |     1161   2556 |        0 |        0
284.02/284.14	c  284s |      21 |  1490094 |  1269745 |     1161   2569 |        0 |        0
286.02/286.15	c  286s |      21 |  1498774 |  1277245 |     1161   2581 |        0 |        0
288.02/288.18	c  288s |      21 |  1507126 |  1284645 |     1161   2592 |        0 |        0
290.02/290.19	c  290s |      21 |  1515589 |  1292145 |     1161   2604 |        0 |        0
292.11/292.21	c  292s |      21 |  1524491 |  1300045 |     1161   2617 |        0 |        0
294.11/294.23	c  294s |      21 |  1532941 |  1307545 |     1161   2629 |        0 |        0
296.12/296.24	c  296s |      21 |  1541262 |  1315045 |     1161   2641 |        0 |        0
298.11/298.24	c  298s |      21 |  1550254 |  1322545 |     1161   2653 |        0 |        0
300.11/300.26	c  300s |      21 |  1559294 |  1330445 |     1161   2666 |        0 |        0
302.11/302.29	c  302s |      21 |  1568102 |  1337945 |     1161   2678 |        0 |        0
304.11/304.29	c  304s |      21 |  1577116 |  1345845 |     1161   2690 |        0 |        0
306.21/306.30	c  306s |      21 |  1586477 |  1354145 |     1161   2704 |        0 |        0
308.21/308.31	c  308s |      21 |  1595539 |  1362245 |     1161   2717 |        0 |        0
310.21/310.32	c  310s |      21 |  1604268 |  1370045 |     1161   2729 |        0 |        0
312.20/312.32	c  312s |      21 |  1612988 |  1377745 |     1161   2742 |        0 |        0
314.20/314.34	c  314s |      21 |  1621754 |  1385645 |     1161   2754 |        0 |        0
316.20/316.36	c  316s |      21 |  1630612 |  1393445 |     1161   2767 |        0 |        0
318.21/318.36	c  318s |      21 |  1639134 |  1400945 |     1161   2779 |        0 |        0
320.20/320.37	c  320s |      21 |  1648466 |  1408945 |     1161   2792 |        0 |        0
322.19/322.37	c  322s |      21 |  1658151 |  1417545 |     1161   2806 |        0 |        0
324.19/324.39	c  324s |      21 |  1668070 |  1426445 |     1161   2820 |        0 |        0
326.29/326.40	c  326s |      21 |  1678355 |  1435445 |     1161   2834 |        0 |        0
328.29/328.40	c  328s |      21 |  1688660 |  1444545 |     1161   2849 |        0 |        0
330.30/330.41	c  330s |      21 |  1698993 |  1453845 |     1161   2864 |        0 |        0
332.29/332.42	c  332s |      21 |  1708414 |  1462245 |     1161   2877 |        0 |        0
334.29/334.45	c  334s |      21 |  1718126 |  1470745 |     1161   2891 |        0 |        0
336.28/336.46	c  336s |      21 |  1727847 |  1479145 |     1161   2905 |        0 |        0
338.28/338.48	c  338s |      21 |  1737649 |  1487945 |     1161   2919 |        0 |        0
340.38/340.50	c  340s |      21 |  1746803 |  1496045 |     1278   2931 |        0 |        0
341.58/341.75	c  341s |      22 |  1751812 |  1500622 |     1278   2937 |        0 |        0
343.58/343.76	c  343s |      22 |  1761797 |  1508922 |     1278   2950 |        0 |        0
345.59/345.77	c  345s |      22 |  1771126 |  1517022 |     1278   2961 |        0 |        0
347.58/347.79	c  347s |      22 |  1781389 |  1525922 |     1278   2975 |        0 |        0
349.68/349.82	c  349s |      22 |  1791458 |  1534622 |     1278   2987 |        0 |        0
351.68/351.82	c  351s |      22 |  1800652 |  1542722 |     1278   2999 |        0 |        0
353.68/353.83	c  353s |      22 |  1809968 |  1550922 |     1278   3012 |        0 |        0
355.68/355.85	c  355s |      22 |  1819257 |  1558922 |     1278   3024 |        0 |        0
357.68/357.86	c  357s |      22 |  1828178 |  1566622 |     1278   3035 |        0 |        0
359.68/359.88	c  359s |      22 |  1837276 |  1574422 |     1278   3047 |        0 |        0
361.67/361.89	c  361s |      22 |  1845907 |  1582022 |     1278   3058 |        0 |        0
363.77/363.90	c  363s |      22 |  1854899 |  1589822 |     1278   3069 |        0 |        0
365.77/365.92	c  365s |      22 |  1864209 |  1597922 |     1278   3081 |        0 |        0
367.77/367.93	c  367s |      22 |  1873294 |  1605822 |     1278   3093 |        0 |        0
369.78/369.95	c  369s |      22 |  1883484 |  1614222 |     1278   3106 |        0 |        0
371.77/371.96	c  371s |      22 |  1891986 |  1621522 |     1278   3116 |        0 |        0
373.77/373.98	c  373s |      22 |  1901398 |  1629522 |     1278   3128 |        0 |        0
375.77/375.98	c  375s |      22 |  1910049 |  1637122 |     1278   3139 |        0 |        0
377.77/377.98	c  377s |      22 |  1917616 |  1643922 |     1278   3150 |        0 |        0
379.78/379.99	c  379s |      22 |  1925749 |  1651122 |     1278   3160 |        0 |        0
381.88/382.02	c  382s |      22 |  1933577 |  1658022 |     1278   3170 |        0 |        0
383.87/384.02	c  384s |      22 |  1942012 |  1665522 |     1278   3181 |        0 |        0
385.87/386.03	c  386s |      22 |  1950245 |  1672822 |     1278   3192 |        0 |        0
387.87/388.05	c  388s |      22 |  1958900 |  1680522 |     1278   3204 |        0 |        0
389.87/390.06	c  390s |      22 |  1967947 |  1688622 |     1278   3216 |        0 |        0
391.87/392.07	c  392s |      22 |  1976489 |  1696122 |     1278   3227 |        0 |        0
393.86/394.10	c  394s |      22 |  1986327 |  1704722 |     1278   3239 |        0 |        0
395.96/396.10	c  396s |      22 |  1995814 |  1713122 |     1278   3252 |        0 |        0
397.96/398.11	c  398s |      22 |  2005546 |  1721722 |     1278   3265 |        0 |        0
399.96/400.13	c  400s |      22 |  2015882 |  1730722 |     1278   3278 |        0 |        0
401.95/402.14	c  402s |      22 |  2025732 |  1739522 |     1278   3291 |        0 |        0
403.96/404.16	c  404s |      22 |  2034457 |  1747422 |     1278   3302 |        0 |        0
405.95/406.16	c  406s |      22 |  2042978 |  1755122 |     1278   3313 |        0 |        0
407.95/408.18	c  408s |      22 |  2052305 |  1763522 |     1278   3326 |        0 |        0
409.95/410.19	c  410s |      22 |  2061817 |  1772022 |     1278   3338 |        0 |        0
412.05/412.21	c  412s |      22 |  2071361 |  1780622 |     1278   3351 |        0 |        0
414.05/414.21	c  414s |      22 |  2080466 |  1788522 |     1278   3362 |        0 |        0
416.05/416.22	c  416s |      22 |  2088686 |  1795822 |     1278   3373 |        0 |        0
418.05/418.23	c  418s |      22 |  2096750 |  1802922 |     1278   3383 |        0 |        0
420.05/420.26	c  420s |      22 |  2104873 |  1810222 |     1278   3394 |        0 |        0
422.04/422.28	c  422s |      22 |  2112821 |  1817322 |     1278   3404 |        0 |        0
424.14/424.30	c  424s |      22 |  2121024 |  1824622 |     1278   3415 |        0 |        0
426.14/426.32	c  426s |      22 |  2129777 |  1832422 |     1278   3426 |        0 |        0
428.14/428.32	c  428s |      22 |  2138790 |  1840322 |     1278   3438 |        0 |        0
430.14/430.34	c  430s |      22 |  2147271 |  1847922 |     1278   3449 |        0 |        0
432.13/432.36	c  432s |      22 |  2155661 |  1855322 |     1278   3459 |        0 |        0
434.13/434.39	c  434s |      22 |  2164205 |  1862922 |     1278   3470 |        0 |        0
436.23/436.40	c  436s |      22 |  2171579 |  1869622 |     1278   3480 |        0 |        0
438.23/438.40	c  438s |      22 |  2179456 |  1876622 |     1278   3490 |        0 |        0
440.24/440.42	c  440s |      22 |  2186770 |  1883222 |     1278   3500 |        0 |        0
442.24/442.43	c  442s |      22 |  2195245 |  1890722 |     1278   3511 |        0 |        0
444.24/444.44	c  444s |      22 |  2203323 |  1897922 |     1278   3522 |        0 |        0
446.24/446.45	c  446s |      22 |  2211643 |  1905322 |     1278   3532 |        0 |        0
448.23/448.46	c  448s |      22 |  2219501 |  1912222 |     1278   3543 |        0 |        0
450.23/450.46	c  450s |      22 |  2228525 |  1920122 |     1278   3554 |        0 |        0
452.23/452.48	c  452s |      22 |  2237358 |  1928022 |     1278   3566 |        0 |        0
454.33/454.50	c  454s |      22 |  2245497 |  1935422 |     1278   3576 |        0 |        0
456.33/456.51	c  456s |      22 |  2253658 |  1942822 |     1278   3587 |        0 |        0
458.33/458.51	c  458s |      22 |  2262149 |  1950422 |     1278   3598 |        0 |        0
460.33/460.54	c  460s |      22 |  2270737 |  1957922 |     1278   3609 |        0 |        0
462.32/462.56	c  462s |      22 |  2278831 |  1965122 |     1278   3620 |        0 |        0
464.33/464.58	c  464s |      22 |  2287802 |  1972822 |     1278   3631 |        0 |        0
466.32/466.59	c  466s |      22 |  2295829 |  1979922 |     1278   3642 |        0 |        0
468.32/468.59	c  468s |      22 |  2303880 |  1987022 |     1278   3652 |        0 |        0
470.42/470.62	c  470s |      22 |  2311662 |  1993922 |     1278   3662 |        0 |        0
472.42/472.63	c  472s |      22 |  2319728 |  2001122 |     1278   3673 |        0 |        0
474.42/474.65	c  474s |      22 |  2328082 |  2008622 |     1278   3684 |        0 |        0
476.43/476.67	c  476s |      22 |  2335417 |  2015222 |     1278   3693 |        0 |        0
478.42/478.69	c  478s |      22 |  2343799 |  2022722 |     1278   3704 |        0 |        0
480.42/480.69	c  480s |      22 |  2351949 |  2030022 |     1278   3715 |        0 |        0
482.52/482.71	c  482s |      22 |  2359791 |  2037022 |     1278   3726 |        0 |        0
484.51/484.73	c  484s |      22 |  2368221 |  2044522 |     1278   3737 |        0 |        0
486.51/486.74	c  486s |      22 |  2376182 |  2051622 |     1278   3747 |        0 |        0
488.52/488.75	c  488s |      22 |  2384175 |  2058822 |     1278   3757 |        0 |        0
490.51/490.75	c  490s |      22 |  2392717 |  2066522 |     1278   3769 |        0 |        0
492.51/492.76	c  492s |      22 |  2400956 |  2073822 |     1278   3779 |        0 |        0
494.51/494.77	c  494s |      22 |  2408982 |  2081022 |     1278   3790 |        0 |        0
496.51/496.78	c  496s |      22 |  2416781 |  2088022 |     1278   3800 |        0 |        0
498.51/498.79	c  498s |      22 |  2424847 |  2095422 |     1278   3811 |        0 |        0
500.51/500.80	c  500s |      22 |  2433081 |  2102822 |     1278   3822 |        0 |        0
502.60/502.81	c  502s |      22 |  2440647 |  2109622 |     1278   3832 |        0 |        0
504.60/504.82	c  504s |      22 |  2448693 |  2116722 |     1278   3842 |        0 |        0
506.60/506.85	c  506s |      22 |  2456622 |  2123722 |     1278   3852 |        0 |        0
508.60/508.85	c  508s |      22 |  2464245 |  2130522 |     1278   3862 |        0 |        0
510.61/510.86	c  510s |      22 |  2472569 |  2137922 |     1278   3873 |        0 |        0
512.60/512.87	c  512s |      22 |  2479749 |  2144322 |     1278   3883 |        0 |        0
514.60/514.89	c  514s |      22 |  2488202 |  2151922 |     1278   3894 |        0 |        0
516.70/516.91	c  516s |      22 |  2496319 |  2159122 |     1278   3904 |        0 |        0
518.70/518.92	c  518s |      22 |  2503607 |  2165722 |     1278   3914 |        0 |        0
520.70/520.94	c  520s |      22 |  2511104 |  2172322 |     1278   3924 |        0 |        0
522.70/522.96	c  522s |      22 |  2518576 |  2178822 |     1278   3933 |        0 |        0
524.70/524.97	c  524s |      22 |  2526625 |  2186022 |     1278   3944 |        0 |        0
526.70/526.99	c  526s |      22 |  2535049 |  2193522 |     1278   3955 |        0 |        0
528.80/529.00	c  528s |      22 |  2543160 |  2200822 |     1278   3965 |        0 |        0
530.80/531.01	c  530s |      22 |  2551038 |  2207722 |     1278   3976 |        0 |        0
532.79/533.03	c  533s |      22 |  2558189 |  2214122 |     1278   3985 |        0 |        0
534.80/535.06	c  535s |      22 |  2565284 |  2220422 |     1278   3994 |        0 |        0
536.79/537.08	c  537s |      22 |  2572217 |  2226622 |     1278   4003 |        0 |        0
538.79/539.08	c  539s |      22 |  2579802 |  2233322 |     1278   4013 |        0 |        0
540.89/541.11	c  541s |      22 |  2586874 |  2239722 |     1406   4022 |        0 |        0
542.89/543.11	c  543s |      22 |  2594034 |  2246122 |     1406   4030 |        0 |        0
544.49/544.72	c  544s |      23 |  2599449 |  2251038 |     1406   4037 |        0 |        0
546.49/546.75	c  546s |      23 |  2608428 |  2258638 |     1406   4047 |        0 |        0
548.49/548.76	c  548s |      23 |  2617581 |  2266538 |     1406   4058 |        0 |        0
550.49/550.77	c  550s |      23 |  2626766 |  2274538 |     1406   4068 |        0 |        0
552.48/552.79	c  552s |      23 |  2635400 |  2282138 |     1406   4078 |        0 |        0
554.59/554.80	c  554s |      23 |  2643959 |  2289538 |     1406   4088 |        0 |        0
556.58/556.81	c  556s |      23 |  2651898 |  2296538 |     1406   4098 |        0 |        0
558.58/558.81	c  558s |      23 |  2659809 |  2303538 |     1406   4107 |        0 |        0
560.58/560.83	c  560s |      23 |  2667393 |  2310238 |     1406   4116 |        0 |        0
562.58/562.85	c  562s |      23 |  2675507 |  2317138 |     1406   4125 |        0 |        0
564.58/564.88	c  564s |      23 |  2683043 |  2323838 |     1406   4134 |        0 |        0
566.58/566.88	c  566s |      23 |  2691079 |  2330738 |     1406   4143 |        0 |        0
568.58/568.89	c  568s |      23 |  2699478 |  2337938 |     1406   4153 |        0 |        0
570.68/570.91	c  570s |      23 |  2708682 |  2345838 |     1406   4164 |        0 |        0
572.67/572.93	c  572s |      23 |  2718082 |  2353938 |     1406   4174 |        0 |        0
574.67/574.94	c  574s |      23 |  2726813 |  2361538 |     1406   4185 |        0 |        0
576.67/576.97	c  576s |      23 |  2735444 |  2368738 |     1406   4194 |        0 |        0
578.67/578.99	c  578s |      23 |  2743402 |  2375438 |     1406   4203 |        0 |        0
580.77/581.02	c  580s |      23 |  2753275 |  2383138 |     1406   4214 |        0 |        0
582.76/583.03	c  583s |      23 |  2762301 |  2390738 |     1406   4224 |        0 |        0
584.76/585.06	c  585s |      23 |  2770629 |  2397738 |     1406   4233 |        0 |        0
586.76/587.06	c  587s |      23 |  2778819 |  2404438 |     1406   4242 |        0 |        0
588.76/589.07	c  589s |      23 |  2786271 |  2410938 |     1406   4251 |        0 |        0
590.77/591.08	c  591s |      23 |  2793573 |  2417138 |     1406   4259 |        0 |        0
592.86/593.12	c  593s |      23 |  2801179 |  2423838 |     1406   4268 |        0 |        0
594.86/595.13	c  595s |      23 |  2808705 |  2430238 |     1406   4277 |        0 |        0
596.86/597.15	c  597s |      23 |  2816148 |  2436738 |     1406   4286 |        0 |        0
598.86/599.16	c  599s |      23 |  2823760 |  2443638 |     1406   4295 |        0 |        0
600.86/601.19	c  601s |      23 |  2831323 |  2450138 |     1406   4304 |        0 |        0
602.96/603.23	c  603s |      23 |  2839394 |  2456738 |     1406   4312 |        0 |        0
604.95/605.24	c  605s |      23 |  2847550 |  2463538 |     1406   4322 |        0 |        0
606.95/607.26	c  607s |      23 |  2855047 |  2469938 |     1406   4330 |        0 |        0
608.95/609.27	c  609s |      23 |  2862370 |  2476138 |     1406   4338 |        0 |        0
610.95/611.29	c  611s |      23 |  2871076 |  2482838 |     1406   4347 |        0 |        0
613.05/613.31	c  613s |      23 |  2879255 |  2489438 |     1406   4356 |        0 |        0
615.05/615.33	c  615s |      23 |  2888941 |  2497738 |     1406   4367 |        0 |        0
617.05/617.35	c  617s |      23 |  2898331 |  2505938 |     1406   4378 |        0 |        0
619.05/619.37	c  619s |      23 |  2906900 |  2513538 |     1406   4389 |        0 |        0
621.05/621.38	c  621s |      23 |  2915538 |  2521238 |     1406   4399 |        0 |        0
623.04/623.38	c  623s |      23 |  2924017 |  2528738 |     1406   4409 |        0 |        0
625.04/625.39	c  625s |      23 |  2932150 |  2536038 |     1406   4419 |        0 |        0
627.05/627.40	c  627s |      23 |  2940573 |  2543638 |     1406   4429 |        0 |        0
629.14/629.40	c  629s |      23 |  2948515 |  2550738 |     1406   4438 |        0 |        0
631.14/631.43	c  631s |      23 |  2956830 |  2558238 |     1406   4448 |        0 |        0
633.13/633.44	c  633s |      23 |  2964654 |  2565338 |     1406   4458 |        0 |        0
635.13/635.45	c  635s |      23 |  2972661 |  2572538 |     1406   4467 |        0 |        0
637.13/637.46	c  637s |      23 |  2979967 |  2579138 |     1406   4476 |        0 |        0
639.14/639.48	c  639s |      23 |  2987198 |  2585638 |     1406   4485 |        0 |        0
641.23/641.50	c  641s |      23 |  2994870 |  2592438 |     1406   4494 |        0 |        0
643.23/643.52	c  643s |      23 |  3001738 |  2598538 |     1406   4502 |        0 |        0
645.23/645.55	c  645s |      23 |  3009729 |  2605538 |     1406   4512 |        0 |        0
647.24/647.58	c  647s |      23 |  3016838 |  2611838 |     1406   4520 |        0 |        0
649.34/649.61	c  649s |      23 |  3024783 |  2618638 |     1406   4529 |        0 |        0
651.34/651.61	c  651s |      23 |  3031683 |  2624738 |     1406   4537 |        0 |        0
653.33/653.61	c  653s |      23 |  3040839 |  2632738 |     1406   4548 |        0 |        0
655.33/655.64	c  655s |      23 |  3050337 |  2641138 |     1406   4559 |        0 |        0
657.33/657.65	c  657s |      23 |  3058866 |  2648738 |     1406   4569 |        0 |        0
659.33/659.67	c  659s |      23 |  3067164 |  2656238 |     1406   4579 |        0 |        0
661.32/661.69	c  661s |      23 |  3075332 |  2663538 |     1406   4589 |        0 |        0
663.33/663.70	c  663s |      23 |  3083420 |  2670738 |     1406   4599 |        0 |        0
665.42/665.71	c  665s |      23 |  3090889 |  2677538 |     1406   4608 |        0 |        0
667.42/667.73	c  667s |      23 |  3098288 |  2684138 |     1406   4617 |        0 |        0
669.42/669.75	c  669s |      23 |  3105959 |  2690938 |     1406   4626 |        0 |        0
671.42/671.76	c  671s |      23 |  3113336 |  2697438 |     1406   4634 |        0 |        0
673.42/673.78	c  673s |      23 |  3121460 |  2704538 |     1406   4644 |        0 |        0
675.53/675.81	c  675s |      23 |  3129868 |  2711838 |     1406   4653 |        0 |        0
677.52/677.82	c  677s |      23 |  3138464 |  2719138 |     1406   4663 |        0 |        0
679.52/679.84	c  679s |      23 |  3146983 |  2726438 |     1406   4673 |        0 |        0
681.51/681.86	c  681s |      23 |  3155446 |  2733838 |     1406   4683 |        0 |        0
683.51/683.87	c  683s |      23 |  3163056 |  2740538 |     1406   4692 |        0 |        0
685.61/685.90	c  685s |      23 |  3171659 |  2748238 |     1406   4702 |        0 |        0
687.62/687.92	c  687s |      23 |  3179779 |  2755538 |     1406   4712 |        0 |        0
689.61/689.94	c  689s |      23 |  3188418 |  2762938 |     1406   4722 |        0 |        0
691.60/691.95	c  691s |      23 |  3196470 |  2770038 |     1406   4731 |        0 |        0
693.60/693.96	c  693s |      23 |  3204950 |  2777438 |     1406   4741 |        0 |        0
695.60/695.98	c  695s |      23 |  3213385 |  2784938 |     1406   4751 |        0 |        0
697.60/697.98	c  697s |      23 |  3222132 |  2792638 |     1406   4761 |        0 |        0
699.61/699.99	c  699s |      23 |  3230787 |  2800238 |     1406   4772 |        0 |        0
701.69/702.01	c  701s |      23 |  3239249 |  2807738 |     1406   4782 |        0 |        0
703.70/704.01	c  703s |      23 |  3247296 |  2814738 |     1406   4791 |        0 |        0
705.70/706.04	c  706s |      23 |  3255862 |  2822238 |     1406   4801 |        0 |        0
707.70/708.05	c  708s |      23 |  3263812 |  2829138 |     1406   4810 |        0 |        0
709.70/710.08	c  710s |      23 |  3271656 |  2836238 |     1406   4820 |        0 |        0
711.70/712.08	c  712s |      23 |  3278839 |  2842738 |     1406   4828 |        0 |        0
713.69/714.08	c  714s |      23 |  3286170 |  2849338 |     1406   4837 |        0 |        0
715.79/716.11	c  716s |      23 |  3293479 |  2855938 |     1406   4846 |        0 |        0
717.79/718.12	c  718s |      23 |  3300310 |  2862038 |     1406   4854 |        0 |        0
719.79/720.13	c  720s |      23 |  3307508 |  2868438 |     1406   4863 |        0 |        0
721.79/722.14	c  722s |      23 |  3314503 |  2874638 |     1406   4871 |        0 |        0
723.79/724.14	c  724s |      23 |  3321153 |  2880338 |     1406   4879 |        0 |        0
725.79/726.18	c  726s |      23 |  3329242 |  2886838 |     1406   4888 |        0 |        0
727.88/728.20	c  728s |      23 |  3336808 |  2893538 |     1406   4897 |        0 |        0
729.88/730.24	c  730s |      23 |  3344551 |  2900238 |     1406   4906 |        0 |        0
731.88/732.27	c  732s |      23 |  3352015 |  2906838 |     1406   4914 |        0 |        0
733.88/734.28	c  734s |      23 |  3359082 |  2913138 |     1406   4923 |        0 |        0
735.89/736.30	c  736s |      23 |  3365943 |  2919238 |     1406   4931 |        0 |        0
737.98/738.31	c  738s |      23 |  3373288 |  2925638 |     1406   4940 |        0 |        0
739.98/740.31	c  740s |      23 |  3381069 |  2932338 |     1406   4949 |        0 |        0
741.98/742.33	c  742s |      23 |  3389334 |  2939738 |     1406   4959 |        0 |        0
743.98/744.35	c  744s |      23 |  3397363 |  2946838 |     1406   4968 |        0 |        0
745.98/746.36	c  746s |      23 |  3404567 |  2953238 |     1406   4977 |        0 |        0
747.98/748.37	c  748s |      23 |  3412998 |  2960138 |     1406   4986 |        0 |        0
749.98/750.38	c  750s |      23 |  3420498 |  2966838 |     1406   4995 |        0 |        0
751.97/752.38	c  752s |      23 |  3428568 |  2973938 |     1406   5004 |        0 |        0
753.97/754.38	c  754s |      23 |  3436888 |  2981238 |     1406   5014 |        0 |        0
756.07/756.41	c  756s |      23 |  3443769 |  2987438 |     1406   5022 |        0 |        0
758.07/758.45	c  758s |      23 |  3451459 |  2994238 |     1406   5032 |        0 |        0
760.07/760.47	c  760s |      23 |  3458891 |  3000838 |     1406   5040 |        0 |        0
762.06/762.49	c  762s |      23 |  3466133 |  3007138 |     1406   5049 |        0 |        0
764.16/764.52	c  764s |      23 |  3473395 |  3013438 |     1406   5057 |        0 |        0
766.16/766.54	c  766s |      23 |  3479906 |  3019238 |     1406   5065 |        0 |        0
768.16/768.56	c  768s |      23 |  3486766 |  3025338 |     1406   5073 |        0 |        0
770.16/770.56	c  770s |      23 |  3493201 |  3030938 |     1406   5081 |        0 |        0
772.16/772.58	c  772s |      23 |  3499485 |  3036438 |     1406   5088 |        0 |        0
774.26/774.61	c  774s |      23 |  3506056 |  3042238 |     1406   5096 |        0 |        0
776.25/776.64	c  776s |      23 |  3513645 |  3048838 |     1406   5105 |        0 |        0
778.25/778.65	c  778s |      23 |  3520693 |  3055138 |     1406   5113 |        0 |        0
780.25/780.66	c  780s |      23 |  3527841 |  3061538 |     1406   5122 |        0 |        0
782.25/782.68	c  782s |      23 |  3535801 |  3068438 |     1406   5131 |        0 |        0
784.25/784.70	c  784s |      23 |  3543066 |  3074838 |     1406   5140 |        0 |        0
786.35/786.73	c  786s |      23 |  3550216 |  3081138 |     1406   5148 |        0 |        0
788.35/788.75	c  788s |      23 |  3557069 |  3087238 |     1406   5156 |        0 |        0
790.35/790.77	c  790s |      23 |  3563765 |  3093138 |     1406   5164 |        0 |        0
792.34/792.79	c  792s |      23 |  3570647 |  3099238 |     1406   5172 |        0 |        0
794.44/794.80	c  794s |      23 |  3577201 |  3105038 |     1406   5180 |        0 |        0
796.46/796.81	c  796s |      23 |  3584218 |  3111138 |     1406   5188 |        0 |        0
798.45/798.81	c  798s |      23 |  3590691 |  3116838 |     1406   5196 |        0 |        0
800.45/800.84	c  800s |      23 |  3597908 |  3123038 |     1406   5204 |        0 |        0
802.45/802.84	c  802s |      23 |  3604874 |  3129138 |     1406   5212 |        0 |        0
804.45/804.85	c  804s |      23 |  3612082 |  3135138 |     1406   5220 |        0 |        0
806.45/806.87	c  806s |      23 |  3620139 |  3141938 |     1406   5230 |        0 |        0
808.45/808.89	c  808s |      23 |  3628147 |  3148738 |     1406   5239 |        0 |        0
810.54/810.90	c  810s |      23 |  3635907 |  3155238 |     1406   5248 |        0 |        0
812.54/812.93	c  812s |      23 |  3642883 |  3161238 |     1406   5256 |        0 |        0
814.54/814.96	c  814s |      23 |  3650314 |  3167638 |     1406   5264 |        0 |        0
816.54/816.97	c  816s |      23 |  3657566 |  3173938 |     1406   5273 |        0 |        0
818.54/818.99	c  818s |      23 |  3664617 |  3180038 |     1406   5281 |        0 |        0
820.65/821.02	c  821s |      23 |  3671347 |  3185938 |     1406   5289 |        0 |        0
822.64/823.03	c  823s |      23 |  3677839 |  3191638 |     1406   5296 |        0 |        0
824.64/825.06	c  825s |      23 |  3683784 |  3196938 |     1406   5303 |        0 |        0
826.64/827.07	c  827s |      23 |  3689974 |  3202438 |     1406   5311 |        0 |        0
828.74/829.10	c  829s |      23 |  3696601 |  3208238 |     1406   5319 |        0 |        0
830.74/831.11	c  831s |      23 |  3703207 |  3214038 |     1406   5326 |        0 |        0
832.74/833.13	c  833s |      23 |  3709834 |  3219738 |     1406   5334 |        0 |        0
834.73/835.14	c  835s |      23 |  3717469 |  3226138 |     1406   5343 |        0 |        0
836.73/837.14	c  837s |      23 |  3724194 |  3231938 |     1406   5351 |        0 |        0
838.73/839.15	c  839s |      23 |  3730504 |  3237438 |     1406   5358 |        0 |        0
840.73/841.18	c  841s |      23 |  3738114 |  3243438 |     1406   5366 |        0 |        0
842.73/843.18	c  843s |      23 |  3745475 |  3249538 |     1406   5374 |        0 |        0
844.84/845.21	c  845s |      23 |  3752269 |  3255438 |     1406   5382 |        0 |        0
846.83/847.22	c  847s |      23 |  3758799 |  3261238 |     1406   5390 |        0 |        0
848.83/849.25	c  849s |      23 |  3765806 |  3267438 |     1406   5398 |        0 |        0
850.83/851.25	c  851s |      23 |  3772405 |  3273238 |     1406   5406 |        0 |        0
852.83/853.27	c  853s |      23 |  3779142 |  3279138 |     1406   5414 |        0 |        0
854.83/855.29	c  855s |      23 |  3786171 |  3285138 |     1406   5422 |        0 |        0
856.94/857.31	c  857s |      23 |  3792279 |  3290538 |     1406   5429 |        0 |        0
858.93/859.32	c  859s |      23 |  3797826 |  3295538 |     1406   5436 |        0 |        0
860.93/861.35	c  861s |      23 |  3804789 |  3301638 |     1406   5444 |        0 |        0
862.93/863.35	c  863s |      23 |  3811361 |  3307538 |     1406   5452 |        0 |        0
864.93/865.37	c  865s |      23 |  3817944 |  3313338 |     1406   5460 |        0 |        0
867.03/867.40	c  867s |      23 |  3824961 |  3319538 |     1406   5469 |        0 |        0
868.93/869.40	c  869s |      23 |  3831857 |  3325738 |     1406   5477 |        0 |        0
871.03/871.42	c  871s |      23 |  3838825 |  3331738 |     1406   5485 |        0 |        0
873.03/873.44	c  873s |      23 |  3847295 |  3339238 |     1406   5495 |        0 |        0
875.03/875.45	c  875s |      23 |  3854954 |  3346238 |     1406   5505 |        0 |        0
877.02/877.48	c  877s |      23 |  3862973 |  3353438 |     1547   5514 |        0 |        0
879.12/879.50	c  879s |      23 |  3870842 |  3360238 |     1547   5522 |        0 |        0
881.13/881.51	c  881s |      23 |  3878754 |  3367038 |     1547   5531 |        0 |        0
883.12/883.53	c  883s |      23 |  3886265 |  3373638 |     1547   5539 |        0 |        0
884.02/884.49	c  884s |      24 |  3889697 |  3376662 |     1547   5542 |        0 |        0
886.12/886.51	c  886s |      24 |  3898281 |  3383662 |     1547   5551 |        0 |        0
888.12/888.54	c  888s |      24 |  3906640 |  3390562 |     1547   5559 |        0 |        0
890.12/890.54	c  890s |      24 |  3914392 |  3397162 |     1547   5567 |        0 |        0
892.13/892.56	c  892s |      24 |  3922819 |  3404262 |     1547   5576 |        0 |        0
894.12/894.59	c  894s |      24 |  3931463 |  3411662 |     1547   5585 |        0 |        0
896.22/896.61	c  896s |      24 |  3940335 |  3418062 |     1547   5593 |        0 |        0
898.22/898.63	c  898s |      24 |  3948608 |  3423262 |     1547   5599 |        0 |        0
900.22/900.64	c  900s |      24 |  3957049 |  3429462 |     1547   5607 |        0 |        0
902.22/902.65	c  902s |      24 |  3964949 |  3436062 |     1547   5615 |        0 |        0
904.23/904.67	c  904s |      24 |  3973850 |  3442762 |     1547   5623 |        0 |        0
906.22/906.70	c  906s |      24 |  3981187 |  3448562 |     1547   5631 |        0 |        0
908.32/908.71	c  908s |      24 |  3987025 |  3453762 |     1547   5637 |        0 |        0
910.32/910.75	c  910s |      24 |  3993283 |  3459162 |     1547   5644 |        0 |        0
912.32/912.76	c  912s |      24 |  4000277 |  3464962 |     1547   5651 |        0 |        0
914.32/914.78	c  914s |      24 |  4006904 |  3470762 |     1547   5658 |        0 |        0
916.42/916.80	c  916s |      24 |  4014536 |  3476862 |     1547   5665 |        0 |        0
918.42/918.81	c  918s |      24 |  4022337 |  3483162 |     1547   5673 |        0 |        0
920.42/920.83	c  920s |      24 |  4029336 |  3489062 |     1547   5680 |        0 |        0
922.41/922.83	c  922s |      24 |  4036417 |  3494962 |     1547   5688 |        0 |        0
924.41/924.85	c  924s |      24 |  4042252 |  3500162 |     1547   5694 |        0 |        0
926.41/926.86	c  926s |      24 |  4049243 |  3506062 |     1547   5701 |        0 |        0
928.42/928.86	c  928s |      24 |  4057295 |  3512062 |     1547   5709 |        0 |        0
930.41/930.88	c  930s |      24 |  4065483 |  3518762 |     1547   5717 |        0 |        0
932.41/932.89	c  932s |      24 |  4073090 |  3525462 |     1547   5725 |        0 |        0
934.51/934.90	c  934s |      24 |  4080296 |  3531862 |     1547   5733 |        0 |        0
936.51/936.93	c  936s |      24 |  4087498 |  3538162 |     1547   5740 |        0 |        0
938.51/938.95	c  938s |      24 |  4094369 |  3544262 |     1547   5748 |        0 |        0
940.52/940.97	c  940s |      24 |  4100482 |  3549662 |     1547   5755 |        0 |        0
942.51/942.97	c  942s |      24 |  4107458 |  3555662 |     1547   5762 |        0 |        0
944.51/944.98	c  944s |      24 |  4113930 |  3561362 |     1547   5769 |        0 |        0
946.52/946.99	c  946s |      24 |  4122328 |  3568362 |     1547   5777 |        0 |        0
948.62/949.02	c  949s |      24 |  4129936 |  3574962 |     1547   5786 |        0 |        0
950.62/951.04	c  951s |      24 |  4137713 |  3581162 |     1547   5793 |        0 |        0
952.62/953.04	c  953s |      24 |  4144597 |  3587062 |     1547   5800 |        0 |        0
954.62/955.05	c  955s |      24 |  4152391 |  3593462 |     1547   5808 |        0 |        0
956.61/957.07	c  957s |      24 |  4159214 |  3599462 |     1547   5816 |        0 |        0
958.71/959.10	c  959s |      24 |  4165642 |  3605062 |     1547   5823 |        0 |        0
960.71/961.11	c  961s |      24 |  4173632 |  3612062 |     1547   5831 |        0 |        0
962.71/963.14	c  963s |      24 |  4181198 |  3618762 |     1547   5839 |        0 |        0
964.72/965.15	c  965s |      24 |  4188431 |  3625062 |     1547   5847 |        0 |        0
966.71/967.18	c  967s |      24 |  4195165 |  3631062 |     1547   5855 |        0 |        0
968.71/969.19	c  969s |      24 |  4203709 |  3638062 |     1547   5863 |        0 |        0
970.71/971.19	c  971s |      24 |  4211790 |  3645062 |     1547   5872 |        0 |        0
972.81/973.20	c  973s |      24 |  4220776 |  3652762 |     1547   5882 |        0 |        0
974.81/975.23	c  975s |      24 |  4229795 |  3660562 |     1547   5892 |        0 |        0
976.82/977.24	c  977s |      24 |  4237367 |  3667362 |     1547   5900 |        0 |        0
978.81/979.26	c  979s |      24 |  4244509 |  3673662 |     1547   5908 |        0 |        0
980.91/981.31	c  981s |      24 |  4251839 |  3680162 |     1547   5916 |        0 |        0
982.91/983.31	c  983s |      24 |  4258945 |  3686362 |     1547   5923 |        0 |        0
984.91/985.33	c  985s |      24 |  4266076 |  3692662 |     1547   5931 |        0 |        0
986.91/987.33	c  987s |      24 |  4272334 |  3698162 |     1547   5938 |        0 |        0
988.92/989.36	c  989s |      24 |  4278225 |  3703362 |     1547   5944 |        0 |        0
990.91/991.37	c  991s |      24 |  4283683 |  3708262 |     1547   5950 |        0 |        0
992.91/993.39	c  993s |      24 |  4289972 |  3713862 |     1547   5957 |        0 |        0
995.01/995.41	c  995s |      24 |  4296331 |  3719462 |     1547   5964 |        0 |        0
997.01/997.42	c  997s |      24 |  4302797 |  3724962 |     1547   5970 |        0 |        0
999.01/999.45	c  999s |      24 |  4310842 |  3731762 |     1547   5979 |        0 |        0
1001.01/1001.48	c 1001s |      24 |  4318833 |  3738662 |     1547   5987 |        0 |        0
1003.00/1003.48	c 1003s |      24 |  4326201 |  3745162 |     1547   5995 |        0 |        0
1005.10/1005.50	c 1005s |      24 |  4333825 |  3751562 |     1547   6002 |        0 |        0
1007.10/1007.51	c 1007s |      24 |  4341356 |  3758162 |     1547   6010 |        0 |        0
1009.10/1009.54	c 1009s |      24 |  4349184 |  3764862 |     1547   6019 |        0 |        0
1011.10/1011.56	c 1011s |      24 |  4356473 |  3771262 |     1547   6026 |        0 |        0
1013.11/1013.57	c 1013s |      24 |  4363738 |  3777562 |     1547   6034 |        0 |        0
1015.21/1015.60	c 1015s |      24 |  4370795 |  3783662 |     1547   6042 |        0 |        0
1017.20/1017.63	c 1017s |      24 |  4378050 |  3789862 |     1547   6049 |        0 |        0
1019.20/1019.64	c 1019s |      24 |  4384845 |  3795862 |     1547   6057 |        0 |        0
1021.20/1021.67	c 1021s |      24 |  4391329 |  3801562 |     1547   6063 |        0 |        0
1023.30/1023.71	c 1023s |      24 |  4399331 |  3808162 |     1547   6072 |        0 |        0
1025.30/1025.71	c 1025s |      24 |  4406935 |  3814562 |     1547   6079 |        0 |        0
1027.30/1027.72	c 1027s |      24 |  4414174 |  3820962 |     1547   6087 |        0 |        0
1029.30/1029.72	c 1029s |      24 |  4420665 |  3826762 |     1547   6094 |        0 |        0
1031.30/1031.73	c 1031s |      24 |  4427700 |  3832862 |     1547   6102 |        0 |        0
1033.30/1033.74	c 1033s |      24 |  4434576 |  3838862 |     1547   6109 |        0 |        0
1035.30/1035.75	c 1035s |      24 |  4441731 |  3844962 |     1547   6116 |        0 |        0
1037.30/1037.77	c 1037s |      24 |  4449627 |  3851762 |     1547   6125 |        0 |        0
1039.30/1039.80	c 1039s |      24 |  4456610 |  3857862 |     1547   6132 |        0 |        0
1041.39/1041.83	c 1041s |      24 |  4463150 |  3863662 |     1547   6139 |        0 |        0
1043.39/1043.84	c 1043s |      24 |  4469321 |  3869062 |     1547   6146 |        0 |        0
1045.39/1045.86	c 1045s |      24 |  4476117 |  3874862 |     1547   6153 |        0 |        0
1047.40/1047.89	c 1047s |      24 |  4483277 |  3881162 |     1547   6161 |        0 |        0
1049.50/1049.91	c 1049s |      24 |  4490345 |  3887462 |     1547   6169 |        0 |        0
1051.51/1051.93	c 1051s |      24 |  4497084 |  3893462 |     1547   6176 |        0 |        0
1053.50/1053.97	c 1053s |      24 |  4504114 |  3899562 |     1547   6183 |        0 |        0
1055.60/1056.01	c 1055s |      24 |  4511581 |  3906062 |     1547   6191 |        0 |        0
1057.60/1058.02	c 1058s |      24 |  4519135 |  3912662 |     1547   6200 |        0 |        0
1059.60/1060.04	c 1060s |      24 |  4526345 |  3919162 |     1547   6208 |        0 |        0
1061.60/1062.05	c 1062s |      24 |  4533691 |  3925762 |     1547   6216 |        0 |        0
1063.61/1064.09	c 1064s |      24 |  4540996 |  3932262 |     1547   6224 |        0 |        0
1065.70/1066.10	c 1066s |      24 |  4548118 |  3938562 |     1547   6231 |        0 |        0
1067.70/1068.13	c 1068s |      24 |  4555392 |  3944962 |     1547   6239 |        0 |        0
1069.70/1070.14	c 1070s |      24 |  4562396 |  3951162 |     1547   6247 |        0 |        0
1071.70/1072.15	c 1072s |      24 |  4569634 |  3957562 |     1547   6255 |        0 |        0
1073.70/1074.16	c 1074s |      24 |  4577319 |  3964262 |     1547   6263 |        0 |        0
1075.70/1076.16	c 1076s |      24 |  4584705 |  3970862 |     1547   6271 |        0 |        0
1077.70/1078.19	c 1078s |      24 |  4592544 |  3977862 |     1547   6279 |        0 |        0
1079.80/1080.21	c 1080s |      24 |  4600045 |  3984562 |     1547   6288 |        0 |        0
1081.80/1082.23	c 1082s |      24 |  4607825 |  3991462 |     1547   6296 |        0 |        0
1083.80/1084.23	c 1084s |      24 |  4615448 |  3998162 |     1547   6304 |        0 |        0
1085.80/1086.26	c 1086s |      24 |  4623169 |  4004962 |     1547   6313 |        0 |        0
1087.80/1088.29	c 1088s |      24 |  4630297 |  4011362 |     1547   6321 |        0 |        0
1089.90/1090.31	c 1090s |      24 |  4637408 |  4017762 |     1547   6328 |        0 |        0
1091.89/1092.34	c 1092s |      24 |  4644056 |  4023862 |     1547   6336 |        0 |        0
1093.89/1094.36	c 1094s |      24 |  4650615 |  4029662 |     1547   6343 |        0 |        0
1095.89/1096.38	c 1096s |      24 |  4658501 |  4036562 |     1547   6351 |        0 |        0
1097.99/1098.41	c 1098s |      24 |  4666210 |  4043262 |     1547   6360 |        0 |        0
1100.00/1100.43	c 1100s |      24 |  4674033 |  4050062 |     1547   6368 |        0 |        0
1101.99/1102.45	c 1102s |      24 |  4681811 |  4056662 |     1547   6376 |        0 |        0
1103.99/1104.47	c 1104s |      24 |  4688775 |  4062662 |     1547   6383 |        0 |        0
1105.99/1106.48	c 1106s |      24 |  4696139 |  4068862 |     1547   6391 |        0 |        0
1107.99/1108.50	c 1108s |      24 |  4702484 |  4074362 |     1547   6398 |        0 |        0
1110.09/1110.50	c 1110s |      24 |  4710094 |  4080962 |     1547   6406 |        0 |        0
1112.10/1112.53	c 1112s |      24 |  4716691 |  4086862 |     1547   6413 |        0 |        0
1114.09/1114.54	c 1114s |      24 |  4723680 |  4092962 |     1547   6420 |        0 |        0
1116.09/1116.57	c 1116s |      24 |  4730515 |  4098962 |     1547   6428 |        0 |        0
1118.09/1118.59	c 1118s |      24 |  4736997 |  4104862 |     1547   6435 |        0 |        0
1120.09/1120.59	c 1120s |      24 |  4743521 |  4110762 |     1547   6442 |        0 |        0
1122.19/1122.63	c 1122s |      24 |  4751335 |  4117562 |     1547   6450 |        0 |        0
1124.19/1124.65	c 1124s |      24 |  4757936 |  4123362 |     1547   6458 |        0 |        0
1126.18/1126.65	c 1126s |      24 |  4764524 |  4129262 |     1547   6465 |        0 |        0
1128.18/1128.67	c 1128s |      24 |  4771502 |  4135562 |     1547   6473 |        0 |        0
1130.18/1130.69	c 1130s |      24 |  4779038 |  4142262 |     1547   6481 |        0 |        0
1132.28/1132.71	c 1132s |      24 |  4786565 |  4149062 |     1547   6489 |        0 |        0
1134.28/1134.74	c 1134s |      24 |  4793172 |  4154962 |     1547   6496 |        0 |        0
1136.29/1136.75	c 1136s |      24 |  4799788 |  4160762 |     1547   6503 |        0 |        0
1138.28/1138.76	c 1138s |      24 |  4807073 |  4167062 |     1547   6511 |        0 |        0
1140.38/1140.80	c 1140s |      24 |  4813842 |  4172962 |     1547   6518 |        0 |        0
1142.38/1142.80	c 1142s |      24 |  4821006 |  4179162 |     1547   6526 |        0 |        0
1144.38/1144.82	c 1144s |      24 |  4828548 |  4185662 |     1547   6534 |        0 |        0
1146.38/1146.85	c 1146s |      24 |  4836149 |  4192262 |     1547   6542 |        0 |        0
1148.39/1148.86	c 1148s |      24 |  4843129 |  4198462 |     1547   6550 |        0 |        0
1150.38/1150.86	c 1150s |      24 |  4849714 |  4204462 |     1547   6557 |        0 |        0
1152.38/1152.89	c 1152s |      24 |  4858150 |  4211762 |     1547   6566 |        0 |        0
1154.48/1154.91	c 1154s |      24 |  4865949 |  4218762 |     1547   6574 |        0 |        0
1156.48/1156.92	c 1156s |      24 |  4872828 |  4224962 |     1547   6582 |        0 |        0
1158.48/1158.92	c 1158s |      24 |  4880594 |  4231762 |     1547   6590 |        0 |        0
1160.48/1160.95	c 1160s |      24 |  4888808 |  4238962 |     1547   6599 |        0 |        0
1162.48/1162.97	c 1162s |      24 |  4896058 |  4245362 |     1547   6607 |        0 |        0
1164.48/1164.98	c 1164s |      24 |  4903746 |  4252162 |     1547   6615 |        0 |        0
1166.58/1167.00	c 1166s |      24 |  4911134 |  4258762 |     1547   6623 |        0 |        0
1168.58/1169.01	c 1168s |      24 |  4918571 |  4265362 |     1547   6631 |        0 |        0
1170.58/1171.04	c 1171s |      24 |  4925707 |  4271662 |     1547   6639 |        0 |        0
1172.58/1173.05	c 1173s |      24 |  4932239 |  4277462 |     1547   6646 |        0 |        0
1174.57/1175.09	c 1175s |      24 |  4938860 |  4283262 |     1547   6654 |        0 |        0
1176.67/1177.10	c 1177s |      24 |  4945381 |  4288962 |     1547   6661 |        0 |        0
1178.67/1179.14	c 1179s |      24 |  4952466 |  4295162 |     1547   6668 |        0 |        0
1180.67/1181.14	c 1181s |      24 |  4958742 |  4300762 |     1547   6675 |        0 |        0
1182.68/1183.18	c 1183s |      24 |  4966837 |  4307662 |     1547   6684 |        0 |        0
1184.69/1185.19	c 1185s |      24 |  4974474 |  4314362 |     1547   6692 |        0 |        0
1186.68/1187.20	c 1187s |      24 |  4982457 |  4321362 |     1547   6700 |        0 |        0
1188.78/1189.20	c 1189s |      24 |  4990616 |  4328462 |     1547   6709 |        0 |        0
1190.78/1191.23	c 1191s |      24 |  4997978 |  4334962 |     1547   6717 |        0 |        0
1192.78/1193.24	c 1193s |      24 |  5004772 |  4341062 |     1547   6724 |        0 |        0
1194.78/1195.25	c 1195s |      24 |  5011923 |  4347162 |     1547   6732 |        0 |        0
1196.79/1197.25	c 1197s |      24 |  5019384 |  4353662 |     1547   6740 |        0 |        0
1198.78/1199.25	c 1199s |      24 |  5026111 |  4359462 |     1547   6747 |        0 |        0
1200.78/1201.25	c 1201s |      24 |  5033171 |  4365562 |     1547   6754 |        0 |        0
1202.78/1203.26	c 1203s |      24 |  5040185 |  4371562 |     1547   6762 |        0 |        0
1204.78/1205.28	c 1205s |      24 |  5047356 |  4377862 |     1547   6769 |        0 |        0
1206.88/1207.31	c 1207s |      24 |  5054167 |  4383762 |     1547   6777 |        0 |        0
1208.88/1209.32	c 1209s |      24 |  5061915 |  4390462 |     1547   6785 |        0 |        0
1210.88/1211.32	c 1211s |      24 |  5069391 |  4397062 |     1547   6793 |        0 |        0
1212.88/1213.33	c 1213s |      24 |  5076982 |  4403462 |     1547   6801 |        0 |        0
1214.88/1215.34	c 1215s |      24 |  5083922 |  4409462 |     1547   6808 |        0 |        0
1216.88/1217.37	c 1217s |      24 |  5091839 |  4416262 |     1547   6816 |        0 |        0
1218.87/1219.37	c 1219s |      24 |  5099124 |  4422762 |     1547   6824 |        0 |        0
1220.88/1221.40	c 1221s |      24 |  5106560 |  4429162 |     1547   6832 |        0 |        0
1222.97/1223.41	c 1223s |      24 |  5113371 |  4435162 |     1547   6840 |        0 |        0
1224.97/1225.43	c 1225s |      24 |  5119821 |  4441062 |     1547   6847 |        0 |        0
1226.97/1227.44	c 1227s |      24 |  5127130 |  4447062 |     1547   6854 |        0 |        0
1228.97/1229.47	c 1229s |      24 |  5135166 |  4453762 |     1547   6862 |        0 |        0
1230.97/1231.49	c 1231s |      24 |  5143175 |  4460762 |     1547   6871 |        0 |        0
1233.08/1233.51	c 1233s |      24 |  5150424 |  4467162 |     1547   6879 |        0 |        0
1235.07/1235.51	c 1235s |      24 |  5157769 |  4473562 |     1547   6887 |        0 |        0
1237.07/1237.52	c 1237s |      24 |  5165119 |  4480062 |     1547   6894 |        0 |        0
1239.07/1239.53	c 1239s |      24 |  5172279 |  4486462 |     1547   6902 |        0 |        0
1241.07/1241.53	c 1241s |      24 |  5179606 |  4492862 |     1547   6910 |        0 |        0
1243.07/1243.54	c 1243s |      24 |  5187420 |  4499662 |     1547   6919 |        0 |        0
1245.07/1245.56	c 1245s |      24 |  5194923 |  4506462 |     1547   6927 |        0 |        0
1247.07/1247.57	c 1247s |      24 |  5202510 |  4513262 |     1547   6936 |        0 |        0
1249.07/1249.58	c 1249s |      24 |  5210060 |  4519962 |     1547   6944 |        0 |        0
1251.17/1251.60	c 1251s |      24 |  5217374 |  4526562 |     1547   6952 |        0 |        0
1253.17/1253.64	c 1253s |      24 |  5225171 |  4533462 |     1547   6961 |        0 |        0
1255.17/1255.65	c 1255s |      24 |  5233332 |  4540662 |     1547   6969 |        0 |        0
1257.17/1257.67	c 1257s |      24 |  5240613 |  4547162 |     1547   6977 |        0 |        0
1259.16/1259.68	c 1259s |      24 |  5247920 |  4553762 |     1547   6985 |        0 |        0
1261.26/1261.71	c 1261s |      24 |  5255792 |  4560562 |     1547   6994 |        0 |        0
1263.26/1263.73	c 1263s |      24 |  5263244 |  4567262 |     1547   7002 |        0 |        0
1265.26/1265.74	c 1265s |      24 |  5271788 |  4574262 |     1547   7011 |        0 |        0
1267.26/1267.76	c 1267s |      24 |  5279623 |  4580862 |     1547   7019 |        0 |        0
1269.27/1269.77	c 1269s |      24 |  5286848 |  4587162 |     1547   7026 |        0 |        0
1271.26/1271.78	c 1271s |      24 |  5294201 |  4593562 |     1547   7034 |        0 |        0
1273.36/1273.82	c 1273s |      24 |  5302025 |  4600362 |     1547   7042 |        0 |        0
1275.36/1275.84	c 1275s |      24 |  5309282 |  4606762 |     1547   7050 |        0 |        0
1277.37/1277.86	c 1277s |      24 |  5316396 |  4613062 |     1547   7058 |        0 |        0
1279.37/1279.88	c 1279s |      24 |  5323946 |  4619662 |     1547   7066 |        0 |        0
1281.37/1281.89	c 1281s |      24 |  5331043 |  4625862 |     1547   7074 |        0 |        0
1283.47/1283.93	c 1283s |      24 |  5338212 |  4632262 |     1547   7082 |        0 |        0
1285.47/1285.93	c 1285s |      24 |  5345517 |  4638562 |     1547   7089 |        0 |        0
1287.47/1287.95	c 1287s |      24 |  5352852 |  4644962 |     1547   7097 |        0 |        0
1289.47/1289.98	c 1289s |      24 |  5359911 |  4651262 |     1547   7105 |        0 |        0
1291.47/1291.99	c 1291s |      24 |  5365904 |  4656662 |     1547   7112 |        0 |        0
1293.47/1294.00	c 1293s |      24 |  5371552 |  4661762 |     1547   7118 |        0 |        0
1295.57/1296.00	c 1295s |      24 |  5377644 |  4667162 |     1547   7125 |        0 |        0
1297.56/1298.02	c 1298s |      24 |  5383868 |  4672662 |     1547   7131 |        0 |        0
1299.56/1300.04	c 1300s |      24 |  5389918 |  4678062 |     1547   7138 |        0 |        0
1301.56/1302.06	c 1302s |      24 |  5396049 |  4683462 |     1547   7145 |        0 |        0
1303.56/1304.06	c 1304s |      24 |  5402329 |  4689062 |     1547   7151 |        0 |        0
1305.57/1306.09	c 1306s |      24 |  5409577 |  4695462 |     1547   7159 |        0 |        0
1307.56/1308.09	c 1308s |      24 |  5416581 |  4701662 |     1547   7167 |        0 |        0
1309.66/1310.11	c 1310s |      24 |  5423145 |  4707562 |     1547   7174 |        0 |        0
1311.66/1312.13	c 1312s |      24 |  5430676 |  4714062 |     1547   7182 |        0 |        0
1313.66/1314.13	c 1314s |      24 |  5437994 |  4720562 |     1547   7190 |        0 |        0
1315.66/1316.15	c 1316s |      24 |  5445296 |  4727162 |     1547   7198 |        0 |        0
1317.67/1318.18	c 1318s |      24 |  5453096 |  4734062 |     1547   7207 |        0 |        0
1319.66/1320.20	c 1320s |      24 |  5460463 |  4740662 |     1547   7215 |        0 |        0
1321.76/1322.20	c 1322s |      24 |  5467557 |  4747062 |     1547   7222 |        0 |        0
1323.76/1324.20	c 1324s |      24 |  5474584 |  4753362 |     1547   7230 |        0 |        0
1325.76/1326.22	c 1326s |      24 |  5482895 |  4760462 |     1547   7239 |        0 |        0
1327.76/1328.24	c 1328s |      24 |  5489723 |  4766462 |     1547   7246 |        0 |        0
1329.77/1330.26	c 1330s |      24 |  5496835 |  4772762 |     1547   7254 |        0 |        0
1331.76/1332.29	c 1332s |      24 |  5503394 |  4778662 |     1547   7261 |        0 |        0
1333.86/1334.30	c 1334s |      24 |  5510258 |  4784762 |     1547   7268 |        0 |        0
1335.86/1336.32	c 1336s |      24 |  5517636 |  4791362 |     1547   7277 |        0 |        0
1337.86/1338.34	c 1338s |      24 |  5524816 |  4797762 |     1547   7284 |        0 |        0
1339.86/1340.37	c 1340s |      24 |  5532228 |  4804362 |     1547   7292 |        0 |        0
1341.86/1342.39	c 1342s |      24 |  5539103 |  4810462 |     1547   7300 |        0 |        0
1343.96/1344.40	c 1344s |      24 |  5546415 |  4816962 |     1547   7308 |        0 |        0
1345.96/1346.43	c 1346s |      24 |  5553322 |  4823062 |     1547   7315 |        0 |        0
1347.96/1348.44	c 1348s |      24 |  5561136 |  4829862 |     1547   7324 |        0 |        0
1349.95/1350.45	c 1350s |      24 |  5569430 |  4837262 |     1547   7333 |        0 |        0
1351.95/1352.48	c 1352s |      24 |  5576575 |  4843762 |     1547   7341 |        0 |        0
1353.96/1354.48	c 1354s |      24 |  5583725 |  4850162 |     1547   7348 |        0 |        0
1356.05/1356.50	c 1356s |      24 |  5590419 |  4856162 |     1547   7356 |        0 |        0
1358.05/1358.51	c 1358s |      24 |  5596823 |  4861962 |     1547   7363 |        0 |        0
1360.05/1360.53	c 1360s |      24 |  5603854 |  4868262 |     1547   7371 |        0 |        0
1362.05/1362.57	c 1362s |      24 |  5610721 |  4874462 |     1547   7378 |        0 |        0
1364.05/1364.58	c 1364s |      24 |  5617478 |  4880562 |     1547   7386 |        0 |        0
1366.06/1366.58	c 1366s |      24 |  5624205 |  4886562 |     1547   7393 |        0 |        0
1368.15/1368.60	c 1368s |      24 |  5630858 |  4892562 |     1547   7400 |        0 |        0
1370.15/1370.61	c 1370s |      24 |  5636931 |  4898062 |     1547   7407 |        0 |        0
1372.15/1372.63	c 1372s |      24 |  5642953 |  4903562 |     1547   7414 |        0 |        0
1374.15/1374.63	c 1374s |      24 |  5650143 |  4909962 |     1547   7422 |        0 |        0
1376.15/1376.66	c 1376s |      24 |  5657045 |  4916162 |     1547   7429 |        0 |        0
1378.15/1378.68	c 1378s |      24 |  5664223 |  4922562 |     1547   7437 |        0 |        0
1380.25/1380.71	c 1380s |      24 |  5671986 |  4929462 |     1547   7445 |        0 |        0
1382.24/1382.75	c 1382s |      24 |  5678257 |  4935162 |     1547   7452 |        0 |        0
1384.24/1384.76	c 1384s |      24 |  5684640 |  4940962 |     1547   7460 |        0 |        0
1386.24/1386.76	c 1386s |      24 |  5690521 |  4946262 |     1547   7466 |        0 |        0
1388.24/1388.77	c 1388s |      24 |  5696225 |  4951562 |     1547   7473 |        0 |        0
1390.25/1390.79	c 1390s |      24 |  5702418 |  4957162 |     1547   7480 |        0 |        0
1392.24/1392.79	c 1392s |      24 |  5710519 |  4964262 |     1547   7488 |        0 |        0
1394.34/1394.80	c 1394s |      24 |  5717802 |  4970862 |     1547   7496 |        0 |        0
1396.34/1396.80	c 1396s |      24 |  5724992 |  4977362 |     1547   7504 |        0 |        0
1398.34/1398.81	c 1398s |      24 |  5731754 |  4983462 |     1547   7512 |        0 |        0
1400.34/1400.82	c 1400s |      24 |  5738604 |  4989662 |     1547   7519 |        0 |        0
1402.35/1402.83	c 1402s |      24 |  5745702 |  4996062 |     1547   7527 |        0 |        0
1404.35/1404.86	c 1404s |      24 |  5753595 |  5003062 |     1547   7536 |        0 |        0
1406.35/1406.86	c 1406s |      24 |  5761426 |  5009962 |     1547   7544 |        0 |        0
1408.35/1408.87	c 1408s |      24 |  5768918 |  5016662 |     1547   7552 |        0 |        0
1410.35/1410.88	c 1410s |      24 |  5776755 |  5023462 |     1547   7560 |        0 |        0
1412.45/1412.92	c 1412s |      24 |  5784500 |  5030262 |     1702   7569 |        0 |        0
1414.45/1414.97	c 1414s |      24 |  5791536 |  5036562 |     1702   7576 |        0 |        0
1416.45/1416.97	c 1416s |      24 |  5798374 |  5042562 |     1702   7582 |        0 |        0
1418.45/1418.98	c 1418s |      24 |  5805182 |  5048662 |     1702   7589 |        0 |        0
1420.55/1421.00	c 1420s |      24 |  5812629 |  5055362 |     1702   7597 |        0 |        0
1422.55/1423.00	c 1422s |      24 |  5819486 |  5061562 |     1702   7603 |        0 |        0
1423.55/1424.08	c 1424s |      25 |  5823391 |  5065098 |     1702   7607 |        0 |        0
1425.55/1426.08	c 1426s |      25 |  5832716 |  5072998 |     1702   7616 |        0 |        0
1427.65/1428.11	c 1428s |      25 |  5841362 |  5080498 |     1702   7625 |        0 |        0
1429.64/1430.12	c 1430s |      25 |  5850073 |  5088198 |     1702   7633 |        0 |        0
1431.64/1432.14	c 1432s |      25 |  5858399 |  5095598 |     1702   7641 |        0 |        0
1433.64/1434.15	c 1434s |      25 |  5865498 |  5101898 |     1702   7648 |        0 |        0
1435.64/1436.18	c 1436s |      25 |  5872504 |  5108098 |     1702   7655 |        0 |        0
1437.74/1438.21	c 1438s |      25 |  5879978 |  5114598 |     1702   7663 |        0 |        0
1439.75/1440.22	c 1440s |      25 |  5887736 |  5121298 |     1702   7670 |        0 |        0
1441.74/1442.24	c 1442s |      25 |  5895376 |  5127998 |     1702   7678 |        0 |        0
1443.74/1444.26	c 1444s |      25 |  5903158 |  5134698 |     1702   7685 |        0 |        0
1445.74/1446.28	c 1446s |      25 |  5911156 |  5141598 |     1702   7693 |        0 |        0
1447.74/1448.29	c 1448s |      25 |  5919510 |  5148698 |     1702   7701 |        0 |        0
1449.75/1450.30	c 1450s |      25 |  5926251 |  5154498 |     1702   7707 |        0 |        0
1451.85/1452.32	c 1452s |      25 |  5933617 |  5160998 |     1702   7715 |        0 |        0
1453.84/1454.35	c 1454s |      25 |  5941749 |  5167498 |     1702   7722 |        0 |        0
1455.84/1456.36	c 1456s |      25 |  5949217 |  5173998 |     1702   7729 |        0 |        0
1457.84/1458.37	c 1458s |      25 |  5956678 |  5180498 |     1702   7737 |        0 |        0
1459.84/1460.37	c 1460s |      25 |  5962695 |  5185798 |     1702   7742 |        0 |        0
1461.85/1462.39	c 1462s |      25 |  5969588 |  5191598 |     1702   7749 |        0 |        0
1463.94/1464.40	c 1464s |      25 |  5977415 |  5197998 |     1702   7756 |        0 |        0
1465.94/1466.41	c 1466s |      25 |  5985254 |  5203798 |     1702   7763 |        0 |        0
1467.94/1468.41	c 1468s |      25 |  5994019 |  5210898 |     1702   7771 |        0 |        0
1469.94/1470.41	c 1470s |      25 |  6001888 |  5217498 |     1702   7778 |        0 |        0
1471.94/1472.44	c 1472s |      25 |  6009488 |  5224198 |     1702   7785 |        0 |        0
1473.94/1474.46	c 1474s |      25 |  6016423 |  5230298 |     1702   7792 |        0 |        0
1475.94/1476.47	c 1476s |      25 |  6022734 |  5235898 |     1702   7798 |        0 |        0
1478.04/1478.50	c 1478s |      25 |  6029176 |  5241598 |     1702   7805 |        0 |        0
1480.04/1480.52	c 1480s |      25 |  6035584 |  5247298 |     1702   7811 |        0 |        0
1482.04/1482.55	c 1482s |      25 |  6041799 |  5252898 |     1702   7817 |        0 |        0
1484.04/1484.56	c 1484s |      25 |  6048215 |  5258398 |     1702   7823 |        0 |        0
1486.04/1486.57	c 1486s |      25 |  6055044 |  5263798 |     1702   7830 |        0 |        0
1488.03/1488.57	c 1488s |      25 |  6061062 |  5268798 |     1702   7835 |        0 |        0
1490.03/1490.59	c 1490s |      25 |  6067569 |  5274398 |     1702   7841 |        0 |        0
1492.13/1492.60	c 1492s |      25 |  6075021 |  5280298 |     1702   7848 |        0 |        0
1494.13/1494.62	c 1494s |      25 |  6081976 |  5285898 |     1702   7854 |        0 |        0
1496.13/1496.62	c 1496s |      25 |  6088801 |  5291598 |     1702   7861 |        0 |        0
1498.14/1498.66	c 1498s |      25 |  6098996 |  5298498 |     1702   7869 |        0 |        0
1500.13/1500.67	c 1500s |      25 |  6107770 |  5305598 |     1702   7877 |        0 |        0
1502.13/1502.68	c 1502s |      25 |  6116577 |  5312698 |     1702   7884 |        0 |        0
1504.13/1504.69	c 1504s |      25 |  6124432 |  5319398 |     1702   7892 |        0 |        0
1506.23/1506.71	c 1506s |      25 |  6131543 |  5325598 |     1702   7899 |        0 |        0
1508.23/1508.73	c 1508s |      25 |  6137893 |  5331198 |     1702   7905 |        0 |        0
1510.24/1510.75	c 1510s |      25 |  6144301 |  5336598 |     1702   7911 |        0 |        0
1512.23/1512.78	c 1512s |      25 |  6150470 |  5342098 |     1702   7917 |        0 |        0
1514.33/1514.82	c 1514s |      25 |  6156755 |  5347598 |     1702   7923 |        0 |        0
1516.33/1516.83	c 1516s |      25 |  6162911 |  5353098 |     1702   7929 |        0 |        0
1518.33/1518.87	c 1518s |      25 |  6169064 |  5358498 |     1702   7935 |        0 |        0
1520.32/1520.88	c 1520s |      25 |  6175245 |  5364098 |     1702   7942 |        0 |        0
1522.42/1522.90	c 1522s |      25 |  6181597 |  5369698 |     1702   7948 |        0 |        0
1524.43/1524.93	c 1524s |      25 |  6189304 |  5375498 |     1702   7954 |        0 |        0
1526.42/1526.93	c 1526s |      25 |  6195974 |  5381198 |     1702   7961 |        0 |        0
1528.42/1528.97	c 1528s |      25 |  6202696 |  5387098 |     1702   7967 |        0 |        0
1530.52/1531.00	c 1530s |      25 |  6209148 |  5392798 |     1702   7974 |        0 |        0
1532.52/1533.02	c 1533s |      25 |  6215867 |  5398598 |     1702   7980 |        0 |        0
1534.52/1535.05	c 1535s |      25 |  6222577 |  5404498 |     1702   7987 |        0 |        0
1536.53/1537.08	c 1537s |      25 |  6229074 |  5410398 |     1702   7993 |        0 |        0
1538.52/1539.09	c 1539s |      25 |  6235811 |  5416398 |     1702   8000 |        0 |        0
1540.52/1541.09	c 1541s |      25 |  6241871 |  5421798 |     1702   8006 |        0 |        0
1542.62/1543.12	c 1543s |      25 |  6249299 |  5428198 |     1702   8013 |        0 |        0
1544.62/1545.13	c 1545s |      25 |  6256161 |  5434298 |     1702   8020 |        0 |        0
1546.62/1547.14	c 1547s |      25 |  6262794 |  5440198 |     1702   8027 |        0 |        0
1548.62/1549.15	c 1549s |      25 |  6269760 |  5446498 |     1702   8034 |        0 |        0
1550.62/1551.17	c 1551s |      25 |  6276320 |  5452298 |     1702   8040 |        0 |        0
1552.63/1553.17	c 1553s |      25 |  6283741 |  5458798 |     1702   8047 |        0 |        0
1554.63/1555.17	c 1555s |      25 |  6290533 |  5464798 |     1702   8054 |        0 |        0
1556.73/1557.20	c 1557s |      25 |  6297550 |  5470898 |     1702   8061 |        0 |        0
1558.73/1559.23	c 1559s |      25 |  6303696 |  5476398 |     1702   8067 |        0 |        0
1560.73/1561.26	c 1561s |      25 |  6310572 |  5482498 |     1702   8074 |        0 |        0
1562.72/1563.27	c 1563s |      25 |  6317131 |  5488298 |     1702   8080 |        0 |        0
1564.72/1565.29	c 1565s |      25 |  6324638 |  5494998 |     1702   8087 |        0 |        0
1566.72/1567.29	c 1567s |      25 |  6331672 |  5501298 |     1702   8095 |        0 |        0
1568.82/1569.30	c 1569s |      25 |  6339139 |  5507898 |     1702   8102 |        0 |        0
1570.82/1571.32	c 1571s |      25 |  6345748 |  5513898 |     1702   8109 |        0 |        0
1572.83/1573.34	c 1573s |      25 |  6352506 |  5519998 |     1702   8115 |        0 |        0
1574.82/1575.36	c 1575s |      25 |  6359334 |  5526098 |     1702   8122 |        0 |        0
1576.82/1577.37	c 1577s |      25 |  6365454 |  5531698 |     1702   8128 |        0 |        0
1578.82/1579.38	c 1579s |      25 |  6372440 |  5537898 |     1702   8135 |        0 |        0
1580.82/1581.38	c 1581s |      25 |  6379303 |  5543998 |     1702   8142 |        0 |        0
1582.83/1583.39	c 1583s |      25 |  6386372 |  5550198 |     1702   8149 |        0 |        0
1584.93/1585.41	c 1585s |      25 |  6393563 |  5556598 |     1702   8156 |        0 |        0
1586.92/1587.42	c 1587s |      25 |  6400205 |  5562498 |     1702   8163 |        0 |        0
1588.92/1589.44	c 1589s |      25 |  6406380 |  5567998 |     1702   8169 |        0 |        0
1590.92/1591.47	c 1591s |      25 |  6414224 |  5574798 |     1702   8176 |        0 |        0
1592.92/1593.48	c 1593s |      25 |  6421930 |  5581498 |     1702   8184 |        0 |        0
1595.02/1595.51	c 1595s |      25 |  6429647 |  5588198 |     1702   8191 |        0 |        0
1597.02/1597.55	c 1597s |      25 |  6436784 |  5594598 |     1702   8199 |        0 |        0
1599.02/1599.56	c 1599s |      25 |  6443574 |  5600698 |     1702   8205 |        0 |        0
1601.02/1601.58	c 1601s |      25 |  6450177 |  5606598 |     1702   8212 |        0 |        0
1603.02/1603.58	c 1603s |      25 |  6456835 |  5612598 |     1702   8219 |        0 |        0
1605.02/1605.59	c 1605s |      25 |  6463180 |  5618298 |     1702   8225 |        0 |        0
1607.12/1607.62	c 1607s |      25 |  6469970 |  5624398 |     1702   8232 |        0 |        0
1609.12/1609.63	c 1609s |      25 |  6476489 |  5630298 |     1702   8238 |        0 |        0
1611.12/1611.65	c 1611s |      25 |  6482760 |  5635898 |     1702   8245 |        0 |        0
1613.11/1613.69	c 1613s |      25 |  6489061 |  5641598 |     1702   8251 |        0 |        0
1615.21/1615.71	c 1615s |      25 |  6495321 |  5647198 |     1702   8257 |        0 |        0
1617.21/1617.73	c 1617s |      25 |  6501547 |  5652798 |     1702   8264 |        0 |        0
1619.21/1619.76	c 1619s |      25 |  6508236 |  5658798 |     1702   8270 |        0 |        0
1621.22/1621.76	c 1621s |      25 |  6514875 |  5664798 |     1702   8277 |        0 |        0
1623.21/1623.78	c 1623s |      25 |  6521003 |  5670298 |     1702   8283 |        0 |        0
1625.31/1625.80	c 1625s |      25 |  6527097 |  5675798 |     1702   8289 |        0 |        0
1627.31/1627.82	c 1627s |      25 |  6533716 |  5681698 |     1702   8296 |        0 |        0
1629.31/1629.83	c 1629s |      25 |  6540621 |  5687698 |     1702   8303 |        0 |        0
1631.31/1631.85	c 1631s |      25 |  6548269 |  5694398 |     1702   8310 |        0 |        0
1633.31/1633.85	c 1633s |      25 |  6556211 |  5701198 |     1702   8318 |        0 |        0
1635.31/1635.87	c 1635s |      25 |  6563406 |  5707498 |     1702   8325 |        0 |        0
1637.31/1637.90	c 1637s |      25 |  6570613 |  5713798 |     1702   8332 |        0 |        0
1639.41/1639.94	c 1639s |      25 |  6577187 |  5719698 |     1702   8338 |        0 |        0
1641.41/1641.97	c 1641s |      25 |  6583549 |  5725398 |     1702   8345 |        0 |        0
1643.51/1644.00	c 1643s |      25 |  6590748 |  5731698 |     1702   8352 |        0 |        0
1645.51/1646.02	c 1646s |      25 |  6597824 |  5737798 |     1702   8359 |        0 |        0
1647.51/1648.04	c 1648s |      25 |  6604629 |  5743798 |     1702   8365 |        0 |        0
1649.51/1650.04	c 1650s |      25 |  6610947 |  5749398 |     1702   8372 |        0 |        0
1651.51/1652.04	c 1652s |      25 |  6618244 |  5755398 |     1702   8378 |        0 |        0
1653.51/1654.05	c 1654s |      25 |  6624873 |  5761098 |     1702   8385 |        0 |        0
1655.51/1656.05	c 1656s |      25 |  6631406 |  5766798 |     1702   8391 |        0 |        0
1657.51/1658.07	c 1658s |      25 |  6638330 |  5772798 |     1702   8398 |        0 |        0
1659.50/1660.09	c 1660s |      25 |  6644750 |  5778498 |     1702   8404 |        0 |        0
1661.60/1662.12	c 1662s |      25 |  6651588 |  5784598 |     1702   8411 |        0 |        0
1663.60/1664.12	c 1664s |      25 |  6658099 |  5790398 |     1702   8418 |        0 |        0
1665.60/1666.15	c 1666s |      25 |  6665220 |  5796598 |     1702   8424 |        0 |        0
1667.60/1668.17	c 1668s |      25 |  6671955 |  5802498 |     1702   8431 |        0 |        0
1669.61/1670.20	c 1670s |      25 |  6678678 |  5808298 |     1702   8438 |        0 |        0
1671.70/1672.22	c 1672s |      25 |  6685784 |  5814498 |     1702   8444 |        0 |        0
1673.70/1674.26	c 1674s |      25 |  6692973 |  5820798 |     1702   8451 |        0 |        0
1675.70/1676.26	c 1676s |      25 |  6699869 |  5826798 |     1702   8458 |        0 |        0
1677.70/1678.28	c 1678s |      25 |  6707059 |  5833098 |     1702   8465 |        0 |        0
1679.80/1680.30	c 1680s |      25 |  6714188 |  5839298 |     1702   8472 |        0 |        0
1681.80/1682.33	c 1682s |      25 |  6721230 |  5845598 |     1702   8479 |        0 |        0
1683.80/1684.36	c 1684s |      25 |  6727711 |  5851398 |     1702   8486 |        0 |        0
1685.80/1686.39	c 1686s |      25 |  6734148 |  5857098 |     1702   8492 |        0 |        0
1687.91/1688.41	c 1688s |      25 |  6739944 |  5862198 |     1702   8498 |        0 |        0
1689.91/1690.42	c 1690s |      25 |  6746155 |  5867698 |     1702   8504 |        0 |        0
1691.90/1692.44	c 1692s |      25 |  6753534 |  5874198 |     1702   8511 |        0 |        0
1693.91/1694.47	c 1694s |      25 |  6760407 |  5880098 |     1702   8518 |        0 |        0
1695.90/1696.47	c 1696s |      25 |  6766775 |  5885698 |     1702   8524 |        0 |        0
1697.90/1698.48	c 1698s |      25 |  6772995 |  5891098 |     1702   8530 |        0 |        0
1700.00/1700.50	c 1700s |      25 |  6779242 |  5896498 |     1702   8536 |        0 |        0
1702.00/1702.52	c 1702s |      25 |  6786023 |  5902298 |     1702   8542 |        0 |        0
1704.00/1704.55	c 1704s |      25 |  6792521 |  5907998 |     1702   8549 |        0 |        0
1706.01/1706.56	c 1706s |      25 |  6798624 |  5913298 |     1702   8555 |        0 |        0
1708.00/1708.59	c 1708s |      25 |  6806545 |  5920198 |     1702   8563 |        0 |        0
1710.00/1710.59	c 1710s |      25 |  6813845 |  5926598 |     1702   8570 |        0 |        0
1712.00/1712.59	c 1712s |      25 |  6820772 |  5932798 |     1702   8577 |        0 |        0
1714.10/1714.60	c 1714s |      25 |  6827268 |  5938698 |     1702   8583 |        0 |        0
1716.10/1716.60	c 1716s |      25 |  6834195 |  5944898 |     1702   8590 |        0 |        0
1718.11/1718.63	c 1718s |      25 |  6840882 |  5950698 |     1702   8597 |        0 |        0
1720.10/1720.64	c 1720s |      25 |  6847050 |  5956098 |     1702   8603 |        0 |        0
1722.10/1722.65	c 1722s |      25 |  6854546 |  5962598 |     1702   8610 |        0 |        0
1724.10/1724.68	c 1724s |      25 |  6861854 |  5968998 |     1702   8617 |        0 |        0
1726.20/1726.70	c 1726s |      25 |  6869618 |  5975698 |     1702   8625 |        0 |        0
1728.20/1728.70	c 1728s |      25 |  6877483 |  5982498 |     1702   8632 |        0 |        0
1730.20/1730.73	c 1730s |      25 |  6885047 |  5989198 |     1702   8640 |        0 |        0
1732.20/1732.74	c 1732s |      25 |  6891709 |  5995098 |     1702   8646 |        0 |        0
1734.20/1734.74	c 1734s |      25 |  6898416 |  6001098 |     1702   8653 |        0 |        0
1736.20/1736.75	c 1736s |      25 |  6905088 |  6006998 |     1702   8660 |        0 |        0
1738.19/1738.75	c 1738s |      25 |  6911835 |  6012898 |     1702   8666 |        0 |        0
1740.19/1740.76	c 1740s |      25 |  6918512 |  6018798 |     1702   8673 |        0 |        0
1742.20/1742.76	c 1742s |      25 |  6925487 |  6024798 |     1702   8680 |        0 |        0
1744.19/1744.79	c 1744s |      25 |  6932693 |  6031098 |     1702   8687 |        0 |        0
1746.19/1746.79	c 1746s |      25 |  6939011 |  6036698 |     1702   8693 |        0 |        0
1748.29/1748.81	c 1748s |      25 |  6945700 |  6042698 |     1702   8700 |        0 |        0
1750.29/1750.82	c 1750s |      25 |  6952351 |  6048698 |     1702   8706 |        0 |        0
1752.29/1752.83	c 1752s |      25 |  6958775 |  6054398 |     1702   8713 |        0 |        0
1754.30/1754.87	c 1754s |      25 |  6965501 |  6060398 |     1702   8720 |        0 |        0
1756.29/1756.89	c 1756s |      25 |  6971909 |  6066098 |     1702   8726 |        0 |        0
1758.39/1758.90	c 1758s |      25 |  6979038 |  6072298 |     1702   8733 |        0 |        0
1760.39/1760.90	c 1760s |      25 |  6986293 |  6078598 |     1702   8740 |        0 |        0
1762.39/1762.93	c 1762s |      25 |  6993626 |  6084998 |     1702   8747 |        0 |        0
1764.39/1764.94	c 1764s |      25 |  7001010 |  6091498 |     1702   8754 |        0 |        0
1766.39/1766.96	c 1766s |      25 |  7008361 |  6097998 |     1702   8762 |        0 |        0
1768.39/1768.96	c 1768s |      25 |  7015642 |  6104298 |     1702   8769 |        0 |        0
1770.39/1770.99	c 1770s |      25 |  7022562 |  6110398 |     1702   8776 |        0 |        0
1772.49/1773.01	c 1772s |      25 |  7029313 |  6116398 |     1702   8782 |        0 |        0
1774.49/1775.03	c 1775s |      25 |  7036613 |  6122798 |     1702   8789 |        0 |        0
1776.49/1777.05	c 1777s |      25 |  7042982 |  6128498 |     1702   8796 |        0 |        0
1778.49/1779.06	c 1779s |      25 |  7049532 |  6134298 |     1702   8802 |        0 |        0
1780.58/1781.10	c 1781s |      25 |  7055582 |  6139698 |     1702   8808 |        0 |        0
1782.58/1783.10	c 1783s |      25 |  7061102 |  6144598 |     1702   8814 |        0 |        0
1784.58/1785.14	c 1785s |      25 |  7066551 |  6149498 |     1702   8819 |        0 |        0
1786.58/1787.16	c 1787s |      25 |  7073025 |  6155198 |     1702   8826 |        0 |        0
1788.58/1789.19	c 1789s |      25 |  7078908 |  6160398 |     1702   8832 |        0 |        0
1790.69/1791.23	c 1791s |      25 |  7085201 |  6165998 |     1702   8838 |        0 |        0
1792.68/1793.26	c 1793s |      25 |  7091673 |  6171698 |     1702   8844 |        0 |        0
1794.68/1795.26	c 1795s |      25 |  7097525 |  6176998 |     1702   8850 |        0 |        0
1796.68/1797.26	c 1797s |      25 |  7104201 |  6182898 |     1702   8857 |        0 |        0
1798.68/1799.27	c 1799s |      25 |  7111612 |  6189498 |     1702   8864 |        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-4078597-1465221290/watcher-4078597-1465221290 -o /tmp/evaluation-result-4078597-1465221290/solver-4078597-1465221290 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078597-1465221290.opb 

pid=1430
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: 1.45 1.88 1.95 3/179 1433
/proc/meminfo: memFree=31402028/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=509372 CPUtime=0 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 1860 0 0 0 0 0 0 0 20 0 4 0 104064470 521596928 2731 33554432000 4194304 16246674 140733471321872 140733471321296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1433/statm: 127599 2735 441 2943 0 124493 0
[pid=1433/tid=1434] ppid=1430 vsize=659900 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 675737600 3321 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=665020 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 680980480 3341 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 686223360 3361 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.45 1.88 1.95 3/179 1433
/proc/meminfo: memFree=31402028/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 26802 0 0 0 5 4 0 0 20 0 4 0 104064470 1247350784 27663 33554432000 4194304 16246674 140733471321872 140733471304872 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 304529 27671 710 2943 0 301423 0
[pid=1433/tid=1434] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 27677 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 27683 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 27689 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200486 s]
/proc/loadavg: 1.45 1.88 1.95 3/179 1433
/proc/meminfo: memFree=31402028/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 53331 0 0 0 12 7 0 0 20 0 4 0 104064470 1247350784 54191 33554432000 4194304 16246674 140733471321872 140733471304872 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 304529 54202 711 2943 0 301423 0
[pid=1433/tid=1434] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 54207 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 54217 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 54226 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 1.45 1.88 1.95 3/179 1433
/proc/meminfo: memFree=31402028/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 80594 0 0 0 18 11 0 0 20 0 4 0 104064470 1247350784 81454 33554432000 4194304 16246674 140733471321872 140733471304872 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 304529 81465 711 2943 0 301423 0
[pid=1433/tid=1434] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 81472 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 81481 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 81491 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700337 s]
/proc/loadavg: 1.45 1.88 1.95 3/179 1433
/proc/meminfo: memFree=31402028/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 188775 0 0 0 43 26 0 0 20 0 4 0 104064470 1247350784 189636 33554432000 4194304 16246674 140733471321872 140733471303744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 304529 189651 711 2943 0 301423 0
[pid=1433/tid=1434] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 189658 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 189663 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1247350784 189668 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 1.45 1.88 1.95 2/175 1527
/proc/meminfo: memFree=30829364/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 245546 0 0 0 115 33 0 0 20 0 4 0 104064470 1248399360 246386 33554432000 4194304 16246674 140733471321872 140733471304872 5672936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 304785 246386 788 2943 0 301679 0
[pid=1433/tid=1434] ppid=1430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1248399360 246386 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1248399360 246386 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1248399360 246386 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 1.45 1.88 1.95 3/176 1583
/proc/meminfo: memFree=30721264/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267381 0 0 0 273 36 0 0 20 0 4 0 104064470 1337528320 268221 33554432000 4194304 16246674 140733471321872 140733471303744 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326545 268221 788 2943 0 323439 0
[pid=1433/tid=1434] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268221 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268221 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268221 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 1.65 1.91 1.96 3/183 1601
/proc/meminfo: memFree=30038180/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267439 0 0 0 593 36 0 0 20 0 4 0 104064470 1337528320 268279 33554432000 4194304 16246674 140733471321872 140733471304872 5823549 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326545 268279 788 2943 0 323439 0
[pid=1433/tid=1434] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268279 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268279 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268279 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.68 1.92 1.96 3/183 1601
/proc/meminfo: memFree=29562520/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267485 0 0 0 1233 36 0 0 20 0 4 0 104064470 1337528320 268325 33554432000 4194304 16246674 140733471321872 140733471304872 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326545 268325 789 2943 0 323439 0
[pid=1433/tid=1434] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268325 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268325 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1337528320 268325 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.75 1.92 1.96 3/183 1601
/proc/meminfo: memFree=29563384/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267682 0 0 0 2512 37 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140733471303744 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326801 268522 791 2943 0 323695 0
[pid=1433/tid=1434] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 1.90 1.94 1.96 3/183 1601
/proc/meminfo: memFree=29563724/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267682 0 0 0 5071 37 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140733471303744 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326801 268522 791 2943 0 323695 0
[pid=1433/tid=1434] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268522 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.00 1.96 1.97 3/183 1602
/proc/meminfo: memFree=29563228/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 267683 0 0 0 10189 38 0 0 20 0 4 0 104064470 1338576896 268523 33554432000 4194304 16246674 140733471321872 140733471303744 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 326801 268523 792 2943 0 323695 0
[pid=1433/tid=1434] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268523 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268523 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1338576896 268523 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269224 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/183 1659
/proc/meminfo: memFree=29465524/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1361.85 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 268904 0 0 0 136135 50 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140733471303744 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269317 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/183 1661
/proc/meminfo: memFree=29415832/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1421.85 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 268904 0 0 0 142134 51 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140733471304872 5676100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269317 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269317 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 1662
/proc/meminfo: memFree=29415360/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1481.84 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 268974 0 0 0 148133 51 0 0 20 0 4 0 104064470 1341722624 269387 33554432000 4194304 16246674 140733471321872 140733471303744 13818354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269387 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269387 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269387 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269387 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1310276

[startup+1542.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/184 1666
/proc/meminfo: memFree=29415012/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1541.82 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 268981 0 0 0 154131 51 0 0 20 0 4 0 104064470 1341722624 269394 33554432000 4194304 16246674 140733471321872 140733471303744 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269394 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269394 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269394 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269394 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 1667
/proc/meminfo: memFree=29414784/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1601.82 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 160130 52 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471303744 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/183 1668
/proc/meminfo: memFree=29366452/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1661.8 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 166128 52 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471303744 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 1670
/proc/meminfo: memFree=29366372/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1721.8 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 172127 53 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471303744 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/183 1671
/proc/meminfo: memFree=29365620/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1781.79 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 178126 53 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471303744 13198582 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 1671
/proc/meminfo: memFree=29365876/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1800.08 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 179955 53 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471304872 5822648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.6 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 1671
/proc/meminfo: memFree=29365876/32872528 swapFree=10676/249824
[pid=1433] ppid=1430 vsize=1310276 CPUtime=1800.08 cores=0,2,4,6
/proc/1433/stat : 1433 (toysat) R 1430 1433 1222 0 -1 4202496 269026 0 0 0 179955 53 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140733471304872 5822648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1433/statm: 327569 269439 792 2943 0 324463 0
[pid=1433/tid=1434] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1434/stat : 1434 (toysat) S 1430 1433 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715164151024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=1433/tid=1435] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1435/stat : 1435 (toysat) S 1430 1433 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715153661168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=1433/tid=1436] ppid=1430 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/1433/task/1436/stat : 1436 (toysat) S 1430 1433 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104064470 1341722624 269439 33554432000 4194304 16246674 140733471321872 140715073989808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.538918
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.538918
maximum resident set size= 1077756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269026
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= 443
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39133 second user time and 7.14291 second system time

The end

Begin job on node103 at 2016-06-06 15:54:50
IDJOB=4078597
IDBENCH=1440
IDSOLVER=2542
FILE ID=node103/4078597-1465221290
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078597-1465221290/watcher-4078597-1465221290 -o /tmp/evaluation-result-4078597-1465221290/solver-4078597-1465221290 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078597-1465221290.opb

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

MD5SUM BENCH= 2ca83d15931a383b90d8a7a08c6c1d9a
RANDOM SEED=1904048660

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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:        31430836 kB
Buffers:            9880 kB
Cached:           109980 kB
SwapCached:         1696 kB
Active:           460280 kB
Inactive:          27128 kB
Active(anon):     368904 kB
Inactive(anon):     1124 kB
Active(file):      91376 kB
Inactive(file):    26004 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096628 kB
Dirty:             33156 kB
Writeback:             0 kB
AnonPages:        616996 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             568980 kB
SReclaimable:      12408 kB
SUnreclaim:       556572 kB
KernelStack:        1432 kB
PageTables:         6536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1467828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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= 71688 MiB
End job on node103 at 2016-06-06 16:24:51