0.00/0.00	c 2016-06-16T19:59:28+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-4095959-1466099968.opb"]
0.00/0.01	c use --random-gen="4205720307 126953724 2656325523 2741923434 2007480245 1536278079 2690542523 3299781365 3116086320 851366551 2203727990 2938366525 4170271243 209643964 1009205303 4273225865 271844952 567342881 3496565701 3198060235 2914625799 3392389191 467728421 2452006646 956617477 2764687607 1568786870 2943926500 4102280787 2434770338 2471029343 1122642489 1303781256 1372677291 805164091 2468164638 2115267396 3462161760 665891201 3329799739 3865854560 3544211701 19946603 4183125686 2297932658 3060241731 2697225485 1782810535 190035306 603428626 1869453501 1252083851 284903422 3006218222 2790362728 3019734896 459584328 383779627 572737268 3115112818 1004258613 2996657265 2043595224 4153601380 179651743 4004790398 1940197630 2416563937 3088164791 2238314398 103715643 193521893 3196048052 91576979 2817398454 2170833847 1144380491 2029607185 2941706030 3354763576 731400697 3375815839 3224343378 3988782851 2020180285 355951450 3494383465 2240538500 2379050428 2060732878 1437158320 1079264732 730395161 2246590031 3224513043 2500947575 1239849725 4049857068 4232401251 225817329 824669146 1415885430 2286267453 579769965 3694689566 3859737959 2625570970 1621346543 3056370992 4061440885 2241335120 2586791121 3358592902 3319218782 1999499237 2001213625 18543922 3383221306 4019161124 1517021353 861167394 3284788969 1220401658 2177479931 2751173750 2652902686 1465116248 2246944138 3317580314 2783083937 1357434127 2015883557 2033060161 3152830721 680724241 1323996130 3541439975 2232254616 1212024748 1113993507 1082788480 3517381321 4271580196 2108667773 615966240 1678284545 1543409164 3252385455 1088290741 1812941926 3066346533 552876287 755026794 2745614095 1612141446 3829883620 3167405577 3798270052 3773904574 1634379275 159056796 4131694701 2410339129 628893856 2411296094 167071947 572701421 3402765881 3053346147 4138167687 1254337323 140435345 1097996182 3884389476 3285627881 1900657238 2583283350 4009130245 1424552863 2849485473 2065181972 1308560459 3928948865 687012172 2863569738 1735649202 2605221243 4211407176 766303541 1398148899 4021013153 1910422178 3476429968 2822779280 2144374231 546135590 4197128468 3358855792 3263085876 2175869596 236921653 2442617709 3844855688 3920675060 545394627 2290986258 1399157970 382271480 1882465318 2909306504 1832375189 1828659150 264988828 1890036774 1646844249 3898559198 3052286560 4092682783 2253259480 1986085028 4226005823 3300988705 3174895488 1518778249 3688961454 3149803449 3529901564 3015732013 3056171444 824401457 3954582762 3834500447 3850720525 1888729215 329417293 4277871301 1550716752 3037148585 1909737087 1632007912 2029328261 4028163184 3100840725 466058898 1090686059 3206054968 4034109582 2806562967 3358172191 3866674733 866443740 2380493802 6492753 434581551 2247392846 2003974729 255 362436" option to reproduce the execution
0.00/0.01	c #vars 161
0.00/0.01	c #constraints 80
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      107      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      152 |      100 |      107      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      416 |      250 |      118      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      842 |      475 |      130      3 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1632 |      813 |      143      7 |        0 |        0
0.09/0.16	c  0.2s |       5 |     2448 |     1320 |      158     12 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3705 |     2081 |      192     17 |        0 |        0
0.39/0.40	c  0.4s |       7 |     5637 |     3223 |      212     26 |        0 |        0
0.59/0.64	c  0.6s |       8 |     8035 |     4936 |      234     39 |        0 |        0
0.99/1.02	c  1.0s |       9 |    11579 |     7506 |      258     56 |        0 |        0
1.29/1.39	c  1.4s |      10 |    17660 |    11361 |      284     80 |        0 |        0
1.99/2.03	c  2.0s |      11 |    24707 |    17144 |      313    113 |        0 |        0
2.89/2.93	c  2.9s |      12 |    35873 |    25819 |      345    159 |        0 |        0
4.40/4.45	c  4.4s |      13 |    51372 |    38832 |      380    224 |        0 |        0
6.39/6.46	c  6.4s |      13 |    77028 |    57332 |      380    309 |        0 |        0
6.49/6.57	c  6.6s |      14 |    78338 |    58352 |      419    313 |        0 |        0
8.49/8.58	c  8.6s |      14 |   101019 |    76252 |      419    389 |        0 |        0
9.79/9.85	c  9.8s |      15 |   115913 |    87632 |      461    438 |        0 |        0
11.79/11.85	c 11.8s |      15 |   139238 |   106532 |      461    514 |        0 |        0
13.79/13.86	c 13.8s |      15 |   161711 |   124532 |      461    587 |        0 |        0
14.59/14.66	c 14.6s |      16 |   170680 |   131552 |      508    616 |        0 |        0
16.59/16.67	c 16.7s |      16 |   193787 |   149452 |      508    680 |        0 |        0
18.59/18.68	c 18.7s |      16 |   214583 |   166452 |      508    740 |        0 |        0
20.59/20.68	c 20.7s |      16 |   235676 |   183252 |      508    799 |        0 |        0
22.29/22.33	c 22.3s |      17 |   254170 |   197432 |      559    849 |        0 |        0
24.29/24.34	c 24.3s |      17 |   276298 |   215232 |      559    907 |        0 |        0
26.29/26.35	c 26.3s |      17 |   295922 |   231832 |      559    962 |        0 |        0
28.28/28.36	c 28.3s |      17 |   316068 |   248332 |      559   1016 |        0 |        0
30.28/30.37	c 30.4s |      17 |   334407 |   263532 |      559   1066 |        0 |        0
32.28/32.38	c 32.4s |      17 |   352389 |   278932 |      559   1118 |        0 |        0
34.28/34.38	c 34.4s |      17 |   370846 |   294632 |      615   1169 |        0 |        0
34.48/34.59	c 34.6s |      18 |   372763 |   296252 |      615   1174 |        0 |        0
36.48/36.59	c 36.6s |      18 |   391504 |   311652 |      615   1220 |        0 |        0
38.49/38.60	c 38.6s |      18 |   413261 |   328152 |      615   1269 |        0 |        0
40.58/40.60	c 40.6s |      18 |   432608 |   343552 |      615   1314 |        0 |        0
42.58/42.61	c 42.6s |      18 |   452148 |   359652 |      615   1363 |        0 |        0
44.58/44.62	c 44.6s |      18 |   472396 |   375552 |      615   1411 |        0 |        0
46.58/46.63	c 46.6s |      18 |   493031 |   391752 |      615   1460 |        0 |        0
48.58/48.63	c 48.6s |      18 |   510835 |   406852 |      615   1505 |        0 |        0
50.59/50.64	c 50.6s |      18 |   529052 |   422152 |      615   1550 |        0 |        0
52.59/52.65	c 52.6s |      18 |   546453 |   436652 |      615   1593 |        0 |        0
53.59/53.63	c 53.6s |      19 |   556161 |   444482 |      677   1616 |        0 |        0
55.59/55.64	c 55.6s |      19 |   577333 |   461182 |      677   1661 |        0 |        0
57.59/57.64	c 57.6s |      19 |   596853 |   477382 |      677   1706 |        0 |        0
59.59/59.65	c 59.6s |      19 |   617924 |   493882 |      677   1752 |        0 |        0
61.59/61.66	c 61.6s |      19 |   637863 |   509582 |      677   1795 |        0 |        0
63.58/63.66	c 63.6s |      19 |   658908 |   526282 |      677   1842 |        0 |        0
65.58/65.67	c 65.7s |      19 |   678577 |   542082 |      677   1886 |        0 |        0
67.58/67.68	c 67.7s |      19 |   697981 |   557682 |      677   1929 |        0 |        0
69.58/69.69	c 69.7s |      19 |   717327 |   573082 |      677   1972 |        0 |        0
71.68/71.70	c 71.7s |      19 |   737968 |   588782 |      677   2016 |        0 |        0
73.58/73.70	c 73.7s |      19 |   757322 |   603782 |      677   2058 |        0 |        0
75.68/75.71	c 75.7s |      19 |   776973 |   619882 |      677   2103 |        0 |        0
77.68/77.72	c 77.7s |      19 |   796676 |   635782 |      677   2148 |        0 |        0
79.68/79.72	c 79.7s |      19 |   816974 |   651982 |      677   2194 |        0 |        0
81.49/81.59	c 81.6s |      20 |   836379 |   666827 |      745   2234 |        0 |        0
83.48/83.59	c 83.6s |      20 |   860209 |   683527 |      745   2275 |        0 |        0
85.58/85.60	c 85.6s |      20 |   882951 |   700427 |      745   2318 |        0 |        0
87.57/87.61	c 87.6s |      20 |   903604 |   716327 |      745   2358 |        0 |        0
89.57/89.61	c 89.6s |      20 |   923939 |   731927 |      745   2398 |        0 |        0
91.57/91.61	c 91.6s |      20 |   947142 |   748427 |      745   2439 |        0 |        0
93.58/93.62	c 93.6s |      20 |   969714 |   765327 |      745   2482 |        0 |        0
95.57/95.63	c 95.6s |      20 |   988764 |   781127 |      745   2522 |        0 |        0
97.57/97.63	c 97.6s |      20 |  1008359 |   796627 |      745   2562 |        0 |        0
99.57/99.64	c 99.6s |      20 |  1029512 |   812527 |      745   2602 |        0 |        0
101.57/101.64	c  101s |      20 |  1051678 |   828727 |      745   2643 |        0 |        0
103.57/103.65	c  103s |      20 |  1072316 |   845027 |      745   2685 |        0 |        0
105.59/105.66	c  105s |      20 |  1091880 |   860527 |      745   2724 |        0 |        0
107.58/107.67	c  107s |      20 |  1110185 |   875427 |      745   2761 |        0 |        0
109.58/109.68	c  109s |      20 |  1129336 |   890327 |      745   2799 |        0 |        0
111.58/111.69	c  111s |      20 |  1149603 |   906527 |      745   2840 |        0 |        0
113.68/113.70	c  113s |      20 |  1167147 |   921627 |      745   2878 |        0 |        0
115.68/115.71	c  115s |      20 |  1187798 |   937827 |      745   2919 |        0 |        0
117.68/117.72	c  117s |      20 |  1205574 |   952527 |      745   2956 |        0 |        0
119.67/119.72	c  119s |      20 |  1223744 |   967927 |      745   2995 |        0 |        0
121.67/121.73	c  121s |      20 |  1242136 |   983427 |      745   3034 |        0 |        0
123.67/123.73	c  123s |      20 |  1258367 |   997527 |      820   3068 |        0 |        0
124.07/124.14	c  124s |      21 |  1261658 |  1000345 |      820   3075 |        0 |        0
126.07/126.15	c  126s |      21 |  1283284 |  1015645 |      820   3110 |        0 |        0
128.07/128.15	c  128s |      21 |  1302582 |  1030745 |      820   3145 |        0 |        0
130.07/130.17	c  130s |      21 |  1323151 |  1046345 |      820   3181 |        0 |        0
132.08/132.17	c  132s |      21 |  1342843 |  1061745 |      820   3217 |        0 |        0
134.07/134.18	c  134s |      21 |  1363211 |  1077445 |      820   3253 |        0 |        0
136.07/136.18	c  136s |      21 |  1385602 |  1093945 |      820   3291 |        0 |        0
138.07/138.19	c  138s |      21 |  1406520 |  1109745 |      820   3327 |        0 |        0
140.07/140.19	c  140s |      21 |  1426783 |  1125345 |      820   3364 |        0 |        0
142.17/142.20	c  142s |      21 |  1447150 |  1141045 |      820   3400 |        0 |        0
144.17/144.21	c  144s |      21 |  1466588 |  1155945 |      820   3434 |        0 |        0
146.17/146.22	c  146s |      21 |  1487273 |  1171345 |      820   3470 |        0 |        0
148.17/148.23	c  148s |      21 |  1506027 |  1185745 |      820   3504 |        0 |        0
150.17/150.24	c  150s |      21 |  1523111 |  1199445 |      820   3535 |        0 |        0
152.16/152.24	c  152s |      21 |  1540988 |  1213545 |      820   3567 |        0 |        0
154.16/154.25	c  154s |      21 |  1558272 |  1227645 |      820   3600 |        0 |        0
156.17/156.26	c  156s |      21 |  1577781 |  1242645 |      820   3635 |        0 |        0
158.16/158.27	c  158s |      21 |  1596161 |  1257845 |      820   3669 |        0 |        0
160.16/160.27	c  160s |      21 |  1610922 |  1271145 |      820   3699 |        0 |        0
162.16/162.28	c  162s |      21 |  1627700 |  1285245 |      820   3731 |        0 |        0
164.16/164.28	c  164s |      21 |  1646075 |  1299945 |      820   3765 |        0 |        0
166.17/166.29	c  166s |      21 |  1666198 |  1315045 |      820   3800 |        0 |        0
168.17/168.30	c  168s |      21 |  1685869 |  1329845 |      820   3835 |        0 |        0
170.27/170.31	c  170s |      21 |  1706376 |  1344745 |      820   3869 |        0 |        0
172.27/172.32	c  172s |      21 |  1727013 |  1359645 |      820   3904 |        0 |        0
174.26/174.32	c  174s |      21 |  1748189 |  1375145 |      820   3940 |        0 |        0
176.26/176.33	c  176s |      21 |  1765236 |  1389045 |      820   3972 |        0 |        0
178.27/178.34	c  178s |      21 |  1784651 |  1404145 |      820   4007 |        0 |        0
180.26/180.35	c  180s |      21 |  1803045 |  1419045 |      820   4042 |        0 |        0
182.26/182.36	c  182s |      21 |  1821837 |  1433945 |      820   4077 |        0 |        0
184.26/184.36	c  184s |      21 |  1842275 |  1449145 |      820   4112 |        0 |        0
186.26/186.37	c  186s |      21 |  1864842 |  1465245 |      820   4150 |        0 |        0
188.26/188.37	c  188s |      21 |  1883536 |  1479845 |      820   4184 |        0 |        0
190.26/190.38	c  190s |      21 |  1904234 |  1494745 |      903   4218 |        0 |        0
191.06/191.19	c  191s |      22 |  1912069 |  1500622 |      903   4230 |        0 |        0
193.15/193.20	c  193s |      22 |  1927870 |  1514422 |      903   4259 |        0 |        0
195.15/195.20	c  195s |      22 |  1943692 |  1527922 |      903   4288 |        0 |        0
197.15/197.21	c  197s |      22 |  1961662 |  1542622 |      903   4318 |        0 |        0
199.16/199.22	c  199s |      22 |  1979613 |  1557322 |      903   4350 |        0 |        0
201.15/201.23	c  201s |      22 |  1996216 |  1571322 |      903   4379 |        0 |        0
203.15/203.24	c  203s |      22 |  2011607 |  1584622 |      903   4407 |        0 |        0
205.15/205.24	c  205s |      22 |  2027751 |  1598322 |      903   4436 |        0 |        0
207.15/207.24	c  207s |      22 |  2043087 |  1611622 |      903   4464 |        0 |        0
209.15/209.24	c  209s |      22 |  2058745 |  1625222 |      903   4493 |        0 |        0
211.16/211.25	c  211s |      22 |  2074473 |  1638822 |      903   4521 |        0 |        0
213.15/213.26	c  213s |      22 |  2088813 |  1651622 |      903   4548 |        0 |        0
215.15/215.27	c  215s |      22 |  2103876 |  1664522 |      903   4576 |        0 |        0
217.15/217.27	c  217s |      22 |  2118838 |  1677522 |      903   4603 |        0 |        0
219.15/219.28	c  219s |      22 |  2134229 |  1690622 |      903   4630 |        0 |        0
221.16/221.29	c  221s |      22 |  2147242 |  1702422 |      903   4655 |        0 |        0
223.15/223.29	c  223s |      22 |  2160810 |  1714522 |      903   4681 |        0 |        0
225.24/225.30	c  225s |      22 |  2175222 |  1727322 |      903   4708 |        0 |        0
227.24/227.31	c  227s |      22 |  2190741 |  1740522 |      903   4736 |        0 |        0
229.24/229.31	c  229s |      22 |  2206564 |  1753622 |      903   4764 |        0 |        0
231.24/231.32	c  231s |      22 |  2223167 |  1767222 |      903   4792 |        0 |        0
233.25/233.33	c  233s |      22 |  2241235 |  1781222 |      903   4822 |        0 |        0
235.24/235.33	c  235s |      22 |  2257859 |  1794822 |      903   4851 |        0 |        0
237.24/237.34	c  237s |      22 |  2272984 |  1807822 |      903   4878 |        0 |        0
239.23/239.35	c  239s |      22 |  2290234 |  1822322 |      903   4909 |        0 |        0
241.23/241.36	c  241s |      22 |  2308577 |  1837222 |      903   4940 |        0 |        0
243.23/243.37	c  243s |      22 |  2325393 |  1850822 |      903   4969 |        0 |        0
245.24/245.38	c  245s |      22 |  2340914 |  1864122 |      903   4997 |        0 |        0
247.23/247.39	c  247s |      22 |  2356218 |  1877422 |      903   5024 |        0 |        0
249.23/249.39	c  249s |      22 |  2371171 |  1890622 |      903   5052 |        0 |        0
251.33/251.40	c  251s |      22 |  2386681 |  1903822 |      903   5080 |        0 |        0
253.33/253.40	c  253s |      22 |  2403008 |  1917422 |      903   5109 |        0 |        0
255.32/255.41	c  255s |      22 |  2419316 |  1930922 |      903   5137 |        0 |        0
257.33/257.42	c  257s |      22 |  2435488 |  1944422 |      903   5166 |        0 |        0
259.32/259.43	c  259s |      22 |  2450546 |  1957522 |      903   5193 |        0 |        0
261.32/261.43	c  261s |      22 |  2467074 |  1971122 |      903   5222 |        0 |        0
263.32/263.43	c  263s |      22 |  2485548 |  1985622 |      903   5252 |        0 |        0
265.32/265.44	c  265s |      22 |  2503917 |  1999922 |      903   5282 |        0 |        0
267.33/267.45	c  267s |      22 |  2518631 |  2012522 |      903   5309 |        0 |        0
269.32/269.46	c  269s |      22 |  2534157 |  2025822 |      903   5337 |        0 |        0
271.32/271.46	c  271s |      22 |  2549856 |  2038822 |      903   5364 |        0 |        0
273.32/273.47	c  273s |      22 |  2564186 |  2051322 |      903   5390 |        0 |        0
275.32/275.47	c  275s |      22 |  2578179 |  2063522 |      903   5415 |        0 |        0
277.32/277.48	c  277s |      22 |  2592323 |  2076122 |      903   5442 |        0 |        0
279.33/279.49	c  279s |      22 |  2606466 |  2088722 |      903   5469 |        0 |        0
281.32/281.49	c  281s |      22 |  2620731 |  2101322 |      903   5495 |        0 |        0
283.42/283.50	c  283s |      22 |  2635041 |  2113922 |      903   5522 |        0 |        0
285.42/285.51	c  285s |      22 |  2651051 |  2127322 |      903   5550 |        0 |        0
287.42/287.52	c  287s |      22 |  2668528 |  2141422 |      903   5580 |        0 |        0
289.42/289.52	c  289s |      22 |  2684065 |  2154622 |      903   5608 |        0 |        0
291.42/291.53	c  291s |      22 |  2698218 |  2166822 |      903   5633 |        0 |        0
293.41/293.53	c  293s |      22 |  2711730 |  2178822 |      903   5659 |        0 |        0
295.41/295.54	c  295s |      22 |  2726358 |  2191622 |      903   5686 |        0 |        0
297.41/297.55	c  297s |      22 |  2740822 |  2204222 |      903   5712 |        0 |        0
299.41/299.56	c  299s |      22 |  2754929 |  2216422 |      903   5738 |        0 |        0
301.42/301.57	c  301s |      22 |  2769680 |  2228822 |      903   5764 |        0 |        0
303.41/303.58	c  303s |      22 |  2783453 |  2241122 |      994   5789 |        0 |        0
305.00/305.18	c  305s |      23 |  2794954 |  2251038 |      994   5808 |        0 |        0
307.00/307.18	c  307s |      23 |  2811943 |  2264938 |      994   5835 |        0 |        0
309.02/309.19	c  309s |      23 |  2828781 |  2278838 |      994   5861 |        0 |        0
311.01/311.19	c  311s |      23 |  2844705 |  2292038 |      994   5887 |        0 |        0
313.01/313.19	c  313s |      23 |  2862441 |  2305838 |      994   5914 |        0 |        0
315.11/315.20	c  315s |      23 |  2879133 |  2319238 |      994   5940 |        0 |        0
317.11/317.21	c  317s |      23 |  2894829 |  2331938 |      994   5964 |        0 |        0
319.11/319.21	c  319s |      23 |  2912009 |  2345438 |      994   5990 |        0 |        0
321.11/321.22	c  321s |      23 |  2929193 |  2359538 |      994   6017 |        0 |        0
323.10/323.23	c  323s |      23 |  2946918 |  2373338 |      994   6044 |        0 |        0
325.10/325.24	c  325s |      23 |  2966744 |  2387738 |      994   6072 |        0 |        0
327.10/327.25	c  327s |      23 |  2984592 |  2402238 |      994   6099 |        0 |        0
329.10/329.25	c  329s |      23 |  3002718 |  2416038 |      994   6126 |        0 |        0
331.10/331.26	c  331s |      23 |  3024470 |  2430838 |      994   6155 |        0 |        0
333.10/333.27	c  333s |      23 |  3039567 |  2443938 |      994   6180 |        0 |        0
335.10/335.28	c  335s |      23 |  3056450 |  2457538 |      994   6206 |        0 |        0
337.09/337.28	c  337s |      23 |  3075225 |  2472138 |      994   6235 |        0 |        0
339.09/339.29	c  339s |      23 |  3094640 |  2486338 |      994   6262 |        0 |        0
341.09/341.30	c  341s |      23 |  3112013 |  2499738 |      994   6288 |        0 |        0
343.10/343.30	c  343s |      23 |  3130902 |  2513938 |      994   6315 |        0 |        0
345.19/345.32	c  345s |      23 |  3149929 |  2528038 |      994   6343 |        0 |        0
347.19/347.32	c  347s |      23 |  3169181 |  2542538 |      994   6371 |        0 |        0
349.18/349.32	c  349s |      23 |  3187724 |  2556138 |      994   6397 |        0 |        0
351.18/351.33	c  351s |      23 |  3204885 |  2569638 |      994   6423 |        0 |        0
353.18/353.34	c  353s |      23 |  3224277 |  2583938 |      994   6451 |        0 |        0
355.19/355.35	c  355s |      23 |  3242434 |  2597838 |      994   6478 |        0 |        0
357.19/357.36	c  357s |      23 |  3261118 |  2612538 |      994   6506 |        0 |        0
359.19/359.37	c  359s |      23 |  3278219 |  2626038 |      994   6532 |        0 |        0
361.19/361.37	c  361s |      23 |  3295375 |  2639238 |      994   6558 |        0 |        0
363.19/363.39	c  363s |      23 |  3316455 |  2653338 |      994   6585 |        0 |        0
365.28/365.40	c  365s |      23 |  3334510 |  2667338 |      994   6612 |        0 |        0
367.29/367.42	c  367s |      23 |  3350077 |  2680038 |      994   6637 |        0 |        0
369.28/369.43	c  369s |      23 |  3365415 |  2692638 |      994   6661 |        0 |        0
371.28/371.44	c  371s |      23 |  3384438 |  2707338 |      994   6689 |        0 |        0
373.28/373.44	c  373s |      23 |  3403316 |  2722238 |      994   6718 |        0 |        0
375.27/375.45	c  375s |      23 |  3421835 |  2736838 |      994   6746 |        0 |        0
377.28/377.47	c  377s |      23 |  3440018 |  2751338 |      994   6774 |        0 |        0
379.27/379.48	c  379s |      23 |  3454945 |  2764038 |      994   6799 |        0 |        0
381.27/381.48	c  381s |      23 |  3469382 |  2776538 |      994   6823 |        0 |        0
383.27/383.49	c  383s |      23 |  3484317 |  2789438 |      994   6847 |        0 |        0
385.36/385.50	c  385s |      23 |  3500616 |  2802738 |      994   6873 |        0 |        0
387.36/387.51	c  387s |      23 |  3517641 |  2816538 |      994   6900 |        0 |        0
389.37/389.52	c  389s |      23 |  3535125 |  2830638 |      994   6927 |        0 |        0
391.36/391.53	c  391s |      23 |  3553152 |  2844838 |      994   6954 |        0 |        0
393.36/393.53	c  393s |      23 |  3569287 |  2858238 |      994   6980 |        0 |        0
395.35/395.54	c  395s |      23 |  3585597 |  2871538 |      994   7006 |        0 |        0
397.35/397.55	c  397s |      23 |  3602524 |  2884938 |      994   7032 |        0 |        0
399.35/399.56	c  399s |      23 |  3619583 |  2898438 |      994   7058 |        0 |        0
401.36/401.57	c  401s |      23 |  3635381 |  2911538 |      994   7083 |        0 |        0
403.35/403.58	c  403s |      23 |  3652926 |  2925438 |      994   7110 |        0 |        0
405.35/405.58	c  405s |      23 |  3669986 |  2939138 |      994   7136 |        0 |        0
407.36/407.60	c  407s |      23 |  3687313 |  2952638 |      994   7163 |        0 |        0
409.45/409.61	c  409s |      23 |  3705264 |  2966738 |      994   7190 |        0 |        0
411.45/411.61	c  411s |      23 |  3721744 |  2980238 |      994   7216 |        0 |        0
413.46/413.62	c  413s |      23 |  3737617 |  2993438 |      994   7242 |        0 |        0
415.45/415.63	c  415s |      23 |  3751747 |  3005638 |      994   7265 |        0 |        0
417.45/417.63	c  417s |      23 |  3767219 |  3018538 |      994   7291 |        0 |        0
419.45/419.65	c  419s |      23 |  3782320 |  3031438 |      994   7316 |        0 |        0
421.45/421.66	c  421s |      23 |  3796737 |  3044138 |      994   7340 |        0 |        0
423.45/423.66	c  423s |      23 |  3812473 |  3057538 |      994   7366 |        0 |        0
425.44/425.68	c  425s |      23 |  3827604 |  3070738 |      994   7391 |        0 |        0
427.44/427.68	c  427s |      23 |  3842132 |  3083438 |      994   7415 |        0 |        0
429.44/429.68	c  429s |      23 |  3857366 |  3096238 |      994   7440 |        0 |        0
431.54/431.70	c  431s |      23 |  3873504 |  3109838 |      994   7466 |        0 |        0
433.54/433.70	c  433s |      23 |  3888079 |  3122538 |      994   7491 |        0 |        0
435.54/435.70	c  435s |      23 |  3902586 |  3135038 |      994   7515 |        0 |        0
437.53/437.71	c  437s |      23 |  3916867 |  3147638 |      994   7539 |        0 |        0
439.53/439.71	c  439s |      23 |  3932636 |  3161238 |      994   7565 |        0 |        0
441.53/441.72	c  441s |      23 |  3947390 |  3173938 |      994   7590 |        0 |        0
443.53/443.72	c  443s |      23 |  3961651 |  3186338 |      994   7614 |        0 |        0
445.53/445.73	c  445s |      23 |  3977991 |  3200038 |      994   7640 |        0 |        0
447.53/447.73	c  447s |      23 |  3995302 |  3214238 |      994   7668 |        0 |        0
449.53/449.74	c  449s |      23 |  4010294 |  3227238 |      994   7693 |        0 |        0
451.53/451.75	c  451s |      23 |  4024681 |  3239538 |      994   7716 |        0 |        0
453.53/453.75	c  453s |      23 |  4039124 |  3252038 |      994   7741 |        0 |        0
455.52/455.77	c  455s |      23 |  4052702 |  3264138 |      994   7764 |        0 |        0
457.53/457.78	c  457s |      23 |  4067647 |  3276838 |      994   7788 |        0 |        0
459.52/459.79	c  459s |      23 |  4083311 |  3290038 |      994   7814 |        0 |        0
461.52/461.79	c  461s |      23 |  4098000 |  3302638 |      994   7838 |        0 |        0
463.52/463.80	c  463s |      23 |  4112243 |  3314838 |      994   7862 |        0 |        0
465.61/465.81	c  465s |      23 |  4127908 |  3327938 |      994   7887 |        0 |        0
467.61/467.82	c  467s |      23 |  4144631 |  3341438 |      994   7913 |        0 |        0
469.62/469.82	c  469s |      23 |  4162104 |  3355038 |     1094   7939 |        0 |        0
471.61/471.83	c  471s |      23 |  4176271 |  3367538 |     1094   7961 |        0 |        0
473.01/473.29	c  473s |      24 |  4186619 |  3376662 |     1094   7977 |        0 |        0
475.11/475.31	c  475s |      24 |  4203865 |  3390062 |     1094   8000 |        0 |        0
477.11/477.32	c  477s |      24 |  4220341 |  3403162 |     1094   8023 |        0 |        0
479.11/479.33	c  479s |      24 |  4238171 |  3416862 |     1094   8047 |        0 |        0
481.11/481.33	c  481s |      24 |  4255738 |  3430462 |     1094   8071 |        0 |        0
483.11/483.34	c  483s |      24 |  4270975 |  3443162 |     1094   8094 |        0 |        0
485.10/485.35	c  485s |      24 |  4287503 |  3456162 |     1094   8116 |        0 |        0
487.11/487.35	c  487s |      24 |  4303637 |  3469262 |     1094   8139 |        0 |        0
489.10/489.36	c  489s |      24 |  4320416 |  3482662 |     1094   8163 |        0 |        0
491.10/491.36	c  491s |      24 |  4337551 |  3496162 |     1094   8186 |        0 |        0
493.10/493.36	c  493s |      24 |  4354650 |  3509662 |     1094   8210 |        0 |        0
495.10/495.37	c  495s |      24 |  4371400 |  3522962 |     1094   8234 |        0 |        0
497.10/497.37	c  497s |      24 |  4389020 |  3536362 |     1094   8257 |        0 |        0
499.10/499.39	c  499s |      24 |  4405043 |  3549362 |     1094   8280 |        0 |        0
501.09/501.39	c  501s |      24 |  4421853 |  3562562 |     1094   8303 |        0 |        0
503.19/503.40	c  503s |      24 |  4440250 |  3576362 |     1094   8327 |        0 |        0
505.19/505.41	c  505s |      24 |  4459869 |  3590962 |     1094   8353 |        0 |        0
507.19/507.41	c  507s |      24 |  4477662 |  3604762 |     1094   8377 |        0 |        0
509.20/509.42	c  509s |      24 |  4497226 |  3619362 |     1094   8403 |        0 |        0
511.19/511.43	c  511s |      24 |  4514757 |  3633062 |     1094   8427 |        0 |        0
513.19/513.45	c  513s |      24 |  4532661 |  3646362 |     1094   8451 |        0 |        0
515.18/515.46	c  515s |      24 |  4549873 |  3659162 |     1094   8473 |        0 |        0
517.18/517.47	c  517s |      24 |  4567172 |  3672362 |     1094   8496 |        0 |        0
519.18/519.48	c  519s |      24 |  4584464 |  3685362 |     1094   8519 |        0 |        0
521.19/521.49	c  521s |      24 |  4602182 |  3698562 |     1094   8542 |        0 |        0
523.18/523.49	c  523s |      24 |  4621432 |  3712462 |     1094   8566 |        0 |        0
525.28/525.51	c  525s |      24 |  4636959 |  3725162 |     1094   8589 |        0 |        0
527.28/527.52	c  527s |      24 |  4656325 |  3739462 |     1094   8614 |        0 |        0
529.29/529.53	c  529s |      24 |  4677009 |  3754162 |     1094   8640 |        0 |        0
531.29/531.54	c  531s |      24 |  4694811 |  3768162 |     1094   8665 |        0 |        0
533.29/533.55	c  533s |      24 |  4709785 |  3781062 |     1094   8687 |        0 |        0
535.29/535.55	c  535s |      24 |  4725842 |  3794262 |     1094   8710 |        0 |        0
537.29/537.56	c  537s |      24 |  4741800 |  3807362 |     1094   8733 |        0 |        0
539.29/539.58	c  539s |      24 |  4757399 |  3820362 |     1094   8756 |        0 |        0
541.28/541.58	c  541s |      24 |  4773282 |  3833762 |     1094   8779 |        0 |        0
543.29/543.59	c  543s |      24 |  4789170 |  3846462 |     1094   8801 |        0 |        0
545.28/545.60	c  545s |      24 |  4804919 |  3858762 |     1094   8823 |        0 |        0
547.38/547.60	c  547s |      24 |  4821673 |  3871662 |     1094   8846 |        0 |        0
549.38/549.62	c  549s |      24 |  4838532 |  3885062 |     1094   8869 |        0 |        0
551.38/551.62	c  551s |      24 |  4854361 |  3897862 |     1094   8892 |        0 |        0
553.38/553.63	c  553s |      24 |  4871470 |  3911462 |     1094   8916 |        0 |        0
555.38/555.63	c  555s |      24 |  4889290 |  3925262 |     1094   8940 |        0 |        0
557.37/557.64	c  557s |      24 |  4908710 |  3939662 |     1094   8966 |        0 |        0
559.37/559.64	c  559s |      24 |  4926180 |  3953462 |     1094   8990 |        0 |        0
561.37/561.65	c  561s |      24 |  4943598 |  3966762 |     1094   9013 |        0 |        0
563.37/563.67	c  563s |      24 |  4960448 |  3979962 |     1094   9037 |        0 |        0
565.36/565.68	c  565s |      24 |  4977158 |  3993062 |     1094   9060 |        0 |        0
567.37/567.68	c  567s |      24 |  4995583 |  4006862 |     1094   9084 |        0 |        0
569.36/569.69	c  569s |      24 |  5014693 |  4021162 |     1094   9109 |        0 |        0
571.36/571.70	c  571s |      24 |  5032699 |  4035062 |     1094   9133 |        0 |        0
573.46/573.70	c  573s |      24 |  5050347 |  4048862 |     1094   9157 |        0 |        0
575.46/575.71	c  575s |      24 |  5068731 |  4063062 |     1094   9182 |        0 |        0
577.46/577.72	c  577s |      24 |  5087251 |  4076962 |     1094   9207 |        0 |        0
579.46/579.73	c  579s |      24 |  5107447 |  4091562 |     1094   9232 |        0 |        0
581.46/581.73	c  581s |      24 |  5125904 |  4105362 |     1094   9257 |        0 |        0
583.46/583.74	c  583s |      24 |  5144841 |  4119762 |     1094   9282 |        0 |        0
585.45/585.74	c  585s |      24 |  5161565 |  4132762 |     1094   9305 |        0 |        0
587.45/587.75	c  587s |      24 |  5179152 |  4146362 |     1094   9329 |        0 |        0
589.46/589.76	c  589s |      24 |  5196217 |  4159862 |     1094   9353 |        0 |        0
591.45/591.77	c  591s |      24 |  5212788 |  4173162 |     1094   9376 |        0 |        0
593.45/593.77	c  593s |      24 |  5230001 |  4187162 |     1094   9401 |        0 |        0
595.45/595.79	c  595s |      24 |  5248285 |  4201562 |     1094   9426 |        0 |        0
597.45/597.79	c  597s |      24 |  5263224 |  4214062 |     1094   9448 |        0 |        0
599.55/599.80	c  599s |      24 |  5279593 |  4226662 |     1094   9470 |        0 |        0
601.55/601.81	c  601s |      24 |  5295444 |  4239162 |     1094   9492 |        0 |        0
603.55/603.82	c  603s |      24 |  5311575 |  4251862 |     1094   9515 |        0 |        0
605.54/605.83	c  605s |      24 |  5329917 |  4265262 |     1094   9539 |        0 |        0
607.54/607.84	c  607s |      24 |  5347071 |  4279062 |     1094   9563 |        0 |        0
609.54/609.85	c  609s |      24 |  5365781 |  4293562 |     1094   9588 |        0 |        0
611.54/611.86	c  611s |      24 |  5383937 |  4307562 |     1094   9613 |        0 |        0
613.54/613.87	c  613s |      24 |  5402487 |  4321462 |     1094   9637 |        0 |        0
615.53/615.88	c  615s |      24 |  5421422 |  4335462 |     1094   9662 |        0 |        0
617.53/617.89	c  617s |      24 |  5439296 |  4348962 |     1094   9685 |        0 |        0
619.63/619.90	c  619s |      24 |  5457672 |  4362362 |     1094   9709 |        0 |        0
621.63/621.91	c  621s |      24 |  5474012 |  4375162 |     1094   9731 |        0 |        0
623.64/623.91	c  623s |      24 |  5490874 |  4387862 |     1094   9753 |        0 |        0
625.65/625.92	c  625s |      24 |  5506617 |  4400462 |     1094   9775 |        0 |        0
627.64/627.93	c  627s |      24 |  5523124 |  4413462 |     1094   9798 |        0 |        0
629.64/629.94	c  629s |      24 |  5537667 |  4425762 |     1094   9820 |        0 |        0
631.64/631.94	c  631s |      24 |  5551580 |  4437662 |     1094   9841 |        0 |        0
633.64/633.96	c  633s |      24 |  5565952 |  4449562 |     1094   9862 |        0 |        0
635.64/635.97	c  635s |      24 |  5581324 |  4461762 |     1094   9883 |        0 |        0
637.63/637.97	c  637s |      24 |  5597632 |  4474462 |     1094   9905 |        0 |        0
639.63/639.98	c  639s |      24 |  5614354 |  4487262 |     1094   9928 |        0 |        0
641.63/641.98	c  641s |      24 |  5631396 |  4500262 |     1094   9951 |        0 |        0
643.63/644.00	c  643s |      24 |  5646724 |  4512862 |     1094   9973 |        0 |        0
645.72/646.01	c  645s |      24 |  5662128 |  4525162 |     1094   9994 |        0 |        0
647.73/648.01	c  648s |      24 |  5675935 |  4536762 |     1094  10015 |        0 |        0
649.72/650.02	c  650s |      24 |  5689337 |  4548262 |     1094  10035 |        0 |        0
651.72/652.03	c  652s |      24 |  5701782 |  4559162 |     1094  10054 |        0 |        0
653.72/654.03	c  654s |      24 |  5714050 |  4569962 |     1094  10073 |        0 |        0
655.72/656.04	c  656s |      24 |  5727541 |  4581562 |     1094  10093 |        0 |        0
657.72/658.05	c  658s |      24 |  5741279 |  4593062 |     1094  10113 |        0 |        0
659.72/660.06	c  660s |      24 |  5755809 |  4605262 |     1094  10135 |        0 |        0
661.71/662.06	c  662s |      24 |  5770183 |  4617362 |     1094  10156 |        0 |        0
663.71/664.07	c  664s |      24 |  5785916 |  4630062 |     1094  10179 |        0 |        0
665.71/666.08	c  666s |      24 |  5802524 |  4643062 |     1094  10202 |        0 |        0
667.71/668.09	c  668s |      24 |  5818364 |  4655762 |     1094  10224 |        0 |        0
669.81/670.10	c  670s |      24 |  5833399 |  4668162 |     1094  10246 |        0 |        0
671.82/672.11	c  672s |      24 |  5849529 |  4680862 |     1094  10269 |        0 |        0
673.81/674.13	c  674s |      24 |  5865701 |  4693162 |     1094  10291 |        0 |        0
675.81/676.13	c  676s |      24 |  5882509 |  4706262 |     1094  10314 |        0 |        0
677.81/678.15	c  678s |      24 |  5896999 |  4718862 |     1094  10336 |        0 |        0
679.81/680.16	c  680s |      24 |  5912146 |  4731762 |     1094  10358 |        0 |        0
681.81/682.16	c  682s |      24 |  5927730 |  4744862 |     1094  10381 |        0 |        0
683.80/684.17	c  684s |      24 |  5943699 |  4757962 |     1094  10404 |        0 |        0
685.80/686.19	c  686s |      24 |  5958609 |  4770562 |     1094  10426 |        0 |        0
687.80/688.19	c  688s |      24 |  5972843 |  4782862 |     1094  10448 |        0 |        0
689.90/690.21	c  690s |      24 |  5989002 |  4795862 |     1094  10471 |        0 |        0
691.90/692.21	c  692s |      24 |  6004895 |  4808762 |     1094  10493 |        0 |        0
693.91/694.22	c  694s |      24 |  6021131 |  4822162 |     1094  10517 |        0 |        0
695.90/696.22	c  696s |      24 |  6036718 |  4835262 |     1094  10540 |        0 |        0
697.90/698.22	c  698s |      24 |  6052220 |  4848362 |     1094  10563 |        0 |        0
699.90/700.23	c  700s |      24 |  6066864 |  4860662 |     1094  10585 |        0 |        0
701.90/702.23	c  702s |      24 |  6081438 |  4873062 |     1094  10607 |        0 |        0
703.89/704.25	c  704s |      24 |  6096890 |  4885762 |     1094  10630 |        0 |        0
705.90/706.26	c  706s |      24 |  6111300 |  4897962 |     1094  10651 |        0 |        0
707.89/708.27	c  708s |      24 |  6126660 |  4910362 |     1094  10673 |        0 |        0
709.89/710.28	c  710s |      24 |  6143511 |  4923662 |     1094  10697 |        0 |        0
711.89/712.29	c  712s |      24 |  6158562 |  4936462 |     1094  10719 |        0 |        0
713.89/714.29	c  714s |      24 |  6175326 |  4949862 |     1094  10743 |        0 |        0
715.99/716.30	c  716s |      24 |  6190793 |  4962662 |     1094  10766 |        0 |        0
718.00/718.31	c  718s |      24 |  6205045 |  4974762 |     1094  10787 |        0 |        0
719.99/720.31	c  720s |      24 |  6219372 |  4986962 |     1094  10809 |        0 |        0
721.99/722.33	c  722s |      24 |  6235815 |  5000162 |     1094  10832 |        0 |        0
723.98/724.33	c  724s |      24 |  6254232 |  5014062 |     1094  10856 |        0 |        0
725.98/726.33	c  726s |      24 |  6273341 |  5027962 |     1094  10881 |        0 |        0
727.99/728.34	c  728s |      24 |  6288161 |  5039962 |     1204  10900 |        0 |        0
729.98/730.34	c  730s |      24 |  6302390 |  5051662 |     1204  10918 |        0 |        0
731.98/732.36	c  732s |      24 |  6319089 |  5064562 |     1204  10939 |        0 |        0
732.08/732.44	c  732s |      25 |  6319751 |  5065098 |     1204  10940 |        0 |        0
734.07/734.44	c  734s |      25 |  6334813 |  5077998 |     1204  10960 |        0 |        0
736.07/736.45	c  736s |      25 |  6350272 |  5090798 |     1204  10981 |        0 |        0
738.07/738.45	c  738s |      25 |  6367034 |  5104298 |     1204  11003 |        0 |        0
740.08/740.46	c  740s |      25 |  6382132 |  5116698 |     1204  11022 |        0 |        0
742.07/742.46	c  742s |      25 |  6398445 |  5129898 |     1204  11043 |        0 |        0
744.07/744.47	c  744s |      25 |  6416062 |  5143698 |     1204  11065 |        0 |        0
746.07/746.48	c  746s |      25 |  6433429 |  5157398 |     1204  11087 |        0 |        0
748.06/748.49	c  748s |      25 |  6451765 |  5171198 |     1204  11110 |        0 |        0
750.06/750.49	c  750s |      25 |  6470407 |  5185098 |     1204  11132 |        0 |        0
752.07/752.49	c  752s |      25 |  6489371 |  5198898 |     1204  11154 |        0 |        0
754.16/754.51	c  754s |      25 |  6508642 |  5212698 |     1204  11176 |        0 |        0
756.16/756.52	c  756s |      25 |  6524762 |  5225598 |     1204  11197 |        0 |        0
758.16/758.54	c  758s |      25 |  6542165 |  5239098 |     1204  11218 |        0 |        0
760.16/760.55	c  760s |      25 |  6560502 |  5252998 |     1204  11241 |        0 |        0
762.16/762.56	c  762s |      25 |  6577077 |  5266498 |     1204  11262 |        0 |        0
764.16/764.57	c  764s |      25 |  6593390 |  5279698 |     1204  11283 |        0 |        0
766.15/766.58	c  766s |      25 |  6609172 |  5292798 |     1204  11304 |        0 |        0
768.16/768.59	c  768s |      25 |  6624176 |  5305198 |     1204  11324 |        0 |        0
770.16/770.59	c  770s |      25 |  6639504 |  5317598 |     1204  11344 |        0 |        0
772.15/772.59	c  772s |      25 |  6655852 |  5330298 |     1204  11364 |        0 |        0
774.25/774.60	c  774s |      25 |  6671814 |  5342698 |     1204  11384 |        0 |        0
776.26/776.60	c  776s |      25 |  6688573 |  5355398 |     1204  11405 |        0 |        0
778.25/778.62	c  778s |      25 |  6705137 |  5368198 |     1204  11425 |        0 |        0
780.25/780.62	c  780s |      25 |  6721299 |  5380498 |     1204  11445 |        0 |        0
782.25/782.63	c  782s |      25 |  6737227 |  5392898 |     1204  11465 |        0 |        0
784.24/784.65	c  784s |      25 |  6755084 |  5406798 |     1204  11487 |        0 |        0
786.25/786.65	c  786s |      25 |  6771870 |  5420098 |     1204  11508 |        0 |        0
788.24/788.67	c  788s |      25 |  6786867 |  5432498 |     1204  11528 |        0 |        0
790.24/790.67	c  790s |      25 |  6800953 |  5444598 |     1204  11547 |        0 |        0
792.24/792.67	c  792s |      25 |  6815528 |  5456798 |     1204  11567 |        0 |        0
794.23/794.68	c  794s |      25 |  6830433 |  5468998 |     1204  11586 |        0 |        0
796.23/796.69	c  796s |      25 |  6845009 |  5481298 |     1204  11606 |        0 |        0
798.24/798.70	c  798s |      25 |  6861565 |  5494398 |     1204  11627 |        0 |        0
800.33/800.71	c  800s |      25 |  6876127 |  5506598 |     1204  11647 |        0 |        0
802.33/802.73	c  802s |      25 |  6890426 |  5518498 |     1204  11666 |        0 |        0
804.32/804.73	c  804s |      25 |  6905502 |  5530698 |     1204  11685 |        0 |        0
806.32/806.75	c  806s |      25 |  6920739 |  5542798 |     1204  11705 |        0 |        0
808.32/808.76	c  808s |      25 |  6935234 |  5554898 |     1204  11724 |        0 |        0
810.33/810.77	c  810s |      25 |  6949254 |  5566498 |     1204  11743 |        0 |        0
812.32/812.77	c  812s |      25 |  6964128 |  5578498 |     1204  11762 |        0 |        0
814.32/814.78	c  814s |      25 |  6977954 |  5590398 |     1204  11781 |        0 |        0
816.43/816.80	c  816s |      25 |  6993028 |  5602398 |     1204  11800 |        0 |        0
818.43/818.81	c  818s |      25 |  7007097 |  5614398 |     1204  11819 |        0 |        0
820.43/820.82	c  820s |      25 |  7022686 |  5626898 |     1204  11839 |        0 |        0
822.43/822.83	c  822s |      25 |  7039026 |  5639498 |     1204  11859 |        0 |        0
824.42/824.83	c  824s |      25 |  7055439 |  5651898 |     1204  11879 |        0 |        0
826.42/826.85	c  826s |      25 |  7071660 |  5664398 |     1204  11900 |        0 |        0
828.42/828.85	c  828s |      25 |  7086827 |  5676998 |     1204  11920 |        0 |        0
830.42/830.86	c  830s |      25 |  7101973 |  5689298 |     1204  11940 |        0 |        0
832.43/832.88	c  832s |      25 |  7117010 |  5701398 |     1204  11959 |        0 |        0
834.42/834.89	c  834s |      25 |  7133956 |  5714498 |     1204  11980 |        0 |        0
836.42/836.89	c  836s |      25 |  7150100 |  5727098 |     1204  12000 |        0 |        0
838.42/838.89	c  838s |      25 |  7164757 |  5739398 |     1204  12019 |        0 |        0
840.52/840.90	c  840s |      25 |  7179902 |  5751998 |     1204  12039 |        0 |        0
842.52/842.91	c  842s |      25 |  7195300 |  5764698 |     1204  12059 |        0 |        0
844.52/844.92	c  844s |      25 |  7211576 |  5777398 |     1204  12079 |        0 |        0
846.52/846.92	c  846s |      25 |  7227141 |  5789998 |     1204  12099 |        0 |        0
848.52/848.92	c  848s |      25 |  7243816 |  5802798 |     1204  12119 |        0 |        0
850.52/850.94	c  850s |      25 |  7259218 |  5815298 |     1204  12139 |        0 |        0
852.52/852.95	c  852s |      25 |  7277375 |  5829398 |     1204  12162 |        0 |        0
854.52/854.95	c  854s |      25 |  7293857 |  5842498 |     1204  12183 |        0 |        0
856.52/856.96	c  856s |      25 |  7310797 |  5855798 |     1204  12204 |        0 |        0
858.51/858.98	c  858s |      25 |  7326173 |  5868598 |     1204  12225 |        0 |        0
860.51/860.99	c  860s |      25 |  7341969 |  5880798 |     1204  12244 |        0 |        0
862.51/862.99	c  862s |      25 |  7357840 |  5893398 |     1204  12264 |        0 |        0
864.61/865.00	c  864s |      25 |  7374499 |  5906498 |     1204  12285 |        0 |        0
866.61/867.01	c  866s |      25 |  7391791 |  5920198 |     1204  12307 |        0 |        0
868.62/869.02	c  869s |      25 |  7406777 |  5932798 |     1204  12327 |        0 |        0
870.61/871.02	c  871s |      25 |  7422727 |  5945298 |     1204  12347 |        0 |        0
872.61/873.03	c  873s |      25 |  7438513 |  5957798 |     1204  12367 |        0 |        0
874.61/875.04	c  875s |      25 |  7454442 |  5970198 |     1204  12387 |        0 |        0
876.62/877.04	c  877s |      25 |  7473353 |  5983698 |     1204  12409 |        0 |        0
878.63/879.05	c  879s |      25 |  7493527 |  5998198 |     1204  12432 |        0 |        0
880.62/881.06	c  881s |      25 |  7514066 |  6012798 |     1204  12456 |        0 |        0
882.62/883.07	c  883s |      25 |  7532363 |  6026498 |     1204  12477 |        0 |        0
884.62/885.07	c  885s |      25 |  7548402 |  6039398 |     1204  12498 |        0 |        0
886.62/887.08	c  887s |      25 |  7566229 |  6052898 |     1204  12520 |        0 |        0
888.61/889.08	c  889s |      25 |  7585703 |  6066998 |     1204  12542 |        0 |        0
890.62/891.09	c  891s |      25 |  7604199 |  6080898 |     1204  12565 |        0 |        0
892.71/893.10	c  893s |      25 |  7622429 |  6094598 |     1204  12586 |        0 |        0
894.71/895.11	c  895s |      25 |  7640206 |  6108298 |     1204  12608 |        0 |        0
896.71/897.13	c  897s |      25 |  7657495 |  6121598 |     1204  12630 |        0 |        0
898.71/899.13	c  899s |      25 |  7674223 |  6134498 |     1204  12650 |        0 |        0
900.71/901.13	c  901s |      25 |  7690465 |  6147098 |     1204  12671 |        0 |        0
902.72/903.14	c  903s |      25 |  7705496 |  6159098 |     1204  12690 |        0 |        0
904.71/905.15	c  905s |      25 |  7720561 |  6171298 |     1204  12709 |        0 |        0
906.71/907.17	c  907s |      25 |  7737460 |  6184098 |     1204  12730 |        0 |        0
908.71/909.18	c  909s |      25 |  7753468 |  6196398 |     1204  12749 |        0 |        0
910.71/911.19	c  911s |      25 |  7770097 |  6208998 |     1204  12769 |        0 |        0
912.81/913.20	c  913s |      25 |  7786325 |  6221498 |     1204  12789 |        0 |        0
914.81/915.21	c  915s |      25 |  7803426 |  6234698 |     1204  12811 |        0 |        0
916.81/917.23	c  917s |      25 |  7818992 |  6247198 |     1204  12831 |        0 |        0
918.81/919.23	c  919s |      25 |  7833123 |  6259098 |     1204  12850 |        0 |        0
920.81/921.24	c  921s |      25 |  7848380 |  6271498 |     1204  12870 |        0 |        0
922.81/923.25	c  923s |      25 |  7863151 |  6283698 |     1204  12889 |        0 |        0
924.81/925.26	c  925s |      25 |  7878583 |  6296098 |     1204  12909 |        0 |        0
926.81/927.26	c  927s |      25 |  7894943 |  6308798 |     1204  12929 |        0 |        0
928.80/929.26	c  929s |      25 |  7911485 |  6322098 |     1204  12951 |        0 |        0
930.80/931.26	c  931s |      25 |  7928599 |  6335298 |     1204  12972 |        0 |        0
932.80/933.27	c  933s |      25 |  7944794 |  6348198 |     1204  12992 |        0 |        0
934.80/935.27	c  935s |      25 |  7962957 |  6361998 |     1204  13015 |        0 |        0
936.81/937.28	c  937s |      25 |  7980599 |  6375598 |     1204  13037 |        0 |        0
938.81/939.28	c  939s |      25 |  7999498 |  6389498 |     1204  13059 |        0 |        0
940.81/941.28	c  941s |      25 |  8015425 |  6402098 |     1204  13079 |        0 |        0
942.81/943.29	c  943s |      25 |  8034927 |  6415798 |     1204  13101 |        0 |        0
944.91/945.30	c  945s |      25 |  8054867 |  6429798 |     1204  13123 |        0 |        0
946.91/947.31	c  947s |      25 |  8074850 |  6443798 |     1204  13146 |        0 |        0
948.91/949.31	c  949s |      25 |  8095396 |  6457898 |     1204  13169 |        0 |        0
950.90/951.32	c  951s |      25 |  8115255 |  6471598 |     1204  13191 |        0 |        0
952.90/953.33	c  953s |      25 |  8133529 |  6484998 |     1204  13212 |        0 |        0
954.90/955.34	c  955s |      25 |  8152978 |  6499298 |     1204  13235 |        0 |        0
956.90/957.35	c  957s |      25 |  8170916 |  6512698 |     1204  13257 |        0 |        0
958.91/959.37	c  959s |      25 |  8187961 |  6525698 |     1204  13277 |        0 |        0
960.90/961.37	c  961s |      25 |  8205343 |  6538798 |     1204  13298 |        0 |        0
962.90/963.38	c  963s |      25 |  8223092 |  6552198 |     1204  13320 |        0 |        0
964.90/965.38	c  965s |      25 |  8241466 |  6565698 |     1204  13342 |        0 |        0
966.90/967.38	c  967s |      25 |  8256955 |  6577898 |     1204  13361 |        0 |        0
968.90/969.39	c  969s |      25 |  8274193 |  6590998 |     1204  13382 |        0 |        0
970.90/971.40	c  971s |      25 |  8292372 |  6604198 |     1204  13403 |        0 |        0
973.00/973.41	c  973s |      25 |  8312143 |  6617598 |     1204  13425 |        0 |        0
975.00/975.41	c  975s |      25 |  8330213 |  6630498 |     1204  13446 |        0 |        0
977.00/977.42	c  977s |      25 |  8346261 |  6642998 |     1204  13466 |        0 |        0
979.00/979.42	c  979s |      25 |  8363909 |  6656798 |     1204  13488 |        0 |        0
980.99/981.43	c  981s |      25 |  8380927 |  6669998 |     1204  13509 |        0 |        0
983.00/983.44	c  983s |      25 |  8397012 |  6682898 |     1204  13530 |        0 |        0
984.99/985.44	c  985s |      25 |  8412546 |  6695598 |     1204  13550 |        0 |        0
986.99/987.45	c  987s |      25 |  8429010 |  6708698 |     1204  13571 |        0 |        0
988.99/989.46	c  989s |      25 |  8445736 |  6721898 |     1204  13592 |        0 |        0
990.99/991.46	c  991s |      25 |  8461681 |  6734998 |     1204  13614 |        0 |        0
993.00/993.47	c  993s |      25 |  8475209 |  6746598 |     1204  13632 |        0 |        0
995.00/995.47	c  995s |      25 |  8490199 |  6758698 |     1204  13652 |        0 |        0
997.00/997.48	c  997s |      25 |  8505165 |  6771298 |     1204  13672 |        0 |        0
999.00/999.49	c  999s |      25 |  8518717 |  6782898 |     1204  13690 |        0 |        0
1001.10/1001.50	c 1001s |      25 |  8535631 |  6796098 |     1204  13711 |        0 |        0
1003.10/1003.50	c 1003s |      25 |  8550212 |  6808098 |     1204  13730 |        0 |        0
1005.10/1005.52	c 1005s |      25 |  8566098 |  6820998 |     1204  13751 |        0 |        0
1007.10/1007.53	c 1007s |      25 |  8579815 |  6832698 |     1204  13770 |        0 |        0
1009.10/1009.53	c 1009s |      25 |  8592298 |  6843698 |     1204  13787 |        0 |        0
1011.10/1011.53	c 1011s |      25 |  8605569 |  6855198 |     1204  13805 |        0 |        0
1013.10/1013.54	c 1013s |      25 |  8619374 |  6867098 |     1204  13824 |        0 |        0
1015.09/1015.55	c 1015s |      25 |  8634016 |  6879398 |     1204  13844 |        0 |        0
1017.10/1017.56	c 1017s |      25 |  8647798 |  6890898 |     1204  13863 |        0 |        0
1019.09/1019.56	c 1019s |      25 |  8661224 |  6902198 |     1204  13881 |        0 |        0
1021.09/1021.58	c 1021s |      25 |  8674072 |  6913398 |     1204  13899 |        0 |        0
1023.09/1023.59	c 1023s |      25 |  8689496 |  6925398 |     1204  13918 |        0 |        0
1025.09/1025.59	c 1025s |      25 |  8707209 |  6938698 |     1204  13939 |        0 |        0
1027.19/1027.60	c 1027s |      25 |  8726411 |  6951998 |     1204  13961 |        0 |        0
1029.20/1029.60	c 1029s |      25 |  8742972 |  6964698 |     1204  13981 |        0 |        0
1031.19/1031.60	c 1031s |      25 |  8760375 |  6977998 |     1204  14002 |        0 |        0
1033.19/1033.61	c 1033s |      25 |  8775151 |  6990098 |     1204  14022 |        0 |        0
1035.19/1035.62	c 1035s |      25 |  8791385 |  7002498 |     1204  14042 |        0 |        0
1037.19/1037.62	c 1037s |      25 |  8808057 |  7015298 |     1204  14062 |        0 |        0
1039.19/1039.62	c 1039s |      25 |  8824598 |  7028198 |     1204  14083 |        0 |        0
1041.19/1041.63	c 1041s |      25 |  8839851 |  7040798 |     1204  14103 |        0 |        0
1043.19/1043.64	c 1043s |      25 |  8856182 |  7053598 |     1204  14123 |        0 |        0
1045.19/1045.64	c 1045s |      25 |  8872557 |  7066498 |     1204  14144 |        0 |        0
1047.19/1047.64	c 1047s |      25 |  8889518 |  7079298 |     1204  14165 |        0 |        0
1049.19/1049.65	c 1049s |      25 |  8907026 |  7092798 |     1204  14186 |        0 |        0
1051.20/1051.66	c 1051s |      25 |  8923293 |  7105498 |     1204  14207 |        0 |        0
1053.19/1053.68	c 1053s |      25 |  8937881 |  7117298 |     1204  14226 |        0 |        0
1055.19/1055.68	c 1055s |      25 |  8952040 |  7129098 |     1204  14244 |        0 |        0
1057.19/1057.69	c 1057s |      25 |  8963951 |  7139698 |     1204  14261 |        0 |        0
1059.29/1059.70	c 1059s |      25 |  8977588 |  7150998 |     1204  14279 |        0 |        0
1061.29/1061.71	c 1061s |      25 |  8991375 |  7162398 |     1204  14298 |        0 |        0
1063.29/1063.72	c 1063s |      25 |  9008095 |  7175198 |     1204  14318 |        0 |        0
1065.29/1065.73	c 1065s |      25 |  9025175 |  7187898 |     1204  14339 |        0 |        0
1067.28/1067.75	c 1067s |      25 |  9041329 |  7200598 |     1204  14359 |        0 |        0
1069.28/1069.76	c 1069s |      25 |  9058469 |  7213198 |     1204  14379 |        0 |        0
1071.28/1071.77	c 1071s |      25 |  9076266 |  7226898 |     1204  14401 |        0 |        0
1073.29/1073.78	c 1073s |      25 |  9093872 |  7240298 |     1204  14423 |        0 |        0
1075.28/1075.79	c 1075s |      25 |  9110708 |  7253198 |     1204  14443 |        0 |        0
1077.38/1077.80	c 1077s |      25 |  9127511 |  7266198 |     1204  14464 |        0 |        0
1079.39/1079.81	c 1079s |      25 |  9143808 |  7279298 |     1204  14485 |        0 |        0
1081.39/1081.81	c 1081s |      25 |  9159752 |  7291898 |     1204  14506 |        0 |        0
1083.39/1083.82	c 1083s |      25 |  9176017 |  7304898 |     1204  14527 |        0 |        0
1085.39/1085.83	c 1085s |      25 |  9194381 |  7318598 |     1204  14549 |        0 |        0
1087.38/1087.84	c 1087s |      25 |  9211322 |  7331798 |     1204  14570 |        0 |        0
1089.38/1089.84	c 1089s |      25 |  9228456 |  7345098 |     1204  14591 |        0 |        0
1091.38/1091.84	c 1091s |      25 |  9244167 |  7357898 |     1204  14612 |        0 |        0
1093.38/1093.85	c 1093s |      25 |  9259835 |  7370398 |     1204  14632 |        0 |        0
1095.38/1095.86	c 1095s |      25 |  9273741 |  7382398 |     1204  14651 |        0 |        0
1097.39/1097.86	c 1097s |      25 |  9286778 |  7393798 |     1204  14670 |        0 |        0
1099.38/1099.87	c 1099s |      25 |  9301310 |  7405798 |     1204  14689 |        0 |        0
1101.38/1101.89	c 1101s |      25 |  9313938 |  7416998 |     1204  14707 |        0 |        0
1103.48/1103.90	c 1103s |      25 |  9326057 |  7427898 |     1204  14724 |        0 |        0
1105.48/1105.91	c 1105s |      25 |  9339053 |  7439198 |     1204  14742 |        0 |        0
1107.48/1107.92	c 1107s |      25 |  9351323 |  7450098 |     1204  14760 |        0 |        0
1109.49/1109.94	c 1109s |      25 |  9364377 |  7461498 |     1204  14778 |        0 |        0
1111.48/1111.94	c 1111s |      25 |  9378057 |  7473098 |     1204  14797 |        0 |        0
1113.48/1113.95	c 1113s |      25 |  9392687 |  7485398 |     1204  14816 |        0 |        0
1115.48/1115.97	c 1115s |      25 |  9406602 |  7497098 |     1204  14835 |        0 |        0
1117.48/1117.98	c 1117s |      25 |  9419848 |  7508598 |     1204  14854 |        0 |        0
1119.48/1119.98	c 1119s |      25 |  9433050 |  7519898 |     1204  14872 |        0 |        0
1121.48/1122.00	c 1121s |      25 |  9445273 |  7530598 |     1204  14889 |        0 |        0
1123.58/1124.02	c 1124s |      25 |  9458553 |  7542198 |     1204  14908 |        0 |        0
1125.57/1126.03	c 1126s |      25 |  9470588 |  7552798 |     1325  14923 |        0 |        0
1127.57/1128.03	c 1128s |      25 |  9482605 |  7563298 |     1325  14938 |        0 |        0
1129.57/1130.03	c 1130s |      25 |  9495062 |  7574198 |     1325  14954 |        0 |        0
1131.58/1132.05	c 1132s |      25 |  9506417 |  7584598 |     1325  14970 |        0 |        0
1133.57/1134.05	c 1134s |      25 |  9517910 |  7594998 |     1325  14985 |        0 |        0
1134.07/1134.55	c 1134s |      26 |  9521205 |  7597752 |     1325  14989 |        0 |        0
1136.07/1136.56	c 1136s |      26 |  9533585 |  7608452 |     1325  15005 |        0 |        0
1138.08/1138.58	c 1138s |      26 |  9547773 |  7620152 |     1325  15022 |        0 |        0
1140.07/1140.59	c 1140s |      26 |  9560808 |  7631452 |     1325  15038 |        0 |        0
1142.17/1142.60	c 1142s |      26 |  9575105 |  7643552 |     1325  15056 |        0 |        0
1144.17/1144.60	c 1144s |      26 |  9589546 |  7655252 |     1325  15073 |        0 |        0
1146.17/1146.61	c 1146s |      26 |  9604346 |  7667552 |     1325  15091 |        0 |        0
1148.17/1148.62	c 1148s |      26 |  9619033 |  7679552 |     1325  15108 |        0 |        0
1150.18/1150.62	c 1150s |      26 |  9633922 |  7691352 |     1325  15126 |        0 |        0
1152.17/1152.63	c 1152s |      26 |  9649347 |  7703652 |     1325  15144 |        0 |        0
1154.17/1154.65	c 1154s |      26 |  9662403 |  7714952 |     1325  15160 |        0 |        0
1156.17/1156.65	c 1156s |      26 |  9676426 |  7726352 |     1325  15177 |        0 |        0
1158.17/1158.67	c 1158s |      26 |  9691780 |  7738252 |     1325  15194 |        0 |        0
1160.18/1160.68	c 1160s |      26 |  9706229 |  7749852 |     1325  15211 |        0 |        0
1162.18/1162.69	c 1162s |      26 |  9722633 |  7762152 |     1325  15229 |        0 |        0
1164.18/1164.69	c 1164s |      26 |  9737957 |  7773852 |     1325  15246 |        0 |        0
1166.27/1166.70	c 1166s |      26 |  9749493 |  7784352 |     1325  15262 |        0 |        0
1168.27/1168.71	c 1168s |      26 |  9762885 |  7795552 |     1325  15278 |        0 |        0
1170.27/1170.71	c 1170s |      26 |  9774515 |  7805852 |     1325  15293 |        0 |        0
1172.28/1172.72	c 1172s |      26 |  9787906 |  7816752 |     1325  15309 |        0 |        0
1174.27/1174.72	c 1174s |      26 |  9802028 |  7828152 |     1325  15326 |        0 |        0
1176.27/1176.74	c 1176s |      26 |  9815156 |  7839452 |     1325  15342 |        0 |        0
1178.27/1178.74	c 1178s |      26 |  9829825 |  7851452 |     1325  15360 |        0 |        0
1180.27/1180.76	c 1180s |      26 |  9842581 |  7862352 |     1325  15376 |        0 |        0
1182.27/1182.77	c 1182s |      26 |  9856040 |  7873452 |     1325  15392 |        0 |        0
1184.28/1184.77	c 1184s |      26 |  9868856 |  7884152 |     1325  15408 |        0 |        0
1186.27/1186.79	c 1186s |      26 |  9882272 |  7895152 |     1325  15424 |        0 |        0
1188.37/1188.80	c 1188s |      26 |  9895824 |  7906152 |     1325  15440 |        0 |        0
1190.37/1190.82	c 1190s |      26 |  9909719 |  7917552 |     1325  15457 |        0 |        0
1192.37/1192.82	c 1192s |      26 |  9922996 |  7928752 |     1325  15473 |        0 |        0
1194.37/1194.83	c 1194s |      26 |  9936279 |  7939852 |     1325  15490 |        0 |        0
1196.37/1196.84	c 1196s |      26 |  9950802 |  7952052 |     1325  15507 |        0 |        0
1198.36/1198.85	c 1198s |      26 |  9964224 |  7963452 |     1325  15524 |        0 |        0
1200.36/1200.86	c 1200s |      26 |  9979290 |  7975552 |     1325  15542 |        0 |        0
1202.36/1202.88	c 1202s |      26 |  9991457 |  7986052 |     1325  15557 |        0 |        0
1204.36/1204.88	c 1204s |      26 | 10005323 |  7997352 |     1325  15574 |        0 |        0
1206.37/1206.90	c 1206s |      26 | 10018774 |  8008752 |     1325  15591 |        0 |        0
1208.36/1208.90	c 1208s |      26 | 10031784 |  8020052 |     1325  15607 |        0 |        0
1210.46/1210.91	c 1210s |      26 | 10045565 |  8031652 |     1325  15624 |        0 |        0
1212.47/1212.92	c 1212s |      26 | 10057928 |  8042452 |     1325  15640 |        0 |        0
1214.47/1214.92	c 1214s |      26 | 10071326 |  8053652 |     1325  15657 |        0 |        0
1216.47/1216.93	c 1216s |      26 | 10083793 |  8064452 |     1325  15673 |        0 |        0
1218.47/1218.94	c 1218s |      26 | 10096483 |  8075152 |     1325  15688 |        0 |        0
1220.46/1220.94	c 1220s |      26 | 10109849 |  8086252 |     1325  15705 |        0 |        0
1222.46/1222.94	c 1222s |      26 | 10123183 |  8097452 |     1325  15721 |        0 |        0
1224.46/1224.96	c 1224s |      26 | 10135312 |  8107952 |     1325  15736 |        0 |        0
1226.46/1226.98	c 1226s |      26 | 10150092 |  8119852 |     1325  15754 |        0 |        0
1228.46/1228.99	c 1228s |      26 | 10163861 |  8131352 |     1325  15771 |        0 |        0
1230.57/1231.00	c 1230s |      26 | 10180108 |  8143852 |     1325  15789 |        0 |        0
1232.56/1233.01	c 1233s |      26 | 10193723 |  8154952 |     1325  15805 |        0 |        0
1234.56/1235.02	c 1235s |      26 | 10206752 |  8165952 |     1325  15821 |        0 |        0
1236.56/1237.03	c 1237s |      26 | 10220312 |  8177252 |     1325  15838 |        0 |        0
1238.56/1239.03	c 1239s |      26 | 10233423 |  8188252 |     1325  15854 |        0 |        0
1240.56/1241.04	c 1241s |      26 | 10246114 |  8199352 |     1325  15870 |        0 |        0
1242.56/1243.05	c 1243s |      26 | 10258499 |  8210152 |     1325  15886 |        0 |        0
1244.56/1245.06	c 1245s |      26 | 10271463 |  8221152 |     1325  15902 |        0 |        0
1246.56/1247.06	c 1247s |      26 | 10283829 |  8231752 |     1325  15918 |        0 |        0
1248.56/1249.08	c 1249s |      26 | 10298361 |  8243352 |     1325  15935 |        0 |        0
1250.55/1251.09	c 1251s |      26 | 10311579 |  8254652 |     1325  15951 |        0 |        0
1252.56/1253.10	c 1253s |      26 | 10324654 |  8265652 |     1325  15968 |        0 |        0
1254.66/1255.11	c 1255s |      26 | 10338992 |  8277152 |     1325  15985 |        0 |        0
1256.65/1257.13	c 1257s |      26 | 10353229 |  8288552 |     1325  16001 |        0 |        0
1258.65/1259.14	c 1259s |      26 | 10365663 |  8298952 |     1325  16016 |        0 |        0
1260.65/1261.14	c 1261s |      26 | 10376239 |  8308452 |     1325  16030 |        0 |        0
1262.65/1263.14	c 1263s |      26 | 10387799 |  8318752 |     1325  16045 |        0 |        0
1264.66/1265.14	c 1265s |      26 | 10399728 |  8329252 |     1325  16061 |        0 |        0
1266.65/1267.15	c 1267s |      26 | 10411949 |  8339852 |     1325  16076 |        0 |        0
1268.65/1269.15	c 1269s |      26 | 10424310 |  8350452 |     1325  16092 |        0 |        0
1270.65/1271.15	c 1271s |      26 | 10437573 |  8361552 |     1325  16108 |        0 |        0
1272.65/1273.16	c 1273s |      26 | 10450282 |  8372452 |     1325  16124 |        0 |        0
1274.65/1275.17	c 1275s |      26 | 10464345 |  8383952 |     1325  16141 |        0 |        0
1276.66/1277.18	c 1277s |      26 | 10478148 |  8395452 |     1325  16158 |        0 |        0
1278.65/1279.19	c 1279s |      26 | 10492286 |  8406952 |     1325  16175 |        0 |        0
1280.65/1281.19	c 1281s |      26 | 10507376 |  8418952 |     1325  16192 |        0 |        0
1282.75/1283.20	c 1283s |      26 | 10521261 |  8430452 |     1325  16209 |        0 |        0
1284.75/1285.20	c 1285s |      26 | 10535935 |  8442352 |     1325  16226 |        0 |        0
1286.75/1287.20	c 1287s |      26 | 10549952 |  8453752 |     1325  16243 |        0 |        0
1288.75/1289.21	c 1289s |      26 | 10563332 |  8465052 |     1325  16260 |        0 |        0
1290.75/1291.23	c 1291s |      26 | 10577888 |  8477152 |     1325  16278 |        0 |        0
1292.75/1293.24	c 1293s |      26 | 10593080 |  8489452 |     1325  16296 |        0 |        0
1294.75/1295.25	c 1295s |      26 | 10607790 |  8501552 |     1325  16314 |        0 |        0
1296.75/1297.26	c 1297s |      26 | 10623890 |  8514252 |     1325  16332 |        0 |        0
1298.76/1299.27	c 1299s |      26 | 10638917 |  8526552 |     1325  16350 |        0 |        0
1300.75/1301.29	c 1301s |      26 | 10654440 |  8538952 |     1325  16369 |        0 |        0
1302.85/1303.30	c 1303s |      26 | 10669759 |  8551552 |     1325  16387 |        0 |        0
1304.85/1305.31	c 1305s |      26 | 10686749 |  8564752 |     1325  16407 |        0 |        0
1306.85/1307.32	c 1307s |      26 | 10703223 |  8577652 |     1325  16426 |        0 |        0
1308.85/1309.32	c 1309s |      26 | 10718366 |  8589952 |     1325  16444 |        0 |        0
1310.86/1311.32	c 1311s |      26 | 10731843 |  8601352 |     1325  16460 |        0 |        0
1312.85/1313.32	c 1313s |      26 | 10746303 |  8613152 |     1325  16478 |        0 |        0
1314.85/1315.32	c 1315s |      26 | 10761135 |  8625052 |     1325  16495 |        0 |        0
1316.85/1317.33	c 1317s |      26 | 10774429 |  8636052 |     1325  16512 |        0 |        0
1318.85/1319.34	c 1319s |      26 | 10787831 |  8647352 |     1325  16528 |        0 |        0
1320.85/1321.35	c 1321s |      26 | 10802714 |  8659152 |     1325  16546 |        0 |        0
1322.85/1323.36	c 1323s |      26 | 10817828 |  8671452 |     1325  16564 |        0 |        0
1324.85/1325.38	c 1325s |      26 | 10831355 |  8683052 |     1325  16581 |        0 |        0
1326.85/1327.39	c 1327s |      26 | 10844531 |  8694552 |     1325  16597 |        0 |        0
1328.95/1329.40	c 1329s |      26 | 10857340 |  8705752 |     1325  16614 |        0 |        0
1330.94/1331.41	c 1331s |      26 | 10870762 |  8716752 |     1325  16630 |        0 |        0
1332.94/1333.42	c 1333s |      26 | 10884840 |  8727952 |     1325  16646 |        0 |        0
1334.95/1335.43	c 1335s |      26 | 10897063 |  8738252 |     1325  16661 |        0 |        0
1336.94/1337.44	c 1337s |      26 | 10911190 |  8749152 |     1325  16677 |        0 |        0
1338.94/1339.45	c 1339s |      26 | 10924675 |  8760052 |     1325  16693 |        0 |        0
1340.94/1341.45	c 1341s |      26 | 10937730 |  8770852 |     1325  16709 |        0 |        0
1342.94/1343.47	c 1343s |      26 | 10950859 |  8781952 |     1325  16726 |        0 |        0
1344.95/1345.48	c 1345s |      26 | 10963523 |  8792452 |     1325  16741 |        0 |        0
1346.95/1347.49	c 1347s |      26 | 10977237 |  8803452 |     1325  16757 |        0 |        0
1349.05/1349.50	c 1349s |      26 | 10990631 |  8814252 |     1325  16773 |        0 |        0
1351.05/1351.50	c 1351s |      26 | 11002641 |  8824352 |     1325  16788 |        0 |        0
1353.05/1353.51	c 1353s |      26 | 11015670 |  8834952 |     1325  16803 |        0 |        0
1355.05/1355.52	c 1355s |      26 | 11032222 |  8846952 |     1325  16821 |        0 |        0
1357.05/1357.52	c 1357s |      26 | 11046435 |  8858352 |     1325  16838 |        0 |        0
1359.04/1359.53	c 1359s |      26 | 11062834 |  8870052 |     1325  16855 |        0 |        0
1361.04/1361.54	c 1361s |      26 | 11077087 |  8881452 |     1325  16871 |        0 |        0
1363.04/1363.55	c 1363s |      26 | 11091092 |  8892752 |     1325  16888 |        0 |        0
1365.04/1365.55	c 1365s |      26 | 11103253 |  8903352 |     1325  16903 |        0 |        0
1367.04/1367.57	c 1367s |      26 | 11116298 |  8914552 |     1325  16920 |        0 |        0
1369.05/1369.57	c 1369s |      26 | 11129819 |  8925652 |     1325  16936 |        0 |        0
1371.04/1371.58	c 1371s |      26 | 11144288 |  8937252 |     1325  16953 |        0 |        0
1373.14/1373.60	c 1373s |      26 | 11156627 |  8947952 |     1325  16969 |        0 |        0
1375.14/1375.60	c 1375s |      26 | 11170057 |  8959452 |     1325  16985 |        0 |        0
1377.14/1377.61	c 1377s |      26 | 11183448 |  8970652 |     1325  17002 |        0 |        0
1379.14/1379.62	c 1379s |      26 | 11196502 |  8981752 |     1325  17018 |        0 |        0
1381.15/1381.64	c 1381s |      26 | 11210463 |  8993552 |     1325  17036 |        0 |        0
1383.14/1383.65	c 1383s |      26 | 11224725 |  9005552 |     1325  17053 |        0 |        0
1385.14/1385.66	c 1385s |      26 | 11237879 |  9016752 |     1325  17070 |        0 |        0
1387.14/1387.67	c 1387s |      26 | 11250255 |  9027352 |     1325  17085 |        0 |        0
1389.14/1389.68	c 1389s |      26 | 11262601 |  9037952 |     1325  17101 |        0 |        0
1391.14/1391.69	c 1391s |      26 | 11274835 |  9048552 |     1325  17116 |        0 |        0
1393.14/1393.70	c 1393s |      26 | 11288053 |  9059552 |     1325  17132 |        0 |        0
1395.24/1395.72	c 1395s |      26 | 11300880 |  9070352 |     1325  17148 |        0 |        0
1397.24/1397.72	c 1397s |      26 | 11314949 |  9081952 |     1325  17165 |        0 |        0
1399.24/1399.73	c 1399s |      26 | 11327464 |  9092652 |     1325  17180 |        0 |        0
1401.24/1401.73	c 1401s |      26 | 11340964 |  9103852 |     1325  17197 |        0 |        0
1403.24/1403.74	c 1403s |      26 | 11354865 |  9115252 |     1325  17213 |        0 |        0
1405.23/1405.75	c 1405s |      26 | 11368833 |  9126552 |     1325  17230 |        0 |        0
1407.23/1407.76	c 1407s |      26 | 11382223 |  9137752 |     1325  17246 |        0 |        0
1409.23/1409.78	c 1409s |      26 | 11395073 |  9148852 |     1325  17262 |        0 |        0
1411.23/1411.79	c 1411s |      26 | 11409687 |  9160952 |     1325  17280 |        0 |        0
1413.33/1413.80	c 1413s |      26 | 11423321 |  9172252 |     1325  17297 |        0 |        0
1415.34/1415.81	c 1415s |      26 | 11436410 |  9183452 |     1325  17313 |        0 |        0
1417.33/1417.82	c 1417s |      26 | 11450446 |  9195252 |     1325  17330 |        0 |        0
1419.33/1419.83	c 1419s |      26 | 11463620 |  9206652 |     1325  17347 |        0 |        0
1421.33/1421.83	c 1421s |      26 | 11475001 |  9216652 |     1325  17361 |        0 |        0
1423.33/1423.84	c 1423s |      26 | 11488203 |  9227852 |     1325  17378 |        0 |        0
1425.33/1425.86	c 1425s |      26 | 11502754 |  9239852 |     1325  17396 |        0 |        0
1427.34/1427.86	c 1427s |      26 | 11515934 |  9251352 |     1325  17412 |        0 |        0
1429.33/1429.87	c 1429s |      26 | 11529038 |  9262752 |     1325  17429 |        0 |        0
1431.33/1431.89	c 1431s |      26 | 11542998 |  9274452 |     1325  17446 |        0 |        0
1433.33/1433.89	c 1433s |      26 | 11556904 |  9286052 |     1325  17463 |        0 |        0
1435.43/1435.90	c 1435s |      26 | 11571150 |  9298052 |     1325  17481 |        0 |        0
1437.43/1437.91	c 1437s |      26 | 11584038 |  9309252 |     1325  17497 |        0 |        0
1439.43/1439.91	c 1439s |      26 | 11596815 |  9320352 |     1325  17513 |        0 |        0
1441.43/1441.92	c 1441s |      26 | 11609640 |  9331352 |     1325  17530 |        0 |        0
1443.43/1443.94	c 1443s |      26 | 11624133 |  9343452 |     1325  17547 |        0 |        0
1445.43/1445.95	c 1445s |      26 | 11638843 |  9355452 |     1325  17565 |        0 |        0
1447.42/1447.96	c 1447s |      26 | 11651970 |  9366852 |     1325  17582 |        0 |        0
1449.43/1449.96	c 1449s |      26 | 11666119 |  9378752 |     1325  17599 |        0 |        0
1451.42/1451.97	c 1451s |      26 | 11679431 |  9389952 |     1325  17616 |        0 |        0
1453.42/1453.99	c 1453s |      26 | 11694114 |  9401952 |     1325  17633 |        0 |        0
1455.42/1455.99	c 1455s |      26 | 11708480 |  9413752 |     1325  17651 |        0 |        0
1457.52/1458.01	c 1458s |      26 | 11723408 |  9425852 |     1325  17668 |        0 |        0
1459.52/1460.03	c 1460s |      26 | 11736982 |  9437052 |     1325  17685 |        0 |        0
1461.53/1462.04	c 1462s |      26 | 11749509 |  9447752 |     1325  17700 |        0 |        0
1463.52/1464.05	c 1464s |      26 | 11761796 |  9458352 |     1325  17716 |        0 |        0
1465.52/1466.05	c 1466s |      26 | 11774669 |  9469352 |     1325  17732 |        0 |        0
1467.52/1468.07	c 1468s |      26 | 11788147 |  9480752 |     1325  17749 |        0 |        0
1469.52/1470.08	c 1470s |      26 | 11801804 |  9491852 |     1325  17765 |        0 |        0
1471.52/1472.08	c 1472s |      26 | 11815411 |  9503152 |     1325  17782 |        0 |        0
1473.53/1474.09	c 1474s |      26 | 11828229 |  9514152 |     1325  17798 |        0 |        0
1475.62/1476.10	c 1476s |      26 | 11841689 |  9525352 |     1325  17814 |        0 |        0
1477.62/1478.10	c 1478s |      26 | 11853556 |  9535852 |     1325  17830 |        0 |        0
1479.62/1480.11	c 1480s |      26 | 11867046 |  9546852 |     1325  17846 |        0 |        0
1481.62/1482.12	c 1482s |      26 | 11881485 |  9558652 |     1325  17863 |        0 |        0
1483.63/1484.13	c 1484s |      26 | 11895183 |  9569852 |     1325  17880 |        0 |        0
1485.63/1486.14	c 1486s |      26 | 11908047 |  9580852 |     1325  17896 |        0 |        0
1487.63/1488.15	c 1488s |      26 | 11921059 |  9592252 |     1325  17912 |        0 |        0
1489.63/1490.16	c 1490s |      26 | 11934784 |  9603652 |     1325  17929 |        0 |        0
1491.63/1492.16	c 1492s |      26 | 11950522 |  9615952 |     1325  17947 |        0 |        0
1493.62/1494.18	c 1494s |      26 | 11964711 |  9627252 |     1325  17964 |        0 |        0
1495.72/1496.20	c 1496s |      26 | 11978246 |  9638252 |     1325  17980 |        0 |        0
1497.73/1498.21	c 1498s |      26 | 11992523 |  9649752 |     1325  17996 |        0 |        0
1499.72/1500.21	c 1500s |      26 | 12006959 |  9661252 |     1325  18013 |        0 |        0
1501.72/1502.22	c 1502s |      26 | 12021224 |  9672952 |     1325  18031 |        0 |        0
1503.72/1504.22	c 1504s |      26 | 12035601 |  9684752 |     1325  18048 |        0 |        0
1505.72/1506.23	c 1506s |      26 | 12048539 |  9696052 |     1325  18064 |        0 |        0
1507.73/1508.25	c 1508s |      26 | 12061111 |  9707052 |     1325  18081 |        0 |        0
1509.72/1510.26	c 1510s |      26 | 12073793 |  9718152 |     1325  18097 |        0 |        0
1511.72/1512.26	c 1512s |      26 | 12089315 |  9730452 |     1325  18115 |        0 |        0
1513.72/1514.27	c 1514s |      26 | 12104915 |  9742852 |     1325  18133 |        0 |        0
1515.72/1516.29	c 1516s |      26 | 12121683 |  9755952 |     1325  18153 |        0 |        0
1517.72/1518.29	c 1518s |      26 | 12137674 |  9768652 |     1325  18171 |        0 |        0
1519.72/1520.30	c 1520s |      26 | 12154304 |  9781352 |     1325  18190 |        0 |        0
1521.82/1522.31	c 1522s |      26 | 12169562 |  9793352 |     1325  18207 |        0 |        0
1523.82/1524.31	c 1524s |      26 | 12182982 |  9804652 |     1325  18224 |        0 |        0
1525.82/1526.32	c 1526s |      26 | 12196774 |  9815952 |     1325  18241 |        0 |        0
1527.81/1528.32	c 1528s |      26 | 12211397 |  9827952 |     1325  18258 |        0 |        0
1529.81/1530.32	c 1530s |      26 | 12226198 |  9839952 |     1325  18276 |        0 |        0
1531.82/1532.34	c 1532s |      26 | 12241377 |  9852452 |     1325  18294 |        0 |        0
1533.81/1534.34	c 1534s |      26 | 12253839 |  9863352 |     1325  18310 |        0 |        0
1535.81/1536.35	c 1536s |      26 | 12268929 |  9875552 |     1325  18328 |        0 |        0
1537.81/1538.35	c 1538s |      26 | 12282927 |  9887452 |     1325  18345 |        0 |        0
1539.81/1540.37	c 1540s |      26 | 12297866 |  9899352 |     1325  18363 |        0 |        0
1541.82/1542.38	c 1542s |      26 | 12311842 |  9910852 |     1325  18380 |        0 |        0
1543.81/1544.38	c 1544s |      26 | 12326032 |  9922252 |     1325  18397 |        0 |        0
1545.81/1546.38	c 1546s |      26 | 12339185 |  9933352 |     1325  18413 |        0 |        0
1547.82/1548.39	c 1548s |      26 | 12353403 |  9945352 |     1325  18430 |        0 |        0
1549.92/1550.40	c 1550s |      26 | 12367381 |  9957152 |     1325  18448 |        0 |        0
1551.92/1552.40	c 1552s |      26 | 12381842 |  9969052 |     1325  18465 |        0 |        0
1553.92/1554.41	c 1554s |      26 | 12397039 |  9981052 |     1325  18483 |        0 |        0
1555.91/1556.42	c 1556s |      26 | 12411161 |  9992952 |     1325  18500 |        0 |        0
1557.91/1558.43	c 1558s |      26 | 12427289 | 10005652 |     1325  18519 |        0 |        0
1559.91/1560.43	c 1560s |      26 | 12442782 | 10017852 |     1325  18537 |        0 |        0
1561.91/1562.43	c 1562s |      26 | 12458039 | 10029752 |     1325  18554 |        0 |        0
1563.91/1564.45	c 1564s |      26 | 12472117 | 10041452 |     1325  18571 |        0 |        0
1565.92/1566.46	c 1566s |      26 | 12486862 | 10053352 |     1325  18589 |        0 |        0
1567.91/1568.46	c 1568s |      26 | 12501889 | 10065252 |     1325  18607 |        0 |        0
1569.91/1570.48	c 1570s |      26 | 12516185 | 10076952 |     1325  18624 |        0 |        0
1571.91/1572.48	c 1572s |      26 | 12530505 | 10088552 |     1325  18641 |        0 |        0
1574.01/1574.50	c 1574s |      26 | 12545105 | 10100452 |     1325  18658 |        0 |        0
1576.01/1576.50	c 1576s |      26 | 12558177 | 10111652 |     1325  18675 |        0 |        0
1577.91/1578.50	c 1578s |      26 | 12572058 | 10123352 |     1325  18692 |        0 |        0
1580.00/1580.51	c 1580s |      26 | 12585369 | 10134752 |     1325  18709 |        0 |        0
1582.00/1582.51	c 1582s |      26 | 12599282 | 10146252 |     1325  18726 |        0 |        0
1584.00/1584.52	c 1584s |      26 | 12614010 | 10158552 |     1325  18744 |        0 |        0
1586.00/1586.53	c 1586s |      26 | 12628773 | 10170552 |     1325  18761 |        0 |        0
1588.01/1588.54	c 1588s |      26 | 12640964 | 10181352 |     1325  18777 |        0 |        0
1590.01/1590.56	c 1590s |      26 | 12653588 | 10192352 |     1325  18794 |        0 |        0
1592.01/1592.58	c 1592s |      26 | 12665255 | 10202852 |     1325  18809 |        0 |        0
1594.01/1594.59	c 1594s |      26 | 12679249 | 10214452 |     1325  18826 |        0 |        0
1596.01/1596.59	c 1596s |      26 | 12693945 | 10226352 |     1325  18843 |        0 |        0
1598.11/1598.60	c 1598s |      26 | 12706169 | 10237152 |     1325  18859 |        0 |        0
1600.11/1600.61	c 1600s |      26 | 12720541 | 10248852 |     1325  18876 |        0 |        0
1602.11/1602.62	c 1602s |      26 | 12735156 | 10260852 |     1325  18894 |        0 |        0
1604.11/1604.62	c 1604s |      26 | 12748689 | 10272152 |     1325  18911 |        0 |        0
1606.10/1606.62	c 1606s |      26 | 12761240 | 10283052 |     1325  18927 |        0 |        0
1608.10/1608.63	c 1608s |      26 | 12773717 | 10293752 |     1325  18943 |        0 |        0
1610.10/1610.64	c 1610s |      26 | 12786315 | 10304852 |     1325  18959 |        0 |        0
1612.11/1612.65	c 1612s |      26 | 12799977 | 10316352 |     1325  18976 |        0 |        0
1614.10/1614.65	c 1614s |      26 | 12814274 | 10328052 |     1325  18993 |        0 |        0
1616.10/1616.66	c 1616s |      26 | 12827166 | 10338952 |     1325  19009 |        0 |        0
1618.10/1618.66	c 1618s |      26 | 12840816 | 10350252 |     1325  19026 |        0 |        0
1620.10/1620.67	c 1620s |      26 | 12852781 | 10360552 |     1325  19041 |        0 |        0
1622.11/1622.68	c 1622s |      26 | 12866134 | 10371552 |     1325  19057 |        0 |        0
1624.10/1624.70	c 1624s |      26 | 12879111 | 10382652 |     1325  19073 |        0 |        0
1626.20/1626.71	c 1626s |      26 | 12892394 | 10394052 |     1325  19090 |        0 |        0
1628.20/1628.72	c 1628s |      26 | 12905192 | 10405052 |     1325  19107 |        0 |        0
1630.20/1630.73	c 1630s |      26 | 12917663 | 10415852 |     1325  19122 |        0 |        0
1632.20/1632.75	c 1632s |      26 | 12930075 | 10426552 |     1325  19138 |        0 |        0
1634.20/1634.76	c 1634s |      26 | 12943367 | 10437452 |     1325  19154 |        0 |        0
1636.20/1636.78	c 1636s |      26 | 12955683 | 10447852 |     1325  19170 |        0 |        0
1638.19/1638.78	c 1638s |      26 | 12969522 | 10459252 |     1325  19186 |        0 |        0
1640.19/1640.78	c 1640s |      26 | 12982584 | 10470552 |     1325  19203 |        0 |        0
1642.19/1642.79	c 1642s |      26 | 12995339 | 10481552 |     1325  19219 |        0 |        0
1644.29/1644.80	c 1644s |      26 | 13008113 | 10492552 |     1325  19235 |        0 |        0
1646.31/1646.82	c 1646s |      26 | 13020483 | 10503052 |     1325  19251 |        0 |        0
1648.30/1648.83	c 1648s |      26 | 13033181 | 10513852 |     1325  19267 |        0 |        0
1650.30/1650.84	c 1650s |      26 | 13045737 | 10524552 |     1325  19283 |        0 |        0
1652.30/1652.86	c 1652s |      26 | 13058698 | 10535452 |     1325  19299 |        0 |        0
1654.30/1654.87	c 1654s |      26 | 13073565 | 10547752 |     1325  19317 |        0 |        0
1656.30/1656.87	c 1656s |      26 | 13089678 | 10560552 |     1325  19336 |        0 |        0
1658.30/1658.89	c 1658s |      26 | 13104156 | 10572652 |     1325  19354 |        0 |        0
1660.39/1660.90	c 1660s |      26 | 13117524 | 10584052 |     1325  19370 |        0 |        0
1662.39/1662.90	c 1662s |      26 | 13129476 | 10594552 |     1325  19385 |        0 |        0
1664.39/1664.92	c 1664s |      26 | 13142384 | 10605552 |     1325  19402 |        0 |        0
1666.39/1666.92	c 1666s |      26 | 13157924 | 10618152 |     1325  19420 |        0 |        0
1668.39/1668.93	c 1668s |      26 | 13173023 | 10630352 |     1325  19438 |        0 |        0
1670.40/1670.93	c 1670s |      26 | 13189304 | 10642952 |     1325  19457 |        0 |        0
1672.39/1672.94	c 1672s |      26 | 13203779 | 10654652 |     1325  19474 |        0 |        0
1674.39/1674.96	c 1674s |      26 | 13219227 | 10666952 |     1325  19492 |        0 |        0
1676.39/1676.96	c 1676s |      26 | 13234129 | 10678952 |     1325  19510 |        0 |        0
1678.39/1678.97	c 1678s |      26 | 13249243 | 10691152 |     1325  19527 |        0 |        0
1680.39/1680.97	c 1680s |      26 | 13264392 | 10703252 |     1325  19545 |        0 |        0
1682.39/1682.98	c 1682s |      26 | 13279311 | 10715352 |     1325  19563 |        0 |        0
1684.49/1685.00	c 1684s |      26 | 13293264 | 10727052 |     1325  19580 |        0 |        0
1686.50/1687.00	c 1686s |      26 | 13307717 | 10738952 |     1325  19598 |        0 |        0
1688.49/1689.00	c 1688s |      26 | 13321347 | 10750252 |     1325  19614 |        0 |        0
1690.49/1691.01	c 1690s |      26 | 13336499 | 10762352 |     1325  19632 |        0 |        0
1692.50/1693.01	c 1692s |      26 | 13350039 | 10773652 |     1325  19649 |        0 |        0
1694.49/1695.02	c 1695s |      26 | 13363315 | 10784852 |     1325  19665 |        0 |        0
1696.49/1697.03	c 1697s |      26 | 13377629 | 10796352 |     1325  19682 |        0 |        0
1698.49/1699.04	c 1699s |      26 | 13391471 | 10807452 |     1325  19698 |        0 |        0
1700.49/1701.05	c 1701s |      26 | 13405458 | 10818752 |     1325  19715 |        0 |        0
1702.49/1703.07	c 1703s |      26 | 13418707 | 10829752 |     1325  19731 |        0 |        0
1704.50/1705.08	c 1705s |      26 | 13434373 | 10842252 |     1325  19749 |        0 |        0
1706.49/1707.08	c 1707s |      26 | 13448435 | 10853952 |     1325  19766 |        0 |        0
1708.49/1709.08	c 1709s |      26 | 13462137 | 10865252 |     1325  19783 |        0 |        0
1710.49/1711.08	c 1711s |      26 | 13477063 | 10876952 |     1325  19800 |        0 |        0
1712.49/1713.09	c 1713s |      26 | 13492102 | 10888952 |     1325  19818 |        0 |        0
1714.59/1715.10	c 1715s |      26 | 13505289 | 10900252 |     1325  19834 |        0 |        0
1716.59/1717.11	c 1717s |      26 | 13519486 | 10911852 |     1325  19851 |        0 |        0
1718.58/1719.12	c 1719s |      26 | 13533043 | 10923252 |     1325  19868 |        0 |        0
1720.58/1721.12	c 1721s |      26 | 13545516 | 10934052 |     1325  19884 |        0 |        0
1722.58/1723.14	c 1723s |      26 | 13557587 | 10944352 |     1325  19899 |        0 |        0
1724.58/1725.14	c 1725s |      26 | 13570495 | 10955352 |     1325  19915 |        0 |        0
1726.59/1727.14	c 1727s |      26 | 13582831 | 10966252 |     1325  19930 |        0 |        0
1728.58/1729.16	c 1729s |      26 | 13596190 | 10977352 |     1325  19946 |        0 |        0
1730.58/1731.17	c 1731s |      26 | 13608409 | 10987752 |     1325  19961 |        0 |        0
1732.58/1733.17	c 1733s |      26 | 13621064 | 10998452 |     1325  19977 |        0 |        0
1734.58/1735.18	c 1735s |      26 | 13634722 | 11009852 |     1325  19994 |        0 |        0
1736.58/1737.18	c 1737s |      26 | 13648064 | 11020952 |     1325  20010 |        0 |        0
1738.59/1739.20	c 1739s |      26 | 13661545 | 11032052 |     1325  20026 |        0 |        0
1740.68/1741.21	c 1741s |      26 | 13674874 | 11043352 |     1325  20042 |        0 |        0
1742.68/1743.21	c 1743s |      26 | 13687467 | 11054352 |     1325  20058 |        0 |        0
1744.68/1745.22	c 1745s |      26 | 13701546 | 11065952 |     1325  20075 |        0 |        0
1746.68/1747.23	c 1747s |      26 | 13714795 | 11077052 |     1325  20091 |        0 |        0
1748.68/1749.24	c 1749s |      26 | 13728444 | 11088452 |     1325  20108 |        0 |        0
1750.68/1751.25	c 1751s |      26 | 13740696 | 11099052 |     1325  20123 |        0 |        0
1752.68/1753.26	c 1753s |      26 | 13752266 | 11109352 |     1325  20138 |        0 |        0
1754.69/1755.27	c 1755s |      26 | 13765737 | 11120652 |     1325  20155 |        0 |        0
1756.69/1757.27	c 1757s |      26 | 13779329 | 11132052 |     1325  20171 |        0 |        0
1758.68/1759.28	c 1759s |      26 | 13790636 | 11142052 |     1325  20186 |        0 |        0
1760.69/1761.28	c 1761s |      26 | 13803227 | 11152952 |     1325  20202 |        0 |        0
1762.68/1763.29	c 1763s |      26 | 13815681 | 11163952 |     1325  20218 |        0 |        0
1764.78/1765.30	c 1765s |      26 | 13827617 | 11174352 |     1325  20233 |        0 |        0
1766.78/1767.31	c 1767s |      26 | 13841711 | 11185952 |     1325  20250 |        0 |        0
1768.78/1769.32	c 1769s |      26 | 13854657 | 11197052 |     1325  20266 |        0 |        0
1770.78/1771.32	c 1771s |      26 | 13869307 | 11209052 |     1325  20284 |        0 |        0
1772.79/1773.33	c 1773s |      26 | 13884291 | 11221252 |     1325  20302 |        0 |        0
1774.78/1775.33	c 1775s |      26 | 13897580 | 11232652 |     1325  20319 |        0 |        0
1776.78/1777.34	c 1777s |      26 | 13911886 | 11244552 |     1325  20336 |        0 |        0
1778.78/1779.34	c 1779s |      26 | 13925418 | 11255852 |     1325  20353 |        0 |        0
1780.78/1781.36	c 1781s |      26 | 13938897 | 11267052 |     1325  20369 |        0 |        0
1782.78/1783.36	c 1783s |      26 | 13954212 | 11279152 |     1325  20387 |        0 |        0
1784.78/1785.37	c 1785s |      26 | 13966325 | 11289952 |     1325  20403 |        0 |        0
1786.77/1787.39	c 1787s |      26 | 13979780 | 11301352 |     1325  20419 |        0 |        0
1788.87/1789.41	c 1789s |      26 | 13994030 | 11313352 |     1325  20437 |        0 |        0
1790.87/1791.42	c 1791s |      26 | 14008408 | 11324852 |     1458  20453 |        0 |        0
1792.87/1793.44	c 1793s |      26 | 14022118 | 11336452 |     1458  20468 |        0 |        0
1794.87/1795.44	c 1795s |      26 | 14035954 | 11348052 |     1458  20484 |        0 |        0
1796.88/1797.44	c 1797s |      26 | 14048821 | 11358952 |     1458  20498 |        0 |        0
1798.87/1799.46	c 1799s |      26 | 14061062 | 11369652 |     1458  20513 |        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-4095959-1466099968/watcher-4095959-1466099968 -o /tmp/evaluation-result-4095959-1466099968/solver-4095959-1466099968 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095959-1466099968.opb 

pid=28899
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.04 2.06 1.97 3/179 28902
/proc/meminfo: memFree=30362132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 2555 0 0 0 0 0 0 0 20 0 4 0 12042238 704049152 3426 33554432000 4194304 16246674 140734485348720 140734485348144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 172399 3433 441 2943 0 169293 0
[pid=28902/tid=28903] ppid=28899 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 721874944 3496 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 726069248 3513 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 730263552 3529 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100226 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28902
/proc/meminfo: memFree=30362132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 24475 0 0 0 5 4 0 0 20 0 4 0 12042238 1247350784 25335 33554432000 4194304 16246674 140734485348720 140734485348144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 304529 25350 712 2943 0 301423 0
[pid=28902/tid=28903] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 25357 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 25362 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 25366 33554432000 4194304 16246674 140734485348720 140051635760304 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.20053 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28902
/proc/meminfo: memFree=30362132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 47436 0 0 0 12 7 0 0 20 0 4 0 12042238 1247350784 48296 33554432000 4194304 16246674 140734485348720 140734485348144 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 304529 48305 712 2943 0 301423 0
[pid=28902/tid=28903] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 48311 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 48319 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 48325 33554432000 4194304 16246674 140734485348720 140051635760304 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.300495 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28902
/proc/meminfo: memFree=30362132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 70676 0 0 0 19 10 0 0 20 0 4 0 12042238 1247350784 71536 33554432000 4194304 16246674 140734485348720 140734485348144 5668801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 304529 71547 712 2943 0 301423 0
[pid=28902/tid=28903] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 71553 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 71559 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 71565 33554432000 4194304 16246674 140734485348720 140051635760304 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.700372 s]
/proc/loadavg: 2.04 2.06 1.97 3/179 28902
/proc/meminfo: memFree=30362132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 162951 0 0 0 46 23 0 0 20 0 4 0 12042238 1247350784 163812 33554432000 4194304 16246674 140734485348720 140734485330624 6021174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 304529 163827 712 2943 0 301423 0
[pid=28902/tid=28903] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 163833 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 163839 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1247350784 163848 33554432000 4194304 16246674 140734485348720 140051635760304 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.50043 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28906
/proc/meminfo: memFree=29377800/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 245537 0 0 0 114 35 0 0 20 0 4 0 12042238 1248399360 246377 33554432000 4194304 16246674 140734485348720 140734485330624 5667855 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 304785 246377 787 2943 0 301679 0
[pid=28902/tid=28903] ppid=28899 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1248399360 246377 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1248399360 246377 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1248399360 246377 33554432000 4194304 16246674 140734485348720 140051635760304 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.10043 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28906
/proc/meminfo: memFree=29290132/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267410 0 0 0 270 39 0 0 20 0 4 0 12042238 1337528320 268250 33554432000 4194304 16246674 140734485348720 140734485331720 6010852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268250 787 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268250 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268250 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268250 33554432000 4194304 16246674 140734485348720 140051635760304 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.04 2.06 1.97 4/183 28955
/proc/meminfo: memFree=29640532/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267411 0 0 0 590 39 0 0 20 0 4 0 12042238 1337528320 268251 33554432000 4194304 16246674 140734485348720 140734485330624 5661546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268251 787 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268251 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268251 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268251 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 1.97 3/183 28955
/proc/meminfo: memFree=29293040/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267429 0 0 0 1230 39 0 0 20 0 4 0 12042238 1337528320 268269 33554432000 4194304 16246674 140734485348720 140734485331720 12483226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268269 788 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268269 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268269 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268269 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 1.97 3/183 28955
/proc/meminfo: memFree=29293764/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267455 0 0 0 2510 39 0 0 20 0 4 0 12042238 1337528320 268295 33554432000 4194304 16246674 140734485348720 140734485330624 6842322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268295 788 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268295 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268295 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268295 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.02 2.05 1.97 3/184 28958
/proc/meminfo: memFree=29294144/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267471 0 0 0 5069 40 0 0 20 0 4 0 12042238 1337528320 268311 33554432000 4194304 16246674 140734485348720 140734485330624 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268311 790 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268311 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268311 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268311 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.01 2.04 1.97 4/184 28983
/proc/meminfo: memFree=29292436/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 267564 0 0 0 10188 40 0 0 20 0 4 0 12042238 1337528320 268404 33554432000 4194304 16246674 140734485348720 140734485331720 5668051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326545 268404 790 2943 0 323439 0
[pid=28902/tid=28903] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268404 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268404 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1337528320 268404 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.10 2.11 2.05 3/183 29013
/proc/meminfo: memFree=29285952/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268121 0 0 0 130123 62 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140734485331720 5824140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268671 792 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.20 2.13 2.06 3/183 29014
/proc/meminfo: memFree=29286092/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1361.84 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268121 0 0 0 136121 63 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140734485330624 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268671 792 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268671 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.17 2.13 2.06 3/183 29015
/proc/meminfo: memFree=29285808/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1421.84 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 142121 63 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485331720 13192708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.06 3/183 29016
/proc/meminfo: memFree=29285816/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1481.82 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 148119 63 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485330624 5666881 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.14 2.13 2.07 3/183 29017
/proc/meminfo: memFree=29286120/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1541.82 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 154118 64 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485331720 5522925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.07 3/183 29019
/proc/meminfo: memFree=29286180/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1601.81 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 160115 66 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485330624 5996356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.25 2.15 2.08 3/183 29020
/proc/meminfo: memFree=29286364/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1661.79 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 166112 67 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485330624 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.13 2.08 3/183 29021
/proc/meminfo: memFree=29286228/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 172110 68 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485330624 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.08 3/183 29022
/proc/meminfo: memFree=29286048/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1781.78 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 178109 69 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485331720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.14 2.09 3/183 29022
/proc/meminfo: memFree=29285924/32872528 swapFree=496356/529060
[pid=28902] ppid=28899 vsize=1307204 CPUtime=1800.07 cores=1,3,5,7
/proc/28902/stat : 28902 (toysat) R 28899 28902 28709 0 -1 4202496 268122 0 0 0 179938 69 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140734485330624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28902/statm: 326801 268672 793 2943 0 323695 0
[pid=28902/tid=28903] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28903/stat : 28903 (toysat) S 28899 28902 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051732212976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28902/tid=28904] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28904/stat : 28904 (toysat) S 28899 28902 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051721723120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28902/tid=28905] ppid=28899 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28902/task/28905/stat : 28905 (toysat) S 28899 28902 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12042238 1338576896 268672 33554432000 4194304 16246674 140734485348720 140051635760304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28902 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.696894
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.696894
maximum resident set size= 1074688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268122
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= 401
involuntary context switches= 2233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.94094 second system time

The end

Begin job on node141 at 2016-06-16 19:59:28
IDJOB=4095959
IDBENCH=107546
IDSOLVER=2542
FILE ID=node141/4095959-1466099968
RUNJOBID= node141-1466098167-28726
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= c20cf0739e289c3f9978f8ff4d1a5445
RANDOM SEED=416340614

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30362932 kB
Buffers:           47336 kB
Cached:           151296 kB
SwapCached:         2880 kB
Active:          1198676 kB
Inactive:          78184 kB
Active(anon):    1078308 kB
Inactive(anon):     2156 kB
Active(file):     120368 kB
Inactive(file):    76028 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1680904 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             569740 kB
SReclaimable:      13768 kB
SUnreclaim:       555972 kB
KernelStack:        1520 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1747712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 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= 71696 MiB
End job on node141 at 2016-06-16 20:29:29