Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | UNSAT | 61.8066 | 61.8232 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc05.opb |
MD5SUM | bada111af8c03eca9b9736a7d2e9e703 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.159975 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1940 |
Total number of constraints | 300 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 8 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 451 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524652 |
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/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.02 c ...done 0.00/0.02 c #vars=1940 #constraints=330 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.07/0.09 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=631 0.09/0.19 c restart after 801 decisions 0.19/0.28 c nbDecision=1000 #constraints=1021 0.59/0.65 c nbDecision=1500 #constraints=1462 0.69/0.75 c restart after 1601 decisions 1.19/1.23 c nbDecision=2000 #constraints=1741 1.49/1.56 c nbDecision=2500 #constraints=1832 1.89/1.98 c nbDecision=3000 #constraints=1993 2.09/2.18 c restart after 3201 decisions 2.39/2.41 c nbDecision=3500 #constraints=2119 2.59/2.68 c nbDecision=4000 #constraints=2199 2.89/2.97 c nbDecision=4500 #constraints=2270 3.19/3.26 c nbDecision=5000 #constraints=2333 3.49/3.57 c nbDecision=5500 #constraints=2391 3.89/3.92 c nbDecision=6000 #constraints=2451 4.09/4.15 c restart after 6401 decisions 4.19/4.23 c nbDecision=6500 #constraints=2542 4.49/4.55 c nbDecision=7000 #constraints=2682 4.79/4.85 c nbDecision=7500 #constraints=2800 5.09/5.13 c nbDecision=8000 #constraints=2902 5.40/5.43 c nbDecision=8500 #constraints=2993 5.59/5.67 c nbDecision=9000 #constraints=3074 5.99/6.00 c nbDecision=9500 #constraints=3169 6.29/6.33 c nbDecision=10000 #constraints=3259 6.59/6.69 c nbDecision=10500 #constraints=3344 6.99/7.03 c nbDecision=11000 #constraints=3426 7.29/7.39 c nbDecision=11500 #constraints=3508 7.69/7.78 c nbDecision=12000 #constraints=3588 8.09/8.13 c nbDecision=12500 #constraints=3663 8.29/8.32 c restart after 12801 decisions 8.39/8.46 c nbDecision=13000 #constraints=3718 8.89/8.94 c nbDecision=13500 #constraints=3782 9.29/9.33 c nbDecision=14000 #constraints=3846 9.69/9.77 c nbDecision=14500 #constraints=3909 10.19/10.24 c nbDecision=15000 #constraints=3993 10.59/10.68 c nbDecision=15500 #constraints=4045 10.99/11.09 c nbDecision=16000 #constraints=4104 11.49/11.59 c nbDecision=16500 #constraints=4179 12.09/12.11 c nbDecision=17000 #constraints=4249 12.58/12.60 c nbDecision=17500 #constraints=4309 13.09/13.17 c nbDecision=18000 #constraints=4378 13.68/13.72 c nbDecision=18500 #constraints=4443 14.19/14.26 c nbDecision=19000 #constraints=4499 14.78/14.88 c nbDecision=19500 #constraints=4573 15.30/15.32 c nbDecision=20000 #constraints=4619 15.89/15.99 c nbDecision=20500 #constraints=4691 16.59/16.63 c nbDecision=21000 #constraints=4768 17.19/17.29 c nbDecision=21500 #constraints=4844 17.89/17.92 c nbDecision=22000 #constraints=4907 18.49/18.53 c nbDecision=22500 #constraints=4962 19.09/19.16 c nbDecision=23000 #constraints=5014 19.69/19.80 c nbDecision=23500 #constraints=5070 20.28/20.36 c nbDecision=24000 #constraints=5122 20.89/20.98 c nbDecision=24500 #constraints=5184 21.48/21.58 c nbDecision=25000 #constraints=5248 22.18/22.26 c nbDecision=25500 #constraints=5307 22.38/22.40 c restart after 25601 decisions 22.88/22.92 c nbDecision=26000 #constraints=5368 23.38/23.50 c nbDecision=26500 #constraints=5435 23.98/24.08 c nbDecision=27000 #constraints=5499 24.68/24.73 c nbDecision=27500 #constraints=5566 25.39/25.42 c nbDecision=28000 #constraints=5650 25.79/25.88 c nbDecision=28500 #constraints=5704 26.39/26.45 c nbDecision=29000 #constraints=5758 26.89/26.93 c nbDecision=29500 #constraints=5817 27.79/27.87 c nbDecision=30000 #constraints=5898 28.68/28.78 c nbDecision=30500 #constraints=5963 29.38/29.42 c nbDecision=31000 #constraints=6017 30.08/30.15 c nbDecision=31500 #constraints=6083 30.88/30.90 c nbDecision=32000 #constraints=6160 31.58/31.63 c nbDecision=32500 #constraints=6230 32.28/32.39 c nbDecision=33000 #constraints=6301 33.08/33.16 c nbDecision=33500 #constraints=6369 33.88/33.94 c nbDecision=34000 #constraints=6436 34.58/34.63 c nbDecision=34500 #constraints=6495 35.18/35.21 c nbDecision=35000 #constraints=6545 35.88/35.92 c nbDecision=35500 #constraints=6610 36.48/36.51 c nbDecision=36000 #constraints=6662 37.28/37.33 c nbDecision=36500 #constraints=6729 37.88/37.99 c nbDecision=37000 #constraints=6785 38.69/38.73 c nbDecision=37500 #constraints=6853 39.49/39.51 c nbDecision=38000 #constraints=6926 40.28/40.35 c nbDecision=38500 #constraints=6996 41.08/41.14 c nbDecision=39000 #constraints=7058 41.78/41.89 c nbDecision=39500 #constraints=7119 42.58/42.63 c nbDecision=40000 #constraints=7179 43.48/43.51 c nbDecision=40500 #constraints=7255 44.18/44.29 c nbDecision=41000 #constraints=7314 45.18/45.22 c nbDecision=41500 #constraints=7384 45.98/46.03 c nbDecision=42000 #constraints=7453 46.68/46.79 c nbDecision=42500 #constraints=7518 47.58/47.61 c nbDecision=43000 #constraints=7583 48.48/48.52 c nbDecision=43500 #constraints=7650 49.28/49.34 c nbDecision=44000 #constraints=7713 50.08/50.12 c nbDecision=44500 #constraints=7774 50.97/51.07 c nbDecision=45000 #constraints=7838 51.68/51.75 c nbDecision=45500 #constraints=7889 52.68/52.74 c nbDecision=46000 #constraints=7958 53.79/53.80 c nbDecision=46500 #constraints=8039 54.38/54.47 c nbDecision=47000 #constraints=8089 55.18/55.27 c nbDecision=47500 #constraints=8150 56.08/56.14 c nbDecision=48000 #constraints=8212 56.98/57.09 c nbDecision=48500 #constraints=8279 57.88/57.99 c nbDecision=49000 #constraints=8337 58.58/58.63 c nbDecision=49500 #constraints=8384 59.28/59.34 c nbDecision=50000 #constraints=8430 60.18/60.22 c nbDecision=50500 #constraints=8496 60.98/61.06 c nbDecision=51000 #constraints=8554 61.48/61.58 c restart after 51201 decisions 61.78/61.81 c nbDecision=51253 #constraints=8589 61.78/61.81 61.78/61.81 s UNSATISFIABLE 61.78/61.81 61.78/61.81 c user time= 61.7466 s 61.78/61.81 c system time= 0.053991 s 61.78/61.81 c wall clock time=61.8154
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-363056-1176850674 -o ROOT/results/node34/solver-363056-1176850674 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363056-1176850674/instance-363056-1176850674.opb mod 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.98 3/77 5014 /proc/meminfo: memFree=1809240/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=1468 CPUtime=0 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 132982867 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 367 168 131 317 0 46 0 [startup+0.075497 s] /proc/loadavg: 0.92 0.98 0.98 3/77 5014 /proc/meminfo: memFree=1809240/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=2552 CPUtime=0.07 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 453 0 0 0 7 0 0 0 18 0 1 0 132982867 2613248 435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284125 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 638 435 139 317 0 317 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2552 [startup+0.101498 s] /proc/loadavg: 0.92 0.98 0.98 3/77 5014 /proc/meminfo: memFree=1809240/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=2680 CPUtime=0.09 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 486 0 0 0 9 0 0 0 18 0 1 0 132982867 2744320 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 670 468 139 317 0 349 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2680 [startup+0.301513 s] /proc/loadavg: 0.92 0.98 0.98 3/77 5014 /proc/meminfo: memFree=1809240/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=3460 CPUtime=0.29 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 691 0 0 0 29 0 0 0 19 0 1 0 132982867 3543040 673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 865 673 139 317 0 544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3460 [startup+0.701545 s] /proc/loadavg: 0.92 0.98 0.98 3/77 5014 /proc/meminfo: memFree=1809240/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=4784 CPUtime=0.69 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 992 0 0 0 69 0 0 0 23 0 1 0 132982867 4898816 974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 1196 974 139 317 0 875 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4784 [startup+1.50161 s] /proc/loadavg: 0.92 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1805392/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=5572 CPUtime=1.49 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 1224 0 0 0 149 0 0 0 25 0 1 0 132982867 5705728 1206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 1393 1206 139 317 0 1072 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5572 [startup+3.10174 s] /proc/loadavg: 0.93 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1803728/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=7856 CPUtime=3.09 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 1767 0 0 0 309 0 0 0 25 0 1 0 132982867 8044544 1749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 1964 1749 139 317 0 1643 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7856 [startup+6.30199 s] /proc/loadavg: 0.93 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1801104/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=9712 CPUtime=6.29 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 2276 0 0 0 628 1 0 0 25 0 1 0 132982867 9945088 2258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563885 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 2428 2258 170 317 0 2107 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9712 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1797656/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=13048 CPUtime=12.68 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 3046 0 0 0 1267 1 0 0 25 0 1 0 132982867 13361152 3028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 3262 3028 170 317 0 2941 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13048 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1793112/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=17420 CPUtime=25.49 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 4158 0 0 0 2546 3 0 0 25 0 1 0 132982867 17838080 4140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 4355 4140 170 317 0 4034 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17420 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1788440/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=22160 CPUtime=51.07 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5298 0 0 0 5103 4 0 0 25 0 1 0 132982867 22691840 5280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 5540 5280 170 317 0 5219 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22160 Solver just ended. Dumping a history of the last processes samples [startup+57.501 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1787416/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=23728 CPUtime=57.48 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5666 0 0 0 5743 5 0 0 25 0 1 0 132982867 24297472 5591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 5932 5591 170 317 0 5611 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 23728 [startup+59.1022 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1786904/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=23728 CPUtime=59.08 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5668 0 0 0 5903 5 0 0 25 0 1 0 132982867 24297472 5593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 5932 5593 170 317 0 5611 0 Current children cumulated CPU time (s) 59.08 Current children cumulated vsize (KiB) 23728 [startup+60.7013 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1786904/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=23860 CPUtime=60.68 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5724 0 0 0 6063 5 0 0 25 0 1 0 132982867 24432640 5649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 5965 5649 170 317 0 5644 0 Current children cumulated CPU time (s) 60.68 Current children cumulated vsize (KiB) 23860 [startup+61.5014 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1786776/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=23992 CPUtime=61.48 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5756 0 0 0 6143 5 0 0 25 0 1 0 132982867 24567808 5681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 5998 5681 170 317 0 5677 0 Current children cumulated CPU time (s) 61.48 Current children cumulated vsize (KiB) 23992 [startup+61.7014 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1786776/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=24124 CPUtime=61.68 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5758 0 0 0 6163 5 0 0 25 0 1 0 132982867 24702976 5683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 6031 5683 170 317 0 5710 0 Current children cumulated CPU time (s) 61.68 Current children cumulated vsize (KiB) 24124 [startup+61.8014 s] /proc/loadavg: 0.97 0.98 0.98 2/78 5015 /proc/meminfo: memFree=1786776/2055920 swapFree=4121644/4192956 [pid=5014] ppid=5012 vsize=24124 CPUtime=61.78 /proc/5014/stat : 5014 (oree) R 5012 5014 4671 0 -1 4194304 5760 0 0 0 6173 5 0 0 25 0 1 0 132982867 24702976 5685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5014/statm: 6031 5685 170 317 0 5710 0 Current children cumulated CPU time (s) 61.78 Current children cumulated vsize (KiB) 24124 Child status: 0 Real time (s): 61.8232 CPU time (s): 61.8066 CPU user time (s): 61.7486 CPU system time (s): 0.057991 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 24124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.7486 system time used= 0.057991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5776 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= 8 involuntary context switches= 155 runsolver used 0.079987 second user time and 0.153976 second system time The end
Begin job on node34 on Tue Apr 17 22:57:54 UTC 2007 IDJOB= 363056 IDBENCH= 1729 IDSOLVER= 172 FILE ID= node34/363056-1176850674 PBS_JOBID= 4590202 Free space on /tmp= 66487 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc05.opb COMMAND LINE= oree /tmp/evaluation/363056-1176850674/instance-363056-1176850674.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-363056-1176850674 -o ROOT/results/node34/solver-363056-1176850674 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363056-1176850674/instance-363056-1176850674.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bada111af8c03eca9b9736a7d2e9e703 RANDOM SEED= 90845439 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1809584 kB Buffers: 33056 kB Cached: 140712 kB SwapCached: 3440 kB Active: 67872 kB Inactive: 130056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809584 kB SwapTotal: 4192956 kB SwapFree: 4121644 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 30612 kB Slab: 33676 kB Committed_AS: 405216 kB PageTables: 1976 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66487 MiB End job on node34 on Tue Apr 17 22:58:56 UTC 2007