Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1500.29 | 1500.26 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | 8d28474a5cb37d0277ef3e3fb6ddbee0 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 0.011997 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 400 |
Total number of constraints | 60 |
Number of soft constraints | 60 |
Number of constraints which are clauses | 40 |
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 | 20 |
Top cost | 2653 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 2652 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689928-1277919596.wbo. 0.00/0.00 c Instance file HOME/instance-2689928-1277919596.wbo 0.00/0.00 c File size is 7174 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.00 s | 0.00/0.00 c | Number Variables: 400 | 0.00/0.00 c | Number Clauses: 40 | 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 | 400 60 800 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 400 60 800 | 5500 100 33 | 0.001 % | 0.00/0.00 c | 250 | 400 60 800 | 6050 250 33 | 0.001 % | 0.00/0.01 c | 475 | 400 60 800 | 6655 475 42 | 0.001 % | 0.01/0.02 c | 813 | 400 60 800 | 7320 813 49 | 0.001 % | 0.01/0.04 c | 1320 | 400 60 800 | 8052 1320 52 | 0.001 % | 0.01/0.08 c | 2079 | 400 60 800 | 8857 2079 54 | 0.001 % | 0.09/0.17 c | 3219 | 400 60 800 | 9743 3219 53 | 0.001 % | 0.39/0.40 c | 4927 | 400 60 800 | 10717 4927 55 | 0.001 % | 0.89/0.92 c | 7491 | 400 60 800 | 11789 7491 57 | 0.001 % | 1.89/1.93 c | 11335 | 400 60 800 | 12968 11335 58 | 0.001 % | 3.30/3.36 c | 17102 | 400 60 800 | 14265 10576 60 | 0.001 % | 5.29/5.38 c | 25751 | 400 60 800 | 15692 12051 60 | 0.001 % | 8.19/8.26 c | 38725 | 400 60 800 | 17261 9222 55 | 0.001 % | 13.79/13.87 c | 58186 | 400 60 800 | 18987 11328 56 | 0.001 % | 21.09/21.20 c | 87380 | 400 60 800 | 20886 11897 52 | 0.001 % | 31.39/31.44 c | 131170 | 400 60 800 | 22974 13740 55 | 0.001 % | 48.30/48.32 c | 196856 | 400 60 800 | 25272 21774 57 | 0.001 % | 74.80/74.82 c | 295383 | 400 60 800 | 27799 16995 52 | 0.001 % | 121.79/121.87 c | 443176 | 400 60 800 | 30579 17507 56 | 0.001 % | 189.50/189.54 c | 664861 | 400 60 800 | 33637 24565 57 | 0.001 % | 309.90/309.92 c | 997388 | 400 60 800 | 37001 14890 53 | 0.001 % | 493.10/493.13 c | 1496178 | 400 60 800 | 40701 15474 49 | 0.001 % | 785.80/785.80 c =============================================================================== 802.50/802.57 c core #1 802.50/802.57 c ============================[ Search Statistics ]============================== 802.50/802.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 802.50/802.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 802.50/802.57 c =============================================================================== 802.50/802.57 c | 0 | 430 90 1240 | 5000 0 nan | 0.000 % | 802.70/802.74 c | 100 | 430 90 1240 | 5500 100 33 | 0.001 % | 802.70/802.75 c | 250 | 430 90 1240 | 6050 250 42 | 0.001 % | 802.70/802.76 c | 477 | 430 90 1240 | 6655 477 50 | 0.001 % | 802.70/802.77 c | 815 | 430 90 1240 | 7320 815 56 | 0.001 % | 802.70/802.79 c | 1322 | 430 90 1240 | 8052 1322 55 | 0.001 % | 802.80/802.84 c | 2081 | 430 90 1240 | 8857 2081 55 | 0.001 % | 802.92/802.94 c | 3221 | 430 90 1240 | 9743 3221 54 | 0.001 % | 803.21/803.20 c | 4931 | 430 90 1240 | 10717 4931 55 | 0.001 % | 803.50/803.59 c | 7495 | 430 90 1240 | 11789 7495 55 | 0.001 % | 804.81/804.84 c | 11339 | 430 90 1240 | 12968 11339 55 | 0.001 % | 806.21/806.22 c | 17106 | 430 90 1240 | 14265 10586 54 | 0.001 % | 807.71/807.73 c | 25757 | 430 90 1240 | 15692 12060 50 | 0.001 % | 810.81/810.82 c | 38731 | 430 90 1240 | 17261 9237 52 | 0.001 % | 815.41/815.48 c | 58196 | 430 90 1240 | 18987 11362 49 | 0.001 % | 822.01/822.00 c | 87390 | 430 90 1240 | 20886 11927 53 | 0.001 % | 833.91/833.90 c | 131181 | 430 90 1240 | 22974 13730 55 | 0.001 % | 853.81/853.81 c | 196865 | 430 90 1240 | 25272 21738 46 | 0.001 % | 883.71/883.71 c | 295393 | 430 90 1240 | 27799 15458 56 | 0.001 % | 935.61/935.69 c | 443183 | 430 90 1240 | 30579 14594 51 | 0.001 % | 1007.12/1007.17 c | 664866 | 430 90 1240 | 33637 27464 58 | 0.001 % | 1137.61/1137.67 c | 997392 | 430 90 1240 | 37001 18370 54 | 0.001 % | 1325.62/1325.68 c | 1496182 | 429 90 1240 | 40701 14815 57 | 0.233 % | 1484.32/1484.30 c =============================================================================== 1500.12/1500.10 c core #2 1500.12/1500.10 c ============================[ Search Statistics ]============================== 1500.12/1500.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1500.12/1500.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1500.12/1500.10 c =============================================================================== 1500.12/1500.10 c | 0 | 460 120 1680 | 5000 0 nan | 0.000 % | 1500.22/1500.20 c | 100 | 460 120 1680 | 5500 100 32 | 0.000 % | 1500.22/1500.21 c =============================================================================== 1500.22/1500.21 c #cores: 2 1500.22/1500.21 c Final Weight: 7 1500.22/1500.21 o 7 1500.22/1500.21 s OPTIMUM FOUND 1500.22/1500.21 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 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 1500.22/1500.21 c Total CPU time: 1491.36 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689928-1277919596/watcher-2689928-1277919596 -o /tmp/evaluation-result-2689928-1277919596/solver-2689928-1277919596 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689928-1277919596.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.04 2.01 2.00 3/196 25618 /proc/meminfo: memFree=31312648/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=2572 CPUtime=0 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 165551340 2633728 220 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 643 220 143 303 0 338 0 [startup+0.0197391 s] /proc/loadavg: 2.04 2.01 2.00 3/196 25618 /proc/meminfo: memFree=31312648/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=2836 CPUtime=0.01 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 350 0 0 0 1 0 0 0 25 0 1 0 165551340 2904064 266 4089446400 134512640 135751879 4294286016 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 709 266 143 303 0 404 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2836 [startup+0.100727 s] /proc/loadavg: 2.04 2.01 2.00 3/196 25618 /proc/meminfo: memFree=31312648/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=3496 CPUtime=0.09 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 516 0 0 0 9 0 0 0 25 0 1 0 165551340 3579904 432 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 874 432 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.30069 s] /proc/loadavg: 2.04 2.01 2.00 3/196 25618 /proc/meminfo: memFree=31312648/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=4288 CPUtime=0.29 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 727 0 0 0 29 0 0 0 25 0 1 0 165551340 4390912 643 4089446400 134512640 135751879 4294286016 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 1072 643 143 303 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4288 [startup+0.70062 s] /proc/loadavg: 2.04 2.01 2.00 3/196 25618 /proc/meminfo: memFree=31312648/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=5352 CPUtime=0.69 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 974 0 0 0 69 0 0 0 25 0 1 0 165551340 5480448 890 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 1338 890 143 303 0 1033 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5352 [startup+1.50048 s] /proc/loadavg: 2.04 2.01 2.00 3/197 25619 /proc/meminfo: memFree=31308796/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=6804 CPUtime=1.49 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 1344 0 0 0 148 1 0 0 25 0 1 0 165551340 6967296 1260 4089446400 134512640 135751879 4294286016 18446744073709551615 134616746 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 1701 1260 143 303 0 1396 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6804 [startup+3.1002 s] /proc/loadavg: 2.03 2.01 2.00 3/197 25619 /proc/meminfo: memFree=31306936/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=9472 CPUtime=3.09 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 2022 0 0 0 307 2 0 0 25 0 1 0 165551340 9699328 1938 4089446400 134512640 135751879 4294286016 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 2368 1938 143 303 0 2063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9472 [startup+6.30064 s] /proc/loadavg: 2.03 2.01 2.00 3/197 25619 /proc/meminfo: memFree=31301148/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=14660 CPUtime=6.29 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 3317 0 0 0 624 5 0 0 25 0 1 0 165551340 15011840 3233 4089446400 134512640 135751879 4294286016 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 3665 3233 143 303 0 3360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14660 [startup+12.7005 s] /proc/loadavg: 2.03 2.01 2.00 3/197 25619 /proc/meminfo: memFree=31291192/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=25152 CPUtime=12.69 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 5930 0 0 0 1258 11 0 0 25 0 1 0 165551340 25755648 5846 4089446400 134512640 135751879 4294286016 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 6288 5846 143 303 0 5983 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25152 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/197 25619 /proc/meminfo: memFree=31272264/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=44776 CPUtime=25.49 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 10795 0 0 0 2526 23 0 0 25 0 1 0 165551340 45850624 10711 4089446400 134512640 135751879 4294286016 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 11194 10711 143 303 0 10889 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44776 [startup+51.1008 s] /proc/loadavg: 2.01 2.01 2.00 3/197 25620 /proc/meminfo: memFree=31231316/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=86456 CPUtime=51.09 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 21176 0 0 0 5062 47 0 0 25 0 1 0 165551340 88530944 21092 4089446400 134512640 135751879 4294286016 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 21614 21092 143 303 0 21309 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86456 [startup+102.307 s] /proc/loadavg: 2.08 2.02 2.01 3/197 25621 /proc/meminfo: memFree=31164060/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=152500 CPUtime=102.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 37584 0 0 0 10143 87 0 0 25 0 1 0 165551340 156160000 37500 4089446400 134512640 135751879 4294286016 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 38125 37500 143 303 0 37820 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 152500 [startup+162.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 25623 /proc/meminfo: memFree=31083896/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=232804 CPUtime=162.29 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 57631 0 0 0 16090 139 0 0 25 0 1 0 165551340 238391296 57547 4089446400 134512640 135751879 4294286016 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 58201 57547 143 303 0 57896 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 232804 [startup+222.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 25625 /proc/meminfo: memFree=31022608/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=293456 CPUtime=222.29 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 72760 0 0 0 22055 174 0 0 25 0 1 0 165551340 300498944 72676 4089446400 134512640 135751879 4294286016 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 73364 72676 143 303 0 73059 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 293456 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25626 /proc/meminfo: memFree=30968008/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=348264 CPUtime=282.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 86435 0 0 0 28024 206 0 0 25 0 1 0 165551340 356622336 86351 4089446400 134512640 135751879 4294286016 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 87066 86351 143 303 0 86761 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 348264 [startup+342.301 s] /proc/loadavg: 1.96 1.98 1.99 3/197 25627 /proc/meminfo: memFree=30904600/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=411136 CPUtime=342.29 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 102172 0 0 0 33985 244 0 0 25 0 1 0 165551340 421003264 102088 4089446400 134512640 135751879 4294286016 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 102784 102088 143 303 0 102479 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 411136 [startup+402.3 s] /proc/loadavg: 1.98 1.98 1.99 3/197 25629 /proc/meminfo: memFree=30840584/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=475768 CPUtime=402.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 118314 0 0 0 39946 284 0 0 25 0 1 0 165551340 487186432 118230 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 118942 118230 143 303 0 118637 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 475768 [startup+462.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 25631 /proc/meminfo: memFree=30782900/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=533084 CPUtime=462.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 132588 0 0 0 45911 319 0 0 25 0 1 0 165551340 545878016 132504 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 133271 132504 143 303 0 132966 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 533084 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 25633 /proc/meminfo: memFree=30728800/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=587388 CPUtime=522.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 146148 0 0 0 51877 354 0 0 25 0 1 0 165551340 601485312 146064 4089446400 134512640 135751879 4294286016 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 146847 146064 143 303 0 146542 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 587388 [startup+582.301 s] /proc/loadavg: 2.04 2.00 2.00 3/197 25637 /proc/meminfo: memFree=30673460/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=642168 CPUtime=582.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 159826 0 0 0 57840 390 0 0 25 0 1 0 165551340 657580032 159742 4089446400 134512640 135751879 4294286016 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 160542 159742 143 303 0 160237 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 642168 [startup+642.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 25638 /proc/meminfo: memFree=30624832/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=690624 CPUtime=642.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 171878 0 0 0 63812 419 0 0 25 0 1 0 165551340 707198976 171794 4089446400 134512640 135751879 4294286016 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25618/statm: 172656 171794 143 303 0 172351 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 690624 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30389916/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=887288 CPUtime=882.3 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 221583 0 0 0 87672 558 0 0 25 0 1 0 165551340 908582912 221369 4089446400 134512640 135751879 4294286016 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 221822 221369 146 303 0 221517 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 887288 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25676 /proc/meminfo: memFree=30333076/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=887288 CPUtime=942.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 221584 0 0 0 93641 590 0 0 25 0 1 0 165551340 908582912 221370 4089446400 134512640 135751879 4294286016 18446744073709551615 134616827 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 221822 221370 146 303 0 221517 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 887288 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25678 /proc/meminfo: memFree=30154232/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=915032 CPUtime=1002.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 228503 0 0 0 99601 630 0 0 25 0 1 0 165551340 936992768 228289 4089446400 134512640 135751879 4294286016 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 228758 228289 146 303 0 228453 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 915032 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25680 /proc/meminfo: memFree=29982096/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=951072 CPUtime=1062.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 237482 0 0 0 105572 659 0 0 25 0 1 0 165551340 973897728 237268 4089446400 134512640 135751879 4294286016 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 237768 237268 146 303 0 237463 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 951072 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25682 /proc/meminfo: memFree=29814908/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=986116 CPUtime=1122.32 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 246180 0 0 0 111542 690 0 0 25 0 1 0 165551340 1009782784 245966 4089446400 134512640 135751879 4294286016 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 246529 245966 146 303 0 246224 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 986116 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25683 /proc/meminfo: memFree=29713196/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1019928 CPUtime=1182.31 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 254612 0 0 0 117511 720 0 0 25 0 1 0 165551340 1044406272 254398 4089446400 134512640 135751879 4294286016 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 254982 254398 146 303 0 254677 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1019928 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 25684 /proc/meminfo: memFree=29631688/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1057924 CPUtime=1242.32 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 264097 0 0 0 123477 755 0 0 25 0 1 0 165551340 1083314176 263883 4089446400 134512640 135751879 4294286016 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 264481 263883 146 303 0 264176 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1057924 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25695 /proc/meminfo: memFree=29521472/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1099332 CPUtime=1302.33 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 274437 0 0 0 129446 787 0 0 25 0 1 0 165551340 1125715968 274223 4089446400 134512640 135751879 4294286016 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 274833 274223 146 303 0 274528 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1099332 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25697 /proc/meminfo: memFree=29408348/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1135704 CPUtime=1362.32 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 283491 0 0 0 135414 818 0 0 25 0 1 0 165551340 1162960896 283277 4089446400 134512640 135751879 4294286016 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 283926 283277 146 303 0 283621 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1135704 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25699 /proc/meminfo: memFree=29294732/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1176144 CPUtime=1422.33 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 293585 0 0 0 141382 851 0 0 25 0 1 0 165551340 1204371456 293371 4089446400 134512640 135751879 4294286016 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 294036 293371 146 303 0 293731 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1176144 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25700 /proc/meminfo: memFree=29170560/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1229976 CPUtime=1482.32 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 306991 0 0 0 147348 884 0 0 25 0 1 0 165551340 1259495424 306777 4089446400 134512640 135751879 4294286016 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 307494 306777 146 303 0 307189 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1229976 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25700 /proc/meminfo: memFree=29166592/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1236972 CPUtime=1484.72 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 308741 0 0 0 147587 885 0 0 25 0 1 0 165551340 1266659328 308527 4089446400 134512640 135751879 4294286016 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 309243 308528 146 303 0 308938 0 Current children cumulated CPU time (s) 1484.72 Current children cumulated vsize (KiB) 1236972 [startup+1491.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29111032/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1283304 CPUtime=1491.12 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 320319 0 0 0 148225 887 0 0 25 0 1 0 165551340 1314103296 320105 4089446400 134512640 135751879 4294286016 18446744073709551615 134520798 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 320826 320105 146 303 0 320521 0 Current children cumulated CPU time (s) 1491.12 Current children cumulated vsize (KiB) 1283304 [startup+1494.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29093176/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291620 CPUtime=1494.32 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322404 0 0 0 148544 888 0 0 25 0 1 0 165551340 1322618880 322190 4089446400 134512640 135751879 4294286016 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322905 322190 146 303 0 322600 0 Current children cumulated CPU time (s) 1494.32 Current children cumulated vsize (KiB) 1291620 [startup+1497.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29087348/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291620 CPUtime=1497.52 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322404 0 0 0 148864 888 0 0 25 0 1 0 165551340 1322618880 322190 4089446400 134512640 135751879 4294286016 18446744073709551615 134618457 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322905 322190 146 303 0 322600 0 Current children cumulated CPU time (s) 1497.52 Current children cumulated vsize (KiB) 1291620 [startup+1499.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29085240/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291620 CPUtime=1499.12 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322404 0 0 0 149024 888 0 0 25 0 1 0 165551340 1322618880 322190 4089446400 134512640 135751879 4294286016 18446744073709551615 134521534 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322905 322190 146 303 0 322600 0 Current children cumulated CPU time (s) 1499.12 Current children cumulated vsize (KiB) 1291620 [startup+1499.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29083008/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291752 CPUtime=1499.92 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322419 0 0 0 149104 888 0 0 25 0 1 0 165551340 1322754048 322205 4089446400 134512640 135751879 4294286016 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322938 322205 146 303 0 322633 0 Current children cumulated CPU time (s) 1499.92 Current children cumulated vsize (KiB) 1291752 [startup+1500.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29083008/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291752 CPUtime=1500.12 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322419 0 0 0 149124 888 0 0 25 0 1 0 165551340 1322754048 322205 4089446400 134512640 135751879 4294286016 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322938 322205 146 303 0 322633 0 Current children cumulated CPU time (s) 1500.12 Current children cumulated vsize (KiB) 1291752 [startup+1500.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25701 /proc/meminfo: memFree=29083008/32950940 swapFree=67111528/67111528 [pid=25618] ppid=25616 vsize=1291752 CPUtime=1500.22 /proc/25618/stat : 25618 (wbo1.4a) R 25616 25618 24697 0 -1 4202496 322419 0 0 0 149134 888 0 0 25 0 1 0 165551340 1322754048 322205 4089446400 134512640 135751879 4294286016 18446744073709551615 135204356 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25618/statm: 322938 322205 146 303 0 322633 0 Current children cumulated CPU time (s) 1500.22 Current children cumulated vsize (KiB) 1291752 Child status: 0 Real time (s): 1500.26 CPU time (s): 1500.29 CPU user time (s): 1491.36 CPU system time (s): 8.92664 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1291752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1491.36 system time used= 8.92664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 322419 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= 15883 runsolver used 2.10768 second user time and 4.82527 second system time The end
Begin job on node117 at 2010-06-30 19:39:56 IDJOB=2689928 IDBENCH=79151 IDSOLVER=1200 FILE ID=node117/2689928-1277919596 PBS_JOBID= 11197292 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689928-1277919596/watcher-2689928-1277919596 -o /tmp/evaluation-result-2689928-1277919596/solver-2689928-1277919596 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689928-1277919596.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d28474a5cb37d0277ef3e3fb6ddbee0 RANDOM SEED=739775982 node117.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.799 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.59 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.799 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.799 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.799 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.799 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.799 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.799 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.82 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.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31313300 kB Buffers: 201272 kB Cached: 860864 kB SwapCached: 0 kB Active: 897524 kB Inactive: 597152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31313300 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 432264 kB Mapped: 20288 kB Slab: 78680 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 1646484 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= 74208 MiB End job on node117 at 2010-06-30 20:04:56