Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -13 | 1798.03 | 1798.84 |
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 | 1692.31 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879711-1245247359.opb 0.00/0.00 c File size is 49626 bytes. 0.00/0.00 c Highest Coefficient sum: 100 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: 706 Constr: 1364 656/102/606 Lit: 5148 Watch. Lit: 4444 0.00/0.00 c Obj. Vars: 50 (7.08215 % of total variables) 0.10/0.12 c Pre-processing Time: 0.122 s 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 0 706 1364 5148 3 4444 10465 0 0 0.12 0.10/0.12 c Switching off lower bounding mode. 0.10/0.12 o -1 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 0 706 1365 5198 3 4447 10498 1 0 0.12 0.10/0.12 o -2 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 1 706 1368 5348 3 4456 10515 4 8 0.12 0.10/0.12 o -3 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 2 706 1371 5512 4 4467 10531 7 16 0.12 0.10/0.12 o -4 0.10/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.12 c 4 706 1376 5800 4 4501 10548 12 31 0.13 0.10/0.12 o -5 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 8 706 1385 6292 4 4569 10565 21 62 0.13 0.10/0.13 o -6 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 20 706 1410 7441 5 4822 10581 46 155 0.13 0.10/0.13 o -7 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 31 706 1433 8222 5 5032 10598 69 234 0.13 0.10/0.13 o -8 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 37 706 1446 8924 6 5176 10615 82 278 0.13 0.10/0.13 o -9 0.10/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.14 c 46 706 1465 9911 6 5401 10631 101 340 0.14 0.10/0.14 o -10 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 83 706 1540 12772 8 6323 10648 176 588 0.14 0.39/0.48 c 183 706 1739 19942 11 8521 11713 375 1150 0.16 0.39/0.48 c 433 706 2239 56695 25 20275 12885 875 1535 0.28 0.39/0.48 o -11 242.33/242.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 242.33/242.53 c 664 706 2702 94746 35 32206 10665 1338 1371 0.48 242.33/242.53 c 764 706 2902 109104 37 36797 11732 1538 1333 0.57 242.33/242.53 c 1014 706 3402 148418 43 47999 12906 2038 1145 0.89 242.33/242.53 c 1489 706 4352 217498 49 69399 14197 2988 961 1.55 242.33/242.53 c 2302 706 5978 335729 56 101161 15617 4614 697 3.30 242.33/242.53 c 3623 706 8619 544052 63 153417 17179 7255 458 7.91 242.33/242.53 c 5704 706 12781 862767 67 235355 18897 11417 301 18.94 242.33/242.53 c 8927 706 19226 1374775 71 366453 20787 17862 193 46.04 242.33/242.53 c 13863 706 18110 1295999 71 361200 22866 16746 137 101.16 242.33/242.53 c 21369 706 21157 1570702 74 422526 25153 19793 114 185.85 242.33/242.53 o -12 1172.24/1172.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1172.24/1172.81 c 25619 706 16581 1249642 75 321407 10681 15217 105 242.38 1172.24/1172.81 c 25719 706 6906 414395 60 123878 11750 5542 101 252.45 1172.24/1172.81 c 25969 706 7406 452135 61 135487 12926 6042 102 253.54 1172.24/1172.81 c 26445 706 8355 529980 63 155353 14219 6991 103 255.95 1172.24/1172.81 c 27259 706 9981 651193 65 192518 15641 8617 104 260.73 1172.24/1172.81 c 28579 706 12606 859467 68 242428 17206 11242 105 269.99 1172.24/1172.81 c 30660 706 16750 1208702 72 327458 18927 15386 106 286.58 1172.24/1172.81 c 33884 706 13196 958462 72 264482 20820 11832 103 326.02 1172.24/1172.81 c 38820 706 12020 874037 72 240646 22903 10656 100 387.42 1172.24/1172.81 c 46326 706 14922 1135913 76 295600 25194 13558 98 470.33 1172.24/1172.81 c 57687 706 23965 2004791 83 492028 27714 22601 92 623.68 1172.24/1172.81 c 74832 706 27797 2353439 84 547357 30486 26433 84 884.53 1172.24/1172.81 o -13 1797.98/1798.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.83 c 91580 706 28455 2170595 76 600594 10698 27091 78 1172.27 1797.98/1798.83 c 91680 706 6913 424824 61 141468 11768 5549 74 1230.18 1797.98/1798.83 c 91930 706 7385 450799 61 148828 12945 6021 74 1230.93 1797.98/1798.83 c 92406 706 8289 505894 61 167648 14240 6925 74 1232.95 1797.98/1798.83 c 93219 706 9776 593826 60 189690 15665 8412 75 1237.53 1797.98/1798.83 c 94539 706 12260 743014 60 233185 17232 10896 75 1249.34 1797.98/1798.83 c 96620 706 16416 993348 60 303464 18956 15052 75 1277.52 1797.98/1798.83 c 99843 706 12469 688269 55 235722 20852 11105 74 1348.11 1797.98/1798.83 c 104780 706 21713 1293872 59 393654 22938 20349 72 1450.60 1797.98/1798.83 c 112286 706 24009 1471284 61 441757 25232 22645 69 1615.81 1797.98/1798.83 c Resources Exceeded 1797.98/1798.83 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.98/1798.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.83 c 44 119169 12312 137047 24280 1550235 22916 66 1798.02 1797.98/1798.83 c Objective: -13 1797.98/1798.83 s SATISFIABLE 1797.98/1798.83 c Total time: 1798.02 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-1879711-1245247359/watcher-1879711-1245247359 -o /tmp/evaluation-result-1879711-1245247359/solver-1879711-1245247359 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879711-1245247359.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 0.98 0.91 3/64 2939 /proc/meminfo: memFree=1853008/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=10756 CPUtime=0 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 192330155 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 2689 239 176 640 0 2032 0 [startup+0.0379209 s] /proc/loadavg: 1.00 0.98 0.91 3/64 2939 /proc/meminfo: memFree=1853008/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=10980 CPUtime=0.03 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 348 0 0 0 3 0 0 0 18 0 1 0 192330155 11243520 319 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 2745 319 189 640 0 2101 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10980 [startup+0.101928 s] /proc/loadavg: 1.00 0.98 0.91 3/64 2939 /proc/meminfo: memFree=1853008/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=10980 CPUtime=0.1 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 348 0 0 0 10 0 0 0 18 0 1 0 192330155 11243520 319 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 2745 319 189 640 0 2101 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10980 [startup+0.301951 s] /proc/loadavg: 1.00 0.98 0.91 3/64 2939 /proc/meminfo: memFree=1853008/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=12148 CPUtime=0.29 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 651 0 0 0 29 0 0 0 19 0 1 0 192330155 12439552 622 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 3037 622 197 640 0 2393 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12148 [startup+0.701995 s] /proc/loadavg: 1.00 0.98 0.91 3/64 2939 /proc/meminfo: memFree=1853008/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=13576 CPUtime=0.69 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 993 0 0 0 69 0 0 0 23 0 1 0 192330155 13901824 964 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 3394 964 197 640 0 2750 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13576 [startup+1.50109 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1849224/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=15360 CPUtime=1.49 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 1456 0 0 0 148 1 0 0 25 0 1 0 192330155 15728640 1427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 3840 1427 197 640 0 3196 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15360 [startup+3.10227 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1847048/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=17580 CPUtime=3.09 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 2013 0 0 0 308 1 0 0 25 0 1 0 192330155 18001920 1984 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 4395 1984 197 640 0 3751 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17580 [startup+6.30163 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1843336/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=20676 CPUtime=6.29 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 2777 0 0 0 627 2 0 0 25 0 1 0 192330155 21172224 2748 1992294400 134512640 137136520 4294956256 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 5169 2748 197 640 0 4525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20676 [startup+12.7014 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1838864/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=24816 CPUtime=12.69 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 3811 0 0 0 1265 4 0 0 25 0 1 0 192330155 25411584 3782 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 6204 3782 197 640 0 5560 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24816 [startup+25.5018 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1832592/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=30756 CPUtime=25.48 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 5316 0 0 0 2542 6 0 0 25 0 1 0 192330155 31494144 5287 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 7689 5287 197 640 0 7045 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30756 [startup+51.1017 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1823952/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=39676 CPUtime=51.07 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 7516 0 0 0 5099 8 0 0 25 0 1 0 192330155 40628224 7487 1992294400 134512640 137136520 4294956256 18446744073709551615 134544189 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 9919 7487 197 640 0 9275 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39676 [startup+102.306 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1819664/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=43548 CPUtime=102.23 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 8508 0 0 0 10213 10 0 0 25 0 1 0 192330155 44593152 8479 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 10887 8479 198 640 0 10243 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 43548 [startup+162.301 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1815824/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=47352 CPUtime=162.18 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 9457 0 0 0 16205 13 0 0 25 0 1 0 192330155 48488448 9428 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 11838 9428 198 640 0 11194 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 47352 [startup+222.301 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810768/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52364 CPUtime=222.14 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 22198 16 0 0 25 0 1 0 192330155 53620736 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13091 10683 198 640 0 12447 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 52364 [startup+282.302 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810704/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52364 CPUtime=282.12 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 28194 18 0 0 25 0 1 0 192330155 53620736 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13091 10683 198 640 0 12447 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 52364 [startup+342.302 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810704/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52364 CPUtime=342.09 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 34190 19 0 0 25 0 1 0 192330155 53620736 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13091 10683 198 640 0 12447 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 52364 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810704/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52364 CPUtime=402.06 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 40185 21 0 0 25 0 1 0 192330155 53620736 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13091 10683 198 640 0 12447 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 52364 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810640/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52360 CPUtime=462.04 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 46181 23 0 0 25 0 1 0 192330155 53616640 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13090 10683 198 640 0 12446 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 52360 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1810640/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=52360 CPUtime=522.01 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 10712 0 0 0 52177 24 0 0 25 0 1 0 192330155 53616640 10683 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13090 10683 198 640 0 12446 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 52360 [startup+582.302 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1809296/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=53824 CPUtime=581.99 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 11077 0 0 0 58174 25 0 0 25 0 1 0 192330155 55115776 11048 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13456 11048 198 640 0 12812 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 53824 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1809104/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=54084 CPUtime=641.97 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 11117 0 0 0 64171 26 0 0 25 0 1 0 192330155 55382016 11088 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 13521 11088 198 640 0 12877 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 54084 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1802192/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1121.76 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 112139 37 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 60568 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1802128/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1181.74 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 118136 38 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 60568 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801936/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1241.71 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 124132 39 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 60568 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801872/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1301.7 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 130129 41 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 60568 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801872/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1361.67 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 136125 42 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 60568 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801808/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1421.64 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 142121 43 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 60568 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801744/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1481.61 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 148117 44 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 60568 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801680/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1541.59 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 154114 45 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 60568 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801744/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1601.57 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 160111 46 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 60568 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.91 2/65 2940 /proc/meminfo: memFree=1801744/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1661.54 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 166107 47 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 60568 [startup+1722.3 s] /proc/loadavg: 1.06 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801680/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1721.52 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 172104 48 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1721.52 Current children cumulated vsize (KiB) 60568 [startup+1782.3 s] /proc/loadavg: 1.02 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1781.49 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 178099 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 60568 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.02 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1791.09 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179059 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (KiB) 60568 [startup+1795.1 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1794.29 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179379 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1794.29 Current children cumulated vsize (KiB) 60568 [startup+1796.7 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1795.89 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179539 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1795.89 Current children cumulated vsize (KiB) 60568 [startup+1797.5 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1796.68 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179618 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (KiB) 60568 [startup+1798.3 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1797.48 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179698 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 136295553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (KiB) 60568 [startup+1798.7 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1797.88 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179738 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 60568 [startup+1798.8 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2940 /proc/meminfo: memFree=1801616/2055920 swapFree=4181640/4192956 [pid=2939] ppid=2937 vsize=60568 CPUtime=1797.98 /proc/2939/stat : 2939 (bsolo) R 2937 2939 2346 0 -1 4194304 12769 0 0 0 179748 50 0 0 25 0 1 0 192330155 62021632 12740 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2939/statm: 15142 12740 198 640 0 14498 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 60568 Child status: 0 Real time (s): 1798.84 CPU time (s): 1798.03 CPU user time (s): 1797.52 CPU system time (s): 0.511922 CPU usage (%): 99.9549 Max. virtual memory (cumulated for all children) (KiB): 60572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 0.511922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12771 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= 2 involuntary context switches= 5818 runsolver used 1.51177 second user time and 4.14937 second system time The end
Begin job on node63 at 2009-06-17 16:02:39 IDJOB=1879711 IDBENCH=48261 IDSOLVER=701 FILE ID=node63/1879711-1245247359 PBS_JOBID= 9372284 Free space on /tmp= 66456 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879711-1245247359/watcher-1879711-1245247359 -o /tmp/evaluation-result-1879711-1245247359/solver-1879711-1245247359 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879711-1245247359.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED=1358623429 node63.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1853552 kB Buffers: 23504 kB Cached: 107620 kB SwapCached: 4604 kB Active: 20380 kB Inactive: 118648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853552 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 13708 kB Slab: 49088 kB Committed_AS: 100880 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879711-1245247359.opb Free space on /tmp at the end= 66452 MiB End job on node63 at 2009-06-17 16:32:38