Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 41.7916 | 41.8062 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb |
MD5SUM | c07fae5b4c60769a268376cf318d4faa |
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.12698 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
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) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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/429442-1177984814/instance-429442-1177984814.opb 0.00/0.00 c File size is 6272 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.003 s 0.00/0.00 c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.01 c Switching off LPR mode. 5.19/5.30 c 100 490 808 7164 8 2705 4423 100 7142 0.01 5.19/5.30 c 250 490 958 14556 15 2997 4866 250 10000 0.03 5.19/5.30 c 475 490 1183 25471 21 3409 5353 475 11875 0.04 5.19/5.30 c 815 490 1523 42019 27 4141 5889 815 11319 0.07 5.19/5.30 c 1324 490 2032 69320 34 5074 6478 1324 12609 0.10 5.19/5.30 c 2088 490 2796 111493 39 6562 7126 2088 11535 0.18 5.19/5.30 c 3234 490 3942 171207 43 8900 7839 3234 10603 0.30 5.19/5.30 c 4956 490 5664 257122 45 12369 8623 4956 8260 0.60 5.19/5.30 c 7544 490 8252 383485 46 17544 9486 7544 6693 1.13 5.19/5.30 c 11424 490 6978 295929 42 15036 10435 6270 4647 2.46 5.19/5.30 c 17246 490 7194 342526 47 15393 11479 6486 4596 3.75 5.19/5.30 o 115 5.294 18.69/18.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.69/18.72 c 23753 489 7656 356947 46 16345 4034 6948 4486 5.29 18.69/18.72 c 23853 489 2827 108614 38 6766 4438 2119 4475 5.33 18.69/18.72 c 24103 489 3077 122843 39 7221 4882 2369 4504 5.35 18.69/18.72 c 24578 489 3552 149376 42 8181 5371 2844 4559 5.39 18.69/18.72 c 25392 489 4366 194182 44 9769 5909 3658 4636 5.48 18.69/18.72 c 26713 489 5687 265569 46 12445 6500 4979 4727 5.65 18.69/18.72 c 28794 489 4271 185007 43 9591 7151 3563 4768 6.04 18.69/18.72 c 32017 489 7494 351104 46 15987 7867 6786 4900 6.53 18.69/18.72 c 36953 489 8306 413282 49 17668 8654 7598 4838 7.64 18.69/18.72 c 44460 489 6914 381110 55 14851 9520 6206 4480 9.92 18.69/18.72 c 55821 488 8255 447834 54 17541 10473 7547 4346 12.84 18.69/18.72 o 5 18.717 18.78/18.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.78/18.84 c 71556 485 7456 328289 44 15949 4034 6748 3822 18.72 18.78/18.84 c 71656 449 2830 107535 37 6736 4438 2122 3817 18.77 18.78/18.84 c 71907 449 3081 120162 39 7220 4882 2373 3825 18.80 18.78/18.84 o 3 18.835 41.68/41.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.68/41.80 c 72317 449 3492 141806 40 8005 4026 2784 3839 18.84 41.68/41.80 c 72418 449 3593 147442 41 8306 4429 2885 3842 18.85 41.68/41.80 c 72669 441 3844 161278 41 8753 4872 3136 3849 18.88 41.68/41.80 c 73144 441 4319 187144 43 9739 5360 3611 3862 18.94 41.68/41.80 c 73957 441 5132 229606 44 11337 5897 4424 3879 19.06 41.68/41.80 c 75278 441 6453 302567 46 14005 6487 5745 3888 19.36 41.68/41.80 c 77359 441 5203 233618 44 11461 7136 4495 3873 19.97 41.68/41.80 c 80583 441 4771 194383 40 10603 7850 4063 3778 21.33 41.68/41.80 c 85519 430 5397 231954 42 11882 8636 4689 3815 22.41 41.68/41.80 c 93026 430 8423 378355 44 17883 9500 7715 3776 24.63 41.68/41.80 c 104387 430 9574 436015 45 20197 10451 8866 3637 28.70 41.68/41.80 c 121532 429 10613 480278 45 22323 11497 9905 3364 36.12 41.68/41.80 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 41.68/41.80 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 x57 -x58 -x59 41.68/41.80 v -x60 -x61 -x62 -x63 x99 -x100 -x101 -x102 -x103 -x104 -x105 x64 x65 -x66 -x67 -x68 -x69 -x70 -x106 -x107 -x108 -x109 -x110 -x111 41.68/41.80 v -x112 x71 -x72 -x73 -x74 -x75 -x76 -x77 x113 -x114 -x115 -x116 -x117 -x118 -x119 x78 -x79 -x80 -x81 -x82 -x83 x84 -x120 -x121 41.68/41.80 v -x122 -x123 -x124 -x125 -x126 x85 -x86 -x87 -x88 -x89 x90 -x91 x127 -x128 -x129 -x130 x131 x132 -x133 x92 -x93 -x94 -x95 -x96 41.68/41.80 v -x97 -x98 x134 -x135 -x136 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 41.68/41.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 41.68/41.80 c 37 130048 2253 142737 7443 308022 6735 3112 41.79 41.68/41.80 c Objective: 3 41.68/41.80 s OPTIMUM FOUND 41.68/41.80 c Total time: 41.786 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-429442-1177984814 -o ROOT/results/node43/solver-429442-1177984814 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429442-1177984814/instance-429442-1177984814.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.81 0.95 0.93 3/77 3603 /proc/meminfo: memFree=1805432/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=3932 CPUtime=0 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 246393230 4026368 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 983 349 292 324 0 50 0 [startup+0.0722009 s] /proc/loadavg: 0.81 0.95 0.93 3/77 3603 /proc/meminfo: memFree=1805432/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=4716 CPUtime=0.06 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 594 0 0 0 6 0 0 0 18 0 1 0 246393230 4829184 561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 1179 561 312 324 0 248 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4716 [startup+0.101203 s] /proc/loadavg: 0.81 0.95 0.93 3/77 3603 /proc/meminfo: memFree=1805432/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=5100 CPUtime=0.09 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 246393230 5222400 641 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 1275 641 312 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.30122 s] /proc/loadavg: 0.81 0.95 0.93 3/77 3603 /proc/meminfo: memFree=1805432/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=6668 CPUtime=0.29 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 1069 0 0 0 29 0 0 0 19 0 1 0 246393230 6828032 1036 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 1667 1036 312 324 0 736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6668 [startup+0.701254 s] /proc/loadavg: 0.81 0.95 0.93 3/77 3603 /proc/meminfo: memFree=1805432/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=8212 CPUtime=0.69 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 1459 0 0 0 68 1 0 0 23 0 1 0 246393230 8409088 1426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 2053 1426 312 324 0 1122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8212 [startup+1.50133 s] /proc/loadavg: 0.81 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1800176/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=10804 CPUtime=1.49 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2120 0 0 0 147 2 0 0 25 0 1 0 246393230 11063296 2087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 2701 2087 312 324 0 1770 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10804 [startup+3.10146 s] /proc/loadavg: 0.81 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1797360/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=11708 CPUtime=3.09 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2325 0 0 0 307 2 0 0 25 0 1 0 246393230 11988992 2292 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 2927 2292 312 324 0 1996 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11708 [startup+6.30174 s] /proc/loadavg: 0.83 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795512/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=6.29 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 624 5 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13388 [startup+12.7013 s] /proc/loadavg: 0.84 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795712/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=12.68 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 1262 6 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13388 [startup+25.5014 s] /proc/loadavg: 0.87 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795904/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=25.48 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 2538 10 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13388 Solver just ended. Dumping a history of the last processes samples [startup+31.905 s] /proc/loadavg: 0.88 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795904/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=31.89 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 3177 12 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 13388 [startup+38.3015 s] /proc/loadavg: 0.89 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=38.28 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 3816 12 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 13388 [startup+39.9027 s] /proc/loadavg: 0.90 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=39.88 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 3975 13 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (KiB) 13388 [startup+40.7057 s] /proc/loadavg: 0.90 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=40.68 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 4055 13 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 40.68 Current children cumulated vsize (KiB) 13388 [startup+41.5018 s] /proc/loadavg: 0.90 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=41.48 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 4135 13 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 13388 [startup+41.7018 s] /proc/loadavg: 0.90 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=13388 CPUtime=41.68 /proc/3603/stat : 3603 (bsolo3.0.16) R 3601 3603 2433 0 -1 4194304 2760 0 0 0 4155 13 0 0 25 0 1 0 246393230 13709312 2727 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3603/statm: 3347 2727 313 324 0 2416 0 Current children cumulated CPU time (s) 41.68 Current children cumulated vsize (KiB) 13388 [startup+41.8058 s] /proc/loadavg: 0.90 0.95 0.93 2/78 3604 /proc/meminfo: memFree=1795968/2055920 swapFree=4158588/4192956 [pid=3603] ppid=3601 vsize=0 CPUtime=41.78 /proc/3603/stat : 3603 (bsolo3.0.16) D 3601 3603 2433 0 -1 4194308 2761 0 0 0 4165 13 0 0 24 0 1 0 246393230 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 0 0 0 /proc/3603/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 41.78 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 41.8062 CPU time (s): 41.7916 CPU user time (s): 41.6527 CPU system time (s): 0.138978 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 13388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.6527 system time used= 0.138978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2761 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= 11 involuntary context switches= 861 runsolver used 0.029995 second user time and 0.102984 second system time The end
Begin job on node43 on Tue May 1 02:00:14 UTC 2007 IDJOB= 429442 IDBENCH= 47909 IDSOLVER= 163 FILE ID= node43/429442-1177984814 PBS_JOBID= 4728179 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=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429442-1177984814/instance-429442-1177984814.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-429442-1177984814 -o ROOT/results/node43/solver-429442-1177984814 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429442-1177984814/instance-429442-1177984814.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c07fae5b4c60769a268376cf318d4faa RANDOM SEED= 21638949 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1805840 kB Buffers: 10308 kB Cached: 148092 kB SwapCached: 2624 kB Active: 38920 kB Inactive: 143716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805840 kB SwapTotal: 4192956 kB SwapFree: 4158588 kB Dirty: 6740 kB Writeback: 0 kB Mapped: 32252 kB Slab: 52696 kB Committed_AS: 2844500 kB PageTables: 1896 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 node43 on Tue May 1 02:00:56 UTC 2007