Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 86.5548 | 86.5545 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo |
MD5SUM | f554cc9691e9826ab6aa59c7fc9c497b |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 30.1254 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 136180 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136179 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 667 |
Number of bits of the biggest sum of numbers | 10 |
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-2690261-1277929274.wbo. 0.00/0.00 c Instance file HOME/instance-2690261-1277929274.wbo 0.00/0.00 c File size is 96749 bytes. 0.00/0.00 c Highest Coefficient sum: 667 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 231 2707 8338 | 5500 102 29 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 30 | 0.002 % | 0.01/0.02 c | 477 | 231 2707 8338 | 6655 477 30 | 0.002 % | 0.01/0.03 c | 816 | 231 2707 8338 | 7320 816 30 | 0.002 % | 0.01/0.04 c | 1323 | 231 2707 8338 | 8052 1323 28 | 0.002 % | 0.01/0.06 c | 2083 | 231 2707 8338 | 8857 2083 28 | 0.002 % | 0.09/0.11 c | 3224 | 231 2707 8338 | 9743 3224 30 | 0.002 % | 0.09/0.17 c | 4933 | 231 2707 8338 | 10717 4933 30 | 0.002 % | 0.19/0.29 c | 7496 | 231 2707 8338 | 11789 7496 32 | 0.002 % | 0.49/0.50 c | 11340 | 231 2707 8338 | 12968 11340 32 | 0.002 % | 0.79/0.83 c | 17108 | 231 2707 8338 | 14265 10563 32 | 0.002 % | 1.39/1.40 c | 25757 | 231 2707 8338 | 15692 12023 33 | 0.002 % | 2.29/2.37 c | 38732 | 231 2707 8338 | 17261 9185 37 | 0.002 % | 3.99/4.04 c | 58195 | 231 2707 8338 | 18987 11286 39 | 0.002 % | 6.69/6.73 c | 87387 | 231 2707 8338 | 20886 11869 40 | 0.002 % | 10.39/10.49 c | 131177 | 231 2707 8338 | 22974 13718 37 | 0.002 % | 16.79/16.87 c | 196862 | 231 2707 8338 | 25272 21600 38 | 0.002 % | 27.39/27.49 c | 295388 | 231 2707 8338 | 27799 15295 38 | 0.002 % | 44.49/44.58 c | 443178 | 231 2707 8338 | 30579 25328 42 | 0.002 % | 71.30/71.40 c | 664862 | 230 2707 8338 | 33637 29272 41 | 0.435 % | 86.49/86.54 s UNSATISFIABLE 86.49/86.54 c Total CPU time: 85.362 s 86.49/86.54 c =============================================================================== 86.49/86.54 c 86.49/86.54 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-2690261-1277929274/watcher-2690261-1277929274 -o /tmp/evaluation-result-2690261-1277929274/solver-2690261-1277929274 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690261-1277929274.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: 1.86 1.97 1.99 4/178 16640 /proc/meminfo: memFree=29557096/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=2668 CPUtime=0 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 307 0 0 0 0 0 0 0 24 0 1 0 134223770 2732032 226 4089446400 134512640 135752675 4290879760 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 667 226 148 303 0 338 0 [startup+0.0187731 s] /proc/loadavg: 1.86 1.97 1.99 4/178 16640 /proc/meminfo: memFree=29557096/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=2836 CPUtime=0.01 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 378 0 0 0 1 0 0 0 24 0 1 0 134223770 2904064 273 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 709 273 144 303 0 404 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2836 [startup+0.100797 s] /proc/loadavg: 1.86 1.97 1.99 4/178 16640 /proc/meminfo: memFree=29557096/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=3636 CPUtime=0.09 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 571 0 0 0 9 0 0 0 24 0 1 0 134223770 3723264 466 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 909 466 144 303 0 604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.30073 s] /proc/loadavg: 1.86 1.97 1.99 4/178 16640 /proc/meminfo: memFree=29557096/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=5088 CPUtime=0.29 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 943 0 0 0 29 0 0 0 25 0 1 0 134223770 5210112 838 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 1272 838 144 303 0 967 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5088 [startup+0.700658 s] /proc/loadavg: 1.86 1.97 1.99 4/178 16640 /proc/meminfo: memFree=29557096/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=7292 CPUtime=0.69 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 1495 0 0 0 68 1 0 0 25 0 1 0 134223770 7467008 1390 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 1823 1390 144 303 0 1518 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7292 [startup+1.50045 s] /proc/loadavg: 1.86 1.97 1.99 4/179 16641 /proc/meminfo: memFree=29550268/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=11120 CPUtime=1.49 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 2460 0 0 0 147 2 0 0 25 0 1 0 134223770 11386880 2355 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 2780 2356 144 303 0 2475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11120 [startup+3.10017 s] /proc/loadavg: 1.86 1.97 1.99 4/179 16641 /proc/meminfo: memFree=29543696/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=17720 CPUtime=3.09 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 4094 0 0 0 305 4 0 0 25 0 1 0 134223770 18145280 3989 4089446400 134512640 135752675 4290879760 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 4430 3989 144 303 0 4125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17720 [startup+6.3006 s] /proc/loadavg: 1.87 1.97 1.99 4/179 16641 /proc/meminfo: memFree=29529384/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=29680 CPUtime=6.29 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 7084 0 0 0 619 10 0 0 25 0 1 0 134223770 30392320 6979 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 7420 6979 144 303 0 7115 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29680 [startup+12.7005 s] /proc/loadavg: 1.88 1.97 1.99 4/179 16641 /proc/meminfo: memFree=29500708/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=52520 CPUtime=12.69 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 12788 0 0 0 1251 18 0 0 25 0 1 0 134223770 53780480 12683 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 13130 12685 144 303 0 12825 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52520 [startup+25.5002 s] /proc/loadavg: 1.91 1.97 1.99 4/179 16642 /proc/meminfo: memFree=29444908/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=93200 CPUtime=25.48 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 22946 0 0 0 2515 33 0 0 25 0 1 0 134223770 95436800 22841 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 23300 22841 144 303 0 22995 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93200 [startup+51.1007 s] /proc/loadavg: 2.01 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29342676/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=166816 CPUtime=51.09 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 41341 0 0 0 5038 71 0 0 25 0 1 0 134223770 170819584 41236 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 41704 41236 144 303 0 41399 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 166816 Solver just ended. Dumping a history of the last processes samples [startup+63.9004 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29286120/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=201748 CPUtime=63.89 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 50086 0 0 0 6300 89 0 0 25 0 1 0 134223770 206589952 49981 4089446400 134512640 135752675 4290879760 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 50437 49981 144 303 0 50132 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 201748 [startup+76.7002 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29242712/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=234772 CPUtime=76.69 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 58339 0 0 0 7565 104 0 0 25 0 1 0 134223770 240406528 58234 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 58693 58234 144 303 0 58388 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 234772 [startup+83.101 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29222620/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=250496 CPUtime=83.09 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 62261 0 0 0 8196 113 0 0 25 0 1 0 134223770 256507904 62156 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 62624 62156 144 303 0 62319 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 250496 [startup+84.7057 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29217656/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=254192 CPUtime=84.7 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 63201 0 0 0 8355 115 0 0 25 0 1 0 134223770 260292608 63096 4089446400 134512640 135752675 4290879760 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 63548 63096 144 303 0 63243 0 Current children cumulated CPU time (s) 84.7 Current children cumulated vsize (KiB) 254192 [startup+85.5006 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29217656/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=256568 CPUtime=85.5 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 63781 0 0 0 8433 117 0 0 25 0 1 0 134223770 262725632 63676 4089446400 134512640 135752675 4290879760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 64142 63676 144 303 0 63837 0 Current children cumulated CPU time (s) 85.5 Current children cumulated vsize (KiB) 256568 [startup+86.3004 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29214060/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=259076 CPUtime=86.3 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 64411 0 0 0 8512 118 0 0 25 0 1 0 134223770 265293824 64306 4089446400 134512640 135752675 4290879760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 64769 64306 144 303 0 64464 0 Current children cumulated CPU time (s) 86.3 Current children cumulated vsize (KiB) 259076 [startup+86.5004 s] /proc/loadavg: 2.00 1.99 1.99 4/179 16643 /proc/meminfo: memFree=29214060/32950928 swapFree=4192956/4192956 [pid=16640] ppid=16638 vsize=259604 CPUtime=86.49 /proc/16640/stat : 16640 (wbo1.4b) R 16638 16640 16615 0 -1 4202496 64540 0 0 0 8531 118 0 0 25 0 1 0 134223770 265834496 64435 4089446400 134512640 135752675 4290879760 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16640/statm: 64901 64435 144 303 0 64596 0 Current children cumulated CPU time (s) 86.49 Current children cumulated vsize (KiB) 259604 Child status: 0 Real time (s): 86.5545 CPU time (s): 86.5548 CPU user time (s): 85.362 CPU system time (s): 1.19282 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 259604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 85.362 system time used= 1.19282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64570 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= 61 runsolver used 0.131979 second user time and 0.264959 second system time The end
Begin job on node124 at 2010-06-30 22:21:14 IDJOB=2690261 IDBENCH=79296 IDSOLVER=1201 FILE ID=node124/2690261-1277929274 PBS_JOBID= 11197432 Free space on /tmp= 130620 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442--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-2690261-1277929274/watcher-2690261-1277929274 -o /tmp/evaluation-result-2690261-1277929274/solver-2690261-1277929274 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690261-1277929274.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f554cc9691e9826ab6aa59c7fc9c497b RANDOM SEED=204570440 node124.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 : 5226.07 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.74 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.77 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.74 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: 32950928 kB MemFree: 29557492 kB Buffers: 216468 kB Cached: 1124452 kB SwapCached: 0 kB Active: 2427356 kB Inactive: 848480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29557492 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 1934672 kB Mapped: 16072 kB Slab: 81180 kB PageTables: 9028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 2200744 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130616 MiB End job on node124 at 2010-06-30 22:22:41