Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.0 | ? (MO) | 610.006 | 610.208 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | DEC-SMALLINT (no 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 | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
Number of bits of the biggest sum of numbers | 8 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875566-1245113385.opb. 0.00/0.00 c Instance file HOME/instance-1875566-1245113385.opb 0.00/0.00 c File size is 1337368 bytes. 0.19/0.22 c Highest Coefficient sum: 227 0.19/0.22 c ============================[ Problem Statistics ]============================= 0.19/0.22 c | | 0.19/0.22 c | Parsing time: 0.22 s | 0.19/0.22 c | Number Variables: 14400 | 0.19/0.22 c | Number Clauses: 480 | 0.19/0.22 c | Number Cardinality: 608 | 0.19/0.22 c | Number PB Constraints: 0 | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 14400 1088 144000 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 14400 1088 144000 | 5500 100 313 | 0.000 % | 0.28/0.30 c | 251 | 14400 1088 144000 | 6050 251 395 | 0.000 % | 0.39/0.41 c | 478 | 14400 1088 144000 | 6655 478 664 | 0.000 % | 0.48/0.53 c | 816 | 14400 1088 144000 | 7320 816 611 | 0.000 % | 0.59/0.68 c | 1323 | 14400 1088 144000 | 8052 1323 549 | 0.000 % | 0.98/1.02 c | 2082 | 14400 1088 144000 | 8857 2082 660 | 0.000 % | 1.49/1.52 c | 3221 | 14400 1088 144000 | 9743 3221 706 | 0.000 % | 2.88/2.94 c | 4929 | 14400 1088 144000 | 10717 4929 997 | 0.000 % | 4.88/4.92 c | 7491 | 14400 1088 144000 | 11789 7491 1123 | 0.000 % | 8.28/8.39 c | 11336 | 14400 1088 144000 | 12968 11336 1252 | 0.000 % | 17.59/17.65 c | 17104 | 14400 1088 144000 | 14265 17104 1594 | 0.000 % | 47.37/47.46 c | 25753 | 14400 1088 144000 | 15692 17201 2783 | 0.000 % | 66.37/66.44 c | 38728 | 14400 1088 144000 | 17261 21576 2302 | 0.000 % | 152.53/152.60 c | 58190 | 14400 1088 144000 | 18987 30250 2861 | 0.000 % | 251.21/251.31 c | 87384 | 14400 1088 144000 | 20886 23150 2855 | 0.000 % | 476.53/476.78 c | 131178 | 14400 1088 144000 | 22974 16162 2257 | 0.000 % |
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-1875566-1245113385/watcher-1875566-1245113385 -o /tmp/evaluation-result-1875566-1245113385/solver-1875566-1245113385 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875566-1245113385.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: 0.14 0.45 1.15 3/64 5508 /proc/meminfo: memFree=1165736/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=3700 CPUtime=0 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 173 0 0 0 0 0 0 0 19 0 1 0 178935725 3788800 157 1992294400 134512640 135709839 4294956240 18446744073709551615 134565040 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 925 157 122 292 0 303 0 [startup+0.103641 s] /proc/loadavg: 0.14 0.45 1.15 3/64 5508 /proc/meminfo: memFree=1165736/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=7108 CPUtime=0.09 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 1071 0 0 0 9 0 0 0 19 0 1 0 178935725 7278592 1055 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 1777 1056 266 292 0 1155 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7108 [startup+0.20165 s] /proc/loadavg: 0.14 0.45 1.15 3/64 5508 /proc/meminfo: memFree=1165736/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=8428 CPUtime=0.19 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 1542 0 0 0 19 0 0 0 20 0 1 0 178935725 8630272 1526 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 2107 1527 416 292 0 1485 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8428 [startup+0.301661 s] /proc/loadavg: 0.14 0.45 1.15 3/64 5508 /proc/meminfo: memFree=1165736/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=8408 CPUtime=0.28 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 1913 0 0 0 28 0 0 0 20 0 1 0 178935725 8609792 1570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 2102 1570 135 292 0 1807 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8408 [startup+0.701704 s] /proc/loadavg: 0.14 0.45 1.15 3/64 5508 /proc/meminfo: memFree=1165736/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=11124 CPUtime=0.69 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 2602 0 0 0 66 3 0 0 24 0 1 0 178935725 11390976 2259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 2781 2259 135 292 0 2486 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11124 [startup+1.50179 s] /proc/loadavg: 0.14 0.45 1.15 2/65 5509 /proc/meminfo: memFree=1153760/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=17516 CPUtime=1.49 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 4209 0 0 0 145 4 0 0 25 0 1 0 178935725 17936384 3866 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 4379 3866 135 292 0 4084 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17516 [startup+3.10197 s] /proc/loadavg: 0.21 0.45 1.15 2/65 5509 /proc/meminfo: memFree=1144928/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=29376 CPUtime=3.09 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 7171 0 0 0 303 6 0 0 25 0 1 0 178935725 30081024 6828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 7344 6828 135 292 0 7049 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29376 [startup+6.30131 s] /proc/loadavg: 0.21 0.45 1.15 2/65 5509 /proc/meminfo: memFree=1120672/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=52920 CPUtime=6.28 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 13035 0 0 0 618 10 0 0 25 0 1 0 178935725 54190080 12692 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 13230 12692 135 292 0 12935 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 52920 [startup+12.702 s] /proc/loadavg: 0.27 0.46 1.15 2/65 5509 /proc/meminfo: memFree=1078440/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=93756 CPUtime=12.69 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 23256 0 0 0 1252 17 0 0 25 0 1 0 178935725 96006144 22913 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 23439 22913 135 292 0 23144 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93756 [startup+25.5014 s] /proc/loadavg: 0.43 0.49 1.15 2/65 5509 /proc/meminfo: memFree=1003688/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=165264 CPUtime=25.48 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 41118 0 0 0 2520 28 0 0 25 0 1 0 178935725 169230336 40775 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 41316 40775 135 292 0 41021 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 165264 [startup+51.1012 s] /proc/loadavg: 0.62 0.53 1.14 2/65 5509 /proc/meminfo: memFree=906280/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=264004 CPUtime=51.07 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 65811 0 0 0 5066 41 0 0 25 0 1 0 178935725 270340096 65468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 66001 65468 135 292 0 65706 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 264004 [startup+102.302 s] /proc/loadavg: 0.85 0.61 1.13 2/65 5509 /proc/meminfo: memFree=690920/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=476276 CPUtime=102.26 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 118894 0 0 0 10155 71 0 0 25 0 1 0 178935725 487706624 118551 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 119069 118551 135 292 0 118774 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 476276 [startup+162.301 s] /proc/loadavg: 0.94 0.67 1.12 2/65 5511 /proc/meminfo: memFree=509992/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=660104 CPUtime=162.23 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 164843 0 0 0 16127 96 0 0 25 0 1 0 178935725 675946496 164500 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 165026 164500 135 292 0 164731 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 660104 [startup+222.306 s] /proc/loadavg: 0.98 0.73 1.11 2/65 5511 /proc/meminfo: memFree=317544/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=849284 CPUtime=222.23 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 212136 0 0 0 22102 121 0 0 25 0 1 0 178935725 869666816 211793 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 212321 211793 135 292 0 212026 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 849284 [startup+282.301 s] /proc/loadavg: 0.99 0.77 1.10 2/65 5511 /proc/meminfo: memFree=93224/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1074572 CPUtime=282.2 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 268460 0 0 0 28072 148 0 0 25 0 1 0 178935725 1100361728 268117 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 268643 268117 135 292 0 268348 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1074572 [startup+342.302 s] /proc/loadavg: 0.99 0.81 1.09 2/65 5511 /proc/meminfo: memFree=15024/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1216248 CPUtime=342.17 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 303853 0 0 0 34050 167 0 0 25 0 1 0 178935725 1245437952 303510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 304062 303510 135 292 0 303767 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1216248 [startup+402.301 s] /proc/loadavg: 1.05 0.86 1.09 2/65 5511 /proc/meminfo: memFree=16176/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1343768 CPUtime=402.15 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 335763 0 0 0 40030 185 0 0 25 0 1 0 178935725 1376018432 335420 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 335942 335420 135 292 0 335647 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1343768 [startup+462.302 s] /proc/loadavg: 1.02 0.88 1.08 2/65 5511 /proc/meminfo: memFree=15024/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1431416 CPUtime=462.13 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 357674 0 0 0 46015 198 0 0 25 0 1 0 178935725 1465769984 357331 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 357854 357331 135 292 0 357559 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1431416 [startup+522.301 s] /proc/loadavg: 1.00 0.90 1.08 3/65 5511 /proc/meminfo: memFree=14768/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1645472 CPUtime=522.11 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 411171 0 0 0 51974 237 0 0 25 0 1 0 178935725 1684963328 410828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 411368 410828 135 292 0 411073 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1645472 [startup+582.302 s] /proc/loadavg: 1.00 0.92 1.07 2/65 5511 /proc/meminfo: memFree=15344/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1786892 CPUtime=582.09 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 446515 0 0 0 57951 258 0 0 25 0 1 0 178935725 1829777408 446172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 446723 446172 135 292 0 446428 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1786892 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+609.902 s] /proc/loadavg: 1.00 0.92 1.07 2/65 5511 /proc/meminfo: memFree=14960/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=1843392 CPUtime=609.69 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4194304 460650 0 0 0 60702 267 0 0 25 0 1 0 178935725 1887633408 460307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 460848 460307 135 292 0 460553 0 Current children cumulated CPU time (s) 609.69 Current children cumulated vsize (KiB) 1843392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+610.102 s] /proc/loadavg: 1.00 0.92 1.07 2/65 5511 /proc/meminfo: memFree=14960/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=0 CPUtime=609.89 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4195332 460650 0 0 0 60702 287 0 0 25 0 1 0 178935725 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 609.89 Current children cumulated vsize (KiB) 0 [startup+610.202 s] /proc/loadavg: 1.00 0.92 1.07 2/65 5511 /proc/meminfo: memFree=14960/2055920 swapFree=4191900/4192956 [pid=5508] ppid=5506 vsize=0 CPUtime=609.99 /proc/5508/stat : 5508 (wbo) R 5506 5508 5438 0 -1 4195332 460650 0 0 0 60702 297 0 0 25 0 1 0 178935725 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5508/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 609.99 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 610.208 CPU time (s): 610.006 CPU user time (s): 607.026 CPU system time (s): 2.98055 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 1843392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 607.026 system time used= 2.98055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460650 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= 2 involuntary context switches= 1119 runsolver used 0.581911 second user time and 1.34479 second system time The end
Begin job on node37 at 2009-06-16 02:49:45 IDJOB=1875566 IDBENCH=1153 IDSOLVER=698 FILE ID=node37/1875566-1245113385 PBS_JOBID= 9363633 Free space on /tmp= 66164 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875566-1245113385/watcher-1875566-1245113385 -o /tmp/evaluation-result-1875566-1245113385/solver-1875566-1245113385 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875566-1245113385.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED=813921509 node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.232 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.232 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: 1166160 kB Buffers: 73516 kB Cached: 722572 kB SwapCached: 260 kB Active: 146800 kB Inactive: 662480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1166160 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3964 kB Writeback: 0 kB Mapped: 21708 kB Slab: 66628 kB Committed_AS: 148092 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875566-1245113385.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-16 02:59:57