Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 25954 | 1798.04 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25184 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 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: Clause 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-1878541-1245146835.opb 0.00/0.00 c File size is 202954 bytes. 0.00/0.03 c Highest Coefficient sum: 116904 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.026 s 0.00/0.03 c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776 0.00/0.03 c Obj. Vars: 180 (33.3333 % of total variables) 0.00/0.07 c Pre-processing Time: 0.065 s 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 540 4626 21888 4 14136 31514 0 0 0.07 0.00/0.07 c Switching off lower bounding mode. 0.09/0.18 c 102 540 4728 24341 5 15402 34666 102 1416 0.07 0.09/0.18 c 252 540 4878 30893 6 15068 38133 252 2709 0.09 0.09/0.18 c 480 540 5106 44282 8 15284 41947 480 3582 0.13 0.09/0.18 o 30086 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 646 540 5273 60607 11 15570 31874 647 3510 0.18 0.09/0.19 o 29126 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 647 540 5275 60866 11 15691 31874 649 3497 0.18 0.09/0.19 o 28949 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 656 540 5285 61675 11 15918 31874 659 3489 0.19 0.19/0.20 o 28778 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 720 540 5350 66610 12 16223 31874 724 3529 0.20 0.19/0.24 c 823 540 5453 70153 12 16181 35062 827 3641 0.23 0.19/0.24 o 28529 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 875 540 5506 73912 13 16687 31874 880 3600 0.24 0.49/0.52 c 977 540 5608 82012 14 16474 35062 982 3618 0.27 0.49/0.52 c 1228 540 5859 96700 16 16860 38569 1233 3837 0.32 0.49/0.52 c 1704 540 6335 132985 20 18207 42426 1709 3712 0.46 0.49/0.52 o 28524 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 1901 540 6533 144084 22 18488 31874 1907 3648 0.52 0.79/0.88 c 2001 540 6633 150206 22 18840 35062 2007 3573 0.56 0.79/0.88 c 2252 540 6884 167989 24 19073 38569 2258 3507 0.64 0.79/0.88 c 2727 540 7359 206042 27 20843 42426 2733 3227 0.84 0.79/0.88 o 28138 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 2806 540 7439 211047 28 21297 31874 2813 3192 0.88 0.89/0.97 c 2908 540 7541 220270 29 21056 35062 2915 3090 0.94 0.89/0.97 o 28118 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 2952 540 7586 224487 29 21259 31874 2960 3046 0.97 0.99/1.03 c 3052 540 7686 233138 30 21604 35062 3060 3000 1.02 0.99/1.03 o 26811 2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.18 c 3072 540 7707 234458 30 21665 31874 3081 2988 1.03 2.09/2.18 c 3174 540 7809 240590 30 21898 35062 3183 2941 1.08 2.09/2.18 c 3424 540 8059 262829 32 22511 38569 3433 2867 1.19 2.09/2.18 c 3899 540 8534 301381 35 24069 42426 3908 2627 1.48 2.09/2.18 c 4713 540 9348 380037 40 25960 46669 4722 2277 2.07 2.09/2.18 o 26748 51.28/51.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.28/51.33 c 4869 540 9505 389342 40 25479 31874 4879 2234 2.18 51.28/51.33 c 4969 540 9605 393577 40 25650 35062 4979 2215 2.24 51.28/51.33 c 5219 540 9855 408387 41 26214 38569 5229 2156 2.42 51.28/51.33 c 5696 540 10332 445476 43 27075 42426 5706 2012 2.83 51.28/51.33 c 6511 540 11147 509083 45 28781 46669 6521 1756 3.71 51.28/51.33 c 7832 540 12468 663454 53 31801 51336 7842 1505 5.20 51.28/51.33 c 9913 540 14549 851927 58 35998 56470 9923 1230 8.06 51.28/51.33 c 13137 540 17773 1154082 64 42118 62118 13147 945 13.89 51.28/51.33 c 18076 540 22712 1681081 74 51439 68330 18086 686 26.32 51.28/51.33 o 26682 168.53/168.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 168.53/168.68 c 24823 540 29460 2367598 80 66202 31874 24834 483 51.31 168.53/168.68 c 24924 540 29561 2380487 80 66352 35062 24935 481 51.78 168.53/168.68 c 25174 540 29811 2407846 80 66792 38569 25185 476 52.82 168.53/168.68 c 25650 540 30287 2455390 81 67682 42426 25661 464 55.20 168.53/168.68 c 26465 540 31102 2535426 81 69477 46669 26476 452 58.55 168.53/168.68 c 27787 540 32424 2655710 81 71318 51336 27798 424 65.48 168.53/168.68 c 29869 540 34506 2853223 82 75760 56470 29880 392 76.10 168.53/168.68 c 33092 540 37729 3236490 85 82298 62118 33103 352 93.75 168.53/168.68 c 38029 540 42666 3863144 90 91780 68330 38040 303 125.16 168.53/168.68 o 26443 898.92/900.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 898.92/900.50 c 44306 540 48944 4569558 93 104505 31874 44318 262 168.62 898.92/900.50 c 44410 540 18448 1435302 77 42085 35062 13822 261 169.70 898.92/900.50 c 44660 540 18698 1452732 77 42544 38569 14072 262 170.27 898.92/900.50 c 45135 540 19173 1494692 77 43921 42426 14547 263 171.40 898.92/900.50 c 45950 540 19988 1558913 77 45427 46669 15362 265 173.23 898.92/900.50 c 47272 540 21310 1664562 78 48523 51336 16684 267 176.96 898.92/900.50 c 49354 540 23392 1846917 78 52199 56470 18766 270 182.53 898.92/900.50 c 52577 540 26615 2197045 82 58300 62118 21989 271 193.64 898.92/900.50 c 57514 540 31552 2664306 84 68378 68330 26926 269 213.30 898.92/900.50 c 65020 540 39058 3560328 91 83519 75164 34432 261 248.62 898.92/900.50 c 76382 540 50420 4947138 98 105971 82681 45794 239 318.79 898.92/900.50 c 93527 540 67565 6728861 99 140505 90950 62939 177 526.66 898.92/900.50 c 119347 540 93385 10240316 109 192564 100046 88759 141 846.20 898.92/900.50 o 25954 1797.97/1800.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1800.65 c 122511 540 96550 10538087 109 198919 31874 91924 136 899.03 1797.97/1800.65 c 122614 540 20667 1616643 78 47023 35062 16041 135 904.72 1797.97/1800.65 c 122864 540 20917 1640920 78 47778 38569 16291 135 905.44 1797.97/1800.65 c 123341 540 21394 1686382 78 48293 42426 16768 136 906.73 1797.97/1800.65 c 124155 540 22208 1754310 78 49765 46669 17582 136 909.43 1797.97/1800.65 c 125478 540 23531 1884258 80 52600 51336 18905 137 913.51 1797.97/1800.65 c 127560 540 25613 2099580 81 56207 56470 20987 138 920.41 1797.97/1800.65 c 130784 540 28837 2453488 85 62728 62118 24211 140 932.12 1797.97/1800.65 c 135721 540 33774 2960340 87 73278 68330 29148 142 951.67 1797.97/1800.65 c 143228 540 41281 3791055 91 88519 75164 36655 144 991.68 1797.97/1800.65 c 154590 540 52643 5255689 99 111467 82681 48017 144 1069.24 1797.97/1800.65 c 171735 540 69788 6790783 97 144593 90950 65162 132 1294.49 1797.97/1800.65 c 197555 540 22087 1620555 73 48800 100046 17461 115 1707.73 1797.97/1800.65 c Resources Exceeded 1797.97/1800.65 v 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 -x2 -x38 -x74 x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 x147 -x183 -x219 -x255 -x291 -x327 x4 -x40 -x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 x329 -x6 -x42 -x78 -x114 -x150 x186 -x222 -x258 -x294 -x330 -x7 x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 -x264 -x300 x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 -x230 x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 x340 -x17 -x53 -x89 x125 -x161 -x197 -x233 -x269 -x305 -x341 x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 x93 -x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 x275 -x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 -x25 -x61 x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 x283 -x319 -x355 -x32 -x68 x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 x249 -x285 -x321 -x357 -x34 x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 x323 -x359 -x8 -x44 x80 x116 x152 -x188 x224 x260 -x296 -x332 -x15 x51 x87 -x123 x159 x195 x231 -x267 -x303 -x339 x22 x58 -x94 -x130 -x166 x202 -x238 -x274 x310 x346 x29 -x65 -x101 x137 -x173 -x209 -x245 x281 x317 x353 x36 -x72 -x108 x144 x180 x216 -x252 -x288 -x324 x360 -x1 x37 x73 -x109 -x145 -x181 x217 x253 x289 -x325 1797.97/1800.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1800.65 c 69 212503 53069 386815 37035 3400248 32409 118 1798.02 1797.97/1800.65 c Objective: 25954 1797.97/1800.65 s SATISFIABLE 1797.97/1800.65 c Total time: 1798.02 s
OK 25954
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878541-1245146835/watcher-1878541-1245146835 -o /tmp/evaluation-result-1878541-1245146835/solver-1878541-1245146835 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878541-1245146835.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: 2.02 2.07 1.88 3/73 29488 /proc/meminfo: memFree=378744/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=18588 CPUtime=0 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 231 0 0 0 0 0 0 0 18 0 1 0 182281484 19034112 215 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 4647 215 171 640 0 3953 0 [startup+0.0107759 s] /proc/loadavg: 2.02 2.07 1.88 3/73 29488 /proc/meminfo: memFree=378744/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=11044 CPUtime=0 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 182281484 11309056 262 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 2761 262 181 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11044 [startup+0.101785 s] /proc/loadavg: 2.02 2.07 1.88 3/73 29488 /proc/meminfo: memFree=378744/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=11800 CPUtime=0.09 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 182281484 12083200 548 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 2950 548 196 640 0 2306 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11800 [startup+0.30281 s] /proc/loadavg: 2.02 2.07 1.88 3/73 29488 /proc/meminfo: memFree=378744/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=12552 CPUtime=0.29 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 830 0 0 0 29 0 0 0 19 0 1 0 182281484 12853248 737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 3138 737 197 640 0 2494 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12552 [startup+0.702852 s] /proc/loadavg: 2.02 2.07 1.88 3/73 29488 /proc/meminfo: memFree=378744/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=13952 CPUtime=0.69 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 1156 0 0 0 68 1 0 0 23 0 1 0 182281484 14286848 1063 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 3488 1063 197 640 0 2844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13952 [startup+1.50194 s] /proc/loadavg: 2.02 2.07 1.88 2/74 29489 /proc/meminfo: memFree=374512/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=15636 CPUtime=1.49 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 1601 0 0 0 148 1 0 0 25 0 1 0 182281484 16011264 1508 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 3909 1508 197 640 0 3265 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15636 [startup+3.10212 s] /proc/loadavg: 2.02 2.07 1.88 2/74 29489 /proc/meminfo: memFree=372208/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=17916 CPUtime=3.09 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 2169 0 0 0 307 2 0 0 25 0 1 0 182281484 18345984 2076 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 4479 2076 197 640 0 3835 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17916 [startup+6.30154 s] /proc/loadavg: 2.09 2.08 1.89 2/74 29489 /proc/meminfo: memFree=368048/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=21580 CPUtime=6.29 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 3072 0 0 0 626 3 0 0 25 0 1 0 182281484 22097920 2979 1992294400 134512640 137136520 4294956256 18446744073709551615 136518985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 5395 2979 197 640 0 4751 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21580 [startup+12.7011 s] /proc/loadavg: 2.01 2.07 1.88 2/74 29489 /proc/meminfo: memFree=362440/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=26800 CPUtime=12.68 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 4391 0 0 0 1263 5 0 0 25 0 1 0 182281484 27443200 4298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 6700 4298 197 640 0 6056 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26800 [startup+25.5015 s] /proc/loadavg: 2.00 2.06 1.88 2/74 29489 /proc/meminfo: memFree=354696/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=34360 CPUtime=25.48 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 6273 0 0 0 2540 8 0 0 25 0 1 0 182281484 35184640 6180 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 8590 6180 197 640 0 7946 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34360 [startup+51.1012 s] /proc/loadavg: 1.93 2.04 1.88 4/74 29489 /proc/meminfo: memFree=344840/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=44268 CPUtime=51.07 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 8740 0 0 0 5094 13 0 0 25 0 1 0 182281484 45330432 8647 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 11067 8647 197 640 0 10423 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44268 [startup+102.307 s] /proc/loadavg: 1.89 2.01 1.88 4/74 29489 /proc/meminfo: memFree=330056/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=58816 CPUtime=102.26 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 12372 0 0 0 10206 20 0 0 25 0 1 0 182281484 60227584 12279 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 14704 12279 197 640 0 14060 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58816 [startup+162.302 s] /proc/loadavg: 1.74 1.95 1.86 3/74 29489 /proc/meminfo: memFree=315464/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=73376 CPUtime=162.23 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 16020 0 0 0 16197 26 0 0 25 0 1 0 182281484 75137024 15927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 18344 15927 197 640 0 17700 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 73376 [startup+222.302 s] /proc/loadavg: 1.83 1.94 1.86 4/74 29489 /proc/meminfo: memFree=313928/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=74640 CPUtime=222.22 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 16366 0 0 0 22190 32 0 0 25 0 1 0 182281484 76431360 16229 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 18660 16229 197 640 0 18016 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 74640 [startup+282.303 s] /proc/loadavg: 2.20 2.02 1.90 3/74 29489 /proc/meminfo: memFree=313928/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=74640 CPUtime=282.2 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 16366 0 0 0 28185 35 0 0 25 0 1 0 182281484 76431360 16229 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 18660 16229 197 640 0 18016 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 74640 [startup+342.303 s] /proc/loadavg: 1.86 1.95 1.88 4/74 29489 /proc/meminfo: memFree=306440/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=82312 CPUtime=342.18 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 18289 0 0 0 34179 39 0 0 25 0 1 0 182281484 84287488 18152 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 20578 18152 197 640 0 19934 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 82312 [startup+402.302 s] /proc/loadavg: 2.03 1.97 1.89 2/74 29489 /proc/meminfo: memFree=299080/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=89592 CPUtime=401.99 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 20131 0 0 0 40154 45 0 0 25 0 1 0 182281484 91742208 19994 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 22398 19994 197 640 0 21754 0 Current children cumulated CPU time (s) 401.99 Current children cumulated vsize (KiB) 89592 [startup+462.302 s] /proc/loadavg: 1.85 1.92 1.88 2/74 29489 /proc/meminfo: memFree=292296/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=96476 CPUtime=461.6 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 21827 0 0 0 46108 52 0 0 25 0 1 0 182281484 98791424 21690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 24119 21690 197 640 0 23475 0 Current children cumulated CPU time (s) 461.6 Current children cumulated vsize (KiB) 96476 [startup+522.301 s] /proc/loadavg: 2.04 1.97 1.89 4/74 29489 /proc/meminfo: memFree=285128/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=103620 CPUtime=521.58 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 23626 0 0 0 52102 56 0 0 25 0 1 0 182281484 106106880 23489 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 25905 23489 197 640 0 25261 0 Current children cumulated CPU time (s) 521.58 Current children cumulated vsize (KiB) 103620 [startup+582.305 s] /proc/loadavg: 1.98 1.96 1.89 3/74 29489 /proc/meminfo: memFree=275144/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=113544 CPUtime=581.45 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 26110 0 0 0 58084 61 0 0 25 0 1 0 182281484 116269056 25973 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 28386 25973 197 640 0 27742 0 Current children cumulated CPU time (s) 581.45 Current children cumulated vsize (KiB) 113544 [startup+642.305 s] /proc/loadavg: 1.93 1.94 1.89 3/74 29489 /proc/meminfo: memFree=264840/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=123728 CPUtime=641.44 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 28648 0 0 0 64076 68 0 0 25 0 1 0 182281484 126697472 28511 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 30932 28511 197 640 0 30288 0 Current children cumulated CPU time (s) 641.44 Current children cumulated vsize (KiB) 123728 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=232200/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1120.45 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 111943 102 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1120.45 Current children cumulated vsize (KiB) 156012 [startup+1182.3 s] /proc/loadavg: 1.68 1.90 1.90 3/74 29489 /proc/meminfo: memFree=232264/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1180.35 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 117930 105 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 136295682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1180.35 Current children cumulated vsize (KiB) 156012 [startup+1242.3 s] /proc/loadavg: 1.95 1.92 1.91 3/74 29489 /proc/meminfo: memFree=232200/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1240.32 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 123925 107 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1240.32 Current children cumulated vsize (KiB) 156012 [startup+1302.3 s] /proc/loadavg: 2.02 1.95 1.91 3/74 29489 /proc/meminfo: memFree=232200/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1300.3 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 129923 107 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1300.3 Current children cumulated vsize (KiB) 156012 [startup+1362.31 s] /proc/loadavg: 2.08 1.97 1.92 4/74 29489 /proc/meminfo: memFree=232200/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1360.29 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 135920 109 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1360.29 Current children cumulated vsize (KiB) 156012 [startup+1422.31 s] /proc/loadavg: 2.04 1.97 1.92 4/74 29489 /proc/meminfo: memFree=232136/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1420.13 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 141902 111 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1420.13 Current children cumulated vsize (KiB) 156012 [startup+1482.3 s] /proc/loadavg: 1.94 1.95 1.91 3/74 29489 /proc/meminfo: memFree=232200/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1480.1 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 147898 112 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1480.1 Current children cumulated vsize (KiB) 156012 [startup+1542.3 s] /proc/loadavg: 2.09 1.98 1.92 4/74 29489 /proc/meminfo: memFree=232136/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1540.08 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 153894 114 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1540.08 Current children cumulated vsize (KiB) 156012 [startup+1602.3 s] /proc/loadavg: 2.02 1.97 1.92 3/74 29489 /proc/meminfo: memFree=232072/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1600.06 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 159890 116 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1600.06 Current children cumulated vsize (KiB) 156012 [startup+1662.3 s] /proc/loadavg: 1.90 1.94 1.91 3/74 29489 /proc/meminfo: memFree=232072/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156012 CPUtime=1660.04 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36807 0 0 0 165887 117 0 0 25 0 1 0 182281484 159756288 36580 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39003 36580 197 640 0 38359 0 Current children cumulated CPU time (s) 1660.04 Current children cumulated vsize (KiB) 156012 [startup+1722.3 s] /proc/loadavg: 1.92 1.96 1.91 3/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1719.73 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 171853 120 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1719.73 Current children cumulated vsize (KiB) 156408 [startup+1782.3 s] /proc/loadavg: 1.83 1.92 1.90 4/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1779.67 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 177844 123 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1779.67 Current children cumulated vsize (KiB) 156408 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.93 1.94 1.91 3/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1789.28 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 178804 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 136500595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1789.28 Current children cumulated vsize (KiB) 156408 [startup+1795.1 s] /proc/loadavg: 2.01 1.96 1.91 3/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1792.48 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179124 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (KiB) 156408 [startup+1798.3 s] /proc/loadavg: 2.01 1.96 1.91 4/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1795.67 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179443 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (KiB) 156408 [startup+1799.9 s] /proc/loadavg: 1.93 1.94 1.91 2/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1797.26 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179602 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (KiB) 156408 [startup+1800.3 s] /proc/loadavg: 1.93 1.94 1.91 2/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1797.66 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179642 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 156408 [startup+1800.5 s] /proc/loadavg: 1.93 1.94 1.91 2/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1797.86 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179662 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 156408 [startup+1800.6 s] /proc/loadavg: 1.93 1.94 1.91 4/74 29489 /proc/meminfo: memFree=231752/2055920 swapFree=4179968/4192956 [pid=29488] ppid=29486 vsize=156408 CPUtime=1797.97 /proc/29488/stat : 29488 (bsolo) R 29486 29488 29383 0 -1 4194304 36896 0 0 0 179673 124 0 0 25 0 1 0 182281484 160161792 36669 1992294400 134512640 137136520 4294956256 18446744073709551615 136501987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29488/statm: 39102 36669 197 640 0 38458 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 156408 Child status: 0 Real time (s): 1800.67 CPU time (s): 1798.04 CPU user time (s): 1796.77 CPU system time (s): 1.26981 CPU usage (%): 99.8539 Max. virtual memory (cumulated for all children) (KiB): 156408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.77 system time used= 1.26981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36898 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= 3 involuntary context switches= 9028 runsolver used 2.48762 second user time and 6.11607 second system time The end
Begin job on node82 at 2009-06-16 12:07:15 IDJOB=1878541 IDBENCH=2010 IDSOLVER=700 FILE ID=node82/1878541-1245146835 PBS_JOBID= 9363774 Free space on /tmp= 66404 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878541-1245146835/watcher-1878541-1245146835 -o /tmp/evaluation-result-1878541-1245146835/solver-1878541-1245146835 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878541-1245146835.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED=1091200958 node82.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.232 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.232 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: 379304 kB Buffers: 37720 kB Cached: 1536704 kB SwapCached: 6644 kB Active: 837720 kB Inactive: 766792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 379304 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 4232 kB Writeback: 0 kB Mapped: 37416 kB Slab: 57164 kB Committed_AS: 599264 kB PageTables: 2068 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-1878541-1245146835.opb Free space on /tmp at the end= 66400 MiB End job on node82 at 2009-06-16 12:37:16