Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 31.5712 | 31.586 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb |
MD5SUM | a92642ddb77f2466b803e375801dde37 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.108983 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 126 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/429204-1177981696/instance-429204-1177981696.opb 0.00/0.00 c File size is 5394 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.01 c Switching off LPR mode. 2.29/2.33 c 103 420 710 6686 9 2362 3788 103 7923 0.01 2.29/2.33 c 254 420 861 13543 15 2648 4167 254 11043 0.02 2.29/2.33 c 480 420 1087 24612 22 3092 4584 480 12307 0.04 2.29/2.33 c 818 420 1425 40005 28 3778 5043 818 12393 0.07 2.29/2.33 c 1326 420 1933 64487 33 4787 5548 1326 12392 0.11 2.29/2.33 c 2089 420 2696 100590 37 6307 6103 2089 10658 0.20 2.29/2.33 c 3236 420 3843 155710 40 8600 6714 3236 9573 0.34 2.29/2.33 c 4957 420 5564 242824 43 12067 7386 4957 7843 0.63 2.29/2.33 c 7542 420 4301 192135 44 9482 8125 3694 7452 1.01 2.29/2.33 c 11421 420 8180 370813 45 17281 8938 7573 6140 1.86 2.29/2.33 o 97 2.333 22.88/22.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.88/22.98 c 14924 420 6822 304104 44 14539 3457 6215 6394 2.33 22.88/22.98 c 15024 420 2437 101441 41 5747 3803 1830 6347 2.37 22.88/22.98 c 15274 420 2687 116774 43 6284 4184 2080 6327 2.41 22.88/22.98 c 15750 420 3163 142959 45 7192 4603 2556 6423 2.45 22.88/22.98 c 16563 420 3976 180934 45 8830 5064 3369 6580 2.52 22.88/22.98 c 17884 420 5297 247561 46 11478 5571 4690 6720 2.66 22.88/22.98 c 19966 420 4341 182651 42 9571 6129 3734 6554 3.05 22.88/22.98 c 23190 420 4185 186758 44 9251 6742 3578 6483 3.58 22.88/22.98 c 28126 420 5437 238731 43 11792 7417 4830 6563 4.29 22.88/22.98 c 35636 420 4951 242075 48 10795 8159 4344 5254 6.78 22.88/22.98 c 46997 417 7912 347468 43 16714 8975 7305 4777 9.84 22.88/22.98 c 64142 417 6382 293044 45 13619 9873 5775 3923 16.35 22.88/22.98 o 65 22.973 26.88/26.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.88/26.94 c 78526 413 5550 234972 42 11983 3457 4943 3405 23.06 26.88/26.94 c 78626 413 2442 86055 35 5779 3803 1835 3405 23.09 26.88/26.94 c 78877 413 2693 99206 36 6268 4184 2086 3411 23.12 26.88/26.94 c 79353 413 3169 123203 38 7217 4603 2562 3422 23.19 26.88/26.94 c 80167 413 3983 164287 41 8867 5064 3376 3433 23.35 26.88/26.94 c 81487 413 5303 233915 44 11528 5571 4696 3467 23.50 26.88/26.94 c 83569 413 4411 199465 45 9743 6129 3804 3474 24.05 26.88/26.94 c 86792 413 4529 192117 42 9948 6742 3922 3478 24.95 26.88/26.94 c 91729 413 5923 257307 43 12789 7417 5316 3424 26.78 26.88/26.94 o 5 26.927 27.49/27.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.49/27.53 c 92567 413 6762 300191 44 14456 3457 6155 3437 26.93 27.49/27.53 c 92668 405 2445 91051 37 5801 3803 1838 3435 26.97 27.49/27.53 c 92918 405 2695 104102 38 6337 4184 2088 3440 27.00 27.49/27.53 c 93393 405 3170 128370 40 7262 4603 2563 3450 27.06 27.49/27.53 c 94206 405 3983 167907 42 8909 5064 3376 3463 27.20 27.49/27.53 c 95527 394 5304 228897 43 11510 5571 4697 3478 27.46 27.49/27.53 o 3 27.523 31.48/31.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.48/31.58 c 95881 374 5659 246558 43 12195 3449 5052 3483 27.52 31.48/31.58 c 95981 366 2442 86939 35 5805 3794 1835 3484 27.55 31.48/31.58 c 96232 366 2693 98822 36 6284 4174 2086 3488 27.59 31.48/31.58 c 96708 366 3169 121405 38 7211 4592 2562 3495 27.67 31.48/31.58 c 97521 366 3982 161266 40 8844 5052 3375 3503 27.84 31.48/31.58 c 98842 366 5303 225160 42 11506 5558 4696 3506 28.19 31.48/31.58 c 100924 366 4517 191669 42 9920 6114 3910 3507 28.78 31.48/31.58 c 104148 355 4595 197862 43 10084 6726 3988 3470 30.01 31.48/31.58 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 31.48/31.58 v -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x85 -x86 -x87 31.48/31.58 v -x88 -x89 -x90 -x91 x57 -x58 -x59 x60 -x61 -x62 -x63 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x64 x65 -x66 x67 x68 -x69 -x70 -x99 -x100 31.48/31.58 v -x101 -x102 -x103 -x104 -x105 x71 x72 -x73 x74 -x75 -x76 x77 x106 x107 -x108 -x109 -x110 -x111 -x112 x78 -x79 -x80 -x81 -x82 31.48/31.58 v -x83 -x84 -x113 x114 -x115 x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 31.48/31.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.48/31.58 c 45 108255 1377 117059 5245 210422 4638 3429 31.57 31.48/31.58 c Objective: 3 31.48/31.58 s OPTIMUM FOUND 31.48/31.58 c Total time: 31.566 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-429204-1177981696 -o ROOT/results/node15/solver-429204-1177981696 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429204-1177981696/instance-429204-1177981696.opb 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.91 0.98 0.98 3/77 25554 /proc/meminfo: memFree=1720736/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11744 CPUtime=0 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 246087198 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 983 346 291 324 0 50 0 [startup+0.100462 s] /proc/loadavg: 0.91 0.98 0.98 3/77 25554 /proc/meminfo: memFree=1720736/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=4972 CPUtime=0.09 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 246087198 5091328 624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 1243 624 312 324 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.201471 s] /proc/loadavg: 0.91 0.98 0.98 3/77 25554 /proc/meminfo: memFree=1720736/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=5628 CPUtime=0.19 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 816 0 0 0 19 0 0 0 18 0 1 0 246087198 5763072 783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 1407 783 312 324 0 476 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5628 [startup+0.30148 s] /proc/loadavg: 0.91 0.98 0.98 3/77 25554 /proc/meminfo: memFree=1720736/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=6020 CPUtime=0.29 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 931 0 0 0 29 0 0 0 19 0 1 0 246087198 6164480 898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 1505 899 312 324 0 574 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6020 [startup+0.701517 s] /proc/loadavg: 0.91 0.98 0.98 3/77 25554 /proc/meminfo: memFree=1720736/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=7836 CPUtime=0.69 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 1384 0 0 0 68 1 0 0 23 0 1 0 246087198 8024064 1351 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 1959 1351 312 324 0 1028 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7836 [startup+1.50159 s] /proc/loadavg: 0.92 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1714584/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=9788 CPUtime=1.49 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 1862 0 0 0 148 1 0 0 25 0 1 0 246087198 10022912 1829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2447 1829 312 324 0 1516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9788 [startup+3.10174 s] /proc/loadavg: 0.92 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1713176/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11088 CPUtime=3.09 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2195 0 0 0 307 2 0 0 25 0 1 0 246087198 11354112 2162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2772 2162 313 324 0 1841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11088 [startup+6.30204 s] /proc/loadavg: 0.92 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712864/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11088 CPUtime=6.29 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2195 0 0 0 625 4 0 0 25 0 1 0 246087198 11354112 2162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2772 2162 313 324 0 1841 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11088 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712888/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11088 CPUtime=12.68 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2195 0 0 0 1263 5 0 0 25 0 1 0 246087198 11354112 2162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2772 2162 313 324 0 1841 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11088 [startup+25.5018 s] /proc/loadavg: 0.94 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11868 CPUtime=25.48 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 2540 8 0 0 25 0 1 0 246087198 12152832 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2967 2344 313 324 0 2036 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11868 Solver just ended. Dumping a history of the last processes samples [startup+25.6018 s] /proc/loadavg: 0.94 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11868 CPUtime=25.58 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 2550 8 0 0 25 0 1 0 246087198 12152832 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2967 2344 313 324 0 2036 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 11868 [startup+28.8011 s] /proc/loadavg: 0.95 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11804 CPUtime=28.78 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 2869 9 0 0 25 0 1 0 246087198 12087296 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2951 2344 313 324 0 2020 0 Current children cumulated CPU time (s) 28.78 Current children cumulated vsize (KiB) 11804 [startup+30.4012 s] /proc/loadavg: 0.95 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11804 CPUtime=30.37 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 3028 9 0 0 25 0 1 0 246087198 12087296 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2951 2344 313 324 0 2020 0 Current children cumulated CPU time (s) 30.37 Current children cumulated vsize (KiB) 11804 [startup+31.2013 s] /proc/loadavg: 0.95 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11804 CPUtime=31.18 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 3108 10 0 0 25 0 1 0 246087198 12087296 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2951 2344 313 324 0 2020 0 Current children cumulated CPU time (s) 31.18 Current children cumulated vsize (KiB) 11804 [startup+31.4013 s] /proc/loadavg: 0.95 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11804 CPUtime=31.38 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 3128 10 0 0 25 0 1 0 246087198 12087296 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2951 2344 313 324 0 2020 0 Current children cumulated CPU time (s) 31.38 Current children cumulated vsize (KiB) 11804 [startup+31.5013 s] /proc/loadavg: 0.95 0.98 0.98 2/78 25555 /proc/meminfo: memFree=1712320/2055920 swapFree=4169108/4192956 [pid=25554] ppid=25552 vsize=11804 CPUtime=31.48 /proc/25554/stat : 25554 (bsolo3.0.16) R 25552 25554 31750 0 -1 4194304 2377 0 0 0 3138 10 0 0 25 0 1 0 246087198 12087296 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25554/statm: 2951 2344 313 324 0 2020 0 Current children cumulated CPU time (s) 31.48 Current children cumulated vsize (KiB) 11804 Child status: 0 Real time (s): 31.586 CPU time (s): 31.5712 CPU user time (s): 31.4672 CPU system time (s): 0.103984 CPU usage (%): 99.9532 Max. virtual memory (cumulated for all children) (KiB): 11868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.4672 system time used= 0.103984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2378 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= 12 involuntary context switches= 669 runsolver used 0.033994 second user time and 0.06299 second system time The end
Begin job on node15 on Tue May 1 01:08:16 UTC 2007 IDJOB= 429204 IDBENCH= 47892 IDSOLVER= 163 FILE ID= node15/429204-1177981696 PBS_JOBID= 4728077 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429204-1177981696/instance-429204-1177981696.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-429204-1177981696 -o ROOT/results/node15/solver-429204-1177981696 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429204-1177981696/instance-429204-1177981696.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a92642ddb77f2466b803e375801dde37 RANDOM SEED= 26859729 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1721144 kB Buffers: 52744 kB Cached: 188880 kB SwapCached: 2360 kB Active: 128428 kB Inactive: 139928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1721144 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 34108 kB Slab: 51836 kB Committed_AS: 7606488 kB PageTables: 1880 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= 66558 MiB End job on node15 on Tue May 1 01:08:48 UTC 2007