Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | SAT (TO) | 16 | 1800.71 | 1799.36 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb |
MD5SUM | b3e6d54e40b24334877b0ae377edea30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 5.41218 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 464 |
Total number of constraints | 845 |
Number of constraints which are clauses | 845 |
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 | 1 |
Maximum length of a constraint | 149 |
Number of terms in the objective function | 464 |
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 | 464 |
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 | 464 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.59 o 20 1.80 o 19 1.83 o 18 1.97 o 17 581.80 o 16 1799.29 s SATISFIABLE 1799.29 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 1799.29 v -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 1799.29 v -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 1799.29 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1799.29 v -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.29 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 1799.29 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1799.29 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.29 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1799.29 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1799.29 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1799.29 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1799.29 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1799.29 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1799.29 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1799.29 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1799.29 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1799.29 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.29 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1799.29 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.29 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 1799.29 v -x464
OK 16
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-30955-1149535350 -o ROOT/results/node21/solver-30955-1149535350 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node21/30955-1149535350/instance-30955-1149535350.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.00 0.00 2/64 20327 /proc/meminfo: memFree=1715440/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1452 CPUtime=0 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 103 0 0 0 0 0 0 0 19 0 1 0 219199129 1486848 75 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 9338182 0 0 4096 0 0 0 0 17 1 0 0 /proc/20327/statm: 364 84 66 14 0 9 0 [startup+10.0031 s] /proc/loadavg: 0.30 0.07 0.02 2/75 20338 /proc/meminfo: memFree=1660184/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=11.8 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22472 0 1 0 1169 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 17 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3664 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.8 Current children cumulated vsize (Kb) 1730752 [startup+20.0102 s] /proc/loadavg: 0.41 0.10 0.03 2/75 20338 /proc/meminfo: memFree=1660184/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=21.81 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22473 0 1 0 2170 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.81 Current children cumulated vsize (Kb) 1730752 [startup+30.0173 s] /proc/loadavg: 0.50 0.12 0.04 2/75 20338 /proc/meminfo: memFree=1660184/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=31.81 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22473 0 1 0 3170 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.81 Current children cumulated vsize (Kb) 1730752 [startup+40.0234 s] /proc/loadavg: 0.58 0.15 0.05 2/75 20338 /proc/meminfo: memFree=1660184/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=41.81 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22473 0 1 0 4170 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.81 Current children cumulated vsize (Kb) 1730752 [startup+50.0304 s] /proc/loadavg: 0.64 0.18 0.06 2/75 20338 /proc/meminfo: memFree=1660184/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=51.82 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22473 0 1 0 5171 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.82 Current children cumulated vsize (Kb) 1730752 [startup+60.0375 s] /proc/loadavg: 0.70 0.21 0.07 2/75 20338 /proc/meminfo: memFree=1660248/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=61.82 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22473 0 1 0 6171 11 0 0 25 0 12 0 219199129 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16204 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.31 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7812 0 0 0 128 3 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16204 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [startup+1795.26 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1796.57 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 179646 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 1730752 [startup+1796.27 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1797.58 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 179747 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1730752 [startup+1797.27 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1798.58 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 179847 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 1730752 [startup+1798.28 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1799.59 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 179948 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 1730752 [startup+1799.28 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1800.59 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 180048 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 1730752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.29 s] /proc/loadavg: 1.00 0.99 0.82 2/75 20340 /proc/meminfo: memFree=1659480/2055920 swapFree=4181464/4192956 [pid=20327] ppid=20325 vsize=1730752 CPUtime=1800.6 /proc/20327/stat : 20327 (java) R 20325 20327 20281 0 -1 0 22483 0 1 0 180049 11 0 0 25 0 12 0 219199129 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071545298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20327/statm: 432688 16212 2561 14 0 419080 0 [pid=20327/tid=20328] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20328/stat : 20328 (java) S 20325 20327 20281 0 -1 64 209 0 0 0 0 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20329] ppid=20325 vsize=1730752 CPUtime=0.01 /proc/20327/task/20329/stat : 20329 (java) S 20325 20327 20281 0 -1 64 701 0 0 0 1 0 0 0 17 0 12 0 219199132 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20330] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20330/stat : 20330 (java) S 20325 20327 20281 0 -1 64 26 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20331] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20331/stat : 20331 (java) S 20325 20327 20281 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20332] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20332/stat : 20332 (java) S 20325 20327 20281 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 219199135 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20333] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20333/stat : 20333 (java) S 20325 20327 20281 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20334] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20334/stat : 20334 (java) S 20325 20327 20281 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20335] ppid=20325 vsize=1730752 CPUtime=1.34 /proc/20327/task/20335/stat : 20335 (java) S 20325 20327 20281 0 -1 64 7820 0 0 0 131 3 0 0 17 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20336] ppid=20325 vsize=1730752 CPUtime=0.98 /proc/20327/task/20336/stat : 20336 (java) S 20325 20327 20281 0 -1 64 3665 0 0 0 97 1 0 0 16 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20327/tid=20337] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20337/stat : 20337 (java) S 20325 20327 20281 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20327/tid=20338] ppid=20325 vsize=1730752 CPUtime=0 /proc/20327/task/20338/stat : 20338 (java) S 20325 20327 20281 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 219199139 1772290048 16212 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 1730752 Sending SIGTERM to -20327 Sleeping 2 seconds Child status: 143 Real time (s): 1799.36 CPU time (s): 1800.71 CPU user time (s): 1800.58 CPU system time (s): 0.12998 CPU usage (%): 100.075 Max. virtual memory (cumulated for all children) (Kb): 1730752
Begin job on node21 on Mon Jun 5 19:22:30 UTC 2006 FILE ID= 30955-1149535350 PBS_JOBID= 315876 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb COMMAND LINE= java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node21/30955-1149535350/instance-30955-1149535350.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-30955-1149535350 -o ROOT/results/node21/solver-30955-1149535350 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node21/30955-1149535350/instance-30955-1149535350.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30 RANDOM SEED= 770736269 /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.240 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.240 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: 1715576 kB Buffers: 28180 kB Cached: 243748 kB SwapCached: 3200 kB Active: 52032 kB Inactive: 228588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1715576 kB SwapTotal: 4192956 kB SwapFree: 4181464 kB Dirty: 228 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45816 kB Committed_AS: 398996 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Mon Jun 5 19:52:40 UTC 2006