0.00/0.00	c 2016-06-15T21:59:54+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-4089064-1466020794.opb"]
0.00/0.01	c use --random-gen="1364574437 2030091681 2604060792 3485665840 1713134678 912716478 2689944243 382391294 120193470 4218774349 801692983 1632025880 1052592701 2287507231 1677256052 345526877 2644201501 1532062098 3316028983 2462999302 2464042803 1272063279 2466320005 1460921090 654146964 4020637485 2416798402 2588772923 3666840945 1506552450 4078010647 985134011 2149042305 3931943296 1693184246 1827412910 544744249 4065840129 2256322380 1765046546 4217368179 2417021803 2177603247 3473385539 230133765 4103832457 3210536853 3076961336 444762515 1109648714 860723526 1811591044 632796308 1306265287 4251073216 940367510 1090013634 1544202771 2803338857 3472511619 230681505 2165176852 3372489538 4115558030 229186576 262793891 3606450114 1448421622 276385764 3144567112 656373096 2969690425 518551999 3070667272 1454601269 1022431019 4000441429 1850923286 3357562057 254566327 1697888719 1942585037 3704447632 485752207 593487051 1775105290 4226078475 1033409241 3134765696 3886995020 851986621 3482931701 3221181696 1907976912 2769252772 3795327900 1567764839 1345166625 2014086546 3465319447 338974901 2936806828 2280540057 1460048068 3919826036 2427548806 412188897 2813820504 1584990627 3120971053 1364774272 2029671796 401488683 3124610114 3224736363 454572529 668949018 233357245 1559120684 236282473 3762233099 1990212942 1228879909 2561066929 173130614 1854297950 762459122 1363006954 2170389074 4232944575 947493324 925111182 370196150 2646046385 2751420133 2589145690 2170951451 1326817276 3973729614 3276723470 2791075955 2786594052 2647510678 3761686349 320147243 324745363 1481004538 3648903922 4282368795 3110622789 520699386 4009243124 1632158223 3754868038 998622046 4139050670 1754417450 715782104 1362065266 2493663824 1717091622 1947411325 2670159996 2011533614 286692638 2657567950 2556811411 3194945568 2575988988 3520355705 3028474051 3219028509 3971559404 3328721825 2105742374 1139881344 3232807633 118802976 3659215508 2177817361 2222130251 89731073 3121974714 2157857819 2987346195 3255365482 1944000424 4176346901 3178622249 1244476337 1583372997 1625920667 3213294497 709017676 2211531267 218787053 348269921 1054747591 1571833171 3195829958 1154348353 2653142250 3750333486 1625582560 3051594345 755735665 310647316 2485764843 922621109 1354449716 1423516790 2737794067 1710494145 2844527479 808201247 2628670737 690644599 2027779963 3909372668 2473523045 2987599511 283566559 665467869 556684454 651535195 3302704851 1374027005 1641345430 1514667995 1781364795 4040910786 3159823606 3153110646 1637422669 669970706 2239572564 378105481 1008309785 2953642004 3803746726 1910303202 1201939759 1010392095 131447539 2182964083 688548697 475766783 2681993077 3503525002 3852370283 2349390384 2649148659 1503595110 1531375437 3396500463 2761180223 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 433
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 |      216      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      203 |      100 |      216      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      459 |      250 |      238      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      784 |      475 |      262      1 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1223 |      813 |      289      3 |        0 |        0
0.29/0.38	c  0.4s |       5 |     1825 |     1320 |      318      6 |        0 |        0
0.59/0.62	c  0.6s |       6 |     2693 |     2081 |      386      9 |        0 |        0
0.88/0.92	c  0.9s |       7 |     3937 |     3223 |      425     13 |        0 |        0
1.19/1.27	c  1.3s |       8 |     5757 |     4936 |      468     20 |        0 |        0
1.79/1.82	c  1.8s |       9 |     8445 |     7506 |      515     29 |        0 |        0
2.59/2.66	c  2.6s |      10 |    12437 |    11361 |      567     41 |        0 |        0
3.89/3.93	c  3.9s |      11 |    18389 |    17144 |      624     58 |        0 |        0
5.79/5.83	c  5.8s |      12 |    27251 |    25819 |      687     82 |        0 |        0
7.79/7.83	c  7.8s |      12 |    36255 |    34619 |      687    104 |        0 |        0
8.79/8.82	c  8.8s |      13 |    40549 |    38832 |      756    115 |        0 |        0
10.78/10.83	c 10.8s |      13 |    49765 |    47732 |      756    136 |        0 |        0
12.78/12.84	c 12.8s |      13 |    58383 |    56232 |      756    156 |        0 |        0
13.29/13.33	c 13.3s |      14 |    60535 |    58352 |      832    161 |        0 |        0
15.29/15.34	c 15.3s |      14 |    69215 |    66852 |      832    179 |        0 |        0
17.29/17.35	c 17.3s |      14 |    78216 |    75652 |      832    198 |        0 |        0
19.29/19.36	c 19.3s |      14 |    86754 |    84052 |      832    216 |        0 |        0
20.09/20.19	c 20.2s |      15 |    90398 |    87632 |      916    223 |        0 |        0
22.10/22.20	c 22.2s |      15 |    99076 |    96032 |      916    240 |        0 |        0
24.09/24.20	c 24.2s |      15 |   107854 |   104632 |      916    257 |        0 |        0
26.19/26.22	c 26.2s |      15 |   116329 |   112932 |      916    273 |        0 |        0
28.19/28.23	c 28.2s |      15 |   124977 |   121432 |      916    290 |        0 |        0
30.19/30.25	c 30.2s |      15 |   133352 |   129632 |      916    306 |        0 |        0
30.69/30.73	c 30.7s |      16 |   135328 |   131552 |     1008    310 |        0 |        0
32.69/32.74	c 32.7s |      16 |   143775 |   139752 |     1008    324 |        0 |        0
34.69/34.74	c 34.7s |      16 |   152008 |   147852 |     1008    339 |        0 |        0
36.69/36.74	c 36.7s |      16 |   160242 |   155852 |     1008    354 |        0 |        0
38.69/38.75	c 38.7s |      16 |   168410 |   163852 |     1008    368 |        0 |        0
40.69/40.78	c 40.8s |      16 |   176526 |   171852 |     1008    383 |        0 |        0
42.68/42.78	c 42.8s |      16 |   184467 |   179652 |     1008    397 |        0 |        0
44.78/44.80	c 44.8s |      16 |   192513 |   187552 |     1008    411 |        0 |        0
46.78/46.80	c 46.8s |      16 |   200311 |   195252 |     1008    425 |        0 |        0
47.29/47.38	c 47.4s |      17 |   202506 |   197432 |     1109    428 |        0 |        0
49.38/49.40	c 49.4s |      17 |   210733 |   205432 |     1109    442 |        0 |        0
51.38/51.42	c 51.4s |      17 |   218776 |   213332 |     1109    455 |        0 |        0
53.38/53.42	c 53.4s |      17 |   226888 |   221232 |     1109    468 |        0 |        0
55.38/55.44	c 55.4s |      17 |   234818 |   229032 |     1109    481 |        0 |        0
57.38/57.45	c 57.4s |      17 |   242860 |   236932 |     1109    494 |        0 |        0
59.39/59.46	c 59.4s |      17 |   251118 |   245032 |     1109    507 |        0 |        0
61.38/61.46	c 61.4s |      17 |   259059 |   252832 |     1109    520 |        0 |        0
63.38/63.49	c 63.5s |      17 |   267096 |   260732 |     1109    533 |        0 |        0
65.38/65.49	c 65.5s |      17 |   274869 |   268332 |     1109    546 |        0 |        0
67.48/67.53	c 67.5s |      17 |   282699 |   276032 |     1109    559 |        0 |        0
69.48/69.53	c 69.5s |      17 |   291187 |   284332 |     1109    572 |        0 |        0
71.48/71.54	c 71.5s |      17 |   299321 |   292332 |     1109    586 |        0 |        0
72.48/72.54	c 72.5s |      18 |   303284 |   296252 |     1220    592 |        0 |        0
74.48/74.55	c 74.5s |      18 |   311487 |   304252 |     1220    604 |        0 |        0
76.48/76.56	c 76.5s |      18 |   319505 |   312152 |     1220    616 |        0 |        0
78.48/78.58	c 78.6s |      18 |   327864 |   320352 |     1220    628 |        0 |        0
80.58/80.60	c 80.6s |      18 |   336073 |   328452 |     1220    640 |        0 |        0
82.59/82.62	c 82.6s |      18 |   344089 |   336352 |     1220    652 |        0 |        0
84.58/84.62	c 84.6s |      18 |   352148 |   344252 |     1220    664 |        0 |        0
86.58/86.65	c 86.6s |      18 |   360420 |   352252 |     1220    677 |        0 |        0
88.58/88.66	c 88.6s |      18 |   368477 |   360152 |     1220    689 |        0 |        0
90.58/90.66	c 90.6s |      18 |   376454 |   367952 |     1220    700 |        0 |        0
92.58/92.68	c 92.7s |      18 |   384213 |   375552 |     1220    712 |        0 |        0
94.58/94.68	c 94.7s |      18 |   392469 |   383652 |     1220    724 |        0 |        0
96.58/96.69	c 96.7s |      18 |   400458 |   391452 |     1220    736 |        0 |        0
98.58/98.69	c 98.7s |      18 |   408215 |   399052 |     1220    748 |        0 |        0
100.67/100.72	c  100s |      18 |   415966 |   406652 |     1220    759 |        0 |        0
102.67/102.73	c  102s |      18 |   423920 |   414352 |     1220    771 |        0 |        0
104.67/104.75	c  104s |      18 |   431560 |   421852 |     1220    782 |        0 |        0
106.68/106.75	c  106s |      18 |   439558 |   429652 |     1220    794 |        0 |        0
108.67/108.77	c  108s |      18 |   447341 |   437252 |     1220    806 |        0 |        0
110.57/110.69	c  110s |      19 |   454753 |   444482 |     1342    816 |        0 |        0
112.67/112.71	c  112s |      19 |   462886 |   452282 |     1342    827 |        0 |        0
114.67/114.73	c  114s |      19 |   471140 |   460282 |     1342    838 |        0 |        0
116.68/116.73	c  116s |      19 |   479147 |   468082 |     1342    849 |        0 |        0
118.67/118.75	c  118s |      19 |   487164 |   475882 |     1342    860 |        0 |        0
120.67/120.76	c  120s |      19 |   495048 |   483582 |     1342    870 |        0 |        0
122.67/122.77	c  122s |      19 |   502754 |   491082 |     1342    881 |        0 |        0
124.67/124.78	c  124s |      19 |   510546 |   498682 |     1342    891 |        0 |        0
126.67/126.79	c  126s |      19 |   518198 |   506182 |     1342    902 |        0 |        0
128.77/128.81	c  128s |      19 |   525912 |   513782 |     1342    912 |        0 |        0
130.77/130.82	c  130s |      19 |   533798 |   521482 |     1342    923 |        0 |        0
132.77/132.82	c  132s |      19 |   541529 |   528982 |     1342    933 |        0 |        0
134.77/134.85	c  134s |      19 |   549126 |   536382 |     1342    944 |        0 |        0
136.77/136.86	c  136s |      19 |   556682 |   543782 |     1342    954 |        0 |        0
138.76/138.88	c  138s |      19 |   564321 |   551282 |     1342    964 |        0 |        0
140.77/140.90	c  140s |      19 |   571961 |   558782 |     1342    975 |        0 |        0
142.86/142.92	c  142s |      19 |   579667 |   566282 |     1342    985 |        0 |        0
144.86/144.93	c  144s |      19 |   587035 |   573382 |     1342    995 |        0 |        0
146.86/146.93	c  146s |      19 |   594370 |   580482 |     1342   1005 |        0 |        0
148.86/148.95	c  148s |      19 |   601709 |   587582 |     1342   1015 |        0 |        0
150.86/150.96	c  150s |      19 |   609670 |   595382 |     1342   1025 |        0 |        0
152.87/152.98	c  152s |      19 |   617489 |   602882 |     1342   1036 |        0 |        0
154.96/155.00	c  154s |      19 |   625356 |   610482 |     1342   1046 |        0 |        0
156.97/157.01	c  156s |      19 |   632880 |   617782 |     1342   1057 |        0 |        0
158.97/159.02	c  158s |      19 |   640514 |   625082 |     1342   1067 |        0 |        0
160.97/161.02	c  161s |      19 |   648006 |   632382 |     1342   1077 |        0 |        0
162.97/163.02	c  163s |      19 |   655362 |   639582 |     1342   1087 |        0 |        0
164.97/165.03	c  165s |      19 |   662635 |   646682 |     1342   1097 |        0 |        0
166.97/167.04	c  167s |      19 |   670284 |   654182 |     1342   1107 |        0 |        0
168.97/169.06	c  169s |      19 |   677733 |   661382 |     1342   1117 |        0 |        0
170.57/170.62	c  170s |      20 |   683268 |   666827 |     1477   1124 |        0 |        0
172.57/172.62	c  172s |      20 |   690926 |   674227 |     1477   1133 |        0 |        0
174.57/174.64	c  174s |      20 |   698449 |   681627 |     1477   1143 |        0 |        0
176.56/176.65	c  176s |      20 |   706056 |   689027 |     1477   1152 |        0 |        0
178.56/178.65	c  178s |      20 |   713303 |   696127 |     1477   1161 |        0 |        0
180.56/180.68	c  180s |      20 |   720878 |   703527 |     1477   1170 |        0 |        0
182.57/182.70	c  182s |      20 |   728159 |   710627 |     1477   1179 |        0 |        0
184.66/184.71	c  184s |      20 |   736073 |   718327 |     1477   1189 |        0 |        0
186.66/186.73	c  186s |      20 |   743626 |   725727 |     1477   1198 |        0 |        0
188.66/188.75	c  188s |      20 |   751100 |   733027 |     1477   1208 |        0 |        0
190.66/190.77	c  190s |      20 |   758503 |   740327 |     1477   1217 |        0 |        0
192.76/192.80	c  192s |      20 |   766075 |   747727 |     1477   1226 |        0 |        0
194.76/194.82	c  194s |      20 |   773516 |   754927 |     1477   1235 |        0 |        0
196.76/196.83	c  196s |      20 |   780809 |   761927 |     1477   1244 |        0 |        0
198.75/198.83	c  198s |      20 |   788400 |   769327 |     1477   1254 |        0 |        0
200.75/200.85	c  200s |      20 |   795879 |   776627 |     1477   1263 |        0 |        0
202.75/202.87	c  202s |      20 |   803298 |   783627 |     1477   1272 |        0 |        0
204.75/204.89	c  204s |      20 |   810756 |   790827 |     1477   1281 |        0 |        0
206.86/206.92	c  206s |      20 |   817992 |   797827 |     1477   1290 |        0 |        0
208.85/208.92	c  208s |      20 |   825638 |   805327 |     1477   1299 |        0 |        0
210.85/210.95	c  210s |      20 |   833252 |   812627 |     1477   1309 |        0 |        0
212.85/212.96	c  212s |      20 |   840658 |   819827 |     1477   1318 |        0 |        0
214.85/214.97	c  214s |      20 |   847889 |   826927 |     1477   1327 |        0 |        0
216.85/216.97	c  216s |      20 |   855009 |   833927 |     1477   1336 |        0 |        0
218.85/218.99	c  218s |      20 |   862104 |   840827 |     1477   1344 |        0 |        0
220.94/221.01	c  220s |      20 |   869238 |   847727 |     1477   1353 |        0 |        0
222.95/223.02	c  223s |      20 |   876368 |   854627 |     1477   1362 |        0 |        0
224.95/225.02	c  225s |      20 |   883340 |   861427 |     1477   1370 |        0 |        0
226.95/227.03	c  227s |      20 |   890918 |   868827 |     1477   1380 |        0 |        0
228.95/229.06	c  229s |      20 |   898311 |   876027 |     1477   1389 |        0 |        0
230.95/231.08	c  231s |      20 |   905781 |   883127 |     1477   1398 |        0 |        0
233.05/233.10	c  233s |      20 |   913074 |   890227 |     1477   1407 |        0 |        0
235.05/235.12	c  235s |      20 |   920231 |   897227 |     1477   1416 |        0 |        0
237.04/237.15	c  237s |      20 |   927477 |   904327 |     1477   1425 |        0 |        0
239.04/239.17	c  239s |      20 |   934624 |   911327 |     1477   1434 |        0 |        0
241.04/241.18	c  241s |      20 |   941692 |   918227 |     1477   1442 |        0 |        0
243.05/243.18	c  243s |      20 |   948598 |   924927 |     1477   1451 |        0 |        0
245.04/245.19	c  245s |      20 |   955870 |   932027 |     1477   1460 |        0 |        0
247.14/247.22	c  247s |      20 |   962936 |   938927 |     1477   1469 |        0 |        0
249.14/249.23	c  249s |      20 |   970057 |   945827 |     1477   1477 |        0 |        0
251.14/251.26	c  251s |      20 |   977066 |   952627 |     1477   1486 |        0 |        0
253.14/253.28	c  253s |      20 |   983966 |   959327 |     1477   1494 |        0 |        0
255.24/255.30	c  255s |      20 |   991586 |   966727 |     1477   1504 |        0 |        0
257.24/257.33	c  257s |      20 |   999524 |   974327 |     1477   1513 |        0 |        0
259.24/259.33	c  259s |      20 |  1007257 |   981927 |     1477   1523 |        0 |        0
261.23/261.35	c  261s |      20 |  1014990 |   989527 |     1477   1533 |        0 |        0
263.23/263.37	c  263s |      20 |  1022646 |   997027 |     1625   1542 |        0 |        0
264.13/264.28	c  264s |      21 |  1026002 |  1000345 |     1625   1545 |        0 |        0
266.14/266.28	c  266s |      21 |  1033848 |  1007745 |     1625   1554 |        0 |        0
268.13/268.29	c  268s |      21 |  1041760 |  1015345 |     1625   1563 |        0 |        0
270.23/270.30	c  270s |      21 |  1049549 |  1022945 |     1625   1571 |        0 |        0
272.23/272.31	c  272s |      21 |  1057027 |  1030145 |     1625   1580 |        0 |        0
274.23/274.33	c  274s |      21 |  1064778 |  1037645 |     1625   1588 |        0 |        0
276.23/276.35	c  276s |      21 |  1072667 |  1045245 |     1625   1597 |        0 |        0
278.23/278.36	c  278s |      21 |  1080277 |  1052545 |     1625   1606 |        0 |        0
280.22/280.37	c  280s |      21 |  1087725 |  1059645 |     1625   1614 |        0 |        0
282.22/282.38	c  282s |      21 |  1095276 |  1067045 |     1625   1622 |        0 |        0
284.32/284.41	c  284s |      21 |  1102953 |  1074545 |     1625   1631 |        0 |        0
286.32/286.45	c  286s |      21 |  1110515 |  1081845 |     1625   1640 |        0 |        0
288.32/288.47	c  288s |      21 |  1118595 |  1089745 |     1625   1649 |        0 |        0
290.32/290.48	c  290s |      21 |  1126355 |  1097245 |     1625   1657 |        0 |        0
292.31/292.48	c  292s |      21 |  1133816 |  1104445 |     1625   1666 |        0 |        0
294.41/294.50	c  294s |      21 |  1141376 |  1111745 |     1625   1674 |        0 |        0
296.41/296.50	c  296s |      21 |  1148772 |  1118845 |     1625   1682 |        0 |        0
298.41/298.51	c  298s |      21 |  1156030 |  1125845 |     1625   1690 |        0 |        0
300.41/300.52	c  300s |      21 |  1163634 |  1133245 |     1625   1699 |        0 |        0
302.42/302.53	c  302s |      21 |  1171077 |  1140445 |     1625   1707 |        0 |        0
304.41/304.55	c  304s |      21 |  1178659 |  1147745 |     1625   1716 |        0 |        0
306.41/306.57	c  306s |      21 |  1186164 |  1154945 |     1625   1724 |        0 |        0
308.41/308.58	c  308s |      21 |  1193545 |  1162045 |     1625   1732 |        0 |        0
310.51/310.61	c  310s |      21 |  1200883 |  1169145 |     1625   1741 |        0 |        0
312.51/312.63	c  312s |      21 |  1208008 |  1176045 |     1625   1749 |        0 |        0
314.52/314.66	c  314s |      21 |  1215112 |  1182945 |     1625   1757 |        0 |        0
316.51/316.66	c  316s |      21 |  1222612 |  1190245 |     1625   1765 |        0 |        0
318.51/318.68	c  318s |      21 |  1230072 |  1197545 |     1625   1773 |        0 |        0
320.61/320.71	c  320s |      21 |  1237366 |  1204645 |     1625   1782 |        0 |        0
322.61/322.72	c  322s |      21 |  1244557 |  1211645 |     1625   1790 |        0 |        0
324.61/324.73	c  324s |      21 |  1251801 |  1218745 |     1625   1798 |        0 |        0
326.61/326.74	c  326s |      21 |  1259097 |  1225845 |     1625   1806 |        0 |        0
328.61/328.76	c  328s |      21 |  1265981 |  1232545 |     1625   1814 |        0 |        0
330.60/330.78	c  330s |      21 |  1273149 |  1239445 |     1625   1822 |        0 |        0
332.60/332.79	c  332s |      21 |  1280802 |  1246945 |     1625   1831 |        0 |        0
334.70/334.80	c  334s |      21 |  1288821 |  1254745 |     1625   1840 |        0 |        0
336.70/336.82	c  336s |      21 |  1296840 |  1262345 |     1625   1848 |        0 |        0
338.71/338.85	c  338s |      21 |  1304596 |  1269645 |     1625   1857 |        0 |        0
340.70/340.85	c  340s |      21 |  1312080 |  1276845 |     1625   1865 |        0 |        0
342.70/342.86	c  342s |      21 |  1319616 |  1284145 |     1625   1874 |        0 |        0
344.70/344.87	c  344s |      21 |  1327654 |  1291845 |     1625   1882 |        0 |        0
346.69/346.89	c  346s |      21 |  1335085 |  1299045 |     1625   1891 |        0 |        0
348.80/348.90	c  348s |      21 |  1342524 |  1306245 |     1625   1899 |        0 |        0
350.80/350.91	c  350s |      21 |  1349906 |  1313345 |     1625   1907 |        0 |        0
352.79/352.92	c  352s |      21 |  1357424 |  1320645 |     1625   1916 |        0 |        0
354.79/354.93	c  354s |      21 |  1364956 |  1327945 |     1625   1924 |        0 |        0
356.79/356.95	c  356s |      21 |  1372273 |  1335045 |     1625   1932 |        0 |        0
358.79/358.96	c  358s |      21 |  1379579 |  1342145 |     1625   1941 |        0 |        0
360.79/360.98	c  360s |      21 |  1386994 |  1349245 |     1625   1949 |        0 |        0
362.78/362.99	c  362s |      21 |  1394144 |  1356145 |     1625   1957 |        0 |        0
364.78/365.00	c  364s |      21 |  1401493 |  1363145 |     1625   1965 |        0 |        0
366.88/367.01	c  366s |      21 |  1408909 |  1370345 |     1625   1973 |        0 |        0
368.88/369.01	c  368s |      21 |  1416274 |  1377345 |     1625   1981 |        0 |        0
370.87/371.01	c  370s |      21 |  1423599 |  1384345 |     1625   1989 |        0 |        0
372.89/373.05	c  373s |      21 |  1430860 |  1391345 |     1625   1998 |        0 |        0
374.88/375.06	c  375s |      21 |  1438136 |  1398245 |     1625   2006 |        0 |        0
376.88/377.08	c  377s |      21 |  1445482 |  1405345 |     1625   2014 |        0 |        0
378.88/379.09	c  379s |      21 |  1452537 |  1412045 |     1625   2022 |        0 |        0
380.98/381.11	c  381s |      21 |  1459485 |  1418745 |     1625   2029 |        0 |        0
382.98/383.12	c  383s |      21 |  1466340 |  1425245 |     1625   2037 |        0 |        0
384.98/385.12	c  385s |      21 |  1473874 |  1432445 |     1625   2045 |        0 |        0
386.97/387.13	c  387s |      21 |  1481486 |  1439745 |     1625   2054 |        0 |        0
388.97/389.13	c  389s |      21 |  1489152 |  1447145 |     1625   2062 |        0 |        0
390.97/391.14	c  391s |      21 |  1496667 |  1454245 |     1625   2070 |        0 |        0
392.97/393.15	c  393s |      21 |  1504091 |  1461345 |     1625   2079 |        0 |        0
394.97/395.15	c  395s |      21 |  1511466 |  1468245 |     1625   2087 |        0 |        0
396.98/397.16	c  397s |      21 |  1518885 |  1475345 |     1625   2095 |        0 |        0
398.97/399.17	c  399s |      21 |  1526365 |  1482545 |     1625   2103 |        0 |        0
400.97/401.18	c  401s |      21 |  1533649 |  1489545 |     1625   2111 |        0 |        0
403.07/403.21	c  403s |      21 |  1541058 |  1496745 |     1788   2119 |        0 |        0
404.17/404.32	c  404s |      22 |  1545042 |  1500622 |     1788   2123 |        0 |        0
406.17/406.32	c  406s |      22 |  1552351 |  1507622 |     1788   2131 |        0 |        0
408.17/408.33	c  408s |      22 |  1559481 |  1514522 |     1788   2138 |        0 |        0
410.17/410.36	c  410s |      22 |  1566631 |  1521422 |     1788   2145 |        0 |        0
412.16/412.38	c  412s |      22 |  1574141 |  1528822 |     1788   2153 |        0 |        0
414.26/414.41	c  414s |      22 |  1581479 |  1535922 |     1788   2160 |        0 |        0
416.26/416.43	c  416s |      22 |  1588674 |  1542922 |     1788   2168 |        0 |        0
418.26/418.43	c  418s |      22 |  1595886 |  1549922 |     1788   2175 |        0 |        0
420.26/420.47	c  420s |      22 |  1602963 |  1556822 |     1788   2183 |        0 |        0
422.26/422.47	c  422s |      22 |  1610180 |  1563822 |     1788   2190 |        0 |        0
424.26/424.47	c  424s |      22 |  1617866 |  1571222 |     1788   2198 |        0 |        0
426.26/426.48	c  426s |      22 |  1625000 |  1578122 |     1788   2205 |        0 |        0
428.36/428.50	c  428s |      22 |  1632180 |  1585122 |     1788   2212 |        0 |        0
430.35/430.52	c  430s |      22 |  1639524 |  1592222 |     1788   2220 |        0 |        0
432.35/432.54	c  432s |      22 |  1646839 |  1599222 |     1788   2227 |        0 |        0
434.36/434.54	c  434s |      22 |  1653829 |  1606022 |     1788   2234 |        0 |        0
436.35/436.56	c  436s |      22 |  1660924 |  1612822 |     1788   2242 |        0 |        0
438.35/438.57	c  438s |      22 |  1668315 |  1619922 |     1788   2249 |        0 |        0
440.36/440.59	c  440s |      22 |  1675319 |  1626722 |     1788   2256 |        0 |        0
442.46/442.61	c  442s |      22 |  1682332 |  1633522 |     1788   2264 |        0 |        0
444.46/444.64	c  444s |      22 |  1689513 |  1640422 |     1788   2271 |        0 |        0
446.46/446.65	c  446s |      22 |  1696687 |  1647222 |     1788   2278 |        0 |        0
448.46/448.67	c  448s |      22 |  1703620 |  1653922 |     1788   2285 |        0 |        0
450.45/450.67	c  450s |      22 |  1710586 |  1660522 |     1788   2292 |        0 |        0
452.45/452.67	c  452s |      22 |  1717661 |  1667322 |     1788   2299 |        0 |        0
454.45/454.69	c  454s |      22 |  1724428 |  1673922 |     1788   2306 |        0 |        0
456.55/456.71	c  456s |      22 |  1731603 |  1680822 |     1788   2314 |        0 |        0
458.56/458.74	c  458s |      22 |  1739017 |  1687922 |     1788   2321 |        0 |        0
460.55/460.74	c  460s |      22 |  1746286 |  1694822 |     1788   2328 |        0 |        0
462.55/462.76	c  462s |      22 |  1753306 |  1701622 |     1788   2336 |        0 |        0
464.55/464.76	c  464s |      22 |  1760476 |  1708522 |     1788   2343 |        0 |        0
466.54/466.78	c  466s |      22 |  1767263 |  1715022 |     1788   2350 |        0 |        0
468.55/468.79	c  468s |      22 |  1774260 |  1721722 |     1788   2357 |        0 |        0
470.65/470.81	c  470s |      22 |  1781115 |  1728322 |     1788   2364 |        0 |        0
472.64/472.83	c  472s |      22 |  1788312 |  1735222 |     1788   2371 |        0 |        0
474.64/474.86	c  474s |      22 |  1795383 |  1742022 |     1788   2378 |        0 |        0
476.64/476.88	c  476s |      22 |  1802373 |  1748622 |     1788   2385 |        0 |        0
478.74/478.90	c  478s |      22 |  1809110 |  1755122 |     1788   2392 |        0 |        0
480.73/480.92	c  480s |      22 |  1816438 |  1762122 |     1788   2400 |        0 |        0
482.74/482.93	c  482s |      22 |  1823686 |  1769122 |     1788   2407 |        0 |        0
484.73/484.94	c  484s |      22 |  1830921 |  1776022 |     1788   2414 |        0 |        0
486.73/486.95	c  486s |      22 |  1837970 |  1782822 |     1788   2421 |        0 |        0
488.73/488.95	c  488s |      22 |  1844818 |  1789522 |     1788   2428 |        0 |        0
490.73/490.98	c  490s |      22 |  1851848 |  1796422 |     1788   2436 |        0 |        0
492.83/493.00	c  492s |      22 |  1858761 |  1803122 |     1788   2443 |        0 |        0
494.83/495.01	c  494s |      22 |  1865722 |  1809922 |     1788   2450 |        0 |        0
496.83/497.02	c  497s |      22 |  1872464 |  1816522 |     1788   2457 |        0 |        0
498.83/499.03	c  499s |      22 |  1879517 |  1823322 |     1788   2464 |        0 |        0
500.82/501.03	c  501s |      22 |  1886059 |  1829722 |     1788   2471 |        0 |        0
502.82/503.04	c  503s |      22 |  1892978 |  1836522 |     1788   2478 |        0 |        0
504.83/505.07	c  505s |      22 |  1899813 |  1843222 |     1788   2485 |        0 |        0
506.82/507.09	c  507s |      22 |  1906659 |  1849822 |     1788   2492 |        0 |        0
508.92/509.10	c  509s |      22 |  1913273 |  1856222 |     1788   2499 |        0 |        0
510.92/511.10	c  511s |      22 |  1919669 |  1862422 |     1788   2506 |        0 |        0
512.92/513.13	c  513s |      22 |  1926726 |  1869322 |     1788   2513 |        0 |        0
514.91/515.16	c  515s |      22 |  1933715 |  1876022 |     1788   2520 |        0 |        0
516.92/517.17	c  517s |      22 |  1940432 |  1882522 |     1788   2527 |        0 |        0
518.91/519.18	c  519s |      22 |  1947053 |  1888922 |     1788   2534 |        0 |        0
520.91/521.18	c  521s |      22 |  1953851 |  1895322 |     1788   2540 |        0 |        0
523.02/523.20	c  523s |      22 |  1960235 |  1901422 |     1788   2547 |        0 |        0
525.02/525.20	c  525s |      22 |  1967406 |  1908422 |     1788   2554 |        0 |        0
527.02/527.23	c  527s |      22 |  1974490 |  1915322 |     1788   2562 |        0 |        0
529.03/529.24	c  529s |      22 |  1981403 |  1922022 |     1788   2569 |        0 |        0
531.01/531.24	c  531s |      22 |  1988129 |  1928522 |     1788   2575 |        0 |        0
533.01/533.26	c  533s |      22 |  1994838 |  1935022 |     1788   2582 |        0 |        0
535.01/535.28	c  535s |      22 |  2001811 |  1941822 |     1788   2590 |        0 |        0
537.01/537.30	c  537s |      22 |  2008534 |  1948422 |     1788   2596 |        0 |        0
539.11/539.32	c  539s |      22 |  2015289 |  1955022 |     1788   2603 |        0 |        0
541.11/541.33	c  541s |      22 |  2021845 |  1961422 |     1788   2610 |        0 |        0
543.10/543.34	c  543s |      22 |  2028689 |  1968122 |     1788   2617 |        0 |        0
545.10/545.35	c  545s |      22 |  2035327 |  1974622 |     1788   2624 |        0 |        0
547.10/547.36	c  547s |      22 |  2041934 |  1981022 |     1788   2631 |        0 |        0
549.10/549.37	c  549s |      22 |  2048391 |  1987322 |     1788   2638 |        0 |        0
551.20/551.40	c  551s |      22 |  2055087 |  1993822 |     1788   2645 |        0 |        0
553.21/553.42	c  553s |      22 |  2061918 |  2000322 |     1788   2651 |        0 |        0
555.20/555.43	c  555s |      22 |  2068655 |  2006722 |     1788   2658 |        0 |        0
557.20/557.46	c  557s |      22 |  2075365 |  2013022 |     1788   2665 |        0 |        0
559.20/559.49	c  559s |      22 |  2081952 |  2019322 |     1788   2672 |        0 |        0
561.29/561.52	c  561s |      22 |  2088423 |  2025622 |     1788   2678 |        0 |        0
563.29/563.54	c  563s |      22 |  2094972 |  2031922 |     1788   2685 |        0 |        0
565.30/565.55	c  565s |      22 |  2101774 |  2038522 |     1788   2692 |        0 |        0
567.29/567.55	c  567s |      22 |  2108910 |  2045322 |     1788   2699 |        0 |        0
569.29/569.57	c  569s |      22 |  2115818 |  2052022 |     1788   2706 |        0 |        0
571.29/571.58	c  571s |      22 |  2122542 |  2058522 |     1788   2713 |        0 |        0
573.29/573.59	c  573s |      22 |  2129147 |  2064922 |     1788   2720 |        0 |        0
575.39/575.61	c  575s |      22 |  2135723 |  2071222 |     1788   2726 |        0 |        0
577.39/577.64	c  577s |      22 |  2142474 |  2077822 |     1788   2733 |        0 |        0
579.38/579.65	c  579s |      22 |  2148846 |  2084022 |     1788   2740 |        0 |        0
581.38/581.67	c  581s |      22 |  2155609 |  2090622 |     1788   2747 |        0 |        0
583.48/583.70	c  583s |      22 |  2161992 |  2096922 |     1788   2754 |        0 |        0
585.49/585.72	c  585s |      22 |  2168436 |  2103222 |     1788   2760 |        0 |        0
587.49/587.74	c  587s |      22 |  2175182 |  2109822 |     1788   2767 |        0 |        0
589.50/589.75	c  589s |      22 |  2181745 |  2116222 |     1788   2774 |        0 |        0
591.49/591.78	c  591s |      22 |  2188241 |  2122522 |     1788   2781 |        0 |        0
593.48/593.78	c  593s |      22 |  2194758 |  2128922 |     1788   2787 |        0 |        0
595.58/595.81	c  595s |      22 |  2201088 |  2135122 |     1788   2794 |        0 |        0
597.58/597.81	c  597s |      22 |  2207418 |  2141322 |     1788   2800 |        0 |        0
599.58/599.83	c  599s |      22 |  2214191 |  2147822 |     1788   2807 |        0 |        0
601.59/601.84	c  601s |      22 |  2220710 |  2154122 |     1788   2814 |        0 |        0
603.58/603.84	c  603s |      22 |  2227170 |  2160422 |     1788   2821 |        0 |        0
605.58/605.85	c  605s |      22 |  2233603 |  2166722 |     1788   2827 |        0 |        0
607.58/607.85	c  607s |      22 |  2239893 |  2172822 |     1788   2834 |        0 |        0
609.58/609.86	c  609s |      22 |  2246185 |  2178922 |     1788   2840 |        0 |        0
611.57/611.87	c  611s |      22 |  2252479 |  2185022 |     1788   2847 |        0 |        0
613.58/613.87	c  613s |      22 |  2259532 |  2191922 |     1788   2854 |        0 |        0
615.57/615.87	c  615s |      22 |  2266351 |  2198622 |     1788   2861 |        0 |        0
617.57/617.89	c  617s |      22 |  2273167 |  2205322 |     1788   2868 |        0 |        0
619.67/619.90	c  619s |      22 |  2280052 |  2212022 |     1788   2875 |        0 |        0
621.66/621.92	c  621s |      22 |  2286781 |  2218622 |     1788   2882 |        0 |        0
623.67/623.93	c  623s |      22 |  2293508 |  2225222 |     1788   2889 |        0 |        0
625.67/625.94	c  625s |      22 |  2300027 |  2231622 |     1788   2896 |        0 |        0
627.66/627.95	c  627s |      22 |  2306850 |  2238222 |     1967   2902 |        0 |        0
629.66/629.95	c  629s |      22 |  2313187 |  2244322 |     1967   2908 |        0 |        0
631.66/631.93	c  631s |      23 |  2320041 |  2251038 |     1967   2915 |        0 |        0
633.66/633.94	c  633s |      23 |  2326921 |  2257638 |     1967   2921 |        0 |        0
635.66/635.95	c  635s |      23 |  2333901 |  2264438 |     1967   2928 |        0 |        0
637.66/637.96	c  637s |      23 |  2340549 |  2270938 |     1967   2934 |        0 |        0
639.65/639.97	c  639s |      23 |  2347177 |  2277438 |     1967   2940 |        0 |        0
641.66/641.98	c  641s |      23 |  2353984 |  2284038 |     1967   2947 |        0 |        0
643.66/643.98	c  643s |      23 |  2360943 |  2290838 |     1967   2953 |        0 |        0
645.66/645.99	c  645s |      23 |  2367794 |  2297438 |     1967   2959 |        0 |        0
647.77/648.01	c  647s |      23 |  2374704 |  2304038 |     1967   2966 |        0 |        0
649.76/650.03	c  650s |      23 |  2381553 |  2310638 |     1967   2972 |        0 |        0
651.75/652.07	c  652s |      23 |  2388369 |  2317238 |     1967   2979 |        0 |        0
653.75/654.08	c  654s |      23 |  2395068 |  2323738 |     1967   2985 |        0 |        0
655.75/656.09	c  656s |      23 |  2401744 |  2330138 |     1967   2991 |        0 |        0
657.85/658.13	c  658s |      23 |  2408374 |  2336538 |     1967   2997 |        0 |        0
659.86/660.13	c  660s |      23 |  2415422 |  2343338 |     1967   3004 |        0 |        0
661.85/662.14	c  662s |      23 |  2422176 |  2349938 |     1967   3010 |        0 |        0
663.85/664.15	c  664s |      23 |  2428717 |  2356338 |     1967   3016 |        0 |        0
665.85/666.17	c  666s |      23 |  2435392 |  2362738 |     1967   3023 |        0 |        0
667.85/668.19	c  668s |      23 |  2441961 |  2369138 |     1967   3029 |        0 |        0
669.95/670.20	c  670s |      23 |  2448316 |  2375338 |     1967   3035 |        0 |        0
671.85/672.20	c  672s |      23 |  2454880 |  2381638 |     1967   3041 |        0 |        0
673.94/674.21	c  674s |      23 |  2461970 |  2388538 |     1967   3047 |        0 |        0
675.94/676.24	c  676s |      23 |  2468958 |  2395338 |     1967   3054 |        0 |        0
677.94/678.27	c  678s |      23 |  2475958 |  2402138 |     1967   3061 |        0 |        0
679.94/680.27	c  680s |      23 |  2482857 |  2408738 |     1967   3067 |        0 |        0
681.94/682.27	c  682s |      23 |  2489540 |  2415138 |     1967   3073 |        0 |        0
683.95/684.29	c  684s |      23 |  2496331 |  2421738 |     1967   3079 |        0 |        0
686.04/686.31	c  686s |      23 |  2503118 |  2428238 |     1967   3086 |        0 |        0
688.04/688.32	c  688s |      23 |  2509755 |  2434738 |     1967   3092 |        0 |        0
690.03/690.32	c  690s |      23 |  2516243 |  2441038 |     1967   3098 |        0 |        0
692.03/692.33	c  692s |      23 |  2523075 |  2447638 |     1967   3104 |        0 |        0
694.03/694.35	c  694s |      23 |  2529603 |  2453938 |     1967   3111 |        0 |        0
696.04/696.36	c  696s |      23 |  2535991 |  2460138 |     1967   3116 |        0 |        0
698.03/698.38	c  698s |      23 |  2542671 |  2466638 |     1967   3123 |        0 |        0
700.03/700.40	c  700s |      23 |  2549435 |  2473138 |     1967   3129 |        0 |        0
702.13/702.42	c  702s |      23 |  2555941 |  2479438 |     1967   3135 |        0 |        0
704.13/704.44	c  704s |      23 |  2562569 |  2485838 |     1967   3141 |        0 |        0
706.13/706.44	c  706s |      23 |  2568951 |  2492038 |     1967   3147 |        0 |        0
708.14/708.46	c  708s |      23 |  2575486 |  2498338 |     1967   3153 |        0 |        0
710.12/710.47	c  710s |      23 |  2582006 |  2504538 |     1967   3159 |        0 |        0
712.12/712.47	c  712s |      23 |  2589073 |  2511338 |     1967   3166 |        0 |        0
714.12/714.49	c  714s |      23 |  2595999 |  2518038 |     1967   3172 |        0 |        0
716.22/716.53	c  716s |      23 |  2602685 |  2524438 |     1967   3179 |        0 |        0
718.22/718.53	c  718s |      23 |  2609148 |  2530738 |     1967   3185 |        0 |        0
720.23/720.56	c  720s |      23 |  2615502 |  2536938 |     1967   3191 |        0 |        0
722.22/722.57	c  722s |      23 |  2622241 |  2543438 |     1967   3197 |        0 |        0
724.22/724.57	c  724s |      23 |  2628894 |  2549838 |     1967   3203 |        0 |        0
726.22/726.58	c  726s |      23 |  2635284 |  2556038 |     1967   3209 |        0 |        0
728.32/728.60	c  728s |      23 |  2642108 |  2562538 |     1967   3215 |        0 |        0
730.31/730.63	c  730s |      23 |  2648538 |  2568738 |     1967   3221 |        0 |        0
732.32/732.65	c  732s |      23 |  2655119 |  2575038 |     1967   3227 |        0 |        0
734.31/734.68	c  734s |      23 |  2661820 |  2581538 |     1967   3234 |        0 |        0
736.41/736.71	c  736s |      23 |  2668439 |  2587938 |     1967   3240 |        0 |        0
738.41/738.74	c  738s |      23 |  2674743 |  2594038 |     1967   3246 |        0 |        0
740.40/740.75	c  740s |      23 |  2681108 |  2600238 |     1967   3252 |        0 |        0
742.41/742.76	c  742s |      23 |  2687356 |  2606338 |     1967   3258 |        0 |        0
744.41/744.78	c  744s |      23 |  2694014 |  2612838 |     1967   3264 |        0 |        0
746.50/746.81	c  746s |      23 |  2700538 |  2619238 |     1967   3270 |        0 |        0
748.50/748.83	c  748s |      23 |  2707091 |  2625538 |     1967   3276 |        0 |        0
750.50/750.84	c  750s |      23 |  2713375 |  2631638 |     1967   3282 |        0 |        0
752.50/752.86	c  752s |      23 |  2719726 |  2637738 |     1967   3288 |        0 |        0
754.50/754.87	c  754s |      23 |  2725933 |  2643638 |     1967   3294 |        0 |        0
756.51/756.87	c  756s |      23 |  2733214 |  2650638 |     1967   3300 |        0 |        0
758.50/758.89	c  758s |      23 |  2740500 |  2657638 |     1967   3307 |        0 |        0
760.60/760.91	c  760s |      23 |  2747688 |  2664538 |     1967   3314 |        0 |        0
762.60/762.92	c  762s |      23 |  2754475 |  2671138 |     1967   3320 |        0 |        0
764.59/764.93	c  764s |      23 |  2761466 |  2677838 |     1967   3327 |        0 |        0
766.60/766.95	c  766s |      23 |  2768593 |  2684638 |     1967   3333 |        0 |        0
768.60/768.97	c  768s |      23 |  2775403 |  2691338 |     1967   3340 |        0 |        0
770.59/770.98	c  770s |      23 |  2782231 |  2697938 |     1967   3346 |        0 |        0
772.60/772.99	c  772s |      23 |  2789126 |  2704538 |     1967   3352 |        0 |        0
774.70/775.02	c  775s |      23 |  2795774 |  2710938 |     1967   3359 |        0 |        0
776.69/777.04	c  777s |      23 |  2802497 |  2717438 |     1967   3365 |        0 |        0
778.69/779.05	c  779s |      23 |  2809244 |  2723838 |     1967   3371 |        0 |        0
780.70/781.07	c  781s |      23 |  2815813 |  2730038 |     1967   3377 |        0 |        0
782.79/783.10	c  783s |      23 |  2822154 |  2736138 |     1967   3383 |        0 |        0
784.79/785.12	c  785s |      23 |  2829059 |  2742838 |     1967   3389 |        0 |        0
786.79/787.14	c  787s |      23 |  2835889 |  2749338 |     1967   3396 |        0 |        0
788.79/789.15	c  789s |      23 |  2842499 |  2755638 |     1967   3402 |        0 |        0
790.79/791.16	c  791s |      23 |  2848987 |  2761938 |     1967   3408 |        0 |        0
792.79/793.18	c  793s |      23 |  2855529 |  2768238 |     1967   3414 |        0 |        0
794.88/795.20	c  795s |      23 |  2861999 |  2774438 |     1967   3420 |        0 |        0
796.88/797.21	c  797s |      23 |  2868566 |  2780738 |     1967   3426 |        0 |        0
798.88/799.23	c  799s |      23 |  2875255 |  2787138 |     1967   3432 |        0 |        0
800.88/801.24	c  801s |      23 |  2881777 |  2793438 |     1967   3438 |        0 |        0
802.88/803.25	c  803s |      23 |  2888164 |  2799638 |     1967   3444 |        0 |        0
804.88/805.27	c  805s |      23 |  2894596 |  2805838 |     1967   3450 |        0 |        0
806.98/807.30	c  807s |      23 |  2900920 |  2811938 |     1967   3456 |        0 |        0
808.98/809.31	c  809s |      23 |  2907416 |  2818238 |     1967   3462 |        0 |        0
810.98/811.33	c  811s |      23 |  2913802 |  2824438 |     1967   3468 |        0 |        0
812.98/813.36	c  813s |      23 |  2920468 |  2830838 |     1967   3475 |        0 |        0
814.98/815.38	c  815s |      23 |  2927308 |  2837438 |     1967   3481 |        0 |        0
816.98/817.39	c  817s |      23 |  2934017 |  2843838 |     1967   3487 |        0 |        0
819.08/819.41	c  819s |      23 |  2940603 |  2850138 |     1967   3493 |        0 |        0
821.07/821.43	c  821s |      23 |  2947018 |  2856338 |     1967   3499 |        0 |        0
823.07/823.44	c  823s |      23 |  2953438 |  2862538 |     1967   3505 |        0 |        0
825.07/825.46	c  825s |      23 |  2959835 |  2868638 |     1967   3511 |        0 |        0
827.07/827.47	c  827s |      23 |  2966269 |  2874738 |     1967   3517 |        0 |        0
829.08/829.49	c  829s |      23 |  2972725 |  2880938 |     1967   3523 |        0 |        0
831.17/831.50	c  831s |      23 |  2978875 |  2886838 |     1967   3529 |        0 |        0
833.17/833.52	c  833s |      23 |  2985224 |  2892938 |     1967   3535 |        0 |        0
835.17/835.53	c  835s |      23 |  2991546 |  2898838 |     1967   3540 |        0 |        0
837.17/837.54	c  837s |      23 |  2998063 |  2905038 |     1967   3546 |        0 |        0
839.17/839.56	c  839s |      23 |  3004695 |  2911438 |     1967   3552 |        0 |        0
841.17/841.57	c  841s |      23 |  3011517 |  2917938 |     1967   3559 |        0 |        0
843.17/843.57	c  843s |      23 |  3018127 |  2924038 |     1967   3565 |        0 |        0
845.17/845.60	c  845s |      23 |  3024302 |  2930038 |     1967   3570 |        0 |        0
847.27/847.61	c  847s |      23 |  3030748 |  2936338 |     1967   3577 |        0 |        0
849.26/849.62	c  849s |      23 |  3037407 |  2942838 |     1967   3583 |        0 |        0
851.26/851.64	c  851s |      23 |  3043784 |  2949038 |     1967   3589 |        0 |        0
853.27/853.65	c  853s |      23 |  3050187 |  2955238 |     1967   3595 |        0 |        0
855.26/855.67	c  855s |      23 |  3056619 |  2961538 |     1967   3601 |        0 |        0
857.26/857.69	c  857s |      23 |  3062777 |  2967538 |     1967   3607 |        0 |        0
859.36/859.71	c  859s |      23 |  3069156 |  2973738 |     1967   3613 |        0 |        0
861.36/861.74	c  861s |      23 |  3075414 |  2979838 |     1967   3619 |        0 |        0
863.36/863.75	c  863s |      23 |  3081721 |  2985938 |     1967   3625 |        0 |        0
865.37/865.77	c  865s |      23 |  3087982 |  2992038 |     1967   3630 |        0 |        0
867.36/867.79	c  867s |      23 |  3094385 |  2998238 |     1967   3636 |        0 |        0
869.46/869.82	c  869s |      23 |  3100791 |  3004538 |     1967   3643 |        0 |        0
871.46/871.84	c  871s |      23 |  3107186 |  3010738 |     1967   3649 |        0 |        0
873.46/873.86	c  873s |      23 |  3113597 |  3016938 |     1967   3655 |        0 |        0
875.46/875.89	c  875s |      23 |  3120026 |  3023138 |     1967   3661 |        0 |        0
877.57/877.93	c  877s |      23 |  3126272 |  3029238 |     1967   3666 |        0 |        0
879.56/879.94	c  879s |      23 |  3132536 |  3035338 |     1967   3672 |        0 |        0
881.56/881.97	c  881s |      23 |  3138730 |  3041338 |     1967   3678 |        0 |        0
883.56/883.98	c  883s |      23 |  3145130 |  3047438 |     1967   3684 |        0 |        0
885.56/885.98	c  885s |      23 |  3151603 |  3053638 |     1967   3690 |        0 |        0
887.56/887.99	c  887s |      23 |  3157870 |  3059738 |     1967   3696 |        0 |        0
889.66/890.01	c  889s |      23 |  3164353 |  3065938 |     1967   3702 |        0 |        0
891.65/892.02	c  891s |      23 |  3170471 |  3071838 |     1967   3708 |        0 |        0
893.65/894.02	c  893s |      23 |  3176368 |  3077538 |     1967   3713 |        0 |        0
895.66/896.04	c  896s |      23 |  3182595 |  3083538 |     1967   3719 |        0 |        0
897.66/898.06	c  898s |      23 |  3188641 |  3089138 |     1967   3725 |        0 |        0
899.66/900.07	c  900s |      23 |  3194825 |  3095138 |     1967   3730 |        0 |        0
901.67/902.08	c  902s |      23 |  3201434 |  3101538 |     1967   3737 |        0 |        0
903.66/904.08	c  904s |      23 |  3208013 |  3107738 |     1967   3742 |        0 |        0
905.76/906.10	c  906s |      23 |  3214339 |  3113738 |     1967   3748 |        0 |        0
907.76/908.11	c  908s |      23 |  3220506 |  3119638 |     1967   3754 |        0 |        0
909.76/910.12	c  910s |      23 |  3227119 |  3125838 |     1967   3760 |        0 |        0
911.76/912.13	c  912s |      23 |  3233692 |  3132038 |     1967   3766 |        0 |        0
913.77/914.15	c  914s |      23 |  3239925 |  3138038 |     1967   3772 |        0 |        0
915.76/916.15	c  916s |      23 |  3246157 |  3144038 |     1967   3778 |        0 |        0
917.76/918.18	c  918s |      23 |  3252408 |  3150138 |     1967   3783 |        0 |        0
919.86/920.20	c  920s |      23 |  3258690 |  3156238 |     1967   3789 |        0 |        0
921.86/922.22	c  922s |      23 |  3264890 |  3162238 |     1967   3795 |        0 |        0
923.86/924.24	c  924s |      23 |  3270964 |  3168138 |     1967   3801 |        0 |        0
925.86/926.28	c  926s |      23 |  3276969 |  3174038 |     1967   3807 |        0 |        0
927.86/928.28	c  928s |      23 |  3283213 |  3180038 |     1967   3812 |        0 |        0
929.86/930.29	c  930s |      23 |  3289645 |  3186238 |     1967   3818 |        0 |        0
931.86/932.29	c  932s |      23 |  3296000 |  3192138 |     1967   3824 |        0 |        0
933.96/934.31	c  934s |      23 |  3302221 |  3197938 |     1967   3830 |        0 |        0
935.95/936.32	c  936s |      23 |  3308273 |  3203638 |     1967   3835 |        0 |        0
937.96/938.32	c  938s |      23 |  3314375 |  3209438 |     1967   3841 |        0 |        0
939.95/940.35	c  940s |      23 |  3320491 |  3215338 |     1967   3846 |        0 |        0
941.95/942.37	c  942s |      23 |  3326356 |  3221038 |     1967   3852 |        0 |        0
944.05/944.40	c  944s |      23 |  3332964 |  3227438 |     1967   3858 |        0 |        0
946.05/946.43	c  946s |      23 |  3339577 |  3233738 |     1967   3864 |        0 |        0
948.05/948.43	c  948s |      23 |  3346002 |  3239938 |     1967   3870 |        0 |        0
950.06/950.45	c  950s |      23 |  3352481 |  3246238 |     1967   3876 |        0 |        0
952.05/952.47	c  952s |      23 |  3358899 |  3252438 |     1967   3882 |        0 |        0
954.05/954.47	c  954s |      23 |  3365290 |  3258638 |     1967   3888 |        0 |        0
956.05/956.49	c  956s |      23 |  3371589 |  3264738 |     1967   3894 |        0 |        0
958.15/958.50	c  958s |      23 |  3378209 |  3271138 |     1967   3900 |        0 |        0
960.15/960.51	c  960s |      23 |  3384800 |  3277338 |     1967   3906 |        0 |        0
962.15/962.53	c  962s |      23 |  3391216 |  3283538 |     1967   3912 |        0 |        0
964.15/964.54	c  964s |      23 |  3397557 |  3289638 |     1967   3918 |        0 |        0
966.15/966.55	c  966s |      23 |  3403807 |  3295638 |     1967   3924 |        0 |        0
968.14/968.55	c  968s |      23 |  3409899 |  3301538 |     1967   3930 |        0 |        0
970.14/970.56	c  970s |      23 |  3416256 |  3307738 |     1967   3936 |        0 |        0
972.15/972.58	c  972s |      23 |  3422625 |  3313938 |     1967   3942 |        0 |        0
974.14/974.60	c  974s |      23 |  3429009 |  3320038 |     1967   3948 |        0 |        0
976.24/976.61	c  976s |      23 |  3435041 |  3325938 |     1967   3953 |        0 |        0
978.24/978.62	c  978s |      23 |  3441154 |  3331938 |     1967   3959 |        0 |        0
980.24/980.65	c  980s |      23 |  3447638 |  3338238 |     1967   3965 |        0 |        0
982.25/982.67	c  982s |      23 |  3453934 |  3344338 |     1967   3971 |        0 |        0
984.35/984.71	c  984s |      23 |  3459781 |  3350038 |     1967   3977 |        0 |        0
986.36/986.72	c  986s |      23 |  3465687 |  3355738 |     2164   3982 |        0 |        0
988.35/988.73	c  988s |      23 |  3471961 |  3361838 |     2164   3987 |        0 |        0
990.35/990.77	c  990s |      23 |  3478540 |  3368038 |     2164   3993 |        0 |        0
992.44/992.80	c  992s |      23 |  3484915 |  3373938 |     2164   3998 |        0 |        0
993.34/993.75	c  993s |      24 |  3487895 |  3376662 |     2164   4000 |        0 |        0
995.34/995.75	c  995s |      24 |  3494967 |  3383462 |     2164   4006 |        0 |        0
997.35/997.77	c  997s |      24 |  3501477 |  3389762 |     2164   4012 |        0 |        0
999.44/999.80	c  999s |      24 |  3508006 |  3396162 |     2164   4017 |        0 |        0
1001.44/1001.82	c 1001s |      24 |  3514376 |  3402362 |     2164   4023 |        0 |        0
1003.44/1003.84	c 1003s |      24 |  3521252 |  3408962 |     2164   4029 |        0 |        0
1005.44/1005.84	c 1005s |      24 |  3527825 |  3415262 |     2164   4034 |        0 |        0
1007.44/1007.85	c 1007s |      24 |  3534120 |  3421262 |     2164   4039 |        0 |        0
1009.45/1009.85	c 1009s |      24 |  3540645 |  3427662 |     2164   4045 |        0 |        0
1011.44/1011.89	c 1011s |      24 |  3547062 |  3433962 |     2164   4051 |        0 |        0
1013.54/1013.92	c 1013s |      24 |  3553604 |  3440362 |     2164   4056 |        0 |        0
1015.54/1015.92	c 1015s |      24 |  3560135 |  3446662 |     2164   4062 |        0 |        0
1017.54/1017.94	c 1017s |      24 |  3566674 |  3452762 |     2164   4067 |        0 |        0
1019.54/1019.94	c 1019s |      24 |  3573100 |  3459062 |     2164   4073 |        0 |        0
1021.54/1021.95	c 1021s |      24 |  3579543 |  3465262 |     2164   4078 |        0 |        0
1023.54/1024.00	c 1023s |      24 |  3585846 |  3471362 |     2164   4084 |        0 |        0
1025.64/1026.01	c 1025s |      24 |  3591948 |  3477262 |     2164   4089 |        0 |        0
1027.64/1028.02	c 1028s |      24 |  3598345 |  3483462 |     2164   4094 |        0 |        0
1029.64/1030.03	c 1030s |      24 |  3604627 |  3489562 |     2164   4100 |        0 |        0
1031.63/1032.04	c 1032s |      24 |  3610693 |  3495562 |     2164   4105 |        0 |        0
1033.64/1034.06	c 1034s |      24 |  3616809 |  3501462 |     2164   4110 |        0 |        0
1035.63/1036.08	c 1036s |      24 |  3622846 |  3507362 |     2164   4115 |        0 |        0
1037.73/1038.10	c 1038s |      24 |  3630027 |  3514262 |     2164   4121 |        0 |        0
1039.73/1040.12	c 1040s |      24 |  3636593 |  3520662 |     2164   4127 |        0 |        0
1041.73/1042.16	c 1042s |      24 |  3643114 |  3527062 |     2164   4133 |        0 |        0
1043.73/1044.18	c 1044s |      24 |  3649600 |  3533362 |     2164   4138 |        0 |        0
1045.84/1046.21	c 1046s |      24 |  3656014 |  3539662 |     2164   4144 |        0 |        0
1047.83/1048.23	c 1048s |      24 |  3662587 |  3546062 |     2164   4149 |        0 |        0
1049.83/1050.25	c 1050s |      24 |  3668848 |  3552162 |     2164   4155 |        0 |        0
1051.83/1052.28	c 1052s |      24 |  3675234 |  3558362 |     2164   4160 |        0 |        0
1053.83/1054.29	c 1054s |      24 |  3681642 |  3564562 |     2164   4166 |        0 |        0
1055.83/1056.30	c 1056s |      24 |  3688242 |  3570962 |     2164   4171 |        0 |        0
1057.94/1058.32	c 1058s |      24 |  3694498 |  3577062 |     2164   4177 |        0 |        0
1059.93/1060.33	c 1060s |      24 |  3700610 |  3582962 |     2164   4182 |        0 |        0
1061.93/1062.36	c 1062s |      24 |  3706893 |  3588962 |     2164   4187 |        0 |        0
1063.94/1064.38	c 1064s |      24 |  3713180 |  3594962 |     2164   4192 |        0 |        0
1065.94/1066.39	c 1066s |      24 |  3719304 |  3600762 |     2164   4197 |        0 |        0
1068.03/1068.40	c 1068s |      24 |  3725630 |  3606762 |     2164   4203 |        0 |        0
1069.94/1070.40	c 1070s |      24 |  3732121 |  3613062 |     2164   4208 |        0 |        0
1072.03/1072.42	c 1072s |      24 |  3738434 |  3619162 |     2164   4214 |        0 |        0
1074.03/1074.43	c 1074s |      24 |  3744586 |  3625162 |     2164   4219 |        0 |        0
1076.03/1076.47	c 1076s |      24 |  3750652 |  3631062 |     2164   4224 |        0 |        0
1078.03/1078.48	c 1078s |      24 |  3756958 |  3637162 |     2164   4230 |        0 |        0
1080.13/1080.51	c 1080s |      24 |  3763133 |  3643062 |     2164   4235 |        0 |        0
1082.14/1082.53	c 1082s |      24 |  3769319 |  3648862 |     2164   4240 |        0 |        0
1084.13/1084.55	c 1084s |      24 |  3775633 |  3654962 |     2164   4245 |        0 |        0
1086.13/1086.55	c 1086s |      24 |  3782077 |  3661162 |     2164   4251 |        0 |        0
1088.13/1088.57	c 1088s |      24 |  3788515 |  3667362 |     2164   4256 |        0 |        0
1090.23/1090.61	c 1090s |      24 |  3794753 |  3673462 |     2164   4262 |        0 |        0
1092.23/1092.61	c 1092s |      24 |  3800824 |  3679362 |     2164   4267 |        0 |        0
1094.24/1094.63	c 1094s |      24 |  3806916 |  3685262 |     2164   4272 |        0 |        0
1096.23/1096.66	c 1096s |      24 |  3813002 |  3691162 |     2164   4277 |        0 |        0
1098.33/1098.70	c 1098s |      24 |  3818952 |  3696962 |     2164   4282 |        0 |        0
1100.33/1100.70	c 1100s |      24 |  3824825 |  3702662 |     2164   4287 |        0 |        0
1102.33/1102.73	c 1102s |      24 |  3830784 |  3708362 |     2164   4292 |        0 |        0
1104.32/1104.76	c 1104s |      24 |  3837474 |  3714762 |     2164   4298 |        0 |        0
1106.42/1106.80	c 1106s |      24 |  3844106 |  3721162 |     2164   4304 |        0 |        0
1108.43/1108.83	c 1108s |      24 |  3850416 |  3727262 |     2164   4309 |        0 |        0
1110.42/1110.83	c 1110s |      24 |  3857040 |  3733362 |     2164   4314 |        0 |        0
1112.42/1112.84	c 1112s |      24 |  3863090 |  3739162 |     2164   4319 |        0 |        0
1114.42/1114.85	c 1114s |      24 |  3869334 |  3745262 |     2164   4325 |        0 |        0
1116.42/1116.86	c 1116s |      24 |  3875626 |  3751362 |     2164   4330 |        0 |        0
1118.43/1118.89	c 1118s |      24 |  3882024 |  3757562 |     2164   4336 |        0 |        0
1120.53/1120.91	c 1120s |      24 |  3888605 |  3763662 |     2164   4341 |        0 |        0
1122.52/1122.92	c 1122s |      24 |  3894771 |  3769662 |     2164   4346 |        0 |        0
1124.52/1124.94	c 1124s |      24 |  3900844 |  3775562 |     2164   4352 |        0 |        0
1126.52/1126.97	c 1126s |      24 |  3906895 |  3781462 |     2164   4357 |        0 |        0
1128.52/1128.97	c 1128s |      24 |  3913015 |  3787362 |     2164   4362 |        0 |        0
1130.53/1130.97	c 1130s |      24 |  3919141 |  3793262 |     2164   4367 |        0 |        0
1132.52/1133.00	c 1132s |      24 |  3925391 |  3799262 |     2164   4372 |        0 |        0
1134.62/1135.00	c 1134s |      24 |  3931413 |  3805062 |     2164   4378 |        0 |        0
1136.62/1137.00	c 1136s |      24 |  3937365 |  3810862 |     2164   4383 |        0 |        0
1138.62/1139.03	c 1139s |      24 |  3943670 |  3816962 |     2164   4388 |        0 |        0
1140.62/1141.05	c 1141s |      24 |  3949880 |  3822962 |     2164   4393 |        0 |        0
1142.62/1143.05	c 1143s |      24 |  3956129 |  3828962 |     2164   4399 |        0 |        0
1144.62/1145.09	c 1145s |      24 |  3962297 |  3834962 |     2164   4404 |        0 |        0
1146.72/1147.12	c 1147s |      24 |  3968565 |  3841062 |     2164   4409 |        0 |        0
1148.72/1149.13	c 1149s |      24 |  3974629 |  3846962 |     2164   4414 |        0 |        0
1150.72/1151.16	c 1151s |      24 |  3980727 |  3852862 |     2164   4420 |        0 |        0
1152.72/1153.17	c 1153s |      24 |  3986484 |  3858462 |     2164   4425 |        0 |        0
1154.73/1155.18	c 1155s |      24 |  3992339 |  3864162 |     2164   4430 |        0 |        0
1156.83/1157.21	c 1157s |      24 |  3998181 |  3869762 |     2164   4435 |        0 |        0
1158.82/1159.21	c 1159s |      24 |  4004387 |  3875762 |     2164   4440 |        0 |        0
1160.82/1161.25	c 1161s |      24 |  4011139 |  3882262 |     2164   4446 |        0 |        0
1162.82/1163.25	c 1163s |      24 |  4017588 |  3888462 |     2164   4451 |        0 |        0
1164.82/1165.28	c 1165s |      24 |  4023907 |  3894662 |     2164   4456 |        0 |        0
1166.92/1167.30	c 1167s |      24 |  4030258 |  3900862 |     2164   4462 |        0 |        0
1168.93/1169.31	c 1169s |      24 |  4036522 |  3906962 |     2164   4467 |        0 |        0
1170.92/1171.31	c 1171s |      24 |  4042639 |  3912962 |     2164   4473 |        0 |        0
1172.92/1173.33	c 1173s |      24 |  4049123 |  3919262 |     2164   4478 |        0 |        0
1174.92/1175.35	c 1175s |      24 |  4055802 |  3925562 |     2164   4484 |        0 |        0
1176.92/1177.38	c 1177s |      24 |  4062328 |  3931862 |     2164   4489 |        0 |        0
1178.92/1179.38	c 1179s |      24 |  4068650 |  3937962 |     2164   4495 |        0 |        0
1180.92/1181.38	c 1181s |      24 |  4074897 |  3943962 |     2164   4500 |        0 |        0
1183.02/1183.41	c 1183s |      24 |  4081150 |  3950062 |     2164   4505 |        0 |        0
1185.02/1185.41	c 1185s |      24 |  4087407 |  3956162 |     2164   4511 |        0 |        0
1187.02/1187.42	c 1187s |      24 |  4093723 |  3962262 |     2164   4516 |        0 |        0
1189.02/1189.45	c 1189s |      24 |  4099791 |  3968162 |     2164   4521 |        0 |        0
1191.02/1191.46	c 1191s |      24 |  4105901 |  3974162 |     2164   4527 |        0 |        0
1193.01/1193.47	c 1193s |      24 |  4112082 |  3980262 |     2164   4532 |        0 |        0
1195.01/1195.48	c 1195s |      24 |  4118594 |  3986662 |     2164   4538 |        0 |        0
1197.11/1197.50	c 1197s |      24 |  4124921 |  3992862 |     2164   4543 |        0 |        0
1199.11/1199.51	c 1199s |      24 |  4131030 |  3998862 |     2164   4548 |        0 |        0
1201.11/1201.54	c 1201s |      24 |  4137117 |  4004762 |     2164   4554 |        0 |        0
1203.12/1203.56	c 1203s |      24 |  4143051 |  4010562 |     2164   4559 |        0 |        0
1205.11/1205.59	c 1205s |      24 |  4149467 |  4016762 |     2164   4564 |        0 |        0
1207.21/1207.61	c 1207s |      24 |  4155683 |  4022862 |     2164   4570 |        0 |        0
1209.21/1209.63	c 1209s |      24 |  4162112 |  4029162 |     2164   4575 |        0 |        0
1211.21/1211.64	c 1211s |      24 |  4168309 |  4035262 |     2164   4581 |        0 |        0
1213.21/1213.65	c 1213s |      24 |  4174390 |  4041262 |     2164   4586 |        0 |        0
1215.21/1215.68	c 1215s |      24 |  4180633 |  4047362 |     2164   4591 |        0 |        0
1217.21/1217.68	c 1217s |      24 |  4186743 |  4053262 |     2164   4596 |        0 |        0
1219.31/1219.70	c 1219s |      24 |  4192864 |  4059162 |     2164   4602 |        0 |        0
1221.31/1221.71	c 1221s |      24 |  4199125 |  4065162 |     2164   4607 |        0 |        0
1223.31/1223.72	c 1223s |      24 |  4205187 |  4070962 |     2164   4612 |        0 |        0
1225.30/1225.72	c 1225s |      24 |  4211275 |  4076862 |     2164   4617 |        0 |        0
1227.31/1227.73	c 1227s |      24 |  4217197 |  4082662 |     2164   4622 |        0 |        0
1229.30/1229.75	c 1229s |      24 |  4223345 |  4088662 |     2164   4628 |        0 |        0
1231.30/1231.77	c 1231s |      24 |  4229719 |  4094762 |     2164   4633 |        0 |        0
1233.30/1233.78	c 1233s |      24 |  4235945 |  4100762 |     2164   4638 |        0 |        0
1235.30/1235.78	c 1235s |      24 |  4241968 |  4106662 |     2164   4644 |        0 |        0
1237.30/1237.79	c 1237s |      24 |  4247895 |  4112362 |     2164   4649 |        0 |        0
1239.41/1239.81	c 1239s |      24 |  4254041 |  4118262 |     2164   4654 |        0 |        0
1241.40/1241.83	c 1241s |      24 |  4260092 |  4124062 |     2164   4659 |        0 |        0
1243.40/1243.85	c 1243s |      24 |  4265953 |  4129762 |     2164   4664 |        0 |        0
1245.40/1245.86	c 1245s |      24 |  4272121 |  4135762 |     2164   4669 |        0 |        0
1247.40/1247.87	c 1247s |      24 |  4278084 |  4141562 |     2164   4674 |        0 |        0
1249.40/1249.88	c 1249s |      24 |  4284061 |  4147362 |     2164   4679 |        0 |        0
1251.51/1251.90	c 1251s |      24 |  4290002 |  4153062 |     2164   4684 |        0 |        0
1253.50/1253.93	c 1253s |      24 |  4295967 |  4158762 |     2164   4689 |        0 |        0
1255.50/1255.93	c 1255s |      24 |  4302141 |  4164762 |     2164   4695 |        0 |        0
1257.50/1257.95	c 1257s |      24 |  4308296 |  4170562 |     2164   4700 |        0 |        0
1259.50/1259.97	c 1259s |      24 |  4314352 |  4176462 |     2164   4705 |        0 |        0
1261.50/1261.99	c 1261s |      24 |  4320273 |  4182262 |     2164   4710 |        0 |        0
1263.61/1264.02	c 1264s |      24 |  4326487 |  4188262 |     2164   4715 |        0 |        0
1265.60/1266.06	c 1266s |      24 |  4332522 |  4194062 |     2164   4721 |        0 |        0
1267.61/1268.08	c 1268s |      24 |  4338427 |  4199762 |     2164   4726 |        0 |        0
1269.71/1270.11	c 1270s |      24 |  4344470 |  4205562 |     2164   4731 |        0 |        0
1271.70/1272.14	c 1272s |      24 |  4350463 |  4211362 |     2164   4736 |        0 |        0
1273.70/1274.15	c 1274s |      24 |  4356303 |  4217062 |     2164   4741 |        0 |        0
1275.71/1276.16	c 1276s |      24 |  4362327 |  4222962 |     2164   4746 |        0 |        0
1277.70/1278.18	c 1278s |      24 |  4369201 |  4229662 |     2164   4752 |        0 |        0
1279.80/1280.21	c 1280s |      24 |  4375703 |  4236062 |     2164   4758 |        0 |        0
1281.80/1282.22	c 1282s |      24 |  4382396 |  4242462 |     2164   4763 |        0 |        0
1283.80/1284.25	c 1284s |      24 |  4388963 |  4248862 |     2164   4769 |        0 |        0
1285.80/1286.26	c 1286s |      24 |  4395307 |  4255062 |     2164   4774 |        0 |        0
1287.81/1288.28	c 1288s |      24 |  4402013 |  4261662 |     2164   4780 |        0 |        0
1289.80/1290.29	c 1290s |      24 |  4408534 |  4268062 |     2164   4786 |        0 |        0
1291.90/1292.31	c 1292s |      24 |  4415001 |  4274362 |     2164   4791 |        0 |        0
1293.90/1294.34	c 1294s |      24 |  4421659 |  4280762 |     2164   4797 |        0 |        0
1295.90/1296.35	c 1296s |      24 |  4428169 |  4287062 |     2164   4802 |        0 |        0
1297.90/1298.39	c 1298s |      24 |  4434478 |  4293162 |     2164   4808 |        0 |        0
1300.00/1300.42	c 1300s |      24 |  4441212 |  4299762 |     2164   4814 |        0 |        0
1302.01/1302.45	c 1302s |      24 |  4447581 |  4305962 |     2164   4819 |        0 |        0
1304.00/1304.48	c 1304s |      24 |  4454101 |  4312162 |     2164   4825 |        0 |        0
1306.00/1306.49	c 1306s |      24 |  4460441 |  4318362 |     2164   4830 |        0 |        0
1308.00/1308.49	c 1308s |      24 |  4466789 |  4324562 |     2164   4835 |        0 |        0
1310.10/1310.52	c 1310s |      24 |  4473144 |  4330662 |     2164   4841 |        0 |        0
1312.10/1312.53	c 1312s |      24 |  4479320 |  4336662 |     2164   4846 |        0 |        0
1314.10/1314.55	c 1314s |      24 |  4485332 |  4342462 |     2164   4851 |        0 |        0
1316.09/1316.56	c 1316s |      24 |  4491427 |  4348462 |     2164   4857 |        0 |        0
1318.09/1318.58	c 1318s |      24 |  4497759 |  4354562 |     2164   4862 |        0 |        0
1320.19/1320.60	c 1320s |      24 |  4503920 |  4360562 |     2164   4867 |        0 |        0
1322.19/1322.60	c 1322s |      24 |  4510031 |  4366462 |     2164   4872 |        0 |        0
1324.19/1324.61	c 1324s |      24 |  4515846 |  4372162 |     2164   4877 |        0 |        0
1326.20/1326.62	c 1326s |      24 |  4522215 |  4378362 |     2164   4883 |        0 |        0
1328.19/1328.63	c 1328s |      24 |  4528298 |  4384262 |     2164   4888 |        0 |        0
1330.19/1330.64	c 1330s |      24 |  4534331 |  4390062 |     2164   4893 |        0 |        0
1332.19/1332.65	c 1332s |      24 |  4540482 |  4395862 |     2164   4898 |        0 |        0
1334.19/1334.69	c 1334s |      24 |  4546356 |  4401562 |     2164   4903 |        0 |        0
1336.29/1336.71	c 1336s |      24 |  4552462 |  4407462 |     2164   4909 |        0 |        0
1338.30/1338.74	c 1338s |      24 |  4558402 |  4413162 |     2164   4914 |        0 |        0
1340.29/1340.75	c 1340s |      24 |  4564310 |  4418862 |     2164   4919 |        0 |        0
1342.29/1342.77	c 1342s |      24 |  4570769 |  4425262 |     2164   4924 |        0 |        0
1344.29/1344.79	c 1344s |      24 |  4577265 |  4431462 |     2164   4930 |        0 |        0
1346.39/1346.80	c 1346s |      24 |  4583504 |  4437562 |     2164   4935 |        0 |        0
1348.39/1348.83	c 1348s |      24 |  4589744 |  4443662 |     2164   4940 |        0 |        0
1350.39/1350.84	c 1350s |      24 |  4596037 |  4449762 |     2164   4946 |        0 |        0
1352.38/1352.87	c 1352s |      24 |  4602027 |  4455562 |     2164   4951 |        0 |        0
1354.38/1354.87	c 1354s |      24 |  4608238 |  4461662 |     2164   4956 |        0 |        0
1356.38/1356.89	c 1356s |      24 |  4614403 |  4467662 |     2164   4962 |        0 |        0
1358.48/1358.91	c 1358s |      24 |  4620527 |  4473662 |     2164   4967 |        0 |        0
1360.48/1360.94	c 1360s |      24 |  4626496 |  4479562 |     2164   4972 |        0 |        0
1362.49/1362.95	c 1362s |      24 |  4632766 |  4485662 |     2164   4978 |        0 |        0
1364.48/1364.97	c 1364s |      24 |  4639214 |  4491962 |     2164   4983 |        0 |        0
1366.48/1366.97	c 1366s |      24 |  4645337 |  4497962 |     2164   4988 |        0 |        0
1368.48/1368.99	c 1368s |      24 |  4651482 |  4503962 |     2164   4994 |        0 |        0
1370.48/1370.99	c 1370s |      24 |  4657513 |  4509862 |     2164   4999 |        0 |        0
1372.49/1372.99	c 1372s |      24 |  4663626 |  4515762 |     2164   5004 |        0 |        0
1374.48/1374.99	c 1374s |      24 |  4669498 |  4521562 |     2164   5009 |        0 |        0
1376.58/1377.02	c 1377s |      24 |  4675657 |  4527562 |     2164   5015 |        0 |        0
1378.58/1379.06	c 1379s |      24 |  4681733 |  4533462 |     2164   5020 |        0 |        0
1380.58/1381.06	c 1381s |      24 |  4687767 |  4539262 |     2164   5025 |        0 |        0
1382.58/1383.07	c 1383s |      24 |  4693742 |  4545062 |     2164   5030 |        0 |        0
1384.59/1385.07	c 1385s |      24 |  4699876 |  4550962 |     2164   5035 |        0 |        0
1386.58/1387.09	c 1387s |      24 |  4706353 |  4557262 |     2164   5041 |        0 |        0
1388.58/1389.09	c 1389s |      24 |  4712693 |  4563462 |     2164   5046 |        0 |        0
1390.68/1391.11	c 1391s |      24 |  4719115 |  4569662 |     2164   5052 |        0 |        0
1392.68/1393.13	c 1393s |      24 |  4725227 |  4575662 |     2164   5057 |        0 |        0
1394.68/1395.16	c 1395s |      24 |  4731471 |  4581662 |     2164   5062 |        0 |        0
1396.68/1397.17	c 1397s |      24 |  4737807 |  4587862 |     2164   5068 |        0 |        0
1398.68/1399.17	c 1399s |      24 |  4743851 |  4593762 |     2164   5073 |        0 |        0
1400.68/1401.18	c 1401s |      24 |  4749721 |  4599462 |     2164   5078 |        0 |        0
1402.68/1403.19	c 1403s |      24 |  4755933 |  4605462 |     2164   5083 |        0 |        0
1404.78/1405.22	c 1405s |      24 |  4761997 |  4611362 |     2164   5089 |        0 |        0
1406.78/1407.25	c 1407s |      24 |  4767978 |  4617162 |     2164   5094 |        0 |        0
1408.79/1409.26	c 1409s |      24 |  4774143 |  4623162 |     2164   5099 |        0 |        0
1410.78/1411.26	c 1411s |      24 |  4780264 |  4629162 |     2164   5104 |        0 |        0
1412.88/1413.31	c 1413s |      24 |  4786469 |  4635162 |     2164   5110 |        0 |        0
1414.88/1415.31	c 1415s |      24 |  4792422 |  4640862 |     2164   5115 |        0 |        0
1416.88/1417.31	c 1417s |      24 |  4798182 |  4646362 |     2164   5119 |        0 |        0
1418.88/1419.33	c 1419s |      24 |  4803885 |  4651862 |     2164   5124 |        0 |        0
1420.89/1421.34	c 1421s |      24 |  4809970 |  4657762 |     2164   5129 |        0 |        0
1422.88/1423.36	c 1423s |      24 |  4816089 |  4663662 |     2164   5135 |        0 |        0
1424.88/1425.39	c 1425s |      24 |  4822027 |  4669462 |     2164   5140 |        0 |        0
1426.98/1427.42	c 1427s |      24 |  4827790 |  4675062 |     2164   5145 |        0 |        0
1428.98/1429.44	c 1429s |      24 |  4833557 |  4680662 |     2164   5150 |        0 |        0
1430.98/1431.45	c 1431s |      24 |  4839294 |  4686262 |     2164   5155 |        0 |        0
1432.99/1433.47	c 1433s |      24 |  4845896 |  4692662 |     2164   5160 |        0 |        0
1434.98/1435.49	c 1435s |      24 |  4852287 |  4698862 |     2164   5166 |        0 |        0
1437.08/1437.51	c 1437s |      24 |  4858539 |  4704862 |     2164   5171 |        0 |        0
1439.08/1439.51	c 1439s |      24 |  4864597 |  4710762 |     2164   5176 |        0 |        0
1441.08/1441.51	c 1441s |      24 |  4870624 |  4716662 |     2164   5181 |        0 |        0
1443.08/1443.52	c 1443s |      24 |  4876654 |  4722562 |     2164   5187 |        0 |        0
1445.08/1445.54	c 1445s |      24 |  4882690 |  4728462 |     2164   5192 |        0 |        0
1447.08/1447.55	c 1447s |      24 |  4888862 |  4734562 |     2164   5197 |        0 |        0
1449.08/1449.57	c 1449s |      24 |  4894999 |  4740562 |     2164   5203 |        0 |        0
1451.08/1451.59	c 1451s |      24 |  4901082 |  4746462 |     2164   5208 |        0 |        0
1453.18/1453.61	c 1453s |      24 |  4907049 |  4752262 |     2164   5213 |        0 |        0
1455.17/1455.63	c 1455s |      24 |  4913144 |  4758262 |     2164   5218 |        0 |        0
1457.18/1457.66	c 1457s |      24 |  4919159 |  4764162 |     2164   5223 |        0 |        0
1459.17/1459.67	c 1459s |      24 |  4925120 |  4769962 |     2164   5228 |        0 |        0
1461.27/1461.71	c 1461s |      24 |  4931070 |  4775762 |     2164   5234 |        0 |        0
1463.27/1463.74	c 1463s |      24 |  4937409 |  4781762 |     2164   5239 |        0 |        0
1465.27/1465.77	c 1465s |      24 |  4943736 |  4787862 |     2164   5244 |        0 |        0
1467.37/1467.80	c 1467s |      24 |  4949874 |  4793862 |     2164   5250 |        0 |        0
1469.37/1469.82	c 1469s |      24 |  4955850 |  4799662 |     2164   5255 |        0 |        0
1471.38/1471.86	c 1471s |      24 |  4961745 |  4805362 |     2164   5260 |        0 |        0
1473.37/1473.88	c 1473s |      24 |  4967648 |  4811062 |     2164   5265 |        0 |        0
1475.47/1475.90	c 1475s |      24 |  4973631 |  4816862 |     2164   5270 |        0 |        0
1477.47/1477.91	c 1477s |      24 |  4979494 |  4822462 |     2164   5275 |        0 |        0
1479.47/1479.93	c 1479s |      24 |  4985568 |  4828362 |     2164   5280 |        0 |        0
1481.47/1481.95	c 1481s |      24 |  4991575 |  4834062 |     2164   5285 |        0 |        0
1483.48/1483.96	c 1483s |      24 |  4997421 |  4839762 |     2164   5290 |        0 |        0
1485.47/1485.98	c 1485s |      24 |  5003369 |  4845462 |     2164   5295 |        0 |        0
1487.47/1487.99	c 1487s |      24 |  5009556 |  4851462 |     2164   5300 |        0 |        0
1489.57/1490.01	c 1489s |      24 |  5016155 |  4857862 |     2164   5306 |        0 |        0
1491.56/1492.03	c 1492s |      24 |  5022478 |  4864062 |     2164   5312 |        0 |        0
1493.56/1494.04	c 1494s |      24 |  5028958 |  4870362 |     2164   5317 |        0 |        0
1495.57/1496.05	c 1496s |      24 |  5035352 |  4876562 |     2164   5323 |        0 |        0
1497.56/1498.05	c 1498s |      24 |  5041546 |  4882562 |     2164   5328 |        0 |        0
1499.56/1500.06	c 1500s |      24 |  5047628 |  4888362 |     2164   5333 |        0 |        0
1501.56/1502.09	c 1502s |      24 |  5054027 |  4894262 |     2164   5338 |        0 |        0
1503.66/1504.11	c 1504s |      24 |  5060429 |  4900162 |     2164   5343 |        0 |        0
1505.66/1506.13	c 1506s |      24 |  5066371 |  4905962 |     2164   5348 |        0 |        0
1507.67/1508.15	c 1508s |      24 |  5072495 |  4911962 |     2164   5354 |        0 |        0
1509.66/1510.17	c 1510s |      24 |  5078701 |  4917962 |     2164   5359 |        0 |        0
1511.66/1512.19	c 1512s |      24 |  5084724 |  4923762 |     2164   5364 |        0 |        0
1513.76/1514.21	c 1514s |      24 |  5091131 |  4929962 |     2164   5370 |        0 |        0
1515.76/1516.23	c 1516s |      24 |  5097363 |  4936062 |     2164   5375 |        0 |        0
1517.76/1518.26	c 1518s |      24 |  5103880 |  4942162 |     2164   5380 |        0 |        0
1519.77/1520.27	c 1520s |      24 |  5110013 |  4948062 |     2164   5385 |        0 |        0
1521.77/1522.29	c 1522s |      24 |  5116129 |  4953962 |     2164   5391 |        0 |        0
1523.87/1524.32	c 1524s |      24 |  5122210 |  4959862 |     2164   5396 |        0 |        0
1525.87/1526.34	c 1526s |      24 |  5128310 |  4965662 |     2164   5401 |        0 |        0
1527.86/1528.37	c 1528s |      24 |  5134582 |  4971762 |     2164   5406 |        0 |        0
1529.87/1530.37	c 1530s |      24 |  5140747 |  4977762 |     2164   5412 |        0 |        0
1531.87/1532.37	c 1532s |      24 |  5146724 |  4983662 |     2164   5417 |        0 |        0
1533.96/1534.40	c 1534s |      24 |  5152763 |  4989562 |     2164   5422 |        0 |        0
1535.96/1536.41	c 1536s |      24 |  5158929 |  4995562 |     2164   5427 |        0 |        0
1537.96/1538.44	c 1538s |      24 |  5165026 |  5001462 |     2164   5433 |        0 |        0
1539.96/1540.45	c 1540s |      24 |  5171030 |  5007162 |     2164   5438 |        0 |        0
1541.96/1542.46	c 1542s |      24 |  5177246 |  5013162 |     2164   5443 |        0 |        0
1543.97/1544.47	c 1544s |      24 |  5183488 |  5019162 |     2164   5448 |        0 |        0
1545.96/1546.49	c 1546s |      24 |  5189541 |  5024962 |     2164   5453 |        0 |        0
1548.06/1548.51	c 1548s |      24 |  5195607 |  5030862 |     2381   5458 |        0 |        0
1550.06/1550.53	c 1550s |      24 |  5201523 |  5036662 |     2381   5463 |        0 |        0
1552.06/1552.56	c 1552s |      24 |  5207643 |  5042662 |     2381   5468 |        0 |        0
1554.06/1554.59	c 1554s |      24 |  5213782 |  5048562 |     2381   5472 |        0 |        0
1556.17/1556.60	c 1556s |      24 |  5219691 |  5054162 |     2381   5477 |        0 |        0
1558.16/1558.61	c 1558s |      24 |  5225425 |  5059662 |     2381   5481 |        0 |        0
1559.96/1560.41	c 1560s |      25 |  5231043 |  5065098 |     2381   5486 |        0 |        0
1561.96/1562.43	c 1562s |      25 |  5237198 |  5070998 |     2381   5491 |        0 |        0
1563.96/1564.44	c 1564s |      25 |  5243878 |  5077498 |     2381   5496 |        0 |        0
1565.96/1566.46	c 1566s |      25 |  5250404 |  5083898 |     2381   5501 |        0 |        0
1567.96/1568.47	c 1568s |      25 |  5256741 |  5089998 |     2381   5506 |        0 |        0
1569.96/1570.47	c 1570s |      25 |  5263005 |  5096098 |     2381   5511 |        0 |        0
1571.96/1572.48	c 1572s |      25 |  5269503 |  5102398 |     2381   5516 |        0 |        0
1574.05/1574.51	c 1574s |      25 |  5275703 |  5108498 |     2381   5521 |        0 |        0
1576.06/1576.53	c 1576s |      25 |  5281985 |  5114598 |     2381   5526 |        0 |        0
1578.06/1578.55	c 1578s |      25 |  5288350 |  5120798 |     2381   5531 |        0 |        0
1580.05/1580.55	c 1580s |      25 |  5294444 |  5126698 |     2381   5535 |        0 |        0
1582.05/1582.57	c 1582s |      25 |  5300785 |  5132898 |     2381   5540 |        0 |        0
1584.05/1584.59	c 1584s |      25 |  5307147 |  5139098 |     2381   5545 |        0 |        0
1586.05/1586.59	c 1586s |      25 |  5313167 |  5144998 |     2381   5550 |        0 |        0
1588.15/1588.62	c 1588s |      25 |  5319213 |  5150898 |     2381   5555 |        0 |        0
1590.16/1590.63	c 1590s |      25 |  5325232 |  5156698 |     2381   5560 |        0 |        0
1592.15/1592.63	c 1592s |      25 |  5331306 |  5162498 |     2381   5564 |        0 |        0
1594.15/1594.65	c 1594s |      25 |  5337618 |  5168598 |     2381   5569 |        0 |        0
1596.15/1596.66	c 1596s |      25 |  5343856 |  5174698 |     2381   5574 |        0 |        0
1598.15/1598.68	c 1598s |      25 |  5349941 |  5180598 |     2381   5579 |        0 |        0
1600.25/1600.71	c 1600s |      25 |  5356184 |  5186698 |     2381   5584 |        0 |        0
1602.26/1602.75	c 1602s |      25 |  5362401 |  5192798 |     2381   5589 |        0 |        0
1604.25/1604.77	c 1604s |      25 |  5368435 |  5198698 |     2381   5593 |        0 |        0
1606.25/1606.78	c 1606s |      25 |  5374390 |  5204498 |     2381   5598 |        0 |        0
1608.35/1608.82	c 1608s |      25 |  5380336 |  5210298 |     2381   5603 |        0 |        0
1610.35/1610.83	c 1610s |      25 |  5386262 |  5216098 |     2381   5607 |        0 |        0
1612.34/1612.84	c 1612s |      25 |  5392178 |  5221898 |     2381   5612 |        0 |        0
1614.35/1614.85	c 1614s |      25 |  5398288 |  5227898 |     2381   5617 |        0 |        0
1616.34/1616.87	c 1616s |      25 |  5404872 |  5234198 |     2381   5622 |        0 |        0
1618.34/1618.87	c 1618s |      25 |  5411025 |  5240198 |     2381   5627 |        0 |        0
1620.34/1620.87	c 1620s |      25 |  5417312 |  5246298 |     2381   5632 |        0 |        0
1622.34/1622.88	c 1622s |      25 |  5423465 |  5252298 |     2381   5636 |        0 |        0
1624.44/1624.91	c 1624s |      25 |  5429534 |  5258198 |     2381   5641 |        0 |        0
1626.45/1626.94	c 1626s |      25 |  5435655 |  5264198 |     2381   5646 |        0 |        0
1628.44/1628.94	c 1628s |      25 |  5441695 |  5270098 |     2381   5651 |        0 |        0
1630.44/1630.97	c 1630s |      25 |  5447806 |  5276098 |     2381   5656 |        0 |        0
1632.54/1633.01	c 1632s |      25 |  5454125 |  5282198 |     2381   5661 |        0 |        0
1634.54/1635.04	c 1635s |      25 |  5460343 |  5288198 |     2381   5665 |        0 |        0
1636.54/1637.04	c 1637s |      25 |  5466491 |  5294098 |     2381   5670 |        0 |        0
1638.55/1639.06	c 1639s |      25 |  5472482 |  5299898 |     2381   5675 |        0 |        0
1640.64/1641.10	c 1641s |      25 |  5478594 |  5305798 |     2381   5680 |        0 |        0
1642.64/1643.12	c 1643s |      25 |  5484606 |  5311598 |     2381   5684 |        0 |        0
1644.64/1645.12	c 1645s |      25 |  5490600 |  5317298 |     2381   5689 |        0 |        0
1646.64/1647.13	c 1647s |      25 |  5496738 |  5323298 |     2381   5694 |        0 |        0
1648.64/1649.15	c 1649s |      25 |  5503140 |  5329398 |     2381   5699 |        0 |        0
1650.65/1651.15	c 1651s |      25 |  5509237 |  5335298 |     2381   5703 |        0 |        0
1652.64/1653.17	c 1653s |      25 |  5515293 |  5341098 |     2381   5708 |        0 |        0
1654.75/1655.20	c 1655s |      25 |  5521278 |  5346898 |     2381   5713 |        0 |        0
1656.75/1657.20	c 1657s |      25 |  5527235 |  5352698 |     2381   5717 |        0 |        0
1658.75/1659.23	c 1659s |      25 |  5533110 |  5358398 |     2381   5722 |        0 |        0
1660.75/1661.26	c 1661s |      25 |  5539177 |  5364298 |     2381   5727 |        0 |        0
1662.75/1663.28	c 1663s |      25 |  5545326 |  5369998 |     2381   5731 |        0 |        0
1664.84/1665.31	c 1665s |      25 |  5551336 |  5375598 |     2381   5736 |        0 |        0
1666.84/1667.34	c 1667s |      25 |  5557641 |  5381698 |     2381   5741 |        0 |        0
1668.84/1669.35	c 1669s |      25 |  5563926 |  5387798 |     2381   5746 |        0 |        0
1670.84/1671.38	c 1671s |      25 |  5570402 |  5393998 |     2381   5751 |        0 |        0
1672.94/1673.42	c 1673s |      25 |  5576865 |  5400298 |     2381   5756 |        0 |        0
1674.95/1675.45	c 1675s |      25 |  5583178 |  5406398 |     2381   5760 |        0 |        0
1676.94/1677.46	c 1677s |      25 |  5589511 |  5412398 |     2381   5765 |        0 |        0
1678.94/1679.48	c 1679s |      25 |  5595621 |  5418298 |     2381   5770 |        0 |        0
1680.94/1681.49	c 1681s |      25 |  5601704 |  5424198 |     2381   5775 |        0 |        0
1683.04/1683.50	c 1683s |      25 |  5608014 |  5430198 |     2381   5780 |        0 |        0
1685.04/1685.51	c 1685s |      25 |  5614122 |  5436098 |     2381   5784 |        0 |        0
1687.05/1687.51	c 1687s |      25 |  5620510 |  5442098 |     2381   5789 |        0 |        0
1689.04/1689.54	c 1689s |      25 |  5626714 |  5447998 |     2381   5794 |        0 |        0
1691.04/1691.58	c 1691s |      25 |  5632643 |  5453698 |     2381   5799 |        0 |        0
1693.14/1693.63	c 1693s |      25 |  5639024 |  5459898 |     2381   5804 |        0 |        0
1695.14/1695.64	c 1695s |      25 |  5645227 |  5465898 |     2381   5808 |        0 |        0
1697.14/1697.65	c 1697s |      25 |  5651250 |  5471698 |     2381   5813 |        0 |        0
1699.15/1699.68	c 1699s |      25 |  5657107 |  5477398 |     2381   5818 |        0 |        0
1701.14/1701.68	c 1701s |      25 |  5662989 |  5483098 |     2381   5822 |        0 |        0
1703.24/1703.70	c 1703s |      25 |  5669045 |  5488898 |     2381   5827 |        0 |        0
1705.24/1705.73	c 1705s |      25 |  5675145 |  5494798 |     2381   5832 |        0 |        0
1707.24/1707.75	c 1707s |      25 |  5681175 |  5500498 |     2381   5836 |        0 |        0
1709.24/1709.78	c 1709s |      25 |  5686902 |  5505998 |     2381   5841 |        0 |        0
1711.34/1711.80	c 1711s |      25 |  5692585 |  5511498 |     2381   5845 |        0 |        0
1713.34/1713.82	c 1713s |      25 |  5698459 |  5517198 |     2381   5850 |        0 |        0
1715.34/1715.85	c 1715s |      25 |  5705160 |  5523398 |     2381   5855 |        0 |        0
1717.34/1717.86	c 1717s |      25 |  5711422 |  5529398 |     2381   5859 |        0 |        0
1719.33/1719.87	c 1719s |      25 |  5717846 |  5535498 |     2381   5864 |        0 |        0
1721.33/1721.89	c 1721s |      25 |  5724082 |  5541598 |     2381   5869 |        0 |        0
1723.43/1723.91	c 1723s |      25 |  5730099 |  5547498 |     2381   5874 |        0 |        0
1725.44/1725.93	c 1725s |      25 |  5736204 |  5553498 |     2381   5879 |        0 |        0
1727.43/1727.94	c 1727s |      25 |  5742173 |  5559298 |     2381   5884 |        0 |        0
1729.43/1729.96	c 1729s |      25 |  5748199 |  5565098 |     2381   5888 |        0 |        0
1731.43/1731.96	c 1731s |      25 |  5754276 |  5570998 |     2381   5893 |        0 |        0
1733.43/1733.99	c 1733s |      25 |  5760353 |  5576798 |     2381   5898 |        0 |        0
1735.44/1735.99	c 1735s |      25 |  5766303 |  5582498 |     2381   5902 |        0 |        0
1737.43/1738.00	c 1737s |      25 |  5772152 |  5588198 |     2381   5907 |        0 |        0
1739.53/1740.03	c 1740s |      25 |  5777977 |  5593898 |     2381   5911 |        0 |        0
1741.53/1742.05	c 1742s |      25 |  5783808 |  5599498 |     2381   5916 |        0 |        0
1743.53/1744.06	c 1744s |      25 |  5789810 |  5605298 |     2381   5921 |        0 |        0
1745.52/1746.08	c 1746s |      25 |  5795777 |  5611098 |     2381   5925 |        0 |        0
1747.63/1748.10	c 1748s |      25 |  5801566 |  5616698 |     2381   5930 |        0 |        0
1749.64/1750.10	c 1750s |      25 |  5807401 |  5622298 |     2381   5934 |        0 |        0
1751.63/1752.12	c 1752s |      25 |  5813257 |  5627998 |     2381   5939 |        0 |        0
1753.63/1754.12	c 1754s |      25 |  5819188 |  5633698 |     2381   5943 |        0 |        0
1755.63/1756.15	c 1756s |      25 |  5825375 |  5639698 |     2381   5948 |        0 |        0
1757.63/1758.18	c 1758s |      25 |  5831505 |  5645598 |     2381   5953 |        0 |        0
1759.73/1760.22	c 1760s |      25 |  5837396 |  5651298 |     2381   5958 |        0 |        0
1761.74/1762.23	c 1762s |      25 |  5843182 |  5656898 |     2381   5962 |        0 |        0
1763.73/1764.25	c 1764s |      25 |  5848950 |  5662498 |     2381   5967 |        0 |        0
1765.73/1766.28	c 1766s |      25 |  5854805 |  5668198 |     2381   5971 |        0 |        0
1767.83/1768.31	c 1768s |      25 |  5860621 |  5673698 |     2381   5976 |        0 |        0
1769.83/1770.32	c 1770s |      25 |  5866490 |  5679398 |     2381   5980 |        0 |        0
1771.83/1772.34	c 1772s |      25 |  5872892 |  5685498 |     2381   5985 |        0 |        0
1773.83/1774.36	c 1774s |      25 |  5879179 |  5691498 |     2381   5990 |        0 |        0
1775.83/1776.38	c 1776s |      25 |  5885549 |  5697598 |     2381   5995 |        0 |        0
1777.93/1778.40	c 1778s |      25 |  5891722 |  5703498 |     2381   6000 |        0 |        0
1779.93/1780.43	c 1780s |      25 |  5898135 |  5709598 |     2381   6004 |        0 |        0
1781.93/1782.44	c 1782s |      25 |  5904134 |  5715198 |     2381   6009 |        0 |        0
1783.92/1784.45	c 1784s |      25 |  5910039 |  5720998 |     2381   6014 |        0 |        0
1785.93/1786.45	c 1786s |      25 |  5916348 |  5727098 |     2381   6018 |        0 |        0
1787.92/1788.47	c 1788s |      25 |  5922549 |  5733098 |     2381   6023 |        0 |        0
1789.92/1790.48	c 1790s |      25 |  5928643 |  5738998 |     2381   6028 |        0 |        0
1792.02/1792.51	c 1792s |      25 |  5934623 |  5744798 |     2381   6033 |        0 |        0
1794.02/1794.54	c 1794s |      25 |  5940765 |  5750698 |     2381   6037 |        0 |        0
1796.02/1796.55	c 1796s |      25 |  5946670 |  5756498 |     2381   6042 |        0 |        0
1798.03/1798.57	c 1798s |      25 |  5952946 |  5762598 |     2381   6047 |        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-4089064-1466020794/watcher-4089064-1466020794 -o /tmp/evaluation-result-4089064-1466020794/solver-4089064-1466020794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089064-1466020794.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.12 2.09 3/179 7612
/proc/meminfo: memFree=30455816/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 2578 0 0 0 0 0 0 0 20 0 4 0 4124865 709292032 2939 33554432000 4194304 16246674 140736866387424 140736866386848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 173679 2947 441 2943 0 170573 0
[pid=7612/tid=7613] ppid=7609 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 727117824 3007 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 731312128 3025 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4124866 735506432 3041 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.14 2.12 2.09 3/179 7612
/proc/meminfo: memFree=30455816/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 30192 0 0 0 5 4 0 0 20 0 4 0 4124865 1247350784 30543 33554432000 4194304 16246674 140736866387424 140736866369344 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 304529 30558 710 2943 0 301423 0
[pid=7612/tid=7613] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 30568 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 30578 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 30588 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200531 s]
/proc/loadavg: 2.14 2.12 2.09 3/179 7612
/proc/meminfo: memFree=30455816/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 59427 0 0 0 11 8 0 0 20 0 4 0 4124865 1247350784 59778 33554432000 4194304 16246674 140736866387424 140736866369344 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 304529 59795 710 2943 0 301423 0
[pid=7612/tid=7613] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 59807 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 59816 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 59822 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300503 s]
/proc/loadavg: 2.14 2.12 2.09 3/179 7612
/proc/meminfo: memFree=30455816/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 88449 0 0 0 17 12 0 0 20 0 4 0 4124865 1247350784 88799 33554432000 4194304 16246674 140736866387424 140736866369344 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 304529 88815 710 2943 0 301423 0
[pid=7612/tid=7613] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 88825 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 88836 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 88845 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.14 2.12 2.09 3/179 7612
/proc/meminfo: memFree=30455816/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 208264 0 0 0 40 29 0 0 20 0 4 0 4124865 1247350784 208614 33554432000 4194304 16246674 140736866387424 140736866369344 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 304529 208629 710 2943 0 301423 0
[pid=7612/tid=7613] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 208638 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 208643 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4124866 1247350784 208647 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50032 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 7616
/proc/meminfo: memFree=29472384/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267079 0 0 0 113 36 0 0 20 0 4 0 4124865 1336479744 267409 33554432000 4194304 16246674 140736866387424 140736866369344 13923776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326289 267409 787 2943 0 323183 0
[pid=7612/tid=7613] ppid=7609 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1336479744 267409 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1336479744 267409 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1336479744 267409 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 7616
/proc/meminfo: memFree=29384964/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267562 0 0 0 273 36 0 0 20 0 4 0 4124865 1337528320 267892 33554432000 4194304 16246674 140736866387424 140736866370424 13192904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326545 267892 788 2943 0 323439 0
[pid=7612/tid=7613] ppid=7609 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1337528320 267892 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1337528320 267892 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1337528320 267892 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.28 2.16 2.10 3/183 7616
/proc/meminfo: memFree=29385148/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267601 0 0 0 593 36 0 0 20 0 4 0 4124865 1338576896 267931 33554432000 4194304 16246674 140736866387424 140736866369344 5723413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326801 267931 790 2943 0 323695 0
[pid=7612/tid=7613] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 267931 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 267931 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 267931 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.26 2.15 2.10 3/184 7619
/proc/meminfo: memFree=29383224/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267828 0 0 0 1232 36 0 0 20 0 4 0 4124865 1338576896 268158 33554432000 4194304 16246674 140736866387424 140736866370424 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326801 268158 790 2943 0 323695 0
[pid=7612/tid=7613] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.20 2.14 2.10 4/184 7619
/proc/meminfo: memFree=29384000/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267828 0 0 0 2512 37 0 0 20 0 4 0 4124865 1338576896 268158 33554432000 4194304 16246674 140736866387424 140736866369344 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326801 268158 790 2943 0 323695 0
[pid=7612/tid=7613] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268158 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.28 2.16 2.10 3/184 7619
/proc/meminfo: memFree=29384004/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 267829 0 0 0 5071 37 0 0 20 0 4 0 4124865 1338576896 268159 33554432000 4194304 16246674 140736866387424 140736866369344 6021394 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 326801 268159 791 2943 0 323695 0
[pid=7612/tid=7613] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268159 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268159 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1338576896 268159 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.12 2.14 2.09 3/184 7643
/proc/meminfo: memFree=29382556/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 268241 0 0 0 10190 38 0 0 20 0 4 0 4124865 1340674048 268571 33554432000 4194304 16246674 140736866387424 140736866369344 6009960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 327313 268571 791 2943 0 324207 0
[pid=7612/tid=7613] ppid=7609 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1340674048 268571 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1340674048 268571 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1340674048 268571 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/183 7724
/proc/meminfo: memFree=29365588/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1361.88 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 136136 52 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 7726
/proc/meminfo: memFree=29362240/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1421.89 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 142136 53 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 6023323 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 7727
/proc/meminfo: memFree=29361752/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1481.87 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 148134 53 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 7728
/proc/meminfo: memFree=29362108/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1541.87 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 154133 54 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5589602 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 7729
/proc/meminfo: memFree=29362088/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1601.85 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 160131 54 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 7730
/proc/meminfo: memFree=29362280/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1661.85 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 166130 55 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/183 7732
/proc/meminfo: memFree=29362376/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1721.83 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 172128 55 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866369344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.06 3/183 7733
/proc/meminfo: memFree=29362104/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1781.83 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 178127 56 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866370424 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.06 3/183 7733
/proc/meminfo: memFree=29362580/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1800.02 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 179946 56 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866370424 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1318468

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.06 3/183 7733
/proc/meminfo: memFree=29362580/32872528 swapFree=496356/529060
[pid=7612] ppid=7609 vsize=1318468 CPUtime=1800.02 cores=1,3,5,7
/proc/7612/stat : 7612 (toysat) R 7609 7612 5955 0 -1 4202496 271006 0 0 0 179946 56 0 0 20 0 4 0 4124865 1350111232 270979 33554432000 4194304 16246674 140736866387424 140736866370424 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7612/statm: 329617 270979 792 2943 0 326511 0
[pid=7612/tid=7613] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7613/stat : 7613 (toysat) S 7609 7612 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644291230960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7612/tid=7614] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7614/stat : 7614 (toysat) S 7609 7612 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644280741104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7612/tid=7615] ppid=7609 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7612/task/7615/stat : 7615 (toysat) S 7609 7612 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4124866 1350111232 270979 33554432000 4194304 16246674 140736866387424 139644270267568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1318468

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.563914
maximum resident set size= 1083916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271006
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= 372
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.344 second user time and 13.7779 second system time

The end

Begin job on node141 at 2016-06-15 21:59:54
IDJOB=4089064
IDBENCH=107353
IDSOLVER=2542
FILE ID=node141/4089064-1466020794
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 6a542426f932f4c85d0a2e3d7d52af06
RANDOM SEED=123313604

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30456468 kB
Buffers:           22420 kB
Cached:            74416 kB
SwapCached:        13072 kB
Active:          1138716 kB
Inactive:          48108 kB
Active(anon):    1080332 kB
Inactive(anon):    12008 kB
Active(file):      58384 kB
Inactive(file):    36100 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1609324 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             567272 kB
SReclaimable:      10664 kB
SUnreclaim:       556608 kB
KernelStack:        1496 kB
PageTables:         6972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1749884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 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= 71716 MiB
End job on node141 at 2016-06-15 22:29:55