0.00/0.00	c 2016-06-07T04:01:27+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-4078951-1465264887.opb"]
0.00/0.01	c use --random-gen="2946086855 750419375 3370961139 4209603546 1997906237 3583456111 2281015985 3923072627 43743173 3172974171 4052479132 2180245907 1399088990 2338999841 843458661 1839618609 3850109554 1679026826 3350469865 1609366684 4227319993 542042674 3055861238 2957801578 48236185 2204105852 1503581615 4244629944 3147987289 2052691202 1006678843 2797389461 2374550913 2457060538 4194265999 3357407433 4099785323 3260877853 1423366049 997453144 2344065061 168029996 1042393680 3401948386 489516964 3488322306 479415061 1572455233 2828645168 4152773508 3415543956 3190204313 3945324598 3656050698 1924876564 607607564 4177745380 476203511 2591395597 2577035133 1897714845 3042144604 943817729 636490975 2125518563 2257504884 3291704628 1039281395 2136892994 700975657 1406943777 1204088890 3132174416 2107123217 1820839661 1798981526 3119452316 2097509651 2099088634 1688880083 196963748 961552315 3008081547 3954975166 3174599094 882884244 3289042625 3341530320 4182976749 469403033 382251784 2700684970 435614055 1192091786 4139351248 1911913483 162610428 706406504 1813334930 3951103090 4064381855 1413814453 2484212437 2704235296 3658907648 3129135742 3021799871 1190832762 3088217832 1826500137 886360151 2253325094 3503122238 1290395407 2224401526 3629087313 1893068866 4265063859 991564524 2619203452 3553805487 1907260557 2148353389 1600076508 2761737504 2329258524 4128037284 668915673 1641784892 246833141 1220649646 3939249761 837584922 1581101587 547412302 898422924 3139822718 2478423600 1876934731 1811934182 3104294046 938991765 1200083243 2638154187 3379108154 1311703056 1175466970 3101560843 2711602674 1570388672 949411024 785866279 569329312 4060212246 1696888833 1892361843 2526905065 3585209172 3512454926 3444612266 1844631784 109039688 3245401591 972499593 2400319703 726195180 1420503331 3069834362 46793594 1492199599 186667126 1908232964 834022005 926077347 1631936417 2669733244 23410010 2162912672 229138575 2762862439 812384527 3843694455 1606978230 867114617 369925273 1296581338 2518843840 266154289 1801268958 469545337 3014337200 93036704 3177396386 446574204 1040114942 3523620815 2633825710 283628518 2452699654 3682052816 2608652106 736482068 519579095 3977376037 599168861 587096306 235428492 67767681 112230133 616770228 3765391128 82771088 3728345090 2929859731 2304336769 2624098261 2103377580 1358838503 3712093250 2899322931 2070793037 2689773475 15766033 4119637115 2567941548 614429917 745750140 1274672358 317195907 2880693251 2813568907 1980378197 3933012748 1543766076 1323691188 314454263 1864507280 895899882 2470446925 1739251929 1249338409 296892120 1610443087 2695774232 1767107734 1419246492 426591146 1386977239 1848452371 3706923894 1581502312 966611663 447047034 3914220276 2271486655 1438527429 255 362436" option to reproduce the execution
0.00/0.02	c #vars 200
0.00/0.02	c #constraints 302
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      997      0 |        0 |        0
0.08/0.10	c  0.0s |       1 |      283 |      100 |      997      0 |        0 |        0
0.08/0.14	c  0.1s |       2 |     1605 |      250 |     1097      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1953 |      475 |     1207      0 |        0 |        0
0.38/0.40	c  0.3s |       4 |     2429 |      813 |     1328      0 |        0 |        0
0.59/0.66	c  0.6s |       5 |     3065 |     1320 |     1461      0 |        0 |        0
0.99/1.07	c  1.0s |       6 |     3946 |     2081 |     1769      1 |        0 |        0
1.49/1.50	c  1.5s |       7 |     5210 |     3223 |     1946      2 |        0 |        0
2.20/2.22	c  2.2s |       8 |     7030 |     4936 |     2141      4 |        0 |        0
3.09/3.15	c  3.1s |       9 |     9930 |     7506 |     2356      6 |        0 |        0
4.59/4.65	c  4.6s |      10 |    14004 |    11361 |     2592      9 |        0 |        0
6.60/6.68	c  6.6s |      10 |    19236 |    16261 |     2592     12 |        0 |        0
6.99/7.03	c  7.0s |      11 |    20174 |    17144 |     2852     13 |        0 |        0
8.99/9.03	c  9.0s |      11 |    25357 |    21844 |     2852     16 |        0 |        0
10.59/10.67	c 10.6s |      12 |    29601 |    25819 |     3138     19 |        0 |        0
12.69/12.70	c 12.6s |      12 |    35291 |    30819 |     3138     22 |        0 |        0
14.68/14.70	c 14.6s |      12 |    41412 |    36219 |     3138     25 |        0 |        0
15.58/15.69	c 15.6s |      13 |    44284 |    38832 |     3452     26 |        0 |        0
17.69/17.71	c 17.7s |      13 |    50515 |    44332 |     3452     29 |        0 |        0
19.68/19.73	c 19.7s |      13 |    57687 |    50432 |     3452     33 |        0 |        0
21.68/21.73	c 21.7s |      13 |    63716 |    55732 |     3452     36 |        0 |        0
22.48/22.59	c 22.5s |      14 |    66938 |    58352 |     3798     37 |        0 |        0
24.58/24.61	c 24.6s |      14 |    72092 |    63052 |     3798     40 |        0 |        0
26.58/26.63	c 26.6s |      14 |    78086 |    68552 |     3798     42 |        0 |        0
28.59/28.66	c 28.6s |      14 |    84480 |    74152 |     3798     45 |        0 |        0
30.58/30.67	c 30.6s |      14 |    90704 |    79652 |     3798     48 |        0 |        0
32.68/32.71	c 32.7s |      14 |    97540 |    85452 |     3798     51 |        0 |        0
33.48/33.51	c 33.5s |      15 |    99972 |    87632 |     4178     52 |        0 |        0
35.48/35.53	c 35.5s |      15 |   105395 |    92432 |     4178     54 |        0 |        0
37.48/37.56	c 37.5s |      15 |   110936 |    97532 |     4178     57 |        0 |        0
39.48/39.57	c 39.5s |      15 |   117304 |   103032 |     4178     59 |        0 |        0
41.48/41.57	c 41.5s |      15 |   122863 |   108032 |     4178     62 |        0 |        0
43.48/43.57	c 43.5s |      15 |   129050 |   113632 |     4178     64 |        0 |        0
45.58/45.60	c 45.6s |      15 |   134671 |   118632 |     4178     67 |        0 |        0
47.58/47.62	c 47.6s |      15 |   141449 |   124432 |     4178     69 |        0 |        0
49.59/49.65	c 49.6s |      15 |   148133 |   130232 |     4178     72 |        0 |        0
50.08/50.13	c 50.1s |      16 |   149619 |   131552 |     4596     72 |        0 |        0
52.08/52.13	c 52.1s |      16 |   155550 |   136552 |     4596     74 |        0 |        0
54.08/54.14	c 54.1s |      16 |   161561 |   141652 |     4596     77 |        0 |        0
56.09/56.16	c 56.1s |      16 |   168146 |   147052 |     4596     79 |        0 |        0
58.08/58.18	c 58.1s |      16 |   174058 |   152152 |     4596     81 |        0 |        0
60.18/60.21	c 60.2s |      16 |   180349 |   157352 |     4596     83 |        0 |        0
62.17/62.24	c 62.2s |      16 |   186048 |   162352 |     4596     85 |        0 |        0
64.17/64.25	c 64.2s |      16 |   192008 |   167352 |     4596     87 |        0 |        0
66.17/66.26	c 66.2s |      16 |   197964 |   172452 |     4596     90 |        0 |        0
68.18/68.29	c 68.2s |      16 |   205735 |   178552 |     4596     92 |        0 |        0
70.27/70.32	c 70.3s |      16 |   211006 |   183152 |     4596     94 |        0 |        0
72.27/72.32	c 72.3s |      16 |   216922 |   187952 |     4596     96 |        0 |        0
74.26/74.33	c 74.3s |      16 |   222911 |   192952 |     4596     98 |        0 |        0
75.97/76.07	c 76.0s |      17 |   228415 |   197432 |     5056    100 |        0 |        0
77.96/78.08	c 78.0s |      17 |   232911 |   201632 |     5056    102 |        0 |        0
79.96/80.09	c 80.0s |      17 |   237890 |   206232 |     5056    103 |        0 |        0
82.06/82.12	c 82.1s |      17 |   243726 |   211432 |     5056    105 |        0 |        0
84.06/84.15	c 84.1s |      17 |   248761 |   216132 |     5056    107 |        0 |        0
86.06/86.17	c 86.1s |      17 |   253931 |   220932 |     5056    109 |        0 |        0
88.07/88.19	c 88.1s |      17 |   259150 |   225632 |     5056    111 |        0 |        0
90.16/90.22	c 90.2s |      17 |   265608 |   231032 |     5056    113 |        0 |        0
92.15/92.25	c 92.2s |      17 |   271451 |   236232 |     5056    115 |        0 |        0
94.15/94.27	c 94.2s |      17 |   276928 |   241132 |     5056    117 |        0 |        0
96.15/96.27	c 96.2s |      17 |   282963 |   246432 |     5056    119 |        0 |        0
98.15/98.28	c 98.2s |      17 |   289403 |   252232 |     5056    121 |        0 |        0
100.16/100.29	c  100s |      17 |   295382 |   257432 |     5056    123 |        0 |        0
102.26/102.31	c  102s |      17 |   300024 |   261632 |     5056    125 |        0 |        0
104.26/104.32	c  104s |      17 |   305143 |   266432 |     5056    127 |        0 |        0
106.26/106.32	c  106s |      17 |   310468 |   271132 |     5056    129 |        0 |        0
108.26/108.34	c  108s |      17 |   315821 |   276132 |     5056    130 |        0 |        0
110.25/110.37	c  110s |      17 |   321346 |   281032 |     5056    132 |        0 |        0
112.26/112.39	c  112s |      17 |   326822 |   285932 |     5056    134 |        0 |        0
114.36/114.43	c  114s |      17 |   332685 |   291232 |     5056    136 |        0 |        0
116.25/116.37	c  116s |      18 |   338126 |   296252 |     5562    138 |        0 |        0
118.35/118.40	c  118s |      18 |   342816 |   300352 |     5562    139 |        0 |        0
120.35/120.43	c  120s |      18 |   348078 |   305152 |     5562    141 |        0 |        0
122.35/122.48	c  122s |      18 |   353874 |   310252 |     5562    143 |        0 |        0
124.35/124.48	c  124s |      18 |   359821 |   315652 |     5562    145 |        0 |        0
126.45/126.51	c  126s |      18 |   365910 |   320952 |     5562    147 |        0 |        0
128.44/128.51	c  128s |      18 |   371624 |   326152 |     5562    149 |        0 |        0
130.44/130.53	c  130s |      18 |   379080 |   332152 |     5562    151 |        0 |        0
132.44/132.57	c  132s |      18 |   384644 |   336752 |     5562    152 |        0 |        0
134.54/134.60	c  134s |      18 |   390694 |   342052 |     5562    154 |        0 |        0
136.54/136.64	c  136s |      18 |   395443 |   346352 |     5562    156 |        0 |        0
138.55/138.69	c  138s |      18 |   401132 |   351452 |     5562    157 |        0 |        0
140.64/140.70	c  140s |      18 |   406187 |   355752 |     5562    159 |        0 |        0
142.64/142.72	c  142s |      18 |   412388 |   361152 |     5562    161 |        0 |        0
144.64/144.74	c  144s |      18 |   418042 |   365952 |     5562    163 |        0 |        0
146.64/146.76	c  146s |      18 |   423704 |   371152 |     5562    164 |        0 |        0
148.64/148.77	c  148s |      18 |   429801 |   376452 |     5562    166 |        0 |        0
150.64/150.78	c  150s |      18 |   435779 |   381652 |     5562    168 |        0 |        0
152.63/152.79	c  152s |      18 |   442826 |   387452 |     5562    170 |        0 |        0
154.73/154.81	c  154s |      18 |   450993 |   394052 |     5562    173 |        0 |        0
156.74/156.83	c  156s |      18 |   456221 |   398352 |     5562    174 |        0 |        0
158.74/158.83	c  158s |      18 |   461436 |   402952 |     5562    176 |        0 |        0
160.74/160.85	c  160s |      18 |   467411 |   408152 |     5562    177 |        0 |        0
162.74/162.88	c  162s |      18 |   474038 |   413752 |     5562    179 |        0 |        0
164.74/164.88	c  164s |      18 |   481711 |   420052 |     5562    182 |        0 |        0
166.73/166.89	c  166s |      18 |   487685 |   424952 |     5562    183 |        0 |        0
168.83/168.93	c  168s |      18 |   493892 |   430352 |     5562    185 |        0 |        0
170.83/170.93	c  170s |      18 |   500364 |   435852 |     5562    187 |        0 |        0
172.83/172.93	c  172s |      18 |   505511 |   440252 |     5562    189 |        0 |        0
174.33/174.41	c  174s |      19 |   510343 |   444482 |     6119    190 |        0 |        0
176.33/176.45	c  176s |      19 |   515055 |   448582 |     6119    191 |        0 |        0
178.33/178.48	c  178s |      19 |   520642 |   453482 |     6119    193 |        0 |        0
180.34/180.49	c  180s |      19 |   525616 |   457982 |     6119    194 |        0 |        0
182.43/182.50	c  182s |      19 |   531558 |   463182 |     6119    196 |        0 |        0
184.43/184.54	c  184s |      19 |   536717 |   467782 |     6119    198 |        0 |        0
186.43/186.56	c  186s |      19 |   542532 |   472982 |     6119    199 |        0 |        0
188.43/188.58	c  188s |      19 |   548157 |   477982 |     6119    201 |        0 |        0
190.52/190.62	c  190s |      19 |   553835 |   482982 |     6119    202 |        0 |        0
192.53/192.69	c  192s |      19 |   559840 |   488282 |     6119    204 |        0 |        0
194.52/194.70	c  194s |      19 |   565677 |   493482 |     6119    206 |        0 |        0
196.62/196.73	c  196s |      19 |   571823 |   498882 |     6119    208 |        0 |        0
198.62/198.77	c  198s |      19 |   578276 |   504082 |     6119    209 |        0 |        0
200.62/200.79	c  200s |      19 |   583885 |   508982 |     6119    211 |        0 |        0
202.72/202.83	c  202s |      19 |   589740 |   513882 |     6119    212 |        0 |        0
204.72/204.87	c  204s |      19 |   594169 |   517982 |     6119    214 |        0 |        0
206.73/206.89	c  206s |      19 |   599091 |   522482 |     6119    215 |        0 |        0
208.82/208.92	c  208s |      19 |   604027 |   526982 |     6119    217 |        0 |        0
210.82/210.95	c  210s |      19 |   608765 |   531282 |     6119    218 |        0 |        0
212.82/212.95	c  212s |      19 |   613973 |   535982 |     6119    219 |        0 |        0
214.82/214.98	c  214s |      19 |   619110 |   540682 |     6119    221 |        0 |        0
216.82/217.00	c  216s |      19 |   624062 |   545282 |     6119    222 |        0 |        0
218.92/219.01	c  218s |      19 |   629442 |   550082 |     6119    224 |        0 |        0
220.91/221.05	c  220s |      19 |   634643 |   554782 |     6119    225 |        0 |        0
222.91/223.06	c  223s |      19 |   639650 |   559382 |     6119    227 |        0 |        0
224.91/225.07	c  225s |      19 |   645323 |   564482 |     6119    229 |        0 |        0
226.91/227.10	c  227s |      19 |   651583 |   570082 |     6119    230 |        0 |        0
229.01/229.14	c  229s |      19 |   656222 |   574082 |     6119    232 |        0 |        0
231.01/231.15	c  231s |      19 |   661028 |   578582 |     6119    233 |        0 |        0
233.01/233.15	c  233s |      19 |   666267 |   583282 |     6119    235 |        0 |        0
235.00/235.16	c  235s |      19 |   671414 |   588082 |     6119    236 |        0 |        0
237.00/237.17	c  237s |      19 |   677065 |   593082 |     6119    238 |        0 |        0
239.10/239.21	c  239s |      19 |   682566 |   597882 |     6119    239 |        0 |        0
241.10/241.22	c  241s |      19 |   687887 |   602782 |     6119    241 |        0 |        0
243.11/243.24	c  243s |      19 |   693159 |   607582 |     6119    242 |        0 |        0
245.10/245.26	c  245s |      19 |   699419 |   613082 |     6119    244 |        0 |        0
247.10/247.27	c  247s |      19 |   706107 |   618982 |     6119    246 |        0 |        0
249.10/249.28	c  249s |      19 |   712125 |   624382 |     6119    248 |        0 |        0
251.20/251.32	c  251s |      19 |   715995 |   627682 |     6119    249 |        0 |        0
253.30/253.40	c  253s |      19 |   721852 |   632682 |     6119    251 |        0 |        0
255.30/255.45	c  255s |      19 |   728040 |   638182 |     6119    252 |        0 |        0
257.30/257.48	c  257s |      19 |   732780 |   642482 |     6119    254 |        0 |        0
259.39/259.51	c  259s |      19 |   738590 |   647782 |     6119    255 |        0 |        0
261.39/261.53	c  261s |      19 |   744689 |   653282 |     6119    257 |        0 |        0
263.39/263.55	c  263s |      19 |   750738 |   658782 |     6119    259 |        0 |        0
265.39/265.57	c  265s |      19 |   756832 |   664182 |     6731    260 |        0 |        0
266.89/267.09	c  267s |      20 |   759874 |   666827 |     6731    261 |        0 |        0
269.09/269.28	c  269s |      20 |   764694 |   671227 |     6731    263 |        0 |        0
271.09/271.29	c  271s |      20 |   769749 |   675727 |     6731    264 |        0 |        0
273.29/273.40	c  273s |      20 |   775325 |   680627 |     6731    265 |        0 |        0
275.29/275.42	c  275s |      20 |   780487 |   685327 |     6731    267 |        0 |        0
277.29/277.44	c  277s |      20 |   785584 |   689927 |     6731    268 |        0 |        0
279.29/279.48	c  279s |      20 |   790803 |   694727 |     6731    269 |        0 |        0
281.29/281.49	c  281s |      20 |   795483 |   698927 |     6731    271 |        0 |        0
283.39/283.51	c  283s |      20 |   801337 |   704227 |     6731    272 |        0 |        0
285.39/285.52	c  285s |      20 |   807227 |   709427 |     6731    274 |        0 |        0
287.39/287.55	c  287s |      20 |   812314 |   713827 |     6731    275 |        0 |        0
289.39/289.56	c  289s |      20 |   817563 |   718527 |     6731    276 |        0 |        0
291.39/291.60	c  291s |      20 |   822865 |   723227 |     6731    278 |        0 |        0
293.48/293.60	c  293s |      20 |   827577 |   727627 |     6731    279 |        0 |        0
295.48/295.61	c  295s |      20 |   833565 |   732727 |     6731    280 |        0 |        0
297.48/297.64	c  297s |      20 |   837847 |   736627 |     6731    282 |        0 |        0
299.48/299.64	c  299s |      20 |   843174 |   741327 |     6731    283 |        0 |        0
301.48/301.69	c  301s |      20 |   848145 |   745627 |     6731    284 |        0 |        0
303.59/303.71	c  303s |      20 |   853011 |   749927 |     6731    286 |        0 |        0
305.58/305.73	c  305s |      20 |   859002 |   755127 |     6731    287 |        0 |        0
307.58/307.76	c  307s |      20 |   864634 |   760027 |     6731    288 |        0 |        0
309.57/309.77	c  309s |      20 |   870924 |   765127 |     6731    290 |        0 |        0
311.57/311.79	c  311s |      20 |   878183 |   771227 |     6731    292 |        0 |        0
313.87/314.05	c  314s |      20 |   883286 |   775727 |     6731    293 |        0 |        0
315.87/316.07	c  316s |      20 |   887519 |   779327 |     6731    294 |        0 |        0
318.07/318.20	c  318s |      20 |   893435 |   784327 |     6731    296 |        0 |        0
320.07/320.21	c  320s |      20 |   898593 |   789027 |     6731    297 |        0 |        0
322.07/322.23	c  322s |      20 |   903812 |   793727 |     6731    298 |        0 |        0
324.06/324.23	c  324s |      20 |   909377 |   798727 |     6731    300 |        0 |        0
326.06/326.23	c  326s |      20 |   915322 |   804127 |     6731    301 |        0 |        0
328.57/328.79	c  328s |      20 |   921404 |   809327 |     6731    303 |        0 |        0
330.67/330.84	c  330s |      20 |   926968 |   814327 |     6731    304 |        0 |        0
332.67/332.84	c  332s |      20 |   931421 |   818527 |     6731    306 |        0 |        0
334.67/334.84	c  334s |      20 |   936979 |   823427 |     6731    307 |        0 |        0
336.67/336.87	c  336s |      20 |   942407 |   828427 |     6731    309 |        0 |        0
338.67/338.89	c  338s |      20 |   949258 |   834327 |     6731    310 |        0 |        0
340.76/340.91	c  340s |      20 |   953799 |   838427 |     6731    311 |        0 |        0
342.76/342.94	c  342s |      20 |   958832 |   843127 |     6731    313 |        0 |        0
344.76/344.95	c  344s |      20 |   965262 |   848627 |     6731    314 |        0 |        0
346.76/346.99	c  346s |      20 |   971044 |   853327 |     6731    316 |        0 |        0
348.76/348.99	c  348s |      20 |   977126 |   858727 |     6731    317 |        0 |        0
350.76/351.00	c  350s |      20 |   983623 |   864527 |     6731    319 |        0 |        0
352.85/353.02	c  352s |      20 |   989224 |   869327 |     6731    320 |        0 |        0
354.85/355.04	c  354s |      20 |   995481 |   874627 |     6731    322 |        0 |        0
356.85/357.06	c  357s |      20 |  1002252 |   879827 |     6731    324 |        0 |        0
358.85/359.09	c  359s |      20 |  1009509 |   885827 |     6731    325 |        0 |        0
360.94/361.10	c  361s |      20 |  1016219 |   891427 |     6731    327 |        0 |        0
362.95/363.13	c  363s |      20 |  1023748 |   897527 |     6731    329 |        0 |        0
365.24/365.44	c  365s |      20 |  1029703 |   902427 |     6731    330 |        0 |        0
367.25/367.44	c  367s |      20 |  1035368 |   906927 |     6731    332 |        0 |        0
369.24/369.45	c  369s |      20 |  1041360 |   911827 |     6731    333 |        0 |        0
371.23/371.47	c  371s |      20 |  1045830 |   915927 |     6731    334 |        0 |        0
373.33/373.53	c  373s |      20 |  1051269 |   920627 |     6731    336 |        0 |        0
375.34/375.54	c  375s |      20 |  1056864 |   925527 |     6731    337 |        0 |        0
377.34/377.58	c  377s |      20 |  1062268 |   930327 |     6731    338 |        0 |        0
379.34/379.60	c  379s |      20 |  1068212 |   935627 |     6731    340 |        0 |        0
381.44/381.60	c  381s |      20 |  1073774 |   940627 |     6731    341 |        0 |        0
383.43/383.62	c  383s |      20 |  1079473 |   944927 |     6731    343 |        0 |        0
385.43/385.66	c  385s |      20 |  1085306 |   949927 |     6731    344 |        0 |        0
387.53/387.77	c  387s |      20 |  1090525 |   954627 |     6731    345 |        0 |        0
389.53/389.78	c  389s |      20 |  1095170 |   958827 |     6731    347 |        0 |        0
391.53/391.79	c  391s |      20 |  1100946 |   963727 |     6731    348 |        0 |        0
393.63/393.82	c  393s |      20 |  1106438 |   968727 |     6731    350 |        0 |        0
395.63/395.85	c  395s |      20 |  1111698 |   973627 |     6731    351 |        0 |        0
397.63/397.87	c  397s |      20 |  1117481 |   978827 |     6731    353 |        0 |        0
399.72/399.92	c  399s |      20 |  1121235 |   982127 |     6731    354 |        0 |        0
401.72/401.95	c  401s |      20 |  1126808 |   987127 |     6731    355 |        0 |        0
403.72/403.96	c  403s |      20 |  1132177 |   992027 |     6731    356 |        0 |        0
405.73/405.99	c  405s |      20 |  1137163 |   996427 |     7405    358 |        0 |        0
407.32/407.56	c  407s |      21 |  1141713 |  1000345 |     7405    359 |        0 |        0
409.42/409.60	c  409s |      21 |  1145921 |  1004045 |     7405    360 |        0 |        0
411.42/411.62	c  411s |      21 |  1151253 |  1008845 |     7405    361 |        0 |        0
413.42/413.62	c  413s |      21 |  1155858 |  1013045 |     7405    362 |        0 |        0
415.43/415.67	c  415s |      21 |  1160252 |  1017045 |     7405    363 |        0 |        0
417.43/417.69	c  417s |      21 |  1165361 |  1021745 |     7405    364 |        0 |        0
419.52/419.75	c  419s |      21 |  1171051 |  1026745 |     7405    366 |        0 |        0
421.52/421.76	c  421s |      21 |  1177585 |  1031945 |     7405    367 |        0 |        0
423.52/423.79	c  423s |      21 |  1182137 |  1035845 |     7405    368 |        0 |        0
425.53/425.79	c  425s |      21 |  1187122 |  1040345 |     7405    369 |        0 |        0
427.62/427.82	c  427s |      21 |  1192041 |  1044845 |     7405    370 |        0 |        0
429.61/429.85	c  429s |      21 |  1196976 |  1049445 |     7405    372 |        0 |        0
431.61/431.87	c  431s |      21 |  1202277 |  1054145 |     7405    373 |        0 |        0
433.61/433.89	c  433s |      21 |  1207797 |  1059145 |     7405    374 |        0 |        0
435.71/435.90	c  435s |      21 |  1213911 |  1064345 |     7405    376 |        0 |        0
437.71/437.92	c  437s |      21 |  1217354 |  1067445 |     7405    376 |        0 |        0
439.70/439.92	c  439s |      21 |  1222965 |  1072345 |     7405    378 |        0 |        0
441.70/441.93	c  441s |      21 |  1228760 |  1077545 |     7405    379 |        0 |        0
443.70/443.98	c  443s |      21 |  1234115 |  1082445 |     7405    380 |        0 |        0
445.70/445.99	c  445s |      21 |  1238351 |  1086245 |     7405    381 |        0 |        0
447.80/448.02	c  447s |      21 |  1242355 |  1089745 |     7405    382 |        0 |        0
449.81/450.04	c  449s |      21 |  1247428 |  1094345 |     7405    384 |        0 |        0
451.81/452.06	c  452s |      21 |  1252955 |  1099245 |     7405    385 |        0 |        0
453.81/454.08	c  454s |      21 |  1259272 |  1104745 |     7405    386 |        0 |        0
455.90/456.15	c  456s |      21 |  1264847 |  1109045 |     7405    388 |        0 |        0
457.90/458.19	c  458s |      21 |  1270477 |  1114145 |     7405    389 |        0 |        0
459.90/460.19	c  460s |      21 |  1276698 |  1119545 |     7405    390 |        0 |        0
462.00/462.23	c  462s |      21 |  1282505 |  1124445 |     7405    392 |        0 |        0
464.00/464.25	c  464s |      21 |  1289489 |  1130345 |     7405    393 |        0 |        0
466.00/466.25	c  466s |      21 |  1295573 |  1135645 |     7405    395 |        0 |        0
468.00/468.27	c  468s |      21 |  1302872 |  1141745 |     7405    396 |        0 |        0
470.29/470.50	c  470s |      21 |  1309312 |  1147245 |     7405    398 |        0 |        0
472.29/472.51	c  472s |      21 |  1315974 |  1152545 |     7405    399 |        0 |        0
474.49/474.77	c  474s |      21 |  1322309 |  1157545 |     7405    400 |        0 |        0
476.49/476.79	c  476s |      21 |  1327311 |  1161845 |     7405    402 |        0 |        0
478.59/478.81	c  478s |      21 |  1333148 |  1166845 |     7405    403 |        0 |        0
480.59/480.85	c  480s |      21 |  1338468 |  1171645 |     7405    404 |        0 |        0
482.59/482.87	c  482s |      21 |  1343968 |  1176545 |     7405    406 |        0 |        0
484.59/484.90	c  484s |      21 |  1350500 |  1182245 |     7405    407 |        0 |        0
487.09/487.36	c  487s |      21 |  1356585 |  1187245 |     7405    408 |        0 |        0
489.08/489.39	c  489s |      21 |  1362091 |  1192145 |     7405    410 |        0 |        0
491.18/491.41	c  491s |      21 |  1367915 |  1197145 |     7405    411 |        0 |        0
493.18/493.43	c  493s |      21 |  1373410 |  1202145 |     7405    412 |        0 |        0
495.18/495.45	c  495s |      21 |  1379648 |  1207645 |     7405    414 |        0 |        0
497.19/497.46	c  497s |      21 |  1383409 |  1211045 |     7405    415 |        0 |        0
499.19/499.47	c  499s |      21 |  1388646 |  1215845 |     7405    416 |        0 |        0
501.18/501.49	c  501s |      21 |  1393775 |  1220545 |     7405    417 |        0 |        0
503.28/503.57	c  503s |      21 |  1399133 |  1225345 |     7405    419 |        0 |        0
505.38/505.61	c  505s |      21 |  1406152 |  1231045 |     7405    420 |        0 |        0
507.38/507.63	c  507s |      21 |  1411636 |  1235745 |     7405    421 |        0 |        0
509.38/509.65	c  509s |      21 |  1417726 |  1241145 |     7405    423 |        0 |        0
511.38/511.65	c  511s |      21 |  1423651 |  1246045 |     7405    424 |        0 |        0
513.48/513.74	c  513s |      21 |  1430354 |  1251645 |     7405    426 |        0 |        0
515.48/515.77	c  515s |      21 |  1437364 |  1257445 |     7405    427 |        0 |        0
517.48/517.79	c  517s |      21 |  1444934 |  1263645 |     7405    429 |        0 |        0
519.57/519.81	c  519s |      21 |  1448423 |  1266645 |     7405    430 |        0 |        0
521.57/521.82	c  521s |      21 |  1453990 |  1271645 |     7405    431 |        0 |        0
523.57/523.83	c  523s |      21 |  1459085 |  1276145 |     7405    432 |        0 |        0
525.58/525.86	c  525s |      21 |  1464809 |  1281145 |     7405    433 |        0 |        0
527.57/527.87	c  527s |      21 |  1470741 |  1286345 |     7405    435 |        0 |        0
529.67/529.92	c  529s |      21 |  1475443 |  1290245 |     7405    436 |        0 |        0
531.67/531.94	c  531s |      21 |  1481232 |  1295345 |     7405    437 |        0 |        0
533.67/533.96	c  533s |      21 |  1486782 |  1300245 |     7405    438 |        0 |        0
535.67/535.98	c  535s |      21 |  1493863 |  1306045 |     7405    440 |        0 |        0
537.67/537.99	c  537s |      21 |  1498848 |  1310345 |     7405    441 |        0 |        0
539.76/540.00	c  539s |      21 |  1503851 |  1314645 |     7405    442 |        0 |        0
541.76/542.00	c  541s |      21 |  1509210 |  1319345 |     7405    444 |        0 |        0
543.76/544.01	c  543s |      21 |  1516152 |  1325245 |     7405    445 |        0 |        0
545.77/546.02	c  545s |      21 |  1521238 |  1329745 |     7405    446 |        0 |        0
547.77/548.06	c  548s |      21 |  1526840 |  1334845 |     7405    448 |        0 |        0
549.77/550.09	c  550s |      21 |  1533783 |  1340745 |     7405    449 |        0 |        0
551.86/552.15	c  552s |      21 |  1540463 |  1346245 |     7405    451 |        0 |        0
553.86/554.15	c  554s |      21 |  1548267 |  1352545 |     7405    452 |        0 |        0
555.86/556.15	c  556s |      21 |  1552957 |  1356445 |     7405    453 |        0 |        0
557.86/558.18	c  558s |      21 |  1558445 |  1361445 |     7405    455 |        0 |        0
559.96/560.21	c  560s |      21 |  1563710 |  1366245 |     7405    456 |        0 |        0
561.96/562.24	c  562s |      21 |  1569812 |  1371445 |     7405    457 |        0 |        0
563.96/564.25	c  564s |      21 |  1574779 |  1375645 |     7405    459 |        0 |        0
565.96/566.29	c  566s |      21 |  1580043 |  1380445 |     7405    460 |        0 |        0
567.96/568.29	c  568s |      21 |  1586313 |  1385945 |     7405    461 |        0 |        0
570.05/570.34	c  570s |      21 |  1591719 |  1390345 |     7405    463 |        0 |        0
572.05/572.37	c  572s |      21 |  1597621 |  1395345 |     7405    464 |        0 |        0
574.06/574.39	c  574s |      21 |  1603697 |  1400745 |     7405    465 |        0 |        0
576.16/576.47	c  576s |      21 |  1609191 |  1405345 |     7405    467 |        0 |        0
578.15/578.48	c  578s |      21 |  1614995 |  1410545 |     7405    468 |        0 |        0
580.15/580.48	c  580s |      21 |  1621224 |  1416045 |     7405    469 |        0 |        0
582.25/582.50	c  582s |      21 |  1629518 |  1422545 |     7405    471 |        0 |        0
584.24/584.51	c  584s |      21 |  1633872 |  1425945 |     7405    472 |        0 |        0
586.24/586.55	c  586s |      21 |  1639768 |  1431145 |     7405    473 |        0 |        0
588.25/588.56	c  588s |      21 |  1645534 |  1436145 |     7405    475 |        0 |        0
590.24/590.58	c  590s |      21 |  1651679 |  1441045 |     7405    476 |        0 |        0
592.34/592.60	c  592s |      21 |  1658008 |  1446645 |     7405    478 |        0 |        0
594.34/594.62	c  594s |      21 |  1664454 |  1451945 |     7405    479 |        0 |        0
596.34/596.65	c  596s |      21 |  1671250 |  1457745 |     7405    480 |        0 |        0
598.34/598.65	c  598s |      21 |  1678435 |  1463845 |     7405    482 |        0 |        0
600.34/600.66	c  600s |      21 |  1683527 |  1467945 |     7405    483 |        0 |        0
602.34/602.67	c  602s |      21 |  1689264 |  1472945 |     7405    485 |        0 |        0
604.44/604.74	c  604s |      21 |  1695454 |  1477845 |     7405    486 |        0 |        0
606.44/606.77	c  606s |      21 |  1701989 |  1483445 |     7405    487 |        0 |        0
608.44/608.79	c  608s |      21 |  1709233 |  1489545 |     7405    489 |        0 |        0
610.54/610.88	c  610s |      21 |  1715450 |  1494245 |     8146    490 |        0 |        0
612.64/612.90	c  612s |      21 |  1722081 |  1499745 |     8146    491 |        0 |        0
613.04/613.30	c  613s |      22 |  1723143 |  1500622 |     8146    492 |        0 |        0
615.04/615.32	c  615s |      22 |  1727847 |  1504522 |     8146    492 |        0 |        0
617.04/617.35	c  617s |      22 |  1733139 |  1508822 |     8146    494 |        0 |        0
619.04/619.38	c  619s |      22 |  1737713 |  1513122 |     8146    495 |        0 |        0
621.14/621.40	c  621s |      22 |  1742738 |  1517422 |     8146    496 |        0 |        0
623.13/623.44	c  623s |      22 |  1748137 |  1522222 |     8146    497 |        0 |        0
625.13/625.45	c  625s |      22 |  1752634 |  1526422 |     8146    498 |        0 |        0
627.13/627.47	c  627s |      22 |  1757341 |  1530722 |     8146    499 |        0 |        0
629.13/629.48	c  629s |      22 |  1763081 |  1535622 |     8146    500 |        0 |        0
631.23/631.51	c  631s |      22 |  1768799 |  1540522 |     8146    501 |        0 |        0
633.23/633.51	c  633s |      22 |  1774050 |  1545122 |     8146    502 |        0 |        0
635.23/635.52	c  635s |      22 |  1779819 |  1550122 |     8146    504 |        0 |        0
637.22/637.52	c  637s |      22 |  1786013 |  1555422 |     8146    505 |        0 |        0
639.22/639.56	c  639s |      22 |  1792772 |  1561222 |     8146    506 |        0 |        0
641.22/641.56	c  641s |      22 |  1798067 |  1565922 |     8146    507 |        0 |        0
643.33/643.62	c  643s |      22 |  1804472 |  1571322 |     8146    509 |        0 |        0
645.32/645.63	c  645s |      22 |  1811160 |  1577022 |     8146    510 |        0 |        0
647.32/647.65	c  647s |      22 |  1818847 |  1583322 |     8146    512 |        0 |        0
649.72/650.06	c  650s |      22 |  1819795 |  1584122 |     8146    512 |        0 |        0
651.82/652.10	c  652s |      22 |  1824689 |  1588322 |     8146    513 |        0 |        0
653.82/654.11	c  654s |      22 |  1829583 |  1592722 |     8146    514 |        0 |        0
655.82/656.13	c  656s |      22 |  1833819 |  1596522 |     8146    515 |        0 |        0
657.92/658.21	c  658s |      22 |  1838806 |  1601022 |     8146    516 |        0 |        0
659.92/660.24	c  660s |      22 |  1843659 |  1605522 |     8146    517 |        0 |        0
661.92/662.27	c  662s |      22 |  1848754 |  1610122 |     8146    518 |        0 |        0
664.02/664.30	c  664s |      22 |  1854114 |  1614922 |     8146    519 |        0 |        0
666.02/666.33	c  666s |      22 |  1860468 |  1620322 |     8146    521 |        0 |        0
668.01/668.38	c  668s |      22 |  1863691 |  1623022 |     8146    521 |        0 |        0
670.11/670.40	c  670s |      22 |  1869168 |  1627722 |     8146    522 |        0 |        0
672.11/672.41	c  672s |      22 |  1874465 |  1632522 |     8146    524 |        0 |        0
674.11/674.41	c  674s |      22 |  1880140 |  1637422 |     8146    525 |        0 |        0
676.21/676.55	c  676s |      22 |  1885226 |  1641822 |     8146    526 |        0 |        0
678.20/678.56	c  678s |      22 |  1890475 |  1646622 |     8146    527 |        0 |        0
680.20/680.59	c  680s |      22 |  1896082 |  1651622 |     8146    528 |        0 |        0
682.30/682.61	c  682s |      22 |  1902052 |  1656622 |     8146    529 |        0 |        0
684.31/684.62	c  684s |      22 |  1906822 |  1660622 |     8146    530 |        0 |        0
686.31/686.63	c  686s |      22 |  1912237 |  1665422 |     8146    531 |        0 |        0
688.42/688.72	c  688s |      22 |  1918527 |  1670522 |     8146    533 |        0 |        0
690.41/690.73	c  690s |      22 |  1923930 |  1675322 |     8146    534 |        0 |        0
692.41/692.76	c  692s |      22 |  1930362 |  1680922 |     8146    535 |        0 |        0
694.41/694.78	c  694s |      22 |  1935763 |  1685422 |     8146    536 |        0 |        0
696.51/696.80	c  696s |      22 |  1941993 |  1690822 |     8146    538 |        0 |        0
698.51/698.83	c  698s |      22 |  1948210 |  1696122 |     8146    539 |        0 |        0
700.51/700.85	c  700s |      22 |  1955020 |  1702122 |     8146    540 |        0 |        0
702.50/702.87	c  702s |      22 |  1958317 |  1704922 |     8146    541 |        0 |        0
704.60/704.90	c  704s |      22 |  1963378 |  1709322 |     8146    542 |        0 |        0
706.60/706.91	c  706s |      22 |  1969115 |  1714122 |     8146    543 |        0 |        0
708.60/708.93	c  708s |      22 |  1974456 |  1718822 |     8146    544 |        0 |        0
710.60/710.95	c  710s |      22 |  1979577 |  1723422 |     8146    546 |        0 |        0
712.60/712.96	c  712s |      22 |  1984404 |  1727722 |     8146    547 |        0 |        0
714.60/714.96	c  714s |      22 |  1989652 |  1732222 |     8146    548 |        0 |        0
716.60/716.98	c  716s |      22 |  1994933 |  1736922 |     8146    549 |        0 |        0
718.70/719.00	c  718s |      22 |  2001799 |  1742622 |     8146    550 |        0 |        0
720.70/721.03	c  720s |      22 |  2004562 |  1745022 |     8146    551 |        0 |        0
722.70/723.04	c  722s |      22 |  2009818 |  1749622 |     8146    552 |        0 |        0
724.70/725.09	c  725s |      22 |  2014506 |  1753922 |     8146    553 |        0 |        0
726.81/727.12	c  727s |      22 |  2019734 |  1758622 |     8146    554 |        0 |        0
728.80/729.15	c  729s |      22 |  2025885 |  1763922 |     8146    555 |        0 |        0
731.50/731.81	c  731s |      22 |  2031289 |  1768522 |     8146    557 |        0 |        0
733.51/733.81	c  733s |      22 |  2036746 |  1773322 |     8146    558 |        0 |        0
735.50/735.84	c  735s |      22 |  2041898 |  1777922 |     8146    559 |        0 |        0
737.50/737.86	c  737s |      22 |  2048497 |  1783622 |     8146    560 |        0 |        0
739.70/740.02	c  739s |      22 |  2053447 |  1788022 |     8146    561 |        0 |        0
741.70/742.06	c  742s |      22 |  2059498 |  1793422 |     8146    563 |        0 |        0
743.70/744.08	c  744s |      22 |  2064835 |  1798122 |     8146    564 |        0 |        0
745.80/746.11	c  746s |      22 |  2070544 |  1803222 |     8146    565 |        0 |        0
747.80/748.13	c  748s |      22 |  2076064 |  1808122 |     8146    566 |        0 |        0
749.80/750.14	c  750s |      22 |  2082456 |  1813622 |     8146    567 |        0 |        0
751.80/752.14	c  752s |      22 |  2089888 |  1819422 |     8146    569 |        0 |        0
753.80/754.16	c  754s |      22 |  2097518 |  1825522 |     8146    570 |        0 |        0
755.79/756.17	c  756s |      22 |  2101309 |  1828722 |     8146    571 |        0 |        0
757.79/758.18	c  758s |      22 |  2107064 |  1833822 |     8146    572 |        0 |        0
759.90/760.21	c  760s |      22 |  2112415 |  1838622 |     8146    574 |        0 |        0
761.89/762.25	c  762s |      22 |  2116938 |  1842722 |     8146    575 |        0 |        0
763.89/764.26	c  764s |      22 |  2123133 |  1847922 |     8146    576 |        0 |        0
765.89/766.28	c  766s |      22 |  2128851 |  1853122 |     8146    577 |        0 |        0
767.89/768.30	c  768s |      22 |  2134075 |  1857322 |     8146    578 |        0 |        0
769.99/770.30	c  770s |      22 |  2139841 |  1862322 |     8146    579 |        0 |        0
771.90/772.30	c  772s |      22 |  2146146 |  1867622 |     8146    581 |        0 |        0
773.99/774.32	c  774s |      22 |  2151585 |  1872122 |     8146    582 |        0 |        0
775.99/776.34	c  776s |      22 |  2158256 |  1877522 |     8146    583 |        0 |        0
777.99/778.34	c  778s |      22 |  2164727 |  1883022 |     8146    584 |        0 |        0
779.99/780.34	c  780s |      22 |  2171895 |  1888822 |     8146    586 |        0 |        0
782.49/782.84	c  782s |      22 |  2178321 |  1894022 |     8146    587 |        0 |        0
784.49/784.84	c  784s |      22 |  2184683 |  1899222 |     8146    588 |        0 |        0
786.49/786.88	c  786s |      22 |  2190644 |  1904222 |     8146    589 |        0 |        0
788.79/789.12	c  789s |      22 |  2197140 |  1909822 |     8146    591 |        0 |        0
790.79/791.12	c  791s |      22 |  2202665 |  1914622 |     8146    592 |        0 |        0
792.80/793.15	c  793s |      22 |  2209841 |  1920422 |     8146    593 |        0 |        0
794.79/795.17	c  795s |      22 |  2215356 |  1925322 |     8146    595 |        0 |        0
796.79/797.19	c  797s |      22 |  2221936 |  1930822 |     8146    596 |        0 |        0
798.89/799.21	c  799s |      22 |  2229571 |  1937022 |     8146    597 |        0 |        0
800.89/801.25	c  801s |      22 |  2233742 |  1940422 |     8146    598 |        0 |        0
802.89/803.28	c  803s |      22 |  2239363 |  1945522 |     8146    599 |        0 |        0
804.89/805.30	c  805s |      22 |  2245094 |  1950522 |     8146    601 |        0 |        0
806.99/807.33	c  807s |      22 |  2251039 |  1955722 |     8146    602 |        0 |        0
808.99/809.34	c  809s |      22 |  2257577 |  1961322 |     8146    603 |        0 |        0
810.99/811.36	c  811s |      22 |  2262693 |  1965422 |     8146    604 |        0 |        0
812.99/813.39	c  813s |      22 |  2270313 |  1971322 |     8146    606 |        0 |        0
815.09/815.42	c  815s |      22 |  2275967 |  1976322 |     8146    607 |        0 |        0
817.09/817.46	c  817s |      22 |  2282866 |  1982122 |     8146    608 |        0 |        0
819.08/819.46	c  819s |      22 |  2289751 |  1987922 |     8146    610 |        0 |        0
821.08/821.49	c  821s |      22 |  2294628 |  1991922 |     8146    611 |        0 |        0
823.18/823.52	c  823s |      22 |  2300777 |  1997322 |     8146    612 |        0 |        0
825.18/825.53	c  825s |      22 |  2307497 |  2003122 |     8146    613 |        0 |        0
827.19/827.56	c  827s |      22 |  2313002 |  2007822 |     8146    615 |        0 |        0
829.19/829.56	c  829s |      22 |  2319986 |  2013822 |     8146    616 |        0 |        0
831.18/831.57	c  831s |      22 |  2327485 |  2019522 |     8146    617 |        0 |        0
833.28/833.60	c  833s |      22 |  2335766 |  2025922 |     8146    619 |        0 |        0
835.28/835.61	c  835s |      22 |  2343360 |  2032122 |     8146    621 |        0 |        0
837.48/837.82	c  837s |      22 |  2349329 |  2036822 |     8146    622 |        0 |        0
839.48/839.85	c  839s |      22 |  2355446 |  2042022 |     8146    623 |        0 |        0
841.48/841.85	c  841s |      22 |  2361276 |  2047022 |     8146    624 |        0 |        0
843.49/843.86	c  843s |      22 |  2365380 |  2050622 |     8146    625 |        0 |        0
845.48/845.89	c  845s |      22 |  2371145 |  2055622 |     8146    626 |        0 |        0
847.58/847.90	c  847s |      22 |  2376514 |  2060322 |     8146    627 |        0 |        0
849.58/849.93	c  849s |      22 |  2382475 |  2065322 |     8146    629 |        0 |        0
851.58/851.95	c  851s |      22 |  2388911 |  2070722 |     8146    630 |        0 |        0
853.68/854.00	c  853s |      22 |  2394749 |  2075622 |     8146    631 |        0 |        0
855.68/856.02	c  855s |      22 |  2400918 |  2081022 |     8146    632 |        0 |        0
857.78/858.11	c  858s |      22 |  2407027 |  2086222 |     8146    634 |        0 |        0
859.78/860.13	c  860s |      22 |  2413835 |  2092122 |     8146    635 |        0 |        0
861.78/862.15	c  862s |      22 |  2421358 |  2098122 |     8146    637 |        0 |        0
863.98/864.33	c  864s |      22 |  2429677 |  2104722 |     8146    638 |        0 |        0
865.98/866.37	c  866s |      22 |  2433345 |  2107922 |     8146    639 |        0 |        0
868.08/868.40	c  868s |      22 |  2438226 |  2112222 |     8146    640 |        0 |        0
870.07/870.40	c  870s |      22 |  2443653 |  2116922 |     8146    641 |        0 |        0
872.08/872.41	c  872s |      22 |  2449060 |  2121722 |     8146    642 |        0 |        0
874.07/874.43	c  874s |      22 |  2454680 |  2126622 |     8146    643 |        0 |        0
876.17/876.56	c  876s |      22 |  2459305 |  2130422 |     8146    644 |        0 |        0
878.18/878.56	c  878s |      22 |  2464925 |  2135322 |     8146    646 |        0 |        0
880.18/880.57	c  880s |      22 |  2471060 |  2140522 |     8146    647 |        0 |        0
882.18/882.59	c  882s |      22 |  2476373 |  2145322 |     8146    648 |        0 |        0
884.28/884.64	c  884s |      22 |  2481226 |  2149522 |     8146    649 |        0 |        0
886.29/886.65	c  886s |      22 |  2486127 |  2153922 |     8146    650 |        0 |        0
888.28/888.67	c  888s |      22 |  2489372 |  2156722 |     8146    651 |        0 |        0
890.28/890.67	c  890s |      22 |  2494437 |  2161222 |     8146    652 |        0 |        0
892.38/892.70	c  892s |      22 |  2498758 |  2164822 |     8146    653 |        0 |        0
894.38/894.71	c  894s |      22 |  2503744 |  2169422 |     8146    654 |        0 |        0
896.38/896.73	c  896s |      22 |  2508763 |  2173822 |     8146    655 |        0 |        0
898.38/898.76	c  898s |      22 |  2513363 |  2178122 |     8146    656 |        0 |        0
900.38/900.77	c  900s |      22 |  2518812 |  2182922 |     8146    657 |        0 |        0
902.37/902.78	c  902s |      22 |  2524079 |  2187722 |     8146    658 |        0 |        0
904.37/904.79	c  904s |      22 |  2528865 |  2192022 |     8146    659 |        0 |        0
906.37/906.79	c  906s |      22 |  2534784 |  2197122 |     8146    661 |        0 |        0
908.47/908.81	c  908s |      22 |  2539549 |  2201422 |     8146    662 |        0 |        0
910.48/910.83	c  910s |      22 |  2542994 |  2204522 |     8146    662 |        0 |        0
912.47/912.83	c  912s |      22 |  2547596 |  2208822 |     8146    663 |        0 |        0
914.47/914.85	c  914s |      22 |  2552009 |  2212922 |     8146    664 |        0 |        0
916.47/916.85	c  916s |      22 |  2557020 |  2217422 |     8146    665 |        0 |        0
918.47/918.86	c  918s |      22 |  2562453 |  2222222 |     8146    667 |        0 |        0
920.48/920.87	c  920s |      22 |  2568727 |  2227822 |     8146    668 |        0 |        0
922.47/922.89	c  922s |      22 |  2572587 |  2231222 |     8146    669 |        0 |        0
924.57/924.93	c  924s |      22 |  2577805 |  2236022 |     8961    670 |        0 |        0
926.57/926.94	c  926s |      22 |  2583036 |  2240722 |     8961    671 |        0 |        0
928.57/928.94	c  928s |      22 |  2588753 |  2245722 |     8961    672 |        0 |        0
930.66/931.00	c  930s |      22 |  2593376 |  2249722 |     8961    673 |        0 |        0
931.26/931.69	c  931s |      23 |  2595017 |  2251038 |     8961    673 |        0 |        0
933.36/933.71	c  933s |      23 |  2599150 |  2254638 |     8961    674 |        0 |        0
935.36/935.71	c  935s |      23 |  2603422 |  2258438 |     8961    675 |        0 |        0
937.36/937.75	c  937s |      23 |  2607875 |  2262538 |     8961    676 |        0 |        0
939.36/939.77	c  939s |      23 |  2612571 |  2266738 |     8961    677 |        0 |        0
941.56/941.96	c  941s |      23 |  2617046 |  2270738 |     8961    678 |        0 |        0
943.57/943.97	c  943s |      23 |  2621389 |  2274738 |     8961    678 |        0 |        0
945.56/945.99	c  945s |      23 |  2626140 |  2278938 |     8961    679 |        0 |        0
947.66/948.00	c  947s |      23 |  2631413 |  2283538 |     8961    680 |        0 |        0
949.66/950.01	c  949s |      23 |  2636751 |  2288438 |     8961    681 |        0 |        0
952.38/952.72	c  952s |      23 |  2641341 |  2292638 |     8961    682 |        0 |        0
954.37/954.72	c  954s |      23 |  2645487 |  2296538 |     8961    683 |        0 |        0
956.37/956.72	c  956s |      23 |  2649915 |  2300638 |     8961    684 |        0 |        0
958.37/958.79	c  958s |      23 |  2654681 |  2304938 |     8961    685 |        0 |        0
960.47/960.83	c  960s |      23 |  2658787 |  2308838 |     8961    686 |        0 |        0
962.47/962.85	c  962s |      23 |  2663087 |  2312838 |     8961    687 |        0 |        0
964.57/964.90	c  964s |      23 |  2668141 |  2317338 |     8961    688 |        0 |        0
966.57/966.92	c  966s |      23 |  2673044 |  2321738 |     8961    689 |        0 |        0
968.56/968.92	c  968s |      23 |  2678361 |  2326338 |     8961    690 |        0 |        0
970.56/970.94	c  970s |      23 |  2684686 |  2331638 |     8961    691 |        0 |        0
972.56/972.97	c  972s |      23 |  2691780 |  2337338 |     8961    692 |        0 |        0
974.56/974.99	c  974s |      23 |  2693089 |  2338438 |     8961    692 |        0 |        0
976.66/977.00	c  976s |      23 |  2697629 |  2342538 |     8961    693 |        0 |        0
978.67/979.01	c  978s |      23 |  2701941 |  2346438 |     8961    694 |        0 |        0
980.66/981.01	c  980s |      23 |  2706330 |  2350238 |     8961    695 |        0 |        0
982.66/983.07	c  983s |      23 |  2710917 |  2354538 |     8961    696 |        0 |        0
984.76/985.10	c  985s |      23 |  2715869 |  2359038 |     8961    697 |        0 |        0
986.86/987.28	c  987s |      23 |  2720242 |  2362938 |     8961    698 |        0 |        0
988.96/989.31	c  989s |      23 |  2724674 |  2366938 |     8961    699 |        0 |        0
990.96/991.33	c  991s |      23 |  2730587 |  2372138 |     8961    700 |        0 |        0
992.96/993.38	c  993s |      23 |  2735500 |  2376538 |     8961    701 |        0 |        0
995.05/995.48	c  995s |      23 |  2738806 |  2379638 |     8961    702 |        0 |        0
997.05/997.49	c  997s |      23 |  2743501 |  2383938 |     8961    702 |        0 |        0
999.15/999.52	c  999s |      23 |  2748168 |  2388238 |     8961    703 |        0 |        0
1001.15/1001.52	c 1001s |      23 |  2753175 |  2392738 |     8961    704 |        0 |        0
1003.15/1003.55	c 1003s |      23 |  2759040 |  2397938 |     8961    706 |        0 |        0
1005.17/1005.57	c 1005s |      23 |  2764650 |  2402638 |     8961    707 |        0 |        0
1007.27/1007.62	c 1007s |      23 |  2769189 |  2406838 |     8961    708 |        0 |        0
1009.57/1009.99	c 1009s |      23 |  2774275 |  2411238 |     8961    708 |        0 |        0
1011.66/1012.02	c 1011s |      23 |  2779702 |  2415938 |     8961    710 |        0 |        0
1013.66/1014.03	c 1013s |      23 |  2785111 |  2420738 |     8961    711 |        0 |        0
1015.66/1016.03	c 1015s |      23 |  2792013 |  2426538 |     8961    712 |        0 |        0
1017.66/1018.05	c 1018s |      23 |  2796668 |  2430438 |     8961    713 |        0 |        0
1019.65/1020.07	c 1020s |      23 |  2802656 |  2435638 |     8961    714 |        0 |        0
1021.66/1022.08	c 1022s |      23 |  2808666 |  2440838 |     8961    715 |        0 |        0
1023.65/1024.10	c 1024s |      23 |  2814499 |  2446038 |     8961    716 |        0 |        0
1026.45/1026.82	c 1026s |      23 |  2820939 |  2451338 |     8961    717 |        0 |        0
1028.45/1028.83	c 1028s |      23 |  2827073 |  2456438 |     8961    718 |        0 |        0
1030.46/1030.85	c 1030s |      23 |  2832738 |  2461338 |     8961    720 |        0 |        0
1032.45/1032.90	c 1032s |      23 |  2837851 |  2465738 |     8961    721 |        0 |        0
1034.75/1035.13	c 1035s |      23 |  2842692 |  2470038 |     8961    721 |        0 |        0
1036.75/1037.15	c 1037s |      23 |  2847226 |  2473938 |     8961    722 |        0 |        0
1038.75/1039.19	c 1039s |      23 |  2851724 |  2478138 |     8961    723 |        0 |        0
1040.86/1041.21	c 1041s |      23 |  2856146 |  2482338 |     8961    724 |        0 |        0
1042.86/1043.25	c 1043s |      23 |  2860193 |  2486138 |     8961    725 |        0 |        0
1044.86/1045.26	c 1045s |      23 |  2864897 |  2490538 |     8961    726 |        0 |        0
1046.86/1047.28	c 1047s |      23 |  2869954 |  2495138 |     8961    727 |        0 |        0
1048.85/1049.29	c 1049s |      23 |  2874722 |  2499538 |     8961    728 |        0 |        0
1050.95/1051.31	c 1051s |      23 |  2880043 |  2504238 |     8961    729 |        0 |        0
1052.95/1053.39	c 1053s |      23 |  2883793 |  2507438 |     8961    730 |        0 |        0
1055.05/1055.40	c 1055s |      23 |  2889352 |  2512038 |     8961    731 |        0 |        0
1057.05/1057.44	c 1057s |      23 |  2894923 |  2517038 |     8961    732 |        0 |        0
1059.06/1059.46	c 1059s |      23 |  2900585 |  2522138 |     8961    733 |        0 |        0
1061.05/1061.47	c 1061s |      23 |  2903657 |  2524938 |     8961    734 |        0 |        0
1063.05/1063.50	c 1063s |      23 |  2908923 |  2529738 |     8961    735 |        0 |        0
1065.15/1065.52	c 1065s |      23 |  2915503 |  2535338 |     8961    736 |        0 |        0
1067.15/1067.54	c 1067s |      23 |  2920297 |  2539638 |     8961    737 |        0 |        0
1069.15/1069.56	c 1069s |      23 |  2926350 |  2545038 |     8961    738 |        0 |        0
1071.25/1071.60	c 1071s |      23 |  2932914 |  2550538 |     8961    739 |        0 |        0
1073.35/1073.74	c 1073s |      23 |  2938130 |  2554838 |     8961    740 |        0 |        0
1075.35/1075.78	c 1075s |      23 |  2944187 |  2560238 |     8961    741 |        0 |        0
1077.75/1078.16	c 1078s |      23 |  2948947 |  2564538 |     8961    742 |        0 |        0
1079.74/1080.18	c 1080s |      23 |  2953887 |  2569038 |     8961    743 |        0 |        0
1081.84/1082.20	c 1082s |      23 |  2958901 |  2573438 |     8961    744 |        0 |        0
1083.84/1084.20	c 1084s |      23 |  2964198 |  2578138 |     8961    745 |        0 |        0
1085.84/1086.21	c 1086s |      23 |  2970934 |  2583538 |     8961    747 |        0 |        0
1087.84/1088.24	c 1088s |      23 |  2974422 |  2586438 |     8961    747 |        0 |        0
1089.85/1090.29	c 1090s |      23 |  2979578 |  2591038 |     8961    748 |        0 |        0
1091.95/1092.32	c 1092s |      23 |  2984015 |  2594938 |     8961    749 |        0 |        0
1093.94/1094.33	c 1094s |      23 |  2988853 |  2599338 |     8961    750 |        0 |        0
1095.94/1096.34	c 1096s |      23 |  2992510 |  2602638 |     8961    751 |        0 |        0
1097.95/1098.37	c 1098s |      23 |  2997896 |  2607238 |     8961    752 |        0 |        0
1099.95/1100.39	c 1100s |      23 |  3003409 |  2612138 |     8961    753 |        0 |        0
1101.95/1102.39	c 1102s |      23 |  3007893 |  2615738 |     8961    754 |        0 |        0
1104.05/1104.41	c 1104s |      23 |  3013650 |  2620738 |     8961    755 |        0 |        0
1106.05/1106.43	c 1106s |      23 |  3019299 |  2625738 |     8961    756 |        0 |        0
1108.15/1108.53	c 1108s |      23 |  3024497 |  2630338 |     8961    757 |        0 |        0
1110.15/1110.57	c 1110s |      23 |  3029731 |  2634938 |     8961    758 |        0 |        0
1112.25/1112.60	c 1112s |      23 |  3035965 |  2640338 |     8961    759 |        0 |        0
1114.24/1114.63	c 1114s |      23 |  3040962 |  2644838 |     8961    760 |        0 |        0
1116.25/1116.66	c 1116s |      23 |  3047100 |  2650138 |     8961    761 |        0 |        0
1118.24/1118.67	c 1118s |      23 |  3053073 |  2654938 |     8961    762 |        0 |        0
1120.34/1120.70	c 1120s |      23 |  3060318 |  2660938 |     8961    764 |        0 |        0
1122.34/1122.74	c 1122s |      23 |  3062918 |  2663138 |     8961    764 |        0 |        0
1124.34/1124.76	c 1124s |      23 |  3068324 |  2667938 |     8961    765 |        0 |        0
1126.34/1126.78	c 1126s |      23 |  3073420 |  2672438 |     8961    766 |        0 |        0
1128.44/1128.82	c 1128s |      23 |  3079487 |  2677638 |     8961    767 |        0 |        0
1130.94/1131.33	c 1131s |      23 |  3085653 |  2683038 |     8961    768 |        0 |        0
1132.94/1133.35	c 1133s |      23 |  3091634 |  2687938 |     8961    770 |        0 |        0
1134.95/1135.35	c 1135s |      23 |  3097428 |  2692638 |     8961    771 |        0 |        0
1137.34/1137.77	c 1137s |      23 |  3103002 |  2697138 |     8961    772 |        0 |        0
1139.44/1139.80	c 1139s |      23 |  3109152 |  2702538 |     8961    773 |        0 |        0
1141.44/1141.82	c 1141s |      23 |  3115230 |  2707638 |     8961    774 |        0 |        0
1143.44/1143.84	c 1143s |      23 |  3121713 |  2712938 |     8961    775 |        0 |        0
1145.44/1145.86	c 1145s |      23 |  3128146 |  2718338 |     8961    776 |        0 |        0
1147.43/1147.88	c 1147s |      23 |  3135830 |  2724338 |     8961    778 |        0 |        0
1149.43/1149.90	c 1149s |      23 |  3141386 |  2729138 |     8961    779 |        0 |        0
1151.53/1151.93	c 1151s |      23 |  3147310 |  2734238 |     8961    780 |        0 |        0
1153.73/1154.10	c 1154s |      23 |  3154474 |  2739838 |     8961    781 |        0 |        0
1155.74/1156.11	c 1156s |      23 |  3161277 |  2745638 |     8961    782 |        0 |        0
1157.73/1158.12	c 1158s |      23 |  3167367 |  2750738 |     8961    783 |        0 |        0
1159.73/1160.17	c 1160s |      23 |  3173750 |  2756038 |     8961    785 |        0 |        0
1161.93/1162.31	c 1162s |      23 |  3178945 |  2760638 |     8961    786 |        0 |        0
1163.93/1164.32	c 1164s |      23 |  3185330 |  2765938 |     8961    787 |        0 |        0
1165.93/1166.32	c 1166s |      23 |  3191943 |  2771538 |     8961    788 |        0 |        0
1167.93/1168.34	c 1168s |      23 |  3196249 |  2775238 |     8961    789 |        0 |        0
1170.03/1170.49	c 1170s |      23 |  3203771 |  2781138 |     8961    790 |        0 |        0
1172.13/1172.51	c 1172s |      23 |  3210109 |  2786838 |     8961    791 |        0 |        0
1174.14/1174.53	c 1174s |      23 |  3216029 |  2791838 |     8961    793 |        0 |        0
1176.14/1176.54	c 1176s |      23 |  3221868 |  2796938 |     8961    794 |        0 |        0
1178.13/1178.55	c 1178s |      23 |  3227003 |  2801138 |     8961    795 |        0 |        0
1180.13/1180.57	c 1180s |      23 |  3232705 |  2806138 |     8961    796 |        0 |        0
1182.24/1182.63	c 1182s |      23 |  3236838 |  2809838 |     8961    797 |        0 |        0
1184.23/1184.65	c 1184s |      23 |  3243234 |  2815438 |     8961    798 |        0 |        0
1186.23/1186.67	c 1186s |      23 |  3249856 |  2820938 |     8961    799 |        0 |        0
1188.23/1188.67	c 1188s |      23 |  3254279 |  2824938 |     8961    800 |        0 |        0
1190.23/1190.70	c 1190s |      23 |  3260338 |  2830338 |     8961    801 |        0 |        0
1192.33/1192.70	c 1192s |      23 |  3264799 |  2834138 |     8961    802 |        0 |        0
1194.24/1194.70	c 1194s |      23 |  3272584 |  2840138 |     8961    803 |        0 |        0
1196.33/1196.72	c 1196s |      23 |  3279389 |  2845738 |     8961    804 |        0 |        0
1198.33/1198.73	c 1198s |      23 |  3286261 |  2851538 |     8961    806 |        0 |        0
1200.43/1200.86	c 1200s |      23 |  3290530 |  2855038 |     8961    807 |        0 |        0
1202.63/1203.04	c 1202s |      23 |  3295995 |  2859638 |     8961    808 |        0 |        0
1204.63/1205.04	c 1204s |      23 |  3301661 |  2864438 |     8961    809 |        0 |        0
1206.93/1207.39	c 1207s |      23 |  3307399 |  2869538 |     8961    810 |        0 |        0
1209.03/1209.40	c 1209s |      23 |  3313920 |  2874938 |     8961    811 |        0 |        0
1211.02/1211.42	c 1211s |      23 |  3319819 |  2880138 |     8961    812 |        0 |        0
1213.03/1213.49	c 1213s |      23 |  3326296 |  2885438 |     8961    813 |        0 |        0
1215.02/1215.50	c 1215s |      23 |  3333428 |  2891438 |     8961    815 |        0 |        0
1217.12/1217.50	c 1217s |      23 |  3340110 |  2896938 |     8961    816 |        0 |        0
1219.12/1219.52	c 1219s |      23 |  3345215 |  2901238 |     8961    817 |        0 |        0
1221.12/1221.54	c 1221s |      23 |  3351490 |  2906838 |     8961    818 |        0 |        0
1223.12/1223.55	c 1223s |      23 |  3356956 |  2911238 |     8961    819 |        0 |        0
1225.13/1225.56	c 1225s |      23 |  3363251 |  2916838 |     8961    820 |        0 |        0
1227.12/1227.58	c 1227s |      23 |  3370102 |  2922638 |     8961    821 |        0 |        0
1229.22/1229.62	c 1229s |      23 |  3377009 |  2928638 |     8961    823 |        0 |        0
1231.22/1231.63	c 1231s |      23 |  3380374 |  2931638 |     8961    823 |        0 |        0
1233.22/1233.69	c 1233s |      23 |  3385912 |  2936438 |     8961    825 |        0 |        0
1235.32/1235.70	c 1235s |      23 |  3393078 |  2942138 |     8961    826 |        0 |        0
1237.42/1237.81	c 1237s |      23 |  3399563 |  2947238 |     8961    827 |        0 |        0
1239.42/1239.82	c 1239s |      23 |  3406711 |  2953238 |     8961    828 |        0 |        0
1241.42/1241.85	c 1241s |      23 |  3412716 |  2958438 |     8961    829 |        0 |        0
1243.42/1243.85	c 1243s |      23 |  3419128 |  2963938 |     8961    831 |        0 |        0
1245.42/1245.87	c 1245s |      23 |  3426527 |  2970238 |     8961    832 |        0 |        0
1247.82/1248.23	c 1248s |      23 |  3431348 |  2974338 |     8961    833 |        0 |        0
1249.82/1250.26	c 1250s |      23 |  3436658 |  2978638 |     8961    834 |        0 |        0
1251.92/1252.31	c 1252s |      23 |  3441737 |  2983038 |     8961    835 |        0 |        0
1253.92/1254.34	c 1254s |      23 |  3446772 |  2987538 |     8961    836 |        0 |        0
1255.93/1256.38	c 1256s |      23 |  3452085 |  2992038 |     8961    837 |        0 |        0
1257.92/1258.40	c 1258s |      23 |  3457044 |  2996538 |     8961    838 |        0 |        0
1260.02/1260.41	c 1260s |      23 |  3461802 |  3000838 |     8961    839 |        0 |        0
1262.22/1262.60	c 1262s |      23 |  3468133 |  3006138 |     8961    840 |        0 |        0
1264.22/1264.60	c 1264s |      23 |  3472724 |  3010238 |     8961    841 |        0 |        0
1266.22/1266.62	c 1266s |      23 |  3477959 |  3014938 |     8961    842 |        0 |        0
1268.22/1268.65	c 1268s |      23 |  3483721 |  3019938 |     8961    843 |        0 |        0
1270.22/1270.69	c 1270s |      23 |  3489212 |  3024538 |     8961    844 |        0 |        0
1272.22/1272.69	c 1272s |      23 |  3495336 |  3029738 |     8961    845 |        0 |        0
1274.32/1274.72	c 1274s |      23 |  3502046 |  3035138 |     8961    846 |        0 |        0
1276.32/1276.73	c 1276s |      23 |  3508614 |  3040538 |     8961    848 |        0 |        0
1278.31/1278.75	c 1278s |      23 |  3516400 |  3046938 |     8961    849 |        0 |        0
1280.31/1280.78	c 1280s |      23 |  3521131 |  3050438 |     8961    850 |        0 |        0
1282.41/1282.85	c 1282s |      23 |  3526266 |  3054838 |     8961    851 |        0 |        0
1284.42/1284.88	c 1284s |      23 |  3531733 |  3059438 |     8961    852 |        0 |        0
1286.41/1286.88	c 1286s |      23 |  3538377 |  3064938 |     8961    853 |        0 |        0
1288.42/1288.90	c 1288s |      23 |  3542533 |  3068338 |     8961    854 |        0 |        0
1290.52/1290.91	c 1290s |      23 |  3548455 |  3073438 |     8961    855 |        0 |        0
1292.52/1292.93	c 1292s |      23 |  3554239 |  3078238 |     8961    856 |        0 |        0
1294.52/1294.95	c 1294s |      23 |  3560967 |  3084038 |     8961    857 |        0 |        0
1296.52/1296.98	c 1296s |      23 |  3564759 |  3087338 |     8961    858 |        0 |        0
1298.91/1299.34	c 1299s |      23 |  3569914 |  3091938 |     8961    859 |        0 |        0
1300.92/1301.35	c 1301s |      23 |  3574325 |  3095938 |     8961    860 |        0 |        0
1302.91/1303.37	c 1303s |      23 |  3579318 |  3100538 |     8961    861 |        0 |        0
1304.91/1305.38	c 1305s |      23 |  3585184 |  3105538 |     8961    862 |        0 |        0
1306.91/1307.39	c 1307s |      23 |  3590560 |  3110338 |     8961    863 |        0 |        0
1309.01/1309.41	c 1309s |      23 |  3596892 |  3115738 |     8961    864 |        0 |        0
1311.21/1311.67	c 1311s |      23 |  3601712 |  3119738 |     8961    865 |        0 |        0
1313.21/1313.69	c 1313s |      23 |  3606714 |  3124138 |     8961    866 |        0 |        0
1315.32/1315.73	c 1315s |      23 |  3611171 |  3127838 |     8961    867 |        0 |        0
1317.31/1317.74	c 1317s |      23 |  3616432 |  3132438 |     8961    868 |        0 |        0
1319.61/1320.03	c 1319s |      23 |  3620594 |  3136038 |     8961    869 |        0 |        0
1321.61/1322.05	c 1322s |      23 |  3624899 |  3139938 |     8961    869 |        0 |        0
1323.61/1324.06	c 1324s |      23 |  3629629 |  3144138 |     8961    870 |        0 |        0
1325.61/1326.08	c 1326s |      23 |  3635219 |  3148938 |     8961    871 |        0 |        0
1327.61/1328.08	c 1328s |      23 |  3638623 |  3152138 |     8961    872 |        0 |        0
1329.61/1330.09	c 1330s |      23 |  3643351 |  3156438 |     8961    873 |        0 |        0
1331.61/1332.10	c 1332s |      23 |  3648618 |  3161038 |     8961    874 |        0 |        0
1333.71/1334.14	c 1334s |      23 |  3652545 |  3164238 |     8961    875 |        0 |        0
1335.71/1336.14	c 1336s |      23 |  3657691 |  3168738 |     8961    876 |        0 |        0
1337.70/1338.16	c 1338s |      23 |  3662204 |  3172838 |     8961    877 |        0 |        0
1339.70/1340.19	c 1340s |      23 |  3667231 |  3177238 |     8961    878 |        0 |        0
1341.80/1342.22	c 1342s |      23 |  3671716 |  3181238 |     8961    879 |        0 |        0
1343.81/1344.27	c 1344s |      23 |  3676825 |  3185838 |     8961    880 |        0 |        0
1345.90/1346.32	c 1346s |      23 |  3682706 |  3190938 |     8961    881 |        0 |        0
1347.90/1348.32	c 1348s |      23 |  3688033 |  3195538 |     8961    882 |        0 |        0
1349.90/1350.33	c 1350s |      23 |  3694564 |  3201038 |     8961    883 |        0 |        0
1351.90/1352.35	c 1352s |      23 |  3695608 |  3201838 |     8961    883 |        0 |        0
1353.90/1354.39	c 1354s |      23 |  3700276 |  3206038 |     8961    884 |        0 |        0
1356.01/1356.41	c 1356s |      23 |  3704946 |  3210138 |     8961    885 |        0 |        0
1358.00/1358.43	c 1358s |      23 |  3708610 |  3213538 |     8961    886 |        0 |        0
1360.10/1360.56	c 1360s |      23 |  3713737 |  3218138 |     8961    887 |        0 |        0
1362.10/1362.59	c 1362s |      23 |  3718650 |  3222238 |     8961    888 |        0 |        0
1364.20/1364.65	c 1364s |      23 |  3724042 |  3226938 |     8961    889 |        0 |        0
1366.20/1366.67	c 1366s |      23 |  3729204 |  3231538 |     8961    890 |        0 |        0
1368.20/1368.68	c 1368s |      23 |  3735114 |  3236538 |     8961    891 |        0 |        0
1370.20/1370.70	c 1370s |      23 |  3740923 |  3241338 |     8961    892 |        0 |        0
1372.30/1372.77	c 1372s |      23 |  3744434 |  3244538 |     8961    893 |        0 |        0
1374.30/1374.78	c 1374s |      23 |  3748761 |  3248538 |     8961    893 |        0 |        0
1376.40/1376.81	c 1376s |      23 |  3753263 |  3252538 |     8961    894 |        0 |        0
1378.40/1378.81	c 1378s |      23 |  3757893 |  3256838 |     8961    895 |        0 |        0
1380.40/1380.85	c 1380s |      23 |  3762929 |  3261438 |     8961    896 |        0 |        0
1382.41/1382.90	c 1382s |      23 |  3768519 |  3266338 |     8961    897 |        0 |        0
1384.50/1384.91	c 1384s |      23 |  3774399 |  3271438 |     8961    898 |        0 |        0
1386.50/1386.93	c 1386s |      23 |  3781637 |  3277138 |     8961    900 |        0 |        0
1388.50/1388.94	c 1388s |      23 |  3783095 |  3278438 |     8961    900 |        0 |        0
1390.50/1390.95	c 1390s |      23 |  3788287 |  3282938 |     8961    901 |        0 |        0
1392.50/1392.96	c 1392s |      23 |  3793766 |  3287738 |     8961    902 |        0 |        0
1394.50/1394.97	c 1394s |      23 |  3799684 |  3292738 |     8961    903 |        0 |        0
1396.49/1396.98	c 1396s |      23 |  3805275 |  3297638 |     8961    904 |        0 |        0
1398.90/1399.31	c 1399s |      23 |  3811571 |  3302938 |     8961    905 |        0 |        0
1400.89/1401.33	c 1401s |      23 |  3816014 |  3306638 |     8961    906 |        0 |        0
1402.89/1403.34	c 1403s |      23 |  3821140 |  3311038 |     8961    907 |        0 |        0
1404.90/1405.37	c 1405s |      23 |  3826468 |  3315638 |     8961    908 |        0 |        0
1406.90/1407.38	c 1407s |      23 |  3834066 |  3321438 |     8961    909 |        0 |        0
1409.00/1409.40	c 1409s |      23 |  3838767 |  3325438 |     8961    910 |        0 |        0
1411.00/1411.43	c 1411s |      23 |  3845419 |  3330938 |     8961    912 |        0 |        0
1413.00/1413.44	c 1413s |      23 |  3851535 |  3336038 |     8961    913 |        0 |        0
1414.99/1415.46	c 1415s |      23 |  3856994 |  3340738 |     8961    914 |        0 |        0
1416.99/1417.49	c 1417s |      23 |  3861851 |  3344938 |     8961    915 |        0 |        0
1419.09/1419.51	c 1419s |      23 |  3868002 |  3349938 |     8961    916 |        0 |        0
1421.09/1421.51	c 1421s |      23 |  3873144 |  3354438 |     9858    917 |        0 |        0
1423.10/1423.54	c 1423s |      23 |  3880327 |  3360038 |     9858    918 |        0 |        0
1425.09/1425.56	c 1425s |      23 |  3886826 |  3365638 |     9858    919 |        0 |        0
1427.09/1427.57	c 1427s |      23 |  3893829 |  3371438 |     9858    920 |        0 |        0
1429.20/1429.61	c 1429s |      23 |  3894214 |  3371738 |     9858    920 |        0 |        0
1431.19/1431.64	c 1431s |      23 |  3898864 |  3375638 |     9858    921 |        0 |        0
1431.69/1432.13	c 1432s |      24 |  3899966 |  3376662 |     9858    921 |        0 |        0
1433.69/1434.17	c 1434s |      24 |  3903800 |  3380062 |     9858    922 |        0 |        0
1435.69/1436.17	c 1436s |      24 |  3907637 |  3383562 |     9858    922 |        0 |        0
1437.69/1438.19	c 1438s |      24 |  3911338 |  3387162 |     9858    923 |        0 |        0
1439.79/1440.21	c 1440s |      24 |  3915609 |  3391062 |     9858    924 |        0 |        0
1441.80/1442.25	c 1442s |      24 |  3919892 |  3394762 |     9858    925 |        0 |        0
1443.79/1444.26	c 1444s |      24 |  3924093 |  3398562 |     9858    925 |        0 |        0
1445.79/1446.28	c 1446s |      24 |  3928556 |  3402562 |     9858    926 |        0 |        0
1447.89/1448.30	c 1448s |      24 |  3933452 |  3406962 |     9858    927 |        0 |        0
1449.89/1450.34	c 1450s |      24 |  3938045 |  3410862 |     9858    928 |        0 |        0
1451.89/1452.38	c 1452s |      24 |  3943153 |  3415262 |     9858    929 |        0 |        0
1453.99/1454.40	c 1454s |      24 |  3949013 |  3420362 |     9858    930 |        0 |        0
1455.88/1456.40	c 1456s |      24 |  3954365 |  3424862 |     9858    931 |        0 |        0
1457.98/1458.42	c 1458s |      24 |  3957792 |  3427662 |     9858    931 |        0 |        0
1460.40/1460.86	c 1460s |      24 |  3960870 |  3430362 |     9858    932 |        0 |        0
1462.49/1462.90	c 1462s |      24 |  3965017 |  3434162 |     9858    933 |        0 |        0
1464.49/1464.93	c 1464s |      24 |  3969297 |  3438162 |     9858    933 |        0 |        0
1467.00/1467.42	c 1467s |      24 |  3974320 |  3442662 |     9858    934 |        0 |        0
1468.99/1469.45	c 1469s |      24 |  3978234 |  3446262 |     9858    935 |        0 |        0
1470.99/1471.48	c 1471s |      24 |  3982453 |  3450162 |     9858    936 |        0 |        0
1472.99/1473.49	c 1473s |      24 |  3987038 |  3454462 |     9858    937 |        0 |        0
1475.09/1475.50	c 1475s |      24 |  3991203 |  3458362 |     9858    937 |        0 |        0
1477.09/1477.52	c 1477s |      24 |  3995831 |  3462562 |     9858    938 |        0 |        0
1479.09/1479.56	c 1479s |      24 |  4001022 |  3467262 |     9858    939 |        0 |        0
1481.09/1481.58	c 1481s |      24 |  4005041 |  3471062 |     9858    940 |        0 |        0
1483.19/1483.61	c 1483s |      24 |  4010741 |  3475962 |     9858    941 |        0 |        0
1485.19/1485.61	c 1485s |      24 |  4014918 |  3479862 |     9858    942 |        0 |        0
1487.29/1487.71	c 1487s |      24 |  4018542 |  3483162 |     9858    942 |        0 |        0
1489.29/1489.72	c 1489s |      24 |  4021839 |  3486262 |     9858    943 |        0 |        0
1491.29/1491.75	c 1491s |      24 |  4025981 |  3490162 |     9858    944 |        0 |        0
1493.29/1493.77	c 1493s |      24 |  4030770 |  3494462 |     9858    945 |        0 |        0
1495.38/1495.80	c 1495s |      24 |  4035326 |  3498562 |     9858    945 |        0 |        0
1497.38/1497.82	c 1497s |      24 |  4039409 |  3502362 |     9858    946 |        0 |        0
1499.38/1499.85	c 1499s |      24 |  4043836 |  3506262 |     9858    947 |        0 |        0
1501.38/1501.88	c 1501s |      24 |  4048477 |  3510562 |     9858    948 |        0 |        0
1503.39/1503.90	c 1503s |      24 |  4052916 |  3514762 |     9858    949 |        0 |        0
1505.38/1505.90	c 1505s |      24 |  4057742 |  3519262 |     9858    950 |        0 |        0
1508.38/1508.86	c 1508s |      24 |  4062236 |  3523462 |     9858    950 |        0 |        0
1510.38/1510.89	c 1510s |      24 |  4067170 |  3527862 |     9858    951 |        0 |        0
1512.48/1512.91	c 1512s |      24 |  4071436 |  3531762 |     9858    952 |        0 |        0
1514.47/1514.93	c 1514s |      24 |  4075826 |  3535962 |     9858    953 |        0 |        0
1516.49/1516.94	c 1516s |      24 |  4079616 |  3539262 |     9858    954 |        0 |        0
1518.48/1518.99	c 1518s |      24 |  4083621 |  3542862 |     9858    954 |        0 |        0
1520.58/1521.02	c 1520s |      24 |  4088322 |  3547162 |     9858    955 |        0 |        0
1522.58/1523.07	c 1523s |      24 |  4093717 |  3551962 |     9858    956 |        0 |        0
1524.68/1525.11	c 1525s |      24 |  4098445 |  3556262 |     9858    957 |        0 |        0
1526.68/1527.12	c 1527s |      24 |  4103951 |  3561062 |     9858    958 |        0 |        0
1528.98/1529.40	c 1529s |      24 |  4106752 |  3563562 |     9858    959 |        0 |        0
1530.98/1531.43	c 1531s |      24 |  4111623 |  3568062 |     9858    959 |        0 |        0
1532.98/1533.48	c 1533s |      24 |  4116546 |  3572362 |     9858    960 |        0 |        0
1534.98/1535.49	c 1535s |      24 |  4121470 |  3576762 |     9858    961 |        0 |        0
1537.08/1537.53	c 1537s |      24 |  4126965 |  3581562 |     9858    962 |        0 |        0
1539.08/1539.56	c 1539s |      24 |  4132763 |  3586562 |     9858    963 |        0 |        0
1541.17/1541.61	c 1541s |      24 |  4135121 |  3588662 |     9858    964 |        0 |        0
1543.17/1543.61	c 1543s |      24 |  4140017 |  3593062 |     9858    964 |        0 |        0
1545.18/1545.65	c 1545s |      24 |  4144845 |  3597562 |     9858    965 |        0 |        0
1547.17/1547.67	c 1547s |      24 |  4150564 |  3602462 |     9858    966 |        0 |        0
1549.27/1549.70	c 1549s |      24 |  4155740 |  3606462 |     9858    967 |        0 |        0
1551.27/1551.74	c 1551s |      24 |  4161237 |  3611262 |     9858    968 |        0 |        0
1553.27/1553.74	c 1553s |      24 |  4166526 |  3615962 |     9858    969 |        0 |        0
1555.27/1555.75	c 1555s |      24 |  4171440 |  3620462 |     9858    970 |        0 |        0
1557.28/1557.77	c 1557s |      24 |  4176781 |  3625062 |     9858    971 |        0 |        0
1559.28/1559.77	c 1559s |      24 |  4182454 |  3629962 |     9858    972 |        0 |        0
1561.28/1561.79	c 1561s |      24 |  4188421 |  3635062 |     9858    973 |        0 |        0
1563.28/1563.79	c 1563s |      24 |  4194679 |  3640262 |     9858    974 |        0 |        0
1565.37/1565.81	c 1565s |      24 |  4196269 |  3641662 |     9858    974 |        0 |        0
1567.37/1567.82	c 1567s |      24 |  4200566 |  3645662 |     9858    975 |        0 |        0
1569.38/1569.83	c 1569s |      24 |  4204854 |  3649562 |     9858    976 |        0 |        0
1571.37/1571.86	c 1571s |      24 |  4208726 |  3653162 |     9858    977 |        0 |        0
1573.37/1573.89	c 1573s |      24 |  4212984 |  3657162 |     9858    977 |        0 |        0
1575.47/1575.95	c 1575s |      24 |  4217307 |  3661162 |     9858    978 |        0 |        0
1577.47/1577.96	c 1577s |      24 |  4221766 |  3665262 |     9858    979 |        0 |        0
1579.47/1579.98	c 1579s |      24 |  4226394 |  3669562 |     9858    980 |        0 |        0
1581.57/1582.02	c 1581s |      24 |  4230856 |  3673562 |     9858    981 |        0 |        0
1583.57/1584.02	c 1583s |      24 |  4236046 |  3678262 |     9858    982 |        0 |        0
1586.06/1586.55	c 1586s |      24 |  4240400 |  3681862 |     9858    982 |        0 |        0
1588.08/1588.57	c 1588s |      24 |  4244956 |  3686062 |     9858    983 |        0 |        0
1590.18/1590.62	c 1590s |      24 |  4249364 |  3690062 |     9858    984 |        0 |        0
1592.17/1592.62	c 1592s |      24 |  4253597 |  3693962 |     9858    985 |        0 |        0
1594.17/1594.69	c 1594s |      24 |  4257938 |  3697962 |     9858    986 |        0 |        0
1596.27/1596.75	c 1596s |      24 |  4262561 |  3702262 |     9858    986 |        0 |        0
1598.27/1598.79	c 1598s |      24 |  4266480 |  3705962 |     9858    987 |        0 |        0
1600.37/1600.82	c 1600s |      24 |  4271331 |  3710262 |     9858    988 |        0 |        0
1602.38/1602.85	c 1602s |      24 |  4276567 |  3714862 |     9858    989 |        0 |        0
1604.47/1605.00	c 1604s |      24 |  4280644 |  3718362 |     9858    990 |        0 |        0
1606.57/1607.02	c 1606s |      24 |  4285665 |  3722762 |     9858    990 |        0 |        0
1608.57/1609.06	c 1609s |      24 |  4290562 |  3727162 |     9858    991 |        0 |        0
1610.57/1611.06	c 1611s |      24 |  4295326 |  3731462 |     9858    992 |        0 |        0
1612.66/1613.11	c 1613s |      24 |  4300987 |  3736462 |     9858    993 |        0 |        0
1614.66/1615.12	c 1615s |      24 |  4306289 |  3741162 |     9858    994 |        0 |        0
1616.67/1617.14	c 1617s |      24 |  4309592 |  3744162 |     9858    995 |        0 |        0
1618.66/1619.16	c 1619s |      24 |  4314964 |  3748862 |     9858    996 |        0 |        0
1620.66/1621.19	c 1621s |      24 |  4319695 |  3753062 |     9858    997 |        0 |        0
1622.66/1623.19	c 1623s |      24 |  4324789 |  3757762 |     9858    998 |        0 |        0
1624.76/1625.21	c 1625s |      24 |  4328699 |  3761262 |     9858    998 |        0 |        0
1626.76/1627.25	c 1627s |      24 |  4334030 |  3766062 |     9858    999 |        0 |        0
1628.77/1629.28	c 1629s |      24 |  4340385 |  3771262 |     9858   1000 |        0 |        0
1630.87/1631.31	c 1631s |      24 |  4344430 |  3774862 |     9858   1001 |        0 |        0
1632.86/1633.33	c 1633s |      24 |  4349412 |  3779362 |     9858   1002 |        0 |        0
1634.86/1635.35	c 1635s |      24 |  4355398 |  3784662 |     9858   1003 |        0 |        0
1636.86/1637.38	c 1637s |      24 |  4359663 |  3788462 |     9858   1004 |        0 |        0
1638.96/1639.40	c 1639s |      24 |  4365066 |  3793262 |     9858   1005 |        0 |        0
1642.06/1642.52	c 1642s |      24 |  4371504 |  3798562 |     9858   1006 |        0 |        0
1644.06/1644.52	c 1644s |      24 |  4376374 |  3802862 |     9858   1007 |        0 |        0
1646.05/1646.59	c 1646s |      24 |  4381888 |  3807562 |     9858   1008 |        0 |        0
1648.05/1648.59	c 1648s |      24 |  4388423 |  3812862 |     9858   1009 |        0 |        0
1650.85/1651.36	c 1651s |      24 |  4396184 |  3818862 |     9858   1010 |        0 |        0
1652.87/1653.37	c 1653s |      24 |  4399073 |  3821262 |     9858   1010 |        0 |        0
1654.96/1655.41	c 1655s |      24 |  4403717 |  3825362 |     9858   1011 |        0 |        0
1656.96/1657.46	c 1657s |      24 |  4408355 |  3829562 |     9858   1012 |        0 |        0
1658.96/1659.48	c 1659s |      24 |  4412530 |  3833362 |     9858   1013 |        0 |        0
1661.06/1661.54	c 1661s |      24 |  4416869 |  3837362 |     9858   1014 |        0 |        0
1663.06/1663.56	c 1663s |      24 |  4422504 |  3841962 |     9858   1014 |        0 |        0
1665.16/1665.60	c 1665s |      24 |  4428157 |  3846962 |     9858   1015 |        0 |        0
1668.06/1668.55	c 1668s |      24 |  4433780 |  3851762 |     9858   1016 |        0 |        0
1670.06/1670.58	c 1670s |      24 |  4438514 |  3856162 |     9858   1017 |        0 |        0
1672.16/1672.61	c 1672s |      24 |  4443289 |  3860462 |     9858   1018 |        0 |        0
1674.16/1674.62	c 1674s |      24 |  4448796 |  3865362 |     9858   1019 |        0 |        0
1676.16/1676.63	c 1676s |      24 |  4454284 |  3870262 |     9858   1020 |        0 |        0
1678.26/1678.73	c 1678s |      24 |  4459209 |  3874562 |     9858   1021 |        0 |        0
1680.26/1680.74	c 1680s |      24 |  4462295 |  3877362 |     9858   1022 |        0 |        0
1682.26/1682.75	c 1682s |      24 |  4467431 |  3881962 |     9858   1022 |        0 |        0
1684.25/1684.77	c 1684s |      24 |  4472810 |  3886762 |     9858   1023 |        0 |        0
1686.25/1686.80	c 1686s |      24 |  4478538 |  3891762 |     9858   1024 |        0 |        0
1688.35/1688.83	c 1688s |      24 |  4480949 |  3893762 |     9858   1025 |        0 |        0
1690.36/1690.84	c 1690s |      24 |  4485848 |  3898162 |     9858   1026 |        0 |        0
1692.35/1692.86	c 1692s |      24 |  4491834 |  3903362 |     9858   1027 |        0 |        0
1694.46/1694.92	c 1694s |      24 |  4496529 |  3907462 |     9858   1028 |        0 |        0
1696.46/1696.93	c 1696s |      24 |  4502738 |  3912662 |     9858   1029 |        0 |        0
1698.46/1698.95	c 1698s |      24 |  4508443 |  3917562 |     9858   1030 |        0 |        0
1700.46/1700.96	c 1700s |      24 |  4514504 |  3922662 |     9858   1031 |        0 |        0
1702.46/1702.98	c 1702s |      24 |  4520781 |  3928162 |     9858   1032 |        0 |        0
1704.45/1704.98	c 1704s |      24 |  4522210 |  3929362 |     9858   1032 |        0 |        0
1706.45/1706.98	c 1706s |      24 |  4527244 |  3933862 |     9858   1033 |        0 |        0
1708.55/1709.02	c 1708s |      24 |  4532543 |  3938562 |     9858   1034 |        0 |        0
1710.55/1711.03	c 1710s |      24 |  4538606 |  3943662 |     9858   1035 |        0 |        0
1712.55/1713.07	c 1713s |      24 |  4542271 |  3946962 |     9858   1036 |        0 |        0
1714.65/1715.10	c 1715s |      24 |  4547422 |  3951462 |     9858   1036 |        0 |        0
1716.66/1717.10	c 1717s |      24 |  4552961 |  3955962 |     9858   1037 |        0 |        0
1718.65/1719.13	c 1719s |      24 |  4558591 |  3960762 |     9858   1038 |        0 |        0
1720.65/1721.15	c 1721s |      24 |  4562942 |  3964562 |     9858   1039 |        0 |        0
1722.65/1723.17	c 1723s |      24 |  4568368 |  3969462 |     9858   1040 |        0 |        0
1724.74/1725.20	c 1725s |      24 |  4573780 |  3973962 |     9858   1041 |        0 |        0
1726.74/1727.21	c 1727s |      24 |  4580429 |  3979362 |     9858   1042 |        0 |        0
1728.75/1729.23	c 1729s |      24 |  4586743 |  3984762 |     9858   1043 |        0 |        0
1730.74/1731.23	c 1731s |      24 |  4593741 |  3990662 |     9858   1044 |        0 |        0
1733.04/1733.59	c 1733s |      24 |  4595682 |  3992162 |     9858   1045 |        0 |        0
1735.14/1735.62	c 1735s |      24 |  4600928 |  3996762 |     9858   1046 |        0 |        0
1737.25/1737.74	c 1737s |      24 |  4606558 |  4001762 |     9858   1047 |        0 |        0
1739.25/1739.78	c 1739s |      24 |  4611433 |  4005862 |     9858   1047 |        0 |        0
1741.25/1741.79	c 1741s |      24 |  4615743 |  4009462 |     9858   1048 |        0 |        0
1743.35/1743.83	c 1743s |      24 |  4620609 |  4013762 |     9858   1049 |        0 |        0
1745.35/1745.86	c 1745s |      24 |  4626192 |  4018562 |     9858   1050 |        0 |        0
1747.45/1747.91	c 1747s |      24 |  4631032 |  4022862 |     9858   1051 |        0 |        0
1749.45/1749.94	c 1749s |      24 |  4636454 |  4027562 |     9858   1052 |        0 |        0
1751.74/1752.20	c 1752s |      24 |  4641785 |  4031862 |     9858   1053 |        0 |        0
1753.74/1754.23	c 1754s |      24 |  4646935 |  4036562 |     9858   1054 |        0 |        0
1755.84/1756.31	c 1756s |      24 |  4652514 |  4041562 |     9858   1055 |        0 |        0
1757.84/1758.31	c 1758s |      24 |  4658195 |  4046562 |     9858   1056 |        0 |        0
1759.84/1760.34	c 1760s |      24 |  4662490 |  4050362 |     9858   1056 |        0 |        0
1761.85/1762.38	c 1762s |      24 |  4668665 |  4055662 |     9858   1057 |        0 |        0
1763.95/1764.42	c 1764s |      24 |  4674035 |  4060462 |     9858   1058 |        0 |        0
1765.94/1766.42	c 1766s |      24 |  4681836 |  4066562 |     9858   1060 |        0 |        0
1767.94/1768.44	c 1768s |      24 |  4683682 |  4068062 |     9858   1060 |        0 |        0
1769.94/1770.46	c 1770s |      24 |  4689361 |  4073062 |     9858   1061 |        0 |        0
1771.94/1772.47	c 1772s |      24 |  4694485 |  4077562 |     9858   1062 |        0 |        0
1774.34/1774.84	c 1774s |      24 |  4699922 |  4082062 |     9858   1063 |        0 |        0
1776.34/1776.88	c 1776s |      24 |  4704843 |  4086562 |     9858   1064 |        0 |        0
1778.43/1778.91	c 1778s |      24 |  4710195 |  4091362 |     9858   1065 |        0 |        0
1780.44/1780.94	c 1780s |      24 |  4715077 |  4095762 |     9858   1065 |        0 |        0
1782.43/1782.97	c 1782s |      24 |  4721295 |  4100862 |     9858   1066 |        0 |        0
1784.44/1784.97	c 1784s |      24 |  4728656 |  4106762 |     9858   1068 |        0 |        0
1786.64/1787.13	c 1787s |      24 |  4732530 |  4109962 |     9858   1068 |        0 |        0
1788.64/1789.16	c 1789s |      24 |  4738380 |  4114962 |     9858   1069 |        0 |        0
1790.74/1791.20	c 1791s |      24 |  4744249 |  4120162 |     9858   1070 |        0 |        0
1792.74/1793.22	c 1793s |      24 |  4749297 |  4124662 |     9858   1071 |        0 |        0
1794.75/1795.24	c 1795s |      24 |  4755006 |  4129762 |     9858   1072 |        0 |        0
1797.14/1797.69	c 1797s |      24 |  4761599 |  4135362 |     9858   1073 |        0 |        0
1799.25/1799.71	c 1799s |      24 |  4767115 |  4140262 |     9858   1074 |        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-4078951-1465264887/watcher-4078951-1465264887 -o /tmp/evaluation-result-4078951-1465264887/solver-4078951-1465264887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078951-1465264887.opb 

pid=10259
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.10 2.22 2.20 4/181 10262
/proc/meminfo: memFree=29239108/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 2977 0 0 0 0 0 0 0 20 0 4 0 108422015 813101056 2826 33554432000 4194304 16246674 140733483685536 140733483684472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 199023 2836 441 2943 0 195917 0
[pid=10262/tid=10263] ppid=10259 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 831975424 2898 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 836169728 2915 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108422015 840364032 2930 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.10 2.22 2.20 4/181 10262
/proc/meminfo: memFree=29239108/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 27708 0 0 0 5 3 0 0 20 0 4 0 108422015 1247350784 27546 33554432000 4194304 16246674 140733483685536 140733483684472 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 304529 27550 719 2943 0 301423 0
[pid=10262/tid=10263] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 27553 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 27557 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 27560 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 2.10 2.22 2.20 4/181 10262
/proc/meminfo: memFree=29239108/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 52728 0 0 0 12 7 0 0 20 0 4 0 108422015 1247350784 52566 33554432000 4194304 16246674 140733483685536 140733483684472 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 304529 52580 719 2943 0 301423 0
[pid=10262/tid=10263] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 52590 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 52599 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 52608 33554432000 4194304 16246674 140733483685536 140458616409264 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.300414 s]
/proc/loadavg: 2.10 2.22 2.20 4/181 10262
/proc/meminfo: memFree=29239108/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 77455 0 0 0 19 10 0 0 20 0 4 0 108422015 1247350784 77294 33554432000 4194304 16246674 140733483685536 140733483684472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 304529 77300 719 2943 0 301423 0
[pid=10262/tid=10263] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 77304 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 77310 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 77315 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70037 s]
/proc/loadavg: 2.10 2.22 2.20 4/181 10262
/proc/meminfo: memFree=29239108/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 169661 0 0 0 46 23 0 0 20 0 4 0 108422015 1247350784 169499 33554432000 4194304 16246674 140733483685536 140733483667456 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 304529 169513 719 2943 0 301423 0
[pid=10262/tid=10263] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 169518 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 169520 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108422015 1247350784 169521 33554432000 4194304 16246674 140733483685536 140458616409264 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.50037 s]
/proc/loadavg: 2.10 2.22 2.20 4/185 10315
/proc/meminfo: memFree=28737768/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 246222 0 0 0 116 33 0 0 20 0 4 0 108422015 1250496512 246040 33554432000 4194304 16246674 140733483685536 140733483684848 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 305297 246040 797 2943 0 302191 0
[pid=10262/tid=10263] ppid=10259 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1250496512 246040 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1250496512 246040 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1250496512 246040 33554432000 4194304 16246674 140733483685536 140458616409264 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) 1221188

[startup+3.10037 s]
/proc/loadavg: 2.17 2.23 2.20 4/185 10315
/proc/meminfo: memFree=28235816/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 267836 0 0 0 273 36 0 0 20 0 4 0 108422015 1339625472 267654 33554432000 4194304 16246674 140733483685536 140733483668536 6021694 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 327057 267654 797 2943 0 323951 0
[pid=10262/tid=10263] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267654 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267654 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267654 33554432000 4194304 16246674 140733483685536 140458616409264 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) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.17 2.23 2.20 3/185 10315
/proc/meminfo: memFree=28140584/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 268094 0 0 0 593 36 0 0 20 0 4 0 108422015 1339625472 267912 33554432000 4194304 16246674 140733483685536 140733483667456 5553629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 327057 267912 797 2943 0 323951 0
[pid=10262/tid=10263] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267912 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267912 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1339625472 267912 33554432000 4194304 16246674 140733483685536 140458616409264 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.15 2.22 2.20 4/185 10315
/proc/meminfo: memFree=28125940/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 269887 0 0 0 1233 36 0 0 20 0 4 0 108422015 1346965504 269705 33554432000 4194304 16246674 140733483685536 140733483668536 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 328849 269705 798 2943 0 325743 0
[pid=10262/tid=10263] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269705 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269705 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269705 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.20 2.23 2.20 3/185 10315
/proc/meminfo: memFree=28126812/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 269889 0 0 0 2512 36 0 0 20 0 4 0 108422015 1346965504 269707 33554432000 4194304 16246674 140733483685536 140733483667456 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 328849 269707 800 2943 0 325743 0
[pid=10262/tid=10263] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269707 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269707 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1346965504 269707 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.27 2.24 2.20 4/184 10315
/proc/meminfo: memFree=28123608/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 270664 0 0 0 5071 37 0 0 20 0 4 0 108422015 1350111232 270475 33554432000 4194304 16246674 140733483685536 140733483667456 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 329617 270475 800 2943 0 326511 0
[pid=10262/tid=10263] ppid=10259 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1350111232 270475 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1350111232 270475 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1350111232 270475 33554432000 4194304 16246674 140733483685536 140458616409264 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) 1318468

[startup+102.301 s]
/proc/loadavg: 2.25 2.23 2.20 3/184 10316
/proc/meminfo: memFree=28117832/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1319492 CPUtime=102.26 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 270950 0 0 0 10188 38 0 0 20 0 4 0 108422015 1351159808 270731 33554432000 4194304 16246674 140733483685536 140733483667456 6012894 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 329873 270731 800 2943 0 326767 0
[pid=10262/tid=10263] ppid=10259 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1351159808 270731 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1351159808 270731 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1351159808 270731 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1319492


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

/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1366888448 274572 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.21 4/184 10347
/proc/meminfo: memFree=28076312/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1334852 CPUtime=1361.9 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 275122 0 0 0 136129 61 0 0 20 0 4 0 108422015 1366888448 274572 33554432000 4194304 16246674 140733483685536 140733483667456 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 333713 274572 801 2943 0 330607 0
[pid=10262/tid=10263] ppid=10259 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1366888448 274572 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1366888448 274572 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1366888448 274572 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/184 10348
/proc/meminfo: memFree=28073976/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1336900 CPUtime=1421.9 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 275634 0 0 0 142127 63 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140733483667456 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 334225 275084 801 2943 0 331119 0
[pid=10262/tid=10263] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/184 10349
/proc/meminfo: memFree=28074604/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1336900 CPUtime=1481.89 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 275634 0 0 0 148124 65 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140733483667456 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 334225 275084 801 2943 0 331119 0
[pid=10262/tid=10263] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.35 2.28 2.21 4/184 10351
/proc/meminfo: memFree=28074484/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1336900 CPUtime=1541.88 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 275634 0 0 0 154122 66 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140733483667456 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 334225 275084 801 2943 0 331119 0
[pid=10262/tid=10263] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1368985600 275084 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.39 2.30 2.21 3/184 10352
/proc/meminfo: memFree=28069544/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1601.87 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 160119 68 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483668536 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/184 10353
/proc/meminfo: memFree=28069304/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1661.86 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 166117 69 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483667456 5808520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/185 10357
/proc/meminfo: memFree=28068556/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1721.85 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 172115 70 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483667456 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/184 10358
/proc/meminfo: memFree=28068840/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1781.83 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 178112 71 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483667456 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 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) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.19 3/184 10358
/proc/meminfo: memFree=28069092/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1800.04 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 179932 72 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483667456 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1342020

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.19 3/184 10358
/proc/meminfo: memFree=28069092/32872528 swapFree=15272/1656604
[pid=10262] ppid=10259 vsize=1342020 CPUtime=1800.04 cores=1,3,5,7
/proc/10262/stat : 10262 (toysat) R 10259 10262 9894 0 -1 4202496 276914 0 0 0 179932 72 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140733483667456 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10262/statm: 335505 276364 801 2943 0 332399 0
[pid=10262/tid=10263] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10263/stat : 10263 (toysat) S 10259 10262 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458637372656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10262/tid=10264] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10264/stat : 10264 (toysat) S 10259 10262 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458626882800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10262/tid=10265] ppid=10259 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/10262/task/10265/stat : 10265 (toysat) S 10259 10262 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108422015 1374228480 276364 33554432000 4194304 16246674 140733483685536 140458616409264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1342020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.33
CPU system time (s): 0.72289
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.72289
maximum resident set size= 1105456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276914
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= 384
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45632 second user time and 7.71883 second system time

The end

Begin job on node136 at 2016-06-07 04:01:27
IDJOB=4078951
IDBENCH=48366
IDSOLVER=2542
FILE ID=node136/4078951-1465264887
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_3_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078951-1465264887/watcher-4078951-1465264887 -o /tmp/evaluation-result-4078951-1465264887/solver-4078951-1465264887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078951-1465264887.opb

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

MD5SUM BENCH= 29fd031d19832e8fd3e4ee8a0dfa62d0
RANDOM SEED=1272772200

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29239372 kB
Buffers:           50144 kB
Cached:           172452 kB
SwapCached:          800 kB
Active:          1152288 kB
Inactive:         119464 kB
Active(anon):    1050204 kB
Inactive(anon):     1212 kB
Active(file):     102084 kB
Inactive(file):   118252 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099352 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2704772 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             569484 kB
SReclaimable:      13668 kB
SUnreclaim:       555816 kB
KernelStack:        1504 kB
PageTables:         9320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2901992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1746944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node136 at 2016-06-07 04:31:28