0.00/0.00	c 2016-06-16T02:43:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4090058-1466037798.opb"]
0.00/0.01	c use --random-gen="1214698821 2588824966 3240014501 972333118 1417875725 875708492 2790098673 1425262702 706754914 2636955907 2715712927 1033371853 579111057 4259733454 1947721312 899324844 1810391505 944221413 109938733 2592711673 688149428 2520743715 2133272033 2330133970 3515912063 13561026 2654836902 785517845 4241388352 3854439563 3751169575 2412230686 3368572515 442286632 4043756120 3005196098 2991072441 2722290523 1495747895 2992648159 2977656270 1545103174 3856924371 1676400598 3726827878 2849041051 3160501473 3809712621 575025339 2476378582 1954367042 1037515431 691551521 4118722889 2691452997 2845015963 1201627902 2360596594 227327980 559495512 422467530 4031921598 3036784532 3779738740 748428299 3935209087 67305832 310117715 1335049179 114958443 73811446 1200074696 3898146502 1913451173 3708712821 2667315716 680397230 1200901049 1810068374 2203909114 2237150252 3430764038 1233733404 2439313752 839847717 3219227108 1652434825 3979580273 2053639612 3475206738 1482160347 1142492384 2264671518 135997487 2683011830 3908497345 502480148 345503927 3758820434 1148111075 284765114 1463477868 1468118343 2854110955 3756168788 1687948161 2831975353 2165249981 3429321068 3039102853 1810263432 3616270086 2593418236 2212952236 282913051 1469212492 915108926 3022896556 3938978521 596609406 4148215100 1261289139 201510762 982742561 395956646 1377304137 2439134615 1328224813 700819384 1023789493 1833268524 2473399102 2193695695 4050108770 1957008531 4577432 1134949169 2349018907 3992276026 3606964689 2720213501 133027399 1465696192 2459176972 3133296177 404725090 4158350516 1004819126 691944560 737688177 1968070194 1984253435 3486688212 3106090194 2890994318 2498712858 3243803826 3549090653 932463139 1018307373 1383268019 4147532138 729062849 1776536799 2852866953 1414158987 1373764621 2043434082 64648807 3942909058 4122730510 2043241563 1287752251 3315490662 3369548407 2385812770 532322266 3267020783 1819355075 2585760846 3163255250 3157410672 563130724 2171201672 2967645345 483054638 3983054603 2438036571 1869025172 2135245398 513278168 112222905 413991452 2201431651 95392596 3148343130 422967404 3732747220 976034432 3552074601 2121770976 1106728283 3930385604 28057183 4050073516 1832577370 563784836 1998162410 238589303 1013077171 3738035833 3736867785 3904740842 4079853532 2883370969 1193388237 1118927337 2097737220 1678502917 893409236 813200983 3045239977 2107771086 4246954587 3280676090 2335297331 1224504573 3352110833 422768746 4110730913 3287577812 3725223531 2870136298 3802449780 1399907376 4146330284 2697070111 3108268796 709243657 711808570 1448850788 2403579654 3402241752 4177256072 3508908386 4096600681 488533428 2562691322 416526384 2197171696 3904317536 982203175 2245319301 4065430083 3396947863 2654541346 255 362436" option to reproduce the execution
0.00/0.01	c #vars 333
0.00/0.01	c #constraints 111
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 |      185      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      144 |      100 |      185      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      443 |      250 |      204      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      824 |      475 |      225      1 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1308 |      813 |      248      2 |        0 |        0
0.29/0.39	c  0.4s |       5 |     2013 |     1320 |      273      5 |        0 |        0
0.59/0.65	c  0.6s |       6 |     3030 |     2081 |      332      8 |        0 |        0
0.89/0.94	c  0.9s |       7 |     4418 |     3223 |      366     12 |        0 |        0
1.29/1.34	c  1.3s |       8 |     6465 |     4936 |      403     18 |        0 |        0
1.89/1.93	c  1.9s |       9 |     9417 |     7506 |      444     25 |        0 |        0
2.69/2.76	c  2.7s |      10 |    13762 |    11361 |      489     36 |        0 |        0
4.09/4.16	c  4.1s |      11 |    20260 |    17144 |      538     52 |        0 |        0
6.09/6.19	c  6.2s |      11 |    28772 |    24844 |      538     71 |        0 |        0
6.39/6.44	c  6.4s |      12 |    30547 |    25819 |      592     74 |        0 |        0
8.39/8.45	c  8.4s |      12 |    38737 |    33019 |      592     92 |        0 |        0
10.19/10.23	c 10.2s |      13 |    45043 |    38832 |      652    106 |        0 |        0
12.19/12.26	c 12.2s |      13 |    53793 |    45332 |      652    122 |        0 |        0
14.19/14.27	c 14.3s |      13 |    60375 |    51132 |      652    136 |        0 |        0
16.19/16.28	c 16.3s |      13 |    67337 |    56832 |      652    150 |        0 |        0
16.79/16.89	c 16.9s |      14 |    69144 |    58352 |      718    153 |        0 |        0
18.89/18.91	c 18.9s |      14 |    76934 |    64452 |      718    167 |        0 |        0
20.89/20.92	c 20.9s |      14 |    83552 |    70352 |      718    181 |        0 |        0
22.88/22.93	c 22.9s |      14 |    89454 |    75752 |      718    194 |        0 |        0
24.88/24.95	c 24.9s |      14 |    95897 |    81552 |      718    207 |        0 |        0
26.88/26.98	c 27.0s |      14 |   102150 |    87152 |      790    220 |        0 |        0
27.08/27.14	c 27.1s |      15 |   102685 |    87632 |      790    221 |        0 |        0
29.08/29.14	c 29.1s |      15 |   111171 |    94332 |      790    235 |        0 |        0
31.08/31.17	c 31.2s |      15 |   118121 |   100332 |      790    248 |        0 |        0
33.18/33.20	c 33.2s |      15 |   124440 |   105932 |      790    260 |        0 |        0
35.19/35.22	c 35.2s |      15 |   130672 |   111332 |      790    271 |        0 |        0
37.18/37.24	c 37.2s |      15 |   137738 |   117332 |      790    283 |        0 |        0
39.18/39.24	c 39.2s |      15 |   144972 |   123532 |      790    296 |        0 |        0
41.18/41.26	c 41.2s |      15 |   151245 |   129032 |      790    308 |        0 |        0
42.08/42.17	c 42.2s |      16 |   154243 |   131552 |      870    313 |        0 |        0
44.18/44.21	c 44.2s |      16 |   162840 |   137952 |      870    326 |        0 |        0
46.19/46.22	c 46.2s |      16 |   169739 |   143652 |      870    337 |        0 |        0
48.18/48.25	c 48.2s |      16 |   176576 |   149352 |      870    347 |        0 |        0
50.18/50.25	c 50.2s |      16 |   182763 |   154752 |      870    358 |        0 |        0
52.18/52.29	c 52.3s |      16 |   189166 |   160352 |      870    368 |        0 |        0
54.28/54.32	c 54.3s |      16 |   196609 |   166552 |      870    380 |        0 |        0
56.28/56.34	c 56.3s |      16 |   203261 |   172252 |      870    391 |        0 |        0
58.29/58.37	c 58.4s |      16 |   210550 |   178552 |      870    403 |        0 |        0
60.38/60.40	c 60.4s |      16 |   217380 |   184452 |      870    414 |        0 |        0
62.38/62.43	c 62.4s |      16 |   224226 |   190352 |      870    426 |        0 |        0
64.38/64.46	c 64.4s |      16 |   231170 |   196252 |      958    437 |        0 |        0
64.78/64.88	c 64.9s |      17 |   232543 |   197432 |      958    439 |        0 |        0
66.77/66.89	c 66.9s |      17 |   239828 |   203832 |      958    450 |        0 |        0
68.87/68.90	c 68.9s |      17 |   246507 |   210032 |      958    462 |        0 |        0
70.87/70.91	c 70.9s |      17 |   252714 |   215632 |      958    471 |        0 |        0
72.87/72.93	c 72.9s |      17 |   258371 |   220832 |      958    480 |        0 |        0
74.88/74.96	c 74.9s |      17 |   265513 |   226732 |      958    491 |        0 |        0
76.87/76.97	c 77.0s |      17 |   272676 |   233232 |      958    502 |        0 |        0
78.87/78.98	c 79.0s |      17 |   278944 |   238732 |      958    512 |        0 |        0
80.87/80.99	c 81.0s |      17 |   284404 |   243732 |      958    521 |        0 |        0
82.97/83.00	c 83.0s |      17 |   289623 |   248532 |      958    530 |        0 |        0
84.97/85.01	c 85.0s |      17 |   295359 |   253632 |      958    539 |        0 |        0
86.97/87.03	c 87.0s |      17 |   301574 |   258532 |      958    547 |        0 |        0
88.97/89.03	c 89.0s |      17 |   308974 |   265332 |      958    560 |        0 |        0
90.97/91.05	c 91.0s |      17 |   316152 |   272032 |      958    572 |        0 |        0
92.96/93.07	c 93.1s |      17 |   323406 |   278732 |      958    585 |        0 |        0
94.96/95.07	c 95.1s |      17 |   330211 |   284932 |      958    596 |        0 |        0
96.96/97.09	c 97.1s |      17 |   336623 |   290832 |      958    607 |        0 |        0
98.76/98.85	c 98.8s |      18 |   342509 |   296252 |     1054    617 |        0 |        0
100.76/100.87	c  100s |      18 |   350521 |   303552 |     1054    628 |        0 |        0
102.86/102.90	c  102s |      18 |   358126 |   310552 |     1054    639 |        0 |        0
104.86/104.92	c  104s |      18 |   365676 |   317552 |     1054    650 |        0 |        0
106.86/106.94	c  106s |      18 |   373562 |   324852 |     1054    662 |        0 |        0
108.86/108.97	c  108s |      18 |   380902 |   331752 |     1054    672 |        0 |        0
110.86/110.99	c  110s |      18 |   388640 |   338852 |     1054    684 |        0 |        0
112.96/113.02	c  113s |      18 |   395743 |   345452 |     1054    694 |        0 |        0
114.96/115.02	c  115s |      18 |   403006 |   352252 |     1054    704 |        0 |        0
116.96/117.05	c  117s |      18 |   410165 |   358952 |     1054    715 |        0 |        0
118.96/119.06	c  119s |      18 |   416614 |   365052 |     1054    725 |        0 |        0
120.96/121.09	c  121s |      18 |   423297 |   371352 |     1054    735 |        0 |        0
123.05/123.11	c  123s |      18 |   429695 |   377352 |     1054    744 |        0 |        0
125.05/125.13	c  125s |      18 |   437532 |   384452 |     1054    755 |        0 |        0
127.05/127.15	c  127s |      18 |   445322 |   391552 |     1054    766 |        0 |        0
129.05/129.19	c  129s |      18 |   452057 |   397852 |     1054    776 |        0 |        0
131.15/131.21	c  131s |      18 |   459007 |   404352 |     1054    786 |        0 |        0
133.15/133.22	c  133s |      18 |   466019 |   410952 |     1054    797 |        0 |        0
135.14/135.22	c  135s |      18 |   472751 |   417252 |     1054    807 |        0 |        0
137.14/137.25	c  137s |      18 |   479359 |   423352 |     1054    817 |        0 |        0
139.14/139.27	c  139s |      18 |   486049 |   429452 |     1054    826 |        0 |        0
141.24/141.30	c  141s |      18 |   492776 |   435652 |     1054    836 |        0 |        0
143.24/143.30	c  143s |      18 |   499073 |   441352 |     1160    845 |        0 |        0
144.24/144.34	c  144s |      19 |   502530 |   444482 |     1160    849 |        0 |        0
146.24/146.35	c  146s |      19 |   510572 |   451882 |     1160    860 |        0 |        0
148.24/148.38	c  148s |      19 |   518551 |   459182 |     1160    870 |        0 |        0
150.34/150.41	c  150s |      19 |   525789 |   465982 |     1160    880 |        0 |        0
152.33/152.44	c  152s |      19 |   532656 |   472382 |     1160    889 |        0 |        0
154.33/154.44	c  154s |      19 |   539545 |   478882 |     1160    898 |        0 |        0
156.34/156.46	c  156s |      19 |   546515 |   485382 |     1160    907 |        0 |        0
158.35/158.47	c  158s |      19 |   553060 |   491582 |     1160    916 |        0 |        0
160.34/160.48	c  160s |      19 |   560122 |   498082 |     1160    925 |        0 |        0
162.34/162.49	c  162s |      19 |   567090 |   504482 |     1160    934 |        0 |        0
164.34/164.49	c  164s |      19 |   574170 |   510982 |     1160    944 |        0 |        0
166.43/166.51	c  166s |      19 |   581638 |   517782 |     1160    953 |        0 |        0
168.43/168.52	c  168s |      19 |   589094 |   524582 |     1160    963 |        0 |        0
170.44/170.55	c  170s |      19 |   596823 |   531582 |     1160    973 |        0 |        0
172.43/172.58	c  172s |      19 |   604354 |   538382 |     1160    983 |        0 |        0
174.43/174.58	c  174s |      19 |   611661 |   545082 |     1160    992 |        0 |        0
176.43/176.59	c  176s |      19 |   619529 |   552182 |     1160   1002 |        0 |        0
178.53/178.60	c  178s |      19 |   626440 |   558582 |     1160   1011 |        0 |        0
180.53/180.61	c  180s |      19 |   633078 |   564682 |     1160   1020 |        0 |        0
182.53/182.63	c  182s |      19 |   639665 |   570782 |     1160   1029 |        0 |        0
184.52/184.65	c  184s |      19 |   646645 |   577082 |     1160   1038 |        0 |        0
186.52/186.66	c  186s |      19 |   653587 |   583482 |     1160   1047 |        0 |        0
188.52/188.67	c  188s |      19 |   659912 |   589382 |     1160   1055 |        0 |        0
190.62/190.70	c  190s |      19 |   666796 |   595782 |     1160   1065 |        0 |        0
192.62/192.73	c  192s |      19 |   674038 |   602382 |     1160   1074 |        0 |        0
194.62/194.75	c  194s |      19 |   680858 |   608682 |     1160   1083 |        0 |        0
196.62/196.78	c  196s |      19 |   686957 |   614282 |     1160   1091 |        0 |        0
198.62/198.79	c  198s |      19 |   694498 |   620982 |     1160   1101 |        0 |        0
200.72/200.80	c  200s |      19 |   701564 |   627282 |     1160   1110 |        0 |        0
202.71/202.81	c  202s |      19 |   708068 |   633282 |     1160   1118 |        0 |        0
204.71/204.83	c  204s |      19 |   714074 |   638782 |     1160   1126 |        0 |        0
206.72/206.84	c  206s |      19 |   721277 |   645482 |     1160   1136 |        0 |        0
208.71/208.86	c  208s |      19 |   728083 |   651882 |     1160   1145 |        0 |        0
210.71/210.87	c  210s |      19 |   735081 |   658382 |     1160   1154 |        0 |        0
212.71/212.88	c  212s |      19 |   741704 |   664582 |     1276   1163 |        0 |        0
213.51/213.68	c  213s |      20 |   744171 |   666827 |     1276   1165 |        0 |        0
215.51/215.68	c  215s |      20 |   752813 |   674427 |     1276   1175 |        0 |        0
217.61/217.70	c  217s |      20 |   760896 |   681527 |     1276   1185 |        0 |        0
219.61/219.71	c  219s |      20 |   768188 |   688227 |     1276   1193 |        0 |        0
221.60/221.74	c  221s |      20 |   775707 |   694927 |     1276   1202 |        0 |        0
223.60/223.74	c  223s |      20 |   783102 |   701627 |     1276   1211 |        0 |        0
225.60/225.76	c  225s |      20 |   789816 |   707827 |     1276   1219 |        0 |        0
227.61/227.77	c  227s |      20 |   796331 |   713927 |     1276   1227 |        0 |        0
229.61/229.77	c  229s |      20 |   803026 |   720127 |     1276   1235 |        0 |        0
231.70/231.80	c  231s |      20 |   810181 |   726727 |     1276   1244 |        0 |        0
233.70/233.81	c  233s |      20 |   816422 |   732627 |     1276   1251 |        0 |        0
235.70/235.81	c  235s |      20 |   822490 |   738327 |     1276   1259 |        0 |        0
237.70/237.83	c  237s |      20 |   829302 |   744627 |     1276   1267 |        0 |        0
239.71/239.86	c  239s |      20 |   836127 |   750927 |     1276   1275 |        0 |        0
241.70/241.89	c  241s |      20 |   842972 |   757227 |     1276   1284 |        0 |        0
243.79/243.91	c  243s |      20 |   849352 |   763227 |     1276   1291 |        0 |        0
245.79/245.93	c  245s |      20 |   856307 |   769627 |     1276   1300 |        0 |        0
247.79/247.94	c  247s |      20 |   863522 |   776227 |     1276   1308 |        0 |        0
249.79/249.94	c  249s |      20 |   870430 |   782627 |     1276   1317 |        0 |        0
251.80/251.97	c  251s |      20 |   877371 |   788927 |     1276   1325 |        0 |        0
253.89/254.01	c  253s |      20 |   883603 |   794627 |     1276   1332 |        0 |        0
255.89/256.03	c  256s |      20 |   890087 |   800627 |     1276   1340 |        0 |        0
257.89/258.04	c  258s |      20 |   896427 |   806427 |     1276   1348 |        0 |        0
259.89/260.04	c  260s |      20 |   902824 |   812327 |     1276   1356 |        0 |        0
261.88/262.05	c  262s |      20 |   908814 |   817827 |     1276   1363 |        0 |        0
263.89/264.08	c  264s |      20 |   915947 |   824127 |     1276   1371 |        0 |        0
265.98/266.10	c  266s |      20 |   923469 |   831027 |     1276   1380 |        0 |        0
267.98/268.11	c  268s |      20 |   930777 |   837627 |     1276   1389 |        0 |        0
269.98/270.14	c  270s |      20 |   937565 |   843727 |     1276   1397 |        0 |        0
271.98/272.16	c  272s |      20 |   943933 |   849527 |     1276   1404 |        0 |        0
273.98/274.16	c  274s |      20 |   951706 |   856427 |     1276   1413 |        0 |        0
275.98/276.19	c  276s |      20 |   958713 |   862927 |     1276   1422 |        0 |        0
277.98/278.19	c  278s |      20 |   965354 |   869127 |     1276   1430 |        0 |        0
280.08/280.20	c  280s |      20 |   971809 |   875227 |     1276   1438 |        0 |        0
282.07/282.22	c  282s |      20 |   978360 |   881327 |     1276   1446 |        0 |        0
284.07/284.22	c  284s |      20 |   984901 |   887227 |     1276   1453 |        0 |        0
286.07/286.24	c  286s |      20 |   991228 |   893127 |     1276   1461 |        0 |        0
288.08/288.27	c  288s |      20 |   997675 |   899227 |     1276   1469 |        0 |        0
290.18/290.30	c  290s |      20 |  1003607 |   904827 |     1276   1476 |        0 |        0
292.17/292.32	c  292s |      20 |  1009229 |   910027 |     1276   1483 |        0 |        0
294.17/294.34	c  294s |      20 |  1016295 |   916727 |     1276   1492 |        0 |        0
296.17/296.35	c  296s |      20 |  1023134 |   923027 |     1276   1500 |        0 |        0
298.17/298.36	c  298s |      20 |  1029241 |   928827 |     1276   1508 |        0 |        0
300.18/300.37	c  300s |      20 |  1035492 |   934627 |     1276   1515 |        0 |        0
302.17/302.38	c  302s |      20 |  1041936 |   940527 |     1276   1523 |        0 |        0
304.16/304.38	c  304s |      20 |  1048410 |   946427 |     1276   1531 |        0 |        0
306.16/306.38	c  306s |      20 |  1055147 |   952527 |     1276   1539 |        0 |        0
308.26/308.41	c  308s |      20 |  1061607 |   958427 |     1276   1546 |        0 |        0
310.26/310.42	c  310s |      20 |  1068302 |   964327 |     1276   1554 |        0 |        0
312.26/312.45	c  312s |      20 |  1076107 |   971327 |     1276   1563 |        0 |        0
314.25/314.46	c  314s |      20 |  1082924 |   977627 |     1276   1572 |        0 |        0
316.25/316.47	c  316s |      20 |  1089337 |   983627 |     1276   1579 |        0 |        0
318.25/318.48	c  318s |      20 |  1095640 |   989527 |     1276   1587 |        0 |        0
320.25/320.49	c  320s |      20 |  1102388 |   995827 |     1404   1595 |        0 |        0
321.85/322.02	c  321s |      21 |  1107223 |  1000345 |     1404   1600 |        0 |        0
323.85/324.02	c  324s |      21 |  1115207 |  1007345 |     1404   1609 |        0 |        0
325.85/326.04	c  326s |      21 |  1122411 |  1013945 |     1404   1617 |        0 |        0
327.85/328.05	c  328s |      21 |  1129371 |  1020345 |     1404   1625 |        0 |        0
329.86/330.06	c  330s |      21 |  1136317 |  1026845 |     1404   1633 |        0 |        0
331.85/332.07	c  332s |      21 |  1143038 |  1033145 |     1404   1640 |        0 |        0
333.85/334.09	c  334s |      21 |  1150011 |  1039645 |     1404   1648 |        0 |        0
335.95/336.10	c  336s |      21 |  1156777 |  1045845 |     1404   1656 |        0 |        0
337.95/338.10	c  338s |      21 |  1164121 |  1052645 |     1404   1664 |        0 |        0
339.95/340.11	c  340s |      21 |  1170464 |  1058545 |     1404   1671 |        0 |        0
341.95/342.12	c  342s |      21 |  1176911 |  1064545 |     1404   1678 |        0 |        0
343.94/344.14	c  344s |      21 |  1183505 |  1070645 |     1404   1686 |        0 |        0
345.94/346.16	c  346s |      21 |  1190270 |  1076945 |     1404   1693 |        0 |        0
347.94/348.19	c  348s |      21 |  1197008 |  1083145 |     1404   1701 |        0 |        0
349.94/350.19	c  350s |      21 |  1202980 |  1088745 |     1404   1708 |        0 |        0
351.94/352.20	c  352s |      21 |  1210279 |  1095445 |     1404   1716 |        0 |        0
354.04/354.23	c  354s |      21 |  1217150 |  1101745 |     1404   1724 |        0 |        0
356.03/356.24	c  356s |      21 |  1223327 |  1107545 |     1404   1731 |        0 |        0
358.03/358.27	c  358s |      21 |  1229711 |  1113445 |     1404   1738 |        0 |        0
360.13/360.30	c  360s |      21 |  1236238 |  1119445 |     1404   1745 |        0 |        0
362.13/362.33	c  362s |      21 |  1241843 |  1124745 |     1404   1752 |        0 |        0
364.13/364.35	c  364s |      21 |  1247714 |  1130245 |     1404   1758 |        0 |        0
366.13/366.38	c  366s |      21 |  1254007 |  1136145 |     1404   1765 |        0 |        0
368.23/368.41	c  368s |      21 |  1259872 |  1141645 |     1404   1772 |        0 |        0
370.22/370.42	c  370s |      21 |  1265294 |  1146745 |     1404   1778 |        0 |        0
372.22/372.42	c  372s |      21 |  1270891 |  1152045 |     1404   1785 |        0 |        0
374.22/374.44	c  374s |      21 |  1277711 |  1158245 |     1404   1792 |        0 |        0
376.22/376.46	c  376s |      21 |  1284855 |  1164845 |     1404   1800 |        0 |        0
378.23/378.46	c  378s |      21 |  1291541 |  1171145 |     1404   1808 |        0 |        0
380.33/380.50	c  380s |      21 |  1298296 |  1177445 |     1404   1816 |        0 |        0
382.33/382.50	c  382s |      21 |  1305162 |  1183845 |     1404   1823 |        0 |        0
384.33/384.51	c  384s |      21 |  1311872 |  1190045 |     1404   1831 |        0 |        0
386.33/386.53	c  386s |      21 |  1318268 |  1196045 |     1404   1838 |        0 |        0
388.32/388.54	c  388s |      21 |  1324742 |  1202045 |     1404   1846 |        0 |        0
390.33/390.57	c  390s |      21 |  1332436 |  1208945 |     1404   1854 |        0 |        0
392.42/392.60	c  392s |      21 |  1339826 |  1215645 |     1404   1862 |        0 |        0
394.42/394.63	c  394s |      21 |  1346586 |  1221845 |     1404   1870 |        0 |        0
396.42/396.65	c  396s |      21 |  1353203 |  1228045 |     1404   1877 |        0 |        0
398.42/398.67	c  398s |      21 |  1359887 |  1234345 |     1404   1885 |        0 |        0
400.42/400.67	c  400s |      21 |  1366031 |  1239945 |     1404   1892 |        0 |        0
402.42/402.68	c  402s |      21 |  1372036 |  1245545 |     1404   1899 |        0 |        0
404.51/404.71	c  404s |      21 |  1378658 |  1251745 |     1404   1906 |        0 |        0
406.51/406.72	c  406s |      21 |  1384836 |  1257545 |     1404   1913 |        0 |        0
408.51/408.74	c  408s |      21 |  1391094 |  1263345 |     1404   1920 |        0 |        0
410.51/410.75	c  410s |      21 |  1397778 |  1269545 |     1404   1928 |        0 |        0
412.51/412.77	c  412s |      21 |  1404439 |  1275745 |     1404   1936 |        0 |        0
414.51/414.79	c  414s |      21 |  1411030 |  1281845 |     1404   1943 |        0 |        0
416.60/416.82	c  416s |      21 |  1417252 |  1287645 |     1404   1950 |        0 |        0
418.60/418.85	c  418s |      21 |  1423579 |  1293445 |     1404   1957 |        0 |        0
420.60/420.87	c  420s |      21 |  1430105 |  1299545 |     1404   1965 |        0 |        0
422.60/422.87	c  422s |      21 |  1436879 |  1305845 |     1404   1972 |        0 |        0
424.70/424.90	c  424s |      21 |  1443250 |  1311745 |     1404   1979 |        0 |        0
426.71/426.92	c  426s |      21 |  1449756 |  1317745 |     1404   1987 |        0 |        0
428.70/428.94	c  428s |      21 |  1456054 |  1323645 |     1404   1994 |        0 |        0
430.70/430.95	c  430s |      21 |  1462740 |  1329845 |     1404   2002 |        0 |        0
432.69/432.95	c  432s |      21 |  1468890 |  1335545 |     1404   2008 |        0 |        0
434.69/434.97	c  434s |      21 |  1475019 |  1341245 |     1404   2015 |        0 |        0
436.79/437.01	c  436s |      21 |  1481120 |  1346945 |     1404   2022 |        0 |        0
438.80/439.04	c  439s |      21 |  1486912 |  1352345 |     1404   2029 |        0 |        0
440.79/441.04	c  441s |      21 |  1493251 |  1358145 |     1404   2036 |        0 |        0
442.79/443.05	c  443s |      21 |  1499419 |  1363745 |     1404   2043 |        0 |        0
444.79/445.08	c  445s |      21 |  1505635 |  1369545 |     1404   2050 |        0 |        0
446.89/447.11	c  447s |      21 |  1512283 |  1375745 |     1404   2058 |        0 |        0
448.89/449.12	c  449s |      21 |  1518655 |  1381745 |     1404   2065 |        0 |        0
450.90/451.14	c  451s |      21 |  1524998 |  1387645 |     1404   2072 |        0 |        0
452.89/453.18	c  453s |      21 |  1531228 |  1393445 |     1404   2079 |        0 |        0
454.89/455.19	c  455s |      21 |  1537153 |  1399045 |     1404   2086 |        0 |        0
456.99/457.22	c  457s |      21 |  1543620 |  1405045 |     1404   2093 |        0 |        0
458.99/459.23	c  459s |      21 |  1549915 |  1410945 |     1404   2101 |        0 |        0
460.98/461.26	c  461s |      21 |  1555452 |  1416145 |     1404   2107 |        0 |        0
463.08/463.30	c  463s |      21 |  1561322 |  1421645 |     1404   2114 |        0 |        0
465.09/465.32	c  465s |      21 |  1567560 |  1427445 |     1404   2121 |        0 |        0
467.08/467.34	c  467s |      21 |  1573491 |  1433045 |     1404   2127 |        0 |        0
469.08/469.35	c  469s |      21 |  1579476 |  1438645 |     1404   2134 |        0 |        0
471.08/471.38	c  471s |      21 |  1585262 |  1444045 |     1404   2141 |        0 |        0
473.18/473.40	c  473s |      21 |  1591902 |  1450245 |     1404   2148 |        0 |        0
475.17/475.41	c  475s |      21 |  1598314 |  1456245 |     1404   2156 |        0 |        0
477.18/477.44	c  477s |      21 |  1604175 |  1461745 |     1404   2162 |        0 |        0
479.17/479.44	c  479s |      21 |  1609110 |  1466445 |     1404   2168 |        0 |        0
481.17/481.46	c  481s |      21 |  1615746 |  1472445 |     1404   2175 |        0 |        0
483.17/483.49	c  483s |      21 |  1621678 |  1477945 |     1404   2182 |        0 |        0
485.27/485.52	c  485s |      21 |  1628099 |  1483945 |     1404   2190 |        0 |        0
487.27/487.53	c  487s |      21 |  1634483 |  1489945 |     1545   2197 |        0 |        0
489.28/489.55	c  489s |      21 |  1640734 |  1495745 |     1545   2203 |        0 |        0
490.87/491.10	c  491s |      22 |  1646096 |  1500622 |     1545   2209 |        0 |        0
492.87/493.12	c  493s |      22 |  1653531 |  1507422 |     1545   2216 |        0 |        0
494.87/495.13	c  495s |      22 |  1661259 |  1514422 |     1545   2224 |        0 |        0
496.87/497.16	c  497s |      22 |  1668604 |  1521222 |     1545   2232 |        0 |        0
498.87/499.17	c  499s |      22 |  1675740 |  1527822 |     1545   2239 |        0 |        0
500.87/501.17	c  501s |      22 |  1682495 |  1534122 |     1545   2247 |        0 |        0
502.96/503.20	c  503s |      22 |  1689660 |  1540622 |     1545   2254 |        0 |        0
504.96/505.24	c  505s |      22 |  1696937 |  1547322 |     1545   2261 |        0 |        0
506.97/507.25	c  507s |      22 |  1703414 |  1553322 |     1545   2268 |        0 |        0
508.96/509.29	c  509s |      22 |  1710241 |  1559522 |     1545   2275 |        0 |        0
511.06/511.30	c  511s |      22 |  1716586 |  1565422 |     1545   2282 |        0 |        0
513.06/513.32	c  513s |      22 |  1723373 |  1571722 |     1545   2289 |        0 |        0
515.06/515.34	c  515s |      22 |  1730093 |  1577922 |     1545   2296 |        0 |        0
517.05/517.36	c  517s |      22 |  1737142 |  1584322 |     1545   2303 |        0 |        0
519.06/519.37	c  519s |      22 |  1744067 |  1590622 |     1545   2311 |        0 |        0
521.05/521.40	c  521s |      22 |  1750597 |  1596722 |     1545   2318 |        0 |        0
523.15/523.43	c  523s |      22 |  1757178 |  1602822 |     1545   2325 |        0 |        0
525.15/525.47	c  525s |      22 |  1763733 |  1608922 |     1545   2332 |        0 |        0
527.15/527.47	c  527s |      22 |  1770140 |  1614722 |     1545   2338 |        0 |        0
529.15/529.47	c  529s |      22 |  1777300 |  1621322 |     1545   2346 |        0 |        0
531.16/531.49	c  531s |      22 |  1784327 |  1627822 |     1545   2353 |        0 |        0
533.25/533.51	c  533s |      22 |  1791019 |  1633922 |     1545   2360 |        0 |        0
535.24/535.54	c  535s |      22 |  1797841 |  1640022 |     1545   2367 |        0 |        0
537.24/537.55	c  537s |      22 |  1804430 |  1646022 |     1545   2374 |        0 |        0
539.24/539.55	c  539s |      22 |  1811354 |  1652422 |     1545   2381 |        0 |        0
541.24/541.57	c  541s |      22 |  1817457 |  1658122 |     1545   2388 |        0 |        0
543.24/543.58	c  543s |      22 |  1823641 |  1663922 |     1545   2394 |        0 |        0
545.24/545.59	c  545s |      22 |  1829721 |  1669622 |     1545   2401 |        0 |        0
547.34/547.61	c  547s |      22 |  1835591 |  1675022 |     1545   2407 |        0 |        0
549.34/549.61	c  549s |      22 |  1841069 |  1679922 |     1545   2413 |        0 |        0
551.34/551.63	c  551s |      22 |  1847557 |  1685722 |     1545   2419 |        0 |        0
553.34/553.64	c  553s |      22 |  1853691 |  1691222 |     1545   2426 |        0 |        0
555.35/555.66	c  555s |      22 |  1859651 |  1696622 |     1545   2432 |        0 |        0
557.34/557.68	c  557s |      22 |  1865556 |  1702122 |     1545   2438 |        0 |        0
559.34/559.68	c  559s |      22 |  1871201 |  1707422 |     1545   2444 |        0 |        0
561.44/561.71	c  561s |      22 |  1877282 |  1712922 |     1545   2450 |        0 |        0
563.43/563.73	c  563s |      22 |  1883442 |  1718622 |     1545   2457 |        0 |        0
565.43/565.76	c  565s |      22 |  1890088 |  1724522 |     1545   2464 |        0 |        0
567.44/567.79	c  567s |      22 |  1896018 |  1730022 |     1545   2470 |        0 |        0
569.54/569.81	c  569s |      22 |  1902069 |  1735522 |     1545   2476 |        0 |        0
571.53/571.82	c  571s |      22 |  1907608 |  1740622 |     1545   2482 |        0 |        0
573.52/573.84	c  573s |      22 |  1913517 |  1746022 |     1545   2488 |        0 |        0
575.52/575.87	c  575s |      22 |  1919394 |  1751422 |     1545   2494 |        0 |        0
577.52/577.89	c  577s |      22 |  1925473 |  1757022 |     1545   2501 |        0 |        0
579.62/579.91	c  579s |      22 |  1931493 |  1762522 |     1545   2507 |        0 |        0
581.63/581.93	c  581s |      22 |  1936857 |  1767522 |     1545   2513 |        0 |        0
583.62/583.95	c  583s |      22 |  1941972 |  1772222 |     1545   2518 |        0 |        0
585.62/585.95	c  585s |      22 |  1947309 |  1777122 |     1545   2523 |        0 |        0
587.62/587.96	c  587s |      22 |  1953164 |  1782322 |     1545   2529 |        0 |        0
589.72/590.01	c  589s |      22 |  1959296 |  1787822 |     1545   2536 |        0 |        0
591.71/592.03	c  592s |      22 |  1965086 |  1793122 |     1545   2542 |        0 |        0
593.72/594.04	c  594s |      22 |  1970940 |  1798522 |     1545   2548 |        0 |        0
595.71/596.06	c  596s |      22 |  1977115 |  1804122 |     1545   2554 |        0 |        0
597.71/598.09	c  598s |      22 |  1983147 |  1809622 |     1545   2561 |        0 |        0
599.81/600.11	c  600s |      22 |  1989544 |  1815322 |     1545   2567 |        0 |        0
601.81/602.12	c  602s |      22 |  1995147 |  1820522 |     1545   2573 |        0 |        0
603.81/604.12	c  604s |      22 |  2000520 |  1825522 |     1545   2579 |        0 |        0
605.82/606.15	c  606s |      22 |  2006453 |  1830822 |     1545   2585 |        0 |        0
607.81/608.17	c  608s |      22 |  2012451 |  1836322 |     1545   2591 |        0 |        0
609.81/610.18	c  610s |      22 |  2018146 |  1841522 |     1545   2597 |        0 |        0
611.91/612.22	c  612s |      22 |  2023710 |  1846622 |     1545   2603 |        0 |        0
613.91/614.24	c  614s |      22 |  2029265 |  1851722 |     1545   2609 |        0 |        0
615.91/616.26	c  616s |      22 |  2035276 |  1857122 |     1545   2615 |        0 |        0
617.91/618.26	c  618s |      22 |  2040837 |  1862022 |     1545   2620 |        0 |        0
619.91/620.26	c  620s |      22 |  2046530 |  1867222 |     1545   2626 |        0 |        0
622.00/622.30	c  622s |      22 |  2052219 |  1872522 |     1545   2632 |        0 |        0
624.00/624.33	c  624s |      22 |  2057437 |  1877422 |     1545   2638 |        0 |        0
626.00/626.34	c  626s |      22 |  2062509 |  1882122 |     1545   2643 |        0 |        0
628.00/628.35	c  628s |      22 |  2068029 |  1887222 |     1545   2649 |        0 |        0
630.01/630.38	c  630s |      22 |  2073301 |  1892122 |     1545   2655 |        0 |        0
632.09/632.41	c  632s |      22 |  2078266 |  1896722 |     1545   2660 |        0 |        0
634.09/634.44	c  634s |      22 |  2083859 |  1901722 |     1545   2666 |        0 |        0
636.09/636.45	c  636s |      22 |  2089234 |  1906522 |     1545   2671 |        0 |        0
638.09/638.47	c  638s |      22 |  2095097 |  1911822 |     1545   2677 |        0 |        0
640.09/640.48	c  640s |      22 |  2100292 |  1916522 |     1545   2683 |        0 |        0
642.09/642.48	c  642s |      22 |  2106047 |  1921822 |     1545   2689 |        0 |        0
644.18/644.50	c  644s |      22 |  2111827 |  1927122 |     1545   2695 |        0 |        0
646.18/646.52	c  646s |      22 |  2117378 |  1932222 |     1545   2701 |        0 |        0
648.18/648.54	c  648s |      22 |  2123139 |  1937422 |     1545   2707 |        0 |        0
650.18/650.57	c  650s |      22 |  2129158 |  1942822 |     1545   2713 |        0 |        0
652.18/652.57	c  652s |      22 |  2135556 |  1948522 |     1545   2719 |        0 |        0
654.18/654.60	c  654s |      22 |  2141283 |  1953622 |     1545   2725 |        0 |        0
656.28/656.63	c  656s |      22 |  2147642 |  1959122 |     1545   2731 |        0 |        0
658.28/658.65	c  658s |      22 |  2153276 |  1964122 |     1545   2737 |        0 |        0
660.28/660.66	c  660s |      22 |  2159187 |  1969522 |     1545   2743 |        0 |        0
662.37/662.70	c  662s |      22 |  2164283 |  1974322 |     1545   2749 |        0 |        0
664.37/664.72	c  664s |      22 |  2169781 |  1979322 |     1545   2754 |        0 |        0
666.38/666.74	c  666s |      22 |  2175016 |  1984222 |     1545   2760 |        0 |        0
668.37/668.77	c  668s |      22 |  2180369 |  1989222 |     1545   2765 |        0 |        0
670.47/670.80	c  670s |      22 |  2185805 |  1994222 |     1545   2771 |        0 |        0
672.48/672.81	c  672s |      22 |  2191968 |  1999622 |     1545   2777 |        0 |        0
674.48/674.84	c  674s |      22 |  2198570 |  2005422 |     1545   2784 |        0 |        0
676.48/676.86	c  676s |      22 |  2204138 |  2010522 |     1545   2790 |        0 |        0
678.48/678.88	c  678s |      22 |  2209317 |  2015322 |     1545   2796 |        0 |        0
680.47/680.90	c  680s |      22 |  2215057 |  2020522 |     1545   2802 |        0 |        0
682.57/682.92	c  682s |      22 |  2220646 |  2025522 |     1545   2807 |        0 |        0
684.57/684.92	c  684s |      22 |  2226213 |  2030622 |     1545   2813 |        0 |        0
686.57/686.93	c  686s |      22 |  2231867 |  2035822 |     1545   2819 |        0 |        0
688.57/688.94	c  688s |      22 |  2237293 |  2040822 |     1545   2825 |        0 |        0
690.58/690.98	c  690s |      22 |  2242484 |  2045622 |     1545   2831 |        0 |        0
692.57/693.00	c  692s |      22 |  2247699 |  2050322 |     1545   2836 |        0 |        0
694.67/695.04	c  695s |      22 |  2252885 |  2055122 |     1545   2842 |        0 |        0
696.67/697.06	c  697s |      22 |  2257758 |  2059622 |     1545   2847 |        0 |        0
698.67/699.08	c  699s |      22 |  2262840 |  2064322 |     1545   2852 |        0 |        0
700.67/701.09	c  701s |      22 |  2267909 |  2068922 |     1545   2857 |        0 |        0
702.77/703.11	c  703s |      22 |  2272779 |  2073422 |     1545   2863 |        0 |        0
704.77/705.12	c  705s |      22 |  2278005 |  2078222 |     1545   2868 |        0 |        0
706.77/707.16	c  707s |      22 |  2283535 |  2083222 |     1545   2874 |        0 |        0
708.77/709.17	c  709s |      22 |  2288609 |  2087822 |     1545   2879 |        0 |        0
710.87/711.21	c  711s |      22 |  2293622 |  2092322 |     1545   2884 |        0 |        0
712.87/713.25	c  713s |      22 |  2299454 |  2097522 |     1545   2890 |        0 |        0
714.87/715.28	c  715s |      22 |  2305086 |  2102622 |     1545   2896 |        0 |        0
716.97/717.32	c  717s |      22 |  2310077 |  2107122 |     1545   2902 |        0 |        0
718.96/719.34	c  719s |      22 |  2315596 |  2112022 |     1545   2907 |        0 |        0
720.96/721.35	c  721s |      22 |  2320467 |  2116422 |     1545   2912 |        0 |        0
722.96/723.35	c  723s |      22 |  2326070 |  2121222 |     1545   2918 |        0 |        0
724.96/725.37	c  725s |      22 |  2332453 |  2126522 |     1545   2924 |        0 |        0
726.96/727.39	c  727s |      22 |  2338004 |  2131422 |     1545   2930 |        0 |        0
728.97/729.39	c  729s |      22 |  2343862 |  2136622 |     1545   2936 |        0 |        0
731.06/731.42	c  731s |      22 |  2349842 |  2141822 |     1545   2942 |        0 |        0
733.06/733.45	c  733s |      22 |  2356149 |  2147322 |     1545   2948 |        0 |        0
735.06/735.46	c  735s |      22 |  2362494 |  2152922 |     1545   2954 |        0 |        0
737.06/737.49	c  737s |      22 |  2368819 |  2158322 |     1545   2961 |        0 |        0
739.16/739.51	c  739s |      22 |  2375458 |  2164022 |     1545   2967 |        0 |        0
741.17/741.52	c  741s |      22 |  2381580 |  2169322 |     1545   2973 |        0 |        0
743.16/743.55	c  743s |      22 |  2387858 |  2174822 |     1545   2980 |        0 |        0
745.16/745.55	c  745s |      22 |  2393379 |  2179722 |     1545   2986 |        0 |        0
747.16/747.58	c  747s |      22 |  2398695 |  2184522 |     1545   2991 |        0 |        0
749.16/749.59	c  749s |      22 |  2403921 |  2189222 |     1545   2997 |        0 |        0
751.26/751.62	c  751s |      22 |  2409641 |  2194322 |     1545   3002 |        0 |        0
753.26/753.63	c  753s |      22 |  2415130 |  2199122 |     1545   3008 |        0 |        0
755.26/755.65	c  755s |      22 |  2420200 |  2203622 |     1545   3013 |        0 |        0
757.25/757.65	c  757s |      22 |  2424979 |  2207922 |     1545   3018 |        0 |        0
759.25/759.66	c  759s |      22 |  2430010 |  2212422 |     1545   3023 |        0 |        0
761.25/761.66	c  761s |      22 |  2435814 |  2217522 |     1545   3029 |        0 |        0
763.25/763.68	c  763s |      22 |  2441955 |  2222822 |     1545   3035 |        0 |        0
765.36/765.73	c  765s |      22 |  2447852 |  2228022 |     1545   3042 |        0 |        0
767.35/767.76	c  767s |      22 |  2453346 |  2232922 |     1545   3047 |        0 |        0
769.35/769.78	c  769s |      22 |  2458672 |  2237722 |     1700   3052 |        0 |        0
771.46/771.80	c  771s |      22 |  2464079 |  2242622 |     1700   3058 |        0 |        0
773.46/773.81	c  773s |      22 |  2469387 |  2247322 |     1700   3063 |        0 |        0
775.06/775.45	c  775s |      23 |  2473552 |  2251038 |     1700   3067 |        0 |        0
777.06/777.46	c  777s |      23 |  2480260 |  2256838 |     1700   3073 |        0 |        0
779.06/779.49	c  779s |      23 |  2486164 |  2262338 |     1700   3079 |        0 |        0
781.16/781.51	c  781s |      23 |  2491977 |  2267738 |     1700   3084 |        0 |        0
783.16/783.51	c  783s |      23 |  2497987 |  2273238 |     1700   3090 |        0 |        0
785.16/785.54	c  785s |      23 |  2503718 |  2278538 |     1700   3096 |        0 |        0
787.16/787.57	c  787s |      23 |  2509554 |  2283938 |     1700   3101 |        0 |        0
789.16/789.59	c  789s |      23 |  2516030 |  2289838 |     1700   3108 |        0 |        0
791.26/791.61	c  791s |      23 |  2521803 |  2295038 |     1700   3113 |        0 |        0
793.26/793.63	c  793s |      23 |  2527121 |  2299938 |     1700   3118 |        0 |        0
795.26/795.63	c  795s |      23 |  2532557 |  2304938 |     1700   3124 |        0 |        0
797.26/797.67	c  797s |      23 |  2538258 |  2310038 |     1700   3129 |        0 |        0
799.25/799.69	c  799s |      23 |  2543500 |  2314938 |     1700   3134 |        0 |        0
801.35/801.74	c  801s |      23 |  2548666 |  2319738 |     1700   3139 |        0 |        0
803.35/803.78	c  803s |      23 |  2553476 |  2324238 |     1700   3144 |        0 |        0
805.35/805.79	c  805s |      23 |  2558460 |  2328838 |     1700   3149 |        0 |        0
807.45/807.80	c  807s |      23 |  2563321 |  2333338 |     1700   3154 |        0 |        0
809.45/809.81	c  809s |      23 |  2567847 |  2337638 |     1700   3158 |        0 |        0
811.46/811.82	c  811s |      23 |  2572633 |  2342038 |     1700   3163 |        0 |        0
813.45/813.82	c  813s |      23 |  2578242 |  2347138 |     1700   3168 |        0 |        0
815.45/815.83	c  815s |      23 |  2583887 |  2352038 |     1700   3174 |        0 |        0
817.45/817.84	c  817s |      23 |  2589018 |  2356638 |     1700   3179 |        0 |        0
819.45/819.86	c  819s |      23 |  2593873 |  2361038 |     1700   3183 |        0 |        0
821.46/821.89	c  821s |      23 |  2599303 |  2365938 |     1700   3188 |        0 |        0
823.56/823.93	c  823s |      23 |  2604319 |  2370438 |     1700   3193 |        0 |        0
825.55/825.94	c  825s |      23 |  2609836 |  2375338 |     1700   3198 |        0 |        0
827.55/827.97	c  827s |      23 |  2615056 |  2380138 |     1700   3203 |        0 |        0
829.65/830.00	c  829s |      23 |  2620656 |  2385238 |     1700   3209 |        0 |        0
831.65/832.01	c  831s |      23 |  2626411 |  2390438 |     1700   3214 |        0 |        0
833.65/834.02	c  834s |      23 |  2631918 |  2395438 |     1700   3220 |        0 |        0
835.66/836.02	c  836s |      23 |  2637000 |  2400038 |     1700   3225 |        0 |        0
837.65/838.05	c  838s |      23 |  2642238 |  2404838 |     1700   3230 |        0 |        0
839.65/840.07	c  840s |      23 |  2647333 |  2409538 |     1700   3235 |        0 |        0
841.65/842.08	c  842s |      23 |  2653031 |  2414738 |     1700   3240 |        0 |        0
843.65/844.09	c  844s |      23 |  2658184 |  2419538 |     1700   3245 |        0 |        0
845.75/846.14	c  846s |      23 |  2662885 |  2423938 |     1700   3250 |        0 |        0
847.75/848.14	c  848s |      23 |  2667876 |  2428538 |     1700   3255 |        0 |        0
849.75/850.19	c  850s |      23 |  2672623 |  2432938 |     1700   3259 |        0 |        0
851.75/852.20	c  852s |      23 |  2677811 |  2437738 |     1700   3264 |        0 |        0
853.84/854.23	c  854s |      23 |  2682274 |  2441938 |     1700   3269 |        0 |        0
855.84/856.23	c  856s |      23 |  2686445 |  2445838 |     1700   3273 |        0 |        0
857.84/858.25	c  858s |      23 |  2691651 |  2450538 |     1700   3278 |        0 |        0
859.85/860.28	c  860s |      23 |  2696646 |  2455138 |     1700   3283 |        0 |        0
861.94/862.32	c  862s |      23 |  2701478 |  2459638 |     1700   3288 |        0 |        0
863.94/864.34	c  864s |      23 |  2706924 |  2464538 |     1700   3293 |        0 |        0
865.94/866.38	c  866s |      23 |  2712821 |  2469938 |     1700   3299 |        0 |        0
868.04/868.41	c  868s |      23 |  2718556 |  2475238 |     1700   3304 |        0 |        0
870.04/870.44	c  870s |      23 |  2723999 |  2480338 |     1700   3310 |        0 |        0
872.05/872.46	c  872s |      23 |  2729697 |  2485538 |     1700   3315 |        0 |        0
874.04/874.50	c  874s |      23 |  2735406 |  2490738 |     1700   3321 |        0 |        0
876.14/876.50	c  876s |      23 |  2741270 |  2496038 |     1700   3326 |        0 |        0
878.14/878.52	c  878s |      23 |  2746897 |  2501138 |     1700   3332 |        0 |        0
880.14/880.54	c  880s |      23 |  2752126 |  2505938 |     1700   3337 |        0 |        0
882.14/882.57	c  882s |      23 |  2757748 |  2511038 |     1700   3342 |        0 |        0
884.15/884.59	c  884s |      23 |  2763270 |  2516038 |     1700   3347 |        0 |        0
886.25/886.63	c  886s |      23 |  2768584 |  2520838 |     1700   3352 |        0 |        0
888.24/888.64	c  888s |      23 |  2773323 |  2525238 |     1700   3357 |        0 |        0
890.24/890.67	c  890s |      23 |  2778493 |  2529938 |     1700   3362 |        0 |        0
892.24/892.69	c  892s |      23 |  2783666 |  2534538 |     1700   3367 |        0 |        0
894.34/894.71	c  894s |      23 |  2788953 |  2539238 |     1700   3372 |        0 |        0
896.34/896.75	c  896s |      23 |  2794023 |  2543838 |     1700   3377 |        0 |        0
898.35/898.78	c  898s |      23 |  2799135 |  2548538 |     1700   3382 |        0 |        0
900.44/900.80	c  900s |      23 |  2803752 |  2552838 |     1700   3386 |        0 |        0
902.44/902.82	c  902s |      23 |  2809147 |  2557738 |     1700   3392 |        0 |        0
904.44/904.84	c  904s |      23 |  2814031 |  2562238 |     1700   3396 |        0 |        0
906.44/906.84	c  906s |      23 |  2818521 |  2566338 |     1700   3401 |        0 |        0
908.44/908.87	c  908s |      23 |  2824071 |  2571338 |     1700   3406 |        0 |        0
910.45/910.89	c  910s |      23 |  2829478 |  2576238 |     1700   3411 |        0 |        0
912.54/912.91	c  912s |      23 |  2834583 |  2580838 |     1700   3416 |        0 |        0
914.54/914.94	c  914s |      23 |  2839400 |  2585138 |     1700   3421 |        0 |        0
916.54/916.95	c  916s |      23 |  2843970 |  2589438 |     1700   3425 |        0 |        0
918.54/918.96	c  918s |      23 |  2848173 |  2593338 |     1700   3429 |        0 |        0
920.54/920.97	c  920s |      23 |  2852926 |  2597638 |     1700   3434 |        0 |        0
922.65/923.01	c  922s |      23 |  2857666 |  2601938 |     1700   3438 |        0 |        0
924.64/925.02	c  924s |      23 |  2862137 |  2606038 |     1700   3443 |        0 |        0
926.64/927.07	c  927s |      23 |  2866398 |  2609938 |     1700   3447 |        0 |        0
928.73/929.11	c  929s |      23 |  2871365 |  2614438 |     1700   3452 |        0 |        0
930.73/931.13	c  931s |      23 |  2875862 |  2618538 |     1700   3456 |        0 |        0
932.73/933.16	c  933s |      23 |  2880736 |  2622938 |     1700   3461 |        0 |        0
934.83/935.20	c  935s |      23 |  2886265 |  2627838 |     1700   3466 |        0 |        0
936.84/937.21	c  937s |      23 |  2891018 |  2632238 |     1700   3471 |        0 |        0
938.83/939.23	c  939s |      23 |  2895343 |  2636238 |     1700   3475 |        0 |        0
940.83/941.24	c  941s |      23 |  2899895 |  2640438 |     1700   3479 |        0 |        0
942.83/943.25	c  943s |      23 |  2904863 |  2644938 |     1700   3484 |        0 |        0
944.83/945.26	c  945s |      23 |  2909292 |  2649038 |     1700   3488 |        0 |        0
946.84/947.29	c  947s |      23 |  2914146 |  2653538 |     1700   3493 |        0 |        0
948.94/949.34	c  949s |      23 |  2918820 |  2657838 |     1700   3498 |        0 |        0
950.93/951.37	c  951s |      23 |  2923870 |  2662438 |     1700   3502 |        0 |        0
952.93/953.38	c  953s |      23 |  2928399 |  2666638 |     1700   3507 |        0 |        0
955.03/955.41	c  955s |      23 |  2932587 |  2670438 |     1700   3511 |        0 |        0
957.03/957.41	c  957s |      23 |  2936671 |  2674138 |     1700   3515 |        0 |        0
959.03/959.45	c  959s |      23 |  2941342 |  2678438 |     1700   3519 |        0 |        0
961.03/961.49	c  961s |      23 |  2945496 |  2682238 |     1700   3523 |        0 |        0
963.13/963.51	c  963s |      23 |  2950120 |  2686438 |     1700   3528 |        0 |        0
965.13/965.52	c  965s |      23 |  2954731 |  2690738 |     1700   3532 |        0 |        0
967.13/967.58	c  967s |      23 |  2959377 |  2695038 |     1700   3537 |        0 |        0
969.23/969.61	c  969s |      23 |  2964025 |  2699338 |     1700   3542 |        0 |        0
971.23/971.62	c  971s |      23 |  2968397 |  2703438 |     1700   3546 |        0 |        0
973.23/973.67	c  973s |      23 |  2972918 |  2707638 |     1700   3550 |        0 |        0
975.33/975.71	c  975s |      23 |  2977184 |  2711538 |     1700   3554 |        0 |        0
977.32/977.73	c  977s |      23 |  2982218 |  2716038 |     1700   3559 |        0 |        0
979.32/979.78	c  979s |      23 |  2988229 |  2721538 |     1700   3565 |        0 |        0
981.32/981.78	c  981s |      23 |  2993944 |  2726838 |     1700   3571 |        0 |        0
983.42/983.80	c  983s |      23 |  3000145 |  2732438 |     1700   3576 |        0 |        0
985.42/985.85	c  985s |      23 |  3005397 |  2737338 |     1700   3582 |        0 |        0
987.43/987.90	c  987s |      23 |  3010372 |  2741938 |     1700   3586 |        0 |        0
989.52/989.91	c  989s |      23 |  3015825 |  2746838 |     1700   3592 |        0 |        0
991.52/991.92	c  991s |      23 |  3021653 |  2752038 |     1700   3597 |        0 |        0
993.52/993.96	c  993s |      23 |  3027117 |  2757038 |     1700   3602 |        0 |        0
995.52/995.98	c  995s |      23 |  3031952 |  2761538 |     1700   3607 |        0 |        0
997.52/997.99	c  997s |      23 |  3036920 |  2766038 |     1700   3612 |        0 |        0
999.63/1000.02	c 1000s |      23 |  3041767 |  2770538 |     1700   3617 |        0 |        0
1001.63/1002.05	c 1002s |      23 |  3046724 |  2775038 |     1700   3622 |        0 |        0
1003.63/1004.06	c 1004s |      23 |  3050967 |  2778938 |     1700   3626 |        0 |        0
1005.73/1006.10	c 1006s |      23 |  3056088 |  2783538 |     1700   3631 |        0 |        0
1007.73/1008.15	c 1008s |      23 |  3060651 |  2787738 |     1700   3635 |        0 |        0
1009.73/1010.19	c 1010s |      23 |  3065306 |  2792038 |     1700   3640 |        0 |        0
1011.83/1012.23	c 1012s |      23 |  3070058 |  2796438 |     1700   3644 |        0 |        0
1013.83/1014.26	c 1014s |      23 |  3075353 |  2801238 |     1700   3649 |        0 |        0
1015.82/1016.28	c 1016s |      23 |  3080224 |  2805738 |     1700   3654 |        0 |        0
1017.92/1018.32	c 1018s |      23 |  3085187 |  2810238 |     1700   3659 |        0 |        0
1019.92/1020.34	c 1020s |      23 |  3090406 |  2815038 |     1700   3664 |        0 |        0
1021.92/1022.34	c 1022s |      23 |  3095141 |  2819438 |     1700   3669 |        0 |        0
1023.92/1024.38	c 1024s |      23 |  3100505 |  2824238 |     1700   3674 |        0 |        0
1026.03/1026.42	c 1026s |      23 |  3105336 |  2828638 |     1700   3678 |        0 |        0
1028.02/1028.42	c 1028s |      23 |  3110524 |  2833338 |     1700   3683 |        0 |        0
1030.02/1030.43	c 1030s |      23 |  3115339 |  2837738 |     1700   3688 |        0 |        0
1032.02/1032.46	c 1032s |      23 |  3120276 |  2842338 |     1700   3693 |        0 |        0
1034.02/1034.50	c 1034s |      23 |  3125374 |  2847038 |     1700   3698 |        0 |        0
1036.12/1036.51	c 1036s |      23 |  3130434 |  2851638 |     1700   3703 |        0 |        0
1038.13/1038.57	c 1038s |      23 |  3135390 |  2856238 |     1700   3708 |        0 |        0
1040.12/1040.57	c 1040s |      23 |  3140044 |  2860438 |     1700   3712 |        0 |        0
1042.22/1042.62	c 1042s |      23 |  3144344 |  2864438 |     1700   3716 |        0 |        0
1044.22/1044.65	c 1044s |      23 |  3148305 |  2868138 |     1700   3720 |        0 |        0
1046.22/1046.66	c 1046s |      23 |  3152405 |  2871938 |     1700   3724 |        0 |        0
1048.22/1048.68	c 1048s |      23 |  3156635 |  2875838 |     1700   3728 |        0 |        0
1050.32/1050.71	c 1050s |      23 |  3161662 |  2880438 |     1700   3733 |        0 |        0
1052.32/1052.74	c 1052s |      23 |  3166521 |  2884938 |     1700   3738 |        0 |        0
1054.32/1054.76	c 1054s |      23 |  3170997 |  2889138 |     1700   3742 |        0 |        0
1056.42/1056.81	c 1056s |      23 |  3175288 |  2893138 |     1700   3747 |        0 |        0
1058.42/1058.82	c 1058s |      23 |  3178989 |  2896638 |     1700   3750 |        0 |        0
1060.41/1060.84	c 1060s |      23 |  3182737 |  2900138 |     1700   3754 |        0 |        0
1062.41/1062.85	c 1062s |      23 |  3187499 |  2904438 |     1700   3759 |        0 |        0
1064.42/1064.89	c 1064s |      23 |  3192591 |  2909138 |     1700   3763 |        0 |        0
1066.51/1066.90	c 1066s |      23 |  3198002 |  2914138 |     1700   3769 |        0 |        0
1068.51/1068.90	c 1068s |      23 |  3203023 |  2918738 |     1700   3774 |        0 |        0
1070.51/1070.90	c 1070s |      23 |  3208338 |  2923538 |     1700   3779 |        0 |        0
1072.51/1072.94	c 1072s |      23 |  3213532 |  2928238 |     1700   3784 |        0 |        0
1074.51/1074.94	c 1074s |      23 |  3218359 |  2932638 |     1700   3788 |        0 |        0
1076.52/1076.98	c 1076s |      23 |  3222529 |  2936438 |     1700   3793 |        0 |        0
1078.61/1079.01	c 1078s |      23 |  3228279 |  2941638 |     1700   3798 |        0 |        0
1080.61/1081.04	c 1081s |      23 |  3234058 |  2946738 |     1700   3803 |        0 |        0
1082.61/1083.06	c 1083s |      23 |  3239822 |  2951738 |     1700   3809 |        0 |        0
1084.61/1085.07	c 1085s |      23 |  3245764 |  2957138 |     1700   3814 |        0 |        0
1086.71/1087.12	c 1087s |      23 |  3251161 |  2962038 |     1700   3820 |        0 |        0
1088.72/1089.14	c 1089s |      23 |  3256125 |  2966538 |     1700   3824 |        0 |        0
1090.71/1091.16	c 1091s |      23 |  3260967 |  2970838 |     1700   3829 |        0 |        0
1092.71/1093.16	c 1093s |      23 |  3266449 |  2975638 |     1700   3834 |        0 |        0
1094.71/1095.17	c 1095s |      23 |  3271982 |  2980638 |     1700   3839 |        0 |        0
1096.81/1097.21	c 1097s |      23 |  3277197 |  2985338 |     1700   3844 |        0 |        0
1098.81/1099.24	c 1099s |      23 |  3282181 |  2989938 |     1700   3849 |        0 |        0
1100.81/1101.24	c 1101s |      23 |  3286883 |  2994338 |     1700   3854 |        0 |        0
1102.81/1103.26	c 1103s |      23 |  3292146 |  2999138 |     1700   3859 |        0 |        0
1104.81/1105.28	c 1105s |      23 |  3297318 |  3003938 |     1700   3864 |        0 |        0
1106.81/1107.28	c 1107s |      23 |  3302219 |  3008538 |     1700   3869 |        0 |        0
1108.81/1109.28	c 1109s |      23 |  3306963 |  3012938 |     1700   3873 |        0 |        0
1110.91/1111.32	c 1111s |      23 |  3312334 |  3017838 |     1700   3878 |        0 |        0
1112.91/1113.36	c 1113s |      23 |  3317211 |  3022338 |     1700   3883 |        0 |        0
1114.90/1115.39	c 1115s |      23 |  3321943 |  3026638 |     1700   3888 |        0 |        0
1117.00/1117.41	c 1117s |      23 |  3326559 |  3030838 |     1700   3892 |        0 |        0
1119.00/1119.43	c 1119s |      23 |  3331124 |  3034938 |     1700   3897 |        0 |        0
1121.00/1121.47	c 1121s |      23 |  3335783 |  3039238 |     1700   3901 |        0 |        0
1123.10/1123.51	c 1123s |      23 |  3340120 |  3043238 |     1700   3905 |        0 |        0
1125.10/1125.54	c 1125s |      23 |  3344857 |  3047538 |     1700   3910 |        0 |        0
1127.11/1127.58	c 1127s |      23 |  3349494 |  3051838 |     1700   3914 |        0 |        0
1129.10/1129.58	c 1129s |      23 |  3354686 |  3056538 |     1700   3919 |        0 |        0
1131.20/1131.60	c 1131s |      23 |  3359728 |  3061138 |     1700   3924 |        0 |        0
1133.20/1133.62	c 1133s |      23 |  3364632 |  3065638 |     1700   3929 |        0 |        0
1135.20/1135.65	c 1135s |      23 |  3369040 |  3069738 |     1700   3933 |        0 |        0
1137.20/1137.68	c 1137s |      23 |  3374687 |  3074638 |     1700   3938 |        0 |        0
1139.20/1139.70	c 1139s |      23 |  3380247 |  3079638 |     1700   3944 |        0 |        0
1141.30/1141.72	c 1141s |      23 |  3385902 |  3084738 |     1700   3949 |        0 |        0
1143.30/1143.73	c 1143s |      23 |  3391025 |  3089438 |     1700   3954 |        0 |        0
1145.30/1145.74	c 1145s |      23 |  3395841 |  3093938 |     1700   3959 |        0 |        0
1147.30/1147.78	c 1147s |      23 |  3400492 |  3098238 |     1700   3963 |        0 |        0
1149.30/1149.79	c 1149s |      23 |  3404861 |  3102338 |     1700   3968 |        0 |        0
1151.30/1151.80	c 1151s |      23 |  3409458 |  3106638 |     1700   3972 |        0 |        0
1153.40/1153.85	c 1153s |      23 |  3413843 |  3110738 |     1700   3977 |        0 |        0
1155.40/1155.88	c 1155s |      23 |  3418400 |  3114938 |     1700   3981 |        0 |        0
1157.50/1157.90	c 1157s |      23 |  3424037 |  3120038 |     1700   3986 |        0 |        0
1159.50/1159.92	c 1159s |      23 |  3429212 |  3124738 |     1700   3991 |        0 |        0
1161.50/1161.95	c 1161s |      23 |  3434406 |  3129538 |     1700   3996 |        0 |        0
1163.50/1163.97	c 1163s |      23 |  3439112 |  3133938 |     1700   4001 |        0 |        0
1165.60/1166.01	c 1165s |      23 |  3443550 |  3138138 |     1700   4005 |        0 |        0
1167.59/1168.03	c 1168s |      23 |  3449289 |  3143338 |     1700   4011 |        0 |        0
1169.59/1170.07	c 1170s |      23 |  3454666 |  3148338 |     1700   4016 |        0 |        0
1171.59/1172.08	c 1172s |      23 |  3459950 |  3153238 |     1700   4021 |        0 |        0
1173.69/1174.11	c 1174s |      23 |  3465184 |  3158038 |     1700   4026 |        0 |        0
1175.69/1176.11	c 1176s |      23 |  3470025 |  3162538 |     1700   4031 |        0 |        0
1177.70/1178.13	c 1178s |      23 |  3474794 |  3167038 |     1700   4036 |        0 |        0
1179.69/1180.16	c 1180s |      23 |  3479583 |  3171538 |     1700   4041 |        0 |        0
1181.79/1182.20	c 1182s |      23 |  3484463 |  3176038 |     1700   4045 |        0 |        0
1183.79/1184.23	c 1184s |      23 |  3489470 |  3180638 |     1700   4050 |        0 |        0
1185.79/1186.25	c 1186s |      23 |  3493980 |  3184838 |     1700   4055 |        0 |        0
1187.79/1188.26	c 1188s |      23 |  3498230 |  3188838 |     1700   4059 |        0 |        0
1189.80/1190.29	c 1190s |      23 |  3502750 |  3193038 |     1700   4063 |        0 |        0
1191.89/1192.30	c 1192s |      23 |  3507823 |  3197738 |     1700   4068 |        0 |        0
1193.89/1194.36	c 1194s |      23 |  3513276 |  3202738 |     1700   4074 |        0 |        0
1195.89/1196.39	c 1196s |      23 |  3518941 |  3207638 |     1700   4079 |        0 |        0
1197.99/1198.43	c 1198s |      23 |  3524222 |  3212538 |     1700   4084 |        0 |        0
1199.99/1200.45	c 1200s |      23 |  3529384 |  3217338 |     1700   4089 |        0 |        0
1202.00/1202.47	c 1202s |      23 |  3534440 |  3221838 |     1700   4094 |        0 |        0
1204.10/1204.51	c 1204s |      23 |  3539212 |  3226138 |     1700   4098 |        0 |        0
1206.09/1206.51	c 1206s |      23 |  3543965 |  3230438 |     1700   4103 |        0 |        0
1208.09/1208.57	c 1208s |      23 |  3548689 |  3234738 |     1700   4108 |        0 |        0
1210.19/1210.60	c 1210s |      23 |  3553281 |  3238938 |     1700   4112 |        0 |        0
1212.19/1212.61	c 1212s |      23 |  3557673 |  3242938 |     1700   4116 |        0 |        0
1214.19/1214.62	c 1214s |      23 |  3562425 |  3247138 |     1700   4121 |        0 |        0
1216.19/1216.63	c 1216s |      23 |  3567457 |  3251638 |     1700   4125 |        0 |        0
1218.19/1218.67	c 1218s |      23 |  3572829 |  3256438 |     1700   4131 |        0 |        0
1220.29/1220.72	c 1220s |      23 |  3578112 |  3261238 |     1700   4136 |        0 |        0
1222.29/1222.73	c 1222s |      23 |  3582775 |  3265538 |     1700   4140 |        0 |        0
1224.29/1224.76	c 1224s |      23 |  3588284 |  3270438 |     1700   4145 |        0 |        0
1226.29/1226.77	c 1226s |      23 |  3593105 |  3274838 |     1700   4150 |        0 |        0
1228.29/1228.80	c 1228s |      23 |  3598256 |  3279538 |     1700   4155 |        0 |        0
1230.39/1230.84	c 1230s |      23 |  3603105 |  3283938 |     1700   4160 |        0 |        0
1232.38/1232.87	c 1232s |      23 |  3607920 |  3288338 |     1700   4164 |        0 |        0
1234.38/1234.90	c 1234s |      23 |  3612727 |  3292638 |     1700   4169 |        0 |        0
1236.48/1236.94	c 1236s |      23 |  3617815 |  3297338 |     1700   4174 |        0 |        0
1238.48/1238.94	c 1238s |      23 |  3622349 |  3301438 |     1700   4178 |        0 |        0
1240.49/1240.98	c 1240s |      23 |  3626809 |  3305538 |     1700   4182 |        0 |        0
1242.59/1243.02	c 1243s |      23 |  3631098 |  3309438 |     1700   4187 |        0 |        0
1244.58/1245.04	c 1245s |      23 |  3635000 |  3313038 |     1700   4190 |        0 |        0
1246.68/1247.13	c 1247s |      23 |  3639378 |  3317038 |     1700   4195 |        0 |        0
1248.69/1249.13	c 1249s |      23 |  3644561 |  3321638 |     1700   4199 |        0 |        0
1250.69/1251.15	c 1251s |      23 |  3650023 |  3326538 |     1700   4205 |        0 |        0
1252.69/1253.15	c 1253s |      23 |  3655253 |  3331338 |     1700   4210 |        0 |        0
1254.70/1255.16	c 1255s |      23 |  3661000 |  3336438 |     1700   4215 |        0 |        0
1256.69/1257.18	c 1257s |      23 |  3666662 |  3341638 |     1700   4220 |        0 |        0
1258.69/1259.19	c 1259s |      23 |  3672039 |  3346638 |     1700   4226 |        0 |        0
1260.79/1261.20	c 1261s |      23 |  3677486 |  3351638 |     1700   4231 |        0 |        0
1262.79/1263.21	c 1263s |      23 |  3682857 |  3356538 |     1871   4236 |        0 |        0
1264.79/1265.25	c 1265s |      23 |  3688677 |  3361638 |     1871   4241 |        0 |        0
1266.79/1267.26	c 1267s |      23 |  3694104 |  3366438 |     1871   4245 |        0 |        0
1268.79/1269.27	c 1269s |      23 |  3699431 |  3371238 |     1871   4250 |        0 |        0
1270.89/1271.30	c 1271s |      23 |  3705198 |  3376438 |     1871   4255 |        0 |        0
1270.89/1271.38	c 1271s |      24 |  3705446 |  3376662 |     1871   4255 |        0 |        0
1272.88/1273.39	c 1273s |      24 |  3711880 |  3382062 |     1871   4260 |        0 |        0
1274.98/1275.41	c 1275s |      24 |  3717484 |  3387262 |     1871   4266 |        0 |        0
1276.98/1277.42	c 1277s |      24 |  3723259 |  3392462 |     1871   4271 |        0 |        0
1278.99/1279.46	c 1279s |      24 |  3728721 |  3397262 |     1871   4275 |        0 |        0
1280.98/1281.50	c 1281s |      24 |  3735025 |  3402362 |     1871   4280 |        0 |        0
1283.08/1283.50	c 1283s |      24 |  3741032 |  3407462 |     1871   4285 |        0 |        0
1285.08/1285.52	c 1285s |      24 |  3747030 |  3412862 |     1871   4290 |        0 |        0
1287.08/1287.56	c 1287s |      24 |  3752867 |  3418162 |     1871   4296 |        0 |        0
1289.18/1289.61	c 1289s |      24 |  3758449 |  3423362 |     1871   4301 |        0 |        0
1291.18/1291.61	c 1291s |      24 |  3764058 |  3428562 |     1871   4306 |        0 |        0
1293.19/1293.65	c 1293s |      24 |  3769678 |  3433662 |     1871   4311 |        0 |        0
1295.18/1295.69	c 1295s |      24 |  3774981 |  3438462 |     1871   4315 |        0 |        0
1297.28/1297.70	c 1297s |      24 |  3780369 |  3443362 |     1871   4320 |        0 |        0
1299.28/1299.70	c 1299s |      24 |  3786237 |  3448762 |     1871   4325 |        0 |        0
1301.28/1301.73	c 1301s |      24 |  3791359 |  3453562 |     1871   4330 |        0 |        0
1303.28/1303.77	c 1303s |      24 |  3796304 |  3458162 |     1871   4335 |        0 |        0
1305.38/1305.81	c 1305s |      24 |  3801022 |  3462562 |     1871   4339 |        0 |        0
1307.38/1307.85	c 1307s |      24 |  3806258 |  3467362 |     1871   4343 |        0 |        0
1309.38/1309.86	c 1309s |      24 |  3811276 |  3472062 |     1871   4348 |        0 |        0
1311.38/1311.88	c 1311s |      24 |  3816012 |  3476462 |     1871   4352 |        0 |        0
1313.47/1313.90	c 1313s |      24 |  3820969 |  3481062 |     1871   4357 |        0 |        0
1315.47/1315.93	c 1315s |      24 |  3825879 |  3485662 |     1871   4361 |        0 |        0
1317.48/1317.95	c 1317s |      24 |  3830344 |  3489862 |     1871   4365 |        0 |        0
1319.47/1319.95	c 1319s |      24 |  3835028 |  3494162 |     1871   4370 |        0 |        0
1321.47/1321.97	c 1321s |      24 |  3840059 |  3498662 |     1871   4374 |        0 |        0
1323.47/1323.99	c 1323s |      24 |  3845524 |  3503562 |     1871   4379 |        0 |        0
1325.47/1325.99	c 1325s |      24 |  3851242 |  3508562 |     1871   4384 |        0 |        0
1327.57/1328.02	c 1328s |      24 |  3856522 |  3513362 |     1871   4388 |        0 |        0
1329.58/1330.02	c 1330s |      24 |  3861782 |  3518162 |     1871   4393 |        0 |        0
1331.57/1332.03	c 1332s |      24 |  3866931 |  3522962 |     1871   4398 |        0 |        0
1333.57/1334.07	c 1334s |      24 |  3872030 |  3527662 |     1871   4403 |        0 |        0
1335.57/1336.09	c 1336s |      24 |  3876957 |  3532262 |     1871   4407 |        0 |        0
1337.57/1338.09	c 1338s |      24 |  3881306 |  3536362 |     1871   4411 |        0 |        0
1339.67/1340.11	c 1340s |      24 |  3885921 |  3540662 |     1871   4415 |        0 |        0
1341.68/1342.11	c 1342s |      24 |  3890174 |  3544662 |     1871   4419 |        0 |        0
1343.67/1344.12	c 1344s |      24 |  3894712 |  3548862 |     1871   4423 |        0 |        0
1345.67/1346.14	c 1346s |      24 |  3899940 |  3553662 |     1871   4428 |        0 |        0
1347.67/1348.17	c 1348s |      24 |  3904945 |  3558362 |     1871   4433 |        0 |        0
1349.77/1350.22	c 1350s |      24 |  3909699 |  3562762 |     1871   4437 |        0 |        0
1351.77/1352.25	c 1352s |      24 |  3914276 |  3567062 |     1871   4441 |        0 |        0
1353.77/1354.27	c 1354s |      24 |  3918494 |  3570962 |     1871   4445 |        0 |        0
1355.76/1356.27	c 1356s |      24 |  3922878 |  3575062 |     1871   4449 |        0 |        0
1357.86/1358.31	c 1358s |      24 |  3926882 |  3578862 |     1871   4453 |        0 |        0
1359.86/1360.33	c 1360s |      24 |  3931623 |  3583262 |     1871   4457 |        0 |        0
1361.86/1362.35	c 1362s |      24 |  3936407 |  3587762 |     1871   4462 |        0 |        0
1363.86/1364.38	c 1364s |      24 |  3941370 |  3592462 |     1871   4466 |        0 |        0
1365.96/1366.40	c 1366s |      24 |  3945958 |  3596762 |     1871   4470 |        0 |        0
1367.97/1368.43	c 1368s |      24 |  3950972 |  3601362 |     1871   4475 |        0 |        0
1369.96/1370.43	c 1370s |      24 |  3956008 |  3606062 |     1871   4480 |        0 |        0
1371.96/1372.43	c 1372s |      24 |  3960949 |  3610662 |     1871   4484 |        0 |        0
1373.96/1374.44	c 1374s |      24 |  3965945 |  3615262 |     1871   4489 |        0 |        0
1375.96/1376.46	c 1376s |      24 |  3970869 |  3619862 |     1871   4493 |        0 |        0
1377.97/1378.46	c 1378s |      24 |  3975312 |  3624062 |     1871   4497 |        0 |        0
1379.96/1380.47	c 1380s |      24 |  3980421 |  3628662 |     1871   4502 |        0 |        0
1381.96/1382.49	c 1382s |      24 |  3985254 |  3633162 |     1871   4506 |        0 |        0
1384.06/1384.50	c 1384s |      24 |  3989832 |  3637462 |     1871   4510 |        0 |        0
1386.06/1386.55	c 1386s |      24 |  3994260 |  3641562 |     1871   4514 |        0 |        0
1388.06/1388.55	c 1388s |      24 |  3998552 |  3645562 |     1871   4518 |        0 |        0
1390.07/1390.56	c 1390s |      24 |  4002790 |  3649562 |     1871   4522 |        0 |        0
1392.06/1392.58	c 1392s |      24 |  4007103 |  3653562 |     1871   4526 |        0 |        0
1394.16/1394.61	c 1394s |      24 |  4011322 |  3657462 |     1871   4530 |        0 |        0
1396.16/1396.66	c 1396s |      24 |  4015333 |  3661262 |     1871   4533 |        0 |        0
1398.16/1398.67	c 1398s |      24 |  4019175 |  3664862 |     1871   4537 |        0 |        0
1400.26/1400.73	c 1400s |      24 |  4023278 |  3668662 |     1871   4541 |        0 |        0
1402.26/1402.78	c 1402s |      24 |  4027802 |  3672762 |     1871   4545 |        0 |        0
1404.36/1404.81	c 1404s |      24 |  4032150 |  3676762 |     1871   4548 |        0 |        0
1406.36/1406.85	c 1406s |      24 |  4037360 |  3681362 |     1871   4553 |        0 |        0
1408.36/1408.88	c 1408s |      24 |  4042057 |  3685762 |     1871   4557 |        0 |        0
1410.46/1410.90	c 1410s |      24 |  4046917 |  3690162 |     1871   4562 |        0 |        0
1412.46/1412.93	c 1412s |      24 |  4052156 |  3694862 |     1871   4566 |        0 |        0
1414.56/1415.00	c 1414s |      24 |  4056923 |  3699262 |     1871   4571 |        0 |        0
1416.56/1417.01	c 1416s |      24 |  4061750 |  3703662 |     1871   4575 |        0 |        0
1418.57/1419.03	c 1419s |      24 |  4067105 |  3708462 |     1871   4579 |        0 |        0
1420.56/1421.08	c 1421s |      24 |  4072751 |  3713662 |     1871   4585 |        0 |        0
1422.66/1423.11	c 1423s |      24 |  4077861 |  3718462 |     1871   4589 |        0 |        0
1424.66/1425.14	c 1425s |      24 |  4082649 |  3722962 |     1871   4594 |        0 |        0
1426.66/1427.16	c 1427s |      24 |  4087561 |  3727562 |     1871   4598 |        0 |        0
1428.66/1429.19	c 1429s |      24 |  4092433 |  3732062 |     1871   4602 |        0 |        0
1430.77/1431.20	c 1431s |      24 |  4097782 |  3737062 |     1871   4607 |        0 |        0
1432.76/1433.22	c 1433s |      24 |  4102864 |  3741762 |     1871   4612 |        0 |        0
1434.76/1435.25	c 1435s |      24 |  4108212 |  3746562 |     1871   4617 |        0 |        0
1436.76/1437.27	c 1437s |      24 |  4113343 |  3751262 |     1871   4621 |        0 |        0
1438.86/1439.30	c 1439s |      24 |  4117787 |  3755462 |     1871   4625 |        0 |        0
1440.86/1441.31	c 1441s |      24 |  4122819 |  3760062 |     1871   4630 |        0 |        0
1442.87/1443.33	c 1443s |      24 |  4127307 |  3764262 |     1871   4634 |        0 |        0
1444.86/1445.36	c 1445s |      24 |  4132448 |  3768962 |     1871   4638 |        0 |        0
1446.86/1447.38	c 1447s |      24 |  4137478 |  3773662 |     1871   4643 |        0 |        0
1448.95/1449.40	c 1449s |      24 |  4142164 |  3777962 |     1871   4647 |        0 |        0
1450.95/1451.43	c 1451s |      24 |  4146330 |  3781862 |     1871   4651 |        0 |        0
1452.95/1453.45	c 1453s |      24 |  4150793 |  3785962 |     1871   4655 |        0 |        0
1454.96/1455.45	c 1455s |      24 |  4154913 |  3789762 |     1871   4659 |        0 |        0
1456.95/1457.48	c 1457s |      24 |  4159991 |  3794462 |     1871   4663 |        0 |        0
1458.95/1459.49	c 1459s |      24 |  4164053 |  3798262 |     1871   4667 |        0 |        0
1460.95/1461.49	c 1461s |      24 |  4167480 |  3801562 |     1871   4670 |        0 |        0
1463.05/1463.52	c 1463s |      24 |  4171206 |  3805062 |     1871   4673 |        0 |        0
1465.05/1465.52	c 1465s |      24 |  4175938 |  3809362 |     1871   4678 |        0 |        0
1467.06/1467.55	c 1467s |      24 |  4180885 |  3813962 |     1871   4682 |        0 |        0
1469.05/1469.56	c 1469s |      24 |  4185627 |  3818262 |     1871   4686 |        0 |        0
1471.05/1471.59	c 1471s |      24 |  4190013 |  3822362 |     1871   4690 |        0 |        0
1473.15/1473.63	c 1473s |      24 |  4194278 |  3826362 |     1871   4694 |        0 |        0
1475.15/1475.67	c 1475s |      24 |  4198698 |  3830462 |     1871   4698 |        0 |        0
1477.25/1477.70	c 1477s |      24 |  4203499 |  3834962 |     1871   4703 |        0 |        0
1479.25/1479.72	c 1479s |      24 |  4208421 |  3839462 |     1871   4707 |        0 |        0
1481.25/1481.74	c 1481s |      24 |  4213237 |  3843962 |     1871   4711 |        0 |        0
1483.25/1483.76	c 1483s |      24 |  4217642 |  3848062 |     1871   4715 |        0 |        0
1485.25/1485.79	c 1485s |      24 |  4223612 |  3853262 |     1871   4721 |        0 |        0
1487.34/1487.80	c 1487s |      24 |  4229384 |  3858362 |     1871   4726 |        0 |        0
1489.34/1489.80	c 1489s |      24 |  4234489 |  3863062 |     1871   4730 |        0 |        0
1491.34/1491.83	c 1491s |      24 |  4239898 |  3867862 |     1871   4735 |        0 |        0
1493.35/1493.83	c 1493s |      24 |  4245176 |  3872662 |     1871   4740 |        0 |        0
1495.34/1495.87	c 1495s |      24 |  4250483 |  3877462 |     1871   4744 |        0 |        0
1497.34/1497.88	c 1497s |      24 |  4255679 |  3882162 |     1871   4749 |        0 |        0
1499.44/1499.91	c 1499s |      24 |  4261051 |  3887062 |     1871   4754 |        0 |        0
1501.44/1501.95	c 1501s |      24 |  4266387 |  3891962 |     1871   4758 |        0 |        0
1503.44/1503.98	c 1503s |      24 |  4271416 |  3896562 |     1871   4763 |        0 |        0
1505.55/1506.01	c 1505s |      24 |  4276484 |  3901262 |     1871   4767 |        0 |        0
1507.54/1508.05	c 1508s |      24 |  4281172 |  3905662 |     1871   4772 |        0 |        0
1509.54/1510.05	c 1510s |      24 |  4285573 |  3909762 |     1871   4776 |        0 |        0
1511.55/1512.07	c 1512s |      24 |  4289803 |  3913662 |     1871   4780 |        0 |        0
1513.55/1514.09	c 1514s |      24 |  4294874 |  3918262 |     1871   4784 |        0 |        0
1515.65/1516.12	c 1516s |      24 |  4299673 |  3922662 |     1871   4788 |        0 |        0
1517.65/1518.12	c 1518s |      24 |  4304158 |  3926762 |     1871   4792 |        0 |        0
1519.65/1520.15	c 1520s |      24 |  4308958 |  3931062 |     1871   4797 |        0 |        0
1521.65/1522.17	c 1522s |      24 |  4313726 |  3935462 |     1871   4801 |        0 |        0
1523.65/1524.18	c 1524s |      24 |  4318562 |  3939962 |     1871   4805 |        0 |        0
1525.75/1526.21	c 1526s |      24 |  4323516 |  3944562 |     1871   4810 |        0 |        0
1527.75/1528.21	c 1528s |      24 |  4328327 |  3949062 |     1871   4814 |        0 |        0
1529.75/1530.23	c 1530s |      24 |  4332996 |  3953362 |     1871   4818 |        0 |        0
1531.74/1532.27	c 1532s |      24 |  4337714 |  3957662 |     1871   4822 |        0 |        0
1533.84/1534.34	c 1534s |      24 |  4342143 |  3961762 |     1871   4826 |        0 |        0
1535.84/1536.37	c 1536s |      24 |  4346679 |  3965862 |     1871   4830 |        0 |        0
1537.84/1538.39	c 1538s |      24 |  4351096 |  3969862 |     1871   4834 |        0 |        0
1539.94/1540.43	c 1540s |      24 |  4355893 |  3974262 |     1871   4839 |        0 |        0
1541.94/1542.47	c 1542s |      24 |  4360777 |  3978762 |     1871   4843 |        0 |        0
1543.95/1544.49	c 1544s |      24 |  4365652 |  3983162 |     1871   4847 |        0 |        0
1546.04/1546.52	c 1546s |      24 |  4369964 |  3987162 |     1871   4851 |        0 |        0
1548.04/1548.54	c 1548s |      24 |  4375646 |  3992262 |     1871   4856 |        0 |        0
1550.04/1550.57	c 1550s |      24 |  4380949 |  3997162 |     1871   4861 |        0 |        0
1552.14/1552.60	c 1552s |      24 |  4386177 |  4001962 |     1871   4866 |        0 |        0
1554.14/1554.60	c 1554s |      24 |  4391038 |  4006462 |     1871   4870 |        0 |        0
1556.15/1556.60	c 1556s |      24 |  4395909 |  4010962 |     1871   4874 |        0 |        0
1558.14/1558.64	c 1558s |      24 |  4400643 |  4015362 |     1871   4879 |        0 |        0
1560.14/1560.66	c 1560s |      24 |  4405632 |  4019962 |     1871   4883 |        0 |        0
1562.24/1562.71	c 1562s |      24 |  4410151 |  4024162 |     1871   4887 |        0 |        0
1564.24/1564.72	c 1564s |      24 |  4414831 |  4028462 |     1871   4891 |        0 |        0
1566.24/1566.77	c 1566s |      24 |  4419320 |  4032562 |     1871   4895 |        0 |        0
1568.24/1568.79	c 1568s |      24 |  4423984 |  4036862 |     1871   4900 |        0 |        0
1570.34/1570.81	c 1570s |      24 |  4428469 |  4041062 |     1871   4904 |        0 |        0
1572.34/1572.81	c 1572s |      24 |  4432885 |  4045162 |     1871   4908 |        0 |        0
1574.33/1574.83	c 1574s |      24 |  4437824 |  4049762 |     1871   4912 |        0 |        0
1576.33/1576.88	c 1576s |      24 |  4442529 |  4054162 |     1871   4917 |        0 |        0
1578.43/1578.92	c 1578s |      24 |  4446906 |  4058262 |     1871   4921 |        0 |        0
1580.43/1580.95	c 1580s |      24 |  4452901 |  4063362 |     1871   4926 |        0 |        0
1582.44/1582.98	c 1582s |      24 |  4458400 |  4068262 |     1871   4930 |        0 |        0
1584.53/1585.01	c 1584s |      24 |  4463544 |  4073062 |     1871   4935 |        0 |        0
1586.53/1587.05	c 1587s |      24 |  4468912 |  4077962 |     1871   4940 |        0 |        0
1588.53/1589.09	c 1589s |      24 |  4473866 |  4082462 |     1871   4944 |        0 |        0
1590.63/1591.10	c 1591s |      24 |  4478147 |  4086462 |     1871   4948 |        0 |        0
1592.63/1593.15	c 1593s |      24 |  4482426 |  4090362 |     1871   4952 |        0 |        0
1594.64/1595.15	c 1595s |      24 |  4487015 |  4094562 |     1871   4956 |        0 |        0
1596.63/1597.19	c 1597s |      24 |  4491711 |  4098762 |     1871   4960 |        0 |        0
1598.73/1599.22	c 1599s |      24 |  4496850 |  4103462 |     1871   4965 |        0 |        0
1600.73/1601.22	c 1601s |      24 |  4501603 |  4107862 |     1871   4969 |        0 |        0
1602.73/1603.24	c 1603s |      24 |  4506694 |  4112462 |     1871   4974 |        0 |        0
1604.73/1605.25	c 1605s |      24 |  4511911 |  4117162 |     1871   4979 |        0 |        0
1606.73/1607.29	c 1607s |      24 |  4517385 |  4122162 |     1871   4983 |        0 |        0
1608.83/1609.32	c 1609s |      24 |  4522759 |  4126962 |     1871   4988 |        0 |        0
1610.83/1611.35	c 1611s |      24 |  4527611 |  4131462 |     1871   4993 |        0 |        0
1612.83/1613.37	c 1613s |      24 |  4532642 |  4136062 |     1871   4997 |        0 |        0
1614.93/1615.41	c 1615s |      24 |  4538369 |  4141162 |     1871   5002 |        0 |        0
1616.93/1617.41	c 1617s |      24 |  4542699 |  4145162 |     1871   5006 |        0 |        0
1618.92/1619.45	c 1619s |      24 |  4547411 |  4149462 |     1871   5010 |        0 |        0
1620.93/1621.46	c 1621s |      24 |  4552006 |  4153662 |     1871   5015 |        0 |        0
1622.93/1623.49	c 1623s |      24 |  4557534 |  4158562 |     1871   5019 |        0 |        0
1625.03/1625.50	c 1625s |      24 |  4563178 |  4163562 |     1871   5024 |        0 |        0
1627.03/1627.51	c 1627s |      24 |  4568425 |  4168362 |     1871   5029 |        0 |        0
1629.03/1629.52	c 1629s |      24 |  4573151 |  4172662 |     1871   5033 |        0 |        0
1631.03/1631.52	c 1631s |      24 |  4577794 |  4176962 |     1871   5038 |        0 |        0
1633.04/1633.53	c 1633s |      24 |  4582479 |  4181162 |     1871   5042 |        0 |        0
1635.03/1635.55	c 1635s |      24 |  4586982 |  4185162 |     1871   5046 |        0 |        0
1637.03/1637.56	c 1637s |      24 |  4592179 |  4189862 |     1871   5050 |        0 |        0
1639.03/1639.59	c 1639s |      24 |  4597589 |  4194662 |     1871   5055 |        0 |        0
1641.13/1641.60	c 1641s |      24 |  4602486 |  4199062 |     1871   5059 |        0 |        0
1643.13/1643.65	c 1643s |      24 |  4607252 |  4203362 |     1871   5064 |        0 |        0
1645.13/1645.66	c 1645s |      24 |  4613045 |  4208462 |     1871   5069 |        0 |        0
1647.13/1647.69	c 1647s |      24 |  4618777 |  4213362 |     1871   5074 |        0 |        0
1649.13/1649.69	c 1649s |      24 |  4624265 |  4218162 |     1871   5078 |        0 |        0
1651.23/1651.73	c 1651s |      24 |  4629788 |  4222962 |     1871   5083 |        0 |        0
1653.22/1653.74	c 1653s |      24 |  4635531 |  4228162 |     1871   5088 |        0 |        0
1655.22/1655.77	c 1655s |      24 |  4640841 |  4233062 |     1871   5093 |        0 |        0
1657.23/1657.80	c 1657s |      24 |  4646442 |  4238162 |     1871   5098 |        0 |        0
1659.32/1659.81	c 1659s |      24 |  4651913 |  4243162 |     1871   5103 |        0 |        0
1661.32/1661.85	c 1661s |      24 |  4657405 |  4248262 |     1871   5108 |        0 |        0
1663.42/1663.90	c 1663s |      24 |  4662317 |  4252862 |     1871   5113 |        0 |        0
1665.42/1665.90	c 1665s |      24 |  4667719 |  4257662 |     1871   5117 |        0 |        0
1667.42/1667.93	c 1667s |      24 |  4672960 |  4262562 |     1871   5122 |        0 |        0
1669.43/1669.96	c 1669s |      24 |  4678421 |  4267462 |     1871   5127 |        0 |        0
1671.42/1671.98	c 1671s |      24 |  4684007 |  4272462 |     1871   5132 |        0 |        0
1673.52/1674.00	c 1673s |      24 |  4689699 |  4277462 |     1871   5137 |        0 |        0
1675.52/1676.01	c 1675s |      24 |  4694839 |  4282062 |     1871   5141 |        0 |        0
1677.52/1678.05	c 1678s |      24 |  4699489 |  4286262 |     1871   5145 |        0 |        0
1679.52/1680.07	c 1680s |      24 |  4705368 |  4291562 |     1871   5150 |        0 |        0
1681.53/1682.09	c 1682s |      24 |  4710601 |  4296362 |     1871   5155 |        0 |        0
1683.62/1684.11	c 1684s |      24 |  4715766 |  4300962 |     1871   5159 |        0 |        0
1685.62/1686.15	c 1686s |      24 |  4720450 |  4305262 |     1871   5164 |        0 |        0
1687.62/1688.16	c 1688s |      24 |  4725584 |  4309862 |     1871   5168 |        0 |        0
1689.62/1690.19	c 1690s |      24 |  4730352 |  4314162 |     1871   5172 |        0 |        0
1691.72/1692.23	c 1692s |      24 |  4735342 |  4318662 |     1871   5177 |        0 |        0
1693.72/1694.23	c 1694s |      24 |  4740321 |  4323262 |     1871   5181 |        0 |        0
1695.72/1696.27	c 1696s |      24 |  4745535 |  4327962 |     1871   5186 |        0 |        0
1697.71/1698.29	c 1698s |      24 |  4750431 |  4332362 |     1871   5190 |        0 |        0
1699.81/1700.31	c 1700s |      24 |  4755536 |  4337062 |     1871   5194 |        0 |        0
1701.81/1702.33	c 1702s |      24 |  4760550 |  4341662 |     1871   5199 |        0 |        0
1703.81/1704.33	c 1704s |      24 |  4765190 |  4345962 |     1871   5203 |        0 |        0
1705.81/1706.33	c 1706s |      24 |  4769479 |  4349962 |     1871   5207 |        0 |        0
1707.82/1708.33	c 1708s |      24 |  4774497 |  4354462 |     1871   5211 |        0 |        0
1709.81/1710.35	c 1710s |      24 |  4778709 |  4358362 |     1871   5215 |        0 |        0
1711.81/1712.37	c 1712s |      24 |  4782787 |  4362162 |     1871   5219 |        0 |        0
1713.91/1714.42	c 1714s |      24 |  4787260 |  4366262 |     1871   5223 |        0 |        0
1715.91/1716.43	c 1716s |      24 |  4791807 |  4370462 |     1871   5227 |        0 |        0
1717.91/1718.48	c 1718s |      24 |  4796362 |  4374562 |     1871   5231 |        0 |        0
1720.02/1720.51	c 1720s |      24 |  4801351 |  4378962 |     1871   5235 |        0 |        0
1722.01/1722.52	c 1722s |      24 |  4806016 |  4382962 |     1871   5239 |        0 |        0
1724.01/1724.57	c 1724s |      24 |  4810252 |  4386762 |     1871   5242 |        0 |        0
1726.11/1726.60	c 1726s |      24 |  4814368 |  4390462 |     1871   5246 |        0 |        0
1728.11/1728.63	c 1728s |      24 |  4819541 |  4395062 |     1871   5250 |        0 |        0
1730.12/1730.65	c 1730s |      24 |  4824815 |  4399762 |     1871   5255 |        0 |        0
1732.12/1732.68	c 1732s |      24 |  4830123 |  4404562 |     1871   5259 |        0 |        0
1734.22/1734.71	c 1734s |      24 |  4835190 |  4409162 |     1871   5264 |        0 |        0
1736.22/1736.72	c 1736s |      24 |  4840126 |  4413562 |     1871   5268 |        0 |        0
1738.21/1738.75	c 1738s |      24 |  4845244 |  4418062 |     1871   5272 |        0 |        0
1740.21/1740.78	c 1740s |      24 |  4849756 |  4422162 |     1871   5276 |        0 |        0
1742.21/1742.78	c 1742s |      24 |  4854966 |  4426862 |     1871   5281 |        0 |        0
1744.31/1744.81	c 1744s |      24 |  4860147 |  4431562 |     1871   5285 |        0 |        0
1746.32/1746.85	c 1746s |      24 |  4865251 |  4436162 |     1871   5290 |        0 |        0
1748.31/1748.87	c 1748s |      24 |  4870180 |  4440662 |     1871   5294 |        0 |        0
1750.41/1750.91	c 1750s |      24 |  4875040 |  4445062 |     1871   5298 |        0 |        0
1752.41/1752.96	c 1752s |      24 |  4879624 |  4449262 |     1871   5303 |        0 |        0
1754.41/1754.97	c 1754s |      24 |  4883828 |  4453162 |     1871   5306 |        0 |        0
1756.41/1756.99	c 1756s |      24 |  4888208 |  4457162 |     1871   5310 |        0 |        0
1758.52/1759.02	c 1759s |      24 |  4891996 |  4460662 |     1871   5314 |        0 |        0
1760.51/1761.04	c 1761s |      24 |  4896622 |  4464962 |     1871   5318 |        0 |        0
1762.51/1763.05	c 1763s |      24 |  4901503 |  4469462 |     1871   5322 |        0 |        0
1764.51/1765.07	c 1765s |      24 |  4906449 |  4473962 |     1871   5326 |        0 |        0
1766.51/1767.08	c 1767s |      24 |  4910971 |  4478162 |     1871   5330 |        0 |        0
1768.61/1769.11	c 1769s |      24 |  4915599 |  4482362 |     1871   5334 |        0 |        0
1770.61/1771.14	c 1771s |      24 |  4920582 |  4486962 |     1871   5339 |        0 |        0
1772.61/1773.18	c 1773s |      24 |  4925319 |  4491362 |     1871   5343 |        0 |        0
1774.61/1775.19	c 1775s |      24 |  4929779 |  4495462 |     1871   5347 |        0 |        0
1776.71/1777.21	c 1777s |      24 |  4935485 |  4500462 |     1871   5352 |        0 |        0
1778.71/1779.25	c 1779s |      24 |  4940755 |  4505162 |     1871   5357 |        0 |        0
1780.71/1781.25	c 1781s |      24 |  4946258 |  4509962 |     1871   5361 |        0 |        0
1782.71/1783.28	c 1783s |      24 |  4951948 |  4514862 |     1871   5366 |        0 |        0
1784.81/1785.31	c 1785s |      24 |  4956901 |  4519262 |     1871   5370 |        0 |        0
1786.80/1787.33	c 1787s |      24 |  4962235 |  4523962 |     1871   5375 |        0 |        0
1788.80/1789.33	c 1789s |      24 |  4968004 |  4528862 |     1871   5380 |        0 |        0
1790.80/1791.36	c 1791s |      24 |  4973648 |  4533662 |     1871   5384 |        0 |        0
1792.80/1793.39	c 1793s |      24 |  4979672 |  4538562 |     1871   5389 |        0 |        0
1794.90/1795.41	c 1795s |      24 |  4985161 |  4543262 |     1871   5394 |        0 |        0
1796.91/1797.41	c 1797s |      24 |  4989958 |  4547562 |     1871   5398 |        0 |        0
1798.90/1799.42	c 1799s |      24 |  4994905 |  4551962 |     1871   5402 |        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-4090058-1466037798/watcher-4090058-1466037798 -o /tmp/evaluation-result-4090058-1466037798/solver-4090058-1466037798 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15724 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090058-1466037798.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.32 2.28 4/179 16064
/proc/meminfo: memFree=29277544/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 2402 0 0 0 0 0 0 0 20 0 4 0 5825498 663154688 2253 33554432000 4194304 16246674 140735809149664 140735809149088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 162671 2262 441 2943 0 159565 0
[pid=16064/tid=16065] ppid=16061 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 682029056 2327 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=670140 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 686223360 2342 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825498 691466240 2359 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.21 2.32 2.28 4/179 16064
/proc/meminfo: memFree=29277544/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 28264 0 0 0 6 3 0 0 20 0 4 0 5825498 1247350784 28103 33554432000 4194304 16246674 140735809149664 140735809149088 5723205 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 304529 28110 715 2943 0 301423 0
[pid=16064/tid=16065] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 28118 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 28131 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 28146 33554432000 4194304 16246674 140735809149664 139726209141936 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.200479 s]
/proc/loadavg: 2.21 2.32 2.28 4/179 16064
/proc/meminfo: memFree=29277544/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 56895 0 0 0 12 7 0 0 20 0 4 0 5825498 1247350784 56734 33554432000 4194304 16246674 140735809149664 140735809149088 5668801 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 304529 56742 715 2943 0 301423 0
[pid=16064/tid=16065] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 56749 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 56756 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 56766 33554432000 4194304 16246674 140735809149664 139726209141936 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.30043 s]
/proc/loadavg: 2.21 2.32 2.28 4/179 16064
/proc/meminfo: memFree=29277544/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 86422 0 0 0 17 12 0 0 20 0 4 0 5825498 1247350784 86261 33554432000 4194304 16246674 140735809149664 140735809149088 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 304529 86280 715 2943 0 301423 0
[pid=16064/tid=16065] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 86292 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 86305 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 86317 33554432000 4194304 16246674 140735809149664 139726209141936 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.700285 s]
/proc/loadavg: 2.21 2.32 2.28 4/179 16064
/proc/meminfo: memFree=29277544/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 202621 0 0 0 40 29 0 0 20 0 4 0 5825498 1247350784 202460 33554432000 4194304 16246674 140735809149664 140735809131584 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 304529 202470 715 2943 0 301423 0
[pid=16064/tid=16065] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 202476 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 202486 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825498 1247350784 202499 33554432000 4194304 16246674 140735809149664 139726209141936 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.50036 s]
/proc/loadavg: 2.21 2.32 2.28 4/183 16117
/proc/meminfo: memFree=29094360/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267270 0 0 0 112 37 0 0 20 0 4 0 5825498 1336479744 267089 33554432000 4194304 16246674 140735809149664 140735809132664 13927373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326289 267089 793 2943 0 323183 0
[pid=16064/tid=16065] ppid=16061 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1336479744 267089 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1336479744 267089 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1336479744 267089 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10036 s]
/proc/loadavg: 2.27 2.33 2.28 4/183 16117
/proc/meminfo: memFree=28300992/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267481 0 0 0 272 37 0 0 20 0 4 0 5825498 1337528320 267300 33554432000 4194304 16246674 140735809149664 140735809131584 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326545 267300 793 2943 0 323439 0
[pid=16064/tid=16065] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267300 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267300 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267300 33554432000 4194304 16246674 140735809149664 139726209141936 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.30036 s]
/proc/loadavg: 2.27 2.33 2.28 4/183 16117
/proc/meminfo: memFree=28213368/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267504 0 0 0 592 37 0 0 20 0 4 0 5825498 1337528320 267323 33554432000 4194304 16246674 140735809149664 140735809131520 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326545 267323 795 2943 0 323439 0
[pid=16064/tid=16065] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267323 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267323 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267323 33554432000 4194304 16246674 140735809149664 139726209141936 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.7003 s]
/proc/loadavg: 2.23 2.32 2.28 3/183 16117
/proc/meminfo: memFree=28213040/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267557 0 0 0 1232 37 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 140735809131584 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326545 267376 795 2943 0 323439 0
[pid=16064/tid=16065] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726209141936 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.5005 s]
/proc/loadavg: 2.27 2.32 2.28 4/183 16117
/proc/meminfo: memFree=28213852/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267558 0 0 0 2511 37 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 140735809132664 5754712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326545 267376 795 2943 0 323439 0
[pid=16064/tid=16065] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1337528320 267376 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.31 2.27 4/183 16117
/proc/meminfo: memFree=28213452/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267623 0 0 0 5070 38 0 0 20 0 4 0 5825498 1338576896 267436 33554432000 4194304 16246674 140735809149664 140735809131584 5822878 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326801 267436 795 2943 0 323695 0
[pid=16064/tid=16065] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267436 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267436 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267436 33554432000 4194304 16246674 140735809149664 139726209141936 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.38 2.33 2.28 3/183 16118
/proc/meminfo: memFree=28212740/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1307204 CPUtime=102.26 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 267728 0 0 0 10188 38 0 0 20 0 4 0 5825498 1338576896 267516 33554432000 4194304 16246674 140735809149664 140735809131584 5546023 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 326801 267516 795 2943 0 323695 0
[pid=16064/tid=16065] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267516 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267516 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1338576896 267516 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1307204


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

/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.28 2.32 2.31 4/184 16172
/proc/meminfo: memFree=28205192/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1309252 CPUtime=1361.86 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 268669 0 0 0 136133 53 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 140735809131584 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327313 268071 796 2943 0 324207 0
[pid=16064/tid=16065] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.41 2.34 2.32 3/184 16173
/proc/meminfo: memFree=28205496/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1309252 CPUtime=1421.87 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 268669 0 0 0 142133 54 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 140735809132664 12483366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327313 268071 796 2943 0 324207 0
[pid=16064/tid=16065] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1340674048 268071 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.37 2.34 2.32 3/184 16174
/proc/meminfo: memFree=28204756/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1481.85 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 268818 0 0 0 148131 54 0 0 20 0 4 0 5825498 1341722624 268220 33554432000 4194304 16246674 140735809149664 140735809131584 5861864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268220 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268220 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268220 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268220 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.45 2.37 2.32 4/184 16176
/proc/meminfo: memFree=28203884/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1541.85 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 154130 55 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 5723456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.40 2.36 2.32 3/184 16177
/proc/meminfo: memFree=28203760/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1601.83 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 160128 55 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.37 2.36 2.33 3/185 16181
/proc/meminfo: memFree=28203800/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1661.82 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 166126 56 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 5672197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.39 2.37 2.33 4/184 16182
/proc/meminfo: memFree=28203440/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1721.81 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 172125 56 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.31 2.35 2.32 4/183 16183
/proc/meminfo: memFree=28203696/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1781.81 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 178124 57 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 6021672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.36 2.33 3/184 16184
/proc/meminfo: memFree=28203316/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1800 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 179943 57 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 12483009 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 16064 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.36 2.36 2.33 3/184 16184
/proc/meminfo: memFree=28203316/32872528 swapFree=1498860/1695084
[pid=16064] ppid=16061 vsize=1310276 CPUtime=1800 cores=0,2,4,6
/proc/16064/stat : 16064 (toysat) R 16061 16064 6119 0 -1 4202496 269019 0 0 0 179943 57 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 140735809131584 12483009 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16064/statm: 327569 268421 796 2943 0 324463 0
[pid=16064/tid=16065] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16065/stat : 16065 (toysat) S 16061 16064 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726230105328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16064/tid=16066] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16066/stat : 16066 (toysat) S 16061 16064 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726219615472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16064/tid=16067] ppid=16061 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16064/task/16067/stat : 16067 (toysat) S 16061 16064 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825498 1341722624 268421 33554432000 4194304 16246674 140735809149664 139726209141936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.44
CPU system time (s): 0.575912
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.575912
maximum resident set size= 1073684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269019
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= 432
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53531 second user time and 6.98894 second system time

The end

Begin job on node137 at 2016-06-16 02:43:18
IDJOB=4090058
IDBENCH=107495
IDSOLVER=2542
FILE ID=node137/4090058-1466037798
RUNJOBID= node137-1466034195-15724
PBS_JOBID= 19902808
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 1b65eab1d8e87decd5463253819c81a3
RANDOM SEED=1091938640

node137.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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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.486
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.486
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.486
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.486
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.486
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.38
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.486
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.56
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.486
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:        29277824 kB
Buffers:           26268 kB
Cached:            92684 kB
SwapCached:         2452 kB
Active:          1151328 kB
Inactive:          44080 kB
Active(anon):    1077700 kB
Inactive(anon):     1372 kB
Active(file):      73628 kB
Inactive(file):    42708 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             16368 kB
Writeback:             0 kB
AnonPages:       2770664 kB
Mapped:            10520 kB
Shmem:                 0 kB
Slab:             567740 kB
SReclaimable:      12092 kB
SUnreclaim:       555648 kB
KernelStack:        1496 kB
PageTables:         9612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2911444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 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= 71708 MiB
End job on node137 at 2016-06-16 03:13:18