0.00/0.00	c 2016-06-30T22:13:45+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-4122754-1467317625.opb"]
0.00/0.01	c use --random-gen="3132067338 3050940004 3287925516 534357121 2198193321 3435155527 1811101340 1351081453 4089630725 2197681935 2235377880 1540474968 265900827 1616554546 2072825537 1293045539 640918451 2981870053 1510916646 4203759468 919348304 4141844412 3920550840 3284829373 4089236955 1309229707 1691982674 1288518624 799805225 3710544689 3731835568 3497763444 2369301845 2741718934 3489204984 3060388357 595115211 1089262034 1963102338 3761697901 3019474451 2133651084 2680052147 3383940823 3345413290 4238626796 3811806405 2327241145 1422889735 2410832071 2410555301 4067239593 4180155581 4082751365 1131197156 1281798663 121252659 3447052584 1963055942 1701602805 2047617215 4048468529 2477416732 2674128885 418865076 1662647610 811130705 3332673621 1544367633 858624055 2261880534 4177136400 1999820353 1710686674 4194300301 839808841 8784892 733291857 1627131749 2596554880 212101289 4102491395 811742437 1710517349 4265690312 846910365 1675036192 312265438 3351456467 4151162671 2352254219 2915566160 30674820 3268318120 1331802163 3457772544 1564756793 3624228211 1806379758 201541662 299522099 3674380715 711091812 146855733 3675008221 2497609054 202818180 51498167 555935128 4049154179 3128166193 1747278723 1619634137 2182704331 80106919 915162201 2255412688 340499146 2787996505 3734333034 498615094 3927279942 877434866 1424384654 724287094 2271544928 3044267755 2127473944 752160804 726823007 4293513873 1657604213 1215973669 3665427512 4029391511 3600364879 1934053209 1545583370 1451763696 3098826783 1351724153 1222836957 1269014847 1236970147 3469055038 2669172604 634245385 852810043 773324717 3102133985 1819234506 2700378786 3433804289 3622618566 2712106555 1510699452 176762591 3753291438 3409573608 2987284747 3194887258 4121333212 431994159 302074323 3386139892 2531905263 627762748 2745443108 2246095768 294490849 131118967 1882222814 4047157245 260140097 2435853194 711415273 1142802370 3663798827 1627398296 1938434528 2975689378 3244688581 3004550784 2402458801 2881300552 3958176159 4062775023 3339867116 4085082745 738489310 1703505645 321285049 2275067036 772745924 4158538268 2868425156 3339280327 3604211546 1830960715 245266828 1843817013 251462881 1354583922 844101069 3170537891 3118082499 2914188936 1012851892 3452322563 2382503357 4228326348 2961785442 2128335704 1784326969 3964136861 4000252248 3750085046 1935236745 715729523 1394672326 3843197280 2471359877 1062859985 3778665228 18190954 2055053560 1239371986 67468592 2439246491 2389745441 3147587748 176166218 2374382215 279751560 3313811545 3744577326 3823206180 3496841237 2626726261 3555410572 4098806463 1539062391 2392774380 2551366359 3848730574 4057669190 3664204323 1263962982 306476849 2176510411 3411386689 4190441848 1674522505 1127851680 1643101490 2562505248 255 362436" option to reproduce the execution
0.00/0.01	c #vars 361
0.00/0.01	c #constraints 360
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 |      240      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      160 |      100 |      240      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      431 |      250 |      264      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      789 |      475 |      291      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1303 |      813 |      321      2 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2062 |     1320 |      354      4 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3038 |     2081 |      430      7 |        0 |        0
0.29/0.39	c  0.4s |       7 |     4562 |     3223 |      474     10 |        0 |        0
0.49/0.59	c  0.6s |       8 |     7138 |     4936 |      522     14 |        0 |        0
0.89/0.92	c  0.9s |       9 |    10895 |     7506 |      575     21 |        0 |        0
1.29/1.32	c  1.3s |      10 |    16044 |    11361 |      633     31 |        0 |        0
1.89/1.90	c  1.9s |      11 |    25542 |    17144 |      697     45 |        0 |        0
2.69/2.76	c  2.7s |      12 |    38120 |    25819 |      767     64 |        0 |        0
3.99/4.07	c  4.1s |      13 |    56707 |    38832 |      844     91 |        0 |        0
5.89/5.96	c  5.9s |      14 |    83029 |    58352 |      929    127 |        0 |        0
7.89/7.96	c  7.9s |      14 |   107023 |    76652 |      929    160 |        0 |        0
9.09/9.11	c  9.1s |      15 |   121473 |    87632 |     1022    179 |        0 |        0
11.10/11.11	c 11.1s |      15 |   143731 |   104632 |     1022    206 |        0 |        0
13.09/13.12	c 13.1s |      15 |   167313 |   122832 |     1022    235 |        0 |        0
13.99/14.07	c 14.1s |      16 |   178679 |   131552 |     1125    249 |        0 |        0
15.99/16.08	c 16.1s |      16 |   203072 |   149552 |     1125    277 |        0 |        0
17.99/18.08	c 18.1s |      16 |   226444 |   167352 |     1125    303 |        0 |        0
19.99/20.09	c 20.1s |      16 |   249155 |   184552 |     1125    329 |        0 |        0
21.48/21.51	c 21.5s |      17 |   266080 |   197432 |     1238    348 |        0 |        0
23.48/23.52	c 23.5s |      17 |   288801 |   214432 |     1238    371 |        0 |        0
25.48/25.52	c 25.5s |      17 |   312890 |   232432 |     1238    396 |        0 |        0
27.50/27.53	c 27.5s |      17 |   337271 |   250732 |     1238    421 |        0 |        0
29.49/29.53	c 29.5s |      17 |   360960 |   268432 |     1238    446 |        0 |        0
31.49/31.54	c 31.5s |      17 |   384623 |   285932 |     1238    470 |        0 |        0
32.69/32.71	c 32.7s |      18 |   398000 |   296252 |     1362    483 |        0 |        0
34.69/34.72	c 34.7s |      18 |   422313 |   313652 |     1362    505 |        0 |        0
36.69/36.72	c 36.7s |      18 |   445946 |   331352 |     1362    528 |        0 |        0
38.69/38.72	c 38.7s |      18 |   470481 |   349452 |     1362    552 |        0 |        0
40.69/40.73	c 40.7s |      18 |   494044 |   367652 |     1362    575 |        0 |        0
42.68/42.74	c 42.7s |      18 |   518778 |   385952 |     1362    599 |        0 |        0
44.68/44.75	c 44.7s |      18 |   543006 |   403052 |     1362    621 |        0 |        0
46.68/46.76	c 46.7s |      18 |   565080 |   419152 |     1362    642 |        0 |        0
48.68/48.77	c 48.7s |      18 |   587879 |   435152 |     1362    663 |        0 |        0
49.78/49.89	c 49.9s |      19 |   600225 |   444482 |     1499    675 |        0 |        0
51.88/51.90	c 51.9s |      19 |   621603 |   460982 |     1499    694 |        0 |        0
53.89/53.91	c 53.9s |      19 |   641630 |   476782 |     1499    712 |        0 |        0
55.88/55.92	c 55.9s |      19 |   662768 |   493182 |     1499    731 |        0 |        0
57.88/57.93	c 57.9s |      19 |   684669 |   509782 |     1499    750 |        0 |        0
59.88/59.94	c 59.9s |      19 |   706455 |   526282 |     1499    769 |        0 |        0
61.89/61.94	c 61.9s |      19 |   727833 |   542382 |     1499    788 |        0 |        0
63.89/63.95	c 63.9s |      19 |   749044 |   558282 |     1499    806 |        0 |        0
65.89/65.96	c 65.9s |      19 |   771056 |   575282 |     1499    826 |        0 |        0
67.88/67.96	c 67.9s |      19 |   792358 |   591782 |     1499    845 |        0 |        0
69.88/69.96	c 69.9s |      19 |   814658 |   608782 |     1499    864 |        0 |        0
71.88/71.97	c 72.0s |      19 |   836456 |   625682 |     1499    884 |        0 |        0
73.88/73.98	c 74.0s |      19 |   857568 |   642182 |     1499    903 |        0 |        0
75.89/75.99	c 76.0s |      19 |   878386 |   658182 |     1499    921 |        0 |        0
76.99/77.09	c 77.1s |      20 |   889439 |   666827 |     1649    931 |        0 |        0
78.98/79.09	c 79.1s |      20 |   909692 |   682127 |     1649    947 |        0 |        0
81.08/81.10	c 81.1s |      20 |   931103 |   697927 |     1649    964 |        0 |        0
83.08/83.11	c 83.1s |      20 |   952796 |   714727 |     1649    982 |        0 |        0
85.08/85.11	c 85.1s |      20 |   974299 |   731027 |     1649   1000 |        0 |        0
87.08/87.12	c 87.1s |      20 |   995467 |   747327 |     1649   1017 |        0 |        0
89.08/89.14	c 89.1s |      20 |  1017203 |   763227 |     1649   1034 |        0 |        0
91.08/91.14	c 91.1s |      20 |  1037997 |   778627 |     1649   1051 |        0 |        0
93.08/93.15	c 93.1s |      20 |  1059873 |   794327 |     1649   1068 |        0 |        0
95.08/95.16	c 95.1s |      20 |  1082243 |   810627 |     1649   1086 |        0 |        0
97.08/97.16	c 97.1s |      20 |  1103453 |   826227 |     1649   1103 |        0 |        0
99.08/99.17	c 99.2s |      20 |  1125692 |   842427 |     1649   1120 |        0 |        0
101.07/101.18	c  101s |      20 |  1145766 |   857827 |     1649   1137 |        0 |        0
103.07/103.18	c  103s |      20 |  1166365 |   872727 |     1649   1153 |        0 |        0
105.07/105.19	c  105s |      20 |  1186710 |   887827 |     1649   1170 |        0 |        0
107.17/107.20	c  107s |      20 |  1206206 |   902127 |     1649   1185 |        0 |        0
109.17/109.20	c  109s |      20 |  1226636 |   916727 |     1649   1201 |        0 |        0
111.18/111.22	c  111s |      20 |  1247998 |   932327 |     1649   1218 |        0 |        0
113.17/113.23	c  113s |      20 |  1269200 |   947527 |     1649   1235 |        0 |        0
115.18/115.23	c  115s |      20 |  1291001 |   963227 |     1649   1252 |        0 |        0
117.18/117.24	c  117s |      20 |  1311889 |   978627 |     1649   1269 |        0 |        0
119.17/119.25	c  119s |      20 |  1333393 |   994327 |     1814   1286 |        0 |        0
120.07/120.14	c  120s |      21 |  1341081 |  1000345 |     1814   1292 |        0 |        0
122.08/122.15	c  122s |      21 |  1363583 |  1017245 |     1814   1308 |        0 |        0
124.07/124.16	c  124s |      21 |  1385606 |  1034045 |     1814   1325 |        0 |        0
126.07/126.16	c  126s |      21 |  1405091 |  1049745 |     1814   1340 |        0 |        0
128.07/128.17	c  128s |      21 |  1424040 |  1064945 |     1814   1355 |        0 |        0
130.07/130.18	c  130s |      21 |  1445947 |  1081145 |     1814   1371 |        0 |        0
132.07/132.18	c  132s |      21 |  1465209 |  1096245 |     1814   1386 |        0 |        0
134.07/134.19	c  134s |      21 |  1484475 |  1111245 |     1814   1401 |        0 |        0
136.17/136.20	c  136s |      21 |  1507625 |  1128345 |     1814   1418 |        0 |        0
138.17/138.20	c  138s |      21 |  1529645 |  1144745 |     1814   1434 |        0 |        0
140.16/140.21	c  140s |      21 |  1550557 |  1160545 |     1814   1450 |        0 |        0
142.16/142.22	c  142s |      21 |  1568798 |  1174945 |     1814   1464 |        0 |        0
144.17/144.23	c  144s |      21 |  1588089 |  1189645 |     1814   1479 |        0 |        0
146.16/146.23	c  146s |      21 |  1607363 |  1204345 |     1814   1493 |        0 |        0
148.16/148.24	c  148s |      21 |  1625086 |  1218545 |     1814   1507 |        0 |        0
150.16/150.25	c  150s |      21 |  1641162 |  1231745 |     1814   1520 |        0 |        0
152.15/152.25	c  152s |      21 |  1659619 |  1245845 |     1814   1534 |        0 |        0
154.15/154.26	c  154s |      21 |  1679447 |  1260845 |     1814   1549 |        0 |        0
156.16/156.27	c  156s |      21 |  1700298 |  1276145 |     1814   1564 |        0 |        0
158.15/158.28	c  158s |      21 |  1720426 |  1291345 |     1814   1579 |        0 |        0
160.15/160.28	c  160s |      21 |  1741694 |  1307145 |     1814   1595 |        0 |        0
162.26/162.30	c  162s |      21 |  1760813 |  1321945 |     1814   1610 |        0 |        0
164.26/164.31	c  164s |      21 |  1781360 |  1337245 |     1814   1625 |        0 |        0
166.26/166.32	c  166s |      21 |  1801666 |  1352545 |     1814   1640 |        0 |        0
168.27/168.33	c  168s |      21 |  1822149 |  1368245 |     1814   1655 |        0 |        0
170.25/170.33	c  170s |      21 |  1842787 |  1383945 |     1814   1671 |        0 |        0
172.25/172.34	c  172s |      21 |  1862752 |  1399245 |     1814   1686 |        0 |        0
174.25/174.36	c  174s |      21 |  1882120 |  1413645 |     1814   1700 |        0 |        0
176.25/176.36	c  176s |      21 |  1902883 |  1429245 |     1814   1715 |        0 |        0
178.26/178.37	c  178s |      21 |  1923349 |  1444645 |     1814   1731 |        0 |        0
180.25/180.38	c  180s |      21 |  1943776 |  1459845 |     1814   1746 |        0 |        0
182.25/182.39	c  182s |      21 |  1964655 |  1474845 |     1814   1760 |        0 |        0
184.35/184.40	c  184s |      21 |  1984352 |  1490145 |     1996   1775 |        0 |        0
185.85/185.92	c  185s |      22 |  1998052 |  1500622 |     1996   1785 |        0 |        0
187.85/187.93	c  187s |      22 |  2020573 |  1516822 |     1996   1800 |        0 |        0
189.85/189.93	c  189s |      22 |  2041797 |  1532022 |     1996   1814 |        0 |        0
191.85/191.94	c  191s |      22 |  2062941 |  1547522 |     1996   1828 |        0 |        0
193.85/193.94	c  193s |      22 |  2084815 |  1563322 |     1996   1843 |        0 |        0
195.86/195.95	c  195s |      22 |  2106006 |  1578822 |     1996   1857 |        0 |        0
197.85/197.96	c  197s |      22 |  2126400 |  1594122 |     1996   1871 |        0 |        0
199.85/199.97	c  199s |      22 |  2148055 |  1609522 |     1996   1885 |        0 |        0
201.84/201.98	c  201s |      22 |  2167155 |  1623822 |     1996   1898 |        0 |        0
203.84/203.99	c  203s |      22 |  2186063 |  1637322 |     1996   1911 |        0 |        0
205.84/205.99	c  205s |      22 |  2205729 |  1651722 |     1996   1925 |        0 |        0
207.85/208.00	c  207s |      22 |  2226749 |  1666522 |     1996   1938 |        0 |        0
209.94/210.01	c  209s |      22 |  2250167 |  1682722 |     1996   1953 |        0 |        0
211.94/212.01	c  211s |      22 |  2272463 |  1697822 |     1996   1968 |        0 |        0
213.94/214.03	c  214s |      22 |  2293250 |  1712722 |     1996   1982 |        0 |        0
215.94/216.04	c  216s |      22 |  2314485 |  1728222 |     1996   1996 |        0 |        0
217.93/218.04	c  218s |      22 |  2335675 |  1742422 |     1996   2009 |        0 |        0
219.94/220.04	c  220s |      22 |  2356449 |  1757222 |     1996   2023 |        0 |        0
221.93/222.05	c  222s |      22 |  2376600 |  1771722 |     1996   2037 |        0 |        0
223.93/224.06	c  224s |      22 |  2397791 |  1786722 |     1996   2051 |        0 |        0
225.93/226.08	c  226s |      22 |  2416723 |  1800422 |     1996   2064 |        0 |        0
227.93/228.08	c  228s |      22 |  2436713 |  1814222 |     1996   2077 |        0 |        0
229.94/230.08	c  230s |      22 |  2455181 |  1827422 |     1996   2089 |        0 |        0
231.93/232.09	c  232s |      22 |  2474698 |  1841122 |     1996   2102 |        0 |        0
234.03/234.10	c  234s |      22 |  2494727 |  1855722 |     1996   2115 |        0 |        0
236.03/236.10	c  236s |      22 |  2514774 |  1869922 |     1996   2128 |        0 |        0
238.03/238.11	c  238s |      22 |  2533780 |  1884122 |     1996   2142 |        0 |        0
240.02/240.13	c  240s |      22 |  2555756 |  1899922 |     1996   2157 |        0 |        0
242.03/242.13	c  242s |      22 |  2576233 |  1914622 |     1996   2170 |        0 |        0
244.02/244.14	c  244s |      22 |  2596410 |  1929122 |     1996   2184 |        0 |        0
246.02/246.15	c  246s |      22 |  2617863 |  1943822 |     1996   2198 |        0 |        0
248.02/248.16	c  248s |      22 |  2638878 |  1958422 |     1996   2212 |        0 |        0
250.02/250.17	c  250s |      22 |  2659442 |  1972622 |     1996   2225 |        0 |        0
252.01/252.18	c  252s |      22 |  2680001 |  1986822 |     1996   2238 |        0 |        0
254.02/254.20	c  254s |      22 |  2699969 |  2001122 |     1996   2252 |        0 |        0
256.11/256.20	c  256s |      22 |  2721428 |  2016722 |     1996   2267 |        0 |        0
258.11/258.21	c  258s |      22 |  2744094 |  2032322 |     1996   2281 |        0 |        0
260.12/260.22	c  260s |      22 |  2765388 |  2047022 |     1996   2295 |        0 |        0
262.12/262.22	c  262s |      22 |  2785354 |  2061822 |     1996   2309 |        0 |        0
264.12/264.23	c  264s |      22 |  2805119 |  2076322 |     1996   2323 |        0 |        0
266.13/266.24	c  266s |      22 |  2824231 |  2090522 |     1996   2336 |        0 |        0
268.12/268.25	c  268s |      22 |  2845713 |  2106322 |     1996   2351 |        0 |        0
270.12/270.26	c  270s |      22 |  2864381 |  2120722 |     1996   2364 |        0 |        0
272.12/272.27	c  272s |      22 |  2885477 |  2136022 |     1996   2379 |        0 |        0
274.12/274.27	c  274s |      22 |  2904509 |  2150122 |     1996   2392 |        0 |        0
276.12/276.27	c  276s |      22 |  2923673 |  2164422 |     1996   2406 |        0 |        0
278.11/278.27	c  278s |      22 |  2942389 |  2178222 |     1996   2419 |        0 |        0
280.11/280.27	c  280s |      22 |  2961770 |  2192322 |     1996   2432 |        0 |        0
282.11/282.28	c  282s |      22 |  2979894 |  2205422 |     1996   2444 |        0 |        0
284.11/284.29	c  284s |      22 |  2999146 |  2219122 |     1996   2457 |        0 |        0
286.21/286.30	c  286s |      22 |  3017947 |  2232322 |     1996   2470 |        0 |        0
288.21/288.31	c  288s |      22 |  3036296 |  2245822 |     2196   2482 |        0 |        0
289.01/289.13	c  289s |      23 |  3043305 |  2251038 |     2196   2486 |        0 |        0
291.00/291.13	c  291s |      23 |  3064483 |  2265638 |     2196   2498 |        0 |        0
293.00/293.14	c  293s |      23 |  3084599 |  2279038 |     2196   2509 |        0 |        0
295.00/295.15	c  295s |      23 |  3102177 |  2291838 |     2196   2520 |        0 |        0
297.01/297.16	c  297s |      23 |  3122333 |  2305838 |     2196   2532 |        0 |        0
299.00/299.16	c  299s |      23 |  3143012 |  2319838 |     2196   2543 |        0 |        0
301.00/301.17	c  301s |      23 |  3164754 |  2334538 |     2196   2556 |        0 |        0
303.00/303.18	c  303s |      23 |  3184267 |  2348338 |     2196   2567 |        0 |        0
305.00/305.19	c  305s |      23 |  3201681 |  2361238 |     2196   2578 |        0 |        0
307.00/307.19	c  307s |      23 |  3222087 |  2375238 |     2196   2590 |        0 |        0
309.00/309.19	c  309s |      23 |  3243419 |  2390038 |     2196   2602 |        0 |        0
311.09/311.20	c  311s |      23 |  3263534 |  2404638 |     2196   2615 |        0 |        0
313.09/313.21	c  313s |      23 |  3283407 |  2418738 |     2196   2627 |        0 |        0
315.09/315.22	c  315s |      23 |  3302571 |  2432538 |     2196   2638 |        0 |        0
317.09/317.23	c  317s |      23 |  3321937 |  2446238 |     2196   2650 |        0 |        0
319.09/319.24	c  319s |      23 |  3341137 |  2460338 |     2196   2661 |        0 |        0
321.09/321.25	c  321s |      23 |  3360752 |  2473938 |     2196   2673 |        0 |        0
323.08/323.26	c  323s |      23 |  3380831 |  2488038 |     2196   2685 |        0 |        0
325.08/325.27	c  325s |      23 |  3398437 |  2500938 |     2196   2696 |        0 |        0
327.08/327.27	c  327s |      23 |  3418378 |  2514538 |     2196   2709 |        0 |        0
329.09/329.28	c  329s |      23 |  3440466 |  2529638 |     2196   2721 |        0 |        0
331.09/331.29	c  331s |      23 |  3460338 |  2543938 |     2196   2734 |        0 |        0
333.08/333.29	c  333s |      23 |  3479041 |  2557138 |     2196   2745 |        0 |        0
335.08/335.29	c  335s |      23 |  3498036 |  2570838 |     2196   2757 |        0 |        0
337.08/337.29	c  337s |      23 |  3517981 |  2584938 |     2196   2769 |        0 |        0
339.18/339.30	c  339s |      23 |  3539664 |  2600038 |     2196   2782 |        0 |        0
341.17/341.31	c  341s |      23 |  3560974 |  2615738 |     2196   2795 |        0 |        0
343.18/343.32	c  343s |      23 |  3581229 |  2630438 |     2196   2808 |        0 |        0
345.17/345.33	c  345s |      23 |  3602859 |  2645638 |     2196   2821 |        0 |        0
347.17/347.34	c  347s |      23 |  3622498 |  2659638 |     2196   2834 |        0 |        0
349.17/349.34	c  349s |      23 |  3642282 |  2674338 |     2196   2847 |        0 |        0
351.17/351.34	c  351s |      23 |  3659393 |  2687238 |     2196   2858 |        0 |        0
353.17/353.36	c  353s |      23 |  3679308 |  2701938 |     2196   2871 |        0 |        0
355.18/355.38	c  355s |      23 |  3699164 |  2715838 |     2196   2883 |        0 |        0
357.17/357.39	c  357s |      23 |  3718780 |  2729038 |     2196   2894 |        0 |        0
359.17/359.39	c  359s |      23 |  3737466 |  2741738 |     2196   2906 |        0 |        0
361.27/361.40	c  361s |      23 |  3755187 |  2753938 |     2196   2916 |        0 |        0
363.27/363.40	c  363s |      23 |  3775543 |  2767238 |     2196   2928 |        0 |        0
365.26/365.41	c  365s |      23 |  3795313 |  2780238 |     2196   2940 |        0 |        0
367.27/367.41	c  367s |      23 |  3814395 |  2794338 |     2196   2952 |        0 |        0
369.26/369.42	c  369s |      23 |  3834977 |  2808438 |     2196   2964 |        0 |        0
371.27/371.42	c  371s |      23 |  3855074 |  2822938 |     2196   2976 |        0 |        0
373.27/373.43	c  373s |      23 |  3874370 |  2836838 |     2196   2989 |        0 |        0
375.27/375.43	c  375s |      23 |  3896431 |  2851838 |     2196   3002 |        0 |        0
377.27/377.44	c  377s |      23 |  3916935 |  2866138 |     2196   3014 |        0 |        0
379.26/379.45	c  379s |      23 |  3933846 |  2878638 |     2196   3025 |        0 |        0
381.26/381.45	c  381s |      23 |  3952330 |  2891638 |     2196   3037 |        0 |        0
383.26/383.45	c  383s |      23 |  3969762 |  2904238 |     2196   3048 |        0 |        0
385.26/385.46	c  385s |      23 |  3988107 |  2916838 |     2196   3059 |        0 |        0
387.26/387.47	c  387s |      23 |  4006656 |  2930638 |     2196   3071 |        0 |        0
389.27/389.47	c  389s |      23 |  4021679 |  2942238 |     2196   3081 |        0 |        0
391.25/391.48	c  391s |      23 |  4039932 |  2955038 |     2196   3092 |        0 |        0
393.25/393.48	c  393s |      23 |  4058500 |  2967838 |     2196   3104 |        0 |        0
395.25/395.49	c  395s |      23 |  4076531 |  2980238 |     2196   3115 |        0 |        0
397.35/397.50	c  397s |      23 |  4095595 |  2993338 |     2196   3126 |        0 |        0
399.35/399.51	c  399s |      23 |  4114298 |  3005838 |     2196   3137 |        0 |        0
401.36/401.53	c  401s |      23 |  4132974 |  3018838 |     2196   3149 |        0 |        0
403.35/403.53	c  403s |      23 |  4151895 |  3031738 |     2196   3161 |        0 |        0
405.35/405.55	c  405s |      23 |  4171236 |  3044838 |     2196   3172 |        0 |        0
407.35/407.56	c  407s |      23 |  4188503 |  3057438 |     2196   3183 |        0 |        0
409.34/409.56	c  409s |      23 |  4207690 |  3070638 |     2196   3195 |        0 |        0
411.35/411.58	c  411s |      23 |  4228045 |  3084538 |     2196   3207 |        0 |        0
413.34/413.59	c  413s |      23 |  4244401 |  3096738 |     2196   3218 |        0 |        0
415.34/415.59	c  415s |      23 |  4262384 |  3109138 |     2196   3229 |        0 |        0
417.44/417.60	c  417s |      23 |  4279678 |  3122138 |     2196   3241 |        0 |        0
419.44/419.61	c  419s |      23 |  4298755 |  3135638 |     2196   3253 |        0 |        0
421.44/421.62	c  421s |      23 |  4318518 |  3148938 |     2196   3264 |        0 |        0
423.44/423.63	c  423s |      23 |  4338311 |  3163138 |     2196   3277 |        0 |        0
425.44/425.64	c  425s |      23 |  4359458 |  3177438 |     2196   3290 |        0 |        0
427.44/427.65	c  427s |      23 |  4377399 |  3190538 |     2196   3301 |        0 |        0
429.44/429.66	c  429s |      23 |  4394573 |  3202838 |     2196   3312 |        0 |        0
431.44/431.67	c  431s |      23 |  4413042 |  3216238 |     2196   3324 |        0 |        0
433.44/433.68	c  433s |      23 |  4432850 |  3229938 |     2196   3336 |        0 |        0
435.44/435.68	c  435s |      23 |  4451212 |  3243138 |     2196   3347 |        0 |        0
437.44/437.68	c  437s |      23 |  4472552 |  3257538 |     2196   3360 |        0 |        0
439.43/439.70	c  439s |      23 |  4492359 |  3271638 |     2196   3372 |        0 |        0
441.53/441.70	c  441s |      23 |  4511687 |  3285738 |     2196   3385 |        0 |        0
443.53/443.71	c  443s |      23 |  4531422 |  3299538 |     2196   3397 |        0 |        0
445.53/445.72	c  445s |      23 |  4552246 |  3313538 |     2196   3409 |        0 |        0
447.54/447.72	c  447s |      23 |  4572231 |  3326538 |     2196   3421 |        0 |        0
449.52/449.73	c  449s |      23 |  4591787 |  3339938 |     2196   3433 |        0 |        0
451.52/451.73	c  451s |      23 |  4611944 |  3353638 |     2416   3444 |        0 |        0
453.52/453.76	c  453s |      23 |  4631620 |  3367538 |     2416   3456 |        0 |        0
454.92/455.11	c  455s |      24 |  4644144 |  3376662 |     2416   3463 |        0 |        0
456.92/457.11	c  457s |      24 |  4662494 |  3388762 |     2416   3472 |        0 |        0
458.92/459.11	c  459s |      24 |  4681158 |  3402162 |     2416   3483 |        0 |        0
460.92/461.11	c  461s |      24 |  4701437 |  3416762 |     2416   3494 |        0 |        0
462.93/463.12	c  463s |      24 |  4722995 |  3431262 |     2416   3505 |        0 |        0
464.92/465.13	c  465s |      24 |  4742649 |  3444962 |     2416   3516 |        0 |        0
466.92/467.14	c  467s |      24 |  4760167 |  3458062 |     2416   3526 |        0 |        0
468.92/469.15	c  469s |      24 |  4777171 |  3470562 |     2416   3536 |        0 |        0
470.92/471.15	c  471s |      24 |  4795608 |  3483662 |     2416   3546 |        0 |        0
472.93/473.16	c  473s |      24 |  4812544 |  3496362 |     2416   3556 |        0 |        0
474.92/475.16	c  475s |      24 |  4829378 |  3508962 |     2416   3566 |        0 |        0
476.92/477.17	c  477s |      24 |  4847226 |  3521862 |     2416   3577 |        0 |        0
478.92/479.17	c  479s |      24 |  4865350 |  3534962 |     2416   3587 |        0 |        0
480.91/481.18	c  481s |      24 |  4884817 |  3548562 |     2416   3598 |        0 |        0
482.91/483.18	c  483s |      24 |  4902337 |  3560762 |     2416   3608 |        0 |        0
484.92/485.19	c  485s |      24 |  4921504 |  3574062 |     2416   3618 |        0 |        0
487.01/487.21	c  487s |      24 |  4938055 |  3586162 |     2416   3628 |        0 |        0
489.01/489.23	c  489s |      24 |  4955884 |  3598762 |     2416   3638 |        0 |        0
491.01/491.23	c  491s |      24 |  4973240 |  3611262 |     2416   3647 |        0 |        0
493.01/493.23	c  493s |      24 |  4991622 |  3624362 |     2416   3658 |        0 |        0
495.00/495.23	c  495s |      24 |  5009008 |  3636562 |     2416   3667 |        0 |        0
497.01/497.24	c  497s |      24 |  5027474 |  3649462 |     2416   3677 |        0 |        0
499.01/499.24	c  499s |      24 |  5046032 |  3662262 |     2416   3688 |        0 |        0
501.01/501.25	c  501s |      24 |  5063254 |  3674662 |     2416   3697 |        0 |        0
503.01/503.26	c  503s |      24 |  5081060 |  3687462 |     2416   3707 |        0 |        0
505.01/505.26	c  505s |      24 |  5098654 |  3699862 |     2416   3717 |        0 |        0
507.01/507.27	c  507s |      24 |  5114941 |  3711862 |     2416   3727 |        0 |        0
509.00/509.27	c  509s |      24 |  5134482 |  3725562 |     2416   3737 |        0 |        0
511.00/511.27	c  511s |      24 |  5153444 |  3739262 |     2416   3748 |        0 |        0
513.00/513.28	c  513s |      24 |  5171656 |  3751862 |     2416   3758 |        0 |        0
515.00/515.29	c  515s |      24 |  5190861 |  3765862 |     2416   3769 |        0 |        0
517.10/517.30	c  517s |      24 |  5211975 |  3779962 |     2416   3780 |        0 |        0
519.01/519.30	c  519s |      24 |  5230117 |  3792862 |     2416   3790 |        0 |        0
521.10/521.30	c  521s |      24 |  5249548 |  3806262 |     2416   3801 |        0 |        0
523.10/523.31	c  523s |      24 |  5269438 |  3820262 |     2416   3812 |        0 |        0
525.09/525.31	c  525s |      24 |  5288735 |  3834062 |     2416   3823 |        0 |        0
527.09/527.32	c  527s |      24 |  5309460 |  3848262 |     2416   3834 |        0 |        0
529.09/529.34	c  529s |      24 |  5328200 |  3861562 |     2416   3844 |        0 |        0
531.10/531.34	c  531s |      24 |  5346748 |  3874762 |     2416   3855 |        0 |        0
533.09/533.37	c  533s |      24 |  5365302 |  3887662 |     2416   3865 |        0 |        0
535.09/535.39	c  535s |      24 |  5382506 |  3900562 |     2416   3875 |        0 |        0
537.19/537.40	c  537s |      24 |  5401654 |  3913662 |     2416   3886 |        0 |        0
539.19/539.41	c  539s |      24 |  5419904 |  3926962 |     2416   3896 |        0 |        0
541.19/541.42	c  541s |      24 |  5440444 |  3940962 |     2416   3907 |        0 |        0
543.19/543.43	c  543s |      24 |  5458984 |  3954062 |     2416   3918 |        0 |        0
545.18/545.44	c  545s |      24 |  5477210 |  3967162 |     2416   3928 |        0 |        0
547.18/547.44	c  547s |      24 |  5495966 |  3980462 |     2416   3938 |        0 |        0
549.19/549.44	c  549s |      24 |  5513146 |  3992562 |     2416   3948 |        0 |        0
551.19/551.47	c  551s |      24 |  5531136 |  4004862 |     2416   3958 |        0 |        0
553.20/553.47	c  553s |      24 |  5549767 |  4018262 |     2416   3968 |        0 |        0
555.19/555.49	c  555s |      24 |  5567658 |  4031462 |     2416   3978 |        0 |        0
557.19/557.49	c  557s |      24 |  5586559 |  4044862 |     2416   3989 |        0 |        0
559.19/559.49	c  559s |      24 |  5606389 |  4058162 |     2416   4000 |        0 |        0
561.28/561.50	c  561s |      24 |  5624358 |  4071362 |     2416   4010 |        0 |        0
563.28/563.51	c  563s |      24 |  5643594 |  4084162 |     2416   4020 |        0 |        0
565.29/565.51	c  565s |      24 |  5662501 |  4097362 |     2416   4030 |        0 |        0
567.28/567.53	c  567s |      24 |  5679146 |  4109062 |     2416   4040 |        0 |        0
569.28/569.54	c  569s |      24 |  5696161 |  4121162 |     2416   4049 |        0 |        0
571.27/571.55	c  571s |      24 |  5713558 |  4133562 |     2416   4059 |        0 |        0
573.27/573.57	c  573s |      24 |  5731072 |  4146462 |     2416   4069 |        0 |        0
575.27/575.58	c  575s |      24 |  5749687 |  4159362 |     2416   4079 |        0 |        0
577.28/577.58	c  577s |      24 |  5768496 |  4172262 |     2416   4089 |        0 |        0
579.37/579.60	c  579s |      24 |  5787757 |  4185462 |     2416   4100 |        0 |        0
581.37/581.60	c  581s |      24 |  5806476 |  4198762 |     2416   4110 |        0 |        0
583.37/583.61	c  583s |      24 |  5824586 |  4211562 |     2416   4120 |        0 |        0
585.37/585.62	c  585s |      24 |  5844287 |  4225062 |     2416   4131 |        0 |        0
587.36/587.62	c  587s |      24 |  5864948 |  4239162 |     2416   4142 |        0 |        0
589.36/589.62	c  589s |      24 |  5881983 |  4251462 |     2416   4152 |        0 |        0
591.36/591.63	c  591s |      24 |  5901185 |  4264262 |     2416   4162 |        0 |        0
593.36/593.63	c  593s |      24 |  5919315 |  4277162 |     2416   4172 |        0 |        0
595.36/595.64	c  595s |      24 |  5939021 |  4290562 |     2416   4183 |        0 |        0
597.36/597.66	c  597s |      24 |  5957881 |  4303962 |     2416   4194 |        0 |        0
599.37/599.66	c  599s |      24 |  5976519 |  4317262 |     2416   4204 |        0 |        0
601.36/601.67	c  601s |      24 |  5995418 |  4330862 |     2416   4215 |        0 |        0
603.36/603.69	c  603s |      24 |  6017876 |  4345662 |     2416   4227 |        0 |        0
605.46/605.70	c  605s |      24 |  6038201 |  4359362 |     2416   4238 |        0 |        0
607.46/607.70	c  607s |      24 |  6057067 |  4372362 |     2416   4248 |        0 |        0
609.46/609.70	c  609s |      24 |  6075032 |  4384662 |     2416   4258 |        0 |        0
611.46/611.71	c  611s |      24 |  6093274 |  4397262 |     2416   4268 |        0 |        0
613.46/613.71	c  613s |      24 |  6112730 |  4410262 |     2416   4279 |        0 |        0
615.46/615.72	c  615s |      24 |  6131764 |  4423562 |     2416   4289 |        0 |        0
617.45/617.73	c  617s |      24 |  6149956 |  4436562 |     2416   4300 |        0 |        0
619.45/619.73	c  619s |      24 |  6166710 |  4448562 |     2416   4309 |        0 |        0
621.45/621.74	c  621s |      24 |  6183190 |  4459962 |     2416   4318 |        0 |        0
623.45/623.75	c  623s |      24 |  6201518 |  4472262 |     2416   4328 |        0 |        0
625.45/625.76	c  625s |      24 |  6218682 |  4484062 |     2416   4338 |        0 |        0
627.45/627.77	c  627s |      24 |  6238376 |  4497362 |     2416   4348 |        0 |        0
629.44/629.80	c  629s |      24 |  6256730 |  4509862 |     2416   4358 |        0 |        0
631.54/631.81	c  631s |      24 |  6273115 |  4520762 |     2416   4367 |        0 |        0
633.54/633.83	c  633s |      24 |  6287664 |  4530862 |     2416   4375 |        0 |        0
635.55/635.85	c  635s |      24 |  6303681 |  4542262 |     2416   4385 |        0 |        0
637.54/637.86	c  637s |      24 |  6318947 |  4553562 |     2416   4394 |        0 |        0
639.53/639.86	c  639s |      24 |  6334749 |  4564462 |     2416   4402 |        0 |        0
641.53/641.87	c  641s |      24 |  6351438 |  4575562 |     2416   4411 |        0 |        0
643.53/643.88	c  643s |      24 |  6368478 |  4587562 |     2416   4421 |        0 |        0
645.54/645.89	c  645s |      24 |  6387051 |  4600262 |     2416   4431 |        0 |        0
647.53/647.89	c  647s |      24 |  6403686 |  4611962 |     2416   4441 |        0 |        0
649.63/649.90	c  649s |      24 |  6420898 |  4623762 |     2416   4450 |        0 |        0
651.63/651.90	c  651s |      24 |  6439025 |  4636262 |     2416   4461 |        0 |        0
653.63/653.91	c  653s |      24 |  6457295 |  4648662 |     2416   4471 |        0 |        0
655.63/655.91	c  655s |      24 |  6474620 |  4660662 |     2416   4480 |        0 |        0
657.64/657.91	c  657s |      24 |  6493547 |  4673362 |     2416   4490 |        0 |        0
659.63/659.91	c  659s |      24 |  6511404 |  4685762 |     2416   4500 |        0 |        0
661.63/661.93	c  661s |      24 |  6530029 |  4698562 |     2416   4511 |        0 |        0
663.63/663.93	c  663s |      24 |  6548610 |  4711162 |     2416   4521 |        0 |        0
665.63/665.94	c  665s |      24 |  6566847 |  4723762 |     2416   4531 |        0 |        0
667.63/667.95	c  667s |      24 |  6585739 |  4736762 |     2416   4541 |        0 |        0
669.63/669.96	c  669s |      24 |  6602791 |  4748862 |     2416   4551 |        0 |        0
671.62/671.97	c  671s |      24 |  6618500 |  4760162 |     2416   4560 |        0 |        0
673.62/673.97	c  673s |      24 |  6634989 |  4771862 |     2416   4569 |        0 |        0
675.62/675.98	c  675s |      24 |  6651996 |  4783962 |     2416   4579 |        0 |        0
677.62/677.98	c  677s |      24 |  6669281 |  4795762 |     2416   4588 |        0 |        0
679.62/679.99	c  679s |      24 |  6687829 |  4807962 |     2416   4598 |        0 |        0
681.72/682.00	c  681s |      24 |  6704704 |  4820062 |     2416   4608 |        0 |        0
683.71/684.01	c  683s |      24 |  6722312 |  4832362 |     2416   4617 |        0 |        0
685.71/686.03	c  686s |      24 |  6740950 |  4844862 |     2416   4627 |        0 |        0
687.71/688.03	c  688s |      24 |  6759923 |  4857562 |     2416   4638 |        0 |        0
689.71/690.05	c  690s |      24 |  6777688 |  4869962 |     2416   4648 |        0 |        0
691.71/692.05	c  692s |      24 |  6796823 |  4883262 |     2416   4658 |        0 |        0
693.70/694.05	c  694s |      24 |  6814853 |  4896162 |     2416   4668 |        0 |        0
695.70/696.06	c  696s |      24 |  6836144 |  4910062 |     2416   4679 |        0 |        0
697.70/698.07	c  698s |      24 |  6855380 |  4923362 |     2416   4690 |        0 |        0
699.70/700.07	c  700s |      24 |  6878433 |  4939162 |     2416   4703 |        0 |        0
701.70/702.09	c  702s |      24 |  6897430 |  4952562 |     2416   4713 |        0 |        0
703.70/704.10	c  704s |      24 |  6916374 |  4965462 |     2416   4724 |        0 |        0
705.81/706.10	c  706s |      24 |  6934834 |  4978362 |     2416   4734 |        0 |        0
707.81/708.12	c  708s |      24 |  6956757 |  4992462 |     2416   4745 |        0 |        0
709.80/710.12	c  710s |      24 |  6975009 |  5004462 |     2416   4755 |        0 |        0
711.80/712.13	c  712s |      24 |  6992622 |  5016662 |     2416   4765 |        0 |        0
713.80/714.14	c  714s |      24 |  7011088 |  5029762 |     2658   4775 |        0 |        0
715.80/716.14	c  716s |      24 |  7030368 |  5043062 |     2658   4784 |        0 |        0
717.80/718.14	c  718s |      24 |  7048762 |  5056162 |     2658   4794 |        0 |        0
719.20/719.58	c  719s |      25 |  7061803 |  5065098 |     2658   4801 |        0 |        0
721.19/721.58	c  721s |      25 |  7079732 |  5078098 |     2658   4809 |        0 |        0
723.19/723.58	c  723s |      25 |  7096408 |  5090398 |     2658   4818 |        0 |        0
725.19/725.59	c  725s |      25 |  7112391 |  5102198 |     2658   4826 |        0 |        0
727.29/727.60	c  727s |      25 |  7127118 |  5113698 |     2658   4834 |        0 |        0
729.29/729.61	c  729s |      25 |  7142228 |  5124798 |     2658   4842 |        0 |        0
731.29/731.62	c  731s |      25 |  7158475 |  5136398 |     2658   4850 |        0 |        0
733.28/733.63	c  733s |      25 |  7175452 |  5148998 |     2658   4859 |        0 |        0
735.28/735.63	c  735s |      25 |  7190101 |  5159698 |     2658   4866 |        0 |        0
737.28/737.65	c  737s |      25 |  7205031 |  5170398 |     2658   4874 |        0 |        0
739.28/739.65	c  739s |      25 |  7220791 |  5181598 |     2658   4882 |        0 |        0
741.28/741.65	c  741s |      25 |  7237193 |  5192998 |     2658   4890 |        0 |        0
743.29/743.67	c  743s |      25 |  7255011 |  5204898 |     2658   4898 |        0 |        0
745.28/745.68	c  745s |      25 |  7270583 |  5215798 |     2658   4906 |        0 |        0
747.28/747.68	c  747s |      25 |  7288006 |  5227698 |     2658   4914 |        0 |        0
749.28/749.68	c  749s |      25 |  7305776 |  5240098 |     2658   4923 |        0 |        0
751.38/751.70	c  751s |      25 |  7323280 |  5252498 |     2658   4932 |        0 |        0
753.38/753.71	c  753s |      25 |  7339976 |  5264598 |     2658   4940 |        0 |        0
755.38/755.72	c  755s |      25 |  7356004 |  5276098 |     2658   4949 |        0 |        0
757.39/757.72	c  757s |      25 |  7373340 |  5289198 |     2658   4958 |        0 |        0
759.39/759.73	c  759s |      25 |  7391826 |  5301998 |     2658   4967 |        0 |        0
761.38/761.74	c  761s |      25 |  7410159 |  5314698 |     2658   4976 |        0 |        0
763.38/763.75	c  763s |      25 |  7428866 |  5328198 |     2658   4985 |        0 |        0
765.39/765.75	c  765s |      25 |  7448286 |  5341398 |     2658   4994 |        0 |        0
767.38/767.76	c  767s |      25 |  7467905 |  5355298 |     2658   5004 |        0 |        0
769.38/769.77	c  769s |      25 |  7487232 |  5368798 |     2658   5014 |        0 |        0
771.38/771.78	c  771s |      25 |  7505701 |  5382198 |     2658   5023 |        0 |        0
773.48/773.80	c  773s |      25 |  7524909 |  5395898 |     2658   5033 |        0 |        0
775.48/775.80	c  775s |      25 |  7542167 |  5408398 |     2658   5042 |        0 |        0
777.48/777.81	c  777s |      25 |  7559497 |  5420898 |     2658   5051 |        0 |        0
779.48/779.81	c  779s |      25 |  7578208 |  5434098 |     2658   5060 |        0 |        0
781.48/781.82	c  781s |      25 |  7594126 |  5445898 |     2658   5068 |        0 |        0
783.47/783.83	c  783s |      25 |  7612044 |  5458298 |     2658   5077 |        0 |        0
785.47/785.84	c  785s |      25 |  7628972 |  5470898 |     2658   5086 |        0 |        0
787.47/787.85	c  787s |      25 |  7646789 |  5483198 |     2658   5094 |        0 |        0
789.48/789.86	c  789s |      25 |  7663717 |  5495398 |     2658   5103 |        0 |        0
791.47/791.88	c  791s |      25 |  7679992 |  5507698 |     2658   5111 |        0 |        0
793.47/793.89	c  793s |      25 |  7698033 |  5519998 |     2658   5120 |        0 |        0
795.58/795.90	c  795s |      25 |  7715254 |  5532398 |     2658   5129 |        0 |        0
797.58/797.91	c  797s |      25 |  7734645 |  5546298 |     2658   5139 |        0 |        0
799.58/799.91	c  799s |      25 |  7749959 |  5557998 |     2658   5147 |        0 |        0
801.58/801.92	c  801s |      25 |  7766202 |  5569898 |     2658   5155 |        0 |        0
803.58/803.93	c  803s |      25 |  7782938 |  5581398 |     2658   5163 |        0 |        0
805.58/805.94	c  805s |      25 |  7800042 |  5593898 |     2658   5172 |        0 |        0
807.58/807.95	c  807s |      25 |  7816788 |  5605798 |     2658   5181 |        0 |        0
809.57/809.96	c  809s |      25 |  7834285 |  5618098 |     2658   5189 |        0 |        0
811.58/811.97	c  811s |      25 |  7850133 |  5630098 |     2658   5198 |        0 |        0
813.57/813.98	c  813s |      25 |  7867220 |  5642198 |     2658   5206 |        0 |        0
815.57/815.98	c  815s |      25 |  7884470 |  5654598 |     2658   5215 |        0 |        0
817.57/817.99	c  817s |      25 |  7899935 |  5665498 |     2658   5223 |        0 |        0
819.67/820.00	c  819s |      25 |  7916587 |  5677598 |     2658   5232 |        0 |        0
821.67/822.00	c  821s |      25 |  7935860 |  5690898 |     2658   5241 |        0 |        0
823.68/824.01	c  823s |      25 |  7955148 |  5704298 |     2658   5251 |        0 |        0
825.67/826.02	c  826s |      25 |  7972163 |  5716898 |     2658   5260 |        0 |        0
827.67/828.03	c  828s |      25 |  7989113 |  5729098 |     2658   5268 |        0 |        0
829.67/830.04	c  830s |      25 |  8006582 |  5741798 |     2658   5277 |        0 |        0
831.67/832.04	c  832s |      25 |  8023454 |  5754098 |     2658   5286 |        0 |        0
833.67/834.04	c  834s |      25 |  8040810 |  5766698 |     2658   5295 |        0 |        0
835.68/836.04	c  836s |      25 |  8059687 |  5779498 |     2658   5304 |        0 |        0
837.67/838.06	c  838s |      25 |  8077834 |  5792398 |     2658   5314 |        0 |        0
839.67/840.06	c  840s |      25 |  8095161 |  5805198 |     2658   5323 |        0 |        0
841.67/842.07	c  842s |      25 |  8113285 |  5817898 |     2658   5332 |        0 |        0
843.67/844.07	c  844s |      25 |  8132822 |  5831598 |     2658   5342 |        0 |        0
845.68/846.09	c  846s |      25 |  8151365 |  5844598 |     2658   5351 |        0 |        0
847.67/848.10	c  848s |      25 |  8168100 |  5857198 |     2658   5359 |        0 |        0
849.77/850.10	c  850s |      25 |  8186187 |  5870098 |     2658   5368 |        0 |        0
851.77/852.11	c  852s |      25 |  8202726 |  5881698 |     2658   5377 |        0 |        0
853.77/854.11	c  854s |      25 |  8220877 |  5894298 |     2658   5385 |        0 |        0
855.76/856.12	c  856s |      25 |  8237521 |  5905698 |     2658   5394 |        0 |        0
857.77/858.13	c  858s |      25 |  8255362 |  5917798 |     2658   5402 |        0 |        0
859.76/860.14	c  860s |      25 |  8271583 |  5929798 |     2658   5411 |        0 |        0
861.76/862.15	c  862s |      25 |  8287718 |  5941498 |     2658   5419 |        0 |        0
863.76/864.17	c  864s |      25 |  8303818 |  5953398 |     2658   5427 |        0 |        0
865.76/866.17	c  866s |      25 |  8319857 |  5965098 |     2658   5435 |        0 |        0
867.77/868.18	c  868s |      25 |  8337181 |  5977498 |     2658   5444 |        0 |        0
869.77/870.19	c  870s |      25 |  8353669 |  5988998 |     2658   5452 |        0 |        0
871.87/872.20	c  872s |      25 |  8369282 |  6000998 |     2658   5461 |        0 |        0
873.87/874.20	c  874s |      25 |  8386391 |  6012798 |     2658   5469 |        0 |        0
875.87/876.21	c  876s |      25 |  8404247 |  6025098 |     2658   5478 |        0 |        0
877.87/878.21	c  878s |      25 |  8421797 |  6037198 |     2658   5487 |        0 |        0
879.87/880.23	c  880s |      25 |  8439666 |  6049698 |     2658   5496 |        0 |        0
881.87/882.24	c  882s |      25 |  8456106 |  6061398 |     2658   5504 |        0 |        0
883.86/884.24	c  884s |      25 |  8475509 |  6074198 |     2658   5513 |        0 |        0
885.86/886.25	c  886s |      25 |  8491363 |  6085598 |     2658   5521 |        0 |        0
887.86/888.26	c  888s |      25 |  8507690 |  6096998 |     2658   5529 |        0 |        0
889.86/890.26	c  890s |      25 |  8525408 |  6109198 |     2658   5538 |        0 |        0
891.87/892.27	c  892s |      25 |  8542867 |  6121598 |     2658   5547 |        0 |        0
893.86/894.28	c  894s |      25 |  8561188 |  6134498 |     2658   5556 |        0 |        0
895.86/896.28	c  896s |      25 |  8578466 |  6146798 |     2658   5564 |        0 |        0
897.86/898.29	c  898s |      25 |  8594295 |  6158098 |     2658   5572 |        0 |        0
899.96/900.30	c  900s |      25 |  8611794 |  6170698 |     2658   5581 |        0 |        0
901.96/902.31	c  902s |      25 |  8630881 |  6183698 |     2658   5590 |        0 |        0
903.97/904.32	c  904s |      25 |  8645650 |  6194598 |     2658   5598 |        0 |        0
905.96/906.34	c  906s |      25 |  8662980 |  6206598 |     2658   5606 |        0 |        0
907.96/908.34	c  908s |      25 |  8678711 |  6217798 |     2658   5614 |        0 |        0
909.96/910.36	c  910s |      25 |  8694898 |  6229298 |     2658   5622 |        0 |        0
911.96/912.37	c  912s |      25 |  8711673 |  6241398 |     2658   5631 |        0 |        0
913.96/914.38	c  914s |      25 |  8729357 |  6253598 |     2658   5639 |        0 |        0
915.96/916.38	c  916s |      25 |  8745209 |  6264898 |     2658   5647 |        0 |        0
917.96/918.38	c  918s |      25 |  8762677 |  6276698 |     2658   5656 |        0 |        0
919.96/920.39	c  920s |      25 |  8779631 |  6288198 |     2658   5664 |        0 |        0
922.05/922.40	c  922s |      25 |  8797569 |  6300898 |     2658   5673 |        0 |        0
924.05/924.40	c  924s |      25 |  8814340 |  6312898 |     2658   5682 |        0 |        0
926.05/926.41	c  926s |      25 |  8831804 |  6325498 |     2658   5690 |        0 |        0
928.06/928.42	c  928s |      25 |  8848733 |  6337798 |     2658   5699 |        0 |        0
930.05/930.43	c  930s |      25 |  8867011 |  6350198 |     2658   5708 |        0 |        0
932.05/932.44	c  932s |      25 |  8883277 |  6362198 |     2658   5716 |        0 |        0
934.05/934.45	c  934s |      25 |  8901253 |  6374898 |     2658   5725 |        0 |        0
936.05/936.45	c  936s |      25 |  8918813 |  6387398 |     2658   5734 |        0 |        0
938.06/938.46	c  938s |      25 |  8936708 |  6400098 |     2658   5743 |        0 |        0
940.05/940.47	c  940s |      25 |  8953807 |  6412398 |     2658   5751 |        0 |        0
942.05/942.48	c  942s |      25 |  8971149 |  6424698 |     2658   5760 |        0 |        0
944.05/944.49	c  944s |      25 |  8988344 |  6436698 |     2658   5769 |        0 |        0
946.06/946.49	c  946s |      25 |  9006904 |  6450198 |     2658   5778 |        0 |        0
948.06/948.49	c  948s |      25 |  9026101 |  6463398 |     2658   5787 |        0 |        0
950.06/950.49	c  950s |      25 |  9043410 |  6475998 |     2658   5796 |        0 |        0
952.15/952.50	c  952s |      25 |  9060233 |  6487798 |     2658   5804 |        0 |        0
954.15/954.50	c  954s |      25 |  9078932 |  6501198 |     2658   5814 |        0 |        0
956.15/956.51	c  956s |      25 |  9098215 |  6514598 |     2658   5823 |        0 |        0
958.15/958.52	c  958s |      25 |  9115652 |  6527098 |     2658   5832 |        0 |        0
960.15/960.55	c  960s |      25 |  9133111 |  6539298 |     2658   5841 |        0 |        0
962.16/962.55	c  962s |      25 |  9151397 |  6552198 |     2658   5850 |        0 |        0
964.15/964.57	c  964s |      25 |  9167512 |  6564598 |     2658   5859 |        0 |        0
966.15/966.58	c  966s |      25 |  9187521 |  6578998 |     2658   5869 |        0 |        0
968.15/968.58	c  968s |      25 |  9205293 |  6591998 |     2658   5878 |        0 |        0
970.15/970.59	c  970s |      25 |  9222386 |  6604298 |     2658   5887 |        0 |        0
972.24/972.60	c  972s |      25 |  9240423 |  6617198 |     2658   5896 |        0 |        0
974.14/974.60	c  974s |      25 |  9259032 |  6630098 |     2658   5905 |        0 |        0
976.24/976.62	c  976s |      25 |  9273956 |  6640698 |     2658   5913 |        0 |        0
978.25/978.62	c  978s |      25 |  9290642 |  6651798 |     2658   5921 |        0 |        0
980.25/980.63	c  980s |      25 |  9307695 |  6663898 |     2658   5930 |        0 |        0
982.25/982.64	c  982s |      25 |  9325056 |  6676298 |     2658   5938 |        0 |        0
984.26/984.66	c  984s |      25 |  9343184 |  6688798 |     2658   5947 |        0 |        0
986.25/986.66	c  986s |      25 |  9359691 |  6701198 |     2658   5956 |        0 |        0
988.25/988.67	c  988s |      25 |  9376385 |  6713598 |     2658   5965 |        0 |        0
990.25/990.68	c  990s |      25 |  9392313 |  6725398 |     2658   5973 |        0 |        0
992.25/992.68	c  992s |      25 |  9408656 |  6737798 |     2658   5982 |        0 |        0
994.25/994.69	c  994s |      25 |  9425880 |  6750398 |     2658   5991 |        0 |        0
996.25/996.70	c  996s |      25 |  9444697 |  6763698 |     2658   6001 |        0 |        0
998.35/998.71	c  998s |      25 |  9460953 |  6775698 |     2658   6009 |        0 |        0
1000.35/1000.73	c 1000s |      25 |  9478625 |  6788398 |     2658   6019 |        0 |        0
1002.35/1002.75	c 1002s |      25 |  9495630 |  6800698 |     2658   6027 |        0 |        0
1004.35/1004.75	c 1004s |      25 |  9512531 |  6812598 |     2658   6036 |        0 |        0
1006.34/1006.76	c 1006s |      25 |  9531880 |  6826198 |     2658   6046 |        0 |        0
1008.35/1008.76	c 1008s |      25 |  9549723 |  6838898 |     2658   6055 |        0 |        0
1010.34/1010.78	c 1010s |      25 |  9566624 |  6851498 |     2658   6064 |        0 |        0
1012.34/1012.78	c 1012s |      25 |  9585399 |  6864798 |     2658   6073 |        0 |        0
1014.34/1014.78	c 1014s |      25 |  9603392 |  6877298 |     2658   6082 |        0 |        0
1016.34/1016.80	c 1016s |      25 |  9621495 |  6890698 |     2658   6092 |        0 |        0
1018.44/1018.80	c 1018s |      25 |  9638741 |  6903198 |     2658   6101 |        0 |        0
1020.45/1020.81	c 1020s |      25 |  9657012 |  6915898 |     2658   6110 |        0 |        0
1022.44/1022.81	c 1022s |      25 |  9674252 |  6928298 |     2658   6119 |        0 |        0
1024.44/1024.83	c 1024s |      25 |  9691543 |  6940698 |     2658   6128 |        0 |        0
1026.44/1026.83	c 1026s |      25 |  9709035 |  6954098 |     2658   6137 |        0 |        0
1028.44/1028.84	c 1028s |      25 |  9726833 |  6966598 |     2658   6146 |        0 |        0
1030.44/1030.85	c 1030s |      25 |  9743487 |  6978498 |     2658   6155 |        0 |        0
1032.44/1032.87	c 1032s |      25 |  9760075 |  6989998 |     2658   6163 |        0 |        0
1034.43/1034.88	c 1034s |      25 |  9774851 |  7000298 |     2658   6170 |        0 |        0
1036.43/1036.88	c 1036s |      25 |  9790400 |  7011898 |     2658   6179 |        0 |        0
1038.43/1038.89	c 1038s |      25 |  9806439 |  7023898 |     2658   6187 |        0 |        0
1040.53/1040.91	c 1040s |      25 |  9822344 |  7035798 |     2658   6196 |        0 |        0
1042.54/1042.92	c 1042s |      25 |  9837363 |  7046698 |     2658   6204 |        0 |        0
1044.53/1044.94	c 1044s |      25 |  9852303 |  7058098 |     2658   6212 |        0 |        0
1046.53/1046.94	c 1046s |      25 |  9869974 |  7070298 |     2658   6221 |        0 |        0
1048.53/1048.96	c 1048s |      25 |  9886525 |  7081798 |     2658   6229 |        0 |        0
1050.53/1050.96	c 1050s |      25 |  9903701 |  7093998 |     2658   6238 |        0 |        0
1052.53/1052.97	c 1052s |      25 |  9920265 |  7105498 |     2658   6246 |        0 |        0
1054.54/1054.98	c 1054s |      25 |  9936983 |  7117698 |     2658   6255 |        0 |        0
1056.54/1056.98	c 1056s |      25 |  9955979 |  7130498 |     2658   6264 |        0 |        0
1058.54/1058.99	c 1058s |      25 |  9974039 |  7142598 |     2658   6273 |        0 |        0
1060.54/1060.99	c 1060s |      25 |  9992760 |  7155498 |     2658   6282 |        0 |        0
1062.64/1063.00	c 1062s |      25 | 10011493 |  7168498 |     2658   6291 |        0 |        0
1064.64/1065.01	c 1064s |      25 | 10029335 |  7180898 |     2658   6300 |        0 |        0
1066.64/1067.02	c 1066s |      25 | 10049715 |  7194398 |     2658   6310 |        0 |        0
1068.64/1069.02	c 1069s |      25 | 10065999 |  7206498 |     2658   6318 |        0 |        0
1070.64/1071.04	c 1071s |      25 | 10083173 |  7218698 |     2658   6327 |        0 |        0
1072.64/1073.05	c 1073s |      25 | 10100885 |  7230698 |     2658   6336 |        0 |        0
1074.63/1075.05	c 1075s |      25 | 10119937 |  7244198 |     2658   6345 |        0 |        0
1076.64/1077.05	c 1077s |      25 | 10139134 |  7257598 |     2658   6355 |        0 |        0
1078.63/1079.06	c 1079s |      25 | 10161200 |  7272498 |     2658   6366 |        0 |        0
1080.63/1081.07	c 1081s |      25 | 10180134 |  7286298 |     2658   6375 |        0 |        0
1082.63/1083.08	c 1083s |      25 | 10201163 |  7300598 |     2658   6386 |        0 |        0
1084.63/1085.09	c 1085s |      25 | 10220841 |  7314198 |     2658   6395 |        0 |        0
1086.63/1087.10	c 1087s |      25 | 10240118 |  7327798 |     2658   6405 |        0 |        0
1088.73/1089.10	c 1089s |      25 | 10257200 |  7339698 |     2658   6413 |        0 |        0
1090.73/1091.12	c 1091s |      25 | 10275743 |  7352798 |     2658   6423 |        0 |        0
1092.73/1093.12	c 1093s |      25 | 10292609 |  7365298 |     2658   6432 |        0 |        0
1094.73/1095.12	c 1095s |      25 | 10311036 |  7378098 |     2658   6441 |        0 |        0
1096.73/1097.13	c 1097s |      25 | 10331638 |  7392298 |     2658   6451 |        0 |        0
1098.73/1099.14	c 1099s |      25 | 10351140 |  7405898 |     2658   6461 |        0 |        0
1100.74/1101.15	c 1101s |      25 | 10368448 |  7418398 |     2658   6469 |        0 |        0
1102.73/1103.15	c 1103s |      25 | 10383851 |  7429598 |     2658   6477 |        0 |        0
1104.73/1105.16	c 1105s |      25 | 10398209 |  7440398 |     2658   6485 |        0 |        0
1106.73/1107.16	c 1107s |      25 | 10414798 |  7452298 |     2658   6493 |        0 |        0
1108.73/1109.16	c 1109s |      25 | 10430993 |  7463898 |     2658   6502 |        0 |        0
1110.74/1111.17	c 1111s |      25 | 10448128 |  7475498 |     2658   6510 |        0 |        0
1112.73/1113.18	c 1113s |      25 | 10465197 |  7487398 |     2658   6518 |        0 |        0
1114.73/1115.20	c 1115s |      25 | 10480762 |  7498098 |     2658   6526 |        0 |        0
1116.83/1117.20	c 1117s |      25 | 10499438 |  7510398 |     2658   6535 |        0 |        0
1118.83/1119.21	c 1119s |      25 | 10516042 |  7522098 |     2658   6543 |        0 |        0
1120.82/1121.22	c 1121s |      25 | 10533060 |  7533798 |     2658   6551 |        0 |        0
1122.83/1123.22	c 1123s |      25 | 10548372 |  7545298 |     2924   6559 |        0 |        0
1124.82/1125.24	c 1125s |      25 | 10563940 |  7556398 |     2924   6567 |        0 |        0
1126.82/1127.25	c 1127s |      25 | 10580547 |  7567898 |     2924   6574 |        0 |        0
1128.82/1129.26	c 1129s |      25 | 10596427 |  7579498 |     2924   6582 |        0 |        0
1130.82/1131.27	c 1131s |      25 | 10613063 |  7591398 |     2924   6589 |        0 |        0
1132.02/1132.42	c 1132s |      26 | 10621202 |  7597752 |     2924   6594 |        0 |        0
1134.02/1134.44	c 1134s |      26 | 10638299 |  7609552 |     2924   6601 |        0 |        0
1136.03/1136.45	c 1136s |      26 | 10652718 |  7619152 |     2924   6608 |        0 |        0
1138.02/1138.46	c 1138s |      26 | 10668912 |  7630752 |     2924   6615 |        0 |        0
1140.03/1140.47	c 1140s |      26 | 10688748 |  7643252 |     2924   6623 |        0 |        0
1142.03/1142.48	c 1142s |      26 | 10707891 |  7655852 |     2924   6632 |        0 |        0
1144.03/1144.48	c 1144s |      26 | 10727282 |  7668952 |     2924   6640 |        0 |        0
1146.02/1146.49	c 1146s |      26 | 10747521 |  7682052 |     2924   6649 |        0 |        0
1148.03/1148.49	c 1148s |      26 | 10768345 |  7694952 |     2924   6657 |        0 |        0
1150.12/1150.50	c 1150s |      26 | 10788351 |  7707752 |     2924   6666 |        0 |        0
1152.12/1152.51	c 1152s |      26 | 10805801 |  7720252 |     2924   6674 |        0 |        0
1154.12/1154.51	c 1154s |      26 | 10825419 |  7733352 |     2924   6683 |        0 |        0
1156.12/1156.52	c 1156s |      26 | 10843709 |  7745352 |     2924   6690 |        0 |        0
1158.12/1158.53	c 1158s |      26 | 10862317 |  7758152 |     2924   6699 |        0 |        0
1160.13/1160.53	c 1160s |      26 | 10883040 |  7771752 |     2924   6708 |        0 |        0
1162.12/1162.55	c 1162s |      26 | 10905278 |  7785452 |     2924   6717 |        0 |        0
1164.12/1164.55	c 1164s |      26 | 10924831 |  7797952 |     2924   6725 |        0 |        0
1166.12/1166.57	c 1166s |      26 | 10943296 |  7810352 |     2924   6734 |        0 |        0
1168.12/1168.58	c 1168s |      26 | 10962668 |  7823352 |     2924   6742 |        0 |        0
1170.22/1170.60	c 1170s |      26 | 10982505 |  7836752 |     2924   6751 |        0 |        0
1172.22/1172.61	c 1172s |      26 | 10997239 |  7846952 |     2924   6757 |        0 |        0
1174.22/1174.62	c 1174s |      26 | 11012584 |  7857152 |     2924   6764 |        0 |        0
1176.22/1176.62	c 1176s |      26 | 11027825 |  7867752 |     2924   6771 |        0 |        0
1178.21/1178.62	c 1178s |      26 | 11043328 |  7878652 |     2924   6778 |        0 |        0
1180.21/1180.64	c 1180s |      26 | 11059713 |  7889752 |     2924   6786 |        0 |        0
1182.22/1182.64	c 1182s |      26 | 11078322 |  7902352 |     2924   6794 |        0 |        0
1184.21/1184.64	c 1184s |      26 | 11095053 |  7913952 |     2924   6802 |        0 |        0
1186.21/1186.65	c 1186s |      26 | 11111480 |  7924952 |     2924   6809 |        0 |        0
1188.21/1188.67	c 1188s |      26 | 11127835 |  7936652 |     2924   6817 |        0 |        0
1190.21/1190.67	c 1190s |      26 | 11146423 |  7949152 |     2924   6825 |        0 |        0
1192.21/1192.68	c 1192s |      26 | 11164851 |  7961552 |     2924   6833 |        0 |        0
1194.23/1194.68	c 1194s |      26 | 11182595 |  7973452 |     2924   6841 |        0 |        0
1196.22/1196.69	c 1196s |      26 | 11197307 |  7983752 |     2924   6848 |        0 |        0
1198.32/1198.70	c 1198s |      26 | 11213423 |  7995152 |     2924   6855 |        0 |        0
1200.32/1200.71	c 1200s |      26 | 11231415 |  8007752 |     2924   6864 |        0 |        0
1202.32/1202.71	c 1202s |      26 | 11248479 |  8019652 |     2924   6871 |        0 |        0
1204.32/1204.73	c 1204s |      26 | 11266943 |  8032452 |     2924   6880 |        0 |        0
1206.32/1206.74	c 1206s |      26 | 11283390 |  8044052 |     2924   6887 |        0 |        0
1208.31/1208.74	c 1208s |      26 | 11301332 |  8056352 |     2924   6896 |        0 |        0
1210.31/1210.75	c 1210s |      26 | 11316331 |  8067152 |     2924   6903 |        0 |        0
1212.31/1212.76	c 1212s |      26 | 11333016 |  8078552 |     2924   6910 |        0 |        0
1214.31/1214.76	c 1214s |      26 | 11351767 |  8090652 |     2924   6918 |        0 |        0
1216.32/1216.77	c 1216s |      26 | 11370193 |  8102952 |     2924   6926 |        0 |        0
1218.31/1218.78	c 1218s |      26 | 11387625 |  8114352 |     2924   6934 |        0 |        0
1220.31/1220.79	c 1220s |      26 | 11405505 |  8126552 |     2924   6942 |        0 |        0
1222.41/1222.81	c 1222s |      26 | 11422434 |  8138352 |     2924   6949 |        0 |        0
1224.41/1224.82	c 1224s |      26 | 11441380 |  8150352 |     2924   6957 |        0 |        0
1226.41/1226.83	c 1226s |      26 | 11458933 |  8162552 |     2924   6965 |        0 |        0
1228.41/1228.84	c 1228s |      26 | 11477718 |  8175252 |     2924   6974 |        0 |        0
1230.41/1230.84	c 1230s |      26 | 11492846 |  8186352 |     2924   6981 |        0 |        0
1232.41/1232.86	c 1232s |      26 | 11512237 |  8199352 |     2924   6990 |        0 |        0
1234.41/1234.87	c 1234s |      26 | 11528826 |  8211552 |     2924   6997 |        0 |        0
1236.41/1236.89	c 1236s |      26 | 11544207 |  8222652 |     2924   7005 |        0 |        0
1238.40/1238.89	c 1238s |      26 | 11558929 |  8233252 |     2924   7011 |        0 |        0
1240.51/1240.91	c 1240s |      26 | 11574522 |  8243852 |     2924   7018 |        0 |        0
1242.50/1242.91	c 1242s |      26 | 11591497 |  8255752 |     2924   7026 |        0 |        0
1244.50/1244.93	c 1244s |      26 | 11608740 |  8267652 |     2924   7034 |        0 |        0
1246.50/1246.94	c 1246s |      26 | 11625285 |  8278952 |     2924   7042 |        0 |        0
1248.50/1248.94	c 1248s |      26 | 11641471 |  8289952 |     2924   7049 |        0 |        0
1250.50/1250.95	c 1250s |      26 | 11658434 |  8301552 |     2924   7056 |        0 |        0
1252.51/1252.98	c 1252s |      26 | 11676853 |  8313952 |     2924   7065 |        0 |        0
1254.50/1254.99	c 1254s |      26 | 11694862 |  8325852 |     2924   7072 |        0 |        0
1256.61/1257.00	c 1256s |      26 | 11714053 |  8338952 |     2924   7081 |        0 |        0
1258.61/1259.01	c 1258s |      26 | 11733701 |  8352152 |     2924   7090 |        0 |        0
1260.61/1261.01	c 1260s |      26 | 11750638 |  8363852 |     2924   7097 |        0 |        0
1262.61/1263.02	c 1262s |      26 | 11767827 |  8375452 |     2924   7105 |        0 |        0
1264.61/1265.02	c 1265s |      26 | 11787495 |  8388852 |     2924   7114 |        0 |        0
1266.60/1267.03	c 1267s |      26 | 11806689 |  8402052 |     2924   7122 |        0 |        0
1268.60/1269.05	c 1269s |      26 | 11826122 |  8414752 |     2924   7131 |        0 |        0
1270.60/1271.05	c 1271s |      26 | 11846462 |  8426952 |     2924   7139 |        0 |        0
1272.60/1273.06	c 1273s |      26 | 11864928 |  8439452 |     2924   7147 |        0 |        0
1274.61/1275.07	c 1275s |      26 | 11885206 |  8452652 |     2924   7156 |        0 |        0
1276.60/1277.08	c 1277s |      26 | 11906216 |  8466452 |     2924   7164 |        0 |        0
1278.60/1279.08	c 1279s |      26 | 11926460 |  8479952 |     2924   7173 |        0 |        0
1280.61/1281.09	c 1281s |      26 | 11944964 |  8493052 |     2924   7182 |        0 |        0
1282.71/1283.10	c 1283s |      26 | 11963349 |  8505752 |     2924   7190 |        0 |        0
1284.71/1285.11	c 1285s |      26 | 11981752 |  8517952 |     2924   7198 |        0 |        0
1286.71/1287.12	c 1287s |      26 | 12003367 |  8531452 |     2924   7207 |        0 |        0
1288.70/1289.12	c 1289s |      26 | 12023343 |  8544252 |     2924   7215 |        0 |        0
1290.70/1291.13	c 1291s |      26 | 12041265 |  8556552 |     2924   7223 |        0 |        0
1292.70/1293.14	c 1293s |      26 | 12058757 |  8568752 |     2924   7231 |        0 |        0
1294.70/1295.16	c 1295s |      26 | 12080543 |  8582752 |     2924   7241 |        0 |        0
1296.70/1297.18	c 1297s |      26 | 12098136 |  8595152 |     2924   7248 |        0 |        0
1298.71/1299.18	c 1299s |      26 | 12115545 |  8607252 |     2924   7256 |        0 |        0
1300.70/1301.19	c 1301s |      26 | 12133671 |  8619752 |     2924   7265 |        0 |        0
1302.80/1303.20	c 1303s |      26 | 12151448 |  8631752 |     2924   7273 |        0 |        0
1304.80/1305.21	c 1305s |      26 | 12170089 |  8644652 |     2924   7281 |        0 |        0
1306.80/1307.22	c 1307s |      26 | 12189095 |  8657852 |     2924   7290 |        0 |        0
1308.80/1309.24	c 1309s |      26 | 12207819 |  8670852 |     2924   7298 |        0 |        0
1310.80/1311.25	c 1311s |      26 | 12228120 |  8683752 |     2924   7307 |        0 |        0
1312.80/1313.26	c 1313s |      26 | 12246587 |  8697152 |     2924   7316 |        0 |        0
1314.80/1315.27	c 1315s |      26 | 12265762 |  8709652 |     2924   7324 |        0 |        0
1316.79/1317.28	c 1317s |      26 | 12284489 |  8722652 |     2924   7332 |        0 |        0
1318.79/1319.29	c 1319s |      26 | 12301671 |  8735052 |     2924   7340 |        0 |        0
1320.80/1321.29	c 1321s |      26 | 12319493 |  8747452 |     2924   7348 |        0 |        0
1322.79/1323.30	c 1323s |      26 | 12338434 |  8760752 |     2924   7357 |        0 |        0
1324.89/1325.31	c 1325s |      26 | 12356892 |  8773352 |     2924   7365 |        0 |        0
1326.89/1327.32	c 1327s |      26 | 12375277 |  8785152 |     2924   7373 |        0 |        0
1328.89/1329.33	c 1329s |      26 | 12395172 |  8798052 |     2924   7381 |        0 |        0
1330.89/1331.33	c 1331s |      26 | 12414910 |  8811352 |     2924   7390 |        0 |        0
1332.90/1333.33	c 1333s |      26 | 12435213 |  8824752 |     2924   7399 |        0 |        0
1334.90/1335.34	c 1335s |      26 | 12453571 |  8837552 |     2924   7408 |        0 |        0
1336.90/1337.36	c 1337s |      26 | 12472497 |  8850252 |     2924   7416 |        0 |        0
1338.90/1339.37	c 1339s |      26 | 12490076 |  8862852 |     2924   7424 |        0 |        0
1341.00/1341.40	c 1341s |      26 | 12506863 |  8874152 |     2924   7432 |        0 |        0
1343.00/1343.41	c 1343s |      26 | 12522751 |  8885952 |     2924   7439 |        0 |        0
1345.00/1345.42	c 1345s |      26 | 12540013 |  8897952 |     2924   7447 |        0 |        0
1347.00/1347.42	c 1347s |      26 | 12556007 |  8909452 |     2924   7455 |        0 |        0
1349.00/1349.43	c 1349s |      26 | 12572289 |  8920752 |     2924   7462 |        0 |        0
1350.99/1351.44	c 1351s |      26 | 12590071 |  8932952 |     2924   7470 |        0 |        0
1352.99/1353.45	c 1353s |      26 | 12606809 |  8944952 |     2924   7478 |        0 |        0
1354.99/1355.46	c 1355s |      26 | 12625743 |  8957752 |     2924   7487 |        0 |        0
1357.00/1357.47	c 1357s |      26 | 12643804 |  8970152 |     2924   7495 |        0 |        0
1358.99/1359.47	c 1359s |      26 | 12661820 |  8982852 |     2924   7504 |        0 |        0
1360.99/1361.48	c 1361s |      26 | 12679982 |  8995052 |     2924   7512 |        0 |        0
1362.99/1363.49	c 1363s |      26 | 12698629 |  9007652 |     2924   7520 |        0 |        0
1364.99/1365.49	c 1365s |      26 | 12717974 |  9020152 |     2924   7529 |        0 |        0
1367.09/1367.52	c 1367s |      26 | 12737875 |  9033152 |     2924   7538 |        0 |        0
1369.09/1369.52	c 1369s |      26 | 12754343 |  9044452 |     2924   7545 |        0 |        0
1371.09/1371.54	c 1371s |      26 | 12774436 |  9057452 |     2924   7554 |        0 |        0
1373.09/1373.54	c 1373s |      26 | 12794459 |  9070552 |     2924   7562 |        0 |        0
1375.08/1375.55	c 1375s |      26 | 12813454 |  9083852 |     2924   7571 |        0 |        0
1377.08/1377.56	c 1377s |      26 | 12835880 |  9098652 |     2924   7581 |        0 |        0
1379.09/1379.56	c 1379s |      26 | 12853332 |  9110652 |     2924   7589 |        0 |        0
1381.08/1381.58	c 1381s |      26 | 12871182 |  9123852 |     2924   7598 |        0 |        0
1383.08/1383.59	c 1383s |      26 | 12886240 |  9135652 |     2924   7605 |        0 |        0
1385.08/1385.59	c 1385s |      26 | 12902316 |  9147952 |     2924   7613 |        0 |        0
1387.18/1387.60	c 1387s |      26 | 12918317 |  9160252 |     2924   7621 |        0 |        0
1389.18/1389.60	c 1389s |      26 | 12934982 |  9172252 |     2924   7629 |        0 |        0
1391.19/1391.60	c 1391s |      26 | 12950845 |  9183752 |     2924   7636 |        0 |        0
1393.18/1393.62	c 1393s |      26 | 12967526 |  9195752 |     2924   7644 |        0 |        0
1395.18/1395.64	c 1395s |      26 | 12984537 |  9208352 |     2924   7652 |        0 |        0
1397.18/1397.65	c 1397s |      26 | 13001236 |  9220552 |     2924   7660 |        0 |        0
1399.18/1399.65	c 1399s |      26 | 13018213 |  9232652 |     2924   7668 |        0 |        0
1401.18/1401.67	c 1401s |      26 | 13035755 |  9245252 |     2924   7676 |        0 |        0
1403.18/1403.67	c 1403s |      26 | 13053318 |  9257352 |     2924   7684 |        0 |        0
1405.19/1405.69	c 1405s |      26 | 13069717 |  9269252 |     2924   7692 |        0 |        0
1407.19/1407.69	c 1407s |      26 | 13086979 |  9281452 |     2924   7700 |        0 |        0
1409.19/1409.69	c 1409s |      26 | 13103274 |  9293152 |     2924   7707 |        0 |        0
1411.28/1411.70	c 1411s |      26 | 13120490 |  9305152 |     2924   7715 |        0 |        0
1413.28/1413.71	c 1413s |      26 | 13136681 |  9316652 |     2924   7723 |        0 |        0
1415.29/1415.72	c 1415s |      26 | 13154384 |  9328752 |     2924   7731 |        0 |        0
1417.28/1417.73	c 1417s |      26 | 13171872 |  9340452 |     2924   7738 |        0 |        0
1419.28/1419.73	c 1419s |      26 | 13189294 |  9352552 |     2924   7746 |        0 |        0
1421.28/1421.76	c 1421s |      26 | 13207836 |  9365052 |     2924   7755 |        0 |        0
1423.28/1423.77	c 1423s |      26 | 13224992 |  9376752 |     2924   7762 |        0 |        0
1425.28/1425.77	c 1425s |      26 | 13242958 |  9389152 |     2924   7770 |        0 |        0
1427.28/1427.78	c 1427s |      26 | 13261401 |  9401952 |     2924   7779 |        0 |        0
1429.28/1429.79	c 1429s |      26 | 13279709 |  9414752 |     2924   7787 |        0 |        0
1431.28/1431.80	c 1431s |      26 | 13299532 |  9427752 |     2924   7796 |        0 |        0
1433.37/1433.80	c 1433s |      26 | 13319572 |  9440852 |     2924   7805 |        0 |        0
1435.38/1435.80	c 1435s |      26 | 13338896 |  9453852 |     2924   7813 |        0 |        0
1437.39/1437.82	c 1437s |      26 | 13356732 |  9466252 |     2924   7821 |        0 |        0
1439.38/1439.83	c 1439s |      26 | 13376369 |  9479352 |     2924   7830 |        0 |        0
1441.38/1441.83	c 1441s |      26 | 13394750 |  9492452 |     2924   7838 |        0 |        0
1443.38/1443.84	c 1443s |      26 | 13411746 |  9504152 |     2924   7846 |        0 |        0
1445.38/1445.85	c 1445s |      26 | 13429912 |  9516952 |     2924   7854 |        0 |        0
1447.38/1447.86	c 1447s |      26 | 13448099 |  9529452 |     2924   7863 |        0 |        0
1449.38/1449.88	c 1449s |      26 | 13464843 |  9541252 |     2924   7870 |        0 |        0
1451.38/1451.89	c 1451s |      26 | 13482509 |  9553952 |     2924   7879 |        0 |        0
1453.48/1453.90	c 1453s |      26 | 13499855 |  9565252 |     2924   7886 |        0 |        0
1455.48/1455.90	c 1455s |      26 | 13520757 |  9578452 |     2924   7895 |        0 |        0
1457.48/1457.90	c 1457s |      26 | 13539496 |  9591452 |     2924   7904 |        0 |        0
1459.48/1459.91	c 1459s |      26 | 13555890 |  9603352 |     2924   7912 |        0 |        0
1461.48/1461.92	c 1461s |      26 | 13575739 |  9616752 |     2924   7920 |        0 |        0
1463.48/1463.92	c 1463s |      26 | 13593651 |  9629452 |     2924   7929 |        0 |        0
1465.48/1465.93	c 1465s |      26 | 13612085 |  9642252 |     2924   7937 |        0 |        0
1467.48/1467.93	c 1467s |      26 | 13628638 |  9653852 |     2924   7945 |        0 |        0
1469.47/1469.93	c 1469s |      26 | 13647893 |  9666252 |     2924   7953 |        0 |        0
1471.48/1471.94	c 1471s |      26 | 13665077 |  9678252 |     2924   7961 |        0 |        0
1473.47/1473.95	c 1473s |      26 | 13683736 |  9690552 |     2924   7969 |        0 |        0
1475.47/1475.97	c 1475s |      26 | 13700522 |  9702252 |     2924   7977 |        0 |        0
1477.47/1477.98	c 1477s |      26 | 13716177 |  9713452 |     2924   7985 |        0 |        0
1479.47/1479.99	c 1479s |      26 | 13734464 |  9725852 |     2924   7993 |        0 |        0
1481.57/1482.00	c 1481s |      26 | 13751154 |  9737952 |     2924   8001 |        0 |        0
1483.48/1484.00	c 1483s |      26 | 13767629 |  9749652 |     2924   8009 |        0 |        0
1485.57/1486.01	c 1485s |      26 | 13785812 |  9761952 |     2924   8017 |        0 |        0
1487.57/1488.01	c 1487s |      26 | 13804667 |  9774652 |     2924   8026 |        0 |        0
1489.57/1490.02	c 1490s |      26 | 13824120 |  9787552 |     2924   8035 |        0 |        0
1491.57/1492.02	c 1492s |      26 | 13843717 |  9800452 |     2924   8043 |        0 |        0
1493.57/1494.03	c 1494s |      26 | 13859537 |  9811752 |     2924   8050 |        0 |        0
1495.57/1496.04	c 1496s |      26 | 13873699 |  9821952 |     2924   8057 |        0 |        0
1497.57/1498.04	c 1498s |      26 | 13887809 |  9832452 |     2924   8064 |        0 |        0
1499.57/1500.05	c 1500s |      26 | 13902791 |  9843252 |     2924   8071 |        0 |        0
1501.56/1502.06	c 1502s |      26 | 13916709 |  9852952 |     2924   8077 |        0 |        0
1503.56/1504.07	c 1504s |      26 | 13933022 |  9864452 |     2924   8085 |        0 |        0
1505.57/1506.07	c 1506s |      26 | 13950546 |  9876452 |     2924   8093 |        0 |        0
1507.56/1508.08	c 1508s |      26 | 13968713 |  9889052 |     2924   8101 |        0 |        0
1509.56/1510.08	c 1510s |      26 | 13986788 |  9901452 |     2924   8110 |        0 |        0
1511.66/1512.10	c 1512s |      26 | 14005974 |  9914452 |     2924   8118 |        0 |        0
1513.66/1514.11	c 1514s |      26 | 14024052 |  9926852 |     2924   8126 |        0 |        0
1515.66/1516.11	c 1516s |      26 | 14041766 |  9939152 |     2924   8134 |        0 |        0
1517.67/1518.12	c 1518s |      26 | 14060480 |  9951552 |     2924   8143 |        0 |        0
1519.66/1520.13	c 1520s |      26 | 14079083 |  9963952 |     2924   8151 |        0 |        0
1521.67/1522.14	c 1522s |      26 | 14097580 |  9976252 |     2924   8159 |        0 |        0
1523.67/1524.15	c 1524s |      26 | 14113194 |  9987652 |     2924   8166 |        0 |        0
1525.67/1526.15	c 1526s |      26 | 14130615 |  9999652 |     2924   8174 |        0 |        0
1527.67/1528.16	c 1528s |      26 | 14148352 | 10012152 |     2924   8182 |        0 |        0
1529.67/1530.17	c 1530s |      26 | 14162582 | 10023352 |     2924   8190 |        0 |        0
1531.67/1532.17	c 1532s |      26 | 14179638 | 10035752 |     2924   8198 |        0 |        0
1533.67/1534.18	c 1534s |      26 | 14196048 | 10047152 |     2924   8205 |        0 |        0
1535.67/1536.19	c 1536s |      26 | 14212916 | 10058752 |     2924   8213 |        0 |        0
1537.77/1538.20	c 1538s |      26 | 14230048 | 10070952 |     2924   8221 |        0 |        0
1539.77/1540.22	c 1540s |      26 | 14246127 | 10082852 |     2924   8229 |        0 |        0
1541.77/1542.24	c 1542s |      26 | 14263174 | 10094652 |     2924   8236 |        0 |        0
1543.76/1544.24	c 1544s |      26 | 14278229 | 10105852 |     2924   8244 |        0 |        0
1545.76/1546.25	c 1546s |      26 | 14297920 | 10119452 |     2924   8253 |        0 |        0
1547.76/1548.26	c 1548s |      26 | 14317589 | 10132352 |     2924   8262 |        0 |        0
1549.76/1550.26	c 1550s |      26 | 14334625 | 10144052 |     2924   8269 |        0 |        0
1551.77/1552.26	c 1552s |      26 | 14352068 | 10156052 |     2924   8277 |        0 |        0
1553.76/1554.28	c 1554s |      26 | 14369196 | 10167652 |     2924   8285 |        0 |        0
1555.76/1556.28	c 1556s |      26 | 14388045 | 10180152 |     2924   8293 |        0 |        0
1557.76/1558.29	c 1558s |      26 | 14406948 | 10192752 |     2924   8302 |        0 |        0
1559.86/1560.30	c 1560s |      26 | 14424520 | 10205352 |     2924   8310 |        0 |        0
1561.86/1562.32	c 1562s |      26 | 14443447 | 10217852 |     2924   8318 |        0 |        0
1563.86/1564.33	c 1564s |      26 | 14460189 | 10229152 |     2924   8326 |        0 |        0
1565.86/1566.34	c 1566s |      26 | 14482255 | 10243452 |     2924   8335 |        0 |        0
1567.86/1568.34	c 1568s |      26 | 14499008 | 10254852 |     2924   8343 |        0 |        0
1569.86/1570.35	c 1570s |      26 | 14516821 | 10266852 |     2924   8351 |        0 |        0
1571.86/1572.35	c 1572s |      26 | 14534399 | 10278952 |     2924   8359 |        0 |        0
1573.86/1574.36	c 1574s |      26 | 14554442 | 10292452 |     2924   8368 |        0 |        0
1575.86/1576.36	c 1576s |      26 | 14570201 | 10303352 |     2924   8375 |        0 |        0
1577.86/1578.36	c 1578s |      26 | 14587183 | 10314752 |     2924   8383 |        0 |        0
1579.85/1580.38	c 1580s |      26 | 14605078 | 10326852 |     2924   8391 |        0 |        0
1581.95/1582.40	c 1582s |      26 | 14624728 | 10339852 |     2924   8399 |        0 |        0
1583.95/1584.40	c 1584s |      26 | 14642299 | 10351852 |     2924   8407 |        0 |        0
1585.95/1586.41	c 1586s |      26 | 14661327 | 10364052 |     2924   8415 |        0 |        0
1587.96/1588.42	c 1588s |      26 | 14679310 | 10376352 |     2924   8423 |        0 |        0
1589.95/1590.43	c 1590s |      26 | 14698416 | 10388552 |     2924   8431 |        0 |        0
1591.95/1592.43	c 1592s |      26 | 14716565 | 10400652 |     2924   8439 |        0 |        0
1593.96/1594.44	c 1594s |      26 | 14736674 | 10413152 |     2924   8448 |        0 |        0
1595.96/1596.45	c 1596s |      26 | 14753877 | 10425352 |     2924   8456 |        0 |        0
1597.97/1598.46	c 1598s |      26 | 14773549 | 10438252 |     2924   8464 |        0 |        0
1599.96/1600.47	c 1600s |      26 | 14791775 | 10450452 |     2924   8473 |        0 |        0
1601.96/1602.48	c 1602s |      26 | 14809270 | 10463052 |     2924   8481 |        0 |        0
1603.96/1604.49	c 1604s |      26 | 14828467 | 10475852 |     2924   8489 |        0 |        0
1606.05/1606.50	c 1606s |      26 | 14847453 | 10488452 |     2924   8498 |        0 |        0
1608.05/1608.50	c 1608s |      26 | 14864997 | 10500952 |     2924   8506 |        0 |        0
1610.06/1610.50	c 1610s |      26 | 14883090 | 10513152 |     2924   8514 |        0 |        0
1612.05/1612.51	c 1612s |      26 | 14901663 | 10525452 |     2924   8523 |        0 |        0
1614.05/1614.51	c 1614s |      26 | 14919490 | 10537652 |     2924   8531 |        0 |        0
1616.05/1616.52	c 1616s |      26 | 14939444 | 10550552 |     2924   8539 |        0 |        0
1618.05/1618.52	c 1618s |      26 | 14957718 | 10562852 |     2924   8547 |        0 |        0
1620.05/1620.53	c 1620s |      26 | 14976356 | 10575652 |     2924   8556 |        0 |        0
1622.05/1622.53	c 1622s |      26 | 14991952 | 10586652 |     2924   8563 |        0 |        0
1624.05/1624.55	c 1624s |      26 | 15010041 | 10598552 |     2924   8571 |        0 |        0
1626.05/1626.56	c 1626s |      26 | 15028474 | 10611052 |     2924   8579 |        0 |        0
1628.05/1628.58	c 1628s |      26 | 15042975 | 10621752 |     2924   8586 |        0 |        0
1630.05/1630.60	c 1630s |      26 | 15057031 | 10632652 |     2924   8594 |        0 |        0
1632.15/1632.60	c 1632s |      26 | 15072075 | 10643752 |     2924   8601 |        0 |        0
1634.15/1634.63	c 1634s |      26 | 15089042 | 10655652 |     2924   8609 |        0 |        0
1636.15/1636.64	c 1636s |      26 | 15107195 | 10667852 |     2924   8617 |        0 |        0
1638.14/1638.65	c 1638s |      26 | 15124687 | 10680452 |     2924   8625 |        0 |        0
1640.14/1640.65	c 1640s |      26 | 15141153 | 10692352 |     2924   8633 |        0 |        0
1642.14/1642.66	c 1642s |      26 | 15160272 | 10705352 |     2924   8642 |        0 |        0
1644.16/1644.67	c 1644s |      26 | 15177564 | 10717452 |     2924   8650 |        0 |        0
1646.15/1646.68	c 1646s |      26 | 15195752 | 10729652 |     2924   8658 |        0 |        0
1648.15/1648.68	c 1648s |      26 | 15212901 | 10741252 |     2924   8666 |        0 |        0
1650.15/1650.69	c 1650s |      26 | 15231375 | 10753652 |     2924   8674 |        0 |        0
1652.25/1652.71	c 1652s |      26 | 15250192 | 10766652 |     2924   8683 |        0 |        0
1654.25/1654.71	c 1654s |      26 | 15267325 | 10778852 |     2924   8691 |        0 |        0
1656.25/1656.72	c 1656s |      26 | 15284254 | 10790352 |     2924   8699 |        0 |        0
1658.25/1658.72	c 1658s |      26 | 15303270 | 10802852 |     2924   8707 |        0 |        0
1660.24/1660.73	c 1660s |      26 | 15319310 | 10813552 |     2924   8714 |        0 |        0
1662.24/1662.74	c 1662s |      26 | 15338672 | 10826152 |     2924   8723 |        0 |        0
1664.24/1664.76	c 1664s |      26 | 15359301 | 10839852 |     2924   8732 |        0 |        0
1666.24/1666.77	c 1666s |      26 | 15376698 | 10852252 |     2924   8740 |        0 |        0
1668.25/1668.78	c 1668s |      26 | 15394298 | 10864552 |     2924   8748 |        0 |        0
1670.24/1670.79	c 1670s |      26 | 15415068 | 10878052 |     2924   8757 |        0 |        0
1672.34/1672.80	c 1672s |      26 | 15429986 | 10888652 |     2924   8764 |        0 |        0
1674.35/1674.81	c 1674s |      26 | 15447996 | 10901452 |     2924   8772 |        0 |        0
1676.35/1676.82	c 1676s |      26 | 15465976 | 10913652 |     2924   8780 |        0 |        0
1678.34/1678.82	c 1678s |      26 | 15484169 | 10926152 |     2924   8789 |        0 |        0
1680.35/1680.83	c 1680s |      26 | 15503043 | 10939252 |     2924   8797 |        0 |        0
1682.34/1682.84	c 1682s |      26 | 15521786 | 10951952 |     2924   8806 |        0 |        0
1684.34/1684.84	c 1684s |      26 | 15542880 | 10965952 |     2924   8815 |        0 |        0
1686.34/1686.85	c 1686s |      26 | 15562798 | 10979452 |     2924   8824 |        0 |        0
1688.34/1688.85	c 1688s |      26 | 15582478 | 10992552 |     2924   8833 |        0 |        0
1690.35/1690.87	c 1690s |      26 | 15599604 | 11004752 |     2924   8841 |        0 |        0
1692.34/1692.88	c 1692s |      26 | 15617021 | 11017252 |     2924   8849 |        0 |        0
1694.34/1694.88	c 1694s |      26 | 15636033 | 11030252 |     2924   8858 |        0 |        0
1696.34/1696.89	c 1696s |      26 | 15655261 | 11043152 |     2924   8866 |        0 |        0
1698.44/1698.90	c 1698s |      26 | 15672750 | 11055452 |     2924   8875 |        0 |        0
1700.44/1700.92	c 1700s |      26 | 15687854 | 11065852 |     2924   8882 |        0 |        0
1702.45/1702.94	c 1702s |      26 | 15704712 | 11077152 |     2924   8889 |        0 |        0
1704.44/1704.94	c 1704s |      26 | 15720199 | 11087952 |     2924   8896 |        0 |        0
1706.44/1706.95	c 1706s |      26 | 15733920 | 11098552 |     2924   8903 |        0 |        0
1708.44/1708.95	c 1708s |      26 | 15748593 | 11109352 |     2924   8910 |        0 |        0
1710.44/1710.96	c 1710s |      26 | 15763489 | 11120152 |     2924   8917 |        0 |        0
1712.44/1712.96	c 1712s |      26 | 15778648 | 11130452 |     2924   8924 |        0 |        0
1714.44/1714.97	c 1714s |      26 | 15794476 | 11141552 |     2924   8931 |        0 |        0
1716.44/1716.98	c 1716s |      26 | 15809076 | 11151952 |     2924   8938 |        0 |        0
1718.53/1719.00	c 1718s |      26 | 15823236 | 11162152 |     2924   8945 |        0 |        0
1720.53/1721.01	c 1720s |      26 | 15838335 | 11172852 |     2924   8952 |        0 |        0
1722.53/1723.03	c 1723s |      26 | 15853441 | 11183452 |     2924   8959 |        0 |        0
1724.53/1725.03	c 1725s |      26 | 15870292 | 11195252 |     2924   8967 |        0 |        0
1726.54/1727.05	c 1727s |      26 | 15884775 | 11205652 |     2924   8974 |        0 |        0
1728.53/1729.06	c 1729s |      26 | 15901403 | 11216452 |     2924   8981 |        0 |        0
1730.53/1731.06	c 1731s |      26 | 15917713 | 11228052 |     2924   8988 |        0 |        0
1732.53/1733.08	c 1733s |      26 | 15934962 | 11239952 |     2924   8996 |        0 |        0
1734.63/1735.10	c 1735s |      26 | 15949229 | 11250252 |     2924   9003 |        0 |        0
1736.63/1737.12	c 1737s |      26 | 15964472 | 11260652 |     2924   9010 |        0 |        0
1738.64/1739.13	c 1739s |      26 | 15980315 | 11271552 |     2924   9017 |        0 |        0
1740.64/1741.14	c 1741s |      26 | 15996571 | 11282552 |     2924   9025 |        0 |        0
1742.64/1743.14	c 1743s |      26 | 16012266 | 11292952 |     2924   9032 |        0 |        0
1744.64/1745.15	c 1745s |      26 | 16026216 | 11302852 |     2924   9038 |        0 |        0
1746.64/1747.16	c 1747s |      26 | 16041626 | 11312952 |     2924   9045 |        0 |        0
1748.64/1749.19	c 1749s |      26 | 16056560 | 11323252 |     3217   9052 |        0 |        0
1750.74/1751.21	c 1751s |      26 | 16073087 | 11333752 |     3217   9058 |        0 |        0
1752.73/1753.23	c 1753s |      26 | 16088977 | 11344552 |     3217   9065 |        0 |        0
1754.73/1755.23	c 1755s |      26 | 16106129 | 11355752 |     3217   9071 |        0 |        0
1756.73/1757.24	c 1757s |      26 | 16121532 | 11366952 |     3217   9078 |        0 |        0
1758.73/1759.24	c 1759s |      26 | 16139211 | 11378752 |     3217   9085 |        0 |        0
1760.74/1761.27	c 1761s |      26 | 16154804 | 11389652 |     3217   9092 |        0 |        0
1762.03/1762.55	c 1762s |      27 | 16165021 | 11396733 |     3217   9096 |        0 |        0
1764.04/1764.56	c 1764s |      27 | 16182758 | 11409333 |     3217   9104 |        0 |        0
1766.03/1766.57	c 1766s |      27 | 16199892 | 11421633 |     3217   9111 |        0 |        0
1768.03/1768.58	c 1768s |      27 | 16218301 | 11435233 |     3217   9119 |        0 |        0
1770.03/1770.59	c 1770s |      27 | 16233896 | 11447333 |     3217   9126 |        0 |        0
1772.13/1772.60	c 1772s |      27 | 16249305 | 11459233 |     3217   9133 |        0 |        0
1774.13/1774.60	c 1774s |      27 | 16266845 | 11472033 |     3217   9141 |        0 |        0
1776.04/1776.60	c 1776s |      27 | 16283157 | 11484233 |     3217   9148 |        0 |        0
1778.13/1778.60	c 1778s |      27 | 16298764 | 11495933 |     3217   9155 |        0 |        0
1780.13/1780.61	c 1780s |      27 | 16316400 | 11508433 |     3217   9162 |        0 |        0
1782.13/1782.62	c 1782s |      27 | 16332972 | 11520133 |     3217   9169 |        0 |        0
1784.13/1784.62	c 1784s |      27 | 16347906 | 11531733 |     3217   9176 |        0 |        0
1786.13/1786.62	c 1786s |      27 | 16361783 | 11542633 |     3217   9182 |        0 |        0
1788.13/1788.64	c 1788s |      27 | 16378654 | 11554933 |     3217   9189 |        0 |        0
1790.12/1790.65	c 1790s |      27 | 16393965 | 11567233 |     3217   9197 |        0 |        0
1792.12/1792.66	c 1792s |      27 | 16409011 | 11578333 |     3217   9203 |        0 |        0
1794.12/1794.66	c 1794s |      27 | 16424136 | 11589433 |     3217   9210 |        0 |        0
1796.12/1796.67	c 1796s |      27 | 16438666 | 11600433 |     3217   9216 |        0 |        0
1798.13/1798.69	c 1798s |      27 | 16454542 | 11612433 |     3217   9223 |        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-4122754-1467317625/watcher-4122754-1467317625 -o /tmp/evaluation-result-4122754-1467317625/solver-4122754-1467317625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122754-1467317625.opb 

pid=13485
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.16 2.18 2.13 3/179 13488
/proc/meminfo: memFree=29350812/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 2833 0 0 0 0 0 0 0 20 0 4 0 10791735 776400896 3194 33554432000 4194304 16246674 140734205846224 140734205845648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 190063 3205 441 2943 0 186957 0
[pid=13488/tid=13489] ppid=13485 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 794226688 3266 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 798420992 3282 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 802615296 3298 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100217 s]
/proc/loadavg: 2.16 2.18 2.13 3/179 13488
/proc/meminfo: memFree=29350812/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 25097 0 0 0 6 3 0 0 20 0 4 0 10791735 1247350784 25447 33554432000 4194304 16246674 140734205846224 140734205845648 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 304529 25457 707 2943 0 301423 0
[pid=13488/tid=13489] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 25463 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 25468 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 25473 33554432000 4194304 16246674 140734205846224 140008149216432 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.20051 s]
/proc/loadavg: 2.16 2.18 2.13 3/179 13488
/proc/meminfo: memFree=29350812/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 46963 0 0 0 13 6 0 0 20 0 4 0 10791735 1247350784 47313 33554432000 4194304 16246674 140734205846224 140734205845648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 304529 47320 707 2943 0 301423 0
[pid=13488/tid=13489] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 47325 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 47335 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 47342 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300487 s]
/proc/loadavg: 2.16 2.18 2.13 3/179 13488
/proc/meminfo: memFree=29350812/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 69306 0 0 0 20 9 0 0 20 0 4 0 10791735 1247350784 69656 33554432000 4194304 16246674 140734205846224 140734205845648 5664948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 304529 69667 707 2943 0 301423 0
[pid=13488/tid=13489] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 69672 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 69679 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 69688 33554432000 4194304 16246674 140734205846224 140008149216432 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.70037 s]
/proc/loadavg: 2.16 2.18 2.13 3/179 13488
/proc/meminfo: memFree=29350812/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 158634 0 0 0 47 22 0 0 20 0 4 0 10791735 1247350784 158985 33554432000 4194304 16246674 140734205846224 140734205828096 5590097 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 304529 159001 707 2943 0 301423 0
[pid=13488/tid=13489] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 159011 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 159020 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1247350784 159030 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.16 2.18 2.13 3/183 13492
/proc/meminfo: memFree=28367544/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 245715 0 0 0 114 35 0 0 20 0 4 0 10791735 1248399360 246045 33554432000 4194304 16246674 140734205846224 140734205829224 13193512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 304785 246045 782 2943 0 301679 0
[pid=13488/tid=13489] ppid=13485 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1248399360 246045 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1248399360 246045 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1248399360 246045 33554432000 4194304 16246674 140734205846224 140008149216432 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) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.16 2.18 2.13 3/183 13492
/proc/meminfo: memFree=28280976/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 267465 0 0 0 271 38 0 0 20 0 4 0 10791735 1337528320 267795 33554432000 4194304 16246674 140734205846224 140734205828096 5667089 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 326545 267795 782 2943 0 323439 0
[pid=13488/tid=13489] ppid=13485 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1337528320 267795 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1337528320 267795 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1337528320 267795 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.15 2.18 2.13 3/183 13492
/proc/meminfo: memFree=28279040/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 267729 0 0 0 590 39 0 0 20 0 4 0 10791735 1338576896 268059 33554432000 4194304 16246674 140734205846224 140734205828096 6011200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 326801 268059 783 2943 0 323695 0
[pid=13488/tid=13489] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268059 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268059 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268059 33554432000 4194304 16246674 140734205846224 140008149216432 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.14 2.17 2.13 3/183 13492
/proc/meminfo: memFree=28278472/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 267822 0 0 0 1230 39 0 0 20 0 4 0 10791735 1338576896 268152 33554432000 4194304 16246674 140734205846224 140734205828096 5523352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 326801 268152 784 2943 0 323695 0
[pid=13488/tid=13489] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268152 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268152 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1338576896 268152 33554432000 4194304 16246674 140734205846224 140008149216432 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.10 2.17 2.13 4/183 13492
/proc/meminfo: memFree=28277380/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 268244 0 0 0 2509 39 0 0 20 0 4 0 10791735 1340674048 268574 33554432000 4194304 16246674 140734205846224 140734205828096 6020452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 327313 268574 784 2943 0 324207 0
[pid=13488/tid=13489] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268574 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268574 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268574 33554432000 4194304 16246674 140734205846224 140008149216432 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.07 2.15 2.12 3/183 13492
/proc/meminfo: memFree=28278204/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 268334 0 0 0 5068 40 0 0 20 0 4 0 10791735 1340674048 268664 33554432000 4194304 16246674 140734205846224 140734205828096 5996162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 327313 268664 784 2943 0 324207 0
[pid=13488/tid=13489] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268664 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268664 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1340674048 268664 33554432000 4194304 16246674 140734205846224 140008149216432 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) 1309252

[startup+102.3 s]
/proc/loadavg: 1.60 2.00 2.07 2/172 13523
/proc/meminfo: memFree=29369392/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 268516 0 0 0 10187 41 0 0 20 0 4 0 10791735 1341722624 268845 33554432000 4194304 16246674 140734205846224 140734205828096 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 327569 268845 786 2943 0 324463 0
[pid=13488/tid=13489] ppid=13485 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1341722624 268845 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1341722624 268845 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1341722624 268845 33554432000 4194304 16246674 140734205846224 140008149216432 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) 1310276


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

/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 1.21 1.17 1.37 2/173 13555
/proc/meminfo: memFree=29363388/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1361.89 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269960 0 0 0 136122 67 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140734205828096 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 269947 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 1.08 1.14 1.34 2/173 13556
/proc/meminfo: memFree=29363272/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1421.89 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269960 0 0 0 142121 68 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140734205828096 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 269947 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 269947 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 1.09 1.12 1.33 2/173 13558
/proc/meminfo: memFree=29361728/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1481.87 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269961 0 0 0 148118 69 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140734205828096 6836262 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270203 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 1.26 1.16 1.32 3/173 13559
/proc/meminfo: memFree=29362496/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1541.87 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269961 0 0 0 154117 70 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140734205828096 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270203 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 1.12 1.14 1.31 2/174 13563
/proc/meminfo: memFree=29362084/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1601.86 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269961 0 0 0 160115 71 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140734205828096 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270203 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 1.18 1.15 1.29 2/173 13564
/proc/meminfo: memFree=29362060/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1661.84 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269961 0 0 0 166112 72 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140734205828096 5514810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270203 787 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270203 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 1.24 1.16 1.29 2/173 13565
/proc/meminfo: memFree=29361956/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1721.83 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269962 0 0 0 172110 73 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140734205828096 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270204 788 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 1.31 1.19 1.28 2/173 13567
/proc/meminfo: memFree=29361472/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1314372 CPUtime=1781.83 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 269962 0 0 0 178109 74 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140734205828096 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 328593 270204 788 2943 0 325487 0
[pid=13488/tid=13489] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1345916928 270204 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.28 1.20 1.28 2/173 13568
/proc/meminfo: memFree=29359860/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1316420 CPUtime=1800.02 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 270474 0 0 0 179928 74 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140734205828096 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 329105 270716 788 2943 0 325999 0
[pid=13488/tid=13489] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 1.28 1.20 1.28 2/173 13568
/proc/meminfo: memFree=29359860/32872528 swapFree=1102192/1183952
[pid=13488] ppid=13485 vsize=1316420 CPUtime=1800.02 cores=1,3,5,7
/proc/13488/stat : 13488 (toysat) R 13485 13488 11495 0 -1 4202496 270474 0 0 0 179928 74 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140734205828096 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13488/statm: 329105 270716 788 2943 0 325999 0
[pid=13488/tid=13489] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13489/stat : 13489 (toysat) S 13485 13488 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008273980656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13488/tid=13490] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13490/stat : 13490 (toysat) S 13485 13488 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008263490800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13488/tid=13491] ppid=13485 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13488/task/13491/stat : 13491 (toysat) S 13485 13488 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10791735 1348014080 270716 33554432000 4194304 16246674 140734205846224 140008149216432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.29
CPU system time (s): 0.745886
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.745886
maximum resident set size= 1082864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270474
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= 360
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47517 second user time and 7.17491 second system time

The end

Begin job on node115 at 2016-06-30 22:13:45
IDJOB=4122754
IDBENCH=111326
IDSOLVER=2542
FILE ID=node115/4122754-1467317625
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= 02f43588bfaf88f851952f09ad597b59
RANDOM SEED=1784358251

node115.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.087
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.17
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.087
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.56
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.087
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.54
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.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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:        29351348 kB
Buffers:          162044 kB
Cached:           344896 kB
SwapCached:            0 kB
Active:          1370960 kB
Inactive:         222216 kB
Active(anon):    1082244 kB
Inactive(anon):     6556 kB
Active(file):     288716 kB
Inactive(file):   215660 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2269424 kB
Mapped:            17080 kB
Shmem:               204 kB
Slab:             607732 kB
SReclaimable:      52008 kB
SUnreclaim:       555724 kB
KernelStack:        1520 kB
PageTables:         8656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2405652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 71648 MiB
End job on node115 at 2016-06-30 22:43:46