Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -30 | 1798.04 | 1798.51 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1789.68 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657397-1276516255.opb 0.00/0.00 c File size is 662246 bytes. 0.09/0.10 c Highest Coefficient sum: 595 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.104 s 0.09/0.11 c Var: 595 Constr: 27847 27847/0/0 Lit: 55694 Watch. Lit: 55694 0.09/0.11 c Obj. Vars: 595 (100 % of total variables) 0.39/0.44 c Pre-processing Time: 0.44 s 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 595 27847 55694 2 55694 9282 0 0 0.44 0.39/0.44 c Switching off lower bounding mode. 0.39/0.44 o -24 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 595 27848 56289 2 55720 10282 1 0 0.45 0.39/0.49 c 100 595 27948 113105 4 55920 11311 101 207 0.48 0.39/0.49 o -25 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 139 595 27988 135844 4 56025 10282 141 278 0.50 0.49/0.50 o -26 57.19/57.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.19/57.25 c 141 595 27991 137574 4 56057 10282 144 280 0.50 57.19/57.25 c 242 595 28092 194696 6 56259 11311 245 442 0.55 57.19/57.25 c 492 595 28342 335988 11 56759 12443 495 750 0.66 57.19/57.25 c 967 595 28817 604511 20 57709 13688 970 1073 0.90 57.19/57.25 c 1781 595 29631 1064277 35 59337 15057 1784 1358 1.31 57.19/57.25 c 3101 595 30951 1810613 58 61977 16563 3104 1484 2.09 57.19/57.25 c 5182 595 33032 2986483 90 66139 18220 5185 1388 3.73 57.19/57.25 c 8405 595 36255 4805054 132 72585 20043 8408 1255 6.69 57.19/57.25 c 13341 595 41191 7589913 184 82457 22048 13344 907 14.70 57.19/57.25 c 20847 595 48697 11826630 242 97469 24253 20850 742 28.09 57.19/57.25 c 32208 595 46123 10370075 224 92272 26679 18276 611 52.70 57.19/57.25 o -27 61.38/61.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.38/61.47 c 34996 595 48912 11944682 244 97877 10282 21065 611 57.24 61.38/61.47 c 35096 595 33089 3013372 91 66205 11311 5242 604 58.08 61.38/61.47 c 35347 595 33340 3155028 94 66707 12443 5493 606 58.24 61.38/61.47 c 35822 595 33815 3422832 101 67657 13688 5968 612 58.51 61.38/61.47 c 36636 595 34629 3881812 112 69285 15057 6782 619 59.16 61.38/61.47 c 37956 595 35949 4625394 128 71925 16563 8102 630 60.18 61.38/61.47 o -28 351.10/351.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 351.10/351.26 c 39373 595 37367 5425030 145 74789 10282 9520 640 61.45 351.10/351.26 c 39473 595 37467 5481320 146 74989 11311 9620 641 61.52 351.10/351.26 c 39724 595 37718 5622705 149 75491 12443 9871 643 61.69 351.10/351.26 c 40200 595 38194 5890670 154 76443 13688 10347 648 62.00 351.10/351.26 c 41013 595 39007 6348647 162 78069 15057 11160 655 62.52 351.10/351.26 c 42334 595 40328 7092616 175 80711 16563 12481 665 63.59 351.10/351.26 c 44415 595 42409 8263550 194 84873 18220 14562 680 65.29 351.10/351.26 c 47639 595 45633 10076143 220 91321 20043 17786 684 69.59 351.10/351.26 c 52575 595 39976 6878022 172 79980 22048 12129 679 77.33 351.10/351.26 c 60081 595 47482 11104773 233 94992 24253 19635 676 88.82 351.10/351.26 c 71442 595 44954 9687949 215 89936 26679 17107 645 110.72 351.10/351.26 c 88586 595 45819 10173956 222 91666 29347 17972 501 176.79 351.10/351.26 c 114405 595 52795 14101287 267 105618 32282 24948 449 254.30 351.10/351.26 o -29 649.01/649.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 649.01/649.27 c 147263 595 42416 8241719 194 84889 10282 14569 419 351.17 649.01/649.27 c 147364 595 33090 3001686 90 66209 11311 5243 418 351.87 649.01/649.27 c 147614 595 33340 3142172 94 66709 12443 5493 419 352.10 649.01/649.27 c 148089 595 33815 3409373 100 67659 13688 5968 420 352.45 649.01/649.27 c 148902 595 34628 3865866 111 69285 15057 6781 421 352.91 649.01/649.27 c 150223 595 35949 4607839 128 71927 16563 8102 424 353.91 649.01/649.27 c 152305 595 38031 5778102 151 76091 18220 10184 427 356.03 649.01/649.27 c 155528 595 41254 7586891 183 82537 20043 13407 432 359.32 649.01/649.27 c 160464 595 46190 10357610 224 92409 22048 18343 438 365.62 649.01/649.27 c 167970 595 41853 7920769 189 83735 24253 14006 444 377.83 649.01/649.27 c 179333 595 39256 6460882 164 78541 26679 11409 452 396.73 649.01/649.27 c 196479 595 40175 6981335 173 80379 29347 12328 446 440.37 649.01/649.27 c 222298 595 47209 10924442 231 94447 32282 19362 442 502.60 649.01/649.27 c 261131 595 42711 8399909 196 85451 35511 14864 410 636.86 649.01/649.27 o -30 1797.93/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.47 c 267567 595 49148 12015814 244 98355 10282 21301 412 649.10 1797.93/1798.47 c 267667 595 33089 2999765 90 66208 11311 5242 411 649.88 1797.93/1798.47 c 267919 595 33341 3141177 94 66712 12443 5494 412 650.11 1797.93/1798.47 c 268395 595 33817 3408224 100 67664 13688 5970 412 650.42 1797.93/1798.47 c 269208 595 34630 3863276 111 69290 15057 6783 413 650.90 1797.93/1798.47 c 270528 595 35950 4602937 128 71930 16563 8103 415 651.74 1797.93/1798.47 c 272610 595 38032 5769442 151 76094 18220 10185 416 653.76 1797.93/1798.47 c 275834 595 41256 7578858 183 82542 20043 13409 418 658.44 1797.93/1798.47 c 280771 595 46193 10348382 224 92416 22048 18346 421 665.36 1797.93/1798.47 c 288277 595 41892 7933527 189 83814 24253 14045 426 675.50 1797.93/1798.47 c 299640 595 39297 6475849 164 78624 26679 11450 431 694.56 1797.93/1798.47 c 316785 595 40188 6975571 173 80406 29347 12341 427 740.93 1797.93/1798.47 c 342604 595 47204 10903946 230 94438 32282 19357 434 788.67 1797.93/1798.47 c 381437 595 42747 8406937 196 85524 35511 14900 408 933.02 1797.93/1798.47 c 439789 595 51517 13326990 258 103064 39063 23670 387 1134.55 1797.93/1798.47 c 527423 595 54529 15000700 275 109088 42970 26682 377 1395.57 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 63 606246 39661 654148 69292 23289576 41445 337 1798.01 1797.93/1798.47 c Objective: -30 1797.93/1798.47 s SATISFIABLE 1797.93/1798.47 c Total time: 1798.01 s
OK -30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657397-1276516255/watcher-2657397-1276516255 -o /tmp/evaluation-result-2657397-1276516255/solver-2657397-1276516255 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657397-1276516255.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: 0.92 0.98 0.99 3/106 28779 /proc/meminfo: memFree=1706004/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=11576 CPUtime=0 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 348 0 0 0 0 0 0 0 18 0 1 0 27229412 11853824 266 1992294400 134512640 137138936 4293424688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 2894 266 176 642 0 2088 0 [startup+0.071704 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28779 /proc/meminfo: memFree=1706004/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=13228 CPUtime=0.06 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 865 0 0 0 6 0 0 0 21 0 1 0 27229412 13545472 783 1992294400 134512640 137138936 4293424688 18446744073709551615 136520977 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 3307 785 275 642 0 2501 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13228 [startup+0.100706 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28779 /proc/meminfo: memFree=1706004/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=13916 CPUtime=0.09 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 1089 0 0 0 9 0 0 0 21 0 1 0 27229412 14249984 1007 1992294400 134512640 137138936 4293424688 18446744073709551615 134602662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 3479 1007 318 642 0 2673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13916 [startup+0.300726 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28779 /proc/meminfo: memFree=1706004/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=15668 CPUtime=0.29 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 1719 0 0 0 27 2 0 0 21 0 1 0 27229412 16044032 1475 1992294400 134512640 137138936 4293424688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 3917 1475 185 642 0 3273 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15668 [startup+0.700764 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28779 /proc/meminfo: memFree=1706004/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=19144 CPUtime=0.69 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 2767 0 0 0 65 4 0 0 22 0 1 0 27229412 19603456 2336 1992294400 134512640 137138936 4293424688 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 4786 2336 191 642 0 4142 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19144 [startup+1.50084 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1692852/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=30700 CPUtime=1.49 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 5671 0 0 0 144 5 0 0 25 0 1 0 27229412 31436800 5240 1992294400 134512640 137138936 4293424688 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 7675 5240 191 642 0 7031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30700 [startup+3.10099 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1678592/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=48144 CPUtime=3.09 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 10039 0 0 0 302 7 0 0 25 0 1 0 27229412 49299456 9608 1992294400 134512640 137138936 4293424688 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 12036 9608 191 642 0 11392 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48144 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1648336/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=73888 CPUtime=6.29 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 16474 0 0 0 617 12 0 0 25 0 1 0 27229412 75661312 16043 1992294400 134512640 137138936 4293424688 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 18472 16043 191 642 0 17828 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73888 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1611012/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=107008 CPUtime=12.69 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 24736 0 0 0 1251 18 0 0 25 0 1 0 27229412 109576192 24305 1992294400 134512640 137138936 4293424688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 26752 24305 191 642 0 26108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 107008 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1560296/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=156736 CPUtime=25.48 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 37172 0 0 0 2521 27 0 0 25 0 1 0 27229412 160497664 36741 1992294400 134512640 137138936 4293424688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 39184 36741 191 642 0 38540 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 156736 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/107 28780 /proc/meminfo: memFree=1519748/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=195800 CPUtime=51.08 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 46949 0 0 0 5071 37 0 0 25 0 1 0 27229412 200499200 46518 1992294400 134512640 137138936 4293424688 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 48950 46518 191 642 0 48306 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 195800 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 28782 /proc/meminfo: memFree=1519624/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=195736 CPUtime=102.28 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 46949 0 0 0 10181 47 0 0 25 0 1 0 27229412 200433664 46509 1992294400 134512640 137138936 4293424688 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 48934 46509 191 642 0 48290 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 195736 [startup+162.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 28784 /proc/meminfo: memFree=1502512/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=212828 CPUtime=162.26 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 51217 0 0 0 16169 57 0 0 25 0 1 0 27229412 217935872 50777 1992294400 134512640 137138936 4293424688 18446744073709551615 134618524 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 53207 50777 191 642 0 52563 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 212828 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 28786 /proc/meminfo: memFree=1483044/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=232224 CPUtime=222.24 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 56068 0 0 0 22157 67 0 0 25 0 1 0 27229412 237797376 55628 1992294400 134512640 137138936 4293424688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 58056 55628 191 642 0 57412 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 232224 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28786 /proc/meminfo: memFree=1461840/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253340 CPUtime=282.22 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 28145 77 0 0 25 0 1 0 27229412 259420160 60898 1992294400 134512640 137138936 4293424688 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63335 60898 191 642 0 62691 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 253340 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28788 /proc/meminfo: memFree=1461716/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253340 CPUtime=342.21 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 34135 86 0 0 25 0 1 0 27229412 259420160 60898 1992294400 134512640 137138936 4293424688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63335 60898 191 642 0 62691 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 253340 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28790 /proc/meminfo: memFree=1461716/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253340 CPUtime=402.19 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 40123 96 0 0 25 0 1 0 27229412 259420160 60898 1992294400 134512640 137138936 4293424688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63335 60898 191 642 0 62691 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 253340 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28792 /proc/meminfo: memFree=1461592/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253340 CPUtime=462.17 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 46112 105 0 0 25 0 1 0 27229412 259420160 60898 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63335 60898 191 642 0 62691 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 253340 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28794 /proc/meminfo: memFree=1461592/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253200 CPUtime=522.16 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 52101 115 0 0 25 0 1 0 27229412 259276800 60875 1992294400 134512640 137138936 4293424688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63300 60875 191 642 0 62656 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 253200 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28794 /proc/meminfo: memFree=1461468/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253200 CPUtime=582.14 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 58093 121 0 0 25 0 1 0 27229412 259276800 60875 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63300 60875 191 642 0 62656 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 253200 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28805 /proc/meminfo: memFree=1460972/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=253200 CPUtime=642.12 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 61371 0 0 0 64085 127 0 0 25 0 1 0 27229412 259276800 60875 1992294400 134512640 137138936 4293424688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 63300 60875 191 642 0 62656 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 253200 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1439024/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=275804 CPUtime=1062 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 67184 0 0 0 106018 182 0 0 25 0 1 0 27229412 282423296 66507 1992294400 134512640 137138936 4293424688 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 68951 66507 191 642 0 68307 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 275804 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28819 /proc/meminfo: memFree=1438776/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=276092 CPUtime=1121.99 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 67243 0 0 0 112011 188 0 0 25 0 1 0 27229412 282718208 66566 1992294400 134512640 137138936 4293424688 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 69023 66566 191 642 0 68379 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 276092 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28819 /proc/meminfo: memFree=1413232/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=301424 CPUtime=1181.98 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 73627 0 0 0 117996 202 0 0 25 0 1 0 27229412 308658176 72911 1992294400 134512640 137138936 4293424688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 75356 72911 191 642 0 74712 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 301424 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28821 /proc/meminfo: memFree=1412984/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=301424 CPUtime=1241.96 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 73627 0 0 0 123985 211 0 0 25 0 1 0 27229412 308658176 72911 1992294400 134512640 137138936 4293424688 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 75356 72911 191 642 0 74712 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 301424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28823 /proc/meminfo: memFree=1412984/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=301424 CPUtime=1301.95 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 73627 0 0 0 129977 218 0 0 25 0 1 0 27229412 308658176 72911 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 75356 72911 191 642 0 74712 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 301424 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/108 28828 /proc/meminfo: memFree=1398344/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=301424 CPUtime=1361.93 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 73639 0 0 0 135968 225 0 0 25 0 1 0 27229412 308658176 72923 1992294400 134512640 137138936 4293424688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 75356 72923 191 642 0 74712 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 301424 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28830 /proc/meminfo: memFree=1412364/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=301424 CPUtime=1421.93 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 73639 0 0 0 141958 235 0 0 25 0 1 0 27229412 308658176 72923 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 75356 72923 191 642 0 74712 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 301424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28830 /proc/meminfo: memFree=1384464/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329528 CPUtime=1481.9 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80703 0 0 0 147945 245 0 0 25 0 1 0 27229412 337436672 79944 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82382 79944 191 642 0 81738 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 329528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28832 /proc/meminfo: memFree=1384464/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329528 CPUtime=1541.89 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80703 0 0 0 153939 250 0 0 25 0 1 0 27229412 337436672 79944 1992294400 134512640 137138936 4293424688 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82382 79944 191 642 0 81738 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 329528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28834 /proc/meminfo: memFree=1384464/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329528 CPUtime=1601.87 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80703 0 0 0 159933 254 0 0 25 0 1 0 27229412 337436672 79944 1992294400 134512640 137138936 4293424688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82382 79944 191 642 0 81738 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 329528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28836 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1661.86 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 165927 259 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 329904 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28838 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1721.84 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 171922 262 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 329904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28838 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1781.82 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 177916 266 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 329904 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1791.43 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 178876 267 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 329904 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1794.63 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 179196 267 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 329904 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1796.22 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 179355 267 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 329904 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1797.02 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 179435 267 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 329904 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=329904 CPUtime=1797.83 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202496 80778 0 0 0 179515 268 0 0 25 0 1 0 27229412 337821696 80019 1992294400 134512640 137138936 4293424688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28779/statm: 82476 80019 191 642 0 81832 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 329904 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28840 /proc/meminfo: memFree=1384340/2059040 swapFree=4140388/4192956 [pid=28779] ppid=28777 vsize=0 CPUtime=1798.03 /proc/28779/stat : 28779 (bsolo_pb10) R 28777 28779 28138 0 -1 4202500 80779 0 0 0 179532 271 0 0 25 0 1 0 27229412 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/28779/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.04 CPU user time (s): 1795.33 CPU system time (s): 2.71459 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 329904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.33 system time used= 2.71459 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80779 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 5301 runsolver used 2.84457 second user time and 8.61369 second system time The end
Begin job on node004 at 2010-06-14 13:50:55 IDJOB=2657397 IDBENCH=2274 IDSOLVER=1163 FILE ID=node004/2657397-1276516255 PBS_JOBID= 11173419 Free space on /tmp= 62548 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657397-1276516255/watcher-2657397-1276516255 -o /tmp/evaluation-result-2657397-1276516255/solver-2657397-1276516255 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657397-1276516255.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED=2118422741 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1706408 kB Buffers: 122144 kB Cached: 147572 kB SwapCached: 6684 kB Active: 106804 kB Inactive: 176648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706408 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 4644 kB Writeback: 4 kB AnonPages: 11456 kB Mapped: 12952 kB Slab: 47456 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181852 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node004 at 2010-06-14 14:20:54