0.00/0.00	c 2016-06-07T04:03:48+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-4079001-1465265028.opb"]
0.00/0.01	c use --random-gen="427755830 3736500197 3669227444 1697430275 964156426 1801190360 289457175 3778314900 4090131179 1921807690 3164831526 4159622919 3744637884 804202969 3180203493 2834870420 4191571461 2029983052 720446161 2412580294 2412499951 2197286478 613650398 1810930213 959250931 1029811668 1506552058 3264350642 1167631277 4220544407 388829196 1898084751 3730129107 4033118188 3461847878 3634468781 1844911702 1210733428 3404340116 20692345 3945424881 1815800126 759898213 3880176567 3172115083 3625703577 3913594539 1925182916 3600303647 201664178 3608382864 2082902126 2680561880 1441344105 3226167314 4145634817 110110795 729903640 328654220 2004781796 508405784 1245042072 2756330095 1257601950 1203098163 1931635392 4193636719 3138855110 1756256350 81054170 3678225522 3629018781 1021684147 3384952174 4065152726 1816785386 421167922 2010369770 780404806 703135585 166453469 2974593513 757658453 3578537354 396012625 2068383414 226679639 1014796229 2007160986 4187754989 1417319989 3197471374 591396492 1070454806 2463260068 3240978755 2201542154 1725398684 1485734890 2695982331 3029619128 461464646 1490804739 274547394 3940821164 144607825 3087952375 3127862999 1511502950 1011265411 4285275464 3135407804 3642504411 1197678254 3121851854 2095687195 3659634455 4017629573 1565024994 1231510118 412514896 3111589372 1414562587 3723472431 1692190687 1266991391 3303987381 2036394588 3285267299 3937757998 3676035937 2090586400 3236069773 923425536 2899305739 4135895883 3041667082 3471249980 2025981520 1978402513 1051402828 1862993865 774310694 3340048893 3343922027 2889005896 3891320236 2803325294 1014420164 774202554 4154775566 794852129 3660142780 69633047 3845414999 2499009015 949652600 2798716937 3254034286 920166513 3721928336 3663074888 1032314236 1151404657 339042941 83736977 1700419662 1677048481 1383335515 2759550611 4105482925 3376070612 2718494473 3562354323 4151121407 2066927138 167866183 189613157 2884610260 873758147 3473105033 2002552704 1007281994 2294730484 1403193702 2799903441 2023003977 574294336 2678951873 1899690265 3940738950 1804099249 26196228 1036102814 1315134659 1057248589 2089954608 1780282199 3024225020 2363176666 2144458706 693578531 3040336222 1353787733 870467500 3303459049 4080283228 1391998343 4230447293 1746237260 41578272 1819552366 730820718 2798314135 3440854698 3255083126 1984470624 3590207852 1343432944 2554294361 3800884134 1403065785 822949777 590022929 2941011376 3912251038 1553035275 1320928167 3701897621 2778476229 393604005 842316890 404772411 4072640609 3576488955 2680043067 17828106 4057712550 715737310 2152390961 3070084088 3393560420 3892275571 3178344853 2300486804 560488992 3747023337 2118878751 2703375805 4275823610 2675786351 2291632035 1997831909 3093160561 2070996700 640306298 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 152
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      496      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      193 |      100 |      496      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |     1104 |      250 |      546      0 |        0 |        0
0.09/0.11	c  0.1s |       3 |     1456 |      475 |      601      0 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1850 |      813 |      662      1 |        0 |        0
0.19/0.29	c  0.3s |       5 |     2431 |     1320 |      729      2 |        0 |        0
0.38/0.45	c  0.4s |       6 |     3278 |     2081 |      883      4 |        0 |        0
0.59/0.68	c  0.7s |       7 |     4503 |     3223 |      972      6 |        0 |        0
0.99/1.04	c  1.0s |       8 |     6301 |     4936 |     1070      9 |        0 |        0
1.39/1.45	c  1.4s |       9 |     9094 |     7506 |     1177     14 |        0 |        0
1.98/2.06	c  2.0s |      10 |    13120 |    11361 |     1295     20 |        0 |        0
2.78/2.88	c  2.9s |      11 |    19594 |    17144 |     1425     28 |        0 |        0
4.18/4.22	c  4.2s |      12 |    28910 |    25819 |     1568     40 |        0 |        0
6.18/6.23	c  6.2s |      12 |    42712 |    38719 |     1725     55 |        0 |        0
6.18/6.26	c  6.2s |      13 |    42822 |    38832 |     1725     56 |        0 |        0
8.19/8.26	c  8.2s |      13 |    57181 |    51332 |     1725     69 |        0 |        0
9.39/9.44	c  9.4s |      14 |    65336 |    58352 |     1898     77 |        0 |        0
11.39/11.45	c 11.4s |      14 |    78342 |    70452 |     1898     89 |        0 |        0
13.39/13.46	c 13.4s |      14 |    93241 |    83652 |     1898    103 |        0 |        0
13.99/14.08	c 14.1s |      15 |    97469 |    87632 |     2088    107 |        0 |        0
15.99/16.08	c 16.1s |      15 |   110305 |    99332 |     2088    118 |        0 |        0
17.99/18.09	c 18.1s |      15 |   124153 |   111932 |     2088    130 |        0 |        0
20.09/20.10	c 20.1s |      15 |   137594 |   124232 |     2088    141 |        0 |        0
21.09/21.17	c 21.1s |      16 |   146030 |   131552 |     2297    148 |        0 |        0
23.09/23.18	c 23.2s |      16 |   161406 |   144952 |     2297    159 |        0 |        0
25.09/25.19	c 25.2s |      16 |   177437 |   158752 |     2297    171 |        0 |        0
27.19/27.20	c 27.2s |      16 |   191007 |   171052 |     2297    181 |        0 |        0
29.19/29.20	c 29.2s |      16 |   206322 |   184452 |     2297    193 |        0 |        0
31.09/31.13	c 31.1s |      17 |   221239 |   197432 |     2527    204 |        0 |        0
33.09/33.14	c 33.1s |      17 |   241136 |   209332 |     2527    213 |        0 |        0
35.08/35.15	c 35.1s |      17 |   260278 |   220532 |     2527    221 |        0 |        0
37.08/37.16	c 37.1s |      17 |   275519 |   232632 |     2527    231 |        0 |        0
39.08/39.17	c 39.1s |      17 |   290661 |   244732 |     2527    240 |        0 |        0
41.08/41.19	c 41.2s |      17 |   307088 |   256932 |     2527    249 |        0 |        0
43.08/43.19	c 43.2s |      17 |   323290 |   268932 |     2527    258 |        0 |        0
45.09/45.20	c 45.2s |      17 |   336955 |   280032 |     2527    267 |        0 |        0
47.18/47.20	c 47.2s |      17 |   354813 |   291732 |     2527    276 |        0 |        0
47.88/47.94	c 47.9s |      18 |   361389 |   296252 |     2780    279 |        0 |        0
49.88/49.94	c 49.9s |      18 |   394934 |   308052 |     2780    287 |        0 |        0
51.88/51.95	c 51.9s |      18 |   414987 |   319252 |     2780    295 |        0 |        0
53.88/53.96	c 53.9s |      18 |   431454 |   330252 |     2780    303 |        0 |        0
55.89/55.96	c 55.9s |      18 |   445386 |   340452 |     2780    310 |        0 |        0
57.89/57.97	c 57.9s |      18 |   460883 |   351252 |     2780    317 |        0 |        0
59.88/59.97	c 59.9s |      18 |   484088 |   362352 |     2780    325 |        0 |        0
61.88/61.99	c 62.0s |      18 |   499235 |   373252 |     2780    333 |        0 |        0
63.98/64.00	c 64.0s |      18 |   514971 |   383952 |     2780    340 |        0 |        0
65.99/66.01	c 66.0s |      18 |   532214 |   394552 |     2780    348 |        0 |        0
67.98/68.02	c 68.0s |      18 |   546263 |   405452 |     2780    355 |        0 |        0
69.98/70.03	c 70.0s |      18 |   571070 |   417152 |     2780    364 |        0 |        0
71.98/72.05	c 72.0s |      18 |   590323 |   428452 |     2780    371 |        0 |        0
73.98/74.06	c 74.0s |      18 |   606472 |   439252 |     2780    379 |        0 |        0
75.08/75.10	c 75.1s |      19 |   614766 |   444482 |     3059    382 |        0 |        0
77.09/77.11	c 77.1s |      19 |   630272 |   454782 |     3059    389 |        0 |        0
79.08/79.12	c 79.1s |      19 |   642890 |   464682 |     3059    395 |        0 |        0
81.07/81.13	c 81.1s |      19 |   655379 |   474482 |     3059    401 |        0 |        0
83.07/83.13	c 83.1s |      19 |   667974 |   484482 |     3059    408 |        0 |        0
85.07/85.13	c 85.1s |      19 |   681078 |   494582 |     3059    414 |        0 |        0
87.07/87.14	c 87.1s |      19 |   696081 |   505382 |     3059    421 |        0 |        0
89.08/89.16	c 89.1s |      19 |   707573 |   514882 |     3059    427 |        0 |        0
91.07/91.18	c 91.2s |      19 |   720448 |   524982 |     3059    434 |        0 |        0
93.07/93.19	c 93.2s |      19 |   732668 |   534482 |     3059    440 |        0 |        0
95.17/95.21	c 95.2s |      19 |   747579 |   544782 |     3059    446 |        0 |        0
97.17/97.21	c 97.2s |      19 |   759899 |   554182 |     3059    452 |        0 |        0
99.17/99.23	c 99.2s |      19 |   772006 |   563682 |     3059    458 |        0 |        0
101.17/101.24	c  101s |      19 |   785357 |   573682 |     3059    465 |        0 |        0
103.16/103.26	c  103s |      19 |   798209 |   584382 |     3059    471 |        0 |        0
105.16/105.28	c  105s |      19 |   811706 |   594582 |     3059    478 |        0 |        0
107.16/107.29	c  107s |      19 |   824995 |   604682 |     3059    484 |        0 |        0
109.26/109.31	c  109s |      19 |   838385 |   615282 |     3059    491 |        0 |        0
111.26/111.32	c  111s |      19 |   851174 |   625982 |     3059    498 |        0 |        0
113.26/113.32	c  113s |      19 |   864106 |   636682 |     3059    505 |        0 |        0
115.26/115.33	c  115s |      19 |   878813 |   648782 |     3059    513 |        0 |        0
117.26/117.34	c  117s |      19 |   893194 |   660182 |     3059    520 |        0 |        0
118.46/118.55	c  118s |      20 |   901283 |   666827 |     3365    524 |        0 |        0
120.46/120.58	c  120s |      20 |   917409 |   676927 |     3365    530 |        0 |        0
122.56/122.60	c  122s |      20 |   930935 |   686927 |     3365    536 |        0 |        0
124.56/124.61	c  124s |      20 |   943124 |   697227 |     3365    541 |        0 |        0
126.57/126.63	c  126s |      20 |   955776 |   707727 |     3365    548 |        0 |        0
128.56/128.66	c  128s |      20 |   969264 |   718127 |     3365    554 |        0 |        0
130.56/130.66	c  130s |      20 |   981474 |   728427 |     3365    560 |        0 |        0
132.56/132.68	c  132s |      20 |   995324 |   738827 |     3365    566 |        0 |        0
134.56/134.68	c  134s |      20 |  1008369 |   748627 |     3365    571 |        0 |        0
136.56/136.69	c  136s |      20 |  1023310 |   759227 |     3365    577 |        0 |        0
138.56/138.70	c  138s |      20 |  1037006 |   769627 |     3365    584 |        0 |        0
140.65/140.71	c  140s |      20 |  1050207 |   780527 |     3365    590 |        0 |        0
142.65/142.73	c  142s |      20 |  1062988 |   791227 |     3365    596 |        0 |        0
144.75/144.80	c  144s |      20 |  1071838 |   799127 |     3365    601 |        0 |        0
146.75/146.81	c  146s |      20 |  1094582 |   810227 |     3365    607 |        0 |        0
148.75/148.82	c  148s |      20 |  1110967 |   820227 |     3365    613 |        0 |        0
150.75/150.83	c  150s |      20 |  1125228 |   830927 |     3365    619 |        0 |        0
152.74/152.85	c  152s |      20 |  1137895 |   841127 |     3365    625 |        0 |        0
154.74/154.86	c  154s |      20 |  1149477 |   851127 |     3365    631 |        0 |        0
156.74/156.87	c  156s |      20 |  1161592 |   861327 |     3365    636 |        0 |        0
158.74/158.88	c  158s |      20 |  1173125 |   871127 |     3365    642 |        0 |        0
160.84/160.91	c  160s |      20 |  1185501 |   881527 |     3365    648 |        0 |        0
162.84/162.92	c  162s |      20 |  1199312 |   891827 |     3365    654 |        0 |        0
164.84/164.93	c  164s |      20 |  1211849 |   902127 |     3365    660 |        0 |        0
166.84/166.94	c  166s |      20 |  1225778 |   912727 |     3365    666 |        0 |        0
168.84/168.96	c  168s |      20 |  1238714 |   923627 |     3365    673 |        0 |        0
170.84/170.98	c  170s |      20 |  1250836 |   933627 |     3365    678 |        0 |        0
172.84/172.99	c  172s |      20 |  1261218 |   942627 |     3365    684 |        0 |        0
174.95/175.01	c  174s |      20 |  1272792 |   952527 |     3365    689 |        0 |        0
176.94/177.03	c  177s |      20 |  1284283 |   962627 |     3365    695 |        0 |        0
178.94/179.04	c  179s |      20 |  1299400 |   973027 |     3365    701 |        0 |        0
180.94/181.05	c  181s |      20 |  1311321 |   982827 |     3365    707 |        0 |        0
182.94/183.07	c  183s |      20 |  1322646 |   992827 |     3365    713 |        0 |        0
184.34/184.44	c  184s |      21 |  1332000 |  1000345 |     3702    717 |        0 |        0
186.34/186.45	c  186s |      21 |  1344222 |  1010045 |     3702    722 |        0 |        0
188.34/188.47	c  188s |      21 |  1360231 |  1021045 |     3702    728 |        0 |        0
190.34/190.48	c  190s |      21 |  1374654 |  1031845 |     3702    733 |        0 |        0
192.33/192.49	c  192s |      21 |  1388291 |  1043045 |     3702    739 |        0 |        0
194.33/194.49	c  194s |      21 |  1401633 |  1054045 |     3702    745 |        0 |        0
196.43/196.50	c  196s |      21 |  1417309 |  1065745 |     3702    751 |        0 |        0
198.43/198.50	c  198s |      21 |  1432769 |  1076445 |     3702    757 |        0 |        0
200.42/200.51	c  200s |      21 |  1446763 |  1087345 |     3702    763 |        0 |        0
202.43/202.51	c  202s |      21 |  1462336 |  1098145 |     3702    768 |        0 |        0
204.42/204.52	c  204s |      21 |  1479511 |  1109045 |     3702    774 |        0 |        0
206.42/206.54	c  206s |      21 |  1494183 |  1119445 |     3702    780 |        0 |        0
208.42/208.55	c  208s |      21 |  1519044 |  1131145 |     3702    786 |        0 |        0
210.42/210.56	c  210s |      21 |  1540197 |  1142845 |     3702    792 |        0 |        0
212.42/212.57	c  212s |      21 |  1561288 |  1154345 |     3702    798 |        0 |        0
214.43/214.57	c  214s |      21 |  1578128 |  1165745 |     3702    804 |        0 |        0
216.42/216.58	c  216s |      21 |  1597050 |  1178045 |     3702    811 |        0 |        0
218.52/218.60	c  218s |      21 |  1611982 |  1189245 |     3702    817 |        0 |        0
220.51/220.60	c  220s |      21 |  1628819 |  1201045 |     3702    823 |        0 |        0
222.51/222.60	c  222s |      21 |  1646152 |  1213145 |     3702    829 |        0 |        0
224.51/224.61	c  224s |      21 |  1660868 |  1224445 |     3702    835 |        0 |        0
226.52/226.61	c  226s |      21 |  1676991 |  1235745 |     3702    841 |        0 |        0
228.51/228.62	c  228s |      21 |  1695096 |  1246945 |     3702    847 |        0 |        0
230.51/230.63	c  230s |      21 |  1715969 |  1258445 |     3702    853 |        0 |        0
232.51/232.64	c  232s |      21 |  1730078 |  1268545 |     3702    859 |        0 |        0
234.51/234.65	c  234s |      21 |  1748105 |  1279245 |     3702    864 |        0 |        0
236.51/236.68	c  236s |      21 |  1770778 |  1290845 |     3702    871 |        0 |        0
238.50/238.68	c  238s |      21 |  1783553 |  1300645 |     3702    876 |        0 |        0
240.60/240.70	c  240s |      21 |  1798898 |  1311445 |     3702    881 |        0 |        0
242.61/242.72	c  242s |      21 |  1812761 |  1321945 |     3702    887 |        0 |        0
244.61/244.73	c  244s |      21 |  1824771 |  1332145 |     3702    892 |        0 |        0
246.61/246.73	c  246s |      21 |  1843217 |  1343545 |     3702    898 |        0 |        0
248.61/248.74	c  248s |      21 |  1861495 |  1354345 |     3702    904 |        0 |        0
250.60/250.74	c  250s |      21 |  1882933 |  1365445 |     3702    910 |        0 |        0
252.60/252.75	c  252s |      21 |  1896478 |  1376245 |     3702    916 |        0 |        0
254.60/254.77	c  254s |      21 |  1911574 |  1387545 |     3702    922 |        0 |        0
256.60/256.77	c  256s |      21 |  1926240 |  1398645 |     3702    928 |        0 |        0
258.60/258.77	c  258s |      21 |  1940535 |  1409445 |     3702    933 |        0 |        0
260.60/260.78	c  260s |      21 |  1952949 |  1419345 |     3702    938 |        0 |        0
262.59/262.78	c  262s |      21 |  1968242 |  1430045 |     3702    944 |        0 |        0
264.59/264.79	c  264s |      21 |  1981039 |  1440745 |     3702    950 |        0 |        0
266.69/266.80	c  266s |      21 |  1995073 |  1452045 |     3702    956 |        0 |        0
268.69/268.80	c  268s |      21 |  2010571 |  1462945 |     3702    961 |        0 |        0
270.69/270.82	c  270s |      21 |  2025974 |  1474645 |     3702    968 |        0 |        0
272.70/272.83	c  272s |      21 |  2039953 |  1485445 |     3702    973 |        0 |        0
274.69/274.85	c  274s |      21 |  2051922 |  1495945 |     4073    979 |        0 |        0
275.49/275.66	c  275s |      22 |  2057249 |  1500622 |     4073    981 |        0 |        0
277.49/277.68	c  277s |      22 |  2064884 |  1507822 |     4073    984 |        0 |        0
279.49/279.68	c  279s |      22 |  2073450 |  1515922 |     4073    988 |        0 |        0
281.49/281.69	c  281s |      22 |  2082155 |  1524122 |     4073    992 |        0 |        0
283.58/283.70	c  283s |      22 |  2092343 |  1533322 |     4073    997 |        0 |        0
285.59/285.71	c  285s |      22 |  2101779 |  1542122 |     4073   1001 |        0 |        0
287.59/287.72	c  287s |      22 |  2111887 |  1551122 |     4073   1005 |        0 |        0
289.59/289.73	c  289s |      22 |  2122994 |  1561022 |     4073   1010 |        0 |        0
291.59/291.74	c  291s |      22 |  2132869 |  1570122 |     4073   1014 |        0 |        0
293.59/293.77	c  293s |      22 |  2142946 |  1579322 |     4073   1019 |        0 |        0
295.58/295.78	c  295s |      22 |  2151342 |  1587322 |     4073   1023 |        0 |        0
297.68/297.85	c  297s |      22 |  2160794 |  1596022 |     4073   1027 |        0 |        0
299.68/299.85	c  299s |      22 |  2173653 |  1607122 |     4073   1032 |        0 |        0
301.68/301.87	c  301s |      22 |  2185406 |  1617822 |     4073   1038 |        0 |        0
303.68/303.87	c  303s |      22 |  2195703 |  1627122 |     4073   1042 |        0 |        0
305.68/305.90	c  305s |      22 |  2205708 |  1636222 |     4073   1046 |        0 |        0
307.78/307.91	c  307s |      22 |  2214251 |  1644422 |     4073   1050 |        0 |        0
309.78/309.91	c  309s |      22 |  2223579 |  1652922 |     4073   1055 |        0 |        0
311.77/311.91	c  311s |      22 |  2234105 |  1662322 |     4073   1059 |        0 |        0
313.77/313.93	c  313s |      22 |  2243499 |  1671022 |     4073   1063 |        0 |        0
315.77/315.93	c  315s |      22 |  2253128 |  1679922 |     4073   1068 |        0 |        0
317.78/317.94	c  317s |      22 |  2264494 |  1690122 |     4073   1073 |        0 |        0
319.77/319.94	c  319s |      22 |  2274428 |  1699322 |     4073   1077 |        0 |        0
321.77/321.95	c  321s |      22 |  2285168 |  1708722 |     4073   1082 |        0 |        0
323.76/323.97	c  323s |      22 |  2296327 |  1718622 |     4073   1086 |        0 |        0
325.76/325.99	c  325s |      22 |  2308600 |  1729222 |     4073   1092 |        0 |        0
327.77/327.99	c  327s |      22 |  2321756 |  1740622 |     4073   1097 |        0 |        0
329.76/329.99	c  329s |      22 |  2332731 |  1750222 |     4073   1102 |        0 |        0
331.86/332.01	c  331s |      22 |  2344016 |  1760222 |     4073   1107 |        0 |        0
333.86/334.02	c  333s |      22 |  2356499 |  1771222 |     4073   1112 |        0 |        0
335.86/336.02	c  335s |      22 |  2368563 |  1781922 |     4073   1117 |        0 |        0
337.85/338.03	c  338s |      22 |  2380296 |  1792222 |     4073   1122 |        0 |        0
339.87/340.05	c  340s |      22 |  2389915 |  1801022 |     4073   1126 |        0 |        0
341.86/342.06	c  342s |      22 |  2400055 |  1810122 |     4073   1131 |        0 |        0
343.86/344.06	c  344s |      22 |  2409746 |  1818922 |     4073   1135 |        0 |        0
345.86/346.08	c  346s |      22 |  2418803 |  1827522 |     4073   1139 |        0 |        0
347.85/348.09	c  348s |      22 |  2427982 |  1836022 |     4073   1143 |        0 |        0
349.85/350.09	c  350s |      22 |  2437963 |  1845122 |     4073   1148 |        0 |        0
351.95/352.11	c  352s |      22 |  2448679 |  1854522 |     4073   1152 |        0 |        0
353.95/354.11	c  354s |      22 |  2457952 |  1863122 |     4073   1156 |        0 |        0
355.95/356.14	c  356s |      22 |  2466542 |  1871322 |     4073   1160 |        0 |        0
357.94/358.16	c  358s |      22 |  2476643 |  1880322 |     4073   1165 |        0 |        0
359.94/360.17	c  360s |      22 |  2487454 |  1890122 |     4073   1170 |        0 |        0
361.94/362.17	c  362s |      22 |  2497783 |  1899622 |     4073   1174 |        0 |        0
363.95/364.19	c  364s |      22 |  2507270 |  1908522 |     4073   1178 |        0 |        0
365.94/366.19	c  366s |      22 |  2517570 |  1917822 |     4073   1183 |        0 |        0
367.94/368.19	c  368s |      22 |  2527971 |  1927222 |     4073   1188 |        0 |        0
370.04/370.21	c  370s |      22 |  2539303 |  1937522 |     4073   1192 |        0 |        0
372.14/372.33	c  372s |      22 |  2550021 |  1947322 |     4073   1197 |        0 |        0
374.14/374.35	c  374s |      22 |  2561957 |  1957922 |     4073   1202 |        0 |        0
376.15/376.35	c  376s |      22 |  2571896 |  1967022 |     4073   1207 |        0 |        0
378.14/378.36	c  378s |      22 |  2581472 |  1975722 |     4073   1211 |        0 |        0
380.14/380.36	c  380s |      22 |  2592443 |  1985522 |     4073   1216 |        0 |        0
382.14/382.37	c  382s |      22 |  2604015 |  1995722 |     4073   1221 |        0 |        0
384.14/384.38	c  384s |      22 |  2615062 |  2005522 |     4073   1225 |        0 |        0
386.14/386.39	c  386s |      22 |  2626177 |  2015522 |     4073   1230 |        0 |        0
388.24/388.40	c  388s |      22 |  2638441 |  2026322 |     4073   1236 |        0 |        0
390.23/390.41	c  390s |      22 |  2651126 |  2037422 |     4073   1241 |        0 |        0
392.23/392.42	c  392s |      22 |  2662724 |  2047722 |     4073   1246 |        0 |        0
394.23/394.43	c  394s |      22 |  2673101 |  2057122 |     4073   1251 |        0 |        0
396.23/396.43	c  396s |      22 |  2682980 |  2066122 |     4073   1255 |        0 |        0
398.23/398.44	c  398s |      22 |  2695955 |  2077522 |     4073   1260 |        0 |        0
400.23/400.44	c  400s |      22 |  2707230 |  2087622 |     4073   1265 |        0 |        0
402.23/402.46	c  402s |      22 |  2718470 |  2097822 |     4073   1270 |        0 |        0
404.23/404.47	c  404s |      22 |  2729720 |  2107822 |     4073   1275 |        0 |        0
406.23/406.48	c  406s |      22 |  2740461 |  2117522 |     4073   1280 |        0 |        0
408.23/408.49	c  408s |      22 |  2751067 |  2127122 |     4073   1284 |        0 |        0
410.32/410.50	c  410s |      22 |  2761788 |  2136922 |     4073   1289 |        0 |        0
412.33/412.53	c  412s |      22 |  2774172 |  2147822 |     4073   1295 |        0 |        0
414.32/414.55	c  414s |      22 |  2785476 |  2157922 |     4073   1299 |        0 |        0
416.32/416.56	c  416s |      22 |  2796742 |  2167922 |     4073   1304 |        0 |        0
418.32/418.59	c  418s |      22 |  2808999 |  2178722 |     4073   1310 |        0 |        0
420.42/420.60	c  420s |      22 |  2820809 |  2189022 |     4073   1315 |        0 |        0
422.42/422.62	c  422s |      22 |  2832396 |  2199322 |     4073   1320 |        0 |        0
424.42/424.68	c  424s |      22 |  2844384 |  2209822 |     4073   1325 |        0 |        0
426.51/426.70	c  426s |      22 |  2857233 |  2220922 |     4073   1330 |        0 |        0
428.51/428.71	c  428s |      22 |  2869887 |  2231722 |     4073   1335 |        0 |        0
430.51/430.72	c  430s |      22 |  2883596 |  2243622 |     4481   1341 |        0 |        0
431.91/432.16	c  432s |      23 |  2892142 |  2251038 |     4481   1344 |        0 |        0
433.91/434.17	c  434s |      23 |  2912714 |  2261538 |     4481   1348 |        0 |        0
435.91/436.17	c  436s |      23 |  2929704 |  2272238 |     4481   1353 |        0 |        0
437.91/438.18	c  438s |      23 |  2944232 |  2282638 |     4481   1358 |        0 |        0
440.01/440.21	c  440s |      23 |  2963179 |  2293438 |     4481   1363 |        0 |        0
442.01/442.21	c  442s |      23 |  2980473 |  2304838 |     4481   1368 |        0 |        0
444.00/444.21	c  444s |      23 |  2995329 |  2315538 |     4481   1372 |        0 |        0
446.00/446.23	c  446s |      23 |  3010797 |  2325938 |     4481   1377 |        0 |        0
448.00/448.24	c  448s |      23 |  3026586 |  2336538 |     4481   1381 |        0 |        0
450.00/450.25	c  450s |      23 |  3039952 |  2346738 |     4481   1386 |        0 |        0
452.00/452.26	c  452s |      23 |  3053349 |  2357138 |     4481   1390 |        0 |        0
453.99/454.27	c  454s |      23 |  3064337 |  2366138 |     4481   1394 |        0 |        0
455.99/456.28	c  456s |      23 |  3074626 |  2375238 |     4481   1398 |        0 |        0
458.09/458.30	c  458s |      23 |  3085788 |  2384138 |     4481   1402 |        0 |        0
460.09/460.31	c  460s |      23 |  3099097 |  2393538 |     4481   1406 |        0 |        0
462.09/462.32	c  462s |      23 |  3110692 |  2402838 |     4481   1410 |        0 |        0
464.09/464.33	c  464s |      23 |  3122985 |  2412138 |     4481   1414 |        0 |        0
466.10/466.35	c  466s |      23 |  3134642 |  2421538 |     4481   1419 |        0 |        0
468.09/468.36	c  468s |      23 |  3146359 |  2431438 |     4481   1423 |        0 |        0
470.09/470.36	c  470s |      23 |  3156821 |  2440038 |     4481   1427 |        0 |        0
472.09/472.36	c  472s |      23 |  3168973 |  2450038 |     4481   1431 |        0 |        0
474.19/474.41	c  474s |      23 |  3182365 |  2459638 |     4481   1435 |        0 |        0
476.19/476.41	c  476s |      23 |  3194129 |  2469538 |     4481   1439 |        0 |        0
478.19/478.42	c  478s |      23 |  3205001 |  2479238 |     4481   1444 |        0 |        0
480.18/480.42	c  480s |      23 |  3216735 |  2489038 |     4481   1448 |        0 |        0
482.18/482.43	c  482s |      23 |  3229701 |  2498838 |     4481   1452 |        0 |        0
484.18/484.43	c  484s |      23 |  3241775 |  2508838 |     4481   1457 |        0 |        0
486.18/486.44	c  486s |      23 |  3255556 |  2519138 |     4481   1461 |        0 |        0
488.18/488.44	c  488s |      23 |  3270189 |  2528838 |     4481   1465 |        0 |        0
490.18/490.46	c  490s |      23 |  3286045 |  2539638 |     4481   1470 |        0 |        0
492.17/492.46	c  492s |      23 |  3301087 |  2550038 |     4481   1475 |        0 |        0
494.17/494.48	c  494s |      23 |  3320633 |  2560938 |     4481   1479 |        0 |        0
496.17/496.49	c  496s |      23 |  3336015 |  2571638 |     4481   1484 |        0 |        0
498.18/498.49	c  498s |      23 |  3347587 |  2581638 |     4481   1488 |        0 |        0
500.17/500.50	c  500s |      23 |  3360056 |  2592138 |     4481   1493 |        0 |        0
502.26/502.51	c  502s |      23 |  3373206 |  2603038 |     4481   1498 |        0 |        0
504.26/504.53	c  504s |      23 |  3387476 |  2613138 |     4481   1502 |        0 |        0
506.26/506.59	c  506s |      23 |  3402851 |  2624138 |     4481   1507 |        0 |        0
508.36/508.60	c  508s |      23 |  3415926 |  2634438 |     4481   1512 |        0 |        0
510.36/510.61	c  510s |      23 |  3428201 |  2644938 |     4481   1516 |        0 |        0
512.37/512.61	c  512s |      23 |  3440683 |  2655138 |     4481   1521 |        0 |        0
514.37/514.61	c  514s |      23 |  3452429 |  2665138 |     4481   1525 |        0 |        0
516.37/516.62	c  516s |      23 |  3465533 |  2674938 |     4481   1529 |        0 |        0
518.37/518.62	c  518s |      23 |  3478316 |  2685238 |     4481   1534 |        0 |        0
520.36/520.63	c  520s |      23 |  3490172 |  2695538 |     4481   1539 |        0 |        0
522.37/522.63	c  522s |      23 |  3502469 |  2706038 |     4481   1543 |        0 |        0
524.36/524.65	c  524s |      23 |  3514392 |  2715938 |     4481   1547 |        0 |        0
526.36/526.67	c  526s |      23 |  3527431 |  2727038 |     4481   1552 |        0 |        0
528.36/528.68	c  528s |      23 |  3540375 |  2738138 |     4481   1557 |        0 |        0
530.35/530.69	c  530s |      23 |  3552882 |  2748838 |     4481   1562 |        0 |        0
532.35/532.69	c  532s |      23 |  3566168 |  2759938 |     4481   1567 |        0 |        0
534.46/534.71	c  534s |      23 |  3578891 |  2770738 |     4481   1572 |        0 |        0
536.45/536.71	c  536s |      23 |  3590995 |  2781338 |     4481   1576 |        0 |        0
538.45/538.72	c  538s |      23 |  3605050 |  2792538 |     4481   1581 |        0 |        0
540.45/540.73	c  540s |      23 |  3618041 |  2803438 |     4481   1586 |        0 |        0
542.45/542.74	c  542s |      23 |  3632437 |  2814638 |     4481   1591 |        0 |        0
544.44/544.76	c  544s |      23 |  3645704 |  2825138 |     4481   1596 |        0 |        0
546.45/546.78	c  546s |      23 |  3658367 |  2835838 |     4481   1600 |        0 |        0
548.44/548.79	c  548s |      23 |  3671090 |  2846638 |     4481   1605 |        0 |        0
550.43/550.79	c  550s |      23 |  3682200 |  2856038 |     4481   1609 |        0 |        0
552.53/552.80	c  552s |      23 |  3694546 |  2866338 |     4481   1614 |        0 |        0
554.53/554.82	c  554s |      23 |  3705808 |  2876038 |     4481   1618 |        0 |        0
556.53/556.83	c  556s |      23 |  3719022 |  2886938 |     4481   1623 |        0 |        0
558.54/558.84	c  558s |      23 |  3732271 |  2897738 |     4481   1628 |        0 |        0
560.53/560.84	c  560s |      23 |  3744876 |  2908538 |     4481   1632 |        0 |        0
562.53/562.85	c  562s |      23 |  3757819 |  2918638 |     4481   1637 |        0 |        0
564.53/564.85	c  564s |      23 |  3770271 |  2929538 |     4481   1642 |        0 |        0
566.53/566.87	c  566s |      23 |  3784069 |  2941238 |     4481   1647 |        0 |        0
568.54/568.88	c  568s |      23 |  3798328 |  2952038 |     4481   1652 |        0 |        0
570.53/570.89	c  570s |      23 |  3810553 |  2962238 |     4481   1656 |        0 |        0
572.63/572.92	c  572s |      23 |  3823103 |  2973138 |     4481   1661 |        0 |        0
574.63/574.93	c  574s |      23 |  3836149 |  2984238 |     4481   1666 |        0 |        0
576.63/576.93	c  576s |      23 |  3850508 |  2995938 |     4481   1671 |        0 |        0
578.63/578.94	c  578s |      23 |  3864932 |  3007238 |     4481   1676 |        0 |        0
580.63/580.96	c  580s |      23 |  3878183 |  3018038 |     4481   1681 |        0 |        0
582.62/582.97	c  582s |      23 |  3891505 |  3028538 |     4481   1685 |        0 |        0
584.62/584.97	c  584s |      23 |  3907686 |  3040138 |     4481   1691 |        0 |        0
586.62/586.98	c  586s |      23 |  3922350 |  3051238 |     4481   1695 |        0 |        0
588.62/588.99	c  588s |      23 |  3935754 |  3062538 |     4481   1700 |        0 |        0
590.72/591.02	c  590s |      23 |  3949280 |  3073838 |     4481   1705 |        0 |        0
592.73/593.02	c  592s |      23 |  3963005 |  3085038 |     4481   1710 |        0 |        0
594.72/595.03	c  595s |      23 |  3975427 |  3095538 |     4481   1715 |        0 |        0
596.72/597.04	c  597s |      23 |  3988549 |  3106538 |     4481   1720 |        0 |        0
598.72/599.04	c  599s |      23 |  4000963 |  3116938 |     4481   1724 |        0 |        0
600.71/601.04	c  601s |      23 |  4015437 |  3127638 |     4481   1729 |        0 |        0
602.71/603.04	c  603s |      23 |  4028736 |  3138238 |     4481   1734 |        0 |        0
604.72/605.06	c  605s |      23 |  4042118 |  3148738 |     4481   1738 |        0 |        0
606.71/607.07	c  607s |      23 |  4054783 |  3159238 |     4481   1743 |        0 |        0
608.71/609.08	c  609s |      23 |  4068758 |  3169738 |     4481   1748 |        0 |        0
610.71/611.09	c  611s |      23 |  4081873 |  3180338 |     4481   1752 |        0 |        0
612.80/613.10	c  613s |      23 |  4093439 |  3189738 |     4481   1757 |        0 |        0
614.80/615.11	c  615s |      23 |  4106642 |  3199838 |     4481   1761 |        0 |        0
616.81/617.11	c  617s |      23 |  4119540 |  3210538 |     4481   1766 |        0 |        0
618.80/619.11	c  619s |      23 |  4133002 |  3221338 |     4481   1770 |        0 |        0
620.80/621.12	c  621s |      23 |  4145607 |  3231738 |     4481   1775 |        0 |        0
622.80/623.13	c  623s |      23 |  4159752 |  3243238 |     4481   1780 |        0 |        0
624.80/625.13	c  625s |      23 |  4173260 |  3253938 |     4481   1785 |        0 |        0
626.81/627.16	c  627s |      23 |  4187445 |  3264838 |     4481   1790 |        0 |        0
628.80/629.17	c  629s |      23 |  4203400 |  3276338 |     4481   1795 |        0 |        0
630.79/631.17	c  631s |      23 |  4218836 |  3287638 |     4481   1800 |        0 |        0
632.79/633.17	c  633s |      23 |  4231972 |  3297638 |     4481   1804 |        0 |        0
634.89/635.23	c  635s |      23 |  4245081 |  3308738 |     4481   1809 |        0 |        0
636.89/637.24	c  637s |      23 |  4258557 |  3319538 |     4481   1814 |        0 |        0
638.90/639.26	c  639s |      23 |  4272169 |  3330138 |     4481   1819 |        0 |        0
640.89/641.26	c  641s |      23 |  4286479 |  3341038 |     4481   1823 |        0 |        0
642.89/643.27	c  643s |      23 |  4297812 |  3349938 |     4481   1827 |        0 |        0
644.89/645.29	c  645s |      23 |  4309461 |  3359838 |     4930   1831 |        0 |        0
646.89/647.29	c  647s |      23 |  4322526 |  3370138 |     4930   1835 |        0 |        0
648.29/648.65	c  648s |      24 |  4330686 |  3376662 |     4930   1838 |        0 |        0
650.28/650.66	c  650s |      24 |  4341713 |  3386062 |     4930   1842 |        0 |        0
652.29/652.66	c  652s |      24 |  4354788 |  3397462 |     4930   1846 |        0 |        0
654.29/654.67	c  654s |      24 |  4367597 |  3408362 |     4930   1851 |        0 |        0
656.29/656.68	c  656s |      24 |  4380629 |  3419562 |     4930   1855 |        0 |        0
658.29/658.69	c  658s |      24 |  4393326 |  3430562 |     4930   1860 |        0 |        0
660.38/660.71	c  660s |      24 |  4405236 |  3440862 |     4930   1864 |        0 |        0
662.38/662.71	c  662s |      24 |  4417823 |  3451762 |     4930   1868 |        0 |        0
664.38/664.72	c  664s |      24 |  4429895 |  3462562 |     4930   1872 |        0 |        0
666.48/666.80	c  666s |      24 |  4442842 |  3473762 |     4930   1877 |        0 |        0
668.49/668.80	c  668s |      24 |  4455413 |  3484262 |     4930   1881 |        0 |        0
670.47/670.81	c  670s |      24 |  4468098 |  3495562 |     4930   1886 |        0 |        0
672.47/672.82	c  672s |      24 |  4481431 |  3506962 |     4930   1890 |        0 |        0
674.47/674.84	c  674s |      24 |  4494231 |  3517462 |     4930   1894 |        0 |        0
676.47/676.84	c  676s |      24 |  4507664 |  3528962 |     4930   1899 |        0 |        0
678.48/678.86	c  678s |      24 |  4520092 |  3539562 |     4930   1903 |        0 |        0
680.47/680.87	c  680s |      24 |  4533044 |  3550662 |     4930   1908 |        0 |        0
682.47/682.88	c  682s |      24 |  4546723 |  3562162 |     4930   1912 |        0 |        0
684.47/684.88	c  684s |      24 |  4558805 |  3572662 |     4930   1917 |        0 |        0
686.56/686.90	c  686s |      24 |  4571856 |  3583862 |     4930   1921 |        0 |        0
688.56/688.90	c  688s |      24 |  4584375 |  3594762 |     4930   1926 |        0 |        0
690.57/690.91	c  690s |      24 |  4596947 |  3605562 |     4930   1930 |        0 |        0
692.56/692.92	c  692s |      24 |  4610358 |  3617062 |     4930   1935 |        0 |        0
694.56/694.94	c  694s |      24 |  4622436 |  3627562 |     4930   1939 |        0 |        0
696.66/697.09	c  697s |      24 |  4634410 |  3638062 |     4930   1943 |        0 |        0
698.75/699.10	c  699s |      24 |  4646538 |  3648862 |     4930   1947 |        0 |        0
700.75/701.11	c  701s |      24 |  4659540 |  3660162 |     4930   1952 |        0 |        0
702.75/703.11	c  703s |      24 |  4671084 |  3670262 |     4930   1956 |        0 |        0
704.76/705.12	c  705s |      24 |  4683989 |  3681162 |     4930   1960 |        0 |        0
706.76/707.13	c  707s |      24 |  4697163 |  3692462 |     4930   1965 |        0 |        0
708.76/709.13	c  709s |      24 |  4710085 |  3703662 |     4930   1969 |        0 |        0
710.76/711.14	c  711s |      24 |  4720634 |  3713062 |     4930   1973 |        0 |        0
712.75/713.15	c  713s |      24 |  4732651 |  3723262 |     4930   1977 |        0 |        0
714.76/715.16	c  715s |      24 |  4746195 |  3734962 |     4930   1982 |        0 |        0
716.75/717.18	c  717s |      24 |  4758063 |  3745262 |     4930   1986 |        0 |        0
718.85/719.20	c  719s |      24 |  4770752 |  3756262 |     4930   1991 |        0 |        0
720.85/721.21	c  721s |      24 |  4783264 |  3767062 |     4930   1995 |        0 |        0
722.85/723.23	c  723s |      24 |  4796456 |  3778162 |     4930   1999 |        0 |        0
724.85/725.23	c  725s |      24 |  4808164 |  3788262 |     4930   2003 |        0 |        0
726.85/727.25	c  727s |      24 |  4819225 |  3798062 |     4930   2007 |        0 |        0
728.85/729.25	c  729s |      24 |  4831605 |  3808862 |     4930   2012 |        0 |        0
730.84/731.26	c  731s |      24 |  4844946 |  3820162 |     4930   2016 |        0 |        0
732.84/733.28	c  733s |      24 |  4856672 |  3830462 |     4930   2020 |        0 |        0
734.84/735.29	c  735s |      24 |  4867569 |  3840262 |     4930   2024 |        0 |        0
736.94/737.30	c  737s |      24 |  4878156 |  3849762 |     4930   2028 |        0 |        0
738.95/739.32	c  739s |      24 |  4890781 |  3860762 |     4930   2033 |        0 |        0
740.94/741.33	c  741s |      24 |  4901684 |  3870762 |     4930   2037 |        0 |        0
742.95/743.34	c  743s |      24 |  4912903 |  3880862 |     4930   2041 |        0 |        0
744.95/745.34	c  745s |      24 |  4924389 |  3891062 |     4930   2045 |        0 |        0
746.95/747.36	c  747s |      24 |  4934191 |  3900062 |     4930   2048 |        0 |        0
748.95/749.37	c  749s |      24 |  4944105 |  3909062 |     4930   2052 |        0 |        0
750.95/751.37	c  751s |      24 |  4957663 |  3920362 |     4930   2056 |        0 |        0
752.95/753.38	c  753s |      24 |  4969991 |  3931262 |     4930   2061 |        0 |        0
754.95/755.38	c  755s |      24 |  4982789 |  3942562 |     4930   2065 |        0 |        0
756.95/757.39	c  757s |      24 |  4994214 |  3952762 |     4930   2070 |        0 |        0
759.04/759.40	c  759s |      24 |  5006995 |  3963762 |     4930   2074 |        0 |        0
761.04/761.42	c  761s |      24 |  5017540 |  3973162 |     4930   2078 |        0 |        0
763.05/763.44	c  763s |      24 |  5030524 |  3983862 |     4930   2082 |        0 |        0
765.04/765.44	c  765s |      24 |  5043911 |  3995462 |     4930   2087 |        0 |        0
767.04/767.45	c  767s |      24 |  5057404 |  4006462 |     4930   2091 |        0 |        0
769.04/769.47	c  769s |      24 |  5071175 |  4017962 |     4930   2096 |        0 |        0
771.04/771.48	c  771s |      24 |  5084227 |  4029262 |     4930   2100 |        0 |        0
773.05/773.49	c  773s |      24 |  5097828 |  4040762 |     4930   2105 |        0 |        0
775.15/775.52	c  775s |      24 |  5112050 |  4052262 |     4930   2110 |        0 |        0
777.14/777.53	c  777s |      24 |  5125045 |  4063562 |     4930   2114 |        0 |        0
779.14/779.53	c  779s |      24 |  5138571 |  4075062 |     4930   2119 |        0 |        0
781.14/781.54	c  781s |      24 |  5151213 |  4085662 |     4930   2123 |        0 |        0
783.14/783.55	c  783s |      24 |  5163121 |  4095962 |     4930   2127 |        0 |        0
785.14/785.56	c  785s |      24 |  5175372 |  4106862 |     4930   2131 |        0 |        0
787.14/787.56	c  787s |      24 |  5187379 |  4117462 |     4930   2136 |        0 |        0
789.14/789.56	c  789s |      24 |  5200140 |  4128362 |     4930   2140 |        0 |        0
791.14/791.59	c  791s |      24 |  5213139 |  4139462 |     4930   2145 |        0 |        0
793.14/793.59	c  793s |      24 |  5226578 |  4151162 |     4930   2149 |        0 |        0
795.34/795.73	c  795s |      24 |  5239466 |  4162362 |     4930   2154 |        0 |        0
797.34/797.78	c  797s |      24 |  5253367 |  4173962 |     4930   2159 |        0 |        0
799.35/799.80	c  799s |      24 |  5267538 |  4186262 |     4930   2163 |        0 |        0
801.44/801.81	c  801s |      24 |  5279284 |  4196362 |     4930   2168 |        0 |        0
803.44/803.83	c  803s |      24 |  5291586 |  4206962 |     4930   2172 |        0 |        0
805.44/805.84	c  805s |      24 |  5306139 |  4219162 |     4930   2177 |        0 |        0
807.44/807.84	c  807s |      24 |  5318680 |  4229762 |     4930   2181 |        0 |        0
809.44/809.86	c  809s |      24 |  5331331 |  4240562 |     4930   2185 |        0 |        0
811.44/811.86	c  811s |      24 |  5345311 |  4252462 |     4930   2190 |        0 |        0
813.44/813.87	c  813s |      24 |  5358207 |  4263562 |     4930   2195 |        0 |        0
815.54/815.95	c  815s |      24 |  5371783 |  4275062 |     4930   2199 |        0 |        0
817.53/817.96	c  817s |      24 |  5385555 |  4286762 |     4930   2204 |        0 |        0
819.53/819.97	c  819s |      24 |  5397783 |  4297162 |     4930   2208 |        0 |        0
821.53/821.97	c  821s |      24 |  5409981 |  4307662 |     4930   2212 |        0 |        0
823.54/823.98	c  823s |      24 |  5422462 |  4318362 |     4930   2217 |        0 |        0
825.53/825.99	c  825s |      24 |  5435876 |  4329862 |     4930   2221 |        0 |        0
827.63/828.02	c  827s |      24 |  5448737 |  4340762 |     4930   2226 |        0 |        0
829.63/830.03	c  830s |      24 |  5462278 |  4352362 |     4930   2230 |        0 |        0
831.63/832.09	c  832s |      24 |  5475708 |  4363962 |     4930   2235 |        0 |        0
833.64/834.09	c  834s |      24 |  5487805 |  4374462 |     4930   2239 |        0 |        0
835.64/836.09	c  836s |      24 |  5501190 |  4385662 |     4930   2244 |        0 |        0
837.74/838.11	c  838s |      24 |  5513332 |  4395862 |     4930   2248 |        0 |        0
839.74/840.12	c  840s |      24 |  5527138 |  4407462 |     4930   2252 |        0 |        0
841.73/842.12	c  842s |      24 |  5540156 |  4418662 |     4930   2257 |        0 |        0
843.73/844.13	c  844s |      24 |  5553216 |  4429762 |     4930   2261 |        0 |        0
845.73/846.13	c  846s |      24 |  5566837 |  4441562 |     4930   2266 |        0 |        0
847.74/848.13	c  848s |      24 |  5578531 |  4451562 |     4930   2270 |        0 |        0
849.73/850.15	c  850s |      24 |  5590653 |  4462262 |     4930   2275 |        0 |        0
851.73/852.16	c  852s |      24 |  5603340 |  4472862 |     4930   2279 |        0 |        0
853.73/854.18	c  854s |      24 |  5616813 |  4484362 |     4930   2283 |        0 |        0
855.73/856.19	c  856s |      24 |  5627453 |  4493762 |     4930   2287 |        0 |        0
857.73/858.19	c  858s |      24 |  5638135 |  4503262 |     4930   2291 |        0 |        0
859.83/860.20	c  860s |      24 |  5649972 |  4513662 |     4930   2295 |        0 |        0
861.83/862.22	c  862s |      24 |  5661352 |  4523662 |     4930   2299 |        0 |        0
863.83/864.24	c  864s |      24 |  5673412 |  4534262 |     4930   2304 |        0 |        0
865.83/866.25	c  866s |      24 |  5684519 |  4543962 |     4930   2307 |        0 |        0
867.83/868.27	c  868s |      24 |  5695419 |  4553762 |     4930   2311 |        0 |        0
869.84/870.27	c  870s |      24 |  5707260 |  4563962 |     4930   2315 |        0 |        0
871.83/872.27	c  872s |      24 |  5719062 |  4574162 |     4930   2320 |        0 |        0
873.83/874.28	c  874s |      24 |  5731670 |  4584962 |     4930   2324 |        0 |        0
875.93/876.33	c  876s |      24 |  5745147 |  4596362 |     4930   2329 |        0 |        0
877.93/878.33	c  878s |      24 |  5756734 |  4606562 |     4930   2333 |        0 |        0
879.93/880.34	c  880s |      24 |  5768525 |  4616962 |     4930   2337 |        0 |        0
881.93/882.35	c  882s |      24 |  5780706 |  4627662 |     4930   2341 |        0 |        0
883.92/884.35	c  884s |      24 |  5792800 |  4638462 |     4930   2345 |        0 |        0
885.92/886.36	c  886s |      24 |  5804778 |  4648862 |     4930   2350 |        0 |        0
887.92/888.38	c  888s |      24 |  5817787 |  4660362 |     4930   2354 |        0 |        0
889.92/890.39	c  890s |      24 |  5827589 |  4669162 |     4930   2358 |        0 |        0
892.02/892.40	c  892s |      24 |  5839843 |  4679362 |     4930   2362 |        0 |        0
894.03/894.41	c  894s |      24 |  5853791 |  4691262 |     4930   2367 |        0 |        0
896.02/896.42	c  896s |      24 |  5865077 |  4701262 |     4930   2371 |        0 |        0
898.02/898.43	c  898s |      24 |  5877057 |  4711762 |     4930   2375 |        0 |        0
900.02/900.45	c  900s |      24 |  5890086 |  4722662 |     4930   2379 |        0 |        0
902.02/902.46	c  902s |      24 |  5903616 |  4734162 |     4930   2384 |        0 |        0
904.02/904.47	c  904s |      24 |  5917066 |  4745662 |     4930   2389 |        0 |        0
906.02/906.49	c  906s |      24 |  5928577 |  4755762 |     4930   2393 |        0 |        0
908.12/908.58	c  908s |      24 |  5940677 |  4766562 |     4930   2397 |        0 |        0
910.12/910.59	c  910s |      24 |  5952184 |  4777162 |     4930   2401 |        0 |        0
912.23/912.61	c  912s |      24 |  5960841 |  4785162 |     4930   2404 |        0 |        0
914.23/914.63	c  914s |      24 |  5971924 |  4795062 |     4930   2408 |        0 |        0
916.22/916.63	c  916s |      24 |  5983632 |  4804962 |     4930   2412 |        0 |        0
918.23/918.64	c  918s |      24 |  5994702 |  4814762 |     4930   2416 |        0 |        0
920.22/920.66	c  920s |      24 |  6005835 |  4824362 |     4930   2420 |        0 |        0
922.22/922.67	c  922s |      24 |  6017318 |  4834362 |     4930   2424 |        0 |        0
924.22/924.68	c  924s |      24 |  6028392 |  4843962 |     4930   2428 |        0 |        0
926.32/926.70	c  926s |      24 |  6040483 |  4854562 |     4930   2432 |        0 |        0
928.32/928.71	c  928s |      24 |  6051765 |  4864562 |     4930   2436 |        0 |        0
930.33/930.72	c  930s |      24 |  6063670 |  4874662 |     4930   2440 |        0 |        0
932.32/932.72	c  932s |      24 |  6074914 |  4884362 |     4930   2444 |        0 |        0
934.32/934.74	c  934s |      24 |  6088370 |  4895762 |     4930   2449 |        0 |        0
936.32/936.74	c  936s |      24 |  6100332 |  4906262 |     4930   2453 |        0 |        0
938.32/938.76	c  938s |      24 |  6112404 |  4917062 |     4930   2458 |        0 |        0
940.32/940.77	c  940s |      24 |  6125111 |  4927862 |     4930   2462 |        0 |        0
942.32/942.78	c  942s |      24 |  6137163 |  4938562 |     4930   2466 |        0 |        0
944.32/944.79	c  944s |      24 |  6148971 |  4949162 |     4930   2470 |        0 |        0
946.42/946.80	c  946s |      24 |  6159298 |  4958762 |     4930   2474 |        0 |        0
948.41/948.80	c  948s |      24 |  6169493 |  4968062 |     4930   2478 |        0 |        0
950.41/950.82	c  950s |      24 |  6181010 |  4978062 |     4930   2482 |        0 |        0
952.41/952.83	c  952s |      24 |  6192340 |  4988062 |     4930   2486 |        0 |        0
954.42/954.84	c  954s |      24 |  6204221 |  4998162 |     4930   2490 |        0 |        0
956.41/956.84	c  956s |      24 |  6215653 |  5008162 |     4930   2494 |        0 |        0
958.41/958.85	c  958s |      24 |  6226139 |  5017362 |     4930   2498 |        0 |        0
960.41/960.85	c  960s |      24 |  6237437 |  5027262 |     4930   2502 |        0 |        0
962.41/962.88	c  962s |      24 |  6249889 |  5037962 |     5423   2506 |        0 |        0
964.42/964.89	c  964s |      24 |  6261070 |  5047562 |     5423   2509 |        0 |        0
966.52/966.91	c  966s |      24 |  6271912 |  5057262 |     5423   2513 |        0 |        0
968.12/968.51	c  968s |      25 |  6280853 |  5065098 |     5423   2515 |        0 |        0
970.12/970.53	c  970s |      25 |  6289783 |  5073198 |     5423   2518 |        0 |        0
972.12/972.53	c  972s |      25 |  6299989 |  5082298 |     5423   2522 |        0 |        0
974.12/974.55	c  974s |      25 |  6310920 |  5091898 |     5423   2525 |        0 |        0
976.12/976.56	c  976s |      25 |  6322289 |  5101598 |     5423   2529 |        0 |        0
978.12/978.57	c  978s |      25 |  6334222 |  5111798 |     5423   2532 |        0 |        0
980.11/980.58	c  980s |      25 |  6346014 |  5121998 |     5423   2536 |        0 |        0
982.21/982.68	c  982s |      25 |  6358151 |  5132498 |     5423   2540 |        0 |        0
984.22/984.69	c  984s |      25 |  6371319 |  5143598 |     5423   2544 |        0 |        0
986.32/986.71	c  986s |      25 |  6384588 |  5154798 |     5423   2548 |        0 |        0
988.31/988.71	c  988s |      25 |  6396580 |  5165198 |     5423   2552 |        0 |        0
990.31/990.71	c  990s |      25 |  6407439 |  5174698 |     5423   2555 |        0 |        0
992.31/992.80	c  992s |      25 |  6417805 |  5183798 |     5423   2559 |        0 |        0
994.41/994.80	c  994s |      25 |  6430691 |  5194898 |     5423   2563 |        0 |        0
996.41/996.81	c  996s |      25 |  6443548 |  5205898 |     5423   2567 |        0 |        0
998.41/998.83	c  998s |      25 |  6455175 |  5215998 |     5423   2571 |        0 |        0
1000.41/1000.84	c 1000s |      25 |  6465484 |  5225198 |     5423   2574 |        0 |        0
1002.41/1002.84	c 1002s |      25 |  6478125 |  5235998 |     5423   2578 |        0 |        0
1004.40/1004.86	c 1004s |      25 |  6490866 |  5246598 |     5423   2582 |        0 |        0
1006.40/1006.87	c 1006s |      25 |  6502244 |  5256498 |     5423   2585 |        0 |        0
1008.41/1008.89	c 1008s |      25 |  6514845 |  5267498 |     5423   2589 |        0 |        0
1010.40/1010.90	c 1010s |      25 |  6524325 |  5276098 |     5423   2593 |        0 |        0
1012.50/1012.90	c 1012s |      25 |  6535215 |  5285698 |     5423   2596 |        0 |        0
1014.50/1014.91	c 1014s |      25 |  6546669 |  5295598 |     5423   2600 |        0 |        0
1016.50/1016.92	c 1016s |      25 |  6559006 |  5306398 |     5423   2604 |        0 |        0
1018.51/1018.94	c 1018s |      25 |  6569796 |  5315998 |     5423   2607 |        0 |        0
1020.52/1020.94	c 1020s |      25 |  6580263 |  5325098 |     5423   2610 |        0 |        0
1022.51/1022.95	c 1022s |      25 |  6590671 |  5334398 |     5423   2614 |        0 |        0
1024.61/1025.06	c 1025s |      25 |  6599975 |  5342598 |     5423   2617 |        0 |        0
1026.61/1027.07	c 1027s |      25 |  6608815 |  5350698 |     5423   2620 |        0 |        0
1028.61/1029.08	c 1029s |      25 |  6620511 |  5360498 |     5423   2623 |        0 |        0
1030.61/1031.09	c 1031s |      25 |  6631514 |  5369998 |     5423   2627 |        0 |        0
1032.70/1033.10	c 1033s |      25 |  6641824 |  5379098 |     5423   2630 |        0 |        0
1034.71/1035.10	c 1035s |      25 |  6652901 |  5388698 |     5423   2634 |        0 |        0
1036.70/1037.11	c 1037s |      25 |  6665205 |  5398998 |     5423   2637 |        0 |        0
1038.80/1039.20	c 1039s |      25 |  6676755 |  5409098 |     5423   2641 |        0 |        0
1040.80/1041.20	c 1041s |      25 |  6688141 |  5418798 |     5423   2645 |        0 |        0
1042.80/1043.23	c 1043s |      25 |  6701822 |  5430498 |     5423   2649 |        0 |        0
1044.90/1045.31	c 1045s |      25 |  6713889 |  5440898 |     5423   2653 |        0 |        0
1046.91/1047.32	c 1047s |      25 |  6723907 |  5449798 |     5423   2656 |        0 |        0
1048.90/1049.33	c 1049s |      25 |  6735034 |  5459398 |     5423   2659 |        0 |        0
1050.90/1051.34	c 1051s |      25 |  6745816 |  5468798 |     5423   2663 |        0 |        0
1052.90/1053.35	c 1053s |      25 |  6759113 |  5479898 |     5423   2667 |        0 |        0
1054.90/1055.36	c 1055s |      25 |  6769514 |  5488898 |     5423   2670 |        0 |        0
1056.90/1057.37	c 1057s |      25 |  6782815 |  5500198 |     5423   2674 |        0 |        0
1058.90/1059.37	c 1059s |      25 |  6795371 |  5510998 |     5423   2678 |        0 |        0
1060.89/1061.38	c 1061s |      25 |  6806190 |  5520298 |     5423   2682 |        0 |        0
1062.99/1063.40	c 1063s |      25 |  6817923 |  5530398 |     5423   2685 |        0 |        0
1065.00/1065.40	c 1065s |      25 |  6830945 |  5541398 |     5423   2689 |        0 |        0
1067.00/1067.42	c 1067s |      25 |  6843373 |  5551898 |     5423   2693 |        0 |        0
1069.00/1069.43	c 1069s |      25 |  6856118 |  5562498 |     5423   2697 |        0 |        0
1071.01/1071.44	c 1071s |      25 |  6868419 |  5572598 |     5423   2701 |        0 |        0
1073.00/1073.44	c 1073s |      25 |  6880323 |  5582698 |     5423   2704 |        0 |        0
1075.00/1075.45	c 1075s |      25 |  6892909 |  5593298 |     5423   2708 |        0 |        0
1077.00/1077.46	c 1077s |      25 |  6905493 |  5603798 |     5423   2712 |        0 |        0
1079.00/1079.47	c 1079s |      25 |  6917525 |  5613698 |     5423   2716 |        0 |        0
1081.00/1081.47	c 1081s |      25 |  6928529 |  5623298 |     5423   2719 |        0 |        0
1083.00/1083.48	c 1083s |      25 |  6940414 |  5633798 |     5423   2723 |        0 |        0
1085.09/1085.55	c 1085s |      25 |  6953018 |  5644498 |     5423   2727 |        0 |        0
1087.09/1087.55	c 1087s |      25 |  6965438 |  5655198 |     5423   2731 |        0 |        0
1089.09/1089.56	c 1089s |      25 |  6976450 |  5664498 |     5423   2734 |        0 |        0
1091.09/1091.57	c 1091s |      25 |  6988991 |  5674898 |     5423   2738 |        0 |        0
1093.19/1093.63	c 1093s |      25 |  7001145 |  5685298 |     5423   2742 |        0 |        0
1095.20/1095.65	c 1095s |      25 |  7014346 |  5695998 |     5423   2746 |        0 |        0
1097.19/1097.65	c 1097s |      25 |  7026851 |  5706698 |     5423   2750 |        0 |        0
1099.20/1099.65	c 1099s |      25 |  7039539 |  5717198 |     5423   2754 |        0 |        0
1101.20/1101.70	c 1101s |      25 |  7051398 |  5727098 |     5423   2757 |        0 |        0
1103.30/1103.70	c 1103s |      25 |  7061305 |  5735998 |     5423   2761 |        0 |        0
1105.29/1105.70	c 1105s |      25 |  7071607 |  5745198 |     5423   2764 |        0 |        0
1107.30/1107.71	c 1107s |      25 |  7083577 |  5755598 |     5423   2768 |        0 |        0
1109.29/1109.77	c 1109s |      25 |  7095819 |  5766198 |     5423   2772 |        0 |        0
1111.29/1111.77	c 1111s |      25 |  7107884 |  5776298 |     5423   2775 |        0 |        0
1113.29/1113.78	c 1113s |      25 |  7120351 |  5787098 |     5423   2779 |        0 |        0
1115.29/1115.79	c 1115s |      25 |  7133478 |  5798198 |     5423   2783 |        0 |        0
1117.29/1117.79	c 1117s |      25 |  7146745 |  5809198 |     5423   2787 |        0 |        0
1119.29/1119.80	c 1119s |      25 |  7158072 |  5818998 |     5423   2791 |        0 |        0
1121.39/1121.81	c 1121s |      25 |  7169190 |  5828798 |     5423   2795 |        0 |        0
1123.39/1123.83	c 1123s |      25 |  7182091 |  5839698 |     5423   2799 |        0 |        0
1125.39/1125.85	c 1125s |      25 |  7194641 |  5850598 |     5423   2803 |        0 |        0
1127.38/1127.86	c 1127s |      25 |  7206555 |  5860898 |     5423   2806 |        0 |        0
1129.39/1129.86	c 1129s |      25 |  7219720 |  5872198 |     5423   2810 |        0 |        0
1131.38/1131.87	c 1131s |      25 |  7231581 |  5882498 |     5423   2814 |        0 |        0
1133.38/1133.87	c 1133s |      25 |  7243201 |  5892698 |     5423   2818 |        0 |        0
1135.38/1135.88	c 1135s |      25 |  7254098 |  5902298 |     5423   2821 |        0 |        0
1137.38/1137.88	c 1137s |      25 |  7266962 |  5913398 |     5423   2826 |        0 |        0
1139.39/1139.89	c 1139s |      25 |  7278182 |  5923198 |     5423   2829 |        0 |        0
1141.40/1141.89	c 1141s |      25 |  7289820 |  5933198 |     5423   2833 |        0 |        0
1143.49/1143.90	c 1143s |      25 |  7303097 |  5944498 |     5423   2837 |        0 |        0
1145.49/1145.96	c 1145s |      25 |  7314940 |  5954498 |     5423   2841 |        0 |        0
1147.49/1147.97	c 1147s |      25 |  7327817 |  5965798 |     5423   2845 |        0 |        0
1149.49/1149.97	c 1149s |      25 |  7338760 |  5975298 |     5423   2848 |        0 |        0
1151.49/1151.98	c 1151s |      25 |  7351305 |  5986398 |     5423   2852 |        0 |        0
1153.59/1154.03	c 1154s |      25 |  7361811 |  5995698 |     5423   2856 |        0 |        0
1155.59/1156.03	c 1156s |      25 |  7375201 |  6006898 |     5423   2860 |        0 |        0
1157.59/1158.04	c 1158s |      25 |  7387754 |  6017498 |     5423   2864 |        0 |        0
1159.59/1160.06	c 1160s |      25 |  7399883 |  6028098 |     5423   2868 |        0 |        0
1161.59/1162.08	c 1162s |      25 |  7412062 |  6038798 |     5423   2871 |        0 |        0
1163.58/1164.09	c 1164s |      25 |  7424790 |  6049398 |     5423   2875 |        0 |        0
1165.69/1166.11	c 1166s |      25 |  7437312 |  6060398 |     5423   2879 |        0 |        0
1167.68/1168.17	c 1168s |      25 |  7449317 |  6070698 |     5423   2883 |        0 |        0
1169.68/1170.19	c 1170s |      25 |  7461517 |  6081498 |     5423   2887 |        0 |        0
1171.78/1172.20	c 1172s |      25 |  7471591 |  6090398 |     5423   2890 |        0 |        0
1173.78/1174.21	c 1174s |      25 |  7483451 |  6100498 |     5423   2894 |        0 |        0
1175.78/1176.23	c 1176s |      25 |  7496614 |  6111398 |     5423   2898 |        0 |        0
1177.79/1178.24	c 1178s |      25 |  7509029 |  6121698 |     5423   2902 |        0 |        0
1179.78/1180.25	c 1180s |      25 |  7520733 |  6131898 |     5423   2906 |        0 |        0
1181.78/1182.26	c 1182s |      25 |  7533779 |  6142998 |     5423   2910 |        0 |        0
1183.78/1184.29	c 1184s |      25 |  7546314 |  6153698 |     5423   2914 |        0 |        0
1185.87/1186.30	c 1186s |      25 |  7558762 |  6164098 |     5423   2917 |        0 |        0
1187.87/1188.32	c 1188s |      25 |  7571863 |  6174998 |     5423   2921 |        0 |        0
1189.88/1190.33	c 1190s |      25 |  7583879 |  6184898 |     5423   2925 |        0 |        0
1191.87/1192.34	c 1192s |      25 |  7596966 |  6196098 |     5423   2929 |        0 |        0
1193.87/1194.34	c 1194s |      25 |  7609893 |  6206698 |     5423   2933 |        0 |        0
1195.88/1196.36	c 1196s |      25 |  7623106 |  6217398 |     5423   2937 |        0 |        0
1197.88/1198.36	c 1198s |      25 |  7632809 |  6225998 |     5423   2940 |        0 |        0
1199.88/1200.36	c 1200s |      25 |  7643811 |  6235598 |     5423   2944 |        0 |        0
1201.89/1202.37	c 1202s |      25 |  7655959 |  6245798 |     5423   2947 |        0 |        0
1203.88/1204.38	c 1204s |      25 |  7668031 |  6256398 |     5423   2951 |        0 |        0
1205.88/1206.39	c 1206s |      25 |  7679150 |  6265898 |     5423   2955 |        0 |        0
1207.88/1208.39	c 1208s |      25 |  7691871 |  6276898 |     5423   2959 |        0 |        0
1209.98/1210.40	c 1210s |      25 |  7702879 |  6286698 |     5423   2962 |        0 |        0
1211.98/1212.41	c 1212s |      25 |  7714892 |  6296898 |     5423   2966 |        0 |        0
1213.98/1214.45	c 1214s |      25 |  7727013 |  6307298 |     5423   2970 |        0 |        0
1215.97/1216.46	c 1216s |      25 |  7740085 |  6318398 |     5423   2974 |        0 |        0
1217.97/1218.47	c 1218s |      25 |  7752624 |  6329298 |     5423   2978 |        0 |        0
1219.97/1220.49	c 1220s |      25 |  7762844 |  6338498 |     5423   2981 |        0 |        0
1221.97/1222.49	c 1222s |      25 |  7775456 |  6348998 |     5423   2985 |        0 |        0
1223.98/1224.49	c 1224s |      25 |  7786828 |  6358898 |     5423   2989 |        0 |        0
1226.08/1226.52	c 1226s |      25 |  7799521 |  6369598 |     5423   2993 |        0 |        0
1228.07/1228.52	c 1228s |      25 |  7812433 |  6380698 |     5423   2997 |        0 |        0
1230.07/1230.52	c 1230s |      25 |  7824380 |  6390898 |     5423   3000 |        0 |        0
1232.07/1232.53	c 1232s |      25 |  7837603 |  6401798 |     5423   3004 |        0 |        0
1234.07/1234.54	c 1234s |      25 |  7850352 |  6412698 |     5423   3008 |        0 |        0
1236.07/1236.55	c 1236s |      25 |  7862506 |  6422798 |     5423   3012 |        0 |        0
1238.17/1238.62	c 1238s |      25 |  7874441 |  6432998 |     5423   3016 |        0 |        0
1240.17/1240.63	c 1240s |      25 |  7886955 |  6443398 |     5423   3020 |        0 |        0
1242.18/1242.63	c 1242s |      25 |  7900232 |  6454398 |     5423   3024 |        0 |        0
1244.17/1244.65	c 1244s |      25 |  7912772 |  6464798 |     5423   3027 |        0 |        0
1246.17/1246.66	c 1246s |      25 |  7925350 |  6475398 |     5423   3031 |        0 |        0
1248.18/1248.67	c 1248s |      25 |  7938322 |  6486598 |     5423   3035 |        0 |        0
1250.17/1250.67	c 1250s |      25 |  7950168 |  6496598 |     5423   3039 |        0 |        0
1252.17/1252.68	c 1252s |      25 |  7962623 |  6507598 |     5423   3043 |        0 |        0
1254.17/1254.69	c 1254s |      25 |  7973614 |  6517198 |     5423   3047 |        0 |        0
1256.27/1256.74	c 1256s |      25 |  7984543 |  6526498 |     5423   3050 |        0 |        0
1258.27/1258.75	c 1258s |      25 |  7997750 |  6537198 |     5423   3054 |        0 |        0
1260.28/1260.76	c 1260s |      25 |  8009124 |  6546998 |     5423   3057 |        0 |        0
1262.37/1262.82	c 1262s |      25 |  8021768 |  6557698 |     5423   3061 |        0 |        0
1264.37/1264.83	c 1264s |      25 |  8034730 |  6568698 |     5423   3065 |        0 |        0
1266.37/1266.85	c 1266s |      25 |  8047758 |  6579598 |     5423   3069 |        0 |        0
1268.37/1268.87	c 1268s |      25 |  8060760 |  6590698 |     5423   3073 |        0 |        0
1270.36/1270.87	c 1270s |      25 |  8073304 |  6601198 |     5423   3077 |        0 |        0
1272.37/1272.88	c 1272s |      25 |  8085987 |  6611898 |     5423   3081 |        0 |        0
1274.36/1274.90	c 1274s |      25 |  8097781 |  6622098 |     5423   3085 |        0 |        0
1276.46/1276.90	c 1276s |      25 |  8110012 |  6632698 |     5423   3089 |        0 |        0
1278.46/1278.90	c 1278s |      25 |  8121564 |  6642898 |     5423   3093 |        0 |        0
1280.46/1280.91	c 1280s |      25 |  8132694 |  6652298 |     5423   3096 |        0 |        0
1282.46/1282.92	c 1282s |      25 |  8146109 |  6663598 |     5423   3100 |        0 |        0
1284.47/1284.92	c 1284s |      25 |  8158774 |  6674098 |     5423   3104 |        0 |        0
1286.47/1286.94	c 1286s |      25 |  8172461 |  6684998 |     5423   3108 |        0 |        0
1288.47/1288.95	c 1288s |      25 |  8184967 |  6695398 |     5423   3112 |        0 |        0
1290.47/1290.96	c 1290s |      25 |  8198673 |  6706598 |     5423   3116 |        0 |        0
1292.57/1293.03	c 1293s |      25 |  8211588 |  6717498 |     5423   3120 |        0 |        0
1294.56/1295.04	c 1295s |      25 |  8225175 |  6728698 |     5423   3124 |        0 |        0
1296.57/1297.06	c 1297s |      25 |  8237039 |  6738598 |     5423   3128 |        0 |        0
1298.56/1299.07	c 1299s |      25 |  8249626 |  6749098 |     5423   3131 |        0 |        0
1300.56/1301.08	c 1301s |      25 |  8262688 |  6759598 |     5423   3135 |        0 |        0
1302.56/1303.08	c 1303s |      25 |  8275993 |  6770798 |     5423   3139 |        0 |        0
1304.56/1305.10	c 1305s |      25 |  8289081 |  6781798 |     5423   3143 |        0 |        0
1306.66/1307.10	c 1307s |      25 |  8301951 |  6792498 |     5423   3147 |        0 |        0
1308.76/1309.25	c 1309s |      25 |  8314316 |  6802698 |     5423   3151 |        0 |        0
1310.77/1311.25	c 1311s |      25 |  8326061 |  6812998 |     5423   3155 |        0 |        0
1312.76/1313.26	c 1313s |      25 |  8336856 |  6822598 |     5423   3158 |        0 |        0
1314.76/1315.26	c 1315s |      25 |  8349382 |  6833098 |     5423   3162 |        0 |        0
1316.86/1317.32	c 1317s |      25 |  8361821 |  6843698 |     5423   3166 |        0 |        0
1318.86/1319.33	c 1319s |      25 |  8374937 |  6854998 |     5423   3170 |        0 |        0
1320.86/1321.34	c 1321s |      25 |  8387553 |  6865398 |     5423   3174 |        0 |        0
1322.86/1323.35	c 1323s |      25 |  8399420 |  6875698 |     5423   3178 |        0 |        0
1324.86/1325.36	c 1325s |      25 |  8412903 |  6886998 |     5423   3182 |        0 |        0
1326.86/1327.37	c 1327s |      25 |  8424892 |  6896798 |     5423   3185 |        0 |        0
1328.86/1329.38	c 1329s |      25 |  8437663 |  6907398 |     5423   3189 |        0 |        0
1330.95/1331.40	c 1331s |      25 |  8450478 |  6917898 |     5423   3193 |        0 |        0
1332.95/1333.41	c 1333s |      25 |  8463442 |  6929098 |     5423   3197 |        0 |        0
1335.07/1335.56	c 1335s |      25 |  8474866 |  6938898 |     5423   3201 |        0 |        0
1337.06/1337.56	c 1337s |      25 |  8487170 |  6948798 |     5423   3205 |        0 |        0
1339.06/1339.58	c 1339s |      25 |  8499388 |  6959098 |     5423   3208 |        0 |        0
1341.06/1341.58	c 1341s |      25 |  8512197 |  6969898 |     5423   3212 |        0 |        0
1343.06/1343.59	c 1343s |      25 |  8524826 |  6980598 |     5423   3216 |        0 |        0
1345.06/1345.60	c 1345s |      25 |  8537312 |  6991198 |     5423   3220 |        0 |        0
1347.16/1347.64	c 1347s |      25 |  8549900 |  7001798 |     5423   3224 |        0 |        0
1349.15/1349.66	c 1349s |      25 |  8561631 |  7011798 |     5423   3228 |        0 |        0
1351.25/1351.70	c 1351s |      25 |  8574901 |  7022698 |     5423   3232 |        0 |        0
1353.25/1353.74	c 1353s |      25 |  8587370 |  7032998 |     5423   3235 |        0 |        0
1355.25/1355.75	c 1355s |      25 |  8600929 |  7044098 |     5423   3239 |        0 |        0
1357.25/1357.75	c 1357s |      25 |  8613104 |  7054398 |     5423   3243 |        0 |        0
1359.26/1359.76	c 1359s |      25 |  8625579 |  7064898 |     5423   3247 |        0 |        0
1361.25/1361.77	c 1361s |      25 |  8638382 |  7075598 |     5423   3251 |        0 |        0
1363.25/1363.78	c 1363s |      25 |  8651491 |  7086098 |     5423   3255 |        0 |        0
1365.25/1365.79	c 1365s |      25 |  8665031 |  7097398 |     5423   3259 |        0 |        0
1367.25/1367.79	c 1367s |      25 |  8677908 |  7108098 |     5423   3263 |        0 |        0
1369.35/1369.85	c 1369s |      25 |  8690320 |  7118698 |     5423   3267 |        0 |        0
1371.36/1371.86	c 1371s |      25 |  8703507 |  7129898 |     5423   3271 |        0 |        0
1373.35/1373.86	c 1373s |      25 |  8716426 |  7140398 |     5423   3275 |        0 |        0
1375.36/1375.86	c 1375s |      25 |  8729029 |  7150698 |     5423   3278 |        0 |        0
1377.35/1377.87	c 1377s |      25 |  8741289 |  7160998 |     5423   3282 |        0 |        0
1379.35/1379.87	c 1379s |      25 |  8753867 |  7171198 |     5423   3286 |        0 |        0
1381.35/1381.88	c 1381s |      25 |  8766485 |  7181898 |     5423   3290 |        0 |        0
1383.36/1383.89	c 1383s |      25 |  8779652 |  7192698 |     5423   3294 |        0 |        0
1385.45/1385.90	c 1385s |      25 |  8792362 |  7203298 |     5423   3298 |        0 |        0
1387.45/1387.91	c 1387s |      25 |  8804907 |  7213498 |     5423   3301 |        0 |        0
1389.45/1389.92	c 1389s |      25 |  8818093 |  7224598 |     5423   3305 |        0 |        0
1391.45/1391.93	c 1391s |      25 |  8829958 |  7234298 |     5423   3309 |        0 |        0
1393.45/1393.94	c 1393s |      25 |  8843756 |  7245498 |     5423   3313 |        0 |        0
1395.46/1395.96	c 1395s |      25 |  8855517 |  7255098 |     5423   3317 |        0 |        0
1397.45/1397.96	c 1397s |      25 |  8867241 |  7264998 |     5423   3320 |        0 |        0
1399.45/1399.98	c 1399s |      25 |  8879283 |  7275298 |     5423   3324 |        0 |        0
1401.45/1401.98	c 1401s |      25 |  8892858 |  7286198 |     5423   3328 |        0 |        0
1403.45/1403.99	c 1403s |      25 |  8906484 |  7297098 |     5423   3332 |        0 |        0
1405.54/1406.00	c 1405s |      25 |  8920322 |  7308598 |     5423   3336 |        0 |        0
1407.44/1408.00	c 1407s |      25 |  8932982 |  7319398 |     5423   3340 |        0 |        0
1409.54/1410.02	c 1409s |      25 |  8943563 |  7328498 |     5423   3344 |        0 |        0
1411.54/1412.03	c 1412s |      25 |  8954685 |  7338098 |     5423   3347 |        0 |        0
1413.54/1414.04	c 1414s |      25 |  8967084 |  7348498 |     5423   3351 |        0 |        0
1415.55/1416.05	c 1416s |      25 |  8979409 |  7358898 |     5423   3355 |        0 |        0
1417.56/1418.06	c 1418s |      25 |  8992280 |  7369798 |     5423   3359 |        0 |        0
1419.65/1420.14	c 1420s |      25 |  9005001 |  7380498 |     5423   3363 |        0 |        0
1421.65/1422.15	c 1422s |      25 |  9018787 |  7391498 |     5423   3367 |        0 |        0
1423.65/1424.17	c 1424s |      25 |  9031762 |  7402198 |     5423   3370 |        0 |        0
1425.64/1426.17	c 1426s |      25 |  9045336 |  7413598 |     5423   3375 |        0 |        0
1427.64/1428.18	c 1428s |      25 |  9056871 |  7423398 |     5423   3378 |        0 |        0
1429.65/1430.19	c 1430s |      25 |  9068454 |  7433098 |     5423   3382 |        0 |        0
1431.64/1432.20	c 1432s |      25 |  9082253 |  7444698 |     5423   3386 |        0 |        0
1433.74/1434.20	c 1434s |      25 |  9094173 |  7454598 |     5423   3390 |        0 |        0
1435.74/1436.20	c 1436s |      25 |  9106803 |  7465198 |     5423   3394 |        0 |        0
1437.74/1438.22	c 1438s |      25 |  9120375 |  7476398 |     5423   3398 |        0 |        0
1439.74/1440.22	c 1440s |      25 |  9132250 |  7486498 |     5423   3401 |        0 |        0
1441.75/1442.29	c 1442s |      25 |  9144873 |  7497198 |     5423   3405 |        0 |        0
1443.74/1444.30	c 1444s |      25 |  9157281 |  7507698 |     5423   3409 |        0 |        0
1445.84/1446.31	c 1446s |      25 |  9168431 |  7517198 |     5423   3413 |        0 |        0
1447.84/1448.33	c 1448s |      25 |  9179178 |  7526498 |     5423   3416 |        0 |        0
1449.84/1450.33	c 1450s |      25 |  9191897 |  7537098 |     5423   3420 |        0 |        0
1451.84/1452.35	c 1452s |      25 |  9203855 |  7547198 |     5966   3423 |        0 |        0
1453.84/1454.36	c 1454s |      25 |  9215276 |  7557098 |     5966   3427 |        0 |        0
1455.83/1456.37	c 1456s |      25 |  9225011 |  7565498 |     5966   3429 |        0 |        0
1457.83/1458.39	c 1458s |      25 |  9235178 |  7574398 |     5966   3432 |        0 |        0
1459.94/1460.40	c 1460s |      25 |  9246175 |  7583798 |     5966   3435 |        0 |        0
1461.94/1462.40	c 1462s |      25 |  9258267 |  7594098 |     5966   3439 |        0 |        0
1462.84/1463.30	c 1463s |      26 |  9262448 |  7597752 |     5966   3440 |        0 |        0
1464.85/1465.35	c 1465s |      26 |  9270418 |  7605052 |     5966   3443 |        0 |        0
1466.84/1467.36	c 1467s |      26 |  9279508 |  7613252 |     5966   3445 |        0 |        0
1468.84/1469.37	c 1469s |      26 |  9289036 |  7621552 |     5966   3448 |        0 |        0
1470.94/1471.41	c 1471s |      26 |  9297514 |  7629252 |     5966   3451 |        0 |        0
1472.94/1473.43	c 1473s |      26 |  9307286 |  7637952 |     5966   3453 |        0 |        0
1474.94/1475.44	c 1475s |      26 |  9314735 |  7644952 |     5966   3456 |        0 |        0
1476.94/1477.46	c 1477s |      26 |  9322923 |  7652252 |     5966   3458 |        0 |        0
1478.94/1479.47	c 1479s |      26 |  9330411 |  7659252 |     5966   3460 |        0 |        0
1481.03/1481.50	c 1481s |      26 |  9336986 |  7665552 |     5966   3463 |        0 |        0
1483.03/1483.52	c 1483s |      26 |  9344921 |  7672952 |     5966   3465 |        0 |        0
1485.03/1485.52	c 1485s |      26 |  9353202 |  7680552 |     5966   3468 |        0 |        0
1487.03/1487.54	c 1487s |      26 |  9361044 |  7687952 |     5966   3470 |        0 |        0
1489.04/1489.55	c 1489s |      26 |  9370501 |  7696352 |     5966   3473 |        0 |        0
1491.03/1491.57	c 1491s |      26 |  9379488 |  7704452 |     5966   3476 |        0 |        0
1493.03/1493.57	c 1493s |      26 |  9388455 |  7712552 |     5966   3478 |        0 |        0
1495.03/1495.58	c 1495s |      26 |  9397828 |  7720952 |     5966   3481 |        0 |        0
1497.03/1497.58	c 1497s |      26 |  9408190 |  7729852 |     5966   3484 |        0 |        0
1499.03/1499.59	c 1499s |      26 |  9418508 |  7739152 |     5966   3487 |        0 |        0
1501.14/1501.60	c 1501s |      26 |  9426311 |  7746452 |     5966   3489 |        0 |        0
1503.13/1503.62	c 1503s |      26 |  9433988 |  7753452 |     5966   3492 |        0 |        0
1505.13/1505.64	c 1505s |      26 |  9442068 |  7761052 |     5966   3494 |        0 |        0
1507.13/1507.66	c 1507s |      26 |  9449894 |  7768152 |     5966   3497 |        0 |        0
1509.13/1509.67	c 1509s |      26 |  9459093 |  7776452 |     5966   3499 |        0 |        0
1511.13/1511.68	c 1511s |      26 |  9468927 |  7785052 |     5966   3502 |        0 |        0
1513.24/1513.76	c 1513s |      26 |  9479811 |  7794452 |     5966   3505 |        0 |        0
1515.34/1515.83	c 1515s |      26 |  9489563 |  7803152 |     5966   3508 |        0 |        0
1517.33/1517.83	c 1517s |      26 |  9498366 |  7811152 |     5966   3511 |        0 |        0
1519.33/1519.84	c 1519s |      26 |  9507044 |  7818752 |     5966   3513 |        0 |        0
1521.33/1521.86	c 1521s |      26 |  9519039 |  7828952 |     5966   3517 |        0 |        0
1523.33/1523.87	c 1523s |      26 |  9530105 |  7838652 |     5966   3520 |        0 |        0
1525.33/1525.88	c 1525s |      26 |  9539721 |  7847052 |     5966   3523 |        0 |        0
1527.33/1527.89	c 1527s |      26 |  9549544 |  7855852 |     5966   3526 |        0 |        0
1529.43/1529.93	c 1529s |      26 |  9558501 |  7864152 |     5966   3529 |        0 |        0
1531.43/1531.94	c 1531s |      26 |  9569062 |  7873252 |     5966   3532 |        0 |        0
1533.43/1533.96	c 1533s |      26 |  9579095 |  7882152 |     5966   3535 |        0 |        0
1535.43/1535.97	c 1535s |      26 |  9587546 |  7889852 |     5966   3537 |        0 |        0
1537.43/1537.98	c 1537s |      26 |  9594440 |  7896452 |     5966   3539 |        0 |        0
1539.43/1539.99	c 1539s |      26 |  9602323 |  7903552 |     5966   3542 |        0 |        0
1541.52/1542.01	c 1541s |      26 |  9612207 |  7912252 |     5966   3544 |        0 |        0
1543.52/1544.01	c 1543s |      26 |  9620918 |  7920352 |     5966   3547 |        0 |        0
1545.52/1546.03	c 1546s |      26 |  9630609 |  7928952 |     5966   3550 |        0 |        0
1547.52/1548.03	c 1548s |      26 |  9639666 |  7937152 |     5966   3553 |        0 |        0
1549.53/1550.03	c 1550s |      26 |  9648228 |  7944952 |     5966   3555 |        0 |        0
1551.52/1552.05	c 1552s |      26 |  9658536 |  7954252 |     5966   3558 |        0 |        0
1553.52/1554.06	c 1554s |      26 |  9666777 |  7961852 |     5966   3561 |        0 |        0
1555.52/1556.06	c 1556s |      26 |  9675055 |  7969452 |     5966   3563 |        0 |        0
1557.52/1558.07	c 1558s |      26 |  9684506 |  7977852 |     5966   3566 |        0 |        0
1559.52/1560.08	c 1560s |      26 |  9694335 |  7986552 |     5966   3569 |        0 |        0
1561.53/1562.09	c 1562s |      26 |  9703530 |  7994552 |     5966   3572 |        0 |        0
1563.52/1564.09	c 1564s |      26 |  9714130 |  8004052 |     5966   3575 |        0 |        0
1565.62/1566.11	c 1566s |      26 |  9723521 |  8012552 |     5966   3578 |        0 |        0
1567.62/1568.11	c 1568s |      26 |  9734961 |  8022552 |     5966   3581 |        0 |        0
1569.62/1570.12	c 1570s |      26 |  9743509 |  8030352 |     5966   3584 |        0 |        0
1571.62/1572.13	c 1572s |      26 |  9752759 |  8038452 |     5966   3586 |        0 |        0
1573.62/1574.14	c 1574s |      26 |  9764547 |  8048452 |     5966   3590 |        0 |        0
1575.62/1576.16	c 1576s |      26 |  9774978 |  8057552 |     5966   3593 |        0 |        0
1577.62/1578.18	c 1578s |      26 |  9784933 |  8066352 |     5966   3596 |        0 |        0
1579.72/1580.21	c 1580s |      26 |  9794548 |  8074952 |     5966   3599 |        0 |        0
1581.72/1582.21	c 1582s |      26 |  9803708 |  8083052 |     5966   3601 |        0 |        0
1583.72/1584.22	c 1584s |      26 |  9813972 |  8092252 |     5966   3604 |        0 |        0
1585.73/1586.22	c 1586s |      26 |  9824757 |  8101552 |     5966   3607 |        0 |        0
1587.82/1588.33	c 1588s |      26 |  9835594 |  8111052 |     5966   3611 |        0 |        0
1589.92/1590.40	c 1590s |      26 |  9843553 |  8118452 |     5966   3613 |        0 |        0
1591.92/1592.41	c 1592s |      26 |  9851803 |  8125952 |     5966   3615 |        0 |        0
1593.92/1594.42	c 1594s |      26 |  9860294 |  8133552 |     5966   3618 |        0 |        0
1595.92/1596.43	c 1596s |      26 |  9869034 |  8141552 |     5966   3621 |        0 |        0
1597.92/1598.43	c 1598s |      26 |  9878892 |  8150152 |     5966   3623 |        0 |        0
1599.92/1600.44	c 1600s |      26 |  9887882 |  8158352 |     5966   3626 |        0 |        0
1601.92/1602.45	c 1602s |      26 |  9897173 |  8166752 |     5966   3629 |        0 |        0
1603.92/1604.46	c 1604s |      26 |  9906489 |  8175052 |     5966   3632 |        0 |        0
1605.91/1606.48	c 1606s |      26 |  9915105 |  8183052 |     5966   3634 |        0 |        0
1607.91/1608.49	c 1608s |      26 |  9923276 |  8190352 |     5966   3637 |        0 |        0
1609.92/1610.49	c 1610s |      26 |  9933282 |  8199152 |     5966   3640 |        0 |        0
1612.01/1612.52	c 1612s |      26 |  9943835 |  8208352 |     5966   3643 |        0 |        0
1614.01/1614.53	c 1614s |      26 |  9954719 |  8217752 |     5966   3646 |        0 |        0
1616.01/1616.54	c 1616s |      26 |  9964535 |  8226452 |     5966   3649 |        0 |        0
1618.01/1618.56	c 1618s |      26 |  9973045 |  8234352 |     5966   3651 |        0 |        0
1620.01/1620.56	c 1620s |      26 |  9981193 |  8241752 |     5966   3654 |        0 |        0
1622.02/1622.58	c 1622s |      26 |  9990015 |  8249652 |     5966   3657 |        0 |        0
1624.01/1624.59	c 1624s |      26 | 10001054 |  8259252 |     5966   3660 |        0 |        0
1626.11/1626.61	c 1626s |      26 | 10011774 |  8268552 |     5966   3663 |        0 |        0
1628.11/1628.61	c 1628s |      26 | 10022931 |  8278052 |     5966   3666 |        0 |        0
1630.11/1630.61	c 1630s |      26 | 10033905 |  8287752 |     5966   3669 |        0 |        0
1632.11/1632.64	c 1632s |      26 | 10041540 |  8294752 |     5966   3672 |        0 |        0
1634.11/1634.66	c 1634s |      26 | 10050645 |  8302952 |     5966   3674 |        0 |        0
1636.11/1636.68	c 1636s |      26 | 10061011 |  8312052 |     5966   3677 |        0 |        0
1638.11/1638.68	c 1638s |      26 | 10070989 |  8320952 |     5966   3680 |        0 |        0
1640.11/1640.69	c 1640s |      26 | 10080544 |  8329352 |     5966   3683 |        0 |        0
1642.21/1642.70	c 1642s |      26 | 10092052 |  8339252 |     5966   3686 |        0 |        0
1644.21/1644.70	c 1644s |      26 | 10101596 |  8347552 |     5966   3689 |        0 |        0
1646.22/1646.78	c 1646s |      26 | 10109718 |  8355052 |     5966   3692 |        0 |        0
1648.31/1648.80	c 1648s |      26 | 10118668 |  8363152 |     5966   3694 |        0 |        0
1650.31/1650.81	c 1650s |      26 | 10128931 |  8371952 |     5966   3697 |        0 |        0
1652.31/1652.81	c 1652s |      26 | 10140957 |  8382252 |     5966   3701 |        0 |        0
1654.31/1654.81	c 1654s |      26 | 10152217 |  8392152 |     5966   3704 |        0 |        0
1656.31/1656.83	c 1656s |      26 | 10163640 |  8401952 |     5966   3707 |        0 |        0
1658.31/1658.84	c 1658s |      26 | 10175077 |  8411852 |     5966   3710 |        0 |        0
1660.31/1660.85	c 1660s |      26 | 10184785 |  8420452 |     5966   3713 |        0 |        0
1662.31/1662.86	c 1662s |      26 | 10194838 |  8429152 |     5966   3716 |        0 |        0
1664.31/1664.87	c 1664s |      26 | 10205577 |  8438652 |     5966   3719 |        0 |        0
1666.40/1666.90	c 1666s |      26 | 10215692 |  8447752 |     5966   3722 |        0 |        0
1668.40/1668.90	c 1668s |      26 | 10223599 |  8455052 |     5966   3725 |        0 |        0
1670.41/1670.91	c 1670s |      26 | 10232150 |  8462952 |     5966   3727 |        0 |        0
1672.40/1672.93	c 1672s |      26 | 10241660 |  8471352 |     5966   3730 |        0 |        0
1674.50/1675.00	c 1674s |      26 | 10250915 |  8479852 |     5966   3733 |        0 |        0
1676.50/1677.00	c 1676s |      26 | 10261226 |  8488952 |     5966   3736 |        0 |        0
1678.50/1679.01	c 1678s |      26 | 10270110 |  8496952 |     5966   3739 |        0 |        0
1680.50/1681.02	c 1680s |      26 | 10280403 |  8506052 |     5966   3742 |        0 |        0
1682.51/1683.02	c 1682s |      26 | 10292166 |  8516052 |     5966   3745 |        0 |        0
1684.51/1685.03	c 1684s |      26 | 10303322 |  8525252 |     5966   3748 |        0 |        0
1686.50/1687.03	c 1687s |      26 | 10314000 |  8534452 |     5966   3751 |        0 |        0
1688.50/1689.04	c 1689s |      26 | 10324334 |  8543252 |     5966   3754 |        0 |        0
1690.50/1691.05	c 1691s |      26 | 10335481 |  8552752 |     5966   3757 |        0 |        0
1692.51/1693.09	c 1693s |      26 | 10346786 |  8562452 |     5966   3761 |        0 |        0
1694.50/1695.09	c 1695s |      26 | 10358517 |  8572152 |     5966   3764 |        0 |        0
1696.60/1697.10	c 1697s |      26 | 10370616 |  8582352 |     5966   3767 |        0 |        0
1698.60/1699.10	c 1699s |      26 | 10381237 |  8591652 |     5966   3770 |        0 |        0
1700.70/1701.22	c 1701s |      26 | 10392156 |  8601152 |     5966   3773 |        0 |        0
1702.70/1703.23	c 1703s |      26 | 10403825 |  8611052 |     5966   3777 |        0 |        0
1704.70/1705.25	c 1705s |      26 | 10415144 |  8621052 |     5966   3780 |        0 |        0
1706.70/1707.26	c 1707s |      26 | 10426384 |  8630652 |     5966   3783 |        0 |        0
1708.70/1709.27	c 1709s |      26 | 10437527 |  8640352 |     5966   3786 |        0 |        0
1710.80/1711.31	c 1711s |      26 | 10447140 |  8649052 |     5966   3789 |        0 |        0
1712.80/1713.31	c 1713s |      26 | 10455225 |  8656352 |     5966   3792 |        0 |        0
1714.90/1715.47	c 1715s |      26 | 10464614 |  8664652 |     5966   3795 |        0 |        0
1716.90/1717.49	c 1717s |      26 | 10475714 |  8674252 |     5966   3798 |        0 |        0
1719.00/1719.50	c 1719s |      26 | 10486390 |  8683452 |     5966   3801 |        0 |        0
1720.90/1721.50	c 1721s |      26 | 10497633 |  8693252 |     5966   3804 |        0 |        0
1723.00/1723.51	c 1723s |      26 | 10507049 |  8701752 |     5966   3807 |        0 |        0
1725.00/1725.51	c 1725s |      26 | 10516580 |  8710152 |     5966   3810 |        0 |        0
1727.00/1727.53	c 1727s |      26 | 10528179 |  8719952 |     5966   3813 |        0 |        0
1729.00/1729.58	c 1729s |      26 | 10538981 |  8729452 |     5966   3816 |        0 |        0
1731.01/1731.58	c 1731s |      26 | 10550333 |  8739352 |     5966   3819 |        0 |        0
1733.00/1733.60	c 1733s |      26 | 10559628 |  8747452 |     5966   3822 |        0 |        0
1735.09/1735.61	c 1735s |      26 | 10568854 |  8755652 |     5966   3825 |        0 |        0
1737.09/1737.61	c 1737s |      26 | 10580692 |  8765852 |     5966   3828 |        0 |        0
1739.09/1739.63	c 1739s |      26 | 10591464 |  8775152 |     5966   3831 |        0 |        0
1741.09/1741.64	c 1741s |      26 | 10602739 |  8785052 |     5966   3835 |        0 |        0
1743.10/1743.64	c 1743s |      26 | 10613419 |  8794052 |     5966   3837 |        0 |        0
1745.09/1745.65	c 1745s |      26 | 10625658 |  8804652 |     5966   3841 |        0 |        0
1747.09/1747.66	c 1747s |      26 | 10636084 |  8813452 |     5966   3844 |        0 |        0
1749.09/1749.68	c 1749s |      26 | 10648466 |  8824152 |     5966   3848 |        0 |        0
1751.09/1751.68	c 1751s |      26 | 10659397 |  8833852 |     5966   3851 |        0 |        0
1753.10/1753.69	c 1753s |      26 | 10669468 |  8842852 |     5966   3854 |        0 |        0
1755.10/1755.69	c 1755s |      26 | 10680519 |  8852452 |     5966   3857 |        0 |        0
1757.20/1757.71	c 1757s |      26 | 10691427 |  8861952 |     5966   3860 |        0 |        0
1759.20/1759.73	c 1759s |      26 | 10702850 |  8871752 |     5966   3863 |        0 |        0
1761.20/1761.74	c 1761s |      26 | 10714833 |  8882352 |     5966   3867 |        0 |        0
1763.19/1763.74	c 1763s |      26 | 10725656 |  8891852 |     5966   3870 |        0 |        0
1765.19/1765.76	c 1765s |      26 | 10734926 |  8900452 |     5966   3873 |        0 |        0
1767.20/1767.77	c 1767s |      26 | 10744692 |  8909152 |     5966   3876 |        0 |        0
1769.19/1769.79	c 1769s |      26 | 10756140 |  8919152 |     5966   3879 |        0 |        0
1771.29/1771.80	c 1771s |      26 | 10766187 |  8928152 |     5966   3882 |        0 |        0
1773.29/1773.81	c 1773s |      26 | 10775836 |  8936752 |     5966   3885 |        0 |        0
1775.29/1775.84	c 1775s |      26 | 10784571 |  8944452 |     5966   3888 |        0 |        0
1777.29/1777.85	c 1777s |      26 | 10793620 |  8952452 |     5966   3890 |        0 |        0
1779.29/1779.85	c 1779s |      26 | 10803658 |  8961352 |     5966   3893 |        0 |        0
1781.28/1781.86	c 1781s |      26 | 10813968 |  8970252 |     5966   3896 |        0 |        0
1783.28/1783.86	c 1783s |      26 | 10824485 |  8979552 |     5966   3899 |        0 |        0
1785.28/1785.88	c 1785s |      26 | 10835140 |  8988952 |     5966   3902 |        0 |        0
1787.28/1787.89	c 1787s |      26 | 10843484 |  8996552 |     5966   3905 |        0 |        0
1789.39/1789.91	c 1789s |      26 | 10854242 |  9006052 |     5966   3908 |        0 |        0
1791.40/1791.92	c 1791s |      26 | 10865494 |  9015952 |     5966   3911 |        0 |        0
1793.39/1793.92	c 1793s |      26 | 10876040 |  9025252 |     5966   3914 |        0 |        0
1795.49/1796.05	c 1796s |      26 | 10888213 |  9035552 |     5966   3918 |        0 |        0
1797.49/1798.06	c 1798s |      26 | 10898311 |  9044352 |     5966   3921 |        0 |        0
1799.49/1800.06	c 1800s |      26 | 10908945 |  9053652 |     5966   3924 |        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-4079001-1465265028/watcher-4079001-1465265028 -o /tmp/evaluation-result-4079001-1465265028/solver-4079001-1465265028 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079001-1465265028.opb 

pid=28167
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.09 2.34 2.97 3/179 28170
/proc/meminfo: memFree=30361260/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 3110 0 0 0 0 0 0 0 20 0 4 0 108436110 847704064 2960 33554432000 4194304 16246674 140733722092544 140733722091968 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 207727 2970 441 2943 0 204621 0
[pid=28170/tid=28171] ppid=28167 vsize=846268 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 866578432 3032 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=850364 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 870772736 3048 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=855484 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108436110 876015616 3067 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.09 2.34 2.97 3/179 28170
/proc/meminfo: memFree=30361260/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 26327 0 0 0 6 3 0 0 20 0 4 0 108436110 1247350784 26166 33554432000 4194304 16246674 140733722092544 140733722091968 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 26173 718 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 26178 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 26181 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 26185 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.09 2.34 2.97 3/179 28170
/proc/meminfo: memFree=30361260/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 48904 0 0 0 13 6 0 0 20 0 4 0 108436110 1247350784 48743 33554432000 4194304 16246674 140733722092544 140733722091968 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 48755 725 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 48766 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 48775 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 48778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.09 2.34 2.97 3/179 28170
/proc/meminfo: memFree=30361260/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 71262 0 0 0 21 8 0 0 20 0 4 0 108436110 1247350784 71102 33554432000 4194304 16246674 140733722092544 140733722091968 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 71108 725 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 71111 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 71114 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 71118 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.09 2.34 2.97 3/179 28170
/proc/meminfo: memFree=30361260/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 160737 0 0 0 48 21 0 0 20 0 4 0 108436110 1247350784 160576 33554432000 4194304 16246674 140733722092544 140733722075544 6021174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 304529 160592 725 2943 0 301423 0
[pid=28170/tid=28171] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 160600 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 160603 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108436110 1247350784 160606 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.08 2.33 2.97 3/183 28174
/proc/meminfo: memFree=29379640/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 245842 0 0 0 116 33 0 0 20 0 4 0 108436110 1249447936 245661 33554432000 4194304 16246674 140733722092544 140733722091856 13962576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 305041 245661 796 2943 0 301935 0
[pid=28170/tid=28171] ppid=28167 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1249447936 245661 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1249447936 245661 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1249447936 245661 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 2.08 2.33 2.97 3/183 28174
/proc/meminfo: memFree=29293708/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 267420 0 0 0 271 37 0 0 20 0 4 0 108436110 1337528320 267239 33554432000 4194304 16246674 140733722092544 140733722075544 5823674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326545 267239 796 2943 0 323439 0
[pid=28170/tid=28171] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1337528320 267239 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1337528320 267239 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1337528320 267239 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.08 2.33 2.97 3/183 28174
/proc/meminfo: memFree=29292104/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 267595 0 0 0 591 37 0 0 20 0 4 0 108436110 1338576896 267414 33554432000 4194304 16246674 140733722092544 140733722075544 5808200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 326801 267414 797 2943 0 323695 0
[pid=28170/tid=28171] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1338576896 267414 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1338576896 267414 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1338576896 267414 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.07 2.32 2.96 3/183 28174
/proc/meminfo: memFree=29286680/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 268857 0 0 0 1231 38 0 0 20 0 4 0 108436110 1342771200 268676 33554432000 4194304 16246674 140733722092544 140733722075544 5974060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 327825 268676 797 2943 0 324719 0
[pid=28170/tid=28171] ppid=28167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1342771200 268676 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1342771200 268676 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1342771200 268676 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.06 2.31 2.95 3/183 28223
/proc/meminfo: memFree=29311912/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 269373 0 0 0 2511 38 0 0 20 0 4 0 108436110 1344868352 269192 33554432000 4194304 16246674 140733722092544 140733722075544 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 328337 269192 797 2943 0 325231 0
[pid=28170/tid=28171] ppid=28167 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1344868352 269192 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1344868352 269192 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1344868352 269192 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.24 2.33 2.94 3/183 28223
/proc/meminfo: memFree=29302172/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 270386 0 0 0 5070 38 0 0 20 0 4 0 108436110 1349062656 270205 33554432000 4194304 16246674 140733722092544 140733722075544 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 329361 270205 799 2943 0 326255 0
[pid=28170/tid=28171] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270205 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270205 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270205 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.13 2.29 2.88 3/183 28224
/proc/meminfo: memFree=29295400/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1317444 CPUtime=102.27 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 270414 0 0 0 10188 39 0 0 20 0 4 0 108436110 1349062656 270218 33554432000 4194304 16246674 140733722092544 140733722074432 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 329361 270218 799 2943 0 326255 0
[pid=28170/tid=28171] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270218 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270218 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1349062656 270218 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1317444


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

/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.13 2.07 2.28 3/183 28254
/proc/meminfo: memFree=29270480/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1301.86 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 130120 66 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722074432 5824017 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.26 3/183 28255
/proc/meminfo: memFree=29270376/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1361.85 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 136118 67 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722074432 4221040 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 2.25 3/183 28257
/proc/meminfo: memFree=29271088/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1421.85 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 142116 69 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722074432 5677572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.24 3/183 28258
/proc/meminfo: memFree=29270964/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1481.83 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 148113 70 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722075544 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.21 2.10 2.24 3/183 28259
/proc/meminfo: memFree=29270836/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1541.83 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 154112 71 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722074432 5721418 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.19 2.11 2.23 3/184 28263
/proc/meminfo: memFree=29270920/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1327684 CPUtime=1601.82 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 273374 0 0 0 160110 72 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140733722074432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 331921 272778 799 2943 0 328815 0
[pid=28170/tid=28171] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1359548416 272778 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.31 2.15 2.23 3/182 28264
/proc/meminfo: memFree=29265796/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 274399 0 0 0 166108 73 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140733722074432 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 332945 274058 799 2943 0 329839 0
[pid=28170/tid=28171] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.14 2.13 2.22 3/183 28267
/proc/meminfo: memFree=29265424/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1331780 CPUtime=1721.8 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 274399 0 0 0 172105 75 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140733722074432 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 332945 274058 799 2943 0 329839 0
[pid=28170/tid=28171] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.05 2.11 2.20 3/183 28268
/proc/meminfo: memFree=29265056/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1331780 CPUtime=1781.78 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 274399 0 0 0 178102 76 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140733722074432 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 332945 274058 799 2943 0 329839 0
[pid=28170/tid=28171] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.10 2.20 3/183 28268
/proc/meminfo: memFree=29264936/32872528 swapFree=11320/319964
[pid=28170] ppid=28167 vsize=1331780 CPUtime=1800.09 cores=1,3,5,7
/proc/28170/stat : 28170 (toysat) R 28167 28170 20210 0 -1 4202496 274399 0 0 0 179932 77 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140733722075544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28170/statm: 332945 274058 799 2943 0 329839 0
[pid=28170/tid=28171] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28171/stat : 28171 (toysat) S 28167 28170 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699881155824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28170/tid=28172] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28172/stat : 28172 (toysat) S 28167 28170 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699870665968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28170/tid=28173] ppid=28167 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28170/task/28173/stat : 28173 (toysat) S 28167 28170 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108436110 1363742720 274058 33554432000 4194304 16246674 140733722092544 140699860192432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1331780

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.772882
maximum resident set size= 1096232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274399
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= 428
involuntary context switches= 3642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38133 second user time and 7.2169 second system time

The end

Begin job on node128 at 2016-06-07 04:03:48
IDJOB=4079001
IDBENCH=48377
IDSOLVER=2542
FILE ID=node128/4079001-1465265028
RUNJOBID= node128-1465264781-27960
PBS_JOBID= 19843253
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079001-1465265028/watcher-4079001-1465265028 -o /tmp/evaluation-result-4079001-1465265028/solver-4079001-1465265028 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079001-1465265028.opb

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

MD5SUM BENCH= 97892b1b250c8711791b219b8ddda703
RANDOM SEED=966289106

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30362076 kB
Buffers:          105424 kB
Cached:           246792 kB
SwapCached:         1668 kB
Active:          1230360 kB
Inactive:         223808 kB
Active(anon):    1103720 kB
Inactive(anon):      588 kB
Active(file):     126640 kB
Inactive(file):   223220 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1425248 kB
Mapped:            10424 kB
Shmem:                 0 kB
Slab:             602924 kB
SReclaimable:      46336 kB
SUnreclaim:       556588 kB
KernelStack:        1520 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1563860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    665600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node128 at 2016-06-07 04:33:49