Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | UNSAT | 304.651 | 304.663 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo |
MD5SUM | 69dbc7406636817ba2a44752a9d60525 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 63.9493 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1089 |
Total number of constraints | 40843 |
Number of soft constraints | 40810 |
Number of constraints which are clauses | 40810 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 33 |
Top cost | 1 |
Min constraint cost | 1 |
Max constraint cost | 1 |
Sum of constraints costs | 40810 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 34 |
Number of bits of the biggest sum of numbers | 6 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2699620-1278533798.wbo. 0.00/0.00 c Instance file HOME/instance-2699620-1278533798.wbo 0.00/0.00 c File size is 1150701 bytes. 0.01/0.07 c Highest Coefficient sum: 34 0.01/0.07 c ============================[ Problem Statistics ]============================= 0.01/0.07 c | | 0.01/0.07 c | Parsing time: 0.07 s | 0.01/0.07 c | Number Variables: 1089 | 0.01/0.07 c | Number Clauses: 40843 | 0.01/0.07 c | Number Cardinality: 33 | 0.01/0.07 c | Number PB Constraints: 0 | 0.01/0.07 c ============================[ Search Statistics ]============================== 0.01/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.07 c =============================================================================== 0.01/0.07 c | 0 | 1089 40876 83798 | 13625 0 nan | 0.000 % | 0.01/0.07 c | 100 | 1082 40876 83798 | 14987 100 34 | 0.643 % | 0.01/0.07 c | 252 | 1082 40876 83798 | 16486 252 37 | 0.643 % | 0.01/0.08 c | 479 | 1082 40876 83798 | 18135 479 42 | 0.643 % | 0.01/0.08 c | 816 | 1082 40876 83798 | 19948 816 47 | 0.643 % | 0.08/0.10 c | 1326 | 1082 40876 83798 | 21943 1326 58 | 0.643 % | 0.08/0.12 c | 2085 | 1082 40876 83798 | 24138 2085 69 | 0.643 % | 0.08/0.18 c | 3224 | 1081 40876 83798 | 26551 3224 84 | 0.735 % | 0.19/0.28 c | 4935 | 1081 40876 83798 | 29207 4925 106 | 0.735 % | 0.39/0.48 c | 7498 | 1081 40876 83798 | 32127 7488 115 | 0.735 % | 0.89/0.90 c | 11342 | 1081 40876 83798 | 35340 11332 132 | 0.735 % | 1.89/1.96 c | 17111 | 1080 40876 83798 | 38874 17101 164 | 0.827 % | 4.49/4.51 c | 25763 | 1070 40876 83798 | 42762 25742 178 | 1.745 % | 14.49/14.54 c | 38738 | 1032 40876 83798 | 47038 38717 210 | 5.234 % | 44.69/44.72 c | 58201 | 984 40876 83798 | 51742 32467 254 | 9.642 % | 108.97/109.09 c | 87394 | 944 40876 83798 | 56916 31968 276 | 13.315 % | 233.58/233.69 c | 131183 | 897 40876 83798 | 62608 40034 323 | 17.631 % | 299.78/299.88 c =============================================================================== 304.59/304.64 c core #1 304.59/304.64 c Memory used : 279.45 MB 304.59/304.64 c CPU time : 303.876 s 304.59/304.64 c 304.59/304.64 s UNSATISFIABLE 304.59/304.64 c Total CPU time: 303.876 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-2699620-1278533798/watcher-2699620-1278533798 -o /tmp/evaluation-result-2699620-1278533798/solver-2699620-1278533798 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699620-1278533798.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: 0.00 0.00 0.00 1/173 17505 /proc/meminfo: memFree=29618484/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=3960 CPUtime=0 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 339 0 0 0 0 0 0 0 21 0 1 0 21594897 4055040 257 4089446400 134512640 135751879 4288996096 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 990 257 144 303 0 404 0 [startup+0.0146789 s] /proc/loadavg: 0.00 0.00 0.00 1/173 17505 /proc/meminfo: memFree=29618484/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=4224 CPUtime=0.01 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 452 0 0 0 1 0 0 0 21 0 1 0 21594897 4325376 370 4089446400 134512640 135751879 4288996096 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 1056 370 178 303 0 470 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4224 [startup+0.100707 s] /proc/loadavg: 0.00 0.00 0.00 1/173 17505 /proc/meminfo: memFree=29618484/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=6080 CPUtime=0.08 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 1446 0 0 0 8 0 0 0 21 0 1 0 21594897 6225920 1050 4089446400 134512640 135751879 4288996096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 1520 1051 143 303 0 1215 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6080 [startup+0.300676 s] /proc/loadavg: 0.00 0.00 0.00 1/173 17505 /proc/meminfo: memFree=29618484/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=8720 CPUtime=0.29 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 2114 0 0 0 26 3 0 0 22 0 1 0 21594897 8929280 1718 4089446400 134512640 135751879 4288996096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 2180 1718 143 303 0 1875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8720 [startup+0.700589 s] /proc/loadavg: 0.00 0.00 0.00 1/173 17505 /proc/meminfo: memFree=29618484/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=12444 CPUtime=0.69 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 3031 0 0 0 62 7 0 0 25 0 1 0 21594897 12742656 2635 4089446400 134512640 135751879 4288996096 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 3111 2636 143 303 0 2806 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12444 [startup+1.50044 s] /proc/loadavg: 0.08 0.02 0.01 2/174 17506 /proc/meminfo: memFree=29606436/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=18148 CPUtime=1.49 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 4459 0 0 0 137 12 0 0 25 0 1 0 21594897 18583552 4063 4089446400 134512640 135751879 4288996096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 4537 4063 143 303 0 4232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18148 [startup+3.10108 s] /proc/loadavg: 0.08 0.02 0.01 2/174 17506 /proc/meminfo: memFree=29599740/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=25516 CPUtime=3.09 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 6300 0 0 0 291 18 0 0 25 0 1 0 21594897 26128384 5904 4089446400 134512640 135751879 4288996096 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 6379 5904 143 303 0 6074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25516 [startup+6.30052 s] /proc/loadavg: 0.15 0.03 0.01 2/174 17506 /proc/meminfo: memFree=29588092/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=35052 CPUtime=6.29 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 8683 0 0 0 605 24 0 0 25 0 1 0 21594897 35893248 8287 4089446400 134512640 135751879 4288996096 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 8763 8287 143 303 0 8458 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35052 [startup+12.7003 s] /proc/loadavg: 0.30 0.06 0.02 3/179 17516 /proc/meminfo: memFree=29545248/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=46692 CPUtime=12.69 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 11599 0 0 0 1240 29 0 0 25 0 1 0 21594897 47812608 11203 4089446400 134512640 135751879 4288996096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 11673 11203 143 303 0 11368 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46692 [startup+25.5009 s] /proc/loadavg: 0.52 0.13 0.04 2/174 17533 /proc/meminfo: memFree=29552716/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=61768 CPUtime=25.49 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 15365 0 0 0 2515 34 0 0 25 0 1 0 21594897 63250432 14969 4089446400 134512640 135751879 4288996096 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 15442 14969 143 303 0 15137 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61768 [startup+51.1011 s] /proc/loadavg: 0.68 0.19 0.06 2/174 17634 /proc/meminfo: memFree=29524060/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=90556 CPUtime=51.09 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 22559 0 0 0 5067 42 0 0 25 0 1 0 21594897 92729344 22163 4089446400 134512640 135751879 4288996096 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17505/statm: 22639 22163 143 303 0 22334 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 90556 [startup+102.306 s] /proc/loadavg: 2.25 0.71 0.25 8/187 17723 /proc/meminfo: memFree=29426156/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=135008 CPUtime=102.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 33623 0 0 0 10176 52 0 0 25 0 1 0 21594897 138248192 33227 4089446400 134512640 135751879 4288996096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 33752 33227 143 303 0 33447 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 135008 [startup+162.301 s] /proc/loadavg: 3.00 1.26 0.47 8/187 17735 /proc/meminfo: memFree=29375172/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=181820 CPUtime=162.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 45284 0 0 0 16169 59 0 0 25 0 1 0 21594897 186183680 44888 4089446400 134512640 135751879 4288996096 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 45455 44888 143 303 0 45150 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 181820 [startup+222.301 s] /proc/loadavg: 4.19 1.94 0.75 3/187 17744 /proc/meminfo: memFree=29330448/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=225080 CPUtime=222.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 56077 0 0 0 22162 66 0 0 25 0 1 0 21594897 230481920 55681 4089446400 134512640 135751879 4288996096 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 56270 55681 143 303 0 55965 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 225080 [startup+282.3 s] /proc/loadavg: 5.38 2.66 1.07 5/187 17745 /proc/meminfo: memFree=29288060/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=268152 CPUtime=282.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 66827 0 0 0 28155 73 0 0 25 0 1 0 21594897 274587648 66431 4089446400 134512640 135751879 4288996096 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 67038 66431 143 303 0 66733 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 268152 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 5.24 2.72 1.11 5/187 17746 /proc/meminfo: memFree=29278804/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=277076 CPUtime=294.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 69012 0 0 0 29353 75 0 0 25 0 1 0 21594897 283725824 68616 4089446400 134512640 135751879 4288996096 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 69269 68616 143 303 0 68964 0 Current children cumulated CPU time (s) 294.28 Current children cumulated vsize (KiB) 277076 [startup+300.701 s] /proc/loadavg: 5.19 2.80 1.15 3/187 17746 /proc/meminfo: memFree=29272732/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=283244 CPUtime=300.68 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 70553 0 0 0 29993 75 0 0 25 0 1 0 21594897 290041856 70157 4089446400 134512640 135751879 4288996096 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 70811 70157 143 303 0 70506 0 Current children cumulated CPU time (s) 300.68 Current children cumulated vsize (KiB) 283244 [startup+302.301 s] /proc/loadavg: 5.19 2.80 1.15 5/187 17746 /proc/meminfo: memFree=29270988/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=285752 CPUtime=302.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 71178 0 0 0 30152 76 0 0 25 0 1 0 21594897 292610048 70782 4089446400 134512640 135751879 4288996096 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 71438 70782 143 303 0 71133 0 Current children cumulated CPU time (s) 302.28 Current children cumulated vsize (KiB) 285752 [startup+303.901 s] /proc/loadavg: 5.19 2.80 1.15 4/187 17746 /proc/meminfo: memFree=29269128/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=285884 CPUtime=303.88 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 71234 0 0 0 30312 76 0 0 25 0 1 0 21594897 292745216 70838 4089446400 134512640 135751879 4288996096 18446744073709551615 134618827 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 71471 70838 143 303 0 71166 0 Current children cumulated CPU time (s) 303.88 Current children cumulated vsize (KiB) 285884 [startup+304.301 s] /proc/loadavg: 5.19 2.80 1.15 4/187 17746 /proc/meminfo: memFree=29269128/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=286016 CPUtime=304.28 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 71241 0 0 0 30352 76 0 0 25 0 1 0 21594897 292880384 70845 4089446400 134512640 135751879 4288996096 18446744073709551615 134618759 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 71504 70845 143 303 0 71199 0 Current children cumulated CPU time (s) 304.28 Current children cumulated vsize (KiB) 286016 [startup+304.5 s] /proc/loadavg: 5.19 2.80 1.15 4/187 17746 /proc/meminfo: memFree=29269128/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=286016 CPUtime=304.48 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 71256 0 0 0 30372 76 0 0 25 0 1 0 21594897 292880384 70860 4089446400 134512640 135751879 4288996096 18446744073709551615 134618457 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 71504 70860 143 303 0 71199 0 Current children cumulated CPU time (s) 304.48 Current children cumulated vsize (KiB) 286016 [startup+304.6 s] /proc/loadavg: 5.19 2.80 1.15 4/187 17746 /proc/meminfo: memFree=29268884/32951124 swapFree=67111528/67111528 [pid=17505] ppid=17503 vsize=286016 CPUtime=304.59 /proc/17505/stat : 17505 (wbo1.4a) R 17503 17505 17434 0 -1 4202496 71269 0 0 0 30383 76 0 0 25 0 1 0 21594897 292880384 70873 4089446400 134512640 135751879 4288996096 18446744073709551615 134618457 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17505/statm: 71504 70873 143 303 0 71199 0 Current children cumulated CPU time (s) 304.59 Current children cumulated vsize (KiB) 286016 Child status: 0 Real time (s): 304.663 CPU time (s): 304.651 CPU user time (s): 303.877 CPU system time (s): 0.773882 CPU usage (%): 99.9959 Max. virtual memory (cumulated for all children) (KiB): 286016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 303.877 system time used= 0.773882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71282 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= 771 runsolver used 0.482926 second user time and 0.962853 second system time The end
Begin job on node102 at 2010-07-07 22:16:38 IDJOB=2699620 IDBENCH=79360 IDSOLVER=1200 FILE ID=node102/2699620-1278533798 PBS_JOBID= 11239273 Free space on /tmp= 72992 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699620-1278533798/watcher-2699620-1278533798 -o /tmp/evaluation-result-2699620-1278533798/solver-2699620-1278533798 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699620-1278533798.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525 RANDOM SEED=308936506 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.806 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.61 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.806 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.75 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.806 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.82 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.806 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.75 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.806 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.85 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.806 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.75 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.806 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.806 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 : 5397.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29619012 kB Buffers: 132332 kB Cached: 2947468 kB SwapCached: 0 kB Active: 1095280 kB Inactive: 2046272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29619012 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4040 kB Writeback: 0 kB AnonPages: 62228 kB Mapped: 14420 kB Slab: 127580 kB PageTables: 4508 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 182848 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= 72976 MiB End job on node102 at 2010-07-07 22:21:43