Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | Signal | 524.555 | 524.721 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ganges.opb |
MD5SUM | 7a90d6f729b5a7cbedbc2000a888cf36 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 46097 |
Total number of constraints | 1706 |
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 | 1706 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 1432 |
Number of terms in the objective function | 2309 |
Biggest coefficient in the objective function | 19879 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525883 |
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 | 525883 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348670-1176591143/instance-348670-1176591143.opb 0.00/0.01 c File size is 1851505 bytes. 0.28/0.38 c Highest Coefficient sum: 525883 0.28/0.38 c Parsing was ok!! 0.28/0.38 c Total parsing time: 0.376 s 0.39/0.41 c Var: 46097 Constr: 2990 253/0/2737 Lit: 320287 Watch. Lit: 107000 0.39/0.41 c Obj. Vars: 2309 (5.009 % of total variables) 1.58/1.62 c Pre-processing Time: 1.617 s 1.58/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.58/1.63 c 0 28053 2378 283192 119 162430 566384 0 0 1.62 1.58/1.63 c Switching off LPR mode.
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-348670-1176591143 -o ROOT/results/node55/solver-348670-1176591143 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348670-1176591143/instance-348670-1176591143.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.92 0.98 0.99 3/64 31746 /proc/meminfo: memFree=1892732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=3780 CPUtime=0 /proc/31746/stat : 31746 (bsolo3.0.16) D 31744 31746 22043 0 -1 4194304 185 0 1 0 0 0 0 0 18 0 1 0 107024334 3870720 154 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160552364 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/31746/statm: 945 154 128 324 0 14 0 [startup+0.097931 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31746 /proc/meminfo: memFree=1892732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=8484 CPUtime=0.08 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 1165 0 2 0 8 0 0 0 18 0 1 0 107024334 8687616 1095 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7283424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 2121 1095 390 324 0 737 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8484 [startup+0.10293 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31746 /proc/meminfo: memFree=1892732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=8624 CPUtime=0.08 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 1201 0 2 0 8 0 0 0 18 0 1 0 107024334 8830976 1131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7309087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 2156 1131 396 324 0 772 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8624 [startup+0.301948 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31746 /proc/meminfo: memFree=1892732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=12144 CPUtime=0.28 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 2382 0 2 0 28 0 0 0 19 0 1 0 107024334 12435456 2233 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 3036 2233 627 324 0 1652 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12144 [startup+0.701987 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31746 /proc/meminfo: memFree=1892732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=20276 CPUtime=0.69 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 4808 0 2 0 65 4 0 0 23 0 1 0 107024334 20762624 4206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 5069 4206 306 324 0 4138 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20276 [startup+1.50106 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1874548/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=22040 CPUtime=1.48 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 5714 0 2 0 143 5 0 0 25 0 1 0 107024334 22568960 4659 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 5510 4659 308 324 0 4579 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 22040 [startup+3.10122 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1874164/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=22188 CPUtime=3.08 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 5758 0 2 0 301 7 0 0 25 0 1 0 107024334 22720512 4703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 5547 4703 312 324 0 4616 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 22188 [startup+6.30152 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1868916/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=29104 CPUtime=6.28 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 7490 0 2 0 619 9 0 0 25 0 1 0 107024334 29802496 6435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 7276 6435 312 324 0 6345 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29104 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1858804/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=38256 CPUtime=12.68 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 9766 0 2 0 1254 14 0 0 25 0 1 0 107024334 39174144 8711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 9564 8711 312 324 0 8633 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38256 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1851316/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=45300 CPUtime=25.48 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 11529 0 2 0 2531 17 0 0 25 0 1 0 107024334 46387200 10474 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 11325 10474 312 324 0 10394 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45300 [startup+51.1028 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1827444/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=69120 CPUtime=51.07 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 17471 0 2 0 5082 25 0 0 25 0 1 0 107024334 70778880 16416 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 17280 16416 312 324 0 16349 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69120 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1808948/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=87420 CPUtime=102.26 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 22071 0 2 0 10191 35 0 0 25 0 1 0 107024334 89518080 21016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 21855 21016 312 324 0 20924 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 87420 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1785204/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=111332 CPUtime=162.24 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 28024 0 2 0 16176 48 0 0 25 0 1 0 107024334 114003968 26969 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 27833 26969 312 324 0 26902 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 111332 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1772148/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=124212 CPUtime=222.23 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 31250 0 2 0 22165 58 0 0 25 0 1 0 107024334 127193088 30195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 31053 30195 312 324 0 30122 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124212 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1753780/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=142560 CPUtime=282.22 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 35861 0 2 0 28153 69 0 0 25 0 1 0 107024334 145981440 34806 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 35640 34806 312 324 0 34709 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 142560 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1743732/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=152436 CPUtime=342.2 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 38324 0 2 0 34143 77 0 0 25 0 1 0 107024334 156094464 37269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 38109 37269 312 324 0 37178 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 152436 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1734388/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=161952 CPUtime=402.18 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 40685 0 2 0 40134 84 0 0 25 0 1 0 107024334 165838848 39630 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7282413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 40488 39630 312 324 0 39557 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 161952 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31747 /proc/meminfo: memFree=1726708/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=169476 CPUtime=462.16 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 42567 0 2 0 46126 90 0 0 25 0 1 0 107024334 173543424 41512 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 42369 41512 312 324 0 41438 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 169476 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31813 /proc/meminfo: memFree=1717252/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=178512 CPUtime=522.13 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 44845 0 2 0 52116 97 0 0 25 0 1 0 107024334 182796288 43790 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 44628 43790 312 324 0 43697 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 178512 Solver just ended. Dumping a history of the last processes samples [startup+523.102 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31813 /proc/meminfo: memFree=1716356/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=179164 CPUtime=522.93 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 45013 0 2 0 52196 97 0 0 25 0 1 0 107024334 183463936 43958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 44791 43958 312 324 0 43860 0 Current children cumulated CPU time (s) 522.93 Current children cumulated vsize (KiB) 179164 [startup+523.902 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31813 /proc/meminfo: memFree=1715460/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=179688 CPUtime=523.73 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4194304 45142 0 2 0 52276 97 0 0 25 0 1 0 107024334 184000512 44087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 44922 44087 312 324 0 43991 0 Current children cumulated CPU time (s) 523.73 Current children cumulated vsize (KiB) 179688 [startup+524.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31813 /proc/meminfo: memFree=1715460/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=179820 CPUtime=524.13 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4195840 45163 0 2 0 52285 128 0 0 25 0 1 0 107024334 184135680 44108 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 44955 44108 312 324 0 44024 0 Current children cumulated CPU time (s) 524.13 Current children cumulated vsize (KiB) 179820 [startup+524.706 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31819 /proc/meminfo: memFree=1556548/2055920 swapFree=4184852/4192956 [pid=31746] ppid=31744 vsize=0 CPUtime=524.53 /proc/31746/stat : 31746 (bsolo3.0.16) R 31744 31746 22043 0 -1 4195844 45409 0 2 0 52285 168 0 0 25 0 1 0 107024334 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31746/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 524.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 524.721 CPU time (s): 524.555 CPU user time (s): 522.855 CPU system time (s): 1.70074 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 179820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 522.855 system time used= 1.70074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45409 page faults= 2 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= 983 runsolver used 0.320951 second user time and 1.13183 second system time The end
Begin job on node55 on Sat Apr 14 22:52:23 UTC 2007 IDJOB= 348670 IDBENCH= 1708 IDSOLVER= 163 FILE ID= node55/348670-1176591143 PBS_JOBID= 4556955 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ganges.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348670-1176591143/instance-348670-1176591143.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-348670-1176591143 -o ROOT/results/node55/solver-348670-1176591143 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348670-1176591143/instance-348670-1176591143.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7a90d6f729b5a7cbedbc2000a888cf36 RANDOM SEED= 665883142 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1893204 kB Buffers: 13912 kB Cached: 49400 kB SwapCached: 2308 kB Active: 50412 kB Inactive: 26680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1893204 kB SwapTotal: 4192956 kB SwapFree: 4184852 kB Dirty: 6204 kB Writeback: 0 kB Mapped: 20260 kB Slab: 71744 kB Committed_AS: 965264 kB PageTables: 1392 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= 66387 MiB End job on node55 on Sat Apr 14 23:01:08 UTC 2007