0.00/0.00	c 2016-06-30T20:57:29+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-4120978-1467313049.opb"]
0.00/0.01	c use --random-gen="1397846071 3785740759 1090822441 925604352 2194848940 4144765189 4050001000 3862674570 3332091950 2936344516 3109253741 1521174411 4057660460 2571427496 3856130990 135084976 36772538 70707905 2613748856 815405726 3959783836 3096890512 2686379981 2051848979 912599490 2903448615 1353915013 3895268810 1023353832 3305201019 1919787065 4240149995 3537035882 3455906482 3005879550 3400669461 2882281140 455758546 1394986430 1033337328 559349380 4126309492 307091499 462196963 1569912706 1949078089 672869464 3956720320 1001896184 1386932462 3979543495 3344159092 2598603173 3830185342 4086833276 2207978867 3225342732 3093048685 400779520 1242394190 456892369 1870781990 2325682320 2136492271 3580848892 4195400223 1482878646 1985689178 3239160304 3609459521 3064680591 540072054 45829427 2934519071 1363494796 1377233957 640278482 3877212081 2700222467 1047401534 3337229477 3531074459 1170419136 527411830 2825971217 3405835000 2190262371 2443621939 2673740115 2192434189 1858574792 1793362665 1135736741 407125755 3309217457 563807884 4218521490 2246479419 3231485128 4002168310 4108910088 1015106435 3381456076 3119563638 3925326939 237792594 2185007518 902505293 3308576534 1110789847 2189844218 1064836959 1334628694 2515796943 74126579 2873480586 2435250881 744297785 2964378354 2828334019 528106944 3380645098 2994993672 3254624039 3304192639 3160512922 2504120984 3810701279 645975049 144119769 3506584061 3435610985 4060278327 407560559 142905088 4226917615 2659436979 2570477087 1679699302 2004700651 1462991147 1395857859 1469725863 780509140 1043608715 1682363761 2731991905 2281784274 3358681666 815198515 1447079500 1708328636 3454450604 3980778830 4070021573 3637892999 2887866507 3177027944 2332771636 2433767497 172713612 376506292 1415064511 2746290257 1791425448 4088774826 3419666552 3909438093 3101055153 50783264 2424975721 1059444965 3959962123 2711065570 973309616 4150328359 3965489455 2682877621 1004490622 3793636946 1497334547 771844161 1212676661 345851129 2943779128 1561264122 409802477 3738765293 1624440267 1467029343 1829784292 3557870144 4036675600 3176032635 4098537546 2975364370 3324404197 2603113567 32532790 1943385664 4189143766 3463980236 3387101029 2542489613 515466276 2347096830 3072929822 3587636066 2141550261 1871798828 263883372 3987545838 4166624069 2471942434 2050701644 1474613746 1626148319 2771575613 2264737401 2979416360 3497461440 941882432 783264412 3708066883 3023417876 1484181489 2741239549 853118644 3555943841 3878663834 2587559153 2356883606 4054959595 3662637413 1635233707 855426904 4188615792 4279470456 3701938441 875154415 712725038 3831060243 1032185424 1992531801 4155120542 2234342266 3240709500 2380856266 3155906075 3568413200 406077456 90543910 1488212039 2811413336 2375650546 913372745 255 362436" option to reproduce the execution
0.00/0.02	c #vars 393
0.00/0.02	c #constraints 392
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      261      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      170 |      100 |      261      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      477 |      250 |      288      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      805 |      475 |      317      1 |        0 |        0
0.08/0.12	c  0.1s |       4 |     1326 |      813 |      349      2 |        0 |        0
0.08/0.17	c  0.1s |       5 |     2111 |     1320 |      384      3 |        0 |        0
0.19/0.28	c  0.3s |       6 |     3285 |     2081 |      466      6 |        0 |        0
0.39/0.41	c  0.4s |       7 |     4979 |     3223 |      513      9 |        0 |        0
0.58/0.61	c  0.6s |       8 |     7340 |     4936 |      565     14 |        0 |        0
0.89/0.91	c  0.9s |       9 |    10869 |     7506 |      622     20 |        0 |        0
1.29/1.31	c  1.3s |      10 |    15908 |    11361 |      685     28 |        0 |        0
1.79/1.83	c  1.8s |      11 |    23621 |    17144 |      754     40 |        0 |        0
2.59/2.67	c  2.6s |      12 |    34987 |    25819 |      830     58 |        0 |        0
3.79/3.89	c  3.9s |      13 |    53994 |    38832 |      914     83 |        0 |        0
5.79/5.89	c  5.9s |      13 |    78497 |    57532 |      914    115 |        0 |        0
5.89/5.98	c  6.0s |      14 |    79648 |    58352 |     1006    116 |        0 |        0
7.88/7.98	c  8.0s |      14 |   100651 |    74852 |     1006    143 |        0 |        0
9.48/9.50	c  9.5s |      15 |   116434 |    87632 |     1107    163 |        0 |        0
11.48/11.51	c 11.5s |      15 |   139087 |   105432 |     1107    189 |        0 |        0
13.48/13.51	c 13.5s |      15 |   163049 |   123632 |     1107    216 |        0 |        0
14.39/14.43	c 14.4s |      16 |   173767 |   131552 |     1218    228 |        0 |        0
16.38/16.44	c 16.4s |      16 |   193500 |   147052 |     1218    249 |        0 |        0
18.39/18.44	c 18.4s |      16 |   213611 |   162852 |     1218    271 |        0 |        0
20.39/20.45	c 20.4s |      16 |   234899 |   179152 |     1218    293 |        0 |        0
22.39/22.45	c 22.4s |      16 |   254218 |   194552 |     1218    314 |        0 |        0
22.79/22.84	c 22.8s |      17 |   257844 |   197432 |     1340    318 |        0 |        0
24.79/24.85	c 24.8s |      17 |   282462 |   215832 |     1340    343 |        0 |        0
26.78/26.86	c 26.8s |      17 |   306343 |   234032 |     1340    366 |        0 |        0
28.78/28.86	c 28.8s |      17 |   328701 |   251832 |     1340    388 |        0 |        0
30.79/30.87	c 30.8s |      17 |   353244 |   270232 |     1340    412 |        0 |        0
32.78/32.87	c 32.8s |      17 |   376338 |   287632 |     1340    435 |        0 |        0
33.78/33.80	c 33.8s |      18 |   387362 |   296252 |     1475    446 |        0 |        0
35.78/35.81	c 35.8s |      18 |   409387 |   313152 |     1475    466 |        0 |        0
37.78/37.81	c 37.8s |      18 |   432072 |   330252 |     1475    486 |        0 |        0
39.78/39.81	c 39.8s |      18 |   453667 |   346452 |     1475    505 |        0 |        0
41.79/41.81	c 41.8s |      18 |   475693 |   362852 |     1475    525 |        0 |        0
43.78/43.82	c 43.8s |      18 |   497765 |   379552 |     1475    545 |        0 |        0
45.78/45.83	c 45.8s |      18 |   518915 |   395752 |     1475    564 |        0 |        0
47.78/47.83	c 47.8s |      18 |   541236 |   412652 |     1475    584 |        0 |        0
49.78/49.84	c 49.8s |      18 |   563113 |   429652 |     1475    604 |        0 |        0
51.68/51.76	c 51.7s |      19 |   583005 |   444482 |     1623    621 |        0 |        0
53.68/53.77	c 53.7s |      19 |   602254 |   459882 |     1623    638 |        0 |        0
55.68/55.77	c 55.7s |      19 |   623259 |   476182 |     1623    655 |        0 |        0
57.68/57.78	c 57.8s |      19 |   643103 |   491782 |     1623    672 |        0 |        0
59.67/59.78	c 59.8s |      19 |   665351 |   508782 |     1623    690 |        0 |        0
61.68/61.79	c 61.8s |      19 |   687327 |   524882 |     1623    707 |        0 |        0
63.67/63.80	c 63.8s |      19 |   708889 |   541382 |     1623    725 |        0 |        0
65.77/65.80	c 65.8s |      19 |   732196 |   558282 |     1623    743 |        0 |        0
67.77/67.80	c 67.8s |      19 |   754334 |   575082 |     1623    761 |        0 |        0
69.77/69.81	c 69.8s |      19 |   775771 |   591282 |     1623    778 |        0 |        0
71.77/71.82	c 71.8s |      19 |   797749 |   607682 |     1623    795 |        0 |        0
73.78/73.82	c 73.8s |      19 |   818347 |   623382 |     1623    812 |        0 |        0
75.77/75.82	c 75.8s |      19 |   840101 |   639882 |     1623    830 |        0 |        0
77.77/77.83	c 77.8s |      19 |   862523 |   656382 |     1623    847 |        0 |        0
79.07/79.15	c 79.1s |      20 |   876015 |   666827 |     1786    858 |        0 |        0
81.07/81.16	c 81.1s |      20 |   892259 |   679927 |     1786    871 |        0 |        0
83.07/83.17	c 83.1s |      20 |   907959 |   692427 |     1786    883 |        0 |        0
85.08/85.18	c 85.2s |      20 |   924324 |   705427 |     1786    896 |        0 |        0
87.07/87.18	c 87.2s |      20 |   943729 |   720027 |     1786    911 |        0 |        0
89.08/89.19	c 89.2s |      20 |   963416 |   735127 |     1786    926 |        0 |        0
91.07/91.19	c 91.2s |      20 |   983570 |   749827 |     1786    940 |        0 |        0
93.17/93.20	c 93.2s |      20 |  1003266 |   764827 |     1786    955 |        0 |        0
95.17/95.21	c 95.2s |      20 |  1021876 |   779527 |     1786    970 |        0 |        0
97.17/97.22	c 97.2s |      20 |  1042026 |   794827 |     1786    985 |        0 |        0
99.17/99.22	c 99.2s |      20 |  1059330 |   808427 |     1786    998 |        0 |        0
101.18/101.23	c  101s |      20 |  1078111 |   822727 |     1786   1012 |        0 |        0
103.17/103.24	c  103s |      20 |  1098669 |   838027 |     1786   1028 |        0 |        0
105.17/105.25	c  105s |      20 |  1118750 |   853827 |     1786   1043 |        0 |        0
107.17/107.26	c  107s |      20 |  1138520 |   868627 |     1786   1058 |        0 |        0
109.17/109.26	c  109s |      20 |  1160300 |   884627 |     1786   1074 |        0 |        0
111.18/111.27	c  111s |      20 |  1182294 |   900327 |     1786   1089 |        0 |        0
113.17/113.28	c  113s |      20 |  1205102 |   917127 |     1786   1106 |        0 |        0
115.17/115.29	c  115s |      20 |  1226371 |   933027 |     1786   1121 |        0 |        0
117.27/117.30	c  117s |      20 |  1247379 |   948827 |     1786   1137 |        0 |        0
119.27/119.30	c  119s |      20 |  1267098 |   964527 |     1786   1153 |        0 |        0
121.27/121.31	c  121s |      20 |  1288737 |   981127 |     1786   1169 |        0 |        0
123.27/123.32	c  123s |      20 |  1307225 |   996027 |     1965   1183 |        0 |        0
123.86/123.98	c  123s |      21 |  1312454 |  1000345 |     1965   1187 |        0 |        0
125.86/125.98	c  125s |      21 |  1334180 |  1017045 |     1965   1203 |        0 |        0
127.96/128.00	c  127s |      21 |  1354562 |  1032745 |     1965   1218 |        0 |        0
129.96/130.02	c  129s |      21 |  1372163 |  1047145 |     1965   1231 |        0 |        0
131.97/132.02	c  131s |      21 |  1390147 |  1061545 |     1965   1244 |        0 |        0
133.96/134.03	c  134s |      21 |  1409496 |  1076445 |     1965   1258 |        0 |        0
135.96/136.05	c  136s |      21 |  1428957 |  1091745 |     1965   1272 |        0 |        0
137.96/138.05	c  138s |      21 |  1448356 |  1106945 |     1965   1286 |        0 |        0
139.96/140.06	c  140s |      21 |  1467826 |  1121845 |     1965   1300 |        0 |        0
141.97/142.06	c  142s |      21 |  1487678 |  1136845 |     1965   1314 |        0 |        0
143.96/144.06	c  144s |      21 |  1505650 |  1151145 |     1965   1327 |        0 |        0
145.96/146.07	c  146s |      21 |  1524473 |  1165945 |     1965   1341 |        0 |        0
147.96/148.08	c  148s |      21 |  1542134 |  1179745 |     1965   1354 |        0 |        0
149.96/150.08	c  150s |      21 |  1562698 |  1195245 |     1965   1368 |        0 |        0
151.96/152.09	c  152s |      21 |  1582583 |  1210545 |     1965   1381 |        0 |        0
153.96/154.10	c  154s |      21 |  1601967 |  1225445 |     1965   1395 |        0 |        0
156.07/156.10	c  156s |      21 |  1619337 |  1239445 |     1965   1408 |        0 |        0
158.07/158.11	c  158s |      21 |  1638561 |  1254445 |     1965   1422 |        0 |        0
160.06/160.12	c  160s |      21 |  1657104 |  1268645 |     1965   1435 |        0 |        0
162.06/162.13	c  162s |      21 |  1675515 |  1282645 |     1965   1448 |        0 |        0
164.06/164.13	c  164s |      21 |  1695074 |  1297545 |     1965   1462 |        0 |        0
166.07/166.14	c  166s |      21 |  1715112 |  1312845 |     1965   1476 |        0 |        0
168.06/168.15	c  168s |      21 |  1731981 |  1325945 |     1965   1487 |        0 |        0
170.06/170.16	c  170s |      21 |  1750360 |  1339645 |     1965   1499 |        0 |        0
172.06/172.18	c  172s |      21 |  1767393 |  1353045 |     1965   1511 |        0 |        0
174.06/174.18	c  174s |      21 |  1785509 |  1367245 |     1965   1524 |        0 |        0
176.07/176.19	c  176s |      21 |  1804347 |  1381745 |     1965   1537 |        0 |        0
178.06/178.20	c  178s |      21 |  1822716 |  1395845 |     1965   1550 |        0 |        0
180.16/180.20	c  180s |      21 |  1841044 |  1410345 |     1965   1564 |        0 |        0
182.16/182.21	c  182s |      21 |  1862675 |  1426745 |     1965   1579 |        0 |        0
184.16/184.22	c  184s |      21 |  1883048 |  1442545 |     1965   1593 |        0 |        0
186.16/186.22	c  186s |      21 |  1903366 |  1457945 |     1965   1607 |        0 |        0
188.16/188.22	c  188s |      21 |  1922631 |  1472845 |     1965   1621 |        0 |        0
190.15/190.24	c  190s |      21 |  1942061 |  1487845 |     1965   1634 |        0 |        0
191.95/192.05	c  192s |      22 |  1958937 |  1500622 |     2162   1645 |        0 |        0
193.95/194.06	c  194s |      22 |  1974059 |  1512622 |     2162   1655 |        0 |        0
195.95/196.08	c  196s |      22 |  1990372 |  1525722 |     2162   1666 |        0 |        0
197.96/198.09	c  198s |      22 |  2009376 |  1539722 |     2162   1678 |        0 |        0
199.95/200.09	c  200s |      22 |  2028270 |  1554222 |     2162   1690 |        0 |        0
202.05/202.10	c  202s |      22 |  2046858 |  1568122 |     2162   1702 |        0 |        0
204.05/204.11	c  204s |      22 |  2064990 |  1582122 |     2162   1714 |        0 |        0
206.05/206.11	c  206s |      22 |  2082406 |  1595522 |     2162   1725 |        0 |        0
208.05/208.11	c  208s |      22 |  2100209 |  1609422 |     2162   1737 |        0 |        0
210.05/210.12	c  210s |      22 |  2119134 |  1623822 |     2162   1749 |        0 |        0
212.05/212.13	c  212s |      22 |  2136603 |  1637222 |     2162   1760 |        0 |        0
214.05/214.14	c  214s |      22 |  2152387 |  1649722 |     2162   1771 |        0 |        0
216.06/216.14	c  216s |      22 |  2169870 |  1663322 |     2162   1782 |        0 |        0
218.05/218.15	c  218s |      22 |  2187985 |  1677622 |     2162   1794 |        0 |        0
220.06/220.16	c  220s |      22 |  2204688 |  1690522 |     2162   1805 |        0 |        0
222.05/222.17	c  222s |      22 |  2222431 |  1704122 |     2162   1817 |        0 |        0
224.05/224.17	c  224s |      22 |  2238051 |  1717122 |     2162   1828 |        0 |        0
226.05/226.17	c  226s |      22 |  2254211 |  1729822 |     2162   1838 |        0 |        0
228.05/228.18	c  228s |      22 |  2269840 |  1742222 |     2162   1849 |        0 |        0
230.15/230.20	c  230s |      22 |  2286394 |  1755222 |     2162   1860 |        0 |        0
232.15/232.21	c  232s |      22 |  2303237 |  1768422 |     2162   1871 |        0 |        0
234.14/234.21	c  234s |      22 |  2319410 |  1781222 |     2162   1882 |        0 |        0
236.14/236.21	c  236s |      22 |  2338702 |  1795522 |     2162   1894 |        0 |        0
238.14/238.22	c  238s |      22 |  2357653 |  1809922 |     2162   1906 |        0 |        0
240.14/240.23	c  240s |      22 |  2375460 |  1823522 |     2162   1918 |        0 |        0
242.14/242.24	c  242s |      22 |  2394232 |  1837922 |     2162   1930 |        0 |        0
244.14/244.25	c  244s |      22 |  2412309 |  1851522 |     2162   1942 |        0 |        0
246.14/246.26	c  246s |      22 |  2429050 |  1864622 |     2162   1953 |        0 |        0
248.14/248.26	c  248s |      22 |  2447533 |  1878822 |     2162   1965 |        0 |        0
250.14/250.27	c  250s |      22 |  2467043 |  1893122 |     2162   1977 |        0 |        0
252.14/252.27	c  252s |      22 |  2484584 |  1906422 |     2162   1988 |        0 |        0
254.14/254.28	c  254s |      22 |  2501510 |  1919322 |     2162   1999 |        0 |        0
256.14/256.29	c  256s |      22 |  2518720 |  1932322 |     2162   2010 |        0 |        0
258.23/258.30	c  258s |      22 |  2536837 |  1945822 |     2162   2022 |        0 |        0
260.23/260.31	c  260s |      22 |  2554626 |  1959222 |     2162   2033 |        0 |        0
262.23/262.32	c  262s |      22 |  2573718 |  1973422 |     2162   2045 |        0 |        0
264.23/264.32	c  264s |      22 |  2591980 |  1987522 |     2162   2057 |        0 |        0
266.24/266.32	c  266s |      22 |  2608308 |  2000622 |     2162   2068 |        0 |        0
268.23/268.33	c  268s |      22 |  2625924 |  2014122 |     2162   2080 |        0 |        0
270.23/270.35	c  270s |      22 |  2643839 |  2027722 |     2162   2091 |        0 |        0
272.23/272.35	c  272s |      22 |  2662099 |  2041422 |     2162   2103 |        0 |        0
274.23/274.35	c  274s |      22 |  2680178 |  2055022 |     2162   2114 |        0 |        0
276.23/276.37	c  276s |      22 |  2696729 |  2067622 |     2162   2125 |        0 |        0
278.23/278.38	c  278s |      22 |  2713095 |  2080422 |     2162   2136 |        0 |        0
280.23/280.39	c  280s |      22 |  2730180 |  2093222 |     2162   2147 |        0 |        0
282.33/282.40	c  282s |      22 |  2748128 |  2106122 |     2162   2158 |        0 |        0
284.32/284.41	c  284s |      22 |  2764004 |  2118522 |     2162   2168 |        0 |        0
286.32/286.41	c  286s |      22 |  2782369 |  2132122 |     2162   2180 |        0 |        0
288.32/288.41	c  288s |      22 |  2801350 |  2146322 |     2162   2192 |        0 |        0
290.32/290.42	c  290s |      22 |  2818779 |  2159322 |     2162   2203 |        0 |        0
292.33/292.44	c  292s |      22 |  2836600 |  2172922 |     2162   2214 |        0 |        0
294.32/294.45	c  294s |      22 |  2854932 |  2186622 |     2162   2226 |        0 |        0
296.32/296.45	c  296s |      22 |  2872678 |  2199822 |     2162   2237 |        0 |        0
298.32/298.45	c  298s |      22 |  2891372 |  2213722 |     2162   2249 |        0 |        0
300.33/300.45	c  300s |      22 |  2910353 |  2228122 |     2162   2261 |        0 |        0
302.32/302.46	c  302s |      22 |  2929163 |  2242122 |     2379   2272 |        0 |        0
303.82/303.91	c  303s |      23 |  2940859 |  2251038 |     2379   2279 |        0 |        0
305.82/305.91	c  305s |      23 |  2957579 |  2264138 |     2379   2290 |        0 |        0
307.82/307.93	c  307s |      23 |  2972955 |  2276938 |     2379   2299 |        0 |        0
309.81/309.94	c  309s |      23 |  2991586 |  2291338 |     2379   2311 |        0 |        0
311.81/311.94	c  311s |      23 |  3010411 |  2306038 |     2379   2322 |        0 |        0
313.81/313.95	c  313s |      23 |  3030441 |  2321138 |     2379   2334 |        0 |        0
315.81/315.95	c  315s |      23 |  3048829 |  2335438 |     2379   2345 |        0 |        0
317.82/317.96	c  317s |      23 |  3066416 |  2349238 |     2379   2356 |        0 |        0
319.81/319.96	c  319s |      23 |  3083937 |  2363038 |     2379   2367 |        0 |        0
321.81/321.97	c  321s |      23 |  3102524 |  2377438 |     2379   2378 |        0 |        0
323.81/323.98	c  323s |      23 |  3122689 |  2392638 |     2379   2389 |        0 |        0
325.81/325.98	c  325s |      23 |  3141528 |  2407138 |     2379   2401 |        0 |        0
327.81/327.99	c  327s |      23 |  3158023 |  2419738 |     2379   2411 |        0 |        0
329.81/330.00	c  329s |      23 |  3174920 |  2432338 |     2379   2420 |        0 |        0
331.91/332.00	c  331s |      23 |  3194176 |  2446438 |     2379   2432 |        0 |        0
333.91/334.01	c  333s |      23 |  3212443 |  2460538 |     2379   2443 |        0 |        0
335.90/336.01	c  335s |      23 |  3228900 |  2473438 |     2379   2453 |        0 |        0
337.90/338.02	c  337s |      23 |  3245708 |  2486138 |     2379   2463 |        0 |        0
339.91/340.03	c  340s |      23 |  3265082 |  2500838 |     2379   2474 |        0 |        0
341.90/342.03	c  342s |      23 |  3282957 |  2514238 |     2379   2485 |        0 |        0
343.90/344.04	c  344s |      23 |  3301739 |  2528138 |     2379   2495 |        0 |        0
345.90/346.05	c  346s |      23 |  3320074 |  2541538 |     2379   2506 |        0 |        0
347.90/348.05	c  348s |      23 |  3339251 |  2555238 |     2379   2517 |        0 |        0
349.90/350.06	c  350s |      23 |  3358924 |  2569338 |     2379   2528 |        0 |        0
351.90/352.06	c  352s |      23 |  3377401 |  2583238 |     2379   2539 |        0 |        0
353.90/354.07	c  354s |      23 |  3394145 |  2596338 |     2379   2549 |        0 |        0
355.90/356.08	c  356s |      23 |  3413623 |  2611138 |     2379   2561 |        0 |        0
357.89/358.09	c  358s |      23 |  3432036 |  2624538 |     2379   2571 |        0 |        0
359.89/360.09	c  360s |      23 |  3452829 |  2639838 |     2379   2583 |        0 |        0
361.99/362.10	c  362s |      23 |  3472746 |  2654538 |     2379   2595 |        0 |        0
364.00/364.11	c  364s |      23 |  3491840 |  2669438 |     2379   2606 |        0 |        0
365.99/366.11	c  366s |      23 |  3508625 |  2682738 |     2379   2617 |        0 |        0
367.99/368.12	c  368s |      23 |  3526568 |  2696638 |     2379   2627 |        0 |        0
369.99/370.13	c  370s |      23 |  3544608 |  2710438 |     2379   2638 |        0 |        0
371.99/372.13	c  372s |      23 |  3563136 |  2724138 |     2379   2649 |        0 |        0
374.00/374.14	c  374s |      23 |  3580291 |  2737738 |     2379   2660 |        0 |        0
375.99/376.14	c  376s |      23 |  3600692 |  2753138 |     2379   2672 |        0 |        0
377.98/378.15	c  378s |      23 |  3619012 |  2767138 |     2379   2683 |        0 |        0
379.98/380.16	c  380s |      23 |  3637247 |  2781138 |     2379   2694 |        0 |        0
381.98/382.17	c  382s |      23 |  3656056 |  2795138 |     2379   2705 |        0 |        0
383.98/384.18	c  384s |      23 |  3677475 |  2810838 |     2379   2717 |        0 |        0
385.99/386.19	c  386s |      23 |  3698031 |  2826338 |     2379   2729 |        0 |        0
388.08/388.20	c  388s |      23 |  3717874 |  2841238 |     2379   2741 |        0 |        0
390.08/390.21	c  390s |      23 |  3738929 |  2856338 |     2379   2752 |        0 |        0
392.08/392.22	c  392s |      23 |  3758549 |  2870538 |     2379   2763 |        0 |        0
394.08/394.22	c  394s |      23 |  3777950 |  2884738 |     2379   2774 |        0 |        0
396.08/396.23	c  396s |      23 |  3798830 |  2899638 |     2379   2786 |        0 |        0
398.08/398.24	c  398s |      23 |  3818954 |  2914238 |     2379   2798 |        0 |        0
400.08/400.24	c  400s |      23 |  3839519 |  2928438 |     2379   2809 |        0 |        0
402.08/402.24	c  402s |      23 |  3862155 |  2943938 |     2379   2821 |        0 |        0
404.08/404.25	c  404s |      23 |  3880834 |  2958138 |     2379   2832 |        0 |        0
406.07/406.26	c  406s |      23 |  3898267 |  2971138 |     2379   2842 |        0 |        0
408.08/408.27	c  408s |      23 |  3916054 |  2984638 |     2379   2853 |        0 |        0
410.08/410.28	c  410s |      23 |  3934236 |  2998338 |     2379   2863 |        0 |        0
412.08/412.29	c  412s |      23 |  3952654 |  3012238 |     2379   2874 |        0 |        0
414.18/414.30	c  414s |      23 |  3972072 |  3026638 |     2379   2885 |        0 |        0
416.18/416.31	c  416s |      23 |  3990468 |  3040538 |     2379   2896 |        0 |        0
418.17/418.31	c  418s |      23 |  4008520 |  3054138 |     2379   2907 |        0 |        0
420.18/420.32	c  420s |      23 |  4028032 |  3068538 |     2379   2918 |        0 |        0
422.17/422.32	c  422s |      23 |  4045053 |  3081638 |     2379   2929 |        0 |        0
424.17/424.32	c  424s |      23 |  4060936 |  3094238 |     2379   2938 |        0 |        0
426.17/426.34	c  426s |      23 |  4078052 |  3107238 |     2379   2949 |        0 |        0
428.17/428.34	c  428s |      23 |  4097476 |  3121638 |     2379   2960 |        0 |        0
430.17/430.35	c  430s |      23 |  4114367 |  3134538 |     2379   2970 |        0 |        0
432.17/432.37	c  432s |      23 |  4129828 |  3147038 |     2379   2980 |        0 |        0
434.17/434.38	c  434s |      23 |  4146112 |  3160038 |     2379   2990 |        0 |        0
436.17/436.39	c  436s |      23 |  4163586 |  3173538 |     2379   3000 |        0 |        0
438.26/438.40	c  438s |      23 |  4180510 |  3186538 |     2379   3010 |        0 |        0
440.26/440.40	c  440s |      23 |  4199356 |  3200538 |     2379   3021 |        0 |        0
442.26/442.41	c  442s |      23 |  4216361 |  3213638 |     2379   3031 |        0 |        0
444.26/444.42	c  444s |      23 |  4232784 |  3226138 |     2379   3041 |        0 |        0
446.26/446.42	c  446s |      23 |  4251660 |  3240038 |     2379   3052 |        0 |        0
448.25/448.43	c  448s |      23 |  4269652 |  3253538 |     2379   3062 |        0 |        0
450.25/450.44	c  450s |      23 |  4289536 |  3267938 |     2379   3073 |        0 |        0
452.25/452.45	c  452s |      23 |  4307250 |  3281738 |     2379   3084 |        0 |        0
454.26/454.45	c  454s |      23 |  4325735 |  3295938 |     2379   3095 |        0 |        0
456.25/456.46	c  456s |      23 |  4345354 |  3310238 |     2379   3106 |        0 |        0
458.25/458.46	c  458s |      23 |  4363747 |  3324738 |     2379   3118 |        0 |        0
460.25/460.47	c  460s |      23 |  4382788 |  3339038 |     2379   3129 |        0 |        0
462.25/462.47	c  462s |      23 |  4399521 |  3352338 |     2379   3139 |        0 |        0
464.25/464.48	c  464s |      23 |  4418371 |  3366038 |     2617   3149 |        0 |        0
466.05/466.21	c  466s |      24 |  4432893 |  3376662 |     2617   3157 |        0 |        0
468.04/468.21	c  468s |      24 |  4449934 |  3390162 |     2617   3166 |        0 |        0
470.04/470.22	c  470s |      24 |  4467855 |  3403862 |     2617   3176 |        0 |        0
472.04/472.23	c  472s |      24 |  4485779 |  3417662 |     2617   3185 |        0 |        0
474.05/474.24	c  474s |      24 |  4504084 |  3431662 |     2617   3195 |        0 |        0
476.04/476.24	c  476s |      24 |  4524195 |  3446662 |     2617   3206 |        0 |        0
478.04/478.25	c  478s |      24 |  4542421 |  3460662 |     2617   3216 |        0 |        0
480.04/480.25	c  480s |      24 |  4559349 |  3473862 |     2617   3225 |        0 |        0
482.04/482.26	c  482s |      24 |  4576676 |  3487162 |     2617   3234 |        0 |        0
484.04/484.26	c  484s |      24 |  4594617 |  3500562 |     2617   3244 |        0 |        0
486.05/486.27	c  486s |      24 |  4611957 |  3514062 |     2617   3253 |        0 |        0
488.04/488.28	c  488s |      24 |  4629053 |  3527762 |     2617   3263 |        0 |        0
490.04/490.29	c  490s |      24 |  4643583 |  3539562 |     2617   3271 |        0 |        0
492.04/492.29	c  492s |      24 |  4660896 |  3553262 |     2617   3281 |        0 |        0
494.04/494.29	c  494s |      24 |  4678636 |  3567162 |     2617   3291 |        0 |        0
496.14/496.31	c  496s |      24 |  4696516 |  3580862 |     2617   3301 |        0 |        0
498.14/498.31	c  498s |      24 |  4716131 |  3595562 |     2617   3311 |        0 |        0
500.13/500.32	c  500s |      24 |  4735789 |  3610562 |     2617   3322 |        0 |        0
502.13/502.34	c  502s |      24 |  4754783 |  3624962 |     2617   3332 |        0 |        0
504.13/504.36	c  504s |      24 |  4770571 |  3637462 |     2617   3341 |        0 |        0
506.13/506.36	c  506s |      24 |  4791384 |  3652862 |     2617   3351 |        0 |        0
508.13/508.38	c  508s |      24 |  4809004 |  3667062 |     2617   3361 |        0 |        0
510.13/510.38	c  510s |      24 |  4821316 |  3677662 |     2617   3369 |        0 |        0
512.13/512.39	c  512s |      24 |  4839904 |  3691862 |     2617   3379 |        0 |        0
514.22/514.40	c  514s |      24 |  4857875 |  3705462 |     2617   3389 |        0 |        0
516.22/516.41	c  516s |      24 |  4878611 |  3720962 |     2617   3399 |        0 |        0
518.22/518.41	c  518s |      24 |  4896220 |  3734762 |     2617   3409 |        0 |        0
520.22/520.43	c  520s |      24 |  4911926 |  3747462 |     2617   3418 |        0 |        0
522.22/522.43	c  522s |      24 |  4929251 |  3761062 |     2617   3428 |        0 |        0
524.22/524.44	c  524s |      24 |  4944895 |  3773762 |     2617   3437 |        0 |        0
526.22/526.46	c  526s |      24 |  4962506 |  3787562 |     2617   3446 |        0 |        0
528.21/528.47	c  528s |      24 |  4977303 |  3799662 |     2617   3455 |        0 |        0
530.21/530.47	c  530s |      24 |  4989307 |  3809862 |     2617   3462 |        0 |        0
532.21/532.48	c  532s |      24 |  5005502 |  3822762 |     2617   3471 |        0 |        0
534.21/534.49	c  534s |      24 |  5024695 |  3836662 |     2617   3481 |        0 |        0
536.21/536.49	c  536s |      24 |  5042795 |  3850562 |     2617   3491 |        0 |        0
538.30/538.50	c  538s |      24 |  5059481 |  3863962 |     2617   3500 |        0 |        0
540.30/540.51	c  540s |      24 |  5074394 |  3876162 |     2617   3509 |        0 |        0
542.30/542.52	c  542s |      24 |  5090393 |  3888862 |     2617   3518 |        0 |        0
544.31/544.52	c  544s |      24 |  5107506 |  3902262 |     2617   3527 |        0 |        0
546.30/546.52	c  546s |      24 |  5123112 |  3914662 |     2617   3536 |        0 |        0
548.29/548.52	c  548s |      24 |  5137248 |  3926462 |     2617   3544 |        0 |        0
550.29/550.54	c  550s |      24 |  5152455 |  3938762 |     2617   3553 |        0 |        0
552.29/552.56	c  552s |      24 |  5168572 |  3951662 |     2617   3562 |        0 |        0
554.31/554.57	c  554s |      24 |  5183068 |  3963262 |     2617   3570 |        0 |        0
556.30/556.58	c  556s |      24 |  5197967 |  3975262 |     2617   3578 |        0 |        0
558.30/558.59	c  558s |      24 |  5214080 |  3987462 |     2617   3587 |        0 |        0
560.40/560.61	c  560s |      24 |  5233468 |  4001962 |     2617   3597 |        0 |        0
562.40/562.62	c  562s |      24 |  5251047 |  4015562 |     2617   3607 |        0 |        0
564.40/564.63	c  564s |      24 |  5267417 |  4028662 |     2617   3616 |        0 |        0
566.40/566.64	c  566s |      24 |  5283053 |  4041662 |     2617   3625 |        0 |        0
568.39/568.65	c  568s |      24 |  5300396 |  4055262 |     2617   3635 |        0 |        0
570.39/570.66	c  570s |      24 |  5317054 |  4068062 |     2617   3644 |        0 |        0
572.39/572.66	c  572s |      24 |  5336243 |  4082562 |     2617   3654 |        0 |        0
574.39/574.67	c  574s |      24 |  5355636 |  4097162 |     2617   3664 |        0 |        0
576.39/576.68	c  576s |      24 |  5373689 |  4111262 |     2617   3674 |        0 |        0
578.39/578.69	c  578s |      24 |  5393795 |  4126562 |     2617   3685 |        0 |        0
580.48/580.70	c  580s |      24 |  5412840 |  4141062 |     2617   3695 |        0 |        0
582.48/582.71	c  582s |      24 |  5432684 |  4156162 |     2617   3706 |        0 |        0
584.48/584.72	c  584s |      24 |  5450496 |  4170262 |     2617   3716 |        0 |        0
586.48/586.73	c  586s |      24 |  5469355 |  4184762 |     2617   3726 |        0 |        0
588.48/588.74	c  588s |      24 |  5487977 |  4199462 |     2617   3737 |        0 |        0
590.48/590.74	c  590s |      24 |  5508450 |  4214962 |     2617   3747 |        0 |        0
592.48/592.77	c  592s |      24 |  5527764 |  4229162 |     2617   3758 |        0 |        0
594.48/594.77	c  594s |      24 |  5544635 |  4242062 |     2617   3767 |        0 |        0
596.48/596.77	c  596s |      24 |  5561750 |  4254962 |     2617   3776 |        0 |        0
598.47/598.78	c  598s |      24 |  5581374 |  4269762 |     2617   3786 |        0 |        0
600.48/600.79	c  600s |      24 |  5601688 |  4284862 |     2617   3797 |        0 |        0
602.47/602.80	c  602s |      24 |  5619361 |  4298662 |     2617   3807 |        0 |        0
604.57/604.80	c  604s |      24 |  5638148 |  4313162 |     2617   3817 |        0 |        0
606.58/606.80	c  606s |      24 |  5657090 |  4327162 |     2617   3827 |        0 |        0
608.57/608.81	c  608s |      24 |  5674667 |  4340462 |     2617   3836 |        0 |        0
610.57/610.81	c  610s |      24 |  5691089 |  4353362 |     2617   3845 |        0 |        0
612.58/612.81	c  612s |      24 |  5708435 |  4366262 |     2617   3854 |        0 |        0
614.57/614.83	c  614s |      24 |  5727159 |  4380162 |     2617   3864 |        0 |        0
616.57/616.83	c  616s |      24 |  5745940 |  4394062 |     2617   3874 |        0 |        0
618.56/618.83	c  618s |      24 |  5764207 |  4407462 |     2617   3884 |        0 |        0
620.56/620.83	c  620s |      24 |  5780793 |  4420362 |     2617   3893 |        0 |        0
622.56/622.84	c  622s |      24 |  5798110 |  4433462 |     2617   3902 |        0 |        0
624.57/624.85	c  624s |      24 |  5816882 |  4447062 |     2617   3912 |        0 |        0
626.56/626.86	c  626s |      24 |  5837417 |  4461762 |     2617   3922 |        0 |        0
628.56/628.87	c  628s |      24 |  5855580 |  4475262 |     2617   3932 |        0 |        0
630.56/630.88	c  630s |      24 |  5874491 |  4489562 |     2617   3942 |        0 |        0
632.56/632.88	c  632s |      24 |  5893680 |  4503562 |     2617   3952 |        0 |        0
634.56/634.89	c  634s |      24 |  5913002 |  4518162 |     2617   3962 |        0 |        0
636.55/636.90	c  636s |      24 |  5931595 |  4532562 |     2617   3972 |        0 |        0
638.65/638.90	c  638s |      24 |  5950721 |  4547162 |     2617   3982 |        0 |        0
640.65/640.91	c  640s |      24 |  5969346 |  4561062 |     2617   3992 |        0 |        0
642.65/642.92	c  642s |      24 |  5987904 |  4574862 |     2617   4002 |        0 |        0
644.65/644.93	c  644s |      24 |  6006553 |  4588462 |     2617   4012 |        0 |        0
646.66/646.93	c  646s |      24 |  6026442 |  4602962 |     2617   4022 |        0 |        0
648.65/648.94	c  648s |      24 |  6045408 |  4617262 |     2617   4032 |        0 |        0
650.66/650.95	c  650s |      24 |  6064522 |  4631962 |     2617   4043 |        0 |        0
652.66/652.96	c  652s |      24 |  6083534 |  4646462 |     2617   4053 |        0 |        0
654.65/654.97	c  654s |      24 |  6101538 |  4660262 |     2617   4063 |        0 |        0
656.65/656.97	c  656s |      24 |  6121421 |  4675262 |     2617   4073 |        0 |        0
658.65/658.98	c  658s |      24 |  6140012 |  4689362 |     2617   4083 |        0 |        0
660.64/660.99	c  660s |      24 |  6156701 |  4702362 |     2617   4093 |        0 |        0
662.64/662.99	c  662s |      24 |  6175093 |  4716562 |     2617   4103 |        0 |        0
664.64/664.99	c  664s |      24 |  6192435 |  4729962 |     2617   4112 |        0 |        0
666.64/666.99	c  666s |      24 |  6209827 |  4743362 |     2617   4122 |        0 |        0
668.65/668.99	c  668s |      24 |  6227396 |  4756562 |     2617   4131 |        0 |        0
670.64/670.99	c  670s |      24 |  6243153 |  4768762 |     2617   4140 |        0 |        0
672.74/673.00	c  672s |      24 |  6258984 |  4781162 |     2617   4148 |        0 |        0
674.74/675.00	c  674s |      24 |  6275749 |  4794062 |     2617   4157 |        0 |        0
676.74/677.01	c  676s |      24 |  6292642 |  4807162 |     2617   4167 |        0 |        0
678.73/679.03	c  679s |      24 |  6308203 |  4819262 |     2617   4175 |        0 |        0
680.74/681.04	c  681s |      24 |  6324232 |  4831662 |     2617   4184 |        0 |        0
682.73/683.06	c  683s |      24 |  6341179 |  4844562 |     2617   4193 |        0 |        0
684.73/685.06	c  685s |      24 |  6357531 |  4857562 |     2617   4203 |        0 |        0
686.73/687.07	c  687s |      24 |  6374514 |  4870662 |     2617   4212 |        0 |        0
688.73/689.09	c  689s |      24 |  6391718 |  4883962 |     2617   4221 |        0 |        0
690.73/691.09	c  691s |      24 |  6410444 |  4897762 |     2617   4231 |        0 |        0
692.74/693.10	c  693s |      24 |  6425656 |  4910062 |     2617   4240 |        0 |        0
694.83/695.11	c  695s |      24 |  6442486 |  4922762 |     2617   4249 |        0 |        0
696.83/697.11	c  697s |      24 |  6459233 |  4935862 |     2617   4258 |        0 |        0
698.83/699.13	c  699s |      24 |  6476274 |  4948762 |     2617   4267 |        0 |        0
700.82/701.14	c  701s |      24 |  6492462 |  4961262 |     2617   4276 |        0 |        0
702.82/703.14	c  703s |      24 |  6508296 |  4973762 |     2617   4285 |        0 |        0
704.83/705.14	c  705s |      24 |  6523979 |  4986062 |     2617   4294 |        0 |        0
706.82/707.14	c  707s |      24 |  6541461 |  4999662 |     2617   4303 |        0 |        0
708.82/709.16	c  709s |      24 |  6560546 |  5013762 |     2617   4313 |        0 |        0
710.82/711.17	c  711s |      24 |  6577783 |  5027262 |     2617   4323 |        0 |        0
712.82/713.19	c  713s |      24 |  6595304 |  5040762 |     2879   4332 |        0 |        0
714.83/715.20	c  715s |      24 |  6613436 |  5054562 |     2879   4340 |        0 |        0
716.62/716.93	c  716s |      25 |  6626237 |  5065098 |     2879   4347 |        0 |        0
718.62/718.94	c  718s |      25 |  6644055 |  5078898 |     2879   4356 |        0 |        0
720.62/720.95	c  720s |      25 |  6664116 |  5093298 |     2879   4366 |        0 |        0
722.62/722.95	c  722s |      25 |  6680257 |  5105998 |     2879   4374 |        0 |        0
724.63/724.98	c  724s |      25 |  6697967 |  5119698 |     2879   4383 |        0 |        0
726.62/726.99	c  726s |      25 |  6715505 |  5133398 |     2879   4391 |        0 |        0
728.72/729.00	c  728s |      25 |  6733736 |  5147098 |     2879   4400 |        0 |        0
730.72/731.00	c  730s |      25 |  6751636 |  5160598 |     2879   4409 |        0 |        0
732.72/733.03	c  733s |      25 |  6767448 |  5172698 |     2879   4417 |        0 |        0
734.72/735.05	c  735s |      25 |  6786254 |  5186498 |     2879   4426 |        0 |        0
736.72/737.05	c  737s |      25 |  6804688 |  5200898 |     2879   4435 |        0 |        0
738.71/739.06	c  739s |      25 |  6822175 |  5214298 |     2879   4443 |        0 |        0
740.71/741.08	c  741s |      25 |  6840260 |  5227898 |     2879   4452 |        0 |        0
742.71/743.08	c  743s |      25 |  6856168 |  5240298 |     2879   4460 |        0 |        0
744.71/745.09	c  745s |      25 |  6872925 |  5252798 |     2879   4468 |        0 |        0
746.81/747.10	c  747s |      25 |  6889522 |  5265298 |     2879   4476 |        0 |        0
748.81/749.11	c  749s |      25 |  6905657 |  5277798 |     2879   4484 |        0 |        0
750.80/751.12	c  751s |      25 |  6921739 |  5290298 |     2879   4492 |        0 |        0
752.80/753.14	c  753s |      25 |  6938610 |  5302898 |     2879   4501 |        0 |        0
754.80/755.14	c  755s |      25 |  6954904 |  5315098 |     2879   4508 |        0 |        0
756.80/757.15	c  757s |      25 |  6973470 |  5328598 |     2879   4517 |        0 |        0
758.80/759.16	c  759s |      25 |  6990712 |  5341198 |     2879   4525 |        0 |        0
760.79/761.16	c  761s |      25 |  7006719 |  5353098 |     2879   4533 |        0 |        0
762.79/763.17	c  763s |      25 |  7023990 |  5365298 |     2879   4541 |        0 |        0
764.79/765.17	c  765s |      25 |  7041630 |  5378598 |     2879   4549 |        0 |        0
766.79/767.18	c  767s |      25 |  7059113 |  5391498 |     2879   4558 |        0 |        0
768.79/769.19	c  769s |      25 |  7075619 |  5404198 |     2879   4566 |        0 |        0
770.90/771.21	c  771s |      25 |  7093820 |  5417798 |     2879   4575 |        0 |        0
772.90/773.22	c  773s |      25 |  7112520 |  5431598 |     2879   4583 |        0 |        0
774.90/775.23	c  775s |      25 |  7127362 |  5443198 |     2879   4591 |        0 |        0
776.89/777.24	c  777s |      25 |  7146034 |  5457198 |     2879   4600 |        0 |        0
778.89/779.24	c  779s |      25 |  7164228 |  5470598 |     2879   4608 |        0 |        0
780.89/781.26	c  781s |      25 |  7180497 |  5483198 |     2879   4617 |        0 |        0
782.90/783.28	c  783s |      25 |  7195931 |  5495598 |     2879   4624 |        0 |        0
784.89/785.28	c  785s |      25 |  7212670 |  5508398 |     2879   4633 |        0 |        0
786.88/787.29	c  787s |      25 |  7229377 |  5521598 |     2879   4641 |        0 |        0
788.88/789.30	c  789s |      25 |  7245933 |  5534198 |     2879   4649 |        0 |        0
790.98/791.30	c  791s |      25 |  7263144 |  5546598 |     2879   4657 |        0 |        0
792.98/793.31	c  793s |      25 |  7279463 |  5559498 |     2879   4666 |        0 |        0
794.99/795.32	c  795s |      25 |  7295418 |  5571998 |     2879   4674 |        0 |        0
796.98/797.33	c  797s |      25 |  7312152 |  5584798 |     2879   4682 |        0 |        0
798.98/799.34	c  799s |      25 |  7329850 |  5598298 |     2879   4691 |        0 |        0
800.97/801.35	c  801s |      25 |  7345629 |  5610798 |     2879   4699 |        0 |        0
802.97/803.35	c  803s |      25 |  7363737 |  5624598 |     2879   4707 |        0 |        0
804.98/805.36	c  805s |      25 |  7380735 |  5637398 |     2879   4716 |        0 |        0
806.97/807.38	c  807s |      25 |  7396902 |  5649698 |     2879   4724 |        0 |        0
808.97/809.38	c  809s |      25 |  7413825 |  5662798 |     2879   4732 |        0 |        0
810.97/811.38	c  811s |      25 |  7430595 |  5675698 |     2879   4740 |        0 |        0
812.97/813.39	c  813s |      25 |  7446842 |  5688498 |     2879   4748 |        0 |        0
815.07/815.41	c  815s |      25 |  7463124 |  5701198 |     2879   4757 |        0 |        0
817.08/817.42	c  817s |      25 |  7480041 |  5713698 |     2879   4765 |        0 |        0
819.07/819.42	c  819s |      25 |  7497949 |  5726698 |     2879   4773 |        0 |        0
821.07/821.42	c  821s |      25 |  7514312 |  5738898 |     2879   4781 |        0 |        0
823.07/823.43	c  823s |      25 |  7532238 |  5752498 |     2879   4789 |        0 |        0
825.07/825.43	c  825s |      25 |  7550941 |  5766098 |     2879   4798 |        0 |        0
827.07/827.44	c  827s |      25 |  7569783 |  5780198 |     2879   4807 |        0 |        0
829.07/829.44	c  829s |      25 |  7585624 |  5792498 |     2879   4815 |        0 |        0
831.06/831.45	c  831s |      25 |  7603773 |  5806098 |     2879   4824 |        0 |        0
833.06/833.46	c  833s |      25 |  7621418 |  5819398 |     2879   4833 |        0 |        0
835.06/835.47	c  835s |      25 |  7639325 |  5833098 |     2879   4841 |        0 |        0
837.06/837.47	c  837s |      25 |  7655480 |  5845398 |     2879   4849 |        0 |        0
839.06/839.47	c  839s |      25 |  7672323 |  5858298 |     2879   4858 |        0 |        0
841.06/841.48	c  841s |      25 |  7690532 |  5871598 |     2879   4866 |        0 |        0
843.06/843.50	c  843s |      25 |  7707860 |  5884798 |     2879   4875 |        0 |        0
845.15/845.51	c  845s |      25 |  7726193 |  5898798 |     2879   4884 |        0 |        0
847.15/847.51	c  847s |      25 |  7742814 |  5911598 |     2879   4892 |        0 |        0
849.15/849.52	c  849s |      25 |  7759875 |  5924398 |     2879   4900 |        0 |        0
851.16/851.54	c  851s |      25 |  7776034 |  5937498 |     2879   4909 |        0 |        0
853.15/853.54	c  853s |      25 |  7792002 |  5949898 |     2879   4917 |        0 |        0
855.15/855.54	c  855s |      25 |  7809140 |  5963198 |     2879   4925 |        0 |        0
857.14/857.55	c  857s |      25 |  7826962 |  5976898 |     2879   4934 |        0 |        0
859.14/859.56	c  859s |      25 |  7843028 |  5989598 |     2879   4942 |        0 |        0
861.14/861.57	c  861s |      25 |  7858719 |  6001998 |     2879   4950 |        0 |        0
863.15/863.57	c  863s |      25 |  7876153 |  6015498 |     2879   4959 |        0 |        0
865.14/865.57	c  865s |      25 |  7892424 |  6028498 |     2879   4967 |        0 |        0
867.14/867.57	c  867s |      25 |  7911885 |  6043098 |     2879   4977 |        0 |        0
869.14/869.58	c  869s |      25 |  7933063 |  6058298 |     2879   4986 |        0 |        0
871.14/871.59	c  871s |      25 |  7950920 |  6071798 |     2879   4995 |        0 |        0
873.15/873.59	c  873s |      25 |  7967425 |  6084598 |     2879   5003 |        0 |        0
875.25/875.60	c  875s |      25 |  7984731 |  6097798 |     2879   5012 |        0 |        0
877.24/877.62	c  877s |      25 |  8001008 |  6110698 |     2879   5020 |        0 |        0
879.25/879.62	c  879s |      25 |  8018617 |  6124098 |     2879   5029 |        0 |        0
881.25/881.62	c  881s |      25 |  8036863 |  6137798 |     2879   5038 |        0 |        0
883.25/883.63	c  883s |      25 |  8054882 |  6151298 |     2879   5046 |        0 |        0
885.25/885.64	c  885s |      25 |  8072912 |  6165098 |     2879   5055 |        0 |        0
887.25/887.64	c  887s |      25 |  8090414 |  6178298 |     2879   5064 |        0 |        0
889.24/889.64	c  889s |      25 |  8109083 |  6191898 |     2879   5073 |        0 |        0
891.24/891.65	c  891s |      25 |  8127832 |  6205798 |     2879   5082 |        0 |        0
893.24/893.66	c  893s |      25 |  8146649 |  6219598 |     2879   5090 |        0 |        0
895.24/895.67	c  895s |      25 |  8163762 |  6232598 |     2879   5099 |        0 |        0
897.25/897.68	c  897s |      25 |  8179884 |  6245398 |     2879   5107 |        0 |        0
899.24/899.69	c  899s |      25 |  8198982 |  6259498 |     2879   5116 |        0 |        0
901.34/901.71	c  901s |      25 |  8218088 |  6274198 |     2879   5126 |        0 |        0
903.34/903.71	c  903s |      25 |  8235879 |  6287798 |     2879   5134 |        0 |        0
905.34/905.71	c  905s |      25 |  8253818 |  6301598 |     2879   5143 |        0 |        0
907.34/907.71	c  907s |      25 |  8271768 |  6315498 |     2879   5152 |        0 |        0
909.34/909.72	c  909s |      25 |  8288665 |  6328298 |     2879   5160 |        0 |        0
911.34/911.73	c  911s |      25 |  8305557 |  6341098 |     2879   5168 |        0 |        0
913.34/913.73	c  913s |      25 |  8321957 |  6353998 |     2879   5177 |        0 |        0
915.33/915.75	c  915s |      25 |  8338334 |  6366798 |     2879   5185 |        0 |        0
917.33/917.76	c  917s |      25 |  8356890 |  6380198 |     2879   5194 |        0 |        0
919.34/919.76	c  919s |      25 |  8373695 |  6393098 |     2879   5202 |        0 |        0
921.33/921.77	c  921s |      25 |  8391021 |  6406798 |     2879   5211 |        0 |        0
923.33/923.78	c  923s |      25 |  8405786 |  6418898 |     2879   5219 |        0 |        0
925.33/925.79	c  925s |      25 |  8421915 |  6431598 |     2879   5227 |        0 |        0
927.43/927.81	c  927s |      25 |  8440519 |  6445098 |     2879   5236 |        0 |        0
929.43/929.81	c  929s |      25 |  8459110 |  6458698 |     2879   5244 |        0 |        0
931.44/931.81	c  931s |      25 |  8476124 |  6471898 |     2879   5253 |        0 |        0
933.43/933.82	c  933s |      25 |  8494656 |  6485198 |     2879   5261 |        0 |        0
935.43/935.83	c  935s |      25 |  8512534 |  6498198 |     2879   5270 |        0 |        0
937.43/937.84	c  937s |      25 |  8528463 |  6510698 |     2879   5278 |        0 |        0
939.43/939.85	c  939s |      25 |  8546000 |  6523798 |     2879   5286 |        0 |        0
941.43/941.86	c  941s |      25 |  8562898 |  6536098 |     2879   5294 |        0 |        0
943.43/943.87	c  943s |      25 |  8579370 |  6548998 |     2879   5303 |        0 |        0
945.43/945.87	c  945s |      25 |  8596811 |  6561798 |     2879   5311 |        0 |        0
947.43/947.88	c  947s |      25 |  8613287 |  6574798 |     2879   5319 |        0 |        0
949.43/949.88	c  949s |      25 |  8628833 |  6587198 |     2879   5327 |        0 |        0
951.43/951.89	c  951s |      25 |  8645233 |  6599798 |     2879   5335 |        0 |        0
953.54/953.90	c  953s |      25 |  8663710 |  6613398 |     2879   5344 |        0 |        0
955.54/955.90	c  955s |      25 |  8683534 |  6627398 |     2879   5353 |        0 |        0
957.54/957.93	c  957s |      25 |  8701626 |  6640698 |     2879   5362 |        0 |        0
959.54/959.94	c  959s |      25 |  8719329 |  6653898 |     2879   5370 |        0 |        0
961.53/961.94	c  961s |      25 |  8736256 |  6666698 |     2879   5378 |        0 |        0
963.53/963.94	c  963s |      25 |  8754248 |  6679598 |     2879   5387 |        0 |        0
965.54/965.96	c  965s |      25 |  8773697 |  6693898 |     2879   5396 |        0 |        0
967.53/967.96	c  967s |      25 |  8789525 |  6705898 |     2879   5404 |        0 |        0
969.53/969.97	c  969s |      25 |  8806488 |  6719098 |     2879   5412 |        0 |        0
971.53/971.97	c  971s |      25 |  8823482 |  6731998 |     2879   5420 |        0 |        0
973.53/973.99	c  973s |      25 |  8840589 |  6744998 |     2879   5429 |        0 |        0
975.53/975.99	c  975s |      25 |  8857285 |  6757798 |     2879   5437 |        0 |        0
977.53/978.00	c  977s |      25 |  8874898 |  6770798 |     2879   5445 |        0 |        0
979.63/980.01	c  979s |      25 |  8892431 |  6784298 |     2879   5454 |        0 |        0
981.63/982.02	c  981s |      25 |  8907935 |  6796498 |     2879   5462 |        0 |        0
983.63/984.03	c  984s |      25 |  8924284 |  6809498 |     2879   5470 |        0 |        0
985.63/986.03	c  986s |      25 |  8941031 |  6822498 |     2879   5479 |        0 |        0
987.62/988.03	c  988s |      25 |  8957663 |  6835198 |     2879   5487 |        0 |        0
989.63/990.03	c  990s |      25 |  8975258 |  6848998 |     2879   5496 |        0 |        0
991.62/992.04	c  992s |      25 |  8992969 |  6862398 |     2879   5504 |        0 |        0
993.62/994.05	c  994s |      25 |  9012043 |  6875998 |     2879   5513 |        0 |        0
995.62/996.05	c  996s |      25 |  9030254 |  6889798 |     2879   5522 |        0 |        0
997.62/998.05	c  998s |      25 |  9046873 |  6902598 |     2879   5530 |        0 |        0
999.64/1000.05	c 1000s |      25 |  9063966 |  6915698 |     2879   5539 |        0 |        0
1001.63/1002.06	c 1002s |      25 |  9081712 |  6929698 |     2879   5548 |        0 |        0
1003.63/1004.06	c 1004s |      25 |  9099032 |  6942898 |     2879   5556 |        0 |        0
1005.63/1006.07	c 1006s |      25 |  9115695 |  6956098 |     2879   5565 |        0 |        0
1007.62/1008.08	c 1008s |      25 |  9132313 |  6969098 |     2879   5573 |        0 |        0
1009.62/1010.09	c 1010s |      25 |  9148142 |  6981398 |     2879   5581 |        0 |        0
1011.63/1012.10	c 1012s |      25 |  9163140 |  6993698 |     2879   5589 |        0 |        0
1013.72/1014.12	c 1014s |      25 |  9180542 |  7006698 |     2879   5598 |        0 |        0
1015.72/1016.13	c 1016s |      25 |  9199824 |  7020698 |     2879   5607 |        0 |        0
1017.72/1018.14	c 1018s |      25 |  9217413 |  7034498 |     2879   5615 |        0 |        0
1019.72/1020.15	c 1020s |      25 |  9233796 |  7046898 |     2879   5623 |        0 |        0
1021.72/1022.16	c 1022s |      25 |  9249822 |  7059498 |     2879   5632 |        0 |        0
1023.73/1024.16	c 1024s |      25 |  9264196 |  7071298 |     2879   5639 |        0 |        0
1025.72/1026.17	c 1026s |      25 |  9280804 |  7084098 |     2879   5647 |        0 |        0
1027.72/1028.19	c 1028s |      25 |  9299454 |  7097998 |     2879   5656 |        0 |        0
1029.72/1030.19	c 1030s |      25 |  9314773 |  7109998 |     2879   5664 |        0 |        0
1031.82/1032.20	c 1032s |      25 |  9329809 |  7121498 |     2879   5671 |        0 |        0
1033.82/1034.21	c 1034s |      25 |  9347569 |  7134298 |     2879   5680 |        0 |        0
1035.82/1036.22	c 1036s |      25 |  9364291 |  7147198 |     2879   5688 |        0 |        0
1037.81/1038.23	c 1038s |      25 |  9379911 |  7159598 |     2879   5696 |        0 |        0
1039.82/1040.24	c 1040s |      25 |  9396048 |  7172198 |     2879   5704 |        0 |        0
1041.82/1042.25	c 1042s |      25 |  9412599 |  7184798 |     2879   5712 |        0 |        0
1043.82/1044.25	c 1044s |      25 |  9424284 |  7194898 |     2879   5719 |        0 |        0
1045.83/1046.26	c 1046s |      25 |  9439429 |  7206798 |     2879   5726 |        0 |        0
1047.82/1048.27	c 1048s |      25 |  9454905 |  7218698 |     2879   5734 |        0 |        0
1049.82/1050.28	c 1050s |      25 |  9470331 |  7230798 |     2879   5742 |        0 |        0
1051.82/1052.28	c 1052s |      25 |  9484957 |  7242398 |     2879   5749 |        0 |        0
1053.82/1054.29	c 1054s |      25 |  9500635 |  7254698 |     2879   5757 |        0 |        0
1055.92/1056.30	c 1056s |      25 |  9516482 |  7267098 |     2879   5765 |        0 |        0
1057.82/1058.30	c 1058s |      25 |  9534272 |  7280298 |     2879   5774 |        0 |        0
1059.92/1060.31	c 1060s |      25 |  9553796 |  7294298 |     2879   5783 |        0 |        0
1061.92/1062.31	c 1062s |      25 |  9571666 |  7307398 |     2879   5791 |        0 |        0
1063.92/1064.32	c 1064s |      25 |  9591421 |  7321798 |     2879   5800 |        0 |        0
1065.92/1066.32	c 1066s |      25 |  9607338 |  7334398 |     2879   5808 |        0 |        0
1067.91/1068.34	c 1068s |      25 |  9626195 |  7348198 |     2879   5817 |        0 |        0
1069.92/1070.36	c 1070s |      25 |  9642884 |  7361798 |     2879   5826 |        0 |        0
1071.91/1072.37	c 1072s |      25 |  9658177 |  7374098 |     2879   5834 |        0 |        0
1073.91/1074.37	c 1074s |      25 |  9675037 |  7387198 |     2879   5842 |        0 |        0
1075.91/1076.38	c 1076s |      25 |  9692162 |  7400198 |     2879   5851 |        0 |        0
1077.91/1078.38	c 1078s |      25 |  9709578 |  7413598 |     2879   5859 |        0 |        0
1079.92/1080.38	c 1080s |      25 |  9727157 |  7426398 |     2879   5868 |        0 |        0
1081.91/1082.38	c 1082s |      25 |  9745827 |  7440098 |     2879   5877 |        0 |        0
1083.91/1084.40	c 1084s |      25 |  9761533 |  7452298 |     2879   5884 |        0 |        0
1086.01/1086.40	c 1086s |      25 |  9777547 |  7464398 |     2879   5892 |        0 |        0
1088.01/1088.40	c 1088s |      25 |  9793994 |  7476598 |     2879   5900 |        0 |        0
1090.01/1090.41	c 1090s |      25 |  9811634 |  7490098 |     2879   5909 |        0 |        0
1092.01/1092.41	c 1092s |      25 |  9829233 |  7503098 |     2879   5917 |        0 |        0
1094.01/1094.42	c 1094s |      25 |  9845939 |  7515698 |     2879   5926 |        0 |        0
1096.01/1096.42	c 1096s |      25 |  9863065 |  7528598 |     2879   5934 |        0 |        0
1098.01/1098.43	c 1098s |      25 |  9880664 |  7542098 |     2879   5943 |        0 |        0
1100.00/1100.44	c 1100s |      25 |  9900398 |  7556298 |     3167   5951 |        0 |        0
1102.00/1102.44	c 1102s |      25 |  9917316 |  7568998 |     3167   5958 |        0 |        0
1104.02/1104.44	c 1104s |      25 |  9936661 |  7583398 |     3167   5967 |        0 |        0
1106.01/1106.46	c 1106s |      25 |  9951957 |  7595198 |     3167   5974 |        0 |        0
1106.51/1106.92	c 1106s |      26 |  9955339 |  7597752 |     3167   5975 |        0 |        0
1108.52/1108.93	c 1108s |      26 |  9974014 |  7611652 |     3167   5984 |        0 |        0
1110.51/1110.93	c 1110s |      26 |  9991089 |  7624752 |     3167   5991 |        0 |        0
1112.51/1112.93	c 1112s |      26 | 10009221 |  7638652 |     3167   5999 |        0 |        0
1114.51/1114.94	c 1114s |      26 | 10027223 |  7652352 |     3167   6007 |        0 |        0
1116.51/1116.96	c 1116s |      26 | 10044150 |  7665452 |     3167   6015 |        0 |        0
1118.51/1118.97	c 1118s |      26 | 10062030 |  7678552 |     3167   6023 |        0 |        0
1120.51/1120.97	c 1120s |      26 | 10078885 |  7691752 |     3167   6031 |        0 |        0
1122.51/1122.97	c 1122s |      26 | 10095566 |  7704652 |     3167   6038 |        0 |        0
1124.51/1124.98	c 1124s |      26 | 10113890 |  7718552 |     3167   6046 |        0 |        0
1126.50/1126.99	c 1126s |      26 | 10131475 |  7731852 |     3167   6054 |        0 |        0
1128.50/1128.99	c 1128s |      26 | 10151376 |  7746652 |     3167   6063 |        0 |        0
1130.51/1131.00	c 1130s |      26 | 10169729 |  7760852 |     3167   6071 |        0 |        0
1132.61/1133.01	c 1132s |      26 | 10187818 |  7774152 |     3167   6079 |        0 |        0
1134.60/1135.02	c 1134s |      26 | 10205894 |  7787752 |     3167   6087 |        0 |        0
1136.60/1137.03	c 1137s |      26 | 10224051 |  7801352 |     3167   6095 |        0 |        0
1138.60/1139.03	c 1139s |      26 | 10241767 |  7814752 |     3167   6103 |        0 |        0
1140.61/1141.04	c 1141s |      26 | 10258111 |  7826952 |     3167   6110 |        0 |        0
1142.61/1143.05	c 1143s |      26 | 10276107 |  7840252 |     3167   6118 |        0 |        0
1144.61/1145.06	c 1145s |      26 | 10292964 |  7852752 |     3167   6125 |        0 |        0
1146.61/1147.08	c 1147s |      26 | 10308939 |  7865152 |     3167   6133 |        0 |        0
1148.61/1149.08	c 1149s |      26 | 10326952 |  7878952 |     3167   6141 |        0 |        0
1150.71/1151.10	c 1151s |      26 | 10344460 |  7891752 |     3167   6148 |        0 |        0
1152.70/1153.11	c 1153s |      26 | 10362568 |  7904852 |     3167   6156 |        0 |        0
1154.71/1155.11	c 1155s |      26 | 10380036 |  7918552 |     3167   6164 |        0 |        0
1156.70/1157.12	c 1157s |      26 | 10397544 |  7931852 |     3167   6172 |        0 |        0
1158.70/1159.13	c 1159s |      26 | 10416747 |  7946052 |     3167   6180 |        0 |        0
1160.70/1161.14	c 1161s |      26 | 10433951 |  7959352 |     3167   6188 |        0 |        0
1162.70/1163.14	c 1163s |      26 | 10451038 |  7972452 |     3167   6196 |        0 |        0
1164.70/1165.15	c 1165s |      26 | 10469266 |  7985952 |     3167   6204 |        0 |        0
1166.70/1167.16	c 1167s |      26 | 10490217 |  8001252 |     3167   6213 |        0 |        0
1168.70/1169.16	c 1169s |      26 | 10508428 |  8015052 |     3167   6221 |        0 |        0
1170.70/1171.17	c 1171s |      26 | 10524932 |  8028052 |     3167   6228 |        0 |        0
1172.69/1173.18	c 1173s |      26 | 10543139 |  8041452 |     3167   6236 |        0 |        0
1174.79/1175.20	c 1175s |      26 | 10560497 |  8054652 |     3167   6244 |        0 |        0
1176.79/1177.21	c 1177s |      26 | 10576441 |  8067152 |     3167   6251 |        0 |        0
1178.80/1179.21	c 1179s |      26 | 10594876 |  8081452 |     3167   6260 |        0 |        0
1180.79/1181.22	c 1181s |      26 | 10611607 |  8094452 |     3167   6267 |        0 |        0
1182.79/1183.23	c 1183s |      26 | 10628397 |  8107552 |     3167   6275 |        0 |        0
1184.79/1185.24	c 1185s |      26 | 10644011 |  8120052 |     3167   6282 |        0 |        0
1186.79/1187.25	c 1187s |      26 | 10660437 |  8132952 |     3167   6290 |        0 |        0
1188.81/1189.26	c 1189s |      26 | 10677744 |  8146352 |     3167   6298 |        0 |        0
1190.80/1191.27	c 1191s |      26 | 10696464 |  8160552 |     3167   6306 |        0 |        0
1192.80/1193.28	c 1193s |      26 | 10713762 |  8173852 |     3167   6314 |        0 |        0
1194.80/1195.29	c 1195s |      26 | 10731704 |  8187852 |     3167   6323 |        0 |        0
1196.80/1197.29	c 1197s |      26 | 10750673 |  8202052 |     3167   6331 |        0 |        0
1198.90/1199.30	c 1199s |      26 | 10768336 |  8215152 |     3167   6339 |        0 |        0
1200.80/1201.30	c 1201s |      26 | 10783438 |  8227052 |     3167   6346 |        0 |        0
1202.89/1203.30	c 1203s |      26 | 10801876 |  8240952 |     3167   6354 |        0 |        0
1204.89/1205.31	c 1205s |      26 | 10820871 |  8255452 |     3167   6362 |        0 |        0
1206.89/1207.31	c 1207s |      26 | 10839426 |  8269152 |     3167   6371 |        0 |        0
1208.89/1209.32	c 1209s |      26 | 10857096 |  8282652 |     3167   6378 |        0 |        0
1210.89/1211.33	c 1211s |      26 | 10875123 |  8296252 |     3167   6386 |        0 |        0
1212.90/1213.34	c 1213s |      26 | 10894092 |  8310452 |     3167   6395 |        0 |        0
1214.89/1215.34	c 1215s |      26 | 10911992 |  8323552 |     3167   6402 |        0 |        0
1216.89/1217.34	c 1217s |      26 | 10928345 |  8336452 |     3167   6410 |        0 |        0
1218.89/1219.35	c 1219s |      26 | 10944753 |  8348752 |     3167   6417 |        0 |        0
1220.89/1221.37	c 1221s |      26 | 10961251 |  8361452 |     3167   6425 |        0 |        0
1222.89/1223.38	c 1223s |      26 | 10977271 |  8373752 |     3167   6432 |        0 |        0
1224.89/1225.38	c 1225s |      26 | 10993277 |  8386152 |     3167   6439 |        0 |        0
1226.89/1227.39	c 1227s |      26 | 11010386 |  8399352 |     3167   6447 |        0 |        0
1228.89/1229.39	c 1229s |      26 | 11028433 |  8413152 |     3167   6455 |        0 |        0
1230.98/1231.41	c 1231s |      26 | 11043440 |  8425052 |     3167   6462 |        0 |        0
1232.98/1233.43	c 1233s |      26 | 11059622 |  8437752 |     3167   6470 |        0 |        0
1234.99/1235.44	c 1235s |      26 | 11076134 |  8450152 |     3167   6477 |        0 |        0
1236.99/1237.45	c 1237s |      26 | 11094144 |  8463852 |     3167   6485 |        0 |        0
1238.99/1239.46	c 1239s |      26 | 11114239 |  8478652 |     3167   6494 |        0 |        0
1240.99/1241.46	c 1241s |      26 | 11131674 |  8491652 |     3167   6501 |        0 |        0
1242.99/1243.47	c 1243s |      26 | 11148474 |  8504252 |     3167   6509 |        0 |        0
1244.99/1245.48	c 1245s |      26 | 11166299 |  8517252 |     3167   6516 |        0 |        0
1247.00/1247.49	c 1247s |      26 | 11183988 |  8530952 |     3167   6524 |        0 |        0
1248.99/1249.49	c 1249s |      26 | 11201777 |  8544252 |     3167   6532 |        0 |        0
1251.09/1251.50	c 1251s |      26 | 11217961 |  8556352 |     3167   6539 |        0 |        0
1253.09/1253.51	c 1253s |      26 | 11235462 |  8569752 |     3167   6547 |        0 |        0
1255.09/1255.52	c 1255s |      26 | 11251839 |  8582252 |     3167   6555 |        0 |        0
1257.08/1257.54	c 1257s |      26 | 11266379 |  8594152 |     3167   6561 |        0 |        0
1259.09/1259.54	c 1259s |      26 | 11283091 |  8606852 |     3167   6569 |        0 |        0
1261.08/1261.54	c 1261s |      26 | 11298000 |  8618852 |     3167   6576 |        0 |        0
1263.08/1263.57	c 1263s |      26 | 11314232 |  8631652 |     3167   6584 |        0 |        0
1265.08/1265.58	c 1265s |      26 | 11332161 |  8645152 |     3167   6591 |        0 |        0
1267.08/1267.59	c 1267s |      26 | 11348160 |  8657352 |     3167   6599 |        0 |        0
1269.18/1269.60	c 1269s |      26 | 11366216 |  8671252 |     3167   6607 |        0 |        0
1271.08/1271.60	c 1271s |      26 | 11383426 |  8684052 |     3167   6614 |        0 |        0
1273.18/1273.60	c 1273s |      26 | 11400677 |  8697352 |     3167   6622 |        0 |        0
1275.18/1275.61	c 1275s |      26 | 11417111 |  8709952 |     3167   6630 |        0 |        0
1277.18/1277.62	c 1277s |      26 | 11435801 |  8724152 |     3167   6638 |        0 |        0
1279.18/1279.63	c 1279s |      26 | 11454266 |  8737652 |     3167   6646 |        0 |        0
1281.19/1281.65	c 1281s |      26 | 11470259 |  8750052 |     3167   6653 |        0 |        0
1283.18/1283.66	c 1283s |      26 | 11486172 |  8762452 |     3167   6661 |        0 |        0
1285.18/1285.67	c 1285s |      26 | 11501058 |  8774352 |     3167   6668 |        0 |        0
1287.18/1287.67	c 1287s |      26 | 11519110 |  8787752 |     3167   6675 |        0 |        0
1289.18/1289.68	c 1289s |      26 | 11533848 |  8799452 |     3167   6682 |        0 |        0
1291.18/1291.69	c 1291s |      26 | 11549860 |  8811952 |     3167   6690 |        0 |        0
1293.28/1293.70	c 1293s |      26 | 11567288 |  8825352 |     3167   6698 |        0 |        0
1295.28/1295.71	c 1295s |      26 | 11585307 |  8838652 |     3167   6705 |        0 |        0
1297.27/1297.71	c 1297s |      26 | 11601145 |  8850952 |     3167   6713 |        0 |        0
1299.28/1299.72	c 1299s |      26 | 11618804 |  8864152 |     3167   6720 |        0 |        0
1301.28/1301.73	c 1301s |      26 | 11636238 |  8877252 |     3167   6728 |        0 |        0
1303.28/1303.73	c 1303s |      26 | 11653554 |  8890152 |     3167   6736 |        0 |        0
1305.29/1305.73	c 1305s |      26 | 11672639 |  8903852 |     3167   6744 |        0 |        0
1307.28/1307.74	c 1307s |      26 | 11688929 |  8916252 |     3167   6751 |        0 |        0
1309.28/1309.75	c 1309s |      26 | 11706890 |  8930052 |     3167   6759 |        0 |        0
1311.28/1311.76	c 1311s |      26 | 11724285 |  8943652 |     3167   6767 |        0 |        0
1313.28/1313.77	c 1313s |      26 | 11742771 |  8956952 |     3167   6775 |        0 |        0
1315.28/1315.77	c 1315s |      26 | 11760423 |  8970152 |     3167   6783 |        0 |        0
1317.28/1317.78	c 1317s |      26 | 11776628 |  8982752 |     3167   6791 |        0 |        0
1319.38/1319.80	c 1319s |      26 | 11792257 |  8994852 |     3167   6798 |        0 |        0
1321.37/1321.81	c 1321s |      26 | 11811202 |  9009352 |     3167   6806 |        0 |        0
1323.37/1323.82	c 1323s |      26 | 11827533 |  9022052 |     3167   6814 |        0 |        0
1325.37/1325.82	c 1325s |      26 | 11844645 |  9035052 |     3167   6821 |        0 |        0
1327.38/1327.84	c 1327s |      26 | 11862946 |  9048852 |     3167   6829 |        0 |        0
1329.37/1329.84	c 1329s |      26 | 11879473 |  9061552 |     3167   6837 |        0 |        0
1331.37/1331.86	c 1331s |      26 | 11896094 |  9074352 |     3167   6844 |        0 |        0
1333.37/1333.87	c 1333s |      26 | 11912619 |  9087152 |     3167   6852 |        0 |        0
1335.37/1335.87	c 1335s |      26 | 11929782 |  9100252 |     3167   6860 |        0 |        0
1337.37/1337.88	c 1337s |      26 | 11944615 |  9111852 |     3167   6866 |        0 |        0
1339.48/1339.92	c 1339s |      26 | 11962804 |  9125752 |     3167   6875 |        0 |        0
1341.48/1341.92	c 1341s |      26 | 11977270 |  9137552 |     3167   6882 |        0 |        0
1343.48/1343.92	c 1343s |      26 | 11993291 |  9149352 |     3167   6888 |        0 |        0
1345.48/1345.93	c 1345s |      26 | 12010977 |  9162252 |     3167   6896 |        0 |        0
1347.48/1347.94	c 1347s |      26 | 12026142 |  9174452 |     3167   6903 |        0 |        0
1349.47/1349.94	c 1349s |      26 | 12042603 |  9186852 |     3167   6911 |        0 |        0
1351.48/1351.95	c 1351s |      26 | 12059365 |  9200352 |     3167   6918 |        0 |        0
1353.47/1353.95	c 1353s |      26 | 12078112 |  9214552 |     3167   6927 |        0 |        0
1355.47/1355.96	c 1355s |      26 | 12094754 |  9227352 |     3167   6934 |        0 |        0
1357.47/1357.97	c 1357s |      26 | 12111597 |  9240652 |     3167   6942 |        0 |        0
1359.47/1359.98	c 1359s |      26 | 12128767 |  9253652 |     3167   6950 |        0 |        0
1361.48/1361.98	c 1361s |      26 | 12143387 |  9265352 |     3167   6957 |        0 |        0
1363.47/1363.98	c 1363s |      26 | 12159341 |  9277852 |     3167   6964 |        0 |        0
1365.47/1365.99	c 1365s |      26 | 12174946 |  9290152 |     3167   6971 |        0 |        0
1367.57/1368.01	c 1367s |      26 | 12191083 |  9302252 |     3167   6979 |        0 |        0
1369.57/1370.01	c 1369s |      26 | 12208439 |  9315852 |     3167   6987 |        0 |        0
1371.57/1372.02	c 1371s |      26 | 12225226 |  9329052 |     3167   6994 |        0 |        0
1373.57/1374.04	c 1374s |      26 | 12243191 |  9342552 |     3167   7002 |        0 |        0
1375.57/1376.04	c 1376s |      26 | 12261157 |  9355752 |     3167   7010 |        0 |        0
1377.57/1378.07	c 1378s |      26 | 12276662 |  9368352 |     3167   7018 |        0 |        0
1379.57/1380.08	c 1380s |      26 | 12290911 |  9379952 |     3167   7024 |        0 |        0
1381.57/1382.08	c 1382s |      26 | 12306910 |  9392552 |     3167   7032 |        0 |        0
1383.56/1384.09	c 1384s |      26 | 12324055 |  9405552 |     3167   7039 |        0 |        0
1385.57/1386.10	c 1386s |      26 | 12341512 |  9418952 |     3167   7047 |        0 |        0
1387.66/1388.11	c 1388s |      26 | 12357717 |  9431352 |     3167   7055 |        0 |        0
1389.66/1390.12	c 1390s |      26 | 12372615 |  9443252 |     3167   7062 |        0 |        0
1391.66/1392.12	c 1392s |      26 | 12390457 |  9456252 |     3167   7069 |        0 |        0
1393.66/1394.12	c 1394s |      26 | 12407253 |  9469352 |     3167   7077 |        0 |        0
1395.66/1396.13	c 1396s |      26 | 12423598 |  9481652 |     3167   7084 |        0 |        0
1397.67/1398.13	c 1398s |      26 | 12440804 |  9495252 |     3167   7092 |        0 |        0
1399.66/1400.13	c 1400s |      26 | 12456765 |  9507452 |     3167   7099 |        0 |        0
1401.66/1402.14	c 1402s |      26 | 12473500 |  9520052 |     3167   7107 |        0 |        0
1403.66/1404.16	c 1404s |      26 | 12489758 |  9532152 |     3167   7114 |        0 |        0
1405.66/1406.16	c 1406s |      26 | 12505438 |  9544152 |     3167   7121 |        0 |        0
1407.67/1408.16	c 1408s |      26 | 12524430 |  9558152 |     3167   7129 |        0 |        0
1409.66/1410.17	c 1410s |      26 | 12541346 |  9570652 |     3167   7137 |        0 |        0
1411.66/1412.17	c 1412s |      26 | 12556856 |  9582652 |     3167   7144 |        0 |        0
1413.66/1414.18	c 1414s |      26 | 12573511 |  9595352 |     3167   7151 |        0 |        0
1415.66/1416.19	c 1416s |      26 | 12591751 |  9609152 |     3167   7159 |        0 |        0
1417.76/1418.20	c 1418s |      26 | 12609291 |  9622052 |     3167   7167 |        0 |        0
1419.76/1420.20	c 1420s |      26 | 12625660 |  9634752 |     3167   7175 |        0 |        0
1421.76/1422.21	c 1422s |      26 | 12641175 |  9646952 |     3167   7182 |        0 |        0
1423.76/1424.21	c 1424s |      26 | 12659031 |  9660052 |     3167   7190 |        0 |        0
1425.76/1426.21	c 1426s |      26 | 12676787 |  9673552 |     3167   7198 |        0 |        0
1427.76/1428.22	c 1428s |      26 | 12692757 |  9686252 |     3167   7205 |        0 |        0
1429.75/1430.23	c 1430s |      26 | 12710220 |  9699552 |     3167   7213 |        0 |        0
1431.76/1432.24	c 1432s |      26 | 12728405 |  9712752 |     3167   7221 |        0 |        0
1433.75/1434.25	c 1434s |      26 | 12745185 |  9725552 |     3167   7228 |        0 |        0
1435.76/1436.26	c 1436s |      26 | 12761463 |  9738452 |     3167   7236 |        0 |        0
1437.76/1438.26	c 1438s |      26 | 12776308 |  9750052 |     3167   7243 |        0 |        0
1439.76/1440.28	c 1440s |      26 | 12792303 |  9762152 |     3167   7250 |        0 |        0
1441.77/1442.28	c 1442s |      26 | 12811074 |  9776052 |     3167   7258 |        0 |        0
1443.76/1444.29	c 1444s |      26 | 12828412 |  9789552 |     3167   7266 |        0 |        0
1445.86/1446.30	c 1446s |      26 | 12844661 |  9801752 |     3167   7273 |        0 |        0
1447.86/1448.30	c 1448s |      26 | 12862227 |  9814352 |     3167   7280 |        0 |        0
1449.86/1450.31	c 1450s |      26 | 12878302 |  9826652 |     3167   7288 |        0 |        0
1451.86/1452.32	c 1452s |      26 | 12895767 |  9839652 |     3167   7295 |        0 |        0
1453.86/1454.33	c 1454s |      26 | 12912757 |  9852852 |     3167   7303 |        0 |        0
1455.86/1456.33	c 1456s |      26 | 12930590 |  9866752 |     3167   7311 |        0 |        0
1457.86/1458.34	c 1458s |      26 | 12948938 |  9880552 |     3167   7319 |        0 |        0
1459.86/1460.35	c 1460s |      26 | 12964241 |  9892152 |     3167   7326 |        0 |        0
1461.85/1462.35	c 1462s |      26 | 12981556 |  9905152 |     3167   7334 |        0 |        0
1463.85/1464.36	c 1464s |      26 | 12997962 |  9917852 |     3167   7342 |        0 |        0
1465.86/1466.37	c 1466s |      26 | 13016004 |  9930852 |     3167   7349 |        0 |        0
1467.85/1468.37	c 1468s |      26 | 13033084 |  9943552 |     3167   7357 |        0 |        0
1469.85/1470.37	c 1470s |      26 | 13049262 |  9955552 |     3167   7364 |        0 |        0
1471.95/1472.40	c 1472s |      26 | 13066396 |  9968552 |     3167   7372 |        0 |        0
1473.95/1474.43	c 1474s |      26 | 13083336 |  9982152 |     3167   7380 |        0 |        0
1475.95/1476.44	c 1476s |      26 | 13100107 |  9994752 |     3167   7387 |        0 |        0
1477.96/1478.44	c 1478s |      26 | 13117469 | 10007652 |     3167   7395 |        0 |        0
1479.95/1480.45	c 1480s |      26 | 13135344 | 10020952 |     3167   7403 |        0 |        0
1481.95/1482.46	c 1482s |      26 | 13153702 | 10034352 |     3167   7410 |        0 |        0
1483.95/1484.46	c 1484s |      26 | 13170015 | 10047252 |     3167   7418 |        0 |        0
1485.95/1486.47	c 1486s |      26 | 13186351 | 10059952 |     3167   7425 |        0 |        0
1487.95/1488.47	c 1488s |      26 | 13204162 | 10073352 |     3167   7433 |        0 |        0
1489.95/1490.47	c 1490s |      26 | 13221076 | 10086152 |     3167   7441 |        0 |        0
1491.95/1492.48	c 1492s |      26 | 13237055 | 10098552 |     3167   7448 |        0 |        0
1493.95/1494.49	c 1494s |      26 | 13253990 | 10111552 |     3167   7456 |        0 |        0
1496.05/1496.50	c 1496s |      26 | 13269895 | 10124152 |     3167   7463 |        0 |        0
1498.05/1498.50	c 1498s |      26 | 13285991 | 10136652 |     3167   7471 |        0 |        0
1500.05/1500.51	c 1500s |      26 | 13302824 | 10148752 |     3167   7478 |        0 |        0
1502.04/1502.51	c 1502s |      26 | 13319781 | 10161852 |     3167   7485 |        0 |        0
1504.04/1504.52	c 1504s |      26 | 13334933 | 10173952 |     3167   7493 |        0 |        0
1506.04/1506.52	c 1506s |      26 | 13350207 | 10185952 |     3167   7500 |        0 |        0
1508.04/1508.53	c 1508s |      26 | 13366281 | 10198352 |     3167   7507 |        0 |        0
1510.04/1510.54	c 1510s |      26 | 13382350 | 10211452 |     3167   7515 |        0 |        0
1512.06/1512.54	c 1512s |      26 | 13397907 | 10223452 |     3167   7522 |        0 |        0
1514.05/1514.54	c 1514s |      26 | 13415420 | 10236652 |     3167   7529 |        0 |        0
1516.05/1516.56	c 1516s |      26 | 13432543 | 10249852 |     3167   7537 |        0 |        0
1518.05/1518.56	c 1518s |      26 | 13448403 | 10261952 |     3167   7544 |        0 |        0
1520.05/1520.57	c 1520s |      26 | 13464873 | 10274752 |     3167   7552 |        0 |        0
1522.05/1522.57	c 1522s |      26 | 13482248 | 10287552 |     3167   7559 |        0 |        0
1524.05/1524.58	c 1524s |      26 | 13501253 | 10301752 |     3167   7568 |        0 |        0
1526.05/1526.58	c 1526s |      26 | 13516386 | 10313852 |     3167   7575 |        0 |        0
1528.05/1528.58	c 1528s |      26 | 13533815 | 10326652 |     3167   7582 |        0 |        0
1530.05/1530.59	c 1530s |      26 | 13550676 | 10340052 |     3167   7590 |        0 |        0
1532.15/1532.61	c 1532s |      26 | 13567193 | 10352352 |     3167   7598 |        0 |        0
1534.15/1534.61	c 1534s |      26 | 13584839 | 10365252 |     3167   7605 |        0 |        0
1536.14/1536.62	c 1536s |      26 | 13601310 | 10377952 |     3167   7613 |        0 |        0
1538.14/1538.63	c 1538s |      26 | 13618297 | 10390952 |     3167   7620 |        0 |        0
1540.14/1540.64	c 1540s |      26 | 13634821 | 10403452 |     3167   7628 |        0 |        0
1542.14/1542.64	c 1542s |      26 | 13652333 | 10416652 |     3167   7635 |        0 |        0
1544.14/1544.64	c 1544s |      26 | 13668523 | 10429052 |     3167   7643 |        0 |        0
1546.15/1546.65	c 1546s |      26 | 13684703 | 10441752 |     3167   7650 |        0 |        0
1548.14/1548.67	c 1548s |      26 | 13700942 | 10454252 |     3167   7657 |        0 |        0
1550.14/1550.67	c 1550s |      26 | 13718233 | 10467352 |     3167   7665 |        0 |        0
1552.14/1552.68	c 1552s |      26 | 13735776 | 10480152 |     3167   7673 |        0 |        0
1554.14/1554.69	c 1554s |      26 | 13750293 | 10491352 |     3167   7679 |        0 |        0
1556.24/1556.70	c 1556s |      26 | 13766597 | 10503252 |     3167   7686 |        0 |        0
1558.25/1558.72	c 1558s |      26 | 13783131 | 10515952 |     3167   7694 |        0 |        0
1560.24/1560.72	c 1560s |      26 | 13799596 | 10528352 |     3167   7701 |        0 |        0
1562.24/1562.73	c 1562s |      26 | 13816454 | 10540752 |     3167   7708 |        0 |        0
1564.24/1564.73	c 1564s |      26 | 13833756 | 10553752 |     3167   7716 |        0 |        0
1566.24/1566.74	c 1566s |      26 | 13848944 | 10565352 |     3167   7723 |        0 |        0
1568.25/1568.75	c 1568s |      26 | 13865988 | 10577852 |     3167   7730 |        0 |        0
1570.24/1570.76	c 1570s |      26 | 13882456 | 10590752 |     3167   7738 |        0 |        0
1572.24/1572.78	c 1572s |      26 | 13900165 | 10603952 |     3167   7746 |        0 |        0
1574.24/1574.79	c 1574s |      26 | 13915858 | 10615852 |     3167   7753 |        0 |        0
1576.24/1576.79	c 1576s |      26 | 13931974 | 10627852 |     3167   7760 |        0 |        0
1578.34/1578.80	c 1578s |      26 | 13946567 | 10640152 |     3167   7767 |        0 |        0
1580.34/1580.82	c 1580s |      26 | 13962955 | 10652652 |     3167   7774 |        0 |        0
1582.33/1582.83	c 1582s |      26 | 13978339 | 10664752 |     3167   7781 |        0 |        0
1584.33/1584.84	c 1584s |      26 | 13994812 | 10677552 |     3167   7789 |        0 |        0
1586.33/1586.84	c 1586s |      26 | 14011099 | 10689552 |     3167   7796 |        0 |        0
1588.33/1588.85	c 1588s |      26 | 14029543 | 10703052 |     3167   7804 |        0 |        0
1590.33/1590.86	c 1590s |      26 | 14045773 | 10715252 |     3167   7811 |        0 |        0
1592.34/1592.86	c 1592s |      26 | 14060028 | 10726852 |     3167   7818 |        0 |        0
1594.34/1594.87	c 1594s |      26 | 14076969 | 10739552 |     3167   7825 |        0 |        0
1596.34/1596.88	c 1596s |      26 | 14094032 | 10752952 |     3167   7833 |        0 |        0
1598.34/1598.89	c 1598s |      26 | 14110682 | 10765652 |     3167   7841 |        0 |        0
1600.44/1600.90	c 1600s |      26 | 14126213 | 10777652 |     3167   7848 |        0 |        0
1602.43/1602.91	c 1602s |      26 | 14143424 | 10791052 |     3167   7856 |        0 |        0
1604.44/1604.91	c 1604s |      26 | 14158637 | 10802752 |     3167   7863 |        0 |        0
1606.43/1606.92	c 1606s |      26 | 14176576 | 10815852 |     3167   7870 |        0 |        0
1608.43/1608.93	c 1608s |      26 | 14195025 | 10829752 |     3167   7879 |        0 |        0
1610.43/1610.93	c 1610s |      26 | 14210484 | 10841652 |     3167   7885 |        0 |        0
1612.43/1612.93	c 1612s |      26 | 14227662 | 10853952 |     3167   7893 |        0 |        0
1614.44/1614.95	c 1614s |      26 | 14244972 | 10867052 |     3167   7900 |        0 |        0
1616.43/1616.96	c 1616s |      26 | 14262262 | 10880552 |     3167   7908 |        0 |        0
1618.43/1618.97	c 1618s |      26 | 14278438 | 10892552 |     3167   7916 |        0 |        0
1620.43/1620.98	c 1620s |      26 | 14294278 | 10905052 |     3167   7923 |        0 |        0
1622.43/1622.98	c 1622s |      26 | 14312291 | 10918952 |     3167   7931 |        0 |        0
1624.43/1624.99	c 1624s |      26 | 14327613 | 10930852 |     3167   7938 |        0 |        0
1626.53/1627.01	c 1626s |      26 | 14343805 | 10943652 |     3167   7946 |        0 |        0
1628.53/1629.01	c 1628s |      26 | 14361237 | 10957052 |     3167   7953 |        0 |        0
1630.53/1631.01	c 1630s |      26 | 14376346 | 10969152 |     3167   7961 |        0 |        0
1632.53/1633.02	c 1632s |      26 | 14391946 | 10981252 |     3167   7968 |        0 |        0
1634.53/1635.03	c 1635s |      26 | 14408617 | 10994252 |     3167   7975 |        0 |        0
1636.53/1637.03	c 1637s |      26 | 14422911 | 11005652 |     3167   7982 |        0 |        0
1638.53/1639.04	c 1639s |      26 | 14440605 | 11019052 |     3167   7990 |        0 |        0
1640.52/1641.05	c 1641s |      26 | 14458000 | 11032652 |     3167   7998 |        0 |        0
1642.52/1643.05	c 1643s |      26 | 14476257 | 11046652 |     3167   8006 |        0 |        0
1644.52/1645.07	c 1645s |      26 | 14493371 | 11059452 |     3167   8014 |        0 |        0
1646.52/1647.08	c 1647s |      26 | 14510447 | 11072752 |     3167   8021 |        0 |        0
1648.53/1649.08	c 1649s |      26 | 14527930 | 11085752 |     3167   8029 |        0 |        0
1650.52/1651.10	c 1651s |      26 | 14546393 | 11099852 |     3167   8037 |        0 |        0
1652.62/1653.11	c 1653s |      26 | 14562119 | 11111452 |     3167   8044 |        0 |        0
1654.62/1655.12	c 1655s |      26 | 14578970 | 11124252 |     3167   8052 |        0 |        0
1656.62/1657.12	c 1657s |      26 | 14595486 | 11136952 |     3167   8059 |        0 |        0
1658.62/1659.13	c 1659s |      26 | 14612141 | 11149352 |     3167   8066 |        0 |        0
1660.63/1661.14	c 1661s |      26 | 14630283 | 11162952 |     3167   8075 |        0 |        0
1662.62/1663.15	c 1663s |      26 | 14649132 | 11176052 |     3167   8082 |        0 |        0
1664.62/1665.16	c 1665s |      26 | 14667539 | 11189752 |     3167   8090 |        0 |        0
1666.62/1667.17	c 1667s |      26 | 14685335 | 11203152 |     3167   8098 |        0 |        0
1668.62/1669.17	c 1669s |      26 | 14702647 | 11216252 |     3167   8106 |        0 |        0
1670.62/1671.18	c 1671s |      26 | 14718965 | 11229052 |     3167   8114 |        0 |        0
1672.63/1673.19	c 1673s |      26 | 14733792 | 11240652 |     3167   8120 |        0 |        0
1674.72/1675.20	c 1675s |      26 | 14751055 | 11253752 |     3167   8128 |        0 |        0
1676.72/1677.21	c 1677s |      26 | 14766711 | 11266252 |     3167   8135 |        0 |        0
1678.72/1679.22	c 1679s |      26 | 14780111 | 11277352 |     3167   8142 |        0 |        0
1680.72/1681.22	c 1681s |      26 | 14795821 | 11289252 |     3167   8149 |        0 |        0
1682.72/1683.23	c 1683s |      26 | 14811591 | 11301452 |     3167   8156 |        0 |        0
1684.73/1685.24	c 1685s |      26 | 14827678 | 11314052 |     3167   8164 |        0 |        0
1686.72/1687.24	c 1687s |      26 | 14842867 | 11326252 |     3484   8170 |        0 |        0
1688.72/1689.25	c 1689s |      26 | 14858392 | 11338552 |     3484   8177 |        0 |        0
1690.72/1691.26	c 1691s |      26 | 14873262 | 11350452 |     3484   8183 |        0 |        0
1692.72/1693.27	c 1693s |      26 | 14888912 | 11362652 |     3484   8190 |        0 |        0
1694.73/1695.28	c 1695s |      26 | 14905950 | 11375752 |     3484   8197 |        0 |        0
1696.72/1697.28	c 1697s |      26 | 14922622 | 11388552 |     3484   8204 |        0 |        0
1698.12/1698.66	c 1698s |      27 | 14933369 | 11396733 |     3484   8208 |        0 |        0
1700.12/1700.66	c 1700s |      27 | 14946439 | 11407733 |     3484   8214 |        0 |        0
1702.12/1702.67	c 1702s |      27 | 14958299 | 11417633 |     3484   8219 |        0 |        0
1704.12/1704.69	c 1704s |      27 | 14974490 | 11430233 |     3484   8226 |        0 |        0
1706.22/1706.70	c 1706s |      27 | 14985556 | 11440033 |     3484   8231 |        0 |        0
1708.22/1708.71	c 1708s |      27 | 15000891 | 11451933 |     3484   8238 |        0 |        0
1710.21/1710.72	c 1710s |      27 | 15016147 | 11463633 |     3484   8244 |        0 |        0
1712.22/1712.74	c 1712s |      27 | 15032092 | 11475933 |     3484   8251 |        0 |        0
1714.21/1714.74	c 1714s |      27 | 15047260 | 11487333 |     3484   8257 |        0 |        0
1716.21/1716.74	c 1716s |      27 | 15062166 | 11499033 |     3484   8263 |        0 |        0
1718.21/1718.75	c 1718s |      27 | 15077642 | 11511233 |     3484   8270 |        0 |        0
1720.21/1720.77	c 1720s |      27 | 15092704 | 11523233 |     3484   8276 |        0 |        0
1722.22/1722.77	c 1722s |      27 | 15106396 | 11534033 |     3484   8282 |        0 |        0
1724.21/1724.78	c 1724s |      27 | 15122554 | 11546233 |     3484   8289 |        0 |        0
1726.21/1726.79	c 1726s |      27 | 15138218 | 11558433 |     3484   8295 |        0 |        0
1728.32/1728.80	c 1728s |      27 | 15154919 | 11571433 |     3484   8302 |        0 |        0
1730.32/1730.82	c 1730s |      27 | 15171792 | 11584633 |     3484   8310 |        0 |        0
1732.32/1732.82	c 1732s |      27 | 15187685 | 11597133 |     3484   8316 |        0 |        0
1734.32/1734.83	c 1734s |      27 | 15203235 | 11609533 |     3484   8323 |        0 |        0
1736.32/1736.85	c 1736s |      27 | 15219537 | 11621833 |     3484   8330 |        0 |        0
1738.31/1738.86	c 1738s |      27 | 15236057 | 11633933 |     3484   8336 |        0 |        0
1740.31/1740.86	c 1740s |      27 | 15252563 | 11646233 |     3484   8343 |        0 |        0
1742.31/1742.87	c 1742s |      27 | 15269595 | 11659133 |     3484   8350 |        0 |        0
1744.31/1744.88	c 1744s |      27 | 15285226 | 11671333 |     3484   8357 |        0 |        0
1746.32/1746.89	c 1746s |      27 | 15302656 | 11684333 |     3484   8364 |        0 |        0
1748.41/1748.90	c 1748s |      27 | 15318299 | 11696533 |     3484   8371 |        0 |        0
1750.41/1750.91	c 1750s |      27 | 15335079 | 11709033 |     3484   8377 |        0 |        0
1752.41/1752.92	c 1752s |      27 | 15351974 | 11721433 |     3484   8384 |        0 |        0
1754.41/1754.93	c 1754s |      27 | 15368364 | 11733033 |     3484   8391 |        0 |        0
1756.41/1756.94	c 1756s |      27 | 15384915 | 11745533 |     3484   8397 |        0 |        0
1758.41/1758.95	c 1758s |      27 | 15401673 | 11758133 |     3484   8404 |        0 |        0
1760.41/1760.97	c 1760s |      27 | 15419214 | 11771133 |     3484   8411 |        0 |        0
1762.41/1762.97	c 1762s |      27 | 15436357 | 11784133 |     3484   8418 |        0 |        0
1764.41/1764.98	c 1764s |      27 | 15451357 | 11795733 |     3484   8425 |        0 |        0
1766.41/1766.98	c 1766s |      27 | 15466342 | 11806733 |     3484   8431 |        0 |        0
1768.41/1768.99	c 1768s |      27 | 15483076 | 11819233 |     3484   8438 |        0 |        0
1770.41/1770.99	c 1770s |      27 | 15497377 | 11829933 |     3484   8443 |        0 |        0
1772.41/1773.00	c 1772s |      27 | 15512454 | 11841633 |     3484   8450 |        0 |        0
1774.51/1775.01	c 1774s |      27 | 15527491 | 11852833 |     3484   8456 |        0 |        0
1776.51/1777.03	c 1777s |      27 | 15543089 | 11864833 |     3484   8462 |        0 |        0
1778.50/1779.04	c 1779s |      27 | 15559939 | 11877633 |     3484   8469 |        0 |        0
1780.51/1781.04	c 1781s |      27 | 15574667 | 11888933 |     3484   8476 |        0 |        0
1782.50/1783.05	c 1783s |      27 | 15590302 | 11901333 |     3484   8482 |        0 |        0
1784.50/1785.06	c 1785s |      27 | 15605524 | 11913333 |     3484   8489 |        0 |        0
1786.50/1787.09	c 1787s |      27 | 15621230 | 11925533 |     3484   8496 |        0 |        0
1788.50/1789.09	c 1789s |      27 | 15637502 | 11938233 |     3484   8502 |        0 |        0
1790.60/1791.10	c 1791s |      27 | 15653041 | 11950233 |     3484   8509 |        0 |        0
1792.61/1793.11	c 1793s |      27 | 15671124 | 11964133 |     3484   8517 |        0 |        0
1794.60/1795.11	c 1795s |      27 | 15688291 | 11977033 |     3484   8523 |        0 |        0
1796.61/1797.11	c 1797s |      27 | 15703816 | 11989333 |     3484   8530 |        0 |        0
1798.61/1799.12	c 1799s |      27 | 15721881 | 12002833 |     3484   8537 |        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-4120978-1467313049/watcher-4120978-1467313049 -o /tmp/evaluation-result-4120978-1467313049/solver-4120978-1467313049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120978-1467313049.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 18554
/proc/meminfo: memFree=28498888/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=247228 CPUtime=0 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 4 0 12261717 253161472 1199 33554432000 4194304 16246674 140735584948592 140735584948016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18554/statm: 62575 1208 441 2943 0 59469 0
[pid=18554/tid=18555] ppid=18551 vsize=262588 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 268890112 1259 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=267708 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 274132992 1276 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=271804 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12261717 278327296 1291 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 18554
/proc/meminfo: memFree=28498888/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 22616 0 0 0 5 3 0 0 20 0 4 0 12261717 1247350784 22965 33554432000 4194304 16246674 140735584948592 140735584948016 6836566 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18554/statm: 304529 22969 707 2943 0 301423 0
[pid=18554/tid=18555] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 22969 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 22974 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 22979 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200467 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 18554
/proc/meminfo: memFree=28498888/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 43569 0 0 0 13 6 0 0 20 0 4 0 12261717 1247350784 43919 33554432000 4194304 16246674 140735584948592 140735584948016 5724508 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18554/statm: 304529 43929 707 2943 0 301423 0
[pid=18554/tid=18555] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 43935 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 43940 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 43947 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300425 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 18554
/proc/meminfo: memFree=28498888/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 64905 0 0 0 20 9 0 0 20 0 4 0 12261717 1247350784 65254 33554432000 4194304 16246674 140735584948592 140735584930496 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18554/statm: 304529 65266 707 2943 0 301423 0
[pid=18554/tid=18555] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 65272 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 65278 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 65285 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700361 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 18554
/proc/meminfo: memFree=28498888/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 146959 0 0 0 50 18 0 0 20 0 4 0 12261717 1247350784 147309 33554432000 4194304 16246674 140735584948592 140735584930496 5515033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 304529 147315 707 2943 0 301423 0
[pid=18554/tid=18555] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 147320 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 147325 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12261717 1247350784 147327 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 18558
/proc/meminfo: memFree=27576324/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 245809 0 0 0 118 31 0 0 20 0 4 0 12261717 1249447936 246138 33554432000 4194304 16246674 140735584948592 140735584947808 5823961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 305041 246138 783 2943 0 301935 0
[pid=18554/tid=18555] ppid=18551 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1249447936 246138 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1249447936 246138 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1249447936 246138 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 18558
/proc/meminfo: memFree=27429384/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 267577 0 0 0 275 34 0 0 20 0 4 0 12261717 1338576896 267906 33554432000 4194304 16246674 140735584948592 140735584931592 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 326801 267906 783 2943 0 323695 0
[pid=18554/tid=18555] ppid=18551 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1338576896 267906 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1338576896 267906 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1338576896 267906 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 18558
/proc/meminfo: memFree=27426376/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 268069 0 0 0 595 34 0 0 20 0 4 0 12261717 1339625472 268398 33554432000 4194304 16246674 140735584948592 140735584931592 5822687 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 327057 268398 784 2943 0 323951 0
[pid=18554/tid=18555] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268398 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268398 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268398 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 18558
/proc/meminfo: memFree=27426020/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 268078 0 0 0 1234 34 0 0 20 0 4 0 12261717 1339625472 268407 33554432000 4194304 16246674 140735584948592 140735584930496 5974006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 327057 268407 784 2943 0 323951 0
[pid=18554/tid=18555] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268407 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268407 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1339625472 268407 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.25 2.25 2.19 4/183 18558
/proc/meminfo: memFree=27426028/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 268190 0 0 0 2514 35 0 0 20 0 4 0 12261717 1340674048 268519 33554432000 4194304 16246674 140735584948592 140735584930496 5589376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 327313 268519 784 2943 0 324207 0
[pid=18554/tid=18555] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268519 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268519 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268519 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 18558
/proc/meminfo: memFree=27425120/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 268334 0 0 0 5073 35 0 0 20 0 4 0 12261717 1340674048 268663 33554432000 4194304 16246674 140735584948592 140735584930496 5667424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 327313 268663 784 2943 0 324207 0
[pid=18554/tid=18555] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268663 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268663 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1340674048 268663 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 18559
/proc/meminfo: memFree=27424656/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 268400 0 0 0 10192 36 0 0 20 0 4 0 12261717 1341722624 268729 33554432000 4194304 16246674 140735584948592 140735584930496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 327569 268729 784 2943 0 324463 0
[pid=18554/tid=18555] ppid=18551 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1341722624 268729 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1341722624 268729 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1341722624 268729 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1351159808 271229 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.30 2.30 2.23 3/184 19152
/proc/meminfo: memFree=27416952/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1361.87 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271830 0 0 0 136129 58 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 140735584930496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271741 787 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.23 4/183 19153
/proc/meminfo: memFree=27417456/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1421.86 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271830 0 0 0 142128 58 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 140735584930496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271741 787 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.27 2.28 2.23 3/183 19154
/proc/meminfo: memFree=27417344/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1481.85 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271830 0 0 0 148126 59 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 140735584930496 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271741 787 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.25 2.27 2.22 3/183 19156
/proc/meminfo: memFree=27417564/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1541.85 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271830 0 0 0 154125 60 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 140735584930496 5823709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271741 787 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271741 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.13 2.23 2.21 4/183 19157
/proc/meminfo: memFree=27418364/32872528 swapFree=1498616/1645784
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1601.83 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 160122 61 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 5663554 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.25 2.25 2.22 3/183 19158
/proc/meminfo: memFree=27418040/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1661.82 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 166121 61 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.18 2.23 2.21 3/183 19159
/proc/meminfo: memFree=27417928/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1721.81 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 172119 62 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.21 4/183 19160
/proc/meminfo: memFree=27417056/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1781.8 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 178117 63 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 19161
/proc/meminfo: memFree=27416804/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1800.01 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 179937 64 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 5677320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1321540

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

[startup+1800.5 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 19161
/proc/meminfo: memFree=27416804/32872528 swapFree=1498612/1645780
[pid=18554] ppid=18551 vsize=1321540 CPUtime=1800.01 cores=0,2,4,6
/proc/18554/stat : 18554 (toysat) R 18551 18554 13393 0 -1 4202496 271831 0 0 0 179937 64 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 140735584930496 5677320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18554/statm: 330385 271742 788 2943 0 327279 0
[pid=18554/tid=18555] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18555/stat : 18555 (toysat) S 18551 18554 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679768751344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18554/tid=18556] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18556/stat : 18556 (toysat) S 18551 18554 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679758261488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18554/tid=18557] ppid=18551 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/18554/task/18557/stat : 18557 (toysat) S 18551 18554 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12261717 1353256960 271742 33554432000 4194304 16246674 140735584948592 139679747787952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1321540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.38
CPU system time (s): 0.640902
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.640902
maximum resident set size= 1086968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271831
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= 435
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61715 second user time and 7.9208 second system time

The end

Begin job on node124 at 2016-06-30 20:57:29
IDJOB=4120978
IDBENCH=110205
IDSOLVER=2542
FILE ID=node124/4120978-1467313049
RUNJOBID= node124-1467310918-18129
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-98.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120978-1467313049/watcher-4120978-1467313049 -o /tmp/evaluation-result-4120978-1467313049/solver-4120978-1467313049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120978-1467313049.opb

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

MD5SUM BENCH= 976267151fed9b0a8cf7ba7513c95a2d
RANDOM SEED=1718228912

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28499276 kB
Buffers:          148240 kB
Cached:           736648 kB
SwapCached:            0 kB
Active:          1350648 kB
Inactive:         630532 kB
Active(anon):    1087396 kB
Inactive(anon):    11336 kB
Active(file):     263252 kB
Inactive(file):   619196 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2741096 kB
Mapped:            17064 kB
Shmem:               204 kB
Slab:             610396 kB
SReclaimable:      54464 kB
SUnreclaim:       555932 kB
KernelStack:        1480 kB
PageTables:         9468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2875748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    864256 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= 71692 MiB
End job on node124 at 2016-06-30 21:27:30