Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| pwbo 2.01 | OPTIMUM | 378.51 | 189.315 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo |
| MD5SUM | 9767c89dfda19e08df7810305b3128ba |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 463 |
| Best CPU time to get the best result obtained on this benchmark | 0.201968 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.01 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing wbo file format. File HOME/instance-3712698-1338206221.wbo. 0.00/0.00 c Instance file HOME/instance-3712698-1338206221.wbo 0.00/0.00 c File size is 47417 bytes. 0.00/0.00 c Highest Coefficient sum: 21 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: 1100 | 0.00/0.00 c | Number Clauses: 1100 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: PB Constraint | 0.00/0.01 c | | 0.00/0.01 c =============================================================================== 378.51/189.30 o 15397 378.51/189.30 o 15351 378.51/189.30 o 15341 378.51/189.30 o 15148 378.51/189.30 o 14976 378.51/189.30 o 14872 378.51/189.30 o 14808 378.51/189.30 o 14361 378.51/189.30 o 14339 378.51/189.30 o 14177 378.51/189.30 o 14047 378.51/189.30 o 13725 378.51/189.30 o 13659 378.51/189.30 o 13635 378.51/189.30 o 13634 378.51/189.30 o 13584 378.51/189.30 o 13564 378.51/189.30 o 13474 378.51/189.30 o 13418 378.51/189.30 o 13398 378.51/189.30 o 13068 378.51/189.30 o 12921 378.51/189.30 o 12592 378.51/189.30 o 12396 378.51/189.30 o 12205 378.51/189.30 o 12110 378.51/189.30 o 11962 378.51/189.30 o 11811 378.51/189.30 o 11611 378.51/189.30 o 11423 378.51/189.30 o 11307 378.51/189.30 o 11294 378.51/189.30 o 11230 378.51/189.30 o 11006 378.51/189.30 o 10981 378.51/189.30 o 10916 378.51/189.30 o 10855 378.51/189.30 o 10762 378.51/189.30 o 10698 378.51/189.30 o 10504 378.51/189.30 o 10185 378.51/189.30 o 10179 378.51/189.30 o 10084 378.51/189.30 o 10017 378.51/189.30 o 9935 378.51/189.30 o 9836 378.51/189.30 o 9727 378.51/189.30 o 9693 378.51/189.30 o 9676 378.51/189.30 o 9587 378.51/189.30 o 9584 378.51/189.30 o 9539 378.51/189.30 o 9448 378.51/189.30 o 9426 378.51/189.30 o 9358 378.51/189.30 o 9325 378.51/189.30 o 9233 378.51/189.30 o 9156 378.51/189.30 o 9035 378.51/189.30 o 9016 378.51/189.30 o 8978 378.51/189.30 o 8966 378.51/189.30 o 8931 378.51/189.30 o 8777 378.51/189.30 o 8618 378.51/189.30 o 8533 378.51/189.30 o 8455 378.51/189.30 o 8420 378.51/189.30 o 8362 378.51/189.30 o 8345 378.51/189.30 o 8337 378.51/189.30 o 8294 378.51/189.30 o 8163 378.51/189.30 o 8113 378.51/189.30 o 8110 378.51/189.30 o 8085 378.51/189.30 o 8061 378.51/189.30 o 8006 378.51/189.30 o 8002 378.51/189.30 o 7985 378.51/189.30 o 7912 378.51/189.30 o 7884 378.51/189.30 o 7864 378.51/189.30 o 7688 378.51/189.30 o 7483 378.51/189.30 o 7456 378.51/189.30 o 7454 378.51/189.30 o 7432 378.51/189.30 o 7397 378.51/189.30 o 7316 378.51/189.30 o 7286 378.51/189.30 o 7284 378.51/189.30 o 7268 378.51/189.30 o 7226 378.51/189.30 o 7144 378.51/189.30 o 7018 378.51/189.30 o 7016 378.51/189.30 o 7014 378.51/189.30 o 6983 378.51/189.30 o 6935 378.51/189.30 o 6888 378.51/189.30 o 6819 378.51/189.30 o 6738 378.51/189.30 o 6719 378.51/189.30 o 6680 378.51/189.30 o 6677 378.51/189.30 o 6635 378.51/189.30 o 6633 378.51/189.30 o 6629 378.51/189.30 o 6586 378.51/189.30 o 6526 378.51/189.30 o 6471 378.51/189.30 o 6383 378.51/189.30 o 6218 378.51/189.30 o 6173 378.51/189.30 o 6135 378.51/189.30 o 6054 378.51/189.30 o 6029 378.51/189.30 o 5977 378.51/189.30 o 5926 378.51/189.30 o 5898 378.51/189.30 o 5886 378.51/189.30 o 5879 378.51/189.30 o 5800 378.51/189.30 o 5795 378.51/189.30 o 5737 378.51/189.30 o 5713 378.51/189.30 o 5637 378.51/189.30 o 5628 378.51/189.30 o 5620 378.51/189.30 o 5589 378.51/189.30 o 5580 378.51/189.30 o 5545 378.51/189.30 o 5482 378.51/189.30 o 5456 378.51/189.30 o 5423 378.51/189.30 o 5418 378.51/189.30 o 5414 378.51/189.30 o 5366 378.51/189.30 o 5344 378.51/189.30 o 5334 378.51/189.30 o 5278 378.51/189.30 o 5129 378.51/189.30 o 5059 378.51/189.30 o 5042 378.51/189.30 o 4999 378.51/189.30 o 4989 378.51/189.30 o 4874 378.51/189.30 o 4760 378.51/189.30 o 4692 378.51/189.30 o 4645 378.51/189.30 o 4636 378.51/189.30 o 4622 378.51/189.30 o 4556 378.51/189.30 o 4548 378.51/189.30 o 4468 378.51/189.30 o 4455 378.51/189.30 o 4407 378.51/189.30 o 4384 378.51/189.30 o 4357 378.51/189.30 o 4286 378.51/189.30 o 4249 378.51/189.30 o 4057 378.51/189.30 o 4037 378.51/189.30 o 3991 378.51/189.30 o 3983 378.51/189.30 o 3953 378.51/189.30 o 3925 378.51/189.30 o 3848 378.51/189.30 o 3781 378.51/189.30 o 3761 378.51/189.30 o 3713 378.51/189.30 o 3647 378.51/189.30 o 3641 378.51/189.30 o 3638 378.51/189.30 o 3583 378.51/189.30 o 3527 378.51/189.30 o 3487 378.51/189.30 o 3456 378.51/189.30 o 3437 378.51/189.30 o 3409 378.51/189.30 o 3390 378.51/189.30 o 3328 378.51/189.30 o 3246 378.51/189.30 o 3232 378.51/189.30 o 3149 378.51/189.30 o 3134 378.51/189.30 o 3113 378.51/189.30 o 3109 378.51/189.30 o 3107 378.51/189.30 o 2988 378.51/189.30 o 2985 378.51/189.30 o 2952 378.51/189.30 o 2802 378.51/189.30 o 2764 378.51/189.30 o 2722 378.51/189.30 o 2668 378.51/189.30 o 2638 378.51/189.30 o 2607 378.51/189.30 o 2535 378.51/189.30 o 2491 378.51/189.30 o 2486 378.51/189.30 o 2462 378.51/189.30 o 2450 378.51/189.30 o 2440 378.51/189.30 o 2403 378.51/189.30 o 2401 378.51/189.30 o 2364 378.51/189.30 o 2337 378.51/189.30 o 2336 378.51/189.30 o 2303 378.51/189.30 o 2241 378.51/189.30 o 2224 378.51/189.30 o 2219 378.51/189.30 o 2172 378.51/189.30 o 2042 378.51/189.30 o 2027 378.51/189.30 o 2003 378.51/189.30 o 1899 378.51/189.30 o 1864 378.51/189.30 o 1746 378.51/189.30 o 1742 378.51/189.30 o 1741 378.51/189.30 o 1686 378.51/189.30 o 1675 378.51/189.30 o 1623 378.51/189.30 o 1614 378.51/189.30 o 1558 378.51/189.30 o 1508 378.51/189.30 o 1496 378.51/189.30 o 1395 378.51/189.30 o 1327 378.51/189.30 o 1292 378.51/189.30 o 1279 378.51/189.30 o 1228 378.51/189.30 o 1212 378.51/189.30 o 1139 378.51/189.30 o 1098 378.51/189.30 o 1093 378.51/189.30 o 1016 378.51/189.30 o 991 378.51/189.30 o 923 378.51/189.30 o 844 378.51/189.30 o 826 378.51/189.30 o 782 378.51/189.30 o 781 378.51/189.30 o 754 378.51/189.30 o 710 378.51/189.30 o 572 378.51/189.30 o 509 378.51/189.30 o 463 378.51/189.30 c =============================================================================== 378.51/189.30 c Wall Clock Time: 189.30 s 378.51/189.30 c Best Solution: 463 378.51/189.30 s OPTIMUM FOUND 378.51/189.30 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 -x17 x18 x19 -x20 x21 -x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40 -x41 x42 -x43 x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 x53 -x54 x55 -x56 -x57 x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 -x79 x80 -x81 x82 x83 -x84 -x85 x86 -x87 x88 -x89 x90 x91 -x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100 -x101 x102 x103 -x104 -x105 x106 -x107 x108 x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 x139 -x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 x151 -x152 x153 -x154 -x155 x156 -x157 x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 -x169 x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 x190 x191 -x192 -x193 x194 x195 -x196 -x197 x198 -x199 x200
OK 463
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712698-1338206221/watcher-3712698-1338206221 -o /tmp/evaluation-result-3712698-1338206221/solver-3712698-1338206221 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712698-1338206221.wbo running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 4.00 4.00 4/178 22862 /proc/meminfo: memFree=29646460/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=5024 CPUtime=0 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) R 22860 22862 20249 0 -1 4202496 592 0 0 0 0 0 0 0 20 0 1 0 286746690 5144576 532 33554432000 4194304 5964478 140736378994144 140736378992392 4297148 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 1256 544 167 433 0 820 0 [startup+0.0854281 s] /proc/loadavg: 4.00 4.00 4.00 4/178 22862 /proc/meminfo: memFree=29646460/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=0.15 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 5394 0 0 0 15 0 0 0 20 0 3 0 286746690 168546304 2749 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 2749 201 433 0 40713 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 164596 [startup+0.100191 s] /proc/loadavg: 4.00 4.00 4.00 4/178 22862 /proc/meminfo: memFree=29646460/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=0.18 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 5587 0 0 0 18 0 0 0 20 0 3 0 286746690 168546304 2926 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 2926 201 433 0 40713 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 164596 [startup+0.300168 s] /proc/loadavg: 4.00 4.00 4.00 4/178 22862 /proc/meminfo: memFree=29646460/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=0.57 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 10542 0 0 0 56 1 0 0 20 0 3 0 286746690 168546304 3952 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 3952 201 433 0 40713 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 164596 [startup+0.700177 s] /proc/loadavg: 4.00 4.00 4.00 4/178 22862 /proc/meminfo: memFree=29646460/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=1.38 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 14292 0 0 0 135 3 0 0 20 0 3 0 286746690 168546304 6027 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 6027 201 433 0 40713 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 164596 [startup+1.50033 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22865 /proc/meminfo: memFree=29616320/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=2.97 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 25350 0 0 0 292 5 0 0 20 0 3 0 286746690 168546304 7703 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 7703 201 433 0 40713 0 [pid=22862/tid=22864] ppid=22860 vsize=164596 CPUtime=1.47 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 11989 0 0 0 144 3 0 0 20 0 3 0 286746690 168546304 7703 33554432000 4194304 5964478 140736378994144 140269692340568 4392695 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=164596 CPUtime=1.47 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 12476 0 0 0 145 2 0 0 20 0 3 0 286746690 168546304 7703 33554432000 4194304 5964478 140736378994144 140269681851032 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 164596 [startup+3.10032 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22865 /proc/meminfo: memFree=29605656/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=6.17 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 35385 0 0 0 610 7 0 0 20 0 3 0 286746690 168546304 10230 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 10230 201 433 0 40713 0 [pid=22862/tid=22864] ppid=22860 vsize=164596 CPUtime=3.07 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 17584 0 0 0 302 5 0 0 20 0 3 0 286746690 168546304 10230 33554432000 4194304 5964478 140736378994144 140269692341064 4387935 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=164596 CPUtime=3.07 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 16916 0 0 0 305 2 0 0 20 0 3 0 286746690 168546304 10230 33554432000 4194304 5964478 140736378994144 140269681851032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 164596 [startup+6.30031 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22865 /proc/meminfo: memFree=29581724/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=12.57 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 46096 0 0 0 1249 8 0 0 20 0 3 0 286746690 168546304 13226 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 13226 201 433 0 40713 0 [pid=22862/tid=22864] ppid=22860 vsize=164596 CPUtime=6.26 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 25038 0 0 0 621 5 0 0 20 0 3 0 286746690 168546304 13226 33554432000 4194304 5964478 140736378994144 140269692341064 4409269 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=164596 CPUtime=6.26 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 20173 0 0 0 623 3 0 0 20 0 3 0 286746690 168546304 13226 33554432000 4194304 5964478 140736378994144 140269681850888 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 164596 [startup+12.7003 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22865 /proc/meminfo: memFree=29558660/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=25.37 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 59270 0 0 0 2526 11 0 0 20 0 3 0 286746690 168546304 14666 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 14666 201 433 0 40713 0 [pid=22862/tid=22864] ppid=22860 vsize=164596 CPUtime=12.64 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 26425 0 0 0 1259 5 0 0 20 0 3 0 286746690 168546304 14666 33554432000 4194304 5964478 140736378994144 140269692340584 4392813 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=164596 CPUtime=12.64 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 31960 0 0 0 1259 5 0 0 20 0 3 0 286746690 168546304 14666 33554432000 4194304 5964478 140736378994144 140269681851032 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 164596 [startup+25.5003 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22865 /proc/meminfo: memFree=29518096/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=164596 CPUtime=50.97 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 69614 0 0 0 5085 12 0 0 20 0 3 0 286746690 168546304 17320 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 41149 17320 201 433 0 40713 0 [pid=22862/tid=22864] ppid=22860 vsize=164596 CPUtime=25.41 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 28474 0 0 0 2536 5 0 0 20 0 3 0 286746690 168546304 17320 33554432000 4194304 5964478 140736378994144 140269692340552 4392680 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=164596 CPUtime=25.41 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 40255 0 0 0 2536 5 0 0 20 0 3 0 286746690 168546304 17320 33554432000 4194304 5964478 140736378994144 140269681851032 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 164596 [startup+51.1003 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22866 /proc/meminfo: memFree=29458776/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230132 CPUtime=102.15 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 86503 0 0 0 10201 14 0 0 20 0 3 0 286746690 235655168 20461 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57533 20461 201 433 0 57097 0 [pid=22862/tid=22864] ppid=22860 vsize=230132 CPUtime=50.94 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 31077 0 0 0 5088 6 0 0 20 0 3 0 286746690 235655168 20461 33554432000 4194304 5964478 140736378994144 140269692340216 4389113 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230132 CPUtime=50.94 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 54541 0 0 0 5087 7 0 0 20 0 3 0 286746690 235655168 20461 33554432000 4194304 5964478 140736378994144 140269681851032 4403661 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 230132 [startup+102.307 s] /proc/loadavg: 4.00 4.00 4.00 5/181 22866 /proc/meminfo: memFree=29269164/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230132 CPUtime=204.55 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 113191 0 0 0 20433 22 0 0 20 0 3 0 286746690 235655168 29396 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57533 29396 201 433 0 57097 0 [pid=22862/tid=22864] ppid=22860 vsize=230132 CPUtime=102.02 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 39994 0 0 0 10190 12 0 0 20 0 3 0 286746690 235655168 29396 33554432000 4194304 5964478 140736378994144 140269692340024 4389131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230132 CPUtime=102.01 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 72312 0 0 0 10189 12 0 0 20 0 3 0 286746690 235655168 29396 33554432000 4194304 5964478 140736378994144 140269681851032 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 204.55 Current children cumulated vsize (KiB) 230132 [startup+162.3 s] /proc/loadavg: 4.07 4.02 4.00 5/181 22866 /proc/meminfo: memFree=29138496/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230264 CPUtime=324.52 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 133565 0 0 0 32424 28 0 0 20 0 3 0 286746690 235790336 35530 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57566 35530 201 433 0 57130 0 [pid=22862/tid=22864] ppid=22860 vsize=230264 CPUtime=161.86 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45475 0 0 0 16170 16 0 0 20 0 3 0 286746690 235790336 35530 33554432000 4194304 5964478 140736378994144 140269692340024 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230264 CPUtime=161.85 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 87205 0 0 0 16170 15 0 0 20 0 3 0 286746690 235790336 35530 33554432000 4194304 5964478 140736378994144 140269681851032 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 324.52 Current children cumulated vsize (KiB) 230264 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 4.07 4.02 4.00 5/181 22866 /proc/meminfo: memFree=29136636/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230264 CPUtime=332.52 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 134005 0 0 0 33224 28 0 0 20 0 3 0 286746690 235790336 35965 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57566 35965 201 433 0 57130 0 [pid=22862/tid=22864] ppid=22860 vsize=230264 CPUtime=165.85 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45504 0 0 0 16569 16 0 0 20 0 3 0 286746690 235790336 35965 33554432000 4194304 5964478 140736378994144 140269692340024 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230264 CPUtime=165.84 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 87616 0 0 0 16568 16 0 0 20 0 3 0 286746690 235790336 35965 33554432000 4194304 5964478 140736378994144 140269681850888 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 332.52 Current children cumulated vsize (KiB) 230264 [startup+179.1 s] /proc/loadavg: 4.05 4.01 4.00 5/181 22866 /proc/meminfo: memFree=29135132/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230264 CPUtime=358.12 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 135850 0 0 0 35783 29 0 0 20 0 3 0 286746690 235790336 36197 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57566 36197 201 433 0 57130 0 [pid=22862/tid=22864] ppid=22860 vsize=230264 CPUtime=178.62 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45675 0 0 0 17846 16 0 0 20 0 3 0 286746690 235790336 36197 33554432000 4194304 5964478 140736378994144 140269692340024 4399970 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230264 CPUtime=178.61 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 89290 0 0 0 17845 16 0 0 20 0 3 0 286746690 235790336 36197 33554432000 4194304 5964478 140736378994144 140269681851032 4403661 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 358.12 Current children cumulated vsize (KiB) 230264 [startup+185.5 s] /proc/loadavg: 4.05 4.01 4.00 5/182 22869 /proc/meminfo: memFree=29134604/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230264 CPUtime=370.91 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 139140 0 0 0 37062 29 0 0 20 0 3 0 286746690 235790336 36256 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57566 36256 201 433 0 57130 0 [pid=22862/tid=22864] ppid=22860 vsize=230264 CPUtime=185 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45734 0 0 0 18484 16 0 0 20 0 3 0 286746690 235790336 36256 33554432000 4194304 5964478 140736378994144 140269692340024 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230264 CPUtime=184.99 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 92521 0 0 0 18483 16 0 0 20 0 3 0 286746690 235790336 36256 33554432000 4194304 5964478 140736378994144 140269681851032 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 370.91 Current children cumulated vsize (KiB) 230264 [startup+187.1 s] /proc/loadavg: 4.04 4.01 4.00 5/182 22869 /proc/meminfo: memFree=29134604/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230264 CPUtime=374.11 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 139146 0 0 0 37382 29 0 0 20 0 3 0 286746690 235790336 36262 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57566 36262 201 433 0 57130 0 [pid=22862/tid=22864] ppid=22860 vsize=230264 CPUtime=186.6 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45735 0 0 0 18644 16 0 0 20 0 3 0 286746690 235790336 36262 33554432000 4194304 5964478 140736378994144 140269692340024 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230264 CPUtime=186.59 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 92526 0 0 0 18643 16 0 0 20 0 3 0 286746690 235790336 36262 33554432000 4194304 5964478 140736378994144 140269681851032 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 374.11 Current children cumulated vsize (KiB) 230264 [startup+188.7 s] /proc/loadavg: 4.04 4.01 4.00 5/182 22869 /proc/meminfo: memFree=29134612/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230400 CPUtime=377.31 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 139165 0 0 0 37702 29 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57600 36281 201 433 0 57164 0 [pid=22862/tid=22864] ppid=22860 vsize=230400 CPUtime=188.19 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45741 0 0 0 18803 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269692340024 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230400 CPUtime=188.18 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 92539 0 0 0 18802 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269681850440 4403661 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 377.31 Current children cumulated vsize (KiB) 230400 [startup+189.1 s] /proc/loadavg: 4.04 4.01 4.00 5/182 22869 /proc/meminfo: memFree=29134596/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230400 CPUtime=378.13 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 139165 0 0 0 37784 29 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57600 36281 201 433 0 57164 0 [pid=22862/tid=22864] ppid=22860 vsize=230400 CPUtime=188.6 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45741 0 0 0 18844 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269692340024 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230400 CPUtime=188.59 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 92539 0 0 0 18843 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269681850440 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 378.13 Current children cumulated vsize (KiB) 230400 [startup+189.3 s] /proc/loadavg: 4.04 4.01 4.00 5/182 22869 /proc/meminfo: memFree=29134596/32873844 swapFree=6080/6080 [pid=22862] ppid=22860 vsize=230400 CPUtime=378.51 cores=0,2,4,6 /proc/22862/stat : 22862 (pwbo2.01) S 22860 22862 20249 0 -1 4202496 139165 0 0 0 37822 29 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140736378993664 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22862/statm: 57600 36281 201 433 0 57164 0 [pid=22862/tid=22864] ppid=22860 vsize=230400 CPUtime=188.79 cores=0,2,4,6 /proc/22862/task/22864/stat : 22864 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 45741 0 0 0 18863 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269692340024 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=22862/tid=22865] ppid=22860 vsize=230400 CPUtime=188.78 cores=0,2,4,6 /proc/22862/task/22865/stat : 22865 (pwbo2.01) R 22860 22862 20249 0 -1 4202560 92539 0 0 0 18862 16 0 0 20 0 3 0 286746690 235929600 36281 33554432000 4194304 5964478 140736378994144 140269681850440 4403648 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 378.51 Current children cumulated vsize (KiB) 230400 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22862 and gives # childrusage.ru_utime.tv_sec=377 # childrusage.ru_utime.tv_usec=266646 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=351946 # CPU time returned by wait4() is 377.619 # while last known CPU time is 378.51 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 189.315 CPU time (s): 378.51 CPU user time (s): 378.22 CPU system time (s): 0.29 CPU usage (%): 199.936 Max. virtual memory (cumulated for all children) (KiB): 230400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 377.267 system time used= 0.351946 maximum resident set size= 146636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139170 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= 80 involuntary context switches= 422 runsolver used 0.270958 second user time and 0.775882 second system time The end
Begin job on node139 at 2012-05-28 13:57:01 IDJOB=3712698 IDBENCH=79427 IDSOLVER=2292 FILE ID=node139/3712698-1338206221 RUNJOBID= node139-1338192730-20265 PBS_JOBID= 14624580 Free space on /tmp= 71648 MiB SOLVER NAME= pwbo 2.01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh310_wcsp.wbo COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712698-1338206221/watcher-3712698-1338206221 -o /tmp/evaluation-result-3712698-1338206221/solver-3712698-1338206221 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712698-1338206221.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9767c89dfda19e08df7810305b3128ba RANDOM SEED=1505997679 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29646988 kB Buffers: 429164 kB Cached: 452896 kB SwapCached: 828 kB Active: 2162188 kB Inactive: 206040 kB Active(anon): 1479640 kB Inactive(anon): 7968 kB Active(file): 682548 kB Inactive(file): 198072 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67104692 kB Dirty: 5464 kB Writeback: 0 kB AnonPages: 1490280 kB Mapped: 12648 kB Shmem: 8 kB Slab: 717036 kB SReclaimable: 159472 kB SUnreclaim: 557564 kB KernelStack: 1488 kB PageTables: 7004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 168928 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71640 MiB End job on node139 at 2012-05-28 14:00:11