0.00/0.00	c 2016-06-16T00:23:05+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-4089596-1466029385.opb"]
0.00/0.01	c use --random-gen="874725367 1236722398 1275768741 238718052 3048343960 3027653893 1729775100 4114526211 28006305 1356485601 1688163835 3924169638 1955480825 2092180504 2970833444 3370261013 1018711127 1476178437 1262575243 1372301624 3994050756 3291420060 2529092327 1301350954 1009167064 1420920225 3997259135 3653297062 2943444862 424070566 638552841 3882904121 2862750393 1809834696 3910513009 3490354912 1286158662 238331363 3084100991 3210297041 3548236065 1972744242 3894355251 3889096463 192216308 2790263344 2689711099 602219573 4104395124 3477585294 1659715587 1949042189 1788358403 1474280988 2070958490 1378022610 3945329860 168486249 1057355431 1712142123 746328846 1855114335 1774119871 3891019847 3661347188 1195857925 1689617950 911629730 833034355 1123686320 948658562 2015056876 3569798176 1998879166 3695920484 3725298952 2890129800 2496644733 2079586443 3988121286 1314128038 1888649670 1893214707 982291906 4275084911 440510331 581735368 2840303267 1077361489 3317607237 3948438012 2900830972 2286100661 1991156259 383774393 2529197124 1029550309 3482170928 2577895643 79132151 2838379684 1817277251 4087934792 1745171775 1747708136 1317919316 3587033338 554724867 3573667451 4200477017 3556301223 85845939 3845498766 4031770574 2984451315 778347532 124002764 3746165333 376873421 2017570655 1814844037 1937362139 1498218065 676000990 998893985 348018889 3369517529 1198330067 1107700672 3045291808 185100831 3904644359 2195676884 3058725233 2566340719 2528116900 3612289865 1992213403 3163552387 536938610 3753428225 1110151928 321206820 2937280241 357861394 4169344301 1044070090 767601979 3739314354 3020178106 745954609 1365357587 3213705927 3078582948 3724008679 3328458120 4290486951 2230065998 3832439504 3153231656 417232665 2573882363 3247020225 3488519604 683787399 3471703369 3064843456 3263895303 2138430646 1731090889 3116912009 3860304072 3709022916 649565808 2882800649 3753589555 347267983 2530559403 1168635465 1977778615 3342545142 1779708240 2061894453 3555746919 3428461805 3849523141 1070492975 135584352 248145257 2857759934 630802960 3411531548 1114326436 2832271257 3941694493 3487542951 2926324576 1678212800 678626471 2245721172 1449073600 1186846336 3796163929 2027312889 2984905007 2202118651 879531409 1363040838 2018718987 1114340569 3815347131 3069584473 3712902443 1978447491 563502740 2887134048 3336918814 2489941425 2976509795 3353882069 245834671 3831169620 1094758070 1237140353 498718807 3523885382 728655292 4224832799 1227796933 1510867447 3218906226 2898225074 2144250396 474728344 4198938297 3291362215 1400993927 1336384038 4137540744 1102478516 3074901539 1426646889 1858554523 1710402292 2950413998 3863141792 1845986839 3664296810 519027972 1967769299 1358043281 1499259295 2571634659 519427846 3628786964 287836937 255 362436" option to reproduce the execution
0.00/0.01	c #vars 136
0.00/0.01	c #constraints 273
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 |      136      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      136      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      377 |      250 |      150      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      673 |      475 |      165      3 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1082 |      813 |      182      5 |        0 |        0
0.19/0.26	c  0.2s |       5 |     1658 |     1320 |      201      9 |        0 |        0
0.39/0.41	c  0.4s |       6 |     2487 |     2081 |      245     15 |        0 |        0
0.59/0.65	c  0.6s |       7 |     3705 |     3223 |      270     22 |        0 |        0
0.89/0.93	c  0.9s |       8 |     5487 |     4936 |      297     32 |        0 |        0
1.20/1.27	c  1.3s |       9 |     8142 |     7506 |      327     46 |        0 |        0
1.79/1.80	c  1.8s |      10 |    12128 |    11361 |      360     66 |        0 |        0
2.49/2.59	c  2.6s |      11 |    18128 |    17144 |      397     93 |        0 |        0
3.79/3.80	c  3.8s |      12 |    27154 |    25819 |      437    131 |        0 |        0
5.59/5.64	c  5.6s |      13 |    40774 |    38832 |      481    183 |        0 |        0
7.59/7.64	c  7.6s |      13 |    55295 |    52632 |      481    234 |        0 |        0
8.39/8.46	c  8.4s |      14 |    61265 |    58352 |      530    255 |        0 |        0
10.39/10.47	c 10.5s |      14 |    76002 |    72252 |      530    302 |        0 |        0
12.39/12.48	c 12.5s |      14 |    90164 |    85852 |      530    348 |        0 |        0
12.69/12.75	c 12.7s |      15 |    92068 |    87632 |      583    354 |        0 |        0
14.69/14.75	c 14.7s |      15 |   106538 |   101332 |      583    397 |        0 |        0
16.69/16.76	c 16.7s |      15 |   120930 |   115032 |      583    439 |        0 |        0
18.69/18.77	c 18.8s |      15 |   134765 |   128232 |      583    480 |        0 |        0
19.18/19.27	c 19.3s |      16 |   138224 |   131552 |      642    490 |        0 |        0
21.18/21.28	c 21.3s |      16 |   152431 |   144752 |      642    528 |        0 |        0
23.20/23.29	c 23.3s |      16 |   166417 |   157952 |      642    566 |        0 |        0
25.30/25.30	c 25.3s |      16 |   180828 |   171452 |      642    604 |        0 |        0
27.29/27.32	c 27.3s |      16 |   194914 |   184752 |      642    642 |        0 |        0
29.19/29.22	c 29.2s |      17 |   208430 |   197432 |      707    678 |        0 |        0
31.19/31.22	c 31.2s |      17 |   222794 |   210832 |      707    713 |        0 |        0
33.19/33.24	c 33.2s |      17 |   236807 |   224032 |      707    748 |        0 |        0
35.19/35.25	c 35.2s |      17 |   250714 |   237132 |      707    782 |        0 |        0
37.18/37.26	c 37.2s |      17 |   264616 |   250232 |      707    816 |        0 |        0
39.18/39.27	c 39.3s |      17 |   278291 |   263132 |      707    850 |        0 |        0
41.18/41.27	c 41.3s |      17 |   291747 |   275932 |      707    883 |        0 |        0
43.18/43.28	c 43.3s |      17 |   305507 |   288932 |      707    917 |        0 |        0
44.38/44.43	c 44.4s |      18 |   313159 |   296252 |      778    936 |        0 |        0
46.38/46.44	c 46.4s |      18 |   326806 |   309252 |      778    967 |        0 |        0
48.39/48.45	c 48.4s |      18 |   340418 |   322052 |      778    997 |        0 |        0
50.38/50.46	c 50.4s |      18 |   354229 |   335152 |      778   1029 |        0 |        0
52.38/52.47	c 52.5s |      18 |   368362 |   348352 |      778   1060 |        0 |        0
54.38/54.48	c 54.5s |      18 |   381948 |   361352 |      778   1092 |        0 |        0
56.39/56.50	c 56.5s |      18 |   395239 |   374152 |      778   1122 |        0 |        0
58.49/58.50	c 58.5s |      18 |   408600 |   386952 |      778   1153 |        0 |        0
60.49/60.51	c 60.5s |      18 |   422026 |   399652 |      778   1183 |        0 |        0
62.48/62.52	c 62.5s |      18 |   435543 |   412452 |      778   1214 |        0 |        0
64.48/64.52	c 64.5s |      18 |   449288 |   425252 |      778   1244 |        0 |        0
66.48/66.54	c 66.5s |      18 |   462534 |   437952 |      778   1275 |        0 |        0
67.48/67.58	c 67.6s |      19 |   469315 |   444482 |      856   1290 |        0 |        0
69.48/69.59	c 69.6s |      19 |   483299 |   457682 |      856   1318 |        0 |        0
71.59/71.61	c 71.6s |      19 |   497126 |   470582 |      856   1347 |        0 |        0
73.58/73.61	c 73.6s |      19 |   510631 |   483282 |      856   1375 |        0 |        0
75.58/75.61	c 75.6s |      19 |   524352 |   496082 |      856   1402 |        0 |        0
77.58/77.62	c 77.6s |      19 |   537587 |   508582 |      856   1430 |        0 |        0
79.58/79.63	c 79.6s |      19 |   551033 |   521282 |      856   1458 |        0 |        0
81.58/81.64	c 81.6s |      19 |   564312 |   533882 |      856   1485 |        0 |        0
83.58/83.64	c 83.6s |      19 |   577409 |   546382 |      856   1512 |        0 |        0
85.58/85.66	c 85.6s |      19 |   590819 |   558982 |      856   1540 |        0 |        0
87.58/87.67	c 87.7s |      19 |   604924 |   572182 |      856   1569 |        0 |        0
89.57/89.68	c 89.7s |      19 |   618853 |   584982 |      856   1597 |        0 |        0
91.57/91.69	c 91.7s |      19 |   632002 |   597582 |      856   1625 |        0 |        0
93.67/93.70	c 93.7s |      19 |   645404 |   610082 |      856   1652 |        0 |        0
95.68/95.71	c 95.7s |      19 |   658680 |   622582 |      856   1680 |        0 |        0
97.67/97.72	c 97.7s |      19 |   671716 |   634982 |      856   1707 |        0 |        0
99.67/99.73	c 99.7s |      19 |   684981 |   647482 |      856   1734 |        0 |        0
101.67/101.73	c  101s |      19 |   698553 |   659782 |      856   1761 |        0 |        0
102.77/102.89	c  102s |      20 |   706057 |   666827 |      942   1776 |        0 |        0
104.87/104.90	c  104s |      20 |   720115 |   679827 |      942   1801 |        0 |        0
106.87/106.91	c  106s |      20 |   733557 |   692327 |      942   1826 |        0 |        0
108.88/108.93	c  108s |      20 |   746533 |   704627 |      942   1851 |        0 |        0
110.87/110.93	c  110s |      20 |   759564 |   716927 |      942   1876 |        0 |        0
112.87/112.93	c  112s |      20 |   772999 |   729227 |      942   1900 |        0 |        0
114.87/114.93	c  114s |      20 |   785636 |   741027 |      942   1924 |        0 |        0
116.88/116.94	c  116s |      20 |   799021 |   753427 |      942   1949 |        0 |        0
118.88/118.95	c  118s |      20 |   812215 |   765827 |      942   1973 |        0 |        0
120.87/120.95	c  120s |      20 |   825133 |   778127 |      942   1998 |        0 |        0
122.87/122.95	c  122s |      20 |   837917 |   790327 |      942   2022 |        0 |        0
124.87/124.96	c  124s |      20 |   850867 |   802427 |      942   2047 |        0 |        0
126.87/126.96	c  126s |      20 |   863904 |   814527 |      942   2071 |        0 |        0
128.87/128.97	c  128s |      20 |   877911 |   827027 |      942   2096 |        0 |        0
130.88/130.97	c  130s |      20 |   891112 |   839027 |      942   2120 |        0 |        0
132.87/132.99	c  132s |      20 |   904258 |   851127 |      942   2144 |        0 |        0
134.97/135.00	c  134s |      20 |   916920 |   863227 |      942   2168 |        0 |        0
136.97/137.02	c  137s |      20 |   929723 |   875327 |      942   2193 |        0 |        0
138.96/139.03	c  139s |      20 |   942370 |   887327 |      942   2217 |        0 |        0
140.96/141.04	c  141s |      20 |   954879 |   899327 |      942   2241 |        0 |        0
142.98/143.05	c  143s |      20 |   967559 |   911227 |      942   2265 |        0 |        0
144.97/145.06	c  145s |      20 |   980013 |   923027 |      942   2288 |        0 |        0
146.97/147.06	c  147s |      20 |   992645 |   935127 |      942   2312 |        0 |        0
148.97/149.08	c  149s |      20 |  1005674 |   947127 |      942   2336 |        0 |        0
150.97/151.09	c  151s |      20 |  1018078 |   959027 |      942   2360 |        0 |        0
152.98/153.09	c  153s |      20 |  1030634 |   970727 |      942   2384 |        0 |        0
155.08/155.11	c  155s |      20 |  1043548 |   982927 |      942   2408 |        0 |        0
157.07/157.11	c  157s |      20 |  1056131 |   994727 |     1037   2431 |        0 |        0
157.97/158.06	c  158s |      21 |  1062232 |  1000345 |     1037   2442 |        0 |        0
159.97/160.06	c  160s |      21 |  1075542 |  1012545 |     1037   2464 |        0 |        0
161.96/162.06	c  162s |      21 |  1088563 |  1024545 |     1037   2486 |        0 |        0
163.97/164.06	c  164s |      21 |  1101467 |  1036845 |     1037   2508 |        0 |        0
165.96/166.07	c  166s |      21 |  1114543 |  1049045 |     1037   2530 |        0 |        0
167.96/168.09	c  168s |      21 |  1128068 |  1061145 |     1037   2553 |        0 |        0
170.06/170.10	c  170s |      21 |  1141502 |  1072945 |     1037   2574 |        0 |        0
172.06/172.11	c  172s |      21 |  1154758 |  1085145 |     1037   2596 |        0 |        0
174.06/174.11	c  174s |      21 |  1168308 |  1097245 |     1037   2618 |        0 |        0
176.07/176.13	c  176s |      21 |  1181401 |  1109045 |     1037   2640 |        0 |        0
178.06/178.13	c  178s |      21 |  1193802 |  1120745 |     1037   2661 |        0 |        0
180.06/180.14	c  180s |      21 |  1206644 |  1132645 |     1037   2683 |        0 |        0
182.06/182.15	c  182s |      21 |  1219348 |  1144645 |     1037   2705 |        0 |        0
184.06/184.15	c  184s |      21 |  1231547 |  1156145 |     1037   2726 |        0 |        0
186.07/186.17	c  186s |      21 |  1245201 |  1168845 |     1037   2749 |        0 |        0
188.07/188.18	c  188s |      21 |  1258648 |  1181145 |     1037   2771 |        0 |        0
190.06/190.19	c  190s |      21 |  1271760 |  1193245 |     1037   2794 |        0 |        0
192.16/192.20	c  192s |      21 |  1284826 |  1205145 |     1037   2815 |        0 |        0
194.16/194.22	c  194s |      21 |  1298023 |  1217345 |     1037   2838 |        0 |        0
196.16/196.23	c  196s |      21 |  1311731 |  1229345 |     1037   2860 |        0 |        0
198.16/198.23	c  198s |      21 |  1325125 |  1241145 |     1037   2881 |        0 |        0
200.16/200.24	c  200s |      21 |  1338984 |  1253045 |     1037   2903 |        0 |        0
202.16/202.26	c  202s |      21 |  1352129 |  1264745 |     1037   2925 |        0 |        0
204.16/204.27	c  204s |      21 |  1366037 |  1276845 |     1037   2947 |        0 |        0
206.16/206.27	c  206s |      21 |  1379287 |  1288545 |     1037   2968 |        0 |        0
208.16/208.27	c  208s |      21 |  1393131 |  1300445 |     1037   2990 |        0 |        0
210.16/210.28	c  210s |      21 |  1406334 |  1312145 |     1037   3011 |        0 |        0
212.15/212.28	c  212s |      21 |  1419579 |  1323645 |     1037   3032 |        0 |        0
214.25/214.30	c  214s |      21 |  1432869 |  1335045 |     1037   3053 |        0 |        0
216.25/216.31	c  216s |      21 |  1445556 |  1347145 |     1037   3075 |        0 |        0
218.25/218.32	c  218s |      21 |  1457826 |  1358845 |     1037   3097 |        0 |        0
220.25/220.33	c  220s |      21 |  1470343 |  1370545 |     1037   3118 |        0 |        0
222.26/222.34	c  222s |      21 |  1482414 |  1382045 |     1037   3139 |        0 |        0
224.26/224.35	c  224s |      21 |  1494312 |  1393245 |     1037   3160 |        0 |        0
226.26/226.35	c  226s |      21 |  1507726 |  1405245 |     1037   3181 |        0 |        0
228.26/228.36	c  228s |      21 |  1520402 |  1417345 |     1037   3203 |        0 |        0
230.26/230.36	c  230s |      21 |  1533063 |  1429245 |     1037   3225 |        0 |        0
232.25/232.37	c  232s |      21 |  1545892 |  1440945 |     1037   3247 |        0 |        0
234.26/234.38	c  234s |      21 |  1558450 |  1452545 |     1037   3268 |        0 |        0
236.25/236.39	c  236s |      21 |  1570949 |  1464245 |     1037   3289 |        0 |        0
238.35/238.40	c  238s |      21 |  1583733 |  1475945 |     1037   3311 |        0 |        0
240.36/240.40	c  240s |      21 |  1596197 |  1487345 |     1037   3332 |        0 |        0
242.36/242.41	c  242s |      21 |  1608582 |  1498645 |     1141   3351 |        0 |        0
242.66/242.76	c  242s |      22 |  1610741 |  1500622 |     1141   3354 |        0 |        0
244.66/244.76	c  244s |      22 |  1623671 |  1512422 |     1141   3374 |        0 |        0
246.66/246.77	c  246s |      22 |  1636304 |  1524222 |     1141   3393 |        0 |        0
248.66/248.78	c  248s |      22 |  1648831 |  1535922 |     1141   3413 |        0 |        0
250.65/250.79	c  250s |      22 |  1661124 |  1547422 |     1141   3432 |        0 |        0
252.75/252.80	c  252s |      22 |  1673409 |  1558822 |     1141   3451 |        0 |        0
254.75/254.80	c  254s |      22 |  1686241 |  1570122 |     1141   3470 |        0 |        0
256.75/256.81	c  256s |      22 |  1699408 |  1581722 |     1141   3490 |        0 |        0
258.75/258.82	c  258s |      22 |  1711954 |  1593122 |     1141   3509 |        0 |        0
260.76/260.82	c  260s |      22 |  1724616 |  1604522 |     1141   3528 |        0 |        0
262.75/262.83	c  262s |      22 |  1737865 |  1616222 |     1141   3547 |        0 |        0
264.75/264.84	c  264s |      22 |  1750974 |  1628322 |     1141   3568 |        0 |        0
266.75/266.85	c  266s |      22 |  1764519 |  1640322 |     1141   3588 |        0 |        0
268.75/268.85	c  268s |      22 |  1777865 |  1652322 |     1141   3608 |        0 |        0
270.75/270.87	c  270s |      22 |  1790669 |  1664222 |     1141   3628 |        0 |        0
272.75/272.88	c  272s |      22 |  1803953 |  1675922 |     1141   3647 |        0 |        0
274.75/274.89	c  274s |      22 |  1817465 |  1687922 |     1141   3667 |        0 |        0
276.84/276.91	c  276s |      22 |  1830445 |  1699522 |     1141   3687 |        0 |        0
278.84/278.91	c  278s |      22 |  1843145 |  1711222 |     1141   3706 |        0 |        0
280.84/280.92	c  280s |      22 |  1856231 |  1722822 |     1141   3726 |        0 |        0
282.84/282.93	c  282s |      22 |  1869298 |  1734322 |     1141   3745 |        0 |        0
284.85/284.94	c  284s |      22 |  1882560 |  1745922 |     1141   3764 |        0 |        0
286.84/286.94	c  286s |      22 |  1896263 |  1757822 |     1141   3784 |        0 |        0
288.85/288.94	c  288s |      22 |  1909813 |  1769622 |     1141   3804 |        0 |        0
290.85/290.96	c  290s |      22 |  1923021 |  1781422 |     1141   3824 |        0 |        0
292.85/292.97	c  292s |      22 |  1936655 |  1793222 |     1141   3843 |        0 |        0
294.86/294.99	c  294s |      22 |  1949699 |  1804922 |     1141   3863 |        0 |        0
296.85/296.99	c  296s |      22 |  1963323 |  1816422 |     1141   3882 |        0 |        0
298.95/299.00	c  298s |      22 |  1976772 |  1828222 |     1141   3902 |        0 |        0
300.95/301.01	c  300s |      22 |  1990263 |  1839822 |     1141   3922 |        0 |        0
302.95/303.02	c  303s |      22 |  2003314 |  1851522 |     1141   3941 |        0 |        0
304.95/305.03	c  305s |      22 |  2016487 |  1862922 |     1141   3961 |        0 |        0
306.95/307.05	c  307s |      22 |  2029530 |  1874722 |     1141   3980 |        0 |        0
308.95/309.06	c  309s |      22 |  2042052 |  1886422 |     1141   4000 |        0 |        0
310.94/311.06	c  311s |      22 |  2054545 |  1898022 |     1141   4019 |        0 |        0
312.94/313.07	c  313s |      22 |  2067080 |  1909422 |     1141   4038 |        0 |        0
314.94/315.07	c  315s |      22 |  2079969 |  1920722 |     1141   4057 |        0 |        0
316.94/317.08	c  317s |      22 |  2093271 |  1932222 |     1141   4077 |        0 |        0
318.95/319.08	c  319s |      22 |  2106427 |  1943822 |     1141   4096 |        0 |        0
320.94/321.09	c  321s |      22 |  2119040 |  1955122 |     1141   4115 |        0 |        0
322.94/323.09	c  323s |      22 |  2131526 |  1966422 |     1141   4134 |        0 |        0
325.04/325.10	c  325s |      22 |  2145094 |  1978022 |     1141   4153 |        0 |        0
327.04/327.11	c  327s |      22 |  2158968 |  1989622 |     1141   4173 |        0 |        0
329.04/329.12	c  329s |      22 |  2173079 |  2001022 |     1141   4192 |        0 |        0
331.04/331.13	c  331s |      22 |  2186183 |  2012322 |     1141   4211 |        0 |        0
333.04/333.14	c  333s |      22 |  2199330 |  2023622 |     1141   4230 |        0 |        0
335.04/335.16	c  335s |      22 |  2212861 |  2035022 |     1141   4249 |        0 |        0
337.04/337.17	c  337s |      22 |  2225654 |  2046422 |     1141   4268 |        0 |        0
339.04/339.17	c  339s |      22 |  2238686 |  2057822 |     1141   4287 |        0 |        0
341.05/341.19	c  341s |      22 |  2251088 |  2068822 |     1141   4305 |        0 |        0
343.04/343.20	c  343s |      22 |  2263707 |  2080222 |     1141   4324 |        0 |        0
345.14/345.21	c  345s |      22 |  2276483 |  2091622 |     1141   4343 |        0 |        0
347.14/347.22	c  347s |      22 |  2288961 |  2102922 |     1141   4362 |        0 |        0
349.14/349.23	c  349s |      22 |  2301713 |  2114022 |     1141   4381 |        0 |        0
351.13/351.24	c  351s |      22 |  2314691 |  2125122 |     1141   4400 |        0 |        0
353.14/353.24	c  353s |      22 |  2327367 |  2136322 |     1141   4418 |        0 |        0
355.13/355.26	c  355s |      22 |  2339710 |  2147422 |     1141   4437 |        0 |        0
357.13/357.26	c  357s |      22 |  2351673 |  2158622 |     1141   4456 |        0 |        0
359.13/359.27	c  359s |      22 |  2363673 |  2169722 |     1141   4474 |        0 |        0
361.13/361.28	c  361s |      22 |  2375633 |  2180722 |     1141   4493 |        0 |        0
363.14/363.29	c  363s |      22 |  2387642 |  2192222 |     1141   4512 |        0 |        0
365.25/365.31	c  365s |      22 |  2400385 |  2204122 |     1141   4532 |        0 |        0
367.24/367.31	c  367s |      22 |  2412630 |  2215722 |     1141   4551 |        0 |        0
369.24/369.32	c  369s |      22 |  2425055 |  2227222 |     1141   4570 |        0 |        0
371.24/371.32	c  371s |      22 |  2437365 |  2238522 |     1256   4588 |        0 |        0
373.24/373.33	c  373s |      22 |  2449721 |  2250022 |     1256   4606 |        0 |        0
373.44/373.50	c  373s |      23 |  2450846 |  2251038 |     1256   4608 |        0 |        0
375.44/375.51	c  375s |      23 |  2464128 |  2262938 |     1256   4626 |        0 |        0
377.44/377.51	c  377s |      23 |  2476871 |  2274238 |     1256   4643 |        0 |        0
379.44/379.53	c  379s |      23 |  2490255 |  2285938 |     1256   4661 |        0 |        0
381.44/381.54	c  381s |      23 |  2502882 |  2297238 |     1256   4678 |        0 |        0
383.43/383.55	c  383s |      23 |  2515378 |  2308238 |     1256   4695 |        0 |        0
385.44/385.56	c  385s |      23 |  2527909 |  2319438 |     1256   4712 |        0 |        0
387.43/387.56	c  387s |      23 |  2540957 |  2331038 |     1256   4729 |        0 |        0
389.44/389.57	c  389s |      23 |  2553591 |  2342338 |     1256   4747 |        0 |        0
391.43/391.58	c  391s |      23 |  2566848 |  2353238 |     1256   4763 |        0 |        0
393.43/393.58	c  393s |      23 |  2579100 |  2364138 |     1256   4780 |        0 |        0
395.43/395.59	c  395s |      23 |  2591840 |  2375238 |     1256   4797 |        0 |        0
397.53/397.60	c  397s |      23 |  2604594 |  2386838 |     1256   4814 |        0 |        0
399.53/399.60	c  399s |      23 |  2617012 |  2398138 |     1256   4831 |        0 |        0
401.53/401.61	c  401s |      23 |  2629160 |  2409438 |     1256   4849 |        0 |        0
403.52/403.61	c  403s |      23 |  2641770 |  2420938 |     1256   4866 |        0 |        0
405.52/405.63	c  405s |      23 |  2654841 |  2432338 |     1256   4884 |        0 |        0
407.52/407.64	c  407s |      23 |  2667352 |  2443838 |     1256   4901 |        0 |        0
409.52/409.65	c  409s |      23 |  2679591 |  2454938 |     1256   4918 |        0 |        0
411.52/411.66	c  411s |      23 |  2692436 |  2466638 |     1256   4936 |        0 |        0
413.54/413.66	c  413s |      23 |  2705069 |  2477838 |     1256   4953 |        0 |        0
415.53/415.67	c  415s |      23 |  2717302 |  2488938 |     1256   4970 |        0 |        0
417.53/417.68	c  417s |      23 |  2730034 |  2500038 |     1256   4987 |        0 |        0
419.63/419.70	c  419s |      23 |  2742648 |  2511338 |     1256   5004 |        0 |        0
421.63/421.70	c  421s |      23 |  2755113 |  2522638 |     1256   5022 |        0 |        0
423.63/423.71	c  423s |      23 |  2767635 |  2534338 |     1256   5039 |        0 |        0
425.63/425.72	c  425s |      23 |  2779959 |  2545638 |     1256   5057 |        0 |        0
427.63/427.73	c  427s |      23 |  2792413 |  2556838 |     1256   5074 |        0 |        0
429.62/429.75	c  429s |      23 |  2805447 |  2568138 |     1256   5091 |        0 |        0
431.62/431.77	c  431s |      23 |  2817523 |  2579138 |     1256   5108 |        0 |        0
433.62/433.78	c  433s |      23 |  2830482 |  2590538 |     1256   5125 |        0 |        0
435.63/435.79	c  435s |      23 |  2843348 |  2601838 |     1256   5143 |        0 |        0
437.62/437.79	c  437s |      23 |  2856466 |  2612838 |     1256   5160 |        0 |        0
439.62/439.80	c  439s |      23 |  2869593 |  2624338 |     1256   5177 |        0 |        0
441.62/441.80	c  441s |      23 |  2882636 |  2635438 |     1256   5194 |        0 |        0
443.72/443.81	c  443s |      23 |  2894884 |  2646338 |     1256   5211 |        0 |        0
445.72/445.82	c  445s |      23 |  2907805 |  2657338 |     1256   5228 |        0 |        0
447.73/447.82	c  447s |      23 |  2920385 |  2668538 |     1256   5245 |        0 |        0
449.72/449.82	c  449s |      23 |  2932287 |  2679538 |     1256   5262 |        0 |        0
451.72/451.82	c  451s |      23 |  2944350 |  2690638 |     1256   5279 |        0 |        0
453.72/453.83	c  453s |      23 |  2956529 |  2701738 |     1256   5296 |        0 |        0
455.72/455.85	c  455s |      23 |  2968439 |  2712938 |     1256   5313 |        0 |        0
457.72/457.87	c  457s |      23 |  2980431 |  2724038 |     1256   5330 |        0 |        0
459.73/459.88	c  459s |      23 |  2992727 |  2735438 |     1256   5347 |        0 |        0
461.72/461.89	c  461s |      23 |  3004823 |  2746938 |     1256   5365 |        0 |        0
463.82/463.90	c  463s |      23 |  3017026 |  2758038 |     1256   5382 |        0 |        0
465.82/465.91	c  465s |      23 |  3029122 |  2769138 |     1256   5398 |        0 |        0
467.81/467.91	c  467s |      23 |  3041221 |  2780238 |     1256   5415 |        0 |        0
469.81/469.91	c  469s |      23 |  3053691 |  2791438 |     1256   5433 |        0 |        0
471.82/471.93	c  471s |      23 |  3066185 |  2802538 |     1256   5450 |        0 |        0
473.82/473.95	c  473s |      23 |  3078172 |  2813538 |     1256   5466 |        0 |        0
475.82/475.95	c  475s |      23 |  3090090 |  2824538 |     1256   5483 |        0 |        0
477.82/477.97	c  477s |      23 |  3102446 |  2835838 |     1256   5500 |        0 |        0
479.82/479.98	c  479s |      23 |  3114752 |  2847138 |     1256   5518 |        0 |        0
481.92/482.00	c  481s |      23 |  3126845 |  2858238 |     1256   5535 |        0 |        0
483.93/484.01	c  483s |      23 |  3138940 |  2869338 |     1256   5552 |        0 |        0
485.92/486.02	c  486s |      23 |  3150976 |  2880438 |     1256   5568 |        0 |        0
487.92/488.03	c  488s |      23 |  3163615 |  2891938 |     1256   5586 |        0 |        0
489.92/490.05	c  490s |      23 |  3176363 |  2903438 |     1256   5604 |        0 |        0
491.92/492.05	c  492s |      23 |  3188497 |  2914638 |     1256   5621 |        0 |        0
493.92/494.06	c  494s |      23 |  3200951 |  2925738 |     1256   5638 |        0 |        0
495.92/496.08	c  496s |      23 |  3213211 |  2936938 |     1256   5655 |        0 |        0
497.91/498.08	c  498s |      23 |  3225329 |  2948138 |     1256   5672 |        0 |        0
500.01/500.10	c  500s |      23 |  3237695 |  2959038 |     1256   5689 |        0 |        0
502.01/502.10	c  502s |      23 |  3250133 |  2969938 |     1256   5705 |        0 |        0
504.01/504.12	c  504s |      23 |  3262300 |  2980738 |     1256   5722 |        0 |        0
506.02/506.13	c  506s |      23 |  3273931 |  2991538 |     1256   5738 |        0 |        0
508.01/508.15	c  508s |      23 |  3285730 |  3002238 |     1256   5754 |        0 |        0
510.02/510.16	c  510s |      23 |  3297429 |  3012938 |     1256   5771 |        0 |        0
512.01/512.16	c  512s |      23 |  3308981 |  3023738 |     1256   5787 |        0 |        0
514.01/514.17	c  514s |      23 |  3321210 |  3034838 |     1256   5804 |        0 |        0
516.01/516.19	c  516s |      23 |  3333617 |  3046438 |     1256   5822 |        0 |        0
518.02/518.19	c  518s |      23 |  3345878 |  3057838 |     1256   5839 |        0 |        0
520.11/520.21	c  520s |      23 |  3357978 |  3069138 |     1256   5856 |        0 |        0
522.11/522.21	c  522s |      23 |  3370362 |  3080638 |     1256   5874 |        0 |        0
524.11/524.21	c  524s |      23 |  3382644 |  3091938 |     1256   5891 |        0 |        0
526.11/526.23	c  526s |      23 |  3394946 |  3103438 |     1256   5909 |        0 |        0
528.11/528.24	c  528s |      23 |  3407321 |  3114938 |     1256   5926 |        0 |        0
530.12/530.25	c  530s |      23 |  3419294 |  3126038 |     1256   5943 |        0 |        0
532.11/532.25	c  532s |      23 |  3431402 |  3137538 |     1256   5961 |        0 |        0
534.11/534.25	c  534s |      23 |  3443402 |  3148738 |     1256   5978 |        0 |        0
536.11/536.26	c  536s |      23 |  3455877 |  3160238 |     1256   5995 |        0 |        0
538.11/538.28	c  538s |      23 |  3468355 |  3171438 |     1256   6012 |        0 |        0
540.21/540.30	c  540s |      23 |  3480485 |  3182738 |     1256   6030 |        0 |        0
542.10/542.30	c  542s |      23 |  3492822 |  3194238 |     1256   6047 |        0 |        0
544.21/544.31	c  544s |      23 |  3505196 |  3205638 |     1256   6065 |        0 |        0
546.21/546.32	c  546s |      23 |  3517415 |  3216938 |     1256   6082 |        0 |        0
548.21/548.33	c  548s |      23 |  3529731 |  3228238 |     1256   6099 |        0 |        0
550.21/550.35	c  550s |      23 |  3542391 |  3239638 |     1256   6117 |        0 |        0
552.22/552.36	c  552s |      23 |  3555060 |  3250838 |     1256   6134 |        0 |        0
554.21/554.37	c  554s |      23 |  3567046 |  3261838 |     1256   6151 |        0 |        0
556.21/556.38	c  556s |      23 |  3579152 |  3273038 |     1256   6168 |        0 |        0
558.21/558.39	c  558s |      23 |  3591045 |  3284038 |     1256   6185 |        0 |        0
560.31/560.40	c  560s |      23 |  3604633 |  3295538 |     1256   6202 |        0 |        0
562.31/562.40	c  562s |      23 |  3617299 |  3306538 |     1256   6219 |        0 |        0
564.31/564.42	c  564s |      23 |  3630010 |  3317638 |     1256   6236 |        0 |        0
566.31/566.44	c  566s |      23 |  3642364 |  3328638 |     1256   6253 |        0 |        0
568.30/568.44	c  568s |      23 |  3654636 |  3339638 |     1256   6269 |        0 |        0
570.30/570.46	c  570s |      23 |  3667013 |  3350738 |     1256   6286 |        0 |        0
572.30/572.48	c  572s |      23 |  3679566 |  3361738 |     1382   6302 |        0 |        0
574.30/574.48	c  574s |      23 |  3692426 |  3373138 |     1382   6317 |        0 |        0
574.90/575.09	c  575s |      24 |  3696280 |  3376662 |     1382   6322 |        0 |        0
577.00/577.11	c  577s |      24 |  3708781 |  3388162 |     1382   6338 |        0 |        0
579.00/579.11	c  579s |      24 |  3721271 |  3399562 |     1382   6354 |        0 |        0
581.00/581.13	c  581s |      24 |  3733811 |  3410962 |     1382   6370 |        0 |        0
583.00/583.14	c  583s |      24 |  3746565 |  3422462 |     1382   6386 |        0 |        0
585.00/585.15	c  585s |      24 |  3759002 |  3433662 |     1382   6401 |        0 |        0
587.00/587.15	c  587s |      24 |  3771358 |  3444962 |     1382   6417 |        0 |        0
589.00/589.16	c  589s |      24 |  3783692 |  3456062 |     1382   6432 |        0 |        0
591.00/591.16	c  591s |      24 |  3795214 |  3466962 |     1382   6448 |        0 |        0
593.00/593.17	c  593s |      24 |  3806966 |  3477862 |     1382   6463 |        0 |        0
595.01/595.17	c  595s |      24 |  3818904 |  3488962 |     1382   6478 |        0 |        0
597.00/597.18	c  597s |      24 |  3830934 |  3499862 |     1382   6493 |        0 |        0
599.00/599.19	c  599s |      24 |  3842862 |  3510762 |     1382   6508 |        0 |        0
601.00/601.19	c  601s |      24 |  3855164 |  3521862 |     1382   6524 |        0 |        0
603.10/603.20	c  603s |      24 |  3867471 |  3533062 |     1382   6539 |        0 |        0
605.10/605.21	c  605s |      24 |  3879112 |  3543862 |     1382   6554 |        0 |        0
607.10/607.22	c  607s |      24 |  3891126 |  3554762 |     1382   6569 |        0 |        0
609.10/609.23	c  609s |      24 |  3902496 |  3565462 |     1382   6584 |        0 |        0
611.10/611.23	c  611s |      24 |  3913620 |  3575962 |     1382   6599 |        0 |        0
613.10/613.24	c  613s |      24 |  3925683 |  3587162 |     1382   6614 |        0 |        0
615.10/615.25	c  615s |      24 |  3938118 |  3598462 |     1382   6630 |        0 |        0
617.10/617.26	c  617s |      24 |  3950228 |  3609562 |     1382   6645 |        0 |        0
619.09/619.26	c  619s |      24 |  3961819 |  3620562 |     1382   6660 |        0 |        0
621.09/621.27	c  621s |      24 |  3974080 |  3631662 |     1382   6676 |        0 |        0
623.09/623.29	c  623s |      24 |  3986334 |  3642662 |     1382   6691 |        0 |        0
625.09/625.29	c  625s |      24 |  3998008 |  3653362 |     1382   6706 |        0 |        0
627.19/627.30	c  627s |      24 |  4009891 |  3664362 |     1382   6721 |        0 |        0
629.10/629.30	c  629s |      24 |  4021418 |  3675162 |     1382   6736 |        0 |        0
631.19/631.31	c  631s |      24 |  4033026 |  3686162 |     1382   6751 |        0 |        0
633.19/633.32	c  633s |      24 |  4044774 |  3697262 |     1382   6767 |        0 |        0
635.19/635.34	c  635s |      24 |  4056304 |  3708162 |     1382   6782 |        0 |        0
637.19/637.35	c  637s |      24 |  4067948 |  3719062 |     1382   6797 |        0 |        0
639.19/639.35	c  639s |      24 |  4079257 |  3729762 |     1382   6812 |        0 |        0
641.20/641.36	c  641s |      24 |  4091234 |  3741062 |     1382   6827 |        0 |        0
643.19/643.36	c  643s |      24 |  4102858 |  3752162 |     1382   6843 |        0 |        0
645.19/645.36	c  645s |      24 |  4114615 |  3763262 |     1382   6858 |        0 |        0
647.19/647.38	c  647s |      24 |  4126561 |  3774362 |     1382   6874 |        0 |        0
649.29/649.40	c  649s |      24 |  4138819 |  3785862 |     1382   6890 |        0 |        0
651.29/651.40	c  651s |      24 |  4150836 |  3797062 |     1382   6905 |        0 |        0
653.29/653.42	c  653s |      24 |  4162614 |  3808362 |     1382   6921 |        0 |        0
655.29/655.43	c  655s |      24 |  4174240 |  3819462 |     1382   6936 |        0 |        0
657.29/657.44	c  657s |      24 |  4186250 |  3830662 |     1382   6952 |        0 |        0
659.29/659.45	c  659s |      24 |  4198674 |  3841662 |     1382   6967 |        0 |        0
661.29/661.46	c  661s |      24 |  4210564 |  3852762 |     1382   6983 |        0 |        0
663.30/663.46	c  663s |      24 |  4222765 |  3863862 |     1382   6998 |        0 |        0
665.29/665.47	c  665s |      24 |  4234458 |  3874762 |     1382   7013 |        0 |        0
667.29/667.47	c  667s |      24 |  4245973 |  3885462 |     1382   7028 |        0 |        0
669.29/669.48	c  669s |      24 |  4257945 |  3896562 |     1382   7043 |        0 |        0
671.29/671.48	c  671s |      24 |  4269316 |  3907362 |     1382   7058 |        0 |        0
673.38/673.50	c  673s |      24 |  4280754 |  3918162 |     1382   7073 |        0 |        0
675.39/675.51	c  675s |      24 |  4292625 |  3929262 |     1382   7089 |        0 |        0
677.38/677.52	c  677s |      24 |  4304324 |  3940062 |     1382   7104 |        0 |        0
679.38/679.53	c  679s |      24 |  4315944 |  3950862 |     1382   7119 |        0 |        0
681.38/681.55	c  681s |      24 |  4327719 |  3961962 |     1382   7134 |        0 |        0
683.38/683.56	c  683s |      24 |  4339960 |  3973162 |     1382   7150 |        0 |        0
685.38/685.57	c  685s |      24 |  4352578 |  3984362 |     1382   7165 |        0 |        0
687.39/687.57	c  687s |      24 |  4364497 |  3995362 |     1382   7181 |        0 |        0
689.38/689.57	c  689s |      24 |  4376614 |  4006162 |     1382   7196 |        0 |        0
691.38/691.59	c  691s |      24 |  4388826 |  4017362 |     1382   7211 |        0 |        0
693.49/693.60	c  693s |      24 |  4400559 |  4028262 |     1382   7227 |        0 |        0
695.49/695.60	c  695s |      24 |  4412283 |  4039162 |     1382   7242 |        0 |        0
697.49/697.61	c  697s |      24 |  4424342 |  4049962 |     1382   7257 |        0 |        0
699.49/699.61	c  699s |      24 |  4436344 |  4060562 |     1382   7271 |        0 |        0
701.48/701.62	c  701s |      24 |  4448040 |  4071062 |     1382   7286 |        0 |        0
703.48/703.63	c  703s |      24 |  4460162 |  4082162 |     1382   7301 |        0 |        0
705.48/705.65	c  705s |      24 |  4471669 |  4093062 |     1382   7317 |        0 |        0
707.48/707.66	c  707s |      24 |  4483369 |  4104062 |     1382   7332 |        0 |        0
709.49/709.66	c  709s |      24 |  4494602 |  4114762 |     1382   7347 |        0 |        0
711.47/711.68	c  711s |      24 |  4506353 |  4125462 |     1382   7362 |        0 |        0
713.47/713.69	c  713s |      24 |  4517620 |  4136162 |     1382   7377 |        0 |        0
715.57/715.70	c  715s |      24 |  4529076 |  4146962 |     1382   7392 |        0 |        0
717.57/717.70	c  717s |      24 |  4540691 |  4157862 |     1382   7407 |        0 |        0
719.57/719.72	c  719s |      24 |  4552671 |  4168762 |     1382   7422 |        0 |        0
721.58/721.72	c  721s |      24 |  4564219 |  4179562 |     1382   7437 |        0 |        0
723.57/723.74	c  723s |      24 |  4576003 |  4190462 |     1382   7452 |        0 |        0
725.57/725.75	c  725s |      24 |  4587560 |  4201162 |     1382   7467 |        0 |        0
727.57/727.77	c  727s |      24 |  4599047 |  4211862 |     1382   7482 |        0 |        0
729.57/729.79	c  729s |      24 |  4610607 |  4222662 |     1382   7497 |        0 |        0
731.66/731.80	c  731s |      24 |  4622310 |  4233462 |     1382   7512 |        0 |        0
733.67/733.81	c  733s |      24 |  4633890 |  4244262 |     1382   7527 |        0 |        0
735.66/735.82	c  735s |      24 |  4645786 |  4255362 |     1382   7542 |        0 |        0
737.66/737.83	c  737s |      24 |  4657683 |  4266362 |     1382   7557 |        0 |        0
739.66/739.84	c  739s |      24 |  4669656 |  4277462 |     1382   7573 |        0 |        0
741.66/741.85	c  741s |      24 |  4681224 |  4288362 |     1382   7588 |        0 |        0
743.66/743.85	c  743s |      24 |  4692818 |  4299262 |     1382   7603 |        0 |        0
745.67/745.86	c  745s |      24 |  4704654 |  4310262 |     1382   7618 |        0 |        0
747.66/747.87	c  747s |      24 |  4716672 |  4321462 |     1382   7634 |        0 |        0
749.66/749.88	c  749s |      24 |  4728304 |  4332262 |     1382   7649 |        0 |        0
751.66/751.89	c  751s |      24 |  4739847 |  4342962 |     1382   7664 |        0 |        0
753.76/753.91	c  753s |      24 |  4751463 |  4353862 |     1382   7679 |        0 |        0
755.76/755.92	c  755s |      24 |  4762775 |  4364562 |     1382   7694 |        0 |        0
757.76/757.93	c  757s |      24 |  4774026 |  4375062 |     1382   7709 |        0 |        0
759.76/759.93	c  759s |      24 |  4786243 |  4386362 |     1382   7724 |        0 |        0
761.76/761.95	c  761s |      24 |  4798500 |  4397462 |     1382   7740 |        0 |        0
763.75/763.96	c  763s |      24 |  4810817 |  4408762 |     1382   7755 |        0 |        0
765.75/765.97	c  765s |      24 |  4822749 |  4420062 |     1382   7771 |        0 |        0
767.76/767.98	c  767s |      24 |  4835006 |  4431362 |     1382   7787 |        0 |        0
769.75/769.98	c  769s |      24 |  4846677 |  4442462 |     1382   7802 |        0 |        0
771.75/771.98	c  771s |      24 |  4858825 |  4453462 |     1382   7817 |        0 |        0
773.85/774.00	c  773s |      24 |  4870737 |  4464662 |     1382   7833 |        0 |        0
775.85/776.01	c  775s |      24 |  4882849 |  4475662 |     1382   7848 |        0 |        0
777.85/778.01	c  777s |      24 |  4894469 |  4486362 |     1382   7863 |        0 |        0
779.85/780.01	c  779s |      24 |  4906189 |  4497262 |     1382   7878 |        0 |        0
781.84/782.03	c  782s |      24 |  4917580 |  4507962 |     1382   7893 |        0 |        0
783.84/784.03	c  784s |      24 |  4929423 |  4519162 |     1382   7909 |        0 |        0
785.84/786.03	c  786s |      24 |  4941414 |  4530362 |     1382   7924 |        0 |        0
787.84/788.05	c  788s |      24 |  4952916 |  4541262 |     1382   7939 |        0 |        0
789.84/790.06	c  790s |      24 |  4964605 |  4552262 |     1382   7954 |        0 |        0
791.85/792.06	c  792s |      24 |  4976707 |  4563462 |     1382   7970 |        0 |        0
793.84/794.08	c  794s |      24 |  4988578 |  4574362 |     1382   7985 |        0 |        0
795.84/796.09	c  796s |      24 |  5000077 |  4585062 |     1382   8000 |        0 |        0
797.84/798.09	c  798s |      24 |  5011954 |  4595862 |     1382   8015 |        0 |        0
799.84/800.09	c  800s |      24 |  5023780 |  4606762 |     1382   8030 |        0 |        0
801.94/802.10	c  802s |      24 |  5036275 |  4617762 |     1382   8045 |        0 |        0
803.94/804.12	c  804s |      24 |  5048305 |  4628662 |     1382   8061 |        0 |        0
805.93/806.13	c  806s |      24 |  5060046 |  4639362 |     1382   8075 |        0 |        0
807.93/808.13	c  808s |      24 |  5071525 |  4649962 |     1382   8090 |        0 |        0
809.93/810.14	c  810s |      24 |  5083132 |  4660762 |     1382   8105 |        0 |        0
811.93/812.15	c  812s |      24 |  5094403 |  4671362 |     1382   8120 |        0 |        0
813.93/814.16	c  814s |      24 |  5106213 |  4682262 |     1382   8135 |        0 |        0
815.93/816.17	c  816s |      24 |  5117629 |  4692962 |     1382   8150 |        0 |        0
817.93/818.18	c  818s |      24 |  5129225 |  4703762 |     1382   8165 |        0 |        0
819.93/820.18	c  820s |      24 |  5140689 |  4714562 |     1382   8180 |        0 |        0
821.92/822.19	c  822s |      24 |  5152744 |  4725562 |     1382   8195 |        0 |        0
824.02/824.20	c  824s |      24 |  5164578 |  4736362 |     1382   8210 |        0 |        0
826.03/826.20	c  826s |      24 |  5176546 |  4747062 |     1382   8225 |        0 |        0
828.02/828.21	c  828s |      24 |  5188420 |  4757462 |     1382   8239 |        0 |        0
830.03/830.22	c  830s |      24 |  5200067 |  4767862 |     1382   8254 |        0 |        0
832.02/832.22	c  832s |      24 |  5212290 |  4779262 |     1382   8270 |        0 |        0
834.02/834.23	c  834s |      24 |  5223962 |  4790362 |     1382   8285 |        0 |        0
836.02/836.24	c  836s |      24 |  5235498 |  4801262 |     1382   8300 |        0 |        0
838.03/838.25	c  838s |      24 |  5247401 |  4812362 |     1382   8315 |        0 |        0
840.02/840.26	c  840s |      24 |  5259165 |  4823562 |     1382   8331 |        0 |        0
842.02/842.27	c  842s |      24 |  5270725 |  4834362 |     1382   8346 |        0 |        0
844.02/844.27	c  844s |      24 |  5282463 |  4845462 |     1382   8361 |        0 |        0
846.02/846.29	c  846s |      24 |  5294271 |  4856662 |     1382   8377 |        0 |        0
848.12/848.31	c  848s |      24 |  5306106 |  4867962 |     1382   8392 |        0 |        0
850.12/850.32	c  850s |      24 |  5317510 |  4878862 |     1382   8408 |        0 |        0
852.11/852.32	c  852s |      24 |  5328990 |  4889862 |     1382   8423 |        0 |        0
854.11/854.33	c  854s |      24 |  5340838 |  4900862 |     1382   8438 |        0 |        0
856.11/856.34	c  856s |      24 |  5352267 |  4911662 |     1382   8453 |        0 |        0
858.11/858.35	c  858s |      24 |  5363780 |  4922462 |     1382   8468 |        0 |        0
860.11/860.36	c  860s |      24 |  5375324 |  4933262 |     1382   8483 |        0 |        0
862.11/862.37	c  862s |      24 |  5387893 |  4944462 |     1382   8499 |        0 |        0
864.10/864.38	c  864s |      24 |  5399490 |  4955562 |     1382   8514 |        0 |        0
866.10/866.38	c  866s |      24 |  5411085 |  4966462 |     1382   8529 |        0 |        0
868.20/868.40	c  868s |      24 |  5422700 |  4977262 |     1382   8544 |        0 |        0
870.20/870.40	c  870s |      24 |  5434588 |  4988362 |     1382   8560 |        0 |        0
872.21/872.42	c  872s |      24 |  5446595 |  4999562 |     1382   8575 |        0 |        0
874.20/874.42	c  874s |      24 |  5458581 |  5010462 |     1382   8591 |        0 |        0
876.21/876.44	c  876s |      24 |  5469973 |  5021162 |     1382   8605 |        0 |        0
878.20/878.45	c  878s |      24 |  5481859 |  5032262 |     1521   8620 |        0 |        0
880.20/880.45	c  880s |      24 |  5493787 |  5043362 |     1521   8634 |        0 |        0
882.20/882.45	c  882s |      24 |  5505671 |  5054262 |     1521   8648 |        0 |        0
884.20/884.41	c  884s |      25 |  5517245 |  5065098 |     1521   8662 |        0 |        0
886.20/886.42	c  886s |      25 |  5529902 |  5076898 |     1521   8677 |        0 |        0
888.20/888.42	c  888s |      25 |  5541893 |  5088198 |     1521   8691 |        0 |        0
890.19/890.43	c  890s |      25 |  5553926 |  5099398 |     1521   8705 |        0 |        0
892.19/892.44	c  892s |      25 |  5565823 |  5110698 |     1521   8719 |        0 |        0
894.20/894.44	c  894s |      25 |  5577770 |  5121798 |     1521   8733 |        0 |        0
896.19/896.45	c  896s |      25 |  5589981 |  5133098 |     1521   8748 |        0 |        0
898.19/898.46	c  898s |      25 |  5602490 |  5144598 |     1521   8762 |        0 |        0
900.18/900.47	c  900s |      25 |  5614706 |  5155798 |     1521   8776 |        0 |        0
902.18/902.48	c  902s |      25 |  5626517 |  5166898 |     1521   8790 |        0 |        0
904.18/904.49	c  904s |      25 |  5638106 |  5177898 |     1521   8804 |        0 |        0
906.19/906.50	c  906s |      25 |  5650034 |  5189198 |     1521   8818 |        0 |        0
908.29/908.51	c  908s |      25 |  5662097 |  5200498 |     1521   8833 |        0 |        0
910.28/910.51	c  910s |      25 |  5673793 |  5211598 |     1521   8847 |        0 |        0
912.28/912.52	c  912s |      25 |  5685331 |  5222498 |     1521   8861 |        0 |        0
914.28/914.53	c  914s |      25 |  5697042 |  5233598 |     1521   8875 |        0 |        0
916.28/916.54	c  916s |      25 |  5708575 |  5244598 |     1521   8888 |        0 |        0
918.29/918.56	c  918s |      25 |  5720211 |  5255498 |     1521   8902 |        0 |        0
920.28/920.57	c  920s |      25 |  5732577 |  5266898 |     1521   8917 |        0 |        0
922.28/922.57	c  922s |      25 |  5744362 |  5277898 |     1521   8931 |        0 |        0
924.28/924.57	c  924s |      25 |  5755955 |  5288898 |     1521   8944 |        0 |        0
926.28/926.57	c  926s |      25 |  5767738 |  5299998 |     1521   8958 |        0 |        0
928.28/928.58	c  928s |      25 |  5779422 |  5310998 |     1521   8972 |        0 |        0
930.27/930.59	c  930s |      25 |  5791225 |  5321998 |     1521   8986 |        0 |        0
932.37/932.60	c  932s |      25 |  5803265 |  5332998 |     1521   9000 |        0 |        0
934.37/934.61	c  934s |      25 |  5815158 |  5344198 |     1521   9014 |        0 |        0
936.37/936.62	c  936s |      25 |  5826854 |  5355398 |     1521   9028 |        0 |        0
938.37/938.62	c  938s |      25 |  5838438 |  5366298 |     1521   9042 |        0 |        0
940.37/940.63	c  940s |      25 |  5850452 |  5377498 |     1521   9056 |        0 |        0
942.37/942.64	c  942s |      25 |  5862530 |  5388698 |     1521   9071 |        0 |        0
944.37/944.65	c  944s |      25 |  5874159 |  5399598 |     1521   9084 |        0 |        0
946.37/946.65	c  946s |      25 |  5886414 |  5410898 |     1521   9099 |        0 |        0
948.36/948.65	c  948s |      25 |  5898198 |  5421998 |     1521   9113 |        0 |        0
950.36/950.66	c  950s |      25 |  5909838 |  5432998 |     1521   9127 |        0 |        0
952.37/952.68	c  952s |      25 |  5921724 |  5444098 |     1521   9141 |        0 |        0
954.36/954.68	c  954s |      25 |  5933365 |  5455098 |     1521   9154 |        0 |        0
956.36/956.69	c  956s |      25 |  5945375 |  5466398 |     1521   9169 |        0 |        0
958.46/958.70	c  958s |      25 |  5957478 |  5477698 |     1521   9183 |        0 |        0
960.46/960.70	c  960s |      25 |  5969635 |  5488598 |     1521   9197 |        0 |        0
962.46/962.71	c  962s |      25 |  5982272 |  5499898 |     1521   9211 |        0 |        0
964.47/964.72	c  964s |      25 |  5994061 |  5510998 |     1521   9225 |        0 |        0
966.46/966.72	c  966s |      25 |  6005811 |  5521898 |     1521   9239 |        0 |        0
968.46/968.74	c  968s |      25 |  6017412 |  5532898 |     1521   9253 |        0 |        0
970.46/970.76	c  970s |      25 |  6028883 |  5543698 |     1521   9266 |        0 |        0
972.46/972.76	c  972s |      25 |  6040662 |  5554698 |     1521   9280 |        0 |        0
974.46/974.77	c  974s |      25 |  6052474 |  5565598 |     1521   9294 |        0 |        0
976.45/976.77	c  976s |      25 |  6063885 |  5576298 |     1521   9308 |        0 |        0
978.45/978.79	c  978s |      25 |  6075681 |  5587398 |     1521   9322 |        0 |        0
980.55/980.80	c  980s |      25 |  6087002 |  5598298 |     1521   9335 |        0 |        0
982.55/982.81	c  982s |      25 |  6098450 |  5609198 |     1521   9349 |        0 |        0
984.55/984.82	c  984s |      25 |  6109753 |  5619998 |     1521   9363 |        0 |        0
986.56/986.82	c  986s |      25 |  6121518 |  5631198 |     1521   9377 |        0 |        0
988.55/988.83	c  988s |      25 |  6133891 |  5642898 |     1521   9392 |        0 |        0
990.54/990.84	c  990s |      25 |  6146314 |  5654398 |     1521   9406 |        0 |        0
992.54/992.85	c  992s |      25 |  6158241 |  5665698 |     1521   9421 |        0 |        0
994.54/994.85	c  994s |      25 |  6170355 |  5677198 |     1521   9435 |        0 |        0
996.54/996.86	c  996s |      25 |  6182238 |  5688498 |     1521   9449 |        0 |        0
998.55/998.87	c  998s |      25 |  6193981 |  5699698 |     1521   9464 |        0 |        0
1000.53/1000.88	c 1000s |      25 |  6205595 |  5710798 |     1521   9477 |        0 |        0
1002.54/1002.89	c 1002s |      25 |  6217609 |  5721898 |     1521   9491 |        0 |        0
1004.54/1004.90	c 1004s |      25 |  6229561 |  5732898 |     1521   9505 |        0 |        0
1006.64/1006.90	c 1006s |      25 |  6241124 |  5743898 |     1521   9519 |        0 |        0
1008.64/1008.90	c 1008s |      25 |  6253557 |  5755398 |     1521   9534 |        0 |        0
1010.64/1010.92	c 1010s |      25 |  6265391 |  5766698 |     1521   9548 |        0 |        0
1012.64/1012.93	c 1012s |      25 |  6277500 |  5778098 |     1521   9563 |        0 |        0
1014.64/1014.94	c 1014s |      25 |  6289351 |  5789298 |     1521   9577 |        0 |        0
1016.63/1016.96	c 1016s |      25 |  6301322 |  5800698 |     1521   9591 |        0 |        0
1018.63/1018.97	c 1018s |      25 |  6313297 |  5811998 |     1521   9605 |        0 |        0
1020.64/1020.98	c 1020s |      25 |  6325072 |  5823298 |     1521   9620 |        0 |        0
1022.63/1022.99	c 1022s |      25 |  6336643 |  5834198 |     1521   9634 |        0 |        0
1024.63/1024.99	c 1024s |      25 |  6348656 |  5845598 |     1521   9648 |        0 |        0
1026.63/1026.99	c 1026s |      25 |  6360434 |  5856898 |     1521   9662 |        0 |        0
1028.73/1029.00	c 1028s |      25 |  6372412 |  5868198 |     1521   9677 |        0 |        0
1030.72/1031.00	c 1030s |      25 |  6384299 |  5879498 |     1521   9691 |        0 |        0
1032.73/1033.02	c 1033s |      25 |  6396388 |  5890998 |     1521   9706 |        0 |        0
1034.72/1035.02	c 1035s |      25 |  6408195 |  5902198 |     1521   9720 |        0 |        0
1036.73/1037.04	c 1037s |      25 |  6420316 |  5913598 |     1521   9734 |        0 |        0
1038.73/1039.05	c 1039s |      25 |  6432187 |  5924798 |     1521   9748 |        0 |        0
1040.72/1041.06	c 1041s |      25 |  6443903 |  5935898 |     1521   9762 |        0 |        0
1042.72/1043.07	c 1043s |      25 |  6455666 |  5947098 |     1521   9777 |        0 |        0
1044.73/1045.07	c 1045s |      25 |  6467280 |  5958098 |     1521   9790 |        0 |        0
1046.72/1047.09	c 1047s |      25 |  6478978 |  5969198 |     1521   9805 |        0 |        0
1048.72/1049.09	c 1049s |      25 |  6491027 |  5980598 |     1521   9819 |        0 |        0
1050.82/1051.10	c 1051s |      25 |  6503162 |  5991798 |     1521   9833 |        0 |        0
1052.81/1053.11	c 1053s |      25 |  6515191 |  6002898 |     1521   9847 |        0 |        0
1054.81/1055.12	c 1055s |      25 |  6527005 |  6013998 |     1521   9861 |        0 |        0
1056.82/1057.12	c 1057s |      25 |  6538702 |  6025098 |     1521   9875 |        0 |        0
1058.82/1059.12	c 1059s |      25 |  6550264 |  6036098 |     1521   9889 |        0 |        0
1060.82/1061.13	c 1061s |      25 |  6562115 |  6047098 |     1521   9903 |        0 |        0
1062.82/1063.13	c 1063s |      25 |  6573787 |  6058098 |     1521   9917 |        0 |        0
1064.82/1065.15	c 1065s |      25 |  6585504 |  6069298 |     1521   9931 |        0 |        0
1066.82/1067.15	c 1067s |      25 |  6597074 |  6080398 |     1521   9945 |        0 |        0
1068.82/1069.16	c 1069s |      25 |  6608718 |  6091698 |     1521   9960 |        0 |        0
1070.81/1071.18	c 1071s |      25 |  6620749 |  6103098 |     1521   9974 |        0 |        0
1072.91/1073.20	c 1073s |      25 |  6632172 |  6113998 |     1521   9988 |        0 |        0
1074.91/1075.21	c 1075s |      25 |  6643641 |  6124998 |     1521  10002 |        0 |        0
1076.91/1077.22	c 1077s |      25 |  6655356 |  6136098 |     1521  10016 |        0 |        0
1078.92/1079.23	c 1079s |      25 |  6667106 |  6147098 |     1521  10030 |        0 |        0
1080.91/1081.24	c 1081s |      25 |  6678738 |  6158198 |     1521  10044 |        0 |        0
1082.91/1083.26	c 1083s |      25 |  6691083 |  6169698 |     1521  10059 |        0 |        0
1084.91/1085.27	c 1085s |      25 |  6703323 |  6180898 |     1521  10073 |        0 |        0
1086.91/1087.28	c 1087s |      25 |  6715304 |  6192098 |     1521  10087 |        0 |        0
1088.91/1089.29	c 1089s |      25 |  6727593 |  6203398 |     1521  10101 |        0 |        0
1090.91/1091.29	c 1091s |      25 |  6739682 |  6214598 |     1521  10115 |        0 |        0
1093.00/1093.30	c 1093s |      25 |  6751687 |  6225798 |     1521  10129 |        0 |        0
1095.00/1095.31	c 1095s |      25 |  6763320 |  6236698 |     1521  10143 |        0 |        0
1097.00/1097.32	c 1097s |      25 |  6775180 |  6247898 |     1521  10157 |        0 |        0
1099.00/1099.33	c 1099s |      25 |  6786766 |  6259098 |     1521  10171 |        0 |        0
1101.00/1101.35	c 1101s |      25 |  6798564 |  6269998 |     1521  10185 |        0 |        0
1103.00/1103.35	c 1103s |      25 |  6810281 |  6280998 |     1521  10199 |        0 |        0
1105.00/1105.36	c 1105s |      25 |  6821542 |  6291698 |     1521  10212 |        0 |        0
1107.00/1107.37	c 1107s |      25 |  6833081 |  6302598 |     1521  10226 |        0 |        0
1109.00/1109.38	c 1109s |      25 |  6844382 |  6313398 |     1521  10240 |        0 |        0
1111.00/1111.38	c 1111s |      25 |  6855839 |  6324498 |     1521  10254 |        0 |        0
1113.01/1113.40	c 1113s |      25 |  6867482 |  6335698 |     1521  10268 |        0 |        0
1115.11/1115.41	c 1115s |      25 |  6879115 |  6346798 |     1521  10282 |        0 |        0
1117.10/1117.41	c 1117s |      25 |  6890753 |  6357898 |     1521  10296 |        0 |        0
1119.10/1119.42	c 1119s |      25 |  6902385 |  6368898 |     1521  10310 |        0 |        0
1121.10/1121.42	c 1121s |      25 |  6914308 |  6379998 |     1521  10324 |        0 |        0
1123.10/1123.43	c 1123s |      25 |  6925848 |  6391098 |     1521  10338 |        0 |        0
1125.10/1125.44	c 1125s |      25 |  6937528 |  6402198 |     1521  10352 |        0 |        0
1127.10/1127.44	c 1127s |      25 |  6948965 |  6413098 |     1521  10366 |        0 |        0
1129.09/1129.45	c 1129s |      25 |  6960195 |  6423798 |     1521  10380 |        0 |        0
1131.09/1131.46	c 1131s |      25 |  6972184 |  6435098 |     1521  10394 |        0 |        0
1133.09/1133.47	c 1133s |      25 |  6984059 |  6446298 |     1521  10408 |        0 |        0
1135.09/1135.48	c 1135s |      25 |  6996060 |  6457698 |     1521  10422 |        0 |        0
1137.10/1137.49	c 1137s |      25 |  7008039 |  6469098 |     1521  10437 |        0 |        0
1139.19/1139.50	c 1139s |      25 |  7020115 |  6480498 |     1521  10451 |        0 |        0
1141.19/1141.51	c 1141s |      25 |  7032252 |  6491798 |     1521  10465 |        0 |        0
1143.18/1143.52	c 1143s |      25 |  7044356 |  6503198 |     1521  10480 |        0 |        0
1145.18/1145.52	c 1145s |      25 |  7055971 |  6514098 |     1521  10494 |        0 |        0
1147.18/1147.54	c 1147s |      25 |  7067818 |  6525198 |     1521  10508 |        0 |        0
1149.19/1149.56	c 1149s |      25 |  7079802 |  6536398 |     1521  10522 |        0 |        0
1151.18/1151.57	c 1151s |      25 |  7091954 |  6547598 |     1521  10536 |        0 |        0
1153.18/1153.58	c 1153s |      25 |  7104104 |  6558998 |     1521  10550 |        0 |        0
1155.18/1155.59	c 1155s |      25 |  7116374 |  6570298 |     1521  10564 |        0 |        0
1157.28/1157.60	c 1157s |      25 |  7128377 |  6581498 |     1521  10579 |        0 |        0
1159.28/1159.61	c 1159s |      25 |  7140440 |  6592898 |     1521  10593 |        0 |        0
1161.28/1161.61	c 1161s |      25 |  7152449 |  6603898 |     1521  10607 |        0 |        0
1163.27/1163.61	c 1163s |      25 |  7164090 |  6614898 |     1521  10621 |        0 |        0
1165.27/1165.62	c 1165s |      25 |  7175758 |  6625998 |     1521  10635 |        0 |        0
1167.27/1167.64	c 1167s |      25 |  7187518 |  6637198 |     1521  10649 |        0 |        0
1169.27/1169.64	c 1169s |      25 |  7199904 |  6648798 |     1521  10664 |        0 |        0
1171.28/1171.65	c 1171s |      25 |  7211922 |  6660398 |     1521  10678 |        0 |        0
1173.26/1173.67	c 1173s |      25 |  7223817 |  6671698 |     1521  10693 |        0 |        0
1175.26/1175.67	c 1175s |      25 |  7235601 |  6682998 |     1521  10707 |        0 |        0
1177.26/1177.68	c 1177s |      25 |  7247524 |  6694398 |     1521  10721 |        0 |        0
1179.26/1179.69	c 1179s |      25 |  7259144 |  6705498 |     1521  10736 |        0 |        0
1181.27/1181.69	c 1181s |      25 |  7270980 |  6716698 |     1521  10750 |        0 |        0
1183.38/1183.70	c 1183s |      25 |  7283194 |  6728098 |     1521  10764 |        0 |        0
1185.37/1185.72	c 1185s |      25 |  7295114 |  6739198 |     1521  10778 |        0 |        0
1187.37/1187.72	c 1187s |      25 |  7307123 |  6750598 |     1521  10793 |        0 |        0
1189.37/1189.73	c 1189s |      25 |  7318795 |  6761598 |     1521  10807 |        0 |        0
1191.36/1191.74	c 1191s |      25 |  7330414 |  6772798 |     1521  10821 |        0 |        0
1193.36/1193.74	c 1193s |      25 |  7341957 |  6783898 |     1521  10835 |        0 |        0
1195.37/1195.75	c 1195s |      25 |  7353473 |  6794998 |     1521  10849 |        0 |        0
1197.36/1197.76	c 1197s |      25 |  7365255 |  6806298 |     1521  10863 |        0 |        0
1199.36/1199.77	c 1199s |      25 |  7377027 |  6817498 |     1521  10877 |        0 |        0
1201.35/1201.78	c 1201s |      25 |  7388525 |  6828498 |     1521  10891 |        0 |        0
1203.35/1203.79	c 1203s |      25 |  7400065 |  6839398 |     1521  10905 |        0 |        0
1205.36/1205.79	c 1205s |      25 |  7412129 |  6850998 |     1521  10920 |        0 |        0
1207.35/1207.79	c 1207s |      25 |  7424069 |  6862398 |     1521  10934 |        0 |        0
1209.45/1209.80	c 1209s |      25 |  7436123 |  6873898 |     1521  10949 |        0 |        0
1211.44/1211.81	c 1211s |      25 |  7448333 |  6885398 |     1521  10963 |        0 |        0
1213.44/1213.81	c 1213s |      25 |  7459954 |  6896598 |     1521  10978 |        0 |        0
1215.44/1215.82	c 1215s |      25 |  7472331 |  6908098 |     1521  10992 |        0 |        0
1217.45/1217.84	c 1217s |      25 |  7484613 |  6919498 |     1521  11007 |        0 |        0
1219.44/1219.85	c 1219s |      25 |  7496551 |  6930798 |     1521  11021 |        0 |        0
1221.43/1221.86	c 1221s |      25 |  7508550 |  6941998 |     1521  11035 |        0 |        0
1223.43/1223.86	c 1223s |      25 |  7520495 |  6953298 |     1521  11049 |        0 |        0
1225.43/1225.88	c 1225s |      25 |  7532438 |  6964698 |     1521  11064 |        0 |        0
1227.44/1227.88	c 1227s |      25 |  7543993 |  6975798 |     1521  11078 |        0 |        0
1229.45/1229.89	c 1229s |      25 |  7556081 |  6987198 |     1521  11092 |        0 |        0
1231.53/1231.90	c 1231s |      25 |  7568197 |  6998598 |     1521  11107 |        0 |        0
1233.53/1233.91	c 1233s |      25 |  7580040 |  7009698 |     1521  11121 |        0 |        0
1235.53/1235.92	c 1235s |      25 |  7591919 |  7020598 |     1521  11135 |        0 |        0
1237.53/1237.93	c 1237s |      25 |  7603417 |  7031398 |     1521  11148 |        0 |        0
1239.53/1239.94	c 1239s |      25 |  7615227 |  7042598 |     1521  11163 |        0 |        0
1241.53/1241.96	c 1241s |      25 |  7627116 |  7053898 |     1521  11177 |        0 |        0
1243.52/1243.97	c 1243s |      25 |  7639007 |  7064898 |     1521  11191 |        0 |        0
1245.52/1245.98	c 1245s |      25 |  7650665 |  7075998 |     1521  11205 |        0 |        0
1247.52/1247.99	c 1247s |      25 |  7662403 |  7087198 |     1521  11219 |        0 |        0
1249.52/1249.99	c 1249s |      25 |  7674182 |  7098298 |     1521  11233 |        0 |        0
1251.61/1252.00	c 1251s |      25 |  7685935 |  7109398 |     1521  11247 |        0 |        0
1253.62/1254.01	c 1253s |      25 |  7697575 |  7120298 |     1521  11261 |        0 |        0
1255.61/1256.01	c 1256s |      25 |  7709107 |  7131198 |     1521  11275 |        0 |        0
1257.61/1258.02	c 1258s |      25 |  7720282 |  7141798 |     1521  11288 |        0 |        0
1259.61/1260.03	c 1260s |      25 |  7732382 |  7153198 |     1521  11303 |        0 |        0
1261.60/1262.03	c 1262s |      25 |  7744208 |  7164398 |     1521  11317 |        0 |        0
1263.61/1264.04	c 1264s |      25 |  7756443 |  7175598 |     1521  11331 |        0 |        0
1265.60/1266.05	c 1266s |      25 |  7768480 |  7186698 |     1521  11345 |        0 |        0
1267.61/1268.07	c 1268s |      25 |  7779869 |  7197598 |     1521  11359 |        0 |        0
1269.61/1270.08	c 1270s |      25 |  7791842 |  7208798 |     1521  11373 |        0 |        0
1271.60/1272.08	c 1272s |      25 |  7803499 |  7219698 |     1521  11387 |        0 |        0
1273.70/1274.10	c 1274s |      25 |  7815293 |  7230798 |     1521  11401 |        0 |        0
1275.70/1276.10	c 1276s |      25 |  7826796 |  7241698 |     1521  11415 |        0 |        0
1277.69/1278.12	c 1278s |      25 |  7838500 |  7252598 |     1521  11429 |        0 |        0
1279.69/1280.13	c 1280s |      25 |  7850107 |  7263698 |     1521  11443 |        0 |        0
1281.69/1282.14	c 1282s |      25 |  7861528 |  7274598 |     1521  11456 |        0 |        0
1283.69/1284.16	c 1284s |      25 |  7873212 |  7285698 |     1521  11470 |        0 |        0
1285.69/1286.16	c 1286s |      25 |  7884890 |  7296598 |     1521  11484 |        0 |        0
1287.69/1288.16	c 1288s |      25 |  7896760 |  7307498 |     1521  11498 |        0 |        0
1289.68/1290.17	c 1290s |      25 |  7908335 |  7318298 |     1521  11512 |        0 |        0
1291.68/1292.17	c 1292s |      25 |  7920306 |  7329598 |     1521  11526 |        0 |        0
1293.68/1294.18	c 1294s |      25 |  7932069 |  7340698 |     1521  11540 |        0 |        0
1295.78/1296.20	c 1296s |      25 |  7944194 |  7351898 |     1521  11554 |        0 |        0
1297.78/1298.20	c 1298s |      25 |  7955939 |  7362898 |     1521  11568 |        0 |        0
1299.79/1300.22	c 1300s |      25 |  7967750 |  7374098 |     1521  11583 |        0 |        0
1301.77/1302.23	c 1302s |      25 |  7979602 |  7385198 |     1521  11597 |        0 |        0
1303.77/1304.24	c 1304s |      25 |  7991326 |  7396298 |     1521  11611 |        0 |        0
1305.77/1306.25	c 1306s |      25 |  8003296 |  7407398 |     1521  11625 |        0 |        0
1307.77/1308.26	c 1308s |      25 |  8015207 |  7418598 |     1521  11639 |        0 |        0
1309.78/1310.27	c 1310s |      25 |  8026887 |  7429598 |     1521  11653 |        0 |        0
1311.77/1312.28	c 1312s |      25 |  8038740 |  7440498 |     1521  11667 |        0 |        0
1313.77/1314.29	c 1314s |      25 |  8050162 |  7451298 |     1521  11680 |        0 |        0
1315.86/1316.31	c 1316s |      25 |  8062144 |  7462398 |     1521  11695 |        0 |        0
1317.86/1318.31	c 1318s |      25 |  8074193 |  7473898 |     1521  11709 |        0 |        0
1319.86/1320.31	c 1320s |      25 |  8086189 |  7485098 |     1521  11723 |        0 |        0
1321.87/1322.31	c 1322s |      25 |  8097942 |  7496198 |     1521  11737 |        0 |        0
1323.86/1324.32	c 1324s |      25 |  8109765 |  7507398 |     1521  11751 |        0 |        0
1325.86/1326.32	c 1326s |      25 |  8121346 |  7518498 |     1521  11765 |        0 |        0
1327.86/1328.33	c 1328s |      25 |  8132710 |  7529198 |     1521  11779 |        0 |        0
1329.86/1330.35	c 1330s |      25 |  8143926 |  7539898 |     1521  11792 |        0 |        0
1331.85/1332.37	c 1332s |      25 |  8155381 |  7550698 |     1674  11805 |        0 |        0
1333.86/1334.37	c 1334s |      25 |  8166991 |  7561598 |     1674  11818 |        0 |        0
1335.85/1336.38	c 1336s |      25 |  8178675 |  7572598 |     1674  11830 |        0 |        0
1337.95/1338.40	c 1338s |      25 |  8190181 |  7583498 |     1674  11843 |        0 |        0
1339.95/1340.41	c 1340s |      25 |  8201552 |  7594398 |     1674  11855 |        0 |        0
1340.55/1341.03	c 1341s |      26 |  8205040 |  7597752 |     1674  11859 |        0 |        0
1342.54/1343.05	c 1343s |      26 |  8216805 |  7608852 |     1674  11872 |        0 |        0
1344.55/1345.06	c 1345s |      26 |  8228842 |  7620252 |     1674  11885 |        0 |        0
1346.55/1347.07	c 1347s |      26 |  8241064 |  7631552 |     1674  11898 |        0 |        0
1348.55/1349.09	c 1349s |      26 |  8253312 |  7642852 |     1674  11911 |        0 |        0
1350.64/1351.10	c 1351s |      26 |  8264787 |  7653652 |     1674  11924 |        0 |        0
1352.65/1353.11	c 1353s |      26 |  8276347 |  7664552 |     1674  11936 |        0 |        0
1354.64/1355.12	c 1355s |      26 |  8288919 |  7676152 |     1674  11949 |        0 |        0
1356.64/1357.13	c 1357s |      26 |  8300962 |  7687552 |     1674  11962 |        0 |        0
1358.64/1359.13	c 1359s |      26 |  8312662 |  7698752 |     1674  11975 |        0 |        0
1360.64/1361.13	c 1361s |      26 |  8324060 |  7709652 |     1674  11988 |        0 |        0
1362.64/1363.15	c 1363s |      26 |  8335664 |  7720652 |     1674  12001 |        0 |        0
1364.65/1365.16	c 1365s |      26 |  8347472 |  7731752 |     1674  12013 |        0 |        0
1366.64/1367.18	c 1367s |      26 |  8359199 |  7742752 |     1674  12026 |        0 |        0
1368.64/1369.18	c 1369s |      26 |  8370975 |  7754052 |     1674  12039 |        0 |        0
1370.74/1371.20	c 1371s |      26 |  8382529 |  7765052 |     1674  12052 |        0 |        0
1372.74/1373.20	c 1373s |      26 |  8394377 |  7776052 |     1674  12064 |        0 |        0
1374.74/1375.21	c 1375s |      26 |  8406079 |  7787052 |     1674  12077 |        0 |        0
1376.74/1377.23	c 1377s |      26 |  8417843 |  7797852 |     1674  12089 |        0 |        0
1378.74/1379.24	c 1379s |      26 |  8429532 |  7808952 |     1674  12102 |        0 |        0
1380.74/1381.24	c 1381s |      26 |  8441136 |  7820052 |     1674  12115 |        0 |        0
1382.74/1383.27	c 1383s |      26 |  8452500 |  7830852 |     1674  12128 |        0 |        0
1384.73/1385.27	c 1385s |      26 |  8464161 |  7841852 |     1674  12140 |        0 |        0
1386.74/1387.28	c 1387s |      26 |  8475660 |  7852652 |     1674  12153 |        0 |        0
1388.73/1389.29	c 1389s |      26 |  8487905 |  7863952 |     1674  12166 |        0 |        0
1390.83/1391.30	c 1391s |      26 |  8499617 |  7875052 |     1674  12178 |        0 |        0
1392.83/1393.31	c 1393s |      26 |  8511384 |  7886052 |     1674  12191 |        0 |        0
1394.83/1395.32	c 1395s |      26 |  8522897 |  7896852 |     1674  12204 |        0 |        0
1396.83/1397.32	c 1397s |      26 |  8533935 |  7907352 |     1674  12216 |        0 |        0
1398.84/1399.32	c 1399s |      26 |  8545395 |  7918352 |     1674  12228 |        0 |        0
1400.84/1401.33	c 1401s |      26 |  8556517 |  7929052 |     1674  12241 |        0 |        0
1402.83/1403.34	c 1403s |      26 |  8568328 |  7940452 |     1674  12254 |        0 |        0
1404.83/1405.36	c 1405s |      26 |  8580192 |  7951652 |     1674  12267 |        0 |        0
1406.83/1407.36	c 1407s |      26 |  8591864 |  7962752 |     1674  12279 |        0 |        0
1408.83/1409.37	c 1409s |      26 |  8603319 |  7973652 |     1674  12292 |        0 |        0
1410.84/1411.38	c 1411s |      26 |  8615232 |  7984852 |     1674  12305 |        0 |        0
1412.83/1413.39	c 1413s |      26 |  8627764 |  7996352 |     1674  12318 |        0 |        0
1414.93/1415.41	c 1415s |      26 |  8639673 |  8007652 |     1674  12331 |        0 |        0
1416.93/1417.42	c 1417s |      26 |  8651458 |  8018652 |     1674  12344 |        0 |        0
1418.93/1419.43	c 1419s |      26 |  8662868 |  8029552 |     1674  12356 |        0 |        0
1420.93/1421.45	c 1421s |      26 |  8674028 |  8040152 |     1674  12369 |        0 |        0
1422.94/1423.46	c 1423s |      26 |  8684833 |  8050552 |     1674  12381 |        0 |        0
1424.93/1425.47	c 1425s |      26 |  8696319 |  8061552 |     1674  12393 |        0 |        0
1426.93/1427.47	c 1427s |      26 |  8707579 |  8072352 |     1674  12406 |        0 |        0
1428.93/1429.48	c 1429s |      26 |  8718994 |  8083152 |     1674  12418 |        0 |        0
1430.93/1431.48	c 1431s |      26 |  8731051 |  8094552 |     1674  12431 |        0 |        0
1433.03/1433.50	c 1433s |      26 |  8742746 |  8105652 |     1674  12444 |        0 |        0
1435.03/1435.51	c 1435s |      26 |  8755335 |  8117052 |     1674  12457 |        0 |        0
1437.03/1437.51	c 1437s |      26 |  8767254 |  8128152 |     1674  12470 |        0 |        0
1439.03/1439.53	c 1439s |      26 |  8778781 |  8138752 |     1674  12482 |        0 |        0
1441.02/1441.54	c 1441s |      26 |  8790312 |  8149552 |     1674  12494 |        0 |        0
1443.02/1443.55	c 1443s |      26 |  8801584 |  8160252 |     1674  12507 |        0 |        0
1445.03/1445.55	c 1445s |      26 |  8813406 |  8171452 |     1674  12520 |        0 |        0
1447.03/1447.56	c 1447s |      26 |  8825383 |  8182552 |     1674  12532 |        0 |        0
1449.03/1449.57	c 1449s |      26 |  8837340 |  8193752 |     1674  12545 |        0 |        0
1451.03/1451.59	c 1451s |      26 |  8849219 |  8204852 |     1674  12558 |        0 |        0
1453.13/1453.61	c 1453s |      26 |  8860909 |  8215752 |     1674  12571 |        0 |        0
1455.13/1455.61	c 1455s |      26 |  8872441 |  8226652 |     1674  12583 |        0 |        0
1457.14/1457.62	c 1457s |      26 |  8884116 |  8237852 |     1674  12596 |        0 |        0
1459.13/1459.63	c 1459s |      26 |  8895882 |  8249152 |     1674  12609 |        0 |        0
1461.13/1461.64	c 1461s |      26 |  8907403 |  8260152 |     1674  12622 |        0 |        0
1463.13/1463.65	c 1463s |      26 |  8918993 |  8271252 |     1674  12635 |        0 |        0
1465.13/1465.67	c 1465s |      26 |  8930884 |  8282252 |     1674  12647 |        0 |        0
1467.13/1467.68	c 1467s |      26 |  8942381 |  8293152 |     1674  12660 |        0 |        0
1469.13/1469.69	c 1469s |      26 |  8954250 |  8303952 |     1674  12672 |        0 |        0
1471.13/1471.69	c 1471s |      26 |  8965652 |  8314552 |     1674  12685 |        0 |        0
1473.23/1473.70	c 1473s |      26 |  8977739 |  8325752 |     1674  12697 |        0 |        0
1475.22/1475.71	c 1475s |      26 |  8990151 |  8337252 |     1674  12711 |        0 |        0
1477.22/1477.73	c 1477s |      26 |  9002293 |  8348352 |     1674  12723 |        0 |        0
1479.22/1479.74	c 1479s |      26 |  9014206 |  8359352 |     1674  12736 |        0 |        0
1481.23/1481.76	c 1481s |      26 |  9026268 |  8370152 |     1674  12749 |        0 |        0
1483.22/1483.77	c 1483s |      26 |  9038007 |  8380852 |     1674  12761 |        0 |        0
1485.22/1485.78	c 1485s |      26 |  9049672 |  8391852 |     1674  12774 |        0 |        0
1487.22/1487.79	c 1487s |      26 |  9061360 |  8402852 |     1674  12786 |        0 |        0
1489.32/1489.80	c 1489s |      26 |  9072952 |  8413752 |     1674  12799 |        0 |        0
1491.32/1491.81	c 1491s |      26 |  9084395 |  8424352 |     1674  12811 |        0 |        0
1493.33/1493.82	c 1493s |      26 |  9095671 |  8434952 |     1674  12823 |        0 |        0
1495.32/1495.82	c 1495s |      26 |  9107113 |  8445852 |     1674  12836 |        0 |        0
1497.32/1497.84	c 1497s |      26 |  9118474 |  8456752 |     1674  12848 |        0 |        0
1499.32/1499.86	c 1499s |      26 |  9129860 |  8467552 |     1674  12861 |        0 |        0
1501.32/1501.87	c 1501s |      26 |  9141142 |  8478152 |     1674  12873 |        0 |        0
1503.32/1503.88	c 1503s |      26 |  9152278 |  8488852 |     1674  12885 |        0 |        0
1505.32/1505.89	c 1505s |      26 |  9164444 |  8500252 |     1674  12899 |        0 |        0
1507.41/1507.90	c 1507s |      26 |  9176135 |  8511352 |     1674  12911 |        0 |        0
1509.41/1509.92	c 1509s |      26 |  9187694 |  8522352 |     1674  12924 |        0 |        0
1511.42/1511.92	c 1511s |      26 |  9198958 |  8533052 |     1674  12936 |        0 |        0
1513.41/1513.94	c 1513s |      26 |  9210534 |  8544152 |     1674  12949 |        0 |        0
1515.42/1515.94	c 1515s |      26 |  9221841 |  8554852 |     1674  12961 |        0 |        0
1517.41/1517.95	c 1517s |      26 |  9233380 |  8565852 |     1674  12974 |        0 |        0
1519.41/1519.96	c 1519s |      26 |  9244733 |  8576752 |     1674  12987 |        0 |        0
1521.41/1521.97	c 1521s |      26 |  9255903 |  8587552 |     1674  12999 |        0 |        0
1523.41/1523.99	c 1523s |      26 |  9267518 |  8598652 |     1674  13012 |        0 |        0
1525.41/1525.99	c 1525s |      26 |  9278724 |  8609352 |     1674  13024 |        0 |        0
1527.52/1528.01	c 1527s |      26 |  9290241 |  8620252 |     1674  13037 |        0 |        0
1529.51/1530.01	c 1530s |      26 |  9301874 |  8631352 |     1674  13049 |        0 |        0
1531.51/1532.01	c 1532s |      26 |  9313095 |  8642152 |     1674  13062 |        0 |        0
1533.51/1534.03	c 1534s |      26 |  9324744 |  8653152 |     1674  13075 |        0 |        0
1535.51/1536.04	c 1536s |      26 |  9335944 |  8663852 |     1674  13087 |        0 |        0
1537.51/1538.04	c 1538s |      26 |  9347572 |  8674652 |     1674  13099 |        0 |        0
1539.52/1540.04	c 1540s |      26 |  9359162 |  8685552 |     1674  13112 |        0 |        0
1541.51/1542.06	c 1542s |      26 |  9370635 |  8696552 |     1674  13125 |        0 |        0
1543.51/1544.07	c 1544s |      26 |  9382139 |  8707452 |     1674  13137 |        0 |        0
1545.51/1546.09	c 1546s |      26 |  9393482 |  8718152 |     1674  13150 |        0 |        0
1547.61/1548.10	c 1548s |      26 |  9405053 |  8728852 |     1674  13162 |        0 |        0
1549.61/1550.10	c 1550s |      26 |  9416895 |  8739952 |     1674  13175 |        0 |        0
1551.61/1552.12	c 1552s |      26 |  9428512 |  8750852 |     1674  13187 |        0 |        0
1553.61/1554.14	c 1554s |      26 |  9439743 |  8761552 |     1674  13200 |        0 |        0
1555.61/1556.16	c 1556s |      26 |  9451026 |  8772352 |     1674  13212 |        0 |        0
1557.60/1558.17	c 1558s |      26 |  9462453 |  8783152 |     1674  13224 |        0 |        0
1559.60/1560.18	c 1560s |      26 |  9473885 |  8794052 |     1674  13237 |        0 |        0
1561.71/1562.20	c 1562s |      26 |  9485276 |  8804852 |     1674  13250 |        0 |        0
1563.61/1564.20	c 1564s |      26 |  9496850 |  8815852 |     1674  13262 |        0 |        0
1565.71/1566.21	c 1566s |      26 |  9508500 |  8826952 |     1674  13275 |        0 |        0
1567.71/1568.22	c 1568s |      26 |  9519824 |  8837752 |     1674  13288 |        0 |        0
1569.71/1570.23	c 1570s |      26 |  9531121 |  8848452 |     1674  13300 |        0 |        0
1571.71/1572.24	c 1572s |      26 |  9542221 |  8859052 |     1674  13312 |        0 |        0
1573.71/1574.26	c 1574s |      26 |  9553527 |  8869752 |     1674  13325 |        0 |        0
1575.71/1576.26	c 1576s |      26 |  9564902 |  8880352 |     1674  13337 |        0 |        0
1577.71/1578.28	c 1578s |      26 |  9576695 |  8890952 |     1674  13349 |        0 |        0
1579.70/1580.28	c 1580s |      26 |  9588170 |  8901652 |     1674  13361 |        0 |        0
1581.81/1582.30	c 1582s |      26 |  9599531 |  8912252 |     1674  13374 |        0 |        0
1583.80/1584.30	c 1584s |      26 |  9611396 |  8923452 |     1674  13386 |        0 |        0
1585.81/1586.31	c 1586s |      26 |  9623372 |  8934652 |     1674  13399 |        0 |        0
1587.80/1588.32	c 1588s |      26 |  9635598 |  8945752 |     1674  13412 |        0 |        0
1589.80/1590.33	c 1590s |      26 |  9647453 |  8956852 |     1674  13425 |        0 |        0
1591.80/1592.34	c 1592s |      26 |  9659055 |  8967752 |     1674  13437 |        0 |        0
1593.81/1594.34	c 1594s |      26 |  9670572 |  8978652 |     1674  13450 |        0 |        0
1595.81/1596.35	c 1596s |      26 |  9682341 |  8989652 |     1674  13463 |        0 |        0
1597.81/1598.36	c 1598s |      26 |  9693750 |  9000252 |     1674  13475 |        0 |        0
1599.80/1600.36	c 1600s |      26 |  9704891 |  9010952 |     1674  13487 |        0 |        0
1601.80/1602.37	c 1602s |      26 |  9716657 |  9022152 |     1674  13500 |        0 |        0
1603.80/1604.39	c 1604s |      26 |  9728460 |  9033252 |     1674  13513 |        0 |        0
1605.80/1606.39	c 1606s |      26 |  9739927 |  9044252 |     1674  13526 |        0 |        0
1607.90/1608.40	c 1608s |      26 |  9750825 |  9054652 |     1674  13538 |        0 |        0
1609.80/1610.40	c 1610s |      26 |  9762250 |  9065552 |     1674  13550 |        0 |        0
1611.90/1612.41	c 1612s |      26 |  9773896 |  9076652 |     1674  13563 |        0 |        0
1613.90/1614.42	c 1614s |      26 |  9784962 |  9087152 |     1674  13575 |        0 |        0
1615.90/1616.43	c 1616s |      26 |  9796174 |  9097652 |     1674  13587 |        0 |        0
1617.90/1618.43	c 1618s |      26 |  9807481 |  9108352 |     1674  13599 |        0 |        0
1619.90/1620.45	c 1620s |      26 |  9819198 |  9119352 |     1674  13612 |        0 |        0
1621.90/1622.46	c 1622s |      26 |  9830849 |  9130252 |     1674  13625 |        0 |        0
1623.90/1624.46	c 1624s |      26 |  9842158 |  9140852 |     1674  13637 |        0 |        0
1625.89/1626.47	c 1626s |      26 |  9853477 |  9151452 |     1674  13649 |        0 |        0
1627.89/1628.49	c 1628s |      26 |  9864901 |  9162152 |     1674  13662 |        0 |        0
1629.90/1630.49	c 1630s |      26 |  9876174 |  9172752 |     1674  13674 |        0 |        0
1631.91/1632.50	c 1632s |      26 |  9887291 |  9183352 |     1674  13686 |        0 |        0
1634.00/1634.50	c 1634s |      26 |  9898257 |  9193852 |     1674  13698 |        0 |        0
1636.00/1636.51	c 1636s |      26 |  9909749 |  9204852 |     1674  13711 |        0 |        0
1638.00/1638.52	c 1638s |      26 |  9921313 |  9215852 |     1674  13723 |        0 |        0
1640.00/1640.53	c 1640s |      26 |  9932854 |  9226952 |     1674  13736 |        0 |        0
1642.00/1642.54	c 1642s |      26 |  9944028 |  9237652 |     1674  13749 |        0 |        0
1644.01/1644.55	c 1644s |      26 |  9955227 |  9248252 |     1674  13761 |        0 |        0
1646.00/1646.57	c 1646s |      26 |  9966663 |  9258952 |     1674  13773 |        0 |        0
1648.00/1648.58	c 1648s |      26 |  9978041 |  9269852 |     1674  13786 |        0 |        0
1650.00/1650.58	c 1650s |      26 |  9989169 |  9280452 |     1674  13798 |        0 |        0
1652.00/1652.59	c 1652s |      26 | 10000411 |  9291152 |     1674  13810 |        0 |        0
1654.10/1654.60	c 1654s |      26 | 10011833 |  9301952 |     1674  13823 |        0 |        0
1656.00/1656.60	c 1656s |      26 | 10023523 |  9313152 |     1674  13836 |        0 |        0
1658.09/1658.62	c 1658s |      26 | 10035073 |  9324152 |     1674  13848 |        0 |        0
1660.09/1660.63	c 1660s |      26 | 10047143 |  9335152 |     1674  13861 |        0 |        0
1662.09/1662.63	c 1662s |      26 | 10058740 |  9345952 |     1674  13874 |        0 |        0
1664.09/1664.64	c 1664s |      26 | 10070180 |  9356652 |     1674  13886 |        0 |        0
1666.10/1666.64	c 1666s |      26 | 10081636 |  9367452 |     1674  13899 |        0 |        0
1668.09/1668.64	c 1668s |      26 | 10092888 |  9378052 |     1674  13911 |        0 |        0
1670.09/1670.65	c 1670s |      26 | 10104421 |  9388952 |     1674  13923 |        0 |        0
1672.09/1672.67	c 1672s |      26 | 10115552 |  9399552 |     1674  13936 |        0 |        0
1674.09/1674.68	c 1674s |      26 | 10126623 |  9410052 |     1674  13948 |        0 |        0
1676.09/1676.69	c 1676s |      26 | 10138830 |  9421652 |     1674  13961 |        0 |        0
1678.10/1678.70	c 1678s |      26 | 10150625 |  9432952 |     1674  13974 |        0 |        0
1680.19/1680.70	c 1680s |      26 | 10162676 |  9444152 |     1674  13987 |        0 |        0
1682.19/1682.71	c 1682s |      26 | 10174285 |  9455152 |     1674  14000 |        0 |        0
1684.19/1684.72	c 1684s |      26 | 10186491 |  9466452 |     1674  14013 |        0 |        0
1686.19/1686.74	c 1686s |      26 | 10198127 |  9477452 |     1674  14025 |        0 |        0
1688.19/1688.75	c 1688s |      26 | 10209726 |  9488352 |     1674  14038 |        0 |        0
1690.19/1690.76	c 1690s |      26 | 10221003 |  9499052 |     1674  14050 |        0 |        0
1692.18/1692.77	c 1692s |      26 | 10232593 |  9510052 |     1674  14063 |        0 |        0
1694.18/1694.78	c 1694s |      26 | 10244190 |  9521252 |     1674  14076 |        0 |        0
1696.19/1696.79	c 1696s |      26 | 10255774 |  9532352 |     1674  14088 |        0 |        0
1698.28/1698.80	c 1698s |      26 | 10267248 |  9543352 |     1674  14101 |        0 |        0
1700.29/1700.81	c 1700s |      26 | 10278466 |  9553952 |     1674  14113 |        0 |        0
1702.30/1702.83	c 1702s |      26 | 10289933 |  9564752 |     1674  14126 |        0 |        0
1704.29/1704.84	c 1704s |      26 | 10301220 |  9575552 |     1674  14138 |        0 |        0
1706.29/1706.85	c 1706s |      26 | 10312776 |  9586452 |     1674  14151 |        0 |        0
1708.29/1708.86	c 1708s |      26 | 10324102 |  9597152 |     1674  14163 |        0 |        0
1710.29/1710.86	c 1710s |      26 | 10335354 |  9607852 |     1674  14175 |        0 |        0
1712.29/1712.87	c 1712s |      26 | 10346765 |  9618552 |     1674  14188 |        0 |        0
1714.29/1714.88	c 1714s |      26 | 10358088 |  9629352 |     1674  14200 |        0 |        0
1716.29/1716.89	c 1716s |      26 | 10369508 |  9640152 |     1674  14213 |        0 |        0
1718.29/1718.89	c 1718s |      26 | 10381162 |  9651052 |     1674  14225 |        0 |        0
1720.38/1720.90	c 1720s |      26 | 10392290 |  9661752 |     1674  14237 |        0 |        0
1722.38/1722.90	c 1722s |      26 | 10403398 |  9672352 |     1674  14250 |        0 |        0
1724.39/1724.91	c 1724s |      26 | 10414459 |  9682852 |     1674  14262 |        0 |        0
1726.38/1726.91	c 1726s |      26 | 10425698 |  9693552 |     1674  14274 |        0 |        0
1728.38/1728.92	c 1728s |      26 | 10437046 |  9704252 |     1674  14286 |        0 |        0
1730.38/1730.93	c 1730s |      26 | 10448576 |  9715252 |     1674  14299 |        0 |        0
1732.38/1732.93	c 1732s |      26 | 10460329 |  9726452 |     1674  14312 |        0 |        0
1734.39/1734.94	c 1734s |      26 | 10471922 |  9737452 |     1674  14325 |        0 |        0
1736.39/1736.94	c 1736s |      26 | 10483201 |  9748252 |     1674  14337 |        0 |        0
1738.38/1738.95	c 1738s |      26 | 10494791 |  9759352 |     1674  14350 |        0 |        0
1740.38/1740.96	c 1740s |      26 | 10506180 |  9770152 |     1674  14362 |        0 |        0
1742.38/1742.96	c 1742s |      26 | 10517761 |  9780952 |     1674  14375 |        0 |        0
1744.38/1744.98	c 1744s |      26 | 10529260 |  9791752 |     1674  14387 |        0 |        0
1746.39/1746.98	c 1746s |      26 | 10540558 |  9802452 |     1674  14400 |        0 |        0
1748.38/1749.00	c 1748s |      26 | 10551970 |  9813252 |     1674  14412 |        0 |        0
1750.48/1751.00	c 1750s |      26 | 10563028 |  9823852 |     1674  14424 |        0 |        0
1752.48/1753.00	c 1752s |      26 | 10574679 |  9834752 |     1674  14437 |        0 |        0
1754.48/1755.02	c 1755s |      26 | 10586353 |  9845652 |     1674  14450 |        0 |        0
1756.48/1757.03	c 1757s |      26 | 10598072 |  9856652 |     1674  14462 |        0 |        0
1758.48/1759.03	c 1759s |      26 | 10609574 |  9867452 |     1674  14475 |        0 |        0
1760.47/1761.04	c 1761s |      26 | 10621165 |  9878452 |     1674  14487 |        0 |        0
1762.47/1763.05	c 1763s |      26 | 10633116 |  9889652 |     1674  14500 |        0 |        0
1764.47/1765.06	c 1765s |      26 | 10644609 |  9900552 |     1674  14513 |        0 |        0
1766.47/1767.07	c 1767s |      26 | 10655915 |  9911052 |     1674  14525 |        0 |        0
1768.47/1769.07	c 1769s |      26 | 10666931 |  9921452 |     1674  14537 |        0 |        0
1770.48/1771.08	c 1771s |      26 | 10677947 |  9931752 |     1674  14549 |        0 |        0
1772.47/1773.09	c 1773s |      26 | 10689460 |  9942752 |     1674  14562 |        0 |        0
1774.47/1775.09	c 1775s |      26 | 10700789 |  9953552 |     1674  14574 |        0 |        0
1776.58/1777.12	c 1777s |      26 | 10712165 |  9964352 |     1674  14587 |        0 |        0
1778.58/1779.12	c 1779s |      26 | 10723520 |  9975152 |     1674  14599 |        0 |        0
1780.58/1781.13	c 1781s |      26 | 10734910 |  9986052 |     1674  14612 |        0 |        0
1782.59/1783.14	c 1783s |      26 | 10746165 |  9996752 |     1674  14624 |        0 |        0
1784.58/1785.14	c 1785s |      26 | 10757230 | 10007252 |     1674  14636 |        0 |        0
1786.58/1787.15	c 1787s |      26 | 10768535 | 10017952 |     1674  14648 |        0 |        0
1788.58/1789.15	c 1789s |      26 | 10779777 | 10028552 |     1674  14661 |        0 |        0
1790.57/1791.16	c 1791s |      26 | 10791314 | 10039352 |     1674  14673 |        0 |        0
1792.58/1793.16	c 1793s |      26 | 10802725 | 10050252 |     1674  14686 |        0 |        0
1794.57/1795.17	c 1795s |      26 | 10814606 | 10061452 |     1674  14699 |        0 |        0
1796.57/1797.18	c 1797s |      26 | 10826378 | 10072552 |     1674  14711 |        0 |        0
1798.57/1799.19	c 1799s |      26 | 10837702 | 10083352 |     1674  14724 |        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-4089596-1466029385/watcher-4089596-1466029385 -o /tmp/evaluation-result-4089596-1466029385/solver-4089596-1466029385 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089596-1466029385.opb 

pid=8065
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.03 2.00 4/179 8068
/proc/meminfo: memFree=30413568/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 2886 0 0 0 0 0 0 0 20 0 4 0 4988626 788983808 2736 33554432000 4194304 16246674 140733653124496 140733653123920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 193391 2745 441 2943 0 190285 0
[pid=8068/tid=8069] ppid=8065 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 808906752 2809 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 813101056 2826 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4988626 817295360 2843 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 8068
/proc/meminfo: memFree=30413568/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 29437 0 0 0 6 3 0 0 20 0 4 0 4988626 1247350784 29275 33554432000 4194304 16246674 140733653124496 140733653123920 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 304529 29283 710 2943 0 301423 0
[pid=8068/tid=8069] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 29287 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 29292 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 29303 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20051 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 8068
/proc/meminfo: memFree=30413568/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 58429 0 0 0 13 6 0 0 20 0 4 0 4988626 1247350784 58267 33554432000 4194304 16246674 140733653124496 140733653123920 13194345 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 304529 58281 710 2943 0 301423 0
[pid=8068/tid=8069] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 58286 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 58291 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 58300 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 8068
/proc/meminfo: memFree=30413568/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 87259 0 0 0 19 10 0 0 20 0 4 0 4988626 1247350784 87098 33554432000 4194304 16246674 140733653124496 140733653123920 6021055 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 304529 87117 710 2943 0 301423 0
[pid=8068/tid=8069] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 87128 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 87137 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 87142 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 8068
/proc/meminfo: memFree=30413568/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 204195 0 0 0 44 25 0 0 20 0 4 0 4988626 1247350784 204033 33554432000 4194304 16246674 140733653124496 140733653106368 13191389 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 304529 204043 710 2943 0 301423 0
[pid=8068/tid=8069] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 204047 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 204058 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4988626 1247350784 204068 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.00 4/183 8072
/proc/meminfo: memFree=29432400/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267210 0 0 0 115 34 0 0 20 0 4 0 4988626 1336479744 267028 33554432000 4194304 16246674 140733653124496 140733653106368 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326289 267028 787 2943 0 323183 0
[pid=8068/tid=8069] ppid=8065 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1336479744 267028 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1336479744 267028 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1336479744 267028 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 8072
/proc/meminfo: memFree=29344732/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267421 0 0 0 275 34 0 0 20 0 4 0 4988626 1337528320 267239 33554432000 4194304 16246674 140733653124496 140733653106368 6010021 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326545 267239 787 2943 0 323439 0
[pid=8068/tid=8069] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267239 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267239 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267239 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 8072
/proc/meminfo: memFree=29344384/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267443 0 0 0 594 34 0 0 20 0 4 0 4988626 1337528320 267261 33554432000 4194304 16246674 140733653124496 140733653106368 8224741 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326545 267261 787 2943 0 323439 0
[pid=8068/tid=8069] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267261 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267261 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267261 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8072
/proc/meminfo: memFree=29344308/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267509 0 0 0 1234 35 0 0 20 0 4 0 4988626 1337528320 267327 33554432000 4194304 16246674 140733653124496 140733653106368 12483222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326545 267327 790 2943 0 323439 0
[pid=8068/tid=8069] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267327 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267327 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267327 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8072
/proc/meminfo: memFree=29344412/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267531 0 0 0 2513 36 0 0 20 0 4 0 4988626 1337528320 267349 33554432000 4194304 16246674 140733653124496 140733653106368 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326545 267349 791 2943 0 323439 0
[pid=8068/tid=8069] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267349 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267349 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1337528320 267349 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1006 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 8072
/proc/meminfo: memFree=29341652/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267832 0 0 0 5072 36 0 0 20 0 4 0 4988626 1338576896 267650 33554432000 4194304 16246674 140733653124496 140733653106368 5546001 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326801 267650 791 2943 0 323695 0
[pid=8068/tid=8069] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267650 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267650 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267650 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8074
/proc/meminfo: memFree=29341680/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 267833 0 0 0 10191 37 0 0 20 0 4 0 4988626 1338576896 267651 33554432000 4194304 16246674 140733653124496 140733653106368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 326801 267651 792 2943 0 323695 0
[pid=8068/tid=8069] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267651 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267651 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1338576896 267651 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 8104
/proc/meminfo: memFree=29321672/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1315396 CPUtime=1301.87 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270283 0 0 0 130120 67 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140733653106368 12477817 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 328849 269955 792 2943 0 325743 0
[pid=8068/tid=8069] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 8105
/proc/meminfo: memFree=29321664/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1315396 CPUtime=1361.84 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270314 0 0 0 136116 68 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140733653107496 5546093 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 328849 269955 792 2943 0 325743 0
[pid=8068/tid=8069] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 8106
/proc/meminfo: memFree=29322892/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1315396 CPUtime=1421.84 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270314 0 0 0 142115 69 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140733653106368 5589602 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 328849 269955 792 2943 0 325743 0
[pid=8068/tid=8069] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1346965504 269955 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 8107
/proc/meminfo: memFree=29322032/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1316420 CPUtime=1481.82 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270514 0 0 0 148112 70 0 0 20 0 4 0 4988626 1348014080 270155 33554432000 4194304 16246674 140733653124496 140733653106368 5675707 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329105 270155 792 2943 0 325999 0
[pid=8068/tid=8069] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270155 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270155 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270155 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.01 3/183 8108
/proc/meminfo: memFree=29321044/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1316420 CPUtime=1541.82 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270570 0 0 0 154112 70 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140733653106368 6021072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329105 270211 792 2943 0 325999 0
[pid=8068/tid=8069] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/182 8255
/proc/meminfo: memFree=29331704/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1316420 CPUtime=1601.8 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270570 0 0 0 160108 72 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140733653106368 12483376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329105 270211 792 2943 0 325999 0
[pid=8068/tid=8069] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/184 8260
/proc/meminfo: memFree=29330416/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1316420 CPUtime=1661.79 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 270570 0 0 0 166106 73 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140733653106368 5723768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329105 270211 792 2943 0 325999 0
[pid=8068/tid=8069] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1348014080 270211 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/183 8261
/proc/meminfo: memFree=29326704/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1319492 CPUtime=1721.78 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 271338 0 0 0 172104 74 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140733653106368 6020868 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329873 270979 792 2943 0 326767 0
[pid=8068/tid=8069] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 8262
/proc/meminfo: memFree=29326336/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1319492 CPUtime=1781.78 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 271338 0 0 0 178102 76 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140733653106368 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329873 270979 792 2943 0 326767 0
[pid=8068/tid=8069] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 8262
/proc/meminfo: memFree=29326592/32872528 swapFree=524788/557492
[pid=8068] ppid=8065 vsize=1319492 CPUtime=1800.07 cores=1,3,5,7
/proc/8068/stat : 8068 (toysat) R 8065 8068 5756 0 -1 4202496 271338 0 0 0 179931 76 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140733653106368 12483317 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8068/statm: 329873 270979 792 2943 0 326767 0
[pid=8068/tid=8069] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8069/stat : 8069 (toysat) S 8065 8068 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326185446640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=8068/tid=8070] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8070/stat : 8070 (toysat) S 8065 8068 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326174956784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=8068/tid=8071] ppid=8065 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8068/task/8071/stat : 8071 (toysat) S 8065 8068 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4988626 1351159808 270979 33554432000 4194304 16246674 140733653124496 140326164483248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1319492

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 8068 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.32
CPU system time (s): 0.762884
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.762884
maximum resident set size= 1083916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271338
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= 450
involuntary context switches= 2279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1903 second user time and 18.2452 second system time

The end

Begin job on node106 at 2016-06-16 00:23:05
IDJOB=4089596
IDBENCH=107429
IDSOLVER=2542
FILE ID=node106/4089596-1466029385
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 6f7bae7dfc8a12a37d6abb50eaee47e6
RANDOM SEED=1676656876

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30413560 kB
Buffers:           36360 kB
Cached:            77448 kB
SwapCached:         1480 kB
Active:          1145928 kB
Inactive:          44828 kB
Active(anon):    1078156 kB
Inactive(anon):     1188 kB
Active(file):      67772 kB
Inactive(file):    43640 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16476 kB
Writeback:             0 kB
AnonPages:       1633848 kB
Mapped:            10408 kB
Shmem:                 0 kB
Slab:             577452 kB
SReclaimable:      20992 kB
SUnreclaim:       556460 kB
KernelStack:        1448 kB
PageTables:         6904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1776684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 00:53:06