Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 127.719 | 127.715 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | 9e134c91eb84e264e2a3479232b34054 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.028994 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 220 |
Total number of constraints | 42 |
Number of soft constraints | 42 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Top cost | 2167 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 2166 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690570-1277919731.wbo. 0.00/0.00 c Instance file HOME/instance-2690570-1277919731.wbo 0.00/0.00 c File size is 4084 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 220 | 0.00/0.00 c | Number Clauses: 22 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 220 42 440 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 220 42 440 | 5500 100 29 | 0.002 % | 0.00/0.00 c | 251 | 220 42 440 | 6050 251 38 | 0.002 % | 0.00/0.01 c | 476 | 220 42 440 | 6655 476 44 | 0.002 % | 0.00/0.02 c | 814 | 220 42 440 | 7320 814 47 | 0.002 % | 0.03/0.04 c | 1320 | 220 42 440 | 8052 1320 49 | 0.002 % | 0.03/0.07 c | 2080 | 220 42 440 | 8857 2080 49 | 0.002 % | 0.09/0.18 c | 3221 | 220 42 440 | 9743 3221 50 | 0.002 % | 0.28/0.36 c | 4929 | 220 42 440 | 10717 4929 50 | 0.002 % | 0.69/0.78 c | 7493 | 220 42 440 | 11789 7493 51 | 0.002 % | 1.38/1.44 c | 11341 | 220 42 440 | 12968 11341 51 | 0.002 % | 2.39/2.47 c | 17107 | 220 42 440 | 14265 10592 47 | 0.002 % | 4.49/4.58 c | 25758 | 220 42 440 | 15692 12076 47 | 0.002 % | 7.89/7.90 c | 38732 | 220 42 440 | 17261 9306 45 | 0.002 % | 13.39/13.43 c | 58196 | 220 42 440 | 18987 11435 45 | 0.002 % | 19.39/19.42 c | 87389 | 220 42 440 | 20886 12063 42 | 0.002 % | 31.99/32.01 c | 131179 | 220 42 440 | 22974 13960 46 | 0.002 % | 49.40/49.42 c | 196863 | 220 42 440 | 25272 22069 42 | 0.002 % | 76.19/76.29 c | 295389 | 220 42 440 | 27799 17492 41 | 0.002 % | 119.70/119.74 c | 443178 | 219 42 440 | 30579 16877 37 | 0.457 % | 127.69/127.70 s UNSATISFIABLE 127.69/127.70 c Total CPU time: 126.759 s 127.69/127.70 c =============================================================================== 127.69/127.70 c 127.69/127.70 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-2690570-1277919731/watcher-2690570-1277919731 -o /tmp/evaluation-result-2690570-1277919731/solver-2690570-1277919731 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690570-1277919731.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.06 2.02 4/198 13607 /proc/meminfo: memFree=31391664/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2572 CPUtime=0 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 295 0 0 0 0 0 0 0 22 0 1 0 133271295 2633728 212 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 643 212 144 303 0 338 0 [startup+0.0338171 s] /proc/loadavg: 2.21 2.06 2.02 4/198 13607 /proc/meminfo: memFree=31391664/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2972 CPUtime=0.03 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 375 0 0 0 3 0 0 0 22 0 1 0 133271295 3043328 292 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 743 292 144 303 0 438 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2972 [startup+0.100806 s] /proc/loadavg: 2.21 2.06 2.02 4/198 13607 /proc/meminfo: memFree=31391664/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=3500 CPUtime=0.09 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 507 0 0 0 9 0 0 0 22 0 1 0 133271295 3584000 424 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 875 424 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300753 s] /proc/loadavg: 2.21 2.06 2.02 4/198 13607 /proc/meminfo: memFree=31391664/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=4160 CPUtime=0.28 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 682 0 0 0 28 0 0 0 22 0 1 0 133271295 4259840 599 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 1040 599 144 303 0 735 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4160 [startup+0.700697 s] /proc/loadavg: 2.21 2.06 2.02 4/198 13607 /proc/meminfo: memFree=31391664/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=5216 CPUtime=0.69 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 955 0 0 0 68 1 0 0 24 0 1 0 133271295 5341184 872 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 1304 872 144 303 0 999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5216 [startup+1.50055 s] /proc/loadavg: 2.19 2.06 2.02 3/199 13608 /proc/meminfo: memFree=31388432/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=7104 CPUtime=1.48 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 1411 0 0 0 146 2 0 0 25 0 1 0 133271295 7274496 1328 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 1776 1328 144 303 0 1471 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7104 [startup+3.10025 s] /proc/loadavg: 2.19 2.06 2.02 3/199 13608 /proc/meminfo: memFree=31386448/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=10180 CPUtime=3.09 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 2170 0 0 0 305 4 0 0 25 0 1 0 133271295 10424320 2087 4089446400 134512640 135752675 4287489504 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 2545 2087 144 303 0 2240 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10180 [startup+6.30063 s] /proc/loadavg: 2.19 2.06 2.02 3/199 13608 /proc/meminfo: memFree=31381024/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=14968 CPUtime=6.29 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 3366 0 0 0 623 6 0 0 25 0 1 0 133271295 15327232 3283 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 3742 3283 144 303 0 3437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14968 [startup+12.7004 s] /proc/loadavg: 2.16 2.06 2.02 3/199 13608 /proc/meminfo: memFree=31373512/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=22800 CPUtime=12.69 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 5319 0 0 0 1258 11 0 0 25 0 1 0 133271295 23347200 5236 4089446400 134512640 135752675 4287489504 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 5700 5236 144 303 0 5395 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22800 [startup+25.501 s] /proc/loadavg: 2.13 2.05 2.02 3/199 13609 /proc/meminfo: memFree=31355448/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=40688 CPUtime=25.49 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 9772 0 0 0 2527 22 0 0 25 0 1 0 133271295 41664512 9689 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 10172 9689 144 303 0 9867 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40688 [startup+51.1011 s] /proc/loadavg: 2.49 2.14 2.05 3/199 13610 /proc/meminfo: memFree=31326140/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=70076 CPUtime=51.09 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 17087 0 0 0 5069 40 0 0 25 0 1 0 133271295 71757824 17004 4089446400 134512640 135752675 4287489504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 17519 17004 144 303 0 17214 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70076 [startup+102.306 s] /proc/loadavg: 2.20 2.12 2.04 3/199 13611 /proc/meminfo: memFree=31269332/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=126032 CPUtime=102.3 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 31002 0 0 0 10150 80 0 0 25 0 1 0 133271295 129056768 30919 4089446400 134512640 135752675 4287489504 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 31508 30919 144 303 0 31203 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 126032 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.16 2.11 2.04 3/199 13611 /proc/meminfo: memFree=31256796/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=139124 CPUtime=115.09 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 34258 0 0 0 11421 88 0 0 25 0 1 0 133271295 142462976 34175 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 34781 34175 144 303 0 34476 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 139124 [startup+121.501 s] /proc/loadavg: 2.14 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31250596/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=145112 CPUtime=121.5 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 35785 0 0 0 12058 92 0 0 25 0 1 0 133271295 148594688 35702 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 36278 35702 144 303 0 35973 0 Current children cumulated CPU time (s) 121.5 Current children cumulated vsize (KiB) 145112 [startup+124.7 s] /proc/loadavg: 2.14 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31248364/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=147292 CPUtime=124.69 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 36316 0 0 0 12376 93 0 0 25 0 1 0 133271295 150827008 36233 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 36823 36233 144 303 0 36518 0 Current children cumulated CPU time (s) 124.69 Current children cumulated vsize (KiB) 147292 [startup+126.301 s] /proc/loadavg: 2.14 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31247496/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=148612 CPUtime=126.29 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 36657 0 0 0 12535 94 0 0 25 0 1 0 133271295 152178688 36574 4089446400 134512640 135752675 4287489504 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 37153 36574 144 303 0 36848 0 Current children cumulated CPU time (s) 126.29 Current children cumulated vsize (KiB) 148612 [startup+127.101 s] /proc/loadavg: 2.13 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31246500/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=149668 CPUtime=127.09 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 36907 0 0 0 12615 94 0 0 25 0 1 0 133271295 153260032 36824 4089446400 134512640 135752675 4287489504 18446744073709551615 134611582 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 37417 36824 144 303 0 37112 0 Current children cumulated CPU time (s) 127.09 Current children cumulated vsize (KiB) 149668 [startup+127.501 s] /proc/loadavg: 2.13 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31245260/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=150064 CPUtime=127.5 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 37008 0 0 0 12655 95 0 0 25 0 1 0 133271295 153665536 36925 4089446400 134512640 135752675 4287489504 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 37516 36925 144 303 0 37211 0 Current children cumulated CPU time (s) 127.5 Current children cumulated vsize (KiB) 150064 [startup+127.701 s] /proc/loadavg: 2.13 2.11 2.04 3/199 13612 /proc/meminfo: memFree=31245260/32951124 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=150328 CPUtime=127.69 /proc/13607/stat : 13607 (wbo1.4b) R 13605 13607 12309 0 -1 4202496 37076 0 0 0 12674 95 0 0 25 0 1 0 133271295 153935872 36993 4089446400 134512640 135752675 4287489504 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13607/statm: 37582 36993 144 303 0 37277 0 Current children cumulated CPU time (s) 127.69 Current children cumulated vsize (KiB) 150328 Child status: 0 Real time (s): 127.715 CPU time (s): 127.719 CPU user time (s): 126.759 CPU system time (s): 0.959854 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 150328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 126.759 system time used= 0.959854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37081 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= 3 involuntary context switches= 66 runsolver used 0.226965 second user time and 0.475927 second system time The end
Begin job on node102 at 2010-06-30 19:42:11 IDJOB=2690570 IDBENCH=79152 IDSOLVER=1201 FILE ID=node102/2690570-1277919731 PBS_JOBID= 11197251 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690570-1277919731/watcher-2690570-1277919731 -o /tmp/evaluation-result-2690570-1277919731/solver-2690570-1277919731 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690570-1277919731.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9e134c91eb84e264e2a3479232b34054 RANDOM SEED=1407754345 node102.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31391944 kB Buffers: 201580 kB Cached: 739772 kB SwapCached: 0 kB Active: 831492 kB Inactive: 584636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31391944 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 475128 kB Mapped: 20292 kB Slab: 77900 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1653012 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node102 at 2010-06-30 19:44:19