Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | UNSAT | 482.557 | 482.682 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb |
MD5SUM | 405dbc2a6d00bd8f8eb32b58f88b8706 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 5.40018 |
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 | 5380 |
Total number of constraints | 584 |
Number of constraints which are clauses | 32 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 54 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 133143986052 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 8388608000000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 17124187591735 |
Number of bits of the biggest sum of numbers | 44 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.04 c constraints 503/0 clauses 81/0 units 0 0.00/0.04 c vars 5380 0.00/0.04 c objective 3720 + 0 482.17/482.31 c 432.001 81.6328 22962 19474682 482.46/482.67 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682945-1277489236/watcher-2682945-1277489236 -o /tmp/evaluation-result-2682945-1277489236/solver-2682945-1277489236 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682945-1277489236.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 1.00 4/106 31196 /proc/meminfo: memFree=1805592/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=2416 CPUtime=0 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 294 0 0 0 0 0 0 0 17 0 1 0 124527545 2473984 214 1992294400 134512640 136421960 4289620672 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31196/statm: 604 214 135 467 0 135 0 [startup+0.0724499 s] /proc/loadavg: 1.00 1.02 1.00 4/106 31196 /proc/meminfo: memFree=1805592/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=6888 CPUtime=0.06 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 1423 0 0 0 6 0 0 0 17 0 1 0 124527545 7053312 1343 1992294400 134512640 136421960 4289620672 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 1722 1345 194 467 0 1253 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6888 [startup+0.101486 s] /proc/loadavg: 1.00 1.02 1.00 4/106 31196 /proc/meminfo: memFree=1805592/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=9292 CPUtime=0.09 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 2026 0 0 0 9 0 0 0 17 0 1 0 124527545 9515008 1946 1992294400 134512640 136421960 4289620672 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 2323 1946 194 467 0 1854 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9292 [startup+0.301474 s] /proc/loadavg: 1.00 1.02 1.00 4/106 31196 /proc/meminfo: memFree=1805592/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=25468 CPUtime=0.29 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 6123 0 0 0 27 2 0 0 17 0 1 0 124527545 26079232 5977 1992294400 134512640 136421960 4289620672 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 6367 5978 195 467 0 5898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25468 [startup+0.701514 s] /proc/loadavg: 1.00 1.02 1.00 4/106 31196 /proc/meminfo: memFree=1805592/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=68748 CPUtime=0.69 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 17496 0 0 0 63 6 0 0 17 0 1 0 124527545 70397952 16815 1992294400 134512640 136421960 4289620672 18446744073709551615 134723147 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 17187 16815 205 467 0 16718 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 68748 [startup+1.5016 s] /proc/loadavg: 1.00 1.02 1.00 3/107 31197 /proc/meminfo: memFree=1732796/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=77656 CPUtime=1.49 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 19690 0 0 0 135 14 0 0 18 0 1 0 124527545 79519744 18370 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19414 18370 216 467 0 18945 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77656 [startup+3.10076 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31197 /proc/meminfo: memFree=1732548/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=77788 CPUtime=3.09 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 19728 0 0 0 272 37 0 0 21 0 1 0 124527545 79654912 18408 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19447 18408 217 467 0 18978 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77788 [startup+6.30109 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31197 /proc/meminfo: memFree=1732052/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=77920 CPUtime=6.29 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 19767 0 0 0 553 76 0 0 25 0 1 0 124527545 79790080 18447 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19480 18447 217 467 0 19011 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77920 [startup+12.7007 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31197 /proc/meminfo: memFree=1731556/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=78320 CPUtime=12.69 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 19873 0 0 0 1106 163 0 0 25 0 1 0 124527545 80199680 18553 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19580 18553 217 467 0 19111 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78320 [startup+25.5011 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31197 /proc/meminfo: memFree=1730688/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=79152 CPUtime=25.49 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20086 0 0 0 2215 334 0 0 25 0 1 0 124527545 81051648 18766 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19788 18766 217 467 0 19319 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79152 [startup+51.1017 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31197 /proc/meminfo: memFree=1729572/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=80320 CPUtime=51.08 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20344 0 0 0 4459 649 0 0 25 0 1 0 124527545 82247680 19024 1992294400 134512640 136421960 4289620672 18446744073709551615 134867947 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20080 19024 217 467 0 19611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80320 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31199 /proc/meminfo: memFree=1728580/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=81112 CPUtime=102.28 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20565 0 0 0 8994 1234 0 0 25 0 1 0 124527545 83058688 19245 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20278 19245 217 467 0 19809 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 81112 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31201 /proc/meminfo: memFree=1727960/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=81896 CPUtime=162.25 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20714 0 0 0 14312 1913 0 0 25 0 1 0 124527545 83861504 19394 1992294400 134512640 136421960 4289620672 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20474 19394 217 467 0 20005 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 81896 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31203 /proc/meminfo: memFree=1727836/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=82028 CPUtime=222.23 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20756 0 0 0 19653 2570 0 0 25 0 1 0 124527545 83996672 19436 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20507 19436 217 467 0 20038 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 82028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31203 /proc/meminfo: memFree=1727092/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=82688 CPUtime=282.22 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 20950 0 0 0 25035 3187 0 0 25 0 1 0 124527545 84672512 19630 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20672 19630 217 467 0 20203 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 82688 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31205 /proc/meminfo: memFree=1726596/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83084 CPUtime=342.21 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21027 0 0 0 30441 3780 0 0 25 0 1 0 124527545 85078016 19707 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20771 19707 217 467 0 20302 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 83084 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31210 /proc/meminfo: memFree=1725604/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83216 CPUtime=402.18 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21077 0 0 0 35863 4355 0 0 25 0 1 0 124527545 85213184 19757 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20804 19757 217 467 0 20335 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 83216 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=462.18 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21142 0 0 0 41344 4874 0 0 25 0 1 0 124527545 85594112 19822 1992294400 134512640 136421960 4289620672 18446744073709551615 134868272 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19822 217 467 0 20428 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 83588 Solver just ended. Dumping a history of the last processes samples [startup+473.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=473.37 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21143 0 0 0 42380 4957 0 0 25 0 1 0 124527545 85594112 19823 1992294400 134512640 136421960 4289620672 18446744073709551615 135032490 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19823 217 467 0 20428 0 Current children cumulated CPU time (s) 473.37 Current children cumulated vsize (KiB) 83588 [startup+476.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=476.57 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21143 0 0 0 42680 4977 0 0 25 0 1 0 124527545 85594112 19823 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19823 217 467 0 20428 0 Current children cumulated CPU time (s) 476.57 Current children cumulated vsize (KiB) 83588 [startup+479.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=479.77 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21146 0 0 0 42978 4999 0 0 25 0 1 0 124527545 85594112 19826 1992294400 134512640 136421960 4289620672 18446744073709551615 135818225 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19826 217 467 0 20428 0 Current children cumulated CPU time (s) 479.77 Current children cumulated vsize (KiB) 83588 [startup+481.502 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=481.37 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21146 0 0 0 43126 5011 0 0 25 0 1 0 124527545 85594112 19826 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19826 217 467 0 20428 0 Current children cumulated CPU time (s) 481.37 Current children cumulated vsize (KiB) 83588 [startup+482.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=83588 CPUtime=482.17 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21146 0 0 0 43199 5018 0 0 25 0 1 0 124527545 85594112 19826 1992294400 134512640 136421960 4289620672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 20897 19826 217 467 0 20428 0 Current children cumulated CPU time (s) 482.17 Current children cumulated vsize (KiB) 83588 [startup+482.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=78956 CPUtime=482.36 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21171 0 0 0 43218 5018 0 0 25 0 1 0 124527545 80850944 19086 1992294400 134512640 136421960 4289620672 18446744073709551615 134701435 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19739 19086 241 467 0 19270 0 Current children cumulated CPU time (s) 482.36 Current children cumulated vsize (KiB) 78956 [startup+482.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=1725480/2059040 swapFree=4134716/4192956 [pid=31196] ppid=31194 vsize=78956 CPUtime=482.46 /proc/31196/stat : 31196 (pbct) R 31194 31196 30159 0 -1 4202496 21171 0 0 0 43228 5018 0 0 25 0 1 0 124527545 80850944 19086 1992294400 134512640 136421960 4289620672 18446744073709551615 135801316 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31196/statm: 19739 19086 241 467 0 19270 0 Current children cumulated CPU time (s) 482.46 Current children cumulated vsize (KiB) 78956 Child status: 0 Real time (s): 482.682 CPU time (s): 482.557 CPU user time (s): 432.359 CPU system time (s): 50.1974 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 83588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 432.359 system time used= 50.1974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21172 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= 1 involuntary context switches= 763 runsolver used 0.743886 second user time and 2.33564 second system time The end
Begin job on node002 at 2010-06-25 20:07:16 IDJOB=2682945 IDBENCH=2540 IDSOLVER=1192 FILE ID=node002/2682945-1277489236 PBS_JOBID= 11190533 Free space on /tmp= 62412 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682945-1277489236/watcher-2682945-1277489236 -o /tmp/evaluation-result-2682945-1277489236/solver-2682945-1277489236 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682945-1277489236.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 405dbc2a6d00bd8f8eb32b58f88b8706 RANDOM SEED=1459297704 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806120 kB Buffers: 19440 kB Cached: 135396 kB SwapCached: 10224 kB Active: 18532 kB Inactive: 148804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806120 kB SwapTotal: 4192956 kB SwapFree: 4134716 kB Dirty: 2032 kB Writeback: 0 kB AnonPages: 11348 kB Mapped: 8368 kB Slab: 63440 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62412 MiB End job on node002 at 2010-06-25 20:15:19