0.00/0.00	c 2016-06-16T19:52:20+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-4095938-1466099540.opb"]
0.00/0.01	c use --random-gen="3455352392 1404384983 4031122818 120400961 576240003 953947534 3778470231 773340551 2706891094 1973660758 2693639273 3242921750 3445012246 4048610346 3211426669 3015493747 2746942747 437910736 3306188047 2463537524 82722405 3062812004 3628298857 2053664233 2969912706 1092701731 1843311670 478668048 3387164767 2914892141 4196283033 2400328338 2661428765 517639645 1432147534 2463765780 836894140 3568719933 1692866884 1860001614 3385072758 2841596012 2082291240 3519807730 3431678319 1352337055 1041152575 3223957986 114708047 4187130513 1024950843 3196010897 1804608505 2021214375 1778300298 3443964594 2641609743 4038485683 3764234756 842774430 328163238 70793958 73555456 2438973654 709999733 3886784446 1458858822 1384465155 4129052067 3501941474 709647289 4112535864 131505323 688994364 3925842958 4212531586 3433705022 3248215227 2109935781 884141791 734678686 3634778607 2777588759 1346826529 1861190714 2271996738 3369649015 1723634938 1273670372 836692058 728928138 1563107830 19466766 2852941532 2867031526 789675207 301204246 1339995890 3513179908 1273408491 358960964 2754967619 2517439378 3023843285 829347998 1833253308 1759010714 2168061003 825700898 4189468001 2727735546 2454847113 334316645 3407595490 2567221153 1090070585 2341766950 969801531 460827464 2348784534 3881501698 3420747753 4007017191 2787880736 2002470509 326958470 624918703 3354096890 770780612 3452989275 50914115 4118755358 280114901 2331438707 857256542 278858260 758929587 667116011 233510293 1877408013 758100481 2901806526 648577094 3504439058 2107735962 817409123 1418837480 297948101 1374147278 2051321036 1623409016 1901461906 137612809 2418402921 3645838796 2517831516 3402550143 2384864037 190852200 1394193692 2954631807 1026656260 1069568678 2093685951 1886681259 2596268097 2856429888 1498651360 981781797 1864609602 3067639029 3473497600 1628035752 964235075 3562522745 1193249434 1628942382 1307248670 1897866050 625224320 1039528482 1153026951 1337290549 1286064710 552609872 202047029 1194041752 3818955971 1432363704 3189511165 2252986553 4122161826 2761139416 511129206 975755540 514492220 608596993 2712773796 2494768668 3985639385 2863963891 1230510752 4039285126 496553679 2335265660 3090216793 3425826616 2018226039 114041073 1986332127 1451025171 2521135108 3667065488 3750404863 2660285063 2749192496 3470668368 798103036 1725731057 2424130664 2805070558 1724912526 3772809722 1546853067 3488531396 1704767231 1460804173 3491386283 1839405190 3376301134 2400289532 2346982566 1877724088 1320951377 3093063377 1734868118 2652978450 3972442353 2991540111 3349834169 3030655797 1041807848 4004424588 3320756916 3515554911 91430909 3492388869 1154880011 2711356103 991139847 1713358562 731219046 3365587872 1751642330 178159797 1655903964 255 362436" option to reproduce the execution
0.00/0.01	c #vars 161
0.00/0.01	c #constraints 80
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 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      137 |      100 |       80      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      345 |      250 |       88      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      846 |      475 |       97      6 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1376 |      813 |      107     10 |        0 |        0
0.09/0.16	c  0.2s |       5 |     2278 |     1320 |      118     16 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3386 |     2081 |      143     24 |        0 |        0
0.39/0.42	c  0.4s |       7 |     5365 |     3223 |      158     36 |        0 |        0
0.58/0.67	c  0.7s |       8 |     7612 |     4936 |      174     53 |        0 |        0
0.89/0.98	c  1.0s |       9 |    11625 |     7506 |      192     77 |        0 |        0
1.29/1.33	c  1.3s |      10 |    16952 |    11361 |      212    110 |        0 |        0
1.79/1.86	c  1.8s |      11 |    25480 |    17144 |      234    154 |        0 |        0
2.59/2.64	c  2.6s |      12 |    38913 |    25819 |      258    219 |        0 |        0
3.79/3.80	c  3.8s |      13 |    58214 |    38832 |      284    306 |        0 |        0
5.50/5.50	c  5.5s |      14 |    86504 |    58352 |      313    427 |        0 |        0
7.49/7.51	c  7.5s |      14 |   120782 |    80452 |      313    553 |        0 |        0
8.09/8.15	c  8.1s |      15 |   131870 |    87632 |      345    593 |        0 |        0
10.09/10.15	c 10.1s |      15 |   169153 |   109832 |      345    706 |        0 |        0
12.09/12.11	c 12.1s |      16 |   204366 |   131552 |      380    819 |        0 |        0
14.09/14.12	c 14.1s |      16 |   231043 |   150352 |      380    908 |        0 |        0
16.08/16.12	c 16.1s |      16 |   251793 |   167552 |      380    991 |        0 |        0
18.08/18.13	c 18.1s |      16 |   277667 |   186152 |      380   1081 |        0 |        0
19.28/19.38	c 19.4s |      17 |   293771 |   197432 |      419   1134 |        0 |        0
21.28/21.39	c 21.4s |      17 |   322895 |   216732 |      419   1219 |        0 |        0
23.29/23.39	c 23.4s |      17 |   348250 |   235532 |      419   1302 |        0 |        0
25.30/25.40	c 25.4s |      17 |   370779 |   254132 |      419   1383 |        0 |        0
27.39/27.41	c 27.4s |      17 |   393483 |   272232 |      419   1461 |        0 |        0
29.39/29.42	c 29.4s |      17 |   414800 |   289732 |      419   1537 |        0 |        0
29.99/30.09	c 30.1s |      18 |   423326 |   296252 |      461   1565 |        0 |        0
32.09/32.10	c 32.1s |      18 |   450829 |   314152 |      461   1636 |        0 |        0
34.09/34.10	c 34.1s |      18 |   474756 |   331952 |      461   1708 |        0 |        0
36.08/36.10	c 36.1s |      18 |   502194 |   350852 |      461   1784 |        0 |        0
38.08/38.11	c 38.1s |      18 |   529170 |   369852 |      461   1860 |        0 |        0
40.08/40.12	c 40.1s |      18 |   559981 |   390052 |      461   1942 |        0 |        0
42.08/42.12	c 42.1s |      18 |   587058 |   408952 |      461   2018 |        0 |        0
44.09/44.12	c 44.1s |      18 |   611393 |   427252 |      461   2092 |        0 |        0
45.88/45.98	c 46.0s |      19 |   635618 |   444482 |      508   2161 |        0 |        0
47.88/47.99	c 48.0s |      19 |   656517 |   461382 |      508   2222 |        0 |        0
49.88/49.99	c 50.0s |      19 |   678160 |   478882 |      508   2286 |        0 |        0
51.98/52.00	c 52.0s |      19 |   700263 |   496182 |      508   2349 |        0 |        0
53.98/54.01	c 54.0s |      19 |   721459 |   513282 |      508   2411 |        0 |        0
55.98/56.01	c 56.0s |      19 |   746444 |   530882 |      508   2475 |        0 |        0
57.98/58.01	c 58.0s |      19 |   768959 |   548182 |      508   2538 |        0 |        0
59.98/60.02	c 60.0s |      19 |   793146 |   566782 |      508   2607 |        0 |        0
61.98/62.03	c 62.0s |      19 |   816879 |   584782 |      508   2674 |        0 |        0
63.98/64.03	c 64.0s |      19 |   839479 |   602182 |      508   2738 |        0 |        0
65.98/66.03	c 66.0s |      19 |   861985 |   619182 |      508   2800 |        0 |        0
67.98/68.03	c 68.0s |      19 |   883152 |   636082 |      508   2862 |        0 |        0
69.98/70.04	c 70.0s |      19 |   905431 |   653382 |      508   2925 |        0 |        0
71.68/71.74	c 71.7s |      20 |   921726 |   666827 |      559   2972 |        0 |        0
73.69/73.75	c 73.7s |      20 |   940415 |   682427 |      559   3024 |        0 |        0
75.68/75.75	c 75.7s |      20 |   958659 |   697427 |      559   3073 |        0 |        0
77.68/77.76	c 77.7s |      20 |   979124 |   713527 |      559   3127 |        0 |        0
79.68/79.77	c 79.8s |      20 |   999649 |   730227 |      559   3183 |        0 |        0
81.68/81.78	c 81.8s |      20 |  1019937 |   746827 |      559   3239 |        0 |        0
83.69/83.78	c 83.8s |      20 |  1041639 |   763927 |      559   3296 |        0 |        0
85.68/85.78	c 85.8s |      20 |  1062359 |   780527 |      559   3352 |        0 |        0
87.68/87.79	c 87.8s |      20 |  1083326 |   797427 |      559   3408 |        0 |        0
89.68/89.79	c 89.8s |      20 |  1103729 |   813927 |      559   3464 |        0 |        0
91.78/91.80	c 91.8s |      20 |  1127954 |   831827 |      559   3523 |        0 |        0
93.78/93.80	c 93.8s |      20 |  1148919 |   848927 |      559   3581 |        0 |        0
95.78/95.81	c 95.8s |      20 |  1171555 |   866227 |      559   3639 |        0 |        0
97.78/97.82	c 97.8s |      20 |  1192106 |   883027 |      559   3695 |        0 |        0
99.77/99.83	c 99.8s |      20 |  1210437 |   898827 |      559   3747 |        0 |        0
101.77/101.83	c  101s |      20 |  1228890 |   914727 |      559   3798 |        0 |        0
103.77/103.84	c  103s |      20 |  1251572 |   932027 |      559   3854 |        0 |        0
105.77/105.84	c  105s |      20 |  1270443 |   948127 |      559   3908 |        0 |        0
107.78/107.85	c  107s |      20 |  1289571 |   964427 |      559   3962 |        0 |        0
109.77/109.86	c  109s |      20 |  1308431 |   980527 |      559   4014 |        0 |        0
111.77/111.87	c  111s |      20 |  1326488 |   996127 |      615   4063 |        0 |        0
112.37/112.41	c  112s |      21 |  1331221 |  1000345 |      615   4076 |        0 |        0
114.38/114.42	c  114s |      21 |  1354790 |  1017745 |      615   4129 |        0 |        0
116.37/116.43	c  116s |      21 |  1381785 |  1035845 |      615   4184 |        0 |        0
118.37/118.43	c  118s |      21 |  1409474 |  1054245 |      615   4241 |        0 |        0
120.37/120.44	c  120s |      21 |  1435229 |  1071845 |      615   4295 |        0 |        0
122.37/122.45	c  122s |      21 |  1459200 |  1089245 |      615   4348 |        0 |        0
124.37/124.46	c  124s |      21 |  1479567 |  1106045 |      615   4399 |        0 |        0
126.37/126.46	c  126s |      21 |  1503107 |  1123745 |      615   4454 |        0 |        0
128.37/128.47	c  128s |      21 |  1525624 |  1140845 |      615   4507 |        0 |        0
130.37/130.48	c  130s |      21 |  1548708 |  1158445 |      615   4562 |        0 |        0
132.37/132.49	c  132s |      21 |  1569591 |  1175245 |      615   4614 |        0 |        0
134.47/134.50	c  134s |      21 |  1592296 |  1192745 |      615   4668 |        0 |        0
136.48/136.50	c  136s |      21 |  1613752 |  1209345 |      615   4720 |        0 |        0
138.47/138.50	c  138s |      21 |  1634063 |  1225645 |      615   4770 |        0 |        0
140.47/140.51	c  140s |      21 |  1654827 |  1242445 |      615   4821 |        0 |        0
142.47/142.52	c  142s |      21 |  1676635 |  1259545 |      615   4873 |        0 |        0
144.47/144.53	c  144s |      21 |  1695341 |  1275445 |      615   4923 |        0 |        0
146.47/146.53	c  146s |      21 |  1718267 |  1293145 |      615   4977 |        0 |        0
148.47/148.54	c  148s |      21 |  1744070 |  1311545 |      615   5034 |        0 |        0
150.46/150.54	c  150s |      21 |  1768063 |  1329445 |      615   5089 |        0 |        0
152.46/152.55	c  152s |      21 |  1795862 |  1347845 |      615   5146 |        0 |        0
154.46/154.56	c  154s |      21 |  1820133 |  1366145 |      615   5202 |        0 |        0
156.46/156.57	c  156s |      21 |  1846560 |  1384245 |      615   5258 |        0 |        0
158.47/158.58	c  158s |      21 |  1868973 |  1401145 |      615   5310 |        0 |        0
160.46/160.58	c  160s |      21 |  1889665 |  1417845 |      615   5361 |        0 |        0
162.47/162.59	c  162s |      21 |  1909745 |  1434045 |      615   5410 |        0 |        0
164.47/164.60	c  164s |      21 |  1932314 |  1451445 |      615   5464 |        0 |        0
166.57/166.60	c  166s |      21 |  1954451 |  1468645 |      615   5517 |        0 |        0
168.57/168.60	c  168s |      21 |  1979173 |  1486545 |      615   5572 |        0 |        0
170.17/170.27	c  170s |      22 |  1996822 |  1500622 |      677   5612 |        0 |        0
172.17/172.28	c  172s |      22 |  2020749 |  1518022 |      677   5661 |        0 |        0
174.17/174.29	c  174s |      22 |  2042178 |  1534822 |      677   5709 |        0 |        0
176.17/176.29	c  176s |      22 |  2062475 |  1551222 |      677   5755 |        0 |        0
178.17/178.29	c  178s |      22 |  2082755 |  1567822 |      677   5802 |        0 |        0
180.26/180.30	c  180s |      22 |  2102812 |  1584522 |      677   5848 |        0 |        0
182.26/182.30	c  182s |      22 |  2123264 |  1601322 |      677   5895 |        0 |        0
184.26/184.31	c  184s |      22 |  2141928 |  1616822 |      677   5938 |        0 |        0
186.26/186.31	c  186s |      22 |  2161077 |  1633022 |      677   5983 |        0 |        0
188.26/188.31	c  188s |      22 |  2182916 |  1649822 |      677   6030 |        0 |        0
190.26/190.32	c  190s |      22 |  2203322 |  1666622 |      677   6078 |        0 |        0
192.26/192.33	c  192s |      22 |  2222644 |  1682622 |      677   6123 |        0 |        0
194.26/194.33	c  194s |      22 |  2242866 |  1699222 |      677   6169 |        0 |        0
196.26/196.34	c  196s |      22 |  2263160 |  1715622 |      677   6216 |        0 |        0
198.26/198.35	c  198s |      22 |  2283648 |  1732122 |      677   6262 |        0 |        0
200.27/200.35	c  200s |      22 |  2305298 |  1749022 |      677   6310 |        0 |        0
202.26/202.36	c  202s |      22 |  2326334 |  1765522 |      677   6356 |        0 |        0
204.26/204.37	c  204s |      22 |  2348284 |  1782922 |      677   6405 |        0 |        0
206.26/206.37	c  206s |      22 |  2369738 |  1799922 |      677   6453 |        0 |        0
208.26/208.38	c  208s |      22 |  2392185 |  1817022 |      677   6501 |        0 |        0
210.26/210.39	c  210s |      22 |  2412918 |  1833422 |      677   6547 |        0 |        0
212.27/212.40	c  212s |      22 |  2434623 |  1850322 |      677   6595 |        0 |        0
214.36/214.40	c  214s |      22 |  2458260 |  1867422 |      677   6644 |        0 |        0
216.36/216.41	c  216s |      22 |  2482644 |  1885422 |      677   6694 |        0 |        0
218.36/218.42	c  218s |      22 |  2509171 |  1903722 |      677   6746 |        0 |        0
220.36/220.42	c  220s |      22 |  2533662 |  1921822 |      677   6797 |        0 |        0
222.36/222.42	c  222s |      22 |  2554286 |  1939022 |      677   6845 |        0 |        0
224.36/224.43	c  224s |      22 |  2576074 |  1957522 |      677   6897 |        0 |        0
226.35/226.43	c  226s |      22 |  2597923 |  1975322 |      677   6947 |        0 |        0
228.35/228.44	c  228s |      22 |  2618447 |  1992522 |      677   6996 |        0 |        0
230.35/230.44	c  230s |      22 |  2640963 |  2010222 |      677   7046 |        0 |        0
232.35/232.44	c  232s |      22 |  2662215 |  2027122 |      677   7094 |        0 |        0
234.36/234.44	c  234s |      22 |  2681705 |  2043222 |      677   7139 |        0 |        0
236.35/236.45	c  236s |      22 |  2706304 |  2061522 |      677   7191 |        0 |        0
238.35/238.46	c  238s |      22 |  2729154 |  2078422 |      677   7238 |        0 |        0
240.35/240.46	c  240s |      22 |  2749926 |  2095322 |      677   7286 |        0 |        0
242.35/242.47	c  242s |      22 |  2773388 |  2113422 |      677   7337 |        0 |        0
244.35/244.47	c  244s |      22 |  2795350 |  2131222 |      677   7388 |        0 |        0
246.36/246.47	c  246s |      22 |  2817918 |  2149222 |      677   7439 |        0 |        0
248.35/248.48	c  248s |      22 |  2840641 |  2167122 |      677   7489 |        0 |        0
250.35/250.49	c  250s |      22 |  2860898 |  2183622 |      677   7535 |        0 |        0
252.35/252.49	c  252s |      22 |  2880039 |  2199522 |      677   7579 |        0 |        0
254.45/254.51	c  254s |      22 |  2904081 |  2217522 |      677   7630 |        0 |        0
256.45/256.51	c  256s |      22 |  2928221 |  2235622 |      745   7680 |        0 |        0
258.25/258.33	c  258s |      23 |  2948429 |  2251038 |      745   7719 |        0 |        0
260.25/260.34	c  260s |      23 |  2969182 |  2267038 |      745   7760 |        0 |        0
262.25/262.34	c  262s |      23 |  2992001 |  2283938 |      745   7803 |        0 |        0
264.24/264.35	c  264s |      23 |  3014819 |  2300938 |      745   7847 |        0 |        0
266.26/266.36	c  266s |      23 |  3037114 |  2317638 |      745   7889 |        0 |        0
268.25/268.37	c  268s |      23 |  3058163 |  2333738 |      745   7930 |        0 |        0
270.25/270.37	c  270s |      23 |  3077851 |  2349138 |      745   7970 |        0 |        0
272.25/272.38	c  272s |      23 |  3097500 |  2364738 |      745   8009 |        0 |        0
274.25/274.38	c  274s |      23 |  3118947 |  2380938 |      745   8051 |        0 |        0
276.25/276.38	c  276s |      23 |  3139592 |  2397138 |      745   8093 |        0 |        0
278.26/278.39	c  278s |      23 |  3158848 |  2413038 |      745   8133 |        0 |        0
280.25/280.39	c  280s |      23 |  3178920 |  2428938 |      745   8174 |        0 |        0
282.25/282.39	c  282s |      23 |  3203666 |  2446138 |      745   8218 |        0 |        0
284.35/284.40	c  284s |      23 |  3223820 |  2462038 |      745   8259 |        0 |        0
286.34/286.41	c  286s |      23 |  3247575 |  2478938 |      745   8303 |        0 |        0
288.34/288.42	c  288s |      23 |  3267347 |  2494738 |      745   8343 |        0 |        0
290.35/290.42	c  290s |      23 |  3288889 |  2510738 |      745   8384 |        0 |        0
292.34/292.42	c  292s |      23 |  3309784 |  2527838 |      745   8428 |        0 |        0
294.34/294.43	c  294s |      23 |  3333275 |  2545738 |      745   8475 |        0 |        0
296.34/296.44	c  296s |      23 |  3355451 |  2562838 |      745   8519 |        0 |        0
298.35/298.44	c  298s |      23 |  3373782 |  2578338 |      745   8559 |        0 |        0
300.36/300.46	c  300s |      23 |  3391989 |  2594038 |      745   8599 |        0 |        0
302.35/302.47	c  302s |      23 |  3410888 |  2609738 |      745   8639 |        0 |        0
304.35/304.47	c  304s |      23 |  3430265 |  2625738 |      745   8680 |        0 |        0
306.35/306.48	c  306s |      23 |  3448096 |  2640838 |      745   8719 |        0 |        0
308.35/308.48	c  308s |      23 |  3467261 |  2656538 |      745   8759 |        0 |        0
310.35/310.48	c  310s |      23 |  3488791 |  2673038 |      745   8802 |        0 |        0
312.35/312.49	c  312s |      23 |  3508956 |  2689138 |      745   8843 |        0 |        0
314.45/314.50	c  314s |      23 |  3528268 |  2704938 |      745   8884 |        0 |        0
316.44/316.51	c  316s |      23 |  3549214 |  2721438 |      745   8926 |        0 |        0
318.44/318.52	c  318s |      23 |  3569028 |  2737438 |      745   8968 |        0 |        0
320.44/320.52	c  320s |      23 |  3588905 |  2753338 |      745   9009 |        0 |        0
322.44/322.52	c  322s |      23 |  3608900 |  2770238 |      745   9052 |        0 |        0
324.45/324.53	c  324s |      23 |  3630522 |  2787238 |      745   9095 |        0 |        0
326.44/326.55	c  326s |      23 |  3650041 |  2803138 |      745   9136 |        0 |        0
328.44/328.55	c  328s |      23 |  3668273 |  2818738 |      745   9177 |        0 |        0
330.44/330.57	c  330s |      23 |  3687141 |  2834638 |      745   9218 |        0 |        0
332.44/332.58	c  332s |      23 |  3704434 |  2849838 |      745   9257 |        0 |        0
334.45/334.59	c  334s |      23 |  3723660 |  2865738 |      745   9297 |        0 |        0
336.44/336.60	c  336s |      23 |  3746593 |  2882938 |      745   9341 |        0 |        0
338.54/338.60	c  338s |      23 |  3766031 |  2898938 |      745   9382 |        0 |        0
340.54/340.61	c  340s |      23 |  3787767 |  2915738 |      745   9425 |        0 |        0
342.53/342.61	c  342s |      23 |  3810359 |  2932838 |      745   9469 |        0 |        0
344.53/344.62	c  344s |      23 |  3832350 |  2949838 |      745   9512 |        0 |        0
346.54/346.63	c  346s |      23 |  3852820 |  2965838 |      745   9554 |        0 |        0
348.54/348.64	c  348s |      23 |  3871508 |  2980938 |      745   9592 |        0 |        0
350.54/350.64	c  350s |      23 |  3890282 |  2996238 |      745   9631 |        0 |        0
352.54/352.65	c  352s |      23 |  3910901 |  3012138 |      745   9672 |        0 |        0
354.54/354.66	c  354s |      23 |  3931443 |  3028338 |      745   9713 |        0 |        0
356.54/356.66	c  356s |      23 |  3948898 |  3043438 |      745   9752 |        0 |        0
358.54/358.67	c  358s |      23 |  3967968 |  3058538 |      745   9791 |        0 |        0
360.54/360.67	c  360s |      23 |  3989788 |  3074938 |      745   9833 |        0 |        0
362.53/362.69	c  362s |      23 |  4010216 |  3090838 |      745   9874 |        0 |        0
364.53/364.69	c  364s |      23 |  4031308 |  3106638 |      745   9914 |        0 |        0
366.63/366.70	c  366s |      23 |  4052281 |  3123038 |      745   9957 |        0 |        0
368.63/368.70	c  368s |      23 |  4072526 |  3139038 |      745   9999 |        0 |        0
370.64/370.70	c  370s |      23 |  4091725 |  3154438 |      745  10039 |        0 |        0
372.63/372.71	c  372s |      23 |  4112419 |  3170638 |      745  10081 |        0 |        0
374.63/374.72	c  374s |      23 |  4131941 |  3186638 |      745  10123 |        0 |        0
376.63/376.72	c  376s |      23 |  4151345 |  3202338 |      745  10164 |        0 |        0
378.63/378.73	c  378s |      23 |  4171713 |  3218738 |      745  10207 |        0 |        0
380.64/380.74	c  380s |      23 |  4191987 |  3235238 |      745  10251 |        0 |        0
382.63/382.74	c  382s |      23 |  4212019 |  3251238 |      745  10292 |        0 |        0
384.63/384.75	c  384s |      23 |  4232678 |  3267838 |      745  10334 |        0 |        0
386.64/386.76	c  386s |      23 |  4252892 |  3284638 |      745  10378 |        0 |        0
388.63/388.77	c  388s |      23 |  4271425 |  3300438 |      745  10418 |        0 |        0
390.63/390.77	c  390s |      23 |  4290949 |  3316538 |      745  10460 |        0 |        0
392.64/392.78	c  392s |      23 |  4308746 |  3331838 |      745  10499 |        0 |        0
394.63/394.78	c  394s |      23 |  4328835 |  3347938 |      745  10541 |        0 |        0
396.63/396.79	c  396s |      23 |  4350433 |  3364538 |      820  10580 |        0 |        0
398.03/398.19	c  398s |      24 |  4367335 |  3376662 |      820  10609 |        0 |        0
400.13/400.20	c  400s |      24 |  4394057 |  3394962 |      820  10652 |        0 |        0
402.13/402.20	c  402s |      24 |  4419539 |  3412862 |      820  10694 |        0 |        0
404.13/404.22	c  404s |      24 |  4445711 |  3430462 |      820  10735 |        0 |        0
406.13/406.22	c  406s |      24 |  4469851 |  3446962 |      820  10774 |        0 |        0
408.14/408.22	c  408s |      24 |  4494703 |  3464262 |      820  10815 |        0 |        0
410.13/410.22	c  410s |      24 |  4518382 |  3481462 |      820  10855 |        0 |        0
412.13/412.23	c  412s |      24 |  4543952 |  3498762 |      820  10896 |        0 |        0
414.13/414.24	c  414s |      24 |  4564280 |  3514662 |      820  10934 |        0 |        0
416.12/416.25	c  416s |      24 |  4587571 |  3531462 |      820  10973 |        0 |        0
418.12/418.25	c  418s |      24 |  4611934 |  3548362 |      820  11013 |        0 |        0
420.13/420.26	c  420s |      24 |  4638210 |  3566462 |      820  11056 |        0 |        0
422.12/422.26	c  422s |      24 |  4665011 |  3583962 |      820  11098 |        0 |        0
424.12/424.27	c  424s |      24 |  4685520 |  3599562 |      820  11134 |        0 |        0
426.12/426.27	c  426s |      24 |  4706368 |  3615162 |      820  11171 |        0 |        0
428.12/428.28	c  428s |      24 |  4730280 |  3631362 |      820  11209 |        0 |        0
430.13/430.29	c  430s |      24 |  4751811 |  3647062 |      820  11246 |        0 |        0
432.12/432.29	c  432s |      24 |  4775009 |  3663362 |      820  11285 |        0 |        0
434.13/434.29	c  434s |      24 |  4797193 |  3679662 |      820  11323 |        0 |        0
436.23/436.30	c  436s |      24 |  4822658 |  3696262 |      820  11362 |        0 |        0
438.23/438.31	c  438s |      24 |  4846509 |  3712962 |      820  11402 |        0 |        0
440.23/440.32	c  440s |      24 |  4866506 |  3728762 |      820  11439 |        0 |        0
442.23/442.32	c  442s |      24 |  4886619 |  3744262 |      820  11476 |        0 |        0
444.23/444.33	c  444s |      24 |  4910135 |  3760962 |      820  11515 |        0 |        0
446.23/446.34	c  446s |      24 |  4933062 |  3778162 |      820  11556 |        0 |        0
448.22/448.34	c  448s |      24 |  4954201 |  3794262 |      820  11594 |        0 |        0
450.22/450.35	c  450s |      24 |  4975101 |  3810562 |      820  11632 |        0 |        0
452.22/452.36	c  452s |      24 |  4997173 |  3827162 |      820  11671 |        0 |        0
454.23/454.37	c  454s |      24 |  5018839 |  3843262 |      820  11709 |        0 |        0
456.22/456.37	c  456s |      24 |  5039640 |  3858962 |      820  11746 |        0 |        0
458.22/458.38	c  458s |      24 |  5062425 |  3875262 |      820  11785 |        0 |        0
460.22/460.38	c  460s |      24 |  5082960 |  3890962 |      820  11822 |        0 |        0
462.22/462.39	c  462s |      24 |  5103505 |  3906562 |      820  11858 |        0 |        0
464.32/464.40	c  464s |      24 |  5124308 |  3922862 |      820  11897 |        0 |        0
466.32/466.41	c  466s |      24 |  5145594 |  3939262 |      820  11935 |        0 |        0
468.31/468.42	c  468s |      24 |  5165615 |  3955062 |      820  11973 |        0 |        0
470.31/470.42	c  470s |      24 |  5184711 |  3970362 |      820  12008 |        0 |        0
472.31/472.43	c  472s |      24 |  5202259 |  3984862 |      820  12042 |        0 |        0
474.31/474.44	c  474s |      24 |  5220684 |  4000062 |      820  12077 |        0 |        0
476.32/476.44	c  476s |      24 |  5241311 |  4015762 |      820  12114 |        0 |        0
478.31/478.45	c  478s |      24 |  5259761 |  4030762 |      820  12149 |        0 |        0
480.31/480.46	c  480s |      24 |  5280102 |  4046462 |      820  12186 |        0 |        0
482.31/482.46	c  482s |      24 |  5300249 |  4062262 |      820  12224 |        0 |        0
484.31/484.47	c  484s |      24 |  5319836 |  4077962 |      820  12260 |        0 |        0
486.31/486.47	c  486s |      24 |  5341400 |  4094662 |      820  12300 |        0 |        0
488.32/488.48	c  488s |      24 |  5362240 |  4110762 |      820  12338 |        0 |        0
490.31/490.48	c  490s |      24 |  5382883 |  4127062 |      820  12376 |        0 |        0
492.31/492.48	c  492s |      24 |  5402390 |  4142762 |      820  12413 |        0 |        0
494.31/494.48	c  494s |      24 |  5422019 |  4158462 |      820  12449 |        0 |        0
496.32/496.49	c  496s |      24 |  5441206 |  4174062 |      820  12486 |        0 |        0
498.32/498.49	c  498s |      24 |  5459320 |  4188962 |      820  12521 |        0 |        0
500.32/500.50	c  500s |      24 |  5480884 |  4205662 |      820  12560 |        0 |        0
502.41/502.50	c  502s |      24 |  5504122 |  4222262 |      820  12599 |        0 |        0
504.41/504.51	c  504s |      24 |  5525499 |  4238162 |      820  12636 |        0 |        0
506.41/506.52	c  506s |      24 |  5545018 |  4253062 |      820  12671 |        0 |        0
508.41/508.52	c  508s |      24 |  5567041 |  4269762 |      820  12710 |        0 |        0
510.42/510.53	c  510s |      24 |  5590370 |  4287062 |      820  12751 |        0 |        0
512.41/512.54	c  512s |      24 |  5612634 |  4303862 |      820  12790 |        0 |        0
514.41/514.54	c  514s |      24 |  5637991 |  4320762 |      820  12830 |        0 |        0
516.41/516.55	c  516s |      24 |  5659507 |  4336462 |      820  12867 |        0 |        0
518.41/518.55	c  518s |      24 |  5680600 |  4352562 |      820  12905 |        0 |        0
520.41/520.55	c  520s |      24 |  5700710 |  4367962 |      820  12941 |        0 |        0
522.42/522.56	c  522s |      24 |  5721265 |  4383062 |      820  12977 |        0 |        0
524.41/524.57	c  524s |      24 |  5745059 |  4399462 |      820  13016 |        0 |        0
526.41/526.58	c  526s |      24 |  5763995 |  4414162 |      820  13051 |        0 |        0
528.41/528.59	c  528s |      24 |  5782434 |  4428962 |      820  13086 |        0 |        0
530.51/530.60	c  530s |      24 |  5802758 |  4443862 |      820  13121 |        0 |        0
532.50/532.61	c  532s |      24 |  5822216 |  4458862 |      820  13157 |        0 |        0
534.52/534.62	c  534s |      24 |  5841801 |  4474262 |      820  13194 |        0 |        0
536.51/536.63	c  536s |      24 |  5858770 |  4488462 |      820  13227 |        0 |        0
538.51/538.64	c  538s |      24 |  5876646 |  4502862 |      820  13261 |        0 |        0
540.51/540.65	c  540s |      24 |  5894978 |  4517162 |      820  13295 |        0 |        0
542.51/542.65	c  542s |      24 |  5914658 |  4532662 |      820  13331 |        0 |        0
544.51/544.65	c  544s |      24 |  5934475 |  4548162 |      820  13367 |        0 |        0
546.51/546.66	c  546s |      24 |  5955256 |  4563862 |      820  13404 |        0 |        0
548.51/548.67	c  548s |      24 |  5975944 |  4579362 |      820  13440 |        0 |        0
550.51/550.69	c  550s |      24 |  5996420 |  4595162 |      820  13476 |        0 |        0
552.51/552.70	c  552s |      24 |  6015985 |  4610362 |      820  13512 |        0 |        0
554.60/554.70	c  554s |      24 |  6036455 |  4625762 |      820  13548 |        0 |        0
556.61/556.71	c  556s |      24 |  6059010 |  4641562 |      820  13585 |        0 |        0
558.60/558.72	c  558s |      24 |  6083973 |  4657762 |      820  13623 |        0 |        0
560.60/560.72	c  560s |      24 |  6107494 |  4674262 |      820  13661 |        0 |        0
562.60/562.72	c  562s |      24 |  6129783 |  4690262 |      820  13699 |        0 |        0
564.60/564.73	c  564s |      24 |  6151570 |  4706162 |      820  13736 |        0 |        0
566.60/566.74	c  566s |      24 |  6173838 |  4722662 |      820  13775 |        0 |        0
568.61/568.74	c  568s |      24 |  6194992 |  4738862 |      820  13813 |        0 |        0
570.60/570.75	c  570s |      24 |  6215612 |  4754562 |      820  13849 |        0 |        0
572.60/572.76	c  572s |      24 |  6234200 |  4769362 |      820  13884 |        0 |        0
574.60/574.76	c  574s |      24 |  6251763 |  4783862 |      820  13918 |        0 |        0
576.61/576.77	c  576s |      24 |  6270585 |  4798762 |      820  13953 |        0 |        0
578.61/578.78	c  578s |      24 |  6289389 |  4813562 |      820  13987 |        0 |        0
580.61/580.79	c  580s |      24 |  6309356 |  4829062 |      820  14023 |        0 |        0
582.70/582.80	c  582s |      24 |  6328328 |  4844162 |      820  14058 |        0 |        0
584.70/584.80	c  584s |      24 |  6349043 |  4859762 |      820  14095 |        0 |        0
586.70/586.80	c  586s |      24 |  6373875 |  4876462 |      820  14134 |        0 |        0
588.70/588.81	c  588s |      24 |  6400407 |  4894162 |      820  14175 |        0 |        0
590.71/590.82	c  590s |      24 |  6423630 |  4910462 |      820  14214 |        0 |        0
592.70/592.82	c  592s |      24 |  6445446 |  4926862 |      820  14252 |        0 |        0
594.70/594.83	c  594s |      24 |  6467232 |  4943062 |      820  14289 |        0 |        0
596.70/596.84	c  596s |      24 |  6487165 |  4958662 |      820  14325 |        0 |        0
598.70/598.84	c  598s |      24 |  6507875 |  4974162 |      820  14361 |        0 |        0
600.70/600.84	c  600s |      24 |  6530465 |  4990362 |      820  14399 |        0 |        0
602.70/602.84	c  602s |      24 |  6552424 |  5006762 |      820  14437 |        0 |        0
604.70/604.85	c  604s |      24 |  6572688 |  5022662 |      820  14474 |        0 |        0
606.70/606.86	c  606s |      24 |  6594408 |  5038662 |      903  14510 |        0 |        0
608.70/608.86	c  608s |      24 |  6612710 |  5053262 |      903  14540 |        0 |        0
610.20/610.36	c  610s |      25 |  6628650 |  5065098 |      903  14565 |        0 |        0
612.19/612.36	c  612s |      25 |  6645999 |  5079298 |      903  14595 |        0 |        0
614.19/614.36	c  614s |      25 |  6662542 |  5093198 |      903  14624 |        0 |        0
616.19/616.37	c  616s |      25 |  6680336 |  5107798 |      903  14655 |        0 |        0
618.21/618.38	c  618s |      25 |  6699586 |  5122898 |      903  14687 |        0 |        0
620.20/620.39	c  620s |      25 |  6716141 |  5136698 |      903  14716 |        0 |        0
622.30/622.40	c  622s |      25 |  6733482 |  5150998 |      903  14746 |        0 |        0
624.30/624.41	c  624s |      25 |  6751427 |  5165398 |      903  14777 |        0 |        0
626.30/626.41	c  626s |      25 |  6771324 |  5180298 |      903  14808 |        0 |        0
628.30/628.43	c  628s |      25 |  6790237 |  5194598 |      903  14838 |        0 |        0
630.31/630.44	c  630s |      25 |  6808855 |  5208898 |      903  14869 |        0 |        0
632.30/632.44	c  632s |      25 |  6824820 |  5221998 |      903  14896 |        0 |        0
634.30/634.45	c  634s |      25 |  6841965 |  5236098 |      903  14926 |        0 |        0
636.30/636.45	c  636s |      25 |  6861287 |  5250798 |      903  14957 |        0 |        0
638.30/638.47	c  638s |      25 |  6878192 |  5264598 |      903  14986 |        0 |        0
640.30/640.48	c  640s |      25 |  6896861 |  5279398 |      903  15017 |        0 |        0
642.30/642.48	c  642s |      25 |  6914301 |  5293498 |      903  15047 |        0 |        0
644.30/644.49	c  644s |      25 |  6932911 |  5308198 |      903  15078 |        0 |        0
646.29/646.49	c  646s |      25 |  6951747 |  5323098 |      903  15110 |        0 |        0
648.39/648.50	c  648s |      25 |  6970406 |  5338098 |      903  15141 |        0 |        0
650.39/650.50	c  650s |      25 |  6989737 |  5352698 |      903  15172 |        0 |        0
652.39/652.51	c  652s |      25 |  7009298 |  5367998 |      903  15204 |        0 |        0
654.40/654.52	c  654s |      25 |  7028497 |  5383198 |      903  15237 |        0 |        0
656.39/656.53	c  656s |      25 |  7047065 |  5397698 |      903  15267 |        0 |        0
658.39/658.53	c  658s |      25 |  7064250 |  5411498 |      903  15296 |        0 |        0
660.39/660.54	c  660s |      25 |  7081088 |  5425198 |      903  15325 |        0 |        0
662.39/662.54	c  662s |      25 |  7099416 |  5439798 |      903  15356 |        0 |        0
664.40/664.55	c  664s |      25 |  7115510 |  5453698 |      903  15385 |        0 |        0
666.39/666.56	c  666s |      25 |  7132499 |  5467898 |      903  15416 |        0 |        0
668.39/668.57	c  668s |      25 |  7150614 |  5483098 |      903  15448 |        0 |        0
670.39/670.58	c  670s |      25 |  7169244 |  5497798 |      903  15479 |        0 |        0
672.39/672.58	c  672s |      25 |  7186886 |  5512398 |      903  15510 |        0 |        0
674.39/674.59	c  674s |      25 |  7204981 |  5526898 |      903  15540 |        0 |        0
676.49/676.60	c  676s |      25 |  7222642 |  5541098 |      903  15571 |        0 |        0
678.48/678.61	c  678s |      25 |  7241468 |  5555798 |      903  15602 |        0 |        0
680.48/680.61	c  680s |      25 |  7258264 |  5569798 |      903  15632 |        0 |        0
682.48/682.61	c  682s |      25 |  7276726 |  5584698 |      903  15663 |        0 |        0
684.48/684.62	c  684s |      25 |  7297153 |  5600698 |      903  15697 |        0 |        0
686.49/686.62	c  686s |      25 |  7319058 |  5617498 |      903  15733 |        0 |        0
688.50/688.63	c  688s |      25 |  7342043 |  5634498 |      903  15769 |        0 |        0
690.49/690.63	c  690s |      25 |  7364440 |  5650898 |      903  15804 |        0 |        0
692.49/692.64	c  692s |      25 |  7382282 |  5665698 |      903  15835 |        0 |        0
694.49/694.65	c  694s |      25 |  7400636 |  5680498 |      903  15867 |        0 |        0
696.49/696.66	c  696s |      25 |  7418624 |  5695098 |      903  15897 |        0 |        0
698.49/698.66	c  698s |      25 |  7439102 |  5711098 |      903  15931 |        0 |        0
700.49/700.66	c  700s |      25 |  7458637 |  5726398 |      903  15964 |        0 |        0
702.49/702.67	c  702s |      25 |  7476119 |  5740698 |      903  15994 |        0 |        0
704.49/704.68	c  704s |      25 |  7494949 |  5755498 |      903  16026 |        0 |        0
706.48/706.68	c  706s |      25 |  7513877 |  5770698 |      903  16058 |        0 |        0
708.48/708.69	c  708s |      25 |  7531783 |  5785298 |      903  16088 |        0 |        0
710.49/710.70	c  710s |      25 |  7547828 |  5798798 |      903  16117 |        0 |        0
712.58/712.71	c  712s |      25 |  7564649 |  5812998 |      903  16147 |        0 |        0
714.58/714.71	c  714s |      25 |  7582594 |  5827598 |      903  16178 |        0 |        0
716.58/716.71	c  716s |      25 |  7601056 |  5842798 |      903  16210 |        0 |        0
718.58/718.72	c  718s |      25 |  7618397 |  5857298 |      903  16241 |        0 |        0
720.57/720.72	c  720s |      25 |  7634890 |  5871398 |      903  16271 |        0 |        0
722.58/722.73	c  722s |      25 |  7651581 |  5885298 |      903  16300 |        0 |        0
724.57/724.74	c  724s |      25 |  7672614 |  5900998 |      903  16334 |        0 |        0
726.57/726.74	c  726s |      25 |  7692651 |  5916598 |      903  16367 |        0 |        0
728.57/728.74	c  728s |      25 |  7713303 |  5932298 |      903  16400 |        0 |        0
730.57/730.74	c  730s |      25 |  7732561 |  5947298 |      903  16432 |        0 |        0
732.57/732.75	c  732s |      25 |  7750225 |  5961698 |      903  16462 |        0 |        0
734.56/734.76	c  734s |      25 |  7766132 |  5974998 |      903  16490 |        0 |        0
736.56/736.76	c  736s |      25 |  7783556 |  5989398 |      903  16521 |        0 |        0
738.56/738.77	c  738s |      25 |  7801487 |  6004398 |      903  16553 |        0 |        0
740.56/740.78	c  740s |      25 |  7817515 |  6018498 |      903  16583 |        0 |        0
742.56/742.79	c  742s |      25 |  7833128 |  6032098 |      903  16611 |        0 |        0
744.56/744.80	c  744s |      25 |  7849290 |  6045898 |      903  16641 |        0 |        0
746.66/746.81	c  746s |      25 |  7866664 |  6060398 |      903  16671 |        0 |        0
748.65/748.82	c  748s |      25 |  7883002 |  6074698 |      903  16702 |        0 |        0
750.65/750.83	c  750s |      25 |  7899712 |  6088698 |      903  16732 |        0 |        0
752.65/752.84	c  752s |      25 |  7915637 |  6102298 |      903  16761 |        0 |        0
754.65/754.84	c  754s |      25 |  7931802 |  6115998 |      903  16790 |        0 |        0
756.66/756.85	c  756s |      25 |  7947204 |  6129098 |      903  16817 |        0 |        0
758.65/758.86	c  758s |      25 |  7966900 |  6144398 |      903  16850 |        0 |        0
760.64/760.87	c  760s |      25 |  7983440 |  6158098 |      903  16879 |        0 |        0
762.64/762.88	c  762s |      25 |  7999844 |  6171898 |      903  16909 |        0 |        0
764.64/764.89	c  764s |      25 |  8016653 |  6185798 |      903  16938 |        0 |        0
766.65/766.89	c  766s |      25 |  8033248 |  6199698 |      903  16967 |        0 |        0
768.64/768.90	c  768s |      25 |  8049780 |  6213098 |      903  16996 |        0 |        0
770.74/770.91	c  770s |      25 |  8066849 |  6226598 |      903  17024 |        0 |        0
772.74/772.91	c  772s |      25 |  8083296 |  6239998 |      903  17053 |        0 |        0
774.74/774.92	c  774s |      25 |  8100466 |  6254498 |      903  17083 |        0 |        0
776.74/776.93	c  776s |      25 |  8120082 |  6269698 |      903  17116 |        0 |        0
778.75/778.93	c  778s |      25 |  8142307 |  6285198 |      903  17149 |        0 |        0
780.74/780.94	c  780s |      25 |  8164815 |  6301398 |      903  17183 |        0 |        0
782.74/782.95	c  782s |      25 |  8183153 |  6316098 |      903  17214 |        0 |        0
784.74/784.96	c  784s |      25 |  8201815 |  6330898 |      903  17246 |        0 |        0
786.74/786.96	c  786s |      25 |  8217192 |  6343798 |      903  17273 |        0 |        0
788.74/788.96	c  788s |      25 |  8232565 |  6356898 |      903  17301 |        0 |        0
790.74/790.97	c  790s |      25 |  8248953 |  6370198 |      903  17329 |        0 |        0
792.73/792.97	c  792s |      25 |  8265142 |  6383998 |      903  17358 |        0 |        0
794.73/794.98	c  794s |      25 |  8281084 |  6397398 |      903  17386 |        0 |        0
796.73/796.99	c  796s |      25 |  8297142 |  6410498 |      903  17413 |        0 |        0
798.83/799.00	c  798s |      25 |  8313147 |  6423498 |      903  17441 |        0 |        0
800.83/801.01	c  800s |      25 |  8329424 |  6436798 |      903  17468 |        0 |        0
802.83/803.02	c  803s |      25 |  8346679 |  6450798 |      903  17498 |        0 |        0
804.82/805.03	c  805s |      25 |  8362283 |  6464098 |      903  17526 |        0 |        0
806.82/807.03	c  807s |      25 |  8378940 |  6477498 |      903  17554 |        0 |        0
808.82/809.04	c  809s |      25 |  8394931 |  6490898 |      903  17582 |        0 |        0
810.82/811.05	c  811s |      25 |  8412736 |  6505198 |      903  17612 |        0 |        0
812.83/813.06	c  813s |      25 |  8431089 |  6519298 |      903  17642 |        0 |        0
814.82/815.07	c  815s |      25 |  8449532 |  6534098 |      903  17674 |        0 |        0
816.82/817.08	c  817s |      25 |  8468824 |  6548598 |      903  17704 |        0 |        0
818.82/819.09	c  819s |      25 |  8488844 |  6562898 |      903  17735 |        0 |        0
820.81/821.10	c  821s |      25 |  8508858 |  6577298 |      903  17765 |        0 |        0
822.91/823.10	c  823s |      25 |  8525976 |  6590998 |      903  17794 |        0 |        0
824.92/825.10	c  825s |      25 |  8542756 |  6605298 |      903  17824 |        0 |        0
826.91/827.11	c  827s |      25 |  8561134 |  6619998 |      903  17856 |        0 |        0
828.92/829.11	c  829s |      25 |  8579799 |  6634698 |      903  17887 |        0 |        0
830.91/831.12	c  831s |      25 |  8597256 |  6648898 |      903  17917 |        0 |        0
832.91/833.13	c  833s |      25 |  8616462 |  6663398 |      903  17948 |        0 |        0
834.91/835.14	c  835s |      25 |  8634838 |  6677798 |      903  17979 |        0 |        0
836.91/837.14	c  837s |      25 |  8654605 |  6693098 |      903  18011 |        0 |        0
838.91/839.15	c  839s |      25 |  8672004 |  6707798 |      903  18043 |        0 |        0
840.90/841.15	c  841s |      25 |  8690567 |  6723098 |      903  18075 |        0 |        0
842.90/843.15	c  843s |      25 |  8707718 |  6737498 |      903  18106 |        0 |        0
844.90/845.16	c  845s |      25 |  8723942 |  6751798 |      903  18137 |        0 |        0
846.91/847.17	c  847s |      25 |  8742149 |  6766698 |      903  18169 |        0 |        0
848.90/849.18	c  849s |      25 |  8760047 |  6781198 |      903  18200 |        0 |        0
850.90/851.19	c  851s |      25 |  8776467 |  6795198 |      903  18230 |        0 |        0
852.90/853.19	c  853s |      25 |  8794352 |  6809998 |      903  18261 |        0 |        0
854.99/855.20	c  855s |      25 |  8811083 |  6824498 |      903  18292 |        0 |        0
856.99/857.20	c  857s |      25 |  8831963 |  6840398 |      903  18326 |        0 |        0
859.00/859.20	c  859s |      25 |  8851859 |  6855898 |      903  18360 |        0 |        0
860.99/861.22	c  861s |      25 |  8872253 |  6871498 |      903  18393 |        0 |        0
862.99/863.23	c  863s |      25 |  8892990 |  6887698 |      903  18428 |        0 |        0
864.99/865.24	c  865s |      25 |  8913938 |  6903898 |      903  18463 |        0 |        0
866.99/867.24	c  867s |      25 |  8930412 |  6917398 |      903  18491 |        0 |        0
868.99/869.24	c  869s |      25 |  8947291 |  6931298 |      903  18521 |        0 |        0
870.99/871.25	c  871s |      25 |  8963954 |  6945198 |      903  18551 |        0 |        0
872.98/873.26	c  873s |      25 |  8981886 |  6959498 |      903  18581 |        0 |        0
874.98/875.27	c  875s |      25 |  9000113 |  6973798 |      903  18612 |        0 |        0
876.98/877.27	c  877s |      25 |  9017035 |  6987598 |      903  18642 |        0 |        0
878.98/879.27	c  879s |      25 |  9032947 |  7000898 |      903  18670 |        0 |        0
880.98/881.29	c  881s |      25 |  9050056 |  7015198 |      903  18701 |        0 |        0
882.97/883.29	c  883s |      25 |  9067217 |  7029198 |      903  18730 |        0 |        0
885.07/885.30	c  885s |      25 |  9084119 |  7042698 |      903  18759 |        0 |        0
887.07/887.30	c  887s |      25 |  9100644 |  7056298 |      903  18788 |        0 |        0
889.07/889.32	c  889s |      25 |  9116022 |  7069098 |      903  18816 |        0 |        0
891.07/891.33	c  891s |      25 |  9133006 |  7082798 |      903  18845 |        0 |        0
893.08/893.34	c  893s |      25 |  9150904 |  7096398 |      903  18874 |        0 |        0
895.07/895.34	c  895s |      25 |  9166770 |  7109498 |      903  18902 |        0 |        0
897.07/897.35	c  897s |      25 |  9184577 |  7123498 |      903  18932 |        0 |        0
899.07/899.36	c  899s |      25 |  9203529 |  7137898 |      903  18963 |        0 |        0
901.07/901.36	c  901s |      25 |  9220421 |  7151398 |      903  18992 |        0 |        0
903.07/903.37	c  903s |      25 |  9236777 |  7164898 |      903  19021 |        0 |        0
905.07/905.37	c  905s |      25 |  9253754 |  7179098 |      903  19051 |        0 |        0
907.07/907.37	c  907s |      25 |  9270350 |  7192898 |      903  19080 |        0 |        0
909.06/909.38	c  909s |      25 |  9286942 |  7206398 |      903  19109 |        0 |        0
911.06/911.38	c  911s |      25 |  9305561 |  7220598 |      903  19139 |        0 |        0
913.06/913.38	c  913s |      25 |  9323395 |  7234898 |      903  19170 |        0 |        0
915.07/915.39	c  915s |      25 |  9338529 |  7247898 |      903  19198 |        0 |        0
917.06/917.40	c  917s |      25 |  9355934 |  7261698 |      903  19227 |        0 |        0
919.16/919.40	c  919s |      25 |  9373922 |  7275798 |      903  19257 |        0 |        0
921.16/921.41	c  921s |      25 |  9391149 |  7289298 |      903  19286 |        0 |        0
923.16/923.43	c  923s |      25 |  9407747 |  7302598 |      903  19315 |        0 |        0
925.16/925.44	c  925s |      25 |  9424913 |  7316098 |      903  19343 |        0 |        0
927.16/927.45	c  927s |      25 |  9440718 |  7329198 |      903  19371 |        0 |        0
929.16/929.45	c  929s |      25 |  9455454 |  7341898 |      903  19398 |        0 |        0
931.15/931.45	c  931s |      25 |  9470335 |  7354698 |      903  19426 |        0 |        0
933.15/933.46	c  933s |      25 |  9486664 |  7368298 |      903  19455 |        0 |        0
935.15/935.47	c  935s |      25 |  9504527 |  7381698 |      903  19484 |        0 |        0
937.15/937.48	c  937s |      25 |  9520655 |  7394698 |      903  19511 |        0 |        0
939.16/939.49	c  939s |      25 |  9536022 |  7407398 |      903  19538 |        0 |        0
941.15/941.49	c  941s |      25 |  9551136 |  7420098 |      903  19565 |        0 |        0
943.25/943.51	c  943s |      25 |  9567457 |  7433698 |      903  19594 |        0 |        0
945.25/945.51	c  945s |      25 |  9585049 |  7447498 |      903  19624 |        0 |        0
947.25/947.53	c  947s |      25 |  9600433 |  7460298 |      903  19652 |        0 |        0
949.25/949.54	c  949s |      25 |  9619347 |  7475098 |      903  19683 |        0 |        0
951.25/951.55	c  951s |      25 |  9638159 |  7489998 |      903  19715 |        0 |        0
953.24/953.56	c  953s |      25 |  9656118 |  7504098 |      903  19745 |        0 |        0
955.24/955.57	c  955s |      25 |  9674567 |  7519098 |      903  19777 |        0 |        0
957.24/957.57	c  957s |      25 |  9691716 |  7533098 |      903  19807 |        0 |        0
959.24/959.59	c  959s |      25 |  9711723 |  7547898 |      994  19837 |        0 |        0
961.24/961.59	c  961s |      25 |  9731533 |  7562198 |      994  19865 |        0 |        0
963.34/963.61	c  963s |      25 |  9749668 |  7575998 |      994  19892 |        0 |        0
965.33/965.62	c  965s |      25 |  9765900 |  7589398 |      994  19918 |        0 |        0
966.53/966.82	c  966s |      26 |  9775807 |  7597752 |      994  19934 |        0 |        0
968.53/968.82	c  968s |      26 |  9792880 |  7612252 |      994  19963 |        0 |        0
970.53/970.83	c  970s |      26 |  9812548 |  7627552 |      994  19993 |        0 |        0
972.53/972.83	c  972s |      26 |  9829785 |  7641352 |      994  20019 |        0 |        0
974.53/974.84	c  974s |      26 |  9849069 |  7656652 |      994  20049 |        0 |        0
976.53/976.85	c  976s |      26 |  9868440 |  7671752 |      994  20078 |        0 |        0
978.53/978.86	c  978s |      26 |  9890479 |  7687852 |      994  20110 |        0 |        0
980.52/980.86	c  980s |      26 |  9912139 |  7704352 |      994  20142 |        0 |        0
982.53/982.87	c  982s |      26 |  9932645 |  7719852 |      994  20173 |        0 |        0
984.53/984.87	c  984s |      26 |  9952052 |  7735452 |      994  20203 |        0 |        0
986.53/986.87	c  986s |      26 |  9971264 |  7750552 |      994  20233 |        0 |        0
988.53/988.88	c  988s |      26 |  9988585 |  7764752 |      994  20260 |        0 |        0
990.52/990.89	c  990s |      26 | 10007033 |  7779652 |      994  20290 |        0 |        0
992.52/992.90	c  992s |      26 | 10024769 |  7793852 |      994  20317 |        0 |        0
994.62/994.90	c  994s |      26 | 10042140 |  7807952 |      994  20345 |        0 |        0
996.62/996.91	c  996s |      26 | 10058856 |  7821652 |      994  20372 |        0 |        0
998.62/998.93	c  998s |      26 | 10074652 |  7834952 |      994  20398 |        0 |        0
1000.61/1000.93	c 1000s |      26 | 10094511 |  7849752 |      994  20427 |        0 |        0
1002.61/1002.93	c 1002s |      26 | 10114516 |  7865252 |      994  20458 |        0 |        0
1004.61/1004.95	c 1004s |      26 | 10136394 |  7880952 |      994  20489 |        0 |        0
1006.61/1006.95	c 1006s |      26 | 10157371 |  7896352 |      994  20519 |        0 |        0
1008.61/1008.96	c 1008s |      26 | 10176996 |  7911852 |      994  20549 |        0 |        0
1010.61/1010.97	c 1010s |      26 | 10195315 |  7927052 |      994  20579 |        0 |        0
1012.61/1012.97	c 1012s |      26 | 10212784 |  7941452 |      994  20607 |        0 |        0
1014.61/1014.97	c 1014s |      26 | 10229891 |  7955652 |      994  20635 |        0 |        0
1016.61/1016.99	c 1016s |      26 | 10246980 |  7969952 |      994  20663 |        0 |        0
1018.61/1018.99	c 1018s |      26 | 10264095 |  7983952 |      994  20690 |        0 |        0
1020.61/1020.99	c 1020s |      26 | 10281713 |  7998252 |      994  20719 |        0 |        0
1022.61/1023.00	c 1022s |      26 | 10298856 |  8012552 |      994  20747 |        0 |        0
1024.70/1025.00	c 1024s |      26 | 10315659 |  8026652 |      994  20774 |        0 |        0
1026.70/1027.00	c 1026s |      26 | 10334341 |  8041252 |      994  20803 |        0 |        0
1028.70/1029.01	c 1028s |      26 | 10350999 |  8055152 |      994  20831 |        0 |        0
1030.70/1031.02	c 1031s |      26 | 10368886 |  8069652 |      994  20859 |        0 |        0
1032.70/1033.03	c 1033s |      26 | 10386345 |  8083952 |      994  20887 |        0 |        0
1034.69/1035.04	c 1035s |      26 | 10402628 |  8097252 |      994  20913 |        0 |        0
1036.69/1037.05	c 1037s |      26 | 10419952 |  8111152 |      994  20941 |        0 |        0
1038.69/1039.06	c 1039s |      26 | 10437249 |  8125352 |      994  20968 |        0 |        0
1040.69/1041.07	c 1041s |      26 | 10454570 |  8139652 |      994  20996 |        0 |        0
1042.69/1043.08	c 1043s |      26 | 10471677 |  8153552 |      994  21024 |        0 |        0
1044.69/1045.09	c 1045s |      26 | 10491192 |  8168552 |      994  21053 |        0 |        0
1046.79/1047.10	c 1047s |      26 | 10511608 |  8183352 |      994  21082 |        0 |        0
1048.78/1049.11	c 1049s |      26 | 10531300 |  8198452 |      994  21111 |        0 |        0
1050.78/1051.12	c 1051s |      26 | 10549382 |  8212452 |      994  21138 |        0 |        0
1052.78/1053.13	c 1053s |      26 | 10567721 |  8226452 |      994  21165 |        0 |        0
1054.79/1055.13	c 1055s |      26 | 10585091 |  8240352 |      994  21192 |        0 |        0
1056.79/1057.14	c 1057s |      26 | 10605787 |  8255352 |      994  21221 |        0 |        0
1058.79/1059.15	c 1059s |      26 | 10626360 |  8270452 |      994  21251 |        0 |        0
1060.78/1061.15	c 1061s |      26 | 10646026 |  8285452 |      994  21280 |        0 |        0
1062.78/1063.16	c 1063s |      26 | 10665359 |  8300352 |      994  21309 |        0 |        0
1064.78/1065.17	c 1065s |      26 | 10683304 |  8314552 |      994  21337 |        0 |        0
1066.79/1067.17	c 1067s |      26 | 10699738 |  8328152 |      994  21363 |        0 |        0
1068.78/1069.18	c 1069s |      26 | 10717626 |  8342752 |      994  21392 |        0 |        0
1070.77/1071.19	c 1071s |      26 | 10736390 |  8357052 |      994  21420 |        0 |        0
1072.87/1073.20	c 1073s |      26 | 10754867 |  8371152 |      994  21447 |        0 |        0
1074.87/1075.21	c 1075s |      26 | 10774986 |  8386152 |      994  21477 |        0 |        0
1076.87/1077.21	c 1077s |      26 | 10796573 |  8402152 |      994  21508 |        0 |        0
1078.88/1079.22	c 1079s |      26 | 10816642 |  8417452 |      994  21538 |        0 |        0
1080.86/1081.23	c 1081s |      26 | 10837237 |  8432952 |      994  21568 |        0 |        0
1082.86/1083.23	c 1083s |      26 | 10857026 |  8447852 |      994  21597 |        0 |        0
1084.86/1085.24	c 1085s |      26 | 10878928 |  8463152 |      994  21627 |        0 |        0
1086.86/1087.24	c 1087s |      26 | 10902858 |  8479952 |      994  21660 |        0 |        0
1088.86/1089.25	c 1089s |      26 | 10922866 |  8495152 |      994  21690 |        0 |        0
1090.86/1091.26	c 1091s |      26 | 10944015 |  8511052 |      994  21721 |        0 |        0
1092.86/1093.26	c 1093s |      26 | 10965195 |  8526952 |      994  21752 |        0 |        0
1094.86/1095.27	c 1095s |      26 | 10986976 |  8543452 |      994  21784 |        0 |        0
1096.86/1097.28	c 1097s |      26 | 11006211 |  8558552 |      994  21814 |        0 |        0
1098.86/1099.29	c 1099s |      26 | 11028063 |  8574652 |      994  21845 |        0 |        0
1100.95/1101.30	c 1101s |      26 | 11049761 |  8590452 |      994  21876 |        0 |        0
1102.85/1103.30	c 1103s |      26 | 11074465 |  8607052 |      994  21908 |        0 |        0
1104.95/1105.31	c 1105s |      26 | 11095198 |  8622452 |      994  21938 |        0 |        0
1106.95/1107.31	c 1107s |      26 | 11118000 |  8638652 |      994  21969 |        0 |        0
1108.95/1109.32	c 1109s |      26 | 11141616 |  8655052 |      994  22001 |        0 |        0
1110.94/1111.32	c 1111s |      26 | 11164165 |  8671452 |      994  22033 |        0 |        0
1112.95/1113.33	c 1113s |      26 | 11186571 |  8687652 |      994  22065 |        0 |        0
1114.94/1115.34	c 1115s |      26 | 11208044 |  8704052 |      994  22097 |        0 |        0
1116.94/1117.34	c 1117s |      26 | 11229985 |  8719952 |      994  22128 |        0 |        0
1118.94/1119.35	c 1119s |      26 | 11252243 |  8736152 |      994  22160 |        0 |        0
1120.93/1121.35	c 1121s |      26 | 11275574 |  8753052 |      994  22193 |        0 |        0
1122.93/1123.36	c 1123s |      26 | 11300430 |  8770352 |      994  22227 |        0 |        0
1124.95/1125.37	c 1125s |      26 | 11321005 |  8786052 |      994  22258 |        0 |        0
1126.94/1127.38	c 1127s |      26 | 11342245 |  8801752 |      994  22289 |        0 |        0
1128.94/1129.38	c 1129s |      26 | 11360065 |  8816152 |      994  22317 |        0 |        0
1130.93/1131.39	c 1131s |      26 | 11382343 |  8832352 |      994  22349 |        0 |        0
1133.03/1133.40	c 1133s |      26 | 11402805 |  8848252 |      994  22380 |        0 |        0
1135.03/1135.40	c 1135s |      26 | 11424558 |  8864752 |      994  22412 |        0 |        0
1137.04/1137.41	c 1137s |      26 | 11445850 |  8880852 |      994  22443 |        0 |        0
1139.03/1139.41	c 1139s |      26 | 11469993 |  8897852 |      994  22477 |        0 |        0
1141.02/1141.42	c 1141s |      26 | 11491736 |  8913952 |      994  22508 |        0 |        0
1143.02/1143.43	c 1143s |      26 | 11514566 |  8930452 |      994  22540 |        0 |        0
1145.02/1145.43	c 1145s |      26 | 11534558 |  8945652 |      994  22570 |        0 |        0
1147.03/1147.43	c 1147s |      26 | 11553708 |  8960552 |      994  22598 |        0 |        0
1149.02/1149.44	c 1149s |      26 | 11571750 |  8974852 |      994  22626 |        0 |        0
1151.01/1151.45	c 1151s |      26 | 11589902 |  8989052 |      994  22654 |        0 |        0
1153.01/1153.46	c 1153s |      26 | 11609666 |  9004152 |      994  22683 |        0 |        0
1155.01/1155.46	c 1155s |      26 | 11625836 |  9017752 |      994  22710 |        0 |        0
1157.01/1157.46	c 1157s |      26 | 11643326 |  9031552 |      994  22737 |        0 |        0
1159.02/1159.47	c 1159s |      26 | 11661126 |  9045752 |      994  22765 |        0 |        0
1161.01/1161.48	c 1161s |      26 | 11679078 |  9059652 |      994  22792 |        0 |        0
1163.01/1163.49	c 1163s |      26 | 11695405 |  9073052 |      994  22818 |        0 |        0
1165.01/1165.50	c 1165s |      26 | 11713349 |  9087052 |      994  22845 |        0 |        0
1167.11/1167.50	c 1167s |      26 | 11733664 |  9101952 |      994  22874 |        0 |        0
1169.11/1169.52	c 1169s |      26 | 11753319 |  9116652 |      994  22903 |        0 |        0
1171.11/1171.53	c 1171s |      26 | 11770626 |  9130752 |      994  22931 |        0 |        0
1173.10/1173.54	c 1173s |      26 | 11788398 |  9144952 |      994  22958 |        0 |        0
1175.10/1175.54	c 1175s |      26 | 11806357 |  9159152 |      994  22986 |        0 |        0
1177.10/1177.56	c 1177s |      26 | 11823835 |  9173252 |      994  23014 |        0 |        0
1179.10/1179.57	c 1179s |      26 | 11843357 |  9188552 |      994  23044 |        0 |        0
1181.10/1181.58	c 1181s |      26 | 11863893 |  9204352 |      994  23075 |        0 |        0
1183.10/1183.58	c 1183s |      26 | 11883013 |  9219352 |      994  23105 |        0 |        0
1185.10/1185.59	c 1185s |      26 | 11904755 |  9235352 |      994  23136 |        0 |        0
1187.10/1187.59	c 1187s |      26 | 11926787 |  9251652 |      994  23168 |        0 |        0
1189.20/1189.60	c 1189s |      26 | 11947386 |  9267552 |      994  23199 |        0 |        0
1191.20/1191.61	c 1191s |      26 | 11967301 |  9282552 |      994  23229 |        0 |        0
1193.20/1193.62	c 1193s |      26 | 11987288 |  9297252 |      994  23258 |        0 |        0
1195.20/1195.62	c 1195s |      26 | 12006781 |  9312252 |      994  23287 |        0 |        0
1197.20/1197.62	c 1197s |      26 | 12024982 |  9326652 |      994  23315 |        0 |        0
1199.20/1199.63	c 1199s |      26 | 12041583 |  9340552 |      994  23343 |        0 |        0
1201.19/1201.64	c 1201s |      26 | 12060121 |  9355052 |      994  23371 |        0 |        0
1203.19/1203.64	c 1203s |      26 | 12078640 |  9369752 |      994  23400 |        0 |        0
1205.20/1205.65	c 1205s |      26 | 12099022 |  9385352 |      994  23431 |        0 |        0
1207.19/1207.66	c 1207s |      26 | 12117010 |  9399852 |      994  23459 |        0 |        0
1209.19/1209.66	c 1209s |      26 | 12138369 |  9415652 |      994  23490 |        0 |        0
1211.19/1211.67	c 1211s |      26 | 12158513 |  9431152 |      994  23521 |        0 |        0
1213.18/1213.67	c 1213s |      26 | 12178548 |  9446552 |      994  23551 |        0 |        0
1215.19/1215.68	c 1215s |      26 | 12198818 |  9461852 |      994  23582 |        0 |        0
1217.18/1217.69	c 1217s |      26 | 12215561 |  9475652 |      994  23609 |        0 |        0
1219.28/1219.70	c 1219s |      26 | 12232092 |  9489352 |      994  23636 |        0 |        0
1221.28/1221.70	c 1221s |      26 | 12250478 |  9503952 |      994  23665 |        0 |        0
1223.28/1223.71	c 1223s |      26 | 12268351 |  9517952 |      994  23692 |        0 |        0
1225.28/1225.71	c 1225s |      26 | 12288200 |  9532952 |      994  23721 |        0 |        0
1227.28/1227.72	c 1227s |      26 | 12305563 |  9546852 |      994  23748 |        0 |        0
1229.28/1229.72	c 1229s |      26 | 12321605 |  9560452 |      994  23775 |        0 |        0
1231.27/1231.72	c 1231s |      26 | 12338997 |  9574352 |      994  23802 |        0 |        0
1233.27/1233.73	c 1233s |      26 | 12360988 |  9589752 |      994  23832 |        0 |        0
1235.27/1235.74	c 1235s |      26 | 12378658 |  9603652 |      994  23859 |        0 |        0
1237.27/1237.74	c 1237s |      26 | 12396487 |  9617952 |      994  23887 |        0 |        0
1239.28/1239.76	c 1239s |      26 | 12416288 |  9633052 |      994  23916 |        0 |        0
1241.27/1241.76	c 1241s |      26 | 12436619 |  9648352 |      994  23946 |        0 |        0
1243.26/1243.78	c 1243s |      26 | 12453092 |  9662152 |      994  23973 |        0 |        0
1245.26/1245.79	c 1245s |      26 | 12469005 |  9675452 |      994  23999 |        0 |        0
1247.36/1247.80	c 1247s |      26 | 12483783 |  9688352 |      994  24024 |        0 |        0
1249.37/1249.80	c 1249s |      26 | 12500144 |  9702052 |      994  24051 |        0 |        0
1251.37/1251.81	c 1251s |      26 | 12517549 |  9716152 |      994  24079 |        0 |        0
1253.37/1253.81	c 1253s |      26 | 12533803 |  9729352 |      994  24104 |        0 |        0
1255.37/1255.83	c 1255s |      26 | 12548516 |  9741852 |      994  24128 |        0 |        0
1257.37/1257.83	c 1257s |      26 | 12563462 |  9754352 |      994  24153 |        0 |        0
1259.36/1259.84	c 1259s |      26 | 12577558 |  9766452 |      994  24176 |        0 |        0
1261.37/1261.84	c 1261s |      26 | 12594920 |  9780452 |      994  24203 |        0 |        0
1263.36/1263.85	c 1263s |      26 | 12611170 |  9793952 |      994  24230 |        0 |        0
1265.36/1265.86	c 1265s |      26 | 12628036 |  9807852 |      994  24257 |        0 |        0
1267.36/1267.86	c 1267s |      26 | 12644120 |  9821752 |      994  24284 |        0 |        0
1269.35/1269.87	c 1269s |      26 | 12661372 |  9835952 |      994  24312 |        0 |        0
1271.35/1271.88	c 1271s |      26 | 12677995 |  9849752 |      994  24339 |        0 |        0
1273.36/1273.89	c 1273s |      26 | 12692889 |  9862352 |      994  24364 |        0 |        0
1275.45/1275.90	c 1275s |      26 | 12709043 |  9875952 |      994  24390 |        0 |        0
1277.45/1277.90	c 1277s |      26 | 12727205 |  9890452 |      994  24418 |        0 |        0
1279.45/1279.90	c 1279s |      26 | 12748186 |  9906152 |      994  24449 |        0 |        0
1281.45/1281.91	c 1281s |      26 | 12768658 |  9921952 |      994  24480 |        0 |        0
1283.45/1283.92	c 1283s |      26 | 12790341 |  9938252 |      994  24512 |        0 |        0
1285.45/1285.92	c 1285s |      26 | 12811390 |  9954152 |      994  24544 |        0 |        0
1287.45/1287.93	c 1287s |      26 | 12830562 |  9969152 |      994  24573 |        0 |        0
1289.44/1289.94	c 1289s |      26 | 12849715 |  9983652 |      994  24601 |        0 |        0
1291.44/1291.94	c 1291s |      26 | 12867662 |  9997452 |      994  24628 |        0 |        0
1293.44/1293.96	c 1293s |      26 | 12887731 | 10012452 |      994  24657 |        0 |        0
1295.46/1295.96	c 1295s |      26 | 12905738 | 10027252 |      994  24686 |        0 |        0
1297.45/1297.97	c 1297s |      26 | 12925303 | 10042852 |      994  24716 |        0 |        0
1299.44/1299.98	c 1299s |      26 | 12945199 | 10057952 |      994  24746 |        0 |        0
1301.44/1301.99	c 1301s |      26 | 12962505 | 10071952 |      994  24773 |        0 |        0
1303.54/1304.00	c 1303s |      26 | 12978100 | 10085452 |      994  24799 |        0 |        0
1305.54/1306.01	c 1305s |      26 | 12994520 | 10099152 |      994  24826 |        0 |        0
1307.55/1308.02	c 1308s |      26 | 13011956 | 10113452 |      994  24854 |        0 |        0
1309.54/1310.03	c 1310s |      26 | 13028909 | 10127152 |      994  24881 |        0 |        0
1311.54/1312.04	c 1312s |      26 | 13047312 | 10141252 |      994  24908 |        0 |        0
1313.54/1314.06	c 1314s |      26 | 13065768 | 10156052 |      994  24937 |        0 |        0
1315.54/1316.06	c 1316s |      26 | 13083332 | 10169852 |      994  24964 |        0 |        0
1317.53/1318.06	c 1318s |      26 | 13102825 | 10184552 |      994  24993 |        0 |        0
1319.54/1320.07	c 1320s |      26 | 13122614 | 10199952 |      994  25023 |        0 |        0
1321.53/1322.07	c 1322s |      26 | 13143492 | 10215352 |      994  25053 |        0 |        0
1323.53/1324.07	c 1324s |      26 | 13162219 | 10230452 |      994  25083 |        0 |        0
1325.53/1326.08	c 1326s |      26 | 13178808 | 10244452 |      994  25110 |        0 |        0
1327.53/1328.08	c 1328s |      26 | 13194882 | 10258352 |      994  25137 |        0 |        0
1329.53/1330.09	c 1330s |      26 | 13212117 | 10272452 |      994  25165 |        0 |        0
1331.53/1332.09	c 1332s |      26 | 13229702 | 10286452 |      994  25192 |        0 |        0
1333.63/1334.11	c 1334s |      26 | 13245995 | 10300052 |      994  25218 |        0 |        0
1335.63/1336.11	c 1336s |      26 | 13262401 | 10313752 |      994  25245 |        0 |        0
1337.62/1338.11	c 1338s |      26 | 13281126 | 10328652 |      994  25274 |        0 |        0
1339.62/1340.12	c 1340s |      26 | 13302931 | 10343852 |      994  25304 |        0 |        0
1341.63/1342.13	c 1342s |      26 | 13323950 | 10359652 |      994  25335 |        0 |        0
1343.62/1344.13	c 1344s |      26 | 13344212 | 10375352 |      994  25365 |        0 |        0
1345.62/1346.13	c 1346s |      26 | 13363606 | 10390352 |      994  25394 |        0 |        0
1347.62/1348.14	c 1348s |      26 | 13382662 | 10405052 |      994  25423 |        0 |        0
1349.61/1350.14	c 1350s |      26 | 13403460 | 10420452 |      994  25453 |        0 |        0
1351.61/1352.15	c 1352s |      26 | 13422955 | 10435152 |      994  25482 |        0 |        0
1353.62/1354.17	c 1354s |      26 | 13440670 | 10449252 |      994  25510 |        0 |        0
1355.61/1356.17	c 1356s |      26 | 13457031 | 10462752 |      994  25536 |        0 |        0
1357.62/1358.18	c 1358s |      26 | 13476465 | 10477852 |      994  25566 |        0 |        0
1359.62/1360.19	c 1360s |      26 | 13496558 | 10492952 |      994  25596 |        0 |        0
1361.72/1362.20	c 1362s |      26 | 13516622 | 10507552 |      994  25624 |        0 |        0
1363.72/1364.21	c 1364s |      26 | 13537181 | 10523052 |      994  25655 |        0 |        0
1365.72/1366.22	c 1366s |      26 | 13560244 | 10539852 |      994  25688 |        0 |        0
1367.72/1368.22	c 1368s |      26 | 13580516 | 10555652 |      994  25719 |        0 |        0
1369.71/1370.23	c 1370s |      26 | 13600223 | 10570952 |      994  25749 |        0 |        0
1371.71/1372.24	c 1372s |      26 | 13618741 | 10585652 |      994  25778 |        0 |        0
1373.71/1374.25	c 1374s |      26 | 13640118 | 10601552 |      994  25809 |        0 |        0
1375.72/1376.26	c 1376s |      26 | 13659802 | 10616652 |      994  25839 |        0 |        0
1377.71/1378.27	c 1378s |      26 | 13678912 | 10631452 |      994  25868 |        0 |        0
1379.71/1380.28	c 1380s |      26 | 13698319 | 10646652 |      994  25898 |        0 |        0
1381.71/1382.28	c 1382s |      26 | 13720527 | 10662352 |      994  25929 |        0 |        0
1383.71/1384.29	c 1384s |      26 | 13740247 | 10677452 |      994  25958 |        0 |        0
1385.81/1386.30	c 1386s |      26 | 13758679 | 10692052 |      994  25987 |        0 |        0
1387.72/1388.30	c 1388s |      26 | 13781534 | 10707852 |      994  26018 |        0 |        0
1389.81/1390.30	c 1390s |      26 | 13800006 | 10722452 |      994  26046 |        0 |        0
1391.81/1392.30	c 1392s |      26 | 13823111 | 10738952 |      994  26078 |        0 |        0
1393.81/1394.31	c 1394s |      26 | 13847994 | 10756052 |      994  26112 |        0 |        0
1395.81/1396.32	c 1396s |      26 | 13871765 | 10773052 |      994  26145 |        0 |        0
1397.81/1398.33	c 1398s |      26 | 13894383 | 10789152 |      994  26177 |        0 |        0
1399.81/1400.33	c 1400s |      26 | 13916020 | 10804852 |      994  26207 |        0 |        0
1401.80/1402.33	c 1402s |      26 | 13938885 | 10821752 |      994  26240 |        0 |        0
1403.80/1404.34	c 1404s |      26 | 13963498 | 10838752 |      994  26273 |        0 |        0
1405.80/1406.35	c 1406s |      26 | 13984611 | 10854952 |      994  26305 |        0 |        0
1407.81/1408.36	c 1408s |      26 | 14007040 | 10871252 |      994  26337 |        0 |        0
1409.82/1410.36	c 1410s |      26 | 14031942 | 10887552 |      994  26369 |        0 |        0
1411.81/1412.36	c 1412s |      26 | 14054536 | 10902952 |      994  26399 |        0 |        0
1413.81/1414.36	c 1414s |      26 | 14074029 | 10918252 |      994  26429 |        0 |        0
1415.81/1416.38	c 1416s |      26 | 14095320 | 10934152 |      994  26460 |        0 |        0
1417.81/1418.38	c 1418s |      26 | 14113422 | 10948652 |      994  26488 |        0 |        0
1419.81/1420.39	c 1420s |      26 | 14132657 | 10963752 |      994  26518 |        0 |        0
1421.81/1422.40	c 1422s |      26 | 14153636 | 10979352 |      994  26549 |        0 |        0
1423.91/1424.40	c 1424s |      26 | 14172257 | 10993952 |      994  26577 |        0 |        0
1425.91/1426.41	c 1426s |      26 | 14189989 | 11008452 |      994  26605 |        0 |        0
1427.91/1428.42	c 1428s |      26 | 14207542 | 11022652 |      994  26633 |        0 |        0
1429.90/1430.42	c 1430s |      26 | 14227105 | 11037452 |      994  26662 |        0 |        0
1431.90/1432.43	c 1432s |      26 | 14246326 | 11052552 |      994  26692 |        0 |        0
1433.91/1434.44	c 1434s |      26 | 14264491 | 11066852 |      994  26719 |        0 |        0
1435.90/1436.45	c 1436s |      26 | 14283728 | 11081652 |      994  26748 |        0 |        0
1437.90/1438.45	c 1438s |      26 | 14305539 | 11097452 |      994  26779 |        0 |        0
1439.90/1440.46	c 1440s |      26 | 14325584 | 11112852 |      994  26809 |        0 |        0
1441.90/1442.46	c 1442s |      26 | 14347330 | 11129052 |      994  26841 |        0 |        0
1443.91/1444.46	c 1444s |      26 | 14368353 | 11144452 |      994  26871 |        0 |        0
1445.90/1446.47	c 1446s |      26 | 14390126 | 11160652 |      994  26903 |        0 |        0
1447.90/1448.47	c 1448s |      26 | 14413277 | 11177352 |      994  26935 |        0 |        0
1449.90/1450.48	c 1450s |      26 | 14436601 | 11194152 |      994  26968 |        0 |        0
1451.90/1452.49	c 1452s |      26 | 14457411 | 11209752 |      994  26999 |        0 |        0
1453.90/1454.49	c 1454s |      26 | 14477650 | 11225352 |      994  27029 |        0 |        0
1455.90/1456.50	c 1456s |      26 | 14497973 | 11240752 |      994  27059 |        0 |        0
1457.99/1458.51	c 1458s |      26 | 14516840 | 11255152 |      994  27088 |        0 |        0
1460.00/1460.52	c 1460s |      26 | 14535501 | 11269352 |      994  27115 |        0 |        0
1462.00/1462.52	c 1462s |      26 | 14555667 | 11284552 |      994  27145 |        0 |        0
1464.00/1464.53	c 1464s |      26 | 14577297 | 11299652 |      994  27174 |        0 |        0
1466.00/1466.55	c 1466s |      26 | 14596809 | 11313752 |      994  27202 |        0 |        0
1468.01/1468.56	c 1468s |      26 | 14613848 | 11326952 |     1094  27225 |        0 |        0
1470.00/1470.56	c 1470s |      26 | 14633123 | 11341052 |     1094  27250 |        0 |        0
1472.00/1472.56	c 1472s |      26 | 14652008 | 11355252 |     1094  27275 |        0 |        0
1474.00/1474.56	c 1474s |      26 | 14670626 | 11369552 |     1094  27301 |        0 |        0
1476.00/1476.57	c 1476s |      26 | 14690482 | 11384452 |     1094  27327 |        0 |        0
1477.80/1478.31	c 1478s |      27 | 14706480 | 11396733 |     1094  27349 |        0 |        0
1479.80/1480.32	c 1480s |      27 | 14728821 | 11412033 |     1094  27376 |        0 |        0
1481.80/1482.33	c 1482s |      27 | 14748151 | 11426633 |     1094  27402 |        0 |        0
1483.80/1484.33	c 1484s |      27 | 14767198 | 11440933 |     1094  27427 |        0 |        0
1485.80/1486.34	c 1486s |      27 | 14789140 | 11456633 |     1094  27455 |        0 |        0
1487.80/1488.34	c 1488s |      27 | 14809469 | 11471833 |     1094  27482 |        0 |        0
1489.79/1490.35	c 1490s |      27 | 14829168 | 11487033 |     1094  27509 |        0 |        0
1491.79/1492.36	c 1492s |      27 | 14848997 | 11501933 |     1094  27536 |        0 |        0
1493.79/1494.37	c 1494s |      27 | 14868224 | 11516933 |     1094  27563 |        0 |        0
1495.79/1496.38	c 1496s |      27 | 14889642 | 11532433 |     1094  27590 |        0 |        0
1497.80/1498.38	c 1498s |      27 | 14910102 | 11547333 |     1094  27617 |        0 |        0
1499.79/1500.38	c 1500s |      27 | 14930698 | 11562233 |     1094  27643 |        0 |        0
1501.79/1502.39	c 1502s |      27 | 14948575 | 11576333 |     1094  27669 |        0 |        0
1503.89/1504.40	c 1504s |      27 | 14970473 | 11591933 |     1094  27696 |        0 |        0
1505.89/1506.40	c 1506s |      27 | 14987693 | 11605633 |     1094  27720 |        0 |        0
1507.89/1508.41	c 1508s |      27 | 15006180 | 11620133 |     1094  27746 |        0 |        0
1509.90/1510.42	c 1510s |      27 | 15024754 | 11634333 |     1094  27772 |        0 |        0
1511.89/1512.42	c 1512s |      27 | 15045066 | 11649933 |     1094  27799 |        0 |        0
1513.89/1514.44	c 1514s |      27 | 15065835 | 11665933 |     1094  27828 |        0 |        0
1515.89/1516.44	c 1516s |      27 | 15088891 | 11682333 |     1094  27857 |        0 |        0
1517.89/1518.45	c 1518s |      27 | 15108373 | 11697633 |     1094  27884 |        0 |        0
1519.89/1520.46	c 1520s |      27 | 15128951 | 11712933 |     1094  27912 |        0 |        0
1521.90/1522.47	c 1522s |      27 | 15151144 | 11728933 |     1094  27941 |        0 |        0
1523.89/1524.48	c 1524s |      27 | 15170329 | 11743733 |     1094  27967 |        0 |        0
1525.89/1526.49	c 1526s |      27 | 15190223 | 11759333 |     1094  27995 |        0 |        0
1527.89/1528.49	c 1528s |      27 | 15210561 | 11774733 |     1094  28022 |        0 |        0
1529.99/1530.50	c 1530s |      27 | 15230630 | 11790333 |     1094  28050 |        0 |        0
1531.99/1532.51	c 1532s |      27 | 15248567 | 11804833 |     1094  28076 |        0 |        0
1534.00/1534.52	c 1534s |      27 | 15268148 | 11819933 |     1094  28103 |        0 |        0
1535.99/1536.53	c 1536s |      27 | 15287043 | 11834833 |     1094  28129 |        0 |        0
1537.99/1538.54	c 1538s |      27 | 15307331 | 11850333 |     1094  28157 |        0 |        0
1539.99/1540.55	c 1540s |      27 | 15326816 | 11865533 |     1094  28185 |        0 |        0
1541.99/1542.55	c 1542s |      27 | 15348177 | 11881633 |     1094  28214 |        0 |        0
1544.00/1544.56	c 1544s |      27 | 15369537 | 11897933 |     1094  28243 |        0 |        0
1545.99/1546.57	c 1546s |      27 | 15390550 | 11914033 |     1094  28272 |        0 |        0
1547.99/1548.57	c 1548s |      27 | 15412160 | 11930633 |     1094  28301 |        0 |        0
1549.99/1550.57	c 1550s |      27 | 15432978 | 11946533 |     1094  28329 |        0 |        0
1551.99/1552.57	c 1552s |      27 | 15450967 | 11961033 |     1094  28355 |        0 |        0
1553.99/1554.58	c 1554s |      27 | 15473339 | 11977233 |     1094  28383 |        0 |        0
1555.99/1556.58	c 1556s |      27 | 15496486 | 11994133 |     1094  28413 |        0 |        0
1557.99/1558.59	c 1558s |      27 | 15518384 | 12010433 |     1094  28443 |        0 |        0
1560.08/1560.60	c 1560s |      27 | 15539228 | 12026333 |     1094  28471 |        0 |        0
1562.08/1562.60	c 1562s |      27 | 15559967 | 12041933 |     1094  28499 |        0 |        0
1564.08/1564.62	c 1564s |      27 | 15581876 | 12058433 |     1094  28528 |        0 |        0
1566.08/1566.62	c 1566s |      27 | 15602271 | 12073833 |     1094  28556 |        0 |        0
1568.09/1568.63	c 1568s |      27 | 15623640 | 12089733 |     1094  28584 |        0 |        0
1570.08/1570.63	c 1570s |      27 | 15643408 | 12105333 |     1094  28612 |        0 |        0
1572.08/1572.64	c 1572s |      27 | 15663384 | 12120433 |     1094  28638 |        0 |        0
1574.08/1574.65	c 1574s |      27 | 15683706 | 12135833 |     1094  28666 |        0 |        0
1576.08/1576.65	c 1576s |      27 | 15704029 | 12151533 |     1094  28694 |        0 |        0
1578.09/1578.65	c 1578s |      27 | 15721392 | 12165933 |     1094  28719 |        0 |        0
1580.08/1580.66	c 1580s |      27 | 15740544 | 12181233 |     1094  28747 |        0 |        0
1582.08/1582.67	c 1582s |      27 | 15758332 | 12195833 |     1094  28772 |        0 |        0
1584.08/1584.68	c 1584s |      27 | 15777343 | 12210933 |     1094  28799 |        0 |        0
1586.08/1586.69	c 1586s |      27 | 15795883 | 12225933 |     1094  28826 |        0 |        0
1588.07/1588.69	c 1588s |      27 | 15815195 | 12241033 |     1094  28853 |        0 |        0
1590.08/1590.70	c 1590s |      27 | 15835437 | 12256733 |     1094  28881 |        0 |        0
1592.17/1592.71	c 1592s |      27 | 15854937 | 12272133 |     1094  28908 |        0 |        0
1594.17/1594.71	c 1594s |      27 | 15871720 | 12286333 |     1094  28934 |        0 |        0
1596.17/1596.72	c 1596s |      27 | 15888816 | 12300333 |     1094  28959 |        0 |        0
1598.17/1598.72	c 1598s |      27 | 15904878 | 12313433 |     1094  28982 |        0 |        0
1600.17/1600.74	c 1600s |      27 | 15924149 | 12328433 |     1094  29009 |        0 |        0
1602.18/1602.75	c 1602s |      27 | 15943674 | 12343633 |     1094  29036 |        0 |        0
1604.17/1604.76	c 1604s |      27 | 15963505 | 12358633 |     1094  29062 |        0 |        0
1606.18/1606.77	c 1606s |      27 | 15980986 | 12372733 |     1094  29088 |        0 |        0
1608.18/1608.78	c 1608s |      27 | 16002358 | 12388933 |     1094  29117 |        0 |        0
1610.18/1610.78	c 1610s |      27 | 16021553 | 12404233 |     1094  29144 |        0 |        0
1612.19/1612.79	c 1612s |      27 | 16043007 | 12419833 |     1094  29172 |        0 |        0
1614.28/1614.80	c 1614s |      27 | 16063661 | 12435333 |     1094  29200 |        0 |        0
1616.28/1616.81	c 1616s |      27 | 16082760 | 12450133 |     1094  29226 |        0 |        0
1618.28/1618.82	c 1618s |      27 | 16100673 | 12464533 |     1094  29252 |        0 |        0
1620.28/1620.83	c 1620s |      27 | 16119648 | 12479333 |     1094  29278 |        0 |        0
1622.28/1622.85	c 1622s |      27 | 16141050 | 12494733 |     1094  29305 |        0 |        0
1624.28/1624.85	c 1624s |      27 | 16159070 | 12508833 |     1094  29330 |        0 |        0
1626.27/1626.85	c 1626s |      27 | 16177788 | 12523633 |     1094  29357 |        0 |        0
1628.27/1628.86	c 1628s |      27 | 16196048 | 12538133 |     1094  29383 |        0 |        0
1630.27/1630.87	c 1630s |      27 | 16216065 | 12552533 |     1094  29409 |        0 |        0
1632.27/1632.88	c 1632s |      27 | 16233669 | 12566033 |     1094  29433 |        0 |        0
1634.27/1634.89	c 1634s |      27 | 16253870 | 12580833 |     1094  29459 |        0 |        0
1636.28/1636.90	c 1636s |      27 | 16273704 | 12595833 |     1094  29486 |        0 |        0
1638.37/1638.90	c 1638s |      27 | 16291583 | 12609833 |     1094  29511 |        0 |        0
1640.37/1640.91	c 1640s |      27 | 16309194 | 12623733 |     1094  29535 |        0 |        0
1642.37/1642.93	c 1642s |      27 | 16328366 | 12639033 |     1094  29563 |        0 |        0
1644.37/1644.94	c 1644s |      27 | 16347122 | 12653733 |     1094  29589 |        0 |        0
1646.37/1646.95	c 1646s |      27 | 16367642 | 12669333 |     1094  29616 |        0 |        0
1648.38/1648.96	c 1648s |      27 | 16388132 | 12684733 |     1094  29644 |        0 |        0
1650.37/1650.96	c 1650s |      27 | 16406730 | 12699633 |     1094  29671 |        0 |        0
1652.37/1652.97	c 1652s |      27 | 16428464 | 12715733 |     1094  29699 |        0 |        0
1654.37/1654.97	c 1654s |      27 | 16450074 | 12731733 |     1094  29728 |        0 |        0
1656.37/1656.98	c 1656s |      27 | 16471739 | 12747733 |     1094  29756 |        0 |        0
1658.38/1658.99	c 1658s |      27 | 16492200 | 12763533 |     1094  29784 |        0 |        0
1660.37/1660.99	c 1660s |      27 | 16511626 | 12778533 |     1094  29811 |        0 |        0
1662.47/1663.00	c 1662s |      27 | 16529237 | 12792733 |     1094  29836 |        0 |        0
1664.47/1665.01	c 1664s |      27 | 16546605 | 12806733 |     1094  29861 |        0 |        0
1666.47/1667.01	c 1666s |      27 | 16564817 | 12820933 |     1094  29886 |        0 |        0
1668.47/1669.01	c 1669s |      27 | 16583717 | 12836133 |     1094  29913 |        0 |        0
1670.48/1671.02	c 1671s |      27 | 16603940 | 12851633 |     1094  29941 |        0 |        0
1672.47/1673.03	c 1673s |      27 | 16623977 | 12866933 |     1094  29968 |        0 |        0
1674.47/1675.03	c 1675s |      27 | 16646617 | 12883533 |     1094  29998 |        0 |        0
1676.47/1677.04	c 1677s |      27 | 16667284 | 12898733 |     1094  30025 |        0 |        0
1678.47/1679.05	c 1679s |      27 | 16688214 | 12913733 |     1094  30052 |        0 |        0
1680.47/1681.05	c 1681s |      27 | 16709729 | 12928933 |     1094  30079 |        0 |        0
1682.47/1683.06	c 1683s |      27 | 16730186 | 12944333 |     1094  30107 |        0 |        0
1684.46/1685.06	c 1685s |      27 | 16749452 | 12959733 |     1094  30134 |        0 |        0
1686.46/1687.08	c 1687s |      27 | 16770561 | 12975633 |     1094  30162 |        0 |        0
1688.46/1689.08	c 1689s |      27 | 16789128 | 12990533 |     1094  30189 |        0 |        0
1690.46/1691.10	c 1691s |      27 | 16808957 | 13005833 |     1094  30216 |        0 |        0
1692.56/1693.11	c 1693s |      27 | 16828792 | 13021033 |     1094  30243 |        0 |        0
1694.57/1695.11	c 1695s |      27 | 16848988 | 13036433 |     1094  30271 |        0 |        0
1696.56/1697.12	c 1697s |      27 | 16866229 | 13050433 |     1094  30296 |        0 |        0
1698.57/1699.12	c 1699s |      27 | 16884924 | 13064933 |     1094  30321 |        0 |        0
1700.57/1701.13	c 1701s |      27 | 16902004 | 13078933 |     1094  30346 |        0 |        0
1702.57/1703.15	c 1703s |      27 | 16919421 | 13093033 |     1094  30371 |        0 |        0
1704.57/1705.16	c 1705s |      27 | 16935931 | 13106533 |     1094  30395 |        0 |        0
1706.56/1707.16	c 1707s |      27 | 16954557 | 13120633 |     1094  30421 |        0 |        0
1708.56/1709.16	c 1709s |      27 | 16972246 | 13134633 |     1094  30446 |        0 |        0
1710.56/1711.16	c 1711s |      27 | 16990314 | 13149333 |     1094  30472 |        0 |        0
1712.56/1713.18	c 1713s |      27 | 17009941 | 13164333 |     1094  30499 |        0 |        0
1714.56/1715.19	c 1715s |      27 | 17027648 | 13178633 |     1094  30524 |        0 |        0
1716.57/1717.20	c 1717s |      27 | 17046598 | 13193533 |     1094  30551 |        0 |        0
1718.66/1719.20	c 1719s |      27 | 17061671 | 13206633 |     1094  30574 |        0 |        0
1720.66/1721.21	c 1721s |      27 | 17078370 | 13220133 |     1094  30599 |        0 |        0
1722.66/1723.22	c 1723s |      27 | 17095803 | 13234333 |     1094  30624 |        0 |        0
1724.66/1725.22	c 1725s |      27 | 17112459 | 13247933 |     1094  30648 |        0 |        0
1726.66/1727.23	c 1727s |      27 | 17130785 | 13262533 |     1094  30674 |        0 |        0
1728.66/1729.24	c 1729s |      27 | 17148495 | 13276833 |     1094  30700 |        0 |        0
1730.66/1731.24	c 1731s |      27 | 17167664 | 13291833 |     1094  30726 |        0 |        0
1732.66/1733.25	c 1733s |      27 | 17186836 | 13307333 |     1094  30754 |        0 |        0
1734.66/1735.26	c 1735s |      27 | 17203174 | 13321133 |     1094  30778 |        0 |        0
1736.65/1737.27	c 1737s |      27 | 17219392 | 13334633 |     1094  30802 |        0 |        0
1738.66/1739.27	c 1739s |      27 | 17235725 | 13347933 |     1094  30825 |        0 |        0
1740.65/1741.28	c 1741s |      27 | 17253717 | 13362333 |     1094  30850 |        0 |        0
1742.65/1743.29	c 1743s |      27 | 17270662 | 13376533 |     1094  30875 |        0 |        0
1744.75/1745.30	c 1745s |      27 | 17286774 | 13389633 |     1094  30898 |        0 |        0
1746.75/1747.31	c 1747s |      27 | 17303373 | 13403133 |     1094  30922 |        0 |        0
1748.75/1749.32	c 1749s |      27 | 17323131 | 13418133 |     1094  30949 |        0 |        0
1750.77/1751.33	c 1751s |      27 | 17340625 | 13432233 |     1094  30974 |        0 |        0
1752.76/1753.33	c 1753s |      27 | 17359312 | 13446633 |     1094  31000 |        0 |        0
1754.76/1755.34	c 1755s |      27 | 17379155 | 13461833 |     1094  31027 |        0 |        0
1756.76/1757.34	c 1757s |      27 | 17397774 | 13476433 |     1094  31053 |        0 |        0
1758.76/1759.35	c 1759s |      27 | 17417522 | 13491833 |     1094  31081 |        0 |        0
1760.76/1761.36	c 1761s |      27 | 17435087 | 13506333 |     1094  31106 |        0 |        0
1762.76/1763.37	c 1763s |      27 | 17453440 | 13521033 |     1094  31132 |        0 |        0
1764.75/1765.38	c 1765s |      27 | 17471777 | 13535533 |     1094  31158 |        0 |        0
1766.75/1767.38	c 1767s |      27 | 17488514 | 13549133 |     1094  31183 |        0 |        0
1768.75/1769.39	c 1769s |      27 | 17505410 | 13562833 |     1094  31207 |        0 |        0
1770.85/1771.40	c 1771s |      27 | 17521787 | 13575733 |     1094  31230 |        0 |        0
1772.85/1773.41	c 1773s |      27 | 17536556 | 13588133 |     1094  31252 |        0 |        0
1774.86/1775.41	c 1775s |      27 | 17552628 | 13601033 |     1094  31274 |        0 |        0
1776.85/1777.41	c 1777s |      27 | 17568463 | 13614233 |     1094  31298 |        0 |        0
1778.85/1779.43	c 1779s |      27 | 17587150 | 13628433 |     1094  31323 |        0 |        0
1780.85/1781.44	c 1781s |      27 | 17605330 | 13642833 |     1094  31349 |        0 |        0
1782.85/1783.44	c 1783s |      27 | 17619605 | 13655333 |     1094  31371 |        0 |        0
1784.85/1785.45	c 1785s |      27 | 17636296 | 13668733 |     1094  31395 |        0 |        0
1786.85/1787.46	c 1787s |      27 | 17652850 | 13682233 |     1094  31419 |        0 |        0
1788.85/1789.46	c 1789s |      27 | 17668304 | 13695133 |     1094  31442 |        0 |        0
1790.84/1791.47	c 1791s |      27 | 17683188 | 13707933 |     1094  31465 |        0 |        0
1792.84/1793.48	c 1793s |      27 | 17699898 | 13721433 |     1094  31489 |        0 |        0
1794.84/1795.49	c 1795s |      27 | 17717100 | 13735233 |     1094  31514 |        0 |        0
1796.86/1797.49	c 1797s |      27 | 17732861 | 13748333 |     1094  31538 |        0 |        0
1798.95/1799.50	c 1799s |      27 | 17747033 | 13760533 |     1094  31559 |        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-4095938-1466099540/watcher-4095938-1466099540 -o /tmp/evaluation-result-4095938-1466099540/solver-4095938-1466099540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095938-1466099540.opb 

pid=24377
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.01 2.04 2.00 3/178 24380
/proc/meminfo: memFree=30755132/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 2704 0 0 0 0 0 0 0 20 0 4 0 12003898 741797888 3064 33554432000 4194304 16246674 140735019318992 140735019318416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 181871 3074 441 2943 0 178765 0
[pid=24380/tid=24381] ppid=24377 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 759623680 3133 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 764866560 3152 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 770109440 3170 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24380
/proc/meminfo: memFree=30755132/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 25119 0 0 0 6 3 0 0 20 0 4 0 12003898 1247350784 25468 33554432000 4194304 16246674 140735019318992 140735019318416 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 304529 25476 708 2943 0 301423 0
[pid=24380/tid=24381] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 25483 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 25488 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 25494 33554432000 4194304 16246674 140735019318992 140577836362928 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.200543 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24380
/proc/meminfo: memFree=30755132/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 48163 0 0 0 13 6 0 0 20 0 4 0 12003898 1247350784 48513 33554432000 4194304 16246674 140735019318992 140735019318416 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 304529 48525 709 2943 0 301423 0
[pid=24380/tid=24381] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 48531 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 48537 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 48547 33554432000 4194304 16246674 140735019318992 140577836362928 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.300441 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24380
/proc/meminfo: memFree=30755132/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 71660 0 0 0 19 10 0 0 20 0 4 0 12003898 1247350784 72009 33554432000 4194304 16246674 140735019318992 140735019318416 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 304529 72019 709 2943 0 301423 0
[pid=24380/tid=24381] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 72026 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 72036 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 72042 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 24380
/proc/meminfo: memFree=30755132/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 167779 0 0 0 45 23 0 0 20 0 4 0 12003898 1247350784 168128 33554432000 4194304 16246674 140735019318992 140735019318416 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 304529 168143 709 2943 0 301423 0
[pid=24380/tid=24381] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 168149 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 168156 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 168161 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24384
/proc/meminfo: memFree=29772948/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 245482 0 0 0 115 34 0 0 20 0 4 0 12003898 1247350784 245811 33554432000 4194304 16246674 140735019318992 140735019318304 12477709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 304529 245811 784 2943 0 301423 0
[pid=24380/tid=24381] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 245811 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 245811 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1247350784 245811 33554432000 4194304 16246674 140735019318992 140577836362928 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) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24384
/proc/meminfo: memFree=29685272/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267399 0 0 0 272 37 0 0 20 0 4 0 12003898 1337528320 267728 33554432000 4194304 16246674 140735019318992 140735019301992 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267728 784 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267728 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267728 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267728 33554432000 4194304 16246674 140735019318992 140577836362928 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.30042 s]
/proc/loadavg: 2.08 2.05 2.01 3/182 24384
/proc/meminfo: memFree=29684656/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267404 0 0 0 592 37 0 0 20 0 4 0 12003898 1337528320 267733 33554432000 4194304 16246674 140735019318992 140735019301992 5523546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267733 784 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267733 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267733 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267733 33554432000 4194304 16246674 140735019318992 140577836362928 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.08 2.05 2.00 3/182 24384
/proc/meminfo: memFree=29685080/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267435 0 0 0 1232 37 0 0 20 0 4 0 12003898 1337528320 267764 33554432000 4194304 16246674 140735019318992 140735019301992 5546568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267764 784 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267764 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267764 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267764 33554432000 4194304 16246674 140735019318992 140577836362928 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.06 2.05 2.00 3/183 24385
/proc/meminfo: memFree=29685316/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267438 0 0 0 2511 38 0 0 20 0 4 0 12003898 1337528320 267767 33554432000 4194304 16246674 140735019318992 140735019301992 6024626 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267767 786 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267767 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267767 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267767 33554432000 4194304 16246674 140735019318992 140577836362928 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.04 2.04 2.00 3/183 24385
/proc/meminfo: memFree=29682776/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267452 0 0 0 5070 38 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140735019300864 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267781 787 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577836362928 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24386
/proc/meminfo: memFree=29682316/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 267452 0 0 0 10189 39 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140735019300864 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326545 267781 787 2943 0 323439 0
[pid=24380/tid=24381] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1337528320 267781 33554432000 4194304 16246674 140735019318992 140577836362928 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) 1306180


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

/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24439
/proc/meminfo: memFree=29676152/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1301.84 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268138 0 0 0 130120 64 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019301992 13927412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24440
/proc/meminfo: memFree=29676192/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268175 0 0 0 136117 65 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019301992 6026044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 24441
/proc/meminfo: memFree=29676080/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1421.81 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268175 0 0 0 142115 66 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019300864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 24442
/proc/meminfo: memFree=29676440/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1481.8 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268175 0 0 0 148113 67 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019300864 5974060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 24444
/proc/meminfo: memFree=29676440/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1541.8 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268175 0 0 0 154112 68 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019300864 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24445
/proc/meminfo: memFree=29676576/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1601.77 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268175 0 0 0 160109 68 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140735019301992 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268323 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268323 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 24449
/proc/meminfo: memFree=29675940/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1661.77 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268214 0 0 0 166107 70 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140735019300864 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268362 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 24450
/proc/meminfo: memFree=29676848/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1721.76 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268214 0 0 0 172105 71 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140735019301992 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268362 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 24500
/proc/meminfo: memFree=29678824/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1781.75 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268214 0 0 0 178103 72 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140735019301992 5824140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268362 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24549
/proc/meminfo: memFree=29680436/32872528 swapFree=162364/176672
[pid=24380] ppid=24377 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/24380/stat : 24380 (toysat) R 24377 24380 23926 0 -1 4202496 268214 0 0 0 179932 73 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140735019300864 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24380/statm: 326801 268362 789 2943 0 323695 0
[pid=24380/tid=24381] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24381/stat : 24381 (toysat) S 24377 24380 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577933864176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24380/tid=24382] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24382/stat : 24382 (toysat) S 24377 24380 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577923374320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24380/tid=24383] ppid=24377 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24380/task/24383/stat : 24383 (toysat) S 24377 24380 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12003898 1338576896 268362 33554432000 4194304 16246674 140735019318992 140577836362928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.731888
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.731888
maximum resident set size= 1073448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268214
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= 451
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5823 second user time and 6.93895 second system time

The end

Begin job on node105 at 2016-06-16 19:52:20
IDJOB=4095938
IDBENCH=107543
IDSOLVER=2542
FILE ID=node105/4095938-1466099540
RUNJOBID= node105-1466095897-23943
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095938-1466099540/watcher-4095938-1466099540 -o /tmp/evaluation-result-4095938-1466099540/solver-4095938-1466099540 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095938-1466099540.opb

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

MD5SUM BENCH= 35fb4b3f708c3f335e03ca9e4ec15c01
RANDOM SEED=1999539043

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30756040 kB
Buffers:           44492 kB
Cached:           122012 kB
SwapCached:         1480 kB
Active:          1161356 kB
Inactive:          78220 kB
Active(anon):    1073688 kB
Inactive(anon):     1660 kB
Active(file):      87668 kB
Inactive(file):    76560 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1247936 kB
Mapped:             9356 kB
Shmem:                 0 kB
Slab:             568804 kB
SReclaimable:      12640 kB
SUnreclaim:       556164 kB
KernelStack:        1496 kB
PageTables:         6228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1391636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-16 20:22:20