Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 39 | 1800.26 | 1800.26 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb |
MD5SUM | 93a95f0846e71f0984a2317cf811edef |
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 | 35 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
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 | 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 | 49 |
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) | 15716 |
Sum of products size (including duplicates) | 31432 |
Number of different products | 15716 |
Sum of products size | 31432 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb 0.00/0.00 c File size is 223289 bytes. 0.04/0.09 c Highest Coefficient sum: 500 0.04/0.09 c Parsing was ok!! 0.04/0.09 c Total parsing time: 0.092 s 0.09/0.12 c Var: 16216 Constr: 31932 16216/0/15716 Lit: 110512 Watch. Lit: 79580 0.09/0.12 c Obj. Vars: 500 (3.08337 % of total variables) 1.29/1.31 c Pre-processing Time: 1.311 s 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 16216 31932 110512 3 79580 99701 0 0 1.31 1.29/1.31 c Switching off LPR mode. 1.29/1.33 o 499 1.33 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 16216 31933 111012 3 79583 100034 1 0 1.34 1.29/1.35 o 498 1.353 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 16216 31934 111512 3 79587 100534 2 0 1.36 1.29/1.38 o 497 1.376 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 16216 31935 112012 3 79592 101201 3 0 1.39 1.39/1.40 o 496 1.399 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 16216 31936 112512 3 79598 102034 4 0 1.41 1.39/1.43 o 495 1.426 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 0 16216 31937 113012 3 79605 103034 5 0 1.43 1.39/1.45 o 494 1.456 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 16216 31938 113512 3 79613 104034 6 0 1.47 1.39/1.48 o 493 1.483 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 0 16216 31939 114012 3 79622 105034 7 0 1.49 1.49/1.51 o 492 1.514 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 0 16216 31940 114512 3 79632 106034 8 0 1.52 1.49/1.54 o 491 1.542 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 0 16216 31941 115012 3 79643 107034 9 0 1.55 1.49/1.57 o 490 1.571 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 0 16216 31942 115512 3 79655 108034 10 0 1.58 1.59/1.60 o 489 1.598 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 0 16216 31943 116012 3 79668 109034 11 0 1.61 1.59/1.63 o 488 1.626 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 0 16216 31944 116512 3 79682 110034 12 0 1.64 1.59/1.65 o 487 1.654 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 0 16216 31945 117012 3 79697 111034 13 0 1.66 1.59/1.68 o 486 1.682 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 0 16216 31946 117512 3 79713 112034 14 0 1.69 1.69/1.71 o 485 1.711 1.69/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.74 c 0 16216 31947 118012 3 79730 113034 15 0 1.72 1.69/1.74 o 484 1.738 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 0 16216 31948 118512 3 79748 114034 16 0 1.75 1.69/1.77 o 483 1.767 1.79/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.80 c 0 16216 31949 119012 3 79767 115034 17 0 1.78 1.79/1.80 o 482 1.797 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 0 16216 31950 119512 3 79787 116034 18 0 1.81 1.79/1.82 o 481 1.826 1.79/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.85 c 0 16216 31951 120012 3 79808 117034 19 0 1.83 1.79/1.85 o 480 1.853 1.79/1.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.88 c 0 16216 31952 120512 3 79830 118034 20 0 1.86 1.79/1.88 o 479 1.88 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 16216 31953 121012 3 79853 119034 21 0 1.89 1.89/1.91 o 478 1.908 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 0 16216 31954 121512 3 79877 120034 22 0 1.92 1.89/1.94 o 477 1.936 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 1 16216 31956 122490 3 79904 120034 24 0 1.95 1.89/1.97 o 40 1.972 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 1 16216 31957 122990 3 80366 120034 25 0 1.98 1.99/2.02 o 39 2.016 1800.09/1800.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.10 c 17 16216 31974 125702 3 80861 120034 42 8 2.03 1800.09/1800.10 c 118 16216 32075 139952 4 81063 132038 143 56 2.10 1800.09/1800.10 c 369 16216 32326 179846 5 81565 145242 394 164 2.24 1800.09/1800.10 c 844 16216 32801 261722 7 82515 159767 869 341 2.47 1800.09/1800.10 c 1657 16216 33614 388913 11 84141 175744 1682 570 2.91 1800.09/1800.10 c 2978 16216 34935 588540 16 86783 193319 3003 833 3.57 1800.09/1800.10 c 5060 16216 37017 850695 22 90947 212651 5085 1109 4.56 1800.09/1800.10 c 8284 16216 40241 1443898 35 97395 233917 8309 1292 6.41 1800.09/1800.10 c 13220 16216 45177 2346436 51 107267 257309 13245 1317 10.03 1800.09/1800.10 c 20728 16216 52685 3345522 63 122283 283040 20753 1336 15.51 1800.09/1800.10 c 32090 16216 64047 5354100 83 145007 311345 32115 930 34.49 1800.09/1800.10 c 49234 16216 81191 8704419 107 179295 342480 49259 819 60.11 1800.09/1800.10 c 75053 16216 107010 12277255 114 230933 376729 75078 724 103.65 1800.09/1800.10 c 113886 16216 145843 18423034 126 308599 414402 113911 557 204.11 1800.09/1800.10 c 172239 16216 204196 27900854 136 425305 455843 172264 350 491.92 1800.09/1800.10 c 259871 16216 291828 41911897 143 600569 501428 259896 274 947.06 1800.09/1800.10 c Caught signal: 15 1800.09/1800.10 v -x1 -x2 -x3 -x4 x5 x6 -x7 -x8 x9 -x10 x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 x31 -x32 1800.09/1800.10 v -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 -x60 1800.09/1800.10 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1800.09/1800.10 v -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 1800.09/1800.10 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1800.09/1800.10 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.09/1800.10 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1800.09/1800.10 v -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.09/1800.10 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1800.09/1800.10 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 1800.09/1800.10 v -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1800.09/1800.10 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.09/1800.10 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.09/1800.10 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.09/1800.10 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.09/1800.10 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.09/1800.10 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.09/1800.10 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.09/1800.10 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.09/1800.10 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 1800.09/1800.10 v -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.09/1800.10 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.09/1800.10 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.09/1800.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.10 c 40 351268 123929 627881 383225 71095428 351293 195 1800.10 1800.09/1800.10 c Objective: 39 1800.09/1800.10 s SATISFIABLE 1800.09/1800.10 c Total time: 1800.1 s
OK 39
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453171-1178120916 -o ROOT/results/node16/solver-453171-1178120916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.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: 1.00 1.00 0.98 3/77 30976 /proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=11956 CPUtime=0 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 260009230 12242944 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160527360 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 2989 334 279 324 0 2004 0 [startup+0.053668 s] /proc/loadavg: 1.00 1.00 0.98 3/77 30976 /proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=6748 CPUtime=0.04 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 1042 0 0 0 4 0 0 0 18 0 1 0 260009230 6909952 1012 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 1687 1012 318 324 0 702 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6748 [startup+0.101658 s] /proc/loadavg: 1.00 1.00 0.98 3/77 30976 /proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=8808 CPUtime=0.09 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 1636 0 0 0 9 0 0 0 18 0 1 0 260009230 9019392 1551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7635096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 2202 1551 299 324 0 1272 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8808 [startup+0.301616 s] /proc/loadavg: 1.00 1.00 0.98 3/77 30976 /proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=12144 CPUtime=0.28 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 2420 0 0 0 28 0 0 0 19 0 1 0 260009230 12435456 2335 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 3036 2335 303 324 0 2106 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12144 [startup+0.702532 s] /proc/loadavg: 1.00 1.00 0.98 3/77 30976 /proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=12144 CPUtime=0.69 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 2420 0 0 0 68 1 0 0 23 0 1 0 260009230 12435456 2335 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 3036 2335 303 324 0 2106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12144 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1810376/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=12564 CPUtime=1.49 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 3064 0 0 0 144 5 0 0 25 0 1 0 260009230 12865536 2452 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7639127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 3141 2452 309 324 0 2211 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12564 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1809544/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=17008 CPUtime=3.09 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 4195 0 0 0 304 5 0 0 25 0 1 0 260009230 17416192 3583 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 4252 3583 310 324 0 3322 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17008 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1796360/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=30060 CPUtime=6.29 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 7436 0 0 0 623 6 0 0 25 0 1 0 260009230 30781440 6824 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 7515 6824 310 324 0 6585 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30060 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1774600/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=49232 CPUtime=12.69 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 12257 0 0 0 1260 9 0 0 25 0 1 0 260009230 50413568 11645 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 12308 11645 310 324 0 11378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49232 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1751112/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=72140 CPUtime=25.49 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 17961 0 0 0 2536 13 0 0 25 0 1 0 260009230 73871360 17349 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 18035 17349 310 324 0 17105 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72140 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1707336/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=116188 CPUtime=51.09 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 28997 0 0 0 5088 21 0 0 25 0 1 0 260009230 118976512 28385 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 29047 28385 310 324 0 28117 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 116188 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1647176/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=175284 CPUtime=102.3 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 43754 0 0 0 10195 35 0 0 25 0 1 0 260009230 179490816 43142 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 43821 43142 310 324 0 42891 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 175284 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1591048/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=231584 CPUtime=162.3 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 57839 0 0 0 16185 45 0 0 25 0 1 0 260009230 237142016 57227 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 57896 57227 310 324 0 56966 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 231584 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1547336/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=274976 CPUtime=222.3 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 68666 0 0 0 22174 56 0 0 25 0 1 0 260009230 281575424 68054 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 68744 68054 310 324 0 67814 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 274976 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1514312/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=307992 CPUtime=282.3 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 76924 0 0 0 28166 64 0 0 25 0 1 0 260009230 315383808 76312 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 76998 76312 310 324 0 76068 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 307992 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1489416/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=332708 CPUtime=342.31 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 83106 0 0 0 34161 70 0 0 25 0 1 0 260009230 340692992 82494 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 83177 82494 310 324 0 82247 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 332708 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1464072/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=358248 CPUtime=402.31 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 89509 0 0 0 40156 75 0 0 25 0 1 0 260009230 366845952 88897 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 89562 88897 310 324 0 88632 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 358248 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1444872/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=377140 CPUtime=462.31 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 94209 0 0 0 46152 79 0 0 25 0 1 0 260009230 386191360 93597 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 94285 93597 310 324 0 93355 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 377140 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1415368/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=407264 CPUtime=522.32 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 101739 0 0 0 52146 86 0 0 25 0 1 0 260009230 417038336 101127 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 101816 101127 310 324 0 100886 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 407264 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1378696/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=443176 CPUtime=582.32 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 110723 0 0 0 58138 94 0 0 25 0 1 0 260009230 453812224 110111 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 110794 110111 310 324 0 109864 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 443176 [startup+642.303 s] /proc/loadavg: 1.00 1.00 0.98 2/78 30977 /proc/meminfo: memFree=1351752/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=469876 CPUtime=642.33 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 117399 0 0 0 64131 102 0 0 25 0 1 0 260009230 481153024 116787 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7638881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 117469 116787 310 324 0 116539 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 469876 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31175 /proc/meminfo: memFree=1270280/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=550716 CPUtime=882.24 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 137632 0 0 0 88102 122 0 0 25 0 1 0 260009230 563933184 137020 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 137679 137020 310 324 0 136749 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 550716 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31175 /proc/meminfo: memFree=1248712/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=572836 CPUtime=942.24 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 143140 0 0 0 94099 125 0 0 25 0 1 0 260009230 586584064 142528 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 143209 142528 310 324 0 142279 0 Current children cumulated CPU time (s) 942.24 Current children cumulated vsize (KiB) 572836 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 31175 /proc/meminfo: memFree=1223432/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=597708 CPUtime=1002.24 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 149349 0 0 0 100093 131 0 0 25 0 1 0 260009230 612052992 148737 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 149427 148737 310 324 0 148497 0 Current children cumulated CPU time (s) 1002.24 Current children cumulated vsize (KiB) 597708 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 0.99 2/78 31175 /proc/meminfo: memFree=1193736/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=627772 CPUtime=1062.25 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 156886 0 0 0 106087 138 0 0 25 0 1 0 260009230 642838528 156274 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 156943 156274 310 324 0 156013 0 Current children cumulated CPU time (s) 1062.25 Current children cumulated vsize (KiB) 627772 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 0.99 2/78 31175 /proc/meminfo: memFree=1161608/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=659400 CPUtime=1122.25 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 164803 0 0 0 112082 143 0 0 25 0 1 0 260009230 675225600 164191 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 164850 164191 310 324 0 163920 0 Current children cumulated CPU time (s) 1122.25 Current children cumulated vsize (KiB) 659400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=1125960/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=694932 CPUtime=1182.26 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 173671 0 0 0 118077 149 0 0 25 0 1 0 260009230 711610368 173059 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 173733 173059 310 324 0 172803 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 694932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=1106696/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=713940 CPUtime=1242.26 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 178408 0 0 0 124073 153 0 0 25 0 1 0 260009230 731074560 177796 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 178485 177796 310 324 0 177555 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 713940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=1081544/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=738724 CPUtime=1302.27 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 184634 0 0 0 130069 158 0 0 25 0 1 0 260009230 756453376 184022 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 184681 184022 310 324 0 183751 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 738724 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=1049032/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=771712 CPUtime=1362.27 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 192852 0 0 0 136064 163 0 0 25 0 1 0 260009230 790233088 192240 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 192928 192240 310 324 0 191998 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 771712 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=1001544/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=818660 CPUtime=1422.27 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 204600 0 0 0 142057 170 0 0 25 0 1 0 260009230 838307840 203988 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 204665 203988 310 324 0 203735 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 818660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=974792/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=845416 CPUtime=1482.27 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 211296 0 0 0 148052 175 0 0 25 0 1 0 260009230 865705984 210684 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 211354 210684 310 324 0 210424 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 845416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=958536/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=861572 CPUtime=1542.28 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 215321 0 0 0 154050 178 0 0 25 0 1 0 260009230 882249728 214709 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 215393 214709 310 324 0 214463 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 861572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=939592/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=880852 CPUtime=1602.28 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 220143 0 0 0 160046 182 0 0 25 0 1 0 260009230 901992448 219531 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 220213 219531 310 324 0 219283 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 880852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=920392/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=899712 CPUtime=1662.28 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 224852 0 0 0 166043 185 0 0 25 0 1 0 260009230 921305088 224240 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 224928 224240 310 324 0 223998 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 899712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=893128/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=927204 CPUtime=1722.28 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 231748 0 0 0 172038 190 0 0 25 0 1 0 260009230 949456896 231136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 231801 231136 310 324 0 230871 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 927204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=871816/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=948136 CPUtime=1782.29 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 236957 0 0 0 178035 194 0 0 25 0 1 0 260009230 970891264 236345 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 237034 236345 310 324 0 236104 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 948136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=863880/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=955776 CPUtime=1800.09 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 238878 0 0 0 179813 196 0 0 25 0 1 0 260009230 978714624 238266 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 238944 238266 310 324 0 238014 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 955776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31175 /proc/meminfo: memFree=863880/2055920 swapFree=4148560/4192956 [pid=30976] ppid=30974 vsize=0 CPUtime=1800.2 /proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194308 238882 0 0 0 179814 206 0 0 25 0 1 0 260009230 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30976/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.26 CPU time (s): 1800.26 CPU user time (s): 1798.14 CPU system time (s): 2.12068 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 955776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.14 system time used= 2.12068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 238882 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= 4569 runsolver used 1.49077 second user time and 4.17736 second system time The end
Begin job on node16 on Wed May 2 15:48:36 UTC 2007 IDJOB= 453171 IDBENCH= 48112 IDSOLVER= 199 FILE ID= node16/453171-1178120916 PBS_JOBID= 4751010 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453171-1178120916 -o ROOT/results/node16/solver-453171-1178120916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef RANDOM SEED= 847495012 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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: 1819240 kB Buffers: 74724 kB Cached: 76592 kB SwapCached: 12496 kB Active: 88820 kB Inactive: 97072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819240 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 37864 kB Slab: 36340 kB Committed_AS: 13927188 kB PageTables: 1860 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 node16 on Wed May 2 16:18:38 UTC 2007