Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 28 | 1800.23 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.596908 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 776 |
Total number of constraints | 867 |
Number of constraints which are clauses | 701 |
Number of constraints which are cardinality constraints (but not clauses) | 166 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 776 |
Biggest coefficient in the objective function | 474 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 2127 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 474 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2127 |
Number of bits of the biggest sum of numbers | 12 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.01 c ...done 0.00/0.01 c #vars=776 #constraints=869 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.02 c nbDecision=172 #constraints=869 0.00/0.02 c linear search for optimum 0.00/0.02 o 37 0.10/0.11 c nbDecision=217 #constraints=908 0.10/0.11 o 35 0.49/0.51 c restart after 401 decisions 0.49/0.52 c nbDecision=500 #constraints=1063 0.99/1.06 c restart after 801 decisions 1.19/1.20 c nbDecision=996 #constraints=1283 1.19/1.20 o 34 1.19/1.22 c nbDecision=1000 #constraints=1289 2.09/2.14 c nbDecision=1391 #constraints=1566 2.09/2.14 o 33 2.30/2.38 c nbDecision=1500 #constraints=1634 2.59/2.62 c restart after 1601 decisions 3.39/3.42 c nbDecision=2000 #constraints=1870 5.60/5.63 c nbDecision=2500 #constraints=2227 8.29/8.34 c nbDecision=3000 #constraints=2627 9.49/9.51 c restart after 3201 decisions 10.79/10.82 c nbDecision=3500 #constraints=2883 10.79/10.90 c nbDecision=3509 #constraints=2889 10.79/10.90 o 32 14.29/14.35 c nbDecision=4000 #constraints=3255 16.49/16.54 c nbDecision=4299 #constraints=3458 16.49/16.54 o 31 17.78/17.85 c nbDecision=4500 #constraints=3585 21.88/21.98 c nbDecision=5000 #constraints=3935 28.78/28.86 c nbDecision=5500 #constraints=4313 36.08/36.12 c nbDecision=6000 #constraints=4727 42.38/42.49 c restart after 6401 decisions 43.38/43.43 c nbDecision=6500 #constraints=5059 49.48/49.55 c nbDecision=7000 #constraints=5356 56.38/56.49 c nbDecision=7500 #constraints=5692 64.17/64.29 c nbDecision=8000 #constraints=6049 75.48/75.57 c nbDecision=8500 #constraints=6448 90.17/90.20 c nbDecision=9000 #constraints=6864 101.96/102.09 c nbDecision=9500 #constraints=7277 114.26/114.37 c nbDecision=10000 #constraints=7692 128.56/128.62 c nbDecision=10500 #constraints=8104 142.15/142.25 c nbDecision=11000 #constraints=8508 155.76/155.83 c nbDecision=11500 #constraints=8871 168.55/168.61 c nbDecision=12000 #constraints=9215 176.35/176.43 c nbDecision=12312 #constraints=9402 176.35/176.43 o 30 180.84/180.92 c nbDecision=12500 #constraints=9513 188.75/188.87 c restart after 12801 decisions 192.64/192.72 c nbDecision=13000 #constraints=9736 206.14/206.22 c nbDecision=13500 #constraints=10045 219.04/219.17 c nbDecision=14000 #constraints=10369 232.84/232.93 c nbDecision=14500 #constraints=10689 246.53/246.66 c nbDecision=15000 #constraints=10993 261.53/261.65 c nbDecision=15500 #constraints=11305 284.63/284.79 c nbDecision=16000 #constraints=11656 311.71/311.86 c nbDecision=16500 #constraints=12056 336.62/336.71 c nbDecision=17000 #constraints=12448 358.11/358.29 c nbDecision=17500 #constraints=12830 386.79/386.93 c nbDecision=18000 #constraints=13224 412.29/412.45 c nbDecision=18500 #constraints=13608 433.79/433.98 c nbDecision=19000 #constraints=13957 456.48/456.65 c nbDecision=19500 #constraints=14320 490.07/490.22 c nbDecision=20000 #constraints=14713 520.96/521.11 c nbDecision=20500 #constraints=15127 546.67/546.82 c nbDecision=21000 #constraints=15493 570.86/571.05 c nbDecision=21500 #constraints=15848 598.45/598.61 c nbDecision=22000 #constraints=16252 642.53/642.75 c nbDecision=22500 #constraints=16669 676.53/676.75 c nbDecision=23000 #constraints=17079 709.43/709.63 c nbDecision=23500 #constraints=17497 743.81/744.08 c nbDecision=24000 #constraints=17903 778.20/778.46 c nbDecision=24500 #constraints=18307 808.70/808.97 c nbDecision=25000 #constraints=18674 836.39/836.62 c nbDecision=25500 #constraints=19014 842.29/842.60 c restart after 25601 decisions 860.48/860.75 c nbDecision=26000 #constraints=19225 888.48/888.78 c nbDecision=26500 #constraints=19554 913.08/913.33 c nbDecision=27000 #constraints=19858 939.66/939.99 c nbDecision=27500 #constraints=20193 965.56/965.81 c nbDecision=28000 #constraints=20491 993.46/993.78 c nbDecision=28500 #constraints=20811 1021.85/1022.17 c nbDecision=29000 #constraints=21112 1074.33/1074.66 c nbDecision=29500 #constraints=21510 1122.02/1122.36 c nbDecision=30000 #constraints=21889 1156.81/1157.15 c nbDecision=30500 #constraints=22178 1195.10/1195.40 c nbDecision=31000 #constraints=22463 1235.60/1235.92 c nbDecision=31500 #constraints=22770 1272.68/1273.02 c nbDecision=32000 #constraints=23050 1278.78/1279.10 c nbDecision=32107 #constraints=23105 1278.78/1279.10 o 29 1301.18/1301.59 c nbDecision=32500 #constraints=23307 1348.06/1348.44 c nbDecision=33000 #constraints=23610 1396.30/1396.75 c nbDecision=33500 #constraints=23956 1430.86/1431.38 c nbDecision=34000 #constraints=24229 1463.96/1464.48 c nbDecision=34500 #constraints=24486 1511.25/1511.74 c nbDecision=35000 #constraints=24795 1560.03/1560.53 c nbDecision=35500 #constraints=25113 1601.72/1602.24 c nbDecision=36000 #constraints=25419 1644.71/1645.22 c nbDecision=36500 #constraints=25721 1689.20/1689.71 c nbDecision=37000 #constraints=26028 1721.98/1722.56 c nbDecision=37500 #constraints=26282 1734.89/1735.47 c nbDecision=37702 #constraints=26379 1734.89/1735.47 o 28 1753.48/1754.00 c nbDecision=38000 #constraints=26528 1784.77/1785.37 c nbDecision=38500 #constraints=26779 1800.08/1800.60 Received signal 15 1800.08/1800.68 1800.08/1800.68 s SATISFIABLE 1800.08/1800.68 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 1800.08/1800.68 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.08/1800.68 v -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 1800.08/1800.68 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.08/1800.68 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.08/1800.68 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.08/1800.68 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.08/1800.68 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.08/1800.68 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.08/1800.68 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.08/1800.68 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.08/1800.68 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.08/1800.68 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.08/1800.68 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 1800.08/1800.68 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 1800.08/1800.68 v x337 x338 x339 x340 x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 -x355 -x356 -x357 -x358 -x359 1800.08/1800.68 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1800.08/1800.68 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1800.08/1800.68 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1800.08/1800.68 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 1800.08/1800.68 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 x455 x456 x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465 1800.08/1800.68 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.08/1800.68 v -x487 -x488 -x489 x490 x491 x492 x493 x494 -x495 x496 x497 -x498 -x499 -x500 -x501 x502 x503 x504 x505 x506 -x507 x508 x509 1800.08/1800.68 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.08/1800.68 v -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 1800.08/1800.68 v 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 1800.08/1800.68 v 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 1800.08/1800.68 v x605 x606 x607 x608 x609 x610 x611 -x612 -x613 x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 x624 x625 x626 x627 x628 1800.08/1800.68 v 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 1800.08/1800.68 v 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 1800.08/1800.68 v x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 -x703 1800.08/1800.68 v x704 x705 x706 x707 x708 x709 -x710 -x711 x712 x713 -x714 -x715 -x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 x726 1800.08/1800.68 v x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 -x750 x751 1800.08/1800.68 v x752 x753 -x754 x755 x756 x757 x758 x759 x760 -x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 -x776 1800.08/1800.68 1800.08/1800.68 c user time= 1799.48 s 1800.08/1800.68 c system time= 0.681896 s 1800.08/1800.68 c wall clock time=1800.68
OK 28
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-365240-1176989888 -o ROOT/results/node41/solver-365240-1176989888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19729 /proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=1468 CPUtime=0 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 146900688 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 367 165 131 317 0 46 0 [startup+0.104536 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19729 /proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=2520 CPUtime=0.1 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 469 0 0 0 10 0 0 0 18 0 1 0 146900688 2580480 451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559563 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 630 451 170 317 0 309 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2520 [startup+0.202544 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19729 /proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=3160 CPUtime=0.19 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 635 0 0 0 19 0 0 0 18 0 1 0 146900688 3235840 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 790 617 170 317 0 469 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3160 [startup+0.302552 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19729 /proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=3676 CPUtime=0.29 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 779 0 0 0 29 0 0 0 19 0 1 0 146900688 3764224 761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 919 761 170 317 0 598 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3676 [startup+0.702588 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19729 /proc/meminfo: memFree=1690968/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=6440 CPUtime=0.69 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 1467 0 0 0 69 0 0 0 23 0 1 0 146900688 6594560 1449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 1610 1450 170 317 0 1289 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6440 [startup+1.50166 s] /proc/loadavg: 0.92 0.98 0.96 2/78 19730 /proc/meminfo: memFree=1683920/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=11008 CPUtime=1.49 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 2586 0 0 0 149 0 0 0 25 0 1 0 146900688 11272192 2569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 2752 2572 170 317 0 2431 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11008 [startup+3.10179 s] /proc/loadavg: 0.92 0.98 0.96 2/78 19730 /proc/meminfo: memFree=1678160/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=16848 CPUtime=3.09 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 4062 0 0 0 308 1 0 0 25 0 1 0 146900688 17252352 4044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 4212 4044 170 317 0 3891 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16848 [startup+6.30107 s] /proc/loadavg: 0.93 0.98 0.96 2/78 19730 /proc/meminfo: memFree=1667408/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=26352 CPUtime=6.29 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 6417 0 0 0 627 2 0 0 25 0 1 0 146900688 26984448 6399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 6588 6399 170 317 0 6267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26352 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.96 2/78 19730 /proc/meminfo: memFree=1653392/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=40780 CPUtime=12.69 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 9681 0 0 0 1265 4 0 0 25 0 1 0 146900688 41758720 9663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134597113 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 10195 9663 170 317 0 9874 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40780 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.96 2/78 19730 /proc/meminfo: memFree=1636560/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=56284 CPUtime=25.49 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 13728 0 0 0 2543 6 0 0 25 0 1 0 146900688 57634816 13710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 14071 13710 170 317 0 13750 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56284 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1613648/2055920 swapFree=4134376/4192956 [pid=19729] ppid=19727 vsize=81960 CPUtime=51.08 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 19505 0 0 0 5099 9 0 0 25 0 1 0 146900688 83927040 19487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 20490 19487 170 317 0 20169 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81960 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1584784/2055920 swapFree=4134440/4192956 [pid=19729] ppid=19727 vsize=109112 CPUtime=102.27 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 26626 0 0 0 10214 13 0 0 25 0 1 0 146900688 111730688 26565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 27278 26565 170 317 0 26957 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 109112 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1558544/2055920 swapFree=4134440/4192956 [pid=19729] ppid=19727 vsize=134624 CPUtime=162.25 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 33248 0 0 0 16208 17 0 0 25 0 1 0 146900688 137854976 33187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 33656 33187 170 317 0 33335 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 134624 [startup+222.307 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1530704/2055920 swapFree=4134440/4192956 [pid=19729] ppid=19727 vsize=168788 CPUtime=222.25 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 40131 0 0 0 22204 21 0 0 25 0 1 0 146900688 172838912 40070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 42197 40070 170 317 0 41876 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 168788 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1513104/2055920 swapFree=4134504/4192956 [pid=19729] ppid=19727 vsize=185676 CPUtime=282.22 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 44672 0 0 0 28199 23 0 0 25 0 1 0 146900688 190132224 44611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 46419 44611 170 317 0 46098 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 185676 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1498704/2055920 swapFree=4134504/4192956 [pid=19729] ppid=19727 vsize=199752 CPUtime=342.21 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 48223 0 0 0 34195 26 0 0 25 0 1 0 146900688 204546048 48077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 49938 48077 170 317 0 49617 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 199752 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1484944/2055920 swapFree=4134568/4192956 [pid=19729] ppid=19727 vsize=212832 CPUtime=402.2 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 51684 0 0 0 40192 28 0 0 25 0 1 0 146900688 217939968 51538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 53208 51538 170 317 0 52887 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 212832 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1470672/2055920 swapFree=4134568/4192956 [pid=19729] ppid=19727 vsize=226720 CPUtime=462.18 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 55205 0 0 0 46189 29 0 0 25 0 1 0 146900688 232161280 55059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 56680 55059 170 317 0 56359 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 226720 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1459152/2055920 swapFree=4134568/4192956 [pid=19729] ppid=19727 vsize=238376 CPUtime=522.16 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 58100 0 0 0 52185 31 0 0 25 0 1 0 146900688 244097024 57954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 59594 57954 170 317 0 59273 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 238376 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19732 /proc/meminfo: memFree=1445840/2055920 swapFree=4134632/4192956 [pid=19729] ppid=19727 vsize=250640 CPUtime=582.15 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 61394 0 0 0 58182 33 0 0 25 0 1 0 146900688 256655360 61248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 62660 61248 170 317 0 62339 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 250640 [startup+642.302 s] /proc/loadavg: 1.03 1.00 0.96 2/78 19732 /proc/meminfo: memFree=1435920/2055920 swapFree=4134632/4192956 [pid=19729] ppid=19727 vsize=259980 CPUtime=642.13 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 63892 0 0 0 64178 35 0 0 25 0 1 0 146900688 266219520 63746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 64995 63746 170 317 0 64674 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 259980 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1386064/2055920 swapFree=4134760/4192956 [pid=19729] ppid=19727 vsize=328356 CPUtime=882.08 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 80147 0 0 0 88164 44 0 0 25 0 1 0 146900688 336236544 76140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 82089 76140 170 317 0 81768 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 328356 [startup+942.303 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1374992/2055920 swapFree=4134760/4192956 [pid=19729] ppid=19727 vsize=338696 CPUtime=942.06 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 82923 0 0 0 94160 46 0 0 25 0 1 0 146900688 346824704 78916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 84674 78916 170 317 0 84353 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 338696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1363792/2055920 swapFree=4134824/4192956 [pid=19729] ppid=19727 vsize=348812 CPUtime=1002.05 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 85737 0 0 0 100157 48 0 0 25 0 1 0 146900688 357183488 81697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 87203 81697 170 317 0 86882 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 348812 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1355792/2055920 swapFree=4134824/4192956 [pid=19729] ppid=19727 vsize=356024 CPUtime=1062.04 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 87753 0 0 0 106154 50 0 0 25 0 1 0 146900688 364568576 83713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 89006 83713 170 317 0 88685 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 356024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1348048/2055920 swapFree=4134824/4192956 [pid=19729] ppid=19727 vsize=363108 CPUtime=1122.02 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 89669 0 0 0 112151 51 0 0 25 0 1 0 146900688 371822592 85629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 90777 85629 170 317 0 90456 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 363108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1340432/2055920 swapFree=4134888/4192956 [pid=19729] ppid=19727 vsize=370284 CPUtime=1182.01 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 91653 0 0 0 118148 53 0 0 25 0 1 0 146900688 379170816 87547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 92571 87547 170 317 0 92250 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 370284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1333904/2055920 swapFree=4134888/4192956 [pid=19729] ppid=19727 vsize=376660 CPUtime=1241.99 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 93252 0 0 0 124145 54 0 0 25 0 1 0 146900688 385699840 89146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 94165 89146 170 317 0 93844 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 376660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19732 /proc/meminfo: memFree=1326352/2055920 swapFree=4134952/4192956 [pid=19729] ppid=19727 vsize=383712 CPUtime=1301.98 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 95167 0 0 0 130143 55 0 0 25 0 1 0 146900688 392921088 91061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 95928 91061 170 317 0 95607 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 383712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 19732 /proc/meminfo: memFree=1319824/2055920 swapFree=4134952/4192956 [pid=19729] ppid=19727 vsize=389644 CPUtime=1361.96 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 96849 0 0 0 136140 56 0 0 25 0 1 0 146900688 398995456 92677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 97411 92677 170 317 0 97090 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 389644 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.97 2/84 19908 /proc/meminfo: memFree=1311368/2055920 swapFree=4135016/4192956 [pid=19729] ppid=19727 vsize=396228 CPUtime=1421.88 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 98702 0 0 0 142129 59 0 0 25 0 1 0 146900688 405737472 94464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 99057 94464 170 317 0 98736 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 396228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1305104/2055920 swapFree=4135016/4192956 [pid=19729] ppid=19727 vsize=403032 CPUtime=1481.85 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 100597 0 0 0 148125 60 0 0 25 0 1 0 146900688 412704768 96326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 100758 96326 170 317 0 100437 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 403032 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1299088/2055920 swapFree=4135016/4192956 [pid=19729] ppid=19727 vsize=409352 CPUtime=1541.84 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 102351 0 0 0 154122 62 0 0 25 0 1 0 146900688 419176448 97811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 102338 97811 170 317 0 102017 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 409352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1292816/2055920 swapFree=4135080/4192956 [pid=19729] ppid=19727 vsize=415712 CPUtime=1601.82 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 103965 0 0 0 160119 63 0 0 25 0 1 0 146900688 425689088 99392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 103928 99392 170 317 0 103607 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 415712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 19930 /proc/meminfo: memFree=1285840/2055920 swapFree=4135080/4192956 [pid=19729] ppid=19727 vsize=421888 CPUtime=1661.8 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 105690 0 0 0 166116 64 0 0 25 0 1 0 146900688 432013312 101117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 105472 101117 170 317 0 105151 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 421888 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1278928/2055920 swapFree=4135144/4192956 [pid=19729] ppid=19727 vsize=429120 CPUtime=1721.78 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 107520 0 0 0 172113 65 0 0 25 0 1 0 146900688 439418880 102848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 107280 102848 170 317 0 106959 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 429120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1271632/2055920 swapFree=4135144/4192956 [pid=19729] ppid=19727 vsize=435512 CPUtime=1781.77 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 109340 0 0 0 178110 67 0 0 25 0 1 0 146900688 445964288 104668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 108878 104668 170 317 0 108557 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 435512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/78 19930 /proc/meminfo: memFree=1269264/2055920 swapFree=4135144/4192956 [pid=19729] ppid=19727 vsize=438024 CPUtime=1800.08 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194304 109985 0 0 0 179940 68 0 0 25 0 1 0 146900688 448536576 105247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 109506 105247 170 317 0 109185 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 438024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/79 19931 /proc/meminfo: memFree=1399304/2055920 swapFree=4135144/4192956 [pid=19729] ppid=19727 vsize=0 CPUtime=1800.18 /proc/19729/stat : 19729 (oree) R 19727 19729 19629 0 -1 4194308 110001 0 0 0 179948 70 0 0 25 0 1 0 146900688 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19729/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.23 CPU user time (s): 1799.48 CPU system time (s): 0.749886 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 438024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.749886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110001 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= 8 involuntary context switches= 1315 runsolver used 2.01469 second user time and 4.55431 second system time The end
Begin job on node41 on Thu Apr 19 13:38:08 UTC 2007 IDJOB= 365240 IDBENCH= 2219 IDSOLVER= 172 FILE ID= node41/365240-1176989888 PBS_JOBID= 4630436 Free space on /tmp= 66347 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-365240-1176989888 -o ROOT/results/node41/solver-365240-1176989888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365240-1176989888/instance-365240-1176989888.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440 RANDOM SEED= 746984196 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1691440 kB Buffers: 37124 kB Cached: 243796 kB SwapCached: 2640 kB Active: 101360 kB Inactive: 202912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1691440 kB SwapTotal: 4192956 kB SwapFree: 4134376 kB Dirty: 1340 kB Writeback: 0 kB Mapped: 31140 kB Slab: 45540 kB Committed_AS: 2564496 kB PageTables: 2008 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66347 MiB End job on node41 on Thu Apr 19 14:08:11 UTC 2007