Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 38 | 1800.2 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb |
MD5SUM | e4d0ce6c299ae1a05f607b170c68aad6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 33 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15670 |
Sum of products size (including duplicates) | 31340 |
Number of different products | 15670 |
Sum of products size | 31340 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453585-1178143380/instance-453585-1178143380.opb 0.00/0.00 c File size is 222673 bytes. 0.05/0.09 c Highest Coefficient sum: 500 0.05/0.09 c Parsing was ok!! 0.05/0.09 c Total parsing time: 0.091 s 0.09/0.11 c Var: 16170 Constr: 31840 16170/0/15670 Lit: 110190 Watch. Lit: 79350 0.09/0.11 c Obj. Vars: 500 (3.09215 % of total variables) 1.19/1.29 c Pre-processing Time: 1.295 s 1.19/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.30 c 0 16170 31840 110190 3 79350 99410 0 0 1.29 1.19/1.30 c Switching off LPR mode. 1.29/1.31 o 499 1.315 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 16170 31841 110690 3 79353 99743 1 0 1.32 1.29/1.34 o 498 1.344 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 0 16170 31842 111190 3 79357 100243 2 0 1.35 1.29/1.37 o 497 1.375 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 16170 31843 111690 3 79362 100910 3 0 1.38 1.39/1.40 o 496 1.405 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 16170 31844 112190 3 79368 101743 4 0 1.41 1.39/1.43 o 495 1.434 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 16170 31845 112690 3 79375 102743 5 0 1.44 1.39/1.46 o 494 1.463 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 0 16170 31846 113190 3 79383 103743 6 0 1.47 1.39/1.49 o 493 1.494 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 0 16170 31847 113690 3 79392 104743 7 0 1.50 1.49/1.52 o 492 1.525 1.49/1.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.55 c 0 16170 31848 114190 3 79402 105743 8 0 1.53 1.49/1.55 o 491 1.554 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 16170 31849 114690 3 79413 106743 9 0 1.56 1.49/1.58 o 490 1.583 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 16170 31850 115190 3 79425 107743 10 0 1.59 1.59/1.61 o 489 1.612 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 0 16170 31851 115690 3 79438 108743 11 0 1.62 1.59/1.64 o 488 1.641 1.59/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.67 c 0 16170 31852 116190 3 79452 109743 12 0 1.65 1.59/1.67 o 487 1.669 1.59/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.70 c 0 16170 31853 116690 3 79467 110743 13 0 1.68 1.59/1.70 o 486 1.696 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 0 16170 31854 117190 3 79483 111743 14 0 1.71 1.69/1.72 o 485 1.725 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 0 16170 31855 117690 3 79500 112743 15 0 1.73 1.69/1.76 o 484 1.756 1.69/1.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.78 c 0 16170 31856 118190 3 79518 113743 16 0 1.76 1.69/1.78 o 483 1.785 1.79/1.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.81 c 0 16170 31857 118690 3 79537 114743 17 0 1.79 1.79/1.81 o 482 1.815 1.79/1.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.84 c 0 16170 31858 119190 3 79557 115743 18 0 1.82 1.79/1.84 o 481 1.843 1.79/1.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.87 c 0 16170 31859 119690 3 79578 116743 19 0 1.85 1.79/1.87 o 480 1.874 1.89/1.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.90 c 0 16170 31860 120190 3 79600 117743 20 0 1.88 1.89/1.90 o 479 1.903 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 0 16170 31861 120690 3 79623 118743 21 0 1.91 1.89/1.93 o 478 1.931 1.89/1.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.96 c 0 16170 31862 121190 3 79647 119743 22 0 1.94 1.89/1.96 o 477 1.96 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 16170 31863 121690 3 79672 120743 23 0 1.97 1.89/1.99 o 476 1.991 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 0 16170 31864 122190 3 79698 121743 24 0 2.00 1.99/2.02 o 475 2.019 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 0 16170 31865 122690 3 79725 122743 25 0 2.03 1.99/2.05 o 474 2.048 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 16170 31866 123190 3 79753 123743 26 0 2.06 1.99/2.08 o 473 2.077 2.10/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.11 c 1 16170 31868 124164 3 79784 123743 28 0 2.09 2.10/2.11 o 39 2.113 2.10/2.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.15 c 1 16170 31869 124664 3 80247 123743 29 0 2.12 2.10/2.15 o 38 2.152 1799.93/1800.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.46 c 9 16170 31878 126344 3 80727 123743 38 4 2.16 1799.93/1800.46 c 110 16170 31979 142974 4 80929 136118 139 49 2.24 1799.93/1800.46 c 362 16170 32231 186078 5 81433 149730 391 152 2.37 1799.93/1800.46 c 838 16170 32707 259858 7 82385 164704 867 324 2.58 1799.93/1800.46 c 1651 16170 33520 357053 10 84011 181175 1680 544 3.03 1799.93/1800.46 c 2972 16170 34841 557491 16 86653 199293 3001 804 3.70 1799.93/1800.46 c 5053 16170 36922 813266 22 90815 219223 5082 1047 4.82 1799.93/1800.46 c 8276 16170 40145 1259547 31 97261 241146 8305 1220 6.78 1799.93/1800.46 c 13212 16170 45081 2136943 47 107133 265261 13241 1276 10.35 1799.93/1800.46 c 20719 16170 52588 3211246 61 122147 291788 20748 1204 17.20 1799.93/1800.46 c 32083 16170 63952 4409918 68 144875 320967 32112 1144 28.04 1799.93/1800.46 c 49227 16170 81096 8017774 98 179163 353064 49256 942 52.26 1799.93/1800.46 c 75046 16170 106915 13427046 125 230801 388371 75075 751 99.92 1799.93/1800.46 c 113879 16170 145748 23308572 159 308467 427209 113908 470 242.12 1799.93/1800.46 c 172232 16170 204101 34657418 169 425173 469930 172261 321 536.20 1799.93/1800.46 c 259865 16170 291734 59651190 204 600439 516924 259894 247 1049.93 1799.93/1800.46 c Resources Exceeded 1799.93/1800.46 v -x1 -x2 -x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 1799.93/1800.46 v -x32 x33 -x34 -x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 1799.93/1800.46 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 1799.93/1800.46 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 1799.93/1800.46 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 1799.93/1800.46 v x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1799.93/1800.46 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1799.93/1800.46 v -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1799.93/1800.46 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 1799.93/1800.46 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1799.93/1800.46 v -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1799.93/1800.46 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1799.93/1800.46 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1799.93/1800.46 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1799.93/1800.46 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1799.93/1800.46 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1799.93/1800.46 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 1799.93/1800.46 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1799.93/1800.46 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1799.93/1800.46 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1799.93/1800.46 v x446 x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1799.93/1800.46 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1799.93/1800.46 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1799.93/1800.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.46 c 44 349539 110617 599965 381408 83964329 349568 194 1800.00 1799.93/1800.46 c Objective: 38 1799.93/1800.46 s SATISFIABLE 1799.93/1800.46 c Total time: 1800 s
OK 38
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453585-1178143380 -o ROOT/results/node7/solver-453585-1178143380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453585-1178143380/instance-453585-1178143380.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): 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.91 0.95 0.91 3/77 16373 /proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=11956 CPUtime=0 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 290375631 12242944 335 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 2989 335 281 324 0 2003 0 [startup+0.0606571 s] /proc/loadavg: 0.91 0.95 0.91 3/77 16373 /proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=7192 CPUtime=0.05 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 1170 0 0 0 5 0 0 0 18 0 1 0 290375631 7364608 1140 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 1798 1141 325 324 0 812 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7192 [startup+0.101661 s] /proc/loadavg: 0.91 0.95 0.91 3/77 16373 /proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=8672 CPUtime=0.09 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 1635 0 0 0 9 0 0 0 18 0 1 0 290375631 8880128 1550 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 2168 1550 301 324 0 1237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8672 [startup+0.301682 s] /proc/loadavg: 0.91 0.95 0.91 3/77 16373 /proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=12120 CPUtime=0.29 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 2416 0 0 0 28 1 0 0 19 0 1 0 290375631 12410880 2331 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 3030 2331 306 324 0 2099 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12120 [startup+0.701724 s] /proc/loadavg: 0.91 0.95 0.91 3/77 16373 /proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=12120 CPUtime=0.69 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 2416 0 0 0 68 1 0 0 23 0 1 0 290375631 12410880 2331 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 3030 2331 306 324 0 2099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12120 [startup+1.50181 s] /proc/loadavg: 0.91 0.95 0.91 2/78 16374 /proc/meminfo: memFree=1648416/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=12544 CPUtime=1.49 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 3060 0 0 0 144 5 0 0 25 0 1 0 290375631 12845056 2449 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134575991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 3136 2449 311 324 0 2205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12544 [startup+3.10198 s] /proc/loadavg: 0.91 0.95 0.91 2/78 16374 /proc/meminfo: memFree=1648736/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=16016 CPUtime=3.09 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 3940 0 0 0 303 6 0 0 25 0 1 0 290375631 16400384 3329 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 4004 3329 312 324 0 3073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16016 [startup+6.30131 s] /proc/loadavg: 0.92 0.95 0.91 2/78 16374 /proc/meminfo: memFree=1637344/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=26916 CPUtime=6.29 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 6677 0 0 0 622 7 0 0 25 0 1 0 290375631 27561984 6066 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 6729 6066 312 324 0 5798 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26916 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.91 2/78 16374 /proc/meminfo: memFree=1616992/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=45948 CPUtime=12.69 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 11412 0 0 0 1258 11 0 0 25 0 1 0 290375631 47050752 10801 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 11487 10801 312 324 0 10556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45948 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.91 2/78 16374 /proc/meminfo: memFree=1593440/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=68200 CPUtime=25.48 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 16988 0 0 0 2531 17 0 0 25 0 1 0 290375631 69836800 16377 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 17050 16377 312 324 0 16119 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68200 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.91 2/78 16374 /proc/meminfo: memFree=1544032/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=117748 CPUtime=51.08 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 29371 0 0 0 5080 28 0 0 25 0 1 0 290375631 120573952 28760 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 29437 28760 312 324 0 28506 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 117748 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 16374 /proc/meminfo: memFree=1467296/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=193864 CPUtime=102.26 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 48412 0 0 0 10181 45 0 0 25 0 1 0 290375631 198516736 47801 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 48466 47801 312 324 0 47535 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 193864 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1408224/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=253528 CPUtime=162.24 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 63323 0 0 0 16161 63 0 0 25 0 1 0 290375631 259612672 62712 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 63382 62712 312 324 0 62451 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 253528 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1355872/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=305332 CPUtime=222.23 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 76260 0 0 0 22148 75 0 0 25 0 1 0 290375631 312659968 75649 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 76333 75649 312 324 0 75402 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 305332 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1317664/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=343556 CPUtime=282.22 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 85829 0 0 0 28134 88 0 0 25 0 1 0 290375631 351801344 85218 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 85889 85218 312 324 0 84958 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 343556 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1281056/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=379756 CPUtime=342.2 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 94893 0 0 0 34124 96 0 0 25 0 1 0 290375631 388870144 94282 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 94939 94282 312 324 0 94008 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 379756 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1250592/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=410532 CPUtime=402.18 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 102563 0 0 0 40113 105 0 0 25 0 1 0 290375631 420384768 101952 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 102633 101952 312 324 0 101702 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 410532 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1219744/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=441028 CPUtime=462.17 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 110190 0 0 0 46100 117 0 0 25 0 1 0 290375631 451612672 109579 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 110257 109579 312 324 0 109326 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 441028 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1195168/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=465844 CPUtime=522.16 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 116385 0 0 0 52090 126 0 0 25 0 1 0 290375631 477024256 115774 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 116461 115774 312 324 0 115530 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 465844 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1132384/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=528632 CPUtime=582.14 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 132098 0 0 0 58075 139 0 0 25 0 1 0 290375631 541319168 131487 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 132158 131487 312 324 0 131227 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 528632 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=1081824/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=578584 CPUtime=642.13 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 144575 0 0 0 64060 153 0 0 25 0 1 0 290375631 592470016 143964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 144646 143964 312 324 0 143715 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 578584 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=931168/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=728940 CPUtime=882.06 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 182181 0 0 0 88021 185 0 0 25 0 1 0 290375631 746434560 181570 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 182235 181570 312 324 0 181304 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 728940 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=909984/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=750616 CPUtime=942.04 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 187589 0 0 0 94011 193 0 0 25 0 1 0 290375631 768630784 186978 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10846277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 187654 186978 312 324 0 186723 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 750616 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=879072/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=780992 CPUtime=1002.04 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 195191 0 0 0 100004 200 0 0 25 0 1 0 290375631 799735808 194580 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 195248 194580 312 324 0 194317 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 780992 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=853472/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=807060 CPUtime=1062.02 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 201696 0 0 0 105992 210 0 0 25 0 1 0 290375631 826429440 201085 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 201765 201085 312 324 0 200834 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 807060 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=821984/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=838124 CPUtime=1122 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 209471 0 0 0 111981 219 0 0 25 0 1 0 290375631 858238976 208860 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 209531 208860 312 324 0 208600 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 838124 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=792416/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=867860 CPUtime=1181.99 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 216913 0 0 0 117970 229 0 0 25 0 1 0 290375631 888688640 216302 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 216965 216302 312 324 0 216034 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 867860 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=770528/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=889484 CPUtime=1241.97 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 222303 0 0 0 123960 237 0 0 25 0 1 0 290375631 910831616 221692 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 222371 221692 312 324 0 221440 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 889484 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=740192/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=919480 CPUtime=1301.96 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 229814 0 0 0 129953 243 0 0 25 0 1 0 290375631 941547520 229203 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 229870 229203 312 324 0 228939 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 919480 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=718432/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=941520 CPUtime=1361.94 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 235308 0 0 0 135945 249 0 0 25 0 1 0 290375631 964116480 234697 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 235380 234697 312 324 0 234449 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 941520 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=695904/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=963732 CPUtime=1421.93 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 240883 0 0 0 141938 255 0 0 25 0 1 0 290375631 986861568 240272 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 240933 240272 312 324 0 240002 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 963732 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=666016/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=993936 CPUtime=1481.91 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 248434 0 0 0 147931 260 0 0 25 0 1 0 290375631 1017790464 247823 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 248484 247823 312 324 0 247553 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 993936 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=639968/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=1019612 CPUtime=1541.9 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 254830 0 0 0 153923 267 0 0 25 0 1 0 290375631 1044082688 254219 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 254903 254219 312 324 0 253972 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1019612 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=614880/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=1044972 CPUtime=1601.88 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 261169 0 0 0 159915 273 0 0 25 0 1 0 290375631 1070051328 260558 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 261243 260558 312 324 0 260312 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1044972 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=592096/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=1067320 CPUtime=1661.87 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 266779 0 0 0 165909 278 0 0 25 0 1 0 290375631 1092935680 266168 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 266830 266168 312 324 0 265899 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1067320 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=566944/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=1092884 CPUtime=1721.85 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 273152 0 0 0 171902 283 0 0 25 0 1 0 290375631 1119113216 272541 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 273221 272541 312 324 0 272290 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1092884 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 16374 /proc/meminfo: memFree=546336/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=1113088 CPUtime=1781.83 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 278201 0 0 0 177894 289 0 0 25 0 1 0 290375631 1139802112 277590 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 278272 277590 312 324 0 277341 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1113088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 0.99 0.91 2/78 16374 /proc/meminfo: memFree=723232/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=0 CPUtime=1800.04 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194308 279632 0 0 0 179709 295 0 0 25 0 1 0 290375631 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.07 0.99 0.91 2/79 16375 /proc/meminfo: memFree=1337048/2055920 swapFree=4157020/4192956 [pid=16373] ppid=16371 vsize=0 CPUtime=1800.14 /proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194308 279632 0 0 0 179709 305 0 0 25 0 1 0 290375631 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.2 CPU user time (s): 1797.09 CPU system time (s): 3.10353 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1118720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.09 system time used= 3.10353 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279632 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= 12 involuntary context switches= 35585 runsolver used 1.42978 second user time and 4.08838 second system time The end
Begin job on node7 on Wed May 2 22:03:00 UTC 2007 IDJOB= 453585 IDBENCH= 48140 IDSOLVER= 163 FILE ID= node7/453585-1178143380 PBS_JOBID= 4751070 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453585-1178143380/instance-453585-1178143380.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453585-1178143380 -o ROOT/results/node7/solver-453585-1178143380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453585-1178143380/instance-453585-1178143380.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED= 602528986 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1658048 kB Buffers: 201016 kB Cached: 85352 kB SwapCached: 15756 kB Active: 198472 kB Inactive: 111744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1658048 kB SwapTotal: 4192956 kB SwapFree: 4157020 kB Dirty: 6932 kB Writeback: 0 kB Mapped: 30076 kB Slab: 73068 kB Committed_AS: 14482888 kB PageTables: 1864 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= 66558 MiB End job on node7 on Wed May 2 22:33:03 UTC 2007