0.00/0.00	c 2016-06-15T19:48:03+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-4088686-1466012883.opb"]
0.00/0.01	c use --random-gen="4156096991 3115912378 3244653368 1180740111 2850053828 233074737 2591037626 400939121 1041952113 1389766138 1651775641 1051751628 1350230339 1498328204 44171932 968042882 2090170268 2691957809 281939371 2699296842 1437395728 879557966 1493131076 3694595936 3432438354 654713360 4016949879 2081374632 2366084061 1891475132 3200043972 2318084556 2222806675 2728959623 2526859287 1800236613 3497345687 848584141 1112919225 3000531428 1474543507 810871639 1724382840 2694083336 3940230714 2543804926 3104137859 194954895 293927381 1212190920 3426784596 3231499025 828597215 1188797901 2228715397 93014844 1244963400 4225738516 2745401068 23672529 1252449449 1251724369 336457306 3271783695 1921264499 1470023810 3451679170 1388769196 2453792545 3848723377 3453173253 354225112 1525428040 2152632448 163507004 3832859309 263082474 2722701083 3738565622 3114031060 1686424182 708096839 3122969025 60386370 1405304080 1748774962 2393073393 213381640 295306192 2037253848 4075704838 2106593403 3096322922 356801064 2934530281 322722167 1767633538 1168098929 2866478055 1271109931 3759522305 2788850425 535181598 3039036310 3116981936 3126738554 2087353551 341051606 88696090 3921942973 1765316812 2360328562 3769774589 4222350498 1354321112 3410333069 3096976147 596671038 568849606 3322129153 2713816045 3370181199 2734246767 439795777 1393260539 3533964887 3415908559 1339032910 3881279591 2994132778 1565675460 2026164809 2540758156 2481808189 1661085250 3753510868 3922663888 128519760 3509428402 1305593806 1415484371 3132234625 2351531377 1556385660 3487484761 1796293357 2438607396 3006607166 4100232016 851006261 2893954748 118291899 2363981212 1622750777 3385636626 3622913975 2182739109 2815747614 391001136 4101330195 3744794083 1562770110 1260576924 4249793138 2758654305 53657026 1894642443 2447252523 3927471604 3361445035 2613715848 646538065 2056431537 511065020 2914990575 2712716606 2568468412 2417212837 2590670320 3945931112 1961887120 335997232 2233117120 4257186181 622394712 4157464284 1598885949 3022672269 27175012 3034317030 3625676431 2769729590 4049983247 3244066731 3138872193 216554455 3416438713 938308544 239319636 3828936836 2365251259 977315260 3450640133 3636670107 1447304126 1813617491 2942841811 3973025576 3749562693 2311372674 2376504694 2488629930 1745351801 836992132 3575258879 163901352 1654141868 1783628898 2224942534 1926245191 1444782218 2820888125 2292052924 2904923757 2134520773 18938016 1662902144 3431493578 1461749184 501146267 2259156119 14391797 26731828 1032677640 2447968785 1953714338 3653534776 609857839 2675682652 3208399356 909008669 2654188106 3573205931 633735565 2436721107 3570167180 4129123326 3116508164 986044499 3275356037 2792225806 1036281617 2209245214 3726634045 3613180025 1940025489 255 362436" option to reproduce the execution
0.00/0.01	c #vars 501
0.00/0.01	c #constraints 251
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.02	c  0.0s |       0 |        0 |        0 |      334      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      340 |      100 |      334      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      720 |      250 |      368      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |     1181 |      475 |      405      0 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1735 |      813 |      446      1 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2547 |     1320 |      491      3 |        0 |        0
0.18/0.21	c  0.2s |       6 |     3723 |     2081 |      596      4 |        0 |        0
0.29/0.34	c  0.3s |       7 |     5362 |     3223 |      656      6 |        0 |        0
0.49/0.53	c  0.5s |       8 |     7544 |     4936 |      722     11 |        0 |        0
0.69/0.78	c  0.8s |       9 |    11172 |     7506 |      795     15 |        0 |        0
1.10/1.16	c  1.1s |      10 |    16366 |    11361 |      875     22 |        0 |        0
1.69/1.71	c  1.7s |      11 |    23457 |    17144 |      963     32 |        0 |        0
2.49/2.54	c  2.5s |      12 |    34402 |    25819 |     1060     45 |        0 |        0
3.58/3.68	c  3.7s |      13 |    51055 |    38832 |     1166     63 |        0 |        0
5.60/5.68	c  5.7s |      13 |    76404 |    58032 |     1283     90 |        0 |        0
5.69/5.71	c  5.7s |      14 |    76959 |    58352 |     1283     90 |        0 |        0
7.70/7.72	c  7.7s |      14 |   103961 |    78752 |     1283    116 |        0 |        0
8.49/8.56	c  8.5s |      15 |   115673 |    87632 |     1412    127 |        0 |        0
10.49/10.57	c 10.6s |      15 |   138368 |   104832 |     1412    148 |        0 |        0
12.49/12.58	c 12.6s |      15 |   160512 |   121732 |     1412    168 |        0 |        0
13.69/13.70	c 13.7s |      16 |   172816 |   131552 |     1554    179 |        0 |        0
15.69/15.70	c 15.7s |      16 |   200722 |   151952 |     1554    202 |        0 |        0
17.69/17.71	c 17.7s |      16 |   230167 |   173652 |     1554    225 |        0 |        0
19.69/19.72	c 19.7s |      16 |   258743 |   195152 |     1554    249 |        0 |        0
19.89/19.95	c 19.9s |      17 |   261741 |   197432 |     1710    251 |        0 |        0
21.88/21.95	c 21.9s |      17 |   290772 |   218932 |     1710    272 |        0 |        0
23.88/23.96	c 23.9s |      17 |   322416 |   241232 |     1710    295 |        0 |        0
25.88/25.96	c 25.9s |      17 |   352854 |   263132 |     1710    317 |        0 |        0
27.89/27.97	c 27.9s |      17 |   380042 |   283932 |     1710    338 |        0 |        0
29.09/29.16	c 29.1s |      18 |   396495 |   296252 |     1882    350 |        0 |        0
31.09/31.16	c 31.1s |      18 |   425041 |   316452 |     1882    369 |        0 |        0
33.09/33.16	c 33.1s |      18 |   451806 |   336452 |     1882    388 |        0 |        0
35.09/35.16	c 35.1s |      18 |   479828 |   356952 |     1882    407 |        0 |        0
37.09/37.18	c 37.2s |      18 |   507844 |   377852 |     1882    426 |        0 |        0
39.09/39.18	c 39.2s |      18 |   533389 |   397452 |     1882    444 |        0 |        0
41.09/41.18	c 41.2s |      18 |   557415 |   415452 |     1882    461 |        0 |        0
43.09/43.19	c 43.2s |      18 |   578466 |   432252 |     1882    477 |        0 |        0
44.69/44.73	c 44.7s |      19 |   594099 |   444482 |     2071    488 |        0 |        0
46.68/46.74	c 46.7s |      19 |   619911 |   463682 |     2071    504 |        0 |        0
48.68/48.74	c 48.7s |      19 |   644208 |   482482 |     2071    521 |        0 |        0
50.69/50.74	c 50.7s |      19 |   668432 |   501082 |     2071    537 |        0 |        0
52.68/52.74	c 52.7s |      19 |   694414 |   520982 |     2071    554 |        0 |        0
54.68/54.75	c 54.7s |      19 |   722284 |   541382 |     2071    572 |        0 |        0
56.68/56.76	c 56.7s |      19 |   748162 |   560682 |     2071    589 |        0 |        0
58.68/58.77	c 58.7s |      19 |   774643 |   580382 |     2071    607 |        0 |        0
60.68/60.77	c 60.8s |      19 |   796873 |   598082 |     2071    622 |        0 |        0
62.68/62.77	c 62.8s |      19 |   822419 |   616682 |     2071    639 |        0 |        0
64.68/64.78	c 64.8s |      19 |   849835 |   637282 |     2071    657 |        0 |        0
66.68/66.78	c 66.8s |      19 |   874579 |   655982 |     2071    673 |        0 |        0
67.98/68.02	c 68.0s |      20 |   888416 |   666827 |     2279    682 |        0 |        0
69.98/70.03	c 70.0s |      20 |   911306 |   683427 |     2279    695 |        0 |        0
71.97/72.03	c 72.0s |      20 |   933108 |   700427 |     2279    708 |        0 |        0
73.97/74.03	c 74.0s |      20 |   952971 |   716427 |     2279    721 |        0 |        0
75.98/76.06	c 76.0s |      20 |   976620 |   734027 |     2279    735 |        0 |        0
77.98/78.06	c 78.0s |      20 |  1002054 |   752927 |     2279    749 |        0 |        0
79.98/80.06	c 80.0s |      20 |  1027253 |   771727 |     2279    764 |        0 |        0
81.98/82.07	c 82.0s |      20 |  1048847 |   788727 |     2279    777 |        0 |        0
83.98/84.07	c 84.0s |      20 |  1071530 |   806127 |     2279    791 |        0 |        0
85.98/86.07	c 86.1s |      20 |  1093649 |   822827 |     2279    804 |        0 |        0
87.98/88.09	c 88.1s |      20 |  1114652 |   839227 |     2279    817 |        0 |        0
89.98/90.09	c 90.1s |      20 |  1138782 |   857427 |     2279    831 |        0 |        0
92.08/92.10	c 92.1s |      20 |  1159683 |   874127 |     2279    844 |        0 |        0
94.08/94.11	c 94.1s |      20 |  1177097 |   888327 |     2279    855 |        0 |        0
96.08/96.12	c 96.1s |      20 |  1195125 |   902627 |     2279    866 |        0 |        0
98.08/98.13	c 98.1s |      20 |  1221447 |   921627 |     2279    881 |        0 |        0
100.08/100.13	c  100s |      20 |  1246706 |   940327 |     2279    896 |        0 |        0
102.07/102.14	c  102s |      20 |  1271298 |   958627 |     2279    910 |        0 |        0
104.07/104.14	c  104s |      20 |  1297853 |   977827 |     2279    925 |        0 |        0
106.07/106.15	c  106s |      20 |  1322553 |   995927 |     2507    939 |        0 |        0
106.68/106.72	c  106s |      21 |  1328208 |  1000345 |     2507    942 |        0 |        0
108.67/108.73	c  108s |      21 |  1350026 |  1015945 |     2507    953 |        0 |        0
110.67/110.74	c  110s |      21 |  1372498 |  1032945 |     2507    966 |        0 |        0
112.67/112.74	c  112s |      21 |  1392168 |  1048545 |     2507    976 |        0 |        0
114.67/114.75	c  114s |      21 |  1413109 |  1064545 |     2507    988 |        0 |        0
116.68/116.75	c  116s |      21 |  1436640 |  1082145 |     2507   1001 |        0 |        0
118.67/118.75	c  118s |      21 |  1460356 |  1099745 |     2507   1014 |        0 |        0
120.67/120.77	c  120s |      21 |  1483883 |  1118045 |     2507   1028 |        0 |        0
122.67/122.78	c  122s |      21 |  1505671 |  1135145 |     2507   1040 |        0 |        0
124.67/124.78	c  124s |      21 |  1529064 |  1152445 |     2507   1054 |        0 |        0
126.67/126.79	c  126s |      21 |  1553445 |  1170445 |     2507   1067 |        0 |        0
128.67/128.80	c  128s |      21 |  1572374 |  1186045 |     2507   1079 |        0 |        0
130.77/130.81	c  130s |      21 |  1594342 |  1203145 |     2507   1092 |        0 |        0
132.77/132.82	c  132s |      21 |  1611778 |  1217845 |     2507   1103 |        0 |        0
134.77/134.82	c  134s |      21 |  1633981 |  1234545 |     2507   1116 |        0 |        0
136.77/136.83	c  136s |      21 |  1660591 |  1254345 |     2507   1131 |        0 |        0
138.77/138.83	c  138s |      21 |  1685750 |  1272745 |     2507   1145 |        0 |        0
140.78/140.84	c  140s |      21 |  1708710 |  1290045 |     2507   1158 |        0 |        0
142.77/142.84	c  142s |      21 |  1733548 |  1308245 |     2507   1171 |        0 |        0
144.77/144.85	c  144s |      21 |  1755752 |  1324845 |     2507   1183 |        0 |        0
146.77/146.85	c  146s |      21 |  1779222 |  1342645 |     2507   1196 |        0 |        0
148.77/148.86	c  148s |      21 |  1801267 |  1359245 |     2507   1208 |        0 |        0
150.77/150.86	c  150s |      21 |  1819649 |  1374045 |     2507   1219 |        0 |        0
152.77/152.87	c  152s |      21 |  1841276 |  1390745 |     2507   1231 |        0 |        0
154.76/154.87	c  154s |      21 |  1866113 |  1409045 |     2507   1245 |        0 |        0
156.76/156.88	c  156s |      21 |  1891232 |  1427645 |     2507   1258 |        0 |        0
158.76/158.89	c  158s |      21 |  1911882 |  1443645 |     2507   1270 |        0 |        0
160.86/160.90	c  160s |      21 |  1937785 |  1462745 |     2507   1284 |        0 |        0
162.87/162.90	c  162s |      21 |  1962307 |  1481145 |     2507   1298 |        0 |        0
164.86/164.91	c  164s |      21 |  1983920 |  1497745 |     2758   1309 |        0 |        0
165.07/165.20	c  165s |      22 |  1987819 |  1500622 |     2758   1311 |        0 |        0
167.06/167.20	c  167s |      22 |  2009756 |  1516722 |     2758   1322 |        0 |        0
169.16/169.20	c  169s |      22 |  2033644 |  1534122 |     2758   1333 |        0 |        0
171.16/171.21	c  171s |      22 |  2054611 |  1550022 |     2758   1344 |        0 |        0
173.17/173.22	c  173s |      22 |  2076253 |  1566022 |     2758   1355 |        0 |        0
175.17/175.23	c  175s |      22 |  2097087 |  1581622 |     2758   1365 |        0 |        0
177.17/177.23	c  177s |      22 |  2119242 |  1597722 |     2758   1376 |        0 |        0
179.16/179.23	c  179s |      22 |  2139210 |  1612822 |     2758   1386 |        0 |        0
181.16/181.24	c  181s |      22 |  2164338 |  1631122 |     2758   1398 |        0 |        0
183.16/183.24	c  183s |      22 |  2189200 |  1649322 |     2758   1410 |        0 |        0
185.16/185.24	c  185s |      22 |  2213090 |  1666822 |     2758   1421 |        0 |        0
187.16/187.25	c  187s |      22 |  2235411 |  1684022 |     2758   1433 |        0 |        0
189.17/189.25	c  189s |      22 |  2258232 |  1701122 |     2758   1444 |        0 |        0
191.16/191.25	c  191s |      22 |  2278504 |  1716522 |     2758   1454 |        0 |        0
193.16/193.26	c  193s |      22 |  2298267 |  1731822 |     2758   1464 |        0 |        0
195.16/195.27	c  195s |      22 |  2320698 |  1748822 |     2758   1476 |        0 |        0
197.16/197.27	c  197s |      22 |  2341844 |  1764722 |     2758   1486 |        0 |        0
199.16/199.28	c  199s |      22 |  2368431 |  1784022 |     2758   1499 |        0 |        0
201.16/201.29	c  201s |      22 |  2391607 |  1801422 |     2758   1511 |        0 |        0
203.26/203.30	c  203s |      22 |  2413843 |  1818822 |     2758   1522 |        0 |        0
205.25/205.31	c  205s |      22 |  2439762 |  1837622 |     2758   1534 |        0 |        0
207.25/207.32	c  207s |      22 |  2460508 |  1853522 |     2758   1545 |        0 |        0
209.26/209.32	c  209s |      22 |  2483575 |  1870622 |     2758   1556 |        0 |        0
211.27/211.34	c  211s |      22 |  2503395 |  1885922 |     2758   1567 |        0 |        0
213.26/213.34	c  213s |      22 |  2525506 |  1902222 |     2758   1577 |        0 |        0
215.26/215.34	c  215s |      22 |  2548354 |  1918822 |     2758   1589 |        0 |        0
217.26/217.35	c  217s |      22 |  2573244 |  1936822 |     2758   1601 |        0 |        0
219.26/219.38	c  219s |      22 |  2597121 |  1954622 |     2758   1613 |        0 |        0
221.26/221.38	c  221s |      22 |  2626106 |  1975422 |     2758   1626 |        0 |        0
223.26/223.39	c  223s |      22 |  2650325 |  1993222 |     2758   1638 |        0 |        0
225.36/225.40	c  225s |      22 |  2671937 |  2009622 |     2758   1649 |        0 |        0
227.35/227.41	c  227s |      22 |  2698598 |  2028122 |     2758   1661 |        0 |        0
229.35/229.41	c  229s |      22 |  2720562 |  2044322 |     2758   1672 |        0 |        0
231.35/231.42	c  231s |      22 |  2748177 |  2063422 |     2758   1684 |        0 |        0
233.35/233.43	c  233s |      22 |  2771167 |  2080422 |     2758   1696 |        0 |        0
235.36/235.43	c  235s |      22 |  2794979 |  2097922 |     2758   1707 |        0 |        0
237.35/237.44	c  237s |      22 |  2815178 |  2112922 |     2758   1717 |        0 |        0
239.35/239.45	c  239s |      22 |  2833604 |  2126922 |     2758   1727 |        0 |        0
241.35/241.45	c  241s |      22 |  2857446 |  2144322 |     2758   1738 |        0 |        0
243.35/243.46	c  243s |      22 |  2881420 |  2161822 |     2758   1750 |        0 |        0
245.36/245.46	c  245s |      22 |  2900264 |  2176322 |     2758   1759 |        0 |        0
247.35/247.47	c  247s |      22 |  2924277 |  2194122 |     2758   1771 |        0 |        0
249.35/249.47	c  249s |      22 |  2948695 |  2211922 |     2758   1783 |        0 |        0
251.36/251.48	c  251s |      22 |  2971353 |  2228722 |     2758   1794 |        0 |        0
253.45/253.50	c  253s |      22 |  2993413 |  2245122 |     3034   1805 |        0 |        0
254.35/254.43	c  254s |      23 |  3000685 |  2251038 |     3034   1808 |        0 |        0
256.36/256.44	c  256s |      23 |  3019915 |  2265838 |     3034   1817 |        0 |        0
258.35/258.45	c  258s |      23 |  3037756 |  2280538 |     3034   1827 |        0 |        0
260.35/260.46	c  260s |      23 |  3054233 |  2294338 |     3034   1835 |        0 |        0
262.35/262.46	c  262s |      23 |  3073694 |  2309638 |     3034   1845 |        0 |        0
264.35/264.47	c  264s |      23 |  3096647 |  2326538 |     3034   1855 |        0 |        0
266.35/266.48	c  266s |      23 |  3120769 |  2344438 |     3034   1866 |        0 |        0
268.36/268.48	c  268s |      23 |  3142555 |  2361238 |     3034   1877 |        0 |        0
270.35/270.48	c  270s |      23 |  3164143 |  2377438 |     3034   1887 |        0 |        0
272.35/272.49	c  272s |      23 |  3180580 |  2390438 |     3034   1894 |        0 |        0
274.45/274.50	c  274s |      23 |  3197973 |  2403938 |     3034   1902 |        0 |        0
276.45/276.51	c  276s |      23 |  3216730 |  2418538 |     3034   1911 |        0 |        0
278.45/278.52	c  278s |      23 |  3237302 |  2434238 |     3034   1921 |        0 |        0
280.45/280.52	c  280s |      23 |  3256582 |  2449338 |     3034   1930 |        0 |        0
282.45/282.54	c  282s |      23 |  3279530 |  2466838 |     3034   1941 |        0 |        0
284.45/284.54	c  284s |      23 |  3298565 |  2481738 |     3034   1950 |        0 |        0
286.44/286.55	c  286s |      23 |  3318422 |  2497238 |     3034   1959 |        0 |        0
288.44/288.55	c  288s |      23 |  3346600 |  2517138 |     3034   1971 |        0 |        0
290.45/290.56	c  290s |      23 |  3364350 |  2531638 |     3034   1981 |        0 |        0
292.44/292.57	c  292s |      23 |  3384818 |  2547738 |     3034   1991 |        0 |        0
294.44/294.58	c  294s |      23 |  3408763 |  2565638 |     3034   2002 |        0 |        0
296.44/296.59	c  296s |      23 |  3427735 |  2580438 |     3034   2012 |        0 |        0
298.44/298.59	c  298s |      23 |  3444373 |  2594038 |     3034   2020 |        0 |        0
300.44/300.60	c  300s |      23 |  3464849 |  2609638 |     3034   2030 |        0 |        0
302.55/302.61	c  302s |      23 |  3484449 |  2624738 |     3034   2040 |        0 |        0
304.54/304.61	c  304s |      23 |  3503247 |  2639438 |     3034   2049 |        0 |        0
306.54/306.63	c  306s |      23 |  3522762 |  2654038 |     3034   2059 |        0 |        0
308.55/308.64	c  308s |      23 |  3545626 |  2670638 |     3034   2069 |        0 |        0
310.55/310.64	c  310s |      23 |  3571218 |  2689238 |     3034   2080 |        0 |        0
312.55/312.65	c  312s |      23 |  3597016 |  2707938 |     3034   2091 |        0 |        0
314.55/314.65	c  314s |      23 |  3619947 |  2725638 |     3034   2102 |        0 |        0
316.54/316.66	c  316s |      23 |  3643338 |  2743038 |     3034   2113 |        0 |        0
318.54/318.67	c  318s |      23 |  3666020 |  2760038 |     3034   2123 |        0 |        0
320.54/320.68	c  320s |      23 |  3687417 |  2775638 |     3034   2132 |        0 |        0
322.54/322.68	c  322s |      23 |  3708343 |  2791338 |     3034   2142 |        0 |        0
324.55/324.69	c  324s |      23 |  3727823 |  2806638 |     3034   2151 |        0 |        0
326.65/326.70	c  326s |      23 |  3748593 |  2822238 |     3034   2161 |        0 |        0
328.64/328.70	c  328s |      23 |  3767327 |  2836738 |     3034   2169 |        0 |        0
330.64/330.71	c  330s |      23 |  3786373 |  2850938 |     3034   2178 |        0 |        0
332.64/332.72	c  332s |      23 |  3802270 |  2863538 |     3034   2186 |        0 |        0
334.64/334.72	c  334s |      23 |  3821745 |  2878238 |     3034   2195 |        0 |        0
336.64/336.73	c  336s |      23 |  3842294 |  2893538 |     3034   2204 |        0 |        0
338.64/338.74	c  338s |      23 |  3864470 |  2909838 |     3034   2214 |        0 |        0
340.64/340.75	c  340s |      23 |  3888412 |  2927538 |     3034   2225 |        0 |        0
342.63/342.75	c  342s |      23 |  3912801 |  2945438 |     3034   2235 |        0 |        0
344.63/344.76	c  344s |      23 |  3936728 |  2963138 |     3034   2246 |        0 |        0
346.63/346.77	c  346s |      23 |  3961219 |  2981438 |     3034   2257 |        0 |        0
348.64/348.79	c  348s |      23 |  3984580 |  2999238 |     3034   2269 |        0 |        0
350.64/350.79	c  350s |      23 |  4010181 |  3018438 |     3034   2281 |        0 |        0
352.64/352.79	c  352s |      23 |  4031208 |  3033638 |     3034   2290 |        0 |        0
354.64/354.80	c  354s |      23 |  4050937 |  3048738 |     3034   2299 |        0 |        0
356.74/356.81	c  356s |      23 |  4069302 |  3063538 |     3034   2308 |        0 |        0
358.74/358.82	c  358s |      23 |  4089250 |  3079338 |     3034   2317 |        0 |        0
360.74/360.83	c  360s |      23 |  4111560 |  3095638 |     3034   2327 |        0 |        0
362.73/362.83	c  362s |      23 |  4128824 |  3108938 |     3034   2336 |        0 |        0
364.73/364.84	c  364s |      23 |  4146985 |  3122938 |     3034   2344 |        0 |        0
366.73/366.85	c  366s |      23 |  4163357 |  3136038 |     3034   2352 |        0 |        0
368.73/368.86	c  368s |      23 |  4178483 |  3148238 |     3034   2360 |        0 |        0
370.74/370.87	c  370s |      23 |  4198319 |  3163638 |     3034   2369 |        0 |        0
372.73/372.87	c  372s |      23 |  4223438 |  3181738 |     3034   2381 |        0 |        0
374.73/374.87	c  374s |      23 |  4244588 |  3197638 |     3034   2390 |        0 |        0
376.73/376.87	c  376s |      23 |  4262207 |  3211538 |     3034   2399 |        0 |        0
378.73/378.89	c  378s |      23 |  4279788 |  3225538 |     3034   2407 |        0 |        0
380.73/380.89	c  380s |      23 |  4297736 |  3239538 |     3034   2415 |        0 |        0
382.74/382.89	c  382s |      23 |  4320394 |  3256538 |     3034   2426 |        0 |        0
384.83/384.90	c  384s |      23 |  4347379 |  3275938 |     3034   2438 |        0 |        0
386.84/386.91	c  386s |      23 |  4372859 |  3294538 |     3034   2449 |        0 |        0
388.83/388.91	c  388s |      23 |  4396807 |  3312338 |     3034   2460 |        0 |        0
390.83/390.92	c  390s |      23 |  4422926 |  3331438 |     3034   2473 |        0 |        0
392.83/392.92	c  392s |      23 |  4447157 |  3349238 |     3034   2484 |        0 |        0
394.84/394.93	c  394s |      23 |  4469191 |  3365438 |     3338   2493 |        0 |        0
396.13/396.25	c  396s |      24 |  4484955 |  3376662 |     3338   2499 |        0 |        0
398.14/398.26	c  398s |      24 |  4504468 |  3391262 |     3338   2507 |        0 |        0
400.13/400.26	c  400s |      24 |  4521930 |  3405262 |     3338   2515 |        0 |        0
402.13/402.27	c  402s |      24 |  4542344 |  3421262 |     3338   2524 |        0 |        0
404.13/404.28	c  404s |      24 |  4563852 |  3437362 |     3338   2533 |        0 |        0
406.13/406.29	c  406s |      24 |  4580717 |  3450762 |     3338   2540 |        0 |        0
408.14/408.29	c  408s |      24 |  4601990 |  3466962 |     3338   2549 |        0 |        0
410.13/410.29	c  410s |      24 |  4621799 |  3481962 |     3338   2558 |        0 |        0
412.23/412.30	c  412s |      24 |  4643241 |  3498062 |     3338   2567 |        0 |        0
414.23/414.31	c  414s |      24 |  4663853 |  3513862 |     3338   2576 |        0 |        0
416.23/416.31	c  416s |      24 |  4686051 |  3530062 |     3338   2585 |        0 |        0
418.23/418.32	c  418s |      24 |  4711180 |  3548762 |     3338   2596 |        0 |        0
420.23/420.33	c  420s |      24 |  4734940 |  3566162 |     3338   2605 |        0 |        0
422.23/422.34	c  422s |      24 |  4756563 |  3582162 |     3338   2614 |        0 |        0
424.23/424.36	c  424s |      24 |  4780275 |  3598962 |     3338   2624 |        0 |        0
426.23/426.37	c  426s |      24 |  4805777 |  3617162 |     3338   2634 |        0 |        0
428.22/428.38	c  428s |      24 |  4829310 |  3634562 |     3338   2644 |        0 |        0
430.22/430.39	c  430s |      24 |  4848107 |  3649062 |     3338   2652 |        0 |        0
432.33/432.40	c  432s |      24 |  4865023 |  3662562 |     3338   2659 |        0 |        0
434.32/434.41	c  434s |      24 |  4884433 |  3677562 |     3338   2668 |        0 |        0
436.32/436.41	c  436s |      24 |  4902710 |  3691862 |     3338   2676 |        0 |        0
438.32/438.41	c  438s |      24 |  4920339 |  3705862 |     3338   2683 |        0 |        0
440.32/440.42	c  440s |      24 |  4939891 |  3720562 |     3338   2691 |        0 |        0
442.32/442.42	c  442s |      24 |  4957916 |  3734862 |     3338   2699 |        0 |        0
444.33/444.43	c  444s |      24 |  4974201 |  3747562 |     3338   2706 |        0 |        0
446.32/446.44	c  446s |      24 |  4991050 |  3761062 |     3338   2714 |        0 |        0
448.32/448.44	c  448s |      24 |  5011613 |  3776262 |     3338   2722 |        0 |        0
450.33/450.44	c  450s |      24 |  5028059 |  3789562 |     3338   2729 |        0 |        0
452.32/452.45	c  452s |      24 |  5050277 |  3806362 |     3338   2739 |        0 |        0
454.33/454.46	c  454s |      24 |  5066709 |  3819662 |     3338   2746 |        0 |        0
456.32/456.46	c  456s |      24 |  5081111 |  3831762 |     3338   2753 |        0 |        0
458.32/458.46	c  458s |      24 |  5104857 |  3848762 |     3338   2763 |        0 |        0
460.32/460.47	c  460s |      24 |  5128611 |  3866062 |     3338   2772 |        0 |        0
462.32/462.47	c  462s |      24 |  5151740 |  3882862 |     3338   2782 |        0 |        0
464.32/464.48	c  464s |      24 |  5174379 |  3899462 |     3338   2791 |        0 |        0
466.32/466.50	c  466s |      24 |  5195828 |  3915062 |     3338   2800 |        0 |        0
468.42/468.51	c  468s |      24 |  5216139 |  3931162 |     3338   2808 |        0 |        0
470.42/470.52	c  470s |      24 |  5239831 |  3948862 |     3338   2818 |        0 |        0
472.41/472.52	c  472s |      24 |  5264855 |  3966762 |     3338   2828 |        0 |        0
474.41/474.53	c  474s |      24 |  5287836 |  3983462 |     3338   2838 |        0 |        0
476.41/476.53	c  476s |      24 |  5312305 |  4000762 |     3338   2847 |        0 |        0
478.42/478.54	c  478s |      24 |  5333821 |  4017062 |     3338   2857 |        0 |        0
480.42/480.55	c  480s |      24 |  5353779 |  4032462 |     3338   2865 |        0 |        0
482.42/482.55	c  482s |      24 |  5372280 |  4046662 |     3338   2873 |        0 |        0
484.42/484.56	c  484s |      24 |  5389592 |  4060362 |     3338   2881 |        0 |        0
486.42/486.57	c  486s |      24 |  5409196 |  4075462 |     3338   2889 |        0 |        0
488.42/488.57	c  488s |      24 |  5430887 |  4091662 |     3338   2898 |        0 |        0
490.42/490.57	c  490s |      24 |  5453403 |  4108162 |     3338   2907 |        0 |        0
492.42/492.59	c  492s |      24 |  5470962 |  4122162 |     3338   2915 |        0 |        0
494.51/494.60	c  494s |      24 |  5488637 |  4136262 |     3338   2923 |        0 |        0
496.51/496.60	c  496s |      24 |  5508126 |  4151262 |     3338   2932 |        0 |        0
498.51/498.60	c  498s |      24 |  5530160 |  4168062 |     3338   2941 |        0 |        0
500.52/500.61	c  500s |      24 |  5550743 |  4183962 |     3338   2950 |        0 |        0
502.51/502.61	c  502s |      24 |  5569736 |  4198562 |     3338   2958 |        0 |        0
504.51/504.61	c  504s |      24 |  5585028 |  4211262 |     3338   2965 |        0 |        0
506.51/506.62	c  506s |      24 |  5605203 |  4227262 |     3338   2975 |        0 |        0
508.51/508.62	c  508s |      24 |  5627250 |  4244162 |     3338   2984 |        0 |        0
510.51/510.62	c  510s |      24 |  5648923 |  4260462 |     3338   2993 |        0 |        0
512.52/512.63	c  512s |      24 |  5670347 |  4276462 |     3338   3002 |        0 |        0
514.51/514.64	c  514s |      24 |  5690165 |  4291462 |     3338   3011 |        0 |        0
516.51/516.65	c  516s |      24 |  5707347 |  4304962 |     3338   3018 |        0 |        0
518.51/518.65	c  518s |      24 |  5728926 |  4320862 |     3338   3027 |        0 |        0
520.51/520.66	c  520s |      24 |  5751139 |  4337462 |     3338   3037 |        0 |        0
522.51/522.66	c  522s |      24 |  5771406 |  4353162 |     3338   3045 |        0 |        0
524.51/524.66	c  524s |      24 |  5794481 |  4370062 |     3338   3055 |        0 |        0
526.51/526.68	c  526s |      24 |  5814465 |  4385462 |     3338   3064 |        0 |        0
528.50/528.68	c  528s |      24 |  5832531 |  4399062 |     3338   3071 |        0 |        0
530.60/530.70	c  530s |      24 |  5849971 |  4412362 |     3338   3079 |        0 |        0
532.61/532.71	c  532s |      24 |  5868454 |  4426462 |     3338   3087 |        0 |        0
534.62/534.71	c  534s |      24 |  5889457 |  4441962 |     3338   3095 |        0 |        0
536.61/536.72	c  536s |      24 |  5910965 |  4457862 |     3338   3104 |        0 |        0
538.61/538.72	c  538s |      24 |  5932263 |  4473462 |     3338   3113 |        0 |        0
540.61/540.73	c  540s |      24 |  5951202 |  4487762 |     3338   3121 |        0 |        0
542.61/542.73	c  542s |      24 |  5969046 |  4501662 |     3338   3129 |        0 |        0
544.61/544.74	c  544s |      24 |  5985786 |  4515062 |     3338   3136 |        0 |        0
546.62/546.74	c  546s |      24 |  6004111 |  4529562 |     3338   3145 |        0 |        0
548.61/548.76	c  548s |      24 |  6025365 |  4545362 |     3338   3154 |        0 |        0
550.61/550.76	c  550s |      24 |  6042696 |  4559262 |     3338   3161 |        0 |        0
552.61/552.77	c  552s |      24 |  6066302 |  4576462 |     3338   3171 |        0 |        0
554.60/554.78	c  554s |      24 |  6084010 |  4590562 |     3338   3179 |        0 |        0
556.61/556.79	c  556s |      24 |  6102251 |  4605162 |     3338   3187 |        0 |        0
558.60/558.80	c  558s |      24 |  6122328 |  4620462 |     3338   3196 |        0 |        0
560.70/560.81	c  560s |      24 |  6140939 |  4634662 |     3338   3204 |        0 |        0
562.70/562.81	c  562s |      24 |  6155299 |  4646762 |     3338   3211 |        0 |        0
564.70/564.82	c  564s |      24 |  6170108 |  4658962 |     3338   3217 |        0 |        0
566.70/566.83	c  566s |      24 |  6190441 |  4674862 |     3338   3226 |        0 |        0
568.71/568.84	c  568s |      24 |  6210235 |  4690362 |     3338   3235 |        0 |        0
570.70/570.84	c  570s |      24 |  6232935 |  4707462 |     3338   3245 |        0 |        0
572.70/572.85	c  572s |      24 |  6254368 |  4723762 |     3338   3254 |        0 |        0
574.70/574.86	c  574s |      24 |  6277068 |  4740062 |     3338   3263 |        0 |        0
576.70/576.86	c  576s |      24 |  6298513 |  4756262 |     3338   3272 |        0 |        0
578.70/578.86	c  578s |      24 |  6318997 |  4771662 |     3338   3281 |        0 |        0
580.70/580.86	c  580s |      24 |  6341906 |  4789262 |     3338   3291 |        0 |        0
582.70/582.87	c  582s |      24 |  6363309 |  4805762 |     3338   3300 |        0 |        0
584.70/584.87	c  584s |      24 |  6385989 |  4822562 |     3338   3310 |        0 |        0
586.70/586.88	c  586s |      24 |  6411487 |  4841162 |     3338   3320 |        0 |        0
588.70/588.89	c  588s |      24 |  6437450 |  4859762 |     3338   3331 |        0 |        0
590.80/590.90	c  590s |      24 |  6458054 |  4875162 |     3338   3339 |        0 |        0
592.70/592.90	c  592s |      24 |  6478597 |  4890662 |     3338   3348 |        0 |        0
594.80/594.91	c  594s |      24 |  6497092 |  4904962 |     3338   3356 |        0 |        0
596.80/596.91	c  596s |      24 |  6519396 |  4921262 |     3338   3366 |        0 |        0
598.80/598.93	c  598s |      24 |  6543556 |  4938262 |     3338   3375 |        0 |        0
600.80/600.93	c  600s |      24 |  6564155 |  4953862 |     3338   3384 |        0 |        0
602.81/602.93	c  602s |      24 |  6585031 |  4969262 |     3338   3393 |        0 |        0
604.80/604.95	c  604s |      24 |  6604677 |  4984262 |     3338   3402 |        0 |        0
606.80/606.97	c  606s |      24 |  6620007 |  4996262 |     3338   3408 |        0 |        0
608.80/608.98	c  608s |      24 |  6636808 |  5009262 |     3338   3415 |        0 |        0
610.80/610.99	c  610s |      24 |  6658430 |  5025162 |     3338   3424 |        0 |        0
612.80/612.99	c  612s |      24 |  6678313 |  5040462 |     3672   3432 |        0 |        0
614.80/615.00	c  614s |      24 |  6698413 |  5056062 |     3672   3440 |        0 |        0
616.20/616.34	c  616s |      25 |  6710664 |  5065098 |     3672   3444 |        0 |        0
618.20/618.35	c  618s |      25 |  6729013 |  5079598 |     3672   3452 |        0 |        0
620.19/620.37	c  620s |      25 |  6743572 |  5091298 |     3672   3458 |        0 |        0
622.19/622.37	c  622s |      25 |  6760963 |  5104598 |     3672   3465 |        0 |        0
624.19/624.38	c  624s |      25 |  6780554 |  5119698 |     3672   3472 |        0 |        0
626.19/626.38	c  626s |      25 |  6797921 |  5133498 |     3672   3479 |        0 |        0
628.19/628.39	c  628s |      25 |  6813064 |  5145998 |     3672   3486 |        0 |        0
630.20/630.39	c  630s |      25 |  6832639 |  5160898 |     3672   3494 |        0 |        0
632.19/632.39	c  632s |      25 |  6853530 |  5176898 |     3672   3502 |        0 |        0
634.29/634.41	c  634s |      25 |  6869553 |  5189598 |     3672   3508 |        0 |        0
636.29/636.42	c  636s |      25 |  6889111 |  5204998 |     3672   3516 |        0 |        0
638.29/638.42	c  638s |      25 |  6909808 |  5221098 |     3672   3525 |        0 |        0
640.29/640.43	c  640s |      25 |  6924703 |  5233098 |     3672   3531 |        0 |        0
642.29/642.43	c  642s |      25 |  6942802 |  5247198 |     3672   3538 |        0 |        0
644.30/644.45	c  644s |      25 |  6966162 |  5264798 |     3672   3548 |        0 |        0
646.29/646.46	c  646s |      25 |  6988686 |  5281498 |     3672   3556 |        0 |        0
648.29/648.47	c  648s |      25 |  7012980 |  5299198 |     3672   3566 |        0 |        0
650.29/650.48	c  650s |      25 |  7036934 |  5316998 |     3672   3575 |        0 |        0
652.39/652.51	c  652s |      25 |  7056243 |  5331898 |     3672   3583 |        0 |        0
654.40/654.52	c  654s |      25 |  7076107 |  5347098 |     3672   3591 |        0 |        0
656.39/656.52	c  656s |      25 |  7092520 |  5360098 |     3672   3598 |        0 |        0
658.39/658.53	c  658s |      25 |  7112558 |  5374998 |     3672   3606 |        0 |        0
660.39/660.55	c  660s |      25 |  7132724 |  5389998 |     3672   3613 |        0 |        0
662.39/662.55	c  662s |      25 |  7154124 |  5406098 |     3672   3622 |        0 |        0
664.40/664.55	c  664s |      25 |  7177553 |  5423498 |     3672   3631 |        0 |        0
666.39/666.55	c  666s |      25 |  7200025 |  5439998 |     3672   3640 |        0 |        0
668.39/668.56	c  668s |      25 |  7221960 |  5456498 |     3672   3648 |        0 |        0
670.39/670.56	c  670s |      25 |  7245626 |  5474398 |     3672   3658 |        0 |        0
672.38/672.56	c  672s |      25 |  7269047 |  5492098 |     3672   3667 |        0 |        0
674.38/674.58	c  674s |      25 |  7291198 |  5508698 |     3672   3676 |        0 |        0
676.39/676.58	c  676s |      25 |  7310056 |  5523398 |     3672   3683 |        0 |        0
678.39/678.58	c  678s |      25 |  7329489 |  5538198 |     3672   3691 |        0 |        0
680.49/680.61	c  680s |      25 |  7348951 |  5552898 |     3672   3699 |        0 |        0
682.49/682.61	c  682s |      25 |  7369267 |  5568498 |     3672   3707 |        0 |        0
684.49/684.62	c  684s |      25 |  7385379 |  5581798 |     3672   3713 |        0 |        0
686.49/686.62	c  686s |      25 |  7402226 |  5594698 |     3672   3720 |        0 |        0
688.49/688.63	c  688s |      25 |  7422676 |  5610198 |     3672   3728 |        0 |        0
690.49/690.63	c  690s |      25 |  7440839 |  5624298 |     3672   3736 |        0 |        0
692.49/692.64	c  692s |      25 |  7456597 |  5637098 |     3672   3742 |        0 |        0
694.49/694.67	c  694s |      25 |  7471708 |  5649298 |     3672   3749 |        0 |        0
696.48/696.67	c  696s |      25 |  7488976 |  5662998 |     3672   3756 |        0 |        0
698.49/698.67	c  698s |      25 |  7504274 |  5675398 |     3672   3762 |        0 |        0
700.48/700.68	c  700s |      25 |  7522432 |  5689498 |     3672   3769 |        0 |        0
702.58/702.71	c  702s |      25 |  7539983 |  5703498 |     3672   3777 |        0 |        0
704.58/704.71	c  704s |      25 |  7558242 |  5717898 |     3672   3784 |        0 |        0
706.58/706.72	c  706s |      25 |  7571948 |  5729098 |     3672   3790 |        0 |        0
708.58/708.74	c  708s |      25 |  7592031 |  5743998 |     3672   3798 |        0 |        0
710.59/710.74	c  710s |      25 |  7614561 |  5760598 |     3672   3806 |        0 |        0
712.58/712.75	c  712s |      25 |  7637772 |  5777798 |     3672   3815 |        0 |        0
714.58/714.76	c  714s |      25 |  7659840 |  5794198 |     3672   3824 |        0 |        0
716.58/716.77	c  716s |      25 |  7675877 |  5807398 |     3672   3831 |        0 |        0
718.58/718.77	c  718s |      25 |  7693805 |  5821198 |     3672   3838 |        0 |        0
720.58/720.77	c  720s |      25 |  7709649 |  5834198 |     3672   3844 |        0 |        0
722.58/722.78	c  722s |      25 |  7726159 |  5847598 |     3672   3851 |        0 |        0
724.57/724.78	c  724s |      25 |  7746221 |  5862698 |     3672   3859 |        0 |        0
726.57/726.79	c  726s |      25 |  7764420 |  5876598 |     3672   3867 |        0 |        0
728.57/728.79	c  728s |      25 |  7782254 |  5890198 |     3672   3874 |        0 |        0
730.67/730.80	c  730s |      25 |  7802553 |  5905498 |     3672   3882 |        0 |        0
732.67/732.80	c  732s |      25 |  7823517 |  5921498 |     3672   3890 |        0 |        0
734.68/734.81	c  734s |      25 |  7846580 |  5938198 |     3672   3899 |        0 |        0
736.67/736.81	c  736s |      25 |  7867863 |  5954098 |     3672   3907 |        0 |        0
738.67/738.81	c  738s |      25 |  7886780 |  5968698 |     3672   3915 |        0 |        0
740.67/740.82	c  740s |      25 |  7908899 |  5985698 |     3672   3923 |        0 |        0
742.67/742.84	c  742s |      25 |  7926298 |  5999198 |     3672   3931 |        0 |        0
744.68/744.85	c  744s |      25 |  7944578 |  6013098 |     3672   3938 |        0 |        0
746.68/746.86	c  746s |      25 |  7963486 |  6027598 |     3672   3945 |        0 |        0
748.68/748.88	c  748s |      25 |  7983610 |  6042698 |     3672   3953 |        0 |        0
750.67/750.89	c  750s |      25 |  8001598 |  6056798 |     3672   3960 |        0 |        0
752.77/752.90	c  752s |      25 |  8019750 |  6070998 |     3672   3968 |        0 |        0
754.77/754.92	c  754s |      25 |  8036539 |  6083898 |     3672   3975 |        0 |        0
756.78/756.92	c  756s |      25 |  8057949 |  6099198 |     3672   3983 |        0 |        0
758.77/758.93	c  758s |      25 |  8081797 |  6116698 |     3672   3992 |        0 |        0
760.77/760.94	c  760s |      25 |  8107751 |  6135598 |     3672   4002 |        0 |        0
762.76/762.95	c  762s |      25 |  8131836 |  6153198 |     3672   4011 |        0 |        0
764.76/764.95	c  764s |      25 |  8154013 |  6169498 |     3672   4019 |        0 |        0
766.76/766.96	c  766s |      25 |  8176066 |  6185898 |     3672   4028 |        0 |        0
768.77/768.96	c  768s |      25 |  8197285 |  6202498 |     3672   4036 |        0 |        0
770.76/770.96	c  770s |      25 |  8218554 |  6219098 |     3672   4045 |        0 |        0
772.76/772.97	c  772s |      25 |  8238145 |  6233798 |     3672   4053 |        0 |        0
774.76/774.97	c  774s |      25 |  8253623 |  6246498 |     3672   4059 |        0 |        0
776.75/776.98	c  776s |      25 |  8268138 |  6258398 |     3672   4066 |        0 |        0
778.76/778.98	c  778s |      25 |  8285679 |  6272198 |     3672   4073 |        0 |        0
780.75/780.98	c  780s |      25 |  8306458 |  6287698 |     3672   4081 |        0 |        0
782.75/782.99	c  782s |      25 |  8327230 |  6303698 |     3672   4089 |        0 |        0
784.86/785.00	c  784s |      25 |  8347881 |  6319398 |     3672   4097 |        0 |        0
786.86/787.00	c  786s |      25 |  8368000 |  6334498 |     3672   4105 |        0 |        0
788.86/789.01	c  788s |      25 |  8389505 |  6350898 |     3672   4114 |        0 |        0
790.86/791.02	c  791s |      25 |  8410691 |  6366798 |     3672   4122 |        0 |        0
792.86/793.03	c  793s |      25 |  8428872 |  6380998 |     3672   4129 |        0 |        0
794.85/795.03	c  795s |      25 |  8447053 |  6395498 |     3672   4137 |        0 |        0
796.85/797.04	c  797s |      25 |  8465733 |  6409898 |     3672   4145 |        0 |        0
798.85/799.04	c  799s |      25 |  8486044 |  6425298 |     3672   4153 |        0 |        0
800.85/801.05	c  801s |      25 |  8505653 |  6440398 |     3672   4160 |        0 |        0
802.86/803.06	c  803s |      25 |  8524682 |  6454998 |     3672   4168 |        0 |        0
804.84/805.07	c  805s |      25 |  8542084 |  6468698 |     3672   4175 |        0 |        0
806.84/807.08	c  807s |      25 |  8559270 |  6481898 |     3672   4182 |        0 |        0
808.84/809.08	c  809s |      25 |  8578704 |  6496698 |     3672   4189 |        0 |        0
810.84/811.09	c  811s |      25 |  8595555 |  6509898 |     3672   4196 |        0 |        0
812.85/813.09	c  813s |      25 |  8612579 |  6523398 |     3672   4203 |        0 |        0
814.83/815.10	c  815s |      25 |  8632245 |  6537898 |     3672   4210 |        0 |        0
816.93/817.10	c  817s |      25 |  8648054 |  6550398 |     3672   4216 |        0 |        0
818.93/819.11	c  819s |      25 |  8666668 |  6564398 |     3672   4224 |        0 |        0
820.93/821.12	c  821s |      25 |  8678480 |  6574998 |     3672   4229 |        0 |        0
822.93/823.14	c  823s |      25 |  8694712 |  6587998 |     3672   4236 |        0 |        0
824.93/825.14	c  825s |      25 |  8714190 |  6602998 |     3672   4243 |        0 |        0
826.93/827.15	c  827s |      25 |  8727948 |  6614198 |     3672   4249 |        0 |        0
828.93/829.15	c  829s |      25 |  8741929 |  6625498 |     3672   4254 |        0 |        0
830.93/831.16	c  831s |      25 |  8756206 |  6636698 |     3672   4260 |        0 |        0
832.93/833.16	c  833s |      25 |  8776788 |  6651898 |     3672   4268 |        0 |        0
834.92/835.17	c  835s |      25 |  8793859 |  6664998 |     3672   4274 |        0 |        0
836.93/837.18	c  837s |      25 |  8815628 |  6680898 |     3672   4282 |        0 |        0
838.92/839.19	c  839s |      25 |  8831023 |  6692998 |     3672   4289 |        0 |        0
841.02/841.20	c  841s |      25 |  8848298 |  6706698 |     3672   4296 |        0 |        0
843.02/843.21	c  843s |      25 |  8866515 |  6720398 |     3672   4303 |        0 |        0
845.02/845.22	c  845s |      25 |  8881376 |  6732598 |     3672   4309 |        0 |        0
847.02/847.24	c  847s |      25 |  8899726 |  6746398 |     3672   4316 |        0 |        0
849.03/849.24	c  849s |      25 |  8917068 |  6759998 |     3672   4323 |        0 |        0
851.03/851.24	c  851s |      25 |  8937170 |  6775498 |     3672   4331 |        0 |        0
853.03/853.25	c  853s |      25 |  8952782 |  6788498 |     3672   4337 |        0 |        0
855.02/855.26	c  855s |      25 |  8972488 |  6803898 |     3672   4345 |        0 |        0
857.02/857.26	c  857s |      25 |  8995123 |  6820198 |     3672   4354 |        0 |        0
859.03/859.28	c  859s |      25 |  9013974 |  6835398 |     3672   4362 |        0 |        0
861.02/861.28	c  861s |      25 |  9031322 |  6848998 |     3672   4368 |        0 |        0
863.02/863.29	c  863s |      25 |  9055268 |  6866498 |     3672   4378 |        0 |        0
865.11/865.30	c  865s |      25 |  9078227 |  6883698 |     3672   4387 |        0 |        0
867.11/867.31	c  867s |      25 |  9097736 |  6898498 |     3672   4394 |        0 |        0
869.11/869.32	c  869s |      25 |  9114250 |  6911198 |     3672   4401 |        0 |        0
871.12/871.32	c  871s |      25 |  9134389 |  6926698 |     3672   4408 |        0 |        0
873.11/873.33	c  873s |      25 |  9153245 |  6941298 |     3672   4416 |        0 |        0
875.11/875.34	c  875s |      25 |  9172160 |  6955998 |     3672   4423 |        0 |        0
877.10/877.36	c  877s |      25 |  9187439 |  6968398 |     3672   4430 |        0 |        0
879.10/879.36	c  879s |      25 |  9205534 |  6982598 |     3672   4437 |        0 |        0
881.10/881.38	c  881s |      25 |  9225270 |  6997298 |     3672   4444 |        0 |        0
883.11/883.39	c  883s |      25 |  9243708 |  7011498 |     3672   4452 |        0 |        0
885.10/885.39	c  885s |      25 |  9264854 |  7027398 |     3672   4460 |        0 |        0
887.20/887.40	c  887s |      25 |  9284796 |  7043198 |     3672   4469 |        0 |        0
889.20/889.40	c  889s |      25 |  9304281 |  7058198 |     3672   4476 |        0 |        0
891.20/891.40	c  891s |      25 |  9328899 |  7075998 |     3672   4486 |        0 |        0
893.20/893.43	c  893s |      25 |  9348993 |  7091198 |     3672   4494 |        0 |        0
895.20/895.43	c  895s |      25 |  9369083 |  7106198 |     3672   4501 |        0 |        0
897.19/897.43	c  897s |      25 |  9390979 |  7122598 |     3672   4509 |        0 |        0
899.19/899.43	c  899s |      25 |  9415451 |  7140598 |     3672   4519 |        0 |        0
901.19/901.43	c  901s |      25 |  9432467 |  7154098 |     3672   4526 |        0 |        0
903.19/903.43	c  903s |      25 |  9449855 |  7167798 |     3672   4533 |        0 |        0
905.20/905.45	c  905s |      25 |  9465088 |  7180398 |     3672   4539 |        0 |        0
907.19/907.45	c  907s |      25 |  9481948 |  7193398 |     3672   4546 |        0 |        0
909.19/909.45	c  909s |      25 |  9499487 |  7207198 |     3672   4553 |        0 |        0
911.19/911.46	c  911s |      25 |  9519361 |  7222298 |     3672   4561 |        0 |        0
913.19/913.48	c  913s |      25 |  9541240 |  7238598 |     3672   4570 |        0 |        0
915.18/915.49	c  915s |      25 |  9564047 |  7255298 |     3672   4578 |        0 |        0
917.19/917.49	c  917s |      25 |  9584723 |  7270798 |     3672   4586 |        0 |        0
919.19/919.50	c  919s |      25 |  9608339 |  7288298 |     3672   4595 |        0 |        0
921.29/921.50	c  921s |      25 |  9627255 |  7302698 |     3672   4602 |        0 |        0
923.29/923.50	c  923s |      25 |  9647154 |  7318298 |     3672   4610 |        0 |        0
925.28/925.51	c  925s |      25 |  9666975 |  7333498 |     3672   4617 |        0 |        0
927.28/927.52	c  927s |      25 |  9686780 |  7348598 |     3672   4625 |        0 |        0
929.29/929.53	c  929s |      25 |  9707538 |  7364198 |     3672   4633 |        0 |        0
931.28/931.54	c  931s |      25 |  9725581 |  7378298 |     3672   4640 |        0 |        0
933.28/933.56	c  933s |      25 |  9742760 |  7392098 |     3672   4647 |        0 |        0
935.28/935.56	c  935s |      25 |  9756814 |  7403598 |     3672   4653 |        0 |        0
937.28/937.56	c  937s |      25 |  9771310 |  7415498 |     3672   4659 |        0 |        0
939.29/939.56	c  939s |      25 |  9791622 |  7430798 |     3672   4666 |        0 |        0
941.28/941.57	c  941s |      25 |  9813093 |  7446898 |     3672   4675 |        0 |        0
943.28/943.57	c  943s |      25 |  9831583 |  7460998 |     3672   4682 |        0 |        0
945.27/945.58	c  945s |      25 |  9854304 |  7477798 |     3672   4690 |        0 |        0
947.27/947.58	c  947s |      25 |  9872915 |  7491998 |     3672   4697 |        0 |        0
949.27/949.58	c  949s |      25 |  9895719 |  7508898 |     3672   4706 |        0 |        0
951.28/951.59	c  951s |      25 |  9917388 |  7525498 |     3672   4714 |        0 |        0
953.27/953.59	c  953s |      25 |  9933853 |  7538598 |     3672   4721 |        0 |        0
955.26/955.59	c  955s |      25 |  9949280 |  7550798 |     4040   4727 |        0 |        0
957.36/957.60	c  957s |      25 |  9967935 |  7564798 |     4040   4733 |        0 |        0
959.37/959.60	c  959s |      25 |  9984653 |  7577998 |     4040   4739 |        0 |        0
961.37/961.61	c  961s |      25 | 10001203 |  7591298 |     4040   4745 |        0 |        0
962.07/962.39	c  962s |      26 | 10009908 |  7597752 |     4040   4748 |        0 |        0
964.17/964.40	c  964s |      26 | 10028204 |  7611752 |     4040   4755 |        0 |        0
966.17/966.41	c  966s |      26 | 10043865 |  7624252 |     4040   4760 |        0 |        0
968.16/968.42	c  968s |      26 | 10063026 |  7639152 |     4040   4767 |        0 |        0
970.16/970.42	c  970s |      26 | 10083249 |  7654652 |     4040   4774 |        0 |        0
972.17/972.42	c  972s |      26 | 10107086 |  7671952 |     4040   4783 |        0 |        0
974.16/974.43	c  974s |      26 | 10132450 |  7690452 |     4040   4791 |        0 |        0
976.15/976.43	c  976s |      26 | 10154260 |  7706952 |     4040   4799 |        0 |        0
978.15/978.44	c  978s |      26 | 10177903 |  7724252 |     4040   4807 |        0 |        0
980.15/980.44	c  980s |      26 | 10201410 |  7741252 |     4040   4815 |        0 |        0
982.16/982.44	c  982s |      26 | 10225975 |  7759052 |     4040   4824 |        0 |        0
984.15/984.45	c  984s |      26 | 10251169 |  7777152 |     4040   4832 |        0 |        0
986.15/986.46	c  986s |      26 | 10275442 |  7794952 |     4040   4840 |        0 |        0
988.15/988.47	c  988s |      26 | 10294659 |  7809752 |     4040   4847 |        0 |        0
990.15/990.48	c  990s |      26 | 10312263 |  7823452 |     4040   4854 |        0 |        0
992.15/992.49	c  992s |      26 | 10329786 |  7837652 |     4040   4861 |        0 |        0
994.15/994.49	c  994s |      26 | 10345339 |  7849952 |     4040   4866 |        0 |        0
996.25/996.50	c  996s |      26 | 10366221 |  7866152 |     4040   4874 |        0 |        0
998.25/998.51	c  998s |      26 | 10389632 |  7883652 |     4040   4882 |        0 |        0
1000.25/1000.52	c 1000s |      26 | 10417350 |  7903452 |     4040   4891 |        0 |        0
1002.25/1002.52	c 1002s |      26 | 10434670 |  7917552 |     4040   4898 |        0 |        0
1004.25/1004.53	c 1004s |      26 | 10452841 |  7931752 |     4040   4905 |        0 |        0
1006.25/1006.54	c 1006s |      26 | 10477353 |  7949852 |     4040   4913 |        0 |        0
1008.24/1008.55	c 1008s |      26 | 10496799 |  7964652 |     4040   4920 |        0 |        0
1010.24/1010.55	c 1010s |      26 | 10514637 |  7978652 |     4040   4927 |        0 |        0
1012.24/1012.56	c 1012s |      26 | 10536684 |  7994752 |     4040   4935 |        0 |        0
1014.24/1014.57	c 1014s |      26 | 10556354 |  8010252 |     4040   4942 |        0 |        0
1016.25/1016.57	c 1016s |      26 | 10576482 |  8025352 |     4040   4949 |        0 |        0
1018.24/1018.57	c 1018s |      26 | 10597868 |  8041652 |     4040   4957 |        0 |        0
1020.24/1020.58	c 1020s |      26 | 10617747 |  8057052 |     4040   4964 |        0 |        0
1022.24/1022.59	c 1022s |      26 | 10632195 |  8068852 |     4040   4969 |        0 |        0
1024.33/1024.61	c 1024s |      26 | 10646939 |  8080852 |     4040   4975 |        0 |        0
1026.33/1026.61	c 1026s |      26 | 10665960 |  8095952 |     4040   4982 |        0 |        0
1028.34/1028.62	c 1028s |      26 | 10683096 |  8109352 |     4040   4988 |        0 |        0
1030.33/1030.63	c 1030s |      26 | 10700310 |  8122752 |     4040   4995 |        0 |        0
1032.33/1032.64	c 1032s |      26 | 10715049 |  8135152 |     4040   5000 |        0 |        0
1034.32/1034.64	c 1034s |      26 | 10732987 |  8149252 |     4040   5007 |        0 |        0
1036.32/1036.64	c 1036s |      26 | 10751941 |  8164252 |     4040   5014 |        0 |        0
1038.32/1038.65	c 1038s |      26 | 10768835 |  8177452 |     4040   5020 |        0 |        0
1040.33/1040.65	c 1040s |      26 | 10791545 |  8193952 |     4040   5028 |        0 |        0
1042.32/1042.66	c 1042s |      26 | 10810923 |  8208952 |     4040   5035 |        0 |        0
1044.33/1044.67	c 1044s |      26 | 10827619 |  8222452 |     4040   5041 |        0 |        0
1046.33/1046.67	c 1046s |      26 | 10844064 |  8235652 |     4040   5047 |        0 |        0
1048.32/1048.67	c 1048s |      26 | 10858993 |  8248052 |     4040   5053 |        0 |        0
1050.33/1050.68	c 1050s |      26 | 10875843 |  8261452 |     4040   5060 |        0 |        0
1052.32/1052.69	c 1052s |      26 | 10895294 |  8276652 |     4040   5067 |        0 |        0
1054.42/1054.71	c 1054s |      26 | 10914710 |  8291652 |     4040   5074 |        0 |        0
1056.42/1056.71	c 1056s |      26 | 10932749 |  8305452 |     4040   5080 |        0 |        0
1058.41/1058.71	c 1058s |      26 | 10951044 |  8319552 |     4040   5087 |        0 |        0
1060.41/1060.73	c 1060s |      26 | 10970278 |  8334352 |     4040   5094 |        0 |        0
1062.42/1062.74	c 1062s |      26 | 10987186 |  8347852 |     4040   5100 |        0 |        0
1064.41/1064.74	c 1064s |      26 | 11003053 |  8360752 |     4040   5106 |        0 |        0
1066.41/1066.75	c 1066s |      26 | 11021202 |  8374752 |     4040   5113 |        0 |        0
1068.41/1068.76	c 1068s |      26 | 11040115 |  8389152 |     4040   5120 |        0 |        0
1070.51/1070.80	c 1070s |      26 | 11059826 |  8404052 |     4040   5127 |        0 |        0
1072.51/1072.80	c 1072s |      26 | 11080515 |  8419552 |     4040   5134 |        0 |        0
1074.51/1074.81	c 1074s |      26 | 11101300 |  8435752 |     4040   5141 |        0 |        0
1076.50/1076.82	c 1076s |      26 | 11121956 |  8451252 |     4040   5148 |        0 |        0
1078.50/1078.84	c 1078s |      26 | 11141326 |  8466352 |     4040   5156 |        0 |        0
1080.50/1080.84	c 1080s |      26 | 11160039 |  8481352 |     4040   5163 |        0 |        0
1082.51/1082.84	c 1082s |      26 | 11181923 |  8497652 |     4040   5170 |        0 |        0
1084.51/1084.86	c 1084s |      26 | 11205239 |  8515152 |     4040   5178 |        0 |        0
1086.51/1086.87	c 1086s |      26 | 11229278 |  8532552 |     4040   5186 |        0 |        0
1088.50/1088.87	c 1088s |      26 | 11252815 |  8550052 |     4040   5195 |        0 |        0
1090.50/1090.88	c 1090s |      26 | 11272708 |  8565152 |     4040   5202 |        0 |        0
1092.50/1092.88	c 1092s |      26 | 11293043 |  8580752 |     4040   5209 |        0 |        0
1094.50/1094.89	c 1094s |      26 | 11318720 |  8599452 |     4040   5218 |        0 |        0
1096.51/1096.89	c 1096s |      26 | 11342377 |  8617152 |     4040   5226 |        0 |        0
1098.50/1098.90	c 1098s |      26 | 11363079 |  8632752 |     4040   5233 |        0 |        0
1100.60/1100.91	c 1100s |      26 | 11382485 |  8647852 |     4040   5240 |        0 |        0
1102.60/1102.92	c 1102s |      26 | 11403249 |  8664152 |     4040   5248 |        0 |        0
1104.60/1104.92	c 1104s |      26 | 11425963 |  8680952 |     4040   5256 |        0 |        0
1106.59/1106.93	c 1106s |      26 | 11447335 |  8697352 |     4040   5263 |        0 |        0
1108.60/1108.93	c 1108s |      26 | 11467864 |  8713452 |     4040   5271 |        0 |        0
1110.59/1110.94	c 1110s |      26 | 11491864 |  8731652 |     4040   5279 |        0 |        0
1112.59/1112.94	c 1112s |      26 | 11517102 |  8750652 |     4040   5288 |        0 |        0
1114.59/1114.95	c 1114s |      26 | 11538573 |  8766352 |     4040   5296 |        0 |        0
1116.59/1116.95	c 1116s |      26 | 11559253 |  8781952 |     4040   5303 |        0 |        0
1118.59/1118.96	c 1118s |      26 | 11580519 |  8798052 |     4040   5310 |        0 |        0
1120.59/1120.96	c 1120s |      26 | 11600185 |  8812852 |     4040   5317 |        0 |        0
1122.59/1122.97	c 1122s |      26 | 11621764 |  8829052 |     4040   5325 |        0 |        0
1124.58/1124.98	c 1124s |      26 | 11643549 |  8845152 |     4040   5332 |        0 |        0
1126.58/1126.98	c 1126s |      26 | 11664480 |  8860952 |     4040   5340 |        0 |        0
1128.58/1128.99	c 1128s |      26 | 11685573 |  8876952 |     4040   5347 |        0 |        0
1130.68/1131.00	c 1130s |      26 | 11706083 |  8892452 |     4040   5354 |        0 |        0
1132.69/1133.00	c 1132s |      26 | 11728349 |  8908852 |     4040   5362 |        0 |        0
1134.68/1135.02	c 1134s |      26 | 11748847 |  8924352 |     4040   5369 |        0 |        0
1136.68/1137.03	c 1137s |      26 | 11765829 |  8937452 |     4040   5376 |        0 |        0
1138.68/1139.03	c 1139s |      26 | 11782270 |  8950852 |     4040   5382 |        0 |        0
1140.68/1141.04	c 1141s |      26 | 11794109 |  8961252 |     4040   5387 |        0 |        0
1142.68/1143.04	c 1143s |      26 | 11808153 |  8972752 |     4040   5392 |        0 |        0
1144.67/1145.05	c 1145s |      26 | 11830105 |  8989152 |     4040   5400 |        0 |        0
1146.67/1147.06	c 1147s |      26 | 11853750 |  9006552 |     4040   5408 |        0 |        0
1148.67/1149.06	c 1149s |      26 | 11877272 |  9024252 |     4040   5416 |        0 |        0
1150.67/1151.07	c 1151s |      26 | 11897546 |  9039552 |     4040   5423 |        0 |        0
1152.67/1153.07	c 1153s |      26 | 11918826 |  9055852 |     4040   5431 |        0 |        0
1154.67/1155.08	c 1155s |      26 | 11935984 |  9069652 |     4040   5437 |        0 |        0
1156.66/1157.09	c 1157s |      26 | 11951633 |  9082352 |     4040   5443 |        0 |        0
1158.66/1159.09	c 1159s |      26 | 11970257 |  9096452 |     4040   5450 |        0 |        0
1160.66/1161.09	c 1161s |      26 | 11989431 |  9111452 |     4040   5457 |        0 |        0
1162.66/1163.09	c 1163s |      26 | 12009439 |  9126852 |     4040   5464 |        0 |        0
1164.76/1165.11	c 1165s |      26 | 12026850 |  9140252 |     4040   5471 |        0 |        0
1166.77/1167.12	c 1167s |      26 | 12044506 |  9153952 |     4040   5477 |        0 |        0
1168.76/1169.12	c 1169s |      26 | 12064740 |  9169352 |     4040   5484 |        0 |        0
1170.76/1171.12	c 1171s |      26 | 12086075 |  9185452 |     4040   5492 |        0 |        0
1172.76/1173.12	c 1173s |      26 | 12106516 |  9201452 |     4040   5499 |        0 |        0
1174.76/1175.13	c 1175s |      26 | 12121441 |  9213952 |     4040   5505 |        0 |        0
1176.77/1177.15	c 1177s |      26 | 12138712 |  9227552 |     4040   5511 |        0 |        0
1178.76/1179.16	c 1179s |      26 | 12158894 |  9242752 |     4040   5518 |        0 |        0
1180.76/1181.16	c 1181s |      26 | 12174521 |  9255252 |     4040   5524 |        0 |        0
1182.76/1183.18	c 1183s |      26 | 12190266 |  9267752 |     4040   5530 |        0 |        0
1184.75/1185.18	c 1185s |      26 | 12209214 |  9281752 |     4040   5537 |        0 |        0
1186.75/1187.19	c 1187s |      26 | 12233847 |  9299952 |     4040   5545 |        0 |        0
1188.76/1189.19	c 1189s |      26 | 12253985 |  9315352 |     4040   5553 |        0 |        0
1190.85/1191.20	c 1191s |      26 | 12273526 |  9330252 |     4040   5560 |        0 |        0
1192.85/1193.20	c 1193s |      26 | 12293395 |  9346052 |     4040   5567 |        0 |        0
1194.84/1195.21	c 1195s |      26 | 12311059 |  9359852 |     4040   5574 |        0 |        0
1196.84/1197.22	c 1197s |      26 | 12327683 |  9373152 |     4040   5580 |        0 |        0
1198.84/1199.23	c 1199s |      26 | 12348299 |  9388752 |     4040   5587 |        0 |        0
1200.85/1201.27	c 1201s |      26 | 12360222 |  9398952 |     4040   5592 |        0 |        0
1202.84/1203.29	c 1203s |      26 | 12374080 |  9410252 |     4040   5597 |        0 |        0
1204.94/1205.30	c 1205s |      26 | 12391920 |  9424052 |     4040   5604 |        0 |        0
1206.94/1207.31	c 1207s |      26 | 12408342 |  9436652 |     4040   5610 |        0 |        0
1208.94/1209.31	c 1209s |      26 | 12426225 |  9450452 |     4040   5616 |        0 |        0
1210.94/1211.33	c 1211s |      26 | 12442440 |  9463052 |     4040   5622 |        0 |        0
1212.94/1213.33	c 1213s |      26 | 12462225 |  9477952 |     4040   5629 |        0 |        0
1214.93/1215.35	c 1215s |      26 | 12482850 |  9493652 |     4040   5636 |        0 |        0
1216.93/1217.35	c 1217s |      26 | 12499920 |  9507052 |     4040   5643 |        0 |        0
1218.93/1219.36	c 1219s |      26 | 12517180 |  9520352 |     4040   5649 |        0 |        0
1220.93/1221.39	c 1221s |      26 | 12534780 |  9534152 |     4040   5656 |        0 |        0
1222.94/1223.39	c 1223s |      26 | 12551103 |  9546952 |     4040   5662 |        0 |        0
1224.92/1225.40	c 1225s |      26 | 12572619 |  9562352 |     4040   5669 |        0 |        0
1227.02/1227.42	c 1227s |      26 | 12593905 |  9578052 |     4040   5676 |        0 |        0
1229.02/1229.42	c 1229s |      26 | 12612769 |  9592652 |     4040   5683 |        0 |        0
1231.02/1231.42	c 1231s |      26 | 12634131 |  9608252 |     4040   5690 |        0 |        0
1233.02/1233.44	c 1233s |      26 | 12654092 |  9623352 |     4040   5698 |        0 |        0
1235.03/1235.45	c 1235s |      26 | 12668464 |  9635152 |     4040   5703 |        0 |        0
1237.02/1237.46	c 1237s |      26 | 12684122 |  9647852 |     4040   5709 |        0 |        0
1239.03/1239.47	c 1239s |      26 | 12704219 |  9663252 |     4040   5716 |        0 |        0
1241.03/1241.48	c 1241s |      26 | 12726126 |  9679652 |     4040   5724 |        0 |        0
1243.03/1243.48	c 1243s |      26 | 12745379 |  9694752 |     4040   5731 |        0 |        0
1245.12/1245.51	c 1245s |      26 | 12762642 |  9708852 |     4040   5738 |        0 |        0
1247.13/1247.52	c 1247s |      26 | 12780803 |  9723252 |     4040   5744 |        0 |        0
1249.12/1249.52	c 1249s |      26 | 12799395 |  9737052 |     4040   5751 |        0 |        0
1251.12/1251.53	c 1251s |      26 | 12821096 |  9753052 |     4040   5758 |        0 |        0
1253.12/1253.53	c 1253s |      26 | 12842796 |  9769152 |     4040   5766 |        0 |        0
1255.11/1255.54	c 1255s |      26 | 12865544 |  9785752 |     4040   5774 |        0 |        0
1257.11/1257.54	c 1257s |      26 | 12889405 |  9803352 |     4040   5782 |        0 |        0
1259.11/1259.54	c 1259s |      26 | 12911614 |  9819752 |     4040   5790 |        0 |        0
1261.11/1261.55	c 1261s |      26 | 12934472 |  9837052 |     4040   5798 |        0 |        0
1263.11/1263.57	c 1263s |      26 | 12956563 |  9853552 |     4040   5806 |        0 |        0
1265.10/1265.57	c 1265s |      26 | 12978808 |  9870552 |     4040   5814 |        0 |        0
1267.11/1267.59	c 1267s |      26 | 13003083 |  9888552 |     4040   5823 |        0 |        0
1269.21/1269.60	c 1269s |      26 | 13027343 |  9906552 |     4040   5831 |        0 |        0
1271.11/1271.60	c 1271s |      26 | 13044517 |  9920352 |     4040   5838 |        0 |        0
1273.21/1273.62	c 1273s |      26 | 13063236 |  9934952 |     4040   5845 |        0 |        0
1275.21/1275.62	c 1275s |      26 | 13084333 |  9950752 |     4040   5852 |        0 |        0
1277.21/1277.63	c 1277s |      26 | 13104659 |  9966252 |     4040   5859 |        0 |        0
1279.21/1279.63	c 1279s |      26 | 13124306 |  9981552 |     4040   5867 |        0 |        0
1281.21/1281.65	c 1281s |      26 | 13144607 |  9997252 |     4040   5874 |        0 |        0
1283.20/1283.65	c 1283s |      26 | 13164475 | 10012452 |     4040   5882 |        0 |        0
1285.20/1285.66	c 1285s |      26 | 13187341 | 10029052 |     4040   5889 |        0 |        0
1287.20/1287.66	c 1287s |      26 | 13211068 | 10046352 |     4040   5898 |        0 |        0
1289.20/1289.66	c 1289s |      26 | 13232527 | 10062452 |     4040   5905 |        0 |        0
1291.20/1291.67	c 1291s |      26 | 13254956 | 10078952 |     4040   5913 |        0 |        0
1293.20/1293.67	c 1293s |      26 | 13275921 | 10094752 |     4040   5921 |        0 |        0
1295.19/1295.68	c 1295s |      26 | 13292156 | 10107852 |     4040   5927 |        0 |        0
1297.29/1297.70	c 1297s |      26 | 13309704 | 10121452 |     4040   5934 |        0 |        0
1299.29/1299.71	c 1299s |      26 | 13327926 | 10135652 |     4040   5940 |        0 |        0
1301.29/1301.72	c 1301s |      26 | 13343382 | 10148052 |     4040   5946 |        0 |        0
1303.29/1303.74	c 1303s |      26 | 13360672 | 10161852 |     4040   5953 |        0 |        0
1305.29/1305.75	c 1305s |      26 | 13375746 | 10174652 |     4040   5959 |        0 |        0
1307.29/1307.77	c 1307s |      26 | 13390650 | 10186252 |     4040   5965 |        0 |        0
1309.28/1309.78	c 1309s |      26 | 13411013 | 10201452 |     4040   5972 |        0 |        0
1311.28/1311.80	c 1311s |      26 | 13429237 | 10215152 |     4040   5978 |        0 |        0
1313.38/1313.81	c 1313s |      26 | 13446994 | 10229152 |     4040   5985 |        0 |        0
1315.38/1315.81	c 1315s |      26 | 13464781 | 10242852 |     4040   5991 |        0 |        0
1317.39/1317.83	c 1317s |      26 | 13481309 | 10255752 |     4040   5998 |        0 |        0
1319.38/1319.85	c 1319s |      26 | 13496935 | 10268052 |     4040   6004 |        0 |        0
1321.38/1321.86	c 1321s |      26 | 13511557 | 10280152 |     4040   6009 |        0 |        0
1323.38/1323.86	c 1323s |      26 | 13528703 | 10293052 |     4040   6016 |        0 |        0
1325.37/1325.88	c 1325s |      26 | 13546707 | 10307252 |     4040   6022 |        0 |        0
1327.38/1327.88	c 1327s |      26 | 13568846 | 10324052 |     4040   6030 |        0 |        0
1329.37/1329.89	c 1329s |      26 | 13588137 | 10339052 |     4040   6037 |        0 |        0
1331.37/1331.89	c 1331s |      26 | 13603611 | 10351752 |     4040   6043 |        0 |        0
1333.47/1333.90	c 1333s |      26 | 13622945 | 10366652 |     4040   6051 |        0 |        0
1335.47/1335.91	c 1335s |      26 | 13645370 | 10383352 |     4040   6058 |        0 |        0
1337.46/1337.92	c 1337s |      26 | 13666120 | 10399052 |     4040   6066 |        0 |        0
1339.47/1339.93	c 1339s |      26 | 13684103 | 10412852 |     4040   6073 |        0 |        0
1341.46/1341.94	c 1341s |      26 | 13700597 | 10425852 |     4040   6079 |        0 |        0
1343.46/1343.94	c 1343s |      26 | 13720777 | 10440852 |     4040   6086 |        0 |        0
1345.46/1345.95	c 1345s |      26 | 13738411 | 10455052 |     4040   6093 |        0 |        0
1347.46/1347.96	c 1347s |      26 | 13758827 | 10470352 |     4040   6100 |        0 |        0
1349.46/1349.97	c 1349s |      26 | 13779705 | 10486352 |     4040   6108 |        0 |        0
1351.46/1351.98	c 1351s |      26 | 13803111 | 10503852 |     4040   6116 |        0 |        0
1353.46/1353.98	c 1353s |      26 | 13827282 | 10521852 |     4040   6125 |        0 |        0
1355.45/1355.99	c 1355s |      26 | 13844451 | 10535852 |     4040   6131 |        0 |        0
1357.55/1358.01	c 1357s |      26 | 13864551 | 10551252 |     4040   6139 |        0 |        0
1359.55/1360.02	c 1360s |      26 | 13884139 | 10566452 |     4040   6146 |        0 |        0
1361.55/1362.03	c 1362s |      26 | 13905851 | 10582852 |     4040   6153 |        0 |        0
1363.56/1364.03	c 1364s |      26 | 13926477 | 10598652 |     4040   6161 |        0 |        0
1365.54/1366.04	c 1366s |      26 | 13945984 | 10613752 |     4040   6168 |        0 |        0
1367.54/1368.04	c 1368s |      26 | 13964280 | 10627952 |     4040   6175 |        0 |        0
1369.54/1370.05	c 1370s |      26 | 13985963 | 10643652 |     4040   6182 |        0 |        0
1371.54/1372.05	c 1372s |      26 | 14002170 | 10656852 |     4040   6188 |        0 |        0
1373.56/1374.06	c 1374s |      26 | 14018712 | 10669752 |     4040   6194 |        0 |        0
1375.55/1376.06	c 1376s |      26 | 14035966 | 10683352 |     4040   6201 |        0 |        0
1377.55/1378.07	c 1378s |      26 | 14053954 | 10697452 |     4040   6207 |        0 |        0
1379.55/1380.07	c 1380s |      26 | 14073822 | 10712852 |     4040   6215 |        0 |        0
1381.55/1382.09	c 1382s |      26 | 14093902 | 10728252 |     4040   6222 |        0 |        0
1383.54/1384.09	c 1384s |      26 | 14115215 | 10744352 |     4040   6229 |        0 |        0
1385.55/1386.10	c 1386s |      26 | 14135900 | 10759352 |     4040   6237 |        0 |        0
1387.64/1388.11	c 1388s |      26 | 14160862 | 10777452 |     4040   6245 |        0 |        0
1389.64/1390.11	c 1390s |      26 | 14184502 | 10795152 |     4040   6253 |        0 |        0
1391.64/1392.12	c 1392s |      26 | 14208083 | 10813152 |     4040   6262 |        0 |        0
1393.64/1394.13	c 1394s |      26 | 14226355 | 10827552 |     4040   6269 |        0 |        0
1395.64/1396.13	c 1396s |      26 | 14249492 | 10844952 |     4040   6277 |        0 |        0
1397.64/1398.15	c 1398s |      26 | 14265571 | 10857552 |     4040   6283 |        0 |        0
1399.64/1400.15	c 1400s |      26 | 14283605 | 10871752 |     4040   6290 |        0 |        0
1401.64/1402.16	c 1402s |      26 | 14304264 | 10887452 |     4040   6297 |        0 |        0
1403.64/1404.16	c 1404s |      26 | 14324165 | 10902552 |     4040   6304 |        0 |        0
1405.64/1406.17	c 1406s |      26 | 14341830 | 10915852 |     4040   6311 |        0 |        0
1407.64/1408.17	c 1408s |      26 | 14360364 | 10930752 |     4040   6318 |        0 |        0
1409.63/1410.18	c 1410s |      26 | 14376931 | 10943952 |     4040   6324 |        0 |        0
1411.63/1412.18	c 1412s |      26 | 14396224 | 10958752 |     4040   6331 |        0 |        0
1413.63/1414.19	c 1414s |      26 | 14414656 | 10973452 |     4040   6338 |        0 |        0
1415.63/1416.19	c 1416s |      26 | 14429919 | 10985852 |     4040   6343 |        0 |        0
1417.73/1418.20	c 1418s |      26 | 14446539 | 10999052 |     4040   6350 |        0 |        0
1419.74/1420.20	c 1420s |      26 | 14471029 | 11017352 |     4040   6358 |        0 |        0
1421.73/1422.21	c 1422s |      26 | 14491496 | 11033252 |     4040   6366 |        0 |        0
1423.73/1424.22	c 1424s |      26 | 14509463 | 11047452 |     4040   6372 |        0 |        0
1425.73/1426.24	c 1426s |      26 | 14526697 | 11061452 |     4040   6379 |        0 |        0
1427.73/1428.26	c 1428s |      26 | 14547791 | 11077752 |     4040   6387 |        0 |        0
1429.73/1430.27	c 1430s |      26 | 14568715 | 11093952 |     4040   6394 |        0 |        0
1431.73/1432.27	c 1432s |      26 | 14592570 | 11111352 |     4040   6402 |        0 |        0
1433.73/1434.28	c 1434s |      26 | 14607882 | 11123552 |     4040   6408 |        0 |        0
1435.73/1436.29	c 1436s |      26 | 14628072 | 11138752 |     4040   6415 |        0 |        0
1437.73/1438.29	c 1438s |      26 | 14647950 | 11153752 |     4040   6422 |        0 |        0
1439.84/1440.30	c 1440s |      26 | 14664654 | 11167052 |     4040   6429 |        0 |        0
1441.83/1442.30	c 1442s |      26 | 14683856 | 11181652 |     4040   6435 |        0 |        0
1443.84/1444.33	c 1444s |      26 | 14703831 | 11196552 |     4040   6443 |        0 |        0
1445.83/1446.33	c 1446s |      26 | 14729982 | 11215352 |     4040   6451 |        0 |        0
1447.83/1448.33	c 1448s |      26 | 14754258 | 11233352 |     4040   6460 |        0 |        0
1449.83/1450.35	c 1450s |      26 | 14775849 | 11249852 |     4040   6468 |        0 |        0
1451.83/1452.35	c 1452s |      26 | 14799174 | 11266952 |     4040   6476 |        0 |        0
1453.84/1454.36	c 1454s |      26 | 14823814 | 11284652 |     4040   6484 |        0 |        0
1455.83/1456.36	c 1456s |      26 | 14848098 | 11302352 |     4040   6492 |        0 |        0
1457.83/1458.37	c 1458s |      26 | 14870802 | 11319152 |     4444   6500 |        0 |        0
1459.83/1460.37	c 1460s |      26 | 14894343 | 11336052 |     4444   6507 |        0 |        0
1461.83/1462.38	c 1462s |      26 | 14916840 | 11353252 |     4444   6514 |        0 |        0
1463.83/1464.39	c 1464s |      26 | 14934170 | 11366652 |     4444   6520 |        0 |        0
1465.83/1466.40	c 1466s |      26 | 14949784 | 11379252 |     4444   6526 |        0 |        0
1467.93/1468.40	c 1468s |      26 | 14973354 | 11396552 |     4444   6533 |        0 |        0
1467.93/1468.43	c 1468s |      27 | 14973637 | 11396733 |     4444   6533 |        0 |        0
1469.93/1470.44	c 1470s |      27 | 14991098 | 11410333 |     4444   6539 |        0 |        0
1471.93/1472.44	c 1472s |      27 | 15007800 | 11423433 |     4444   6544 |        0 |        0
1473.93/1474.45	c 1474s |      27 | 15027016 | 11438033 |     4444   6551 |        0 |        0
1475.92/1476.45	c 1476s |      27 | 15041654 | 11449733 |     4444   6556 |        0 |        0
1477.93/1478.46	c 1478s |      27 | 15061552 | 11464633 |     4444   6562 |        0 |        0
1479.92/1480.46	c 1480s |      27 | 15081944 | 11480433 |     4444   6568 |        0 |        0
1481.92/1482.47	c 1482s |      27 | 15103600 | 11496833 |     4444   6575 |        0 |        0
1483.92/1484.47	c 1484s |      27 | 15119268 | 11509233 |     4444   6581 |        0 |        0
1485.92/1486.47	c 1486s |      27 | 15138948 | 11524633 |     4444   6587 |        0 |        0
1487.93/1488.48	c 1488s |      27 | 15161073 | 11541433 |     4444   6594 |        0 |        0
1489.93/1490.49	c 1490s |      27 | 15177804 | 11554933 |     4444   6600 |        0 |        0
1492.03/1492.50	c 1492s |      27 | 15197012 | 11570033 |     4444   6606 |        0 |        0
1494.02/1494.51	c 1494s |      27 | 15211470 | 11581833 |     4444   6612 |        0 |        0
1496.02/1496.52	c 1496s |      27 | 15233358 | 11597833 |     4444   6618 |        0 |        0
1498.02/1498.52	c 1498s |      27 | 15252937 | 11612533 |     4444   6625 |        0 |        0
1500.03/1500.53	c 1500s |      27 | 15268328 | 11624833 |     4444   6630 |        0 |        0
1502.02/1502.56	c 1502s |      27 | 15281704 | 11635833 |     4444   6635 |        0 |        0
1504.02/1504.56	c 1504s |      27 | 15300794 | 11650833 |     4444   6641 |        0 |        0
1506.02/1506.56	c 1506s |      27 | 15320573 | 11665933 |     4444   6647 |        0 |        0
1508.02/1508.57	c 1508s |      27 | 15344234 | 11683233 |     4444   6655 |        0 |        0
1510.02/1510.57	c 1510s |      27 | 15365661 | 11699633 |     4444   6662 |        0 |        0
1512.03/1512.58	c 1512s |      27 | 15390720 | 11717633 |     4444   6669 |        0 |        0
1514.02/1514.59	c 1514s |      27 | 15415585 | 11735733 |     4444   6677 |        0 |        0
1516.02/1516.59	c 1516s |      27 | 15439242 | 11753333 |     4444   6684 |        0 |        0
1518.12/1518.60	c 1518s |      27 | 15461411 | 11770333 |     4444   6692 |        0 |        0
1520.12/1520.60	c 1520s |      27 | 15485520 | 11788133 |     4444   6699 |        0 |        0
1522.11/1522.60	c 1522s |      27 | 15508014 | 11804933 |     4444   6706 |        0 |        0
1524.12/1524.61	c 1524s |      27 | 15526957 | 11819833 |     4444   6713 |        0 |        0
1526.11/1526.63	c 1526s |      27 | 15544397 | 11833533 |     4444   6718 |        0 |        0
1528.11/1528.64	c 1528s |      27 | 15568301 | 11851433 |     4444   6726 |        0 |        0
1530.11/1530.64	c 1530s |      27 | 15590964 | 11868133 |     4444   6733 |        0 |        0
1532.11/1532.64	c 1532s |      27 | 15613058 | 11884233 |     4444   6740 |        0 |        0
1534.12/1534.65	c 1534s |      27 | 15632533 | 11899033 |     4444   6746 |        0 |        0
1536.11/1536.66	c 1536s |      27 | 15654271 | 11915433 |     4444   6753 |        0 |        0
1538.12/1538.66	c 1538s |      27 | 15675906 | 11931233 |     4444   6760 |        0 |        0
1540.12/1540.67	c 1540s |      27 | 15697105 | 11947233 |     4444   6767 |        0 |        0
1542.12/1542.67	c 1542s |      27 | 15718404 | 11963033 |     4444   6773 |        0 |        0
1544.12/1544.67	c 1544s |      27 | 15738419 | 11978033 |     4444   6780 |        0 |        0
1546.12/1546.68	c 1546s |      27 | 15760145 | 11994233 |     4444   6786 |        0 |        0
1548.11/1548.69	c 1548s |      27 | 15785322 | 12013033 |     4444   6794 |        0 |        0
1550.21/1550.71	c 1550s |      27 | 15808448 | 12030233 |     4444   6802 |        0 |        0
1552.21/1552.72	c 1552s |      27 | 15828950 | 12045733 |     4444   6808 |        0 |        0
1554.21/1554.73	c 1554s |      27 | 15848171 | 12060233 |     4444   6814 |        0 |        0
1556.21/1556.73	c 1556s |      27 | 15866193 | 12073933 |     4444   6820 |        0 |        0
1558.22/1558.74	c 1558s |      27 | 15885135 | 12088733 |     4444   6826 |        0 |        0
1560.21/1560.75	c 1560s |      27 | 15900655 | 12101533 |     4444   6832 |        0 |        0
1562.21/1562.76	c 1562s |      27 | 15917358 | 12114433 |     4444   6837 |        0 |        0
1564.21/1564.77	c 1564s |      27 | 15936436 | 12129133 |     4444   6843 |        0 |        0
1566.21/1566.79	c 1566s |      27 | 15953864 | 12143233 |     4444   6849 |        0 |        0
1568.31/1568.81	c 1568s |      27 | 15972020 | 12157133 |     4444   6855 |        0 |        0
1570.32/1570.81	c 1570s |      27 | 15984753 | 12167633 |     4444   6860 |        0 |        0
1572.31/1572.82	c 1572s |      27 | 16001364 | 12181233 |     4444   6866 |        0 |        0
1574.31/1574.83	c 1574s |      27 | 16016763 | 12193733 |     4444   6871 |        0 |        0
1576.31/1576.84	c 1576s |      27 | 16033974 | 12207433 |     4444   6877 |        0 |        0
1578.31/1578.85	c 1578s |      27 | 16053496 | 12222333 |     4444   6883 |        0 |        0
1580.31/1580.85	c 1580s |      27 | 16071739 | 12237033 |     4444   6889 |        0 |        0
1582.31/1582.86	c 1582s |      27 | 16085742 | 12248533 |     4444   6894 |        0 |        0
1584.41/1584.92	c 1584s |      27 | 16100953 | 12260533 |     4444   6900 |        0 |        0
1586.41/1586.92	c 1586s |      27 | 16116274 | 12273133 |     4444   6905 |        0 |        0
1588.41/1588.93	c 1588s |      27 | 16131978 | 12285433 |     4444   6910 |        0 |        0
1590.41/1590.95	c 1590s |      27 | 16149067 | 12299033 |     4444   6916 |        0 |        0
1592.41/1592.95	c 1592s |      27 | 16166946 | 12313233 |     4444   6922 |        0 |        0
1594.41/1594.96	c 1594s |      27 | 16185895 | 12327733 |     4444   6928 |        0 |        0
1596.41/1596.96	c 1596s |      27 | 16211004 | 12345933 |     4444   6936 |        0 |        0
1598.41/1598.97	c 1598s |      27 | 16233284 | 12362433 |     4444   6943 |        0 |        0
1600.40/1600.98	c 1600s |      27 | 16250335 | 12375833 |     4444   6949 |        0 |        0
1602.40/1602.99	c 1602s |      27 | 16275487 | 12394633 |     4444   6957 |        0 |        0
1604.41/1605.00	c 1604s |      27 | 16297741 | 12411533 |     4444   6964 |        0 |        0
1606.50/1607.02	c 1606s |      27 | 16318137 | 12427033 |     4444   6971 |        0 |        0
1608.50/1609.02	c 1609s |      27 | 16337494 | 12442433 |     4444   6977 |        0 |        0
1610.51/1611.03	c 1611s |      27 | 16356855 | 12456933 |     4444   6983 |        0 |        0
1612.51/1613.03	c 1613s |      27 | 16374295 | 12470933 |     4444   6989 |        0 |        0
1614.51/1615.05	c 1615s |      27 | 16393156 | 12485233 |     4444   6996 |        0 |        0
1616.51/1617.05	c 1617s |      27 | 16412768 | 12500633 |     4444   7002 |        0 |        0
1618.51/1619.06	c 1619s |      27 | 16434623 | 12516833 |     4444   7009 |        0 |        0
1620.51/1621.07	c 1621s |      27 | 16454789 | 12532533 |     4444   7016 |        0 |        0
1622.51/1623.09	c 1623s |      27 | 16476083 | 12548733 |     4444   7022 |        0 |        0
1624.51/1625.09	c 1625s |      27 | 16493706 | 12562333 |     4444   7028 |        0 |        0
1626.61/1627.11	c 1627s |      27 | 16506570 | 12573133 |     4444   7033 |        0 |        0
1628.61/1629.11	c 1629s |      27 | 16525641 | 12587833 |     4444   7039 |        0 |        0
1630.61/1631.12	c 1631s |      27 | 16549110 | 12605633 |     4444   7047 |        0 |        0
1632.60/1633.12	c 1633s |      27 | 16572560 | 12623233 |     4444   7054 |        0 |        0
1634.60/1635.12	c 1635s |      27 | 16591720 | 12638333 |     4444   7061 |        0 |        0
1636.60/1637.13	c 1637s |      27 | 16608252 | 12651233 |     4444   7066 |        0 |        0
1638.61/1639.13	c 1639s |      27 | 16625928 | 12664733 |     4444   7072 |        0 |        0
1640.60/1641.14	c 1641s |      27 | 16643745 | 12678533 |     4444   7078 |        0 |        0
1642.60/1643.16	c 1643s |      27 | 16659530 | 12691033 |     4444   7083 |        0 |        0
1644.60/1645.16	c 1645s |      27 | 16677230 | 12704433 |     4444   7089 |        0 |        0
1646.60/1647.18	c 1647s |      27 | 16694309 | 12717933 |     4444   7094 |        0 |        0
1648.60/1649.18	c 1649s |      27 | 16710721 | 12730933 |     4444   7100 |        0 |        0
1650.61/1651.19	c 1651s |      27 | 16728722 | 12744533 |     4444   7106 |        0 |        0
1652.60/1653.19	c 1653s |      27 | 16748630 | 12759833 |     4444   7112 |        0 |        0
1654.70/1655.20	c 1655s |      27 | 16764719 | 12772733 |     4444   7118 |        0 |        0
1656.70/1657.21	c 1657s |      27 | 16783316 | 12786933 |     4444   7124 |        0 |        0
1658.70/1659.23	c 1659s |      27 | 16803551 | 12801933 |     4444   7130 |        0 |        0
1660.70/1661.25	c 1661s |      27 | 16820669 | 12815333 |     4444   7136 |        0 |        0
1662.70/1663.25	c 1663s |      27 | 16837413 | 12828533 |     4444   7142 |        0 |        0
1664.70/1665.26	c 1665s |      27 | 16856372 | 12842833 |     4444   7148 |        0 |        0
1666.69/1667.27	c 1667s |      27 | 16875154 | 12857233 |     4444   7154 |        0 |        0
1668.69/1669.28	c 1669s |      27 | 16894222 | 12871933 |     4444   7160 |        0 |        0
1670.69/1671.28	c 1671s |      27 | 16910319 | 12884733 |     4444   7166 |        0 |        0
1672.70/1673.29	c 1673s |      27 | 16929821 | 12899833 |     4444   7172 |        0 |        0
1674.70/1675.30	c 1675s |      27 | 16945690 | 12911733 |     4444   7177 |        0 |        0
1676.80/1677.30	c 1677s |      27 | 16958686 | 12922633 |     4444   7182 |        0 |        0
1678.80/1679.31	c 1679s |      27 | 16972764 | 12934033 |     4444   7187 |        0 |        0
1680.80/1681.32	c 1681s |      27 | 16985648 | 12944933 |     4444   7191 |        0 |        0
1682.80/1683.32	c 1683s |      27 | 17002479 | 12958133 |     4444   7197 |        0 |        0
1684.80/1685.32	c 1685s |      27 | 17015584 | 12969333 |     4444   7202 |        0 |        0
1686.80/1687.33	c 1687s |      27 | 17030302 | 12980933 |     4444   7206 |        0 |        0
1688.80/1689.34	c 1689s |      27 | 17047348 | 12994433 |     4444   7212 |        0 |        0
1690.80/1691.37	c 1691s |      27 | 17065475 | 13008133 |     4444   7218 |        0 |        0
1692.79/1693.37	c 1693s |      27 | 17085306 | 13023133 |     4444   7224 |        0 |        0
1694.79/1695.38	c 1695s |      27 | 17099251 | 13034533 |     4444   7229 |        0 |        0
1696.80/1697.39	c 1697s |      27 | 17116395 | 13047533 |     4444   7235 |        0 |        0
1698.89/1699.40	c 1699s |      27 | 17135987 | 13062133 |     4444   7241 |        0 |        0
1700.89/1701.41	c 1701s |      27 | 17154050 | 13076633 |     4444   7247 |        0 |        0
1702.89/1703.42	c 1703s |      27 | 17170303 | 13088833 |     4444   7253 |        0 |        0
1704.89/1705.43	c 1705s |      27 | 17187971 | 13102933 |     4444   7259 |        0 |        0
1706.89/1707.43	c 1707s |      27 | 17203119 | 13115133 |     4444   7264 |        0 |        0
1708.90/1709.44	c 1709s |      27 | 17219744 | 13128633 |     4444   7269 |        0 |        0
1710.89/1711.45	c 1711s |      27 | 17237415 | 13142433 |     4444   7275 |        0 |        0
1712.89/1713.47	c 1713s |      27 | 17252738 | 13154433 |     4444   7280 |        0 |        0
1714.89/1715.47	c 1715s |      27 | 17267743 | 13166333 |     4444   7286 |        0 |        0
1716.89/1717.48	c 1717s |      27 | 17284324 | 13179533 |     4444   7291 |        0 |        0
1718.99/1719.50	c 1719s |      27 | 17298462 | 13190933 |     4444   7296 |        0 |        0
1720.89/1721.50	c 1721s |      27 | 17315554 | 13204233 |     4444   7302 |        0 |        0
1722.99/1723.50	c 1723s |      27 | 17330965 | 13216733 |     4444   7307 |        0 |        0
1724.99/1725.51	c 1725s |      27 | 17347809 | 13229933 |     4444   7313 |        0 |        0
1726.99/1727.52	c 1727s |      27 | 17366011 | 13244133 |     4444   7319 |        0 |        0
1728.99/1729.53	c 1729s |      27 | 17387644 | 13260133 |     4444   7326 |        0 |        0
1730.99/1731.53	c 1731s |      27 | 17411722 | 13277733 |     4444   7333 |        0 |        0
1732.98/1733.55	c 1733s |      27 | 17434001 | 13294833 |     4444   7340 |        0 |        0
1734.98/1735.55	c 1735s |      27 | 17458186 | 13312733 |     4444   7348 |        0 |        0
1736.98/1737.56	c 1737s |      27 | 17482618 | 13330433 |     4444   7356 |        0 |        0
1738.98/1739.56	c 1739s |      27 | 17503499 | 13346433 |     4444   7362 |        0 |        0
1740.98/1741.57	c 1741s |      27 | 17525333 | 13363233 |     4444   7369 |        0 |        0
1742.99/1743.59	c 1743s |      27 | 17543220 | 13377633 |     4444   7376 |        0 |        0
1745.08/1745.61	c 1745s |      27 | 17557106 | 13389033 |     4444   7381 |        0 |        0
1747.08/1747.63	c 1747s |      27 | 17574067 | 13402233 |     4444   7386 |        0 |        0
1749.08/1749.63	c 1749s |      27 | 17593639 | 13417333 |     4444   7393 |        0 |        0
1751.09/1751.63	c 1751s |      27 | 17612648 | 13431833 |     4444   7399 |        0 |        0
1753.09/1753.64	c 1753s |      27 | 17631292 | 13445833 |     4444   7405 |        0 |        0
1755.09/1755.64	c 1755s |      27 | 17651397 | 13461133 |     4444   7411 |        0 |        0
1757.09/1757.66	c 1757s |      27 | 17668774 | 13475133 |     4444   7417 |        0 |        0
1759.09/1759.67	c 1759s |      27 | 17687113 | 13489033 |     4444   7423 |        0 |        0
1761.08/1761.67	c 1761s |      27 | 17706357 | 13503533 |     4444   7429 |        0 |        0
1763.08/1763.69	c 1763s |      27 | 17731235 | 13521633 |     4444   7437 |        0 |        0
1765.18/1765.70	c 1765s |      27 | 17751854 | 13537533 |     4444   7444 |        0 |        0
1767.19/1767.71	c 1767s |      27 | 17767181 | 13549433 |     4444   7449 |        0 |        0
1769.18/1769.72	c 1769s |      27 | 17788758 | 13565333 |     4444   7456 |        0 |        0
1771.18/1771.72	c 1771s |      27 | 17811822 | 13582433 |     4444   7463 |        0 |        0
1773.18/1773.74	c 1773s |      27 | 17833237 | 13597933 |     4444   7470 |        0 |        0
1775.18/1775.74	c 1775s |      27 | 17855068 | 13613433 |     4444   7476 |        0 |        0
1777.18/1777.75	c 1777s |      27 | 17877869 | 13629833 |     4444   7483 |        0 |        0
1779.18/1779.75	c 1779s |      27 | 17901050 | 13646633 |     4444   7490 |        0 |        0
1781.18/1781.75	c 1781s |      27 | 17923767 | 13663533 |     4444   7497 |        0 |        0
1783.18/1783.76	c 1783s |      27 | 17947946 | 13680633 |     4444   7505 |        0 |        0
1785.17/1785.77	c 1785s |      27 | 17968913 | 13696233 |     4444   7511 |        0 |        0
1787.17/1787.77	c 1787s |      27 | 17989523 | 13711433 |     4444   7518 |        0 |        0
1789.18/1789.78	c 1789s |      27 | 18012250 | 13728733 |     4444   7525 |        0 |        0
1791.18/1791.79	c 1791s |      27 | 18032929 | 13744433 |     4444   7532 |        0 |        0
1793.28/1793.80	c 1793s |      27 | 18056238 | 13761533 |     4444   7539 |        0 |        0
1795.28/1795.82	c 1795s |      27 | 18081446 | 13779933 |     4444   7547 |        0 |        0
1797.28/1797.82	c 1797s |      27 | 18101586 | 13795333 |     4444   7554 |        0 |        0
1799.28/1799.82	c 1799s |      27 | 18122203 | 13810733 |     4444   7560 |        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-4088686-1466012883/watcher-4088686-1466012883 -o /tmp/evaluation-result-4088686-1466012883/solver-4088686-1466012883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088686-1466012883.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.01 1.87 3/179 5922
/proc/meminfo: memFree=30426856/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 2707 0 0 0 0 0 0 0 20 0 4 0 3338428 742846464 3579 33554432000 4194304 16246674 140736442156640 140736442156064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 182127 3588 441 2943 0 179021 0
[pid=5922/tid=5923] ppid=5919 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 761720832 3651 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 766963712 3668 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 771158016 3683 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.07 2.01 1.87 3/179 5922
/proc/meminfo: memFree=30426856/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 24436 0 0 0 6 3 0 0 20 0 4 0 3338428 1247350784 25297 33554432000 4194304 16246674 140736442156640 140736442156064 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 304529 25305 716 2943 0 301423 0
[pid=5922/tid=5923] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 25310 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 25316 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 25325 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.07 2.01 1.87 3/179 5922
/proc/meminfo: memFree=30426856/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 45810 0 0 0 12 6 0 0 20 0 4 0 3338428 1247350784 46671 33554432000 4194304 16246674 140736442156640 140736442156064 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 304529 46681 716 2943 0 301423 0
[pid=5922/tid=5923] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 46685 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 46691 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 46698 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30044 s]
/proc/loadavg: 2.07 2.01 1.87 3/179 5922
/proc/meminfo: memFree=30426856/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 66921 0 0 0 20 9 0 0 20 0 4 0 3338428 1247350784 67782 33554432000 4194304 16246674 140736442156640 140736442156064 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 304529 67794 716 2943 0 301423 0
[pid=5922/tid=5923] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 67802 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 67808 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 67814 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700367 s]
/proc/loadavg: 2.07 2.01 1.87 3/179 5922
/proc/meminfo: memFree=30426856/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 150685 0 0 0 49 20 0 0 20 0 4 0 3338428 1247350784 151546 33554432000 4194304 16246674 140736442156640 140736442138560 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 304529 151556 716 2943 0 301423 0
[pid=5922/tid=5923] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 151562 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 151569 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1247350784 151577 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.07 2.01 1.87 3/183 5926
/proc/meminfo: memFree=29496580/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 231860 0 0 0 118 31 0 0 20 0 4 0 3338428 1250496512 232701 33554432000 4194304 16246674 140736442156640 140736442139640 6024888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 305297 232701 791 2943 0 302191 0
[pid=5922/tid=5923] ppid=5919 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1250496512 232701 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1250496512 232701 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1250496512 232701 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10037 s]
/proc/loadavg: 2.07 2.01 1.87 3/183 5926
/proc/meminfo: memFree=29362528/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 266109 0 0 0 273 35 0 0 20 0 4 0 3338428 1337528320 266950 33554432000 4194304 16246674 140736442156640 140736442139640 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 326545 266950 791 2943 0 323439 0
[pid=5922/tid=5923] ppid=5919 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1337528320 266950 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1337528320 266950 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1337528320 266950 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.07 2.01 1.87 3/183 5926
/proc/meminfo: memFree=29351616/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 268080 0 0 0 593 36 0 0 20 0 4 0 3338428 1339625472 268921 33554432000 4194304 16246674 140736442156640 140736442139640 5808488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 327057 268921 792 2943 0 323951 0
[pid=5922/tid=5923] ppid=5919 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1339625472 268921 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1339625472 268921 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1339625472 268921 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 1.87 3/183 5926
/proc/meminfo: memFree=29349896/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 268340 0 0 0 1233 36 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140736442139640 5722648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 327313 269181 792 2943 0 324207 0
[pid=5922/tid=5923] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.12 2.03 1.88 3/183 5926
/proc/meminfo: memFree=29348752/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 268340 0 0 0 2512 36 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140736442139640 5673867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 327313 269181 792 2943 0 324207 0
[pid=5922/tid=5923] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1340674048 269181 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.08 2.03 1.88 3/183 5926
/proc/meminfo: memFree=29347108/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 268760 0 0 0 5071 37 0 0 20 0 4 0 3338428 1342771200 269601 33554432000 4194304 16246674 140736442156640 140736442138560 12459912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 327825 269601 794 2943 0 324719 0
[pid=5922/tid=5923] ppid=5919 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1342771200 269601 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1342771200 269601 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1342771200 269601 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 1.89 3/183 5927
/proc/meminfo: memFree=29341316/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 269110 0 0 0 10190 38 0 0 20 0 4 0 3338428 1343819776 269951 33554432000 4194304 16246674 140736442156640 140736442138560 5675841 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 328081 269951 794 2943 0 324975 0
[pid=5922/tid=5923] ppid=5919 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1343819776 269951 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1343819776 269951 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1343819776 269951 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1353256960 272260 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.17 2.15 2.05 3/183 5980
/proc/meminfo: memFree=29309540/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1321540 CPUtime=1301.89 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 271809 0 0 0 130126 63 0 0 20 0 4 0 3338428 1353256960 272260 33554432000 4194304 16246674 140736442156640 140736442138560 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330385 272260 796 2943 0 327279 0
[pid=5922/tid=5923] ppid=5919 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1353256960 272260 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1353256960 272260 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1353256960 272260 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.05 3/184 5985
/proc/meminfo: memFree=29307316/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1361.85 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272366 0 0 0 136121 64 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442139640 5754764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.23 2.17 2.07 4/183 6084
/proc/meminfo: memFree=29352132/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1421.84 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272386 0 0 0 142119 65 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442139640 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.07 3/183 6085
/proc/meminfo: memFree=29348984/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1481.82 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272386 0 0 0 148116 66 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442138560 6044452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.16 2.15 2.07 3/183 6086
/proc/meminfo: memFree=29345828/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1541.82 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272386 0 0 0 154114 68 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442139640 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.16 2.15 2.08 3/183 6087
/proc/meminfo: memFree=29344868/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1601.8 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272386 0 0 0 160112 68 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442139640 5523184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.15 2.15 2.08 3/183 6089
/proc/meminfo: memFree=29341340/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1323588 CPUtime=1661.8 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272386 0 0 0 166111 69 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140736442138560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 330897 272772 796 2943 0 327791 0
[pid=5922/tid=5923] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1355354112 272772 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.24 2.17 2.09 3/183 6090
/proc/meminfo: memFree=29338412/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1325636 CPUtime=1721.79 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272898 0 0 0 172109 70 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140736442155736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 331409 273284 796 2943 0 328303 0
[pid=5922/tid=5923] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/183 6091
/proc/meminfo: memFree=29335336/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1325636 CPUtime=1781.78 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272898 0 0 0 178107 71 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140736442138560 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 331409 273284 796 2943 0 328303 0
[pid=5922/tid=5923] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.17 2.09 3/183 6091
/proc/meminfo: memFree=29335488/32872528 swapFree=524788/557492
[pid=5922] ppid=5919 vsize=1325636 CPUtime=1800.08 cores=1,3,5,7
/proc/5922/stat : 5922 (toysat) R 5919 5922 5756 0 -1 4202496 272898 0 0 0 179936 72 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140736442138560 5823730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5922/statm: 331409 273284 796 2943 0 328303 0
[pid=5922/tid=5923] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5923/stat : 5923 (toysat) S 5919 5922 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031261912304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5922/tid=5924] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5924/stat : 5924 (toysat) S 5919 5922 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031251422448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5922/tid=5925] ppid=5919 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5922/task/5925/stat : 5925 (toysat) S 5919 5922 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3338428 1357451264 273284 33554432000 4194304 16246674 140736442156640 140031167556784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1325636

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.37
CPU system time (s): 0.72289
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.72289
maximum resident set size= 1093136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272898
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= 471
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35334 second user time and 7.2109 second system time

The end

Begin job on node106 at 2016-06-15 19:48:03
IDJOB=4088686
IDBENCH=107299
IDSOLVER=2542
FILE ID=node106/4088686-1466012883
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 5a667adffb67511c2d543fdcada7739f
RANDOM SEED=2060001842

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30427508 kB
Buffers:            9292 kB
Cached:            66920 kB
SwapCached:         1436 kB
Active:          1165840 kB
Inactive:          12264 kB
Active(anon):    1103040 kB
Inactive(anon):     1220 kB
Active(file):      62800 kB
Inactive(file):    11044 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099216 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1725952 kB
Mapped:             9556 kB
Shmem:                 0 kB
Slab:             576192 kB
SReclaimable:      20572 kB
SUnreclaim:       555620 kB
KernelStack:        1520 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1802348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 20:18:04