0.00/0.00	c 2016-06-16T00:53:06+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-4089680-1466031186.opb"]
0.00/0.01	c use --random-gen="2001855579 2082486559 758451563 2279762743 3461482516 176653934 189363979 1106889416 1810135373 3964240203 436285633 989764518 2336475818 3670430953 4062162325 2753384973 1435575842 3431652661 3215127501 3379316204 1898817973 2209606222 3858448904 3191953058 1022281526 4019417977 2403809622 20460370 3376774113 4046797833 1198745916 1358997767 887123653 2340391674 397916238 866601801 223540140 2236235698 877578455 3465577496 613644645 3425506388 469848493 4247759187 1311821197 37134071 2265821847 3230523421 2827666059 3280078743 744989457 1733234592 3614372811 3790447675 2412091919 4123482389 2011750595 165300961 2850014347 3291252224 3385608515 3865631369 1727678791 1243403457 3949015526 987103378 3431004534 129276803 462826239 2335857200 4174917936 314534162 168214042 3781512554 2408213763 331335336 2812819337 3388040189 3866235548 2923643013 161507041 95437633 3889545298 2466170881 4017958213 726556785 445588906 2659575463 438939352 2825986264 4112743285 3541878979 1949131024 2169024447 4137968292 2363085205 566764949 480259887 3884144789 4207595011 1488964616 2825752940 3121645730 1759604455 1755264243 431143780 57119166 653223819 2832648823 3822628384 3877185940 1452233324 902812384 747022614 534945388 2137311951 4032941976 1001307514 1632710978 3342394076 1476365806 3216428310 2263914094 1953818066 2959750165 464405737 342501320 2406541521 2359445582 3528881563 1676410790 2221193464 2565569288 2786275540 503712623 3565998325 1292147470 3454720666 805505853 3416365736 1419663355 4172239882 323663777 3222237291 2543425148 1892540509 535012071 282595488 954061072 2262949233 579283000 3024004662 3863829503 3266598333 4256667694 3538333425 2444405643 81268630 3460242807 4228844724 4062277947 982418913 3067400350 180983864 4292277812 1840269368 2238297948 2021830488 4069493328 3827979799 1910737884 2145075481 2458706538 449386271 1151072533 3524302816 2694806708 2424031681 157770255 2476706418 1998670035 3755648916 3066320548 1660304932 560696327 970782167 4011981112 205384123 2358728423 1098138808 2971230627 2413021563 1295855082 2294779078 4022990755 1153204177 3202362446 3596152234 4103437792 1817851727 899902843 3421048718 2457200928 3175307785 577095672 587114547 1564175067 3055841847 1234390941 3107733516 2788794313 4096276057 1230885976 1327791838 1793593230 3568654779 3436997505 1332039806 1275697105 2488451769 2268286673 1716808589 1807194904 3517384934 2917820607 2816207647 862767764 692951359 1989093316 1515720576 1617327746 3350083869 1144133143 1999448672 3220302951 1737952774 2675015097 1569833286 449791098 3439957608 4058539856 536579910 3257854965 831208226 1328218013 967235574 3060899408 3055453457 66144487 3540633266 2867310474 3964942700 3598708300 2790265215 1844949399 508607400 255 362436" option to reproduce the execution
0.00/0.01	c #vars 130
0.00/0.01	c #constraints 261
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      130      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      160 |      100 |      130      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      371 |      250 |      143      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      655 |      475 |      158      3 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1052 |      813 |      174      6 |        0 |        0
0.19/0.24	c  0.2s |       5 |     1620 |     1320 |      192     10 |        0 |        0
0.29/0.39	c  0.4s |       6 |     2445 |     2081 |      234     16 |        0 |        0
0.59/0.61	c  0.6s |       7 |     3659 |     3223 |      258     23 |        0 |        0
0.89/0.91	c  0.9s |       8 |     5455 |     4936 |      284     34 |        0 |        0
1.19/1.24	c  1.2s |       9 |     8101 |     7506 |      313     49 |        0 |        0
1.69/1.77	c  1.8s |      10 |    12034 |    11361 |      345     69 |        0 |        0
2.39/2.49	c  2.5s |      11 |    17957 |    17144 |      380     98 |        0 |        0
3.59/3.63	c  3.6s |      12 |    26835 |    25819 |      419    137 |        0 |        0
5.29/5.37	c  5.4s |      13 |    40160 |    38832 |      461    192 |        0 |        0
7.28/7.37	c  7.4s |      13 |    55294 |    53632 |      461    249 |        0 |        0
7.98/8.03	c  8.0s |      14 |    60145 |    58352 |      508    267 |        0 |        0
10.00/10.03	c 10.0s |      14 |    75681 |    73352 |      508    320 |        0 |        0
11.89/11.99	c 12.0s |      15 |    90248 |    87632 |      559    370 |        0 |        0
13.99/14.00	c 14.0s |      15 |   105434 |   102432 |      559    418 |        0 |        0
15.99/16.01	c 16.0s |      15 |   120339 |   116932 |      559    465 |        0 |        0
17.99/18.01	c 18.0s |      15 |   135168 |   131232 |      615    512 |        0 |        0
17.99/18.06	c 18.0s |      16 |   135499 |   131552 |      615    513 |        0 |        0
19.99/20.06	c 20.0s |      16 |   150048 |   145652 |      615    555 |        0 |        0
22.00/22.07	c 22.1s |      16 |   164441 |   159652 |      615    596 |        0 |        0
23.99/24.08	c 24.1s |      16 |   178986 |   173752 |      615    638 |        0 |        0
25.99/26.09	c 26.1s |      16 |   193372 |   187752 |      615    680 |        0 |        0
27.39/27.46	c 27.5s |      17 |   203234 |   197432 |      677    708 |        0 |        0
29.39/29.47	c 29.5s |      17 |   217825 |   211632 |      677    747 |        0 |        0
31.39/31.48	c 31.5s |      17 |   232093 |   225532 |      677    785 |        0 |        0
33.38/33.49	c 33.5s |      17 |   245929 |   239132 |      677    822 |        0 |        0
35.48/35.50	c 35.5s |      17 |   259865 |   252732 |      677    859 |        0 |        0
37.49/37.51	c 37.5s |      17 |   273724 |   266132 |      677    896 |        0 |        0
39.48/39.52	c 39.5s |      17 |   288118 |   280032 |      677    934 |        0 |        0
41.48/41.52	c 41.5s |      17 |   302506 |   294032 |      677    972 |        0 |        0
41.79/41.84	c 41.8s |      18 |   304760 |   296252 |      745    977 |        0 |        0
43.78/43.84	c 43.8s |      18 |   319141 |   310052 |      745   1012 |        0 |        0
45.78/45.85	c 45.8s |      18 |   333584 |   323952 |      745   1046 |        0 |        0
47.78/47.86	c 47.8s |      18 |   347774 |   337552 |      745   1080 |        0 |        0
49.78/49.87	c 49.9s |      18 |   362149 |   351452 |      745   1115 |        0 |        0
51.79/51.87	c 51.9s |      18 |   376191 |   364852 |      745   1149 |        0 |        0
53.78/53.87	c 53.9s |      18 |   390460 |   378652 |      745   1183 |        0 |        0
55.78/55.88	c 55.9s |      18 |   404649 |   392252 |      745   1217 |        0 |        0
57.78/57.89	c 57.9s |      18 |   418841 |   405952 |      745   1251 |        0 |        0
59.88/59.90	c 59.9s |      18 |   432701 |   419252 |      745   1285 |        0 |        0
61.88/61.91	c 61.9s |      18 |   446535 |   432552 |      745   1318 |        0 |        0
63.58/63.64	c 63.6s |      19 |   459384 |   444482 |      820   1347 |        0 |        0
65.58/65.65	c 65.6s |      19 |   473803 |   458082 |      820   1378 |        0 |        0
67.57/67.66	c 67.6s |      19 |   487730 |   471382 |      820   1408 |        0 |        0
69.57/69.67	c 69.7s |      19 |   501656 |   484682 |      820   1439 |        0 |        0
71.58/71.68	c 71.7s |      19 |   515594 |   497882 |      820   1469 |        0 |        0
73.58/73.68	c 73.7s |      19 |   529884 |   511082 |      820   1499 |        0 |        0
75.68/75.70	c 75.7s |      19 |   543730 |   524382 |      820   1529 |        0 |        0
77.68/77.71	c 77.7s |      19 |   558024 |   537882 |      820   1560 |        0 |        0
79.68/79.72	c 79.7s |      19 |   571673 |   551082 |      820   1591 |        0 |        0
81.68/81.72	c 81.7s |      19 |   585293 |   564182 |      820   1621 |        0 |        0
83.69/83.73	c 83.7s |      19 |   599010 |   577382 |      820   1651 |        0 |        0
85.68/85.74	c 85.7s |      19 |   612931 |   590682 |      820   1681 |        0 |        0
87.68/87.75	c 87.7s |      19 |   626919 |   603982 |      820   1712 |        0 |        0
89.68/89.76	c 89.7s |      19 |   640650 |   617182 |      820   1742 |        0 |        0
91.68/91.76	c 91.7s |      19 |   654630 |   630482 |      820   1772 |        0 |        0
93.67/93.76	c 93.7s |      19 |   668608 |   643782 |      820   1803 |        0 |        0
95.68/95.76	c 95.8s |      19 |   682519 |   656882 |      820   1833 |        0 |        0
97.27/97.31	c 97.3s |      20 |   693114 |   666827 |      903   1854 |        0 |        0
99.27/99.32	c 99.3s |      20 |   706911 |   680027 |      903   1882 |        0 |        0
101.28/101.33	c  101s |      20 |   720637 |   693027 |      903   1909 |        0 |        0
103.27/103.35	c  103s |      20 |   734610 |   706127 |      903   1936 |        0 |        0
105.27/105.36	c  105s |      20 |   748277 |   719027 |      903   1963 |        0 |        0
107.28/107.37	c  107s |      20 |   761916 |   732027 |      903   1991 |        0 |        0
109.28/109.38	c  109s |      20 |   775468 |   745127 |      903   2018 |        0 |        0
111.27/111.38	c  111s |      20 |   789252 |   758327 |      903   2046 |        0 |        0
113.28/113.39	c  113s |      20 |   802800 |   771327 |      903   2073 |        0 |        0
115.37/115.40	c  115s |      20 |   816430 |   784227 |      903   2100 |        0 |        0
117.37/117.40	c  117s |      20 |   829938 |   797227 |      903   2127 |        0 |        0
119.37/119.41	c  119s |      20 |   843351 |   810027 |      903   2154 |        0 |        0
121.37/121.42	c  121s |      20 |   856603 |   822827 |      903   2180 |        0 |        0
123.37/123.42	c  123s |      20 |   869970 |   835627 |      903   2207 |        0 |        0
125.38/125.43	c  125s |      20 |   883258 |   848427 |      903   2234 |        0 |        0
127.37/127.44	c  127s |      20 |   896791 |   861227 |      903   2261 |        0 |        0
129.37/129.45	c  129s |      20 |   910319 |   874127 |      903   2288 |        0 |        0
131.37/131.46	c  131s |      20 |   923992 |   887127 |      903   2315 |        0 |        0
133.37/133.46	c  133s |      20 |   937686 |   899927 |      903   2341 |        0 |        0
135.37/135.48	c  135s |      20 |   951442 |   912927 |      903   2368 |        0 |        0
137.37/137.48	c  137s |      20 |   964819 |   925727 |      903   2395 |        0 |        0
139.36/139.49	c  139s |      20 |   978206 |   938327 |      903   2422 |        0 |        0
141.36/141.50	c  141s |      20 |   991711 |   951227 |      903   2448 |        0 |        0
143.46/143.50	c  143s |      20 |  1005182 |   964127 |      903   2476 |        0 |        0
145.47/145.51	c  145s |      20 |  1018656 |   977027 |      903   2503 |        0 |        0
147.48/147.52	c  147s |      20 |  1032203 |   989927 |      903   2530 |        0 |        0
149.07/149.17	c  149s |      21 |  1043132 |  1000345 |      994   2550 |        0 |        0
151.07/151.17	c  151s |      21 |  1056655 |  1013245 |      994   2575 |        0 |        0
153.07/153.17	c  153s |      21 |  1070141 |  1026245 |      994   2599 |        0 |        0
155.08/155.19	c  155s |      21 |  1084108 |  1039545 |      994   2625 |        0 |        0
157.07/157.19	c  157s |      21 |  1097846 |  1052545 |      994   2649 |        0 |        0
159.07/159.19	c  159s |      21 |  1111447 |  1065545 |      994   2674 |        0 |        0
161.17/161.20	c  161s |      21 |  1125050 |  1078345 |      994   2699 |        0 |        0
163.17/163.21	c  163s |      21 |  1138755 |  1091145 |      994   2723 |        0 |        0
165.17/165.21	c  165s |      21 |  1152440 |  1104045 |      994   2748 |        0 |        0
167.17/167.22	c  167s |      21 |  1165739 |  1116645 |      994   2772 |        0 |        0
169.16/169.23	c  169s |      21 |  1179633 |  1129445 |      994   2796 |        0 |        0
171.16/171.24	c  171s |      21 |  1193136 |  1142145 |      994   2820 |        0 |        0
173.16/173.24	c  173s |      21 |  1206439 |  1154745 |      994   2844 |        0 |        0
175.16/175.26	c  175s |      21 |  1219879 |  1167345 |      994   2869 |        0 |        0
177.17/177.27	c  177s |      21 |  1233602 |  1180445 |      994   2894 |        0 |        0
179.16/179.28	c  179s |      21 |  1247459 |  1193545 |      994   2918 |        0 |        0
181.16/181.28	c  181s |      21 |  1260834 |  1206445 |      994   2943 |        0 |        0
183.16/183.29	c  183s |      21 |  1274230 |  1219345 |      994   2967 |        0 |        0
185.26/185.30	c  185s |      21 |  1287814 |  1232345 |      994   2992 |        0 |        0
187.26/187.31	c  187s |      21 |  1301135 |  1245045 |      994   3017 |        0 |        0
189.27/189.31	c  189s |      21 |  1314680 |  1257945 |      994   3041 |        0 |        0
191.26/191.32	c  191s |      21 |  1328265 |  1270845 |      994   3066 |        0 |        0
193.26/193.33	c  193s |      21 |  1341700 |  1283545 |      994   3090 |        0 |        0
195.26/195.33	c  195s |      21 |  1354950 |  1296245 |      994   3114 |        0 |        0
197.26/197.33	c  197s |      21 |  1368519 |  1309245 |      994   3139 |        0 |        0
199.26/199.35	c  199s |      21 |  1382245 |  1322245 |      994   3164 |        0 |        0
201.27/201.35	c  201s |      21 |  1395565 |  1334745 |      994   3188 |        0 |        0
203.26/203.36	c  203s |      21 |  1408898 |  1347445 |      994   3213 |        0 |        0
205.26/205.36	c  205s |      21 |  1422434 |  1360045 |      994   3237 |        0 |        0
207.26/207.36	c  207s |      21 |  1436422 |  1373045 |      994   3262 |        0 |        0
209.26/209.37	c  209s |      21 |  1450449 |  1386145 |      994   3287 |        0 |        0
211.26/211.37	c  211s |      21 |  1463745 |  1398745 |      994   3311 |        0 |        0
213.26/213.38	c  213s |      21 |  1477300 |  1411545 |      994   3335 |        0 |        0
215.26/215.39	c  215s |      21 |  1490520 |  1424045 |      994   3359 |        0 |        0
217.26/217.39	c  217s |      21 |  1504091 |  1436745 |      994   3383 |        0 |        0
219.36/219.40	c  219s |      21 |  1517591 |  1449645 |      994   3408 |        0 |        0
221.35/221.40	c  221s |      21 |  1530618 |  1461945 |      994   3432 |        0 |        0
223.26/223.40	c  223s |      21 |  1544258 |  1474645 |      994   3456 |        0 |        0
225.35/225.40	c  225s |      21 |  1557532 |  1487345 |      994   3481 |        0 |        0
227.35/227.41	c  227s |      21 |  1571097 |  1500345 |     1094   3503 |        0 |        0
227.35/227.46	c  227s |      22 |  1571385 |  1500622 |     1094   3504 |        0 |        0
229.35/229.46	c  229s |      22 |  1585256 |  1513722 |     1094   3527 |        0 |        0
231.35/231.48	c  231s |      22 |  1598792 |  1526722 |     1094   3549 |        0 |        0
233.35/233.49	c  233s |      22 |  1612190 |  1539722 |     1094   3572 |        0 |        0
235.46/235.50	c  235s |      22 |  1625398 |  1552422 |     1094   3594 |        0 |        0
237.45/237.52	c  237s |      22 |  1639066 |  1565322 |     1094   3616 |        0 |        0
239.45/239.52	c  239s |      22 |  1652374 |  1578022 |     1094   3638 |        0 |        0
241.45/241.52	c  241s |      22 |  1665557 |  1590622 |     1094   3660 |        0 |        0
243.45/243.53	c  243s |      22 |  1678615 |  1603122 |     1094   3682 |        0 |        0
245.45/245.54	c  245s |      22 |  1692518 |  1616322 |     1094   3705 |        0 |        0
247.45/247.54	c  247s |      22 |  1706122 |  1629322 |     1094   3728 |        0 |        0
249.45/249.55	c  249s |      22 |  1719424 |  1641822 |     1094   3749 |        0 |        0
251.45/251.55	c  251s |      22 |  1732788 |  1654422 |     1094   3771 |        0 |        0
253.45/253.55	c  253s |      22 |  1746305 |  1667022 |     1094   3793 |        0 |        0
255.45/255.55	c  255s |      22 |  1759764 |  1679522 |     1094   3815 |        0 |        0
257.46/257.56	c  257s |      22 |  1773157 |  1692122 |     1094   3837 |        0 |        0
259.45/259.57	c  259s |      22 |  1786199 |  1704622 |     1094   3859 |        0 |        0
261.45/261.59	c  261s |      22 |  1799241 |  1717022 |     1094   3881 |        0 |        0
263.45/263.59	c  263s |      22 |  1812584 |  1729422 |     1094   3902 |        0 |        0
265.55/265.61	c  265s |      22 |  1826487 |  1742222 |     1094   3925 |        0 |        0
267.55/267.63	c  267s |      22 |  1839845 |  1754922 |     1094   3947 |        0 |        0
269.56/269.64	c  269s |      22 |  1853023 |  1767322 |     1094   3968 |        0 |        0
271.55/271.64	c  271s |      22 |  1866541 |  1779922 |     1094   3990 |        0 |        0
273.55/273.65	c  273s |      22 |  1879728 |  1792422 |     1094   4012 |        0 |        0
275.55/275.66	c  275s |      22 |  1893051 |  1804822 |     1094   4034 |        0 |        0
277.55/277.66	c  277s |      22 |  1906912 |  1817522 |     1094   4056 |        0 |        0
279.55/279.67	c  279s |      22 |  1920253 |  1830022 |     1094   4078 |        0 |        0
281.55/281.68	c  281s |      22 |  1933623 |  1842722 |     1094   4100 |        0 |        0
283.64/283.70	c  283s |      22 |  1947718 |  1855322 |     1094   4122 |        0 |        0
285.64/285.72	c  285s |      22 |  1961424 |  1867922 |     1094   4144 |        0 |        0
287.64/287.72	c  287s |      22 |  1974977 |  1880222 |     1094   4165 |        0 |        0
289.64/289.74	c  289s |      22 |  1988412 |  1892522 |     1094   4187 |        0 |        0
291.64/291.76	c  291s |      22 |  2001559 |  1904622 |     1094   4208 |        0 |        0
293.65/293.76	c  293s |      22 |  2015072 |  1916922 |     1094   4229 |        0 |        0
295.64/295.77	c  295s |      22 |  2028402 |  1929722 |     1094   4251 |        0 |        0
297.64/297.78	c  297s |      22 |  2041382 |  1942122 |     1094   4273 |        0 |        0
299.64/299.78	c  299s |      22 |  2054523 |  1954622 |     1094   4295 |        0 |        0
301.64/301.78	c  301s |      22 |  2067828 |  1967222 |     1094   4317 |        0 |        0
303.65/303.79	c  303s |      22 |  2080853 |  1979522 |     1094   4338 |        0 |        0
305.64/305.79	c  305s |      22 |  2093580 |  1991622 |     1094   4359 |        0 |        0
307.74/307.80	c  307s |      22 |  2106999 |  2004122 |     1094   4381 |        0 |        0
309.74/309.81	c  309s |      22 |  2119942 |  2016422 |     1094   4402 |        0 |        0
311.75/311.83	c  311s |      22 |  2132877 |  2028622 |     1094   4424 |        0 |        0
313.75/313.83	c  313s |      22 |  2146278 |  2041122 |     1094   4445 |        0 |        0
315.75/315.85	c  315s |      22 |  2159466 |  2053822 |     1094   4468 |        0 |        0
317.74/317.86	c  317s |      22 |  2172514 |  2066322 |     1094   4489 |        0 |        0
319.74/319.86	c  319s |      22 |  2185226 |  2078522 |     1094   4510 |        0 |        0
321.74/321.87	c  321s |      22 |  2198371 |  2091122 |     1094   4532 |        0 |        0
323.74/323.87	c  323s |      22 |  2211367 |  2103522 |     1094   4554 |        0 |        0
325.74/325.88	c  325s |      22 |  2224924 |  2116422 |     1094   4577 |        0 |        0
327.75/327.90	c  327s |      22 |  2238376 |  2129022 |     1094   4599 |        0 |        0
329.84/329.90	c  329s |      22 |  2251341 |  2141222 |     1094   4620 |        0 |        0
331.84/331.91	c  331s |      22 |  2264317 |  2153522 |     1094   4641 |        0 |        0
333.84/333.92	c  333s |      22 |  2277442 |  2166022 |     1094   4663 |        0 |        0
335.84/335.92	c  335s |      22 |  2290114 |  2178122 |     1094   4684 |        0 |        0
337.84/337.93	c  337s |      22 |  2303017 |  2190322 |     1094   4706 |        0 |        0
339.84/339.94	c  339s |      22 |  2315964 |  2202522 |     1094   4727 |        0 |        0
341.84/341.95	c  341s |      22 |  2328955 |  2214622 |     1094   4748 |        0 |        0
343.84/343.95	c  343s |      22 |  2341677 |  2226722 |     1094   4769 |        0 |        0
345.84/345.96	c  345s |      22 |  2354714 |  2239022 |     1204   4790 |        0 |        0
347.84/347.97	c  347s |      22 |  2367406 |  2251022 |     1204   4809 |        0 |        0
347.84/347.97	c  347s |      23 |  2367422 |  2251038 |     1204   4809 |        0 |        0
349.84/349.98	c  349s |      23 |  2380402 |  2263238 |     1204   4828 |        0 |        0
351.83/351.98	c  351s |      23 |  2392806 |  2275138 |     1204   4847 |        0 |        0
353.83/353.98	c  353s |      23 |  2405418 |  2287038 |     1204   4866 |        0 |        0
355.83/355.99	c  355s |      23 |  2418020 |  2299138 |     1204   4885 |        0 |        0
357.83/357.99	c  357s |      23 |  2430742 |  2311338 |     1204   4905 |        0 |        0
359.83/360.00	c  359s |      23 |  2443252 |  2323338 |     1204   4924 |        0 |        0
361.84/362.00	c  361s |      23 |  2455819 |  2335138 |     1204   4943 |        0 |        0
363.93/364.02	c  364s |      23 |  2468345 |  2347038 |     1204   4962 |        0 |        0
365.93/366.02	c  366s |      23 |  2481102 |  2359238 |     1204   4981 |        0 |        0
367.93/368.02	c  368s |      23 |  2493730 |  2371238 |     1204   5000 |        0 |        0
369.93/370.03	c  370s |      23 |  2506419 |  2383238 |     1204   5019 |        0 |        0
371.93/372.04	c  372s |      23 |  2518862 |  2395038 |     1204   5038 |        0 |        0
373.94/374.04	c  374s |      23 |  2531760 |  2406838 |     1204   5057 |        0 |        0
375.93/376.06	c  376s |      23 |  2544531 |  2419038 |     1204   5076 |        0 |        0
377.93/378.06	c  378s |      23 |  2557136 |  2430938 |     1204   5095 |        0 |        0
379.93/380.07	c  380s |      23 |  2569717 |  2442638 |     1204   5114 |        0 |        0
381.93/382.08	c  382s |      23 |  2582323 |  2454738 |     1204   5133 |        0 |        0
383.94/384.09	c  384s |      23 |  2594950 |  2466638 |     1204   5152 |        0 |        0
385.94/386.10	c  386s |      23 |  2607614 |  2478638 |     1204   5171 |        0 |        0
388.04/388.11	c  388s |      23 |  2620530 |  2490638 |     1204   5190 |        0 |        0
390.03/390.11	c  390s |      23 |  2633206 |  2502638 |     1204   5209 |        0 |        0
392.03/392.12	c  392s |      23 |  2645900 |  2514538 |     1204   5228 |        0 |        0
394.03/394.13	c  394s |      23 |  2658263 |  2526138 |     1204   5246 |        0 |        0
396.04/396.14	c  396s |      23 |  2670631 |  2537938 |     1204   5265 |        0 |        0
398.03/398.15	c  398s |      23 |  2683119 |  2549738 |     1204   5284 |        0 |        0
400.03/400.17	c  400s |      23 |  2695502 |  2561538 |     1204   5303 |        0 |        0
402.03/402.18	c  402s |      23 |  2708046 |  2573538 |     1204   5322 |        0 |        0
404.03/404.18	c  404s |      23 |  2720444 |  2585438 |     1204   5340 |        0 |        0
406.03/406.19	c  406s |      23 |  2732807 |  2597338 |     1204   5359 |        0 |        0
408.03/408.20	c  408s |      23 |  2745402 |  2609238 |     1204   5378 |        0 |        0
410.13/410.20	c  410s |      23 |  2757900 |  2621038 |     1204   5397 |        0 |        0
412.12/412.20	c  412s |      23 |  2769914 |  2632638 |     1204   5416 |        0 |        0
414.12/414.22	c  414s |      23 |  2782652 |  2644538 |     1204   5435 |        0 |        0
416.12/416.23	c  416s |      23 |  2795056 |  2656338 |     1204   5453 |        0 |        0
418.12/418.24	c  418s |      23 |  2807314 |  2667638 |     1204   5471 |        0 |        0
420.13/420.24	c  420s |      23 |  2819759 |  2679438 |     1204   5490 |        0 |        0
422.12/422.25	c  422s |      23 |  2832182 |  2691038 |     1204   5509 |        0 |        0
424.12/424.25	c  424s |      23 |  2844326 |  2702638 |     1204   5527 |        0 |        0
426.12/426.25	c  426s |      23 |  2856744 |  2714438 |     1204   5546 |        0 |        0
428.13/428.26	c  428s |      23 |  2869316 |  2726438 |     1204   5565 |        0 |        0
430.14/430.27	c  430s |      23 |  2881881 |  2738438 |     1204   5584 |        0 |        0
432.13/432.27	c  432s |      23 |  2894508 |  2750238 |     1204   5603 |        0 |        0
434.13/434.28	c  434s |      23 |  2906895 |  2762038 |     1204   5622 |        0 |        0
436.13/436.29	c  436s |      23 |  2919313 |  2773838 |     1204   5640 |        0 |        0
438.23/438.30	c  438s |      23 |  2931995 |  2785838 |     1204   5659 |        0 |        0
440.22/440.31	c  440s |      23 |  2944354 |  2797738 |     1204   5678 |        0 |        0
442.23/442.32	c  442s |      23 |  2956561 |  2809438 |     1204   5697 |        0 |        0
444.22/444.33	c  444s |      23 |  2968797 |  2821138 |     1204   5716 |        0 |        0
446.22/446.34	c  446s |      23 |  2981298 |  2833038 |     1204   5735 |        0 |        0
448.22/448.34	c  448s |      23 |  2993651 |  2844838 |     1204   5753 |        0 |        0
450.22/450.35	c  450s |      23 |  3006005 |  2856638 |     1204   5772 |        0 |        0
452.22/452.37	c  452s |      23 |  3018455 |  2868538 |     1204   5791 |        0 |        0
454.22/454.39	c  454s |      23 |  3031139 |  2880538 |     1204   5810 |        0 |        0
456.32/456.40	c  456s |      23 |  3043820 |  2892338 |     1204   5829 |        0 |        0
458.32/458.40	c  458s |      23 |  3056048 |  2903838 |     1204   5847 |        0 |        0
460.32/460.40	c  460s |      23 |  3068064 |  2915238 |     1204   5865 |        0 |        0
462.31/462.42	c  462s |      23 |  3080174 |  2926738 |     1204   5884 |        0 |        0
464.31/464.42	c  464s |      23 |  3092546 |  2938438 |     1204   5902 |        0 |        0
466.32/466.43	c  466s |      23 |  3105160 |  2950338 |     1204   5921 |        0 |        0
468.32/468.43	c  468s |      23 |  3117982 |  2962138 |     1204   5940 |        0 |        0
470.32/470.43	c  470s |      23 |  3130695 |  2973738 |     1204   5959 |        0 |        0
472.32/472.45	c  472s |      23 |  3143236 |  2985438 |     1204   5977 |        0 |        0
474.32/474.46	c  474s |      23 |  3155907 |  2997138 |     1204   5996 |        0 |        0
476.33/476.47	c  476s |      23 |  3168298 |  3008738 |     1204   6014 |        0 |        0
478.32/478.47	c  478s |      23 |  3180637 |  3020338 |     1204   6033 |        0 |        0
480.32/480.48	c  480s |      23 |  3192799 |  3031938 |     1204   6051 |        0 |        0
482.32/482.49	c  482s |      23 |  3205007 |  3043538 |     1204   6070 |        0 |        0
484.42/484.50	c  484s |      23 |  3217332 |  3055138 |     1204   6088 |        0 |        0
486.42/486.51	c  486s |      23 |  3229858 |  3066838 |     1204   6107 |        0 |        0
488.42/488.53	c  488s |      23 |  3241852 |  3078338 |     1204   6125 |        0 |        0
490.42/490.53	c  490s |      23 |  3253803 |  3089738 |     1204   6144 |        0 |        0
492.42/492.53	c  492s |      23 |  3266089 |  3101538 |     1204   6162 |        0 |        0
494.41/494.55	c  494s |      23 |  3278687 |  3113638 |     1204   6181 |        0 |        0
496.41/496.55	c  496s |      23 |  3291094 |  3125538 |     1204   6200 |        0 |        0
498.41/498.56	c  498s |      23 |  3303369 |  3137238 |     1204   6219 |        0 |        0
500.42/500.56	c  500s |      23 |  3315816 |  3149138 |     1204   6238 |        0 |        0
502.41/502.56	c  502s |      23 |  3328243 |  3160838 |     1204   6256 |        0 |        0
504.41/504.58	c  504s |      23 |  3340639 |  3172838 |     1204   6276 |        0 |        0
506.41/506.59	c  506s |      23 |  3353038 |  3184638 |     1204   6294 |        0 |        0
508.41/508.59	c  508s |      23 |  3365318 |  3196438 |     1204   6313 |        0 |        0
510.51/510.61	c  510s |      23 |  3377649 |  3208338 |     1204   6332 |        0 |        0
512.52/512.62	c  512s |      23 |  3390181 |  3220438 |     1204   6351 |        0 |        0
514.51/514.63	c  514s |      23 |  3402685 |  3232338 |     1204   6370 |        0 |        0
516.51/516.64	c  516s |      23 |  3415221 |  3244338 |     1204   6389 |        0 |        0
518.51/518.64	c  518s |      23 |  3427281 |  3256038 |     1204   6408 |        0 |        0
520.51/520.65	c  520s |      23 |  3439570 |  3267738 |     1204   6427 |        0 |        0
522.51/522.66	c  522s |      23 |  3451831 |  3279538 |     1204   6446 |        0 |        0
524.51/524.68	c  524s |      23 |  3464256 |  3291338 |     1204   6464 |        0 |        0
526.51/526.69	c  526s |      23 |  3476466 |  3303138 |     1204   6483 |        0 |        0
528.60/528.70	c  528s |      23 |  3488662 |  3314838 |     1204   6502 |        0 |        0
530.60/530.71	c  530s |      23 |  3500858 |  3326438 |     1204   6520 |        0 |        0
532.61/532.73	c  532s |      23 |  3512962 |  3337938 |     1204   6538 |        0 |        0
534.62/534.74	c  534s |      23 |  3524959 |  3349438 |     1204   6557 |        0 |        0
536.61/536.75	c  536s |      23 |  3537175 |  3361038 |     1325   6574 |        0 |        0
538.61/538.76	c  538s |      23 |  3549547 |  3372938 |     1325   6591 |        0 |        0
539.21/539.39	c  539s |      24 |  3553497 |  3376662 |     1325   6597 |        0 |        0
541.31/541.40	c  541s |      24 |  3566655 |  3388862 |     1325   6614 |        0 |        0
543.21/543.40	c  543s |      24 |  3579200 |  3400562 |     1325   6631 |        0 |        0
545.31/545.41	c  545s |      24 |  3592088 |  3412562 |     1325   6649 |        0 |        0
547.31/547.41	c  547s |      24 |  3604591 |  3424362 |     1325   6666 |        0 |        0
549.31/549.42	c  549s |      24 |  3617251 |  3436262 |     1325   6683 |        0 |        0
551.31/551.43	c  551s |      24 |  3629444 |  3447762 |     1325   6700 |        0 |        0
553.31/553.44	c  553s |      24 |  3641933 |  3459462 |     1325   6717 |        0 |        0
555.31/555.45	c  555s |      24 |  3654802 |  3471462 |     1325   6734 |        0 |        0
557.31/557.46	c  557s |      24 |  3667393 |  3483262 |     1325   6751 |        0 |        0
559.31/559.48	c  559s |      24 |  3679918 |  3495162 |     1325   6768 |        0 |        0
561.30/561.49	c  561s |      24 |  3692504 |  3506962 |     1325   6785 |        0 |        0
563.40/563.50	c  563s |      24 |  3705073 |  3518662 |     1325   6802 |        0 |        0
565.41/565.52	c  565s |      24 |  3717569 |  3530562 |     1325   6820 |        0 |        0
567.40/567.52	c  567s |      24 |  3730382 |  3542462 |     1325   6837 |        0 |        0
569.40/569.54	c  569s |      24 |  3743235 |  3554462 |     1325   6854 |        0 |        0
571.40/571.54	c  571s |      24 |  3755869 |  3566262 |     1325   6871 |        0 |        0
573.40/573.54	c  573s |      24 |  3768227 |  3577762 |     1325   6888 |        0 |        0
575.40/575.55	c  575s |      24 |  3780544 |  3589262 |     1325   6905 |        0 |        0
577.41/577.56	c  577s |      24 |  3793033 |  3601062 |     1325   6922 |        0 |        0
579.40/579.58	c  579s |      24 |  3805580 |  3612662 |     1325   6939 |        0 |        0
581.50/581.60	c  581s |      24 |  3818081 |  3624262 |     1325   6955 |        0 |        0
583.50/583.61	c  583s |      24 |  3830292 |  3635762 |     1325   6972 |        0 |        0
585.50/585.61	c  585s |      24 |  3842918 |  3647462 |     1325   6989 |        0 |        0
587.50/587.63	c  587s |      24 |  3855509 |  3659462 |     1325   7006 |        0 |        0
589.51/589.63	c  589s |      24 |  3868014 |  3671162 |     1325   7023 |        0 |        0
591.50/591.64	c  591s |      24 |  3880311 |  3682962 |     1325   7040 |        0 |        0
593.50/593.66	c  593s |      24 |  3892868 |  3694662 |     1325   7057 |        0 |        0
595.50/595.67	c  595s |      24 |  3904930 |  3706062 |     1325   7074 |        0 |        0
597.50/597.67	c  597s |      24 |  3917129 |  3717562 |     1325   7091 |        0 |        0
599.51/599.69	c  599s |      24 |  3929339 |  3729062 |     1325   7107 |        0 |        0
601.50/601.69	c  601s |      24 |  3941874 |  3740762 |     1325   7124 |        0 |        0
603.50/603.69	c  603s |      24 |  3953688 |  3752062 |     1325   7141 |        0 |        0
605.60/605.70	c  605s |      24 |  3965902 |  3763562 |     1325   7157 |        0 |        0
607.60/607.71	c  607s |      24 |  3979012 |  3775762 |     1325   7175 |        0 |        0
609.60/609.71	c  609s |      24 |  3992099 |  3787662 |     1325   7192 |        0 |        0
611.61/611.72	c  611s |      24 |  4004632 |  3799462 |     1325   7209 |        0 |        0
613.60/613.74	c  613s |      24 |  4017051 |  3811162 |     1325   7226 |        0 |        0
615.60/615.75	c  615s |      24 |  4029555 |  3822962 |     1325   7243 |        0 |        0
617.60/617.75	c  617s |      24 |  4041930 |  3834762 |     1325   7261 |        0 |        0
619.60/619.76	c  619s |      24 |  4054497 |  3846662 |     1325   7278 |        0 |        0
621.60/621.77	c  621s |      24 |  4066997 |  3858462 |     1325   7295 |        0 |        0
623.60/623.79	c  623s |      24 |  4079363 |  3870162 |     1325   7312 |        0 |        0
625.59/625.79	c  625s |      24 |  4091493 |  3881762 |     1325   7329 |        0 |        0
627.59/627.80	c  627s |      24 |  4103873 |  3893562 |     1325   7346 |        0 |        0
629.69/629.80	c  629s |      24 |  4116503 |  3905262 |     1325   7363 |        0 |        0
631.69/631.81	c  631s |      24 |  4128863 |  3916862 |     1325   7380 |        0 |        0
633.69/633.82	c  633s |      24 |  4141061 |  3928562 |     1325   7397 |        0 |        0
635.70/635.83	c  635s |      24 |  4153472 |  3940362 |     1325   7414 |        0 |        0
637.69/637.84	c  637s |      24 |  4166307 |  3952262 |     1325   7431 |        0 |        0
639.69/639.85	c  639s |      24 |  4178587 |  3963862 |     1325   7448 |        0 |        0
641.69/641.86	c  641s |      24 |  4190732 |  3975462 |     1325   7465 |        0 |        0
643.69/643.88	c  643s |      24 |  4202785 |  3986962 |     1325   7482 |        0 |        0
645.79/645.90	c  645s |      24 |  4215022 |  3998562 |     1325   7498 |        0 |        0
647.79/647.90	c  647s |      24 |  4227136 |  4010162 |     1325   7515 |        0 |        0
649.79/649.91	c  649s |      24 |  4239362 |  4021662 |     1325   7532 |        0 |        0
651.79/651.92	c  651s |      24 |  4251353 |  4032962 |     1325   7549 |        0 |        0
653.79/653.93	c  653s |      24 |  4263092 |  4044262 |     1325   7565 |        0 |        0
655.79/655.94	c  655s |      24 |  4275983 |  4056062 |     1325   7582 |        0 |        0
657.80/657.94	c  657s |      24 |  4288755 |  4067862 |     1325   7599 |        0 |        0
659.79/659.94	c  659s |      24 |  4301357 |  4079562 |     1325   7616 |        0 |        0
661.79/661.95	c  661s |      24 |  4313720 |  4091162 |     1325   7633 |        0 |        0
663.79/663.96	c  663s |      24 |  4326556 |  4103162 |     1325   7650 |        0 |        0
665.79/665.97	c  665s |      24 |  4338825 |  4114962 |     1325   7667 |        0 |        0
667.79/667.97	c  667s |      24 |  4350974 |  4126662 |     1325   7684 |        0 |        0
669.79/669.98	c  669s |      24 |  4363435 |  4138362 |     1325   7701 |        0 |        0
671.79/671.99	c  671s |      24 |  4375844 |  4150062 |     1325   7718 |        0 |        0
673.79/673.99	c  673s |      24 |  4388042 |  4161762 |     1325   7735 |        0 |        0
675.89/676.00	c  675s |      24 |  4400304 |  4173362 |     1325   7752 |        0 |        0
677.89/678.00	c  677s |      24 |  4412382 |  4184862 |     1325   7769 |        0 |        0
679.88/680.02	c  680s |      24 |  4424302 |  4196462 |     1325   7786 |        0 |        0
681.89/682.02	c  682s |      24 |  4436511 |  4208062 |     1325   7803 |        0 |        0
683.88/684.03	c  684s |      24 |  4449069 |  4219962 |     1325   7820 |        0 |        0
685.88/686.04	c  686s |      24 |  4461401 |  4231762 |     1325   7837 |        0 |        0
687.88/688.05	c  688s |      24 |  4473798 |  4243462 |     1325   7854 |        0 |        0
689.88/690.06	c  690s |      24 |  4485988 |  4255062 |     1325   7871 |        0 |        0
691.89/692.07	c  692s |      24 |  4498044 |  4266562 |     1325   7888 |        0 |        0
693.88/694.08	c  694s |      24 |  4510328 |  4278062 |     1325   7904 |        0 |        0
695.88/696.08	c  696s |      24 |  4522435 |  4289462 |     1325   7921 |        0 |        0
697.98/698.10	c  698s |      24 |  4534836 |  4301262 |     1325   7938 |        0 |        0
699.98/700.11	c  700s |      24 |  4546670 |  4312662 |     1325   7955 |        0 |        0
701.98/702.11	c  702s |      24 |  4558703 |  4324162 |     1325   7971 |        0 |        0
703.99/704.13	c  704s |      24 |  4570483 |  4335362 |     1325   7988 |        0 |        0
705.99/706.14	c  706s |      24 |  4583049 |  4347062 |     1325   8004 |        0 |        0
707.98/708.15	c  708s |      24 |  4595920 |  4358762 |     1325   8021 |        0 |        0
709.98/710.15	c  710s |      24 |  4608216 |  4370362 |     1325   8038 |        0 |        0
711.98/712.16	c  712s |      24 |  4620316 |  4381862 |     1325   8055 |        0 |        0
713.98/714.18	c  714s |      24 |  4632926 |  4393262 |     1325   8072 |        0 |        0
715.99/716.18	c  716s |      24 |  4645903 |  4404762 |     1325   8088 |        0 |        0
717.98/718.19	c  718s |      24 |  4658039 |  4416062 |     1325   8105 |        0 |        0
719.98/720.20	c  720s |      24 |  4669835 |  4427362 |     1325   8121 |        0 |        0
721.98/722.20	c  722s |      24 |  4682147 |  4439162 |     1325   8138 |        0 |        0
724.07/724.21	c  724s |      24 |  4694767 |  4450962 |     1325   8155 |        0 |        0
726.07/726.22	c  726s |      24 |  4707014 |  4462562 |     1325   8172 |        0 |        0
728.08/728.23	c  728s |      24 |  4719452 |  4474162 |     1325   8189 |        0 |        0
730.07/730.24	c  730s |      24 |  4731758 |  4485762 |     1325   8206 |        0 |        0
732.07/732.25	c  732s |      24 |  4743873 |  4497362 |     1325   8223 |        0 |        0
734.07/734.25	c  734s |      24 |  4756189 |  4508962 |     1325   8240 |        0 |        0
736.07/736.26	c  736s |      24 |  4768523 |  4520662 |     1325   8257 |        0 |        0
738.07/738.28	c  738s |      24 |  4781007 |  4532362 |     1325   8274 |        0 |        0
740.06/740.30	c  740s |      24 |  4793303 |  4543962 |     1325   8291 |        0 |        0
742.16/742.30	c  742s |      24 |  4805217 |  4555162 |     1325   8307 |        0 |        0
744.16/744.32	c  744s |      24 |  4817358 |  4566762 |     1325   8324 |        0 |        0
746.16/746.34	c  746s |      24 |  4829371 |  4578362 |     1325   8341 |        0 |        0
748.16/748.34	c  748s |      24 |  4841449 |  4589762 |     1325   8357 |        0 |        0
750.16/750.35	c  750s |      24 |  4853483 |  4600962 |     1325   8374 |        0 |        0
752.16/752.36	c  752s |      24 |  4865466 |  4612262 |     1325   8390 |        0 |        0
754.16/754.37	c  754s |      24 |  4878243 |  4624362 |     1325   8407 |        0 |        0
756.16/756.38	c  756s |      24 |  4890718 |  4636162 |     1325   8425 |        0 |        0
758.15/758.39	c  758s |      24 |  4903210 |  4647962 |     1325   8442 |        0 |        0
760.15/760.39	c  760s |      24 |  4915805 |  4659662 |     1325   8459 |        0 |        0
762.16/762.39	c  762s |      24 |  4928567 |  4671562 |     1325   8476 |        0 |        0
764.25/764.40	c  764s |      24 |  4941189 |  4683162 |     1325   8493 |        0 |        0
766.25/766.41	c  766s |      24 |  4953881 |  4695062 |     1325   8510 |        0 |        0
768.25/768.42	c  768s |      24 |  4966511 |  4706862 |     1325   8527 |        0 |        0
770.25/770.44	c  770s |      24 |  4978733 |  4718462 |     1325   8544 |        0 |        0
772.25/772.44	c  772s |      24 |  4991064 |  4730162 |     1325   8561 |        0 |        0
774.26/774.45	c  774s |      24 |  5003246 |  4741862 |     1325   8578 |        0 |        0
776.25/776.45	c  776s |      24 |  5015391 |  4753462 |     1325   8595 |        0 |        0
778.25/778.47	c  778s |      24 |  5027639 |  4765062 |     1325   8611 |        0 |        0
780.25/780.47	c  780s |      24 |  5039886 |  4776562 |     1325   8628 |        0 |        0
782.25/782.47	c  782s |      24 |  5052130 |  4787962 |     1325   8645 |        0 |        0
784.25/784.49	c  784s |      24 |  5064935 |  4799462 |     1325   8661 |        0 |        0
786.24/786.49	c  786s |      24 |  5077423 |  4810862 |     1325   8678 |        0 |        0
788.34/788.50	c  788s |      24 |  5089648 |  4822562 |     1325   8695 |        0 |        0
790.34/790.52	c  790s |      24 |  5101852 |  4834162 |     1325   8712 |        0 |        0
792.34/792.53	c  792s |      24 |  5114127 |  4845862 |     1325   8729 |        0 |        0
794.34/794.54	c  794s |      24 |  5126215 |  4857462 |     1325   8745 |        0 |        0
796.34/796.56	c  796s |      24 |  5138171 |  4868762 |     1325   8762 |        0 |        0
798.34/798.56	c  798s |      24 |  5150490 |  4880262 |     1325   8779 |        0 |        0
800.33/800.57	c  800s |      24 |  5162664 |  4891562 |     1325   8795 |        0 |        0
802.33/802.57	c  802s |      24 |  5174902 |  4902862 |     1325   8811 |        0 |        0
804.33/804.59	c  804s |      24 |  5187736 |  4914662 |     1325   8829 |        0 |        0
806.43/806.60	c  806s |      24 |  5200267 |  4926362 |     1325   8846 |        0 |        0
808.34/808.60	c  808s |      24 |  5212618 |  4937962 |     1325   8862 |        0 |        0
810.44/810.60	c  810s |      24 |  5224999 |  4949362 |     1325   8879 |        0 |        0
812.44/812.61	c  812s |      24 |  5237396 |  4960962 |     1325   8896 |        0 |        0
814.44/814.61	c  814s |      24 |  5249808 |  4972562 |     1325   8913 |        0 |        0
816.44/816.62	c  816s |      24 |  5262495 |  4983962 |     1325   8929 |        0 |        0
818.44/818.63	c  818s |      24 |  5274677 |  4995262 |     1325   8946 |        0 |        0
820.44/820.64	c  820s |      24 |  5286931 |  5006362 |     1325   8962 |        0 |        0
822.43/822.65	c  822s |      24 |  5299156 |  5017962 |     1325   8979 |        0 |        0
824.43/824.65	c  824s |      24 |  5311237 |  5029462 |     1458   8995 |        0 |        0
826.43/826.66	c  826s |      24 |  5323160 |  5040762 |     1458   9010 |        0 |        0
828.43/828.66	c  828s |      24 |  5334886 |  5052162 |     1458   9025 |        0 |        0
830.43/830.68	c  830s |      24 |  5346643 |  5063462 |     1458   9040 |        0 |        0
830.73/830.96	c  830s |      25 |  5348361 |  5065098 |     1458   9042 |        0 |        0
832.73/832.96	c  832s |      25 |  5360843 |  5076798 |     1458   9058 |        0 |        0
834.73/834.97	c  834s |      25 |  5373365 |  5088598 |     1458   9073 |        0 |        0
836.72/836.98	c  836s |      25 |  5385530 |  5100298 |     1458   9088 |        0 |        0
838.72/838.99	c  838s |      25 |  5397564 |  5111798 |     1458   9104 |        0 |        0
840.81/841.00	c  840s |      25 |  5409599 |  5123298 |     1458   9119 |        0 |        0
842.81/843.01	c  842s |      25 |  5421846 |  5134998 |     1458   9134 |        0 |        0
844.81/845.01	c  844s |      25 |  5434293 |  5146698 |     1458   9150 |        0 |        0
846.82/847.02	c  847s |      25 |  5446520 |  5158298 |     1458   9165 |        0 |        0
848.81/849.02	c  849s |      25 |  5458944 |  5169898 |     1458   9180 |        0 |        0
850.81/851.02	c  851s |      25 |  5471169 |  5181298 |     1458   9195 |        0 |        0
852.82/853.03	c  853s |      25 |  5483300 |  5192798 |     1458   9210 |        0 |        0
854.82/855.04	c  855s |      25 |  5495756 |  5204098 |     1458   9225 |        0 |        0
856.82/857.06	c  857s |      25 |  5507705 |  5215398 |     1458   9240 |        0 |        0
858.81/859.07	c  859s |      25 |  5519708 |  5226698 |     1458   9255 |        0 |        0
860.81/861.08	c  861s |      25 |  5531709 |  5237798 |     1458   9270 |        0 |        0
862.81/863.09	c  863s |      25 |  5543612 |  5248898 |     1458   9284 |        0 |        0
864.91/865.10	c  865s |      25 |  5555814 |  5260398 |     1458   9299 |        0 |        0
866.91/867.10	c  867s |      25 |  5567968 |  5271898 |     1458   9315 |        0 |        0
868.92/869.11	c  869s |      25 |  5579922 |  5283298 |     1458   9330 |        0 |        0
870.91/871.12	c  871s |      25 |  5591801 |  5294598 |     1458   9344 |        0 |        0
872.91/873.13	c  873s |      25 |  5603696 |  5305798 |     1458   9359 |        0 |        0
874.91/875.14	c  875s |      25 |  5615337 |  5316798 |     1458   9374 |        0 |        0
876.91/877.14	c  877s |      25 |  5627283 |  5327898 |     1458   9388 |        0 |        0
878.91/879.14	c  879s |      25 |  5639309 |  5339098 |     1458   9403 |        0 |        0
880.91/881.16	c  881s |      25 |  5651444 |  5350498 |     1458   9418 |        0 |        0
882.90/883.17	c  883s |      25 |  5663448 |  5361898 |     1458   9433 |        0 |        0
884.90/885.18	c  885s |      25 |  5675408 |  5373298 |     1458   9448 |        0 |        0
886.90/887.18	c  887s |      25 |  5687378 |  5384698 |     1458   9463 |        0 |        0
889.00/889.20	c  889s |      25 |  5699212 |  5395998 |     1458   9478 |        0 |        0
891.00/891.20	c  891s |      25 |  5711214 |  5407398 |     1458   9493 |        0 |        0
893.01/893.20	c  893s |      25 |  5723332 |  5418798 |     1458   9508 |        0 |        0
895.00/895.22	c  895s |      25 |  5735141 |  5429898 |     1458   9523 |        0 |        0
897.00/897.22	c  897s |      25 |  5746697 |  5440798 |     1458   9537 |        0 |        0
898.99/899.22	c  899s |      25 |  5758366 |  5451898 |     1458   9552 |        0 |        0
900.99/901.23	c  901s |      25 |  5769654 |  5462798 |     1458   9566 |        0 |        0
902.99/903.24	c  903s |      25 |  5782107 |  5474398 |     1458   9581 |        0 |        0
904.99/905.25	c  905s |      25 |  5794545 |  5485998 |     1458   9597 |        0 |        0
906.99/907.26	c  907s |      25 |  5807043 |  5497598 |     1458   9612 |        0 |        0
908.99/909.28	c  909s |      25 |  5819293 |  5509198 |     1458   9627 |        0 |        0
910.98/911.29	c  911s |      25 |  5831611 |  5520698 |     1458   9642 |        0 |        0
913.08/913.30	c  913s |      25 |  5843758 |  5532198 |     1458   9658 |        0 |        0
914.99/915.30	c  915s |      25 |  5855580 |  5543498 |     1458   9672 |        0 |        0
917.08/917.31	c  917s |      25 |  5867399 |  5554698 |     1458   9687 |        0 |        0
919.09/919.31	c  919s |      25 |  5879729 |  5566298 |     1458   9702 |        0 |        0
921.08/921.33	c  921s |      25 |  5891926 |  5577998 |     1458   9718 |        0 |        0
923.08/923.33	c  923s |      25 |  5903936 |  5589398 |     1458   9733 |        0 |        0
925.08/925.34	c  925s |      25 |  5915991 |  5600898 |     1458   9748 |        0 |        0
927.09/927.34	c  927s |      25 |  5927934 |  5612098 |     1458   9763 |        0 |        0
929.08/929.35	c  929s |      25 |  5940127 |  5623498 |     1458   9778 |        0 |        0
931.07/931.35	c  931s |      25 |  5952057 |  5634798 |     1458   9793 |        0 |        0
933.07/933.35	c  933s |      25 |  5964057 |  5645998 |     1458   9808 |        0 |        0
935.07/935.36	c  935s |      25 |  5975935 |  5657198 |     1458   9822 |        0 |        0
937.08/937.36	c  937s |      25 |  5987845 |  5668498 |     1458   9837 |        0 |        0
939.07/939.36	c  939s |      25 |  5999841 |  5679698 |     1458   9852 |        0 |        0
941.07/941.37	c  941s |      25 |  6011708 |  5690698 |     1458   9867 |        0 |        0
943.07/943.37	c  943s |      25 |  6023345 |  5701698 |     1458   9881 |        0 |        0
945.07/945.38	c  945s |      25 |  6035239 |  5712698 |     1458   9896 |        0 |        0
947.07/947.38	c  947s |      25 |  6046995 |  5723798 |     1458   9910 |        0 |        0
949.08/949.40	c  949s |      25 |  6058783 |  5735098 |     1458   9925 |        0 |        0
951.17/951.41	c  951s |      25 |  6070636 |  5746498 |     1458   9940 |        0 |        0
953.17/953.42	c  953s |      25 |  6082368 |  5757598 |     1458   9955 |        0 |        0
955.17/955.42	c  955s |      25 |  6094178 |  5768598 |     1458   9969 |        0 |        0
957.17/957.42	c  957s |      25 |  6105903 |  5779598 |     1458   9984 |        0 |        0
959.17/959.43	c  959s |      25 |  6117821 |  5790898 |     1458   9999 |        0 |        0
961.17/961.43	c  961s |      25 |  6129587 |  5801998 |     1458  10013 |        0 |        0
963.16/963.43	c  963s |      25 |  6141537 |  5813098 |     1458  10028 |        0 |        0
965.16/965.45	c  965s |      25 |  6153353 |  5824298 |     1458  10043 |        0 |        0
967.16/967.45	c  967s |      25 |  6165039 |  5835398 |     1458  10058 |        0 |        0
969.16/969.45	c  969s |      25 |  6176951 |  5846598 |     1458  10072 |        0 |        0
971.17/971.47	c  971s |      25 |  6188815 |  5857698 |     1458  10087 |        0 |        0
973.16/973.48	c  973s |      25 |  6200590 |  5868698 |     1458  10102 |        0 |        0
975.16/975.48	c  975s |      25 |  6212902 |  5879998 |     1458  10116 |        0 |        0
977.16/977.50	c  977s |      25 |  6224930 |  5891198 |     1458  10131 |        0 |        0
979.25/979.50	c  979s |      25 |  6236603 |  5902198 |     1458  10146 |        0 |        0
981.25/981.52	c  981s |      25 |  6248528 |  5913398 |     1458  10161 |        0 |        0
983.26/983.52	c  983s |      25 |  6260041 |  5924298 |     1458  10175 |        0 |        0
985.25/985.53	c  985s |      25 |  6271597 |  5935398 |     1458  10190 |        0 |        0
987.25/987.54	c  987s |      25 |  6283923 |  5946598 |     1458  10204 |        0 |        0
989.25/989.54	c  989s |      25 |  6295773 |  5957998 |     1458  10219 |        0 |        0
991.24/991.56	c  991s |      25 |  6307584 |  5969198 |     1458  10234 |        0 |        0
993.24/993.57	c  993s |      25 |  6319566 |  5980498 |     1458  10249 |        0 |        0
995.25/995.58	c  995s |      25 |  6331515 |  5991598 |     1458  10264 |        0 |        0
997.24/997.59	c  997s |      25 |  6343436 |  6002798 |     1458  10278 |        0 |        0
999.34/999.61	c  999s |      25 |  6355275 |  6013898 |     1458  10293 |        0 |        0
1001.34/1001.62	c 1001s |      25 |  6367087 |  6024898 |     1458  10308 |        0 |        0
1003.34/1003.64	c 1003s |      25 |  6378650 |  6035798 |     1458  10322 |        0 |        0
1005.34/1005.65	c 1005s |      25 |  6389739 |  6046398 |     1458  10336 |        0 |        0
1007.34/1007.66	c 1007s |      25 |  6401795 |  6057598 |     1458  10351 |        0 |        0
1009.34/1009.66	c 1009s |      25 |  6413656 |  6068798 |     1458  10365 |        0 |        0
1011.34/1011.68	c 1011s |      25 |  6425602 |  6079698 |     1458  10380 |        0 |        0
1013.34/1013.69	c 1013s |      25 |  6437500 |  6090598 |     1458  10394 |        0 |        0
1015.44/1015.70	c 1015s |      25 |  6449448 |  6101598 |     1458  10409 |        0 |        0
1017.44/1017.70	c 1017s |      25 |  6461481 |  6112598 |     1458  10423 |        0 |        0
1019.45/1019.72	c 1019s |      25 |  6473314 |  6123598 |     1458  10438 |        0 |        0
1021.44/1021.74	c 1021s |      25 |  6485131 |  6134598 |     1458  10452 |        0 |        0
1023.44/1023.74	c 1023s |      25 |  6497343 |  6145698 |     1458  10467 |        0 |        0
1025.44/1025.76	c 1025s |      25 |  6509488 |  6156998 |     1458  10482 |        0 |        0
1027.44/1027.77	c 1027s |      25 |  6521305 |  6167998 |     1458  10496 |        0 |        0
1029.44/1029.78	c 1029s |      25 |  6533834 |  6179398 |     1458  10511 |        0 |        0
1031.43/1031.79	c 1031s |      25 |  6545872 |  6190298 |     1458  10526 |        0 |        0
1033.43/1033.79	c 1033s |      25 |  6558324 |  6201398 |     1458  10540 |        0 |        0
1035.53/1035.80	c 1035s |      25 |  6570036 |  6212098 |     1458  10554 |        0 |        0
1037.53/1037.81	c 1037s |      25 |  6581581 |  6222898 |     1458  10569 |        0 |        0
1039.53/1039.82	c 1039s |      25 |  6593382 |  6233698 |     1458  10583 |        0 |        0
1041.53/1041.83	c 1041s |      25 |  6605102 |  6244398 |     1458  10597 |        0 |        0
1043.52/1043.84	c 1043s |      25 |  6616624 |  6255098 |     1458  10611 |        0 |        0
1045.52/1045.84	c 1045s |      25 |  6628871 |  6266498 |     1458  10626 |        0 |        0
1047.52/1047.86	c 1047s |      25 |  6641247 |  6278098 |     1458  10642 |        0 |        0
1049.52/1049.87	c 1049s |      25 |  6653336 |  6289298 |     1458  10656 |        0 |        0
1051.52/1051.88	c 1051s |      25 |  6665079 |  6300298 |     1458  10671 |        0 |        0
1053.52/1053.89	c 1053s |      25 |  6677041 |  6311398 |     1458  10685 |        0 |        0
1055.62/1055.90	c 1055s |      25 |  6688726 |  6322498 |     1458  10700 |        0 |        0
1057.62/1057.90	c 1057s |      25 |  6700564 |  6333598 |     1458  10715 |        0 |        0
1059.62/1059.91	c 1059s |      25 |  6712104 |  6344398 |     1458  10729 |        0 |        0
1061.61/1061.93	c 1061s |      25 |  6723676 |  6355198 |     1458  10743 |        0 |        0
1063.61/1063.95	c 1063s |      25 |  6735063 |  6365798 |     1458  10757 |        0 |        0
1065.62/1065.96	c 1065s |      25 |  6746472 |  6376598 |     1458  10771 |        0 |        0
1067.61/1067.96	c 1067s |      25 |  6757807 |  6387598 |     1458  10786 |        0 |        0
1069.61/1069.96	c 1069s |      25 |  6769173 |  6398598 |     1458  10800 |        0 |        0
1071.61/1071.97	c 1071s |      25 |  6780724 |  6409498 |     1458  10815 |        0 |        0
1073.61/1073.98	c 1073s |      25 |  6792012 |  6420098 |     1458  10829 |        0 |        0
1075.61/1075.99	c 1075s |      25 |  6803257 |  6430798 |     1458  10843 |        0 |        0
1077.61/1078.00	c 1077s |      25 |  6814592 |  6441598 |     1458  10857 |        0 |        0
1079.71/1080.02	c 1080s |      25 |  6826068 |  6452598 |     1458  10872 |        0 |        0
1081.70/1082.02	c 1082s |      25 |  6837496 |  6463598 |     1458  10886 |        0 |        0
1083.70/1084.02	c 1084s |      25 |  6849194 |  6474598 |     1458  10901 |        0 |        0
1085.70/1086.04	c 1086s |      25 |  6860746 |  6485598 |     1458  10915 |        0 |        0
1087.71/1088.04	c 1088s |      25 |  6872046 |  6496298 |     1458  10929 |        0 |        0
1089.70/1090.05	c 1090s |      25 |  6883334 |  6507098 |     1458  10944 |        0 |        0
1091.70/1092.05	c 1092s |      25 |  6895400 |  6518298 |     1458  10958 |        0 |        0
1093.70/1094.07	c 1094s |      25 |  6907427 |  6529698 |     1458  10973 |        0 |        0
1095.71/1096.07	c 1096s |      25 |  6919253 |  6540798 |     1458  10988 |        0 |        0
1097.71/1098.07	c 1098s |      25 |  6931021 |  6551998 |     1458  11003 |        0 |        0
1099.71/1100.09	c 1100s |      25 |  6942805 |  6562998 |     1458  11017 |        0 |        0
1101.80/1102.10	c 1102s |      25 |  6954196 |  6573898 |     1458  11032 |        0 |        0
1103.80/1104.11	c 1104s |      25 |  6965877 |  6584998 |     1458  11046 |        0 |        0
1105.80/1106.12	c 1106s |      25 |  6977326 |  6595798 |     1458  11061 |        0 |        0
1107.80/1108.14	c 1108s |      25 |  6989097 |  6606798 |     1458  11075 |        0 |        0
1109.80/1110.15	c 1110s |      25 |  7000637 |  6617698 |     1458  11090 |        0 |        0
1111.80/1112.17	c 1112s |      25 |  7011951 |  6628598 |     1458  11104 |        0 |        0
1113.79/1114.18	c 1114s |      25 |  7023376 |  6639498 |     1458  11119 |        0 |        0
1115.79/1116.19	c 1116s |      25 |  7034844 |  6650498 |     1458  11133 |        0 |        0
1117.89/1118.21	c 1118s |      25 |  7046365 |  6661298 |     1458  11147 |        0 |        0
1119.89/1120.22	c 1120s |      25 |  7057469 |  6671998 |     1458  11162 |        0 |        0
1121.89/1122.22	c 1122s |      25 |  7068908 |  6682898 |     1458  11176 |        0 |        0
1123.90/1124.24	c 1124s |      25 |  7080403 |  6693898 |     1458  11191 |        0 |        0
1125.89/1126.25	c 1126s |      25 |  7091518 |  6704498 |     1458  11205 |        0 |        0
1127.89/1128.27	c 1128s |      25 |  7103105 |  6715398 |     1458  11219 |        0 |        0
1129.89/1130.27	c 1130s |      25 |  7114714 |  6726198 |     1458  11233 |        0 |        0
1131.88/1132.28	c 1132s |      25 |  7126120 |  6736998 |     1458  11248 |        0 |        0
1133.89/1134.28	c 1134s |      25 |  7137801 |  6748198 |     1458  11262 |        0 |        0
1135.88/1136.29	c 1136s |      25 |  7149448 |  6759398 |     1458  11277 |        0 |        0
1137.98/1138.30	c 1138s |      25 |  7160918 |  6770398 |     1458  11292 |        0 |        0
1139.97/1140.30	c 1140s |      25 |  7172266 |  6781298 |     1458  11306 |        0 |        0
1141.97/1142.31	c 1142s |      25 |  7183519 |  6792198 |     1458  11320 |        0 |        0
1143.98/1144.31	c 1144s |      25 |  7194459 |  6802698 |     1458  11334 |        0 |        0
1145.99/1146.32	c 1146s |      25 |  7205736 |  6813598 |     1458  11348 |        0 |        0
1147.98/1148.34	c 1148s |      25 |  7217044 |  6824498 |     1458  11363 |        0 |        0
1149.98/1150.34	c 1150s |      25 |  7228160 |  6835098 |     1458  11377 |        0 |        0
1151.97/1152.35	c 1152s |      25 |  7239565 |  6845898 |     1458  11391 |        0 |        0
1153.97/1154.35	c 1154s |      25 |  7250876 |  6856898 |     1458  11405 |        0 |        0
1155.97/1156.36	c 1156s |      25 |  7262080 |  6867798 |     1458  11420 |        0 |        0
1157.98/1158.37	c 1158s |      25 |  7273407 |  6878598 |     1458  11434 |        0 |        0
1159.97/1160.39	c 1160s |      25 |  7284407 |  6889198 |     1458  11448 |        0 |        0
1162.07/1162.40	c 1162s |      25 |  7295839 |  6900198 |     1458  11462 |        0 |        0
1164.07/1164.42	c 1164s |      25 |  7307348 |  6911198 |     1458  11477 |        0 |        0
1166.07/1166.43	c 1166s |      25 |  7318529 |  6921998 |     1458  11491 |        0 |        0
1168.07/1168.45	c 1168s |      25 |  7329861 |  6932898 |     1458  11505 |        0 |        0
1170.07/1170.46	c 1170s |      25 |  7341047 |  6943698 |     1458  11520 |        0 |        0
1172.06/1172.46	c 1172s |      25 |  7351882 |  6954198 |     1458  11534 |        0 |        0
1174.06/1174.47	c 1174s |      25 |  7363433 |  6965098 |     1458  11548 |        0 |        0
1176.06/1176.49	c 1176s |      25 |  7374558 |  6975798 |     1458  11562 |        0 |        0
1178.16/1178.50	c 1178s |      25 |  7385723 |  6986398 |     1458  11576 |        0 |        0
1180.16/1180.50	c 1180s |      25 |  7396845 |  6996998 |     1458  11590 |        0 |        0
1182.16/1182.51	c 1182s |      25 |  7408388 |  7008098 |     1458  11605 |        0 |        0
1184.16/1184.52	c 1184s |      25 |  7419956 |  7019198 |     1458  11619 |        0 |        0
1186.16/1186.54	c 1186s |      25 |  7431229 |  7030098 |     1458  11634 |        0 |        0
1188.16/1188.55	c 1188s |      25 |  7442696 |  7041098 |     1458  11648 |        0 |        0
1190.15/1190.57	c 1190s |      25 |  7453604 |  7051598 |     1458  11662 |        0 |        0
1192.17/1192.57	c 1192s |      25 |  7464427 |  7061998 |     1458  11676 |        0 |        0
1194.16/1194.59	c 1194s |      25 |  7476026 |  7073098 |     1458  11691 |        0 |        0
1196.26/1196.60	c 1196s |      25 |  7487328 |  7083898 |     1458  11705 |        0 |        0
1198.26/1198.61	c 1198s |      25 |  7498515 |  7094698 |     1458  11719 |        0 |        0
1200.25/1200.61	c 1200s |      25 |  7509631 |  7105298 |     1458  11733 |        0 |        0
1202.25/1202.62	c 1202s |      25 |  7520802 |  7115998 |     1458  11747 |        0 |        0
1204.26/1204.63	c 1204s |      25 |  7532046 |  7126798 |     1458  11761 |        0 |        0
1206.25/1206.64	c 1206s |      25 |  7543231 |  7137398 |     1458  11775 |        0 |        0
1208.25/1208.64	c 1208s |      25 |  7554521 |  7148198 |     1458  11790 |        0 |        0
1210.25/1210.65	c 1210s |      25 |  7565635 |  7159098 |     1458  11804 |        0 |        0
1212.25/1212.66	c 1212s |      25 |  7576775 |  7169798 |     1458  11818 |        0 |        0
1214.25/1214.67	c 1214s |      25 |  7587721 |  7180398 |     1458  11832 |        0 |        0
1216.25/1216.67	c 1216s |      25 |  7598799 |  7191198 |     1458  11847 |        0 |        0
1218.24/1218.69	c 1218s |      25 |  7609976 |  7201898 |     1458  11861 |        0 |        0
1220.24/1220.69	c 1220s |      25 |  7620754 |  7212298 |     1458  11874 |        0 |        0
1222.34/1222.71	c 1222s |      25 |  7631912 |  7222998 |     1458  11889 |        0 |        0
1224.34/1224.72	c 1224s |      25 |  7642866 |  7233598 |     1458  11903 |        0 |        0
1226.34/1226.73	c 1226s |      25 |  7654035 |  7244098 |     1458  11917 |        0 |        0
1228.35/1228.73	c 1228s |      25 |  7664880 |  7254498 |     1458  11930 |        0 |        0
1230.34/1230.74	c 1230s |      25 |  7676381 |  7265398 |     1458  11945 |        0 |        0
1232.34/1232.75	c 1232s |      25 |  7687580 |  7276098 |     1458  11959 |        0 |        0
1234.34/1234.76	c 1234s |      25 |  7698874 |  7286998 |     1458  11973 |        0 |        0
1236.33/1236.76	c 1236s |      25 |  7709996 |  7297598 |     1458  11987 |        0 |        0
1238.34/1238.77	c 1238s |      25 |  7721000 |  7308198 |     1458  12001 |        0 |        0
1240.34/1240.79	c 1240s |      25 |  7732692 |  7319198 |     1458  12016 |        0 |        0
1242.34/1242.79	c 1242s |      25 |  7744034 |  7329898 |     1458  12030 |        0 |        0
1244.44/1244.80	c 1244s |      25 |  7755322 |  7340498 |     1458  12044 |        0 |        0
1246.44/1246.80	c 1246s |      25 |  7766563 |  7351198 |     1458  12058 |        0 |        0
1248.43/1248.82	c 1248s |      25 |  7777960 |  7362198 |     1458  12072 |        0 |        0
1250.44/1250.83	c 1250s |      25 |  7789180 |  7372998 |     1458  12087 |        0 |        0
1252.43/1252.83	c 1252s |      25 |  7800119 |  7383498 |     1458  12101 |        0 |        0
1254.43/1254.85	c 1254s |      25 |  7811053 |  7393998 |     1458  12114 |        0 |        0
1256.43/1256.85	c 1256s |      25 |  7822358 |  7404598 |     1458  12129 |        0 |        0
1258.43/1258.87	c 1258s |      25 |  7833415 |  7415198 |     1458  12143 |        0 |        0
1260.42/1260.88	c 1260s |      25 |  7844473 |  7425898 |     1458  12157 |        0 |        0
1262.43/1262.89	c 1262s |      25 |  7855364 |  7436498 |     1458  12171 |        0 |        0
1264.52/1264.90	c 1264s |      25 |  7866212 |  7446998 |     1458  12185 |        0 |        0
1266.52/1266.92	c 1266s |      25 |  7877183 |  7457498 |     1458  12199 |        0 |        0
1268.52/1268.93	c 1268s |      25 |  7888043 |  7467998 |     1458  12212 |        0 |        0
1270.52/1270.94	c 1270s |      25 |  7899322 |  7478798 |     1458  12227 |        0 |        0
1272.52/1272.96	c 1272s |      25 |  7910520 |  7489298 |     1458  12241 |        0 |        0
1274.53/1274.96	c 1274s |      25 |  7921697 |  7499798 |     1458  12255 |        0 |        0
1276.52/1276.98	c 1276s |      25 |  7932501 |  7510198 |     1458  12268 |        0 |        0
1278.52/1278.98	c 1278s |      25 |  7943471 |  7520698 |     1458  12282 |        0 |        0
1280.52/1280.99	c 1280s |      25 |  7954461 |  7531098 |     1458  12296 |        0 |        0
1282.62/1283.01	c 1282s |      25 |  7965527 |  7541598 |     1458  12310 |        0 |        0
1284.62/1285.01	c 1284s |      25 |  7976214 |  7551698 |     1604  12322 |        0 |        0
1286.62/1287.01	c 1286s |      25 |  7987358 |  7562198 |     1604  12335 |        0 |        0
1288.62/1289.02	c 1289s |      25 |  7998542 |  7572698 |     1604  12347 |        0 |        0
1290.61/1291.04	c 1291s |      25 |  8009646 |  7583298 |     1604  12360 |        0 |        0
1292.61/1293.06	c 1293s |      25 |  8020836 |  7593898 |     1604  12373 |        0 |        0
1293.41/1293.81	c 1293s |      26 |  8024907 |  7597752 |     1604  12377 |        0 |        0
1295.42/1295.82	c 1295s |      26 |  8036101 |  7608252 |     1604  12390 |        0 |        0
1297.41/1297.85	c 1297s |      26 |  8046966 |  7618752 |     1604  12403 |        0 |        0
1299.41/1299.87	c 1299s |      26 |  8058575 |  7629552 |     1604  12416 |        0 |        0
1301.41/1301.88	c 1301s |      26 |  8070113 |  7639952 |     1604  12428 |        0 |        0
1303.40/1303.88	c 1303s |      26 |  8081049 |  7650352 |     1604  12441 |        0 |        0
1305.41/1305.89	c 1305s |      26 |  8092245 |  7661052 |     1604  12453 |        0 |        0
1307.40/1307.89	c 1307s |      26 |  8103285 |  7671452 |     1604  12466 |        0 |        0
1309.41/1309.89	c 1309s |      26 |  8114527 |  7681952 |     1604  12479 |        0 |        0
1311.51/1311.90	c 1311s |      26 |  8125516 |  7692052 |     1604  12491 |        0 |        0
1313.50/1313.92	c 1313s |      26 |  8136948 |  7702552 |     1604  12503 |        0 |        0
1315.50/1315.92	c 1315s |      26 |  8147951 |  7712652 |     1604  12515 |        0 |        0
1317.51/1317.93	c 1317s |      26 |  8159411 |  7723452 |     1604  12528 |        0 |        0
1319.50/1319.93	c 1319s |      26 |  8170599 |  7733952 |     1604  12541 |        0 |        0
1321.50/1321.95	c 1321s |      26 |  8181682 |  7744652 |     1604  12554 |        0 |        0
1323.50/1323.95	c 1323s |      26 |  8192849 |  7754952 |     1604  12566 |        0 |        0
1325.50/1325.96	c 1325s |      26 |  8203667 |  7765152 |     1604  12579 |        0 |        0
1327.50/1327.96	c 1327s |      26 |  8214937 |  7775652 |     1604  12591 |        0 |        0
1329.50/1329.97	c 1329s |      26 |  8226172 |  7786152 |     1604  12604 |        0 |        0
1331.49/1331.98	c 1331s |      26 |  8237243 |  7796852 |     1604  12617 |        0 |        0
1333.59/1334.00	c 1333s |      26 |  8248549 |  7807652 |     1604  12630 |        0 |        0
1335.59/1336.01	c 1335s |      26 |  8259774 |  7818252 |     1604  12642 |        0 |        0
1337.59/1338.02	c 1338s |      26 |  8270726 |  7828652 |     1604  12655 |        0 |        0
1339.59/1340.04	c 1340s |      26 |  8281699 |  7839052 |     1604  12667 |        0 |        0
1341.60/1342.06	c 1342s |      26 |  8293108 |  7849152 |     1604  12680 |        0 |        0
1343.59/1344.07	c 1344s |      26 |  8304385 |  7859452 |     1604  12692 |        0 |        0
1345.59/1346.09	c 1346s |      26 |  8315917 |  7869952 |     1604  12705 |        0 |        0
1347.69/1348.10	c 1348s |      26 |  8327028 |  7880652 |     1604  12718 |        0 |        0
1349.69/1350.10	c 1350s |      26 |  8337737 |  7890852 |     1604  12730 |        0 |        0
1351.68/1352.11	c 1352s |      26 |  8348488 |  7901152 |     1604  12742 |        0 |        0
1353.69/1354.12	c 1354s |      26 |  8359132 |  7911252 |     1604  12754 |        0 |        0
1355.68/1356.15	c 1356s |      26 |  8369850 |  7921452 |     1604  12767 |        0 |        0
1357.68/1358.16	c 1358s |      26 |  8380897 |  7931852 |     1604  12779 |        0 |        0
1359.68/1360.17	c 1360s |      26 |  8391643 |  7942152 |     1604  12791 |        0 |        0
1361.68/1362.19	c 1362s |      26 |  8402235 |  7952252 |     1604  12804 |        0 |        0
1363.78/1364.20	c 1364s |      26 |  8412914 |  7962552 |     1604  12816 |        0 |        0
1365.78/1366.21	c 1366s |      26 |  8423683 |  7972852 |     1604  12828 |        0 |        0
1367.78/1368.23	c 1368s |      26 |  8434410 |  7983052 |     1604  12841 |        0 |        0
1369.78/1370.24	c 1370s |      26 |  8444999 |  7993152 |     1604  12853 |        0 |        0
1371.78/1372.24	c 1372s |      26 |  8455747 |  8003352 |     1604  12865 |        0 |        0
1373.78/1374.25	c 1374s |      26 |  8466981 |  8013652 |     1604  12877 |        0 |        0
1375.79/1376.26	c 1376s |      26 |  8478025 |  8023952 |     1604  12890 |        0 |        0
1377.78/1378.26	c 1378s |      26 |  8488888 |  8034252 |     1604  12902 |        0 |        0
1379.78/1380.27	c 1380s |      26 |  8499886 |  8044152 |     1604  12914 |        0 |        0
1381.78/1382.28	c 1382s |      26 |  8510655 |  8054252 |     1604  12926 |        0 |        0
1383.88/1384.30	c 1384s |      26 |  8521302 |  8064452 |     1604  12938 |        0 |        0
1385.88/1386.30	c 1386s |      26 |  8532049 |  8074552 |     1604  12951 |        0 |        0
1387.79/1388.30	c 1388s |      26 |  8542718 |  8084652 |     1604  12963 |        0 |        0
1389.88/1390.32	c 1390s |      26 |  8553460 |  8094652 |     1604  12975 |        0 |        0
1391.88/1392.32	c 1392s |      26 |  8564851 |  8105052 |     1604  12987 |        0 |        0
1393.88/1394.33	c 1394s |      26 |  8576423 |  8115552 |     1604  13000 |        0 |        0
1395.88/1396.34	c 1396s |      26 |  8587351 |  8125852 |     1604  13012 |        0 |        0
1397.88/1398.34	c 1398s |      26 |  8598259 |  8135952 |     1604  13024 |        0 |        0
1399.88/1400.35	c 1400s |      26 |  8609091 |  8146252 |     1604  13037 |        0 |        0
1401.88/1402.36	c 1402s |      26 |  8619798 |  8156552 |     1604  13049 |        0 |        0
1403.87/1404.38	c 1404s |      26 |  8630204 |  8166552 |     1604  13061 |        0 |        0
1405.87/1406.38	c 1406s |      26 |  8640723 |  8176652 |     1604  13073 |        0 |        0
1407.87/1408.39	c 1408s |      26 |  8651552 |  8186852 |     1604  13085 |        0 |        0
1409.97/1410.41	c 1410s |      26 |  8662201 |  8197052 |     1604  13098 |        0 |        0
1411.98/1412.41	c 1412s |      26 |  8672784 |  8207052 |     1604  13110 |        0 |        0
1413.97/1414.42	c 1414s |      26 |  8683321 |  8217152 |     1604  13122 |        0 |        0
1415.97/1416.43	c 1416s |      26 |  8693894 |  8227252 |     1604  13134 |        0 |        0
1417.97/1418.44	c 1418s |      26 |  8704369 |  8237352 |     1604  13146 |        0 |        0
1419.97/1420.45	c 1420s |      26 |  8715413 |  8248052 |     1604  13159 |        0 |        0
1421.98/1422.45	c 1422s |      26 |  8726400 |  8258652 |     1604  13172 |        0 |        0
1423.97/1424.46	c 1424s |      26 |  8737212 |  8269052 |     1604  13184 |        0 |        0
1425.97/1426.47	c 1426s |      26 |  8748144 |  8279552 |     1604  13197 |        0 |        0
1427.97/1428.48	c 1428s |      26 |  8759092 |  8290052 |     1604  13209 |        0 |        0
1430.07/1430.50	c 1430s |      26 |  8769538 |  8300052 |     1604  13221 |        0 |        0
1432.07/1432.50	c 1432s |      26 |  8780320 |  8310352 |     1604  13234 |        0 |        0
1434.07/1434.51	c 1434s |      26 |  8790847 |  8320452 |     1604  13246 |        0 |        0
1436.07/1436.53	c 1436s |      26 |  8801619 |  8330752 |     1604  13258 |        0 |        0
1438.07/1438.54	c 1438s |      26 |  8812252 |  8341052 |     1604  13271 |        0 |        0
1440.06/1440.55	c 1440s |      26 |  8823372 |  8351552 |     1604  13283 |        0 |        0
1442.06/1442.56	c 1442s |      26 |  8834183 |  8361752 |     1604  13296 |        0 |        0
1444.06/1444.57	c 1444s |      26 |  8844748 |  8371652 |     1604  13308 |        0 |        0
1446.07/1446.59	c 1446s |      26 |  8855777 |  8381852 |     1604  13320 |        0 |        0
1448.17/1448.60	c 1448s |      26 |  8866624 |  8391952 |     1604  13332 |        0 |        0
1450.17/1450.61	c 1450s |      26 |  8877512 |  8402252 |     1604  13344 |        0 |        0
1452.17/1452.61	c 1452s |      26 |  8888517 |  8412452 |     1604  13357 |        0 |        0
1454.17/1454.63	c 1454s |      26 |  8898870 |  8422352 |     1604  13369 |        0 |        0
1456.17/1456.64	c 1456s |      26 |  8909427 |  8432552 |     1604  13381 |        0 |        0
1458.18/1458.64	c 1458s |      26 |  8919825 |  8442552 |     1604  13393 |        0 |        0
1460.17/1460.66	c 1460s |      26 |  8930529 |  8452752 |     1604  13405 |        0 |        0
1462.17/1462.69	c 1462s |      26 |  8941189 |  8462952 |     1604  13418 |        0 |        0
1464.27/1464.70	c 1464s |      26 |  8951786 |  8473052 |     1604  13430 |        0 |        0
1466.27/1466.70	c 1466s |      26 |  8962414 |  8483152 |     1604  13442 |        0 |        0
1468.27/1468.72	c 1468s |      26 |  8973568 |  8493352 |     1604  13454 |        0 |        0
1470.27/1470.73	c 1470s |      26 |  8984381 |  8503552 |     1604  13466 |        0 |        0
1472.27/1472.74	c 1472s |      26 |  8995013 |  8513552 |     1604  13479 |        0 |        0
1474.26/1474.76	c 1474s |      26 |  9005435 |  8523352 |     1604  13490 |        0 |        0
1476.26/1476.78	c 1476s |      26 |  9015889 |  8533152 |     1604  13502 |        0 |        0
1478.26/1478.79	c 1478s |      26 |  9026344 |  8542952 |     1604  13514 |        0 |        0
1480.27/1480.79	c 1480s |      26 |  9037499 |  8553452 |     1604  13527 |        0 |        0
1482.26/1482.80	c 1482s |      26 |  9048469 |  8563852 |     1604  13539 |        0 |        0
1484.36/1484.81	c 1484s |      26 |  9059416 |  8574252 |     1604  13552 |        0 |        0
1486.36/1486.81	c 1486s |      26 |  9070347 |  8584652 |     1604  13564 |        0 |        0
1488.36/1488.82	c 1488s |      26 |  9081882 |  8595152 |     1604  13577 |        0 |        0
1490.36/1490.82	c 1490s |      26 |  9092784 |  8605452 |     1604  13589 |        0 |        0
1492.37/1492.83	c 1492s |      26 |  9103358 |  8615552 |     1604  13601 |        0 |        0
1494.36/1494.84	c 1494s |      26 |  9114221 |  8625852 |     1604  13614 |        0 |        0
1496.36/1496.84	c 1496s |      26 |  9125151 |  8636352 |     1604  13626 |        0 |        0
1498.36/1498.85	c 1498s |      26 |  9135964 |  8646752 |     1604  13639 |        0 |        0
1500.36/1500.86	c 1500s |      26 |  9146852 |  8657152 |     1604  13651 |        0 |        0
1502.36/1502.87	c 1502s |      26 |  9157563 |  8667252 |     1604  13663 |        0 |        0
1504.36/1504.88	c 1504s |      26 |  9168428 |  8677452 |     1604  13676 |        0 |        0
1506.36/1506.88	c 1506s |      26 |  9179237 |  8687652 |     1604  13688 |        0 |        0
1508.36/1508.90	c 1508s |      26 |  9189806 |  8697752 |     1604  13700 |        0 |        0
1510.46/1510.90	c 1510s |      26 |  9200577 |  8707952 |     1604  13712 |        0 |        0
1512.46/1512.91	c 1512s |      26 |  9211699 |  8718352 |     1604  13725 |        0 |        0
1514.46/1514.92	c 1514s |      26 |  9222606 |  8728452 |     1604  13737 |        0 |        0
1516.46/1516.92	c 1516s |      26 |  9233335 |  8738752 |     1604  13749 |        0 |        0
1518.46/1518.94	c 1518s |      26 |  9243869 |  8748852 |     1604  13761 |        0 |        0
1520.45/1520.95	c 1520s |      26 |  9254740 |  8759052 |     1604  13774 |        0 |        0
1522.45/1522.96	c 1522s |      26 |  9265651 |  8769152 |     1604  13786 |        0 |        0
1524.45/1524.97	c 1524s |      26 |  9276364 |  8779252 |     1604  13798 |        0 |        0
1526.46/1526.99	c 1526s |      26 |  9286778 |  8789352 |     1604  13810 |        0 |        0
1528.56/1529.00	c 1528s |      26 |  9297214 |  8799352 |     1604  13822 |        0 |        0
1530.55/1531.01	c 1530s |      26 |  9307699 |  8809452 |     1604  13834 |        0 |        0
1532.55/1533.01	c 1532s |      26 |  9318044 |  8819452 |     1604  13846 |        0 |        0
1534.55/1535.02	c 1535s |      26 |  9328597 |  8829552 |     1604  13858 |        0 |        0
1536.55/1537.04	c 1537s |      26 |  9339552 |  8839752 |     1604  13871 |        0 |        0
1538.56/1539.06	c 1539s |      26 |  9350421 |  8850052 |     1604  13883 |        0 |        0
1540.55/1541.07	c 1541s |      26 |  9361208 |  8860252 |     1604  13895 |        0 |        0
1542.55/1543.08	c 1543s |      26 |  9371961 |  8870452 |     1604  13907 |        0 |        0
1544.55/1545.09	c 1545s |      26 |  9382490 |  8880552 |     1604  13920 |        0 |        0
1546.65/1547.10	c 1547s |      26 |  9392930 |  8890552 |     1604  13932 |        0 |        0
1548.65/1549.12	c 1549s |      26 |  9403109 |  8900252 |     1604  13943 |        0 |        0
1550.65/1551.13	c 1551s |      26 |  9413628 |  8910252 |     1604  13955 |        0 |        0
1552.65/1553.14	c 1553s |      26 |  9424102 |  8920352 |     1604  13967 |        0 |        0
1554.66/1555.15	c 1555s |      26 |  9434723 |  8930552 |     1604  13980 |        0 |        0
1556.65/1557.16	c 1557s |      26 |  9445519 |  8940952 |     1604  13992 |        0 |        0
1558.65/1559.16	c 1559s |      26 |  9456254 |  8951252 |     1604  14004 |        0 |        0
1560.65/1561.16	c 1561s |      26 |  9466871 |  8961352 |     1604  14017 |        0 |        0
1562.66/1563.17	c 1563s |      26 |  9477123 |  8971252 |     1604  14029 |        0 |        0
1564.65/1565.18	c 1565s |      26 |  9488089 |  8981752 |     1604  14041 |        0 |        0
1566.65/1567.19	c 1567s |      26 |  9498783 |  8992052 |     1604  14054 |        0 |        0
1568.65/1569.19	c 1569s |      26 |  9509550 |  9002452 |     1604  14066 |        0 |        0
1570.75/1571.20	c 1571s |      26 |  9520061 |  9012552 |     1604  14078 |        0 |        0
1572.75/1573.21	c 1573s |      26 |  9530852 |  9022852 |     1604  14091 |        0 |        0
1574.76/1575.23	c 1575s |      26 |  9541517 |  9033052 |     1604  14103 |        0 |        0
1576.75/1577.25	c 1577s |      26 |  9552067 |  9043252 |     1604  14115 |        0 |        0
1578.75/1579.25	c 1579s |      26 |  9562699 |  9053452 |     1604  14127 |        0 |        0
1580.75/1581.25	c 1581s |      26 |  9573230 |  9063452 |     1604  14139 |        0 |        0
1582.75/1583.26	c 1583s |      26 |  9583708 |  9073552 |     1604  14152 |        0 |        0
1584.75/1585.26	c 1585s |      26 |  9594068 |  9083552 |     1604  14164 |        0 |        0
1586.74/1587.26	c 1587s |      26 |  9604608 |  9093552 |     1604  14176 |        0 |        0
1588.74/1589.26	c 1589s |      26 |  9615553 |  9103852 |     1604  14188 |        0 |        0
1590.74/1591.27	c 1591s |      26 |  9626324 |  9114152 |     1604  14201 |        0 |        0
1592.74/1593.29	c 1593s |      26 |  9637117 |  9124552 |     1604  14213 |        0 |        0
1594.84/1595.30	c 1595s |      26 |  9647789 |  9134652 |     1604  14225 |        0 |        0
1596.85/1597.33	c 1597s |      26 |  9658553 |  9144952 |     1604  14238 |        0 |        0
1598.84/1599.34	c 1599s |      26 |  9669258 |  9155252 |     1604  14250 |        0 |        0
1600.84/1601.35	c 1601s |      26 |  9679865 |  9165452 |     1604  14262 |        0 |        0
1602.84/1603.35	c 1603s |      26 |  9690443 |  9175552 |     1604  14274 |        0 |        0
1604.84/1605.37	c 1605s |      26 |  9701595 |  9185952 |     1604  14287 |        0 |        0
1606.84/1607.38	c 1607s |      26 |  9712082 |  9196052 |     1604  14299 |        0 |        0
1608.85/1609.40	c 1609s |      26 |  9722784 |  9206152 |     1604  14311 |        0 |        0
1610.94/1611.41	c 1611s |      26 |  9733345 |  9216352 |     1604  14324 |        0 |        0
1612.95/1613.43	c 1613s |      26 |  9743681 |  9226352 |     1604  14336 |        0 |        0
1614.95/1615.43	c 1615s |      26 |  9753856 |  9236152 |     1604  14347 |        0 |        0
1616.95/1617.45	c 1617s |      26 |  9764648 |  9246452 |     1604  14360 |        0 |        0
1618.94/1619.46	c 1619s |      26 |  9775798 |  9257052 |     1604  14373 |        0 |        0
1620.95/1621.48	c 1621s |      26 |  9787321 |  9267752 |     1604  14385 |        0 |        0
1622.94/1623.49	c 1623s |      26 |  9798269 |  9278052 |     1604  14398 |        0 |        0
1625.04/1625.51	c 1625s |      26 |  9808806 |  9288252 |     1604  14410 |        0 |        0
1627.04/1627.51	c 1627s |      26 |  9819540 |  9298552 |     1604  14423 |        0 |        0
1629.04/1629.52	c 1629s |      26 |  9830091 |  9308752 |     1604  14435 |        0 |        0
1631.04/1631.53	c 1631s |      26 |  9840975 |  9319152 |     1604  14447 |        0 |        0
1633.05/1633.54	c 1633s |      26 |  9851505 |  9329152 |     1604  14459 |        0 |        0
1635.04/1635.55	c 1635s |      26 |  9862298 |  9339352 |     1604  14471 |        0 |        0
1637.04/1637.57	c 1637s |      26 |  9872992 |  9349652 |     1604  14484 |        0 |        0
1639.04/1639.58	c 1639s |      26 |  9883785 |  9359852 |     1604  14496 |        0 |        0
1641.04/1641.59	c 1641s |      26 |  9894549 |  9370152 |     1604  14508 |        0 |        0
1643.14/1643.61	c 1643s |      26 |  9905254 |  9380352 |     1604  14521 |        0 |        0
1645.14/1645.61	c 1645s |      26 |  9915968 |  9390452 |     1604  14533 |        0 |        0
1647.14/1647.61	c 1647s |      26 |  9926748 |  9400652 |     1604  14545 |        0 |        0
1649.14/1649.62	c 1649s |      26 |  9937892 |  9411052 |     1604  14558 |        0 |        0
1651.14/1651.62	c 1651s |      26 |  9948512 |  9421252 |     1604  14570 |        0 |        0
1653.13/1653.62	c 1653s |      26 |  9959204 |  9431352 |     1604  14582 |        0 |        0
1655.14/1655.62	c 1655s |      26 |  9969795 |  9441452 |     1604  14594 |        0 |        0
1657.13/1657.63	c 1657s |      26 |  9980571 |  9451752 |     1604  14606 |        0 |        0
1659.13/1659.64	c 1659s |      26 |  9991249 |  9461952 |     1604  14619 |        0 |        0
1661.13/1661.66	c 1661s |      26 | 10001899 |  9472052 |     1604  14631 |        0 |        0
1663.13/1663.66	c 1663s |      26 | 10012461 |  9482152 |     1604  14643 |        0 |        0
1665.13/1665.66	c 1665s |      26 | 10023311 |  9492452 |     1604  14655 |        0 |        0
1667.14/1667.68	c 1667s |      26 | 10034027 |  9502552 |     1604  14668 |        0 |        0
1669.13/1669.68	c 1669s |      26 | 10044692 |  9512852 |     1604  14680 |        0 |        0
1671.13/1671.69	c 1671s |      26 | 10055199 |  9522952 |     1604  14692 |        0 |        0
1673.23/1673.71	c 1673s |      26 | 10065847 |  9533352 |     1604  14705 |        0 |        0
1675.23/1675.72	c 1675s |      26 | 10076430 |  9543652 |     1604  14717 |        0 |        0
1677.23/1677.73	c 1677s |      26 | 10087026 |  9553952 |     1604  14729 |        0 |        0
1679.23/1679.76	c 1679s |      26 | 10097733 |  9564252 |     1604  14742 |        0 |        0
1681.23/1681.77	c 1681s |      26 | 10108999 |  9574652 |     1604  14754 |        0 |        0
1683.23/1683.77	c 1683s |      26 | 10120224 |  9585052 |     1604  14767 |        0 |        0
1685.23/1685.78	c 1685s |      26 | 10130902 |  9595052 |     1604  14779 |        0 |        0
1687.24/1687.78	c 1687s |      26 | 10141542 |  9605152 |     1604  14791 |        0 |        0
1689.24/1689.78	c 1689s |      26 | 10152229 |  9615252 |     1604  14803 |        0 |        0
1691.23/1691.79	c 1691s |      26 | 10162786 |  9625352 |     1604  14815 |        0 |        0
1693.33/1693.81	c 1693s |      26 | 10174049 |  9635652 |     1604  14828 |        0 |        0
1695.33/1695.82	c 1695s |      26 | 10185011 |  9645552 |     1604  14839 |        0 |        0
1697.33/1697.83	c 1697s |      26 | 10195760 |  9655452 |     1604  14851 |        0 |        0
1699.33/1699.83	c 1699s |      26 | 10206028 |  9665252 |     1604  14863 |        0 |        0
1701.34/1701.84	c 1701s |      26 | 10216932 |  9675752 |     1604  14876 |        0 |        0
1703.33/1703.85	c 1703s |      26 | 10227648 |  9686152 |     1604  14888 |        0 |        0
1705.33/1705.87	c 1705s |      26 | 10238676 |  9696652 |     1604  14901 |        0 |        0
1707.33/1707.87	c 1707s |      26 | 10249416 |  9706852 |     1604  14913 |        0 |        0
1709.33/1709.88	c 1709s |      26 | 10260262 |  9717252 |     1604  14926 |        0 |        0
1711.33/1711.89	c 1711s |      26 | 10271106 |  9727652 |     1604  14938 |        0 |        0
1713.34/1713.89	c 1713s |      26 | 10281842 |  9737852 |     1604  14951 |        0 |        0
1715.33/1715.89	c 1715s |      26 | 10292661 |  9748352 |     1604  14963 |        0 |        0
1717.33/1717.89	c 1717s |      26 | 10303481 |  9758752 |     1604  14976 |        0 |        0
1719.43/1719.90	c 1719s |      26 | 10314209 |  9769052 |     1604  14988 |        0 |        0
1721.43/1721.90	c 1721s |      26 | 10324740 |  9779152 |     1604  15000 |        0 |        0
1723.43/1723.91	c 1723s |      26 | 10335521 |  9789452 |     1604  15013 |        0 |        0
1725.43/1725.92	c 1725s |      26 | 10346345 |  9799852 |     1604  15025 |        0 |        0
1727.43/1727.93	c 1727s |      26 | 10357004 |  9810052 |     1604  15038 |        0 |        0
1729.43/1729.94	c 1729s |      26 | 10367895 |  9820452 |     1604  15050 |        0 |        0
1731.42/1731.95	c 1731s |      26 | 10378461 |  9830652 |     1604  15062 |        0 |        0
1733.42/1733.95	c 1733s |      26 | 10389288 |  9840852 |     1604  15075 |        0 |        0
1735.43/1735.95	c 1735s |      26 | 10399963 |  9851052 |     1604  15087 |        0 |        0
1737.42/1737.96	c 1737s |      26 | 10410635 |  9861152 |     1604  15099 |        0 |        0
1739.42/1739.99	c 1739s |      26 | 10421650 |  9871552 |     1604  15112 |        0 |        0
1741.42/1741.99	c 1741s |      26 | 10432302 |  9881752 |     1604  15124 |        0 |        0
1743.52/1744.01	c 1743s |      26 | 10443465 |  9892052 |     1604  15136 |        0 |        0
1745.52/1746.02	c 1746s |      26 | 10454546 |  9902252 |     1604  15149 |        0 |        0
1747.53/1748.03	c 1748s |      26 | 10465456 |  9912452 |     1604  15161 |        0 |        0
1749.52/1750.04	c 1750s |      26 | 10476066 |  9922352 |     1604  15173 |        0 |        0
1751.52/1752.06	c 1752s |      26 | 10486689 |  9932452 |     1604  15185 |        0 |        0
1753.52/1754.07	c 1754s |      26 | 10497573 |  9942552 |     1604  15197 |        0 |        0
1755.52/1756.08	c 1756s |      26 | 10508119 |  9952652 |     1604  15210 |        0 |        0
1757.52/1758.08	c 1758s |      26 | 10519162 |  9963252 |     1604  15222 |        0 |        0
1759.52/1760.09	c 1760s |      26 | 10530043 |  9973652 |     1604  15235 |        0 |        0
1761.52/1762.09	c 1762s |      26 | 10541086 |  9984052 |     1604  15247 |        0 |        0
1763.62/1764.10	c 1764s |      26 | 10552164 |  9994452 |     1604  15260 |        0 |        0
1765.62/1766.11	c 1766s |      26 | 10563017 | 10004652 |     1604  15272 |        0 |        0
1767.62/1768.11	c 1768s |      26 | 10574049 | 10014952 |     1604  15284 |        0 |        0
1769.62/1770.14	c 1770s |      26 | 10584914 | 10025152 |     1604  15297 |        0 |        0
1771.63/1772.16	c 1772s |      26 | 10595885 | 10035652 |     1604  15309 |        0 |        0
1773.62/1774.17	c 1774s |      26 | 10606994 | 10045852 |     1604  15321 |        0 |        0
1775.62/1776.18	c 1776s |      26 | 10617603 | 10055852 |     1604  15333 |        0 |        0
1777.62/1778.18	c 1778s |      26 | 10628580 | 10066252 |     1604  15346 |        0 |        0
1779.72/1780.20	c 1780s |      26 | 10639494 | 10076652 |     1604  15358 |        0 |        0
1781.72/1782.20	c 1782s |      26 | 10650028 | 10086652 |     1604  15370 |        0 |        0
1783.72/1784.22	c 1784s |      26 | 10660522 | 10096652 |     1604  15382 |        0 |        0
1785.72/1786.23	c 1786s |      26 | 10671539 | 10107152 |     1604  15395 |        0 |        0
1787.72/1788.24	c 1788s |      26 | 10682490 | 10117552 |     1604  15407 |        0 |        0
1789.72/1790.25	c 1790s |      26 | 10693137 | 10127752 |     1604  15420 |        0 |        0
1791.71/1792.27	c 1792s |      26 | 10703603 | 10137752 |     1604  15432 |        0 |        0
1793.72/1794.28	c 1794s |      26 | 10714077 | 10147752 |     1604  15444 |        0 |        0
1795.71/1796.29	c 1796s |      26 | 10724678 | 10157952 |     1604  15456 |        0 |        0
1797.71/1798.29	c 1798s |      26 | 10735114 | 10167752 |     1604  15468 |        0 |        0
1799.81/1800.30	c 1800s |      26 | 10745245 | 10177452 |     1604  15479 |        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-4089680-1466031186/watcher-4089680-1466031186 -o /tmp/evaluation-result-4089680-1466031186/solver-4089680-1466031186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089680-1466031186.opb 

pid=8304
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.06 2.06 2.00 3/179 8307
/proc/meminfo: memFree=30410968/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 2730 0 0 0 0 0 0 0 20 0 4 0 5168731 749137920 2579 33554432000 4194304 16246674 140736391305856 140736391305280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 183407 2587 441 2943 0 180301 0
[pid=8307/tid=8308] ppid=8304 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 765915136 2645 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 770109440 2662 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5168731 775352320 2679 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 8307
/proc/meminfo: memFree=30410968/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 29854 0 0 0 5 4 0 0 20 0 4 0 5168731 1247350784 29692 33554432000 4194304 16246674 140736391305856 140736391305280 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 304529 29701 711 2943 0 301423 0
[pid=8307/tid=8308] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 29706 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 29716 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 29727 33554432000 4194304 16246674 140736391305856 140416400739504 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.200522 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 8307
/proc/meminfo: memFree=30410968/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 58845 0 0 0 11 8 0 0 20 0 4 0 5168731 1247350784 58683 33554432000 4194304 16246674 140736391305856 140736391305280 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 304529 58697 711 2943 0 301423 0
[pid=8307/tid=8308] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 58702 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 58707 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 58716 33554432000 4194304 16246674 140736391305856 140416400739504 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.300489 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 8307
/proc/meminfo: memFree=30410968/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 87914 0 0 0 17 12 0 0 20 0 4 0 5168731 1247350784 87753 33554432000 4194304 16246674 140736391305856 140736391305280 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 304529 87769 711 2943 0 301423 0
[pid=8307/tid=8308] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 87777 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 87783 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 87792 33554432000 4194304 16246674 140736391305856 140416400739504 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.700402 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 8307
/proc/meminfo: memFree=30410968/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 206767 0 0 0 42 27 0 0 20 0 4 0 5168731 1247350784 206605 33554432000 4194304 16246674 140736391305856 140736391287744 6010073 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 304529 206617 712 2943 0 301423 0
[pid=8307/tid=8308] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 206625 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 206636 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5168731 1247350784 206647 33554432000 4194304 16246674 140736391305856 140416400739504 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.50041 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 8311
/proc/meminfo: memFree=29430080/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267249 0 0 0 114 35 0 0 20 0 4 0 5168731 1336479744 267067 33554432000 4194304 16246674 140736391305856 140736391288856 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326289 267067 789 2943 0 323183 0
[pid=8307/tid=8308] ppid=8304 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1336479744 267067 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1336479744 267067 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1336479744 267067 33554432000 4194304 16246674 140736391305856 140416400739504 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) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 8311
/proc/meminfo: memFree=29342288/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267460 0 0 0 274 35 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140736391287744 6843688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326545 267278 789 2943 0 323439 0
[pid=8307/tid=8308] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 8311
/proc/meminfo: memFree=29341176/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267460 0 0 0 594 35 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140736391288848 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326545 267278 789 2943 0 323439 0
[pid=8307/tid=8308] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267278 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 8311
/proc/meminfo: memFree=29341444/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267534 0 0 0 1233 36 0 0 20 0 4 0 5168731 1337528320 267352 33554432000 4194304 16246674 140736391305856 140736391288856 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326545 267352 789 2943 0 323439 0
[pid=8307/tid=8308] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267352 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267352 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267352 33554432000 4194304 16246674 140736391305856 140416400739504 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 8311
/proc/meminfo: memFree=29341720/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267536 0 0 0 2513 36 0 0 20 0 4 0 5168731 1337528320 267354 33554432000 4194304 16246674 140736391305856 140736391288856 13191276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326545 267354 789 2943 0 323439 0
[pid=8307/tid=8308] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267354 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267354 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1337528320 267354 33554432000 4194304 16246674 140736391305856 140416400739504 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 8311
/proc/meminfo: memFree=29338644/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267828 0 0 0 5072 36 0 0 20 0 4 0 5168731 1338576896 267646 33554432000 4194304 16246674 140736391305856 140736391288856 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326801 267646 789 2943 0 323695 0
[pid=8307/tid=8308] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267646 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267646 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267646 33554432000 4194304 16246674 140736391305856 140416400739504 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) 1307204

[startup+102.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 8312
/proc/meminfo: memFree=29338324/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 267830 0 0 0 10191 37 0 0 20 0 4 0 5168731 1338576896 267648 33554432000 4194304 16246674 140736391305856 140736391287744 12478347 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 326801 267648 791 2943 0 323695 0
[pid=8307/tid=8308] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267648 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267648 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1338576896 267648 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 8367
/proc/meminfo: memFree=29321420/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1361.88 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 136128 60 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391287744 5722674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 8368
/proc/meminfo: memFree=29322332/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1421.88 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 142127 61 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391287744 5667741 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 8369
/proc/meminfo: memFree=29322576/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1481.86 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 148124 62 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391287744 5722559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 8370
/proc/meminfo: memFree=29322328/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1541.86 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 154124 62 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391288856 13195020 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 8420
/proc/meminfo: memFree=29332456/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1601.84 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 160121 63 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391287744 12483218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/184 8425
/proc/meminfo: memFree=29331984/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1314372 CPUtime=1661.83 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270063 0 0 0 166119 64 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140736391288856 13928624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328593 269698 793 2943 0 325487 0
[pid=8307/tid=8308] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1345916928 269698 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 8426
/proc/meminfo: memFree=29330880/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1315396 CPUtime=1721.83 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270253 0 0 0 172118 65 0 0 20 0 4 0 5168731 1346965504 269888 33554432000 4194304 16246674 140736391305856 140736391288856 5721414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328849 269888 793 2943 0 325743 0
[pid=8307/tid=8308] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269888 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269888 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269888 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 8427
/proc/meminfo: memFree=29329756/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1315396 CPUtime=1781.82 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270319 0 0 0 178116 66 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140736391288856 5677228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328849 269954 793 2943 0 325743 0
[pid=8307/tid=8308] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.09 2.01 3/183 8427
/proc/meminfo: memFree=29330128/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270319 0 0 0 179935 66 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140736391288856 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328849 269954 793 2943 0 325743 0
[pid=8307/tid=8308] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.09 2.01 3/183 8427
/proc/meminfo: memFree=29330128/32872528 swapFree=524788/557492
[pid=8307] ppid=8304 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7
/proc/8307/stat : 8307 (toysat) R 8304 8307 5756 0 -1 4202496 270319 0 0 0 179935 66 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140736391288856 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8307/statm: 328849 269954 793 2943 0 325743 0
[pid=8307/tid=8308] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8308/stat : 8308 (toysat) S 8304 8307 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416421702896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8307/tid=8309] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8309/stat : 8309 (toysat) S 8304 8307 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416411213040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8307/tid=8310] ppid=8304 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8307/task/8310/stat : 8310 (toysat) S 8304 8307 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5168731 1346965504 269954 33554432000 4194304 16246674 140736391305856 140416400739504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.36
CPU system time (s): 0.666898
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.666898
maximum resident set size= 1079816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270319
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= 452
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52531 second user time and 6.98694 second system time

The end

Begin job on node106 at 2016-06-16 00:53:06
IDJOB=4089680
IDBENCH=107441
IDSOLVER=2542
FILE ID=node106/4089680-1466031186
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x13-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089680-1466031186/watcher-4089680-1466031186 -o /tmp/evaluation-result-4089680-1466031186/solver-4089680-1466031186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089680-1466031186.opb

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

MD5SUM BENCH= ea3f868dbee18936d726e9038061d945
RANDOM SEED=1882908803

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30411240 kB
Buffers:           39280 kB
Cached:            77840 kB
SwapCached:         1480 kB
Active:          1145620 kB
Inactive:          47876 kB
Active(anon):    1077448 kB
Inactive(anon):     1188 kB
Active(file):      68172 kB
Inactive(file):    46688 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1714324 kB
Mapped:            10460 kB
Shmem:                 0 kB
Slab:             576628 kB
SReclaimable:      20772 kB
SUnreclaim:       555856 kB
KernelStack:        1520 kB
PageTables:         7716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1776696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 01:23:07