Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | UNSAT | 220.226 | 220.309 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb |
MD5SUM | e464fa7a3640eb789ffb0025985d1316 |
Bench Category | DEC-SMALLINT (no 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.006998 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 110 |
Total number of constraints | 21 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2658068-1276579930.opb 0.00/0.00 c File size is 1901 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 110 Constr: 21 11/10/0 Lit: 220 Watch. Lit: 132 0.00/0.00 c Obj. Vars: 0 (0 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 110 21 220 10 132 370 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 220.21/220.30 c 101 110 122 2972 24 334 408 101 20200 0.01 220.21/220.30 c 252 110 273 10312 37 636 449 252 14823 0.02 220.21/220.30 c 478 110 246 8658 35 582 494 225 11658 0.04 220.21/220.30 c 817 110 274 9701 35 638 544 253 9726 0.08 220.21/220.30 c 1326 110 446 18767 42 982 599 425 9608 0.14 220.21/220.30 c 2092 110 494 19996 40 1078 659 473 8789 0.24 220.21/220.30 c 3239 110 472 18343 38 1034 725 451 8057 0.40 220.21/220.30 c 4962 110 510 19627 38 1110 798 489 7716 0.64 220.21/220.30 c 7547 110 421 16275 38 932 878 400 7235 1.04 220.21/220.30 c 11429 110 821 35116 42 1732 966 800 6746 1.69 220.21/220.30 c 17253 110 850 35347 41 1790 1063 829 6190 2.79 220.21/220.30 c 25993 110 619 18162 29 1328 1170 598 6251 4.16 220.21/220.30 c 39105 110 774 29040 37 1638 1288 753 6130 6.38 220.21/220.30 c 58777 110 767 21716 28 1624 1417 746 6118 9.61 220.21/220.30 c 88290 110 1216 42333 34 2522 1559 1195 5786 15.26 220.21/220.30 c 132560 110 1056 36662 34 2202 1715 1035 5458 24.28 220.21/220.30 c 198972 110 1140 33758 29 2370 1887 1119 5166 38.51 220.21/220.30 c 298594 109 1839 64399 35 3767 2076 1818 4733 63.08 220.21/220.30 c 448029 109 1314 42404 32 2717 2284 1293 4383 102.21 220.21/220.30 c 672187 108 2088 64246 30 4264 2513 2067 4198 160.09 220.21/220.30 c Backtracks by Clause: 0 220.21/220.30 c Backtracks by PB constraint: 0 220.21/220.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 220.21/220.30 c 20 879244 167529 1127990 2044 50838 2023 3992 220.22 220.21/220.30 s UNSATISFIABLE 220.21/220.30 c Total time: 220.224 s
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-2658068-1276579930/watcher-2658068-1276579930 -o /tmp/evaluation-result-2658068-1276579930/solver-2658068-1276579930 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658068-1276579930.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.00 1.00 2/106 31915 /proc/meminfo: memFree=1849072/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=10788 CPUtime=0 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 31644830 11046912 247 1992294400 134512640 137138936 4290573184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2697 247 190 642 0 2053 0 [startup+0.045537 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31915 /proc/meminfo: memFree=1849072/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11044 CPUtime=0.04 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 397 0 0 0 4 0 0 0 25 0 1 0 31644830 11309056 314 1992294400 134512640 137138936 4290573184 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2761 314 190 642 0 2117 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11044 [startup+0.101546 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31915 /proc/meminfo: memFree=1849072/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11044 CPUtime=0.09 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 413 0 0 0 9 0 0 0 25 0 1 0 31644830 11309056 330 1992294400 134512640 137138936 4290573184 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2761 330 190 642 0 2117 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11044 [startup+0.301583 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31915 /proc/meminfo: memFree=1849072/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11172 CPUtime=0.29 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 444 0 0 0 29 0 0 0 25 0 1 0 31644830 11440128 361 1992294400 134512640 137138936 4290573184 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2793 361 190 642 0 2149 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11172 [startup+0.701655 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31915 /proc/meminfo: memFree=1849072/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11300 CPUtime=0.69 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 457 0 0 0 68 1 0 0 25 0 1 0 31644830 11571200 374 1992294400 134512640 137138936 4290573184 18446744073709551615 136501689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2825 374 190 642 0 2181 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11300 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31916 /proc/meminfo: memFree=1848196/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11428 CPUtime=1.5 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 484 0 0 0 148 2 0 0 25 0 1 0 31644830 11702272 401 1992294400 134512640 137138936 4290573184 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2857 401 190 642 0 2213 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 11428 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31916 /proc/meminfo: memFree=1847700/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11428 CPUtime=3.09 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 504 0 0 0 306 3 0 0 25 0 1 0 31644830 11702272 421 1992294400 134512640 137138936 4290573184 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2857 421 190 642 0 2213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11428 [startup+6.30167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31916 /proc/meminfo: memFree=1847576/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11556 CPUtime=6.29 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 520 0 0 0 623 6 0 0 25 0 1 0 31644830 11833344 437 1992294400 134512640 137138936 4290573184 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2889 437 190 642 0 2245 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11556 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31918 /proc/meminfo: memFree=1847328/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11808 CPUtime=12.68 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 589 0 0 0 1258 10 0 0 25 0 1 0 31644830 12091392 506 1992294400 134512640 137138936 4290573184 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2952 506 190 642 0 2308 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11808 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31918 /proc/meminfo: memFree=1847204/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=11804 CPUtime=25.49 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 600 0 0 0 2531 18 0 0 25 0 1 0 31644830 12087296 517 1992294400 134512640 137138936 4290573184 18446744073709551615 136504231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 2951 517 190 642 0 2307 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11804 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31918 /proc/meminfo: memFree=1846956/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12060 CPUtime=51.06 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 641 0 0 0 5074 32 0 0 25 0 1 0 31644830 12349440 558 1992294400 134512640 137138936 4290573184 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3015 558 190 642 0 2371 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 12060 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31920 /proc/meminfo: memFree=1846832/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12112 CPUtime=102.26 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 673 0 0 0 10169 57 0 0 25 0 1 0 31644830 12402688 590 1992294400 134512640 137138936 4290573184 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3028 590 190 642 0 2384 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12112 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=162.23 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 727 0 0 0 16137 86 0 0 25 0 1 0 31644830 12636160 644 1992294400 134512640 137138936 4290573184 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 644 190 642 0 2441 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 12340 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=179.02 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 17810 92 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 12340 [startup+204.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=204.62 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 20357 105 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 204.62 Current children cumulated vsize (KiB) 12340 [startup+211.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=211.02 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 20994 108 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 211.02 Current children cumulated vsize (KiB) 12340 [startup+214.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=214.21 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 21312 109 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 214.21 Current children cumulated vsize (KiB) 12340 [startup+217.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=217.4 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 21630 110 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 217.4 Current children cumulated vsize (KiB) 12340 [startup+219.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=219.01 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 21790 111 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 219.01 Current children cumulated vsize (KiB) 12340 [startup+219.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=219.82 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 21870 112 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 219.82 Current children cumulated vsize (KiB) 12340 [startup+220.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31922 /proc/meminfo: memFree=1846460/2059040 swapFree=4140296/4192956 [pid=31915] ppid=31913 vsize=12340 CPUtime=220.21 /proc/31915/stat : 31915 (bsolo_pb10) R 31913 31915 31345 0 -1 4202496 730 0 0 0 21909 112 0 0 25 0 1 0 31644830 12636160 647 1992294400 134512640 137138936 4290573184 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31915/statm: 3085 647 190 642 0 2441 0 Current children cumulated CPU time (s) 220.21 Current children cumulated vsize (KiB) 12340 Child status: 0 Real time (s): 220.309 CPU time (s): 220.226 CPU user time (s): 219.101 CPU system time (s): 1.12483 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 12340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 219.101 system time used= 1.12483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 731 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= 2802 runsolver used 0.409937 second user time and 1.01085 second system time The end
Begin job on node027 at 2010-06-15 07:32:10 IDJOB=2658068 IDBENCH=2595 IDSOLVER=1163 FILE ID=node027/2658068-1276579930 PBS_JOBID= 11173522 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658068-1276579930/watcher-2658068-1276579930 -o /tmp/evaluation-result-2658068-1276579930/solver-2658068-1276579930 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658068-1276579930.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e464fa7a3640eb789ffb0025985d1316 RANDOM SEED=1697163044 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1849476 kB Buffers: 12896 kB Cached: 117652 kB SwapCached: 5720 kB Active: 27332 kB Inactive: 115712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1849476 kB SwapTotal: 4192956 kB SwapFree: 4140296 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11056 kB Mapped: 13072 kB Slab: 44648 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180696 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node027 at 2010-06-15 07:35:50