Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | OPT | 3398 | 41.9776 | 39.3503 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb |
MD5SUM | 680b4f0ee3d8470777b24d39af4c8ca0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3398 |
Best CPU time to get the best result obtained on this benchmark | 0.300953 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3398 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 23 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 23 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 438 |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 3698 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 1192753 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3698 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 1192753 |
Number of bits of the biggest sum of numbers | 21 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.08/0.19 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c solving /tmp/evaluation/362135-1177007057/instance-362135-1177007057.opb 0.08/0.19 c reading problem ... 0.66/0.55 c ... done. Wall clock time 0.358s. 0.66/0.55 c CPU time (experimental) 0.48s. 0.66/0.55 c #vars 771 0.66/0.55 c #constraints 46 1.96/1.21 c SATISFIABLE 1.96/1.21 c OPTIMIZING... 1.96/1.21 c Got one! Elapsed wall clock time (in seconds):1.017 1.96/1.22 o 4116 3.51/2.07 c Got one! Elapsed wall clock time (in seconds):1.875 3.51/2.07 o 3437 4.49/2.88 c Got one! Elapsed wall clock time (in seconds):2.687 4.49/2.88 o 3425 6.25/4.21 c Got one! Elapsed wall clock time (in seconds):4.02 6.25/4.21 o 3421 33.39/30.88 c Got one! Elapsed wall clock time (in seconds):30.687 33.39/30.88 o 3398 41.85/39.26 c starts : 6 41.85/39.26 c conflicts : 142 41.85/39.26 c decisions : 11180 41.85/39.26 c propagations : 19278 41.85/39.26 c inspects : 22106 41.85/39.26 c learnt literals : 0 41.85/39.26 c learnt binary clauses : 0 41.85/39.26 c learnt ternary clauses : 0 41.85/39.26 c learnt clauses : 141 41.85/39.26 c root simplifications : 0 41.85/39.26 c removed literals (reason simplification) : 0 41.85/39.26 c reason swapping (by a shorter reason) : 0 41.85/39.26 c Calls to reduceDB : 0 41.85/39.26 c speed (decisions/second) : 1336.0420650095602 41.85/39.26 c non guided choices 0 41.85/39.26 s OPTIMUM FOUND 41.85/39.26 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 41.85/39.26 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 41.85/39.26 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 41.85/39.26 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 41.85/39.26 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 41.85/39.26 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 41.85/39.26 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 41.85/39.26 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 41.85/39.26 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 41.85/39.26 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 41.85/39.26 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 41.85/39.26 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 41.85/39.26 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 41.85/39.26 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 41.85/39.26 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 41.85/39.26 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 41.85/39.26 v -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 41.85/39.26 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 41.85/39.26 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 41.85/39.26 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 41.85/39.26 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 41.85/39.26 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 41.85/39.26 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 41.85/39.26 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 41.85/39.26 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 41.85/39.26 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 41.85/39.26 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 41.85/39.26 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 41.85/39.26 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 41.85/39.26 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 41.85/39.26 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 41.85/39.26 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 41.85/39.26 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 41.85/39.26 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 41.85/39.26 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 41.85/39.26 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 41.85/39.27 c objective function=3398 41.85/39.27 c Total wall clock time (ms): 39.073
OK 3398
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-362135-1177007057 -o ROOT/results/node7/solver-362135-1177007057 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362135-1177007057/sat4jPseudoCP.jar /tmp/evaluation/362135-1177007057/instance-362135-1177007057.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 0.99 0.99 2/77 1979 /proc/meminfo: memFree=1464112/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=152 CPUtime=0 /proc/1979/stat : 1979 (java) R 1977 1979 1470 0 -1 0 205 0 0 0 0 0 0 0 19 0 1 0 176743338 155648 26 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 10416427 0 0 4096 0 0 0 0 17 1 0 0 /proc/1979/statm: 38 26 19 9 0 4 0 [startup+0.0250799 s] /proc/loadavg: 1.00 0.99 0.99 2/77 1979 /proc/meminfo: memFree=1464112/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1774248 CPUtime=0.01 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 2622 0 1 0 0 1 0 0 18 0 4 0 176743338 1816829952 2370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 443562 2372 438 9 0 441576 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1774248 [startup+0.102082 s] /proc/loadavg: 1.00 0.99 0.99 2/77 1979 /proc/meminfo: memFree=1464112/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1780256 CPUtime=0.08 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 4031 0 1 0 6 2 0 0 18 0 12 0 176743338 1822982144 3772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 445064 3772 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780256 [startup+0.30111 s] /proc/loadavg: 1.00 0.99 0.99 2/77 1979 /proc/meminfo: memFree=1464112/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1782444 CPUtime=0.34 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 5157 0 1 0 31 3 0 0 18 0 12 0 176743338 1825222656 4895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 445611 4895 1264 9 0 443223 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782444 [startup+0.701156 s] /proc/loadavg: 1.00 0.99 0.99 2/77 1979 /proc/meminfo: memFree=1464112/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1786080 CPUtime=1.06 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 8125 0 1 0 102 4 0 0 18 0 13 0 176743338 1828945920 6922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 446520 6922 1309 9 0 444132 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 1786080 [startup+1.50124 s] /proc/loadavg: 1.16 1.02 1.00 2/90 1994 /proc/meminfo: memFree=1433032/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1788984 CPUtime=2.5 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 26516 0 1 0 237 13 0 0 18 0 13 0 176743338 1831919616 23944 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 447246 23945 1313 9 0 444858 0 [pid=1979/tid=1981] ppid=1977 vsize=1788984 CPUtime=1.11 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 21559 0 1 0 100 11 0 0 22 0 13 0 176743339 1831919616 23948 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109681015 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 176743340 1831919616 23952 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 176743340 1831919616 23955 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 176743342 1831919616 23956 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 176743343 1831919616 23958 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176743343 1831919616 23961 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1831919616 23965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1788984 CPUtime=0.82 /proc/1979/task/1989/stat : 1989 (java) R 1977 1979 1470 0 -1 64 2942 0 0 0 81 1 0 0 17 0 13 0 176743346 1831919616 23966 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336783 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1788984 CPUtime=0.55 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 1294 0 0 0 55 0 0 0 16 0 13 0 176743346 1831919616 23967 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1831919616 23971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1788984 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1831919616 23974 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.5 Current children cumulated vsize (KiB) 1788984 [startup+3.10241 s] /proc/loadavg: 1.16 1.02 1.00 5/90 1996 /proc/meminfo: memFree=1301824/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793716 CPUtime=4.94 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 47668 0 1 0 470 24 0 0 18 0 13 0 176743338 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448429 42240 1327 9 0 446041 0 [pid=1979/tid=1981] ppid=1977 vsize=1793716 CPUtime=2.53 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 37751 0 1 0 233 20 0 0 25 0 13 0 176743339 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109680809 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793716 CPUtime=0.01 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 489 0 0 0 1 0 0 0 16 0 13 0 176743340 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 226 0 0 0 0 0 0 0 16 0 13 0 176743340 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 176743342 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793716 CPUtime=1.48 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6446 0 0 0 146 2 0 0 16 0 13 0 176743346 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793716 CPUtime=0.87 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2021 0 0 0 87 0 0 0 16 0 13 0 176743346 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793716 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836765184 42240 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.94 Current children cumulated vsize (KiB) 1793716 [startup+6.30255 s] /proc/loadavg: 1.16 1.02 1.00 4/90 1998 /proc/meminfo: memFree=1279600/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=8.65 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 58398 0 1 0 837 28 0 0 18 0 13 0 176743338 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 52494 1328 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=5.59 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46835 0 1 0 535 24 0 0 18 0 13 0 176743339 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614818 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.05 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 1301 0 0 0 5 0 0 0 16 0 13 0 176743340 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 1005 0 0 0 3 0 0 0 16 0 13 0 176743340 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 176743342 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.72 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6460 0 0 0 170 2 0 0 16 0 13 0 176743346 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.21 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2046 0 0 0 121 0 0 0 16 0 13 0 176743346 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1998] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1998/stat : 1998 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 176743761 1836699648 52494 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.65 Current children cumulated vsize (KiB) 1793652 [startup+12.7012 s] /proc/loadavg: 1.14 1.02 1.00 3/90 1998 /proc/meminfo: memFree=1268464/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=15.15 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 58977 0 1 0 1486 29 0 0 18 0 13 0 176743338 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 49600 1328 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=11.89 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46851 0 1 0 1165 24 0 0 25 0 13 0 176743339 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615329 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.07 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 1526 0 0 0 7 0 0 0 15 0 13 0 176743340 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.06 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 1336 0 0 0 6 0 0 0 16 0 13 0 176743340 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 176743342 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.77 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6462 0 0 0 175 2 0 0 16 0 13 0 176743346 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.3 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2051 0 0 0 130 0 0 0 16 0 13 0 176743346 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1998] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1998/stat : 1998 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 176743761 1836699648 49600 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.15 Current children cumulated vsize (KiB) 1793652 [startup+25.5026 s] /proc/loadavg: 1.12 1.02 1.00 2/90 1998 /proc/meminfo: memFree=1281840/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=28.06 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 60044 0 1 0 2775 31 0 0 18 0 13 0 176743338 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 46548 1328 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=24.57 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46914 0 1 0 2433 24 0 0 25 0 13 0 176743339 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614941 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.15 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2083 0 0 0 15 0 0 0 15 0 13 0 176743340 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.12 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 1781 0 0 0 12 0 0 0 16 0 13 0 176743340 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.02 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 1 0 0 16 0 13 0 176743342 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 46548 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 46168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 46168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1999] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1999/stat : 1999 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176746427 1836699648 46168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 34.52 Current children cumulated vsize (KiB) 1793652 [startup+35.1026 s] /proc/loadavg: 1.10 1.02 1.00 2/90 1999 /proc/meminfo: memFree=1285096/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=37.74 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 61055 0 1 0 3741 33 0 0 18 0 13 0 176743338 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 45739 1330 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=34.08 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46953 0 1 0 3384 24 0 0 25 0 13 0 176743339 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614806 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.22 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2587 0 0 0 21 1 0 0 16 0 13 0 176743340 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.18 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 2244 0 0 0 18 0 0 0 16 0 13 0 176743340 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 2 0 0 16 0 13 0 176743342 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.81 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6464 0 0 0 179 2 0 0 16 0 13 0 176743346 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.35 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2055 0 0 0 135 0 0 0 17 0 13 0 176743346 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1999] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1999/stat : 1999 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176746427 1836699648 45739 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 37.74 Current children cumulated vsize (KiB) 1793652 [startup+36.7017 s] /proc/loadavg: 1.09 1.02 1.00 2/90 1999 /proc/meminfo: memFree=1285480/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=39.34 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 61133 0 1 0 3901 33 0 0 18 0 13 0 176743338 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 45560 1330 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=35.67 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46959 0 1 0 3543 24 0 0 25 0 13 0 176743339 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615351 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.22 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2630 0 0 0 21 1 0 0 15 0 13 0 176743340 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.19 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 2273 0 0 0 19 0 0 0 16 0 13 0 176743340 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 2 0 0 17 0 13 0 176743342 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.81 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6464 0 0 0 179 2 0 0 16 0 13 0 176743346 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.35 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2055 0 0 0 135 0 0 0 17 0 13 0 176743346 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1999] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1999/stat : 1999 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176746427 1836699648 45560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 39.34 Current children cumulated vsize (KiB) 1793652 [startup+38.3019 s] /proc/loadavg: 1.09 1.02 1.00 2/90 1999 /proc/meminfo: memFree=1285928/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=40.94 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 61301 0 1 0 4061 33 0 0 18 0 13 0 176743338 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 45512 1330 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=37.25 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46966 0 1 0 3701 24 0 0 25 0 13 0 176743339 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615140 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.24 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2723 0 0 0 23 1 0 0 16 0 13 0 176743340 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.2 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 2341 0 0 0 20 0 0 0 16 0 13 0 176743340 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 2 0 0 16 0 13 0 176743342 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.81 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6464 0 0 0 179 2 0 0 16 0 13 0 176743346 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.35 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2055 0 0 0 135 0 0 0 17 0 13 0 176743346 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1999] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1999/stat : 1999 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176746427 1836699648 45512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.94 Current children cumulated vsize (KiB) 1793652 [startup+39.102 s] /proc/loadavg: 1.09 1.02 1.00 2/90 1999 /proc/meminfo: memFree=1286056/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=41.75 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 61392 0 1 0 4142 33 0 0 18 0 13 0 176743338 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 45435 1330 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=38.04 /proc/1979/task/1981/stat : 1981 (java) R 1977 1979 1470 0 -1 64 46970 0 1 0 3780 24 0 0 25 0 13 0 176743339 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4110012012 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.24 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2757 0 0 0 23 1 0 0 15 0 13 0 176743340 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.2 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 2394 0 0 0 20 0 0 0 16 0 13 0 176743340 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 2 0 0 16 0 13 0 176743342 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 176743343 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 176743346 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.81 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6464 0 0 0 179 2 0 0 16 0 13 0 176743346 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.35 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2055 0 0 0 135 0 0 0 17 0 13 0 176743346 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 176743346 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 176743346 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1999] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1999/stat : 1999 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176746427 1836699648 45435 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.75 Current children cumulated vsize (KiB) 1793652 [startup+39.302 s] /proc/loadavg: 1.09 1.02 1.00 2/90 1999 /proc/meminfo: memFree=1286056/2055920 swapFree=4159716/4192956 [pid=1979] ppid=1977 vsize=1793652 CPUtime=41.94 /proc/1979/stat : 1979 (java) S 1977 1979 1470 0 -1 0 61400 0 1 0 4161 33 0 0 18 0 12 0 176743338 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/1979/statm: 448413 45442 1330 9 0 446025 0 [pid=1979/tid=1981] ppid=1977 vsize=1793652 CPUtime=38.2 /proc/1979/task/1981/stat : 1981 (java) S 1977 1979 1470 0 -1 64 46975 0 1 0 3796 24 0 0 16 0 12 0 176743339 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1982] ppid=1977 vsize=1793652 CPUtime=0.24 /proc/1979/task/1982/stat : 1982 (java) S 1977 1979 1470 0 -1 64 2757 0 0 0 23 1 0 0 15 0 12 0 176743340 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1983] ppid=1977 vsize=1793652 CPUtime=0.2 /proc/1979/task/1983/stat : 1983 (java) S 1977 1979 1470 0 -1 64 2394 0 0 0 20 0 0 0 16 0 12 0 176743340 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1984] ppid=1977 vsize=1793652 CPUtime=0.03 /proc/1979/task/1984/stat : 1984 (java) S 1977 1979 1470 0 -1 64 29 0 0 0 1 2 0 0 16 0 12 0 176743342 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1986] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1986/stat : 1986 (java) S 1977 1979 1470 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 176743343 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1987] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1987/stat : 1987 (java) S 1977 1979 1470 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 176743343 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1988] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1988/stat : 1988 (java) S 1977 1979 1470 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 176743346 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1989] ppid=1977 vsize=1793652 CPUtime=1.83 /proc/1979/task/1989/stat : 1989 (java) S 1977 1979 1470 0 -1 64 6466 0 0 0 181 2 0 0 17 0 12 0 176743346 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1990] ppid=1977 vsize=1793652 CPUtime=1.35 /proc/1979/task/1990/stat : 1990 (java) S 1977 1979 1470 0 -1 64 2055 0 0 0 135 0 0 0 17 0 12 0 176743346 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=1979/tid=1991] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1991/stat : 1991 (java) S 1977 1979 1470 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 176743346 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=1979/tid=1992] ppid=1977 vsize=1793652 CPUtime=0 /proc/1979/task/1992/stat : 1992 (java) S 1977 1979 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 176743346 1836699648 45442 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.94 Current children cumulated vsize (KiB) 1793652 Child status: 30 Real time (s): 39.3503 CPU time (s): 41.9776 CPU user time (s): 41.6157 CPU system time (s): 0.361944 CPU usage (%): 106.677 Max. virtual memory (cumulated for all children) (KiB): 1795380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.6157 system time used= 0.361944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61404 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3073 involuntary context switches= 2808 runsolver used 0.048992 second user time and 0.106983 second system time The end
Begin job on node7 on Thu Apr 19 18:24:17 UTC 2007 IDJOB= 362135 IDBENCH= 1509 IDSOLVER= 160 FILE ID= node7/362135-1177007057 PBS_JOBID= 4630533 Free space on /tmp= 66368 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362135-1177007057/sat4jPseudoCP.jar /tmp/evaluation/362135-1177007057/instance-362135-1177007057.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-362135-1177007057 -o ROOT/results/node7/solver-362135-1177007057 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362135-1177007057/sat4jPseudoCP.jar /tmp/evaluation/362135-1177007057/instance-362135-1177007057.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 680b4f0ee3d8470777b24d39af4c8ca0 RANDOM SEED= 877409614 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: 1464584 kB Buffers: 33600 kB Cached: 492412 kB SwapCached: 13228 kB Active: 346192 kB Inactive: 203136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1464584 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 3808 kB Writeback: 0 kB Mapped: 30368 kB Slab: 27488 kB Committed_AS: 7152944 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= 66368 MiB End job on node7 on Thu Apr 19 18:24:57 UTC 2007