Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.63 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 4.87126 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
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/node19/41532-1149367656/instance-41532-1149367656.opb ...... 0.01 c done parsing opb. 0.01 o 23494 0.01 o 23492 0.01 o 23432 0.01 o 23430 0.01 o 23370 0.01 o 23368 0.01 o 23306 0.01 o 23304 0.01 o 23302 0.01 o 23242 0.02 o 23230 0.02 o 23228 0.02 o 23166 0.02 o 23154 0.02 o 23152 0.02 o 23090 0.02 o 23078 0.02 o 23076 0.02 o 23074 0.02 o 23014 0.02 o 22954 0.02 o 22894 0.03 o 22835 0.03 o 22832 0.03 o 22773 0.03 o 22770 0.03 o 22711 0.03 o 22655 0.03 o 22642 0.03 o 22586 0.03 o 22578 0.03 o 22522 0.03 o 22514 0.03 o 22458 0.03 o 22450 0.04 o 22394 0.04 o 22393 0.04 o 22385 0.04 o 22329 0.04 o 22328 0.04 o 22320 0.04 o 22264 0.04 o 22263 0.04 o 22255 0.04 o 22199 0.04 o 22198 0.04 o 22190 0.05 o 22134 0.05 o 22133 0.05 o 22125 0.05 o 22069 0.05 o 22068 0.05 o 22060 0.05 o 22004 0.05 o 22003 0.05 o 21995 0.05 o 21939 0.05 o 21938 0.05 o 21930 0.05 o 21874 0.06 o 21873 0.06 o 21865 0.06 o 21809 0.06 o 21808 0.06 o 21800 0.06 o 21744 0.06 o 21743 0.06 o 21735 0.06 o 21679 0.06 o 21678 0.06 o 21670 0.06 o 21614 0.06 o 21613 0.07 o 21605 0.07 o 21549 0.07 o 21536 0.07 o 21535 0.07 o 21527 0.07 o 21471 0.07 o 21458 0.07 o 21457 0.07 o 21449 0.07 o 19639 0.07 o 19628 0.07 o 19162 0.08 o 19118 0.08 o 19069 0.08 o 19058 0.08 o 19040 0.08 o 18995 0.08 o 18948 0.08 o 18942 0.08 o 18886 0.08 o 18873 0.08 o 18854 0.08 o 18798 0.08 o 18738 0.08 o 18691 0.09 o 18675 0.09 o 18672 0.09 o 18634 0.09 o 18627 0.09 o 18614 0.09 o 18593 0.09 o 18573 0.09 o 18549 0.09 o 18531 0.09 o 18522 0.09 o 18471 0.09 o 18437 0.10 o 18427 0.10 o 18376 0.10 o 18373 0.10 o 18340 0.10 o 18334 0.10 o 18292 0.10 o 18282 0.10 o 18250 0.10 o 18249 0.10 o 18212 0.10 o 18160 0.10 o 18133 0.10 o 18107 0.11 o 11317 0.11 o 11289 0.11 o 11284 0.11 o 11251 0.11 o 11222 0.11 o 11207 0.11 o 11206 0.11 o 11177 0.12 o 11147 0.12 o 11146 0.12 o 11128 0.12 o 11121 0.12 o 10695 0.12 o 10683 0.12 o 10653 0.12 o 10617 0.13 o 10593 0.13 o 10573 0.13 o 10567 0.13 o 10540 0.13 o 10485 0.13 o 10477 0.13 o 10472 0.13 o 10440 0.13 o 10438 0.14 o 10405 0.14 o 10356 0.14 o 10350 0.14 o 10349 0.14 o 10348 0.14 o 10345 0.14 o 10312 0.14 o 10254 0.15 o 10248 0.15 o 10245 0.15 o 10234 0.15 o 10199 0.15 o 10148 0.15 o 10140 0.15 o 10110 0.15 o 10099 0.16 o 10084 0.16 o 10081 0.16 o 10075 0.16 o 10072 0.16 o 10069 0.16 o 10019 0.16 o 10017 0.16 o 9974 0.16 o 9967 0.17 o 9957 0.17 o 9924 0.17 o 9884 0.17 o 9833 0.17 o 9797 0.17 o 9738 0.17 o 9737 0.17 o 9691 0.18 o 9662 0.18 o 9631 0.18 o 9578 0.18 o 9575 0.18 o 9565 0.18 o 9564 0.18 o 9552 0.18 o 9548 0.18 o 9537 0.19 o 9478 0.19 o 9451 0.19 o 9399 0.19 o 9379 0.19 o 9322 0.19 o 9315 0.19 o 9298 0.19 o 9282 0.20 o 9236 0.20 o 9199 0.20 o 9188 0.20 o 9158 0.20 o 9122 0.20 o 9083 0.20 o 9058 0.20 o 9025 0.20 o 8990 0.21 o 8957 0.21 o 8908 0.21 o 8881 0.21 o 8830 0.21 o 8817 0.21 o 8805 0.21 o 8759 0.21 o 8716 0.21 o 8679 0.22 o 8667 0.22 o 8616 0.22 o 8586 0.22 o 8576 0.22 o 8528 0.22 o 8472 0.22 o 8431 0.22 o 8406 0.22 o 8378 0.23 o 8366 0.23 o 8315 0.23 o 8306 0.23 o 8270 0.23 o 8246 0.23 o 8201 0.23 o 8195 0.23 o 8179 0.23 o 8178 0.24 o 8141 0.24 o 8093 0.24 o 8051 0.24 o 8013 0.24 o 8000 0.24 o 7955 0.24 o 7944 0.24 o 7939 0.24 o 7911 0.25 o 7874 0.25 o 7871 0.25 o 7834 0.25 o 7782 0.25 o 7757 0.25 o 7756 0.25 o 7747 0.25 o 7731 0.26 o 7730 0.26 o 7682 0.26 o 7627 0.26 o 7624 0.26 o 7618 0.26 o 7583 0.26 o 7581 0.26 o 7549 0.26 o 7545 0.27 o 7539 0.27 o 7496 0.27 o 7448 0.27 o 7419 0.27 o 7409 0.27 o 7397 0.27 o 7349 0.27 o 7346 0.27 o 7331 0.28 o 7288 0.28 o 7260 0.28 o 7256 0.28 o 7217 0.28 o 7197 0.28 o 7188 0.28 o 7156 0.28 o 7116 0.28 o 7069 0.29 o 7066 0.29 o 7062 0.29 o 7039 0.29 o 7037 0.29 o 7028 0.29 o 7007 0.29 o 7006 0.29 o 6993 0.29 o 6943 0.30 o 6937 0.30 o 6936 0.30 o 6914 0.30 o 6899 0.30 o 6854 0.30 o 6847 0.30 o 6846 0.30 o 6802 0.30 o 6786 0.31 o 6754 0.31 o 6737 0.31 o 6732 0.31 o 6728 0.31 o 6727 0.31 o 6725 0.31 o 6684 0.31 o 6639 0.31 o 6634 0.32 o 6585 0.32 o 6549 0.32 o 6498 0.32 o 6443 0.32 o 6400 0.32 o 6396 0.32 o 6347 0.32 o 6337 0.32 o 6334 0.33 o 6291 0.33 o 6290 0.33 o 6256 0.33 o 6249 0.33 o 6210 0.33 o 6162 0.33 o 6129 0.33 o 6079 0.34 o 6033 0.34 o 5978 0.34 o 5972 0.34 o 5969 0.34 o 5943 0.34 o 5900 0.34 o 5892 0.34 o 5882 0.34 o 5850 0.35 o 5824 0.35 o 5785 0.35 o 5757 0.35 o 5723 0.35 o 5686 0.35 o 5671 0.35 o 5656 0.35 o 5651 0.35 o 5637 0.36 o 5636 0.36 o 5600 0.36 o 5598 0.36 o 5567 0.36 o 5533 0.36 o 5522 0.36 o 5471 0.36 o 5439 0.36 o 5438 0.37 o 5390 0.37 o 5352 0.37 o 5335 0.37 o 5294 0.37 o 5280 0.37 o 5227 0.37 o 5188 0.37 o 5139 0.37 o 5131 0.38 o 5080 0.38 o 5066 0.38 o 5060 0.38 o 5059 0.38 o 5045 0.38 o 5025 0.38 o 5010 0.38 o 5002 0.38 o 4957 0.39 o 4914 0.39 o 4859 0.39 o 4831 0.39 o 4826 0.39 o 4788 0.39 o 4784 0.39 o 4783 0.39 o 4778 0.39 o 4771 0.40 o 4764 0.40 o 4753 0.40 o 4710 0.40 o 4690 0.40 o 4671 0.40 o 4630 0.40 o 4619 0.40 o 4607 0.40 o 4569 0.41 o 4544 0.41 o 4517 0.41 o 4501 0.41 o 4486 0.41 o 4484 0.41 o 4464 0.41 o 4428 0.41 o 4422 0.41 o 4388 0.42 o 4340 0.42 o 4334 0.42 o 4333 0.42 o 4313 0.42 o 4312 0.42 o 4303 0.42 o 4295 0.42 o 4287 0.42 o 4283 0.43 o 4227 0.43 o 4223 0.43 o 4215 0.43 o 4177 0.43 o 4137 0.43 o 4090 0.43 o 4063 0.43 o 4060 0.43 o 4018 0.44 o 3993 0.44 o 3981 0.44 o 3940 0.44 o 3907 0.44 o 3851 0.44 o 3826 0.44 o 3823 0.44 o 3790 0.44 o 3763 0.45 o 3725 0.45 o 3669 0.45 o 3626 0.45 o 3625 0.45 o 3614 0.45 o 3578 0.45 o 3564 0.45 o 3556 0.45 o 3521 0.46 o 3484 0.46 o 3473 0.46 o 3466 0.46 o 3432 0.46 o 3399 0.46 o 3353 0.46 o 3335 0.46 o 3330 0.46 o 3279 0.47 o 3256 0.47 o 3248 0.47 o 3229 0.47 o 3217 0.47 o 3168 0.47 o 3158 0.47 o 3149 0.47 o 3148 0.47 o 3141 0.48 o 3101 0.48 o 3072 0.48 o 3065 0.48 o 3030 0.48 o 2989 0.48 o 2988 0.48 o 2972 0.48 o 2971 0.48 o 2964 0.49 o 2915 0.49 o 2903 0.49 o 2888 0.49 o 2876 0.49 o 2841 0.49 o 2786 0.49 o 2731 0.49 o 2727 0.50 o 2673 0.50 o 2663 0.50 o 2660 0.50 o 2613 0.50 o 2575 0.50 o 2536 0.50 o 2492 0.50 o 2485 0.50 o 2473 0.51 o 2472 0.51 o 2471 0.51 o 2425 0.51 o 2417 0.51 o 2402 0.51 o 2384 0.51 o 2382 0.51 o 2330 0.51 o 2300 0.52 o 2288 0.52 o 2239 0.52 o 2222 0.52 o 2216 0.52 o 2211 0.52 o 2210 0.52 o 2156 0.52 o 2152 0.52 o 2150 0.53 o 2133 0.53 o 2131 0.53 o 2130 0.53 o 2121 0.53 o 2112 0.53 o 2065 0.53 o 2060 0.53 o 2048 0.54 o 2038 0.54 o 1990 0.54 o 1931 0.54 o 1899 0.54 o 1897 0.54 o 1895 0.54 o 1887 0.54 o 1879 0.54 o 1832 0.55 o 1822 0.55 o 1763 0.55 o 1731 0.55 o 1716 0.55 o 1708 0.55 o 1654 0.55 o 1634 0.55 o 1633 0.55 o 1585 0.56 o 1579 0.56 o 1573 0.56 o 1558 0.56 o 1554 0.56 o 1553 0.56 o 1547 0.56 o 1492 0.56 o 1484 0.57 o 1480 0.57 o 1474 0.57 o 1465 0.57 o 1458 0.57 o 1454 0.57 o 1452 0.57 o 1425 0.57 o 1397 0.58 o 1391 0.58 o 1386 0.58 o 1383 0.58 o 1377 0.58 o 1320 0.58 o 1306 0.59 o 1279 1.02 o 1236 1.03 o 1222 1.10 o 1187 9.96 o 1136 10.40 o 1135 10.42 o 1122 10.43 o 1114 10.46 o 1109 10.46 o 1088 10.46 o 1084 10.46 o 1083 10.46 o 1079 10.47 o 1073 10.47 o 1071 10.47 o 1070 10.47 o 1062 10.47 o 1060 10.47 o 1057 10.47 o 1001 10.47 o 997 10.47 o 996 10.48 o 992 10.48 o 986 10.48 o 984 10.48 o 983 10.48 o 975 10.48 o 973 10.48 o 970 10.48 o 914 10.49 o 911 10.50 o 910 10.50 o 854 10.50 o 850 10.50 o 849 10.50 o 847 10.50 o 840 10.50 o 839 10.51 o 837 10.51 o 836 10.51 o 828 10.51 o 826 10.51 o 824 10.51 o 823 10.51 o 767 10.51 o 763 10.51 o 762 10.52 o 760 10.52 o 753 10.52 o 752 10.52 o 750 10.52 o 749 10.52 o 741 10.52 o 739 10.52 o 737 10.53 o 736 10.53 o 680 10.53 o 676 10.53 o 675 10.53 o 673 10.54 o 671 10.55 o 667 10.61 o 663 10.61 o 609 10.62 o 587 10.63 o 585 10.64 o 581 10.68 o 576 10.70 o 570 10.73 o 569 10.75 o 566 10.76 o 564 10.76 o 562 10.78 o 561 10.85 o 560 10.87 o 558 10.90 o 557 11.34 o 555 13.09 o 552 13.12 o 549 13.12 o 546 13.12 o 544 13.14 o 541 13.19 o 539 13.22 o 485 13.49 o 481 13.55 o 480 13.57 o 473 13.63 o 465 14.10 o 424 15.20 o 400 18.97 o 398 26.25 o 397 33.30 o 396 35.46 o 395 40.24 o 383 41.64 o 382 873.33 o 377
ERROR: no interpretation found !
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/node19/watcher-41532-1149367656 -o ROOT/results/node19/solver-41532-1149367656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41532-1149367656/instance-41532-1149367656.opb 417485909 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 13374 /proc/meminfo: memFree=1701320/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=1400 CPUtime=0 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 148 0 0 0 0 0 0 0 19 0 1 0 202428610 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 350 130 97 232 0 115 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.95 0.97 2/64 13374 /proc/meminfo: memFree=1695760/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=10404 CPUtime=9.99 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 1529 0 0 0 992 7 0 0 25 0 1 0 202428610 10653696 1507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 2601 1507 108 232 0 2366 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10404 [startup+20.0077 s] /proc/loadavg: 0.94 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1690960/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=11556 CPUtime=19.99 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 2764 0 0 0 1990 9 0 0 25 0 1 0 202428610 11833344 2693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 2889 2693 108 232 0 2654 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11556 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1690512/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=12236 CPUtime=29.99 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 2979 0 0 0 2989 10 0 0 25 0 1 0 202428610 12529664 2811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3059 2811 108 232 0 2824 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 12236 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1690064/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=12372 CPUtime=40 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3088 0 0 0 3989 11 0 0 25 0 1 0 202428610 12668928 2920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3093 2920 108 232 0 2858 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12372 [startup+50.027 s] /proc/loadavg: 0.96 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1689552/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=13412 CPUtime=50.01 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3375 0 0 0 4989 12 0 0 25 0 1 0 202428610 13733888 3014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551537 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3353 3014 108 232 0 3118 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 13412 [startup+60.0331 s] /proc/loadavg: 0.97 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1689424/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=13740 CPUtime=60.01 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3449 0 0 0 5988 13 0 0 25 0 1 0 202428610 14069760 3088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3435 3088 108 232 0 3200 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 13740 [startup+70.0392 s] /proc/loadavg: 0.97 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1689104/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=13876 CPUtime=70.01 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3515 0 0 0 6988 13 0 0 25 0 1 0 202428610 14209024 3154 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3469 3154 108 232 0 3234 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 13876 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1688912/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=13876 CPUtime=80.01 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3570 0 0 0 7987 14 0 0 25 0 1 0 202428610 14209024 3209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3469 3209 108 232 0 3234 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 13876 [startup+90.0514 s] /proc/loadavg: 0.98 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1688784/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=14024 CPUtime=90.02 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3620 0 0 0 8987 15 0 0 25 0 1 0 202428610 14360576 3259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3506 3259 108 232 0 3271 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 14024 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1688528/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=14196 CPUtime=100.02 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3680 0 0 0 9986 16 0 0 25 0 1 0 202428610 14536704 3319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3549 3319 108 232 0 3314 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 14196 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.97 2/64 13374 /proc/meminfo: memFree=1688336/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=14404 CPUtime=110.02 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3724 0 0 0 10985 17 0 0 25 0 1 0 202428610 14749696 3363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3601 3363 108 232 0 3366 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 14404 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1688080/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=14596 CPUtime=120.02 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 3782 0 0 0 11985 17 0 0 25 0 1 0 202428610 14946304 3421 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 3649 3421 108 232 0 3414 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 14596 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1687568/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16268 CPUtime=130.03 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4236 0 0 0 12984 19 0 0 25 0 1 0 202428610 16658432 3490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4067 3490 108 232 0 3832 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 16268 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1687568/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16404 CPUtime=140.03 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4297 0 0 0 13983 20 0 0 25 0 1 0 202428610 16797696 3551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4101 3551 108 232 0 3866 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 16404 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1687312/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16536 CPUtime=150.03 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4360 0 0 0 14982 21 0 0 25 0 1 0 202428610 16932864 3614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4134 3614 108 232 0 3899 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 16536 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1687184/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16536 CPUtime=160.03 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4390 0 0 0 15981 22 0 0 25 0 1 0 202428610 16932864 3644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4134 3644 108 232 0 3899 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 16536 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1686992/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16756 CPUtime=170.05 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4437 0 0 0 16981 24 0 0 25 0 1 0 202428610 17158144 3691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4189 3691 108 232 0 3954 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 16756 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1686864/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=16756 CPUtime=180.04 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4464 0 0 0 17980 24 0 0 25 0 1 0 202428610 17158144 3718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4189 3718 108 232 0 3954 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 16756 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1686672/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=17004 CPUtime=190.05 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4513 0 0 0 18980 25 0 0 25 0 1 0 202428610 17412096 3767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4251 3767 108 232 0 4016 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 17004 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1686480/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=17004 CPUtime=200.05 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 4550 0 0 0 19979 26 0 0 25 0 1 0 202428610 17412096 3804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 4251 3804 108 232 0 4016 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 17004 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13374 /proc/meminfo: memFree=1686352/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13276 0 0 0 178034 118 0 0 25 0 1 0 202428610 61243392 10224 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10224 108 232 0 14717 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 59808 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1782.52 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13276 0 0 0 178134 118 0 0 25 0 1 0 202428610 61243392 10224 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10224 108 232 0 14717 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 59808 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1783.53 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13277 0 0 0 178235 118 0 0 25 0 1 0 202428610 61243392 10225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10225 108 232 0 14717 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 59808 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1784.53 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13278 0 0 0 178335 118 0 0 25 0 1 0 202428610 61243392 10226 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10226 108 232 0 14717 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 59808 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1785.53 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13280 0 0 0 178435 118 0 0 25 0 1 0 202428610 61243392 10228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10228 108 232 0 14717 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 59808 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1786.54 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13280 0 0 0 178536 118 0 0 25 0 1 0 202428610 61243392 10228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10228 108 232 0 14717 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 59808 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1660048/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1787.54 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13281 0 0 0 178636 118 0 0 25 0 1 0 202428610 61243392 10229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10229 108 232 0 14717 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 59808 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659984/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1788.55 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13282 0 0 0 178737 118 0 0 25 0 1 0 202428610 61243392 10230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10230 108 232 0 14717 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 59808 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1789.55 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13302 0 0 0 178837 118 0 0 25 0 1 0 202428610 61243392 10250 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10250 108 232 0 14717 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 59808 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1790.56 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13304 0 0 0 178938 118 0 0 25 0 1 0 202428610 61243392 10252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10252 108 232 0 14717 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 59808 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1791.56 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13305 0 0 0 179038 118 0 0 25 0 1 0 202428610 61243392 10253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10253 108 232 0 14717 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 59808 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1792.56 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13306 0 0 0 179138 118 0 0 25 0 1 0 202428610 61243392 10254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10254 108 232 0 14717 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 59808 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1793.57 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13307 0 0 0 179239 118 0 0 25 0 1 0 202428610 61243392 10255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10255 108 232 0 14717 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 59808 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659920/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1794.57 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13310 0 0 0 179339 118 0 0 25 0 1 0 202428610 61243392 10258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10258 108 232 0 14717 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 59808 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1795.58 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13312 0 0 0 179440 118 0 0 25 0 1 0 202428610 61243392 10260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10260 108 232 0 14717 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 59808 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1796.58 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13313 0 0 0 179540 118 0 0 25 0 1 0 202428610 61243392 10261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10261 108 232 0 14717 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 59808 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1797.6 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13313 0 0 0 179641 119 0 0 25 0 1 0 202428610 61243392 10261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10261 108 232 0 14717 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 59808 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1798.6 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13314 0 0 0 179741 119 0 0 25 0 1 0 202428610 61243392 10262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10262 108 232 0 14717 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 59808 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1799.6 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13315 0 0 0 179841 119 0 0 25 0 1 0 202428610 61243392 10263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10263 108 232 0 14717 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 59808 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1800.61 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13316 0 0 0 179942 119 0 0 25 0 1 0 202428610 61243392 10264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10264 108 232 0 14717 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 59808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 13570 /proc/meminfo: memFree=1659856/2055920 swapFree=4181416/4192956 [pid=13374] ppid=13372 vsize=59808 CPUtime=1800.61 /proc/13374/stat : 13374 (PBS4L) R 13372 13374 13328 0 -1 4194304 13316 0 0 0 179942 119 0 0 25 0 1 0 202428610 61243392 10264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13374/statm: 14952 10264 108 232 0 14717 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 59808 Sending SIGTERM to -13374 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.63 CPU user time (s): 1799.43 CPU system time (s): 1.19982 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 59808 The end
Begin job on node19 on Sat Jun 3 20:47:36 UTC 2006 FILE ID= 41532-1149367656 PBS_JOBID= 311935 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41532-1149367656/instance-41532-1149367656.opb 417485909 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-41532-1149367656 -o ROOT/results/node19/solver-41532-1149367656 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41532-1149367656/instance-41532-1149367656.opb 417485909 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED= 417485909 /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.236 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.236 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: 1701592 kB Buffers: 5896 kB Cached: 288364 kB SwapCached: 3104 kB Active: 22972 kB Inactive: 279940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1701592 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14732 kB Slab: 37420 kB Committed_AS: 394768 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Sat Jun 3 21:17:37 UTC 2006