0.00/0.00	c 2016-06-16T00:44:15+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-4089638-1466030655.opb"]
0.00/0.01	c use --random-gen="3399060926 3341504413 3227036147 2384237166 3597007265 875040227 3446762104 234779607 3211017067 2068881965 3633085889 2399978229 2757838073 2182802892 2063626437 2736152462 522278603 2657153015 2764624164 3034001732 1406129232 2434371102 133263809 2886809816 2054526553 1758259117 1203606465 3017257036 4009719631 3257387277 225066897 888335124 2145136523 2621130102 799483433 1243357698 739862635 2737632656 4197471351 3179052911 3376388380 1626876841 78977327 2505440702 4290690080 3107999717 2201706327 2600258474 3569279354 292837315 3793106848 292817792 289582519 1915581185 3681478354 387247751 2748025484 3248253202 410772829 2818176251 153329786 3080337608 3449453898 3056878529 3256129107 184192721 2991896163 1801508406 606572772 236615825 28471827 1975772318 4029003180 2797116091 2605545626 316935908 2738999731 3413163007 214754621 1459041459 2415265347 1795769131 1566494084 2702437175 1188052971 2997813876 280740921 791535765 1608986084 1918379193 285355008 82758218 2679852024 3055063702 1070830471 2828085492 2492431378 1928277498 2075831287 2251800392 3029680883 2198619335 3634301837 242758657 2940275959 593339421 2821794061 3094763669 421652309 3223946931 3547646461 781767542 2392190133 1100951125 789316625 3302122175 2107836899 3696430031 2473358717 1073665479 2637516118 3472755579 1676050516 4164466552 3427844187 1660484409 2975943053 949211701 4203433042 3518690597 1880858070 4065982704 3894658149 1962585258 3204343047 1242325285 553647902 3028833363 2997840118 4230779614 1891562378 3336830896 1342674813 3590945116 3364741855 4130845105 4261154797 376910949 3558525422 3514026006 3584934732 693579890 4099562576 3034433625 518806913 2634879074 1353922368 3573270083 1180085787 1228553852 1152034062 1049163697 209644097 235476519 3577341645 2573490319 3273795381 2612402084 3138332594 3267616252 1222436625 2400217864 1367780566 2384601982 2029665356 1342846294 2277747625 3186416059 3489129521 2556247515 185977793 2788464147 732848536 3962751759 19424805 3887412506 1327302629 875996539 424927790 36200751 4281969297 3280167278 3811204968 832262906 475543444 4011009375 944371802 1629612792 3035779178 1281071669 3396763270 832758170 751450358 2004839649 2323362137 1274475323 3312237508 2983942887 3509503065 35784554 181406660 4095282908 3709590851 4017502421 1616745887 815852688 4105156050 7421608 2296285406 4173074781 2102264823 1048158944 341794342 1265204989 666888454 2403592421 2094919859 3019990263 3838675423 1381123419 3982142417 3967012341 1683878684 1826977281 971394643 912536308 970147665 365342079 40437607 3307463080 2506469174 3016449065 3640169258 3762940861 1770177265 3121795952 2393177666 4264406265 4213440091 3196968348 1797520353 3429650140 1020285007 3891817667 3771315921 2412727016 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 253
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      126      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      126      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      367 |      250 |      139      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      648 |      475 |      153      3 |        0 |        0
0.09/0.39	c  0.1s |       4 |     1038 |      813 |      169      6 |        0 |        0
0.09/0.39	c  0.2s |       5 |     1597 |     1320 |      186     10 |        0 |        0
0.09/0.39	c  0.3s |       6 |     2407 |     2081 |      226     16 |        0 |        0
0.48/0.57	c  0.5s |       7 |     3610 |     3223 |      249     24 |        0 |        0
0.79/0.87	c  0.8s |       8 |     5402 |     4936 |      274     36 |        0 |        0
1.08/1.18	c  1.2s |       9 |     8076 |     7506 |      302     51 |        0 |        0
1.59/1.65	c  1.6s |      10 |    12012 |    11361 |      333     73 |        0 |        0
2.29/2.34	c  2.3s |      11 |    17916 |    17144 |      367    103 |        0 |        0
3.29/3.39	c  3.4s |      12 |    26795 |    25819 |      404    144 |        0 |        0
4.89/4.97	c  5.0s |      13 |    40034 |    38832 |      445    201 |        0 |        0
6.89/6.97	c  7.0s |      13 |    56744 |    55232 |      445    267 |        0 |        0
7.28/7.36	c  7.3s |      14 |    59914 |    58352 |      490    279 |        0 |        0
9.28/9.37	c  9.3s |      14 |    76538 |    74452 |      490    339 |        0 |        0
10.98/11.01	c 11.0s |      15 |    90196 |    87632 |      539    387 |        0 |        0
12.98/13.02	c 13.0s |      15 |   106427 |   103432 |      539    441 |        0 |        0
14.98/15.04	c 15.0s |      15 |   122628 |   119332 |      539    495 |        0 |        0
16.58/16.62	c 16.6s |      16 |   135148 |   131552 |      593    536 |        0 |        0
18.58/18.62	c 18.6s |      16 |   151310 |   147252 |      593    585 |        0 |        0
20.58/20.62	c 20.6s |      16 |   167357 |   162652 |      593    632 |        0 |        0
22.58/22.64	c 22.6s |      16 |   183048 |   177952 |      593    680 |        0 |        0
24.58/24.65	c 24.6s |      16 |   198835 |   193252 |      593    728 |        0 |        0
25.08/25.19	c 25.2s |      17 |   203214 |   197432 |      653    740 |        0 |        0
27.18/27.20	c 27.2s |      17 |   218949 |   212732 |      653    784 |        0 |        0
29.18/29.20	c 29.2s |      17 |   234544 |   227732 |      653    826 |        0 |        0
31.18/31.20	c 31.2s |      17 |   250133 |   242732 |      653    869 |        0 |        0
33.18/33.21	c 33.2s |      17 |   265831 |   257832 |      653    912 |        0 |        0
35.18/35.22	c 35.2s |      17 |   281377 |   272832 |      653    955 |        0 |        0
37.18/37.23	c 37.2s |      17 |   297224 |   288032 |      653    998 |        0 |        0
38.28/38.33	c 38.3s |      18 |   305858 |   296252 |      719   1020 |        0 |        0
40.28/40.33	c 40.3s |      18 |   321874 |   311452 |      719   1060 |        0 |        0
42.28/42.34	c 42.3s |      18 |   337229 |   326352 |      719   1099 |        0 |        0
44.29/44.35	c 44.3s |      18 |   352624 |   341352 |      719   1138 |        0 |        0
46.28/46.35	c 46.3s |      18 |   368103 |   356052 |      719   1176 |        0 |        0
48.28/48.37	c 48.3s |      18 |   383688 |   370952 |      719   1215 |        0 |        0
50.28/50.37	c 50.4s |      18 |   399300 |   385752 |      719   1253 |        0 |        0
52.28/52.38	c 52.4s |      18 |   414804 |   400752 |      719   1292 |        0 |        0
54.28/54.38	c 54.4s |      18 |   430008 |   415452 |      719   1331 |        0 |        0
56.28/56.39	c 56.4s |      18 |   445246 |   430352 |      719   1369 |        0 |        0
58.17/58.28	c 58.3s |      19 |   459689 |   444482 |      791   1405 |        0 |        0
60.17/60.28	c 60.3s |      19 |   475395 |   459482 |      791   1441 |        0 |        0
62.17/62.29	c 62.3s |      19 |   490852 |   474282 |      791   1476 |        0 |        0
64.27/64.31	c 64.3s |      19 |   506204 |   488982 |      791   1511 |        0 |        0
66.28/66.31	c 66.3s |      19 |   521402 |   503482 |      791   1546 |        0 |        0
68.27/68.32	c 68.3s |      19 |   536747 |   518182 |      791   1581 |        0 |        0
70.27/70.33	c 70.3s |      19 |   552085 |   532782 |      791   1615 |        0 |        0
72.27/72.34	c 72.3s |      19 |   567641 |   547282 |      791   1650 |        0 |        0
74.27/74.35	c 74.3s |      19 |   583035 |   561782 |      791   1684 |        0 |        0
76.27/76.36	c 76.3s |      19 |   598392 |   576282 |      791   1719 |        0 |        0
78.28/78.36	c 78.3s |      19 |   613308 |   590782 |      791   1753 |        0 |        0
80.27/80.37	c 80.4s |      19 |   628102 |   605082 |      791   1788 |        0 |        0
82.28/82.37	c 82.4s |      19 |   643102 |   619382 |      791   1822 |        0 |        0
84.28/84.38	c 84.4s |      19 |   657928 |   633782 |      791   1856 |        0 |        0
86.27/86.39	c 86.4s |      19 |   673330 |   648482 |      791   1891 |        0 |        0
88.37/88.40	c 88.4s |      19 |   688753 |   663282 |      871   1926 |        0 |        0
88.77/88.88	c 88.9s |      20 |   692345 |   666827 |      871   1933 |        0 |        0
90.77/90.89	c 90.9s |      20 |   707575 |   681527 |      871   1965 |        0 |        0
92.87/92.90	c 92.9s |      20 |   722784 |   695927 |      871   1996 |        0 |        0
94.88/94.90	c 94.9s |      20 |   737927 |   710527 |      871   2028 |        0 |        0
96.87/96.92	c 96.9s |      20 |   753041 |   725027 |      871   2060 |        0 |        0
98.87/98.92	c 98.9s |      20 |   768362 |   739727 |      871   2092 |        0 |        0
100.87/100.92	c  100s |      20 |   783469 |   754427 |      871   2124 |        0 |        0
102.87/102.93	c  102s |      20 |   799057 |   769027 |      871   2155 |        0 |        0
104.87/104.94	c  104s |      20 |   814096 |   783627 |      871   2187 |        0 |        0
106.87/106.95	c  106s |      20 |   829396 |   798127 |      871   2219 |        0 |        0
108.87/108.96	c  108s |      20 |   844539 |   812627 |      871   2250 |        0 |        0
110.86/110.97	c  110s |      20 |   859563 |   827027 |      871   2282 |        0 |        0
112.86/112.97	c  112s |      20 |   874148 |   841127 |      871   2312 |        0 |        0
114.87/114.97	c  114s |      20 |   888774 |   855227 |      871   2343 |        0 |        0
116.88/116.98	c  116s |      20 |   903330 |   869327 |      871   2374 |        0 |        0
118.87/118.98	c  118s |      20 |   918596 |   883827 |      871   2405 |        0 |        0
120.87/120.99	c  120s |      20 |   933760 |   898227 |      871   2437 |        0 |        0
122.87/122.99	c  122s |      20 |   948801 |   912727 |      871   2468 |        0 |        0
124.97/125.01	c  124s |      20 |   963972 |   927227 |      871   2500 |        0 |        0
126.97/127.02	c  127s |      20 |   978824 |   941527 |      871   2531 |        0 |        0
128.97/129.03	c  129s |      20 |   993359 |   955627 |      871   2562 |        0 |        0
130.97/131.05	c  131s |      20 |  1008411 |   969927 |      871   2593 |        0 |        0
132.96/133.05	c  133s |      20 |  1023106 |   984227 |      871   2624 |        0 |        0
134.96/135.06	c  135s |      20 |  1037855 |   998427 |      959   2654 |        0 |        0
135.26/135.32	c  135s |      21 |  1039798 |  1000345 |      959   2658 |        0 |        0
137.26/137.33	c  137s |      21 |  1054621 |  1014545 |      959   2686 |        0 |        0
139.26/139.34	c  139s |      21 |  1069517 |  1028945 |      959   2714 |        0 |        0
141.26/141.34	c  141s |      21 |  1084467 |  1043345 |      959   2743 |        0 |        0
143.27/143.35	c  143s |      21 |  1099482 |  1057445 |      959   2771 |        0 |        0
145.26/145.36	c  145s |      21 |  1114241 |  1071845 |      959   2799 |        0 |        0
147.26/147.37	c  147s |      21 |  1128999 |  1085845 |      959   2827 |        0 |        0
149.26/149.38	c  149s |      21 |  1143616 |  1099945 |      959   2855 |        0 |        0
151.27/151.38	c  151s |      21 |  1158277 |  1114045 |      959   2883 |        0 |        0
153.27/153.38	c  153s |      21 |  1173235 |  1128345 |      959   2911 |        0 |        0
155.27/155.40	c  155s |      21 |  1187868 |  1142545 |      959   2940 |        0 |        0
157.37/157.41	c  157s |      21 |  1202733 |  1156845 |      959   2968 |        0 |        0
159.36/159.42	c  159s |      21 |  1217319 |  1170845 |      959   2996 |        0 |        0
161.36/161.43	c  161s |      21 |  1231938 |  1185045 |      959   3024 |        0 |        0
163.36/163.45	c  163s |      21 |  1246719 |  1199045 |      959   3052 |        0 |        0
165.36/165.45	c  165s |      21 |  1261116 |  1212845 |      959   3079 |        0 |        0
167.37/167.46	c  167s |      21 |  1275812 |  1226845 |      959   3107 |        0 |        0
169.36/169.46	c  169s |      21 |  1290757 |  1241145 |      959   3136 |        0 |        0
171.36/171.46	c  171s |      21 |  1305706 |  1255245 |      959   3164 |        0 |        0
173.36/173.47	c  173s |      21 |  1320359 |  1269245 |      959   3192 |        0 |        0
175.36/175.47	c  175s |      21 |  1335152 |  1283145 |      959   3219 |        0 |        0
177.37/177.48	c  177s |      21 |  1349867 |  1296945 |      959   3247 |        0 |        0
179.36/179.49	c  179s |      21 |  1364338 |  1310845 |      959   3275 |        0 |        0
181.46/181.50	c  181s |      21 |  1379100 |  1324845 |      959   3302 |        0 |        0
183.46/183.51	c  183s |      21 |  1393838 |  1338745 |      959   3330 |        0 |        0
185.45/185.51	c  185s |      21 |  1408323 |  1352745 |      959   3358 |        0 |        0
187.45/187.52	c  187s |      21 |  1423119 |  1366645 |      959   3385 |        0 |        0
189.46/189.53	c  189s |      21 |  1437683 |  1380445 |      959   3413 |        0 |        0
191.45/191.54	c  191s |      21 |  1452270 |  1394145 |      959   3440 |        0 |        0
193.45/193.56	c  193s |      21 |  1466744 |  1408045 |      959   3468 |        0 |        0
195.45/195.56	c  195s |      21 |  1481177 |  1422045 |      959   3495 |        0 |        0
197.45/197.56	c  197s |      21 |  1495581 |  1436045 |      959   3523 |        0 |        0
199.45/199.57	c  199s |      21 |  1510209 |  1450045 |      959   3551 |        0 |        0
201.47/201.57	c  201s |      21 |  1524534 |  1463845 |      959   3579 |        0 |        0
203.46/203.58	c  203s |      21 |  1538897 |  1477345 |      959   3605 |        0 |        0
205.46/205.59	c  205s |      21 |  1553178 |  1491045 |     1055   3632 |        0 |        0
206.86/206.98	c  206s |      22 |  1563028 |  1500622 |     1055   3649 |        0 |        0
208.86/208.98	c  208s |      22 |  1577976 |  1515022 |     1055   3676 |        0 |        0
210.86/210.99	c  210s |      22 |  1592676 |  1528822 |     1055   3700 |        0 |        0
212.96/213.00	c  212s |      22 |  1607400 |  1542722 |     1055   3726 |        0 |        0
214.96/215.00	c  214s |      22 |  1622028 |  1556522 |     1055   3751 |        0 |        0
216.96/217.01	c  216s |      22 |  1636667 |  1570522 |     1055   3776 |        0 |        0
218.95/219.02	c  219s |      22 |  1651167 |  1584522 |     1055   3801 |        0 |        0
220.95/221.03	c  221s |      22 |  1665695 |  1598422 |     1055   3826 |        0 |        0
222.95/223.04	c  223s |      22 |  1679938 |  1612122 |     1055   3851 |        0 |        0
224.95/225.05	c  225s |      22 |  1695433 |  1626222 |     1055   3877 |        0 |        0
226.95/227.05	c  227s |      22 |  1710613 |  1640222 |     1055   3902 |        0 |        0
228.96/229.06	c  229s |      22 |  1725391 |  1654322 |     1055   3928 |        0 |        0
230.95/231.06	c  231s |      22 |  1740406 |  1668422 |     1055   3953 |        0 |        0
232.95/233.07	c  233s |      22 |  1755380 |  1682222 |     1055   3978 |        0 |        0
234.95/235.07	c  235s |      22 |  1769966 |  1696122 |     1055   4004 |        0 |        0
236.95/237.07	c  237s |      22 |  1784803 |  1709622 |     1055   4028 |        0 |        0
238.96/239.09	c  239s |      22 |  1799225 |  1723122 |     1055   4052 |        0 |        0
240.95/241.09	c  241s |      22 |  1813482 |  1736822 |     1055   4077 |        0 |        0
243.05/243.10	c  243s |      22 |  1827888 |  1750422 |     1055   4102 |        0 |        0
245.05/245.10	c  245s |      22 |  1842704 |  1764422 |     1055   4127 |        0 |        0
247.05/247.12	c  247s |      22 |  1857042 |  1778222 |     1055   4152 |        0 |        0
249.05/249.12	c  249s |      22 |  1871399 |  1792022 |     1055   4177 |        0 |        0
251.05/251.14	c  251s |      22 |  1886270 |  1805622 |     1055   4202 |        0 |        0
253.05/253.15	c  253s |      22 |  1900583 |  1819322 |     1055   4227 |        0 |        0
255.05/255.16	c  255s |      22 |  1914812 |  1832922 |     1055   4251 |        0 |        0
257.04/257.17	c  257s |      22 |  1929344 |  1846522 |     1055   4276 |        0 |        0
259.04/259.18	c  259s |      22 |  1943812 |  1860122 |     1055   4301 |        0 |        0
261.04/261.19	c  261s |      22 |  1958023 |  1873622 |     1055   4325 |        0 |        0
263.05/263.20	c  263s |      22 |  1972051 |  1886722 |     1055   4349 |        0 |        0
265.14/265.20	c  265s |      22 |  1986254 |  1899822 |     1055   4373 |        0 |        0
267.14/267.22	c  267s |      22 |  2000960 |  1913722 |     1055   4398 |        0 |        0
269.14/269.22	c  269s |      22 |  2015895 |  1927622 |     1055   4423 |        0 |        0
271.14/271.23	c  271s |      22 |  2030629 |  1941522 |     1055   4448 |        0 |        0
273.14/273.23	c  273s |      22 |  2045380 |  1955122 |     1055   4473 |        0 |        0
275.15/275.23	c  275s |      22 |  2059722 |  1968822 |     1055   4498 |        0 |        0
277.15/277.24	c  277s |      22 |  2074843 |  1982522 |     1055   4523 |        0 |        0
279.15/279.24	c  279s |      22 |  2089548 |  1996222 |     1055   4548 |        0 |        0
281.15/281.26	c  281s |      22 |  2103718 |  2009822 |     1055   4573 |        0 |        0
283.15/283.27	c  283s |      22 |  2117925 |  2023322 |     1055   4597 |        0 |        0
285.15/285.28	c  285s |      22 |  2132419 |  2036822 |     1055   4622 |        0 |        0
287.14/287.30	c  287s |      22 |  2146723 |  2050022 |     1055   4646 |        0 |        0
289.24/289.30	c  289s |      22 |  2161383 |  2063622 |     1055   4670 |        0 |        0
291.24/291.31	c  291s |      22 |  2175570 |  2077022 |     1055   4694 |        0 |        0
293.24/293.32	c  293s |      22 |  2190160 |  2090422 |     1055   4719 |        0 |        0
295.24/295.33	c  295s |      22 |  2204160 |  2103922 |     1055   4743 |        0 |        0
297.25/297.33	c  297s |      22 |  2218438 |  2117122 |     1055   4767 |        0 |        0
299.24/299.34	c  299s |      22 |  2232934 |  2130422 |     1055   4791 |        0 |        0
301.24/301.35	c  301s |      22 |  2247771 |  2143722 |     1055   4815 |        0 |        0
303.24/303.35	c  303s |      22 |  2262040 |  2156922 |     1055   4839 |        0 |        0
305.24/305.36	c  305s |      22 |  2276605 |  2170522 |     1055   4864 |        0 |        0
307.24/307.37	c  307s |      22 |  2291271 |  2184122 |     1055   4889 |        0 |        0
309.24/309.37	c  309s |      22 |  2305669 |  2197522 |     1055   4913 |        0 |        0
311.24/311.37	c  311s |      22 |  2319739 |  2210922 |     1055   4937 |        0 |        0
313.24/313.38	c  313s |      22 |  2334167 |  2224522 |     1055   4962 |        0 |        0
315.24/315.38	c  315s |      22 |  2348822 |  2238322 |     1161   4986 |        0 |        0
317.13/317.27	c  317s |      23 |  2362259 |  2251038 |     1161   5007 |        0 |        0
319.14/319.29	c  319s |      23 |  2376321 |  2264338 |     1161   5029 |        0 |        0
321.23/321.30	c  321s |      23 |  2390869 |  2277838 |     1161   5052 |        0 |        0
323.23/323.31	c  323s |      23 |  2405034 |  2291238 |     1161   5074 |        0 |        0
325.23/325.32	c  325s |      23 |  2419210 |  2304338 |     1161   5095 |        0 |        0
327.23/327.33	c  327s |      23 |  2434024 |  2317638 |     1161   5117 |        0 |        0
329.23/329.33	c  329s |      23 |  2447894 |  2330638 |     1161   5139 |        0 |        0
331.24/331.34	c  331s |      23 |  2462174 |  2343938 |     1161   5161 |        0 |        0
333.23/333.34	c  333s |      23 |  2476099 |  2357238 |     1161   5183 |        0 |        0
335.23/335.34	c  335s |      23 |  2489870 |  2370238 |     1161   5204 |        0 |        0
337.23/337.35	c  337s |      23 |  2503832 |  2383238 |     1161   5226 |        0 |        0
339.23/339.36	c  339s |      23 |  2517956 |  2396638 |     1161   5248 |        0 |        0
341.24/341.36	c  341s |      23 |  2531784 |  2409638 |     1161   5270 |        0 |        0
343.23/343.37	c  343s |      23 |  2545931 |  2422838 |     1161   5291 |        0 |        0
345.23/345.38	c  345s |      23 |  2559997 |  2435938 |     1161   5313 |        0 |        0
347.24/347.39	c  347s |      23 |  2573812 |  2449138 |     1161   5335 |        0 |        0
349.23/349.39	c  349s |      23 |  2587466 |  2462138 |     1161   5356 |        0 |        0
351.33/351.40	c  351s |      23 |  2601502 |  2475638 |     1161   5379 |        0 |        0
353.34/353.40	c  353s |      23 |  2615682 |  2489138 |     1161   5401 |        0 |        0
355.33/355.41	c  355s |      23 |  2629743 |  2502438 |     1161   5423 |        0 |        0
357.33/357.42	c  357s |      23 |  2643504 |  2515538 |     1161   5445 |        0 |        0
359.33/359.42	c  359s |      23 |  2657089 |  2528538 |     1161   5466 |        0 |        0
361.33/361.43	c  361s |      23 |  2671018 |  2541838 |     1161   5488 |        0 |        0
363.33/363.44	c  363s |      23 |  2685398 |  2555038 |     1161   5510 |        0 |        0
365.34/365.45	c  365s |      23 |  2699317 |  2568138 |     1161   5532 |        0 |        0
367.33/367.46	c  367s |      23 |  2713345 |  2581438 |     1161   5554 |        0 |        0
369.33/369.47	c  369s |      23 |  2727166 |  2594638 |     1161   5576 |        0 |        0
371.33/371.48	c  371s |      23 |  2741276 |  2607938 |     1161   5598 |        0 |        0
373.43/373.50	c  373s |      23 |  2755178 |  2621238 |     1161   5620 |        0 |        0
375.43/375.50	c  375s |      23 |  2769324 |  2634338 |     1161   5642 |        0 |        0
377.33/377.50	c  377s |      23 |  2783471 |  2647438 |     1161   5663 |        0 |        0
379.43/379.52	c  379s |      23 |  2797709 |  2660838 |     1161   5685 |        0 |        0
381.43/381.52	c  381s |      23 |  2811931 |  2674138 |     1161   5707 |        0 |        0
383.43/383.54	c  383s |      23 |  2825549 |  2687038 |     1161   5729 |        0 |        0
385.43/385.55	c  385s |      23 |  2839689 |  2700138 |     1161   5750 |        0 |        0
387.43/387.57	c  387s |      23 |  2853814 |  2713238 |     1161   5772 |        0 |        0
389.43/389.57	c  389s |      23 |  2867502 |  2726338 |     1161   5794 |        0 |        0
391.43/391.58	c  391s |      23 |  2881197 |  2739238 |     1161   5815 |        0 |        0
393.43/393.59	c  393s |      23 |  2895231 |  2752038 |     1161   5836 |        0 |        0
395.53/395.60	c  395s |      23 |  2909393 |  2765438 |     1161   5858 |        0 |        0
397.53/397.61	c  397s |      23 |  2924683 |  2778638 |     1161   5880 |        0 |        0
399.53/399.63	c  399s |      23 |  2938810 |  2791838 |     1161   5902 |        0 |        0
401.52/401.63	c  401s |      23 |  2953215 |  2805038 |     1161   5924 |        0 |        0
403.52/403.64	c  403s |      23 |  2967604 |  2818038 |     1161   5945 |        0 |        0
405.52/405.66	c  405s |      23 |  2981981 |  2831238 |     1161   5967 |        0 |        0
407.52/407.68	c  407s |      23 |  2995959 |  2844238 |     1161   5989 |        0 |        0
409.52/409.69	c  409s |      23 |  3010121 |  2857438 |     1161   6010 |        0 |        0
411.53/411.70	c  411s |      23 |  3023922 |  2870538 |     1161   6032 |        0 |        0
413.62/413.71	c  413s |      23 |  3038004 |  2883638 |     1161   6054 |        0 |        0
415.62/415.71	c  415s |      23 |  3052215 |  2896838 |     1161   6076 |        0 |        0
417.62/417.72	c  417s |      23 |  3066263 |  2910138 |     1161   6098 |        0 |        0
419.62/419.73	c  419s |      23 |  3080375 |  2923238 |     1161   6120 |        0 |        0
421.62/421.74	c  421s |      23 |  3094583 |  2936538 |     1161   6142 |        0 |        0
423.62/423.74	c  423s |      23 |  3108678 |  2949738 |     1161   6163 |        0 |        0
425.62/425.75	c  425s |      23 |  3122353 |  2962838 |     1161   6185 |        0 |        0
427.62/427.76	c  427s |      23 |  3136179 |  2975938 |     1161   6207 |        0 |        0
429.62/429.77	c  429s |      23 |  3151017 |  2989338 |     1161   6229 |        0 |        0
431.62/431.77	c  431s |      23 |  3165746 |  3002638 |     1161   6251 |        0 |        0
433.63/433.78	c  433s |      23 |  3180213 |  3016038 |     1161   6273 |        0 |        0
435.62/435.80	c  435s |      23 |  3194521 |  3029338 |     1161   6295 |        0 |        0
437.72/437.80	c  437s |      23 |  3208577 |  3042338 |     1161   6317 |        0 |        0
439.72/439.81	c  439s |      23 |  3222283 |  3055238 |     1161   6338 |        0 |        0
441.72/441.82	c  441s |      23 |  3236130 |  3068138 |     1161   6360 |        0 |        0
443.72/443.83	c  443s |      23 |  3250512 |  3081038 |     1161   6381 |        0 |        0
445.73/445.83	c  445s |      23 |  3264056 |  3093838 |     1161   6402 |        0 |        0
447.72/447.84	c  447s |      23 |  3277947 |  3106938 |     1161   6424 |        0 |        0
449.72/449.85	c  449s |      23 |  3292076 |  3120138 |     1161   6446 |        0 |        0
451.72/451.86	c  451s |      23 |  3306053 |  3133238 |     1161   6468 |        0 |        0
453.72/453.86	c  453s |      23 |  3319820 |  3146438 |     1161   6490 |        0 |        0
455.72/455.87	c  455s |      23 |  3333389 |  3159338 |     1161   6511 |        0 |        0
457.72/457.88	c  457s |      23 |  3347170 |  3172338 |     1161   6533 |        0 |        0
459.72/459.89	c  459s |      23 |  3360835 |  3185438 |     1161   6554 |        0 |        0
461.71/461.89	c  461s |      23 |  3374558 |  3198538 |     1161   6576 |        0 |        0
463.81/463.91	c  463s |      23 |  3388229 |  3211738 |     1161   6598 |        0 |        0
465.81/465.92	c  465s |      23 |  3401756 |  3224838 |     1161   6620 |        0 |        0
467.81/467.92	c  467s |      23 |  3415534 |  3237938 |     1161   6641 |        0 |        0
469.82/469.92	c  469s |      23 |  3429309 |  3251038 |     1161   6663 |        0 |        0
471.81/471.93	c  471s |      23 |  3443047 |  3264138 |     1161   6685 |        0 |        0
473.81/473.94	c  473s |      23 |  3456800 |  3277038 |     1161   6706 |        0 |        0
475.81/475.94	c  475s |      23 |  3470168 |  3289838 |     1161   6727 |        0 |        0
477.82/477.95	c  477s |      23 |  3484143 |  3302838 |     1161   6749 |        0 |        0
479.82/479.96	c  479s |      23 |  3498069 |  3315338 |     1161   6770 |        0 |        0
481.81/481.97	c  481s |      23 |  3511808 |  3328538 |     1161   6792 |        0 |        0
483.81/483.98	c  483s |      23 |  3525450 |  3341638 |     1161   6813 |        0 |        0
485.81/485.99	c  485s |      23 |  3539421 |  3354638 |     1278   6834 |        0 |        0
487.81/487.99	c  487s |      23 |  3553249 |  3367838 |     1278   6854 |        0 |        0
489.21/489.34	c  489s |      24 |  3562681 |  3376662 |     1278   6868 |        0 |        0
491.21/491.34	c  491s |      24 |  3576151 |  3389662 |     1278   6887 |        0 |        0
493.21/493.36	c  493s |      24 |  3589857 |  3402762 |     1278   6907 |        0 |        0
495.22/495.36	c  495s |      24 |  3603586 |  3415662 |     1278   6926 |        0 |        0
497.21/497.36	c  497s |      24 |  3617022 |  3428462 |     1278   6946 |        0 |        0
499.21/499.37	c  499s |      24 |  3630690 |  3441662 |     1278   6966 |        0 |        0
501.20/501.39	c  501s |      24 |  3644196 |  3454762 |     1278   6985 |        0 |        0
503.31/503.40	c  503s |      24 |  3657278 |  3467462 |     1278   7005 |        0 |        0
505.31/505.40	c  505s |      24 |  3670894 |  3480262 |     1278   7024 |        0 |        0
507.22/507.40	c  507s |      24 |  3684329 |  3493162 |     1278   7043 |        0 |        0
509.31/509.40	c  509s |      24 |  3697685 |  3506062 |     1278   7063 |        0 |        0
511.31/511.42	c  511s |      24 |  3711247 |  3519062 |     1278   7082 |        0 |        0
513.31/513.42	c  513s |      24 |  3724400 |  3531462 |     1278   7101 |        0 |        0
515.31/515.43	c  515s |      24 |  3737770 |  3544262 |     1278   7120 |        0 |        0
517.31/517.44	c  517s |      24 |  3751586 |  3557162 |     1278   7140 |        0 |        0
519.31/519.45	c  519s |      24 |  3764797 |  3569762 |     1278   7159 |        0 |        0
521.30/521.46	c  521s |      24 |  3778241 |  3582462 |     1278   7178 |        0 |        0
523.30/523.48	c  523s |      24 |  3791873 |  3595362 |     1278   7197 |        0 |        0
525.30/525.49	c  525s |      24 |  3805400 |  3608062 |     1278   7217 |        0 |        0
527.40/527.51	c  527s |      24 |  3818647 |  3620662 |     1278   7236 |        0 |        0
529.40/529.51	c  529s |      24 |  3832005 |  3633462 |     1278   7255 |        0 |        0
531.41/531.51	c  531s |      24 |  3845248 |  3646162 |     1278   7274 |        0 |        0
533.40/533.51	c  533s |      24 |  3858530 |  3658762 |     1278   7293 |        0 |        0
535.40/535.52	c  535s |      24 |  3871570 |  3671262 |     1278   7312 |        0 |        0
537.40/537.53	c  537s |      24 |  3884811 |  3683862 |     1278   7331 |        0 |        0
539.40/539.53	c  539s |      24 |  3897928 |  3696562 |     1278   7350 |        0 |        0
541.41/541.53	c  541s |      24 |  3911140 |  3709062 |     1278   7369 |        0 |        0
543.40/543.53	c  543s |      24 |  3924294 |  3721562 |     1278   7388 |        0 |        0
545.40/545.53	c  545s |      24 |  3937595 |  3734262 |     1278   7407 |        0 |        0
547.40/547.54	c  547s |      24 |  3950773 |  3746962 |     1278   7426 |        0 |        0
549.40/549.54	c  549s |      24 |  3964016 |  3759562 |     1278   7445 |        0 |        0
551.41/551.55	c  551s |      24 |  3977710 |  3772462 |     1278   7465 |        0 |        0
553.41/553.57	c  553s |      24 |  3991581 |  3785462 |     1278   7484 |        0 |        0
555.40/555.58	c  555s |      24 |  4005077 |  3798162 |     1278   7504 |        0 |        0
557.40/557.58	c  557s |      24 |  4019099 |  3810962 |     1278   7523 |        0 |        0
559.40/559.59	c  559s |      24 |  4033458 |  3823862 |     1278   7542 |        0 |        0
561.40/561.59	c  561s |      24 |  4047404 |  3836862 |     1278   7562 |        0 |        0
563.50/563.61	c  563s |      24 |  4061541 |  3849662 |     1278   7581 |        0 |        0
565.51/565.61	c  565s |      24 |  4075367 |  3862462 |     1278   7601 |        0 |        0
567.50/567.63	c  567s |      24 |  4089001 |  3875362 |     1278   7620 |        0 |        0
569.50/569.63	c  569s |      24 |  4102786 |  3888062 |     1278   7639 |        0 |        0
571.50/571.63	c  571s |      24 |  4116559 |  3900862 |     1278   7659 |        0 |        0
573.49/573.64	c  573s |      24 |  4130409 |  3913762 |     1278   7678 |        0 |        0
575.50/575.65	c  575s |      24 |  4144813 |  3926862 |     1278   7698 |        0 |        0
577.49/577.66	c  577s |      24 |  4158690 |  3939662 |     1278   7717 |        0 |        0
579.49/579.67	c  579s |      24 |  4172439 |  3952662 |     1278   7737 |        0 |        0
581.49/581.68	c  581s |      24 |  4186241 |  3965462 |     1278   7756 |        0 |        0
583.49/583.68	c  583s |      24 |  4200474 |  3978262 |     1278   7776 |        0 |        0
585.49/585.69	c  585s |      24 |  4214031 |  3991062 |     1278   7795 |        0 |        0
587.50/587.69	c  587s |      24 |  4227122 |  4003462 |     1278   7814 |        0 |        0
589.49/589.69	c  589s |      24 |  4241421 |  4016562 |     1278   7833 |        0 |        0
591.59/591.71	c  591s |      24 |  4255632 |  4029562 |     1278   7853 |        0 |        0
593.59/593.71	c  593s |      24 |  4269719 |  4042662 |     1278   7873 |        0 |        0
595.59/595.72	c  595s |      24 |  4283389 |  4055462 |     1278   7892 |        0 |        0
597.59/597.73	c  597s |      24 |  4296656 |  4068162 |     1278   7911 |        0 |        0
599.59/599.74	c  599s |      24 |  4310017 |  4081062 |     1278   7930 |        0 |        0
601.59/601.75	c  601s |      24 |  4323426 |  4093962 |     1278   7950 |        0 |        0
603.59/603.76	c  603s |      24 |  4336781 |  4106662 |     1278   7969 |        0 |        0
605.59/605.77	c  605s |      24 |  4350229 |  4119462 |     1278   7988 |        0 |        0
607.59/607.78	c  607s |      24 |  4363473 |  4132262 |     1278   8008 |        0 |        0
609.60/609.78	c  609s |      24 |  4376653 |  4145062 |     1278   8027 |        0 |        0
611.60/611.79	c  611s |      24 |  4389910 |  4157862 |     1278   8046 |        0 |        0
613.69/613.80	c  613s |      24 |  4403255 |  4170662 |     1278   8066 |        0 |        0
615.69/615.80	c  615s |      24 |  4416830 |  4183462 |     1278   8085 |        0 |        0
617.69/617.82	c  617s |      24 |  4430593 |  4196462 |     1278   8104 |        0 |        0
619.69/619.82	c  619s |      24 |  4443763 |  4209062 |     1278   8123 |        0 |        0
621.70/621.83	c  621s |      24 |  4457042 |  4221762 |     1278   8143 |        0 |        0
623.69/623.84	c  623s |      24 |  4470250 |  4234462 |     1278   8162 |        0 |        0
625.69/625.85	c  625s |      24 |  4483700 |  4247362 |     1278   8181 |        0 |        0
627.69/627.86	c  627s |      24 |  4497061 |  4260262 |     1278   8201 |        0 |        0
629.69/629.88	c  629s |      24 |  4510471 |  4273262 |     1278   8221 |        0 |        0
631.69/631.89	c  631s |      24 |  4524210 |  4286062 |     1278   8240 |        0 |        0
633.69/633.89	c  633s |      24 |  4537954 |  4298962 |     1278   8259 |        0 |        0
635.79/635.90	c  635s |      24 |  4551512 |  4311762 |     1278   8279 |        0 |        0
637.79/637.90	c  637s |      24 |  4564886 |  4324362 |     1278   8298 |        0 |        0
639.78/639.91	c  639s |      24 |  4578049 |  4336862 |     1278   8316 |        0 |        0
641.78/641.93	c  641s |      24 |  4591141 |  4349262 |     1278   8335 |        0 |        0
643.78/643.93	c  643s |      24 |  4604165 |  4361862 |     1278   8354 |        0 |        0
645.80/645.94	c  645s |      24 |  4617474 |  4374462 |     1278   8373 |        0 |        0
647.79/647.95	c  647s |      24 |  4630924 |  4387262 |     1278   8392 |        0 |        0
649.79/649.95	c  649s |      24 |  4644483 |  4400162 |     1278   8412 |        0 |        0
651.79/651.96	c  651s |      24 |  4657832 |  4412762 |     1278   8431 |        0 |        0
653.79/653.97	c  653s |      24 |  4671142 |  4425262 |     1278   8450 |        0 |        0
655.79/655.98	c  655s |      24 |  4684554 |  4438062 |     1278   8469 |        0 |        0
657.79/657.99	c  657s |      24 |  4697872 |  4450762 |     1278   8488 |        0 |        0
659.89/660.00	c  659s |      24 |  4711398 |  4463362 |     1278   8507 |        0 |        0
661.89/662.01	c  661s |      24 |  4724984 |  4476062 |     1278   8526 |        0 |        0
663.89/664.02	c  664s |      24 |  4738478 |  4488762 |     1278   8546 |        0 |        0
665.88/666.03	c  666s |      24 |  4752030 |  4501562 |     1278   8565 |        0 |        0
667.89/668.04	c  668s |      24 |  4765425 |  4514462 |     1278   8584 |        0 |        0
669.88/670.04	c  670s |      24 |  4778501 |  4527162 |     1278   8604 |        0 |        0
671.88/672.04	c  672s |      24 |  4791628 |  4539662 |     1278   8623 |        0 |        0
673.88/674.05	c  674s |      24 |  4805008 |  4551962 |     1278   8641 |        0 |        0
675.88/676.05	c  676s |      24 |  4818037 |  4564262 |     1278   8660 |        0 |        0
677.88/678.05	c  678s |      24 |  4831407 |  4576962 |     1278   8679 |        0 |        0
679.89/680.06	c  680s |      24 |  4844842 |  4589562 |     1278   8698 |        0 |        0
681.88/682.07	c  682s |      24 |  4858337 |  4602162 |     1278   8717 |        0 |        0
683.88/684.08	c  684s |      24 |  4871533 |  4614662 |     1278   8736 |        0 |        0
685.88/686.09	c  686s |      24 |  4884743 |  4627562 |     1278   8755 |        0 |        0
687.98/688.10	c  688s |      24 |  4897918 |  4640262 |     1278   8774 |        0 |        0
689.98/690.11	c  690s |      24 |  4911376 |  4653062 |     1278   8794 |        0 |        0
691.99/692.11	c  692s |      24 |  4924563 |  4665662 |     1278   8813 |        0 |        0
693.98/694.12	c  694s |      24 |  4938262 |  4678362 |     1278   8832 |        0 |        0
695.98/696.12	c  696s |      24 |  4951828 |  4691162 |     1278   8852 |        0 |        0
697.98/698.13	c  698s |      24 |  4965413 |  4703862 |     1278   8871 |        0 |        0
699.98/700.14	c  700s |      24 |  4979259 |  4716562 |     1278   8890 |        0 |        0
701.98/702.15	c  702s |      24 |  4993222 |  4729362 |     1278   8909 |        0 |        0
703.97/704.15	c  704s |      24 |  5006668 |  4742262 |     1278   8929 |        0 |        0
705.97/706.15	c  706s |      24 |  5020484 |  4755162 |     1278   8948 |        0 |        0
707.97/708.16	c  708s |      24 |  5034378 |  4768062 |     1278   8967 |        0 |        0
709.97/710.18	c  710s |      24 |  5048283 |  4780762 |     1278   8987 |        0 |        0
711.97/712.19	c  712s |      24 |  5061919 |  4793462 |     1278   9006 |        0 |        0
713.98/714.20	c  714s |      24 |  5075370 |  4806062 |     1278   9025 |        0 |        0
716.07/716.20	c  716s |      24 |  5088982 |  4818662 |     1278   9044 |        0 |        0
718.07/718.20	c  718s |      24 |  5102622 |  4831562 |     1278   9063 |        0 |        0
720.07/720.22	c  720s |      24 |  5116647 |  4844062 |     1278   9082 |        0 |        0
722.07/722.22	c  722s |      24 |  5129846 |  4856362 |     1278   9101 |        0 |        0
724.08/724.24	c  724s |      24 |  5143821 |  4869362 |     1278   9120 |        0 |        0
726.08/726.24	c  726s |      24 |  5157081 |  4881962 |     1278   9139 |        0 |        0
728.08/728.25	c  728s |      24 |  5170728 |  4894662 |     1278   9158 |        0 |        0
730.08/730.26	c  730s |      24 |  5184072 |  4906962 |     1278   9177 |        0 |        0
732.08/732.27	c  732s |      24 |  5197703 |  4919662 |     1278   9196 |        0 |        0
734.08/734.27	c  734s |      24 |  5211256 |  4932262 |     1278   9215 |        0 |        0
736.08/736.28	c  736s |      24 |  5224723 |  4945062 |     1278   9234 |        0 |        0
738.08/738.29	c  738s |      24 |  5238170 |  4957962 |     1278   9254 |        0 |        0
740.08/740.29	c  740s |      24 |  5251713 |  4970762 |     1278   9273 |        0 |        0
742.18/742.30	c  742s |      24 |  5265223 |  4983562 |     1278   9293 |        0 |        0
744.17/744.31	c  744s |      24 |  5278763 |  4996262 |     1278   9312 |        0 |        0
746.17/746.33	c  746s |      24 |  5292612 |  5009162 |     1278   9331 |        0 |        0
748.18/748.33	c  748s |      24 |  5306830 |  5022462 |     1278   9351 |        0 |        0
750.17/750.33	c  750s |      24 |  5320846 |  5035662 |     1406   9370 |        0 |        0
752.17/752.35	c  752s |      24 |  5334836 |  5048762 |     1406   9388 |        0 |        0
754.17/754.36	c  754s |      24 |  5348580 |  5061662 |     1406   9406 |        0 |        0
754.68/754.89	c  754s |      25 |  5352420 |  5065098 |     1406   9411 |        0 |        0
756.77/756.90	c  756s |      25 |  5366926 |  5078198 |     1406   9429 |        0 |        0
758.77/758.91	c  758s |      25 |  5380890 |  5091198 |     1406   9446 |        0 |        0
760.77/760.92	c  760s |      25 |  5395149 |  5104098 |     1406   9464 |        0 |        0
762.77/762.92	c  762s |      25 |  5408838 |  5116898 |     1406   9481 |        0 |        0
764.77/764.94	c  764s |      25 |  5422995 |  5129798 |     1406   9499 |        0 |        0
766.77/766.94	c  766s |      25 |  5436833 |  5142698 |     1406   9517 |        0 |        0
768.77/768.95	c  768s |      25 |  5450128 |  5155398 |     1406   9534 |        0 |        0
770.76/770.95	c  770s |      25 |  5463624 |  5168298 |     1406   9552 |        0 |        0
772.76/772.96	c  772s |      25 |  5477569 |  5181098 |     1406   9570 |        0 |        0
774.76/774.97	c  774s |      25 |  5491179 |  5193798 |     1406   9587 |        0 |        0
776.77/776.98	c  776s |      25 |  5504752 |  5206598 |     1406   9604 |        0 |        0
778.76/778.98	c  778s |      25 |  5518102 |  5219298 |     1406   9622 |        0 |        0
780.76/780.98	c  780s |      25 |  5531739 |  5232198 |     1406   9640 |        0 |        0
782.76/782.98	c  782s |      25 |  5544914 |  5244598 |     1406   9657 |        0 |        0
784.76/784.98	c  784s |      25 |  5558449 |  5257198 |     1406   9674 |        0 |        0
786.76/786.99	c  786s |      25 |  5571582 |  5269598 |     1406   9691 |        0 |        0
788.77/788.99	c  788s |      25 |  5585780 |  5282498 |     1406   9709 |        0 |        0
790.76/790.99	c  790s |      25 |  5600045 |  5295398 |     1406   9726 |        0 |        0
792.87/793.00	c  792s |      25 |  5613888 |  5307998 |     1406   9744 |        0 |        0
794.87/795.01	c  794s |      25 |  5627575 |  5320798 |     1406   9761 |        0 |        0
796.87/797.01	c  796s |      25 |  5642211 |  5334098 |     1406   9779 |        0 |        0
798.87/799.02	c  798s |      25 |  5656154 |  5346898 |     1406   9797 |        0 |        0
800.87/801.02	c  801s |      25 |  5669426 |  5359098 |     1406   9814 |        0 |        0
802.87/803.02	c  803s |      25 |  5683185 |  5371698 |     1406   9831 |        0 |        0
804.86/805.02	c  805s |      25 |  5696914 |  5383998 |     1406   9848 |        0 |        0
806.86/807.03	c  807s |      25 |  5711109 |  5396598 |     1406   9865 |        0 |        0
808.86/809.04	c  809s |      25 |  5724750 |  5409098 |     1406   9882 |        0 |        0
810.87/811.05	c  811s |      25 |  5738532 |  5421898 |     1406   9900 |        0 |        0
812.86/813.06	c  813s |      25 |  5752062 |  5434498 |     1406   9917 |        0 |        0
814.86/815.06	c  815s |      25 |  5765662 |  5447298 |     1406   9935 |        0 |        0
816.86/817.07	c  817s |      25 |  5779072 |  5459798 |     1406   9952 |        0 |        0
818.86/819.07	c  819s |      25 |  5792322 |  5472398 |     1406   9969 |        0 |        0
820.86/821.08	c  821s |      25 |  5805649 |  5485098 |     1406   9986 |        0 |        0
822.86/823.09	c  823s |      25 |  5818713 |  5497598 |     1406  10004 |        0 |        0
824.96/825.10	c  825s |      25 |  5831928 |  5510198 |     1406  10021 |        0 |        0
826.96/827.11	c  827s |      25 |  5845282 |  5522898 |     1406  10038 |        0 |        0
828.96/829.11	c  829s |      25 |  5858607 |  5535598 |     1406  10056 |        0 |        0
830.95/831.12	c  831s |      25 |  5871637 |  5548098 |     1406  10073 |        0 |        0
832.95/833.13	c  833s |      25 |  5884856 |  5560498 |     1406  10090 |        0 |        0
834.96/835.14	c  835s |      25 |  5897927 |  5572698 |     1406  10107 |        0 |        0
836.95/837.14	c  837s |      25 |  5911014 |  5585098 |     1406  10124 |        0 |        0
838.95/839.15	c  839s |      25 |  5924876 |  5597898 |     1406  10141 |        0 |        0
840.95/841.15	c  841s |      25 |  5938238 |  5610598 |     1406  10159 |        0 |        0
842.95/843.16	c  843s |      25 |  5951540 |  5623098 |     1406  10176 |        0 |        0
844.96/845.16	c  845s |      25 |  5964650 |  5635698 |     1406  10193 |        0 |        0
846.95/847.17	c  847s |      25 |  5977993 |  5648498 |     1406  10211 |        0 |        0
848.95/849.18	c  849s |      25 |  5991426 |  5661098 |     1406  10228 |        0 |        0
850.96/851.18	c  851s |      25 |  6005036 |  5673898 |     1406  10245 |        0 |        0
852.96/853.19	c  853s |      25 |  6018575 |  5686598 |     1406  10263 |        0 |        0
855.06/855.20	c  855s |      25 |  6031734 |  5699298 |     1406  10280 |        0 |        0
857.06/857.20	c  857s |      25 |  6044856 |  5711798 |     1406  10297 |        0 |        0
859.06/859.21	c  859s |      25 |  6058236 |  5724498 |     1406  10315 |        0 |        0
861.06/861.21	c  861s |      25 |  6071270 |  5737098 |     1406  10332 |        0 |        0
863.06/863.23	c  863s |      25 |  6084519 |  5749798 |     1406  10350 |        0 |        0
865.05/865.23	c  865s |      25 |  6098076 |  5762398 |     1406  10367 |        0 |        0
867.05/867.24	c  867s |      25 |  6111642 |  5774898 |     1406  10384 |        0 |        0
869.05/869.25	c  869s |      25 |  6124729 |  5787498 |     1406  10401 |        0 |        0
871.05/871.26	c  871s |      25 |  6137864 |  5800098 |     1406  10419 |        0 |        0
873.05/873.27	c  873s |      25 |  6151069 |  5812498 |     1406  10436 |        0 |        0
875.04/875.27	c  875s |      25 |  6164136 |  5825098 |     1406  10453 |        0 |        0
877.04/877.28	c  877s |      25 |  6177403 |  5837598 |     1406  10470 |        0 |        0
879.14/879.30	c  879s |      25 |  6190644 |  5850198 |     1406  10487 |        0 |        0
881.15/881.31	c  881s |      25 |  6204417 |  5862898 |     1406  10505 |        0 |        0
883.14/883.31	c  883s |      25 |  6217654 |  5875298 |     1406  10522 |        0 |        0
885.13/885.32	c  885s |      25 |  6230741 |  5887898 |     1406  10539 |        0 |        0
887.13/887.34	c  887s |      25 |  6244063 |  5900498 |     1406  10557 |        0 |        0
889.13/889.34	c  889s |      25 |  6257151 |  5912698 |     1406  10573 |        0 |        0
891.14/891.35	c  891s |      25 |  6270367 |  5924798 |     1406  10590 |        0 |        0
893.13/893.36	c  893s |      25 |  6283732 |  5937498 |     1406  10607 |        0 |        0
895.13/895.36	c  895s |      25 |  6296666 |  5949798 |     1406  10624 |        0 |        0
897.12/897.36	c  897s |      25 |  6309627 |  5962298 |     1406  10641 |        0 |        0
899.12/899.37	c  899s |      25 |  6322703 |  5974698 |     1406  10658 |        0 |        0
901.12/901.38	c  901s |      25 |  6336070 |  5986998 |     1406  10675 |        0 |        0
903.13/903.39	c  903s |      25 |  6349264 |  5999298 |     1406  10692 |        0 |        0
905.12/905.39	c  905s |      25 |  6362135 |  6011798 |     1406  10709 |        0 |        0
907.22/907.40	c  907s |      25 |  6375096 |  6024298 |     1406  10726 |        0 |        0
909.22/909.41	c  909s |      25 |  6388588 |  6036798 |     1406  10744 |        0 |        0
911.22/911.43	c  911s |      25 |  6401637 |  6048998 |     1406  10760 |        0 |        0
913.21/913.44	c  913s |      25 |  6414820 |  6061198 |     1406  10777 |        0 |        0
915.22/915.45	c  915s |      25 |  6428484 |  6073798 |     1406  10794 |        0 |        0
917.21/917.46	c  917s |      25 |  6442020 |  6086298 |     1406  10812 |        0 |        0
919.21/919.47	c  919s |      25 |  6455376 |  6098798 |     1406  10829 |        0 |        0
921.21/921.48	c  921s |      25 |  6468573 |  6111298 |     1406  10846 |        0 |        0
923.21/923.48	c  923s |      25 |  6481853 |  6123698 |     1406  10863 |        0 |        0
925.31/925.50	c  925s |      25 |  6494909 |  6135798 |     1406  10880 |        0 |        0
927.32/927.51	c  927s |      25 |  6508196 |  6147898 |     1406  10896 |        0 |        0
929.31/929.53	c  929s |      25 |  6521627 |  6160498 |     1406  10914 |        0 |        0
931.31/931.54	c  931s |      25 |  6535200 |  6173198 |     1406  10931 |        0 |        0
933.31/933.55	c  933s |      25 |  6548285 |  6185798 |     1406  10948 |        0 |        0
935.31/935.55	c  935s |      25 |  6561781 |  6198298 |     1406  10966 |        0 |        0
937.31/937.57	c  937s |      25 |  6574766 |  6210898 |     1406  10983 |        0 |        0
939.30/939.58	c  939s |      25 |  6587746 |  6223298 |     1406  11000 |        0 |        0
941.30/941.58	c  941s |      25 |  6600607 |  6235798 |     1406  11017 |        0 |        0
943.30/943.59	c  943s |      25 |  6613628 |  6248198 |     1406  11034 |        0 |        0
945.30/945.59	c  945s |      25 |  6626763 |  6260498 |     1406  11051 |        0 |        0
947.40/947.60	c  947s |      25 |  6639869 |  6273098 |     1406  11068 |        0 |        0
949.40/949.61	c  949s |      25 |  6653432 |  6285998 |     1406  11086 |        0 |        0
951.39/951.62	c  951s |      25 |  6666907 |  6298898 |     1406  11104 |        0 |        0
953.39/953.62	c  953s |      25 |  6680561 |  6311698 |     1406  11121 |        0 |        0
955.39/955.63	c  955s |      25 |  6694106 |  6324398 |     1406  11139 |        0 |        0
957.39/957.63	c  957s |      25 |  6707185 |  6336898 |     1406  11156 |        0 |        0
959.39/959.64	c  959s |      25 |  6720519 |  6349798 |     1406  11173 |        0 |        0
961.39/961.66	c  961s |      25 |  6733807 |  6362598 |     1406  11191 |        0 |        0
963.38/963.67	c  963s |      25 |  6747382 |  6375498 |     1406  11209 |        0 |        0
965.39/965.67	c  965s |      25 |  6760474 |  6388098 |     1406  11226 |        0 |        0
967.39/967.68	c  967s |      25 |  6773538 |  6400798 |     1406  11243 |        0 |        0
969.49/969.70	c  969s |      25 |  6786962 |  6413698 |     1406  11261 |        0 |        0
971.49/971.70	c  971s |      25 |  6800184 |  6426498 |     1406  11279 |        0 |        0
973.49/973.71	c  973s |      25 |  6813730 |  6439298 |     1406  11296 |        0 |        0
975.48/975.71	c  975s |      25 |  6827009 |  6451898 |     1406  11314 |        0 |        0
977.48/977.72	c  977s |      25 |  6840409 |  6464598 |     1406  11331 |        0 |        0
979.48/979.72	c  979s |      25 |  6854027 |  6477398 |     1406  11349 |        0 |        0
981.48/981.73	c  981s |      25 |  6867648 |  6490298 |     1406  11366 |        0 |        0
983.49/983.74	c  983s |      25 |  6880969 |  6502998 |     1406  11384 |        0 |        0
985.48/985.75	c  985s |      25 |  6894446 |  6515798 |     1406  11401 |        0 |        0
987.48/987.76	c  987s |      25 |  6907936 |  6528398 |     1406  11419 |        0 |        0
989.48/989.76	c  989s |      25 |  6921608 |  6541098 |     1406  11436 |        0 |        0
991.48/991.77	c  991s |      25 |  6934870 |  6553698 |     1406  11454 |        0 |        0
993.47/993.78	c  993s |      25 |  6947922 |  6566298 |     1406  11471 |        0 |        0
995.48/995.78	c  995s |      25 |  6961083 |  6578898 |     1406  11488 |        0 |        0
997.47/997.79	c  997s |      25 |  6974095 |  6591498 |     1406  11505 |        0 |        0
999.47/999.79	c  999s |      25 |  6987338 |  6604198 |     1406  11523 |        0 |        0
1001.57/1001.81	c 1001s |      25 |  7001192 |  6617198 |     1406  11541 |        0 |        0
1003.57/1003.81	c 1003s |      25 |  7014169 |  6629698 |     1406  11558 |        0 |        0
1005.57/1005.82	c 1005s |      25 |  7027223 |  6641898 |     1406  11575 |        0 |        0
1007.57/1007.83	c 1007s |      25 |  7040545 |  6654398 |     1406  11592 |        0 |        0
1009.56/1009.85	c 1009s |      25 |  7054094 |  6666998 |     1406  11609 |        0 |        0
1011.56/1011.87	c 1011s |      25 |  7067250 |  6679398 |     1406  11626 |        0 |        0
1013.56/1013.88	c 1013s |      25 |  7080595 |  6692098 |     1406  11644 |        0 |        0
1015.56/1015.88	c 1015s |      25 |  7094021 |  6704998 |     1406  11662 |        0 |        0
1017.57/1017.89	c 1017s |      25 |  7107392 |  6717798 |     1406  11679 |        0 |        0
1019.56/1019.89	c 1019s |      25 |  7120838 |  6730798 |     1406  11697 |        0 |        0
1021.56/1021.89	c 1021s |      25 |  7134324 |  6743598 |     1406  11714 |        0 |        0
1023.66/1023.90	c 1023s |      25 |  7147573 |  6756398 |     1406  11732 |        0 |        0
1025.66/1025.91	c 1025s |      25 |  7160892 |  6769198 |     1406  11750 |        0 |        0
1027.65/1027.92	c 1027s |      25 |  7174196 |  6781798 |     1406  11767 |        0 |        0
1029.66/1029.92	c 1029s |      25 |  7187380 |  6794298 |     1406  11784 |        0 |        0
1031.65/1031.93	c 1031s |      25 |  7200582 |  6806898 |     1406  11801 |        0 |        0
1033.65/1033.93	c 1033s |      25 |  7213689 |  6819498 |     1406  11819 |        0 |        0
1035.66/1035.94	c 1035s |      25 |  7227063 |  6832298 |     1406  11836 |        0 |        0
1037.66/1037.96	c 1037s |      25 |  7240295 |  6844898 |     1406  11853 |        0 |        0
1039.66/1039.97	c 1039s |      25 |  7253587 |  6857598 |     1406  11871 |        0 |        0
1041.67/1041.97	c 1041s |      25 |  7266641 |  6870098 |     1406  11888 |        0 |        0
1043.66/1043.98	c 1043s |      25 |  7280058 |  6882998 |     1406  11906 |        0 |        0
1045.66/1045.99	c 1045s |      25 |  7293646 |  6895898 |     1406  11924 |        0 |        0
1047.76/1048.00	c 1047s |      25 |  7307009 |  6908598 |     1406  11941 |        0 |        0
1049.76/1050.00	c 1049s |      25 |  7319998 |  6921098 |     1406  11958 |        0 |        0
1051.75/1052.02	c 1051s |      25 |  7333212 |  6933898 |     1406  11976 |        0 |        0
1053.76/1054.03	c 1054s |      25 |  7346491 |  6946598 |     1406  11993 |        0 |        0
1055.75/1056.04	c 1056s |      25 |  7360011 |  6959498 |     1406  12011 |        0 |        0
1057.75/1058.05	c 1058s |      25 |  7373151 |  6972098 |     1406  12028 |        0 |        0
1059.75/1060.05	c 1060s |      25 |  7386430 |  6984598 |     1406  12045 |        0 |        0
1061.75/1062.06	c 1062s |      25 |  7399559 |  6996998 |     1406  12062 |        0 |        0
1063.75/1064.06	c 1064s |      25 |  7412882 |  7009798 |     1406  12080 |        0 |        0
1065.74/1066.07	c 1066s |      25 |  7426110 |  7022398 |     1406  12097 |        0 |        0
1067.74/1068.07	c 1068s |      25 |  7439255 |  7034798 |     1406  12114 |        0 |        0
1069.74/1070.08	c 1070s |      25 |  7452307 |  7047198 |     1406  12132 |        0 |        0
1071.74/1072.09	c 1072s |      25 |  7465208 |  7059498 |     1406  12148 |        0 |        0
1073.74/1074.09	c 1074s |      25 |  7478473 |  7072098 |     1406  12166 |        0 |        0
1075.74/1076.10	c 1076s |      25 |  7491770 |  7084798 |     1406  12183 |        0 |        0
1077.84/1078.12	c 1078s |      25 |  7505025 |  7097398 |     1406  12201 |        0 |        0
1079.83/1080.13	c 1080s |      25 |  7518334 |  7109998 |     1406  12218 |        0 |        0
1081.83/1082.14	c 1082s |      25 |  7531660 |  7122598 |     1406  12235 |        0 |        0
1083.83/1084.16	c 1084s |      25 |  7544864 |  7135198 |     1406  12253 |        0 |        0
1085.83/1086.16	c 1086s |      25 |  7557942 |  7147698 |     1406  12270 |        0 |        0
1087.83/1088.16	c 1088s |      25 |  7571019 |  7160198 |     1406  12287 |        0 |        0
1089.83/1090.17	c 1090s |      25 |  7584479 |  7172798 |     1406  12304 |        0 |        0
1091.83/1092.19	c 1092s |      25 |  7598043 |  7185398 |     1406  12322 |        0 |        0
1093.82/1094.19	c 1094s |      25 |  7611355 |  7197898 |     1406  12339 |        0 |        0
1095.82/1096.19	c 1096s |      25 |  7625070 |  7210398 |     1406  12356 |        0 |        0
1097.83/1098.19	c 1098s |      25 |  7638842 |  7222798 |     1406  12373 |        0 |        0
1099.82/1100.20	c 1100s |      25 |  7652366 |  7235298 |     1406  12390 |        0 |        0
1101.92/1102.22	c 1102s |      25 |  7665634 |  7247998 |     1406  12408 |        0 |        0
1103.92/1104.23	c 1104s |      25 |  7679180 |  7260398 |     1406  12425 |        0 |        0
1105.92/1106.24	c 1106s |      25 |  7692430 |  7272998 |     1406  12442 |        0 |        0
1107.92/1108.25	c 1108s |      25 |  7705891 |  7285498 |     1406  12459 |        0 |        0
1109.92/1110.25	c 1110s |      25 |  7719312 |  7298098 |     1406  12476 |        0 |        0
1111.92/1112.25	c 1112s |      25 |  7732538 |  7310598 |     1406  12494 |        0 |        0
1113.91/1114.26	c 1114s |      25 |  7745992 |  7323098 |     1406  12511 |        0 |        0
1115.91/1116.27	c 1116s |      25 |  7759250 |  7335398 |     1406  12528 |        0 |        0
1117.91/1118.27	c 1118s |      25 |  7772465 |  7347798 |     1406  12545 |        0 |        0
1119.91/1120.28	c 1120s |      25 |  7785447 |  7360198 |     1406  12562 |        0 |        0
1121.91/1122.28	c 1122s |      25 |  7798574 |  7372698 |     1406  12579 |        0 |        0
1124.01/1124.30	c 1124s |      25 |  7811972 |  7385398 |     1406  12596 |        0 |        0
1126.01/1126.31	c 1126s |      25 |  7825237 |  7397998 |     1406  12614 |        0 |        0
1128.01/1128.31	c 1128s |      25 |  7838586 |  7410598 |     1406  12631 |        0 |        0
1130.01/1130.32	c 1130s |      25 |  7851746 |  7423198 |     1406  12648 |        0 |        0
1132.01/1132.33	c 1132s |      25 |  7864865 |  7435498 |     1406  12665 |        0 |        0
1134.01/1134.34	c 1134s |      25 |  7878152 |  7447998 |     1406  12682 |        0 |        0
1136.01/1136.35	c 1136s |      25 |  7891049 |  7460198 |     1406  12699 |        0 |        0
1138.01/1138.36	c 1138s |      25 |  7904252 |  7472498 |     1406  12716 |        0 |        0
1140.00/1140.37	c 1140s |      25 |  7917371 |  7484798 |     1406  12733 |        0 |        0
1142.00/1142.39	c 1142s |      25 |  7930567 |  7496998 |     1406  12749 |        0 |        0
1144.10/1144.40	c 1144s |      25 |  7943639 |  7509198 |     1406  12766 |        0 |        0
1146.00/1146.40	c 1146s |      25 |  7956410 |  7521398 |     1406  12783 |        0 |        0
1148.10/1148.40	c 1148s |      25 |  7969396 |  7533698 |     1406  12800 |        0 |        0
1150.10/1150.41	c 1150s |      25 |  7982468 |  7546098 |     1547  12816 |        0 |        0
1152.09/1152.42	c 1152s |      25 |  7995059 |  7558098 |     1547  12831 |        0 |        0
1154.09/1154.44	c 1154s |      25 |  8007824 |  7570298 |     1547  12846 |        0 |        0
1156.10/1156.45	c 1156s |      25 |  8020947 |  7582698 |     1547  12862 |        0 |        0
1158.09/1158.46	c 1158s |      25 |  8034146 |  7594998 |     1547  12877 |        0 |        0
1158.59/1158.93	c 1158s |      26 |  8037028 |  7597752 |     1547  12881 |        0 |        0
1160.59/1160.94	c 1160s |      26 |  8050781 |  7610452 |     1547  12897 |        0 |        0
1162.59/1162.96	c 1162s |      26 |  8063981 |  7622952 |     1547  12912 |        0 |        0
1164.58/1164.97	c 1164s |      26 |  8076775 |  7634952 |     1547  12927 |        0 |        0
1166.58/1166.98	c 1166s |      26 |  8089463 |  7647052 |     1547  12942 |        0 |        0
1168.58/1168.99	c 1168s |      26 |  8102135 |  7659252 |     1547  12958 |        0 |        0
1170.68/1171.00	c 1170s |      26 |  8115052 |  7671452 |     1547  12973 |        0 |        0
1172.68/1173.01	c 1172s |      26 |  8127799 |  7683652 |     1547  12988 |        0 |        0
1174.68/1175.03	c 1175s |      26 |  8140350 |  7695852 |     1547  13003 |        0 |        0
1176.67/1177.04	c 1177s |      26 |  8153303 |  7708252 |     1547  13019 |        0 |        0
1178.67/1179.04	c 1179s |      26 |  8166091 |  7720652 |     1547  13034 |        0 |        0
1180.68/1181.05	c 1181s |      26 |  8179354 |  7732852 |     1547  13049 |        0 |        0
1182.68/1183.05	c 1183s |      26 |  8191911 |  7744952 |     1547  13065 |        0 |        0
1184.68/1185.06	c 1185s |      26 |  8204471 |  7757152 |     1547  13080 |        0 |        0
1186.67/1187.07	c 1187s |      26 |  8217259 |  7769352 |     1547  13095 |        0 |        0
1188.67/1189.09	c 1189s |      26 |  8230242 |  7781752 |     1547  13111 |        0 |        0
1190.77/1191.10	c 1191s |      26 |  8243235 |  7793952 |     1547  13126 |        0 |        0
1192.77/1193.11	c 1193s |      26 |  8256173 |  7806152 |     1547  13141 |        0 |        0
1194.77/1195.13	c 1195s |      26 |  8269246 |  7818552 |     1547  13156 |        0 |        0
1196.77/1197.14	c 1197s |      26 |  8282183 |  7830852 |     1547  13172 |        0 |        0
1198.77/1199.14	c 1199s |      26 |  8295256 |  7843152 |     1547  13187 |        0 |        0
1200.77/1201.15	c 1201s |      26 |  8307939 |  7855352 |     1547  13202 |        0 |        0
1202.77/1203.16	c 1203s |      26 |  8321145 |  7867752 |     1547  13218 |        0 |        0
1204.76/1205.17	c 1205s |      26 |  8333858 |  7879852 |     1547  13233 |        0 |        0
1206.76/1207.18	c 1207s |      26 |  8346608 |  7892052 |     1547  13248 |        0 |        0
1208.76/1209.19	c 1209s |      26 |  8359301 |  7904252 |     1547  13264 |        0 |        0
1210.86/1211.21	c 1211s |      26 |  8372105 |  7916352 |     1547  13279 |        0 |        0
1212.86/1213.21	c 1213s |      26 |  8385650 |  7928952 |     1547  13294 |        0 |        0
1214.85/1215.22	c 1215s |      26 |  8399335 |  7941352 |     1547  13310 |        0 |        0
1216.85/1217.23	c 1217s |      26 |  8412880 |  7953452 |     1547  13325 |        0 |        0
1218.85/1219.23	c 1219s |      26 |  8426190 |  7965452 |     1547  13340 |        0 |        0
1220.86/1221.25	c 1221s |      26 |  8439653 |  7977952 |     1547  13356 |        0 |        0
1222.85/1223.25	c 1223s |      26 |  8452681 |  7990052 |     1547  13371 |        0 |        0
1224.85/1225.26	c 1225s |      26 |  8465554 |  8002152 |     1547  13386 |        0 |        0
1226.85/1227.26	c 1227s |      26 |  8478310 |  8014452 |     1547  13401 |        0 |        0
1228.84/1229.27	c 1229s |      26 |  8491155 |  8026752 |     1547  13417 |        0 |        0
1230.85/1231.29	c 1231s |      26 |  8504145 |  8039252 |     1547  13432 |        0 |        0
1232.84/1233.30	c 1233s |      26 |  8516981 |  8051552 |     1547  13448 |        0 |        0
1234.94/1235.32	c 1235s |      26 |  8529954 |  8063852 |     1547  13463 |        0 |        0
1236.94/1237.33	c 1237s |      26 |  8542602 |  8075852 |     1547  13478 |        0 |        0
1238.94/1239.33	c 1239s |      26 |  8555326 |  8087852 |     1547  13493 |        0 |        0
1240.95/1241.34	c 1241s |      26 |  8568286 |  8100252 |     1547  13508 |        0 |        0
1242.95/1243.35	c 1243s |      26 |  8581194 |  8112452 |     1547  13524 |        0 |        0
1244.94/1245.35	c 1245s |      26 |  8593907 |  8124652 |     1547  13539 |        0 |        0
1246.94/1247.36	c 1247s |      26 |  8606899 |  8136952 |     1547  13554 |        0 |        0
1248.94/1249.38	c 1249s |      26 |  8619511 |  8149152 |     1547  13569 |        0 |        0
1250.94/1251.38	c 1251s |      26 |  8632524 |  8161252 |     1547  13585 |        0 |        0
1252.94/1253.39	c 1253s |      26 |  8645019 |  8173252 |     1547  13599 |        0 |        0
1254.94/1255.40	c 1255s |      26 |  8657634 |  8185452 |     1547  13615 |        0 |        0
1257.03/1257.41	c 1257s |      26 |  8670246 |  8197452 |     1547  13630 |        0 |        0
1259.03/1259.42	c 1259s |      26 |  8682922 |  8209752 |     1547  13645 |        0 |        0
1261.03/1261.43	c 1261s |      26 |  8695297 |  8221652 |     1547  13660 |        0 |        0
1263.03/1263.44	c 1263s |      26 |  8707797 |  8233652 |     1547  13675 |        0 |        0
1265.03/1265.44	c 1265s |      26 |  8720786 |  8245752 |     1547  13690 |        0 |        0
1267.03/1267.45	c 1267s |      26 |  8733639 |  8257852 |     1547  13705 |        0 |        0
1269.03/1269.46	c 1269s |      26 |  8746337 |  8269952 |     1547  13720 |        0 |        0
1271.02/1271.46	c 1271s |      26 |  8758875 |  8281852 |     1547  13735 |        0 |        0
1273.02/1273.48	c 1273s |      26 |  8771583 |  8293952 |     1547  13750 |        0 |        0
1275.02/1275.50	c 1275s |      26 |  8784433 |  8306152 |     1547  13766 |        0 |        0
1277.12/1277.51	c 1277s |      26 |  8797088 |  8318352 |     1547  13781 |        0 |        0
1279.13/1279.52	c 1279s |      26 |  8809546 |  8330352 |     1547  13796 |        0 |        0
1281.12/1281.53	c 1281s |      26 |  8821970 |  8342352 |     1547  13811 |        0 |        0
1283.12/1283.54	c 1283s |      26 |  8834561 |  8354352 |     1547  13826 |        0 |        0
1285.12/1285.55	c 1285s |      26 |  8847292 |  8366452 |     1547  13841 |        0 |        0
1287.12/1287.55	c 1287s |      26 |  8860015 |  8378552 |     1547  13856 |        0 |        0
1289.12/1289.56	c 1289s |      26 |  8872722 |  8390752 |     1547  13871 |        0 |        0
1291.12/1291.57	c 1291s |      26 |  8885756 |  8403052 |     1547  13887 |        0 |        0
1293.12/1293.58	c 1293s |      26 |  8898288 |  8415252 |     1547  13902 |        0 |        0
1295.11/1295.58	c 1295s |      26 |  8910633 |  8427152 |     1547  13917 |        0 |        0
1297.11/1297.59	c 1297s |      26 |  8923115 |  8439152 |     1547  13932 |        0 |        0
1299.21/1299.60	c 1299s |      26 |  8935923 |  8451352 |     1547  13947 |        0 |        0
1301.11/1301.60	c 1301s |      26 |  8948494 |  8463352 |     1547  13962 |        0 |        0
1303.20/1303.61	c 1303s |      26 |  8961069 |  8475352 |     1547  13977 |        0 |        0
1305.20/1305.61	c 1305s |      26 |  8974159 |  8487652 |     1547  13993 |        0 |        0
1307.20/1307.62	c 1307s |      26 |  8986575 |  8499452 |     1547  14008 |        0 |        0
1309.20/1309.63	c 1309s |      26 |  8998904 |  8511252 |     1547  14022 |        0 |        0
1311.20/1311.63	c 1311s |      26 |  9011299 |  8523052 |     1547  14037 |        0 |        0
1313.20/1313.63	c 1313s |      26 |  9023660 |  8534852 |     1547  14052 |        0 |        0
1315.19/1315.65	c 1315s |      26 |  9035937 |  8546552 |     1547  14067 |        0 |        0
1317.19/1317.67	c 1317s |      26 |  9048616 |  8558552 |     1547  14082 |        0 |        0
1319.19/1319.67	c 1319s |      26 |  9061445 |  8570752 |     1547  14097 |        0 |        0
1321.20/1321.69	c 1321s |      26 |  9074089 |  8582652 |     1547  14112 |        0 |        0
1323.20/1323.69	c 1323s |      26 |  9086846 |  8594552 |     1547  14127 |        0 |        0
1325.19/1325.69	c 1325s |      26 |  9099656 |  8606752 |     1547  14142 |        0 |        0
1327.29/1327.70	c 1327s |      26 |  9112395 |  8618852 |     1547  14157 |        0 |        0
1329.29/1329.71	c 1329s |      26 |  9124956 |  8630852 |     1547  14172 |        0 |        0
1331.29/1331.72	c 1331s |      26 |  9137527 |  8642752 |     1547  14187 |        0 |        0
1333.29/1333.73	c 1333s |      26 |  9150249 |  8654852 |     1547  14202 |        0 |        0
1335.29/1335.74	c 1335s |      26 |  9162758 |  8666652 |     1547  14217 |        0 |        0
1337.28/1337.74	c 1337s |      26 |  9175306 |  8678452 |     1547  14231 |        0 |        0
1339.28/1339.75	c 1339s |      26 |  9187782 |  8690452 |     1547  14246 |        0 |        0
1341.28/1341.75	c 1341s |      26 |  9200193 |  8702252 |     1547  14261 |        0 |        0
1343.28/1343.75	c 1343s |      26 |  9212617 |  8713952 |     1547  14276 |        0 |        0
1345.28/1345.77	c 1345s |      26 |  9225275 |  8725952 |     1547  14291 |        0 |        0
1347.28/1347.78	c 1347s |      26 |  9237554 |  8737652 |     1547  14305 |        0 |        0
1349.28/1349.79	c 1349s |      26 |  9249944 |  8749352 |     1547  14320 |        0 |        0
1351.38/1351.81	c 1351s |      26 |  9262235 |  8761152 |     1547  14335 |        0 |        0
1353.37/1353.81	c 1353s |      26 |  9274549 |  8772952 |     1547  14350 |        0 |        0
1355.37/1355.81	c 1355s |      26 |  9287221 |  8785052 |     1547  14365 |        0 |        0
1357.37/1357.82	c 1357s |      26 |  9299838 |  8797152 |     1547  14380 |        0 |        0
1359.37/1359.82	c 1359s |      26 |  9312074 |  8808752 |     1547  14394 |        0 |        0
1361.37/1361.83	c 1361s |      26 |  9324312 |  8819952 |     1547  14408 |        0 |        0
1363.36/1363.84	c 1363s |      26 |  9336680 |  8831752 |     1547  14423 |        0 |        0
1365.36/1365.85	c 1365s |      26 |  9348894 |  8843352 |     1547  14438 |        0 |        0
1367.36/1367.86	c 1367s |      26 |  9361441 |  8855352 |     1547  14453 |        0 |        0
1369.37/1369.88	c 1369s |      26 |  9373971 |  8867252 |     1547  14468 |        0 |        0
1371.36/1371.89	c 1371s |      26 |  9387153 |  8879452 |     1547  14483 |        0 |        0
1373.46/1373.90	c 1373s |      26 |  9400691 |  8891752 |     1547  14498 |        0 |        0
1375.46/1375.90	c 1375s |      26 |  9413560 |  8903852 |     1547  14513 |        0 |        0
1377.45/1377.91	c 1377s |      26 |  9426359 |  8916052 |     1547  14528 |        0 |        0
1379.45/1379.92	c 1379s |      26 |  9438589 |  8927552 |     1547  14543 |        0 |        0
1381.46/1381.93	c 1381s |      26 |  9451359 |  8939452 |     1547  14558 |        0 |        0
1383.45/1383.94	c 1383s |      26 |  9464698 |  8951452 |     1547  14573 |        0 |        0
1385.45/1385.96	c 1385s |      26 |  9477785 |  8963452 |     1547  14588 |        0 |        0
1387.46/1387.96	c 1387s |      26 |  9490324 |  8974852 |     1547  14602 |        0 |        0
1389.45/1389.98	c 1389s |      26 |  9502877 |  8986652 |     1547  14616 |        0 |        0
1391.45/1391.99	c 1391s |      26 |  9515292 |  8998552 |     1547  14631 |        0 |        0
1393.46/1394.00	c 1393s |      26 |  9528069 |  9010452 |     1547  14646 |        0 |        0
1395.55/1396.00	c 1395s |      26 |  9541077 |  9022152 |     1547  14661 |        0 |        0
1397.55/1398.00	c 1397s |      26 |  9554080 |  9033752 |     1547  14675 |        0 |        0
1399.55/1400.00	c 1399s |      26 |  9566706 |  9045452 |     1547  14690 |        0 |        0
1401.55/1402.01	c 1401s |      26 |  9579037 |  9057352 |     1547  14705 |        0 |        0
1403.54/1404.03	c 1404s |      26 |  9591913 |  9069252 |     1547  14720 |        0 |        0
1405.55/1406.04	c 1406s |      26 |  9604365 |  9081152 |     1547  14735 |        0 |        0
1407.54/1408.06	c 1408s |      26 |  9617042 |  9093052 |     1547  14749 |        0 |        0
1409.54/1410.08	c 1410s |      26 |  9629539 |  9105152 |     1547  14765 |        0 |        0
1411.54/1412.09	c 1412s |      26 |  9642082 |  9117052 |     1547  14779 |        0 |        0
1413.54/1414.09	c 1414s |      26 |  9654661 |  9128752 |     1547  14794 |        0 |        0
1415.64/1416.11	c 1416s |      26 |  9667651 |  9140952 |     1547  14809 |        0 |        0
1417.64/1418.13	c 1418s |      26 |  9680317 |  9153052 |     1547  14825 |        0 |        0
1419.64/1420.14	c 1420s |      26 |  9693122 |  9165052 |     1547  14840 |        0 |        0
1421.63/1422.15	c 1422s |      26 |  9705617 |  9176752 |     1547  14854 |        0 |        0
1423.63/1424.15	c 1424s |      26 |  9718125 |  9188452 |     1547  14869 |        0 |        0
1425.63/1426.16	c 1426s |      26 |  9730735 |  9200352 |     1547  14884 |        0 |        0
1427.64/1428.17	c 1428s |      26 |  9743189 |  9212152 |     1547  14899 |        0 |        0
1429.63/1430.19	c 1430s |      26 |  9755579 |  9223852 |     1547  14913 |        0 |        0
1431.63/1432.19	c 1432s |      26 |  9767543 |  9235452 |     1547  14928 |        0 |        0
1433.72/1434.20	c 1434s |      26 |  9779790 |  9247152 |     1547  14942 |        0 |        0
1435.72/1436.20	c 1436s |      26 |  9792160 |  9258852 |     1547  14957 |        0 |        0
1437.72/1438.21	c 1438s |      26 |  9804613 |  9270652 |     1547  14972 |        0 |        0
1439.74/1440.22	c 1440s |      26 |  9816755 |  9282152 |     1547  14986 |        0 |        0
1441.73/1442.23	c 1442s |      26 |  9828988 |  9293752 |     1547  15001 |        0 |        0
1443.72/1444.24	c 1444s |      26 |  9841278 |  9305452 |     1547  15015 |        0 |        0
1445.72/1446.24	c 1446s |      26 |  9853597 |  9317052 |     1547  15030 |        0 |        0
1447.72/1448.25	c 1448s |      26 |  9865628 |  9328652 |     1547  15045 |        0 |        0
1449.72/1450.26	c 1450s |      26 |  9877989 |  9340052 |     1547  15059 |        0 |        0
1451.73/1452.28	c 1452s |      26 |  9889902 |  9351452 |     1547  15073 |        0 |        0
1453.72/1454.29	c 1454s |      26 |  9902107 |  9362952 |     1547  15087 |        0 |        0
1455.82/1456.30	c 1456s |      26 |  9913862 |  9374252 |     1547  15102 |        0 |        0
1457.82/1458.32	c 1458s |      26 |  9926445 |  9385952 |     1547  15116 |        0 |        0
1459.82/1460.32	c 1460s |      26 |  9938527 |  9397452 |     1547  15131 |        0 |        0
1461.81/1462.33	c 1462s |      26 |  9950821 |  9409152 |     1547  15145 |        0 |        0
1463.82/1464.34	c 1464s |      26 |  9963102 |  9420852 |     1547  15160 |        0 |        0
1465.81/1466.35	c 1466s |      26 |  9975068 |  9432252 |     1547  15174 |        0 |        0
1467.81/1468.36	c 1468s |      26 |  9987090 |  9443752 |     1547  15189 |        0 |        0
1469.81/1470.37	c 1470s |      26 |  9999352 |  9455452 |     1547  15203 |        0 |        0
1471.81/1472.38	c 1472s |      26 | 10011690 |  9467152 |     1547  15218 |        0 |        0
1473.81/1474.39	c 1474s |      26 | 10023892 |  9478652 |     1547  15232 |        0 |        0
1475.91/1476.40	c 1476s |      26 | 10036248 |  9490252 |     1547  15247 |        0 |        0
1477.90/1478.40	c 1478s |      26 | 10048169 |  9501552 |     1547  15261 |        0 |        0
1479.90/1480.41	c 1480s |      26 | 10060280 |  9513152 |     1547  15276 |        0 |        0
1481.91/1482.41	c 1482s |      26 | 10072398 |  9524552 |     1547  15290 |        0 |        0
1483.91/1484.42	c 1484s |      26 | 10084158 |  9535852 |     1547  15304 |        0 |        0
1485.91/1486.43	c 1486s |      26 | 10096044 |  9547352 |     1547  15319 |        0 |        0
1487.90/1488.43	c 1488s |      26 | 10108497 |  9559152 |     1547  15333 |        0 |        0
1489.90/1490.44	c 1490s |      26 | 10120663 |  9570752 |     1547  15348 |        0 |        0
1491.90/1492.44	c 1492s |      26 | 10132677 |  9582352 |     1547  15362 |        0 |        0
1493.90/1494.45	c 1494s |      26 | 10144647 |  9593752 |     1547  15376 |        0 |        0
1495.90/1496.45	c 1496s |      26 | 10156736 |  9605352 |     1547  15391 |        0 |        0
1497.90/1498.45	c 1498s |      26 | 10168628 |  9616652 |     1547  15405 |        0 |        0
1499.90/1500.46	c 1500s |      26 | 10180861 |  9628452 |     1547  15420 |        0 |        0
1501.89/1502.47	c 1502s |      26 | 10193114 |  9640152 |     1547  15434 |        0 |        0
1503.89/1504.49	c 1504s |      26 | 10205348 |  9651852 |     1547  15449 |        0 |        0
1505.89/1506.50	c 1506s |      26 | 10217684 |  9663652 |     1547  15464 |        0 |        0
1507.99/1508.50	c 1508s |      26 | 10229527 |  9674952 |     1547  15478 |        0 |        0
1510.00/1510.51	c 1510s |      26 | 10241591 |  9686452 |     1547  15492 |        0 |        0
1511.99/1512.52	c 1512s |      26 | 10253521 |  9697952 |     1547  15507 |        0 |        0
1513.99/1514.53	c 1514s |      26 | 10265729 |  9709552 |     1547  15521 |        0 |        0
1515.99/1516.55	c 1516s |      26 | 10277707 |  9721052 |     1547  15536 |        0 |        0
1517.99/1518.55	c 1518s |      26 | 10290033 |  9732752 |     1547  15550 |        0 |        0
1519.99/1520.56	c 1520s |      26 | 10302281 |  9744452 |     1547  15565 |        0 |        0
1521.99/1522.58	c 1522s |      26 | 10314469 |  9756152 |     1547  15580 |        0 |        0
1523.98/1524.58	c 1524s |      26 | 10326511 |  9767652 |     1547  15594 |        0 |        0
1526.08/1526.60	c 1526s |      26 | 10338682 |  9779352 |     1547  15609 |        0 |        0
1528.08/1528.61	c 1528s |      26 | 10350493 |  9790752 |     1547  15623 |        0 |        0
1530.08/1530.62	c 1530s |      26 | 10362582 |  9802252 |     1547  15637 |        0 |        0
1532.10/1532.64	c 1532s |      26 | 10374703 |  9813852 |     1547  15652 |        0 |        0
1534.09/1534.64	c 1534s |      26 | 10386677 |  9825352 |     1547  15666 |        0 |        0
1536.09/1536.66	c 1536s |      26 | 10398642 |  9836752 |     1547  15680 |        0 |        0
1538.09/1538.67	c 1538s |      26 | 10410997 |  9848352 |     1547  15695 |        0 |        0
1540.09/1540.68	c 1540s |      26 | 10423020 |  9859752 |     1547  15709 |        0 |        0
1542.09/1542.68	c 1542s |      26 | 10434691 |  9871052 |     1547  15723 |        0 |        0
1544.09/1544.69	c 1544s |      26 | 10446745 |  9882452 |     1547  15738 |        0 |        0
1546.19/1546.70	c 1546s |      26 | 10458657 |  9893952 |     1547  15752 |        0 |        0
1548.19/1548.72	c 1548s |      26 | 10470766 |  9905352 |     1547  15766 |        0 |        0
1550.18/1550.72	c 1550s |      26 | 10482569 |  9916752 |     1547  15781 |        0 |        0
1552.18/1552.73	c 1552s |      26 | 10494733 |  9928452 |     1547  15795 |        0 |        0
1554.18/1554.73	c 1554s |      26 | 10506449 |  9939752 |     1547  15809 |        0 |        0
1556.19/1556.75	c 1556s |      26 | 10518494 |  9951252 |     1547  15824 |        0 |        0
1558.18/1558.75	c 1558s |      26 | 10530262 |  9962452 |     1547  15838 |        0 |        0
1560.18/1560.76	c 1560s |      26 | 10541701 |  9973552 |     1547  15851 |        0 |        0
1562.18/1562.77	c 1562s |      26 | 10553716 |  9985152 |     1547  15866 |        0 |        0
1564.18/1564.79	c 1564s |      26 | 10565767 |  9996852 |     1547  15881 |        0 |        0
1566.28/1566.80	c 1566s |      26 | 10577986 | 10008552 |     1547  15895 |        0 |        0
1568.29/1568.80	c 1568s |      26 | 10589775 | 10019852 |     1547  15909 |        0 |        0
1570.28/1570.81	c 1570s |      26 | 10601635 | 10031152 |     1547  15924 |        0 |        0
1572.28/1572.82	c 1572s |      26 | 10613352 | 10042352 |     1547  15938 |        0 |        0
1574.28/1574.82	c 1574s |      26 | 10625392 | 10053752 |     1547  15952 |        0 |        0
1576.28/1576.83	c 1576s |      26 | 10637327 | 10064952 |     1547  15966 |        0 |        0
1578.28/1578.83	c 1578s |      26 | 10649422 | 10076552 |     1547  15980 |        0 |        0
1580.28/1580.84	c 1580s |      26 | 10661108 | 10087952 |     1547  15995 |        0 |        0
1582.28/1582.85	c 1582s |      26 | 10673233 | 10099552 |     1547  16009 |        0 |        0
1584.28/1584.86	c 1584s |      26 | 10685419 | 10111152 |     1547  16023 |        0 |        0
1586.28/1586.87	c 1586s |      26 | 10697650 | 10122652 |     1547  16038 |        0 |        0
1588.28/1588.88	c 1588s |      26 | 10709680 | 10134052 |     1547  16052 |        0 |        0
1590.29/1590.89	c 1590s |      26 | 10721800 | 10145552 |     1547  16067 |        0 |        0
1592.28/1592.89	c 1592s |      26 | 10733446 | 10156752 |     1547  16081 |        0 |        0
1594.38/1594.90	c 1594s |      26 | 10745152 | 10167952 |     1547  16095 |        0 |        0
1596.38/1596.91	c 1596s |      26 | 10756911 | 10179252 |     1547  16109 |        0 |        0
1598.38/1598.92	c 1598s |      26 | 10768987 | 10190752 |     1547  16123 |        0 |        0
1600.38/1600.93	c 1600s |      26 | 10780984 | 10202052 |     1547  16137 |        0 |        0
1602.39/1602.93	c 1602s |      26 | 10793119 | 10213352 |     1547  16151 |        0 |        0
1604.38/1604.94	c 1604s |      26 | 10804698 | 10224152 |     1547  16165 |        0 |        0
1606.38/1606.96	c 1606s |      26 | 10816722 | 10235452 |     1547  16179 |        0 |        0
1608.38/1608.96	c 1608s |      26 | 10828744 | 10246952 |     1547  16194 |        0 |        0
1610.38/1610.96	c 1610s |      26 | 10840488 | 10258052 |     1547  16207 |        0 |        0
1612.38/1612.97	c 1612s |      26 | 10852378 | 10269152 |     1547  16221 |        0 |        0
1614.38/1614.97	c 1614s |      26 | 10864714 | 10280552 |     1547  16235 |        0 |        0
1616.38/1616.98	c 1616s |      26 | 10876700 | 10291652 |     1547  16249 |        0 |        0
1618.38/1618.98	c 1618s |      26 | 10888557 | 10302752 |     1547  16263 |        0 |        0
1620.38/1620.98	c 1620s |      26 | 10900842 | 10314052 |     1547  16277 |        0 |        0
1622.48/1623.00	c 1622s |      26 | 10912933 | 10325452 |     1547  16291 |        0 |        0
1624.48/1625.01	c 1624s |      26 | 10925027 | 10336852 |     1547  16306 |        0 |        0
1626.47/1627.03	c 1627s |      26 | 10937189 | 10348152 |     1547  16320 |        0 |        0
1628.47/1629.04	c 1629s |      26 | 10949613 | 10359652 |     1547  16334 |        0 |        0
1630.47/1631.05	c 1631s |      26 | 10961792 | 10370952 |     1547  16348 |        0 |        0
1632.47/1633.05	c 1633s |      26 | 10973589 | 10382152 |     1547  16362 |        0 |        0
1634.47/1635.06	c 1635s |      26 | 10985835 | 10393652 |     1547  16377 |        0 |        0
1636.48/1637.08	c 1637s |      26 | 10998028 | 10405252 |     1547  16391 |        0 |        0
1638.47/1639.08	c 1639s |      26 | 11009836 | 10416452 |     1547  16405 |        0 |        0
1640.57/1641.10	c 1641s |      26 | 11021808 | 10427952 |     1547  16420 |        0 |        0
1642.57/1643.10	c 1643s |      26 | 11033690 | 10439352 |     1547  16434 |        0 |        0
1644.57/1645.12	c 1645s |      26 | 11045852 | 10450852 |     1547  16448 |        0 |        0
1646.57/1647.12	c 1647s |      26 | 11057899 | 10462152 |     1547  16462 |        0 |        0
1648.57/1649.14	c 1649s |      26 | 11069881 | 10473352 |     1547  16476 |        0 |        0
1650.57/1651.14	c 1651s |      26 | 11081543 | 10484352 |     1547  16490 |        0 |        0
1652.57/1653.15	c 1653s |      26 | 11093289 | 10495752 |     1547  16504 |        0 |        0
1654.57/1655.15	c 1655s |      26 | 11105392 | 10507152 |     1547  16519 |        0 |        0
1656.57/1657.15	c 1657s |      26 | 11117635 | 10518552 |     1547  16533 |        0 |        0
1658.57/1659.15	c 1659s |      26 | 11129682 | 10529952 |     1547  16547 |        0 |        0
1660.56/1661.17	c 1661s |      26 | 11141554 | 10541452 |     1547  16562 |        0 |        0
1662.56/1663.17	c 1663s |      26 | 11153620 | 10552952 |     1547  16576 |        0 |        0
1664.56/1665.18	c 1665s |      26 | 11165841 | 10564552 |     1547  16591 |        0 |        0
1666.66/1667.20	c 1667s |      26 | 11178087 | 10576352 |     1547  16605 |        0 |        0
1668.66/1669.21	c 1669s |      26 | 11190241 | 10587852 |     1547  16620 |        0 |        0
1670.67/1671.23	c 1671s |      26 | 11202543 | 10599352 |     1547  16634 |        0 |        0
1672.66/1673.24	c 1673s |      26 | 11214413 | 10610452 |     1547  16648 |        0 |        0
1674.66/1675.25	c 1675s |      26 | 11226477 | 10621952 |     1547  16662 |        0 |        0
1676.66/1677.27	c 1677s |      26 | 11238788 | 10633452 |     1547  16677 |        0 |        0
1678.66/1679.28	c 1679s |      26 | 11250665 | 10644552 |     1547  16691 |        0 |        0
1680.66/1681.29	c 1681s |      26 | 11262523 | 10655852 |     1547  16705 |        0 |        0
1682.67/1683.30	c 1683s |      26 | 11274075 | 10666952 |     1547  16719 |        0 |        0
1684.77/1685.31	c 1685s |      26 | 11286202 | 10678352 |     1547  16733 |        0 |        0
1686.77/1687.32	c 1687s |      26 | 11298386 | 10689952 |     1547  16747 |        0 |        0
1688.77/1689.33	c 1689s |      26 | 11310768 | 10701552 |     1547  16762 |        0 |        0
1690.77/1691.35	c 1691s |      26 | 11322914 | 10712952 |     1547  16776 |        0 |        0
1692.76/1693.35	c 1693s |      26 | 11334890 | 10724352 |     1547  16790 |        0 |        0
1694.77/1695.36	c 1695s |      26 | 11347015 | 10735852 |     1547  16805 |        0 |        0
1696.76/1697.38	c 1697s |      26 | 11359201 | 10747452 |     1547  16819 |        0 |        0
1698.76/1699.38	c 1699s |      26 | 11370978 | 10758852 |     1547  16833 |        0 |        0
1700.76/1701.38	c 1701s |      26 | 11383027 | 10770052 |     1547  16848 |        0 |        0
1702.76/1703.38	c 1703s |      26 | 11394776 | 10781352 |     1547  16862 |        0 |        0
1704.77/1705.39	c 1705s |      26 | 11406996 | 10792852 |     1547  16876 |        0 |        0
1706.76/1707.40	c 1707s |      26 | 11419190 | 10804452 |     1547  16891 |        0 |        0
1708.86/1709.40	c 1709s |      26 | 11431010 | 10815752 |     1547  16905 |        0 |        0
1710.86/1711.41	c 1711s |      26 | 11443199 | 10827252 |     1547  16919 |        0 |        0
1712.86/1713.42	c 1713s |      26 | 11455653 | 10838852 |     1547  16934 |        0 |        0
1714.86/1715.42	c 1715s |      26 | 11467992 | 10850652 |     1547  16948 |        0 |        0
1716.87/1717.43	c 1717s |      26 | 11479884 | 10861752 |     1547  16962 |        0 |        0
1718.86/1719.44	c 1719s |      26 | 11491995 | 10873152 |     1547  16976 |        0 |        0
1720.86/1721.45	c 1721s |      26 | 11504050 | 10884552 |     1547  16991 |        0 |        0
1722.86/1723.46	c 1723s |      26 | 11516360 | 10896152 |     1547  17005 |        0 |        0
1724.86/1725.47	c 1725s |      26 | 11528442 | 10907652 |     1547  17020 |        0 |        0
1726.85/1727.48	c 1727s |      26 | 11540583 | 10919152 |     1547  17034 |        0 |        0
1728.86/1729.50	c 1729s |      26 | 11552722 | 10930752 |     1547  17049 |        0 |        0
1730.95/1731.51	c 1731s |      26 | 11564855 | 10942252 |     1547  17063 |        0 |        0
1732.95/1733.52	c 1733s |      26 | 11576795 | 10953652 |     1547  17077 |        0 |        0
1734.95/1735.52	c 1735s |      26 | 11588612 | 10964952 |     1547  17091 |        0 |        0
1736.95/1737.53	c 1737s |      26 | 11600998 | 10976552 |     1547  17106 |        0 |        0
1738.95/1739.53	c 1739s |      26 | 11613456 | 10988152 |     1547  17120 |        0 |        0
1740.96/1741.53	c 1741s |      26 | 11625891 | 10999952 |     1547  17135 |        0 |        0
1742.95/1743.55	c 1743s |      26 | 11638337 | 11011752 |     1547  17150 |        0 |        0
1744.96/1745.56	c 1745s |      26 | 11650914 | 11023352 |     1547  17165 |        0 |        0
1746.96/1747.56	c 1747s |      26 | 11663120 | 11034852 |     1547  17179 |        0 |        0
1748.96/1749.56	c 1749s |      26 | 11675520 | 11046252 |     1547  17193 |        0 |        0
1750.96/1751.57	c 1751s |      26 | 11687939 | 11057852 |     1547  17208 |        0 |        0
1752.96/1753.58	c 1753s |      26 | 11700479 | 11069652 |     1547  17223 |        0 |        0
1754.96/1755.58	c 1755s |      26 | 11712812 | 11081252 |     1547  17237 |        0 |        0
1756.96/1757.58	c 1757s |      26 | 11724850 | 11092752 |     1547  17252 |        0 |        0
1759.06/1759.60	c 1759s |      26 | 11736950 | 11104252 |     1547  17266 |        0 |        0
1761.06/1761.61	c 1761s |      26 | 11748738 | 11115552 |     1547  17280 |        0 |        0
1763.06/1763.61	c 1763s |      26 | 11760641 | 11126952 |     1547  17294 |        0 |        0
1765.05/1765.63	c 1765s |      26 | 11772911 | 11138652 |     1547  17309 |        0 |        0
1767.05/1767.64	c 1767s |      26 | 11785204 | 11150452 |     1547  17324 |        0 |        0
1769.05/1769.65	c 1769s |      26 | 11797493 | 11162052 |     1547  17339 |        0 |        0
1771.05/1771.67	c 1771s |      26 | 11810097 | 11173952 |     1547  17353 |        0 |        0
1773.05/1773.67	c 1773s |      26 | 11822409 | 11185552 |     1547  17368 |        0 |        0
1775.06/1775.68	c 1775s |      26 | 11834941 | 11197052 |     1547  17382 |        0 |        0
1777.05/1777.69	c 1777s |      26 | 11847489 | 11208652 |     1547  17397 |        0 |        0
1779.15/1779.71	c 1779s |      26 | 11860004 | 11220252 |     1547  17412 |        0 |        0
1781.15/1781.72	c 1781s |      26 | 11872225 | 11231552 |     1547  17426 |        0 |        0
1783.15/1783.73	c 1783s |      26 | 11884539 | 11243152 |     1547  17440 |        0 |        0
1785.15/1785.75	c 1785s |      26 | 11897038 | 11254752 |     1547  17455 |        0 |        0
1787.15/1787.76	c 1787s |      26 | 11909482 | 11266352 |     1547  17469 |        0 |        0
1789.15/1789.77	c 1789s |      26 | 11921791 | 11277852 |     1547  17484 |        0 |        0
1791.14/1791.77	c 1791s |      26 | 11934290 | 11289452 |     1547  17498 |        0 |        0
1793.15/1793.79	c 1793s |      26 | 11946144 | 11300752 |     1547  17513 |        0 |        0
1795.25/1795.80	c 1795s |      26 | 11958683 | 11312752 |     1547  17527 |        0 |        0
1797.25/1797.80	c 1797s |      26 | 11970720 | 11324052 |     1702  17540 |        0 |        0
1799.26/1799.81	c 1799s |      26 | 11982797 | 11335352 |     1702  17553 |        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-4089638-1466030655/watcher-4089638-1466030655 -o /tmp/evaluation-result-4089638-1466030655/solver-4089638-1466030655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089638-1466030655.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.23 2.24 3/181 11297
/proc/meminfo: memFree=29300192/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 4 0 5111897 246870016 525 33554432000 4194304 16246674 140735202520688 140735202520112 12357624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 60271 530 415 2943 0 57165 0
[pid=11297/tid=11298] ppid=11294 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 246870016 553 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 246870016 559 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5111898 246870016 570 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.18 2.23 2.24 3/181 11297
/proc/meminfo: memFree=29300192/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 27995 0 0 0 5 4 0 0 20 0 4 0 5111897 1247350784 27834 33554432000 4194304 16246674 140735202520688 140735202520112 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 304529 27848 711 2943 0 301423 0
[pid=11297/tid=11298] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 27859 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 27869 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 27876 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.484199 s]
/proc/loadavg: 2.18 2.23 2.24 3/181 11297
/proc/meminfo: memFree=29300192/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1218116 CPUtime=0.46 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 137784 0 0 0 28 18 0 0 20 0 4 0 5111897 1247350784 137624 33554432000 4194304 16246674 140735202520688 140735202520112 13934346 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 304529 137632 712 2943 0 301423 0
[pid=11297/tid=11298] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 137641 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 137653 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 137661 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 1218116

[startup+0.500485 s]
/proc/loadavg: 2.18 2.23 2.24 3/181 11297
/proc/meminfo: memFree=29300192/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1218116 CPUtime=0.48 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 142447 0 0 0 29 19 0 0 20 0 4 0 5111897 1247350784 142287 33554432000 4194304 16246674 140735202520688 140735202520112 5589389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 304529 142305 712 2943 0 301423 0
[pid=11297/tid=11298] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 142316 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 142327 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 142333 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 1218116

[startup+0.700401 s]
/proc/loadavg: 2.18 2.23 2.24 3/181 11297
/proc/meminfo: memFree=29300192/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 200080 0 0 0 42 27 0 0 20 0 4 0 5111897 1247350784 199919 33554432000 4194304 16246674 140735202520688 140735202520112 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 304529 199930 712 2943 0 301423 0
[pid=11297/tid=11298] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 199938 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 199948 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5111898 1247350784 199959 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50049 s]
/proc/loadavg: 2.16 2.23 2.23 4/185 11301
/proc/meminfo: memFree=28319312/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267250 0 0 0 112 37 0 0 20 0 4 0 5111897 1336479744 267069 33554432000 4194304 16246674 140735202520688 140735202520000 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326289 267069 789 2943 0 323183 0
[pid=11297/tid=11298] ppid=11294 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1336479744 267069 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1336479744 267069 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1336479744 267069 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.16 2.23 2.23 3/185 11301
/proc/meminfo: memFree=28231768/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267400 0 0 0 272 37 0 0 20 0 4 0 5111897 1337528320 267219 33554432000 4194304 16246674 140735202520688 140735202503688 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326545 267219 789 2943 0 323439 0
[pid=11297/tid=11298] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267219 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267219 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267219 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.16 2.23 2.23 4/185 11301
/proc/meminfo: memFree=28231608/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267439 0 0 0 592 37 0 0 20 0 4 0 5111897 1337528320 267258 33554432000 4194304 16246674 140735202520688 140735202503688 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326545 267258 789 2943 0 323439 0
[pid=11297/tid=11298] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267258 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267258 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267258 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.21 2.24 2.24 3/185 11301
/proc/meminfo: memFree=28231624/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267461 0 0 0 1231 37 0 0 20 0 4 0 5111897 1337528320 267280 33554432000 4194304 16246674 140735202520688 140735202502592 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326545 267280 789 2943 0 323439 0
[pid=11297/tid=11298] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267280 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267280 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267280 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.26 2.25 2.24 3/185 11301
/proc/meminfo: memFree=28232364/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267504 0 0 0 2512 37 0 0 20 0 4 0 5111897 1337528320 267323 33554432000 4194304 16246674 140735202520688 140735202502592 5659385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326545 267323 791 2943 0 323439 0
[pid=11297/tid=11298] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267323 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267323 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1337528320 267323 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.24 2.24 2.24 3/185 11301
/proc/meminfo: memFree=28231880/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267611 0 0 0 5070 38 0 0 20 0 4 0 5111897 1338576896 267430 33554432000 4194304 16246674 140735202520688 140735202502592 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326801 267430 791 2943 0 323695 0
[pid=11297/tid=11298] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267430 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267430 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267430 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.14 2.21 2.23 3/185 11302
/proc/meminfo: memFree=28231324/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 267640 0 0 0 10188 39 0 0 20 0 4 0 5111897 1338576896 267459 33554432000 4194304 16246674 140735202520688 140735202503688 5722712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 326801 267459 792 2943 0 323695 0
[pid=11297/tid=11298] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267459 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267459 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1338576896 267459 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/185 11404
/proc/meminfo: memFree=28217220/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1301.91 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270194 0 0 0 130132 59 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202503688 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.15 2.21 2.20 3/185 11405
/proc/meminfo: memFree=28217160/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1361.87 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270235 0 0 0 136127 60 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202519784 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.10 2.19 2.18 4/185 11407
/proc/meminfo: memFree=28217368/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1421.83 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270278 0 0 0 142122 61 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202502592 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/185 11408
/proc/meminfo: memFree=28217080/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1481.81 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270316 0 0 0 148118 63 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202519864 13191794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1315396

[startup+1542.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/185 11409
/proc/meminfo: memFree=28216276/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1541.79 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 154115 64 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202503688 13194054 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.35 2.23 2.19 4/186 11413
/proc/meminfo: memFree=28215688/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1601.78 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 160113 65 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202502592 5722652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/185 11414
/proc/meminfo: memFree=28215080/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1661.77 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 166112 65 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202502592 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/185 11416
/proc/meminfo: memFree=28214220/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1721.76 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 172110 66 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202502592 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1315396

[startup+1782.31 s]
/proc/loadavg: 2.25 2.21 2.18 4/185 11417
/proc/meminfo: memFree=28212612/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1781.76 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 178109 67 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202502592 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.20 2.18 3/185 11417
/proc/meminfo: memFree=28212952/32872528 swapFree=1481856/1661728
[pid=11297] ppid=11294 vsize=1315396 CPUtime=1800.05 cores=0,2,4,6
/proc/11297/stat : 11297 (toysat) R 11294 11297 6232 0 -1 4202496 270336 0 0 0 179937 68 0 0 20 0 4 0 5111897 1346965504 269955 33554432000 4194304 16246674 140735202520688 140735202503688 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11297/statm: 328849 269955 793 2943 0 325743 0
[pid=11297/tid=11298] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11298/stat : 11298 (toysat) S 11294 11297 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655166012656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11297/tid=11299] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11299/stat : 11299 (toysat) S 11294 11297 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655155522800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11297/tid=11300] ppid=11294 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11297/task/11300/stat : 11300 (toysat) S 11294 11297 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5111898 1346965504 269955 33554432000 4194304 16246674 140735202520688 139655145049264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

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 11297 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.06
CPU user time (s): 1799.38
CPU system time (s): 0.682896
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.682896
maximum resident set size= 1079820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270336
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= 473
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84496 second user time and 20.3999 second system time

The end

Begin job on node134 at 2016-06-16 00:44:15
IDJOB=4089638
IDBENCH=107435
IDSOLVER=2542
FILE ID=node134/4089638-1466030655
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 8342f9c81628dad15cbbf5cf5512f9ff
RANDOM SEED=1781625108

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29300200 kB
Buffers:           30320 kB
Cached:            81324 kB
SwapCached:        17352 kB
Active:          1147624 kB
Inactive:          61260 kB
Active(anon):    1081532 kB
Inactive(anon):    18004 kB
Active(file):      66092 kB
Inactive(file):    43256 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16340 kB
Writeback:             4 kB
AnonPages:       2741856 kB
Mapped:            10484 kB
Shmem:                 0 kB
Slab:             567000 kB
SReclaimable:      11104 kB
SUnreclaim:       555896 kB
KernelStack:        1480 kB
PageTables:         9084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2884272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1253376 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= 71704 MiB
End job on node134 at 2016-06-16 01:14:16