Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | OPT | 10447498 | 0.576912 | 0.585208 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb |
MD5SUM | 5dbbb39821171ddf7cf17b36f56beeda |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10447498 |
Best CPU time to get the best result obtained on this benchmark | 0.05699 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10447498 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 205 |
Number of constraints which are clauses | 189 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 53 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 80000000 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 686402651 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 80000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 686402651 |
Number of bits of the biggest sum of numbers | 30 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node54/41197-1149244208/instance-41197-1149244208.opb ...... 0.00 c done parsing opb. 0.00 o 370310751 0.00 o 328350751 0.00 o 312350751 0.00 o 308310751 0.00 o 306350751 0.00 o 306330751 0.00 o 306310751 0.00 o 305522351 0.00 o 303482351 0.00 o 303243351 0.00 o 303223351 0.00 o 303203351 0.00 o 300394951 0.01 o 300374951 0.01 o 300095951 0.01 o 298038951 0.01 o 297819951 0.01 o 297799951 0.01 o 297779951 0.01 o 295782951 0.01 o 295523951 0.01 o 295503951 0.01 o 295483951 0.01 o 295463951 0.01 o 295380111 0.01 o 295121111 0.01 o 295101111 0.01 o 294446026 0.01 o 294406026 0.01 o 294386026 0.01 o 294083186 0.01 o 294063186 0.01 o 294023186 0.01 o 293738783 0.01 o 293718783 0.01 o 293698783 0.01 o 293439783 0.01 o 293419783 0.01 o 291123783 0.01 o 291103783 0.01 o 289086783 0.01 o 288787783 0.01 o 288424943 0.01 o 287729858 0.01 o 224072600 0.01 o 208052600 0.01 o 188052600 0.01 o 185793600 0.01 o 185773600 0.01 o 183793600 0.01 o 183773600 0.01 o 180965200 0.01 o 180945200 0.01 o 180686200 0.01 o 180666200 0.01 o 177578800 0.01 o 177558800 0.01 o 177302800 0.01 o 175521800 0.01 o 175282800 0.01 o 175262800 0.01 o 175242800 0.01 o 174966800 0.02 o 172986800 0.02 o 172946800 0.02 o 172926800 0.02 o 172926188 0.02 o 172667188 0.02 o 172647188 0.02 o 170922632 0.02 o 170004205 0.02 o 167221235 0.02 o 167219493 0.02 o 165691443 0.02 o 163690693 0.02 o 148905095 0.02 o 76623190 0.02 o 76622900 0.02 o 76622149 0.02 o 76621352 0.02 o 76620850 0.02 o 76619316 0.02 o 76603042 0.02 o 76563838 0.02 o 76553032 0.02 o 76552938 0.02 o 76551598 0.02 o 76475343 0.02 o 75981745 0.02 o 72071700 0.02 o 68643387 0.02 o 67743529 0.02 o 61918077 0.02 o 60332674 0.02 o 58753991 0.02 o 57572135 0.02 o 57571443 0.02 o 57149795 0.02 o 56890795 0.02 o 55917372 0.03 o 55884347 0.03 o 55883662 0.03 o 55883419 0.03 o 55882855 0.03 o 55882273 0.03 o 55878327 0.03 o 55877447 0.03 o 55877383 0.03 o 55876503 0.03 o 55876155 0.03 o 55875915 0.03 o 55875387 0.03 o 55875211 0.03 o 55871099 0.03 o 55870923 0.03 o 55870219 0.03 o 55869455 0.03 o 55869279 0.03 o 55868927 0.03 o 55868751 0.03 o 55868335 0.03 o 55867455 0.03 o 55864947 0.03 o 55864067 0.03 o 55863303 0.03 o 55862775 0.03 o 55860171 0.03 o 55859291 0.03 o 55858527 0.03 o 55858347 0.03 o 55854059 0.03 o 55853711 0.03 o 55852831 0.03 o 55852415 0.04 o 55852170 0.04 o 55851736 0.04 o 55851418 0.04 o 55851035 0.04 o 55850526 0.04 o 55850480 0.04 o 55850271 0.04 o 55849952 0.04 o 55849743 0.04 o 55849346 0.04 o 55849322 0.04 o 55848928 0.04 o 55848187 0.04 o 55847990 0.04 o 55847423 0.04 o 55847144 0.04 o 55847090 0.04 o 55846798 0.04 o 55846622 0.04 o 55846075 0.04 o 55845598 0.04 o 55845311 0.04 o 55844783 0.04 o 55844386 0.04 o 55844207 0.04 o 55843810 0.04 o 55841946 0.04 o 55841595 0.04 o 55841066 0.04 o 55840450 0.04 o 55839951 0.04 o 55839866 0.04 o 55839524 0.04 o 55839258 0.04 o 55839190 0.04 o 55838603 0.04 o 55837839 0.04 o 55837050 0.04 o 55836735 0.04 o 55835971 0.04 o 55835542 0.04 o 55835443 0.04 o 55835350 0.04 o 55835246 0.04 o 55834116 0.04 o 55833841 0.04 o 55833162 0.04 o 55788754 0.04 o 55786642 0.04 o 55786568 0.04 o 55777362 0.04 o 55775250 0.04 o 55775176 0.05 o 55757490 0.05 o 55745626 0.05 o 55744780 0.05 o 55743652 0.05 o 55742994 0.05 o 55740882 0.05 o 55740694 0.05 o 55731602 0.05 o 55729490 0.05 o 55721250 0.05 o 55719138 0.05 o 55671698 0.05 o 55671350 0.05 o 55669586 0.05 o 55660306 0.05 o 55659218 0.05 o 55658194 0.05 o 55640434 0.05 o 55638322 0.05 o 55629042 0.05 o 55626930 0.05 o 55621570 0.05 o 55619458 0.05 o 55618804 0.05 o 55618650 0.05 o 55618224 0.05 o 55618068 0.06 o 55617660 0.06 o 55610521 0.06 o 55608409 0.06 o 55603049 0.06 o 55600937 0.06 o 55600105 0.06 o 55599993 0.06 o 55599114 0.07 o 55599021 0.07 o 55598672 0.07 o 55598096 0.07 o 55597516 0.07 o 55597262 0.07 o 55597124 0.07 o 55595996 0.07 o 55595150 0.07 o 55594700 0.07 o 55593854 0.07 o 55593716 0.07 o 55592588 0.07 o 55591742 0.07 o 55590908 0.07 o 55590770 0.07 o 55589642 0.07 o 55588796 0.07 o 55588038 0.07 o 55587192 0.07 o 55586358 0.07 o 55586220 0.07 o 55585092 0.07 o 55584246 0.07 o 55583308 0.07 o 55582462 0.07 o 55582324 0.07 o 55581196 0.07 o 55580350 0.07 o 55579516 0.07 o 55579378 0.07 o 55578250 0.07 o 55577404 0.07 o 55576774 0.07 o 55575836 0.07 o 55574990 0.07 o 55574852 0.07 o 55570908 0.07 o 55570778 0.07 o 55569932 0.07 o 55568796 0.07 o 55559516 0.07 o 55557404 0.07 o 55552044 0.07 o 55549932 0.07 o 55549906 0.07 o 55541298 0.07 o 55541168 0.07 o 55540322 0.07 o 55539186 0.07 o 55529906 0.07 o 55527794 0.07 o 55522434 0.07 o 55520322 0.08 o 55520200 0.08 o 55519997 0.08 o 55519399 0.08 o 55510322 0.08 o 55509855 0.08 o 55509844 0.08 o 55506307 0.08 o 55497455 0.08 o 55495841 0.08 o 55495157 0.08 o 55491923 0.08 o 55491365 0.08 o 55490921 0.08 o 55490237 0.08 o 55484779 0.08 o 55484523 0.08 o 55484159 0.08 o 55478627 0.08 o 55473791 0.08 o 55358428 0.08 o 55351448 0.08 o 55345916 0.08 o 55345691 0.08 o 55331532 0.08 o 54936944 0.08 o 54764199 0.08 o 54763268 0.08 o 54763206 0.08 o 54762502 0.08 o 54762458 0.08 o 54761974 0.08 o 54761830 0.08 o 54761298 0.08 o 54761190 0.08 o 54760418 0.09 o 54759654 0.09 o 54759126 0.09 o 54758306 0.09 o 54757542 0.09 o 54757518 0.09 o 54757406 0.09 o 54757014 0.09 o 54756890 0.09 o 54756362 0.09 o 54756250 0.09 o 54755786 0.09 o 54755258 0.09 o 54755146 0.09 o 54754790 0.09 o 54754678 0.09 o 54754394 0.09 o 54754074 0.09 o 54753447 0.09 o 54753412 0.09 o 54751889 0.10 o 54751710 0.10 o 54747100 0.10 o 54744988 0.10 o 54744168 0.10 o 54740144 0.10 o 54716008 0.10 o 54700940 0.10 o 54694480 0.10 o 54688956 0.10 o 54533044 0.10 o 54532932 0.10 o 54513560 0.10 o 54509127 0.10 o 54508534 0.10 o 54508144 0.10 o 54507774 0.10 o 54507770 0.10 o 54507361 0.10 o 54506980 0.10 o 54503444 0.10 o 54503100 0.10 o 54502564 0.10 o 54502212 0.10 o 54502172 0.10 o 54501644 0.10 o 54501532 0.10 o 54501460 0.10 o 54500932 0.10 o 54500900 0.10 o 54500820 0.10 o 54500372 0.10 o 54500304 0.10 o 54500260 0.10 o 54499776 0.10 o 54499292 0.10 o 54499180 0.10 o 54498820 0.10 o 54498664 0.10 o 54498136 0.10 o 54498024 0.10 o 54497668 0.10 o 54497556 0.10 o 54497116 0.10 o 54496588 0.10 o 54496476 0.10 o 54496116 0.10 o 54495960 0.10 o 54495432 0.11 o 54495320 0.11 o 54495212 0.11 o 54495100 0.11 o 54494740 0.11 o 54494584 0.11 o 54494056 0.11 o 54493944 0.11 o 54493660 0.11 o 54493504 0.11 o 54492976 0.11 o 54492864 0.11 o 54492504 0.11 o 54492348 0.11 o 54491820 0.11 o 54491708 0.11 o 54491672 0.11 o 54491232 0.11 o 54490704 0.11 o 54490592 0.11 o 54490064 0.11 o 54489548 0.11 o 54489436 0.11 o 54489328 0.11 o 54489216 0.11 o 54488984 0.11 o 54488872 0.11 o 54488856 0.11 o 54488700 0.11 o 54488172 0.11 o 54487828 0.11 o 54487620 0.11 o 54487092 0.11 o 54486808 0.11 o 54486464 0.11 o 54485936 0.11 o 54485808 0.11 o 54485468 0.11 o 54485356 0.11 o 54485072 0.11 o 54484916 0.11 o 54484388 0.11 o 54484024 0.11 o 54483868 0.11 o 54483340 0.11 o 54483232 0.11 o 54482776 0.11 o 54482604 0.11 o 54482076 0.11 o 54481964 0.11 o 54481856 0.11 o 54481132 0.11 o 54480700 0.11 o 54480588 0.11 o 54480492 0.11 o 54480148 0.11 o 54479620 0.12 o 54479586 0.12 o 54479030 0.12 o 54478994 0.12 o 54478150 0.12 o 54477632 0.12 o 54477494 0.12 o 54477386 0.12 o 54476858 0.12 o 54476766 0.12 o 54476322 0.12 o 54476294 0.12 o 54476166 0.12 o 54476048 0.12 o 54475572 0.12 o 54475334 0.12 o 54475290 0.12 o 54474792 0.12 o 54474486 0.12 o 54474122 0.12 o 54473916 0.12 o 54473250 0.12 o 54473220 0.12 o 54472692 0.12 o 54472566 0.12 o 54471802 0.12 o 54471734 0.12 o 54471620 0.12 o 54471536 0.12 o 54471218 0.12 o 54471138 0.12 o 54471092 0.12 o 54470374 0.12 o 54469846 0.12 o 54469384 0.12 o 54468856 0.12 o 54468448 0.12 o 54467638 0.12 o 54467308 0.12 o 54467074 0.12 o 54466836 0.12 o 54466792 0.12 o 54466774 0.12 o 54466466 0.12 o 54466162 0.12 o 54465630 0.12 o 54465398 0.12 o 54464646 0.12 o 54464242 0.13 o 54464218 0.13 o 54464130 0.13 o 54463862 0.13 o 54463162 0.13 o 54463050 0.13 o 54462706 0.13 o 54462550 0.13 o 54462534 0.13 o 54462006 0.13 o 54461850 0.13 o 54461834 0.13 o 54460654 0.13 o 54460146 0.13 o 54459846 0.13 o 54459302 0.13 o 54459146 0.13 o 54459034 0.13 o 54457506 0.13 o 54456954 0.13 o 54456334 0.13 o 54455106 0.13 o 54454526 0.13 o 54454498 0.13 o 54451686 0.13 o 54450522 0.13 o 54450506 0.13 o 54450442 0.13 o 54449822 0.13 o 54449684 0.13 o 54449572 0.13 o 54449276 0.13 o 54449216 0.13 o 54449104 0.13 o 54448592 0.13 o 54448540 0.13 o 54448180 0.13 o 54447496 0.13 o 54446980 0.13 o 54446416 0.13 o 54446304 0.13 o 54445960 0.13 o 54445944 0.13 o 54445884 0.13 o 54445200 0.13 o 54444524 0.13 o 54444412 0.13 o 54444396 0.13 o 54444352 0.13 o 54444052 0.13 o 54443652 0.13 o 54443368 0.13 o 54443256 0.13 o 54442900 0.13 o 54442496 0.14 o 54442444 0.14 o 54441820 0.14 o 54441708 0.14 o 54441364 0.14 o 54441120 0.14 o 54440664 0.14 o 54440552 0.14 o 54440344 0.14 o 54440232 0.14 o 54440040 0.14 o 54439928 0.14 o 54439568 0.14 o 54438884 0.14 o 54438772 0.14 o 54438684 0.14 o 54438622 0.14 o 54438118 0.14 o 54437678 0.14 o 54437590 0.14 o 54437576 0.14 o 54437226 0.14 o 54437098 0.14 o 54436846 0.14 o 54436378 0.14 o 54436128 0.14 o 54435906 0.14 o 54435378 0.14 o 54435350 0.14 o 54431612 0.14 o 54431230 0.14 o 54431054 0.14 o 54430350 0.14 o 54429760 0.14 o 54428762 0.14 o 54428440 0.14 o 54428090 0.14 o 54424062 0.14 o 54423942 0.14 o 54422552 0.14 o 54422052 0.14 o 54421808 0.14 o 54421652 0.14 o 54420952 0.14 o 54420746 0.14 o 54420502 0.14 o 54420362 0.14 o 54420238 0.15 o 54418782 0.15 o 54418514 0.15 o 54418458 0.15 o 54417946 0.15 o 54417216 0.15 o 54416342 0.15 o 54416258 0.15 o 54416256 0.15 o 54416052 0.15 o 54414736 0.15 o 54414466 0.15 o 54414362 0.15 o 54414098 0.15 o 54413630 0.15 o 54413520 0.15 o 54412760 0.15 o 54412500 0.15 o 54411232 0.15 o 54411102 0.15 o 54411048 0.15 o 54410980 0.15 o 54410588 0.15 o 54408872 0.15 o 54407008 0.15 o 54403716 0.15 o 54403502 0.15 o 54403470 0.15 o 54403454 0.15 o 54403006 0.15 o 54402926 0.15 o 54401822 0.15 o 54401314 0.15 o 54400898 0.15 o 54400572 0.15 o 54400098 0.15 o 54399392 0.15 o 54399042 0.15 o 54399020 0.15 o 54398514 0.15 o 54398396 0.15 o 54398142 0.15 o 54397484 0.15 o 54396660 0.15 o 54395760 0.15 o 54395366 0.16 o 54395336 0.16 o 54395102 0.16 o 54394869 0.16 o 54394238 0.16 o 54335277 0.16 o 54294652 0.16 o 53835709 0.16 o 53635242 0.16 o 53085362 0.16 o 52938802 0.16 o 52731342 0.16 o 51901502 0.16 o 51732174 0.16 o 50902334 0.16 o 50807802 0.16 o 49977962 0.16 o 49831402 0.16 o 49623942 0.16 o 48794102 0.16 o 48634422 0.16 o 48620077 0.16 o 48490007 0.16 o 48460397 0.16 o 48394102 0.16 o 48334602 0.16 o 48264032 0.16 o 48234422 0.16 o 48145787 0.16 o 47894030 0.16 o 47736720 0.16 o 47599855 0.16 o 47363083 0.16 o 47354831 0.16 o 47203403 0.16 o 47195151 0.16 o 47173793 0.16 o 47165541 0.16 o 47137108 0.16 o 46832820 0.16 o 46596048 0.17 o 46525478 0.17 o 46472336 0.17 o 46471900 0.17 o 46471244 0.17 o 46470742 0.17 o 46470544 0.18 o 46464054 0.18 o 46463918 0.19 o 46463568 0.19 o 46462096 0.19 o 46455073 0.19 o 46447257 0.19 o 46395947 0.19 o 46388131 0.19 o 46364683 0.19 o 46356867 0.19 o 46335073 0.19 o 46327257 0.19 o 46326821 0.19 o 46319005 0.19 o 46301455 0.19 o 46293639 0.19 o 46291845 0.19 o 46291007 0.19 o 46278823 0.19 o 46159445 0.19 o 45998137 0.19 o 45986873 0.19 o 45861621 0.19 o 45861427 0.19 o 45861304 0.19 o 45856073 0.19 o 45674458 0.19 o 45673677 0.19 o 45673177 0.19 o 45671217 0.19 o 45670497 0.19 o 45670217 0.19 o 45669017 0.19 o 45667327 0.19 o 45664267 0.19 o 45663387 0.19 o 45663107 0.19 o 45662657 0.19 o 45662067 0.19 o 45661817 0.19 o 45637995 0.19 o 45623417 0.19 o 45521265 0.19 o 45511175 0.19 o 45505395 0.19 o 45502619 0.19 o 45500555 0.19 o 45495251 0.20 o 45490915 0.20 o 45387135 0.20 o 45380547 0.20 o 45380305 0.20 o 45376075 0.20 o 45348125 0.20 o 45345217 0.20 o 45338945 0.20 o 45336835 0.20 o 45334809 0.20 o 45333389 0.20 o 45239357 0.20 o 45234945 0.20 o 45234165 0.20 o 45232839 0.20 o 45231639 0.20 o 45230825 0.20 o 45228197 0.20 o 45211077 0.20 o 45210955 0.20 o 45210719 0.20 o 45209477 0.20 o 45209429 0.20 o 45202445 0.20 o 45199895 0.20 o 45196205 0.20 o 45187935 0.20 o 45187457 0.20 o 45181265 0.20 o 45162869 0.20 o 45162702 0.20 o 45159542 0.20 o 45157797 0.20 o 45156132 0.20 o 45154554 0.20 o 45153909 0.20 o 45153397 0.20 o 45151104 0.20 o 45150327 0.20 o 45143692 0.20 o 45143179 0.20 o 45141824 0.20 o 45139944 0.20 o 45138954 0.20 o 45135687 0.20 o 45134469 0.21 o 45133174 0.21 o 45131997 0.21 o 45131829 0.21 o 45131792 0.21 o 45131382 0.21 o 45127604 0.21 o 45126604 0.21 o 45126239 0.21 o 45121919 0.21 o 45121824 0.21 o 45120817 0.21 o 45119912 0.21 o 45114232 0.21 o 45112949 0.21 o 45109982 0.21 o 45109172 0.21 o 45104259 0.21 o 45103324 0.21 o 45100202 0.21 o 45099209 0.21 o 45097292 0.21 o 45097269 0.21 o 45096868 0.21 o 45095194 0.21 o 45092667 0.21 o 45089772 0.21 o 45089637 0.21 o 45089010 0.21 o 45088200 0.21 o 45087958 0.21 o 45087948 0.21 o 45087647 0.21 o 45086344 0.21 o 45084160 0.21 o 45022406 0.21 o 44636136 0.21 o 44629326 0.21 o 44629234 0.21 o 44624946 0.21 o 44616216 0.21 o 44614654 0.21 o 44614196 0.21 o 44611596 0.21 o 44609294 0.22 o 44555874 0.22 o 44554876 0.22 o 44550436 0.22 o 44549364 0.22 o 44543076 0.22 o 44542974 0.22 o 44541326 0.22 o 44538894 0.22 o 44485814 0.22 o 44485006 0.22 o 44484386 0.22 o 44484334 0.22 o 44482884 0.22 o 44471596 0.22 o 44467194 0.22 o 44466284 0.22 o 44466239 0.22 o 44464609 0.22 o 44461341 0.22 o 44459231 0.22 o 44458339 0.22 o 44456349 0.22 o 44455489 0.22 o 44455194 0.22 o 35969330 0.22 o 35967761 0.22 o 35889612 0.22 o 35888145 0.22 o 35863137 0.22 o 35862842 0.22 o 35862724 0.22 o 35858782 0.22 o 35857634 0.22 o 35856980 0.22 o 35854550 0.23 o 35854160 0.23 o 35849240 0.23 o 35846472 0.23 o 35841680 0.23 o 35841000 0.23 o 35835982 0.23 o 35833584 0.23 o 35833560 0.23 o 35830572 0.23 o 35824580 0.23 o 35824042 0.23 o 35818702 0.23 o 35818240 0.23 o 35817494 0.23 o 35816934 0.23 o 35815784 0.23 o 35815434 0.23 o 35812994 0.23 o 35811942 0.23 o 35811352 0.23 o 35810762 0.23 o 35809442 0.23 o 35809190 0.23 o 35809092 0.23 o 35808660 0.23 o 35807056 0.23 o 35803340 0.23 o 35802990 0.23 o 35802740 0.23 o 35802596 0.23 o 35801276 0.23 o 35800610 0.23 o 35799080 0.23 o 35798690 0.23 o 35798600 0.23 o 35798390 0.23 o 35797430 0.23 o 35796670 0.23 o 35796620 0.23 o 35793180 0.23 o 35792960 0.23 o 35791140 0.23 o 35790140 0.23 o 35788600 0.23 o 35786050 0.23 o 35785420 0.23 o 35785280 0.23 o 35783880 0.23 o 35781400 0.23 o 35780750 0.23 o 35780630 0.23 o 35779490 0.23 o 35779190 0.23 o 35776000 0.23 o 35775330 0.23 o 35773180 0.23 o 35769890 0.23 o 35769000 0.23 o 35765680 0.23 o 35764850 0.23 o 35763470 0.23 o 35761560 0.23 o 35761210 0.23 o 35760710 0.23 o 35760610 0.23 o 35760240 0.24 o 35758680 0.24 o 35758660 0.24 o 35758414 0.24 o 35756634 0.24 o 35756504 0.24 o 35753880 0.24 o 35753180 0.24 o 35750180 0.24 o 35749260 0.24 o 35748920 0.24 o 35742362 0.24 o 35540225 0.24 o 35496870 0.24 o 35496604 0.24 o 35494664 0.24 o 35492784 0.24 o 35492084 0.24 o 35490264 0.24 o 35488384 0.24 o 35487684 0.24 o 35486444 0.24 o 35484564 0.24 o 35483864 0.25 o 35482283 0.25 o 35481703 0.25 o 35481353 0.25 o 35479535 0.25 o 35472493 0.25 o 35470673 0.25 o 35470193 0.25 o 35469191 0.25 o 35459235 0.25 o 35453173 0.25 o 35445533 0.25 o 35443975 0.25 o 35441613 0.25 o 35440151 0.25 o 35438683 0.25 o 35438453 0.25 o 35435635 0.25 o 35432965 0.25 o 35431203 0.25 o 35423581 0.25 o 35423191 0.25 o 35422981 0.25 o 35417033 0.25 o 35414533 0.25 o 35414243 0.25 o 35413683 0.25 o 35411373 0.25 o 35409963 0.25 o 35403733 0.25 o 35402033 0.25 o 35396681 0.25 o 35396491 0.25 o 35394353 0.25 o 35391583 0.25 o 35388971 0.25 o 35387715 0.25 o 35383643 0.25 o 35381979 0.25 o 35377839 0.25 o 35377409 0.25 o 35376479 0.25 o 35376009 0.25 o 35375499 0.25 o 35374419 0.25 o 35374139 0.25 o 35373579 0.25 o 35372939 0.25 o 35372179 0.26 o 35372089 0.26 o 35371379 0.26 o 35368369 0.26 o 35366579 0.26 o 35364219 0.26 o 35360239 0.26 o 35359699 0.26 o 35358729 0.26 o 35356309 0.26 o 35356009 0.26 o 35355499 0.26 o 35346289 0.26 o 35345699 0.26 o 35343969 0.26 o 35342359 0.26 o 35341619 0.26 o 35340809 0.26 o 35340579 0.26 o 35338729 0.26 o 35338139 0.26 o 35337679 0.26 o 35336819 0.26 o 35336469 0.26 o 35336399 0.26 o 35336009 0.26 o 35328399 0.26 o 35324409 0.26 o 35324369 0.26 o 35320649 0.26 o 35320049 0.26 o 35317639 0.26 o 35316469 0.26 o 35316061 0.26 o 35316033 0.26 o 35313043 0.26 o 35310393 0.26 o 35309923 0.26 o 35309703 0.26 o 35308445 0.26 o 35297475 0.26 o 35295403 0.26 o 35294711 0.26 o 35286691 0.26 o 35281823 0.26 o 35274071 0.26 o 35273003 0.26 o 35272073 0.26 o 35260385 0.26 o 35259665 0.26 o 35255493 0.26 o 35253933 0.26 o 35249951 0.26 o 35248823 0.26 o 35248273 0.26 o 35240745 0.26 o 35236301 0.26 o 35235823 0.26 o 35235011 0.26 o 35231181 0.26 o 35228791 0.26 o 35228355 0.26 o 35226745 0.26 o 35225611 0.26 o 35221791 0.26 o 35218833 0.26 o 35218371 0.26 o 35218021 0.26 o 35217931 0.26 o 35215061 0.27 o 35213211 0.27 o 35211481 0.27 o 35206981 0.27 o 35196893 0.27 o 35194863 0.27 o 35189733 0.27 o 35189093 0.27 o 35188513 0.27 o 35186911 0.27 o 35185713 0.27 o 35184773 0.27 o 35184713 0.27 o 35183883 0.27 o 35182383 0.27 o 35182053 0.27 o 35175063 0.27 o 35174443 0.27 o 35174273 0.27 o 35173863 0.27 o 35173703 0.27 o 35171763 0.27 o 35171293 0.27 o 35170633 0.27 o 35169383 0.27 o 35168103 0.27 o 35167943 0.27 o 35166683 0.27 o 35159533 0.27 o 35156393 0.27 o 35155503 0.27 o 35152923 0.27 o 35149373 0.27 o 35148853 0.27 o 35148473 0.27 o 35147943 0.27 o 35147183 0.27 o 35146383 0.27 o 35145363 0.27 o 35144183 0.27 o 35143803 0.27 o 35142513 0.27 o 35139943 0.27 o 35139501 0.27 o 35135742 0.27 o 35134531 0.27 o 34629722 0.27 o 33937939 0.27 o 33121353 0.27 o 32825629 0.27 o 32467339 0.27 o 32360823 0.27 o 32135647 0.27 o 30225747 0.27 o 29858087 0.27 o 29648437 0.27 o 29353469 0.27 o 29342205 0.27 o 28940857 0.27 o 25641623 0.27 o 25630359 0.27 o 25438443 0.27 o 25106751 0.27 o 25075487 0.27 o 25059519 0.27 o 24741991 0.27 o 24730727 0.27 o 24710727 0.27 o 22690089 0.27 o 21161308 0.27 o 20999298 0.28 o 20027133 0.28 o 19973040 0.28 o 19971215 0.28 o 19967495 0.28 o 19967209 0.28 o 19966550 0.28 o 19760416 0.28 o 19758212 0.28 o 19749068 0.28 o 19745550 0.29 o 19745404 0.29 o 19745229 0.29 o 19685421 0.29 o 19678925 0.29 o 19678641 0.29 o 19674775 0.29 o 19610821 0.29 o 19599557 0.29 o 19489993 0.29 o 19488895 0.29 o 19488028 0.29 o 19487935 0.29 o 19486105 0.29 o 19362618 0.29 o 19239785 0.29 o 19239344 0.30 o 19236773 0.30 o 19211408 0.30 o 19197559 0.30 o 19197146 0.30 o 19196857 0.30 o 19195371 0.30 o 19195177 0.30 o 19193531 0.30 o 19192487 0.30 o 19192381 0.30 o 19191771 0.30 o 19191571 0.30 o 19190111 0.30 o 19189799 0.30 o 19189621 0.30 o 19188681 0.30 o 19186601 0.30 o 19185281 0.30 o 19180823 0.30 o 19180513 0.30 o 19176351 0.30 o 19173631 0.30 o 19173217 0.30 o 19169333 0.30 o 19128725 0.30 o 19038933 0.30 o 19031117 0.30 o 19027669 0.30 o 19007669 0.30 o 18999853 0.30 o 18998357 0.30 o 18978357 0.30 o 18970541 0.30 o 18891953 0.30 o 18884137 0.30 o 18871953 0.30 o 18802161 0.30 o 18790897 0.30 o 18783081 0.30 o 18770897 0.30 o 18763081 0.30 o 18744013 0.30 o 18696030 0.30 o 18694964 0.30 o 18693667 0.30 o 18692633 0.31 o 18650742 0.31 o 18648749 0.31 o 18594377 0.31 o 18592021 0.31 o 18591521 0.31 o 18590273 0.31 o 18589995 0.31 o 18589543 0.31 o 18586541 0.31 o 18585791 0.31 o 18585663 0.31 o 18582905 0.31 o 18581241 0.31 o 18579911 0.31 o 18579109 0.31 o 18577665 0.31 o 18575061 0.31 o 18574737 0.31 o 18572679 0.31 o 18572361 0.31 o 18563169 0.31 o 18560777 0.31 o 18559307 0.31 o 18556041 0.31 o 18555547 0.31 o 18553951 0.31 o 18548189 0.31 o 18547441 0.31 o 18545519 0.31 o 18536689 0.31 o 18536211 0.31 o 18535653 0.31 o 18533581 0.31 o 18533231 0.31 o 18532655 0.31 o 18527081 0.31 o 18523031 0.31 o 18523009 0.31 o 18521795 0.31 o 18521737 0.31 o 18519899 0.31 o 18516489 0.31 o 18516109 0.31 o 18516073 0.31 o 18513229 0.31 o 18512549 0.31 o 18511611 0.31 o 18510339 0.31 o 18508827 0.31 o 18508677 0.31 o 18503479 0.31 o 18503475 0.31 o 18503265 0.31 o 18502399 0.31 o 18501695 0.31 o 18501271 0.31 o 18497469 0.31 o 18496689 0.31 o 18491769 0.31 o 18491011 0.31 o 18485035 0.31 o 18478879 0.31 o 18478855 0.32 o 18477939 0.32 o 18476881 0.32 o 18476559 0.32 o 18475551 0.32 o 18473469 0.32 o 18470979 0.32 o 18464741 0.32 o 18460543 0.32 o 18460449 0.32 o 18459573 0.32 o 18459475 0.32 o 18458221 0.32 o 18456369 0.32 o 18454835 0.32 o 18454725 0.32 o 18453683 0.32 o 18453255 0.32 o 18452959 0.32 o 18452039 0.32 o 18451889 0.32 o 18450683 0.32 o 18450219 0.32 o 18449525 0.32 o 18448669 0.32 o 18446765 0.32 o 18445669 0.32 o 18443965 0.32 o 18443055 0.32 o 18442055 0.32 o 18440335 0.32 o 18440059 0.32 o 18439475 0.32 o 18438885 0.32 o 18437975 0.32 o 18433459 0.32 o 18433379 0.32 o 18432495 0.32 o 18432039 0.32 o 18431623 0.32 o 18429569 0.32 o 18429247 0.32 o 18427927 0.32 o 18427369 0.32 o 18427339 0.32 o 18427235 0.32 o 18426885 0.32 o 18426399 0.32 o 18426049 0.32 o 18420291 0.32 o 18415609 0.32 o 18413729 0.32 o 18413211 0.32 o 18407419 0.32 o 18407235 0.32 o 18401891 0.32 o 18401429 0.32 o 18397771 0.32 o 18397641 0.32 o 18395319 0.32 o 18394989 0.32 o 18390281 0.32 o 18390121 0.32 o 18387709 0.32 o 18378419 0.32 o 18376959 0.32 o 18376635 0.32 o 18375695 0.32 o 18375475 0.32 o 18374683 0.33 o 18190915 0.33 o 18190185 0.33 o 18189875 0.33 o 18188905 0.33 o 18187375 0.33 o 18186815 0.33 o 18186665 0.33 o 18185385 0.33 o 18184485 0.33 o 18182645 0.33 o 18182245 0.33 o 18181895 0.33 o 18180879 0.33 o 18178409 0.33 o 18177315 0.33 o 18176449 0.33 o 18175859 0.33 o 18175829 0.33 o 18175165 0.33 o 18174539 0.33 o 18171735 0.33 o 18166891 0.33 o 18164905 0.33 o 18164615 0.33 o 18163675 0.33 o 18163571 0.33 o 18162705 0.33 o 18160611 0.33 o 18157821 0.33 o 18156241 0.33 o 18156209 0.33 o 18155901 0.33 o 18155859 0.33 o 18155761 0.33 o 18154539 0.33 o 18152761 0.33 o 18152301 0.33 o 18151951 0.33 o 18151091 0.33 o 18150171 0.33 o 18149615 0.33 o 18146551 0.33 o 18145535 0.33 o 18145401 0.33 o 18144595 0.33 o 18143275 0.33 o 18142081 0.33 o 18140221 0.33 o 18139881 0.33 o 18138991 0.33 o 18137081 0.33 o 18136831 0.33 o 18136521 0.33 o 18135761 0.33 o 18135201 0.33 o 18133701 0.33 o 18131091 0.33 o 18130205 0.33 o 18129855 0.33 o 18128425 0.33 o 18127945 0.33 o 18127185 0.33 o 18127145 0.33 o 18126505 0.33 o 18126125 0.33 o 18124595 0.33 o 18124215 0.33 o 18123275 0.33 o 18122993 0.33 o 18122343 0.33 o 18122091 0.33 o 18119923 0.33 o 18119383 0.33 o 18119233 0.33 o 18118921 0.33 o 18118571 0.33 o 18118353 0.33 o 18117383 0.33 o 18116443 0.33 o 18115123 0.33 o 18112507 0.33 o 18111583 0.33 o 18110827 0.34 o 18110157 0.34 o 18109217 0.34 o 18108627 0.34 o 18108597 0.34 o 18107657 0.34 o 18105193 0.34 o 18104943 0.34 o 18103763 0.34 o 18103623 0.34 o 18099583 0.34 o 18098703 0.34 o 18098643 0.34 o 18097033 0.34 o 18096793 0.34 o 18096413 0.34 o 18095123 0.34 o 18093717 0.34 o 18093297 0.34 o 18091137 0.34 o 18090827 0.34 o 18090537 0.34 o 18089507 0.34 o 18088977 0.34 o 18088247 0.34 o 18087657 0.34 o 18087307 0.34 o 18086385 0.34 o 18085277 0.34 o 18085021 0.34 o 18083045 0.34 o 18082299 0.34 o 18080857 0.34 o 18079405 0.34 o 18079307 0.34 o 18078219 0.34 o 18077307 0.34 o 18076659 0.34 o 18074945 0.34 o 18071161 0.34 o 18070721 0.34 o 18064371 0.34 o 18064285 0.34 o 18060761 0.34 o 18060523 0.34 o 18059371 0.34 o 18057475 0.34 o 18055075 0.34 o 18054773 0.34 o 18054181 0.34 o 18052465 0.34 o 18051915 0.34 o 18051035 0.34 o 18050065 0.34 o 18049215 0.34 o 18048875 0.34 o 18048625 0.34 o 18048245 0.34 o 18046735 0.34 o 18043775 0.34 o 18042813 0.34 o 18042807 0.34 o 18042645 0.34 o 18040485 0.34 o 18039515 0.34 o 18039475 0.34 o 18038305 0.34 o 18036825 0.34 o 18035984 0.34 o 18014058 0.34 o 18002794 0.34 o 17982794 0.34 o 17974978 0.34 o 17876390 0.34 o 17806598 0.34 o 17798782 0.34 o 17795334 0.34 o 17775334 0.34 o 17767518 0.34 o 17766022 0.34 o 17758206 0.34 o 17746022 0.34 o 17738206 0.34 o 17569826 0.34 o 17558562 0.35 o 17550746 0.35 o 17538562 0.35 o 17530746 0.35 o 17395762 0.35 o 17066970 0.35 o 17055706 0.35 o 17035706 0.35 o 17027890 0.35 o 16859510 0.35 o 16848246 0.35 o 16828246 0.35 o 16820430 0.35 o 16818934 0.35 o 16798934 0.35 o 16791118 0.35 o 16692530 0.35 o 16684714 0.35 o 16622738 0.35 o 16611474 0.35 o 16603658 0.35 o 16591474 0.35 o 16583658 0.35 o 16583222 0.35 o 16277376 0.35 o 16270348 0.35 o 16270260 0.36 o 16269228 0.36 o 16227038 0.36 o 16226873 0.36 o 16225758 0.36 o 16224133 0.36 o 16222954 0.36 o 16220186 0.36 o 16201291 0.36 o 16036393 0.36 o 16035096 0.36 o 15835761 0.36 o 15833735 0.36 o 15831989 0.36 o 15827007 0.36 o 15820215 0.36 o 15818881 0.36 o 15816875 0.36 o 15816719 0.36 o 15815903 0.36 o 15814963 0.36 o 15814223 0.36 o 15814111 0.36 o 15814073 0.36 o 15814011 0.36 o 15813361 0.36 o 15800493 0.36 o 15797363 0.36 o 15797155 0.36 o 15795493 0.36 o 15795413 0.36 o 15795151 0.36 o 15793861 0.36 o 15792375 0.36 o 15792163 0.36 o 15791951 0.36 o 15791923 0.36 o 15791629 0.36 o 15790069 0.36 o 15789173 0.37 o 15788305 0.37 o 15782861 0.37 o 15780491 0.37 o 15779183 0.37 o 15773095 0.37 o 15765279 0.37 o 15762914 0.37 o 15756079 0.37 o 15748361 0.37 o 15743895 0.37 o 15736177 0.37 o 15736079 0.37 o 15728361 0.37 o 15629773 0.37 o 15272303 0.37 o 15271945 0.37 o 15264129 0.37 o 15241039 0.37 o 15233223 0.37 o 15221039 0.37 o 14870145 0.37 o 14866599 0.37 o 14858783 0.37 o 14852813 0.37 o 14828071 0.37 o 14820353 0.37 o 14809089 0.37 o 14801273 0.37 o 14789089 0.37 o 14788991 0.37 o 14776807 0.37 o 14769089 0.37 o 14768991 0.37 o 14768555 0.37 o 14761273 0.37 o 14760739 0.37 o 14592893 0.37 o 14581629 0.37 o 14573813 0.37 o 14561629 0.37 o 14553813 0.37 o 14553377 0.37 o 14545561 0.37 o 14544501 0.37 o 14532317 0.37 o 14528176 0.37 o 14527769 0.38 o 14522686 0.38 o 14521432 0.38 o 14519256 0.38 o 14518790 0.38 o 14463285 0.38 o 14452021 0.39 o 14320945 0.39 o 14320398 0.39 o 14318777 0.39 o 14316039 0.39 o 14310157 0.40 o 14308700 0.40 o 14304492 0.40 o 14294827 0.40 o 14278859 0.40 o 14258859 0.40 o 14228651 0.40 o 14190123 0.40 o 14158859 0.40 o 14138859 0.40 o 14136519 0.40 o 14118882 0.40 o 14089055 0.40 o 14088738 0.40 o 14087258 0.40 o 14086046 0.40 o 14078230 0.40 o 14077794 0.40 o 14069978 0.40 o 14022132 0.40 o 14022015 0.40 o 14003747 0.41 o 13991259 0.41 o 13991176 0.41 o 13989232 0.41 o 13988698 0.41 o 13856820 0.41 o 13845556 0.41 o 13825556 0.41 o 13817740 0.41 o 13809588 0.41 o 13798791 0.41 o 13790975 0.41 o 13778791 0.41 o 13770975 0.41 o 13770539 0.41 o 13762723 0.41 o 13758604 0.41 o 13754361 0.41 o 13752868 0.41 o 13670147 0.41 o 13664569 0.41 o 13663090 0.41 o 13159650 0.42 o 13157913 0.42 o 13154096 0.42 o 13141735 0.42 o 13138028 0.42 o 13065360 0.42 o 13054096 0.42 o 13047724 0.42 o 13039908 0.42 o 13034096 0.42 o 13026280 0.42 o 13025844 0.42 o 12993908 0.42 o 12992255 0.42 o 12990296 0.43 o 12980071 0.43 o 12972255 0.43 o 12971819 0.43 o 12964003 0.43 o 12949863 0.43 o 12942047 0.43 o 12891335 0.43 o 12880071 0.43 o 12860071 0.43 o 12852255 0.43 o 12851819 0.43 o 12844003 0.43 o 12839216 0.43 o 12825373 0.43 o 12825109 0.43 o 12663020 0.43 o 12655204 0.43 o 12631756 0.43 o 12623940 0.43 o 12611756 0.43 o 12603940 0.43 o 12603504 0.43 o 12595688 0.43 o 12593241 0.43 o 12506837 0.43 o 12501361 0.43 o 12477913 0.43 o 12470097 0.43 o 12448121 0.43 o 12428121 0.43 o 12420305 0.43 o 12408121 0.43 o 12400305 0.43 o 12399869 0.43 o 12392053 0.43 o 12385781 0.43 o 12385646 0.43 o 12377965 0.43 o 12377529 0.43 o 12369713 0.43 o 12365775 0.43 o 12315983 0.43 o 12310338 0.43 o 12308167 0.43 o 12298154 0.43 o 12295983 0.43 o 12141958 0.43 o 12129003 0.43 o 12121187 0.43 o 12079211 0.43 o 12059211 0.43 o 12047947 0.43 o 12040131 0.43 o 12027947 0.43 o 11974978 0.43 o 11885186 0.43 o 11873922 0.43 o 11866106 0.44 o 11853922 0.44 o 11846106 0.44 o 11839222 0.44 o 11838708 0.44 o 11815774 0.44 o 11795774 0.44 o 11787958 0.44 o 11779806 0.44 o 11771990 0.44 o 11759806 0.44 o 11751990 0.44 o 11751554 0.44 o 11743738 0.44 o 11741920 0.45 o 11741508 0.45 o 11741284 0.45 o 11739816 0.45 o 11736174 0.45 o 11735036 0.45 o 11734218 0.45 o 11731420 0.45 o 11730658 0.45 o 11729778 0.45 o 11725418 0.45 o 11720858 0.45 o 11720818 0.45 o 11717498 0.45 o 11717158 0.45 o 11716746 0.45 o 11714778 0.45 o 11714448 0.45 o 11714328 0.45 o 11712188 0.45 o 11708538 0.45 o 11707188 0.45 o 11705068 0.45 o 11703308 0.45 o 11703128 0.45 o 11701008 0.45 o 11700128 0.45 o 11698458 0.45 o 11698338 0.45 o 11697488 0.45 o 11696088 0.45 o 11695164 0.45 o 11692614 0.46 o 11692308 0.46 o 11689844 0.46 o 11688404 0.46 o 11686734 0.46 o 11685738 0.46 o 11685174 0.46 o 11684788 0.46 o 11683768 0.46 o 11681194 0.46 o 11680792 0.46 o 11679438 0.46 o 11678602 0.46 o 11674692 0.46 o 11670734 0.46 o 11669494 0.46 o 11668602 0.46 o 11668182 0.46 o 11666724 0.46 o 11666348 0.46 o 11664448 0.46 o 11664282 0.46 o 11663512 0.46 o 11662888 0.46 o 11662404 0.46 o 11662192 0.46 o 11661252 0.46 o 11658684 0.46 o 11654974 0.46 o 11654064 0.46 o 11652804 0.46 o 11650434 0.46 o 11650304 0.46 o 11648284 0.46 o 11647574 0.46 o 11644904 0.46 o 11644824 0.46 o 11639514 0.46 o 11636274 0.46 o 11633924 0.46 o 11630194 0.46 o 11630094 0.46 o 11629194 0.46 o 11628484 0.46 o 11626604 0.46 o 11626224 0.46 o 11625634 0.46 o 11625284 0.46 o 11619814 0.46 o 11619310 0.46 o 11613720 0.46 o 11606020 0.46 o 11605000 0.46 o 11604650 0.46 o 11604458 0.46 o 11604108 0.46 o 11602850 0.46 o 11602770 0.46 o 11601690 0.46 o 11601450 0.46 o 11596170 0.46 o 11594382 0.46 o 11592900 0.46 o 11591570 0.46 o 11589660 0.46 o 11588340 0.46 o 11588310 0.46 o 11587250 0.46 o 11586440 0.46 o 11585930 0.46 o 11584870 0.46 o 11577990 0.46 o 11573930 0.46 o 11572886 0.46 o 11571520 0.46 o 11568870 0.46 o 11566596 0.46 o 11565580 0.46 o 11563876 0.46 o 11562996 0.46 o 11559764 0.46 o 11558986 0.47 o 11558746 0.47 o 11558464 0.47 o 11558396 0.47 o 11558114 0.47 o 11557144 0.47 o 11556794 0.47 o 11555016 0.47 o 11554956 0.47 o 11554783 0.47 o 11551445 0.47 o 11548458 0.47 o 11546505 0.47 o 11545683 0.47 o 11541455 0.47 o 11540915 0.47 o 11537535 0.47 o 11531845 0.47 o 11530647 0.47 o 11529087 0.47 o 11528737 0.47 o 11527105 0.47 o 11526855 0.47 o 11523305 0.47 o 11522375 0.47 o 11522025 0.47 o 11521285 0.47 o 11520285 0.47 o 11519825 0.47 o 11519499 0.47 o 11517719 0.47 o 11517573 0.47 o 11517233 0.47 o 11517223 0.47 o 11516329 0.47 o 11516193 0.47 o 11514169 0.47 o 11514159 0.47 o 11513993 0.47 o 11513107 0.47 o 11512167 0.47 o 11511659 0.47 o 11511399 0.47 o 11510737 0.47 o 11507879 0.47 o 11507467 0.47 o 11506527 0.47 o 11505959 0.47 o 11505279 0.47 o 11504399 0.47 o 11503939 0.47 o 11500689 0.47 o 11497249 0.47 o 11496069 0.47 o 11495263 0.47 o 11494913 0.47 o 11493759 0.47 o 11492549 0.47 o 11492379 0.47 o 11492039 0.47 o 11488229 0.48 o 11487399 0.48 o 11486839 0.48 o 11484639 0.48 o 11484049 0.48 o 11484019 0.48 o 11483079 0.48 o 11482729 0.48 o 11481843 0.48 o 11478533 0.48 o 11478153 0.48 o 11476823 0.48 o 11476623 0.48 o 11475853 0.48 o 11475263 0.48 o 11474913 0.48 o 11474827 0.48 o 11474477 0.48 o 11472091 0.48 o 11470831 0.48 o 11470241 0.48 o 11469271 0.48 o 11468571 0.48 o 11467981 0.48 o 11467011 0.48 o 11466661 0.48 o 11465115 0.48 o 11463789 0.48 o 11463753 0.48 o 11463718 0.48 o 11460326 0.48 o 11460319 0.48 o 11460276 0.48 o 11451818 0.48 o 11451580 0.48 o 11450998 0.48 o 11448898 0.48 o 11445418 0.48 o 11442858 0.48 o 11442578 0.48 o 11442438 0.48 o 11441878 0.48 o 11441398 0.48 o 11439898 0.48 o 11439858 0.48 o 11438738 0.48 o 11433088 0.48 o 11432702 0.48 o 11431142 0.48 o 11428618 0.48 o 11426744 0.48 o 11426518 0.48 o 11426418 0.48 o 11425578 0.48 o 11425198 0.48 o 11422438 0.49 o 11421824 0.49 o 11420874 0.49 o 11419644 0.49 o 11419198 0.49 o 11418958 0.49 o 11418634 0.49 o 11417184 0.49 o 11416402 0.49 o 11413964 0.49 o 11413582 0.49 o 11412294 0.49 o 11411142 0.49 o 11409822 0.49 o 11409472 0.49 o 11407344 0.49 o 11407234 0.49 o 11406884 0.49 o 11406024 0.49 o 11403058 0.49 o 11402878 0.49 o 11401828 0.49 o 11399124 0.49 o 11396764 0.49 o 11392894 0.49 o 11392604 0.49 o 11391844 0.49 o 11391564 0.49 o 11391454 0.49 o 11388674 0.49 o 11386964 0.49 o 11386374 0.49 o 11386024 0.49 o 11381828 0.49 o 11381098 0.49 o 11380818 0.49 o 11379878 0.49 o 11379498 0.49 o 11378208 0.49 o 11378122 0.49 o 11377772 0.49 o 11375186 0.49 o 11371276 0.49 o 11370896 0.49 o 11369956 0.49 o 11369880 0.49 o 11369726 0.49 o 11367988 0.49 o 11367430 0.49 o 11367080 0.49 o 11366544 0.49 o 11363628 0.49 o 11360584 0.49 o 11353878 0.49 o 11352048 0.49 o 11351798 0.49 o 11350378 0.49 o 11349656 0.49 o 11346138 0.49 o 11345118 0.49 o 11344968 0.49 o 11341318 0.49 o 11340078 0.49 o 11339018 0.49 o 11336468 0.49 o 11335816 0.49 o 11335418 0.49 o 11334930 0.50 o 11332940 0.50 o 11332670 0.50 o 11331230 0.50 o 11329670 0.50 o 11329320 0.50 o 11328608 0.50 o 11325958 0.50 o 11325608 0.50 o 11323708 0.50 o 11320938 0.50 o 11320808 0.50 o 11320638 0.50 o 11320348 0.50 o 11319548 0.50 o 11319498 0.50 o 11319198 0.50 o 11317288 0.50 o 11316732 0.50 o 11316428 0.50 o 11316402 0.50 o 11316202 0.50 o 11315592 0.50 o 11308038 0.50 o 11302718 0.50 o 11298958 0.50 o 11298578 0.50 o 11296864 0.50 o 11296094 0.50 o 11294864 0.50 o 11293992 0.50 o 11291464 0.50 o 11290792 0.50 o 11289822 0.50 o 11289472 0.50 o 11287824 0.50 o 11283194 0.50 o 11282728 0.50 o 11280724 0.50 o 11279878 0.50 o 11276024 0.50 o 11275674 0.50 o 11274864 0.50 o 11274844 0.50 o 11271512 0.50 o 11271003 0.50 o 11270653 0.50 o 11269604 0.50 o 11268743 0.50 o 11267694 0.50 o 11267267 0.50 o 11266964 0.50 o 11265597 0.50 o 11264198 0.50 o 11262768 0.50 o 11259878 0.50 o 11259148 0.50 o 11257695 0.50 o 11257345 0.50 o 11256545 0.50 o 11256296 0.50 o 11255565 0.50 o 11253995 0.50 o 11253965 0.50 o 11252675 0.50 o 11251276 0.50 o 11250527 0.50 o 11249938 0.50 o 11249208 0.50 o 11249188 0.50 o 11247918 0.50 o 11247808 0.50 o 11246798 0.50 o 11246628 0.50 o 11246208 0.50 o 11245268 0.50 o 11244918 0.50 o 11244442 0.50 o 11243502 0.51 o 11241070 0.51 o 11241032 0.51 o 11236536 0.51 o 11236238 0.51 o 11235403 0.51 o 11234328 0.51 o 11232010 0.51 o 11231170 0.51 o 11231159 0.51 o 11230599 0.51 o 11230259 0.51 o 11226839 0.51 o 11225169 0.51 o 11225023 0.51 o 11224223 0.51 o 11223693 0.51 o 11223343 0.51 o 11222853 0.51 o 11221613 0.51 o 11220493 0.51 o 11219613 0.51 o 11219023 0.51 o 11218643 0.51 o 11217703 0.51 o 11217353 0.51 o 11217267 0.51 o 11216917 0.51 o 11216621 0.51 o 11215091 0.51 o 11214531 0.51 o 11214311 0.51 o 11213221 0.51 o 11204137 0.51 o 11200855 0.51 o 11199321 0.51 o 11199061 0.51 o 11198363 0.51 o 11195891 0.51 o 11193097 0.51 o 11192871 0.51 o 11192521 0.51 o 11190341 0.51 o 11189021 0.51 o 11188311 0.51 o 11187449 0.51 o 11185951 0.51 o 11183887 0.51 o 11177853 0.51 o 11176579 0.51 o 11176047 0.51 o 11175697 0.51 o 11174707 0.51 o 11174461 0.51 o 11173321 0.51 o 11169791 0.51 o 11168781 0.51 o 11167881 0.51 o 11167795 0.51 o 11166589 0.51 o 11166397 0.51 o 11166351 0.51 o 11165999 0.51 o 11165969 0.51 o 11164439 0.51 o 11162077 0.51 o 11161611 0.51 o 11160157 0.51 o 11159807 0.51 o 11158591 0.51 o 11157017 0.51 o 11156047 0.51 o 11155344 0.52 o 11155115 0.52 o 11152085 0.52 o 11151100 0.52 o 11150405 0.52 o 11149963 0.52 o 11149119 0.52 o 11148055 0.52 o 11144449 0.52 o 11139003 0.52 o 11138483 0.52 o 11137935 0.52 o 11137603 0.52 o 11135105 0.52 o 11134703 0.52 o 11133743 0.52 o 11129795 0.52 o 11129785 0.52 o 11128893 0.52 o 11128173 0.52 o 11127993 0.52 o 11126825 0.52 o 11126465 0.52 o 11125175 0.52 o 11122933 0.52 o 11122233 0.52 o 11121795 0.52 o 11121353 0.52 o 11120283 0.52 o 11116083 0.52 o 11113023 0.52 o 11112283 0.52 o 11111703 0.52 o 11110163 0.52 o 11108711 0.52 o 11107971 0.52 o 11105653 0.52 o 11099081 0.52 o 11098891 0.52 o 11097611 0.52 o 11095683 0.52 o 11095543 0.52 o 11093321 0.52 o 11092693 0.52 o 11091833 0.52 o 11090333 0.52 o 11089623 0.52 o 11089411 0.52 o 11088503 0.52 o 11088153 0.52 o 11087501 0.52 o 11085643 0.52 o 11085253 0.52 o 11084223 0.52 o 11083515 0.52 o 11082953 0.52 o 11082915 0.52 o 11082885 0.52 o 11072623 0.52 o 11072593 0.52 o 11072203 0.52 o 11071823 0.52 o 11071233 0.52 o 11070883 0.52 o 11070263 0.53 o 11068373 0.53 o 11066993 0.53 o 11064989 0.53 o 11062399 0.53 o 11061459 0.53 o 11060729 0.53 o 11060139 0.53 o 11059789 0.53 o 11057293 0.53 o 11057017 0.53 o 11056997 0.53 o 11056253 0.53 o 11054893 0.53 o 11054583 0.53 o 11053643 0.53 o 11053533 0.53 o 11051823 0.53 o 11049323 0.53 o 11047879 0.53 o 11046829 0.53 o 11045869 0.53 o 11039909 0.53 o 11039149 0.53 o 11039029 0.53 o 11038999 0.53 o 11038919 0.53 o 11037769 0.53 o 11037599 0.53 o 11036233 0.53 o 11031709 0.53 o 11031213 0.53 o 11029893 0.53 o 11029289 0.53 o 11027229 0.53 o 11025869 0.53 o 11025609 0.53 o 11025509 0.53 o 11025199 0.53 o 11022909 0.53 o 11020939 0.53 o 11019969 0.53 o 11019029 0.53 o 11017709 0.53 o 11017173 0.53 o 11015123 0.53 o 11014063 0.53 o 11014003 0.53 o 11012893 0.53 o 11012743 0.53 o 11012153 0.53 o 11011603 0.53 o 11011213 0.53 o 11010243 0.53 o 11009893 0.53 o 11009457 0.53 o 11008221 0.53 o 11007251 0.53 o 11007221 0.53 o 11007071 0.53 o 11006661 0.53 o 11006311 0.53 o 11006161 0.53 o 11004871 0.53 o 11002581 0.53 o 11001991 0.53 o 11001641 0.54 o 11001070 0.54 o 11000746 0.54 o 10998556 0.54 o 10998206 0.54 o 10996646 0.54 o 10996296 0.54 o 10996000 0.54 o 10994090 0.54 o 10993920 0.54 o 10993570 0.54 o 10992690 0.54 o 10991510 0.54 o 10990740 0.54 o 10990390 0.54 o 10990150 0.54 o 10989800 0.54 o 10988480 0.54 o 10988394 0.54 o 10988044 0.54 o 10986808 0.54 o 10986188 0.54 o 10985248 0.54 o 10984058 0.54 o 10983904 0.54 o 10983133 0.54 o 10982873 0.54 o 10982571 0.54 o 10980863 0.54 o 10979331 0.54 o 10978073 0.54 o 10976753 0.54 o 10976403 0.54 o 10975361 0.54 o 10974141 0.54 o 10973791 0.54 o 10973761 0.54 o 10973411 0.54 o 10972821 0.54 o 10972471 0.54 o 10970995 0.54 o 10970245 0.54 o 10969115 0.54 o 10968235 0.54 o 10967885 0.54 o 10966855 0.54 o 10965975 0.54 o 10964655 0.54 o 10964569 0.54 o 10964219 0.54 o 10961833 0.54 o 10961073 0.54 o 10960583 0.54 o 10959293 0.54 o 10959013 0.54 o 10958663 0.54 o 10958073 0.54 o 10957723 0.54 o 10957343 0.54 o 10956753 0.54 o 10956403 0.54 o 10955704 0.54 o 10954620 0.54 o 10949072 0.54 o 10948930 0.54 o 10947532 0.54 o 10942652 0.54 o 10942112 0.54 o 10941782 0.54 o 10940112 0.54 o 10930552 0.55 o 10929740 0.55 o 10929390 0.55 o 10928994 0.55 o 10928484 0.55 o 10926752 0.55 o 10924884 0.55 o 10920802 0.55 o 10920234 0.55 o 10917454 0.55 o 10915714 0.55 o 10913242 0.55 o 10904442 0.55 o 10903154 0.55 o 10898764 0.55 o 10896014 0.55 o 10895382 0.55 o 10893412 0.55 o 10885224 0.55 o 10884564 0.55 o 10880754 0.55 o 10880358 0.55 o 10878114 0.55 o 10877704 0.55 o 10877124 0.55 o 10876744 0.55 o 10872538 0.55 o 10864022 0.55 o 10863178 0.55 o 10861882 0.55 o 10861642 0.55 o 10860384 0.55 o 10860094 0.55 o 10859204 0.55 o 10858982 0.55 o 10850062 0.55 o 10848892 0.55 o 10848382 0.55 o 10845104 0.55 o 10842942 0.55 o 10840694 0.55 o 10840122 0.55 o 10839404 0.55 o 10838612 0.55 o 10838434 0.55 o 10837844 0.55 o 10837494 0.55 o 10836052 0.55 o 10832750 0.55 o 10829600 0.55 o 10827602 0.55 o 10826082 0.55 o 10825770 0.55 o 10825740 0.55 o 10822722 0.55 o 10822592 0.55 o 10821640 0.55 o 10819912 0.55 o 10816640 0.55 o 10815422 0.55 o 10811820 0.55 o 10810900 0.55 o 10810652 0.55 o 10809580 0.55 o 10808400 0.55 o 10807682 0.55 o 10806200 0.55 o 10806172 0.55 o 10803086 0.55 o 10803026 0.55 o 10802996 0.55 o 10799606 0.55 o 10799296 0.55 o 10798696 0.55 o 10798286 0.55 o 10797786 0.55 o 10797496 0.55 o 10797376 0.55 o 10796496 0.55 o 10794936 0.55 o 10794586 0.55 o 10793616 0.55 o 10793266 0.56 o 10793142 0.56 o 10771822 0.56 o 10771812 0.56 o 10768498 0.56 o 10768442 0.56 o 10766732 0.56 o 10766382 0.56 o 10766248 0.56 o 10764328 0.56 o 10761168 0.56 o 10759928 0.56 o 10758988 0.56 o 10758278 0.56 o 10757378 0.56 o 10756058 0.56 o 10755238 0.56 o 10752768 0.56 o 10748738 0.56 o 10746938 0.56 o 10746928 0.56 o 10746698 0.56 o 10742468 0.56 o 10739928 0.56 o 10738738 0.56 o 10737668 0.56 o 10736788 0.56 o 10736438 0.56 o 10735118 0.56 o 10733930 0.56 o 10733623 0.56 o 10729820 0.56 o 10727440 0.56 o 10726670 0.56 o 10725870 0.56 o 10725490 0.56 o 10724890 0.56 o 10724580 0.56 o 10724170 0.56 o 10723820 0.56 o 10722730 0.56 o 10721060 0.56 o 10720470 0.56 o 10720090 0.56 o 10719500 0.56 o 10719150 0.56 o 10718690 0.56 o 10718160 0.56 o 10717260 0.56 o 10713930 0.56 o 10711490 0.56 o 10710590 0.56 o 10708910 0.56 o 10708770 0.56 o 10707930 0.56 o 10707050 0.56 o 10706080 0.56 o 10705490 0.56 o 10704170 0.56 o 10703820 0.56 o 10703320 0.56 o 10703020 0.56 o 10702670 0.56 o 10702390 0.56 o 10700820 0.56 o 10700470 0.56 o 10699500 0.56 o 10699150 0.56 o 10699130 0.56 o 10698868 0.56 o 10697348 0.56 o 10693650 0.56 o 10693462 0.56 o 10692622 0.56 o 10691302 0.56 o 10689218 0.56 o 10685290 0.56 o 10680308 0.56 o 10680280 0.56 o 10678550 0.56 o 10676290 0.56 o 10674960 0.56 o 10672590 0.56 o 10670264 0.56 o 10670234 0.56 o 10669672 0.56 o 10669294 0.56 o 10667140 0.56 o 10667060 0.56 o 10666946 0.57 o 10665976 0.57 o 10664680 0.57 o 10663646 0.57 o 10662750 0.57 o 10662640 0.57 o 10662616 0.57 o 10661886 0.57 o 10660546 0.57 o 10659020 0.57 o 10654726 0.57 o 10653614 0.57 o 10650630 0.57 o 10650264 0.57 o 10649606 0.57 o 10648944 0.57 o 10648346 0.57 o 10647336 0.57 o 10647166 0.57 o 10646706 0.57 o 10646340 0.57 o 10644590 0.57 o 10643670 0.57 o 10634616 0.57 o 10628046 0.57 o 10627756 0.57 o 10625846 0.57 o 10625836 0.57 o 10625496 0.57 o 10624610 0.57 o 10624050 0.57 o 10623106 0.57 o 10622830 0.57 o 10622350 0.57 o 10620530 0.57 o 10619590 0.57 o 10619000 0.57 o 10618620 0.57 o 10618030 0.57 o 10617680 0.57 o 10613676 0.57 o 10613056 0.57 o 10612948 0.57 o 10611486 0.57 o 10611338 0.57 o 10611098 0.57 o 10609778 0.57 o 10608450 0.57 o 10607946 0.57 o 10605626 0.57 o 10605570 0.57 o 10604596 0.57 o 10602424 0.57 o 10602146 0.57 o 10600984 0.57 o 10600956 0.57 o 10597186 0.57 o 10595626 0.57 o 10595166 0.57 o 10594216 0.57 o 10592976 0.57 o 10591680 0.57 o 10591036 0.57 o 10590740 0.57 o 10590346 0.57 o 10588206 0.57 o 10587460 0.57 o 10587430 0.57 o 10586416 0.57 o 10582886 0.57 o 10582116 0.57 o 10581856 0.57 o 10579156 0.57 o 10578626 0.57 o 10578416 0.57 o 10576806 0.57 o 10575866 0.57 o 10575246 0.57 o 10574896 0.57 o 10574306 0.57 o 10573956 0.57 o 10573700 0.57 o 10573250 0.57 o 10572480 0.57 o 10572446 0.57 o 10571750 0.57 o 10571626 0.57 o 10570600 0.57 o 10567080 0.57 o 10562456 0.57 o 10561378 0.57 o 10561088 0.57 o 10559558 0.57 o 10559208 0.57 o 10558828 0.57 o 10558626 0.57 o 10556986 0.57 o 10555626 0.57 o 10555276 0.57 o 10555246 0.57 o 10553956 0.57 o 10552060 0.57 o 10551430 0.57 o 10551160 0.57 o 10550250 0.57 o 10549370 0.57 o 10547810 0.57 o 10547460 0.57 o 10547080 0.57 o 10546140 0.57 o 10546054 0.57 o 10545704 0.57 o 10544818 0.57 o 10544228 0.57 o 10543878 0.57 o 10542908 0.57 o 10542058 0.57 o 10540498 0.57 o 10540148 0.57 o 10539558 0.57 o 10539208 0.57 o 10538238 0.57 o 10537888 0.57 o 10537888 0.57 s OPTIMUM FOUND 0.57 c Total Run Time 0.569914 0.57 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 0.57 v -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 x130 -x131 -x132 -x133 -x134 -x135 -x136 0.57 v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 0.57 v -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 0.57 v -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 0.57 v -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 0.57 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 0.57 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 0.57 v x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 x263 -x264 x265 x266 -x267 -x268 -x269 -x27 0.57 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 0.57 v -x29 -x290 -x3 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x5 -x50 -x51 0.57 v -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 0.57 v -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 10447498
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-41197-1149244208 -o ROOT/results/node54/solver-41197-1149244208 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41197-1149244208/instance-41197-1149244208.opb 885191287 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 20866 /proc/meminfo: memFree=1110072/2055920 swapFree=4180872/4192956 [pid=20866] ppid=20864 vsize=1400 CPUtime=0 /proc/20866/stat : 20866 (PBS4L) R 20864 20866 20820 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 190088313 1433600 136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/20866/statm: 350 136 100 232 0 115 0 Child status: 0 Real time (s): 0.585208 CPU time (s): 0.576912 CPU user time (s): 0.518921 CPU system time (s): 0.057991 CPU usage (%): 98.5824 Max. virtual memory (cumulated for all children) (Kb): 0
Begin job on node54 on Fri Jun 2 10:30:08 UTC 2006 FILE ID= 41197-1149244208 PBS_JOBID= 297652 BENCH NAME= ROOT/tmp/node54/41197-1149244208/instance-41197-1149244208.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41197-1149244208/instance-41197-1149244208.opb 885191287 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-41197-1149244208 -o ROOT/results/node54/solver-41197-1149244208 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41197-1149244208/instance-41197-1149244208.opb 885191287 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 5dbbb39821171ddf7cf17b36f56beeda RANDOM SEED= 885191287 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1110280 kB Buffers: 42440 kB Cached: 825480 kB SwapCached: 4180 kB Active: 358480 kB Inactive: 518540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1110280 kB SwapTotal: 4192956 kB SwapFree: 4180872 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14908 kB Slab: 54680 kB Committed_AS: 240800 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Fri Jun 2 10:30:09 UTC 2006