Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798.01 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb |
MD5SUM | e808e428ddeed4827e7f6cc4dcf60aa4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 14.7718 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670539-1276702416.opb 0.00/0.00 c File size is 42576 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 13.58/13.60 c 100 756 1349 13867 10 4665 7119 193 2702 0.04 13.58/13.60 c 252 756 1638 32181 19 5239 7831 482 3111 0.08 13.58/13.60 c 479 756 2079 60326 29 6490 8615 923 3326 0.14 13.58/13.60 c 817 756 2740 109378 39 8290 9477 1584 3025 0.27 13.58/13.60 c 1327 756 3735 183125 49 11015 10425 2579 3009 0.44 13.58/13.60 c 2091 756 5189 285189 54 14980 11468 4033 2860 0.73 13.58/13.60 c 3237 756 7373 445130 60 20685 12615 6217 2666 1.21 13.58/13.60 c 4959 756 10672 668152 62 29363 13877 9516 2370 2.09 13.58/13.60 c 7544 756 8424 515513 61 21782 15265 7268 1822 4.14 13.58/13.60 c 11423 756 15931 1018001 63 41149 16792 14775 1412 8.09 13.58/13.60 o 323 71.47/71.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.47/71.59 c 16882 756 17385 1185999 68 44532 6489 16229 1241 13.60 71.47/71.59 c 16984 756 4590 274306 59 12034 7138 3434 1228 13.83 71.47/71.59 c 17234 756 5073 306384 60 13470 7852 3917 1240 13.90 71.47/71.59 c 17709 756 5988 361879 60 15919 8638 4832 1257 14.08 71.47/71.59 c 18522 756 7551 457227 60 20148 9502 6395 1287 14.39 71.47/71.59 c 19842 756 10069 598357 59 26906 10453 8913 1310 15.14 71.47/71.59 c 21923 756 7974 468939 58 20869 11499 6818 1337 16.39 71.47/71.59 c 25147 756 7890 503677 63 18943 12649 6734 1370 18.36 71.47/71.59 c 30084 756 10308 609804 59 26133 13914 9152 1341 22.43 71.47/71.59 c 37590 756 10705 633287 59 28000 15306 9549 1135 33.10 71.47/71.59 c 48951 756 15671 1126851 71 38857 16837 14515 1143 42.81 71.47/71.59 c 66096 756 14590 867925 59 38637 18521 13434 1047 63.08 71.47/71.59 o 177 597.20/597.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 597.20/597.42 c 75340 756 12771 792138 62 33296 6489 11615 1052 71.57 597.20/597.42 c 75440 756 4596 244772 53 12677 7138 3440 1052 71.68 597.20/597.42 c 75691 756 5091 285970 56 14047 7852 3935 1054 71.77 597.20/597.42 c 76167 756 6010 356917 59 16229 8638 4854 1058 71.97 597.20/597.42 c 76980 756 7578 465765 61 20224 9502 6422 1063 72.39 597.20/597.42 c 78301 756 10088 652895 64 26480 10453 8932 1070 73.14 597.20/597.42 c 80383 756 8776 539452 61 23462 11499 7620 1079 74.44 597.20/597.42 c 83606 756 9210 531144 57 24898 12649 8054 1067 78.35 597.20/597.42 c 88542 756 12097 767375 63 31206 13914 10941 1069 82.83 597.20/597.42 c 96049 756 11694 714095 61 29493 15306 10538 1061 90.53 597.20/597.42 c 107411 756 10518 583538 55 27667 16837 9362 1007 106.57 597.20/597.42 c 124556 756 16293 1236847 75 42905 18521 15137 1008 123.54 597.20/597.42 c 150376 745 16924 1086812 64 45305 20374 15768 957 157.07 597.20/597.42 c 189209 745 19666 1112156 56 51275 22412 18510 860 219.85 597.20/597.42 c 247562 745 13916 951172 68 36254 24654 12760 762 324.75 597.20/597.42 c 335195 745 14148 927314 65 37707 27120 12992 702 477.24 597.20/597.42 o 3 1797.93/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.56 c 405598 745 22372 1622900 72 56667 6487 21216 679 597.24 1797.93/1798.56 c 405698 667 4590 270847 59 12354 7136 3434 678 597.66 1797.93/1798.56 c 405949 667 5052 312971 61 13499 7850 3896 679 597.78 1797.93/1798.56 c 406424 667 5968 380937 63 15922 8636 4812 679 597.95 1797.93/1798.56 c 407238 667 7472 496037 66 19695 9500 6316 680 598.29 1797.93/1798.56 c 408559 667 9939 673325 67 25494 10451 8783 682 598.91 1797.93/1798.56 c 410640 667 8504 495927 58 22298 11497 7348 684 600.18 1797.93/1798.56 c 413863 667 8684 534354 61 23011 12647 7528 687 602.12 1797.93/1798.56 c 418799 667 11567 725538 62 31267 13912 10411 689 606.98 1797.93/1798.56 c 426306 667 11876 688353 57 31275 15304 10720 690 617.77 1797.93/1798.56 c 437667 667 10408 587464 56 27224 16835 9252 690 633.95 1797.93/1798.56 c 454812 667 16839 1251444 74 42517 18519 15683 696 652.82 1797.93/1798.56 c 480631 667 16897 1136116 67 43247 20371 15741 693 692.93 1797.93/1798.56 c 519464 667 14214 891456 62 36613 22409 13058 680 762.94 1797.93/1798.56 c 577816 667 17736 1667002 93 43793 24650 16580 671 861.07 1797.93/1798.56 c 665449 667 14782 970977 65 37446 27116 13626 611 1088.15 1797.93/1798.56 c 797001 667 23907 1439992 60 62241 29828 22751 576 1381.74 1797.93/1798.56 c Resources Exceeded 1797.93/1798.56 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 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 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 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 x82 -x83 -x84 -x85 -x86 x87 x88 x89 -x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x91 -x92 -x93 -x94 x95 x96 x97 x98 -x99 x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 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 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 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 x109 -x110 x111 -x112 -x113 -x114 x115 x116 -x117 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 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 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 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 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1797.93/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.56 c 55 963843 10047 1001819 16456 1072236 15300 536 1798.00 1797.93/1798.56 c Objective: 3 1797.93/1798.56 s SATISFIABLE 1797.93/1798.56 c Total time: 1798 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670539-1276702416/watcher-2670539-1276702416 -o /tmp/evaluation-result-2670539-1276702416/solver-2670539-1276702416 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670539-1276702416.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.93 2/105 19878 /proc/meminfo: memFree=1755764/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=10936 CPUtime=0 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 376 0 0 0 0 0 0 0 25 0 1 0 11534771 11198464 283 1992294400 134512640 137138936 4287694336 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 2734 285 182 642 0 2090 0 [startup+0.096628 s] /proc/loadavg: 1.00 1.00 0.93 2/105 19878 /proc/meminfo: memFree=1755764/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=11452 CPUtime=0.08 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 528 0 0 0 8 0 0 0 25 0 1 0 11534771 11726848 435 1992294400 134512640 137138936 4287694336 18446744073709551615 136505585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 2863 436 192 642 0 2219 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11452 [startup+0.100627 s] /proc/loadavg: 1.00 1.00 0.93 2/105 19878 /proc/meminfo: memFree=1755764/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=11452 CPUtime=0.09 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 533 0 0 0 9 0 0 0 25 0 1 0 11534771 11726848 440 1992294400 134512640 137138936 4287694336 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 2863 440 192 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.300651 s] /proc/loadavg: 1.00 1.00 0.93 2/105 19878 /proc/meminfo: memFree=1755764/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=12720 CPUtime=0.29 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 848 0 0 0 28 1 0 0 25 0 1 0 11534771 13025280 755 1992294400 134512640 137138936 4287694336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 3180 755 192 642 0 2536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12720 [startup+0.7007 s] /proc/loadavg: 1.00 1.00 0.93 2/105 19878 /proc/meminfo: memFree=1755764/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=15024 CPUtime=0.69 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 1400 0 0 0 68 1 0 0 25 0 1 0 11534771 15384576 1307 1992294400 134512640 137138936 4287694336 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 3756 1307 192 642 0 3112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15024 [startup+1.5008 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19879 /proc/meminfo: memFree=1750052/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=18832 CPUtime=1.49 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 2358 0 0 0 147 2 0 0 25 0 1 0 11534771 19283968 2265 1992294400 134512640 137138936 4287694336 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 4708 2265 192 642 0 4064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18832 [startup+3.10099 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19879 /proc/meminfo: memFree=1745588/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=23180 CPUtime=3.09 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 3442 0 0 0 306 3 0 0 25 0 1 0 11534771 23736320 3349 1992294400 134512640 137138936 4287694336 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 5795 3349 192 642 0 5151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23180 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19879 /proc/meminfo: memFree=1740628/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=25500 CPUtime=6.29 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 4043 0 0 0 625 4 0 0 25 0 1 0 11534771 26112000 3950 1992294400 134512640 137138936 4287694336 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 6375 3950 192 642 0 5731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25500 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19879 /proc/meminfo: memFree=1737156/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=28900 CPUtime=12.69 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 4880 0 0 0 1263 6 0 0 25 0 1 0 11534771 29593600 4787 1992294400 134512640 137138936 4287694336 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 7225 4787 192 642 0 6581 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28900 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19879 /proc/meminfo: memFree=1737156/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=28876 CPUtime=25.48 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 4880 0 0 0 2539 9 0 0 25 0 1 0 11534771 29569024 4787 1992294400 134512640 137138936 4287694336 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 7219 4787 192 642 0 6575 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28876 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19881 /proc/meminfo: memFree=1736288/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=29756 CPUtime=51.07 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 5095 0 0 0 5093 14 0 0 25 0 1 0 11534771 30470144 5002 1992294400 134512640 137138936 4287694336 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 7439 5002 192 642 0 6795 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29756 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19881 /proc/meminfo: memFree=1735916/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=30068 CPUtime=102.27 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 5176 0 0 0 10201 26 0 0 25 0 1 0 11534771 30789632 5083 1992294400 134512640 137138936 4287694336 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 7517 5083 192 642 0 6873 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30068 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19883 /proc/meminfo: memFree=1733064/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=32872 CPUtime=162.24 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 5879 0 0 0 16185 39 0 0 25 0 1 0 11534771 33660928 5786 1992294400 134512640 137138936 4287694336 18446744073709551615 136504500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 8218 5786 192 642 0 7574 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32872 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19885 /proc/meminfo: memFree=1733064/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=32868 CPUtime=222.22 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 5879 0 0 0 22170 52 0 0 25 0 1 0 11534771 33656832 5786 1992294400 134512640 137138936 4287694336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 8217 5786 192 642 0 7573 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 32868 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19887 /proc/meminfo: memFree=1728476/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=37488 CPUtime=282.2 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 7038 0 0 0 28158 62 0 0 25 0 1 0 11534771 38387712 6945 1992294400 134512640 137138936 4287694336 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 9372 6945 192 642 0 8728 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 37488 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19889 /proc/meminfo: memFree=1727732/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=38140 CPUtime=342.18 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 7204 0 0 0 34146 72 0 0 25 0 1 0 11534771 39055360 7111 1992294400 134512640 137138936 4287694336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 9535 7111 192 642 0 8891 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 38140 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19889 /proc/meminfo: memFree=1727608/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=38140 CPUtime=402.16 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 7204 0 0 0 40133 83 0 0 25 0 1 0 11534771 39055360 7111 1992294400 134512640 137138936 4287694336 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 9535 7111 192 642 0 8891 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 38140 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19891 /proc/meminfo: memFree=1727608/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=38140 CPUtime=462.14 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 7204 0 0 0 46120 94 0 0 25 0 1 0 11534771 39055360 7111 1992294400 134512640 137138936 4287694336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 9535 7111 192 642 0 8891 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 38140 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19893 /proc/meminfo: memFree=1726616/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=40256 CPUtime=522.13 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 7734 0 0 0 52107 106 0 0 25 0 1 0 11534771 41222144 7641 1992294400 134512640 137138936 4287694336 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 10064 7641 192 642 0 9420 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 40256 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19895 /proc/meminfo: memFree=1721656/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44112 CPUtime=582.11 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8693 0 0 0 58095 116 0 0 25 0 1 0 11534771 45170688 8600 1992294400 134512640 137138936 4287694336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11028 8600 192 642 0 10384 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 44112 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19897 /proc/meminfo: memFree=1721656/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44100 CPUtime=642.1 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8693 0 0 0 64082 128 0 0 25 0 1 0 11534771 45158400 8600 1992294400 134512640 137138936 4287694336 18446744073709551615 134539451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11025 8600 192 642 0 10381 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 44100 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1721284/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=43956 CPUtime=1061.95 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8693 0 0 0 105999 196 0 0 25 0 1 0 11534771 45010944 8566 1992294400 134512640 137138936 4287694336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 10989 8566 192 642 0 10345 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 43956 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19909 /proc/meminfo: memFree=1721284/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44148 CPUtime=1121.95 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8736 0 0 0 111987 208 0 0 25 0 1 0 11534771 45207552 8609 1992294400 134512640 137138936 4287694336 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11037 8609 192 642 0 10393 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 44148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19911 /proc/meminfo: memFree=1721160/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44144 CPUtime=1181.92 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8736 0 0 0 117976 216 0 0 25 0 1 0 11534771 45203456 8609 1992294400 134512640 137138936 4287694336 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11036 8609 192 642 0 10392 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 44144 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19913 /proc/meminfo: memFree=1721036/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44144 CPUtime=1241.91 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8736 0 0 0 123964 227 0 0 25 0 1 0 11534771 45203456 8609 1992294400 134512640 137138936 4287694336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11036 8609 192 642 0 10392 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 44144 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19913 /proc/meminfo: memFree=1720912/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44112 CPUtime=1301.89 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8736 0 0 0 129953 236 0 0 25 0 1 0 11534771 45170688 8605 1992294400 134512640 137138936 4287694336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11028 8605 192 642 0 10384 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 44112 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19915 /proc/meminfo: memFree=1720912/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44112 CPUtime=1361.87 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8736 0 0 0 135942 245 0 0 25 0 1 0 11534771 45170688 8605 1992294400 134512640 137138936 4287694336 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11028 8605 192 642 0 10384 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 44112 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19917 /proc/meminfo: memFree=1720912/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44120 CPUtime=1421.86 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8738 0 0 0 141934 252 0 0 25 0 1 0 11534771 45178880 8607 1992294400 134512640 137138936 4287694336 18446744073709551615 134543177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11030 8607 192 642 0 10386 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 44120 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19919 /proc/meminfo: memFree=1720912/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44120 CPUtime=1481.83 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8738 0 0 0 147920 263 0 0 25 0 1 0 11534771 45178880 8607 1992294400 134512640 137138936 4287694336 18446744073709551615 134573802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11030 8607 192 642 0 10386 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 44120 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19921 /proc/meminfo: memFree=1720912/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=44120 CPUtime=1541.81 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 8738 0 0 0 153908 273 0 0 25 0 1 0 11534771 45178880 8607 1992294400 134512640 137138936 4287694336 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11030 8607 192 642 0 10386 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 44120 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19921 /proc/meminfo: memFree=1719920/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=45224 CPUtime=1601.8 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 9012 0 0 0 159897 283 0 0 25 0 1 0 11534771 46309376 8881 1992294400 134512640 137138936 4287694336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11306 8881 192 642 0 10662 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 45224 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19932 /proc/meminfo: memFree=1719300/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=45224 CPUtime=1661.76 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 9012 0 0 0 165886 290 0 0 25 0 1 0 11534771 46309376 8881 1992294400 134512640 137138936 4287694336 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 11306 8881 192 642 0 10662 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 45224 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19934 /proc/meminfo: memFree=1715456/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=49204 CPUtime=1721.75 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10007 0 0 0 171876 299 0 0 25 0 1 0 11534771 50384896 9876 1992294400 134512640 137138936 4287694336 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12301 9876 192 642 0 11657 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 49204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1781.73 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 177864 309 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 50984 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1791.34 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 178824 310 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 50984 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1794.54 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 179143 311 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 50984 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1796.13 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 179302 311 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 50984 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1796.93 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 179382 311 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 50984 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1797.73 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 179462 311 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 50984 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.93 2/106 19936 /proc/meminfo: memFree=1713596/2059040 swapFree=4164956/4192956 [pid=19878] ppid=19876 vsize=50984 CPUtime=1797.93 /proc/19878/stat : 19878 (bsolo_pb10) R 19876 19878 19528 0 -1 4202496 10452 0 0 0 179482 311 0 0 25 0 1 0 11534771 52207616 10321 1992294400 134512640 137138936 4287694336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19878/statm: 12746 10321 192 642 0 12102 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 50984 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.01 CPU user time (s): 1794.89 CPU system time (s): 3.11753 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 50984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.89 system time used= 3.11753 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10453 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= 22304 runsolver used 2.88556 second user time and 8.5727 second system time The end
Begin job on node080 at 2010-06-16 17:33:36 IDJOB=2670539 IDBENCH=47986 IDSOLVER=1162 FILE ID=node080/2670539-1276702416 PBS_JOBID= 11174086 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670539-1276702416/watcher-2670539-1276702416 -o /tmp/evaluation-result-2670539-1276702416/solver-2670539-1276702416 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670539-1276702416.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e808e428ddeed4827e7f6cc4dcf60aa4 RANDOM SEED=1714571017 node080.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1756664 kB Buffers: 77304 kB Cached: 113156 kB SwapCached: 1540 kB Active: 99672 kB Inactive: 124416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756664 kB SwapTotal: 4192956 kB SwapFree: 4164956 kB Dirty: 4004 kB Writeback: 0 kB AnonPages: 32092 kB Mapped: 14412 kB Slab: 56516 kB PageTables: 3884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183816 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670539-1276702416.opb Free space on /tmp at the end= 62588 MiB End job on node080 at 2010-06-16 18:03:35