Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT (TO) | -13 | 1800.11 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
MD5SUM | 2468d4642d986af58e932976ec0c4f0e |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1464.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
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-2671091-1276718433.opb 0.00/0.00 c File size is 50402 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514 0.00/0.01 c Obj. Vars: 50 (6.98324 % of total variables) 0.10/0.14 c Pre-processing Time: 0.139 s 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 0 716 1384 5228 3 4514 10700 0 0 0.14 0.10/0.14 c Switching off lower bounding mode. 0.10/0.14 o -1 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 0 716 1385 5278 3 4517 10733 1 0 0.14 0.10/0.14 o -2 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 1 716 1388 5428 3 4526 10750 4 7 0.14 0.10/0.14 o -3 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 2 716 1391 5591 4 4537 10767 7 14 0.14 0.10/0.14 o -4 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 3 716 1394 5754 4 4550 10783 10 20 0.14 0.10/0.14 o -5 0.10/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.15 c 5 716 1398 5939 4 4567 10800 14 34 0.14 0.10/0.15 o -6 0.10/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.15 c 21 716 1417 6813 4 4621 10817 33 141 0.15 0.10/0.15 o -7 0.10/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.16 c 32 716 1430 7075 4 4660 10833 46 213 0.15 0.10/0.16 o -8 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 119 716 1520 9156 6 4855 10850 136 734 0.16 0.19/0.20 c 219 716 1621 12616 7 5057 11936 237 1183 0.18 0.19/0.20 o -9 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 324 716 1729 16335 9 5290 10867 345 1565 0.21 0.19/0.21 o -10 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 340 716 1747 17144 9 5345 10883 363 1611 0.21 0.39/0.43 c 440 716 1849 20537 11 5559 11972 465 1929 0.23 0.39/0.43 c 690 716 2110 30082 14 6082 13170 726 2555 0.27 0.39/0.43 c 1165 716 2622 54705 20 7107 14488 1238 3174 0.37 0.39/0.43 o -11 28.67/28.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.67/28.74 c 1430 716 2908 69294 23 7697 10900 1524 3294 0.43 28.67/28.74 c 1531 716 3019 75061 24 7919 11991 1635 3350 0.46 28.67/28.74 c 1781 716 3295 90926 27 8471 13191 1911 3379 0.53 28.67/28.74 c 2256 716 3801 114972 30 9500 14511 2417 3454 0.65 28.67/28.74 c 3069 716 4681 160283 34 11270 15963 3297 3394 0.90 28.67/28.74 c 4389 716 6124 233197 38 14232 17560 4740 3324 1.32 28.67/28.74 c 6470 716 8401 350845 41 18810 19317 7017 3007 2.15 28.67/28.74 c 9693 716 11953 550828 46 25971 21249 10569 2404 4.03 28.67/28.74 c 14629 716 17379 852917 49 36965 23374 15995 1736 8.42 28.67/28.74 c 22135 716 13510 653145 48 28973 25712 12126 1181 18.73 28.67/28.74 o -12 184.93/185.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.93/185.07 c 31340 716 23812 1244854 52 49952 10917 22428 1091 28.72 184.93/185.07 c 31441 716 6990 306859 43 16261 12009 5606 1045 30.07 184.93/185.07 c 31695 716 7468 337770 45 19435 13210 6084 1050 30.17 184.93/185.07 c 32171 716 8104 372195 45 22099 14532 6720 1055 30.48 184.93/185.07 c 32984 716 9000 414563 46 23899 15986 7616 1061 31.07 184.93/185.07 c 34304 716 10503 492987 46 26938 17585 9119 1066 32.17 184.93/185.07 c 36385 716 12783 604878 47 31521 19344 11399 1065 34.15 184.93/185.07 c 39609 716 16419 792765 48 38893 21279 15035 1052 37.62 184.93/185.07 c 44545 716 21835 1066596 48 49890 23407 20451 1011 44.05 184.93/185.07 c 52052 716 17971 837245 46 38069 25748 16587 967 53.81 184.93/185.07 c 63413 716 17000 832895 48 36183 28323 15616 918 69.01 184.93/185.07 c 80558 716 20075 994675 49 42236 31156 18691 867 92.81 184.93/185.07 c 106377 716 30332 1621201 53 63634 34272 28948 794 133.88 184.93/185.07 o -13 1800.09/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.61 c 133085 716 15778 763424 48 33901 10934 14394 719 185.01 1800.09/1800.61 c 133185 716 6969 278522 39 15973 12028 5585 718 185.34 1800.09/1800.61 c 133435 716 7245 290126 40 16526 13231 5861 719 185.49 1800.09/1800.61 c 133910 716 7768 313548 40 17586 14555 6384 720 185.74 1800.09/1800.61 c 134723 716 8660 354532 40 19405 16011 7276 723 186.22 1800.09/1800.61 c 136043 716 10109 426850 42 22377 17613 8725 727 187.10 1800.09/1800.61 c 138125 716 12387 538116 43 27046 19375 11003 731 188.72 1800.09/1800.61 c 141348 716 15891 715861 45 34111 21313 14507 738 191.27 1800.09/1800.61 c 146284 716 21284 987765 46 45007 23445 19900 743 196.66 1800.09/1800.61 c 153791 716 17461 829107 47 38278 25790 16077 745 206.25 1800.09/1800.61 c 165153 716 16329 764273 46 35536 28370 14945 737 223.83 1800.09/1800.61 c 182297 716 19729 961175 48 50867 31208 18345 734 248.28 1800.09/1800.61 c 208116 716 31085 1506679 48 75406 34329 29701 682 305.04 1800.09/1800.61 c 246951 716 30449 1478425 48 63478 37762 29065 668 369.14 1800.09/1800.61 c 305303 716 20001 935039 46 42045 41539 18617 632 482.97 1800.09/1800.61 c 392936 716 31358 1525818 48 65052 45693 29974 601 653.37 1800.09/1800.61 c 524490 716 45401 2293775 50 93498 50263 44017 549 954.11 1800.09/1800.61 c 721922 716 40880 2097017 51 84680 55290 39496 495 1455.72 1800.09/1800.61 c Caught signal: 15 1800.09/1800.61 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 -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 -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 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 55 850112 111568 1003849 51709 2589175 50325 472 1800.09 1800.09/1800.61 c Objective: -13 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 c Total time: 1800.09 s
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671091-1276718433/watcher-2671091-1276718433 -o /tmp/evaluation-result-2671091-1276718433/solver-2671091-1276718433 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671091-1276718433.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 1.00 3/106 9643 /proc/meminfo: memFree=1780328/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=10844 CPUtime=0 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 47447218 11104256 252 1992294400 134512640 137138936 4294202560 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 2711 253 175 642 0 2054 0 [startup+0.0644409 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9643 /proc/meminfo: memFree=1780328/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=11056 CPUtime=0.06 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 413 0 0 0 6 0 0 0 20 0 1 0 47447218 11321344 319 1992294400 134512640 137138936 4294202560 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 2764 319 184 642 0 2120 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11056 [startup+0.101443 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9643 /proc/meminfo: memFree=1780328/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=11056 CPUtime=0.1 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 413 0 0 0 10 0 0 0 20 0 1 0 47447218 11321344 319 1992294400 134512640 137138936 4294202560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 2764 319 184 642 0 2120 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11056 [startup+0.30146 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9643 /proc/meminfo: memFree=1780328/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=11560 CPUtime=0.29 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 555 0 0 0 29 0 0 0 20 0 1 0 47447218 11837440 461 1992294400 134512640 137138936 4294202560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 2890 461 192 642 0 2246 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11560 [startup+0.700493 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9643 /proc/meminfo: memFree=1780328/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=12912 CPUtime=0.69 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 879 0 0 0 68 1 0 0 20 0 1 0 47447218 13221888 785 1992294400 134512640 137138936 4294202560 18446744073709551615 134604058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 3228 785 192 642 0 2584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12912 [startup+1.50056 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9644 /proc/meminfo: memFree=1777096/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=15028 CPUtime=1.49 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 1400 0 0 0 148 1 0 0 22 0 1 0 47447218 15388672 1306 1992294400 134512640 137138936 4294202560 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 3757 1307 192 642 0 3113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15028 [startup+3.10069 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9644 /proc/meminfo: memFree=1774492/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=17916 CPUtime=3.09 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 2148 0 0 0 307 2 0 0 25 0 1 0 47447218 18345984 2054 1992294400 134512640 137138936 4294202560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 4479 2054 192 642 0 3835 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17916 [startup+6.30095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9644 /proc/meminfo: memFree=1769904/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=21660 CPUtime=6.29 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 3073 0 0 0 625 4 0 0 25 0 1 0 47447218 22179840 2979 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 5415 2979 192 642 0 4771 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21660 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9644 /proc/meminfo: memFree=1764076/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=27024 CPUtime=12.69 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 4405 0 0 0 1261 8 0 0 25 0 1 0 47447218 27672576 4311 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 6756 4311 192 642 0 6112 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27024 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9644 /proc/meminfo: memFree=1760356/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=30244 CPUtime=25.49 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 5223 0 0 0 2538 11 0 0 25 0 1 0 47447218 30969856 5129 1992294400 134512640 137138936 4294202560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 7561 5129 192 642 0 6917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30244 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9655 /proc/meminfo: memFree=1759488/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=30240 CPUtime=51.07 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 5223 0 0 0 5091 16 0 0 25 0 1 0 47447218 30965760 5129 1992294400 134512640 137138936 4294202560 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 7560 5129 192 642 0 6916 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30240 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9657 /proc/meminfo: memFree=1756140/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=34136 CPUtime=102.25 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 6202 0 0 0 10196 29 0 0 25 0 1 0 47447218 34955264 6108 1992294400 134512640 137138936 4294202560 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 8534 6108 192 642 0 7890 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34136 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9657 /proc/meminfo: memFree=1750064/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40116 CPUtime=162.23 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7706 0 0 0 16181 42 0 0 25 0 1 0 47447218 41078784 7577 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10029 7577 192 642 0 9385 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 40116 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9659 /proc/meminfo: memFree=1750064/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40092 CPUtime=222.21 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7738 0 0 0 22166 55 0 0 25 0 1 0 47447218 41054208 7600 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10023 7600 192 642 0 9379 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 40092 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9661 /proc/meminfo: memFree=1750064/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40092 CPUtime=282.2 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7738 0 0 0 28152 68 0 0 25 0 1 0 47447218 41054208 7600 1992294400 134512640 137138936 4294202560 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10023 7600 192 642 0 9379 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 40092 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9663 /proc/meminfo: memFree=1749940/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40092 CPUtime=342.18 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7738 0 0 0 34139 79 0 0 25 0 1 0 47447218 41054208 7600 1992294400 134512640 137138936 4294202560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10023 7600 192 642 0 9379 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 40092 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9663 /proc/meminfo: memFree=1749940/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40236 CPUtime=402.17 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7792 0 0 0 40128 89 0 0 25 0 1 0 47447218 41201664 7616 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10059 7616 192 642 0 9415 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 40236 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9665 /proc/meminfo: memFree=1749444/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=40836 CPUtime=462.15 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 7930 0 0 0 46113 102 0 0 25 0 1 0 47447218 41816064 7754 1992294400 134512640 137138936 4294202560 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10209 7754 192 642 0 9565 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 40836 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9667 /proc/meminfo: memFree=1748576/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=41976 CPUtime=522.14 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 8216 0 0 0 52099 115 0 0 25 0 1 0 47447218 42983424 8040 1992294400 134512640 137138936 4294202560 18446744073709551615 134599749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10494 8040 192 642 0 9850 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 41976 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9669 /proc/meminfo: memFree=1747088/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=43088 CPUtime=582.12 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 8535 0 0 0 58087 125 0 0 25 0 1 0 47447218 44122112 8317 1992294400 134512640 137138936 4294202560 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10772 8317 192 642 0 10128 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 43088 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9671 /proc/meminfo: memFree=1746592/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=43460 CPUtime=642.11 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 8628 0 0 0 64074 137 0 0 25 0 1 0 47447218 44503040 8410 1992294400 134512640 137138936 4294202560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 10865 8410 192 642 0 10221 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 43460 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9678 /proc/meminfo: memFree=1742376/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=46984 CPUtime=822.05 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 9555 0 0 0 82034 171 0 0 25 0 1 0 47447218 48111616 9291 1992294400 134512640 137138936 4294202560 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 11746 9291 192 642 0 11102 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 46984 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9680 /proc/meminfo: memFree=1741136/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=48304 CPUtime=882.04 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 9885 0 0 0 88022 182 0 0 25 0 1 0 47447218 49463296 9621 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 12076 9621 192 642 0 11432 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 48304 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9682 /proc/meminfo: memFree=1741136/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=48304 CPUtime=942.02 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 9885 0 0 0 94010 192 0 0 25 0 1 0 47447218 49463296 9621 1992294400 134512640 137138936 4294202560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 12076 9621 192 642 0 11432 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 48304 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9684 /proc/meminfo: memFree=1738408/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=50832 CPUtime=1002.01 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10567 0 0 0 100001 200 0 0 25 0 1 0 47447218 52051968 10253 1992294400 134512640 137138936 4294202560 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 12708 10253 192 642 0 12064 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 50832 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9684 /proc/meminfo: memFree=1738408/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=51028 CPUtime=1061.99 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10616 0 0 0 105991 208 0 0 25 0 1 0 47447218 52252672 10302 1992294400 134512640 137138936 4294202560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 12757 10302 192 642 0 12113 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 51028 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9686 /proc/meminfo: memFree=1738408/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=51028 CPUtime=1121.98 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10616 0 0 0 111979 219 0 0 25 0 1 0 47447218 52252672 10302 1992294400 134512640 137138936 4294202560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 12757 10302 192 642 0 12113 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 51028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9688 /proc/meminfo: memFree=1737416/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52128 CPUtime=1181.96 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10891 0 0 0 117968 228 0 0 25 0 1 0 47447218 53379072 10577 1992294400 134512640 137138936 4294202560 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9643/statm: 13032 10577 192 642 0 12388 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 52128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9690 /proc/meminfo: memFree=1737044/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52520 CPUtime=1241.94 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10989 0 0 0 123959 235 0 0 25 0 1 0 47447218 53780480 10675 1992294400 134512640 137138936 4294202560 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13130 10675 192 642 0 12486 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 52520 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9692 /proc/meminfo: memFree=1737044/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52520 CPUtime=1301.92 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10989 0 0 0 129947 245 0 0 25 0 1 0 47447218 53780480 10675 1992294400 134512640 137138936 4294202560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13130 10675 192 642 0 12486 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 52520 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9692 /proc/meminfo: memFree=1736920/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52520 CPUtime=1361.91 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10989 0 0 0 135935 256 0 0 25 0 1 0 47447218 53780480 10675 1992294400 134512640 137138936 4294202560 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13130 10675 192 642 0 12486 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 52520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9694 /proc/meminfo: memFree=1736920/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52520 CPUtime=1421.89 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10989 0 0 0 141925 264 0 0 25 0 1 0 47447218 53780480 10675 1992294400 134512640 137138936 4294202560 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13130 10675 192 642 0 12486 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 52520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9696 /proc/meminfo: memFree=1736920/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=52520 CPUtime=1481.86 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 10989 0 0 0 147912 274 0 0 25 0 1 0 47447218 53780480 10675 1992294400 134512640 137138936 4294202560 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13130 10675 192 642 0 12486 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 52520 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9698 /proc/meminfo: memFree=1734068/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55176 CPUtime=1541.84 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11726 0 0 0 153900 284 0 0 25 0 1 0 47447218 56500224 11357 1992294400 134512640 137138936 4294202560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13794 11357 192 642 0 13150 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 55176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9698 /proc/meminfo: memFree=1734068/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55464 CPUtime=1601.83 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11780 0 0 0 159892 291 0 0 25 0 1 0 47447218 56795136 11411 1992294400 134512640 137138936 4294202560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13866 11411 192 642 0 13222 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 55464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9700 /proc/meminfo: memFree=1733944/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55464 CPUtime=1661.81 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11780 0 0 0 165880 301 0 0 25 0 1 0 47447218 56795136 11411 1992294400 134512640 137138936 4294202560 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13866 11411 192 642 0 13222 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 55464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9702 /proc/meminfo: memFree=1733820/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55464 CPUtime=1721.8 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11780 0 0 0 171869 311 0 0 25 0 1 0 47447218 56795136 11411 1992294400 134512640 137138936 4294202560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13866 11411 192 642 0 13222 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 55464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9704 /proc/meminfo: memFree=1733572/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55464 CPUtime=1781.78 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11780 0 0 0 177857 321 0 0 25 0 1 0 47447218 56795136 11411 1992294400 134512640 137138936 4294202560 18446744073709551615 136297657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13866 11411 192 642 0 13222 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 55464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9704 /proc/meminfo: memFree=1733572/2059040 swapFree=4140244/4192956 [pid=9643] ppid=9641 vsize=55464 CPUtime=1800.09 /proc/9643/stat : 9643 (bsolo_pb10) R 9641 9643 9335 0 -1 4202496 11780 0 0 0 179686 323 0 0 25 0 1 0 47447218 56795136 11411 1992294400 134512640 137138936 4294202560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9643/statm: 13866 11411 192 642 0 13222 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 55464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.63 CPU time (s): 1800.11 CPU user time (s): 1796.87 CPU system time (s): 3.23751 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 55464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.87 system time used= 3.23751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11781 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= 4903 runsolver used 3.05553 second user time and 8.43372 second system time The end
Begin job on node003 at 2010-06-16 22:00:33 IDJOB=2671091 IDBENCH=48262 IDSOLVER=1162 FILE ID=node003/2671091-1276718433 PBS_JOBID= 11174139 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671091-1276718433/watcher-2671091-1276718433 -o /tmp/evaluation-result-2671091-1276718433/solver-2671091-1276718433 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671091-1276718433.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED=298363232 node003.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.251 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.50 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.251 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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1781104 kB Buffers: 86716 kB Cached: 109776 kB SwapCached: 5996 kB Active: 79912 kB Inactive: 129700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1781104 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 11588 kB Mapped: 13080 kB Slab: 46636 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183352 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-2671091-1276718433.opb Free space on /tmp at the end= 62576 MiB End job on node003 at 2010-06-16 22:30:35