Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.5.2-gmp (fixed) | OPT | 20720640 | 1579.47 | 1579.43 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-gr4x6.opb |
| MD5SUM | 33cb0d9f791aa8843e995c8b8a3c3e5d |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20720640 |
| Best CPU time to get the best result obtained on this benchmark | 156.005 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20720640 |
| Optimality of the best value was proved | YES |
| Number of variables | 744 |
| Total number of constraints | 34 |
| 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 | 34 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 180 |
| Number of terms in the objective function | 744 |
| Biggest coefficient in the objective function | 151934468096 |
| Number of bits for the biggest coefficient in the objective function | 38 |
| Sum of the numbers in the objective function | 3470370333536 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 151934468096 |
| Number of bits of the biggest number in a constraint | 38 |
| Biggest sum of numbers in a constraint | 3470370333536 |
| Number of bits of the biggest sum of numbers | 42 |
| 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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1579.43/1579.42 o 37967827 1579.43/1579.42 o 37967723 1579.43/1579.42 o 37967705 1579.43/1579.42 o 37967663 1579.43/1579.42 o 36226915 1579.43/1579.42 o 36226867 1579.43/1579.42 o 35986328 1579.43/1579.42 o 35802432 1579.43/1579.42 o 35178813 1579.43/1579.42 o 35178812 1579.43/1579.42 o 35178229 1579.43/1579.42 o 35178128 1579.43/1579.42 o 35177870 1579.43/1579.42 o 35177855 1579.43/1579.42 o 35177830 1579.43/1579.42 o 35177729 1579.43/1579.42 o 35110605 1579.43/1579.42 o 35110593 1579.43/1579.42 o 35110581 1579.43/1579.42 o 35071571 1579.43/1579.42 o 35070676 1579.43/1579.42 o 35070675 1579.43/1579.42 o 35070618 1579.43/1579.42 o 35070578 1579.43/1579.42 o 35070392 1579.43/1579.42 o 35070353 1579.43/1579.42 o 34675307 1579.43/1579.42 o 34675294 1579.43/1579.42 o 34674603 1579.43/1579.42 o 33861085 1579.43/1579.42 o 33860253 1579.43/1579.42 o 33860156 1579.43/1579.42 o 33858492 1579.43/1579.42 o 33858092 1579.43/1579.42 o 33851066 1579.43/1579.42 o 33850938 1579.43/1579.42 o 33850554 1579.43/1579.42 o 33850426 1579.43/1579.42 o 33850376 1579.43/1579.42 o 33777642 1579.43/1579.42 o 33777640 1579.43/1579.42 o 33777256 1579.43/1579.42 o 33777206 1579.43/1579.42 o 33776950 1579.43/1579.42 o 33475311 1579.43/1579.42 o 33475284 1579.43/1579.42 o 33315182 1579.43/1579.42 o 33314854 1579.43/1579.42 o 33314813 1579.43/1579.42 o 33314773 1579.43/1579.42 o 33314746 1579.43/1579.42 o 33289146 1579.43/1579.42 o 32596512 1579.43/1579.42 o 32590304 1579.43/1579.42 o 32590207 1579.43/1579.42 o 32490879 1579.43/1579.42 o 32490782 1579.43/1579.42 o 32490695 1579.43/1579.42 o 32418047 1579.43/1579.42 o 32418037 1579.43/1579.42 o 32417843 1579.43/1579.42 o 32417756 1579.43/1579.42 o 32417077 1579.43/1579.42 o 32417067 1579.43/1579.42 o 32416980 1579.43/1579.42 o 32258675 1579.43/1579.42 o 32257979 1579.43/1579.42 o 32257643 1579.43/1579.42 o 32028865 1579.43/1579.42 o 32028859 1579.43/1579.42 o 32028817 1579.43/1579.42 o 31920451 1579.43/1579.42 o 31845212 1579.43/1579.42 o 31845094 1579.43/1579.42 o 30058482 1579.43/1579.42 o 30058407 1579.43/1579.42 o 30058374 1579.43/1579.42 o 30058216 1579.43/1579.42 o 30028670 1579.43/1579.42 o 30028512 1579.43/1579.42 o 30027880 1579.43/1579.42 o 30020454 1579.43/1579.42 o 29882064 1579.43/1579.42 o 29876304 1579.43/1579.42 o 29875914 1579.43/1579.42 o 29875866 1579.43/1579.42 o 29375072 1579.43/1579.42 o 29374856 1579.43/1579.42 o 29374568 1579.43/1579.42 o 29366864 1579.43/1579.42 o 29366819 1579.43/1579.42 o 29366729 1579.43/1579.42 o 29366625 1579.43/1579.42 o 29087865 1579.43/1579.42 o 29082875 1579.43/1579.42 o 29082861 1579.43/1579.42 o 29082847 1579.43/1579.42 o 29082595 1579.43/1579.42 o 29082559 1579.43/1579.42 o 29082335 1579.43/1579.42 o 29082271 1579.43/1579.42 o 29082011 1579.43/1579.42 o 29012228 1579.43/1579.42 o 29012148 1579.43/1579.42 o 28959616 1579.43/1579.42 o 28837402 1579.43/1579.42 o 28836982 1579.43/1579.42 o 28836867 1579.43/1579.42 o 28836752 1579.43/1579.42 o 28836152 1579.43/1579.42 o 28832472 1579.43/1579.42 o 28683384 1579.43/1579.42 o 28683362 1579.43/1579.42 o 28683210 1579.43/1579.42 o 28624330 1579.43/1579.42 o 28392887 1579.43/1579.42 o 28392802 1579.43/1579.42 o 28392330 1579.43/1579.42 o 28391858 1579.43/1579.42 o 28300288 1579.43/1579.42 o 27504128 1579.43/1579.42 o 27504000 1579.43/1579.42 o 27503744 1579.43/1579.42 o 27166000 1579.43/1579.42 o 27165994 1579.43/1579.42 o 27164021 1579.43/1579.42 o 27076530 1579.43/1579.42 o 27076426 1579.43/1579.42 o 27076010 1579.43/1579.42 o 27075802 1579.43/1579.42 o 27069146 1579.43/1579.42 o 27055834 1579.43/1579.42 o 26911450 1579.43/1579.42 o 26761496 1579.43/1579.42 o 26761415 1579.43/1579.42 o 26761388 1579.43/1579.42 o 26761047 1579.43/1579.42 o 25756012 1579.43/1579.42 o 25755928 1579.43/1579.42 o 25073284 1579.43/1579.42 o 25028770 1579.43/1579.42 o 25018018 1579.43/1579.42 o 25017988 1579.43/1579.42 o 25010338 1579.43/1579.42 o 25010308 1579.43/1579.42 o 25010254 1579.43/1579.42 o 25010200 1579.43/1579.42 o 24913920 1579.43/1579.42 o 23582720 1579.43/1579.42 o 23162880 1579.43/1579.42 o 23101440 1579.43/1579.42 o 22778880 1579.43/1579.42 o 21830656 1579.43/1579.42 o 21370880 1579.43/1579.42 o 21145600 1579.43/1579.42 o 21140480 1579.43/1579.42 o 20720640 1579.43/1579.42 s OPTIMUM FOUND 1579.43/1579.42 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 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744
OK 20720640
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-3496977-1307925214/watcher-3496977-1307925214 -o /tmp/evaluation-result-3496977-1307925214/solver-3496977-1307925214 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496977-1307925214.opb --verbosity=0 --format=opb --randomseed=277135890 running on 4 cores: 1,3,5,7 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: 2.00 2.00 1.93 3/178 5010 /proc/meminfo: memFree=4266856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=7812 CPUtime=0 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 432 0 0 0 0 0 0 0 25 0 1 0 884937624 7999488 385 33554432000 4194304 6957856 140734366985152 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 1953 385 250 675 0 1269 0 [startup+0.0441141 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5010 /proc/meminfo: memFree=4266856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9124 CPUtime=0.04 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 799 0 0 0 4 0 0 0 25 0 1 0 884937624 9342976 748 33554432000 4194304 6957856 140734366985152 18446744073709551615 4838260 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2281 748 274 675 0 1597 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9124 [startup+0.101103 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5010 /proc/meminfo: memFree=4266856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9124 CPUtime=0.09 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 825 0 0 0 9 0 0 0 25 0 1 0 884937624 9342976 774 33554432000 4194304 6957856 140734366985152 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2281 774 283 675 0 1597 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9124 [startup+0.30108 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5010 /proc/meminfo: memFree=4266856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9248 CPUtime=0.29 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 856 0 0 0 29 0 0 0 25 0 1 0 884937624 9469952 805 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2312 805 286 675 0 1628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9248 [startup+0.700996 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5010 /proc/meminfo: memFree=4266856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9248 CPUtime=0.69 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 923 0 0 0 69 0 0 0 25 0 1 0 884937624 9469952 871 33554432000 4194304 6957856 140734366985152 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2312 871 286 675 0 1628 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9248 [startup+1.50085 s] /proc/loadavg: 2.00 2.00 1.93 3/174 5038 /proc/meminfo: memFree=4405132/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9248 CPUtime=1.49 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 1175 0 0 0 149 0 0 0 25 0 1 0 884937624 9469952 1119 33554432000 4194304 6957856 140734366985152 18446744073709551615 5315501 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2312 1119 286 675 0 1628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9248 [startup+3.10056 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5049 /proc/meminfo: memFree=4379560/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=9248 CPUtime=3.09 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 1562 0 0 0 309 0 0 0 25 0 1 0 884937624 9469952 1498 33554432000 4194304 6957856 140734366985152 18446744073709551615 5385212 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2312 1498 286 675 0 1628 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9248 [startup+6.30099 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5049 /proc/meminfo: memFree=4374128/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=12176 CPUtime=6.29 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 2648 0 0 0 629 0 0 0 25 0 1 0 884937624 12468224 2572 33554432000 4194304 6957856 140734366985152 18446744073709551615 5934622 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 3044 2572 287 675 0 2360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12176 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5049 /proc/meminfo: memFree=4374152/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=11688 CPUtime=12.69 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 5545 0 0 0 1269 0 0 0 25 0 1 0 884937624 11968512 2311 33554432000 4194304 6957856 140734366985152 18446744073709551615 5387580 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 2922 2311 289 675 0 2238 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11688 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5050 /proc/meminfo: memFree=4364856/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=19464 CPUtime=25.49 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 7614 0 0 0 2548 1 0 0 25 0 1 0 884937624 19931136 4345 33554432000 4194304 6957856 140734366985152 18446744073709551615 5932566 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 4866 4345 289 675 0 4182 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19464 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5051 /proc/meminfo: memFree=4361216/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=51.09 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 7677 0 0 0 5108 1 0 0 25 0 1 0 884937624 29941760 4408 33554432000 4194304 6957856 140734366985152 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 4408 289 675 0 6626 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 29240 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5052 /proc/meminfo: memFree=4351620/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=102.3 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 7925 0 0 0 10229 1 0 0 25 0 1 0 884937624 29941760 4655 33554432000 4194304 6957856 140734366985152 18446744073709551615 5312925 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 4655 289 675 0 6626 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 29240 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5053 /proc/meminfo: memFree=4315376/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=162.29 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 7926 0 0 0 16228 1 0 0 25 0 1 0 884937624 29941760 4656 33554432000 4194304 6957856 140734366985152 18446744073709551615 4871306 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 4656 289 675 0 6626 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 29240 [startup+222.3 s] /proc/loadavg: 2.03 2.01 1.93 3/178 5055 /proc/meminfo: memFree=4334648/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=222.29 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 8631 0 0 0 22228 1 0 0 25 0 1 0 884937624 29941760 5338 33554432000 4194304 6957856 140734366985152 18446744073709551615 5929101 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 5338 289 675 0 6626 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 29240 [startup+282.301 s] /proc/loadavg: 2.01 2.01 1.93 3/178 5057 /proc/meminfo: memFree=4338444/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=282.3 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 8639 0 0 0 28229 1 0 0 25 0 1 0 884937624 29941760 5346 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 5346 289 675 0 6626 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 29240 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5058 /proc/meminfo: memFree=4272784/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=342.3 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 8639 0 0 0 34229 1 0 0 25 0 1 0 884937624 29941760 5346 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922216 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 5346 289 675 0 6626 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 29240 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5060 /proc/meminfo: memFree=4283276/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=402.3 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 8639 0 0 0 40229 1 0 0 25 0 1 0 884937624 29941760 5346 33554432000 4194304 6957856 140734366985152 18446744073709551615 5918166 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 5346 289 675 0 6626 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 29240 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5061 /proc/meminfo: memFree=4321660/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=462.3 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 8639 0 0 0 46229 1 0 0 25 0 1 0 884937624 29941760 5346 33554432000 4194304 6957856 140734366985152 18446744073709551615 4863278 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 5346 289 675 0 6626 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 29240 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5063 /proc/meminfo: memFree=4263572/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=522.31 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 9676 0 0 0 52229 2 0 0 25 0 1 0 884937624 29941760 6350 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922590 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 6350 289 675 0 6626 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 29240 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 5065 /proc/meminfo: memFree=4300464/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=29240 CPUtime=582.31 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 9818 0 0 0 58229 2 0 0 25 0 1 0 884937624 29941760 6485 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 7310 6485 289 675 0 6626 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 29240 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=4241824/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=942.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 94230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 39692 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5076 /proc/meminfo: memFree=4315052/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1002.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 100230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922184 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 39692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5077 /proc/meminfo: memFree=4263900/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1062.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 106230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 39692 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5079 /proc/meminfo: memFree=4303528/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1122.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 112230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5933964 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 39692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5081 /proc/meminfo: memFree=4234780/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1182.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 118230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 4838260 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 39692 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5082 /proc/meminfo: memFree=4296724/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1242.32 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 124230 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 4737688 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 39692 [startup+1302.3 s] /proc/loadavg: 2.06 2.02 1.94 3/178 5084 /proc/meminfo: memFree=4237376/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1302.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 130231 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5934575 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 39692 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 1.94 3/178 5085 /proc/meminfo: memFree=4287036/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1362.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 136231 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 39692 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 1.94 3/178 5087 /proc/meminfo: memFree=4209724/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1422.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 142231 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 39692 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5089 /proc/meminfo: memFree=4296352/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1482.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 148231 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 39692 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5090 /proc/meminfo: memFree=4239868/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1542.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 154231 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 39692 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4333224/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1561.53 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 156151 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1561.53 Current children cumulated vsize (KiB) 39692 [startup+1567.9 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4323304/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1567.93 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 156791 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1567.93 Current children cumulated vsize (KiB) 39692 [startup+1574.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4313012/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1574.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157431 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922029 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1574.33 Current children cumulated vsize (KiB) 39692 [startup+1577.5 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4308668/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1577.53 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157751 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5932846 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1577.53 Current children cumulated vsize (KiB) 39692 [startup+1578.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4308668/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1578.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157831 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 4838344 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1578.33 Current children cumulated vsize (KiB) 39692 [startup+1579.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4307056/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1579.13 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157911 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1579.13 Current children cumulated vsize (KiB) 39692 [startup+1579.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4307056/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1579.33 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157931 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5922093 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1579.33 Current children cumulated vsize (KiB) 39692 [startup+1579.4 s] /proc/loadavg: 2.00 2.00 1.94 3/178 5091 /proc/meminfo: memFree=4307056/32951124 swapFree=67050916/67111528 [pid=5010] ppid=5008 vsize=39692 CPUtime=1579.43 cores=1,3,5,7 /proc/5010/stat : 5010 (minisatid-gmp) R 5008 5010 4419 0 -1 4202496 14124 0 0 0 157941 2 0 0 25 0 1 0 884937624 40644608 7650 33554432000 4194304 6957856 140734366985152 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/5010/statm: 9923 7650 289 675 0 9239 0 Current children cumulated CPU time (s) 1579.43 Current children cumulated vsize (KiB) 39692 Child status: 10 Real time (s): 1579.43 CPU time (s): 1579.47 CPU user time (s): 1579.44 CPU system time (s): 0.026995 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 39692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1579.44 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14127 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= 5 involuntary context switches= 18182 runsolver used 2.22566 second user time and 4.96225 second system time The end
Begin job on node146 at 2011-06-13 02:33:34 IDJOB=3496977 IDBENCH=2287 IDSOLVER=1990 FILE ID=node146/3496977-1307925214 RUNJOBID= node146-1307919791-4438 PBS_JOBID= 13559633 Free space on /tmp= 6552 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3496977-1307925214/watcher-3496977-1307925214 -o /tmp/evaluation-result-3496977-1307925214/solver-3496977-1307925214 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496977-1307925214.opb --verbosity=0 --format=opb --randomseed=277135890 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33cb0d9f791aa8843e995c8b8a3c3e5d RANDOM SEED=277135890 node146.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.830 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.830 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.830 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.830 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.86 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.830 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 4267508 kB Buffers: 83136 kB Cached: 27561088 kB SwapCached: 13072 kB Active: 12830344 kB Inactive: 14969196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 4267508 kB SwapTotal: 67111528 kB SwapFree: 67050916 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 153772 kB Mapped: 10388 kB Slab: 820244 kB PageTables: 4572 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 373012 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= 6548 MiB End job on node146 at 2011-06-13 02:59:53