Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -9 | 1798.01 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
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 | 1372.41 |
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) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671090-1276718411.opb 0.00/0.00 c File size is 49626 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: 706 Constr: 1364 656/102/606 Lit: 5148 Watch. Lit: 4444 0.00/0.01 c Obj. Vars: 50 (7.08215 % of total variables) 0.09/0.13 c Pre-processing Time: 0.132 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 706 1364 5148 3 4444 10465 0 0 0.13 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 706 1365 5198 3 4447 10498 1 0 0.13 0.09/0.13 o -2 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 3 706 1369 5415 3 4457 10515 5 22 0.13 0.09/0.14 o -3 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 60 706 1427 9238 6 4576 10531 63 422 0.14 0.29/0.38 c 160 706 1527 15975 10 4776 11585 163 1059 0.15 0.29/0.38 c 410 706 1777 35524 19 5276 12744 413 2277 0.18 0.29/0.38 c 885 706 2252 67759 30 6226 14019 888 4041 0.22 0.29/0.38 c 1698 706 3065 115489 37 7852 15421 1701 5795 0.29 0.29/0.38 o -4 4.30/4.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.38 c 2367 706 3735 167344 44 9196 10548 2371 6164 0.38 4.30/4.38 c 2468 706 3836 172427 44 9398 11603 2472 6279 0.39 4.30/4.38 c 2718 706 4086 185112 45 9898 12764 2722 6629 0.41 4.30/4.38 c 3193 706 4561 209682 45 10848 14041 3197 7223 0.44 4.30/4.38 c 4006 706 5374 266114 49 12474 15446 4010 7391 0.54 4.30/4.38 c 5326 706 6694 371866 55 15114 16991 5330 7044 0.76 4.30/4.38 c 7408 706 8776 533551 60 19278 18691 7412 6320 1.17 4.30/4.38 c 10631 706 11999 790674 65 25724 20561 10635 5016 2.12 4.30/4.38 c 15567 706 16935 1197182 70 35596 22618 15571 3699 4.21 4.30/4.38 o -7 4.59/4.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.67 c 15724 706 17093 1203154 70 35919 10598 15729 3590 4.38 4.59/4.67 c 15824 706 6764 439075 64 15251 11658 5400 3386 4.67 4.59/4.67 o -8 12.39/12.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.39/12.40 c 15824 706 6765 439125 64 15261 10615 5401 3386 4.67 12.39/12.40 c 15924 706 6865 446468 65 15461 11677 5501 3390 4.70 12.39/12.40 c 16176 706 7117 462296 64 15965 12845 5753 3409 4.74 12.39/12.40 c 16651 706 7592 490639 64 16915 14130 6228 3421 4.87 12.39/12.40 c 17464 706 8405 547849 65 18541 15544 7041 3429 5.09 12.39/12.40 c 18784 706 9725 644175 66 21181 17099 8361 3354 5.60 12.39/12.40 c 20865 706 11806 801616 67 25343 18809 10442 3259 6.40 12.39/12.40 c 24088 706 15029 1056168 70 31789 20690 13665 3130 7.69 12.39/12.40 c 29024 706 19965 1443431 72 41661 22760 18601 3080 9.42 12.39/12.40 o -9 1797.97/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.53 c 34359 706 12679 877687 69 27091 10631 11315 2771 12.40 1797.97/1798.53 c 34459 706 6781 417662 61 15287 11695 5417 2730 12.62 1797.97/1798.53 c 34709 706 7031 434481 61 15787 12865 5667 2736 12.68 1797.97/1798.53 c 35185 706 7507 468271 62 16739 14152 6143 2753 12.78 1797.97/1798.53 c 35998 706 8320 527373 63 18365 15568 6956 2772 12.98 1797.97/1798.53 c 37318 706 9640 613840 63 21005 17125 8276 2788 13.38 1797.97/1798.53 c 39399 706 11721 762179 65 25167 18838 10357 2755 14.30 1797.97/1798.53 c 42622 706 14944 996695 66 31613 20722 13580 2708 15.73 1797.97/1798.53 c 47558 706 19880 1384175 69 41485 22795 18516 2608 18.23 1797.97/1798.53 c 55064 706 14716 1008389 68 31157 25075 13352 2293 24.01 1797.97/1798.53 c 66425 706 26077 1898773 72 53879 27583 24713 2123 31.28 1797.97/1798.53 c 83569 706 25901 1875646 72 53527 30342 24537 1856 45.02 1797.97/1798.53 c 109388 706 12461 855808 68 26647 33377 11097 1606 68.08 1797.97/1798.53 c 148220 706 28416 2057089 72 58557 36715 27052 1538 96.34 1797.97/1798.53 c 206572 706 34494 2481053 71 70713 40387 33130 1372 150.52 1797.97/1798.53 c 294204 706 33075 2471852 74 67875 44426 31711 1278 230.15 1797.97/1798.53 c 425756 706 30103 2328690 77 61931 48869 28739 1152 369.28 1797.97/1798.53 c 623188 706 37545 2749879 73 76815 53756 36181 1024 608.33 1797.97/1798.53 c 919440 706 34284 2621820 76 70293 59132 32920 908 1012.31 1797.97/1798.53 c 1363922 706 46226 3426100 74 94177 65046 44862 797 1709.66 1797.97/1798.53 c Resources Exceeded 1797.97/1798.53 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 -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 1797.97/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.53 c 47 1395817 908 1399699 24301 1669742 22937 776 1798.00 1797.97/1798.53 c Objective: -9 1797.97/1798.53 s SATISFIABLE 1797.97/1798.53 c Total time: 1798 s
OK -9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671090-1276718411/watcher-2671090-1276718411 -o /tmp/evaluation-result-2671090-1276718411/solver-2671090-1276718411 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671090-1276718411.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 4/106 10766 /proc/meminfo: memFree=1864372/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=10840 CPUtime=0 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 330 0 0 0 0 0 0 0 18 0 1 0 47442572 11100160 249 1992294400 134512640 137138936 4294221312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 2710 249 175 642 0 2053 0 [startup+0.0344661 s] /proc/loadavg: 1.00 1.00 1.00 4/106 10766 /proc/meminfo: memFree=1864372/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=11056 CPUtime=0.03 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 409 0 0 0 3 0 0 0 18 0 1 0 47442572 11321344 315 1992294400 134512640 137138936 4294221312 18446744073709551615 136504864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 2764 315 184 642 0 2120 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11056 [startup+0.101474 s] /proc/loadavg: 1.00 1.00 1.00 4/106 10766 /proc/meminfo: memFree=1864372/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=11056 CPUtime=0.09 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 409 0 0 0 9 0 0 0 21 0 1 0 47442572 11321344 315 1992294400 134512640 137138936 4294221312 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 2764 315 184 642 0 2120 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11056 [startup+0.3015 s] /proc/loadavg: 1.00 1.00 1.00 4/106 10766 /proc/meminfo: memFree=1864372/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=12700 CPUtime=0.29 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 829 0 0 0 29 0 0 0 21 0 1 0 47442572 13004800 735 1992294400 134512640 137138936 4294221312 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 3175 735 191 642 0 2531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12700 [startup+0.701552 s] /proc/loadavg: 1.00 1.00 1.00 4/106 10766 /proc/meminfo: memFree=1864372/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=15948 CPUtime=0.69 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 1644 0 0 0 68 1 0 0 22 0 1 0 47442572 16330752 1550 1992294400 134512640 137138936 4294221312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 3987 1550 191 642 0 3343 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15948 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1857296/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=20092 CPUtime=1.49 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 2680 0 0 0 147 2 0 0 25 0 1 0 47442572 20574208 2586 1992294400 134512640 137138936 4294221312 18446744073709551615 134618549 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 5023 2586 191 642 0 4379 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20092 [startup+3.10087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1852584/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=25112 CPUtime=3.09 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 3946 0 0 0 305 4 0 0 25 0 1 0 47442572 25714688 3852 1992294400 134512640 137138936 4294221312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 6278 3852 191 642 0 5634 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25112 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1846508/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=28116 CPUtime=6.29 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 4697 0 0 0 624 5 0 0 25 0 1 0 47442572 28790784 4603 1992294400 134512640 137138936 4294221312 18446744073709551615 134542678 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 7029 4603 191 642 0 6385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28116 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1837828/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=36812 CPUtime=12.69 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 6862 0 0 0 1260 9 0 0 25 0 1 0 47442572 37695488 6768 1992294400 134512640 137138936 4294221312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 9203 6768 191 642 0 8559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36812 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1837828/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=36804 CPUtime=25.49 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 6862 0 0 0 2536 13 0 0 25 0 1 0 47442572 37687296 6768 1992294400 134512640 137138936 4294221312 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 9201 6768 191 642 0 8557 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36804 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10778 /proc/meminfo: memFree=1829520/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=43960 CPUtime=51.06 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 8656 0 0 0 5084 22 0 0 25 0 1 0 47442572 45015040 8562 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 10990 8562 191 642 0 10346 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43960 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10778 /proc/meminfo: memFree=1826916/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=47344 CPUtime=102.25 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 9529 0 0 0 10191 34 0 0 25 0 1 0 47442572 48480256 9401 1992294400 134512640 137138936 4294221312 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 11836 9401 191 642 0 11192 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 47344 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10780 /proc/meminfo: memFree=1819600/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=54340 CPUtime=162.23 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 11362 0 0 0 16172 51 0 0 25 0 1 0 47442572 55644160 11156 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 13585 11156 191 642 0 12941 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 54340 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10782 /proc/meminfo: memFree=1817864/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=56480 CPUtime=222.22 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 11868 0 0 0 22157 65 0 0 25 0 1 0 47442572 57835520 11662 1992294400 134512640 137138936 4294221312 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 14120 11662 191 642 0 13476 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 56480 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10784 /proc/meminfo: memFree=1812408/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=61644 CPUtime=282.2 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 13224 0 0 0 28142 78 0 0 25 0 1 0 47442572 63123456 12974 1992294400 134512640 137138936 4294221312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 15411 12974 191 642 0 14767 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 61644 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10786 /proc/meminfo: memFree=1811044/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=63100 CPUtime=342.18 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 13625 0 0 0 34125 93 0 0 25 0 1 0 47442572 64614400 13330 1992294400 134512640 137138936 4294221312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 15775 13330 191 642 0 15131 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 63100 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10786 /proc/meminfo: memFree=1807820/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=66284 CPUtime=402.16 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 14461 0 0 0 40112 104 0 0 25 0 1 0 47442572 67874816 14117 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 16571 14117 191 642 0 15927 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 66284 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10788 /proc/meminfo: memFree=1807820/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=66492 CPUtime=462.14 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 14509 0 0 0 46100 114 0 0 25 0 1 0 47442572 68087808 14165 1992294400 134512640 137138936 4294221312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 16623 14165 191 642 0 15979 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 66492 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10790 /proc/meminfo: memFree=1807696/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=66492 CPUtime=522.13 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 14509 0 0 0 52081 132 0 0 25 0 1 0 47442572 68087808 14165 1992294400 134512640 137138936 4294221312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 16623 14165 191 642 0 15979 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 66492 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10792 /proc/meminfo: memFree=1807572/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=66492 CPUtime=582.1 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 14509 0 0 0 58067 143 0 0 25 0 1 0 47442572 68087808 14165 1992294400 134512640 137138936 4294221312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 16623 14165 191 642 0 15979 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 66492 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10794 /proc/meminfo: memFree=1806456/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=67436 CPUtime=642.1 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 14820 0 0 0 64055 155 0 0 25 0 1 0 47442572 69054464 14422 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 16859 14422 191 642 0 16215 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 67436 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1796412/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=76968 CPUtime=1061.97 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17254 0 0 0 105970 227 0 0 25 0 1 0 47442572 78815232 16797 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19242 16797 191 642 0 18598 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 76968 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10809 /proc/meminfo: memFree=1796412/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=77252 CPUtime=1121.95 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17312 0 0 0 111956 239 0 0 25 0 1 0 47442572 79106048 16855 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19313 16855 191 642 0 18669 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 77252 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10811 /proc/meminfo: memFree=1796412/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=77516 CPUtime=1181.93 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17378 0 0 0 117944 249 0 0 25 0 1 0 47442572 79376384 16921 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19379 16921 191 642 0 18735 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 77516 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10813 /proc/meminfo: memFree=1796040/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=77516 CPUtime=1241.92 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17378 0 0 0 123935 257 0 0 25 0 1 0 47442572 79376384 16921 1992294400 134512640 137138936 4294221312 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19379 16921 191 642 0 18735 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 77516 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 10813 /proc/meminfo: memFree=1795048/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=78452 CPUtime=1301.91 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17612 0 0 0 129923 268 0 0 25 0 1 0 47442572 80334848 17155 1992294400 134512640 137138936 4294221312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19613 17155 191 642 0 18969 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 78452 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10815 /proc/meminfo: memFree=1795048/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=78452 CPUtime=1361.89 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17612 0 0 0 135912 277 0 0 25 0 1 0 47442572 80334848 17155 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19613 17155 191 642 0 18969 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 78452 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10817 /proc/meminfo: memFree=1794924/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=78716 CPUtime=1421.87 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17678 0 0 0 141898 289 0 0 25 0 1 0 47442572 80605184 17221 1992294400 134512640 137138936 4294221312 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19679 17221 191 642 0 19035 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 78716 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10819 /proc/meminfo: memFree=1793932/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=79604 CPUtime=1481.85 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 17900 0 0 0 147888 297 0 0 25 0 1 0 47442572 81514496 17443 1992294400 134512640 137138936 4294221312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 19901 17443 191 642 0 19257 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 79604 [startup+1542.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10821 /proc/meminfo: memFree=1792444/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81068 CPUtime=1541.84 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18266 0 0 0 153879 305 0 0 25 0 1 0 47442572 83013632 17809 1992294400 134512640 137138936 4294221312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20267 17809 191 642 0 19623 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 81068 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10821 /proc/meminfo: memFree=1792320/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81068 CPUtime=1601.82 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18266 0 0 0 159866 316 0 0 25 0 1 0 47442572 83013632 17809 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20267 17809 191 642 0 19623 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 81068 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10823 /proc/meminfo: memFree=1792196/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81068 CPUtime=1661.8 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18266 0 0 0 165855 325 0 0 25 0 1 0 47442572 83013632 17809 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20267 17809 191 642 0 19623 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 81068 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 10825 /proc/meminfo: memFree=1792196/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81068 CPUtime=1721.78 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18266 0 0 0 171843 335 0 0 25 0 1 0 47442572 83013632 17809 1992294400 134512640 137138936 4294221312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20267 17809 191 642 0 19623 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 81068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1781.76 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 177835 341 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 81092 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1791.36 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 178795 341 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 81092 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1794.57 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 179115 342 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 81092 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1796.16 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 179273 343 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 81092 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1796.97 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 179353 344 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 81092 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1797.76 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 179432 344 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134542463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 81092 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10827 /proc/meminfo: memFree=1791824/2059040 swapFree=4139252/4192956 [pid=10766] ppid=10764 vsize=81092 CPUtime=1797.97 /proc/10766/stat : 10766 (bsolo_pb10) R 10764 10766 10459 0 -1 4202496 18274 0 0 0 179453 344 0 0 25 0 1 0 47442572 83038208 17817 1992294400 134512640 137138936 4294221312 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10766/statm: 20273 17817 191 642 0 19629 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 81092 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1794.56 CPU system time (s): 3.45347 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 81092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.56 system time used= 3.45347 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18275 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= 4233 runsolver used 2.70559 second user time and 8.75467 second system time The end
Begin job on node013 at 2010-06-16 22:00:11 IDJOB=2671090 IDBENCH=48261 IDSOLVER=1163 FILE ID=node013/2671090-1276718411 PBS_JOBID= 11174138 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671090-1276718411/watcher-2671090-1276718411 -o /tmp/evaluation-result-2671090-1276718411/solver-2671090-1276718411 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671090-1276718411.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=298363232 node013.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.253 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1865272 kB Buffers: 20224 kB Cached: 83796 kB SwapCached: 6164 kB Active: 85136 kB Inactive: 31788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1865272 kB SwapTotal: 4192956 kB SwapFree: 4139252 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11504 kB Mapped: 12920 kB Slab: 55164 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182444 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-2671090-1276718411.opb Free space on /tmp at the end= 62548 MiB End job on node013 at 2010-06-16 22:30:09