0.00/0.00	c 2016-06-16T01:18:34+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-4089736-1466032714.opb"]
0.00/0.01	c use --random-gen="793930197 2313102254 3262818222 446080391 3606957070 454749713 3524509893 3044227191 3294973271 1849239545 3998758319 453681324 2137252251 869741348 3087456049 3233843493 4006616815 2709147323 3729068913 4258405313 3304865947 3568431118 281013831 1966923970 2800853974 872317070 3906557114 2903707696 3020399592 558293812 169839147 636027390 1668373689 2826890846 4017724330 3624571209 744870495 1044542468 3604785867 2617199289 2548744060 4137181557 345411071 4015376139 517827061 2005261167 2544069148 2088977035 3876556485 3928146293 3875118383 3103224101 3161080397 3684062030 817102918 2053974093 3432183385 3995613731 755574642 4057321857 879044161 1259869060 870353877 3653248189 1049359595 2130834741 1080138677 1331576583 719922283 1031290712 573089535 1314156685 610555732 2679220284 3376391997 2259077093 2273235855 3650518884 732988692 3562318091 3256335561 634769469 1089897663 4236678698 2648484382 984934545 3629266474 2499340253 721051745 1976491303 4128849163 2494230172 27912257 2781132633 2157509793 3683067332 651958570 2708492450 2694536347 551530196 3034167402 2809679732 2178544134 1869948125 147662646 711715363 3210847276 1729720133 905553879 449987201 1241126489 1205609919 3438651379 3574228556 1126423472 2440859855 3683383870 3648514111 692327881 2231160266 1505509693 193106016 2382569028 1527805350 3112141563 3246110981 580908837 1552885589 146773326 3147609133 1554392565 4249576383 334208699 286842926 361930409 596328618 2380933213 1042172449 699336087 3785835774 2771260483 914245780 1540570898 2585492009 3352098109 3367446379 2904497054 2413280547 3544952321 1332051000 3471818286 3432061723 778210638 3836954828 1504246845 3434965683 406855327 2601322877 177240550 582876835 3989323434 1562891893 1717382550 1059128993 3683910536 3529490686 1473155482 4271767290 3416747673 3832066066 1610104154 3789911673 2929128646 1754418588 4118593496 1403349043 2984009295 1014324072 3936927768 129004988 339372481 1402335287 2513949194 2181673796 3432384923 2784236292 2670763852 2326203882 1366283532 2243180617 922630893 2954192700 2982321959 2291440473 4122618984 1050936144 1282748090 177052478 3915983842 4002243774 1886680527 2319752528 2440573935 3341192548 2404963343 540093213 3782239087 1506096321 1326153099 4027164956 3020811314 901584061 3535177598 2540809745 3188707410 1721916855 3736144251 4120987277 3947283217 3015579124 3772294652 2629927090 2043548586 4211587780 765255594 1960886826 1684178084 1772380 1418123867 1670172219 4184411408 3185573080 1828797257 2988995273 1805595409 3469502542 1426580734 411256862 2139788127 4064399162 2882104456 2090472547 3884637930 2939915288 4203710831 4171235314 2253389222 1082442125 2837926643 916312490 1113560159 3036836346 2355355046 2568381268 3316027781 4279009876 255 362436" option to reproduce the execution
0.00/0.01	c #vars 303
0.00/0.01	c #constraints 101
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      200 |      100 |      168      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      469 |      250 |      185      0 |        0 |        0
0.08/0.10	c  0.1s |       3 |      912 |      475 |      204      1 |        0 |        0
0.08/0.18	c  0.2s |       4 |     1475 |      813 |      225      3 |        0 |        0
0.29/0.30	c  0.3s |       5 |     2282 |     1320 |      248      5 |        0 |        0
0.38/0.47	c  0.5s |       6 |     3358 |     2081 |      301      8 |        0 |        0
0.69/0.76	c  0.7s |       7 |     5261 |     3223 |      332     13 |        0 |        0
0.99/1.06	c  1.0s |       8 |     7357 |     4936 |      366     18 |        0 |        0
1.49/1.51	c  1.5s |       9 |    10847 |     7506 |      403     27 |        0 |        0
2.19/2.22	c  2.2s |      10 |    15392 |    11361 |      444     40 |        0 |        0
3.18/3.28	c  3.3s |      11 |    22769 |    17144 |      489     57 |        0 |        0
4.78/4.83	c  4.8s |      12 |    33470 |    25819 |      538     82 |        0 |        0
6.79/6.85	c  6.8s |      12 |    46455 |    37019 |      538    112 |        0 |        0
7.08/7.19	c  7.2s |      13 |    48516 |    38832 |      592    116 |        0 |        0
9.19/9.20	c  9.2s |      13 |    60513 |    49532 |      592    143 |        0 |        0
10.89/10.91	c 10.9s |      14 |    70801 |    58352 |      652    165 |        0 |        0
12.88/12.92	c 12.9s |      14 |    81510 |    68052 |      652    187 |        0 |        0
14.89/14.94	c 14.9s |      14 |    92033 |    77452 |      652    208 |        0 |        0
16.89/16.95	c 16.9s |      14 |   103279 |    87252 |      718    230 |        0 |        0
16.99/17.03	c 17.0s |      15 |   103704 |    87632 |      718    231 |        0 |        0
18.98/19.05	c 19.0s |      15 |   115509 |    97732 |      718    253 |        0 |        0
21.00/21.05	c 21.0s |      15 |   126234 |   107032 |      718    272 |        0 |        0
22.99/23.07	c 23.1s |      15 |   136711 |   116232 |      718    292 |        0 |        0
24.99/25.09	c 25.1s |      15 |   147235 |   125432 |      718    312 |        0 |        0
26.39/26.44	c 26.4s |      16 |   154170 |   131552 |      790    324 |        0 |        0
28.38/28.44	c 28.4s |      16 |   166118 |   142352 |      790    345 |        0 |        0
30.38/30.45	c 30.4s |      16 |   177488 |   152652 |      790    365 |        0 |        0
32.38/32.45	c 32.4s |      16 |   188417 |   162552 |      790    385 |        0 |        0
34.38/34.46	c 34.4s |      16 |   199401 |   172552 |      790    404 |        0 |        0
36.39/36.48	c 36.5s |      16 |   210127 |   182352 |      790    424 |        0 |        0
38.38/38.49	c 38.5s |      16 |   222100 |   192952 |      790    444 |        0 |        0
39.39/39.41	c 39.4s |      17 |   227021 |   197432 |      870    453 |        0 |        0
41.38/41.42	c 41.4s |      17 |   237818 |   206932 |      870    470 |        0 |        0
43.38/43.44	c 43.4s |      17 |   247925 |   215932 |      870    486 |        0 |        0
45.38/45.45	c 45.4s |      17 |   258579 |   225332 |      870    503 |        0 |        0
47.38/47.47	c 47.5s |      17 |   268595 |   234232 |      870    519 |        0 |        0
49.38/49.49	c 49.5s |      17 |   278341 |   243032 |      870    535 |        0 |        0
51.48/51.50	c 51.5s |      17 |   287292 |   251332 |      870    550 |        0 |        0
53.48/53.50	c 53.5s |      17 |   296557 |   259932 |      870    566 |        0 |        0
55.48/55.50	c 55.5s |      17 |   306193 |   268532 |      870    582 |        0 |        0
57.48/57.51	c 57.5s |      17 |   315802 |   277132 |      870    597 |        0 |        0
59.48/59.52	c 59.5s |      17 |   325409 |   285732 |      870    613 |        0 |        0
61.48/61.52	c 61.5s |      17 |   335595 |   294632 |      958    629 |        0 |        0
61.88/61.90	c 61.9s |      18 |   337410 |   296252 |      958    632 |        0 |        0
63.89/63.92	c 63.9s |      18 |   348526 |   306152 |      958    648 |        0 |        0
65.87/65.94	c 65.9s |      18 |   358642 |   315252 |      958    664 |        0 |        0
67.87/67.95	c 67.9s |      18 |   368610 |   324152 |      958    679 |        0 |        0
69.88/69.96	c 69.9s |      18 |   378282 |   332952 |      958    694 |        0 |        0
71.88/71.97	c 72.0s |      18 |   387181 |   341152 |      958    708 |        0 |        0
73.87/73.97	c 74.0s |      18 |   396841 |   349752 |      958    722 |        0 |        0
75.89/75.99	c 76.0s |      18 |   406310 |   358352 |      958    737 |        0 |        0
77.98/78.01	c 78.0s |      18 |   416506 |   367452 |      958    752 |        0 |        0
79.97/80.03	c 80.0s |      18 |   426703 |   376552 |      958    768 |        0 |        0
81.97/82.04	c 82.0s |      18 |   436235 |   385152 |      958    782 |        0 |        0
83.97/84.07	c 84.1s |      18 |   446157 |   393952 |      958    798 |        0 |        0
85.97/86.07	c 86.1s |      18 |   455790 |   402452 |      958    812 |        0 |        0
87.98/88.09	c 88.1s |      18 |   466023 |   411452 |      958    827 |        0 |        0
89.97/90.09	c 90.1s |      18 |   475750 |   420152 |      958    842 |        0 |        0
92.07/92.10	c 92.1s |      18 |   484891 |   428452 |      958    856 |        0 |        0
94.08/94.11	c 94.1s |      18 |   494172 |   436852 |      958    871 |        0 |        0
95.88/95.97	c 96.0s |      19 |   502641 |   444482 |     1054    883 |        0 |        0
97.88/97.99	c 98.0s |      19 |   513483 |   453882 |     1054    898 |        0 |        0
99.88/99.99	c 100.0s |      19 |   524268 |   463182 |     1054    912 |        0 |        0
101.97/102.01	c  101s |      19 |   534615 |   472182 |     1054    927 |        0 |        0
103.97/104.02	c  104s |      19 |   545594 |   481582 |     1054    941 |        0 |        0
105.97/106.03	c  106s |      19 |   556306 |   490782 |     1054    956 |        0 |        0
107.97/108.03	c  108s |      19 |   566323 |   499582 |     1054    969 |        0 |        0
109.98/110.05	c  110s |      19 |   576448 |   508582 |     1054    983 |        0 |        0
111.97/112.05	c  112s |      19 |   586396 |   517382 |     1054    997 |        0 |        0
113.97/114.06	c  114s |      19 |   595218 |   525582 |     1054   1010 |        0 |        0
115.97/116.07	c  116s |      19 |   603953 |   533582 |     1054   1022 |        0 |        0
117.97/118.08	c  118s |      19 |   613666 |   542182 |     1054   1036 |        0 |        0
119.97/120.09	c  120s |      19 |   622927 |   550582 |     1054   1049 |        0 |        0
121.97/122.10	c  122s |      19 |   632350 |   559082 |     1054   1062 |        0 |        0
124.07/124.10	c  124s |      19 |   641880 |   567682 |     1054   1076 |        0 |        0
126.07/126.12	c  126s |      19 |   651524 |   576282 |     1054   1089 |        0 |        0
128.07/128.13	c  128s |      19 |   661089 |   584782 |     1054   1103 |        0 |        0
130.07/130.14	c  130s |      19 |   670747 |   593282 |     1054   1116 |        0 |        0
132.08/132.14	c  132s |      19 |   680533 |   601882 |     1054   1130 |        0 |        0
134.07/134.16	c  134s |      19 |   690655 |   610782 |     1054   1143 |        0 |        0
136.07/136.16	c  136s |      19 |   699961 |   619182 |     1054   1157 |        0 |        0
138.07/138.17	c  138s |      19 |   710072 |   628082 |     1054   1171 |        0 |        0
140.16/140.20	c  140s |      19 |   720073 |   636982 |     1054   1185 |        0 |        0
142.16/142.22	c  142s |      19 |   730630 |   645982 |     1054   1199 |        0 |        0
144.17/144.23	c  144s |      19 |   740782 |   654782 |     1054   1212 |        0 |        0
146.17/146.25	c  146s |      19 |   751376 |   663782 |     1160   1226 |        0 |        0
146.87/146.98	c  146s |      20 |   754802 |   666827 |     1160   1231 |        0 |        0
148.87/148.98	c  148s |      20 |   764482 |   675527 |     1160   1243 |        0 |        0
150.87/150.98	c  150s |      20 |   773384 |   683727 |     1160   1255 |        0 |        0
152.87/152.98	c  152s |      20 |   782349 |   691927 |     1160   1267 |        0 |        0
154.96/155.00	c  154s |      20 |   791384 |   700227 |     1160   1280 |        0 |        0
156.97/157.01	c  156s |      20 |   801207 |   708927 |     1160   1292 |        0 |        0
158.96/159.02	c  159s |      20 |   810908 |   717527 |     1160   1305 |        0 |        0
160.96/161.04	c  161s |      20 |   821218 |   726427 |     1160   1318 |        0 |        0
162.96/163.05	c  163s |      20 |   831489 |   735427 |     1160   1331 |        0 |        0
164.97/165.06	c  165s |      20 |   841506 |   744227 |     1160   1344 |        0 |        0
166.96/167.07	c  167s |      20 |   851232 |   752827 |     1160   1357 |        0 |        0
168.96/169.07	c  169s |      20 |   861208 |   761527 |     1160   1370 |        0 |        0
170.96/171.08	c  171s |      20 |   871040 |   770227 |     1160   1382 |        0 |        0
172.96/173.09	c  173s |      20 |   880543 |   778727 |     1160   1395 |        0 |        0
175.06/175.11	c  175s |      20 |   890012 |   787127 |     1160   1407 |        0 |        0
177.07/177.11	c  177s |      20 |   900043 |   795727 |     1160   1420 |        0 |        0
179.06/179.11	c  179s |      20 |   909843 |   804227 |     1160   1432 |        0 |        0
181.07/181.12	c  181s |      20 |   919950 |   812927 |     1160   1445 |        0 |        0
183.06/183.13	c  183s |      20 |   930305 |   821827 |     1160   1458 |        0 |        0
185.06/185.13	c  185s |      20 |   940704 |   830827 |     1160   1471 |        0 |        0
187.07/187.14	c  187s |      20 |   950270 |   839227 |     1160   1484 |        0 |        0
189.06/189.15	c  189s |      20 |   959236 |   847227 |     1160   1495 |        0 |        0
191.06/191.18	c  191s |      20 |   968507 |   855627 |     1160   1508 |        0 |        0
193.15/193.20	c  193s |      20 |   977529 |   863827 |     1160   1520 |        0 |        0
195.15/195.23	c  195s |      20 |   986514 |   872027 |     1160   1532 |        0 |        0
197.16/197.24	c  197s |      20 |   995823 |   880427 |     1160   1544 |        0 |        0
199.17/199.25	c  199s |      20 |  1005417 |   888927 |     1160   1556 |        0 |        0
201.16/201.27	c  201s |      20 |  1015570 |   897727 |     1160   1569 |        0 |        0
203.16/203.28	c  203s |      20 |  1025818 |   906327 |     1160   1582 |        0 |        0
205.16/205.29	c  205s |      20 |  1035724 |   915027 |     1160   1595 |        0 |        0
207.26/207.30	c  207s |      20 |  1045937 |   923827 |     1160   1608 |        0 |        0
209.26/209.32	c  209s |      20 |  1055638 |   932427 |     1160   1620 |        0 |        0
211.26/211.33	c  211s |      20 |  1064575 |   940527 |     1160   1632 |        0 |        0
213.26/213.34	c  213s |      20 |  1074164 |   948927 |     1160   1645 |        0 |        0
215.26/215.35	c  215s |      20 |  1083757 |   957327 |     1160   1657 |        0 |        0
217.25/217.35	c  217s |      20 |  1092955 |   965527 |     1160   1669 |        0 |        0
219.26/219.37	c  219s |      20 |  1102000 |   973627 |     1160   1681 |        0 |        0
221.26/221.38	c  221s |      20 |  1110822 |   981627 |     1160   1693 |        0 |        0
223.36/223.40	c  223s |      20 |  1119658 |   989627 |     1160   1705 |        0 |        0
225.36/225.41	c  225s |      20 |  1128282 |   997427 |     1276   1716 |        0 |        0
226.06/226.13	c  226s |      21 |  1131521 |  1000345 |     1276   1719 |        0 |        0
228.06/228.15	c  228s |      21 |  1141477 |  1009345 |     1276   1731 |        0 |        0
230.05/230.17	c  230s |      21 |  1151188 |  1018145 |     1276   1743 |        0 |        0
232.06/232.17	c  232s |      21 |  1160914 |  1027045 |     1276   1755 |        0 |        0
234.05/234.19	c  234s |      21 |  1171236 |  1036145 |     1276   1767 |        0 |        0
236.05/236.19	c  236s |      21 |  1181666 |  1045245 |     1276   1779 |        0 |        0
238.15/238.20	c  238s |      21 |  1191336 |  1053945 |     1276   1791 |        0 |        0
240.15/240.20	c  240s |      21 |  1201686 |  1063045 |     1276   1803 |        0 |        0
242.15/242.22	c  242s |      21 |  1211940 |  1072345 |     1276   1816 |        0 |        0
244.16/244.24	c  244s |      21 |  1222888 |  1081845 |     1276   1828 |        0 |        0
246.15/246.25	c  246s |      21 |  1233782 |  1091245 |     1276   1841 |        0 |        0
248.15/248.26	c  248s |      21 |  1244520 |  1100645 |     1276   1853 |        0 |        0
250.15/250.27	c  250s |      21 |  1255126 |  1109945 |     1276   1866 |        0 |        0
252.15/252.28	c  252s |      21 |  1265789 |  1119245 |     1276   1878 |        0 |        0
254.15/254.29	c  254s |      21 |  1277375 |  1129045 |     1276   1892 |        0 |        0
256.15/256.30	c  256s |      21 |  1288896 |  1138945 |     1276   1905 |        0 |        0
258.25/258.30	c  258s |      21 |  1300359 |  1148645 |     1276   1918 |        0 |        0
260.25/260.32	c  260s |      21 |  1311360 |  1158045 |     1276   1930 |        0 |        0
262.25/262.33	c  262s |      21 |  1322604 |  1167545 |     1276   1943 |        0 |        0
264.25/264.35	c  264s |      21 |  1333261 |  1176945 |     1276   1956 |        0 |        0
266.25/266.37	c  266s |      21 |  1343594 |  1186145 |     1276   1968 |        0 |        0
268.25/268.38	c  268s |      21 |  1354548 |  1195545 |     1276   1981 |        0 |        0
270.25/270.39	c  270s |      21 |  1364677 |  1204445 |     1276   1993 |        0 |        0
272.35/272.41	c  272s |      21 |  1375155 |  1213545 |     1276   2005 |        0 |        0
274.35/274.44	c  274s |      21 |  1385701 |  1222645 |     1276   2017 |        0 |        0
276.35/276.44	c  276s |      21 |  1395172 |  1231245 |     1276   2029 |        0 |        0
278.35/278.47	c  278s |      21 |  1405237 |  1240145 |     1276   2040 |        0 |        0
280.34/280.47	c  280s |      21 |  1415889 |  1249345 |     1276   2053 |        0 |        0
282.35/282.48	c  282s |      21 |  1425910 |  1258145 |     1276   2064 |        0 |        0
284.34/284.48	c  284s |      21 |  1436390 |  1267045 |     1276   2076 |        0 |        0
286.35/286.49	c  286s |      21 |  1448180 |  1276745 |     1276   2089 |        0 |        0
288.45/288.50	c  288s |      21 |  1460041 |  1286445 |     1276   2102 |        0 |        0
290.45/290.51	c  290s |      21 |  1470509 |  1295345 |     1276   2114 |        0 |        0
292.44/292.52	c  292s |      21 |  1480963 |  1304245 |     1276   2126 |        0 |        0
294.44/294.53	c  294s |      21 |  1490977 |  1312945 |     1276   2138 |        0 |        0
296.44/296.54	c  296s |      21 |  1501381 |  1321845 |     1276   2150 |        0 |        0
298.44/298.55	c  298s |      21 |  1512458 |  1331245 |     1276   2162 |        0 |        0
300.44/300.56	c  300s |      21 |  1523725 |  1340545 |     1276   2175 |        0 |        0
302.45/302.57	c  302s |      21 |  1534390 |  1349445 |     1276   2187 |        0 |        0
304.45/304.58	c  304s |      21 |  1544968 |  1358345 |     1276   2199 |        0 |        0
306.55/306.60	c  306s |      21 |  1554223 |  1366545 |     1276   2210 |        0 |        0
308.54/308.62	c  308s |      21 |  1564436 |  1375345 |     1276   2222 |        0 |        0
310.54/310.63	c  310s |      21 |  1575157 |  1384245 |     1276   2234 |        0 |        0
312.54/312.64	c  312s |      21 |  1584699 |  1392845 |     1276   2245 |        0 |        0
314.55/314.64	c  314s |      21 |  1594502 |  1401545 |     1276   2257 |        0 |        0
316.54/316.67	c  316s |      21 |  1603784 |  1409945 |     1276   2268 |        0 |        0
318.54/318.68	c  318s |      21 |  1613806 |  1418645 |     1276   2280 |        0 |        0
320.54/320.69	c  320s |      21 |  1624595 |  1427745 |     1276   2292 |        0 |        0
322.64/322.72	c  322s |      21 |  1634388 |  1436445 |     1276   2304 |        0 |        0
324.64/324.73	c  324s |      21 |  1644075 |  1444845 |     1276   2315 |        0 |        0
326.64/326.75	c  326s |      21 |  1653408 |  1453145 |     1276   2326 |        0 |        0
328.64/328.76	c  328s |      21 |  1663006 |  1461545 |     1276   2337 |        0 |        0
330.63/330.78	c  330s |      21 |  1673522 |  1470345 |     1276   2349 |        0 |        0
332.73/332.80	c  332s |      21 |  1683475 |  1478845 |     1276   2361 |        0 |        0
334.74/334.80	c  334s |      21 |  1693526 |  1487545 |     1276   2372 |        0 |        0
336.74/336.80	c  336s |      21 |  1703043 |  1495945 |     1404   2383 |        0 |        0
337.84/337.94	c  337s |      22 |  1708292 |  1500622 |     1404   2389 |        0 |        0
339.85/339.96	c  339s |      22 |  1718000 |  1509222 |     1404   2399 |        0 |        0
341.84/341.96	c  341s |      22 |  1726841 |  1517222 |     1404   2409 |        0 |        0
343.84/343.99	c  343s |      22 |  1735631 |  1525322 |     1404   2419 |        0 |        0
345.94/346.00	c  345s |      22 |  1744869 |  1533322 |     1404   2429 |        0 |        0
347.94/348.02	c  348s |      22 |  1754155 |  1541322 |     1404   2439 |        0 |        0
349.94/350.04	c  350s |      22 |  1763602 |  1549522 |     1404   2449 |        0 |        0
351.94/352.04	c  352s |      22 |  1772531 |  1557622 |     1404   2459 |        0 |        0
353.94/354.05	c  354s |      22 |  1781432 |  1565522 |     1404   2469 |        0 |        0
355.93/356.06	c  356s |      22 |  1790423 |  1573522 |     1404   2479 |        0 |        0
357.93/358.08	c  358s |      22 |  1799725 |  1581722 |     1404   2489 |        0 |        0
359.93/360.08	c  360s |      22 |  1808918 |  1589822 |     1404   2499 |        0 |        0
361.94/362.09	c  362s |      22 |  1818405 |  1598122 |     1404   2509 |        0 |        0
364.04/364.11	c  364s |      22 |  1827880 |  1606422 |     1404   2519 |        0 |        0
366.04/366.12	c  366s |      22 |  1837148 |  1614522 |     1404   2530 |        0 |        0
368.04/368.14	c  368s |      22 |  1846729 |  1622922 |     1404   2540 |        0 |        0
370.04/370.15	c  370s |      22 |  1855358 |  1630822 |     1404   2550 |        0 |        0
372.04/372.15	c  372s |      22 |  1863976 |  1638622 |     1404   2559 |        0 |        0
374.04/374.18	c  374s |      22 |  1873568 |  1647022 |     1404   2570 |        0 |        0
376.03/376.20	c  376s |      22 |  1882670 |  1655022 |     1404   2580 |        0 |        0
378.03/378.20	c  378s |      22 |  1891766 |  1662922 |     1404   2589 |        0 |        0
380.03/380.20	c  380s |      22 |  1901192 |  1671122 |     1404   2599 |        0 |        0
382.13/382.21	c  382s |      22 |  1909814 |  1678922 |     1404   2609 |        0 |        0
384.13/384.21	c  384s |      22 |  1918003 |  1686422 |     1404   2618 |        0 |        0
386.14/386.21	c  386s |      22 |  1926997 |  1694422 |     1404   2628 |        0 |        0
388.13/388.22	c  388s |      22 |  1935961 |  1702422 |     1404   2638 |        0 |        0
390.13/390.24	c  390s |      22 |  1944575 |  1710222 |     1404   2648 |        0 |        0
392.13/392.26	c  392s |      22 |  1953078 |  1717922 |     1404   2657 |        0 |        0
394.13/394.28	c  394s |      22 |  1962569 |  1726122 |     1404   2668 |        0 |        0
396.13/396.29	c  396s |      22 |  1971809 |  1734122 |     1404   2678 |        0 |        0
398.24/398.31	c  398s |      22 |  1980556 |  1741822 |     1404   2687 |        0 |        0
400.23/400.34	c  400s |      22 |  1989925 |  1749822 |     1404   2697 |        0 |        0
402.23/402.34	c  402s |      22 |  1997776 |  1757022 |     1404   2706 |        0 |        0
404.23/404.37	c  404s |      22 |  2006728 |  1764822 |     1404   2716 |        0 |        0
406.22/406.37	c  406s |      22 |  2015375 |  1772422 |     1404   2725 |        0 |        0
408.22/408.39	c  408s |      22 |  2023820 |  1779822 |     1404   2734 |        0 |        0
410.33/410.42	c  410s |      22 |  2032348 |  1787422 |     1404   2744 |        0 |        0
412.32/412.44	c  412s |      22 |  2040641 |  1794922 |     1404   2753 |        0 |        0
414.32/414.45	c  414s |      22 |  2049104 |  1802422 |     1404   2762 |        0 |        0
416.32/416.45	c  416s |      22 |  2057969 |  1810422 |     1404   2772 |        0 |        0
418.32/418.46	c  418s |      22 |  2067677 |  1818822 |     1404   2782 |        0 |        0
420.32/420.48	c  420s |      22 |  2076684 |  1826722 |     1404   2792 |        0 |        0
422.33/422.50	c  422s |      22 |  2085101 |  1834322 |     1404   2802 |        0 |        0
424.42/424.50	c  424s |      22 |  2093850 |  1842222 |     1404   2811 |        0 |        0
426.42/426.51	c  426s |      22 |  2102916 |  1850222 |     1404   2821 |        0 |        0
428.42/428.53	c  428s |      22 |  2112156 |  1858322 |     1404   2831 |        0 |        0
430.42/430.55	c  430s |      22 |  2121282 |  1866322 |     1404   2841 |        0 |        0
432.42/432.57	c  432s |      22 |  2129652 |  1873822 |     1404   2851 |        0 |        0
434.43/434.59	c  434s |      22 |  2138214 |  1881422 |     1404   2860 |        0 |        0
436.43/436.59	c  436s |      22 |  2146983 |  1889022 |     1404   2870 |        0 |        0
438.52/438.60	c  438s |      22 |  2155845 |  1896822 |     1404   2879 |        0 |        0
440.52/440.60	c  440s |      22 |  2164446 |  1904422 |     1404   2889 |        0 |        0
442.52/442.60	c  442s |      22 |  2173475 |  1912322 |     1404   2898 |        0 |        0
444.52/444.62	c  444s |      22 |  2182564 |  1920122 |     1404   2908 |        0 |        0
446.53/446.64	c  446s |      22 |  2191663 |  1927822 |     1404   2918 |        0 |        0
448.52/448.65	c  448s |      22 |  2200624 |  1935522 |     1404   2927 |        0 |        0
450.52/450.66	c  450s |      22 |  2209400 |  1943122 |     1404   2937 |        0 |        0
452.52/452.69	c  452s |      22 |  2218255 |  1950922 |     1404   2946 |        0 |        0
454.62/454.70	c  454s |      22 |  2226649 |  1958422 |     1404   2955 |        0 |        0
456.61/456.71	c  456s |      22 |  2235617 |  1966222 |     1404   2965 |        0 |        0
458.63/458.72	c  458s |      22 |  2244626 |  1973922 |     1404   2975 |        0 |        0
460.62/460.74	c  460s |      22 |  2253491 |  1981722 |     1404   2984 |        0 |        0
462.62/462.74	c  462s |      22 |  2262693 |  1989722 |     1404   2994 |        0 |        0
464.61/464.74	c  464s |      22 |  2271753 |  1997622 |     1404   3004 |        0 |        0
466.62/466.76	c  466s |      22 |  2280308 |  2005222 |     1404   3014 |        0 |        0
468.63/468.77	c  468s |      22 |  2288382 |  2012522 |     1404   3023 |        0 |        0
470.62/470.79	c  470s |      22 |  2296338 |  2019822 |     1404   3032 |        0 |        0
472.72/472.80	c  472s |      22 |  2304650 |  2027322 |     1404   3041 |        0 |        0
474.72/474.82	c  474s |      22 |  2313019 |  2034822 |     1404   3050 |        0 |        0
476.71/476.84	c  476s |      22 |  2321979 |  2042722 |     1404   3060 |        0 |        0
478.71/478.86	c  478s |      22 |  2331183 |  2050822 |     1404   3070 |        0 |        0
480.72/480.88	c  480s |      22 |  2340261 |  2058722 |     1404   3080 |        0 |        0
482.71/482.90	c  482s |      22 |  2349023 |  2066522 |     1404   3090 |        0 |        0
484.82/484.90	c  484s |      22 |  2357460 |  2074022 |     1404   3099 |        0 |        0
486.82/486.91	c  486s |      22 |  2366217 |  2081722 |     1404   3108 |        0 |        0
488.82/488.93	c  488s |      22 |  2374904 |  2089422 |     1404   3118 |        0 |        0
490.82/490.93	c  490s |      22 |  2383630 |  2097022 |     1404   3127 |        0 |        0
492.82/492.96	c  492s |      22 |  2393006 |  2105122 |     1404   3137 |        0 |        0
494.81/494.97	c  494s |      22 |  2401271 |  2112722 |     1404   3147 |        0 |        0
496.81/497.00	c  496s |      22 |  2409669 |  2120322 |     1404   3156 |        0 |        0
498.91/499.01	c  498s |      22 |  2418407 |  2128022 |     1404   3166 |        0 |        0
500.91/501.03	c  501s |      22 |  2427044 |  2135722 |     1404   3175 |        0 |        0
502.91/503.04	c  503s |      22 |  2435511 |  2143222 |     1404   3185 |        0 |        0
504.92/505.04	c  505s |      22 |  2444417 |  2151022 |     1404   3194 |        0 |        0
506.91/507.06	c  507s |      22 |  2453578 |  2158922 |     1404   3204 |        0 |        0
508.91/509.06	c  509s |      22 |  2461901 |  2166422 |     1404   3213 |        0 |        0
510.91/511.07	c  511s |      22 |  2470676 |  2174122 |     1404   3223 |        0 |        0
512.91/513.08	c  513s |      22 |  2479202 |  2181722 |     1404   3232 |        0 |        0
514.91/515.09	c  515s |      22 |  2488375 |  2189622 |     1404   3242 |        0 |        0
516.92/517.09	c  517s |      22 |  2497416 |  2197422 |     1404   3252 |        0 |        0
519.01/519.11	c  519s |      22 |  2506304 |  2205222 |     1404   3261 |        0 |        0
521.01/521.13	c  521s |      22 |  2514949 |  2212922 |     1404   3271 |        0 |        0
523.01/523.15	c  523s |      22 |  2523656 |  2220522 |     1404   3281 |        0 |        0
525.01/525.15	c  525s |      22 |  2531601 |  2227522 |     1404   3289 |        0 |        0
527.01/527.17	c  527s |      22 |  2539821 |  2234922 |     1404   3298 |        0 |        0
529.02/529.19	c  529s |      22 |  2547685 |  2242122 |     1545   3306 |        0 |        0
531.11/531.21	c  531s |      22 |  2555601 |  2249322 |     1545   3315 |        0 |        0
531.51/531.66	c  531s |      23 |  2557507 |  2251038 |     1545   3317 |        0 |        0
533.51/533.67	c  533s |      23 |  2567011 |  2259438 |     1545   3326 |        0 |        0
535.50/535.68	c  535s |      23 |  2575696 |  2267338 |     1545   3335 |        0 |        0
537.60/537.70	c  537s |      23 |  2584738 |  2275438 |     1545   3344 |        0 |        0
539.60/539.71	c  539s |      23 |  2593354 |  2283438 |     1545   3353 |        0 |        0
541.61/541.73	c  541s |      23 |  2602091 |  2291438 |     1545   3363 |        0 |        0
543.61/543.74	c  543s |      23 |  2611060 |  2299538 |     1545   3372 |        0 |        0
545.62/545.74	c  545s |      23 |  2620242 |  2307738 |     1545   3381 |        0 |        0
547.61/547.75	c  547s |      23 |  2629226 |  2315838 |     1545   3390 |        0 |        0
549.61/549.76	c  549s |      23 |  2638395 |  2324138 |     1545   3400 |        0 |        0
551.61/551.76	c  551s |      23 |  2647254 |  2332138 |     1545   3409 |        0 |        0
553.61/553.78	c  553s |      23 |  2657004 |  2340638 |     1545   3419 |        0 |        0
555.61/555.79	c  555s |      23 |  2666047 |  2348738 |     1545   3428 |        0 |        0
557.72/557.80	c  557s |      23 |  2675438 |  2357038 |     1545   3438 |        0 |        0
559.71/559.83	c  559s |      23 |  2684235 |  2365038 |     1545   3447 |        0 |        0
561.71/561.85	c  561s |      23 |  2693368 |  2373238 |     1545   3456 |        0 |        0
563.71/563.87	c  563s |      23 |  2702488 |  2381438 |     1545   3466 |        0 |        0
565.71/565.88	c  565s |      23 |  2711306 |  2389438 |     1545   3475 |        0 |        0
567.71/567.89	c  567s |      23 |  2720238 |  2397538 |     1545   3484 |        0 |        0
569.81/569.91	c  569s |      23 |  2729081 |  2405438 |     1545   3493 |        0 |        0
571.81/571.92	c  571s |      23 |  2737730 |  2413238 |     1545   3502 |        0 |        0
573.80/573.94	c  573s |      23 |  2746918 |  2421238 |     1545   3511 |        0 |        0
575.80/575.96	c  575s |      23 |  2756579 |  2429538 |     1545   3521 |        0 |        0
577.80/577.97	c  577s |      23 |  2766121 |  2437838 |     1545   3530 |        0 |        0
579.80/579.97	c  579s |      23 |  2775501 |  2445938 |     1545   3539 |        0 |        0
581.80/582.00	c  581s |      23 |  2785777 |  2454438 |     1545   3549 |        0 |        0
583.90/584.00	c  583s |      23 |  2795599 |  2462738 |     1545   3559 |        0 |        0
585.90/586.00	c  585s |      23 |  2805012 |  2470938 |     1545   3568 |        0 |        0
587.89/588.01	c  587s |      23 |  2813463 |  2478538 |     1545   3577 |        0 |        0
589.89/590.03	c  590s |      23 |  2822406 |  2486538 |     1545   3586 |        0 |        0
591.90/592.05	c  592s |      23 |  2831444 |  2494538 |     1545   3595 |        0 |        0
593.91/594.07	c  594s |      23 |  2840143 |  2502338 |     1545   3604 |        0 |        0
595.90/596.08	c  596s |      23 |  2848761 |  2510138 |     1545   3613 |        0 |        0
597.90/598.09	c  598s |      23 |  2857400 |  2517938 |     1545   3622 |        0 |        0
599.90/600.09	c  600s |      23 |  2866280 |  2525938 |     1545   3631 |        0 |        0
602.00/602.11	c  602s |      23 |  2875523 |  2534138 |     1545   3641 |        0 |        0
603.99/604.13	c  604s |      23 |  2885684 |  2542738 |     1545   3651 |        0 |        0
606.00/606.15	c  606s |      23 |  2895769 |  2551438 |     1545   3661 |        0 |        0
607.99/608.17	c  608s |      23 |  2905078 |  2559638 |     1545   3670 |        0 |        0
609.99/610.17	c  610s |      23 |  2914360 |  2567838 |     1545   3679 |        0 |        0
611.99/612.18	c  612s |      23 |  2923845 |  2576038 |     1545   3689 |        0 |        0
613.99/614.19	c  614s |      23 |  2933319 |  2584338 |     1545   3698 |        0 |        0
616.10/616.20	c  616s |      23 |  2942662 |  2592338 |     1545   3708 |        0 |        0
618.11/618.20	c  618s |      23 |  2953029 |  2600838 |     1545   3717 |        0 |        0
620.10/620.21	c  620s |      23 |  2962971 |  2609238 |     1545   3727 |        0 |        0
622.10/622.22	c  622s |      23 |  2972145 |  2617338 |     1545   3736 |        0 |        0
624.10/624.23	c  624s |      23 |  2981710 |  2625538 |     1545   3746 |        0 |        0
626.10/626.26	c  626s |      23 |  2991284 |  2633738 |     1545   3755 |        0 |        0
628.10/628.27	c  628s |      23 |  3000725 |  2641938 |     1545   3764 |        0 |        0
630.10/630.30	c  630s |      23 |  3010697 |  2650338 |     1545   3774 |        0 |        0
632.20/632.31	c  632s |      23 |  3020087 |  2658538 |     1545   3784 |        0 |        0
634.19/634.33	c  634s |      23 |  3029973 |  2667038 |     1545   3793 |        0 |        0
636.19/636.35	c  636s |      23 |  3039279 |  2675138 |     1545   3803 |        0 |        0
638.19/638.37	c  638s |      23 |  3048389 |  2683238 |     1545   3812 |        0 |        0
640.20/640.37	c  640s |      23 |  3058693 |  2691838 |     1545   3822 |        0 |        0
642.19/642.37	c  642s |      23 |  3068721 |  2700338 |     1545   3832 |        0 |        0
644.19/644.37	c  644s |      23 |  3078563 |  2708638 |     1545   3841 |        0 |        0
646.19/646.39	c  646s |      23 |  3088736 |  2717138 |     1545   3851 |        0 |        0
648.19/648.40	c  648s |      23 |  3098032 |  2725138 |     1545   3860 |        0 |        0
650.29/650.41	c  650s |      23 |  3108850 |  2733838 |     1545   3870 |        0 |        0
652.29/652.43	c  652s |      23 |  3119761 |  2742538 |     1545   3880 |        0 |        0
654.29/654.45	c  654s |      23 |  3130019 |  2750938 |     1545   3890 |        0 |        0
656.29/656.49	c  656s |      23 |  3140333 |  2759338 |     1545   3900 |        0 |        0
658.39/658.51	c  658s |      23 |  3150087 |  2767738 |     1545   3909 |        0 |        0
660.39/660.52	c  660s |      23 |  3159698 |  2775938 |     1545   3919 |        0 |        0
662.39/662.52	c  662s |      23 |  3169086 |  2784238 |     1545   3928 |        0 |        0
664.40/664.53	c  664s |      23 |  3178117 |  2792238 |     1545   3937 |        0 |        0
666.39/666.54	c  666s |      23 |  3187547 |  2800338 |     1545   3947 |        0 |        0
668.39/668.55	c  668s |      23 |  3196723 |  2808338 |     1545   3956 |        0 |        0
670.39/670.56	c  670s |      23 |  3205628 |  2816138 |     1545   3965 |        0 |        0
672.39/672.57	c  672s |      23 |  3215682 |  2824638 |     1545   3975 |        0 |        0
674.39/674.58	c  674s |      23 |  3225109 |  2832738 |     1545   3984 |        0 |        0
676.40/676.58	c  676s |      23 |  3234474 |  2840738 |     1545   3993 |        0 |        0
678.49/678.60	c  678s |      23 |  3244126 |  2848938 |     1545   4003 |        0 |        0
680.49/680.62	c  680s |      23 |  3254124 |  2857238 |     1545   4012 |        0 |        0
682.49/682.64	c  682s |      23 |  3263929 |  2865538 |     1545   4022 |        0 |        0
684.49/684.66	c  684s |      23 |  3273236 |  2873538 |     1545   4031 |        0 |        0
686.48/686.68	c  686s |      23 |  3282712 |  2881538 |     1545   4040 |        0 |        0
688.49/688.70	c  688s |      23 |  3291615 |  2889338 |     1545   4049 |        0 |        0
690.58/690.71	c  690s |      23 |  3300671 |  2897238 |     1545   4058 |        0 |        0
692.58/692.72	c  692s |      23 |  3309264 |  2904838 |     1545   4067 |        0 |        0
694.58/694.74	c  694s |      23 |  3318022 |  2912638 |     1545   4076 |        0 |        0
696.58/696.75	c  696s |      23 |  3327085 |  2920538 |     1545   4085 |        0 |        0
698.58/698.75	c  698s |      23 |  3336050 |  2928438 |     1545   4094 |        0 |        0
700.59/700.76	c  700s |      23 |  3345383 |  2936538 |     1545   4103 |        0 |        0
702.58/702.79	c  702s |      23 |  3354333 |  2944438 |     1545   4112 |        0 |        0
704.68/704.81	c  704s |      23 |  3362770 |  2951938 |     1545   4121 |        0 |        0
706.68/706.82	c  706s |      23 |  3371202 |  2959438 |     1545   4130 |        0 |        0
708.68/708.84	c  708s |      23 |  3379637 |  2967138 |     1545   4139 |        0 |        0
710.68/710.85	c  710s |      23 |  3388190 |  2974838 |     1545   4147 |        0 |        0
712.68/712.87	c  712s |      23 |  3397189 |  2982638 |     1545   4156 |        0 |        0
714.77/714.90	c  714s |      23 |  3405583 |  2990138 |     1545   4165 |        0 |        0
716.78/716.92	c  716s |      23 |  3414480 |  2998038 |     1545   4174 |        0 |        0
718.77/718.94	c  718s |      23 |  3423469 |  3005838 |     1545   4183 |        0 |        0
720.77/720.96	c  720s |      23 |  3431675 |  3013338 |     1545   4192 |        0 |        0
722.77/722.98	c  722s |      23 |  3440001 |  3020938 |     1545   4200 |        0 |        0
724.78/724.99	c  724s |      23 |  3448469 |  3028538 |     1545   4209 |        0 |        0
726.87/727.01	c  726s |      23 |  3457062 |  3036238 |     1545   4218 |        0 |        0
728.87/729.02	c  729s |      23 |  3465351 |  3043738 |     1545   4226 |        0 |        0
730.86/731.03	c  731s |      23 |  3473671 |  3051338 |     1545   4235 |        0 |        0
732.86/733.03	c  733s |      23 |  3482348 |  3059038 |     1545   4244 |        0 |        0
734.86/735.05	c  735s |      23 |  3491390 |  3067038 |     1545   4253 |        0 |        0
736.87/737.05	c  737s |      23 |  3500234 |  3074938 |     1545   4262 |        0 |        0
738.86/739.06	c  739s |      23 |  3508941 |  3082738 |     1545   4271 |        0 |        0
740.86/741.07	c  741s |      23 |  3517495 |  3090438 |     1545   4280 |        0 |        0
742.86/743.08	c  743s |      23 |  3526282 |  3098338 |     1545   4289 |        0 |        0
744.86/745.09	c  745s |      23 |  3535463 |  3106438 |     1545   4298 |        0 |        0
746.86/747.09	c  747s |      23 |  3544893 |  3114638 |     1545   4308 |        0 |        0
748.96/749.11	c  749s |      23 |  3554442 |  3122938 |     1545   4317 |        0 |        0
750.95/751.12	c  751s |      23 |  3563819 |  3131138 |     1545   4326 |        0 |        0
752.95/753.15	c  753s |      23 |  3573663 |  3139538 |     1545   4336 |        0 |        0
754.94/755.15	c  755s |      23 |  3582666 |  3147438 |     1545   4345 |        0 |        0
756.94/757.16	c  757s |      23 |  3591484 |  3155338 |     1545   4354 |        0 |        0
758.96/759.17	c  759s |      23 |  3600384 |  3163238 |     1545   4363 |        0 |        0
760.95/761.18	c  761s |      23 |  3609390 |  3171138 |     1545   4372 |        0 |        0
762.95/763.20	c  763s |      23 |  3618558 |  3179138 |     1545   4382 |        0 |        0
765.04/765.20	c  765s |      23 |  3627335 |  3186938 |     1545   4391 |        0 |        0
767.04/767.21	c  767s |      23 |  3636506 |  3195038 |     1545   4400 |        0 |        0
769.04/769.22	c  769s |      23 |  3645370 |  3202938 |     1545   4409 |        0 |        0
771.05/771.23	c  771s |      23 |  3654369 |  3210738 |     1545   4418 |        0 |        0
773.04/773.25	c  773s |      23 |  3662653 |  3218238 |     1545   4426 |        0 |        0
775.03/775.27	c  775s |      23 |  3670794 |  3225538 |     1545   4435 |        0 |        0
777.03/777.28	c  777s |      23 |  3678742 |  3232738 |     1545   4443 |        0 |        0
779.13/779.31	c  779s |      23 |  3686760 |  3240038 |     1545   4451 |        0 |        0
781.13/781.31	c  781s |      23 |  3694570 |  3247138 |     1545   4460 |        0 |        0
783.14/783.32	c  783s |      23 |  3702216 |  3254138 |     1545   4468 |        0 |        0
785.12/785.32	c  785s |      23 |  3710294 |  3261338 |     1545   4476 |        0 |        0
787.12/787.33	c  787s |      23 |  3718870 |  3269138 |     1545   4485 |        0 |        0
789.12/789.34	c  789s |      23 |  3727528 |  3276938 |     1545   4494 |        0 |        0
791.12/791.36	c  791s |      23 |  3736612 |  3285138 |     1545   4503 |        0 |        0
793.12/793.37	c  793s |      23 |  3746166 |  3293438 |     1545   4513 |        0 |        0
795.12/795.39	c  795s |      23 |  3755384 |  3301538 |     1545   4522 |        0 |        0
797.11/797.39	c  797s |      23 |  3764293 |  3309538 |     1545   4531 |        0 |        0
799.21/799.41	c  799s |      23 |  3773447 |  3317638 |     1545   4540 |        0 |        0
801.21/801.43	c  801s |      23 |  3782419 |  3325538 |     1545   4550 |        0 |        0
803.22/803.43	c  803s |      23 |  3792139 |  3333738 |     1545   4559 |        0 |        0
805.22/805.44	c  805s |      23 |  3801566 |  3341738 |     1545   4568 |        0 |        0
807.22/807.44	c  807s |      23 |  3811284 |  3349938 |     1545   4578 |        0 |        0
809.22/809.46	c  809s |      23 |  3820864 |  3358138 |     1700   4586 |        0 |        0
811.22/811.47	c  811s |      23 |  3829998 |  3366138 |     1700   4595 |        0 |        0
813.22/813.47	c  813s |      23 |  3838933 |  3373938 |     1700   4603 |        0 |        0
813.92/814.16	c  814s |      24 |  3842139 |  3376662 |     1700   4606 |        0 |        0
815.91/816.18	c  816s |      24 |  3851190 |  3384762 |     1700   4614 |        0 |        0
817.91/818.18	c  818s |      24 |  3859277 |  3392062 |     1700   4622 |        0 |        0
820.01/820.20	c  820s |      24 |  3868377 |  3399962 |     1700   4630 |        0 |        0
822.01/822.22	c  822s |      24 |  3877204 |  3407862 |     1700   4638 |        0 |        0
824.01/824.24	c  824s |      24 |  3886222 |  3415762 |     1700   4647 |        0 |        0
826.01/826.25	c  826s |      24 |  3894708 |  3423362 |     1700   4655 |        0 |        0
828.00/828.26	c  828s |      24 |  3903173 |  3431062 |     1700   4663 |        0 |        0
830.00/830.27	c  830s |      24 |  3911421 |  3438462 |     1700   4670 |        0 |        0
832.00/832.28	c  832s |      24 |  3919678 |  3445862 |     1700   4678 |        0 |        0
834.10/834.31	c  834s |      24 |  3927929 |  3453162 |     1700   4686 |        0 |        0
836.09/836.34	c  836s |      24 |  3936192 |  3460462 |     1700   4693 |        0 |        0
838.10/838.36	c  838s |      24 |  3944596 |  3467862 |     1700   4701 |        0 |        0
840.09/840.36	c  840s |      24 |  3952934 |  3475262 |     1700   4709 |        0 |        0
842.09/842.37	c  842s |      24 |  3961023 |  3482562 |     1700   4716 |        0 |        0
844.09/844.38	c  844s |      24 |  3969140 |  3489862 |     1700   4724 |        0 |        0
846.08/846.40	c  846s |      24 |  3977360 |  3497262 |     1700   4732 |        0 |        0
848.19/848.40	c  848s |      24 |  3985620 |  3504662 |     1700   4739 |        0 |        0
850.19/850.42	c  850s |      24 |  3993811 |  3511962 |     1700   4747 |        0 |        0
852.19/852.45	c  852s |      24 |  4001703 |  3519062 |     1700   4754 |        0 |        0
854.19/854.46	c  854s |      24 |  4010068 |  3526462 |     1700   4762 |        0 |        0
856.18/856.46	c  856s |      24 |  4018386 |  3533762 |     1700   4770 |        0 |        0
858.18/858.49	c  858s |      24 |  4026887 |  3541162 |     1700   4778 |        0 |        0
860.28/860.51	c  860s |      24 |  4035164 |  3548562 |     1700   4785 |        0 |        0
862.29/862.51	c  862s |      24 |  4043356 |  3555862 |     1700   4793 |        0 |        0
864.28/864.51	c  864s |      24 |  4051025 |  3562862 |     1700   4800 |        0 |        0
866.27/866.54	c  866s |      24 |  4059947 |  3570562 |     1700   4808 |        0 |        0
868.27/868.55	c  868s |      24 |  4068387 |  3577862 |     1700   4816 |        0 |        0
870.27/870.56	c  870s |      24 |  4076565 |  3584962 |     1700   4823 |        0 |        0
872.27/872.59	c  872s |      24 |  4084931 |  3592262 |     1700   4831 |        0 |        0
874.28/874.60	c  874s |      24 |  4092730 |  3599162 |     1700   4838 |        0 |        0
876.36/876.61	c  876s |      24 |  4100650 |  3606162 |     1700   4846 |        0 |        0
878.36/878.61	c  878s |      24 |  4108513 |  3613262 |     1700   4853 |        0 |        0
880.37/880.62	c  880s |      24 |  4116390 |  3620262 |     1700   4860 |        0 |        0
882.37/882.63	c  882s |      24 |  4124090 |  3627162 |     1700   4867 |        0 |        0
884.37/884.66	c  884s |      24 |  4131575 |  3633962 |     1700   4875 |        0 |        0
886.37/886.67	c  886s |      24 |  4139578 |  3641062 |     1700   4882 |        0 |        0
888.36/888.68	c  888s |      24 |  4147644 |  3648062 |     1700   4889 |        0 |        0
890.36/890.69	c  890s |      24 |  4155698 |  3655262 |     1700   4897 |        0 |        0
892.46/892.70	c  892s |      24 |  4163591 |  3662362 |     1700   4904 |        0 |        0
894.46/894.72	c  894s |      24 |  4171261 |  3669262 |     1700   4911 |        0 |        0
896.45/896.73	c  896s |      24 |  4178550 |  3675862 |     1700   4918 |        0 |        0
898.46/898.73	c  898s |      24 |  4186014 |  3682662 |     1700   4925 |        0 |        0
900.45/900.73	c  900s |      24 |  4193674 |  3689562 |     1700   4933 |        0 |        0
902.45/902.74	c  902s |      24 |  4201903 |  3696862 |     1700   4940 |        0 |        0
904.46/904.76	c  904s |      24 |  4210279 |  3704262 |     1700   4948 |        0 |        0
906.45/906.78	c  906s |      24 |  4218230 |  3711462 |     1700   4956 |        0 |        0
908.55/908.80	c  908s |      24 |  4226075 |  3718562 |     1700   4963 |        0 |        0
910.55/910.83	c  910s |      24 |  4233923 |  3725662 |     1700   4970 |        0 |        0
912.54/912.85	c  912s |      24 |  4241665 |  3732562 |     1700   4978 |        0 |        0
914.55/914.86	c  914s |      24 |  4249213 |  3739462 |     1700   4985 |        0 |        0
916.55/916.87	c  916s |      24 |  4257140 |  3746562 |     1700   4992 |        0 |        0
918.54/918.89	c  918s |      24 |  4264928 |  3753462 |     1700   4999 |        0 |        0
920.64/920.91	c  920s |      24 |  4272761 |  3760262 |     1700   5007 |        0 |        0
922.65/922.94	c  922s |      24 |  4281017 |  3767462 |     1700   5014 |        0 |        0
924.64/924.95	c  924s |      24 |  4289629 |  3774962 |     1700   5022 |        0 |        0
926.64/926.95	c  926s |      24 |  4297862 |  3782262 |     1700   5030 |        0 |        0
928.64/928.95	c  928s |      24 |  4306150 |  3789762 |     1700   5037 |        0 |        0
930.64/930.97	c  930s |      24 |  4314415 |  3797162 |     1700   5045 |        0 |        0
932.64/932.97	c  932s |      24 |  4322589 |  3804562 |     1700   5053 |        0 |        0
934.63/934.99	c  934s |      24 |  4330578 |  3811862 |     1700   5061 |        0 |        0
936.73/937.01	c  936s |      24 |  4338740 |  3819162 |     1700   5068 |        0 |        0
938.73/939.02	c  939s |      24 |  4346885 |  3826362 |     1700   5076 |        0 |        0
940.73/941.04	c  941s |      24 |  4355202 |  3833762 |     1700   5083 |        0 |        0
942.73/943.06	c  943s |      24 |  4363009 |  3840962 |     1700   5091 |        0 |        0
944.73/945.07	c  945s |      24 |  4371033 |  3848262 |     1700   5099 |        0 |        0
946.72/947.08	c  947s |      24 |  4378587 |  3855162 |     1700   5106 |        0 |        0
948.82/949.10	c  949s |      24 |  4386454 |  3862162 |     1700   5113 |        0 |        0
950.82/951.11	c  951s |      24 |  4393859 |  3868962 |     1700   5120 |        0 |        0
952.82/953.11	c  953s |      24 |  4401378 |  3875762 |     1700   5127 |        0 |        0
954.82/955.11	c  955s |      24 |  4409004 |  3882662 |     1700   5135 |        0 |        0
956.82/957.12	c  957s |      24 |  4417378 |  3890162 |     1700   5142 |        0 |        0
958.81/959.13	c  959s |      24 |  4425292 |  3897162 |     1700   5150 |        0 |        0
960.81/961.13	c  961s |      24 |  4433435 |  3904362 |     1700   5157 |        0 |        0
962.82/963.16	c  963s |      24 |  4441358 |  3911462 |     1700   5165 |        0 |        0
964.82/965.19	c  965s |      24 |  4449543 |  3918662 |     1700   5172 |        0 |        0
966.91/967.23	c  967s |      24 |  4457417 |  3925662 |     1700   5180 |        0 |        0
968.92/969.25	c  969s |      24 |  4465362 |  3932662 |     1700   5187 |        0 |        0
970.91/971.28	c  971s |      24 |  4473644 |  3940062 |     1700   5195 |        0 |        0
972.91/973.28	c  973s |      24 |  4481915 |  3947262 |     1700   5202 |        0 |        0
974.91/975.29	c  975s |      24 |  4489562 |  3954162 |     1700   5209 |        0 |        0
977.00/977.30	c  977s |      24 |  4497174 |  3960962 |     1700   5217 |        0 |        0
979.00/979.33	c  979s |      24 |  4505674 |  3968262 |     1700   5224 |        0 |        0
981.00/981.36	c  981s |      24 |  4514309 |  3975562 |     1700   5232 |        0 |        0
983.00/983.38	c  983s |      24 |  4522388 |  3982662 |     1700   5239 |        0 |        0
984.99/985.38	c  985s |      24 |  4530518 |  3989662 |     1700   5247 |        0 |        0
987.09/987.40	c  987s |      24 |  4538870 |  3996862 |     1700   5254 |        0 |        0
989.09/989.41	c  989s |      24 |  4547087 |  4003962 |     1700   5262 |        0 |        0
991.09/991.43	c  991s |      24 |  4555314 |  4011262 |     1700   5269 |        0 |        0
993.10/993.43	c  993s |      24 |  4563644 |  4018462 |     1700   5277 |        0 |        0
995.09/995.44	c  995s |      24 |  4571931 |  4025662 |     1700   5284 |        0 |        0
997.09/997.45	c  997s |      24 |  4579979 |  4032762 |     1700   5292 |        0 |        0
999.09/999.48	c  999s |      24 |  4588075 |  4039862 |     1700   5299 |        0 |        0
1001.09/1001.48	c 1001s |      24 |  4595369 |  4046462 |     1700   5306 |        0 |        0
1003.08/1003.48	c 1003s |      24 |  4603452 |  4053462 |     1700   5314 |        0 |        0
1005.19/1005.51	c 1005s |      24 |  4612081 |  4060962 |     1700   5321 |        0 |        0
1007.18/1007.54	c 1007s |      24 |  4619883 |  4067862 |     1700   5329 |        0 |        0
1009.18/1009.56	c 1009s |      24 |  4627715 |  4074762 |     1700   5336 |        0 |        0
1011.18/1011.58	c 1011s |      24 |  4635749 |  4081862 |     1700   5343 |        0 |        0
1013.18/1013.59	c 1013s |      24 |  4643817 |  4088862 |     1700   5351 |        0 |        0
1015.27/1015.61	c 1015s |      24 |  4651689 |  4095762 |     1700   5358 |        0 |        0
1017.28/1017.63	c 1017s |      24 |  4659573 |  4102962 |     1700   5365 |        0 |        0
1019.27/1019.65	c 1019s |      24 |  4667637 |  4110062 |     1700   5373 |        0 |        0
1021.27/1021.67	c 1021s |      24 |  4675607 |  4117062 |     1700   5380 |        0 |        0
1023.28/1023.68	c 1023s |      24 |  4683244 |  4123862 |     1700   5387 |        0 |        0
1025.37/1025.71	c 1025s |      24 |  4691124 |  4130862 |     1700   5395 |        0 |        0
1027.37/1027.74	c 1027s |      24 |  4698970 |  4137862 |     1700   5402 |        0 |        0
1029.38/1029.75	c 1029s |      24 |  4706426 |  4144562 |     1700   5409 |        0 |        0
1031.37/1031.77	c 1031s |      24 |  4713807 |  4151262 |     1700   5416 |        0 |        0
1033.47/1033.80	c 1033s |      24 |  4721686 |  4158262 |     1700   5423 |        0 |        0
1035.46/1035.81	c 1035s |      24 |  4729502 |  4165062 |     1700   5430 |        0 |        0
1037.46/1037.83	c 1037s |      24 |  4737099 |  4171762 |     1700   5437 |        0 |        0
1039.46/1039.85	c 1039s |      24 |  4744936 |  4178662 |     1700   5445 |        0 |        0
1041.47/1041.88	c 1041s |      24 |  4752167 |  4185162 |     1700   5451 |        0 |        0
1043.46/1043.88	c 1043s |      24 |  4759328 |  4191662 |     1700   5458 |        0 |        0
1045.55/1045.90	c 1045s |      24 |  4766619 |  4198262 |     1700   5465 |        0 |        0
1047.55/1047.91	c 1047s |      24 |  4773922 |  4204862 |     1700   5472 |        0 |        0
1049.55/1049.94	c 1049s |      24 |  4781532 |  4211662 |     1700   5479 |        0 |        0
1051.55/1051.95	c 1051s |      24 |  4789620 |  4218662 |     1700   5486 |        0 |        0
1053.56/1053.96	c 1053s |      24 |  4796740 |  4225162 |     1700   5493 |        0 |        0
1055.54/1055.99	c 1055s |      24 |  4804334 |  4231962 |     1700   5500 |        0 |        0
1057.64/1058.01	c 1057s |      24 |  4811892 |  4238662 |     1700   5507 |        0 |        0
1059.64/1060.04	c 1060s |      24 |  4819449 |  4245362 |     1700   5515 |        0 |        0
1061.64/1062.06	c 1062s |      24 |  4827452 |  4252362 |     1700   5522 |        0 |        0
1063.64/1064.08	c 1064s |      24 |  4834935 |  4259062 |     1700   5529 |        0 |        0
1065.65/1066.08	c 1066s |      24 |  4842552 |  4265662 |     1700   5536 |        0 |        0
1067.64/1068.09	c 1068s |      24 |  4850078 |  4272262 |     1700   5543 |        0 |        0
1069.74/1070.11	c 1070s |      24 |  4857546 |  4278962 |     1700   5550 |        0 |        0
1071.75/1072.12	c 1072s |      24 |  4865860 |  4286162 |     1700   5557 |        0 |        0
1073.74/1074.13	c 1074s |      24 |  4873624 |  4293162 |     1700   5565 |        0 |        0
1075.74/1076.15	c 1076s |      24 |  4881761 |  4300362 |     1700   5572 |        0 |        0
1077.75/1078.18	c 1078s |      24 |  4889556 |  4307262 |     1700   5579 |        0 |        0
1079.85/1080.20	c 1080s |      24 |  4897104 |  4313862 |     1700   5586 |        0 |        0
1081.84/1082.20	c 1082s |      24 |  4904599 |  4320562 |     1700   5593 |        0 |        0
1083.84/1084.22	c 1084s |      24 |  4912040 |  4327162 |     1700   5600 |        0 |        0
1085.83/1086.23	c 1086s |      24 |  4919325 |  4333662 |     1700   5607 |        0 |        0
1087.83/1088.26	c 1088s |      24 |  4926480 |  4340062 |     1700   5614 |        0 |        0
1089.84/1090.28	c 1090s |      24 |  4933612 |  4346462 |     1700   5621 |        0 |        0
1091.84/1092.29	c 1092s |      24 |  4941397 |  4353262 |     1700   5628 |        0 |        0
1093.94/1094.31	c 1094s |      24 |  4949191 |  4360262 |     1700   5635 |        0 |        0
1095.93/1096.33	c 1096s |      24 |  4956702 |  4366962 |     1700   5642 |        0 |        0
1097.92/1098.36	c 1098s |      24 |  4964504 |  4373762 |     1700   5649 |        0 |        0
1099.93/1100.38	c 1100s |      24 |  4971758 |  4380362 |     1700   5656 |        0 |        0
1102.02/1102.40	c 1102s |      24 |  4979204 |  4387062 |     1700   5663 |        0 |        0
1104.04/1104.41	c 1104s |      24 |  4987199 |  4394062 |     1700   5670 |        0 |        0
1106.02/1106.44	c 1106s |      24 |  4994723 |  4400762 |     1700   5677 |        0 |        0
1108.02/1108.45	c 1108s |      24 |  5002433 |  4407462 |     1700   5684 |        0 |        0
1110.02/1110.45	c 1110s |      24 |  5010282 |  4414362 |     1700   5692 |        0 |        0
1112.02/1112.46	c 1112s |      24 |  5018250 |  4421462 |     1700   5699 |        0 |        0
1114.03/1114.47	c 1114s |      24 |  5025867 |  4428362 |     1700   5706 |        0 |        0
1116.01/1116.48	c 1116s |      24 |  5033470 |  4435162 |     1700   5713 |        0 |        0
1118.01/1118.48	c 1118s |      24 |  5041428 |  4442262 |     1700   5721 |        0 |        0
1120.11/1120.51	c 1120s |      24 |  5049054 |  4449062 |     1700   5728 |        0 |        0
1122.11/1122.52	c 1122s |      24 |  5057144 |  4455962 |     1700   5735 |        0 |        0
1124.11/1124.55	c 1124s |      24 |  5065516 |  4463162 |     1700   5743 |        0 |        0
1126.11/1126.57	c 1126s |      24 |  5073541 |  4470162 |     1700   5750 |        0 |        0
1128.10/1128.58	c 1128s |      24 |  5081006 |  4476862 |     1700   5757 |        0 |        0
1130.10/1130.58	c 1130s |      24 |  5088395 |  4483462 |     1700   5764 |        0 |        0
1132.20/1132.61	c 1132s |      24 |  5095513 |  4489862 |     1700   5771 |        0 |        0
1134.21/1134.61	c 1134s |      24 |  5103145 |  4496662 |     1700   5778 |        0 |        0
1136.21/1136.61	c 1136s |      24 |  5110826 |  4503462 |     1700   5785 |        0 |        0
1138.21/1138.62	c 1138s |      24 |  5118190 |  4510062 |     1700   5792 |        0 |        0
1140.20/1140.63	c 1140s |      24 |  5125441 |  4516562 |     1700   5799 |        0 |        0
1142.20/1142.65	c 1142s |      24 |  5133004 |  4523262 |     1700   5806 |        0 |        0
1144.20/1144.65	c 1144s |      24 |  5140665 |  4530062 |     1700   5813 |        0 |        0
1146.19/1146.67	c 1146s |      24 |  5148591 |  4537162 |     1700   5820 |        0 |        0
1148.19/1148.69	c 1148s |      24 |  5156142 |  4543962 |     1700   5827 |        0 |        0
1150.20/1150.70	c 1150s |      24 |  5163694 |  4550762 |     1700   5834 |        0 |        0
1152.29/1152.73	c 1152s |      24 |  5171531 |  4557762 |     1700   5842 |        0 |        0
1154.29/1154.73	c 1154s |      24 |  5179179 |  4564662 |     1700   5849 |        0 |        0
1156.28/1156.76	c 1156s |      24 |  5186963 |  4571662 |     1700   5856 |        0 |        0
1158.28/1158.79	c 1158s |      24 |  5194710 |  4578662 |     1700   5864 |        0 |        0
1160.28/1160.79	c 1160s |      24 |  5202354 |  4585462 |     1700   5871 |        0 |        0
1162.30/1162.80	c 1162s |      24 |  5209755 |  4592162 |     1700   5878 |        0 |        0
1164.39/1164.81	c 1164s |      24 |  5216968 |  4598762 |     1700   5885 |        0 |        0
1166.38/1166.83	c 1166s |      24 |  5224349 |  4605462 |     1700   5892 |        0 |        0
1168.38/1168.85	c 1168s |      24 |  5231784 |  4612262 |     1700   5899 |        0 |        0
1170.39/1170.86	c 1170s |      24 |  5239080 |  4618862 |     1700   5906 |        0 |        0
1172.38/1172.89	c 1172s |      24 |  5246464 |  4625562 |     1700   5913 |        0 |        0
1174.49/1174.91	c 1174s |      24 |  5254241 |  4632462 |     1700   5920 |        0 |        0
1176.47/1176.92	c 1176s |      24 |  5261446 |  4638962 |     1700   5927 |        0 |        0
1178.47/1178.94	c 1178s |      24 |  5268673 |  4645562 |     1700   5933 |        0 |        0
1180.47/1180.95	c 1180s |      24 |  5275597 |  4651862 |     1700   5940 |        0 |        0
1182.47/1182.97	c 1182s |      24 |  5283045 |  4658462 |     1700   5947 |        0 |        0
1184.47/1184.98	c 1184s |      24 |  5290470 |  4665162 |     1700   5954 |        0 |        0
1186.47/1186.99	c 1186s |      24 |  5297537 |  4671562 |     1700   5961 |        0 |        0
1188.57/1189.00	c 1188s |      24 |  5305196 |  4678362 |     1700   5968 |        0 |        0
1190.57/1191.01	c 1190s |      24 |  5312968 |  4685162 |     1700   5975 |        0 |        0
1192.57/1193.01	c 1192s |      24 |  5320104 |  4691562 |     1700   5982 |        0 |        0
1194.57/1195.02	c 1195s |      24 |  5327159 |  4697962 |     1700   5988 |        0 |        0
1196.56/1197.03	c 1197s |      24 |  5334327 |  4704362 |     1700   5995 |        0 |        0
1198.57/1199.03	c 1199s |      24 |  5341711 |  4710962 |     1700   6002 |        0 |        0
1200.56/1201.05	c 1201s |      24 |  5349422 |  4717762 |     1700   6009 |        0 |        0
1202.56/1203.06	c 1203s |      24 |  5356834 |  4724362 |     1700   6016 |        0 |        0
1204.56/1205.08	c 1205s |      24 |  5364003 |  4730862 |     1700   6023 |        0 |        0
1206.56/1207.09	c 1207s |      24 |  5371320 |  4737462 |     1700   6030 |        0 |        0
1208.66/1209.10	c 1209s |      24 |  5379600 |  4744762 |     1700   6037 |        0 |        0
1210.66/1211.12	c 1211s |      24 |  5386823 |  4751262 |     1700   6044 |        0 |        0
1212.66/1213.13	c 1213s |      24 |  5394669 |  4758062 |     1700   6051 |        0 |        0
1214.66/1215.14	c 1215s |      24 |  5402576 |  4764962 |     1700   6058 |        0 |        0
1216.65/1217.14	c 1217s |      24 |  5410797 |  4772062 |     1700   6066 |        0 |        0
1218.65/1219.15	c 1219s |      24 |  5418008 |  4778562 |     1700   6073 |        0 |        0
1220.65/1221.18	c 1221s |      24 |  5425480 |  4785162 |     1700   6079 |        0 |        0
1222.65/1223.20	c 1223s |      24 |  5432539 |  4791562 |     1700   6086 |        0 |        0
1224.74/1225.21	c 1225s |      24 |  5439535 |  4797862 |     1700   6093 |        0 |        0
1226.74/1227.24	c 1227s |      24 |  5446692 |  4804262 |     1700   6099 |        0 |        0
1228.74/1229.24	c 1229s |      24 |  5453770 |  4810662 |     1700   6106 |        0 |        0
1230.74/1231.25	c 1231s |      24 |  5461098 |  4817162 |     1700   6113 |        0 |        0
1232.74/1233.26	c 1233s |      24 |  5468863 |  4823962 |     1700   6120 |        0 |        0
1234.74/1235.29	c 1235s |      24 |  5475860 |  4830262 |     1700   6127 |        0 |        0
1236.84/1237.32	c 1237s |      24 |  5482966 |  4836662 |     1700   6133 |        0 |        0
1238.84/1239.34	c 1239s |      24 |  5489908 |  4842962 |     1700   6140 |        0 |        0
1240.84/1241.35	c 1241s |      24 |  5497175 |  4849462 |     1700   6147 |        0 |        0
1242.83/1243.36	c 1243s |      24 |  5504698 |  4856062 |     1700   6153 |        0 |        0
1244.84/1245.37	c 1245s |      24 |  5512267 |  4862762 |     1700   6160 |        0 |        0
1246.83/1247.39	c 1247s |      24 |  5519504 |  4869062 |     1700   6167 |        0 |        0
1248.93/1249.40	c 1249s |      24 |  5526569 |  4875462 |     1700   6174 |        0 |        0
1250.93/1251.43	c 1251s |      24 |  5533951 |  4881962 |     1700   6181 |        0 |        0
1252.93/1253.43	c 1253s |      24 |  5541538 |  4888562 |     1700   6188 |        0 |        0
1254.93/1255.45	c 1255s |      24 |  5548476 |  4894762 |     1700   6194 |        0 |        0
1257.02/1257.50	c 1257s |      24 |  5555634 |  4901062 |     1700   6201 |        0 |        0
1259.03/1259.50	c 1259s |      24 |  5562720 |  4907362 |     1700   6207 |        0 |        0
1261.02/1261.51	c 1261s |      24 |  5570133 |  4913762 |     1700   6214 |        0 |        0
1263.02/1263.53	c 1263s |      24 |  5577425 |  4920262 |     1700   6221 |        0 |        0
1265.01/1265.53	c 1265s |      24 |  5584797 |  4926862 |     1700   6228 |        0 |        0
1267.01/1267.53	c 1267s |      24 |  5591859 |  4933262 |     1700   6234 |        0 |        0
1269.02/1269.55	c 1269s |      24 |  5599478 |  4939962 |     1700   6241 |        0 |        0
1271.01/1271.55	c 1271s |      24 |  5606857 |  4946462 |     1700   6248 |        0 |        0
1273.01/1273.56	c 1273s |      24 |  5614047 |  4952962 |     1700   6255 |        0 |        0
1275.01/1275.57	c 1275s |      24 |  5620541 |  4958962 |     1700   6261 |        0 |        0
1277.01/1277.58	c 1277s |      24 |  5627693 |  4965462 |     1700   6268 |        0 |        0
1279.11/1279.60	c 1279s |      24 |  5634929 |  4972062 |     1700   6275 |        0 |        0
1281.12/1281.63	c 1281s |      24 |  5642136 |  4978462 |     1700   6281 |        0 |        0
1283.11/1283.66	c 1283s |      24 |  5648939 |  4984662 |     1700   6288 |        0 |        0
1285.10/1285.68	c 1285s |      24 |  5655773 |  4990862 |     1700   6294 |        0 |        0
1287.11/1287.69	c 1287s |      24 |  5662861 |  4997262 |     1700   6301 |        0 |        0
1289.21/1289.70	c 1289s |      24 |  5669561 |  5003462 |     1700   6308 |        0 |        0
1291.21/1291.73	c 1291s |      24 |  5676397 |  5009762 |     1700   6314 |        0 |        0
1293.21/1293.74	c 1293s |      24 |  5682994 |  5015762 |     1700   6320 |        0 |        0
1295.20/1295.74	c 1295s |      24 |  5689905 |  5021962 |     1700   6327 |        0 |        0
1297.20/1297.75	c 1297s |      24 |  5696708 |  5028162 |     1700   6333 |        0 |        0
1299.20/1299.76	c 1299s |      24 |  5703273 |  5034162 |     1871   6339 |        0 |        0
1301.20/1301.76	c 1301s |      24 |  5710615 |  5040662 |     1871   6345 |        0 |        0
1303.20/1303.78	c 1303s |      24 |  5717685 |  5046962 |     1871   6351 |        0 |        0
1305.19/1305.78	c 1305s |      24 |  5724458 |  5053062 |     1871   6357 |        0 |        0
1307.29/1307.82	c 1307s |      24 |  5731880 |  5059562 |     1871   6364 |        0 |        0
1308.99/1309.56	c 1309s |      25 |  5738057 |  5065098 |     1871   6369 |        0 |        0
1310.99/1311.58	c 1311s |      25 |  5746175 |  5072398 |     1871   6376 |        0 |        0
1313.09/1313.60	c 1313s |      25 |  5753412 |  5079098 |     1871   6382 |        0 |        0
1315.09/1315.61	c 1315s |      25 |  5760524 |  5085698 |     1871   6388 |        0 |        0
1317.08/1317.63	c 1317s |      25 |  5767601 |  5092298 |     1871   6395 |        0 |        0
1319.08/1319.66	c 1319s |      25 |  5774574 |  5098798 |     1871   6401 |        0 |        0
1321.08/1321.69	c 1321s |      25 |  5782248 |  5105698 |     1871   6408 |        0 |        0
1323.18/1323.70	c 1323s |      25 |  5789982 |  5112598 |     1871   6414 |        0 |        0
1325.17/1325.72	c 1325s |      25 |  5797669 |  5119498 |     1871   6421 |        0 |        0
1327.18/1327.73	c 1327s |      25 |  5805371 |  5126398 |     1871   6427 |        0 |        0
1329.17/1329.74	c 1329s |      25 |  5812991 |  5133198 |     1871   6434 |        0 |        0
1331.17/1331.76	c 1331s |      25 |  5820152 |  5139798 |     1871   6440 |        0 |        0
1333.17/1333.78	c 1333s |      25 |  5827342 |  5146498 |     1871   6447 |        0 |        0
1335.17/1335.79	c 1335s |      25 |  5834541 |  5153098 |     1871   6453 |        0 |        0
1337.27/1337.80	c 1337s |      25 |  5841809 |  5159698 |     1871   6459 |        0 |        0
1339.27/1339.83	c 1339s |      25 |  5848948 |  5166298 |     1871   6465 |        0 |        0
1341.27/1341.85	c 1341s |      25 |  5856130 |  5172898 |     1871   6472 |        0 |        0
1343.27/1343.86	c 1343s |      25 |  5862837 |  5179198 |     1871   6478 |        0 |        0
1345.26/1345.88	c 1345s |      25 |  5869893 |  5185698 |     1871   6484 |        0 |        0
1347.27/1347.89	c 1347s |      25 |  5877200 |  5192398 |     1871   6490 |        0 |        0
1349.27/1349.89	c 1349s |      25 |  5884598 |  5199098 |     1871   6497 |        0 |        0
1351.37/1351.92	c 1351s |      25 |  5892099 |  5205898 |     1871   6503 |        0 |        0
1353.36/1353.93	c 1353s |      25 |  5898869 |  5212198 |     1871   6509 |        0 |        0
1355.36/1355.94	c 1355s |      25 |  5905533 |  5218498 |     1871   6515 |        0 |        0
1357.36/1357.94	c 1357s |      25 |  5912522 |  5224998 |     1871   6522 |        0 |        0
1359.36/1359.96	c 1359s |      25 |  5920128 |  5231898 |     1871   6528 |        0 |        0
1361.37/1361.96	c 1361s |      25 |  5927420 |  5238498 |     1871   6534 |        0 |        0
1363.36/1363.97	c 1363s |      25 |  5934905 |  5245298 |     1871   6541 |        0 |        0
1365.46/1366.01	c 1365s |      25 |  5942633 |  5252198 |     1871   6548 |        0 |        0
1367.46/1368.02	c 1368s |      25 |  5950036 |  5258898 |     1871   6554 |        0 |        0
1369.46/1370.04	c 1370s |      25 |  5957168 |  5265398 |     1871   6560 |        0 |        0
1371.46/1372.05	c 1372s |      25 |  5964252 |  5271898 |     1871   6566 |        0 |        0
1373.46/1374.08	c 1374s |      25 |  5972238 |  5278998 |     1871   6573 |        0 |        0
1375.45/1376.09	c 1376s |      25 |  5980175 |  5286098 |     1871   6580 |        0 |        0
1377.55/1378.11	c 1378s |      25 |  5987734 |  5292898 |     1871   6586 |        0 |        0
1379.55/1380.12	c 1380s |      25 |  5994823 |  5299398 |     1871   6593 |        0 |        0
1381.55/1382.13	c 1382s |      25 |  6002666 |  5306298 |     1871   6599 |        0 |        0
1383.55/1384.14	c 1384s |      25 |  6009827 |  5312898 |     1871   6606 |        0 |        0
1385.56/1386.15	c 1386s |      25 |  6017167 |  5319598 |     1871   6612 |        0 |        0
1387.55/1388.17	c 1388s |      25 |  6024731 |  5326298 |     1871   6618 |        0 |        0
1389.65/1390.20	c 1390s |      25 |  6032143 |  5332998 |     1871   6625 |        0 |        0
1391.65/1392.23	c 1392s |      25 |  6039658 |  5339698 |     1871   6631 |        0 |        0
1393.65/1394.25	c 1394s |      25 |  6046742 |  5346198 |     1871   6637 |        0 |        0
1395.65/1396.27	c 1396s |      25 |  6054123 |  5352798 |     1871   6644 |        0 |        0
1397.65/1398.28	c 1398s |      25 |  6061427 |  5359398 |     1871   6650 |        0 |        0
1399.75/1400.31	c 1400s |      25 |  6069027 |  5366098 |     1871   6657 |        0 |        0
1401.75/1402.34	c 1402s |      25 |  6076497 |  5372898 |     1871   6663 |        0 |        0
1403.75/1404.37	c 1404s |      25 |  6083707 |  5379498 |     1871   6669 |        0 |        0
1405.75/1406.39	c 1406s |      25 |  6090982 |  5386098 |     1871   6676 |        0 |        0
1407.85/1408.41	c 1408s |      25 |  6098161 |  5392598 |     1871   6682 |        0 |        0
1409.85/1410.43	c 1410s |      25 |  6105336 |  5398998 |     1871   6688 |        0 |        0
1411.85/1412.44	c 1412s |      25 |  6112842 |  5405598 |     1871   6694 |        0 |        0
1413.84/1414.46	c 1414s |      25 |  6120897 |  5412698 |     1871   6701 |        0 |        0
1415.94/1416.50	c 1416s |      25 |  6128387 |  5419398 |     1871   6708 |        0 |        0
1417.94/1418.51	c 1418s |      25 |  6136107 |  5426198 |     1871   6714 |        0 |        0
1419.94/1420.53	c 1420s |      25 |  6144025 |  5433098 |     1871   6721 |        0 |        0
1421.94/1422.53	c 1422s |      25 |  6152173 |  5440098 |     1871   6727 |        0 |        0
1423.95/1424.54	c 1424s |      25 |  6159896 |  5446898 |     1871   6734 |        0 |        0
1425.94/1426.55	c 1426s |      25 |  6167442 |  5453698 |     1871   6740 |        0 |        0
1427.94/1428.58	c 1428s |      25 |  6175024 |  5460498 |     1871   6747 |        0 |        0
1430.04/1430.60	c 1430s |      25 |  6182620 |  5467298 |     1871   6753 |        0 |        0
1432.04/1432.61	c 1432s |      25 |  6190143 |  5473998 |     1871   6760 |        0 |        0
1434.04/1434.62	c 1434s |      25 |  6197091 |  5480298 |     1871   6766 |        0 |        0
1436.06/1436.63	c 1436s |      25 |  6204563 |  5486898 |     1871   6772 |        0 |        0
1438.05/1438.65	c 1438s |      25 |  6211687 |  5493298 |     1871   6778 |        0 |        0
1440.05/1440.66	c 1440s |      25 |  6218997 |  5499898 |     1871   6785 |        0 |        0
1442.05/1442.68	c 1442s |      25 |  6226559 |  5506798 |     1871   6791 |        0 |        0
1444.15/1444.70	c 1444s |      25 |  6234104 |  5513698 |     1871   6798 |        0 |        0
1446.15/1446.71	c 1446s |      25 |  6241379 |  5520398 |     1871   6804 |        0 |        0
1448.15/1448.74	c 1448s |      25 |  6248657 |  5527098 |     1871   6811 |        0 |        0
1450.15/1450.74	c 1450s |      25 |  6255974 |  5533798 |     1871   6817 |        0 |        0
1452.15/1452.77	c 1452s |      25 |  6263457 |  5540498 |     1871   6824 |        0 |        0
1454.14/1454.77	c 1454s |      25 |  6270395 |  5546898 |     1871   6830 |        0 |        0
1456.14/1456.79	c 1456s |      25 |  6277421 |  5553298 |     1871   6836 |        0 |        0
1458.24/1458.80	c 1458s |      25 |  6284442 |  5559698 |     1871   6842 |        0 |        0
1460.25/1460.82	c 1460s |      25 |  6291365 |  5565998 |     1871   6848 |        0 |        0
1462.24/1462.84	c 1462s |      25 |  6298722 |  5572598 |     1871   6854 |        0 |        0
1464.24/1464.86	c 1464s |      25 |  6305754 |  5578898 |     1871   6860 |        0 |        0
1466.24/1466.88	c 1466s |      25 |  6312957 |  5585298 |     1871   6867 |        0 |        0
1468.34/1468.91	c 1468s |      25 |  6319941 |  5591698 |     1871   6873 |        0 |        0
1470.34/1470.91	c 1470s |      25 |  6327016 |  5598198 |     1871   6879 |        0 |        0
1472.35/1472.92	c 1472s |      25 |  6334157 |  5604698 |     1871   6885 |        0 |        0
1474.34/1474.94	c 1474s |      25 |  6341330 |  5611198 |     1871   6891 |        0 |        0
1476.34/1476.94	c 1476s |      25 |  6348515 |  5617698 |     1871   6898 |        0 |        0
1478.34/1478.96	c 1478s |      25 |  6355630 |  5624098 |     1871   6904 |        0 |        0
1480.34/1480.98	c 1480s |      25 |  6362473 |  5630398 |     1871   6910 |        0 |        0
1482.44/1483.01	c 1482s |      25 |  6369565 |  5636798 |     1871   6916 |        0 |        0
1484.44/1485.01	c 1484s |      25 |  6376498 |  5643098 |     1871   6922 |        0 |        0
1486.44/1487.03	c 1487s |      25 |  6383380 |  5649498 |     1871   6928 |        0 |        0
1488.44/1489.06	c 1489s |      25 |  6390358 |  5655898 |     1871   6934 |        0 |        0
1490.44/1491.09	c 1491s |      25 |  6397116 |  5662098 |     1871   6940 |        0 |        0
1492.43/1493.09	c 1493s |      25 |  6403585 |  5668098 |     1871   6946 |        0 |        0
1494.44/1495.09	c 1495s |      25 |  6410398 |  5674298 |     1871   6952 |        0 |        0
1496.54/1497.11	c 1497s |      25 |  6417471 |  5680698 |     1871   6958 |        0 |        0
1498.53/1499.12	c 1499s |      25 |  6424839 |  5687298 |     1871   6964 |        0 |        0
1500.53/1501.13	c 1501s |      25 |  6431920 |  5693798 |     1871   6971 |        0 |        0
1502.53/1503.14	c 1503s |      25 |  6439127 |  5700298 |     1871   6977 |        0 |        0
1504.53/1505.16	c 1505s |      25 |  6446882 |  5707198 |     1871   6983 |        0 |        0
1506.54/1507.17	c 1507s |      25 |  6453978 |  5713698 |     1871   6990 |        0 |        0
1508.53/1509.18	c 1509s |      25 |  6461240 |  5720298 |     1871   6996 |        0 |        0
1510.63/1511.20	c 1511s |      25 |  6468545 |  5726898 |     1871   7002 |        0 |        0
1512.63/1513.21	c 1513s |      25 |  6476142 |  5733598 |     1871   7009 |        0 |        0
1514.63/1515.23	c 1515s |      25 |  6483637 |  5740198 |     1871   7015 |        0 |        0
1516.63/1517.23	c 1517s |      25 |  6491326 |  5746998 |     1871   7022 |        0 |        0
1518.63/1519.24	c 1519s |      25 |  6498708 |  5753598 |     1871   7028 |        0 |        0
1520.63/1521.24	c 1521s |      25 |  6506289 |  5760298 |     1871   7034 |        0 |        0
1522.63/1523.25	c 1523s |      25 |  6513875 |  5767098 |     1871   7041 |        0 |        0
1524.63/1525.27	c 1525s |      25 |  6521487 |  5773798 |     1871   7047 |        0 |        0
1526.63/1527.27	c 1527s |      25 |  6528605 |  5780198 |     1871   7054 |        0 |        0
1528.63/1529.27	c 1529s |      25 |  6535739 |  5786598 |     1871   7060 |        0 |        0
1530.63/1531.28	c 1531s |      25 |  6543730 |  5793598 |     1871   7066 |        0 |        0
1532.73/1533.30	c 1533s |      25 |  6551299 |  5800198 |     1871   7073 |        0 |        0
1534.72/1535.30	c 1535s |      25 |  6559488 |  5807198 |     1871   7079 |        0 |        0
1536.72/1537.31	c 1537s |      25 |  6566781 |  5813798 |     1871   7086 |        0 |        0
1538.73/1539.32	c 1539s |      25 |  6574384 |  5820598 |     1871   7092 |        0 |        0
1540.73/1541.33	c 1541s |      25 |  6581969 |  5827298 |     1871   7099 |        0 |        0
1542.74/1543.35	c 1543s |      25 |  6590052 |  5834298 |     1871   7105 |        0 |        0
1544.73/1545.35	c 1545s |      25 |  6597514 |  5840998 |     1871   7112 |        0 |        0
1546.73/1547.37	c 1547s |      25 |  6604651 |  5847498 |     1871   7118 |        0 |        0
1548.83/1549.40	c 1549s |      25 |  6612224 |  5854198 |     1871   7125 |        0 |        0
1550.83/1551.41	c 1551s |      25 |  6619680 |  5860898 |     1871   7131 |        0 |        0
1552.83/1553.42	c 1553s |      25 |  6627065 |  5867598 |     1871   7137 |        0 |        0
1554.83/1555.43	c 1555s |      25 |  6634414 |  5874198 |     1871   7144 |        0 |        0
1556.83/1557.45	c 1557s |      25 |  6641865 |  5880898 |     1871   7150 |        0 |        0
1558.83/1559.47	c 1559s |      25 |  6649282 |  5887598 |     1871   7157 |        0 |        0
1560.83/1561.49	c 1561s |      25 |  6656382 |  5893998 |     1871   7163 |        0 |        0
1562.93/1563.50	c 1563s |      25 |  6663831 |  5900598 |     1871   7169 |        0 |        0
1564.93/1565.51	c 1565s |      25 |  6671409 |  5907298 |     1871   7176 |        0 |        0
1566.93/1567.51	c 1567s |      25 |  6679259 |  5914198 |     1871   7182 |        0 |        0
1568.92/1569.53	c 1569s |      25 |  6687572 |  5921398 |     1871   7189 |        0 |        0
1570.92/1571.54	c 1571s |      25 |  6695390 |  5928298 |     1871   7196 |        0 |        0
1572.92/1573.57	c 1573s |      25 |  6703121 |  5935098 |     1871   7202 |        0 |        0
1574.92/1575.58	c 1575s |      25 |  6710829 |  5941798 |     1871   7209 |        0 |        0
1577.02/1577.61	c 1577s |      25 |  6718947 |  5948798 |     1871   7215 |        0 |        0
1579.03/1579.63	c 1579s |      25 |  6726829 |  5955698 |     1871   7222 |        0 |        0
1581.02/1581.65	c 1581s |      25 |  6734711 |  5962498 |     1871   7229 |        0 |        0
1583.02/1583.65	c 1583s |      25 |  6741769 |  5968898 |     1871   7235 |        0 |        0
1585.02/1585.67	c 1585s |      25 |  6749500 |  5975798 |     1871   7241 |        0 |        0
1587.02/1587.69	c 1587s |      25 |  6757322 |  5982698 |     1871   7248 |        0 |        0
1589.12/1589.71	c 1589s |      25 |  6765002 |  5989498 |     1871   7254 |        0 |        0
1591.13/1591.72	c 1591s |      25 |  6773380 |  5996598 |     1871   7261 |        0 |        0
1593.12/1593.74	c 1593s |      25 |  6781241 |  6003398 |     1871   7268 |        0 |        0
1595.12/1595.74	c 1595s |      25 |  6788764 |  6010098 |     1871   7274 |        0 |        0
1597.12/1597.74	c 1597s |      25 |  6796343 |  6016898 |     1871   7281 |        0 |        0
1599.12/1599.76	c 1599s |      25 |  6803922 |  6023698 |     1871   7287 |        0 |        0
1601.12/1601.76	c 1601s |      25 |  6811233 |  6030298 |     1871   7294 |        0 |        0
1603.12/1603.76	c 1603s |      25 |  6818516 |  6036798 |     1871   7300 |        0 |        0
1605.12/1605.77	c 1605s |      25 |  6826419 |  6043598 |     1871   7306 |        0 |        0
1607.12/1607.79	c 1607s |      25 |  6833900 |  6050298 |     1871   7313 |        0 |        0
1609.22/1609.80	c 1609s |      25 |  6841172 |  6056898 |     1871   7319 |        0 |        0
1611.22/1611.80	c 1611s |      25 |  6849034 |  6063798 |     1871   7326 |        0 |        0
1613.22/1613.82	c 1613s |      25 |  6856565 |  6070498 |     1871   7332 |        0 |        0
1615.21/1615.84	c 1615s |      25 |  6863863 |  6077098 |     1871   7338 |        0 |        0
1617.21/1617.85	c 1617s |      25 |  6871422 |  6083798 |     1871   7345 |        0 |        0
1619.21/1619.87	c 1619s |      25 |  6878986 |  6090498 |     1871   7351 |        0 |        0
1621.21/1621.87	c 1621s |      25 |  6886699 |  6097298 |     1871   7358 |        0 |        0
1623.31/1623.90	c 1623s |      25 |  6894638 |  6104198 |     1871   7365 |        0 |        0
1625.32/1625.93	c 1625s |      25 |  6902439 |  6111098 |     1871   7371 |        0 |        0
1627.31/1627.94	c 1627s |      25 |  6909612 |  6117498 |     1871   7377 |        0 |        0
1629.31/1629.96	c 1629s |      25 |  6917605 |  6124498 |     1871   7384 |        0 |        0
1631.32/1631.98	c 1631s |      25 |  6925231 |  6131298 |     1871   7391 |        0 |        0
1633.42/1634.00	c 1633s |      25 |  6933141 |  6138198 |     1871   7397 |        0 |        0
1635.42/1636.00	c 1635s |      25 |  6940458 |  6144698 |     1871   7403 |        0 |        0
1637.42/1638.02	c 1638s |      25 |  6947878 |  6151298 |     1871   7410 |        0 |        0
1639.42/1640.04	c 1640s |      25 |  6954775 |  6157598 |     1871   7416 |        0 |        0
1641.41/1642.06	c 1642s |      25 |  6962069 |  6164098 |     1871   7422 |        0 |        0
1643.41/1644.07	c 1644s |      25 |  6969159 |  6170498 |     1871   7428 |        0 |        0
1645.41/1646.09	c 1646s |      25 |  6976060 |  6176898 |     1871   7434 |        0 |        0
1647.41/1648.09	c 1648s |      25 |  6983711 |  6183698 |     1871   7441 |        0 |        0
1649.42/1650.09	c 1650s |      25 |  6991025 |  6190298 |     1871   7447 |        0 |        0
1651.51/1652.11	c 1652s |      25 |  6998244 |  6196898 |     1871   7454 |        0 |        0
1653.51/1654.14	c 1654s |      25 |  7005820 |  6203598 |     1871   7460 |        0 |        0
1655.51/1656.17	c 1656s |      25 |  7013254 |  6210198 |     1871   7466 |        0 |        0
1657.51/1658.18	c 1658s |      25 |  7020661 |  6216798 |     1871   7473 |        0 |        0
1659.51/1660.18	c 1660s |      25 |  7027734 |  6223298 |     1871   7479 |        0 |        0
1661.51/1662.18	c 1662s |      25 |  7034427 |  6229498 |     1871   7485 |        0 |        0
1663.51/1664.19	c 1664s |      25 |  7041265 |  6235698 |     1871   7491 |        0 |        0
1665.61/1666.21	c 1666s |      25 |  7048122 |  6241998 |     1871   7497 |        0 |        0
1667.61/1668.23	c 1668s |      25 |  7055579 |  6248598 |     1871   7503 |        0 |        0
1669.61/1670.25	c 1670s |      25 |  7062926 |  6255198 |     1871   7510 |        0 |        0
1671.61/1672.27	c 1672s |      25 |  7070364 |  6261798 |     1871   7516 |        0 |        0
1673.61/1674.30	c 1674s |      25 |  7077442 |  6268198 |     1871   7522 |        0 |        0
1675.71/1676.33	c 1676s |      25 |  7084644 |  6274698 |     1871   7528 |        0 |        0
1677.71/1678.35	c 1678s |      25 |  7092052 |  6281398 |     1871   7535 |        0 |        0
1679.70/1680.37	c 1680s |      25 |  7099700 |  6288098 |     1871   7541 |        0 |        0
1681.70/1682.39	c 1682s |      25 |  7107730 |  6294998 |     1871   7548 |        0 |        0
1683.80/1684.42	c 1684s |      25 |  7115274 |  6301598 |     1871   7554 |        0 |        0
1685.81/1686.46	c 1686s |      25 |  7122687 |  6308198 |     1871   7561 |        0 |        0
1687.80/1688.46	c 1688s |      25 |  7130121 |  6314798 |     1871   7567 |        0 |        0
1689.80/1690.48	c 1690s |      25 |  7137811 |  6321498 |     1871   7573 |        0 |        0
1691.80/1692.49	c 1692s |      25 |  7145761 |  6328298 |     1871   7580 |        0 |        0
1693.91/1694.50	c 1694s |      25 |  7153148 |  6334898 |     1871   7586 |        0 |        0
1695.91/1696.51	c 1696s |      25 |  7160782 |  6341698 |     1871   7593 |        0 |        0
1697.92/1698.54	c 1698s |      25 |  7168105 |  6348298 |     1871   7599 |        0 |        0
1699.91/1700.55	c 1700s |      25 |  7175621 |  6354898 |     1871   7605 |        0 |        0
1701.91/1702.57	c 1702s |      25 |  7182835 |  6361298 |     1871   7612 |        0 |        0
1703.91/1704.59	c 1704s |      25 |  7190310 |  6367898 |     1871   7618 |        0 |        0
1706.01/1706.61	c 1706s |      25 |  7197276 |  6374098 |     1871   7624 |        0 |        0
1708.01/1708.62	c 1708s |      25 |  7204397 |  6380498 |     1871   7630 |        0 |        0
1710.01/1710.62	c 1710s |      25 |  7212270 |  6387198 |     1871   7636 |        0 |        0
1712.01/1712.63	c 1712s |      25 |  7219942 |  6393898 |     1871   7643 |        0 |        0
1714.01/1714.64	c 1714s |      25 |  7227328 |  6400398 |     1871   7649 |        0 |        0
1716.01/1716.64	c 1716s |      25 |  7235059 |  6406998 |     1871   7655 |        0 |        0
1718.01/1718.66	c 1718s |      25 |  7242870 |  6413798 |     1871   7662 |        0 |        0
1720.01/1720.68	c 1720s |      25 |  7250553 |  6420398 |     1871   7668 |        0 |        0
1722.01/1722.69	c 1722s |      25 |  7258038 |  6426998 |     1871   7675 |        0 |        0
1724.11/1724.70	c 1724s |      25 |  7265288 |  6433498 |     1871   7681 |        0 |        0
1726.10/1726.73	c 1726s |      25 |  7272071 |  6439698 |     1871   7687 |        0 |        0
1728.10/1728.75	c 1728s |      25 |  7279052 |  6445898 |     1871   7693 |        0 |        0
1730.10/1730.76	c 1730s |      25 |  7286077 |  6452198 |     1871   7699 |        0 |        0
1732.10/1732.79	c 1732s |      25 |  7293314 |  6458598 |     1871   7705 |        0 |        0
1734.21/1734.81	c 1734s |      25 |  7300526 |  6464998 |     1871   7711 |        0 |        0
1736.20/1736.81	c 1736s |      25 |  7307801 |  6471398 |     1871   7717 |        0 |        0
1738.20/1738.82	c 1738s |      25 |  7315103 |  6477898 |     1871   7724 |        0 |        0
1740.20/1740.83	c 1740s |      25 |  7322677 |  6484498 |     1871   7730 |        0 |        0
1742.20/1742.86	c 1742s |      25 |  7330501 |  6491298 |     1871   7737 |        0 |        0
1744.20/1744.88	c 1744s |      25 |  7338475 |  6498298 |     1871   7743 |        0 |        0
1746.21/1746.89	c 1746s |      25 |  7346461 |  6505298 |     1871   7750 |        0 |        0
1748.30/1748.90	c 1748s |      25 |  7354419 |  6512198 |     1871   7757 |        0 |        0
1750.30/1750.92	c 1750s |      25 |  7362382 |  6519098 |     1871   7763 |        0 |        0
1752.30/1752.94	c 1752s |      25 |  7370313 |  6525898 |     1871   7770 |        0 |        0
1754.30/1754.95	c 1754s |      25 |  7377365 |  6532298 |     1871   7776 |        0 |        0
1756.30/1756.95	c 1756s |      25 |  7384719 |  6538798 |     1871   7782 |        0 |        0
1758.30/1758.97	c 1758s |      25 |  7392395 |  6545498 |     1871   7789 |        0 |        0
1760.30/1761.00	c 1760s |      25 |  7400361 |  6552398 |     1871   7795 |        0 |        0
1762.40/1763.00	c 1762s |      25 |  7408023 |  6559098 |     1871   7802 |        0 |        0
1764.40/1765.02	c 1765s |      25 |  7415743 |  6565998 |     1871   7808 |        0 |        0
1766.40/1767.04	c 1767s |      25 |  7423610 |  6572898 |     1871   7815 |        0 |        0
1768.40/1769.07	c 1769s |      25 |  7430937 |  6579398 |     1871   7821 |        0 |        0
1770.40/1771.09	c 1771s |      25 |  7438685 |  6586298 |     1871   7828 |        0 |        0
1772.49/1773.10	c 1773s |      25 |  7446483 |  6593198 |     1871   7835 |        0 |        0
1774.49/1775.11	c 1775s |      25 |  7454743 |  6600198 |     1871   7841 |        0 |        0
1776.49/1777.14	c 1777s |      25 |  7462614 |  6607098 |     1871   7848 |        0 |        0
1778.49/1779.18	c 1779s |      25 |  7470671 |  6614098 |     1871   7855 |        0 |        0
1780.49/1781.18	c 1781s |      25 |  7478610 |  6620998 |     1871   7861 |        0 |        0
1782.50/1783.20	c 1783s |      25 |  7486742 |  6627898 |     1871   7868 |        0 |        0
1784.59/1785.23	c 1785s |      25 |  7494739 |  6634798 |     1871   7874 |        0 |        0
1786.59/1787.26	c 1787s |      25 |  7502450 |  6641498 |     1871   7881 |        0 |        0
1788.59/1789.26	c 1789s |      25 |  7509895 |  6648098 |     1871   7887 |        0 |        0
1790.59/1791.27	c 1791s |      25 |  7518159 |  6654998 |     1871   7894 |        0 |        0
1792.59/1793.28	c 1793s |      25 |  7526062 |  6661798 |     1871   7900 |        0 |        0
1794.69/1795.31	c 1795s |      25 |  7533027 |  6668098 |     1871   7906 |        0 |        0
1796.69/1797.32	c 1797s |      25 |  7540199 |  6674498 |     1871   7913 |        0 |        0
1798.69/1799.34	c 1799s |      25 |  7547148 |  6680798 |     1871   7919 |        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-4089736-1466032714/watcher-4089736-1466032714 -o /tmp/evaluation-result-4089736-1466032714/solver-4089736-1466032714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089736-1466032714.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.21 2.18 2/181 11516
/proc/meminfo: memFree=29303644/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=672188 CPUtime=0 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 2500 0 0 0 0 0 0 0 20 0 4 0 5317839 688320512 2350 33554432000 4194304 16246674 140733897915024 140733897914448 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 168559 2358 441 2943 0 165453 0
[pid=11516/tid=11517] ppid=11513 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 706146304 2418 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 711389184 2435 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5317839 715583488 2452 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.25 2.21 2.18 2/181 11516
/proc/meminfo: memFree=29303644/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 26903 0 0 0 5 3 0 0 20 0 4 0 5317839 1247350784 26742 33554432000 4194304 16246674 140733897915024 140733897914448 5667714 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 304529 26750 712 2943 0 301423 0
[pid=11516/tid=11517] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 26759 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 26771 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 26777 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 2.25 2.21 2.18 2/181 11516
/proc/meminfo: memFree=29303644/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 52749 0 0 0 12 7 0 0 20 0 4 0 5317839 1247350784 52589 33554432000 4194304 16246674 140733897915024 140733897914448 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 304529 52604 712 2943 0 301423 0
[pid=11516/tid=11517] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 52613 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 52619 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 52626 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300489 s]
/proc/loadavg: 2.25 2.21 2.18 2/181 11516
/proc/meminfo: memFree=29303644/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 79811 0 0 0 19 10 0 0 20 0 4 0 5317839 1247350784 79650 33554432000 4194304 16246674 140733897915024 140733897896896 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 304529 79664 712 2943 0 301423 0
[pid=11516/tid=11517] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 79673 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 79682 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 79691 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.25 2.21 2.18 2/181 11516
/proc/meminfo: memFree=29303644/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 184418 0 0 0 47 22 0 0 20 0 4 0 5317839 1247350784 184258 33554432000 4194304 16246674 140733897915024 140733897896896 5707789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 304529 184273 712 2943 0 301423 0
[pid=11516/tid=11517] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 184280 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 184284 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5317839 1247350784 184288 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.25 2.21 2.18 3/185 11520
/proc/meminfo: memFree=28322544/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 245693 0 0 0 119 30 0 0 20 0 4 0 5317839 1248399360 245512 33554432000 4194304 16246674 140733897915024 140733897896896 5523513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 304785 245512 787 2943 0 301679 0
[pid=11516/tid=11517] ppid=11513 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1248399360 245512 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1248399360 245512 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1248399360 245512 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.25 2.21 2.18 3/185 11520
/proc/meminfo: memFree=28235884/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 267469 0 0 0 276 33 0 0 20 0 4 0 5317839 1337528320 267288 33554432000 4194304 16246674 140733897915024 140733897898024 5676224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 326545 267288 787 2943 0 323439 0
[pid=11516/tid=11517] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267288 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267288 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267288 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.23 2.21 2.18 4/185 11520
/proc/meminfo: memFree=28234192/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 267533 0 0 0 595 34 0 0 20 0 4 0 5317839 1337528320 267352 33554432000 4194304 16246674 140733897915024 140733897896896 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 326545 267352 790 2943 0 323439 0
[pid=11516/tid=11517] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267352 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267352 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1337528320 267352 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.21 2.20 2.18 3/185 11520
/proc/meminfo: memFree=28233852/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 267641 0 0 0 1233 35 0 0 20 0 4 0 5317839 1338576896 267460 33554432000 4194304 16246674 140733897915024 140733897896896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 326801 267460 791 2943 0 323695 0
[pid=11516/tid=11517] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267460 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267460 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267460 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.31 2.23 2.19 3/185 11520
/proc/meminfo: memFree=28231576/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 267829 0 0 0 2511 38 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 140733897896896 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 326801 267648 791 2943 0 323695 0
[pid=11516/tid=11517] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.35 2.24 2.19 4/185 11520
/proc/meminfo: memFree=28231332/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 267829 0 0 0 5066 42 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 140733897898024 5822492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 326801 267648 791 2943 0 323695 0
[pid=11516/tid=11517] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1338576896 267648 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.20 2.21 2.18 3/186 11524
/proc/meminfo: memFree=28230232/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 268047 0 0 0 10181 47 0 0 20 0 4 0 5317839 1339625472 267866 33554432000 4194304 16246674 140733897915024 140733897896896 5823508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 327057 267866 792 2943 0 323951 0
[pid=11516/tid=11517] ppid=11513 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1339625472 267866 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1339625472 267866 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1339625472 267866 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.23 2.24 2.22 3/185 11556
/proc/meminfo: memFree=28221664/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1361.76 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 136076 100 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.21 3/185 11557
/proc/meminfo: memFree=28222368/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1421.75 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 142075 100 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 5661428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.20 2.22 2.21 4/185 11559
/proc/meminfo: memFree=28222004/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1481.74 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 148073 101 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 5677537 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.33 2.25 2.22 3/185 11560
/proc/meminfo: memFree=28221852/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1541.74 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 154072 102 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 5827838 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.26 2.25 2.22 3/185 11658
/proc/meminfo: memFree=28223196/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1601.72 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 160070 102 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897898024 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.17 2.23 2.21 4/185 11659
/proc/meminfo: memFree=28223280/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1661.71 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 166068 103 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 12483382 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.19 2.23 2.21 3/185 11660
/proc/meminfo: memFree=28223048/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1721.71 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 172067 104 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.21 3/185 11662
/proc/meminfo: memFree=28222516/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1781.69 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 178065 104 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 6020452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.29 2.25 2.21 4/185 11663
/proc/meminfo: memFree=28222604/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1800.09 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 179905 104 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 5546072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.7 s]
/proc/loadavg: 2.29 2.25 2.21 4/185 11663
/proc/meminfo: memFree=28222604/32872528 swapFree=1481856/1661728
[pid=11516] ppid=11513 vsize=1312324 CPUtime=1800.09 cores=1,3,5,7
/proc/11516/stat : 11516 (toysat) R 11513 11516 6232 0 -1 4202496 269570 0 0 0 179905 104 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 140733897896896 5546072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11516/statm: 328081 269154 792 2943 0 324975 0
[pid=11516/tid=11517] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11517/stat : 11517 (toysat) S 11513 11516 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931652435184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11516/tid=11518] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11518/stat : 11518 (toysat) S 11513 11516 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931641945328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11516/tid=11519] ppid=11513 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11516/task/11519/stat : 11519 (toysat) S 11513 11516 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5317839 1343819776 269154 33554432000 4194304 16246674 140733897915024 139931631471792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1799.07
CPU system time (s): 1.04784
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.04784
maximum resident set size= 1076616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269570
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= 505
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73628 second user time and 7.11592 second system time

The end

Begin job on node134 at 2016-06-16 01:18:34
IDJOB=4089736
IDBENCH=107449
IDSOLVER=2542
FILE ID=node134/4089736-1466032714
RUNJOBID= node134-1466019588-9689
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= e84b0279e26b8fa79b2606047048d40f
RANDOM SEED=344115223

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29304164 kB
Buffers:           33624 kB
Cached:            81912 kB
SwapCached:        17352 kB
Active:          1140972 kB
Inactive:          64932 kB
Active(anon):    1074624 kB
Inactive(anon):    18004 kB
Active(file):      66348 kB
Inactive(file):    46928 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2798280 kB
Mapped:            10512 kB
Shmem:                 0 kB
Slab:             566980 kB
SReclaimable:      11232 kB
SUnreclaim:       555748 kB
KernelStack:        1536 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 01:48:35