Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.2 | SAT | 219 | 1798.01 | 1798 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
| MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 193 |
| Best CPU time to get the best result obtained on this benchmark | 1797.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 189 |
| Optimality of the best value was proved | NO |
| Number of variables | 481 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 481 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 481 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 481 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 481 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3463126-1307175483.opb 0.00/0.00 c File size is 43841 bytes. 0.00/0.00 c Highest Coefficient sum: 481 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 481 Constr: 481 0/0/481 Lit: 4331 Watch. Lit: 1563 0.00/0.00 c Obj. Vars: 481 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 481 481 4331 9 2030 8662 0 0 0.00 0.29/0.33 c Initial Lower Bound: 147 0.29/0.33 c Initial Path Cost: 0 0.29/0.33 o 237 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 0 481 482 4812 9 2489 9662 1 0 0.34 3.69/3.73 o 236 7.49/7.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.49/7.50 c 10 481 493 7729 15 2759 9662 12 2 3.74 7.49/7.50 o 230 15.57/15.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.57/15.64 c 10 481 494 8210 16 3078 9662 13 1 7.51 15.57/15.64 c 111 481 796 88447 111 3762 10629 315 9 11.72 15.57/15.64 o 229 23.17/23.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.17/23.24 c 112 481 798 89162 111 3925 9662 317 7 15.62 23.17/23.24 c 213 481 1091 163770 150 4547 10629 610 10 19.75 23.17/23.24 o 227 26.87/26.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.87/26.91 c 213 481 1092 164251 150 4784 9662 611 9 23.23 26.87/26.91 o 226 50.37/50.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.37/50.49 c 248 481 1153 179425 155 5166 9662 672 9 26.89 50.37/50.49 c 348 481 1444 265584 183 5746 10629 963 11 31.35 50.37/50.49 c 598 481 2153 451608 209 7173 11692 1672 16 35.95 50.37/50.49 c 1074 481 3341 754232 225 9567 12862 2860 26 40.93 50.37/50.49 c 1888 481 5348 1251320 233 13777 14149 4867 40 46.81 50.37/50.49 o 225 481.57/481.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 481.57/481.66 c 2017 481 5702 1338010 234 14745 9662 5221 39 50.47 481.57/481.66 c 2117 481 5982 1410969 235 15340 10629 5501 38 54.68 481.57/481.66 c 2368 481 6708 1611133 240 16798 11692 6227 39 59.30 481.57/481.66 c 2843 481 8013 1957039 244 19378 12862 7532 44 63.98 481.57/481.66 c 3657 481 10385 2651487 255 24131 14149 9904 52 69.79 481.57/481.66 c 4977 481 14045 3657048 260 31465 15564 13564 64 76.90 481.57/481.66 c 7058 481 11929 3210573 269 25500 17121 11448 81 86.92 481.57/481.66 c 10281 481 11824 3119060 263 25282 18834 11343 101 100.97 481.57/481.66 c 15217 481 16513 4481891 271 34629 20718 16032 127 119.02 481.57/481.66 c 22724 481 16787 4649580 276 35188 22790 16306 155 145.75 481.57/481.66 c 34086 481 14126 4033324 285 29901 25070 13645 181 187.69 481.57/481.66 c 51230 481 24098 6404514 265 49823 27578 23617 204 250.97 481.57/481.66 c 77049 481 26351 7209655 273 54341 30336 25870 226 340.10 481.57/481.67 c 115881 481 16601 4262932 256 34836 33370 16120 242 478.18 481.57/481.67 o 224 511.98/512.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 511.98/512.00 c 115906 481 16667 4279919 256 35204 9662 16186 240 481.65 511.98/512.00 c 116007 481 5615 1373442 244 12856 10629 5134 238 485.94 511.98/512.00 c 116257 481 6346 1597776 251 14330 11692 5865 237 490.16 511.98/512.00 c 116732 481 7746 2012388 259 17136 12862 7265 235 495.43 511.98/512.00 c 117546 481 10098 2606115 258 21812 14149 9617 234 501.04 511.98/512.00 c 118866 481 13995 3644876 260 29632 15564 13514 233 508.34 511.98/512.00 o 223 1146.29/1146.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1146.29/1146.35 c 118866 481 13996 3645357 260 29835 9662 13515 232 511.99 1146.29/1146.35 c 118967 481 5599 1374410 245 12835 10629 5118 230 515.57 1146.29/1146.35 c 119218 481 6336 1582569 249 14305 11692 5855 229 520.58 1146.29/1146.35 c 119693 481 7740 1984933 256 17108 12862 7259 227 525.79 1146.29/1146.35 c 120506 481 10052 2666876 265 21740 14149 9571 226 531.95 1146.29/1146.35 c 121826 481 13949 3812461 273 29517 15564 13468 225 539.73 1146.29/1146.35 c 123907 481 11727 3067057 261 25059 17121 11246 225 549.32 1146.29/1146.35 c 127132 481 12046 3271986 271 25697 18834 11565 225 563.15 1146.29/1146.35 c 132068 481 16372 4432739 270 34406 20718 15891 227 581.14 1146.29/1146.35 c 139575 481 16399 4511280 275 34432 22790 15918 229 607.60 1146.29/1146.35 c 150937 481 13960 3680644 263 29529 25070 13479 233 646.71 1146.29/1146.35 c 168082 481 25158 6820474 271 51916 27578 24677 239 701.88 1146.29/1146.35 c 193902 481 14271 3923068 274 30170 30336 13790 244 792.62 1146.29/1146.35 c 232736 481 16153 4239345 262 33917 33370 15672 250 927.26 1146.29/1146.35 c 291088 481 30720 8310397 270 63073 36708 30239 254 1142.67 1146.29/1146.35 o 222 1245.99/1246.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1245.99/1246.09 c 291168 481 30861 8344222 270 63564 9662 30380 253 1146.35 1245.99/1246.09 c 291268 481 5599 1404842 250 12811 10629 5118 252 1152.26 1245.99/1246.09 c 291520 481 6347 1639731 258 14339 11692 5866 251 1157.09 1245.99/1246.09 c 291998 481 7753 2044877 263 17121 12862 7272 251 1162.21 1245.99/1246.09 c 292811 481 10144 2750230 271 21884 14149 9663 250 1168.10 1245.99/1246.09 c 294132 481 13990 3802121 271 29588 15564 13509 250 1175.69 1245.99/1246.09 c 296213 481 11817 3094667 261 25247 17121 11336 249 1184.99 1245.99/1246.09 c 299437 481 11631 2999082 257 24879 18834 11150 249 1198.26 1245.99/1246.09 c 304373 481 16165 4294245 265 33966 20718 15684 250 1216.58 1245.99/1246.09 c 311880 481 13660 3423650 250 29911 22790 13179 251 1241.71 1245.99/1246.09 o 219 1797.90/1797.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1797.99 c 311880 481 13661 3424131 250 30120 9662 13180 250 1246.09 1797.90/1797.99 c 311983 481 5614 1355331 241 12895 10629 5133 249 1250.76 1797.90/1797.99 c 312233 481 6311 1549231 245 14243 11692 5830 248 1254.77 1797.90/1797.99 c 312710 481 7698 1957373 254 17068 12862 7217 248 1259.73 1797.90/1797.99 c 313525 481 10054 2630149 261 21811 14149 9573 247 1265.88 1797.90/1797.99 c 314845 481 13847 3703554 267 29344 15564 13366 247 1273.76 1797.90/1797.99 c 316926 481 11700 3310758 282 25091 17121 11219 246 1284.42 1797.90/1797.99 c 320149 481 12093 3367273 278 25796 18834 11612 246 1296.98 1797.90/1797.99 c 325085 481 16733 4834156 288 35140 20718 16252 246 1318.02 1797.90/1797.99 c 332591 481 17317 4726161 272 36284 22790 16836 247 1343.86 1797.90/1797.99 c 343952 481 14344 4016621 280 30349 25070 13863 248 1385.43 1797.90/1797.99 c 361096 481 25246 6748965 267 52190 27578 24765 250 1439.64 1797.90/1797.99 c 386915 481 14917 4199234 281 31492 30336 14436 253 1526.49 1797.90/1797.99 c 425748 481 17747 5129522 289 37160 33370 17266 257 1653.00 1797.90/1797.99 c Resources Exceeded 1797.90/1797.99 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 -x401 x402 x403 -x404 x405 x406 x407 x408 x409 x410 -x411 -x412 x413 x414 x415 -x416 x417 x418 -x419 -x420 -x421 -x422 x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 -x438 x439 x440 x441 x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 x451 x452 x453 -x454 x455 x456 -x457 x458 x459 -x460 x461 x462 -x463 -x464 -x465 x466 x467 x468 x469 x470 x471 x472 x473 -x474 x475 -x476 x477 -x478 -x479 -x480 x481 1797.90/1797.99 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1797.99 c 71 468105 81644 621869 22277 6259033 21796 260 1798.00 1797.90/1797.99 c Objective: 219 1797.90/1797.99 s SATISFIABLE 1797.90/1797.99 c Total time: 1798 s
OK 219
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3463126-1307175483/watcher-3463126-1307175483 -o /tmp/evaluation-result-3463126-1307175483/solver-3463126-1307175483 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463126-1307175483.opb 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: 1.00 1.16 1.55 4/497 18639 /proc/meminfo: memFree=29058264/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=12100 CPUtime=0.01 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 540 0 0 0 1 0 0 0 20 0 1 0 829147982 12390400 484 33554432000 134512640 137138936 4287628192 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3025 484 275 642 0 2381 0 [startup+0.047664 s] /proc/loadavg: 1.00 1.16 1.55 4/497 18639 /proc/meminfo: memFree=29058264/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=12336 CPUtime=0.04 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 658 0 0 0 4 0 0 0 20 0 1 0 829147982 12632064 594 33554432000 134512640 137138936 4287628192 18446744073709551615 135445910 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3084 594 278 642 0 2440 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12336 [startup+0.10069 s] /proc/loadavg: 1.00 1.16 1.55 4/497 18639 /proc/meminfo: memFree=29058264/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=12604 CPUtime=0.09 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 795 0 0 0 9 0 0 0 20 0 1 0 829147982 12906496 642 33554432000 134512640 137138936 4287628192 18446744073709551615 135456395 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3151 642 278 642 0 2507 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12604 [startup+0.300657 s] /proc/loadavg: 1.00 1.16 1.55 4/497 18639 /proc/meminfo: memFree=29058264/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=13344 CPUtime=0.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 1283 0 0 0 29 0 0 0 21 0 1 0 829147982 13664256 743 33554432000 134512640 137138936 4287628192 18446744073709551615 135464394 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3336 743 278 642 0 2692 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13344 [startup+0.700592 s] /proc/loadavg: 1.00 1.16 1.55 4/497 18639 /proc/meminfo: memFree=29058264/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=13336 CPUtime=0.69 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 4739 0 0 0 69 0 0 0 22 0 1 0 829147982 13656064 634 33554432000 134512640 137138936 4287628192 18446744073709551615 135440689 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3334 634 283 642 0 2690 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13336 [startup+1.50046 s] /proc/loadavg: 1.00 1.16 1.55 4/499 18641 /proc/meminfo: memFree=29053912/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=13296 CPUtime=1.49 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 8698 0 0 0 148 1 0 0 25 0 1 0 829147982 13615104 559 33554432000 134512640 137138936 4287628192 18446744073709551615 135445912 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3324 559 283 642 0 2680 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13296 [startup+3.10017 s] /proc/loadavg: 1.16 1.19 1.56 4/499 18641 /proc/meminfo: memFree=29051432/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=13740 CPUtime=3.09 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 20399 0 0 0 307 2 0 0 25 0 1 0 829147982 14069760 557 33554432000 134512640 137138936 4287628192 18446744073709551615 135445287 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3435 557 283 642 0 2791 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13740 [startup+6.30066 s] /proc/loadavg: 1.16 1.19 1.56 4/499 18641 /proc/meminfo: memFree=29050716/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=14124 CPUtime=6.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 49168 0 0 0 623 6 0 0 25 0 1 0 829147982 14462976 596 33554432000 134512640 137138936 4287628192 18446744073709551615 135440921 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18637/statm: 3531 596 288 642 0 2887 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14124 [startup+12.7005 s] /proc/loadavg: 1.29 1.22 1.56 4/499 18641 /proc/meminfo: memFree=29045196/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=15456 CPUtime=12.67 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 112314 0 0 0 1254 13 0 0 25 0 1 0 829147982 15826944 1015 33554432000 134512640 137138936 4287628192 18446744073709551615 135440661 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/18637/statm: 3864 1015 292 642 0 3220 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 15456 [startup+25.5004 s] /proc/loadavg: 1.40 1.25 1.56 4/499 18641 /proc/meminfo: memFree=29042104/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=16480 CPUtime=25.47 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 225476 0 0 0 2521 26 0 0 25 0 1 0 829147982 16875520 1085 33554432000 134512640 137138936 4287628192 18446744073709551615 134768848 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 4120 1087 292 642 0 3476 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 16480 [startup+51.1011 s] /proc/loadavg: 1.74 1.34 1.58 3/499 18643 /proc/meminfo: memFree=28997016/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=32444 CPUtime=51.07 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 687144 0 0 0 5022 85 0 0 25 0 1 0 829147982 33222656 5092 33554432000 134512640 137138936 4287628192 18446744073709551615 135446782 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 8111 5092 292 642 0 7467 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32444 [startup+102.319 s] /proc/loadavg: 1.89 1.45 1.60 4/499 18645 /proc/meminfo: memFree=28937120/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=77348 CPUtime=102.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 1733879 0 0 0 10004 224 0 0 25 0 1 0 829147982 79204352 16518 33554432000 134512640 137138936 4287628192 18446744073709551615 135434983 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 19337 16518 292 642 0 18693 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 77348 [startup+162.3 s] /proc/loadavg: 1.96 1.54 1.63 4/499 18645 /proc/meminfo: memFree=28899524/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=100976 CPUtime=162.27 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 2646623 0 0 0 15827 400 0 0 25 0 1 0 829147982 103399424 22372 33554432000 134512640 137138936 4287628192 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 25103 22370 292 642 0 24459 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 100976 [startup+222.3 s] /proc/loadavg: 1.98 1.62 1.65 3/499 18647 /proc/meminfo: memFree=28869004/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=110900 CPUtime=222.27 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 3455306 0 0 0 21656 571 0 0 25 0 1 0 829147982 113561600 24851 33554432000 134512640 137138936 4287628192 18446744073709551615 134849315 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 27725 24851 292 642 0 27081 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 110900 [startup+282.301 s] /proc/loadavg: 1.99 1.69 1.67 3/499 18649 /proc/meminfo: memFree=28850140/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=122460 CPUtime=282.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 4301382 0 0 0 27485 743 0 0 25 0 1 0 829147982 125399040 28291 33554432000 134512640 137138936 4287628192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 30615 28291 292 642 0 29971 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 122460 [startup+342.301 s] /proc/loadavg: 1.99 1.74 1.68 4/499 18651 /proc/meminfo: memFree=28841312/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=125928 CPUtime=342.27 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 5021274 0 0 0 33322 905 0 0 25 0 1 0 829147982 128950272 28485 33554432000 134512640 137138936 4287628192 18446744073709551615 135322592 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 31482 28486 292 642 0 30838 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 125928 [startup+402.301 s] /proc/loadavg: 1.99 1.79 1.70 4/499 18651 /proc/meminfo: memFree=28838436/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=126892 CPUtime=402.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 5817844 0 0 0 39147 1081 0 0 25 0 1 0 829147982 129937408 28956 33554432000 134512640 137138936 4287628192 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 31826 28958 292 642 0 31182 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 126892 [startup+462.301 s] /proc/loadavg: 1.99 1.82 1.72 4/499 18653 /proc/meminfo: memFree=28826144/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=125092 CPUtime=462.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 6571545 0 0 0 44974 1254 0 0 25 0 1 0 829147982 128094208 28949 33554432000 134512640 137138936 4287628192 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 31273 28949 292 642 0 30629 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 125092 [startup+522.301 s] /proc/loadavg: 1.99 1.85 1.73 4/499 18655 /proc/meminfo: memFree=28826748/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=128312 CPUtime=522.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 7157875 0 0 0 50866 1362 0 0 25 0 1 0 829147982 131391488 29031 33554432000 134512640 137138936 4287628192 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 32078 29031 292 642 0 31434 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 128312 [startup+582.301 s] /proc/loadavg: 1.99 1.88 1.75 4/499 18657 /proc/meminfo: memFree=28812852/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=128108 CPUtime=582.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 7689957 0 0 0 56747 1481 0 0 25 0 1 0 829147982 131182592 29015 33554432000 134512640 137138936 4287628192 18446744073709551615 135446672 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 32027 29016 292 642 0 31383 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 128108 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28772336/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=139228 CPUtime=1122.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 12074311 0 0 0 109666 2562 0 0 25 0 1 0 829147982 142569472 32028 33554432000 134512640 137138936 4287628192 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34352 32028 292 642 0 33708 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 139228 [startup+1182.3 s] /proc/loadavg: 2.16 2.02 1.87 4/499 18673 /proc/meminfo: memFree=28771080/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=139356 CPUtime=1182.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 12668113 0 0 0 115540 2688 0 0 25 0 1 0 829147982 142700544 31999 33554432000 134512640 137138936 4287628192 18446744073709551615 134841243 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34839 31999 292 642 0 34195 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 139356 [startup+1242.3 s] /proc/loadavg: 2.15 2.04 1.88 4/499 18675 /proc/meminfo: memFree=28769956/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=140348 CPUtime=1242.28 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13229005 0 0 0 121394 2834 0 0 25 0 1 0 829147982 143716352 32070 33554432000 134512640 137138936 4287628192 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 35087 32070 292 642 0 34443 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 140348 [startup+1302.3 s] /proc/loadavg: 2.14 2.06 1.90 3/499 18677 /proc/meminfo: memFree=28771936/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=137844 CPUtime=1302.3 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13508045 0 0 0 127339 2891 0 0 25 0 1 0 829147982 141152256 31981 33554432000 134512640 137138936 4287628192 18446744073709551615 134905902 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34461 31981 292 642 0 33817 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 137844 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 1.91 3/499 18677 /proc/meminfo: memFree=28772180/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=137620 CPUtime=1362.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13528511 0 0 0 133331 2898 0 0 25 0 1 0 829147982 140922880 31995 33554432000 134512640 137138936 4287628192 18446744073709551615 134840705 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34405 31995 292 642 0 33761 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 137620 [startup+1422.32 s] /proc/loadavg: 2.02 2.04 1.91 4/499 18679 /proc/meminfo: memFree=28773044/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=136804 CPUtime=1422.31 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13536825 0 0 0 139329 2902 0 0 25 0 1 0 829147982 140087296 31780 33554432000 134512640 137138936 4287628192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34201 31780 292 642 0 33557 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 136804 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 1.91 4/499 18681 /proc/meminfo: memFree=28773040/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=136804 CPUtime=1482.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13544721 0 0 0 145323 2906 0 0 25 0 1 0 829147982 140087296 31782 33554432000 134512640 137138936 4287628192 18446744073709551615 134732319 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34201 31782 292 642 0 33557 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 136804 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 1.91 4/499 18683 /proc/meminfo: memFree=28772908/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=136804 CPUtime=1542.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13544725 0 0 0 151321 2908 0 0 25 0 1 0 829147982 140087296 31786 33554432000 134512640 137138936 4287628192 18446744073709551615 135259025 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34201 31786 292 642 0 33557 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 136804 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 1.91 4/499 18683 /proc/meminfo: memFree=28766576/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=136988 CPUtime=1602.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13544744 0 0 0 157318 2911 0 0 25 0 1 0 829147982 140275712 31805 33554432000 134512640 137138936 4287628192 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34247 31805 292 642 0 33603 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 136988 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.91 4/499 18685 /proc/meminfo: memFree=28766440/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=136368 CPUtime=1662.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 13643992 0 0 0 163295 2934 0 0 25 0 1 0 829147982 139640832 31768 33554432000 134512640 137138936 4287628192 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 34092 31768 292 642 0 33448 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 136368 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 4/499 18687 /proc/meminfo: memFree=28760724/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=142560 CPUtime=1722.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 14411478 0 0 0 169127 3102 0 0 25 0 1 0 829147982 145981440 33316 33554432000 134512640 137138936 4287628192 18446744073709551615 134544769 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 35640 33316 292 642 0 34996 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 142560 [startup+1782.3 s] /proc/loadavg: 2.20 2.05 1.93 4/499 18689 /proc/meminfo: memFree=28750672/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=145004 CPUtime=1782.29 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15145109 0 0 0 174955 3274 0 0 25 0 1 0 829147982 148484096 33321 33554432000 134512640 137138936 4287628192 18446744073709551615 134730577 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 36251 33321 292 642 0 35607 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 145004 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.20 2.05 1.93 4/499 18689 /proc/meminfo: memFree=28752656/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=144252 CPUtime=1785.49 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15185812 0 0 0 175266 3283 0 0 25 0 1 0 829147982 147714048 33317 33554432000 134512640 137138936 4287628192 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 36063 33318 292 642 0 35419 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (KiB) 144252 [startup+1791.92 s] /proc/loadavg: 2.17 2.05 1.93 4/499 18689 /proc/meminfo: memFree=28752904/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=142672 CPUtime=1791.91 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15258709 0 0 0 175892 3299 0 0 25 0 1 0 829147982 146096128 33312 33554432000 134512640 137138936 4287628192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 35668 33312 292 642 0 35024 0 Current children cumulated CPU time (s) 1791.91 Current children cumulated vsize (KiB) 142672 [startup+1795.1 s] /proc/loadavg: 2.17 2.05 1.93 3/499 18689 /proc/meminfo: memFree=28752904/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=145004 CPUtime=1795.11 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15292575 0 0 0 176204 3307 0 0 25 0 1 0 829147982 148484096 33324 33554432000 134512640 137138936 4287628192 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 35635 33311 292 642 0 34991 0 Current children cumulated CPU time (s) 1795.11 Current children cumulated vsize (KiB) 145004 [startup+1796.7 s] /proc/loadavg: 2.16 2.04 1.93 4/499 18689 /proc/meminfo: memFree=28752904/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=142540 CPUtime=1796.69 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15313768 0 0 0 176357 3312 0 0 25 0 1 0 829147982 145960960 33311 33554432000 134512640 137138936 4287628192 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 35635 33311 292 642 0 34991 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (KiB) 142540 [startup+1797.5 s] /proc/loadavg: 2.16 2.04 1.93 4/499 18689 /proc/meminfo: memFree=28751912/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=145000 CPUtime=1797.5 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15323924 0 0 0 176436 3314 0 0 25 0 1 0 829147982 148480000 33320 33554432000 134512640 137138936 4287628192 18446744073709551615 134730595 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 36250 33320 292 642 0 35606 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (KiB) 145000 [startup+1797.9 s] /proc/loadavg: 2.16 2.04 1.93 4/499 18689 /proc/meminfo: memFree=28751912/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=142540 CPUtime=1797.9 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202496 15329155 0 0 0 176475 3315 0 0 25 0 1 0 829147982 145960960 33311 33554432000 134512640 137138936 4287628192 18446744073709551615 135567767 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/18637/statm: 36061 33317 292 642 0 35417 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 142540 [startup+1798 s] /proc/loadavg: 2.16 2.04 1.93 4/499 18689 /proc/meminfo: memFree=28751912/32951132 swapFree=57925096/67111528 [pid=18637] ppid=18634 vsize=0 CPUtime=1797.99 cores=0,2,4,6 /proc/18637/stat : 18637 (bsolo) R 18634 18637 16811 0 -1 4202500 15330371 0 0 0 176484 3315 0 0 25 0 1 0 829147982 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 /proc/18637/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798 CPU time (s): 1798.01 CPU user time (s): 1764.85 CPU system time (s): 33.16 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 145096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.85 system time used= 33.16 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15330371 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= 4 involuntary context switches= 1564 runsolver used 9.56455 second user time and 21.2668 second system time The end
Begin job on node129 at 2011-06-04 10:18:03 IDJOB=3463126 IDBENCH=1949 IDSOLVER=1955 FILE ID=node129/3463126-1307175483 RUNJOBID= node129-1307175483-18620 PBS_JOBID= 13508828 Free space on /tmp= 73880 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463126-1307175483/watcher-3463126-1307175483 -o /tmp/evaluation-result-3463126-1307175483/solver-3463126-1307175483 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463126-1307175483.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=78916514 node129.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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 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.74 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.831 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.83 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.831 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29058948 kB Buffers: 320580 kB Cached: 2139416 kB SwapCached: 49348 kB Active: 442364 kB Inactive: 3167924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29058948 kB SwapTotal: 67111528 kB SwapFree: 57925096 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 1111756 kB Mapped: 14348 kB Slab: 154212 kB PageTables: 58872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 147299796 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73876 MiB End job on node129 at 2011-06-04 10:48:02